Gew¨ohnliche Differentialgleichungen und Dynamische Systeme
Gew¨ohnliche Differentialgleichungen und Dynamische Systeme Gew¨ohnliche Differentialgleichungen und Dynamische Systeme
und somit die Behauptung. □ Bemerkung 3.13 Störungen der Anfangsbedingungen können in der obigen Abschätzung mitbehandelt werden. Es ergibt sich dann ‖r(t)‖ ≤ ((‖x 0 − y(t 0 )‖) + 1 2 L(M + 1)h)eL(t−t 0) . Definition 3.14 Eine Funktion f (das obige Verfahren) heißt konvergent von der Ordnung O(h m ) für h → 0, falls positive Konstanten C und h 0 existieren, so dass für alle h ∈ (0, h 0 ] die Abschätzung ‖f(h)‖/‖h m ‖ ≤ C gilt. Eine Funktion f heißt konvergent von der Ordnung o(h m ) für h → 0, falls lim h→0 ‖f(h)‖ ‖h m ‖ = 0. Die gewonnene Abschätzung ist eher von theoretischem Interesse wie das folgende Beispiel zeigt. Beispiel 3.15 Betrachte ẋ = −100x mit x(0) = 1 für t ∈ [0, 1]. Die Lösung x(t) = e −100t wird durch das dazugehörige Eulerverfahren approximiert. Es lautet y(t n ) = y(t n−1 )−100hy(t n−1 ) = (1 − 100h)y(t n−1 ) und so ergibt sich y(t n ) = (1 − 100h) n . Der Fehler x(nh) − y(nh) = e −100nh − (1 − 100h) n ist sehr klein, auch für nicht so kleines h. Die obige Abschätzung (9) liefert mit M = sup x∈[0,1] |f(x)| = 100, dass ‖r(t)‖ ≤ 1 2 100(100 + 1)he100 ∼ 1.35 × 10 47 h. Soll der Fehler tatsächlich kontrolliert werden, muß parallel zum Berechnen der Lösung die Gleichung für den Fehler integriert werden. Wir untersuchen die Struktur der obigen Abschätzung genauer. Unabhängig vom verwendeten Näherungsverfahren ergibt sich stets m−1 ∑ ‖r(t)‖ ≤ ‖ ( ≤ ∫ tn+1 n=0 t n m−1 ∫ tn+1 ∑ n=0 t n m−1 ∑ ∫ tn+1 +‖ ( n=0 t n f(y(s) + r(s), s)ds − (y(t n+1 ) − y(t n ))‖ ‖f(y(s) + r(s), s) − f(y(s), s)‖ds f(y(s), s)ds − (y(t n+1 ) − y(t n )))‖. Ist die Näherungslösung y = y(t) auf [t 0 , t e ] beschänkt, so läßt sich der erste Ausdruck unabhängig von h wie oben durch ∫ t t 0 L‖r(s)‖ds mit einer Konstante L abschätzen. Der zweite Ausdruck m−1 ∑ ∫ tn+1 Res(y) = ( f(y(s), s)ds − (y(t n+1 ) − y(t n ))) t n n=0 wird als Residuum, bzw. als formaler Fehler bezeichnet. Allgemein gilt 32
Theorem 3.16 Sei f : R d × [t 0 , t e ] → R d Lipschitz-stetig mit Konstante L in x und t. Es sei y = y(t) eine Näherungslösung mit y(t 0 ) = x 0 . Es gebe eine Konstante C y und ein m ∈ N so dass für alle h ∈ [0, 1] gilt: sup ‖Res(y)(t)‖ ≤ C y h m . t∈[t 0 ,t e] Dann gibt es ein h 0 > 0 und ein C > 0, so dass für alle h ∈ (0, h 0 ] die Abschätzung sup ‖x(t) − y(t)‖ ≤ Ch m t∈[t 0 ,t e] gilt, d.h. die Näherungslösung y = y(t) konvergiert gegen die exakte Lösung x = x(t) für h → 0 mit einer Rate O(h m ). Beweis: Unter diesen Voraussetzungen erfüllt die Differenz r(t) = x(t)−y(t) die Ungleichung ‖r(t)‖ ≤ ∫ t Die Anwendung des Gronwallschen Lemmas liefert t 0 L‖r(s)‖ds + C y h m ‖r(t)‖ ≤ C y h m e L(t−t 0) (10) und somit die Behauptung. Zusammenfassung: Bleiben die Lösungen y = y(t) eines Näherungsverfahrens unabhängig von der Schrittweite beschränkt, und ist der formale Fehler von der Ordnung O(h m ), (was ebenfalls die Beschränktheit von y = y(t) voraussetzt) so wird die exakte Lösung x = x(t) durch ihre Näherung y = y(t) bis auf einen Fehler der gleichen Ordnung O(h m ) approximiert. Beispiel 3.17 Es kann sinnvoll sein das verwendete Verfahren der Struktur des Problems anzupassen. Betrachte die lineare Differentialgleichung x˙ 1 = x 2 und x˙ 2 = −x 1 . In der Phasenebene sind die Lösungen durch Kreise gegeben. Das Eulerverfahren berechnet allerdings nach außen laufende Spiralen. Denn betrachte den Kreis mit Radius 1. Ein Eulerschritt von (x − 1, x 2 ) = (1, 0) startend ergibt (1, 0) + (0, −h) = (1, −h), was außerhalb des Kreises mit Radius 1 liegt. Sinnvoller erweist sich hier die Trapezregel y(t n+1 ) = y(t n ) + 1 2 h(f(y(t n+1), t n+1 ) + f(y(t n ), t n )), welche die Hamiltonsche Struktur des Problems erhält. Hier ergibt sich das implizite Schema y 1 (t n+1 ) = y 1 (t n ) + 1 2 h(y 2(t n+1 ) + y 2 (t n )), y 2 (t n+1 ) = y 2 (t n ) − 1 2 h(y 1(t n+1 ) + y 1 (t n )). Für das obige Beispiel ergibt sich als Bildpunkt y 1 = 1 + 1 2 hy 2, y 2 = − 1 2 h(y 1 + 1). □ 33
- Seite 1 und 2: Gewöhnliche Differentialgleichunge
- Seite 3 und 4: Inhaltsverzeichnis 1 Einleitung 4 2
- Seite 5 und 6: Im nichtautonomen Fall lautet dies
- Seite 7 und 8: Geschichte: Die Beschreibung der Me
- Seite 9 und 10: ii) ‖λx‖ = |λ|‖x‖ iii)
- Seite 11 und 12: Ist g ≡ 0, so gilt: x(t) = c 1 x
- Seite 13 und 14: Die Exponentialreihe e At kann wie
- Seite 15 und 16: 2 1.5 1 0.5 0 -0.5 -1 -1.5 -2 -2 -1
- Seite 17 und 18: ε δ x=x(t) x 0 x 1 Abbildung 4: S
- Seite 19 und 20: Betrachte das autonome System ẋ =
- Seite 21 und 22: Dieses Lemma gilt allgemein für T
- Seite 23 und 24: Unteraum. Wie bei Differentialgleic
- Seite 25 und 26: 3 Nichtlineare Systeme Wir betracht
- Seite 27 und 28: nur aufhören zu existieren, falls
- Seite 29 und 30: Ist f differenzierbar, so hängt di
- Seite 31: Beweis: Die Differenz r(t) = x(t)
- Seite 35 und 36: und für die gesuchte Näherung spe
- Seite 37 und 38: und somit die Konvergenz der Lösun
- Seite 39 und 40: Beweis: Zum Nachweis dieses Satzes
- Seite 41 und 42: x µ Abbildung 11: Transkritische B
- Seite 43 und 44: kann für α = 0 explizit gelöst w
- Seite 45 und 46: O − (x) eines Punktes x ∈ R dur
- Seite 47 und 48: 1 0.8 0.6 0.4 0.2 0 0 0.2 0.4 0.6 0
- Seite 49 und 50: zu a) In diesem Fall ist p ∈ Λ n
- Seite 51 und 52: iii) Sei a ∈ Σ 2 und δ > 0 gege
- Seite 53 und 54: Einschub: Periodenverdopplung und d
- Seite 55 und 56: Theorem 4.33 Perioden-Verdopplungs-
- Seite 57 und 58: esitzt n-periodische Lösungen y n
- Seite 59 und 60: ii) Die periodische Lösung heißt
- Seite 61 und 62: Beispiel 4.43 (Pitchfork-Bifurkatio
- Seite 63 und 64: 5 Dynamik in der Nähe eines Fixpun
- Seite 65 und 66: und Damit ist T (·, f) : Cb 0 →
- Seite 67 und 68: Offensichtlich ist W s = E s . Für
- Seite 69 und 70: erhalten wir W c = {(µ, x, y) ∈
- Seite 71 und 72: Lemma 5.20 Es sei ˜f ∈ C k für
- Seite 73 und 74: Lemma 5.25 Für jedes η ∈ (0, β
- Seite 75 und 76: Beispiel 5.30 Wir betrachten das di
- Seite 77 und 78: Wir suchen nun Koordinatentransform
- Seite 79 und 80: Zu α 30 a 3 : Die Nichtresonanzbed
- Seite 81 und 82: 6 Homokline und heterokline Lösung
<strong>und</strong> somit die Behauptung.<br />
□<br />
Bemerkung 3.13 Störungen der Anfangsbedingungen können in der obigen Abschätzung mitbehandelt<br />
werden. Es ergibt sich dann<br />
‖r(t)‖ ≤ ((‖x 0 − y(t 0 )‖) + 1 2 L(M + 1)h)eL(t−t 0) .<br />
Definition 3.14 Eine Funktion f (das obige Verfahren) heißt konvergent von der Ordnung<br />
O(h m ) für h → 0, falls positive Konstanten C <strong>und</strong> h 0 existieren, so dass für alle h ∈ (0, h 0 ]<br />
die Abschätzung ‖f(h)‖/‖h m ‖ ≤ C gilt. Eine Funktion f heißt konvergent von der Ordnung<br />
o(h m ) für h → 0, falls lim h→0<br />
‖f(h)‖<br />
‖h m ‖ = 0.<br />
Die gewonnene Abschätzung ist eher von theoretischem Interesse wie das folgende Beispiel<br />
zeigt.<br />
Beispiel 3.15 Betrachte ẋ = −100x mit x(0) = 1 für t ∈ [0, 1]. Die Lösung x(t) = e −100t wird<br />
durch das dazugehörige Eulerverfahren approximiert. Es lautet y(t n ) = y(t n−1 )−100hy(t n−1 ) =<br />
(1 − 100h)y(t n−1 ) <strong>und</strong> so ergibt sich y(t n ) = (1 − 100h) n . Der Fehler x(nh) − y(nh) =<br />
e −100nh − (1 − 100h) n ist sehr klein, auch für nicht so kleines h. Die obige Abschätzung (9)<br />
liefert mit M = sup x∈[0,1] |f(x)| = 100, dass<br />
‖r(t)‖ ≤ 1 2 100(100 + 1)he100 ∼ 1.35 × 10 47 h.<br />
Soll der Fehler tatsächlich kontrolliert werden, muß parallel zum Berechnen der Lösung die<br />
Gleichung für den Fehler integriert werden.<br />
Wir untersuchen die Struktur der obigen Abschätzung genauer. Unabhängig vom verwendeten<br />
Näherungsverfahren ergibt sich stets<br />
m−1<br />
∑<br />
‖r(t)‖ ≤ ‖ (<br />
≤<br />
∫ tn+1<br />
n=0 t n<br />
m−1 ∫ tn+1<br />
∑<br />
n=0 t n<br />
m−1<br />
∑<br />
∫ tn+1<br />
+‖ (<br />
n=0 t n<br />
f(y(s) + r(s), s)ds − (y(t n+1 ) − y(t n ))‖<br />
‖f(y(s) + r(s), s) − f(y(s), s)‖ds<br />
f(y(s), s)ds − (y(t n+1 ) − y(t n )))‖.<br />
Ist die Näherungslösung y = y(t) auf [t 0 , t e ] beschänkt, so läßt sich der erste Ausdruck unabhängig<br />
von h wie oben durch ∫ t<br />
t 0<br />
L‖r(s)‖ds mit einer Konstante L abschätzen. Der zweite<br />
Ausdruck<br />
m−1<br />
∑<br />
∫ tn+1<br />
Res(y) = ( f(y(s), s)ds − (y(t n+1 ) − y(t n )))<br />
t n<br />
n=0<br />
wird als Residuum, bzw. als formaler Fehler bezeichnet. Allgemein gilt<br />
32