arxiv: v2 [math-ph] 12 Aug 2011

Transcription

1 Saari s homographic conjecture for planar equal-mass three-body problem under a strong force potential arxiv:07.78v [math-ph] Aug 0 Toshiaki Fujiwara, Hiroshi Fukuda, Hiroshi Ozaki 3 and Tetsuya Taniguchi 4,,4 College of Liberal Arts and Sciences, Kitasato University, -5- Kitasato, Sagamihara, Kanagawa 5-039, Japan 3 General Education Program Center, Tokai University, Shimizu Campus, 3-0-, Orido, Shimizu, Shizuoka , Japan fujiwara@kitasato-u.ac.jp, fukuda@kitasato-u.ac.jp, 3 ozaki@tokai-u.jp, 4 tetsuya@kitasato-u.ac.jp Abstract. Donald Saari conjectured that the N-body motion with constant configurational measure is a motion with fixed shape. Here, the configurational measure µ is a scale invariant product of the moment of inertia = k m k q k and the potential function U = i<j m im j / q i q j α, α > 0. Namely, µ = α/ U. We will show that this conjecture is true for planar equal-mass three-body problem under the strong force potential i<j / q i q j. PACS numbers: 45.0.D-, 45.0.Jj, Jf Submitted to: J. Phys. A: Math. Gen.

2 Saari s homographic conjecture. Saari s homographic conjecture n 969, Donald Saari conjectured that if a N-body system has a constant moment of inertia then the motion is a rotation with constant mutual distances r ij [8]. Here, the moment of inertia is defined by = k m k q k, with m k and q k being the masses and position vectors of body k =,, 3,... N. This is now called Saari s original conjecture. n the conference Saarifest 005 at Guanajuato Mexico, Richard Moeckel proved that the original conjecture is true for three-body problem in R d for any d [4, 5]. n the same conference, Saari extended his conjecture. His new conjecture is if the configurational measure α/ U is constant then the N-body motion is homographic [9, 0], where, U = m i m j r α i<j ij is the potential function. This is indeed a natural extension of the original conjecture. Note that a solution q k of N bodies is called homographic if the configuration formed by the N bodies moves in such a way as to remain similar to itself. For α, we can show that if the moment of inertia is constant then U is constant, therefore the configurational measure is also constant. For α =, on the other hand, = constant does not yields U = constant []. Actually, there are some counter examples for the original conjecture for α = [][7]. However, the extended conjecture is expected to be true for α = and all α > 0. Florin Diacu, Toshiaki Fujiwara, Ernesto Pérez-Chavela and Manuele Santoprete called this conjecture the Saari s homographic conjecture and partly proved this conjecture for some cases [3]. No one proved this conjecture completely, as far as we know. Obviously, Saari s conjecture is related to the motion in shape. Here, a shape is a configuration of N bodies up to rotation and scaling. To prove the Saari s original and homographic conjecture, it is important to find appropriate variables to describe motion in shape. The moment of inertia describes the motion in size, and the angular momentum C describes the rotation. What are the appropriate variables to describe the motion in shape? An answer was given by Richard Moeckel and Richard Montgomery [6]. They used the ratio of the Jacobi coordinate to describe the motion in shape for planar three-body problem. Let us explain precisely. To avoid non-essential complexity, let us consider equal masses case, and set m k = in this paper. We take the center of mass frame. So, we have q k = 0. 3 k n the three-body problem, we have two Jacobi coordinates, z = q q, 4 z = q 3 q + q = 3 q 3. 5

