Stabilitätstheorie von ODEs

Die Stabilitätstheorie untersucht, ob die Lösungen einer Differentialgleichung, die nahe einem Gleichgewicht beginnen, nahe diesem bleiben oder im Laufe der Zeit zu diesem zurückkehren.

Definition

Ein Gleichgewicht ist Lyapunov-stabil, wenn Lösungen, die ausreichend nahe beginnen, für alle späteren Zeiten beliebig nahe bleiben, und asymptotisch stabil, wenn sie zusätzlich zum Gleichgewicht konvergieren; Instabilität bedeutet, dass sich zumindest einige nahegelegene Lösungen entfernen.

Scope

Dieses Thema behandelt die Definitionen von Lyapunov-Stabilität, asymptotischer Stabilität und Instabilität, Linearisierung und den Satz von Hartman-Grobman, die direkte Methode der Lyapunov-Funktionen, das Invarianzprinzip von LaSalle und die Klassifizierung von Gleichgewichten planarer Systeme als Knoten, Sättel, Foki und Zentren.

Core questions

• Werden kleine Störungen eines Gleichgewichts wachsen, bestehen bleiben oder abklingen?
• Wann sagt die Linearisierung die Stabilität eines nichtlinearen Gleichgewichts korrekt voraus?
• Wie kann Stabilität festgestellt werden, ohne die Gleichung explizit zu lösen?
• Wie werden planare Gleichgewichte durch ihre lokalen Phasenporträts klassifiziert?

Key theories

Lyapunovs direkte Methode

Wenn eine positiv-definite Funktion entlang von Trajektorien abnimmt, ist das Gleichgewicht stabil, und ein strenges Abnehmen einer solchen Funktion erzwingt asymptotische Stabilität, alles ohne die Differentialgleichung zu lösen.

Linearisierung und der Satz von Hartman-Grobman

Nahe einem hyperbolischen Gleichgewicht ist der nichtlineare Fluss topologisch konjugiert zu seiner Linearisierung, sodass die Eigenwerte der Jacobi-Matrix die lokale Stabilität bestimmen.

LaSalles Invarianzprinzip

Wenn eine Lyapunov-Funktion nur nicht-zunehmend ist, konvergieren Trajektorien zum größten invarianten Satz innerhalb des Bereichs, in dem ihre Ableitung verschwindet, wodurch die Schlussfolgerungen zur asymptotischen Stabilität erweitert werden.

Clinical relevance

Die Stabilitätsanalyse ist die Grundlage der Regelungstechnik, wo sie bescheinigt, dass ein entworfenes System nach Störungen zu seinem Betriebspunkt zurückkehrt, und sie erklärt die Persistenz von Gleichgewichten in ökologischen, physiologischen und ökonomischen Modellen.

History

Lyapunovs Dissertation von 1892 begründete die allgemeine Theorie der Stabilität der Bewegung und führte sowohl die Linearisierung als auch die funktionsbasierte direkte Methode ein. Poincarés qualitative Analyse planarer Systeme lieferte das geometrische Bild, und die Mitte des 20. Jahrhunderts fügte den Satz von Hartman-Grobman und das Invarianzprinzip von LaSalle hinzu.

Key figures

• Aleksandr Lyapunov
• Henri Poincare
• Philip Hartman
• Joseph LaSalle

Seminal works

• perko2001
• khalil2002

Frequently asked questions

Was ist der Unterschied zwischen Lyapunov-Stabilität und asymptotischer Stabilität?

Lyapunov-Stabilität bedeutet, dass nahegelegene Lösungen für alle Zeiten nahe bleiben, aber sie müssen sich nicht dem Gleichgewicht nähern. Asymptotische Stabilität fügt die Anforderung hinzu, dass nahegelegene Lösungen tatsächlich zum Gleichgewicht konvergieren, wenn die Zeit zunimmt.

Wann versagt die Linearisierung bei der Entscheidung über Stabilität?

Die Linearisierung ist nur bei hyperbolischen Gleichgewichten schlüssig, wo die Jacobi-Matrix keine Eigenwerte auf der imaginären Achse hat. Im grenzwertigen nicht-hyperbolischen Fall, wie einem reinen Zentrum, können die nichtlinearen Terme die Stabilität bestimmen, und eine Lyapunov-Funktion oder eine Zentrumsmannigfaltigkeitsanalyse ist erforderlich.