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.
Sei
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma \colon [a,b]\to \mathbb {C} }
eine rektifizierbare Kurve,
f
:
s
p
u
r
(
γ
)
→
C
{\displaystyle f\colon \mathrm {spur} (\gamma )\to \mathbb {C} }
eine Abbildung.
f
{\displaystyle f}
heißt über
γ
{\displaystyle \gamma }
integrierbar , wenn es eine Zahl
I
∈
C
{\displaystyle I\in \mathbb {C} }
gibt, so dass zu jedem
ϵ
>
0
{\displaystyle \epsilon >0}
ein
δ
>
0
{\displaystyle \delta >0}
existiert, so dass für jede Zerlegung
a
=
t
0
<
…
<
t
n
=
b
{\displaystyle a=t_{0}<\ldots <t_{n}=b}
des Intervalls
[
a
,
b
]
{\displaystyle [a,b]}
mit
t
i
−
t
i
−
1
<
δ
{\displaystyle t_{i}-t_{i-1}<\delta }
für alle
1
≤
i
≤
n
{\displaystyle 1\leq i\leq n}
|
I
−
∑
i
=
1
n
f
(
γ
(
t
i
)
)
(
γ
(
t
i
)
−
γ
(
t
i
−
1
)
)
|
<
ϵ
{\displaystyle \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
{\displaystyle I}
heißt Integral von
f
{\displaystyle f}
über
γ
{\displaystyle \gamma }
und wird mit
∫
γ
f
(
z
)
d
z
:=
I
{\displaystyle \int _{\gamma }f(z)\,dz:=I}
bezeichnet.
Ist
Γ
=
∑
i
=
1
n
n
i
γ
i
{\displaystyle \Gamma =\sum _{i=1}^{n}n_{i}\gamma _{i}}
eine Kette in
C
{\displaystyle \mathbb {C} }
, so heißt eine Funktion
f
:
s
p
u
r
(
Γ
)
→
C
{\displaystyle f\colon \mathrm {spur} (\Gamma )\to \mathbb {C} }
über
Γ
{\displaystyle \Gamma }
integrierbar, wenn sie über jedes
γ
i
{\displaystyle \gamma _{i}}
integrierbar ist und wir setzen
∫
Γ
f
(
z
)
d
z
:=
∑
i
=
1
n
∫
γ
i
f
(
z
)
d
z
{\displaystyle \int _{\Gamma }f(z)\,dz:=\sum _{i=1}^{n}\int _{\gamma _{i}}f(z)\,dz}
Ist
γ
{\displaystyle \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
∫
γ
f
(
z
)
d
z
=
∫
a
b
f
(
γ
(
t
)
)
γ
′
(
t
)
d
t
{\displaystyle \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.
Wir modifizieren unser erstes Beispiel etwas und betrachten die Kurve
γ
:
[
0
,
1
]
→
C
{\displaystyle \gamma \colon [0,1]\to \mathbb {C} }
,
γ
(
t
)
:=
exp
(
2
π
i
t
)
{\displaystyle \gamma (t):=\exp(2\pi it)}
, und die Funktion
f
(
z
)
=
z
n
{\displaystyle f(z)=z^{n}}
für
n
≠
−
1
{\displaystyle n\neq -1}
. Da die Kurve differenzierbar ist, erhalten wir
∫
γ
f
(
z
)
d
z
=
∫
γ
z
n
d
z
=
∫
0
1
exp
(
2
π
i
t
)
n
⋅
2
π
i
⋅
exp
(
2
π
i
t
)
d
t
=
∫
0
1
2
π
i
exp
(
2
π
i
(
n
+
1
)
t
)
d
t
=
1
n
+
1
exp
(
2
π
i
(
n
+
1
)
t
)
|
0
1
=
0
{\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
∫
γ
z
n
d
z
=
2
π
i
δ
n
,
−
1
{\displaystyle \int _{\gamma }z^{n}\,dz=2\pi i\delta _{n,-1}}
Diese Tatsache spielt eine wichtige Rolle bei der Definition des Residuums .
Unabhängigkeit von der Parametrisierung
Bearbeiten
Es sei
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma \colon [a,b]\to \mathbb {C} }
ein stückweiser
C
1
{\displaystyle C^{1}}
-Weg,
ϕ
:
[
α
,
β
]
→
[
a
,
b
]
{\displaystyle \phi \colon [\alpha ,\beta ]\to [a,b]}
ein orientierungserhaltender
C
1
{\displaystyle C^{1}}
-Diffeomorphismus. Dann ist
γ
∘
ϕ
:
[
α
,
β
]
→
C
{\displaystyle \gamma \circ \phi \colon [\alpha ,\beta ]\to \mathbb {C} }
ein stückweiser
C
1
{\displaystyle C^{1}}
-Weg und es gilt
∫
γ
f
(
z
)
d
z
=
∫
γ
∘
ϕ
f
(
z
)
d
z
{\displaystyle \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.
Es ist
∫
γ
∘
ϕ
f
(
z
)
d
z
=
∫
α
β
f
(
γ
(
ϕ
(
s
)
)
)
(
γ
∘
ϕ
)
′
(
s
)
d
s
=
∫
α
β
f
(
γ
(
ϕ
(
s
)
)
)
γ
′
(
ϕ
(
s
)
)
ϕ
′
(
s
)
d
s
=
∫
ϕ
(
α
)
ϕ
(
β
)
f
(
γ
(
t
)
)
γ
′
(
t
)
d
t
S
u
b
s
t
i
t
u
t
i
o
n
t
=
ϕ
(
s
)
=
∫
a
b
f
(
γ
(
t
)
)
γ
′
(
t
)
d
t
=
∫
γ
f
(
z
)
d
z
{\displaystyle {\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}}}
Da das Integral über in
f
{\displaystyle f}
lineare Summen definiert ist, ist es selbst linear im Integranden, d. h. es gilt
∫
γ
(
α
f
+
β
g
)
(
z
)
d
z
=
α
∫
γ
f
(
z
)
d
z
+
β
∫
γ
g
(
z
)
d
z
{\displaystyle \int _{\gamma }(\alpha f+\beta g)(z)\,dz=\alpha \int _{\gamma }f(z)\,dz+\beta \int _{\gamma }g(z)\,dz}
für rektifizierbares
γ
{\displaystyle \gamma }
,
α
,
β
∈
C
{\displaystyle \alpha ,\beta \in \mathbb {C} }
und integrierbare
f
,
g
:
s
p
u
r
(
γ
)
→
C
{\displaystyle f,g\colon \mathrm {spur} (\gamma )\to \mathbb {C} }
.
Es sei
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma \colon [a,b]\to \mathbb {C} }
ein rektifizierbarer Weg, der umgekehrt durchlaufene Weg
γ
−
:
[
a
,
b
]
→
C
{\displaystyle \gamma ^{-}\colon [a,b]\to \mathbb {C} }
sei definiert durch
γ
−
(
s
)
=
γ
(
a
+
b
−
s
)
{\displaystyle \gamma ^{-}(s)=\gamma (a+b-s)}
. Dann ist für integrierbare
f
:
s
p
u
r
(
γ
)
→
C
{\displaystyle f\colon \mathrm {spur} (\gamma )\to \mathbb {C} }
∫
γ
−
f
(
z
)
d
z
=
−
∫
γ
f
(
z
)
d
z
{\displaystyle \int _{\gamma ^{-}}f(z)\,dz=-\int _{\gamma }f(z)\,dz}
Es ist
∫
γ
−
f
(
z
)
d
z
=
∫
a
b
f
(
γ
−
(
s
)
)
(
γ
−
)
′
(
s
)
d
s
=
∫
a
b
f
(
γ
(
a
+
b
−
s
)
)
γ
′
(
a
+
b
−
s
)
(
−
1
)
d
s
=
∫
b
a
f
(
γ
(
t
)
)
γ
′
(
t
)
d
t
S
u
b
s
t
i
t
u
t
i
o
n
t
=
a
+
b
−
s
=
−
∫
a
b
f
(
γ
(
t
)
)
γ
′
(
t
)
d
t
=
−
∫
γ
f
(
z
)
d
z
{\displaystyle {\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}}}
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.
Es sei
G
⊆
C
{\displaystyle G\subseteq \mathbb {C} }
ein Gebiet,
γ
:
[
a
,
b
]
→
C
{\displaystyle \gamma \colon [a,b]\to \mathbb {C} }
ein rektifizierbarer Weg,
f
:
G
→
C
{\displaystyle f\colon G\to \mathbb {C} }
stetig und
ϵ
>
0
{\displaystyle \epsilon >0}
. Dann gibt es einen Streckenzug
γ
^
:
[
a
,
b
]
→
C
{\displaystyle {\hat {\gamma }}\colon [a,b]\to \mathbb {C} }
mit
γ
(
a
)
=
γ
^
(
a
)
{\displaystyle \gamma (a)={\hat {\gamma }}(a)}
,
γ
(
b
)
=
γ
^
(
b
)
{\displaystyle \gamma (b)={\hat {\gamma }}(b)}
und
|
∫
γ
^
f
(
z
)
d
z
−
∫
γ
f
(
z
)
d
z
|
<
ϵ
{\displaystyle \left|\int _{\hat {\gamma }}f(z)\,dz-\int _{\gamma }f(z)\,dz\right|<\epsilon }
.
Sei zunächst
G
=
B
R
(
z
0
)
{\displaystyle G=B_{R}(z_{0})}
eine Kreisscheibe. Da
s
p
u
r
(
γ
)
{\displaystyle \mathrm {spur} (\gamma )}
kompakt ist, gibt es ein
r
>
0
{\displaystyle r>0}
mit
s
p
u
r
(
γ
)
⊆
B
¯
r
(
z
0
)
⊆
G
{\displaystyle \mathrm {spur} (\gamma )\subseteq {\bar {B}}_{r}(z_{0})\subseteq G}
. Auf
B
¯
r
(
z
0
)
{\displaystyle {\bar {B}}_{r}(z_{0})}
ist
f
{\displaystyle f}
gleichmäßig stetig, also können wir ein
δ
>
0
{\displaystyle \delta >0}
wählen,
so dass
|
f
(
z
)
−
f
(
w
)
|
<
ϵ
{\displaystyle |f(z)-f(w)|<\epsilon }
für
z
,
w
∈
B
r
(
z
0
)
{\displaystyle z,w\in B_{r}(z_{0})}
mit
|
z
−
w
|
<
δ
{\displaystyle |z-w|<\delta }
gilt. Wähle nun nach Definition des Integrals eine Unterteilung
a
=
t
0
<
…
<
t
n
=
b
{\displaystyle a=t_{0}<\ldots <t_{n}=b}
von
[
a
,
b
]
{\displaystyle [a,b]}
, so dass
|
γ
(
s
)
−
γ
(
t
)
|
<
δ
{\displaystyle |\gamma (s)-\gamma (t)|<\delta }
für
s
,
t
∈
[
t
i
−
1
,
t
i
]
{\displaystyle s,t\in [t_{i-1},t_{i}]}
und
|
∫
γ
f
(
z
)
d
z
−
∑
i
=
1
n
f
(
γ
(
t
i
)
)
(
γ
(
t
i
)
−
γ
(
t
i
−
1
)
)
|
<
ϵ
{\displaystyle \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
γ
^
{\displaystyle {\hat {\gamma }}}
durch
γ
^
(
t
)
:=
1
t
i
−
t
i
−
1
(
γ
(
t
i
−
1
)
(
t
i
−
t
)
+
γ
(
t
i
)
(
t
−
t
i
−
1
)
)
,
t
∈
[
t
i
−
1
,
t
i
]
{\displaystyle {\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
γ
^
{\displaystyle {\hat {\gamma }}}
der Streckenzug, der die Punkte
γ
(
t
i
)
{\displaystyle \gamma (t_{i})}
durch Strecken verbindet. Insbesondere verläuft
γ
^
{\displaystyle {\hat {\gamma }}}
in
B
r
(
z
0
)
{\displaystyle B_{r}(z_{0})}
. Nach Konstruktion ist weiterhin
|
γ
^
(
t
)
−
γ
(
t
i
)
|
<
δ
{\displaystyle |{\hat {\gamma }}(t)-\gamma (t_{i})|<\delta }
für
t
∈
[
t
i
−
1
,
t
i
]
{\displaystyle t\in [t_{i-1},t_{i}]}
. Es folgt
|
∫
γ
f
(
z
)
d
z
−
∫
γ
^
f
(
z
)
d
z
|
=
|
∫
γ
f
(
z
)
d
z
−
∫
a
b
f
(
γ
^
(
t
)
)
γ
^
′
(
t
)
d
t
|
≤
ϵ
+
|
∑
i
=
1
n
f
(
γ
(
t
i
)
)
(
γ
(
t
i
)
−
γ
(
t
i
−
1
)
)
−
∑
i
=
1
n
γ
(
t
i
)
−
γ
(
t
i
−
1
)
t
i
−
t
i
−
1
∫
t
i
−
1
t
i
f
(
γ
^
(
t
)
)
d
t
|
≤
ϵ
+
∑
i
=
1
n
|
γ
(
t
i
)
−
γ
(
t
i
−
1
)
|
1
t
i
−
t
i
−
1
∫
t
i
−
1
t
i
|
f
(
γ
^
(
t
)
)
−
f
(
γ
(
t
i
)
)
|
≤
ϵ
+
∑
i
=
1
n
|
γ
(
t
i
)
−
γ
(
t
i
−
1
)
|
1
t
i
−
t
i
−
1
∫
t
i
−
1
t
i
ϵ
=
ϵ
+
ϵ
L
(
γ
)
{\displaystyle {\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
{\displaystyle G}
keine Kreisscheibe, überdeckenwir - wegen der Kompaktheit von
s
p
u
r
(
γ
)
{\displaystyle \mathrm {spur} (\gamma )}
ist das möglich -
s
p
u
r
(
γ
)
{\displaystyle \mathrm {spur} (\gamma )}
mit endlich vielen Kreisscheiben, die in
G
{\displaystyle G}
liegen, und wenden auf jeden Teilweg die obige Konstruktion an. Damit folgt die Behauptung auch im allgemeinen Fall.