Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases

DOI10.14495/jsiaml.12.37zbMath1455.34059OpenAlexW3044452714MaRDI QIDQ5121400

Koki Nitta, Nobito Yamamoto, Masao Nakamura, Gen Terasaka

Publication date: 14 September 2020

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

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

zbMATH Keywords

dynamical systemsLyapunov functionsnumerical verificationnon-hyperbolic equilibria

Mathematics Subject Classification ID

Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Stability of solutions to ordinary differential equations (34D20) Numerical methods for ordinary differential equations (65L99)

Related Items (2)

On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases ⋮ Numerical verification method on complex ODEs for existence of global solutions within finite domains

Cites Work

• On the construction of Lyapunov functions with computer assistance
• Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
• Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

This page was built for publication: Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases