Isolierte Singularitäten werden im mathematischen Teilgebiet der Funktionentheorie betrachtet. Es handelt sich um isolierte Punkte in der Menge der Singularitäten einer holomorphen Funktion. Man unterscheidet bei isolierten Singularitäten zwischen hebbaren Singularitäten, Polstellen und wesentlichen Singularitäten.

Definition

Bearbeiten

Es sei   eine offene Teilmenge,  . Ferner sei   eine holomorphe komplexwertige Funktion. Dann heißt   isolierte Singularität von  .

Klassifizierung

Bearbeiten

Jede isolierte Singularität gehört einer der folgenden drei Klassen an:

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

Hebbare Singularitäten und Polstellen werden auch unter dem Begriff außerwesentliche Singularität zusammengefasst.

Isolierte Singularitäten und die Laurentreihe

Bearbeiten

Der Typ der Singularität lässt sich auch an der Laurentreihe

 

von   in   ablesen:

  • Eine hebbare Singularität liegt genau dann vor, wenn der Hauptteil verschwindet, d. h.   für alle negativen ganzen Zahlen  .
  • Ein Pol  -ter Ordnung liegt genau dann vor, wenn der Hauptteil nach   Gliedern abbricht, d. h.   und   für alle  .
  • 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

Bearbeiten
 
Plot der Funktion  . 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   und  

  •   kann durch   stetig auf   fortgesetzt werden, also hat   bei   eine hebbare Singularität.
  •   hat bei   einen Pol erster Ordnung, weil   durch   stetig auf   fortgesetzt werden kann.
  •   hat bei   eine wesentliche Singularität, weil   für   für festes   stets unbeschränkt ist, beziehungsweise weil in der Laurentreihe um   unendlich viele Glieder des Hauptteils nicht verschwinden, denn es gilt
 .

Nichtisolierte Singularitäten

Bearbeiten

Zusätzlich zu voneinander isolierten Singularitäten können auch nichtisolierte Singularitäten auftreten. Eine Singularität   heißt nicht isoliert, falls sich in jeder Umgebung um   mindestens eine zusätzliche Singularität findet.

Nichtisolierte Singularitäten können sowohl Grenzwerte einer Folge isolierter Singularitäten, als auch Elemente einer Menge sein, auf welche die Funktion nicht analytisch fortsetzbar ist, wie im Beispiel der Logarithmusfunktion die negative reelle Halbachse.

Beispiele

Bearbeiten
  • Die Funktion   ist meromorph auf  , mit einfachen Polen in   für  . Die Polstellen häufen sich im Nullpunkt.
  • Die Funktion   hat eine nichtisolierte Singularität im Nullpunkt, denn   ist eine Folge von Singularitäten mit Häufungspunkt in  . (Die Singularitäten in   sind hingegen isolierte Singularitäten.)
  • Die durch die Maclaurin-Reihe   definierte Funktion konvergiert im Inneren des Einheitskreises, kann aber nicht analytisch auf den Rand des Einheitskreises fortgesetzt werden. Die Punkte auf dem Rand des Einheitskreises sind nichtisolierte Singularitäten.