Residuensatz - LinkFang.de





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 Berechnung von Integralen über reelle Funktionen.

Er 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

Sei [math]D\subseteq\mathbb{C}[/math] ein Elementargebiet, also ein einfach zusammenhängendes Gebiet in der komplexen Zahlenebene. Sei weiterhin [math]D_f[/math] eine diskrete Teilmenge von [math]D[/math], [math]f\colon D\setminus D_f \to \mathbb{C}[/math] eine holomorphe Funktion, [math]I[/math] ein reelles Intervall und [math]\Gamma\colon I\to D\setminus D_f[/math] ein geschlossener Weg in [math]D\setminus D_f[/math]. Dann gilt für das komplexe Wegintegral

[math]\frac{1}{2\pi\mathrm{i}}\int_\Gamma f=\sum_{a\in D_f}\operatorname{ind}_{\Gamma}(a)\operatorname{Res}_a f[/math],

wobei [math]\operatorname{ind_\Gamma}(a)[/math] die Windungszahl von [math]\Gamma[/math] in Bezug auf [math]a[/math] und [math]\operatorname{Res}_a f[/math] das Residuum von [math]f[/math] in [math]a[/math] ist.

Bemerkungen

  • Die Summe auf der rechten Seite ist stets endlich, denn das von [math]\Gamma[/math] umschlossene (einfach zusammenhängende) Gebiet [math]\operatorname{Int}\,\Gamma[/math] ist relativ kompakt in [math]D[/math] und somit beschränkt. Weil [math]D_f[/math] diskret in [math]D[/math] ist, ist [math]\operatorname{Int}\,\Gamma\cap D_f[/math] endlich, und nur dies sind die Punkte, die zu der Summe beitragen, denn für alle anderen verschwindet die Windungszahl oder das Residuum.
  • Handelt es sich bei den Punkten in [math]D_f[/math] um hebbare Singularitäten, verschwindet das Residuum in diesen Punkten, dann erhält man den Integralsatz von Cauchy
[math]\int_\Gamma\,f=0[/math].
  • Ist [math]f[/math] auf [math]D[/math] holomorph und [math]z\in D[/math], hat [math]\textstyle \zeta\mapsto\frac{f(\zeta)}{\zeta-z}[/math] einen Pol erster Ordnung in [math]z[/math] mit Residuum [math]f(z)[/math] dann erhält man die Integralformel von Cauchy
[math]\frac{1}{2\pi\mathrm{i}}\int_\Gamma \frac{f(\zeta)}{\zeta-z}\mathrm{d}\zeta = \operatorname{ind}_{\Gamma}(z)f(z).[/math]

Null- und Polstellen zählendes Integral

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

[math]\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[/math]

Dabei bezeichnet

[math]\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}[/math]

die Null- bzw. Polstellenordnung von [math]f[/math] in [math]a[/math]. Mit der Rechenregel des Residuums für die logarithmische Ableitung gilt

[math]\operatorname{ord}_a f = \operatorname{Res}_a\frac{f'(z)}{f(z)}[/math].

Anwendungsbeispiele

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 [math]f=\tfrac{p}{q}[/math] Quotient zweier Polynome mit [math]\operatorname{deg}\,p+2\leq\operatorname{deg}\,q[/math] und [math]q(z)\neq 0[/math] für alle [math]z\in\mathbb{R}[/math], ist

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

wobei [math]\mathbb{H}:=\{z\in\mathbb{C}:\operatorname{Im} z\gt0\}[/math] die obere Halbebene ist, denn man kann mit [math]\alpha\colon [0,\pi]\to\mathbb{C}[/math], [math]t\mapsto Re^{\mathrm{i}t}[/math] für ein großes [math]R\in\mathbb{R}[/math], über den geschlossenen Halbkreis [math]\Gamma := [-R,R] \oplus \alpha[/math] integrieren und den Grenzübergang [math]R\rightarrow\infty[/math] vollziehen. Wegen [math]\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}[/math] für großes [math]|z|[/math] und Konstanten [math]c,c_p,c_q\in\mathbb{R}[/math] folgt mit der Standardabschätzung für Kurvenintegrale

[math]\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)[/math],

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

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

Gebrochenrationale Funktionen mit Exponentialfunktion

[math]P[/math] und [math]Q[/math] seien Polynome mit [math]deg(P)+1 \leq deg(Q)[/math], das Polynom [math]Q[/math] besitze keine reellen Nullstellen und die Nullstellen [math]a_1, \ldots, a_k[/math] in der oberen komplexen Halbebene. Dann gilt für jedes [math]\alpha \gt 0[/math]

[math]\int_{-\infty}^{\infty} \frac{P(x)}{Q(x)}\exp (i\alpha x)\mathrm{d}x = 2\pi\mathrm{i} \sum_{i=1}^k\operatorname{Res}_{a_i} f(z)[/math]

