Komplex fggvnytan

Farkas Barnabs

Elsz

A jegyzet elssorban a Budapesti Mszaki s Gazdasgtudomnyi Egyetem villamosmrnk hallgatinak kszlt, harmadik flves matematika tanulmnyaik (A3) komplex fgvnytani fejezeteit tartalmazza egy kicsit kbvtve. A villamosmrnk hallgatkon kvl brmely ms mrnki vagy egyb mszaki szakos hallgatknak is segtsget nyjthat a tmban. A tmhoz kapcsold feladatok kzl a legfontosabb tpusokbl tbb kidolgozott pldt is tartalmaz, ezzel igyekezvn segtsget nyjtani a ZH-kra illetve vizsgkra val felkszlsben. Ksznettel tartozom Stubnya Gusztvn (Stubnya Etelka) tanrnnek a jegyzet rszletes tnzsrt. Az aprbb javtsok s szrevtelek mellett egy komolyabb matematikai hibra is rmutatott, mely teljesen elkerlte a gyelmemet. Tovbb ksznetet szeretnk mondani Wettl Ferencnek a felmerl, szmomra megoldhatatlannak tn szerkesztsi, formai problmk megoldsban ATEX rejtelmeiben nyjtott tmutatsairt. nyjtott segtsgrt s a L

Budapest, 2007 10. 23.

Farkas Barnabs

Tartalomjegyzk

1. Alapok

Emlkeztet . . . . . . . . . . . . . . . . . . . . . C topolgija . . . . . . . . . . . . . . . . . . . . Sorozatok s sorok C-ben . . . . . . . . . . . . . Komplex fggvnyek hatrrtke s folytonossga

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

3 5 6 8

2. Dierencilhatsg

Komplex dierencilhatsg . . . . . . . . . . . . . . . . . . . . . . . . 13 Cauchy-Riemann egyenletek . . . . . . . . . . . . . . . . . . . . . . . . 15 A CR-egyenletek kvetkezmnyei . . . . . . . . . . . . . . . . . . . . . 17

13

3. Hatvnysorok

Hatvnysorok alaptulajdonsgai . . . . . . . . . . . . . . . . . . . . . . 19 Az exp s log fggvnyek . . . . . . . . . . . . . . . . . . . . . . . . . 20 Trigonometrikus s hiperbolikus fggvnyek . . . . . . . . . . . . . . . 23 Grbk a komplex skon . . . Komplex grbementi integrl Az integrl tulajdonsgai . . Cauchy Integrlttele . . . . . Kidolgozott pldk . . . . . . Harmonikus fggvnyek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

4. Vonalintegrl

25

25 25 27 32 38 40 43 45 48 50 52 54

5. Hatvnysorba fejts

Taylor-sorok . . . . . . . . . . . . . Laurent-sorok . . . . . . . . . . . . rdekessgek . . . . . . . . . . . . Izollt szingularitsok osztlyozsa A Reziduum Ttel . . . . . . . . . Vals improprius integrlok . . . .

43

6. Appendix

Halmazok s fggvnyek . . . . . . . . . . . . . . . . . . . . . . . . . . 57 Testek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 R2 topolgija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

57

1.

Alapok

Emlkeztet
A komplex szmok struktrjt gy kapjuk, hogy az R2 vals szmprok halmazn rtelmezk a kvetkez mveleteket:

sszeads: (a1 , b1 ) + (a2 , b2 ) = (a1 + a2 , b1 + b2 ), szorzs: (a1 , b1 ) (a2 , b2 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ).

Legyen 0 = (0, 0) s 1 = (1, 0). Belthat, hogy ezekkel a mveletekkel s ezzel a kt kijellt elemmel R2 -en a vals szmokhoz nagyon hasonl struktrt, egy test-et kapunk (lsd Appendix). Ezt nevezzk a komplex szmok testnek, jellsben: C. Vagyis ugyanarrl a halmazrl (R2 ) van sz, csak mveleteket asszocilunk hozz. A hasznlata nem okoz flrertst, mivel ugyanazt a mveletet jelli R2 -ben s C-ben. Oszts: ha (a2 , b2 ) = (0, 0), akkor
a1 a2 + b1 b2 b1 a2 a1 b2 (a1 , b1 ) = , . 2 2 (a2 , b2 ) a2 a2 2 + b2 2 + b2

Legyen i = (0, 1). Ekkor

i2 = (0, 1) (0, 1) = (1, 0) = (1, 0) = 1.

Az {1, i} halmaz bzis R2 -ben, ezrt minden (a, b) R2 egyrtelmen felrhat az

(a, b) = a1 + bi

alakban. Ehelyett az egyszerbb a + bi jellst fogjuk hasznlni. Egyszerstsnkkel egy azonosts is addik: minden a R-nek megfeleltettk (a, 0)-t, specilisan 1-nek 1-et. Ezzel az egyszerstssel formlisan minden a R vals szmra a = a + 0i = a1 + 0i C vagyis feltehetjk, hogy
R C.

Informlisan az "x tengely" pontjait mostantl vals szmoknak tekintjk. Ennl valjban sokkal tbbrl van sz: A C s R jellsek magukban foglalnak bizonyos mveleteket is. Knnyen belthat, hogy ha a most denlt mveleteket megszortjuk R( C)-re, akkor a szoksos vals mveleteket kapjuk (lsd Appendix). Pldul ha a, b R, akkor a megfeleltetst -el jellve:
ab (ab, 0) = (ab 00, a0 b0) = (a, 0) (b, 0).

Egy a + bi C komplex szm vals s kpzetes rsze:

Re(a + bi) = a, Im(a + bi) = b,

vagyis a + bi = (Re(a + bi), Im(a + bi)) = Re(a + bi) + Im(a + bi)i. Hogyan szmoljunk ebben az a + bi alakban? Az imnt denilt mveletek gy viselkednek, mintha az i2 = 1 szably felhasznlsval "rtelemszeren" szmolnnk az a + bi alak "szmokkal". Pldul
(a1 + b1 i) (a2 + b2 i) = a1 a2 + a1 b2 i + b1 a2 i + b1 b2 i2 =

a1 a2 + (a1 b2 + b1 a2 )i b1 b2 = (a1 a2 b1 b2 ) + (a1 b2 + b1 a2 )i,

vagyis ha az (a1 , b1 ) s (a2 , b2 ) pontokat felrjuk az 1, i bzisban a fenti egyszerstst alaklamazva s "rtelemszeren" sszeszorozzuk ket, akkor az (a1 , b1 ) (a2 , b2 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ) szorzat egyszerstett felrst kapjuk az 1, i bzisban. A tovbbiakban nem emltjk kln, hogy a komplex szmtest alaphalmaza R2 , gy pldul egy D C halmaz rtelemszeren egy D R2 halmaz. Bevezetnk mg kt fggvnyt: konjugls: a + bi = a bi(= a + (b)i),

abszolt rtk: |a + bi| = a2 + b2 . Tudjuk, hogy ha z, w C, akkor

z w = z w, zw = z w, z . w

s ha w = 0, akkor Tovbb, hogy s ha w = 0, akkor

z w zz = |z |2 ,

|zw| = |z ||w|,

z |z | = . w |w|

Az a + bi alakot a komplex szm algebrai alakjnak nevezzk. Ebben az alakban minden alapmvelet knnyedn elvgezhet. Problmt a hatvnyozs s a gykvons okoz. Egy komplex szm trigonometrikus alakja:
a + bi = r(cos + i sin ), b amibl ltszik, hogy r = a2 + b2 = |a + bi| s tg = a . Vegyk szre, hogy a trigonometrikus alak nem egyrtelm vlasztsa miatt. Ha pldul kiktjk, hogy [0, 2 ) vagy [, ), akkor mr egyrtelm a trigonometrikus alak.

Trigonometrikus alakban sszeadni/kivonni nem igazn lehet. Szorozni/osztani, viszont annl knnyebben:
(r1 (cos 1 + i sin 1 )) (r2 (cos 2 + i sin 2 )) = r1 r2 (cos(1 + 2 )+ i sin(1 + 2 )),

s ha r2 = 0, akkor
r1 (cos 1 + i sin 1 ) r1 = (cos(1 2 ) + i sin(1 2 )). r2 (cos 2 + i sin 2 ) r2

Ennek kvetkeztben hatvnyozni is nagyon knny ebben az alakban: ha n Z, akkor

(r(cos + i sin ))n = rn (cos(n) + i sin(n)).

Minden z = 0 komplex szmnak n darad n. gyke van (n N+ ). Trigonometrikus alakban:

+ k 2 + k 2 + i sin , n n ahol k = 0, . . . , n 1, vagy tetszleges n darad egymst kvet termszetes
n

r(cos + i sin ) =

r cos

szm.

topolgija

A komplex szmok halmazn a topolgiai fogalmak ugyanazok, mint R2 -ben (lsd Appendix). Pontosabban, ha a szoksos mdon deniljuk ket a komplex szmokon rtelmezett abszolt rtk segtsgvel, akkor ugyanazt a fogalmat kapjuk, mint R2 -ben, hiszen a komplex abszolt rtk megegyezik az R2 -beli normval ( ). Pldul egy U C halmaz nylt, ha
uU > 0 z C (|z u| < z U ).

Szksgnk lesz egy-kt j topolgiai fogalomra, ezeket R2 -ben deniljuk.

1.1 Denci. Egy X R2 halmaz sszefgg, ha nincsenek U, V

halmazok, amikre:
X U V, X U =

R2

nylt

s X V = ,

X U V = . X tsszefgg, ha brmely kt pontja sszekthet X -en bell halad folytonos grbvel, vagyis minden a, b X -hez ltezik f : [0, 1] X folytonos fggvny, hogy f (0) = a s f (1) = b. X poligonsszefgg, ha brmely kt pontja sszekthet X -en bell halad trttvonallal, vagyis minden a, b X -hez ltezik f : [0, 1] X folytonos fggvny, hogy f (0) = a, f (1) = b s f vges sok pont kivtelvel dierencilhat s kt ilyen pont kztt a derivltja lland.

Vilgos, hogy a poligonsszefggsgbl kvetkezik az tsszefggsg, viszszafel pedig nem (pl.: krvonal). Ha X R2 nylt, akkor az sszefggsg dencija leegyszersdik: X pontosan akkor sszefgg, ha nem ll el kt nemres diszjunkt nylt halmaz unijaknt.

1.2 Feladat . Bizonytsa be, hogy az tsszefggsgbl kvetkezik az sszefggsg. Visszafel nem igaz, pldul belthat, hogy a
{(0, 0)} x, sin 1 : x (0, 1) R2 x

halmaz sszefgg, de nem tsszefgg.

1.3 Megjegyzs. Az sszefggsg dencijban a harmadik pont helyett elg feltenni, hogy U V = , vagyis, hogy az gy kapott, els rnzsre gyengbb (Mirt is?) fogalom ekvivalens az sszefggsggel. 1.4 Denci. Egy nemres D R2 halmaz tartomny, ha nylt s sszefgg.
Nylt halmazok esetben az sszefggsg klnbz verzii ekvivalensek:

1.5 Ttel. Egy D R2 nemres nylt halmazra a kvetkezk ekvivalensek:

D

sszefgg, vagyis tartomny,

5

 D D

tsszefgg, poligonsszefgg.

ha minden X -beli : [0, 1] X folytonos zrt ( (0) = (1)) grbe folytonosan pontrahzhat X -en bell, vagyis ltezik egy p X s egy H : [0, 1]2 X folytonos fggvny, hogy minden t [0, 1]-re f (t, 1) = (t) s f (t, 0) = p.

1.6 Denci. Egy X R2 tartomny egyszeresen sszefgg (1-sszefgg),

1.7 Feladat . Bizonytsa be, hogy minden konvex halmaz 1-sszefgg.

1-sszefggsg dencijban a p pont tetszlegesen vlaszthat, vagyis ha X 1-sszefgg, akkor minden p X -hez ltezik egy megfelel H . Belthat, hogy egy X R2 pontosan akkor 1-sszefgg, ha X folytonosan pontra hzhat X -en bell, vagyis ha egy (tetszleges) p X -re ltezik H : X [0, 1] X folytonos fggvny, hogy minden x X -re f (x, 1) = x s f (x, 0) = p.

Mivel egy tartomny tsszefgg, ezrt knnyen meggondolhat, hogy az

Sorozatok s sorok C-ben

Egy komplex sorozat hatrrtkt deniljuk a szoksos, R2 -beli mdon vagyis (komplex jellsekkel): zn z vagy lim zn = z pontosan akkor, ha
> 0 n0 N n n0 |zn z | < .

Egy komplex sorozat konvergens, ha ltezik (komplex) hatrrtke, klnben divergens. Ismt megjegyezzk, hogy a komplex abszolt rtk megegyezik az R2 -beli normval, ezrt ez a denci tnyleg a szoksos R2 -beli konvergencit adja: ha zn = an + bn i s z = a + bi, akkor
zn z (an , bn ) (a, b).

Korbbi tanulmnyainkbl mr tudjuk, hogy (an , bn ) (a, b) pontosan akkor, ha an a s bn b. Ms szval komplex sorozatok hatrrtknek meghatrozshoz csak a klasszikus (vals) sorozatoknl megismert technikkat kell alkalmazni. A skbeli sorozatoktl eltren most beszlni fogunk hatrrtkrl is.

1.8 Denci. Egy zn komplex sorozat vgtelenhez tart, jellsben lim zn =

vagy zn , ha |zn | , vagyis
K R n0 N n n0 |zn | K .

Komplex sorozatokra minden R2 -ben megismert ttel rtelemszeren lefordthat. Pldul:

1.9 Ttel. Ha zn egy korltos (komplex) sorozat, vagyis ltezik egy K , hogy minden n N-re |zn | < K , akkor van konvergens rszsorozata. 1.10 Ttel. (Cauchy Kritrium) Egy zn sorozat pontosan akkor konvergens, ha Cauchy-sorozat vagyis
> 0 n0 N k, m n0 |zk zm | <

Ami kevsbe trivilis, hogy a mveleteket is megtartjk a komplex sorozatok limeszei. A problmt az okozhatn, hogy j mveleteket deniltunk R2 -en (szorzs s oszts). Azonban az eredeti, vals sorozatokra vonatkoz bizonyts lemsolhat.

1.11 llts. Ha zn z s wn w (z, w C {}), akkor

(zn wn ) z w

s zn wn zw,

ha ez rtelmes, vagyis nem illetve 0 vagy 0 alak, tovbb ha w = 0, akkor

zn z , wn w

ha nem

alak.

Vegyk szre, hogy a + most nem rtelmezhet! Pldul komplexben n s n , de n n = 0 0; n2 s n , de n2 n . Lssunk egy-kt pldt: 1.) lim n
2

+ni i

= , mert

n2 +ni i

| n4 +n2 | 1

+.

2.) lim in nem ltezik, mert az in sorozat elemei 1, i, 1, i, 1, . . . . Vagy mskppen in nem Cauchy-sorozat, mert pldul = 1-hez nincsen kszbindex.
1+ n n+i 3.) lim 1+ ni = lim 1 +i =
n i

1 i

= i.

1.12 Feladat. 1.13 Feladat. 1.14 Feladat. 1.15 Feladat. 1.16 Feladat.

ni lim 1+ n2 +i =?

lim
n

3+5ni n n+i
2

=?

+n i lim in2 n2 i =?

lim lim

3+5i n = n+i 3 n 1 = 2 + 2 i

C-beli sorok sszegt ugyangy rtelmezzk, mint a vals esetben, visszavezetjk sorozatok hatrrtkre.

1.17 Denci. Ha zn egy sorozat s w C {}, akkor

akkor, ha lim(z0 + . . . zn ) = w.
A
n=0

zn = w
n=0

pontosan

zn sor konvergens, ha a dencijban szerepl sorozat konvergens, kln-

ben divergens. A sorokra vonatkoz valsbl megismert, rendezst (pl.: pozitv tag sorok vagy majorns/minorns kritrium) nem tartalmaz ttelek itt is trivilisan igazak. Pldul:

1.18 Ttel. Ha
n=0

zn = z C {}
n=0

n=0

wn = w C {},

akkor

(zn wn ) = z w,

ha nem alak.
7

1.19 Ttel. (Cauchy Kritrium)

> 0-hoz

zn
n=0

pontosan akkor konvergens, ha minden

k

ltezik n0 N, hogy minden k > m n0 esetn

zn <
n=m+1

Bizonyts. Jellje sn = z0 + + zn a sor n. szelett. A zn sor pontosan n=0 akkor konvergens s sszege z , ha sn z . Ez a 1.10 Ttel szerint pontosan akkor teljesl, ha minden > 0-hoz ltezik n0 , hogy minden k, m n0 -ra k |sk sm | < . Vilgos, hogy ha k > m, akkor sk sm = zn .
n=m+1

1.20 Ttel. Ha a

zn
n=0

sor abszolt konvergens (vagyis a

n=0

|zn |
n=0

sor konver-

gens), akkor konvergens. Bizonyts. Beltjuk, hogy a

> 0 x. Mivel a
n=0

zn sor kielgti a 1.19 Ttel felttelt. Legyen

|zn | sor konvergens, ezrt a 1.19 Ttel szerint ltezik

k n=m+1

n0 , hogy minden k > m n0 -ra

k k k

|zn | < . Ha k > m n0 , akkor

zn
n=m+1 n=m+1

|zn | =
n=m+1

|zn | < .

Egy plda: Ha |z | < 1, akkor

zn =
n=0

1 , 1z
1z n+1 1z

mert a sor n. szelete, z 0 + z 1 + + z n = |z |n+1 0.

s z n+1 0, hiszen |z n+1 | =

1.21 Feladat. Bizonytsa be, hogy ha z nem negatv egsz szm, akkor
1 1 = . ( z + n )( z + n + 1) z n=1

Komplex fggvnyek hatrrtke s folytonossga

Egy D C halmazon rtelmezett f : D C fggvny adott pontban vett hatrrtkt illetve folytonossgt rtelmezzk a szoksos, R2 -beli mdon.

1.22 Denci. Ha f : D C s z0 D torldsi pont, akkor lim f =wC z

pontosan akkor, ha

> 0 > 0 z D (0 < |z z0 | < |f (z ) w| < ), > 0 > 0 z D (|z z0 | < |f (z ) f (z0 )| < ).

