Kurs:Funktionentheorie/Kurvenintegral

Das komplexe Kurvenintegral ist die Funktionentheoretische Verallgemeinerung des Integrals aus der reellen Analysis. Als Integrationsgebiet tritt eine rektifizierbare Kurve an die Stelle des Intervalls. Integriert wird über komplexwertige anstelle reellwertiger Funktionen.

Definition

Sei $\gamma \colon [a,b]\to \mathbb {C}$ eine rektifizierbare Kurve, $f\colon \mathrm {spur} (\gamma )\to \mathbb {C}$ eine Abbildung. $f$ heißt über $\gamma$ integrierbar, wenn es eine Zahl $I\in \mathbb {C}$ gibt, so dass zu jedem $\epsilon >0$ ein $\delta >0$ existiert, so dass für jede Zerlegung $a=t_{0}<\ldots <t_{n}=b$ des Intervalls $[a,b]$ mit $t_{i}-t_{i-1}<\delta$ für alle $1\leq i\leq n$

$\left|I-\sum _{i=1}^{n}f(\gamma (t_{i})){\big (}\gamma (t_{i})-\gamma (t_{i-1}){\big )}\right|<\epsilon$

gilt.

Die Zahl $I$ heißt Integral von $f$ über $\gamma$ und wird mit $\int _{\gamma }f(z)\,dz:=I$ bezeichnet.

Integration über Ketten

Ist $\Gamma =\sum _{i=1}^{n}n_{i}\gamma _{i}$ eine Kette in $\mathbb {C}$, so heißt eine Funktion $f\colon \mathrm {spur} (\Gamma )\to \mathbb {C}$ über $\Gamma$ integrierbar, wenn sie über jedes $\gamma _{i}$ integrierbar ist und wir setzen

$\int _{\Gamma }f(z)\,dz:=\sum _{i=1}^{n}\int _{\gamma _{i}}f(z)\,dz$

Zusammenhang zur relllen Integration

Ist $\gamma$ sogar stückweise differenzierbar, so kann das Kurvenintegral mithilfe des Mittelwertsatzes auf eine Integral über den Parameterbereich zurückgeführt werden, wir haben in diesem Fall

$\int _{\gamma }f(z)\,dz=\int _{a}^{b}f(\gamma (t))\gamma '(t)\,dt$

wobei eine komplexwertige Funktion über ein reelles Interval integriert wird, in dem Real- und Imaginärteil getrennt voneinander berechnet werden.

Beispiel 1

Wir betrachten die Kurve $\gamma \colon [0,1]\to \mathbb {C}$, $\gamma (t):=\exp(2\pi it)$, und die Funktion $f(z)={\frac {1}{z}}$. Da die Kurve differenzierbar ist, erhalten wir

${\textstyle {\begin{array}{rl}\displaystyle \int _{\gamma }f(z)\,dz&=\displaystyle \int _{\gamma }{\frac {1}{z}}\,dz\\&=\displaystyle \int _{0}^{1}{\frac {1}{\exp(2\pi it)}}\cdot 2\pi i\cdot \exp(2\pi it)\,dt\\&=\displaystyle \int _{0}^{1}2\pi i\,dt\\&=2\pi i\end{array}}}$

Beispiel 2

Wir modifizieren unser erstes Beispiel etwas und betrachten die Kurve $\gamma \colon [0,1]\to \mathbb {C}$, $\gamma (t):=\exp(2\pi it)$, und die Funktion $f(z)=z^{n}$ für $n\neq -1$. Da die Kurve differenzierbar ist, erhalten wir

${\textstyle {\begin{array}{rl}\displaystyle \int _{\gamma }f(z)\,dz&=\displaystyle \int _{\gamma }z^{n}\,dz\\&=\displaystyle \int _{0}^{1}\exp(2\pi it)^{n}\cdot 2\pi i\cdot \exp(2\pi it)\,dt\\&=\displaystyle \int _{0}^{1}2\pi i\exp(2\pi i(n+1)t)\,dt\\&=\displaystyle {\frac {1}{n+1}}\exp(2\pi i(n+1)t){\bigg |}_{0}^{1}\\&=0\end{array}}}$

Beide Beispiele zusammen ergeben also

$\int _{\gamma }z^{n}\,dz=2\pi i\delta _{n,-1}$

