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

DOI10.14495/jsiaml.15.69OpenAlexW4386128758MaRDI QIDQ6139486

Koki Nitta, Nobito Yamamoto

Publication date: 19 December 2023

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

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

zbMATH Keywords

dynamical systemsconservative quantitiesNumerical verificationcomplex ODEs

Mathematics Subject Classification ID

Numerical methods for Hamiltonian systems including symplectic integrators (65P10) General theory of finite-dimensional Hamiltonian and Lagrangian systems, Hamiltonian and Lagrangian structures, symmetries, invariants (37J06)

Cites Work

• On the construction of Lyapunov functions with computer assistance
• Vector fields defined by complex functions
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
• On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases
• Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases
• Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
• Unnamed Item

This page was built for publication: Numerical verification method on complex ODEs for existence of global solutions within finite domains