Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum

DOI10.1137/090759975zbMath1187.37115arXiv0905.3924OpenAlexW1967778555MaRDI QIDQ5850850

Publication date: 20 January 2010

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0905.3924

zbMATH Keywords

covering relation homoclinic tangency transversal intersection computer assisted proof cone condition

Mathematics Subject Classification ID

Index theory for dynamical systems, Morse-Conley indices (37B30) Computational methods for bifurcation problems in dynamical systems (37M20) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Dynamical systems in numerical analysis (37N30)

Related Items (11)

On computer-assisted proving the existence of periodic and bounded orbits ⋮ Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation ⋮ Expansivity implies existence of Hölder continuous Lyapunov function ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum ⋮ Spatially localized solutions of the Hammerstein equation with sigmoid type of nonlinearity ⋮ Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ 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 ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

This page was built for publication: Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum