- Research
- Open access
- Published:

# Nonplanar periodic solutions for spatial restricted 3-body and 4-body problems

*Boundary Value Problems*
**volume 2015**, Article number: 85 (2015)

## Abstract

In this paper, by using variational methods, we study the existence of nonplanar periodic solutions for the following spatial restricted 3-body and 4-body problems: for \(N=2 \mbox{ or } 3\), *N* mass points with positive masses \(m_{1},\ldots,m_{N}\) move in a central configuration (for \(N=2\), two bodies are in a Euler configuration; for \(N=3\), three bodies are in a Lagrange configuration), and they move in the plane of *N* circular obits; the \(N+1\)th mass point, called the zero mass point, moves on the perpendicular axis passing through the center of the masses.

## 1 Introduction and main results

In this paper, we study the spatial circular restricted 3-body and 4-body problems. For \(N=2 \mbox{ or } 3\), suppose *N* mass points with positive masses \(m_{1},\ldots,m_{N}\) move in the plane of their circular orbits \(q_{1}(t),\ldots, q_{N}(t)\), the radius \(r_{1},\ldots,r_{N}\) of orbits are all positive and the center of masses is at the origin; suppose the \(N+1\)th mass point, called the zero mass point, does not influence the motion of the given *N* mass points, and moves on the vertical axis of the plane for the first *N* mass points, here the vertical axis passes through the center of masses.

It is known that \(q_{1}(t),\ldots, q_{N}(t)\) (\(N=2 \mbox{ or } 3\)) satisfy the Newtonian equations:

where

The orbit \(q(t)=(0,0,z(t))\in R^{3}\) for zero mass point is governed by the gravitational forces of \(m_{1},\ldots,m_{N}\) (\(N=2 \mbox{ or } 3\)) and therefore it satisfies the following equation:

For \(N\geq2\), there are many papers concerned with the restricted *N*-body problem; see [1–6] and the references therein. In [7], Sitnikov considered the following model: two mass points of equal mass \(m_{1} = m_{2} = \frac{1}{2}\) move in the plane of their elliptic orbits and the center of the masses is at rest, the third mass point which does not influence the motion of the first two moves on the line perpendicular to the plane containing the first two mass points and goes through the center of mass, and he used geometrical methods to prove the existence of the oscillatory parabolic orbit of

where \(r(t)=r(t+2\pi)>0\) is the distance from the center of mass to one of the first two mass points. McGehee [4] used stable and unstable manifolds to study the homoclinic orbits (parabolic orbits) of (1.4). In [5], Mathlouthi studied the periodic solutions for the spatial circular restricted 3-body problems by minimax variational methods. Li *et al.* [1] used Jacobi’s necessary conditions for the variational minimizers to study the existence of nonplanar periodic solutions for spatial restricted \(N+1\)-body problems with a zero mass moving on the vertical axis of the plane for *N* equal masses.

In this article, we study the spatial circular restricted 3-body and 4-body problems with a zero mass point moving on the perpendicular axis of the circular orbits plane for given masses \(m_{1},\ldots,m_{N}\) (\(N=2 \mbox{ or } 3\)) in their respective central configuration.

Define

The inner product and the norm of \(W^{1,2}(R/TZ,R)\) are

We consider the Lagrangian functional of (1.3)

on \(\Lambda_{j}\), \(j=1,2\), where

and

Our main results are the following.

### Theorem 1.1

*For*
\(N=2\), *let the mass points of*
\(m_{1}\), \(m_{2}\)
*be in a Euler configuration*, *then the minimizer of*
\(f(q)\)
*on the closure*
\(\bar{\Lambda}_{i}\)
*of*
\(\Lambda_{i}\) (\(i=1,2\)) *exists and it is a nonplanar and noncollision periodic solution of* (1.3).

### Theorem 1.2

