Complete Lyapunov Functions: Computation and Applications

Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 873)


Many phenomena in disciplines such as engineering, physics and biology can be represented as dynamical systems given by ordinary differential equations (ODEs). For their analysis as well as for modelling purposes it is desirable to obtain a complete description of a dynamical system. Complete Lyapunov functions, or quasi-potentials, describe the dynamical behaviour without solving the ODE for many initial conditions. In this paper, we use mesh-free numerical approximation to compute a complete Lyapunov function and to determine the chain-recurrent set, containing the attractors and repellers of the system. We use a homogeneous evaluation grid for the iterative construction, and thus improve a previous method. Finally, we apply our methodology to several examples, including one to compute an epigenetic landscape, modelling a bistable network of two genes. This illustrates the capability of our method to solve interdisciplinary problems.


Dynamical system Complete Lyapunov Function Quasi-potential Mesh-free collocation Radial basis functions 



First author in this paper is supported by the Icelandic Research Fund (Rannís) grant number 163074-052, Complete Lyapunov functions: Efficient numerical computation. Special thanks to Dr. Jean-Claude Berthet for all his good comments and advices on C++.


  1. 1.
    Bhattacharya, S., Zhang, Q., Andersen, M.E.: A deterministic map of Waddington’s epigenetic landscape for cell fate specification. BMC Syst. Biol. 5, 85 (2011)CrossRefGoogle Scholar
  2. 2.
    Doban A.: Stability domains computation and stabilization of nonlinear systems: implications for biological systems. Ph.D. thesis. Eindhoven University of Technology (2016)Google Scholar
  3. 3.
    Doban A., Lazar M.: Computation of Lyapunov functions for nonlinear differential equations via a Yoshizawa-type construction. In: 10th IFAC Symposium on Nonlinear Control Systems NOLCOS 2016, Monterey, California, USA, 23–25 August 2016, IFAC-PapersOnLine, 2016, vol. 49, no. 18, pp. 29–34 (2016). ISSN 2405-8963CrossRefGoogle Scholar
  4. 4.
    Anderson, J., Papachristodoulou, A.: Advances in computational Lyapunov Analysis using sum-of-squares programming. Discrete Contin. Dyn. Syst. Ser. B 20, 2361–2381 (2015)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Auslander, J.: Generalized recurrence in dynamical systems. Contr. Diff. Eq. 3, 65–74 (1964)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Björnsson J., Giesl P., Hafstein S.: Algorithmic verification of approximations to complete Lyapunov functions. In: Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems (no. 0180), pp. 1181–1188 (2014)Google Scholar
  7. 7.
    Björnsson J., Giesl P., Hafstein S., Kellett C., Li H.: Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction. In: Proceedings of the CDC 53rd IEEE Conference on Decision and Control (2014)Google Scholar
  8. 8.
    Björnsson, J., Giesl, P., Hafstein, S., Kellett, C., Li, H.: Computation of Lyapunov functions for systems with multiple attractors. Discrete Contin. Dyn. Syst. 9, 4019–4039 (2015)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Ban, H., Kalies, W.: A computational approach to Conley’s decomposition theorem. J. Comput. Nonlinear Dyn. 1, 312–319 (2006)CrossRefGoogle Scholar
  10. 10.
    Isolated Invariant Sets and the Morse Index, C. Conley, American Mathematical Society, CBMS Regional Conference Series no. 3 (1978)Google Scholar
  11. 11.
    Dellnitz, M., Froyland, G., Junge, O.: The algorithms behind GAIO - set oriented numerical methods for dynamical systems. In: Ergodic Theory Analysis and Efficient Simulation of Dynamical Systems, pp. 145–174, 805–807. Springer, Berlin (2001)CrossRefGoogle Scholar
  12. 12.
    Dellnitz, M., Junge, O.: Set oriented numerical methods for dynamical systems. In: Handbook of Dynamical Systems, North-Holland Amsterdam, vol. 2, pp. 221–264 (2002)zbMATHGoogle Scholar
  13. 13.
    Giesl, P.: Construction of Global Lyapunov Functions Using Radial Basis Functions. Lecture Notes in Math., vol. 1904. Springer (2007)Google Scholar
  14. 14.
    Giesl, P., Wendland, H.: Meshless collocation: error estimates with application to Dynamical Systems. SIAM J. Numer. Anal. 45, 1723–1741 (2007)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Giesl, P., Hafstein, S.: Review of computational methods for Lyapunov functions. Discrete Contin. Dyn. Syst. Ser. B 20, 2291–2331 (2015)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Goullet, A., Harker, S., Mischaikow, K., Kalies, W., Kasti, D.: Efficient computation of Lyapunov functions for morse decompositions. Discrete Contin. Dyn. Syst. Ser. B 20, 2419–2451 (2015)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Hafstein, S.: An algorithm for constructing Lyapunov functions. Electron. J. Diff. Eqns. (2007)Google Scholar
  18. 18.
    Hsu, C.S.: Cell-to-Cell Mapping. Applied Mathematical Sciences, vol. 64, Springer, New York (1987)CrossRefGoogle Scholar
  19. 19.
    Hurley, M.: Noncompact chain recurrence and attraction. Proc. Am. Math. Soc. 115, 1139–1148 (1992)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Hurley, M.: Lyapunov functions and attractors in arbitrary metric spaces. Proc. Am. Math. Soc. 126, 245–256 (1998)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Johansson, M.: Piecewise linear control systems, Ph.D. thesis: Lund University Sweden (1999)Google Scholar
  22. 22.
    Johansen, T.: Computation of Lyapunov functions for smooth nonlinear systems using convex optimization. Automatica 36, 1617–1626 (2000)MathSciNetCrossRefGoogle Scholar
  23. 23.
    Kamyar, R., Peet, M.: Polynomial optimization with applications to stability analysis and control - an alternative to sum of squares. Discrete Contin. Dyn. Syst. Ser. B 20, 2383–2417 (2015)MathSciNetCrossRefGoogle Scholar
  24. 24.
    Kalies, W., Mischaikow, K., VanderVorst, R.: An algorithmic approach to chain recurrence. Found. Comput. Math. 5, 409–449 (2005)MathSciNetCrossRefGoogle Scholar
  25. 25.
    Marinósson, S.: Lyapunov function construction for ordinary differential equations with linear programming. Dyn. Syst. Int. J. 17, 137–150 (2002)MathSciNetCrossRefGoogle Scholar
  26. 26.
    Narcowich, F.J., Ward, J.D., Wendland, H.: Sobolev bounds on functions with scattered zeros with applications to radial basis function surface fitting. Math. Comp. 74, 743–763 (2005)MathSciNetCrossRefGoogle Scholar
  27. 27.
    Wendland, H.: Error estimates for interpolation by compactly supported Radial Basis Functions of minimal degree. J. Approx. Theory 93, 258–272 (1998)MathSciNetCrossRefGoogle Scholar
  28. 28.
    Hurley, M.: Chain recurrence semiflows and gradient. J. Dyn. Diff. Eq. 7, 437–456 (1995)MathSciNetCrossRefGoogle Scholar
  29. 29.
    Lyapunov A. M.: The general problem of the stability of motion. Int. J. Control 55, 521–790 (1992). Translated by A. T. Fuller from Édouard Davaux’s French translation (1907) of the 1892 Russian originalGoogle Scholar
  30. 30.
    Osipenko, G.: Dynamical Systems Graphs and Algorithms. Lecture Notes in Mathematics, vol. 1889. Springer, Berlin (2007)Google Scholar
  31. 31.
    Argáez, C., Giesl, P., Hafstein, S.: Analysing dynamical systems towards computing complete Lyapunov functions. In: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies Technologies and Applications, SIMULTECH 2017, Madrid, Spain (2017)Google Scholar
  32. 32.
    Argáez, C., Giesl, P., Hafstein, S.: Computational approach for complete Lyapunov functions. In: Proceedings in Mathematics and Statistics. Springer (2018, accepted for publication)Google Scholar
  33. 33.
    Argáez, C., Giesl, P., Hafstein, S.: Iterative construction of complete Lyapunov functions. SubmittedGoogle Scholar
  34. 34.
    Argáez, C., Giesl, P., Hafstein, S.: Computation of complete Lyapunov functions for three-dimensional systems. SubmittedGoogle Scholar
  35. 35.
    Conley, C.: The gradient structure of a flow I. Ergodic Theory Dyn. Syst. 8, 11–26 (1988)MathSciNetCrossRefGoogle Scholar
  36. 36.
    Wendland, H.: Scattered Data Approximation. Cambridge Monographs on Applied and Computational Mathematics, vol. 17. Cambridge University Press, Cambridge (2005)Google Scholar
  37. 37.
    Krauskopf, B., Osinga, H., Doedel, E. J., Henderson, M., Guckenheimer, J., Vladimirsky, A.,Dellnitz, M., Junge, O.: A survey of methods for computing (un)stable manifolds of vector fields. Int. J. Bifur. Chaos Appl. Sci. Eng. 15, 763–791 (2015)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Science InstituteUniversity of IcelandReykjavíkIceland
  2. 2.Department of MathematicsUniversity of SussexFalmerUK

Personalised recommendations