Meromorphe Funktion

Meromorphie ist eine Eigenschaft von bestimmten komplexwertigen Funktionen, die in der Funktionentheorie (einem Teilgebiet der Mathematik) behandelt werden.

Für viele Fragestellungen der Funktionentheorie ist der Begriff der holomorphen Funktion zu speziell. Dies liegt daran, dass der Kehrwert ${\tfrac 1f}$ einer holomorphen Funktion an einer Nullstelle von eine Definitionslücke hat und somit ${\tfrac 1f}$ dort auch nicht komplex differenzierbar ist. Man führt daher den allgemeineren Begriff der meromorphen Funktion ein, die auch isolierte Polstellen besitzen kann.

Meromorphe Funktionen lassen sich lokal als Laurentreihen mit abbrechendem Hauptteil darstellen. Ist ein Gebiet von $\mathbb {C}$ , so bildet die Menge der auf meromorphen Funktionen einen Körper.

Definition

Auf dem Körper der komplexen Zahlen

Es sei eine nichtleere offene Teilmenge der Menge $\mathbb {C}$ der komplexen Zahlen und $P_{f}$ eine weitere Teilmenge von $\mathbb {C}$ , die nur aus isolierten Punkten besteht. Eine Funktion heißt meromorph, wenn sie für Werte aus $D\setminus P_{f}$ definiert und holomorph ist und für Werte aus $P_{f}$ Pole hat. $P_{f}$ wird als Polstellenmenge von bezeichnet.

Auf einer riemannschen Fläche

Sei eine riemannsche Fläche und eine offene Teilmenge von . Unter einer meromorphen Funktion auf verstehen wir eine holomorphe Funktion $f\colon Y'\rightarrow \mathbb {C}$ , wobei $Y'\subset Y$ eine offene Teilmenge ist, so dass die folgenden Eigenschaften gelten:

Die Menge $P_{f}:=Y\setminus Y'$ hat nur isolierte Punkte.
Für jeden Punkt $p\in Y\setminus Y'$ gilt

$\lim _{x\rightarrow p}|f(x)|=\infty$ .

Die Punkte aus der Menge $Y\setminus Y'$ werden Pole von genannt. Die Menge aller meromorphen Funktionen auf wird mit ${\mathcal {M}}(Y,\mathbb {C} )$ bezeichnet und bildet, falls zusammenhängend ist, einen Körper. Diese Definition ist natürlich äquivalent zur Definition auf den komplexen Zahlen, falls eine Teilmenge derer ist.

Beispiele

Alle holomorphen Funktionen sind auch meromorph, da ihre Polstellenmenge jeweils leer ist.
Die Kehrwertfunktion $z\mapsto {\tfrac 1z}$ ist meromorph; ihre Polstellenmenge ist $\{0\}$ . Allgemeiner sind alle rationalen Funktionen

$z\mapsto {\frac {a_{m}z^{m}+\dotsb +a_{0}}{b_{n}z^{n}+\dotsb +b_{0}}}$

meromorph. Die Polstellenmenge ist hier jeweils eine Teilmenge der Nullstellenmenge des Nennerpolynoms.

Für jede meromorphe Funktion $f \neq 0$ ist ihr Kehrwert ${\tfrac 1f}$ ebenfalls meromorph.

Die Tangens- bzw. die Kotangens-Funktion ist meromorph.

Die Funktion $z\mapsto e^{{1/z}}$ ist nicht auf ganz $\mathbb {C}$ (und auf keiner Umgebung von $0$ ) meromorph, da $0$ keine Polstelle, sondern eine wesentliche Singularität dieser Funktion ist.

Weitere Beispiele sind: Elliptische Funktionen, Gammafunktion, Hurwitzsche Zeta-Funktion, Modulformen, Riemannsche ζ-Funktion, Spezielle Funktionen.

Wichtige Sätze über meromorphe Funktionen sind: Satz von Mittag-Leffler, Residuensatz, Satz von Riemann-Roch.

Basierend auf einem Artikel in:

Wikipedia.de