Cauchyscher Integralsatz

Der cauchysche Integralsatz (nach Augustin Louis Cauchy) ist einer der wichtigsten Sätze der Funktionentheorie. Er handelt von Kurvenintegralen für holomorphe (auf einer offenen Menge komplex-differenzierbare) Funktionen. Im Kern besagt er, dass zwei dieselben Punkte verbindende Wege das gleiche Wegintegral besitzen, falls die Funktion überall zwischen den zwei Wegen holomorph ist. Der Satz gewinnt seine Bedeutung unter anderem daraus, dass man ihn zum Beweis der cauchyschen Integralformel und des Residuensatzes benutzt.

Die erste Formulierung des Satzes stammt von 1814, als Cauchy ihn für rechteckige Gebiete bewies. Dies verallgemeinerte er in den nächsten Jahren, allerdings setzte er dabei den jordanschen Kurvensatz als selbstverständlich voraus. Moderne Beweise kommen durch das Lemma von Goursat ohne diese tiefgreifende Aussage aus der Topologie aus.

Der Satz

Der Integralsatz wurde in zahlreichen Versionen formuliert.

Cauchyscher Integralsatz für Elementargebiete

Sei Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle D\subseteq \mathbb {C} } ein Elementargebiet, also ein Gebiet, auf dem jede holomorphe Funktion Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f\colon D\to \mathbb {C} } eine Stammfunktion besitzt. Sterngebiete sind beispielsweise Elementargebiete. Der cauchysche Integralsatz besagt nun, dass

$\oint \limits _{\gamma }f(z)\,\mathrm {d} z=0$

für jede geschlossene Kurve $\gamma \colon [a,b]\to D$ (wobei $a,b\in \mathbb {R}$ und $a<b$). Für das Integralzeichen mit Kreis siehe Notation für Kurvenintegrale von geschlossenen Kurven.

Ist $D$ kein Elementargebiet, so ist die Aussage falsch. Zum Beispiel ist $f\colon z\mapsto {\tfrac {1}{z}}$ auf dem Gebiet $\mathbb {C} \setminus \{0\}$ holomorph, dennoch verschwindet $\textstyle \oint _{\gamma }f(z)\,dz$ nicht über jede geschlossene Kurve. Beispielsweise gilt

$\;\oint \limits _{\partial U_{r}(0)}{\frac {1}{z}}\,\mathrm {d} z=2\pi \mathrm {i} \neq 0$

für die einfach durchlaufene Randkurve einer Kreisscheibe um $0$ mit positivem Radius $r$.

Cauchyscher Integralsatz (Homotopie-Version)

Ist Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle D\subseteq \mathbb {C} } offen und sind $\alpha ,\beta \colon [0,1]\to D$ zwei zueinander homotope Kurven in $D$, dann ist

$\int \limits _{\alpha }f(z)\,dz=\int \limits _{\beta }f(z)\,dz$

für jede holomorphe Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon D\to\mathbb C} .

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} ein einfach zusammenhängendes Gebiet, dann verschwindet das Integral nach der Homotopie-Version für jede geschlossene Kurve, d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} ist ein Elementargebiet.

Bei erneuter Betrachtung des obigen Beispiels bemerkt man, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C\setminus\{0\}} nicht einfach zusammenhängend ist.

Cauchyscher Integralsatz (Homologie-Version)

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D\subseteq\mathbb C} ein Gebiet und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma} ein Zyklus in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} , dann verschwindet

$\int \limits _{\Gamma }f(z)\,dz$

genau dann für jede holomorphe Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon D\to\mathbb C} , wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma} nullhomolog in $D$ ist.

Isolierte Singularitäten

Windungszahl des Integrationsweges

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D\subseteq\mathbb C} ein Gebiet, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\in D} ein innerer Punkt und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon D\setminus\{a\}\to\mathbb{C}} holomorph. Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U:=U_r(a)\setminus\{a\}\subset D} eine punktierte Umgebung, auf der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} holomorph ist. Sei ferner Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} eine vollständig in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} verlaufende geschlossene Kurve, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} genau einmal positiv orientiert umläuft, d. h. für die Umlaufzahl gilt $\operatorname {ind} _{\gamma }(a)=1$ (insbesondere liegt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} nicht auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} ). Mit dem Integralsatz gilt nun

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \oint\limits_\gamma f(z)\, dz = \oint\limits_{\partial U} f(z)\, dz.}

