Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach

DOI10.12775/TMNA.2016.072MaRDI QIDQ684070zbMATH OpenOpenAlexFDO

Authors Kaname Matsue

Publication date 9 February 2018

Published in Topological Methods in Nonlinear Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.01462, https://projecteuclid.org/euclid.tmna/1506477635

zbMATH Keywords

rigorous numericssingular perturbationsperiodic orbitsconnecting orbitscovering-exchange

Mathematics Subject Classification ID

Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Singular perturbations for ordinary differential equations (34E15) Approximate trajectories (pseudotrajectories, shadowing, etc.) in smooth dynamics (37C50) Invariant manifold theory for dynamical systems (37D10) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical solution of singularly perturbed problems involving ordinary differential equations (65L11)

Abstract: We provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system $x^{\prime }=f(x,y,epsilon),y^{\prime }=epsilong(x,y,epsilon)$ with one-dimensional slow variable $y$. Our validation procedure is based on topological tools called isolating blocks, cone condition and covering relations. Such tools provide us with existence theorems of global orbits which shadow singular orbits in terms of a new concept, the covering-exchange. Additional techniques called slow shadowing and $m$-cones are also developed. These techniques give us not only generalized topological verification theorems, but also easy implementations for validating trajectories near slow manifolds in a wide range, via rigorous numerics. Our procedure is available to validate global orbits not only for sufficiently small $epsilon>0$ but all $epsilon$ in a given half-open interval $(0,epsilo{n}_0]$. Several sample verification examples are shown as a demonstration of applicability.

Recommendations

• Rigorous Enclosures of a Slow Manifold
• Numerical continuation of canard orbits in slow-fast dynamical systems
• Numerical continuation techniques for planar slow-fast systems
• The conley index for fast-slow systems. II: multidimensional slow variable
• Singular homoclinic bifurcations in a planar fast-slow system

Cited in

(6)

• Traveling wave solutions for the FPU chain: a constructive approach
• On the construction of Lyapunov functions with computer assistance
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
• Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
• Numerical validation of blow-up solutions of ordinary differential equations
• Rigorous numerics for fast-slow systems

This page was built for publication: Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684070)