20.07.2013 Views

Klasifikace singularit, reziduová věta

Klasifikace singularit, reziduová věta

Klasifikace singularit, reziduová věta

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

15. Nulové body a póly<br />

Věta. Je-li funkce f holomorfní v oblasti G ⊂ C, a f(z0) = 0 pro bod z0 ∈ G, pak<br />

existuje okolí U(z0) bodu z0 takové, že f(z) = 0 pro z ∈ U(z0).<br />

Definice: Je-li funkce f holomorfní v oblasti G ⊂ C, pak říkáme, že má v bodě z0 ∈ G<br />

nulový bod (kořen), jestliže je f(z0) = 0.<br />

Definice: Je-li funkce f holomorfní v oblasti G ⊂ C a má v bodě z0 ∈ G nulový bod,<br />

t.j. f(z0) = 0, pak nastanou dvě možnosti:<br />

(1) f(z) = 0 pro z ∈ G;<br />

(2) existuje okolí U(z0) bodu z0 takové, že f(z) = 0 pro z ∈ U(z0), z = z0. Pak<br />

existuje jednoznačně určené číslo n ∈ N takové, že<br />

f(z) = (z − z0) n g(z), g(z) = 0, z ∈ U(z0).<br />

Definice: Číslo n z předchozí věty se nazývá řád nulového bodu (kořene) funkce f.<br />

Věta. Funkce f : G → C, která je holomorfní v oblasti G má v bodě z0 ∈ G nulový<br />

bod řádu n pravě když platí:<br />

Existuje okolí U(z0) bodu z0 takové, že pro z ∈ U(z0) jsou splněny tyto ekvivalentní<br />

podmínky:<br />

(a) f(z) = ∞<br />

ak(z − z0) k , an = 0;<br />

k=n<br />

(b) f(z) = (z − z0) n g(z), kde funkce g je holomorfní a různá od nuly;<br />

(c) f(z0) = f ′ (z0) = . . . = f (n−1) (z0) = 0 a f (n) (z0) = 0.<br />

Věta. Je-li funkce f : G → holomorfní v oblasti G a f(z0) = 0 pro z0 ∈ G, pak<br />

1<br />

existuje okolí U(z0) bodu z0 takové, že je funkce holomorfní a nenulová v okolí U(z0).<br />

f(z)<br />

Věta. Je-li funkce f : G → holomorfní v oblasti G a má v bodě z0 ∈ G nulový bod<br />

řádu n, pak existuje okolí U(z0) bodu z0 takové, že pro z ∈ U(z0), z = z0 platí:<br />

Je pak<br />

1<br />

f(z)<br />

h(z)<br />

= , h(z) = 0.<br />

(z − z0) n<br />

lim<br />

z→z0<br />

1<br />

f(z)<br />

= ∞.<br />

Věta. Nechť je funkce f : G → C holomorfní v oblasti G − {z0} a lim f(z) = ∞,<br />

z→z0<br />

pak existuje okolí U(z0) bodu z0 a číslo n ∈ N takové,že pro z ∈ U(z0), z = z0 je<br />

f(z) = g(z)<br />

,<br />

(z − z0) n<br />

kde funkce g(z) je holomorfní v U(z0).<br />

Definice: Bod z0, z předchozí věty se nazývá pólem řádu n funkce f.<br />

Definice: Izolované <strong>singularit</strong>y Jestliže je funkce f : G → C holomorfní v oblasti<br />

G − {z0}, pak bod z0 je izolovaným singulárním bodem funkce f v oblasti G.<br />

<strong>Klasifikace</strong> izolovaných singulárních bodů. Je-li bod z0 ∈ G izolovaným singulárním<br />

bodem funkce f : G → C, která je holomorfní v oblasti G − {z0}, pak nastane<br />

právě jedna z možností:<br />

I. Odstranitelná <strong>singularit</strong>a<br />

a) lim f(z) = w0 ∈ C;<br />

z→z0<br />

52


) f(z) = ∞<br />

ak(z − z0) k , 0 < |z − z0| < r a a0 = w0;<br />

k=0<br />

c) funkce f ∗ (z) = f(z), z = z0, f ∗ (z0) = w0 je holomorfní v bodě z0.<br />

II. Pól n-tého řádu<br />

a) lim f(z) = ∞;<br />

z→z0<br />

b) existuje funkce g(z) holomorfní v bodě z0 taková, že f(z) = g(z)<br />

(z−z0) n a g(z0) = 0;<br />

c) lim f(z)(z − z0)<br />

z→z0<br />

n = w0 ∈ C, w0 = 0;<br />

d) funkce 1<br />

f(z) má v bodě z0 nulový bod (kořen) řádu n.<br />

III. Neodstranitelná (podstatná) <strong>singularit</strong>a<br />

a) lim f(z) neexistuje;<br />

z→z0<br />

b) lim f(z)(z − z0)<br />

z→z0<br />

m neexistuje pro všechna m ∈ Z.<br />

Obdobně klasifikujeme izolované <strong>singularit</strong>y v bodě ∞ pro funkci f(z), která je holomorfní<br />

na nějakém okolí U(∞) bodu ∞ :<br />

I. Odstranitelná <strong>singularit</strong>a<br />

lim<br />

z→∞ f(z) = w0 ∈ C.<br />

Nulový bod: Je-li w0 = 0, pak má funkce f(z) v bodě ∞ nulový bod (kořen). Jeho řád<br />

je roven řádu nulového bodu funkce g(z) = f <br />

1 v bodě z0 = 0. Tedy funkce f(z) má v<br />

z<br />

bodě ∞ nulový bod řádu n právě když je lim z<br />

z→∞ nf(z) = w∗ = 0, w∗ ∈ C.<br />

II. Pól n-tého řádu<br />

Funkce f(z) má v bodě ∞ pól n−tého řádu, jestliže je lim<br />

z→∞<br />

f(z)<br />

z n = w0, w0 ∈ C, w0 = 0.<br />

III. Neodstranitelná (podstatná) <strong>singularit</strong>a<br />

Pokud nemá funkce f(z) v bodě ∞ odstranitelnou <strong>singularit</strong>u nebo pól, pak říkáme,<br />

že má v bodě ∞ neodstranitelnou <strong>singularit</strong>u. Potom lim<br />

z→∞ f(z) neexistuje.<br />

16. Laurentovy řady<br />

Definice: Řada tvaru<br />

(♣)<br />

∞<br />

k=−∞<br />

ak(z − z0) k<br />

se nazývá Laurentova řada se středem v bodě z0. Mocninná řada<br />

(∗)<br />

se nazývá regulární část řady (♣) a řada<br />

(⋄)<br />

se nazývá hlavní část řady (♣).<br />

−1<br />

<br />

k=−∞<br />

∞<br />

k=0<br />

ak(z − z0) k =<br />

ak(z − z0) k<br />

∞<br />

m=1<br />

a−m<br />

(z − z0) m<br />

Poznámka: Hlavní část Laurentovy řada je mocninná řada v proměnné 1<br />

z−z0<br />

oborem konvergence je pak množina<br />

<br />

1 <br />

<br />

<br />

z − z0<br />

< r ⇔ |z − z0| > 1<br />

, 0 ≤ r ≤ ∞.<br />

r<br />

53<br />

. Jejím


Definice: Řada tvaru<br />

(♣♣)<br />

∞<br />

k=−∞<br />

se nazývá Laurentova řada se středem v bodě ∞. Mocninná řada<br />

(∗)<br />

se nazývá regulární část řady (♣♣) a řada<br />

(⋄)<br />

−1<br />

<br />

k=−∞<br />

∞<br />

k=0<br />

ak<br />

=<br />

zk ak<br />

z k<br />

∞<br />

m=1<br />

ak<br />