Diese Tatsache spielt eine wichtige Rolle bei der Definition des Residuums.

Eigenschaften

Unabhängigkeit von der Parametrisierung

Es sei $\gamma \colon [a,b]\to \mathbb {C}$ ein stückweiser $C^{1}$-Weg, $\phi \colon [\alpha ,\beta ]\to [a,b]$ ein orientierungserhaltender $C^{1}$-Diffeomorphismus. Dann ist $\gamma \circ \phi \colon [\alpha ,\beta ]\to \mathbb {C}$ ein stückweiser $C^{1}$-Weg und es gilt

$\int _{\gamma }f(z)\,dz=\int _{\gamma \circ \phi }f(z)\,dz$

d. h. der Wert des Integrals ist von der konkret gewählten Parametrisierung des Weges unabhängig.

Beweis

Es ist

${\begin{array}{rl}\displaystyle \int _{\gamma \circ \phi }f(z)\,dz&=\displaystyle \int _{\alpha }^{\beta }f(\gamma (\phi (s)))(\gamma \circ \phi )'(s)\,ds\\&=\displaystyle \int _{\alpha }^{\beta }f(\gamma (\phi (s)))\gamma '(\phi (s))\phi '(s)\,ds\\&=\displaystyle \int _{\phi (\alpha )}^{\phi (\beta )}f(\gamma (t))\gamma '(t)\,dt\quad {\rm {Substitution}}\ t=\phi (s)\\&=\displaystyle \int _{a}^{b}f(\gamma (t))\gamma '(t)\,dt\\&=\int _{\gamma }f(z)\,dz\end{array}}$

Linearität

Da das Integral über in $f$ lineare Summen definiert ist, ist es selbst linear im Integranden, d. h. es gilt

$\int _{\gamma }(\alpha f+\beta g)(z)\,dz=\alpha \int _{\gamma }f(z)\,dz+\beta \int _{\gamma }g(z)\,dz$

für rektifizierbares $\gamma$, $\alpha ,\beta \in \mathbb {C}$ und integrierbare $f,g\colon \mathrm {spur} (\gamma )\to \mathbb {C}$.

Orientierungsumkehrung

Es sei $\gamma \colon [a,b]\to \mathbb {C}$ ein rektifizierbarer Weg, der umgekehrt durchlaufene Weg $\gamma ^{-}\colon [a,b]\to \mathbb {C}$ sei definiert durch $\gamma ^{-}(s)=\gamma (a+b-s)$. Dann ist für integrierbare $f\colon \mathrm {spur} (\gamma )\to \mathbb {C}$

$\int _{\gamma ^{-}}f(z)\,dz=-\int _{\gamma }f(z)\,dz$

Beweis

Es ist

${\begin{array}{rl}\displaystyle \int _{\gamma ^{-}}f(z)\,dz&=\displaystyle \int _{a}^{b}f(\gamma ^{-}(s))(\gamma ^{-})'(s)\,ds\\&=\displaystyle \int _{a}^{b}f(\gamma (a+b-s))\gamma '(a+b-s)(-1)\,ds\\&=\displaystyle \int _{b}^{a}f(\gamma (t))\gamma '(t)\,dt\quad {\rm {Substitution}}\ t=a+b-s\\&=-\displaystyle \int _{a}^{b}f(\gamma (t))\gamma '(t)\,dt\\&=-\displaystyle \int _{\gamma }f(z)\,dz\end{array}}$

Approximation durch Streckenzüge

Die hier vorgestellte Version des Integrationsweges wirkt sehr allgemein, allerdings sind die meisten in der Praxis auftretenden Integrationswege stückweise stetig differenzierbar. Da sich mit stückweise stetig differenzierbaren Wegen einfacher arbeiten lässt, wollen wir im folgenden noch zeigen, wie sich ein beliebiger Integrationsweg für stetige Integranden durch Streckenzüge approximieren lässt. Dies kann man benutzen, um Aussagen über allgemeine rektifizierbare Wege auf Streckenzüge zurückzuführen.

Aussage

Es sei $G\subseteq \mathbb {C}$ ein Gebiet, $\gamma \colon [a,b]\to \mathbb {C}$ ein rektifizierbarer Weg, $f\colon G\to \mathbb {C}$ stetig und $\epsilon >0$. Dann gibt es einen Streckenzug ${\hat {\gamma }}\colon [a,b]\to \mathbb {C}$ mit $\gamma (a)={\hat {\gamma }}(a)$, $\gamma (b)={\hat {\gamma }}(b)$ und $\left|\int _{\hat {\gamma }}f(z)\,dz-\int _{\gamma }f(z)\,dz\right|<\epsilon$.

Beweis

Sei zunächst $G=B_{R}(z_{0})$ eine Kreisscheibe. Da $\mathrm {spur} (\gamma )$ kompakt ist, gibt es ein $r>0$ mit $\mathrm {spur} (\gamma )\subseteq {\bar {B}}_{r}(z_{0})\subseteq G$. Auf ${\bar {B}}_{r}(z_{0})$ ist $f$ gleichmäßig stetig, also können wir ein $\delta >0$ wählen, so dass $|f(z)-f(w)|<\epsilon$ für $z,w\in B_{r}(z_{0})$ mit $|z-w|<\delta$ gilt. Wähle nun nach Definition des Integrals eine Unterteilung $a=t_{0}<\ldots <t_{n}=b$ von $[a,b]$, so dass $|\gamma (s)-\gamma (t)|<\delta$ für $s,t\in [t_{i-1},t_{i}]$ und

$\left|\int _{\gamma }f(z)\,dz-\sum _{i=1}^{n}f{\big (}\gamma (t_{i}){\big )}{\big (}\gamma (t_{i})-\gamma (t_{i-1}){\big )}\right|<\epsilon$

gilt. Definere ${\hat {\gamma }}$ durch

${\hat {\gamma }}(t):={\frac {1}{t_{i}-t_{i-1}}}{\big (}\gamma (t_{i-1})(t_{i}-t)+\gamma (t_{i})(t-t_{i-1}){\big )},\qquad t\in [t_{i-1},t_{i}]$

Also ist ${\hat {\gamma }}$ der Streckenzug, der die Punkte $\gamma (t_{i})$ durch Strecken verbindet. Insbesondere verläuft ${\hat {\gamma }}$ in $B_{r}(z_{0})$. Nach Konstruktion ist weiterhin $|{\hat {\gamma }}(t)-\gamma (t_{i})|<\delta$ für $t\in [t_{i-1},t_{i}]$. Es folgt

${\begin{array}{rl}\displaystyle \left|\int _{\gamma }f(z)\,dz-\int _{\hat {\gamma }}f(z)\,dz\right|&=\displaystyle \left|\int _{\gamma }f(z)\,dz-\int _{a}^{b}f({\hat {\gamma }}(t)){\hat {\gamma }}'(t)\,dt\right|\\&\leq \displaystyle \epsilon +\left|\sum _{i=1}^{n}f{\big (}\gamma (t_{i}){\big )}{\big (}\gamma (t_{i})-\gamma (t_{i-1}){\big )}-\sum _{i=1}^{n}{\frac {\gamma (t_{i})-\gamma (t_{i-1})}{t_{i}-t_{i-1}}}\int _{t_{i-1}}^{t_{i}}f({\hat {\gamma }}(t))\,dt\right|\\&\leq \displaystyle \epsilon +\sum _{i=1}^{n}|\gamma (t_{i})-\gamma (t_{i-1})|{\frac {1}{t_{i}-t_{i-1}}}\int _{t_{i-1}}^{t_{i}}|f({\hat {\gamma }}(t))-f(\gamma (t_{i}))|\\&\leq \displaystyle \epsilon +\sum _{i=1}^{n}|\gamma (t_{i})-\gamma (t_{i-1})|{\frac {1}{t_{i}-t_{i-1}}}\int _{t_{i-1}}^{t_{i}}\epsilon \\&=\epsilon +\epsilon L(\gamma )\end{array}}$

Damit folgt die Behauptung.

Ist $G$ keine Kreisscheibe, überdeckenwir - wegen der Kompaktheit von $\mathrm {spur} (\gamma )$ ist das möglich - $\mathrm {spur} (\gamma )$ mit endlich vielen Kreisscheiben, die in $G$ liegen, und wenden auf jeden Teilweg die obige Konstruktion an. Damit folgt die Behauptung auch im allgemeinen Fall.

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionentheorie' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionentheorie/Kurvenintegral
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.