Lyapunov function
= Lyapunov function
{c}
{title2=$V$}
{wiki}
A Lyapunov function near an equilibrium $x^*$ is continuously differentiable, satisfies $V(x^*)=0$ and $V(x)>0$ away from $x^*$, and has orbital derivative
$$
\dot V(x)=\nabla V(x)\cdot f(x)\leq0.
$$