Funktionentheorie

Funktionsgraph von f(z)=(z²-1)(z-2-i)²/(z²+2+2i) in Polarkoordinaten. Der Farbton gibt den Winkel an, die Helligkeit den Betrag der komplexen Zahl.

Die Funktionentheorie ist ein Teilgebiet der Mathematik. Sie befasst sich mit der Theorie differenzierbarer komplexwertiger Funktionen mit komplexen Variablen. Da insbesondere die Funktionentheorie einer komplexen Variablen reichlich Gebrauch von Methoden aus der reellen Analysis macht, nennt man das Teilgebiet auch komplexe Analysis.

Zu den Hauptbegründern der Funktionentheorie gehören Augustin Louis Cauchy, Bernhard Riemann und Karl Weierstraß.

Funktionentheorie in einer komplexen Variablen

Komplexe Funktionen

Eine komplexe Funktion ordnet einer komplexen Zahl eine weitere komplexe Zahl zu. Da jede komplexe Zahl durch zwei reelle Zahlen in der Form x + iy geschrieben werden kann, lässt sich eine allgemeine Form einer komplexen Funktion durch

$x + iy \mapsto f(x+iy) = u(x,y) + i v(x,y)$

darstellen. Hier sind $\,u(x,y)$ und $\,v(x,y)$ reelle Funktionen, die von zwei reellen Variablen x und y abhängen. $\,u(x,y)$ heißt der Realteil und $\,v(x,y)$ der Imaginärteil der Funktion. Insofern ist eine komplexe Funktion eine spezielle reelle Abbildung von $\mathbb{R}^2$ nach $\mathbb{R}^2$ (also eine Abbildung, die zwei reellen Zahlen wieder zwei reelle Zahlen zuordnet). Tatsächlich könnte man die ganze Funktionentheorie auch mit reeller Analysis behandeln. Der Unterschied zur reellen Analysis wird erst deutlicher, wenn man komplex-differenzierbare Funktionen betrachtet. Dass in der Funktionentheorie nun vom $\mathbb{R}^2$ in den $\mathbb{R}^2$ abgebildet wird, macht das Plotten von Funktionen etwas umständlicher als gewohnt, da nun vier Dimensionen wiedergegeben werden müssen. Aus diesem Grund behilft man sich mit Farbtönen oder -sättigungen.

Holomorphe Funktion

→ Hauptartikel: Holomorphe Funktion

Der Differenzierbarkeitsbegriff der eindimensionalen reellen Analysis wird in der Funktionentheorie zur komplexen Differenzierbarkeit erweitert. Analog zum reellen Fall definiert man: Eine Funktion einer komplexen Variablen heißt komplex-differenzierbar, falls der Grenzwert

$f'(a) = \lim_{w \to 0}\frac{f(a+w) - f(a)}{w}.$

existiert. Dabei muss f in einer Umgebung von a definiert sein. Für die Definition des Grenzwerts muss dabei der komplexe Abstandsbegriff verwendet werden.

Damit sind für komplexwertige Funktionen einer komplexen Variablen zwei verschiedene Differenzierbarkeitsbegriffe definiert: die komplexe Differenzierbarkeit und die Differenzierbarkeit der zweidimensionalen reellen Analysis (reelle Differenzierbarkeit). Komplex-differenzierbare Funktionen sind auch reell-differenzierbar, die Umkehrung gilt nicht ohne zusätzliche Voraussetzungen.

Funktionen, die in einer Umgebung eines Punktes komplex-differenzierbar sind, nennt man holomorph oder analytisch. Diese haben eine Reihe hervorragender Eigenschaften, die es rechtfertigen, dass sich eine eigene Theorie hauptsächlich damit beschäftigt - eben die Funktionentheorie. Zum Beispiel ist eine Funktion, die einmal komplex-differenzierbar ist, automatisch beliebig oft komplex-differenzierbar, was im reellen Fall natürlich nicht gilt.

Einen anderen Zugang zur Funktionentheorie bieten das System der Cauchy-Riemannschen Differentialgleichung

