Date post: | 01-Dec-2014 |
Category: |
Documents |
Upload: | pokornypvl |
View: | 42 times |
Download: | 2 times |
Matematika pro KybernetikuLecture Notes
Jan Hamhalterhttp://math.feld.cvut.cz/hamhalte
katedra matematiky, FEL CVUT
27. zárí 2011
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 1 / 369
Hlavní témata
Funkce komplexní promennéFourierova transformace, Laplaceova transformace,Z -transformaceZáklady teorie stochastických procesu (spektrální teorie,Markovovy retezce)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 2 / 369
Literatura
J.Hamhalter, J.Tišer: Funkce komplexní promenné. SkriptaFEL CVUT, 2001.H.A.Priestly: Introduction to Complex Analysis, OxfordUniversity Press, 2003.J.Veit: Integrální transformace, XIV, SNTL, Praha 1979.M.Navara: Pravdepodobnost a matematická statistika,Skripta FEL CVUT, 2007.Z.Prášková a P.Lachout: Základy náhodných procesu I,MFF UK, 2005.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 3 / 369
1. Komplexní císla a geometrie komplexníroviny
Historie: Zavedení komplexních císel bylo motivováno snahouhledat koreny polynomu
Geronimo Cardano (1501-1576) - vzorce pro rešeníkvadratické a kubické rovniceRené Descartes (1596-1615) - pojem imaginární rešeníCarl Friedrich Gauss (1777-1855) - korektní zavedeníkomplexních císel, komplexní rovinaWilliam Rowan Hamilton (1805-1856) - komplexní císlajako dvojice císel reálných, zavedl i kvaterniony
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 4 / 369
Chceme model rozširující množinu reálných císel R aobsahující element (imaginární jednotku) j tak, že j2 = −1.
1.1. Definice. Symbolem C oznacíme množinu usporádanýchdvojic (x , y) | x , y ∈ R s následujícími operacemi:
• Scítání: (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2)
• Násobení: (x1, y1) · (x2, y2) = (x1x2 − y1y2, x1y2 + x2y1)
C ... množina komplexních císel
(1,0) · (x , y) = (x , y),
(0,1) · (x , y) = (−y , x) a tedy pro j ∼ (0,1) platíj2 = (−1,0) ∼ −1.
Obecne: (x , y) = x(1,0) + y(0,1) ∼ x + jy .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 5 / 369
• komplexní císla se násobí jako dvojcleny s využitím j2 = −1.
Terminologie a znacení
z = x + j y , x , y ∈ R
x = Re z ... reálná cást, y = Im z ... imaginární cást
z = x − j y .... císlo komplexne sdružené
|z| =√
x2 + y2 =√
z z ... absolutní hodnota (modul)
Algebraické zákony:
z1 z2 = z2 z1, z1 (z2 z3) = (z1 z2) z3,z1 (z2 + z3) = z1 z2 + z1 z3 .
Pravidla pro konjugaci:
(i) z = z, (ii) z w = z w (iii) Re z = z+z2 (iv) Im z = z−z
2 j(v) |z| = |z|.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 6 / 369
Komplexní (Gaussova) rovina
Re z = |z| · cosϕ Im z = |z| · sinϕ.
Argument: z 6= 0
Arg z = ϕ ∈ R | z = |z| · (cosϕ+ j sinϕ) .
Hlavní hodnota argumentu: z 6= 0
arg z ∈ Arg z , arg z ∈ (−π, π > .
Príklad: z1 = 1 + j , z2 = 1√2(1− j
√3).
|z1| =√
2, cosϕ =√
22 = sinϕ⇒ arg z1 = π
4 .|z2| =
√2, cosϕ = 1
2 , sinϕ = −√
32 ⇒ arg z2 = −π
3 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 7 / 369
Geometrický význam scítání:
a ∈ C z → z + a
... posun v rovine o vektor a.
Geometrický význam násobení:
z1 · z2 = |z1| · (cosϕ1 + j sinϕ1) · |z2| · (cosϕ2 + j sinϕ2) =
|z1|·|z2|[cosϕ1 cosϕ2−sinϕ1 sinϕ2+j(cosϕ1 sinϕ2+sinϕ1 cosϕ2)]
= |z1| · |z2|[cos(ϕ1 + ϕ2) + j sin(ϕ1 + ϕ2)] .
Tedy|z1 · z2| = |z1| · |z2|
arg z1 + arg z2 ∈ Arg(z1 · z2) .
z → z a , kde a = |a|(cosϕ+ j sinϕ)
... otocení o úhel ϕ kolem pocátku a pak stejnolehlost sestredem v pocátku a koeficientem |a|.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 8 / 369
Príklad: Je dán trojúhelník s vrcholy 1 + j , j , −1 + 2j . Otoctetento trojúhelník o pravý úhel vzhledem k pocátkuotocené vrcholy: j(1 + j) = −1 + j , j2 = −1, j(−1 + 2j) = −2− jdalší varianta: 1− j ,1,2 + j .
• Delení - inverzní operace k násobení
z1
z2=
z1z2
|z2|2.
• Geometrická interpretace delení:
z → za
a = |a|(cosϕ+ j sinϕ),a 6= 0
... otocení o úhel −ϕ a stejnolehlost s koeficientem 1|a| .
Príklad:
1x + jy
=x − jy
x2 + y2 =x
x2 + y2 − jy
x2 + y2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 9 / 369
1.2. Veta. (Moivrova veta) Pro z = |z|(cosϕ+ j sinϕ) platí
zn = |z|n(cos nϕ+ j sin nϕ) .
Príklad:(1 + j)n =
√2n(cos n
π
4+ j sin n
π
4) .
• Binomická rovnice: zn = a
|z|n(cos nϕ+ j sin nϕ) = |a|(cosψ + j sinψ)
|z| = n√|a| , nϕ = ψ + 2kπ , ϕ =
ψ + 2kπn
Stací vzít k = 0,1, . . . ,n − 1.... vrcholy pravidelného n-úhelníka na kružnici |z| = n
√|a|.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 10 / 369
Príklad: Naleznete 4√
1− j . Tj. rešíme rovnici z4 = a, a = 1− j .|a| =
√2 , ψ = −π
4úhly: − π
16 ,7π16 ,
15π16 ,
23π16
z1 =8√
2(cosπ
16− j sin
π
16)
z2 =8√
2(cos7π16
+ j sin7π16
)
z3 = −z1
z4 = −z2 .
"Odmocniny v komplexním oboru jsou víceznacné funkce"
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 11 / 369
Vzdálenost bodu z1, z2: |z1 − z2|.
Nerovnosti1 |Re z|, | Im z| ≤ |z|2 |z + w | ≤ |z|+ |w | (trojúhelníková nerovnost)3 |z + w | ≥ | |z| − |w | |4 |z| ≤ |Re z|+ | Im z|.
Dukaz (2)
|z + w |2 = (z + w)(z + w) = |z|2 + |w |2 + (wz + zw) =
= |z|2 + |w |2 + 2 Re(zw) ≤ |z|2 + |w |2 + 2 |z||w | == (|z|+ |w |)2.
(3)
|z| = |z + w − w | ≤ |z + w |+ |w ||w | = |z + w − z| ≤ |z + w |+ |z|
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 12 / 369
(4)
|z|2 = |Re z|2 + | Im z|2 ≤ |Re z|2 + | Im z|2 + 2|Re z|| Im z|= (|Re z|+ | Im z|)2
———————————————————–Poznámka: C nemá usporádání !———————————————————–Cvicení – duležité geometrické útvary v rovine a jejich popis• |z − a| = r , r > 0, a ∈ C• |z − a| ≥ r , r > 0, a ∈ C• [z1, z2] = z1 + t(z2 − z1) | t ∈< 0,1 > úsecka• Re z ≥ 5• π
4 ≤ arg z ≤ 3π4
• a 6= b, |z − a| = |z − b| ... osa úsecky [a,b].
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 13 / 369
Rovnice kružnice:
Azz + az + az + C = 0 ,
kde A 6= 0, C jsou reálná císla, a je komplexní a aa− AC > 0.Ekvivalentní zápis: ∣∣∣∣z +
aA
∣∣∣∣ =
√aa− AC
A2 .
(výpocet tabule)
Rovnice prímky:
az + az + C = 0 ,
kde a 6= 0 je komplexní a C je reálné císlo
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 14 / 369
Apolloniovy kružnice: α = α1 + jα2, β = β1 + jβ2, α 6= β,λ > 0, λ 6= 1.
|z − α||z − β|
= λ .
Konstantní pomer vzdáleností k daným bodum. Výpocet vkartézských souradnicích pro z = x + jy .
|z − α|2 = λ2|z − β|2
(x − α1)2 + (y − α2)
2 = λ2(x − β1)2 + λ2(y − β2)
2
Po zjednodušení:(x − α1 − λ2β1
1− λ2
)2
+
(y − α2 − λ2β2
1− λ2
)2
= r2
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 15 / 369
Stred: a = α1−λ2β11−λ2 + j α2−λ2β2
1−λ2 = a1 + ja2
Fakt: α, β,a leží na jedné prímce:
[α1 − a1, α2 − a2] =
[λ2(β1 − α1)
1− λ2 ,λ2(β2 − α2)
1− λ2
]
[β1 − a1, β2 − a2] =
[β1 − α1
1− λ2 ,β2 − α2
1− λ2
]——————————————————————Zobecnená kružnice (circline) = kružnice nebo prímka
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 16 / 369
Príklad: Urcete parametry kružnice
|z + 1| = λ|z| λ 6= 1, λ > 0 .
−1,0 jsou rídící body, a proto jeden prumer leží na reálné ose;periferní body z1 z2 jsou rešením rovnice
z + 1 = ±λz
z1 = 1λ−1 ; z2 = 1
−λ−1 .
stred: 12( 1
λ−1 + 1−λ−1) = 1
λ2−1
polomer: 12
∣∣∣∣ 1λ−1 + 1
λ+1
∣∣∣∣ = 12
∣∣∣∣ 2λλ2−1
∣∣∣∣ = |λ||λ2−1| .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 17 / 369
inverzní body vuci prímce jsou body osove sdružené
inverzní body vuci kružnici |z − a| = r :body α, β ležící na poloprímce procházející stredem kružnice,pro které platí
|α− a| · |β − a| = r2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 18 / 369
K = z | |z − a| = r
Kruhová inverze vuci K je zobrazení
f (z) = a +r2
z − a.
Kruhová inverze najde k danému bodu bod inverzní.
• transformace z → 1/z realizuje kruhovou inverzi vucijednotkové kružnici.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 19 / 369
Rozšírená rovina komplexních císel a Riemannova sféraRiemannova sféra
S : x2 + y2 + (u − 1/2)2 =14
nebolix2 + y2 + u2 = u .
Φ(z) ... stereografická projekce C na S \ N, kde N = [0,0,1].Pro z = x + jy je Φ(z) prusecík prímky spojujícící z a N sesférou S. Φ je vzájemne jednoznacné zobrazení C na S \ N.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 20 / 369
Analytické vyjádrení stereografické projekce:prímka:
[0,0,1] + t [(x , y ,0)− (0,0,1)] = [tx , ty ,1− t ] .
dosazeno do rovnice sféry:
t2x2 + t2y2 + (1− t)2 = 1− t
t2(1 + x2 + y2)− t = 0⇒ t =1
1 + x2 + y2
Φ(x + jy) =
[x
1 + x2 + y2 ,y
1 + x2 + y2 ,x2 + y2
1 + x2 + y2
].
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 21 / 369
• Co odpovídá rovnobežkám ?Kružnice se stredem v pocátku
• Co odpovídá kulovému vrchlíku ?Vnejšek kruhu se stredem v pocátku.
Jaké útvary v C se zobrazí na kružnice na S ?
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 22 / 369
Každá kružnice je prunik S s rovinou
ax + by + cu = d
Složky Φ musí vyhovovat této rovnici, tj.
ax1 + x2 + y2 +
by1 + x2 + y2 +
c(x2 + y2)
1 + x2 + y2 = d .
⇒ (c − d)(x2 + y2) + ax + by = d
c 6= d .... rovnice kružnice
c = d ... rovnice prímky (práve když jdeme pres severní pól)
kružnice na S ←→ zobecnené kružnice v C.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 23 / 369
Klaudios Ptolemaios (100-160 n.l.)
Ptolemaiova vetaKaždá kružnice na kulové ploše, jež neprochází jejím severnímpólem, se pri stereografické projekci zobrazí na kružnici.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 24 / 369
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 25 / 369
M.Krížek, L.Somer, A.Šolcová: Deset matematických vet opražském orloji, Pokroky Matematiky Fyziky a Astronomie,54-2009, 281-300.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 26 / 369
polomer sféry: asi 40 cmzajímavé kružnice: ekliptika, obratník raka, obratník kozoroha,obzorník, den a noc, ....
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 27 / 369
Zavedení nekonecna v komplexním oboru:
Na sfére se blížíme k N ⇐⇒ |z| → ∞.
N ∼ ∞ S ∼ C ∪ ∞ = C ... rozšírená komplexní rovina
Rozšírená aritmetika: pro a ∈ C.
−∞ =∞ , a±∞ =∞ , a∞ = 0 , a
0 =∞ pro a 6= 0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 28 / 369
2. Základní pojmy analýzy v C
• Základem analýzy je pojem limity, k tomu potrebujeme pojemokolí bodu z ∈ C.
U(z) = U(z, ε) = w ∈ C | |w − z| < ε .
... ε-okolí bodu z, (ε > 0).
U(z, ε) \ z
... prstencové okolí bodu z.
U(∞, ε) = w ∈ C | |w | > ε .
... okolí nekonecna.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 29 / 369
2.1. Definice. Posloupnost (zn) ⊂ C má limitu z ∈ C, jestližepro každé okolí U(z) platí, že pouze konecne mnoho clenuposloupnosti (zn) neleží v U(z).
2.2. Tvrzení.1 limn→∞ zn = z ∈ C práve tehdy když limn→∞ Re zn = Re z
a soucasne limn→∞ Im zn = Im z.2 limn→∞ zn =∞ práve tehdy když limn→∞ |zn| =∞.
Dukaz: (1) limn→∞ zn = z ∈ C⇔ limn→∞ |z − zn| = 0.
|Re(z−zn)|, | Im(z−zn)| ≤ |z−zn| ≤ |Re(z−zn)|+ | Im(z−zn)|
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 30 / 369
Príklad • zn = (1 + 1n )n + j cos 1
n
limn→∞ zn = limn→∞(1 + 1n )n + j limn→∞ cos 1
n = e + j
• limn→∞(−1)nn =∞. Tato limita neexistuje v oboru reálnýchcísel !!
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 31 / 369
2.3. Definice.1 Necht’ G ⊂ C. Rekneme, že množina G je otevrená jestliže
s každým svým bodem z ∈ G obsahuje i jisté jeho okolíU(z, ε) ⊂ G.
2 Bod z ∈ C se nazývá hranicním bodem množiny M, jestližepro každé jeho okolí U(z, ε) platí
U(z, ε) ∩M 6= ∅ a soucasne U(z, ε) ∩ (C \M) 6= ∅ .
3 Množina všech hranicních bodu množiny M se nazýváhranice množiny M a znací se ∂M.
4 Uzáver M množiny M je definován jako M ∪ ∂M. Množiny,pro které platí, že M = M se nazývají uzavrené.
• M je uzavrená⇔ C \M je otevrená⇔ M ⊃ ∂M.
• ∅ je otevrená množinaJan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 32 / 369
"Souvislý celek nelze roztrhnout na dve cásti"
2.4. Definice. Množina D neni souvislá, jestliže existují dvedisjunktní otevrené množiny G a H takové, že
1 D ⊂ G ∪ H (pokrýváme)2 G ∩ D 6= ∅ a H ∩ D 6= ∅. (efektivní pokrytí)
V opacném prípade nazýváme množinu D souvislou.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 33 / 369
2.5. Tvrzení. Úsecka [a,b] je souvislá množina.
Dukaz: prednáška – tabule
2.6. Definice. Souvislá otevrená množina se nazývá oblast.
2.7. Veta. Necht’ G ⊂ C je otevrená neprázdná množina. Paknásledující tvrzení jsou ekvivalentní.
1 Každé dva body z G lze spojit lomenou carou ležící v G.2 G je oblast.
Dukaz: prednáška – tabule, skripta
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 34 / 369
2.8. Definice. Množina G ⊂ C se nazývá konvexní, jestliže lzekaždé dva body z G spojit úseckou ležící v G.
2.9. Tvrzení. Otevrená konvexní množina je oblast.
• Opacné tvrzení neplatí !!!
Budeme zacházet s oblastmi, které "nemají díry".
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 35 / 369
2.10. Definice. Oblast G ⊂ C se nazývá jednoduše souvislá,jestliže její steregrafická projekce Φ(G) na Riemannovu sférumá souvislý doplnek.
2.11. Tvrzení. Omezená oblast G ⊂ C je jednoduše souvislápráve tehdy když C \G je souvislá množina.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 36 / 369
2.12. Tvrzení. Otevrená konvexní množina G je jednodušesouvislá.
Dukaz: Lze predpokládat, že 0 ∈ G. Dva body v doplnku Φ(G)lze spojit poledníky procházejícími pres severní pól. Detaily -prednáška – tabule.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 37 / 369
3. Holomorfní funkce
3.1. Funkce komplexní promenné
3.1. Definice. f : D(f )→ C, D(f ) ⊂ C je komplexní funkce.
možné interpretace:
• f (x + jy) = u(x , y) + j v(x , y), x , y ∈ R
dvojice reálných funkcí – vektorové pole.
Re f = u, Im f = v .
• z → f (z) .... jistá transformace roviny
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 38 / 369
Príklad: f (z) = z2.
(x + jy)2 = x2 − y2 + j2xy
u(x , y) = x2 − y2; v(x , y) = 2xy
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 39 / 369
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 40 / 369
geometricky:
|z|(cosϕ+ j sinϕ)→ |z|2(cos 2ϕ+ j sin 2ϕ) .
napríklad: 1. kvadrant→ horní polorovina;horní polorovina→ C \ R+.
Deformace souradnicové síte:
Re z = c → (c2 − t2) + j2ct | t ∈ R.
c = 0 .... R−
c 6= 0 ... parabola.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 41 / 369
3.2. Definice. Necht’ f : C→ C je komplexní funkce az0 ∈ C ∪ ∞. Rekneme, že f má limitu A ∈ C ∪ ∞ v bode z0,jestliže pro každé okolí U(A, ε) existuje okolí U(z0, δ) takové, žekaždý bod z ∈ U(z0, δ) \ z0 se zobrazí do U(A, ε).
Rekneme, že f je spojitá v bode z0 ∈ C, jestliže
limz→z0
f (z) = f (z0) .
Príklady:1) limz→0
zz neexistuje.
2) limz→∞ z2 =∞.3) limz→0
1z =∞ !! Na rozdíl od reálného oboru !!
Funkce f (z) = arg z je spojitá v C \ R−. Prechodem preszápornou cást reálné osy zaznamenáme skok 2π.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 42 / 369
3.2. Diferencovatelnost komplexních funkcí
3.3. Definice. Komplexní funkce f (z) má v bode z ∈ Cderivaci, jestliže existuje vlastní limita
limh→0
f (z + h)− f (z)
h.
Hodnota této limity se oznacuje f ′(z).
Dvourozmernost limity má silné dusledky
Pro derivování platí bežná pravidla se stejným dukazem jako vreálném oboru.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 43 / 369
1 (f + g)′(z) = f ′(z) + g′(z).2 (fg)′(z) = f ′(z)g(z) + g′(z)f (z).3 ( f
g )′(z) = f ′(z)g(z)−f (z)g′(z)g2(z)
je-li g(z) 6= 0.
4 [f (g(z))]′ = f ′(g(z))g′(z).5 Je-li g inverzní funkce k funkci f , pak
g′(z) =1
f ′(g(z)),
za predpokladu, že derivace f ′(g(z)) existuje a je nenulová
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 44 / 369
Príklad: Urcete f ′(z) pro f (z) = zn, n ∈ N.
f ′(z) = nzn−1 .
Overíme indukcí: n = 1 ... f ′(z) = 1Necht’ hypotéza platí pro n. Pak
(zn+1)′ = (z · zn)′ = zn + z · n · zn−1 = (n + 1)zn .
Príklad: f (z) = Re z.
f (z + h)− f (z)
h=
Re hh
Limita pro h→ 0 tohoto výrazu neexistuje (testujte limity poosách). f (z) je príklad spojité funkce, která nemá derivaci vžádném bode. Najdete takto snadno príklad reálné funkce stýmiž vlastnostmi ?
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 45 / 369
3.4. Veta. Necht’ f je diferencovatelná v bode z = x + jy . Pakreálná složka u i imaginární složka v funkce f mají parciální de-rivace v bode (x , y). Tyto parciální derivace splnují následujícíCauchy-Riemannovy podmínky:
∂u∂x
(x , y) =∂v∂y
(x , y) ,∂u∂y
(x , y) = −∂v∂x
(x , y) .
Navíc platí, že
f ′(z) =∂u∂x
(x , y) + j∂v∂x
(x , y) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 46 / 369
Dukaz: f ′(z) = limh→0f (z+h)−f (z)
h .Jdeme po reálné ose:
f ′(z) = limh→0,h∈R
u(x + h, y)− u(x , y)
h+ j
v(x + h, y)− v(x , y)
h
=∂u∂x
(x , y) + j∂v∂x
(x , y) .
Jdeme po imaginární ose:
f ′(z) = limh→0,h∈R
u(x , y + h)− u(x , y)
j h+ j
v(x , y + h)− v(x , y)
j h
=1j∂u∂y
(x , y) +∂v∂y
(x , y) .
=⇒ ∂u∂x
+ j∂v∂x
= −j∂u∂y
+∂v∂y
.
=⇒ Cauchy-Riemannovy podmínky.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 47 / 369
Príklad: f (z) = z, f (z) = x − jy , ∂u∂x = 1; ∂v
∂y = −1.Tedy f nemá derivaci v žádném bode.
Príklad: f (z) = 1 pro Re z 6= 0 ∧ Im z 6= 0; f (z) = 0 jinak.Parciální derivace u a v jsou v bode (0,0) nulové, nicméne
limh→0
f (h)− f (0)
h= lim
h→0
f (h)
h
neexistuje.
3.5. Veta. Komplexní funkce f (z) má v bode z = x + jy derivacipráve tehdy když její složky u a v splnují Cauchy-Riemannovypodmínky a mají obe totální diferenciál v bode (x , y).
Spojitost parciálních derivací + Cauchy-Riemannovy podmínky⇒ existence derivace.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 48 / 369
3.3. Holomorfní funkce
3.6. Definice. Funkce f je holomorfní v otevrené množineG ⊂ C, jestliže má derivaci v každém bode množiny G.Funkce f je holomorfní v bode z0, je-li holomorfní v nejakémokolí bodu z0.
————————————————————————–
3.7. Tvrzení. Je-li f holomorfní v otevrené množine G, pak je vG spojitá.
Dukaz zcela stejný jako v reálném prípade.
3.8. Veta. Má-li funkce f nulovou derivaci v oblasti G, pak jekonstantní.
Dukaz: nulovost derivace⇒ nulovost parciálních derivacísložek+ veta o strední hodnote⇒ f je konstantní.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 49 / 369
Další význam derivace - zachování úhlu, konformita.ϕ :< a,b >→ C ... parametrizace krivky C.t ∈< a,b >.Tecna ke krivce v bode ϕ(t) ... z = ϕ(t) + sϕ′(t); s ∈ R.
úhel krivek v bode ϕ1(t) = ϕ2(s) = úhel tecen ...argϕ′1(t)− argϕ′2(s), ϕ1(t) = ϕ2(s)
Co se deje v transformaci z → f (z) s úhly?
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 50 / 369
3.9. Veta. Veta o zachování úhlu Necht’ f je holomorfní voblasti G. Predpokládejme, že ϕ1 a ϕ2 jsou parametrizace dvoukrivek C1 a C2 ležících v G, které se protínají v bodez = ϕ1(t) = ϕ2(s). Necht’ f ′(z) 6= 0. Pak f zachová úhel mezikrivkami C1 a C2.
Dukaz:(f ϕ1)
′(t)(f ϕ2)′(s)
=f ′(z)ϕ′1(t)f ′(z)ϕ′2(s)
=ϕ′1(t)ϕ′2(s)
Z toho vyplývá:arg(f ϕ1)
′(t)− arg(f ϕ2)′(s) = argϕ′1(t)− argϕ′2(t) mod 2π .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 51 / 369
Príklad: f (z) = z2. Uvažujme dve kolmé prímky
p1 = 1 + jt | t ∈ R , t = 1
p2 = s + j | s ∈ R , s = 1
f (p1) = 1− t2 + 2jt | t ∈ R .
f (p2) = s2 − 1 + 2js | s ∈ R .
vektory tecen jsou kolmé:(−2t ,2) tj. pro t = 1 (−2,2)(2s,2) tj. pro s = 1 (2,2).Pro z = 0 je f ′(z) = 0 a úhly se nezachovají.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 52 / 369
3.10. Definice. Holomorfní funkce v otevrené množine G senazývá konformní, jestliže f ′(z) 6= 0 pro všechna z ∈ G.
3.11. Tvrzení. Složení dvou konformních zobrazení jekonformní zobrazení. Inverze k prostému konformnímuzobrazení je konformní.
založeno na skutecnosti, že (f g)′(z) = f ′(g(z)) · g′(z) a(f−1)′(z) = 1
f ′(f−1(z)).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 53 / 369
Holomorfní a harmonické funkce
Predpokládejme, že
f (z) = u(x , y) + jv(x , y) .
f je holomorfní v G a u, v mají spojité parciální derivacedruhého rádu v G. Vezmeme Cauchy-Riemannovy podmínky:
∂u∂x
=∂v∂y
;∂u∂y
= −∂v∂x
První identitu derivujme podle x a druhou podle y . Dostaneme
∂2u∂x2 =
∂2v∂x∂y
;∂2u∂y2 = − ∂2v
∂y∂x.
Tedy u splnuje Laplaceovu rovnici
∂2u∂x2 +
∂2u∂y2 = 0
v G.Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 54 / 369
Taktéž v splnuje Laplaceovu rovnici.
Funkce splnující Laplaceovu rovnici se nazývají harmonické.
Záver: Reálná a imaginární složka holomorfní funkce jeharmonická.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 55 / 369
3.4. Elementární funkce
Afinní funkce
f (z) = az + b, a 6= 0,b ∈ C .
složení rotace, stejnolehlosti a posunu.
f ′(z) = a
f je holomorfní v C, f (∞) =∞.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 56 / 369
Polynomy
polynom stupne n:
f (z) = a0zn + a1zn−1 + · · ·+ an−1z + an , a0 6= 0
Holomorfní funkce v C, konformní až na konecne mnoho bodu.
3.12. Veta. Základní veta algebryKaždý polynom stupne alespon jedna má alespon jedenkomplexní koren.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 57 / 369
Lineární lomené zobrazení (Möbiova transformace)
f (z) =az + bcz + d
ad − bc 6= 0 , c 6= 0 .
Nebo-li
f (z) =ac
+1c2 (bc − ad)
z + dc
Tedy f je složení afinních zobrazení, kruhové inverze vucijednotkovému kruhu a osové soumernosti dle reálné osy.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 58 / 369
• složením lineárních lomených zobrazení je lineární lomenézobrazení• linerní lomené zobrazení je prosté, jeho inverze je opetlineární lomené zobrazení
Dodefinování v rozšírené komplexní rovine:
f (∞) =ac
f (−dc
) =∞ .
Príklad: Naleznete Möbiouvu transformaci, která zobrazípolorovinu Im z > 0 na otevrený jednotkový kruh.Rešení:Im z > 0⇔ |z − j | < |z + j | ⇔ |z−j|
|z+j| < 1
Tedy f (z) = z−jz+j .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 59 / 369
Duležitý princip:
3.13. Veta. Lineární lomené zobrazení zachová zobecnenékružnice a body inverzní vuci nim.
Rozšírení definice : stred kružnice je sdružený s∞. Principplatí i pro tuto dvojici.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 60 / 369
Príklad: f (z) = j 1+z1−z . Urcete obraz jednotkové kružnice.
1 ∈ K →∞ a tedy obraz je prímka. (Stací tedy vzít obraz dvoubodu)
∞→ −j ,
0→ j
implikuje, že j a −j jsou sdružené a tedy obraz je jejich osa –reálná osa.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 61 / 369
Racionální funkce
f (z) =p(z)
q(z),
kde p a q jsou polynomy.
f je holomorfní a konformní v C až na koreny polynomu q.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 62 / 369
Exponenciální funkce
ez = eRe z(cos(Im z) + j sin(Im z)) , z ∈ C .
u(x , y) = ex cos y v(x , y) = ex sin y .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 63 / 369
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 64 / 369
Cauchy-Riemannovy podmínky + spojitost derivací – ez jeholomorfní v C.
ez ′ =∂u∂x
+ j∂v∂x
= ex cos y + jex sin y = ez .
ez ′ = ez
ez 6= 0⇒ ez je konformní v C.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 65 / 369
Eulerova identita:
ejϕ = cosϕ+ j sinϕ , ϕ ∈ R .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 66 / 369
Nekteré vlastnosti exponenciální funkce:1 |ez | = eRe z
2 ez1 · ez2 = ez1+z2
3 ez+2πj = ez · e2πj = ez . Perioda 2πj !!
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 67 / 369
Príklad: Rešte rovnici ea = z, kde z ∈ C \ 0.
ea = |z| · (cos(arg z) + j sin(arg z)) .
=⇒ Re a = ln |z| Im a = arg z + 2kπ , k ∈ Z .
Množina rešení je
ln |z|+ j(arg z + 2kπ) | k ∈ Z .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 68 / 369
Deformace souradnicové síte:
vc = z ∈ C | Re z = c .
ez = ec+jy = ec · ejy , y ∈ R
... kružnice s polomerem ec .
hc = z ∈ C | Im z = c
ez = ex+jc = ex · ejc , x ∈ R
... poloprímka bez pocátku, úhel c.
Príklad: Na co zobrazí ez následující množiny?a) z | − π ≤ Im z ≤ πb) z | − π ≤ Re z ≤ πc) z | 0 ≤ Re z ≤ lnπ.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 69 / 369
Logaritmusz 6= 0
Ln z = ln |z|+ j arg z + 2kπj | k ∈ Z .
Hlavní vetev logaritmuz 6= 0
ln z = ln |z|+ j arg z .
Hlavní vetev logaritmu je inverzní funkcí k ez na množinez ∈ C | − π < Im z ≤ π.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 70 / 369
Príklady:Ln 1 = 2kπj | k ∈ Z,ln 1 = 0,ln(1 + j) = ln
√2 + jπ/4,
ln(−1) = πj .
• ln z je spojitá funkce na množine D = C \ −t | t ∈ R, t > 0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 71 / 369
Zkoumejme diferencovatelnost ln z na množine D.Necht’ z ∈ D. Vyšetrujeme výraz
ln(z + h)− ln zh
.
Substituce ln z = w , v = ln(z + h)− ln z. Pak h = ev+w − ew .Jestliže h→ 0, pak v → 0.
ln(z + h)− ln zh
=v
ev+w − ew =1
ewv
ev − 1limv→0
vev−1 = 1 (Použít derivaci ez v bode 0 !!!)
Tedy
limh→0
ln(z + h)− ln zh
=1
ew =1z.
Záver: ln z je funkce holomorfní na D, pricemž
(ln z)′ =1z
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 72 / 369
Goniometrické a hyperbolické funkce
cos z =ejz + e−jz
2cosh z = ez+e−z
2
sin z =ejz − e−jz
2jsinh z = ez−e−z
2
Osbornova pravidla:
cos jz = cosh z sin jz = j sinh z .
Reálné a imaginární složky: (x , y ∈ R)
cos(x + jy) = cos x cosh y − j sin x sinh y
sin(x + jy) = sin x cosh y + j cos x sinh y
výpocet ze vzorce, souctové vzorce, ....Identity platí stejne.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 73 / 369
sin z = 0⇔ z = kπ, k ∈ Z.
tg z =sin zcos z
z 6∈ π/2 + kπ | k ∈ Z
cotg z =cos zsin z
z 6∈ kπ | k ∈ Z .
Pro derivace platí stejné vzorce jako v reálném oboru.Napr:
sin′ z =
(ejz − e−jz
2j
)′=
jejz + je−jz
2j=
ejz + e−jz
2= cos z .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 74 / 369
Cyklometrické funkce
mnohoznacné funkce:
Arcsin z = a ∈ C | sin a = zArccos z = a ∈ C | cos a = z
Dají se logaritmicky vyjádrit:
Arcsin z = −ja | a ∈ Ln(jz + w),w ∈√
1− z2Výpocet:
eja − e−ja
2j= z .
substituce: p = eja.
p − 1p
= 2jz ⇐⇒ p2 − 2jzp − 1 = 0
p1,2 =2jz ±
√−4z2 + 42
= jz ±√
1− z2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 75 / 369
Príklad: Rovnice tg a = z má rešení práve tehdy kdyžz 6∈ j ,−j. Množinou rešení je
12j
Ln1 + jz1− jz
.
Výpocet:sin acos a
=eja − e−ja
j(eja + e−ja)=
e2ja − 1j(e2ja + 1)
Substituce: e2ja = p
p − 1 = jz(p + 1)⇐⇒ p =1 + jz1− jz
, z 6= −j
e2ja =1 + jz1− jz
.
z 6= j . Pak
a ∈ 12j
Ln1 + jz1− jz
.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 76 / 369
Mužeme definovat vetve:
arctg z =12j
ln1 + jz1− jz
.
Tato funkce je diferencovatelná práve tehdy když 1+jz1−jz 6∈ R−.
Domácí cvicení:⇐⇒ z 6∈ jt | |t | ≥ 1 .
Derivace této funkce:
(arctg z)′ =12j
1− jz1 + jz
· j(1− jz)− (1 + jz)(−j)(1− jz)2 = ...
=1
(1 + jz)(1− jz)=
1z2 + 1
.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 77 / 369
4. Integrální reprezentace holomorfní funkce
4.1. Krivkový integrál a primitivní funkce
Motivace: hledáme primitivní funkci
4.1. Definice. Množina C se nazývá oblouk, jestliže existujespojité zobrazení
ϕ :< a,b >→ C
intervalu < a,b > na množinu C splnující následujícípodmínky:
1 ϕ je prosté zobrazení2 ϕ má spojitou a nenulovou derivaci na (a,b). V krajních
bodech existují jednostranné drivace.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 78 / 369
4.2. Definice. Množina C ⊂ C se nazývá krivka, jestližeexistuje spojité zobrazení
ϕ :< a,b >→ C
takové, že < a,b > lze rozdelit na konecne mnoho podintervalutak, že na každém dílcím intervalu má ϕ vlastnosti (i) a (ii) vdefinici oblouku. Navíc žádame, aby ϕ bylo prosté zobrazení ažna konecne mnoho bodu.
Zobrazení ϕ se nazývá parametrizací oblouku nabo krivky C.
Krivka se nazývá uzavrená, jestliže ϕ(a) = ϕ(b). Krivka senazývá jednoduchá, jestliže ϕ(t) 6= ϕ(s) pro všechna s 6= t svýjimkou pocátecního a koncového bodu.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 79 / 369
Tecný vektor ... ϕ′(t)
Délka krivky ... l(C) =∫ b
a |ϕ′(t)|dt .
Orientace ... zpusob probíhání krivky, kladná a záporná.
Príklady:1. [a,b]
ϕ(t) = a + t(b − a) , t ∈ [0,1] .
ϕ′(t) = b − a .
2. Elipsa se stredem 1 + j , poloosy a = 1,b = 2, osyrovnobežné se souradnou soustavou.
ϕ(t) = 1 + j + cos t + 2j sin t t ∈< 0,2π > .
ϕ′(t) = − sin t + 2j cos t .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 80 / 369
3. Elipsa, stejné parametry, osy rovnobežné s osami kvadrantu.
ϕ(t) = 1 + j + ejπ/4(cos t + 2j sin t) t ∈< 0,2π >
ϕ′(t) = ejπ/4 (− sin t + 2j cos t) .
4.3. Definice. Uzavrená jednoduchá krivka se nazýváJordanova krivka.
4.4. Veta. Jordanova veta Je-li C Jordanova krivka pak C \ Cje sjednocením omezené oblasti a neomezené oblasti.
Int(C) ... omezená oblast, vnitrek krivkyExt(C) ... neomezená oblast, vnejšek krivky
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 81 / 369
4.5. Definice. Necht’ C je krivka s parametrizacíϕ :< a,b >→ C a necht’ f : C→ C je funkce spojitá v bodechkrivky C. Krivkový integrál funkce f podél krivky C je (komplexnícíslo) ∫
Cf (z) dz =
∫ b
af (ϕ(t))ϕ′(t) dt .
———————————————————–Príklad:
∫C (z − z0)
k dz, kde k ∈ Z a C je kladne orientovanákružnice se stredem v bode z0 a polomerem r > 0.
ϕ(t) = z0 + r ejt , t ∈< 0,2π > .
ϕ′(t) = r j ejt .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 82 / 369
∫C
(z − z0)k dz =
∫ 2π
0r k ej kt j r ej t dt = r k+1 j
∫ 2π
0ej(k+1)t dt
Je-li k = −1 je výsledek 2πj .Je-li k 6= −1 pokracujeme:
= j r k+1[
ej (k+1)t
j (k + 1)
]2π
0= 0 .
∫C
(z − z0)k dz =
2πj k = −10 k 6= −1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 83 / 369
Krivkový integrál je stejný pro všechny parametrizace dávajícístejnou orientaci. (Nedokazuje se - viz skripta)
Znacení:−C – krivka s opacnou orientacíC1 + C2 – napojení navazujících krivek C1 a C2.
Vlastnosti krivkového integrálu:∫C f (z) + g(z) dz =
∫C f (z) dz +
∫C g(z) dz∫
C α f (z) dz = α∫
C f (z) dz α ∈ C∫−C f (z) dz = −
∫C f (z) dz∫
C1+C2f (z) dz =
∫C1
f (z) dz +∫
C2f (z) dz.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 84 / 369
Technické príklady:
1.∫
C 1/z dz , C je úsecka C = [j ,1].
ϕ(t) = t + (1− t)j , t ∈< 0,1 > .
ϕ′(t) = 1− j .∫C
1/z dz =
∫ 1
0
1t + (1− t)j
·(1−j) dt = (1−j)∫ 1
0
t − (1− t)jt2 + (1− t)2 dt =
= (1− j)∫ 1
0
−j2t2 − 2t + 1
dt +
∫ 1
0
2t2t2 − 2t + 1
dt =
= −j∫ 1
0
12t2 − 2t + 1
dt +12
∫ 1
0
4t − 22t2 − 2t + 1
dt
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 85 / 369
2t2 − 2t + 1 =12[4(t − 1
2)2 + 1]
Pokracování výpoctu:
−j∫ 1
0
12t2 − 2t + 1
dt +12
∫ 1
0
4t − 22t2 − 2t + 1
dt
= −j[
arctg 2(
t − 12
)]1
0+
12
[ln |2 t2 − 2t + 1|
]1
0= −j
π
2.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 86 / 369
2.∫
C z2 dz , kde C je kladne orientovaná krivka – sjednoceníintervalu < −R,R > (R > 0) na reálné ose a hornípolokružnice se stredem v pocátku a polomerem R.
ϕ1(t) = t , t ∈< −R,R > .∫ R
−Rt2 dt =
[t3
3
]R
−R=
23
R3 .
ϕ2(t) = R ejt t ∈< 0, π > .∫ π
0R2 e2jt j R ejt dt =
[13
R3e3jt]π
0= −2
3R3 .∫
Cz2 dz = 0
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 87 / 369
4.6. Veta. Odhad modulu krivkového integrálu Necht’ C jekrivka a f (z) funkce spojitá v bodech krivky C. Pak∣∣∣∣∫
Cf (z) dz
∣∣∣∣ ≤ maxz∈C|f (z)| · l(C) .
Dukaz - prednáška
Príklad: Odhadnete velikost∫
C 1/z dz, kde C je kružnice|z − 1| = 2. ∣∣∣∣∫
C1/z dz
∣∣∣∣ ≤ maxz∈C
1|z|· 4π ≤ 4π .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 88 / 369
Príklad: Urcete limitu
limR→∞
∫CR
e−az2dz ,
kde a > 0, CR je úsecka [R,R + jp], kde R,p > 0.
Rešení:z ∈ CR ⇒ z = R + jy , y ∈< 0,p >.
|e−az2 | = |e−a(R2+2jRy−y2)| = e−aR2eay2 ≤ e−aR2
eap2.
∣∣∣∣∫CR
e−az2dz
∣∣∣∣ ≤ e−aR2eap2 · p → 0 pro R →∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 89 / 369
Stejnomerná konvergence posloupnosti funkcí (fn(z)) k funkcif (z) na množine M ⊂ C znamená
limn→∞
supz∈M|fn(z)− f (z)| = 0 .
4.7. Tvrzení. Jestliže (fn(z)) je posloupnost spojitých funkcístejnomerne konvergujících k funkci f na krivce C, pak
limn→∞
∫C
fn(z) dz =
∫C
f (z) dz .
Dukaz:∣∣∣∣∫C
fn(z) dz −∫
Cf (z) dz
∣∣∣∣ =
∣∣∣∣∫C
fn(z)− f (z) dz∣∣∣∣ ≤
≤ supz∈C|fn(z)− f (z)| · l(C)→ 0 ,n→∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 90 / 369
4.8. Tvrzení. Necht’ f je funkce spojitá v bode z0 ∈ C. Pak
limh→0
1h
∫[z0,z0+h]
f (z) dz = f (z0) .
Dukaz:∣∣∣∣1h
∫[z0,z0+h]
f (z) dz − f (z0)
∣∣∣∣ =
∣∣∣∣1h
∫ 1
0f (z0 + th)h dt − f (z0)
∣∣∣∣ =
=
∣∣∣∣∫ 1
0[f (z0 + th)− f (z0)] dt
∣∣∣∣f je spojitá v bode z0 =⇒ pro každé predepsané ε je
|f (z0 + th)− f (z0)| < ε
pro dostatecne malá |h|. Tedy i∣∣∣∣1h
∫[z0,z0+h]
f (z) dz − f (z0)
∣∣∣∣ ≤ εJan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 91 / 369
Primitivní funkce je v reálném prípade konstruována jakoneurcitý integrál F (x) =
∫ xc f (t) dt . Každá spojitá reálná funkce
má funkci primitivní.
V komplexním oboru je situace složitejší - více možností krivekvedoucích k danému bodu.
4.9. Definice. Necht’ G ⊂ C je otevrená množina. Funkce F (z)se nazývá funkce primitivní k funkci f (z) na množine G, jestliže
F ′(z) = f (z) pro každé z ∈ G .
4.10. Definice. Krivkový integrál funkce f na oblasti G nezávisína ceste, jestliže ∫
C1
f (z) dz =
∫C2
f (z) dz
pro všechny krivky C1,C2 ⊂ G se stejným koncovým apocátecním bodem.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 92 / 369
Nezávislost na ceste odpovídá konzervativnímu poli ve fyzice.
4.11. Tvrzení. Krivkový integrál funkce f v oblasti G nezávisína ceste práve tehdy když∫
Cf (z) dz = 0
pro každou uzavrenou krivku C ležící v G.
4.12. Veta. Newtova-Leibnitzova formule. Necht’ F (z) je primi-tivní funkce k funkci f (z) na oblasti G. Necht’ C je krivka ležící vG s pocátecním bodem z1 a koncovým bodem z2. Pak platí∫
Cf (z) dz = F (z2)− F (z1) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 93 / 369
Dukaz: ϕ :< a,b >→ C parametrizace krivky C.∫C
f (z) dz =
∫ b
af (ϕ(t))ϕ′(t) dt =
= [F (ϕ(t))]ba = F (ϕ(b))− F (ϕ(a)) = F (z2)− F (z1) .
Dusledek: Má-li f primitivní funkci, pak její krivkový integrálnezávisí na ceste.
• Re z je príklad funkce spojité v C, která nemá primitivní funkcinebot’ napr.
∫C Re z dz = j 6= 0, kde C je hranice jednotkového
ctverce s vrcholy 0,1,1 + j , j .
——————————————————————-
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 94 / 369
Príklad:∫
C 1/z dz, C... [j ,1].∫C
1/z dz = ln 1− ln j = −jπ
2.
4.13. Veta. Necht’ G je oblast a f (z) spojitá funkce na G. Násle-dující tvrzení jsou ekvivalentní
1 f (z) má primitivní funkci na oblasti G.2 Krivkový integrál funkce f (z) nezávisí na ceste.3
∫C f (z) dz = 0 pro každou uzavrenou (Jordanovu) krivku C
ležící v G.
Dukaz: prednáška, skripta
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 95 / 369
Príklad:∫
C z2 dz , kde C je kladne orientovaná krivka –sjednocení intervalu < −R,R > (R > 0) na reálné ose a hornípolokružnice se stredem v pocátku a polomerem R.
z2 má v C primitivní funkci a tudíž integrál je nulový.
4.14. Veta. Funkce f (z) má v konvexní oblasti G primitivnífunkci práve tehdy když
∫C f (z) dz = 0 pro každý obvod trojú-
helníka C ležícího v G.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 96 / 369
4.2. Cauchyova veta
Cauchy 1814 – za predpokladu spojitosti derivace, použilvpodstate Greenovu vetu – prístup ze skript
Goursant v pozdním 19 století – obecný prípad
4.15. Veta. Cauchyova veta. Necht’ f je holomorfní funkce v jed-noduše souvislé oblasti. Pak∫
Cf (z) dz = 0
pro každou uzavrenou krivku C ⊂ G.
Dusledek: Každá holomorfní funkce má v jednoduše souvisléoblasti primitivní funkci.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 97 / 369
Dukaz Cauchyovy vety proveden po cástech:1. Nulovost integrálu, je-li krivka obvodem trojúhelníka –prednáška, tabule.2. Cauchyova veta pro konvexní oblast – prednáška, tabule.3. Obecný prípad – nedokazuje se
Príklad: ∫C
z(z − 1)3(z2 + z + 1)
dz = 0 ,
kde C je jakákoliv Jordanova krivka mající body 1,−12 ±
√3j
2 vesvé vnejší oblasti.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 98 / 369
V Cauchyove vete je duležité aby se vnitrní oblast krivkydala "zabalit" do jednoduše souvislé množiny.Predpoklad jednoduché souvislosti je v Cauchyove vetepodstatný – integrál funkce 1
z pres jednotkovou kružnici jeroven 2πj .
Príklad: Aplikace Cauchyovy vety na výpocet Fourierovaobrazu gaussovské funkce.
Spoctete integrál ∫ ∞
−∞e−t2
e−j ptdt ,
kde p je reálný parametr, pomocí Laplaceova integrálu∫ ∞
−∞e−t2
dt =√π .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 99 / 369
∫ ∞
−∞e−t2
e−jpt dt =
∫ ∞
−∞e−(t+ jp
2 )2− p2
4 dt = e−p2
4
∫ ∞
−∞e−(t+ jp
2 )2dt .
Substituce u = t + jp2 .
= e−p2
4
∫ ∞+ jp2
−∞+ jp2
e−u2du .
Ukážeme, že ∫ ∞+ jp2
−∞+ jp2
e−u2du =
∫ ∞
−∞e−t2
dt ,
což dá výsledek ∫ ∞
−∞e−t2
e−j ptdt =√π e−
p2
4 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 100 / 369
Predpokládejme, že p > 0.Vezmeme kladne orientovaný obvod obdélníka s vrcholy −R,R, R + jp, −R + jp jako krivku CR a uplatneme Cauchyovu vetuna funkci f (z) = e−z2
. Dostaneme∫CR
e−z2dz = 0 .
Horizontální úsecky C1,C3, vertikální C2, C4. Na základepredchozího príkladu máme pro i = 2,4:
limR→∞
∫Ci
f (z) dz = 0 .
Limitním prechodem R →∞ v identite4∑
i=1
∫Ci
f (z) dz = 0
dostaneme ∫ ∞
−∞e−t2
dt −∫ ∞+jp/2
−∞+jp/2e−t2
dt = 0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 101 / 369
4.16. Veta. Princip deformace. Predpokládejme, že C1 a C2jsou Jordanovy krivky s kladnou orientací takové, že
Int C1 ∪ C1 ⊂ Int C2 .
Necht’ z0 ∈ Int C1. Predpokládejme, že f je holomorfní vkaždém bode množiny Int C2 ∪ C2 krome bodu z0. Pak∫
C1
f (z) dz =
∫C2
f (z) dz .
Dukaz: prednáška
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 102 / 369
Príklad: Ukažte, že ∫C
1z − z0
dz = 2πj ,
kde C je kladne orientovaná Jordanova krivka mající z0 ve svévnitrní oblasti.
Rešení: Princip deformace zredukuje na kružnici a využije sepredchozí príklad.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 103 / 369
Príklad:∫
C2
4z2−1 dz, kde C je kladne orientovaná kružnice|z| = 2.
24z2 − 1
=1
2z − 1− 1
2z + 1.∫
C
12z − 1
dz =
∫K
12z − 1
dz =
∫K
12(z − 1
2)dz = 2πj
12
= πj .
K ... |z − 12 | =
12 .∫
C
12z + 1
dz =
∫L
12(z + 1/2)
dz = 2πj12
= πj .
L ... |z + 12 | =
12
Záver:∫
C2
4z2−1 dz = 0
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 104 / 369
4.3. Cauchyuv integrální vzorec a jeho dusledky
4.17. Veta. Cauchyuv integrální vzorecNecht’ funkce f (z) je holomorfní v jednoduše souvislé oblastiG ⊂ C. Pro každou kladne orientovanou Jordanovu krivku Cležící v G a pro každý bod z0 ∈ Int C platí
12πj
∫C
f (z)
z − z0dz = f (z0) .
možnost rekonstrukce všech hodnot z hranicní krivky.
Dukaz: prednáška, skripta.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 105 / 369
Príklady:1. f (z) = 1 ∫
C
1z − z0
dz = 2πj
je-li C kladne orientovaná Jordanova krivka mající bod z0 vesvém vnitrku.
2. ∫C
cos z(z − 1)(z − 5)2 dz ,
kde C je kladne orientovaná Jordanova krivka obsahující bod 1ve svém vnitrku a bod 5 ve svém vnejšku.
f (z) =cos z
(z − 5)2 , z0 = 1 .
∫C
cos z(z − 1)(z − 5)2 dz = 2πj
cos 116
=πj cos 1
8.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 106 / 369
4.18. Definice. Funkce holomorfní v C se nazývá celistvá.
4.19. Veta. Liouvillova vetaOmezená celistvá funkce je konstantní.
Dukaz – prednáška
4.20. Veta. Základní veta algebryKaždý polynom stupne alespon jedna má alespon jeden kom-plexní koren.
Dukaz: P(z) polynom stupne alespon jedna.Sporem: Je-li P(z) nenulové pro všechna z ∈ C, pak 1
P(z) jeomezená celistvá funkce a tedy konstantní funkce, což je spor.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 107 / 369
5. Reprezentace holomorfní funkcemocninnou radou
5.1. Mocninné rady
Cíl – rozvoj v Taylorovu radu, "digitalizace funkce"
5.1. Definice. Rada tvaru∞∑
n=0
an (z − z0)n = a0 + a1(z − z0) + a2(z − z0)
2 + · · ·
se nazývá mocninná rada se stredem v bode z0 a koeficientyan. Cástecné soucty rady jsou funkce
Sm(z) =m∑
n=0
an (z − z0)n .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 108 / 369
• Mocninná rada konverguje bodove k funkci f (z) na množineM ⊂ C jestliže pro všechna z ∈ M
|Sm(z)− f (z)| → 0 pro m→∞ .
• Mocninná rada konverguje stejnomerne k funkci f (z) namnožine M ⊂ C jestliže
supz∈M|Sm(z)− f (z)| → 0 pro m→∞ .
Funkce, která je souctem mocninné rady je "nekonecnýpolynom".
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 109 / 369
Príklady• geometrická rada
∞∑n=0
zn = 1 + z + z2 + · · ·
Konverguje práve tehdy když |z| < 1 se souctem
1 + z + z2 + · · · = 11− z
.
Otázka stejnomerné konvergence:
Sm(z) =m∑
n=0
zn =1− zm+1
1− z.
Na M = z | |z| < 1 nemáme stejnomernou konvergencinebot’:
supz∈M|Sm(z)−S(z)| = sup
z∈M
∣∣∣∣1− zm+1
1− z− 1
1− z
∣∣∣∣ = supz∈M
|z|m+1
|1− z|=∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 110 / 369
Avšak pro M% = z ∈ C | |z| < %, 0 < % < 1, mámestejnomernou konvergenci nebot’:
supz∈M
∣∣∣∣ zm+1
1− z
∣∣∣∣ ≤ %m+1
1− %→ 0 pro m→∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 111 / 369
Príklady:•
∑∞n=0 n zn
Odmocninové kritérium
limn→∞
n√
n|z| = |z| .
Rada absolutne konverguje práve pro |z| < 1.
•∞∑
n=0
zn
n!
Podílové kritérium:
limn→∞
|z|n+1
(n + 1)!· n!
|z|n= lim
n→∞
1n + 1
|z| = 0 .
Rada konverguje absolutne v C.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 112 / 369
5.2. Tvrzení. Konverguje-li rada∑∞
n=0 an (z − z0)n pro w ∈ C
pak konverguje absolutne na množine
z ∈ C | |z − z0| < |w − z0| .
Dukaz: z0 = 0.Z konvergence pro z = w vyplývá omezenost clenu rady, tedyexistuje konstanta M ≥ 0 tak, že pro všechna n ∈ N,
|an| |w |n ≤ M .
Pro z ∈ C s |z| < |w | volme % tak, že |z| < % < |w |. Pakmužeme odhadnout
|anzn| = |an| · |z|n ≤ |an| %n = |an||w |n%n
|w |n≤ M
%n
|w |n.
∑∞n=0 M %n
|w |n <∞, a proto∑∞
n=0 |an| |z|n <∞.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 113 / 369
5.3. Definice. Polomer konvergence R mocninné rady∑∞n=0 an (z − z0)
n je definován jako
R = supr ≥ 0 |∞∑
n=0
|an| · rn <∞ .
Dusledek Tvrzení 5.2: Je-li R polomer konvergence mocninnérady
∑∞n=0 an (z − z0)
n, pak tato rada1 Konverguje absolutne pro všechna z s |z − z0| < R.2 Nekonverguje pro žádné z s |z − z0| > R.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 114 / 369
Príklady:
1∑∞
n=0 zn, R = 1.2
∑∞n=0 n zn, R = 1.
3∑∞
n=0zn
n! , R =∞4
∑∞n=0 n!zn Podílové kritérium:
(n + 1)! |z|n+1
n! |z|n= (n + 1) |z| → ∞ pro z 6= 0 .
R = 0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 115 / 369
•∑∞
n=0 anzn , kde
an =
m n = 2m
0 jinak
Pomocná rada :∑∞
m=1 mz2m. Odmocninové kritérium:
limm→∞
m√
m |z2m | = limm→∞
m√
m · |z|2mm =
0 |z| < 1∞ |z| > 1
=⇒ R = 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 116 / 369
5.4. Tvrzení. Necht’ (cn) je posloupnost nezáporných císel, prokterou platí, že
limn→∞
n√
cn = 1 .
Potom rady∞∑
n=0
anzn a∞∑
n=0
cn an zn
mají stejný polomer konvergence.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 117 / 369
Dukaz: R polomer konvergence pro∑∞
n=0 anzn.
limn→∞
n√
cn = 1 =⇒
pro každé ε > 0 je n√
cn ≤ 1 + ε až na konecne mnoho n .
pro každé ε > 0 je cn ≤ (1 + ε)n až na konecne mnoho n .
Volme 0 < q < R a
|z| < q1 + ε
(< R) .
Až na konecne mnoho n platí:
|cn an zn| ≤ (1 + ε)n |an| |z|n < (1 + ε)n |an| ·qn
(1 + ε)n = |an|qn .
Ovšem∑∞
n=0 |an|qn <∞ . Prechodem ε→ 0+,q → R−máme:∑∞
n=0 cn an zn konverguje absolutne pro |z| < R.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 118 / 369
Tedy R ≤ R′, kde R′ je polomer konvergence rady∑∞n=0 cn an zn.
Bez újmy na obecnosti mužeme predpokládat, že cn jsoukladné. Jelikož limn→∞
n√
1cn
= 1, mužeme radu∑∞
n=0 cn an zn
pronásobit koeficienty 1cn
a dle predchozích argumentu získatopacnou nerovnost mezi polomery konvergence.
5.5. Dusledek. Rady∑∞
n=0 an zn a∑∞
n=1 np an zn, kde p ∈ Z,mají stejný polomer konvergence, nebot’
limn→∞
n√
np = 1 .
Rady se stejným polomerem:∑∞
n=0 zn,∑∞
n=0 n zn,∑∞
n=0 n2zn,∑∞n=1
1n zn,
∑∞n=1
1n2 zn
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 119 / 369
Problematika stejnomerné konvergence:
5.6. Veta. Weierstrasseovo kritériumPlatí-li pro posloupnost funkcí fn(z), že
|fn(z)| ≤ an pro všechna z ∈ M ,
kde∞∑
n=0
an <∞ ,
pak rada∑∞
n=0 fn(z) konverguje stejnomerne na množine M.
Dukaz: Bodová konvergence plyne ze srovnávacího kritéria.∣∣∣∣ ∞∑n=0
fn(z)−N∑
n=0
fn(z)
∣∣∣∣ ≤ ∣∣∣∣ ∞∑n=N+1
fn(z)
∣∣∣∣ ≤ ∞∑n=N+1
an → 0
pro N →∞.Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 120 / 369
5.7. Veta. Pokud má mocninná rada∑∞
n=0 an (z − z0)n
polomer konvergence R > 0, pak konverguje stejnomerne nakaždém kruhu z | |z − z0| < %, kde % < R.
Dukaz: Pro z ∈ z | |z − z0| < % máme
|an(z − z0)n| ≤ |an| %n
∞∑n=0
|an|%n <∞
Aplikujeme Weirstrasseovo kritérium.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 121 / 369
Jaké jsou vlastnosti funkce
f (z) =∞∑
n=0
an(z − z0)n ?
5.8. Veta. Necht’ R > 0 je polomer konvergence mocninné rady∑∞n=0 an (z − z0)
n . Funkce
f (z) =∞∑
n=0
an (z − z0)n (1)
je holomorfní v kruhu |z − z0| < R a platí pro ni, že
f ′(z) =∞∑
n=1
n an (z−z0)n−1 = a1+2 a2(z−z0)
2+3 a3 (z−z0)2+· · · .
(2)"Derivace rady clen po clenu"
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 122 / 369
Dukaz: Rady v (1) a (2) mají stejný polomer konvergence (vizvýše).z0 = 0, |z| < R∣∣∣∣ f (z + h)− f (z)
h−
∞∑n=1
n an (z − z0)n−1
∣∣∣∣=
∣∣∣∣ ∞∑n=0
an
[(z + h)n − zn
h−nzn−1
]∣∣∣∣ ≤ ∞∑n=0
|an|·∣∣∣∣(z + h)n − zn
h−nzn−1
∣∣∣∣
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 123 / 369
Volme δ ∈ (0,R − |z|) a |h| < δ. (Binomická formule).∣∣∣∣(z + h)n − zn
h− nzn−1
∣∣∣∣ =
∣∣∣∣1h
n∑k=2
(nk
)zn−k hk
∣∣∣∣ ≤≤ |h|
n∑k=2
(nk
)|z|n−k |h|k−2 ≤ |h|
δ2
n∑k=2
(nk
)|z|n−k δk ≤
≤ |h|δ2 [ |z|+ δ]n .
Použitím tohoto odhadu dostáváme:∣∣∣∣ f (z + h)− f (z)
h−
∞∑n=1
n an zn−1∣∣∣∣ ≤ |h|δ2
∞∑n=2
|an|·[ |z|+δ]n → 0 pro h→ 0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 124 / 369
Príklady:1
1− z=
∞∑n=0
zn ,
1(1− z)2 =
∞∑n=1
n zn−1 ,
2(1− z)3 =
∑n=2
n (n − 1) zn−2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 125 / 369
5.9. Veta. Funkce f (z) =∑∞
n=0 an (z − z0)n má na kruhu
konvergence |z − z0| < R mocninné rady∑∞
n=0 an (z − z0)n
derivace všech rádu, pricemž platí, že
f (k)(z) =∞∑
n=k
an n (n − 1) · · · (n − k + 1) (z − z0)n−k .
Speciálne,
f (k)(z0) = ak · k ! .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 126 / 369
Dusledky:Koeficienty rady jsou urceny hodnotami souctu na libovolnemalém okolí bodu z0.
Princip neurcitých koeficientu:
∞∑n=0
an (z − z0)n =
∞∑n=0
bn(z − z0)n
na jistém okolí bodu z0 implikuje
an = bn pro všechna n .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 127 / 369
5.10. Veta. Integrace clen po clenuMá-li rada
∑∞n=0 an (z − z0)
n polomer konvergence R > 0, pakfunkce
F (z) =∞∑
n=0
an
n + 1(z − z0)
n+1
je primitivní funkce k funkci
f (z) =∞∑
n=0
an (z − z0)n
na množine z | |z − z0| < R.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 128 / 369
Príklad: Naleznete soucet rady
f (z) =∞∑
n=0
n2zn
Rešení:
f (z) = z∞∑
n=0
n2zn−1
∞∑n=0
n2zn−1 =
( ∞∑n=0
n zn)′.
∞∑n=0
n zn = z∞∑
n=0
n zn−1 = z( ∞∑
n=0
zn)′
= z(
11− z
)′=
z(1− z)2
f (z) = z(
z(1− z)2
)′=
z + z2
(1− z)3 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 129 / 369
5.11. Veta. Integrální vyjádrení koeficientuPredpokládejme, že
f (z) =∞∑
n=0
an (z − z0)n
a R > 0 je polomer konvergence rady∑∞
n=0 an (z − z0)n. Pro
jakoukoliv Jordanovu krivku C ⊂ z | |z − z0| < R , obsahujícíbod z0 ve své vnitrní oblasti platí
an =1
2πj
∫C
f (z)
(z − z0)n+1 dz .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 130 / 369
Dukaz:∫C
f (z)
(z − z0)n+1 dz =
∫C
∞∑k=0
ak (z − z0)k−n−1 dz =
Díky stejnomerné konvergenci na každém kruhu|z − z0| < % < R máme
=∞∑
k=0
ak
∫C
(z − z0)k−n−1 dz = an · 2πj .
=⇒ an =1
2πj
∫C
f (z)
(z − z0)n+1 dz .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 131 / 369
5.12. Veta. Jednoznacnost analytické funkceFunkce f (z) je dána souctem mocninné rady
f (z) =∞∑
n=0
an (z − z0)n
s kladným polomerem konvegence R. Necht’ existujeposloupnost (zk ) neobsahující z0 tak, že f (zk ) = 0 pro všechnak a limk→∞ zk = z0. Pak f je nulová funkce.
Dukaz: indukcí dokážeme, že an = 0 pro všechna n.1. a0 = f (z0) = limk→∞ f (zk ) = 0.2. a0 = a1 = · · · = an−1 = 0.
f (z) = an(z − z0)n + an+1(z − z0)
n+1 + · · · =
= (z − z0)n [an + an+1(z − z0) + · · · ]︸ ︷︷ ︸
g(z)
g(zk ) = 0 a tedy an = 0.Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 132 / 369
5.2. Taylorovy rady
5.13. Definice. Necht’ f (z) je funkce mající všechny derivace vz0. Taylorova rada funkce f (z) v bode z0 je mocninná rada
∞∑n=0
f (n)(z0)
n!(z − z0)
n .
5.14. Veta. Existence Taylorova rozvojeNecht’ f (z) je holomorfní funkce v oblasti G. Necht’ K jekružnice se stredem v bode z0 taková, že Int K ∪ K ⊂ G. Pakexistuje mocninná rada
∑∞n=0 an (z − z0)
n konvergující v Int Ktak, že
f (z) =∞∑
n=0
an (z − z0)n
pro všechna z ∈ Int K .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 133 / 369
5.15. Dusledek. Holomorfní funkce má v otevrené množinederivace všech rádu !
Dukaz: r ... polomer kružnice KVolme 0 < % < r a oznacme K% = z | |z − z0| = %. Vyjdeme zCauchyova vzorce pro z ∈ Int K%
f (z) =1
2πj
∫K%
f (w)
w − zdw .
|w − z0| = %:
1w − z
=1
w − z0 + z0 − z=
1w − z0
· 11− z−z0
w−z0
.
|z − z0||w − z0|
=|z − z0|
%< 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 134 / 369
Tedy
1w − z
=1
w − z0·∞∑
n=0
(z − z0)n
(w − z0)n =∞∑
n=0
(z − z0)n
(w − z0)n+1
Omezenost f : |f (w)| ≤ M na K%.∣∣∣∣f (w)(z − z0)
n
(w − z0)n+1
∣∣∣∣ ≤ M · |z − z0|n
%n+1 = M · 1%
(|z − z0|
%
)n
∞∑n=0
(|z − z0|
%
)n
<∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 135 / 369
Weierstrasseovo kritérium implikuje stejnomernou konvergenci,a tedy zámenu integrálu a rady
f (z) =1
2πj
∫K%
f (w)
w − zdw =
12πj
∫K%
∞∑n=0
f (w)
(w − z0)n+1 (z−z0)n dw =
=1
2πj
∞∑n=0
(∫K%
f (w)
(w − z0)n+1 dw)· (z − z0)
n .
=⇒ existence rozvoje s koeficienty
an =1
2πj
∫K%
f (w)
(w − z0)n+1 dw
Zbytek veta o jednoznacnosti
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 136 / 369
Zobecnený Cauchyuv vzorec:Je-li f (z) holomorfní v otevrené množine G, z0 ∈ Int C ∪C ⊂ G,kde C je kladne orientovaná Jordanova krivka, pak
f (n)(z0) =n!
2πj
∫C
f (w)
(w − z0)n+1 dw .
5.16. Veta. Veta o jednoznacnostiJe-li f (z) holomorfní funkce v oblasti G a existuje-li prostá po-slupnost (zk ) ⊂ G s limk→∞ zk = a ∈ G taková, že f (zk ) = 0 provšechna k, pak
f (z) = 0 pro všechna z ∈ G .
Dukaz – prednáška, skripta
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 137 / 369
Klasické Taylorovy rady a techniky rozvoje:
5.17. Príklad.
f (z) =1
(z − a)k , k ∈ N,
v bode z0 6= a.
1z − a
=1
z − z0 + z0 − a=
1z0 − a
· 11 + z−z0
z0−a
=∞∑
n=0
(−1)n (z − z0)n
(z0 − a)n+1 .
Pro |z − z0| < |z0 − a|. Postupná derivace:(1
z − a
)(k−1)
=(−1)k−1(k − 1)!
(z − a)k
=⇒ f (z) =∞∑
n=k−1
(−1)n−k+1
(z0 − a)n+1 ·n(n − 1) · · · (n − k + 2)
(k − 1)!(z−z0)
n−k+1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 138 / 369
5.18. Príklad.f (z) = ez z0 = 0
f (n)(0) = 1 pro všechna n.
ez =∞∑
n=0
zn
n!z ∈ C
5.19. Príklad. Goniometrické funkce:
sin z =∞∑
n=0
(−1)n z2n+1
(2n + 1)!
cos z =∞∑
n=0
(−1)n z2n
(2n)!
z ∈ C.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 139 / 369
f (z) = ln z, z0 = 1.
f ′(z) =1z
=1
(z − 1) + 1=
∞∑n=0
(−1)n(z − 1)n
Integrace clen po clenu:
f (z) =∞∑
n=0
(−1)n
n + 1(z − 1)n+1 + c =
∞∑n=1
(−1)n−1
n(z − 1)n + c
f (1) = 0⇒ c = 0.
ln z =∞∑
n=1
(−1)n−1
n(z − 1)n |z − 1| < 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 140 / 369
5.20. Príklad.f (z) = arctg z , z0 = 0 .
f ′(z) =1
1 + z2 =∞∑
n=0
(−1)n z2n |z| < 1 .
f (z) =∞∑
n=0
(−1)n z2n+1
2n + 1+ c .
f (0) = 0⇒ c = 0.
arctg z =∞∑
n=0
(−1)n z2n+1
2n + 1|z| < 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 141 / 369
Leibnizova formule
(f (z)g(z))(n) =n∑
k=0
(nk
)f (k)(z)g(n−k)(z)
Dukaz indukcí: 1. n = 1 OK
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 142 / 369
2. Platí pro n pak platí pro n + 1.
[f (z)g(z)](n+1) =
( n∑k=0
(nk
)f (k)g(n−k)(z)
)′=
=n∑
k=0
(nk
)[f (k)(z) g(n−k+1)(z) + f (k+1)(z)g(n−k)(z)] =
=n∑
k=0
(nk
)f (k)(z)g(n−k+1)(z)+
n+1∑k=1
(n
k − 1
)f (k)(z)g(n−k+1)(z) =
= f (z)g(n+1)(z) +n∑
k=1
[
(nk
)+
(n
k − 1
)︸ ︷︷ ︸
=(n+1k )
]f (k)(z)g(n−k+1)(z)+
+f (n+1)(z)g(z) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 143 / 369
5.21. Veta. Násobení mocninných radNecht’ pro bod z0 mají funkce f (z) a g(z) v okolí bodu z0Taylorovy rozvoje
f (z) =∞∑
n=0
an (z − z0)n g(z) =
∞∑n=0
bn(z − z0)n .
Pak funkce h(z) = f (z)g(z) má v daném okolí bodu z0 Tayloruvrozvoj
h(z) =∞∑
n=0
cn (z − z0)n ,
kde
cn =n∑
k=0
ak bn−k .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 144 / 369
Dukaz:
cn =1n!
h(n)(z0) =1n!
n∑k=0
(nk
)f (k)(z0)g(n−k)(z0) =
=1n!
n∑k=0
n!
k !(n − k)!· k !ak (n − k)!bn−k =
n∑k=0
akbn−k
Mocninné rady násobíme jako polynomy
Príklad: Napište pocátecní cleny Taylorova rozvoje funkcef (z) = e−(z−1)2 · ln z pro z0 = 1.
(1−(z−1)2+
(z − 1)4
4!+· · ·
)((z−1)−(z − 1)2
2+
(z − 1)3
3−(z − 1)4
4+· · ·
)= (z − 1)− (z − 1)2/2− 2/3(z − 1)3 + · · ·
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 145 / 369
6. Reprezentace holomorfní funkceLaurentovou radou
6.1. Laurentovy rady
Motivace:f (z) = 1
1−z .Pro |z| < 1 je f (z) =
∑∞n=0 zn. Co pro |z| > 1 ?
f (z) =1
1− z=
1z· 1
1/z − 1= −
∞∑n=0
1zn+1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 146 / 369
6.1. Definice. Rada tvaru∞∑
n=−∞an(z−z0)
n = · · · a−2
(z − z0)2 +a−1
z − z0+a0+a1(z−z0)+a2(z−z0)
2+· · · ,
kde (an)∞n=−∞ je posloupnost komplexních císel a z0 ∈ C se
nazývá Laurentova rada se stredem v bode z0 a koeficienty(an)
∞n=−∞.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 147 / 369
Rada∑∞
n=0 an(z − z0)n se nazývá regulární cást Laurentovy
rady,rada
∑−1n=−∞ an(z − z0)
n se nazývá hlavní cást Laurentovyrady
Laurentova rada konverguje v daném bode z ∈ C konverguje-lisoucasne v tomto bode její hlavní i regulární cást. Její soucet jepritom definován jako soucet regulární a hlavní cásti, tj.
∞∑n=−∞
an(z − z0)n =
∞∑n=1
a−n(z − z0)−n +
∞∑n=0
an(z − z0)n.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 148 / 369
6.2. Definice. Rada∞∑
n=−∞
an
zn
se nazývá Laurentova rada se stredem v bode∞.
Rada∑−1
n=−∞anzn se nazývá hlavní cást.
Rada∑∞
n=0anzn se nazývá regulární cást.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 149 / 369
Otázka konvergence rady∑∞
n=−∞ an(z − z0)n:
1. regulární cást:∑∞
n=0 an (z − z0)n... mocninná rada se
stredem z0 a polomerem konvergence R2.2. hlavní cást
∑∞n=1 a−n(z − z0)
−n =a−1
z−z0+
a−2(z−z0)2 + · · ·
Substituce: w = 1z−z0
.
a−1w + a−2w2 + · · ·
– mocninná rada s polomerem konvergence R.R1 = 1
R ... polomer konvergence hlavní cásti.Hlavní cást konverguje absolutne pro |z − z0| > R1.
Zobecnené mezikruží: 0 ≤ R1,R2 ≤ ∞
P(z0,R1,R2) = z ∈ C | R1 < |z − z0| < R2
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 150 / 369
6.3. Veta. Necht’∑∞
n=−∞ an(z − z0)n je Laurentova rada s
polomerem konvergence hlavní cásti R1 a regulární cásti R2.Je-li R1 < R2 pak Laurentova rada konverguje absolutne vmezikruží P(z0,R1,R2) a nekonverguje v žádném bode mimouzáver tohoto mezikruží.
Príklady: 1.∞∑
n=−∞2−|n|(z − 1)n.
regulární cást:
∞∑n=0
2−n(z − 1)n.
limn→∞
n√
2−n|z − 1| = 1/2|z − 1| < 1 =⇒ |z − 1| < 2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 151 / 369
hlavní cást:
−1∑n=−∞
2−|n|(z − 1)n =∞∑
n=1
2−n 1(z − 1)n .
limn→∞
n√
2−n 1|z − 1|
=12
1|z − 1|
< 1 =⇒ |z − 1| > 12.
Záver: mezikruží konvergence P(1, 12 ,2).
2.−1∑
n=−∞2nzn +
∞∑n=0
3nzn .
R1 =12, R2 =
13.
Záver: Nekonverguje v žádném bode.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 152 / 369
3.−1∑
n=−∞zn
Konverguje v P(0,1,∞).
Otázka stejnomerné konvergence:
6.4. Veta. Konverguje-li Laurentova rada v mezikružíP(z0,R1,R2), kde R1 < R2, pak konverguje stejnomerne vkaždém mezikruží P(z0, %1, %2), kde R1 < %1 < %2 < R2.
Dukaz: prednáška, skripta.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 153 / 369
Funkce f (z) =∑∞
n=−∞ an (z − z0)n je holomorfní v oblasti
P(z0,R1,R2). Existují totiž dve holomorfní funkce g,h tak, že
f (z) = g(z − z0) + h(
1z − z0
).
Opacná otázka: Má funkce holomorfní v mezikruží rozvoj vLaurentovu radu?
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 154 / 369
6.5. Veta. Cauchyuv vzorec pro mezikružíNecht’ C1, C2 jsou kladne orientované Jordanovy krivky takové,že C1 ⊂ Int C2. Necht’ f je funkce holomorfní v otevrenémnožine O ⊃ Int C2 \ Int C1. Pak pro každé z ∈ Int C2 \ Int C1 je
f (z) =1
2πj
(∫C2
f (w)
w − zdw −
∫C1
f (w)
w − zdw
).
Dukaz: Prednáška, skripta.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 155 / 369
6.6. Veta. Rozvoj v Laurantovu raduNecht’ f (z) je funkce holomorfní v mezikruží P(z0, r ,R), kde0 ≤ r < R ≤ ∞. Pak existuje práve jedna Laurantova rada∑∞
n=−∞ an (z − z0)n tak, že
f (z) =∞∑
n=−∞an (z − z0)
n z ∈ P(z0, r ,R) .
Pritoman =
12πj
∫C
f (w)
(w − z0)n+1 dw n ∈ Z ,
kde C je libovolná kladne orientovaná Jordanova krivka ležící vP(z0, r ,R) a z0 ∈ IntC.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 156 / 369
Dukaz: 1. Existence rozvojez0 = 0, z ∈ P(0, r ,R).volme %1, %2 s r < %1 < |z| < %2 < R.C1 ... |z| = %1C2 ... |z| = %2kladná orientace
f (z) =1
2πj
(∫C2
f (w)
w − zdw −
∫C1
f (w)
w − zdw
).
w ∈ C1:
f (w)
w − z=
f (w)
z(wz − 1)
= −f (w)∞∑
n=0
wn
zn+1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 157 / 369
Odhad hodnoty
|f (w)| |w |n
|z|n+1 ≤ (maxw∈C1
|f (w)|) 1|z|
%n1|z|n
Jelikož %1|z| < 1 dá horní odhad konvergentní císelnou radu.
Tedy∑∞
0 f (w) wn
zn+1 konverguje stejnomerne pro w ∈ C1.∫C1
f (w)
w − zdw = −
∞∑n=0
(∫C1
f (w)wn dw)· 1
zn+1 .
Rozvoj pro C2 vede na regulární cást - viz veta o Tayloroverozvoji.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 158 / 369
Jednoznacnost a integrální vyjádrení koeficientu:
f (w) =∞∑
k=−∞ak wk | · 1
wn+1
f (w)
wn+1 =∞∑
k=−∞ak wk−n−1 |
∫C
dw .
∫C
f (w)
wn+1 dw =∞∑
k=−∞ak
∫C
wk−n−1 dw .
∫C
f (w)
wn+1 dw = 2πj an .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 159 / 369
Príklady:
f (z) =1
(z − 2)(z − 3), z0 = 0 , v P(0,2,3) .
f (z) =1
z − 3− 1
z − 2.
1z − 3
= −13
11− z
3= −
∞∑n=0
zn
3n+1 .
1z − 2
=1z
11− 2
z
=∞∑
n=0
2n
zn+1 =−1∑
n=−∞2−n−1 zn .
f (z) = −∞∑
n=0
zn
3n+1 −−1∑
n=−∞2−n−1 zn ,2 < |z| < 3 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 160 / 369
f (z) =1
(z − 2)2 , z0 = 0 , |z| > 2 .
1z − 2
=∞∑
n=0
2n
zn+1
Derivace clen po clenu:
− 1(z − 2)2 =
∞∑n=0
(−n − 1)2n
zn+2
1(z − 2)2 =
∞∑n=0
(n + 1)2n
zn+2
f (z) =−2∑
n=−∞(−n − 1)2−n−2 zn .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 161 / 369
f (z) = z2e1/z , z0 =∞ ,
f (z) = z2∞∑
n=0
1zn
1n!
= z2 + z +∞∑
n=0
1(n + 2)!
1zn .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 162 / 369
f (z) = ln(
1 +1z
), z0 =∞
g(z) = ln(1 + z) , z0 = 0
g′(z) =1
1 + z=
∞∑n=0
(−1)n zn
Integrace:
g(z) =∞∑
n=0
(−1)n zn+1
n + 1+ c
c = 0
f (z) =∞∑
n=0
(−1)n 1n + 1
· 1zn+1 , |z| > 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 163 / 369
6.2. Singularity
6.7. Definice. Necht’ f je funkce holomorfní v prstencovémokolí bodu z0 ∈ C ∪∞. Bod z0 není v definicním oboru funkcef . Pak se bod z0 nazývá izolovaným singulárním bodem(singularitou) funkce f . Rekneme, že z0 je
1 odstranitelná singularita funkce f , jestliže existuje vlastnílimita f v bode z0;
2 pól funkce f , jestliže limz→z0 f (z) =∞;3 podstatná singularita funkce f jestliže f nemá limitu v bode
z0.
Príklad: sin zz ...0,∞; e1/z ...0,∞
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 164 / 369
6.8. Veta. Necht’ f je funkce holomorfní a omezená naprstencovém okolí bodu z0. Pak z0 je odstranitelná singularitafunkce f . Navíc, dodefinujeme-li funkci f v bode z0 její limitou,stane se f holomorfní v bode z0.
Nemá analogii v reálném oboru ... sin(1/x), sin x , sgn x , x2
|x | .
Dukaz:
f (z) =∞∑
n=−∞an (z − z0)
n .
Pro n = 1,2, . . .
a−n =1
2πj
∫C
f (w)
(w − z0)−n+1 dw =1
2πj
∫C
f (w)(w − z0)n−1 dw .
C je kružnice o polomeru r a stredu z0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 165 / 369
Omezenost f znamená:
|f (w)(w − z0)n−1| ≤ M
na jistém okolí bodu z0. Tedy
|a−n| ≤1
2πM · 2πr = Mr .
Protože r muže být libovolne malé, máme
|a−n| = 0
pro všechna n = 1,2 . . .. Tedy hlavní cást Laurentova rozvoje jenulová.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 166 / 369
Póly mají jemnejší klasifikaci vystihující rychlost konvergence k∞. Souvisí s rádem korene holomorfní funkce.
6.9. Tvrzení. Necht’ f je funkce holomorfní v bode z0, kteránení identicky rovna nule na žádném okolí bodu 0. Pak existuje(jediné) císlo k = 0,1, . . . tak, že
f (z0) = · · · = f (k−1)(z0) = 0 , f (k)(z0) 6= 0 .
Císlo k se nazývá násobnost (rád, stupen) korene z0 funkce f
Poznámka: k = 0 neni korenem,k =∞ znamená nulovost na celém okolí. Tvrzení vyplývá zeskutecnosti, že nulovost všech derivací znamená nulovostTaylorova rozvoje.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 167 / 369
z0 je korenem násobnosti k ⇐⇒
f (z) =f (k)(z0)
k !(z−z0)
k+f (k+1)(z0)
(k + 1)!(z−z0)
k+1+· · · = (z−z0)kg(z) ,
kde g(z) je holomorfní v bode z0 a g(z0) 6= 0.
Je-li z0 pól funkce f (z), pak f (z) 6= 0 pro všechna z ∈ P, kde Pje nejaké prstencové okolí bodu z0. Funkce h(z) = 1
f (z) jeholomorfní v tomto prstencovém okolí a platí, želimz→z0 h(z) = 0. z0 je tedy odstranitelná singularita funkceh(z). Dodefinováním h(z0) = 0 se z0 stane korenem funkce h.
Rád (stupen, násobnost) pólu z0 funkce f (z) je definován jakostupen korene z0 funkce h(z).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 168 / 369
z0 je pólem násobnosti k ⇐⇒ 1f (z) = (z − z0)
k g(z), kde g(z) jeholomorfní a nenulová v bode z0.
6.10. Tvrzení. Bod z0 ∈ C je pólem násobnosti k práve tehdykdyž
f (z) =h(z)
(z − z0)k ,
kde h(z) je holomorfní a nenulová v bode z0.
Každý pól má svuj rád – konvergence k∞ je "kvantovaná" a nelibovolná jako v reálném oboru
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 169 / 369
Príklady
f (z) =1
z(z − 2)2 .
jednoduchý pól 0 a dvojnásobný pól 2.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 170 / 369
f (z) =z − sin z
z8 .
0 je pól násobnosti 5
f (z) =ez−1 − 1(z − 1)3
1 ... pól násobnosti 2
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 171 / 369
6.11. Definice. Necht’ f je holomorfní v prstencovém okolínekonecna. Rekneme, že∞ je pól funkce f rádu k jestliže
f (z) = zk g(z) ,
kde g je holomorfní funkce s vlastní nenulovou limitou v∞.
∞ je pól násobnosti k ⇐⇒ 0 je pól rádu k funkce g(z) = f (1/z).
Príklad:∞ je pól násobnosti 2 funkce f (z) = z2e1/z .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 172 / 369
6.12. Veta. Necht’∑∞
n=−∞ an (z−z0)n (resp.
∑∞n=−∞
anzn ) je Lau-
rentuv rozvoj funkce f v prstencovém okolí bodu z0 ∈ C ∪∞.1 f má v bode z0 odstranitelnou singularitu práve tehdy když
an = 0 pro všechna n < 0.2 f má v bode z0 pól násobnosti k práve tehdy když a−k 6= 0
a an = 0 pro všechna n < −k.3 f má v bode z0 podstatnou singularitu práve tehdy když
nekonecne mnoho koeficientu v hlavní cásti Laurentovyrady je nenulových.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 173 / 369
Dukaz (2)
f (z) =g(z)
(z − z0)k
kde g je holomorfní a nenulová v z0.
g(z) =∞∑
n=0
bn(z − z0)n , b0 6= 0
f (z) =1
(z − z0)k
∞∑n=0
bn(z − z0)n =
=b0
(z − z0)k +b1
(z − z0)k−1 + · · ·+ bk + bk+1(z − z0) + · · ·
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 174 / 369
Príklady:
f (z) =sin zz3 =
1z2 −
13!
+z2
5!+ · · ·
dvojnásobný pól
f (z) = e1/z =∞∑
n=0
1n!zn
0... podstatná singularita , ∞ ... odstranitelná singularita.
f (z) = sin z =∞∑
n=0
z2n+1
(2n + 1)!
∞ je podstatná singularita
f (z) = z2e1/z = z2 + z +∞∑
n=0
1(n + 2)!
1zn
∞ je pól násobnosti 2Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 175 / 369
6.3. ReziduumMotivace: integrální vyjádrení koeficientu Laurentovy rady:
an =1
2πj
∫C
f (z)
(z − z0)n+1 dz
dá ve speciálním prípade
a−1 =1
2πj
∫C
f (z) dz
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 176 / 369
Laurentovým rozvojem se stredem v dané singularite rozumímeLaurentuv rozvoj v nejakém prstencovém okolí singularity.
6.13. Definice. Necht’ z0 ∈ C (resp.z0 = ∞) je singularitafunkce f (z). Koeficient a−1 (resp. −a1) Laurenotva rozvoje f vbode z0 se nazývá reziduum funkce f v bode z0. Znacení: resz0 f .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 177 / 369
Príklady:
res0sin zz3 = 0
sin zz3 =
1z2 −
13!
+z2
5!
res∞ z2e1/z = − 13!.
z2e1/z = z2 + z +∞∑
n=0
1(n + 2)!
1zn
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 178 / 369
Reziduum — co zbyde po integraci kolem bodu. Napríklad, je-liC dostatecne velká záporne orientovaná kružnice se stredem vnule je pro singularitu∞:∫
Cf (z) dz =
∞∑n=0
∫C
an
zn dz =
∫C
a1
zdz = −a12πj = 2πjres∞ f (z) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 179 / 369
Nekteré metody výpoctu rezidua (mimo Laurentuv rozvoj)
6.14. Tvrzení. Necht’ z0 ∈ C je k-násobný pól funkce f . Pak
resz0 f = limz→z0
1(k − 1)!
dk−1
d zk−1
[(z − z0)
k f (z)
].
Dukaz:
f (z) =a−k
(z − z0)k +a−k+1
(z − z0)k−1 + · · ·+ a−1
z − z0+ a0 + · · ·
(z−z0)k f (z) = a−k+a−k+1(z−z0)+· · ·+a−1(z−z0)
k−1+a0(z−z0)k+· · ·
dk−1
d zk−1
[(z − z0)
k f (z)
]= (k − 1)!a−1 + k !a0(z − z0) + · · · .
Limitou z → z0 jde poslední výraz k (k − 1)!a−1.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 180 / 369
Príklad:
res2jz + 2
(z − 2j)2(z + 1)= lim
z→2j
dd z
(z + 2z + 1
)= lim
z→2j
−1(z + 1)2 =
3 + 4j25
.
Speciálne pro jednonásobný pól platí
resz0 f = limz→z0
(z − z0) f (z) .
6.15. Tvrzení. Necht’ f a g jsou funkce holomorfní v z0 ∈ C.Necht’ z0 je jednonásobný koren funkce g(tj. g(z0) = 0,g′(z0) 6= 0). Pak
resz0
f (z)
g(z)=
f (z0)
g′(z0).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 181 / 369
Príklady:
f (z) =z3 + 1sin z
res0 f =1
cos 0= 1 .
f (z) = cotg z
reskπ f (z) = reskπcos zsin z
=cos kπcos kπ
= 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 182 / 369
6.16. Tvrzení. Necht’ f je holomorfní v bode z0 ∈ C a g má vbode z0 jednonásobný pól. Pak
resz0 f (z)g(z) = f (z0)resz0 g(z) .
Dukaz: prednáška, skripta.
Príklad:
reskπ z3 cotg z = (k3π3)reskπ cotg z = k3π3 .
Prípad∞. Má-li f odstranitelnou singularitu v∞, pak
f (∞) = limz→∞
f (z) = a0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 183 / 369
6.17. Tvrzení.1 Necht’ f má v∞ odstranitelnou singularitu. Pak
res∞ f = limz→∞
z[f (∞)− f (z)]
res∞ f = limz→∞
z2f ′(z)
2 Má-li f v∞ pól rádu k, pak
res∞ f =(−1)k
(k + 1)!lim
z→∞
[zk+2 dk+1
d zk+1 f (z)
]Príklad:
res∞ e1/z = limz→∞
z[1− e1/z ] = −1 .
res∞ e1/z = limz→∞
z2(e1/z)′ = −1 .
res∞e1/z
2z= lim
z→∞−z
e1/z
2z= −1
2.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 184 / 369
7. Reziduová veta a její aplikace
6.1. Reziduová veta
Motto: Jacques Hadamard (1865-1963): "Nejkratší cesta mezidvema pravdami v reálném oboru vede pres obor komplexní."
7.1. Veta. Reziduová vetaNecht’ G je oblast a f (z) funkce holomorfní v množineG \ z1, z2, . . . , zn. Nechtˇ C je kladne orientovaná Jordanovakrivka ležící v G a mající ve svém vnitrku body z1, z2, . . . , zk ,k ≤ n. Predpokládejme dále, že G obsahuje vnitrní oblast krivkyC. Potom ∫
Cf (z) dz = 2πj
k∑i=1
reszi f .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 185 / 369
Cauchyuv vzorec i Cauchyova veta se dají chápat jakodusledek Reziduové vety.Víme již, že reziduová veta platí pro jednu singularitu.
Dukaz: Hi(z) ... soucet hlavní cásti Laurentova rozvoje v bodezi . Jedná se o funkci holomorfní v C \ zi. Položme
g(z) = f (z)− H1(z)− H2(z)− · · · − Hk (z) .
g je (po dodefinování) v bodech zi holomorfní v G. DleCauchyovy vety:
0 =
∫C
g(z) dz =
∫C
f (z) dz −k∑
i=1
∫C
Hi(z) dz =
=
∫C
f (z) dz − 2πjk∑
i=1
reszi f (z) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 186 / 369
7.2. Dusledek. Je-li funkce f (z) holomorfní v C až na konecnemnoho bodu z1, z2, . . . , zk ∈ C, pak
k∑i=1
reszi f + res∞ f = 0 .
Dukaz: Pro kladne orientovanou Jordanovu krivku C majícíbody z1, z2, . . . , zk ve svém vnitrku platí∫
Cf (z) dz = 2πj
k∑i=1
reszk f
−∫
Cf (z) dz = 2πj res∞ f .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 187 / 369
Príklady: ∫C
1(z2 − 1)(z − 3)2 dz ,
kde C je kladne orientovaná asteroida x2/3 + y2/3 = 22/3.Singularity uvnitr — 1,−1, jednoduché póly.
res11
(z2 − 1)(z − 3)2 =1
2 · (−2)2 =18.
res−11
(z2 − 1)(z − 3)2 =1
(−2) · (−4)2 = − 132.∫
C
1(z2 − 1)(z − 3)2 dz = 2πj
(18− 1
32
)=
3π16
j .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 188 / 369
∫C
11 + z100 dz ,
kde C je kladne orientovaná kružnice |z| = 2.Celkem sto singularit z1, z2, . . . , z100. (Tvorí vrcholypravidelného stoúhelníka na jednotkové kružnici.)
100∑k=1
reszk f = −res∞ f .
res∞ f (z) = limz→∞
− z1 + z100 = 0 .∫
C
11 + z100 dz = 0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 189 / 369
∫C
sinz
z + 1dz ,
kde C je kladne orientovaná kružnice |z| = 2.
sinz
z + 1= sin
(1− 1
z + 1
)= sin 1 cos
1z + 1
−cos 1 sin1
z + 1.
cos1
z + 1=
∞∑k=0
(−1)k (z + 1)−2k
(2k)!=⇒ res−1 cos
1z + 1
= 0 .
sin1
z + 1=
∞∑k=0
(−1)k (z + 1)−2k−1
(2k + 1)!=⇒ res−1 sin
1z + 1
= 1 .
Záver: ∫C
sinz
z + 1dz = −2πj cos 1.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 190 / 369
6.2. Výpocet urcitých integrálu
a) Integrály racionálních funkcí∫∞−∞
P(x)Q(x) dx
P,Q ... polynomy s reálnými koeficienty,st Q > st P + 1, Q nemá reálné koreny.
CR (R > 0)... kladne orientovaná krivka skládající se z úseckyLR = [−R,R] a oblouku kružniceKR = z ∈ C | |z| = R, Im z ≥ 0.
f (z) =P(z)
Q(z)
R zvolme tak, aby všechny singularity funkce f v polorovineIm z > 0 ležely uvnitr krivky CR. Podle reziduové vety∫
Cf (z) dz = 2πj
∑z | Q(z)=0,Im z>0
resz f (z) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 191 / 369
∫CR
f (z) dz =
∫LR
f (z) dz +
∫KR
f (z) dz .
∫LR
f (z) dz =
∫ R
−Rf (x) dx −→(R→∞)
∫ ∞
−∞
P(x)
Q(x)dx .
Ukážeme, že
limR→∞
∫KR
f (z) dz = 0 .
Existuje okolí nekonecna, U, tak, že∣∣∣∣z2P(z)
Q(z)
∣∣∣∣ ≤ M tj.∣∣∣∣ P(z)
Q(z)
∣∣∣∣ ≤ M|z|2
, z ∈ U.
∣∣∣∣ ∫KR
f (z) dz∣∣∣∣ ≤ délka(KR) ·max
z∈KR|f (z)| ≤ πR · M
R2 =πMR→ 0
pro R →∞.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 192 / 369
Záver: ∫ ∞
−∞
P(x)
Q(x)dx = 2πj
∑z | Q(z)=0,Im z>0
reszP(z)
Q(z).
Príklad: ∫ ∞
−∞
x2
(x2 + a2)2 dx , a > 0 .
resajP(z)
Q(z)= lim
z→aj
((z − aj)2 z2
(z2 + a2)2
)′
= limz→aj
(z2
(z + aj)2
)′
=
= limz→aj
2ajz(z + aj)3 =
14aj∫ ∞
−∞
x2
(x2 + a2)2 dx = 2πj resajP(z)
Q(z)= 2πj
14aj
=π
2a.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 193 / 369
b) Integrály z goniometrických funkcí∫ 2π
0 R(cos x , sin x) dx .
R(x , y) ... racionální funkce definovaná na jednotkové kružnici.∫ 2π
0R(cos x , sin x) dx =
∫C
R(
z2 + 12z
,z2 − 1
2jz
)dzjz,
kde C je kladne orientovaná jednotková kružnice.
Odvození : prednáška, skripta——————————————————————————-Príklad: ∫ 2π
0
dxa + b cos x
, a > b > 0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 194 / 369
Položme
F (z) =1
a + b z2+12z
· 1jz
=2j
1bz2 + 2az + b
.
Funkce F (z) má singularity v korenech polynomu
bz2 + 2az + b
tj. v bodech
z1 =−a +
√a2 − b2
b, z2 =
−a−√
a2 − b2
b.
|z1| < 1, |z2| > 1 (Nebot’ z1z2 = bb = 1)
∫ 2π
0
dxa + b cos x
= 2πj resz1
2jb(z − z1)(z − z2)
=4π
b(z1 − z2)=
=4πb· 1
2√
a2−b2
b
=2π√
a2 − b2.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 195 / 369
c) integrály typu∫∞−∞ R(x) ejx dx
kde R(x) je racionální funkce s reálnými koeficienty, nemá pólyna reálné ose, limz→∞ R(z) = 0.
Dle Eulerovy identity:∫ ∞
−∞R(x)ejx dx =
∫ ∞
−∞R(x) cos x dx + j
∫ ∞
−∞R(x) sin x dx .
7.3. Veta. Jordanovo lemmaNecht’ Kr je polokružnice z ∈ C | |z| = r , Im z ≥ 0.Predpokládejme, že f (z) je spojitá funkce definovaná napruniku jistého okolí nekonecna s horní polorovinou. Oznacme
M(r) = maxz∈Kr|f (z)|.
Jestliže limr→∞ M(r) = 0, pak limr→∞∫
Krf (z)ejz dz = 0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 196 / 369
Dukaz: ∫Kr
f (z)ejz dz =
∫ π
0f (rejt)ejrejt · jrejt dt .
Protože |f (z)| ≤ M(r) na Kr mužeme odhadnout∣∣∣∣ ∫Kr
f (z)ejz dz∣∣∣∣ ≤ rM(r) ·
∫ π
0|ejrejt |dt . (3)
Pro z = x + jy , x , y ∈ R máme ejz = ejx−y , |ejz | = e−y . Proz = rejt dá výše uvedená identita
∣∣∣ejrejt∣∣∣ = e−r sin t .
Dle (3) dostaneme∣∣∣∣ ∫Kr
f (z)ejz dz∣∣∣∣ ≤ rM(r) ·
∫ π
0e−r sin t dt .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 197 / 369
Pro t ∈< 0, π2 > platí nerovnost
sin t ≥ 2π
t .
(konkávita).
Díky symetrii funkce sinus k bodu π/2 máme∫ π
0e−r sin t dt = 2
∫ π2
0e−r sin t dt .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 198 / 369
Platí tedy∫ π2
0e−r sin t dt ≤ 2
∫ π2
0e−r 2
πt dt < 2
∫ ∞
0e−r 2
πt dt = 2
12π r
=π
r.
Záver:∣∣∣∣ ∫Kr
f (z)ejz dz∣∣∣∣ ≤ rM(r)
π
r= πM(r)→ 0 pro r →∞.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 199 / 369
Pro racionální funkci R(z) s limz→∞ R(z) = 0 platí Jordanovolemma, a proto mužeme postupovat stejne jako v bode (a).Tímto získáme
∫ ∞
−∞R(x) ejx dx = 2πj
∑z∈C | z je pól R(z),Im z>0
resz R(z) ejz .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 200 / 369
Príklad: ∫ ∞
−∞
ejx
x2 + 4dx .
∫ ∞
−∞
ejx
x2 + 4dx =
∫ ∞
−∞
cos xx2 + 4
dx =
= 2πj res2jejz
z2 + 4= 2πj
e−2
2 · 2j=π
2e−2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 201 / 369
d) Obcházení jednoduchých pólu
7.4. Tvrzení. Predpokládejme, že funkce f (z) má jednoduchýpól v bode z0 ∈ C. Necht’ C je oblouk kružnice o stredu z0 apolomeru % parametrizovaný funkcí
ϕ(t) = z0 + %ejt t ∈< ϕ,ϕ+ α > ,
kde 0 ≤ ϕ < ϕ+ α < 2π. Pak
lim%→0+
∫C
f (z) dz = jα resz0 f (z).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 202 / 369
Dukaz: Skutecnost, že f má v bode z0 jednoduchý pólznamená , že f (z) je možno vyjádrit:
f (z) =resz0 f (z)
z − z0+ g(z),
kde g je funkce holomorfní v z0. Je tedy∫C
f (z) dz =
∫C
resz0 f (z)
z − z0dz +
∫C
g(z) dz . (4)
Pritom ∫C
resz0 f (z)
z − z0dz =
∫ ϕ+α
ϕ
resz0 f (z)
%ejt · j%ejt dt =
= jresz0 f (z)
∫ ϕ+α
ϕdt = jα resz0 f (z).
Funkce g je omezená v jistém okolí bodu z0. Pro %→ 0+konverguje délka krivky k nule.
=⇒∣∣∣∣ ∫
Cg(z) dz
∣∣∣∣ ≤ α% ·maxC|g(z)| → 0, pro %→ 0 + .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 203 / 369
Záver:lim
%→0+
∫C
f (z) dz = jα resz0 f (z).
Príklad: Newtonuv integrál(detaily prednáška) ∫ ∞
−∞
sin xx
dx = π .
Integrujeme pres velké polokružnice (Jordanovo lemma) a malépolokružnice kolem bodu 0 (predchozí tvrzení)∫ ∞
−∞
ejz
zdz = πj res0
ejz
z= πj .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 204 / 369
8. Fourierova transformace
8.1. Fourierovy rady
• zpracování periodické funkce, spektrální rozklad
predpoklady:1
f (t) :< a,a + T >→ C ,T > 0
nebo f je periodická funkce s periodou T .2 f je integrovatelná tj.∫ a+T
a|f (t)|dt <∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 205 / 369
Fourierova rada v komplexním tvaru funkce f je rada∞∑
n=−∞cnejnωt =
= · · ·+ c−2e−2jωt + c−1e−jωt + c0 + c1ejωt + c2e2jωt + · · ·
kde
ω =2πT, cn =
1T
∫ a+T
af (t) e−jnωt dt .
Fourierovy koeficienty funkce f , cn, (n ∈ Z) "pomerují" f (t) speriodickým pohybem ejnωt , tj. násobnými harmonickýmikmitocty.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 206 / 369
Princip: Spojité funkce integrovatelné s kvadrátem se stejnýmiFourierovými koeficienty jsou stejné. Fourierovy koeficientykódují funkce, charakterizují je ve frekvencní oblasti.Dukaz tohoto faktu je obtížnejší.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 207 / 369
Je-li f je reálná funkce, pak c−n = cn pro všechna n ∈ N.
Dukaz: f (t) je reálné:
T cn =
∫ a+T
af (t) e−jnωt dt =
∫ a+T
af (t) cos nωt dt
−j∫ a+T
af (t) sin nωt dt
T c−n =
∫ a+T
af (t) ejnωt dt =
∫ a+T
af (t) cos nωt dt
+j∫ a+T
af (t) sin nωt dt
a tedy c−n = cn.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 208 / 369
Je-li f reálná funkce, pak mužeme sloucit dva komplexnesdružené cleny dohromady a dostat tak ciste reálnou radu:n ≥ 1
cn ejnωt + c−n e−jnωt =
cn(cos nωt + j sin nωt) + c−n (cos nωt − j sin nωt) =
= (cn + c−n) cos nωt + (j cn − jc−n) sin nωt =
= 2 Re cn cos nωt − 2 Im cn sin nωt .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 209 / 369
Oznacme
an = 2 Re cn =2T
∫ a+T
af (t) cos nωt dt
bn = −2 Im cn =2T
∫ a+T
af (t) sin nωt dt
kosínove-sínový tvar:
a0
2+
∞∑n=1
an cos nωt + bn sin nωt ,
Amplituda:
An =
√a2
n + b2n .
Transformacní vztahy mezi koeficienty: n ≥ 1
an = 2 Re cn cn =an
2− j
bn
2
bn = −2 Im cn . c−n =an
2+ j
bn
2
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 210 / 369
Duležité je, že Fourierovy koeficienty umožní zrekonstruovatfunkci (jsou vlastne souradnicemi vuci nekonecné bázi).V nekterých prípadech je funkce prímo rovna souctu svéFourierovy rady.
8.1. Veta. Dirichletova vetaJe-li reálná funkce f (t) s periodou T po cástech spojitá a má pocástech spojitou derivaci, pak
f (t+) + f (t−)
2=
a0
2+
∞∑n=1
an cos nωt + bn sin nωt ,
pro všechna t ∈ R.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 211 / 369
8.2. Prímá a zpetná Fourieova transformace
motivace: spektrální rozklad obecné neperiodické funkce vnekonecné casové oblasti, nediskrétní škála frekvencí, korelujefunkci s harmonickými funkcemi g(t) = ejωt , ω ∈ R.
8.2. Definice. Necht’ f (t) je komplexní funkce definovaná na R.Funkce
f (p) =
∫ ∞
−∞f (t)e−jpt dt , p ∈ R
se nazývá Fourierova transformace funkce f .Funkce
f (p) =1
2π
∫ ∞
−∞f (t)ejpt dt p ∈ R ,
se nazývá inverzní Fourierova transformace funkce f .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 212 / 369
Za definicní obor se považuje množina všech p ∈ R, pro kteréexistují príslušné integrály.)
Konvence: ∫ ∞
−∞f (t) dt = lim
R→∞
∫ R
−Rf (t) dt .
hlavní hodnota integrálu
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 213 / 369
Poznámka:f (p) = 2π f (−p)
Znacení a terminologie: F : f → f , F−1 : f → fFourierova transformace a inverzní Fourierova transformace.Ff , f (t) .
= f (p), Ff (t) = f (p) .
Postacující podmínka pro existenci Fourierovy transformace:∫ ∞
−∞|f (t)|dt <∞ .
Pak totiž:∫∞−∞ |f (t) e−jpt |dt =
∫∞−∞ |f (t)|dt <∞ .
Znacení: L1(R) = f : R→ C |∫∞−∞ |f (t)|dt <∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 214 / 369
8.3. Príklad. Obraz bránové funkce a > 0
fa(t) =
1 t ∈< −a,a >0 jinde
fa(p) =
∫ ∞
−∞fa(t) e−jpt dt =
∫ a
−ae−jpt dt
=
[e−jpt
−jp
]t=a
t=−a=
ejap − e−jap
jp= 2
sin app
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 215 / 369
8.4. Príklad.
fa(p) =1
2πfa(−p) =
1π
sin(−ap)
−p=
1π
sin app
8.5. Príklad. Obraz gaussovské funkce
f (t) = e−at2, a > 0 .
Víme již, že ∫ ∞
−∞e−t2
e−jtp dt =√πe−
p2
4 .
Na základe toho (substituce u =√
at):∫ ∞
−∞e−at2
e−jtp dt = 1/√
a∫ ∞
−∞e−u2
e−jup/√
a du =
√π
ae−
p2
4a .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 216 / 369
8.6. Príklad. Vybíjení kondenzátoru:α > 0
f (t) =
e−αt t ≥ 00 jinak
f (p) =
∫ ∞
0e−α t e−jpt dt =
∫ ∞
0e−(α+jp)t dt =
=
[−1
α+ jpe−(α+jp)t
]∞0
=1
α+ jp.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 217 / 369
Fourierovy obrazy racionálních funkcí - aplikace reziduovévety
Predpoklady: P a Q jsou polynomy, st Q > st P a Q nemáreálné koreny:∫ ∞
−∞
P(t)Q(t)
ejt dt = 2πj∑
z | Q(z)=0 ,Im z>0
resz
(P(z)
Q(z)ejz
)
Pri výpoctu Fourierovy transformace racionální funkce P(t)Q(t)
potrebujeme integrál ∫ ∞
−∞
P(t)Q(t)
e−jpt dt
Ten se dá substitucí prevést na integrál výše:
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 218 / 369
Substituce pro p 6= 0:u = −pt , du = −p dt .Pak ∫ ∞
−∞
P(t)Q(t)
e−jpt dt =
∫ ∞
−∞
P(−up )
Q(−up )
eju du|p|
Oznacíme-li
R(z) =P(− z
p )
Q(− zp )
máme:
∫ ∞
−∞
P(t)Q(t)
e−jpt dt =2πj|p|
∑z | Q(−z/p)=0 ,Im z>0
resz R(z)ejz .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 219 / 369
8.7. Príklad.f (t) =
1t2 + 1
.
p 6= 0
R(z) =1
z2
(−p)2 + 1=
p2
z2 + p2 .
f (p) =2πj|p|
resj|p|p2
z2 + p2 ejz =2πj p2
|p|· e−|p|
2j |p|= πe−|p| .
Pro p = 0 dopocítáme ze spojitosti obrazu, nebo z definice:∫ ∞
−∞
1t2 + 1
dt = [arctg t ]∞−∞ = π .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 220 / 369
Souvislost Fourierovy transformace a Fourierovy rady
Predpokládejme, že f (t) je periodická funkce s periodou T > 0taková, že ∫ a+T
a|f (t)|dt <∞ .
Oznacme 1<a,a+T> charakteristickou funkci intervalu< a,a + T > a
fT = 1<a,a+T> · f (t) .
Pro Fourieruv koeficient, cn, funkce f (t) platí
cn =1T
∫ a+T
af (t) e−jnωt dt =
1T
fT (nω)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 221 / 369
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 222 / 369
8.8. Veta. Veta o inverzní Fourierove transformaciNecht’ f ∈ L1(R).
1 Je-li f spojitá na R a f ∈ L1(R) pak
f (t) =1
2π
∫ ∞
−∞f (p) ejpt dp
pro všechna t ∈ R .
2 Je-li f a f ′ po cástech spojitá funkce na R pak
f (t+) + f (t−)
2=
12π
∫ ∞
−∞f (p) ejpt dp
pro všechna t ∈ R .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 223 / 369
Význam:
f (t) =1
2π
∫ ∞
−∞f (ω) ejωt dω
ω1 < ω2 < · · · < ωnaproximující soucty tohoto integrálu:
12π
n−1∑i=1
f (ωi)(ωi+1 − ωi) ejωi t
jsou kombinací harmonických funkcí ωi(t) = ejωi t .|f (ω)| udává amplitudu.
8.9. Dusledek. Dve spojité funkce z L1(R) jsou stejné, mají-listejnou Fourierovu transformaci.
Dukaz: f ,g ∈ L1(R) spojité f = g. Pro h = f − g máme
h = 0 ,
a tedy h = 0Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 224 / 369
8.10. Príklad.
g(t) =1
2π
∫ ∞
−∞2
sin pp
ej pt dp.
Podle Príkladu 8.3 máme
g(t) =
1 je-li t ∈ (−1,1)
1/2 je-li t = 1,−10 jinak
Jinými slovy inverzní obraz funkce h(p) = 2 sin pp je funkce g(t).
Speciální prípad t = 0 vede na Newtonuv integrál.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 225 / 369
8.11. Veta. Základní gramatika Fourierovy transformace
1 Ff (t − a) = e−jpa f (p)(posun ve vzoru)
2 Ff (at) = 1|a| f (
pa ) ,a 6= 0
(zmena merítka, scaling)
3 Ff (−t) = f (p)(pravidlo konjugace)
4 Fejat f (t) = f (p − a)(posun obrazu, modulace vzoru)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 226 / 369
Dukaz:1 Ff (t − a) = e−jpa f (p) :
Ff (t − a)(p) =
∫ ∞
−∞f (t − a) e−jpt dt
Substituceu = t − a
=
∫ ∞
−∞f (u)e−jp(u+a) du = e−jpa
∫ ∞
−∞f (u)e−jpu du =
= e−jpa f (p) .
2
Ff (at)(p) =
∫ ∞
−∞f (at) e−jpt dt =
substituce u = a t , du = a dt
=1|a|
∫ ∞
−∞f (u) e−jp u
a du =1|a|
f (pa
) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 227 / 369
3
Ff (−t)(p) =
∫ ∞
−∞f (−t) e−jpt dt =
substituce u = −t
=
∫ ∞
−∞f (u) ejpu du =
∫ ∞
−∞f (u) e−jpu du =
=
∫ ∞
−∞f (u) e−jpu du = f (p) .
4 ∫ ∞
−∞f (t) ejat e−jpt dt =
∫ ∞
−∞f (t) e−j(p−a) t dt = f (p− a) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 228 / 369
8.12. Príklad.
e−12 (t−1)2 .
= e−jp√
2π e−12 p2
8.13. Príklad.
sin t e−t2=
ejt − e−jt
2 je−t2 .
=12 j√π
[e−
(p−1)2
4 − e−(p+1)2
4
]
8.14. Príklad. Predpokládejme, že platí veta o inverzníFourierove transformaci. Jaké reálné funkce mají reálnýFourieruv obraz ?
Rešení: f (p) = f (p) a tedy f (−t) = f (t). Jsou to pouze sudéfunkce.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 229 / 369
8.15. Príklad. Naleznete obraz funkce g(t) = f (2t − 3) pomocíobrazu funkce f (t).Rešení:
f (t)→ f (t − 3)→ f (2t − 3)
f (p)→ e−3j p f (p)→ 12
e−32 jp f (
p2
)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 230 / 369
8.16. Veta. Riemannovo-Lebesgueovo lemmaJe-li f ∈ L1(R), pak f je spojitá funkce a
limp→±∞
f (p) = 0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 231 / 369
8.17. Veta. Obraz derivaceNecht’ f (t) je spojite diferencovatelná funkce af , f ′ ∈ L1(R). Pak
Ff ′(t)(p) = jp f (p) .
Dukaz:f ′ ∈ L1(R) =⇒
∫∞0 f ′(t) dt = limt→∞ f (t)− f (0) .
Tedy existuje limita limt→±∞ f (t). Tato limita musí být nulanebot’ f ∈ L1(R).Nyní použijeme metodu per-partes:∫ ∞
−∞f ′(t) e−jp t dt =
[f (t) e−j p t
]t=∞
t=−∞+ j p
∫ ∞
−∞f (t) e−jp t dt =
= j p f (p) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 232 / 369
8.18. Príklad. f (t) = e−a t2,a > 0. Pak
f ′(t) = −2 a t e−a t2 .= j p
√π
ae−
p2
4a .
Dusledek:f , f ′, . . . , f (k) spojité funkce z L1(R) =⇒
f (k)(t) .= (j p)k f (p)
a dle Riemannova-Lebesgueova lemmatu
lim|p|→∞
pk f (p)→ 0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 233 / 369
8.19. Veta. Derivace obrazuNecht’ f (t) ∈ L1(R) a tf (t) ∈ L1(R). Pak
Ft f (t)(p) = jddp
f (p) .
8.20. Príklad. Spoctete Fourierovu transformaci funkce
f (t) = t e−t22
Rešení:
t e−t22.= j
ddp
√2π e
−p2
2 = −j√
2π p e−p2
2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 234 / 369
Konvoluce je operace na množine integrovatelných funkcí.Motivace: Co odpovídá ve Fourierove transformaci soucinufunkcí?
8.21. Definice. Necht’ f ,g ∈ L1(R). Konvoluce funkcí f a g jefunkce h = f ∗ g daná vztahem
(f ∗ g)(t) =
∫ ∞
−∞f (s)g(t − s) ds .
8.22. Príklad. h = fa ∗ fa, kde fa je bránová funkce.
h(t) =
∫ ∞
−∞fa(s) fa(t − s) ds .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 235 / 369
Integrujeme 1 pres prunik intervalu
< −a,a > ∩ < t − a, t + a > .
h(t) =
0 t < −2at + 2a t ∈< −2a,0 >2 a− t t ∈< 0,2 a >0 t > 2 a
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 236 / 369
8.23. Veta. Obraz konvoluceNecht’ f ,g ∈ L1(R). Pak pro h = f ∗ g platí
h(p) = f (p) g(p) .
Dukaz: Založen na zámene poradí integrace
∫ ∞
−∞
h(t)︷ ︸︸ ︷(∫ ∞
−∞f (s) g(t − s) ds
)e−jp t dt =
=
∫ ∞
−∞
(∫ ∞
−∞g(t − s) e−j p (t−s) dt
)︸ ︷︷ ︸
posun u=t−s
f (s) e−j p s ds =
=
(∫ ∞
−∞g(u) e−jp u du
)︸ ︷︷ ︸
g(p)
·(∫ ∞
−∞f (s) e−jp s ds
)︸ ︷︷ ︸
f (p)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 237 / 369
8.24. Príklad. Trojúhelník:
f (t) =
0 t < −2at + 2a t ∈< −2a,0 >2 a− t t ∈< 0,2 a >0 t > 2 a
Platí f (t) = fa(t) ∗ fa(t)Podle vety o obrazu konvoluce:
f (p) =
(2
sin app
)2
=4 sin2 ap
p2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 238 / 369
8.25. Príklad. Urcete konvoluci e−at2 ∗ e−bt2a,b > 0.
Fourierova transformace:√π
ae−
p2
4a ·√π
be−
p2
4b =π√ab
e−p2
4 (1/a+1/b) .
Inverze: √π
a + be−( ab
a+b ) t2
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 239 / 369
8.26. Príklad. Rešte diferenciální rovnici
y ′′(t)− y(t) = e−t2.
Fourierova transformace
−p2y(p)− y(p) = Fe−t2(p) .
−y(t) =
[e−t2 ∗ F−1
(1
1 + p2
)](t) .
F−1(
11 + p2
)(t) =
12
e−|t | .
y(t) = −1/2∫ ∞
−∞e−|t−s| e−s2
ds .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 240 / 369
Fourierova transformace je základem oboru:
teorie signáluharmonická analýzakvantová mechanikawaveletová analýzaparciální diferenciální rovniceatd.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 241 / 369
9. Laplaceova transformace
9.1. Prímá Laplaceova transformace
9.1. Definice. Predpokládejme, že f (t) je komplexní funkcedefinovaná na intervalu < 0,∞). Laplaceova transformacefunkce f je komplexní funkce F (p) daná vztahem
F (p) =
∫ ∞
0f (t) e−p t dt .
Za definicní obor Laplaceova obrazu považujeme množinuvšech komplexních p s Re p > 0, pro která existuje výšeuvedený integrál.
• LT zpracuje na rozdíl od FT i nestabilní systémy.• LT je motivována LTI systémy.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 242 / 369
Konvence:
1(t) =
1 t ≥ 00 t < 0 .
Casto ztotožnujeme f a 1(t)f (t).
Znacení: F = Lf , f .= F , Lf (t) = F (p)
Prímá Laplaceova transformace je zobrazení f → Lf .
9.2. Definice. Funkce f (t) definovaná na kladné cásti reálnéosy se nazývá funkce trídy L0 (též predmet standardníhotypu), jestliže
1 f je po cástech spojitá,2 f je nejvýše exponenciálního rustu, tj. existují konstanty
a,M ≥ 0 tak, že
|f (t)| ≤ M ea t pro všechna t ≥ 0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 243 / 369
• Príklady funkcí trídy L0: omezené po cástech spojité funkce,polynomy, kvazipolynomy (souciny polynomu aexponenciálních funkcí).
• Laplaceova transformace je definována pro širší trídu funkcínež transformace Fourierova.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 244 / 369
9.3. Príklad.f (t) = e(1+j) t .
F (p) =
∫ ∞
0e(1+j) te−p t dt =
∫ ∞
0e(1+j−p) t dt =
[e(1+j−p) t
1 + j − p
]∞0.
Vzhledem k tomu, že
|e(1+j−p) t | = e(1−Re p) t
limita v∞ existuje (a je rovna nule) práve když Re p > 1. Tedy
F (p) =1
p − 1− jRe p > 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 245 / 369
Zobecnení: Pro a ∈ C.
ea t .=1
p − aRe p > Re a
9.4. Veta. Predpokládejme, že f (t) ∈ L0 má Laplaceuv obrazF (p). Pak platí následující tvrzení:
1 Existuje α ≥ 0 tak, že F (p) je holomorfní v polorovinep ∈ C | Re p > α
2 limRe p→∞ F (p) = 0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 246 / 369
Dukaz: (ii)
|f (t)| ≤ M eαt .
Vezmeme p s Re p > α.∣∣∣∣∫ ∞
0f (t) e−pt dt
∣∣∣∣ ≤ ∫ ∞
0M eαte−Re p t dt =
=
[M
e(α−Re p) t
α− Re p
]t=∞
t=0=
MRe p − α
→ 0
pro Re p →∞ .
9.5. Dusledek. Je-li f (t) ∈ L0 s Laplaceovým obrazem F (p),pak existují konstanty M, α ≥ 0 takové, že
|F (p)| ≤ MRe p − α
,
pro všechna p s Re p > α.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 247 / 369
Další duležité obrazy:
sinωt .=
ω
p2 + ω2
cosωt .=
pp2 + ω2
tn .=
n!
pn+1
Základní gramatika Laplaceovy transformace:
f (t) .= F (p)
eat f (t) .= F (p − a) , a ∈ R
f (ωt) .=
1ω
F (pω
) , ω > 0
tf (t) .= −F ′(p)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 248 / 369
Pravidla o translaci:
f (t) .= F (p)
1(t − a) f (t − a).= e−ap F (p) ,a > 0
1(t − a) f (t) .= e−ap Lf (t + a)
9.6. Príklad. Spoctete obraz konecného impulsu
f (t) =
1 t ∈< a,2a >0 jinak.
Rešení:
f (t) = 1(t − a)− 1(t − 2a).= e−ap 1
p− e−2ap 1
p.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 249 / 369
9.7. Veta. Obraz periodické funkceJe-li f ∈ L0 periodická funkce s periodou T > 0, pak Laplaceuvobraz funkce f je funkce
F (p) =
∫ T0 f (t) e−pt dt
1− e−pT .
Dukaz:
F (p) =
∫ ∞
0f (t) e−pt dt =
∞∑n=0
∫ (n+1)T
nTf (t) e−pt dt =
Substituce t = nT + x , dt = dx :
=∞∑
n=0
∫ T
0f (nT+x) e−p(nT+x) dx =
∞∑n=0
e−pnT∫ T
0f (x) e−px dx =
=
∫ T
0f (x) e−px dx ·
∞∑n=0
(e−pT )n =
∫ T0 f (x) e−px dx
1− e−pT .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 250 / 369
9.8. Príklad. Naleznete obraz periodického prodloužení funkce
f (t) =
1 t ∈< a,2a >0 jinak
s periodou T = 2a.
Rešení: T = 2a
1(t − a)− 1(t − 2a).= e−pa 1
p− e−2pa 1
p.
F (p) =1p· (e
−ap − e−2ap)
1− e−2ap =1p· e−ap(1− e−ap)
(1− e−ap)(1 + e−ap)=
=1p· e−ap
1 + e−ap =1p· 1
1 + eap
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 251 / 369
V nekterých prípadech se dá Laplaceova transformacemocninné rady pocítat clen po clenu.
9.9. Veta. “Laplacování clen po clenu"Predpokládejme, že f (t) ∈ L0 a jsou splneny následující dvepodmínky
1
f (t) =∞∑
n=0
an tn
pro všechna t ≥ 0 .2 Rada
∞∑n=0
ann!
pn+1
konverguje v jistém okolí nekonecna.Pak pro Laplaceuv obraz F (p) funkce f (t) platí
F (p) =∞∑
n=0
ann!
pn+1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 252 / 369
9.10. Príklad.f (t) =
sin tt
.
f (t) =∞∑
n=0
(−1)n t2n
(2n + 1)!.
Zkoumejme konvergenci rady∞∑
n=0
(−1)n(2n)!
(2n + 1)! p2n+1 =∞∑
n=0
(−1)n
(2n + 1) p2n+1 .
Tato rada má stejný (vnitrní) polomer konvergence jako rada∞∑
n=0
1p2n+1 ,
která konverguje pro |p| > 1. Pro Laplaceuv obraz F (p) máme
F (p) =∞∑
n=0
(−1)n
(2n + 1) p2n+1 pro Re p > 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 253 / 369
9.2. Inverzní Laplaceova transformace
• Nutná podmínka pro existenci vzoru v L0 je holomorfnost vjisté pravé polorovine a nulová limita funkce pro Re p →∞. Dotéto kategorie spadají racionální funkce.
9.11. Tvrzení. Je-li F (p) = P(p)Q(p) , kde P and Q jsou polynomy,
st Q > st P, pak F je Laplaceovým obrazem funkce z L0.
algoritmus: rozklad na cástecné zlomky
eat tn−1
(n − 1)!.=
1(p − a)n .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 254 / 369
9.12. Príklad.
F (p) =2(p2 − 1)
(p2 + 1)2 .
rozklad na cástecné zlomky:
F (p) =A
(p + j)2 +B
(p + j)+
C(p − j)2 +
D(p − j)
.
Po výpoctu
F (p) =1
(p + j)2 +1
(p − j)2.= e−jt t + ej t t = 2t cos t .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 255 / 369
9.13. Príklad.F (p) =
1(p2 + 1)2 .
F (p) =A
p + j+
B(p + j)2 +
Cp − j
+D
(p − j)2 .
±j je pólem druhého rádu funkce F (p).
A = res−j F (p) = limp→−j
[F (p) (p + j)2]′ =
limp→−j
(1
(p − j)2
)′=
−2(−j − j)3 =
j4.
C = A = − j4.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 256 / 369
B = limp→−j
F (p)(p + j)2 =1
(−j − j)2 = −14.
D = B .
Vzor:
f (t) = −14
t e−jt − 14
t ej t +j4
e−j t − j4
ejt =
= −12
t cos t +12
sin t .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 257 / 369
Obecnejší než racionální funkce jsou funkce holomorfní v okolínekonecna mající v nekonecnu nulovou limitu.
9.14. Veta. Veta o rozkladuNecht’ F (p) je holomorfní funkce v okolí nekonecna s Laurento-vým rozvojem
F (p) =∞∑
n=1
an
pn .
Pak F (p) je Laplaceovým obrazem funkce
f (t) =∞∑
n=1
an
(n − 1)!tn−1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 258 / 369
9.15. Príklad.F (p) =
1p
e−1p .
F (p) =1p− 1
1!
1p2 +
12!p3 − · · · =
∞∑k=0
(−1)k
k !
1pk+1 .
f (t) =∞∑
k=0
(−1)k
k !
tk
k !.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 259 / 369
Integrální formule a metoda reziduí
odvození integrálního vyjádrení:
Predpoklady:f (t) ∈ L0, f ′(t) po cástech spojitá,f (t) = 0 pro t < 0. Existuje α > 0 tak, že
|f (t)| ≤ M eα t , t ≥ 0 .
Pro x > α jef (t) e−x t ∈ L1(R) .
Zvolme pevne p = x + j y , kde x > α , y ∈ R.Pocítejme hodnotu Laplaceovy transformace v bode p:
Lf (p) = F (x + j y) =
∫ ∞
0(f (t) e−x t) e−j y t dt .
Jinými slovyF (x + j y) = Ff (t)e−xt(y) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 260 / 369
Mužeme použít vetu o inverzní Fourierove transformaciaplikovanou na funkci
f (t) e−x t
V bodech spojitosti funkce f (t) máme:
f (t) e−x t =1
2π
∫ ∞
−∞F (x + j y) ej y t dy t > 0 .
Odtud
f (t) =1
2π
∫ ∞
−∞ex tej y tF (x + j y) dy .
Tento integrál se dá interpretovat jako krivkový integrál presprímku: Zvolme nejdríve úsecku, CR, s krajními body
x − j R , x + j R , R > 0 .
Parametrizace této úsecky je
ϕ(y) = x + j y , ϕ′(y) = j ; y ∈< −R,R > .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 261 / 369
∫CR
F (p)ep t dp =
∫ R
−RF (x + j y) ex t ej y t j dy .
Tedy
12πj
∫CR
F (p) ep t dp =1
2π
∫ R
−RF (x + jy) ext+j yt dy .
Limitou pro R →∞ dostaneme
Riemannuv–Mellinuv vzorec
f (t) =1
2πj
∫Lx
F (p) ep t dp .
Lx ... Bromwichova linie. Prímka daná parametrizací
ϕ(t) = x + j t t ∈ (−∞,∞) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 262 / 369
Též používáme zápis
f (t) =1
2π j
∫ ∞j+x
−∞j+xF (p) ep t dp
Všimneme si, že na x , x > α nezáleží.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 263 / 369
Jak vypocítat integrál∫∞j+a−∞j+a F (p) ep t dp, a > 0 ?
Predpokládejme, že uvedený integrál existuje.
Technické predpoklady:
1 Laplaceuv obraz, F (p), se dá rozšírit na funkci holomorfnív C vyjma spocetne mnoha izolovaných singulárních bodup1,p2, . . . ležících v polorovinep ∈ C | Re p < a
2 Existuje posloupnost polokružnic
Kn = p ∈ C | |p − a| = Rn,Re p ≤ a
s polomery Rn →∞ tak, že∫Kn
F (p) ep t dp → 0 pro n→∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 264 / 369
Technické predpoklady implikují pomocí reziduové vety, že
∫ ∞j+a
−∞j+aF (p) ep t dp = 2πj
∑n
respn F (p) ep t .
Metoda reziduí:
f (t) =∑
n
respn F (p) ep t
Dá se použít u nekterých duležitých funkcí jako racionálnífunkce, a obrazy periodických funkcí. Dá odhad vzoru, vevšech prípadech je možno výsledek overit zkouškou.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 265 / 369
Testovací príklady:
9.16. Príklad.F (p) =
1p2
f (t) = res0ep t
p2 = limp→0
(ep t)′ = te0 = t .
9.17. Príklad.
F (p) =p
p2 + a2 a > 0 .
f (t) = resjap
p2 + a2 ep t + res−jap
p2 + a2 ep t =
=aj
2 ajej a t +
−aj−2 aj
e−j a t =12
eaj t +12
e−aj t = cos at .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 266 / 369
9.18. Poznámka. Pokud je singularita pn pólem prvního rádufunkce F (p), pak
respn F (p) ep t = (respn F (p)) · epn t .
9.19. Príklad.
F (p) =1
(p − 1)(p − 2)(p − 3).
f (t) = et res1 F (p) + e2t res2 F (p) + e3t res3 F (p) =
=et
2− e2t +
12
e3t .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 267 / 369
9.20. Príklad.
F (p) =1
(p − 1)2(p − 2)(p − 3)
res1ept
(p − 1)2(p − 2)(p − 3)= lim
p→1
(ept
(p − 2)(p − 3)
)′=
= limp→1
(t ept
(p − 2)(p − 3)− 2p − 5
(p − 2)2(p − 3)2 ept)
=
34
et + t12
et .
Ostatní singularity jsou jednoduché póly a tedy
f (t) =34
et + t12
et − e2t +14
e3t .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 268 / 369
9.21. Príklad.
F (p) =1
(p2 + 1)2 .
singularity ±j , póly druhého rádu
resjept
(p2 + 1)2 = limp→j
[ept
(p + j)2
]′=
= limp→j
tept(p + j)2 − ept2(p + j)(p + j)4 =
−t ejt
4− jejt
4.
Podobne
res−jept
(p2 + 1)2 =−te−jt
4+
14
je−jt .
Záver:
f (t) = −12
t cos t +12
sin t .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 269 / 369
9.22. Príklad.
F (p) =1
p(1 + ep).
Singularity: 0,ep = −1, tj. pn = (2n + 1)jπ, n ∈ ZAplikujeme metodu reziduí:
res0ept
p(1 + ep)=
11 + e0 =
12.
Pro pn = (2n + 1)πj
respn
ept
p(1 + ep)=
etpn
pn epn︸︷︷︸=−1
= − et(2n+1) πj
(2n + 1)πj.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 270 / 369
f (t) =12−
∞∑n=−∞
et (2n+1)π j
(2n + 1)π j=
=12−
∞∑n=−∞
cos[(2n + 1)π t ] + j sin[(2n + 1)π t ](2n + 1)πj
=
=12− 2π
∞∑n=0
sin[(2n + 1)π t ](2n + 1)
.
Dostáváme takto periodickou funkci s periodouT = 2π
π = 2.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 271 / 369
Na základe této informace jsme dokonce schopni explicitnestanovit danou funkci.
1p(1 + ep)
=G(p)
1− e−2p
Tedy
G(p) =1− e−2p
p(1 + ep)=
(1− e−p)(1 + e−p)
p(1 + e−p)ep =
=1p
e−p − 1p
e−2p .= 1(t − 1)− 1(t − 2) .
Budeme se ted’ venovat zobecnení této metody.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 272 / 369
Metoda odštepení poluMotivace:kvazipolynom: p(t) eat . . . p(t) je polynom, a ∈ C.
Laplaceuv vzor Laplaceuv obraz
soucet kvazipolynomu racionální funkce P(p)Q(p)
soucet funkcí "kvazipolynom·1(t − a)” soucet funkcí tvaru P(p)Q(p)
e−ap, a ≥ 0.
konecné impulsy dané kvazipolynomy soucet funkcí tvaru P(p)Q(p)
e−ap, a ≥ 0.
periodické funkce z kvazipolynomu soucet funkcí P(p)Q(p)
e−ap
1−e−pT , a ≥ 0, T > 0
soucet všech funkcí výše soucty soucet všech funkcí výše
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 273 / 369
Takovéto funkce vznikají pri rešení systému diferenciálních aintegro-diferenciálních rovnic, popisují lineární dynamickésystémy. Typická situace:
Y (p)︸ ︷︷ ︸L−obraz výstupu
= F (p)︸ ︷︷ ︸prenosová funkce
· X (p)︸ ︷︷ ︸L−obraz vstupu
Prenosová funkce je obvykle ryze lomená funkce, jejížsingularity mají zápornou reálnou cást.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 274 / 369
To nás vede k úloze nalézt vzor k funkci typu
F (p) =P(p)
Q(p)
e−ap
1− e−pT , a ≥ 0,T > 0
Je možno použít metodu reziduí pro prípad a = 0 a pak posunpro obecné a, singularity jsou dvojího typu:
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 275 / 369
1 Koreny polynomu Q(p).Je-li p1 koren polynomu Q, pak je pólem rádu l funkceF (p). Výpocet rezidua vede k funkci typu
pl−1(t)ep1 t , kde pl−1 je polynom stupne l − 1 .
Vyplyne z konkrétních výpoctu.2 Koreny rovnice e−Tp = 1, tj. body
2πnjT
n = 0,±1,±2, . . .
Nekonecne techto bodu není korenem polynomu Q. Vtechto bodech má F (p) jednonásobné poly. Výpoctemreziduí pak dostaneme funkce typu
cn e2nπj
T t , cn ∈ C .
Soucet techto funkcí je periodická funkce s periodou T > 0(Dostaneme ji ve forme Fourierovy rady).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 276 / 369
Záver: Vzor f (t) je tvaru
f (t) = h(t)︸︷︷︸soucet kvazipolynomu, neustálená složka
+ g(t)︸︷︷︸periodická funkce s periodou T
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 277 / 369
9.23. Príklad.
F (p) =1
p − 2· 1
1− e−3p .
vzor f (t)f (t) = A e2t + g(t) .
g(t) je funkce s periodou 3.
res21
p − 2· 1
1− e−3p ept =1
1− e−6 e2t
A =1
1− e−6 .
F (p) =1
p − 2· 1
1− e−3p =A
p − 2+
G(p)
1− e−3p
G(p) je obraz konecného impulzu délky 3 generující funkci g(t).Pronásobením funkcí
(1− e−3p)
dostávámeJan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 278 / 369
G(p) =1
p − 2− A(1− e−3p)
p − 2.=
.= e2t − A e2t + A e2(t−3)1(t − 3) .
g(t) = (1− A)e2t t ∈< 0,3)
g(t) = −0,002458 e2t t ∈< 0,3)
Dále se periodicky opakuje.Napr.
f (100) = Ae200 + g(100) = Ae200 + g(99 + 1) =
= Ae200 + (1− A)e2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 279 / 369
9.24. Príklad.F (p) =
1p(1− e−p)
.
0.. dvojnásobný pól
res0 F (p)ept = limp→0
(pept
1− e−p
)′=
= limp→0
ept (1 + tp)(1− e−p)− pe−p
(1− e−p)2 =
(2 krát L’Hospitalovo pravidlo)
=2t + 1
2.
f (t) =2t + 1
2+ g(t) ,
kde g(t) má periodu 1.Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 280 / 369
Fourierovo vyjádrení g(t): n 6= 0
res2nπj F (p)ept =e2nπtj
2nπj
g(t) =∑
n∈Z,n 6=0
e2nπtj
2nπj=
1π
∞∑n=1
sin 2nπtn
.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 281 / 369
Explicitní vyjádrení:
F (p) =1
p(1− e−p)=
1p2 +
12p
+G(p)
1− e−p
G(p) =1p− 1
p2 (1− e−p)− 12p
(1− e−p).=
.= 1− t + (t − 1)1(t − 1)− 1
2+
12
1(t − 1) .
g(t) =12− t t ∈< 0,1) .
f (t) = t +12
+12− t = 1 t ∈< 0,1) .
f (t) = t +12
+ g(t − 1) = t +12
+12− (t − 1) = 2 t ∈< 1,2) .
Tedyf (t) = n t ∈< n − 1,n) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 282 / 369
9.25. Príklad. Urcete analyticky inverzní Laplaceuv obrazfunkce
F (p) =1
(p + 1) (p + 2) (1− e−p).
res−1 ept F (p) =e−t
1− e= A e−t ; A =
11− e
res−2 ept F (p) = − e−2t
1− e2 = B e−2 t ; B =−1
1− e2
Perioda je 1.
1(p + 1) (p + 2) (1− e−p)
=A
p + 1+
Bp + 2
+G(p)
1− e−p
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 283 / 369
Odtud
G(p) =1
(p + 1) (p + 2)− A (1− e−p)
p + 1− B (1− e−p)
p + 2
=−1
p + 2+
1p + 1
− A (1− e−p)
p + 1− B (1− e−p)
p + 2
Pro t ∈< 0,1) je periodická cást
g(t) = −e−2 t +e−t −A e−t −B e−2 t = (1−A) e−t − (1+B) e−2 t
Záver:f (t) = A e−t + B e−2 t + g(t) .
Predikce: pro velké t je f (t) skoro periodická funkce.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 284 / 369
10. Z -transformace
10.1. Prímá Z -transformace
Motivace: zpracování diskrétního signálu, vzorkování,umožnuje použít analytické operace na diskrétní objekty.
Z : (an)∞n=0 7→ F (z) =
∞∑n=0
an
zn .
Otázka: Pro jaké posloupnosti (an)∞n=0 konverguje rada∑∞
n=0anzn v jistém okolí nekonecna?
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 285 / 369
10.1. Tvrzení. Rada∞∑
n=0
an
zn
konverguje v nejakém okolí nekonecna práve tehdy když existujíkonstanty M ≥ 0 a c ∈ R tak, že
|an| ≤ M ecn pro všechna n . (5)
Dukaz: Predpokládejme, že∑∞
n=0anzn konverguje ve vnejšku
kruhu z ∈ C | |z| > R′. Její soucet
F (z) =∞∑
n=0
an
zn .
je na této oblasti holomorfní funkce.Zvolme kladne orientovanou kružnici C se stredem v pocátku,ležící v z ∈ C | |z| > R′, tj. s polomerem R > R′ > 0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 286 / 369
Podle integrálního vyjádrení koeficientu Laurentovy rady (tadyje treba radu
∑∞n=0
anzn interpretovat jako radu se stredem v
pocátku) máme
|an| =∣∣∣∣ 12π j
∫C
F (z)
z−n+1 dz∣∣∣∣ ≤
≤ 12π· 1
R1−n ·maxz∈C|F (z)| · 2πR =
= Rn ·maxz∈C|F (z)|︸ ︷︷ ︸
=M
.
Tedy
|an| ≤ Men ln R .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 287 / 369
Opacná implikace, predpokádejme, že platí odhad (5):
|an||z|n≤ M
(ec)n
|z|n.
Rada∞∑
n=0
M(ec)n
|z|n
je pro |z| > ec geometrická rada s absolutní hodnotoukvocientu
ec
|z|< 1 .
Dle srovnávacího kritéria konverguje rada
∞∑n=0
an
zn pro všechna z s |z| > ec .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 288 / 369
Znacení:Z0 ... množina všech komplexních posloupností (an)
∞n=0, které
jsou nejvýše exponenciálního rustu. Tj.
|an| ≤ M ecn pro všechna n ,
kde M ≥ 0, c ∈ R.
Ekvivalentne, pro (an)∞n=0 ∈ Z0 existuje M ≥ 0 a a > 0 tak, že
|an| ≤ M an pro všechna n .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 289 / 369
Každá omezená posloupnost je v Z0Každá posloupnost (p(n))∞n=0, kde p je polynom, je v Z0:
limn→∞
p(n)
en = 0 .
Tedy napríklad|p(n)| ≤ en
pro dostatecne velká n.Vzorkování kvazipolynomu je v Z0.(nn)∞n=0 6∈ Z0
limn→∞
nn
ecn = limn→∞
en(ln n−c) =∞ .
(n!)∞n=0 6∈ Z0.Podílové kritérium pro radu
∑∞n=0
n!zn :
(n + 1)!
|z|n+1 ·|z|n
n!=
n + 1|z|
→ ∞ ,n→∞ .
Nekonverguje v žádném bode.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 290 / 369
10.2. Definice. Z-obraz posloupnosti (an)∞n=0 ∈ Z0 je funkce
F (z) =∞∑
n=0
an
zn .
Znacení:
Z (an)∞n=0 = F (z) , (an)
∞n=0
.= F (z)
K0 ... funkce holomorfní v okolí∞ mající v∞ vlastní limitu.
10.3. Veta. Z-transformace je prosté zobrazení množiny Z0 namnožinu K0.
Dukaz: Veta o Laurentove rozvoji.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 291 / 369
10.4. Príklad.
(an)∞n=0 = (1,2,0,4,0,0, . . .) .
F (z) = 1 +2z
+4z3 .
z 6= 0 .
10.5. Príklad.
(an)∞n=0 = (0,0, . . . , 1︸︷︷︸
index m
,0,0, . . .) = (δmn)∞n=0 .
F (z) =1
zm
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 292 / 369
10.6. Príklad.
(an)∞n=0 =
(1n!
)∞
n=0
F (z) =∞∑
n=0
1n!
1zn = e
1z .
z 6= 0 .
10.7. Príklad.(an)
∞n=0 = (c)∞n=0 .
F (z) =∞∑
n=0
czn = c
11− 1/z
=cz
z − 1,
|z| > 1.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 293 / 369
10.8. Príklad.
(an)∞n=0 = (0,1,0,1,0,1, . . .) .
F (z) =1z
+1z3 +
1z5 + · · · =
1z
1− 1/z2 =z
z2 − 1.
|z| > 1.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 294 / 369
10.9. Príklad. Víme, že se posloupnost (an)∞n=0 zobrazí na
funkci F (z). Jaká posloupnost se zobrazí na funkci F (z2)?
F (z) =∞∑
n=0
an
zn
F (z2) =∞∑
n=0
an
z2n
Tedy
(a0,0,a1,0,a2,0, . . .)
má Z -obraz F (z2).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 295 / 369
10.10. Príklad.
(an)∞n=0 = (an)∞n=0 , a ∈ C
F (z) =∞∑
n=0
an
zn =z
z − a.
|z| > |a|.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 296 / 369
10.11. Veta. Základní gramatika Z-transformacePredpokládejme, že (an)
∞n=0 ∈ Z0 a (bn)
∞n=0 ∈ Z0, pricemž
Z (an)∞n=0 = F (z) .
Pak platí1 (Linearita)
Z (c1 an + c2 bn)∞n=0 = c1Z (an)
∞n=0 + c2 Z (bn)
∞n=0
pro libovolná c1, c2 ∈ C.2 (Multiplikace)
Z (an an)∞n=0 = F
(za
),
pro všechna a 6= 0.3 (Derivace obrazu)
Z (n an)∞n=0 = −zF ′(z) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 297 / 369
Dukaz:1
Z (c1 an + c2 bn)∞n=0 =
∞∑n=0
c1 an + c2 bn
zn =
= c1
∞∑n=0
an
zn + c2
∞∑n=0
bn
zn = c1Z (an)∞n=0 + c2Z (bn)
∞n=0 .
2
Z (an an)∞n=0 =
∞∑n=0
an an
zn =∞∑
n=0
an
(za)n = F
(za
).
3
F ′(z) =
( ∞∑n=0
an
zn
)′=
∞∑n=0
−nan1
zn+1 .
−zF ′(z) =∞∑
n=0
nan
zn = Z (n an)∞n=0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 298 / 369
10.12. Príklad.(c + 2 an)∞n=0
Z (c + 2 an)∞n=0 = Z (c)∞n=0 + 2Z (an)∞n=0 =
=cz
z − 1+ 2
zz − a
|z| > max(1, |a|)
10.13. Príklad.(sinωn)∞n=0 .
sin nω =12j
(ejωn − e−jωn) .
F (z) =12j
(z
z − ejω−z
z − e−jω
)=
12j
z2 − ze−jω − z2 + zejω
z2 − 2z cosω + 1=
=z sinω
z2 − 2z cosω + 1Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 299 / 369
10.14. Príklad.(an sin nω)∞n=0
Z (an sin nω)∞n=0 =za sinω(
za
)2
− 2 za cosω + 1
=
=az sinω
z2 − 2az cosω + a2 .
10.15. Príklad.(n)∞n=0 .
Z (n)∞n=0 = −z(
zz − 1
)′=
z(z − 1)2
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 300 / 369
10.16. Príklad.(n2)∞n=0
Z (n2)∞n=0 = −z(
z(z − 1)2
)′= −z
(z − 1)2 − z2(z − 1)
(z − 1)4 =z2 + z
(z − 1)3 .
Takto je možno získat obraz každého polynomu.
10.17. Príklad.(an n)∞n=0
F (z) =za
(za − 1)2 =
az(z − a)2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 301 / 369
10.18. Veta. Posun dopravaNecht’ (an)
∞n=0 ∈ Z0 a k je nezáporné celé císlo. Definujme
posloupnost (bn)∞n=0 vztahem
bn =
an−k jestliže n ≥ k0 jestliže n < k .
Pak
Z (bn)∞n=0 =
1zk F (z) ,
kde F (z) je obraz (an)∞n=0.
Též:
(an−k1(n − k))∞n=0.=
1zk F (z) .
(
k︷ ︸︸ ︷0, . . .0,a0,a1, . . .)
.=
1zk F (z) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 302 / 369
Dukaz:
Z (bn)∞n=0 =
a0
zk +a1
zk+1 +a2
zk+2 + · · ·
=1zk (a0 +
a1
z+
a2
z2 + · · · ) =1zk F (z) .
10.19. Príklad.(0,0,0,1,1,1, · · · )
(1)∞n=0.=
zz − 1
(0,0,0,1,1,1, · · · ) .=
1z3
zz − 1
.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 303 / 369
10.20. Veta. Translace vlevoPredpokládejme, že (an)
∞n=0 ∈ Z0 má Z−obraz F (z) a k je celé
nezáporné císlo. Definujme posloupnost (bn)∞n=0 rovností
bn = an+k n = 0,1, . . .
Pak
Z (bn)∞n=0 = zk
[F (z)−
k−1∑n=0
an
zn
].
(ak ,ak+1, . . .).= zk
(F (z)− a0 −
a1
z− a2
z2 − · · · −ak−1
zk−1
)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 304 / 369
Dukaz:Z (bn)
∞n=0 = ak +
ak+1
z+
ak+2
z2 + · · ·
zk[F (z)−
k−1∑n=0
an
zn
]= zk
( ∞∑n=0
an
zn −k−1∑n=0
an
zk
)=
= zk(
ak
zk +ak+1
zk+1 +ak+2
zk+2 + · · ·)
= ak +ak+1
z+
ak+2
z2 + · · ·
10.21. Príklad.(sin 5ω, sin 6ω, . . .)
F (z) = z5(
z sinωz2 − 2z cosω + 1
−sinωz−sin 2ω
z2 −sin 3ωz3 −sin 4ω
z4
)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 305 / 369
10.22. Príklad.((n + 3)2)∞n=0
(n2)∞n=0.=
z2 + z(z − 1)3 .
F (z) = z3(
z2 + z(z − 1)3 − 0− 1
z− 4
z2
)=
=z5 + z4
(z − 1)3 − z2 − 4z .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 306 / 369
Diference posloupnosti (an)∞n=0 ∈ Z0 je definována rovností
∆(an)∞n=0 = (an+1 − an)
∞n=0 .
Diference vyšších cádu:
∆k (an)∞n=0 = ∆∆k−1(an)
∞n=0 .
Príklady:
∆2(an)∞n=0 = ∆(an+1−an)
∞n=0 = (an+2−an+1−(an+1−an))
∞n=0 =
(an+2 − 2an+1 + an)∞n=0
∆(n)∞n=0 = (1)∞n=0 .
∆2(n)∞n=0 = (0)∞n=0 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 307 / 369
10.23. Tvrzení. Necht’ (an)∞n=0 ∈ Z0 se Z-obrazem F (z). Pak
Z (∆an)∞n=0 = (z − 1)F (z)− za0 .
Dukaz:
(an+1)∞n=0 = (a1,a2, . . .)
.= z[F (z)− a0] .
∆(an)∞n=0
.= zF (z)− za0 − F (z) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 308 / 369
10.24. Definice. Predpokládejme, že(an)
∞n=0, (bn)
∞n=0 ∈ Z0.
Konvoluce techto posloupností je posloupnost
(cn)∞n=0 = (an)
∞n=0 ∗ (bn)
∞n=0 ,
definovaná vztahem
cn =n∑
k=0
ak bn−k n = 0,1, . . . .
c0 = a0 b0
c1 = a0 b1 + a1 b0
c2 = a0 b2 + a1 b1 + a2 b0
10.25. Príklad.
(1)∞n=0 ∗ (1)∞n=0 = (n + 1)∞n=0
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 309 / 369
10.26. Príklad.
(1)∞n=0 ∗ (en)∞n=0 = (1,1 + e,1 + e + e2, . . .)
10.27. Príklad. Co je konvoluce s posloupností (0,1,0,0, . . .)?
(0,1,0,0, . . .) ∗ (a0,a1,a2, . . .) = (0,a0,a1, . . .)
10.28. Príklad. Co je konvoluce s posloupností
(0,0, . . . ,0︸ ︷︷ ︸k
,1,0, . . .) = (δkn)∞n=0?
(δkn)∞n=0 ∗ (an)
∞n=0 = (0,0, . . . ,0︸ ︷︷ ︸
k
,a0,a1, . . .)
Posun doprava o k -pozic.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 310 / 369
10.29. Veta. Veta o konvoluciPredpokládejme, že (an)
∞n=0, (bn)
∞n=0 ∈ Z0,
Z (an)∞n=0 = F (z), Z (bn)
∞n=0 = G(z).
PakZ [(an)
∞n=0 ∗ (bn)
∞n=0] = F (z) ·G(z) .
Dukaz:
F (z)G(z) =∞∑
k=0
ak
zk ·∞∑
m=0
bm
zm =
=∞∑
n=0
( n∑k=0
akbn−k
)1zn = Z [(an)
∞n=0 ∗ (bn)
∞n=0]
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 311 / 369
10.30. Príklad.
(n + 1)∞n=0 = (1)∞n=0 ∗ (1)∞n=0.=
(z
z − 1
)2
10.31. Príklad.
(1)∞n=0 ∗ (en)∞n=0.=
zz − 1
zz − e
=z2
(z − 1)(z − e).
10.32. Príklad. Urcete posloupnost (an)∞n=0, pro kterou platí
(an)∞n=0 ∗ (2n)∞n=0 = (4n)∞n=0 .
Z (an)∞n=0 ·
zz − 2
=z
z − 4
Z (an)∞n=0 =
z − 2z − 4
= 1 +2
z − 4.= (δn0 + 2 · 1(n − 1)4n−1)∞n=0 = (1,2,8,32, . . .) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 312 / 369
10.33. Príklad. Pro jakou posloupnost (an)∞n=0 platí, že
(an)∞n=0 ∗ (bn)
∞n=0 = (bn)
∞n=0
pro všechna (bn)∞n=0 ∈ Z0.
F (z) ·G(z) = G(z)
F (z) = 1
(an)∞n=0 = (1,0,0, . . .) .
Dusledek: Konvolutivní soucin je komutativní, asociativní a májednotkový prvek.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 313 / 369
Význam konvoluce
L : Z0 7→ Z0
vstup 7→ výstup
1 L je translacne invariantní, tj. jestližeL(an)
∞n=0 = (bn)
∞n=0, pak
L(1(n − k)an−k )∞n=0 = (1(n − k)bn−k )∞n=0 .
2 L je lineární, tj
L(c1(an)∞n=0+c2(bn)
∞n=0+· · · ) = c1L(an)
∞n=0+c2L(bn)
∞n=0+· · ·
Predpokládejme, že
L(1,0, . . .) = (b0,b1, . . .)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 314 / 369
vstup:
a0(1,0,0, . . .) + a1(0,1,0,0, . . .) + . . .
výstup:
a0 · (b0, b1, b2, b3, . . .) +a1 · (0, b0, b1, b2 . . .) +a2 · (0, 0, b0, b1, . . .) +. . . . . . . . .
(a0b0, a0b1 + a1b0, a0b2 + a1b1 + a2b0, . . . )
Záver:Odezva na (an)
∞n=0 je
(an)∞n=0 ∗ (bn)
∞n=0 = (an)
∞n=0 ∗ L(1,0,0, . . .) nebo-li
L(an)∞n=0 = (an)
∞n=0 ∗ L(1,0,0, . . .) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 315 / 369
10.34. Tvrzení. Je-li Z (an)∞n=0 = F (z), pak
Z( n∑
k=0
ak
)∞
n=0=
zF (z)
z − 1.
Dukaz: ( n∑k=0
ak
)∞
n=0= (an)
∞n=0 ∗ (1)∞n=0
.=
zz − 1
F (z) .
10.35. Príklad.
Z( n∑
k=0
k)
=z
z − 1· z(z − 1)2
.=
z2
(z − 1)3
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 316 / 369
10.2. Inverzní Z -transformace
Z−1 : K0 7→ Z0
F (z) 7→ (an)∞n=0
F (z) =∞∑
n=0
an
zn .
Metody výpoctu:• rozvoj v Laurentovu radu• integrální forma, reziduová veta
an =1
2πj
∫C
F (z)zn−1 dz
kde C je kladne orientovaná kružnice se stredem v pocátku,ležící v oblasti, kde je obraz holomorfní
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 317 / 369
Podle reziduové vety:
an =∑
zi
reszi (F (z) zn−1) .
Suma pres singularity ležící uvnitr C.
• prímé vzorce
a0 = limz→∞
F (z)
a1 = limz→∞
z(F (z)− a0)
a2 = limz→∞
z2(
F (z)− a0 −a1
z
)
an+1 = (−1)n+1 limz→∞
zn+2
(n + 1)![znF (z)](n+1) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 318 / 369
• známé obrazy• konvoluce
10.36. Príklad.F (z) = sin
1z
sin1z
=∞∑
n=0
(−1)n 1(2n + 1)!
1z2n+1 .
a2n+1 = (−1)n 1(2n + 1)!
a2n = 0
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 319 / 369
10.37. Príklad.
F (z) =1
(z − 1)(z − e)
F (z) =1
1− e
(1
z − 1− 1
z − e
)1
z − 1=
1z· z
z − 1.= (0,1,1, . . .)
1z − e
=1z· z
z − e.= (0,1,e,e2, . . .)
F (z) =1
1− e(0,0,1− e,1− e2, . . .) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 320 / 369
10.38. Príklad.
F (z) =1
(z − 1)(z − e)
Metodou reziduí.
a0 = limz→∞
F (z) = 0 .
n ≥ 1
an = res1zn−1
(z − 1)(z − e)+ rese
zn−1
(z − 1)(z − e)=
=1
1− e+
en−1
e − 1=
1− en−1
1− e.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 321 / 369
10.39. Príklad.F (z) =
1(z − 1)2
F (z) =1z
z(z − 1)2
.= (0,0,1,2,3, ...) .
rezidui:n ≥ 1
an = res1zn−1
(z − 1)2 = limz→1
ddz
zn−1 = n − 1 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 322 / 369
10.40. Príklad. Pomocí Z transformace naleznete soucet
12 + 22 + · · ·+ n2 =n∑
k=0
k2 .
Rešení
(n2).=
z2 + z(z − 1)3 .( n∑
k=0
k2).=
zz − 1
z2 + z(z − 1)3 =
z3 + z2
(z − 1)4 .
res1z3 + z2
(z − 1)4 zn−1 = limz→1
13!
(zn+2 + zn+1)′′′ =
=13!
[(n + 2)(n + 1)n +(n + 1)n(n−1)] =16
n(n + 1)(2n + 1) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 323 / 369
10.3 . Diferencní rovnice
Motivace: teorie signálu, numerické rešení pariálníchdiferenciálních rovnic, ladder networks, ...Diferencní rovnice mají podobnou struktutu jako rovnicediferenciální, hledá se rešení ve tvaru posloupnosti vyhovujícípocátecním podmínkám.Rešení techto rovnic pomocí transformace Z je diskrétníanalogie rešení diferenciálních rovnic pomocí Laplaceovytransformace.
10.41. Príklad.
yn+2 + 2 yn+1 + yn = 0
y0 = y1 = 1 .
(homogenní diferencní rovnice druhého rádu s konstantnímikoeficienty)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 324 / 369
(yn)∞n=0
.= Y (z) .
(yn+1)∞n=0
.= z[Y (z)− y0] = z(Y (z)− 1) .
(yn+2)∞n=0
.= z2
[Y (z)− y0 −
y1
z
]=
= z2[Y (z)− 1− 1
z
]= z2Y (z)− z2 − z .
Provedeme transformaci rovnice:
z2Y (z)− z2 − z + 2zY (z)− 2z + Y (z) = 0 .
Y (z)(z2 + 2z + 1) = z2 + 3z .
Y (z) =z2 + 3z(z + 1)2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 325 / 369
Provedeme inverzní transformaci:n ≥ 1
yn = res−1(z2 + 3z)zn−1
(z + 1)2 = limz→−1
(n + 1)zn + 3nzn−1 =
= (n + 1)(−1)n + 3n(−1)n−1 = (−1)n(1− 2n) .
(yn)∞n=0 = (1,1,−3,5, . . .) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 326 / 369
Mnohdy dává lepší predstavu než numerický výpocet, vekterém se hromadí zaokrouhlovací chyby:
10.42. Príklad.
yn+2 =103
yn+1 − yn .
y0 = 1, y1 =13.
Transformace:
z2[Y (z)− 1− 13z
] =103
z[Y (z)− 1]− Y (z)
Y (z)(z2 − 103
z + 1) = z2 +z3− 10
3z = z2 − 3z
Y (z) =z2 − 3z
(z − 3)(z − 13)
=z
z − 13
.= (
13n )∞n=0
Numerický výpocet na tri platné císlice dá nesmyslné výsledky:y0 = 1, y1 = 0,333, ..., y6 = −0,092, ..., y10 = −5,65
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 327 / 369
10.43. Príklad.Fibonanciho císla
Fibonanci (1212) Liber Abaci
Úloha o populaci králíku:
každý pár se zreprodukuje po dvou mesících
1,1,2,3,5,8,13,21,34,55,89,144,233Posloupnost se rídí zákonem
co bude︷︸︸︷yn+2 =
co je︷︸︸︷yn+1 +
prírustek︷︸︸︷yn
y0 = y1 = 1
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 328 / 369
Transformace rovnice:
z2[Y (z)− 1− 1
z
]= z[Y (z)− 1] + Y (z)
(z2 − z − 1)Y (z) = z2
Y (z) =z2
z2 − z − 1Inverze:
zz
z2 − z − 1= z
1√5
(z
z − 1+√
52
− z
z − 1−√
52
)
yn =1√5
[(1 +√
52
)n+1
−(
1−√
52
)n+1]Binet (1786-1856)
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 329 / 369
Kombinace dvou geometrických rad, jedna z nich mizí vnekonecnu:
limn→∞
yn+1
yn=
1 +√
52
.= 1,61803 .
Souvisí s pomerem zlatého rezu.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 330 / 369
10.44. Príklad.∆2yn + yn = 0
y0 = 1,∆y0 = 0 .
∆(yn)∞n=0
.= (z − 1) Y (z)− z
∆2(yn)∞n=0 = (z−1)[(z−1)Y (z)−z]−0 = (z−1)2Y (z)−z(z−1)
[(z − 1)2 + 1]Y (z) = z(z − 1)
Y (z) =z(z − 1)
(z − 1)2 + 1=
z2 − zz2 − 2z + 2
=
= zz − 1
(z − 1− j)(z − 1 + j)= z
(A
z − 1− j+
Bz − 1 + j
)=
=12
z(
1z − 1− j
+1
z − 1 + j
).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 331 / 369
yn =12[(1 + j)n + (1− j)n] = Re(
√2ej π
4 )n =
= 2n/2 cosnπ4.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 332 / 369
10.45. Príklad.∆2yn = 2
y0 = 0,∆y0 = 1
∆2(yn)∞n=0 = (z − 1)2Y (z)− z
Y (z)(z − 1)2 = 2z
z − 1+ z .
Y (z) =2z
(z − 1)3 +z
(z − 1)2 .
res1zn
(z − 1)3 = limz→1
12(zn)′′ =
12
n(n − 1)
yn = n(n − 1) + n = n2 .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 333 / 369
10.46. Príklad. Rovnice s konvolucním jádrem
yn+2 +n∑
k=0
2k yn−k = 1
y0 = y1 = 0
z2Y (z) +z
z − 2Y (z) =
zz − 1
.
Y (z) =z − 2
(z − 1)3
yn = res1(z − 2)zn−1
(z − 1)3 = limz→1
12(zn − 2zn−1)′′ =
=12
n(n − 1)− (n − 1)(n − 2) = (n − 1)[2− n2
]
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 334 / 369
10.47. Príklad. Vyjádrete vzorcem rešení diferencní rovnice
yn+1 − 2yn = an ,
kde y0 = 0 a (an)∞n=0 je obecná posloupnost ze Z0.
Transformace:
zY (z)− 2Y (z) = F (z) ,
kde F (z) je obraz (an)∞n=0.
Y (z) =F (z)
z − 2.= (1(n − 1)2n−1)∞n=0 ∗ (an)
∞n=0 .
Pro n ≥ 1
yn =n∑
k=1
2k−1an−k .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 335 / 369
10.48. Príklad.yn+3 + yn = an
y0 = y1 = y2 = 0 .
Y (z) =F (z)
z3 + 1
1z3 + 1
=1z3
11 + 1
z3
=
=∞∑
n=0
(−1)n 1z3(n+1)
.=
.= (0,0,0,1,0,0,−1,0,0,1,0,0,−1, . . .)
yn = an−3 − an−6 + an−9 − . . .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 336 / 369
10.49. Príklad. Pomocí diferencních rovnic urcete soucet
12
+222 +
323 + · · ·+ n
2n .
Rešení:
yn =12
+222 +
323 + · · ·+ n
2n .
yn+1 − yn =n + 12n+1
y0 = 0
(n2n )∞n=0
.=
2z(2z − 1)2 =
12
z(z − 1
2)2
(n + 12n+1 )∞n=0
.=
12
z2
(z − 12)2
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 337 / 369
zY (z)− Y (z) =12
z2
(z − 12)2
.
Y (z) =12
1(z − 1)
z2
(z − 12)2
res112
1(z − 1)
zn+1
(z − 12)2
=12
1(1
2)2= 2 .
res 12
12
1(z − 1)
zn+1
(z − 12)2
=
= limz→1/2
12
(zn+1
z − 1
)′= lim
z→1/2
12· (n + 1)zn(z − 1)− zn+1
(z − 1)2 =
2[
n + 12n
(−1
2
)− 1
2n+1
]= −n + 1
2n − 12n .
yn = 2− n + 12n − 1
2n .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 338 / 369
11. Náhodné procesy
11.1. Náhodné vektory
(Ω,A,P).... pravdepodobnostní prostor.
Reálný náhodný vektor:
X = (X1, . . . ,Xn) : Ω→ Rn .
Reprezentován distribucní funkcí:
FX(x1, . . . , xn) = P[X1 ≤ x1,X2 ≤ x2, . . . ,Xn ≤ xn] .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 339 / 369
Komplexní náhodná velicina:
Z : Ω→ C .
Z = X + jY ,
kde X a Y jsou reálné náhodné veliciny na Ω. Konvence:
[Z ≤ z] = [X ≤ Re z,Y ≤ Im z] .
Distribucní funkce:
FZ (z) = P[Z ≤ z] .
strední hodnota:
EZ = EX + jEY .
kovariance (komplexních) náhodných velicin Z a W :
cov(Z ,W ) = E [(Z − EZ )(W − EW )] .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 340 / 369
rozptyl:var(Z ) = cov(Z ,Z ) = E(|Z − EZ |2)
korelace:%(Z ,W ) =
cov(Z ,W )√var(Z )
√var(W )
.
Vlastnosti kovariance:
cov(Z1 + Z2,W ) = cov(Z1,W ) + cov(Z2,W )
cov(Z ,W ) = cov(W ,Z )
cov(αZ ,W ) = α cov(Z ,W )
cov(Z , αW ) = α cov(Z ,W )
cov(Z ,Z ) ≥ 0
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 341 / 369
X = (X1, . . . ,Xn) ... komplexní náhodný vektorkovariancní matice: (n × n)
A = ( cov(Xi ,Xj) )
11.1. Príklad. Reálné náhodné veliciny X a Y mají kovariancnímatici (
2 11 1
)Z = X + jY . Stanovte var Z a cov(Z ,Z ).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 342 / 369
var Z = cov(X + jY ,X + jY ) =
= cov(X ,X ) + cov(jY ,X ) + cov(X , jY ) + cov(jY , jY ) =
= 2 + j − j + 1 = 3 .
cov(Z ,Z ) = cov(X + jY ,X − jY ) =
= cov(X ,X ) + cov(jY ,X ) + cov(X ,−jY ) + cov(jY ,−jY ) =
= 2 + j + j − 1 = 1 + 2j .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 343 / 369
11.2. Stochastické procesy - Základy
Stochastický proces modeluje vývoj náhodné veliciny (napr. vcase) - vývoj názoru ve spolecnosti, vývoj ceny akcií, fluktuacepolohy elektronu, náhodná procházka, síla signálu .... )
Xt muže ovlivnit Xt+1 — cov(Xt ,Xt+1) 6= 0.
11.2. Definice. Stochastický (náhodný) proces je systémnáhodných velicin (Xt)t∈T na daném pravdepodobnostnímprostoru (Ω,A,P).
Indexová množina ... TTrajektorie procesu v bode ω ∈ Ω ... Xt(ω) | t ∈ T.Spojitý náhodný proces ... T je intervalCasová rada ... T je posloupnost
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 344 / 369
11.3. Príklad. Xt = X . Konstantní proces. (Náhoda jen vprvním kroku, pak se kopíruje).
P[X ≤ x1,X ≤ x2, . . . ,X ≤ xn] = P[X ≤ minx1, . . . , xn] =
= F (minx1, . . . , xn) ,
kde F je distribucní funkce náhodné veliciny X .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 345 / 369
11.4. Definice. Necht’ (Xt)t∈T je stochastický proces. Stredníhodnota stochastického procesu (Xt)t∈T je funkce
µ(t) = µt = E(Xt)
na množine T .Kovariancní funkce stochastického procesu (Xt)t∈T je funkce
R(s, t) = cov(Xs,Xt)
na množine T × T .Rozptyl stochastického procesu (Xt)t∈T je funkce
σ(t) = σ2t = var Xt = R(t , t)
na množine T .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 346 / 369
11.5. Príklad. X1,X2, . . . ,Xn ... nekorelované náhodné veliciny
R(s, t) =
0 s 6= tvar(Xt) s = t .
11.6. Príklad. Elementární proces Xt = ejωtX , ω, t ∈ R.
µt = ejωtE(X )
R(s, t) = cov(Xs,Xt) = cov(ejωsX ,ejωtX ) = ejω(s−t) var(X ) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 347 / 369
11.7. Definice. Stochastický proces (Xt)t∈T se nazývákovariancne stacionární, jestliže
R(s1, t1) = R(s2, t2)
pro všechna s1, s2, t1, t2, pro které platí
s1 − t1 = s2 − t2 .
Stochastický proces (Xt)t∈T se nazývá stacionární, jestliže jekovariancne stacionární a má konstantní strední hodnotu.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 348 / 369
Pro kovariancne stacionární procesy definujemejednorozmernou kovariancní funkci
R(t) = cov(Xs,Xs+t) .
PakR(s, t) = R(t − s) .
R(s, t) = R(t , s) =⇒ R(−t) = R(t) .
11.8. Príklad. (Xn)n∈N posloupnost nezávislých náhodnýchvelicin s rozptylem σ2 > 0.
R(n) =
σ2 n = 00 n 6= 0
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 349 / 369
11.9. Príklad. Elementární proces je kovariancne stacionární.
R(t) = e−jωtvar(X ) .
11.10. Príklad. Zn = Xn + V , n ∈ N. Xn jsou nezávislé sestejným rozptylem σ2
1 > 0; var(V ) = σ2 > 0; Xn a V jsounezávislé.
cov(Zn,Zm) = cov(Xn + V ,Xm + V ) =
= cov(Xn,Xm) + cov(V ,Xm) + cov(Xn,V ) + cov(V ,V ) =
=
σ2 + σ2
1 n = mσ2 n 6= m
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 350 / 369
R(n) =
σ2 + σ2
1 n = 0σ2 n 6= 0.
11.11. Príklad. Proces Xt = (cos t) X , t ∈ R, má kovariancnífunkci
R(s, t) = cos t · cos s · var(X )
a není kovariancne stacionární kdykoliv var(X ) 6= 0.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 351 / 369
11.12. Príklad. . . .X−1,X0,X1, . . . nezávislé náhodné velicinyse stejným rozptylem σ2 > 0
Yn =Xn + Xn−1
2n ∈ Z .
k > 0.
cov(Yn,Yn+k ) = cov(Xn + Xn−1
2,Xn+k + Xn+k−1
2) =
=14
cov(Xn,Xn−1+k ) =14δ1kσ
2 .
R(0) = var(Yn) = 12σ
2.R(−k) = 1
4δ1kσ2.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 352 / 369
11.13. Definice. Stochastický proces (Xt)t∈T se nazýváMarkovuv, jestliže indexová množina T je usporádaná, a prokaždý konecný výber t1 < t2 < · · · < tn ∈ T platí
P[Xtn = xn|Xt1 = x1,Xt2 = x2, · · · ,Xtn−1 = xn−1] =
= P[Xtn = xn|Xtn−1 = xn−1]
markovská vlastnost : stav v case n + 1 závisí pouze na stavu vcase n.Príklad: Náhodná procházka, gambling
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 353 / 369
11.14. Definice. Poissonuv proces je proces indexovánpodmnožinami konecné míry základní množiny S ⊂ Rn takový,že
1 Veliciny indexované disjunktními množinami jsou nezávislé2 Velicina XB, B ⊂ S, má Poissonovo rozdelení s
parametrem λmíra(B), kde λ > 0. (λ > 0 se nazýváparametr procesu).
Pocet cástic v dané oblasti, pocet radioaktivních rozpadu vdaném casovém okamžiku, pocet volání na ústrednu v danémcasovém okamžiku, apod.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 354 / 369
11.3. Spektrální analýza stacionárních procesu
Motivace: analýza náhodného signálu ve frekvencní oblasti
11.15. Definice.1 Necht’ (Xn)
∞n=1 je stacionární casová rada. Funkce f (λ) se
nazývá spektrální hustota procesu (Xn), jestliže platí
R(k) =
∫ π
−πejkλf (λ) dλ
pro všechna k ∈ Z.2 Necht’ (Xt)t∈R je stacionární proces. Funkce f (λ) se
nazývá spektrální hustota procesu (Xt), jestliže platí
R(t) =
∫ ∞
−∞ejtλf (λ) dλ
pro všechna t ∈ R.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 355 / 369
1 f (λ) definovaná na < −π, π > má Fourierovu radu∑∞k=−∞ ckejkλ, kde
ck =1
2π
∫ π
−πf (λ)e−jkλ .
=⇒ R(k) = 2πc−k ⇔ ck =R(−k)
2π.
2
R(t) = f (−λ) = 2πf (λ) .
11.16. Príklad. X1,X2, . . . nekorelované náhodné veliciny sestejným rozptylem σ2 a nulovými stredními hodnotami. Pak
R(k) =
0 k 6= 0σ2 k = 0 .
c0 = R(0)2π = σ2
2π . Tedy f (λ) = σ2
2π . Casovým radám s toutohustotou ríkáme bílý šum.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 356 / 369
11.17. Príklad. Y0,Y1, . . . ,Yn, . . . nekorelované, normovanénáhodné veliciny
Xn = Yn + Yn−1 ,n = 0,1, . . .
s > 0.
cov(Xn,Xn+s) = cov(Yn + Yn−1,Yn+s + Yn+s−1) =
= δs1
s = 0 ... cov(Xn,Xn) = 2jednorozmerná kovariancní funkce:R(0) = 2, R(1) = R(−1) = 1, ostatní nuly.spektrální hustota:
f (λ) =1
2π(R(−1)ejλ +R(0)+R(1)e−jλ) =
12π
(ejλ +2+e−jλ) =
=1
2π(2 + 2 cosλ) =
1 + cosλπ
=2π
cos2 λ
2.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 357 / 369
zobecnení predchozího príkladu
11.18. Veta. Necht’ (Xn)n∈Z je stacionární casová rada. Je-li
∞∑n=−∞
|R(n)| <∞
pak existuje spektrální hustota f (λ) a platí:
(Inverzní vzorec) f (λ) =1
2π
∞∑n=−∞
e−jnλR(n)
Dukaz:∞∑
n=−∞|e−jnλR(n)| ≤
∞∑n=−∞
|R(n)| <∞ .
Weierstarsseovo kritérium =⇒ rada∑∞
n=−∞ e−jnλR(n)konverguje stejnomerne pro λ ∈ R.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 358 / 369
Volme pevne k ∈ Z. Pak∫ π
−πf (λ)ejkλ dλ =
12π
∞∑n=−∞
R(n)
∫ π
−πej(k−n)λ dλ =
=1
2π2πR(k) = R(k) .
11.19. Príklad. Reálný stochastický proces (Xn)n∈Z mákovariancní funkci
R(n) = Ce−α|n| ,
kde C, α > 0. Stanovte spektrální hustotu.
∞∑n=−∞
|R(n)| =∞∑
n=−∞Ce−α|n| <∞ .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 359 / 369
f (λ) =1
2π
∞∑n=−∞
e−jnλ R(n) =1
2π
∞∑n=−∞
e−jnλ Ce−α|n| =
=1
2π
[C + C
∞∑n=1
e−jnλ e−αn + C∞∑
n=1
ejnλ e−αn]
=
=C2π
[1 +
e−jλ−α
1− e−jλ−α+
ejλ−α
1− ejλ−α
].
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 360 / 369
11.20. Veta. Necht’ (Xt)t∈R je stacionární stochastický proces.Je-li ∫ ∞
−∞|R(t)|dt <∞
pak existuje spektrální hustota f (λ) a platí:
(Inverzní vzorec) f (λ) =1
2π
∫ ∞
−∞e−jtλR(t) dt .
Dukaz: teorie Fourierovy transformace.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 361 / 369
11.21. Príklad. Spojitý proces má kovariancní funkci
R(t) = Ce−α|t | cosβt .
C, α > 0. Urcete spektrální hustotu.Víme, že Fourieruv obraz e−α|t | je 2a
a2+p2 . Pak
(cosβt)e−α|t | =ejβ + e−jβ
2e−α|t | .=
12
[2a
a2 + (p − β)2 +2a
a2 + (p + β)2
]=
=a
a2 + (p − β)2 +a
a2 + (p + β)2 .
Tedy
f (l) =1
2π
[a
a2 + (p − β)2 +a
a2 + (p + β)2
]
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 362 / 369
11.22. Príklad. Urcete kovariancní funkci, je-li spektrálníhustota
f (λ) =2
π(λ2 + 1)2 .
R(t) =2π
∫ ∞
−∞ejtλ 1
(λ2 + 1)2 dλ
Pocítáme pomocí reziduové vety, integrál pres hornípolokružnici jde k nule pro t > 0 (viz tabule). Tedy pro t > 0:
R(t) =2π
2πj resjejtλ
(λ2 + 1)2 = 4j limλ→j
(ejtλ(λ− j)2
(λ2 + 1)2
)′=
= 4j[− j
4e−t(t + 1)
]= e−t(t + 1) .
Záver:R(t) = e−|t |(|t |+ 1) .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 363 / 369
11.23. Príklad. Urcete kovariancní funkci spojitého bíléhošumu s hustotou f (λ) = 1(λ+ a)− 1(λ− a), a > 0.Pomocí Fourierova obrazu bránové funkce
R(t) =2 sin at
t.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 364 / 369
Posloupnost klouzavých souctu MA(n)
(Yn) ... posloupnost nekorelovaných velicin s nulovýmistredními hodnotami a konstantním rozptylem σ2.
a0,a1, . . . ,an ∈ C a0,an 6= 0 .
Posloupnost klouzavých souctu
Xt =n∑
k=0
ak Yt−k = a0Yt + a1Yt−1 + · · ·+ anYt−n t ∈ Z .
EXt = 0 t ∈ Z .
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 365 / 369
Kovariancní funkce pro t ≥ 0:
R(t) = EXs+t Xs = E[( n∑
k=0
akYs+t−k
)( n∑j=0
ajYs−j
)]
= σ2n∑
k ,j=0
akajδt−k ,−j
t − k = −j ⇒ k = t + j ≤ n
= σ2n−t∑j=0
at+jaj
pro 0 ≤ t ≤ n, R(t) = 0 pro t > n.Pro záporné hodnoty dopocítat ze vzorce R(t) = R(−t).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 366 / 369
Spektrální hustota f (λ): Bude trigonometrický polynom.
f (λ) =1
2π
n∑t=−n
R(t)e−jtλ =σ2
2π
∣∣∣∣ n∑k=0
ake−jkλ
∣∣∣∣2 =σ2
2π
∣∣∣∣ n∑k=0
akejkλ
∣∣∣∣2Overení: Srovnáme koeficient u e−jtλ, 0 ≤ t ≤ n,( n∑
k=0
ake−jkλ
)( n∑l=0
alejlλ)
=∑
k ,l=0,...,n
ak alej(l−k)λ
Volíme l − k = −t a tedy k = l + t . Príslušný koeficient je
σ2
2π
n−t∑l=0
al+tal .
Identita pro t < 0 plyne z konjugované symetrie kovariancnífunkce a stejné symetrie pro Fourierovy koeficienty reálnéfunkce.
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 367 / 369
11.24. Príklad.
Xn = Yn + Yn−1, σ = 1
f (λ) =1
2π|(1 + e−jλ)|2 =
12π
[(1 + cosλ)2 + sin(−λ)2] =
=1 + cosλ
π=
2π
cos2 λ
2.
Posloupnost klouzavých prumeru
a0 = a1 = · · · = an =1
n + 1tj.
Xt =Yt + Yt−1 + · · ·+ Yt−n
n + 1.
Pak pro |t | ≤ n je
R(t) = σ2 n − |t |+ 1(n + 1)2 =
σ2
n + 1
(1− |t |
n + 1
)= R(0)
(1− |t |
n + 1
).
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 368 / 369
Lineární pokles kovariancní funkceSpektrální hustota:
f (λ) =σ2
2π(n + 1)2
∣∣∣∣ n∑k=0
e−jkλ
∣∣∣∣2 =σ2
2π(n + 1)2
∣∣∣∣1− e−j(n+1)λ
1− e−jλ
∣∣∣∣2 .11.25. Príklad.
Xn = Yn + 2Yn−1 + Yn−2 .
a0 = 1,a1 = 2,a2 = 1
f (λ) =σ2
2π(1 + 2e−jλ + e−2jλ)(1 + 2ejλ + e2jλ) =
=σ2
2π[1 + 2ejλ + e2jλ + 2e−jλ + 4 + 2ejλ + e−2jλ + 2e−jλ + 1] =
=σ2
2π[6 + 8 cosλ+ 2 cos 2λ]
Jan Hamhalter http://math.feld.cvut.cz/hamhalte Matematika pro Kybernetiku Lecture Notes 369 / 369