Lyapunov function ($V$)

A Lyapunov function near an equilibrium $x^{\ast }$ is continuously differentiable, satisfies $V(x^{\ast })=0$ and $V(x)>0$ away from $x^{\ast }$, and has orbital derivative