Durch Verallgemeinerung auf beliebige Umlaufzahlen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} erhält man

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \oint\limits_\gamma f(z)\, dz=\operatorname{ind}_{\gamma}(a) \oint\limits_{\partial U}f(z)\, dz.}

Mithilfe der Definition des Residuums ergibt sich sogar

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\frac {1}{2\pi \mathrm {i} }}\oint _{\gamma }f(z)\,dz=\operatorname {ind} _{\gamma }(a)\operatorname {Res} _{a}f(z).}

Der Residuensatz ist eine Verallgemeinerung dieser Vorgehensweise auf mehrere isolierte Singularitäten und auf Zyklen.

Beispiel

Es wird im Folgenden das Integral Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \;\oint\limits_{\partial U(a)}\frac{1}{(z-a)^n}\mathrm{d}z} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n\in\mathbb{Z}} bestimmt. Wähle als Integrationsweg Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial U(a)=\partial U_{r}(a)} einen Kreis mit Radius Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} , also

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z=\gamma(t)=a+re^{2\pi\mathrm{i}t}\quad\Rightarrow\quad\mathrm{d}z=\frac{\partial\gamma}{\partial t}\mathrm{d}t=2\pi ire^{2\pi\mathrm{i}t}\mathrm{d}t}

Ergibt eingesetzt:

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\begin{aligned}\;\oint \limits _{\partial U_{r}(a)}{\frac {1}{(z-a)^{n}}}\mathrm {d} z&=\int \limits _{0}^{1}{\frac {2\pi \mathrm {i} re^{2\pi \mathrm {i} t}}{r^{n}e^{2\pi n\mathrm {i} t}}}\mathrm {d} t=2\pi \mathrm {i} r^{1-n}\int \limits _{0}^{1}e^{2\pi \mathrm {i} t(1-n)}\mathrm {d} t={\begin{cases}2\pi \mathrm {i} [t]_{0}^{1}&{\mbox{für}}\ n=1\\{\frac {r^{1-n}}{1-n}}[e^{2\pi \mathrm {i} t(1-n)}]_{0}^{1}&{\mbox{für}}\ n\neq 1\end{cases}}\\&={\begin{cases}2\pi \mathrm {i} &{\mbox{für}}\ n=1\\0&{\mbox{für}}\ n\neq 1\end{cases}}=2\pi \mathrm {i} \delta _{n,1}\end{aligned}}}

Da man jede Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(z)} , die auf einem Kreisring um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} holomorph ist, in eine Laurent-Reihe entwickeln kann, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(z)=\sum_{n=-\infty}^{\infty}c_{n}(z-a)^{n}} , ergibt sich bei der Integration um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} :

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \;\oint\limits_{\partial U(a)}f(z)\mathrm{d}z=\oint\limits_{\partial U(a)}\sum_{n=-\infty}^{\infty}c_{n}(z-a)^{n}\mathrm{d}z=\sum_{n=-\infty}^{\infty}c_{n}\oint\limits_{\partial U(a)}(z-a)^{n}\mathrm{d}z }

Nun lässt sich obiges Ergebnis anwenden: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \;\oint\limits_{\partial U_{r}(a)}(z-a)^{n}\mathrm{d}z=2\pi\mathrm{i}\delta_{n,-1}}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \;\oint\limits_{\partial U(a)}f(z)\mathrm{d}z=\sum_{n=-\infty}^{\infty}c_{n}2\pi\mathrm{i}\delta_{n,-1}=2\pi\mathrm{i}\,c_{-1}=2\pi\mathrm{i}\,\text{Res}_{a}(f) } ,

wobei der Entwicklungskoeffizient Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c_{-1}} Residuum genannt wurde.

Herleitung

