Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools

We show that, for a certain class of systems, the problem of establishing the existence of periodic orbits can be successfully studied by a symbolic dynamics approach combined with interval methods. Symbolic dynamics is used to find approximate positions of periodic points, and the existence of periodic orbits in a neighborhood of these approximations is proved using an interval operator. As an example, the Lorenz system is studied; a theoretical argument is used to prove that each periodic orbit has a distinct symbol sequence. All periodic orbits with the period p ≤ 16 of the Poincare map associated with the Lorenz system are found. Estimates of the topological entropy of the Poincare map and the flow, based on the number and flow-times of short periodic orbits, are calculated. Finally, we establish the existence of several long periodic orbits with specific symbol sequences.

[1]  Steven H. Strogatz,et al.  Nonlinear Dynamics and Chaos , 2024 .

[2]  Glorieux,et al.  Controlling unstable periodic orbits by a delayed continuous feedback. , 1994, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[3]  M. Shub,et al.  PERIODIC POINTS AND MEASURES FOR AXIOM A DIFFEOMORPHISMS , 2010 .

[4]  A. Neumaier.  Interval methods for systems of equations , 1990 .

[5]  Z. Galias.  Rigorous investigations of Ikeda map by means of interval arithmetic , 2022 .

[6]  Ian Melbourne,et al.  The Lorenz Attractor is Mixing , 2005 .

[7]  Edward Ott,et al.  Controlling chaos , 2006, Scholarpedia.

[8]  Zbigniew Galias,et al.  Rigorous investigation of the Ikeda map by means of interval arithmetic , 2002 .

[9]  Warwick Tucker,et al.  Foundations of Computational Mathematics a Rigorous Ode Solver and Smale's 14th Problem , 2022 .

[10]  W. Parry,et al.  An analogue of the prime number theorem for closed orbits of Axiom A flows , 1983 .

[11]  Zbigniew Galias,et al.  Counting Low-Period Cycles for Flows , 2006, Int. J. Bifurc. Chaos.

[12]  Divakar Viswanath,et al.  Symbolic dynamics and periodic orbits of the Lorenz attractor* , 2003 .

[13]  Gauthier,et al.  Stabilizing unstable periodic orbits in a fast diode resonator using continuous time-delay autosynchronization. , 1994, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[14]  Ying-Cheng Lai,et al.  Controlling chaos , 1994 .

[15]  Rudolf Krawczyk,et al.  Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken , 1969, Computing.

[16]  E. Lorenz.  Deterministic nonperiodic flow , 1963 .

[17]  C. Sparrow.  The Lorenz Equations: Bifurcations, Chaos, and Strange Attractors , 1982 .

[18]  Colin Sparrow,et al.  The Lorenz equations , 1982 .

[19]  K. Mischaikow,et al.  Chaos in the Lorenz equations: a computer-assisted proof , 1995, math/9501230.

[20]  W. Tucker.  The Lorenz attractor exists , 1999 .

[21]  R. Bowen.  Periodic points and measures for Axiom $A$ diffeomorphisms , 1971 .

[22]  Sadri Hassani,et al.  Nonlinear Dynamics and Chaos , 2000 .

[23]  Zbigniew Galias,et al.  Interval Methods for Rigorous Investigations of periodic orbits , 2001, Int. J. Bifurc. Chaos.

[24]  Lennart Carleson,et al.  The Dynamics of the Henon Map , 1991 .

[25]  Z. Galias,et al.  Computer assisted proof of chaos in the Lorenz equations , 1998 .