Computer assisted proof of the existence of homoclinic tangency for the Hénon map and for the forced damped pendulum

SIAM Journal on Applied Dynamical Systems

Volumn 8, Issue 4, 2009, Pages 1632-1663

  Wilczak, Daniel ^a   Zgliczyński, Piotr ^b  

^a UNIVERSITY OF BERGEN   (Norway)

^b JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Computer assisted proof; Cone condition; Covering relation; Homoclinic tangency; Transversal intersection

Indexed keywords

COMPUTER ASSISTED PROOF; COMPUTER-ASSISTED VERIFICATION; COVERING RELATION; FORCED DAMPED PENDULUMS; HOMOCLINIC TANGENCIES; ONE PARAMETER FAMILY; PLANAR MAPS; TOPOLOGICAL METHODS;

PENDULUMS;

SELF ORGANIZING MAPS;

EID: 77950899015     PISSN: None     EISSN: 15360040     Source Type: Journal    
DOI: 10.1137/090759975     Document Type: Article

References (22)

1. Z. ARAI, Tangencies and the Conley index, Ergodic Theory Dynam. Systems, 22 (2002), pp. 973-999.
2. Z. ARAI AND K. MISCHAIKOW, Rigorous computations of homoclinic tangencies, SIAM J. Appl. Dyn. Syst., 5 (2006), pp. 280-292.
3. 3-chaos in the forced damped pendulum equation, SIAM J. Appl. Dyn. Syst., 7 (2008), pp. 843-867.
4. CHOMP - Computational Homology Project, http://chomp.rutgers.edu.
5. M. DELLNITZ AND O. JUNGE, GAIO, http://math-www.uni-paderborn.de/ ~agdellnitz/gaio.
6. J.E. FORNAESS AND E. A. GAVOSTO, Existence of generic homoclinic tangencies for Hénon mappings, J. Geom. Anal., 2 (1992), pp. 429-444.
7. J.E. FoRNAESS AND E. A. GAVOSTO, Tangencies for real and complex Hénon maps: An analytic method, Experiment. Math., 8 (1999), pp. 253-260.
8. Z. GALIAS, T. KAPELA, M. MROZEK, P. PILARCZYK, D. WILCZAK, P. ZGLICZYŃSKI, AND M. ZELAWSKI, CAPD - Computer Assisted Proofs in Dynamics, a Package for Rigorous Numerics, http://capd.ii.uj.edu.pl.
9. A. GRIEWANK, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Frontiers in Applied Mathematics 19, SIAM, Philadelphia, 2000.
10. J. GUCKENHEIMER AND P. HOLMES, Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Fields, Appl. Math. Sci. 43, Springer-Verlag, New York, 1983.
11. M. HÉNON, A two-dimensional mapping with a strange attractor, Comm. Math. Phys., 50 (1976), pp. 69-77.
12. H. KOKUBU, D. WILCZAK, AND P. ZGLICZYŃSKI, Rigorous verification of cocoon bifurcations in the Michelson system, Nonlinearity, 20 (2007), pp. 2147-2174.
13. R.E. MOORE, Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1966.
14. J. PALIS AND F. TAKENS, Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations, Cambridge Studies in Advanced Mathematics 35, Cambridge University Press, Cambridge, UK, 1993.
15. C. ROBINSON, Bifurcation to infinitely many sinks, Comm. Math. Phys., 90 (1983), pp. 433-459.
16. J. ROHN, Positive definiteness and stability of interval matrices, SIAM J. Matrix Anal. Appl., 15 (1994), pp. 175-184.
17. Q. WANG AND L.-S. YOUNG, Strange attractors with one direction of instability, Comm. Math. Phys., 218 (2001), pp. 1-97.
18. Q. WANG AND L.-S. YOUNG, Toward a theory of rank one attractors, Ann. of Math. (2), 167 (2008), pp. 349-480.
19. D. WILCZAK, http://www.ii.uj.edu.pl/~wilczak.
20. D. WILCZAK AND P. ZGLICZYŃSKI, Topological method for symmetric periodic orbits for maps with a reversing symmetry, Discrete Contin. Dyn. Syst., 17 (2007), pp. 629-652.
21. r-Lohner algorithm, preprint.
22. P. ZGLICZYŃSKI, Covering relations, cone conditions and the stable manifold theorem, J. Differential Equations, 246 (2009), pp. 1774-1819.