Frozen orbits of the Hill problem are determined in the double-averaged problem, where short and long-period terms are removed by means of Lie transforms. Due to the perturbation method we use, the initial conditions of corresponding quasi-periodic solutions in the nonaveraged problem are computed straightforwardly. Moreover, the method provides the explicit equations of the transformation that connects the averaged and nonaveraged models. A fourth-order analytical theory is necessary for the accurate computation of quasi-periodic frozen orbits.

1. Introduction

Besides its original application to the motion of the Moon [1], the Hill problem provides a good approximation to the real dynamics of a variety of systems, encompassing the motion of comets, natural and artificial satellites, distant moons of asteroids, or dynamical astronomy applications [24]. Specifically, the Hill model and its variations [59] are useful for describing the motion about planetary satellites. In addition, the Hill problem is an invariant model that does not depend on any parameter, thus, giving broad generality to the results, whose application to different systems becomes a simple matter of scaling. Note that Hill's case of orbits close to the smaller primary is a simplification of the restricted three-body problem, which in turn is a simplification of real models.

A classical result shows that low eccentricity orbits around a primary body are unstable for moderate and high inclinations due to third-body perturbations [10]. Almost circular orbits close to the central body remain with low eccentricity in the long-term only when the mutual inclination with the perturbing body is less than the critical inclination of the third-body perturbations 𝐼=39.2 (see [11] and references therein). Because of their low eccentricity, high inclination orbits are precisely the candidate orbits for science missions around natural satellites. Therefore, a good understanding of the unstable dynamics of the Hill problem is required.

The study of the long-term dynamics is usually done in the double-averaged problem. After removing the short- and long-period terms, and truncating higher-order terms, the problem is reduced to one degree of freedom in the eccentricity and the argument of the periapsis. As the double-averaged problem is integrable and the corresponding phase space is a compact manifold, the solutions are closed curves and equilibria. The latter are orbits that, on average, have almost constant eccentricity and fixed argument of the periapsis, and are known as frozen orbits.

To each trajectory of the double-averaged problem it corresponds a torus of quasiperiodic solutions in the nonaveraged problem. The accurate computation of initial conditions on the torus requires the recovery of the short- and long-period effects that were eliminated in the averaging. This is normally done by trial and error, making iterative corrections on the orbital elements, although other procedures can be applied [12].

Our analytical theory is computed with Deprit's perturbation technique [13]. The procedure is systematic and has the advantage of providing the explicit transformation equations that connect the averaged analysis with proper initial conditions of the nonaveraged problem. A second-order truncation of the Hamiltonian shows that there are no degenerate equilibria and, therefore, it is sufficient to give the qualitative description of the reduced system. However, the second-order truncation introduces a symmetry between the direct and retrograde orbits that is not part of the original problem, and a third-order truncation is required to reveal the nonsymmetries of the problem.

While, in general, the third-order theory provides good results in the computation of quasiperiodic, frozen orbits, its solutions are slightly affected by long-period oscillations. This fact may adversely affect the long-term evolution of the frozen orbits and it becomes apparent in the computation of science orbits about planetary satellites, a case in which small perturbations are enough for the unstable dynamics to defrost the argument of the periapsis. Then, the orbit immediately migrates along the unstable manifold with an exponential increase in the eccentricity.

We find that a higher-order truncation is desirable if one wants to use the analytical theory for computing accurate initial conditions of frozen orbits. The computation of the fourth-order truncation removes almost all adverse effects from the quasiperiodic solutions, and shows a high degree of agreement between the averaged and nonaveraged models even in the case of unstable orbits.

Whereas the third-body perturbation is the most important effect in destabilizing science orbits around planetary satellites, the impact of the nonsphericity of the central body may be taken into account. The previous research including both effects has been limited up to third-order theories (see [14] and references therein), but from the conclusions of this paper it may worth to develop a higher-order theory including the inhomogeneities of the satellite's gravitational potential.