Folgende Herleitung, die allerdings die stetige komplexe Differenzierbarkeit voraussetzt, führt das komplexe Integral auf reelle zweidimensionale Integrale zurück.

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z=x+iy\in\mathbb{C}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x,y\in\mathbb{R}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(z)=f(x,y)=u(x,y)+iv(x,y)\in\mathbb{C}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u,v\in\mathbb{R}} . Dann gilt für das Integral entlang der Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma(z)} in der komplexen Ebene, bzw. für das äquivalente Linienintegral entlang der Kurve

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C(x,y)=\begin{pmatrix}\Re(\gamma(z))\\ \Im(\gamma(z))\end{pmatrix}=\begin{pmatrix}\Re(\gamma(x,y))\\ \Im(\gamma(x,y))\end{pmatrix}}

in der reellen Ebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R}^{2}}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \underset{\gamma\subset\mathbb{C}}{\int}f(z)\, dz & =\underset{C\subset\mathbb{R}^{2}}{\int}f(x,y)\,(dx+idy)=\underset{C\subset\mathbb{R}^{2}}{\int}\begin{pmatrix}f(x,y)\\ if(x,y)\end{pmatrix}\cdot\begin{pmatrix}dx\\ dy\end{pmatrix}\\ & =\underset{C\subset\mathbb{R}^{2}}{\int}\begin{pmatrix}u(x,y)\\ -v(x,y)\end{pmatrix}\cdot\begin{pmatrix}dx\\ dy\end{pmatrix}+i\underset{C\subset\mathbb{R}^{2}}{\int}\begin{pmatrix}v(x,y)\\ u(x,y)\end{pmatrix}\cdot\begin{pmatrix}dx\\ dy\end{pmatrix} \end{align}}

Damit wurde das komplexe Kurvenintegral durch zwei reelle Kurvenintegrale ausgedrückt.

Für eine geschlossene Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C=\partial S} , die ein einfach zusammenhängendes Gebiet S berandet, lässt sich der Satz von Gauß (hier wird die Stetigkeit der partiellen Ableitungen verwendet) anwenden

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \underset{\gamma\subset\mathbb{C}}{\oint}f(z)\, dz & =\underset{S\subset\mathbb{R}^{2}}{\int}\begin{pmatrix}\partial_{x}\\ \partial_{y}\end{pmatrix}\cdot\begin{pmatrix}u\\ -v\end{pmatrix}dxdy+i\underset{S\subset\mathbb{R}^{2}}{\int}\begin{pmatrix}\partial_{x}\\ \partial_{y}\end{pmatrix}\cdot\begin{pmatrix}v\\ u\end{pmatrix}dxdy\\ & =\underset{S\subset\mathbb{R}^{2}}{\int}\left\{ \partial_{x}u-\partial_{y}v\right\} dxdy+i\underset{S\subset\mathbb{R}^{2}}{\int}\left\{ \partial_{x}v+\partial_{y}u\right\} dxdy \end{align}}

bzw. alternativ der Satz von Stokes

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \underset{\gamma\subset\mathbb{C}}{\oint}f(z)\, dz & =\underset{S\subset\mathbb{R}^{2}}{\int}\left[\begin{pmatrix}\partial_{x}\\ \partial_{y}\\ 0\end{pmatrix}\times\begin{pmatrix}u\\ -v\\ 0\end{pmatrix}\right]_{3}dxdy+i\underset{S\subset\mathbb{R}^{2}}{\int}\left[\begin{pmatrix}\partial_{x}\\ \partial_{y}\\ 0\end{pmatrix}\times\begin{pmatrix}v\\ u\\ 0\end{pmatrix}\right]_{3}dxdy\\ & =\underset{S\subset\mathbb{R}^{2}}{\int}\left\{ -\partial_{x}v-\partial_{y}u\right\} dxdy+i\underset{S\subset\mathbb{R}^{2}}{\int}\left\{ \partial_{x}u-\partial_{y}v\right\} dxdy \end{align}}

Ist die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(z)} in S komplex differenzierbar, müssen dort die Cauchy-Riemannschen Differentialgleichungen

