A computer-assisted proof of Σ3-chaos in the forced damped pendulum equation

SIAM Journal on Applied Dynamical Systems

Volumn 7, Issue 3, 2008, Pages 843-867

  Bánhelyi, Balázs ^a   Csendes, Tibor ^a   Garay, Barnabas M ^b,c   Hatvani, László ^c,d  

^a UNIVERSITY OF SZEGED   (Hungary)

^b BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^c INSTITUTE OF EXPERIMENTAL MEDICINE   (Hungary)

^d UNIVERSITY OF SZEGED   (Hungary)

Author keywords

3 chaos; Computer assisted proof; Forced damped pendulum; Interval arithmetic; Transition graph

Indexed keywords

GRAPH THEORY; PENDULUMS;

BROUWER'S FIXED POINT THEOREMS; FORCED DAMPED PENDULUM; FORCED DAMPED PENDULUMS; HUBBARD; INTERVAL ARITHMETIC; PENDULUM EQUATIONS; PERIODIC ORBITS; TIME INTERVALS; TRANSITION GRAPH; TRANSITION GRAPHS;

COMPUTATIONAL GEOMETRY;

EID: 55849114347     PISSN: None     EISSN: 15360040     Source Type: Journal    
DOI: 10.1137/070695599     Document Type: Article

References (54)

