Exponentially Stable Nonlinear Systems have Polynomial Lyapunov Functions on Bounded Regions

Matthew M. Peet

This paper presents a proof that existence of a polynomial Lyapunov function is necessary and sufficient for exponential stability of sufficiently smooth nonlinear ordinary differe…