Arnold's mechanism of diffusion in the spatial circular restricted three-body problem: A semi-analytical argument

As a possible application to astrodynamics, diffusing orbits as above can be used to design low cost maneuvers to change the inclination of an orbit of a satellite near L1 from a nearly-planar orbit to a tilted orbit with respect to the ecliptic. We explore different energy levels, and estimate the largest orbital inclination that can be achieved through our construction.