Abstract
In terms of stability around the primary, it is widely known that the semimajor axis of the retrograde satellites is much larger than the corresponding semimajor axis of the prograde satellites. Usually this conclusion is obtained numerically, since precise analytical derivation is far from being easy, especially, in the case of two or more disturbers. Following the seminal idea that what is unstable in the restricted three-body problem is also unstable in the general N-body problem, we present a simplified model which allows us to derive interesting resonant configurations. These configurations are responsible for cumulative perturbations which can give birth to strong instability that may cause the ejection of the satellite. Then we obtain, analytically, approximate bounds of the stability of prograde and retrograde satellites. Although we recover quite well previous results of other authors, we comment very briefly some weakness of these bounds.
1. Introduction
Among the puzzling questions in the solar system inventory, the problem of the irregular moons of the Jovian planets is a crucial challenge and controversial topic. Their orbits are highly tilted, very eccentric, and in opposition to inner satellites; these moons orbit the mother planets at very large distances, being strongly disturbed by the Sun. Recently, the number of these distant moons has increased at least one order of magnitude than the pre-CCD era (Sheppard etal. [1], Holman etal. [2], and references therein). These discoveries have provided a lot of new ingredients indicating interesting clues to understand the origin, composition, and evolution of such objects. In this work we basically analyze some dynamical aspects which govern the escape process of an irregular satellite. It is well known that there are some remarkable differences in the stability domain between retrograde and prograde moons (Alvarellos and Dones [3], Hamilton and Krivov [4], Vieira Neto etal. [5, 6], Ćuk and Gladman [7], Domingos etal. [8], etc.). Recently, a large number (about 60000) of irregular satellites were numerically integrated by Nesvorný etal. [9]. Among some interesting new results, they also confirm the role played by the Kozai-Lidov and evection resonances which in general provoke the escape of these objects. The evection resonance is caused by the commensurability between (longitude of the satellite pericenter) and (Sun’s mean longitude) where index refers to the Sun's elements. Nesvorný etal. [9] show that once a prograde satellite is in an evection resonance, the critical angle can librate around , resulting in a cumulative perturbation which can cause the escape of the satellite. For the retrograde satellites, the phenomenon is similar, however the definition of the critical angle must be changed and the libration center is or . Nesvorný etal. [9] show that both resonances occur in the vicinity of some fixed values of the semimajor axes of the satellite. Some investigations on these values were done by Alvarellos and Dones [3] and Hamilton and Krivov [4], using some concepts of Jacob constant and generalization of the Tisserand constant for the restricted three-body problem. In this work we derive an alternative and simple way to obtain, theoretically, these semimajor values. Through the steps we outline here, it becomes very clear the main idea which associates the libration of the critical angle with the appearance of the instability.
2. Disturbing Function: Second-Order Expansion
Let us assume a Cartesian system fixed on Jupiter. Initially, the reference plane is the equator of the planet. Figure 1 shows the geometry of the problem. The disturbing function for the motion of a satellite perturbed by the Sun is where third-order terms in the ratio of the distances are neglected; is the constant of the gravitation, is the mass of the Sun, and and are the position vector of the satellite and of the Sun, respectively. is the angular distance between Sun and the satellite. From the geometry we have

We adopt the classical notations: stand for semimajor axis, eccentricity, inclination, mean anomaly, argument of pericenter, longitude of the node, and true anomaly, respectively, for the elements of the satellite. The same variables with the index are used for the Sun.
Now let us choose the Sun-Jupiter orbital plane as the reference plane, so that and where , (, are the longitudes of pericenter of satellite and of the Sun, resp.).
Therefore we have Note that terms like , , , and so forth can be averaged through simple formulae of the classical two-body problem (Yokoyama etal. [10]). Let indicates average with respect to the mean anomaly of the satellite: Omitting the details, we easily get Note that up to now, in the above calculations neither expansion in eccentricity nor in inclination was used. This is an important point since we have to deal with high values of the eccentricity and inclination. The expression of the averaged disturbing function up to second order in the ratio is
3. Prograde Satellites
Considering this disturbing function, we integrate the Lagrange variational equations (Danby [11]). Figure 2(a) shows the behavior of the critical angle and the eccentricity. Note that if the libration of this angle is centered at , the apocenter of the satellite will always be close to Sun. In Figure 3 we show this situation which is a critical case when Jupiter, Sun, and apocenter are aligned, that is, the amplitude of the libration is zero.

