Processing math: 100%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
466 kez görüntülendi
Abel Plana formulunu cok sevdim paylasmak istedim ama soru formatinda olsun diye, yukaridaki esitlik hangi f ler icin dogrudur? Belki ispatini da yapmak istersiniz.
Lisans Matematik kategorisinde (1.6k puan) tarafından  | 466 kez görüntülendi
analitiklik şartı kesin vardır

1 cevap

1 beğenilme 0 beğenilmeme
En İyi Cevap

Eşitliğin son teriminden başlayalım yolculuğa. ix=z ve z=z olmak üzere bu terim

x=0dzf(z)f(z)ei2πz1=iz=0dzf(z)ei2πz1+iz=0dzf(z)ei2πz1ei2πz=(1) şeklinde ifade edilebilir.

İki zararsız varsayım yapacağız: f(z) holomorfik bir fonksiyon olsun ve |z| iken yeterince hızlı (ne kadar hızlı?) bir şekilde f(z)0 olsun. Bu durumda yukarıdaki integrandların yalnızca zZ noktalarında kutupları vardır.

Bu integrallerin imajiner eksen üzerinde bir tekillikten geçtiğine dikkat ediniz. Dolayısıyla şimdi (1) integralinin Cauchy esas değerini (principal value) karmaşık düzlemde 

(1)=Γ1f(z)dzei2πz1+Γ2f(z)ei2πzdz1ei2πz kontur integralleri olarak yazabiliriz. Burada Γ1,ϵ ve Γ2,ϵ eğrileri orijin merkezli ϵ yarıçaplı bir çemberin üzerindeler. Hesap bittiğinde ϵ0 limitini alacağız.

Şimdi Γ2,ϵΓ2Γ˜Γ2  kapalı eğrisine odaklanalım. Cauchy integral teoreminden ve Γ eğrisinin integrale katkı yapmamasından hareketle Γ2=Γ2,ϵ˜Γ2. Bu sayede üzerinde integral aldığımız eğileri aşağıdaki gibi yeniden çizebiliriz. 

Tekillikler yakınında dikkatli davranmak koşuluyla, biraz daha ileri giderek şöyle ilginç gözüken bir çizim de yapabilirdik.

Şimdi Γ2'nin integrandının gerekli kalıntılarını (residue) bulduktan sonra, ϵ0 limitini de alınca sonunda elimize geçen:

(1)=f(0)2+1f(n)+iz=i0dzf(z)1ei2πzei2πz1=f(0)2+0f(n)+z=ϵdz(f(z))

Son adımda integrali reel eksene deforme ederken f(z)'nin holomorfik olmasından faydalandık.

(145 puan) tarafından 
tarafından seçilmiş
20,312 soru
21,867 cevap
73,586 yorum
2,850,298 kullanıcı