Professional Documents
Culture Documents
ISBN 963-16-2816-7
628166
A BOLYAI-SOROZAT KTETEI
Brczy Barnabs: Differencilszmts
Solt Gyrgy: Valsznsgszmts
Lukcs Ott: Matematikai statisztika
Scharnitzky Viktor: Differencilegyenletek
Brczy Barnabs: Integrlszmts
Scharnitzky Viktor: Mtrixszmts
Urbn Jnos: Matematikai logika
Fekete Zoltn-Zalay Mikls: Tbbvltozs fggvnyek analzise
Urbn Jnos: Hatrrtk-szmts
KOMPLEX
FGGVNYTAN
PLDATR
Lektorlta:
URBN JNOS
TARTALOMJEGYZK
okleveles matematikus
ELSZ ....................................................................................
1. BEVEZETS .........................................................................
16
16
23
30
33
33
35
39
47
63
70
77
81
81
89
100
112
118
124
152
166
169
178
184
222
226
234
246
262
270
274
8. FOURIER-SOR, FOURIER-INTEGRL..........................
8.1 Periodikus fggvnyek Fourier-sora ............................
8.2 Periodikus fggvnyek komplex Fourier-sora ...........
8.3 Fourier-transzformit ....................................................
8.4 Mintavett fggvnyek spektrlfelbontsa....................
303
303
309
315
326
9. LAPLACE-TRANSZFORMCI .....................................
9.1 Laplace-transzformltak kzvetlen kiszmtsa .........
9.2 A genertorfggvny derivlsa...................................
9.3 A Laplace-transzformit derivlsa..............................
9.4 A genertorfggvny primitv fggvnynek
transzformlsa .................................................................
9.5 A Laplace-transzformit integrlsa ............................
9.6 Eltolsi, hasonlsgi ttelek .........................................
9.7 Paramtert tartalmaz fggvnyek transzformlsa ..
9.8 Konvolci .....................................................................
9.9 Inverz Laplace-transzformci .....................................
9.10 Parcilis trtekre bonts mdszere ............................
9.11 A kifejtsi ttel specilis alakja ..................................
9.12 A kifejtsi ttel ltalnos a la k ja ..................................
9.13 Nem valdi racionlis trtfggvnyek esete .............
9.14 Inverzis integrl ..........................................................
9.15 Taylor-sorok .................................................................
9.16 Numerikus sorok sszegzse .....................................
9.17 Integrlok kiszmtsa .................................................
9.18 Fourier-sorfejts............................................................
9.19 Differencilegyenletek s differencilegyenlet
rendszerek ...........................................................................
9.20 Laplace-transzformcis tb lzat................................
331
334
345
347
349
351
353
357
359
363
368
370
374
380
386
391
395
399
401
407
413
ELSZ
1. BEVEZETS
A szorzs mveletnek geometriai tartalma fknt akkor vilglik ki, ha a szorzst trigonometrikus, illetve exponencilis alakban
vgezzk el. Ehhez legyen:
10
11
Legyen zi = a + ib s Z2 = c + id ^ 0. Az eredmny:
Zi _ (a + ih)(c id) _ ac bd
. be - ad
Z2
+ d'^
^
+ d'^
A trigonometrikus, illetve exponencilis alak hasznlatval az osz
ts is egyszerbben vgezhet el. Legyen zi = n -(cosai + / sino:i)
s Z2 = ^2 (cos2 + i sin a 2) ^ 0, illetve zi = n
s
Z2 = ^2
ekkor a hnyados
. ^i{ai-a2)
ri
A hnyados abszolt rtke teht a szmll s nevez abszolt
rtknek hnyadosa, az argumentuma pedig a szmll s nevez
argumentumnak klnbsge. Ezek alapjn mr az oszts geomet
riai tartalma is vilgos. Ha a zo = 'o (cosao + i *sinao) (zo ^ 0)
12
13
1
= r - - = 1, teht a
r
14
cos
2ti
- + A:-
n
n
A: = 0, l , 2, . . . n - 1.
Ezt a krdst azrt rszleteztk egy kiss jobban, mert ez egy olyan
eredmny, ahol jelents eltrs mutatkozik a vals s komplex ana
lzis kztt. A vals fggvnytanban az f ( x ) = {/3c fggvny r
telmezsi tartomnya pros gykkitev esetn csak a nemnegatv
vals szmok halmaza, pratlan gykkitev esetn a vals szmok
halmaza, de mindkt esetben igaz, hogy a gykvons eredmnye ha az ltezik - egyrtelm. Komplex z esetn azonban a gykkite
vtl fggetlenl, tetszleges z esetn a gykvons minden esetben
elvgezhet, azonban a vals esettel ellenttben ez a hozzrendels
nem fggvny, hiszen a gykvons nem ad egyrtelm eredmnyt.
Az ilyen hozzrendelst szoks ltalnosabb tulajdonsgnak meg
felelen relcinak, az adott esetben n rtk relcinak nevezni. A
komplex analzisbeli n-edik gyk teht nem fggvny, hanem egy
n rtk relci. (A szakirodalom hasznlja az n rtk fggvny
elnevezst is. Mi azonban ezt elkerljk, hiszen a fggvny alapve
t tulajdonsga, az egyrtelmsg nem egyeztethet ssze a relci
tbbrtksgvel.)
Ha valaki rszletesebben rdekldik a komplex algebra irnt,
akkor javasoljuk a Bolyai-sorozatban megjelent komplex szmo
kat trgyal ktet (Srkzy Andrs: Komplex szmok. Mszaki
Knyvkiad, 1973.) rszletes tanulmnyozst.
15
16
Az L = |z |z = z(t), t E D C
grbt alkotnak.
Egyszer vnek nevezzk az egyenes szakasz topologikus - az
az klcsnsen egyrtelm s klcsnsen folytonos - lekpezssel
nyert kpt.
A lekpezst akkor nevezzk klcsnsen folytonosnak, ha a
lekpezst ad fggvnnyel egytt annak inverze is folytonos. Ha
vges sok egyszer vet gy csatlakoztatunk, hogy csak ezek vg
pontjai legyenek kzs pontok, grbt kapunk. Az gy szrmaztatott
grbket Jordan-grbnek nevezzk. (A klcsnsen egyrtelm
lekpezsbl kvetkezik, hogy t\ ^ ti esetn z{t\)
zitj), azaz a
grbe nem keresztezi nmagt.)
Ha az L =
= z(0, ^ ^ [^1, ^2] | grbe Jordan-grbe, s
z{t\) = z(t2 ), akkor zrt Jordan-grbrl beszlnk.
Mivel a ti, t2 intervallum korltos, gy a Jordan-grbe is
korltos ponthalmaz.
A Jordan-grbe ttele szerint egy zrt Jordan-grbt a komp
lex szmskbl elhagyva kt nyflt tartomnyt kapunk, melyeknek
hatra az adott grbe (lsd mg 3.1). Azt a tartomnyt, amely a
z = 00 pontot nem tartalmazza, a grbe belsejnek, a msikat a
grbe klsejnek nevezzk.
Gyakorl feladatok
1.
E R \ {0} fgg
1]_
2
H m ^ = 5 .T e h t lim /( 0 = U 5 /.
'
17
/( ) = Zi + t{z2 - Z i ) , e [0,1],
azaz: f(t) = 4t + 5 + i(2t + 3), G [0, 1].
(r = 0 esetben sl z\, t - 1-nl a Z2 pontot kapjuk).
Termszetesen ms paramterezssel is megadhat az egyenes sza-
5.
t S ] - 71yjt[ egyenlet?
t G R fggvny?
= ^ cosa - y sina
y\ = jc sina + y cos a
Komplex szmok krben a forgatmtrixszal val szorzs helyett egysze
ren az e*-val val szorzs elegend.
7. Milyen grbt jellemez a z(t) = (3 + 4chr) + (5 + 2shO/, t E R
egyenlet?
Mivel z(0 =
gy xit) =
Most
y(0 =
^ fggvny az
x(t) = 3 + 4chr
y(t) = 5 + 2shr
t-i kikszblve:
t E R fggvny?
f{t) =
s az
fiit) =
t e [-71, 7i]
e
t G [-71, 7t]
fggvnyek?
Az /( /) fggvny vals, illetve kpzetes rsze:
x(t) = 7 cos 4- cos7
y(t) - Isin t + sinlt
(/ -H t ) { - i - t )
\ +
\ - p1+
. 2t
1 + ^2
i-
^ .
(l -I- 4 r
Vegyk szre, hogy jc^ + / = -------- ----- r = 1,1
, teht az egyenlet egy
orig kzpont egysgsugar krt jellemez. (A z = - 1 pontot a = oo
rtk adja. Ha csak t vges rtkeit tekintjk, a krvonal nem zrt.)
20
21
Az /i( ) = 5e" + e
te
n]
x{t) = cos ^
= 5 sin sin5
^ cos 3 = cos^ t
t G [-n,
t i]
22
23
Gyakorl feladatok
= 9t^ + 15/^
kplettel szmolhat.
Ha a z(t) fggvnyt egy pontmozgs lersnak tekintjk, akkor
z{to) e mozgs sebessgvektort adja a q idpillanatban.
Ha z{t) differencilhat fggvny, derivltjt a z{t) fggvny
msodik derivltjnak nevezzk, s z(t)~wt\ jelljk. Pontmozgs
esetn a msodik derivlt a mozgs gyorsulsvektort adja.
Jellje a to, illetve a t pontbeli rintk hajlsszgt Aa, a z(to)
s z{t) pontok kztti v hosszt As. Ekkor, ha ltezik s vges
A^
a hm hatrrtk, akkor azt a grbe to pontbeli grbletnek
t-*to Aa
nevezzk. Jellse /c(o) (Igazolhat, hogy a grblet csak egyenes
esetben azonosan zrus.)
Amennyiben a fggvny ktszer derivlhat, akkor grblete:
K
xy xy
{ M t ) f + ( K O ) ') '
24
+ 5pi, G [ - 1 , 1]
fggvny?
3q5qi, qG [-\,l],
xi +yi = \
alakban rhat. Kpe egy asztroid (2.3 bra), melynek a z{t) 0 pontokban
szingulris pontjai vannak, nincs rintje.
Mivel a fggvny derivltja csak nhny pontban zrus, gy a grbe
szakaszonknt sima zrt Jordan-grbe, ltezik vhossza. Az vhossz kisz
mtsakor elegend a grbe negyedrsznek vhosszt kiszmtani.
25
t = k - , ahol
5i =
Jo
J (i(0 )^ + {y(t)Y
gy Si = I
3 cos sin =
3 .2
- sin^ t
= 1,5.
Jo
Z\{t) =
Z2() = Se +
te
fggvnyek derivltjait!
Mely pontokban lesz a derivlt zrus?
zi(t) = lie'' + lie^'
A derivlt akkor zrus, ha
^/7 _
_ ^*(^+0
Mivel kt exponencilis alakban adott komplex szm egyenlsgnek ese
tn a kitevk 2jr/-ben klnbzhetnek, gy:
7r = :7T+ + kin
71 , JZ
'-6 + * 3
Mivel a t E [ - t t , Jt] kiktst tettk, gy k lehetsges rtkei - 3 , - 2 , - 1 ,
0 , 1, 2 .
Z2 O) = 5iV' - 5ie~^
A derivlt akkor zrus, ha
e =
azaz
t = - 5 / + kTji.
26
= - 3 , . . . 3.
cd
szgse
z(t) = iR(oe^^'
Minden egyes t idpillanatban z merleges z{t)-re, s z(t) = R(o. (Az
egyenletes krmozgs esetn a sebessg rintirny, s nagysga Rco-ysil
egyenl.)
A msodik derivlt:
m = -R(0^e^'
z(t) minden egyes idpillanatban merleges j()-re, s |z(/)| = R(o^.
(Az egyenletes krmozgs gyorsulsa az rintre merlegesen a kr k
zppontja fel mutat.)
Megjegyzs:
Szoksos a harmonikus rezgmozgs (szinuszosan vltakoz ram)
lersakor az
y(t) = A sinc
vizsglata helyett a
z(0 =
fggvnyt vizsglni, melynek kpzetes rsze adja az y{t) fggvnyt, mivel
ez utbbival egyszerbben trgyalhatk a folyamatok.
f f
0 2W
VV
2 //
A fggvnnyel egy R sugar krn coq kezdsebessg ^ szggyorsuls pontmozgs rhat le.
27
+ ^t)z(t)
Mivel:
x(t) = - 6 s in ,
y(t) = 2cos,
x(t) = - c o s r ,
%t) = - 2 s in ,
gy:
4(01 = R { ( O o + p t )
A fggvny msodik derivltja:
/ /
z(0
iR/Sexp
= p ( p )
i( c o o t +
(f)= ! ( = ? )
Megjegyzs:
- R ( cdo + y3)^exp
.2
+
= 1, teht a grbe egy orig kzppont ellipszis.
36
4
A grbletet az elzekben felrt kplet alapjn szmoljuk:
^2
7.
Hatrozza meg a z{t) = sh + /chr, t G R fggvnnyel jellemzet
grbe grblett!
Hogyan vltozik a grblet, ha r > oo?
Az elz feladathoz hasonlan a fggvny grafikonja az
= 1, >> > 0
hiperbolag.
i:(/) = eh/,
x{t) = shr,
y(t) = sh,
3)(0 = chr,
*:(/) =
'
(ch^ + sh^/)^
Lthat, hogy t
co esetn K{t) ^ 0, amint az vrhat is volt, hiszen a
hiperbola rsimul az aszimptotra.
8. Hatrozza meg a z(t) =
fggvny els s msodik deri
vltjt (r s vals egyvltozs fggvnyek)!
Az els derivlt:
z(0 =
+ i<p{t)r{t)e^'^^^\
28
29
Gyakorl feladatok
+ i{r{t)ip(t) + 2r()^())e''^.
1.
Hatrozza meg a z(t) =
(ahol k 0-tl klnbz egsz) fgg
vny [0, jr], illetve [0, 2tc] intervallumra vett hatrozott integrljt!
iktd1t.
A k t'
=
Felhasznltuk, hogy
Hasonlan:
r2jt
= t^+i - tu, s e
30
- 1
ik
ik
( -
1)
ik
i:
r ikt 1
ik
= 0
0
2. Legyen zi() =
ZiiO = e~' k , l e Z .
Hatrozza meg a kt fggvny szorzatnak a [0, 2jt] intervallumra
vett integrljt!
pTjl
rTji
n2jl
JO
Jo
i:
Z lit)
Z k it)
Z2 (t)d t
Jo
integrllal rtelmezzk, akkor azt mondhatjuk, hogy
Jkt u r- nj
31
Megjegyzs:
Hasonlan ortonormlt fggvnyrendszert alkotnak az
sinkx,
\ fl7 t
cos/x,
k, l
\Jn
p2jt
[
1
(1 + it)^
(1 + i t f
-2i
jiT + it)^
Mivel
- 2i(l + it)^
'o ( l + ' V
32
lim
= 0, gy
dt = 0 -
-2i
33
Pldul a
0 < |z| < r
34
fiz ) G Keiwo),
midn z G D / n
\ {^o}(Mivel a vgtelen tvoli pont krnyezett is rtelmeztk, gy a
Wo, illetve Zo lehet oo is.)
Az f fggvny folytonos a zo helyen, ha
Zo G Df, zo-ban van /-n ek hatrrtke, s lim /(z) = /(zo).
^0
Az / fggvny akkor s csak akkor folytonos a zo pontban, ha
az w s a V fggvnyek is folytonosak zo-ban.
Az egyvltozs fggvnyek krben megismert, az sszeg-,
klnbsg-, szorzat- hnyados, illetve kzvetett fggvny folyto
nossgra vonatkoz ttelek a komplex fggvnyek krben is r
vnyesek.
w = (4 -I- 3i)z + 2 - 4 /
lineris fggvny milyen alakzatba viszi t a |z 1 - 2/| = 2 egyenlet
krvonalat!
35
E transzformcikat a
w = 5(z - 4) + 3 + 3/ = 5z - 17 + 3/
fggvny vgzi el.
Ellenrzsknt a zq = 4 pont kpe valban a wq = 3 + 3/ pont.
A msik lehetsg:
= - 7 + 3/ pont.
w =
3.
Adjon meg egy olyan lineris fggvnyt, amely az Im(2) > 2
flskot az Im(w) + Re(vv) < 1 flskba viszi t!
Az elz feladathoz hasonlan most is tbb lehetsg van a fggvny
ellltsra.
Toljuk el elszr az egyenest gy, hogy az az orign menjen t; majd
forgassuk el - - g y e i , vgl az elforgatott egyenest toljuk el a w skban,
w = (z - 2 / ) ( - 1 + /) + 1 = (/ - l)z + 3 + 2/
36
37
^ -g y e l val forgatst az e 4 ^
komplex szmmal
val szorzs adja. Mivel az orign tmen egyenes kpt az origbl val
nagyts nem vltoztatja meg, gy ezt mg \/2-vel szoroztuk, ez adta a
( - 1 + 0 szorzt.
zi
3.1 bra
A msik lehetsg most is az, hogy az eredeti egyenesen vlasztunk
kt pontot, s megadjuk ezeknek a kpt a w skon. A pontokat gy vesszk
fel, hogy ha zo-tl Z\ fel haladva a lekpezend ponthalmaz balra esik,
akkor WQ-tl wj fel haladva is balra legyen a kptartomny. Ezzel bizto
stjuk, hogy ne csak a hatrol egyenest kpezze le a megfelel egyenesre,
hanem a flskot is a megfelel flskra (3.1. bra).
Legyen zo = 2/ kpe a wq = 1, s z\ = 2/ -f- 1 kpe a wi = i.
w = az
b-be helyettestve:
1 a- li
i
= a{2i + \) + b
Az egyenletrendszer megoldsa
a = i - \ , b
= 3 + 2i,
38
Az f{z) =
fggvny a Re(z) > 0 flskot kpezi le a teljes
w skra. Ezen a halmazon a lekpezs klcsnsen egyrtelm, ha
a Re(z) > 0 flskbl a kpzetes tengely negatv felt kivesszk.
Az f{z) =
fggvny ugyanis minden
z = re,i(p
7C
J tl
2 2-
vals szmhoz a w =
szmot rendeli, ahol 2(p E ] - jt, tv],
azaz valban a teljes skot kapjuk meg. Azt, hogy a lekpezs a
teljes Re(z) > 0 flskra egyrtelmen trtnjen, gy szoktk meg
oldani, hogy a w skot a negatv vals tengely mentn elvgjk
- bemetszik
s a metszsvonal negatv oldalhoz rendelik a z
sk kpzetes tengelye negatv rsznek pontjait, pozitv oldalhoz
a kpzetes tengely pozitiv rsznek pontjait. Helyezznk kt ilyen
bemetszett skot egyms fl - gy, hogy a tengelyek, az orig, a
bemetszs fedsben legyenek s a bemetszs szleit keresztben
sszeragasztjuk (a bemetszs als bal oldalt a fels jobb oldalhoz
s viszont), valamint, mivel a 0 s a oo kpe nmaga, itt a kt skot
sszefzzk, ezekben a pontokban a kt sk elgazik. (Elgazsi
pontoknak nevezik ket). Az gy ksztett sszeragasztott skokbl
ll felletet Riemann-felletnek nevezik. (A Riemann-fellet nem
valsgos, hanem kpzelt fellet.) Erre a felletre a z^ fggvny
klcsnsen egyrtelmen kpezi le a z skot. A lekpzsek vizs
glata sorn csak az egyrt w skot vizsgljuk.
39
(1 + tif' = 1
Gyakorl feladatok
(p E
fggvny a
+ 2, azaz u 1 -
t kikszblsvel: ^ ~ ^
s v = 2t.
71 7t'
egyenlete.
r 2
Az y = 1, y > 0 flegyenes a z = t + i, t E
jellemezhet.
flkrt s a
Z = -e'?, r 6
egyenlettel
flegyenest!
A flkr kpe:
w=
teljes kr.
ahol
A flegyenes kpe:
w = z2 -
Mivel r E
bola.
2 't ,
fiz) = (2 - 2)2 - 2 + 2
3. Hatrozza meg, milyen alakzatba viszi az
f{z) - ^ fggvny a z sk
flegyenest!
z helyre helyettestve:
40
41
x = u^^v^
y = 2uv
Az egyenletrendszer megoldsa:
u(x, y ) =
v(x, y) =
x +
Y~
-a: +
y^
42
43
7t 71
'r
-Jt, - ^ u
71
Ekkor teht
gely pozitv, illetve negatv felhez kzeli pontokra kpezi le, attl fgg
en, hogy lm(z) pozitv vagy negatv rtk-e.
^ ,=: \ ^ ^
44
i2uv.
s2 =
2 mv,
45
Megjegyzs:
+ 2 mv, azaz
\ s t = 2mv.
Ez esetben a kp ismt egy hiperbola m > 0 ga lesz.
Belthat, hogy a kt hiperbola merlegesen metszi egymst, teht
ebben az esetben a lekpezs szgtart.
Megjegyzs:
Ha az elz egyenesekkel prhuzamos egyeneseket vesznk fel, akkor
a kp egy-egy hiperbolasereg lesz.
rdekes megfigyelni, hogy pldul a z = - 1 + egyenes esetn a
kp a
= 1 egyenlet hiperbolnak a Re(w) > 0 tartomnyba es
rsze, azaz egy-egy hiperbolag fele lesz (3.6 bra).
7.
Adjon meg egy olyan fggvnyt, amely a Re(z) > 1 s Im(z) > 1
skrszt az arc(w) e
0, ^
1-
ahol a, h, c, d El C llandk.
1
3.7a bra
\
1
3.7c bra
A z skbeli tartomnyt toljuk el az origba. gy a feladat az els
sknegyed lekpezse egy sknyolcadra.
A feladatnak megfelel pldul az f {z) = y/z i fggvny.
46
47
Gyakorl feladatok
1. Hatrozza meg, milyen alakzatba viszi t a g(z) = - fggvny az
a) |z| = 1 krt;
b) Im(z) = Re(z), Re(z) > 0 flegyenest;
c) Re(z) = 1 egyenest!
a) A krt a z =
Kpe: ^
teht az egysgkrt nmagra kpezi le a fggvny, de csak a z = 1 s a
^ = - 1 pont kpe marad helyben.
m
^
I
b) A flegyenest a z = re ^ egyenlettel adhatjuk meg (ahol r R ).
1 :zM
q: - = - e 4 ,
Kpe:
z
r
azaz a kp egy origbl indul flegyenes, mely az elz flegyenes vals
tengelyre vett tkrkpe. (Az orig kpe a vgtelen tvoli pont.)
c) Az egyenest z = 1 + / egyenlet jellemzi. Mivel
1^
_ .
z
X + iy
jc^ +
ezrt az egyenesen
1
1+
1 + a'
48
Az llts nem jelenti azt, hogy kr kpe kr, egyenes kpe egyenes,
mint azt az elz feladatnl is lttuk. Az egyenest R = oo sugar krknt
rtelmezve mondhatjuk, hogy a lekpezs krt krbe visz t.
Az elz feladat megoldsa sorn lttuk, hogy a
g(z) = ^
49
fggvny
sl z
= x
iy ponthoz a w =
X V
^ pontot rendeli.
+ y
^2 + ^ 2 ;,2 +^2
pont, gy a
kpalakzatra:
+ B
+ y^Y
x^ + y^
- C
x^ + y^
+D = 0
talaktva:
A + B x - C y + D { x^ + y^) = 0
20
ennek a transzformcinak).
20
20
3.9a bra
50
51
w= 6.
Z -1-2
Ellenrzskppen:
+ 4+
5i =
(4 + 5i)z + 12 - 13/
Z - 1 - 2
\
1
1
(1 - 0 - ^ ( 1
2
A zo =
kerleti pont kpe a wq = oo, a kr msik kerleti pontjnak,
a zi = 5 pontnak a kpe a vvi = 0 pont, amely a hatrol egyenesen
helyezkedik el. A kr egy bels pontjnak, a Z2 = 0 pontnak a kpe a
W2 = 3 - 3i pont, amely a kpknt kapott flsk pontja.
Re(z) > 0
flskot a |w - 4/| < 3 krre kpezi le!
A feladat megoldsnl felhasznljuk az 1. feladat c) rsznek ered
mnyt.
Toljuk el az egyenest a vals tengely z = 1 pontjba. Tudjuk, hogy ezt
1
1
az egyenest a reciprokfggvny a
= - krre kpezi le (lttuk azt
is, hogy a Re(z) > 1 flskot a kr belsejre kpezi le). A kpkrt eltoljuk
az origba, sugart 6-szorosra nveljk, majd eltoljuk a pozitv kpzetes
tengely irnyba ngy egysggel.
A fggvny teht:
z ( - 3 + 4/) + 15 - 12/
\ . Z\ = 2 i
2. Z2 = 2 + 2/
3. Z3 = 00
A lekpezst a
w\ = 0
W2 = 3 + 3/
W3 = 6/
az + b
w = ------z+ c
sl z
a.
Mivel a zi = 2 / kpe a wj = 0 ,
= - pontba
0 =
52
- 0
6/ 2/ + /?
2/ + c
53
+ 2/ + c
A lekpezs teht: w =
Z3 - Z2
Z 4 ~ Z2
6 iz + 1 2
A trtfggvnyt a w =
Z4
^ alakban keressk,
ez + a
rr. J. I u
az\
b ,
az 2 + b
Tudjuk, hogy wi = ------ - es wo = ------.
c zi-^d
cz2+d
Z2
ahol k =
ezi + d
azaz egy
^3
-^ 1
^ ^ , ^3 - Z l
W3 - W 2
Z3 - Z2
k rtkt kikszblve:
w - Wj ^ W3 - W2 _ Z - Z\
w - W 2 W3 - Wi
Z - Z2
Z3 - Z2
Z3 - Z\
54
Z\ - Z3
Z3 - Z\
Z2 - Z3
Z3 - Z2
a\ = arc--------- = arc---------
Megjegyzs:
Ezek kettsviszonyt a
= arc---------
Z4 - Z2
Ebbl kvetkezen a kt szg azonos (illetve eltrse csak kjt lehet), teht
a kettsviszony arkusza n tbbszrse, azaz a kettsviszony vals szm.
(Belthat, hogy az llts fordtva is igaz.)
55
8.
Hatrozza meg azt a lineris trtfggvnyt, amely a |z - 3/| < 3
skrszt a Re(z) < Im(z) flskra kpezi le!
A 6 . feladathoz hasonlan 3 pontot vesznk fel a krvonalon, s ezek
kpeit - megfelel sorrendben - az egyenesen.
Az sszetartoz pontprok:
/ ( - 3 + 3/) = 0, /(O) = 00, /( 3 + 3/) = - 1 - /.
Az rtkeket az elz feladatban kapott sszefggsbe helyettestve:
w -0
l - / - o o _ z + 3 - 3
3 + 3/-0
w - 00 - 1 - / - 0
z-0
(3 + 3/) - ( - 3 + 30
Egyszerstve:
w
z + 3 3/ 3 + 3/
-1
Azaz:
z- I
.z- I
w = - - = i\ - iz
z+ /
Ellenrizhetjk, hogy a kiszemelt pontok kpei az elrt kppontok.
z- 1
lineris trtfggvny milyen
z-3
alakzatba viszi t a z sk orign thalad egyeneseit, illetve orig kzp
pont kreit!
10. Hatrozza meg, hogy a w =
3w 1
Az inverz lekpezs: z = -------j-. Ebbl lthatan a
= 1 pont
z + 3 ~ 3/
iz
Ellenrzskppen a kr egy bels pontjnak, a z = / pontnak a kpe a
w = - 3 + 2/ pont, amely valban a Re(z) < Im(z) flskba esik.
Megjegyzs: Az elz feladatbeli sszefggs alkalmazsnl clszer volt
a W2 = 0 vlaszts, ekkor ugyanis az egyenletbl egyszerbb w kifejezse.
9.
z=
cp e [0, Jt]
/ ( - 1) = - ! , / ( / ) = 0, / ( 1) = 1.
A 7. feladat alapjn:
w-(-l)
1-0
w - 0
Rendezve:
56
1 - ( - 1)
Z - ( - l )
|3 w - l |
|w - 1|
egyenlettel jellemezhet alakzatot kapunk, amely olyan w pontokat tartal
kl =
1 - i
1 - ( - 1)
w -
57
Megjegyzs:
A) Ha csak az Im(z) > 0 flskot nzzk, a lekpezs a 2i pontban
elhelyezett ponttlts s a vals tengelyen lv fmlapon kialakul elekt
romos ertr ervonalainak, illetve ekvipotencilis vonalainak kpt adja.
12.
Hatrozza meg, hogy melyek azok a pontok, amelyek a 10. fela
datbeli lekpezs sorn helyben maradnak!
A lekpezst a w =
Z -l
kplet definilta.
z-3
z-l
z-3'
= 2 - \/3.
fggvnnyel
z-l
58
Z - Z2
13.
Hatrozza meg azt a lineris trtfggvnyt, amely a |z| < 1
|z + 11 > \ / 2, Im(z) > 0 felttelekkel jellemzett skrszt a
59
z+I , ,
w = ------- alak.
z - 1
= (kP - 1) (1 - iP)
Mivel |z| < 1 esetn a szorzat negatv, azaz |w| < 1, gy a kr belsejt
annak belsejre kpezi le a fggvny.
Megjegyzs:
Ha a kapott tartomnyt ^ ^ -g y el elforgatjuk, megkapjuk a megfe
lel lekpezst, amely teht az
A
^
+ . . . + iz 4 - o , ,
,
....
Az f i z ) = ;--------------------;-------- r- alaku fggvnyt racionalis
fggvnnyel jellemezhet.
bmZ^ + . . . +
sl \k\
= 1 miatt
Ha a
0, akkor a lekpezs lineris trtfggvny. E lekpezsnl az
orig kpe a w = ka pont, amely |a| < 1 miatt az egysgkr belsejben
van.
60
Z^+ l
1 / 1
*fe)= j (' * )
Vizsgljuk meg a k
1 - az
a = 0 esetn a fggvny egy lineris fggvny, mely
csak arc(^)-val elforgatja az egysgkrt.
<p E ] -
tv, ti]
61
= ( , + i ) e o s ^ + i ( r - l ) sin^.
A lekpezs sorn teht:
1 /
1\
M= -
r + - j cos^
V=
1 /
j ( - 7r "
V= ^ ( r - s i n v J
- J sin^
v2
i(-;r
^ ( ' + p ) COS^
= 1
COS^ (p
sin^p
A kp teht hiperbola, melynek fkusza az elz ellipszisek fkuszval
azonos, teht az gy keletkez ellipszisek s hiperbolk merlegesek egy
msra (3.14 bra).
Megjegyzs:
Ag(z) = ^
62
4-
fggvnnyel
63
ti.
O
hrom pontjt.
3.15 bra
64
65
66
67
ZI Z* Z2 Z*
Mivel a ngy pont egy egyenesen van, gy a kettsviszony
rtke vals szm lesz, s sorrendjk megvlasztsa miatt rtke
legalbb 1. (Csak z\ = Z2 esetn egyenl 1-gyel.)
Ezen kettsviszony rtkt a lineris trtfggvny ltali lekpe
zs nem vltoztatja meg, gy ez a zi, zi pontprra jellemz lland.
A zi, Z2 pontok tvolsgt e kettsviszony logaritmusval jel
lemezhetjk. (A logaritmus alapszma tetszleges 1-nl nagyobb
rgztett szm lehet.) Az gy definilt d(zi, zi) tvolsg a tvols
gaximknak eleget tesz.
Tetszleges z\, Z2 esetn:
^(^1, Zi) ^ 0 (s 9{z\, Z2 ) = 0 csak z\ = Z2 esetben);
^(^1, Z2 ) = ^{z 2 , Zi); tovbb,
ha zi, Z2 Z3 egy egyenes hrom pontja (z2 a krbels pontja),
akkor {z\, Zs) = ^(zi, Z2 ) + ^(z2, Z3 ), teht az additv tulaj
donsg is rvnyes.
Vizsgljuk meg a
1
....
^ -"2
68
' isu
kplettel rtelmezzk, akkor a zi, Z2 pontok tvolsga egysgnyi,
gy a vals tengely egysgekre val beosztst ksztettk el.
A lekpezs sorn a kpzetes tengely kpe egy egyenes lesz,
amely egyenesre tkrzve az origt a W2 pontot kapjuk. (Ez az
egyenes a zi s W2 pontok felez merlegese.)
Vizsgljuk meg kicsit rszletesebben, hogy mit jelent e modell
ben a tengelyes tkrzs!
A w = i fggvny ltali lekpezs tulajdonsgainak vizsg
latakor emltettk, hogy a z s az 3 pontok egymsnak a krre
vonatkoz tkrkpei (r sugar kr esetn a z s az pontok
ilyen tulajdonsgak.)
Mivel itt az egyenes egy krv, a tengelyes tkrzs erre a
krre val tkrzst jelent. (Ezzel a transzformcival a reciprokfggvny lekpezsnek trgyalsa sorn foglalkoztunk.) A tbbi
transzformci lnyegben visszavezethet a tengelyes tkrzsre.
A pontra val tkrzs kt - az adott ponton thalad - egyms
ra merleges egyenesre val tkrzssel helyettesthet.
69
cos y
Mivel nincs olyan y rtk, melyre cos y s sin y egyszerre lenne 0val egyenl, gy az exponencilis fggvnynek a komplex szmok
krben sincs zrushelye. rdekessg, hogy - a valstl eltren a fggvnynek 00-ben nincs hatrrtke. Ugyanis a z = 00 - mint
abban megllapodtunk - a lim |z| = 00 relcit jelenti, ez viszont
igen sokflekppen realizldhat. Pldul >^ = 0 esetn ha x pozitv
vgtelenhez tart, a fggvnyrtkek is vgtelenhez tartanak, ha x
negatv vgtelenhez tart, a fggvnyrtkek nullhoz kzelednek.
70
Gyakorl feladatok
1.
Az exponencilis fggvny defincija alapjn hatrozza meg, mely
komplex szmokra teljeslnek az
a)
b)
= -2 0
= 20/ egyenlsgek!
a) A definici alapjn
cosy + ie^ siny = - 2 0 + / 0
A vals s a kpzetes rszeket sszehasonltva az
cosy = - 2 0
sin y = 0
egyenleteknek kell teljeslnik.
A msodik egyenletbl, mivel
coskjt = 20
Az egyenlsg csak akkor teljeslhet, ha
/: = 2n + 1, n E Z, ekkor ugyanis cos lat = 1; azaz:
Z = ln20 + iln + \)7ii, n G Z
esetn lesz
= - 20.
b) Az elzhz hasonlan:
cos y
71
cosy = 0,
siny = 20.
71
Az els egyenletbl y = - + hr, k E Z kvetkezik, amit a msodikba
helyettestve ltszik, hogy k = 2n n E Z esetn lehet megolds, azaz:
Z = ln20 + /
+ 2rm^, E Z.
2.
Hatrozza meg, milyen alakzatra kpezi le az exponencilis fgg
vny a z sk tengelyekkel prhuzamos egyeneseit!
Mivel az exponencilis fggvny a z sk -7t < y < jt svjt kpezi le
a teljes w skra, gy a kpzetes tengellyel prhuzamos egyenesekbl elg
ezeket a szakaszokat vizsglnunk. Ezek sl z = xq -{ ti, t G ] - Ji, ti]
egyenlettel jellemezhetek.
Ebben az esetben u = e^Ocost, v = ^^Osin. Ha a kt egyenletet
ngyzetre emeljk s sszeadjuk, akkor az
4egyenletet kapjuk, mely a w sk orig kzppont krnek az egyenlete.
Ezek a krk adjk teht a kpzetes tengellyel prhuzamos egyenes szaka
szok kpt. (Ha -re nem tesznk kiktst, akkor a pont tbbszr is befutja
ezt a krt.)
sin>7o.
Ha yo =
a kpzetes tengely pozitv felt; ha >^o =
tengely negatv felt kapjuk.
Ha cos yo
^ kpzetes
^=tgyo.
amely egy - az origt nem tartalmaz - flegyenes egyenlete (3.18 bra).
3.
Hatrozza meg, milyen alakzatra kpezi le az exponencilis fgg
vny a z sk egysgngyzett!
Az elz feladatban lttuk, hogy a tengelyekkel prhuzamos egyene
sek kpei orig kzppont krk, illetve orig fel tart flegyenesek.
A pozitv vals tengely [0, 1] szakasznak kpe a w skon a pozitv
vals tengely [1, e] szakasza. A z = / + /, G [0, 1] kpe az elz feladat
szerint a v = w tg 1 egyenes egy szakasza. A kpzetes tengely [0, 1]
szakasznak kpe az egysgkr ve, hasonlan a z = 1 -1- /, E [0, 1]
szakasz kpe egy e sugar kr ve (3.19 bra).
72
73
sl kpe
74
a) Az
sin , vagy
polrkoordints alakban r = e \
z = l n ( - 20) = ln 20 +
z = ln 20 +
Az elzhz hasonlan az sszes megolds:
Z = ln20 + i ( | + 2 f e r ^ , * Z.
6. Hatrozza meg, hogy a w = In z fggvny mely skrszre kpezi le
a Re(z) < 0 flskot!
Vi
71
2
u
71
2
3.20 bra
75
9.
A flskban
71
<P
Im(z) E]0, 1[
svot a
71
2
?
svot - a 7. feladat szerint - az exp
viszi t.
7. Hatrozza meg, milyen alakzatba viszi t a
= Inz fggvny az
orig kzppont krket, illetve az origbl indul, de azt nem tartalma
z, flegyeneseket!
A krkre |z| = r > 0 lland, azaz \nz = Inr + i(p, ahol (p E
Ezen krk kpei teht a kpzetes tengellyel prhuzamos egyenes
szakaszok.
A flegyeneseken z =
r > 0, ip lland,
1- z
fggvny vitte t a flkrt az els sknegyedbe. Ennek
1 +z
a fggvnynek az inverze nmaga, s ez az inverz kpezi le a sknegyedet
a flkrre. Teht a
Aw=
l-ef^
w = -------
l+ ei^
az adott tartomnyt a w < 1, Im(vv) > 0 flkrbe viszi t.
Ezt a flkrt pozitv irnyba - le l elforgatva s ngyszeresre nagytva
kapjuk az elrt kpet.
A fggvny teht:
jc
JT,
f(z) = 4e'2 . } _
1
svra kpezi
76
77
w =
(a E C komplex lland) ltalnos hatvnyfggvny
definilsra.
Mivel z =
gy kzenfekv a
w=
definci.
E fggvny esetn is ragaszkodunk az egyrtksghez, amit
In z definilsakor tett megszortsokkal rnk el.
(Mivel Inz z = 0 esetn nem rtelmezett, a definci erre az
esetre nem vonatkozik; 0"* rtkt 0-nak vesszk, ha Re(a) > 0,
Re(a) < 0 esetn nem rtelmezzk .)
'
k J e z ,
A kt oldalt sszehasonltva:
ln40 + ' ( I +
Z
.7t
+ 1 = 1 - 2,35
'2
Gyakorl feladatok
= 20 - 20/?
rtkt!
A definci alapjn:
53+4/ ^ ^(3+4/)ln5 ^ ^31n5 . ^i41n5 ^ j25
20 - 20/ =
20V2
s hasonlan:
kJ EZ,
gy az egyenlet megoldsai:
Algebrai alakban:
53+4 123,5 + 19,2;
ln20v ^ - i ( + 2/br)
Megjegyzs:
A feladat egyszerbb vlik, ha els lpsknt az
53+4/ ^ 5 3 . 54/
z =
In V2 + (^ ^ + 2171^
5. Adjon meg egy olyan lekpezst, amely az arc(z) G
mnyt az arc(w) G
tart-
azaz
= e 2.
78
79
Megjegyzs:
Ha a z skbeli szgtartomny cscsa a zo = 1 + / pontban van, a
kptartomny pedig a 3 + 2/ pontban, akkor a lekpezst a
g(z) = e'(z - 1 -
+ 3 + 2/
4. KOMPLEX FtJGGVNYEK
DIFFERENCILSA
fggvnynek
4.1 Differencilhatsg
Legyen a zo pont az f{z) fggvny rtelmezsi tartomnynak
torldsi pontja. Az f{z) fggvnyt a zo pontban differencilhat
nak nevezzk, ha a
f{zo + Az) - /(zo)
lim
Az-*0
Az
hatrrtk ltezik s vges.
Ezt az rtket az /(z) fggvny zo helyen vett differencilh
nyadosnak nevezzk, s /'(zo)-val jelljk.
Azt a fggvnyt, amely rtelmezsi tartomnya minden pont
jban az adott pontbeli differencilhnyados rtkeit veszi fel, de
rivltnak nevezzk. Mivel a derivlt defincija az egyvltozs
vals fggvnyek krben megismert mdon trtnt, gy a vals
fggvnyek krben megismert - az sszeg-, klnbsg-, szorzat-,
hnyados- s a kzvetett fggvny derivlsra vonatkoz - szab
lyok a komplex fggvnyek krben is rvnyesek maradnak.
80
81
dv
,du
\ dcp
d<p
82
fiz) =
fggvnyek derivltjt!
a) f \ z ) = lim
A Z-.0
(z +
Az
83
Az-^0
Az
= lim
s v = 0.
U'x = 2X = Vy 0
u'y :=2y = -v'x = 0
Uy = 2xy
v' =
1 v
^ ^
. f
= Z ^ = _ L = 1
d(p J
re^*P
cos Aip +
sin 4^
- v i = -2xy
f i z ) = y *
84
w _ Q __
dr
r
r d<p
d(p
dr"
azaz a fggvny az orig kivtelvel minden pontban differencilhat s
regulris.
Derivltja:
~ ^ -^ (4 /c o s4 ^ ~ /4 r'^ (-sin 4 ^ )) =
85
7. Lehet-e az m =
fggvny vals rsze?
\2xy^
= z'* = (X + iy)*
f i z ) = 4z^
8.
Lehet-e az = In {x^ + y^) ktvltozs fggvny egy regulris
fggvny vals rsze?
Az elz feladathoz hasonlan most is a Laplace-egyenlet teljeslst
kell megvizsglnunk:
2x
86
2{x^ + y ^ ) - 4 x ^
2y^-2x^
(x^+ y^y
(x^+ y^f
x^+
Hasonlan:
Wvv
_ 2x ^ - 2/
(x2 + y ^ f
x^+ y ^
'x2+y2
0, akkor v, talakthat:
87
0;
V =
jc = 0 esetn
= 0, gy ekkor v = lland.
d^u
= 0
sin4y? + c(r). A
d(p
dr
egyenlsg teljeslsbl
4.2 Taylor-sor
A komplex tag szmsorozatokat s szmsorokat, azok konvergncijt ugyangy rtelmezzk, mint a vals szmsorozatok, il
letve szmsorok esetben, gy ezeket nem definiljuk. Nhny fo
galmat, illetve ttelt emelnk csak ki.
A {zn} = {an + ibn}, n G N szmsorozat akkor s csak akkor
konvergens, ha vals rsze s kpzetes rsze is konvergens.
= 12r cos 4^
00
^ 2 cos 4ip
-1 = 4r
r dr
^
d^U
A^
A
- = ~16r cos 4^
d(p^
Mivel ezek sszege zrus, gy u lehet egy regulris / fggvny vals rsze.
A fggvny derivltja:
e
du ^ .du
dr
d<p /
00
ha ^
n=0
. 4/
n= 0
1 - Zo
= 4r^
89
minden Z k ^ T esetn a
n=0
egyenltlensg.
Biztosan egyenletesen konvergens a T tartomnyban a fgg
vnysor, ha minden z E 7 esetn teljesl az |/(z)| <
egyen00
ltlensg, s a
= limsup
R
Cn
hnyadoskritrium alapjn is.
A hatvnysor |z| < R esetn egyenletesen konvergens,
|z| > esetn divergens.
A |z| =
pontokban lehet konvergens s divergens is a hat
vnysor.
Igazolhat, hogy a konvergenciakrn bell a hatvnysor szszegfggvnye regulris fggvny, s derivltja tagonknti deriv
lssal llthat el. A derivltakbl ll sor konvergenciasugara az
eredeti konvergenciasugrral azonos.
Igen lnyeges a kvetkez ttel: Ha / regulris az a pont egy
krnyezetben, akkor itt az / fggvny 3. (z a) hatvnyai szerint
halad Taylor-sorba fejthet. A sor:
szmsor konvergens.
n=l
00
00
s a
rt=0
n=0
A sor a konvergenciatartomny minden pontjban egyenletesen
konvergl /(z)-hez (lsd mg 5. fejezet).
00
Ha a
Gyakorl feladatok
1.
Konvergens-e a
szmsor?
n= 1
/ 1
n=0
90
91
vergenciatartomnyt!
divergens.
Z- 1
4. Hatrozza meg a
n=l
fggvnysor kon-
n= 1
n= 1
^
00
z- i
ki < 1
ll + ^l
A fggvnysor konvergenciatartomnya teht a
1
ki < |i + ^ l
tartomny.
Ez a tartomny egy flsk, melyet a z = O s z = ~1 pontokat
sszekt szakasz felez merlegese hatrol, s amely az origt tartalmazza.
A fggvnysor teht a Re(z) > ~ ^ flskon konvergens.
^
00
< 1, azaz a
ki
< 3
|z+l
3(z + 1)
egyenltlensgnek kell teljeslnie. Ennek az egyenltlensgnek egy kr
bels (gynevezett Apollniosz-kr belseje) tesz eleget. A kr kzppontja
3
fggvnysor kon
n=0
vergens?
Mivel mrtani sor szerepel a feladatban, a konvergencihoz a
^ + i <1
92
93
n / j _|_ j\i
8. Hatrozza meg a ^ ^
n=l
azaz
R = p . (Felhasznltuk, hogy lim ^
v2
= 1.)
6. Hatrozza meg a
n=l
1
z^-3z- 2
-1
z -l
z-2
n=0
hatvnysor konvergenciasugart!
n 1
1
z-2
1
2
=1J-
"i" 1
n -0
gara R = - .
e
Megjegyzs: Ha felhasznljuk a Stirling-formult, mely szerint n\ kzel
tleg y/2jtn *
ekkor is /? = - addik.
e
94
n=0
(z - l)(z2 + l)
Taylor-sort!
95
vnyt:/fe)=^ + ^
Alaktsuk t a fggvnyt:
1
4
/fe) =
- ^
1V
2)
I V ,
3 v
= - 1( 1+ z + z^ + z^+ . . . ) =
|zl < 1
71= 0
- ^ = 2 z { l - z ^ + z ^ - . . . ) = 2z f ^ ( - l ) " - z 2"
|z| < 1
n=0
n= 0
'
trendezve:
A sor a
/(z)
= - l + z - z ^ - 3 z ^ - . . . =
m =
00
^-2
|z| < 1
n=0
+ z2 + 1
sort!
Az egyik lehetsg most is a rsztrtek sszegre val bonts volna,
de clravezetbb, ha talaktjuk a fggvnyt:
/U ) =
+l
l-z^
I - z^
1 -z^
1
/(z )= (1 - Z^ ) ( l - z ^ + z2 - . . . ) =
/ 2(Z) = (1 + Z ) ( l - Z ^ + Z ^ - . . - ) =
00
6n
00
n= 0
96
n=0
- z+ 1
97
13.
Taylor-sort!
A fggvnyt talaktva:
( 1)
(-1+ 2 ^
n 1
n= 1
Az elzkhz hasonlan:
(2)
1 =1
_
( 1 + = 1+
1x 1 < 1, ahol
2!
a{a -
+ ... =
( ) A ha
rt= 0
1)... (a - n + 1) , (a
98
99
v /z
= \/i + +
- ( + 1) = v T T 7 ^1 + ^ ^
'
= vT+7-
(z -
1+1
1+
1(1
2 V2
i)
1 - if
(1 + 0^
2!
/
n=0
shz = z + -
rt=0
+ -
(2 n )!
+ ...
n= 0
{2n+
1 )!
= l + ^ +
+
n=0
A sor konvergenciasugara R = oo. Ennek mintjra Taylorsorval definilhatjuk tetszleges komplex kitevre is az exponencilis fggvnyt: ^^ = l + z + + ... H : +
2!
ni
(ha chz 0)
chz
chz
cthz = - r - (ha shz ^ 0)
shz
Mivel az exponencilis fggvny periodikus volt, a belle szrmaz
tatott hperbols fggvnyek is periodikusak, shz s chz esetn ez a
peridus Tjii, thz s cthz esetn jci. Az exponencilis fggvnyhez
hasonlan a hperbols fggvnyeknek sincs vgtelenben hatrrt
kk.
A hperbols fggvnyek mintjra a sinz s a cosz fggv
nyeket is Taylor-sorukkal rtelmezzk.
n=0
= cos y + i sin y
100
cosz
(ha cosz ^ 0)
ctgz =
smz
(ha snz
0)
101
2!
* 2!
Hasonlan:
4!
4!
+ . ..
(2n)!
(2n)!
= COS
3!
~
^ ~ 3!
5! ~
Ezekbl kvetkezen
th(/z) = tgz s
5!
(2n+l)!
(_l)^2n+l
(2n + 1)!
cth(z) = ctgz.
Ezek az sszefggsek magyarzzk a trigonometrikus s a hiperbols fggvnyek azonossgainak hasonlsgt, s ez a szoros
kapcsolat indokolja a hiperbols fggvnyek krben a szinusz,
koszinusz... elnevezsek alkalmazst.
Mivel a hiperbols fggvnyek rtelmezse a valsban megis
mert mdon trtnt, gy rvnyesek az ott megismert sszefgg
sek. Pldul:
ch(zi + z i ) = chzichz2 + shzishz2
sh(zi + Z2 ) = shzichz2 + chzishz2
102
u = cosjcch)^
V = sinjcsh}'.
kE;
A msodik tagban ekkor sin y ^ 0, teht shjc = 0, azaz
A chz
jc
= 0.
k El Z
komplex szmok.
103
kjt, k E Z
104
Mivel - 2 = ^ln2+/(;r+2A
:7r)^ ^ ^
z = ^ ( In 2
5.
rszt!
(;r +
.gy.
Ik n ))
tgz =
105
Ha Z
= 1
c\?'a sh^t
addik, ami egy ellipszis egyenlete. Az ellipszis fkusztvolsga 1, mivel
ch^a - sh^fl = 1. (Ahhoz, hogy a w skon csak egyszer fussa be a kppont
az ellipszist, a -re a G ] ;r, ;r] megszortst kell tennnk, a = 0 esetn
a vals tengelyt a [ - 1, 1] intervallumon be kell metszeni az egyrtelm
sghez).
A kpzetes tengellyel prhuzamos egyenesekre z = a + it, ahol t G R,
a vals lland. Ekkor u = cos a ch s v = sin a sh.
Ha a = ^ + kji, akkor w = 0, gy a kppontok a kpzetes tengelyen
helyezkednek el.
Megjegyzs:
A)
Az elz fejezetben lttuk, hogy az exponencilis fggvny
tengellyel prhuzamos egyeneseket origbl indul flegyenesekre, illetve
orig kzppont krkre kpezi le. Lttuk tovbb azt is, hogy az
106
+ /v i
107
ch^z
4!
2!
(2zyI n
{2n)\
(2zy
+,
{2n)\
A sor minden vges z rtkre konvergens.
1=
24
chz
720
sszehasonltva a kt oldalt:
Az llandk:
1 = o
A msodfok tagok:
1
0 = q * 2
A negyedfok tagok:
0 = ^ ' ^0 + y + ^4
^2
2 = - 5
5
"^=24
Ennek sora:
(3zf
5!
( - 1)"
=E
I ( - 1)^^"^' I ... I _
(In + 1)!
(-l)"(3z)',2n+1
(2n + 1)!
- (3z)
(2n + 1)!
\
n=0
(Felhasznltuk, hogy a sor abszolt konvergens, gy trendezhet).
Vrhat volt, hogy a fggvny lineris tagot nem tartalmaz. (A 0 hely
hromszoros multiplicits gyke a fggvnynek). A sor minden vges z-re
konvergens.
Megjegyzs: A z = a pontot az /(z) fggvny ^-szeres zrushelynek
nevezzk, ha e pontban a fggvny rtke s az els (n - 1) derivlt rtke
zrus, de az n-edik derivlt mr nem, azaz:
f{a) = f (a) = f '\ a ) = ... / " - " ( a ) = 0 s /">(a) . 0.
Ilyenkor a fggvny a helyhez tartoz Taylor-sorban (z a)'^ az els el
nem tn tag.
Lttuk, hogy eh
^
^
^
z^ z^
Y 24
^
^
r
2
z^
7^
2 4
z^
'^ 2
_
24
720
24
4- . . .
/
24
720
109
108
11.
Hatrozza meg az fiz) = tgz fggvny 0 helyhez tartoz Taylorsornak nhny tagjt!
Mivel a tangens pratlan fggvny, ezrt tgz Taylor-sorban is csak
a pratlan kitevj tagok szerepelnek.
sinz
.
3 .
5 ,
tgz = ----- - a\z + a^z + 05Z + ...
cosz
sinz s cosz helyett azok Taylor-sornak els nhny tagjt berva s
rendezve:
6 120 ' - = ( - T +
- )
+- )
- u
^ X
30'
110
. 2z^
A lineris tagok:
Mivel cos ^
^ ^
sszehasonltva a kt oldalt:
Az llandk:
0 = 2ao
4 4 - 3
. 2z^ X
\ = 2a\ + q
A msodfok tagok: 0 = aj + 22
)
A harmadfok tagok: 0 = -^ + 2 + 2^3
6
Teht:
ao = 0
1
" = 2
1
az = - 2
1
3 = 4
1.3
Vals szmok krben a nevez soha nem lenne nulla, gy a sor minden
vals szmra konvergens lenne.
111
^0 = 2 ''
gy a sor konvergenciasugara:
kol 2,46
2ze^^ + 1 = 0
= Z H- \ / ? ^
Az egyenlet kt megoldsa kzl csak a
= ch2 +/sh2
^2iw
+ e~
2!
4!
Rendezve:
sin z = /sh2 + ch2(z 2i) - /sh2 ...- + ...
A sor minden vges z-re konvergens.
Termszetesen, ha a sort / derivlsval lltjuk el, ugyanezt az ered
mnyt kapjuk.
z + Vz^ - 1
rtket vettk figyelembe, ezzel biztostjuk az Im(w) > 0 megk
ts teljeslst. A msik kikts teljeslst a logaritmusfggvny
definilsakor tett megllapods biztostja:
arccosz
Az gy rtelmezett arccosz fggvny z vals [ - 1 , 1] intervallumba
es rtkei esetn a valsban megismert arccosx fggvnnyel meg
egyezk.
Pldul z = 1 esetn w = 0; z = 0 esetn w = - / I n / =
Z = 1 esetn w = /ln (1) =
112
71.
113
a r c .g z = -l
Re(arctgz) E
\J \-z ? -
= V z ^ -
arshz = In ^z + Vz^ + 1^
arthz 2
Jtl
megszortst tesszk.
archz = In
. (71
\
. 71
71 .
sin
wj = sin cos w cos sin w = cos w
-----
~ f
Hiszen In / = /^ .
A feladatbl lthatan az arcsinz fggvny szrmaztathat az arccoszbl. Hasonl sszefggs rvnyes az arctgz s az arcctgz fggvnyek
kztt is.
2. Hatrozza meg az arkuszfggvnyek alkalmazsval a
sinz = 20
egyenlet megoldsait!
Az egyenlet egyik megoldsa:
z = arcsin20 = - / I n ^20/ + V \ - 20^^
Az elz feladatban ltott mdon talaktva:
Z = -/In / - / In^20 4- ^20^ -
^ /arch20
k,l E Z .
A feladat egyenrtk a
cos w = sin
sszefggs igazolsval.
Ez utbbi (az addcis ttelek komplex vltoz esetn is rvnyesek):
114
115
(arcsinz)' = ^ - In ^iz + \ / 1
ha
2z
N < 1-
iz + \ / l
1+
iz
iz + y / V ^ :
vT ^
A msik lehetsg az inverzfggvny derivlsi szablynak alkalmazsa:
^ ^ 1 1
1
1
dz
dz
\ / 1 sin^ w
dw
Hasonlan lthat be a tbbi arkusz-, illetve areafggvnyre vonatkozan
is, hogy derivltja a valsban megszokott derivlt.
= 1+ Y +
^2n+\
2n + l
n=0
A hatvnysor konvergenciasugara R = l (ennek igazolsa pldul gyk
kritriummal vgezhet el).
a h
116
117
118
119
^=1
sszeget. Finomtsuk gy a felosztst, hogy a {zk-\, Zk) vek hossza
egyenletesen tartson 0-hoz! Ha ekkor teljesl az, hogy az S sszeg
brmely minden hatron tl finomod felosztssorozat esetn a fel
osztstl fggetlen hatrrtkhez tart, akkor az / fggvnyt a y
grbn integrlhatnak nevezzk. Az S sszeg hatrrtkt pedig
az / fggvny y grbre vonatkoz integrljnak nevezzk, s gy
JJ y
fm t))^ z\t)d t
Jy
Ja
Jy
Jy
Vals integrlok kiszmtsnak leghatkonyabb mdja a NewtonLeibniz-formula alkalmazsa. Ennek megvan a komplex megfele
lje is:
Az F regulris fggvnyt az egyszeresen sszefgg nylt T
halmazon (egyszerbben mondva: tartomnyon) az / fggvny
primitv fggvnynek nevezzk, ha a 7 tartomny minden pontj
ban F'iz) = fiz).
A regulris komplex fggvnyek alapvet tulajdonsgt fejezi
ki a Cauchy-fle alapttel:
Ha / az egyszeresen sszefgg nylt T halmazon regulris
fggvny, akkor brmely 7-ben halad zrt rektifiklhat y grbre
vonatkoz integrlja zrus, azaz:
f{z)dz = 0
Ennek egy kvetkezmnye, hogy ha s Z? a T tartomny tetsz
leges pontjai, akkor az -tl h-\% vett integrl rtke fggetlen az
integrcis ttl, csak az a s b pontok fggvnye.
Az alapttel kvetkezmnyei az albbi ttelek:
A folytonos / fggvnynek az egyszeresen sszefgg nylt
T halmazon akkor s csak akkor van primitv fggvnye, ha /
regulris a T tartomnyon. Ebben az esetben egy primitv fggvny
elllthat egy integrlfggvnnyel
F (z)=
JZQ
121
Jy
Fia)
fiz)dz = j 2
^ f ( z ) d z = 0,
akr megkerli y a
akr nem. Ennek a Riemann-fle kiterjesz
tsnek a kvetkezmnye a komplex integrlok kiszmtsa szem
pontjbl alapvet jelentsg Cauchy-fle integrlformula: Le
gyen / regulris az sszefgg nylt T halmazon, s y rektiiklhat
zrt Jordan-grbe, mely belsejvel egytt T-hez tartozik. Ekkor a
T tartomny minden olyan zo pontjra, amely a y belsejben van,
igaz, hogy:
123
Gyakorl feladatok
1.
Szmtsa ki az f(z) = Rz komplex fggvny vonalintegrljt a
= 1 pontbl S z = i pontba vezet albbi grbk mentn (5.2 bra):
a) y i: egyenes szakasz
b) Y2 : pozitvan irnytott negyedkrv
Jyi
f(z)dz=
Jo
( l - 0 ( - l + 0* =
Jo
{(t - \) + (l - t)i)dt =
Jy^
m dz=
COS ( -
sin t
+ i cos t)d t =
Jo
/f ,
2
,
= / (^ sincos + / COS tjdt
Jo
cos
J yi
124
f(z)dz =
Jo
sinlt \
I . .Jt
" 2 U
~
)
Javasoljuk a Tisztelt Olvasnak, hogy gyakorlskppen szmolja ki ay2-re
vonatkoz integrlt vals vonalintegrlokkal, s vesse ssze a kt ered
mnyt. Termszetesen ugyanezt kell kapnia.
Azonban a y\ s 72 grbkre vonatkoz integrlok rtke nem egyen
l, pedig azonos a kezd- s a vgpontjuk. Ez azonban nem ellentmonds,
hiszen, mint azt tudjuk, az /(z) = Rz fggvny nem regulris.
125
2.
Integrlja az f(z) = fggvnyt az origbl indul, 1 + 4/ pontba
vezet albbi grbk mentn (5.3 bra)!
a) 7i : egyenes szakasz
b) 72- parabolav
Jv,
(t 4- 4tr(\ + 4i)dt =
Jo
= (1 + 40
(l+ 4 f = - y
f(z)dz =
z^dz =
Jyi
Jo
Megnyugtat, hogy mindhrom mdszer ugyanazt az eredmny szolgltat
ta.
b) Trjnk t a parabolav mentn trtn integrlsra.
Komplex vonalintegrllal szmolva yi egy paramterezse:
z{t) = t + 4it^, t e [0, 1], z'(0 = 1 + 8. Ezrt:
a)
v{x, y) = 2xy.
f{z)dz =
Jy^
dy = 4. Azaz helyettestve:
Jo
r-1
- (4tf) l - 2t 4t)dt + i J (2 t-4 t-l{ t^ -(4 tf')-A )d i
= J
pl
= J
126
Aq
-A lP 'dt + iJ
-At^dt
i-
Jy2
f(z)dz
Jo
iit)dt =
[t + 4
i^
)(l +
3.
Szmtsa ki az f{z) = - fggvny integrljt az = 1 2/ pontbl
a Z? = 2 + 4/ pontba vezet egyenes szakasz mentn!
127
Jvy
/(z) = ! = ^
Z
X + iy
+ -p-
Teht a koordintafggvnyek:
y {t)
x^-y^
JO
- i t . idt =
JO
tdt=]^
Jy2
zdz=
Jo
i, t E [0, 1], z \ t ) = -1 ,
- 1
+ 4/2
'/(-= r
1+
\
2 t 2t
2
fl 4- Afi /
2
1+
4/2
2 U / =
= I i \ - 2i)dt = 1 - 2/
(1 + 2/)* = ^ (1 - 2/y = 1 - 2
Z dz=
(-((l-/))(-iV = (-!)
7o
rt y grbre vonatkoz integrl ezen integr
t^
2
128
129
\z\dz=
Jy
Jy
\z\dz-^
Jy^
\z\dz = - S i 0 = -Si
Jy2
Ismt klnbzik 0-tl. Morra ttele szerint teht f{z) = |z| valban nem
lehet regulris.
6.
Szmtsa ki az f{z) = chz fggvny vonalintegrljt a z = 1
pontbl a z = 2 + / pontba vezet albbi grbk mentn (5.6 bra):
a) 7i : egyenes szakasz (AB)
b) 72- ACB trttvonal
2 2
2 lie"dt = 4
= - 8i
f
Ezutn legyen yj a CA egyenesszakasz. Ezt az albbi mdon rjuk le:
z{t) = it, t e [-2 , 2], z'(t) = i, lz(f)| = t. Teht:
t2
= 0
/ W z = t idt = i '
-2
Jy2
J-:
Ezen rtkek sszege adja a zrt y grbre vonatkoz integrlt:
130
131
^ l+ r(l-0
^ -1 + O -
1+ i
1- i
1- /
: (sh(2 0 - shl)
b)
Az integrl valsznleg fgg az ttl, ezrt a trttvonalra vo
natkozlag a szmtst el kell vgezni. Ehhez felhasznljuk az integrl t
szerinti additivitst s a chz fggvny elbbi talaktst:
/ chzdz = / chzdz = / chz/z
Jyo
jy2
^
J aac
c
JJ c
cb
b
Az AC szakasz a vals tengelyen van, ezrt: z(t) = t,t G [1,2], z\t) = 1,
z(t) = t, teht:
/2
J\
. ie^'dt = / (
Jo
- 3i)dt =
= -3m
( 2 /- 3 0 1* = ( 2 ( - 3 ) .
=0
-1
Az integrl t szerinti additivitst felhasznlva kapjuk:
if(z)d z =
Jy^
0
-2+i
= sh2 - sh(2 - i)
2
2
Ezek sszege adja a keresett integrlt:
/JY2
< chzdz
132
8.
Szmtsa ki az f{z) = z, n E Zq komplex fggvny integrljt
egy tetszleges rektifiklhat grbre vonatkozlag!
Ha a grbe zrt, akkor alkalmazzuk a Cauchy-fle alapttelt. Ugyanis
nemnegatv egsz kitev esetn az f(z) = z" fggvny regulris a teljes
komplex skon, gy brmely zrt grbre vonatkoz integrlja zrus.
Ellenrizzk ezt egy konkrt esetben!
133
a)
A y\ zrt grbe belsejben az f{z) = - fggvny nem regulris,
hiszen a z = 0 pont a fggvny szingulris pontja. Nem alkalmazhat teht
Cauchy alapttele. Paramterezzk yi-et: z(t) = 2- e^\t G [0, 2jc]. Ekkor
z\t) = 2i e^\ teht:
*=0
n
.A:+l
- l) = 0
:=0
Ha a grbe nem zrt, akkor a regularits miatt alkalmazhatjuk a NewtonLeibniz-ttelt, hiszen akkor /-nek van primitv fggvnye, mghozz
1
n+1\ n > 0 .
F(z) =
n+ 1
Legyen a grbe kezdpontja a, vgpontja b. Ekkor brmely a-h6\ b-ho,
vezet y grbe mentn:
pb
Hll
n+ 1
/(^ + 1)
9.
Szmtsa ki az f(z) = - fggvny vonalintegrljt az albbi zrt
grbk mentn:
a) yi'. Orig kzep, r= 2 sugar krv, azaz y\ = C(0, 2).
b) 72*^0 = 3 kzppont, r = 2 sugar krv, azaz 72 = C(3, 2).
Mindkt grbe legyen pozitv irnyts (5.8 bra).
134
1
A C(3, 2) krven s azon bell f(z) = - regulris, teht Cauchy
alapttele szerint:
135
-dz = 0
Jyi z
s ez gy van tetszleges olyan rektifiklhat zrt grbre vonatkozlag,
amely nem tartalmazza belsejben az origt, s nem is halad t rajta.
Mivel azonban az integrl kiszmtsa nem okoz klnsebb gondot,
gyakorlskppen elvgezzk.
A C(3, 2) grbe egy paramterezse: z{t) = 3 +
Ekkor z\t) = 2ie^\ ugyanaz, mint az a) pontban. gy:
rlji
1
u . . r
3
+
J y2 ^
Jo
2jc
In
t E [0, 2jt].
fggvny peri
|z|-e'^
= [ln
, ahol
z -Zo
Zo E C tetszlegesen rgztett, y legyen a z = zo pontot egyszer pozitv
irnyban megkerl rektifiklhat zrt grbe. Ekkor:
1
-dz = 2jti
Z-ZO
Az elzek alapjn a rszletes szmtst a Tisztelt Olvasra bzzuk.
|z| ie^dt -
10.
lltsa el az f(z) = - fggvny egy primitv fggvnyt a
komplex sk egy alkalmas egyszeresen sszefgg nylt T halmazn!
Mr a 9. pldban is emltettk, de az elemi fggvnyek rtelmezs
nl is sz volt arrl, hogy az f(z) = - fggvny a z = 0 pontban nem
regulris, a z = 0 pont a fggvny izollt szingulris pontja. Ez azt is jelen
ti, hogy a fggvny regularitsi tartomnya nem egyszeresen sszefgg
halmaz. Ha azonban a komplex skot felmetsszk a negatv vals flegye
nes mentn, akkor a kapott felmetszett sk mr egyszeresen sszefgg,
melyben az /(z) fggvny regulris, gy van primitv fggvnye is. Pldul
brmely ponthoz tartoz integrlfggvnye primitv fggvny. Rgztsk
136
11.
Szmtsa ki az /(z) = , n > 2 komplex fggvny vonalinteg
rljt tetszleges rektifiklhat y grbre vonatkozlag!
137
\d z = 0
Jo
y
--T
f
r i e 'd t
(r e )"
1
r" -l ( !----- )'
Teht azt a figyelemre mlt eredmnyt kaptuk, hogy az origt megkerl
brmely krvonalra vonatkozlag nulla az integrl rtke. A Cauchy-fle
alapttel tbbszrsen sszefgg tartomnyokra vonatkoz ltalnosts
szerint a kr helyettesthet tetszleges alak, origt megkerl egyszer
zrt grbvel.
Vegyk szre, hogy a fenti formulk nem rvnyesek n = - 1 esetn,
nem vletlen, hogy kln pontokban (a 9. s 10. pldban) foglalkoztunk
az fiz) = - fggvny integrlsval.
Ha a y grbe nem zrt, hanem egy a pontbl egy b pontba vezet,
anlkl hogy thaladna az orign, akkor alkalmazhat a Newton-Leibnizttel. Ekkor ugyanis az /(z) = , n > 2 fggvnynek ltezik primitv
fggvnye:
Fiz) =
^-1
138
139
(bf{z)dz = f{z)dz +
Jy
Jy
JJv]
yj
(f
J y2
f{z)dz
Jy
Jy^^
Jy2 ^
Legyen yi =
13.
Szmtsa ki az albbi / fggvny vonalintegrljt a 3 + 2/, -3 + 2/,
3-2/, - 3 - 2 / cscspont tglalap hatrvonala mentn pozitv krljrssal
(5.11 bra)!
/(.) =
+ (/ - 2)Z - 2/
lm
c ( l ,
s 72 =
C ^ -i,
'
^
z+ / z-2
Itt az els tag a yi-en s belsejben, a msodik pedig a y2 ~n s belse
jben regulris, gy integrljuk zrus. Az idzett ttel szerint ekkor:
^ fiz )d z = (f
+ /
Jy^ -
Jy
^ . d z
Jy^ Z + /
______
0:
1 v iy
-1
^yi
14.
Szmtsa ki az / komplex fggvny vonalintegrljt az orig k
zep r= 2 egysg sugar krre vonatkozlag pozitv irnyts esetn, ha
c
m
5.11 bra
Elszr is vizsgljuk meg a fggvny regularitst. Ha a neveznek
van olyan zrushelye, ami a szmllnak nem zrushelye, akkor az bizto
san szingulris pontja /-nek. Ezrt elszr szorzatt alaktjuk a nevezt.
140
+ 2z(l + ) + 7
(z + l)Hz - 30
141
ahol az ltalnostst zo =
n = 2 esetn alkalmaztuk.
Inr
15.
Szmtsa ki az f(z) = - Inz fggvny integrljt az orig k
zppont r sugar, pozitvan irnytott krv mentn!
A fggvny egyetlen szingulris pontja az orig, a megadott y grbe
ezt megkerli. Az alapttel teht nem alkalmazhat. Paramterezzk ezrt
a y grbt a szokott mdon: z(t) =
t G [0, 2n\, z\t) = ir
Ezrt:
j)f{z)dz = J
142
..- Ve dt = i j
(lnr+ it)dt =
143
jcos(2 + i)zdz =
J ^cos(2 + 0 ( +
(1 + 2it)dt =
1
= -----: / (2 + 0 (1 + 2/0 cos(2 + /) {t + it^)dt =
2 ^ 7o
sin 10/
sin(2 + /) ( + /^)
2+i
2+i
Az integrl kiszmtshoz felhasznltuk a vals analzisbl jl ismert
ff(g(x))^g'{x)dx = F(g{x))-\-C
<
rl+Ai
cos(2 +i)zdz
Jy
i-
Mz)dz = 0, ^ = 1, 2, 3, 4.
b)
Ha a y' grbe nem zrt, akkor mindegyik esetre alkalmazhatjuk a
Newton-Leibniz-ttelt, hiszen az emltett regularits miatt mindegyiknek
van primitv fggvnye, teht:
pb
1
cos 2z ^
= -(cos 2 ^ - C 0S2!)
J f\iz)d z = j n lzd za
a)
Ezek a fggvnyek mindannyian regulrisak a teljes komplex skon,
gy a Cauchy-fle alapttel szerint tetszleges rektiiklhat zrt grbre
vonatkoz integrljuk zrus:
2+ 4 /
Jo
j ^ 2(z)dz =
3 e^^dz = 3
J fi(z)dz = J lichizdz
Jyf
f4(.z)dz
iz^
(
3
z
^+
Ja
L z .
3 -j+ f
o
8.
z2 2_
shiz
z)dz
= 2 {shib sh/a)
b
a
sin 10/
= ^
(sin(2 + 0 -(2 + 4 0 - 0 ) =
2+ /
Valban ugyanazt az eredmnyt kaptuk.
17. Integrlja az albbi fggvnyeket a megadott grbk mentn!
/i(z) = sin2z,
fiiz) =
fs(z) = 2/ch/z,
f4z) =
+ iz^ + 8z,
ha az integrcis t:
a) tetszleges zrt rektiiklhat y grbe,
b) rgztett a, b E C esetn a-bl ^-be vezet rektiiklhat y' grbe.
144
145
JOA
Jo
ch2t
1
2
ch2
2
sh(2 + 2 it)dt
ch(2 + 2it)
ch2
ch(2 + 2)
/ Mz)dz = i / '
= _ 1 / ' (^(2+20(1-0 _ ,- ( 2+20(1- 0) .
2' 7o
146
sh(2 + 2i)(l
-t)d t
Jo
ch(2 + 20
= ( \ + i)
ch(2 + 2)(l - t)
-(2 + 2i)
'
pb
i:
2z shizdz =
[2
f
t Z chiz
I
.a
2z'
c\iizY
pb ^
-D
chizdz
shiz
147
i:
:(ln(l + /) + 1) =
- (0 -
b) /2(z) = Ch^z
c) h(.z) = ctg(2z - 1)
" a + 2)ln(z + 20
c)
Az /3 fggvny ismt a teljes skon regulris fggvny, teht az
elzek mintjra brmely -bl b-he vezet rektiiklhat 73 grbre par
cilis integrlssal kapjuk:
pb
^
. rb
2z-e^
e) u z ) =
a)
Az f\ fggvny a teljes skon regulris, teht tetszleges a G C
vlaszthat az integrcis t kezdpontjnak, ekkor az integrlfggvny
brmely z G C esetn:
Faiz)= f h [ ) d K = c o s H
Ja
Ja
=-
COS^
/
4
= -A (^cos
a - cos4 zj\
148
149
ch2? + 1
sh2C
Ja
Ja
1 /sh 2z sh2a
2
2 l 2
c) Az /3 fggvny nem regulris a teljes skon, hiszen:
/3a) = ctg(2z - l ) = 2g
alak.
m
d) Az /4 fggvnynek tbb szingulris pontja is van, ezek a neve
z zrushelyei, valamint az In z fggvny szingulris pontja. Konkrtan a
z + 2/ = 0 egyenlet megoldsa a z = ~2 komplex szm. Ez egyttal
az ln(z + 2i) komplex fggvny szingulris pontja is, hiszen tudvalev,
hogy az /(z) = In z fggvny egyetlen szingularitsa az orig. Msrszt az
ln(z+2i) = 0 egyenlet megoldsa is szingulris pont. Tekintettel arra, hogy
Inz = In |z| + argz, ezrt Inz-nek csak a z = 1 vals szm az egyetlen
nullahelye. gy a z = 1 - 2/ is szingulris pont. Minden olyan egyszere
sen sszefgg rsztartomnyban ltezik / 4-nek integrlfggvnye, amely
nem tartalmazza ezt a kt pontot. Ilyen rsztartomnyai a komplex sknak
pldul Rz > 1, Rz < 0, Imz > - 2 (5.16 bra), Imz < 2 flskok.
Az integrls sorn felhasznltuk, hogy az integrandus
150
=y
cos (2^ - 1)
_ _ ^ ^
F a (.z ) =
(C + 2/)ln (? + 2)
= Inf
in(? +2 i )
y'
- In f K 3 0 \
\ln(a + 2i)J
Felhasznltuk az integrls sorn az integrandus
f'(z)
alakjt.
Az)
151
e) Az f^iz) =
+ 2 fggvnynek egyetlen szingulris pontja van,
ez pedig a gyk alatti kifejezs zrushelye, a z = - 2 pont. Brmely
olyan egyszeresen sszefgg tartomny megfelel a clnak, amely nem
tartalmazza a z = - 2 pontot. Ilyen lehet pldul a Rz > - 2 vagy
az Imz > 0 flsk. Ezeken bell ltezik integrlfggvny tetszlegesen
rgztett a G C s brmely z 6 C mellett, ha az sszekt grbe is a
tartomnyban halad:
Fa(z) =
Ja
\ ^ + 2 )^d =
Ja
fggvny a y grbn s belsejben regulris. Alkalmazhat teht a Cauchyfle integrlformula az / fggvnyre s a zo = 2 pontra vonatkozlag.
Teht: ^,^^g(z)dz =
= ^ - ((z + 2)5 - ( + 2 )3 )
ahonZ\Z
2. Szmtsa ki a g(z) =
z^ + 4
= -7^(1 + 6/).
^ fggvny vonalintegrljt a
k - 2| + |z| = 4
egyenlet, pozitvan irnytott ellipszis mentn (5.18 bra)!
Gyakorl feladatok
1. Szmtsa ki a
3 z-
g{z) = 72
2z
komplex fggvny integrljt a \z 2\ = 1 krvonal mentn, pozitv
irnyts mellett (5.17 bra)!
(z) = (z - 2/)(z + 2)
152
153
sin 2z
4. Szmtsa ki a g(z) = ------^ fggvny integrljt a y grbre
\Z i ^ )
2jti
egyenlsg alapjn:
hg{z)dz = 2jti f{2i) = 2jii
3.
Szmtsa ki a g(z) =
4/
;r
2
komplex fggvny vonalintegrljt tet
5! / / ( z )
-dz
- Jy
i
154
chO -
155
5. Szmtsa ki a g(z) =
2i
z(z^ + l)
,
^
z{z^ + l)
Z
Ez azrt hasznos, mert a szmllban ll
- ? t 7
fggvny yi-en s azon bell regulris. Alkalmazhat teht a Cauchy-fle
integrlformula fi s zo = 0 esetn:
f g(z)dz = ^ ^ d z = 2jti /i(0) = -4 jt
Jy\
J y\ ^
Ha a Y2 krn integrlunk, az integrandust hasonl logikval az albbi
mdon alaktjuk t:
2/
z{z + I)
z{z - i){z + i)
Z - I
Ekkor ugyanis a szmllban lev
A regularitsi vizsglathoz szorzatt bontjuk a nevezt:
z(z + i)(z ~ 0
Leolvashat, hogy g-nek a teljes komplex skon hrom izollt szingulris
pontja van: , 0,
A y grbe egy olyan kr, mely ezek kzl kettt
tartalmaz a belsejben, a 0 s i pontokat, a i rajta kvl esik.
Az integrl kiszmtshoz felhasznljuk a Cauchy-fle alapttel tbb
szrsen sszefgg tartomnyokra vonatkoz kiterjesztst. Ehhez krl
vesszk a szingulris pontokat egy-egy olyan pozitvan irnytott krrel,
mely csak egy szingulris pontot kerl meg. Az r = - sugr pldul meg
felel. Ilyen felttelek mellett a y-ra vonatkoz integrl egyenl a yi-re s
y2-re vonatkoz integrlok sszegvel:
(j)g{z)dz = g{z)dz + g{z)dz
Jy
jyj
J y2
156
6. Szmtsa ki a g(z) =
ch3z
|z+l| + | z - l | = 4
egyenlet ellipszis mentn, pozitv irnyts mellett (5.21 bra)!
157
Ha bevezetjk az fi(z) =
jellst, akkor lthat, hogy a differen
cilhnyadosokra vonatkoz Cauchy-fle formula a clravezet zq = 0 s
n = l esetn:
V
2jc
Mivel
fl(z) =
3 sh3z (z - 1) - ch3z
(Z - 1)2
jellst, s alkal
Jyi
7. Szmtsa ki a g(z) =
158
159
Mivel az
fggvny mindentt regulris, a szingulris pontok egy
beesnek a nevez zrushelyeivel, teht a + 2/ = 0 egyenlet megold
saival. Ezek pedig a - l i komplex szm msodik gykei. Keressk ezeket
pldul trigonometrikus alakban. Mivel
-2 / = 2 (cos270 -Hsin270),
ezrt a msodik gykk:
zi = V2(cosl35 + /sinl35) =
= a/ 2 (
cos 315
-1
+/
+ sin 315) = 1 - /
Jy,
/y, ^ + 1 - '
^ - 1 + ' z=-l+i
>Y\
= 2jt/
2( / - 1)
ugyanis itt az emeletes trt szmllja yi-en s azon bell regulris fgg
vny.
Hasonlan kapjuk a 72-re vonatkoz
(f g(z)dz = / - - ] , [ dz = 2jti ---- :
jyy
JV.
Z + 1 - Z=l-I
Jyi
Jyi ^ 1 ^
^^(1-0
= 2jti
2(1 - 0
integrlt, ugyanis ennek az emeletes trtnek a szmllja a 72 grbn s
azon bell regulris. Mindkt esetben jogos volt teht a Cauchy-formula
alkalmazsa.
A kapott integrlok sszege adja a 7 grbre vonatkoz
A 7 grbe egy -1 - / kzppont 3 egysg sugar kr. Ez tartalmazza
mindkt szingulris pontot. Innen ugyangy jrunk el, mint az elz kt
pldban. Az brn lthat mdon felvesszk a pozitvan irnytott y\ s
72 grbket.
A Cauchy-ttel ltalnostsa miatt:
= 0 g{z)dz + giz)dz
Jy
Jy^
Jy2
\>g{z)dz = 2ni
Jy
2jti
sh(jrO - 1))
1
2( - 1)
integrlt.
8. Szmtsa ki a
gfc) = ----------2
(z2 - 1)
fggvny vonalintegrljt a 2 hromszg mentn (5.23 bra)!
-I- /,
~2
~ (z + 1 - i)(z - 1 + 0
160
161
Vagyis:
Teht:
g{z)dz = 2tc - = ni -
J/ n
Hasonl logikval szmoljuk a y 2 -re vonatkoz integrlt. A g fggvny
clszer talaktsa most a kvetkez:
g(z) =
(Z - 1)2
(z2 -lf
(2 + 1)^
f2(z)
(Z + l)2
Szmtsuk ki a derivltat:
(z - 1)-*
Vagyis:
I2e^
3e^
16
Teht visszahelyettestve:
J/ y.
n
* - ^ / (0
^y\
^
Szmtsuk
mts ki a derivltat:
2
+ 1)^ 2(z + 1)
f[iz) =
(2 + 1)'*
/Jy\
162
g(z)dz
= 2jti
3e^
=m
Jy^
9. Szmtsa ki a g(z) =
|z
163
= f e + l ) ( z + l ) ( z - 2) =
( z + \ f < z - 2)
4 cos(^z)
( z + l ) H z - 2)
a g fggvnynek teht kt izollt szingulris pontja van: -1 ,2 . Ezek mind
egyike a kijellt ellipszis belsejben van.
Innentl kezdve a szokott mdon jrunk el. Krlvesszk ezeket a
pontokat egy-egy krrel az brn lthat mdon, legyenek ezek y\ s y 2 . A
g fggvny regularitsi tartomnya teht tbbszrsen sszefgg halmaz.
A szmtshoz felhasznljuk a Cauchy-fle alapttel ezen esetre vonatkoz
ltalnostst, mely szerint:
hg(z)dz = g(z)dz + (b g{z)dz
Jy^
Jy2
Mindkt integrl kiszmtshoz, hogy a Cauchy-fle integrlformulkat
alkalmazni tudjuk, clszer az integrandust
i/ y*
" (z
alakra hozni, ahol / az adott grbn s belsejben regulris fggvny. Ha
yi-en integrlunk, akkor a megfelel alak:
4 cos(;rz)
g{z) = 3 H H
(Z + l)2
/i'(z) =
Ahonnan:
0+4
9
4
9
Teht:
2jti 4
(p g(z)dz =
IT 9
hl
Ha Y2 -n integrlunk, akkor a megfelel alak:
4 cos(jtz)
(2) = i i i ) :=
^
z-2
z- 2
Most a kznsges Cauchy-formula alapjn integrlhatunk:
I
8 .
9
sin ( I z)
10. Szmtsa ki a (z) = ^
^
komplex fggvny vonalinz^ + 2iz^ - z^
tegrljt a |2z - 1| = 2 egyenlet pozitvan irnytott grbe mentn (5.24
bra)!
/i(^)
(z + l)2
1,
n =
szereposzts esetn:
Jy\
Kiszmtjuk az
164
-lYi
derivltat:
165
mot,
Elszr is szoks szerint szorzatt alaktjuk a nevezben lv polinokiemelse utn teljes ngyzetet kapunk:
+ 2iz^ -
+ 2iz - l) = z^{z + i f
Mivel sin
mindentt regulris, ^-nek kt szingulris pontja van: 0,
-. Ha a grbe egyenlett elosztjuk 2-vel, lthat, hogy y egy egysgnyi
sugar, - centrum krv. A 0 ennek belsejben van, a / azonban ppen
kvl esik rajta, y-n bell teht csak egy szingulris pont van, az orig.
Hozzuk a g fggvnyt
(z alakra, ahol / regulris y-n s azon bell. A
sin I
z^{z + i)^
z^
talaktsbl lthat hogyan clszer az / fggvnyt definilni, zo = 0 s
= 2 esetn. A msodik derivltra vonatkoz Cauchy-fle integrlformu
lt alkalmazhatjuk:
^g(.z)dz = j ^ d z = | ? / " ( 0) = Tii f"(0)
Jy
-Tjti
166
z+ 2
ch2z
b) / 2(Z) =
z- /
sinz
c) Hz) =
y ,:|z + 2 | = 4
72: |z - i\ = 3
Yr- |z| = 1
teht:
rlji
Jy
a) /i(z) =
(l ----- - d z = /
L z + 2
7o
yyi
= Ijti
Aie^^dt = /
4^^^
7o
t =
Z --2
b) Y2 paramterezse:
z(0 = i + 3e^\ t G [0, 2jt], z'(0 = 3ie^\ teht:
'2^ c h 2 ( + 3^^')
^ie^^dt =
/yj 2 *
Jo
p2ji
= / Ch2( + 3e'')dt = 2jc [chz]
= 2jii chi
Jo
^
c) y3 paramterezse:
zit) = e", t G [0, 2jt], z'(t) = ie, teht:
167
r sinz
----- dz = / ----- le dt = /
Jy. Z
Jo
/ /r\ ,
sin (e )dt =
Jo
= 2jt
sinz z=0 = 0
Az /3 fggvny nem regulris az origban, az origt megkerl
krre vonatkoz integrlja mgis zrus. Ez a tny a szingularits
miatt nem kvetkezhet a Cauchy-fle alapttelbl, de kvetkezik az
alapttel Riemann-fle ltalnostsbl, ugyanis
az orig kr
nyezetben korltos. Ez pldul kvetkezik abbl a vals fggvny
tanban jl ismert hatrrtkrelcibl, amely komplex fggvnyek
esetn is igaz:
smz
lim
= 1
z-^o
Ksbb ltni fogjuk, hogy / 3-nak az origban gynevezett meg
szntethet szingularitsa van, azaz megfelelen rtelmezve az ori
gban regulriss tehet. Ezzel a kiegsztssel az alapttel mgis
csak alkalmazhatv vlik.
168
169
n = oo
(z - z o y
n=-oo
iczzl
Zo)
171
5 ^c(z-zo)"
n= 00
(c (z -
k = 1, 2 , . . .
f(z)dz =
/c ( z - Z o )"*,
172
lim / ( z )
z-zo
hatrrtk ltezik. Ezek szerint, ha zo megszntethet szingularits,
akkor / zo krli Laurent-sora Taylor-sorr egyszersdik:
fi z ) =
- Zo)"
n=0
Innen kvetkezik, hogy ekkor
lim fiz ) = co,
teht a zo-beli hatrrtk a Taylor-sor konstans tagja. Ha alkalmaz
zuk ekkor az /(zo) = cq kiterjesztst, / zo pontbeli regulris kiter
jesztst kapjuk.
A Zo izollt szingulris pontot az / fggvny k-adrend plu
snak nevezzk, ha zo krli Laurent-sorban c-k ^ 0, de minden
n > k esetn c_ = 0. Ez mskppen azt jelenti, hogy ha zo plusszingularits, akkor / zo krli Laurent-sornak frsze vges
sok /:-adrend plus esetn legfeljebb k tagot tartalmaz.
A Zo izollt szingulris hely akkor s csak akkor plusszingularits, ha
lim f i z ) = 00,
z-^zo
teht ha zo az / fggvny /:-adrend plusa, akkor / zo krli
Laurent-sora
fiz) =
n k
alak.
Azt mondjuk, hogy a zo pontban regulris / fggvnynek a zo
pont n-szeres zrushelye vagy n multiplicits gyke, ha
173
zo j
174
Z-+00
'^ C n - z "
n oo
k = oo
Laurent-sor ^ ^
175
176
Laurent-sor
egytthatit a z = e^"^, dz = ie^^^dcp helyettests
utn az albbi formula szolgltatja:
('ti
I \4.)
1 /
Ez a Laurent-sor az egysgkrvonal z =
00
f { e ) : = g ( t ) =
n= 00
gi<p) e~'^d<p
177
Zn =
Gyakorl feladatok
Keresse meg az albbi fggvnyek szingulris pontjait, s hatrozza
meg a szingulris helyek tpust, ha lehet Laurent-sorfejts nlkl!
1. /(z) = cos
A fggvnynek a 0 < |z| < oo krgyr a regularitsi tartomnya,
teht a 0 s a 00 izollt szingulris helyek. Egyrszt vilgos, hogy
lim cos
(i)=
cosO = 1,
ha n = 2k
lim cos
it+00
ch(3z)
2. fiz) = cth(3z) =
sh(3z)
A szmllbeli fggvny mindentt regulris, a nevez gyszintn,
ezrt / szingulris pontjai egybeesnek a nevez zrushelyeivel. Ha felhasz
nljuk, hogy sh periodikus fggvny, s peridusa 2jr/, tovbb azt, hogy a
0 zrushely, azt kapjuk, hogy a szingulris pontok vgtelen sokan vannak:
178
3zn = 2 jti n
2 .
-Ttl^n
3. fiz) =
sh(5z)
3z
179
= 0
y>00 3iy
A fggvny kpzetes tengelyre vonatkoz leszktse a oo-ben 0-hoz tart.
A 00-beli hatrrtk teht attl fgg, hogyan kzeltnk a oo-hez, teht a oo
/-nek lnyeges szingularitsa.
4.
fiz)
= 3z^ +
2 +
180
- z + 8) =
oo,
2z^ +2z^ + z
4z + 6 = 00,
, 12z^ + 6z
hm ----- --:r- = 0,
z(z + 1)^
181
^ = [2 sinzcosz]^^Q = [sin2z]^^Q = 0
(sin^z)^^
^ = (sin2z)'|^^Q = [2 cos2z]^^q = 2 ? 0
H)
sin - = 0, ha - = kn, Zk = 7, k G Z ,k ^ 0.
z
z
k7l
Ezek a Zk pontok izollt szingulris pontok. Mivel azonban a Zk sorozat
nak a 0 torldsi pontja, ezrt a 0 nem izollt szingularits. Tovbb mivel
. -1 cos -1 ( 1 M
= r.2 sm
=
L
z
z V zO . z-Zn
z-zn
. 21
- -::r Sm =0
1
2 /
2\
ZZfi
ezrt a Zk pontok a neveznek valamennyien ktszeres zrushelyei, ezrt
f-nek mindannyian msodrend plusai.
A 00 is izollt szingularits, hiszen a \z\ > - krgyrn a fggvny
71
regulris. A oo vizsglathoz most alkalmazzuk a z
- helyettestst:
H) =
/(;) = 4
sm'
sm^ z
msodrend
H-]
Z
=
Z
n
[2 . 2
00
plusa.
7. m
182
(sin^z)^
fgg
'" 4 ? )
fggvnynek izollt szingulris helye, ugyanis
183
z=0
teht />nek a oo elsrend plusa.
~ 2 r / ( z - 20"+^^^
Az integrl kiszmtsra pldul alkalmazhat a derivltakra vonatkoz
Gyakorl feladatok
1
1.
Fejtse hatvnysorba az f{z) =
- fggvnyt az = 2i izollt
zHz - 2i)
szingulris hely krnyezetben!
Mivel a z = 2/-hez legkzelebbi szingularits a z = 0 pont, ezrt a
sorfejts a 0 < \z 2i\ <2 krgyrben lesz konvergens (6.3 bra).
regulris
fggvny. gy;
^2
^
{z-2 ir^^
2jii / 1
(n+
( n + l 1)!
)!Vz2
z= 2 /
Ellltjuk a derivltakat:
{z-^y = ( - 2 ) - z-^
(z"2)" = (- 2 )(-3 ) - z-4
= ( - 2 ) ( - 3 ) ( - 4 ) . z-5
. ( + 2)! . z-(+3)
184
2ni
(n + 1)!
=22
1
= ( - 1)"+* -(n + 2)(2iy+^
Most lltsuk el a negatv index egytthatkat. Ha > 0, akkor
185
(z - 20" -2
-dz
/ 2. ^
(z - 2i)"-'dz =
/
Jn y z H z - l i )
2jti X
'fy
Ha itt AZ> 2, akkor az integrandus egy olyan racionlis trtfggvny, mely
nek a z = 0 az egyetlen szingularitsa, teht az adott krlapon regulris,
gy a Cauchy-fle alapttel szerint a y-ra vonatkoz integrl zrus:
c-n = 0, ha > 2.
= ^
= 57
- 1
- J_ - - i
^ Z=2i
4/2
4
Megkaptuk az sszes egytthat rtkt, melyek felhasznlsval mr fel
rhat a fggvny Laurent-sora:
m
= -
1
4(z - 2()
(2/f+3
(z - 2/)"
Cn
2^'
/ 2i
/fe)
J _
X (z + )
0"+ '
1
2 jt
/ sinji:(z + 0 ^
J y ( z + 0 " + '*
( s in :7 r ( z -I- i ) ) '
( s i n ; r ( z + O )^
(sin ;r(z +
z=-i
i))
-7 sinjr(z + i)
sin 7l{z
( s in :7 r ( z + /) )
i)
.= 0
186
. =0
R es(/,20=
2. Szmtsa ki az /(z) =
n= 0
ha n = 2A:-h 1;
ha n = 2k.
Alkalmazva
ilmazva a Cauchy-fle integrlformult:
integrlf
(n+3)
1 jf sin 7i{z + i) ,
sin;r(z + i) z=-i'
{n + 3)!
amely n > - 3 esetn szolgltatja az egytthatkat:
c -3 =
= 0
c - 2 = ^ ; r c o s O = ti
187
c_i = ^;r^(-sinO ) = 0
co = ^:^^(-cosO ) = - ^ 7
Cl =
sin 0 = 0
n C2 = -1; r 5 cosO=
s i n z = z - 3j + - - -
...
=E
(2n + 1)!
n=0
mely sor konvergenciatartomnya a |z + /| > 0 krgyr. A sorra tekintve
kiderl az is, hogy a / msodrend plus, hiszen c_2 = ^ ^ 0, de
c-n = 0, ha n > 3. A sorbl hinyzik a -1 index tag, teht:
Res(/, - /) = 0
A szingulris pontot termszetesen a Laurent-sor nlkl is tudjuk jellemezhi, ha felhasznljuk a jl ismert
sinz
.
h m ----- = 1
z - ^0
z-^ -i
Z + l
188
(Z + i ?
^(z +
= ^
(Z + )3
- ^ (z + if + ^ (z +
Jt
7t
+ 0^ ~
=
ami termszetesen megegyezik
1
fggvnyt az albbi kr
ziz - 1)
gyrkben:
a) zo = 0 krl, 0 < |z| < 1 krgyrben;
189
Res(/,0) = - 1
b)
A |z| > 1 tartomny egy olyan krgyr, melyre
= l, /?2 =
(6.4 bra). A |z| > 1 esetben nem hasznlhatjuk az a) pontbeli mrtani
sorfejtst, hiszen az csak |z| < 1 esetben konvergl. Azonban t tudjuk
oo
1- z
ugyanis |z| > 1 miatt - < 1, teht a felrt mrtani sor ppen a kijellt
z
krgyrben konvergens. Helyettestssel ismt megkapjuk a keresett sor
fejtst:
Z
Z V
z^
Z^
7?-
n= - 1
A sor alapjn elmondhatjuk, hogy a zo = 0 pont az / fggvny elsrend
plusa - mely termszetesen / eredeti formjbl is azonnal ltszik -, s
leolvashatjuk a fggvny zo = 0 pontbeli reziduumt:
190
191
a) zo = 0
b) zo = 0
c) Zo = 0
l+ z-l
1 - (-(z - D)
= 1 - ( z - l ) + ( z - l ) ^ - ( z - 1)^ + ...,
feltve, hogy |z - 1| < 1 teljesl. Berva ezt - helyre, kapjuk a Laurentsort:
m
= ^
- 1 + (z - 1) - (z - 1)^ + (z - i f - =
00
= ^ (-ir'(z -i)"
d )z o =
|z| < 1
-1
e) Zo = - 1
f)zo = 2
g) ZO = 2
3 < |z+l |
0 < |z - 2| < 3
3 < |z - 2|
n = 1
hogy a zo = 1
R esa 1) = 1
d)
Ha a |z - 1| > 1 krgyrn konvergens mrtani sort akarunk
ellltani, akkor a c) pontbeli, majd a b) pontbeli azonos talaktsokat
alkalmazzuk:
1
1
1
1
1
1
z
1+(Z-1)
Z-1
_1_ + 1
Z - i
J
z- 1
z-1
z - 1
(Z-1)3
(Z-1)4
-1
Ez egy olyan mrtani sor, mely ^
krgyrben konvergens.
(z - 1)2
(Z - 1)3
+ 7(z -7 1)
^ - -
(z - 2)(z + 1)
a megadott zq pont krl, a kijellt krgyrn, ha:
192
a)
Az origban az / regulris, tovbb /? = 1 a sugara annak a legna
gyobb orig kzep krlapnak, amelyen bell / regulris. Ez azt jelenti,
hogy az orig krli Laurent-sor a |z| < 1 tartomnyban a fggvny orig
krli Taylor-sora. Ennek felrshoz ismt a mrtani sort s annak sszeg
fggvnyt hasznljuk fel. Az talaktsok azt clozzk, hogy olyan hat
vnysorokat kapjunk, amelyek a |z| < 1 krlapon konvergensek. Egyrszt:
1
1
1
1
z-2
2
2- z ~
-I
Ez a mrtani sor
(z - 1)3
(Z-1)2
1
Z-1
(Z - 1)2
Msrszt:
1
1
1
z+ 1
1 +z
1 ~ (-Z )
Ez a hatvnysor a \z\ < 1 krlapon konvergl. / Taylor-sora ennek a kt
hatvnysornak a klnbsge, amely a kt konvergenciatartomny kzs
rszn, teht sl \z\ < 1 krlapon konvergl:
n=2
23
24
komplex fggvnyt
n= 1
193
b)
1 _1
n= 2
2^
< 1 , azaz ha \z\ > 1. Ezek utn ismt sszegzssel kapjuk azt a
Laurent-sort, amely a |z| < 2 s \z\ > 1 krgyrk kzs rszn, teht az
1 < |z| < 2 tartomnyban konvergl:
fiz)
_fi _i
22
23
+l _ i +
Vz
24
Z
=^0 2+'
194
A sor konvergenciatartomnya a
z+ 1
2
amely sor akkor konvergl, ha
< 1, azaz ha |z| > 2.
z
Innen ismt sszegzssel kapjuk a |zl > 2 krgyrben - a kt kon
vergenciatartomny kzs rszn - konvergens Laurent-sort:
\ z
(z + 1)^
33
. i .
J ____
^_
z
=-00
z-2
1
z+ 1
1_
3
_ (Z + 1)^
32
33
n : - ( z + 1)"
3n+l
n=0
195
e) A |z + 1| > 3 krgyrben az
d) pontbeli kifejtse nem
Z 2
alkalmazhat, ezrt most ms mdon alaktjuk t:
1
1
1
1
z-1
z+1-3
z +1
11
Z + 1
(Z + 1)2
(Z + 1)3
+
^ ( z(Z +
n= 2
D"
. (z - 2 ) 2
32
melynek konvergenciatartomnya a
(z - 2 ) 3
33
z-2
1
z-2 ^3 ^
1
1-2
196
1-
z-2
n-1
32 ^
(Z - 2 f
3n+l
z-2
3
fe -
2)2
1
Z - 2
1
z-2
1-
z - 2
(z - 2)2
(- !)" 3 "-'
-E
=2
(z - 2)
2z^ - 5 z + 6
(Z -
2)3
33
A szmllkban lev konstansokat kzs nevezre hozs s rendezs utn
pldul egytthat sszehasonlts tjn hatrozzuk meg. Az eredmny:
n=0
197
/fe) =
z-2
( z - 2)2 f e - 2 ) 3
ami nem ms, mint a |z - 2| > 0 krgyrben konvergens Laurent-sor.
A sor nem tartalmaz regulris rszt, frsze hrom tagbl ll gy, hogy
c-n = 0, ha n > 4. Teht a zo = 2 pont a fggvny harmadrend plusa.
Mivel a zo = 2 a szmllnak nem gyke, a neveznek viszont hromszo
ros zrushelye, ezrt kzvetlenl is addik, hogy a 2 harmadrend plus.
Mivel c_ 1 = 2 , ezrt:
Res(/, 2) = 2
6. Hatrozza meg az f(z) =
^ 2)2
szingulris pontjait,
z+ 2-2
2 - (z + 2)
Z+ 2
-
(z + 2)-3 + ...
2 22
'
23
Ez a mrtani sor akkor konvergens, ha
z+ 2
< 1, azaz ha |z + 2| < 2,
teht ppen a kvnt krgyrben. Berva ezt - helyre, elll az / fgg
vny hatvnysora:
m
= -
4
(z + 2)2
- 1-
z+2
(z + 2)2
22 -
--E
(Z + 2 f
2
n=-2
Ebbl is addik, hogy a zo = 2 pont msodrend plus, s c_i = ~2
miatt az is, hogy
Res(/, - 2) = - 2
z+ 2
198
z+ 2-2
z +2
1-
z+ 2
199
z+ 2
z+2
= y
(z + 2)2
n=l
(z + 2 r
n=3
2"
(z + 2 r
2^22
23
melynek konvergenciatartomnya a
rdz Ar + C
, a + 2)2
z +2
= \-z +
22
23
2*
c)
Mivel a ^ ^ trtfggvny a 0-ban regulris, ezrt ennek a 0 krli
Taylor-sorra van szksgnk. A szoksos talaktssal:
2
-(-I)
200
. ^ ( - l ) " + (n + 2)
2n
n=0
201
-H)
Z-^oo
= --------7 + - ^ ---- J + . . . ,
z^
z^
melynek konvergenciatartomnya a
/ fe + 2)2 dz = - z + 2 + C
Az imnt ppen a
trt sort lltottuk el, amelybl ( - 2)-vel val
szorzssal addik, hogy
fe + 2)2
trt Laurent-sora:
_____
1 - v ______
z-r
z*
( _ 1) . 2 - ( - ! ) + ! ( - 1). 2"
- E
n=3
z'
z'
3-2^
{z + 2)2
^2
Mindezeket visszahelyettestve a rsztrtekre bontott alakba, kapjuk, hogy:
^ 2
/ 2 2^ 23 2^* ^
/(z) =
------- 2
^ ~
z
\z
z^
z^
zr
z^
203
sort!
a) /i(z) = ^ -e^
b) flU) = %
c) Mz) =
d) h i t ) =
n=0
e" - (1 + z)
Res(/2, 00) = - c _ i = -1
e) h(x) =
c)
0 -ban
szingulris, gy
A Laurent-sort megkapjuk, ha
^n \
rt=0
n=0
+2
n=0
n=0
204
a 0
Mz)
a)
Az f\ fggvny a teljes komplex skon regulris, hiszen
s
is regulris, gy szingulris pontja nincs. gy brmely vges zo ^ C pont
krl Taylor-sorba fejthet. rjuk fel a legegyszerbbet, a 0 krli Taylorsort:
regularitsi tartomnya
z^
2!z^
-I-
3\z^
Z->oo
= 1,
205
Teht /5 Laurent-sora:
z)
\=0
= i y ! : = V ! ! :! .i + ^ + +
z2 Z ^ !
=2
Z -/ !
2!
3!
4!
"
n=0
,4
^5
.6
Ezrt:
gXz+i) .
Jz
z^
=
r
2!
r \
(-)
- Z -2
r
3!
4!
Z^
z^
(z + i ?
(z + :
-3 /
(z + )3
3" (z + 0" _ - 3/ v ^ 3 " - ( z + 0',n -3
1
n=0
n=0
3!
(z + 0^ 2 \(z + i)
\( z + i)3
i)
A sor frsze hrom tag, s c- = 0, ha n > 4, teht a - i valban
harmadrend plus.
Ha leolvassuk c-i-et, megkapjuk a reziduumot:
Res(/, - 0 =
206
/fe) =
z^
(2 + 0^
2!
207
10.
n=0
(2n)\
2!
4!
2n+ \
n= 0
^(2n+l)!
n=0
208
bels
E (2n)\l
n= 0
(2 ) !
(z - i)2"
1
1+ /
1
( z-/ )^" ^ ~ ^ ^ ( 2 n ) ! {z
n= 0
= a - 0 + ( l + 0 + : ^ - - L + -^'
2! z - i
2! (z - /)'
Az / krli sor frsze vgtelen sok tag, teht az i pont a fggvny
lnyeges szingulris helye, mivel c_i =
ezrt:
Res(/, i) = i
12.
Vizsglja meg az /(z) = sin ^z +
szempontjbl!
fggvnyt szingularits
209
an+l
Res(/, 0) . -R e s (/,..) .
)
n=0
n= 0
= n= 0: < ^ ( - D '
Ez azonban mg nem igazi hatvnysor, hiszen annak z hatvnyai szerint
kell haladni. Felhasznljuk mg a binomilis ttelt
kifejtshez:
2n+l
" E (
+ -^ hatvnyainak
)'
k=0
2n+l
2n-hl\
^2n-2k+l
= E r ; ' ) -
A:=0
210
VA 2n+\
(2n + 1)!
n -0
1
5!
1
(3!)2
A sor frsze egytag, teht ismt addik, hogy a 0 elsrend plus. Mivel
c_i = 1, ezrt:
Rs
Az izollt szingulris helyek Zk = k'2jti, k El X sorozata a 00-hez torldik,
teht a 00 /-nek nem izollt szingularitsa. gy 00 krli Laurent-sor nem
ltezik.
14. rja fel az /(z) =
z ln(l + z)
211
z ln(l + z)
2z
12
1+Z
(1+Z)2
= 1 -M = 2 0.
z=0
Ez pedig azt jelenti, hogy ^-nek a 0 ktszeres zrushelye, teht /-nek
msodrend plusa.
^"(z)
2=0
Visszatrve a sorra,
teht:
komplex fggvnyt a
- ln(2 (l + 0 ) =
Res(/. 0) = i
Kiegsztskppen megjegyezzk, hogy a z = -1 szingulris pontot nem
tekintjk izollt szingularitsnak. Ennek oka a kvetkez.
Kzismert, hogy a komplex logaritmus egy vgtelen sok rtk rel
ci:
Inz = In |z| + (argz + 2kji),
amely minden - 7 t k - 2jt < Imz < Ji k I tz, k G Z vals tengellyel
prhuzamos svot lekpez a negatv vals fltengely mentn felmetszett
komplex skra. Egy-egy ilyen skot Riemann-felletnek neveznk. Ezek
212
/(z) =
n=l
213
^
n=l
n - 2'
16.
Hatrozza meg az /(z) = ctg
z^ fggvny szingulris pontjait, vizsglja meg azok tpust, majd lltsa el a 0 krli Laurent-sort!
< 1 egyenltlensg,
- l) ) - ln(z
+ l) ) =
= l n ( | - l ) - 1 ( | + l ) = l ( l - J ) + ;. - m ( l +
n=l
=
n=l
A ( ( - i ) - ( - i ) " + ) - a " 1
------------------- ------ .
n= 1
Tovbb, mivel
z=2 k
ezrt a zrushelyek mindannyian egyszeresek, teht minden Zk zrushely a
fggvny elsrend plusa. Ezzel egyben azt is megllaptottuk, hogy ezek
a szingularitsok mindannyian izolltak, hiszen a szomszdosak tvolsga
2 egysg.
Az izollt szingularitsok Zk(k G 2,) halmaznak a oo torldsi pontja
- nem ltezik olyan /? > 0, hogy a |z| > /? krgyrben ne volna szingularits ezrt a oo nem izollt szingulris pont.
2 = -4 ,
ezrt
Res(/, 00) = - c _ i = 4.
214
215
+ Co +
C\Z
+ C2Z^ + c^z^ + . . .
z) = /(z) sin
z)
Teht a Laurent-sor:
Tt \
2 1
c,s(-.^) = j . - + 0 -
17.
Fejtse orig krli hatvnysorba az sszes lehetsges krgyrben
az fiz) = ^/iz + l)(z + 2) komplex fggvnyt a 0 pont krl!
A ^/z fggvnynek szingulris pontja a ^ = 0 pont, mely msodrend
elgazsi pont - rszletesebben lsd a 14. feladatot -, mely ezrt nem
izollt szingularits.
Eszerint /-nek kt szingularitsa van z = - I s z = 2, mind
ketten msodrend elgazsi pontok. / olyan ktrtk relci, melynek
Riemann-felletei ppen a [~2, - 1] intervallum mentn rintkeznek. Ez a
szakasz nem szerepelhet egy Laurent-sor konvergenciatartomnyban, te
ht az orig krli sorfejts egyrszt a |z| < 1 krlapon, msrszt a |z| > 2
krgyrn vgezhet el (6.9 bra).
Res(/, 0) = -
71
A bal oldalon nincs elsfok tag, a jobb oldalon ismt csak egyfle mdon
kapunk elsfok tagot, ezrt
0 = co *
ahonnan cq = 0.
Ahonnan c\ =
^s gy tovbb a megfelel hatvnyok egytthatit
sszehasonltva megkapjuk az ismeretlen Cn szorzkat:
216
217
(1
2) = (1 + Z)2
f i z ) = \ / ( z + i )(z+ 2 ) = vz-
(2 + z)^ =
A Laurent-sort gy nyerjk, hogy a szorzat 2. s 3. tnyezjnek sort
= V2-( l +z)^ (l +
Az els tnyez hatvnysora ppen a felrt binomilis sor. A msodik
tnyez sort gy kapjuk, hogy az idzett sorban elvgezzk a z > ^
helyettestst:
8 z2
(
-^ + 2 - 1
Ennek konvergenciatartomnya a
\/z-
i_l
- helyettestssel
16 ^3
JL_
konvergl, a szorzat ezek kzs rszn, teht & \z\ > 2 krgyrn lltja
el a fggvnyt.
A sor frsze egytag, s c = 0, ha > 2, teht a oo a fggvny
nek elsrend plusa. Az, hogy a oo plusszingularits, addik az albbi
hatrrtkrelcibl:
lim \/z^ + 3z + 2 = 00
= v/ 2 ( i + z - : 4 z' +
4^* 32
128
A kapott sor konvergenciahalmaza a
|z| < 1 s |z| < 2
krlapok kzs rsze, teht a |z| < 1 krlap. A sor nem tartalmaz frszt,
teht a vrakozsnak megfelelen Taylor-sor.
Z>00
Msrszt, mivel c_ i
^ , ezrt:
8
Res(/, 00) = - c _i = I
18.
Fejtse Laurent-sorba az f(z) = ^z(z^ - l) komplex fggvnyt
az izollt szingulris pontja krl!
218
219
- ^ i ( ! = - i ) - Vz-
+ r
= z In
helyettestssel.
Mivel
(1+z)^
1n _
1 + 3 u
2!
Z T
3!
ezrt
1 1
1 1
5 _1_
' 3 z2 9 z^
81
1 1
5 1
1 1
9 z3 81
a keresett 00 krli Laurent-sor. Ebben a frsz egytag, = 0, ha > 2,
teht a 00 a fggvnynek elsrend plusa. Az, hogy a 00 plusszingularits, kvetkezik abbl is, hogy:
lim
z ^00
~ z = 00
220
^ \
2 z^
3 z^
')
1
+ 5 ,4 + 7 ,6 2n + 1 z2n
n=0
221
lim f(z) = 2
2>00
l i m
VZ - 1/ = Z-^00
sm =
2i
.-h
cost = ___ z
illetve ltalnosabban:
=
sin nt =
2z^
=2
= lim
Z-fOO^
:2-l
= lim
z-
(0'
Mivel c -i = 0 , ezrt Res(/, oo) = 0.
6.3 Fourier-sorok
Gyakorl feladatok
2i
1
cos nt =
n G Z'^.
2
Ezen transzformcik vgrehajtsa utn g egy az egysgkrvonal krnye
zetben regulris / fggvny lesz, melyet Laurent-sorba fejthetnk az
1 - e < |z| < 1 + , f > 0
krgyrn. A kapott Laurent-sort pedig ugyanezekkel a transzformcis
formulkkal visszaalaktjuk gy, hogy sin(nO s cos(nt) sorv vljon.
Lssuk konkrtan: f(z) :=
jellssel:
2 z - a - az
a T? + a^
1. Fejtse Fourier-sorba a
l a cos t
(ii < i)
^^
1 2a cos t + a?'
2jt szerint periodikus fggvnyt!
1 2z - a - az^
2 (1 - azXz - a)
Ez pedig a szokott mdon parcilis trtekre bonthat:
sint =
/a ) =
l_2a.i.(z+i)+:
/( Z ) = 5 ( - j -
2i
2 \ \ - az z - a j
Ha a msodik tagot tovbb alaktjuk az albbi mdon:
cost =
Ha most alkalmazzuk a z =
jellst, akkor a z komplex vltozval mely egysgnyi abszolt rtk - rhat:
222
223
z > - helyettestseket:
az, illetve
+ l + ; + 3 + 3 + --ln(l - az) = -( z +
-5
+ ... )
=
V
' cos 2 +
cos 3/ + ... =
cos nt
n=0
2. Fejtse Fourier-sorba a
g(t) = In (l 2acos +
\a\ < \ , 2 jt szerint periodikus fggvnyt!
E
n 1
2a
----cos nt
n
Vgezzk el a
cosr=l(z+i)
ti kt sor rendre akkor konvergens, ha |az| < 1, azaz |z| < , illetve ha
1^1
< 1, teht ha \a\ < |z|. Mivel |z| = 1, s a felttel szerint \a\ < 1,
ezek a felttelek teljeslnek.
helyettestst:
/(z) = g{e) = In ^1 - a
Vegyk szre, hogy a logaritmus mgtti kifejezs szorzatt bonthat:
224
225
7. A REZIDUUMTTEL S ALKALMAZSAI
c(z - a )"
< |z - a| < R
ahol y 2CL a pontot pozitv irnyban megkerl, egyszer zrt rektifiklhat grbe. Ez indokolja a c- \ egytthat kitntetett szerept.
Fontos szerepe van ugyanis bizonyos tpus integrlok kiszmt
snl.
Legyen most / regulris a z /? < |z | < oo krgyrben. Ez azt
jelenti, hogy /-n ek a oo izollt szingularitsa, teht ltezik oo krli
Laurent-sor.
A oo-hez tartoz reziduumot gy rtelmezzk:
Res(/, 00) = ~c_i
vagyis a Laurent-sor - 1 index egytthatjnak ellentettje. Ez
sszhangban van a korbbi defincival, ugyanis legyen y' olyan
grbe, amely a |z| > R krgyrben halad, s a oo-t pozitv irny
ban kerli meg, teht gy, hogy krljrskor a oo mindig bal fel
esik. Ez pontosan azt jelenti, hogy a 0-t gy kerli meg, hogy a 0
krli irnyts negatv, teht:
226
227
f(z) =
h{z)
g(z)'
2ni
.x ( n - l)
lim((z - ay - fiz})
(n-1)!
Ha / kt regulris fggvny hnyadosa, s az a pont elsrend
plus, ez a formula egybeesik az elzvel.
Res(/, a) =
fiz)
hnyadost az / fggvny logaritmikus derivltjnak nevezzk, en
nek z = a pontbeli reziduumt pedig az / fggvny a pontbeli
logaritmikus reziduumnak nevezzk.
Nagyon rdekes eredmnyek szletnek, ha a reziduumttelt er
re a hnyadosra alkalmazzuk.
Legyen / meromorf fggvny, teht olyan, amelynek legfel
jebb plusszingularitsai lehetnek a T tartomnyon, tovbb legyen
y olyan egyszer zrt grbe, amely belsejvel egytt a T tartomny
ban van, s amely / egyetlen zrushelyn, illetve plusn sem halad
keresztl. Ekkor
'(z)
dz = Z - P ,
2JtiJ f i z)
228
2niifiz)
"
2z
sm x =
2iz
dx = dz
iz
229
formulkat alkalmazzuk. Az integrl kiszmtsnl a reziduumttelt az R fggvny egysgkrn bell elhelyezked plusaira kell
kiterjeszteni.
f {x)dx = lim f ( x) dx
J-oo
Terjesszk ki a vals szmegyenesen
Imz > 0 fels flskra (vagy a teljes
majd a vals szmegyenes [ - R, R]
alkalmas mdon a komplex skon egy
(z)
/?;r
> 0,
h a /? > oo,
rtelmezett / fggvnyt az
komplex skra) regulrisn,
intervallumt egsztsk ki
zrt grbv.
k, Imz>o
ahol a szumma a fels flskbeli sszes szingulris pontra kiterjesz
tend.
P{x)
pros fggvny, akkor ebbl 2-vel val osz
Ha m
=
Q{x)
tssal addik ]0, oo[ intervallumra vonatkoz integrl is.
b)
Ha / nem racionlis trtfggvny, akkor az R sugar krvre
vonatkoz integrl eltnsnek felttele, hogy / ersebben tartson
a 0-hoz, mint az - fggvny, azaz pontosabban az Imz > 0 flsk
230
231
y ] R es(/, a*) + ^
Ima,>0
ahol Yi jelli az sugar flkrveket.
f {x)dx = 2ni-
lim f{z)dz,
V jc
alak integrlok.
Ezek kiszmtshoz alapvet fontossg a Jordan-lemma:
Ha az / komplex fggvny regulris az Imz > 0 fels flskon
(kivve vges sok szingulris pontot), s |z |
oo esetn egyenle
tesen tart zrushoz, akkor tetszleges a > 0-ra:
lim f{z)e^^^dz = 0,
ahol y a |z| = /?, Imz > 0 flkrv.
Ennek a lemmnak az alkalmazsval az
alak fgg
vny improprius integrljnak kiszmtsra pontosan ugyanazok
a formulk vonatkoznak, mint az elz pontban / esetben, attl
fggen, hogy az /-n ek van-e a vals tengelyen szingulris pontja.
232
233
le
-z)-f{z)dz + j
1. fiz) =
2. fiz) =
7.1 Reziduumszmts
Mint emltettk, a reziduum rtelmezs szerint a Laurent-sor
- 1 index tagjnak c_i egytthatja. Ezrt kzenfekv a reziduumot a megfelel Laurent-sor ellltsval megkeresni. Erre vo
natkozlag az elz pontban szmos pldt lthattunk. Ennek okn
234
cosz
+4
235
z-* 2i Z +
2l
4i
' 4/
s hasonlan:
- 4jt i
____
^
4/
4/
z-^-2i
z - ^ - 2 i Z - 2l
Termszetesen a derivltakat felhasznl formula is ugyanerre az ered
mnyre vezet:
^ 2j i ( 2 i)
^2jzz
JjTZ
1
Res(/, 2/) =
^4/
4i
2z z=2
(z2 + 4 ) ' z=2/
sszhangban az elzekkel.
Ebben az esetben a oo izollt szingularits, hiszen a fggvny regulris
a |zl > 2 krgyrn. A oo-beli reziduum kiszmtshoz felhasznljuk,
hogy vges sok szingulris hely esetn a reziduumok sszege zrus, gy:
3. fiz) =
J =0
(z + 1)2
+ i f fiz))' =
+ 3z^)' =
= lim^(3z^ + 6z) = -3
Termszetesen ugyanezt az eredmnyt kapjuk, ha az / fggvnyt Laurentsorba fejtjk a z = -1 pont krl, pldul parcilis trtekre bontssal:
1-
236
= - k 2m,
Z=Zk
Z=Z k
h ^ k e Z \ {0}.
237
Azonban k = 0 esetn zo =
s ez mr a szmllnak is zrushelye,
gy most mskppen jrunk el. A LHospital-szabllyal kiszmthatjuk /
hatrrtkt az origban:
lim ^ = lim
= -1 ,
\
z-^0 -e^
ami azt jelenti, hogy /-nek a 0 pont nem plusa - hiszen nem oo a hatr
rtk hanem megszntethet szingularitsa. A 0 < \z\ < 2jt krgyrn
a Laurent-sor egy Taylor-sor, amely a |z| < 2jt krlapon konvergl, s
ebben c_i = 0 , teht:
Res(/, 0) = 0
Mivel a Zk = k' 2ti szmhalmaznak a oo torldsi pontja, ezrt a oo nem
izollt szingulris pont, teht oo-beli reziduum nem ltezik.
5. fiz) =
9
9
= - lim sh3z = ~ sh6
2 z->2
2
A fggvny regularitsi tartomnya tbbek kztt a |z| > 2 krgyr,
teht a oo izollt szingularits. A oo-beli reziduum azonnal addik, ugyanis
tudjuk, hogy a reziduumok sszege zrus, gy:
Res(/,
oo)
sh6
238
= I(sh3z0"
= ^(-9)[sh3z
sh3z
(z - 2)3
Res(/, 2)=
z-2jt
= -^sh67t = - | . s h 0 = 0
*
z- 1
n,00 \
T tn J
239
z^ + iz
= ( ( z - l f + 3 ( z - 1)2+ 3 ( 2 - 1 ) + ! )
1
1
2!(z - 1)2 ''' 4!(z - 1)4
Most csak a c_i egytthatt keressk, a polinom s a hatvnysor szorza
tbl csak ezt az egy tagot kell meghatrozni.
egytthatja ezek alapjn:
^ = -
z=0
7 ./a ) = f
Res(/, - i) =
1
" z
240
z*
1 + It + ^ + ^ + ^ +
2! 4! 6!
1
6!z3
8!z
4!z^
2!z
8!
oo)
az
2z + i
= le -2i
-H )
z
10!
Teht Res(/,
2z + / z = 0
= -c-\ =
o!
241
3!
4!
(2/)"
4!
2^4
5!
(20^
e -2/ + l) = ie -2i
- i ( A vgtelenbeli reziduum ennek a c_i egytthatnak definci szerint az
ellentettje:
Res(/, 00) =
+i
Minden izollt szingulris pontban kiszmtottuk a reziduumot. Ez utbbi
mdszer a korbbival egybehangz eredmnyt adott.
9. fiz) =
- 2z + 3
- 4
242
( + 2)2 - 2(tt + 2) + 3
+ 2m + 3
(m + 2 ) 2 - 4
+ 4
+ co +
+ C2 l^ +
alak.
Helyettestsk ezt a sort u
zvel, ekkor a
+ ...
+ 2m + 3
ahonnan c_i =
Res(w
Teht
- 4w) =
- 6u + 11,
,(_ 4 ) = 11,
teht c_i =
vagyis Res(/, - 2) =
243
^zaz ^
/() = i _ J
1
-4
4
= Z H
1-1
1
1
1 z +
z^
tartomny.
Ebben a sorban - egytthatja: c_i = 1, teht
Res(/, 00) = - c _i = -1
Szmtsuk ki a reziduumok sszegt:
^ R e s (/,
k=0
244
fggvny reziduu-
Zk) +
Res(/,
oo) = 5 - + ( - 1 ) = 0
245
ahol y a
2.
/ cos Z
irnytva.
Gyakorl feladatok
Szmtsa ki a kvetkez komplex integrlokat a reziduumttel felhasz
nlsval!
ahol 7 a \z\ = 3 krv, pozitv irnytssal.
Az integrandusnak kt elsrend plusa van: 2/, ~2/.
Mindkt plus a y krv belsejben van (7.5 bra), teht ki kell sz
mtani mindkt pontbeli reziduumot:
Jjii
1
Res(/, 2i) =
4/
4/
2z
(z2 ^ 4 ) '
m
^ -2
I + hl, Zk = - i ( I + fci), k z .
A megadott y grbn bell ezen plusok kzl hrom darab van (7.6.bra):
7t 7t 37t
y YT*
z=2i
Res(/, - 2i) =
2z
z= -2 i
-4/
]_
'4i
246
(cos izY
71
I sm iz
^=-<2
247
1_
zL _V __ L
= lim
256
z-^l \iz + 3)4 J
s hasonlan:
alma
Alkalmazzuk
most a reziduumttelt:
(f(z)dz = iTii (Rs ( - | ) + Rs ( | ) + Rs
=
2 !z^-3 '
= 2jt
^ (z + 3)^(z - 1)2^^
- 1
_6
= X lim
2 j-*-3 V^ -( z - l ) V ^ 256
A reziduumttel felhasznlsval kapjuk az integrl rtkt:
j/(z)dz = 2jri(Res(l) + Res(-3)) = 2^'
pozitv irnytssal.
Az integrandus izollt szingulris pontjai a kvetkezk: a z = -3
harmadrend plus, a z = 1 msodrend plus. A megadott y ellipszisen
bell tallhat mindkt plus (7.7 bra).
4.
h * - ) 3iz-
A sor regulris rsze vges sok tagot tartalmaz, de frsze vgtelen sokat,
teht a szingularits valban lnyeges.
A reziduumot leolvasssal kapjuk.
Res(0) = c_, = l
= l
248
249
5. ^ c h
j sin Q
1
2\{z - 2)2
z-2
3\(z - 2)3
1
Ebbl a szorzatbl bennnket csak
egytthatja rdekel. Ilyen tag
z-2
csak egyfle mdon addik, mghozz gy, hogy ha mindkt sor els tagjt
szorozzuk ssze, teht:
c_i = 1 . 3 = 3 = Res(2)
A felrtak alapjn vilgos, hogy a szorzst elvgezve vgtelen sok tag
frsz addik, teht a szingularits lnyeges.
Alkalmazzuk vgl a reziduumttelt:
^ch
- ^ sin
shiz ,
^
, .X
------Trdz = 2m Res(-) =
z(z + /)2
^
ahol y a |z ~ 11 = 2 egyenlet krv, pozitvan ir
nytva.
Az integrandus szingulris pontjai a nevez zrushelyei, teht a 8
komplex szm harmadik gykei:
Z\ =1
Z2
Z3 = 2 (cos240 + (Sin240) = -1 - VS
250
251
, 3_8
Jy
sl.
sin(/jrz)
k
7iz = kn, azaz Zk = -: = - k i = li, l, k E Z .
4+4+4
12
Teht
8.
r-dz, ahol y az i pontot egyszer pozitv irnyban megkeJ y ^ Z - i)^
rl tetszleges rektifiklhat zrt grbe.
A z = i pont az integrandus tdrend plusa, hiszen a neveznek
tszrs zrushelye, msrszt ch(0) = 1 ? 0. gy az i pontbeli reziduum:
252
253
= ( ticostiz ) _
(-1 )^
0,
Z^Zk
2
ezrt mindhrom y grbn bell lev pont - st mindegyik szingulris pont
- elsrend plus. Ezrt:
^ c i g inzdz = 2jti (Res(O) + Res(/) + Res(2/))
Szmtsuk ki a plusokban a reziduum rtkt:
cos m z
cos m z
Res(z^) =
7l
m cos m z Z=Zk
(sin 7tzy Z=Zk
A reziduum rtke fggetlen attl, hogy melyik szingulris pontrl van
sz, mindentt ugyanaz, teht:
Jy
A mondottak alapjn, ha y\ egy olyan pozitv irnyts egyszer zrt
rektifiklhat grbe, amely a Zk plusok kzl pontosan n db-ot kerl meg,
akkor:
(pctg ijtzdz = 2jii'
= 2n
Jy
cihzdz, ahol a y grbe a 1 + 7/, -1 + 7 / cscspont
ami azt jelenti, hogy 2jti az integrandus elsrend plusa, melyhez tartoz
reziduum rtke:
Res(2jr/) =
1
z-2jii
254
chz
chz
(z^ shz)
rm =
z^ shz
ahonnan mr azonnal leolvashatk a szingulris helyek.
Egyrszt a z = 0 pont, amely a sh fggvnynek is nullahelye, tovbb
a sh 2jti szerinti periodicitsa miatt a Zk = k 2jti, k G Z pontok. Ezek
kzl a y hromszg belsejben kett tallhat: 0, 2jc (7.11 bra).
2 t i -
=0
255
shz)
z=o
shz)
1 . v^.
= 6
A reziduum kiszmtsa trtnhet a megszokott mdon hatrrtk-szmtssal, ez azonban most elgg nehzkes. Ezrt a Laurent-sor elUtsval
keressk meg a c_i egytthatt.
Tudjuk, hogy /-nek a 0 harmadrend plusa, teht Laurent-sora a c_3
egytthatval kezddik:
/fe) = ^
^ + + co + ciz + . . .
z
z
^
Behelyettestve ezt / helyre, szorozva a nevezvel, s felhasznlva a hi
perbolikus fggvnyek Taylor-sort, az albbi egyenlsg addik:
Z2 = -1
1
V3.
= 2 -
^ R e s ( z ^ ) = -R es(o o )
teht Res(O) =
i
A oo-hez tartoz reziduumot szmtsuk az albbi mdon: vgezzk el / ben ^ ^
rt.
2z
0 krli hatvnyso
2z
) ^
pozitvan irnytva.
Az integrandus szingulris pontjai a nevez zrushelyei, azaz a -1
komplex szm harmadik gykei:
256
257
Ahonnan Res(/,
Teht:
oo) =
- c - i = -2.
12.
-i -H) -(-I)
oo
krli Laurent-sort.
i-
f(z)dz = - 2 m R es(oo)
^i v; (z2 + 2)^( z3 - 8 ) ^
{k -
; lim ( { z - a f - f(z)Y^
\)\z-^ a ^
'
formult, lthat,
258
259
^ R e s ( / , Zk) + R es(/, ) = 0
gy kapjuk:
^f {z)dz = -2 n i- Res(/, <)
tnyezkbl rendre a
s - hatvnyokat tartalmaz tagokat szoroz
zuk ssze.
Ezek egytthatinak szorzata:
1 1 c_i = 5 , azaz c_i = 5 .
Teht:
Res(/, oo) = - c _ i = - 5
Ahonnan az integrl rtke:
hfiz)dz = -2jti R e s(o o ) = -2jc ( - 5 )
lOm
f '1
1
14. (bz ' In ^ ----- dzj ahol a y grbe legyen a |zl = 3 krv, negatJy
-4
van irnytva.
rjuk fel / 00 krli Laurent-sort!
Mivel a |z| > 2 krgyrn / regulris, ez a Laurent-sor ltezik. Ehhez
vegyk figyelembe, hogy / olyan racionlis trtfggvny, melynek szm
llja alacsonyabb fok polinom, mint a nevezje. (A szmll foka 17, a
nevez 18.)
Ebbl kvetkezik, hogy
lim fiz) = 0,
Z^00
4-
z'-l
^2-4
+ ...
7
2z
Ahonnan c_i =
260
1 1
2
11
\
/ 2^
1 2^*
'z4 ^ 3
+)
[ ^ 2 + 2 ' Z^
63
3z2
Teht Res(/, oo) = c_i =
261
f(z)dz = -
/ = ^2ni(3 + 1 + 1 + 1) = i2 jt = 4jii
Gyakorl feladatok
Szmtsa ki a kvetkez integrlokat a logaritmikus reziduumok meg
hatrozsval!
, 5^, 2
/z, ha y a |z| = 2 egyenlet krv, pozitvan
1/
f\z)
m
alak
irnytva.
fiz)
E Z.
-dz
262
263
/ = L g n z dz = - - i ^ d z = - - 2ni{\ + 1 + 1 + 1) = -8
cthz sh^z
tvan irnytott krv.
Mivel (cthz)^ = -----ezrt (l)-gyel val bvts utn az integalak lesz, ahol f{z) = cthz =
fiz)
shz
Az / fggvnynek vannak zrushelyei, s vannak plusai is.
/ zrushelyei egybeesnek a eh fggvny zrushelyeivel, ezek vgtelen
sokan vannak:
= 2jii
randus
JyCihz 'slrz
Jy f(z)
= -2jt(18 l - 17 1) = - 2 jv
dz = -IjiiiZ P) =
r ^2jtiz
4. / : = - dz, ahol y a |z - 11 = r, r < 1 egyenlet krv.
/yzlnz
Most az integrandus
<p(z)-
264
f \z )
fiz)
<p(z)
sin z
4 + / komplex szmok.
fiz )
fiz)
alak, <p(z) = sh z s /(z) = sin z szereposztssal az integrandus a teljes
skon regulris fggvny, gy plusai nincsenek, zrushelye azonban vg
telen sok van:
Zk = kjt, k E Z,
mely zrushelyek mind egyszeres multiplicitsak.
Kzlk kett esik a kijellt tglalap belsejbe: 0, Jt.
Az integrl rtke teht plusok hinyban:
I = ^(piz) ^ ^ d z = 2jt (l (piO) + 1 (p(jt)) =
= 2jt (sh^O -I- sh^Tt) = 27ti sh^ji
r
5^4
6. / : = ^Inz -g _ ^dz, ahol y tetszleges olyan egyszer zrt rektifiklhat, pozitv irnyts grbe, amely megkerli az tdik egysggy
kket, de nem metszi a vals tengely negatv szakaszt, s nem megy t a
0 ponton sem (7.13 bra).
265
71
COS^ 7tz
, ezrt az integran-
fiz)
fiz)
alak, ahol (p(z) =
/(z)-nek vgtelen sok elsrend plusa s vgtelen sok egyszeres z
rushelye van. Ezek az albbiak:
(P(z)
plusok:
- 1
fiz )
fiz)
alak. Itt / egy polinom, teht regulris fggvny, melynek plusa nincs,
csak egyszeres multiplicits zrushelyei, melyek ppen az tdik egy
sggykk:
Zk = e ' * ? ,
= 0 , 1, 2 , 3 , 4.
zrushelyek:
7t Zk = k ' Jt, azaz Zk = k, k G Z.
A y grbe egy olyan kr, amely krlvesz 101 db zrushelyet, mg
hozz a /c = 0, 1, 2,... 100 indexeket, s belsejben tartalmaz 100 db
plust, az / = 0, 1, 2,... 99 indexeket.
Ha ehhez mg hozztesszk, hogy a (p(z) =
regulris, akkor alkalmazhatjuk az
/ 100
266
\it=0
1=0
/
integrlformult. Az 1 szorztnyezk azt jelzik, hogy a zrushelyek s
a plusok is egyszeresek. Teht:
/ 100
99
\
2/+1
I = 2JI
\k=o
/=o
Vegyk szre, hogy a kt szumma sszefslsvel egy olyan mrtani
sorozatot kapunk, melynek kvciense -e :
.,199^^200)
k=0
99
= i'
/ = 2 ; t/ . ( 1 - ^ + . 2 _ . ^ 3 ^
sszefggs. Most
multiplicits, gy:
fggvny mindentt
2ti
+ 1
e+1
it=0
267
8. Szmtsa ki az / =
f\z)
dz integrlt, ha
f{z)
{z^ - i f
cos^ (tz)
- k - w
dz integrlt, ha
+ 6z^ + 9z
iz - i)^{z^ + 4z( - 8)3
s y olyan egyszer zrt rektiiklhat grbe, amely megkerli / sszes
zrushelyt s plust.
fiz) =
kjT, Zk = k +
/=
k G Z.
Z=Z k
268
Z = Zk
=0
-& )
Z = Zk
=0
Z=Zk
-(-1)^^ Ti 0
269
' l
1
dx
5 cos a:
Vgezzk el az integrandusban az
alapjn
= z helyettestst, melynek
10z+ 1 2 U ,
Teht az integrl rtke:
-2 /
2jt
VU
\/iT
V 44
2t
2
./
:=
Jo
^ .
3-4S1D X
dx
dx = ^ dz
2iz
IZ
Az integrcis t pedig ismt a komplex sk |z| = 1 egyenlet y krve,
ezzel:
1
I
dz
2iz
Az integrandus izollt szingulris helyei a nevez zrushelyei:
7 + 3/
- 7 + 3/
z\ = 4 - Z2
^ =4
Ezek mindketten az egysg sugar krn kvl helyezkednek el, ami azt
jelenti, hogy az integrandus a y grbn s azon bell regulris fggvny.
Teht a Cauchy-fle alapttel szerint: 7 = 0
3./:=
!-
J- 1 + sir
-dx
Vn
Alkalmazzuk a szoksos z = e'^ helyettestst, mellyel
270
271
dx = T-dz,
iz
2iz
s integrljunk az orig kzep egysgnyi sugar y krvonalon. Ekkor:
1
I
smx =
= 3 - 2V2
Jo
= V 2 7t
-dx
cosjc sm a:
Az integrandusban elvgezzk a szoksos helyettestseket:
= z-bl kvetkezen
z^-1
smx =
dx = ^dZy
COSJC =
IZ
2z
2iz
majd ttrnk a |z| = 1 krn val integrlsra. Elvgezve a helyettest
seket, ezt kapjuk:
272
V2
16
1
4 (3 - 21/ 2) - 1 2
I =2jii\ - T - 2-
^ ( 1 + 4z + ( l - 0 ^^
Az integrandus szingulris pontjai a kvetkezk:
- 2 + v/2
Zi =
12 =
1+ i
cos 3jc
4 ~ 2 cos jc
Alkalmazzuk a megszokott
= z helyettestst, de most szksgnk
van az eddigiekben hasznlt formulk ltalnostsra is.
Mr lttuk:
z^ + 1
.
z^ - 1
--- s smjc =
cos a: =
2z
2iz
Ugyanezzel a logikval kapjuk:
cosnx = 1 (z" + i ) =
+1
2z"
Hasonlan:
- 1
2i\
z^J
2i:
2/z"
Ebben a feladatban az elz formulra van szksg n = 3 esetn:
Z^ + 1
2z3
Elvgezve a helyettestst, s ttrve a |z| = 1 egyenlet y krn val
integrlsra, ezt kapjuk:
cos3j[: =
273
Zi = 2 + 73 s Z2 = 2 - V3
Ezek elsrend plusok. A felsoroltak kzl zo s zi van az egysgkr
belsejben. Ezeken a helyeken szmtjuk a reziduum rtkt:
^
//
Res(O) = lini(z^ f{z))" = lini \ ^ ^ ^ ^7 i = 15/
0 V
- 4z 4- 1
Msrszt:
+ 1
3(z -Z2)
2 (z i - Z 2)
z\j
dx
e R+
defincival. A vals tengelyen / termszetesen egybeesik az integrandussal. Ennek a komplex / fggvnynek kt elsrend plusa van, ezek a
z = ai komplex szmok.
274
1
dx +
*2+2
dz = 2jti Res(/)
nt
Az I integrl
rtke ebbl R
00 hatrtmenettel addik az albbi mdon:
pR
1
1
;dx = 2ti Res(O
. n, r
^dz
+
0<
f\z\
dz
1
l\z\=R R ^ - a ^
dz =
2jtR
R^-a^
275
Ezekbl mr kvetkezik:
/ = 2jti Res(/)
Mivel z = ai elsrend plus, ezrt
J_
2ai
Teht:
1
I= 2 7 ti2ai
a
Ez az eredmny termszetesen egyezik a vals analizisbeli szmts ered
mnyvel, ugyanis:
rR
,
^dx =
1+
JC
arctga
A megoldott feladat egyszeren ltalnosthat az
7 Y -i ^ t/A :.a e R + .n = 2, 3,4,...
7-00 (jc2
esetre. A klnbsg mindssze abban van, hogy ekkor z = ai nem els
rend, hanem n-edrend plus.
gy pldul n = 2-re:
Res(a/) = lim
- aif
=.......
lim...
z-^ai Y(z + aiy y
Ahonnan:
1
TC
h = Ijti.
oo
^
{z^ +
z-^ai y (z 4- aiy
------------ -----------
276
5)
.00 {x^ + 4) (jc2 +Ax +
\
^ ^
^
^ 2 -Z 3 (z2 + 4) (z - Z4)
-1 + 18/
65
Ezek, valamint a reziduumttel felhasznlsval:
, , . / I - 81 - 1 + 18/\
An
- 6 5 - ) = -7 5
277
3;c^
dx
+ 13x2 + 36
fiz) =
+ 13^2 + 36
deinicival, majd integrlunk a F grbre (lsd a 7.16 brt).
Az / komplex fggvny albbi
/fe) =
^
4 (-/) 5/
10/
s hasonlan:
Res(/, 3i) =
= ((z - 30 f(z)) =
3 (3i)^
-dx
Mivel az integrandus pros fggvny, ttrhetnk a teljes vals sz
megyenesen trtn integrlsra.
I = 1 r - j dx
2y_oo^* + i
Terjesszk ki az jc f(x) vals integrandust a komplex skra az
1
/a ) =
deinicival. Ez a fggvny a vals tengelyen egybeesik az integrandussal.
Az integrcis t pedig legyen ugyanaz a T grbe, mint az elz pldk
ban: [-/?, R] intervallum s az Imz ^ 0 flskban hozz csatlakoz |z| = R
egyenlet y' flkrv.
Az / fggvnynek 8 db szingulris pontja van, ezek a 1 komplex
szm nyolcadik gykei. Exponencilis alakban a kvetkezk:
/fc = 0, 1, 2,... 7
Ezek kzl a fels flskban tallhat 4 db, a /: = 0, 1, 2, 3 indexek,
melyek R > 1 esetn a F grbe belsejbe esnek. A reziduumttel szerint,
ha ^ > 1, akkor:
rR
J-R
/(a:)j: = ^ f { z ) d z -
J f(.z)dz
278
f(x)dx +
trendezssel s R
ktszerese:
279
, ha it = 0, 1, 2, 3.
8 -e'
Teht:
P(x)
- JfO
-dx,
it=0^
;t=o
Zf^ =
/: = 0, 1,... 2n - 1
komplex szmok nem zrushelyei. Ekkor ugyanis a Zk szmok mind els
rend plusok, melyek kzl csak a fels flskba es izollt szingularitsokat kell figyelembe venni.
Ha valamelyik Zk^P polinomnak zrushelye, akkor Zk megszntethet
szingularits. Ekkor mg egyszerbb dolgunk van. Erre ltunk pldt a
kvetkez pontban.
- - i :
- 1
dx
ahol
7
Zo
.
3jT
= - 2 i - COS
_7
Zi
_7
Z2 -
JT
- 2 i cos - .
Teht:
/ = - . (-2 0 . [cos - + cos - j = - . (^cos - + cos - j
280
Ez a fggvny a vals tengelyen megegyezik a vals jc - f(x) integrandussal. Integrcis tknt jelljk ki a F grbt, amely a [/?, R] interval
lum s \z\ = R, Imz ^ 0 egyenlet y' flkr (7.16 bra).
Keressk meg / szingulris pontjait. Ezek a nevez zrushelyei kzl
kerlnek ki, melyek ppen a nyolcadik egysggykk:
Z4 = e ' * f
k = 0,l,...7
Ezek kztt van zq = 1 s 24 = ~ 1 is, melyek a vals tengely pontjai.
Ezek a vals szmok a neveznek egyszeres zrushelyei, de nullahelyei a
szmllnak is, teht ezek a helyek nem plusok, hanem megszntethet
szingularitsok.
Ez addik pldul a
z - 1
6
- 8
hatrrtkrelcikbl is.
281
f{x)dx +
J-R
f(z)dz = 2ni ^ R e s (z * )
jt\
7t
1j i \
T 8j = 4 h 8 T j
A fenti megoldsi mdszer vltoztats nlkl alkalmazhat az albbi lta
lnosabb esetre is:
Jy'
1+
k=l
^ R e s (z t) =
U^- U
M- 1
= -1
Ezeket helyettestve:
V^
l / l +M^
1 + m\
1
E '^-(^* > = 8 (T 3 ^-T r7 ij = 8
k=\
282
( ^ * ) ^ ')
x^ - \ -
-1
i
2tc (
In
=
(c tg -^ - ctg
J-.
k=l
m'7 -
(' (s * ) -
x^-x^
dx
J i , x ^ - l
4 z l
Resizk) =
_ 1
8
l _ e
A kijellt vals integrandus helyett vizsgljuk az
283
fiz) = z^+a2
zerec
Rszeredmnyknt
addik az a nyilvnval dolog is, hogy:
sm
rR
J)
f(x)dx + I f{z)dz =
-R
2 jz
Jy'
2ai
00 hatrmenettel. t8. / :
fiz)dz
/:
= 1 s y > 0
71
-a
----- -dx ^ - e
a
Ennek vals rsze szolgltatja a keresett integrlt. Mivel ez vals szm,
ezrt:
284
sm a:
Ugyanis a vals tengelyen / kpzetes rsze ppen .v**" o- A kapott
X
"I" Cl
eredmny azrt magtl rtetd, mert a fggvny pratlan, teht a teljes
szmegyenesre vonatkoz integrlja csakis zrus lehet.
Megjegyezzk mg, hogy a
2ai
e^
/:
lim [f(z)dz = 0
Res(/, ai) =
J f(z)dz = j
^dx
/:
=Jo
X sin 3x
dx
x^ + 16
-h 16
komplex fggvnyt, s integrljunk a szoksos T grbe mentn (7.16 bra)!
A kijellt vals integrandus ezen komplex / fggvny vals tengely
re vonatkoz leszktsnek kpzetes rsze. Keressk meg / szingulris
pontjait! Ezek a -1 6 komplex szm msodik gykei: 4/.
Ha /? > 4, akkor a z = 4/ esik a T grbe belsejbe. A z = 4/ komplex
szm elsrend plus, teht:
285
.-12
Z e,/3z
2z z=4i
Teht R > 4 esetn a reziduumttel szerint:
Res(/, 4) =
J f(z)dz = j
Ebbl R
.-12
f(x)dx + / f{z)dz
= 2:7r/
j
00 hatrtmenettel:
f f(x)dx = Tii
7-00
- lim [ f{z)dz
^ - 7 /
Becsljk meg most / racionlis rszt:
R
< max
/?2 - 4
+4
Ahonnan vilgos, hogy R
oo esetn
^2+4
Mivel
/= i
,
/oo 9
/
^ COS
i,
+
_ 5 2\/3 -2-s/3.
12 ^
'
Teht:
---- ----- jdz = 2;r Res(zi) = ( - L , .-2^3
Jr{z^ + 3 f
Vx/3
6j
lim - y ^ e ^ 'V z = 0
R^Jyi + 4
Teht:
Ha
> \/3, a
= \/3 i plus F-n bell van, a Z2 =
i
pedig mindig kvl marad. Elg teht a zi ponthoz tartoz reziduumot
kiszmtani, ugyanis a reziduumttel szerint:
f(x)dx =
- lim / fj(z)dz.
/J0
ezrt ki kell szmtani a y'-re vonatkoz integrl hatrrtkt.
Becsljk meg / racionlis rszt:
< max |z|=R
0,
{R2-3Y
ha /? -> 00 , ami azt jelenti, hogy a racionlis trtfggvny egyenletesen
tart 0-hoz, teht a Jordan-lemma szerint a y'-re vonatkoz integrl eltnik.
Teht:
(z^+sr
(t! -i) f
-2V3
286
287
Zi = e ^
Z2 = ^ = 1
Z3 = e'
Ha /? > 1, akkor a r ' belsejben van, Z2 s Z3 mindig kvl esik rajta.
Alkalmazzuk a reziduumttelt:
f(x)dx + f(z)dz +
f(x)dx + f f(z)dz =
J~R
J -\-\rE
Jy'
= Ini Res(zi)
Ha kiszmtjuk /? > 00 s 0 esetn a hatrrtkeket, akkor a bal oldal
els s harmadik tagja szolgltatja a keresett integrlt:
f(z)dz
Res(/, - 1) =
z=-l
3
Teht az / fggvny -1 krli Laurent-sora csak egy negatv index tagot
tartalmaz, a sor tbbi rsze a regulris rsz, teht
no
1
A reziduumttel alkalmazshoz olyan integrcis utat kell vlasztani,
amely egyes szingularitsokat megkerl, egyeseket elkerl, de nem halad t
rajtuk. Ezrt az elz pontokban alkalmazott zrt T grbt gy mdostjuk,
hogy beiktatunk egy olyan e sugar flkrvet, amely megkerli a -1
szingulris pontot.
Pontosabban a T' grbe legyen a kvetkez: a [-/?, - 1 - e] interval
lumhoz csatlakozik a [z + 1| = e, Imz > 0 egyenlet y" flkrv, ehhez a
[-1 +, R] intervallum, majd a megszokott \z\ = /?, Imz ^ 0 egyenlet /
flkrrel zrdik a r ' grbe, sszessgben pozitvan irnytva (7.18 bra).
Az integrandusnak hrom darab elsrend plusa van, a -1 harmadik
gykei:
288
^ 3 ( _ i +.// +
s i e"dt =
289
Res(z2) = ^
-1 - v/3
Z-Z2
Az integrl rtke teht:
, ^ . -1 - \/37
Ugyanezzel a logikval szmthat ki minden
- JO
alak improprius integrl, ahol p tetszleges legfeljebb {In - l)-ed fok
polinom. Ugyanis ekkor a z = vals szm az integrandusnak elsrend
plusa (feltve, hogy p(a) ^ 0). Ekkor a a pontot vesszk krl egy
s sugar negatvan irnytott flkrvvel, s az gy add zrt r ' grbn
integrlunk.
xcosx
dx
x'^ - 4x + 3
Terjesszk ki az integrandust a komplex skra az albbi defincival.
m
- 4z + 3
A vals tengelyre vonatkoz leszktsnek vals rsze egyenl az integrandussal. /-nek kt elsrend plusa van: 1, 3. Ezek mindketten a vals
tengelyen vannak. A komplex sk minden ms pontjban / regulris fgg
vny.
Az integrcis utat vegyk fel gy, hogy az 1 s 3 pontokat krl
vesszk egy-egy e sugar flkrvvel (jellje ezeket rendre 72 s 73), ezek
hez csatoljuk a vals tengely [-R, 1 ~ e], [1 + e, 3 -- ] s [3 + , R] inter
vallumait R > 3 esetn, majd a grbt zrtt tesszk a \z\ = /?, Imz ^ 0
flkrvvel (jellje ezt yi) (7.19 bra).
290
f(z)dz +
J R
Jy2
f{z)dz +
f(z)dz +
f(z)dz+
J l+ e
f(z)dz + f(z)dz = 0
J3+
Jyi
Vizsgljuk meg / racionlis rszt:
z
z^-4z + 3
z-3
z=i
-2
291
T T sm
= i /
cos z + i sin z
fiz) = = --------------z
z
komplex fggvnyt. Az / fggvny vals tengelyre vonatkoz leszkt
snek kpzetes rsze az integrandus.
Az / fggvnynek a vals tengely z 0 pontjban elsrend plusa
van. Ezrt a 0 pontot kikerljk egy orig kzep, e sugar flkrvvel
(legyen ez 72) ehhez csatlakozik a vals tengely [/?, ] s [e, R]
intervalluma, ezekhez pedig a szoksos \z\ = /?, Imz > 0 flkrv. Az gy
add zrt T grbe az integrcis t (7.20 bra).
/:
ox
12./:= /
Jjc
- d x - h [ ~ d z + dx- [ dz = 0
J -R ^
Jr 2 ^
Je ^
^
A krdses integrl az egyenlet trendezse, valamint /? > 00, f
0
hatrrtkkpzs utn gy addik, hogy vesszk az eredmny kpzetes
rszt:
/ = - lm
lim / dz lim / dz
Jo
Mivel
pros fggvny, ezrt vilgos, hogy:
vlivel az integrandus
inte
1 r si
sinjc ,
dx
2 7 -.
292
293
Jyi Z
Jo
Jo
sin^ X
dx= -
Jo
sl t
= 2x, dx = ^dt
sin^ jc
X
2R
sin^ X
sin^x
A kiintegrlt rsz a
= smjc
talakts alapjn knnyen lt
hatan a 0-ban eltnik, s R
oo esetn is eltnik, hiszen egy korltos s
egy 0-hoz tart fggvny szorzata.
Teht:
poo . 2
.
p2R.smt ,
/ sm^A:, ,
it
/ : ^ d x = hm / ---- dt = Jo
'
2
b) Ismt integrljunk parcilisn:
^s\r?x
A
A
dx= -
sin^ X
2jc2
3 /^in2;c.
COSJC
dx
2Jo
Jo
kiintegrlt rsz az a) pontban emltett okok miatt /? ~> oo esetn eltnik.
msodik tagot a
/ X sin(kx)
- /IX = sm
. 2 ^ ^-^ x \j - sm
2 ^ -xj
^ ^ \
sm(nx)
Helyettestve a hatrrtkeket:
sin^ X cos X ,
3 f sin jc sin 2x
dx =
dx
13. Szmtsa ki az albbi integrlokat!
.
pOO
/ S I
a)/2:= / Jo
pOO
b)/3 -
Jo
dx
dx
= 4
slz x
oo
esetn ^ 2
294
295
*3 + a 3
/'
Jo
,
3ji
" - 1 6
1
14. / : =
dx
Jo x^ + 5x + 4
Terjesszk ki az integrandust a komplex skra az
" z2 + 5z + 4 " (z + l)(z + 4)
defincival. A vals tengelyen / egybeesik az jc -> /(.x) vals integrandussal. Mivel ez utbbi nem pros fggvny, nem trhetnk t egyszeren
a - 00-ti 00-ig vett integrlra.
Vizsgljuk meg az / fggvnyt reguln ts szempontjbl, f-nk kt
elsrend plusa van, mindkett a negatv vals fltengelyen: -1 , -4 . A
teljes nemnegatv vals fltengelyen a fggvny regulris. Ha mg figye
lembe vesszk, hogy a szmll s a nevez fokszma kztti klnbsg
kett, akkor ltjuk, hogy alkalmazhat az
J
f{x)dx = - ^
Rs (in(-z) /(z))
296
dx = - ( - l n 3 ) = ln3
dx, a e R+
Res(z3) =
ln(-Z 3)
5 )
a e ^Ina
3zi
Jof
dx =
y/371
297
1 6 ./:=
Jo
+ 4 a: + 4
dx
R e s ( /, - 2 ) =
Alkalmazva a reziduumttelt:
f{z)dz +
Jy^
fi.z)dz +
JR
Jy2
f(,z)dz +
f{z)dz =
Je
< C\
'R
. 2jt/?
a z~3
fggvny, teht
0, ha /?
f(z)dz
Jy2
Teht a yi-re s y2 -VQ vonatkoz integrlok eltnnek, h a
oo, illetve,
ha e ^ 0.
Nyilvnval, hogy ha a fels flskbl kzelednk az [e, /?] interval
lumhoz, akkor
Hm lim / f(z)dz = / f(x)dx = /,
R-.ooe-.oJ^
7o
ugyanis ebben az esetben az intergrandus az jc f{x) vals fggvnyhez
tart. Ha azonban az als flskbl kzeltjk az [e, R] intervallumot, akkor
y/z-nek ksznheten
Ha < 2 < /?, akkor a grbe valban megkerli a plust. Ebben a
pontban a reziduum:
298
(z + 2)2
-Vx
(x + 2)^
299
hiszen ebben az esetben argz > 2jt, teht a r g ^ >7i, vagyis z ngyzet
gyke - vltozatlan abszolt rtkkel - a negatv vals fltengelyen lesz.
Ezrt:
Teht:
nz)dz + J ^ f(z)dz +
i
ha 7?
^ 00,
\nz
dz
z^ + 9
00, ami pldul a LHospital-szabllyal knnyen addik.
17./:=
io
Msrszt pedig
I y2
ha
teht:
\nz
dz
-^9
I ln + 7T\
/
Hm lim
R-^ooe-^O \^j
Ha z a pozitv vals tengely [, R] intervallumhoz tart, akkor nyilvn
6i
300
301
8. FOURIER-SOR, FOURIER-INTEGRL
lim lim
f(z)dz = /
R-^coe
Ha viszont z a negatv vals tengely [R, - e] intervallumhoz kzelt,
akkor a nevez pros volta miatt
+ 9 ^
+ 9, de G
jells
mellett, ha z jc
akkor Inz
In^: + m, ahol a: G [f, R].
Teht:
,
/* Injc + jr j
T,
^ ^
lim lim /
/(z)5?z = / ~ dx = I + m
Ahonnan:
/ = f ln3
6
A fenti gondolatmenettel a kvetkez ltalnosabb eredmny is levezethe
t:
Injc
dx = ^ Ina, a e R'*'
2a
Jo
f ( x ) COS kxdx
bic =
f ( x ) sin kxdx
^ Jo
^ Jo
00
302
303
bk
ao
- U f ( t ) cos (Otdt
f ( t ) sin (Otdt
U
A Fourier-sorok konvergencijnak vizsglatval nem foglalko
k
2 r
= -
cos kx
A sor els nhny tagja f{x) = fsin a: + ^ sin 3jc + ^ sin 5a: + ... V
Jt \
3
5
)
A sor rtke oz x = tc n helyen 0, a fggvnyrtkkel megegyez. A 8.1
brn az els t tag sszege szerepel.
2.
Hatrozza meg a
fggvny Fourier-sort!
= \x\,
-jt
2 r
= - / xcoskxdx
^Jo
Parcilisn integrlva
4 /
( - l f - 1
1. Hatrozza meg az
00
(
f{x) = sgn(sitijr) = <
fggvny Fourier-sort!
304
2 (-lf-1
k
jt
71
^Jo
71
Gyakorl feladatok
sinkxdx
S
=
konvergens szmn= 1
sor, gy a Fourier-sor konvergens, s minden pontban ellltja a g fgg
vnyt.
Megjegyzs:
a) Mivel g(0) = 0, gy a Fourier-sort is a nulla helyen vizsglva:
305
71
~ 2
00
4 v V
OO
n^(2n n=l
1)2
7t
4.
^
(2 n - 1)2 T
n=\
i ha = T 2
Mivel:
i\:
00
00
00
y ^ l =
f _ i _ + ___ \___ ^ = i y ^ l + ^
^2
Z_>1(2)2
(2_1)2/
4 -^ 2
8
n=l
n=l
n=l
00
1 = .
^
Ebbl kvetkezen >
6
n=l
b)
A feladatban szerepl Fourier-sort tagonknt differencilva az elz
feladatbeli sort kapjuk, ami nem meglep, hiszen ha x ^ kjc, akkor:
g\x) = f{x)
3.
Hatrozza meg az f{x) = sin^ ;c s a
Fourier-sort!
= cos^ x fggvnyek
Jo
Jo
u 1> =
^ = JT.
ahol
Parcilisn integrlva:
gy /(/) = 1 +
sin^:7r.
k=^\
Mivel a = 2w pontokban a fggvny rtke 1, s a jobb oldal is 1-gyel
egyenl, gy a sor minden pontban ellltja a fggvnyt. (A 8.2 brn az
els t tag sszege szerepel.)
)
.
/ . 2
.
/ I - cos2j:\^
sin^ jc = sm j c s m a:j = smjc ^ ^ ----- j =
1 .
1 .
- , 1
1 - cos4j
= - sm jc - sm jc cos 2jc 4- - sm jc -------------4
2
4
2
Felhasznlva, hogy:
sin a cosp = ^ ( sin(a +
+ sin(a - /3))
talaktsok utn:
f(x) = ^ sin X sin 3jc sin 5x
8
16
16
A fggvny Fourier-sora teht most csak 3 tagbl ll.
g sornak ellltsakor hasonlan jrunk el.
^1
' 1 + cos
COS 2a:
2x j _ 1
.
1 - cos 4x
T ) -J+cos2,+ ^
3
= -
306
+ COS 2;c -
- COS 4x
5. Hatrozza meg az
sort!
/
(
j
c
)= ^
(c
o
s
jc+
|c o s j : |)
fggvny Fourier-
TT 7Tl .
, FtT 3jT
A fggvny a
mtervallumban COSx-szel, a
mter2 2J
L2 2 .
vallumban nullval egyenl.
Mivel pros fggvny, gy sorban csak koszinuszos tagok fognak
szerepelni, azaz
0.
307
Flperidusra integrlva:
ao
cos xdx =
n
^Jo
---
Tq
2
+ cos(a - fi)),
a* = ^ l
^ Jo
sm(k 1)^^
-------------- 2 ^ -------------- 2
k+ 1
^sin(A: + 1)^
ZO
2
0, h a E
Zo Zo
1, ha r e
, ahonnan
k- 1
.2 = ^ , 3 = 0 , 4 = - ^ , . . .
A sor els nhny tagja teht:
1
3
2
f(x) = 1 + - cos ^ + cos 2jc cos 4jc + ..
2
4;r
1jjt
sin far Y
cosk-(otdt=24
T
A 8.3 bra 7 = 4, Tq = 1 esetn mutatja \aj^\ burkol grbjt.
7. Hatrozza meg az f{t) =
fggvny Fourier-sorban ao
ao = [ e~'dt = 1 - . - 1
Jo
2(1 -e->)
1 + 4jt'^
Jo
Ktszer parcilisn integrlva, majd rendezve az egyenletet (a szmtst
nem rszletezve).
4;r(l sin cotdt =
Hasonlan b = 2 / ^ ^si
1 + 4;r^
Jo
cos (otdt =
308
cq
= ao s q =
, ha A:
0.
309
f{x)=
k0O
sort rtjk.
Egyszerbb talaktsokkal belthat, hogy ez az sszeg az elz
rszben szerepl Fourier-sorral megegyez.
k=-co
k=-oo
it= l
k=\
00
k + ibk
= Co + ^
{coskx isinkx)+
1. Hatrozza meg az
k=l
. Clk -
ibj.
Gyakorl feladatok
2, hajcE]0,;r[,
1, ha a: = kic,
= 2Re(Q), h = ~2Im (Q ).
0, hsi X
T = 2 peridus fggvny Fourier-sort!
E ]7t,
2ji[
fix) =
-ikx
-ik
( D - 1 , ha A:
0.
Ebbl a* = 2Re(Q) = 0 ,
bk = 2Im(ct) =
-.
k= oo
310
311
2.
Hatrozza meg az f(t) = ^ ^ 0 < < l , ^ = l
fggvny Fourier-sort!
ahol
Ck
(0
peridus
2jc
= = 2jt.
i f i
4m
(l - k)
!(1 + k)
(ha k ^ l)
t/ e te ikojtj.
dt =
Jo
Jo
^-t(i+ik))' 1
(-l/-'-l
1 + ikco
1 + ikljt
1 + ik2n
0
Ahhoz, hogy
s
rtkt megkapjuk, meg kell hatroznunk q vals
s kpzetes rszt. Ha A: = 0, akkor cq = q = \
\ k ^ Qesetn:
1 + An'^k'^
(-l)*+ - l
= -1):
( l - e~^) ik l7 i( \ -
)d x =
j if
- ;
.-1
1
3. Hatrozza meg az f{x) = - ( sinjc + | sin jc|) Fourier sort!
ha .XE [0, jt],
ha a: G [jt, 2jt].
A fggvny: f(x) = |
Cjt = 2 Re
A Fourier-sor egytthati: q = cq =
/ sin jc/jc =
2i
teht gy:
p-ix
Ck
312
^
2/
e-^^dx =
313
ha G]0, 1[,
r = 4 peridus
ha G ]l,4[,
Mivel a fggvny se nem pros, se nem pratlan, gy (vals) Fouriersorban szinuszos s koszinuszos tagok egyarnt szerepelni fognak.
Az tlagrtk cq = 1.
r-l
1 I
Ck
cosk - sm /:- - 1
- ik x t
Ck =
iko) 0
snk
=2 - - ^ +
ht
= 2/
kjt
cosk- - 1
. 2 .........2
kn
sm /:1 - cosk^
Teht:
= 4
bk = A
hl
kn
A /c-adik sszetev (komplex) amplitdja:
sm
in^
+ TcosA:^
i f i cos
"^1 I
2
J _ . _V_______ 2J_
c . r = 4 . ____ '1?___\\
(co = l )
= 2|cjt| =
+ b^.
314
8.3 Fourier-transzformlt
Ha az / fggvny nem periodikus fggvny, akkor a fggvny
Fourier-sora helyett annak Fourier-transzformltjt vehetjk, ha a
fggvny bizonyos feltteleknek megfelel.
Az / fggvny Fourier-transzformltja az az F fggvny, me
lyet az
F(o))
- Jf c
f(t)e
ahol o) G R
315
/:
s mivel:
00
00
ezrt:
Ck
u
Ad)
316
f{t)e -'^ dt
f i t ) = j _ r F{a))e^dw
2^7-00
-L
(Egyes szerzk a c(a>) alakot nevezik f (t) Fourier-transzformlt-
1 ri
= YJ
Ck
2 jc c ((o ),
F((o)
dt
fit) =
c((o)e^o.
317
' ^tia-icY 0
Gyakorl feladatok
fggvny Fourier-transzformltjt!
e ^cos (otdt.
A hatrozatlan integrl:
^-t(a+i()
a i) 00
- ( a + ioj)
1 -11
2a
a - 10) a -h io)
A felrt improprius integrl csak akkor konvergens, ha |Im(()| < Re(a).
Vgezzk el a visszatranszformlst is!
2a
Ha r > 0, akkor f(t) ^ _ r _J2n
2^7-00
+ 0)^
Az integrlt a reziduumttel alapjn fogjuk kiszmtani.
Hogy zrt grbt kapjunk, s az integrl konvergens legyen, a fels
flskon halad kontrral (flkrrel) zrjuk le a grbt.
Erre a flkrre a fggvny integrlja nulla, gy:
e~^ cos(Otdt =
sincot - e~^ coscot)/
1 +X()e~^
V
_1L
J ;2 + ^2
7_oo^
= 2;r/Res (
2a
\a^ + c^
-1 0
-8
-6
8.5 bra. Az
-4
-2
10
Termszetesen a transzformit
slz
F\((o)
kp
J 00
lettel is szmolhat.
Ekkor a |l miatt az integrlt kt rszre kell bontani 0-tl 00-ig kell integrlnunk.
Fxi(o)
= r
7 -0 0
/
-00
318
oo
ti 0-ig, illetve
i a)
ahol c = ^ .
JO
/
Jo
e-t(a+i<o)dt =
2.
Hatrozza meg az /() =
Fourier-transzformltj t!
319
^ , ha e ]
0,
T, T[,
h a ^ ] - r , T [
fggvny Fourier-transzformltj t!
Ha > 0, akkor fit) = ^
Mivel a Fourier-transzformltat egy integrllal rtelmeztk, gy lineris
transzformci, vagyis a transzformlst tagonknt vgezhetjk. Az elz
feladatban Fi(y)-ra bemutatott mdon:
Mivel / pros, az els feladatban ltott Fourier-fle koszinusz-transzformlttal szmolhatunk: F((o) = Fc{(o) = 2 /
cilisan integrlva: F(o)) =
- 2
^ fggvny
0 esetn
^ /a> + (a + /?)
1
1
a + /(> a + (> +
Az eredmnyt az elz feladattal sszehasonltva ltszik, hogy az els
tagban ( helyett co P, 3lmsodikban co + fi szerepel.
Ebbl kvetkezen a transzformit:
+ (co +
^
+ (> A kapott fggvnyt j = 2, cr = 2s)3 = 2, a = 3 esetben brzoltuk
(8.6 bra). Az els esetben a grbnek kt maximumhelye van, a msodik
esetben sztfolyik.)
4.
( -----!-----^ ha w E [(l, 2]
Fc{0)) = < 0)1 - 0)2
0, hacD ^ [co1,0)2].
l
8.6
bra. A 2. feladatban szerepl fggvny
Fourier-transzformltja klnbz a s b rtkek esetn
^ Jo
Megjegyzs:
A feladattal azonos mdon hatrozhat meg az f\(t) =
fggvny Fourier-transzformltja.
sin^t
f(t\ -
1
JT
1
0)2 -
7tt()2 - >i)
320
(0\
/ sinft>2r - s m ( O i t \
cos(ttd), azaz
()i-{-)2)t
(oJ2 CO[)t
. cos ---------- sin ----------
321
fggvny Fourier-transzformltjt!
Jo
J-<x>
jT te-
A msodik tag:
1, h a G ] - l , l [ ,
Hatrozza meg az f(t) =
0, h a ^ ] - l , 1[
fggvny Fourier-transzformltjt!
5.
Jo
pi+oo
gy /(O
r i+ ^
-------- do).
------o j -- TT0) ddcD
)
0)
m j/;
._ _
322
1 + m jQf
-(1 + i(o)^
Jo
ioj)^
4(oi
1
(1 -
i(o)^
(1
+ 0)^)^
323
^ (Fs(w
+ a>o) -
F ( /( -o ) )
- i:
f\(r)h(t - r)dx =
F{Mt))-F{f2(t))dm =
\Fi(C0)\^d(0
324
= -------r.
1+
4 - 12(0^
(l +
/ , ( ) - / 2()d
poo
l/i(0 |^^= ^y
'
8.
Hatrozza meg az /i() = e 1^1-cos^, a E R"*",G R fggvny
Fourier-transzformltjt az elz sszefggsek alkalmazsval!
Ez az sszefggs f\ = fi esetn:
oo
a>o))
7.
Az elz sszefggsek alapjn hatrozza meg az f(t) =
transzformltjt!
= -/
M t - T ) f 2 (r)dT
Fs(ct> -
>o))
Fs(f'(0) = - c o - F c ( f ( 0 )
+Fc(<o -
fggvny Fourier-transzformltjt!
325
q'
ha |f| < 1,
haM >l
0)
2
1^1
0, ha |r| > 1
(joq)) .
gy*
sin ^co 4-
sin ^co
Fc{A(t))
co A feladatok megoldsa sorn lttuk, hogy a Fourier-transzformlt ltez
shez az / fggvnyre elg ers megszortsokat kell tennnk.
Ha a fggvny vgtelenben nem tart nullhoz, nem ltezik a transz
formit. Ezeken a nehzsgeken segt a Laplace-transzformci, mely l
nyegesen kevesebbet kvetel a transzformland fggvnytl.
326
fggvny az osztpontokk=Q
bn ellltja az f( t ) fggvnyt, azaz teljesljn k minden rtkre
(^ = 0 , . . . n) az fn{tk) = f{tk) egyenlsg.
Az / + 1 ismeretlen Cj egytthat kiszmtshoz n + 1 line
ris egyenlettel rendelkeznk, ezekbl az egytthatk kiszmthatk.
Az osztpontok specilis felvtele azonban egy egyszerbb eljrst
tesz lehetv.
A komplex Fourier-egytthatk meghatrozsnl a sorfejts
ben szerepl fggvnyek ortogonalitst hasznltuk fel. Most ha
sonlkppen jrunk el.
Legyen w\ = e ' ^ . Ekkor
= w\.
k=0
k=0
''
Mivel m ^ j esetben az sszeg egy mrtani sorozat sszege, mely
nek hnyadosa q =
ezrt
- 1 = 0 , hiszen q egysggyk.
327
*
n+ 1
^ f { x k ) w
k=0
^=0
mk
felbontsban szerepl maximlis ,frekvencia a mintavteli frekvencia fele. Az eljrst igen sokfle mdon alkalmazzk. Az alkal
mazsok kzl csak kettt emltnk.
328
2jt
{k = 0 , . . . n) pontokban egy f{t)
n+ 1
fggvny rtkei (maga a fggvny nem ismert). Az osztpontok
kztti pontokban kell kzelteni a fggvny rtkeit (interpolci).
Az elzekben megismert mdon meghatrozzuk a cj egyttha
tkat, s /()-vel kzeltjk a fggvnyt. Ez a kzelt fggvny
az alappontokban az f{tk) rtkeket adja. Szoks a spektrumbl k
nagyobb rtkeinek megfelel tagokat elhagyni, ezzel simtani az
interpolcis fggvnyt. Ekkor a kapott interpolcis fggvny mr
nem halad t az alappontokon, de elg kzel halad azokhoz.
A msik alkalmazsknt egy szrsi feladatot emltnk: a p{t)
periodikus jelre (fggvnyre) egy additv z{t) zaj rakdik. Sz
munkra csak a p{t) + z{t) sszegfggvny ismert. Ebbl kell lehe
tleg pontosan a p{t) fggvnyt meghatroznunk. Az sszeg spektrlfelbontst meghatrozva, ebbl a kis abszolt rtk tagokat
elhagyva, a maradkot visszatranszformljuk. Az eredeti s a szrt
jel igen jl kzelti egymst. (Az brn n + \ = 256.)
Adottak 2i tk = k
329
9. LAPLACE-TRANSZFORMACIO
s E Q illetve az emltettek
JtQ
330
Jo
331
t
^00
c^f(t)e-^^dt
f(t)e-
= c L [ m ]
2. L [ m + /2(0] = L[Mt)] + L[f2t)
Ugyanis az integrl additivitsa s a disztributv trvny felhaszn
lsval:
pOO
Re(ao)
c^
Jo
+ f 2 (t)] =
(^0
Jo
{M t) + f 2 (t))e~^dt =
Jo
pQO
= / M t)e-^^dt+
f2(t)e-^^dt ^ L[Mt)] + L[f2t)
Jo
Jo
ltalnosan a linearits az albbi formulban foglalhat ssze:
9.1 bra
[m
= c;
Legyen pldul F meromorf fggvny, azaz F-nek legfeljebb
csak plusszingularitsai vannak.
332
L/=i
i=l
333
1
Azaz L
Vilgos azonban, hogy ez az integrl csak abban
az esetben konvergens, ha Re() > Re(), teht most a konvergenciaabsz
cissza: ao = Re(t). (Vals a esetn nyilvn Re(5) > a, oq = a.)
4.
szm.
1. Legyen f(t) = 1.
Ekkor F{s)
L[l] =
- Jo
F{s)
2. Legyen f(t) = t.
Ekkor parcilisn integrlva:
poo
r
-stl^
F{s) = / t- e
= t ------ ------ /
io
^ .0
Jo
i.
eit es tdt
---- t =
^
2 \ s - ia s + iaj
+a
A transzformlsnl felhasznltuk a 3. plda eredmnyt. Szintn az elz
pldbl addik, hogy a konvergenciatartomny a Re(5) > Rt(a) flsk.
5. Legyen f{t) =
Jo
Jo
Parcilisn integrlva:
F{s)=
Jo
-e-^^dt= r
Jo
- ( - a)
1
- ( s - a)2
(s - a)2
A konvergenciaabszcissza ismt oq = Re(a).
-I
-( s - a)
dt =
334
335
a)
a G C (vagy a G R) tetszleges.
f ( t ) = Chat,
Mivel chz =
,at
_L
p-at
F(s)=
2-
i r
-dt==
JO
0
e~^ + 6-' e-^)dt =
27 o
= i .f J _
2 \ s a
+ _ L U
a)
^Jo
b) Ha n = 3, akkor:
_J__
-St
F(s)
"2
- Jo
-S
3 t^ - d t =
JO
3 -2 _ 3! _
i4
= 0 + - / ? e'^'dt = - L 2
^Jo
^
c) Teljes indukcival ezek alapjn mr knnyen igazolhat:
- a^
ort+ 1
9.
lland,
Legyen f ( t ) = t^ e ^\ ahol
pozitv egsz szm.
b)
alakjt, kapjuk:
f{s) =
= t ' shat e
Jo
e'^^dt =
Jo
t
- U
e'^^dt =
F(s)
= 2
(s - a)2
esetben integrljunk parcilisn:
e~^'dt=
Jo
- ( - a)
Jo
Jo
t^-e-^^-^dt
- { s - a)
2as
2
(5 - e)2
(5 -H e)2
^^2 _ ^ 2 )^
= 0 + - A ^ . f e ^ ' .e~^dt= - ^ L [ t - e ] =
) 7o
( - a)
L
J
2!
( - a)
8. Legyen f ( t ) = r", n G
336
(j - a)2
( - )3
( - j)3
, n > 2.
337
c)
igazolhat, hogy L
(s-a r+ ^'
10.
Legyen f{t) = sin( ^)
konstansok.
ahol a, b s
tetszleges
2i
Ezzel f(t) = Yi
-L
2 i\
)>
____1_____ ..................^....... ) =
s-(ia-b)
1 cosp + i sinP
2i l (s b) ia
ha / < Q,
hat > to
fggvnnyel adhat meg (9.3 bra).
1
0
9.3 bra
-bt
s - ^( i a- hb) J
1(0
- Jo
f
1 e'
ha Re(5) > 0,
cos P i sin P
(s
b)
ia
1
0
9.2 bra
338
339
1T
0
9.5 bra
L d{t,T) = L 1 ( 0 - l ( ~ r )
0, ha r > r
alak, akkor / nagyon egyszeren felrhat az albbi formulkkal:
m = (i() - i( - D ) <p{t) = d{t, T) <p(t)
Az ilyen alak fggvnyeket ltalnosan impulzusnak nevezzk.
13. Az elz pontban trgyalt egysgnyi amplitdj impulzusnak az
/
erssge definci szerint / = / d{t, T)dt = / \dt T. Gyakran cl
szer ehelyett az gynevezett egysgnyi erssg impulzust alkalmazni.
Ez nyilvn az elzbl T-vel val osztssal addik:
(, T) : = id (, T) = i (KO - 1(/ - D )
-sT
1- e
Ennek
Laplace-transzformltja
kezen
L[(t,
T)] = -L [(/, T) a transzformci linearitsbl kvetTs
Az rtelmezsbl vilgos, hogy ez az impulzus annl nagyobb ampli
tdj, minl rvidebb ideig tart, teht minl kisebb a T (9.7 bra).
9.6 bra
Ezt gy kapjuk, hogy a d{t, T) fggvnyt negatv irnyban eltoljuk
T
f
T \
--vei: d y
2 ^ Ennek Laplace-transzformltja:
340
.-4
2
sT
= - sh
5
2
Z L
4 2
9.7 bra
341
14.
Ha ezt a gondolatmenetet tovbb folytatjuk, a T idtartamot olyan
rvidnek vlasztjuk, hogy ezalatt a tbbi mennyisg vltozsa elhanyagol
hat, akkor eljutunk a Dirac-impulzushoz, vagy ms nven a Dirac-fle
delta fggvnyhez. Ez lnyegben egy nagyon rvid s igen nagy ampli
tdj egysgnyi erssg impulzus. Hatrtmenettel addik:
0, ha 0,
d(t) := lim(3(, T) =
00, ha = 0.
T-^o
A Dirac-delta Laplace-transzformltja ebbl levezethet, ha felhasznljuk
a LHospital-szablyt:
l - e- s T
= lim lim(/, T) = lim
= 1
T
^O s
T-^O sT
7^0
T-^O
A Dirac-fle delta impulzus lnyegnek kidertshez tegyk fel a kvet
kezket: Legyen f a = q idpont krnyezetben fellp folytonos fgg
vny, s legyen ( q) ^ pontban vgtelenn vl Dirac-impulzus.
Szmtsuk ki az / fggvny hatst Dirac-impulzus fellpsekor. Defi
nci szerint ez a hats
f{ t ) - { t - t o ) d t =
m ii r n O - o, T)dt =
0, ha > 0.
Tisztn formlisan azonban lehetsg nylik a 0-beli derivlt rtelmezsre
is. Ehhez hasznljuk fel a Dirac-impulzus fent levezetett tulajdonsgt:
- to)dt = f{to)
f ( t ) - { t - t o ) d t = f{to)
'o-i
Legyen most specilisan f(t) = 1, rj = c, q + 2 = ^ ekkor:
plQ + T
= lim / .
rW -o o
/
- d t =
T tOJtQ
7-00 ^
Azaz: /
( -
^
q) //
\ 1, ha / > o.
= 1(/ -
q)-
Ha mg konkrtabban, q = 0, akkor:
J 00
Jt Q
Laplace-transzformltat: L
Jo
= e = 1, sszhangban
a korbbi eredmnnyel.
A Dirac-impulzus bevezetsvel formlisan lehetsg nylik a deri
vlt fogalmnak ltalnostsra. A fogalom bevezetsvel lehetsg ny
lik arra, hogy mindentt derivlhatnak tekintsnk olyan fggvnyeket is,
amelyek szakaszonknt differencilhatk, a szakaszok hatrain pedig vges
jobb s bal oldali hatrrtkeik vannak, teht a szakadsi helyeken min-
342
(t)dt = l()
L
Addott teht egy integrlfggvny vltoz fels hatrral. A vals anal
zisbl ismert, hogy az integrlfggvny fels hatr szerinti derivltja az integrandus. Ha ezt formlisan alkalmazzuk erre az esetre, akkor azt kapjuk,
hogy:
l'() = d(t), illetve l'( - fo) = ( t - q),
teht az egysgugrs fggvny derivltja a Dirac-impulzus.
Legyen ezek utn / olyan fggvny, melynek a to pontban elsfaj
szakadsa van, ugrsa legyen A/(o)- A t < tQ, illetve t > tQ pontokban a
fggvny a klasszikus rtelemben derivlhat. Mivel a Q-beli egysgugrs
343
l(-/o ) - \ { t - t o - T )
344
L [m
= - m
= r f ( t ) e - ''dt = [f{t)e
Jo
+s-
= L
[ m ]
= ^ f
{s ) -
m ,
Jo
345
3.
Szmtsuk ki a derivltakra vonatkoz formula felhasznlsval az
f(t) = cos^ at fggvny transzformltjt!
M ivel/'() = 2 cosat ( - sinat)'a = - a - l sinat cosat = - a sin2a.
ezrt:
2a
/'() = aL[sin2at] = - a 52 4^2
= L[/(0]-5-/(0) = 5 .L [/(0]-1
Teht:
1
+ 4a- - 2a^
^2 -I- 4 a ^
5(5^ +
Hasonlan kaphat L sin^ at
2a^
5(5^ -h
Gyakorl feladatok
1. Egy egyszer bevezet pldaknt tekintsk az f{t) = t fggvnyt.
A 9.1 2. pldban lttuk, hogy L[t] =
/(O) =
amint
-f a'^
^00
pQ
I
-1
346
~
=
i~ t)e-^dt
t- f{t)e -^ d t
Jo
Jo
d
,
- ,
Teht F(s) = L t f{t) . ltalnostva tetszleges G
as
^
^
esetn n-edrend derivltra:
=
347
d'
Fis) " l
ds"
f(t)e-^dt =
= F ()
= ( - ! ) " jT f - f i t ) e - ^ dt = i - i r - L [ f - m
"-,
d"
Vagyis Fis) = (-1 )" L [" /( )
= (-iy
Gyakorl feladatok
a
Hasznljuk fel, hogy L[sin at] = ----- r = F{s), valamint alkalmaz
ik +
d
zuk a
= - L t /()] formult, mely szerint:
ds^
d
ds
d"-^ (-1 X -2 ) ^
= (-ir .(-ir
d"
F() = (-1)" L" /()l formult:
ds"
1
d"
1
(-1 )
(1)" ds" s a = ( - ! )"
(s - )2
(^2 + a ^ y j
(.2 + 2y
F(s) = L[ch] =
Erre alkalmazzuk a ^-rrF(s) = (-1)^ L^ chal relcit. Innen:
ds^
'
d
n!
(^_^)n+r
2as
2 . 1
n\
(^_^)n+l
- J o
= L[f{t)
Msrszt a derivltra vonatkoz szably szerint:
= 5 L[0(O] 0(0) = 5 L[0(O
ds .
- a2) /
(2 - a2)
348
Hiszen </)(0)
0
f{t)dt 0. trendezve az egyenletet, kapjuk a
keresett sszefggst: L
Fis)
./o/
, ahol F
349
Gyakorl feladatok
1.
Szmtsuk ki a 0(r) =
fggvny transz-
formltjt.
mltjt!
Eredmnyeink szerint a <p derivltjnak, teht az integrandusnak a
Laplace-transzformlt]t kell osztani 5-sel. A 9.3 1. pldjnak eredmnyt
felhasznlva:
r n 1
, 1
2as
2a
L (p{t) = - ! [ / sm at] = -
r /(0
00 / pOO
f { t ) - e - ^ dt^ds = j^ F{s)ds,
ds\
2. Szmtsuk ki a 0(r) =
sszefggst.
Jo
mltjt!
Gyakorl feladatok
1. Szmtsuk ki az /(r) =
sm at
fggvny transzformltjt!
^ rsman
l rr - T
L ------ = / L[s\nat]ds = /
L
7,
/00
-r----- =
s^-ha^
Jo
mltjt!
cos^ at
2. Szmtsuk ki az f(t) -
sin^ at
fggvny transzformltjt.
350
351
L[x? at] =
2a^
s (5^ + 4^)
. Innen kvetkezik:
Gyakorl feladatok
[s^ + 4^)
ds
1
g(t)
2^'
^ 2 _
2 ^
s{s^+4a^)
s
524. 4^2
Ennek primitv fggvnye:
J \2s
74 ' "2"
T2
^2 +~ 4^2;
^2 In 1^1 - ^4 In 1^^ + 4a
+ 4[2
Ahonnan:
sin^ at
L
In ^2 + 4f2
,2
In l - In
2 4- 4 a 2
3. Szmtsuk ki az f{t) =
mkjt!
= i-ln 1+
(0] =
4a^
In
s b + \
= In 1 - In
(r^ T T T -
5-^+1
5 - E+ 1
= In
5-^+ 1
g(0 -e "d =
6' - e*'
fggvny Laplace-transzfort
g(t) e~dt =
f(x)-e-^^^ ^dx =
i:
ahol alkalmaztuk slz x = t - a, t = x + a, dt = dx helyettestst. Teht
L [f(t-a )
A genertorfggvny eltolsa a Laplacetranszformit exponenci is tnyezvel val szorzst eredmnyezi. Ezt az
sszefggst nevezzk eltolsi ttelnek.
1. Szmtsuk ki az albbi fggvny Laplace-transzformltjt!
/ ( - 2 ) ' , h a / >2,
0, ha 0 < r < 2.
Itt nyilvnvalan f{t) - t^ s a = 2, gy az elbbiek s a 9.1 8. pl
djnak eredmnye szerint: L\g(t) =
352
.L [m
353
2. Szmtsuk ki az \{t -
q)
. l[1()
Ezt
chbt
s+a
(s + )^ - b^
, sszhangban a
ha r > ,
0, ha 0 < / < a.
s L
L e
InV
-L f(t) e
-(+)/
F(s + a)
-I
ezrt:
354
((5 + )^ b^^
c) Legyen adva az / genertorfggvny s annak F Laplace-transzformltja. Ezek ismeretben knnyen t lehet trni ms argumentum fggv
nyekre az gynevezett hasonlsgi ttel segtsgvel. A definci szerinti
Fis) = L\fit)
egyenletben a t vltoz helyre vezessk be az a vltozt, ahol a legyen
pozitv lland.
Ez lnyegben egy helyettestses integrls, amely a r = a jells
bevezetsvel az albbi alakot lti:
355
Jo
Jo
f(r) e
= i
/ / ( T ) . f ( - )
a Jq
a
\a j
Ezzel megkaptuk a hasonlsgi ttel matematikai alakjt:
{atf' c\iat
(s2 - a ^ f
(52-2)3
(2_2)3
^
8. Laplace-transzformltakat tartalmaz tblzatbl kiderl:
L[ln r] = - ^ (C + In s), ahol C egy lland.
Innen a hasonlsgi ttellel addik:
a)L
356
2s(p- + 3a^)
= dp
P)
357
b)L
f i t , p)dp
F(, p)dp
5+ a
shat
= 2 '" s - a
1
3.
A 9.1. 3. pldjban lttuk, hogy L
-, ahol a genertorfggvny t f(t, a) alak, az a jelenti a paramtert.
Derivljuk a genertorfggvnyt a paramter szerint tbbszr egyms-
db^
Msrszt
chZ?) = t
shbt.
db Y(5 + a)^ - b^
(( + a)2 - *2)
2'
2{s + )b
shbt
((5 +
2*
J/JOo
srsz
Msrszt:
na
L[chf] = - ^
.2 - 2
358
= - In
s- a
- In
9.8 Konvolc
a
+ In Is + a\
Ahonnan L
= In
= In |5 | + In 1^1 = In
Ez esetben a genertorfggvny t
/(, a) alak, ahol a a pa
ramter. Integrljuk most kln-kln a generlfggvnyt s a Laplaceshat
shat
transzformltat az a paramter szerint:
chatda =
-1
-/ =
s a
= ^ n s + a
.2
s a
0
359
,(a-b)x
= f e ^ -
e ~ ^ d x = e'
JQ
7o
bt
A
y
a b
a b
a - b
f 2)(t)] =
e~^
e' - e'
s - a
a b
-IM i
s b
e~^ f 2 (t - x)dt
2. Legyen f\(t) = t s fiit) = t^. Szmtsuk ki fi s fi konvolcijt!
A kommutativits felhasznlsval kapjuk:
{f\ * f l Y - t *
M x ) e-^^dx
x^-{t-x)d x =
Jo
u :
Azt kaptuk teht, hogy f \ s f z konvolcijnak Laplace-transzformltja a fggvnyek Laplace-transzformltjainak szorzata.
Ez az sszefggs alapvet jelentsg, klnsen az inverz
Laplace-transzformci vgrehajtsnl van lnyeges szerepe. Ha
ugyanis sikerl a Laplace-transzformltat szorzatt alaktani, s az
egyes tnyezket visszatranszformlni, akkor ezeknek a genertor
fggvnyeknek a konvolcija szolgltatja az inverz transzformltat. Ezt ksbb az inverz transzformci tmakrben pldkon ke
resztl rszletesen megmutatjuk.
Annak rdekben, hogy megbartkozzunk ezzel a mvelettel,
kiszmtunk nhny konvolcit, s annak transzformltjt.
1. Szmtsuk ki az f\{t) =
jt, ahol a s b adott llandk!
s fiit) =
fggvnyek konvolci-
[x'^t-x^)dx =
12
' 3
4
A konvolcittel szerint ennek transzformitj a - amint az a korbbiak
1 1
= L
c5-
Jo
^
shax
r sha;c
+ / -------dx =
-------it - X)
. a
0
7o
^
Chat - 1
ChE
1
Gyakorl feladatok
Jo
c h a x
a?'
Ennek Laplace-transzformltja a konvolcittel szerint:
5
Jo
360
361
4. Szmtsa ki az fi(t) = sint s f 2 (t) = cos bt fggvnyek konvolcijt, ahol a s b adott llandk!
Definci szerint (/i * f 2 ) (t) = / sinajc cos b(t - x)dx.
Jo
Az integrl kiszmtshoz alkalmazzuk a trigonometribl ismert
cos bt - cos at
cos bt cos at
= (cos bt - cos at)'
2 { a -b )
'
2(a + b)
a^ - b^
A konvolcittel felhasznlsval ismt egyszeren kapjuk a Laplacetranszformltat:
a
(cos at cos bt) = L[sina] L[cosZ?] =
s
sm at
2a
cos at ^ cos(-at)
2a
362
2a
) -
sm at
F(S) e^'ds
t > 0
2jtl J Qioo
integrlformula szolgltatja, ahol az integrlst a komplex szmsk
kpzetes tengellyel prhuzamos brmely olyan egyenese mentn
kell elvgezni, melyre Re(5) = a > Oo.
Ez az integrl elvileg termszetesen minden esetben szolgltat
ja a genertorfggvnyt. A gyakorlatban azonban legtbbszr mg*
sem ez a formula hasznlatos. Ugyanis szmos fggvny Laplacetranszformltjt mr ismerjk, amelyeket tblzatba foglalunk egy ilyen tblzatot tall az Olvas a fejezet vgn s a tblzat,
valamint az elz rszben ismertetett ttelek segtsgvel sok eset
ben viszonylag egyszeren elllthatjuk az inverz transzformltat.
Ha a visszatranszformland fggvny megegyezik egy tbl
zatbeli fggvnnyel, mr kszen is vagyunk, ha Fi Fi alak, al
kalmazzuk a konvolcittelt. Ha az argumentum a tblzatbelitl
csak konstans szorzban klnbzik, alkalmazzuk a hasonlsgi t
telt. Ha a visszatranszformland fggvny 5
F{s + ) alak, a
csillapts! ttel alapjn dolgozhatunk, ha pedig s ^ s-F{s), illetve
fit) =
s ^
363
Gyakorl feladatok
(52 + 4) (52 - 9)
+
' 5 2 -3 2
A kapott kt tnyez ismert fggvny transzformltja, a tblzat 12. s
27. sorban tallhatk. Mivel szorzat inverz transzformltjrl van sz,
alkalmazzuk a konvolcittelt, mely szerint:
r-l
rys)
L52 + 2 2 J
^ X-/
3
-j
L 2 _ 3 2 J
= sin2 * sh3,
bt
L - [F'(5)] = - / ( )
s
az shbt =
-----------
s innen a sin =
f{x)dx
= Jo
/'
5. A transzformit integrlsi ttele
sszefggsek
(.2 + 1)
=]-m
F{s)
f ( t - a \ ha / > a,
0, ha < a.
364
6. Hasonlsgi ttel
25 + 4
(52 +45 + 3)
365
25 + 4
F(s) =
((5 + 2)2 - 1)
akkor szrevehet, hogy a tblzat 37. sorban ll transzformlt derivlt
jval llunk szemben a = 1 s b = 2 esetn (a -1 szorztl egyelre
eltekintve), hiszen F(s) = - . ----- ^^.
\(5 + 2 ) ^ - 1
formlt derivlsi ttele, mely szerint:
r-l
1
V(5 + 2 ) 2- 1
F(s)] = L- 1
, gy alkalmazhat a transz
-2t sht
In
( 2 s )2
talak
4. F(s) =
(.2 - 16)^
A tblzat 34. sorval sszehasonltva ltszik, hogy F az /() = t sMt
fggvny transzformlt] nak szerese, ezrt felhasznlhat a genertor
fggvny integrlsi ttele, mely szerint:
L"'[F()1 = L~' - Lt- sh4]
.s
- Az integrl parcilisn kiszmthat:
s\\Atdt
7. Fis) = e
ch4r
t sh4 =
6(3s^ - 9)
j:
sh4
L 16
ch4
Teht L- 1
[ ( . 2 -16)^
1
ch4r
sh4r
16
sh4
1^*
366
367
helyettestssel szrmazik a tblzatbeli fggvnybl. Ez esetben a csillaptsi ttellel kapjuk az inverz transzformltat, mely szerint az a genertor
fggvny exponencilis tnyezvel val szorzssal addik.
L~^F(s)] =
= e~^
1
+ 1)
2. F{s) =
368
1
(.2 + 1)
3 5 + 10
= 1-
COS t.
.2 -2
+ 2)3
+ 23
(s - 3)(2 + 6 + 5)
+ 4 + 5
369
F(s)
-4
(.2+4f
P{s)
olyan racionlis trtfggvny,
Qis)
melynek Q nevezje pontosan n-edfok, P szmllja legfeljebb
(n - l)-edfok polinom, s a g polinom zrushelyei egyszeresek.
F-nek teht legfeljebb plusszingularitsai lehetnek, azaz F meromorf fggvny, s a zrushelyekre tett kiktsek szerint F plusai
legfeljebb elsrendek.
Legyenek F elsrend plusai a kvetkezk: s\, 52,... Sn.
A felttelek szerint:
Q{si) = 0, Q\si) ^ 0, P{si) Ti 0, i = 1 , 2 ,, ,, n.
Ekkor F felrhat rsztrtek sszegeknt az albbi alakban:
Legyen teht
S- S2
5-
/=i
Si
A,
Ki
/(O = L-^
1=1
A feladat termszetesen a Ki egytthatk meghatrozsa. IgazolhaP(^.)
t, hogy Ki =
i = 1, 2 , . . . n, ami nem ms, mint az F
Q
meromorf fggvny Si elsrend plusban a reziduum rtke:
Ki = Res(F, Si), = 1, 2 , .. . n.
A kifejtsi ttel specilis alakjval hatrozzuk meg a kvetkez
feladatokban az adott F fggvnyek inverz transzformltjt!
Gyakorl feladatok
1.
Els pldakppen hatrozzuk meg az 9.10 1. pldabeli fggvny
inverz transzformltj t!
Fis) =
5j = 0, 52 = iy 53 =
370
+ 4
(.2-4f
F{s) =
371
Ki = Res(F, 0) =
K2 = Res(F, 0 =
1
3^2 + 1 5 = 0
1
K3 = Res(F, - /) =
= 1
-3 + 1
1
3+ 1
3^2 + 1 5=:-/
F(s)] = 1 -
=-2/
s+ i
= 1-
+ 25+ 2 .
- 3^2 + 2 s *
K i - Res(f(s), 0) = / /
-2 /
-26
4^2 - 10 =-2/
13
i
2i
l3
-26
s=2i
-3
26
- 4 ? ^ 5=-3
_3^
3
*^4 - R - ( 3 )
26
5=3 36 - 10
Megkaptuk teht a rsztrtekre bontott alakot:
i
\
/ I
3
- - + -.
F ( . ) = - 3
26 5 + 3 26 5 - 3
5 + 2/
13 5 - 2 /
^ Jl_ / _ j ___________3
1 ^ 3
1 \
13
V5 + 2/
5-2/
2*5 + 3
2*5-3/
.
5=0
S= 1
-1
s=2
Teht a fggvny parcilis trtekre bontott alakja:
5
5-2
F(j)] = l - 5-e' + 5 - e^
= -5
=
(2sin2/ + 3sh3)
3. F(s) =
372
5s^ 36
+ 4)
9)
373
-1 2
155 + 48
Ki = Res(-4) =
3^2 + IO5 - 16 j = - 4
-C
\5s + 48
108
K2 = Res(4) =
3^2 + \0s - 16 5=4
72
155 + 48
= Res(-5) =
= -3
3 j2 +
IO 5 -
16 j = - 5
t"k -1
+K ki-eV + Kkz-t-e^k' + Kkz -e"*' + ...K ;
2 !.......... ^" ( . - l ) !
Innen vilgos, hogy az inverz transzformci ebben az ltalnosabb
esetben is a Kij egytthatk kiszmtst kvnja meg. Ha bevezet
_ 3^-5r
jk a Qi{s) : =
= ____________ f ( f ) ____________
Qiis)
ahol a nevez fokszma n =
+ /22 + ... +
a P szmll
fokszma pedig legfeljebb n - 1 , s feltesszk mg, hogy P(si) ^ 0,
/ = 1, 2, 3
, F-et ebben az esetben is rsztrtekre bontjuk:
F(S) =
^11
S Si
^12
(s -s ,f
K,2
^13
^Ini
(s-s,y
Kki
"k
{s-s^r
1
^ 3!
tff
Pis) 1
Qiis), =;
P(s)
Kin,-2 = 2
K. -
. W .
'
P{s) ]
F(5) =
1
(.2 - i f
374
375
Fis) =
^
is + l)Hs - 1)2
F-nek teht k
kt msodrend plusa van, a -1 s 1. F rsztrtekre bontott
K22
alakja: F(s) = ^11 ^ Ki2 ^ K21
+ 1
(5+1)2
(5- 1)2'
Annak rdekben, hogy a bemutatott elmlet alkalmazsa vilgosabb
legyen, alkalmazzuk a bevezetett jellseket:
\2
Qis)
Qlis) = (5+1)2 = i s - 1)",
' Qlis) =
Qis)
_ 1)2 = is+ l ) \
A Kij egytthatk most mr knnyen szmthatk. Ahogy mondtuk, mindig
a nagyobb indexekkel kezdjk a szmtst:
Pis)
Qlis)
is - 1)2 j= -i
/
Pis) '
Ku =
_Qiis)_ =,
-2
is - 1)3
K22 =
K2, =
' 1
(5-1)2
j = - i
Qlis)
^12 =
is + 1)2 J=1
_Qiis)_ 5= 52
5= -2
Pis)
Qlis) =-2
Pis)
Pis)
/
^13
=-2
//
.= -2 = r ^ = *
j = - 2
Ahonnan az F racionlis trtfggvny kifejtett alakja:
1
4
4
" 7 T 2 is + 2)2 (J + 2)3
Amibl az eredeti fggvny:
*2
-2
+ 4 . - . e -2r = ( l - 4 f + 22).e-2'
Qlis)
s= ~ ]
Pis) '
-2
Qlis)
^12
+ 2 (5 + 2)2
( + 2)3
Ismt hasznljuk a bevezetett jellseket: sj = -2 , az egyetlen harmad
2is - 1)
is - 1)4 =-l
(s + 2)i3-
1
(5+1)2
/
5= 1
2(5+1)
(5+1)4
s= \
-2
Ahonnan a parcilis trt alak az albbi:
3. Legyen
1
1
1
(+l)2
-1
(J-1)2^
Ebbl az eredeti fggvny exponencilis s hatvnyfggvnyekkel, vala
mint a csillaptsi ttel segtsgvel a kvetkez alakban rhat:
376
5^ . (5 - 3)2
Innen leolvashat, hogy F-nek az
= 0 harmadrend, az 52 = 3
msodrend plusa. Ennek kvetkeztben F kifejtett alakja:
377
K22
(5 3)^
5 3
- 3)^, 1 = 0, S2 = 3,
i() = (5 - 3)2, 2W =
Ezek felhasznlsval az egytthatk:
^
: i2
P(s) '
. l().
5
81
K22 =
^21 =
5+1
(S - 3)2
P{s)
iW
f
1(5 -
3)^
5= 51
P()
2() =52
3)4
- 3)
5=0
5+1
(5 -
3)2
256
4(2 - 2)4
Hasonlan:
27
^21 =
= 52
____
4 ______
1
3 52 53 5 3 3 (5 3)2
A genertorfggvny felrshoz megint alkalmazhatjuk a tblzat 3. s 6.
sorban foglaltakat - az exponencilis s hatvnyfggvny transzformltjait valamint a csillaptsi ttelt. Ezek szerint az eredeti fggvny:
P()
iW 5=51
128
32(-4)
128j
(5 + 2i)(s - 2)4
1285
Legyen F(s) =
(s2 + 4 ) ( 5 - 2 ) 4
(( - *2) F(n))
P{s)
128
( - 2/)(j - 2)4
Ql(s) s=s2
= 2 i
s= -2i
-256
128
128
-4 (-2 i - 2)4
32(1 + y
32(-4)
Teht a kifejtsi ttel ltalnos alakja abban a klnleges esetben, amikor
a plusok elsrendek, termszetesen szolgltatja a ttel specilis alakjt.
Most kvetkezzenek a Ky, 7 = 1, 2, 3, 4 egytthatk:
/^34 =
378
128
3 2 (-l + /)4
5=3
4.
(( - l) Fis)) =
5=0
+ 1
5=3
+ 4)( - i f , , = 2, 2 = -2 , 3 = 2,
5^ - (5 + 1)35^
P()
Qiis)
- (5 + 1)2(5
15
5
81 27
P(S)
Qi(s) s=l
1
9
J= 0
P(s)
3W
1285
52 + 4
P(5)
^33 =
[Q3(s)\
5=53
128-2
= 32
r 1285 1
= 0
.52 + 4 . 5=2
379
f
P{s) ' "
[ 3W J
=S3
=4.
P(s)
Qiis) J S=S^
-8
512 - 128^
= ^
J J=2
/
= -4
256s^ - 3 0 7 2
6 '
(s^ + 4 ) ^
5=2
= l.( - 2 4 ) = -4
Ezek szerint az F Laplace-transzformlt rsztrtekre bontott alakja gy
rhat:
~1 ^ -1 ^ 32 ,
-4
4
~ s-li
s + 2i s - 2
{s - 2)3 (J - 2 f
Ha most ismtelten alkalmazzuk a hatvnyfggvny, az exponencilis
fggvny transzforrnltjra vonatkoz ismereteket s a csillaptsi ttelt,
addik a genertorfggvny:
== _,2.v _ ^-2,-r 32,2, _ 4^2 . ^2, _ 4^3 , ^2,
Az els kt tag sszevonva lnyegben egy cos fgevny, az utols hrom
tagbl pedig az exponencilis tnyez kiemelhet. gy az eredeti fggvny
vgs alakja F(t) = -2 co s2 + ^32 - 2^ -
e^'.
ahol Q n-edfok, R
380
F(s) =
+
1=0
P(s)
Q(s)
Ebben mr valdi racionlis trtfggvny, ennek visszatranszformlsa a kifejtsi ttellel mr vgrehajthat. A CiS^ alak tagok
visszatranszformlshoz pedig felhasznljuk a Dirac-impulzust s
derivltjait. Ugyanis mr lttuk, hogy:
L - ' [ l ] = it), gy L - ' [Co] = Co()
Nvekv hatvnykitevk szerint haladva tovbb, alkalmazzuk a ge
nertorfggvny derivltjra vonatkoz szablyt:
L['(0] = .y L[d(t)] - lim(0 = 5
r-^O
Ahonnan L ^[5] =
L~^[c\s] = c\
s hasonlan
addnak a magasabb rend derivltak is:
Teht pldul elsrend plusok esetn F inverz transzformltja:
P(Sj)
Q'isi)'
i=0
=l
alak. Magasabb rend plusok esetn a visszatranszformlst az
elz rszben megszokott mdon vgezzk.
Gyakorl feladatok
Szmtsuk ki a kvetkez racionlis trtfggvnyek inverz transzformltjt!
1. Legyen F{s) =
+6
381
55+6
25 + 5
55+6
R es(-3) =
25 + 5
-1 0 + 6
Res(-2) =
s= -2
= -3
= -4
-4 + 5
-15 + 6
=9
-6 + 5
4
5 + 2
2s^
5 + 3
l W
25
+ 4 =
= 2^2
Q(s) = 1. Ezzel:
(s - 1)2
P(s)
= 3 - 1l= l = 2
Kn =
iW j=i
P(s)
= 3
Ku =
Teht a kvetkezt kaptuk: F(s) = 5 + 2 + ------ + ;----1
(5 -
3,
2( s )
+ ^
Ku =
P()
i() 5=0
/
P(s) '
4 5 ^ + 4
5 - 3
= 0
45^ + 4 '
i-3
5 =0
_ 90 5 (5 - 3) + (455^ + 4)
(5 - 3)2
s= 0
4
9
s= 0
P(s)
/:2i = Res(3) =
'(^)
Teht F kifejtett alakja:
45s^ +
5=3
409
352 - 65
5=3
1)^
382
45s^ +
409
F(s) = 25^ + 65 + 15 + -^ 90 352 9(5 - 3)
A genertorfggvny ismt a Dirac-delta derivltjaival s a tblzat 1., 2.,
6. s 39. sornak felhasznlsval fejezhet ki:
s= l
9c^ 3^3 + 4
3. Legyen F(5) = - 3- - ^ ^ !
3 ^ ) +
+ 6s+ 15+
= 2 s^ + 6 s + 15 +
Kn =
5 -
{s^ -
i-3
Az egytthatkat a megszokott mdon szmtjuk:
Qi(s)
15)
5 -3
F a rsztrtekre bonts utn az albbi alakot lti:
F{s)
+ l) + (3j - 1)
{2s^ + 6s+
455^ + 4
..
sHs - 3)
A kapott valdi trtfggvnynek az 5i = 0 msodrend, az 52 = 3 pedig
elsrend plusa. A kifejtsi ttel ltalnostsval dolgozhatunk tovbb,
ha hasznljuk az albbi jellseket: P(s) = 45s^ + 4, Q(s) = 5^(5 - 3),
F(s)
383
5= -l
Ahonnan a felbonts:
-25
p.
') = sh/
Pi(.s)
= - (e' + e ') = ch
Q(s)
Ezt persze tblzat felhasznlsval is azonnal felrhattuk volna. Erre a kt
eredeti fggvnyre - az exponencilisokkal val szorzs miatt - alkalmaz
zuk az eltolsi ttelt:
sh(f -I- 3), ha - 3 < < 2,
/(O
^ch( - 2) + sh( -I- 3), ha 2 < .
Az egysgugrs fggvny felhasznlsval szakaszokra bonts nlkl is
felrhat a genertorfggvny:
/(/) = l( - 2) ch(/ - 2) -I- l( -I- 3) sh( -I- 3)
r -i
.'is
5. Legyen F{s) =
rjuk F-et az albbi alakba:
-3
*
( - 2)2
s{s - 2)2
s{s - 2)2
1
A szokott jellsekkel P\(s)
Q{s)
(5-2)2*
A korbbiak alapjn ennek inverz transzformltjt azonnal felrhatjuk
F{s)=
384
= t
385
s+ 1
Pl()
Q(s)
s(s - 2)2
= 1 ("1 _ 1
4 \s
s -- 22
Pl(s) ^ s ^ - l
Q(s)
s(s - 2)2
=lf-i +
^11 ^
+
s-2
K22
( - 2)2
(-2)2y
^11 + ^
+ ^22
i - 2 ( - 2)2
Y
s-2
( - 2 )2
Ezek alapjn a genertorfggvnyek a tblzat felhasznlsval:
4
r-l
> i()'
Qis)
r-1
Plis)
Q(S)
l) -e 2 < '-) +
1( / - 2 ) ^ 1 -
+ i 1(/ - 3) ^ -1 + 5
+ 6 ( - 2)
+ 6 ( - 3)
386
Re
387
/>()
/ - E ;
00
figyek=-oo
A:=-oo
lembe vesszk a cos fggvny s az exponencilis fggvny kapcsolatt:
+g
/(f) = 1 +
388
Gyakorl feladatok
i'
/( ) =
*=1
k=\
389
1-
390
P(s)
Q'is)
k=-co
= 7t- E
^
(2k + 1)/
k=00
k=- 0O
Anh^ . Z
k =-o o
k=\
,v
/(O = ^
/() =
(2k + l)m
Sk
Ezrt F genertorfggvnye:
00
I
9.15 Taylor-sorok
Nagy fokszm polinomok esetn nehzsgekbe tkzhet a
gykk meghatrozsa, a szorzatt alakts. Ilyenkor hasznos lehet,
ha a fggvnynek a Taylor-sort meg tudjuk hatrozni, amely a
hatvnysor kzppontjtl nem tl nagy tvolsgokra viszonylag j
kzeltst biztost. Konkrtabban fejtsk sorba az F transzformltat
1
^ c
c
c
c
- hatvnyai szerint. F{s) =
~ + ^ + ^ +
A sort
c
^ ' r
c
k=\
n\
tagonknt visszatranszformlva - felhasznlva az L [ f ] =
+1
sszefggst - az albbi hatvnysort kapjuk:
k^\
Ha ez a hatvnysor konvergens, akkor a konvergenciatartomnyon
az L~^ [/^()] Taylor-sort kaptuk meg. A problma itt nyilvn ab
ban ll, hogy a linearitsbl add tagonknti transzformlhatsg
alkalmazhat-e vgtelen sok tag esetre. A gyakorlatban elfordul
S^Sk
391
esetekben az eljrs helyes eredmnyre vezet. Ha / s F Taylorsorra tekintnk, vilgos, hogy teljeslnie kell a
lim /(O - lim5 F(s) = c\
^0+0
-+00
felttelnek. Igazolhat, hogy az eljrs alkalmazhat, ha ltezik az
/ fggvny 0 pontbeli jobb oldali lim f{t) hatrrtke, ez azonban
to+o
F-bl nem olvashat le. St elfordulhat, hogy s F{s) hatrrtke
a 00-ben ltezik, de / 0-beli jobb oldali hatrrtke nem.
Az ismertetett eljrssal hatrozzuk meg az albbi fggvnyek in
verz transzformltjt!
Gyakorl feladatok
1. Elszr egy ismert fggvnyprt vizsglunk meg.
Legyen F{s) = a - .. ekkor tudjuk, hogy f{t) - shat. Teljesl a
hatrrtkekre vonatkoz felttel is, ugyanis:
as
=0
lim f{t) = lim shat = 0
lim s F{s) = lim
s^oo
s-^oos^ a^^
>0+0" ' ' -+0+0
Fejtsk Taylor-sorba F-et a kzismert mrtani sor felhasznlsval:
a
F{s) = ^2 _ q2
2.
Kvetkez illusztrl pldaknt legyen F ismt racionlis trtfggvny: F(s) =
F-et Taylor-sorba fejthetjk, ha ismt felhasznljuk a mrtani sort.
Eszerint:
11
- - E - An+3
rt=0
Ennek genertorfggvnye tagonknti visszatranszforml ssl:
^2 ^6
^10
^4/1+2
ytn+3
/(O = 2!"' 6 ! ' ' ' T ! ' ' " ' ' (4n + 2)!
amely Taylor-sor a 0-hoz kzeli t rtkekre j kzeltst ad. Ellenrzs
kppen megoldjuk a feladatot egy korbbi mdszerrel is. Felbontjuk F-et
parcilis trtek sszegre. A clnak megfelel felbonts most pldul az
albbi:
1
s
2 ' 2 T I
A tblzat 26. s 11. sornak figyelembevtelvel az eredeti fggvny a
kvetkez:
f(t) = ^
- ( 7)
,2n
...
n=0
n=0
n1
392
393
Induljunk ki az 5 =
3. lltsuk el hatvnysor alakban az F(s) = sin - fggvny inverz
5^
S
transzformltjt!
Hasznljuk fel a sin fggvny Taylor-sort, ahonnan z
stssel megszletik F Laurent-sora:
2n+\
w
.d
n=0
- helyette
(-1 )
1 _ 1 __ 1 1 . 1 1 _
(2rt+l)!
^3 3! ^5c ' - 5!. ^7n
(2n
+ 1)! 2n+3
n=0
Ahonnan az inverz transzformit Taylor-sora:
P\
1
1
y(o = : - 1 . + 1 . : - 1
2!
3! 4! 5! 6!
7!
f
8!
= y
^{2 n )\{2 n - \)\
n= 1
1
n=0
- helyettestst!
1
n=0
1 "
n= 0
394
"
f (t) e-^^dt
1
{2n + 1)!
-"-G)
n =0
00
s : - = sn=0 [ I
n=0
Ks=0
Mivel > 0, ezrt e~^ < 1, teht egy q = e~^ hnyados mrtani
sor addott, amely konvergens. Feladat teht a mrtani sor sszeg
zse, majd az sszeg s / szorzatnak integrlsa a kijellt hatrok
kztt.
Megjegyezzk, hogy az albbiakban kidolgozott feladatok az
analzis ms - egyes esetekben elemi - mdszereivel is megold
hatk. Igaz ez a numerikus sorok sszegzsre, a differencile
gyenletek megoldsra, vals integrlok kiszmtsra, a Fouriersorfejtsekre stb. A bemutatott eljrsok mindssze a Laplacetranszformci sokrt alkalmazsi lehetsgeibl kvnnak zeltt
adni.
Az ismertetett mdszerrel szmtsuk ki az albbi numerikus
sorok sszegt!
= 1+ +
(2 lf
(3
!f
395
Gyakorl feladatok
n= 1
00
2n(2n+l)
2-3
4-5
2n(2+ 1)
= 1 -ln2.
6-7
3-5
4. 12
fit) = sh^f =
(/ - e ~ f
3
= y"- zj-
/( 0 = ^ ( l - e " ^ ' )
5=3
-3r
(e' _ e - y
'= r
^
-dt
Jo l - " - '
Az integrandust alkalmas mdon trendezve, majd egyszerstve kapjuk az
albbi egyszerbb alakot:
n= 1
Innen az albbi integrl adja a keresett sorsszeget:
- r i S
Elszr egyszerstjk az integrandust:
)dt
-dt
- r 0
-1
l + e
396
= - ln2 + 1
-2
1 -12-6 + 4 + 3
4 '
12
ll^
4 V 12/
n
48
397
In
- E
Az n
64
225
...
F{s) = ---{s2 - i f
A tblzat 34. sora alapjn a genertorfggvny:
f i t ) = . sh = ------------
=2
Vgl a sor sszegt az albbi integrl szolgltatja:
r - ^-2,
.-2r
tdt
Jo 1 - ^ '
Az integrandust trendezve, szorzatt alaktva, majd egyszerstve kapjuk:
S= ]- (l + e~) e"' ti = i {e~ + e~^') tdt
^ Jo
^ Jo
Ez kiszmthat parcilis integrlssal:
g(x, t)dx
Ja
sszege
398
2n
L[g{x, t)]dx
Gyakorl feladatok
^00
Jo
=-2
A kiintegrlt rsz pldul LHospital-szabllyal szmthat. Teht a sor
Ja
1. Szmtsuk ki az f(t) = I
^=2-
a > 0 integrlt!
X +
399
/*oo . 2
F(s)
x^ +
x'^ + a^J
dx =
arctg ( i )
_
1
JT a 'J i\
71
- s2 ' V
~ 2 ;) ~ l(s + a )
Ennek inverz transzformltja szolgltatja a keresett integrlt:
c2
n2
Jo
Fis)
3. Legyen /() = /
Jo
Laplace-transzformlva mindkt oldalon:
.2
dx
rdx
F(s) = L fit)
= y
/ *+
- Jo
Szmtsuk ki ezt az integrlt:
y/jt y/n
F(s) = -L
\/
0
^
Az utols azonos talakts azrt volt hasznos, mert gy azonnal ltszik a tblzat 4. sora alapjn -, hogy az inverz transzformit:
Jo
dx integrlt!
/oo
Specilisan = 1 esetn
sm^ jc
dx = sszhangban a reziduum
/ Jo
9.18 Fourier-sorfejts
Tudvalev, hogy ha / periodikus fggvny T peridussal s
2tc
= y krfrekvencival, akkor / vals Fourier-sora:
fit) = ^
[Aic c o s
+ Bk sin
it=0
00
i:
Jo
fit) =
e^ '
k==0
A vals s a komplex egytthatk kapcsolata:
A k - iBk
Ck = ---- ----- , Co = Ao,
illetve az inverz kapcsolat:
400
401
Ao = Co, Ajc = 2 R eQ , Bk = - 2 Im Q .
Mi az utbbi ttrsi formulkat fogjuk hasznlni. Ugyanis a
Laplace-transzformci segtsgvel a Fourier-sor komplex alakja
addik termszetes mdon, hiszen az egytthatkra az albbi integ
rlformula ismeretes:
- r 'i:
-ikcotdt
Gyakorl feladatok
1.
Fejtsk Fourier-sorba a fenti mdszerrel az albbi hromszgrez
gst (9.13 bra).
2t ^ ^
T
, ha 0 < < ,
T
r
2T -2t ^ T
f(t) =
- , ha - < < 7,
f(t + T) klnben.
Ennek Laplace-transzformltja:
= f f TM( t)t ^) e
'- ^ ^ d t = f f(t)
Jo
JO
Ha sszehasonltjuk ezt a formult a Q egytthatkra vonatko
z integrlformulval, azonnal addik, hogy a komplex Fourieregytthat kiszmthat egy Laplace-transzformcival, ha a
transzformltban egyszeren elvgezzk az 5 > ikct) helyettestst:
0)
Friikco)
s-ik(
2jt
A .
F t {s ) =
402
-2
^
(l T k^oP-
'2
403
(1 -
fAO = 1(0 I - 1( - I ) 2 - 1( - r ) . I ( - D
= 0,
(i - ( - i / f
= 0, ha
pratlan,
Ahonnan a Laplace-transzformit:
2jt
Elvgezve az 5 icok s a T = helyettestst s az sszevonst, kapjuk
a komplex Q egytthatkat:
(o 2 1 - 2Tse
Ck = FriikcD) =
271 T
2;r
2(0
l.L lz iL
7t
k
2
gy a Fourier-sor vals alakja:
1
4
/ W = J - ; ^ (cos+ -^
_ _ _4_ ^ c o s (2 /: + 1)/
"2
{2k+ 1)2
it=0
2.
Fejtsk Fourier-sorba az albbi periodikus fggvnyt (frszfogrezgst, 9.14 bra).
, haO^ < < -T,
/(0 =
2 t-2 T
T
- , ha - < < r ,
9.14 bra
Amint lthat, Q tisztn kpzetes, ami azt jelenti, hogy
ReQ = 0, /: = 0, 1, 2, 3,..., msrszt
Teht / Fourier-sornak vals alakja:
. f(t + T) klnben.
Az / periodikus fggvny impulzusfggvnyekkel megadott alakja:
404
4
= - 2 ImQ = ^
= 2'
k
00
f(t) = ^ ~
sinkmt =
k=i
2
( .
sin2cor
sin3>
= smco----+
3.
bra).
405
lim
k-^\
C0S6 ( ( ' f )
cos^co^
+ l( - 7) cos((( - r ) + 2jt) =
= 1(0 cosw + 2 1
cos^^ -
+ l ( r - r)-cos(w( - T))
Ennek Laplace-transzformltja:
406
k(\ +
---- - r - ^ =
l - k^
(1 + e - ^ ^ f + k - 2 { \ +
= lim
------------- = 0
*->1
-Ik
De mint lthat ez is zrus. A pros index egytthatk k - In jells
bevezetsvel:
-2 '2 n
/. . . ..2n\2
.(l+(-ir) =
^2n = 2 lmC2n 2jr(l - 4rfi)
8/1
4
2n
7t(42 - i)
JT 4/i 2 - 1
Teht a fggvny Fourier-sora:
00
407
A megoldsi
egyenlet mindkt
jk az ismeretlen
az s
Y(s) jelet,
L[y'(t)] = s - Y i s ) - y ( 0 )
L[y''(t)] = s ^ - Y { s ) - s - y { 0 ) - y ' { 0 )
sszefggseket, akkor a transzformci eredmnye az
a (2 F() - y(0) - y'(0)) +b{ s - F() - y(0)) + c y(0) = F(s)
algebrai egyenlet.
A transzformci elvgzse utn teht az ismeretlen y fgg
vny transzformltjra egy kznsges algebrai, teht nem diffe
rencilegyenletet kaptunk. Ezt meg kell oldani az Y transzformltra,
majd ellltani az inverz transzformltat, ami az egyenlet y meg
oldsa lesz. Differencilegyenlet-rendszer esetn egy algebrai line
ris egyenletrendszer addik az ismeretlen fggvnyek transzfor
mltjra vonatkozlag. Az egyenletrendszer megoldsa utn ismt
a visszatranszformls a feladat. Mindezt rszletesen a kidolgozott
pldkban mutatjuk meg.
Felhvjuk a figyelmet arra, hogy a mdszer lnyeges eleme
a kezdeti felttelek megadsa. Ugyanis ezek ismerete nlkl a
Laplace-transzformltak nem llthatk el. Ezzel az eljrssal te
ht lineris differencilegyenletekre s egyenletrendszerekre vonat
koz kezdetirtk-problmk oldhatk meg.
Gyakorl feladatok
Oldja meg az albbi differencilegyenleteket s egyenletrendszereket!
1. / ' + y = 4 e \ y(0) = 4, y'(0) = -3 .
Kpezzk a Laplace-transzformltat:
s 2 . y ( i ) - s . ; v ( 0 ) - y ( 0 ) + y() =
5^ y(j) - 4 + 3 + Y(s) =
- 1
5^ + 1
S- \
Elvgezve a transzformlst, az
s^Y{s) - y(0) - y'(0) - 2(sy() - y(0)) + K() = 0
egyenlet addik, melyben ha figyelembe vesszk a kitztt kezdeti feltte
leket, az albbi konkrtabb egyenlet szletik:
y(i) - + 2 - 2jy(s) + 2 + y(s) = o
Kifejezve az ismeretlen fggvny transzformltjt:
K(.) =
(-l)2
Felbontva elemi rsztrtek sszegre:
408
409
11
( 5 - 2 ) - X (5 ) - y ( 5 ) =
-3 X (5 ) + ( 5 - 4 ) . F ( 5 ) = 2 J
7(5) =
4(5 - 1)
-
4(5 - 5)
4(5-1)
4(5-5)
+ 5 .* '
\2s ' 3 ( 5 - 3 )
2(5-2)2
4(5- 2)
A kezdetirtk-problma megoldsa ennek inverz transzformltja:
5.
A mdszerrel termszetesen magasabb rend egyenletrendszerek is
kezelhetk. Pldaknt oldjuk meg az albbi msodrend homogn lineris
rendszert:
X - 2y + 2x = 0
s jc(0) = 0, jc(0) = 1, y(0) = 1, KO) = -1 .
3x y - Sy = 0
Kpezzk a Laplace-transzformltakat a szoksos jellsekkel, figye
lembe vve a kezdeti feltteleket:
^ - X ( s ) - 1 - 2 (j K([s)
s) - 1) + 2X(s) = 0 1
3s X(s) + y() - s + \ - 8K(j) = 0 J
Rendezve az egyenletrendszert, a kvetkezt kapjuk:
{s^ + 2) X(s) - 2s Y(s) = -1
3i X() +
- 8) F() = - 1 J
Ennek a lineris rendszernek a megoldsa invertlhat formban:
410
4 j2 _ 4
l
9 s-6
8 2 _ 4
4
1
+4
s +2
8 2 + 4
411
A tblzat 11., 12., 26. s 27. sornak a felhasznlsval a visszatranszformls innen mr elvgezhet. Az eredmny:
1
F{s)
j; = 3jc + 2j + :
Kpezzk a transzformltakat:
5 X{s) - 2 = 2X(s) + 3Y{s) +
Vt
2-
5 -1
Rendezzk a kapott lineris egyenletrendszert:
{s - 2) X{s) - 3Y{s) = 2 + -2
iS
1 - e~
- 3 X ( s ) + ( - 2 ) K (j) = 3 +
s- 1
Ennek az egyenletrendszernek a megoldsa rsztrtekre bontott alakban:
18
4
3 + 1-13
X(5) =
5s
5( 5- 5 )
5+1
5-1
18
1
Y(s) =
- 4 + ^
5 ( 5 - 5)
5+1
5-1
5^ 5s
Ahonnan az inhomogn lineris rendszer kezdeti feltteleket kielgt meg
oldsa:
x{t) =
In
10.
7= In
y/i
11.
cos at
^ - 3^^ + 2 ^
y(,) = ^ ^ 5 , _ 4^-r +
412
9.
_ 3, + ^
- j ( C + In)
- (Cln4 + ln5)
413
sorszm
fit)
12.
sin at
13.
14.
15.
16.
17.
cos^ at
18.
sin^ at
19.
t cos at
20.
t sin at
21.
t^ cos at
22.
r sin at
23.
414
cos I
sin at
t
sorszm
fit)
24.
1 cos
_ at
25.
cos at ~- cos bt
26.
chat
27.
shat
28.
cY?at
29.
sh^at
Fis)
+ a^
acoscpo + (5 + Z?)sin^o
(5 + b)^ +
-f 2^^
5(5^ + 4a^)
2a^
30.
31.
Fis)
: l n l +
1 , s ^ + b ^
2 ( 52+02
s'^ - a^
2a^
s{s^ - 42)
shat
1 - chat
xlnl-2.
(5^ + ^)
2as
(5^ + a^)
2s{s^ - 3a^)
(5^ + a'^f
2a{3s^ - a^)
32.
Chat - chbt
t
33.
t chat
34.
t shat
(5^ 4- a ^ f
arctg
(?)
35.
t^ chat
1 , s^ +
2 '" V52 - a2
s^ + (?
2as
(5^ - a^)
2s{s^ + 3a^)
415
sorszm
36.
F(s)
m
P" shat
2a{3s^ + a^)
(2 - a ^ f
416
37.
sh/
a
(5 + b)^ a^
38.
Chat
s b
(s + b)^ ~ a^
39.
1
s
40.
1(0
1
s
41.
d{t, T)
42.
{t, T)
1 - e""'
sT
43.
(t)
1s