Stability of a system of differential equations of the form $\dot x = y, \dot y = g(x)$

113 Views Asked by At

Let $g: \mathbb{R} \to \mathbb{R}$ be a locally Lipschitz-continuous function with $g(0) = 0$ and $xg(x) < 0$ for all $x \neq 0$.

Consider the differential equation $\dot x = y, \dot y = g(x)$. I want to analyse the steady-state solutions for (Lyapnuov-) stability. Because of $g(0) = 0$ we have $(0,0)$ for a steady-state solution.

The methods I know for determining the stability of a differential equation require either differentiability or a Lyapunov function, and because $g$ is not necessarily differentiable, my idea was to construct a Lyapunov function.

I had much trouble constructing a function $L:\mathbb{R}^2 \to \mathbb{R}$ which fulfills $\langle \nabla L(x,y) , (y, g(x)) \rangle \leq 0$. Because of $xg(x) < 0$, $\partial_yL(x,y) = x$ and $\partial_x L(x,y) = -y$ would be great, but the Poincaré Lemma tells us, that there is no such function.

What other possibilities are there?

1

There are 1 best solutions below

0
On

Following the comments by Did:

The trajectories passing close enough to $(0,0)$ are cycles, and coincide with the level lines of the functional $$H(x,y)=\frac{y^2}{2}+G(x),\qquad G(x) = \int_0^x g(t)\,dt$$

Indeed,

  1. $H$ is constant on each trajectory (this reflects the conservation of total energy: $y^2/2$ is kinetic energy and $G(x) $ potential energy )

  2. The point $(0,0)$ is a strict minimum of $H$ since $y^2$ has a strict minimum at $y=0$ and $G$ has a strict minimum at $x=0$ (considering the sign of its derivative).