Komplex differenzierbar


Komplex differenzierbar

Holomorphie (von gr. holos, „ganz“ und morphe , „Form“) ist eine Eigenschaft von bestimmten komplexwertigen Funktionen, die in der Funktionentheorie (einem Teilgebiet der Mathematik) behandelt werden. Eine Funktion f: U \rightarrow \mathbb{C} für eine offene Menge U \subset \mathbb{C} heißt holomorph, falls sie in jedem Punkt aus U komplex differenzierbar ist.

Auch wenn die Definition analog zur reellen Differenzierbarkeit ist, zeigt sich in der Funktionentheorie, dass die Holomorphie eine sehr starke Eigenschaft ist. Sie produziert nämlich eine Vielzahl von Phänomenen, die im Reellen kein Pendant besitzen. Beispielsweise ist eine holomorphe Funktion stets unendlich oft differenzierbar und lässt sich lokal in jedem Punkt in eine Potenzreihe entwickeln.

Inhaltsverzeichnis

Definitionen

Es sei U \subset \mathbb{C} eine offene Teilmenge der komplexen Ebene und z_0\in U ein Punkt dieser Teilmenge. Eine Funktion f:U \rightarrow \mathbb{C} heißt komplex differenzierbar im Punkt z0, falls der Grenzwert

\lim_{{h \rightarrow 0}\atop{h+z_0 \in U}}\frac{f(z_0+h)-f(z_0)}{h}

existiert. In diesem Fall bezeichnet man diesen Grenzwert als \ f'(z_0).

Die Funktion f heißt holomorph im Punkt z0, falls eine Umgebung von z0 existiert, in der f komplex differenzierbar ist. Ist f auf ganz \mathbb{C} holomorph, so nennt man f eine ganze Funktion.

Erläuterungen

Unterschied zwischen komplexer und reeller Differenzierbarkeit

Zu beachten ist, dass es, im Gegensatz zu reeller Differenzierbarkeit, nicht nur zwei, sondern unendlich viele Möglichkeiten gibt, sich dem Punkt z zu nähern. Komplexe Differenzierbarkeit ist also eine starke Eigenschaft.

Nicht jede reell differenzierbare Funktion f: U \rightarrow \mathbb{R}^2 mit U \subset \mathbb{R}^2 ist also, wenn man sie in naheliegender Weise als Funktion auf \mathbb{C} auffasst, auch holomorph. Im Reellen heißt eine Funktion differenzierbar, falls eine  \mathbb{R} -lineare Abbildung A existiert, so dass die Gleichung

f(x+h) = f(x) + A\cdot h + r(x)

gilt, wobei r eine Funktion mit

\lim_{x \rightarrow h} \frac{r(x)}{|x-h|} = 0

ist. Für holomorphe Funktionen muss A natürlich \mathbb{C}-linear sein, was eine starke Einschränkung bedeutet.

Zusammenhang zwischen komplexer und reeller Differenzierbarkeit

Eine Funktion f\left(x+iy\right)=u\left(x,y\right) + i\,v\left(x,y\right) ist genau dann komplex differenzierbar, wenn u,v stetig partiell differenzierbar sind und die cauchy-riemannschen Differentialgleichungen

\frac{\partial u}{\partial x}= \frac{\partial v}{\partial y} und \frac{\partial u}{\partial y}= -\frac{\partial v}{\partial x}

erfüllt sind.

Beispiele

Folgende Funktionen sind holomorph auf ganz \mathbb{C}:

  • jedes Polynom z\mapsto\sum\limits_{j=0}^na_jz^j mit Koeffizienten a_j \in \mathbb{C}


Folgende Funktionen sind in keinem z\in\mathbb{C} komplex differenzierbar und damit auch nirgendwo holomorph:

  • die Betragsfunktion z\mapsto |z|
  • die Projektionen auf den Realteil z\mapsto\mathrm{Re}(z) beziehungsweise auf den Imaginärteil z\mapsto\mathrm{Im}(z)
  • die komplexe Konjugation z\mapsto\overline{z}

Eigenschaften

Hier folgt eine Auflistung fundamentaler Eigenschaften holomorpher Funktionen, die allesamt kein Pendant in der reellen Theorie besitzen. In der Folge sei U \subset \mathbb C ein Gebiet und f: U \rightarrow \mathbb C holomorph.

Cauchyscher Integralsatz

Ist U \subset \mathbb{C} einfach zusammenhängend und γ ein Zyklus in U, so gilt der cauchysche Integralsatz

\int_\gamma f(z)\mathrm dz=0\!\,.

Cauchysche Integralformel

  • Sei D: = Ur(a) die offene Kreisscheibe mit Radius r um den Punkt a \in U, die ganz in U liegt. Dann gilt für alle z \in D und k \in\N_0 die cauchysche Integralformel
f^{(k)}(z) = \frac{k!}{2\pi i}\int_{\partial D}\frac{f(\zeta)}{(\zeta-z)^{k+1}}\mathrm d\zeta.

Der Funktionswert eines Punktes in einem Gebiet hängt also nur von den Funktionswerten am Rand dieses Gebietes ab. Für mehrdimensionale holomorphe Abbildungen gibt es ein Analogon. Dieses ist unter dem Namen bochner-martinellische Integralformel bekannt.

Holomorphie und Analytizität

Eine Folgerung aus der cauchyschen Integralformel ist, dass in der komplexen Ebene der Begriff der Analytizität äquivalent zur Holomorphie ist: Jede in z0 holomorphe Funktion ist in z0 analytisch. Umgekehrt lässt sich jede in z0 analytische Funktion zu einer in z0 holomorphen Funktion fortsetzen.

