Ljapunow-Funktion
Ljapunow-Funktionen sind reellwertige stetige Funktionen, die zum Stabilitätsnachweis der Ruhelagen dynamischer Systeme verwendet werden. Benannt sind die Funktionen nach dem russischen Mathematiker Alexander Ljapunow, wobei die Schreibweise nicht einheitlich ist (gebräuchlich sind auch Ljapunov, Liapunov oder Lyapunov).
Man betrachtet ein dynamisches System, das durch ein Differentialgleichungssystem beschrieben wird und die Ruhelage besitzt. Die Ruhelage ist asymptotisch stabil, d.h. alle Lösungen des Differentialgleichungssystem, die in einer Anfangswerte-Umgebung der Ruhelage beginnen, streben in diese Ruhelage, wenn es eine Funktion gibt, die folgende Bedingungen erfüllt:
(1) ,
(2) für ,
(3) .
Die Funktion wird Ljapunow-Funktion genannt.
Obige Bedingungen (1) und (2) bewirken, daß die Funktion einen konvexen Graphen mit einem Minimum in besitzt, d.h. anschaulich die Form einer Tasse aufweist.
Bedingung (3) stellt sicher, daß die Funktion im zeitlichen Verlauf einer Lösung des Differentialgleichungssystems nur abnimmt. Zwangsläufig müssen die Lösungen des Differentialgleichungssystems dann asymptotisch in die Ruhelage laufen.
Literatur
N. Rouche, P. Habets und M. Laloy: Stability Theory by Liapunov's Direct Method. Springer, 1977.
W. Hahn: Stability of Motion. Springer, 1967.