Website durchsuchen

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 Teilgebiet der Mathematik) behandelt werden. Eine Funktion f\colon U\to {\mathbb  {C}} mit einer offenen Menge {\displaystyle U\subseteq \mathbb {C} } heißt holomorph, falls sie in jedem Punkt von U komplex differenzierbar ist. Insbesondere in älterer Literatur werden solche Funktionen auch regulär genannt.

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.

Definitionen

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

{\displaystyle \lim _{h\to 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}}

existiert. Man bezeichnet ihn dann als f'(z_{0}).

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

Erläuterungen

Zusammenhang zwischen komplexer und reeller Differenzierbarkeit

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

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

gilt, wobei r eine Funktion mit

{\displaystyle \lim _{h\to 0}{\frac {r(h)}{|h|}}=0}

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

{\begin{pmatrix}a&-b\\b&a\end{pmatrix}}

hat.

Cauchy-Riemannsche Differentialgleichungen

Hauptartikel: Cauchy-Riemannsche partielle Differentialgleichungen

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

{\displaystyle {\begin{pmatrix}{\frac {\partial u}{\partial x}}&{\frac {\partial u}{\partial y}}\\{\frac {\partial v}{\partial x}}&{\frac {\partial v}{\partial y}}\end{pmatrix}}.}

Folglich ist die Funktion f genau dann komplex differenzierbar, wenn sie reell differenzierbar ist und für u,v die Cauchy-Riemannschen Differentialgleichungen

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

erfüllt sind.

Äquivalente Eigenschaften holomorpher Funktionen einer Variablen

In einer Umgebung einer komplexen Zahl sind folgende Eigenschaften komplexer Funktionen gleichwertig:

  1. Die Funktion ist einmal komplex differenzierbar.
  2. Die Funktion ist beliebig oft komplex differenzierbar.
  3. Real- und Imaginärteil erfüllen die Cauchy-Riemannschen Differentialgleichungen und sind zumindest einmal stetig reell-differenzierbar.
  4. Die Funktion lässt sich in eine komplexe Potenzreihe entwickeln.
  5. Die Funktion ist stetig und das Wegintegral der Funktion über einen beliebigen geschlossenen zusammenziehbaren Weg verschwindet.
  6. Die Funktionswerte im Inneren einer Kreisscheibe lassen sich aus den Funktionswerten am Rand mit Hilfe der cauchyschen Integralformel ermitteln.
  7. Die Funktion f ist reell differenzierbar und es gilt
    {\displaystyle \quad {\frac {\partial f}{\partial {\bar {z}}}}=0,}
    wobei {\tfrac  {\partial }{\partial {\bar  z}}} der Cauchy-Riemann-Operator ist, der durch {\displaystyle {\tfrac {\partial }{\partial {\bar {z}}}}:={\tfrac {1}{2}}\left({\tfrac {\partial }{\partial x}}+i{\tfrac {\partial }{\partial y}}\right)} definiert ist.

Beispiele

Ganze Funktionen

Ganze Funktionen sind auf ganz \mathbb {C} holomorph. Beispiele dafür sind

Holomorphe, nichtganze Funktionen

Nirgends holomorphe Funktionen

In keinem z\in\mathbb{C} komplex differenzierbar und damit auch nirgendwo holomorph sind beispielsweise

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

Eigenschaften

Sind {\displaystyle f,g\colon U\to \mathbb {C} } an einer Stelle z \in U komplex differenzierbar, so auch f+g, f-g und f\cdot g. Das gilt auch für {\tfrac  {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 {\displaystyle U\subseteq \mathbb {C} } ein Gebiet und {\displaystyle f\colon U\to \mathbb {C} } holomorph.

Cauchyscher Integralsatz

Hauptartikel: Cauchyscher Integralsatz

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

{\displaystyle \int _{\gamma }f(z)\,\mathrm {d} z=0.}

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

Cauchysche Integralformel

Hauptartikel: 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 \mathbb{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 Wert der Funktion (und jeder ihrer Ableitungen) 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 {\displaystyle G\subseteq \mathbb {C} } 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

Biholomorphe Funktionen

Hauptartikel: Biholomorphe Funktion

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 {\displaystyle D\subseteq \mathbb {C} ^{n}} eine offene Teilmenge. Eine Abbildung {\displaystyle f\colon D\to \mathbb {C} } heißt holomorph, falls sie sich um jeden Punkt des Definitionsbereichs in eine Potenzreihe entwickeln lässt, das heißt, zu jedem {\displaystyle w=(w_{1},\dotsc ,w_{n})\in D} gibt es einen Polykreis {\displaystyle \Delta (w;r_{1},\dotsc ,r_{n})\subset D}, sodass

{\displaystyle f(z)=\sum _{k_{1},\dotsc ,k_{n}=0}^{\infty }a_{k_{1},\dotsc ,k_{n}}(z_{1}-w_{1})^{k_{1}}\cdots (z_{n}-w_{n})^{k_{n}}}

für alle {\displaystyle z\in \Delta (w;r_{1},\dotsc ,r_{n})} mit von z unabhängigen Koeffizienten {\displaystyle a_{k_{1},\dotsc ,k_{n}}\in \mathbb {C} } gilt. Eine Funktion {\displaystyle f\colon D\to \mathbb {C} } heißt holomorph in der j-ten Variablen, wenn sie als Funktion von z_j bei festgehaltenen übrigen Variablen holomorph ist. Holomorphe Funktionen sind natürlich in jeder Variablen holomorph. Für die Umkehrung siehe die untenstehenden äquivalenten Charakterisierungen.

Mit dem Wirtinger-Kalkül \textstyle {\frac  {\partial }{\partial z^{j}}} und \textstyle {\frac  {\partial }{\partial \overline {z}^{j}}} steht ein Kalkül zur Verfügung, mit dem man die partiellen Ableitungen einer komplexen Funktion wie bei Funktionen einer Veränderlichen behandeln kann.

Für eine Funktion {\displaystyle f\colon D\to \mathbb {C} }, {\displaystyle D\subseteq \mathbb {C} ^{n}} offen, sind folgende Aussagen äquivalent:

Für mehrere Dimensionen im Bildbereich definiert man Holomorphie wie folgt: Eine Abbildung {\displaystyle f=(f_{1},\dotsc ,f_{m})\colon D\to \mathbb {C} ^{m}}, {\displaystyle D\subseteq \mathbb {C} ^{n}} offen, heißt holomorph, wenn jede der Teilfunktionen {\displaystyle f_{j}\colon D\to \mathbb {C} } holomorph ist.

Viele Eigenschaften holomorpher Funktionen einer Veränderlichen lassen sich, teils in abgeschwächter Form, auf den Fall mehrerer Veränderlicher übertragen. So gilt für Funktionen {\displaystyle f\colon D\to \mathbb {C} ^{m}} 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 oder 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, das holomorphe Differentialform heißt.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 08.12. 2020