Analzis II

Simon Lszl eladsa alapjn

ELTE, 2009. prilis
Ajnlott irodalom: Szkefalvi Nagy Bla: Vals fggvnyek s fggvnysorok Elad e-mail cme: simonl a ludens.elte.hu-nl Ez a jegyzet nem szakirodalom s nem garantlt, hogy az rai anyagot teljesen lefedi, az eladsokra bejrni ajnlott. Ha a jegyzetben helyesrsi, tartalmi vagy formai hibt tallsz, krlek jelezd az eladnak vagy a tuzesdaniel@gmail.com e-mail cmen! Binomilis sor n x k ahol n (binomilis ttel alapjn). Emlkeztet: (1 + x) = k = 0 k
n n

02. 12.

Legyen f (x) : = (1 + x) , , x > 1! rjuk fel ennek az f fggvnynek a 0 krli Taylor-sort! f ( x ) = (1 + x ) f ( x ) = (1 + x ) 1 f (x) = ( 1)(1 + x) 2 f ( j ) (x) = ( 1) ( j + 1)(1 + x) j Ekkor f fggvny Taylor sora 0 krl:

f ( 0) = 1 f ( 0) = f (0) = ( 1) f ( j ) (0) = ( 1) ( j + 1) xj =

f ( j ) (0) j!

( 1) ( j + 1) j! ezt hasznlva

j =0

j =0

xj . x j . M ost = j =0 j

Jells: tetszleges vals esetn : = j

( 1 ) ( j + 1 ) , j!

f ( j ) (0) j!

j =0

xj

beltjuk, hogy a kapott sor konvergencia sugara 1. Ehhez clszer hasznlni a hnyados kritriumot.
-1-

( 1) ( j) |a j + 1 | x j +1 j aj +1 ( j + 1)! |= aj : = x j , ekkor = = x| | | | aj | ( 1) ( j + 1) x j aj j+1 | | j j!

| j | | | |x| , ezrt |x|| < 1 | | | | j + 1| | | 1ha j

esetn az abszolt rtkekbl ll sorra valban teljesl a hnyados kritrium, gy a sor konvergens, mert abszolt konvergens is. x j . llts: |x| < 1 esetn a Taylor sor ellltja f-et, vagyis (1 + x) = | j =0 j

x j , gy f (x) = Bizonyts: legyen f (x) : = (1 + x) , illetve g(x) : = j =0 j

1+x

f (x), st, mivel g hatvnysorrl

elbb lttuk be, hogy konvergens |x| < 1 esetn, gy hatvnysorrl lvn sz, a sor s a tagonknti derivlssal | nyert sor egyenletesen konvergens minden 1-nl kisebb sugar intervallumban, teht a derivlst s az sszegzst felcserlhetjk, vagyis g (x) =
d dx g' ( x) g ( x) 1+x d dx 1+x

g(x). Ltjuk, hogy f (0) = 1 s g(0) = 1, ebbl tovbbi

talaktsokkal s ttelek felhasznlsval kvetkezik, hogy f (x) = g(x) :

[ln g(x)] =

[ln(1 + x) ], melybl kvetkezik, hogy ln g(x) = ln(1 + x) + c. c, mivel az

egyenlsg x esetn is fenn kell llnia. Ezekbl mr kvetkezik, hogy g. Alkalmazs:

1/2

+ x = (1 + x )

1/2 x j = j =0 j
1 / 2

arcsin (x) =

1 x 2

= (1 x 2 )

