Oscillatory motion to collision and infinity in the Earth-Moon restricted three body problem

We present a computer assisted proof of the existence of the oscilla- tory motion to collision and to infinity in the Earth-Moon planar circular restricted three body problem. In particular, we show that all types of mo- tion (hyperbolic, parabolic, oscillatory to infinity, oscillatory to collision and terminating in collision) can be combined. We also prove the exis- tence of arbitrarily large ejection/collision orbits. The results are achieved with the use of the Levi-Civita regularization, the McGehee regulariza- tion, topological tools and rigorous numerical computations.