## [Lyapunov-Funktionsmethode](/de/node/62607) Definition 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 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 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 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 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 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 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 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 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.