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], SimoΜ 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 caracteΜrisation variationnelle des solutions
de Lagrange du probleΜme plan des trois corps,” Comptes Rendus
de l’AcadeΜ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. SimoΜ, “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
0
You can add this document to your study collection(s)
Sign in Available only to authorized usersYou can add this document to your saved list
Sign in Available only to authorized users(For complaints, use another form )