*For*
\(N=3\), *let the mass points of*
\(m_{1}\), \(m_{2}\), \(m_{3}\)
*be in a Lagrange configuration*, *then the minimizer of*
\(f(q)\)
*on the closure*
\(\bar{\Lambda}_{i}\)
*of*
\(\Lambda_{i}\) (\(i=1,2\)) *exists and it is a nonplanar and noncollision periodic solution of* (1.3).

### Remark 1.1

Obviously, the nonplanar periodic solutions we got in the above two theorems are collisionless.

## 2 Preliminaries

In this section, we will list some basic lemmas and inequality for proving our Theorems 1.1 and 1.2.

### Lemma 2.1

(Poincaré-Wirtinger inequality [8])

*Let*
\(q\in W^{1,2}(R/TZ,R^{K})\)
*and*
\(\int_{0}^{T}q(t)\,dt=0\), *then*

### Lemma 2.2

(Tonelli [3])

*Let*
*X*
*be a reflexive Banach space*, *S*
*be a weakly closed subset of*
*X*, \(f:S\rightarrow R\cup+\infty\). *If*
\(f\not\equiv+\infty\)
*is weakly lower semi*-*continuous and coercive* (\(f(x)\rightarrow+\infty\)
*as*
\(\|x\|\rightarrow+\infty\)), *then*
*f*
*attains its infimum on*
*S*.

### Lemma 2.3

(Palais’ symmetry principle [9])

*Let*
*σ*
*be an orthogonal representation of a finite or compact group*
*G*, *H*
*be a real Hilbert space*, \(f:H\rightarrow R\)
*satisfies*
\(f(\sigma\cdot x)=f(x)\), \(\forall\sigma\in G\), \(\forall x\in H\).

*Set*
\(F=\{x\in H|\sigma\cdot x=x, \forall\sigma\in G\}\). *Then the critical point of*
*f*
*in*
*F*
*is also a critical point of*
*f*
*in*
*H*.

### Remark 2.1

By Palais’ symmetry principle, we know that the critical point of \(f(q)\) in \(\bar{\Lambda}_{i}=\Lambda_{i}\) (\(i=1,2\)) is a periodic solution of Newtonian equation (1.3).

### Lemma 2.4

\(f(q)\)
*in* (1.7) *attains its infimum on*
\(\bar{\Lambda}_{i}=\Lambda_{i}\) (\(i=1,2\)).

### Proof

By using Lemma 2.1, for \(\forall z\in\Lambda_{i}\), \(i=1,2\), the equivalent norm of (1.6) in \(\Lambda_{i}\) (\(i=1,2\)) is

Hence by the definitions of \(f(q)\), it is easy to see that *f* is \(C^{1}\) and coercive on \(\Lambda_{i}\) (\(i=1,2\)). In order to get Lemma 2.4, we only need to prove that *f* is weakly lower semi-continuous on \(\Lambda_{i}\) (\(i=1,2\)). In fact, for \(\forall z_{n}\in \Lambda_{i}\), if \(z_{n}\rightharpoonup z\) weakly, by compact embedding theorem, we have uniform convergence:

which implies

It is well known that the norm and its square are weakly lower semi-continuous. Therefore, combined with (2.4), we obtain

that is, *f* is weakly lower semi-continuous on \(\Lambda_{i}\) (\(i=1,2\)). By Lemma 2.2, we can see that \(f(q)\) in (1.7) attains its infimum on \(\bar{\Lambda}_{i}=\Lambda_{i}\) (\(i=1,2\)). □

## 3 Proof of Theorem 1.1

In this section, we consider the spatial circular restricted 3-body problem with a zero mass point moving on the vertical axis of the moving plane for two mass points with arbitrary given positive masses \(m_{1}\), \(m_{2}\) in a Euler configuration. Suppose the planar circular orbits are

here the radii \(r_{1}\), \(r_{2}\) are positive constants depending on \(m_{i}\) (\(i=1,2\)) and *T* (see Lemma 3.1). We also assume that

We consider the Lagrangian functional of (1.3)

