Exponentially Stable Nonlinear Systems have Polynomial Lyapunov Functions on Bounded Regions

Details Exponentially Stable Nonlinear Systems have Polynomial Lyapunov Functions on Bounded Regions Exponentially Stable Nonlinear Systems have Polynomial Lyapunov Functions on Bounded Regions

2007-07-02

arxiv.org/abs/0707.0218v2

Mathematics

Classical Analysis and ODEs

journal version, 10 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Exponentially Stable Nonlinear Systems have Polynomial Lyapunov Functions on Bounded Regions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Exponentially Stable Nonlinear Systems have Polynomial Lyapunov Functions on Bounded Regions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Exponentially Stable Nonlinear Systems have Polynomial Lyapunov Functions on Bounded Regions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-692744