Eindeutigkeitssatz bei lokaler Lipschitz-Stetigkeit
Bearbeiten
Es sei
K
∈
{
R
,
C
}
{\displaystyle \mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}}
,
G
⊂
R
×
K
n
{\displaystyle G\subset \mathbb {R} \times \mathbb {K} ^{n}}
,
(
a
,
y
0
)
∈
G
{\displaystyle (a,y_{0})\in G}
und
F
=
F
(
x
,
y
)
:
G
→
K
n
{\displaystyle F=F(x,y):G\rightarrow \mathbb {K} ^{n}}
stetig sowie lokal Lipschitz-stetig bezüglich der zweiten Variablen. Dann besitzt das Anfangswertproblem
y
′
=
F
(
x
,
y
)
,
y
(
a
)
=
y
0
{\displaystyle \ y'=F(x,y),y(a)=y_{0}}
höchstens eine Lösung
y
∈
C
1
(
[
a
,
b
)
;
K
n
)
{\displaystyle y\in C^{1}([a,b);\mathbb {K} ^{n})}
.
Es seien
y
1
,
y
2
:
[
a
,
b
)
→
R
n
{\displaystyle y_{1},y_{2}:[a,b)\rightarrow \mathbb {R} ^{n}}
zwei Lösungen des Anfangswertproblems
y
′
=
F
(
x
,
y
)
,
y
(
a
)
=
y
0
{\displaystyle \ y'=F(x,y),y(a)=y_{0}}
und
β
∈
(
a
,
b
)
{\displaystyle \beta \in (a,b)}
beliebig. Da
K
:=
{
(
x
,
y
)
∈
[
a
,
β
]
×
K
n
|
x
∈
[
a
,
β
]
,
y
∈
{
y
1
(
x
)
,
y
2
(
x
)
}
}
{\displaystyle K:=\{(x,y)\in [a,\beta ]\times \mathbb {K} ^{n}\ |\ x\in [a,\beta ],\ y\in \{y_{1}(x),y_{2}(x)\}\}}
kompakt ist, gibt es ein
L
≥
0
{\displaystyle L\geq 0}
mit
‖
F
(
x
,
y
)
−
F
(
x
,
z
)
‖
≤
L
‖
y
−
z
‖
{\displaystyle \|F(x,y)-F(x,z)\|\leq L\|y-z\|}
für alle
(
x
,
y
)
,
(
x
,
z
)
∈
K
{\displaystyle (x,y),(x,z)\in K}
. Für die Differenz
d
(
x
)
:=
‖
y
1
(
x
)
−
y
2
(
x
)
‖
{\displaystyle d(x):=\|y_{1}(x)-y_{2}(x)\|}
gilt die Integralungleichung
d
(
x
)
=
‖
[
y
1
(
x
)
−
y
1
(
a
)
]
−
[
y
2
(
x
)
−
y
2
(
a
)
]
‖
=
‖
∫
a
x
[
F
(
s
,
y
1
(
s
)
)
−
F
(
s
,
y
2
(
s
)
)
]
d
s
‖
≤
∫
a
x
‖
F
(
s
,
y
1
(
s
)
)
−
F
(
s
,
y
2
(
s
)
)
‖
d
s
≤
L
∫
a
x
‖
y
1
(
s
)
−
y
2
(
s
)
‖
d
s
=
L
∫
a
x
d
(
s
)
d
s
.
{\displaystyle {\begin{array}{lll}d(x)&=&\|[y_{1}(x)-y_{1}(a)]-[y_{2}(x)-y_{2}(a)]\|=\|\int _{a}^{x}[F(s,y_{1}(s))-F(s,y_{2}(s))]{\rm {d}}s\|\\&\leq &\int _{a}^{x}\|F(s,y_{1}(s))-F(s,y_{2}(s))\|{\rm {d}}s\\&\leq &L\int _{a}^{x}\|y_{1}(s)-y_{2}(s)\|{\rm {d}}s=L\int _{a}^{x}d(s){\rm {d}}s\ .\\\end{array}}}
Die Grönwall'sche Ungleichung impliziert
d
≤
0
{\displaystyle d\leq 0}
.
◻
{\displaystyle \Box }