Rigorous numerics for fast-slow systems

DOI10.1090/suga/483OpenAlexW4385806264MaRDI QIDQ6117937

Kaname Matsue

Publication date: 21 February 2024

Published in: Sugaku Expositions (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/suga/483

Mathematics Subject Classification ID

Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical solution of boundary value problems involving ordinary differential equations (65L10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• Beyond the Melnikov method: A computer assisted approach
• Numerical validation of blow-up solutions of ordinary differential equations
• Geometric proof for normally hyperbolic invariant manifolds
• On the construction of Lyapunov functions with computer assistance
• Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach
• The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
• Covering relations, cone conditions and the stable manifold theorem
• Geometric singular perturbation theory for ordinary differential equations
• Tracking invariant manifolds with differential forms in singularly perturbed systems
• \(C^1\) Lohner algorithm.
• Covering relations for multidimensional dynamical systems
• Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
• Topological method for symmetric periodic orbits for maps with a reversing symmetry
• Topological horseshoes of traveling waves for a fast-slow predator-prey system
• The parameterization method for invariant manifolds. III: Overview and applications
• Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter
• A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• Validated Continuation for Equilibria of PDEs
• Mappings and homological properties in the Conley index theory
• Tracking Invariant Manifolds up to Exponentially Small Errors
• Rigorous Enclosures of a Slow Manifold
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation