Satz von Mittag-Leffler

Der Satz von Mittag-Leffler ist ein nach dem Mathematiker Magnus Gösta Mittag-Leffler benannter Satz der Funktionentheorie. In seiner anwendungsorientierten Formulierung garantiert er die Existenz bestimmter meromorpher Funktionen.

Satz

Zu einer diskreten Folge $(p_{n})$ verschiedender komplexer Zahlen existiert eine auf $\mathbb {C} \backslash \{(p_{n})\}$ meromorphe Funktion, die ihre Polstellen genau in den $p_{n}$, $n\in \mathbb {N}$ hat und dort jeweils einen vorgegebenen Hauptteil aufweist. Das heißt, zu jedem dieser $p_{n}$ kann man ein Polynom $P_{n}(z)$ ohne konstanten Term wählen, nach dem Satz von Mittag-Leffler existiert eine meromorphe Funktion, deren Laurententwicklung auf einer gelochten Kreisscheibe um $p_{n}$ gerade den Hauptteil $P_{n}\left({\frac {1}{z-p_{n}}}\right)$ besitzt.

Bemerkungen

• Mit der Wahl eines Polynoms an einer Polstelle legt man gleichzeitig die Ordnung des Pols fest, sie ist gleich dem Grad des Polynoms.
• Ist die Polstellenmenge endlich, so konvergiert die Summe der Hauptteile trivialerweise.
• Wenn die Polstellenmenge unendlich ist, kann man im Allgemeinen nicht davon ausgehen, dass die Summe der Hauptteile konvergiert. In diesem Fall werden sogenannte konvergenzverbessernde Summanden für jeden Hauptteil eingeführt. In den meisten Fällen sind dies Taylorpolynome, die den Hauptteil nicht verändern, sondern nur den entsprechenden Nebenteil der Laurententwicklung.

Beispiele

In einem einfachen Beispiel erhält man die Partialbruchzerlegung einer Funktion. Betrachte $f(x)=\pi ^{2}/(\sin(\pi x))^{2}$. $f$ besitzt an genau an den ganzen Zahlen Pole zweiter Ordnung. Der Ansatz, als Polynome einfach $x^{2}$ und somit für die Hauptteile in $n\in \mathbb {Z}$ gerade den Term $1/(z-n)^{2}$ zu wählen, führt zu $\sum _{n=-\infty }^{\infty }1/(z-n)^{2}$. Es lässt sich zeigen, dass diese Summe schon konvergiert und gleich $f$ ist. Insbesondere werden keine konvergenzverbessernde Summanden benötigt.

Verallgemeinerung

An Stelle von Polynomen können auch ganze Funktionen gewählt werden, also Potenzreihen ohne konstanten Term, die auf ganz $\mathbb {C}$ konvergieren. Damit hat die resultierende Funktion aber wesentliche Singularitäten und ist nicht mehr meromorph.

Literatur

• E. Freitag, R. Busam: Funktionentheorie 1. Springer, 2006. 
• Klaus Jänich: Funktionentheorie. 6. Auflage. Springer, 2004, ISBN 3-540-20392-3.