Next Article in Journal
Parametric Investigation of a Distributed Propulsion System on a Regional Aircraft
Next Article in Special Issue
Nonlinear Slewing Control of a Large Flexible Spacecraft Using Reaction Wheels
Previous Article in Journal
A Study on Dynamic Characteristics of Thin-Walled Cylindrical Cavities with a Large Aspect Ratio
Previous Article in Special Issue
A Parallelized Genetic Algorithm to Evaluate Asteroid Impact Missions Using Electric Propulsion
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Characterization of Low-Energy Quasiperiodic Orbits in the Elliptic Restricted 4-Body Problem with Orbital Resonance

1
School of Aerospace Engineering, Sapienza University of Rome, 00185 Roma, Italy
2
Department of Astronautical, Electrical and Energy Engineering, Sapienza University of Rome, 00185 Roma, Italy
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Aerospace 2022, 9(4), 175; https://doi.org/10.3390/aerospace9040175
Submission received: 22 February 2022 / Revised: 14 March 2022 / Accepted: 15 March 2022 / Published: 22 March 2022
(This article belongs to the Collection Space Systems Dynamics)

Abstract

:
In this work, we investigate the behavior of low-energy trajectories in the dynamical framework of the spatial elliptic restricted 4-body problem, developed using the Hamiltonian formalism. Introducing canonical transformations, the Hamiltonian function in the neighborhood of the collinear libration point L 1 (or L 2 ), can be expressed as a sum of three second order local integrals of motion, which provide a compact topological description of low-energy transits, captures and quasiperiodic libration point orbits, plus higher order terms that represent perturbations. The problem of small denominators is then applied to the order three of the transformed Hamiltonian function, to identify the effects of orbital resonance of the primaries onto quasiperiodic orbits. Stationary solutions for these resonant terms are determined, corresponding to quasiperiodic orbits existing in the presence of orbital resonance. The proposed model is applied to the Jupiter-Europa-Io system, determining quasiperiodic orbits in the surrounding of Jupiter-Europa L 1 considering the 2:1 orbital resonance between Europa and Io.

1. Introduction

Low-energy trajectories have long been used in space exploration, starting from missions to the libration points of the Sun–Earth system [1,2,3,4,5] and including lunar transfers passing close to the intermediate Earth–Moon libration point L 1 [6,7,8], named internal transfers, or extending beyond the orbit of the Moon to take advantage of the Sun gravitational attraction [9,10], named external transfers.
The spatial Circular Restricted 3-Body Problem (CR3BP) [11] represents an effective model for the preliminary analysis of both missions to the libration points [12,13,14,15] and low-energy transfers [16,17,18]. As proved by Conley [19], in this dynamical framework the ultimate behavior of low-energy trajectories can be determined based on their phase space description in the neighborhood of the collinear libration points [20], a property which has been extensively used in mission oriented works, since it allows a rapid design of low-energy missions [21,22,23,24,25].
More accurate solutions can be generated based on more sophisticated models, such as the Elliptic Restricted 3-Body Problem (ER3BP) [26], in which the primaries move along elliptic orbits, or the Circular Restricted 4-Body Problem (CR4BP), in which the spacecraft dynamics evolves under the gravitational attraction of four primaries (i.e., the Sun–Earth–Moon system) [27]. Unfortunately, because no integrals of motion, such as the Jacobi constant for the CR3BP, are known for neither the ER3BP nor the CR4BP, a general characterization of low-energy trajectories in these dynamical frameworks has not been derived yet.
In fact, the phase space description derived for the CR3BP in the surrounding of the libration point L 1 (or L 2 ) can actually provide pivotal results for the design of missions also in the presence of non negligible, but limited, eccentricity in the motion of the primaries [28] and gravitational attraction from a fourth body [29]. This result has its foundation on a theorem by Conley and Easton [30], stating that the basic topological properties of the phase space flow of the CR3BP are persistent in the presence of perturbations, whose validity was verified also by means of numerical analyses [31,32].
In this paper, we present a novel model that allows characterizing low-energy trajectories for a system consisting of a central body and two natural satellites moving along elliptic orbits, therefore in the dynamical framework of the spatial Elliptic Restricted 4-Body Problem (ER4BP). Typically, this task is performed based on the results of the CR3BP, corrected and compensated to take into account the perturbations introduced by the eccentric motion of the primaries or by the gravitational attraction of a third primary. The model proposed in this paper provides results which do not require any further correction and, furthermore, allows determining new solutions corresponding to quasiperiodic orbits existing when the primaries are in orbital resonance.
The ER4BP is modeled using the Hamiltonian formalism, where canonical transformations of the state variables allow reducing the Hamiltonian function for the ER4BP to a form equivalent to that of the CR3BP in the neighborhood of L 1 plus higher order terms, thus the complexity of the problem is transferred in the definition of a coordinate transformation. Following this approach, the low-energy trajectories can be characterized in terms of the new phase space variables, using the same techniques developed for the CR3BP [33], then the corresponding physical (position and velocity) coordinates can be derived applying the inverse coordinate transformation.
The effect of orbital resonance between two of the primaries is finally examined. Under this circumstance, any attempt of introducing a canonical transformation to absorb the higher order terms defaults, because of the small denominators problem [34], and the Hamiltonian function for the ER4BP, is transformed to that of the CR3BP plus an additional resonant term.
Specific phase space states in the transformed coordinates correspond to equilibrium conditions for the resonant term and these are actually periodic solutions in physical coordinates. The problem is here applied to the specific case of the Jupiter–Europa–Io system, in which the two moons are in a 2:1 resonance, to determine quasiperiodic trajectories in the neighborhood of Jupiter–Europa L 1 . Here, a satellite can be deployed to perform, or support, space science missions to the Jovian moon, which has attracted the interest of space agencies because of its geodynamically active icy crust, which makes Europa a major candidate for the search of life in the solar system [35,36].
The paper is organized as it follows, in Section 2 a model for the ER4BP is developed in space and velocity coordinates and converted to Hamiltonian variables. In Section 3 the Hamiltonian function for the ER4BP is set in a form equivalent to that of the CR3BP by means of canonical transformations. In Section 4 the resonant terms, depending on the true anomalies of the primaries, are identified, by means of small denominators problem, and the corresponding quasiperiodic solutions are determined. An application to the Jupiter–Europa–Io system is provided in Section 5, comparing the analytical solution obtained in Section 4 to the numerical results obtained from integrating the full nonlinear equations of motion associated to the ER4BP.

2. The Elliptic Restricted 4-Body Problem

2.1. Dynamical Model

The dynamics of a restricted 4-body system, with masses m 1 , m 2 , m 3 > > m , is hereafter described under the following hypotheses:
  • The center of mass of the system is indicated as O;
  • The relative motion of m 2 with respect to m 1 describes a Keplerian orbit onto the plane Π with semimajor axis a and eccentricity e;
  • The relative motion of m 3 with respect to m 1 describes a Keplerian orbit onto the plane Π p with semimajor axis a p and eccentricity e p ;
  • The orbital plane Π p is tilted of an angle ε p with respect to Π ;