s ha z0 D, akkor f folytonos z0 -ban, ha

Ez tnyleg a szoksos R2 -beli hatrrtk illetve folytonossg dencija, hiszen a komplex abszolt rtk megegyezik az R2 -beli normval, gy mint a sorozatok esetben, komplex fggvnyek hatrrtknek kiszmtsban is a tbbvltozs analzisben megismert mdszerek alkalmazhatk. Egy f : D C fggvny persze f : D R2 fggvny. Ekkor f koordintafggvnyeit jelljk u, v -vel, vagyis u, v : D R s minden (x, y ) D-re f (x, y ) = (u(x, y ), v (x, y )), vagy rvidebben f = (u, v ). Vilgos, hogy ha f -et komplex fggvnynek tekintjk, akkor az
f = u + iv

jellst alkalmazzuk. Alkalmazva a tbbvltozs analzisbl jlismert tteleket: ha z0 D , akkor

lim f ( lim u lim v ),
z0 z0 z0

s ekkor (komplex jellsekkel)

lim f = lim u + i lim v.
z0 z0 z0

Tovbb, ha z0 D, akkor f pontosan akkor folytonos z0 -ban, ha u s v is folytonos z0 -ban. Mivel egy tartomnynak minden pontja torldsi pontja, ezrt ha D C egy tartomny s f : D C, akkor f pontosan akkor folytonos egy z0 D pontban, ha
lim f = f (z0 ).
z0

Mint a sorozatoknl, most is kln meg kell emltennk, hogy rtelmezzk a lim f = , a lim f = w C s a lim f = fogalmakat is.
z0

1.23 Denci. Legyen D C s f : D C. Ekkor

ha z0 D , akkor lim f = pontosan akkor, ha lim |f | = + (vals z0 z0 rtelemben), vagyis

K R > 0 z D (0 < |z z0 | < |f (z )| > K );

ha D , vagyis D nem korltos s w C, akkor lim f = w pontosan akkor, ha

> 0 K R z D (|z | > K |f (z ) w| < );

ha D , akkor lim f = pontosan akkor, ha

K1 R K2 R z D (|z | > K2 |f (z )| > K1 ).

Termszetesen az tviteli Elv is igaz marad komplex esetben. (Vegyk szre, hogy ez csak a -t tartalmaz esetekben jdonsg, egybknt csak az R2 -beli tviteli Elv lefordtsa komplex jellsekkel.)

D C, f : D C s z0 D . Ekkor pontosan akkor, ha minden zn D\{z0 } sorozatra, ha z0 zn z0 , akkor f (zn ) w. lim f = w C {}

1.24 Ttel. (tviteli Elv) Legyen

Most is igazak maradnak a valsbl megismert mvelettartst llt ttelek, az 1.11 llts fggvnyekre vonatkoz vltozata a kvetkez:
f = w1 s lim g = w2 , akkor 1.25 llts. Ha f, g : D C, z0 D , lim z z
0 0

lim f g = w1 w2
z0

f g = w1 w2 , s lim z
0

ha ezek rtelmesek, tovbb ha w2 = 0, akkor

lim
z0

f w1 = , g w2

ha rtelmes.
Egy-kt plda: 1.) lim |zz2| = , mert
0 i i |z | z2 |z | |z 2 | |z | |z | 2

1 |z |

, ha z 0.
i =2 .

i z +i 1 2.) lim zz2+ +1 = lim (z +i)(z i) = lim z i = i iz +i 3.) lim 3 z 2 = lim

i i+ z 3 z z

1 2i

= 0.
1 i

) ( ) nem ltezik, mert lim ( n = 1, de lim n = 1 s alkalmazzuk az 4.) lim z 1 i 0 0 0 z n n tviteli Elvet.

1.26 Feladat. 1.27 Feladat. 1.28 Feladat.

|z | | lim |z z =?, lim z =?

2

+1 lim z z 6 +1 =?
2

z +1 =? lim z z+ 2 1
3

Hatrozza meg f (0)-t.

1.29 Feladat. Legyen

f mindenhol folytonos s f (z ) =

z Re(z ) |z |

, ha z = 0.

Emlts szinten kitrnk a komplex fggvnysorokra. Adott D tartomnyon rtelmezett fn : D C fggvnyek esetn a fn fggvnysor
n=0 n=0

konvergens D-n, ha minden z D-re a

fn (z ) sor konvergens,

egyenletesen konvergens D-n, ha konvergens, sszegfggvnye f s minden > 0-hoz ltezik N , hogy minden m N -re s z D-re
m1

fn (z ) f (z ) =
n=0 n=m

fn (z ) < .

10

Akrcsak a vals esetben, komplexben is igaz, hogy folytonos fggvnyek egyenletesen konvergens sornak sszegfggvnye folytonos. Tovbb a Weierstrass Kritrium is igaz, vagyis ha fn egy fggvnysor, minden n-re |fn | an s a
n=0 n=0

an sor konvergens, akkor a fggvnysor egyenletesen konvergens.

11

12

2.

Dierencilhatsg

Komplex dierencilhatsg
Az alapfellls:
DC

egy tartomny s f : D C egy fggvny.

Ezt a tovbbiakban nem ktjk ki kln, mindig feltesszk.

2.1 Denci. Az f fggvny dierencilhat a z0 D pontban, ha ltezik a

lim
z0

f (z ) f (z0 ) C z z0

hatrrtk. Ekkor ezt f (z0 )-al jelljk. A D minden pontjban dierencilhat fggvnyeket D-n regulris vagy holomorf fggvnyeknek nevezzk, halmazukat O(D)-vel jelljk. A C minden pontjban dierencilhat fggvnyeket, vagyis O(C) elemeit egszfggvnyeknek nevezzk.
Pldul, ha n N, akkor az f (z ) = z n fggvny dierencilhat minden pontban s f (z ) = nz n1 . Ennek bizonytsa a vals eset sz szerinti trsa: Az n = 0 eset trivilis. Ha n > 0, akkor
f (z0 ) = lim
z0 n z n z0 n2 n1 n1 = lim(z n1 + z n2 z0 + + zz0 + z0 ) = nz0 . z0 z z0

2.2 llts. Ha f dierencilhat z0 -ban, akkor ott folytonos is.

Bizonyts. Mivel f (z ) = f (z0 ) + (f (z ) f (z0 )) = f (z0 ) + ezrt
lim f = f (z0 ) + lim
z0 z0 f (z )f (z0 ) (z z z0

z0 ),

f (z ) f (z0 ) (z z0 ) = z z0

f (z0 ) + lim
z0

f (z ) f (z0 ) lim(z z0 ) = f (z0 ) + f (z0 )0 = f (z0 ). z0 z z0

A kvetkez ttelt mutatja, hogy a dierencilsi szablyok ugyanazok, mint az egyvltozs vals esetben. A ttel bizonytsa most is a vals eset analgija, ezrt elhagyjuk.

2.3 Ttel. Ha f s g dierencilhat z0 -ban s c C, akkor cf , f g s f g is dierencilhat z0 -ban, s teljeslnek a kvetkezk

(cf ) (z0 ) = cf (z0 ), (f g ) (z0 ) = f (z0 ) g (z0 ), (f g ) (z0 ) = f (z0 )g (z0 ) + f (z0 )g (z0 ),

13

tovbb, ha g(z0 ) = 0, akkor

f g

f g

is dierencilhat z0 -ban s
f (z0 )g (z0 ) f (z0 )g (z0 ) . (g (z0 ))2

(z0 ) =

Ha g dierencilhat z0 -ban s f dierencilhat g(z0 )-ban, akkor f g is differencilhat z0 -ban s

(f g ) (z0 ) = f (g (z0 ))g (z0 ).

Az inverz fggvny dierencilhatsgra vonatkoz, a vals esettel analg komplex ttel:

2.4 Ttel. Ha az
f -nek

f : D C fggvny dierencilhat a z0 D pontban s ltezik inverze (vagyis f injektv), ami rtelmezve van egy f (z0 ) krli krlapon, tovbb f (z0 ) = 0 s f 1 folytonos f (z0 )-ban, akkor f 1 dierencilhat f (z0 )-ban s (f 1 ) (f (z0 )) = 1 . f (z0 )

Megjegyezzk, hogy a vals esetben szksges rengeteg felttel nagy rsze elhagyhat komplex esetben: Ha f regulris s injektv D-n, akkor f (D) is egy tartomny s f 1 regulris f (D)-n. Ennek a ttelnek a bizonytsa meglepen bonyolult, mi nem foglalkozunk vele. Felhasznlva, hogy z n regulris kapjuk, hogy minden komplex polinom, vagyis az
f (z ) = an z n + + a1 z + a0

alak fggvnyek (ai C) is regulrisak; s minden komplex racionlis trtfggvny:

f (z ) = an z n + + a1 z + a0 b m z m + + b1 z + b 0

is regulris rtelmezsi tartomnyn. Lssunk egy-kt pldt nem dierencilhat komplex fggvnyre: 1.) f (z ) = z sehol sem dierencilhat, mert
lim
z0

z z0 z z0 z = lim = lim . z0 z z0 0 z z z0

Korbban mr igazoltuk az tviteli Elv felhasznlsval, hogy ez a hatrrtk nem ltezik. Gondolkodhatunk msknt is: ttrve trigonometrikus alakra (polrkoordintkra) kapjuk, hogy tovbb egyenl
r 0

lim

r(cos() + i sin()) = lim cos(2) + i sin(2), r 0 r(cos + i sin )

ami nem ltezik. 2.) f (z ) = |z | sehol sem dierencilhat, mert 0-ban a vals irnybl x vals paramterrel:
lim
0

|z | |0| |x| = lim , x0 x z0

14

amirl tudjuk, hogy nem ltezik (jobbrl +1, balrl 1). A z0 = x0 + y0 i = 0ban vals irnybl (y = y0 ):
lim
z0

|z | |z0 | |(x + y0 i)| |x0 + y0 i| = lim = lim xx0 (x + y0 i) (x0 + y0 i) xx0 z z0

2+ x2 + y0 2 x2 0 + y0 -vel bvtve tovbb egyenl

2 2 x2 + y0 x2 0 + y0 , x x0

ami

xx0

lim

2 2 (x2 + y0 ) (x2 0 + y0 )

(x x0 )(

x2

2 y0

+
2 y0

x2 0 +

2) y0

= lim =

x + x0 x2 x0 x2 0
2 + y0 2+ + y0 2 x2 0 + y0

xx0

x0 + x0 x2 0 + x2 0 +
2 y0

Hasonlan meggondolhat, hogy kpzetes irnybl (x = x0 ):

lim
z0

|z | |z0 | |(x0 + yi)| |x0 + y0 i| y0 = lim = . 2 y y z z0 0 (x0 + yi) (x0 + y0 i) i x2 0 + y0

0 0 = y2 , teht |z | nem dierencilhat Ha x0 + iy0 = 0, akkor xx 2 +y 2 2 i x0 +y0 0 0 x0 + iy0 -ban.

Cauchy-Riemann egyenletek
Mit mondhatunk az u, v : D R vals fggvnyekrl, ha az f = u + iv : D C komplex fggvny dierencilhat egy z0 = x0 + y0 i pontban?
f (z0 ) = lim
z0

f (z ) f (z0 ) u(x, y ) + iv (x, y ) u(x0 , y0 ) iv (x0 , y0 ) = lim = z z0 x + iy x0 iy0 (x0 ,y0 ) u(x, y ) u(x0 , y0 ) + i(v (x, y ) v (x0 , y0 )) . x x0 + i(y y0 ) (x0 ,y0 ) lim

Ha y = y0 , vagyis a vals tengely irnybl:

f (z0 ) = lim
x0

v (x, y0 ) v (x0 , y0 ) u(x, y0 ) u(x0 , y0 ) +i = x x0 x x0

u(x, y0 ) u(x0 , y0 ) v (x, y0 ) v (x0 , y0 ) + i lim = ux (x0 , y0 ) + ivx (x0 , y0 ). x0 x0 x x0 x x0 Hasonlan, ha x = x0 , vagyis a kpzetes tengyely irnybl: lim f (z0 ) = iuy (x0 , y0 ) + vy (x0 , y0 ) = vy (x0 , y0 ) + i(uy (x0 , y0 )).

Ezt az szrevtelt fogalmazzuk meg ttel formjban is.

2.5 Ttel. Ha f

= u + iv : D C s f dierencilhat z0 D-ben, akkor u s v parcilisan dierencilhat a z0 -pontban s teljesl: f (z0 ) = ux (z0 ) + ivx (z0 ) = vy (z0 ) + i(uy (z0 )),

vagy mskppen
f (z0 ) = ux (z0 ) + i(uy (z0 )) = vy (z0 ) + ivx (z0 ).

15

A ttel mr mutatja, hogy mennyire specilis egy fggvny komplex dierencilhatsga, hiszen pldul egy pontbeli derivltja kifejezhet kln-kln mindkt koordinta-fggvnyvel. Tbbet is mondhatunk u s v dierencilhatsgrl.

2.6 Ttel. Ha f

dierencilhat z0 -ban.

= u + iv : D C

s f dierencilhat z0 -ban, akkor u s v

Bizonyts. Akrcsak az egyvltozs vals esetben, most is knnyen belthat, hogy egy f : D C fggvny dierencilhatsga egy z0 D pontban ekvivalens azzal, hogy ltezik egy rz0 : D C fggvny s egy A C (ez lesz f (z0 )), hogy minden z D-re
f (z ) = f (z0 ) + A(z z0 ) + rz0 (z ) s lim
z0 rz0 (z ) z z0
z0 = 0, vagyis lim |z z0 | = 0.

(z )

z0

Mskppen: ltezik egy A C, hogy

lim
z0

f (z ) (f (z0 ) + A(z z0 )) = 0. |z z0 |

Ha f = u + iv akkor az utolsba helyettestve (z0 = x0 + y0 i) kapjuk hogy

lim
z0

u(z ) + iv (z ) (u(z0 ) + iv (z0 ) + A(z z0 )) = |z z0 |

u(x, y ) + iv (x, y ) (u(x0 , y0 ) + iv (x0 , y0 ) + A((x x0 ) + (y y0 )i)) = 0. |(x x0 ) + (y y0 )i| (x0 ,y0 ) lim A = a + bi(= Re(f (z0 )) + Im(f (z0 ))i) jellssel: A((x x0 ) + (y y0 )i) = (a(x x0 ) b(y y0 )) + (a(y y0 ) + b(x x0 ))i = (a, b)(x x0 , y y0 ) + (b, a)(x x0 , y y0 )i,

ahol vektorok egyms mell rsa most termszetesen skalris szorzst jelent. A fenti limesz vals illetve kpzetes rsze:
lim
(x0 ,y0 )

u(x, y ) (u(x0 , y0 ) + (a, b)(x x0 , y y0 )) (x x0 )2 + (y y0 )2 v (x, y ) (v (x0 , y0 ) + (b, a)(x x0 , y y0 )) (x x0 )2 + (y y0 )2

= 0,

lim
(x0 ,y0 )

= 0,

vagyis u s v dierencilhatk z0 -ban. A 2.6 Ttel bizonytsbl persze ismt ltszik, hogy f (z0 ) = ux (z0 ) + i(uy (z0 )) = vy (z0 ) + i(vx (z0 )), hiszen f (z0 ) = a + bi jellssel a bizonyts vgbl grad u(z0 ) = (a, b) s grad v (z0 ) = (b, a).

2.7 Denci. Adott u, v : D R fggvnyek esetn azt mondjuk, hogy u s v kielgti a Cauchy-Riemann (CR) egyenleteket z0 D-ben, ha parcilisan dierencilhatk z0 -ban s eleget tesznek a kvetkez egyenleteknek:
ux (z0 ) = vy (z0 ), uy (z0 ) = vx (z0 ).

16

A 2.5 s a 2.6 Ttelek (vagy csak a 2.6 Ttel s a bizonytsa utni megjegyzs) egytt azt lltjk, hogy ha f = u + iv dierencilhat z0 -ban, akkor u s v is dierencilhatk z0 -ban s kielgtik a CR-egyenleteket z0 -ban. Ennek segtsgvel mr sok esetben knnyen meg tudjuk mutatni egy fggvnyrl, hogy nem dierencilhat egy pontban. Pldul: f (z ) = z esetn u(x, y ) = x s v (x, y ) = y , gy ux = 1 = 1 = vy , ezrt f egyetlen pontban sem dierencilhat. Mi a helyzet visszafel? Vagyis az, hogy u s v dierencilhatk s kielgtik a CR-egyenleteket egy pontban elg-e f dierencilhatsghoz az adott pontban? A vlasz igen, vagyis f adott pontbeli dierencilhatsgra szksges s elgsges felttelt kaptunk. Ennek bizonytsa egyszeren a 2.6 Ttel bizonytsnak "fordtott lersa".
f = u + iv : D C s z0 D. Ekkor pontosan akkor dierencilhat z0 -ban, ha u s v dierencilhatk z0 -ban s kielgtik a CR-egyenleteket z0 -ban. f

2.8 Ttel. (sszefoglal) Legyen

Felhasznlva a tbbvltozs vals analzisbl ismert elgsges felttelt pontbeli dierencilhatsgra, kapjuk a kvetkezt.
f = u + iv : D C, z0 D, z0 egy krnyezetben s v parcilisan dierencilhatk, z0 -ban a parcilis derivltjaik folytonosak, tovbb kielgtik a CR-egyenleteket z0 -ban, akkor f dierencilhat z0 -ban. u

2.9 Kvetkezmny. Ha

Lssunk egy pldt. Mely pontokban dierencilhat az f (z ) = z 2 z + z 2 fggvny?

f (x + yi) = (x yi)(x yi)(x + iy ) + (x2 y 2 + 2xyi) = (x yi)(x2 + y 2 )+(x2 y 2 +2xyi) = (x3 + xy 2 ) i(x2 y + y 3 )+(x2 y 2 +2xyi) = (x3 + x2 + xy 2 y 2 ) + i(y 3 x2 y + 2xy ).

