Zum Inhalt springen

Integrale längs Kreisrand/Reihen/Cauchy/Textabschnitt

Aus Wikiversity

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 mit Hilfe 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.