Kontür integrali yöntemleri
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.
İçindekiler
- 1 Dolaysız yöntemler
- 2 İntegral teoremlerinin uygulanması
- 3 Ayrıca bakınız
- 4 Kaynakça ve notlar
- 5 Dış bağlantılar
- 6 Bibliyografya
Dolaysız yöntemler[değiştir | kaynağı değiştir]
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[değiştir | kaynağı değiştir]
Karmaşık analizdeki temel sonuçlardan birisi de z−1 in birim çember C etrafındaki (veya 0 etrafındaki herhangi bir Jordan eğrisi boyunca) integralinin 2πi olmasıdır. Şimdi
integralini bulalım.
Bu integrali bulmak için, kontür olarak γ(t) = eit, t ∈ [0, 2π] ile parametrize edebileceğimiz |z| = 1 birim çemberini kullanıyoruz. γ'(t) = ieit olduğunu gözlemleyip, bunu da z için yerine koyarsak
elde ederiz ki bu da integralin değeridir.
İntegral teoremlerinin uygulanması[değiştir | kaynağı değiştir]
İ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.
- 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.
- 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)[değiştir | kaynağı değiştir]
- integralini ele alalım.
Bu integrali bulmak için karmaşık değerli, i ve -i noktalarında tekillikleri olan
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ı
-
- olduğunu gözlemleyelim. Kontür içindeki tek tekilli i 'deki tekillik olduğu için,
-
- yazabiliriz ki bu da fonksiyonu formülü dolaysız bir şekilde uygulayacak biçime getirir.
-
- O zaman Cauchy integral formülü ile
-
- (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
-
- yazılabilir. Şimdi,
-
- Böylece;
Kalıntılar yönteminin kullanılması[değiştir | kaynağı değiştir]
-
- f(z) 'nin düşünmemiz gereken tek tekllik olan i civarındaki Laurent serisini ele alalım. O zaman,
-
- (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:
-
- 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
-
- yazılabilir. Şimdi,
-
- Böylece;
-
- Böylece aynı sonucu elde etmiş olduk.
Kontür notu[değiştir | kaynağı değiştir]
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ı[değiştir | kaynağı değiştir]
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:
eitz bir tam fonksiyon olduğundan (karmaşık düzlemin herhangi bir noktasında tekilliği yok), bu fonksiyonun tekillikleri payda z2 + 1 'in 0 olduğu yerlerde olacaktır. z2 + 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:
Kalıntı teoremine göre, o zaman şunu elde ederiz.
C kontürü bir "doğru"ya ve bir de eğri bir yaya parçalanabilir. Böylece
olur ve bu yüzden
olur. Eğer t > 0 ise, o zaman
Bu yüzden, eğer t > 0 ise, o zaman
i yerine -i 'yi dolanan bir yay durumundaki benzer bir tartışma eğer t < 0 ise, o zaman
olduğunu gösterir ve sonuç olarak şunu elde ederiz:
( 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[değiştir | kaynağı değiştir]
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:
z = eit yerine koymasını yapabilmeyi arıyoruz.
Şimdi, şunları hatırlayalım:
ve
C 'yi birim çember alarak ve yerine koymayı yaparak şunu elde ederiz:
Cauchy integral formülünü kullanıyoruz. Paydayı çarpanlarına ayıralım:
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:
Burada C1, 3-1/2i etrafındaki küçük çemberdir ve C2, -3-1/2i etrafındaki büyük çemberdir. Şimdi formülü uygulayabiliriz:
Örnek (IIIa) – trigonometrik integraller, genel prosedür[değiştir | kaynağı değiştir]
Yukarıdaki yöntem, ve 'nun polinom olduğu
tipindeki bütün integrallere; yani trigonometrik terimler halindeki rasyonel fonksiyonların integrallerine uygulanabilir.
Burada yapılan hile , yerine koyması yapmaktır. Bu yüzden
elde edilir. Bu yerine koyma aralığını birim çembere gönderir. Dahası,
ve
olur ve böylece yerine koyma işleminden değişkenli bir rasyonel fonksiyonu ortaya çıkar ve integral
haline gelir ki bu da birim çember içindeki 'nin kalıntılarının toplanmasıyla hesaplanır.
Sağdaki resim bunu şimdi hesaplayacağımız
için göstermektedir. Birinci adım şudur:
Yerine koymayla
elde edilir. Bu fonksiyonun kutupları ve 'dedir. Bunlardan ve birim çemberin dışında yer alırken (kırmızı ile gösterilmiştir ancak ölçekli gösterilmemiştir), ve birim çemberin içinde yer alır (mavi ile gösterilmiştir). Karşılık gelen kalıntıların her ikisi de 'ye eşittir böylece integralin değeri
olur.
Örnek (IV) – dallanma kesikleri[değiştir | kaynağı değiştir]
integraline bakalım. Şu karmaşık integrali formüle ederek başlayabiliriz:
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 z1/2=e1/2.Log(z) olmasıdır böylece z1/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,
z1/2 = e1/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, birim vektörü temsil eder ki bu yüzden log olarak 'ye sahiptir. z 'nin argumentinden de kastedilen bu 'dir. 1/2 katsayısı ise bizi 2 çarpı yazmaya zorlamaktadır.); böylece
basitleştirerek,
ve sonra
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,
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.
Örnek (V) – logaritmalar ve sonsuzdaki kalıntı[değiştir | kaynağı değiştir]
integralini bulmaya çalışalım. Bu integrali bulmak için
fonksiyonunu incelememiz lazım. 'yi inşa edeceğiz öyle ki 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
ve
'ün kesiği bu yüzden aralığı olurken, 'ün kesiği aralığı olur. Bu ikisinin çarpımının yani 'nin kesiği olur çünkü aslında boyunca süreklidir. Bunun nedeni ise, iken, kesiğe üstten yaklaşırsak, 'nin şu değeri almasıdır:
Alttan yaklaşırsak, şu değeri alır:
Ancak, olduğu için kesiği geçerken bile süreklilik vardır. Bu da resimde ve '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 'nin aldığı değerleri hesaplamamız gerekir. Üst parça boyunca, 'nin aldığı değer şudur:
Alt parça boyunca yine 'nin aldığı değer şudur:
O zaman, 'nin üst parça boyuncaki integrali limitte olurken, alt parça durumunda ise 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 'nın değerini de elde etmiş oluruz. Yeşil çemberlerin yarıçapını ile gösterelim ve olsun. iken ML-eşitsizliğini uygulayalım. Soldaki çemberi için şunu elde ederiz:
Benzer bir şekilde, sağdaki çemberi için şunu elde ederiz:
Şimdi Cauchy kalıntı teoremini kullanarak aşağıdaki eşitliği elde ederiz:
Logaritmanın önceki dallanmasını kullanarak aşağıdaki ifade açıktır:
Resimde kutup mavi ile gösterilmiştir. O zaman, değer de
şeklinde sadeleşir.
Sonsuzdaki kalıntı için ise şu formülü kullanıyoruz:
Yerine koyarak,
ve
eşitliklerini elde ederiz. Burada kullandığımız gerçek ise, logaritmanın ikinci dallanması için olmasıdır. Sonra, binom açılımını kullanarak
elde ederiz. Sonuç ise,
olur. Son olarak, 'nın değeri ise şu olur:
yani
Ayrıca bakınız[değiştir | kaynağı değiştir]
- 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[değiştir | kaynağı değiştir]
- ^ John Stalker (1998). Complex Analysis: Fundamentals of the Classical Theory of Functions. Springer. s. 77. 081764038X. http://books.google.com/books?id=yl3GIXd3dFIC&pg=PP12&dq=%22calculus+of+residues%22&lr=&as_brr=0&sig=hSJuv7-V2Ls0G85ZdaayND5jBrs#PPA77,M1.
- ^ Joseph Bak & Donald J. Newman (1997). Complex Analysis. Springer. s. 11. & 12. Bölüm, sf. 130-156. 0387947566. http://books.google.com/books?id=JX2YSgfZwbYC&pg=PA130&dq=%22contour+integral%22&lr=&as_brr=0&sig=kXalt5look0vfwvfQ39fvMGHHAY#PPA130,M1.
- ^ Steven George Krantz (1999). Handbook of Complex Variables. Springer. s. 2. bölüm. 0817640118. http://books.google.com/books?id=aYU2AdF_0dIC&pg=PT13&dq=Calculus++Residues+inauthor:krantz&lr=&as_brr=0&sig=7snNQHhgXsSP4wsu4mRT2jc7cVY#PPT47,M1.
- ^ Dragoslav S. Mitrinovic & Jovan D. Keckic (1984). The Cauchy Method of Residues: Theory and Applications. Springer. s. 2. bölüm. 9027716234. http://books.google.com/books?id=-suKhxfPH5AC&printsec=frontcover&dq=%22calculus+of+residues%22&lr=&as_brr=0#PPA5,M1.
- ^ Dragoslav S. Mitrinovic & Jovan D. Keckic (1984). 5. bölüm. 9027716234. http://books.google.com/books?id=-suKhxfPH5AC&printsec=frontcover&dq=%22calculus+of+residues%22&lr=&as_brr=0#PPA108,M1.