Laurent-Reihe


Laurent-Reihe

Die Laurent-Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent-Reihe in x mit Entwicklungspunkt c diese Gestalt:

f(x) = \sum_{n=-\infty}^\infty a_n (x-c)^n

Dabei sind die an und das c meist komplexe Zahlen, es gibt aber auch andere Möglichkeiten, die im Abschnitt „Formale Laurent-Reihen” beschrieben sind. Für komplexe Laurent-Reihen benutzt man meist die Variable z statt x.

Summanden, in denen an = 0 ist, werden meist nicht mitgeschrieben, deshalb muss nicht jede Laurent-Reihe in beide Richtungen ins Unendliche gehen. (Wie es auch bei Potenzreihen gehandhabt wird, und ähnlich zur Darstellung abbrechender Dezimalbrüche, die eigentlich unendlich viele Nullen hinter den letzten Ziffern haben.)

Die Reihe der Terme mit negativen Exponenten nennt man den Hauptteil der Laurent-Reihe, die Reihe der Terme mit nichtnegativen Exponenten nennt man den Nebenteil.

Eine Laurent-Reihe mit verschwindendem Hauptteil ist eine Potenzreihe, hat sie außerdem nur endlich viele Terme mit nichtnegativen Exponenten, dann ist sie ein Polynom. Hat eine Laurent-Reihe insgesamt nur endlich viele Terme (mit negativem oder positivem Exponent), dann nennt man sie ein Laurent-Polynom.

Inhaltsverzeichnis

Beispiel

Sei K\in\{\mathbb{R},\mathbb{C}\}, f\colon K\to K \colon x\mapsto\begin{cases} \exp\left(-\frac{1}{x^2}\right), & x\neq 0\\ 0, & \mbox{sonst}\end{cases}.

Für K=\mathbb{R} ist f unendlich oft differenzierbar, für K=\mathbb{C} ist sie jedoch in x = 0 nicht komplex differenzierbar, sie hat dort sogar eine wesentliche Singularität.

Indem man nun -\frac{1}{x^2} in die Potenzreihenentwicklung der Exponentialfunktion einsetzt, erhält man die Laurent-Reihe von f mit Entwicklungspunkt 0:

f(x) = \sum_{j=0}^\infty (-1)^j\frac{x^{-2j}}{j!}

Sie konvergiert für jede komplexe Zahl x außer für x = 0 (wo bereits die Summanden nicht definiert sind).

Annäherung der Laurentreihen für unterschiedliche n an die Funktion selbst

Das Bild rechts zeigt, wie sich die Partialsummenfolge

f_n(x) = \sum_{j=0}^n (-1)^j\frac{x^{-2j}}{j!}

an die Funktion annähert (die Kurve für n = \infty ist f selbst).

Konvergenz von Laurent-Reihen

Laurent-Reihen sind wichtige Hilfsmittel der Funktionentheorie, vor allem zur Untersuchung von Funktionen mit Singularitäten.

Laurent-Reihen beschreiben komplexe Funktionen, die auf einem Kreisring holomorph sind, so wie Potenzreihen Funktionen beschreiben, die auf einer Kreisscheibe holomorph sind.

Sei

\sum_{n=-\infty}^\infty a_n (z-c)^n

eine Laurent-Reihe in z mit komplexen Koeffizienten an und Entwicklungspunkt c. Dann gibt es zwei eindeutig bestimmte Zahlen r und R, so dass Folgendes gilt:

  • Die Laurent-Reihe konvergiert auf dem offenen Kreisring A := \{ z : r < \vert z - c \vert < R \} normal, also insbesondere absolut und lokal gleichmäßig. Damit meint man, dass Haupt- und Nebenteil normal konvergieren. Lokal gleichmäßige Konvergenz impliziert gleichmäßige Konvergenz auf jeder kompakten Teilmenge von A, also insbesondere auf den Bildern von Kurven in A. Die Laurent-Reihe definiert auf A eine holomorphe Funktion f.
  • Außerhalb des Kreisrings divergiert die Laurent-Reihe. Das heißt, dass für jeden Punkt im Äußeren von A, \{ z : r > \vert z - c \vert\vee\vert z - c \vert > R\}, die Reihe der Terme mit positiven oder die Terme mit negativen Exponenten divergiert.
  • Auf dem Rand des Kreisrings kann man keine allgemeinen Aussagen machen, außer dass es mindestens einen Punkt auf der äußeren Begrenzung und mindestens einen Punkt auf der inneren Begrenzung gibt, in die f nicht holomorph fortgesetzt werden kann.

Es ist möglich, dass r = 0 und R = \infty ist, es kann aber auch sein, dass r = R ist. Die beiden Radien können wie folgt mit der Formel von Cauchy-Hadamard berechnet werden:

r = \limsup_{n\to\infty} \vert a_{-n} \vert ^{1/n}
R = \frac{1}{\limsup_{n\to\infty} \vert a_n \vert ^{1/n}}

Man setzt \frac{1}{0}=\infty und \frac{1}{\infty}=0 in der zweiten Formel.

