2.I.7B

Dynamical Systems
Part II, 2005

Define Lyapunov stability and quasi-asymptotic stability of a fixed point x0\mathbf{x}_{0} of a dynamical system x˙=f(x)\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x}).

By considering a Lyapunov function of the form V=g(x)+y2V=g(x)+y^{2}, show that the origin is an asymptotically stable fixed point of

x˙=yx3y˙=x5\begin{aligned} &\dot{x}=-y-x^{3} \\ &\dot{y}=x^{5} \end{aligned}

[Lyapunov's Second Theorem may be used without proof, provided you show that its conditions apply.]