1/2 x 2 j ) ( j =0 j
1 1+x

g(x) = ln(1 + x) sorfejtse 0 krl: g (x) =

j =0

(1) j x j . M ivel a hatvnysor mindig egyenletesen

konvergens a konvergencia-intervallumnl kisebb intervallumon, ezrt integrlhajuk minkt oldalt 0-tl -ig, vagyis || < 1 esetn |

g (x)dx =

j =0

(1) j x j dx =

j =0

(1) j

x j dx ln(1 + ) =

j =0

(1) j

j +1 j+1

Taylor formula tbbvltozs fggvnyekre

-2-

Legyen X normlt tr f : X s k+1-szer differencilhat az a X egy sugar krnyezetben. Ekkor egy h X, h < esetn szeretnnk kifejezni az a+h helyen a fggvnyrtket az a helyen felvettel: f (a + h) = f (a) + . M i kerl ... helyre? Legyen > 0,t (,1 + ), g: X, g(t) = a + t h, : , (t) = ( f g)(t) = f (a + th) s fggvny k+1-szer differencilhat (, + 1) intervallumon elg kis > 0 esetn. M egjegyezzk, hogy ekkor g (t) g (t) : = h. Alkalmazzuk a Taylor formult -re: ( 1) = ( 0 ) +
(0 ) 1! t th lekpezs

L(, X )

h X, st, ezt az azonostst elhagyva:

1+

(0 ) 2!

1 2 + ... +

( k ) (0 ) k!

1k +

( k +1) ( ) (k + 1 ) !

1 k + 1 , ahol 0 < < 1. Ennek els tagjrl tudjuk,

hogy (0) = f (a). M i a tbbi? (t) = f (a + th), illetve = f g. Ekkor a derivltja: (t) = g (t) L(, ), g (t) = h, gy (t) = f (g(t))g (t) = a + ) h , ezrt f (g(t)) f( th X ) L (, X (0) = f (a)h . Tovbb (t) = [ f (a + th)h] h = f (a + th)(h, h) gy (0) = f (a) (h, h) . Tovbb
L ( X, ) X X L ( X, ) L ( X, )

folytatva: (k) (t) = f (k) (a + th)(h, h,...,h) , ezrt (k) (0) = f (k) (0)(h, h,...,h). ( 1) = ( 0 ) +
(0 ) 1!

1+

f (a + h) = f (a) +

f (a ) 1!

(0 ) 2!

1 2 + ... +

h+

f (a )(h,h ) 2!

( k ) (0 ) k!

1k +

+ ... +

f ( k ) (a )(h,h,...,h ) k!

( k +1) ( ) (k + 1 )

1 k + 1 , gy
f ( k +1) (a + h )(h,h,...,h ) , (k + 1 )

ahol 0 < < 1. Specilis eset,

mikor k = 1, X = n , f : n . Ekkor 2 ( 1 f ) (a) f (a) = ( f )(a) 1 2 f (a + h) = f (a) +

1 1! n

f (a) = (( 1 f )(a), ( 2 f )(a),...,( n f )(a))

( 2 1 f )(a)
2 ( 2

... ...
n

( n 1 f )(a) ( n 2 f )(a)

f ) (a)
1 2!

(
j =1

j f ) (a)hj +

j,k = 1

f (a + h)hj hk , ahol h = (h1 , h2 ,...,hn ) n . ( j k )

Megjegyzs: legyenek X, Y normlt terek! Bebizony that, hogy ha f : X Y s k-szor differencilhat B (a) -n, akkor a Taylor formula h < esetn: f (a + h) = f (a) + maradktag, amelyre Rk
h k k! f (a ) 1!

h + ... +

f ( k ) (a )(h,h,...,h ) k!

+ Rk , ahol Rk a

sup f (k) () f (k) (a).

B (a )

Tbbvltozs fggvnyek loklis szlsrtke

Definci: legyen X normlt tr, f : X , s rtelmezve van az a X pont egy krnyezetben. Azt mondjuk, hogy f-nek a-ban loklis minimuma van, ha > 0: x B (a) f (x) f (a). Ha x B (a)\{a} f (x) > f (a),
-3-

akkor szigor loklis minimumrl beszlnk. Ttel: tfh f differencilhat az a-ban s f-nek a-ban loklis szlsrtke van (minimuma vagy maximuma), f (a) = 0 (ahol f (a) L( X, ) ). Bizonyts: legyen h X tetszleges rgztett pont. Beltjuk, hogy f (a) h = 0 . M ivel f differencilhat L ( X, ) a-ban, ezrt elg kicsi t esetn f (a + th) f (a) = f (a)(t h) + (t h), ahol lim h 0, ezrt lim
f (a + th ) f (a ) t t 0 || (th )|| t 0 | t|| || (th )|| t 0 th

= 0 = lim

|| (th )| | , | t|| h t 0

ahol

= 0. Ha f (a)h 0 lenne, pl. f (a)h > 0 (h rgztett), akkor

lim

= f (a)h > 0. Ekkor 1 > 0,0 < t < 1 f (a + th) f (a) > 0, illetve

2 > 0, 2 < t < 0 f (a + th) f (a) < 0, ez utbbi kett pedig ellentmonds, merthogy szlsrtk esetn f (a + th) f (a) eljele ugyanaz kell, hogy legyen. Definci: legyen X normlt tr, g: X X , (folytonos) bilineris lekpezs. Azt mondjuk, hogy g pozitv definit, ha g(h, h) > 0, h X\{0} , negatv definit, ha g(h, h) < 0, h X\{0} , pozitv szemidefinit, ha g(h, h) 0, h X , negatv szemidefinit, ha g(h, h) 0, h X ,

szigoran pozitv definit, ha c > 0 lland, hogy g(h, h) ch 2 , h X. Megjegyzs: ha X = n , ekkor abbl, hogy g pozitv definit, kvetkezik, hogy szigoran pozitv definit. Vgtelen dimenzis vektorterekben ltalban ez nem igaz. Elbbi igazolsa: legyen X = n , ekkor tekintsk az S1 : = { x n :|x|| = 1} halmazt, ekkor ez sorozatkompakt (mert korltos s zrt). Legyen G (h) : = g(h, h)! | Ekkor G fggvny folytonos. h S1 , gy G:S1 folytonos, S1 sorozatkompakt, ezrt G felveszi az
x x x x ahol h0 0. Ekkor x X\{0} esetn g(x, x) = gx x, x x = x 2 gx , x cx 2 . c>0

infinimumt (minimumt), vagyis h0 S1 :G(h) G(h0 ), h S1 . M ivel g pozitv definit, c: = G (h0 ) > 0,

Megjegyzs: X = n esetn egy n n bilineris lekpezs egy ngyzetes mtrixszal adhat meg, a11 a12 a21 a22 A: = an1 an2

a1n a2n . Ha a jk = ak j vagyis ha a mtrix szimmetrikus , akkor ha A sszes sajtrtke ann

-4-

nagyobb mint 0, akkor A pozitv definit, st, szigoran pozitv definit. Ttel: tfh f ktszer differencilhat az a X egy krnyezetben (X normlt tr) s f C(a). 1. Ha f-nek a-ban loklis minimuma van f (a) = 0 , s f (a) pozitv szemidefinit. 2. Ha f (a) = 0 s f (a) szigor pozitv definit, akkor f-nek a-ban szigor loklis minimuma van. Bizonyts: alkalmazzuk a Taylor formult az f : X fggvnyre a 2. derivltig. Legyen h X, t , |t|| elg kicsi, ekkor f (a + th) = f (a) + szm. 1. tfh f-nek a-ban loklis minimuma van. Tudjuk, hogy ekkor f (a) = 0 , gy f (a + th ) f (a ) f (a + th ) f (a ) f (a + th ) f (a ) (h, h) = 2 ! (h, h) + 2 ! = 2 ! (h, h) 0 2 2! t
bizbe: 0 ha t 0 f (a ) 1!

th +

f (a + th ) 2!

(th, th), ahol alkalmasan vlasztott, valamilyen 0 < < 1

f (a ) 2!

(h, h) , ugyanis ekkor

t 0 esetn a + th a , f C(a) , s

|1 [ f (a + th) f (a)] (h, h)| 1 f (a + th) f (a) h, h |2 | 2 rgz

0 ha t 0 mert f C (a )

f (a ) 2!

(h, h) 0 .

2. felhasznlva, hogy f (a) = 0,

f (a + th ) f (a ) t2

02. 19.
1 2

1 2

f (a + th)(h, h) =

f (a)(h, h) + 1 [ f a + th f (x)] (h, h) . Legyen 2

h X, h: = c1 > 0! Egyrszt f (a)(h, h) c2 h 2 = c1 2 c2 > 0, h X mert f szigor pozitv

0 ha t 0, mert f C (a )

definit, msrszt |[ f (a + th) f (a)] (h, h)| f ) ) h 2 , ami tart 0-hoz ha t tart | | (a + th f (a rgz f (a + th ) f (a ) t2

0-hoz, gy

1 2

f (a)(h, h) + 1 [ f (a + th) f (a)] (h, h) > 0, ha t elg kicsi. 2

Implicit fggvnyttel
Problma: adott egy : 2 fggvny. Egy (x, y) = 0 egyenlet milyen felttelek mellet hatroz meg egy y = f (x) fggvnyt? Tekintsk a kvetkez pldkat! (x, y) : = x 2 + y 2 1 = 0 , ennek egy kr pontjai felelnek meg. Plusz felttel lehet, hogy a megolds valamelyik pont egy krnyezetben legyen, de mg ekkor is lehet 2 megolds ((1,0) s (1,0) krnyezetben). (x, y) : = x 2 + y 2 + 1 = 0, ennek viszont nincs megoldsa.

(x, y) : = y 2 x 2 = 0, ennek kt egyenes tesz eleget. Ha mg le is szktjk az rtelmezsi tartomnyt gy, hogy csak az egyik egyenes egy rsze legyen megolds, akkor ugyan loklisan fggvnynk lesz (vagyis egyrtelm lesz y), de ilyet nem tudnnk csinlni az orig krnyezetben, mert ott metszik
-5-

egymst az egyenesek. Ez azzal fgg ssze, hogy 2 (x, y) = 2y 2 (0,0) = 0. Ttel: legyen : n -be kpez fggvny, amely rtelmezve van s folytonos valamilyen

(a, b) n pont egy krnyezetben s (a, b) = 0, tovbb n + 1 s folytonos is (a, b) egy

krnyezetben, s n + 1 (a, b) 0. Ekkor ltezik az a pontnak olyan Br (a), az b pontnak olyan (b d, b + d) krnyezete s f :Br (a) folytonos fggvny, hogy

{(x, y) :(x, y) = 0,x Br (a), y (b d, b + d)} = {(x, f (x)) : x Br (a)}.

Bizonyts: tekintsk az n = 1 esetet (knnyebb szemlletesen ltni)! Pl tfh n + 1 (a, b) > 0! M ivel n + 1 y (x, y) szigor monoton n. (a, b) = 0,y (x, y) szigoran monoton n (a, b d) < 0 < (a, b + d). M ivel folytonos (a, b + d) s (a, b d) pontok kztt r:0 < r r1 , hogy x Br (a) esetn s (x, b d) < 0 < (x, b + d).

folytonos (a, b)-nek van olyan krnyezete, ahol n + 1 (x, y) > 0 x Br 1 (a) rgztett x esetn

f (x) , hogy b d < f (x) < b + d esetn (x, f (x)) = 0. M ivel y (x, y) szigor monoton n, f (x) egyrtelm. Be kell ltnunk mg, hogy f folytonos Br (a)-n. Legyen x0 Br (a), s (a, b) helyett tekintsk az

Alkalmazzuk a Bolzano-ttelt rgztett x Br (a) esetn y (x, y) fggvnyre! A ttel szerint ekkor

(x0 , f (x0 )) pontot! Ekkor b d < f (x0 ) < b + d. Azt szeretnnk beltni, hogy f folytonos x0 -ban.
Legyen > 0 tetszleges szm! Az elz llts miatt ':0 < ' < , hogy ' szmot elg kicsire vlasztva b d f (x0 ) ' < f (x0 ) + ' b + d. Ez utbbit mskpp felrva:

[ f (x0 ) ', f (x0 ) + '] [b d, b + d]. (x0 , f (x0 )) = 0, ezrt mivel folytonos, : x B (x0 ) esetn (x, f (x0 ) ') < 0 < (x, f (x0 ) + '). Ekkor a Bolzano ttel segtsgvel !y:(x, y) = 0, f (x0 ) ' < y < f (x0 ) + ', node y = f (x) s ' < miatt, minden x B (x0 ) pontra
f (x0 ) < f (x) < f (x0 ) + , teht f folytonos x0 -ban.

A ttel ltalnostsa : n m m fggvnyekre: Ttel: tfh : n m m , (a, b) = 0, rtelmezve van (a, b) pont egy krnyezetben s itt folytonos is, tovbb y (x, y) folytonosan differencilhat (a, b) valamilyen krnyezetben. Tovbb legyen y2 1 y1 1 y 1 2 y 2 2 : = (1 , 2 ,...,m ). y m y m 2 1 y m 1 y m 2 = :F , s tegyk fel, hogy det(F (a, b)) 0. Ekkor y m m

(a, b)-nek olyan Br (a) B (b) krnyezete, s f :Br (a) B (b) m folytonos fggvny, hogy
-6-

{( x, y) Br (a) B (b) :( x, y) = 0} = {( x, f ( x)) : x Br (a)}.

Ttel: tfh teljeslnek az elbbi ttel felttelei s x (x, y) fggvny is folytonosan differencilhat az a krnyezetben, akkor f :Br (a) m differencilhat. Megjegyzs: ha tudjuk, hogy f differenclhat, akkor f derivltja kiszmolhat. (x, f (x)) = 0-t x Br (a) szerint derivlva 0 = x (x, f (x)) + y (x, f (x)) f (x) f (x) = [ y (x, f (x))] Inverz fggvny ttel Ttel: legyen g: n n , mely rtelmezve van s folytonosan differencilhat a b n egy krnyezetben, 2 g1 2 g2 2 gn n g1 n g2 . n gn
1

[ x (x, f (x))].

g 1 1 1 g2 tovbb az albbi mtrix determinnsa nem 0 a b-ben. g: = (g1 , g2 ,...,gn ), g = 1 gn

Legyen a: = g(b). Ekkor Br (a), Br (b), g 1 :Br (b) Br (a), folytonosan differencilhat fggvny, hogy

{(x, y) Br (a) Br (b) : x = g(y)} = {( x, g 1 (x)) : x Br (a)}.

Megjegyzs: a ttel szerint a g fggvnynek ltezik loklis inverze, azaz g fggvnyt a b egy elg kis krnyezetre leszktve, ltezik az inverz. Bizonyts: legyen (x, y) : = x g(y), ekkor (a, b) = a g(b) = 0, y (x, y) = g (y) s det( g (b)) 0. Az elbbi kplet szerint [ g 1 ] (x) = [ g ( g 1 (x)) ]
1

(mtrix inverz).

Feltteles szlsrtk
Definci: legyen F: n m -be kpez fggvny, : n m m s (a, b) : = 0. Azt mondjuk, hogy az F fggvnynek a (x, y) : = 0 felttel mellett loklis minimuma van az (a, b) pontban, ha > 0: x B (a), y B (b), (x, y) = 0 esetn F (x, y) F (a, b). Krds: milyen szksges felttel adhat a feltteles szlsrtk ltezshez? Az implicit fggvnyttel segtsgvel a feltteles szlsrtk visszavezethet egy szoksos szlsrtkre (felttel nlklire). Feltesszk, hogy implicit fggvny differencilhatsgrl szl ttel felttelei teljeslnek. A ttel felttelei: folytonosan differencilhat (a, b) egy krnyezetben s det( y (a, b)) 0. Tfh (a, b)-n F-nek feltteles szlsrtke van.
-7-

Tudjuk (az implicit fggvnyttelbl), hogy ekkor 1 > 0: {(x, y) B1 (a) B1 (b) :(x, y) = 0} = {(x, f (x)) B1 (a)}, ahol f :B1 (a) B1 (b) folytonosan differencilhat, 2 : = min{, 1 } jellssel x B2 (a) esetn F (x, f (x)) F (a, f (a)), teht az x F (x, f (x)) fggvnynek a-ben loklis minimuma van. g(x) = F (x, f (x)), g (x) = x F (x, f (x)) + y F (x, f (x)) f (x), a loklis minimumbl kvetkezik, hogy 0 = g (a) = x F (a, b) + y F (a, b) f (a) f (a) = [ y (a, b)]
1 1

[ x (a, b)], ezt az elzbe

visszahelyettestve g (a) = x F (a, b) y F (a, b)[ y (a, b)] [ x (a, b)] = 0 . Jells:
: =

G(x, y) = F (x, y) + (x, y) szrevtel: 0 = g (a) = x F (a, b) + x (a, b) = x G(a, b) , msrszt = [ y F (a, b)][ y (a, b)] gy rhat: y G(a, b) = [ y (a, b)] + [ y F (a, b)] = 0. Ezen kvl tudjuk, hogy (a, b) = 0. Ttel: tfh F s folytonosan differencilhat (a, b) egy krnyezetben, tovbb (a, b) = 0, y (a, b) mtrix determinnsa nem 0. Ha F: n n fggvnynek (a, b) -ben loklis szlsrtke van a (x, y) = 0 felttel mellett, akkor a G (x, y) = F (x, y) + (x, y) fggvnyre 0 = x G(a, b) = x F (a, b) + x (a, b) s 0 = y G(a, b) = y F (a, b) + y (a, b). Itt = (1 , 2 ,...,m ). Megjegyzs: a fentiek szerint az a n , b m s m ismeretlenekre n + 2m egyenletet nyertnk. Ennek egyrtelm megoldsra van esly.
1

02. 26.

Vonalintegrl
Rvid sszefoglals a Reimann-integrlrl. Legyen f : [a, b] korltos fggvny! Tekintsk [a, b] egy vges felosztst! a: = x0 < x1 < x2 < ... < xk 1 < xk < ... < xn : = b. Legyen xk 1 < k < xk , ekkor definiljuk: t ( ) : = f (x xk 1 ) (ahol jelli a felosztst). Az f fggvnyt Reimann szerint integrlhatnak ( k) k
n

k=1

nevezzk, ha t() I, ha a felosztst minden hatron tl finomtjuk. Ez azt jelenti, hogy > > 0, hogy ha a feloszts -nl finomabb (minden rszintervallum < ), akkor |t() I | < . Cl: rviden bizonytjuk, hogy ha f folytonos, akkor f Reimann integrlhat.

-8-

Fels sszeg: S() : = mk : = inf f.

k=1

Mk (xk xk 1 ), ahol Mk : =

[xk 1 ,xk ]

sup

f , als sszeg: s () : =

k=1

mk (xk xk 1 ), ahol

[xk 1 ,xk ]

llts: brmilyen felosztshoz tartoz s () als sszeg brmely ' felosztshoz tartoz S(') fels sszeg. Kvetkezmny: a fels sszegek halmaza alulrl korltos, az als sszegek halmaza fellrl korltos. Ebbl kvetkezik, hogy inf S() sups().

Megjegyzs: m k f (k ) Mk s() t() S() . Definci: oszcillcis sszeg: O () : = S() s(). Ttel: tfh f : [a, b] n folytonos fggvny. Ekkor az O () oszcillcis sszeg tart 0-hoz, ha a felosztst minden hatron tl finomtjuk, azaz > 0 > 0, hogy ha a felosztst -nl finomabb, akkor 0 O () . Bizonyts: az egyenletes folytonossg ttele (Heine) szerint ( [a, b] korltos s zrt, teht sorozatkompakt) f egyenletesen folytonos. Ez azt jelenti, hogy > 0 > 0:|x1 x2 | | f (x1 ) f (x2 )| . Ezrt -nl | finomabb felosztst vlasztva O () = S() s() =
k=1 n n

(M (x xk 1 ) (x xk 1 ) = (b a). k m ) k k k
k=1

Kvetkezmny: ha f : [a, b] folytonos, akkor Reimann integrlhat, azaz t() I ha a felosztst finomtjuk. Ugyanis a ttel szerint tetszleges > 0 szmhoz > 0, hogy ha a felosztst -nl finomabb, akkor 0 S() s() < inf S() = sups() : = I. Ekkor s() t() S(), |t() I | < , ha feloszts -nl
t

finomabb. Megjegyzs: S() s s() is tart I-hez.

Folytonosan differencilhat t, illetve grbe, vhossz kiszmtsa

Legyen egy : [, ] n folytonosan differencilhat! Ekkor azt mondjuk, hogy egy folytonosan differencilhat L utat hatroz meg az n trben. t [, ], (t) n , a mozg pont a t idben a (t) helyen van.

-9-

llts: a fnt rtelmezett t hossza:

| (t)|dt. | |

Bizonyts: a legyen = t0 < t1 < t2 < ... < tk 1 < tk < ... < tm = ! Az vhossz definci szerint a felosztshoz tartoz trtt vonal hossznak limesze, mikzben a felosztst finomtjuk. A trtt vonal hossza m m m n j (tk ) j (tk 1 ) 2 | (tk ) (tk 1 ) | | |(tk tk 1 ) = | (tk ) (tk 1 )| = (t t ), mely a | | | | [ ] k k1 | tk tk 1 | tk tk 1 | k=1 k=1 | k=1 j =1 n 2 (t t ), ahol tk 1 jk tk . J lenne, ha e helyett Lagrange-fle kzprtkttellel = ( j ( jk ) ) k k 1 k=1 j =1
m m n j (k ) 2 (tk tk 1 ) = | ( )|(t t ), ez nem mst, mint t | (t)| ilyen alak sszeg lenne: | | | k | k k1 k=1 j =1 k=1 m

integrl kzelt sszege. M ivel ez a fggvny folytonos, az integrl kzelt sszeg tart az integrlhoz. Belthat, hogy a ktfle sszeg klnbsge tart 0-hoz, ha a felosztst minden hatron tl finomtjuk. Definci: legyen : [, ] n folytonosan differencilhat, injektv, (t) 0, t [, ]. Ekkor azt mondjuk, hogy egyszer, folytonosan differencilhat L utat hatroz meg. Ekkor : = R n halmazt egyszer, folytonosan differencilhat grbnek nevezzk. Ttel: ha s olyan [, ] n fggvnyek, melyek egyszer folytonosan differencilhat utat hatroznak meg s R = R , tovbb ( ) = ( ) s ( ) = ( ), akkor egyszer folytonosan differencilhat grbe vhossznak. Megjegyzs: ha ( ) = ( ), akkor egyszer zrt folytonosan differencilhat trl (illetve grbrl) beszlnk. Definci: legyen : [, ] n folytonosan differencilhat! Ez meghatroz egy L folytonosan differencilhat utat. Legyen : = R s f : folytonos fggvny. rtelmezni akarjuk az f fggvnynek az xk vltoz szerinti vonalintegrljt. Tekintsk a kvetkez kzelt sszeget:
m

| (t)|dt = | ( t )|dt . Ezt nevezzk = R | | | | | |

k=1

f ( (k ))[ j (tk ) j (tk 1 )] ,

ahol [tk 1 , tk ] [, ]. Ha ez tart valamely I vges szmhoz, mikzben a felosztst finomtjuk, akkor ezt
- 10 -

nevezzk f-nek xj szerinti vonalintegrljnak, s gy jelljk:

m

f (x)dxj . Szmoljuk ki a limeszt!

k=1

f ( (k ))[ j (tk ) j (tk 1 )] =

m

k=1

f ( ( k ))

j (tk ) j (tk 1 ) tk tk 1

(tk tk 1 ), mely a Lagrange-fle

kzprtkttel segtsgvel =

k=1

f ( (k )) j ( k ) (tk tk 1 ), ahol tk 1 < k < t. Ha e helyett a kvetkez f ( (t)) j (t)dt : = f (x)dxj . Belthat, L

sszeg lenne, az nagyon j volna:

k=1

f ( (k )) j (k )(tk tk 1 )

( f ) j

hogy a kt sszeg klnbsge 0-hoz tart, ha a felosztst minden hatron tl finomtjuk. llts: ha egyszer folytonosan differencilhat grbe, amelyet egy valamely L egyszer folytonosan differencilhat ttal jrunk be, akkor a vonalintegrl rtke fggetlen a paramterezs megvlasztstl, ha rgztettek a kezd s vgpontok (a bejrs irnya is adott). Definci: : [, ] n folytonosan differencilhat, L folytonosan differencilhat t, = R , g: n folytonos. Tekintsk
m

k=1

g( (k )), (tk ) (tk 1 ) ? Ha a limesz ltezik, akkor ezt gy jelljk:

gdx.

: [, ] n folytonosan differencilhat, ekkor ez egy L folytonosan differencilhat utat hatroz

03. 05.

meg. : = R n . Ha injektv s (t) 0 minden t-re, akkor egyszer folytonosan differencilhat utat hatroz meg, -t egyszer folytonosan differencilhat grbnek nevezzk. (Ekkor a fenti integrlt a grbn vett integrlnak nevezzk.) 1. Legyen f : folytonosan differencilhat fggvny. Ekkor nevezzk a
t 0 k=1

lim

f ( (k ))[ j (tk ) j (tk 1 )] : =

f (x)dxj mennyisget f-nek j-edik vltozja szerinti

vonalintegrljnak. A felosztst finomtva a fenti kzelt sszeg tart

f ( (t)) j (t)dt =

( f ) j

integrlhoz. 2. Legyen g: n folytonos fggvny. Tekintsk a kvetkez mennyisget:

- 11 -

k=1

g( (k )), (tk ) (tk 1 ). Krds: ennek van-e limesze, mikzben a felosztst finomtjuk? A

vizsglt mennyisget trva: [

m n

k=1

j =1

gj ( (k ))( j (tk ) j tk 1 ) = g ( (k ))( j (tk ) j (tk 1 )) ahol g = (g1 , g2 ,...,gn ). j ] ] [k = 1 j =1

L g j ( x )d x j =
a

g ( j ) j

Felcserlve az sszegzst az integrlssal, a vizsglt mennyisg hatrtke (

j =1 n

gj ) j = g( (t)), (t)dt = : g(x)dx. Ez mennyisg elg fontos fizikai alkalmazsokban, L

ezrt mi is sokat fogunk vele foglalkozni. Szemlletes jelentst trsthatunk hozz, ha g(x) az x pontban hat er. Ekkor az integrl rtke a grbn vgigmozogva az ertr ltal vgzett munka. 3. vhossz szerinti vonalintegrl. Az elzhz kpest csak f : a vltozs. Ekkor tekintsk a kvetkez sszeget:
k=1 m

f ( (k ))| (tk ) (tk 1 )|. Ez mihez tart? | |

m

| (tk ) (tk 1 ) | |(tk tk 1 ) f ( (k ))| (tk ) (tk 1 )| = f ( ( k ))| f ( (t))| (t)|dt: = f ds | | | | L tk | tk 1 | k=1 k=1
Lagrange: = ( k )

Megjegyzsek: mind a 3 esetben ha egyszer folytonosan differencilhat grbe, akkor a -n vett integrl a paramterezstl fggetlenl mindig ugyanaz, ha rgztjk a kezd s vgpontokat (vagyis a bejrs irnyt is megtartjuk). Clszer rtelmezni a szakaszonknt folytonosan differencilhat utat (egyszer szakaszonknt folytonosan differencilhat grbt) Definci: legyen : [, ] n folytonos s szakaszonknt folytonos fggvny, azaz legyen olyan < 1 < ... < l < l + 1 < ... < r = feloszts, hogy ltezzen |( , ) s folytonos is k {1,2,...,r} | k 1 k -ra, s a vgpontokban ltezzen egyoldali hatrrtke. Ekkor azt mondjuk, hogy szakaszonknt folytonosan differencilhat utat hatroz meg. rtelmezhet az egyszer szakaszonknt folytonosan differencilhat t. A fenti 3 definci s lltsok tvihetk erre az esetre. Legyen : = R s g: n folytonos fggvny. L g(x)dx =

szakaszonknt folytonos

( g t)), ( (t)

dt.

- 12 -

A vonalintegrl alaptulajdonsgai 1. Legyen : [, ] n (szakaszonknt) folytonosan differencilhat fggvny, : = R s g, h: n folytonos fggvnyek. Ekkor , esetn L

(g + h)(x)dx =

g(x)dx + h(x)dx L

2. Legyenek 1 : [, ] n s 2 : [ , ] n szakaszonknt folytonosan differencilhat fggvnyek, s (t ) 1 legyen 1 ( ) = 2 ( ). Ekkor legyen (t) : = (t ) 2 L g(x)dx = L 1 g(x)dx + L 2 t [, ] t [ , ] , vagyis : [, ] n . Ekkor is

szakaszonknt folytonosan differencilhat fggvny lesz. : = R illetve legyen g: n fggvny folytonos! Ekkor g(x)dx

3. Legyen : [, ] n (szakaszonknt) folytonosan differencilhat fggvny, ez meghatroz egy L szakaszonknt folytonosan differencilhat utat, : = R n , g: n . Ekkor

| | | | | g(x)dx| = | g( (t)), (t)dt| ||g( (t)), (t)|dt |g( (t))| | (t)|dt, azaz | | | | | | || | | L | | L |
sup || g||

| | | g(x)dx| sup|g| | (t)|dt = sup|g| [L vhossza]. | | | | | | | L |

A vonalintegrl ttl val fggetlensge Adott valamilyen n tartomny (nylt s sszefgg). Legyen f : n folytonos fggvny. Krds: milyen felttelek mellet lesz igaz, hogy az kt tetszleges pontjt sszekt szakaszonknt folytonosan differencilhat t mentn vett vgpontjaitl? Ttel: tfh f : n folytonos fggvny s L f (x)dx rtke csak a kezd s vgpontoktl fgg brmely L f (x)dx integrlja f-nek nem fgg az ttl egszben, csak annak

-ban halad L t esetn. Legyen a s tetszleges pontok, a rgztett. Tekintsnk egy tetszleges, olyan -ban halad szakaszonknt folytonosan differencilhat utat, amely a-t sszekti -vel. (M i az, hogy sszekti? Azt jelenti ez, hogy : [, ] n , mely szakaszonknt folytonosan differencilhat s (t) , t [, ], ( ) = a s ( ) = .) Legyen F () : =
- 13 -

f (x)dx =

f (x)dx. Ekkor j F () = fj (),

azaz F () = f (). Bizonyts: legyen h \{0}, h ( j ) : = (0,0,...h,0,...,0) n (a j-edik komponense a h). Az a-tl a + h ( j ) -ig (t ) terjed utat definilja a kvetkez fggvny: (t) : = ( 1 ,...,j + t ,...,n ) t + h esetn (t) = (0,...,1,...,0). Ekkor
F + h ( j) F ( ) h

! Ekkor t +h

+ h ( j) 1 =h f (x)dx f (x)dx = a a

+ h ( j) 1 h

+h

f (x)dx =

1 h

f ( (t)), (t)dt =

+h

1 h

fj ( 1 ,...,j + t ,...,n ) dt = fj ( 1 ,...,j + ,...,n ) fj ( 1 ,...,j ,...,n ) ahol valamilyen

alkalmasan vlasztott < < + h szm (az egyenlsg az integrlszmts kzprtk ttelbl kvetkezik). Definci: legyen f : n (egyszersg kedvrt) folytonos, n tartomny. Ha : fggvnyre = f , akkor -t f primitv fggvnynek nevezzk. Megjegyzs: 1. ha f folytonos, akkor = f az -n azzal ekvivalens, hogy j = fj , j. Az llts fordtottja is igaz, -n diffhat, csak ha folytonos is j , j ) 2. A fenti ttel gy is fogalmazhat, hogy ha f : n folytonos fggvnyre L f (x)dx csak L kezd s

mert ha j ltezik s folytonos -n differencilhat -n, f = [ 1 ,..., n ]. (Ha j ltezik

vgpontjtl fgg, akkor f-nek ltezik primitv fggvnye, mgpedig F, amelyre F () = 3. Ha fggvny f-nek primitv fggvnye + c is primitv fggvnye, ahol c . Ttel: tfh f : n folytonos s = f (vagyis f-nek ltezik primitv fggvnye). Ekkor

f (x)dx.

f (x)dx rtke

csak L kezd s vgpontjtl fgg, minden -n halad szakaszonknt folytonosan differencilhat L t esetn. Bizonyts: egyszersg kedvrt elszr tfh L folytonosan differencilhat, : [, ] folytonosan differencilhat, ( ) = a s ( ) = b. L f (x)dx =

f ( (t)), (t)dt =
- 14 -

j =1

fj ( (t)) j (t)dt =

j =1

j ( (t)) j (t)dt =

d( (t)) dt

dt, mely a Newton-Leibniz formula felhasznlsval

= ( ( )) ( ( )) = (b) (a). Ttel: legyen n tetszleges tartomny, f : n folytonos fggvny. Ekkor L f (x)dx rtke csak

L-nek kezd s vgpontjtl fgg brmely -ban halad, szakaszonknt folytonosan differencilhat L t esetn f -nek ltezik primitv fggvnye. Megjegyzs: L f (x)dx rtke csak a kezd s vgpontoktl fgg brmely szakaszonknt folytonosan

differencilhat zrt t mentn az integrl rtke 0.

llts: legyen az f folytonos fggvny primitv fggvnye s F () : =

f (x)dx. Ekkor F = ll az -n.

Bizonyts: az elbbi bizonyts szerint = f esetn ha ( ) = , ( ) = a, F () =

f (x)dx =

d( (t)) dt

dt = () (a), vagyis () F () = (a) konstans.

Krds: milyen jl hasznlhat felttelt tudunk mondani a primitv fggvny ltezsre? Tfh f : n folytonosan differencilhat (vagyis k fj folytonos minden k, j-re). Ekkor , hogy = f , azaz fj = j k fj = k ( j ) , mely a Young ttel szerint = j ( k ) = j fk . Ttel: tfh f : n folytonosan differencilhat fggvny. Ha f-nek ltezik primitv fggvnye k fj = j fk az -n. Krds: a felttel elegend-e, azaz ha k fj = j fk , abbl kvetkezik-e, hogy ltezik f-nek primitv fggvnye? f1 (x1 , x2 ) : = 2 f1 (x1 , x2 )
x2 x s f2 (x1 , x2 ) = 2 1 2 . Beltjuk, hogy 2 f1 = 1 f2 , ugyanis 2 + x2 x1 x1 + x2 2 2 2 2 x1 + x2 + 2 x2 x2 x2 x2 + x2 2x2 x2 x2 = = 22 21 2 . 1 f2 (x1 , x2 ) = 1 2 2 2 21 = 22 21 2 , 2 2 2 (x1 + x2 ) (x1 + x2 ) (x1 + x2 ) (x1 + x2 )

ltalban nem. Tekintsk a kvetkez pldt: : = {(x1 , x2 ) 2 :0 < |x| < 2}. Legyen f : = ( f1 , f2 ), |

de

S 1

f (x)dx 0, ahol S1 az

egysgkr, ami egy [0,2 ) 2 , t (cos t, sin t) fggvny ltal meghatrozott t.

- 15 -

Elz rrl:

f (x)dx =

f ( (t)), (t)dt. Azt vizsgltuk, hogy mi volt a felttele, hogy az integrl

03. 12.

rtke csak a kezd s vgpontoktl fggjn, azaz a = ( ) s b = ( ) rtkektl. Azt tudtuk mondani, hogy akkor fgg csak a kezd s vgpontoktl, hogyha = f j = fj s j folytonos (minden j-re). Ttel: tfh f : &reals; n folytonosan differencilhat fggvny. Ha f-nek ltezik primitv fggvnye k fj = j fk az -n. Krds: abbl, hogy j fk = k fj az -n, kvetkezik-e, hogy f-nek van primitv fggvnye (azaz az integrljnak rtke csak a kezd s vgpontoktl fgg)? ltalban nem. Plda: legyen : = { x 2 :0 < x < 2}, f1 (x1 , x2 ) : =
x2 , f2 : 2 + x2 x1 2

x1 . 2 + x2 x1 2

Lttuk mr, hogy 2 f1 = 1 f2 . M ost beltjuk, hogy az egysgkrvonalon az

integrl rtke nem 0 (ami ellentmond annak, hogy az integrl rtke csak a kezd s vgpontokbl fgg, ami azt jelenten, hogy ltezik f-nek primitv fggvnye). = ( 1 , 2 ), 1 (t) : = cos t, t [0,2 ), 2 (t) : = sin t, t [0,2 ). Ekkor 1 (t) = sin t s 2 (t) = cos t. S 1 f (x)dx =
2 2

f ( (t)), (t)dt =

[ cos 2 t + sin 2 t sin t

(sin t) +

cos t cos 2 t + sin 2 t

cos t dt = 2 0. ]

Kvzi definci: egy 2 tartomnyt egyszeresen sszefggnek neveznk, ha tetszleges, a tartomnyban lev egyszer zrt (szakaszosan) folytonos differencilhat grbt folytonos mozgatssal pontt lehet hzni gy, hogy vgig a tartomnyban maradjunk. Definci: egy n tartomnyt csillagszernek nevezzk, ha a , hogy x esetn az a-t x-szel sszekt egyenes szakasz vgig benne van -ban. (Egyenes szakasz a s x pontok kztt: La,x = {a + t(x a) :t [0,1]}) Ttel: legyen n csillagszer tartomny, f : n folytonosan differencilhat. Ha j fk = k fj , j, k f -nek ltezik primitv fggvnye. Megjegyzs: a ttel kiterjeszthet egy szeresen sszefgg tartomnyokra is. Paramteres integrlok Definci: tfh f : [a, b] [c, d] adott legalbb folytonos fggvny. rtelmezzk a g fggvnyt:
- 16 -

g(x) : =

f (x, y)dy. Ezt nevezzk f paramteres integrljnak. M iket tud ez?

Ttel: ha f C([a, b] [c, d]) g C[a, b]. Bizonyts: legyen x0 [a, b] tetszleges rgztett!
d d |d | |d | | | | | | f (x, y)dy f (x , y)dy| = | ( f (x, y) f (x , y))dy| | f (x, y) f (x , y)|dy. M ivel f |g(x) g(x0 )| = | | | | 0 0 0 | | | | | | | | |c | |c | c c | | | |

folytonos, Df = [a, b] [c, d] korltos s zrt halmaz (ezrt sorozatkompakt is), ezrt f egyenletesen folytonos (Heine ttel). Vve egy tetszleges > 0 szmot, ehhez > 0:|(x, y) (x , y )| < | f (x, y) f (x , y )| < . Speciel x = x0 , y = y. Teht | | | | |x x0 | < | f (x, y) f (x0 , y)| < , y [c, d] |g(x) g(x0 )| (d c). Ttel: ha f folytonos [a, b] [c, d]-n s 1 f az (a, b) (c, d)-n s ltezik folytonos kiterjesztse

[a, b] [c, d]-re, akkor g fggvny folytonosan differencilhat [a, b]-n, s g (x) =
felcserlhetjk a derivlst s az integrlst).
g ( x) g (x0 ) x x0

