Rigorous Computations of Homoclinic Tangencies

DOI10.1137/050626429zbMath1210.37008OpenAlexW2032339321MaRDI QIDQ5309743

Konstantin Mischaikow, Zin Arai

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

connecting orbitcomputational homologyconley indexHomoclinic tangency

Mathematics Subject Classification ID

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

Related Items (12)

Recent development in rigorous computational methods in dynamical systems ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS ⋮ Homology algorithm based on acyclic subspace ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ On loops in the hyperbolic locus of the complex Hénon map and their monodromies ⋮ Finite resolution dynamics ⋮ Boundary of the Horseshoe Locus for the Hénon Family ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Numerical computation of orbits and rigorous verification of existence of snapback repellers ⋮ The Many Facets of Chaos

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