Kontür integrali yöntemleri

Karmaşık analizde kontür integrali veya kontür integrali almak karmaşık düzlemdeki yollar boyunca belli integralleri bulmak için kullanılan bir yöntemdir.^[1][2][3]

Kontür integralinin karmaşık analizin bir metodu olan kalıntı hesabıyla^[4] yakın bir ilişkisi vardır.

Kontür integrallerinin bir kullanımı da halihazırdaki gerçel değişken yöntemleriyle bulunamayan gerçel eksendeki integralleri bulmaktır.^[5]

Kontür integrali yöntemleri şunları içerir:

• Karmaşık değerli bir fonksiyonun karmaşık düzlemdeki bir eğri (kontür) boyunca integralinin dolaysız bulunması
• Cauchy integral formülünün uygulanması
• Kalıntı teoreminin uygulanması

Bu integralleri veya toplamları bulmak amacıyla, bir yöntem veya bu yöntemlerin bir kombinasyonu veya çeşitli limit alma süreçleri kullanılabilir.

Dolaysız yöntemler

Dolaysız yöntemler, integralin, çok değişkenli hesaptaki integralleri hesaplamaya yarayan yöntemlere benzer yöntemlerle hesaplanmasını içerir. Bu da şu yöntemleri kullanmamız anlamına gelmektedir:

• Kontürü parametrize etme (parametrizasyon)
• Kontür gerçel değişkenli, karmaşık değerli, türevlenebilir bir fonksiyon tarafından parametrize edilir veya kontür parçalara bölünüp ayrı ayrı parametrize edilir.
• Parametrizasyonun integrand içine konulması
• Parametrizasyonun integrand içine konulması integrali bir gerçel değişkenli integrale dönüştürecektir.
• İntegral gerçel değişkenli integralde kullanılan yönteme benzer bir metotla bulunur.

Örnek

Karmaşık analizdeki temel sonuçlardan birisi de z⁻¹ in birim çember C etrafındaki (veya 0 etrafındaki herhangi bir Jordan eğrisi boyunca) integralinin 2πi olmasıdır. Şimdi

${\displaystyle \oint _{C}{1 \over z}\,dz}$

integralini bulalım.

Bu integrali bulmak için, kontür olarak γ(t) = e^it, t ∈ [0, 2π] ile parametrize edebileceğimiz |z| = 1 birim çemberini kullanıyoruz. γ'(t) = ie^it olduğunu gözlemleyip, bunu da z için yerine koyarsak

${\displaystyle {\begin{aligned}\oint _{C}{1 \over z}\,dz&{}=\int _{0}^{2\pi }{1 \over e^{it}}ie^{it}\,dt=i\int _{0}^{2\pi }e^{-it}e^{it}\,dt=i\int _{0}^{2\pi }1\,dt\\&{}={\Big [}t{\Big ]}_{0}^{2\pi }i=(2\pi -0)i=2\pi i\end{aligned}}}$

elde ederiz ki bu da integralin değeridir.

İntegral teoremlerinin uygulanması

İntegral teoremlerinin uygulanması genelde kontür integrallerini bir kontür boyunca bulmak için kullanılır. Bu da gerçel değerli integralin hesaplanmasının bir kontür integralini hesaplamayla aynı zamanda yapıldığı anlamına gelir.

Cauchy integral teoremi veya kalıntı teoremi gibi integral teoremler, genellikle şu yöntemde kullanılır:

• Belli bir kontür seçilir:

Kontür seçilir. Öyle ki, kontür karmaşık düzlemin gerçel değerli integrali tanımlayan bir parçasını takip eder ve ayrıca integrandın da tekilliklerini içerir. Böylece, Cauchy integral formülü veya kalıntı teoreminin kullanımı mümkün olur.

• Cauchy-Goursat teoreminin uygulanması

İntegral her kutup etrafındaki küçük bir çember etrafında alınan bir integral haline gelir.

• Cauchy integral teoremi veya kalıntı teoreminin uygulanması

Bu integral formülünün uygulanması kontürün tümü üzerindeki integralin değerini verir.

• Kontürün gerçel ve sanal kısımları olan başka bir kontüre bölünmesi.

Tüm kontür karmaşık düzlemin parçasını takip eden bir integrale bölünür ki bu kontür de daha önce seçilmiş gerçel değerli integrali (buna R diyelim) ve karmaşık düzlemi kesen integrali (buna da I diyelim) açıklar. Tüm kontür üzerinde alınan integral bu parçalanmış her kontür üzerindeki integrallerin bir toplamıdır.

• Karmaşık düzlemi kesen integralin gösteriminin toplamda bir rolü yoktur.

Eğer I integralinin sıfır olduğu gösterilebilirse veya aranan gerçek değerli integral düzensiz integral ise ve sonra yukarıdaki gibi açıklanan I integralinin 0'a gittiğini gösterebilirsek, R boyuncaki integral R+I kontürü boyuncaki integrale gidecektir.

• Sonuç

Yukarıdaki adımı gösterebilirsek, o zaman R 'yi, gerçel değerli integrali, dolaysız bir şekilde hesaplayabiliriz.