Da Potenzreihen unendlich oft komplex differenzierbar sind (und zwar durch gliedweise Differentiation), erhält man insbesondere, dass holomorphe Funktionen unendlich oft differenzierbar und alle ihre Ableitungen wiederum holomorphe Funktionen sind. Hieran erkennt man schon deutliche Unterschiede zur reellen Differentialrechnung.

Identitätssatz

Es zeigt sich, dass eine holomorphe Funktion schon durch sehr wenig Information eindeutig bestimmt ist. Der Identitätssatz besagt, dass zwei holomorphe Funktionen auf einem Gebiet G \subset \C bereits dann auf G identisch sind, wenn sie auf einer geeigneten Teilmenge M \subset G übereinstimmen. Dabei muss die Übereinstimmungsmenge M noch nicht mal ein kontinuierlicher Weg sein, es reicht aus, dass M einen Häufungspunkt in G besitzt. Diskrete Teilmengen reichen hierfür hingegen nicht aus.

Weiteres

  • Konvergiert eine Folge (f_n)_{n \in \mathbb{N}} holomorpher Funktionen kompakt auf U gegen die Grenzfunktion f, so ist f wieder holomorph, und man kann Limesbildung und Differentiation vertauschen, das heißt, die Folge (f'n) konvergiert kompakt gegen f'. (Satz von Weierstraß).

Biholomorphe Funktionen

Eine Folgerung des Satzes über implizite Funktionen ist, dass für eine holomorphe Funktion, die bijektiv ist, stets auch die Umkehrabbildung holomorph ist. Eine holomorphe und bijektive Abbildung heißt biholomorph.

Holomorphie mehrerer Veränderlicher

Sei D \subset \mathbb{C}^n eine komplexe offene Teilmenge. Eine Abbildung f:D \rightarrow \mathbb{C}^m heißt holomorph, falls f = (f_1, \ldots , f_m) in jeder Teilfunktion und jeder Variablen holomorph ist.

Seien

 \overline{\partial} f := \sum_{j=1}^n \frac{\partial}{\partial \overline{z}_j} f {\rm d} \overline{z}_j\ und
 \partial f := \sum_{j=1}^n \frac{\partial}{\partial z_j} f {\rm d} z_j

die Dolbeault-Operatoren. Eine äquivalente Definition der Holomorphie einer Funktion f lautet \overline{\partial} f = 0 , und für die Ableitungsfunktion gilt

 \frac{{\rm d}}{{\rm d}z} f = \overline{\partial} f + \partial f.

Hierbei bezeichnen \frac{\partial}{\partial \overline{z}_j}, \frac{\partial}{\partial z_j} die Wirtingerableitungen, welche definiert sind als

\frac{\partial f}{\partial z_j} = \frac{1}{2} \left(\frac{\partial f}{\partial x_j} - i\frac{\partial f}{\partial y_j}\right) und
\frac{\partial f}{\partial \overline{z}_j} = \frac{1}{2} \left(\frac{\partial f}{\partial x_j} + i\frac{\partial f}{\partial y_j}\right).

Die Äquivalenz der Definitionen ist leicht mit Hilfe der cauchy-riemannschen Differentialgleichungen zu erkennen.

Literatur

Standardwerke

Einführungen

  • Klaus Jänich: (Die ersten beiden Auflagen unterscheiden sich deutlich von den folgenden. Unter anderem fehlen ab der dritten Auflage die vier „Stern“-Kapitel zu Wirtinger-Kalkül, riemannschen Flächen, riemannschen Flächen eines holomorphen Keimes und algebraischen Funktionen.)
  • Einführung in die Funktionentheorie. 2. Auflage. Springer-Verlag, Berlin/Heidelberg 1980, ISBN 3-540-10032-6. 
  • Funktionentheorie – Eine Einführung. 6. Auflage. Springer-Verlag, Berlin/Heidelberg 2004, ISBN 3-540-20392-3. 
  • Wolfgang Fischer, Ingo Lieb: Funktionentheorie – Komplexe Analysis in einer Veränderlichen. 8. Auflage. Vieweg, Braunschweig/Wiesbaden 2003, ISBN 3-528-77247-6. 

Ausführliche Darstellungen der Funktionentheorie

  • Eberhard Freitag, Rolf Busam: Funktionentheorie 1. 3. Auflage. Springer, 2000, ISBN 3-540-67641-4. 
  • Reinhold Remmert, Georg Schumacher: Funktionentheorie 1. 5. Auflage. Springer, Heidelberg 2002, ISBN 3-540-41855-5. 

Siehe auch

Komplexe Teilmengen, Konforme Abbildung


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Differenzierbar — (Nicht )Differenzierbarkeit graphisch Als Differenzierbarkeit bezeichnet man in der Mathematik die Eigenschaft einer Funktion, sich lokal um einen Punkt in eindeutiger Weise linear approximieren zu lassen. Differenzierbarkeit ist in zahlreichen… …   Deutsch Wikipedia

  • Holomorphe Funktion — Ein rechteckiges Gitter wird mit der holomorphen Funktion f in sein Abbild überführt Holomorphie (von gr. holos, „ganz“ und morphe , „Form“) ist eine Eigenschaft von bestimmten komplexwertigen Funktionen, die in der Funktionentheorie (einem… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kopunktal — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Mathematisches Attribut — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Multivariat — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia