„Holomorf függvények” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Syp (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
|||
47. sor: | 47. sor: | ||
==Tulajdonságok== |
==Tulajdonságok== |
||
A holomorf függvények [[folytonos]]ak, létezik [[primitív függvényük]] és végtelen sokszor folytonosan differenciálhatóak. |
|||
* Bizonyítható, hogy a holomorf függvények végtelenszer differenciálhatóak, azaz [[analitikus függvény]]ek. |
|||
Holomorf függvények [[kompozíció]]ja, [[lineáris kombináció]]ja, szorzata holomorf, igazak a követekező [[deriválási szabályok]]: |
|||
:<math>(f(z)\pm g(z))'=f'(z)\pm g'(z)</math> |
|||
* Holomorf függvények [[lineáris kombináció]]ja holomorf. |
|||
* Holomorf függvények szorzata holomorf. |
|||
:<math>(f(z)g(z))'=f'(z)g(z)+f(z)g'(z)</math> |
|||
* Holomorf függvények hányadosa is holomorf, amennyiben a nevező nem nulla. |
|||
:<math>(f\circ g)'(z)=f'(g(z)) g'(z)</math> |
|||
:<math>(cf(z))'=cf'(z)</math> |
|||
[[Kategória:Függvények]] |
[[Kategória:Függvények]] |
A lap 2008. november 24., 14:46-kori változata
A holomorf függvény a komplex analízis egy fogalma. A nyílt halmazon értelmezett, komplex értelemben differenciálható komplex függvényeket nevezzük holomorfnak.
A terminológia az ógörög holos (ὅλος) szóból származik, amely azt jelenti egész, s arra utal, hogy a függvény az egész értelmezési tartományán differenciálható.
Definíció
1. Definíció:Legyen adva az nyílt halmaz, és az leképezés. Ezt akkor mondjuk holomorf függvénynek, ha minden pontban létezik a következő határérték:.
Ezt a határértéket az -beli (komplex)deriváltjának nevezzük, és -lal jelöljük.
2.Definíció: holomorf, ha előáll -sugarú (alkalmasan válaszott -rel) környezetében a következő alakban:
ahol komplex szám (természetesen függ -tól), pedig úgynevezett kisrendű függvény, azaz , ha . Ekkor .
3. Definíció: holomorf egy tartományban, ha minden a tartomány belsejében fekvő zárt görbén vett komplex vonalintegrálja eltűnik, azaz igaz a következő összefüggés:
Ez egyébként ekvivalens azzal, hogy megegyező végpontú görbék mentén a komplex vonalintegrál megegyezik, azaz, ha két görbe, és , akkor
Példák
Holomorf a függvény.
A valós esethez hasonlóan itt is igaz, hogy holomorf függvények összege, konstansszorosa és szorzata differenciálható. Ebből következik, hogy minden komplex polinomfüggvény is differenciálható a teljes komplex síkon.
Megmutatható, hogy minden komplex hatványsor differenciálható a konvergenciahalmazának belsejében. Ebből következik, hogy az
határértékkel definiált exponenciális függvény differenciálható a teljes komplex számsíkon. Vegyük észre, hogy ez a függvény ellentétben a valósban megismert tulajdonságaival, nem kölcsönösen egyértelmű, sőt -vel periodikus a függőleges egyenesek mentén, azaz, ha , akkor . Ebből következik, hogy inverzét, tehát a logaritmus-függvényt nem tudjuk az egész komplex síkon holomorf módon értelmezni. Ezért minden komplex logaritmusnál meg kell állapodni az értelmezési tartományban! Egy lehetséges konstrukció a következő:
Legyen
A koszinusz- és szinusz-függvény holomorf a komplex síkon, komplex esetben a következőképp definiáljuk őket:
Ellenpéldák
- Nem holomorf a konjugált operátor:
- Nem holomorf a valósrész-képzés operátor:
Tulajdonságok
A holomorf függvények folytonosak, létezik primitív függvényük és végtelen sokszor folytonosan differenciálhatóak. Holomorf függvények kompozíciója, lineáris kombinációja, szorzata holomorf, igazak a követekező deriválási szabályok: