Sei
U
⊆
C
{\displaystyle U\subseteq \mathbb {C} }
offen, eine Funktion
u
:
U
→
R
{\displaystyle u\colon U\to \mathbb {R} }
heißt harmonisch , wenn sie zweimal differenzierbar ist und
Δ
u
:=
∂
2
u
∂
x
2
+
∂
2
u
∂
y
2
=
0
{\displaystyle \Delta u:={\frac {\partial ^{2}u}{\partial x^{2}}}+{\frac {\partial ^{2}u}{\partial y^{2}}}=0}
gilt.
Der Realteil einer holomorphen Funktion ist harmonisch, wie aus den Cauchy-Riemann-Differentialgleichungen folgt, interessanterweise gilt auch die Umkehrung, d. h. jede harmonische Funktion ist Realteil einer holomorphen Funktion.
Zusammenhang mit holomorphen Funktionen
Bearbeiten
Sei
U
⊆
C
{\displaystyle U\subseteq \mathbb {C} }
einfach zusammenhängend. Für
u
∈
C
2
(
U
,
R
)
{\displaystyle u\in C^{2}(U,\mathbb {R} )}
sind äquivalent:
Δ
u
=
0
{\displaystyle \Delta u=0}
Es gibt ein
v
∈
C
2
(
U
,
R
)
{\displaystyle v\in C^{2}(U,\mathbb {R} )}
, so dass
u
+
i
v
{\displaystyle u+iv}
holomorph ist.
2.
⟹
{\displaystyle \implies }
1. Nach den Cauchy-Riemann-Differentialgleichungen gilt:
∂
2
u
∂
x
2
+
∂
2
u
∂
y
2
=
∂
∂
x
(
∂
u
∂
x
)
+
∂
∂
y
(
∂
u
∂
y
)
=
∂
∂
x
(
∂
v
∂
y
)
+
∂
∂
y
(
−
∂
v
∂
x
)
=
∂
2
v
∂
x
∂
y
−
∂
2
v
∂
y
∂
x
=
0.
{\displaystyle {\begin{array}{rl}{\frac {\partial ^{2}u}{\partial x^{2}}}+{\frac {\partial ^{2}u}{\partial y^{2}}}&={\frac {\partial }{\partial x}}\left({\frac {\partial u}{\partial x}}\right)+{\frac {\partial }{\partial y}}\left({\frac {\partial u}{\partial y}}\right)\\&={\frac {\partial }{\partial x}}\left({\frac {\partial v}{\partial y}}\right)+{\frac {\partial }{\partial y}}\left(-{\frac {\partial v}{\partial x}}\right)\\&={\frac {\partial ^{2}v}{\partial x\partial y}}-{\frac {\partial ^{2}v}{\partial y\partial x}}\\&=0.\end{array}}}
1.
⟹
{\displaystyle \implies }
2. Betrachte die Funktion
g
:=
∂
u
∂
x
−
i
∂
u
∂
y
{\displaystyle \textstyle g:={\frac {\partial u}{\partial x}}-i{\frac {\partial u}{\partial y}}}
. Nach den Cauchy-Riemann-Differentialgleichungen ist
g
{\displaystyle g}
holomorph . Da
U
{\displaystyle U}
einfach zusammenhängend ist, gibt es eine Stammfunktion
f
:
U
→
C
{\displaystyle f\colon U\to \mathbb {C} }
von
g
{\displaystyle g}
, wir dürfen (durch Addition einer Konstante) annehmen, dass
u
(
z
0
)
=
f
(
z
0
)
{\displaystyle u(z_{0})=f(z_{0})}
für ein
z
0
∈
U
{\displaystyle z_{0}\in U}
gilt. Schreibe
f
=
u
1
+
i
v
1
{\displaystyle f=u_{1}+iv_{1}}
. Es ist
∂
u
1
∂
x
−
i
∂
u
1
∂
y
=
f
′
=
g
=
∂
u
∂
x
−
i
∂
u
∂
y
{\displaystyle {\frac {\partial u_{1}}{\partial x}}-i{\frac {\partial u_{1}}{\partial y}}=f'=g={\frac {\partial u}{\partial x}}-i{\frac {\partial u}{\partial y}}}
also ist
u
1
−
u
{\displaystyle u_{1}-u}
konstant. Wegen
u
1
(
z
0
)
=
f
(
z
0
)
=
u
(
z
0
)
{\displaystyle u_{1}(z_{0})=f(z_{0})=u(z_{0})}
ist
u
1
=
u
{\displaystyle u_{1}=u}
und
v
:=
v
1
{\displaystyle v:=v_{1}}
leistet das Gewünschte.