Gew¨ohnliche Differentialgleichungen und Dynamische Systeme
Gew¨ohnliche Differentialgleichungen und Dynamische Systeme Gew¨ohnliche Differentialgleichungen und Dynamische Systeme
Beispiel 4.3 Betrachte ẋ = 0 · x + x 3 mit x(t) ∈ R. Hier ist die Voraussetzung des Satzes an A = 0 nicht erfüllt. So ist dann auch x = 0 im linearisierten System ẋ = 0 stabil, aber im nichtlinearen System instabil. Bemerkung 4.4 Offensichtlich gilt obiger Satz auch für zeitabhängiges g, falls die Voraussetzung an g gleichmäßig in der Zeit erfüllt ist. Mit Hilfe des Satzes von Floquet läßt sich obiger Satz dann auch im Falle von zeitlich periodischem A, d.h. A(t) = A(t + T ) für ein T > 0, beweisen, falls die Floquetexponenten alle negativen Realteil besitzen. Denn, wie oben bewiesen, erhalten wir durch die Koordinatentransformation x(t) = P (t)z(t) aus ẋ(t) = A(t)x(t) + g(x(t), t) das System ż(t) = Bz(t) + P −1 (t)f(P (t)z(t), t). mit P (t) die periodische Matrix, und B die konstante Matrix aus dem Satz aus Floquet. Da nach Definition die Floquetexponenten durch die Eigenwerte von B gegeben sind, kann obiger Satz jetzt auf dieses System angewendet werden. Für die Stabilität periodischer Lösungen autonomer Systeme ist dieser Satz wie wir sehen werden nicht anwendbar. Die Instabilität von Fixpunkten überträgt sich stets vom linearisierten System auf das nichtlineare System. Wir beweisen dies nun im Fall mindestens eines Eigenwertes mit positivem Realteil. Theorem 4.5 Betrachte ẋ = Ax + g(x) mit x = x(t) ∈ R d mit x(0) = x 0 und den folgenden Eigenschaften. i) Es sei A eine konstante d × d-Matrix mit mindestens einem Eigenwert mit strikt positivem Realteil. Siehe Abbildung 9. Im Re Abbildung 9: Spektrum von A und Phasenbild mit Sektor im instabilen Fall. ii) Es sei g : R d → R d Lipschitz-stetig in einer Umgebung U ⊂ R d von x = 0. Weiter gelte Dann ist der Fixpunkt x = 0 instabil. ‖g(x)‖ lim = 0. ‖x‖→0 ‖x‖ 38
Beweis: Zum Nachweis dieses Satzes zeigen wir, dass um die linear instabile Richtung ein Kreissektor mit Radius ɛ existiert, in den die Lösungen seitlich eintreten und nur am Kreisbogen wieder austreten können. Als Beispiel betrachten wir das zweidimensiomale System ẋ 1 = x 1 + O(x 2 1 + x 2 2), ẋ 2 = −x 2 + O(x 2 1 + x 2 2). Das Phasenbild und der Sektor sind in Abbildung 9 dargestellt. Damit verlassen wir stets diese ɛ-Umgebung durch den Kreisbogen egal wie nahe wir innerhalb des Sektors an der Null starten. Nun zum eigentlichen Beweis. Wir machen zunächst eine Koordinatentransformation x = P y mit P eine konstante d × d-Matrix. Dann ergibt sich die Gleichung ẏ = By + P −1 g(P y), mit B = ( B1 0 ) 0 , wobei B 1 B 2 ∈ R k×k zum Teil des Spektrums von A mit positivem Realteil und B 2 ∈ R d−k×d−k zum Teil des Spektrums von A mit nichtpositivem Realteil gehört. Es gibt ein σ > 0, so dass für alle Eigenwerte λ von B 1 gilt Reλ > σ. Aus der linearen Algebra sei bekannt, dass diese Koordinatentransformation so gewählt werden kann, dass alle Nichtdiagonalelemente kleiner als γ ≤ σ/20 sind (modifizierter Jordanblock). Wir definieren R 2 = ∑ k i=1 |y i| 2 und ρ 2 = ∑ d i=k+1 |y i| 2 . Aus den Voraussetzungen an g folgt wie oben, dass es für alle b > 0 ein δ 0 > 0 gibt, so dass ‖g(x)‖ ≤ b‖x‖ aus ‖x‖ ≤ δ 0 folgt. Wir nehmen an, dass x = 0 stabil sei. Dann gibt es für alle ɛ > 0 ein δ > 0, so dass ρ(t)+R(t) < ɛ für all t ≥ 0 aus ρ(0) + R(0) < δ folgt. Aus den obigen Abschätzungen für die Eigenwerte von B 1 , die Nichtlinearität und die Nebendiagonalelemente folgt Wählen wir b = σ/10 so ergibt sich Andererseits ergibt sich in der selben Weise Da erhalten wir insgesamt und somit 2RṘ ≥ 2σR2 − 2bR(ρ + R) − 2γR 2 . Ṙ ≥ σR/2 − bρ ˙ρ ≤ σρ/20 + b(ρ + R). σR/2 − bρ − σρ/20 − b(ρ + R) ≥ σ(R − ρ)/4 d (R − ρ) ≥ σ(R − ρ)/4 dt R(t) − ρ(t) ≥ (R(0) − ρ(0))e σt/4 . Für Lösungen mit R(0) = 2ρ(0) folgt R(t) ≥ ρ(0)e σt/4 . Dies ist aber unter der Annahme der Stabilität R(t) + ρ(t) ≤ ɛ nicht möglich, egal wie klein ρ(0) > 0 bzw. δ > 0 gewählt wird. □ 39
- 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 und 32: Beweis: Die Differenz r(t) = x(t)
- Seite 33 und 34: Theorem 3.16 Sei f : R d × [t 0 ,
- Seite 35 und 36: und für die gesuchte Näherung spe
- Seite 37: und somit die Konvergenz der Lösun
- 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
- Seite 83 und 84: Abbildung 24: Schnitt der Lösung m
- Seite 85 und 86: mit 0 ≤ ɛ ≪ 1 ein kleiner Para
- Seite 87 und 88: q ε p ε Abbildung 27: Unendlich v
Beispiel 4.3 Betrachte ẋ = 0 · x + x 3 mit x(t) ∈ R. Hier ist die Voraussetzung des Satzes an<br />
A = 0 nicht erfüllt. So ist dann auch x = 0 im linearisierten System ẋ = 0 stabil, aber im<br />
nichtlinearen System instabil.<br />
Bemerkung 4.4 Offensichtlich gilt obiger Satz auch für zeitabhängiges g, falls die Voraussetzung<br />
an g gleichmäßig in der Zeit erfüllt ist. Mit Hilfe des Satzes von Floquet läßt sich<br />
obiger Satz dann auch im Falle von zeitlich periodischem A, d.h. A(t) = A(t + T ) für ein<br />
T > 0, beweisen, falls die Floquetexponenten alle negativen Realteil besitzen. Denn, wie<br />
oben bewiesen, erhalten wir durch die Koordinatentransformation x(t) = P (t)z(t) aus ẋ(t) =<br />
A(t)x(t) + g(x(t), t) das System<br />
ż(t) = Bz(t) + P −1 (t)f(P (t)z(t), t).<br />
mit P (t) die periodische Matrix, <strong>und</strong> B die konstante Matrix aus dem Satz aus Floquet. Da nach<br />
Definition die Floquetexponenten durch die Eigenwerte von B gegeben sind, kann obiger Satz<br />
jetzt auf dieses System angewendet werden. Für die Stabilität periodischer Lösungen autonomer<br />
<strong>Systeme</strong> ist dieser Satz wie wir sehen werden nicht anwendbar.<br />
Die Instabilität von Fixpunkten überträgt sich stets vom linearisierten System auf das nichtlineare<br />
System. Wir beweisen dies nun im Fall mindestens eines Eigenwertes mit positivem<br />
Realteil.<br />
Theorem 4.5 Betrachte ẋ = Ax + g(x) mit x = x(t) ∈ R d mit x(0) = x 0 <strong>und</strong> den folgenden<br />
Eigenschaften.<br />
i) Es sei A eine konstante d × d-Matrix mit mindestens einem Eigenwert mit strikt positivem<br />
Realteil. Siehe Abbildung 9.<br />
Im<br />
Re<br />
Abbildung 9: Spektrum von A <strong>und</strong> Phasenbild mit Sektor im instabilen Fall.<br />
ii) Es sei g : R d → R d Lipschitz-stetig in einer Umgebung U ⊂ R d von x = 0. Weiter gelte<br />
Dann ist der Fixpunkt x = 0 instabil.<br />
‖g(x)‖<br />
lim = 0.<br />
‖x‖→0 ‖x‖<br />
38