Strict Lyapunov function
= Strict Lyapunov function
$V(x_0)=0$, $V>0$ elsewhere, and $\dot V<0$ prove asymptotic stability; suitable sublevel sets lie in the basin.
= Strict Lyapunov function
$V(x_0)=0$, $V>0$ elsewhere, and $\dot V<0$ prove asymptotic stability; suitable sublevel sets lie in the basin.