Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum

Abstract

We present a topological method for the efficient computer assisted verification of the existence of the homoclinic tangency which unfolds generically in a one-parameter family of planar maps. The method has been applied to the Henon map and the forced damped pendulum ODE.

34 pages, 3 figures

References in corpus (1)

• $C^r$-Lohner algorithm

Cited by in corpus (9)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
• Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
• Recent advances in rigorous computation of Poincaré maps
• Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
• Rigorous Enclosures of a Slow Manifold
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
• Geometric Proof of Strong Stable/Unstable Manifolds, with Application to the Restricted Three Body Problem