Holomorphe Funktion

Holomorphie

Holomorphie (von gr. ὅλος holos, „ganz“ und μορφή morphe, „Form“) ist eine Eigenschaft von bestimmten komplexwertigen Funktionen, die in der Funktionentheorie als Teilgebiet der Mathematik behandelt werden. Eine Funktion $f : U \to ℂ$ mit einer offenen Menge $U \subseteq ℂ$ heißt holomorph, falls sie in jedem Punkt von $U$ komplex differenzierbar ist. Insbesondere in älterer Literatur werden solche Funktionen auch regulär genannt.

Reelle und komplexe Differenzierbarkeit

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 jede holomorphe Funktion beliebig oft (stetig) differenzierbar und lässt sich lokal in jedem Punkt in eine Potenzreihe entwickeln.

Definition: Komplexe Differenzierbarkeit

Es sei $U \subseteq ℂ$ eine offene Teilmenge der komplexen Ebene und $z_{0} \in U$ ein Punkt dieser Teilmenge. Eine Funktion $f : U \to ℂ$ heißt komplex differenzierbar im Punkt $z_{0}$ , falls der Grenzwert

lim_{h \to 0} \frac{f (z_{0} + h) - f (z_{0})}{h}

mit $h \in ℂ$ existiert. Man bezeichnet ihn dann als $f^{'} (z_{0})$ .

Definition: Holomorphie in einem Punkt

Sei $U \subset ℂ$ eine offene Menge (Bereich) und $f : U \to ℂ$ eine Funktion. $f$ heißt holomorph im Punkt $z_{0} \in U$ , falls eine Umgebung von $z_{0}$ existiert, in der $f$ komplex differenzierbar ist.

Bemerkung - Holomorphie in einem Punkt

Im Gegensatz zu der komplexen Differenzierbarkeit in einem Punkt $z_{o} \in ℂ$ als Eigenschaft der Funktion in einem Punkt ist die Holomophie in einem Punkt eine Umgebungseigenschaft von dem Punkt, denn es muss für die Holomophie in $z_{o} \in ℂ$ eine Umgebung existieren, in der die Funktion $f$ komplex differenziebar ist. Holomorphie in einem Punkt unterscheidet sich daher von der Eigenschaft der komplexen Differenzierbarkeit in einem Punkt $z_{o} \in ℂ$ .

Definition: Ganze Funktion

Ist $f : ℂ \to ℂ$ auf ganz $ℂ$ komplex differnzierbar, so nennt man $f$ eine ganze Funktion.

Erläuterungen

Zusammenhang zwischen komplexer und reeller Differenzierbarkeit

$ℂ$ ist in natürlicher Weise ein zweidimensionaler reeller Vektorraum mit der kanonischen Basis ${1, i}$ und so kann man eine Funktion $f : U \to ℂ$ auf einer offenen Menge $U \subseteq ℂ$ auch auf ihre totale Differenzierbarkeit im Sinne der mehrdimensionalen reellen Analysis untersuchen. Bekanntlich heißt $f$ (total) differenzierbar in $z_{0}$ , falls eine $ℝ$ -lineare Abbildung $L$ existiert, sodass

f (z_{0} + h) = f (z_{0}) + L (h) + r (h)

gilt, wobei $r$ eine Funktion mit

lim_{h \to 0} \frac{r (h)}{| h |} = 0

ist.

Darstellende Matrix

Nun sieht man, dass die Funktion $f$ genau dann in $z_{0}$ komplex differenzierbar ist, wenn sie dort total differenzierbar ist und $L$ sogar $ℂ$ -linear ist. Letzteres ist eine starke Bedingung. Sie bedeutet, dass die Darstellungsmatrix von $L$ bezüglich der kanonischen Basis ${1, i}$ die Form

L (z_{1} + i z_{2}) = C ((\begin{matrix} a & - b \\ b & a \end{matrix}) \cdot (\begin{matrix} z_{1} \\ z_{2} \end{matrix}))

mit

C (\begin{matrix} y_{1} \\ y_{2} \end{matrix}) := y_{1} + i y_{2}

hat.

Jacobi-Matrix

Zerlegt man nun eine Funktion $f (x + i y) = u (x, y) + i v (x, y)$ in ihren Real- und Imaginärteil mit reellen Funktionen $u, v$ , so hat die totale Ableitung $L$ als Darstellungsmatrix die Jacobi-Matrix

(\begin{matrix} \frac{\partial u}{\partial x} & \frac{\partial u}{\partial y} \\ \frac{\partial v}{\partial x} & \frac{\partial v}{\partial y} \end{matrix}) .

Cauchy-Riemannsche Differentialgleichungen

Folglich ist die Funktion $f$ genau dann komplex differenzierbar, wenn sie reell differenzierbar ist und für $u, v$ die folgenden Cauchy-Riemannschen Differentialgleichungen erfüllt sind.

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

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

Äquivalente Eigenschaften holomorpher Funktionen einer Variablen

Sei $f : G \to ℂ$ eine Funktion auf einem Gebiet $G$ . In einer offenen Kreisscheibe $D_{ε} (z_{0}) \subseteq G$ als Umgebung einer komplexen Zahl $z_{0}$ sind folgende Eigenschaften H1-H8 äquivalent. Der Bezug zur Umgebung ist dabei wesentlich, da Holomorphie in Gegensatz zur komplexen Differenzierbarkeit als Punkteigenschaft eine Umgebungseigenschaft ist. Die Holomorphiekriterien formuliert man in der Regel für das gesamte Gebiet $G$ und nicht als Punkt bzw. Umgebungseigenschaft.

Kriterien H1-H4

Die Holomorphiekriterien H1-H4 beziehen sich direkt auf Differentialeigenschaften:

(H1) Die Funktion ist einmal komplex differenzierbar auf einer Kreisscheibe um $z_{0}$ .
(H2) Die Funktion ist beliebig oft komplex differenzierbar auf einer Kreisscheibe um $z_{0}$ .
(H3) Real- und Imaginärteil erfüllen die Cauchy-Riemannschen Differentialgleichungen und sind zumindest einmal stetig reell-differenzierbar auf einer Umgebung von $z_{0}$ .
(H4) $f$ ist reell differenzierbar und es gilt $\frac{\partial f}{\partial \bar{z}} = 0$ , wobei $\frac{\partial}{\partial \bar{z}}$ der Cauchy-Riemann-Operator ist, der durch $\frac{\partial}{\partial \bar{z}} := \frac{1}{2} (\frac{\partial}{\partial x} + i \frac{\partial}{\partial y})$ definiert ist.

Kriterien H5-H9

Die Holomorphiekriterien H5-H9 beziehen sich auf Darstellungseigenschaften einer Funktion $f$ :

(H5) Die Funktion ist stetig und das Wegintegral der Funktion über einen beliebigen geschlossenen zusammenziehbaren Weg verschwindet.
(H6) Die Funktionswerte im Inneren einer Kreisscheibe lassen sich aus den Funktionswerten am Rand mit Hilfe der cauchyschen Integralformel ermitteln.
(H7) Die Funktion lässt sich in eine komplexe Potenzreihe auf auf einer Kreisscheibe um $z_{0}$ entwickeln.
(H8) Die Funktion $f$ besitzt lokale Stammfunktionen auf einer Umgebung von $z_{0}$
(H9) Die Funktion $f$ besitzt lokal auf Kreisscheiben $U := D_{r} (z_{0})$ mit $\overline{D_{r} (z_{0})} \subset G$ Stammfunktionen $F_{(k)}$ mit beliebig hoher Ordung $k \in ℕ$ .

Beispiele

Die folgenden Beispiel listen einige relevante Funktionen auf, die die obigen Eigenschaften erfüllen.

Ganze Funktionen

Ganze Funktionen sind auf ganz $ℂ$ holomorph. Beispiele dafür sind

jedes Polynom $z \mapsto \sum_{j = 0}^{n} a_{j} z^{j}$ mit Koeffizienten $a_{j} \in ℂ$ ,
die Exponentialfunktion $\exp$ ,
die trigonometrischen Funktionen $\sin$ und $\cos$ ,
die hyperbolischen Funktionen $\sinh$ und $\cosh$ .

Holomorphe, nichtganze Funktionen

Gebrochen rationale Funktionen sind holomorph außer an den Nullstellen ihres Nennerpolynoms. Dort besitzen sie isolierte Polstellen und sind damit auch Beispiele für meromorphe Funktionen.
Die Logarithmusfunktion $\log$ lässt sich in allen Punkten aus $ℂ ∖] - \infty, 0]$ in eine Potenzreihe entwickeln und ist somit auf der Menge $ℂ ∖] - \infty, 0]$ holomorph.