where the subscript p is used to explicit the parameters referring to the perturbing fourth body ( m 3 ) . This model is suitable to represent a multi-moon environment, which is typical for the outer planets, or gas giants, in the solar system.
An inertial reference frame F i = Ξ ^ , H ^ , Z ^ is introduced. F i is centered in O, with Z ^ orthogonal to Π , Ξ ^ parallel to the line that connects m 1 and m 2 at the initial time t 0 , and H ^ completing the rectangular reference frame. For the sake of simplicity, it is assumed that at t 0 the primary m 3 is at the apocenter of its orbit around m 1 and lies onto the Ξ ^ , Z ^ plane. It shall be noted that this hypothesis does not cause any loss of generality.
The dynamic equations of motion for m in the inertial reference frame are reported below
Ξ ¨ = G { m 1 Ξ Ξ 1 t R 1 3 + m 2 Ξ Ξ 2 t R 2 3 + m 3 Ξ Ξ 3 t R 3 3 } H ¨ = G { m 1 H H 1 t R 1 3 + m 2 H H 2 t R 2 3 + m 3 H H 3 t R 3 3 } Z ¨ = G { m 1 Z Z 1 t R 1 3 + m 2 Z Z 2 t R 2 3 + m 3 Z Z 3 t R 3 3 }
where Ξ i , H i , Z i indicate the coordinates of the i-th primary, and R i indicates the distance between m and the i-th primary.
System (1) can be conveniently converted into rotating-pulsating coordinates, after introducing the reference frame F r = ξ ^ , η ^ , ζ ^ , which rotates rigidly with the primaries m 1 and m 2 . In particular, F r is parallel to F i at t 0 , with axis ξ ^ pointing from m 1 to m 2 , axis ζ ^ orthogonal to Π and axis η ^ completing the orthogonal reference frame. As sketched in Figure 1 (the trajectory of the primaries in Figure 1 and Figure 2 does not correspond to an actual system and is produced for the sake of representation, selecting: a = 6.4 e + 5 km, a p = 4.2 e + 5 km, e = 9.4 e 3 , e p = 4.1 e 1 , ε p = 43 deg, m 1 = 1.9 e + 25 kg, m 2 = 8.9 e + 24 kg, m 3 = 4.8 e + 24 kg), in the rotating frame the primaries m 1 and m 2 oscillate along the axis ξ ^ . The trajectory of the primary m 3 is more complex and results from the combination of the periodic motion of m 3 around O and the periodic rotation of F r . Converting the inertial coordinates into rotating ones produces the following form for the dynamic equations of motion [37]
ξ ¨ = θ ¨ η + 2 θ ˙ η ˙ + θ ˙ 2 ξ U ξ η ¨ = θ ¨ ξ 2 θ ˙ ξ ˙ + θ ˙ 2 η U η ζ ¨ = U ζ
where U = G i = 1 3 m i R i and θ is the true anomaly of m 2 .
Introducing the normalization factors for the mass M = i = 1 3 m i , distance R = a 1 e 2 1 + c o s θ and time T = R 2 G M , allows transforming the rotating coordinates into rotating-pulsating ones ( x , y , z ) , and, finally, rearranging System (2) in a dimensionless form, with the dependence on time being replaced by that on θ [38]
x 2 y = τ u x + x y + 2 x = τ u y + y z = τ u z + z z
where τ = 1 + e cos θ 1 , u = i = 1 3 μ i r i , r i = R i R , μ i = m i M and the apostrophe indicates the derivative with respect to θ . As shown in Figure 2, the position of the primaries m 1 and m 2 in rotating-pulsating coordinates corresponds to, respectively, μ , 0 , 0 and 1 μ , 0 , 0 with μ = m 2 M . As in the rotating frame, the primary m 3 evolves along a three-dimensional trajectory which in this case depends also on the periodic motion of the rotating-pulsating reference frame along axis ξ .
The second order equations in System (3) are typically expressed as a set of first order equations for the position x , y , z and velocity v x , v y , v z coordinates
x = v x y = v y z = v z v x = 2 v y + τ u x + x v y = 2 v x + τ u y + y v z = τ u z + z z
The reader will notice that setting e = e p = μ 3 = 0 the Systems (1)–(4) reduce to the corresponding ones for the CR3BP. In Section 3 it will be shown how to express the dynamics of the ER4BP to a form equivalent to that of the CR3BP also when e, e p , and μ 3 are small but not negligible. To achieve this goal, the Hamiltonian formalism is introduced.

2.2. Hamiltonian Formalism

System (4) can be represented using the Hamiltonian formalism after deriving the Hamiltonian function for the ER4BP (see [26,39])
H = 1 2 p 1 + q 2 2 + p 2 q 1 2 + p 3 2 + q 3 2 τ u + 1 2 q 1 2 + q 2 2 + q 3 2
which depends on the variables q and p , where the bold style is used to indicate the vectors, named the positions and conjugate momenta
q 1 = x q 2 = y q 3 = z p 1 = v x y p 2 = v y + x p 3 = v z
The dynamic equations of motion are obtained by the definitions [40] q = H p and p = H q , leading to
q 1 = p 1 + q 2 q 2 = p 2 q 1 q 3 = p 3 p 1 = p 2 q 1 + τ u q 1 + q 1 p 2 = p 1 q 2 + τ u q 2 + q 2 p 3 = q 3 + τ u q 3 + q 3
Introducing Equation (6) into Equation (7) results in System (4), proving the equivalence between the Hamiltonian and the position space representations.
Considering the non-polynomial terms of H
F e , e p , μ 3 r 3 = τ u + 1 2 q 1 2 + q 2 2 + q 3 2
the dependence on e, e p , and μ 3 r 3 can be isolated after expanding in power series F e , e p , μ 3 r 3 about the expansion point e = e p = μ 3 r 3 = 0 , indicated by the superscript
F + e F e | + e p F e p | + μ 3 r 3 F μ 3 / r 3 | + o ( 2 ) e , e p , μ 3 / r 3
with
F = μ 1 r 1 + μ 2 r 2 + 1 2 q 1 2 + q 2 2 + q 3 2
F e | = cos θ i = 1 2 μ i r i + 1 2 q 1 2 + q 2 2 + q 3 2 i = 1 2 μ i 2 r i 3 ρ i e |
F e p | = i = 1 2 μ i 2 r i 3 ρ i e p |
F μ 3 / r 3 | = i = 1 2 μ i 2 r i 3 ρ i μ 3 / r 3 |
where o ( 2 ) collects the terms of order higher than one in e, e p , and μ 3 / r 3 . For the sake of clarity, the long expressions for the partial derivatives of ρ i = r i 2 are reported in Appendix A.
Collecting the polynomial terms of Equation (5) and F , results in the Hamiltonian of the CR3BP [11], hereafter indicated as
H c = 1 2 p 1 2 + p 2 2 + p 3 2 + p 1 q 2 p 2 q 1 μ 1 r 1 μ 2 r 2
Then, Equation (5) can be expressed in the compact form
H = H c q , p e F e | e p F e p | μ 3 r 3 F μ 3 / r 3 | + o ( 2 ) e , e p , μ 3 / r 3

3. Classification of Low-Energy Trajectories in the Elliptic Restricted 4-Body Problem

3.1. Persistence of the Topological Properties

In Section 2, the Hamiltonian function of the ER4BP was expressed as the sum of the Hamiltonian for the CR3BP ( H c ) and the terms depending on the orbital eccentricity of the primaries ( e , e p ) and on the gravitational attraction of the third primary ( μ 3 / r 3 ) .
It is worth recalling now that for the CR3BP, the ultimate behavior of low-energy trajectories can be determined based on the topological properties of the linear flow in the phase space surrounding the collinear libration points L 1 (or L 2 ) [20], called the equilibrium region. According to a theorem by Conley and Easton, the properties of the flow in the equilibrium region are persistent also in the presence of perturbations [30], therefore for small e, e p and μ 3 / r 3 , it shall be possible to transform the Hamiltonian function of the ER4BP to a form equivalent to that of the CR3BP in the equilibrium region, hereafter indicated as H c ( 2 ) .
The expression of H c ( 2 ) is derived hereafter. First, the origin of the system is translated to the libration point (equivalent solutions can be derived for the second libration point by simply replacing L 1 with L 2 ), setting
q ˜ 1 = q 1 L 1 p ˜ 2 = p 2 L 1
Then the non polynomial terms of Equation (14) are rearranged as follows
μ 1 r 1 = 1 μ | L 1 + μ | 1 + x ¯ 1 2 μ 2 r 2 = 1 μ | L 1 + μ 1 | 1 + y ¯ 1 2
and expanded in power series up to order two in q , obtaining
μ 1 r 1 = 1 μ | L 1 + μ | 1 1 2 x ¯ μ 2 r 2 = 1 μ | L 1 + μ 1 | 1 1 2 y ¯
where L 1 is the x coordinate of the libration point, μ = m 2 m 1 + m 2 and
x ¯ = 2 q ˜ 1 L 1 + μ + q ˜ 1 2 + q 2 + q 3 2 L 1 + μ 2 y ¯ = 2 q ˜ 1 L 1 + μ 1 + q ˜ 1 2 + q 2 + q 3 2 L 1 + μ 1 2
Introducing Equations (18) and (19) into Equation (15) and excluding terms inessential in the Hamilton equations of motion leads to
H c ( 2 ) = 1 2 ( p 1 2 + p 2 2 + p 3 2 ) + p 1 q 2 p ˜ 2 q 1 K q ˜ 1 2 1 2 q 2 2 1 2 q 3 2
with K = 1 μ | L 1 + μ | 3 + μ | L 1 + μ 1 | 3 .
In the following sections, two canonical transformations are introduced. The first one leads the second order Hamiltonian function for the ER4BP to a form equivalent to Equation (20), the second one allows expressing the resulting second order Hamiltonian function as the sum of three local integrals of motion.

3.2. Normal Forms for the Elliptic Restricted 4-Body Problem

A canonical transformation from the old to a new set of Hamiltonian variables T 1 : ( q , p ) ( Q , P ) is designed by means of the generating function S, which verifies the condition
H ^ = H q , p , θ + S θ
and links the old and new variables as
p = S q Q = S P
The authors proved that selecting the generating function reported below (see Appendix B)
S q , P , θ , f i = q ˜ 1 P 1 + q 2 P 2 + q 3 P 3 + f 1 P 1 + f 2 P 2 + f 3 P 3 + f 4 q ˜ 1 + f 5 q 2 + f 6 q 3
The canonical transformation can absorb the second order terms in Equation (15) that depend on the perturbations ( e , e p , μ 3 / r 3 ) , hereafter explicited (please note that terms depending on the perturbation e p do not appear in Equation (23) because they are of a order higher than two)
H ( 2 ) = H c ( 2 ) q , p + e L 1 q ˜ 1 cos θ + μ 3 r 3 q ˜ 1 C 1 , 0 + q 2 C 2 , 0 + q 3 C 3 , 0
Then, the second order Hamiltonian H ^ ( 2 ) in the new variables reduces to H ^ ( 2 ) = H c ( 2 ) Q , P , where
H c ( 2 ) Q , P = 1 2 P 1 2 + P 2 2 + P 3 2 + P 1 Q 2 P 2 Q 1 K Q 1 2 1 2 Q 2 2 1 2 Q 3 2
and the full Hamiltonian is given by
H ^ = H c ( 2 ) Q , P + H ^ ( n ) Q , P , e , e p , μ 3 / r 3
where H ^ ( n ) collects terms of order 3 or higher.
It is worth to summarize the result here. Applying the canonical transformation defined in Equation (21) with the generating function described by Equation (23), the second order Hamiltonian function H ^ ( 2 ) for the ER4BP results in Equation (25), whose form is equivalent to that of the second order Hamiltonian H ( 2 ) for the CR3BP, given by Equation (20). Because the topological properties of the phase space flow in the equilibrium region depend on the local form of the Hamiltonian function [20], the equivalence in the form of H ^ ( 2 ) and H ( 2 ) indicates that the topological properties of the CR3BP are equivalent to those of the ER4BP, substantiating the theorem by Conley and Easton [30].

3.3. Topological Characterization of Low-Energy Trajectories

A second canonical transformation T 2 : ( Q , P ) ( x , y ) , originally proposed by Siegel and Moser [41] and extensively used for the CR3BP [29,33,42], allows expressing H ^ ( 2 ) as the sum of three terms
H ¯ ( 2 ) = ρ x 1 y 1 + λ 1 2 x 2 2 + y 2 2 + λ 2 2 x 3 2 + y 3 2 = h
where ρ , λ 1 , and λ 2 are, respectively, the real and the two imaginary eigenvalues of the linear system associated to H ^ ( 2 ) and h indicates the constant value of H ¯ ( 2 ) , named the energy level.
As proved by Moser [43], the three terms in Equation (27) are local integrals of motion, each one depending on a different couple of variables x i , y i . The two integrals associated with the imaginary eigenvalues λ i represent harmonic oscillators and characterize, respectively, the in-plane and out-of-plane oscillations, corresponding to the ( x , y ) and z components in position space coordinates.
The level surface ρ x 1 y 1 describes the linear phase space flow in the neighborhood of the saddle point x 1 = 0 , y 1 = 0 , as sketched in Figure 3.
Low-energy trajectories can be characterized based on their state projection in x 1 , y 1 and are classified as follows [20]:
  • Lissajous quasiperiodic orbits, characterized by x 1 = y 1 = 0 , which evolve inside the equilibrium region;
  • Transit trajectories, corresponding to the hyperbolic segments x 1 y 1 < 0 , which cross the equilibrium region twice, once towards m 1 and once towards m 2 , in a finite interval of time;
  • Bouncing trajectories, corresponding to the hyperbolic segments x 1 y 1 > 0 , which never cross the equilibrium region;
  • Long-term ballistic captures, characterized by either x 1 0 or y 1 0 , which cross the equilibrium region twice, over an indefinitely long interval of time.