2. Double-Averaged Hill Problem to the Fourth-Order

The equations of motion of the Hill problem are derived from the Hamiltonian

1=2𝜔(𝐗𝐗)𝝎(𝐱×𝐗)+𝑊(𝐱),𝑊=22𝑟23𝑥2𝜇𝑟,(2.1) where, in the standard coordinate system of Hill's model, 𝐱=(𝑥,𝑦,𝑧) is the position vector, 𝐗=(𝑋,𝑌,𝑍) is the vector of conjugate momenta, 𝑟=||𝐱||, and both the rotation rate of the system 𝜔=||𝝎|| and the gravitational parameter 𝜇 of the primary are set to 1 in appropriate units.

The problem is of three degrees of freedom, yet admitting the Jacobi constant =𝐶/2. Despite its nonintegrability, approximate solutions that explain the long-term dynamics can be found by perturbation methods. Close to the central body the Hill problem can be written as the perturbed two-body problem

1=2𝑋2+𝑌2+𝑍21𝑟𝜖𝜖(𝑥𝑌𝑦𝑋)+22𝑟23𝑥2,(2.2) where the first three terms of Hamiltonian (2.2) correspond to the Keplerian motion in the rotating frame and 𝜖 is a formal parameter introduced to manifest the importance of each effect. Thus, the Coriolis term is a first order effect and the third-body perturbation appears at the second-order .

To apply perturbation theory, we formulate the problem in Delaunay variables (,𝑔,,𝐿,𝐺,𝐻), where is the mean anomaly, 𝑔 is the argument of the periapsis, the argument of the node in the rotating frame, 𝐿=𝜇𝑎 is the Delaunay action, 𝐺=𝐿1𝑒2 is the modulus of the angular momentum vector, 𝐻=𝐺cos𝐼 is its polar component, and 𝑎,𝑒,𝐼, are usual orbital elements: semimajor axis, eccentricity, and inclination.

Our theory is based on the use of Lie transforms as described by Deprit [13, 15]. It has the advantage of connecting the averaged and original problems through explicit transformation equations. After removing the short- and long-period terms we get the transformed Hamiltonian

𝒦=𝐾0,0+𝜀𝐾0,1+𝜀22𝐾0,2+𝜀36𝐾0,3+𝜀4𝐾240,4,(2.3) where 𝜀=𝐿3,

𝐾0,01=2𝐿2,𝐾0,1=𝐾0,0𝐾2𝜎,0,2=𝐾0,0142+3𝑒223𝑠2+15𝑒2𝑠2,𝐾cos2𝑔0,3=𝐾0,027𝜎322𝑠2+5017𝑠2𝑒2+15𝑒2𝑠2,𝐾cos2𝑔0,4=𝐾0,035123285𝑠4𝑒4cos4𝑔12𝑠239962940𝑠245824035𝑠2𝑒2𝑒2cos2𝑔+8784708𝑠29𝑠4144926941𝑠2+244𝑠4𝑒2+91072815208𝑠2+5007𝑠4𝑒4,(2.4) and 𝜎=𝐻/𝐿=𝑐𝜂,𝜂=1𝑒2 is the eccentricity function, and we use the abbreviations 𝑠sin𝐼,𝑐cos𝐼. Details on the perturbation method and expressions to compute the transformation equations of the averaging are given in the appendix.

The double-averaged Hamiltonian (2.3) depends neither on the mean anomaly nor on the argument of the node. Therefore, the corresponding conjugate momenta, 𝐿 and 𝐻, are integrals of the reduced problem and the Hamiltonian (2.3) represents a one degree of freedom problem in 𝑔 and 𝐺. The equations of motion are computed from Hamilton equations d𝑔/d𝑡=𝜕𝒦/𝜕𝐺,d𝐺/d𝑡=𝜕𝒦/𝜕𝑔,

