Kurs:Funktionentheorie (Osnabrück 2023-2024)/Vorlesung 18/kontrolle

Wesentliche Singularitäten

Definition Referenznummer erstellen

Es sei ${}U\subseteq {\mathbb {C} }$ eine offene Teilmenge, ${}a\in U$ ein Punkt und

$f\colon U\setminus \{a\}\longrightarrow {\mathbb {C} }$

eine holomorphe Funktion. Man sagt, dass ${}f$ im Punkt ${}a$ eine wesentliche Singularität besitzt, wenn ${}a$ weder eine hebbare Singularität noch ein Pol von ${}f$ ist.

Dies bedeutet, dass für ${}z\rightarrow a$ der Betrag ${}\vert {f(z)}\vert$ in ${}a$ weder einen Limes besitzt noch gegen ${}+\infty$ bestimmt divergiert. Die beiden Standardbeispiele sind die folgenden.

Beispiel Referenznummer erstellen

Die Funktion

${}f(z)=\exp \left(z^{-1}\right)\,$

besitzt im Nullpunkt eine wesentliche Singularität. Für jedes feste ${}n\in \mathbb {N}$ ist ${}z^{n}\exp \left(z^{-1}\right)$ für ${}z\rightarrow 0$ nicht beschränkt, da (mit ${}w=z^{-1}$) ja ${}{\frac {\exp w}{w^{n}}}\rightarrow +\infty$ für reelles ${}w\rightarrow +\infty$ gilt (die Exponentialfunktion wächst schneller als jedes Polynom, siehe Aufgabe 15.19 (Analysis (Osnabrück 2021-2023))).

Beispiel Referenznummer erstellen

Die Funktion

${}f(z)=\sin \left(z^{-1}\right)\,$

besitzt im Nullpunkt eine wesentliche Singularität. Die Funktion ${}\sin \left(z^{-1}\right)$ ist zwar auf ${}\mathbb {R} \setminus \{0\}$ beschränkt und die reelle Funktion ${}z\sin \left(z^{-1}\right)$ besitzt eine stetige Fortsetzung nach ${}\mathbb {R}$, doch geht es um das Verhalten der Betragsfunktion über ${}{\mathbb {C} }$. Mit der Beschreibung

${}\sin z={\frac {e^{{\mathrm {i} }z}-e^{-{\mathrm {i} }z}}{2{\mathrm {i} }}}\,$

gilt

${}\sin \left({\frac {1}{z}}\right)={\frac {e^{\frac {\mathrm {i} }{z}}-e^{-{\frac {\mathrm {i} }{z}}}}{2{\mathrm {i} }}}\,.$

Für Argumente ${}z={\mathrm {i} }r$ mit ${}r$ reell ist

${}\sin \left({\frac {1}{{\mathrm {i} }r}}\right)={\frac {e^{\frac {\mathrm {i} }{{\mathrm {i} }r}}-e^{-{\frac {\mathrm {i} }{{\mathrm {i} }r}}}}{2{\mathrm {i} }}}={\frac {e^{\frac {1}{r}}-e^{-{\frac {1}{r}}}}{2{\mathrm {i} }}}\,$

und dabei geht für ${}r>0$, ${}r\rightarrow 0$, der rechte Summand im Zähler gegen ${}0$ und der linke Summand gegen ${}+\infty$.

Lemma Lemma 18.4 ändern

Es sei ${}U\subseteq {\mathbb {C} }$ eine offene Teilmenge, ${}a\in {\mathbb {C} }$ ein Punkt und

$f\colon U\setminus \{a\}\longrightarrow {\mathbb {C} }$

eine holomorphe Funktion. Dann sind folgende Eigenschaften äquivalent.

1. ${}f$ besitzt in ${}a$ eine wesentliche Singularität.
2. In der Laurent-Reihe zu ${}f$ in ${}a$ gibt es unendlich viele Koeffizienten zu negativen Indizes, die nicht gleich ${}0$ sind.

Beweis

Dies folgt aus Korollar 17.3 und aus Lemma 17.5.

