Questions tagged [lyapunov-functions]

This tag is for questions relating to Lyapunov function, which is a scalar function defined on the phase space, which can be used to prove the stability of an equilibrium point. The Lyapunov function method is applied to study the stability of various differential equations and systems.

Named after the Russian mathematician Aleksandr Mikhailovich Lyapunov, Lyapunov functions (also called the Lyapunov’s second method for stability) are important to stability theory of dynamical systems and control theory. A similar concept appears in the theory of general state space Markov chains, usually under the name Foster–Lyapunov functions.

A Lyapunov function for an autonomous dynamical system $$ \begin{cases} g:\mathbb{R}^n \to \mathbb{R}^n \\ y'=g(y)\end{cases}$$ with an equilibrium point at ${\displaystyle y=0}$ is a scalar function ${\displaystyle V:\mathbb {R} ^{n}\to \mathbb {R} }$ that is continuous, has continuous first derivatives, is locally positive-definite, and for which ${\displaystyle -\nabla {V}\cdot g}$ is also locally positive definite. The condition that ${\displaystyle -\nabla {V}\cdot g}$ is locally positive definite is sometimes stated as ${\displaystyle \nabla {V}\cdot g}$ is locally negative definite.

Reference:

https://en.wikipedia.org/wiki/Lyapunov_function

473 questions
25
votes
2 answers

System with a Lyapunov function over $\mathbb{R}^n$ but not globally asymptotically stable

I'd like to find an example of a system $\dot{\mathbf{x}} = F(\mathbf{x})$, where $\mathbf{x} = \mathbf{0}$ is an equilibrium point, with a corresponding Lyapunov function $V(\mathbf{x})$ that satisfies: (1) $V(\mathbf{x}) > 0 \; \forall \mathbf{x}…
10
votes
0 answers

Prove that doesn't exist a Lyapunov function

Given the following ODE in polar coordinates \begin{array}{lcl} \frac{dr}{dt} = r\sin(\frac{1}{r}) \\ \frac{d\theta}{dt} = 1\end{array} 1) Show that the origin $(0,0)$ is Lyapunov stable 2) Prove that doesn't exist Lyapunov function I could…
8
votes
3 answers

How to find a Lyapunov function in this case?

We have the system of differential equations $$ \begin{aligned} \frac{dx}{dt} &= y + \sin{x}\\ \frac{dy}{dt} &= -5x-2y. \end{aligned} $$ It's necessary to prove that the system is stable using a Lyapunov function or else show that it's not,…
8
votes
2 answers

How to pick a Lyapunov function and prove stability?

I am currently trying to learn how to determine the stability of a solution using Lyapunov's Method for autonomous systems. Say we are given the nonlinear system: $$\dot{x_1}(t)=-x_1(t) + x_1(t)x_2(t)$$ $$\dot{x_2}(t)=-x_2(t) $$ And we want to show…
8
votes
1 answer

Determining stability of equilibrium points for a non linear system

Given the system: $$ \left\{ \begin{array}{} \dot x=-x^3y^2 \\ \dot y = -2x^2y^3 \end{array} \right. $$ I need to find the equilibrium points and to determine whether the system is stable around them. I'v found $(0,0)$ to be a stable equilibrium…
7
votes
1 answer

Does Asymptotic Stability Imply the Existence of a Lyapunov Function for a Nonlinear System?

For a linear time-invariant system $\dot x = Ax,$ the inverse Lyapunov theorem asserts that if the origin is asymptotically stable, then a Lyapunov function in the form $V(x) = x^\top P x$ for some positive definite function $P.$ Is there a similar…
7
votes
3 answers

Find the Lyapunov function for the nonlinear second order system.

Consider the system $$ \begin{aligned} \dot{x}_1 &= -x_1+x_2,\\ \dot{x}_2 &= -x_2^3. \end{aligned} $$ The origin is obviously globally asymptotically stable. Indeed, $x_2\to 0$ and the dynamics of $x_1$ is linear and thus converges to zero for the…
Arastas
  • 2,443
6
votes
1 answer

Lyapunov function of perturbed linear time-varying ODE system

I am considering an ODE system as follows: $$\dot{x}(t) = A(t)x(t) + g(t,x),$$ where $A(t)\in \mathbb{R}^{n\times n}$ for any $t\geqslant t_0$, and $g(t,x)$ is a vanishing perturbing term (i.e., $g(t,0)=0$ for all $t\geqslant t_0$) satisfying $\Vert…
6
votes
0 answers

Is the solution to $\theta''+0.021\,\text{sgn}(\theta')\sqrt{|\theta'|}+0.02\sin(\theta)=0,\,\theta_0=\pi/2,\,\theta'_0=0$ of finite duration?

Is the solution to $\ddot{\theta}+0.021\,\text{sgn}(\dot{\theta})\sqrt{|\dot{\theta}|}+0.02\sin(\theta)=0,\,\,\theta(0)=\frac{\pi}{2},\,\dot{\theta}(0) = 0 \quad\text{(Eq. 1)}$ of finite duration? I would like to know if the solution is of finite…
6
votes
1 answer

How does this expression follow algebraically from the last one?

I was reading this paper: Global stability for an HIV/AIDS epidemic model with different latent stages and treatment Everything is understood apart from on page 7 of the pdf (page 1486 in the document). How does the author algebraically go from the…
6
votes
1 answer

Does Lyapunov theorem extend to dynamical system that have "equilibrium sets"?

Suppose that I have some dynamical system $$\dot x = f(x)$$ $f$ is locally Lipschitz, etc. I know that $f(x) = 0$ whenever $x \in \Gamma$, where $\Gamma$ is some closed (and possibly bounded) set in $\mathbb{R}^n$, could be a small disc, a line, a…
6
votes
1 answer

Can we combine this two Lyapunov functions (which imply local stability by separate) to conclude global stability?

Let $x(t)\in\mathbb{R}^n$ constrained to a dynamical system $$ \dot{x}(t) = f(x(t)) $$ for some vector field $f:\mathbb{R}^n\to\mathbb{R}^n$. Moreover, the dynamical system has a unique equilibrium point at the origin. My goal is to conclude that…
6
votes
1 answer

Constructing a Lyapunov function for an ODE system that describes epidemic spreading on scale-free networks

I was recently studying an epidemic spreading model, where two competing viruses spread over a scale-free network. $$ \begin{aligned} \frac{dI_{1,k}(t)}{dt} = - I_{1,k}(t) + \psi_1 k (1-I_{1,k} - I_{2,k}) \Theta_1(t)\\ \frac{dI_{2,k}(t)}{dt} = -…
6
votes
1 answer

What's an example where Lyapunov fails to find the bounds of stability

In linear control theory, a system is stable if and only if if satisfies the Routh–Hurwitz stability criterion, so we can use this to solve for the limits of stability. E.g. you can find the maximum gain that will allow for a stable system. However,…
6
votes
2 answers

Checking Lyapunov stability of non linear system

I need to check the stability of the equilibrium point of the following system, $n \in \Bbb N$: $$ \left\{ \begin{array} \dot \dot x_1=x_2 \\ \dot x_2=-x_1^n \end{array} \right. $$ I tried using linearization, but the eigenvalues are zero, which…
1
2 3
31 32