on \(\Lambda_{i}\), \(i=1,2\).

### Lemma 3.1

*The radii*
\(r_{1}\), \(r_{2}\)
*of the planar circular orbits for the masses*
\(m_{1}\), \(m_{2}\)
*are*

### Proof

Substituting (3.1), (3.2) into (3.3), it is easy to get

It follows from (1.1) and (1.2) that

Then by (3.1), (3.2), and (3.5), we have

which implies

Hence by (3.5), we obtain

□

### Proof of Theorem 1.1

Clearly, \(q(t)=(0,0,0)\) is a critical point of \(f(q)\) on \(\bar{\Lambda}_{i}=\Lambda_{i}\) (\(i=1,2\)). The second variation of (3.4) in the sphere neighborhood of \(q(t)=(0,0,0)\) (coordinate origin *O*) is given by

Let

Obviously, \(\tilde{\varphi}\in\Lambda_{i}\) (\(i=1,2\)) and

Since

it is easy to see that

which implies

that is

It follows from (3.8), (3.9), and (3.16) that

that is

By (3.18), we have

which implies \(q(t)=(0,0,0)\) is not a local minimum for \(f(q)\) on \(\Lambda_{i}\) (\(i=1,2\)). Hence the minimizers of \(f(q)\) on \(\Lambda_{i}\) (\(i=1,2\)) are not always at the center of the masses, they must oscillate periodically on the vertical axis, that is, the minimizers are not always co-planar, therefore, we get nonplanar periodic solutions.

Combined with Lemma 2.4, the proof is completed. □

## 4 Proof of Theorem 1.2

In this section, we consider the spatial circular restricted 4-body problem with a zero mass point moving on the vertical axis of the moving plane for three mass points with arbitrary positive masses \(m_{1}\), \(m_{2}\), \(m_{3}\) in a Lagrange configuration. Suppose there exist \(\theta_{1},\theta_{2},\theta_{3}\in[0,2\pi)\) such that the planar circular orbits are

here the radius \(r_{1}\), \(r_{2}\), \(r_{3}\) are positive constants depending on \(m_{i}\) (\(i=1,2,3\)) and *T* (see Lemma 4.2). We also assume that

and

where the constant \(l>0\) depends on \(m_{i}\) (\(i=1,2,3\)) and *T* (see Lemma 4.1). We consider the Lagrangian functional of equation (1.3)

on \(\Lambda_{i}\), \(i=1,2\).

In order to get Theorem 1.2, we firstly prove Lemmas 4.1 and 4.2 as follows.

### Lemma 4.1

*Let*
\(M=m_{1}+m_{2}+m_{3}\), *we have*
\(l=\sqrt[3]{\frac{MT^{2}}{4\pi^{2}}}\).

### Proof

It follows from (1.1) and (1.2) that

Then by (4.1), (4.4), and (4.5), we obtain

which implies

that is,

□

### Lemma 4.2

*The radius*
\(r_{1}\), \(r_{2}\), \(r_{3}\)
*of the planar circular orbits for the masses*
\(m_{1}\), \(m_{2}\), \(m_{3}\)
*are*

### Proof

Choose the geometrical center of the initial configuration \((q_{1}(0),q_{2}(0),q_{3}(0))\) as the origin of the coordinate \((x,y,z)\). Without loss of generality, by (4.5), we may suppose the location coordinates of \(q_{1}(0)\), \(q_{2}(0)\), \(q_{3}(0)\) are \(A_{1}(\frac{\sqrt{3}l}{3},0,0)\), \(A_{2}(-\frac{\sqrt{3}l}{6},\frac{l}{2},0)\), \(A_{3}(-\frac{\sqrt{3}l}{6},-\frac{l}{2},0)\). Then we can get the coordinate of the center of masses \(m_{1}\), \(m_{2}\), \(m_{3}\) is \(C(\frac{\frac{\sqrt{3}}{3}m_{1}l-\frac{\sqrt{3}}{6}m_{2}l -\frac{\sqrt{3}}{6}m_{3}l}{M},\frac{\frac{m_{2}}{2}l-\frac {m_{3}}{2}l}{M},0)\). To make sure assumption (4.4) holds, we introduce the new coordinates

Hence in the new coordinates \((X,Y,Z)\), the location coordinates of \(q_{1}(0)\), \(q_{2}(0)\), \(q_{3}(0)\) are \(A_{1}(\frac{\frac{\sqrt{3}}{2}m_{2}l+\frac{\sqrt{3}}{2}m_{3}l}{M}, \frac{-\frac{m_{2}}{2}l+\frac{m_{3}}{2}l}{M},0)\), \(A_{2}(-\frac{\frac{\sqrt{3}}{2}m_{1}l}{M},\frac{\frac {m_{1}}{2}l+m_{3}l}{M},0)\), \(A_{3}(-\frac{\frac{\sqrt{3}}{2}m_{1}l}{M},-\frac{\frac {m_{1}}{2}l+m_{2}l}{M},0)\) and the center of the masses \(m_{1}\), \(m_{2}\), \(m_{3}\) are at the origin \(O(0,0,0)\). Then compared with (4.1)-(4.3), we have

and

□

### Proof of Theorem 1.2

Clearly, \(q(t)=(0,0,0)\) is a critical point of \(f(q)\) on \(\bar{\Lambda}_{i}=\Lambda_{i}\) (\(i=1,2\)). The second variation of (4.6) in the sphere neighborhood of \(q(t)=(0,0,0)\) (coordinate origin *O*) is given by

Let

and

Obviously, \(\tilde{\varphi}\in\Lambda_{i}\) (\(i=1,2\)) and

It is easy to check that

which implies

Therefore

that is,

It follows from (4.10)-(4.13) and (4.23) that

that is,

By (4.24), we have

which implies \(q(t)=(0,0,0)\) is not a local minimum for \(f(q)\) on \(\Lambda_{i}\) (\(i=1,2\)). Hence the minimizers of \(f(q)\) on \(\Lambda_{i}\) (\(i=1,2\)) are not always at the center of the masses, they must oscillate periodically on the vertical axis, that is, the minimizers are not always co-planar, therefore, we get nonplanar periodic solutions.

Combined with Lemma 2.4, the proof is completed. □

## References

Li, F, Zhang, S, Zhao, X: The characterization of the variational minimizers for spatial restricted \(N+1\)-body problems. Abstr. Appl. Anal.

**2013**, Article ID 845795 (2013)Gelfand, I, Fomin, S: Calculus of Variations. Nauka, Moscow (1965). English edition: Prentice Hall, Englewood Cliffs

Struwe, M: Variational Methods, 3rd edn. Springer, Berlin (1990)

McGehee, R: Parabolic Orbits of the Restricted Three-Body Problem. Academic Press, New York (1973)

Mathlouthi, S: Periodic orbits of the restricted three-body problem. Trans. Am. Math. Soc.

**350**, 2265-2276 (1998)Zhang, SQ: Variational minimizing parabolic and hyperbolic orbits for the restricted 3-body problems. Sci. China Math.

**55**, 721-725 (2012)Sitnikov, K: Existence of oscillating motions for the three-body problem. Dokl. Akad. Nauk. USSR

**133**, 303-306 (1960)Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Applied Mathematical Sciences, vol. 74. Springer, New York (1989)

Palais, R: The principle of symmetric criticality. Commun. Math. Phys.

**69**, 19-30 (1979)

## Acknowledgements

The authors would like to thank Donglun Wu for some helpful discussions. The authors also would like to thank the referees for valuable suggestions.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the manuscript, and they read and approved the final draft.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Zhao, X., Zhang, S. Nonplanar periodic solutions for spatial restricted 3-body and 4-body problems.
*Bound Value Probl* **2015**, 85 (2015). https://doi.org/10.1186/s13661-015-0345-1

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-015-0345-1