Vilgos, hogy u s v mindenhol dierencilhat. ux = 3x2 + 2x + y 2 , uy = 2xy 2y , vx = 2xy + 2y s vy = 3y 2 x2 + 2x. ux = vy azt jelenti, hogy 3x2 + 2x + y 2 = 3y 2 x2 + 2x, amibl x2 = y 2 , vagyis x = y = 0; uy = vx azt jelenti, hogy 2xy 2y = 2xy 2y , ami azonossg. Kaptuk teht, hogy u s v a CR-egyenleteket csak 0-ban elgtik ki, gy f csak 0-ban dierencilhat. f sehol sem regulris, mert nincsen olyan tartomny, melynek minden pontjban dierencilhat.

2.10 Feladat. Bizonytsa be a CR-egyenletek segtsgvel, hogy az f (z ) = |z |

fggvny sehol sem dierencilhat.

2.11 Feladat. Hol dierencilhat az f (z ) = z |z | fggvny? 2.12 Feladat. Hol dierencilhat az f (z ) = z + i|z | fggvny?

A CR-egyenletek kvetkezmnyei
A kvetkez ttel jlismert a tbbvltozs vals analzisbl.
D R2 egy tartomny, u : D R grad u (0, 0), akkor u konstans D-n.

2.13 Ttel. Ha

dierencilhat D-n s

17

2.14 Ttel. Ha f O(D) s f

0,

akkor f konstans D-n.

Bizonyts. Mivel f = ux + ivx = vy + i(uy ), gy ux uy vx vy 0. Tovbb a 2.6 Ttel miatt u s v dierencilhat D-n, ezrt alkalmazva a 2.13 Ttelt kapjuk, hogy u s v konstans D-n, gy f is konstans D-n.

2.15 Kvetkezmny. Ha f = u + iv : D C, f O(D) s vagy u 0 (f tisztn kpzetes rtk) vagy v 0 (f vals rtk), akkor f konstans D-n.
Bizonyts. Csak az els lltst bizonytjuk, a msodik bizonytsa analg. Mivel u 0, ezrt ux uy 0, gy f = ux + i(uy ) 0. Alkalmazva a 2.14 Ttelt kapjuk az lltst.

2.16 Kvetkezmny. Ha f, f O(D), akkor f (s gy f is) konstans D-n.

Bizonyts. Mivel f + f = 2u s f f = 2iv, ezrt ezekre alkalmazva a 2.15 Kvetkezmnyt kapjuk, hogy u s v konstans D-n, gy f is az.
D-n.

2.17 Kvetkezmny. Ha f O(D) s |f | konstans D-n, akkor f is konstans

Bizonyts. Ha |f | 0, akkor f 0. Ha |f | c = 0, akkor mivel c2 |f |2 = 2 f f , ezrt f = c f is regulris D -n. Alkalmazva a 2.16 Kvetkezmnyt kapjuk az lltst.

18

3.

Hatvnysorok

Hatvnysorok alaptulajdonsgai
A komplex hatvnysorokat a valsak analgijra deniljuk. Ha an (n N) egy komplex sorozat s z0 C, akkor a

an (z z0 )n
n=0

fggvnysort z0 kzppont (komplex) hatvnysornak nevezzk. Ennek konvergenciasugara:

R= 1 lim sup
n

|an |

Ha z0 C s > 0, akkor (mint R2 -ben)

S (z0 , ) = {z C : |z z0 | < }

a z0 kzppont sugar nylt krlap illetve

B (z0 , ) = {z C : |z z0 | }

a z0 kzppont sugar zrt krlap a komplex skon. A kvetkez ttel a hatvnysorok valsbl megismert tulajdonsgainak komplex megfelelit foglalja ssze, bizonytsa analg vals megfeleljnek bizonytsval.

3.1 Ttel. Legyen

egy (komplex) hatvnysor, melynek konvergencia sugara R > 0. Ekkor teljeslnek a kvetkezk:
an (z z0 )n
n=0

abszolt konvergens az S (z0 , R) nylt krlapon (vagyis annak minden pontjban), minden kisebb S (z0 , r), 0 < r < R krlapon egyenletesen konvergens s a B (z0 , R) zrt krlapon kivl divergens. Vagyis ha K C a hatvnysor konvergencia halmaza, akkor S (z0 , R) K B (z0 , R).
an (z z0 )n
n=0

Az f (z ) = an (z z0 )n fggvny regulris az S (z0 , R) nylt krlapon s n=0 minden z S (z0 , R)-re

f (z ) =
n=1

an n(z z0 )n1 .

(Vagyis a hatvnysorokat tagonknt lehet derivlni.) Tovbb a derivlt hatvnysor konvergenciasugara megegyezik az eredeti hatvnysor konvergenciasugarval. Termszetesen ebbl azt is megkaptuk, hogy f tetszlegesen sokszor dierencilhat S (z0 , R)-en.

Minden n N-re an = f n(!z0 ) , gy ha egy fggvny egy nylt krlapon hatvnysorba fejthet (a krlapon egyenl egy hatvnysor sszegfggvnyvel), akkor a hatvnysor egytthati egyrtelmek.
(n)

19

Egyenlre mg nem lttunk pldt a vals esetben elfordul "kellemetlen" kivtelekre, vagyis pldul olyan fggvnyre, ami csak egyszer dierencilhat egy tartomnyon, vagy, br tetszleges sokszor derivlhat egy pont krl, mgsem fejthet hatvnysorba (vagy R = 0, vagy nem lltja el a fggvnyt a Taylor-sora). Ksbb ltni fogjuk, hogy ilyen pldk komplexben nincsenek is! Vagyis ha egy fggvny egy tartomnyon dierencilhat, akkor ott tetszleges sokszor is dierencilhat, s Taylor-sora a lehet legnagyobb krlapokon ellltja a fggvnyt. Hatrozza meg a kvetkez hatvnysorok kzppontjt s konvergenciasugart, tovbb adjon meg egy pontot a konvergenciakr hatrn, melyben a hatvnysor divergens.

3.2 Feladat. 3.3 Feladat. 3.4 Feladat.

n=0 n=0 n=0

in (z i)n .
n3 (z +1i)n n!

. .

zn (1i)(12i)(1ni)

Az exp s log fggvnyek

Els s egyik legfontosabb pldnk:
exp(z ) = zn . n! n=0

Ennek a hatvnysornak a konvergenciasugara:

R= 1 lim sup
n

= lim
1 n!

n! = +,

vagyis exp egy egszfggvny, exp O(C). sszefoglaljuk ennek a fggvnynek a tulajdonsgait.

3.5 Ttel. Az exp fggvnyre teljeslnek a kvetkezk:

(a) x R C exp(x) = ex , (b) exp = exp, (c) z1 , z2 C exp(z1 + z2 ) = exp(z1 ) exp(z2 ), (d) x, y R exp(x + yi) = ex (cos(y ) + i sin(y )), (e) exp 2i szerint periodikus (s ez a "legkisebb" peridus), vagyis
z, w C (exp(z ) = exp(w) k Z z w = k 2i),

(f) z C exp(z ) = 0. 20

Bizonyts. (a): Trivilis, hiszen a komplex mveletek vals szmokra a szoksos vals eredmnyt adjk, s egy vals sorozat hatrrtke komplex rtelemben ugyanaz a szm mint vals rtelemben. (b): A 3.1 Ttel szerint

exp (z ) =
n=1

z n1 z n1 zn = = = exp(z ). n! (n 1)! n=0 n! n=1

(c): Fix a C-re legyen f (z ) = exp(z ) exp(a z ) egszfggvny. Ekkor

f (z ) = exp (z ) exp(a z ) + exp(z ) exp (a z )(1) = exp(z ) exp(a z ) exp(z ) exp(a z ) = 0,

gy a 2.14 Ttel szerint f c C. Mi ez a konstans? c = f (0) = exp(0) exp(a) = exp(a). Igy minden a, z C-re exp(z ) exp(a z ) = exp(a). Alkalmazzunk ezt az a = z1 + z2 , z = z1 vlasztssal:
exp(z1 ) exp((z1 + z2 ) z1 ) = exp(z1 + z2 ),

vagyis exp(z1 ) exp(z2 ) = exp(z1 + z2 ). (d): Alkalmazzuk (a)-t s (c)-t:

exp(x+yi) = exp(x) exp(yi) = ex

(yi)n = ex n ! n=0

i2n y 2n i2n+1 y 2n+1 + (2n)! n=0 (2n + 1)! n=0

y 2n+1 y 2n +i (1)n = ex (cos(y ) + i sin(y )). (1) (2 n )! (2 n + 1)! n=0 n=0

n

(e): Alkalmazzuk (d)-t: ha z = x1 + iy1 s w = x2 + iy2 , akkor

exp(z ) = exp(w) ex1 (cos(y1 ) + i sin(y1 )) = ex2 (cos(y2 ) + i sin(y2 )).

Teht exp(z ) = exp(w) pontosan akkor, ha ex1 = ex2 s ltezik k Z, hogy y1 = y2 + k 2 , azaz ha x1 = x2 s ltezik k Z, hogy y1 = y2 + k 2 . Mskppen: k Z z w = k 2i. (f): Trivilis (d)-bl: ex = 0 s cos(y ) + i sin(y ) = 0 (a cos s a sin egyszerre sehol sem 0). Mostantl ltalban exp(z ) helyett a termszetesebb ez jellst hasznljuk komplex szmok esetn is, ami a 3.5 Ttel (a) pontja szerint nem okoz flrertst. Az ei + 1 = 0 illusztris egyenlet a 3.5 Ttel (d) pontjnak trivilis kvetkezmnye.

3.6 Ttel. Legyen E = {z C : Im(z ) < }. Ekkor az

exp E : E C

fggvny bijekci E s C\{0} kztt, vagyis minden w C\{0}-hoz ltezik egyetlen z E , hogy exp(z ) = w.

21

Bizonyts. Mivel E -ben nincsen z = w, amikre z w = k2i valamely k Zvel, ezrt az injektvitst a 3.5 Ttel (e) pontjbl kapjuk. A 3.5 Ttel (f) pontja szerint exp(z ) = 0 egyetlen z -re sem. Mr csak azt kell beltnunk, hogy a fggvny szrjektv. Legyen w C\{0} tetszleges. Deniljuk w argumentumt:
arg(w) [, ) s w = |w|(cos(arg(w)) + i sin(arg(w))).

Legyen log(w) = ln(|w|) + i arg(w) E a w logaritmusa. Ekkor

exp(log(w)) = eln(|w|) (cos(arg(w)) + i sin(arg(w))) = |w|(cos(arg(w)) + i sin(arg(w))) = w.

Vizsgljuk meg a 3.6 Ttel bizonytsa sorn denilt

log : C\{0} C

logaritmus fggvnyt. Jellje R (R 0 ) a 0-nl kisebb (egyenl) vals szmok halmazt.

3.7 Ttel. A log fggvny folytonos C\R 0 -en, de nem folytonos a negatv vals
szmokban, vagyis R pontjaiban. Bizonyts. Legyen w C\R 0 s > 0 tetszleges. Tallnunk kell egy > 0-t, hogy s S (w, )\{0} log(s) S (log(w), ). Legyen 1 > 0 olyan, hogy
(ln(|w|) 1 , ln(|w|) + 1 ) (arg(w) 1 , arg(w) + 1 ) S (log(w), ).

Ilyet 1 -et knnyen tallhatunk, egyszeren arrl van szl, hogy egy log(w) kzep krlap tartalmaz log(w) kzep ngyzetet. Az ln fggvny |w|-beli folytonossga miatt ltezik egy 1 > 0, hogy
r > 0 (||w| r| < 1 | ln(|w|) ln(r)| < 1 ).

Legyen
S = {s C\{0} : ||w| |s|| < 1 s | arg(w) arg(s)| < 1 },

egy w krli krgyr-szelet. Vilgos, hogy minden s S -re log(s) S (log(w), ), vagyis log(S ) S (log(w), ). Legyen > 0, olyan hogy S (w, ) S . Ekkor megfelel, vagyis log folytonos w-ben. 1 1 Ha r R , akkor legyen an = |r|(cos( n )+ i sin( n )) s bn = |r|(cos( + 1 1 n ) + i sin( + n )). Vilgos, hogy an r s bn r . Azonban
log(an ) = ln(|r|) + i log(bn ) = ln(|r|) + i + 1 ln(|r|) + i, n

1 ln(|r|) + i( ), n vagyis az tviteli Elv miatt a log fggvny nem folytonos R pontjaiban.

22

A 2.4 Ttel alkalmazsaknt kapjuk a kvetkezt.

3.8 Ttel. A
regulris

C \R 0

fggvny dierencilhat C\R 0 minden pontjban, vagyis -n s minden w C\R 0 -re

log log (w) = 1 elog(w) = 1 . w

Most mr denilhatjuk a komplex hatvnyozst is. Ha w C\{0} s z C, akkor legyen

wz = ez log(w) .

Pldul: 1.) (1)i = ei log(1) = ei(ln(1)+i) = ei 2.) ii = ei log(i) = ei(ln(1)+i 2 ) = ei

2 2 2

= e .

= e 2 .

Trigonometrikus s hiperbolikus fggvnyek

Tovbbi pldkat adunk hatvnysorokra. A vals eset analgijra legyenek:

sin(z ) =
n=0

(1)n

z 2n+1 , (2n + 1)! z 2n . (2n)!

cos(z ) =
n=0

(1)n

Jellsnk nem zavar, ugyanis vals z -kre a szoksos sin illetve cos fggvnyeket kapjuk. Akrcsak valsban, mindkt hatvnysor konvergencia sugara +, gy sin s cos egszfggvnyek.

3.9 llts.

sin = cos

s cos = sin.
z 2n z 2n = (1)n = cos(z ). (2n + 1)! n=0 (2n)!
1 iz s cos(z ) = 2 (e + eiz ).

Bizonyts. A 3.1 Ttel felhasznlsval:

sin (z ) =
n=0

(1)n (2n + 1)

A llts msik fele teljesen hasonlan bizonythat.

3.10 llts.

sin(z ) =

1 iz 2i (e

eiz )

Bizonyts. Most is csak az llts els felt bizonytjuk, a msodik bizonytsa teljesen hasonl.
1 iz 1 (e eiz ) = 2i 2i

(iz )n (iz )n n! n! n=0 n=0

1 (iz )n (iz )n = 2i n=0 n!

1 zn 1 z 2n+1 z 2n+1 (in (1 (1)n )) = 2i2n+1 = i2n 2i n=0 n! 2i n=0 (2n + 1)! n=0 (2n + 1)!

=
n=0

(1)n

z 2n+1 = sin(z ). (2n + 1)!

23

3.11 Kvetkezmny. (Euler Ttel) eiz = cos(z ) + i sin(z ).

A 3.10 llts segtsgvel mr knnyen igazolhatk a valsbl megismert trigonometrikus sszefggsek komplexben, pldul:
sin(z w) = sin(z ) cos(w) sin(w) cos(z ), cos(z w) = cos(z ) cos(w) sin(z ) sin(w), sin2 (z ) + cos2 (z ) = 1.

3.12 Feladat. Bizonytsa be ezeket az sszefggseket.

Ksbb ltni fogjuk, hogy az ehhez hasonl azonossgok megmaradshoz nincs is szksg a komplexre kiterjesztett vals fggvny mlyebb ismeretre, azonnal addik az 5.18 Unicits Ttel illetve a Permanencia Elv alkalmazsval. A 3.10 lltbl azt is megkaptuk, hogy sin s cos fggvnyek 2 szerint periodikusak, ugyanis az ez fggvny 2i szerint periodikus, gy eiz 2 szerint. Ez termszetesen a legkisebb periodus is, mert valsban ez volt a legkisebb. Ezeknek a fggvnyeknek csak vals gykei vannak, ugyanis a 3.10 llts s a 3.5 Ttel (e) rsznek alkalmazsval pldul a sin esetben:
sin(z ) = 0 eiz = eiz k Z iz (iz ) = k 2i k Z z = k .

Mg tovbbi kt fggvnyt denilunk. A komplex hiperbolikus fggvnyek:

sh(z ) = 1 z (e ez ), 2 1 z (e + ez ). 2

ch(z ) =

Ismt ltszik, hogy vals szmokra az eredeti, vals hiperbolikus fggvnyeket kapjuk. Az azonossgok most is igazak maradnak, pldul:
sh(z ) = sh(z ), ch(z ) = ch(z ) vagy ch2 (z ) sh2 (z ) = 1.

A 3.10 llts segtsgvel knnyen ellenrizhet a kvetkez llts.

3.13 llts. Minden z C-re teljeslnek a kvetkezk:

sh(iz ) = i sin(z ) ch(iz ) = cos(z )

illetve sin(iz ) = i sh(z ),

illetve cos(iz ) = ch(z ).

3.14 Feladat. Bizonytsa be a 3.13 lltst. 3.15 Feladat. Oldja meg a sin(z ) + cos(z ) = 0 egyenletet.

24

4.

Vonalintegrl

Grbk a komplex skon

A komplex sk grbi termszetesen megfelelnek a vals sk grbinek. Ha a < b R s : [a, b] C, akkor = x + iy alakba rhat, ahol x, y : [a, b] R, vagyis minden t [a, b]-re (t) = x(t) + iy (t). Ez a grbe megfelel a = (x, y ) skgrbnek. Minden grbrl feltesszk, hogy folytonos, vagyis komplex megfogalmazsban:
t [a, b] > 0 > 0 s [a, b] (|t s| < | (t) (s)| < ).

Mivel egy korltos zrt halmazon rtelmezett folytonos fggvny, ezrt a Heine Ttel szerint egyenletesen folytonos, vagyis
> 0 > 0 s, t [a, b] (|t s| < | (t) (s)| < ).

Egy = x + iy : [a, b] C grbe

zrt, ha (a) = (b); egyszer, ha nem metszi t magt, legfeljebb a vgpontok kpe azonos; dierencilhat t0 [a, b]-ben, ha vals rtelemben dierencilhat t0 -ban (komplexben a fogalom rtelmetlen!), vagyis x s y is dierencilhat t0 ban.
(t0 ) = x (t0 ) + iy (t0 )

Ha = x + iy dierencilhat t0 -ban akkor derivltjra a komplex jellst fogjuk hasznlni. Fontos lesz mg a grbk irnytsa. Ha : [a, b] C, akkor
: [a, b] C, (t) = (a + b t)

