Covering relations, cone conditions and the stable manifold theorem

Journal of Differential Equations

Volumn 246, Issue 5, 2009, Pages 1774-1819

  Zgliczyński, Piotr ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Cone condition; Covering relation; Hyperbolicity; Invariant manifold; Lyapunov function

Indexed keywords

EID: 58749090749     PISSN: 00220396     EISSN: 10902732     Source Type: Journal    
DOI: 10.1016/j.jde.2008.12.019     Document Type: Article

References (39)

1. Arioli G. Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem. Comm. Math. Phys. 231 1 (2002) 1-24
2. Arioli G., and Zgliczyński P. Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level. J. Differential Equations 171 1 (2001) 173-202
3. Baldomá I., and Fontich E. Stable manifolds associated to fixed points with linear part equal to identity. J. Differential Equations 197 (2004) 45-72
4. Chaperon M. Stable manifolds and the Perron-Irwin method. Ergodic Theory Dynam. Systems 24 5 (2004) 1359-1394
5. Csendes T., Garay B., and Bánhelyi B. A verified optimization technique to locate chaotic regions of Hénon systems. J. Global Optim. 35 1 (2006) 145-160
6. Easton R. Isolating blocks and symbolic dynamics. J. Differential Equations 17 (1975) 96-118
7. Easton R. Homoclinic phenomena in Hamiltonian systems with several degrees of freedom. J. Differential Equations 29 (1978) 241-252
8. Fontich E. Stable curves asymptotic to a degenerate fixed point. Nonlinear Anal. 35 (1999) 711-733
9. Galias Z. Rigorous numerical studies of the existence of periodic orbits for the Hénon map. SCAN'97. Lyon, 1997. J.UCS 4 2 (1998) 114-124
10. Galias Z. Positive topological entropy of Chua's circuit: A computer assisted proof. Internat. J. Bifur. Chaos Appl. Sci. Engrg. 7 2 (1997) 331-349
11. Galias Z., and Zgliczyński P. Computer assisted proof of chaos in the Lorenz equations. Phys. D 115 3-4 (1998) 165-188
12. Galias Z., and Zgliczyński P. Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map. Nonlinearity 14 5 (2001) 909-932
13. Gidea M., and de la Llave R. Topological methods in the instability problem of Hamiltonian systems. Discrete Contin. Dyn. Syst. 14 2 (2006) 295-328
14. Gidea M., and Robinson C. Shadowing orbits for transition chains of invariant tori alternating with Birkhoff zones of instability. Nonlinearity 20 5 (2007) 1115-1143
15. Gidea M., and Zgliczyński P. Covering relations for multidimensional dynamical systems. J. Differential Equations 202 1 (2004) 33-58
16. Hale J. Ordinary Differential Equations (1980), Wiley-Interscience, New York, London, Sydney
17. Hartman P. Ordinary Differential Equations (1964), John Wiley & Sons, New York, London, Sydney
18. Hirsch M.W., Pugh C.C., and Shub M. Invariant Manifolds. Lecture Notes in Math. vol. 583 (1997)
19. Holland M., and Luzzatto S. A new proof of the stable manifold theorem for hyperbolic fixed points on surfaces. J. Difference Equ. Appl. 11 6 (2005) 535-551
20. Irwin M.C. On the stable manifold theorem. Bull. London Math. Soc. 2 (1970) 196-198
21. Irwin M.C. A new proof of the pseudostable manifold theorem. J. London Math. Soc. 21 (1980) 557-566
22. Kokubu H., Wilczak D., and Zgliczyński P. Rigorous verification of the existence of cocoon bifurcation for the Michelson system. Nonlinearity 20 (2007) 2147-2174
23. McGehee R. A stable manifold theorem for degenerate fixed points with applications to celestial mechanics. J. Differential Equations 14 (1973) 70-88
24. McGehee R., and Sander E. A new proof of the stable manifold theorem. Z. Angew. Math. Phys. 47 4 (1996) 497-513
25. Misiurewicz M., and Zgliczyński P. Topological entropy for multidimensional perturbations of one-dimensional maps. Internat. J. Bifur. Chaos Appl. Sci. Engrg. 11 5 (2001) 1443-1446
26. Neumaier A. Interval Methods for Systems of Equations (1990), Cambridge Univ. Press
27. Neumaier A., and Rage T. Rigorous chaos verification in discrete dynamical system. Phys. D 67 (1993) 327-346
28. Ombach J. Computation of the local stable and unstable manifolds. Univ. Iagel. Acta Math. 32 (1995) 129-136
29. Rage T., Neumaier A., and Schlier C. Rigorous verification of chaos in a molecular model. Phys. Rev. E 50 (1994) 2682-2688
30. Robbin J.W. Stable manifolds of semi-hyperbolic fixed points. Illinois J. Math. 15 (1971) 595-609
31. Smoller J. Shock Waves and Reaction-Diffusion Equations (1983), Springer
32. Tucker W. A rigorous ODE solver and Smale's 14th problem. Found. Comput. Math. 2 1 (2002) 53-117
33. Wilczak D. Symmetric heteroclinic connections in the Michelson system-A computer assisted proof. SIAM J. Appl. Dyn. Syst. 4 3 (2005) 489-514
34. Wilczak D. The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof. Found. Comput. Math. 6 (2006) 495-535
35. Wilczak D., and Zgliczyński P. Heteroclinic connections between periodic orbits in planar restricted circular three-body problem-A computer assisted proof. Comm. Math. Phys. 234 1 (2003) 37-75
36. Wilczak D., and Zgliczyński P. Topological method for symmetric periodic orbits for maps with a reversing symmetry. Discrete Contin. Dyn. Sys. Ser. A 17 (2007) 629-652
37. Wójcik K., and Zgliczyński P. Topological horseshoes and delay differential equations. Discrete Contin. Dyn. Syst. 12 5 (2005) 827-852
38. Zgliczyński P. Computer assisted proof of chaos in the Rössler equations and in the Hénon map. Nonlinearity 10 1 (1997) 243-252
39. Zgliczyński P. Sharkovskii's theorem for multidimensional perturbations of one-dimensional maps. Ergodic Theory Dynam. Systems 19 6 (1999) 1655-1684