(a)

(b)

In this case, no matter the period of the satellite, each time it passes through the apocenter we have the Sun, satellite, and Jupiter aligned with the first two in their closest approach.
Therefore, it will occur a cumulative perturbation. In particular, note that this is the worst situation for the orbital stability of a massless object. Now suppose that this configuration occurs repeatedly. After some passages, certainly, the eccentricity and the semimajor axis of the satellite will be strongly disturbed. They should increase approaching to some dangerous limit. This is clearly shown in Figure 2(b). Note, however, that while remains in libration, the eccentricity is not so high (~0.3). The significant increase of the eccentricity appears only when enters in a circulation regime. This dynamics will be discussed in Section 5. Of course in this model since we are using averaged equations, by definition, the semimajor axis is kept constant. Therefore, within the limits of our model the escape does not necessarily occur during this short integration time. The initial conditions we used were , , , , , AU, , , and ( means Jupiter’s equatorial radius and is Hill’s radius).
Once we have this basic information we can go further and confirm very easily; some results shown in Hamilton and Krivov [4]. Since we have shown that the appearance of the evection resonance causes large variation of the eccentricity, we assume that the corresponding semimajor axis of the evection resonance has to do with the limit of stability of the satellite around the planet. Therefore, we take this statement for granted and search the value of the semimajor axis. To this end, in the averaged disturbing function (2.7), let us consider only the secular and resonant terms due to the evection. All other remaining terms can be neglected. In particular, since we showed a libration in , we fix this angle at . Again, from Lagrange’s equation we easily obtain Now, if we consider , we have Since the apparent motion of the Sun is Keplerian, we take .
Hill’s radius is defined as .
Therefore, equating , we get the resonant value of the semimajor axis: which is in quite agreement with Hamilton and Krivov [4] and the numerical results of Nesvorný etal. [9].
Recall that the semimajor axes we used in Figures 2(a), 2(b) were and , respectively.
A simple inspection in (2.7) shows that critical angle always appears in the form . This sugests that is also another center of libration.
We can confirm this very easily. Selecting only secular and resonant terms in (2.7) we have where we assumed Jupiter in a circular motion and .
The conservative Hamiltonian can easily be derived from the above simplified relation: where is the canonical momentum conjugated to . Considering the classical Delaunay canonical variables: , (Brouwer and Clemence [12]), and writing in terms of and , we proceed with a new trivial canonical transformation: where , , , .
This allow us to write a one-degree-of-freedom problem, since becomes a kinosthenic variable; where . Note that with a completely different way, we obtained (3.4) of Hamilton and Krivov [4].
The level curves of the above Hamiltonian confirm that both and are stable equilibrium points of the system. In Figure 4 we show the level curves in the plane , . This clearly shows that the longitude of the pericenter of the satellite can remain stably pointing to Sun direction or to the opposite direction. Of course the net effect of this dynamics is to stretch the satellite orbit toward and away from the Sun (Figure 4). We also can say that the is a critical configuration, so that we expect to have escape of the satellite mostly in this situation, not when . In Sections 5, 6 we confirm numerically that escapes occur following these kind of behavior.

These mentioned two centers of libration play important role as we can see in Section 6.
4. Retrograde Satellites
For the retrograde satellites, the definition of the longitude of the pericenter should be changed (Saha and Tremaine [13]). Let be the longitude of the pericenter for this case. Therefore, we have Let be the usual longitude of the prograde case. Then, with a simple algebra we can relate both: As in the previous case, we integrate again Lagrange's equations taking the disturbing function given by (2.7).
In the precedent figures, we considered the following initial condictions: , (Figure 5(a)), and , (Figure 5(b)). For Jupiter (Sun) we adopted AU, , , , and .