Nirgends holomorphe Funktionen

In keinem $z \in ℂ$ komplex differenzierbar und damit auch nirgendwo holomorph sind beispielsweise

die Betragsfunktion $z \mapsto | z |$ ,
die Projektionen auf den Realteil $z \mapsto R e (z)$ beziehungsweise auf den Imaginärteil $z \mapsto I m (z)$ ,
die komplexe Konjugation $z \mapsto \overline{z}$ .

Komplex differenzierbar und nicht holomorph in Punkt

Die Funktion $z \mapsto | z |^{2}$ ist nur an der Stelle $z = 0$ komplex differenzierbar, aber dort nicht holomorph, da sie nicht auf einer ganzen Umgebung von $0$ komplex differenzierbar ist.

Dichte der Normalverteilung

Die Dichtefunktion der Normalverteilung ist mit dem erweiterten Definitionsbereich auf $ℂ$ eine ganze Funktion, die nicht nur lokale Stammfunktionen besitzt, sondern Stammfunktionen, die auf ganz $ℂ$ definiert sind.

Eigenschaften

Sind $f, g : U \to ℂ$ an einer Stelle $z \in U$ komplex differenzierbar, so auch $f + g$ , $f - g$ und $f \cdot g$ . Das gilt auch für $\frac{f}{g}$ , wenn $z$ keine Nullstelle von $g$ ist. Es gelten ferner Summen-, Produkt-, Quotienten- und Kettenregel.

