One-dimensional three-body problem via symbolic dynamics

Symbolic dynamics is applied to the one-dimensional three-body problem with equal masses. The sequence of binary collisions along an orbit is expressed as a symbol sequence of two symbols. Based on the time reversibility of the problem and numerical data, inadmissible (i.e., unrealizable) sequences of collisions are systematically found. A graph for the transitions among various regions in the Poincare section is constructed. This graph is used to find an infinite number of periodic sequences, which implies an infinity of periodic orbits other than those accompanying a simple periodic orbit called the Schubart orbit. Finally, under reasonable assumptions on inadmissible sequences, we prove that the set of admissible symbol sequences forms a Cantor set. (c) 2000 American Institute of Physics.