Cauchy integral teoremi, karmaşık analizde holomorf bir fonksiyonun uygun koşulları sağlayan kapalı kontur üzerindeki çizgi integralinin sıfır olduğunu söyler. Bir biçimine göre, f bir basit bağlantılı D bölgesinde holomorf ve Γ bu bölge içinde kapalı bir kontur ise ∮Γ f(z) dz = 0 olur. Teorem, karmaşık fonksiyonların kontur integrallerini değerlendirmede temel sonuçlardan biridir. [1][2]
Koşullar ve bölgenin önemi
Teorem uygulanırken fonksiyonun yalnızca eğri üzerinde değil, eğrinin içinde kalan ilgili bölgede de holomorf olması gerekir. Basit bağlantılı bir bölgede her kapalı kontur için integralin sıfır olduğu biçimi kullanılır. Manchester Üniversitesi ders notları, daha genel bir biçimde konturların bölge dışındaki noktalar etrafındaki dolanım sayılarını dikkate alır. Böylece sonuç, basit bağlantılı olmayan bölgelerde de uygun koşullar altında ifade edilebilir. [1]
Bölgedeki bir delik veya tekillik önemlidir. Örneğin 1/z fonksiyonu, sıfırı içermeyen bir bölgede holomorftur; ancak orijini çevreleyen birim çember boyunca integrali sıfır değildir. Bu yüzden “her kapalı eğri için integral sıfırdır” biçimindeki ifade, fonksiyonun tanım bölgesi ve eğrinin konumuyla ilgili koşullar belirtilmeden genellenemez. [2]
Sonuçları ve kullanımları
Teorem, holomorf fonksiyonların kontur integrallerinin bazı koşullarda yol değiştirmeden etkilenmemesini anlamaya yarar. Basit bağlantılı bölgelerde, aynı uç noktaları birleştiren yollar üzerindeki integrallerin eşitliğiyle ve asal fonksiyonların varlığıyla ilişkilidir. Ayrıca Cauchy integral formülünün türetilmesinde kullanılır; bu formül, bir iç noktadaki fonksiyon değerini çevresindeki kontur integraliyle ilişkilendirir. [1]
Teoremin farklı sürümleri kontur ve bölgenin düzenliliği için farklı varsayımlar kullanabilir. Bu nedenle sonuç aktarılırken holomorfluk koşulu ile konturun çevrelediği bölgenin topolojisi birlikte belirtilmelidir. Kapalı eğrinin varlığı tek başına sıfır integral sonucunu garanti etmez. [1][2]