Rigorous treatment of the averaging process for co-orbital motions in the planetary problem

Philippe Robutel, Laurent Niederman, Alexandre Pousse

We develop a rigorous analytical Hamiltonian formalism adapted to the study of the motion of two planets in co-orbital resonance. By constructing a complex domain of holomorphy for…