Çizgi integrali

Matematikte bir çizgi integrali (bazen yol integrali, eğri integrali veya eğrisel integral de denilir), integrali alınan fonksiyonun bir eğri boyunca değerlendirildiği integraldir. Çeşitli farklı çizgi integralleri kullanılmaktadır. Kapalı eğrinin kullanıldığı durumlarda integrale kontür integrali denildiği de olmaktadır.İntegrali alınan fonksiyon (integrand), skaler alan veya vektör alanı olabilir. Çizgi integralinin değeri, alanın eğri üzerinde bir skaler fonksiyonla ağırlıklaştırılmış (genelde bu ağırlık yay uzunluğudur veya bir vektör alanı için, vektör alanının diferansiyel bir eğriyle skaler çarpımıdır) olarak aldığı tüm değerlerin toplamının değeridir. Bu ağırlık, çizgi integralini aralıklar üzerinde tanımlanan daha basit integrallerden ayırır. Fizikteki çoğu basit formül (mesela, ), çizgi integrali bağlamında doğal sürekli analoglara sahiptir (). Çizgi integrali yandaki resimdeki gibi, bir elektrik veya yerçekimsel alanda hareket eden bir nesnenin üzerinde yapılan işi bulur.Niteliksel bağlamda, çizgi integrali bir eğri boyunca verilmiş olan bir alanın toplam etkisinin ölçümü olarak düşünülebilir.şeklinde tanımlanır. Burada r: [a, b]  C ise r(a) ve r(b) C 'nin son noktaları olacak şekilde, C 'nin herhangi bir birebir örten parametrizasyonudur.f fonksiyonu integrand, C eğrisi integralin tanım kümesi ve ds sembolü ise yay uzunluğudur. Skaler alanların çizgi integralleri seçilmiş r parametrizasyonuna bağlı değildir.şeklinde tanımlanır. Burada  nokta çarpımdır ve r: [a, b]  C ise, r(a) ve r(b) C 'nin sonnoktaları olacak şekilde, C eğrisinin birebir örten bir parametrizasyonudur.Bir skaler alanın çizgi integrali bu yüzden vektörlerin doğruya her zaman teğet olduğu bir vektör alanının çizgi integralidir.Vektör alanlarının çizgi integralleri, mutlak değer içindeki r parametrizasyonuna bağlı değildir; ancak eğrinin yönüne bağlıdır. Dha ayrıntılı bir şekilde, parametrizasyonun yönündeki tersi bir değişim çizgi integralinin işaretini değiştirir.olur ki bu da F 'nin r(t) üzerindeki çizgi integralinin integrandıdır. O zaman, verilen bir C yolu içinolmaktadır. Yazıyla ifade edilirse, F 'nin C üzerindeki integrali sadece G nin r(b) ve r(a) noktalarındaki değerlerine bağlıdır ve bu yüzden aradaki yoldan bağımsızdır.Bu sebeple, bir skaler alanın gradyanı olan bir vektör alanının çizgi integrali yoldan bağımsız olarak adlandırılır.Çizgi integralinin fizikte birçok uygulaması vardır. Mesela, bir F vektör alanı olarak temsil edilen bir kuvvet alanı içinde yer alan bir C eğrisi üzerinde hareket etmekte olan bir parçacığın üzerinde yapılan iş F 'nin C üzerindeki çizgi integralidir.Çizgi integrali karmaşık analizde temel bir araçtır. U, C'nin açık bir kümesi olsun,  : [a, b]  U doğrultulabilir eğri ve  f : U  C bir fonksiyon olsun. O zamançizgi integrali, [a, b] aralığını a = t0 < t1 < ... <  tn = b olacak şekilde daha küçük aralıklara ayırılarak veifadesi göz önüne alınarak düşünülebilir. O zaman, alt aralıkların uzunlukları sıfıra gittikçe, integral bu toplamın limiti olur.Eğer  sürekli türevlenebilir bir eğriyse, çizgi integrali gerçel değişkenli bir fonksiyonun integrali olarak değerlendirilebilir:Karmaşık fonksiyonların çizgi integralleri çeşitli teknikler kullanılarak değerlendirilebilir: İntegral, gerçel ve karmaşık kısımlarına bölünüp problem iki tane gerçel integralin bulunması problemine düşürülebilir, Cauchy integral formülü diğer durumlarda kullanılabilir. Eğer çizgi integralinin alındığı eğri, fonksiyonun analitik olduğu ve tekillik içermediği bir bölgede kapalı bir eğriyse, o zaman integralin değeri sadece 0 olur ki bu da Cauchy integral teoremi'nin bir sonucudur. Kalıntı teoremi sebebiyle, gerçel değişkene sahip gerçel değerli fonksiyonların integralini bulmak için çoğu zaman karmaşık düzlemde kontür integralleri kullanılır. (örnek için kalıntı teoremine bakınız.)f(z)=1/z fonksiyonunu ele alalım. C kontürü, eit,  şeklinde parametrize edilebilen, 0 etrafındaki birim çember olsun. Değişken değiştirmeyleifadesini buluruz. Burada, herhangi bir karmaşık z sayısının r, z 'nin modülüsü (mutlak değeri) olacak şekilde reit olarak yazılabileceğini kullandık. Birim çember üzerinde r = 1 olduğu için geriye kalan tek değişken t ile gösterilen açı değişkenidir.Karmaşık sayıları 2 boyutlu vektörler olarak alırsak, 2 boyutlu bir vektör alanının çizgi integrali, karşılık gelen karmaşık değerli karmaşık fonksiyonun eşleniğinin çizgi integralinin gerçel kısmına denk gelir. Daha ayrıntılı bir şekilde,  ve  ise, o zaman sağ taraftaki her iki integral de var olduğu ve C 'nin  parametrizasyonu  ile aynı yönde olduğu süreceCauchy-Riemann denklemleri sebebiyle, bir holomorf fonksiyonun eşleniğine karşılık gelen bir vektör alanının körlü sıfırdır. Bu da her iki tip integralin de sıfır olduğu Stokes teoremi ile ilişkilidir.