Note On Weak Stability Boundaries
Note On Weak Stability Boundaries
Note On Weak Stability Boundaries
DOI 10.1007/s10569-006-9053-6
O R I G I NA L A RT I C L E
F. García · G. Gómez
Abstract This paper is devoted to clarify the algorithmic definition of the weak
stability boundary in the framework of the planar Restricted Three Body Problem.
The role of the invariant hyperbolic manifolds associated to the central manifolds of
the libration points L1 and L2 , as boundary of the weak stability region, is shown.
1 Introduction
The weak stability boundary (WSB) is a concept mainly developed after Belbruno
(1987) and the rescue of the Hiten spacecraft (see Belbruno and Miller 1990). A
careful look to the transfer trajectory of this spacecraft from the Earth to the Moon
(see Koon et al. 2000, 2001) shows that first visited a neighbourhood of the collinear
libration point L1 of the Earth–Sun system, afterwards went to the vicinity of the L2
point of the Earth–Moon system, and finally reached the Moon.
Transfers similar to the one described above are named WSB transfers; they require
a large transfer time (between 60 and 100 days) but a small v (saving up to 150 m/s
with respect to a Hohmann transfer) since they eliminate the hyperbolic excess veloc-
ity at lunar periapsis upon arrival, for this reason, they are also called low energy
transfers. Furthermore, they use the dynamics of the problem in a more natural way
than the Hohmann transfers do.
There is a large number of papers dealing with WSB transfers going from the Earth
to the Moon (see, for instance, Belbruno 1994; Belbruno et al. 1997; Belbruno and
Carrico 2000; Bello et al. 2000; Belbruno et al. 1997; Circi and Teofilato 2001; Yagasaki
2004a,b). The most well known method to find these kind of transfers (Miller and
Belbruno 1991) starts from a low Lunar orbit and, after giving a v, integrates back-
wards in time until a point within the WSB region is reached. A second integration
starts from a parking orbit around the Earth and, after giving a v, integrates for-
ward in time. Both integrations are altered such that the final positions of the transfer
match. In order to minimise the total v, optimisation methods of different kinds
are used. In these papers the WSB region is just defined as a region approximately
1.5 million kilometres away from the Earth in the Sun–Earth direction. It must be
remarked that at this distance is where the libration point orbits around L1 and L2
points of the Sun–Earth system are.
The WSB region (also named fuzzy boundary region) has not got a precise defini-
tion, at least in the usual mathematical sense of the word. Some definitions that can
be found in the literature, aside from the one given above, are: “a generalisation of
the Lagrange points and a complicated region surrounding the Moon” (Belbruno and
Miller 1990), “a region in phase space supporting a special type of chaotic motion
for special choices of elliptic initial conditions with respect m2 ” (Belbruno 2002),
“a transition region between the gravitational capture and escape from the Moon in
the phase space” (Yagasaki 2004a), …
According to Belbruno (2004), the WSB can be defined in the framework of the
planar Restricted Three Body Problem (RTBP) in the following way: let (x,ẋ) ∈ R4 be
the state of the infinitesimal particle m in barycentric rotating coordinates. Consider
the sets
= {(x, ẋ) | hK (x, ẋ) ≤ 0}, σ = {(x, ẋ) | ṙ2 = 0},
where hK denotes the Keplerian energy of m with respect the small primary m2 and
r2 the distance from m to m2 . Recall that the energy for the Kepler problem is given
by (see Pollard 1996)
µ
2|hK | = , (1)
a
where a is the semi-major axis of the orbit.
Then, if J(x, ẋ) is the Jacobi integral of the RTBP, the weak stability boundary W
associated to a given value C of the Jacobi constant is
W = J −1 (C) ∩ ∩ σ . (2)
There is also an algorithmic definition of the WSB (see Belbruno 2002,2004). Consider
a radial segment, l(θ ) departing from the small primary m2 and making an angle θ
with the x-axis. Take trajectories for the infinitesimal body, m, starting on l(θ ) which
satisfy
1. The particle m starts its motion at the periapsis of an osculating ellipse around m2 ,
at a certain point on l(θ ). If r2 denotes the distance between m and m2 at this point,
then
r2 = a(1 − e),
where a and e are the semi-major axis and eccentricity of the ellipse.
A note on weak stability boundaries 89
2. The initial velocity vector of the trajectory is perpendicular to the radial segment
l(θ ).
3. The initial two-body Kepler energy, hK , of m with respect to m2 is negative.
The value of hK , computed at the periapsis, is given by
µe−1
hK = , (3)
2 r2
so, clearly, if e ∈ [0, 1) then hK < 0.
4. The eccentricity of the initial two-body Keplerian motion is held fixed along l(θ ).
According to (3), this condition is equivalent to fix the value of hK .
For the motions with the above initial conditions, the following definition of stability
and instability is given (see Belbruno 2002, 2004):
Definition 1.1 The motion of a particle is said to be stable about m2 if after leaving
l(θ ) it makes a full cycle about m2 without going around m1 and returns to l(θ ) at a
point with negative Kepler energy with respect to m2 . Of course, the motion will be
unstable if the above condition is not fulfilled.
In the above mentioned papers, it is claimed (without giving any proof or numerical
evidence) that as the initial conditions vary along l(θ ), there is a finite distance r∗ (θ , e),
depending on the polar angle θ and the eccentricity e of the initial osculating ellipse,
such that:
also established in Belbruno (1994). This last paper has a heuristic explanation, using
invariant manifolds and Hill’s regions, about how a ballistic capture by the Moon can
take place, but it has not any numerical computation supporting the claims. Neverthe-
less, introduces for the first time, to our knowledge, a model for the restricted four-body
problem consisting in two different restricted three body problems which has been
extensively used in Koon et al. (2000, 2001) to explore more systematically some of
these kind of transfers. These transfer orbits will be not considered in this paper.
The goals of the present paper are:
1. Using the algorithmic definition of the WSB previously mentioned, compute the
boundary between the stable/unstable regions around m2 for different values of
the eccentricity e and using the two different determinations of the velocity.
2. Give a very rough estimate of the stable/unstable regions around the small primary.
3. Compute the stable and unstable invariant manifolds associated to orbits around
the collinear Lagrangian points, in order to see the connection between those
manifolds and the stable/unstable regions.
As it has been said, the framework in which the WSB is defined is the Restricted
Three Body Problem, which describes the motion of a massless particle in the grav-
itational force field created by two main bodies—primaries—in Keplerian circular
motion around their centre of mass.
If m1 and m2 are the masses of the primaries, we will use for the mass ratio its
usual definition µ = m1 /(m1 + m2 ) so, in the sinodical barycentric reference system
and with the usual units of longitude, mass and time, the equations of motion are
(see Szebehely 1967)
∂ ∂
ẍ − 2ẏ = , ÿ + 2ẋ = , (4)
∂x ∂y
with
1 2 1−µ µ 1
(x, y) = (x + y2 ) + + + µ(1 − µ),
2 r1 r2 2
and r12 = (x − µ)2 + y2 , r22 = (x + 1 − µ)2 + y2 . System (4) has the well known Jacobi’s
first integral
J(x, ẋ) = 2(x, y) − (ẋ2 + ẏ2 ) = C, (5)
where C is the so called Jacobi constant.
For all the computations that follow, the value of the mass parameter that has been
used is µ = 0.0121506683, corresponding to the one of the Earth–Moon system.
According to Definition 1.1 for the WSB, to determine the stable/unstable regions
around m2 , Eq. 4 must be integrated taking initial conditions along the radial segment
l(θ ) and with the initial velocity vector perpendicular to it. In this way, for any point
along l(θ ) there are two different initial conditions, that have been called with positive
and negative velocity, respectively. In order to fulfil the other requirements, it is easily
verified that in the barycentric sinodical reference system and starting at a distance r2
from m2 , the initial conditions must be:
A note on weak stability boundaries 91
In both cases, the modulus of the initial sidereal velocity of the infinitesimal particle
is equal to v. Recall that, if the larger primary m1 is removed, these initial conditions
must correspond to elliptic Keplerian orbits around m2 starting at the pericenter so,
for a certain value of the eccentricity, the value of v will be given by
2 2 1 µ(1 + e)
v =µ − = .
r2 a r2
For fixed values of the eccentricity e and the angle θ , we have looked for all the
possible values of the distance r∗ along l for which there is a change of the stability
properties of the orbit (according to Definition 1.1). In this way, we are able to find
a finite number ∗ of∗ points
(up to a certain precision) r1∗ = 0, r2∗ , . . . , r2n ∗ such that if
∗ ∗ ∗ ∗
r2 ∈ [r1 , r2 ] [r3 , r4 ] . . . [r2n−1 , r2n ] then motion is stable and otherwise unstable.
The number of points ri∗ as well as their values depend, of course, on e, θ and the
precision of the computations.
According to these remarks, we can extend the algorithmic definition of the WSB
as the boundary ∂ W where
∗ ∗
W = [r2k−1 (θ , e), r2k (θ , e)], k = 1, . . . , n ; θ ∈ [0, 2π], e ∈ [0, 1) .
We have numerically computed the set W for different values of the initial eccentricity
e = 0, 0.05, 0.1, . . . , 0.95, 0.99, discretising the angular parameter θ using 1000 equidis-
tant values in [0, 2π] and the distance r2 along l with equidistant increments of 5 · 10−3
adimensional units. The maximum value explored for r2 has been 1.7 adimensional
units; for this value of r2 almost all the orbits explored are unstable.
The integration of the RTBP equations of motion has been done using a
Runge–Kutta–Felhberg 7–8 method with automatic step size control and local trun-
cation error less than 10−14 . The equations of motion have been regularised, using
Levi–Civita regularisation (Szebehely 1967), when the motion of the small particle is
inside a disc of radius 10−2 around any primary.
Figures 1 and 2 display the behaviour of the set W , for different values of the
eccentricity, using initial conditions with positive and negative velocity, respectively.
As is clearly seen, the structure of W is not as simple as it was claimed in Belbruno
(2002, 2004), in the sense that for any value of the angle θ there is not a single value
of r∗ defining the boundary of the stable region. The geometry of W becomes more
complicated as the value of e increases and is rather different when the positive of the
negative velocities are used.
We have done a simple numerical experiment to test the robustness of these sta-
bility definition as a function of the number of intersections of the trajectory of the
infinitesimal particle m with the segment l, this is, the number of cycles that the particle
m makes around the small primary fulfiling the conditions of Definition 1.1. Instead
of using the first intersection with l, in order to establish the stability/instability of
92 F. García, G. Gómez
Fig. 1 From top to bottom and left to right, stable regions for initial conditions with positive velocity
and eccentricities e = 0.00, 0.30, 0.60 and 0.90. The origin of the reference system has been set at the
small primary m2
the orbit, we have considered the possibility of having more intersections and studied
how W changes when we increase this number. In this way, we can define W n where
the subindex n denotes the number of revolutions around m2 taken in the stability
definition. It is easy to verify that W n ⊂ W m if m < n.
Figure 3 shows the evolution of the stable regions for e = 0 with n. As it has been
said, as n increases the size of the stable domain decreases in the two cases under
consideration (initial conditions with positive and negative velocity), but there seems
to exist a rather “stable” limit for the stable regions. The evolution for other values of
the eccentricity is similar.
Using Jacobi’s first integral, is possible to give an a-priori estimation of the lower and
upper limits of the values of r2 that produce stable motions, as will be shown in this
A note on weak stability boundaries 93
Fig. 2 From top to bottom and left to right, stable regions for initial conditions with negative velocity
and eccentricities e = 0.00, 0.30, 0.60 and 0.90. The origin of the reference system has been set at the
small primary m2
section. The computation follows the ideas given in Belbruno (2002) and correct some
errors of the formulae of this last paper. In this way, we can compare the resulting
bounds with the numerical results of the preceding section.
With the initial conditions used in the algorithmic definition of the WSB, Jacobi’s
first integral (5) can be written as the function of e, θ and r2 given by
µ(e − 1) 2(1 − µ)
C(r2 , θ , e) = 2 µ(1 + e)r2 − r22 − +
r2 (r2 cos θ − 1)2 + r22 sin2 θ
+ (r2 cos θ − 1 + µ)2 + r22 sin2 θ + µ(1 − µ). (6)
This expression is independent of the two different kinds of initial conditions used.
Clearly, Eq. 6 verifies the symmetry C(r2 , θ , e) = C(r2 , 2π − θ , e), so we will only
consider values of θ in [0, π].
94 F. García, G. Gómez
Fig. 3 Stable regions for initial conditions with positive (left column) and negative (right column)
velocity and e = 0 when the number of intersections with l is equal to n =3 and 6. The origin of the
reference system has been set at the small primary m2
Fig. 4 Projection on the (e, r2 ) plane of the stable points for θ = 0 and π (the left column corresponds
to points with positive velocity and the right column to points with negative velocity). The lower and
upper curves in each figure are the intersections of the C(r2 , θ , e) surface with the C = C2 plane
In this section, the connection between stable regions and the invariant manifolds
associated to the central manifolds of the collinear libration points will be shown.
For a certain value of the Jacobi constant, we compute first the periodic orbits
around the equilibrium points L1 and L2 of the Lyapunov families of planar orbits
around these points, as well as the stable and unstable manifolds associated to them.
On the energy level defined by the value of the Jacobi constant selected, we compute
the set of stable points, according to the algorithmic definition of stability previously
given. Finally we show that the invariant manifolds act as the boundary of the set of
stable points.
For illustration purposes, it is convenient to select an energy level with a large region
of stable points; this happens, for instance, for the value of the Jacobi constant
96 F. García, G. Gómez
Fig. 5 (x, y)-projections of the stable regions W n for initial conditions with C∗ = 3.09998 when the
number n of intersections with l is equal to n = 2, 4, 8 (from left to right) . The first row shows the
stable regions corresponding to positive velocity and the second row to negative velocity
Once the energy level, C∗ , has been fixed, the next step is the computation of the
two planar Lyapunov periodic orbits around the libration points L1 and L2 , respec-
tively, with the same value of the Jacobi constant C∗ . This is done using a standard
predictor–corrector procedure that uses as initial approximation the orbit given by
the linearised equations. The initial values of x0 and y˙0 for these two periodic orbits
are given in Table 1, since the orbit are symmetric with respect to the x-axis, the initial
values y0 and ẋ0 are both zero.
Once the periodic orbits have been computed, with the help of the monodromy
matrices we determine their invariant stable and unstable manifolds as follows, see
Gómez et al. (2001a). Let λ be the eigenvalue of one monodromy matrix greater than
one and u(0) the corresponding eigenvector. If φt denotes the flow associated to the
differential equations of motion (4), the differential of the flow given by the variational
equations, Dφt , gives the image of u(0) under the variational flow, u(t) = Dφt · u(0),
for t ∈ [0, T], where T is the period of the periodic orbit. At each point of the orbit,
A note on weak stability boundaries 97
x0 y˙0
L1 –1.071779887105674 –0.415925464334357
L2 –0.900098585072386 0.406056177805114
the vector u(t) together with the vector tangent to the orbit, span a plane tangent
to the local unstable manifold. By forward integration of the points on this linear
approximation of the manifold, we can produce the full unstable manifold.
Analogously, using the eigenvector associated to the eigenvalue smaller than one,
and integrating backwards in time, we can produce the stable manifold. In fact, due
to the symmetries of the equations, if the unstable eigenvector is u(0) = (u1 (0), u2 (0),
u3 (0), u4 (0)), then the stable eigenvector is (u1 (0), −u2 (0), −u3 (0), u4 (0)).
Of each manifold, we will consider their positive and negative branches. This is, if
γ (t) denotes the point of the periodic orbit at which u(t) is computed, the unstable
manifold is globalised taking initial conditions of the form
γ (t) ± u(t),
where is a positive small number (since we are using the linear approximation of the
manifold) and the ± sign defines the positive and negative branches, respectively. In
our computations we have used typically a value of = 10−8 and the unstable eigen-
vector u has been computed using the power method (see Hämmerlin and Hoffmann
1990). The two branches of the unstable manifolds will be denoted by UL+i , UL−i and
those of the stable manifold by S+ −
Li , SLi , for i = 1, 2.
Since we want to relate invariant manifolds with the set of stable points already com-
puted, from the 2-dimensional invariant manifolds we select those points satisfying
the following two conditions:
1. The position vector, with respect to the small primary m2 is orthogonal to the
velocity vector. This is
|X Ẋ + Y Ẏ| < δ,
where (X, Y, Ẋ, Ẏ) are the coordinates of the point of the manifold in a Moon-
centred reference frame and δ is a tolerance which, in our computations, has been
taken equal to 10−4 .
2. Since we want to be near the stable points computed, we only consider those points
within the domain
K = {(x, y, ẋ, ẏ) ; x ∈ [−1.5, −0.5], y ∈ [−0.4, 0.4], ẋ ∈ [−3, 3], ẏ ∈ [−3, 3]}.
If UL+i , UL−i , S+ −
Li , SLi , denote the different branches of the manifolds associated to
the periodic orbits around Li , for i = 1, 2, the points on these branches fulfiling the
above two conditions will be denoted by
+ − + −
U Li , U Li , SLi , SLi , i = 1, 2.
98 F. García, G. Gómez
To get these sets we have integrated 25,000 orbits on each branch of the invariant
manifolds of the two periodic orbits, during 4π adimensional time units. This is, if
γ (0) is the initial condition of one of the periodic orbits, with period T, and u(0) is
associated unstable eigenvector, to produce the two branches of the unstable manifold
of this orbit, we have integrated the following set of initial conditions
φti (γ (0)) ± Dφti (u(0)),
for ti = i t, t = T/25000 and i = 0, . . . , 24999.
If we put together the branches of the two periodic orbits, this is, we consider
+ − + −
S= (SLi ∪ SLi ), U = (U Li ∪ U Li ),
i=1,2 i=1,2
M ∗
d (n) = max min ||p − p ||∞ .
p∈W n (C∗ ) p∗ ∈S
The first of these quantities must be of the order of the maximum of the two tolerances:
±
for the scalar product used in the definition of the SLi set and for the value of the Jacobi
Fig. 7 Projections of the sets of stable points, with positive initial velocity, W n (C∗ ), for n = 2 (left), 8
(right) and the set S on to the position space. The first row corresponds to stable points with positive
initial velocity and the second row to negative initial velocity
constant after the propagation of the initial conditions on the linear approximations of
the invariant manifolds so, at most, it must be equal to δ = 10−4 . This is what has been
found, furthermore, the values of dm (n) and dM (n) become almost constant for n > 5.
In this paper we have computed, for the RTBP, some stable regions around the small
primary with a complicated boundary. We give numerical evidence that these regions
seem to be bounded by the stable manifolds of the central objects around L1 and L2 at
the same energy level. The geometry of the manifolds provide a Cantorian structure
to the boundary of the stable regions. This boundary structure is similar to the one
found for the stable points around the triangular libration points and the invariant
manifolds of the colinear libration point L3 , see Gómez et al. (2001b). Some rough
estimates of these regions can also be obtained using Jacobi’s first integral.
100 F. García, G. Gómez
Aside from a trivial extension to other values of the mass ratio (of interest in
practical applications), we think that the next step should be to perform the extension
of the study to both the spatial RTBP and some restricted four body model in order to
clarify and give numerical evidence of the connection between these stable/unstable
regions with the low energy transfers.
Acknowledgements The second author has been been partially supported by grants CIRIT
2001SGR-70, 2003XT-00021 (Catalonia) and BFM2003-09504 (MCYT, Spain).
References
Belbruno, E.A.: Lunar capture orbits, a method for constructing Earth–Moon trajectories and
the lunar GAS mission. Proceedings of AIAA/DGLR/JSASS Inter. Propl. Conf. AIAA paper
No. 87-1054 (1987)
Belbruno, E.A., Miler, J.K.: A ballistic lunar capture trajectory for the Japanese spacecraft hiten. Jet
Propulsion Laboratory, IOM 312/90.4–1371-EAB (1990)
Belbruno, E.A.: The dynamical mechanism of ballistic lunar capture transfers in the four body problem
from the perspective of invariant manifolds and hill’s regions. Institut d’Estudis Catalans, CRM
Preprint No. 270, Barcelona (1994)
Belbruno, E.A., Humble R., Coil, J.: Ballistic capture lunar transfer determination for the U.S. Air
Force Academy Blue Moon Mission. AAS/AIAA Spaceflight Mechanics Meeting, Paper No.
AAS 96-171 (1997)
Belbruno, E.A., Carrico, J.P.: Calculation of weak stability boundary ballistic lunar transfer trajecto-
ries. AIAA/AAS Astrodynamics Specialist Conference, Paper No. AIAA 2000–4142 (2000)
Belbruno, E.A.: Analytic estimation of weak stability boundaries and low energy transfers. Contemp
Math 292, 17–45 (2002)
Belbruno, E.A.: (2004) Capture Dynamics and Chaotic Motions in Celestial Mechanics. Princeton
University Press, Princeton, NI (2004)
Belló, M., Graziani, F., Teofilato, P., Circi, C., Porfilio, M. Hechler, M.: A systematic analysis on
weak stability boundary transfers to the moon. 51st International Astronautical Congress, Paper
No. IAF–00-A.6.03 (2000)
Biesbroek, R.: Study on lunar trajectories from GTO by using weak stability boundary transfers and
swing-by’s. European Space Agency, ESTEC working paper No. 2014 (1997)
Circi, C., Teofilato, P.: On the dynamics of weak stability boundary lunar transfers. Celestial Mech.
Dyn. Astron. 79, 41–72 (2001)
Gómez, G., Llibre, J., Matínez, R., Simó, C.: Dynamics and Mission Design Near Libration Point
Orbits—Volume I: Fundamentals: The Case of Collinear Libration Points. World Scientific,
Singapore (2001a)
Gómez, G., Jorba, À., Masdemont, J., Simó, C.: Dynamics and Mission Design Near Libration Point
Orbits—Volume IV: Advanced Methods for Triangular Points. World Scientific, Singapore (2001b)
Hämmerlin, C., Hoffmann, K.H.: Numerical Mathematics. Springer, Berlin (1990)
Koon, W.S., Lo, M.W., Marsden, J.E., Ross, S.D.: Shoot the moon. AAS/AIAA Space Flight Mechanics
Meeting, Paper No. AAS 00-166 (2000)
Koon, W.S., Lo, M.W., Marsden, J.E., Ross, S.D.: Low energy transfer to the moon. Celestial Mech.
Dyn. Astron. 81, 63–73 (2001)
Miller, J.K., Belbruno, E.A.: A method for the construction of a lunar transfer trajectory using ballistic
capture. AAS/AIAA Spaceflight Mechanics Meeting, Paper No. AAS 91-100 (1991)
Pollard, H.: Mathematical Introduction to Celestial Mechanics. Prentice Hall, Englewood Cliffs,
NJ (1996)
Szebehely, V.: Theory of Orbits. Academic Press, New york (1967)
Yagasaki, K.: Sun-perturbed Earth-to-Moon transfers with low energy and moderate flight time.
Celestial Mech. Dyn. Astron. 90, 197–212 (2004a)
Yagasaki, K.: Computation of low energy Earth-to-Moon transfers with moderate flight time. Physica
D 197, 313–331 (2004b)