Príklady na precvičovanie – komplexná derivácia, holomorfné funkcie, mocninové rady Riešené príklady Príklad 1 Dokážme, že funkcia f(z) = iz4 + 2z je komplexne diferencovateľná v celej komplexnej rovine a určme f′ (z). Úlohu vyriešme jednak pomocou definície komplexnej derivácie, a jednak overením Cauchyho–Riemannových rovností pre reálnu a imaginárnu časť funkcie f(z). Riešenie: Nech z0 je ľubovoľné komplexné číslo. Podľa definície komplexnej derivácie funkcie f(z) platí f′ (z0) = lim z→z0 f(z) − f(z0) z − z0 . Postupne dostávame f′ (z0) = lim z→z0 (iz4 + 2z) − (iz4 0 + 2z0) z − z0 = lim z→z0 [ i · z4 − z4 0 z − z0 + 2 · z − z0 z − z0 ] = lim z→z0 [ i · (z3 + z2 z0 + zz2 0 + z3 0) + 2 ] = 4iz3 0 + 2. Teda f′ (z) existuje na celom C a platí f′ (z) = 4iz3 +2. Túto skutočnosť teraz overíme pomocou vlastností reálnej a imaginárnej časti funkcie f(z). Máme f(z) = f(x + iy) = i · (x + iy)4 + 2(x + iy) = −4x3 y + 4xy3 + 2x + i · (x4 − 6x2 y2 + y4 + 2y) ⇓ u(x, y) = Ref(z) = −4x3 y + 4xy3 + 2x, v(x, y) = Imf(z) = x4 − 6x2 y2 + y4 + 2y. Funkcie u(x, y) a v(x, y) sú iste (reálne) diferencovateľné na celom R2 , pričom pre ich prvé parciálne derivácie podľa premenných x, y dostaneme u′ x = −12x2 y + 4y3 + 2, u′ y = −4x3 + 12xy2 , 1 v′ x = 4x3 − 12xy2 , v′ y = −12x2 y + 4y3 + 2. Vidíme, že platí u′ x(x, y) = v′ y(x, y), a u′ y(x, y) = −v′ x(x, y) pre každé x, y ∈ R2 . Teda sú splnené Cauchyho–Riemannove rovnosti na celom R2 . Preto funkcia f(z) je komplexne diferencovateľná v celej komplexnej rovine C s komplexnou deriváciou f′ (z) = u′ x(x, y) + iv′ x(x, y) = −12x2 y + 4y3 + 2 + i(4x3 − 12xy2 ). Spätným prechodom ku komplexnej premennej z = x + iy dostaneme vyjadrenie f′ (z) = 4iz3 + 2 :). Poznámka: Na konci Príkladu 1 sme sa potrebovali vrátiť od vyjadrenia komplexnej funkcie pomocou dvoch reálnych premenných x, y ku jej vyjadreniu pomocou jednej komplexnej premennej z = x + iy. Všeobecne sa to robí tak, že do daného predpisu funkcie sa za x, y dosadia výrazy x = z + ¯z 2 , y = z − ¯z 2i , a následne sa vzniknutý výraz vhodne upraví. Je to však niekedy fuška :(. Príklad 2 Zistime, na akých podmonožinách v C je funkcia w = z (¯z)2 komplexne dife- rencovateľná. Riešenie: V danej funkcii oddelíme jej reálnu a imaginárnu časť. Pre z = x + iy platí w = (x + iy)(x − iy)2 = x3 + xy2 − i · (y3 + x2 y), teda u(x, y) = Re w = x3 + xy2 a v(x, y) = Im w = −y3 − x2 y (samy overte :)). Funkcia w má v bode z0 = x0 + iy0 komplexnú deriváciu práve vtedy, keď reálne funkcie u(x, y), v(x, y) sú (reálne) diferencovateľné v bode [x0, y0] a spĺňajú Cauchyho–Riemannove podmienky u′ x(x0, y0) = v′ y(x0, y0), u′ y(x0, y0) = −v′ x(x0, y0). 2 Ľahko vidíme, že funkcie u(x, y), v(x, y) sú diferencovateľné v celom R2 . Poďme preveriť, kde platia Cauchyho-Riemannove rovnosti. Postupne do- staneme u′ x(x, y) = 3x2 + y2 , u′ y(x, y) = 2xy, v′ x(x, y) = −2xy, v′ y(x, y) = −3y2 − x2 . Druhá z Cauchyho-Riemannových podmienok platí pre každé x, y ∈ R2 , kým prvá rovnosť dáva 3x2 + y2 = −3y2 − x2 =⇒ 4x2 + 4y2 = 0 =⇒ x = 0 = y. Preto je funkcia w komplexne diferencovateľná iba v bode z = 0 + i0 = 0 a pre jej deriváciu w′ (0) platí w′ (0) = u′ x(0, 0) + iv′ x(0, 0) = 0. Príklad 3 Preverme platnosť Cauchyho-Riemannových rovností a existenciu komplexnej derivácie pre funkciu w = √ | Rez · Imz| v bode z = 0. Riešenie: Oddelením reálnej a imaginárnej časti vo funkcii w zistíme, že u(x, y) = Re w = √ |xy|, v(x, y) = Im w = 0, [x, y] ∈ R2 (samy overte ;)). Funkcie u(x, y), v(x, y) spĺňajú v bode z = 0, t.j., v bode [x, y] = [0, 0], Cauchyho-Riemannove rovnosti, nakoľko platí u′ x(0, 0) = lim x→0 u(x, 0) − u(0, 0) x − 0 = lim x→0 0 x − 0 = 0, u′ y(0, 0) = lim y→0 u(0, y) − u(0, 0) y − 0 = lim y→0 0 y − 0 = 0, v′ x(0, 0) = 0 = v′ y(0, 0). Poznamenajme, že parciálne derivácie u′ x(0, 0), u′ y(0, 0) nemôžeme teraz kvôli absolútnej hodnote počítať klasickým derivovaním, iba priamo z definície. Avšak funkcia w nemá v bode z = 0 komplexnú deriváciu, pretože limita lim z→0 w(z) − w(0) z − 0 = lim z→0 √ | Rez · Imz| z 3 neexistuje. Presvedčte sa samy ;). Prepíšte túto limitu pomocou jej reálnej a imaginárnej časti, t.j., lim z→0 √ | Rez · Imz| z = lim (x,y)→(0,0) ( x √ |xy| x2 + y2 − i · y √ |xy| x2 + y2 ) , a ukážte, že ani jedna zo vzniknutých reálnych limít neexistuje :). Kde je teda zrada? Háčik je v tom, že funkcia u(x, y) nie je diferencovateľná v bode [0, 0], napriek tomu, že má v tomto bode obidve prvé parciálne derivácie. Ak by totiž u(x, y) bola diferencovateľná v bode [0, 0], potom by limita lim (x,y)→(0,0) u(x, y) − u(0, 0) − u′ x(0, 0) · (x − 0) − u′ y(0, 0) · (y − 0) √ (x − 0)2 + (y − 0)2 = lim (x,y)→(0,0) √ |xy| √ x2 + y2 musela existovať a byť rovná 0. Posledná limita však neexistuje (samy si všetko dobre premyslite :)). Príklad 4 Určme holomorfnú funkciu f(z) = u(x, y) + iv(x, y) spĺňajúcu v(x, y) = Imf(z) = −3x2 y + y3 − 3x + y, f(−1) = 3i. Riešenie: Toto je typická úloha na holomorfné funkcie. Máme nájsť komplexnú funkciu, ktorá je holomorfná na nejakej oblasti a má dopredu predpísanú svoju imaginárnu (resp. reálnu) časť a hodnotu v nejakom bode tejto oblasti. Z teórie holomorfných funkcií vyplýva, že komplexná funkcia f(z), ktorá je holomorfná na nejakej otvorenej podmnožine v C, má v tejto množine nielen svoju prvú komplexnú deriváciu, ale automaticky aj komplexné derivácie všetkých rádov :). Funkcie u(x, y), v(x, y) musia byť preto triedy C∞ na danej oblasti, t.j., majú spojité parciálne derivácie všetkých rádov podľa obidvoch premenných x, y. Z tohto faktu a z Cauchyho-Riemannových podmienok potom vyplýva, že funkcie u(x, y), v(x, y) musia byť harmonické na danej otvorenej množine, t.j., musia byť riešením tzv. Laplaceovej rovnice u′′ xx(x, y) + u′′ yy(x, y) = 0, v′′ xx(x, y) + v′′ yy(x, y) = 0. 4 Všeobecný postup pri tomto type úloh je nasledujúci. Najprv overíme, či predpísaná funkcia v(x, y) v zadaní je harmonická. Platí v′′ xx(x, y) = −6y, v′′ yy(x, y) = 6y =⇒ v′′ xx(x, y) + v′′ yy(x, y) = 0 na celom R2 (samy overte :)). Funkcia v(x, y) je teda harmonickou na jednoducho súvislej oblasti R2 , a preto existuje jediná komplexná funkcia f(z), ktorá je holomorfná na celom C, a ktorá spĺňa v(x, y) = Imf(z) a f(−1) = 3i. Potrebujeme nájsť jej reálnu časť, t.j., funkciu u(x, y). Využijeme platnosť Cauchyho-Riemannových rovností u′ x(x, y) = v′ y(x, y) = −3x2 + 3y2 + 1, u′ y(x, y) = −v′ x(x, y) = 6xy + 3. Neznáma funkcia u(x, y) je teda kmeňová funkcia pre dvojicu funkcií −3x2 + 3y2 +1 a 6xy+3 :). Vďaka Matematickej analýze II sme už doma ;). Nasadiac štandardný aparát samy ukážte, že pre u(x, y) vo všeobecnosti platí u(x, y) = −x3 + 3xy2 + x + 3y + K, kde K je reálna konštanta :). Všetky holomorfné funkcie f(z), ktoré majú za imaginárnu časť funkciu v(x, y), majú teda tvar f(z) = −x3 + 3xy2 + x + 3y + K + i(−3x2 y + y3 − 3x + y). Neznámu konštantu K stanovíme pomocou podmienky f(−1) = 3i. Konkrétne, z práve získaného vyjadrenia s x = −1 a y = 0 dostaneme hodnotu K = 0 (samy overte :)). Hľadaná funkcia f(z) teda je f(z) = −x3 + 3xy2 + x + 3y + i(−3x2 y + y3 − 3x + y), resp. f(z) = −z3 +(1−3i)z, po prechode ku komplexnej premennej z = x+iy (i toto samy overte ;)). Príklad 5 Dokážme, že ak f(z) je funkcia holomorfná a nenulová v oblasti G ⊆ C, potom platí identita ∆|f(z)| = |f′ (z)|2 |f(z)| , z ∈ G, 5 kde ∆ := ∂2 /∂x2 + ∂2 /∂y2 je tzv. delta operátor. Riešenie: Nech u(x, y) a v(x, y) označujú reálnu a imaginárnu časť funkcie f(z), t.j., f(z) = f(x + iy) = u(x, y) + iv(x, y). Zo zadania príkladu vyplýva, že funkcie u(x, y), v(x, y) sú harmonické na oblasti G a spĺňajú Cauchyho-Riemannove rovnosti. Konkrétne, na G platí u′′ xx(x, y) + u′′ yy(x, y) = 0 = v′′ xx(x, y) + v′′ yy(x, y), u′ x(x, y) = v′ y(x, y), u′ y(x, y) = −v′ x(x, y), f′ (z) = u′ x(x, y) + iv′ x(x, y) = v′ y(x, y) − iu′ y(x, y). Okrem toho máme (argumenty x, y, z budeme pre jednoduchosť vynechávať) |f| = √ u2 + v2 ̸= 0, |f′ | = √ (u′ x)2 + (v′ x)2 = √ (v′ y)2 + (u′ y)2. Potom platí ∆|f| = ( ∂2 ∂x2 + ∂2 ∂y2 ) |f| = ∂2 |f| ∂x2 + ∂2 |f| ∂y2 . Potrebujeme teda vypočítať druhé parciálne derivácie zo zloženej funkcie |f(z)| = √ [u(x, y)]2 + [v(x, y)]2. Postupne dostávame (overenie detailov nechávame na čitateľa ;)) |f|′ x = (√ u2 + v2 )′ x = uu′ x + vv′ x √ u2 + v2 , |f|′ y = (√ u2 + v2 )′ y = uu′ y + vv′ y √ u2 + v2 , |f|′′ xx = (√ u2 + v2 )′′ xx = (u′ x)2 + (v′ x)2 + uu′′ xx + vv′′ xx √ u2 + v2 − (uu′ x + vv′ x)2 (u2 + v2)3/2 , |f|′′ yy = (√ u2 + v2 )′′ yy = (u′ y)2 + (v′ y)2 + uu′′ yy + vv′′ yy √ u2 + v2 − ( uu′ y + vv′ y )2 (u2 + v2)3/2 . 6 Po dosadení a úpravách máme ∆|f| = |f′ |2 (u′ x)2 + (v′ x)2 + |f′ |2 (u′ y)2 + (v′ y)2 +u · 0 (u′′ xx + u′′ yy) +v · 0 (v′′ xx + v′′ yy) √ u2 + v2 − (uu′ x + vv′ x) 2 + ( uu′ y + vv′ y )2 (u2 + v2) 3/2 = 2|f′ |2 √ u2 + v2 − (uu′ x + vv′ x) 2 + ( uu′ y + vv′ y )2 (u2 + v2) 3/2 . Ďalej z Cauchyho-Riemannových podmienok vyplýva (uu′ x + vv′ x) 2 + ( uu′ y + vv′ y )2 = (uu′ x + vv′ x) 2 + (−uv′ x + vu′ x) 2 = u2 [ (u′ x)2 + (v′ x)2 ] |f′|2 +v2 [ (v′ x)2 + (u′ x)2 ] |f′|2 = (u2 + v2 )|f′ |2 . Napokon získame identitu v zadaní príkladu ∆|f| = 2|f′ |2 √ u2 + v2 − (u2 + v2 )|f′ |2 (u2 + v2)3/2 = |f′ |2 √ u2 + v2 |f| = |f′ |2 |f| :). Príklad 6 Nájdime obor konvergencie funkcionálneho radu ∞∑ n=0 1 (n + 1)2 ( z + 1 z − 1 )n . Riešenie: Postupujeme analogicky ako pri reálnych funkcionálnych radoch. Použijeme napríklad limitné D’Alembertovo kritérium. Platí 1 (n+2)2 (z+1 z−1 )n+1 1 (n+1)2 (z+1 z−1 )n = ( n + 1 n + 2 )2 z + 1 z − 1 n→∞ −→ z + 1 z − 1 . 7 Takže pre z+1 z−1 < 1 rad v zadaní príkladu absolútne konverguje a pre z+1 z−1 > 1 tento rad diverguje. Pre z spĺňajúce z+1 z−1 = 1 rad v zadaní konverguje absolútne, pretože v tomto prípade máme ∞∑ n=0 1 (n + 1)2 ( z + 1 z − 1 )n = ∞∑ n=0 1 (n + 1)2 toto konverguje . Obor konvergencie vyšetrovaného funkcionálneho radu je teda podmnožina komplexných čísiel daná reláciou z + 1 z − 1 ≤ 1. Nie je ťažké overiť, že sa jedná práve o tie komplexné čísla z, pre ktoré Rez ≤ 0 (samy si premyslite :)). Oborom konvergencie je teda druhý a tretí kvadrant spolu s imaginárnou osou. Príklad 7 Určme polomer a obor konvergencie mocninového radu ∞∑ n=0 [3 + (−1)n ]n zn . Riešenie: Podľa definície pre polomer konvergencie R radu v zadaní príkladu platí R = 1 lim sup n→∞ n √ |[3 + (−1)n]n | = 1 lim sup n→∞ |3 + (−1)n| . Nakoľko máme |3 + (−1)n | =    4, 2 | n, 2, 2 n, postupnosť |3 + (−1)n | má dva hromadné body 2 a 4. Preto lim sup n→∞ |3 + (−1)n | = 4 =⇒ R = 1 4 . 8 Daný mocninový rad preto absolútne konveguje pre |z| < 1 4 , kým diverguje pre |z| > 1 4 . Naviac, všade na konvergenčnej kružnici |z| = 1 4 rad diverguje (samy overte:)). Jeho oborom konvergencie je preto otvorený kruh |z| < 1 4 . Príklad 8 Vyšetrime konvergenciu mocninového radu ∞∑ n=1 zn n na jeho konvergenčnej kružnici. Riešenie: Stanovíme najprv polomer konvergencie daného radu. Platí R = 1 lim n→∞ 1 n+1 1 n = 1 lim n→∞ n n+1 = 1. Príslušná konvergenčná kružnica radu je preto |z| = 1. Každý jej bod môžeme vyjadriť v tvare z = eiα , kde α ∈ [−π, π). Skúmame teda konvergenciu komplexného číselného radu ∞∑ n=1 einα n v závislosti na reálnom parametri α ∈ [−π, π). V tomto rade, využijúc Eulerov vzorec einα = cos nα + i sin nα, oddelíme jeho reálnu a imaginárnu časť ∞∑ n=1 einα n = ∞∑ n=1 ( cos nα n + i · sin nα n ) . Pri vyšetrovaní týchto dvoch reálnych radov si však, bohužiaľ, nevystačíme s tradičným aparátom :(. Ani porovnávanie, ani D’Alembert, ani Cauchy, ani Raabe, ba ani integrálne kritérium v tomto prípade nefungujú :-/. Učinné je 9 až Dirichletovo kritérium :). Jeho aplikáciu si však musíme trochu odpracovať. Na konci ukážeme, že reálne rady ∞∑ n=1 cos nα n , ∞∑ n=1 sin nα n súčasne konvergujú pre každé α ̸= 2mπ, kde m je nejaké celé číslo. Príprava: • Dirichletovo kritérium – nech {an}, {bn} sú dve postupnosti reálnych čísiel také, že {bn} je monotónna s limn→∞ bn = 0 a rad ∑ an má ohraničené čiastočné súčty, t.j., postupnosť { n∑ k=1 ak } je ohraničená (členy tejto postupnosti sa indexujú podľa n). Potom rad∑ anbn konverguje (nie však nutne absolútne). • Pre každé α ∈ R, α ̸= 2mπ pre celé m, platia identity n∑ k=1 cos kα = cos (n+1)α 2 sin nα 2 sin α 2 , n∑ k=1 sin kα = sin (n+1)α 2 sin nα 2 sin α 2 . Pokúste sa dokázať tieto dve identity :). Inšpirujte sa riešením Príkladu 5 z úvodného materiálu o komplexných číslach ;). Tak a teraz sme už pripravení korektne dokončiť Príklad 8 :). Uvažujme napríklad rad ∞∑ n=1 cos nα n pre α ̸= 2mπ, kde m je celé číslo. V Dirichletovom kritériu položíme an := cos nα, bn := 1/n. 10 Postupnosť {bn} je zrejme monotónna a limn→∞ bn = 0. Ďalej platí n∑ k=1 ak = n∑ k=1 cos kα = cos (n+1)α 2 sin nα 2 sin α 2 = cos (n+1)α 2 sin nα 2 sin α 2 ≤ 1 sin α 2 (samy overte :)). To znamená, že postupnosť { ∑n k=1 ak} je ohraničená (nezávisle na n). Sú teda splnené všetky požadavky Dirichletovho kritéria. Rad ∞∑ n=1 cos nα n preto pre α ̸= 2mπ, kde m je celé číslo, konverguje. V prípade, ak α = 2mπ pre nejaké celé číslo m, platí cos nα = 1 pre každé n ∈ N, a teda rad ∞∑ n=1 cos nα n = ∞∑ n=1 1 n diverguje. Analogickým spôsobom samy ukážte, že rad ∞∑ n=1 sin nα n konverguje pre každé α ∈ R :). Vieme, že komplexný číselný rad ∞∑ n=1 einα n = ∞∑ n=1 ( cos nα n + i · sin nα n ) , α ∈ [−π, π), konverguje práve vtedy, keď súčasne konverguje jeho reálna i imaginárna časť. Vo svetle práve získaných výsledkov to nastane práve vtedy, keď parameter α ̸= 0 (samy si to dobre premyslite :)). Takže komplexný mocninový rad v zadaní príkladu konverguje všade na svojej konvergenčnej kružnici, s výnimkou bodu z = 1 (i toto si samy dobre premyslite ;)). 11