Description

Die Lypunovfunktion ist so etwas wie eine schwächere Version einer Conservation law. Bei einer Lypunovfunktion kann der Wert der Funktion entlang einer Trajektorie auch kleiner werden. Man kann es sich wieder als Energie vorstellen: Die Energie in einem System ist abhängig vom Startzustand, nimmt aber im Laufe der Zeit ab.

Definition

Sei x'=v(x)\tag{1} eine Autonome Lipschitzst. DGL. Eine stetig differenzierbare Funktion heißt Lyapunov-Funktion für , wenn für alle erfüllt ist.

Properties

Monotonie

Eine Lyapunov-Funktion ist entlang einer Trajektorie monoton fallend: fällt monoton

Describing Stability

The following only holds for an Autonomous ODE which is Lipschitz-continuous.

Stability of points

Sei eine Lyapunov-Funktion zu und eine Kritischer Punkt (Differentialgleichung), sodass:

  1. für alle Dann ist eine stabile Kritischer Punkt (Differentialgleichung).

Diesen Fall stellt man sich am besten als Verallgemeinerung des unteren Falls vor. Wir lockern die letzte Bedingung, da es stabile nicht-asymptotische Systeme gibt, bei denen nichts passiert . Durch Fallenlassen der dritten Bedingung, können wir den Fall einschließen.

Asymptotische Stabilität

Seien eine Kritischer Punkt (Differentialgleichung), eine Lyapunov-Funktion zu mit:

  1. für alle
  2. für alle Dann ist eine asymptotisch stabile Kritischer Punkt (Differentialgleichung).

Das Verständnis ist hier viel leichter. Die letzte Bedingung besagt, dass die Lypunov-Funktion entlang einer Trajektorie streng monoton fällt Wenn eine solche Lyapunovfunktion existiert, können Trajektorien keine geschlossenen Kurven geben, da die Lypunovfuntion dazu fallen und fallen müsste, bis sie mit einem anderen Wert wieder am Startpunkt ankommt. Weil 0 der niedrigste Punkt der Funktion ist, können Funktionswerte der Lypunovfunktion in einer kleinen Umgebung mit wachsender Entfernung nur größer werden. Da die Lypunovfunktion entlang der Trajektorien aber kleiner wird, müssen sich die Trajektorien in dieser Umgebung auch in Richtung null bewegen. (Sonst würde die Lyapunovfunktion entlang der Trajektorien größer werden uder gleich bleiben.)

Theorem Instabilität

Seien eine Kritischer Punkt (Differentialgleichung), eine Lyapunov-Funktion zu mit:

  1. für alle
  2. In jeder Umgebung von gibt es ein mit

Dieser Satz ist vermutlich am leichtesten zu verstehen.. Ein Punkt ist instabil, wenn sich die Lösung bei einer kleinen Veränderung des Startwert stark verändert. Die zweite Bedingung besagt, dass die Lypunov-Funktion entlang einer Trajektorie streng monoton fällt Auch hier kann es deshalb keine geschlossenen Kurven geben. Eine Lösung die jetzt bei anfängt kann sich im Kreis drehen. Also muss sie sich in “Spirallinien” (Also einer Linie, sodass sie sich nicht selbst schneidet) entweder zum Kreis hin oder weg bewegen. Hin geht nicht, da sonst die Lypunovfunktion aufgrund ihrer Stetigkeit irgendwann größer werden würde. Deshalb bewegt sich die Trajektorie von weg.