The Conley Index and Rigorous Numerics for Attracting Periodic Orbits

  • M. Mrozek
  • P. Pilarczyk
Part of the Progress in Nonlinear Differential Equations and Their Applications book series (PNLDE, volume 49)


Despite the enormous number of papers devoted to the problem of the existence of periodic trajectories of differential equations, the theory is still far from satisfactory, especially when concrete differential equations are concerned, because the necessary conditions formulated in many theoretical criteria are difficult to verify in a concrete case. And even if some methods work for some concrete equations, it is usually difficult to carry them over to other problems. Thus quite often the only available method is to experiment numerically. Unfortunately, such an approach cannot be treated as reliable.


Periodic Orbit Periodic Trajectory Index Pair Lorenz Equation Poincare Section 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Z. Galias and P. Zgliczyiíski, Computer assisted proof of chaos in the Lorenz system, Physica D 115 (1998), 165–188.MathSciNetzbMATHCrossRefGoogle Scholar
  2. [2]
    J.K. Hale and H. Koçak, Dynamics and Bifurcations, Springer-Verlag, New York, 1991.zbMATHCrossRefGoogle Scholar
  3. [3]
    C. McCord, K. Mischaikow, and M. Mrozek, Zeta functions, periodic trajectories and the Conley index, J. Differential Equations 121 (1995), 258–292.MathSciNetzbMATHCrossRefGoogle Scholar
  4. [4]
    K. Mischaikow and M. Mrozek, Chaos in Lorenz equations: a computer assisted proof, Bull. Amer. Math. Soc. (N.S.) 33 (1995), 66–72.MathSciNetCrossRefGoogle Scholar
  5. [[5]
    ] K. Mischaikow and M. Mrozek, Chaos in the Lorenz equations: a computer assisted proof. II. Details, Math. Comp. 67 (1998), 1023–1046.MathSciNetCrossRefGoogle Scholar
  6. [6]
    K. Mischaikow, M. Mrozek, and A. Szymczak, Chaos in the Lorenz equations: a computer assisted proof. III. Classical parameter values, J. Differential Equations 169 (2001), 17–56.MathSciNetzbMATHGoogle Scholar
  7. [7]
    M. Mrozek, The Conley index on compact ANRs is of finite type, Results Math. 18 (1990), 306–313.MathSciNetzbMATHGoogle Scholar
  8. [8]
    M. Mrozek, Topological invariants, multivalued maps and computer assisted proofs in dynamics, Comput. Math. Appl. 32 (1996), 83–104.MathSciNetzbMATHCrossRefGoogle Scholar
  9. [9]
    M. Mrozek, An algorithm approach to the Conley index theory, J. Dynam. Differential Equations 11 (1999), 711–734.MathSciNetzbMATHCrossRefGoogle Scholar
  10. [10]
    M. Mrozek and P. Zgliczyriski, Set arithmetic and the enclosing problem in dynamics, Ann. Polon. Math. 74 (2000), 237–259.MathSciNetzbMATHGoogle Scholar
  11. [11]
    P. Pilarczyk, Computer assisted method for proving existence of periodic orbits, Topol. Methods Nonlinear Anal. 13 (1999), 365–377.MathSciNetzbMATHGoogle Scholar
  12. [12]
    P. Pilarczyk, Computer assisted proof of the existence of a periodic orbit in the Rössler equations, Proceedings of the International Conference on Differential Equations (Berlin, 1999), 228–230, World Scientific Publishing, Singapore, 2000.Google Scholar
  13. [13]
    P. Pilarczyk, Topological algorithm for rigorous verification of the existence of periodic orbits, PhD Thesis (in Polish), Jagiellonian University, Krakó;w, 2001.Google Scholar
  14. [14]
    C. Sparrow, The Lorenz Equations, Appl. Math. Sci., 41, Springer-Verlag, Berlin 1982.Google Scholar
  15. [15]
    P. Zgliczyriski, Computer assisted proof of chaos in the Rössler equations and in the Hénon map, Nonlinearity 10 (1997), 243–252.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2002

Authors and Affiliations

  • M. Mrozek
    • 1
  • P. Pilarczyk
    • 2
  1. 1.Instytut Informatyki UniwersytetJagielloński KrakówPoland
  2. 2.Instytut Informatyki UniwersytetJagielloński KrakówPoland

Personalised recommendations