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

Balázs Bánhelyi, Tibor Csendes, Barnabas M. Garay

Research output: Contribution to journalArticle

20 Citations (Scopus)


We report on experiences with an adaptive subdivision method supported by interval arithmetic that enables us to prove subset relations of the form T(W) ⊂ U, and thus check certain sufficient conditions for chaotic behavior of dynamical systems in a rigorous way. Our proof of the underlying abstract theorem avoids referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is that the process of gaining the subset relations to be checked is, to a large extent, also automatized. The promising subset relations come from solving a constrained optimization problem via the penalty function approach. Abstract results and computational methods are demonstrated by finding embedded copies of the standard horseshoe dynamics in iterates of the classical Hénon mapping.

Original languageEnglish
Pages (from-to)735-747
Number of pages13
JournalInternational Journal of Bifurcation and Chaos
Issue number3
Publication statusPublished - Mar 2007


  • Chaos
  • Computer-aided proof
  • Hénon-mapping
  • Smale horseshoe
  • Verified global optimization

ASJC Scopus subject areas

  • Modelling and Simulation
  • Engineering (miscellaneous)
  • General
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Optimization and the miranda approach in detecting horseshoe-type Chaos by computer'. Together they form a unique fingerprint.

  • Cite this