Pada pasal ini akan dibicarakan pengintegralan dari fungsi yang analitik dengan
daerah integrasi suatu lintasan tertutup sederhana. Pengintegralan dari fungsi analitik
tersebut disajikan dalam teorema Cauchy Goursat. Sebelum membicarakanteorema
Cauchy Goursat,didahului denganteorema Cauchy yang merupakana dasar lahirnya
teorema Cauchy Goursat tersebut.
Teorema
Cauchy
C di R, maka
f ( z ) dz 0
C
f (z ) analitik dan f ' ( z ) kontinu
Bukti:
Misalkan f(z) = u(x,y) + iv(x,y) dan f analitik pada C.Jadi f (z) ada untuk setiap z R
dan f (z) = ux(x,y) + ivx(x,y) = vy(x,y) iuy(x,y). Karena f (z) kontinu pada R, maka u,
v,ux, uy,v, dan vy semuanya kontinu pada R. Dengan demikian udan v memenuhi syarat
berlakunya teorema Green, yaitu:
v
u
( udxvdy )+ i
C
Karena u dan v memenuhi persamaan Cauchy Reimann pada R , maka integral lipat dua
di ruas kanan menjadi nol sedangkan ruas kiri adalah rurmus untuk
f ( z ) dz
jadi
f ( z ) dz
=0
Pada Teorema Cauchy diatas mencakup hipotesis tambahan bahwa f kontinu pada R
tetapi jika f(z) analitik pada daerah R , maka f(z) juga analitik dan kontinu pada R.1
Contoh :
Misalkan diberikan C sebarang lintasan tertutup dalam bidang kompleks.
1.
f ( z) z 2
2.
f (z) 1
z 2 dz 0
dz 0
f(z) dz = 0
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 j ), teorema Stokes pada integral vektor akan
1 http://Pengintegralan-kompleks-pdf.html
F x dx F y dy
c
F y
Fx
) dxdy
x
y
f ( z )dz (u iv )( dx idy )
c
v u u v
dxdy
x
y
=0
Karena menurut persamaan Cauchy-Riemann, seluruh integrannya sama dengan nol.
Teorema Cauchy-
Jika
Goursat
sederhana C , maka
f ( z ) dz 0
C
f (z ) analitik
Contoh :
Diketahui
C : z 1
Hitunglah
f ( z ) dz
jika
f ( z)
1
z 3.
Penyelesaian :
f ' ( z)
1
( z 3) 2 , f (z ) tidak analitik di z 3 dan z 3 terletak di luar C .
1
dz 0
( z 3)
Bentuk lain
Jika fungsi
Teorema Cauchy
Goursat :
berlaku
Teorema Cauchy
Goursat yang
Diperluas :
f ( z ) dz 0
f ( z ) dz
C1
f ( z ) dz
C2
f ( z ) dz
C
C1
f (z ) tidak analitik
f (z ) analitik
Teorema Morera
Cn
f ( z ) dz
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
menjadi C sesepenggal
0
0
di D, dan untuk
Untuk melihat bahwa fungsi ini didefinisikan dengan baik, misalkan kurva seperti yang
(0) = z
- 1
Karena f adalah turunan dari fungsi F holomorphic, itu holomorphic.. Ini melengkapi
buktinya.
Sebagai contoh, misalkan f 1, f 2, merupakan urutan fungsi holomorphic, konvergen
seragam ke f fungsi kontinu pada disk terbuka. Dengan Teorema Cauchy , kita tahu
bahwa
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.2
2 http://Integral-Fungsi-Kompleks-pdf.html