Kurs:Funktionentheorie/Lemma von Goursat (Details)

Einleitung

Das Lemma von Goursat, manchmal auch als Satz von Goursat bezeichnet, ist ein Satz aus der Funktionentheorie.

Das Lemma von Goursat ist eine Vorstufe des Cauchyschen Integralsatzes und wird auch oft für dessen Beweis genutzt. Es spielt im Aufbau der Funktionentheorie eine wichtige Rolle. Bemerkenswert ist, dass das Lemma lediglich die komplexe Differenzierbarkeit voraussetzt, nicht aber die stetige Differenzierbarkeit. Das Lemma wurde von Édouard Goursat (1858-1936) in der Rechteckform bewiesen und 1884 veröffentlicht. Die heute übliche Dreiecksform stammt von Alfred Pringsheim.

Lemma von Goursat

Sei $f:U\to ℂ$ eine holomorphe Funktion und $\mathrm{\Delta }(z_1,z_2,z_3)\subset U$ ein abgeschlossenes konvexes Dreieck, dann gilt:

$\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz=0$

Voraussetzungen - Details

• (P1) Sei $U\subseteq ℂ$ eine offene Teilmenge,
• (P2) Seien $z_1,z_2,z_3\in ℂ$ drei nicht kollineare Punkte, die das Dreieck

$\mathrm{\Delta }(z_1,z_2,z_3):=\{\sum _{k=1}^3{\lambda }_k\cdot z_k\mid (\sum _{k1}^3{\lambda }_k=1)\wedge \mathrm{\forall }k\in \{1,2,3\}{\lambda }_k\in [0,1]\}\subset U$

definieren,

• (P3) Sei $f:U\to ℂ$ eine holomorphe Funktion,
• (P4) Sei $⟨z_1,z_2,z_3⟩:[0,3]\to ℂ$ der geschlossene Weg über den Dreiecksrand von $\mathrm{\Delta }(z_1,z_2,z_3)$ mit Startpunkt $z_1$.

Behauptung