Örnek (I)

${\displaystyle \int _{-\infty }^{\infty }{1 \over (x^{2}+1)^{2}}\,dx}$ integralini ele alalım.

the contour

Bu integrali bulmak için karmaşık değerli, i ve -i noktalarında tekillikleri olan

${\displaystyle f(z)={1 \over (z^{2}+1)^{2}}}$

fonksiyonuna bakıyoruz. Bununla birlikte, gerçel değerli integrali çevreleyecek kontürü de seçmek istiyoruz; böylece solda gösterilen ve uzattığımızda tüm gerçel ekseni içerecek (a sonsuza gidecek) yarım çemberi seçiyoruz. Bu kontüre C diyelim.

Şimdi, ilerlemek için kullanabileceğimiz iki adım var: Cauchy integral formülü veya kalıntılar yöntemi.

• Cauchy integral teoreminin kullanılması

${\displaystyle f(z)={1 \over (z^{2}+1)^{2}}={1 \over (z+i)^{2}(z-i)^{2}}.}$

olduğunu gözlemleyelim. Kontür içindeki tek tekilli i 'deki tekillik olduğu için,

${\displaystyle f(z)={{1 \over (z+i)^{2}} \over (z-i)^{2}}}$

yazabiliriz ki bu da fonksiyonu formülü dolaysız bir şekilde uygulayacak biçime getirir.

O zaman Cauchy integral formülü ile

${\displaystyle \oint _{C}f(z)\,dz=\oint _{C}{1 \over (z^{2}+1)^{2}}\,dz=\oint _{C}{{1 \over (z+i)^{2}} \over (z-i)^{2}}\,dz=2\pi i{\frac {d}{dz}}\left(\left.{1 \over (z+i)^{2}}\right)\right|_{z=i}}$

${\displaystyle =2\pi i\left.\left({-2 \over (z+i)^{3}}\right)\right|_{z=i}=2\pi i(-i/4)={\pi \over 2}}$

