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 Poincaré map associated with the Lorenz system are found. Estimates of the topological entropy of the Poincaré 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.