Für das Integral über den Rand des Dreiecks $\mathrm{\Delta }(z_1,z_2,z_3)$ (also über den Weg $⟨z_1,z_2,z_3⟩$ gilt dann die folgenden Behauptungen:

• (C1) $\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz=0$

Beweisidee

Der Beweis lässt sich in 4 Teile zerlegen:

• (1) Dreieck: sukzessize Zerlegung eines gegebenen Dreiecks ${\mathrm{\Delta }}^{(n)}$ in 4 kongruente Teildreiecke
• (2) Auswahl Teildreieck: Auswahl eines von 4 Teildreieck ${\mathrm{\Delta }}^{(n+1)}$, über dessen Rand das Integral betragsmäßig maximal wird. Abschätzung des Integrals nach oben gegen das Vierfache des Integrals über Rand von ${\mathrm{\Delta }}^{(n+1)}$.
• (3) Punkt im Schnitt aller Dreiecke Schnitt über alle Dreiecke ${\mathrm{\Delta }}^{(n)}$ enthält genau einen Punkt $z_o$. Darstellung der Funktion $f(z)$ als Taylorsumme bis zur Ordnung 1 mit Restglied $r(z)$.
• (4) Abschätzung des Integrals Durch die Abschätzung des Integrals nach oben und dem Sandwichtheorem erhält man die Behauptung (C1).

Beweis

Integrationsweg auf dem Dreiecksrand

Aufteilung der äußeren Wegen und Einfügen von zusätzlichen Wegen zwischen den Seitenmitten, die sich durch die umgekehrte Richtung des Integrationsweges im Wegintegral als Summe 0 ergeben und somit das Gesamtintegral nicht verändern.

Induktive Definition der Wege. Die Teildreieck sind ähnlich zum Ausgangsdreieck. Durch die Verwendung der Seitenmitten halbiert sich jeweils der Umfang von einem Dreieck ${\mathrm{\Delta }}^{(n)}$ zu ${\mathrm{\Delta }}^{(n+1)}$

In dem Bewei definiert man wird eine Folge von Wegen über den Rand von Dreieicken rekursiv ${\gamma }^{(n)}:=⟨z_1^{(n)},z_2^{(n)},z_3^{(n)}⟩$. Bei jedem Iterationsschritt geht man zu ähnlichen Dreiecken mit halber Weglänge über.

Beweisteil 1: Definition der Dreieckswege

Man startet bei der induktiven Definition der Dreieckswege mit dem Integrationsweg über den Rand des gegebenen Ausgangsdreieck aus dem Lemma. D.h. für $n=0$ sei der geschlossene Dreiecksweg ${\gamma }^{(0)}:[0,3]\to ℂ$ wie folgt definiert:

${\gamma }^{(0)}(t):=⟨z_1,z_2,z_3⟩(t):=\{\begin{array}{cc}(1-t)\cdot z_1+t\cdot z_2& \text{ wenn }t\in [0,1]\\ (2-t)\cdot z_2+(t-1)\cdot z_3& \text{ wenn }t\in (1,2]\\ (3-t)\cdot z_3+(t-2)\cdot z_1& \text{ wenn }t\in (2,3]\end{array}$

Beweisteil 1.1: Seitenmitten für das Dreieck

Bei eine induktiven Definition der Dreiecksweg sei nun ${\gamma }^{(n)}$ bereits definiert. Wir definieren nun ${\gamma }^{(n+1)}$. Dabei werden die Seitenmitten des Dreiecks verwendet, um die Teildreiecke zu definieren. $\frac{z_1^{(n)}+z_2^{(n)}}{2}$ in der folgenden Definition die Seitenmitten zwischen den Punkten $z_1^{(n)}$ und $z_2^{(n)}$.

Beweisteil 1.2: Definition Dreieck 1

Definition: Dreiecksweg ${\gamma }_1^{(n)}:=⟨\frac{z_1^{(n)}+z_2^{(n)}}{2},z_2^{(n)},\frac{z_2^{(n)}+z_3^{(n)}}{2}⟩$,

Beweisteil 1.3: Definition Dreieck 2

Definition: Dreiecksweg ${\gamma }_2^{(n)}:=⟨\frac{z_2^{(n)}+z_3^{(n)}}{2},z_3^{(n)},\frac{z_1^{(n)}+z_3^{(n)}}{2}⟩$,

Beweisteil 1.4: Definition Dreieck 3

Definition: Dreiecksweg ${\gamma }_3^{(n)}:=⟨\frac{z_1^{(n)}+z_3^{(n)}}{2},z_1^{(n)},\frac{z_1^{(n)}+z_2^{(n)}}{2}⟩$,

Beweisteil 1.5: Definition Dreieck 4

Definition des vierten (rot markierten) Dreieckswege beinhaltet hat als inneres Dreick die 3 Seitenmitten als Eckpunkte

${\gamma }_4^{(n)}:=⟨\frac{z_1^{(n)}+z_2^{(n)}}{2},\frac{z_2^{(n)}+z_3^{(n)}}{2},\frac{z_1^{(n)}+z_3^{(n)}}{2}⟩$

Beweisteil 1.6: Betragsmäßige Abschätzung der Integrale über Teildreiecke

Vergleicht man den Betrag der Integrale über die 4 Dreieckswege, so gibt es einen Index $i\in \{1,2,3,4\}$ des Absolutwert des Integrals am größten ist. Für diesen Index $i$ gilt dann:

${\mathrm{\forall }}_{k\in \{1,,2,3,4\}}:\left|\underset{{\gamma }_k^{(n)}}{\int }f\left(z\right)dz\right|\le \left|\underset{{\gamma }_i^{(n)}}{\int }f\left(z\right)dz\right|$

Beweisteil 1.7: Definition des n+1-ten Dreiecksweges

Wenn $i$ Index ist, bei dem das betragsmäßige Integral am größten ist, so definitiert man in der induktiven Definition nun den nächsten Dreiecksweg über: ${\gamma }^{(n+1)}:={\gamma }_i^{(n)}$

Beweisteil 2: Abschätzungen

In dem folgenden Beweisteil wird der Betrag des Integrals über den Dreiecksrand gegen das betragsmäßig größte Integral der 4 oben definierten Teildreiecke abgeschätzt.

Beweisteil 2.1 - Abschätzungen

Da das rote Dreieck in der obigen Abbildung für die die ergänzten grün markierten Integrationswege jeweil einen Integrationsweg mit umgekehrter Richtung liefert, ändert sich der Gesamtwert des Integral über $f$ durch das Hinzufügen der Wege nicht. Dies formuliert die folgende Gleichung, wobei die Summe die Integration über die 4 Teildreiecke darstellt:

$\underset{{\gamma }^{(n)}}{\int }f(z)dz=\sum _{k=1}^4\underset{{\gamma }_k^{(n)}}{\int }f(z)dz$

Beweisteil 2.2 - Abschätzungen

Durch Anwendung der Dreiecksungleichung kann man den Betrag des Integral nach oben gegen die Summe der Beträge der Integrale über die 4 Einzeldreiecke abschätzen:

$\begin{array}{ccc}\left|\underset{{\gamma }^{(n)}}{\int }f\left(z\right)dz\right|& =& \left|\sum _{k=1}^4\underset{{\gamma }_k^{(n)}}{\int }f\left(z\right)dz\right|\\ & \le & 4\cdot \left|\underset{{\gamma }_i^{(n)}}{\int }f\left(z\right)dz\right|=4\cdot \left|\underset{{\gamma }^{(n+1)}}{\int }f\left(z\right)dz\right|\end{array},$

wobei der Weg ${\gamma }_i^{(n)}={\gamma }^{(n+1)}$ der Integrationsweg über dem Dreiecksrand mit dem maximalen betragsmäßigen Integral ist.

Beweisteil 2.3 - Abschätzungen

Diese Abschätzung gilt für alle $n\in \mathbb{N}$ Interationsschritte, kann man auch wieder das Integral über $\left|\underset{{\gamma }^{(n+1)}}{\int }f\left(z\right)dz\right|$ mit der gleichen geometrischen Grundidee immer weiter nach oben abschätzen:

$\begin{array}{ccc}0\le \left|\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz\right|& =& |\underset{{\gamma }^{(0)}}{\int }f(z)dz|\le 4\cdot \left|\underset{{\gamma }^{\left(1\right)}}{\int }f\left(z\right)dz\right|\\ & \le & \dots \\ & \le & 4^{n-1}\cdot |\underset{{\gamma }^{(n-1)}}{\int }f(z)dz|\\ & \le & 4^n\cdot |\underset{{\gamma }^{(n)}}{\int }f(z)dz|\end{array}$

Beweisteil 3: Durchmesser der Teildreiecke

Durch die oben definierte geschachtelte Definition der Teildreiecke gilt für alle $n\in \mathbb{N}$ die Teilmengenbeziehung $\mathrm{\Delta }(z_1^{(n)},z_2^{(n)},z_3^{(n)})\supset \mathrm{\Delta }(z_1^{(n+1)},z_2^{(n+1)},z_3^{(n+1)})$, wobei der Durchmesser (engl. "diameter") der Teildreiecke für wachsende $n$ gegen 0 geht:

$\underset{n\to \mathrm{\infty }}{\lim }\text{diam}\left(\mathrm{\Delta }(z_1^{(n)},z_2^{(n)},z_3^{(n)})\right)=0$

Beweisteil 3.1: Schnitt über alle Teildreiecke

Der Schnitt über alle Teildreiecke enthält mit den obigen Eigenschaften einen einzelnen Punkt $z_o$, der in allen Teildreiecken enthalten ist, d.h.

${\mathrm{\exists }}_{z_0\in U}{\mathrm{\forall }}_{n\in \mathbb{N}}:z_0\in {\mathrm{\Delta }}^{(n)}:=\mathrm{\Delta }(z_1^{(n)},z_2^{(n)},z_3^{(n)})$

und es gilt

$\left\{z_0\right\}=\bigcap _{n\in \mathbb{N}}{\mathrm{\Delta }}^{(n)}$

Beweisteil 4: Holomorphie verwenden (P3)

Durch die Holomorphie von $f$ auf $U$ lässt sich $f$ durch eine Taylorsumme bis zu Ordnung 1 in $z_0\in U$ mit einem Restglied $r(z)$ entwickeln

$f(z):=f(z_0)+f^{\prime }(z_0)\cdot (z-z_0)+r(z),$

wobei das Restglied $r$ die Eigenschaft $\underset{z\to z_0}{\lim }\frac{r(z)}{z-z_0}=0$ und $r(z_o)=0$ erfüllt - Begründung (P3)

Beweisteil 4.1: Zerlegung von f in zwei Funktionen

Die Funktion $f:U\to ℂ$ lässt damit in ein Polynom vom Grad 1 $h:U\to ℂ$ mit $h(z):=f(z_0)+f^{\prime }(z_0)\cdot (z-z_0)$ und ein Restglied $r(z)$ zerlegen. Da die Funktion $h$ eine Stammfunktion $H(z):=f(z_0)+f^{\prime }(z_0)\cdot \frac{1}{2}\cdot (z-z_0{)}^2$ besitzt, ist das Wegintegral über geschlossene Weg 0 - Begründung: (SF). Das Wegintegral über ${\gamma }^{(n)}$ der Funktion $h:U\to ℂ$ ist damit $\underset{{\gamma }^{(n)}}{\int }h(z)dz=0$

Beweisteil 4.2: Zerlegung von f in zwei Funktionen

Durch Anwendung der Linearität des Integral für die Zerlegung erhält man für Wegintegral über geschlossene Wege ${\gamma }^{(n)}$ der Funktion $f:U\to ℂ$ gilt $\underset{{\gamma }^{(n)}}{\int }f(z)dz=\underset{=0}{\underbrace{\underset{{\gamma }^{(n)}}{\int }h(z)dz}}+\underset{{\gamma }^{(n)}}{\int }r(z)dz=\underset{{\gamma }^{(n)}}{\int }r\left(z\right)dz$

Beweisteil 4: Abschätzung des Restglieds r(z)

Definiert man nun $g(z):=\frac{r(z)}{z-z_0}$ für $z=z_o$ und $g(z_o):=0$, so liefert die Eigenschaft $\underset{z\to z_0}{\lim }\frac{r(z)}{z-z_0}=0$ die Stetigkeit von $g$ in $z_0$. Für $z_o$ wendet man nun das Epsilon-Delta-Kriterium an.

Beweisteil 4.1: Epsilon-Delta-Kriterium

Für alle $ϵ>0$ gibt es also ein $\delta >0$ mit $z=z_o$:

$|z-z_0|<\delta ⟹|g(z)-\underset{=0}{\underbrace{g(z_o)}}|=\left|\frac{r(z)}{z-z_0}\right|<ϵ$

Beweisteil 4.2: Epsilon-Delta-Kriterium

Für alle $ϵ>0$ gibt es ein $\delta >0$:

$|z-z_0|<\delta \Rightarrow |r(z)|<ϵ\cdot |z-z_0|$

Da das $z$ für wachsende $n$ immer auf dem Dreiecksrand von ${\mathrm{\Delta }}_n$ und der Durchmesser der Dreiecke gegen 0 geht, muss sich $z$ für wachsenden $n$ gegen $z_o$ konvergieren.

Beweisteil 4.3: Anwendung in der Abschätzung

Die Abschätzung aus 4.2 wird nun auf die Abschätzung des Restgliedes $r(z)$ angewendet und man erhält:

$|\underset{{\gamma }^{(n)}}{\int }f(z)dz|=|\underset{{\gamma }^{(n)}}{\int }r(z)dz|\le |\epsilon \cdot \underset{{\gamma }^{(n)}}{\int }|z-z_o|dz|$

Dabei wählt man das $n\ge n_{\delta }$, wobei man aus der Bedingung $\underset{n\to \mathrm{\infty }}{\lim }\text{diam}\left({\mathrm{\Delta }}^{(n)}\right)=0$ und $z\in {\mathrm{\Delta }}^{(n)}$ für alle $ϵ>0$ ein $n_{\delta }\in \mathbb{N}$ mit ${\mathrm{\Delta }}^{(n)}\subseteq D_{\delta }(z_0)$ für alle $n>n_{\delta }$.

Bemerkung 4.4: Anwendung in der Abschätzung

Wenn also der Durchmesser der Dreiecke gegen 0 geht, muss ab einer Indexschranke $n_{\delta }$ das Dreieck ${\mathrm{\Delta }}^{(n)}$ ganz in der offenen Kreisschreibe $D_{\delta }(z_0)$ mit dem Radius $\delta >0$ um $z_o$ liegen.

Beweisteil 4.5: Anwendung in der Abschätzung

Wenn man nun diese Abschätzung auf das Ausgangsintegral und das Dreieck ${\mathrm{\Delta }}^{(0)}$ an, erhält man:

$\begin{array}{ccc}0\le \left|\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz\right|& =& |\underset{{\gamma }^{(0)}}{\int }f(z)dz|\le 4\cdot \left|\underset{{\gamma }^{\left(1\right)}}{\int }f\left(z\right)dz\right|\\ & \le & \dots \\ & \le & 4^n\cdot |\underset{{\gamma }^{(n)}}{\int }r(z)dz|\\ & \le & 4^n\cdot \epsilon \cdot |\underset{{\gamma }^{(n)}}{\int }|z-z_o|dz|\end{array}$

Beweisteil 4.6: Abschätzung gegen die Länge des Weges

$z$ ist in dem obigen Integral ein Punkt auf dem Rand des Dreiecks ${\mathrm{\Delta }}^{(n)}$ und $z_o$ ist ein innerer Punkt des Dreiecks ${\mathrm{\Delta }}^{(n)}$. Abstand $|z-z_o|$ zwischen einem Randpunkt $z$ und einem inneren Punkt $z_o$ des Dreiecks ist damit kleiner als die Länge $ℒ\left({\gamma }^{(n)}\right)$ des Intergrationswege ${\gamma }^{(n)}$.

Beweisteil 4.7: Abschätzung gegen die Länge des Weges

$\begin{array}{ccc}0\le \left|\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz\right|& =& |\underset{{\gamma }^{(0)}}{\int }f(z)dz|\le 4\cdot \left|\underset{{\gamma }^{\left(1\right)}}{\int }f\left(z\right)dz\right|\\ & \le & \dots \\ & \le & 4^n\cdot \epsilon \cdot |\underset{{\gamma }^{(n)}}{\int }|z-z_o|dz|\\ & \le & 4^n\cdot \epsilon \cdot \left|\underset{{\gamma }^{(n)}}{\int }ℒ\left({\gamma }^{(n)}\right)dz\right|\end{array}$

Beweisteil 4.8: Abschätzung gegen die Länge des Weges

Da sich mit jeder weiteren Zerlegung des Dreiecks ${\mathrm{\Delta }}^{(n)}$ in ${\mathrm{\Delta }}^{(n+1)}$ die Länge des Integrationswege von ${\gamma }^{(n-1)}$ zu ${\gamma }^{(n)}$ halbiert, erhält

$|z-z_0|<ℒ\left({\gamma }^{(n)}\right)=\frac{1}{2^n}\cdot ℒ\left({\gamma }^{(0)}\right)$ für alle $n\in \mathbb{N}$ und alle $z\in {\mathrm{\Delta }}^{(n)}$

Begründung: Der Faktor $\frac{1}{2^n}$ entsteht durch die fortgesetzte Halbierung der Seiten der Dreiecke ${\mathrm{\Delta }}^{(n)}$

Beweisteil 4.9: Abschätzung gegen die Länge des Weges

$\begin{array}{ccc}0\le \left|\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz\right|& =& |\underset{{\gamma }^{(0)}}{\int }f(z)dz|\le 4\cdot \left|\underset{{\gamma }^{\left(1\right)}}{\int }f\left(z\right)dz\right|\\ & \le & \dots \\ & \le & 4^n\cdot \epsilon \cdot \left|\underset{{\gamma }^{(n)}}{\int }ℒ\left({\gamma }^{(n)}\right)dz\right|\\ & \le & 4^n\cdot \epsilon \cdot \frac{1}{2^n}\cdot ℒ\left({\gamma }^{(0)}\right)\cdot \underset{\le ℒ\left({\gamma }^{(n)}\right)}{\underbrace{\left|\underset{{\gamma }^{(n)}}{\int }1dz\right|}}\\ & \le & 4^n\cdot \epsilon \cdot \frac{1}{2^n}\cdot ℒ\left({\gamma }^{(0)}\right)\cdot \underset{\le \frac{1}{2^n}\cdot ℒ\left({\gamma }^{(0)}\right)}{\underbrace{ℒ\left({\gamma }^{(n)}\right)}}\end{array}$

Beweisteil 4.10: Abschätzung gegen die Länge des Weges

Die Abschätzung von der zweiten zur dritten Zeile erfolgt mit der unten angegebenen Begründung für da Wegintegral (IAL).

$\begin{array}{ccc}0\le \left|\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz\right|& \le & 4^n\cdot \epsilon \cdot \left|\underset{{\gamma }^{(n)}}{\int }ℒ\left({\gamma }^{(n)}\right)dz\right|\\ & \le & 4^n\epsilon \cdot \frac{1}{2^n}\cdot ℒ\left({\gamma }^{(0)}\right)\cdot \underset{\le ℒ\left({\gamma }^{(n)}\right)}{\underbrace{\left|\underset{{\gamma }^{(n)}}{\int }1dz\right|}}\\ & \le & 4^n\epsilon \cdot \frac{1}{2^n}\cdot ℒ\left({\gamma }^{(0)}\right)\cdot \underset{\le \frac{1}{2^n}\cdot ℒ\left({\gamma }^{(0)}\right)}{\underbrace{ℒ\left({\gamma }^{(n)}\right)}}\\ & \le & \epsilon \cdot ℒ{\left({\gamma }^{(0)}\right)}^2\end{array}$

Beweisteil 4.11: Abschätzung gegen die Länge des Weges

Da $ℒ\left({\gamma }^{(0)}\right)$ eine Konstante ist und die Aussage 4.10 für alle $\epsilon >0$ gilt, muss Betrag $\left|\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz\right|=0$ gelten. Damit gilt auch $\underset{⟨z_1,z_2,z_3⟩}{\int }f\left(z\right)dz=0$ und es folgt die Behauptung des Lemmas von Goursat.

Abkürzungen für Begründungen

• (DU) ${\mathrm{\forall }}_{a,b\in ℂ}:|a+b|\le |a|+|b|$
• (DI) Definition: Sei $M\subset C$ eine Menge $\text{diam}(M):=\text{sup}\{|b-a|:a,b\in M\}$
• (WE) Definition (Weg): Sei $U\subseteq ℂ$ eine Teilmenge und $a,b\in ℝ$ mit $a<b$. Ein Weg $\gamma$ in $U\subseteq ℂ$ ist eine stetige Abbildung $\gamma :[a,b]\to U$.
• (SPU) Definition (Spur): Sei $\gamma :[a,b]\to U$ eine Weg in $U\subseteq ℂ$. Die Spur von $\gamma$ ist definiert als: $\text{Spur}(\gamma ):=\{\gamma (t)\in ℂ\mid t\in [a,b]\}$.
• (WZ) Definition (wegzusammenhängend): Sei $U\subseteq ℂ$ eine Teilmenge. $U$ heißt wegzusammenhängend, wenn es zu beliebigen Punkt $z_1,z_2\in U$ einen Weg $\gamma :[a,b]\to U$ in $U\subseteq ℂ$ gibt, mit $\gamma (a)=z_1$, $\gamma (b)=z_2$ und $\text{Spur}(\gamma )\subseteq U$.
• (GE) Definition (Gebiet): Eine Teilmenge $G\subseteq ℂ$ heißt Gebiet, wenn (1) $G$ offen, (2) $G\ne \mathrm{\varnothing }$ und (3) $G$ wegzusammenhängend ist.
• (WG1) Definition (Weg glatt): Ein Weg $\gamma :[a,b]\to ℂ$ heißt glatt, wenn dieser stetig differenzierbar ist.
• (UT) Definition (Unterteilung): Sei $[a,b]$ ein Intervall, $n\in \mathbb{N}$ und $a=u_0<\dots <u_n=b$. $(u_0,\dots ,u_n)\in {ℝ}^{n+1}$ heißt dann Unterteilung von $[a,b]$.
• (WG2) Definition (Wegunterteilung): Sei $\gamma :[a,b]\to ℂ$ ein Weg in $U\subseteq ℂ$, $n\in \mathbb{N}$, $(u_0,\dots ,u_n)$ eine Unterteilung von $[a,b]$, ${\gamma }_k:[u_{k-1},u_k]\to ℂ$ für alle $k\in \{1,\dots ,n\}$ ein Weg in $U$. $({\gamma }_1,\dots ,{\gamma }_n)$ heißt Wegunterteilung von $\gamma$, wenn gilt ${\gamma }_n\left(b\right)=\gamma \left(b\right)$ und ${\mathrm{\forall }}_{k\in \{1,\dots ,n\}}{\mathrm{\forall }}_{t\in [u_{k-1},u_k)}:{\gamma }_k\left(t\right)=\gamma \left(t\right)\wedge {\gamma }_k\left(u_{k-1}\right)={\gamma }_{k-1}\left(u_k\right)$.
• (WG3) Definition (Integrationsweg/Weg stückweise glatt): Ein Weg $\gamma :[a,b]\to ℂ$ heißt stückweise glatt, wenn eine Wegunterteilung $({\gamma }_1,\dots {\gamma }_n)$ aus glatten Wegen ${\gamma }_k$ für alle $k\in \{1,\dots ,n\}$ existiert.
• (WG4) Definition (Wegintegral): Sei $f:U\to ℂ$ eine stetige Funktion und $\gamma :[a,b]\to U$ ein glatter Weg, dann ist das Wegintegral wie folgt definiert: $\underset{\gamma }{\int }f:=\underset{\gamma }{\int }f(z)dz:=\underset{a}{\overset{b}{\int }}f(\gamma (t))\cdot {\gamma }^{\prime }(t)dt$. Ist $\gamma$ nur stückweise glatt bzgl. einer Wegunterteilung $({\gamma }_1,\dots ,{\gamma }_n)$, dann definiert man $\underset{\gamma }{\int }f(z)dz:=\sum _{k=1}^n\underset{{\gamma }_k}{\int }f(z)dz$.
• (SF) Satz (Stammfunktion mit geschlossenen Wegen): Besitzt eine stetige Funktion $f:U\to ℂ$ eine Stammfunktion $F:U\to ℂ$, dann gilt für den stückweise glatten Weg $\gamma :[a,b]\to U$, dass $\underset{\gamma }{\int }f(z)dz=F(\gamma (b))-F(\gamma (a))$ gilt.
• (LIW) Länge des Integrationsweges: Sei $\gamma :[a,b]\to ℂ$ ein glatter Weg, dann ist die $ℒ(\gamma )$ wie folgt definiert

$ℒ(\gamma ):=\underset{a}{\overset{b}{\int }}|{\gamma }^{\prime }(t)|dt$.

Ist $\gamma :[a,b]\to ℂ$ allgemein ein Integrationsweg mit der Wegunterteilung $({\gamma }_1,\dots {\gamma }_n)$ aus glatten Wegen ${\gamma }_k$, so ist $ℒ(\gamma )$ als Summe der Länge der glatten Wege ${\gamma }_k$ definiert, also:

$ℒ(\gamma ):=\sum _{k=1}^nℒ({\gamma }_k)$

• (IAL) Integralabschätzung über die Länge des Integrationsweges: $\gamma :[a,b]\to 𝔾$ ein Integrationsweg auf dem Gebiet $G\subseteq ℂ$, dann gilt für eine auf $\text{Spur}(\gamma )$ stetigen Funktion folgende Abschätzung:

$|\underset{\gamma }{\int }f(z)dz|\le \underset{z\in \text{Spur}(\gamma )}{\max }|f(z)|\cdot ℒ(\gamma )$

Aufgabe 1

Gegeben sind die Punkte $z_1=1-i$, $z_2=i$ und $z_3=-1-i$.

• Stellen Sie den Gesamtweg $\gamma :[0,3]\to ℂ$ über den Dreiecksrand als Integral von drei Wegen ${\gamma }_k:[0,1]\to ℂ$ mit $k\in \{1,2,3\}$ jeweils als Konvexkombinationen dar.
• Berechnen Sie die einzelnen Wegintegrale

$\underset{{\gamma }_k}{\int }{e}^{z}dz$

• Berechnen Sie mit $\gamma =\sum _{k=1}^3{\gamma }_k$ das gesamte Integral

$\underset{\gamma }{\int }{e}^{z}dz=\sum _{k=1}^3\underset{{\gamma }_k}{\int }{e}^{z}dz$

Aufgabe 2

Gegeben sind die Punkte $z_1=1-i$, $z_2=i$ und $z_3=-1-i$.

• Betrachten Sie ${\gamma }_1:[0,1]\to ℂ$ mit ${\gamma }_1(t)=(1-t)\cdot z_1+t\cdot z_2$ und $f(z)=\frac{1}{z}$.
• Berechnen Sie die Realteil- und Imaginärteilfunktion von $(f\circ {\gamma }_1)\cdot {{\gamma }_1}^{\prime }$.
• Berechnen Sie das Integral von $\underset{{\gamma }_1}{\int }f(z)dz=\underset{0}{\overset{1}{\int }}\frac{1}{{\gamma }_1(t)}\cdot {{\gamma }_1}^{\prime }(t)dt$

Literatur

• Eberhard Freitag & Rolf Busam: Funktionentheorie 1, Springer-Verlag, Berlin

Siehe auch

• Kurs:Funktionentheorie/Lemma von Goursat - Kurzform
• Integrationsweg
• Kongruenz (Geometrie)
• Wegintegral für stetige Funktion mit Stammfunktion

Seiten-Information

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt:

• Lemma von Goursat https://de.wikipedia.org/wiki/Lemma%20von%20Goursat
• Datum: 14.12.2018
• Wikipedia2Wikiversity-Konverter: https://niebert.github.com/Wikipedia2Wikiversity