mit [math]f(z):= \frac{P(z)}{Q(z)}\exp (i\alpha z)[/math]. Wie oben definiert man auch hier einen geschlossenen Weg [math]\Gamma[/math], der aus dem geradlinigen Weg von [math]-R[/math] nach [math]R[/math] besteht sowie einem Halbkreis, der gegen den Uhrzeigersinn von [math]R[/math] nach [math]-R[/math] führt. Nun wählt man ein [math]r\gtR[/math] und konstruiert um den Halbkreis ein Rechteck mit den Ecken [math]-r, r, r+ir, -r+ir[/math], das gegen den Uhrzeigersinn durchlaufen wird. Die beiden Vertikalstrecken werden nun jeweils an dem Punkt mit [math]Im(z)= \sqrt{r}[/math] unterteilt und der obere und untere Teil getrennt betrachtet. Für die rechte Gerade folgt im unteren Teil :[math]\int_{r}^{r+i\sqrt{r}} f(z) dz \leq C\frac{\sqrt{r}}{r}[/math], was gegen null geht, für den unteren Teil der linken Vertikalen folgt dasselbe analog. Für [math]Im(z) \gt \sqrt{r}[/math] gilt [math]|\exp (i \alpha z)| \leq \exp(-\alpha \sqrt{r})[/math]. Damit folgt, dass der gesamte obere Teil des Rechtecks gegen null konvergiert und die obige Aussage gilt.

Beispiel: Betrachte die Funktion [math]\frac{x \exp{(2ix)}}{x^2+1}[/math]. Sie erfüllt alle oben genannten Bedingungen: Das Polynom im Nenner hat als Nullstellen nur [math]\pm i[/math] und damit keine auf der reellen Achse. Demnach gilt:

[math]\int_{-\infty}^{\infty} \frac{x \exp{2ix}}{(x+i)(x-i)}\mathrm{d}x= 2\pi\mathrm{i} \operatorname{Res}_{i} f(z)=i \pi \exp{(-2)}[/math]

Gebrochenrationale Funktion mit einem nichtganzzahligen Term

Sind [math] P [/math] und [math] Q [/math] Polynome, für die [math]\operatorname{deg}\,Q \gt \operatorname{deg}\, P + \lambda [/math] gilt, wobei [math] \lambda \in \mathbb{R}^+ \backslash \mathbb{Z}[/math] gilt, [math] Q [/math] habe keine Nullstellen in [math] \mathbb{R}^+ [/math] und [math] P/Q [/math] keine Nullstelle in der Null. Dann gilt

[math]\int_{0}^{\infty} x^{\lambda -1}\frac{P(x)}{Q(x)}\mathrm{d}x = \frac{\pi}{\sin{(\lambda \pi)}} \sum_{p\in \mathbb{C} \backslash \mathbb{R^+}}\operatorname{Res}_p (-z)^{\lambda -1} \frac{P(z)}{Q(z)}[/math]

Beispiel: Ist [math] f(x)= \frac{x^{3/2 -1}}{x^2+1} [/math], so ist [math] \lambda =3/2 [/math], die Funktion besitzt die Pole [math] \pm i [/math] und alle weiteren Anforderungen sind auch erfüllt. Es ist demnach [math] \operatorname{Res}_{\pm i} f(z)= \frac{(\mp i)^{1/2}}{\pm 2i} [/math]. Somit gilt

[math]\int_{0}^{\infty} \frac{\sqrt{x}}{1+x^2}\mathrm{d}x = -\pi \left(\frac{\sqrt{-i}}{2i}+\frac{\sqrt{i}}{-2i}\right)=\frac{\pi}{\sqrt{2}}[/math]

Trigonometrische Funktionen

Ist [math]r =\tfrac{p}{q}[/math] Quotient zweier Polynome mit [math]q(x,y)\neq 0[/math] für alle [math]x,y\in\mathbb{R}[/math] mit [math]x^2+y^2=1[/math]. Dann gilt

[math]\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}[/math]

wobei [math]\mathbb{E} := \{z\in\mathbb{C}:|z|\lt1\}[/math] die Einheitskreisscheibe ist. Denn die Windungszahl der Einheitskreislinie ist im Innern des Einheitskreises [math]1[/math], und nach Voraussetzung liegen keine Singularitäten auf der Einheitskreislinie. Theoretisch lassen sich solche Integrale auch mittels der Weierstraß-Substitution lösen, diese ist aber meist aufwendiger. Sind die Intervallgrenzen des zu berechnenden Integrals nicht genau [math]2 \pi[/math] und null, so lässt sich dies mittels einer linearen Substitution oder durch Symmetrieargumente erreichen.

Beispiel: Es gilt

[math]\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}}[/math],

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

Fourier-Transformierte

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

[math]\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}).[/math]

Die gleiche Formel gilt für [math]x \lt 0[/math]. 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 Halbebene. 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 verallgemeinern. Für eine meromorphe 1-Form auf einer solchen Fläche gilt, dass die Summe der Residuen gleich null ist.

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

Literatur

Weblinks


Kategorien: Funktionentheorie | Satz (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Residuensatz (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.