d𝑔=6d𝑡𝐺5𝑐2𝜂2𝑐52𝜂2+cos2𝑔27𝜀𝜎4𝐺5𝑐2+11𝜂2𝑐52𝜂2+cos2𝑔3𝜀2128𝐺2113𝑐23285𝑐4+3915+9165𝑐4𝜂2+1581+7791𝑐2𝜂44802𝑐21095𝑐4+19+2565𝑐4𝜂2547+1744𝑐2𝜂4cos2𝑔+1095𝑒2𝑠2𝑐2𝜂2,cos4𝑔d𝐺3d𝑡=4𝑒2𝑠2+𝜀5(8+9𝜀𝜎)sin2𝑔22325091095𝑐2+547+4035𝑐2𝜂2sin2𝑔1095𝑒2𝑠2.sin4𝑔(2.5) Once 𝑔 and 𝐺 are integrated for given initial conditions, the secular variations of and are computed from simple quadratures derived from Hamilton equations d/d𝑡=𝜕𝒦/𝜕𝐻, d/d𝑡=𝜕𝒦/𝜕𝐿,


3. Qualitative Dynamics

The flow can be integrated from the differential equations mentioned previously, (2.5). However, since the system defined by (2.5) is integrable, the flow is made of closed curves and equilibria, and it can be represented by contour plots of Hamiltonian (2.3). Thus, for given values of the dynamical parameters 𝐿 and 𝐻—or 𝜀 and 𝜎—we can plot the flow in different maps that are function of 𝑔, 𝐺. Figure 1 shows an example in semiequinoctial elements (𝑒cos𝑔,𝑒sin𝑔), where we note a hyperbolic point corresponding to an unstable circular orbit, and two elliptic points corresponding to two stable elliptic orbits with 𝑒=0.2 and periapsis at 𝑔=±𝜋/2, respectively.

Delaunay variables are singular for zero eccentricity orbits, where the argument of the periapsis and the mean anomaly are not defined, and for equatorial orbits, where the argument of the node is not defined. Hence, it is common to study the reduced phase space in the variables introduced by Coffey et al. [16], see also [8]:

𝜒1=𝜂𝑒𝑠cos𝑔,𝜒2=𝜂𝑒𝑠sin𝑔,𝜒3=𝜂2121+𝜎2,(3.1) that define the surface of a sphere

𝜒21+𝜒22+𝜒23=141𝜎22(3.2) of radius 𝑅=(1/2)(1𝜎2) (the sphere representation misses the case 𝐺=𝐻=0, irrelevant in astrodynamics.)

Then, after dropping constant terms and scaling, Hamiltonian (2.3) writes

𝒦=12𝜂230𝜒22𝜂2+94𝜀𝜎2524𝜂2𝜎2𝜒1522𝜂2+𝜀2643815+9528𝜎2+9𝜎46343+1709𝜎2𝜂21824𝜂4+6293821𝜂21470𝜎2𝜒22𝜂2𝜒328542𝜂4.(3.3) The flow on the sphere is obtained from Liouville equations ̇𝜒𝑖={𝜒𝑖;𝒦}, 𝑖=1,2,3, where the dot means derivative in the new time scale. Then,

̇𝜒1=3𝜒16𝜂26458𝜂2+5𝜎2+72𝜀𝜎52𝜂2+5𝜎2+𝜀26438151824𝜂4+9528𝜎2+9𝜎46𝜂2343+1709𝜎2+6293821𝜂21470𝜎2𝜒2𝜂2𝜒32852𝜂4,(3.4)̇𝜒23=𝜒16𝜂1608𝜀2𝜂4+𝜂2128+576𝜀𝜎+𝜀2343+1709𝜎2320+360𝜀𝜎𝜀22931470𝜎2𝜒2𝜂21095𝜀2𝜒2𝜂4,(3.5)̇𝜒3=3𝜒8𝜂1𝜒2320+360𝜀𝜎𝜀22931470𝜎2821𝜂2𝜒10952𝜂2,(3.6) with the constraint 𝜒1̇𝜒1+𝜒2̇𝜒2+𝜒3̇𝜒3=0, derived from (3.2).

Equations (3.4)–(3.6) show that circular orbits (𝜒1=𝜒2=0, 𝜒3=𝑅, the “north” pole of the sphere) are always equilibria. Equations (3.5) and (3.6) vanish when 𝜒1=0,𝜒20, but (3.4) vanishes only when

1095𝜀2𝜎4𝜎2320+360𝜀𝜎+𝜀2802+2565𝜎2𝜂2+192216𝜀𝜎𝜀236235𝜎2𝜂661𝜀2𝜂8=0.(3.7) Equation (3.7) is a polynomial equation of degree 8 in 𝜂, therefore admitting eight roots. Note that, for the accepted values of 𝜀1, (3.7) is of the form 𝐴21𝐴22𝑥+𝐴23𝑥3𝐴24𝑥4=0 that admits a maximum of three real roots, according to Descartes' rule of signs.

The real roots of (3.7) verified by the dynamical constraint |𝜎|𝜂1 are also equilibria. The root 𝜂=1 marks a change in the number of equilibria due to a “bifurcation” (𝜂>1 could be a root but not an equilibrium). Then, the number of equilibria changes when crossing the line

𝜀=427𝜎45𝜎3±5076+1473𝜎2+4730𝜎427375𝜎6423+767𝜎2+1470𝜎4(3.8) obtained setting 𝜂=1 in (3.7) that establishes a relation between the dynamical parameters 𝜀 and 𝜎 corresponding to bifurcations of circular orbits. Figure 2 shows that this line defines two regions in the parameters plane with different number of equilibria in phase space. Circular orbits in the outside region of the curve are stable. When crossing the line given by (3.8) the number of real roots of (3.7) with dynamical sense increases such that a pitchfork bifurcation takes place: circular orbits change to unstable and two stable elliptic orbits appear with periapsis, respectively at 𝑔=±𝜋/2, as in the example of Figure 1.

Note that the curve given by (3.8) notably modifies the classical inclination limit cos2𝐼>3/5 for circular orbits' stability. However, we cannot extend the practical application of the analytical theory to any value of 𝜀. It is common to limit the validity of the Hill problem approximation to one third of the Hill radius 𝑟H=31/3. Then 𝜀<(𝑟H/3)3/2=1/9, including most of the planetary satellites of interest. Figure 3 shows the bifurcation lines of circular orbits in the validity region of the parameters plane with the values of 𝜀 corresponding to low altitude orbits around different planetary satellites highlighted.

A powerful test for estimating the quality of the analytical theory is to check the degree of agreement of the bifurcation lines of the analytical theory with those computed numerically in the nonaveraged problem. To do that we compute several families of three-dimensional, almost circular, periodic orbits of the Hill (nonaveraged) problem that bifurcate from the family of planar retrograde orbits at different resonances. For variations of the Jacobi constant the almost circular periodic orbits evolve from retrograde to direct orbits through the 180 degrees of inclination. At certain critical points, almost circular orbits change from stable to unstable in a bifurcation phenomenon in which two new elliptic periodic orbits appear. The computation of a variety of these critical points helps in determining stability regions for almost circular orbits [17].

The tests done show that the fourth-order theory gives good results for 𝜀<0.05. As presented in Figure 4, the bifurcation line of retrograde orbits clearly diverges from the line of corresponding critical periodic orbits for higher values of 𝜀, and it may be worth developing a higher-order theory that encompasses also the case of Enceladus.

4. Frozen Orbits Computation

Hill's case of orbits close to the smaller primary is a simplification of the restricted three-body problem, which in turn is a simplification of real models. Therefore, the final goal of our theory is not the generation of ephemerides but to help in mission designing for artificial satellites about planetary satellites, where frozen orbits are of major interest.

