Residuensatz


Residuensatz

Der Residuensatz ist ein wichtiger Satz der Funktionentheorie, eines Teilgebietes der Mathematik. Er stellt eine Verallgemeinerung des cauchyschen Integralsatzes und der cauchyschen Integralformel dar. Seine Bedeutung liegt nicht nur in den weitreichenden Folgen innerhalb der Funktionentheorie, sondern auch in der praktischen Berechnung von reellen Integralen.

Inhaltsverzeichnis

Residuensatz

Der Residuensatz besagt, dass das Kurvenintegral längs einer geschlossenen Kurve über eine bis auf isolierte Singularitäten holomorphe Funktion lediglich vom Residuum in den Singularitäten im Innern der Kurve und der Windungszahl der Kurve um diese Singularitäten abhängt. Anstelle eines Kurvenintegrals muss man also nur Residuen und Windungszahlen berechnen, was in vielen Fällen einfacher ist.

Satz

Ist D\subseteq\mathbb{C} ein Gebiet, Df diskret in D und f\colon D\setminus D_f \to \mathbb{C} holomorph, gilt für jeden nullhomologen Zyklus Γ in D mit \operatorname{Spur}\,\Gamma\cap D_f=\emptyset und der zugehörigen Windungszahl \operatorname{ind_\Gamma}:

\frac{1}{2\pi\mathrm{i}}\int_\Gamma f=\sum\limits_{a\in D_f}\operatorname{ind}_{\Gamma}(a)\operatorname{Res}_a f

Die Summe auf der rechten Seite ist stets endlich, denn Γ ist nullhomolog, und damit liegt \operatorname{Int}\,\Gamma relativ kompakt in D und ist insbesondere beschränkt. Weil Df diskret in D ist, ist \operatorname{Int}\,\Gamma\cap D_f endlich, und nur dies sind die Punkte, die zu der Summe beitragen, denn für alle anderen verschwindet die Windungszahl oder das Residuum.

Bemerkungen

  • Handelt es sich bei den Punkten in Df um hebbare Singularitäten, verschwindet das Residuum in diesen Punkten, dann erhält man den Integralsatz von Cauchy
\int_\Gamma\,f=0.
  • Ist f auf D holomorph und z\in D, hat \textstyle \zeta\mapsto\frac{f(\zeta)}{\zeta-z} einen Pol erster Ordnung in z mit Residuum f(z) dann erhält man die Integralformel von Cauchy
\frac{1}{2\pi\mathrm{i}}\int_\Gamma \frac{f(\zeta)}{\zeta-z}\mathrm{d}\zeta = \operatorname{ind}_{\Gamma}(z)f(z).

Null- und Polstellen zählendes Integral

Ist f\not\equiv 0 auf D meromorph mit der Nullstellenmenge N, der Polstellenmenge P und \operatorname{Spur}\,\Gamma\cap \left( N\cup P \right)=\emptyset, dann folgt mit dem Residuensatz:

\frac{1}{2\pi\mathrm{i}}\int_\Gamma\frac{f'}{f}=\sum\limits_{a\in N\cup P}\operatorname{ind}_{\Gamma}(a)\operatorname{ord}_a f

Dabei bezeichnet

\operatorname{ord}_a f := \begin{cases} k, & \mbox{falls }f\mbox{ in }a\mbox{ eine Nullstelle }k\mbox{-ter Ordnung hat}\\ -k, & \mbox{falls }f\mbox{ in }a\mbox{ eine Polstelle }k\mbox{-ter Ordnung hat}\\ 0, & \mbox{sonst} \end{cases}

die Null- bzw. Polstellenordnung von f in a. Mit der Rechenregel des Residuums für die logarithmische Ableitung gilt \operatorname{ord}_a f = \operatorname{Res}_a\frac{f'(z)}{f(z)}.

Praktische Anwendung

Mit dem Residuensatz kann man reelle Integrale mit unendlichen Integrationsgrenzen berechnen. Dazu führt man in der komplexen Ebene eine geschlossene Kurve ein, die die reellen Integrationsgrenzen überdeckt; das Integral über den übrigen Teil der Kurve ist meist so konstruiert, dass es nach dem Grenzübergang verschwindet. Die komplexe Ebene wird dabei durch einen Punkt im Unendlichen ergänzt (Riemannsche Zahlenkugel). Dieses Berechnungsverfahren für uneigentliche reelle Integrale wird in der theoretischen Physik oft als "Methode der Residuen" bezeichnet.

Gebrochenrationale Funktionen

Ist f=\tfrac{p}{q} Quotient zweier Polynome mit \operatorname{deg}\,p+2\leq\operatorname{deg}\,q und q(z)\neq 0 für alle z\in\mathbb{R}, ist

\int_{-\infty}^{\infty} f(z)\mathrm{d}z = 2\pi\mathrm{i} \sum_{a\in \mathbb{H}}\operatorname{Res}_a f(z),

wobei \mathbb{H}:=\{z\in\mathbb{C}:\operatorname{Im} z>0\} die obere Halbebene ist, denn man kann mit \alpha\colon [0,\pi]\to\mathbb{C}, t\mapsto Re^{\mathrm{i}t} für ein großes R\in\mathbb{R}, über den geschlossenen Halbkreis \Gamma := [-R,R] \oplus \alpha integrieren und den Grenzübergang R\rightarrow\infty vollziehen. Wegen \left|\tfrac{p(z)}{q(z)}\right| \leq \tfrac{c_p |z|^{\operatorname{deg}\,p}}{c_q |z|^{\operatorname{deg}\,q}} \leq \tfrac{c}{|z|^2} für großes | z | und Konstanten c,c_p,c_q\in\mathbb{R} folgt mit der Standardabschätzung für Kurvenintegrale

\left|\int_\alpha f\right| \leq L(\alpha) \cdot \max_{\zeta\in\operatorname{im}\alpha}\left| f(\zeta) \right| \leq \pi R \cdot \frac{c}{R^2} \rightarrow 0\,(R\rightarrow\infty),

also gilt \textstyle \int_\Gamma f \rightarrow \int _{-\infty}^{\infty} f(z)\mathrm{d}z\,(R\rightarrow\infty) und wegen der obigen Abschätzung existiert letzteres Integral auch. Mit dem Residuensatz folgt die Berechnungsformel.

Beispiel: Sei f\colon\mathbb{C}\setminus\{\pm\mathrm{i}\}\to\mathbb{C}, z\mapsto\tfrac{1}{z^2+1} mit Polen 1. Ordnung in \pm\mathrm{i}. Dann ist \operatorname{Res}_{\mathrm{i}} f(z)=\tfrac{1}{2\mathrm{i}}, und damit \textstyle \int_{-\infty}^{\infty} f(z)\mathrm{d}z = 2\pi\mathrm{i} \cdot \tfrac{1}{2\mathrm{i}} = \pi.

Trigonometrische Funktionen

Ist r =\tfrac{p}{q} Quotient zweier Polynome mit q(x,y)\neq 0 für alle x,y\in\mathbb{C} mit x2 + y2 = 1. Dann gilt

\begin{align}
& \int_0^{2\pi} r(\cos t,\sin t)\mathrm{d}t\\
=& \int_0^{2\pi} r\left( \frac{e^{\mathrm{i}t}+e^{-\mathrm{i}t}}{2}, \frac{e^{\mathrm{i}t}-e^{-\mathrm{i}t}}{2\mathrm{i}}\right)\mathrm{d}t \\
=& \int_{\partial\mathbb{E}} \frac{1}{\mathrm{i}z}\cdot r\left(\frac{z+\frac{1}{z}}{2},\frac{z-\frac{1}{z}}{2\mathrm{i}}\right) \mathrm{d}{z}\\
=& 2\pi\sum_{a\in\mathbb{E}}\operatorname{Res}_a \left(\frac{1}{z}\cdot r\left(\frac{z+\frac{1}{z}}{2},\frac{z-\frac{1}{z}}{2\mathrm{i}}\right)\right),\end{align}

wobei \mathbb{E} := \{z\in\mathbb{C}:|z|<1\} die Einheitskreisscheibe ist. Denn die Windungszahl der Einheitskreislinie ist im Innern des Einheitskreises 1, und nach Voraussetzung liegen keine Singularitäten auf der Einheitskreislinie.

Beispiel: Es gilt

\int_0^{2\pi}\frac{\mathrm{d}t}{2+\sin t} = 2\int_{\partial\mathbb{E}}\frac{\mathrm{d}z}{z^2+4\mathrm{i}z-1} = 4\pi\mathrm{i} \cdot \frac{1}{2\sqrt{3}\mathrm{i}} = \frac{2\pi}{\sqrt{3}},

denn z\mapsto \tfrac{1}{z^2+4\mathrm{i}z-1} hat in \left(-2\pm\sqrt{3}\right)\mathrm{i} Pole 1. Ordnung, aber nur der Pol bei \left(-2+\sqrt{3}\right)\mathrm{i} liegt in \mathbb{E}, und dort hat f das Residuum \tfrac{1}{2\sqrt{3}\mathrm{i}}.

Fourier-Transformierte

Gegeben sei eine Funktion f\in C^{\infty}(\mathbb{R}) \cap L^1(\mathbb{R}). Ferner gebe es Punkte a_1, ... a_k \in \mathbb{H} mit f\in \mathbb{O} (\{z,\operatorname{Im} z > -\varepsilon\}  \cap \{a_1, ... a_k\} ), wobei \varepsilon >0 sei. Gibt es dann zwei Zahlen C,δ > 0 mit \left|f(z)\right|\leq C\left|z\right|^{-1-\delta} für große \left|z\right|, so gilt für alle x > 0 die Formel

\int_{-\infty}^{\infty} f(y)e^{\mathrm{i}xy}\mathrm{d}y = 2\pi\mathrm{i} \sum_{a\in\mathbb{H}}\operatorname{Res}_a (f(z)e^{\mathrm{i}xz}).

Die gleich Formel gilt für x < 0. Mit Hilfe dieser Methode können komplizierte Fourier-Integrale berechnet werden. Der Beweis erfolgt wie oben durch Zerlegung des Integrationswegs in den Teil auf der reellen Achse und den Teil in der oberen Halbeben. Danach wird wieder der Grenzwert betrachtet und das Integral über die Kurve in der oberen Halbebene verschwindet aufgrund des Lemmas von Jordan.

Der Residuensatz für riemannsche Flächen

Der Residuensatz lässt sich auf kompakte riemannsche Flächen S verallgemeinern. Für eine meromorphe 1-Form auf einer solchen Fläche S gilt, dass die Summe der Residuen gleich null ist.

Als Folgerung ergibt sich damit der zweite Satz von Liouville über elliptische Funktionen.

Literatur

Weblinks


Wikimedia Foundation.

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

  • Residuensatz — Residu|ensatz,   zentraler, auf A. L. Cauchy (1841) zurückgehender Satz der Funktionentheorie, der die Berechnung von Residuen (Residuum) mithilfe von Integralen erlaubt. Ist die Funktion f in dem von der einfach geschlossenen Kurve C berandeten… …   Universal-Lexikon

  • Residuum (Mathematik) — Der Residuensatz ist ein wichtiger Satz der Funktionentheorie, eines Teilgebietes der Mathematik. Er stellt eine Verallgemeinerung des Cauchyschen Integralsatzes und der Cauchyschen Integralformel dar. Seine Bedeutung liegt nicht nur in den… …   Deutsch Wikipedia

  • Komplexe Analysis — Die Funktionentheorie ist ein Teilgebiet der Mathematik. Sie befasst sich mit den differenzierbaren komplexwertigen Funktionen komplexer Variablen. Gebräuchlich ist auch die Bezeichnung komplexe Analysis. Inhaltsverzeichnis 1 Komplexe Funktionen… …   Deutsch Wikipedia

  • Arganddiagramm — ℂ Die komplexen Zahlen erweitern den Zahlenbereich der reellen Zahlen derart, dass auch Wurzeln negativer Zahlen berechnet werden können. Dies gelingt durch Einführung einer neuen Zahl i derart, dass i2 = − 1 ist. Diese Zahl i wird auch als… …   Deutsch Wikipedia

  • Bestimmtes Integral — Anschauliche Darstellung des Integrals als Flächeninhalt S unter einer Kurve der Funktion f im Integrationsbereich von a bis b. Die Integralrechnung ist neben der Differentialrechnung der wichtigste Zweig der mathematischen Disziplin der …   Deutsch Wikipedia

  • Dreifachintegral — Anschauliche Darstellung des Integrals als Flächeninhalt S unter einer Kurve der Funktion f im Integrationsbereich von a bis b. Die Integralrechnung ist neben der Differentialrechnung der wichtigste Zweig der mathematischen Disziplin der …   Deutsch Wikipedia

  • Gauß-Ebene — ℂ Die komplexen Zahlen erweitern den Zahlenbereich der reellen Zahlen derart, dass auch Wurzeln negativer Zahlen berechnet werden können. Dies gelingt durch Einführung einer neuen Zahl i derart, dass i2 = − 1 ist. Diese Zahl i wird auch als… …   Deutsch Wikipedia

  • Hüllenintegral — Anschauliche Darstellung des Integrals als Flächeninhalt S unter einer Kurve der Funktion f im Integrationsbereich von a bis b. Die Integralrechnung ist neben der Differentialrechnung der wichtigste Zweig der mathematischen Disziplin der …   Deutsch Wikipedia

  • Imaginärteil — ℂ Die komplexen Zahlen erweitern den Zahlenbereich der reellen Zahlen derart, dass auch Wurzeln negativer Zahlen berechnet werden können. Dies gelingt durch Einführung einer neuen Zahl i derart, dass i2 = − 1 ist. Diese Zahl i wird auch als… …   Deutsch Wikipedia

  • Integrand — Anschauliche Darstellung des Integrals als Flächeninhalt S unter einer Kurve der Funktion f im Integrationsbereich von a bis b. Die Integralrechnung ist neben der Differentialrechnung der wichtigste Zweig der mathematischen Disziplin der …   Deutsch Wikipedia