Kurs:Funktionentheorie/Reelle Integrale mit Residuensatz

Einführung

Der Residuensatz bezieht sich in der komplexen Analysis auf nullhomologe Zyklen in Gebieten mit isolierten Singularität. Um mit dem Residuensatz auch Integrale berechnen zu können, ergänzt man ein reelles Integral zu einem nullhomologen Zyklus in der komplexen Zahlenebene und wendet darauf den Residuensatz an.

Allgemeines Vorgegehen

• zunächst einmal wird das reelle Integral als Wegintegral auf der reellen Achse aufgefasst.
• dann wird das reelle Integral zu einem geschlossenen Weg in der komplexen Zahlenebene ergänzt.
• auf diesen geschlossene Weg als Zyklus wird nun der Residuensatz angewendet.
• dafür müssen die Residuen der isolierte Singularitäten bestimmt werden.

Gesuchtes Integral über Teilweg des Zyklus

Eigentlich benötigt man den Integralwert über einen Teilweg des Zyklus. Daher muss man insgesamt den Beitrag des komplexen Wegintegrals, den man zur Ergänzung des reellen Weginterals zu einem Zyklus verwendet, von dem Ergebnis des Residueensatz abziehen. Bei uneigentlichen Integralen gibt es Fälle, bei denen im Grenzwertprozes auf der reellen Achse gegen $+\mathrm{\infty }$ und $-\mathrm{\infty }$ der Integral über den hinzugefügten Intergrationsweg verwschwindet (gegen 0 geht) und damit das gesuchte reelle Integral mit dem Integral über den Zyklus übereinstimmt.

Reelles Integral als Wegintegral

Ein reelles Integral wird wie folgt als Wegintegral auf der reellen Achse aufgefasst. Wir stellen das Wegintegral auf der reellen Achse als Konvexkombination der Punkte $a=a+0i\in ℂ$ und $b=b+0i\in ℂ$ mit $a,b\in ℝ$, $a<b$

$\begin{array}{ccc}{\gamma }_{(a,b)}:[a,b]& \to & ℂ\\ t& \mapsto & {\gamma }_{(a,b)}(t)=(1-t)\cdot a+t\cdot b\end{array}$

und

$\underset{a}{\overset{b}{\int }}f(x)dx\text{ mit }a,b\in ℝ$

Uneigentliche Integrale als Wegintegral

Bei uneigentlichen Integralen verwendet man einen Grenzwertprozess für die Integralgrenzen, z.B.:

$\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}f(x)dx=\underset{R\to +\mathrm{\infty }}{\lim }\underset{+R}{\overset{-R}{\int }}f(x)dx$

oder

$\underset{0}{\overset{b}{\int }}f(x)dx=\underset{a\to 0,a>0}{\lim }\underset{a}{\overset{b}{\int }}f(x)dx$

Ergänzung zu einem Zyklus

Sei ${\gamma }_0:[a,b]\to ℝ$ der reellwertige Integrationsweg, für den das reelle Integral berechnet werden soll und $G$ ein Gebiet mit $\mathrm{S}\mathrm{p}\mathrm{u}\mathrm{r}({\gamma }_0)\subset G$. Wir ergänzen ${\gamma }_0$ zu einem nullhomologen Zyklus $\mathrm{\Gamma }$ in $G$:

$\mathrm{\Gamma }:={\gamma }_0+\sum _{k=1}^n{n}_k\cdot {\gamma }_k\text{ mit }n\in \mathbb{N}\text{ und }{n}_k\in \mathbb{Z}\text{ für alle }k\in \{1,...,n\}$

Die $n_k$ sind i.d.R. 1 oder -1, wenn man für die Zyklusergänzung zu $\mathrm{\Gamma }$ die umgekehrte Orientierung des Integrationsweges benötigt.

Beispiel 1 - Ergänzung zu einem Zyklus

Sei $R\in {ℝ}^{+}$ und${\gamma }_0:={\gamma }_{(a,b)}$ der Integrationsweg von $a\in ℝ$ nach $b\in ℝ$ auf der reellen Achse als Konvexkombination. Die folgende Ergänzung erzeugt eine Rechteckweg in der komplexen Zahlenebene:

$\mathrm{\Gamma }:={\gamma }_{(a,b)}+{\gamma }_{(b,b+iR)}+{\gamma }_{(b+iR,a+iR)}++{\gamma }_{(a+iR,a)}$

Beispiel 2 - Ergänzung zu einem Zyklus

Sei $R\in {ℝ}^{+}$ und${\gamma }_0:={\gamma }_{(+R,-R)}$ auf der reellen Achse als Konvexkombination. Die folgende Ergänzung ergänzt einen Integrations mit der Spur eines Halbkreises mit Radius $R$ in der komplexen Zahlenebene:

$\mathrm{\Gamma }:={\gamma }_{(-R,+R)}+{\gamma }_R$

mit

$\begin{array}{ccc}{\gamma }_R:[0,\pi ]& \to & ℂ\\ t& \mapsto & {\gamma }_R(t)=R\cdot e^{it}\end{array}$

Seiteninformation

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/Reelle%20Integrale%20mit%20Residuensatz
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.