a fordtott irnyts grbe. A flrertsek elkerlse vgett igyeksznk nem hasznlni -ra a egybknt bevett jellst. Termszetesen ms mdon is megadhatunk grbket. Pldul polrkoordints alakban: (t) = r(t)ei(t) (vals jellssel: = (r, )). Vgezetl kimondjuk a hres Jordan Ttelt, ami azt "kzenfekv" s "szemlletes" tnyt lltja, hogy egy folytonos egyszer zrt grbe kt rszre osztja a skot. Bizonytsa rendkvl nehz, messze meghaladja jegyzetnk kereteit.

4.1 Ttel. (Jordan Ttele) Ha

2

egy folytonos egyszer zrt grbe, akkor R \ ran( ) kt diszjunkt tartomny unija. Ezek kzl a korltosat nevezzk a grbe belsejnek, a nem korltosat a grbe klsejnek.
: [a, b] R2

Komplex grbementi integrl

Emlkeztetnk a vals integrl als-, fels kzelt sszeg nlkli dencijra. Az [a, b] intervallum egy felosztsn szoks szerint egy a = t0 < < tn = b vges sorozatot rtnk; ez nomabb, mint , ha
k = 1, . . . , n |tk tk1 | < .

25

A t0 < < tn felosztsra illeszked sorozaton egy

k [tk1 , tk ] (k = 1, . . . , n)

sorozatot rtnk. b Ha a < b R s g : [a, b] R, akkor g integrlhat [a, b]-n s a g = I , ha minden > 0-hoz ltezik > 0, hogy minden -nl nomabb a = t0 < t1 < < tn = b feloszts s r illeszked k (k = 1 . . . , n) sorozat esetn
n

I
k=1

g (k )(tk tk1 ) < .

ltalnostsuk ezt a fogalmat komplexben:

4.2 Denci. Ha a < b R s g : [a, b] C, akkor g integrlhat [a, b]-n s

b a

esetn

g = I C, ha minden > 0-hoz ltezik > 0, hogy minden -nl nomabb a = t0 < t1 < < tn = b feloszts s r illeszked k (k = 1 . . . , n) sorozat
n

I
k=1

g (k )(tk tk1 ) < .

A kvetkez ttel bizonytsa a szoksos "minden kr tartalmaz tglalapot, illetve minden tglalap tartalmaz krt" gondolatmenetet hasznlja.

4.3 Ttel. Legyen a < b R s g : [a, b] C, g = u + iv. g pontosan akkor integrlhat [a, b]-n, ha u s v is integrlhat [a, b]-n, s ekkor
b b b

g=
a a

u+i
a

v.

4.4 Feladat . Bizonytsa be az 4.3 Ttelt.

Az ltalnosts kvetkez lpse, hogy nem egy vals intervellumon, hanem egy komplex grbn integrlunk. Ehhez emlkeztetnk egy grbe felosztsnak nomsgra.
: [a, b] C egy grbe, akkor az a = t0 < . . . tn = b feloszts -n nomabb -nl, ha minden k = 1, . . . , n-re [tk1 , tk ] lefedhet egy tmrj nylt krlappal. 4.6 Denci. Ha a < b R, : [a, b] D egy grbe s f : D C, akkor f integrlhat -n s f = f (z )dz = I C, ha minden > 0-hoz ltezik > 0, hogy minden -n -nl nomabb a = t0 < t1 < < tn = b feloszts s r illeszked k (k = 1 . . . , n) sorozat esetn
n

4.5 Denci. Ha

I
k=1

f ( (k ))( (tk ) (tk1 )) < .

Termszetesen nem kell, hogy f egy D tartomnyon legyen rtelmezve, elg, hogy ran( )-n rtelmezett. A konkrt esetekben azonban mindig egy tartomnyon rtelmezett fggvny s egy a tartomnyban halad grbe lesz megadva. Igy valban ltalnostst kaptunk, hiszen vlaszthat az [a, b] intervallum identitsnak ( : [a, b] [a, b] C, (t) = t). Hogyan szmoljunk ki egy ilyen integrlt? Mostantl minden : [a, b] C grbrl a folytonossg mellett feltesszk mg, hogy 26

szakaszonknt folytonosan dierencilhat,

vagyis ltezik a = t0 < < tn = b feloszts, hogy minden k = 1, . . . , n-re folytonosan dierencilhat [tk1 , tk ]-n (vgpontokban egyoldalrl). Ismert, hogy ekkor rektiklhat s vhossza
b b

| | =
a

| | =
a

(x )2 + (y )2 ,

ahol = x + iy . A kvetkez ttel segtsgvel mr knnyen kiszmolhatunk vonalintegrlokat. Bizonytsa teljesen hasonl a vals vonalintegrlra vonatkoz megfelelje bizonytshoz, gy elhagyjuk.
f 4.7 Ttel. Ha [a, b] D C s f folytonos D-n, akkor ltezik b

f=
a

f ( (t)) (t)dt.

Lssunk egy pldt. Legyen r > 0, : [0, 2 ] C, (t) = r(cos(t) + i sin(t)) az orig kzppont r sugar krvonal egy paramterezse s f : C\{0} C, 1 . Ekkor f (z ) = z
2

f=
2 0 0

1 r( sin(t) + i cos(t))dt = r(cos(t) + i sin(t))

2 2 2

sin(t) + i cos(t) dt = cos(t) + i sin(t)

idt =
0 0

0dt + i
0

1dt = 2i.

Teljesen hasonlan ellenrizhet, hogy ha w C, r > 0 s : [0, 2 ] C, (t) = w + r cos(t) + ir sin(t) az w kzppont r sugar krvonal egy paramterezse, 1 akkor z w dz = 2i. Ksbb ltni fogjuk, hogy bizonyos rtelemben ez a legfontosabb konkrt integrl. A 4.7 Ttel segtsgvel szmtsa ki a kvetkez integrlokat:

4.8 Feladat. 4.9 Feladat.

a [0, 1 + i] szakasz egy paramterezse, f (z ) = Re(z ). a |z | = 2 kr egy paramterezse, f (z ) =

z +2 z

Az integrl tulajdonsgai
Mennyire fgg az integrl a grbe paramterezstl?

folytonos D-n s : [c, d] [a, b] egy tparamterezs, vagyis egy folytonosan dierencilhat szogoran monoton fggvny, amire (c) = a s (d) = b. Lerajzolva:
f

4.10 Ttel. Legyen

[a, b] D C, f

[a, b] D [c, d] [c, d] f=

Ekkor
f.

27

Bizonyts.
b d

=
a

f ( (t)) (t)dt =
c d c

f ( ((s))) ((s)) (s)ds =

)(s)ds = f (( )(s))(

f.

Ahol az els s utols egyenlsget a 4.7 Ttel adja. A msodik egyenlsget a t = (s) vals helyettestses integrl egyszerre a vals s a kpzetes rszben. )(s) = A harmadik egyenlsget pedig a ( ((s)) (s) kplet (sszetett fggvny diererencilsa).
f 4.11 Ttel. Ha [a, b] D C s f folytonos D-n, akkor

f =

f.

Bizonyts. A 4.10 Ttel bizonytst mdostjuk egy kicsit. Most : [a, b] [a, b], (s) = a + b s.
b a

=
a b a

f ( (t)) (t)dt =
b b a

f ( ((s))) ((s)) (s)ds =

f ( (s)) (s)ds =

f ( (s)) (s)ds =

f.

Ahol els s utols egyenlsget a 4.7 Ttel adja. A msodik egyenlsget a t = (s) vals helyettestses integrl egyszerre a vals s a kpzetes rszben. A )(s) = harmadik egyenlsget a (s) = ( ((s)) (s) kplet. A negyedik b egyenlsget pedig a vals integrlra vonatkoz ba = a kplet alkalmazsa egyszerre a vals s a kpzetes rszben. Ha 1 : [a, b] C, 2 : [b, c] C s 1 (b) = 2 (b), akkor az 1 2 -vel jelljk, vagyis ha = 1 2 : [a, c] C, akkor
(t) = 1 (t), ha t [a, b] 2 (t), ha t (b, c]

sszefzsket

A kvetkez ttel trivilis a dencikbl.

4.12 Ttel. Ha
folytonos, akkor

1 : [a, b] D, 2 : [b, c] D, 1 (b) = 2 (b) f=

1 2 1

s f : D C

f+
2

f.

A kvetkez ttel, akrcsak vals megfelelje knnyen belthat akr a 4.6 Denci alapjn kzvetlenl is vagy mg egyszerbben a 4.7 Ttel felhasznlsval.

28

4.13 Ttel. Legyen : [a, b] D. Ekkor a D-n rtelemezett folytonos fggvnyek C (D) vektortern
: C (D) C, f

egy lineris lekpezs (funkcionl), vagyis minden f1 , f2 C (D) s c1 , c2 C esetn

(c1 f1 + c2 f2 ) = c1

f1 + c2

f2 .

Akrcsak a vals vonalintegrl esetn, most is becslhetjk az integrl abszolt rtkt.

(ran( )-n), akkor

f 4.14 Ttel. Ha [a, b] D C, f folytonos D-n s |f | M a grbe pontjaiban

f M | |.

Bizonyts. Ha a = t0 < t1 < < tn = b az intervallum egy felosztsa s k (k = 1 . . . , n) egy r illeszked sorozat, akkor
n n

f ( (k ))( (tk ) (tk1 ))

k=1 n k=1

|f ( (k ))|| (tk ) (tk1 )|

M
k=1

| (tk ) (tk1 )| M | |,

ha a feloszts nomodik. Preczebben: Legyen > 0 x. Ltezik > 0, hogy minden -n -nl nomabb a = t0 < < tn = b feloszts esetn
n

f
k=1

f ( (k ))( (tk ) (tk1 )) < .

Mivel egyenletesen folytonos, ezrt ltezik > 0, hogy ha egy tk feloszts nomabb -nl, akkor -n nomabb -nl. Feltehet, hogy -t olyan kicsinek vlasztottuk, hogy minden -nl nomabb tk felosztsra
n

| |
k=1

| (tk ) (tk1 )| < .

Ekkor alkalmazva a fenti egyenltlensget:

n n

f <
k=1

f ( (k ))( (tk ) (tk1 )) M

k=1

| (tk ) (tk1 )| < M (| |+ ),

amibl M | |.

f < M | | + (M + 1) . Mivel

tetszleges volt, ezrt

29

4.15 Kvetkezmny. Adott D tartomnyon rtelmezett folytonos fggvnyekbl ll egyenletesen konvergens fn fggvnysor s D-ben halad grbe n=0 esetn:
fn =
n=0 n=0

fn . > 0 x. Vlasszunk egy N -et, hogy

Bizonyts. Legyen f =

n=0

fn s legyen
n=m

minden m N -re s z D-re

fn (z ) <

legyen. Legyen m N . Ekkor

fn =
n=0

f0 +

f1 + +

fm1 +
n=m n=m

fn .

Alkalmazva a 4.14 becslst az utols tagra > 0-hoz ltezik N , hogy minden m N -re
m1

fn | |. Teht minden

fn
n=0 n=0

fn

=
n=m

fn | |,

vagyis

m1

fn = lim
n=0

fn =
n=0 n=0

fn .

Beltjuk mg, hogy a Newton-Leibniz Formula megfelelje is igaz marad komplex esetben.

4.16 Ttel. (Newton-Leibniz Formula) Ha

folytonos D-n, akkor

: [a, b] D, F O(D)

s F

F = F ( (b)) F ( (a)).

Bizonyts. Legyen : [a, b] C, (t) = F ( (t)). Ekkor hogyan fejezhetnnk ki t? Nem hivatkozhatunk az sszetett fggvny derivlsi szablyra, hiszen F et komplex rtelemben derivltuk, nem valsban, mint -t s -t. A lncszably mgis igaz marad! Vagyis:
(t) = F ( (t)) (t).

Ezt nem ltjuk be (lsd a kvetkez feladatot). Alkalmazva ezt a lncszablyt a = x + iy jellssel:
b b b b

F =
a

F ( (t)) (t)dt =
a

(t)dt =
a

x +i
a

b y = [x]b a + i[y ]a =

x(b) x(a) + i(y (b) y (a)) = (b) (a) = F ( (b)) F ( (a)).

30

csak a vgpontoktl fgg, az ket sszekt grbtl fggetlen. Alkalmazza a CR-egyenleteket.)

Teht ha f : D C folytonos s ltezik primitv fggvnye vagyis egy F O(D), hogy F = f , akkor tetszleges D-ben halad grbn vett integrlja

4.17 Feladat . Bizonytsa be a 4.16 Ttelben emltett lncszablyt. (tlet:

Nzznk egy-kt pldt. 1.) Legyen f c C egy konstans fggvny s : [a, b] C, = x + iy egy tetszleges grbe. Ekkor a Newton-Leibniz Formula nlkl:
b b b b

f=
a

f ( (t)) (t)dt = c
a

(t)dt = c
a

x +i
a

b c([x]b a + i[y ]a ) = c(x(b) + iy (b) (x(a) + iy (a))) = c( (b) (a)).

A Newton-Leibniz alkalmazssval: Ha F (z ) = cz , akkor f = F , gy

f = F ( (b)) F ( (a)) = c (b) c (a).

2.) Legyen f (z ) = z 2 +1 s az [1, i] szakasz egy paramterezse. ( pldul vlaszthat a kvetkezkppen: : [0, 1] C, (t) = (1 t)1 + ti = (1 t) + it.) 3 f -nek ltezik primitv fggvnye F (z ) = z3 + z , gy
f=

F = F ( (1)) F ( (0)) = F (i) F (1) =

i3 1 4 2 + i ( + 1) = + i. 3 3 3 3 Specilisan, ha egy tetszleges : [a, b] C grbn integrlunk egy komplex polinomot, ez -t, sin(z )-t, cos(z )-t, sh(z )-t vagy ch(z )-t akkor az adott fggvny

primitv fggvnynek rtkt kell csak kiszmolnunk a grbe vgpontjaiban s ezt a kt rtket kivonunk egymsbl. n Egy f (z ) = ak (z wk )dk (ak , wk C, dk Z\{1}) alak fggvny
k=0

esetben is ez a helyzet, ha a grbe az rtelemzsi tartomnyban halad; pldul 1 i 3 f (z ) = (z i)2 z 5 + (1 i)(2 i + z ) esetben. 1 Ha f (z ) = z , akkor f tetszleges : [a, b] C\R 0 grbn vett integrljt a primitv fggvnye (log(z )) segtsgvel szmolhatjuk. A 4.16 Ttel kvetkezmnyekppen kapjuk a kvetkezt.

4.18 Kvetkezmny. Ha az f : D C folytonos fggvnynek ltezik primitv

fggvnye, akkor minden : [a, b] D zrt grbn vett integrlja eltnik, vagyis 0.

Teht az imnt emltett elemi fggvnyek vagy ltalban, primitv fggvnynyel rendelkez fggvnyek tetszleges az rtelmezsi tartumnyukban halad 1 zrt grbn vett integrlja eltnik. ( z rtelemzsi tartomnyt most C\R 0 -nak tekintjk). A kvetkez rszben a fordtott implikcit is beltjuk vagyis, hogy minden zrt grbn az integrl eltnse elg a primitv fggvny ltezshez. 31

Cauchy Integrlttele
4.19 Ttel. Ha f : D C folytonos s tetszleges D-ben halad grbn vett integrlja csak a vgpontoktl fgg, akkor f -nek ltezik primitv fggvnye.
Bizonyts. Legyen z0 D x. Ekkor az ttl val fggetlensg miatt minden z D-re rtelmes a kvetkez jells:
z

F (z ) =
z0

f,

vagyis tetszleges z0 -t s z -t sszekt grbn (egy tartomny tsszefgg) integrlunk. Beltjuk, hogy F O(D) s F = f . Fix z -hez legyen S D egy z kzppont nylt krlap. Ekkor minden S re a [z, ] zrt szakasz D-ben fekszik. Ekkor az ttl val fggetlensg miatt
F ( ) =
[z, ]

f=

f+
[z, ]

f = F (z ) +
[z, ]

f,

vagyis
F ( ) F (z ) =
[z, ] [z, ]

f.

f -t trhatjuk a kvetkez alakba: f=

[z, ] [z, ]

f (s)ds =
[z, ]

f (z ) + (f (s) f (z ))ds =

f (z )ds +
[z, ] [z, ]

(f (s) f (z ))ds = f (z )(z ) +

[z, ]

f (s) f (z )ds,

ahol az utols egyenlsgben hasznltuk a konstans fggvny integrljra vonatkoz korbbi ismereteinket. Legyen
rz ( ) =
[z, ]

f (s) f (z )ds.

Fix > 0-hoz a fggvny z -beli folytonossga miatt ltezik > 0, hogy ha s D s |s z | < , akkor |f (s) f (z )| < . Ha | z | < , akkor minden s [z, ]-re |s z | < , gy az integrl abszolt rtkre vonatkoz becslsnk szerint (4.14 Ttel) ekkor
|rz ( )| =
[z, ]

f (s) f (z )ds | z |.
|rz ( ) | | z |

Vagyis minden > 0-hoz ltezik > 0, hogy ha 0 < | z | < , akkor gy
lim
z

rz ( ) = 0. z

Ez pont az F fggvny z -beli dierencilhatsgt jelenti s persze azt, hogy F (z ) = f (z ), hiszen minden S -re
( ) F ( ) = F (z ) + f (z )(z ) + rz ( ) s lim rz z = 0. z

32

sszefoglalva a 4.16 s a 4.19 Tteleket:

4.20 Kvetkezmny. (sszefoglal) Ha

vetkezk ekvivalensek:
(a) f -nek ltezik primitv fggvnye.

f :D C

folytonos, akkor a k-

(b) f tetszleges D-ben halad grbn vett integrlja csak a grbe vgpontjaitl

fgg.

(c) f tetszleges D-ben halad zrt grbn vett integrlja eltnik.

Bizonyts. Az (a) s (b) ekvivalencijt a 4.16 illetve a 4.19 Ttelek adjk. A (a)(c) implikcit a 4.18 Kvetkezmny adja. (c)(b): Legyen s kt azonos kezd- s vgpont D-ben halad grbe. Feltehet, hogy egymst kvet intervallumkon vannak rtelmezve: : [a, b] D, : [b, c] D, (a) = (b), (b) = (c). Ekkor a grbe zrt, gy
0=