$\begin{align} \partial_x u(x,y) &= \partial_y v(x,y),\\ \partial_y u(x,y) &= -\partial_x v(x,y). \end{align}$

Eine Funktion ist nämlich genau dann komplex differenzierbar, also holomorph, wenn sie das System der Cauchy-Riemannschen Differentialgleichung erfüllen. Daher könnte man die Funktionentheorie auch als Teilgebiet der Theorie der partiellen Differentialgleichungen verstehen. Jedoch ist die Theorie mittlerweile zu umfangreich, als dass man sie heute in den Kontext der partiellen Differentialgleichungen einbettet.

Cauchysche Integralformel

→ Hauptartikel: Cauchysche Integralformel

Mit einem Integrationsweg, der keinerlei Singularitäten von f umläuft und für dessen Umlaufzahl um z gilt, dass

$1 = \frac 1{2\pi i}\oint \frac{1}{w-z}\mathrm dw,$

gilt die cauchysche Integralformel:

$f(z) = \frac 1{2\pi i}\oint \frac{f(w)}{w-z}\mathrm dw.$

Diese besagt, dass der Wert einer komplex-differenzierbaren Funktion auf einem Gebiet nur von den Funktionswerten auf dem Rand des Gebiets abhängt.

Funktionen mit Singularitäten

Da die Menge der holomorphen Funktionen recht klein ist, betrachtet man in der Funktionentheorie auch Funktionen, die außer in isolierten Punkten überall holomorph sind. Diese isolierten Punkte werden Singularitäten genannt. Ist eine Funktion in einer Umgebung um eine Singularität beschränkt, so kann man die Funktion in der Singularität holomorph fortsetzen. Diese Aussage heißt riemannscher Hebbarkeitssatz. Ist eine Singularität z₀ einer Funktion f nicht hebbar, hat jedoch die Funktion (z − z₀)^kf(z) in z₀ ein hebbare Singularität, so spricht man von einer Polstelle k-ter Ordnung, wobei k minimal gewählt ist. Hat eine Funktion isolierte Polstellen und ist sonst holomorph, so nennt man die Funktion meromorph. Ist die Singularität weder hebbar noch ein Pol, so spricht man von einer wesentlichen Singularität. Nach dem Satz von Picard sind Funktionen mit einer wesentlichen Singularität dadurch charakterisiert, dass sie jeden beliebigen komplexen Zahlenwert mit höchstens einer Ausnahme annehmen.

Da man jede holomorphe Funktion in eine Potenzreihe entwickeln kann, kann man auch Funktionen mit hebbaren Singularitäten in Potenzreihen entwickeln. Meromorphe Funktionen können in eine Laurentreihe entwickelt werden, die nur endlich viele Glieder mit negativer Potenz haben, und die Laurentreihen von Funktionen mit wesentlicher Singularität haben eine nicht abbrechende Entwicklung der Potenzen mit negativen Exponenten. Der Koeffizient a _{− 1} von (z − z₀) ^{− 1} der Laurententwicklung heißt Residuum. Nach dem Residuensatz kann man nur mit Hilfe dieses Wertes Integrale über meromorphe Funktionen und über Funktionen mit wesentlichen Singularitäten bestimmen. Dieser Satz ist nicht nur in der Funktionentheorie von Bedeutung, denn man kann mit Hilfe dieser Aussage auch Integrale aus der reellen Analysis bestimmen, die wie das gaußsche Fehlerintegral keine geschlossene Darstellung der Stammfunktion besitzen.

Weitere wichtige Themen und Ergebnisse

Wichtige Ergebnisse sind außerdem noch der riemannsche Abbildungssatz und der Fundamentalsatz der Algebra. Letzterer besagt, dass sich ein Polynom im Bereich der komplexen Zahlen vollständig in Linearfaktoren zerlegen lässt. Für Polynome im Bereich der reellen Zahlen ist dies im Allgemeinen (mit reellen Linearfaktoren) nicht möglich.

Weitere wichtige Forschungsschwerpunkte sind die analytische Fortsetzbarkeit von holomorphen und meromorphen Funktionen auf die Grenzen ihres Definitionsbereiches und darüber hinaus.

Funktionentheorie in mehreren komplexen Variablen

Es gibt auch komplexwertige Funktionen mehrerer komplexer Variablen. Im Vergleich zur reellen Analysis gibt es in der komplexen Analysis fundamentale Unterschiede zwischen Funktionen einer und mehrerer Variablen. In der Theorie holomorpher Funktionen mehrerer Variablen gibt es kein Analogon zum cauchyschen Integralsatz. Auch der Identitätssatz gilt nur in einer abgeschwächten Form für holomorphe Funktionen mehrerer Veränderlicher. Die cauchysche Integralformel jedoch lässt sich ganz analog auf mehrere Variablen verallgemeinern. In dieser allgemeineren Form nennt man sie auch Bochner-Martinelli-Formel. Außerdem besitzen meromorphe Funktionen mehrerer Variablen keine isolierten Singularitäten, was aus dem sogenannten Kugelsatz von Hartogs folgt, und als Konsequenz auch keine isolierten Nullstellen. Auch der riemannsche Abbildungssatz - ein Höhepunkt der Funktionentheorie in einer Variablen - hat kein Äquivalent in höheren Dimensionen. Nicht einmal die beiden natürlichen Verallgemeinerungen der eindimensionalen Kreisscheibe, die Einheitskugel und der Polyzylinder, sind in mehreren Dimensionen biholomorph äquivalent. Ein großer Teil der Funktionentheorie mehrerer Variablen beschäftigt sich mit Fortsetzungsphänomenen (riemannsche Hebbarkeitssätze, Kugelsatz von Hartogs, Satz von Bochner über Röhrengebiete, Cartan-Thullen-Theorie). Die Funktionentheorie mehrerer komplexer Variablen wird zum Beispiel in der Quantenfeldtheorie benutzt.

Komplexe Geometrie

→ Hauptartikel: Komplexe Geometrie

Die komplexe Geometrie ist ein Teilgebiet der Differentialgeometrie, das auf Methoden der Funktionentheorie zurückgreift. In anderen Teilgebieten der Differentialgeometrie wie der Differentialtopologie oder der riemannschen Geometrie werden glatte Mannigfaltigkeiten mit Techniken aus der reellen Analysis untersucht. In der komplexen Geometrie dagegen werden Mannigfaltigkeiten mit komplexen Strukturen untersucht. Im Gegensatz zu den glatten Mannigfaltigkeiten ist es auf komplexen Mannigfaltigkeiten möglich, mit Hilfe des Dolbeault-Operators holomorphe Abbildungen zu definieren. Diese Mannigfaltigkeiten werden dann mit Methoden der Funktionentheorie und der algebraischen Geometrie untersucht. Im vorigen Abschnitt wurde erklärt, dass es große Unterschiede zwischen der Funktionentheorie einer Veränderlichen und der Funktionentheorie mehrerer Veränderlicher gibt. Diese Unterschiede spiegeln sich auch in der komplexen Geometrie wider. Die Theorie der riemannschen Flächen ist ein Teilgebiet der komplexen Geometrie und beschäftigt sich ausschließlich mit Flächen mit komplexer Struktur, also mit eindimensionalen komplexen Mannigfaltigkeiten. Diese Theorie ist reichhaltiger als die Theorie der n-dimensionalen komplexen Mannigfaltigkeiten.

Funktionentheoretische Methoden in anderen mathematischen Teilgebieten

Eine klassische Anwendung der Funktionentheorie liegt in der Zahlentheorie. Benutzt man dort funktionentheoretische Methoden, nennt man dieses Gebiet dann analytische Zahlentheorie. Ein wichtiges Ergebnis ist beispielsweise der Primzahlsatz.

Reelle Funktionen, die sich in eine Potenzreihe entwickeln lassen, sind auch Realteile von holomorphen Funktionen. Damit lassen sich diese Funktionen auf die komplexe Ebene erweitern. Durch diese Erweiterung kann man oft Zusammenhänge und Eigenschaften von Funktionen finden, die im Reellen verborgen bleiben, zum Beispiel die eulersche Identität. Hierüber erschließen sich vielfältige Anwendungsbereiche in der Physik (beispielsweise in der Quantenmechanik die Darstellung von Wellenfunktionen, sowie in der Elektrotechnik zweidimensionale Strom-Spannungs-Diagramme). Diese Identität ist auch die Basis für die komplexe Form der Fourier-Reihe und für die Fourier-Transformation. In vielen Fällen lassen sich diese mit Methoden der Funktionentheorie berechnen.

Für holomorphe Funktionen gilt, dass Real- und Imaginärteil harmonische Funktionen sind, also die Laplace-Gleichung erfüllen. Dies verknüpft die Funktionentheorie mit den partiellen Differentialgleichungen, beide Gebiete haben sich regelmäßig gegenseitig beeinflusst.

Das Wegintegral einer holomorphen Funktion ist vom Weg unabhängig. Dies war historisch das erste Beispiel einer Homotopieinvarianz. Aus diesem Aspekt der Funktionentheorie entstanden viele Ideen der algebraischen Topologie, beginnend mit Bernhard Riemann.

In der Theorie der komplexen Banachalgebren spielen funktionentheoretische Mittel eine wichtige Rolle. Der holomorphe Funktionalkalkül erlaubt die Anwendung holomorpher Funktionen auf Elemente einer Banachalgebra. Eine weitere Anwendung funktionentheoretischer Methoden zeigt der Satz von Gelfand-Mazur.

Siehe auch

Wichtige Sätze

• Satz von Liouville
• Satz von Morera

Ganze Funktionen

• Exponentialfunktion
• Trigonometrische Funktionen
• Hyperbelfunktionen

Meromorphe Funktionen

• Gammafunktion
• Elliptische Funktionen

Literatur

• Lars Ahlfors: Complex Analysis. McGraw-Hill Comp., 1953.
• Heinrich Behnke, Friedrich Sommer: Theorie der analytischen Funktionen einer komplexen Veränderlichen. 3. Auflage. Springer, Berlin 1976, ISBN 9783540077688.
• Ludwig Bieberbach: Lehrbuch der Funktionentheorie. Bände 1. u.2., BG Teubner, 1923.
• Rolf Busam, Eberhard Freitag: Funktionentheorie 1. 4. Auflage. Springer, Berlin 2006, ISBN 3-540-31764-3.
• Durege: Elemente der Theorie der Funkt. einer komplexen Veränderlichen Grösse. 1.-5. Auflage. BG Teubner, 1882-1906.
• Wolfgang Fischer, Ingo Lieb: Funktionentheorie. 8. Auflage. Vieweg, Braunschweig 2003, ISBN 3-528-77247-6.
• J. A. Gmeiner, O. Stolz: Einleitung in die Funktionentheorie. Bände 1. u.2., BG Teubner, 1904.
• Klaus Jänich: Funktionentheorie. 6. Auflage. Springer, Berlin 2004, ISBN 3-540-20392-3.
• W. F. Osgood: Lehrbuch der Funktionentheorie. Bände 1.2.3., BG Teubner, 1923.
• Alfred Pringsheim: Vorlesungen über Funktionenlehre. BGTeubner, 1925. (Weierstrasscher Standpunkt)
• Reinhold Remmert, Georg Schumacher: Funktionentheorie 1. 5. Auflage. Springer, Berlin 2002, ISBN 3-540-59075-7.
• Reinhold Remmert, Georg Schumacher: Funktionentheorie 2. 3. Auflage. Springer, Berlin 2007, ISBN 3-540-40432-5.
• Volker Scheidemann: Introduction to complex analysis in several variables. Birkhäuser, Basel 2005, ISBN 3-764-37490-X.
• Ian Stewart, David Tall: Complex Analysis. Cambridge University Press, 1997, ISBN 0-521-24513-3.
• Thomae: Elementare Theorie der analytischen Funktionen. Verlag Louis Nebert, 1898.