$\Box$

Eine wesentliche Singularität ist nach Definition eine, in der der Betrag der Funktion keinen Limes in ${}\mathbb {R} \cup \{\infty \}$ besitzt. Darüber hinaus kann man über das Verhalten der Werte der Funktion selbst auf einer punktierten Umgebung eine sehr viel stärkere Aussage machen, dies ist der Inhalt des Satzes von Casorati-Weierstrass.

Satz Satz 18.5 ändern

Es sei ${}U\subseteq {\mathbb {C} }$ eine offene Teilmenge,

${}a\in U$ ein Punkt und

$f\colon U\setminus \{a\}\longrightarrow {\mathbb {C} }$

eine holomorphe Funktion. Dann sind folgende Aussagen äquivalent.

1. ${}f$ besitzt in ${}a$ eine wesentliche Singularität.
2. Für jede offene Kreisscheibenumgebung ${}U{\left(a,r\right)}$ ist das Bild ${}f{\left(U{\left(a,r\right)}\setminus \{a\}\right)}$ dicht in ${}{\mathbb {C} }$.

Beweis

Es liege eine wesentliche Singularität vor, wobei wir ${}a=0$ annehmen können. Nehmen wir an, dass es eine Ballumgebung ${}U{\left(0,r\right)}$ derart gibt, dass das Bild der punktierten Ballumgebung nicht dicht ist. Dann gibt es einen Punkt ${}b\in {\mathbb {C} }$ und eine Ballumgebung ${}U{\left(b,s\right)}$, die disjunkt zum Bild ist. Wir betrachten die holomorphe Funktion

$h\colon U{\left(0,r\right)}\setminus \{0\}\longrightarrow {\mathbb {C} },\,z\longmapsto h(z)={\frac {1}{f(z)-b}},$

die ja wohldefiniert ist, da ${}\vert {f(z)-b}\vert \geq s$ gilt. Ferner folgt daraus, dass ${}\vert {h(z)}\vert \leq {\frac {1}{s}}$ auf der offenen Menge ${}U{\left(0,r\right)}\setminus \{0\}$ ist. Daher ist aber nach Satz 14.5 ${}h$ nach ${}0$ holomorph fortsetzbar. Eine Umstellung der definierenden Gleichung für ${}h$ ergibt

${}f(z)={\frac {1}{h(z)}}+b\,,$

woraus folgt, dass ${}f$ in ${}0$ eine hebbare Singularität oder einen Pol besitzt, jedenfalls keine wesentliche Singularität.

Von (2) nach (1) ist im hebbaren Fall klar und ergibt sich im Fall eines Poles aus Lemma 17.5.

$\Box$

Automorphismen

Wir möchten die holomorphen Automorphismen auf gewissen Gebieten ${}U\subseteq {\mathbb {C} }$ (wir ${}{\mathbb {C} },{\mathbb {C} }\setminus \{0\},U{\left(0,1\right)}$) bestimmen, also die Menge der biholomorphen Funktionen ${}\varphi \colon U\rightarrow U$. Die Menge der Automorphismen bilden mit der Hintereinanderschaltung von Abbildungen eine Gruppe. Tyischerweise hat man einerseits eine übersichtliche Beschreibung von expliziten Automorphismen und muss dann andererseits zeigen, dass sämtliche Automorphismen von dieser Art sind.

Satz Satz 18.6 ändern

Es sei ${}f\colon {\mathbb {C} }\rightarrow {\mathbb {C} }$ eine ganze Funktion.

Dann ist ${}f$ genau dann ein Polynom, wenn die auf ${}{\mathbb {C} }\setminus \{0\}$ definierte holomorphe Funktion

${\mathbb {C} }\setminus \{0\}\longrightarrow {\mathbb {C} },\,w\longmapsto f{\left({\frac {1}{w}}\right)},$

im Nullpunkt keine wesentliche Singularität besitzt.

Beweis

Wir setzen

${}g(w)=f{\left({\frac {1}{w}}\right)}\,.$

Wenn