Umgekehrt kann man mit einem Kreisring A := \{ z : r < \vert z - c \vert < R \} und einer auf A holomorphen Funktion f beginnen. Dann existiert immer eine eindeutig bestimmte Laurent-Reihe mit Entwicklungspunkt c, die (mindestens) auf A konvergiert und dort mit f übereinstimmt. Für die Koeffizienten gilt

a_n=\frac{1}{2\pi\mathrm{i}}\oint_{\partial U_\varrho(c)}\frac{f(\zeta)}{\left(\zeta-c\right)^{n+1}}\mathrm{d}\zeta

für alle n\in\mathbb{Z} und ein \varrho\in(r,R). Wegen des Integralsatzes von Cauchy kommt es auf die Auswahl von \varrho nicht an.

Der Fall r = 0, also der einer holomorphen Funktion f auf einer gelochten Kreisscheibe um c, ist besonders wichtig. Der Koeffizient a − 1 der Laurentreihenentwicklung von f heißt Residuum von f in der isolierten Singularität c, er spielt eine große Rolle im Residuensatz.

Formale Laurent-Reihen

Formale Laurent-Reihen sind Laurent-Reihen in der Unbestimmten X, die ohne Rücksicht auf Konvergenzbetrachtungen benutzt werden. Die Koeffizienten ak können dann aus einem beliebigen kommutativen Ring K stammen. In dieser Situation ist es jedoch nur sinnvoll, Laurent-Reihen mit nur endlich vielen negativen Exponenten zu betrachten (also mit einem so genannten endlichen Hauptteil), und die Entwicklungsstelle c auf 0 festzulegen.

Zwei solche formale Laurent-Reihen sind per Definition genau dann gleich, wenn sie in allen Koeffizienten übereinstimmen. Zwei Laurent-Reihen werden addiert, indem man ihre entsprechenden Koeffizienten addiert, und weil sie nur endlich viele Terme mit negativem Exponenten haben, können sie durch Faltung ihrer Koeffizientenfolgen multipliziert werden (man multipliziert sie einfach formal aus, wie man es mit Potenzreihen macht). Mit diesen Verknüpfungen wird die Menge aller Laurent-Reihen über einem kommutativen Ring K zu einem kommutativen Ring, der mit K((X)) bezeichnet wird.

Ist K ein Körper, dann bilden die formalen Potenzreihen in der Unbestimmten X über K einen Integritätsring, der mit K[[X]] bezeichnet wird. Sein Quotientenkörper ist isomorph zum Körper K((X)) der Laurent-Reihen über K.

Literatur


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Laurent-Reihe —   [lɔ rã ; nach P. A. Laurent], eine Potenzreihe im Komplexen vom Typ   mit komplexen Koeffizienten cn; ihr Konvergenzkreis ist ein Kreisring mit dem Punkt z = z0 als Mittelpunkt. Jede komplexe …   Universal-Lexikon

  • Laurent Reihe — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Laurent — ist ein französischer männlicher Vorname[1] lateinischer Herkunft.[2] Näheres zur Etymologie des Namens siehe unter Laurentius. Laurent ist auch ein Familienname. Inhaltsverzeichnis 1 Bekannte Namensträger 1.1 Vorname …   Deutsch Wikipedia

  • Laurent —   [lɔ rã],    1) Auguste, französischer Chemiker, * La Folie (bei Langres) 14. 11. 1807, ✝ Paris 15. 4. 1853; 1838 45 Professor in Bordeaux, seit 1848 Münzprüfer an der Pariser Münze. Laurent untersuchte Naphthalin und Phenolderivate und wies die …   Universal-Lexikon

  • Laurent-Entwicklung — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Reihe (Mathematik) — In der Mathematik ist eine (unendliche) Reihe eine Folge, deren Glieder (Partialsummen) als Summen der ersten n Glieder einer anderen Folge gegeben sind. Unendliche Reihen sind ein grundlegendes Instrument der Analysis. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Laurent-Polynom — Ein Laurent Polynom (nach Pierre Alphonse Laurent) ist in der Mathematik eine Verallgemeinerung des Begriffs Polynom. Beim Laurent Polynom sind auch negative Exponenten zugelassen. Inhaltsverzeichnis 1 Definition 2 Der Ring der Laurent Polynome 3 …   Deutsch Wikipedia

  • Laurent Di Lorto — (* 1. Januar 1909 in Martigues; † 28. Oktober 1989 in Montbéliard) war ein französischer Fußballspieler. Inhaltsverzeichnis 1 Vereinskarriere 1.1 Stationen 2 In der Nationalmannsc …   Deutsch Wikipedia

  • Laurent Fels — (* 4. Februar 1984 in Esch sur Alzette, Luxemburg) ist ein luxemburgischer Literaturforscher, Kritiker und Buchautor. Er ist Professor für französische Literatur und Latein im Großherzogtum Luxemburg. Leben Fels studierte Klassische Philologie… …   Deutsch Wikipedia

  • Matthieu Paul Hermann Laurent — Hermann Laurent (vollständig Matthieu Paul Hermann Laurent, * 2. September 1841 in Echternach; † 19. Februar 1908 in Paris) war ein französischer Mathematiker. Leben Seine Eltern waren Auguste Laurent und Anne Françoise Schrobilgen. Geboren wurde …   Deutsch Wikipedia