Abstract
The present paper studies the forced damped pendulum equation, equipped with Hubbard’s parameters (Hubbard in Am Math Mon 8:741–758, 1999). With the aid of rigorous computations, his 1999 conjecture on the existence of chaos was proved in Bánhelyi et al. (SIAM J Appl Dyn Syst 7:843–867, 2008) but the problem of finding chaotic trajectories remained entirely open. In order to approximate a wide range of chaotic trajectories with arbitrary precision, the present paper establishes an optimization method capable to locate finite trajectory segments with prescribed geometrical behavior.
Similar content being viewed by others
References
Balogh J, Tóth B (2005) Global optimization on Stiefel manifolds: a computational approach. Cent Eur J Oper Res 13: 213–232
Bánhelyi B, Csendes T, Garay BM (2007) Optimization and the Miranda approach in detecting horseshoe-type chaos by computer. Int J Bifurc Chaos 17: 735–747
Bánhelyi B, Csendes T, Garay BM, Hatvani L (2008) A computer-assisted proof for Σ3-chaos in the forced damped pendulum equation. SIAM J Appl Dyn Syst 7: 843–867
Csendes T (1988) Nonlinear parameter estimation by global optimization efficiency and reliability. Acta Cybernetica 8: 361–370
Csendes T, Garay BM, Bánhelyi B (2006) A verified optimization technique to locate chaotic regions of an Hénon system. J Glob Optim 35: 145–160
Hubbard JH (1999) The forced damped pendulum: chaos, complication and control. Am Math Mon 8: 741–758
Knüppel O (1993) PROFIL—programmer’s runtime optimized fast interval library, Bericht 93.4. Technische Universität Hamburg-Harburg
Markót MC (2000) An interval method to validate optimal solutions of the packing circles in a unit square problems. Cent Eur J Oper Res 8: 63–78
Mischaikow K, Mrozek M (1995) Chaos in the Lorenz equations: a computer-assisted proof. Bull Am Math Soc 32: 66–72
Nedialkov NS (2001) VNODE—a validated solver for initial value problems for ordinary differential equations. Available at http://www.cas.mcmaster.ca/~nedialk/Software/VNODE/VNODE.shtml
Neumaier A, Rage T (1993) Rigorous chaos verification in discrete dynamical systems. Physica D 67: 327–346
Rage T, Neumaier A, Schlier C (1994) Rigorous verification of chaos in a molecular model. Phys Rev E 50: 2682–2688
Salahi M (2010) Convex optimization approach to a single quadratically constrained quadratic minimization problem. Cent Eur J Oper Res 18: 181–187
Tucker W (1999) The Lorenz attractor exists. C R Acad Sci Paris Ser Math 328: 1197–1202
Tykierko M (2007) Using invariants to determine change detection in dynamical system with chaos. Cent Eur J Oper Res 15: 223–233
Torma B, Tóth BG (2010) An efficient descent direction method with cutting planes. Cent Eur J Oper Res 18: 105–130
Wilczak D, Zgliczynski P (2009) Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum. SIAM J Appl Dyn Syst 8: 1632–1663
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was partially supported by the TAMOP-4.2.2/08/1/2008-0008 program of the Hungarian National Development Agency, by the European Union and co-financed by the European Regional Development Fund within the project TAMOP-4.2.1/B-09/1/KONV-2010-0005, and by the Japanese-Hungarian bilaterial project JP-28/09.
Rights and permissions
About this article
Cite this article
Lévai, B.L., Bánhelyi, B. An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum. Cent Eur J Oper Res 21, 757–767 (2013). https://doi.org/10.1007/s10100-012-0256-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10100-012-0256-5