${}f=c_{0}+c_{1}z+\cdots +c_{n}z^{n}\,$

ein Polynom ist, so ist

${}g(w)=f{\left({\frac {1}{w}}\right)}=c_{0}+c_{1}w^{-1}+\cdots +c_{n}w^{-n}\,,$

d.h. der Hauptteil der Laurent-Reihe ist endlich. Aus Lemma 18.4 folgt, dass die Singularität unwesentlich ist.

Wenn ${}g$ in ${}0$ keine wesentliche Singularität besitzt, so ist nach Lemma 18.4 der Hauptteil der Laurent-Reihe zu ${}g$ in ${}0$ endlich. Wenn

${}f=\sum _{n=0}^{\infty }c_{n}z^{n}\,$

die Potenzreihenentwicklung von ${}f$ ist, so ist

${}g(w)=\sum _{n=0}^{\infty }c_{n}w^{-n}\,$

und die Endlichkeit des Hauptteiles von ${}g$ bedeutet eben, dass ${}c_{n}=0$ für ${}n\geq m$ für ein ${}m$ ist. Also ist ${}f$ ein Polynom.

$\Box$

Lemma Referenznummer erstellen

Es sei

$f\colon {\mathbb {C} }\longrightarrow {\mathbb {C} }$

eine injektive ganze Funktion.

Dann ist ${}f$ eine affin-lineare Funktion, also von der Form

${\mathbb {C} }\longrightarrow {\mathbb {C} },\,z\longmapsto az+b,$

mit ${}a\neq 0$.

Beweis

Wir betrachten ${}g(w)=f{\left({\frac {1}{w}}\right)}$ auf ${}{\mathbb {C} }\setminus \{0\}$. Diese Funktion ist ebenfalls injektiv. Wir behaupten, dass ${}g$ im Nullpunkt keine wesentliche Singularität besitzt. Würde nämlich eine wesentliche Singularität vorliegen, so wäre nach Satz 18.5 die Menge ${}g{\left(U{\left(0,r\right)}\setminus \{0\}\right)}$ für jedes ${}r>0$ dicht. Nach Satz 15.8 ist ${}g{\left(U{\left(1,{\frac {1}{2}}\right)}\right)}$ offen. Es wäre dann

${}g{\left(U{\left(0,{\frac {1}{2}}\right)}\setminus \{0\}\right)}\cap g{\left(U{\left(1,{\frac {1}{2}}\right)}\right)}\neq \emptyset \,,$

was der Injektivität widerspricht. Es liegt also keine wesentliche Singularität vor und nach Satz 18.6 muss ${}f$ ein Polynom sein. Wegen injektiv folgt mit Lemma 15.10, dass die Ableitung ${}f'$ nullstellenfrei ist. Daher ist ${}f'$ wegen Satz 15.4 konstant und somit ist ${}f$ linear.

$\Box$

Satz Satz 18.8 ändern

Die holomorphen Automorphismen auf ${}{\mathbb {C} }$

sind die affin-linearen Abbildungen

${\mathbb {C} }\longrightarrow {\mathbb {C} },\,z\longmapsto az+b,$

mit ${}a\neq 0$.

Beweis

Dies folgt direkt aus Satz 18.6.

$\Box$

Satz Satz 18.9 ändern

Die holomorphen Automorphismen auf ${}{\mathbb {C} }\setminus \{0\}$

sind die linearen Abbildungen

${\mathbb {C} }\setminus \{0\}\longrightarrow {\mathbb {C} }\setminus \{0\},\,z\longmapsto az,$

mit ${}a\neq 0$ und die Abbildungen

${\mathbb {C} }\setminus \{0\}\longrightarrow {\mathbb {C} }\setminus \{0\},\,z\longmapsto bz^{-1},$

mit ${}b\neq 0$.

Beweis

Es sei

$\varphi \colon {\mathbb {C} }\setminus \{0\}\longrightarrow {\mathbb {C} }\setminus \{0\}\subseteq {\mathbb {C} }$

biholomorph. Wenn ${}\varphi$ in ${}0$ eine hebbare Singularität besitzt, und ${}{\tilde {\varphi }}$ die Fortsetzung bezeichnet, so ist

${}{\tilde {\varphi }}(0)=0\,.$

Wäre nämlich

${}{\tilde {\varphi }}(0)=Q\neq 0\,,$

so gibt es auch einen Punkt ${}P\neq 0$ mit ${}\varphi (P)=Q$. Für ${}0$ und ${}P$ gibt es disjunkte offene Umgebungen, die nach Satz 15.8 auf offene Umgebungen ${}V_{1}$ und ${}V_{2}$ von ${}Q$ abbilden. Die Punkte im Durchschnitt ${}V_{1}\cap V_{2}$ werden dann doppelt getroffen, was der Injektivität von ${}\varphi$ widerspricht.

Daher ist die Fortsetzung ${}{\tilde {\varphi }}$ ein Automorphismus von ${}{\mathbb {C} }$ nach ${}{\mathbb {C} }$ und es handelt sich nach Satz 18.8 um eine affin-lineare Abbildung. Wegen

${}{\tilde {\varphi }}(0)=0\,$

ist der konstante Term gleich ${}0$ und die Abbildung ist linear.

Es sei nun ${}\varphi$ nicht hebbar in ${}0$. Eine wesentliche Singularität kann nicht vorliegen, da in diesem Fall wegen Satz 18.5 die Abbildung in keiner punktierten Umgebung injektiv sein kann. Also liegt ein Pol vor. Dann ist ${}{\frac {1}{\varphi }}$ im Nullpunkt mit dem Wert ${}0$ fortsetzbar. Da ${}{\frac {1}{\varphi }}$ ebenfalls ein Automorphismus ist, handelt es sich nach dem zuerst behandelten Fall um eine bijektive lineare Abbildung, sagen wir

${}{\frac {1}{\varphi (z)}}=az\,.$

Dann ist

${}\varphi (z)=a^{-1}z^{-1}\,.$

$\Box$

Die folgende Aussage heißt Lemma von Schwarz, sie wird benötigt, um die Automorphismen auf einer (punktierten) Kreisscheibe zu verstehen.

Lemma Lemma 18.10 ändern

Es sei

$f\colon U{\left(0,1\right)}\longrightarrow U{\left(0,1\right)}$

holomorph mit ${}f(0)=0$.

Dann gilt

${}\vert {f(z)}\vert \leq \vert {z}\vert \,$

für alle ${}z$ und