3 Saari s homographic conjecture 3 Since, we are considering planar motions, let us identify q k and z i with complex numbers. Then, we can define the ratio of the Jacobi coordinates, q 3 ζ = z = 3. 6 z q q Note that the variable ζ is invariant under the size change and rotation, q k λe iθ q k with λ, θ R. Therefore, ζ depends only on the shape. The great idea by Moeckel and Montgomery is to use the variable ζ to describe the shape. They actually write down the Lagrangian by the variable ζ, the moment of inertia and the rotation angle θ. They also write down the equations of motion for these variables. Using the formulation developed by Moeckel and Montgomery, we will show that the Saari s homographic conjecture is true for planar equal-mass three-body problem under the strong force potential, U = q i<j i q j. 7 Namely, we will show that dζ/dt = 0 if and only if U = constant. n the section, we derive the Lagrangian in terms of, θ and ζ by elementary calculations. The equations of motion and some useful relations are also shown in this section. Every relations in the section are valid for α 0. n the section 3, we concentrate on the strong force potential α =. We will prove the Saari s homographic conjecture for this case. Details in calculation are shown in Appendix A. n the Appendix B, some properties of the shape variable ζ, which may useful to understand this variable.. Lagrangian for planar equal-mass three-body problem in terms of shape, size and rotation angle n this section, we consider the planar equal-mass three-body problem under the potential function with m = m = m 3 = for α 0. Let K = k dq k/dt be twice of the kinetic energy, and let the Lagrangian and the total energy be L = K/ + U/α and E = K/ U/α, respectively. n the center of mass frame 3 all quantities ξ k = q k /q q are expressed by the shape variable in 6, as follows, ξ = q q q = ζ 3, 8 ξ = q q q = + ζ 3, 9 ξ 3 = q 3 = ζ. 0 q q 3 Obviously, the triangle made of q, q, q 3 is similar to the triangle made of ξ, ξ, ξ 3. Therefore, there are some 0 and θ R, such that ξ k q k = e iθ l ξ l. We treat, θ and ζ as independent dynamical variables.

4 Saari s homographic conjecture 4.. Lagrangian Then, direct calculations for K yields K = k θ + = 4 + ξ k l ξ l + i θ 3 ζ ζ ζ 3 ξ k l ξ l + d dt ξ k l ξ l ζ + 3 ζ. Here, the wedge product represents a + ib c + id = ad bc for a, b, c, d R, and the dot d/dt. On the other hand, the potential function U is α/ U = ξ α/ k ξ k i<j i ξ j α = α/ + α/ 3 ζ + ζ / α + ζ + / α. 3 Therefore, the configurational measure µ is a function of the shape variable ζ, µζ = α/ U = + α/ 3 ζ + ζ / α + ζ + / α.4 Thus, we get the Lagrangian L = 8 + θ + 3 ζ ζ ζ 6 ζ + 3 ζ + µζ, 5 αα/ in terms of, θ, ζ and their velocities. Or, identifying ζ = x + iy with x, y R to a two dimensional vector x = x, y, the Lagrangian is expressed as L = θ + x ẋ + + ẋ 3 x x + µx, 6 αα/ with x ẋ = xẏ yẋ and µx = + α/ 3 x + x / + y + α/ x + / + y. 7 α/.. Equation of motion for rotation angle Obviously, the variable θ is cyclic. angular momentum, θ + C = L θ = Then, the kinetic energy K/ is given by Therefore, we get the conservation law of the 3 x ẋ + = constant. 8 3 x K = 8 + C + ẋ x. 9 The three terms in the right hand side represent kinetic energies for the scale change, for the rotation and for the shape change.

5 Saari s homographic conjecture 5.3. Equation of motion for the moment of inertia The Euler-Lagrange equation for the moment of inertia, d L dt L = 0 0 yields Ï 4 = 8 + C + ẋ x = E + α Multiplying both side of the equation, we get This means Therefore, we get µx α/ U. µ α α/ α/ = E Ï. 4 3 µ d α dt d dt 6 α/ = d dt = d dt E 8 C ẋ + 3 x µ α α/. 5 ẋ + = α/ dµ 3 x α dt. 6 This relation was first derived by Saari [9]. We would like to call this Saari s relation. nspired by this relation, let us introduce new time variable s defined by ds = + 3 x dt. 7 Then, we have d dt = + d 3 x ds and the Saari s relation 6 is d ds 6 ds = α/ dµ α ds Equation of motion for the shape variables The Euler-Lagrange equation for x, d L L = 0, 30 dt ẋ 8

6 Saari s homographic conjecture 6 yields d dt 3/ + x /3 dt C 3 = C 3 / + x y, x /3 d / + x /3 dt y, x + C x 3 dt + 6 dt / + x /3 Using the time variable s, this equation of motion is d C 4 x x ds = 3 ds + 3 x nner product of /ds and d x/ds yields C 4 ds d x ds = 3 / + x /3 + α α/ µ. 3 dy ds, + 3 α/ µ ds α. 3 ds d x ds = 3 α/ α ds µ = 3 α/ dµ α ds. 33 This is nothing but the Saari s relation in 9. While, the wedge product of the same pair yields x ds + 3 α/ + ds α 3 x Every equations are valid for all α 0. We will use these expressions later. ds µ Proof of the Saari s homographic conjecture under the strong force potential n this section, we will prove the Saari s homographic conjecture for the case α =, namely, ζ = 0 if and only if µ = constant. Let us assume µ = µ 0 = constant. 35 Then, by the Saari s relation 9, we have ds = k 36 with constant k 0. f k = 0, then /ds = 0, namely ζ = 0. Let us examine the case k > 0. For this case, the point xs moves on the curve µx = µ 0 with constant speed /ds = k. This motion of xs is not able to keep µ/ = 0. Because, the points that satisfy µ/ = 0 are only five central configurations at x = ±3/, 0, 0, 0, 0, ± 3/. See figure. So, we can take some finite arc of the curve µx = µ 0 on which µ 0. 37

7 Saari s homographic conjecture Figure. Curves of µx, y = µ 0 for several µ 0. Then the equation 36 and yields ds µ = dµ ds = 0 38 ds = ɛk µ µ/ y, µ. 39 Here, ɛ = ± determines the direction of the motion on the curve µ = µ 0. Differentiate this expression by s again, we have d x ds = ɛk d µ µ/ ds y, µ + µ y, µ d ɛk. 40 ds µ/ Therefore, we get ds d x ds k = µ/ µ y, µ µ ɛk 3 µ = µ/ 3 y d µ ds µ y, µ µ y µ y + µ Therefore, the curvature ρ of the curve µ = µ 0 should be µ ρ ɛ µ = µ/ 3 y µ µ µ y y + µ y. 4 µ µ y.4 On the other hand, by the relation 34 which is a result of the equation of motion and the expression for the velocity 39, we have another expression for the curvature ρ = / + x C /3 k + 4ɛ 3 µ/ x µ 3ɛ µ k. 43

8 Saari s homographic conjecture 8 Our plan to exclude the case k > 0 is the following. Since /ds = k = constant, the parameter s is proportional to the arc length of the curve xs on µ = µ 0. Therefore, if k > 0 there must be finite arc, on which the curvature 4 coincides with 43. We call such arc non-saari arc. n the following, we will show that non-saari arc does not exist. Namely, k > 0 is impossible. Let us examine the condition for the two curvature have the same value. The condition is µ µ µ/ 3 y µ µ µ µ y y + µ y Therefore, 4C k N µ 6 = / + x /3 µ µ y = 0. µ ɛc k µ/ x µ µ y µ y + 3 k µ. 44 µ µ y 4 3N x µ µ + 3 k µ 4 Where, N = / + x /3 and µ = µ/. The left hand side is a ratio of polynomials of x, y, C and k. Let the numerator of this ratio be a polynomial P x, y, C, k, then x, y must satisfy the following equation, P x, y, C, k = The maximum power of the variables for P are x 60, y 60, C and k 4. On the other hand, the equation µ = µ 0 is also a ratio of polynomials of x, y and µ 0. Let the numerator of this ratio be a polynomial Q, then we have the following equation Qx, y, µ 0 = x y + 08y y x y + 4x y + 48y 4 6µ 0 6x 4 + 8x + 4y + + 4y = The non-saari arc must satisfy both P = 0 and Q = 0 for some value of parameters C, k and µ 0. There is no finite arc with x = x 0 = fixed and µ = µ 0. Because, for x = x 0, Q = 0 is a polynomial of y of order y 6 with the coefficient of y 6 being Therefore, solutions of y for Q = 0 are discrete. Thus, any finite arc must have some finite interval x x x. There is no finite interval x x x that every x in this interval satisfy P = Q = 0. To show this, we eliminate y from P x, y = Qx, y = 0 to get new polynomial Rx = 0. This polynomial turns out to be order x 68, R = A x 8 4x 6 c n C, k, µ 0 x n n 4 Where, A is a big integer. To have continuous solution of x for R = 0, the polynomial R must be identically equal to zero. Namely, all coefficients c n, n = 0,,,..., 4 must be zero. Therefore, we have 5 conditions for only three parameters C, k and µ 0. Actually, there are no parameters to make all 5 coefficients vanish. See Appendix 45

