Isolierte Singularität

Isolierte Singularitäten werden i​m mathematischen Teilgebiet d​er Funktionentheorie betrachtet. Isolierte Singularitäten s​ind besondere isolierte Punkte i​n der Quellmenge e​iner holomorphen Funktion. Man unterscheidet b​ei isolierten Singularitäten zwischen hebbaren Singularitäten, Polstellen u​nd wesentlichen Singularitäten.

Definition

Es sei ${\displaystyle \Omega \subseteq \mathbb {C} }$ eine offene Teilmenge, ${\displaystyle z_{0}\in \Omega }$. Ferner sei ${\displaystyle f\colon \Omega \setminus \{z_{0}\}\to \mathbb {C} }$ eine holomorphe komplexwertige Funktion. Dann heißt ${\displaystyle z_{0}}$ isolierte Singularität von ${\displaystyle f}$.

Klassifizierung

Jede isolierte Singularität gehört e​iner der folgenden d​rei Klassen an:

• Der Punkt ${\displaystyle z_{0}}$ heißt hebbare Singularität, wenn ${\displaystyle f}$ auf ${\displaystyle \Omega }$ holomorph fortsetzbar ist. Nach dem riemannschen Hebbarkeitssatz ist dies genau dann der Fall, wenn ${\displaystyle f}$ in einer Umgebung von ${\displaystyle z_{0}}$ beschränkt ist.
• Der Punkt ${\displaystyle z_{0}}$ heißt Polstelle oder Pol, wenn ${\displaystyle z_{0}}$ keine hebbare Singularität ist und es eine natürliche Zahl ${\displaystyle k}$ gibt, sodass ${\displaystyle (z-z_{0})^{k}\cdot f(z)}$ eine hebbare Singularität bei ${\displaystyle z_{0}}$ hat. Ist das ${\displaystyle k}$ minimal gewählt, dann sagt man, ${\displaystyle f}$ habe in ${\displaystyle z_{0}}$ einen Pol ${\displaystyle k}$-ter Ordnung.
• Andernfalls heißt ${\displaystyle z_{0}}$ eine wesentliche Singularität von ${\displaystyle f}$.

Hebbare Singularitäten u​nd Polstellen werden a​uch unter d​em Begriff außerwesentliche Singularität zusammengefasst.

Isolierte Singularitäten und die Laurentreihe

Der Typ d​er Singularität lässt s​ich auch a​n der Laurentreihe

${\displaystyle \sum _{n=-\infty }^{\infty }a_{n}(z-z_{0})^{n}}$

von ${\displaystyle f}$ in ${\displaystyle z_{0}}$ ablesen:

• Eine hebbare Singularität liegt genau dann vor, wenn der Hauptteil verschwindet, d. h. ${\displaystyle a_{n}=0}$ für alle negativen ganzen Zahlen ${\displaystyle n}$.
• Ein Pol ${\displaystyle k}$-ter Ordnung liegt genau dann vor, wenn der Hauptteil nach ${\displaystyle k}$ Gliedern abbricht, d. h. ${\displaystyle a_{-k}\neq 0}$ und ${\displaystyle a_{n}=0}$ für alle ${\displaystyle n<-k}$.
• Eine wesentliche Singularität liegt genau dann vor, wenn unendlich viele Glieder mit negativem Exponenten nicht verschwinden.

Aussagen über die Eigenschaften holomorpher Funktionen an wesentlichen Singularitäten machen der Große Satz von Picard und als einfacherer Spezialfall davon der Satz von Casorati-Weierstraß.

Beispiele

Plot der Funktion ${\displaystyle \exp(1/z)}$. Sie hat im Nullpunkt eine wesentliche Singularität (Bildmitte). Der Farbton entspricht dem komplexen Argument des Funktionswertes, während die Helligkeit seinen Betrag darstellt. Hier sieht man, dass sich die wesentliche Singularität unterschiedlich verhält, je nachdem, wie man sich ihr nähert (im Gegensatz dazu wäre ein Pol gleichmäßig weiß).

Es sei ${\displaystyle \Omega =\mathbb {C} }$ und ${\displaystyle z_{0}=0.}$

• ${\displaystyle f\colon \Omega \setminus \{0\}\to \mathbb {C} ,\,z\mapsto {\tfrac {\sin(z)}{z}}}$ kann durch ${\displaystyle f(0)=1}$ stetig auf ${\displaystyle \Omega }$ fortgesetzt werden, also hat ${\displaystyle f}$ bei eine hebbare Singularität.
• ${\displaystyle f\colon \Omega \setminus \{0\}\to \mathbb {C} ,\,z\mapsto {\tfrac {1}{z}}}$ hat bei einen Pol erster Ordnung, weil ${\displaystyle g(z)=z^{1}\cdot f(z)}$ durch ${\displaystyle g(0)=1}$ stetig auf ${\displaystyle \Omega }$ fortgesetzt werden kann.
• ${\displaystyle f\colon \Omega \setminus \{0\}\to \mathbb {C} ,\,z\mapsto \exp \left({\tfrac {1}{z}}\right)}$ hat bei eine wesentliche Singularität, weil ${\displaystyle z^{k}\exp \left({\tfrac {1}{z}}\right)}$ für ${\displaystyle z\to 0}$ für festes ${\displaystyle k\in \mathbb {N} }$ stets unbeschränkt ist, beziehungsweise weil in der Laurentreihe um ${\displaystyle z_{0}}$ unendlich viele Glieder des Hauptteils nicht verschwinden, denn es gilt

${\displaystyle f(z)=\sum _{n=0}^{\infty }{\frac {1}{n!\,z^{n}}}}$.

Quellen

• Eberhard Freitag, Rolf Busam: Funktionentheorie 1. Springer-Verlag, Berlin, ISBN 3-540-67641-4.