Zur Differentialgleichung:
Es sei u∈C1(Ω) .
- Falls ∇u = f und u∈C2(Ω) , dann gilt
∂jfi = ∂j∂i u , also
| |
|
|
∂jfi - ∂ifj = 0 für alle i, j,
|
|
|
da ∂j∂i u = ∂i∂j u .
Also ist eq:12 ist eine notwendige Bedingung an die
rechte Seite der Differentialgleichung für ihre Lösbarkeit.
- Mit Differentialformen formuliert ist u als Funktion eine
0 -Form. Daraus ergibt sich die 1 -Form
|
|
du=
| |
∂iu dxi = ω:=
| |
fi dxi ,
|
|
|
mit fi:=∂i u .
Nach
[Analysis III:Äußere Ableitung]
folgt,
falls f∈C1(Ω;Rn) ,
Bedingung eq:12 ist äquivalent zu dω= 0 .
- Falls ∇u = 0 , dann folgt, dass u auf jeder
Zusammenhangskomponente von Ω konstant ist, denn ist
γ : [0,1] → Ω stetig differenzierbar mit
x=γ(0) , y=γ(1) , so folgt aus ∇u=0 , dass
|
|
u(y)-u(x) =
| |
| | u∘γ(s) ds =
| |
∇u(γ(s))•γ'(s) ds = 0 .
|
|
|
|