Demonstrating Global Asymptotic Stability of a point

lyapunov-functionsnonlinear systemstability-theory

I'm trying to determine whether the origin of the following system is globally asymptotical stable (g.a.s.) or not:
$$
\begin{gathered}
\dot{x}_1 = -x_1-x_2 \\
\dot{x}_2 = -x_1-x_2^3.
\end{gathered}
$$

In order to have g.a.s., the origin must be the unique equilibrium point of the system, and also it must be asymptotic stable.\
It is simple to notice that the system has a unique equilibrium point in the origin.\
I'm trying to demonstrate the asymptotic stability of the origin by selecting the following Lyapunov Function:
$$
V = x_1^2/2 + x_2^2/2
$$

Taking its time derivative and substituting the original system:
$$
\dot{V} = -x_1^2 -x_2^4 -2x_1x_2
$$

But it seems very difficult to demonstrate that this function is always strictly less than $0$. Any suggestions or hints would be highly appreciated

Best Answer

You have the system

$$ \begin{align} \dot{x}_1&=-x_1-x_2\\ \dot{x}_2&=-x_1-x_2^3 \end{align} $$

The linearization matrix of this system is

$$ \begin{pmatrix}-1&-1\\-1&-3x_2^2\end{pmatrix} $$

so at the origin we have

$$ \begin{pmatrix}-1&-1\\-1&0\end{pmatrix} $$

which has eigenvalues $-\frac{1}{2} \pm \frac{\sqrt{5}}{2}$, or approximately, $0.6180$ and $-1.6180$. Since both eigenvalues are different from zero and have a different sign (one strictly positive, one strictly negative), the origin is unstable.

Btw., note that the system cannot be globally stable because you have multiple (three) equilibrium points: $(0,0),(1,-1),(-1,1)$ all make $\dot{x}=0$, so even if the linearization would be stable, the system could not be globally asymptotically stable.