(a)

(b)
This time we see that the critical angle librates around or . The situation is not so drastic as in the direct case. The schematic geometry given in Figure 6 repeats each time the satellite passes through .

From Lagrange’s variational equations we have where . As before we fixed some values considering the current resonance: , , and . Again equating: , we get: which coincides again with the results given in Hamilton and Krivov [4].
Recall that the semimajor axis we used in Figures 5(a) and 5(b) was . It is worth noting that compared to the previous direct case; the present resonance is not very strong since the closest approach with the Sun is not like in the direct case. Even so, the cumulative effect works quite efficiently in driving the eccentricity and semimajor axis to critical values, sometimes causing ejection of the satellite. This is clear in Figure 5(b).
Again following the same steps outlined for the prograde case, the conservative Hamiltonian can be written as where and are the canonical conjugated variables defined by and .
Drawing level curves for , we can easily check that , are stable equilibrium solutions (Figure 7). This time, in this approximation, the tendency of the orbits is to elongate perpendicularly to the Sun-satellite direction, as suggested in Figure 6.

5. Numerical Tests with Exact Equations
In this section we show some simulations considering the exact differential equations of a satellite of Jupiter disturbed by the Sun. In terms of the radius of the planet, the resonant semimajor axis for the prograde case is . Time variations of the eccentricity and are shown in Figure 8. The initial conditions were , , , , and . Initially, the critical angle remains librating around zero when the eccentricity remains almost bounded and less than 0.4.

(a)

(b)
In Figure 9 we consider , , , , and . As before, initially, libration is around and in the beginning the dynamics is very similar to the previous figure. A significant increase of the eccentricity is observed when enters in the circulation regime and escape occurs at about years.

(a)

(b)
Figure 10 shows a case when the libration is centered only in . As before, the increase and escape occur when changes to a circulation regime.

(a)

(b)
Figure 4 is very useful to interpret the results of the previous simulations. Usually the region deep inside the libration (near the center) is very regular and is related to the existence of stable periodic orbits. For this reason, if is trapped inside a libration region, the eccentricity remains bounded, without suffering large excursions. On the other hand, circulation regime allows large excursions of the eccentricity.
That said, we can analyze the dynamics of the three previous figures. In Figure 8, initially, the satellite librates around up to about 35 years when a short transition to circulation appears for years, but soon, the system again goes back to original libration regime up to about years when the libration center moves to at years. Next, a circulation appears, so that the motion is no more trapped inside a region of bounded small eccentricity, as discussed above. Outside of the libration curves the motion can experience, very easily, higher variations mostly because now the complete problem is not integrable and the domain of the regular region of the level curves of Figure 4, certainly is very reduced (modified). Indeed, numerical examples indicate that the librations of , in general, are not permanent and the perturbations always cause transitions to circulation. In Figure 8, the eccentricity remains below 0.4 and escape occurs only after the resonant angle changes to circulation regime. The jump of the eccentricity when changes to circulation is best illustrated in Figure 9. In Figure 10 the libration is always centered in , but even so, there are some brief transitions when attains or . Again, as predicted, the escape occurs after circulation appears. Although it is not clear in these figures, we have checked that the escapes always occur in the neighborhood of .
As pointed out in Hamilton and Krivov, the limit for the resonant semimajor axis is rather overestimated. In some cases, escapes can occur for . One of the reasons of this discrepancy is the fact that our simplified model in (2.1) considers Jupiter in circular orbit, however in the numerical simulations Jupiter's eccentricity is . Another point which is important is related to the expansion of the function given in (2.7), where terms of higher order in the ratio were neglected. The inclusion of higher order terms is not difficult but laborious. We intend to investigate in a future work.
Our numerical simulations also show that sometimes the initial value of the pericenter plays an important role in the stability. This seems to be more salient for values not so close to . For instance, in the case of we found stability if , while if the satellite is ejected in less than 1000 years.
For the retrograde case we have . Figures 11 and 12 show two examples of escape, where the center of libration changes several times, much more often than in the prograde case. From Figure 6 we see that the two centers of libration are completely symmetric in opposition to the centers of the prograde case (Figure 3). Therefore, the behavior of the eccentricity around these two centers is similar. As before, the change of the center of the libration ( to and vice versa) is predicted in the complete problem, due to the nonintegrability. Figure 7 suggests that the occurrence of these changes is related to a chaotic motion in the neighborhood of a separatrix. Again, each time the critical angle circulates, the trajectory is in a region, where large excursions in eccentricity should occur. Therefore sooner or latter this can result in an escape.