Inasmuch, some relevant results proved that the CR3BP can be extended to the ER4BP, indicating that correlations exist between the osculating orbital elements of ballistic captures in the proximity of the primaries and their state x , y in the equilibrium region [33,44].
As detailed in the next section, the model proposed can provide further information on the dynamical evolution of quasiperiodic orbits under the effect of perturbations included in higher order terms. In particular, the impact of orbital resonance between the primaries is examined.

4. Resonant Terms and Quasiperiodic Solutions

4.1. Identification of Resonant Terms

The focus now is on investigating the effects of residual perturbations, included in the higher order terms, onto quasiperiodic orbits x 1 = y 1 = 0 . In particular, the case of orbital resonance between the primaries is examined, which allows setting θ ˙ p = n θ ˙ , where n is an integer number.
The Hamiltonian function including the higher order terms can be easily derived, by applying the canonical transformation T 2 by Siegel and Moser to H ^ ( n ) , producing H ¯ ( n ) , and adding this term to Equation (27), resulting in
H ¯ = ρ x 1 y 1 + λ 1 2 x 2 2 + y 2 2 + λ 2 2 x 3 2 + y 3 2 + H ¯ ( n )
A new canonical transformation T 3 : ( x , y ) ( w , z ) , aiming at absorbing the order three terms in Equation (28), is now introduced. Operating as in Section 3, the canonical transformation is defined by means of a generating function S, which verifies
H ˜ = H ¯ x , y , θ + S θ
and
y = S x w = S z
Using symbolic algebra, the authors proved that setting the following expression for the generating function (see Appendix B)
S x , z , θ , g i = x 1 z 1 + x 2 z 2 + x 3 z 3 + g 1 x 2 2 + g 2 x 3 2 + g 3 z 2 2 + g 4 z 3 2 + g 5 z 2 + g 6 x 2 + + g 7 z 3 + g 8 x 3
Allows absorbing the order three terms of Equation (28), leading to
H ¯ = ρ w 1 z 1 + λ 1 2 w 2 2 + z 2 2 + λ 2 2 w 3 2 + z 3 2 + H ˜ ( m )
where H ˜ ( m ) collects the terms of order higher than three.
As expected from the small denominator problem [34], in case of resonance, the denominators of some coefficients in g i are equal to zero and the canonical transformation defaults. In particular, this occurs in g 5 and g 6 for n = λ 1 + ϵ and in g 7 and g 8 for n = λ 2 + ϵ , where ϵ is an arbitrarily small constant.
The residual order three terms of the Hamiltonian function are reported below
H ˜ j r e s = 2 w j + z j b 1 ( j ) cos 2 θ + b 2 ( j ) cos θ sin θ + b 3 ( j ) sin 2 θ
where j = 2 , 3 and b i ( j ) are constant coefficients depending on e, e p and μ 3 / r 3 and are determined from the change of coordinates in Equation (30).

4.2. Determination of Stationary Points

The model developed here allows determining periodic solutions existing because of orbital resonance. Before proceeding with their determination, the following property of the canonical transformation by Siegel and Moser shall be recalled [40,41]
w j = ρ j e i ϕ j z j = i ρ j e i ϕ j
Introducing Equation (34) into Equation (33) and applying Euler’s formula, to express the exponential terms as trigonometric functions, the expression of H ˜ j r e s is transformed to
H ˜ j r e s = ρ j 2 b 1 ( j ) + b 2 ( j ) + b 3 ( j ) cos ϕ j 2 θ
Here the dependence on the true anomaly θ can be absorbed by introducing the canonical transformation T 4 : ( ρ j , ϕ j ) ( ρ ˜ j , ϕ ˜ j ) defined by the following generating function
S ( ρ j , ϕ ˜ j , θ ) = ρ j ϕ ˜ j 2 ρ j θ
Corresponding to the change of coordinates reported below (the variables not reported are not transformed)
ρ j = ρ ˜ j ϕ j = ϕ ˜ j + 2 θ
Which transforms Equation (35) as follows
H ˜ j r e s = ρ ˜ j 2 b 1 ( j ) + b 2 ( j ) + b 3 ( j ) cos ϕ ˜ j 2 ρ ˜ j
Stationary points exist for Equation (38), corresponding to
ϕ ˜ j , s = k π , k Z ρ ˜ j , s = H ^ j r e s 2
The reader shall note that the sequence of transformations from T 1 to T 4 , hereafter indicated as T 1 , 4 and producing ρ , σ = T 1 , 4 q , p , depend on the commensurable θ and θ p . Applying the inverse of T 1 , 4 to any stationary solution defined by Equation (39) results in a quasiperiodic trajectory in q , p s and related position and velocity components.

5. Numerical Analysis

In the previous sections, we derived a model which allows designing quasiperiodic libration point orbits existing in case of resonance between the primaries. This model is here verified by means of numerical analysis on the Jupiter–Europa–Io system, whose parameters are reported in Table 1 (from the values in Table 1 it is possible to compute μ 3 / r 3 < < 10 3 ). This system is characterized by the 2:1 orbital resonance between Europa and Io, corresponding to n = 2.02 .
The effects of the orbital resonance is investigated on quasiperiodic orbits in the neighborhood of Jupiter–Europa L 1 , characterized by λ 1 = 2.22 and λ 2 = 2.15 . Since n = 2.02 , the condition n λ i = ϵ is verified. In particular, the case of an out of plane periodic orbit is presented below. The initial conditions, selected from Equation (39) for j = 3 , are ϕ ˜ 3 , s = 0 and H ^ 3 r e s = 10 15 and correspond to x 1 = L 1 , x 2 = 0 , x 3 = 3.11 × 10 10 , y 1 = 0 , y 2 = 0 and y 3 = 4.556 × 10 3 . From this initial state, the full nonlinear equations of motion in System (4) are integrated using ode113 solver in Matlab, for a total time equal to 200 times the orbital period of Europa around Jupiter, which corresponds to about 708 Earth days. The time behavior of the oscillations is shown in Figure 4, where the distance is normalized by D U = R = a .
The solution is compared to the one obtained ignoring the order three terms, corresponding to the state x 1 = L 1 , x 2 = 0 , x 3 = 10 10 , y 1 = 0 , y 2 = 0 and y 3 = 0 . The time behaviour of the oscillations is represented in Figure 5, showing that the orbital perturbation of Io produces an increase of the amplitude up to ± 2.9 × 10 4 DU in the time interval considered. Differently, the amplitude of oscillations for the quasiperiodic orbit obtained from the stationary point never exceeds the value 10 5 DU.
A representation of the quasiperiodic trajectory in the rotating frame is shown in Figure 6. It can be observed that the vertical component oscillates as in Figure 4, while the in-plane components have a negligible drift towards the negative values, resulting from higher order perturbations. It shall be emphasized that over the 200 orbits, the drift of the in-plane components is four orders of magnitude lower than the amplitude of the vertical oscillations. To provide a better insight on the shape of the quasiperiodic orbit corresponding to the stationary point, the trajectory is represented in Figure 7 in the inertial reference frame ( Ξ , H , Z ) .

6. Conclusions

In this manuscript we presented a model to extend the topological characterization of low-energy trajectories from the dynamical framework of the CR3BP to that of the ER4BP. This goal is achieved, defining a sequence of canonical transformations which convert the Hamiltonian function of the ER4BP, evaluated in the neighborhood of the libration point L 1 (or L 2 ) to a form equivalent to that of the CR3BP.
The higher order terms of the Hamiltonian function in the normal form, which depend on the true anomalies of the primaries, can be absorbed by a further canonical transformation. This transformation defaults in case of orbital resonance between the primaries, as indicated by the problem of small denominators.
For the terms of the Hamiltonian function that cannot be absorbed by the canonical transformation, in virtue of the orbital resonance, stationary points can be computed, which correspond to quasiperiodic orbits in the position space coordinates.
The above mentioned model was verified, by means of numerical analyses, to investigate the behavior of quasiperiodic orbits for the Jupiter–Europa–Io system, characterized by the 1:2 resonance of Io and Europa. The full nonlinear equations of motion for the ER4BP were integrated for an initial condition corresponding to the vertical harmonic oscillator at Jupiter-Europa L 1 .
The results clearly showed that neglecting the terms of order three results in a trajectory in which the amplitude of the oscillations increases indefinitely in time, driven by the orbital resonance between the primaries. Instead, using the initial conditions associated to stationary points determined for the order three resonant Hamiltonian, reported in Equation (27), the amplitude of oscillations does not diverge and the resulting orbits are quasiperiodic.

Author Contributions

Conceptualization, S.C., M.P. and P.T.; methodology, S.C. and P.T.; software, S.C.; validation, M.P. and P.T.; formal analysis, S.C. and M.P.; investigation, S.C.; resources, P.T.; data curation, M.P.; writing—original draft preparation, S.C.; writing—review and editing, M.P. and P.T.; visualization, S.C. and M.P.; supervision, P.T.; project administration, P.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Terms of the Power Series Expansion