f=

f+

f=

f.

1 4.21 Kvetkezmny. Az z fggvnynek nincsen C\{0}-n rtelmezett primitv

fggvnye.

Bizonyts. Mr belttuk, hogy f -nek egy a 0-t pozitv irnyban megkerl krn vett integrlja 2i = 0.
Termszetesen, ha egy tartomnyon rtelmezett fggvnynek van primitv fggvnye, akkor az a 2.14 Ttel miatt konstans hozzadsa erejig egyrtelm.

4.22 Megjegyzs. Ha D konvex, akkor a 4.19 Ttelben F (z ) denilshoz nincs szksgnk az ttl val fggetlensgre, hiszen integrlhatunk a [z0 , z ] szakaszon, csak azt hasznljuk, hogy
F ( ) =
[z, ]

vagyis, hogy az integrl eltnik a z0 , z, hromszgn. Teht konvex D esetn a 4.20 Kvetkezmny kiegszthet mg egy ekvivalens lltssal:
(d) f tetszleges D-beli hromszgvonalon vett integrlja eltnik.
f O(D),
f 4.23 Ttel. (Cauchy Integrlttele) Ha D konvex, [a, b] D C, zrt s

akkor

f = 0.

Bizonyts. Elg csak D-beli hromszgvonalra bizonytanunk, mert a 4.22 Megjegyzs szerint ez ekvivalens az integrl eltnsvel minden zrt grbn. Legyen T0 a hromszglap, ennek kerlete l0 s legyen 0 a hromszg hatrnak egy paramterezse. Legyen I = | f |. A hromszget 4 egybek vg kis hromszgre osztjuk: T0 , k = 1, 2, 3, 4, ezek hatrnak -val azonos
33

k irny paramterezse 0 . Ekkor a grbk ellenttes irnytsn val integrls eljelvltsa miatt a bels szakaszokon az integrlok kiesnek, gy 4

f=
k=1
k 0

f.

I k k Ekkor ltezik k, hogy | 0 k f | 4 . Legyen T1 = T0 s 1 = 0 . A ngyzetes 0 . arnyossg miatt tudjuk, hogy T1 kerlete l1 = l2 Folytatjuk az eljrst T1 -en. Kapjuk a Tn egymsba skatulyzott zrt hroml0 szglapok sorozatt, melyek kerlete ln = 2 n , a hatrukat paramterez n grbket, tovbb tudjuk, hogy

f
n

I . 4n
n=0

A Cantor-axima miatt ltezik (egyetlen) z0

Tn . Mivel f dierencilhat
rz0 (z ) z z0

z0 -ban, ezrt ltezik egy rz0 : D C fggvny, hogy f (z ) = f (z0 ) + f (z0 )(z z0 ) + rz0 (z ) s lim
z0

= 0.

Ekkor
f = f (z0 )
n n

dz + f (z0 )
n

(z z0 )dz +
n

rz0 (z )dz.

Mivel a konstans 1 s a z z0 fggvnyeknek van primitv fggvnye, ezrt a 4.20 Kvetkezmny szerint az els kt integrl 0. rz0 (z ) lim z > 0-hoz ltezik > 0, hogy 0 < |z z0 | < z0 = 0 szerint minden
z0
0 (z ) esetn rzz z0 < , vagyis |rz0 (z )| < |z z0 |. Mivel rz0 (z0 ) = 0, ezrt |z z0 | < esetn |rz0 (z )| |z z0 |. Fix > 0-hoz legyen > 0 megfelel. Ekkor ltezik n N, hogy Tn S (z0 , ), gy minden z Tn -re |z z0 | < , amibl |rz0 (z )| |z z0 |. Alkalmazva a trivilis |z z0 | < ln becslt Tn hatrn kapjuk, hogy ezekben a pontokban, vagyis ran(n )-en |rz0 | ln . Az integrl abszolt rtknek becslse szerint

I 4n

f =
n n

2 rz0 (z )dz ln =

2 l0 , 4n

amibl I

2 l0

minden > 0-ra, vagyis I = 0.

A 4.23 Ttel s a 4.20 Kvetkezmny felhasznlsval a kvetkez rdekes eredmnyt kaptuk.

4.24 Kvetkezmny. Ha D konvex s f O(D), akkor f -nek ltezik primitv fggvnye. Szksgnk lesz a Cauchy Integrlttel egy ltalnostsra is. 4.25 Ttel. Ha D konvex, z1 , . . . , zn D s f O(D\{z1 , . . . , zn }), tovbb minden k = 1, . . . , n-re lim f (z )(z zk ) = 0, akkor minden D\{z1 , . . . , zn }-beli zk zrt grbre
f = 0.

34

Bizonyts. Feltesszk, hogy n = 1, vagyis csak egy problms pont van: z0 . Tbb esetn a bizonyts analg. Mindenekeltt beltjuk, hogy ismt elg csak hromszgvonalra bizonytanunk a ttelt, mert abbl mr kvetkezik a primitv fggvny ltezse, gy az integrl minden zrt grbn eltnik. Mivel egy tartomny poligonsszefgg, ezrt 4.19 Ttel bizonytsban a primitv fggvny denilshoz elg feltennnk, hogy a tartomnyban halad poligonokon fggetlen az integrl a poligontl, csak a vgpontoktl fgg, vagyis, hogy zrt poligonon az integrl eltnik. Minden D\{z0 }-beli poligon triangullhat, vagyis feloszthat D-beli hromszgekre gy, hogy z0 -on nem megy t egyetlen szakasz sem. Ha hromszgekre igaz a ttel lltsa, akkor minden hromszget a poligon irnyitsval azonos mdon irnytva s az integrlokat sszeadva a poligonon vett integrlt kapjuk, ami ezek szerint 0 lesz. Legyen teht T egy hromszglap, hatrnak paramterezse . Feltehet, hogy z0 a T belsejben van, klnben alkalmazhat a 4.23 Cauchy Integrlttel. z0 kr rajzoljunk egy kis d oldal z0 kzppont ngyzetet, mely rsze T belsejnek. Ennek egy -val azonos irnyts paramterezse legyen . A hromszg s a ngyzet kztti rszt vges sok szakasz behzsval feloszthatjuk hromszgekre. A kapott kis hromszgeket -val azonos mdon irnytva paramterezzk el: 1 , 2 , . . . , k . Ezekre a grbkre alkalmazhat a 4.23 Ttel, vagyis f integrlja rajtuk 0. Ha sszeadjuk ezeket az integrlokat, akkor a behzott szakaszokon a fggvny integrlja a kt ellenttes irnyts miatt kiesik, a hromszg marad meg eredeti irnytsval s a ngyzet paramterezse ellenttes irnytssal. Kapjuk, hogy
f

f = 0.

A lim f (z )(z z0 ) = 0 feltevs szerint minden > 0-hoz ltezik > 0, hogy z0 0 < |z z0 | < esetn |f (z )(z z0 )| < , vagyis |f (z )| < |zz0 | . Vegyk szre, hogy az eddigiekben nem volt jelentsge d vlasztsnak, vagyis tetszlegesen kicsi d-re s hozz tartoz paramterezsre igaz, hogy f = f . Ha d < , akkor a ngyzet rsze S (z0 , )-nak, gy hatrnak minden z pontjra d 2 |z 2d 2 z0 | 2 < , gy |f (z )| < d = d . Alkalmazva az integrl abszolt rtknek 2 becslst
f

2 4d = 8 . d

Mivel ez minden > 0-ra igaz, ezrt

f = 0, gy

f = 0.

4.26 Denci. Ha
s-ben

: [a, b] C, n(, s) = 1 2i

zrt s s C\ ran( ), akkor indexe

1 dz. zs

A konkrt pldkbl ltszik, hogy informlisan: "a grbe n(, s)-szer kerli meg s-et, ha pozitv irnyban n-szer s negatv irnyaban k-szor, akkor n(, s) = n k ". Pldul ha s tetszleges s : [0, 2 ] C egy s krli krt pa1 ramterez, akkor z s dz = 2i, gy n(, s) = 1. Ha a krt fordtva paramte rezk, akkor n( , s) = 1. Az ltalunk vizsglt konkrt esetekben mindig 35

egy klasszikus egyszer zrt grbt paramterez pozitv irnyban, pldul krt, elipszist, trttvonalat stb. Ezekben az esetekben indexe bels pontjaiban 1, kls pontjaiban 0. Ha valaki gy rzi nem tud megbartkozni az index fogalmval s emiatt nem rti a ksbbi tteleket, akkor nyugodtan gondoljon tetszleges grbk helyett klasszikus egyszer zrt grbkre, akr egyszeren krkre. A kvetkez ttel az index nem preczen megfogalmazott, pontmegkerlst szmll tulajdonsgt rszben formalizlja. Bizonytsa elg technikai, ezrt elhagyjuk.

4.27 Ttel. Ha : [a, b] C s zrt, akkor

n(, ) : C\ ran( ) Z

egy egsz rtk fggvny, ami C\ ran( ) minden sszefgg rszhalmazn konstans s nemkorltos sszefgg halmazon 0.

4.28 Ttel. (Cauchy Formula) Ha

f O(D),

akkor minden

D konvex, [a, b] D C, s D\ ran( ) esetn

f

zrt s

n(, s)f (s) =

1 2i

f (z ) dz. zs

Bizonyts. Legyen g : D\{s} C,

g (z ) = f (z ) f (s) . zs

Ekkor f folytonossga miatt

lim g (z )(z s) = lim
s s

f (z ) f (s) (z s) = lim f (z ) f (s) = 0 s zs

Igy g -re teljesl a Cauchy Integrlttel 4.25 ltalnostsa, gy tetszleges D-beli s-et elkerl zrt grbre
g=

f (z ) f (s) dz = 0. zs f (z ) dz. zs
1 2i

Ezt trendezve:

f (s) dz = zs

Kielemve f (s)-et az els integrlbl s mindkt oldalt szorozva Cauchy Formult.

-vel kapjuk a

A Cauchy Formula sok esetben alkalmazhat konkrt integrlok kiszmtz) sra. Pldul: ha f (z ) = cos( s egy orig krli krvonal paramterezse, z akkor
f=

cos(z ) dz = 2in(, 0) cos(0) = z0

1 dz = 2i. z

A kvetkez ttel szemlletesen azt fejezi ki, hogy egy tartomny pontosan akkor 1-sszefgg, ha a benne halad grbk nem tudnak megkerlni tartomnyon kvli pontot. Bizonytsa igen nehz, ezrt elhagyjuk. 36

4.29 Ttel. Egy D tartomny pontosan akkor 1-sszefgg, ha minden D-ben

halad zrt grbre s s / D-re n(, s) = 0.
A kvetkez ttelt sem bizonytjuk.

4.30 Ttel. (ltalnos Cauchy Ttel) Ha 1 , . . . , n tetszleges zrt grbk egy

D

tartomnyban, amikre minden s / D esetn

n

f O(D)-re

k=1

n(k , s) = 0,

akkor minden

f = 0.
k=1 k

Most mr nem csak konvex tartomnyokra alkalmazhatjuk a 4.23 Cauchy Interglttelt.

akkor

4.31 Kvetkezmny. Ha D 1-sszefgg, f O(D) s egy D-beli zrt grbe,

f = 0.

primitv fggvnye.

4.32 Kvetkezmny. Ha

D 1-sszefgg

s f O(D), akkor f -nek ltezik

Bizonyts. 4.31 s 4.20 Kvetkezmny.

A konkrt pldkban teljesen vilgos, mit rtnk azon, hogy kt egyszer zrt grbe azonos vagy ellenttes irnyts. Preczen: 1 s 2 azonos irnyts, ha mindkettnek ugyanaz az indexe a bels pontjaiban.

4.33 Kvetkezmny. Ha 1 , 2 kt azonos irnyts egyszer zrt grbe, 2

a 1 belsejben halad, a D tartomny tartalmazza mindkt grbt s a kztk lv "gyrt", akkor minden f O(D)-re
f=
1 2

f.

Bizonyts. Kt bizonytst adunk: 1. Nem trivilisan, de belthat, hogy 1 s 2 kztt a "gyrben" hzhat 1 egy-egy pontjtl 2 egy-egy pontjhoz kt egyszer, egymstl s a vgpontoktl eltekintve 1 , 2 -tl is diszjunkt s grbe. s kezdpontjai 1 -et felosztjk a 10 , 11 grbkre, vgpontjaik 2 -t felosztjk a 20 , 21 grbkre. Ek kor a 10 20 illetve 11 21 zrt grbk D egy-egy 1-sszefgg rszben haladnak, gy a 4.31 Kvetkezmny szerint f integrlja rajtuk 0:
f=
10
20

f+
10

f+
20

f+

f = 0,

f=
11
21

f+
11

f+
21

f+

f = 0.

Ezeket sszeadva kapjuk a kvnt egyenlsget. 2. Ebben a bizonytsban felhasznljuk, az index emltett, nem preczen meg fogalmazott pontmegkerlst szmll tulajdonsgt. A 1 , 2 grbk kielgtik a 4.30 ltalnos Cauchy Ttel feltteleit, gy 1 f + 2 f f = 0, vagyis 1 f = 0. 2 37

, 1 , . . . , n egyszer azonos irnyts pronknt diszjunkt zrt grbk, s 1 , . . . , n a belsejben haladnak, tovbb a D tartomny tartalmazza a grbket s a belseje minusz a k -k belsejt (k = 1, . . . , n), akkor minden f O(D)-re
n

4.34 Kvetkezmny. Ha

f=
k=1 k

f.

Bizonyts. Most is kt bizonytst adhatunk. 1. A 4.33 Kvetkezmny mintjra bizonythat ez is, azonban az indexels elg bonyolult lenne rajz nlkl, gy elhagyjuk (lsd a gyakorlaton). 2. Most is felhasznljuk az index elfogadott szemlletes jelentst. A s a 1 , . . . , n grbk kielgtik a 4.30 Ttel feltteleit, gy
n

f+
k=1 k

f = 0,

vagyis

f=
k=1

f.

Kidolgozott pldk
Ebben a rszben kiszmolunk egy-kt konkrt integrlt a korbbi ttelek segtsgvel.
1 2 1.) f (z ) = sh(z ) + (z i)3 + i, : [1, 2] C, (t) = ln(t + 3t 1) + t i esetn mivel f -nek ltezik primitv fggvnye C\{i}-n:

F (z ) = ch(z )

1 + iz, 2(z i)2

gy az integrl csak a vgpontoktl fgg:

f=

ch( (2)) ch

1 1 + i (2) ch( (1)) + i (1) = 2( (2) i)2 2( (1) i)2

1 1 i + i i ch(i) + ii = 2 2( 2 i i)2 2 2(i i)2 cos 2 1 + cos( ) + = ... 2 ( 2)2 2 2( 1)2

1 ez , : [0, 2 ] C, (t) = 1 + 2 cos(t) + (3 + sin(t))i. Mivel 2.) f (z ) = z f regulris a C\R 0 1-sszefgg tartomnyon s ezen a tartomnyon bell halad zrt grbe, ezrt a 4.31 Kvetkezmny miatt f = 0.

Termszetesen, ha egy konvex (vagy ltalnosabban egy 1-sszefgg) tartomnyban halad zrt grbn integrlunk egy regulris fggvnyt, akkor persze ltezik a fggvnynek primitv fggvnye, de ezt nem kell meghatroznunk az integrl kiszmtshoz, hivatkozhatunk a 4.23 Cauchy Integrlttelre (vagy ltalnosan a 4.31 Kvetkezmnyre), vagyis az integrl 0. 38

)+e 3.) f (z ) = sh(zcos( , : [0, ] C, (t) = 1 + cos(2t) + (2 + sin(2t))i az z) 1 + 2i krli 1 sugar krvonal egy paramterezse. Mivel cos-nak csak vals gykei vannak, ezrt egy a grbt tartalmaz konvex halmazon, pldul egy nagyobb krlapon f regulris, ezrt a 4.23 Cauchy Integrlttel miatt f = 0.

sin(z )

4.) f (z ) = z2z 1 , : [0, 2 ] C, (t) = 2+2 cos(t)+ i2 sin(t) a 2 kzppont z 2 sugar krvonal egy paramterezse. Ekkor a g (z ) = z+1 fggvny regulris egy a krt tartalmaz konvex halmazon, gy a 4.28 Cauchy Formula szerint:
f=
z z +1

z1

1 g (z ) = 2in(, 1)g (1) = 2i 1 = i. z1 1+1

2

z )+sh(z ) 5.) f (z ) = i sin( , : [0, 2 ] C, (t) = 2 cos(t) + i2 sin(t) a z 2 2z +2 0 kzppont 2 sugar krvonal egy paramterezse. Ekkor z 2 2z + 2 = (z (1 + i))(z (1 i)) miatt a "problms" pontok 1 + i s 1 i s sajnos mindkett a krn bell van. Legyen 1 s 2 kt -val azonos irnyts 1+i-t illetve 1i-t megkerl diszjunkt krvonalak paramterezsei belsejben. A 4.34 Kvetkezmny szerint ekkor f = 1 f + 2 f . z 2 )+sh(z 2 ) z 2 )+sh(z 2 ) s g2 (z ) = i sin( , ekkor gi regulris a Legyen g1 (z ) = i sin( z (1i) z (1+i) i krvonal ltal meghatrozott krlap egy konvex krnyezetben (egy nagyobb krlapon). A 4.28 Cauchy Formula szerint ekkor i sin(z 2 )+sh(z 2 ) z (1i) 1 i sin(z 2 )+sh(z 2 ) z (1+i) 2

f=
1

f+
2

f=

z (1 + i)

z (1 i)

g1 (z ) + z (1 + i)

g2 (z ) = 2in(1 , 1+i)g1 (1+i)+2in(2 , 1i)g2 (1i). z (1 i)

Alkalmazva az i sin(z ) = sh(iz ) s sh(z ) = sh(z ) azonossgokat kapjuk, hogy tovbb egyenl
2i sh(i(1 + i)2 ) + sh((1 + i)2 ) sh(i(1 i)2 ) + sh((1 i)2 ) + = (1 + i) (1 i) (1 i) (1 + i) 2i

sh(2) + sh(2i) sh(2) + sh(2i) + = 2i 2i (sh(2) + sh(2i) sh(2) sh(2i)) = 2 (sh(2i) sh(2)).

Szmtsa ki az

f vonalintegrlokat, ahol

4.35 Feladat.
3z 2 + 2z .

az [1 + i, 2 i, 2 + i] trttvonal egy paramterezse, f (z ) = a |z 2 + i| = 1 krvonal egy paramterezse, f (z ) =

sh(z ) z +i
2

4.36 Feladat. 4.38 Feladat.

sin(z ) 4.37 Feladat. az i krli 3 2 sugar krvonal egy paramterezse, f (z ) = z +1 . i 1 az 1 2 + 2, 2 2z egy paramterezse, f (z ) = ze 3 1 . i 2

s 2 pontokat sszekt hromszgvonal

39

zse, f (z ) =

4.39 Feladat. 4.40 Feladat.

a |z + 1| =

4 3

krvonal egy paramterezse, f (z ) =

1 z (z 2 1)

1 z 4 1

az 0 kzppont 3 oldal ngyzet hatrnak egy paramtere-

Harmonikus fggvnyek
Egy D C tartomnyon adott u : D R fggvny mikor egy komplex dierencilhat fggvny vals rsze? Vagyis milyen u-khoz ltezik v : D R, hogy u + iv O(D)? Ez persze ugyanaz a krds, mint hogy milyen v -khez ltezik u, hogy u + iv O(D), ugyanis a CR-egyenletek miatt
u + iv O(D) v + iu O(D).

4.41 Feladat. Bizonytsa be ezt az ekvivalencit, s magyarzza meg, ez mirt elg az lltshoz.
Ha u-hoz ltezik v , hogy f = u + iv O(D), akkor mivel mint azt ksbb ltni fogjuk, f tetszlegesen sokszor is dierencilhat D-n, ezrt f = ux +ivx = vy + i(uy ) is dierencilhat gy a 2.6 Ttel szerint u s v parcilis derivltjai is dierencilhatk, specilisan lteznek a msodik parcilis derivltjaik. Persze azt is tudjuk, hogy u s v tetszlegesen sokszor dierencilhat D-n, s ezrt akrhanyadrend parcilis derivltjaik is lteznek s nem fggenek a parcilis derivls sorrendjtl (Young Ttel). Ekkor az f = ux + ivx -re vonatkoz els CR-egyenletbl uxx = (ux )x = (vx )y = vxy s az f = vy + i(uy )-re vonatkoz els CR-egyenletbl vyx = (vy )x = (uy )y = uyy , amibl
uxx + uyy 0.

Hasonlan vxx + vyy 0. Emlkeztetnk a Laplace-opertor dencijra: ha u (vals rtelemben) ktszer dierencilhat egy tartomnyon, vagyis dierencilhat s parcilis derivltfggvnyei is dierencilhatk, akkor
u = uxx + uyy .

4.42 Denci. Egy D R2 tartomnyon adott u : D R ktszer dierencilhat fggvny harmonikus, ha kielgti a u 0 Laplace-egyenletet.
Az eddigieket sszefoglalva kapjuk a kvetkezt.

4.43 llts. Ha f
harmonikus.

= u + vi : D C

s f O(D), akkor u (s persze v is)

A fordtott implikci nem igaz. Legyen u : D = R2 \{(0, 0)} R, u(x, y ) = ln(x2 + y 2 ). Ekkor knnyen ellenrizhet, hogy u tetszlegesen sokszor dierencilhat s u 0, vagyis u harmonikus. Indirekt tegyk fel, hogy v : C\{0} R s u + iv O(C\{0}). Legyen g : R R, g (t) = v (cos(t), sin(t)). Ekkor mivel g dierencilhat fggvnyek kompozcija, ezrt dierencilhat. Felhasznlva a Rolle Ttelt s, hogy g (0) = g (2 ) kapjuk, hogy ltezik (0, 2 ), hogy g ( ) = 0. A tbbvltozs sszetett fggvny dierencilsra vonatkoz lncszably alkalmazsval kapjuk, hogy minden t R-re
g (t) = (vx (cos(t), sin(t)), vy (cos(t), sin(t)))( sin(t), cos(t)),

40

ami a CR-egyenletek szerint tovbb egyenl

(uy (cos(t), sin(t)), ux (cos(t), sin(t)))( sin(t), cos(t)) = 2 sin2 (t) 2 cos2 (t) + = 2, 2 sin (t) + cos2 (t) sin (t) + cos2 (t)
2

ellentmonds. A kvetkez gyenge rtelemben a 4.43 lltsban igaz a fordtott implikci.

4.44 Ttel. Egy D C tartomnyon adott u : D R ktszer dierencilhat fggvny pontosan akkor harmonikus, ha D minden pontjnak van olyan krnyezete, amin megadhat egy komplex dierencilhat fggvny, aminek az adott krnyezetben u a vals rsze.
Bizonyts. Az elgsgessget a 4.43 lltsbl kapjuk. A szksgessghez azt ltjuk be, hogy a g = ux + i(uy ) fggvnynek van primitv fggvnye D minden pontjnak egy krnyezetben. A Laplace-egyenlet illetve a Young Ttel szerint uxx = uyy s uxy = uyx = (uyx ), gy ux s uy kielgtik a CR-egyenleteket D-n, gy g regulris D-n. A 4.24 Kvetkezmny szerint ekkor D minden pontjnak van olyan krnyezete, ahol g -nek van primitv fggvnye. Egy ilyen krnyezetben legyen f0 = U + iV a g egy primitv fggvnye: g = f0 = Ux + i(Uy ) = ux + i(uy ), gy Ux = ux s Uy = uy , vagyis az U s u dierencilhat fggvnyeknek megegyeznek a parcilis derivltjaik. Tudjuk, hogy ekkor ltezik c konstans, amivel U = u + c. Ekkor az adott krnyezetben f = f0 c a keresett dierencilhat fggvny, melynek a vals rsze u.
1-sszefgg tartomnyokon mr ekvivalens a kt fogalom.

4.45 Ttel. Egy D C 1-sszefgg tartomnyon adott u : D R fggvny pontosan akkor harmonikus, ha egy D-n rtelmezett regulris fggvny vals rsze.
Egy harmonikus fggvnyhez hogyan tallhat meg "kpzetes prja" (egy pont krnyeztben)? Ezt pldkkal illusztrljuk. A mdszer az egzakt dierencilegyenletek megoldsnak lemsolsa. 1.) Legyen u(x, y ) = x3 3xy 2 + 2y , D = C. Ekkor knnyen ellenrizhet, hogy u tetszlegesen sokszor dierencilhat minden pontban s u 0, vagyis u harmonikus. A 4.45 Ttel szerint ltezik v : C R, hogy u + iv O(C). Tudjuk, hogy vy (x, y ) = ux (x, y ) = 3x2 3y 2 , ezrt
v (x, y ) = 3x2 3y 2 dy = 3x2 y y 3 + c(x).

Alkalmazva a vx (x, y ) = uy (x, y ) = 6xy + 2 sszefggst, kapjuk hogy

(6xy 0 + c (x)) = 6xy + 2.

Ebbl c (x) = 2, gy c(x) = 2x + c, vagyis v (x, y ) = 3x2 y y 3 2x + c. 41

2.) Legyen u(x, y ) = ex cos(y ), D = C. Ekkor knnyen ellenrizhet, hogy u tetszlegesen sokszor dierencilhat minden pontban s u 0, vagyis u harmonikus. A 4.45 Ttel szerint ltezik v : C R, hogy u + iv O(C). Tudjuk, hogy vy (x, y ) = ux (x, y ) = ex cos(y ), ezrt
v (x, y ) = ex cos(y )dy = ex sin(y ) + c(x).

Alkalmazva a vx (x, y ) = uy (x, y ) = ex sin(y ) sszefggst, kapjuk hogy

(ex sin(y ) + c (x)) = ex sin(y ).

Ebbl c (x) = 0, gy c(x) = c, vagyis v (x, y ) = ex sin(y ) + c.

4.46 Feladat. Bizonytsa be az ebben a rszben szerepl hrom darab "knnyen

ellenrizhet" lltst. harmonikus fggvnyek kpzetes prjt. monikus fggvnyek vals prjt.

4.47 Feladat. Hatrozza meg az

u(x, y ) = x2 y 2 + xy s u(x, y ) =

x x2 +y 2

y har4.48 Feladat. Hatrozza meg a v(x, y) = 2y(x + 1) s v(x, y) = arctg x

42

5.

Hatvnysorba fejts
Taylor-sorok

Beltjuk a Hatvnysorok cm fejezetben emltett ttelt komplex fggvnyek hatvnysorba fejthetsgrl.

5.1 Ttel. Ha z0 C s f regulris az S (z0 , R) nylt krlapon, akkor ott elll

f (z ) =
n=0

an (z z0 )n

hatvnysor alakban, ahol ha egy z0 krli r < R sugar krvonal (pozitv irny) paramterezse, akkor minden n-re
an = 1 2i

f ( ) d. ( z0 )n+1

Bizonyts. Mivel minden z S (z0 , r)-ra n(, z ) = 1, ezrt a 4.28 Cauchy Formula szerint minden ilyen z -re
f (z ) = 1 2i

f ( ) d. z < 1, gy = (z z0 )n . ( z0 )n+1 n=0

Ha | z0 | = r s z S (z0 , r), akkor

z z0 z0

1 1 1 = = z z0 (z z0 ) ( z0 ) 1

z z0 z0

Ha z S (z0 , r) x, akkor

z z0 z0

|z z0 | r

= q < r, gy

n=0

1 1 (z z0 )n qn = = , ( z0 )n+1 r n=0 r(1 q )

amibl azt kapjuk, hogy a sor egyenletesen konvergens vltozjban, hiszen klnbz -kre egysgesen becslhet a sor sszegnek s szeleteinek klnbsgnek abszolt rtke:
(z z0 )n (z z0 )n = n +1 ( z0 ) ( z0 )n+1 n=0 n=0
N

n=N +1

(z z0 )n ( z0 )n+1

n=N +1

(z z0 )n 1 = ( z0 )n+1 r

qn =
n=N +1

q N +1 . r(1 q )

minden -re. Teht x z S (z0 , r)-re a 4.15 Kvetkezmny miatt felcserlhet az integrls s az sszegzs sorrendje:
f (z ) = 1 2i f ( ) 1 d = z 2i f ( )

(z z0 )n d = ( z0 )n+1 n=0

43

n=0

1 2i

f ( ) d (z z0 )n . ( z0 )n+1

Ezzel mg nem vagyunk kszen, hiszen x r-re az adott ellltst csak az S (z0 , r) krlapra lttuk be. Azonban a hatvnysor egytthatinak 3.1 Ttel szerinti egyrtelmsge vagy akr 4.33 Kvetkezmny szerint klnbz r-ekre az integrlok rtke azonos.

5.2 Kvetkezmny. Ha f O(D), akkor f tetszlegesen sokszor dierencilhat D-n. Bizonyts. Az 5.1 Ttel szerint D tetszleges z0 pontja krl f elll hatvnysor alakban, gy a 3.1 Ttel szerint ebben a krnyezetben f tetszlegesen sokszor dierencilhat.
Az 5.1 s a 3.1 Ttelekbl a hatvnysor egytthatinak egyrtelmsge miatt specilisan azt kaptuk, hogy ha az f fggvny regulris egy s pont krli krlapon s egy az s-et (a krlapon bell) pozitv irnyban megkerl krt paramterez, akkor minden n-re
f (n) (s) = n! 2i

f (z ) dz. (z s)n+1

Ez igaz ltalnosan is:

5.3 Ttel. (ltalnos Cauchy Formula) Ha D konvex (1-sszefgg), f O(D)

s egy D-ben halad zrt grbe, akkor minden s D\ ran( )-re
n(, s)f (n) (s) = n! 2i

f (z ) dz. (z s)n+1

Ennek a bizonytsa a 5.1 ttel rtelemszer mdostsval addik. Az ltalnos Cauchy Formula szintn jl alkalmazhat integrlok kiszmtsra. Pldul: s a |z i| = 3 2 krvonla egy paramterezse. g (z ) 2 2 z + 1 = (z i) (z + i) s a krbe csak az i esik a gykk kzl. f (z ) = (z i)2 , z 2 z e (z +i) e 2(z +i) ez ez z (z +i)2 ahol g (z ) = (z+i)2 . g (z ) = (z+i)2 = =e (z +i)4 (z +i)3 . Az ltalnos Cauchy Formulval vagy az eltte emltett specilis esetvel:
ez (z 2 +1)2 2

Legyen f (z ) =

f=

g (z ) 2i 2 i 2 + 2i dz = g ( i ) = ie = + i. (z i)2 2! 8i 4 4

Szmtsa ki az

f vonalintegrlokat, ahol

5.4 Feladat.
sh(z ) z 2 2iz 1

az 0 krli 2 sugar krvonal egy paramterezse, f (z ) = a |z 2| = 3 egyenlet kr egy paramterezse, f (z ) = a |z + 1| =

ez z 4 z 3

5.5 Feladat. 5.6 Feladat.

cos(z ) (z 2 z )(z 2 2iz 1)

3 2

egyenlet krvonal egy paramterezse, f (z ) =

44

Laurent-sorok
A hatvnysorok ltalnostsaknt kapjuk az gynevezett Laurent-sorokat: ha z0 C s an C (n Z), akkor a

an (z z0 )n
n=

kifejezst z0 krli Laurent-sornak nevezk. an (z z0 )n Laurent-sor konvergencijt egy z pontTermszetesen egy ban gy rtjk, hogy a
n= 1

an (z z0 )n =
n= n=1

an

1 (z z0 )n

s a

n=0

an (z z0 )n sor is konvergensek z -ben, sszegk a Laurent-sor sszege

Vizsgljuk meg, hogy ltalban egy ilyen alak sor hol konvergens s sszegfggvnye hol regulris.

z -ben.

5.7 Ttel. Adott

an (z z0 )n
n

n=

Laurent-sor esetn, ha
R2 = 1 lim sup
n

R1 = lim sup

|an | ,

|an |

akkor a Laurent-sor abszolt konvergens a {z C : R1 < |z z0 | < R2 } nylt krgyr pontjaiban, divergens a zrt krgyr komplementernek pontjaiban s a nylt krgyrn sszegfggvnye regulris. Ha R1 < r1 r2 < R2 , akkor a Laurent-sor egyenletesen konvergens a {z C : r1 |z z0 | r2 } zrt krgyrn. Bizonyts. Ha H (w) =
n=1

an wn s h(z ) =

n=0

an (z z0 )n , akkor

an (z z0 )n = H
n=

1 + h(z ). z z0

A H hatvnysor konvergenciasugara:
rH = 1 1 = . lim sup n an R1

1 Teht H abszolt konvergens az S 0, R nylt krlapon, divergens a zrt krlap 1 1 1 komplementern s sszegfggvnye regulris. z z0 S 0, R1 pontosan akkor, 1 1 1 ha z z0 < R1 , vagyis ha |z z0 | > R1 . Teht a H z z0 fggvny abszolt konvergens a {z C : |z z0 | > R1 } tartomnyon, divergens S (z0 , R1 )-en s sszegfggvnye regulris (az sszetett fggvny dierencilhatsga miatt). A h hatvnysor konvergenciasugara:

rh =

1 = R2 . lim sup n an

45

Teht h abszolt konvergens az S (z0 , R2 ) nylt krlapon, divergens a zrt krlap komplementern s sszegfggvnye regulris. Ezeket sszevetve a Laurent-sor abszolt konvergens a
{z C : |z z0 | > R1 } S (z0 , R2 ) = {z C : R1 < |z z0 | < R2 }

nylt krgyr pontjaiban, divergens a zrt krgyr komplementernek pontjaiban s a nylt krgyrn sszegfggvnye regulris. A ttel msodik fele teljesen hasonlan bizonythat. Az 5.1 Ttel megfelelje, hogy krgyrn regulris fggvny egyrtelmen elllthat Laurent-sor sszefggvnyeknt. Bizonytsa nagyon hasonl, ezrt elhagyjuk.

5.8 Ttel. Ha f regulris a z0 C krli {z C : R1 < |z z0 | < R2 } krgyrn, akkor ott egyrtelmen elll Laurent-sor sszegeknt:

f (z ) =
n=

an (z z0 )n ,

ahol ha egy z0 krli R1 < r < R2 sugar krvonal (pozitv irny) paramterezse, akkor minden n-re
an = 1 2i

f ( ) d. ( z0 )n+1

A Laurent-sor egytthatinak egyrtelmsge miatt ha f regulris az S (z0 , R) krlapon, akkor ott Taylor-sornak meg kell egyeznie a Laurent-sorval, specilisan a negatv egytthatknak 0-nak kell lennie. Ennyit persze knnyen ellenrizhetnk is: ha n < 0 s egy z0 krli r < R sugar krvonal paramterezse, akkor

f (z ) = (z z0 )n+1

f (z )(z z0 )n1 = 0,

mivel f (z )(z z0 )n1 regulris S (z0 , R)-en (n 1 0), gy alkalmazhat a 4.23 Cauchy Integrlttel. Szksgnk lesz a komplex L'Hospital Szablyra, melynek kimondsa s bizonytsa formlisan sokkal egyszerbb, mint vals megfeleljnek.

