Holomorfní funkce

Z Wikipedie, otevřené encyklopedie

Holomorfní funkce jsou důležitým pojmem komplexní analýzy. Jsou to komplexní funkce definované na otevřených podmnožinách komplexní roviny C takové, že jsou komplexně diferencovatelné. Diferencovatelnost v komplexních číslech je silnější požadavek, než v číslech reálných a implikuje fakt, že daná funkce je nekonečně diferencovatelná a rozvinutelná do Taylorovy řady. Výraz „holomorfní funkce“ bývá často zaměňován s pojmem funkce analytická, ačkoliv tento výraz má i jiné významy. Funkce holomorfní na celé komplexní rovině se označuje jako celá.

[editovat] Definice

Buď Ω otevřená podmnožina C, potom řekneme, že funkce f: Ω→C je komplexně diferencovatelná, nebo že má komplexní deriovaci v bodě z₀ množiny Ω právě když existuje limita

$f'(z_0) = \lim_{z \rightarrow z_0} {f(z) - f(z_0) \over z - z_0 }.$

Má-li tato limita existovat, musí (podle Heineho věty) existovat a mít stejnou hodnotu jako limita posloupnosti pro každou poslupnost mající hromadný bod v z₀. Takto definovaná derivace má některé společné vlastnosti s derivací reálnou - řídí se Leibnitzovým pravidlem, Řetízkovým pravidlem a je lineární vůči násobení.

Má-li funkce f komplexní derivaci ve všech bodech množiny Ω, potom řekneme, že je f na Ω holomorfní.

Ekvivalentní podmínkou holomorfnosti funkce f(x+iy) = u(x,y)+iv(x,y), kde u, v, x, y jsou reálné, je splnění Cauchy-Riemannových vztahů spolu se spojitostí parciálních derivací u, v podle x, y.

[editovat] Vlastnosti holomorfních funkcí

Platí, že součin a součet dvou holomorfních funkcí je opět holomorfní funkce, podíl dvou holomorfních funkcí je holomorfní funkce není-li jmenovatel nulový. Polynomy a všechny stejnoměrně konvergentní řady z nich utvořené jsou holomorfní funkce (tedy např. funkce sinus, kosinus, exponenciála, neboť je lze napsat jako součet mocninné řady na celé komplexní rovině).

Derivace holomorfní funkce (z definice) existuje a je opět holomorfní funkce. Pokud je definována podél dané křivky hladká funkce (tedy zejména např. všechny reálné hladké funkce), existuje lokálně jednoznačný způsob jak danou funkci rozšířit do zbytku komplexní roviny. Tomuto procesu se říká holomorfní nebo analytické prodloužení. Lze jej provést více způsoby, např. pomocí Cauchyho-Riemannových podmínek. Typickým příkladem neholomorfních funkcí je (zpravidla) reálná či imaginární část holomorfní funkce, nebo její absolutní hodnota.

Kolem bodu z₀ holomorfní funkce lze tuto jednoznačně rozvinout do Taylorovy, nebo obecněji Laurentovy řady (a to i v případě, že zde má tato funkce singularitu). V prvním případě k dané funkcí řada konverguje stejnoměrně na kružnici

$\left|z-z_0\right|<\omega,$