9 Saari s homographic conjecture 9 A for detail. Therefore, there is no finite interval of x on which P = Q = 0 is satisfied. Thus k > 0 case is excluded. Therefore, we have proved that if µ = constant, then ζ = 0, namely the threebody keep its shape of the triangle being similar. nversely, if ζ = 0, then obviously µζ is constant. This completes a proof for the Saari s homographic conjecture for the case α = planar equal-mass three-body problem. Acknowledgments The authors thank Richard Moeckel and Richard Montgomery for sending us their preprint on the shape variable and the Lagrangian. This research of one of the author T. Fujiwara has been supported by Grand-in-Aid for Scientific Research JSPS. Appendix A. Details in calculation n this Appendix, details in calculation are shown. The following calculations were performed using Mathematica To eliminate the variable y from the equation P = Q = 0, we calculate the resultant of P and Q with respect to y, R = Resultant[P, Q, y ]. A. n the actual calculations, we replaced y with Y and calculated Resultant[P, Q, Y ], because Mathematica doesn t accept y as a variable. Then, the coefficients c n, n = 0,,,..., 4 in the equation 48 are polynomials of C, k and µ 0. To eliminate k from the equation c 4 = c 3 = 0, we again calculate the resultant of c 4 and c 3 with respect to k, d = Resultant[c 4, c 3, k ] = D µ 6 0µ 0 3 µ 0 3µ 0 C + µ 0 µ 0 C, A. with a big integer D. The configurational measure µ is not smaller than 3, µ = rij 3 r 3 rr 3r /3 /3 3 i<j i<j ij r = 3. A.3 r 3 r 3 Therefore, µ 0 3. Then, d = 0 yields C = 0. For C = 0, the resultant of c 4 and c with respect to k is d = Resultant[c 4, c, k ] = D µ 0 µ 0 4 µ A.4 Where, D is another big integer. Therefore, it is impossible to make c 4 = c 3 = c = 0 simultaniously. This completes a proof that there is no parameter C, k and µ 0 to make R = 0 identically. Appendix B. Properties of the shape variable n this appendix, some properties of the shape variable ζ is shown.

10 Saari s homographic conjecture 0 Figure B. The definition of shape variable ζ. A transformation keeping similarity and the orientation transforms the triangle q q q 3 to the triangle abζ with a = /, b = /. Appendix B.. Geometrical interpretation of the shape variable According to the work of Moeckel and Montgomery [6], we defined the shape variable ζ as the ratio of the Jacobi coordinates, in the section. Here, we give a geometrical interpretation of this definition. For given triangle q q q 3, we can transform the points q a = / and q b = / keeping the similarity and the orientation of the triangle. The points a and b are fixed. Let ζ be the image of q 3 by this transformation. So, the triangles q q q 3 and abζ are similar and have same orientation. See figure B. t is clear that the variable ζ describe the shape of the triangle q q q 3. This gives an alternative definition of the shape variable ζ. The center of mass of the triangle abζ is ζ/3. To make the center of mass being fixed to the origin, we subtract ζ/3 from the three vertices. Thus, we have three vertices ξ = / ζ/3, ξ = / ζ/3 and ξ 3 = ζ/3. These are the equations 8 0. Appendix B.. Contribution to the angular momentum of the shape change The motion in ζ contributes to a size change and the angular momentum as well as shape change. To eliminate the contribution to the size change, we normalized ξ k by the size l ξ l. Let us write the normalized variable η k, η k = ξ k l ξ l. B. Then, η k have unit size, therefore, have no contribution to the size change. The variables η k still contribute to the angular momentum. The equation 8 describes that the total angular momentum is the sum of the angular momentum of the rotation angle θ and the angular momentum of the shape change k η k η k. We can subtract the angular momentum from η k. The result is the variable Q k, k =,, 3 introduced by Diacu et al. They defined Q k as follows, Q k t = exp i t 0 Cdt qk. B. They showed that Q k satisfy k Q k = 0, k Q k = and k Q k Q k = 0 [3]. Namely, the variables Q k have unit size and no rotation vanishing angular momentum. They used this variables Q k to analyze the shape change. To have a expression for Q k by ζ, let us write the relation between ζ and q k. ntegrating the equation 8, we get the expression for θt, θt = t 0 Cdt + θ0 3 t 0 ζ ζdt +. B.3 3 ζ

