Cauchy integral formülü

Suskun

V.I.P
V.I.P
548px-KarmasikKalintiOrnegi.png

g(z) = z2 / (z2 + 2z + 2) fonksiyonunun mutlak değerinin yüzeyi ve yazıda açıklanan kontürlerle birlikte tekillikleri.

Matematikte, Augustin Louis Cauchy'nin ardından adlandırılan Cauchy integral formülü karmaşık analizde merkezi bir ifadedir. Bir disk üzerinde tanımlanmış holomorf bir fonksiyonun tamamen, fonksiyonun disk sınırındaki değerleri tarafından belirlendiğini ifade eder. Ayrıca, holomorf bir fonksiyonun tüm türevleri için formül elde etmekte de kullanılabilir. Cauchy formülünün analitik önemi karmaşık analizde "türev alma integral almaya denktir" ifade etmesidir: Bu yüzden karmaşık türevlilik, integral alma gibi, gerçel analizde olmayan düzgün limitler altında iyi davranma özelliğine sahiptir.

Teorem


U, karmaşık düzlem C 'nin açık bir altkümesi olsun, f : U → C holomorf bir fonksiyon olsun ve D = { z : | z - z0| ≤ r} kapalı diski tamamen U 'nun içinde yer alsın. C kapalı diskin sınırını oluşturan çember olsun. O zaman, D 'nin içindeki her a noktasında kontür integralinin saat yönünün tersine alındığı
7ab6bb187c047fc4e4797cb9f6582d9f.png

ifadesi doğru olur.

Bu ifadenin kanıtı Cauchy integral teoremini kullanır ve benzer bir şekilde sadece f 'nin karmaşık türevliliğini gerektirir. Cauchy integral formülünde integrali alınan ifadenin paydasının (a - z0) değişkeninde kuvvet serisi açılabildiği için, holomorf fonksiyonlar analitiktir sonucu ortaya çıkar. Özellikle, f aslında
614957114b3b8140aa21480541d3e5d0.png

ile sonsuz kere türevlenebilirdir. Bu formüle bazen, Cauchy türev formülü de denilmektedir.

C çemberi a etrafında dolanım sayısı bir olan U içindeki herhangi bir kapalı doğrultulabilir eğri ile değiştirilebilir. Dahası, f 'nin yol tarafından çevrelenen açık bölgede holomorf olması ve kapanışında sürekli olması yeterlidir.

Kanıt taslağı
Cauchy integral teoremi kullanılarak, C (veya kapalı doğrultulabilir eğri) üzerinde alına integralin a etrafında alınan herhangi bir küçük çember üzerindeki integralle aynı olacağı gösterilebilir. f(z) sürekli olduğu için f(z) 'nin f(a) 'ya yakın olduğu küçük bir çember seçilebilir. Diğer taraftan, a merkezli herhangi bir C çemberi üzerindeki
ff7be4689c11e9015b8cc801f775bdaf.png

integrali 2πi 'ye eşittir. Bu integral 0 ≤ t ≤ 2π ise ve ε çemberin yarıçapıysa
233e3cac5cacc9c74339c9342a50f9bd.png
alınarak parametrizasyon yoluyla (Değişken değiştirme) hesaplanabilir.
ε → 0 alınarak ise istenilen tahmin
a147d55d1e2df6d5f71db07921f6baf0.png
elde edilir.

Örnek
|z| = 2 tarafından tanımlanan kontür (bu kontüre C denilsin) ve
7c08426ead131fdc1949d09bb3163d9f.png

ele alınsın.

g(z) 'nin kontür etrafındaki integralini bulmak için, g(z) 'nin tekilliklerinin bilinmesi gerekir. z1 = − 1 + i ve z2 = − 1 − i ise, g şu şekilde tekrar yazılabilir:
1e46ccaa01008eff32791b00850af20e.png

Kutupların ne olduğu açıktır, kutupların mutlak değeri 2'den küçüktür ve bu yüzden kontürün içinde yer alırlar ve formülün kullanımına uygundurlar. Cauchy-Goursat teoremi kullanılarak, bu kontür etrafındaki integral z1 ve z2 etrafında ayrı ayrı daha küçük çember kontürleri alınarak elde edilen integrallerin toplamı şeklinde yazılabilir. Bu küçük kontürler z1 ve z2 için sırasıyla C1 ve C2 olsun.

C1 etrafında f analitiktir (çünkü kontür diğer tekilliği içermez) ve bu bir f 'nin
481d67957d2fa324ce8a647cdf4137e3.png

formunda yazılmasına olanak verir. Şimdi
baca51d630ddeb4ab357958f96cf2d04.png

olur. Diğer kontür etrafında da benzer işlem yapılırsa
444fa50451b549faef970bfffa01070e.png

5211690b5136dfa520cd7df4ff0b1dc9.png

elde edilir.



 

Suskun

