Abstract
We present the non-integrability proof for the planar elliptic restricted three-body problem. Two versions of this problem are considered: the classical one when only gravitational interactions are taken into account, and the photo-gravitational version where radiation pressure from the primaries is also included. Our result is valid for nonzero eccentricity and arbitrary mass ratio of the primaries. In the proof, we apply the differential Galois approach to study the integrability.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the fundamental model systems of celestial mechanics which has a plenty of applications is the restricted three-body problem. In this model, we assume that a point with a negligible mass moves in the gravity field of two other point masses called the primaries with masses \(m_1\) and \(m_2\). They move in elliptic Keplerian orbits around their common mass centre. In the special case when ellipses become circles, we speak about the circular restricted three-body problem. As examples of the restricted three-body problem, we mention the Sun-Jupiter-asteroid or Sun-planet-object systems. In the case when an infinitesimal mass particle moves in the same plane as the orbits of the primaries, the problem is called planar elliptic restricted three-body problem, otherwise is called spatial one. We introduce the mass parameter \(\mu =\tfrac{m_2}{m_1+m_2}\), \(m_2\le m_1\), \(\mu \in (0, 1/2]\) and we assume that \(m_1+m_2=1\). Then the primaries have the following masses: the heavier one \(m_1=1-\mu \) and the lighter one \(m_2=\mu \), respectively. The circular restricted three-body problem with \(\mu =\tfrac{1}{2}\) is called the Copenhagen Problem after the series of papers published by Strömgren and colleagues in the Copenhagen Observatory Publication, see Szebehely and Nacozy (1967), Danby (1967) and references therein.
The problem of the integrability of the circular problem was investigated by many authors using different techniques starting from the famous memoir of Poincaré (1890) in which he proved the non-existence of an additional first integral which is analytic in coordinates, momenta and parameter \(\mu \) for small \(\mu \). The dynamical reason of the non-integrability is the existence of periodic solutions with nonzero characteristic exponents, which originate from the breaking of periodic invariant tori of the integrable approximations. Poincaré improved and extended his result in Poincaré (1892, Chap. 5) where he started from the restricted planar circular problem, then passed to the unrestricted planar problem, and finally to the unrestricted spatial problem. Ideas and methods presented in these works were interpreted, extended and generalized by many authors. Using the Melnikov method Xia (1992) showed that for small enough \(\mu \), there exist transversal homoclinic orbits and this implies the non-existence of any real analytic integral for all but possibly finite number of values of \(\mu \). This result was generalized in Guardia et al. (2016) where the occurrence of transverse intersection between the stable and unstable manifolds of the infinity (the notion introduced by authors) for any \(\mu \in (0,1)\) was shown. Recently, the non-integrability of this problem was also proved by means of differential Galois approach in Yagasaki (2021).
We know only few papers devoted to study the same question for the elliptic problem. The Arnold diffusion in the circular problem is prevented by KAM tori, but it is possible in the elliptic case, see Féjoz et al. (2016). For example, Xia (1993) proved the presence of the Arnold diffusion. His proof is based on the fact that the transversal homoclinic orbits in the circular restricted three-body problem exist. Capiński et al. (2016) used another approach based on shadowing of pseudo-orbits generated by two dynamics: an ‘outer dynamics’, given by homoclinic trajectories to a normally hyperbolic invariant manifold, and an ‘inner dynamics’, given by the restriction to that manifold. Other diffusive orbits in elliptic restricted three-body problem are described in Bolotin (2006). Along these orbits, the angular momentum changes in a bounded interval while trajectories come close to collisions. In Delshams et al. (2019), authors proved the existence of orbits whose angular momentum performs arbitrary excursions in a large region leading to global instability. In Guardia et al. (2017), Delshams et al. (2019), the existence of oscillatory orbits for the elliptic case and in Llibre and Simó (1980); Guardia et al. (2016) for the circular case, was proved. A trajectory is called oscillatory if it leaves every bounded region but returns infinitely often to some fixed bounded region.
The phenomena mentioned above show that the dynamics of the elliptic restricted three-body system is complex and in fact it is not integrable. All these results have been shown with applications of highly advanced analytical methods.
Our aim is to give a proof of the non-integrability of the planar elliptic restricted three-body problem. We consider two versions of this problem. In the classical version of the problem, only the gravitational interactions are taken into account, while in the photo-gravitational problem also the radiation pressure forces are included. We use methods which till now were not applied to study the integrability of the elliptic restricted problem.
2 Equations of motion
We assume that the considered three masses move in a plane. The primaries with masses \(m_1\) and \(m_2\) move in Keplerian elliptic orbits around their common mass centre, which is taken as the origin of the inertial barycentric and the rotating reference frames. The x-axis of the rotating frame is directed from the more to the less massive primary. The coordinates are rescaled by the distance between the primaries. In this rotating and pulsating frame, the primaries are located at \(P_1=(-\mu , 0)\) and \(P_2=(1-\mu , 0)\), respectively, see Fig. 1.
The motion of the third body with an infinitesimal mass is described by the following equations
where
and the effective potential is
The independent variable in these equations is the true anomaly \(\nu \). For details, see, Szebehely (1967, Sect. 10.3), Gawlik et al. (2009). We fix the units in such a way that \(m_1+m_2=1\), the gravitational constant \(G=1\), the semi-major axis of the relative orbit of the primaries \(a=1\).
As it is well known, the system has five equilibria, called the Lagrange points. In our considerations, we will use only triangular libration point \(L_4=\left( \tfrac{1}{2}-\mu ,\tfrac{\sqrt{3}}{2}\right) \). In the inertial frame, this is just an elliptic orbit and its eccentricity and the semi-major axis are the same as the relative orbit of the primaries.
The photo-gravitational elliptic restricted three-body problem is a generalization of the above described system when an infinitesimal mass is affected not only by gravitation but also by radiation pressure from the primaries. We assume that both the primaries are stars radiating a constant amount of the light and the infinitesimal mass is a spherical particle with a uniform albedo. Since the radiation pressure force \(F_\textrm{r}\) changes with the distance according to the same inverse square law as the gravity force \(F_\textrm{g}\) but with opposite sign, the total force exerted by a primary is \(F=F_\textrm{g}-F_\textrm{r}=F_\textrm{g}\left( 1-\beta \right) \), where \(\beta = F_\textrm{r}/F_\textrm{g}\) and the effect of the radiation pressure is the same as that of reducing the stellar mass by a term \(\beta \), see e.g. Chernikov (1970), Todoran and Roman (1993). The tidal and rotational distortions of the radiating primaries are here neglected. If we introduce \(\sigma _i^3=1-\beta _i\), \(i=1,2\) for the respective primaries, then the equations of motion of the infinitesimal mass particle are the following
The constants are \(\sigma _i\in [0,1]\), where \(\sigma _i=1\) corresponds the previously described case without radiation, while \(\sigma _i=0\) corresponds to the situation when radiation pressure force balances the gravitational force. Also the photo-gravitational problems with only one radiating body are considered as it was in the first article concerning the photo-gravitation restricted three-body problem of Radzievskii (1950), whereas the primaries were considered: the Sun and a planet, and a dust particle as an infinitesimal mass. For a discussion of different versions of this problem see Kunitsyn and Polyakhova (1995).
If \(\sigma _1+\sigma _2\ge 1\), then there exist triangular libration points, and, in this case \(L_4=(q_1^{0},q_2^{0})\), where
Thus, the distances between the primaries and the libration point are
so, assumption \(\sigma _1+\sigma _2\ge 1\) is just the triangle inequality because the distance between the primaries is 1.
Let us notice that the equations of motion (2) as well as its particular case (1) are Hamiltonian. In fact, they are equivalent to the canonical equations generated by the following Hamiltonian function
where
Let us notice that Hamilton equations governed by (4) have an additional first integral \(L=p_1q_2 - p_2q_1\) in the following cases: when either \(\mu =0\) or \(\mu =1\), i.e. one of the primaries vanish, or when \(\sigma _1=\sigma _2=0\), i.e. when radiation pressure forces of both the primaries balance their gravitational interactions. The Hamiltonian system generated by (4) is not autonomous (\(\nu \) is the independent variable); however, it is \(2\pi \) periodic.
3 Non-integrability theorem
Our aim is to study the integrability of the Hamiltonian system given by (4). At first, we recall some basic facts about the integrability.
An autonomous Hamiltonian system with n degrees of freedom is given by its Hamiltonian function \(H(\varvec{q},\varvec{p})\), where \(\varvec{q}=(q_1, \ldots , q_n)\) and \(\varvec{p}=(p_1, \ldots , p_n)\) are the canonical coordinates and momenta, respectively. A function \(F(\varvec{q},\varvec{p})\) is a first integral of this system if it is constant along all solutions of the Hamilton equations
or equivalently, if \(\{H,F\}=0\), where
denotes the Poisson bracket. We say that the system is integrable in the Liouville sense, or that it is completely integrable if it admits n functionally independent first integrals \(F_1, \ldots ,F_n\) which pairwise commute, that is, \(\{F_i,F_j\}=0\), for \(i,j=1,\ldots ,n\). The integrability of the system implies that it is solvable by quadratures. For a detailed exposition, see, Arnold (1989), Arnold et al. (1988).
If the Hamiltonian of the system depends explicitly on time \(H=H(\varvec{q},\varvec{p},t)\), then we can introduce an additional canonical pair of variables \((q_{n+1},p_{n+1})\) and Hamiltonian function \(K=H(\varvec{q},\varvec{p},p_{n+1}) -q_{n+1}\). Then, the last pair of equations of motion reads,
Hence, \(p_{n+1}\) is the time. We say that the non-autonomous Hamiltonian system given by Hamiltonian \(H(\varvec{q},\varvec{p},t)\) is completely integrable, if the system with \((n+1)\) degrees of freedom given by Hamiltonian \(K=H(\varvec{q},\varvec{p},p_{n+1}) -q_{n+1}\) is completely integrable. For a detailed explanation, we refer here to the paper of Kozlov (1983).
In our investigation of the integrability of the elliptic restricted problem, we apply a method which is based on the study of the variational equations of the considered system along a particular solution. The variational equations are Hamiltonian and if the original system is integrable, then the variational system is also integrable. The variational equations are linear, and their integrability puts strong restrictions on the properties of the monodromy and the differential Galois groups which are attached to them. These arguments are just a starting point for the Ziglin and the Morales–Ramis theories, see Morales Ruiz (1999). The fundamental result of this approach is the Morales–Ramis theorem.
Theorem 1
Assume that a complex Hamiltonian system with n degrees of freedom is integrable with complex meromorphic first integrals in the Liouville sense in a neighbourhood of a phase curve \( \Gamma \). Then, the identity component of the differential Galois group of the variational equations along \( \Gamma \) is Abelian.
For details, see the paper of Morales Ruiz (1999). Although this theorem is based on involved mathematical theory, it appears that it can be effectively applied to study the integrability of a wide variety of systems from dynamical astronomy, physics and other branches of applied sciences. It is enough to mention here the problem of the integrability of the three-body problem which was solved thanks to the application of this theory, see articles Boucher and Weil (2003), Maciejewski and Przybylska (2011), and also Tsygvintsev (2000), Tsygvintsev (2001) where the monodromy group that is a subgroup of the differential Galois group was used. Moreover, it appears that for application of this theorem, there are algorithms accessible for a wide audience. A practical introduction to the subject and numerous applications of the above theorem can be found in Morales-Ruiz and Ramis (2010).
In the above theorem, it is assumed that the Hamiltonian as well as the first integrals which guarantee the integrability are complex meromorphic functions. In the considered case, Hamiltonian (4) is not a meromorphic function because it contains terms with radicals. However, as it was explained in Combot (2013), Maciejewski and Przybylska (2016), still one can apply the Morales–Ramis theory for systems with algebraic potentials.
We formulate our main result in the following two theorems. The first one concerns the classical restricted problem.
Theorem 2
If \(\mu \in \left( 0,\tfrac{1}{2}\right] \), and \(e\in (0,1)\), then the system given by Hamiltonian (4) with \(\sigma _1=\sigma _2=1\), is not completely integrable with first integrals which are meromorphic functions of variables \((q_1,q_2,p_1,p_2,r_1,r_2,\cos (\nu ), \sin (\nu ))\).
The second theorem concerns the photo-gravitational problem.
Theorem 3
If \(\mu \in \left( 0,\tfrac{1}{2}\right] \), \(e\in (0,1)\), and
then the system given by Hamiltonian (4) is not completely integrable with first integrals which are meromorphic functions of the variables \((q_1,q_2,p_1,p_2,r_1,r_2,\cos (\nu ), \sin (\nu ))\).
Notice that in the above theorem, we assume the strict inequality (9), although the triangular libration point \(L_4\) exists when \(\sigma _1 + \sigma _2=1\). We did not exclude this case accidentally. The reason is that, as we demonstrate it later, for this particular case the necessary conditions are fulfilled. An investigation of the integrability in this case needs stronger tools. Here, we remark only that in the case \(\sigma _1 + \sigma _2=1\), the triangular point is, in fact, a collinear one.
The above theorems also prove the non-integrability of the spatial version of the restricted problem as the former is an invariant subsystem of the latter.
In the proof of this theorem, we will use the Morales–Ramis Theorem 1. As a particular solution, we take the triangular libration point \(L_4\). This is why, we need the assumption (9).
4 Variational equations
We consider our problem in the extended phase space with coordinates \((q_1,q_2,q_3)\) and the conjugated momenta \((p_1,p_2,p_3)\). We set \(\varvec{z}=(\varvec{q},\varvec{p},q_3,p_3)\), where \(\varvec{q}=(q_1,q_2)\) and \(\varvec{p}=(p_1,p_2)\). In this space, equations of motion of the system are generated by Hamiltonian
They have the following form
These equations admit the particular solution
The variational equations along this solution have the form
where
and
As it is clearly visible, the system (14) splits into two subsystems. The first one, called the normal variational equation, corresponds to the first \(4\times 4\) block, the second one, called the tangential equation, is given by the \(2\times 2\) block. In our study of the integrability, it is enough to investigate the normal variational equation, that is
where \(\varvec{z}=[z_1,z_2,z_3,z_4]^T\).
We perform a further simplification of this equation. To this end, we first make a transformation with constant coefficients. Namely, we put \(\varvec{x}= \varvec{C}\varvec{z}\), where \(\varvec{z}=[z_1,z_2,z_3,z_4]^T\) denotes the original variables, and
where \(\varphi \) is a parameter which we will fix later. As a result, we obtain
where \(\widetilde{\varvec{V}}= \varvec{R}(\varphi )\varvec{V}\varvec{R}(\varphi )^{-1} \). Because the Hessian matrix \(\varvec{V}\) is real and symmetric, one can find a rotation matrix \(\varvec{R}(\varphi )\) which transforms it to the diagonal form. Thus, we can assume that the matrix \(\varvec{I}-\widetilde{\varvec{V}}\) is diagonal. Direct calculations give
where
For the classical purely gravitational problem, the parameter \(\delta \) simplifies to
Notice that the case \(\delta =0\) is impossible in the purely gravitational problem, and in the photo-gravitational problem, it occurs when \(\mu =1/2\) and \(\sigma _1^{2}+ \sigma _2^{2}=1\).
In the lemmas below, the value \(\delta =1\) is excluded. Again, this case is impossible in the purely gravitational problem. It occurs only when \(g=0\). As by assumption \(\mu (1-\mu )\ne 0 \), according to (22) we have
Thus, one factor in the above formula vanishes. However, as \( \sigma _1,\sigma _2\in (0,1]\), there is only one possibility, namely \(\sigma _1+\sigma _2=1\). In this case, \(L_4\) coincides with a collinear libration point \(L_1\).
The above simplification of the variational equation for the triangular libration points in the elliptic restricted three-body problem is well known, see for example Szebehely (1967, Sect. 10.3) or Grebenikov (1964). For the triangular libration points of the photo-gravitational elliptic restricted three-body problem, it can be found in Markellos et al. (1992).
If we introduce the entries of the Hessian matrix
where
then the parameter \(\varphi \) determining the orthogonal transformation \(\varvec{R}(\varphi )\) diagonalizing \(\varvec{V}\) can be obtained from the vanishing of off-diagonal elements of the transformed matrix \(\widetilde{\varvec{V}}= \varvec{R}(\varphi )\varvec{V}\varvec{R}(\varphi )^{-1} \) which gives
The transformed normal variational equation depends only on two parameters: \(e\in (0,1)\) and \(\delta \in [0,\infty )\). However, planning an application of the Morales–Ramis theory we need to our disposal tools which allow determining the monodromy and the differential Galois group of this parameter-dependent equations. Unfortunately, for systems of four equations, there are no sufficiently strong results. This is why we will continue a simplification of the equation.
In the sixties of the previous century, the analysis of the stability of libration points was a popular subject, see Danby (1964), Grebenikov (1964), Bennett (1965), Alfriend and Rand (1969), Tschauner (1971), Meire (1981). Just for the needs of these investigations, Tschauner (1971) found a time dependent transformation which splits the systems of four coupled equations into two uncoupled second-order equations. Later Meire (1981), Matas (1982), Matas (1973) continued the study of this problem in more details. All of these results concerns only the classical elliptic restricted problem. At first, we assume that \(\delta \ne 0\), and let us introduce the following quantities
and matrices
where
Now, the transformation given by
is non-singular if \(Q(e,\delta )\ne 0\). In fact,
Using this transformation, we obtain
where
The above transformation is just a simple generalization of the transformation given by Tschauner (1971), see also Markellos et al. (1993).
The values of the parameters that lie on the curve \(Q(e,\delta )=0\), see solid line curve in Fig. 2, are excluded in the above considerations. However, we cannot exclude them from the study of the integrability. We did not find any investigation of this particular case. The question if the variational equations split in these cases was unknown. This is why we decided to investigate it with the help of differential algebra tools, see Compoint and Weil (2004). Omitting the details, the result is the following.
Assume that \(Q(e,\delta )=0\), and set
where
The matrix \(\varvec{S}(\nu )\) is invertible because
Then, the change of variables \(\varvec{y}=\varvec{S}(\nu )\varvec{x}\) transforms equation (20) to equation (30) with a block triangular form of the matrix \(\varvec{B}(\nu )\)
where \( \varvec{B}_0 (\nu )\) is given by (27) and the explicit forms of the matrices \(\varvec{B}_{21}(\nu )\) and \(\varvec{B}_{22}(\nu )\) will not be used later. Notice that if \(Q(e,\delta )=0\), then \( \varvec{B}_0(\nu )=\varvec{B}_+ (\nu )= \varvec{B}_- (\nu )\).
Finally, we consider the particular case when \(\delta =0\), or equivalently, case \(g=1\), see (22). The maximal value of the function, \(g=g(\mu ,\sigma _1, \sigma _2)\) in the considered domain of parameters, is one. Clearly, it is achieved for \(\mu =1/2\), as the first term \(\mu (1-\mu )\) of g is positive and has the maximum 1/4 at \(\mu =1/2\). As it is easy to verify, the second term \(\widetilde{g}=4-\tfrac{(\sigma _1^{2}+ \sigma _2^{2}-1)^2}{\sigma _1^{2}\sigma _2^{2}}\) of g, see (22), achieves its maximum value 4 along the curve \(\sigma _1^{2}+\sigma _2^{2}-1=0\). This curve is contained in the domain where the libration point \(L_4\) exists denoted by a grey region, see Fig. 3.
For this particular case, matrix \(\varvec{V}\) is diagonal and the matrix of normal variational equations given in (20) simplifies to
Now, the change of variables \(\varvec{y}=\varvec{T}(\nu )\varvec{x}\) with the constant matrix
transforms the system (20) into (30) where the block diagonal matrix \(\varvec{B}(\nu )\) given by (31) has the following blocks
5 Non-integrability
In this section, we outline the proof of Theorem 3. By Theorem 1, if the system is integrable, then the identity component of the differential Galois group of variational equations (14) is commutative. We also say that the differential Galois group is virtually commutative.
Anyway, our plan is to show that this group is not virtually commutative. The important fact is that if the differential Galois group of a system is virtually commutative, then the differential Galois group of each of its subsystem is also virtually commutative. From this fact, it follows that it is enough to investigate the normal variational equation (18) which after simple change of variable has a particularly simple form (20).
As we showed in the previous section, a further simplification is possible. Namely, after transformation (28), the system has a block diagonal form (30). Hence, it is enough to investigate a subsystem corresponding to one of these blocks. We choose
Elements of matrix \(\varvec{B}_+(\nu )\) are periodic functions of \(\nu \). Algorithms which we are going to apply assume that the coefficients of the considered system are rational functions of the independent variable. This is why we introduce the new independent variable \(z=\textrm{e}^{\textrm{i}\nu }\). After this transformation, we obtain
As
matrix \(\varvec{C}_+(z)\) is rational as required. Now we can claim the following.
Lemma 4
If \(e\in (0,1)\), \(\delta \in (0,\infty )\setminus \{1\}\) and \(Q(e,\delta )\ne 0\), then the differential Galois group of equation (39) is not virtually commutative.
The proof of this lemma is given in “Appendix A”. In this way, we proved our Theorem 3 except the cases when \(Q(e,\delta )= 0\).
Let us assume now that \(Q(e,\delta )= 0\). Then, as we have shown in the previous section, the variational equations can be transformed to the block-triangular form (34). Hence, for further considerations, we take the subsystem corresponding to the block \(\varvec{B}_0(\nu )\), see (27), and we make the same change of independent variable as in the previous case. In effect, we obtain the following system
Elements of the matrix \( \varvec{C}_0(z)\) are rational functions of z. The final step of our reasoning is the following lemma.
Lemma 5
If \(e\in (0,1)\), \(\delta \in (0,\infty )\setminus \{1\}\) and \(Q(e,\delta )=0\), then the differential Galois group of equation (39) is not virtually commutative.
We prove this lemma in “Appendix A”.
Finally, we consider the particular case excluded in the previous lemmas when \(\delta =0\). Then, the variational equations can be also transformed to the block-triangular form (34) with blocks \( \varvec{B}_+,\varvec{B}_-\) given in (37). In the next step, we rationalize the subsystem corresponding to \( \varvec{B}_+\) defining matrix of linear system with rational coefficients \(\varvec{C}_+(z)\) according to (39). Analysis of the differential Galois group of these linear differential equations gives the last lemma.
Lemma 6
If \(e\in (0,1)\) and \(\delta =0\), then the differential Galois group of equation (39) is not virtually commutative.
The proof of this lemma is also contained in “Appendix A”.
In effect, we have shown that for all assumed values of the parameters the differential Galois group of a subsystem of the variational equations is not virtually commutative, so the differential Galois group of the variational equations is not virtually commutative. Hence, by the Morales–Ramis Theorem 1, the system is not integrable.
6 Conclusions
In this paper, we have presented the non-integrability proof of the elliptic restricted three-body problem for arbitrary nonzero eccentricity \(e\in (0,1)\) and arbitrary ratio of masses of the primaries \(\mu \in \left( 0,\tfrac{1}{2}\right] \). Analysis was made for the classical case when only gravitational influence of the primaries on the test particle is considered and also for the photo-gravitational version when also the radiation pressure from the primaries is included. This generalization introduces two additional parameters which measure the strength of the radiation forces from two primaries. We prove the non-integrability of this problem for all allowable values of parameters such that the triangular libration point exists.
The proof uses properties of the differential Galois group of four dimensional variational equations along a particular solution determined by the triangular libration point \(L_4\). When checking the differential Galois group of variational equations, their factorization into two 2D subsystems turned out to be very useful.
The fact that we succeeded to prove the non-integrability of the photo-gravitational problem for a whole domain of four parameters is in some sense exceptional. Typically, for certain values of parameters, the necessary conditions are fulfilled. We showed that the variational equations for both, classical and photo-gravitational problem, depend only on two parameters e and \(\delta \), and this is why the complete integrability analysis was performed for both versions simultaneously.
We show that the method used for proving the non-integrability when applied to study the considered system reduces to a quite simple algorithm which can be applied for other problems.
Data Availability
Data sharing is not applicable to this article, as no new data were created or analysed in this study.
References
Alfriend, K.T., Rand, R.H.: Stability of the triangular points in the elliptic restricted problem of three bodies. AIAA J. 7(6), 1024–1028 (1969)
Arnold, V.I.: Mathematical Methods of Classical Mechanics. Graduate Texts in Mathematics, 2nd edn. Springer, New York (1989)
Arnold, V.I., Kozlov, V.V., Neishtadt, A.I.: Dynamical systems. III. Encyclopaedia of Mathematical Sciences, vol. 3. Springer, Berlin (1988)
Bennett, A.: Characteristic exponents of the five equilibrium solutions in the elliptically restricted problem. Icarus 4(2), 177–187 (1965)
Bolotin, S.: Symbolic dynamics of almost collision orbits and skew products of symplectic maps. Nonlinearity 19(9), 2041–2063 (2006)
Boucher, D., Weil, J.-A.: Application of J.-J. Morales and J.-P. Ramis’ theorem to test the non-complete integrability of the planar three-body problem. In: Fauvet, F., et al. (eds.), From Combinatorics to Dynamical Systems. Journées de calcul formel en l’honneur de Jean Thomann, Marseille, France, March 22–23, 2002. de Gruyter, Berlin. IRMA Lect. Math. Theor. Phys. vol. 3, pp. 163–177 (2003)
Capiński, M.J., Gidea, M., de la Llave, R.: Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification. Nonlinearity 30(1), 329–360 (2016)
Chernikov, Y.A.: The photogravitational restricted three-body problem. Astron. Zh. 47(1), 217–223 (1970)
Combot, T.: A note on algebraic potentials and Morales–Ramis theory. Celest. Mech. Dynam. Astronom. 115(4), 397–404 (2013)
Compoint, É., Weil, J.A.: Absolute reducibility of differential operators and Galois groups. J. Algebra 275(1), 77–105 (2004)
Danby, J.M.A.: Stability of the triangular points in the elliptic restricted problem of three bodies. Astron. J. 69, 165–172 (1964)
Danby, J.M.A.: Orbits in the Copenhagen problem asymptotic at L4, and their genealogy. Astron. J. 72, 198 (1967)
Delshams, A., Kaloshin, V., de la Rosa, A., Seara, T.M.: Global instability in the restricted planar elliptic three body problem. Commun. Math. Phys. 366(3), 1173–1228 (2019)
Duval, A., Loday-Richaud, M.: A propos de l’algoritme de Kovačic. Technical report, Université de Paris-Sud, Mathématiques, Orsay, France (1989)
Féjoz, J., Guàrdia, M., Kaloshin, V., Roldán, P.: Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem. J. Eur. Math. Soc. (JEMS) 18(10), 2315–2403 (2016)
Gawlik, E.S., Marsden, J.E., Du Toit, P.C., Campagnola, S.: Lagrangian coherent structures in the planar elliptic restricted three-body problem. Celest. Mech. Dyn. Astron. 103(3), 227–249 (2009)
Grebenikov, E.A.: On the stability of the Lagrangian triangle solutions of the restricted elliptic three-body problem. Sov. Astron. 8, 451 (1964)
Guardia, M., Martín, P., Seara, T.M.: Oscillatory motions for the restricted planar circular three body problem. Invent. Math. 203(2), 417–492 (2016)
Guardia, M., Seara, T.M., Martín, P., Sabbagh, L.: Oscillatory orbits in the restricted elliptic planar three body problem. Discrete Contin. Dyn. Syst. 37(1), 229–256 (2017)
Kovacic, J.J.: An algorithm for solving second order linear homogeneous differential equations. J. Symb. Comput. 2(1), 3–43 (1986)
Kozlov, V.V.: Integrability and nonintegrability in Hamiltonian mechanics. Uspekhi Mat. Nauk 38(1(229)), 3–67 (1983)
Kunitsyn, A.L., Polyakhova, E.N.: The restricted photogravitational three-body problem: a modern state. Astron. Astrophys. Trans. 6(4), 283–293 (1995)
Llibre, J., Simó, C.: Oscillatory solutions in the planar restricted three-body problem. Math. Ann. 248(2), 153–184 (1980)
Maciejewski, A.J., Przybylska, M.: Non-integrability of the three-body problem. Celest. Mech. Dyn. Astron. 110(1), 17–30 (2011).
Maciejewski, A.J., Przybylska, M.: Integrability of Hamiltonian systems with algebraic potentials. Phys. Lett. A 380(1–2), 76–82 (2016).
Maciejewski, A.J., Przybylska, M., Simpson, L., Szumiński, W.: Non-integrability of the dumbbell and point mass problem. Celest. Mech. Dyn. Astron. 117(3), 315–330 (2013).
Markellos, V.V., Perdios, E., Labropoulou, P.: Linear stability of the triangular equilibrium points in the photogravitational elliptic restricted problem—part one. Astrophys. Space Sci. 194(2), 207–213 (1992)
Markellos, V.V., Perdios, E., Georghiou, C.: Linear stability of the triangular equilibrium points in the photogravitational elliptic restricted problem—part two. Astrophys. Space Sci. 199(1), 23–33 (1993)
Matas, V.: Separation of equations of variation of the elliptic restricted three-body problem into three Hill’s equations. Bull. Astron. Inst. Czechoslov. 24, 249–255 (1973)
Matas, V.R.: A note on a separation of the linearized equations of motion in the elliptic restricted problem. Celest. Mech. 27(1), 23–25 (1982)
Meire, R.: The stability of the triangular points in the elliptic restricted problem. Celest. Mech. 23(1), 89–95 (1981)
Morales-Ruiz, J.J.: Técnicas algebraicas para estudio de la integrabilidad de sistemas hamiltonianos. Ph.D. Thesis, University of Barcelona, Barcelona (1989)
Morales Ruiz, J.J.: Differential Galois Theory and Non-integrability of Hamiltonian Systems. Progress in Mathematics, vol. 179. Birkhäuser Verlag, Basel (1999)
Morales-Ruiz, J.J., Ramis, J.-P.: Integrability of dynamical systems through differential Galois theory: a practical guide. In: Differential Algebra, Complex Analysis and Orthogonal Polynomials, Volume 509 of Contemporary Mathematics, pp. 143–220. American Mathematical Society, Providence (2010)
Poincaré, H.: Sur le problème des trois corps et les équations de la dynamique. Acta Math. 13, 1–270 (1890)
Poincaré, H.: Les Méthodes Nouvelles de la Mécanique Céleste I. Gautier-Villars, Paris (1892)
Radzievskii, V.V.: The restricted problem of three-body taking account of light pressure. Astron. Zh. 27, 250–256 (1950)
Szebehely, V.: Theory of Orbit. The Restricted Three Body Problem. Academic Press, Cambridge (1967)
Szebehely, V., Nacozy, P.: A class of E. Stromgren’s direct orbits in the restricted problem. Astron. J. 72, 184 (1967)
Todoran, I., Roman, R.: Photo-gravitational effects in the two-body problem. Astron. Nachr. 314(1), 35–38 (1993)
Tschauner, J.: Die Bewegung in der Nähe der Dreieckspunkte des elliptischen eingeschränkten Dreikörperproblems. Celest. Mech. 3(2), 189–196 (1971)
Tsygvintsev, A.: La non-intégrabilité méromorphe du problème plan des trois corps. C. R. Acad. Sci. Paris Sér. I Math. 331(3), 241–244 (2000)
Tsygvintsev, A.: The meromorphic non-integrability of the three-body problem. J. Reine Angew. Math. 537, 127–149 (2001)
Whittaker, E.T., Watson, G.N.: A Course of Modern Analysis. Cambridge University Press, London (1935)
Xia, Z.: Mel’nikov method and transversal homoclinic points in the restricted three-body problem. J. Differ. Equ. 96(1), 170–184 (1992)
Xia, Z.: Arnold diffusion in the elliptic restricted three-body problem. J. Dyn. Differ. Equ. 5(2), 219–240 (1993)
Yagasaki, K.: Nonintegrability of the restricted three-body problem (2021). arXiv:2106.04925
Acknowledgements
This research has been partially founded by The National Science Center of Poland under Grant No. 2020/39/D/ST1/01632. For the purpose of Open Access, the authors have applied a CC-BY public copyright license to any Author Accepted Manuscript (AAM) version arising from this submission.
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.
Appendices
Appendix A: Proofs
Here, we present the proofs of Lemmas 4, 5 and 6 . All of them are just direct applications of Lemma 7 which we formulated in “Appendix B”. This Lemma, follows from the Kovacic algorithm (Kovacic 1986). It is described in many places, see, for example Morales-Ruiz (1989), Duval and Loday-Richaud (1989). So here we only recall that this algorithm gives definitive answer when a second-order differential equation with rational coefficient
is solvable in terms of Liouvillian functions. If it gives the negative answer, then the differential Galois group of this equation is not virtually commutative. This is why it is used frequently in cases when for the integrability studies of a system the Morales–Ramis Theorem 1 is applied.
Before we pass to the proofs, we recall that a system of two linear equations
can be transformed into a second-order differential equation of the form (A.1). This transformation is not unique. In general, we take a linear combination \(w = \alpha _1 y_1 + \alpha _2 y_2\) with constant coefficients \(\alpha _1\) and \(\alpha _1\). Then, we calculate \(w'\), and using it together with (A.2) we can express \(w''\) in terms of w and \(w'\). This procedure works for a ‘generic’ choice of \((\alpha _1,\alpha _2)\) and different choices of these constants give different coefficients p(z) and q(z).
1.1 A.1. Proof of Lemmas 4 and 5
First, we transform system (39) to the second-order equation. We put \(w = y_1 + \textrm{i}y_2\). Using the above described procedure, we obtain an equation of the form (A.1) with
In order to apply Lemma 7, we transform this equation to the reduced form
by setting
Rational function r(z) reads
where P(z) is a polynomial of degree six
Singular points of equation (A.6) are zeros of the denominator of the function r(z) and the infinity. Thus, the equation has six singular points
At first, we assume that they are pairwise different. That is, that the discriminant \(\textrm{disc}(d(z))\) of the polynomial
does not vanish. Direct calculations give
As \(e, \delta \in (0,1)\), this discriminant vanishes if the polynomial
vanishes. Hence, at first we assume that \(\eta (e,\delta )\ne 0\). Even under this assumption, it can happen that for certain values of parameters, the numerator and the denominator of r(z) are not relatively prime. Then, the order of singular points can depend on parameters. To check this, we have to calculate the resultant of the numerator and denominator of r(z). If they have a common factor, then the resultant vanishes. It appears that for the assumed values of the parameters, it vanishes only along the curve \( \eta (e,\delta )=0\). A justification of this fact is direct, but rather long, so we omit it.
The function r(z) has the following expansion at singular points
where
Moreover, its expansion at infinity reads
Hence, all singularities of equation (A.6) are regular. The differences of exponents \(\Delta _i\) at the respective singularities are
Thus, it is possible that the logarithmic terms are present in local solutions near a singularity, see explanations above equation (B.7) in “Appendix B”. In fact, such a term can be found for a solution near \(z=0\). One local solution corresponding to the exponent \(\rho ^+=3/2\) has the form
One can find easily that
so, according to formula (B.8), the coefficient \(g_2\) multiplying the logarithmic term in local solution is
As \(\delta \in (0,\infty )\setminus \{1\}\), \(g_2\ne 0\) and the logarithmic term is always present.
Now, we show that equation (A.4) does not admit a nonzero hyperexponential solution. For the definition of this notion and its calculations, see “Appendix B” starting from the paragraph above Lemma 7. According to equation (B.9), we have to select all possible choices of exponents \(\varvec{\varepsilon }=(\varepsilon _0, \ldots ,\varepsilon _4,\varepsilon _\infty )\) such that
is a non-negative integer. Because \(z_3\) and \(z_4\) are poles of the first order, then \(\varepsilon _3=\varepsilon _4=1\), see “Appendix B”. For the remaining singular points we have
In effect there is only one choice
which gives \(n=1\), and the corresponding function \( \omega (z)\) defined in (B.9) is
Inserting the polynomial \(P(z)=z +p_0\) into equation (B.11), we obtain a system of three algebraic equations for \((p_0,e, \delta )\) which has a solution only when either \(e=0\) or \(\delta =\pm 1\). These values of parameters are excluded, thus there is no polynomial P(z) of degree one which satisfies equation (B.11). In effect, Eq. (A.4) does not admit a hyperexponential solution, and its differential Galois group is not virtually commutative.
The above conclusion is valid under the assumptions that \(\eta (e,\delta )\ne 0\), see (A.10). Polynomial \(\eta (e,\delta )\) factorizes as
The curve \(\eta _+(e,\delta )=0\) does not have a real component, so it is enough to investigate the curve \(\eta _-(e,\delta )=0\), see dashed curve in Fig. 2. This curve admits the following rational parametrization
As we restricted values of \(\delta \) to interval \((0,\infty )\setminus \{1\}\), the range of s is \((0,\infty )\setminus \left\{ \sqrt{3 +2\sqrt{3}}\right\} \). With this parametrization the differential equation (A.4) has five singular points
At point \(z=z_3\) the function r(z) has a pole of order one. The differences of exponents \(\Delta _i\) at the respective singularities are
If \(s<1\), then \(\Delta _1=0\), and the logarithmic term always appears in local solutions near \(z=z_1\). We show that such term appear for \(s>1\) in local solutions near \(z=0\). One local solution near this point is
where
Hence, by formulae (B.8), we get
Equation \(g_2=0\) has only one positive root \(s=\sqrt{3+2\sqrt{3}}\) corresponding to the excluded value \(\delta =1\). Thus, \(g_2\ne 0\) for \(s\in (0,\infty )\setminus \left\{ \sqrt{3 +2\sqrt{3}}\right\} \), and the logarithmic term in the local solutions is present.
Let \(s<1\). We show that Eq. (A.4) does not admit a hyperexponential solution. There are four choices of exponents
such that
is a non-negative integer, and here \(n=1\). The function \(\omega (z)\) now is
With this \(\omega (z)\), the polynomial \(P(z)=z+p_0\) is not a solution of Eq. (B.11) with \(s\in \left( 0,\sqrt{3+2\sqrt{3}}\right) \) for any \(p_0\).
If \(s>1\), then there are four choices of the exponents
for that Eq. (A.4) can have a hyperexponential solution. For the first choice \(n=2\) as the degree of polynomial P(z). Function \(\omega (z)\) is now
Inserting now \(P(z)=z^2 + p_1 z + p_0\) into Eq. (B.11), we obtain a system of five polynomial equations in \((p_0,p_1,s)\) which does not have any solution.
The remaining three choices correspond to \(n=0\) and without loss of the generality one can take \(P(z)=1\) and the corresponding functions \(\omega (z)\) are
In all these cases, substitution to Eq. (B.11) gives an overdetermined system for s which does not have a solution. So, in this case the equation does not admit hyperexponential solution, and the differential Galois group of the equation is not virtually commutative. This ends the proof of Lemma 4.
Let us note that in the above proof, we did not use the assumption that \(Q(e,\delta )\ne 0\). The only unchecked possibility is that curves \(Q(e,\delta )= 0\) and \(\eta (e,\delta )= 0\) intersect. But if it is so, then also \(\eta (e,\delta )-Q(e,\delta )=4\delta ^2(e^2-1)=0\) and this holds only for \(\delta =0\) or \(e=1\). However, these values are excluded by assumption. In effect, the Lemma 5 is also proved.
Figure 2 shows the curve \(Q(e,\delta )= 0\) plotted with solid line and the curve \(\eta _{-}(e,\delta )=0\) represented by a dashed line. These curves intersect only at two points \((e,\delta )=(0,0)\) and \((e,\delta )=\left( 1,\tfrac{\sqrt{3}}{3}\right) \) excluded by assumptions from this analysis.
1.2 A.2. Proof of Lemma 6
Finally, we consider the case when \(\delta =0\), thus we consider the variational equations (39) defined by the matrix \(\varvec{B}_{+}(\nu )\) given in (37). Then, the second-order equation for the variable \(w = y_2\) takes the form (A.1) with rational coefficients
and the reduced form (A.4) of this equation has coefficient
The condition for coalescence of singularities is \(e(e^2-1)=0\), thus by assumptions we always have four singularities: one pole of the second-order \(z_0=0\), two poles of the first-order \(z_{1,2}=\tfrac{-1\pm \sqrt{1-e^2}}{e}\) and the infinity \(z_{\infty }=\infty \) with the local expansion of r(z)
Taking into account (A.21) and (A.22), the coefficients \(\alpha _i\) of the expansions of r(z) at singularities defined in (A.11) and differences of exponents are respectively
Then, we check whether in local solutions near \(z_0\) which have the form (A.12), the logarithmic terms are present. Coefficients \(f_1^+\) and \(f_2^+\) are
and according to formula (B.8), the multiplier \(g_2\) of the logarithmic term in the local solution is
It means that \(g_2\ne 0\) and the logarithmic term in the local solutions is always present. Now we check whether equation (A.4) admits a nonzero hyperexponential solution. We have only one choice of \(\varvec{\varepsilon }=(\varepsilon _0, \varepsilon _1 ,\varepsilon _2,\varepsilon _\infty )\) such that
is a non-negative integer. For poles of the first-order, \(\varepsilon _1= \varepsilon _2=1\) and the remaining exponents belong to the set
This gives only one choice
with \(n=0\) and
Without loss of generality, we can take \(P(z)=1\) and substitution into Eq. (B.11) gives contradiction \(1\ne 0\). Thus, also in this case, a subset of normal variational equations does not have a hyperexponential solution and its differential Galois group is full \(\textrm{SL}(2,\mathbb {C})\) which gives the statement of Lemma 6.
Appendix B: Second-order differential equations
We recall basic notions and facts concerning linear second-order differential equations limited to the needs of this paper. This topic is clearly presented in concise Chapter X of book (Whittaker and Watson 1935).
Consider the second-order linear differential equation in reduced form with rational coefficient
A point \(z=c\in \mathbb {C}\) is a singular point of this equation if it is a pole of r(z). It is a regular singular point if it is a pole of order not higher than two. The infinity is a regular singular point if function \(z^{-2}r(z^{-1})\) has a pole \(z=0\) of order not higher than two. We assume that all singularities of the considered equation are regular. Such an equation is called Fuchsian.
Then, the function r(z) has the following expansions: at a singular point \(c\in \mathbb {C}\)
and in infinity
Near each singular point c Eq. (B.1) has two linearly independent solutions of the form
where \(\rho _\pm \) are solutions of the so-called indicial equation
that is
They are called exponents of Eq. (B.1) at singularity c. Then, substituting expansion (B.4) into Eq. (B.1), we can successively determine coefficients \(f_i^{\pm }\) for \(i=1,2, \dots \).
This statement is valid under the assumption that the difference of exponents \(\Delta _c=\rho _+-\rho _-= \sqrt{1+4\alpha _c}\) is not an integer. If \(s=\Delta _c\) is a non-negative integer, then the solution \(w_+(z)\) has the prescribed form (B.4). But the second solution \(w_-(z)\) has to be determined by the variation of constants method. It has the form
where function h(z) is holomorphic at \(z=c\). Constant coefficient \(g_s\) can be determined using the method described in Whittaker and Watson (1935) and the explicit formula is given in Maciejewski et al. (2013). For small s, they are
If for a given singularity logarithmic terms are present in a local solution, then we say that this singularity is logarithmic.
Differential Galois group of Eq. (B.1) is a subgroup of \(\textrm{SL}(2,\mathbb {C})\), see, for example, Kovacic (1986), Morales Ruiz (1999). For testing the integrability, we need to decide if it is a proper subgroup of \(\textrm{SL}(2,\mathbb {C})\). The presence of a logarithmic singularity allows to formulate a simple and effective criterion. Before its formulation, we recall that the function w(z) is called hyperexponential if \(w'(z)/w(z)\) is a rational function. In other words, it is of the form \(w(z)=\exp [\int a(z) \textrm{d}z]\), where a(z) is a rational function.
Lemma 7
Assume that the differential equation (B.1) has a logarithmic singularity, and it has no nonzero hyperexponential solution, then its differential Galois group is \(\textrm{SL}(2,\mathbb {C})\).
Let us describe shortly the algorithm which allows to find the hyperexponential solution of Fuchsian equation (B.1), if it exists. In fact, it is the first case of the Kovacic algorithm (Kovacic 1986).
The hyperexponential solution that we look for has the following form
where P(z) is a polynomial, \(z_i\) are poles of r(z) of the first or the second order, and \(\varepsilon _i\) is an exponent corresponding to this singularity. For each second order pole we have two choices for \(\varepsilon \) given by equation (B.6), and for each first order pole there is only one choice \(\varepsilon =1\). Polynomial P(z) is of degree n, where
and \(\varepsilon _\infty \) is the exponent at infinity. Here, the sum is taken over all poles of r(z). Moreover, the polynomial P(z) has to be the solution of the following equation
In practice as a candidate for P(z) we take a polynomial of degree n with indefinite coefficients and insert it into the above equation. Then, the problem reduces to finding solutions of linear equations for these coefficients. For an equation with m singular points, we have \(2^{m+1}\) possible choices of elements \((\varepsilon _1,\ldots ,\varepsilon _m, \varepsilon _\infty )\), so we have at most such number of possibilities for choice of n and \(\omega (z)\).
For the proof of the above Lemma and its numerous applications, we refer the reader to Morales Ruiz (1999).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Przybylska, M., Maciejewski, A.J. Non-integrability of the planar elliptic restricted three-body problem. Celest Mech Dyn Astron 135, 13 (2023). https://doi.org/10.1007/s10569-022-10120-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10569-022-10120-5