## Abstract

This paper presents a proof that existence of a polyno-mial Lyapunov function is necessary and sufficient for exponential stability of sufficiently smooth nonlinear or-dinary differential equations on bounded sets. The main result implies that if there exists an n-times continuously differentiate Lyapunov function which proves exponen-tial stability on a bounded subset of ℝ<sup>n</sup> , then there exists a polynomial Lyapunov function which proves exponen-tial stability on the same region. Such a continuous Lya-punov function will exist if , for example , the right-hand side of the differential equation is polynomial or at least n-times continuously differentiable. Our investigation is motivated by the use of polynomial optimization algo-rithms to construct polynomial Lyapunov functions for systems of nonlinear ordinary differential equations.

Original language | English (US) |
---|---|

Title of host publication | 45th Annual Allerton Conference on Communication, Control, and Computing 2007 |

Publisher | University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering |

Pages | 1074-1081 |

Number of pages | 8 |

Volume | 2 |

ISBN (Print) | 9781605600864 |

State | Published - 2007 |

Externally published | Yes |

Event | 45th Annual Allerton Conference on Communication, Control, and Computing 2007 - Monticello, United States Duration: Sep 26 2007 → Sep 28 2007 |

### Other

Other | 45th Annual Allerton Conference on Communication, Control, and Computing 2007 |
---|---|

Country | United States |

City | Monticello |

Period | 9/26/07 → 9/28/07 |

## ASJC Scopus subject areas

- Computer Science Applications
- Computer Networks and Communications