Research Article Periodic Solutions for Circular Restricted -Body Problems Xiaoxiao Zhao,

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 173639, 8 pages
http://dx.doi.org/10.1155/2013/173639
Research Article
Periodic Solutions for Circular Restricted 𝑁 + 1-Body Problems
Xiaoxiao Zhao,1 Wei Li,2 and Peng Wang1
1
2
College of Mathematics, Sichuan University, Chengdu 610064, China
School of Economic Mathematics, Southwestern University of Finance and Economics, Chengdu 610074, China
Correspondence should be addressed to Xiaoxiao Zhao; zxgg2007@163.com
Received 18 February 2013; Accepted 3 April 2013
Academic Editor: Baodong Zheng
Copyright © 2013 Xiaoxiao Zhao et al. This is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
For circular restricted 𝑁 + 1-body problems, we study the motion of a sufficiently small mass point (called the zero mass point) in
the plane of N equal masses located at the vertices of a regular polygon. By using variational minimizing methods, for some N, we
prove the existence of the noncollision periodic solution for the zero mass point with some fixed wingding number.
1. Introduction and Main Results
In this paper, we study the planar circular restricted 𝑁 + 1body problems. Suppose that points of positive masses π‘š1 =
⋅ ⋅ ⋅ = π‘šπ‘ = 1 move on a circular orbit around the center
of masses, and that the sufficiently small mass point, called
the zero mass point, moves on the moving plane of the
given 𝑁 equal masses and does not influence the motion of
π‘š1 , . . . , π‘šπ‘, but the motion of the zero mass point is affected
√
by the given 𝑁 equal mass points. Let πœŒπ‘– = 𝑒 −1(2πœ‹π‘–/𝑁) and
we denote the position vectors of the given 𝑁 bodies by π‘žπ‘– (𝑑),
𝑖 = 1, . . . , 𝑁, then
√−12πœ‹π‘‘
π‘ž1 (𝑑) = π‘Ÿπ‘’
√−12πœ‹π‘‘
π‘žπ‘– (𝑑) = π‘Ÿπ‘’
𝜌1 , . . . ,
√−12πœ‹π‘‘
π‘žπ‘ (𝑑) = π‘Ÿπ‘’
πœŒπ‘– , . . . ,
(1)
,
where the radius π‘Ÿ > 0. It is known that π‘ž1 (𝑑), . . . , π‘žπ‘(𝑑) satisfy
the following Newtonian equations:
π‘šπ‘– π‘žπ‘–Μˆ =
where
π‘ˆ=
πœ•π‘ˆ
,
πœ•π‘žπ‘–
𝑖 = 1, . . . , 𝑁,
π‘šπ‘– π‘šπ‘—
∑ 󡄨󡄨
󡄨󡄨 .
1≤𝑖<𝑗≤𝑁 σ΅„¨σ΅„¨σ΅„¨π‘žπ‘– − π‘žπ‘— 󡄨󡄨󡄨
(2)
(3)
We also assume that
𝑁
𝑁
𝑖=1
𝑖=1
∑π‘šπ‘– π‘žπ‘– = ∑π‘žπ‘– = 0.
(4)
The orbit π‘ž(𝑑) ∈ 𝑅2 for the zero mass point is governed by the
gravitational forces of π‘š1 , . . . , π‘šπ‘ and therefore it satisfies the
following equation:
𝑁
π‘š (π‘ž − π‘ž)
π‘ž ̈ = ∑ 󡄨𝑖 𝑖 󡄨3 .
󡄨
󡄨
𝑖=1 σ΅„¨σ΅„¨π‘žπ‘– − π‘žσ΅„¨σ΅„¨
(5)
For 𝑁-body problems, there are many papers concerned
with the periodic solutions by using variational methods;
see [1–15] and the references therein. In [1], Chenciner and
Montgomery proved the existence of the remarkable figure“8” type periodic solution for planar Newtonian 3-body
problems with equal masses. Marchal [4] studied the fixed
end problem for Newtonian 𝑛-body problems and proved
that the minimizer for the Lagrangian action has no interior
collision. In [6], Simó used computer to discover many new
periodic solutions for Newtonian 𝑛-body problems. Zhang
and Zhou [10–12] decomposed the Lagrangian action for 𝑛body problems into some sum for two body problems and
[11, 12] avoided collisions by comparing the lower bound for
the Lagrangian action on the symmetry collision orbits and
the upper bound for the Lagrangian action on test orbits in
some cases.
Motivated by the above works, we use variational methods to study the circular restricted 𝑁 + 1-body problem with
some fixed wingding numbers and 𝑁 equal masses.
For the readers’ conveniences, we recall the definition of
the winding number, which can be found in many books on
the classical differential geometry.
2
Abstract and Applied Analysis
Definition 1. Let Γ : π‘₯(𝑑), 𝑑 ∈ [π‘Ž, 𝑏] be a given oriented
continuous closed curve, and 𝑝 be a point on the plane not
on the curve. Then, the mapping πœ‘ : Γ → 𝑆1 given by
π‘₯ (𝑑) − 𝑝
πœ‘ (π‘₯ (𝑑)) = 󡄨󡄨
󡄨,
󡄨󡄨π‘₯ (𝑑) − 𝑝󡄨󡄨󡄨
𝑑 ∈ [π‘Ž, 𝑏]
(6)
is defined to be the position mapping of the curve Γ relative
to 𝑝, and when the point on Γ goes around the curve once, its
image point πœ‘(π‘₯(𝑑)) will go around 𝑆1 a number of times; this
number is called the winding number of the curve Γ relative
to 𝑝, and we denote it by deg(Γ, 𝑝). If 𝑝 is the origin, we write
deg Γ.
Let
2πœ‹
2πœ‹
− sin
cos
𝑛
𝑛
) ∈ 𝑆𝑂 (2)
𝑅 (𝑛) = (
2πœ‹
2πœ‹
sin
cos
𝑛
𝑛
Define
𝑅
π‘Š1,2 ( , 𝑅2 )
𝑍
= {π‘₯ (𝑑) | π‘₯ (𝑑) , π‘₯Μ‡ (𝑑) ∈ 𝐿2 (𝑅, 𝑅2 ) , π‘₯ (𝑑 + 1) = π‘₯ (𝑑)} .
(8)
The norm of π‘Š1,2 (𝑅/𝑍, 𝑅2 ) is
1
β€–π‘₯β€– = [∫ |π‘₯|2 𝑑𝑑]
0
1/2
1
+ [∫ |π‘₯|Μ‡ 2 𝑑𝑑]
1/2
0
.
We consider the Lagrangian functional of (5) as
(7)
be a counter-clockwise rotation of angle 2πœ‹/𝑛 in 𝑅2 .
1
1 󡄨 󡄨2 𝑁 1
𝑓 (π‘ž) = ∫ [ σ΅„¨σ΅„¨σ΅„¨π‘žσ΅„¨σ΅„¨σ΅„¨Μ‡ + ∑ 󡄨󡄨
󡄨󡄨 ] 𝑑𝑑
2
0
𝑖=1 σ΅„¨σ΅„¨π‘ž − π‘žπ‘– 󡄨󡄨
Our main results are the following.
Theorem 2. For 𝑁 = 2, 3, the minimizer of 𝑓(π‘ž) on the closure
Λ− of Λ − is a noncollision 1-periodic solution of (5).
Remark 3. In proving Theorem 2, we need to use test
functions. We find that when 𝑁 = 3, if the test functions
are circular orbits, we cannot get the desired results on Λ− .
Therefore, we select elliptic orbits as test functions.
Theorem 4. For 2 ≤ 𝑁 ≤ 32402, the minimizer of 𝑓(π‘ž) on the
closure Λ+ of Λ + is a noncollision 1-periodic solution of (5).
2. Preliminaries
In this section, we will list some basic lemmas and inequality
to prove our theorems.
Lemma 5 (see [8]). The radius π‘Ÿ for the moving orbit of 𝑁
equal mass points is
1/3
.
(10)
on Λ ± , where
󡄨󡄨
1
󡄨
{
1,2 𝑅
2 󡄨󡄨󡄨 π‘ž (𝑑 + ) = 𝑅 (2) π‘ž (𝑑) , π‘ž (𝑑) =ΜΈ π‘žπ‘– (𝑑) , ∀𝑑 ∈ [0, 1] , 𝑖 = 1, . . . , 𝑁, }
Λ − = {π‘ž ∈ π‘Š ( , 𝑅 ) 󡄨󡄨
2
},
󡄨󡄨
𝑍
)
=
−1,
deg
(π‘ž
−
π‘ž
)
=
1,
𝑗
=
1,
.
.
.
,
𝑁
−
1
deg
(π‘ž
−
π‘ž
󡄨
𝑁
𝑗
𝑁
󡄨
{
}
󡄨󡄨
󡄨󡄨 π‘ž (𝑑 + 1 ) = 𝑅 (𝑁) π‘ž (𝑑) , π‘ž (𝑑) =ΜΈ π‘ž (𝑑) , ∀𝑑 ∈ [0, 1] , 𝑖 = 1, . . . , 𝑁, }
{
𝑅
󡄨
𝑖
Λ + = {π‘ž ∈ π‘Š1,2 ( , 𝑅2 ) 󡄨󡄨󡄨
𝑁
}.
󡄨󡄨
𝑍
deg
(π‘ž
−
π‘ž
)
=
1,
deg
(π‘ž
−
π‘ž
)
=
1,
𝑗
=
1,
.
.
.
,
𝑁
−
1
󡄨
𝑁
𝑗
𝑁
󡄨
}
{
πœ‹
1 2/3
π‘Ÿ = ( ) [ ∑ csc ( 𝑗)]
4πœ‹
𝑁
[1≤𝑗≤𝑁−1
]
(9)
(12)
Lemma 6 (Zhang and Zhou [9]). Suppose that 𝑔 ∈ 𝑆𝑂(π‘˜)
is an element of finite order 𝑠 and it has no fixed point
(11)
other than the origin (i.e., 1 is not an eigenvalue of 𝑔). Then
𝑇
∫0 𝑋(𝑑)𝑑𝑑 = 0 for all 𝑋(𝑑) = (π‘₯1 (𝑑), . . . , π‘₯𝑁(𝑑)) ∈ 𝐸𝑔𝑁, where
𝐸𝑔𝑁 = {(π‘₯1 , . . . , π‘₯𝑁) | π‘₯𝑖 ∈ 𝐻1 (𝑅/𝑇𝑍, 𝑅𝐾 ), π‘₯𝑖 (𝑑 + 𝑇/𝑠) =
𝑔(π‘₯𝑖 (𝑑)), ∀𝑑 ∈ [0, 𝑇], 𝑖 = 1, . . . , 𝑁}.
Lemma 7 (Poincare-Wirtinger inequality [16]). Let π‘ž
𝑇
π‘Š1,2 (𝑅/𝑇𝑍, 𝑅𝐾 ) and ∫0 π‘ž(𝑑)𝑑𝑑 = 0, and then
𝑇
𝑇2 𝑇 󡄨
󡄨2
󡄨
󡄨2
∫ σ΅„¨σ΅„¨σ΅„¨π‘ž (𝑑)󡄨󡄨󡄨 𝑑𝑑 ≤ 2 ∫ σ΅„¨σ΅„¨σ΅„¨π‘ž Μ‡ (𝑑)󡄨󡄨󡄨 𝑑𝑑.
4πœ‹ 0
0
∈
(13)
Lemma 8 (see [17]). Let 𝑋 be a reflexive Banach space, 𝑆 be a
weakly closed subset of 𝑋, and 𝑓 : 𝑆 → 𝑅∪{+∞}. If 𝑓 ≡ΜΈ + ∞
is weakly lower semicontinuous and coercive (𝑓(π‘₯) → +∞ as
β€– π‘₯ β€– → +∞), then 𝑓 attains its infimum on 𝑆.
Lemma 9 (Palais’s symmetry principle [18]). Let 𝜎 be an
orthogonal representation of a finite or compact group 𝐺, let
𝐻 be a real Hilbert space, and let 𝑓 : 𝐻 → 𝑅 satisfy 𝑓(𝜎 ⋅ π‘₯) =
𝑓(π‘₯), ∀𝜎 ∈ 𝐺, ∀π‘₯ ∈ 𝐻.
Set 𝐹 = {π‘₯ ∈ 𝐻 | 𝜎 ⋅ π‘₯ = π‘₯, ∀𝜎 ∈ 𝐺}. Then the critical
point of 𝑓 in 𝐹 is also a critical point of 𝑓 in 𝐻.
Remark 10. By Palais’s symmetry principle and the perturbation invariance for wingding numbers, we know that
Abstract and Applied Analysis
3
the critical point of 𝑓(π‘ž) in Λ ± is a periodic solution of
Newtonian equation (5).
Lemma 11. (1) (Gordon’s theorem [19]) Let π‘₯
∈
π‘Š1,2 ([𝑑1 , 𝑑2 ], 𝑅𝐾 ) and π‘₯(𝑑1 ) = π‘₯(𝑑2 ) = 0. Then for any
π‘Ž > 0, one has
𝑑2
1
π‘Ž
3
1/3
) 𝑑𝑑 ≥ (2πœ‹)2/3 π‘Ž2/3 (𝑑2 − 𝑑1 ) .
∫ ( |π‘₯|Μ‡ 2 +
2
2
|π‘₯|
𝑑1
1,2
(14)
Lemma 13. For πœ•Λ − = {π‘ž ∈ π‘Š1,2 (𝑅/𝑍, 𝑅2 ) | π‘ž(𝑑 + 1/2) =
𝑅(2)π‘ž(𝑑), ∃1 ≤ 𝑖0 ≤ 𝑁, 𝑑0 ∈ [0, 1] 𝑠.𝑑. π‘žπ‘–0 (𝑑0 ) = π‘ž(𝑑0 )}, we
have
inf 𝑓 (π‘ž)
π‘ž∈πœ•Λ −
3
𝑁−1 3
1
≥ (4πœ‹)2/3 𝑁−1/3 + (
) (2πœ‹)2/3 𝑁2/3 − (2πœ‹)2 π‘Ÿ2
2
𝑁
2
2
β‰œ 𝑑0 .
(19)
𝐾
(2) (Long and Zhang [20]) Let π‘₯ ∈ π‘Š (𝑅/𝑇𝑍, 𝑅 ), and
𝑇
∫0 π‘₯𝑑𝑑 = 0, then for any π‘Ž > 0, we have
Proof. It follows from (4) that
𝑁
∑π‘žπ‘–Μ‡ = 0,
𝑇
1
π‘Ž
3
) 𝑑𝑑 ≥ (2πœ‹)2/3 π‘Ž2/3 𝑇1/3 .
∫ ( |π‘₯|Μ‡ 2 +
2
2
|π‘₯|
0
(15)
(20)
𝑖=1
which implies
𝑁
󡄨
󡄨2
∑σ΅„¨σ΅„¨σ΅„¨π‘ž Μ‡ − π‘žπ‘–Μ‡ 󡄨󡄨󡄨
3. Proof of Theorems
𝑖=1
In order to get our theorems, we need two steps to complete
the proof.
𝑁
󡄨 󡄨2 󡄨 󡄨2
= ∑ (σ΅„¨σ΅„¨σ΅„¨π‘žσ΅„¨σ΅„¨σ΅„¨Μ‡ + σ΅„¨σ΅„¨σ΅„¨π‘žπ‘–Μ‡ 󡄨󡄨󡄨 − 2 βŸ¨π‘ž,Μ‡ π‘žπ‘–Μ‡ ⟩)
𝑖=1
Step 1. We will establish the existence of variational minimizers of 𝑓(π‘ž) in (10) on Λ± .
𝑖=1
𝑁
𝑖=1
2πœ‹
πœ† = cos ,
𝑛
2πœ‹
sin
= 0,
𝑛
Therefore,
(16)
which implies πœ† =ΜΈ 1 for 𝑛 ≥ 2. Then by Lemma 6, we have
1
∫ π‘ž (𝑑) = 0 ∀π‘ž ∈ Λ± .
0
(17)
𝑁
󡄨󡄨 󡄨󡄨̇ 2 1
󡄨
󡄨2 󡄨 󡄨2
σ΅„¨σ΅„¨π‘žσ΅„¨σ΅„¨ = ∑ (σ΅„¨σ΅„¨σ΅„¨π‘ž Μ‡ − π‘žπ‘–Μ‡ 󡄨󡄨󡄨 − σ΅„¨σ΅„¨σ΅„¨π‘žπ‘–Μ‡ 󡄨󡄨󡄨 ) .
𝑁 𝑖=1
1
1 󡄨 󡄨2 𝑁 1
𝑓 (π‘ž) = ∫ [ σ΅„¨σ΅„¨σ΅„¨π‘žσ΅„¨σ΅„¨σ΅„¨Μ‡ + ∑ 󡄨󡄨
󡄨󡄨 ] 𝑑𝑑
2
0
𝑖=1 σ΅„¨σ΅„¨π‘ž − π‘žπ‘– 󡄨󡄨
=
(18)
Hence, by the definition of 𝑓(π‘ž), 𝑓 is coercive on Λ± .
Similar to the proof of Lemma 2.4 in [13], we can get the
conclusion that 𝑓 is weakly lower semi-continuous on Λ± .
Therefore, by using Lemma 8, it can be concluded that
𝑓(π‘ž) in (10) attains its infimum on Λ± .
Step 2. We will prove that the variational minimizer in
Lemma 12 is the noncollision 1-period solution of (5).
For any collision generalized solution π‘ž, we can estimate
the lower bound for the value of Lagrangian action functional.
1 1 𝑁 1 󡄨󡄨
𝑁
󡄨2
∫ ∑ [ σ΅„¨σ΅„¨π‘ž Μ‡ − π‘žπ‘–Μ‡ 󡄨󡄨󡄨 + 󡄨󡄨
󡄨 ] 𝑑𝑑
𝑁 0 𝑖=1 2
σ΅„¨σ΅„¨π‘ž − π‘žπ‘– 󡄨󡄨󡄨
−
1/2
.
(22)
Hence,
So by using Lemma 7, for all π‘ž ∈ Λ± , we see that an equivalent
norm of (9) on Λ± is
σ΅„©σ΅„© σ΅„©σ΅„©
󡄨 󡄨2
σ΅„©σ΅„©π‘žσ΅„©σ΅„© ≅ [∫ σ΅„¨σ΅„¨σ΅„¨π‘žσ΅„¨σ΅„¨σ΅„¨Μ‡ 𝑑𝑑]
0
𝑖=1
(21)
󡄨 󡄨2
󡄨 󡄨2
= π‘σ΅„¨σ΅„¨σ΅„¨π‘žσ΅„¨σ΅„¨σ΅„¨Μ‡ + ∑σ΅„¨σ΅„¨σ΅„¨π‘žπ‘–Μ‡ 󡄨󡄨󡄨 .
Proof. It is easy to check that the eigenvalue πœ† of 𝑅(𝑛) satisfies
𝑇
𝑁
󡄨 󡄨2
󡄨 󡄨2
= π‘σ΅„¨σ΅„¨σ΅„¨π‘žσ΅„¨σ΅„¨σ΅„¨Μ‡ + ∑σ΅„¨σ΅„¨σ΅„¨π‘žπ‘–Μ‡ 󡄨󡄨󡄨 − 2 βŸ¨π‘ž,Μ‡ ∑π‘žπ‘–Μ‡ ⟩
Lemma 12. 𝑓(π‘ž) in (10) attains its infimum on Λ± .
{
{
{
{
{
𝑁
(23)
1 1 𝑁 󡄨󡄨 󡄨󡄨2
∫ ∑σ΅„¨π‘ž Μ‡ 󡄨 𝑑𝑑.
2𝑁 0 𝑖=1󡄨 𝑖 󡄨
If π‘ž ∈ Λ− is a collision solution, then there exists 𝑑0 ∈ [0, 1]
and 1 ≤ 𝑖0 ≤ 𝑁 s.t π‘ž(𝑑0 ) = π‘žπ‘–0 (𝑑0 ). Since π‘žπ‘– (𝑑+1/2) = 𝑅(2)π‘žπ‘– (𝑑),
one has π‘ž(𝑑0 + π‘˜/2) = π‘žπ‘–0 (𝑑0 + π‘˜/2), ∀0 ≤ π‘˜ ≤ 2. So, by (1) of
Lemma 11, we get
1 1 1 󡄨󡄨
𝑁
󡄨2
∫ [ σ΅„¨σ΅„¨π‘ž Μ‡ − π‘žπ‘–Μ‡ 0 󡄨󡄨󡄨󡄨 + 󡄨󡄨
󡄨 ] 𝑑𝑑
𝑁 0 2󡄨
σ΅„¨σ΅„¨π‘ž − π‘žπ‘–0 󡄨󡄨󡄨
󡄨
󡄨
=
2 1/2 1 󡄨󡄨
𝑁
󡄨2
∫ [ σ΅„¨σ΅„¨σ΅„¨π‘ž Μ‡ − π‘žπ‘–Μ‡ 0 󡄨󡄨󡄨󡄨 + 󡄨󡄨
󡄨 ] 𝑑𝑑
𝑁 0
2
σ΅„¨σ΅„¨π‘ž − π‘žπ‘–0 󡄨󡄨󡄨
󡄨
󡄨
3
≥ (4πœ‹)2/3 𝑁−1/3 .
2
(24)
4
Abstract and Applied Analysis
1
For noncollision pair π‘ž, π‘žπ‘– (𝑖 =ΜΈ 𝑖0 ), we claim ∫0 (π‘ž(𝑑) −
π‘žπ‘– (𝑑))𝑑𝑑 = 0. In fact, it follows from (1) that π‘žπ‘–+1 (𝑑) = π‘žπ‘– (𝑑 +
1/𝑁), which implies
π‘žπ‘– (𝑑) = π‘ž1 (𝑑 +
𝑖−1
).
𝑁
(25)
Lemma 14. For πœ•Λ + = {π‘ž ∈ π‘Š1,2 (𝑅/𝑍, 𝑅2 ) | π‘ž(𝑑 + 1/𝑁) =
𝑅(𝑁)π‘ž(𝑑), ∃1 ≤ ̃𝑖0 ≤ 𝑁, ̃𝑑0 ∈ [0, 1] 𝑠.𝑑. π‘žΜƒπ‘–0 (̃𝑑0 ) = π‘ž(̃𝑑0 )}, we
have
inf 𝑓 (π‘ž)
π‘ž∈πœ•Λ +
3
𝑁−1 3
1
≥ (2πœ‹)2/3 𝑁1/3 + (
) (2πœ‹)2/3 𝑁2/3 − (2πœ‹)2 π‘Ÿ2
2
𝑁
2
2
Therefore, by (4), we have
1
β‰œ 𝑑1 .
∫ π‘ž1 (𝑑) 𝑑𝑑
(31)
0
1/𝑁
=∫
0
(𝑁−1)/𝑁
1/𝑁
=∫
0
1
π‘ž1 (𝑑) 𝑑𝑑 + ⋅ ⋅ ⋅ + ∫
1/𝑁
π‘ž1 (𝑑) 𝑑𝑑 + ⋅ ⋅ ⋅ + ∫
0
π‘ž1 (𝑑) 𝑑𝑑
π‘ž1 (𝑑 +
𝑁−1
) 𝑑𝑑
𝑁
(26)
Proof of Theorem 2. In order to get Theorem 2, we are going
π‘ž) = 𝑑2 . Then the
to find a test loop π‘žΜƒ ∈ Λ − such that 𝑓(Μƒ
minimizer of 𝑓 on Λ− must be a noncollision solution if 𝑑2 <
𝑑0 .
Let π‘Ž > 0, 𝑏 > 0, πœƒ ∈ [0, 2πœ‹) and
1/𝑁 𝑁
=∫
0
∑π‘žπ‘– (𝑑) 𝑑𝑑
𝑖=1
= 0.
Since π‘ž1 (𝑑 + 1) = π‘ž1 (𝑑), by (25) and (26), we obtain
1
1
0
0
∫ π‘žπ‘– (𝑑) 𝑑𝑑 = ∫ π‘ž1 (𝑑 +
Proof. Similar to the proof of Lemma 13, Lemma 14
holds.
π‘žΜƒ − π‘žπ‘ = (π‘Ž cos (−2πœ‹π‘‘ + πœƒ) , 𝑏 sin (−2πœ‹π‘‘ + πœƒ))𝑇 .
(32)
1
𝑖−1
) 𝑑𝑑 = ∫ π‘ž1 (𝑑) 𝑑𝑑 = 0. (27)
𝑁
0
1
Combined with (17) and (27), we have ∫0 (π‘ž(𝑑) − π‘žπ‘– (𝑑))𝑑𝑑 = 0.
Hence, by (2) of Lemma 11, we can get
1󡄨
𝑁
1 1
󡄨2
∫ ∑ [ σ΅„¨σ΅„¨π‘ž Μ‡ − π‘žπ‘–Μ‡ 󡄨󡄨󡄨 + 󡄨󡄨
󡄨 ] 𝑑𝑑
𝑁 0 𝑖 =ΜΈ 𝑖0 2 󡄨
σ΅„¨σ΅„¨π‘ž − π‘žπ‘– 󡄨󡄨󡄨
Hence,
π‘žΜƒ − π‘ž1 = (π‘Ÿ cos 2πœ‹π‘‘ − π‘Ÿ cos (2πœ‹π‘‘ +
+ π‘Ž cos (−2πœ‹π‘‘ + πœƒ) , π‘Ÿ sin 2πœ‹π‘‘
(28)
𝑁−1 3
≥(
) (2πœ‹)2/3 𝑁2/3 .
𝑁
2
− π‘Ÿ sin (2πœ‹π‘‘ +
For the other term of 𝑓, using the expression for the orbits
π‘ž1 , . . . , π‘žπ‘ as in (1), one has
−
1
1 1 𝑁 󡄨󡄨 󡄨󡄨2
∫ ∑σ΅„¨π‘ž Μ‡ 󡄨 𝑑𝑑 = − (2πœ‹)2 π‘Ÿ2 .
2𝑁 0 𝑖=1󡄨 𝑖 󡄨
2
2πœ‹
)
𝑁
(29)
𝑇
2πœ‹
) + 𝑏 sin(−2πœ‹π‘‘ + πœƒ)) ,
𝑁
..
.
π‘žΜƒ − π‘žπ‘– = (π‘Ÿ cos 2πœ‹π‘‘ − π‘Ÿ cos (2πœ‹π‘‘ +
𝑖
2πœ‹)
𝑁
+ π‘Ž cos (−2πœ‹π‘‘ + πœƒ) , π‘Ÿ sin 2πœ‹π‘‘
𝑇
𝑖
− π‘Ÿ sin (2πœ‹π‘‘ + 2πœ‹) + 𝑏 sin(−2πœ‹π‘‘ + πœƒ)) ,
𝑁
Therefore, it follows from (24), (28), and (29) that
(33)
(34)
..
.
inf 𝑓 (π‘ž)
π‘ž∈πœ•Λ −
3
𝑁−1 3
1
≥ (4πœ‹)2/3 𝑁−1/3 + (
) (2πœ‹)2/3 𝑁2/3 − (2πœ‹)2 π‘Ÿ2
2
𝑁
2
2
β‰œ 𝑑0 .
(30)
π‘žΜƒ − π‘žπ‘−1 = (π‘Ÿ cos 2πœ‹π‘‘ − π‘Ÿ cos (2πœ‹π‘‘ +
𝑁−1
2πœ‹)
𝑁
+ π‘Ž cos (−2πœ‹π‘‘ + πœƒ) , π‘Ÿ sin 2πœ‹π‘‘
− π‘Ÿ sin(2πœ‹π‘‘ +
𝑇
𝑁−1
2πœ‹)+ 𝑏 sin(−2πœ‹π‘‘ + πœƒ)) .
𝑁
(35)
Abstract and Applied Analysis
5
It is easy to see that π‘žΜƒ ∈ Λ − and
2
2
2
π‘Ž2 + 𝑏2 π‘Ž2 − 𝑏2
󡄨
󡄨󡄨 Μƒ
+
cos (4πœ‹π‘‘ − 2πœƒ),
σ΅„¨σ΅„¨π‘ž − π‘žπ‘σ΅„¨σ΅„¨σ΅„¨ = √
2
2
2
π‘Ž +𝑏
π‘Ž −𝑏
󡄨󡄨 Μ‡
󡄨2
σ΅„¨σ΅„¨π‘žΜƒ − π‘ž1Μ‡ 󡄨󡄨󡄨 = (2πœ‹)2 {
−
cos (4πœ‹π‘‘ − 2πœƒ)
󡄨
󡄨
2
2
+ π‘Ÿ2 (2 − 2 cos
󡄨 Μ‡ 󡄨󡄨2
󡄨󡄨 Μ‡ 󡄨󡄨2
2 2
󡄨󡄨 = (2πœ‹) π‘Ÿ .
σ΅„¨σ΅„¨π‘ž1 󡄨󡄨 = ⋅ ⋅ ⋅ = σ΅„¨σ΅„¨σ΅„¨π‘žπ‘
2πœ‹
) − (π‘Ž + 𝑏) π‘Ÿ
𝑁
× [cos (4πœ‹π‘‘ − πœƒ) − cos (4πœ‹π‘‘ +
+ (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ − cos (
2πœ‹
− πœƒ)]
𝑁
2πœ‹
+ πœƒ)] } ,
𝑁
(36)
𝑓 (Μƒ
π‘ž)
=
1 1 𝑁 󡄨󡄨 󡄨󡄨2
1 1 𝑁 1 󡄨󡄨 Μ‡
𝑁
󡄨2
]
𝑑𝑑
−
∫ ∑ [ σ΅„¨σ΅„¨σ΅„¨π‘žΜƒ − π‘žπ‘–Μ‡ 󡄨󡄨󡄨󡄨 + 󡄨󡄨
∫ ∑σ΅„¨π‘ž Μ‡ 󡄨 𝑑𝑑
󡄨
𝑁 0 𝑖=1 2
2𝑁 0 𝑖=1󡄨 𝑖 󡄨
σ΅„¨σ΅„¨π‘žΜƒ − π‘žπ‘– 󡄨󡄨󡄨
= (π‘Ž2 + 𝑏2 ) πœ‹2 + (2πœ‹)2 π‘Ÿ2
+ 2πœ‹2 (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ −
2πœ‹
) + (π‘Ž + 𝑏) π‘Ÿ
𝑁
× [cos (4πœ‹π‘‘ − πœƒ) − cos (4πœ‹π‘‘ +
(42)
Therefore by (36)–(42), we get
π‘Ž2 + 𝑏2 π‘Ž2 − 𝑏2
󡄨
󡄨󡄨 Μƒ
+
cos (4πœ‹π‘‘ − 2πœƒ)
σ΅„¨σ΅„¨π‘ž − π‘ž1 󡄨󡄨󡄨 = {
2
2
+ π‘Ÿ2 (2 − 2 cos
(41)
𝑁
1
+ ∑∫ {
2πœ‹
− πœƒ)]
𝑁
𝑖=1 0
π‘Ž2 + 𝑏2 π‘Ž2 − 𝑏2
+
cos (4πœ‹π‘‘ − 2πœƒ)
2
2
+ π‘Ÿ2 (2 − 2 cos
1/2
2πœ‹
+ πœƒ)] }
+ (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ − cos (
𝑁
𝑖
1 𝑁
∑ cos ( 2πœ‹ + πœƒ)]
𝑁 𝑖=1
𝑁
,
𝑖
2πœ‹) + (π‘Ž + 𝑏) π‘Ÿ
𝑁
× [cos (4πœ‹π‘‘ − πœƒ) − cos (4πœ‹π‘‘ +
..
.
𝑖
2πœ‹ − πœƒ)]
𝑁
−1/2
+ (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ − cos (
(37)
π‘Ž2 + 𝑏2 π‘Ž2 − 𝑏2
󡄨󡄨 Μ‡
󡄨2
σ΅„¨σ΅„¨π‘žΜƒ − π‘žπ‘–Μ‡ 󡄨󡄨󡄨 = (2πœ‹)2 {
−
cos (4πœ‹π‘‘ − 2πœƒ)
󡄨
󡄨
2
2
+ π‘Ÿ2 (2 − 2 cos
+ (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ − cos (
= 2πœ‹2 (
𝑖
2πœ‹ − πœƒ)]
𝑁
𝑖
2πœ‹ + πœƒ)] } ,
𝑁
(38)
π‘Ž2 + 𝑏2 π‘Ž2 − 𝑏2
󡄨
󡄨󡄨 Μƒ
+
cos (4πœ‹π‘‘ − 2πœƒ)
σ΅„¨σ΅„¨π‘ž − π‘žπ‘– 󡄨󡄨󡄨 = {
2
2
+ π‘Ÿ2 (2 − 2 cos
π‘Ž2 + 𝑏2
+ π‘Ÿ2 )
2
+ 2πœ‹2 (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ −
𝑁
1
+ ∑∫ {
𝑖=1 0
1 𝑁
𝑖
∑ cos ( 2πœ‹ + πœƒ)]
𝑁 𝑖=1
𝑁
π‘Ž2 + 𝑏2 π‘Ž2 − 𝑏2
+
cos (4πœ‹π‘‘ − 2πœƒ)
2
2
+ π‘Ÿ2 (2 − 2 cos
𝑖
2πœ‹) + (π‘Ž + 𝑏) π‘Ÿ
𝑁
𝑖
2πœ‹) + (π‘Ž + 𝑏) π‘Ÿ
𝑁
× [cos (4πœ‹π‘‘ − πœƒ) − cos (4πœ‹π‘‘ +
𝑖
× [cos (4πœ‹π‘‘ − πœƒ) − cos (4πœ‹π‘‘ + 2πœ‹ − πœƒ)]
𝑁
1/2
+ (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ − cos (
𝑑𝑑
1
− (2πœ‹)2 π‘Ÿ2
2
𝑖
2πœ‹) − (π‘Ž + 𝑏) π‘Ÿ
𝑁
× [cos (4πœ‹π‘‘ − πœƒ) − cos (4πœ‹π‘‘+
𝑖
2πœ‹ + πœƒ)] }
𝑁
𝑖
2πœ‹ + πœƒ)] }
𝑁
,
..
.
(39)
π‘Ž2 + 𝑏2 π‘Ž2 − 𝑏2
󡄨󡄨 Μ‡
󡄨󡄨2
σ΅„¨σ΅„¨π‘žΜƒ − π‘žπ‘
󡄨󡄨 = (2πœ‹)2 (
Μ‡
−
cos (4πœ‹π‘‘ − 2πœƒ)) ,
󡄨
󡄨
2
2
(40)
𝑖
2πœ‹ − πœƒ)]
𝑁
−1/2
+ (π‘Ž − 𝑏) π‘Ÿ [cos πœƒ − cos (
𝑖
2πœ‹ + πœƒ)] }
𝑁
𝑑𝑑
= 𝑑2 (π‘Ž, 𝑏, πœƒ) .
(43)
In order to estimate 𝑑2 , we have computed the numerical
values of 𝑑2 = 𝑓(π‘ž) over some selected test loops. The
computation of the integral that appears in (43) has been done
using the function {π‘žπ‘’π‘Žπ‘‘} of Mathematica 7.1 with an error
less than 10−6 . The results of the numerical explorations are
given in Table 1.
6
Abstract and Applied Analysis
Hence,
Table 1: Parameters of test loops for Theoerm 2.
𝑁
2
2
2
2
2
2
2
2
2
2
2
2
2
2
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
π‘Ž
0.11
0.13
0.13
0.15
0.15
0.17
0.17
0.19
0.19
0.21
0.23
0.23
0.25
0.25
0.15
0.15
0.17
0.17
0.17
0.19
0.19
0.19
0.61
0.63
0.63
0.65
0.65
0.65
0.67
0.67
0.67
0.69
0.69
0.69
𝑏
0.29
0.25
0.27
0.21
0.23
0.19
0.21
0.17
0.19
0.21
0.15
0.23
0.13
0.25
0.67
0.69
0.65
0.67
0.69
0.63
0.65
0.67
0.23
0.19
0.21
0.17
0.19
0.21
0.15
0.17
0.19
0.13
0.15
0.17
πœƒ
πœ‹/2
πœ‹
πœ‹
πœ‹
πœ‹/5
πœ‹
πœ‹/5
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹/5
πœ‹/2
πœ‹/5
πœ‹/30
πœ‹/30
πœ‹/30
πœ‹/20
πœ‹/20
πœ‹/30
πœ‹/20
πœ‹/20
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
𝑑0
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
9.813298
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
11.523843
𝑑2
9.753899
9.753243
9.643849
9.790068
9.746803
9.751237
9.625193
9.784859
9.564603
9.279445
9.793205
9.109854
9.730925
9.038706
11.505860
11.444212
11.493238
11.452135
11.400124
11.519350
11.455969
11.386608
11.516685
11.489791
11.436105
11.461786
11.392115
11.349366
11.472422
11.383978
11.324970
11.522980
11.412094
11.334189
For the parameters π‘Ž, 𝑏, and πœƒ given in Table 1, we all
have 𝑑2 < 𝑑0 . For 4 ≤ 𝑁 ≤ 1000, we do not find
suitable parameters π‘Ž ∈ [0.01, 2π‘Ÿ), 𝑏 ∈ [0.01, 2π‘Ÿ), and πœƒ =
πœ‹, πœ‹/2, πœ‹/3, . . . , πœ‹/29, πœ‹/30 such that 𝑑2 < 𝑑0 , where π‘Ÿ is the
radius of the first 𝑁 bodies with equal masses. Hence we
only consider the case 𝑁 = 2, 3. This completes the proof of
Theorem 2.
π‘ž − π‘ž1
√−12πœ‹π‘‘ √−1πœƒ
= π‘žπ‘ + π‘Žπ‘’
𝑒
√−12πœ‹π‘‘
(1 − 𝑒
= π‘Ÿπ‘’
− π‘ž1
√−1(2πœ‹/𝑁)
√−12πœ‹π‘‘ √−1πœƒ
) + π‘Žπ‘’
√−12πœ‹π‘‘ √−1πœƒ
π‘ž − π‘žπ‘ = π‘Žπ‘’
𝑒
.
(44)
,
(45)
..
.
π‘ž − π‘žπ‘–
√−12πœ‹π‘‘ √−1πœƒ
= π‘žπ‘ + π‘Žπ‘’
𝑒
√−12πœ‹π‘‘
(1 − 𝑒
= π‘Ÿπ‘’
− π‘žπ‘–
√−1(𝑖/𝑁)2πœ‹
√−12πœ‹π‘‘ √−1πœƒ
) + π‘Žπ‘’
𝑒
,
(46)
..
.
π‘ž − π‘žπ‘−1
√−12πœ‹π‘‘ √−1πœƒ
= π‘žπ‘ + π‘Žπ‘’
𝑒
√−12πœ‹π‘‘
(1 − 𝑒
= π‘Ÿπ‘’
− π‘žπ‘−1
√−1((𝑁−1)/𝑁)2πœ‹
√−12πœ‹π‘‘ √−1πœƒ
) + π‘Žπ‘’
𝑒
.
(47)
It is easy to see that π‘ž ∈ Λ + and
2πœ‹
󡄨󡄨 Μ‡
󡄨2
σ΅„¨σ΅„¨π‘ž − π‘ž1Μ‡ 󡄨󡄨󡄨 = (2πœ‹)2 {π‘Ÿ2 (2 − 2 cos ) + π‘Ž2
󡄨
󡄨
𝑁
2πœ‹
+2π‘Žπ‘Ÿ [cos πœƒ − cos (πœƒ −
)]} ,
𝑁
(48)
2πœ‹
󡄨
󡄨󡄨
2
2
σ΅„¨σ΅„¨π‘ž − π‘ž1 󡄨󡄨󡄨 = {π‘Ÿ (2 − 2 cos ) + π‘Ž
𝑁
+2π‘Žπ‘Ÿ [cos πœƒ − cos (πœƒ −
1/2
2πœ‹
)]} ,
𝑁
(49)
..
.
𝑖
󡄨󡄨 Μ‡
󡄨2
σ΅„¨σ΅„¨π‘ž − π‘žπ‘–Μ‡ 󡄨󡄨󡄨 = (2πœ‹)2 {π‘Ÿ2 (2 − 2 cos 2πœ‹) + π‘Ž2
󡄨
󡄨
𝑁
+2π‘Žπ‘Ÿ [cos πœƒ − cos (πœƒ −
𝑖
2πœ‹)]} ,
𝑁
(50)
𝑖
󡄨
󡄨󡄨
2
2
σ΅„¨σ΅„¨π‘ž − π‘žπ‘– 󡄨󡄨󡄨 = {π‘Ÿ (2 − 2 cos 2πœ‹) + π‘Ž
𝑁
+2π‘Žπ‘Ÿ [cos πœƒ − cos (πœƒ −
Proof of Theorem 4. To get Theorem 4, we are going to find a
test loop π‘ž ∈ Λ + such that 𝑓(π‘ž) = 𝑑3 . Then the minimizer of
𝑓 on Λ+ must be a noncollision solution if 𝑑3 < 𝑑1 .
Let π‘Ž > 0, πœƒ ∈ [0, 2πœ‹), and
𝑒
1/2
𝑖
2πœ‹)]} ,
𝑁
(51)
..
.
󡄨󡄨 Μ‡
󡄨2
󡄨
󡄨󡄨
σ΅„¨σ΅„¨π‘ž − π‘žπ‘
Μ‡ 󡄨󡄨󡄨󡄨 = (2πœ‹)2 π‘Ž2 ,
σ΅„¨σ΅„¨π‘ž − π‘žπ‘σ΅„¨σ΅„¨σ΅„¨ = π‘Ž,
󡄨
󡄨󡄨2
2 2
σ΅„¨σ΅„¨σ΅„¨π‘ž1Μ‡ 󡄨󡄨󡄨2 = ⋅ ⋅ ⋅ = σ΅„¨σ΅„¨σ΅„¨π‘žπ‘
󡄨 󡄨
󡄨 Μ‡ 󡄨󡄨 = (2πœ‹) π‘Ÿ .
(52)
(53)
Abstract and Applied Analysis
7
2970
Therefore by (48)–(53), we get
2960
𝑓 (π‘ž)
𝑑-val
2950
1 1 𝑁 1 󡄨󡄨 Μ‡
𝑁
󡄨2
=
∫ ∑ [ σ΅„¨σ΅„¨σ΅„¨π‘ž − π‘žπ‘–Μ‡ 󡄨󡄨󡄨󡄨 + 󡄨󡄨
󡄨 ] 𝑑𝑑
𝑁 0 𝑖=1 2
σ΅„¨σ΅„¨π‘ž − π‘žπ‘– 󡄨󡄨󡄨
2930
2920
1 1 𝑁 󡄨󡄨 󡄨󡄨2
−
∫ ∑σ΅„¨π‘ž Μ‡ 󡄨 𝑑𝑑
2𝑁 0 𝑖=1󡄨 𝑖 󡄨
2910
4
0
π‘Žπ‘Ÿ 𝑁
𝑖
∑ cos (πœƒ − 2πœ‹)]
𝑁 𝑖=1
𝑁
+ π‘Ž−1 + ∑ {π‘Ÿ2 (2 − 2 cos
𝑖=1
𝑖
2πœ‹)]}
𝑁
12.5
11.5
12
12.5
π‘Ž-val
2960
2950
𝑑-val
+ (2πœ‹)2 [arcosπœƒ −
+π‘Ž
12
2970
2
𝑁−1
11.5
Figure 1: 𝑁 = 32403.
= 2πœ‹ (π‘Ž + π‘Ÿ )
−1
11
−1/2
1
− (2πœ‹)2 π‘Ÿ2
2
2
10.5
10
𝑑1
𝑑3
𝑖
2πœ‹) + π‘Ž2
𝑁
+2π‘Žπ‘Ÿ [cos πœƒ − cos (πœƒ −
2
2
al
𝑁−1
πœƒ -v
= 2πœ‹2 π‘Ž2 + (2πœ‹)2 π‘Ÿ2
+ (2πœ‹)2 [arcosπœƒ −
2940
2930
π‘Žπ‘Ÿ 𝑁
𝑖
∑ cos (πœƒ − 2πœ‹)]
𝑁 𝑖=1
𝑁
2920
2910
4
𝑖
+ ∑ {π‘Ÿ (2 − 2 cos 2πœ‹) + π‘Ž2
𝑁
𝑖=1
2
πœƒ -v
−1/2
𝑖
2πœ‹)]}
𝑁
2
al
+2π‘Žπ‘Ÿ [cos πœƒ − cos (πœƒ −
2940
0
= 𝑑3 (π‘Ž, πœƒ) .
11
π‘Ž-val
𝑑1
𝑑3
(54)
In order to estimate 𝑑3 , we have computed the numerical
values of 𝑑3 = 𝑓(π‘ž) over some selected test loops. The
results of the numerical explorations show that by choosing
some π‘Ž ∈ [0.11, 12.50] and πœƒ = πœ‹, one has 𝑑3 < 𝑑1
for 2 ≤ 𝑁 ≤ 32402. From the computational data, let
πœƒ = πœ‹, πœ‹/2, πœ‹/3, . . . , πœ‹/19, πœ‹/20, and we find that 𝑑3 < 𝑑1
holds for 2 ≤ 𝑁 ≤ 19 with some π‘Ž ∈ [0.11, 0.90].
But for 20 ≤ 𝑁 ≤ 32402, no matter how we choose
the value of π‘Ž ∈ [0.11, 12.50], we obtain 𝑑3 < 𝑑1 only
if πœƒ = πœ‹. For 𝑁 = 32403, the computational data
shows that 𝑑3 ≫ 𝑑1 for all π‘Ž ∈ [0.11, 10.00] and πœƒ =
πœ‹, πœ‹/2, πœ‹/3, . . . , πœ‹/99, πœ‹/100. Then combined with Figure 1, it
is easy to see that π‘Ž.𝑒. 𝑑3 > 𝑑1 for all π‘Ž ∈ [0.11, 12.50] and πœƒ =
πœ‹, πœ‹/2, πœ‹/3, . . . , πœ‹/99, πœ‹/100. The same holds for 𝑁 = 32404
from Figure 2 and the computational data. Moreover, we can
get the same conclusions for 32405 ≤ 𝑁 ≤ 100000. Hence,
we only consider the case 2 ≤ 𝑁 ≤ 32402. This completes the
proof of Theorem 4.
10.5
10
Figure 2: 𝑁 = 32404.
Acknowledgments
This study is supported by the national natural Science
Foundation of China. The authors would like to thank
Professor Shiqing Zhang, Taisong Xiong, Donglun Wu and
Yiyang Deng for some helpful discussions, and the referee
for his/her many valuable comments and suggestions on this
paper.
References
[1] A. Chenciner and R. Montgomery, “A remarkable periodic
solution of the three-body problem in the case of equal masses,”
Annals of Mathematics, vol. 152, no. 3, pp. 881–901, 2000.
[2] A. Chenciner, “Action minimizing solutions of the Newtonian
n-body problem: from homology to symmetry,” in Proceedings
8
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
Abstract and Applied Analysis
of the International Mathematical Union (ICM ’02), pp. 255–264,
Beijing, China, 2002.
A. Venturelli, “Une caractérisation variationnelle des solutions
de Lagrange du probleΜ€me plan des trois corps,” Comptes Rendus
de l’Académie des Sciences, vol. 332, no. 7, pp. 641–644, 2001.
C. Marchal, “How the method of minimization of action avoids
singularities,” Celestial Mechanics & Dynamical Astronomy, vol.
83, no. 1–4, pp. 325–353, 2002.
C. Moore, “Braids in classical dynamics,” Physical Review
Letters, vol. 70, no. 24, pp. 3675–3679, 1993.
C. Simó, “New families of solutions in 𝑛-body problems,”
Progress in Mathematics, vol. 201, pp. 101–115, 2001.
D. L. Ferrario and S. Terracini, “On the existence of collisionless
equivariant minimizers for the classical 𝑁-body problem,”
Inventiones Mathematicae, vol. 155, no. 2, pp. 305–362, 2004.
F. Y. Li, S. Q. Zhang, and X. X. Zhao, “Periodic solutions for
spatial restricted N+1-body problems,” Preprint.
S. Zhang and Q. Zhou, “Symmetric periodic noncollision
solutions for 𝑛-body-type problems,” Acta Mathematica Sinica,
vol. 11, no. 1, pp. 37–43, 1995.
S. Q. Zhang and Q. Zhou, “A minimizing property of Lagrangian
solutions,” Acta Mathematica Sinica, vol. 17, no. 3, pp. 497–500,
2001.
S. Zhang and Q. Zhou, “Variational methods for the choreography solution to the three-body problem,” Science in China A,
vol. 45, no. 5, pp. 594–597, 2002.
S. Zhang and Q. Zhou, “Nonplanar and noncollision periodic solutions for 𝑛-body problems,” Discrete and Continuous
Dynamical Systema A, vol. 10, no. 3, pp. 679–685, 2004.
S. Zhang, Q. Zhou, and Y. Liu, “New periodic solutions for 3body problems,” Celestial Mechanics & Dynamical Astronomy,
vol. 88, no. 4, pp. 365–378, 2004.
U. Bessi and V. Coti Zelati, “Symmetries and noncollision closed
orbits for planar 𝑛-body-type problems,” Nonlinear Analysis,
vol. 16, no. 6, pp. 587–598, 1991.
X. X. Zhao and S. Q. Zhang, “Periodic solutions for circular restricted 4-body problems with Newtonian potentials,”
Preprint.
J. Mawhin and M. Willem, Critical Point Theory and Hamiltonian Systems, vol. 74, Springer, New York, NY, USA, 1989.
M. Struwe, Variational Methods, Springer, Berlin, Germany, 3rd
edition, 1990.
R. S. Palais, “The principle of symmetric criticality,” Communications in Mathematical Physics, vol. 69, no. 1, pp. 19–30, 1979.
W. B. Gordon, “A minimizing property of Keplerian orbits,” The
American Journal of Mathematics, vol. 99, no. 5, pp. 961–971,
1977.
Y. Long and S. Zhang, “Geometric characterizations for variational minimization solutions of the 3-body problem,” Acta
Mathematica Sinica, vol. 16, no. 4, pp. 579–592, 2000.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download