# 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 & Continuous Dynamical Systems - A, 2004, 10 (3) : 657-678. doi: 10.3934/dcds.2004.10.657
 [1] Bin Wang, Arieh Iserles. Dirichlet series for dynamical systems of first-order ordinary differential equations. Discrete & Continuous Dynamical Systems - B, 2014, 19 (1) : 281-298. doi: 10.3934/dcdsb.2014.19.281 [2] Michael Schönlein. Asymptotic stability and smooth Lyapunov functions for a class of abstract dynamical systems. Discrete & Continuous Dynamical Systems - A, 2017, 37 (7) : 4053-4069. doi: 10.3934/dcds.2017172 [3] Christopher M. Kellett. Classical converse theorems in Lyapunov's second method. Discrete & 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 & Continuous Dynamical Systems - A, 2013, 33 (7) : 2631-2650. doi: 10.3934/dcds.2013.33.2631 [5] Volodymyr Pichkur. On practical stability of differential inclusions using Lyapunov functions. Discrete & Continuous Dynamical Systems - B, 2017, 22 (5) : 1977-1986. doi: 10.3934/dcdsb.2017116 [6] Sigurdur Hafstein, Skuli Gudmundsson, Peter Giesl, Enrico Scalas. Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming. Discrete & Continuous Dynamical Systems - B, 2018, 23 (2) : 939-956. doi: 10.3934/dcdsb.2018049 [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 & Continuous Dynamical Systems - B, 2015, 20 (8) : 2477-2495. doi: 10.3934/dcdsb.2015.20.2477 [8] Jean Mawhin, James R. Ward Jr. Guiding-like functions for periodic or bounded solutions of ordinary differential equations. Discrete & Continuous Dynamical Systems - A, 2002, 8 (1) : 39-54. doi: 10.3934/dcds.2002.8.39 [9] Robert Baier, Lars Grüne, Sigurđur Freyr Hafstein. Linear programming based Lyapunov function computation for differential inclusions. Discrete & Continuous Dynamical Systems - B, 2012, 17 (1) : 33-56. doi: 10.3934/dcdsb.2012.17.33 [10] Tomasz Kapela, Piotr Zgliczyński. A Lohner-type algorithm for control systems and ordinary differential inclusions. Discrete & Continuous Dynamical Systems - B, 2009, 11 (2) : 365-385. doi: 10.3934/dcdsb.2009.11.365 [11] 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 & Related Fields, 2015, 5 (3) : 697-719. doi: 10.3934/mcrf.2015.5.697 [12] Stefano Maset. Conditioning and relative error propagation in linear autonomous ordinary differential equations. Discrete & Continuous Dynamical Systems - B, 2018, 23 (7) : 2879-2909. doi: 10.3934/dcdsb.2018165 [13] Ping Lin, Weihan Wang. Optimal control problems for some ordinary differential equations with behavior of blowup or quenching. Mathematical Control & Related Fields, 2018, 8 (3&4) : 809-828. doi: 10.3934/mcrf.2018036 [14] Doan Thai Son. On analyticity for Lyapunov exponents of generic bounded linear random dynamical systems. Discrete & Continuous Dynamical Systems - B, 2017, 22 (8) : 3113-3126. doi: 10.3934/dcdsb.2017166 [15] Frédéric Mazenc, Christophe Prieur. Strict Lyapunov functions for semilinear parabolic partial differential equations. Mathematical Control & Related Fields, 2011, 1 (2) : 231-250. doi: 10.3934/mcrf.2011.1.231 [16] Yuyun Zhao, Yi Zhang, Tao Xu, Ling Bai, Qian Zhang. pth moment exponential stability of hybrid stochastic functional differential equations by feedback control based on discrete-time state observations. Discrete & Continuous Dynamical Systems - B, 2017, 22 (1) : 209-226. doi: 10.3934/dcdsb.2017011 [17] Yuriy Golovaty, Anna Marciniak-Czochra, Mariya Ptashnyk. Stability of nonconstant stationary solutions in a reaction-diffusion equation coupled to the system of ordinary differential equations. Communications on Pure & Applied Analysis, 2012, 11 (1) : 229-241. doi: 10.3934/cpaa.2012.11.229 [18] Leonid Berezansky, Elena Braverman. Stability of linear differential equations with a distributed delay. Communications on Pure & Applied Analysis, 2011, 10 (5) : 1361-1375. doi: 10.3934/cpaa.2011.10.1361 [19] A. Domoshnitsky. About maximum principles for one of the components of solution vector and stability for systems of linear delay differential equations. Conference Publications, 2011, 2011 (Special) : 373-380. doi: 10.3934/proc.2011.2011.373 [20] Evelyn Buckwar, Girolama Notarangelo. A note on the analysis of asymptotic mean-square stability properties for systems of linear stochastic delay differential equations. Discrete & Continuous Dynamical Systems - B, 2013, 18 (6) : 1521-1531. doi: 10.3934/dcdsb.2013.18.1521

2018 Impact Factor: 1.143