Ein Stabilitätsanalysemethode, bei der skalare Lyapunov-Funktionen konstruiert werden—reellwertige Funktionen auf dem Zustandsraum—deren Vorzeichen und Ableitung entlang von Trajektorien Stabilität, asymptotisches Verhalten oder Instabilität deterministischer dynamischer Systeme bescheinigen.

Prinzip

Suche nach einer Funktion V(x), die positiv definit ist (V(0)=0, V(x)>0 für x≠0) und deren zeitliche Ableitung entlang der Lösungen nicht positiv ist (dV/dt ≤ 0); wird dV/dt strikt negativ, folgt asymptotische Stabilität. Die ordnende Idee ist, Trajektorieneigenschaften in algebraische Ungleichungen für V und seine Ableitung zu übersetzen.

Demonstration

Betrachte die lineare ODE x' = A x mit Gleichgewicht 0. Wähle V(x)=x^T P x mit P symmetrisch positiv definit. Dann ist dV/dt = x^T (A^T P + P A) x. Falls ein P>0 existiert mit A^T P + P A = −Q und Q>0, ergibt sich dV/dt = −x^T Q x < 0 für x≠0, womit 0 asymptotisch stabil ist.

Fehlanwendung

Aus einer nur lokal positiven definiten Lyapunov-Funktion auf globale asymptotische Stabilität zu schließen, ein nicht differenzierbares V zu verwenden, wo Trajektorien passieren, oder V fälschlich als physikalische Energie zu deuten, führt zu fehlerhaften Schlüssen.

Konsequenz

Bei erfolgreicher Anwendung liefert die Methode rigide Stabilitäts- oder Asymptotizitätszertifikate, Abschätzungen für das Einzugsgebiet, invariante Mengen und konstruktive Regler; sie erlaubt zudem quantitative Zerfallsraten, wenn dV/dt ≤ −cV gilt.

Umkehrung

Statt eine abnehmende Lyapunov-Funktion zu suchen, kann man skalare Beweise für Instabilität suchen (eine Funktion, die entlang mancher Trajektorien strikt zunimmt) oder Lyapunov-Exponenten und spektrale Eigenschaften betrachten, die Sensitivität statt Kontraktilität betonen.

Abgrenzung

Gilt vornehmlich für deterministische autonome und zeitabhängige ODEs, bestimmte PDEs und diskrete Abbildungen mit Anpassungen. Voraussetzungen sind die Existenz eines geeigneten V und ausreichende Regularität; stochastische Systeme benötigen Erweiterungen, und ohne globale V sind globale Aussagen nicht gewährleistet.

Semantische Spannung

Spannungsfeld zwischen V als mathematischem Zertifikat und als physikalischer Energie; Verwechslungsgefahr zwischen Lyapunov-Funktionen und Lyapunov-Exponenten sowie zwischen Standardmethoden und control-Lyapunov-Konstruktionen mit zusätzlichen Anforderungen.

Synthese

Die Lyapunov-Funktionsmethode ist ein konstruktiver Ansatz, der Stabilitätsfragen durch Suche nach skalaren Funktionen mit Vorzeichen- und Monotonieeigenschaften beantwortet; existieren solche Funktionen, so liefern sie oft quantitative, rigorose Aussagen über Gleichgewichts­stabilität und Attraktion.