Es sei
V
{\displaystyle {}V}
ein
endlichdimensionaler
reeller Vektorraum ,
I
⊆
R
{\displaystyle {}I\subseteq \mathbb {R} }
ein
reelles Intervall ,
U
⊆
V
{\displaystyle {}U\subseteq V}
eine
offene Menge
und
f
:
I
×
U
⟶
V
,
(
t
,
v
)
⟼
f
(
t
,
v
)
,
{\displaystyle f\colon I\times U\longrightarrow V,\,(t,v)\longmapsto f(t,v),}
ein
Vektorfeld
auf
U
{\displaystyle {}U}
. Man sagt, dass das Vektorfeld
f
{\displaystyle {}f}
einer Lipschitz-Bedingung genügt, wenn es eine
reelle Zahl
L
≥
0
{\displaystyle {}L\geq 0}
mit
‖
f
(
t
,
u
)
−
f
(
t
,
v
)
‖
≤
L
⋅
‖
u
−
v
‖
{\displaystyle {}\Vert {f(t,u)-f(t,v)}\Vert \leq L\cdot \Vert {u-v}\Vert \,}
für alle
t
∈
I
{\displaystyle {}t\in I}
und
u
,
v
∈
U
{\displaystyle {}u,v\in U}
gibt.
Die reelle Zahl
L
{\displaystyle {}L}
nennt man auch eine Lipschitz-Konstante für das Vektorfeld
f
{\displaystyle {}f}
.
Es sei
V
{\displaystyle {}V}
ein
endlichdimensionaler
reeller Vektorraum ,
I
⊆
R
{\displaystyle {}I\subseteq \mathbb {R} }
ein
reelles Intervall ,
U
⊆
V
{\displaystyle {}U\subseteq V}
eine
offene Menge
und
f
:
I
×
U
⟶
V
,
(
t
,
v
)
⟼
f
(
t
,
v
)
,
{\displaystyle f\colon I\times U\longrightarrow V,\,(t,v)\longmapsto f(t,v),}
ein
Vektorfeld
auf
U
{\displaystyle {}U}
. Man sagt, dass das Vektorfeld
f
{\displaystyle {}f}
lokal einer Lipschitz-Bedingung genügt, wenn es zu jedem Punkt
(
t
,
v
)
∈
I
×
U
{\displaystyle {}(t,v)\in I\times U}
eine offene Umgebung
(
t
,
v
)
∈
I
′
×
U
′
⊆
I
×
U
{\displaystyle {}(t,v)\in I'\times U'\subseteq I\times U\,}
derart gibt, dass das auf
I
′
×
U
′
{\displaystyle {}I'\times U'}
eingeschränkte Vektorfeld einer
Lipschitz-Bedingung
genügt.
Die folgende Aussage liefert ein wichtiges und leicht überprüfbares hinreichendes Kriterium, wann ein Vektorfeld lokal einer Lipschitz-Bedingung genügt.
Es sei
I
⊆
R
{\displaystyle {}I\subseteq \mathbb {R} }
ein
reelles
offenes Intervall ,
U
⊆
R
n
{\displaystyle {}U\subseteq \mathbb {R} ^{n}}
eine
offene Menge
und
f
:
I
×
U
⟶
R
n
,
(
t
,
v
1
,
…
,
v
n
)
⟼
f
(
t
,
v
1
,
…
,
v
n
)
,
{\displaystyle f\colon I\times U\longrightarrow \mathbb {R} ^{n},\,(t,v_{1},\ldots ,v_{n})\longmapsto f(t,v_{1},\ldots ,v_{n}),}
ein
Vektorfeld
auf
U
{\displaystyle {}U}
derart, dass die
partiellen Ableitungen
nach
v
j
{\displaystyle {}v_{j}}
existieren und
stetig
sind.
Dann genügt
f
{\displaystyle {}f}
lokal einer Lipschitz-Bedingung .
Sei
P
=
(
t
,
v
)
=
(
t
,
v
1
,
…
,
v
n
)
{\displaystyle {}P=(t,v)=(t,v_{1},\ldots ,v_{n})}
ein Punkt in
I
×
U
{\displaystyle {}I\times U}
und sei
U
(
t
,
ϵ
)
×
U
(
v
,
ϵ
)
{\displaystyle U{\left(t,\epsilon \right)}\times U{\left(v,\epsilon \right)}}
eine offene Umgebung von
P
{\displaystyle {}P}
innerhalb von
I
×
U
{\displaystyle {}I\times U}
derart, dass auch
B
=
B
(
t
,
ϵ
)
×
B
(
v
,
ϵ
)
⊆
I
×
U
{\displaystyle {}B=B\left(t,\epsilon \right)\times B\left(v,\epsilon \right)\subseteq I\times U\,}
ist. Dieses
B
{\displaystyle {}B}
ist eine
abgeschlossene Umgebung
von
P
{\displaystyle {}P}
und daher
kompakt .
Da die partiellen Ableitungen
∂
f
i
∂
v
j
{\displaystyle {}{\frac {\partial f_{i}}{\partial v_{j}}}}
nach Voraussetzung
stetig
sind, gibt es nach
Fakt
eine gemeinsame Schranke
c
∈
R
{\displaystyle {}c\in \mathbb {R} }
mit
‖
∂
f
i
∂
v
j
(
Q
)
‖
≤
c
{\displaystyle {}\Vert {{\frac {\partial f_{i}}{\partial v_{j}}}(Q)}\Vert \leq c\,}
für alle
Q
∈
B
{\displaystyle {}Q\in B}
.
Daher gibt es für die Matrizen
(
∂
f
i
∂
v
j
(
Q
)
)
1
≤
i
,
j
≤
n
{\displaystyle {}{\left({\frac {\partial f_{i}}{\partial v_{j}}}(Q)\right)}_{1\leq i,j\leq n}}
eine Schranke
L
{\displaystyle {}L}
mit
‖
(
∂
f
i
∂
v
j
(
Q
)
)
1
≤
i
,
j
≤
n
‖
≤
L
.
{\displaystyle {}\Vert {{\left({\frac {\partial f_{i}}{\partial v_{j}}}(Q)\right)}_{1\leq i,j\leq n}}\Vert \leq L\,.}
Man kann daher zu jedem festen Zeitpunkt
s
∈
U
(
t
,
ϵ
)
{\displaystyle {}s\in U{\left(t,\epsilon \right)}}
Fakt
anwenden und erhält für
u
,
u
′
∈
U
(
v
,
ϵ
)
{\displaystyle {}u,u'\in U{\left(v,\epsilon \right)}}
die Abschätzung
‖
f
(
s
,
u
)
−
f
(
s
,
u
′
)
‖
≤
L
⋅
‖
u
−
u
′
‖
.
{\displaystyle {}\Vert {f(s,u)-f(s,u')}\Vert \leq L\cdot \Vert {u-u'}\Vert \,.}
◻
{\displaystyle \Box }