Abstract
We present a new verified optimization method to find regions for Hénon systems where the conditions of chaotic behaviour hold. The present paper provides a methodology to verify chaos for certain mappings and regions. We discuss first how to check the set theoretical conditions of a respective theorem in a reliable way by computer programs. Then we introduce optimization problems that provide a model to locate chaotic regions. We prove the correctness of the underlying checking algorithms and the optimization model. We have verified an earlier published chaotic region, and we also give new chaotic places located by the new technique.
Similar content being viewed by others
References
Bánhelyi, B., Csendes, T. and Garay B.M., Optimization and the Miranda approach in detecting horseshoe-type chaos by computer. Manuscript, submitted for publication. Available at www.inf.u-szeged.hu/~csendes/henon2.pdf
T. Csendes (1988) ArticleTitleNonlinear parameter estimation by global optimization – efficiency and reliability Acta Cybernetica 8 361–370
Csendes, T., Bánhelyi B. and Hatvani L., Towards a computer-assisted proof for chaos in a forced damped pendulum equation. Manuscript, submitted for publication. Available at www.inf.u-szeged.hu/~csendes/jcaminga.pdf
T. Csendes Z.B. Zabinsky B.P. Kristinsdottir (1995) ArticleTitleConstructing large feasible sub-optimal intervals for constrained nonlinear optimization Annals of Operations Research 58 279–293 Occurrence Handle10.1007/BF02096403
C-XSC Languages home page (2005), http://www.math.uni-wuppertal.de/org/WRST/index_en.html
Dellnitz, M. and Junge, O. (2002), Set oriented numerical methods for dynamical systems. Handbook of dynamical systems, Vol. 2, North-Holland, Amsterdam, pp. 221–264.
Z. Galias P. Zgliczynski (2001) ArticleTitleAbundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map Nonlinearity 14 909–932 Occurrence Handle10.1088/0951-7715/14/5/301
R. Klatte U. Kulisch A. Wiethoff C. Lawo M. Rauch (1993) C-XSC - A C++ Class Library for Extended Scientific Computing Springer-Verlag Heidelberg
B.P. Kristinsdottir Z.B. Zabinsky T. Csendes M.E. Tuttle (1993) ArticleTitleMethodologies for tolerance intervals Interval Computations 3 133–147
B.P. Kristinsdottir Z.B. Zabinsky M.E. Tuttle T. Csendes (1996) ArticleTitleIncorporating manufacturing tolerances in optimal design of composite structures Engineering Optimization 26 1–23
Markót, M.C. and Csendes, T. A New Verified Optimization Technique for the “Packing Circles in a Unit Squre” Problems. Accepted for publication in the SIAM J. on Optimization. Available at www.inf.u-szeged.hu/~csendes/publ.html
Neumaier A. (2004) Complete search in continuous global optimization and constraint satisfaction. Acta Numerica 271–369
A. Neumaier T. Rage (1993) ArticleTitleRigorous chaos verification in discrete dynamical systems Physica D 67 327–346 Occurrence Handle10.1016/0167-2789(93)90169-2
T. Rage A. Neumaier C. Schlier (1994) ArticleTitleRigorous verification of chaos in a molecular model Physical Review E. 50 2682–2688 Occurrence Handle10.1103/PhysRevE.50.2682
H. Ratschek J. Rokne (1988) New Computer Methods for Global Optimization Ellis Horwood Chichester
P. Zgliczynski (1997) ArticleTitleComputer assisted proof of the horseshoe dynamics in the Hénon map Random & Computational Dynamics 5 1–17
P. Zgliczynski (2003) ArticleTitleOn smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach Journal of Differential Equations 195 271–283 Occurrence Handle10.1016/j.jde.2003.07.009
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Csendes, T., Garay, B.M. & Bánhelyi, B. A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems. J Glob Optim 35, 145–160 (2006). https://doi.org/10.1007/s10898-005-1509-9
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s10898-005-1509-9