z k<br />

a−mz m<br />

se nazývá hlavní část řady (♣♣).<br />

Věta. Obor konvergence Pro Laurentovu řadu (♣) nastane jedna z možností:<br />

a) regulární část (∗) řady konverguje pro |z − z0| < r1, hlavní část (⋄) konverguje pro<br />

|z − z0| > r2 a r2 < r1. Řada (♣) pak konvegruje absolutně v mezikruží r2 < |z − z0| < r1.<br />

b) regulární část (∗) řady konverguje pro<br />

|z − z0| < r1, hlavní část (⋄) konverguje pro |z − z0| > r2 a r2 > r1. Řada (♣) pak<br />

nekonverguje nikde.<br />

c) regulární část (∗) řady konverguje pro |z − z0| ≤ r, a hlavní část (⋄) konverguje pro<br />

|z − z0| ≥ r. Řada (♣) pak konverguje pouze v bodech kružnice |z − z0| = r.<br />

Značení: Označujeme symbolem P (z0; r, R) mezikruží {z; r < |z − z0| < R}, kde<br />

0 ≤ r ≤ R ≤ ∞.<br />

Věta. Cauchyův vzorec pro mezikruží Nechť je funkce f : G → C holomorfní<br />

v oblasti G, která obsahuje mezikruží P (z0; r, R). Jsou-li (C1) a (C2) kladně orientované<br />

kružnice<br />

C1 = {z; |z − z0| = r1}, C2 = {z; |z − z0| = r2}, kde r < r1 < r2 < R, pak pro všechny<br />

body z ∈ P (z0; r, R) je<br />

f(z) = 1<br />

<br />

2πj (C2)<br />

<br />

f(w) 1<br />

dw −<br />

w − z 2πj (C1)<br />

f(w)<br />

w − z dw.<br />

Věta. Laurentova řada holomorfní funkce Je-li funkce f : G → C holomorfní v<br />

oblasti G, která obsahuje mezikruží P (z0; r, R), pak<br />

přičemž<br />

f(z) =<br />

∞<br />

k=−∞<br />

ak(z − z0) k , r < |z − z0| < R,<br />

ak = 1<br />

<br />

2πj (C )<br />

f(w)<br />

dw,<br />

(w − z0) k+1<br />

kde (C ) je kladně orientovaná kružnice K = {z; |z − z0| = r ∗ , r < r ∗ < R.<br />

17. <strong>Klasifikace</strong> singulárních bodů, reziduum funkce<br />

Věta. Je-li funkce f(z) holomorfní v prstencovém okolí bodu z0 a je-li<br />

(♣) f(z) =<br />

∞<br />

k=−∞<br />

ak(z − z0) k , z0 ∈ C,<br />

54


esp.<br />

(♣♣) f(z) =<br />

∞<br />

k=−∞<br />

ak<br />

z k , z0 = ∞<br />

je její rozvoj v Laurentovu řadu, pak platí:<br />

a) Funkce f(z) má v bodě z0 odstranitelnou <strong>singularit</strong>u, právě když je hlavní část<br />

Laurentovy řady nulová, t.j. ak = 0, k ≤ −1.<br />

b) Funkce f(z) má v bodě z0 pól řádu n, právě když má hlavní část Laurentovy řady<br />

koeficienty ak = 0 pro k < −n a a−n = 0.<br />

c) Funkce f(z) má v bodě z0 neodstranitelnou <strong>singularit</strong>u, právě když má hlavní část<br />

Laurentovy řady nekonečně mnoho nenulových koeficientů.<br />

Definice: Reziduum funkce Jestliže má funkce f(z), která je holomorfní v prstencovém<br />

okolí bodu z0 rozvoj v Laurentovu řadu<br />

resp.<br />

(♣) f(z) =<br />

(♣♣) f(z) =<br />

∞<br />

k=−∞<br />

ak(z − z0) k , z0 ∈ C,<br />

∞<br />