Es folgt eine Auflistung fundamentaler Eigenschaften holomorpher Funktionen, die alle keine Entsprechung in der reellen Theorie besitzen. In der Folge sei $U \subseteq ℂ$ ein Gebiet und $f : U \to ℂ$ holomorph.

Cauchyscher Integralsatz

Ist $U \subseteq ℂ$ einfach zusammenhängend und $γ$ ein Zyklus in $U$ , so gilt der cauchysche Integralsatz

\int_{γ} f (z) d z = 0.

Der Satz gilt also insbesondere dann, wenn $U$ ein Sterngebiet und $γ$ ein geschlossener Weg ist.

Cauchysche Integralformel

Sei $D := U_{r} (a)$ die offene Kreisscheibe mit Radius $r$ um den Punkt $a \in U$ . Liegt der Abschluss von $D$ noch ganz in $U$ , so gilt für alle $z \in D$ und $k \in ℕ_{0}$ die cauchysche Integralformel

f^{(k)} (z) = \frac{k!}{2 π i} \int_{\partial D} \frac{f (ζ)}{(ζ - z)^{k + 1}} d ζ .

Der Funktionswert eines Punktes in einem Gebiet hängt also nur von den Funktionswerten am Rand dieses Gebietes ab.

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 $z_{0}$ holomorphe Funktion ist in $z_{0}$ analytisch. Umgekehrt lässt sich jede in $z_{0}$ analytische Funktion zu einer in $z_{0}$ holomorphen Funktion fortsetzen.

Da Potenzreihen beliebig oft komplex differenzierbar sind (und zwar durch gliedweise Differentiation), erhält man insbesondere, dass holomorphe Funktionen beliebig 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 \subseteq ℂ$ bereits dann auf ganz $G$ identisch sind, wenn sie auf einer geeigneten echten Teilmenge $M \subset G$ übereinstimmen. Dabei muss die Übereinstimmungsmenge $M$ noch nicht einmal ein kontinuierlicher Weg sein: Es reicht aus, dass $M$ einen Häufungspunkt in $G$ besitzt. Diskrete Teilmengen reichen hierfür hingegen nicht aus.

Weiteres