1. G. ALEFELD AND G. MAYER, Interval analysis: Theory and applications, J. Comput. Appl. Math., 121 (2000), pp. 421-464.
2. V. M. ALEKSEEV, On the capture orbits for the three-body problem for negative energy constant, Uspekhi Mat. Nauk, 24 (1969), pp. 185-186 (in Russian).
3. K. T. ALLIGOOD, T. D. SAUER, AND J. A. YORKE, Chaos. An Introduction to Dynamical Systems, Springer-Verlag, Berlin, 1997.
4. 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.
5. 2-chaos for iterates of the classical Hénon mapping, in preparation, 2008.
6. E. BOSETTO AND E. SERRA, A variational approach to chaotic dynamics in periodically forced nonlinear oscillators, Ann. Inst. H. Poincaré Anal. Non Linéaire, 17 (2000), pp. 673-709.
7. A. CAPIETTO, W. DAMEROSIO, AND D. PAPINI, Superlinear indefinite equations on the real line and chaotic dynamics, J. Differential Equations, 181 (2002), pp. 419-438.
8. L. O. CHUA AND T. ROSKA, Cellular Neural Networks and Visual Computing, Cambridge University Press, Cambridge, UK, 2002.
9. B. A. COOMES, H. KOCAK, AND K. J. PALMER, Homoclinic shadowing, J. Dynam. Differential Equations, 17 (2005), pp. 175-215.
10. T. CSENDES, B. M. GARAY, AND B. BÁ NHELYI, A verified optimization technique to locate chaotic regions of a Hénon system, J. Global Optim., 35 (2006), pp. 145-160.
11. S. DAY, R. FRONGILLO, AND R. TREVINO, Algorithms for rigorous entropy bounds and symbolic dynamics, submitted.
12. 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, B. Fiedler, ed., Springer-Verlag, Berlin, 2001, pp. 145-174.
13. M. DELLNITZ AND O. JUNGE, Set oriented numerical methods for dynamical systems, in Handbook of Dynamical Systems, Vol. 2, B. Fiedler, ed., North-Holland, Amsterdam, 2002, pp. 221-264.
14. V. FRANCESCHINI AND L. RUSSO, Stable and unstable manifolds of the Hénon mapping, J. Statist. Phys., 25 (1981), pp. 757-769.
15. A. FROMMER AND B. LANG, Existence tests for solutions of nonlinear equations using Borsuk's theorem, SIAM J. Numer. Anal., 43 (2005), pp. 1348-1361.
16. A. FROMMER, B. LANG, AND M. SCHNURR, A comparison of the Moore and Miranda existence tests, Computing, 72 (2004), pp. 349-354.
17. M. FURI, M. MARTELLI, M. O'NEIL, AND C. STAPLES, Chaotic orbits of a pendulum with variable length, Electron. J. Differential Equations, (2004), no. 36.
18. Z. GALIAS, Positive topological entropy of Chua's circuit: A computer-assisted proof, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 7 (1997), pp. 331-349.
19. Z. GALIAS, Obtaining rigorous bounds for topological entropy for discrete time dynamical systems, in Proceedings of the International Symposium on Nonlinear Theory and Its Applications (Xi'an, China), 2002, pp. 619-622.
20. Z. GALIAS AND P. ZGLICZYNSKI, Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon, map, Nonlinearity, 14 (2001), pp. 909-932.
21. M. GIDEA AND P. ZGLICZYNSKI, Covering relations for multidimensional dynamical systems, J. Differential Equations, 202 (2004), pp. 32-58.
22. B. HASSARD, B. ZHANG, S. P. HASTINGS, AND W. C. TROY, A computer proof that the Lorenz equations have "chaotic" solutions, Appl. Math. Lett., 7 (1994), pp. 79-83.
23. S. P. HASTINGS AND J. B. MCLEOD, Chaotic motion of a pendulum with oscillatory forcing, Amer. Math. Monthly, 100 (1993), pp. 563-572.
24. J. H. HUBBARD, The forced damped pendulum: Chaos, complication and control, Amer. Math. Monthly, 106 (1999), pp. 741-758.
25. J. A. KENNEDY, S. KOCAK, AND J. A. YORKE, A chaos lemma, Amer. Math. Monthly, 108 (2001), pp. 411-423.
26. U. KIRCHGRABER AND D. STOFFER, On the definition of chaos, Z. Angew. Math. Mech., 69 (1989), pp. 175-185.
27. O. KNÜPPEL, PROFIL/BIAS - a fast interval library, Computing, 53 (1994), pp. 277-287.
28. M. LEVI, Qualitative analysis of the periodically forced relaxation oscillations, Mein. Amer. Math. Soc., 32 (244) (1981).
29. S. LUZZATTO, I. MELBOURNE, AND F. PACCAUT, The Lorenz attractor is mixing, Comm. Math. Phys., 260 (2005), pp. 393-401.
30. K. MISCHAIKOW AND M. MROZEK, Chaos in the Lorenz equations: A computer-assisted proof, Bull. Amer. Math. Soc., 32 (1995), pp. 66-72.
31. M. MISIUREWICZ AND B. SZEWC, Existence of a homoclinic point for the Hénon mapping, Comm. Math. Phys., 75 (1980), pp. 285-291.
32. N. S. NEDIALKOV, VNODE - A Validated Solver for Initial Value Problems for Ordinary Differential Equations,http://www.cas.mcmaster.ca/ ~nedialk/Software/VNODE/VNODE.shtml (2001).
33. N. S. NEDIALKOV, K. R. JACKSON, AND G. F. CORLISS, Validated solutions of initial value problems for ordinary differential equations, Appl. Math. Comput., 105 (1999), pp. 21-68.
34. D. PAPINI AND F. ZANOLIN, Fixed points, periodic points, and coin-tossing sequences for mappings defined on two-dimensional cells, Fixed Point Theory Appl., 2 (2004), pp. 113-134.
35. D. PAPINI AND F. ZANOLIN, Some results on periodic points and chaotic dynamics arising from the study of the nonlinear Hill equations, Rend. Sennin. Mat. Univ. Politec. Torino, 65 (2007), pp. 115-157.
36. L. C. PICCININI, G. STAMPACCIA, AND G. VIDOSSICH, Ordinary Differential Equations in E, Springer-Verlag, Berlin, 1984.
37. M. PIREDDU AND F. ZANOLIN, Fixed points for dissipative-repulsive systems and topological dynamics of mappings defined on N-dimensional cells, Adv. Nonlinear Stud., 5 (2005), pp. 411-440.
38. A. POKROVSKII, O. RASSKAZOV, AND D. VISETTI, Homoclinic trajectories and chaotic behaviour in a piecewise linear oscillator, Discrete Contin. Dyn. Syst. Ser. B, 8 (2007), pp. 943-970.
39. H. RATSCHEK AND J. ROKNE, New Computer Methods for Global Optimization, Ellis Horwood, Chichester, UK, 1988.
40. C. ROBINSON, Dynamical Systems. Stability, Symbolic Dynamics, and Chaos, 2nd ed., CRC Press, Boca Raton, FL, 1999.
41. J. RUBIN AND D. TERMAN, Geometric singular perturbation analysis of neuronal dynamics, in Handbook of Dynamical Systems, Vol. 2, B. Fiedler, ed., North-Holland, Amsterdam, 2002, pp. 93-146.
42. M. SCHNURR, On the proofs of some statements concerning the theorems of Kantorovich, Moore and Miranda, Reliab. Comput., 11 (2005), pp. 77-85.
43. S. SMALE, The Mathematics of Time, Springer-Verlag, Berlin, 1980.
44. D. STOFFER AND K. J. PALMER, Rigorous verification of chaotic behaviour of maps using validated shadowing, Nonlinearity, 12 (1999), pp. 1683-1689.
45. S. TERRACINI AND G. VERZINI, Solutions of prescribed number of zeroes to a class of superlinear ODE's systems, NoDEA Nonlinear Differential Equations Appl., 8 (2001), pp. 323-341.
46. W. TUCKER, A rigorous ODE solver and Smale's 14th problem, Found. Comput. Math., 2 (2002), pp. 53-117.
47. X. S. YANG AND Q. LI, A computer-assisted proof of chaos in Josephson junctions, Chaos Solitons Fractals, 27 (2006), pp. 25-30.
48. S. WIGGINS, On the detection and dynamical consequences of orbits homoclinic to hyperbolic periodic orbits and normally hyperbolic invariant tori in a class of ordinary differential equations, SIAM J. Appl. Math., 48 (1988), pp. 262-285.
49. S. WIGGINS, Introduction to Applied Nonlinear Dynamical Systems and Chaos, Springer-Verlag, Berlin, 2003.
50. X. S. YANG AND Q. LI, A horseshoe in a cellular neural network of four-dimensional autonomous ordinary differential equations, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 17 (2007), pp. 3211-3218.
51. E. ZEIDLER, Nonlinear Functional Analysis and Its Applications. I. Fixed-Point Theorems, Springer-Verlag, Berlin, 1986.
52. P. ZGLICZYNSKI, Fixed point index for iterations of maps, topological horseshoe and chaos, Topol. Methods Nonlinear Anal., 8 (1996), pp. 169-177.
53. P. ZGLICZYNSKI, Computer assisted proof of chaos in the Rössler equations and in the Hénon map, Nonlinearity, 10 (1997), pp. 243-252.
54. P. ZGLICZYNSKI, Multidimensional perturbations of one-dimensional maps and stability of Sharkovski ordering, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 9 (1999), pp. 1867-1876.