k=−∞<br />

ak<br />

z k , z0 = ∞,<br />

pak číslo a−1, resp. −a1 nazýváme reziduem funkce f(z) v bodě z0 a označujeme jej<br />

symbolem<br />

(♠) resz0 f(z) = a−1, resp. (♠♠) res∞ f(z) = −a1.<br />

Poznámka: Význam residua Je-li<br />

(♣) f(z) =<br />

∞<br />

k=−∞<br />

ak(z − z0) k , 0 < |z − z0| < r,<br />

rozvoj funkce f(z) v Laurentovu řadu v okolí bodu z0, pak pro každou kladně orientovanou<br />

kružnici (Kρ), Kρ = {z; |z − z0| = ρ, 0 < ρ < r} je<br />

<br />

(Kρ)<br />

Obdobně pro z0 = ∞ platí: Je-li<br />

f(z) dz = 2πja−1 = 2πj resz0 f(z).<br />

(♣♣) f(z) =<br />

∞<br />

k=0<br />

ak<br />

, |z| > r,<br />

zk rozvoj funkce f(z) v Laurentovu řadu v okolí bodu ∞, pak pro každou záporně orientovanou<br />

kružnici (Kρ), Kρ = {z; |z − z0| = ρ, 0 < r < ρ} je<br />

<br />

(Kρ)<br />

f(z) dz = −2πja1 = 2πj res∞ f(z).<br />

Věta. Reziduová <strong>věta</strong> Nechť je funkce f(z) holomorfní v oblasti G ⊂ C s výjímkou<br />

nejvýše konečného počtu bodů z1, z2, . . . , zn a nechť (C ) je kladně orientovaná uzavřená<br />

cesta, která spolu se svým vnitřkem IntC leží v oblasti G. Jestliže body z1, z2, . . . , zn leží<br />

ve vnitřku IntC cesty, pak je<br />

(♥)<br />

<br />

(C )<br />

f(z) dz = 2πj<br />

55<br />

n<br />

k=1<br />

reszk f(z).


Poznámka: Výpočet residuí<br />

V bodě z0 = ∞ :<br />

A) pól 1. řádu: Nechť funkce h(z) a g(z) jsou holomorfní v bodě z0 a h(z0) = 0,<br />

g(z0) = 0, g ′ (z0) = 0. Potom má funkce f(z) = h(z)<br />

g(z) v bodě z0 pól 1. řádu a<br />

(⋄) resz0 f(z) = h(z0)<br />

g ′ (z0) .<br />

B) pól n-tého řádu: Nechť má funkcef(z) v bodě z0 pól řádu n, pak<br />

V bodě ∞ :<br />

(⋄⋄) resz0 f(z) =<br />

1<br />

(n − 1)! lim [(z − z0)<br />

z→z0<br />

n f(z)] (n−1) .<br />

A) odstranitelná <strong>singularit</strong>a: Nechť má funkce f(z) v bodě ∞ odstranitelnou <strong>singularit</strong>u,<br />

pak:<br />

(∗) res∞ f(z) = lim<br />

z→∞ z(f(∞) − f(z)) = lim<br />

z→∞ z 2 f ′ (z);<br />

B) pól n-tého řádu: Nechť má funkcef(z) v bodě ∞ pól řádu n, pak<br />

(∗∗) res∞ f(z) = (−1)n<br />

(n + 1)! lim<br />

<br />

z<br />

z→∞<br />

n+2 f (n+1) (z) <br />

.<br />

C) neodstranitelná <strong>singularit</strong>a: Reziduum v tomto případě můžeme získat z Laurentovy<br />

řady. Častěji využíváme této skutečnosti. Je-li funkce f(z) holomorfní v C s vyjímkou<br />

nejvýše konečného počtu bodů z1, z2, . . . , zm, pak<br />

(⋆)<br />

m<br />

k=1<br />

reszk f(z) + res∞ f(z) = 0.<br />

56

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!