5.9 Ttel. (L'Hospital Szably) Legyenek f, g O(D), a D, n > 0 s tegyk

fel, hogy minden k = 0, 1, . . . , n 1-re f (k) (a) = g(k) (a) = 0 s hogy g(n) (a) = 0. Ekkor
lim
a

f (n) (a) f = ( n) . g g (a)

Bizonyts. Fejtsk Taylor-sorba f -et s g-t a krl:

f (z ) = f (n+1) (a) f (n) (a) (z a)n + (z a)n+1 + . . . n! (n + 1)!

hasonlan g -re. Ekkor

f (z ) lim = lim a g (z ) a
f (n) (a) n! (z ( n g ) (a) n! (z

a)n + a)n +

f (n+1) (a) (n+1)! (z ( g n+1) (a) (n+1)! (z

a)n+1 + . . . a)n+1 + . . . =

46

lim
a

f (n) (a) n! g (n) (a) n!

+ +

f (n+1) (a) (n+1)! (z g (n+1) (a) (n+1)! (z

a) + . . . . a) + . . .

A szmll s a nevez is egy Taylor-sor melynek konvergenciasugara megegyezik f illetve g konvergenciasugarval, gy sszegfggvnyk folytonos a krl, teht (n) (n) a-beli hatrrtkk a fggvnyrtkk: f n!(a) illetve g n!(a) = 0. Alkalmazva a hnyados limeszre vonatkoz ismereteinket kapjuk a ttel lltst.
1 z 2 z

Lssunk egy pldt Laurent-sorba fejtsre: Fejtsk Laurent-sorba az f (z ) = fggvnyt. Hny Laurent-sorrl is van sz? Ngyrl, ugyanis f regulris a
b D0 = {z C : 0 < |z 0| < 1}, k D0 = {z C : 1 < |z 0| < }

0 krli krgyrkn, illetve a

b D1 = {z C : 0 < |z 1| < 1}, k D1 = {z C : 1 < |z 1| < }

ban fekv maximlis nylt nemkr (nem tartalmazza a kzppontjt) krgyr. Az olyan C\{0, 1}-beli krgyrkn, amik valdi krlapok, vagyis tartalmazzk a kzppontjukat a Laurent-sorba fejts Taylor-sorba fejtss egyszersdik, vagyis a Laurent-sornak nincsenek negatv kitevj tagjai. tudjuk, hogy
b D0 : f (z ) = 1 1 z z 1

1 krli krgyrkn. Vilgos, hogy ez az sszes f rtelemzsi tartomny-

1 z

mr 0 krli Laurent-sor. Tovbb ha |z | < 1, akkor

1 1 = = zn, z1 1z n=0

gy
f (z ) =
k D0 : Ha |z | > 1, akkor 1 z

1 1 zn = + z n . z n=0 z n=0

< 1, gy
1 z

1 1 1 1 1 = z1 = z1 z z z1

s amibl

1 1

1 z

=
n=0

1 z 1 z

11 1 f (z ) = z z n=0 z

=
n=2

=
n=

zn.

miatt

b D1

: f (z ) =

1 1 z z 1

1 z 1

mr 1 krli Laurent-sor. Tovbb |1 z | < 1

1 1 = = (1 z )n = (1)n (z 1)n , z 1 (1 z ) n=0 n=0

47

gy
f (z ) =

1 1 (1)n (z 1)n = + (1)n+1 (z 1)n . z 1 n=0 z 1 n=0

1 z 1

k D1 : Ha |z 1| > 1, akkor

< 1, gy

1 1 1 1 1 1 1 = = z 1 = z1 1 z z 1 z z 1 1 + 1 1 z 1 z 1

1 1 1 = z1 1 z1 n=0

(1)n (z 1)n ,
n=

amibl
f (z ) = 1 1 (1)n (z 1)n = (1)n (z 1)n . z 1 z 1 n= n=
0 2

Persze vannak sokkal egyszerbb pldk is: 1.) Az f (z ) =

(z +1)2 z

fggvny 0 krli Laurent-sora:

1 z 2 + 2z + 1 = + 2 + z. z z

f (z ) =
1

2.) Az f (z ) = e zi fggvny i krli Laurent-sora:

f (z ) =
n=0

1 n z i

n!

1 1 (z i)n + 1. = n n !( z i ) ( n )! n= n=0

Fejtse Laurent-sorba a kvetkez fggvnyeket minden rtelmezlsi tartomnyukban lv maximlis nylt krgyrn.

5.10 Feladat. 5.11 Feladat. 5.12 Feladat. 5.13 Feladat. 5.14 Feladat.

z (z +1)(z +2) e2z (z 1)3

. . . .

1cos(z ) z z (z 2 +1) z (z +1)3

rdekessgek
Ebben a rszben egy-kt az anyaghoz szervesen nem kapcsold, de fontos s nmagban is rdekes ttelt bizonytunk.

5.15 Lemma. Ha
minden n N-re

a C, R > 0, f

regulris S (a, R)-en s |f | M , akkor

n!M . Rn

|f (n) (a)|

48

Bizonyts. A 5.3 ltalnos Cauchy Formula szerint, ha egy a krli r < R sugar krvonal paramterezse, akkor
f (n) (a) = n! 2i

f (z ) dz. (z a)n+1

Az integrl abszolt rtkre vonatkoz 4.14 becsls szerint ekkor

|f (n) (a)| n! M n!M 2r = n n +1 2 r r

minden r < R-re, amibl mr addik a lemma lltsa.

5.16 Ttel. (Liouville Ttele) Korltos egyszfggvny konstans.

Bizonyts. Legyen |f | M az egsz skon. Beltjuk, hogy ekkor f 0, amibl a 2.14 Ttel szerint mr kvetkezik, hogy f konstans. A 5.15 Lemma szerint tetszleges a-ra s R > 0-ra |f (a)| M R , gy f (a) = 0 minden a-ra.

5.17 Ttel. (Algebra Alapttele) Minden nem konstans komplex polinomnak

van gyke vagyis, ha p(z ) = an z n + + a1 z + a0 , n > 0 s an = 0, akkor ltezik z0 C, hogy p(z0 ) = 0. Bizonyts. Knnyen ellenrizhet, hogy tetszleges nem konstans p polinomra lim p = . Indirekt tegyk fel, hogy p-nek nincsen gyke. Legyen f (z ) = p(1z) egszfggvny. Ekkor lim f = 0, gy ltezik R > 0, hogy minden z -re, ha |z | > R, akkor |f (z )| < 1. Azonban f folytonossga miatt f korltos B (0, R)-en, gy az egsz skon is. Az elz ttel szerint f konstans, ami abszurdum.

5.18 Ttel. (Unicits Ttel) Legyen f O(D). Ekkor a kvetkezk ekvivalensek:

(a) f 0. (b) Ltezik egy z0 D, hogy minden n N-re f (n) (z0 ) = 0. (c) Az {z D : f (z ) = 0} halmaznak van D-ben torldsi pontja.

Bizonyts. (a)-bl nyilvn kvetkezik (b) s (c) is. (c)(b):Legyen z0 D az f gykeinek egy torldsi pontja s R > 0 olyan, hogy S (z0 , R) D. f folytonossga miatt f (z0 ) = 0. Indirekt tegyk fel, hogy ltezik egy n > 0, hogy f (z0 ) = f (z0 ) = = f (n1) (z0 ) = 0, de f (n) (z0 ) = 0. Ekkor f Taylor-sora S (z0 , R)-en:

f (z ) =
k=n

ak (z z0 )k .

Legyen
g (z ) =

ak (z z0 )kn .
k=n

Ekkor g regulris S (z0 , R)-en, f (z ) = (z z0 )n g (z ) s g (z0 ) = an = 0. g folytonossga miatt ltezik 0 < r < R, hogy minden z S (z0 , r)-re g (z ) = 0. 49

Mivel z0 az f gykeinek torldsi pontja, ezrt ltezik egy a S (z0 , r), a = z0 , (a) hogy f (a) = 0, amibl g (a) = (af z0 )n = 0, ellentmonds. (b)(a): Legyen A = {z D : n 0 f (n) (z ) = 0}. Azt fogjuk beltni, hogy A s D\A is nylt halmazok, amibl D sszefggsge miatt, mivel A = kapjuk, hogy D\A = , vagyis D = A. A nylt: Ha z0 A, akkor ltezik egy R > 0, hogy S (z0 , R) D. Ezen a krlapon f Taylor-sora:
f (z ) = f (n) (z0 ) (z z0 )n = 0, n! n=0

gy f minden derivltja is 0 a krlapon, vagyis S (z0 , R) A. D\A nylt: Indirekt tegyk fel, hogy D\A nem nylt. Ekkor ltezik egy w D\A, hogy minden > 0-ra S (w, ) D\A. Legyen R > 0 olyan, hogy S (w, R) D. Ha 0 < < R, akkor ezek szerint S (w, ) A = , vagyis van egy ak A sorozat, melyre lim ak = w. Mivel f (n) minden n-re folytonos, ezrt minden n-re 0 = lim f (n) (ak ) = f (n) (w), amibl w A, ellentmonds. Az Unicits Ttel segtsgvel knnyen bizonythatjuk, hogy a valsban megismert trigonometrikus, hiperbolikus stb azonossgok igazak komplexben is. Pldul sin(2z ) = 2 sin(z ) cos(z ) bizonytsa: Legyen f (z ) = sin(2z ) 2 sin(z ) cos(z ) egszfggvny. Ekkor f a vals szmegyenes pontjaiban 0, vagyis egy az rtelemzsi tartomnyban torld halmazon 0. Az Unicits Ttel szerint ekkor f 0, ami pont a kvnt azonossg. Amikor ilyen tpus azonossgok beltsra hasznljuk az Unicits Ttelt, akkor szoks Permanencia Elvrl beszlni.

Izollt szingularitsok osztlyozsa

izollt szingularitsa, ha ltezik R > 0, hogy S (z0 , R)\{z0 } D.

5.19 Denci. Adott

f O(D)

tartomnyon regulris fggvnynek z0 / D

5.20 Denci. Adott f O(D) s z0 / D izollt szingularitsa f -nek. Legyen

f (z ) =
n=

an (z z0 )n

az f fggvny z0 krli Laurent-sora. Ekkor z0 ha minden n > 0-ra an = 0, ha an = 0, de minden

megszntethet szingularitsa f -nek,

n-edrend plus szingularitsa f -nek (n > 0), m > n-re am = 0, lnyeges szingularitsa f -nek,

ha vgtelen sok n > 0-ra an = 0.

Nzznk egy-kt pldt.

1 1.) f (z ) = sin 1 -nek 0 nem izollt szingularitsa, ugyanis 0 tetszleges z krnyezetben van olyan pont, ahol f nincsen rtelmezve.

2.) f (z ) =

ez 1 z

-nek 0 megszntetehet szingularitsa, ugyanis

ez 1 1 zn zn = = . z z n=1 n! (n + 1)! n=0

50

3.) f (z ) =

ez 1 z2

-nek a 0 pont elsrend plusa, ugyanis

ez 1 1 = 2 2 z z zn 1 zn = + . n! z n=0 (n + 2)! n=1
1

4.) f (z ) = e z -nek 0 lnyeges szingularitsa, mert e z =

1

1 n=

1 n (n)! z

+ 1.

5.21 llts. Legyen f O(D), z0 / D izollt szingularitsa f -nek s f (z ) =

an (z z0 )n

n=

az f fggvny z0 krli Laurent-sora. Ekkor teljeslnek a

kvetkezk:
(a) z0 megszntethet szingularitsa f -nek lim f (z )(z z0 ) = 0.
z0

(b1) z0 n-edrend plusa f -nek

lim(z z0 )n+1 f (z ) = 0,
z0

de lim (z z0 )n f (z ) = 0. z
0

(b2) z0 plus szingularitsa f -nek lim f = .

z0

(c) z0 lnyeges szingularitsa f -nek

lim f .
z0

Vegyk szre, hogy a 5.21 llts (a) pontja szerint a Cauchy Integrlttel 4.25 ltalnostsa nem is volt igazi ltalnosts, azonban komoly szerepe volt abban, hogy idig eljutottunk.

5.22 Feladat. Bizonytsa be az 5.21 lltst.

llaptsa meg a kvetkez fggvnyek izollt szingulris helyeit s azok tpust.

5.23 Feladat. 5.24 Feladat. 5.25 Feladat. 5.26 Feladat.

ch(z ) z4

. . .

1 (sin(z )1)2 1 z (z 1)3 z e z 1

1

A kvetkez ttel egy fggvny lnyeges szingulatritsa krli viselkedst jellemzi.

5.27 Ttel. (Casorati-Weierstrass Ttel) Ha z0 lnyeges szingularitsa f -nek,

akkor minden w C {}-hez ltezik olyan zn z0 (zn = z0 ) sorozat, melyre f (zn ) w.

Bizonyts. Az lltst elg beltnunk w C-re. Indirekt tegyk fel, hogy w C, de mgsincsen ilyen sorozat. Ez ekvivalens azzal, hogy ltezik , > 0, hogy (z )w minden z -re, ha 0 < |z z0 | < , akkor |f (z ) w| . Ekkor lim f z z0 = , z
0

51

(z )w ezrt a 5.21 llts szerint f z z0 -nek plus szingularitsa van z0 -ban. Ha ez (z )w n+1 egy n-edrend plus, akkor lim f z = 0. Alkalmazva a z0 (z z0 ) z0

|f (z )(z z0 )n | |(f (z ) w)(z z0 )n | + |w(z z0 )n |

becslst vilgos, hogy lim f (z )(z z0 )n = 0, gy f -nek legfeljebb n 1-edrend z0 plusa van z0 -ban, ellentmonds. Ennl sokkal tbbet llt a kvetkez ttel. Bizonytsa rendkvl nehz, ezrt elhagyjuk.

5.28 Ttel. (Nagy Picard Ttel) Ha a z0 pont f -nek lnyeges szingularitsa, akkor minden > 0-ra az f (S (z0 , )) kphalmaz legfeljebb egy pont hjn megegyezik C-vel.

A Reziduum Ttel
5.29 Denci. Ha z0 izollt szingularitsa f -nek s f (z ) =
Resz0 f = a1 .
n=

an (z z0 )n

az f fggvny z0 krli Laurent-sora, akkor az f reziduuma z0 -ban:

5.30 Ttel. (Reziduum Ttel) Legyen

f O(D\{z1 , . . . , zm }).

D egy tartomny, z1 , . . . , zm D s Ekkor ha 1 , . . . , n tetszleges D\{z1 , . . . , zm }-beli n zrt grbk, amikre minden s / D esetn n(k , s) = 0, akkor
k=1 n m n

f = 2i
k=1 k l=1 k=1

n(k , zl ) Reszl f.

A Reziduum Ttelnek csak egy (trivilis) specilis esett bizonytjuk.

5.31 Ttel. (Reziduum Ttel, specilis alak) Ha egy egyszer zrt grbe a D
tartomnyban, mely tartalmazza belsejt, tovbb z1 , . . . , zm vges sok pont belsejben, akkor minden f O(D\{z1 , . . . , zm }) fggvnyre
m

f = 2i
l=1

Reszl f.

Bizonyts. Minden l = 1, . . . , m-re legyen l egy zl -et megkerl belsejben halad krvonal -val azonos irnyts paramterezse. Feltehet, hogy a 1 , . . . , m grbk pronknt diszjunktak. Ekkor a 4.34 Kvetkezmny szerint m (z ) f = f s az 5.8 Ttel szerint minden l-re l f = l (zf zl )0 dz = l
2i Reszl f .
l=1

A Reziduum Ttel az sszes eddigi integrlttelnket illetve formulnkat tartalmazza specilis esetknt. Konkrt integrlok kiszmtsra gy a legalkalmasabb eszkznk. 52

Pldul legyen f (z ) = z21 z s egy pozitv irny paramterezse. Ekkor

1 2

+ i kzppont 2 sugar krvonal

f = 2i(Res0 f + Res1 f ).

Felhasznlva az f Laurent sort S (0, 1)\{0}-n s S (1, 1)\{1}-en (f -nek ezeken a krgyrkn izollt szingularitsa 0 illetve 1) kapjuk, hogy f = 2i(1+1) = 0. Termszetesen ezt az integrlt kiszmolhattuk volna a 4.34 Kvetkezmny s a Cauchy Formula felhasznlsval is, mint a Kidolgozott pldk rszben az 5.) plda esetben. Vagyis ebben pldban nem muszj alkalmaznunk a Reziduum Ttelt. Ksbb ltni fogunk olyan pldkat is, ahol elkerlhetetlen a Reziduum Ttel alkalmazsa. ltalban hogyan hatrozhat meg egy fggvny reziduuma izollt szingularitsaiban? Termszetesen, ha Laurent-sorba tudjuk fejteni, akkor kszen vagyunk. Persze nincs szksgnk a Laurent-sorra a reziduum kiszmtshoz. Az 5.21 llts segtsgvel el tudjuk dnteni, hogy milyen szingularitsa van a fggvnynek az adott pontban, ebbl pedig nem lnyeges szingularits esetn a kvetkez llts segtsgvel kiszmolhatjuk a reziduumot.

5.32 llts. Ha z0 megszntetehet szingularitsa f -nek, akkor Resz0 f = 0. Ha z0 n-edrend plusa f -nek, akkor
d n lim dz n1 [(z z0 ) f (z )]
n1

Resz0 f =

z0

(n 1)!

Bizonyts. A megszntethet szingularitsra vonatkoz llts trivilis. Ha f nek z0 -ban n-edrend plusa van, akkor z0 krl f (z ) = ak (z z0 )k , ahol
an = 0. Ekkor (z z0 )n f (z ) =
k=n k=n

ak (z z0 )k+n ,

amit n 1-szer tagonknt derivlva kapjuk, hogy

dn1 [(z z0 )n f (z )] = dz n1
n1

ak (n + k )(n + k 1) (k + 2)(z z0 )k+1 .

k=1

d n Vagyis dz n1 [(z z0 ) f (z )] a z0 pont egy pontozott krnyezetben egy Taylorsor sszegfggvnyvel egyenl, gy a hatrrtke z0 -ban a Taylor-sor 0-adik egytthatja: a1 (n 1)!.

Nzznk egy-kt pldt a Reziduum Ttel alkalmazsra: 1.) Legyen f (z ) = ze z s az 1 sugar 0 kzppont krvonal egy paramterezse. A krlapon f -nek 0 izollt szingularitsa, ezen kvl mindenhol
1

regulris. e z =
1

Res0 f =

1 2

s a Reziduum Ttel szerint

f = 2i

n=

1 n (n)! z

+ 1, gy f (z ) =

n=

1 n (n+1)! z

+ 1 + z . Teht

1 = i. 2

53

1 2.) Legyen f (z ) = z(1 ez ) s az 1 sugar 0 kzppont krvonal egy paramterezse. A krlapon f -nek 0 izollt szingularitsa, ezen kvl mindenhol regulris. A 0 pont msodrend plusa f -nek, ugyanis

lim z 2 f (z ) = lim
0 0

z 1 = = 1, z 1e exp (0)

amibl lim z 3 f (z ) = 0 s alkalmazzuk az 5.21 lltst. Ekkor az 5.32 lltst 0 felhasznlva kapjuk, hogy
Res0 f = lim
0 z

d 2 (1 ez ) z (ez ) = [z f (z )] = lim 0 dz (1 ez )2

lim
0

e + ez + zez 1 z 1 = lim = lim z = , z z z 0 2(e 1) 0 2e 2(1 e )(e ) 2

ahol a 3. s 5. egyenlsgben felhasznltuk a L'Hospital szablyt. A Reziduum Ttel szerint f = 2i 1 2 = i. Hatrozza meg az

f vonalintegrlokat a Reziduum Ttel segtsgvel, ahol

z 2

5.33 Feladat. az i krli 2 sugar krvonal egy paramterezse, f (z ) = z e1 . 5.34 Feladat. egy egynl nagyobb sugar 0 kzppont krvonal paramterezse, f (z ) =
1 (z 1)2 (z 2 +1)

z +1 5.35 Feladat. a |z | = 5 egyenlet krvonal egy paramterezse, f (z ) = sin( iz ) .

5.36 Feladat.

egy 0 kzppont krvonal paramterezse, f (z ) = sin

1 z

Vals improprius integrlok

Kt pldval illusztrljuk, hogy a Reziduum Ttel jl alkalmazhat vals improprius integrlok meghatrozsra. Az egyszeren meggondolhat lltsok s a knnyebb szmolsok ellenrzst az olvasra hagyjuk.

5.37 Plda. Beltjuk, hogy

x2 dx = . 1 + x4 2

Az f (z ) =

z 1+z 4

fggvnynek izollt szingularitsai a 1 negyedik gykei:

k 2 )

zk = ei( 4 +

= cos

k k + + i sin + , 4 2 4 2

ahol k = 0, 1, 2, 3. Knnyen meggondolhat, hogy ezek mind elsrend plusai f -nek, pldul:
lim(z z0 )2 f (z ) = lim(z z0 )
z0 z0

z2 = 0, (z z1 )(z z2 )(z z3 )

s
lim(z z0 )f (z ) = lim
z0 z0

z2 = (z z1 )(z z2 )(z z3 )

54

2 z0 1i = = 0, (z0 z1 )(z0 z2 )(z0 z3 ) 4 2

gy az 5.21 llts felhasznlsval kapjuk, hogy z0 elsrend plus. Az 5.32 llts felhasznlsval f reziduuma z0 -ban s z1 -ben:
Resz0 f = lim(z z0 )f (z ) =
z0

1i 4 2

s hasonlan
Resz1 f = lim(z z1 )f (z ) =
z1

1 i . 4 2

Legyen R > 1 s R az a grbe, mely az R sugar fels flskba es flkr hatrt paramterezi. A szingularitsok kzl R belsejbe csak z0 s z1 esik, gy a Reziduum Ttel szerint
f = 2i Resz0 f + Resz1 f = . 2 R

Az integrlt kt rszre oszthatjuk. Legyen R a [R, R] szakasz s R a flkr egy paramterezse. Ekkor R f = R f + R f s az integrl dencija szerint
R

f=
R R

x2 dx 1 + x4

vals integrl. Ekkor mivel

x 1+x4

> 0, ezrt
R R

x2 dx = lim R 1 + x4

x2 dx = lim R 1 + x4 2 f = 0.
2

f ,
R

vagyis elg beltnunk, hogy lim

z A flkrn |1 + z 4 | R4 1, amibl 1+ z4 abszolt rtknek becslst (4.14 Ttel):

R R

R2 R4 1

. Alkalmazzuk az integrl

f
R

R4

R2 R3 R = 4 , 1 R 1

ami 0-hoz tart, ha R .

5.38 Plda. Beltjuk, hogy

0 eiz z

sin(x) dx = . x 2

Az f (z ) = fggvnynek 0 elsrend plusa. Adott 0 < r < R esetn legyen r,R az r illetve R sugar 0 kzppotn krk ltal meghatrozott fels fskba es krgyrszelet hatrnak paramterezse. Mivel a grbe f rtelmezsi tartomnynak egy 1-sszefgg rszben halad, ezrt a 4.31 Kvetkezmny szerint r,R f = 0. Legyen r s R a kt flkrvonal termszetes paramterezse negatv illetve pozitv irnyban. Ekkor
R

f=
r,R r

eix dx + x

eiz dz + z

r R

eix dx + x

eiz dz. z

55

Felhasznlva, hogy sin(x) =

R r

1 ix 2i (e

eix ) kapjuk, hogy

R r

sin(x) 1 dx = x 2i

R r

eix eix 1 dx = x 2i
ix

eix 1 dx + x 2i

r R

eix dx. x =
r eit dt R t

ugyanis az x = t helyettestssel rR e x dx = iz Beltjuk, hogy lim R ez dz = 0 s lim r r 0 R kvetkezik az llts:

0

R ei(t) t (1)dt r eiz z dz = i

. Ebbl mr

sin(x) dx = lim r 0,R x

iz

R r

sin(x) dx = x eiz dz = z

1 r 0,R 2i lim lim

f
r,R R

e dz z

1 r 0,R 2i

eiz dz z

eiz dz = . z 2

1.
e z
iz

R R y = eR

lim

eiz z dz

= 0: Ha z = x + iy az R sugar flkrn van, akkor

3 = R [ , ] s R
iz

. Legyen > 0 x. Vgjuk fel R -et hrom rszre:

2 = R [0, ], R

1 = R R

[ , ].

1 1 3 2 A R s R ltal megadott grbn ez R , a R ltal megharrozott ven iz R sin( ) e e pedig z R . Vlasszunk egy R0 -t, hogy minden R > R0 -ra eR sin( ) < teljesljn. Ha R > R0 , akkor az adott krveken alkalmazva az integrl abszolt rtknek becslst kapjuk, hogy

eiz dz z

1 R

eiz dz + z

2 R

eiz dz + z

3 R

eiz dz z

eR sin( ) 1 1 R+ ( 2 )R + R < 2 + eR sin( ) < 3 . R R R

2. lim

gularitsa van, ezrt korltos S (0, 1)-en, eiz 1 z dz M r , amibl r

0 = lim
r 0

r 0 r

eiz z dz

= i: Az

eiz 1 z

fggvnynek 0-ban megszntethet szineiz 1 z

M.

Ha r < 1, akkor
eiz dz (i), z

eiz 1 dz = lim r 0 z

eiz dz lim r 0 z

1 dz = lim r 0 z

vagyis

eiz z dz

i, ha r 0.

Hasonl mdszerekkel belthatk pldul a kvetkez integrlok is:

0

ln(x) dx = 0, 1 + x2

ln(x) dx = , (1 + x2 )2 4

cos(x) dx = . (1 + x2 )2 2e

56

6.

Appendix

Halmazok s fggvnyek
Rviden sszefoglaljuk a legfontosabb halmazelmleti fogalmakat. N jelli a termszetes szmok, Z az egsz szmok s R a vals szmok halmazt. Adott A s B halmazok esetn A B a kt halmaz Descartes-szorzata:
A B = {(a, b) : a A, b B }.

Ha A, B kt halmaz, akkor egy A-n rtelmezett B -be kpez f fggvnyt "f : f A B "-vel vagy "A B "-vel jellnk. f rtelemzsi tartomnya: dom(f ) = A; f rtkkszlete: ran(f ) = {b B : a A f (a) = b}. Egy f : A B fggvny konstans, ha ltezik egy b B , hogy minden a A-ra f (a) = b, jellsben f b. Ha f : A B egy fggvny s X A, akkor legyen f (X ) az X halmaz kpe (f -nl), vagyis
f (X ) = {b B : x X f (x) = b}.

Ha f : A B egy fggvny s A A, akkor f -et megszorthatjuk A -re s kapjuk az

f A :A B

fggvnyt, vagyis minden a A -re (f A )(a) = f (a). Egy f : A B fggvny

injektv, ha klnbz A-beli elemeket f klnbz B -beli elemekbe kpez, vagyis

a1 , a2 A (a1 = a2 f (a1 ) = f (a2 ));

ran(f ) = B , vagyis

szrjektv, ha minden B -beli elem elll egy A-beli elem kpeknt, azaz
b B a A f (a) = b;

bijektv, ha injektv s szrjektv, vagyis oda-vissza egyrtelm (sszeprostja A s B elemeit).

f 1 : ran(f ) A,

Egy f : A B injektv fggvnynek kpezhetjk az inverzt: ha b ran(f ), akkor f 1 (b) az az egyrtelmen ltez a A, melyre f (a) = b, mskppen f 1 (f (a)) = a. Ha g : A B s f : B C , akkor az f s g fggvnyek kompozcija:
f g : A C , (f g )(a) = f (g (a)).

57

Testek
Ha egy T nemres halmazon adott kt darab ktvltozs mvelet: s , tovbb ki van jellve a halmaz kt klnbz eleme n, e T , akkor a T, , , n, e struktra egy test, ha teljeslnek a kvetkezk: I. Az sszeads tulajdonsgai (a) (b) (c) (d) (a) (b) (c) (d)
a, b T a b = b a (az sszeads a n = a (n egy a, b, c T a (b c) = (a b) c (az sszeads

nullelem), a T b T a b = n (ltezik ellentett).

a, b T a b=b a (az szorzs

kommutatv), asszociatv),

II. A szorzs tulajdonsgai

kommutatv), a, b, c T a (b c) = (a b) c (az szorzs asszociatv), a e = a (e egy egysgelem), a T \{n} b T a b = e (ltezik inverz).

a, b, c T a (b c) = (a b) (a c).

III. A kett kapcsolata, disztributivits:

Pldul a vals szmok a szoksos sszeadssal s szorzssal, tovbb a 0 s 1 elemekkel egy test:
R, +, , 0, 1 .

Teljesen hasonlan a racionlis szmok Q halmaza is testet alkot a szoksos mveletekkel. Ms pldk: 1.) A kt elem test: Legyen {n, e} egy tetszleges ktelem halmaz a mveletek pedig: n n = e e = n, n e = e n = e, n n = n e = e n = n s e e = e. 2.) A Q( 2) test: A {a + b 2 : a, b Q} halmazon a szoksos mveletekkel egy testet kapunk.

6.1 Ttel. Az Emlkeztet-ben denilt mveletekkel C egy test:

C, +, , (0, 0), (1, 0) .

Bizonyts. A sszeads tulajdonsgai egyszeren abbl kvetkeznek, hogy a vektorsszeadsnak megvannak ezek a tulajdonsgai. A szorzs tulajdonsgai:
(a): (a1 , b1 ) (a2 , b2 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ) s (a2 , b2 ) (a1 , b1 ) = (a2 a1 b2 b1 , a2 b1 + b2 a1 ), gy (a1 , b1 ) (a2 , b2 ) = (a2 , b2 ) (a1 , b1 ). (b): (a1 , b1 ) ((a2 , b2 ) (a3 , b3 )) = (a1 , b1 ) (a2 a3 b2 b3 , a2 b3 + b2 a3 ) = (a1 (a2 a3 b2 b3 ) b1 (a2 b3 + b2 a3 ), a1 (a2 b3 + b2 a3 ) + b1 (a2 a3 b2 b3 )) =
(a1 a2 a3 a1 b2 b3 b1 a2 b3 b1 b2 a3 , a1 a2 b3 + a1 b2 a3 + b1 a2 a3 b1 b2 b3 ).

58

Tovbb ((a1 , b1 ) (a2 , b2 )) (a3 , b3 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ) (a3 , b3 ) =

((a1 a2 b1 b2 )a3 (a1 b2 + b1 a2 )b3 , (a1 a2 b1 b2 )b3 + (a1 b2 + b1 a2 )a3 ) = (a1 a2 a3 b1 b2 a3 a1 b2 b3 b1 a2 b3 , a1 a2 b3 b1 b2 b3 + a1 b2 a3 + b1 a2 a3 ).

(c): (a, b) (1, 0) = (a1 b0, a0 + b1) = (a, b). (d): Ha (a, b) = (0, 0), akkor
(a, b) a b , 2 2 2 a + b a + b2 = a2 b2 ab ab , 2 + 2 2 2 2 2 2 a +b a +b a +b a + b2 = (1, 0).

Disztributivits:
(a1 , b1 ) ((a2 , b2 ) + (a3 , b3 )) = (a1 , b1 ) (a2 + a3 , b2 + b3 ) = (a1 a2 + a1 a3 b1 b2 b1 b3 , a1 b2 + a1 b3 + b1 a2 + b1 a3 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ) + (a1 a3 b1 b3 , a1 b3 + b1 a3 ) = ((a1 , b1 ) (a2 , b2 )) + ((a1 , b1 ) (a3 , b3 )).

Az {(a, 0) : a R} C halmaz tartalmazza a kijellt (0, 0) s (1, 0) elemeket s minden a, a R-re

(a, 0) + (a , 0) = (a + a , 0) s (a, 0) (a , 0) = (aa , 0),

vagyis a halmaz zrt a mveletekre. Az ilyen rszstruktrt rsztestnek nevezzk. Pldul Q rszteste Q( 2)-nek s mindkett rszteste a vals szmok testnek. Ez a rszteste C-nek izomorf a vals szmok testvel. Preczen, ha
: R C, (a) = (a, 0),

akkor minden a, a R-re (a + a ) = (a) + (a ) s (aa ) = (a) (a ), vagyis mvelettart. Ez az izomorzmus az oka az egyszerstsnknek, vagy megfeleltetsnknek, amikor azt mondjuk, hogy R C, hiszen (a, 0) helyett frertsek nlkl irhatunk a-t.

R2

topolgija

Rviden sszefoglaljuk a legszksgesebb topolgia alapfogalmakat.

6.2 Denci. Egy a = (x, y) R2 vektor hossza vagy normja:

a = x2 + y 2 .

6.3 Ttel. A

a kvetkezknek:

. : R2 R

norma minden R s a, b R2 esetn eleget tesz

0.) a 0, a = 0 a = 0 = (0, 0), 1.) a = || a , 2.) a + b a + b (hromszg-egyenltlensg). 59

6.4 Denci. Adott a = (x1 , y1 ) s b = (x2 , y2 ) R2 pontok tvolsga:

d(a, b) = a b = (x1 x2 ) + (y1 y2 )2 .

Specilisan egy a R2 pont normja egyenl a 0-tl val tvolsgval.

6.5 Ttel. A

tvolsgfggvny minden a, b, c R2 esetn kielgti a kvetkez azonossgokat:

d : R2 R2 R

d0) d(a, b) 0, d(a, b) = 0 a = b, d1) d(a, b) = d(b, a), d2) d(a, c) d(a, b) + d(b, c). (hromszg-egyenltlensg) krlap:

6.6 Denci. Adott

a R2

s > 0 esetn az a pont krli sugar nylt

S (a, ) = {p R2 : d(a, p) < },

az a pont krli sugar zrt krlap:

B (a, ) = {p R2 : d(a, p) }.

6.7 Denci. Egy U

amire S (a, ) U .

R2

halmaz nylt, ha minden a U -hoz ltezik > 0,

Specilisan s R2 nylt halmazok.

6.8 llts. Minden a R2 -re s

> 0-ra

az S (a, ) halmaz nylt.

A nyltsg dencija szerint minden nylt halmaz elll nylt krlapok unijaknt.

6.9 llts. Tetszlegesen sok nylt halmaz unija nylt. Vges sok nylt halmaz
metszet nylt.
Az llts vgtelen sok nylt halmaz metszetre nem igaz:
n=1 1 S a, n = {a}.

6.10 Denci. Egy H R2 halmaznak egy a R2 torldsi pontja, ha minden

> 0-ra az S (a, ) H halmaz vgtelen. A H halmaz torldsi pontjainak halmazt jellje H .

6.11 Denci. Egy F

mazza, vagyis F F .

R2

halmaz zrt, ha minden torldsi pontjt tartal-

6.12 llts. Egy

nylt.

F R2

halmaz pontosan akkor zrt, ha az R2 \F halmaz

60

Trgymutat

B (z0 , ), 19 S (z0 , ), 19 u, 40 arg(w), 22 ch(z ), 24 cos(z ), 23 dom(f ), 57 exp(z ), 20 , 25 1 2 , 28 Im(a + bi), 3 , 6 f , 26 log(w), 22 C, 3 O(D), 13 ran(f ), 57 Re(a + bi), 3 Resz0 f , 52 sh(z ), 24 sin(z ), 23 a + bi, 3 ez , 21 f A , 57 n(, s), 35 wz , 23

harmonikus, 40 hatrrtke, 8 injektv, 57 primitv fggvnye, 31 regulris/holomorf, 13 reziduuma, 52 szrjektv, 57 fggvnysor, 10 egyenletesen konvergens, 10 konvergens, 10 grbe belseje, 25 indexe, 35 klseje, 25 halmaz sszefgg, 5 tsszefgg, 5 egyszeresen sszefgg, 6 nylt, 60 poligonsszefgg, 5 zrt, 60 hatvnysor, 19 konvergenciasugara, 19 izollt szingularits, 50 lnyeges, 50 megszntethet, 50 plus, 50 kpzetes rsz, 3 konjugls, 4 L'Hospital Szably, 46 Laplace-egyenlet, 40 Laplace-opertor, 40 Laurent-sor, 45 Liouville Ttele, 49 logaritmus, 22 Nagy Picard Ttel, 52 Newton-Leibniz Formula, 30 Reziduum Ttel, 52 sor 61 abszolt konvergens, 8

abszolt rtk, 4 Algebra Alapttele, 49 algebrai alak, 4 Altalnos Cauchy Formula, 44 Altalnos Cauchy Ttel, 37 argumantum, 22 Casorati-Weierstrass Ttel, 51 Cauchy Formula, 36 Cauchy Integrlttele, 33 Cauchy-Riemann egyenletek, 16 Euler Ttel, 24 fggvny bijektv, 57 dierencilhat, 13 egszfggvny, 13 folytonossga, 8 grbn integrlhat, 26

divergens, 7 konvergens, 7 sorozat Cauchy-, 6 divergens, 6 konvergens, 6 tartomny, 5 test, 58 torldsi pont, 60 trigonometrikus alak, 4 Unicits Ttel, 49 vals rsz, 3 Weierstrass Kritrium, 11

62