For given values of the parameters𝜀, 𝜎, determined by the mission, a number of frozen orbits may exist. A circular frozen orbit, either stable or unstable, exists always and the computation of real roots |𝜎|𝜂1 of (3.7), if any, will provide the eccentricities of the stable elliptic solutions with frozen periapsis at 𝑔=±𝜋/2. To each equilibrium of the doubly reduced phase space it corresponds a torus of quasiperiodic solutions in the original, nonaveraged model. In what follows we present several examples that justify the effort in computing a fourth-order theory to reach the quasiperiodicity condition in the Hill problem.

4.1. Elliptic Frozen Orbits

We choose 𝜀=0.0470573,𝜎=0.422618. If we first try the classical double-averaged solution, the Hamiltonian (2.3) is simplified to 𝐾0,0+𝜀𝐾0,1+(𝜀2/2)𝐾0,2, and the existence of elliptic frozen orbits reduces to the case 𝜎2<3/5, 𝑔=±𝜋/2. The eccentricity of the elliptic frozen solutions is then computed from 𝜂=(5𝜎2/3)1/4 —obtained by neglecting terms in 𝜀 in (3.7). Thus, for the given values of 𝜀 and 𝜎, and taking into account that we are free to choose the initial values of the averaged angles , , we get the orbital elements of the first row of Table 1. The left column of Figure 5 shows the long-term evolution of the instantaneous orbital elements for this case, that we call “classical averaging,” in which we find long-period oscillations of more than four degrees in inclination, more than fifteen in the argument of periapsis, and a variation of±0.06 in the eccentricity.

When computing a second-order theory with the Lie-Deprit perturbation method we arrive exactly at the classical Hamiltonian obtained by a simple removal of the short-period terms and the classical bifurcation condition that results in the critical inclination of the third-body perturbations 𝐼=39.2 [10, 11]. However, now we have available the transformation equations to recover the short- and long-period effects, although up to the first order only. After undoing the transformation equations we find the orbital elements of the second row of Table 1, where we see that all the elements remain unchanged except for the eccentricity and inclination. The long-term evolution of these elements is presented in the right column of Figure 5, in which we notice a significant reduction in the amplitude of long-period oscillations: 2.5 in inclination, around 10 in the argument of the periapsis, and ±0.04in eccentricity.

The results of the third- and fourth-order theories are presented in the last two rows of Table 1 and in Figure 6. The higher-order corrections drive slight enlargements in the semimajor axis. While both higher-order theories produce impressive improvements, we note a residual long-period oscillation in the elements computed from the third-order theory (left column of Figure 6). On the contrary, the orbital elements of the frozen orbit computed with the fourth-order theory are almost free from long-period oscillations and mainly show the short-period oscillations typical of quasiperiodic orbits.

4.2. Circular Frozen Orbits

If we choose the same value for 𝜀 but now 𝜎=0.777146, frozen elliptic orbits do not exist any longer and the circular frozen orbit is stable. Both the third and fourth-order theories provide good results, but, again, the third-order theory provides small long-period oscillations in the eccentricity whereas the fourth-order theory leads to a quasiperiodic orbit (see Figure 7).

For 𝜀=0.0339919 and 𝜎=0.34202 the circular frozen orbit is unstable. Due to the instability, a long-term propagation of the initial conditions from either the third or the fourth theory shows that the orbit escapes following the unstable manifold with exponential increase in the eccentricity. But, as Figure 8 shows, the orbit remains frozen much more time when using the fourth-order theory. A variety of tests performed on science orbits close to Galilean moons Europa and Callisto showed that the fourth-order theory generally improves by 50% the lifetimes reached when using the third-order theory.

4.3. Fourier Analysis

Alternatively to the temporal analysis mentioned previously, a frequency analysis using the Fast Fourier Transform (FFT) shows how initial conditions obtained from different orders of the analytical theory can be affected of undesired frequencies that defrost the orbital elements.

Thus, Figure 9 shows the FFT analysis of the instantaneous argument of the periapsis of the elliptic orbit in the example mentioned previously. Dots correspond to initial conditions obtained from the double-averaged phase space after a classical analysis—that is equivalent to the second-order analytical theory—and the line corresponds to initial conditions obtained from the fourth-order analytical theory after undoing the transformation. While most of the frequencies match with similar amplitudes, in the magnification of the right plot we clearly appreciate a very low frequency of 0.15 cycles/year with a very high amplitude in the classical theory that is almost canceled out with the fourth-order approach. The semiannual frequency remains in both theories because it is intrinsic to the problem. It is due to the third-body perturbation and it cannot be avoided.

Figure 10 shows a similar analysis for the instantaneous eccentricity of the stable circular orbit mentioned previously. Now, dots correspond to the fourth-order theory and the line to the third-order one (both after undoing the transformation equations). While the third-order theory provides good results, reducing the amplitude of the undesired frequency to low values, the fourth-order theory practically cancels out that frequency.

An FFT analysis of unstable circular orbits has not much sense because of the time scale in which the orbit destabilizes.

5. Conclusions

Frozen orbits computation is a useful procedure in mission designing for artificial satellites. After locating the frozen orbit of interest in a double-averaged problem, usual procedures for computing initial conditions of frozen orbits resort to trial-and-error interactive corrections, or require involved computations. However, the explicit transformation equations between averaged and nonaveraged models can be obtained with analytical theories based on the Lie-Deprit perturbation method, which makes the frozen orbits computations straightforward.

Accurate computations of the initial conditions of frozen, quasiperiodic orbits can be reached with higher-order analytical theories. This way of proceeding should not be undervalued in the computation of science orbits around planetary satellites, a case in which third-body perturbations induce unstable dynamics.

Higher-order analytical theories are a common tool for computing ephemeris among the celestial mechanics community. They are usually developed with specific purpose, sophisticated algebraic manipulators. However, the impressive performances of modern computers and software allow us to build our analytical theory with commercial, general-purpose manipulators, a fact that may challenge aerospace engineers to use the safe, well-known techniques advocated in this paper.


Let 𝒯(𝐱,𝐗)(𝐱,𝐗), where 𝐱 are coordinates and 𝐗 their conjugate momenta, be a Lie transform from “new” (primes) to “old” variables. If 𝑊=𝑖(𝜖𝑖/𝑖!)𝑊𝑖+1(𝐱,𝐗) is its generating function expanded as a power series in a small parameter 𝜖, a function =𝑖(𝜖𝑖/𝑖!)𝐹𝑖,0(𝐱,𝐗) can be expressed in the new variables as the power series (𝒯)=𝑖(𝜖𝑖/𝑖!)𝐹0,𝑖(𝐱,𝐗) whose coefficients are computed from the recurrence

𝐹𝑖,𝑗=𝐹𝑖+1,𝑗1+0𝑘𝑖𝑖𝑘𝐹𝑘,𝑗1;𝑊𝑖+1𝑘,(A.1) where {𝐹𝑘,𝑗1;𝑊𝑖+1𝑘}=𝐱𝐹𝑘,𝑗1𝐗𝑊𝑖+1𝑘𝐗𝐹𝑘,𝑗1𝐱𝑊𝑖+1𝑘, is the Poisson bracket. Conversely, the coefficients 𝑊𝑖+1 of the generating function can be computed step by step from (A.1) once corresponding terms 𝐹0,𝑖 of the transformed function are chosen as desired. In perturbation theory it is common to chose the 𝐹0,𝑖 as an averaged expression over some variable, but it is not the unique possibility [18]. Full details can be found in the literature [19, 20].

To average the short-period effects we write Hamiltonian (2.2) in Delaunay variables as