(Yukarıdaki adımlarda birinci türevi alıyoruz çünkü kutup ikinci bir mertebeden bir kutuptur. Yani; (z - i) 'nin ikinci kuvveti olduğu için ƒ(z) 'nin ilk türevini alıyoruz. Eğer (z - i) 'nin üçüncü kuvveti alınsaydı, o zaman ikinci türevi alacaktık vs. (z - i) 'nin birinci kuvveti ise sıfırıncı mertebeden türeve karşılık gelir ki bu da ƒ(x) 'in kendisidir.)

Yarı çemberin yayına A dersek, A üzerindeki integralin a sonsuza gittikçe 0'a gittiğini göstermemiz gerekir. L, A 'nın uzunluğuysa ve M, |f(z)| üzerinde bir üst sınırsa, o zaman tahmin lemmasını kullanarak

${\displaystyle \left|\int _{A}f(z)\,dz\right|\leq ML}$

yazılabilir. Şimdi,

${\displaystyle \int _{A}f(z)\,dz\leq {a\pi \over (a^{2}+1)^{2}}\rightarrow 0\ \mathrm {,} \ a\rightarrow \infty \quad \mathrm {iken} }$

Böylece;

${\displaystyle \int _{-\infty }^{\infty }f(z)\,dz={\pi \over 2}.\quad \square }$

Kalıntılar yönteminin kullanılması

f(z) 'nin düşünmemiz gereken tek tekllik olan i civarındaki Laurent serisini ele alalım. O zaman,

${\displaystyle f(z)={-1 \over 4(z-i)^{2}}+{-i \over 4(z-i)}+{3 \over 16}+{i \over 8}(z-i)+{-5 \over 64}(z-i)^{2}+\cdots }$

(Laurent serisi maddesinden bu çıkarım için örneğe bakınız.)

Kalıntının ufak bir incelemeyle -i/4 olacağı açıktır (bunu görmek için, yukarıdaki eşitliğin z - i ile çarpıldığını; sonra her iki tarafın da Cauchy integral formülü ile integralinin alındığını varsayalım. Sadece ikinci terimin integralinin sonucu 0 olmayan bir nicelik verecektir.). O zaman kalıntı teoremi ile şunu elde ederiz:

${\displaystyle \oint _{C}f(z)\,dz=\oint _{C}{1 \over (z^{2}+1)^{2}}\,dz=2\pi i\,\mathrm {Res} _{z=i}f=2\pi i(-i/4)={\pi \over 2}\quad \square }$

Yarı çemberin yayına A dersek, A üzerindeki integralin a sonsuza gittikçe 0'a gittiğini göstermemiz gerekir. L, A 'nın uzunluğuysa ve M, |f(z)| üzerinde bir üst sınırsa, o zaman tahmin lemmasını kullanarak

${\displaystyle \left|\int _{A}f(z)\,dz\right|\leq ML}$

yazılabilir. Şimdi,

${\displaystyle \int _{A}f(z)\,dz\leq {a\pi \over (a^{2}+1)^{2}}\rightarrow 0\ \mathrm {,} \ a\rightarrow \infty \quad \mathrm {iken} }$

Böylece;

${\displaystyle \int _{-\infty }^{\infty }f(z)\,dz={\pi \over 2}.\quad \square }$

Böylece aynı sonucu elde etmiş olduk.

Kontür notu

Bir yandan, diğer tekilliği, yani -i 'yi, de çevreleyecek bir yarım çember alınıp alınamayacağı sorusu da sorulabilir. Gerçel eksendeki integrali doğru yönde elde etmek için, kontür saat yönünde olmalıdır; yani integralin tamamiyle işaretini değiştiren negatif yönde olmalıdır.

Bu serilerle kalıntılar yönteminin kullanımını etkilemez.

Örnek(II) – Cauchy dağılımı

Olasılık kuramında Cauchy dağılımının karakteristik fonksiyonunun skaler bir katı olarak karşımıza çıkan

${\displaystyle \int _{-\infty }^{\infty }{e^{itx} \over x^{2}+1}\,dx}$

the contour

integrali basit hesabın tekniklerine karşı koymaktadır. Bu integrali, gerçel doğru üzerinde -a 'dan a 'ya ve daha sonra da 0 merkezli yarım çember üzerinde saat yönünün tersine a 'dan -a 'ya giden bir C kontürü boyuncaki kontür integrallerinin limiti olarak bulacağız. a, 1'den büyük olsun böylece sanal birim i eğrinin iç tarafnda kalsın. O zaman kontür integrali şudur:

${\displaystyle \int _{C}{e^{itz} \over z^{2}+1}\,dz.}$

e^itz bir tam fonksiyon olduğundan (karmaşık düzlemin herhangi bir noktasında tekilliği yok), bu fonksiyonun tekillikleri payda z² + 1 'in 0 olduğu yerlerde olacaktır. z² + 1 = (z + i)(z - i) olduğu için, bu da sadece z = i veya z = -i 'de olacaktır. Bu noktalardan sadece bir tanesi bu kontürün sınırladığı bölgede kalacaktır. f(z) 'nin z = i 'deki kalıntısı şu şekildedir:

${\displaystyle \lim _{z\to i}(z-i)f(z)=\lim _{z\to i}(z-i){e^{itz} \over z^{2}+1}=\lim _{z\to i}(z-i){e^{itz} \over (z-i)(z+i)}}$

${\displaystyle =\lim _{z\to i}{e^{itz} \over z+i}={e^{iti} \over i+i}={e^{-t} \over 2i}.}$

Kalıntı teoremine göre, o zaman şunu elde ederiz.

${\displaystyle \int _{C}f(z)\,dz=2\pi i\cdot \operatorname {Res} _{z=i}f(z)=2\pi i{e^{-t} \over 2i}=\pi e^{-t}.}$

C kontürü bir "doğru"ya ve bir de eğri bir yaya parçalanabilir. Böylece

${\displaystyle \int _{\mbox{dogru}}+\int _{\mbox{yay}}=\pi e^{-t}\,}$

olur ve bu yüzden

${\displaystyle \int _{-a}^{a}=\pi e^{-t}-\int _{\mbox{yay}}}$

olur. Eğer t > 0 ise, o zaman

${\displaystyle \int _{\mbox{yay}}{e^{itz} \over z^{2}+1}\,dz\rightarrow 0\ {\mbox{,}}\ a\rightarrow \infty \quad {\mbox{iken}}.}$

Bu yüzden, eğer t > 0 ise, o zaman

${\displaystyle \int _{-\infty }^{\infty }{e^{itz} \over z^{2}+1}\,dz=\pi e^{-t}.}$

i yerine -i 'yi dolanan bir yay durumundaki benzer bir tartışma eğer t < 0 ise, o zaman

${\displaystyle \int _{-\infty }^{\infty }{e^{itz} \over z^{2}+1}\,dz=\pi e^{t}}$

olduğunu gösterir ve sonuç olarak şunu elde ederiz:

${\displaystyle \int _{-\infty }^{\infty }{e^{itz} \over z^{2}+1}\,dz=\pi e^{-\left|t\right|}.\quad \square }$

(t = 0 ise, o zaman integral gerçel-değerli hesabın yöntemleriyle çözülebilecek duruma gelir ve değeri de π olur.)

Örnek (III) – trigonometrik integraller

Trigonometrik fonksiyonları içeren integrallere belli yerine koymalar yapılarak bu integraller karmaşık değişkenli rasyonel fonksiyonların integrallerine dönüştürülebilir ve böylece yukarıdaki teknikler integrali bulmak için kullanılabilir.

Örnek olarak şu integrali ele alalım:

${\displaystyle \int _{-\pi }^{\pi }{1 \over 1+3(\cos {t})^{2}}\,dt.}$

z = e^it yerine koymasını yapabilmeyi arıyoruz.

Şimdi, şunları hatırlayalım:

${\displaystyle \cos {t}={1 \over 2}\left(e^{it}+e^{-it}\right)={1 \over 2}\left(z+{1 \over z}\right)}$

ve

${\displaystyle {dz \over dt}=iz,\ dt={dz \over iz}.}$

C 'yi birim çember alarak ve yerine koymayı yaparak şunu elde ederiz:

${\displaystyle \oint _{C}{1 \over 1+3({1 \over 2}(z+{1 \over z}))^{2}}\,{dz \over iz}}$

${\displaystyle =\oint _{C}{1 \over 1+{3 \over 4}(z+{1 \over z})^{2}}{1 \over iz}\,dz=\oint _{C}{-i \over z+{3 \over 4}z(z+{1 \over z})^{2}}\,dz=-i\oint _{C}{1 \over z+{3 \over 4}z(z^{2}+2+{1 \over z^{2}})}\,dz}$

${\displaystyle =-i\oint _{C}{1 \over z+{3 \over 4}(z^{3}+2z+{1 \over z})}\,dz=-i\oint _{C}{1 \over {3 \over 4}z^{3}+{5 \over 2}z+{3 \over 4z}}\,dz}$

${\displaystyle =-i\oint _{C}{4 \over 3z^{3}+10z+{3 \over z}}\,dz=-4i\oint _{C}{1 \over 3z^{3}+10z+{3 \over z}}\,dz}$

${\displaystyle =-4i\oint _{C}{z \over 3z^{4}+10z^{2}+3}\,dz.}$

Cauchy integral formülünü kullanıyoruz. Paydayı çarpanlarına ayıralım:

${\displaystyle =-4i\oint _{C}{z \over 3z^{4}+10z^{2}+3}\,dz=-4i\oint _{C}{z \over 3(z^{2}+3)(z^{2}+1/3)}\,dz}$

${\displaystyle =-4i\oint _{C}{z \over 3(z+{\sqrt {3}}i)\left(z-{\sqrt {3}}i\right)\left(z+{\sqrt {1 \over 3}}i\right)\left(z-{\sqrt {1 \over 3}}i\right)}\,dz}$

${\displaystyle =-{4 \over 3}i\oint _{C}{z \over (z+{\sqrt {3}}i)(z-{\sqrt {3}}i)\left(z+{\sqrt {1 \over 3}}i\right)\left(z-{\sqrt {1 \over 3}}i\right)}\,dz.}$

O zaman göz önüne alınması gereken tekillikler 3^-1/2i ve -3^-1/2i 'de olur. O zaman integral şu hale gelir:

${\displaystyle =-{4 \over 3}i\oint _{C_{1}}{\,{z \over (z+{\sqrt {3}}i)(z-{\sqrt {3}}i)\left(z+{\sqrt {1 \over 3}}i\right)}\, \over \left(z-{\sqrt {1 \over 3}}i\right)}\,dz+-{4 \over 3}i\oint _{C_{2}}{\,{z \over (z+{\sqrt {3}}i)(z-{\sqrt {3}}i)\left(z-{\sqrt {1 \over 3}}i\right)}\, \over \left(z+{\sqrt {1 \over 3}}i\right)}}$

Burada C₁, 3^-1/2i etrafındaki küçük çemberdir ve C₂, -3^-1/2i etrafındaki büyük çemberdir. Şimdi formülü uygulayabiliriz:

${\displaystyle =-{4 \over 3}i\left(2\pi i\left.\left({z \over (z+{\sqrt {3}}i)(z-{\sqrt {3}}i)(z+{\sqrt {1 \over 3}}i)}\right)\right|_{z={\sqrt {1 \over 3}}i}\right.}$

${\displaystyle \left.+2\pi i\left.\left({z \over (z+{\sqrt {3}}i)(z-{\sqrt {3}}i)(z-{\sqrt {1 \over 3}}i)}\right)\right|_{z=-{\sqrt {1 \over 3}}i}\right)}$

${\displaystyle =-{4 \over 3}i\left(2\pi i\left({{\sqrt {1 \over 3}}i \over ({\sqrt {1 \over 3}}i+{\sqrt {3}}i)({\sqrt {1 \over 3}}i-{\sqrt {3}}i)({\sqrt {1 \over 3}}i+{\sqrt {1 \over 3}}i)}\right)\right.}$

${\displaystyle \left.+2\pi i\left({-{\sqrt {1 \over 3}}i \over (-{\sqrt {1 \over 3}}i+{\sqrt {3}}i)(-{\sqrt {1 \over 3}}i-{\sqrt {3}}i)(-{\sqrt {1 \over 3}}i-{\sqrt {1 \over 3}}i}\right)\right)}$

${\displaystyle =-{4 \over 3}i\left(2\pi i\left({{\sqrt {1 \over 3}}i \over ({4 \over {\sqrt {3}}}i)(-{2 \over {\sqrt {3}}}i)({2 \over {\sqrt {3}}}i)}\right)+2\pi i\left({-{\sqrt {1 \over 3}}i \over ({2 \over {\sqrt {3}}}i)(-{4 \over {\sqrt {3}}}i)(-{2 \over {\sqrt {3}}}i)}\right)\right)}$

${\displaystyle =-{4 \over 3}i\left(2\pi i\left({{\sqrt {1 \over 3}}i \over i({4 \over {\sqrt {3}}})({2 \over {\sqrt {3}}})({2 \over {\sqrt {3}}})}\right)+2\pi i\left({-{\sqrt {1 \over 3}}i \over -i({2 \over {\sqrt {3}}})({4 \over {\sqrt {3}}})({2 \over {\sqrt {3}}})}\right)\right)}$

${\displaystyle =-{4 \over 3}i\left(2\pi i\left({{\sqrt {1 \over 3}} \over ({4 \over {\sqrt {3}}})({2 \over {\sqrt {3}}})({2 \over {\sqrt {3}}})}\right)+2\pi i\left({{\sqrt {1 \over 3}} \over ({2 \over {\sqrt {3}}})({4 \over {\sqrt {3}}})({2 \over {\sqrt {3}}})}\right)\right)}$

${\displaystyle =-{4 \over 3}i\left(2\pi i\left({\,{\sqrt {1 \over 3}}\, \over {16 \over 3{\sqrt {3}}}}\right)+2\pi i\left({\,{\sqrt {1 \over 3}}\, \over {16 \over 3{\sqrt {3}}}}\right)\right)}$

${\displaystyle =-{4 \over 3}i\left(2\pi i\left({3 \over 16}\right)+2\pi i\left({3 \over 16}\right)\right)=-{4 \over 3}i\left(\pi i\left({3 \over 8}+{3 \over 8}\right)\right)={4 \over 3}\left({3 \over 4}\right)\pi =\pi .\quad \square }$

Örnek (IIIa) – trigonometrik integraller, genel prosedür

Yukarıdaki yöntem, ${\displaystyle P}$ ve ${\displaystyle Q}$ 'nun polinom olduğu

${\displaystyle \int _{0}^{2\pi }{\frac {P(\sin(t),\sin(2t),\ldots ,\cos(t),\cos(2t)\ldots )}{Q(\sin(t),\sin(2t),\ldots ,\cos(t),\cos(2t)\ldots )}}dt}$

tipindeki bütün integrallere; yani trigonometrik terimler halindeki rasyonel fonksiyonların integrallerine uygulanabilir.

Burada yapılan hile ${\displaystyle z=\exp(it)}$, ${\displaystyle dz=i\exp(it)dt}$ yerine koyması yapmaktır. Bu yüzden

${\displaystyle {\frac {1}{iz}}dz=dt}$

elde edilir. Bu yerine koyma ${\displaystyle [0,2\pi ]}$ aralığını birim çembere gönderir. Dahası,

${\displaystyle \sin(kt)={\frac {\exp(ikt)-\exp(-ikt)}{2i}}={\frac {z^{k}-z^{-k}}{2i}}}$

ve

${\displaystyle \cos(kt)={\frac {\exp(ikt)+\exp(-ikt)}{2}}={\frac {z^{k}+z^{-k}}{2}}}$

olur ve böylece yerine koyma işleminden ${\displaystyle z}$ değişkenli bir ${\displaystyle f(z)}$ rasyonel fonksiyonu ortaya çıkar ve integral

${\displaystyle \oint _{|z|=1}f(z){\frac {1}{iz}}dz}$

haline gelir ki bu da birim çember içindeki ${\displaystyle f(z)}$'nin kalıntılarının toplanmasıyla hesaplanır.

Sağdaki resim bunu şimdi hesaplayacağımız

${\displaystyle I=\int _{0}^{\frac {\pi }{2}}{\frac {1}{1+\sin(t)^{2}}}dt}$

için göstermektedir. Birinci adım şudur:

${\displaystyle I={\frac {1}{4}}\int _{0}^{2\pi }{\frac {1}{1+\sin(t)^{2}}}dt.}$

Yerine koymayla

${\displaystyle {\frac {1}{4}}\oint _{|z|=1}{\frac {4iz}{z^{4}-6z^{2}+1}}dz=\oint _{|z|=1}{\frac {iz}{z^{4}-6z^{2}+1}}dz}$

elde edilir. Bu fonksiyonun kutupları ${\displaystyle 1\pm {\sqrt {2}}}$ ve ${\displaystyle -1\pm {\sqrt {2}}}$ 'dedir. Bunlardan ${\displaystyle 1+{\sqrt {2}}}$ ve ${\displaystyle -1-{\sqrt {2}}}$ birim çemberin dışında yer alırken (kırmızı ile gösterilmiştir ancak ölçekli gösterilmemiştir), ${\displaystyle 1-{\sqrt {2}}}$ ve ${\displaystyle -1+{\sqrt {2}}}$ birim çemberin içinde yer alır (mavi ile gösterilmiştir). Karşılık gelen kalıntıların her ikisi de ${\displaystyle -{\frac {\sqrt {2}}{16}}i}$ 'ye eşittir böylece integralin değeri

${\displaystyle I=2\pi i\;2\left(-{\frac {\sqrt {2}}{16}}i\right)=\pi {\frac {\sqrt {2}}{4}}}$

olur.

Örnek (IV) – dallanma kesikleri

${\displaystyle \int _{0}^{\infty }{{\sqrt {x}} \over x^{2}+6x+8}\,dx}$

integraline bakalım. Şu karmaşık integrali formüle ederek başlayabiliriz:

${\displaystyle \int _{C}{{\sqrt {z}} \over z^{2}+6z+8}\,dz=I.}$

Yine ilişkin kalıntıları elde etmek için Cauchy integral formülü veya kalıntı teoremini kullanabiliriz. Ancak, burada dikkat edilmesi gereken nokta z^1/2=e^1/2.Log(z) olmasıdır böylece z^1/2 'nin dallanma kesiği vardır. Bu da seçtiğimiz C kontürünü etkiler. Normalde, logaritma dallanma kesiği negatif gerçel eksen olarak tanımlanır; ancak, bu da integralin hesabını biraz daha karışık hale getirir. Bu yüzden, dallanma kesiğini pozitif eksen olarak alıyoruz.

O zaman, orijinde ε yarıçaplı bir çemberle başlayan, bu çemberden uzayarak pozitif gerçel eksene oldukça yakın ve paralel olan ancak eksene dokanmayan sonra da saat yönünün tersi yönde ufak çemberden daha büyük yarıçapta bir döngü (neredeyse tam bir çember) yapıp tekrar pozitif eksene parallel bir şekilde (ancak bu sefer negatif eksen yönünde) ufak çemberle birleşen ve anahtar deliği kontürü adı verilen kontürü kullanalım.

z = -2 ve z = -4 büyük çemberin içindeler. Bunlar kalan iki kutuptur ve integrandın paydasını çarpanlara ayırarak elde edilebilir. z = 0 'daki kutuptan orijin etrafında tur yapılarak kaçınılmıştır.

γ, ε yarıçaplı ufak çember, Γ ise R yarıçaplı büyük çember olsun. O zaman,

${\displaystyle {\begin{aligned}\int _{C}{{\sqrt {z}} \over z^{2}+6z+8}\,dz&=&\int _{\varepsilon }^{R}{{\sqrt {z}} \over z^{2}+6z+8}\,dz\\&+&\int _{\Gamma }{{\sqrt {z}} \over z^{2}+6z+8}\,dz\\&+&\int _{R}^{\varepsilon }{{\sqrt {z}} \over z^{2}+6z+8}\,dz\\&+&\int _{\gamma }{{\sqrt {z}} \over z^{2}+6z+8}\,dz.\end{aligned}}}$

z^1/2 = e^{1/2 Log(z)} olduğu için, dallanma kesiğinin üzerindeki kontür üzerinde, γ boyunca argumentte 2π kazanılmıştır (Euler Özdeşliğiyle, ${\displaystyle e^{i\pi }\,\!}$ birim vektörü temsil eder ki bu yüzden log olarak ${\displaystyle {i\pi }\,\!}$ 'ye sahiptir. z 'nin argumentinden de kastedilen bu ${\displaystyle {\pi }\,\!}$'dir. 1/2 katsayısı ise bizi 2 çarpı ${\displaystyle {\pi }\,\!}$ yazmaya zorlamaktadır.); böylece

${\displaystyle \int _{R}^{\varepsilon }{{\sqrt {z}} \over z^{2}+6z+8}\,dz=\int _{R}^{\varepsilon }{e^{{1 \over 2}\mathrm {Log} (z)} \over z^{2}+6z+8}\,dz=\int _{R}^{\varepsilon }{e^{{1 \over 2}(\log {|z|}+i\arg {z})} \over z^{2}+6z+8}\,dz}$

${\displaystyle =\int _{R}^{\varepsilon }{e^{{1 \over 2}\log {|z|}}e^{1/2(2\pi i)} \over z^{2}+6z+8}\,dz=\int _{R}^{\varepsilon }{e^{{1 \over 2}\log {|z|}}e^{\pi i} \over z^{2}+6z+8}\,dz}$

${\displaystyle =\int _{R}^{\varepsilon }{-{\sqrt {x}} \over x^{2}+6x+8}\,dx=-\int _{\varepsilon }^{R}{-{\sqrt {x}} \over x^{2}+6x+8}\,dx}$

basitleştirerek,

${\displaystyle =\int _{\varepsilon }^{R}{{\sqrt {x}} \over x^{2}+6x+8}\,dx,}$

ve sonra

${\displaystyle {\begin{aligned}\int _{C}{{\sqrt {z}} \over z^{2}+6z+8}\,dz&=&\int _{\varepsilon }^{R}{{\sqrt {z}} \over z^{2}+6z+8}\,dz\\&+&\int _{\Gamma }{{\sqrt {z}} \over z^{2}+6z+8}\,dz\\&+&\int _{\varepsilon }^{R}{{\sqrt {z}} \over z^{2}+6z+8}\,dz\\&+&\int _{\gamma }{{\sqrt {z}} \over z^{2}+6z+8}\,dz\end{aligned}}}$

elde edilir.

Γ ve γ üzerindeki her iki integralin de ε sıfıra ve R sonsuza gittikçe sıfıra gittiği yukarıda bir tahmin tartışması yapılarak gösterilebilir. Bu yüzden, o zaman,

${\displaystyle \int _{C}{{\sqrt {z}} \over z^{2}+6z+8}\,dz=2\int _{0}^{\infty }{{\sqrt {x}} \over x^{2}+6x+8}\,dx.}$

Kalıntı teoremi veya Cauchy integral formülü kullanılarak (iki basit kontür integralinin toplamını elde etmek için ilk önce kısmi kesirler yöntemini kullanarak), aşağıdaki elde edilir.

${\displaystyle \pi i\left({i \over {\sqrt {2}}}-i\right)=\int _{0}^{\infty }{{\sqrt {x}} \over x^{2}+6x+8}\,dx=\pi \left(1-{1 \over {\sqrt {2}}}\right).\quad \square }$

Örnek (V) – logaritmalar ve sonsuzdaki kalıntı

${\displaystyle I=\int _{0}^{3}{\left(x^{3}(3-x)\right)^{1/4} \over 5-x}\,dx}$

integralini bulmaya çalışalım. Bu integrali bulmak için

${\displaystyle f(z)=\left(z^{3}(3-z)\right)^{1/4}}$

fonksiyonunu incelememiz lazım. ${\displaystyle f(z)}$ 'yi inşa edeceğiz öyle ki ${\displaystyle [0,3]}$ aralığı üzerinde dallanma kesiği olacak (resimde kırmızı ile gösterilmiştir). Bunu yapmak içinse, logaritmanın iki tane dallanmasını seçiyoruz; yani

${\displaystyle (z^{3})^{1/4}=z^{3/4}=\exp(3/4\log(z))\quad {\mbox{,}}\quad -\pi \leq \arg(\log(z))<\pi }$

ve

${\displaystyle (3-z)^{1/4}=\exp(1/4\log(3-z))\quad {\mbox{,}}\quad 0\leq \arg(\log(z))<2\pi .}$

${\displaystyle z^{3/4}}$ 'ün kesiği bu yüzden ${\displaystyle (-\infty ,0]}$ aralığı olurken, ${\displaystyle (3-z)^{1/4}}$ 'ün kesiği ${\displaystyle (-\infty ,3]}$ aralığı olur. Bu ikisinin çarpımının yani ${\displaystyle f(z)}$'nin kesiği ${\displaystyle [0,3]}$ olur çünkü ${\displaystyle f(z)}$ aslında ${\displaystyle (-\infty ,0)}$ boyunca süreklidir. Bunun nedeni ise, ${\displaystyle z=-r<0}$ iken, kesiğe üstten yaklaşırsak, ${\displaystyle f(z)}$'nin şu değeri almasıdır:

${\displaystyle r^{3/4}\exp(3/4\pi i)(3+r)^{1/4}\exp(2/4\pi i)=r^{3/4}(3+r)^{1/4}\exp(5/4\pi i).\,}$

Alttan yaklaşırsak, ${\displaystyle f(z)}$ şu değeri alır:

${\displaystyle r^{3/4}\exp(-3/4\pi i)(3+r)^{1/4}\exp(0/4\pi i)=r^{3/4}(3+r)^{1/4}\exp(-3/4\pi i).\,}$

Ancak, ${\displaystyle \exp(-3/4\pi i)=\exp(5/4\pi i)}$ olduğu için kesiği geçerken bile süreklilik vardır. Bu da resimde ${\displaystyle z^{3/4}}$ ve ${\displaystyle (3-z)^{1/4}}$'te kullanılan logaritmanın argumentine karşılık gelen değerlerin etiketlendiği iki yönlü siyah çember ile gösterilmiştir.

Burada resimde yeşil renkle gösterilen kontürü kullanacağız. Bunu yapmak için, kesiğin hemen üstünde ve altında yer alan doğru parçaları boyunca ${\displaystyle f(z)}$'nin aldığı değerleri hesaplamamız gerekir. Üst parça boyunca, ${\displaystyle f(z)}$'nin aldığı değer şudur:

${\displaystyle r^{3/4}\exp(3/4\,0\,\pi i)(3-r)^{1/4}\exp(2/4\pi i)=i\,r^{3/4}(3-r)^{1/4}\,}$

Alt parça boyunca yine ${\displaystyle f(z)}$'nin aldığı değer şudur:

${\displaystyle r^{3/4}\exp(3/4\,0\,\pi i)(3-r)^{1/4}\exp(0/4\pi i)=r^{3/4}(3-r)^{1/4}\,}$

O zaman, ${\displaystyle f(z)/(5-z)\,}$'nin üst parça boyuncaki integrali limitte ${\displaystyle -i\,I}$ olurken, alt parça durumunda ise ${\displaystyle I\,}$ olur.

Eğer limitte iki yeşil çember üzerinde alınan integrallerin değerinin sıfır olduğunu gösterebilirsek, o zaman aynı zamanda Cauchy kalıntı teoremi ile ${\displaystyle I\,}$'nın değerini de elde etmiş oluruz. Yeşil çemberlerin yarıçapını ${\displaystyle \rho }$ ile gösterelim ve ${\displaystyle \rho <1/1000}$ olsun. ${\displaystyle \rho \rightarrow 0}$ iken ML-eşitsizliğini uygulayalım. Soldaki ${\displaystyle C_{L}}$ çemberi için şunu elde ederiz:

${\displaystyle \left|\int _{C_{L}}{\frac {f(z)}{5-z}}dz\right|\leq 2\pi \rho {\frac {\rho ^{3/4}(3+1/1000)^{1/4}}{5-1/1000}}\in {\mathcal {O}}\left(\rho ^{7/4}\right)\rightarrow 0.}$

Benzer bir şekilde, sağdaki ${\displaystyle C_{R}}$ çemberi için şunu elde ederiz:

${\displaystyle \left|\int _{C_{R}}{\frac {f(z)}{5-z}}dz\right|\leq 2\pi \rho {\frac {(3+1/1000)^{3/4}\rho ^{1/4}}{2-1/1000}}\in {\mathcal {O}}\left(\rho ^{5/4}\right)\rightarrow 0.}$

Şimdi Cauchy kalıntı teoremini kullanarak aşağıdaki eşitliği elde ederiz:

${\displaystyle (1-i)I=-2\pi i\left(\mathrm {Res} _{z=5}{\frac {f(z)}{5-z}}+\mathrm {Res} _{z=\infty }{\frac {f(z)}{5-z}}\right).}$

Logaritmanın önceki dallanmasını kullanarak aşağıdaki ifade açıktır:

${\displaystyle \mathrm {Res} _{z=5}{\frac {f(z)}{5-z}}=-5^{3/4}\exp(1/4\log(-2)).}$

Resimde kutup mavi ile gösterilmiştir. O zaman, değer de

${\displaystyle -5^{3/4}\exp(1/4(\log(2)+\pi i))=-\exp(1/4\pi i)5^{3/4}2^{1/4}\,}$

şeklinde sadeleşir.

Sonsuzdaki kalıntı için ise şu formülü kullanıyoruz:

${\displaystyle \mathrm {Res} _{z=\infty }h(z)=\mathrm {Res} _{z=0}-{\frac {1}{z^{2}}}h\left({\frac {1}{z}}\right).}$

Yerine koyarak,

${\displaystyle 1/(5-1/z)=-z\left(1+5z+5^{2}z^{2}+5^{3}z^{3}+\cdots \right)}$

ve

${\displaystyle \left(1/z^{3}(3-1/z)\right)^{1/4}=1/z\,(3z-1)^{1/4}=1/z\exp(1/4\pi i)(1-3z)^{1/4}}$

eşitliklerini elde ederiz. Burada kullandığımız gerçek ise, logaritmanın ikinci dallanması için ${\displaystyle -1=\exp(\pi i)}$ olmasıdır. Sonra, binom açılımını kullanarak

${\displaystyle 1/z\exp(1/4\pi i)\left(1-{1/4 \choose 1}3z+{1/4 \choose 2}3^{2}z^{2}-{1/4 \choose 3}3^{3}z^{3}+\cdots \right)}$

elde ederiz. Sonuç ise,

${\displaystyle \mathrm {Res} _{z=\infty }{\frac {f(z)}{5-z}}=\exp(1/4\pi i)(5-3/4)=\exp(1/4\pi i)17/4}$

olur. Son olarak, ${\displaystyle I\,}$'nın değeri ise şu olur:

${\displaystyle I=-2\pi i\,{\frac {\exp(1/4\pi i)}{1-i}}\left(17/4-5^{3/4}2^{1/4}\right)=-2\pi i\,2^{-1/2}i\left(17/4-5^{3/4}2^{1/4}\right)}$

yani

${\displaystyle I={\frac {\pi }{2{\sqrt {2}}}}\left(17-5^{3/4}2^{9/4}\right)={\frac {\pi }{2{\sqrt {2}}}}\left(17-40^{3/4}\right).}$

Ayrıca bakınız

• Cauchy integral formülü Bu integral teoreminin uygulanmasının bir örneği için
• Kalıntı (karmaşık analiz)
• Cauchy esas değeri
• Poisson integrali

Kaynakça ve notlar

1. John Stalker (1998). Complex Analysis: Fundamentals of the Classical Theory of Functions. Springer. s. 77. 081764038X. 
2. Joseph Bak & Donald J. Newman (1997). Complex Analysis. Springer. s. 11. & 12. Bölüm, sf. 130-156. 0387947566. 
3. Steven George Krantz (1999). Handbook of Complex Variables. Springer. s. 2. bölüm. 0817640118. 
4. Dragoslav S. Mitrinovic & Jovan D. Keckic (1984). The Cauchy Method of Residues: Theory and Applications. Springer. s. 2. bölüm. 9027716234. 
5. Dragoslav S. Mitrinovic & Jovan D. Keckic (1984). 5. bölüm. 9027716234. 

Dış bağlantılar

• Örneklerin toplandığı bir site
• Kalıntı Hesabı Modülü, John H. Mathews tarafından

Bibliyografya

• Les-Mathematiques.net, Jean Jacquelin, Marko Riedel, Branche univalente^{[ölü/kırık bağlantı]}, Les-Mathematiques.net, Fransızca.
• Çeşitli yazarlar, sin límites ni cotas 4 Kasım 2012 tarihinde Wayback Machine sitesinde arşivlendi., es.ciencia.matematicas, İspanyolca.