# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
A verified optimization technique to locate chaotic regions of Hénon systems. (English) Zbl 1103.90076
Summary: 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.
##### MSC:
 90C26 Nonconvex programming, global optimization 37D45 Strange attractors, chaotic dynamics
C-XSC 2.0
##### References:
 [1] 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/$\sim$csendes/henon2.pdf [2] [3] 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/$\sim$csendes/jcaminga.pdf [4] · Zbl 0843.90107 · doi:10.1007/BF02096403 [5] C-XSC Languages home page (2005), http://www.math.uni-wuppertal.de/org/WRST/index_en.html [6] 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. [7] · Zbl 1067.37052 · doi:10.1088/0951-7715/14/5/301 [8] [9] [10] · doi:10.1080/03052159608941107 [11] 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/$\sim$csendes/publ.html [12] Neumaier A. (2004) Complete search in continuous global optimization and constraint satisfaction. Acta Numerica 271–369 [13] · Zbl 0783.58047 · doi:10.1016/0167-2789(93)90169-2 [14] · doi:10.1103/PhysRevE.50.2682 [15] [16] [17] · Zbl 1043.35034 · doi:10.1016/j.jde.2003.07.009