=𝐻0,0+𝜖𝐻1,0+𝜖22𝐻2,0+𝜖36𝐻3,0+𝜖4𝐻244,0,(A.2) where 𝐻0,0=1/(2𝐿2), 𝐻1,0=𝐻, 𝐻2,0=𝑟2{13[cos(𝑓+𝑔)cos𝑐sin(𝑓+𝑔)sin]2}, and 𝐻3,0=𝐻4,0=0. Note that the true anomaly 𝑓 is an implicit function of .

Since the radius 𝑟 never appears in denominators, it results convenient to express Hamiltonian (A.2) as a function of the elliptic—instead of the true—anomaly 𝑢 by using the ellipse relations 𝑟sin𝑓=𝜂𝑎sin𝑢, 𝑟cos𝑓=𝑎(cos𝑢𝑒), 𝑟=𝑎(1𝑒cos𝑢).

After applying the Delaunay normalization [21] up to the fourth-order in the Hamiltonian, we get

=𝐻0,0+𝜖𝐻0,1+𝜖22𝐻0,2+𝜖36𝐻0,3+𝜖4𝐻240,4,(A.3) where, omitting primes,

𝐻0,01=2𝐿2,𝐻0,1=𝐻0,0𝐻𝜀2𝑐𝜂,0,2=𝐻0,0𝜀284+6𝑒223𝑠2+3𝑠2cos2+15𝑒22𝑠2cos2𝑔+(1𝑐)2cos(2𝑔2)+(1+𝑐)2,𝐻cos(2𝑔+2)0,3=𝐻0,045𝜀38𝑒2𝜂(1+𝑐)2cos(2𝑔+2)(1𝑐)2,𝐻cos(2𝑔2)0,4=𝐻0,03𝜀4×5121647+282𝑐2+63𝑐4144227+90𝑐2+59𝑐4𝑒218227+610𝑐2701𝑐4𝑒424𝑠2558+270𝑐2+109555𝑐2𝑒2𝑒2cos2𝑔+24𝑠2216+56𝑐28161+59𝑐2𝑒211701𝑐2𝑒4cos248(1+𝑐)233890𝑐+90𝑐291185𝑐+185𝑐2𝑒2𝑒2cos(2𝑔+2)48(1𝑐)2338+90𝑐+90𝑐291+185𝑐+185𝑐2𝑒2𝑒2cos(2𝑔2)+6𝑠456472𝑒2+701𝑒4cos4+1710𝑠4𝑒4cos4𝑔60𝑠21837𝑒2𝑒2(1+𝑐)2cos(2𝑔+4)+(1𝑐)2cos(2𝑔4)+1140𝑠2𝑒4(1+𝑐)2cos(4𝑔+2)+(1𝑐)2cos(4𝑔2)+285𝑒4(1+𝑐)4cos(4𝑔+4)+(1𝑐)4.cos(4𝑔4)(A.4) The generating function of the transformation is 𝑊=𝑊2+(1/2)𝑊3, where

