Klassifizieren Sie Gleichgewichtspunkte und finden Sie Bifurkationspunkte eines nichtlinearen dynamischen Systems

Kontext : Die Frage bezieht sich auf die Computerphysik nichtlinearer Systeme mit Mathematica .

Übung : Gegeben das System { F 1 : X ˙ = A X + j + X 3 , F 2 : j ˙ = X j } :

  1. Finde die Gleichgewichtspunkte und klassifiziere sie.
  2. Welche Art von Verzweigung gibt es und für welchen Wert A = A passiert es?
  3. Zeichnen Sie für sich das Phasenportrait A < A und für einen A > A .

Lösung : Ich berechne die Gleichgewichtspunkte durch Lösen des Gleichungssystems { X ˙ = 0 , j ˙ = 0 } . Ich bekomme drei Lösungen: ( 0 , 0 ) , ( 1 A , 1 A ) , ( 1 A , 1 A ) .

In meinen Vorlesungsunterlagen wird erwähnt, dass ich, um einen Gleichgewichtspunkt zu klassifizieren, zuerst die Topologie in der Nähe der Gleichgewichtspunkte herausfinden muss. Dazu werden die Eigenwerte der folgenden Matrix berechnet:

A = ( F 1 X F 1 j F 2 X F 2 j ) ( X 0 , j 0 )

Wie aus dem folgenden Screenshot ersichtlich ist (L1 sind die Eigenwerte der Matrix A, berechnet am 1. Gleichgewichtspunkt, bei (0,0)), können wir das sehen:

  1. für A < 1 , es ist λ 1 < 0 , λ 2 < 0 , daher ist es ein stabiler Knoten.
  2. für A > 1 , es ist λ 1 < 0 < λ 2 , also ist es Sattel.

Meine 1. Frage ist : Wozu geschieht das? A = 1 , wo die Eigenwerte werden (-2, 0) ? Meine nächste Vermutung ist, das Hartman-Grobman-Theorem zu verwenden und zu sagen, dass der Gleichgewichtspunkt "linear stabil" ist. Gibt es etwas, das ich hier vermisse?

Meine zweite Frage lautet : In Bezug auf den Bifurkationspunkt leiten wir aus der Betrachtung der Gleichgewichtspunkte des Systems den Wert ab A = 1 sie ändern sich (der stabile Knoten wird zum Sattel und umgekehrt). Genügt das zu sagen, dass es einen Bifurkationspunkt bei gibt A = 1 ? Auch für A = 1 die drei Gleichgewichtspunkte kollidieren mit nur einem. Wie passt diese Tatsache zu allem anderen?

Eigenwerte der Matrix für Gleichgewichtspunkt (0,0)

Aktualisieren:

Das sind die Phasenportraits für A < A , A > A mit A = 1 als Bifurkationspunkt:

Geben Sie hier die Bildbeschreibung ein

Nettes Update, deine Plots sehen cool aus. Versuchen Sie auch, einige Animationen als Funktion von a zu erstellen.

Antworten (1)

Zur Kontrolle bekomme ich für Ihre lineare Stabilitätsmatrix:

A = ( 3 X 2 + A 1 1 1 ) | ( X = 0 , j = 0 ) = ( A 1 1 1 )

was du vermutlich auch hast. Übrigens, hast du die Notation geändert von A a ?

Also die Determinante, Δ , und verfolgen, τ , werden von gegeben ( A + 1 ) Und, A 1 , bzw.

Wie Sie wissen, aber nur damit wir auf derselben Seite sind, wird die Klassifizierung eines bestimmten Fixpunkts durch die Werte von bestimmt Δ Und τ , für einen gegebenen Wert von A . Wie gesagt, mit A < 1 , Δ > 0 , also ist der Fixpunkt ein stabiler Knoten, weil τ 2 4 Δ > 0 mit τ < 0 , und für A > 1 , Sie haben seit dem einen Sattelknoten Δ < 0 .

Für A = 1 (vorausgesetzt, bis a du meintest A ) wir haben Δ = 0 , was signalisiert, dass Sie sich bei a befinden bifurcation point, was bedeutet, dass die topologische Struktur des Phasendiagramms bei diesem Wert von übergeht A . In Ihrem Fall erfolgt der Übergang von einem stabilen Knoten zu einem Sattelknoten.

Sie können sich davon in Mathematica visuell überzeugen, indem Sie Folgendes zeichnen:

PlotVectorField[{a x + y + x^3, x - y}, {x, -L , L}, {y, -L, L}, 
 Axes -> True]

Für geeignet gewählte Werte der Parameter gilt A Und L .

Es gibt Konventionen zur Klassifizierung der verschiedenen Arten von Bifurkationen, die auftreten können, z. B. Sattelknoten, transkritisch, Mistgabel, kritisch, Hopf, transkritisch usw. Siehe z. B. Strogatz für weitere Diskussionen über die Klassifikationen und insbesondere zu Entdecken Sie die Art des Bifurkationspunkts, den Sie in Ihrem System haben.

Hoffe das hilft.

Danke @roybatty! Übrigens, lassen Sie mich die Mehrdeutigkeit von a und \alpha korrigieren!
Ich habe gerade deine zweite Frage gesehen, also ja, du warst auf dem richtigen Weg!
Bitte nur noch eine Klarstellung, bevor ich Ihre Antwort akzeptiere: Ist das nicht der Gleichgewichtspunkt? ( 0 , 0 ) für A < 1 eher ein stabiler Knoten (Senke) als ein Mittelknoten? Wie auch in den Phasenportraits dargestellt ? Danke!
Ja, Ihr Recht, wenn Δ > 0 dann sind die Eigenwerte entweder reell mit gleichem Vorzeichen (Knoten) oder komplex konjugiert (Spiralen oder Mittelpunkte). Knoten erfüllen, τ 2 4 Δ > 0 , und in Ihrem Fall ist es seitdem stabil τ < 0 . Ich habe gerade meine Antwort bearbeitet, um das zu korrigieren.