eine Funktion, die ein hinreichendes Kriterium für die Stabilität bzw. asymptotische Stabilität (Ljapunow-Stabilität) eines Fixpunktes (Fixpunkt eines Vektorfeldes) eines auf einer offenen Menge W ⊂ ℝⁿ definierten Vektorfeldes liefert.

Seien dazu ein Vektorfeld f : W → ℝⁿ und ein Fixpunkt x₀ ∈ W gegeben. Eine auf einer Umgebung U ∈ W von xo definierte stetige Funktion V : U → ℝ heißt Ljapunow-Funktion (für f bzgl. x₀), falls gilt:

1. V ist differenzapunow-Funktioierbar auf U \ {x₀},
2. V(x₀) = 0 und V(x) > 0 für x ∈ U \ {x₀},
3. DV(x)f (x) ≤ 0 für x ∈ U \ {x₀}.

Gilt anstelle von 3. die Bedingung

3a. DV (x) f (x) < 0 für x ∈ U \ {x₀},

so heißt V strenge Ljapunow-Funktion (für f bzgl. x₀).

A. M. Ljapunow führte 1892 in seiner Dissertation das Konzept der Ljapunow-Funktion ein, die durch das folgende Ljapunow-Stabilitätskriterium die Untersuchung von Fixpunkten auf Stabilität ermöglicht:

Sei f : W → ℝⁿein auf einer offenen Menge W ⊂ ℝⁿdefiniertes Vektorfeld mit einemisolierten Fixpunkt x₀ ∈ W. Existiert für f bzgl. xo eine (strenge) Ljapunow-Funktion, so ist x₀ (asymptotisch) stabil.

Die Schwierigkeit liegt i. allg. in der Bestimmung einer Ljapunow-Funktion, jedoch ist z. B. für die Bewegung eines Teilchens in einem Potentialfeld die Gesamtenergie eine solche:

Sei W ∈ ℝⁿoffen und φ : W → ℝ stetig differenzierbar. Ist q₀ ∈ W lokales Minimum von φ, so ist für das Vektorfeld \(\mathop{q}\limits^{.}=p\), \(\mathop{p}\limits^{.}=-\text{grad}\,\phi \)bzgl. des Fixpunktes (q₀, 0) ∈ W × ℝⁿdie auf einer geeigneten Umgebung U × A ⊂ W × ℝⁿvon (q₀, 0) definierte Funktion\begin{eqnarray}V(q,p):=\frac{1}{2}{\Vert p\Vert }^{2}+\phi (q)-\phi ({q}_{0})\end{eqnarray}eine Ljapunow-Funktion.

Ljapunow-Funktionen ermöglichen die Formulierung der Ljapunow-Stabilität.