Rigorous Computations of Homoclinic Tangencies

DOI10.1137/050626429MaRDI QIDQ5309743zbMATH OpenOpenAlexFDO

Authors Zin Arai, K. Mischaikow

Publication date 2 October 2007

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

Full work available at URL https://semanticscholar.org/paper/230296d7cb84f9d84edaef3ddcacdc7c28ee0745

zbMATH Keywords

computational homologyconley indexconnecting orbitHomoclinic tangency

Mathematics Subject Classification ID

Index theory for dynamical systems, Morse-Conley indices (37B30) Bifurcations connected with nontransversal intersection in dynamical systems (37G25) Computational methods for bifurcation problems in dynamical systems (37M20)

Recommendations

• Computer assisted proof of the existence of homoclinic tangency for the Hénon map and for the forced damped pendulum
• Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
• Existence of generic homoclinic tangencies for Hénon mappings
• RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
• Homoclinic shadowing

Cited in

(16)

• On loops in the hyperbolic locus of the complex Hénon map and their monodromies
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Validated numerics for continuation and bifurcation of connecting orbits of maps
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Abundance of \(C^{1}\)-robust homoclinic tangencies
• Starting homoclinic tangencies near 1 : 1 resonances
• RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
• Numerical computation of orbits and rigorous verification of existence of snapback repellers
• Boundary of the horseshoe locus for the Hénon family
• The Many Facets of Chaos
• Finite resolution dynamics
• Computer assisted proof of the existence of homoclinic tangency for the Hénon map and for the forced damped pendulum
• Topological horseshoe and uniform hyperbolicity of the symplectic coupled Hénon map
• Recent development in rigorous computational methods in dynamical systems
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
• Homology algorithm based on acyclic subspace

This page was built for publication: Rigorous Computations of Homoclinic Tangencies

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