𝑊2𝜀=𝐿2×419223𝑠23𝑒5+3𝜂2𝑆1,0,09𝑒2𝑆2,0,0+𝑒3𝑆3,0,0+6𝑠2𝑒35+3𝜂2𝑆1,0,2+𝑆1,02𝑆9𝑒2,0,2+𝑆2,02+𝑒2𝑆3,0,2+𝑆3,02+6𝑠2(1+𝜂)215𝑒𝑆1,2,0(96𝜂)𝑆2,2,0+𝑒𝑆3,2,0+6𝑠2(1𝜂)215𝑒𝑆1,2,0(9+6𝜂)𝑆2,2,0+𝑒𝑆3,2,0+3(1+𝑐)2(1+𝜂)215𝑒𝑆1,2,2(96𝜂)𝑆2,2,2+𝑒𝑆3,2,2+3(1𝑐)2(1+𝜂)215𝑒𝑆1,2,2(96𝜂)𝑆2,2,2+𝑒𝑆3,2,2+3(1𝑐)2(1𝜂)215𝑒𝑆1,2,2(9+6𝜂)𝑆2,2,2+𝑒𝑆3,2,2+3(1+𝑐)2(1𝜂)215𝑒𝑆1,2,2(9+6𝜂)𝑆2,2,2+𝑒𝑆3,2,2,𝑊3𝜀=𝐿3×25672𝑒𝑠213+3𝜂2𝑆1,0,2𝑆1,0,224𝑒2𝑠217+4𝜂2𝑆2,0,2𝑆2,0,2+88𝑒3𝑠2𝑆3,0,2𝑆3,0,26𝑒4𝑠2𝑆4,0,2𝑆4,0,2+36𝑒(1+𝜂)13+𝜂+8𝜂2(1+𝑐)2𝑆1,2,2(1𝑐)2𝑆1,2,2+36𝑒(1𝜂)13𝜂+8𝜂2(1𝑐)2𝑆1,2,2(1+𝑐)2𝑆1,2,212(1+𝜂)2176𝜂8𝜂2(1+𝑐)2𝑆2,2,2(1𝑐)2𝑆2,2,212(1𝜂)217+6𝜂8𝜂2(1𝑐)2𝑆2,2,2(1+𝑐)2𝑆2,2,2+4(1+𝜂)2𝑒(116𝜂)(1+𝑐)2𝑆3,2,2(1𝑐)2𝑆3,2,2+4(1𝜂)2𝑒(11+6𝜂)(1𝑐)2𝑆3,2,2(1+𝑐)2𝑆3,2,23(1+𝜂)2𝑒2(1+𝑐)2𝑆4,2,2(1𝑐)2𝑆4,2,23(1𝜂)2𝑒2(1𝑐)2𝑆4,2,2(1+𝑐)2𝑆4,2,2.(A.5) We shorten notation calling 𝑆𝑖,𝑗,𝑘sin(𝑖𝑢+𝑗𝑔+𝑘).

The Lie transform of generating function 𝑊 can be applied to any function of Delaunay variables =𝑖(𝜖𝑖/𝑖!)𝐹𝑖(,𝑔,,𝐿,𝐺,𝐻). Since 𝑊1=0, up to the third-order in the small parameter recurrence (A.1) gives

=𝐹0+𝜖22𝐹0;𝑊2+𝜖36𝐹0;𝑊3.(A.6) Specifically, this applies to the transformation equations of the Delaunay variables themselves, where 𝐹0(,𝑔,,𝐿,𝐺,𝐻) and 𝐹𝑖0 for 𝑖>0.

A new application of the recurrence (A.1) to the Hamiltonian 𝒦=0𝑖4(𝜖𝑖/𝑖!)𝐾𝑖,0, where 𝐾𝑖,0𝐻0,𝑖 of (A.3), allows to eliminate the node up to the fourth-order, obtaining the double-averaged Hamiltonian (2.3). Note that 𝐾0,4 corrects previous results in [22]. The generating function of the transformation is 𝑉=𝑉1+𝜀𝑉2+(𝜀2/2)𝑉3, where, omitting double primes,


The new Lie transform of generating function 𝑉 can be applied to any function of Delaunay variables, and, specifically, to the Delaunay variables themselves. For any 𝜉(,𝑔,,𝐿,𝐺,𝐻) the transformation equations of the Lie transform are computed, up to the third-order, from

𝜉=𝜉+𝜀𝛿1+𝜀22𝛿2+𝜀36𝛿3,(A.8) where



This work was supported from Projects ESP 2007-64068 (the first author) and MTM 2008-03818 (the second author) of the Ministry of Science and Innovation of Spain is acknowledged. Part of this work has been presented at 20th International Symposium on Space Flight Dynamics, Annapolis, Maryland, USA, September, 24–28 2007.