Kalıntı teoremi

Karmaşık analizdeki kalıntı teoremi veya bilinen bir diğer adıyla rezidü teoremi, analitik fonksiyonların kapalı eğriler üzerindeki çizgi integrallerini bulmak için kullanılan önemli bir araçtır ve ayrıca sık bir şekilde gerçel integralleri bulmak için de kullanılır. Cauchy integral teoremini ve Cauchy integral formülünü genelleştirir.

İfadesi ise şöyledir: U, karmaşık düzlem C 'nin basit bağlantılı açık kümesi, a1,...,an U 'nun sonlu çokluktaki noktaları ve f, U \ {a1,...,an} üzerinde tanımlı ve holomorf bir fonksiyon olsun. γ, U içinde ak'yi sınırlayan ancak hiçbirini kesmeyen doğrultulabilir bir eğriyse ve başlangıç noktası bitiş noktasıyla aynıysa, o zaman

olur. γ Jordan eğrisi ise, I(γ, ak) = 1 olur ve böylece

olur. Burada, Res(f, ak) ifadesi f 'nin ak 'deki kalıntısını ve I(γ, ak) ifadesi γ 'nın ak etrafındaki dolanım sayısını göstermektedir. Dolanım sayısı tam sayıdır ve sezgisel olarak γ 'nın ak etrafında ne kadar sıklıkla döndüğünü ölçer; γ ak etrafında saat yönünün tersine dönerse pozitiftir, eğer ak etrafında γ hiç dönmüyorsa 0'dır.

Gerçel integralleri bulmak için, kalıntı teoremi şu şekilde kullanılır. İntegrali alınan ifade karmaşık düzleme genişletilir ve kalıntıları hesaplanır (ki genelde kolaydır). Gerçel eksenin bir kısmına, yukarı yarı düzlemde veya aşağı yarı düzlemde yarım çember eklenerek, eksenin alınan parçası kapalı bir eğri haline getirilir. Genelde, yarım çemberin yarıçapı büyüdükçe integralin yarım çember üzerindeki kısmı sıfıra doğru gider. Bu da sadece gerçel eksen üzerindeki integrali bırakır ki aslında ilgilendiğimiz bu kısımdır.

Örnek 

integrali olasılık kuramında Cauchy dağılımının karakteristik fonksiyonunu hesaplarken ortaya çıkar ve basit hesapların tekniğiyle kolayca hesaplanamaz. Gerçel eksen üzerinde -a 'dan a 'ya ve sonra da 0 merkezli bir yarıçember üzerinde a 'dan -a 'ya saat yönünün tersi yönde giden bir kontür boyunca alınan kontür integrallerinin bir limiti olarak ifade ederek bu integrali hesaplayacağız. a 'yı 1'den büyük alalım böylece i sanal sayısı eğrinin içinde olsun. Kontür integrali şudur:

eitz bir tam fonksiyon olduğu için (karmaşık düzlemin hiçbir noktasında tekilliği yoktur), bu fonksiyonun sadece paydanın yani z2 + 1 'in sıfır olduğu yerlerde tekillikleri vardır. z2 + 1 = (z + i)(z - i) olduğu için bu noktalar sadece
z = i veya z = -i olabilir. Bu noktalardan sadece bir tanesi ise bu kontür tarafından sınırlıdır.

{|
|-
|  || 
|-
| ||
|}

olduğu için, f 'nin z = i 'deki kalıntısı

olur. O zaman, kalıntı teoremine göre,

olur. C kontürü bir "doğru" parçaya ve eğri yaya ayrılabilir böylece

ve bu yüzden

olur. Eğer t > 0 ise

olduğu gösterilebilir. Bu yüzden, t > 0 ise

olur. i etrafından dolanmak yerine -i etrafından dolanan bir yay için yapılan benzer bir tartışma t < 0 ise

olduğunu gösterir. Sonuç olarak,

olur.

(Eğer t = 0 ise, o zaman integralin sonucu basit hesap yöntemleriyle bulunur ve değeri de π 'dir.)

Ayrıca bakınız 
 Kontür integrali metotları
 Morera teoremi
 Nachbin teoremi

Kaynakça

Dış bağlantılar 
 Kalıntı teoremi  MathWorld'de
 Kalıntı Teoremi Modülü, John H. Mathews tarafından

Karmaşık analiz
Matematik teoremleri