(a)

(b)

(a)

(b)
Indeed in Figures 11-12, after several changes of the center of the libration, escape ocurs and in both cases we confirmed again the remarkable feature we always have observed, that is, in general, escapes occur in the vicinity of the center of the libration ( for prograde satellites and or for retrograde case).
6. Some Islands of Stability
As mentioned before, the bounds and are approximate and overestimated. Certainly, a model using higher order expansion of the disturbing function would provide better determination of these values. Since expansion in Legendre polynomials is crucial for large values of the ratio of the distances, no wonder about some discrepancies in these numbers since they were obtained taking the simplest expansion of second order in (3.1). However, no matter the improvement in this determination, we show, in this section, the existence of several islands of stability beyond the values mentioned above.
In Figures 4 and 7 we found two stable equilibrium centers. Although the onset of the resonance can cause large variations and sometimes escape, however if the satellite is trapped deep inside the libration curve, this orbit can remain very stable, free of dangerous variations in eccentricity. In general these are periodic (quasi-) stable orbits and are not isolated. Our numerical experiments have shown that there are some finite intervals of the semimajor axis even for , where the satellite survives for at least 5 myr. Figures 13 and 14 show typical examples, where the satellite remains trapped in and , respectively.

(a)

(b)

(a)

(b)
In the case of retrograde orbits we found much more interesting intervals of stability. We show only two Figures 15 and 16, where although the resonant angle changes sometimes from to , the eccentricity remains quite safe from collision or escapes. Note that in these two figures, the semimajor axis is much larger than . Recall that this kind of stable regions is possible thanks to the two stable libration centers predicted in our simplified model. In other words, the appearance of the two stable centers is related to the existence of a family of stable periodic orbits. In the complete problem, part of this region of stability is still preserved. Therefore, we can numerically find some of these orbits even for high distances. Finally, we list some semimajor axis intervals , where stability was found for at least 5 million years, as follows:

(a)

(b)

(a)

(b)
[604–640] ; [600–642] ; [564–676] ; [568–677] ; [576–620], [652–680] ; [572, 618], [654–682] ; where within parentesis, on the right of the intervals, we indicate the initial values for , , and . For the remaining values we considered , , and . Most probably some of these orbits are the same as pointed out by Winter [14] for the Earth-Moon problem.
7. Conclusion
We have derived, analytically, the values of the semimajor axis, where evection resonances can occur. These values are important, since they define approximated limits, where direct and retrograde orbits can remain stable around a planet. Through a simple model based on the restricted three-body problem these values were obtained and checked against exact numerical integration. Using a completely different way, we confirm previous results of other authors. Our methodology is based on the classical expansion of the disturbing function which can be improved much more if we consider higher order terms. Therefore, we think that the current values: and perhaps can be improved. We also showed that the existence of stable orbits beyond the above values is related to the stability of the region in the vicinity of the libration centers of the evection resonance, which still persist even for large values of the semimajor axis.
Acknowledgments
The authors thank FAPESP, CNPQ, FUNDUNESP, and CAPES for financial support. Anonymous referees are gratefully thanked for very useful comments.