2016/04/20 by Kaname Matsue, Matsue, Kaname, Tomohiro Hiwaki +3 · 1 citation
Engineering · Mathematics · Physics and Astronomy · #37B25 #Advanced Differential Equations and Dynamical Systems #Control and Stability of Dynamical Systems #Dynamical Systems (math.DS) #FOS: Mathematics #Numerical Analysis (math.NA) #Primary: 34D05 #Quantum chaos and dynamical systems #Secondary: 65H10
paper · pdf · doi:10.48550/arxiv.1604.05953
openalex publication_date 2016/04/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for constructing explicit ranges where quadratic Lyapunov functions exist in two stages; negative definiteness of associating matrices and direct approach. We note that the former is equivalent to the procedure of cones describing enclosures of the stable and the unstable manifolds of invariant sets, which gives us flexible discussions of asymptotic behavior not only around equilibria for flows but also fixed points for maps. Additionally, our procedure admits a re-parameterization of trajectories in terms of values of Lyapunov functions. Several verification examples are shown for discussions of applicability.