11 Saari s homographic conjecture Substituting this expression to the equation, we get the relation, q k = t Cdt exp i + iθ0 i t ζ ζdt ξ k, B.4 3 ζ + 3 ζ with the equations 8 0 for ξ k. Now, we can express Q k by ζ, Q k = exp iθ0 i t ζ ζdt ξ k. B.5 3 ζ + 3 ζ Note that the mutual relations between q k t, Q k t and ζt are not local in time. For example, the variable Q k t depend on the history of ζt with t t 0. Appendix B.3. Energy for the shape change The term energy for the shape change should be treated carefully. n the equation 9, it is natural to understand the therm /8 be the energy for the size change and C / be the energy for the rotaion. The last term should be the energy for the shape change. This is not the kinetic energy of η k, / k η k. Because this term contains the rotation energy / k η k η k, which is counted in the energy for the rotation C /. n the equation, the energy for the shape change is naturally defined by the kinetic energy minus the rotation energy, η k η k η k = ζ ζ. k k One may be convinced of this result by knowing that this is equal to / k Q k, the kinetic energy for Q k which have unit size and no rotation. To see this, an alternative expression for B.5 t Q k = exp iθ0 i η l η l dt B.6 will be useful. References 0 l [] Alain Chenciner, ntroduction to the N-body problem, Preprint [] Alain Chenciner, Some facts and more questions about the Eight, Topological Methods, Variational Methods and Their Applications, Proc. CM Satellite Conf. on Nonlinear Functional Analysis Taiyuan, China, 48 August 00 Singapore: World Scientific pp 77-88, 003 [3] Florin Diacu, Toshiaki Fujiwara, Ernesto Pérez-Chavela and Manuele Santoprete, Saari s homographic conjecture of the three-body problem, Transactions of the American Mathematical Society, 360,, , 008. [4] Richard Moeckel, A computer assisted proof of Saari s conjecture for the planar three-body problem, Transactions of the American Mathematical Society 357, , 005. [5] Richard Moeckel, Saari s conjecture in R 4, Presentation at Saarifest 005, April 7, 005, Guanajuato, Mexio. [6] Richard Moeckel and Richard Montgomery, Lagrangian reduction, regularization and blow-up of the planar three-body problem, preprint, 007. [7] Gareth E. Roberts, Some counterexamples to a generalized Saaris conjecture, Transactions of the American Mathematical Society, 358, 5 65, 006. η k

12 Saari s homographic conjecture [8] Donald Saari, On bounded solutions of the n-body problem, Periodic Orbits, Stability and Resonances, G.E.O., Giacaglia Ed., D. Riedel, Dordrecht, 76 8, 970. [9] Donald Saari, Collisions, rings, and other Newtonian N-body problems, American Mathematical Society, Rigional Conference Series in Mathematics, No. 04, Providence, R, 005. [0] Donald Saari, Some ideas about the future of Celestial Mechanics, Presentation at Saarifest 005, April 8, 005, Guanajuato, Mexio.