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.