Towards a computer-assisted proof for chaos in a forced damped pendulum equation

Journal of Computational and Applied Mathematics

Volumn 199, Issue 2, 2007, Pages 378-383

  Csendes, Tibor ^a   Bánhelyi, Balázs ^a   Hatvani, László ^b  

^a UNIVERSITY OF SZEGED   (Hungary)

^b UNIVERSITY OF SZEGED   (Hungary)

Author keywords

Chaos; Differential equations; Interval method; Pendulum

Indexed keywords

CHAOTIC BEHAVIOUR; COMPUTATIONAL PROOF; INTERVAL METHOD; TRAJECTORY PROPERTIES;

CHAOS THEORY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; MATHEMATICAL TECHNIQUES;

DIFFERENTIAL EQUATIONS;

EID: 33749673297     PISSN: 03770427     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cam.2005.08.046     Document Type: Article

References (10)

1. B. Bánhelyi, T. Csendes, B.M. Garay, Optimization and the Miranda approach in detecting horseshoe-type chaos by computer, in preparation, available at 〈www.inf.u-szeged.hu/∼csendes/henon2.pdf〉.
2. T. Csendes, B.M. Garay, B. Bánhelyi, A verified optimization technique to locate chaotic regions of a Hénon system, in preparation, available at 〈http://www.inf.u-szeged.hu/∼csendes/henon.pdf〉.
3. Galias Z., and Zgliczynski P. Computer assisted proof of chaos in the Lorenz equations. Physica D 115 (1998) 165-188
4. Hubbard J.H. The forced damped pendulum: chaos, complication and control. Amer. Math. Monthly 8 (1999) 741-758
5. O. Knüppel, PROFIL-Programmer's Runtime Optimized Fast Interval Library, Bericht 93.4., Technische Universität Hamburg-Harburg, 1993.
6. N. Nedialkov, VNODE, A validated solver for initial value problems for ordinary differential equations 〈 http://www.cas.mcmaster.ca/∼nedialk/Software/VNODE/VNODE.shtml〉.
7. Neumaier A., and Rage T. Rigorous chaos verification in discrete dynamical systems. Physica D 67 (1993) 327-346
8. ODE ARHITECT, an ODE illustration program, Wiley, New York, 1999.
9. Rage T., Neumaier A., and Schlier C. Rigorous verification of chaos in a molecular model. Phys. Rev. E 50 (1994) 2682-2688
10. Zgliczynski P. Computer assisted proof of the horseshoe dynamics in the Hénon map. Random Comput. Dynamics 5 (1997) 1-17