1 f (x, y)dy (vagyis

Bizonyts: legyen x0 (a, b) x x0 !

d

f (x, y) f (x0 , y) x x0

dy = a Lagrange-fle kzprtk-ttel

felhasznlsval =

1 f ( y , y) dy, ahol y x s x0 kztt van.

d d | | |d | | g ( x) g (x ) | | | | |=| | | f , y f (x , y)|dy 0, mert 0 | x x0 1 f (x0 , y)dy| | ( 1 f ( y , y) 1 f (x0 , y)) dy| 0 1 | | | | | | 1 ( y ) | | |c | c c | | | |

1 f egyenletesen folytonos. A vonalintegrlrl szl ttel bizonytsa Tfh n csillagszer tartomny, f : n folytonosan differencilhat, tovbb j fk = k fj , j, k-ra az -n. Beltjuk, hogy f-nek van primitv fggvnye. Clszer felttel, hogy legyen a = 0, vlasszunk egy x -t,
- 17 -

ekkor La,x = {t x:t [0,1]}. Az a-t x-szel sszekt, folytonosan differencilhat utat a kvetkez : n fggvny hatrozhatja meg: (t) : = t x, t [0,1], x n . Legyen F ( x) : = L0,x f ()d =
1 1 1

f ( (t)), (t)dt =

( k=1

fk ( (t)) xk dt =

( k=1
n

fk (t x) xk dt. Beltjuk,
1

hogy j F (x) = fj (x). M ost F (x)-et differenciljuk xj paramter szerint. F (x) =

1 1

k=1

fk (t x)xk dt.

j k esetn j

fk (t x)xk dt =

j fk (t x)t xk dt,

j = k esetn k

fk (t x)xk dt =

0 n

[ k fk (t x)t xk + fk (t x)]dt
]

Ezrt j F (x) =

[ k=1

j fk (t x)t xk + fj (t x) dt =
n

[ k=1

k fj (t x)t xk + fj (t x) dt. Legyen

gj (t) : = fj (t x)t, ekkor gj (t) =

1

k=1

k fj (t x)xk t + fj (t x), gy

j F ( x) =

gj (t)dt = gj (1) gj (0) = fj (x) 0 = fj (x).

Komplex fggvnytan
Definci: tfh f : rtelmezve van egy z 0 pont egy krnyezetben. Azt monjduk, hogy f differencilhat z 0 -ban, ha lim
z z0 f ( z ) f (z 0 ) z z0

s vges. A limeszt a vals fggvnyek derivlshoz hasonlan gy

jelljk: f (z0 ). A komplex differencilhatsgnak van geometriai szemlletes jelentse is. f (z0 ) , s a komplex szmok trigonometrikus jellsvel legyen ez f (z0 ) : = r(cos + i sin ). Tfh ez nem 0.
z z0 f ( z ) f (z 0 ) z z0

lim

= r(cos + i sin ), gy z0 krnyezetben | | |

f ( z ) f (z 0 ) | | z z0 |

r, mskpp: | f (z) f (z0 )| r||z z0 |. | |

f ( z ) f (z 0 ) z z0

Erre azt mondjuk, hogy f lekpezs limeszben krtart. M srszt arg

arg[ f (z) f (z0 )] arg(z z0 ) , arg[ f (z) f (z0 )] + arg(z z0 ), ez egy z 0 krli szg forgats.

- 18 -

A komplex differencilhatsg szksges felttele Nzzk meg, hogy mit jelent az, hogy g komplex vltozs fggvny differencilhat egy z pontban! gy definiltuk: lim
h 0 g (z + h ) g (z ) h

= g (z). Kt esetet vizsglunk, h: = h1 \{0} az els esetben illetve

g (z + h 1 ) g (z ) h1 h1 0

h: = ih2 , h2 \{0} a msodik esetben. Teht lim

= lim

g (z + ih 2 ) g (z ) ih 2 h2 0

. Tudunk s 2

kztt egy bijekcit ltesteni: J : 2 , x + iy (x, y) ahol x, y . Bizonythat, hogy J lineris bijekci. M int definiltuk, g: , s legyen z: = x1 + ix2 ahol x1 s x2 , tovbb g(x1 + ix2 ) : = g1 (x1 + ix2 ) + ig2 (x1 + ix2 ), ahol g1 : s g2 : . A korbbi J bijekci alapjn legyen g1 (x1 , x2 ) : = g1 (x1 + ix2 ) s g2 (x1 , x2 ) : = g2 (x1 + ix2 ), gy g1 : 2 s g2 : 2 .
g(z + h 1 ) g(z) h1 g(z + ih 2 ) g(z) ih 2

= =

g 1 (x1 + h 1 ,x2 ) g 1 (x1 ,x2 ) h1

+i

g 1 (x1 ,x2 + h 2 ) g 1 (x1 ,x2 ) ih 2

g 2 (x1 + h 1 ,x2 ) g 2 (x1 ,x2 ) h1

1 g1 (x1 , x2 ) + i1 g2 (x1 , x2 ) , i2 g1 (x1 , x2 ) + 2 g2 (x1 , x2 ) Ezrt kell,

+i

g 2 (x1 ,x2 + h 2 ) g 2 (x1 ,x2 ) ih 2

hogy 1 g1 = 2 g2 , 2 g1 = 1 g2 legyen. Ezek a Cauchy-Riemann (parcilis differencil) egyenletek. Cauchy-alapttel: tfh egyszeresen sszefgg s g: differencilhat -n. Ekkor g integrlja brmely szakaszonknt folytonosan differencilhat, -ban halad egyszer zrt grbn 0. Bizonyts: legyen : [, ] szakaszonknt folytonosan differencilhat fggvny, mely egy egyszer szakaszonknt folytonosan differencilhat zrt grbt hatroz meg, ( ) = ( ), (t) , t [, ]. Definci szerint g(z)dz: =

g( (t)) (t)dt (itt az integrandus komplex rtk). (t) = 1 (t) + i 2 (t) (ahol

1 , 2 vals-vals fggvnyek), g(x1 + ix2 ) = g1 (x1 + ix2 ) + ig2 (x1 + ix2 ). Ezek alapjn

g( (t)) (t)dt =

[g1 ( 1 (t) + i 2 (t)) + ig2 ( 1 (t) + i 2 (t))] [ 1 (t) + i 2 (t)]dt. Definiljuk fggvnyt-t a

kvetkezkpp: J ( (t)) = J ( 1 (t) + i 2 (t)) = ( 1 (t), 2 (t)) : = (t) : 2 , t ( 1 (t), 2 (t)), gy az elz integrlban a szorzst elvgezve g(z)dz =

g ( (t)) 1 (t) g2 ( (t)) 2 (t)] dt + i [ g1 ( (t)) 2 (t) + g2 ( (t)) 1 (t)] dt = [ 1

g ( (t)) 1 (t) g2 ( (t)) 2 (t)] dt + i [ g1 ( (t)) 2 (t) + g2 ( (t)) 1 (t)] dt. [ 1

- 19 -

Beltjuk, hogy mindkt tag 0. f : = ( f1 , f2 ) : 2 2 . Elszr legyen f1 : = g1 , f2 : = g2 . Ekkor 2 f1 = 2 g1 s 1 f2 = 1 g2 , (a Cauchy-Riemann egyenletekbl pedig) 2 g1 = 1 g2 , azaz 2 f1 = 1 f2 . gy a vals vonalintegrlokrl szl ttel szerint 0 = L f (x)dx = f ( (t)) 1 (t) + f2 ( (t)) 2 (t)] dt = [ g1 ( (t)) 1 (t) g2 ( (t))] 2 dt. [ 1

M sodszor f1 : = g2 , f2 : = g1 , ebbl kapjuk, hogy a msodik integrl is 0. A Cauchy-Riemann egyenletekbl most 1 g1 = 2 g2 illetve 2 g1 = 1 g2 . Ekkor 1 f2 = 2 f1 , gy 0= L f (x)dx = f ( (t)) 1 (t) + f2 ( (t)) 2 ] dt = [ g2 ( (t)) 1 (t) + g1 ( (t)) 2 ] dt. [ 1

Megjegyzs: a bizonytsokban felhasznltuk, hogy g folytonosan differencilhat, gy felhasznltuk a vals vonalintegrlrl szl ttelt s megjegyzst.

A Cauchy alapttel kzvetlen kvetkezmnyei

Tfh : [, ] szakaszonknt folytonosan differencilhat fggvny egyszer zrt utat hatroz meg, : = R egy egyszer zrt szakaszonknt folytonosan differenclhat grbe -n.

03. 19.

Ttel: egy \ nylt halmaz kt sszefgg komponensbl (rszbl) ll, a kt komponens kzl az egyik korltos, a msik nem. A korltos komponenst nevezzk belsejnek, a nem korltos komponenst klsejnek. Megjegyzs: a ttel lltsa trivilisnak tnhet, bizonytsa mgsem knny. Ttel: legyen , 1 egyszer zrt szakaszonknt folytonosan differencilhat grbe, legyen 1 a grbe belsejben. Tfh ( 1 (belseje( )\(1 belseje(1 )))), vagyis hogy tartalmazza , 1 -t s a kettejk kztti tartomnyt. Legyen g: differencilhat fggvny. Ekkor f (z)dz = 1 f (z)dz.

Bizonyts: a Cauchy alapttelt alkalmazva a , 2 , 1 , 3 utakbl ll szakaszonknt folytonosan differencilhat zrt grbre: 0 = 0= f (z)dz 1 f (z)dz + 2 f (z)dz 1 f (z)dz + 3 f (z)dz, mely limeszben ( 2 3 )

f (z)dz. (Az brn a krljrst lthatjuk, , 1 irnytsa azonos, ramutat jrsval

- 20 -

ellenttes irny. Ez a bizonyts csupn vzlatos, szemlletes.) Ttel: legyenek , 1 , 2 ,...,k egyszer zrt szakaszonknt folytonosan differencilhat grbk, j belseje( ) s l k lseje( j ) ha l j, j, l {0,1,...,k}. Legyen g fggvny differencilhat egy olyan tartomnyban, mely tartalmazza , 1 , 2 ,...,k -t s belseje( )\
(
j =1

2 1

belseje( j ) -t is. Ekkor

f (z)dz =

j =1

f (z)dz.

Cauchy-fle integrlformula Ttel: legyen egyszeresen sszefgg tartomny s egyszer zrt szakaszonknt folytonosan differencilhat grbe (ekkor belseje( ) ) s g diffhat -n. Ekkor belsejben fekv brmely z esetn g( z ) =
1 2i

g()

d.

Bizonyts: legyen K : = { :| z| = } a z kzppont, sugar krvonal. -t olyan kicsinek | | vlasztjuk, hogy K belseje lesz mr. Ekkor a Cauchy alapttel kzvetlen kvetkezmnye szerint z g() d = K z g( ) d, msrszt K z 1 d = 2i, ugyanis = z + cos t + i sin t paramterezs mellett

z = cos t + i sin t erre valban teljesl a K = { : | z| = } kittel , gy K elll a | | : [0,2 ] , (t) = z + cos t + i sin t fggvny segtsgvel (ekkor (t) = sin t + i cos t ): K = R , tovbb K z 1 d = cos t + i sin t g(z) K z 1 d =
2 2

[ sin t + i cos t]dt =

1 2i

0 1 2i

idt = 2i. Ezek szerint

g(z) =

1 2i

g(z)2i =

| | | g( ) g() g( z ) | 1 | g() g(z) | 1 |1 d g(z)| 2 | d d| = 2 | d| |2i | | | | | | K z | |K z |K z | K z | | | | | | | g () g (z ) | 1 2 kerlet( K ) sup | z | < ugyanis |g() g(z)| < ha < 0 , | z| = = lland, | | | | K |1 | g() kerlet( K ) = 2, teht |2i d g(z)| < , > 0 | | | | z | | Cauchy-tpus integrl
- 21

K z

g( z )

d. Vizsgljuk a kvetkez mennyisget:

1 2i

g( )

d = g(z).

Definci: legyen egyszer (nem felttelen zrt) szakaszonknt folytonosan differencilhat grbe. Legyen g: folytonos fggvny! Legyen G(z): = z \. Ttel: G fggvny a \ nylt halmazon akrhnyszor differencilhat s G (k) (z) =
k! 2i 1 2i

g()

d, ezt nevezzk Cauchy-tpus integrlnak, ha

( z) k + 1

g( )

d.

Bizonyts: csak a k = 1 esetet ltjuk be, teljes indukcival a ttel igazolhat. Teht ezt szeretnnk igazolni: G (z ) =
1 2i

( z) 2 =
1 1 h 2i

g( )

d. g() d d = z ] g()
1 2i 1 2i

G( z + h ) G( z ) h

[ z h

h [ z h 1 g( )

d = z] g( )

. G ( z h)( z) h( z h)( z) | G( z + h ) G( z ) | 1 | | g() 1 1 1 1 2i d| = 2 | g() d| = = 2 Vizsgljuk: I = | | | | h [ ( z h)( z) ( z) 2 ] ||| ( z) 2 | | | | | | | | |h| g( ) ( z) ( z h) || |h|| || 1 | g( ) d| = 2 | d| 2| vhossz( ) sup . | | 2 2 z h|| | z|| 2 | | | ( z h)( z) | ( z h)( z) | | | | | =
1 2i

g()

( z) ( z h)

d =

g()

korltos s zrt, ezrt sorozatkompakt is, gy a | z|, folytonos fggvnyhez |

0 :0 < |0 z| = inf | z| | z| 2d ha . Ha |h| d | z h| d, ugyanis | | | | | | | | | : = 2d ( z) 2 g()

z = ( z h) + h | z| | z h| + |h| | z h| | z| |h| = d. | | | | | | I
| h|| 2

vhossz( )

1 d (2d 2 )

0, ha h 0. Teht

G( z + h ) G( z ) h

1 2i

d = G (z).

Spec eset: egyszer zrt szakaszonknt folytonosan differencilhat grbe, z belseje( ), g differencilhat egy -t tartalmaz egyszeresen sszefgg tartomnyon. Ekkor g(z) = utbbi ttel szerint pedig g (k) (z) =
k! 2i 1 2i

g( )

d, az

( z) k + 1

g( )

d. Eszerint ha egy komplex fggvny egyszer

differencilhat, akkor akrhnyszor differencilhat. A primitv fggvny s a vonalintegrl kapcsolata Ttel: tfh g folytonos egy tartomnyon, tovbb g(z)dz vonalintegrl rtke tetszleges -ban halad

egyszer szakaszonknt folytonosan differencilhat grbe esetn annak csak a kezd s vgpontjaitl fgg.
- 22 -

Legyen a rgztett, z vltoz pont, (z) : =

g()d. Ekkor (z) = g(z).

Bizonyts:

(z + h ) (z ) h

z z +h = g()d g()d = a a 1 h

z +h 1 h

(z + h) (z) g()d. Vizsgljuk: | g(z)||| = = | h |

z +h | z +h | | | |1 1 g()d h g(z)d| = |h | | | | z | z | |

1 || h||

| z +h | | | | (g() g(z))d|| | | | | z | | |

1 || h||

|h| |

L (z,z + h )

sup

|g() g(z)|, mely 0-hoz tart, ha |h|| is. | |

Kvetkezmny: (Morera ttele) tfh g egy tartomnyon rtelmezett folytonos fggvny, amelynek az -ban halad egyszer szakaszonknt folytonosan differencilhat grbken vett integrlja csak a kezd s vgpontoktl fgg. Ekkor g differencilhat -n (vagyis akrhnyszor differencilhat). Ugyanis elbbi ttel szerint a (z) =
z

g()d fggvnyre differencilhat s (z) = g(z),teht egyszer differencilhat, ezrt

akrhnyszor, gy g is akrhnyszor. Definci: ha f az tartomny minden pontjban differencilhat, akkor f-et holomorfnak nevezzk 03. 26. -n.

Taylor-sorfejts komplex fggvnyeken

Lemma: legyen egyszer, szakaszonknt folytonosan differencilhat grbe, s legyenek fk : folytonos fggvnyek, k . Tfh a

k=1

fk = f sor egyenletesen konvergens. Ekkor f is folytonos (valsban

bizonytottuk, de llts, hogy komplexben is gy van). Ekkor az sszegzs felcserlhet.

f (z)dz =

k=1

fk (z)dz, vagyis az integrls s

Bizonyts: legyen : [, ] , R = , szakaszonknt folytonosan differencilhat. Ekkor f (z)dz =

f ( (t)) (t) s

fk (z)dz =

fk ( (t)) (t), gy

- 23 -

f (z)dz =

[ f ( (t))] (t)dt =

f ( (t)) (t) dt = f ( (t)) (t)dt = f (z)dz. k k [ k ] k=1 k=1 k=1

szakaszonknt folytonos

Egyenletes konvergencia
Weierstrass-ttele komplex fggvnyekre Definci: legyen fk : , fk C( D f k ) , tartomny. Azt mondjuk, hogy a f = f az belsejben k
k=1

egyenletesen konvergens, ha K sorozatkompakt halmaz esetn a sor K-n egyenletesen konvergens. Weierstrass ttele: legyen tartomny, fk : fggvnyek holomorfak, tovbb belsejben egyenletesen konvergens. Ekkor 1. f : =

k=1

fk sor a

k=1

fk is holomorf fk

2. f =

k=1

3. az utbbi sor is egyenletesen konvergens belsejben Kvetkezmny: f ( j ) =

k=1

fk( j ) is egyenletesen konvergens belsejben.

Bizonyts: 1. egyrszt tudjuk, hogy f =

k=1

fk folytonos -n (hiszen a sor belsejben egyenletesen konvergens).

Legyen z 0 rgztett pontja. Beltjuk, hogy f differencilhat z 0 egy kis Kr (z0 ) krnyezetben. Vegynk egy Kr (z0 )-ban halad, egyszer szakaszonknt folytonosan differencilhat zrt grbt. Beltjuk, hogy f (z)dz = 0 f holomorf Kr (z0 )-n (M orera ttele miatt). Az elbbi lemma alapjn

- 24 -

f (z)dz =

-n egyenl. konv.

f (z ) k k=1

dz =

k=1

fk (z)dz = 0.

2. a Cauchy-fle integrlformula szerint ha z a Kr (z0 ) : = {z:|z z0 | = r} krvonal belsejben van, akkor | f (z ) =

1 2

Kr (z 0 ) z

f ( )

d. Ekkor

f (z ) =

1 2i

Kr (z 0 ) ( z) 2

f ( )

d =

1 2i

Kr (z 0 ) ( z) 2
k=1

fk ()

d =

k=1

2i K

r ( z 0 ) (

fk ()

z)

d =

k=1

fk (z) (itt is

felhasznltuk a sor egyenletes konvergencijt Kr (z0 )-n). Tovbbi kvetkezmny: tekintsk a

k=0

ck (z z0 ) k hatvnysort! Tfh ennek konvergencia sugara R > 0. Tudjuk,

hogy |z z0 | < R esetn a sor konvergens, ill minden R-nl kisebb sugar, z 0 kzppont krben a hatvnysor egyenletesen konvergens. M ivel fk (z) = ck (z z0 ) k holomorf fggvny, s az fk fggvnyekbl ll sor a konvergencia sugr belsejben egyenletesen konvergens, gy a Weierstrass ttelbl kvetkezen a sor sszege is holomorf, s a sor tagonknt akrhnyszor derivlhat. Tovbb f (z) : =

k=0

ck (z z0 ) k , mivel a sor most is

f ( k ) (z 0 ) . k!

(komplex rtelemben) tagonknt differencilhat, ezrt egyszer szmolssal kapjuk: ck =

Definci: tfh f holomorf fggvny z 0 egy krnyezetben. Ekkor az f fggvny Taylor sort gy rtelmezzk:

f ( k ) (z 0 ) k!

k=1

(z z 0 ) k .

Ttel: legyen tartomny, tfh f holomorf -n, z 0 . Tekintsk az f fggvny Taylor-sort z 0 krl! Ekkor f (z) =

f ( k ) (z 0 ) k!

k=0

(z z0 ) k , ahol z BR (z0 ), BR (z0 ) : = {z:||z z0 | < R} az a maximlis sugar z 0

kzppont kr, amely BR (z0 ) . Plda: legyen f (z) : = Ekkor

1 1 z 1 1 z

, ekkor f holomorf az \{1} tartomnyon. Fejtsk Taylor-sorba f-t a z 0 = 0 krl!

k=1

z k . A sor |z| < 1 esetn konvergens, |z| 1 esetn divergens, teht csak akkor igaz az elbbi | |

egyenlsg, ha |z| < 1 . |

- 25 -

Bizonyts: legyen z BR (z0 ), ekkor r-t gy vlasztjuk, hogy |z z0 | < r < R. Jelljk: Kr (z0 ) : = {z:|z z0 | = r}. Alkalmazzuk a Cauchy- fle integrlformult Kr (z0 )-ra s z-re: | f (z ) =
1 2i

Kr (z 0 ) z

f ( )

1 d. A nevez: z =

( z 0 ) ( z z 0 )

1 1 z 0 1 z z0

z0

z z (ez azrt j, mert | z 0 | < 1, ugyanis | 0| | |

|z z0 | < r = | z0 | ). Teht

1 z

1 z0

k=0

( z0 ) z z0

k=0

( z 0 ) k + 1

(z z 0 ) k

. A sor egyenletesen konvergens, ha

Kr (z0 ) a Weierstrass kritrium szerint. gy f (z ) =

1 2i

Kr (z 0 )

f ( )

k=0

( z 0 )
k! 2i

(z z 0 ) k

d = k+1 f ( )

k=0

(z z 0 ) k

d = c (z z0 ) k . Ugyanis k Kr (z 0 ) ( z0 ) k + 1 2i k=0
: = ck f ( k ) (z 0 ) . k!

f ( )

tudjuk, hogy f (k) (z0 ) =

Kr (z 0 ) ( z0 ) k + 1

d ck =

Kvetkezmny: tfh f, g holomorf fggvnyek tartomnyon s z j , j + , zj \{z0 } : f ( zj ) = g( zj ) , ahol lim zj = z0 . Ekkor f (z) = g(z), z . Bizonyts: 1. elszr beltjuk, hogy f (z) = g(z), z BR (z0 ) . Fejtsk Taylor-sorba mindkt fggvny, f-t s g-t is z0 krl. f (z) =
k=1

ck (z z0 ) k , g(z) =

k=0

dk (z z0 ) k , f ( zj ) = g( zj ) , gy

2 2 f ( zj ) = c0 + c1 ( zj z0 ) + c2 ( zj z0 ) + ... = d0 + d1 ( zj z0 ) + d2 ( zj z0 ) + ... = g( zj ) c0 = d0 0 ha z j z0 , mivel a f C (z 0 ) 2 (zj 0

, gy c1 ( zj z0 ) + c2 ( zj z0 ) 2 + .., = d1 ( zj z0 ) + d2 ( zj z0 ) 2 + ... M ivel zj z0 , ezrt oszthatunk z + ... = d1 + d2 ( zj z0 ) + ... c1 = d1 , s gy tovbb, teht 0 ) folytonos, 0 folytonos, 0 ck = dk , k f (z) = g(z), z BR (z0 ). zj z0 -lal: c1 + c

2. legyen z tetszleges! Kssk ssze z0 -t s z-t egy vges sok egyenes szakaszbl ll trtt vonallal. inf { (, ) : } : = > 0. M ost z-t s z 0 -t sszektjk egy sugar krkbl ll krlnccal, ezeken f (z) = g(z), az egyms utni krkn. Spec eset: g(z) 0, f ( zj ) = 0,zj \{z0 }, j + , lim zj = z0 f (z) = 0, z.

Definci: legyen f holomorf fggvny tartomnyon, z 0 Azt mondjuk, hogy z 0 az f fggvnynek n-szeres gyke, ha f (z0 ) = f (z0 ) = ... = f (n 1 ) (z0 ) = 0, f (n ) (z0 ) 0.
- 26 -

llts: z0 az f-nek n-szeres gyke f (z) = (z z0 ) n g(z), ahol g holomorf z 0 egy krnyezetben s g(z0 ) 0. Bizonyts: irnyban: tfh f (z0 ) = f (z0 ) = ... = f (n 1 ) (z0 ) = 0, f (n ) (z0 ) 0. Fejtsk Taylor-sorba z 0 krl: f (z ) =
k=1

f ( k ) (z 0 ) k!

(z z 0 ) k =
f ( n) (z 0 ) n!

k=n

f ( k ) (z 0 ) k!

(z z 0 ) k = (z z 0 ) n

(z z0 ) k n . g holomorf z0 k! k = n
g (z )

f ( k ) (z 0 )

krnyezetben: g(z0 ) =

0.

irnyban: f (z) = (z z0 ) n g(z), g holomorf s g(z0 ) 0. g-t sorba fejtjk z 0 krl: g(z) =

l =0

cl (z z0 ) l , c0 0

f (z) = (z z0 ) n g(z) = mivel c0 0.

f Taylor sorfejtsnl az els n db egytthat 0. f (z0 ) = 0, f (z0 ) = 0,..., f (n 1 ) (z0 ) = 0, f (n ) (z0 ) 0,

l = 0

cl (z z0 ) l + n = c0 (z z0 ) n + c1 (z z0 ) n + 1 + ... Leolvashatjuk, hogy

Egsz fggvnyek, Liouville ttele Definci: ha f fggvny holmorf -n, akkor f-t egsz fggvnynek nevezzk. Liouville ttele: ha f egsz fggvny korltos f lland. Bizonyts: tudjuk, hogy f holomorf -n. Fejtsk Taylor-sorba z 0 = 0 krl! Legyen Kr : = {z :|z| = r}, Mr : = sup{| f ()|, || = r}, ekkor z -re f (z) = || | | | ck =
f ( k ) (0 ) k!

k=0

ck z k ,

1 2i

Kr k + 1

f ( )

d |ck | =
M , rk

1 2

| f ( ) | | | | k + 1 d| | Kr z | | |

1 2

2r

r k +1

Mr

Mr rk

. Ha speciel f korltos, Mr M

(r-tl fggetlenl), gy |ck |

r k 1 esetn ck = 0, f (z) = c0 . 04. 02.

Az algebra alapttele
Ttel: legyen P egy legalbb elsfok, komplex egytthats polinom! Ekkor mindig z 0 :P(z0 ) = 0. Bizonyts: indirekt feltesszk, hogy P(z) 0, z . Ekkor P(z) = an z n + an 1 z n 1 + ... + a1 z + a0 , n 1,an 0. | P1z ) | = | ( | | |
- 27 -

1 P

holomorf fggvny. Beltjuk, hogy korltos is. =

1 , z n ||| a n + a n 1 z 1 + ...+ a 1 z n +1 + a 0 z n | | |
| an | ha z |

1 | P(z )|

gy

korltos a Weierstrass-ttel miatt, hiszen |1 | folytonos, a sugar kr sorozatkompakt. |P | holomorf (Liouvielle-ttel)

1 P

a0 a a1 r, hogy |an + nz1 + ... + n 1 + z n | | | | | z

|a n | 2

ha |z| r, teht > 0:|z| > | ||

1 || P(z )||

1. |z| esetn || P1z ) || | | ( |

1 P

korltos, msrszt

= ll. P = ll., de ez meg ellentmond annak, hogy n 1.

Az exponencilis, a szinusz s koszinusz fggvnyek komplex vltozkon (Kalkuluson sz volt az exponencilis, a szinusz s koszinusz hatvnysorrl a valsban. Ezeket kaptuk: ex = k!

xk

k=0

, x , a konvergencia sugr vgtelen. sin x = x x ! + x ! ... + , illetve 3 5

2 4

cos x = 1 x ! + x ! ... + , Akkoriban lehetett volna gy is definilni a fggvnyeket, s az akkori 2 4 defincikat meg igazolni. Ha gy tettk volna, a komplexes ltalnosts knnyebb volna.) Legyen definci szerint e z : =
3 5

k=0

k!

zk

, z , a konvergencia sugr ugyanaz, mint valsban, valamint

2 4

sin z: = z z ! + z ! ... + , tovbb cos z: = 1 z ! + z ! ... + , . A hatvnysoros defincis segtsgvel 3 5 2 4 belthat, hogy ez 1 + z 2 = ez 1 ez 2

k=0

k! l! l =0

k z1

l z2

. A sor abszolt konvergens, gy szabadon cserlgethetk a 1

n

szorztnyezk:.

ez 1 + z 2

n =0

(z 1 + z 2 ) n
n!

n n k n z1 z2 k z k z n k = = , ahol n! 1 2 [ k! (n k) ! ] n =0 k = 0 k n =0 k=0

felhasznltuk a binomilis ttelt. Kvetkezmny: legyen z , (x, y) 2 , z: = x + iy. Ekkor e z = e x + iy = e x e iy , iy y2 y4 y y3 y5 (iy) 2 (iy) 3 e iy = 1 + 1 ! + 2 ! + 3 ! + ... = 1 2 ! + 4 ! ... + , + i1 ! 3 ! + 5 ! ... + , = cos y + i sin y, gy e iz = (1 z ! + z ! ... + , ) + i( 1z! z ! + z ! ... + , ), 2 4 3 5
2 4 3 5 2 4 3 5

e z = e x (cos y + i sin y), valamint |e z | = e x = e (z ) , arg e z = y = (z),

e iz + e iz 2
2 4

e iz = (1 z ! + z ! ... + , ) + i( 1z! + z ! z ! + ... , + ), gy 2 4 3 5

e iz e iz 2i

= 1 z ! + z ! ... + , = cos z, 2 4

valamint

z 1!

z ! + z ! ... + , = sin z. Ezek igazak z . Komplexben is igaz, hogy 3 5

e ] +[ 2
iz e iz

sin 2 z + cos 2 z = 1, merthogy sin 2 z + cos 2 z = [ e

iz + e iz

2i

] =
2

e 2iz + e 2iz + 2 4

+e

2iz + e 2iz 2

2 +2 4

= 1, valamint az sszes tbbi

formula, ami valsban is igaz volt (periodicits, parits). e z periodikus 2i szerint, ugyanis
- 28 -

e z + 2i = e z e 2i = e z (cos(2 ) + i sin(2 )) = e z . Ami mskpp van: valsban |sin x| 1 |cos x|, mert | | sin 2 x + cos 2 x = 1 s sin 2 x 0, cos 2 x 0 , de komplexben ez gy nem igaz. M egemltend, hogy e z 0, z , mert e z = e x (cos y + i . sin y) >0
abszolt rtke 1

Izollt szingulris pontok, Laurent-sorfejts

Definci: ha tartomny, f : holomorf egy z 0 pont kivtelvel, akkor z 0 t izollt szingulris pontnak nevezzk. Cl: f-et szeretnnk valamilyen sorba fejteni z 0 krl. Tfh z0 egy izollt szingulris pont, f holomorf a : = {z :0 < |z0 z| < R} tartomnyon, ahol 0 < R . | Vlasszuk r 1 , r2 szmokat: 0 < r 1 < r2 < R. z esetn r 1 , r2 megvlaszthat gy, hogy 0 < r1 < |z z0 | < r2 < R . Nem nehz beltni, hogy a Cauchy-fle integrlformula szerint f (z ) =
1 z 1 2i

S r z 2

f ( )

1 d 2i

S r z 1 =

f ( )

d. Sr 2 esetn ( z0 )

1 ( z 0 ) ( z z 0 )

1 1 z 0 1 z z0

z0

1 z0

z z0

n =0

n +1 n = 0 ( z 0 )

(z z 0 ) n

, a sor egyenletesen konvergens

Sr 2 esetn. Ha Sr 1 ,
1 z

1 ( z 0 ) ( z z 0 )

1 z z0

1 z z 0
0

1 z z0

m=0

( z z0 )

z0

m=0

(z z0 ) m+ 1 . Ekkor

( z 0 ) m

. Vezessk be az

m + 1 = : n m = : n 1 j indexvltozt, gy S r

1 z

n +1 n = 1 ( z 0 )

(z z 0 ) n

f (z ) =

1 2i

f ( ) 1

n =0

( z 0 ) n + 1 f ( )

(z z 0 ) n

d +

1 2i

S r

f ( )

n = 1

( z 0 ) n + 1 1

(z z 0 ) n

d =

n =0

(z z 0 ) n

2i S r2 ( z0 ) n + 1
n

d +

n = 1

(z z 0 ) n

2i S r1 ( z0 ) n + 1
1 2i

f ( )

d = S r ( z0 ) n + 1 f ( )

n =

(z z 0 )

2i S r ( z0 )

f ( )

n +1

d = :

n =

cn (z z0 ) n , ahol cn : =

d,0 < r < R .

(A Cauchy-alapttel kvetkezmnye miatt vehetnk Sr 1 , Sr 2 helyett Sr -et.) Ttel: tfh f holomorf az : = {z :0 < |z z0 | < R} tartomnyon, ( 0 < R ). Ekkor z esetn

- 29 -

f (z ) =

n =

cn (z z0 ) n , ahol cn =

1 2i

S r ( z0 ) n + 1

f ( )

d. Ezt nevezzk f Laurent sorfejtsnek.

Megjegyzs: a Laurent sorfejts egyrtelm. Ugyanis nem nehz beltni, hogy ha f (z ) =

n =

cn (z z0 ) =

n =

dn (z z0 ) n dn = cn . A Laurent sorfejts egyenletesen konvergens

belseje()-n, azaz minden -ban fekv sorozatkompakt halmazon. Az izollt szingulris pontok osztlyozsa f (z ) =

n =

cn (z z0 ) =

c (z z 0 ) + c (z z 0 ) n . n n n = n = 0
frsz regulris rsz

1. Ha cn = 0, n esetn, akkor z 0 megszntethet szingularits, f (z0 ) : = c0 < . 2. Ha vges sok negatv index egytthat nem 0, akkor z0 -t plusnak nevezzk (az ilyen egytthatk szma a plus rendje). 3. Ha vgtelen sok negatv indexre az egytthat nem 0, akkor z0 -t lnyeges szingularitsnak nevezzk. Definci: a Laurent sorfejtsben a c 1 egytthatt a fggvny z 0 -beli reziduumnak nevezzk. Rezz 0 f : = c 1 = M egjegyzs: S r
1 2i

S r

f ()d

f ()d = 2i Rezz 0 f .

Reziduum-ttel: tfh f holomorf az tartomnyon a z 1 , z2 ,...,zk izollt szingulris pontok kivtelvel. Ekkor vve olyan egyszer zrt szakaszonknt folytonosan differencilhat grbt, amely -ban van a belsejvel egytt, z 1 , z2 ,...,zk belseje( ) f ()d =
k 1 2i k

j =1

Rezz j f . Bizonyts:

f ()d =

j = 1 S j

f ()d =

j =1

2iRezz j f .

Reziduum kiszmtsa plus esetn Tfh f fggvnynek z 0 -ban m-edrend plusa van: f (z ) =
(z z 0 )

cm

m 1 (z z 0 )

cm +1

1 + ... + z z + c0 + c1 (z z0 ) + ... 0

- 30 -

hatvnysor. [ d m 1 ( f (z)(z z0 ) m )]
m 1

f (z)(z z0 ) m = c m + c m+ 1 (z z0 ) + ... + c 1 (z z0 ) m 1 + c0 (z z0 ) m + c1 (z z0 ) m+ 1 + ... Ez mr

dz z = z0

= c 1 (m 1) ! Rezz 0 f = c 1 =

1 (m 1 ) !

d m 1 [ dz m 1

( f (z)(z z0 ) m )]

z = z0

. llts: az f fggvnynek z 0 -ban m-edrend plusa van g(z) : = f (z)(z z0 ) m holomorf s g(z0 ) 0. Ugyanis f (z)(z z0 ) m = c m + c m+ 1 (z z0 ) + ... 0 llts: ha h holomorf fggvny z 0 -ban s h-nak z 0 -ban m-szeres gyke van, akkor az f = -ban m-edrend plusa van. Bizonyts: h(z) = (z z0 ) m h1 (z), h1 (z0 ) 0, h1 holomorf. f (z) = g(z) : = f (z)(z z0 ) m =
1 h 1 (z ) 1 h (z ) 1 h

fggvnynek a z0

(z z 0 )

m h (z ) , 1

holomorf, g(z0 ) =

1 h 1 (z 0 )

0.

A reziduum kiszmtsnak kt egyszer esete: 1. tfh h-nak z0 -ban egyszeres gyke van, vagyis h(z) = (z z0 )h1 (z), h1 (z0 ) 0. f = 1 -nak z0 -ban h elsrend plusa van. m = 1 esetre Rezz 0 f = [ f (z)(z z0 )]z = z 0 = h (z )0
z z

z = z0

= lim

z z0 z z 0 h (z )

= lim

z z0 h ( z ) h (z 0 ) z z0 0

= lim

z z 0 h( z) h( z0 ) z z0

1 h (z 0 ) 0

2. tfh f = , ahol holomorf z 0 -ban, viszont -nek elsrend plusa van itt. Rezz 0 f = ? (z) = c0 + c1 (z z0 ) + c2 (z z0 ) 2 + ..., = f (z) = (z) (z) =
c0 d 1 z z0 d 1 z z0

+ d0 + d1 (z z0 ) + d2 (z z0 ) 2 + ..., gy

+ (c0 d0 + c1 d 1 ) + (c2 d 1 + c1 d0 + c0 d1 )(z z0 ) + ...,

Rezz 0 f = c0 d 1 = (z0 ) Rezz 0 . Alkalmazs: a reziduum ttel alkalmazsa a (vals) improprius integrlok kiszmtsra 1 + x2

cos x

dx =

cos x + i sin x 1 + x2

dx =

1 + x2

ei x

dx. z

e iz 1 +z2

izollt szingularits z = i -ben, mshol holomorf. 04. 16.

- 31 -

1 + x2

ei x

dx = lim

R R

ei x 1 + x2 e iz

dx. Legyen R az SR -rel jellt flkrvonal s a [R, R] intervallum

R

egymsutnja, ekkor
R

R 1 + z 2
R (

dz =

1 + z2

e iz

dz +

S R 1 + z 2

e iz

dz , teht

R R

lim

ei x 1 + x2

dx = lim

e iz 1 + z2
e iz 1 +z2 )

dz

S R 1 + z 2

e iz

dz

A reziduum ttel alapjn

R 1 + z 2
e iz 1 +z2

e iz

dz = 2i Rezi (z

. A reziduum kiszmtshoz vegyk szre, hogy

= e iz 1 2 Rezi ( ) = (i) Rezi ( ) = (i) . 1 , ahol h(z) = 1 + z 2 , gy h (i ) 1 +z f Rezi ( f ) = e 1

1 2i

R 1 + z 2
R S

e iz

= 2i e 12i = e iz

M ost beltjuk, hogy lim

2 R1+z

= 0 . A szmts sorn felhasznljuk, hogy |e iz | = e (iz ) 1 , s hogy | |

| | e iz | iz | |1 + z 2 | |z 2 | 1 = |z|2 1 . | dz| R sup | e 2 | R 21 = R 21 0 , ha R , gy | | | | | | | R 1 | z|| 1 |S R 1 + z 2 | z S R |1 + z | | | 1 + x2

ei x

dx = lim

R R

e iz 1 + z2

dz =

Komplex fggvnyek inverze Elszr az n. loklis inverz ltezst vizsgljuk. llts: tfh f holomorf a z 0 pont egy krnyezetben. Ha f '(z0 ) = 0, akkor f-nek nincs loklis inverze, semmilyen kis krnyezetben, ha f '(z0 ) 0, akkor f-t a z 0 pont elg kis krnyezetre leszktve, f-nek ltezik inverze, az inverz fggvny rtelmezve s holomorf a w0 = f (z0 ) pont egy krnyezetben. Megjegyzs: abbl, hogy f '(z) 0, z f injektv. Pldul nzzk az f (z) = e z fggvnyt, mely 2i szerint periodikus, vagyis f (z + 2i) = f (z) . Ez a fggvny teht nem injektv, pedig f '(z) = (e z )' = e z 0, z .
- 32 -

llts: az f (z) = e z fggvny injektv az : = { z = x + iy: x ,0 y < 2 } -n s Rf = \{0} . Bizonyts: legyen w \{0} s e z = w . z = x + iy e z = e x + iy = e x (cos y + i sin y) , valamint w = r e i = r (cos + i sin ) , ahol r = |w|| , [0,2 ) = arg w . e x = r = |w| x = ln|w| , y = = arg w , | | | teht e z = w z = x + iy = ln|w| + i arg w . | | Az elbbiek alapjn szeretnnk definilni a termszetes alap logaritmust a komplex szmokon. Definci: w \{0} esetn legyen log w: = ln|w| + i arg w . (A logaritmus fggvny rtelmezhet minden | | olyan tartomnyon, ahol az argumentum egyrtelmen rtelmezhet. M ivel log(z) = ln z , ha z tisztn vals, olykor log z helyett ln z jellst hasznljuk, mg ha z nem is tisztn vals.)

Konform lekpezsek
Definci: legyen tartomny. Ha f : holomorf s f '(z) 0, z , akkor f-t konform lekpezsnek nevezzk. Konform lekpezsek alapttele: legyen egyszeresen sszefgg tartomny, melynek legalbb 2 hatrpontja van. Ekkor ltezik egyetlen f konform lekpezs, amely -t a egysgkrre kpezi injektv mdon gy, hogy egy adott z0 pontra f (z0 ) = 0 , arg f '(z0 ) = adott. Plda: flsk konform lekpezse az egysgkrre. : = {z :(z) > 0} , K1 : = {w :|w| < 1} . | | f (z ) : =
|| z z 0 || || z z 0 || z z 0 i e z z0

, ahol a fellvons a komplex konjugls. Lthatjuk, hogy f holomorf -n, s (z) > 0 miatt
z z z z K1 w K1 . Ha (z) = 0 , akkor | z z 0 | = 1 , ha (z) < 0 | z z 0 | > 1 , vagyis ekkor w | | | | 0 | | 0 | |

<1

z z0 z z 0

a K1 -en kvl van. Alkalmazs ramlstani feladatokra Skbeli az ramls, ha az ramls sebessge egy (x, y) 2 pontban (u(x, y), v(x, y)) , ahol u(x, y) : = u(x + iy) ,

v(x, y) : = v(x + iy) , w( x, y) : = (u(x, y), v(x, y)) , w(x + iy) : = u(x + iy) + iv(x + iy) , w(x + iy) = u(x + iy) i v(x + iy) .

Bizonyos fizikai felttelek teljeslse esetn az ramls divergencia- s rotcimentes, vagyis 0 = div w : = differencilegyenletek w holomorf fggvny ( u s v folytonosan differencilhat). A w fggvnynek ltezik
- 33 -

u x

v + d y s 0 = rot w =

v x

u y

. A w fggvnyre teljeslnek a Cauchy-Reimann parcilis

F = w = u iv u= primitv fggvnye, f '(z) : = w , F: = f + ig . Ekkor f g F = x + i x ezrt F-re is teljeslnek a C-R egyenletek:

f x

f x

,v=

g x

. M ivel F holomorf, =
f y

g y

f y

g x

u=

f x

g , v y

g x

. A fizikban

f-et a sebessg potenciljaknt definiljuk. Beltjuk, hogy g az ramvonalak mentn lland. ramvonal: olyan

(, ) : [, ] 2 folytonosan differencilhat grbe, melynl

( (t), (t)) (u( (t), (t)), v( (t), (t))), t [, ] , vagyis melynl a grbe rintvektora prhuzamos a helyi sebessgvektorral. Ekkor u( (t), (t)) = (t) (t) v( (t), (t)) = (t) (t) u( (t), (t)) (t) v( (t), (t)) (t) = 0 A C-R egyenletekbl kvetkezket felhasznlva, majd a kzvetett fggvny derivlsra vonatkoz sszefggsbl
g ( (t ), (t )) (t ) y

/ (t ) / (t )

g ( (t ), (t )) (t ) x

=0

d dt

[g( (t), (t))] = 0 , teht a t g( (t), (t))

fggvny lland.

Lebesgue-integrl
A Reimann integrl htrnyai: csak vges intervallumon s korltos fggvnyek esetn rtelmezhet kzvetlenl az integrl s a limesz felcserlhetsge csak egyenletes konvergencia esetn lehetsges nevezetes fggvnyterek nem vezethetk be Definci: legyen I valamilyen n -beli intervallum, azaz I : = I1 I2 ... In , ahol Ij = [ aj , bj ] egydimenzis intervallumok. Ekkor az I Lebesgue mrtke: (I ) : = (I1 ) (I2 ) ... (In ) , ahol ( Ij ) = bj aj . Definci: egy A n halmazt nullmrtknek neveznk, ha > 0 szm esetn az A halmaz lefedhet megszmllhatan (vges vagy vgtelen) sok intervallummal gy, hogy azok mrtknek sszege , vagyis

- 34 -

A I
k=1

, I k

k=1

Ik . ( )

Pldk: 1. minden megszmllhatan (vges vagy vgtelen) sok pontbl ll halmaz n -ben nullmrtk. Legyen > 0 tetszleges. Az i-edik pontot lefedjk egy Ii kis intervallummal gy, hogy mrtke az els pontot pldul egy nullmrtk 2. 2 -ben egy egyenes szakasz nullmrtk, ugyanis lefedhet tetszlegesen kis magassg tglalappal 3. 2 -ben minden egyenes is nullmrtk. Ehhez beltjuk, hogy megszmllhatan vgtelen sok nullmrtk halmaz unija is nullmrtk: A: = Aj , ekkor az els
j =1 2 2i

legyen, teht

mrtk intervallummal. M ivel

k=1

2k

= , gy az emltett halmaz valban

ponthoz hasonlan Aj -t befedjk egy legfeljebb mrtkvel, vagyis A1 -t egy legfeljebb legfeljebb
22 2

2j

-vel, A2 -t egy 2k

-tel... gy felhasznlva ismt a

k=1

= sszefggst, lthatjuk, hogy az emltett halmaz

valban nullmrtk. Teht lttuk, hogy 2 -ben megszmllhatan sok nullmrtk halmaz unja is nullmrtk. De ez nem 04. 23. csak 2 -ben igaz, az rvels hasonl ltalnos esetben. Legyen Aj nullmrtk, beltjuk, hogy Aj
j =1

nullmrtk.

- 35 -

A1 I1,k ,
k=1

k=1

I ( 1,k )

A2 I2,k ,
k=1

k=1

I ( 2,k )

22

Aj I j,k ,
k=1

k=1

I ( j,k )

2j

Ezek az I j',k intervallumok megszmllhatan vgtelen sokan vannak, mert sorba rendezhetjk ket (tblzatba rendezve ket, az tlk mentn a sorrend: I1,1 , I1,2 , I2,1 , I1,3 , I2,2 , I3,1 ), ekkor pedig uni is nullmrtk. Elz rn lttuk, hogy 2 -ben egy egyenes nullmrtk, ugyanis megszmllhatan vgtelen sok nullmrtk halmaz unija. Hasonlan, 3 -ben egy sk nullmrtk... 2 j'

j' = 1

= miatt az

Lpcss fggvnyek integrlja

Definci: legyen f : n olyan fggvny, hogy vges sok intervallumban nem 0 lland, mshol 0. Ekkor f-t lpcss fggvnynek nevezzk. Definci: legyen f lpcss fggvny, mely az Ik intervallumon ck -val egyenl. Ekkor Belthat, hogy a definci egyrtelm. A lemma Legyen ( fj ) lpcss fggvnyek monoton cskken sorozata, amelyre lim fj (x) = 0, x {\A} ,
j

f: =

k=1

ck (Ik ) .

ahol A nullmrtk halmaz. Ezt gy mondjuk, hogy a limesz majdnem x-re vagy majdnem mindentt 0. Ekkor az integrlok lim
j

fj = 0 sorozata . (Bizonyts nlkl.) fj

B lemma Legyen ( fj ) lpcss fggvnyek egy monoton nv sorozata, amelyre az integrlok sorozata fellrl korltos,

fj C , j lim fj vges. Ekkor majdnem minden x n pontra lim fj (x) is vges. j

- 36 -

Bizonyts: legyen M0 : = { x n : lim fj (x) = } ! Ekkor beltand, hogy M0 nullmrtk. Tetszleges j rgztett > 0 esetn legyen M, j : = { x n : fj (x) > C } ! M ivel ( fj ) monoton nv, ezrt
N

M,1 M,2 M,3 M,N = M, j . Jelljk: M : = { x n : j : fj (x) > C } . Ekkor j =1 M = M, j , M0 M , > 0 . M, j vges sok diszjunkt intervallum egyestse, melyek mrtknek
j =1

sszege , j , mert ha nem gy lenne, akkor az

j =1

fj >

= C ellentmondsra vezetne. Teht

M = M, j megszmllhatan vgtelen sok intervallum unija, M,1 M,2 ... (M,1 ) (M,2 ) ... (M ) = nullmrtk. Definci: jellje C1 az olyan f : n fggvnyek sszessgt, amelyekhez lteznek lpcss fggvnyek monoton nveked olyan ( fj ) sorozata, hogy f (x) = lim fj (x) majdnem minden x-re s
j

j =1

M, j

. M0 M , > 0 M0

fj

sorozat

fellrl korltos lim

fj < . f -t gy szeretnnk rtelmezni: f : = lim

j

Megjegyzs: tfh f C1 . Ekkor az

fj . Krds:

1. egy ilyen definci egyrtelm lenne-e, vagyis fgg-e az ( fj ) sorozat megvlasztstl? 2. Ha spec. f lpcss fggvny, akkor a rgi s az j definci azonos-e? Ttel: legyenek f , g C1 , f g , ( fj ) s ( gj ) lpcss fggvnyek monoton sorozata gy, hogy lim( fj ) = f , lim( gj ) = g , tovbb fj s gj korltos. Ekkor lim fj lim gj . h( x ) ha h(x) > 0 Bizonyts: jelljk egy h: fggvny pozitv illetve negatv rszt: h (x) : = , 0 ha h(x) 0 h(x) ha h(x) < 0 ( x) : = h . Tekintsk rgztett j esetn a kvetkez fggvnysorozatot: 0 ha h(x) 0
n +

( fj gk ) k . M ivel (gk ) monoton nv, ( fj gk ) k monoton cskkent fggvnysorozat.

k

lim ( fj gk ) = fj g majdnem mindentt. M ivel ( fj ) monoton nv s lim( fj ) = f majdnem mindentt

- 37 -

 fj f g fj g , vagyis fj g 0 majdnem mindentt. lim ( fj gk ) = fj g 0 . Tekintsk

+ ( fj gk ) k

-t, ez is lpcss fggvnysorozat, ez is monoton cskken, lim ( fj gk )

k +

= ( fj g)
+

=0

majdnem mindentt. Alkalmazzuk az A lemmt az ( fj gk ) k sorozatra lim ( fj gk ) k h h h + fj gk ( fj gk ) Ekkor k esetre Kvetkezmnyek: fj lim
k 0 +

= 0 . Nyilvn
+

f gk ) ( fj gk ) ( j fj lim
k

fj

gk

f gk ) ( j gk .

gk 0

gk , j , ezrt lim

fj lim

1. Ha f = g C1 s ( fj ) s ( gj ) lpcss fggvnyek monoton nveked sorozata, amelyekre lim( fj ) = f majdnem mindentt s lim( gj ) = g majdnem mindentt, akkor lim fj = lim gj . M ost mr lehet definilni: f : = lim fj , ahol f C1 .

2. Ha f spec. lpcss fggvny, akkor a rgi s az j integrl defincija azonos, ugyanis vlaszthat fj = f -nek. 3. f , g C1 s f g f g.

Az integrl tulajdonsgai C1 -ben 1. Ha f , g C1 ( f + g) C1 s

( f + g) =

f+

g.

2. Tfh f C1 , 0 lland f C1 s 3. Ha f C1 f + C1 , f C1 . Bizonyts:

f = f .

1. Definci szerint ( fj ) s ( gj ) monoton nveked lpcss fggvnysorozatok, melyekre lim( fj ) = f majdnem mindentt, lim( gj ) = g majdnem mindentt s

( fj + gj ) lpcss fggvnyek monoton nv sorozata, lim( fj + gj ) = f + g .

lim ( fj + gj ) = lim f + g = lim fj + lim gj [ j j ]

f = lim fj valamint g = lim gj .

( f + g) = lim

2. f C1 ( fj ) lpcss fggvnyek monoton nv sorozata, hogy lim( fj ) = f majdnem mindentt. Ekkor lim fj = f ( fj ) lpcss fggvnyek monoton sorozata,
- 38 -

fj + lim gj = f + g .

3. ( fj ) f monoton nvekv, ( fj + ) f + monoton nvekv, s ( fj ) f szintn Definci: ( f g)(x) : = max{ f (x), g(x)} , ( f g)(x) : = min{ f (x), g(x)} . llts: ha f , g C1 ( f g) C1 , ( f g) C1 .

lim fj = lim fj = f f = f .

Integrls a C2 osztlyban
Definci: ha f = f1 f2 , ahol f1 , f2 C1 , akkor f C2 . Ekkor legyen llts: az integrl defincija egyrtelm. Bizonyts: legyen f = f1 f2 = g1 g2 , ahol f1 , f2 , g1 , g2 C1 . f1 + g2 = g1 + f2 , mert f1 + g2 = g1 + f2 f1 + f1 f2 = g1 g2 ugyanis f: = f1 f2 .

g2 =

g1 +

f2 .

A C2 -beli integrl tulajdonsgai: 1. ha f , g C2 f + g C2 s 2. f C2 , f C2 s 3. f , g C2 , f g f f +g = f+ g

f = f

4. Ha f C2 , akkor egy nullmrtk halmazon megvltoztatva szintn tovbbra is C2 marad, s az integrl rtke nem vltozik 5. Ha f C2 f + , f , | f | C2 . | | | | 6. Ha f C2 | f | | f | . | | | | majdnem mindenhol s Bizonyts: 1. f = f1 f2 , g = g1 g2 , ahol f1 , f2 , g1 , g2 C1 f + g = ( f1 + g1 ) ( f2 + g2 ) , fj

7. Legyen f C2 , ekkor ( fj ) lpcs fggvnyekbl ll sorozat (nem felttlen monoton), hogy ( fj ) f f

( f + g) =

( f1 + g1 ) ( f2 + g2 ) = [ ( f1 ) + (g1 )] [ ( f2 ) + (g2 )] =
- 39 -

C1

C1

f1

f2

g1

g2

f+

2. f = f1 f2 , f1 C1 , ekkor f = f1 f2 . Ha 0 , akkor f = f1 f2 . Ha C1 C1 < 0 f = () f2 () f1 . >0 >0

3. f g g f 0. Azt kellene igazolni, hogy ekkor hj C1 h1 h2 h1 h2 h1

(g f ) 0. h 0 , h: = h1 h2 ,
h0.

=h

h2 0

5. f = f1 f2 , fj C1 . | f | = ( f1 f2 ) ( f1 f2 ). f + = ( f1 f2 ) f2 , f = ( f1 f2 ) f1 C1
C1 C1 C1

7. f C2 g, h: f = g h , ahol g, h C1 ( gj ) (monoton nv) lpcss fggvnysorozat, hogy

6. | f | f || f | | f | f | f | . | | | | | | |

( gj ) g majdnem mindentt s lim gj = g tovbb ( hj ) (monoton nv) lpcss fggvnysorozat, hogy ( hj ) h majdnem mindentt s
lim hj = h lim( gj hj ) : = lim( fj ) = g h = f majdnem mindentt, lim( gj hj ) = ( lim gj lim hj ) = lim gj lim hj = g h = f .

llts: ha f , g C2 ( f g) C2 , ( f g) C2 . Bizonyts: f g = ( + g , f g = f ( f g) + f g) + C2 C2
C2 C2

Beppo Levi ttele (monoton sorozatokbl, illetve nemnegatv tag sorokrl) 1. Tfh fj C2 (integrlhat), ( fj ) monoton n s lim fj vges ( fj fellrl korltos). Ekkor f = lim fj .
j =1

f (x) : = lim( fj (x)) vges majdnem minden x-re, tovbb f is integrlhat, 2. Sorokra: tfh gj C2 , gj 0 s

j =1

gj < . Ekkor majdnem minden x-re C2 f (x) : =

gj ( x ) <

(a sor konvergens) s

f =

j =1

gj .

- 40 -

A kt llts egymssal ekvivalens, ugyanis legyen fk : =

k k

k=1

gj . Az fk monoton n gj 0 ,

lim fk = lim g = lim g . A sorokra vonatkoz formjt fogjuk bizonytani. j j

j =1 j =1

Beppo Levi ttelnek bizonytsa Kt rszre bontjuk a bizonytst, els rszben gj C1 .

04.30

Ez azt jelenti, hogy h j k : lim ( h j k ) = gj majdnem mindentt, ahol h j k lpcss fggvnyek, monoton nnek,
k

tovbb
+
k

gj = lim

h j k . M ivel gj 0 , ezrt feltehet, hogy h j k 0 , ugyanis h j k helyett vlaszthatnnk a

k

h j fggvnyeket is. 5let: jelljk Hk : =

k+1 k

j =1 k

h j k , ekkor Hk is lpcss fggvny s (Hk ) monoton nv sorozat, h j k = Hk , tovbb h j k gj , mert ( h j k ) k monoton nvleg
k

ugyanis Hk + 1 =

j =1 k

h j k +1

j =1

h j k +1
k

j =1

tart gj -hez. Hk =

j =1

h j k Gk : =

j =1

gj

Hk

Gk =

j =1

gj =

j =1

gj

j =1

gj < .

Alkalmazzuk a B lemmt a (Hk ) sorozatra. Eszerint H :lim(Hk ) = H H C1 majdnem mindentt, s h h . Ha most m , akkor H m H, h j m gj H = lim Hk . Legyen m > k , ekkor H m = jm jm
j =1 j =1 m k

majdnem mindentt, gy H
k

j =1

gj = Gk . Teht H k Gk H . Ha most k , akkor H k H , gy

Gk H . lim

k j =1

gj (x) = H (x) = : f (x) , vagyis Hk Gk H , ahol

j =1

gj (x) = f (x) . H C1 f C1 . H , gy Gk H= f.

Hk Gk H
k

Hk

j =1

gj =

j =1

gj

f.

M ost a msodik rsze a bizonytsnak: ltalnos estben vizsgldunk, mikor gj C2 . szrevtel: > 0 C2 1 , 2 C1 : = 1 2 , 2 0, 2 . Ugyanis tetszleges C2 esetn

- 41 -

elllthat = 1 2 formban, ahol 1 , 2 C1 . M ivel 2 C1 , ezrt (k ) monoton nv lpcss fggvny sorozat, amelyre lim(k ) = 2 majdnem mindentt , lim . > 0 k0 : k0 ) . gy = ( 1 k0 ) ( 2
C1

(k ) = 2 . 2 k 2 k 0, k
.

k ( 20 )
0, C 1 ,

k ) ( 2 0

Alkalmazzuk teht az szrevtelt gj C2 fggvnyekre: gj = g j,1 g j,2 , ahol g j,1 , g j,2 C1 s g j,2 0 , g j,2
1 2j

. Teht g j,2 0 , g j,2 C1 ,

j =1

g j,2

2j
j =1

< . A g j,2 tagokbl ll sorra alkalmazhat a

bizonyts els rsze, gy

j =1

* * g j,2 (x) : = g2 (x) konvergens majdnem minden x-re, g2 C1 ,

* g2

j =1

j =1

j =1

g j,2 . M srszt g j,1 = gj + g j,2 0 , g j,1 C1 . gj +

j =1

g j,1 =

gj +

g j,2 , gy

g j,1 =

g j,2 , ezrt a g j,1 tagokbl ll sorra is alkalmazhat a bizonyts els rsze

j =1

* * g j,1 (x) : = g1 (x) konvergens majdnem minden x-re, g1 C1 ,

* g1 =

j =1

gj =

j =1 (

j =1

g j,1 , gy

* * g j,1 g j,2 ) = g1 g2 = : f konvergens majdnem minden x-re s f C2 , mert

* * g1 C1 s g2 C1 ; tovbb

f =

j =1

gj .

Kvetkezmnyek (a vizsgn a ttelek kvetkezmnyei legalbb oly fontosak, mint a bizonytsok): 1. tfh fj C2 , ( fj ) monoton n, lim( fj ) = f majdnem mindentt, ahol f C2 , ekkor Ugyanis a feltevsekbl kvetkezik, hogy fj f f = lim fj .
j =1

f = lim fj .

fj

f , gy a Beppo-Levi ttel miatt

2. tfh gj C2 , gj 0 ,
j =1

gj = f majdnem mindentt, vagyis konvergens, ahol f C2 . Ekkor

f =

gj . (A rszletsszegekre alkalmazzuk az 1-t.)

- 42 -

3. ha gj C2 , de nem teszem fel rluk, hogy nemnegatvak, de

|g | < majdnem minden x-re | j|

j =1

j =1

gj (x) = f (x) , vagyis a sor majdnem mindentt konvergens, ahol f C2 ,

f =

j =1

gj .

Bizonyts: |gj | gj gj gj+ |gj | gj+ |gj |, g + < . | | | | | | j

j =1

|g | < . A Beppo Levi ttel alkalmazhat g gj |gj | ( gj ) |gj | | | ( j ) | j| | |

j =1 j =1 k

gj+ , illetve a ( gj ) tagokbl ll sorra. Teht lim

+ (gj + gj ) =

k j =1

( gj ) : = f s lim

k j =1

gj+ : = f + , gy

gj = gj+ + gj

j =1

gj =

j =1

j =1

gj+ +

j =1

gj = f + + f : = f , valamint

f =

f + f+ ) = g + g+ = g + g+ . j ) j j ( j ( j =1 j =1 j =1 j =1

4. ha f C2 , f 0 ,

f = 0 f = 0 majdnem mindentt.

Bizonyts: alkalmazzuk a Beppo Levi ttelt gj : = f j -re: gj 0 , gj C2 , gj = f =0

j =1

gj = 0

gj (x) j =1 f ( x)

konvergens majdnem minden x-re f (x) = 0 majdnem

minden x-re. Lebesgue ttel Krds: ha fj C2 , lim( fj ) = f majdnem mindentt, akkor igaz-e, hogy f C2 , Vlasz: ltalban nem, de ms megszortst alkalmazva mr igen. Pldk: 0 1. fj (t) = ( j + 1)t j , t [0,1], j . Ekkor lim fj (t) = j ha t [0,1) ha t = 1 f = lim fj .

, vagyis lim fj = 0 majdnem

- 43 -

mindentt a [0,1] intervallumon. lim

j 0

fj (t) =

j +1 1 [t ]0

=1

1 j

lim fj (t) = 0 .

2. fj (t) = ( j + 1) 2 t j , t [0,1], j , ekkor megint lim fj = 0 majdnem mindentt, de

1

fj (t) = ( j + 1) .

Ttel (Lebesgue ttel): tfh fj C2 , lim fj = f majdnem mindentt, g C2 : | fj (x)| g(x) majdnem minden | | x-re, j . Ekkor f C2 s f = lim fj .

Bizonyts: jelljk: hj (x) : = sup{ fj (x), f j + 1 (x),...} = fk (x) . M ivel lim fj (x) = f (x) majdnem mindentt,
k= j j

ezrt lim hj (x) = f (x) majdnem minden x-re, ( hj ) monoton cskken sorozat. Beltand elszr, hogy
j

hj C2 , j . Pl.: h1 (x) = sup{ f1 (x), f2 (x),...} , h1,k : = sup{ f1 (x), f2 (x), , fk (x)} = fj . h1,k C2 , (h1,k )
j =1

nv,

h1,k

g lim h1,k vges majdnem mindentt (Beppo Levi monoton (nv) sorozatokra), gy
k

h1 = lim h1,k h1 C2 . ( hj ) C2 , monoton cskken sorozat,

k

hj

g lim hj = f integrlhat

(Beppo Levi monoton (cskken) sorozatokra), tovbb

M ost fordtva: j (x) : = inf { fj (x), f j + 1 (x),...} . Ekkor lim j = f majdnem mindentt, ( j ) monoton nv. Ekkor az elbbiekhez hasonl mdon belthat, hogy j C2 , j . j fj g j g . Ekkor a

f = lim hj . szrevtel: fj hj fj hj .

Beppo Levi ttelt alkalmazva monoton (nv) sorozatokra, lim( j ) = f integrlhat, j fj hj j fj hj lim fj = f .

f = lim j ,

S pec eset: (kis Lebesgue ttel) tfh ( fj ) f majdnem mindentt, a > 0:|x| > a esetn fj (x) = 0 s | | K > 0:|x| a esetn | fj (x)| K , j . Ekkor f C2 s | | | | f = lim fj .

K ha |x | a, k k fggvnyt bevezetve az lltst visszavezettk az elz ttelre. Bizonyts: a g(x) : = 0 egybknt Ttel (Fatou lemma): tfh fj C2 , lim( fj ) = f majdnem mindentt, tovbb 0 fj majdnem mindentt,
- 44 -

fj

viszont fellrl korltos. Ekkor f C2 , bizonytsnak gondolatmenetvel.)

f liminf

fj . (Bizonyts lehetsges a Lebesgue ttel

Ttel: tfh fj C2 , lim( fj ) = f majdnem mindentt s g C2 :| f | < g . Ekkor f C2 . | f ( x) j Bizonyts: visszavezetjk a Lebesgue ttelre. Legyen gj (x) : = g(x) g(x) ha | fj (x)| g(x) | | ha fj (x) > g(x) ha fj (x) < g(x) . Ekkor

|gj | g C2 . M ivel | f | g s lim( fj ) = f majdnem mindentt lim( gj ) = f majdnem mindentt a | |

defincibl kvetkezen. Alkalmazzuk a ( gj ) sorozatra a Lebesgue ttelt, melybl kvetkezik, hogy f C2 .

Mrhet fggvnyek
Definci: egy f : n fggvnyt (Lebesgue szerint) mrhetnek neveznk, ha elllthat lpcss fggvnyek konvergens sorozatnak hatrrtkeknt majdnem mindentt. llts: ha f C2 f mrhet. Ezt lttuk korbbrl mr. ( C2 osztly trgyalsa sorn.) llts: ha f mrhet s g C2 :| f | g f C2 . Ez kvetkezik az elz ttelbl. | | 1 ha |x | j, k = 1,2,...,n k Plda: mrhet, de nem integrlhat fggvnyre: f (x) = 1, x , fj (x) = . 0 egybknt
n

Ekkor fj C2 lpcss fggvny, lim fj (x) = f (x), x f mrhet, de

fj , vagyis f nem integrlhat, f = lim fj = lenne.

ugyanis ( fj ) monoton n, ezrt ha f integrlhat lenne, akkor Beppo Levi miatt llts: ha f, g mrhetek, akkor 1. f + g is mrhet, 2. f g is mrhet, 3.
f g

is mrhet, ha g 0 majdnem mindentt.

Bizonyts: 1. f = lim( fj ) majdnem mindentt, fj lpcss fggvny, g = lim( gj ) majdnem mindentt, gj lpcss fggvny, f + g = lim( fj + gj ) majdnem mindentt, fj + gj is lpcss fggvny.
- 45 -

3.

1 g ( x) hj : = 0

1 g

-re ltjuk be, mellyel a 3. llts 2-bl igazolhat: g = lim( gj ) majdnem mindentt, ha gj (x) 0 ha gj (x) = 0 , melybl kvetkezik, hogy lim( hj ) =
1 g

majdnem mindentt.

Ttel: tfh fj mrhet, lim( fj ) = f majdnem mindentt f mrhet.

05.14

Bizonyts: legyen g: n olyan fggvny, hogy g(x) > 0, x s g C2 . rtelmezzk a hj fggvnyeket az albbiak szerint: hj : =
|| f || + g | j| fjg

, hj mrhet s |hj | g hj C2 . lim( hj ) = | |

fg || f || + g

fg : || f || + g

= h majdnem mindentt.

Alkalmazzuk a Lebesgue ttelt a ( hj ) sorozatra! h =

fg || f || + g

C2 , gy a fenti sszefggs szerint

gh g || h ||

= h f g | f |h = gh f g f |h| = gh mert sgn h = sgn f , gy f = | | |

| f |g || f || + g

, ez pedig mrhet, mert a

szmll mrhet, ugyanis g s h is mrhetk, s mert a nevez is mrhet, tovbb g |h| > 0 , ugyanis | |h| = | <g.

Ttel: tfh f1 , f2 ,..., fr : n mrhet, g: r folytonos! Ekkor h: = g ( f1 , f2 ,..., fr ) : n mrhet. Bizonyts: fk mrhet ( k, j ) j lpcss fggvnysorozat, hogy ( k, j ) j fk majdnem mindentt. hj : = g ( 1, j , 2, j ,..., r, j ) vges sok intervallumon lland. g(0,0,...,0) 0 esetn hj helyett vesszk a h (x) ha |x| j | j hj (x) = fggvnyt. M ivel hj (x) h(x) minden x-re hj (x) h(x) majdnem minden 0 ha |x| > j |

x-re, hj* lpcss fggvny.

Mrhet halmazok, mrtk

Definci: legyen A n halmaz. Az A halmaz karakterisztikus fggvnynek nevezzk: 1 xA . Lthat, hogy ekkor A (x) 0 . A (x) : = 0 x n \A

A mrtkt gy rtelmezzk: ( A) : = n

Definci: Egy A n halmazt mrhetnek neveznk, ha A (x) mrhet fggvny. Ekkor az A halmaz A C2 A C2 (korbban lehagytuk, hogy milyen halmazon integrlunk,

mert egyrtelm volt). Lthatjuk, hogy ( A) 0 .

- 46 -

llts: kt mrhet halmaz klnbsge, vges s megszmllhatan vgtelen sok mrhet halmaz unija s metszete is mrhet. Bizonyts: A\B = A A B mrhet fggvny. burkol). = lim Aj
k j =1 k
k

j =1

Aj

= Aj , ahol Aj mrhet fggvnyek (fels

j =1

j =1

Aj

llts: egy A n nullmrtk ( A) = 0 , azaz Bizonyts: irnyba: ha A nullmrtk, ( A) = nullmrtk. irnyba: ha ( A) =

k

A = 0 .

A = 0 mert A = 0 majdnem mindentt, ha A

A = 0 , A 0 A = 0 majdnem mindentt A nullmrtk.

(
k

Ttel: ha A = Aj s Aj mrhetk, pronknt diszjunktak ( A) =

j =1

j =1

Aj

A . Ezt gy ( j)
j =1

mondjuk, hogy a mrtk additv halmazfggvny. Bizonyts: ugyanis ha a fentiek teljeslnek, akkor A = =
k

j =1

Aj

j =1

Aj

n ( A)
)

A =

. n Aj j =1 ( Aj ) A . Ezt gy ( j)
j =1

Ttel: ha A = Aj , Aj mrhetk, pronknt diszjunktak ( A) =

j =1

j =1

Aj

mondjuk, hogy a mrtk additv. Bizonyts: csak vzolva:

j =1

Aj

j =1

Aj , most pedig a Beppo Levi ttelt alkalmazzuk.

Integrls mrhet halmazokon

Eddig f : n fggvnyek (Lebesgue) integrljt rtelmeztk.

- 47 -

 f ( x) Definci: legyen A mrhet halmaz, f : A fggvny. Legyen f ( x) : = 0

n

xA x \A
n

. Ha

f : n fggvny integrlhat, akkor azt mondjuk, hogy az f : A fggvny integrlhat s f = n f .

Megjegyzs: ha g: n fggvny integrlhat s A n mrhet, akkor h: = g|A : A integrlhat, ugyanis | h(x) xA h : = , ekkor h : = g A mrhet, tovbb |h| |g| integrlhat h is integrlhat. | | | | n 0 x \A Ha f : A n integrlhat, B mrhet, B A f |B is integrlhat. | A Lebesgue s Riemann integrl kapcsolata Legyen f : [a, b] korltos fggvny. Ttel: ha f egy Lebesgue szerint nullmrtk halmaz kivtelvel folytonos, akkor f fggvny Riemann s Lebesgue szerint is integrlhat, s a ktfle integrl egyenl. Bizonyts: elszr beltjuk, hogy az f Lebesgue integrlhat (st, f C1 ). a +b inf { f (x) :a x 2 } 1 : = a +b inf { f (x) : 2 x b} inf { f (x) :a x d } 1 inf { f (x) :d1 < x c1 } 2 : = inf { f (x) :d2 < x b} ha x [ a, a + b ] 2 ha x ( a + b , b] 2 ha x [a, d1 ] ha x (d1 , c1 ] ha x (d2 , b]

... s gy tovbb (vagyis az egyes intervallumokat mindig felezzk), valamint k (x) : = 0 ha x [a, b], k . Ekkor k -k lpcss fggvnyek, ( k ) monoton nv. M ivel f folytonos egy nullmrtk halmaz kivtelvel, ezrt k (x) f (x) majdnem mindentt (ahol f folytonos).
L L

k (b a)M , ahol M olyan szm, amelyre

| f (x)| M , ezrt f C1 , f = lim k (Lebesgue integrl). | |

- 48 -

Az f fggvny egy Riemann fle fels sszege a +b sup{ f (x) :a x 2 } 1 (x) : = sup f (x) : a + b < x b { } 2 R L

ha x [ a, a + b ] 2 ha x ( a + b , b] 2 f = lim k (ahol elbbi a Lebesgue integrl, utbbi a Riemann fle R

k , ahol

k -k lpcss fggvnyek, monoton cskkenk, (k ) f majdnem mindentt. k (b a)M f C1 , L k =

integrl fels sszege), lim

f , lim k = f f Reimann s Lebesgue integrlhat, s az R R

integrlok rtke megegyezik. Ttel: ha f : [a, b] korltos fggvny Riemann szerint integrlhat f folytonos majdnem mindentt. (bizonyts nlkl) Megjegyzs: ha egy f fggvny Riemann szerint improprius integrlja konvergens f Lebesgue integrlhat.

Plda: a [0,) intervallumon rtelmezzk az f fggvnyt: f (x) : =

(1) j 1 j

ha j 1 x < j , j .

f (x)dx

improprius integrlja konvergens, mert

j =1

(1)

1 j

konvergens.

1 | f (x)|dx divergl, mert divergl. Ha f | | j j =1

Lebesgue szerint integrlhat | f | is integrlhat Lebesgue szerint. Teht a fenti f fggvny improprius | | integrlja konvergens, de nem Lebesgue-integrlhat. 1 x \ Msik plda: f (x) : = . Ekkor f Lebesgue szerint integrlhat ( egy nullmrtk halmaz), de 0 x Riemann szerint nem integrlhat. Ttel (Fubini ttel) (bizonyts nlkl): tfh f : 2 kpez, integrlhat fggvny. Ekkor majdnem minden x esetn y f (x, y) integrlhat -en, tovbb x 2 f = [ f (x, y)dy is integrlhat -en s

f (x, y)dy dx = f (x, y)dx dy . Ha f nemnegatv s mrhet, akkor a Fubini ttel mindig ] ] [

rvnyes (ilyenkor az integrl is lehet).

Az L 2 ( M ) fggvnytr

- 49 -

Jelljk: legyen M n -beli mrhet halmaz, ekkor L 2 (M ) jellje az f : M olyan mrhet fggvnyek sszessgt, melyekre a fggvnynek az abszoltrtk ngyzete integrlhat (ez a tmakr nagyon fontos a fizikban is).. llts: ez az L 2 (M ) vektortr a szoksos mveletekkel. Bizonyts: tfh f , g L 2 (M ) f , g mrhet f + g L 2 (M ) , azaz az sszeads nem visz ki a halmazbl. Lttuk mr, hogy ekkor f + g is

mrhet, ha f s g mrhetek. Tovbb | f + g|2 (| f | + |g|) 2 2( | f |2 + |g|2 ) . Ez viszont integrlhat, | | | | | | | | | | mrhet gy | f + g|2 is integrlhat. | | Skalrral val szorzs: f L 2 (M ) f mrhet, tovbb | f |2 = ||2 | f |2 integrlhat, gy f L 2 (M ). | llts: f , g L 2 (M ) integrlhat. Bizonyts: f g mrhet (mrhet fggvnyek szorzata mrhet, korbbrl lttuk), | f g| = | f | |g| 1 ( | f |2 + |g|2 ) . | | | | | | 2 | | | |
integrlhat

Definci: legyen f , g L 2 (M ) ! rtelmezzk a kt fggvnyen az albbi mvelet: f , g: =

f g .

llts L 2 (M ) a fenti mvelettel vals euklideszi tr, ahol a skalrszorzat a fent jellt mvelet. Bizonyts: L 2 (M ) vals vektortr, a fent jellt szorzs mvelet skalrszorzs, ugyanis teljesti: f1 + f2 , g = f1 , g + f2 , g f , g = g, f f , g = f , g f, f =

| f |2 0 s f , f = 0 f = 0 majdnem mindentt. M | |

Az L 2 (M ) trben a norma: f = f , f =

| f |2 . | |

Megjegyzs: itt is igaz a Cauchy-Schwarz egyenltlensg, vagyis | | | f g| = | f , g| f g = |f 2| |g 2 | . | | | | | | | | | M | M M

- 50 -

Definci: Hilbert trnek a teljes euklideszi teret nevezzk. Riesz-Fischer ttel (bizonyts nlkl): az L 2 (M ) tr teljes, vagyis L 2 (M ) tr Hilbert tr.

Az L p ( M ) fggvnytr
Jells: legyen 1 p < , M n mrhet halmaz. Jellje L p (M ) az olyan f : M mrhet fggvnyek sszessgt, amelyekre | f |p integrlhat M-n. | | llts: az L p (M ) vektortr a szoksos mveletekkel. Bizonyts: f , g L p (M ) f + g is mrhet, az abszolt rtk p-dik hatvnya is mrhet (a folytonos p-edik hatvnyfggvny s mrhet fggvny kompozcija). | f + g|p (| f | + |g|) p 2 p 1 (| f |p + |g|p ) integrlhat, | | | teht f + g L p (M ) . Ha f L p (M ) f L p (M ) nyilvnval. Definci: vezessk be az L p (M ) vektortrben a kvetkez normt: f : = llts: az L p (M ) tr a fenti mvelettel, mint normval, normlt tr. Bizonyts: | f |p {M }
1/ p

f 0 , f = 0 f = 0 majdnem mindentt. f = ||| f . A hromszg egyenltlensg bizonytshoz szksges a Hlder egyenltlensg s a Young egyenltlensg.
llts (Young): legyen 1 < p < ,
1 p

+1 =1(q= q

p p 1

). Ekkor a, b 0 szmokra: ab
a p b q p

ap p

+ bq .

Bizonyts: a bizonytand egyenltlensg ekvivalens: ab 1 q

+ 1 , feltve, hogy b 0 . (A b = 0 eset q

cp p

trivilis.) c: = ab 1 q jellssel c p = a p b (1 q ) p = a p b q . Vagyis az llts: c

+ 1 . g(c) : = q

cp p

c+ 1 , q

g(1) = 0 , g'(c) = c p 1 1 . Ez kisebb 0-nl, ha c < 1 , s nagyobb nullnl, ha c > 1 (teht c = 1 -ben minimuma van), teht g(c) 0 . Ttel (Hlder-egyenltlensg): tfh f L p (M ), g L q (M ) , 1 < p < , 1 < q < , | | integrlhat, s | f g| | | | | f | |g| f L p (M) gL q (M) . M | M |
1 p

+ 1 = 1 f g q

- 51 -

Bizonyts: alkalmazzuk a Young egyenlsget: a: = Integrlva mindekt oldalt M-re:

| f | | g| M | | | | f g

|| f ( x)|| f

, b: =

|| g ( x)|| g

|| f ( x)|| f L p ( M)

g |

| g ( x)||

L q ( M)

p 1 || f ( x)|| p p f

+1 q

| g ( x )| q | | g q

1 1+1 1=1. p q

Ttel (Minkowski-egyenltlensg): ha f , g L p (M ) f + gL p (M) f L p (M) + gL p (M) . Bizonyts: p = 1 esetre trivilis. p > 1 esetn:

f + g p =

p 1 | f + g| p = | f + g| p 1 | f + g| | f | + | f + g| p 1 |g| (Hlder) | | | | | | | f + g| | | | | | | | | M M M M 1/q

| f + g| ( p 1 ) q | {M | }
p/q

( f + gL p ( M ) )

[ f L p (M) + gL p (M) ] , p q = p1 1 = p 1 = 1 . gy az elbbi egyenltlensgbl q p

p pp/q

| f |p {M | | }

1/ p

| f + g| ( p 1 ) q | {M | }

1/q

|g|p {M | | }

1/ p

f + gL p (M) = f + gL p (M) f L p (M) + gL p (M) . Teht L p (M ) tr normltsgnak utols felttelt is

igazoltuk, azaz f + g f + g , teht L p (M ) normlt tr. Ttel (bizonyts nlkl): L p (M ) teljes normlt tr, azaz Banach ( 1 p < ).

- 52 -