Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
From MaRDI portal
Abstract: This paper presents a proof that existence of a polynomial Lyapunov function is necessary and sufficient for exponential stability of sufficiently smooth nonlinear ordinary differential equations on bounded sets. The main result states that if there exists an n-times continuously differentiable Lyapunov function which proves exponential stability on a bounded subset of R^n, then there exists a polynomial Lyapunov function which proves exponential stability on the same region. Such a continuous Lyapunov function will exist if, for example, the right-hand side of the differential equation is polynomial or at least n-times continuously differentiable. The proof is based on a generalization of the Weierstrass approximation theorem to differentiable functions in several variables. Specifically, we show how to use polynomials to approximate a differentiable function in the Sobolev norm W^{1,infty} to any desired accuracy. We combine this approximation result with the second-order Taylor series expansion to find that polynomial Lyapunov functions can approximate continuous Lyapunov functions arbitrarily well on bounded sets. Our investigation is motivated by the use of polynomial optimization algorithms to construct polynomial Lyapunov functions.
Cited in
(23)- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
- A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function
- Monte Carlo with determinantal point processes
- Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets
- Revised CPA method to compute Lyapunov functions for nonlinear systems
- Review on computational methods for Lyapunov functions
- Advances in computational Lyapunov analysis using sum-of-squares programming
- A partial integral equation (PIE) representation of coupled linear PDEs and scalable stability analysis using LMIs
- A converse sum of squares Lyapunov function for outer approximation of minimal attractor sets of nonlinear systems
- Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability
- LMI stability conditions for uncertain rational nonlinear systems
- Computation and verification of Lyapunov functions
- Construction of a CPA contraction metric for periodic orbits using semidefinite optimization
- Automatic determination of connected sublevel sets of CPA Lyapunov functions
- Converse theorems in Lyapunov's second method and applications for fractional order systems
- Robust nonlinear stability and performance analysis of an F/A-18 aircraft model using sum of squares programming
- Quantitative local \(L_2\)-gain and reachability analysis for nonlinear systems
- Subgradient algorithm for computing contraction metrics for equilibria
- Density theorems with applications in quantum signal processing
- On the conservatism of the sum-of-squares method for analysis of time-delayed systems
- Model reference safety-critical adaptive control for nonlinear and switched systems
- Construction of Lyapunov functions for nonlinear planar systems by linear programming
- On the existence of sum-of-squares Lyapunov functions for polynomial parameter-varying systems with locally exponential stability
This page was built for publication: Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4974554)
