0, alkko
fin Yon)" = be ~ 2a Y
<1, egyébként ,
> 0 (hiszen Tim y/Jan] = 0 => 9= +00
100 és akkor |z ~ xo] > nem lehetséges), tovaba
t+o>1, ha 9@=+00
>i, egyébként ,
ami a sorokra vonatkozé Cauchy-féle gyékkritérium miatt adja a hatvénysor
divergencidjat.
fim Yfa,(@ — 20)" = |e ~ zollim
2. Definicié. A Cauchy-Hadamard tételben definidlt g-t a hatvdnysor kon-
vergencia sugarénak nevezziik.
Megijegyzések.
1. =O esetén a hatvanysor csak zo-ban, mig 9 = +00 esetén Vz EC RVC
esetén konvergens.
2. Ha 0 < @ < +00, akkor a K(xo,@) nyilt kérnyeret része a hatvénysor
konvergencia tartoményénak.
2. Tétel. Legyen 09 a S- an(x — 0)" hatvénysor konvergencia sugara.
=o
Ha0 <0 < 00, akkor a hatvanysor egyenletesen konvergens K (#0, 0)-n, az
ssszegfiiggvénye pedig folytonos K (xo, 9)-n.
Bizonyitds.
a) Haz € K(ao,0), akkor |an(z ~ Z0)"| < |an{g"- De 3) |an|o" konvergens
szdmsor (hiszen a Cauchy-Hadamard tétele miatt a 57 |an|2” hatvénysor
konvergencia sugara is a 68 9 < go), igy a Weierstrass-feltétel miatt
kapjuk az egyenletes konvergencidjat K(z0, 0)-n.
b) s aq (x — 29)”, tehat egyenletesen konvergens ¥ K(t0, a) (0 < @ < 20)
nao
kérlapon, az f(z) = an(z — 20)" (2 € RV C) fiiggvények folytonosak
K (xo, 0)-n, igy az eldzd paragrafus 3. tétele miatt az Ssszegfiiegvény
folytonos V K (zo, 0) C K(zo, 90) kérlapor
Kévetkezmény. A
oo an so ce gant
La Lover LO"ern
co gan gone
xX Gri? Se Qn +i!
101
hatvénysorok konvergencia sugara g = +00, dsszegfiiggvényiik folytonos
RvCn
Bizanyités. _
Miv Yn! + +00 A 9/Qnjl > +00 A Gn +1)! > +00 is igaz, kapjuk,
hogy 9 = +00 minden esetben. Ezutén a folytonossdg RV Cn jon a 2.
tételbdl
3. Elemi fiiggvények
1. Definieié, Az elébbi kévetkezményben szerepl6 hatvanysorok konver-
gensek RV Cn, ezért V2 € RV Cre az
sverint értelmezett fiiggvényeket rendre valés vagy komplex exponencialis,
cositus, sinus, cosinus hiperbolicus, sinus hiperbolicus figgvényekmnek nevez~
aiik & exp, cos, sin, ch, sh médon jeldljik. (Valamennyien folytonosak
RVCn)
1, Tétel. Vr € RVC esetén
sh(z) = 2) exp(-2) ch(a) = SPE) tec)
- 2 . ° 2 /
exp(z) = sh(z) + ch(2) , sin(z) = S22) soo) ,
cosa) = SDH PI) (in) = isin),
a
ch(iz) = cos(z) ,
teljesil.
exp(iz) = cos(z) + isin(x)
Bizonyitds, A sorok miiveleti tulajdonségai alapjén valamennyi egyszerth
102 szdmolds.
2, Tétel. Vc,y E RVC esetén
a) exp(x + y) = exp(z) exp(y) ;
b) cos(x + y) = cos(z) cos(y) — sin(z) sin(y) 5
sin(z + y) = sin(2) cos(y) + cos(-r) sin(y) ;
c) h(x + y) = ch(z) ch(y) + sh(z) sh(y) ;
sh(z + y) = sh(z) ch(y) + ch(z) sh(y)
(addiciés tételek).
Tovabba:
d) exp(a) exp(—z) = 1; cos(—x) = cos(z); sin(—x) = ~ sin(
ch(—2) = ch(z); sh(—x) = —sh(x); sin?(x) + cos?(z) = 1;
ch?(x) —sh*(z)=1 Vr,yeE RVC
Bizonyttas.
a) exp(z) és exp(y) két abszolit konvergens sor Ssszege, {gy Mertens tétele
szerint Cauchy-szorzatuk egyenlé szorzatukkal, ezért
py fe ra
exp(z) -exp(y) = 2 (Saw wey :) =
ee oo (2+ y)"
~En(E (ee) = Bae renee
b) és ¢) azonnal jén az a) rész é5 az 1. tétel felhaszndldsdval.
d) egyszerti szémolés.
3. ‘Tétel. Az exp: R > R fiiggvényre igazak:
a) exp(z) #0 (2 € RB) ;
b) exp(z) > 1 (@> 9) A 0 You might also like
