Efficient automation of index pairs in computational conley index theory

SIAM Journal on Applied Dynamical Systems

Volumn 11, Issue 1, 2012, Pages 82-109

  Frongillo, Rafael ^a   Treviño, Rodrigo ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Bldg 142   (United States)

Author keywords

Computer assisted proof; Conley index; Standard map; Topological entropy

Indexed keywords

COMPUTER ASSISTED; CONLEY INDEX; LOWER BOUNDS; STANDARD MAP; SUBSHIFT OF FINITE TYPE; TOPOLOGICAL ENTROPY;

ALGORITHMS; DYNAMICAL SYSTEMS; TOPOLOGY;

COMPUTATION THEORY;

EID: 84861595518     PISSN: None     EISSN: 15360040     Source Type: Journal    
DOI: 10.1137/100808587     Document Type: Article

References (25)

1. Computational Homology Project (CHomP), http://chomp.rutgers.edu.
2. B. Bánhelyi, T. Csendes, and B. M. Garay, Optimization and the Miranda approach in detecting horseshoe-type chaos by computer, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 17 (2007), pp. 735-747.
3. B. Bánhelyi, T. Csendes, B. M. Garay, and L. Hatvani, A computer-assisted proof of S3-chaos in the forced damped pendulum equation, SIAM J. Appl. Dyn. Syst., 7 (2008), pp. 843-867.
4. X. Cabré, E. Fontich, and R. de la Llave, The parameterization method for invariant manifolds. III. Overview and applications, J. Differential Equations, 218 (2005), pp. 444-515.
5. S. Day, R. Frongillo, and R. Treviño, Algorithms for rigorous entropy bounds and symbolic dynamics, SIAM J. Appl. Dyn. Syst., 7 (2008), pp. 1477-1506.
6. S. Day, O. Junge, and K. Mischaikow, A rigorous numerical method for the global analysis of infinitedimensional discrete dynamical systems, SIAM J. Appl. Dyn. Syst., 3 (2004), pp. 117-160.
7. S. Day, O. Junge, and K. Mischaikow, Towards automated chaos verification, in EQUADIFF 2003, World Scientific, Hackensack, NJ, 2005, pp. 157-162.
8. M. Dellnitz, G. Froyland, and O. Junge, The algorithms behind GAIO-set oriented numerical methods for dynamical systems, in Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems, Springer, Berlin, 2001, pp. 145-174, 805-807.
9. J. Franks and D. Richeson, Shift equivalence and the Conley index, Trans. Amer. Math. Soc., 352 (2000), pp. 3305-3322.
10. R. M. Frongillo, Topological Entropy Bounds for Hyperbolic Plateaus of the Hénon Map, http://arxiv. org/abs/1001.4211, 2010.
11. V. G. Gelfreich, A proof of the exponentially small transversality of the separatrices for the standard map, Comm. Math. Phys., 201 (1999), pp. 155-216.
12. C. Golé, Symplectic Twist Maps. Global Variational Techniques, Advanced Series in Nonlinear Dynamics 18, World Scientific, River Edge, NJ, 2001.
13. J. M. Greene, A method for determining a stochastic transition, J. Math. Phys., 20 (1979), pp. 1183-1201.
14. O. Junge, Computing specific isolating neighborhoods, in Progress in Analysis, Vol. I, II (Berlin, 2001), World Scientific, River Edge, NJ, 2003, pp. 571-576.
15. I. Jungreis, A method for proving that monotone twist maps have no invariant circles, Ergodic Theory Dynam. Systems, 11 (1991), pp. 79-84.
16. T. Kaczynski, K. Mischaikow, and M. Mrozek, Computational Homology, Appl. Math. Sci. 157, Springer-Verlag, New York, 2004.
17. O. Knill, Topological entropy of standard type monotone twist maps, Trans. Amer. Math. Soc., 348 (1996), pp. 2999-3013.
18. J. D. Mireles James, Adaptive set-oriented computation of topological horseshoe factors in area-and volume preserving maps, SIAM J. Appl. Dyn. Syst., 9 (2010), pp. 1164-1200.
19. K. Mischaikow and M. Mrozek, Conley index, in Handbook of Dynamical Systems, Vol. 2, North-Holland, Amsterdam, 2002, pp. 393-460.
20. S. Newhouse, M. Berz, J. Grote, and K. Makino, On the estimation of topological entropy on surfaces, in Geometric and Probabilistic Structures in Dynamics, Contemp. Math. 469, AMS, Providence, RI, 2008, pp. 243-270.
21. J. W. Robbin and D. Salamon, Dynamical systems, shape theory and the Conley index, Ergodic Theory Dynam. Systems, 8 (1988), pp. 375-393.
22. S. M. Rump, INTLAB -INTerval LABoratory, in Developments in Reliable Computing, T. Csendes, ed., Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999, pp. 77-104.
23. R. F. Williams, Classification of one dimensional attractors, in Global Analysis (Proc. Sympos. Pure Math., Vol. XIV, Berkeley, Calif., 1968), AMS, Providence, RI, 1970, pp. 341-361.
24. Y. Yamaguchi and K. Tanikawa, Topological entropy in a parameter range of the standard map, Progr. Theoret. Phys., 121 (2009), pp. 657-669.
25. P. Zgliczýnski and M. Gidea, Covering relations for multidimensional dynamical systems, J. Differential Equations, 202 (2004), pp. 32-58.