How can I prove that the differential equation $\dot{x} = b(x - a x^2)$, where $a, b > 0$, has a asymptotically stable equilibirum at $x^* = 1/a$? One way to do it is via linearization, but I am interested to know whether there is a way to do it via the direct Lyapunov method?
2026-03-26 08:14:09.1774512849
Stability proof of a seemingly simple nonlinear differential equation?
91 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in CONTROL-THEORY
- MIT rule VS Lyapunov design - Adaptive Control
- Question on designing a state observer for discrete time system
- Do I really need quadratic programming to do a Model Predictive Controller?
- Understanding Definition of Switching Sequence
- understanding set of controllable state for switched system
- understanding solution of state equation
- Derive Anti Resonance Frequency from Transfer Function
- Laplace Transforms, show the relationship between the 2 expressions
- Laplace transform of a one-sided full-wave rectified...
- Controlled Markov process - proper notation and set up
Related Questions in STABILITY-IN-ODES
- Stability of system of ordinary nonlinear differential equations
- Stability of system of parameters $\kappa, \lambda$ when there is a zero eigenvalue
- Stability of stationary point $O(0,0)$ when eigenvalues are zero
- How to analyze a dynamical system when $t\to\infty?$
- The system $x' = h(y), \space y' = ay + g(x)$ has no periodic solutions
- Existence of unique limit cycle for $r'=r(μ-r^2), \space θ' = ρ(r^2)$
- Intuitive proof of Lyapunov's theorem
- Stability of a nonlinear ODE system (only existence of the limit)
- Deriving inequality from a Lyapunov test of $x' = -x + y^3, \space y' = -y + ax^3$
- does the order lineariztion/evaluation matter here?
Related Questions in LYAPUNOV-FUNCTIONS
- Deriving inequality from a Lyapunov test of $x' = -x + y^3, \space y' = -y + ax^3$
- Question about stability of a nonlinear dynamical system
- Determine the stability properties and convergence in the origin using Lyapunov Direct Method
- When is $A^TR + RA = -2RA$
- Finding a unique fixed point for a dynamical system
- How to find a Lyapunov function?
- Special case of Lyapunov equation $AP+PA=-I$
- Lyapunov Function for Nonlinear Systems
- Finding a Lyapunov function for modified quadratic form
- Lyapunov function for predator-prey system
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Assume that $x_0>0$, then we have that $x(t)>0$ for all $t\ge0$ since 0 is an unstable equilibrium point. If $x_0<0$, then $x(t)\to-\infty$ since $\dot{x}<0$ for all $x<0$. If $x_0=0,1/a$, then $x(t)=0,1/a$ for all $t\ge0$ as those points are equilibrium points of the system.
Define then the function $V(x)=(x-1/a)^2/2$. Then, we have that
$$\dot{V}(x)=-bax(x-1/a)^2$$ along the flow of the system. Since starting from $x_0>0$, the state remains negative at all time, then the derivative of the Lyapunov function evaluated along the flow of the system is negative. This proves asymptotic stability.
We can prove exponential stability the following way. Assume that $x_0>1/a$, then we have that
$$\dot{V}(x)=-bax(x-1/a)^2\le -b(x-1/a)^2=-2bV(x)$$
and we have exponential convergence of the Lyapunov function with rate $2b$, which means that the state converges with rate $b$.
Assume now that $x<1/a$, then we have that
$$\dot{V}(x)=-bax(x-1/a)^2\le -bax_0(x-1/a)^2=-2bax_0V(x)$$
and we have exponential convergence of the Lyapunov function with rate $2abx_0$, which means that the state converges with rate $abx_0$. It is interesting to note that in this case, the rate of convergence is not uniform and depends on the initial condition.