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