Kurs:Funktionentheorie/Residuensatz

Der Residuensatz besagt, wie man das Integral einer holomorphen Funktion mit Hilfe Ihrer Residuen berechnen kann.

Aussage

Es sei $f$ eine auf einem Gebiet $G$ mit Ausnahme einer diskrete Menge von isolierten Singularitäten $S\subseteq G$ holomorphe Funktion und $\Gamma$ ein in $G$ nullhomologer Zyklus, der keinen Punkt von $S$ trifft. Dann gilt

$\int _{\Gamma }f(z)\,dz=2\pi i\cdot \sum _{z\in S}n(\Gamma ,z)\cdot \mathrm {res} _{z}(f).$

Beweis

Die Summe in der Aussage des Residuensatzes ist endlich, da $\Gamma$ nur endlich viele Punkte der diskreten Menge $S$ aller Singularitäten umlaufen kann.

Schritt 1 - Reduktion auf endliche Anzahl von Summanden

Seien nun $z_{1},\ldots ,z_{k}$ die Punkte in $S$, für die $n(\Gamma ,z_{i})\neq 0$ gilt. Die Singularitäten aus $S$, die nicht umlaufen werden, werden mit $T:=\{z\in S:n(\Gamma ,z)=0\}$.

Schritt 2 - Nullhomologer Zyklus

$\Gamma$ ist nach Voraussetzung nullhomolog in $G$. Nach der Definition von $T$ ist $\Gamma$ auch nullhomolog in $G\setminus T$.

Schritt 3 - Hauptteile der Laurent-Entwicklung

Für die Singularitäten $z_{i}\in S$ mit $n(\Gamma ,z_{i})\not =0$ und $1\leq i\leq k$ sei

$h_{i}(z)=\sum _{j=-\infty }^{-1}a_{ij}(z-z_{i})^{j}$

der Hauptteil der Laurententwicklung von $f$ um $z_{i}$. Es ist $h_{i}$ eine auf $\mathbb {C} \setminus \{z_{i}\}$ holomorphe Funktion.

Schritt 4 - Subtraktion der Hauptteile

Wenn man alle Hauptteile $h_{i}$ bzgl. $z_{i}$ von der gegebenen Funktion $f$ subtrahiert, erhält man mit $g:=f-\sum _{i=1}^{k}h_{i}$

$\int f=\int \underbrace {\left(f-\sum _{i=1}^{k}h_{i}\right)} _{=g}+\int \sum _{i=1}^{k}h_{i}=\int g+\sum _{i=1}^{k}\int h_{i}$

eine Funktion auf $G\setminus T$, die jetzt nur noch hebbare Singularitäten besitzt.

Schritt 5 - Holomorphe Fortsetzung auf G

Wenn die Singularitäten $z_{i}$ hebbar auf $G\setminus T$ sind, lässt sich $g$ holomorph in allen $z_{1},\ldots ,z_{k}\in G\setminus T$ fortsetzen.

Schritt 6 - Anwendung Cauchyintegralsatz

Es folgt nach dem Integralsatz von Cauchy für das Integral über $\Gamma$

$\int _{\Gamma }g(z)\,dz=0$

also ist, nach Definition von $g$,

${\begin{array}{rcl}\displaystyle \int _{\Gamma }f(z)\,dz&=&\displaystyle \int _{\Gamma }g(z)\,dz+\sum _{i=1}^{k}\int _{\Gamma }h_{i}(z)\,dz\\&=&\displaystyle \sum _{i=1}^{k}\int _{\Gamma }h_{i}(z)\,dz.\end{array}}$

Schritt 7 - Berechnung der Integrale über die Hauptteile

Die Berechnung des Integrals über $f$ beschränkt sich damit auf die Berechnung der Integrale über die Hauptteile $h_{i}$ mit $1\leq i\leq k$. Unter Verwendung der Lineariät des Integrals erhält man zunächst:

${\begin{array}{rcl}\displaystyle \int _{\Gamma }h_{i}(z)\,dz&=&\displaystyle \sum _{j=-\infty }^{-1}a_{ij}\int _{\Gamma }(z-z_{i})^{j}\end{array}}$

Die Funktionsterme $\displaystyle \int _{\Gamma }(z-z_{i})^{j}$ besitzen für $j\leq -2$ eine Stammfunktion und es gilt $\displaystyle \int _{\Gamma }(z-z_{i})^{j}=0$

Schritt 8 - Berechnung der Integrale über die Hauptteile

Insgesamt ergibt sich damit die Berechnung des Integrals über die Hauptteile mit der Definition der Umlaufzahl.

${\begin{array}{rcl}\displaystyle \int _{\Gamma }h_{i}(z)\,dz&=&\displaystyle \sum _{j=-\infty }^{-1}a_{ij}\int _{\Gamma }(z-z_{i})^{j}\,dz\\&=&\displaystyle a_{i,-1}\int _{\Gamma }(z-z_{i})^{-1}\,dz\\&=&\displaystyle a_{i,-1}\cdot 2\pi \cdot i\cdot n(\Gamma ,z_{i})\\&=&\displaystyle 2\pi \cdot i\cdot n(\Gamma ,z_{i})\cdot \mathrm {res} _{z_{i}}(f)\end{array}}$

da bezogen auf die Summanden alle Funktion $(z-z_{i})^{j}$ für $j<-1$ eine Stammfunktion existiert.

Schritt 9 - Berechnung der Integrale über die Residuen

Insgesamt folgt die Behauptung mit

${\begin{array}{rcl}\displaystyle \int _{\Gamma }f(z)\,dz&=&\displaystyle \sum _{i=1}^{k}\int _{\Gamma }h_{i}(z)\,dz\\&=&\displaystyle 2\pi i\cdot \sum _{i=1}^{k}n(\Gamma ,z_{i})\cdot \mathrm {res} _{z_{i}}(f)\end{array}}$

Fragen zum Residuensatz

• Sei $f:G\rightarrow {\widehat {\mathbb {C} }}$ eine meromorphe Funktion (d.h. holomorph bis auf eine diskrete Menge von Singularitäten (Pole) in $G$), Warum umrundet der Zyklus $\Gamma$ nur endlich viele Pole?

Anwendungen

• Das Null- und Polstellen zählende Integral zählt die Null- und Polstellen einer meromorphen Funktion
• Reelle Integrale mit dem Residuensatz berechnen

Siehe auch

• nullhomolog
• hebbare Singularitäten
• Reelle Integrale als Anwendung vom Residuensatz

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionentheorie' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionentheorie/Residuensatz
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.