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.
Ist f differenzierbar, so hängt die Lösung x(t, t 0 , x 0 ) differenzierbar von der Anfangsbedingung<br />
x 0 ab. Siehe [KK74].<br />
Eine andere Methode die globale Existenz von Lösungen nachzuweisen, sind sogenannte Energieabschätzungen.<br />
Beispiel 3.10 Betrachte<br />
ẋ = x − x 3 , x(0) = x 0 .<br />
Wir haben drei Fixpunkte, den instabilen x = 0 <strong>und</strong> die stabilen x = ±1. Vom Phasenbild<br />
ist daher klar, dass die Lösungen für alle t ≥ 0 existieren. Dies kann auch wie folgt bewiesen<br />
werden. Betrachte die Differentialgleichung für die skalare Größe r = x 2 ≥ 0:<br />
ṙ = d dt (x2 ) = 2xẋ = 2x 2 − 2x 4 ≤ 2 − 2x 2 = 2 − 2r.<br />
Aus dem Phasenbild für ṙ = 2 − 2r folgt sofort, dass alle Lösungen für t ≥ 0 beschränkt<br />
bleiben. Es gilt sogar lim sup t→∞ r(t) ≤ 1. Damit bleibt auch x beschränkt <strong>und</strong> es gilt, wie<br />
bereits bekannt lim sup t→∞ x 2 (t) ≤ 1.<br />
Beispiel 3.11 Wir verallgemeinern das letzte Beispiel <strong>und</strong> betrachten jetzt allgemein<br />
ẋ = f(x), x(0) = x 0 .<br />
Die Differentialgleichung für die skalare Größe r(t) = x T (t)x(t) lautet<br />
ṙ = x T ẋ + ẋ T x = 2x T f(x).<br />
Existieren nun Konstanten C 1 > 0 <strong>und</strong> C 2 > 0, so dass für alle x ∈ R d die Ungleichung<br />
gilt, so erfüllt r die Differentialungleichung<br />
x T f(x) ≤ C 1 − C 2 x T x<br />
ṙ ≤ C 1 − C 2 r.<br />
Damit bleibt r(t) <strong>und</strong> damit auch x(t) für alle t ≥ 0 beschränkt <strong>und</strong> es gilt<br />
lim sup<br />
t→∞<br />
r(t) = lim sup x T (t)x(t) ≤ C 1 /C 2 .<br />
t→∞<br />
Es kann sich als sinnvoll erweisen allgemein r(t) = x T (t)B(t)x(t) mit B(t) eine in t ≥ 0<br />
gleichmäßig positiv definite d × d-Matrix zu betrachten <strong>und</strong> eventuell höhere Ordnungen in x<br />
zuzulassen.<br />
29