Gew¨ohnliche Differentialgleichungen und Dynamische Systeme
Gew¨ohnliche Differentialgleichungen und Dynamische Systeme
Gew¨ohnliche Differentialgleichungen und Dynamische Systeme
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Beweis: Wir wenden den Banachschen Fixpunktsatz auf die Abbildung F : M → M definiert<br />
durch<br />
im vollständigen metrischen Raum<br />
an.<br />
F (x)(t) = x 0 +<br />
∫ t<br />
M = {x ∈ C([t 0 − δ, t 0 + δ], R d ) | d(x, x 0 ) =<br />
t 0<br />
f(x(s), s)ds<br />
sup ‖x(t) − x 0 ‖ ≤ d 0 }<br />
t∈[t 0 −δ,t 0 +δ]<br />
i) Zunächst bildet F den Raum M in sich ab, denn: Offensichtlich bildet F den Raum C([t 0 −<br />
δ, t 0 + δ], R d ) in sich ab, <strong>und</strong><br />
∫ t<br />
d(F (x), x 0 ) = sup ‖ f(x(s), s)ds‖ ≤ δM ≤ d 0 .<br />
t∈[t 0 −δ,t 0 +δ] t 0<br />
ii) F ist eine Kontraktion, da<br />
d(F (x), F (y)) = sup ‖<br />
t∈[t 0 −δ,t 0 +δ]<br />
≤<br />
sup |<br />
t∈[t 0 −δ,t 0 +δ]<br />
∫ t<br />
∫ t<br />
t 0<br />
f(x(s), s) − f(y(s), s)ds‖<br />
t 0<br />
‖f(x(s), s) − f(y(s), s)‖ds|<br />
∫ t<br />
≤ sup |<br />
t∈[t 0 −δ,t 0 +δ]<br />
L‖x(s) − y(s)‖ds|<br />
t 0<br />
≤ Lδ sup ‖x(s) − y(s)‖<br />
t∈[t 0 −δ,t 0 +δ]<br />
= Lδd(x, y) ≤ 1 d(x, y).<br />
2<br />
Damit sind alle Voraussetzungen erfüllt <strong>und</strong> folglich besitzt F einen eindeutigen Fixpunkt x ∗ ∈<br />
M. Ist x ∗ ∈ M, so gilt offensichtlich F (x ∗ ) ∈ C 1 ([t 0 − δ, t 0 + δ], R d ), womit x ∗ = F (x ∗ )<br />
ebenfalls einmal differenzierbar ist. Damit können wir die Beziehung x ∗ = F (x ∗ ) einmal nach<br />
der Zeit differenzieren <strong>und</strong> erhalten, dass x ∗ die Differentialgleichung löst.<br />
□<br />
Korollar 3.3 Ist f in einer Umgebung eines Punktes (x 0 , t 0 ) ∈ R d ×R stetig in t <strong>und</strong> Lipschitzstetig<br />
in x, so existiert ein δ > 0 <strong>und</strong> eine eindeutige Lösung x ∈ C 1 ([t 0 − δ, t 0 + δ], R d ) mit<br />
x| t=t0 = x 0 .<br />
Ist f in einer Umgebung eines Punktes (x(t 0 + δ, t 0 , x 0 ), t 0 + δ) ∈ R d × R stetig in t <strong>und</strong><br />
Lipschitz-stetig in x, so können wir den obigen Existenz- <strong>und</strong> Eindeutigkeitssatz erneut anwenden.<br />
Damit läßt sich eine Lösung, solange fortsetzen bis die Voraussetzungen des Existenz- <strong>und</strong><br />
Eindeutigkeitssatzes nicht mehr erfüllt sind.<br />
Korollar 3.4 Ist f ∈ C 1 (R d , R d ), so können die Lösungen der autonomen Differentialgleichung<br />
ẋ = f(x) in jedem Punkt des Phasenraumes R d fortgesetzt werden. Eine Lösung kann<br />
26