Garmaine Staff asked 2 years ago

Following up on a previous question about the classification of periodic orbits, how can they be constructed, especially the planar Lyapunov family, around libration points $L_1$ and $L_2$? And how can we prove their existence around those points?

Most papers I have found focus mainly on Halo orbits (see example) but I haven't found any that focus on the planar Lyapunov family.