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.
<strong>und</strong> somit die Konvergenz der Lösungen gegen x = 0.<br />
Nun zum eigentlichen Beweis: Sei φ(t) = S(t, 0) der Lösungsoperator der linearen Gleichung<br />
ẋ = Ax. Da die Eigenwerte von A strikt negativen Realteil besitzen, gibt es positive Konstanten<br />
C 0 (wegen möglicher Jordanblöcke) <strong>und</strong> µ 0 mit<br />
‖φ(t)‖ ≤ C 0 e −µ 0t<br />
für alle t ≥ 0. Aus den Voraussetzungen an g folgt, dass es für alle b > 0 ein δ 0 > 0 gibt, so<br />
dass ‖g(x)‖ ≤ b‖x‖ aus ‖x‖ ≤ δ 0 folgt. Die Variation der Konstantenformel ergibt<br />
x(t) = φ(t)x(0) +<br />
Mit den obigen Abschätzungen erhalten wir<br />
<strong>und</strong> somit<br />
‖x(t)‖ ≤ ‖φ(t)‖‖x 0 ‖ +<br />
∫ t<br />
≤ C 0 e −µ 0t ‖x 0 ‖ +<br />
e µ 0t ‖x(t)‖ ≤ C 0 ‖x 0 ‖ +<br />
0<br />
φ(t − s)g(x(s))ds.<br />
∫ t<br />
0<br />
∫ t<br />
0<br />
∫ t<br />
0<br />
‖φ(t − s)‖ ‖g(x(s)‖ds<br />
C 0 e −µ 0(t−s) b‖x(s)‖ds<br />
C 0 e µ 0s b‖x(s)‖ds.<br />
Wenden wir die Gronwallsche Ungleichung auf e µ 0t ‖x(t)‖ an, so erhalten wir<br />
e µ 0t ‖x(t)‖ ≤ C 0 ‖x 0 ‖e C 0bt<br />
bzw. ‖x(t)‖ ≤ C 0 ‖x 0 ‖e (C 0b−µ 0 )t .<br />
Wir wählen nun b = µ 0 /(2C 0 ) <strong>und</strong> erhalten so ein dazugehöriges δ 0 = δ 0 (b). Somit ist µ =<br />
µ 0 /2, ‖x(t)‖ ≤ C 0 ‖x 0 ‖e −µt <strong>und</strong> δ = C0 −1 δ 0 , womit die asymptotische Stabilität von x = 0<br />
folgt.<br />
□<br />
Beispiel 4.2 Betrachte ẍ + µẋ + sin x = 0 mit µ > 0, d.h. den harmonischen Oszillator mit<br />
Dämpfung. Wir erhalten das System<br />
ẋ 1 = x 2 ,<br />
x˙<br />
2 = −µx 2 − sin x 1 .<br />
Die Linearisierung um die Ruhelage (x 1 , x 2 ) = (0, 0) des Pendels lautet<br />
ẋ 1 = x 2 , ẋ 2 = −µx 2 − x 1 .<br />
( )<br />
0 1<br />
Die dazugehörige Matrix A =<br />
besitzt die Eigenwerte<br />
−1 −µ<br />
λ 1/2 = −µ ± √ µ 2 − 4<br />
.<br />
2<br />
Damit gilt Reλ 1,2 ≤ −µ/2 < 0 für µ > 0 <strong>und</strong> somit ist (x 1 , x 2 ) = (0, 0) im linearisierten wie<br />
auch im nichtlinearen System asymptotisch stabil.<br />
37