19.11.2013 Aufrufe

Gew¨ohnliche Differentialgleichungen und Dynamische Systeme

Gew¨ohnliche Differentialgleichungen und Dynamische Systeme

Gew¨ohnliche Differentialgleichungen und Dynamische Systeme

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!