# American Institute of Mathematical Sciences

July  2004, 10(3): 657-678. doi: 10.3934/dcds.2004.10.657

## A constructive converse Lyapunov theorem on exponential stability

 1 Department of Theoretical Physics, Gerhard-Mercator-University, Duisburg, D-47057, Germany

Received  November 2002 Revised  June 2003 Published  January 2004

Closed physical systems eventually come to rest, the reason being that due to friction of some kind they continuously lose energy. The mathematical extension of this principle is the concept of a Lyapunov function. A Lyapunov function for a dynamical system, of which the dynamics are modelled by an ordinary differential equation (ODE), is a function that is decreasing along any trajectory of the system and with exactly one local minimum. This implies that the system must eventually come to rest at this minimum. Although it has been known for over 50 years that the asymptotic stability of an ODE's equilibrium is equivalent to the existence of a Lyapunov function for the ODE, there has been no constructive method for non-local Lyapunov functions, except in special cases. Recently, a novel method to construct Lyapunov functions for ODEs via linear programming was presented [5], [6], which includes an algorithmic description of how to derive a linear program for a continuous autonomous ODE, such that a Lyapunov function can be constructed from any feasible solution of this linear program. We will show how to choose the free parameters of this linear program, dependent on the ODE in question, so that it will have a feasible solution if the equilibrium at the origin is exponentially stable. This leads to the first constructive converse Lyapunov theorem in the theory of dynamical systems/ODEs.
Citation: Sigurdur Freyr Hafstein. A constructive converse Lyapunov theorem on exponential stability. Discrete and Continuous Dynamical Systems, 2004, 10 (3) : 657-678. doi: 10.3934/dcds.2004.10.657
 [1] Michael Schönlein. Asymptotic stability and smooth Lyapunov functions for a class of abstract dynamical systems. Discrete and Continuous Dynamical Systems, 2017, 37 (7) : 4053-4069. doi: 10.3934/dcds.2017172 [2] Bin Wang, Arieh Iserles. Dirichlet series for dynamical systems of first-order ordinary differential equations. Discrete and Continuous Dynamical Systems - B, 2014, 19 (1) : 281-298. doi: 10.3934/dcdsb.2014.19.281 [3] Christopher M. Kellett. Classical converse theorems in Lyapunov's second method. Discrete and Continuous Dynamical Systems - B, 2015, 20 (8) : 2333-2360. doi: 10.3934/dcdsb.2015.20.2333 [4] Luis Barreira, Claudia Valls. Stability of nonautonomous equations and Lyapunov functions. Discrete and Continuous Dynamical Systems, 2013, 33 (7) : 2631-2650. doi: 10.3934/dcds.2013.33.2631 [5] Sigurdur Hafstein, Skuli Gudmundsson, Peter Giesl, Enrico Scalas. Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming. Discrete and Continuous Dynamical Systems - B, 2018, 23 (2) : 939-956. doi: 10.3934/dcdsb.2018049 [6] Volodymyr Pichkur. On practical stability of differential inclusions using Lyapunov functions. Discrete and Continuous Dynamical Systems - B, 2017, 22 (5) : 1977-1986. doi: 10.3934/dcdsb.2017116 [7] Huijuan Li, Robert Baier, Lars Grüne, Sigurdur F. Hafstein, Fabian R. Wirth. Computation of local ISS Lyapunov functions with low gains via linear programming. Discrete and Continuous Dynamical Systems - B, 2015, 20 (8) : 2477-2495. doi: 10.3934/dcdsb.2015.20.2477 [8] Robert Baier, Lars Grüne, Sigurđur Freyr Hafstein. Linear programming based Lyapunov function computation for differential inclusions. Discrete and Continuous Dynamical Systems - B, 2012, 17 (1) : 33-56. doi: 10.3934/dcdsb.2012.17.33 [9] Janusz Mierczyński, Sylvia Novo, Rafael Obaya. Lyapunov exponents and Oseledets decomposition in random dynamical systems generated by systems of delay differential equations. Communications on Pure and Applied Analysis, 2020, 19 (4) : 2235-2255. doi: 10.3934/cpaa.2020098 [10] Jean Mawhin, James R. Ward Jr. Guiding-like functions for periodic or bounded solutions of ordinary differential equations. Discrete and Continuous Dynamical Systems, 2002, 8 (1) : 39-54. doi: 10.3934/dcds.2002.8.39 [11] Serge Nicaise. Stability and asymptotic properties of dissipative evolution equations coupled with ordinary differential equations. Mathematical Control and Related Fields, 2021  doi: 10.3934/mcrf.2021057 [12] Tomasz Kapela, Piotr Zgliczyński. A Lohner-type algorithm for control systems and ordinary differential inclusions. Discrete and Continuous Dynamical Systems - B, 2009, 11 (2) : 365-385. doi: 10.3934/dcdsb.2009.11.365 [13] Peter Giesl, Zachary Langhorne, Carlos Argáez, Sigurdur Hafstein. Computing complete Lyapunov functions for discrete-time dynamical systems. Discrete and Continuous Dynamical Systems - B, 2021, 26 (1) : 299-336. doi: 10.3934/dcdsb.2020331 [14] Fuke Wu, George Yin, Le Yi Wang. Razumikhin-type theorems on moment exponential stability of functional differential equations involving two-time-scale Markovian switching. Mathematical Control and Related Fields, 2015, 5 (3) : 697-719. doi: 10.3934/mcrf.2015.5.697 [15] Stefano Maset. Conditioning and relative error propagation in linear autonomous ordinary differential equations. Discrete and Continuous Dynamical Systems - B, 2018, 23 (7) : 2879-2909. doi: 10.3934/dcdsb.2018165 [16] William Guo. The Laplace transform as an alternative general method for solving linear ordinary differential equations. STEM Education, 2021, 1 (4) : 309-329. doi: 10.3934/steme.2021020 [17] Ping Lin, Weihan Wang. Optimal control problems for some ordinary differential equations with behavior of blowup or quenching. Mathematical Control and Related Fields, 2018, 8 (3&4) : 809-828. doi: 10.3934/mcrf.2018036 [18] Doan Thai Son. On analyticity for Lyapunov exponents of generic bounded linear random dynamical systems. Discrete and Continuous Dynamical Systems - B, 2017, 22 (8) : 3113-3126. doi: 10.3934/dcdsb.2017166 [19] Frédéric Mazenc, Christophe Prieur. Strict Lyapunov functions for semilinear parabolic partial differential equations. Mathematical Control and Related Fields, 2011, 1 (2) : 231-250. doi: 10.3934/mcrf.2011.1.231 [20] Zhiling Guo, Shugen Chai. Exponential stabilization of the problem of transmission of wave equation with linear dynamical feedback control. Evolution Equations and Control Theory, 2022  doi: 10.3934/eect.2022001

2021 Impact Factor: 1.588