V.I.P
V.I.P
O zaman C kontürü etrafındaki orijinal integral bu iki integralin toplamı olur:
a8292d21ecd038d2c5445bc780fdfa1d.png




Sonuçlar
İntegral formülünün geniş bir uygulama alanı vardır. Birincisi, bir fonksiyon açık bir küme üzerinde holomorfsa, o zaman fonksiyon aynı yerde sonsuz kere türevlenebilirdir. Dahası, analitik bir fonksiyondur yani kuvvet serisi şeklinde temsil edilebilir. Bu ifadenin kanıtı
66c871c293f946b1a60b301ac61715c7.png

ifadesinde baskın yakınsaklık teoremini ve geometrik seriyi kullanır. Formül aynı zamanda meromorfik fonksiyonların bir sonucu olan kalıntı teoreminin ve ilişkin bir sonuç olan argüman ilkesinin kanıtında kullanılmaktadır. Morera teoremi sayesinde holomorf fonksiyonların düzgün limitinin de holomorf olduğu bilinmektedir. Bu sonuç Cauchy integral formülünden de çıkarılabilir: Formül limit içinde ve integrali alınan ifade için de geçerlidir ve bu yüzden integral kuvvet serisi olarak açılabilir. Ayrıca, daha yüksek mertebeden türevler için Cauchy formülü bu türevlerin hepsinin düzgün bir şekilde yakınsadığını gösterir.

Cauchy integral formülünün gerçel analizdeki analoğu harmonik fonksiyonlar için olan Poisson integral formülüdür. Bu bağlamda, holomorf fonksiyonların özelliklerinin çoğu taşınabilir. Ancak, daha genel türevlenebilir ve gerçel analitik fonksiyonlar sınıfı için artık bunun gibi sonuçlar geçerli değildir. Örneğin, gerçel bir fonksiyonun birinci türevi daha yüksek mertebeden türevlerin varlığını veya fonksiyonun analitikliğini göstermez. Benzer bir şekilde, bir (gerçel) türevlenebilir fonksiyonlar dizisinin düzgün limiti türevlenebilme özelliğine sahip olmayabilir veya türevlenebilir olur ama bu türev dizinin elemanlarının türevlerinin limiti olmayabilir.

Genelleştirmeler

Pürüzsüz fonksiyonlar [değiştir]

Cauchy integral formülünün bir versiyonu, Stoke teoremine dayandığı için pürüzsüz fonksiyonlar için de geçerlidir. D, C 'de bir disk olsun ve f, D 'nin kapanışında bir sürekli bir şekilde türevlenebilir fonksiyon yani C1 olan bir fonksiyon olsun. O zaman (Hörmander 1966, Teorem 1.2.1),

9a98d575da87080dc0eaf0ff508b66ec.png

olur. Bu temsil formülü aynı zamanda D içinde, homojen olmayan Cauchy-Riemann denklemlerini çözmek için de kullanılabilir. Aslında, φ, D içinde fonksiyonsa,
83ea8241c5e77c04ce11f20196398a07.png


denkleminin özel bir f çözümü
8925194872a8428daf7d90f69e26bf9c.png

tarafından verilir.

Daha ihtimamlı bir şekilde (Hörmander 1966, Teorem 1.2.2), μ, C üzerinde bir tıkız desteğin karmaşık (sonlu) ölçümü olursa, o zaman
0efb21951dafbc89341b360203f99be3.png

μ 'nün desteği dışında holomorf bir fonksiyon olur. Dahası açık bir D kümesi üzerinde bir φ ∈ Ck(D) (k≥1) için
7be7f768ec0401b1bbdd1b8d2c65b383.png

olursa, o zaman
efca82d96f71af82f36f5a00c1cf0865.png
de Ck(D) 'nin içinde yer alır ve
83ea8241c5e77c04ce11f20196398a07.png


denklemini sağlar.

İlk sonuç, kısaca, Cauchy çekirdeği denilen
0f4994c3ca346a814c52b413f24813a7.png
ile tıkız bir şekilde desteklenen ölçümün μ*k(z) girişimi, μ 'nün desteği dışında holomorf bir fonksiyon olmasıdır. İkinci sonuç ise, Cauchy çekirdeğinin Cauchy-Riemann denklemlerinin temel bir çözümü olduğunu ifade eder.





 

Suskun

V.I.P
V.I.P
Çok değişkenler

Çok karmaşık değişkenlerde, Cauchy integral formülü polidisklere genelleştirilebilir (Hörmander 1966, Teorem 2.2.1). D, n tane açık diskin yani D1, ..., Dn 'nin kartezyen çarpımı olsun:
6dc1efc587de442bb5fc2a3826197d81.png

f, D 'de holomorf ve D 'nin kapanışında sürekli olsun. O zaman, ζ=(ζ1,...,ζn) ∈ D olursa aşağıdaki formül elde edilir:
b55261916a6679bd5ec9b669049f493d.png
 

Top