Numerical computation of normal forms around some periodic orbits of the restricted three-body problem

In this paper we introduce a general methodology for computing (numerically) the normal form around a periodic orbit of an autonomous analytic Hamiltonian system. The process follows two steps. First, we expand the Hamiltonian in suitable coordinates around the orbit and second, we perform a standard normal form scheme, based on the Lie series method. This scheme is carried out up to some finite order and, neglecting the remainder, we obtain an accurate description of the dynamics in a (small enough) neighbourhood of the orbit. In particular, we obtain the invariant tori that generalize the elliptic directions of the periodic orbit. On the other hand, bounding the remainder one obtains lower estimates for the diffusion time around the orbit. This procedure is applied to an elliptic periodic orbit of the spatial Restricted Three Body Problem. The selected orbit belongs to the Lyapunov family associated to the vertical oscillation of the equilibrium point $L_5$. The mass parameter $\mu$ has been chosen such that $L_5$ is unstable but the periodic orbit is still stable. This allows to show the existence of regions of effective stability near $L_5$ for values of $\mu$ bigger that the Routh critical value. The computations have been done using formal expansions with numerical coefficients.

[1]  Carles Simó,et al.  Hamiltonian systems with three or more degrees of freedom , 1999 .

[2]  J. Moser,et al.  New aspects in the theory of stability of Hamiltonian systems , 1958 .

[3]  Carles Simó.  Effective computations in hamiltonian dynamics , 1996 .

[4]  Giovanni Gallavotti,et al.  Stability of motions near resonances in quasi-integrable Hamiltonian systems , 1986 .

[5]  N N Nekhoroshev,et al.  AN EXPONENTIAL ESTIMATE OF THE TIME OF STABILITY OF NEARLY-INTEGRABLE HAMILTONIAN SYSTEMS , 1977 .

[6]  A. Valdés,et al.  Effective stability and KAM theory , 1995 .

[7]  J. Pöschel.  Integrability of hamiltonian systems on cantor sets , 1982 .

[8]  L. Niederman.  Stability over exponentially long times in the planetary problem , 1996 .

[9]  J. Masdemont,et al.  The Bicircular Model Near the Triangular Libration Points of the RTBP , 1995 .

[10]  Vladimir I. Arnold,et al.  Instability of Dynamical Systems with Several Degrees of Freedom , 2020, Hamiltonian Dynamical Systems.

[11]  L. Galgani,et al.  Effective stability for a Hamiltonian system near an elliptic equilibrium point, with an application to the restricted three body problem , 1989 .

[12]  J. Masdemont,et al.  Nonlinear Dynamics in an Extended Neighbourhood of the Translunar Equilibrium Point , 1999 .

[13]  J. Pöschel,et al.  Nekhoroshev estimates for quasi-convex hamiltonian systems , 1993 .

[14]  Charalampos Skokos,et al.  Stability of the Trojan asteroids , 1997 .

[15]  A. Valdés,et al.  Estimates on invariant tori near an elliptic equilibrium point of a Hamiltonian system , 1996 .

[16]  A. Giorgilli,et al.  Superexponential stability of KAM tori , 1995 .

[17]  Angel Jorbayx,et al.  On the normal behaviour of partially elliptic lower-dimensional tori of Hamiltonian systems , 1997 .

[18]  P. Lochak,et al.  Estimates of stability time for nearly integrable systems with a quasiconvex Hamiltonian. , 1992, Chaos.

[19]  Fernando Bertolini,et al.  Le funzioni misurabili di ultrafiltro come elementi di un reticolo lineare numerabilmente completo , 1961 .

[20]  A. Roy,et al.  From Newton to Chaos , 1995 .

[21]  Stephen Wiggins,et al.  KAM tori are very sticky: rigorous lower bounds on the time to move away from an invariant Lagrangian torus with linear flow , 1994 .

[22]  J. Kovalevsky,et al.  Lectures in celestial mechanics , 1989 .

[23]  A. Jorba,et al.  Effective Stability for Periodically Perturbed Hamiltonian Systems , 1994 .

[24]  Victor Szebehely,et al.  Non-linear stability around the triangular libration points , 1981 .

[25]  A. Delshams,et al.  Effective Stability and KAM Theory , 1996 .

[26]  Jürgen Pöschel,et al.  Integrability of Hamiltonian systems on cantor sets , 1982 .

[27]  J. Villanueva,et al.  Effective Stability Around Periodic Orbits of the Spatial RTBP , 1999 .

[28]  V. I. Arnol'd,et al.  PROOF OF A THEOREM OF A.?N.?KOLMOGOROV ON THE INVARIANCE OF QUASI-PERIODIC MOTIONS UNDER SMALL PERTURBATIONS OF THE HAMILTONIAN , 1963 .

[29]  Carles Simó,et al.  Averaging under Fast Quasiperiodic Forcing , 1994 .

[30]  A. Giorgilli,et al.  On the stability of the lagrangian points in the spatial restricted problem of three bodies , 1991 .

[31]  M. Moutsoulas,et al.  Theory of orbits , 1968 .

[32]  George Huitema,et al.  Quasi-Periodic Motions in Families of Dynamical Systems: Order amidst Chaos , 2002 .