Integrale längs Kreisrand/Reihen/Cauchy/Textabschnitt
Wir möchten zeigen, dass eine komplex differnzierbare Funktion in jedem Punkt durch eine Potenzreihe darstellbar ist. Dazu werden wir die Integralformel von Cauchy dahingehend verallgemeinern, dass nicht nur der Wert von in durch ein den Punkt umlaufendes Wegintegral zu einer geeigneten Differentialform festgelegt ist, sondern auch die übrigen Koeffizienten in der Potenzreihe. Dies ergibt sich mithilfe der geometrischen Reihe.
Für besitzt die geometrische Reihe das Konvergenzverhalten
Wir schreiben die Integralformel von Cauchy als
um zu betonen, dass wir an der Abhängigkeit von von interessiert sind. Den Integranden schreiben wir als
Da in der Integralformel vorausgesetzt wird, dass im Innern des Kreises liegt und auf dem Rand, ist und daher kann man auf den zweiten Faktor des Integranden die Formel der geometrischen Reihe, also
anwenden, bzw.
Satz
Es sei offen, eine komplex differenzierbare Funktion und ein Punkt.
Dann wird in einer Umgebung von durch die Potenzreihe beschrieben, wobei die Koeffizienten durch
gegeben sind, und einen einfachen Umlaufweg um innerhalb von bezeichnet.
Beweis
Zur Notationsvereinfachung sei . Nach der Integralformel gilt für jedes
mit einem einfachen Umlaufweg
um in . Nach Fakt gilt auch
mit einem Umlaufweg um in , wobei gelten und im Innern dieses Kreises sein muss. Wir schreiben den Integranden als
Hierbei ist auf dem Kreis (bzw. auf dem Intervall) beschränkt und daher konvergiert diese Reihe für festes absolut und (als Funktion in ) gleichmäßig gegen die Grenzfunktion. Nach Fakt (angewendet auf Real- und Imaginärteil), kann man den Grenzwert der Reihe mit dem Integral vertauschen, daher ist
Da dies für jedes im Innern der Kreisscheibe gilt und die Koeffizienten unabhängig von sind, liegt eine beschreibende konvergente Potenzreihe vor.