Konzept zur Untersuchung des Langzeitverhaltens dynamischer Systeme in der Nähe ihrer Fixpunkte (Fixpunkt eines dynamischen Systems).

Sei f : W → ℝⁿ ein auf einer offenen Menge W ⊂ ℝⁿ definiertes Vektorfeld. Ein Fixpunkt x₀ ∈ W heißt Ljapunow-stabil, falls für jede Umgebung U ⊂ W von x₀ eine Umgebung \(\tilde{U}\subset W\) von x₀ so existiert, daß gilt:

1. Für jedes \(\tilde{x}\in \tilde{U}\) existiert die Lösung \({\varphi }_{t}(\tilde{x})\) für alle t > 0,
2. \({\varphi }_{t}(\tilde{x})\in W\) für alle \(\tilde{x}\in \tilde{U}\) und alle t > 0.

Ein Ljapunow-stabiler Fixpunkt x₀ heißt asymptotisch stabil, falls zusätzlich gilt:

3. \({\mathrm{lim}}_{t\to \infty }{\varphi }_{t}(\tilde{x})={x}_{0}\) für alle \(\tilde{x}\in \tilde{U}\).

Ein Fixpunkt x₀ ∈ W heißt instabil, falls er nicht Ljapunow-stabil ist.

Sei (M, d) ein metrischer Raum. Für ein topologisches dynamisches System (M, ℝ, Φ) heißt ein Punkt x ∈ M Ljapunow-stabil, falls gilt: \begin{eqnarray}\mathop{\wedge }\limits_{\varepsilon \gt 0}\mathop{\vee }\limits_{\delta \gt 0}\mathop{\wedge }\limits_{y\in M}\mathop{\vee }\limits_{t\ge 0}(d(y,x)\lt \delta \Rightarrow d({\rm{\Phi }}(y,t),{\rm{\Phi }}(x,t))\lt \varepsilon ).\end{eqnarray}

Ein hinreichendes Kriterium für die (asymptotische) Stabilität eines Fixpunktes liefert die Existenz einer Ljapunow-Funktion.