2026/08/05 by Aleksander Pasiut
Mathematics · #math.DS #msc:37C29 #msc:37J46 #msc:70F07
41 pages, 8 figures
arxiv created 2026/08/05 · arxiv updated 2026/08/07
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.