On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases

DOI10.14495/jsiaml.14.33OpenAlexW4225619888WikidataQ115514753 ScholiaQ115514753MaRDI QIDQ5047121

Toshiki Sasaki, Koki Nitta, Nobito Yamamoto

Publication date: 9 November 2022

Published in: JSIAM Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14495/jsiaml.14.33

zbMATH Keywords

dynamical systemsLyapunov functionsnumerical verificationnon-hyperbolic equilibria

Mathematics Subject Classification ID

Numerical analysis (65-XX) Computer science (68-XX)

Related Items (1)

Numerical verification method on complex ODEs for existence of global solutions within finite domains

Cites Work

• Unnamed Item
• On the construction of Lyapunov functions with computer assistance
• Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases

This page was built for publication: On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases