Holomorfní funkce
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od
verze recenzované 20. června 2022; kontroly vyžadují
4 úpravy .
Holomorfní funkce nebo jednohodnotová komplexní analytická funkce (z řeckého ὅλος - "celek, celek" a μορφή - "forma"), někdy nazývaná regulární funkce - funkce komplexní proměnné , definovaná na otevřené podmnožině komplexní rovina a komplexní diferencovatelná v každém bodě.
![\mathbb {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
Na rozdíl od skutečného případu tato podmínka znamená, že funkce je nekonečně diferencovatelná a může být reprezentována Taylorovou řadou , která k ní konverguje .
Holomorfní funkce jsou také někdy nazývány analytickými , ačkoli druhý koncept je mnohem širší, protože analytická funkce může být vícehodnotová a může být také zvažována pro reálná čísla .
Definice
Dovolit být otevřená podmnožina a být komplexní funkce na . O funkci se říká , že je holomorfní na množině , pokud je splněna jedna z následujících ekvivalentních podmínek:
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![\mathbb {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![f:U\to {\mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0a9baac865b214fba8fce6842fb374f7e740361)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
- Funkce má komplexní derivaci v každém bodě množiny , tedy limitu
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![{\displaystyle f'(z)=\lim _{h\to 0}{\frac {f(z+h)-f(z)}{h)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ba0de657dac2b3a29ff6c981ae36466ee732ed4)
- Funkce je v každém bodě komplexně diferencovatelná , to znamená, že existuje takové číslo , které je v okolí bodu
![{\displaystyle z\in U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ddfa0dda66703a57db65136203350c952e1feb)
![{\displaystyle L\in \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/61fdf721ef1f9cdba745e9e7c07a2b78dbb73c30)
![{\displaystyle f(z+h)=f(z)+Lh+o(h)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28d17ce60b4315f63efdeee71cee9780e2e09e97)
- Funkce je reálně diferencovatelná a Cauchy-Riemannovy podmínky jsou splněny v každém bodě . Zde jsou reálné a imaginární části uvažované funkce.
![{\displaystyle {\frac {\částečné u}{\částečné x))={\frac {\částečné v}{\částečné y))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f13846b6da38e7b6446fe509e1784a93f4b6472b)
![{\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/222c51bed74d29713303156cf47a029e65e5060d)
![u(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/10bbd250e62d7bc323b96b0719e29be7f227beb1)
![v(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/7079b24d1daefdf8f5e1b35292032a3bf64968c0)
- Funkce je reálně diferencovatelná a v každém bodě , kde .
![{\displaystyle {\frac {\partial f}{\partial {\bar {z))))=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4afe340d0d86658b6564e5d1e7a441f31dadc612)
![{\frac {\partial }{\partial {\bar z))}={1 \over 2}\left({\frac {\partial }{\partial x))+i{\frac {\partial }{ \částečné y}}\vpravo),](https://wikimedia.org/api/rest_v1/media/math/render/svg/5471013f2ea4c3d270ae2829c7cfb4eb4eede501)
- Taylorova řada funkce v každém bodě má nenulový poloměr konvergence a její součet se v nějakém okolí rovná .
![{\displaystyle z\in U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ddfa0dda66703a57db65136203350c952e1feb)
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
![z](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
- Funkce je spojitá a integrální pro jakoukoli uzavřenou křivku .
![\int \limits _{\Gamma }\,f(z)\,dz=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6dea3dcfab655a38b77a7a07bea72db67d0d69b)
![{\displaystyle \Gamma \subset U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7864ab0d130751bfc90869945b62a15d89068ac)
Skutečnost, že všechny tyto definice jsou ekvivalentní, je netriviální a poměrně pozoruhodný výsledek komplexní analýzy.
Funkce je řekl, aby byl holomorphic u bodu jestliže to je holomorphic v nějakém sousedství .
![z_{0}\v U](https://wikimedia.org/api/rest_v1/media/math/render/svg/fda199ea9aa9cfb9f0e3d11e65206620e7041a15)
![z_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e72d1d86e86355892b39b8eb32b964834e113bf)
Funkce se nazývá holomorfní , pokud je komplexně diferencovatelná ve svém oboru.
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
Související definice
Vlastnosti
a parciální derivace jsou spojité.
- Součet a součin holomorfních funkcí je holomorfní funkce, což vyplývá z linearity derivace a naplnění Leibnizova pravidla. Kvocient holomorfních funkcí je také holomorfní ve všech bodech, kde jmenovatel nezaniká.
- Derivace holomorfní funkce je opět holomorfní, takže holomorfní funkce jsou ve své definiční oblasti nekonečně diferencovatelné.
- Holomorfní funkce mohou být reprezentovány jako konvergentní v nějakém okolí každého bodu Taylorovy řady .
- Z jakékoli holomorfní funkce lze rozlišit její reálnou a imaginární část, z nichž každá bude řešením Laplaceovy rovnice v . To znamená, že pokud je holomorfní funkce, pak a jsou harmonické funkce.
![\mathbb {R} ^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
![f(x+iy)=u(x,\;y)+iv(x,\;y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/39b7da6fb308b969abe5c6d4432eb491ed0850ff)
![u](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8)
![proti](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
- Pokud absolutní hodnota holomorfní funkce dosáhne lokálního maxima ve vnitřním bodě jejího definičního oboru, pak je funkce konstantní (předpokládá se, že definiční obor je souvislý). Z toho plyne, že maxima (a minima, pokud se nerovná nule) absolutní hodnoty holomorfní funkce lze dosáhnout pouze na hranici definičního oboru.
- V oblasti, kde první derivace holomorfní funkce nezmizí a funkce je univalentní , provádí konformní zobrazení .
- Cauchyho integrální vzorec dává do souvislosti hodnotu funkce ve vnitřním bodě oblasti s jejími hodnotami na hranici této oblasti.
- Z algebraického hlediska je množina holomorfních funkcí na otevřené množině komutativní kruh a komplexní lineární prostor . Je to lokálně konvexní topologický vektorový prostor se seminormou rovnou supremu na kompaktních podmnožinách.
- Podle Weierstrassovy věty konverguje -li řada holomorfních funkcí v definičním oboru rovnoměrně na libovolné kompaktní množině k pak je i její součet holomorfní a její derivace je limitou derivací parciálních součtů řady [1] .
![D](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
![D,](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9cb9bd7fcb5f2a543b128c1b876019b158c0fc)
- Pokud v doméně nezmizí, pak bude holomorfní v .
![f'(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6649b7c907c78aeaff76ce9e5be30e982e34d0f4)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![f^{{-1}}(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8053d85b2cab33b923c697dfcdb95bb2f48894f7)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
Některé vlastnosti holomorfních funkcí se blíží vlastnostem polynomů , což však není překvapivé - rozložitelnost holomorfních funkcí v Taylorových řadách naznačuje, že funkce jsou svým způsobem limitujícími variantami polynomů. Předpokládejme, že podle základní věty algebry může mít jakýkoli polynom nuly ne více než jeho stupeň. Pro holomofické funkce platí podobné tvrzení, které vyplývá z věty o jedinečnosti v alternativní podobě:
- Jestliže množina nul funkce holomorfní v jednoduše spojené oblasti má limitní bod v této oblasti , pak je funkce shodně rovna nule.
- Pro funkci několika reálných proměnných nestačí diferencovatelnost vzhledem ke každé z proměnných, aby byla funkce diferencovatelná. Pro funkci několika komplexních proměnných stačí být holomorfní v každé z proměnných, aby byla funkce holomorfní ( Hartogsova věta ).
Příklady
Všechny polynomy v z jsou holomorfní funkce na celé rovině .
![\mathbb {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
Dále, holomorfní, i když ne na celé komplexní rovině, jsou racionální funkce , exponenciální funkce , logaritmus , goniometrické funkce , inverzní goniometrické funkce a mnoho dalších tříd funkcí, stejně jako součty, rozdíly, součiny, částečné holomorfní funkce.
Příklady neholomorfních funkcí zahrnují
![\mathbb {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
,
,
protože v žádném bodě nemají komplexní derivaci. V tomto případě bude omezení na reálnou osu analytickou funkcí reálné proměnné (protože se zcela shoduje s omezením funkce ).
![f(z)=\overline {z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75311667f3ed9db08d4f87510c37e372a2c87d3b)
![{\displaystyle f(z)=z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a47d2cd0ea040d1b1af7532f5321ed581026e61f)
Historie
Termín „holomorfní funkce“ zavedli dva studenti Cauchyho , Brio ( 1817-1882 ) a Bouquet ( 1819-1895 ), a pochází z řeckých slov őλoς ( holos ) , což znamená „celý“, a μorφń ( morfe ) . - podoba, obraz . [2]
Dnes mnoho matematiků preferuje termín „holomorfní funkce“ místo „analytické funkce“, protože druhý pojem se používá pro obecnější případ. Navíc jedním z důležitých výsledků komplexní analýzy je, že každá holomorfní funkce je analytická , což z definice není zřejmé. Termín "analytický" se obvykle používá pro obecnější případ, kdy funkce nemusí být nutně uvedeny v komplexní rovině.
Variace a zobecnění
Vícerozměrné pouzdro
Existuje také definice holomorfie funkcí několika komplexních proměnných
Pro definici se používají pojmy -diferencovatelnost a -linearita takových funkcí
![{\displaystyle \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\displaystyle \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
C-linearita
Funkce se nazývá -lineární, pokud jsou splněny následující podmínky:
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\displaystyle \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
.
![{\displaystyle f(\lambda z)=\lambda f(z),\quad z\in \mathbb {C} ^{n},\quad \lambda \in \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f844b2155a178df5aef7566941726cbb15f99361)
(pro -lineární funkce ).
![\mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![\lambda \in \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b87bc1622689bc998795834cd65eecdb4955a785)
- Pro libovolnou -lineární funkci existují takové sekvence , že .
![\mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![{\displaystyle \{a_{n}\},\;\{b_{n}\}\subset \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c023ea129b4d2abe15b55f0587e2b99106f3fbe5)
![f=\sum _{{i=1}}^{{n}}(a_{i}z_{i}+b_{i}{\bar z}_{i})](https://wikimedia.org/api/rest_v1/media/math/render/svg/7476b6cdb08db78c3a12bec92068d4e491941b84)
- Pro libovolnou -lineární funkci existuje sekvence taková, že .
![{\displaystyle \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\displaystyle \{a_{n}\}\subset \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/df98a2414da08fddb5cca9c7506806cc92b0ca25)
![f=\sum _{{i=1}}^{{n}}a_{i}z_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/879bd927d455d5552159377029b36f0a961f8418)
C-diferencovatelnost
Funkce se nazývá -diferencovatelná v bodě , pokud existují funkce a taková, že v okolí bodu![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\displaystyle \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\displaystyle z\in \mathbb {C} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/977ed3d7cb322555a0d9266b40f2cf50ae26d7f2)
![l](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac)
![Ó](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c1031f61947aa3d1cf3a70ec3e4904df2c3675d)
kde je -lineární (pro -diferencovatelnost - -lineární) funkce.
![l](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac)
![{\displaystyle \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![\mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![\mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Holomorfismus
O funkci se říká, že je holomorfní v doméně , pokud je -diferencovatelná v okolí každého bodu v této doméně.
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![D,](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9cb9bd7fcb5f2a543b128c1b876019b158c0fc)
![{\displaystyle \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
Kvazianalyticita
Poznámky
- ↑ A. V. Domrin, A. G. Sergejev. Přednášky o komplexní analýze. První půlrok. - M .: MIAN, 2004. - S. 79. - ISBN 5-98419-007-9 .
- ↑ Markushevich AI, Silverman, Richard A. (ed.) Teorie funkcí komplexní proměnné. - M .: Americká matematická společnost , 2. vyd. — ISBN 0-8218-3780-X , [1] Archivováno 13. listopadu 2012 na Wayback Machine .
Literatura
- Holomorfní funkce // Encyklopedický slovník Brockhausa a Efrona : v 86 svazcích (82 svazcích a 4 dodatečné). - Petrohrad. , 1890-1907.
- Shabat BV Úvod do komplexní analýzy. — M .: Nauka , 1969 . — 577 s.
- Titchmarsh E. Teorie funkcí: Per. z angličtiny. - 2. vyd., přepracováno. — M .: Nauka , 1980 . — 464 s.
- Privalov II Úvod do teorie funkcí komplexní proměnné: Příručka pro vysokoškolské vzdělávání. - M. - L .: Státní nakladatelství, 1927 . — 316 s.
- Evgrafov M. A. Analytické funkce. - 2. vyd., přepracováno. a doplňkové — M .: Nauka , 1968 . — 472 s.
- Blakey, Joseph. Vysokoškolská matematika (neopr.) . — 2. — London: Blackie and Sons, 1958.
Odkazy
Slovníky a encyklopedie |
|
---|
V bibliografických katalozích |
---|
|
|