${}\vert {f'(0)}\vert \leq 1\,.$

Wenn in der ersten Abschätzung für ein ${}z\neq 0$ oder wenn in der Ableitungsabschätzung Gleichheit gilt, so ist ${}f$ eine Drehung.

Beweis

Die Funktion ${}{\frac {f(z)}{z}}$ ist wegen ${}f(z)=0$ auf der Kreisscheibe holomorph, und wegen (Differenzenquotient)

${}{\frac {f(z)}{z}}={\frac {f(z)-f(0)}{z-0}}\,$

ist der Wert von ${}{\frac {f(z)}{z}}$ im Nullpunkt gleich ${}f'(0)$. Auf dem Kreis mit ${}0$ als Mittelpunkt und mit Radius ${}r<1$ ist

${}\vert {\frac {f(z)}{z}}\vert \leq {\frac {1}{\vert {z}\vert }}={\frac {1}{r}}\,.$

Da ${}r$ beliebig nahe an ${}1$ gewählt werden kann, ergibt sich die Abschätzung

${}\vert {\frac {f(z)}{z}}\vert \leq 1\,,$

was einerseits ${}\vert {f(z)}\vert \leq \vert {z}\vert$ und andererseits ${}\vert {f'(0)}\vert \leq 1$ impliziert.

Betrachten wir jetzt die Situation, in der ${}\vert {f(z_{0})}\vert =\vert {z_{0}}\vert$ für ein ${}z_{0}\neq 0$ gilt. Dies bedeutet, dass die Funktion ${}{\frac {f(z)}{z}}$ ihr Maximum im Punkt ${}z_{0}$ annimmt. Aus dem Maximumsprinzip folgt, dass ${}{\frac {f(z)}{z}}$ konstant ist, also ${}f(z)=cz$ mit einer Konstanten ${}c$, deren Betrag gleich ${}1$ sein muss. Das Argument im Fall von Gleichheit in der Ableitungsabschätzung ist entsprechend.

$\Box$

Lemma Lemma 18.11 ändern

Die biholomorphen Abbildungen der offenen Kreisscheibe ${}U{\left(0,1\right)}$ in sich mit ${}0$ als Fixpunkt

sind genau die Drehungen, also die Multiplikationen mit einer komplexen Zahl vom Betrag ${}1$.

Beweis

Nach Lemma 18.10 gilt

${}\vert {f(z)}\vert \leq \vert {z}\vert \,.$

Da die Umkehrfunktion die gleichen Bedingungen erfüllt, gilt auch die umgekehrte Abschätzung und daher gilt

${}\vert {f(z)}\vert =\vert {z}\vert \,$

für alle ${}z$. Aufgrund des Zusatzes von Lemma 18.10 liegt eine Drehung vor. Umgekehrt ist eine Drehung natürlich eine biholomorphe Abbildung.

$\Box$

Lemma Referenznummer erstellen

Die biholomorphen Abbildungen der offenen punktierten Kreisscheibe ${}U{\left(0,1\right)}\setminus \{0\}$ in sich

sind genau die Drehungen, also die Multiplikationen mit einer komplexen Zahl vom Betrag ${}1$.

Beweis

Es sei

$f\colon U{\left(0,1\right)}\setminus \{0\}\longrightarrow U{\left(0,1\right)}\setminus \{0\}$

biholomorph. Wegen der Beschränktheit des Bildes muss ${}f$ im Nullpunkt nach Korollar 17.3 eine hebbare Singularität besitzen, sei

${\tilde {f}}\colon U{\left(0,1\right)}\longrightarrow {\mathbb {C} }$

die holomorphe Fortsetzung. Ein Argument wie im Beweis zu Satz 18.9 zeigt ${}{\tilde {f}}(0)=0$. Nach Lemma 18.11 ist daher ${}{\tilde {f}}$ und somit ${}f$ selbst eine Drehung.

$\Box$

Satz Satz 18.13 ändern

Die biholomorphen Abbildungen der offenen Kreisscheibe ${}U{\left(0,1\right)}$ in sich

sind die Einschränkungen der gebrochen-linearen Funktionen der Form ${}z\mapsto {\frac {az+b}{{\overline {b}}z+{\overline {a}}}}$ mit

${}\vert {a}\vert ^{2}-\vert {b}\vert ^{2}=1\,.$

Beweis

Die angegebenen gebrochen-linearen Funktionen bilden die Kreisscheibe in sich ab, siehe Aufgabe 2.14, ferner bilden sie eine Gruppe, siehe Aufgabe 2.13. Es sei ${}\varphi$ ein Automorphismus mit

${}\varphi (0)=w\,.$

Nach Aufgabe 2.15 gibt es einen gebrochen-linearen Automorphismus ${}\psi$ der angegeben Form mit ${}\psi (0)=w$. Daher ist ${}\varphi \circ \psi ^{-1}$ ein Automorphismus der Kreisscheibe, der ${}0$ auf ${}0$ abbildet, also nach Lemma 18.11 eine Multiplikation mit einer komplexen Zahl ${}u$ vom Betrag ${}1$. Es sei ${}v$ eine komplexe Quadratwurzel von ${}u$. Dann ist die gebrochen-lineare Abbildung ${}z\mapsto {\frac {vz}{\overline {v}}}$, nennen wir sie ${}\vartheta$, wegen

${}{\overline {v}}=v^{-1}\,$

gleich der Multiplikation mit ${}u$ und erfüllt die Betragsbedingung. Deshalb ist

${}\varphi =\vartheta \circ \psi \,.$

$\Box$