Kurs:Funktionentheorie/Lemma von Goursat

Das Lemma von Goursat ist eine wichtige Teilaussage im Beweis für den Integralsatz von Cauchy. Es beschränkt die Integrationswege auf Dreiecke, ist dadurch durch ein geometrisches Unterteilungsargument zu beweisen.

Aussage

Es sei $D\subseteq ℂ$ ein abgeschlossenes Dreieck, $G\supseteq D$ offen und $f:U\to ℂ$ holomorph. Dann gilt $\underset{\partial D}{\int }f(z)dz=0.$

Beweis

Setze ${\mathrm{\Delta }}_0:=D$, wir werden induktiv eine Folge $({\mathrm{\Delta }}_n{)}_{n\ge 0}$ mit den Eigenschaften

1. ${\mathrm{\Delta }}_n\subseteq {\mathrm{\Delta }}_{n-1}$
2. $ℒ(\partial {\mathrm{\Delta }}_n)=2^{-n}ℒ(\partial D)$ ($L$ bezeichnet die Länge einer Kurve)
3. $|\underset{\partial D}{\int }f(z)dz|\le 4^n|\underset{\partial {\mathrm{\Delta }}_n}{\int }f(z)dz|$

Sei also $n\ge 0$ und ${\mathrm{\Delta }}_n$ bereits konstruiert. Wir unterteilen ${\mathrm{\Delta }}_n$, in dem wir die Seitenmittelpunkte verbinden, in vier Teildreiecke ${\mathrm{\Delta }}_{n+1}^i$, $1\le i\le 4$. Da die Verbindungen der Seitenmitten sich bei der Integration gegenseitig aufheben, haben wir

$\begin{array}{cc}|\underset{\partial {\mathrm{\Delta }}_n}{\int }f(z)dz|& =|\sum _{i=1}^4\underset{\partial {\mathrm{\Delta }}_{n+1}^i}{\int }f(z)dz|\\ & \le \sum _{i=1}^4|\underset{\partial {\mathrm{\Delta }}_{n+1}^i}{\int }f(z)dz|\\ & \le \underset{i}{\max }|\underset{\partial {\mathrm{\Delta }}_{n+1}^i}{\int }f(z)dz|\end{array}$

Wähle nun $1\le i\le 4$ mit $|\underset{\partial {\mathrm{\Delta }}_{n+1}^i}{\int }f(z)dz|=\underset{i}{\max }|\underset{\partial {\mathrm{\Delta }}_{n+1}^i}{\int }f(z)dz|$ und setze ${\mathrm{\Delta }}_{n+1}:={\mathrm{\Delta }}_{n+1}^i$. Dann ist ${\mathrm{\Delta }}_{n+1}\subseteq {\mathrm{\Delta }}_n$ nach Konstruktion, weiterhin haben wir

$ℒ(\partial {\mathrm{\Delta }}_{n+1})=\frac{1}{2}ℒ(\partial {\mathrm{\Delta }}_n)=2^{-(n+1)}ℒ(\partial D)$

und

$|\underset{\partial D}{\int }f(z)dz|\le 4^n|\underset{\partial {\mathrm{\Delta }}_n}{\int }f(z)dz|\le 4^{n+1}|\underset{\partial {\mathrm{\Delta }}_{n+1}}{\int }f(z)dz|$

also hat ${\mathrm{\Delta }}_{n+1}$ genau die geforderten Eigenschaften.

Da alle ${\mathrm{\Delta }}_n$ kompakt sind, ist $\bigcap _{n\ge 0}{\mathrm{\Delta }}_n\ne \mathrm{\varnothing }$, sei $z_0\in \bigcap _{n\ge 0}{\mathrm{\Delta }}_n$. Da $f$ in $z_0$ holomorph ist, gibt es in einer Umgebung $V$ von $z_0$ eine stetige Funktion $A:V\to ℂ$ mit $A(z_0)=0$ und

$f(z)=f(z_0)+(z-z_0)f^{\prime }(z_0)+A(z)(z-z_0),z\in V$

Da $z\mapsto f(z_0)+(z-z_0)f^{\prime }(z_0)$ eine Stammfunktion hat, folgt für die $n\ge 0$ mit ${\mathrm{\Delta }}_n\subseteq V$, dass

$\underset{\partial {\mathrm{\Delta }}_n}{\int }f(z)dz=\underset{\partial {\mathrm{\Delta }}_n}{\int }f(z_0)+(z-z_0)f^{\prime }(z_0)+A(z)(z-z_0)dz=\underset{\partial {\mathrm{\Delta }}_n}{\int }A(z)(z-z_0)dz.$

Damit erhalten wir wegen der Stetigkeit von $A$ und $A(z_0)=0$, dass

$\begin{array}{cc}|\underset{\partial D}{\int }f(z)dz|& \le 4^n|\underset{\partial {\mathrm{\Delta }}_n}{\int }f(z)dz|\\ & =4^n|\underset{\partial {\mathrm{\Delta }}_n}{\int }A(z)(z-z_0)dz|\\ & \le 4^n\cdot ℒ(\partial {\mathrm{\Delta }}_n)\underset{z\in \partial {\mathrm{\Delta }}_n}{\max }|z-z_0||A(z)|\\ & \le 4^n\cdot ℒ(\partial {\mathrm{\Delta }}_n{)}^2\underset{z\in \partial {\mathrm{\Delta }}_n}{\max }|A(z)|\\ & =ℒ(\partial D)\underset{z\in \partial {\mathrm{\Delta }}_n}{\max }|A(z)|\\ & \to ℒ(\partial D)|A(z_0)|=0,n\to \mathrm{\infty }.\end{array}$

Notation im Beweis

• ${\mathrm{\Delta }}_n$ ist das $n$-te ähnliche Teildreieck zum Ausgangsdreieck mit den um den Faktor $\frac{1}{2^n}$ verkürzten Seitenlänge.
• $\partial {\mathrm{\Delta }}_n$ ist der Integrationsweg über den Rand $n$-te ähnlichen Teildreiecks mit einem Umfang $ℒ(\partial {\mathrm{\Delta }}_n)=\frac{1}{2^n}\cdot ℒ(\partial {\mathrm{\Delta }}_0)$.

Siehe auch

• Lemma von Goursat mit Details
• rektifizierbare Kurve bzw. Länge einer Kurve