Der Satz von Liouville besagt, dass jede beschränkte ganze Funktion konstant ist. Eine einfache Folgerung hieraus ist der Fundamentalsatz der Algebra.
Satz von der Gebietstreue: Ist $U \subseteq ℂ$ ein Gebiet und $f : U \to ℂ$ nicht konstant, dann ist $f (U) \subseteq ℂ$ wieder ein Gebiet.
Eine Folgerung der Gebietstreue ist das Maximumprinzip.
Satz von Weierstraß: Konvergiert eine Folge $(f_{n})_{n \in ℕ}$ 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 Montel: Ist die Folge $(f_{n})_{n \in ℕ}$ holomorpher Funktionen auf $U$ lokal beschränkt, so existiert eine kompakt konvergente Teilfolge.
Jede auf einem einfach zusammenhängenden Gebiet $D \subseteq ℝ^{2}$ zweimal stetig differenzierbare harmonische Funktion $u$ ist Realteil einer komplex differenzierbaren Funktion $f (x + i y) = u (x, y) + i v (x, y)$ . Die reelle Funktion $v = Im f$ erfüllt ebenfalls $Δ v = 0$ . Sie wird als konjugiert harmonisch zu $u$ bezeichnet und $f$ als komplexes Potential.

Biholomorphe Funktionen

Eine Funktion, die holomorph, bijektiv und deren Umkehrfunktion holomorph ist, nennt man biholomorph. Im Fall einer komplexen Veränderlichen ist das äquivalent dazu, dass die Abbildung bijektiv und konform ist. Aus dem Satz über implizite Funktionen folgt für holomorphe Funktionen einer Veränderlicher schon, dass eine bijektive, holomorphe Funktion stets eine holomorphe Umkehrabbildung besitzt. Im nächsten Abschnitt werden holomorphe Funktionen mehrerer Veränderlicher eingeführt. In diesem Fall garantiert der Satz von Osgood diese Eigenschaft. Somit kann man sagen, dass bijektive, holomorphe Abbildung biholomorph sind.

Aus Sicht der Kategorientheorie ist eine biholomorphe Abbildung ein Isomorphismus.

Holomorphie mehrerer Veränderlicher

Im n-dimensionalen komplexen Raum

Sei $D \subseteq ℂ^{n}$ eine komplexe offene Teilmenge. Eine Abbildung $f : D \to ℂ^{m}$ heißt holomorph, falls $f = (f_{1}, \dots, f_{m})$ in jeder Teilfunktion und jeder Variablen holomorph ist. Mit dem Wirtinger-Kalkül $\frac{\partial}{\partial z^{j}}$ und $\frac{\partial}{\partial {\overline{z}}^{j}}$ steht ein Kalkül zur Verfügung, mit dem man die partiellen Ableitungen einer komplexen Funktion einfacher verwalten kann. Jedoch haben holomorphe Funktionen mehrerer Veränderlicher nicht mehr so viele schöne Eigenschaften.

So gilt für Funktionen $f : D \to ℂ$ der cauchysche Integralsatz nicht und der Identitätssatz ist nur noch in einer abgeschwächten Version gültig. Für diese Funktionen kann allerdings die Integralformel von Cauchy durch Induktion auf $n$ Dimensionen verallgemeinert werden. Salomon Bochner konnte 1944 sogar noch eine Verallgemeinerung der $n$ -dimensionalen cauchyschen Integralformel beweisen. Diese trägt den Namen Bochner-Martinelli-Formel.

In der komplexen Geometrie

Auch in der komplexen Geometrie werden holomorphe Abbildungen betrachtet. So kann man holomorphe Abbildungen zwischen riemannschen Flächen beziehungsweise zwischen komplexen Mannigfaltigkeiten analog zu differenzierbaren Funktionen zwischen glatten Mannigfaltigkeiten definieren. Außerdem gibt es ein für die Integrationstheorie wichtiges Pendant zu den glatten Differentialformen, die holomorphe Differentialformen heißen.

Literatur

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.

Eberhard Freitag: Funktionentheorie 2. Riemann’sche Flächen; Mehrere komplexe Variable; Abel’sche Funktionen; Höhere Modulformen. Springer, 2009, ISBN 978-3-540-87899-5.

Reinhold Remmert, Georg Schumacher: Funktionentheorie 1. 5. Auflage. Springer, Heidelberg 2002, ISBN 3-540-41855-5.

Reinhold Remmert, Georg Schumacher: Funktionentheorie 2. 3. Auflage. Springer, Heidelberg 2007, ISBN 978-3-540-40432-3.

Siehe auch

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionentheorie' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Holomorphe%20Funktion
siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt: