Find direct Lyapunov

83 Views Asked by At

Show that origin is globally asymptotically stable.

\begin{align*} & \dot{x}=-x + y^2 \\ &\dot{y}=-y \end{align*}

I know to prove that $V′(x)$ has to be negative which I can prove. However, I can't seem to figure out how to get $V(x)$. Can anyone put me in right direction to how to calculate $V(x)$ for it. Thanks advanced.

1

There are 1 best solutions below

1
On BEST ANSWER

For this kind of problems, I recommend you to try polynomial functions $V$ for which $$-\frac{dV(x(t), y(t))}{dt}$$ is a sum of square expressions. By inspection, you can put $V(x, y) = \frac{1}{2}x^2 + \frac{1}{4}y^4$. Then $$-\frac{dV(x(t), y(t))}{dt}=x\cdot(x-y^2)+y^3 \cdot y=x^2 -xy^2+y^4=(x-\frac{1}{2}y^2)^2 + \frac{3}{4}y^4$$ This serves as a Lyapunov function you seek.