Optimization and the miranda approach in detecting horseshoe-type Chaos by computer

International Journal of Bifurcation and Chaos

Volumn 17, Issue 3, 2007, Pages 735-747

  Bánhelyi, Balázs ^a   Csendes, Tibor ^a   Garay, Barnabas M ^b  

^a UNIVERSITY OF SZEGED   (Hungary)

^b BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Chaos; Computer aided proof; H non mapping; Smale horseshoe; Verified global optimization

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED ANALYSIS; CONSTRAINT THEORY; DYNAMICAL SYSTEMS; GLOBAL OPTIMIZATION; ITERATIVE METHODS; PROBLEM SOLVING;

BROUWER FIXED POINT THEOREM; HORSESHOE DYNAMICS; OPTIMIZATION PROBLEMS;

CHAOS THEORY;

EID: 34249108879     PISSN: 02181274     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218127407017549     Document Type: Article

References (25)

1. Alefeld, G. & Mayer, G. [2000] "Interval analysis: Theory and applications," J. Comput. Appl. Math. 121, 421-464.
2. Csendes, T. [1988] "Nonlinear parameter estimation by global optimization - efficiency and reliability," Acta Cybern. 8, 361-370.
3. Csendes, T., Zabinsky, Z. B. & Kristinsdottir, B. P. [1995] "Constructing large feasible suboptimal intervals for constrained nonlinear optimization," Ann. Oper. Res. 58, 279-293.
4. Csendes, T., Garay, B. M. &: Bánhelyi, B. [2006] "A verified optimization technique to locate chaotic regions of a Hénon system," J. Glob. Optimiz. (accepted), Available at www.inf.u-szeged.hu/~csendes/henon.pdf
5. Dellnitz, M. & Junge, O. [2002] "Set oriented numerical methods for dynamical systems," in Handbook of Dynamical Systems, Vol. 2, ed. Fiedler, B. (North-Holland, Amsterdam), pp. 221-264.
6. Galias, Z. & Zgliczynski, P. [2001] "Abundance of homoclinic and heteroclinic connections and rigorous bounds for the topological entropy of the Hénon map," Nonlinearity 14, 903-932.
7. Galias, Z. [2002] "Obtaining rigorous bounds for topological entropy for discrete time dynamical systems," Proc. Int. Symp. Nonlinear Theory and its Applications, Xi'an, China, pp. 619-622.
8. Gidea, M. & Zgliczynski, P. [2004] "Covering relations for multidimensional dynamical systems," J. Differ. Eq. 202, 32-58.
9. Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C. & Rauch, M. [1993] C-XSC -A C + + Class Library for Extended Scientific Computing (Springer, Berlin).
10. Markót, M. C. & Csendes, T. [2005] "A new verified optimization technique for the 'Packing circles in a unit square' problems," SIAM J. Optim. 16, 193-219.
11. Mischaikow, K. & Mrozek, M. [1995] "Chaos in the Lorenz equations: A computer-assisted proof," Bull. Amer. Math. Soc. 32, 66-72.
12. Neumaier, A. [2004] "Complete search in continuous global optimization and constraint satisfaction," Acta Numerica, pp. 271-369.
13. Newhouse, S. [1988] "Entropy and volume," Erg. Th. Dyn. Syst. 8, 283-299.
14. Piccinini, L.C., Stampaccia, G. & Vidossich, G. [1984] Ordinary Differential Equations in R" (Springer, Berlin).
15. Ratschek, H. & Rokne, J. [1988] New Computer Methods for Global Optimization (Ellis Horwood, Chichester).
16. Robinson, C. [1999] Dynamical Systems. Stability, Symbolic Dynamics, and Chaos (RCR Press, Boca Raton).
17. Szymczak, A. [1997] "A combinatorial procedure for rinding isolated neighbourhoods and index pairs," Proc. R. Soc. Edinb. A 127, 1075-1088.
18. Tucker, W. [1999] "The Lorenz attractor exists," C. R. Acad. Sci. Paris Sér. Math. 328, 1197-1202.
19. Wiggins, S. [2003] Introduction to Applied Nonlinear Dynamical Systems and Chaos (Springer, Berlin).
20. Wójcik, K. & Zgliczynski, P. [2000] "Isolated segments, fixed point index, and symbolic dynamics," J. Differ. Eq. 161, 245-288.
21. Zeidler, E. [1986] Nonlinear Functional Analysis and its Applications. I. Fixed-Point Theorems (Springer, Berlin).
22. Zgliczynski, P. [1996] "Fixed point index for iterations of maps, topological horseshoe and chaos," Topol. Meth. Nonlin. Anal 8, 169-177.
23. Zgliczynski, P. [1997a] "Computer assisted proof of the horseshoe dynamics in the Hénon map," Rand. Comput. Dyn. 5, 1-17.
24. Zgliczynski, P. [1997b] "Computer assisted proof of chaos in the Rössler equations and in the Hénon map," Nonlinearity 10, 243-252.
25. Zgliczynski, P. [1999] "Multidimensional perturbations of one-dimensional maps and stability of Sharkovski ordering," Int. J. Bifurcation and Chaos 9, 1867-1876.