$\partial _{x}u=\partial _{y}v$   und   Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \partial _{x}v=-\partial _{y}u}

gelten, sodass die obigen Integranden (egal ob in der Gauß- oder Stokes-Version) verschwinden:

${\underset {\gamma }{\oint }}f(z)\,dz=0$

Somit ist der cauchysche Integralsatz für holomorphe Funktionen auf einfach zusammenhängenden Gebieten bewiesen.

Cauchyscher Integralsatz mit Wirtinger-Kalkül und Satz von Stokes

Der cauchysche Integralsatz ergibt sich als leichte Folgerung aus dem Satz von Stokes, wenn man den Wirtinger-Kalkül zum Einsatz bringt. Dabei wird zum Beweis des Integralsatzes die Berechnung des Kurvenintegrals verstanden als Integration der komplexwertigen Differentialform

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \omega =f(z)dz}

über die geschlossene Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C } , die das einfach zusammenhängende und von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C=\partial S} berandete Gebiet Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} umläuft.

Der Wirtinger-Kalkül besagt nun, dass das Differential $df$ die Darstellung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle df = \frac {\partial f}{\partial z} dz + \frac {\partial f}{\partial \bar {z}} {d\bar z} }

hat, woraus unmittelbar

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d{\omega} = df \wedge dz = { \frac {\partial f}{\partial z} dz } \wedge dz + { \frac {\partial f}{\partial \bar {z}} {d\bar z} } \wedge dz }

folgt.

Nun ist zunächst grundsätzlich

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle dz \wedge dz = 0 }

Weiterhin bedeutet die vorausgesetzte Holomorphiebedingung für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f } nach dem Wirtinger-Kalkül nichts weiter als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac {\partial f}{\partial \bar {z}} = 0 }  ,

was unmittelbar

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle { \frac {\partial f}{\partial \bar {z}} {d\bar z} } \wedge dz = 0 }

nach sich zieht.

Insgesamt ergibt sich also:

$d{\omega }=0$

und damit schließlich mittels Satz von Stokes:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int\limits_{C} f(z) dz = \int\limits_{\partial S} \omega = \int\limits_S \mathrm{d} \omega = \int\limits_S \mathrm{0} = 0 }

Anmerkung

Es lässt sich mit Hilfe des Integrallemmas von Goursat zeigen, dass sich aus der komplexen Differenzierbarkeit allein – also ohne die zusätzliche Annahme der Stetigkeit der Ableitungen! – bereits der cauchysche Integralsatz und dann auch die Existenz aller höheren Ableitungen ergibt. Dieser Zugang zum cauchyschen Integralsatz umgeht den Satz von Stokes und ist unter didaktischen Gesichtspunkten vorzuziehen.

Folgerungen

Der Cauchysche Integralsatz ermöglicht unmittelbar Beweise des Fundamentalsatzes der Algebra, welcher besagt, dass jedes komplexe Polynom über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex} in Linearfaktoren zerfällt, d. h., dass der Körper der komplexen Zahlen algebraisch abgeschlossen ist.

Literatur

• Kurt Endl, Wolfgang Luh: Analysis. Band 3: Funktionentheorie, Differentialgleichungen. 6. überarbeitete Auflage. Aula-Verlag, Wiesbaden 1987, ISBN 3-89104-456-9, S. 143, Satz 4.7.3
• Wolfgang Fischer, Ingo Lieb: Funktionentheorie. 7. verbesserte Auflage. Vieweg, Braunschweig u. a. 1994, ISBN 3-528-67247-1, S. 57, Kapitel 3, Satz 1.4 (Vieweg-Studium. Aufbaukurs Mathematik 47).
• Günter Bärwolff: Höhere Mathematik für Naturwissenschaftler und Ingenieure. 2. Auflage, 1. korrigierter Nachdruck. Spektrum Akademischer Verlag, München u. a. 2009, ISBN 978-3-8274-1688-9.
• Klaus Jänich: Einführung in die Funktionentheorie. 2. Auflage. Springer-Verlag, Berlin (u. a.) 1980, ISBN 3-540-10032-6.