The expressions for the partial derivatives of ρ i , that appear for the first time in Equations (10)–(13), are reported below, in order to allow the reader to replicate the results presented. The derivatives that are not reported are equal to zero.
ρ 3 e = 2 a { a p cos θ sin θ p sin θ + cos θ p cos θ cos ε p a q 1 + + cos θ a p cos θ p cos ε p a μ 2 cos θ + sin θ a p μ 1 sin θ p a μ 2 sin θ + a p μ 2 sin θ p + + a p cos θ sin θ p cos θ cos θ p sin θ cos ε p a q 2 + a p sin θ p cos θ a p cos θ p sin θ cos ε p + + a p cos θ p cos θ sin ε p a q 3 + a p cos θ p sin ε p }
ρ 3 e p = 2 a 2 a q 1 + cos θ a p cos θ p cos ε p a μ 2 cos θ + sin θ a p sin θ p a μ 2 sin θ + + a p cos 2 θ p cos θ cos ε p + a p sin θ p sin θ cos θ p + 2 a p a [ cos 2 θ p sin ε p q 3 + a p a cos θ p sin ε p + + cos θ p sin θ p cos θ cos θ p sin θ cos ε p + + q 2 + a p a sin θ p cos θ cos θ p sin θ cos ε p ]
ρ 1 μ 3 / r 3 = μ 1 q 1 μ 2 q 1 1 μ 2 sin 2 θ a p a sin θ sin θ p + μ 2 cos 2 θ a p a cos θ p cos θ cos ε p + 2 a p a q 2 sin θ p cos θ cos θ p sin θ cos ε p 2 a p a q 3 cos θ p sin ε p
ρ 2 μ 3 / r 3 = cos θ μ 2 cos θ a p a cos θ p cos ε p sin θ a p a μ 1 sin θ p μ 2 sin θ + a p a μ 2 sin θ p μ 1 + μ 1 q 1 + μ 2 q 1 2 a p a q 2 sin θ p cos θ cos θ p sin θ cos ε p + 2 a p a q 3 cos θ p sin ε p
ρ 3 μ 3 / r 3 = { q 1 + cos θ a p a cos θ p cos ε p μ 2 cos θ + sin θ a p a sin θ p μ 2 sin θ [ sin θ p a p a sin θ p μ 2 sin θ cos θ μ 2 cos θ a p a cos θ p cos ε p + 2 a p a sin θ p cos θ cos θ p sin θ cos ε p q 2 + a p a sin θ p cos θ cos θ p sin θ cos ε p + 2 a p a cos θ p sin ε p q 3 + a p a cos θ p sin ε p

Appendix B. Canonical Transformations

In this section, it is described the process to derive the canonical transformations absorbing the order two (Appendix B.1) and the order three terms (Appendix B.2) depending on e, e p and μ 3 / r 3 .

Appendix B.1. Second Order

The expression of the Hamiltonian function derived in Section 2 for the ER4BP is given by Equation (15). In particular, the second order terms are collected in Equation (24), reported hereafter for the sake of completeness
H ( 2 ) = H c ( 2 ) q , p + e L 1 q ˜ 1 cos θ + μ 3 r 3 q ˜ 1 C 1 , 0 + q 2 C 2 , 0 + q 3 C 3 , 0
where
C 1 , 0 = [ ( a p μ 1 sin θ p sin θ a μ 2 + a p μ 2 sin θ p sin θ + + a p μ 1 cos θ p cos θ cos ε p + a p μ 2 cos θ p cos θ cos ε p ) ( μ 1 | L 1 + μ 1 | 3 + μ 2 | L 1 + μ 1 | 3 2 μ 1 μ | L 1 + μ | 3 μ 1 μ | L 1 + μ 1 | 3 + + μ 2 μ | L 1 + μ | 3 + 2 μ 2 μ | L 1 + μ 1 | 3 + 3 μ 1 μ 2 | L 1 + μ | 3 + 3 μ 2 μ 2 | L 1 + μ 1 | 3 + 3 L 1 μ 2 | L 1 + μ 1 | 3 + 3 L 1 μ 1 μ | L 1 + μ | 3 + 3 L 1 μ 2 μ | L 1 + μ 1 | 3 ) ] / ( a | L 1 + μ 1 | 3 | L 1 + μ | 3 )
C 2 , 0 = a p a sin θ p cos θ cos θ p sin θ cos ε p μ 1 | L 1 + μ | 3 μ | L 1 + μ 1 | 3
C 3 , 0 = a p a cos θ p sin ε p μ 1 | L 1 + μ | 3 μ cos θ p sin ε p | L 1 + μ 1 | 3
Introducing the generating function defined by Equation (23)
S q , P , θ , f i = q ˜ 1 P 1 + q 2 P 2 + q 3 P 3 + f 1 P 1 + f 2 P 2 + f 3 P 3 + f 4 q ˜ 1 + f 5 q 2 + f 6 q 3
The following transformation from the old ( q , p ) to the new ( Q , P ) canonical coordinates is obtained
q ˜ 1 = Q 1 f 1 q 2 = Q 2 f 2 q 3 = Q 3 f 3 p 1 = P 1 + f 4 p ˜ 2 = P 2 + f 5 p 3 = P 3 + f 6
Leading to the following expression of the second order Hamiltonian function
H ^ ( 2 ) = 1 2 P 1 2 + P 2 2 + P 3 2 + P 1 Q 2 P 2 Q 1 K Q 1 2 1 2 Q 2 2 1 2 Q 3 2 + Q 1 f 4 2 f 5 + 2 K f 1 + e L 1 cos θ + μ 3 r 3 C 1 , 0 + + Q 2 2 f 4 + f 5 K f 2 + μ 3 r 3 C 2 , 0 + Q 3 f 6 K f 3 + μ 3 r 3 C 3 , 0 + + P 1 2 f 4 2 f 2 + f 1 + P 2 2 f 1 + 2 f 5 + f 2 + P 3 2 f 6 + f 3
with K = 1 μ | L 1 + μ | 3 + μ | L 1 + μ 1 | 3 .
To reduce the Hamiltonian H ^ ( 2 ) to a form equivalent to that of the CR3BP, reported in Equation (24), the terms multiplying Q i and P i shall be set equal to zero. This corresponds to solving the following set of differential equations depending on the variable θ and including the parameters e, e p and μ 3 / r 3
f 1 = 2 f 2 2 f 4 f 2 = 2 f 1 2 f 5 f 3 = 2 f 6 f 4 = 2 f 5 2 K f 1 e L 1 cos θ μ 3 r 3 C 1 , 0 f 5 = 2 f 4 + K f 2 μ 3 r 3 C 2 , 0 f 6 = K f 3 μ 3 r 3 C 3 , 0
The complex system of Equations (A12) is solved using symbolic algebra tools in Matlab. It shall be outlined that the equations depending on the in-plane ( Q 1 , Q 2 , P 1 , P 2 ) and the out-of-plane ( Q 3 , P 3 ) variables are not coupled, therefore they can be solved separately, reducing the use of computational resources. The process results in the following expression for the transformed Hamiltonian function
H ^ ( 2 ) = 1 2 P 1 2 + P 2 2 + P 3 2 + P 1 Q 2 P 2 Q 1 K Q 1 2 1 2 Q 2 2 1 2 Q 3 2 + H ^ ( n )
where H ^ ( n ) Q , P , e , e p , μ 3 / r 3 collects the terms of order three and higher.

Appendix B.2. Third Order

Applying the transformation T 2 developed by Siegel and Moser [41], the Hamiltonian variables are transformed as follows (see [29,40] for the derivation of matrix T 2 )
x , y = T 2 Q , P
Introducing Equation (A14) to Equation (A13) leads to the following form for the Hamiltonian
H ¯ = ρ x 1 y 1 + λ 1 2 ( x 2 2 + y 2 2 ) + λ 2 2 ( x 3 2 + y 3 2 ) + H ¯ ( n )
where H ¯ ( n ) x , y , e , e p , μ 3 / r 3 collects the terms of order three and higher.
Because the interest of this analysis is investigating quasiperiodic orbits, the condition x 1 = y 1 = 0 is verified, then Equation (A15) can be written in the following form, which includes all terms up to order three
H ¯ ( 3 ) = λ 1 2 x 2 2 + y 2 2 + λ 2 2 x 3 2 + y 3 2 + x 2 2 e cos θ K + 1 2 t 1 , 2 2 cos θ K 2 1 2 t 2 , 2 2 + + x 2 y 2 e 2 t 1 , 2 t 1 , 5 cos θ K + 1 2 2 t 2 , 2 t 2 , 5 cos θ K 1 2 x 3 2 e t 3 , 6 2 cos θ K 1 2 + y 3 2 e t 3 , 3 2 cos θ K 1 2 x 3 y 3 e t 3 , 3 t 3 , 6 cos θ K 1 2 + y 3 e t 3 , 3 f 3 cos θ K 1 + + y 2 e t 2 , 2 f 2 cos θ K 1 t 1 , 2 f 1 cos θ 2 K 1 + x 2 2 e cos θ K + 1 2 t 1 , 5 2 K 1 2 t 1 , 5 2 + + x 2 e t 2 , 5 f 2 cos θ K 1 t 1 , 5 f 1 cos θ 2 K + 1 + x 3 e t 3 , 6 f 3 cos θ K 1 + + y 2 2 μ 3 r 3 c 0200 + x 2 y 2 μ 3 r 3 c 1100 + y 2 μ 3 r 3 c 0100 + y 3 2 μ 3 r 3 c 0002 + x 3 y 3 μ 3 r 3 c 0011 + + y 3 μ 3 r 3 c 0001 + x 2 2 μ 3 r 3 c 2000 + x 2 μ 3 r 3 c 1000 + x 3 2 μ 3 r 3 c 0002 + x 3 μ 3 r 3 c 0001
where the long expressions for the coefficients c i j k l were not reported, but can be derived from the procedure described in the previous paragraphs.
A canonical transformation T 3 is here introduced to absorb the order three Hamiltonian, operating as in Appendix B.1. The expression for the generating function, given by Equation (31), is reported below for the sake of clarity
S x , z , θ , g i = x 1 z 1 + x 2 z 2 + x 3 z 3 + g 1 x 2 2 + g 2 x 3 2 + g 3 z 2 2 + g 4 z 3 2 + g 5 z 2 + g 6 x 2 + + g 7 z 3 + g 8 x 3
Resulting in the following transformation from the old ( x , y ) to the new ( w , z ) canonical coordinates
x 1 = w 1 x 2 = w 2 g 5 2 g 3 z 2 x 3 = w 3 g 7 2 g 4 z 3 y 1 = z 1 y 2 = w 2 + g 6 2 g 1 g 5 + 2 g 1 w 2 4 g 1 g 3 z 2 y 3 = w 3 + g 8 2 g 2 g 7 + 2 g 2 w 3 4 g 2 g 4 z 3
Introducing the Equation (A18) into Equation (A16) results in two sets of ordinary differential equations, one for g 1 , g 3 , g 5 and g 6 , related on the in-plane variables ( w 2 , z 2 ) , and one for g 2 , g 4 , g 7 , and g 8 , related to the out of plane variables ( w 3 , z 3 ) . These sets of ordinary differential equations are solved using symbolic algebra tools in Matlab, producing the following form for the Hamiltonian function
H ˜ = ρ w 1 z 1 + λ 1 2 ( w 2 2 + z 2 2 ) + λ 2 2 ( w 3 2 + z 3 2 ) + H ˜ ( n + 1 )
where H ˜ ( n + 1 ) w , z , e , e p , μ 3 / r 3 collects the terms of order four and higher.
As discussed in Section 4, the canonical transformation T 3 defaults in case of resonance, occurring for n = λ 1 + ϵ and n = λ 2 + ϵ , where ϵ is an arbitrarily small constant. In this case the denominator of some coefficients in functions g 5 , g 6 , g 7 , and g 8 are equal to zero, and residual terms of the Hamiltonian, reported in Equation (35), can be threaded as indicated in Section 4 to determine stationary points corresponding to quasiperiodic solutions.

References

  1. Rathsman, P.; Kugelberg, P.; Bodin, P.; Racca, D.G.; Foing, B.; Stagnaro, L. SMART-1: Development and Lessons Learnt. Acta Astronaut. 2005, 56, 455–468. [Google Scholar] [CrossRef]
  2. Lo, M.W.; Williams, B.G.; Bollman, W.E.; Han, D.S.; Hahn, Y.S.; Bell, J.L.; Hirst, E.; Corwin, R.; Hong, R.; Howell, K.; et al. Genesis mission design. J. Astronaut. Sci. 2011, 49, 169–184. [Google Scholar] [CrossRef]
  3. Folta, D.C.; Woodard, M.; Howell, K.; Patterson, C.; Schlei, W. Applications of multi-body dynamical environments the ARTEMIS transfer trajectory design. Acta Astronaut. 2012, 73, 237–249. [Google Scholar] [CrossRef] [Green Version]
  4. Roncoli, R.B.; Fujii, K.K. Mission design overview for the gravity recovery and interior laboratory GRAIL mission. In Proceedings of the AIAA/AAS Astrodynamics Specialist Conference, Toronto, ON, Canada, 2–5 August 2010. [Google Scholar]
  5. Farquhar, R.W. The Flight of ISEE-3/ICE Origins, Mission History, and a Legacy. J. Astronaut. Sci. 2001, 49, 23–73. [Google Scholar] [CrossRef]
  6. Dunham, D.W.; Jen, S.J.; Roberts, C.E.; Seacord, A.W., II; Sharer, P.J.; Folta, D.C.; Muhonen, D.P. Transfer trajectory design for the SOHO libration-point mission. In Proceedings of the 43rd International Astronautical Congress, Washington, DC, USA, 28 August–5 September 1992. [Google Scholar]
  7. Sharer, P.; Harrington, T. Trajectory Optimization for the ACE Halo Orbit Mission. In Proceedings of the AIAA/AAS Astrodynamics Specialist Conference, San Diego, CA, USA, 29–31 July 1996. AIAA paper 96-3601-CP. [Google Scholar]
  8. Franz, H.; Sharer, P.; Ogilvie, K.; Desch, M. WIND Nominal Mission Performance and Extended Mission Design. J. Astronaut. Sci. 2001, 49, 145–167. [Google Scholar] [CrossRef]
  9. Uesugi, K.; Matuso, H.; Kawaguchi, J.; Hayashi, T. Japanese first double Lunar swingby mission HITEN. Acta Astronaut. 1991, 25, 347–355. [Google Scholar] [CrossRef]
  10. Belbruno, E.; Miller, J. Sun-perturbed Earth-to-Moon transits with balistic capture. J. Guid. Control Dyn. 1993, 16, 770–775. [Google Scholar] [CrossRef]
  11. Szebehely, V. Theory of Orbit the Restricted Problem of Three Bodies; Academic Press: London, UK, 1967. [Google Scholar]
  12. Goḿez, G.; Masdemont, J. Some zero cost transfers between libration points orbits. In Proceedings of the AAS/AIAA Space Flight Mechanics Meeting, Clearwater, FL, USA, 23–26 January 2000. Paper AAS 00-177. [Google Scholar]
  13. Breakwell, J.V.; Brown, J.V. The halo family of 3-dimensional periodic orbits in the Earth–Moon restricted 3-body problem. Celest. Mech. Dyn. Astron. 1979, 20, 389–404. [Google Scholar] [CrossRef]
  14. McCarthy, B.P.; Howell, K.C. Leveraging quasi-periodic orbits for trajectory design in cislunar space. Astrodynamics 2021, 5, 139–165. [Google Scholar] [CrossRef]
  15. Farquhar, R.W.; Kamel, A.A. Quasi-periodic orbits about the translunar libration point. Celest. Mech. Dyn. Astron. 1973, 7, 458–473. [Google Scholar] [CrossRef]
  16. Moeckel, R. A variational proof of existence of transit orbits in the restricted three-body problem. Dyn. Syst. Int. J. 2005, 20, 45–58. [Google Scholar] [CrossRef] [Green Version]
  17. Anderson, R.L.; Easton, R.W.; Lo, M.W. Isolating blocks as computational tools in the circular restricted three-body problem. Physica D 2017, 343, 38–50. [Google Scholar] [CrossRef]
  18. Giancotti, M.; Pontani, M.; Teofilatto, P. Lunar capture trajectories and homoclinic connections through isomorphic mapping. Celest. Mech. Dyn. Astron. 2012, 114, 55–76. [Google Scholar] [CrossRef]
  19. Conley, C.C. Low energy transit orbits in the restricted three-body problem. J. Appl. Math. 1968, 16, 732–746. [Google Scholar] [CrossRef]
  20. Conley, C.C. On the Ultimate Behavior of Orbits with Respect to an Unstable Critical Point l. Oscillating, Asymptotic, and Capture Orbits. J. Differ. Equ. 1969, 5, 136–158. [Google Scholar] [CrossRef] [Green Version]
  21. Koon, W.S.; Lo, M.W.; Marsden, J.E.; Ross, S.D. Low Energy transit to the Moon. Celest. Mech. Dyn. Astron. 2001, 81, 63–73. [Google Scholar] [CrossRef]
  22. Giancotti, M.; Pontani, M.; Teofilatto, P. Cylindrical isomorphic mapping applied to invariant manifold dynamics for Earth-Moon Missions. Celest. Mech. Dyn. Astron. 2014, 120, 249–268. [Google Scholar] [CrossRef]
  23. Anderson, R.L.; Lo, M.W. Spatial approaches to moons from resonance relative to invariant manifolds. Acta Astronaut. 2014, 105, 335–372. [Google Scholar] [CrossRef]
  24. Khaja Fayaz, H.; Khaja Faisal, H.; Carletta, S.; Teofilatto, P. Deployment of a microsatellite constellation around the Moon using chaotic multi body dynamics. In Proceedings of the 71st International Astronautical Congress, Dubai, United Arab Emirates, 25–29 October 2021. [Google Scholar]
  25. Carletta, S.; Pontani, M.; Teofilatto, P. Earth-Mars microsatellite missions using ballistic capture and low-thrust propulsion. In Proceedings of the 71st International Astronautical Congress, Dubai, United Arab Emirates, 25–29 October 2021. [Google Scholar]
  26. Szebehely, V.; Giacaglia, G.E.O. On the elliptic restricted problem of three bodies. Astronaut. J. 1964, 69, 230–235. [Google Scholar] [CrossRef]
  27. Michalodimitrakis, M. The circular restricted four-body problem. Astrophys. Space Sci. 1981, 75, 289–305. [Google Scholar] [CrossRef]
  28. Carletta, S.; Pontani, M.; Teofilatto, P. Station-keeping about sun-mars three-dimensional quasi-periodic collinear libration point trajectories. Adv. Astronaut. Sci. 2020, 173, 299–311. [Google Scholar]
  29. Carletta, S.; Pontani, M.; Teofilatto, P. Long-term capture orbits for low-energy space missions. Celest. Mech. Dyn. Astron. 2018, 130, 46. [Google Scholar] [CrossRef] [Green Version]
  30. Conley, C.; Easton, R. Isolated invariant sets and isolating blocks. Trans. Am. Math. Soc. 1971, 158, 35–61. [Google Scholar] [CrossRef]
  31. Graziani, F.; Sparvieri, N.; Carletta, S. A low-cost Earth-Moon-Mars Mission Using a Microsatellite Platform. In Proceedings of the 71st International Astronautical Congress, Online Event, 12–14 October 2020. [Google Scholar]
  32. Carletta, S. Design of fuel-saving lunar captures using finite thrust and gravity-braking. Acta Astronaut. 2021, 181, 190–200. [Google Scholar] [CrossRef]
  33. Carletta, S.; Pontani, M.; Teofilatto, P. Dynamics of three-dimensional capture orbits from libration region analysis. Acta Astronaut. 2019, 165, 331–343. [Google Scholar] [CrossRef]
  34. Arnold, V.I. Small denominators and problems of stability of motion in classical and celestial mechanics. In Collected Works; Vladimir I. Arnold—Collected Works; Givental, A.B., Khesin, B.A., Marsden, J.E., Varchenko, A.N., Vassiliev, V.A., Viro, O.Y., Zakalyukin, V.M., Eds.; Springer: Berlin/Heidelberg, Germany, 2009; Volume 1. [Google Scholar]
  35. Blanc, M.; Alibert, Y.; André, N.; Atreya, S.; Beebe, R.; Benz, W.; Bolton, S.J.; Coradini, A.; Coustenis, A.; Dehant, V.; et al. LAPLACE: A mission to Europa and the Jupiter System for ESA’s Cosmic Vision Programme. Exp. Astron. 2009, 23, 849–892. [Google Scholar] [CrossRef] [Green Version]
  36. Phillips, C.B.; Pappalardo, R.T. Europa Clipper Mission Concept: Exploring Jupiter’s Ocean Moon. EOS 2014, 95, 165–167. [Google Scholar] [CrossRef]
  37. Carletta, S.; Pontani, M.; Teofilatto, P. Design of low-energy capture trajectories in the elliptic restricted four-body problem. In Proceedings of the 70th International Astronautical Congress, Washington, DC, USA, 21–25 October 2019. [Google Scholar]
  38. Liu, C.; Gong, S. Hill stability of the satellite in the elliptic restricted four-body problem. Astrophys. Space Sci. 2018, 363, 162. [Google Scholar] [CrossRef]
  39. Llibre, J.; Piñol, C. On the elliptic restricted three-body problem. Celest. Mech. Dyn. Astron. 1990, 48, 319–345. [Google Scholar] [CrossRef]
  40. Meyer, K.R.; Hall, G.R.; Offin, D. Introduction to Hamiltonian Dynamical Systems and the N-Body Problem. In Applied Mathematical Sciences; Springer Science+Business Media: New York, NY, USA, 2009. [Google Scholar]
  41. Siegel, C.L.; Moser, J.K. Lectures on Celestial Mechanics Reprint of the 1971 Edition; Springer: Berlin/Heidelberg, Germany, 1995. [Google Scholar]
  42. Koon, W.S.; Lo, M.W.; Marsden, J.E.; Ross, S.D. Dynamical Systems, the Three-Body Problem and Space Mission Design; Marsden Books, 2011; Available online: https://www.researchgate.net/publication/328913173_Dynamical_Systems_the_Three-Body_Problem_and_Space_Mission_Design (accessed on 20 February 2022).
  43. Moser, J. On the generalization of a theorem of A. Liapounoff. Commun. Pure Appl. Math. 1958, 11, 257–271. [Google Scholar] [CrossRef]
  44. Carletta, S.; Pontani, M.; Teofilatto, P. Dynamics of capture orbits from libration region analysis. In Proceedings of the 69th International Astronautical Congress, Bremen, Germany, 1–5 October 2018. [Google Scholar]
Figure 1. Motion of the primaries in the rotating frame.
Figure 1. Motion of the primaries in the rotating frame.
Aerospace 09 00175 g001
Figure 2. Motion of the primaries in rotating-pulsating coordinates. Only one orbit of m 3 is shown.
Figure 2. Motion of the primaries in rotating-pulsating coordinates. Only one orbit of m 3 is shown.
Aerospace 09 00175 g002
Figure 3. Representation of the phase space flow in x 1 , y 1 .
Figure 3. Representation of the phase space flow in x 1 , y 1 .
Aerospace 09 00175 g003
Figure 4. Behavior of the vertical oscillator associated to a stationary point.
Figure 4. Behavior of the vertical oscillator associated to a stationary point.
Aerospace 09 00175 g004
Figure 5. Behavior of a vertical oscillator determined neglecting order three terms.
Figure 5. Behavior of a vertical oscillator determined neglecting order three terms.
Aerospace 09 00175 g005
Figure 6. Representation of the vertical oscillator associated to a stationary point in the rotating frame.
Figure 6. Representation of the vertical oscillator associated to a stationary point in the rotating frame.
Aerospace 09 00175 g006
Figure 7. Representation of the vertical oscillator associated to a stationary point in the inertial frame.
Figure 7. Representation of the vertical oscillator associated to a stationary point in the inertial frame.
Aerospace 09 00175 g007
Table 1. Parameters of the Jupiter–Europa–Io system.
Table 1. Parameters of the Jupiter–Europa–Io system.
VariableSymbolValue
Mass of Jupiter m 1 1.899 × 10 27 kg
Mass of Europa m 2 4.799 × 10 24 kg
Mass of Io m 3 8.932 × 10 22 kg
Jupiter–Europa semimajor axisa6.711 × 10 5 km
Jupiter–Io semimajor axis a p 4.218 × 10 5 km
Jupiter–Europa eccentricitye0.0094
Jupiter–Io eccentricity e p 0.0041
Inclination between the orbital planes ε 0.430 deg
Coordinate of the libration point L 1 L 1 6.081 × 10 5 km
Resonant Hamiltonian terms H ^ 3 r e s 10 15
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Carletta, S.; Pontani, M.; Teofilatto, P. Characterization of Low-Energy Quasiperiodic Orbits in the Elliptic Restricted 4-Body Problem with Orbital Resonance. Aerospace 2022, 9, 175. https://doi.org/10.3390/aerospace9040175

AMA Style

Carletta S, Pontani M, Teofilatto P. Characterization of Low-Energy Quasiperiodic Orbits in the Elliptic Restricted 4-Body Problem with Orbital Resonance. Aerospace. 2022; 9(4):175. https://doi.org/10.3390/aerospace9040175

Chicago/Turabian Style

Carletta, Stefano, Mauro Pontani, and Paolo Teofilatto. 2022. "Characterization of Low-Energy Quasiperiodic Orbits in the Elliptic Restricted 4-Body Problem with Orbital Resonance" Aerospace 9, no. 4: 175. https://doi.org/10.3390/aerospace9040175

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop