Kurs:Funktionentheorie/Cauchy Integralsatz für konvexe Gebiete

Einleitung

Der Integralsatz von Cauchy ist eine der zentralen Aussagen der Funktionentheorie. Es gibt ihn in verschiedenen Versionen, von denen wir in diesem Artikel eine grundlegende auf konvexen Gebieten. Als Vorbereitung ist der Cauchy-Integralsatz für Kreisscheiben hilfreich.

Integration in einer nicht-konvexen Menge

Bekannt ist, dass das Integral über bei der Integration über den geschlossenen Weg über den Kreisrand mit Mittelpunkt 0, den Wert liefert. Der Cauchy-Integralsatz für konvexe Gebiete besagt, dass das Integral über geschlossene Weg von holomorphen Funktionen 0 sein muss, wenn das Gebiet konvex ist. Dies ist für nicht der Fall, da 0 innerhalb vom Kreis liegt, aber nicht zum Definitionsbereich von gehört.

Cauchy-Integralsatz für konvexe Gebiete

Es sei ein konvexes Gebiet, ein in geschlossener rektifizierbarer Weg. Dann ist für jede holomorphe Funktion

Beweis

Der Beweis verläuft in den folgenden Schritten:

Beweis 1: Integrationsweg über eine Strecke

Nach Voraussetzung für konvexe Gebiete gilt, dass auf eine Stammfunktion besitzt. Sei dazu fest gewählt. Für jeden Punkt bezeichne die direkte Verbindungsstrecke von und . Formal lässt sich der Weg wie folgt als Konvexkombination definieren:

Dabei gilt .

Beweis 2: Definition der Stammfunktion

Wir definieren durch

.

Für liegt wegen der Konvexität das Dreieck mit den Ecken und allen inneren Punkten ganz in . Dies ist die Voraussetzung für die Anwendung des Lemmas von Goursat.

Beweis 3: Anwendung des Lemma von Goursat

Es folgt nach dem Lemma von Goursat über die Integration über den Rand eines Dreiecks mit den Ecken , dass

Beweis 4: Anwendung des Lemma von Goursat

Damit erhält man mit und die Gleichungskette:

Beweis 5: Darstellung als Differenzenquotient

Durch Äquivalenzumformung "" erhält man die Darstellung als Differenzenquotient.

Beweis 5: Grenzwertprozess

Da eine stetige Funktion in ist, gilt mit Übergang zum Grenzwertprozess :

Beweis 6:

Dann ist stetig. Es folgt, dass in differenzierbar mit

Da beliebig war, folgt und hat eine Stammfunktion, was wir zeigen wollten.

Beweis 7:

Sei nun ein stückweise stetig differenzierbarer, geschlossener Weg. Dann ist

Bemerkung - Wegunabhängigkeit

Sei nun ein beliebiger Integrationweg in . Wir wählen einen zweiten Weg , mit gleichem Anfangs- und Endpunkt. Dann ist der ein geschlossener Weg und damit das Integral . Der Wert des Wegintegrals ist damit für und gleich.

Siehe auch