f(z) dz = 0
c
Dengan kata lain integral fungsi kompleks tidak tergantung lintasan yang dilewatinya.
Bukti pernyataan ini dapat diruntut sebagai berikut :
Untuk vektor dua dimensi (F = Fx iˆ + Fy ĵ ), teorema Stokes pada integral vektor akan
menghasilkan teorema Green berikut :
F y Fx
F
c
x dx F y dy (
x
y
) dxdy
dimana adalah daerah yang dibatasi oleh kurva tertutup C. Apabila teorema ini ke-
mudian diterapkan pada integrasi kompleks :
v u u v
dxdy
x y x y
=0
Karena menurut persamaan Cauchy-Riemann, seluruh integrannya sama dengan nol.
Pengintegralan Cauchy
Teorema Cauchy Jika f (z ) analitik dan f ' ( z ) kontinu di dalam dan pada
lintasan tertutup sederhana C , maka C f ( z ) dz 0
C
f (z ) analitik dan f ' ( z ) kontinu
Contoh :
Misalkan diberikan C sebarang lintasan tertutup dalam bidang kompleks.
1. f (z) z 2
C
z 2 dz 0
2. f ( z) 1 C
dz 0
Contoh :
1
Diketahui C : z 1. Hitunglah C f ( z ) dz jika f ( z ) .
z 3
Penyelesaian :
1
f ' ( z) , f (z ) tidak analitik di z 3 dan z 3 terletak di luar C .
( z 3) 2
1
C ( z 3)
dz 0
C
f ( z ) dz
C1
f ( z ) dz
C2
f ( z ) dz
Cn
f ( z ) dz
C
C1 f (z ) tidak analitik
f (z ) analitik
Teorema Morera
1
untuk setiap C tertutup sesepenggal kurva γ dalam D harus holomorphic pada D.
Asumsi Teorema Morera adalah setara dengan f yang memiliki anti derivatif pada D.
Fungsi holomorphic tidak perlu memiliki sebuah antiturunan pada domain tersebut,
kecuali satu memaksakan asumsi tambahan. Sebagai contoh, teorema Cauchy's integral
menyatakan bahwa garis integral dari suatu fungsi holomorphic sepanjang kurva tertutup
adalah nol, asalkan domain dari fungsi ini hanya terhubung.
Bukti :
Ada bukti yang relatif dasar teorema. Teorema kemudian mengikuti dari
kenyataan bahwa fungsi holomorphic yang analitik . Tanpa kehilangan persamaan umum,
dapat diasumsikan bahwa D tersambung .Perbaiki titik z 0 di D, dan untuk ,
1
menjadi C sesepenggal kurva seperti yang γ (0) = z 0 dan γ (1) = z. Kemudian
definisikan fungsi F akan
Untuk melihat bahwa fungsi ini didefinisikan dengan baik, misalkan kurva seperti yang τ
- 1
(0) = z 0 dan τ (1) = z. γτ Kurva (yaitu menggabungkan kurva γ dengan τ secara
terbalik) adalah C tertutup sesepenggal 1 kurva di D, Kemudian,
untuk setiap n,, sepanjang kurva C ditutup pada disk. Kemudian konvergensi seragam
menyiratkan bahwa
untuk setiap C kurva tertutup, dan karena itu oleh ƒ's Teorema Morera harus
holomorphic. Fakta ini dapat digunakan untuk menunjukkan bahwa, untuk setiap set
terbuka Ω → C, set A (Ω) dari semua dibatasi , fungsi analitik u: Ω → C adalah ruang
Banach berkaitan dengan norma supremum .
Teorema Morera juga dapat digunakan bersama dengan Teorema Fubini untuk
menunjukkan analyticity fungsi ditentukan oleh jumlah atau integral, seperti fungsi zeta
Riemann
Demikian pula, dalam kasus fungsi zeta, teorema Fubini's membenarkan bertukar integral
sepanjang kurva tertutup dan jumlah tersebut. Hipotesis teorema Morera bisa menjadi
lemah jauh. Secara khusus, itu sudah cukup untuk integral
Hal ini sebenarnya mencirikan holomorphy, ƒ yaitu adalah holomorphic pada D jika dan
hanya jika kondisi di atas terus.