Abstract
We treat the circular and elliptic restricted three-body problems in inertial frames as periodically forced Kepler problems with additional singularities and explain that in this setting the main result of Boscaggin et al. (Trans Am Math Soc 372: 677–703, 2019) is applicable. This guarantees the existence of an arbitrary large number of generalized periodic orbits (periodic orbits with possible double collisions regularized) provided the mass ratio of the primaries is small enough.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider the system
where U is a \(C^{\infty }\)-function defined on \(\mathbb {R}\times \mathcal {U} \times [0, \varepsilon _{*}]\) for an open set \(\mathcal {U} \subset \mathbb {R}^{3}\) containing the origin \(u=0\) and some \(\varepsilon _{*}>0\). The function \(U(t, u, \varepsilon )\) is assumed to be T-periodic in t. This system models a Kepler problem with an external periodic force.
It is a classical problem in the theory of perturbations to look for periodic solutions for small \(\varepsilon \). Traditionally, due to the proper-degeneracy of the Kepler problem, all the collisionless bounded orbits are closed and some non-degeneracy condition has to be imposed on the function \(U(t,u,\varepsilon )\). This condition has to be verified for concrete \(U(t,u,\varepsilon )\). In typical situations the periodic orbits are found in the neighbourhood of a prescribed closed orbit of the unperturbed Kepler problem and in particular they have no collisions.
A result of different nature was obtained in [4], in which it has been shown that for any smooth function U, the equation (1) has an arbitrarily large number of T-periodic solutions if \(\varepsilon \) has been accordingly chosen small enough. As it is usually the case in the study of periodic orbits with singular potentials, in the framework of [4] the function U was supposed to be globally defined; that is,
Also, the periodic solutions are understood in a generalized sense. They can have collisions but the energy and the direction of motion must be preserved after each bouncing at a time \(t_*\) with \(u(t_* )=0\).
There are good topological reasons for the introduction of generalized solutions. Let \(\mathcal {M} \) be the set of T-periodic solutions of the Kepler problem (\(\varepsilon =0\)). After including solutions with collisions it becomes a manifold
with infinitely many connected components \(\mathcal {M}_n\), where each of them is compact. The periodic solutions of (1) for \(\varepsilon \ne 0\) are obtained as bifurcations from these manifolds. The compactness is essential if we want to guarantee that this bifurcation is always produced.
On the other hand, as we will explain in this note, since our method is perturbative, the condition (2) is not so essential. Since the components \(\mathcal {M}_n\) converge to the origin as \(n\rightarrow \infty \), the projection of \(\mathcal {M}_n\) on the configuration space will lie inside any neighbourhood \(\mathcal {U}\) of the origin for n large enough. In consequence, when (2) does not hold, it is still possible to obtain bifurcations from \(\mathcal {M}_n\) when n is large and the projection of \(\mathcal {M}_{n}\) to the configuration space has a neighborhood in which the function U is well-defined. This observation may seem minor but it is of importance if we want to apply this technique to some classical problems in Celestial Mechanics. A typical situation arises in the so-called circular or elliptic restricted three-body problem, where the perturbation U on the asteroid is due to a periodic gravitational force from another massive body. The function U will then be singular at the position of this massive body which is at some distance of \(u=0\). Note that for the circular problem we shall consider the problem in a fixed inertial frame, and shall not go to some rotating frame to reduce the system to an autonomous one.
We shall then apply this to show that an arbitrarily large number of generalized T-periodic solutions of a general class of circular or elliptic restricted three body problems with any eccentricity \(e \in [0, 1)\) can be found when the mass ratio between the primaries is taken as an external parameter that we assume to be sufficiently small. These solutions may collide with the big primary. In fact we will find periodic motions of the small body in a neighbourhood of this big primary. The common year of the primaries will also be a period for the third body and each year this small body will make a large number of revolutions around the big primary. There are many other results on the existence of periodic solutions of the circular or elliptic restricted problem and many families of periodic solutions have been identified. See for instance [1, 6, 11]. A possible novelty of our result is mainly in the absence of additional non-degeneracy conditions and the result is more global in the sense that the continuation is made from manifolds made of periodic orbits of the Kepler problem instead of particular periodic orbits of an approximating system. It seems reasonable to expect other applications in similar models. For instance, in an elliptic restricted N-body problem where the primaries are assumed to move on an elliptic homographic motion and the infinitesimal body is assumed to stay close to a primary.
The rest of the paper is organized in three sections. In Sect. 2 we work with Eq. (1) and go back to the main theorem in [4]. We explain the modifications in the proof allowing to eliminate the condition (2). The result in [4] was obtained via the use of Levi–Civita regularization in dimension 2 and Kustaanheimo–Stiefel regularization in dimension 3, together with the application of a theorem of Weinstein [13]. Generalized periodic solutions can be characterized equivalently by periodic orbits of the regularized system. This was proved in [4] in dimension 2 and we will prove that it is also the case in dimension 3. This proof will require a delicate topological result on the lifting of piecewise smooth paths via the Hopf fibration. For smooth paths this is a direct consequence of general results in the theory of Ehresmann connections, and the modifications required for the piecewise smooth case are explained in Sect. 3. Finally, the application to the circular or elliptic restricted three body problem is presented in Sect. 4.
In this note we will work in the space \(u \in \mathbb {R}^{3}\) but the results are easily adapted to the simpler case of the plane \(u \in \mathbb {R}^{2}\) or the line \(u \in \mathbb {R}\).
2 Periodic solutions via regularization
Following [4] we say that a continuous and T-periodic function \(u: \mathbb {R}\rightarrow \mathbb {R}^{3}\) is a generalized T-periodic solution of (1) if it satisfies the following conditions:
-
(1)
\(\mathcal {Z}=\{t \in \mathbb {R}: u(t)=0\}\) is a discrete set;
-
(2)
for any open interval \(I \subset \mathbb {R}{\setminus } \mathcal {Z}\) the function u is in \(C^{\infty }(I, \mathbb {R}^{3})\) and satisfies (1) on this interval;
-
(3)
For any \(t_{0} \in \mathcal {Z}\) the limits below exist
$$\begin{aligned} \lim _{t \rightarrow t_{0}} \dfrac{u(t)}{|u(t)|}, \qquad \qquad \lim _{t \rightarrow t_{0}} \Bigl ( \dfrac{1}{2} |\dot{u}(t)|^{2}-\dfrac{1}{|u(t)|} \Bigr ). \end{aligned}$$
Note that for any classical solution of (1) tending to a collision at \(t_{0}\), the left and right limits \(t \rightarrow t_{0}^{-}\) and \(t \rightarrow t_{0}^{+}\) always exist (see [12]). The crucial point in the above definition is that they coincide.
The above definition extends in an obvious way for the case of sub-harmonic solutions having period \(\eta T\) with \(\eta \in \mathbb {Z}, \eta \ge 2\).
We will prove the existence of generalized T-periodic solutions using a regularization technique. We refer to [3] and [2] for an alternative use of variational techniques. Following [4, 15] we consider the Kustaanheimo–Stiefel regularization. The skew-field of quaternions is denoted by \(\mathbb {H}\). The space of purely imaginary quaternions \(\mathbb {IH}=\{z \in \mathbb {H}: \mathfrak {R}(z)=0\}\) is naturally a three-dimensional vector field over the reals. The map
plays an important role.
We set \(\mathbb {T}=\mathbb {R}/T \mathbb {Z}\) for the quotient space of the real line of time by the lattice \(T \mathbb {Z}\), so for \(t \in \mathbb {R}\) we denote by \(\bar{t}\) its corresponding quotient. The manifold
with points \((z=z_{0}+z_{1} i + z_{2} j + z_{3} k, w=w_{0}+w_{1} i + w_{2} j + w_{3} k, \bar{t}, \tau )\) is endowed with the symplectic two-form
On the symplectic manifold \((\mathcal {M}, \omega )\) we consider the Hamiltonian function
with \(P(t,z,\varepsilon )=|z|^{2} U(t, \bar{z} i z, \varepsilon )\). This is the regularized system of the spatial forced Kepler problem in extended phase space [4].
This function is invariant under the Hamiltonian \(S^{1}\)-action
where we realize \(S^{1}\) as \(\{g \in \mathbb {C}: |g|=1\}\). By standard theory, the corresponding moment map
is a first integral of the system.
Assume now that \(X(s)=(z(s), w(s), \bar{t}(s), \tau (s))\) is a solution of the Hamiltonian system \((\mathcal {M}, \omega , K_{\varepsilon })\) which lies in \(K_{\varepsilon }^{-1}(0) \cap BL^{-1}(0)\) and \(X(s+S)=g *X(s), s \in \mathbb {R}\) for some \(S >0\) and \(g \in S^{1}\). Then X(s) gives a generalized periodic solution of (1), as a consequence of Lem 5.1, Rem 5.2 in [4], with period \(\eta T\) where \(\eta \) is the degree of the map \(\bar{t}(s)\), given via a lift of this mapping as
These solutions were produced by a perturbation argument in the symplectically reduced manifold
Indeed by applying a result of Weinstein [13], we obtained a continuation from the sets \(\bar{\Lambda }_{k}\) of periodic orbits of \(K_{0}\) which are obtained as quotients from the sets
with \(\tau _{k}=\Bigl (\dfrac{\sqrt{2} k \pi }{T}\Bigr )^{\frac{2}{3}}, \quad k=1,2,\ldots \)
In principle the set
can occupy any region in \(\mathbb {IH}\). For this reason, it was assumed in [4] that (2) holds. Nevertheless, by the result by Weinstein, the only requirement for continuation of periodic orbits from the periodic manifold \(\overline{\Lambda }_{k}\) is that the perturbation be defined in a neighborhood of \(\overline{\Lambda }_{k}\) and is sufficiently small. The computations in [4] therefore remain valid when \(\mathcal {U} \subsetneq \mathbb {R}^{3}\) as long as \(E_{k} \subset \mathcal {U}\) holds.
The set \(\mathcal {U}\) can be otherwise chosen arbitrarily. For instance we may choose \(\mathcal {U}\) small. The above-mentioned inclusion might not hold for all \(k \ge 1\). Nevertheless we now remark that this inclusion holds for k sufficiently large.
From \(X \in K_{0}^{-1} (0)\) we deduce that
which implies that \(|z| \le \tau _{k}^{-1/2} \rightarrow 0\) as \(k \rightarrow + \infty \).
The Hamiltonian function
is not well-defined on the whole manifold \(\mathcal {M}_{0}\) but it is well-defined on the open set
where \(\delta >0\) is such that
The periodic manifold \(\bar{\Lambda }_{k}\) is thus contained in \(\mathcal {D}_{\delta }\) for k large enough. For these values of k, the argument in [4] holds without change.
We sum up the previous discussions in the following theorem:
Theorem 2.1
Assume that \(U: \mathbb {R}\times \mathcal {U} \times [0, \varepsilon _{*}] \rightarrow \mathbb {R}\) is a \(C^{\infty }\)-function satisfying
for some fixed \(T >0\) and an open set \(\mathcal {U} \subset \mathbb {R}^{3}\) containing \(u=0\). Given an integer \(l \ge 1\) there exists \(\varepsilon _{l}>0\) such that (1) has at least l generalized T-periodic solutions (lying in \(\mathcal {U}\)) for each \(\varepsilon \in ]0, \varepsilon _{l}[\).
Remark 2.1
The same result holds in the plane and in a line as well, which can be obtained by following the same line of argument and using Levi–Civita regularization instead.
In the previous proof we have used that the solutions \(X(s)=(z(s), w(s), t(s), \tau (s))\) of the Hamiltonian system \((M, \omega , K_{\varepsilon })\) lying in
and satisfying
for some \(S>0, g \in S^{1}\) and \(\eta \in \mathbb {Z}\) lead to generalized periodic solutions of (1) with period \(\eta T\). These are given by
where \(s=s(t)\) is the inverse of the homeomorphism \(t=t(s)\). Note that in the previous proof \(\eta =1\) for \(\varepsilon =0\) and so \(\eta =1\) also for small \(\varepsilon \), since \(\eta =\eta _{\varepsilon }\) is a continuous function taking values in \(\mathbb {Z}\).
The rest of the section will be devoted to show that it is possible to go from generalized solutions of (1) to solutions X(s) of \((M,\omega , K_{\varepsilon })\) satisfying the above conditions.
A similar discussion for planar solutions and Levi–Civita regularization can be found in Section 4 of [4]. We now explain that the same holds for the spatial case as well.
Now assume that u(t) is a generalized T-periodic solution of (1) and consider the function \(\sigma (t)=\dfrac{u(t)}{|u(t)|}.\) In principle \(\sigma (t)\) is only defined for \(t \in \mathbb {R}{\setminus } \mathcal {Z}\) but the notion of generalized solution implies that it has a continuous extension to the whole real line. At collisions, the function \(\sigma \) is not necessarily smooth but there is some control on its velocity. More precisely for each \(t_{0} \in \mathcal {Z}\), there holds
This asymptotic expansion follows from the formula
together with the classical estimates at collisions (see [12])
where \(a \in \mathbb {R}^{3} {\setminus } \{0\}\) and b(t), c(t) are bounded functions defined in a neighborhood of \(t-t_{0}\). We now identify \(\mathbb {R}^{3}\) and \(\mathbb {IH}\), \(u=u(t), u=u_{1} i + u_{2} j + u_{3} k\) and now view \(S^{2}\) and \(S^{3}\) as unit spheres in \(\mathbb {IH}\) and \(\mathbb {H}\), respectively. The properties of \(\sigma : \mathbb {R}\rightarrow S^{2}\) suggests the following definition.
Definition 2.1
Given an interval [0, T] and a partition of it
the path \(\alpha :[0, T] \rightarrow S^{d}\), \(d=2\) or 3, is a \(\mathcal {P}\)-path, if it is continuous, the restriction \(\alpha |_{]t_{i}, t_{i+1}[}\) is \(C^{\infty }\) and the integral below is finite:
The map \(\Pi :z \mapsto \bar{z} i z\) sends \(S^{3}\) onto \(S^{2}\) and we can define the Hopf map as the restriction
Note that, in the notation of [7, p. 376], \(x_{1}=-z_{0}, x_{2}=z_{1}, x_{3}=z_{2}, x_{4}=z_{3}\).
We will need the following result on the lifting of \(\mathcal {P}\)-paths.
Lemma 2.1
Assume that \(\gamma : [0, T] \rightarrow S^{2}\) is a \(\mathcal {P}\)-path. Then there exists a \(\mathcal {P}\)-path \(\Gamma : [0, T] \rightarrow S^{3}\) satisfying \(\pi \circ \Gamma =\gamma \) and
Moreover, if \(\gamma (0)=\gamma (T)\) then \(\Gamma (T)=g \Gamma (0)\) for some \(g \in S^{1}\).
The proof of this result is postponed to the next section. It is worth to observe that the last conclusion on closed paths follows easily from the structure of the fibers of the Hopf map
Let us take our generalized T-periodic solution u(t). The set \([0, T] \cap \mathcal {Z}\) defines a partition \(\mathcal {P}\). Then \(\sigma \) is a \(\mathcal {P}\)-path and Lemma 2.1 can be applied to \(\gamma =\sigma \). In consequence there exists a \(\mathcal {P}\)-path \(\Sigma : [0, T] \rightarrow S^{3}\) with \(\pi \circ \Sigma =\sigma \) and \(\mathfrak {R}\{\bar{\Sigma } i \Sigma \}=\mathfrak {R}\{\bar{ \Sigma } i \dot{\Sigma }\}=0\). Note that \(\bar{\Sigma } i \Sigma \in S^{2} \subset \mathbb {IH}\).
Since \(\sigma \) is T-periodic we extend \(\Sigma \) to the whole real line via the formula \(\Sigma (t+T)=g \Sigma (t), t \in \mathbb {R}.\) Then \(\Sigma : \mathbb {R}\rightarrow S^{3}\) is continuous.
We will define \(X(s)=(z(s), w(s), t(s), \tau (s))\) in terms of \(\Sigma \). The coordinate t(s) is defined from Sundman integral as in [4]. The set \(\mathcal {Z}^{*}=t^{-1} (\mathcal {Z})\) is discrete. Then we have
where
After this definition the proof follows along the same line of [4]. The only essential difference is the verification of the additional condition \(BL(X(s))=0\) which is equivalent to
To check this condition, it is sufficient to observe that
and thus the condition follows directly.
3 Lifting of paths via the Hopf map
For each \(z \in S^{3}\) we consider the tangent space
with vertical and horizontal subspaces
The real vector space \(\hbox {Vert}_{z}\) has dimension one and is spanned by iz. The space \(\hbox {Hor}_{z}\) has dimension two and is spanned by the vectors jz, kz. Moreover
The splitting
is clearly smooth with respect to the base points and thus defines an Ehresmann connection associated to the submersion \(\pi \). We refer to [7, Chapter VIII] for more details.
The results in [7] imply that this connection is “good”. This means that, given a \(C^{\infty }\) curve \(\alpha : [t_{0}, t_{1}] \rightarrow S^{2}\) and a point \(\xi \in \pi ^{-1} (\alpha (t_{0}))\), there exists a horizontal lift starting at \(\xi \). This lift is a \(C^{\infty }\) curve \(A:[t_{0}, t_{1}] \rightarrow S^{3}\) satisfying \(A(t_{0})=\xi , \pi \circ A = \alpha , \dot{A}(t) \in \hbox {Hor}_{A(t)}\) for each \(t \in [t_{0}, t_{1}]\).
From our point of view, the key point is the following characterization of the horizontal component
From this observation we could derive a version of Lemma 2.1 in the class of \(C^{\infty }\)-paths, or even in the class of piecewise \(C^{\infty }\)-paths. This second case will follow by an iterative application of the above-mentioned lifting principle for good Ehresmann connections. However we must work in the larger class of \(\mathcal {P}\)-paths and the proof uses specific properties of the Hopf map. To prove Lemma 2.1 we will restrict to the case \(\mathcal {P}: t_{0}=0<t_{1}=T\) so that \([t_{0}, t_{1}]=[0, T].\) The iterative argument for a general partition is left to the reader. We also assume that \(\gamma (t)\ne i\) for each \(t\in [t_0,t_1]\) and, at the end of the proof, we will show that there is no loss of generality.
Following [7], we shall obtain \(\Gamma (t)\) from the solution of a system of differential equations in the plane. We sketch some computations which are similar to those in [7, pp. 376–377]. Note that our map \(\pi \) does not coincide with the map \(\pi \) in [7], although they are conjugate.
The condition \(\dot{\Gamma }(t) \in \hbox {Hor}_{\Gamma (t)}\) implies that
where \(\lambda _{1}, \lambda _{2}: [t_{0}, t_{1}] \rightarrow \mathbb {R}\) are functions to be determined. With the notation \(\Gamma =\Gamma _{0} + \Gamma _{1} i + \Gamma _{2} j + \Gamma _{3} k\) we are led to the equations
From the notation \(\gamma =\gamma _{1} i +\gamma _{2} j + \gamma _{3} k\) and the definition of \(\pi \),
In particular, \(\Gamma _{2}^{2} + \Gamma _{3}^{2}=\dfrac{1}{2} (1-\gamma _{1})\).
We recall that the curve \(\gamma \) does not pass through the point i and therefore \(\gamma _1 <1\) and \(\Gamma _{2}^{2}+\Gamma _{3}^{2}>0\) everywhere. This allows us to use the equations in (3) to solve \(\lambda _{1}\) and \(\lambda _{2}\).
Plugging the corresponding formulas in (4) and taking into account the equations in (5) we obtain
Also, from the second identity in (5),
Differentiating with respect to t and substituting the result in (6) we find
In these computation we have used that \(M^2 =(1-\gamma _1^2)I\). Combining this identity with (7), we are led to a planar linear system of the type
where the coefficients of the matrix B(t) are linear combinations of functions of the type \(\dfrac{\gamma _{i} \dot{\gamma }_{j}}{1-\gamma _{1}}\) and \( \dfrac{\dot{\gamma }_{i}}{1-\gamma _{1}}\).
Most probably this matrix is not continuous at \(t=t_0=0\) and \(t=t_1=T\). Nevertheless, since we know that \(\gamma \) is \(C^{\infty }\) in ]0, T[ and \(\int \limits _{0}^{T} |\dot{\gamma }(t)| \mathrm{d} t < \infty \), we deduce that the coefficients of B(t) belong to the Lebesgue space \(L^{1}(]0,T[)\). We are assuming that \(\gamma _{1}(t) \ne 1\) if \(t \in [0, T].\) In consequence, the matrix B is integrable and the system (8) satisfies the conditions of Carathéodory’s theorem (see for instance [5, Chapter 2]). Given \(\xi \in \pi ^{-1}(\gamma (0))\), we impose the initial condition
to obtain a unique solution of the Cauchy problem for (8) defined on the whole interval [0, T]. These functions \(\Gamma _{2}\) and \(\Gamma _{3}\) are absolutely continuous in [0, T]. The functions \(\Gamma _0\) and \(\Gamma _1\) are defined from the identity (7) and they are also absolutely continuous. In particular there holds
and \(\Gamma \) is a \(\mathcal {P}\)-path. Going back to the previous construction we observe that \(\Gamma \) is the desired lift.
To complete the proof we must remove the extra assumption \(\gamma _1 \ne 1\). Assume now that \(\gamma (t)\) is an arbitrary \(\mathcal {P}\)-path. Since \(\gamma \) is smooth on \(]t_0,t_1[\), the set \(\gamma ([t_0 ,t_1])\) has zero measure in \(S^2\). Let us take a point \(\xi \in S^2\) such that \(\gamma (t)\ne \xi \) for each \(t\in [t_0 ,t_1]\). We select a rotation of \(S^2\) sending \(\xi \) into i. This rotation can be expressed in the form \(z'=qz\overline{q}\) for some \(q\in S^3\). Then \(\gamma _* (t) =q\gamma (t)\overline{q}\) is a \(\mathcal {P}\)-path with \(\gamma _* (t)\ne i\) for each \(t\in [t_0 ,t_1]\). The possible lifts of \(\gamma \) and \(\gamma _*\) are linked, for if \(\Gamma =\Gamma (t)\) satisfies \(\pi \circ \Gamma =\gamma \) then \(\pi \circ \Gamma _* =\gamma _*\), where \(\Gamma _* (t)=\Gamma (t)\overline{q}\). Moreover, it is easy to check that \(\mathfrak {R}\{\bar{\Gamma }(t) i \dot{\Gamma }(t)\}=0\) is equivalent to \(\mathfrak {R}\{\bar{\Gamma }_*(t) i \dot{\Gamma }_*(t)\}=0.\)
4 A restricted three-body problem
Let us assume that the \(C^{\infty }\) functions \(X, x: \mathbb {R}\rightarrow \mathbb {R}^{3}, X=X(t), x=x(t),\) are T-periodic and satisfy
In addition we assign positive masses M and m to them, by normalization
We consider the system
This system describes the motion of an infinitesimal body attracted by two moving centers X(t) and x(t). When (X(t), x(t)) solves the corresponding two-body problem, then the system describes a restricted spatial three-body problem. By assuming that (X(t), x(t)) move on a circular or elliptic Keplerian orbit we obtain a periodic system. Note that for the restricted circular three-body problem many studies have been made in a proper rotating coordinate system and for the elliptic problem in a proper rotating-pulsating coordinate system. We shall just consider the problems in the inertial system.
In principle we could have collisions of the infinitesimal particle \(\xi \) with any of the two primaries: \(X=\xi \) or \(x=\xi \). Nevertheless we shall only consider collisions with the first primary X.
A continuous and T-periodic function \(\xi : \mathbb {R}\rightarrow \mathbb {R}^{3},\; \xi =\xi (t)\) is called a generalized periodic solution of the first kind if the following conditions hold:
-
\(\mathcal {Z}_{M}=\{t \in \mathbb {R}: \xi (t)=X(t)\}\) is discrete;
-
\(\mathcal {Z}_{m}=\{t \in \mathbb {R}: \xi (t)=x(t)\}\) is empty;
-
In each interval \(I \subset \mathbb {R}{\setminus } \mathcal {Z}_{M}\), the function \(\xi (t)\) is \(C^{\infty }\) and satisfies (9);
-
For each \(t_{0} \in \mathcal {Z}_{M}\) the limits below exist
$$\begin{aligned} \lim _{t \rightarrow t_{0}} \dfrac{\xi (t)-X(t)}{|\xi (t)-X(t)|}, \quad \lim _{t \rightarrow t_{0}} \Bigl \{\dfrac{1}{2} |\dot{\xi }(t)-\dot{X}(t)|^{2}-\dfrac{M}{|\xi (t)-X(t)|}\Bigr \}. \end{aligned}$$
Let us now assume that the primaries depend upon a parameter \(\varepsilon \in [0, 1]\), \(X_{\varepsilon }=X_{\varepsilon }(t), x_{\varepsilon }=x_{\varepsilon }(t)\). We assume that \((X_{\varepsilon }(t), x_{\varepsilon }(t))\) is a circular or elliptic solution of the two body problem with masses \(M_{\varepsilon }, m_{\varepsilon }\) and with center of mass placed at the origin
We assume \(m_{\varepsilon }+M_{\varepsilon }=1\) for normalization.
From the general theory of Kepler problem we know that \(X_{\varepsilon }(t)\) satisfies
The orbit semi major axis \(a_{\varepsilon }\) and orbit eccentricity \(e_{\varepsilon }\) determines the circular or elliptic orbit up to a rotation in \(\mathbb {R}^{3}\), which is specified with the matrix \(R_{\varepsilon } \in SO(3)\). We assume that \(t=0\) is the time of passage through the pericenter, so that the eccentric anomaly u(t) is determined by the Kepler equation.
Finally, from \(X_{\varepsilon }(t)\) one determines \(x_{\varepsilon }(t)\) from the center of mass condition Eq. (10).
From now on it will be assumed that the functions
and
are all \(C^{\infty }\) and, for each \(\varepsilon >0\) there holds
According to the third Kepler law, the system (9) is periodic in time with period
In the following result we will assume that the primary \(X_{0}\) is fixed at the origin while \(x_{0}\) describes a circular or elliptic Keplerian orbit with mass \(m_{0}=0\).
Theorem 4.1
Assume in addition that
Then, for any given integer \(l \ge 1\), there exists \(\varepsilon _{l}>0\) such that Eq. (9) has at least l generalized \(T_{\varepsilon }\)-periodic solutions of the first kind for \(\varepsilon \in ]0, \varepsilon _{l}[\).
In contrast to many other results [1, 6, 11], we do not impose any further resonance or non-degeneracy conditions and the dependence with respect to parameters is very general. On the other hand, our solutions are understood in a generalized sense.
Proof
To fix a uniform period we change time \(s \rightarrow t\) according to the relation
and set \(\eta (s)=\xi (t)\), so that (9) is transformed into
where \(\phi _{\varepsilon }(s)=X_{\varepsilon } (T_{\varepsilon } s), \psi _{\varepsilon }(s)=x_{\varepsilon } (T_{\varepsilon } s)\).
We then introduce
where \(\lambda >0\) is a normalization parameter to be adjusted. In this way we obtain an equation of the form of (1) if \(\lambda =\lambda _{\varepsilon }\) is given by
Namely,
with
This function belongs to \(C^{\infty } (\mathbb {R}\times \mathcal {U} \times [0, \varepsilon _{*}])\) where \(\mathcal {U}\) is a neighborhood of \(u=0\) and \(\varepsilon _{*}>0\) is small enough.
To prove this, we first observe that
Then, in view of (10), for small enough \(\varepsilon \) we have
Using (11) and (12) we see that the lower bound converges to \(\dfrac{1-e_{0}}{(2 \pi )^{2/3}}\) as \(\varepsilon \rightarrow 0\). Consequently there exist \(\varepsilon _{*}>0\) and \(\delta >0\) such that
We define
From the explicit definition of \(\phi _{\varepsilon }\) and \(\psi _{\varepsilon }\) it is clear that U is smooth on \(\mathbb {R}\times \mathcal {U} \times ]0, \varepsilon _{*}]\). It remains to analyze \(\varepsilon =0\).
First we observe that
and therefore
is \(C^{\infty }\) in \(\mathbb {R}\times [0,1]\). Also, the function \(f(\varepsilon )=\dfrac{1}{\varepsilon } \lambda _{\varepsilon }^{-3} T_{\varepsilon }^{2} m_{\varepsilon }=\dfrac{m_{\varepsilon }}{ \varepsilon M_{\varepsilon }}\) belongs to \(C^{\infty }[0, \varepsilon _{*}]\) and therefore the first summand in the definition of U is smooth.
To analyze the second summand we differentiate twice the function \(\phi _{\varepsilon }\). Then we have
with
and
The function \(\chi (s, \varepsilon )\) thus belongs to \(C^{\infty } (\mathbb {R}\times [0, \varepsilon _{*}], \mathbb {R}^{3})\). In addition,
is in \(C^{\infty }[0, \varepsilon _{*}]\).
Therefore U is smooth in \(\mathbb {R}\times \mathcal {U} \times [0, \varepsilon _{*}]\) and Theorem 2.1 is applicable. Undoing the change of variables we obtain generalized \(T_{\varepsilon }-\)periodic solutions. To check the continuity of the energy at collisions it is convenient to use the identity
\(\square \)
Remark 4.1
After the change of variables \(\xi =R_{\varepsilon } \xi _1\) we can assume that the primaries lie on the fixed plane \(x_3=0\). Then we can apply the planar version of Theorem 2.1 to conclude that, for each \(\varepsilon \), the three bodies move in a common plane.
We end this note with a comparison of our result with classical results concerning periodic orbits of the planar circular restricted three-body problem of the first and second kind in a rotating frame, where first and second kind refer to continuations of periodic orbits from circular and elliptic periodic orbits of the limiting Kepler problem in a rotating frame, respectively. Indeed the period of rotations of the reference frame is derived from the corresponding period T of the Keplerian elliptic motions of the primaries. When a periodic orbit has minimal period T/n in the rotating frame, then it will also have period T and therefore this period is preserved in the initial fixed reference frame. The existence of such orbits of the first kind has been obtained by Poincaré [10] and has been explained in [8].
References
Antoniadou, K.I., Libert, A.-S.: Origin and continuation of 3/2, 5/2, 3/1, 4/1 and 5/1 resonant periodic orbits in the circular and elliptic restricted three-body problem. Celest. Mech. Dyn. Astron. 130, 41 (2018)
Barutello, V., Ortega, R., Verzini, G.: Regularized variational principles for the perturbed Kepler problem. arXiv:2003.09383
Boscaggin, A., Dambrosio, W., Papini, D.: Periodic solutions to a forced Kepler problem in the plane. Proc. Am. Math. Soc. 148, 301–314 (2020)
Boscaggin, A., Ortega, R., Zhao, L.: Periodic solutions and regularization of a Kepler problem with time-dependent perturbation. Trans. Am. Math. Soc. 372, 677–703 (2019)
Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)
Cors, J.M., Pinyol, C., Soler, J.: Analytic continuation in the case of non-regular dependency on a small parameter with an application to celestial mechanics. J. Differ. Eq. 219, 1–19 (2005)
Cushman, R.H., Bates, L.M.: Global Aspects of Classical Integrable Systems, 2nd edn. Birkhäuser/Springer, Basel (2015)
Moser, J., Zehnder, E.: Notes on Dynamical Systems. American Mathemathcal Society, Philadelphia (2005)
Ortega, R.: Linear motions in a periodically forced Kepler problem. Port. Math. 68, 149–176 (2011)
Poincaré, H.: Les méthodes nouvelles de la mécanique céleste, T. 1. Gauthier-Villars, Paris (1892)
Palacián, J.F., Yanguas, P., Fernández, S., Nicotra, M.A.: Searching for periodic orbits of the spatial elliptic restricted three-body problem by double averaging. Physica D 213, 15–24 (2006)
Sperling, H.J.: The collision singularity in a perturbed two-body problem. Celest. Mech. 1, 213–221 (1969/1970)
Weinstein, A.: Normal modes for nonlinear Hamiltonian systems. Invent. Math. 20, 47–57 (1973)
Zhao, L.: Some collision solutions of the rectilinear periodically forced Kepler problem. Adv. Nonlinear Stud. 16, 45–49 (2016)
Zhao, L.: Kustaanheimo–Stiefel regularization and the quadrupolar conjugacy. Regul. Chaotic Dyn. 20, 19–36 (2015)
Acknowledgements
R. O. is supported by MTM2017-82348-C2-1-P. L. Z. is supported by DFG ZH 605/1-1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Ortega, R., Zhao, L. Generalized periodic orbits in some restricted three-body problems. Z. Angew. Math. Phys. 72, 40 (2021). https://doi.org/10.1007/s00033-021-01470-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-021-01470-5
Keywords
- Forced Kepler problem
- Restricted three-body problem
- Generalized periodic orbits
- Kustaanheimo–Stiefel Regularization