arxiv: v1 [math-ph] 13 Aug 2014

Transcription

1 Periodic Solutions for N-Body-Type Problems Fengying Li 1 Shiqing Zhang 1 School of Economic and Mathematics,Southwestern University of Finance and Economics, arxiv:148.31v1 [math-ph] 13 Aug 14 Chengdu, Sichuan, 61113, P.R.China. Department of Mathematics, Sichuan University, Chengdu, Sichuan, 6164, P.R.China. Abstract We consider non-autonomous N-body-type problems with strong force type potentials at the origin and sub-quadratic growth at infinity, and using Ljusternik- Schnirelmann theory, we prove the existence of unbounded sequences of critical values for the Lagrangian action corresponding to non-collision periodic solutions. Keywords: Periodic solutions, N-body type problems, variational methods. Mathematical Subject Classification: 34C15, 34C5, 58F,7F7. 1 Introduction and Main Result In the 1975 paper of Gordon ([13]), we find the first prominent use of variational methods in the study of periodic solutions of Newtonian equations with singular potential V(t,x) C 1 ([,T] (R n \S),R) : ẍ+v (t,x) =, x R n x(t+t) = x(t), (1.1) where V(t+T, x) = V(t, x) satisfies the following Gordon s strong-force(sf) condition: that There exists a neighborhood N of the set S and a C function U on N S such lify38@163.com zhangshiqing@msn.com 1

2 (i) U(x) as x S, (ii) V(t,x) U(x), x N\S. Using variational minimizing methods,gordon proved the following theorem: Theorem 1.1. (Gordon) Under the above conditions and (V 1 ): V(t,x) <,x, we have that there exist periodic solutions which tie (wind around) S and have arbitrary given topological (homotopy) type and given period. Ambrosetti-CotiZelati ([1],[]) used Morse theory to generalize Gordon s result and obtained the following theorem: Theorem 1.. Assume V C ([,T] R n,r),v(t+t,x) = V(t,x) satisfies Gordon s strong force condition and (V i ): V(t,x), V x (t,x) uniformly for all t as x, and R 1 > s.t. V(t,x) <, x R 1, then (1.1) has infinitely many T-periodic solutions. Motivated by Gordon ([13]) and Ambrosetti-Coti Zelati ([1],[]), Jiang M. Y. ([15]) continues the application of Morse theory to arrive at his theorem which improves the condition (V i ): Theorem 1.3. Let Ω be an open subset in R n with compact complement C = R n \Ω, n. Assume V C ([,π] Ω,R), V(t+π,x) = V(t,x), and (A 1 ). R such that sup{ V(t,x) + V x(t,x) (t,x) [,π] (R n \B R )} < + (A ). V satisfies Gordon s strong force condition. Then (1.1) has infinitely many π-periodic solutions.

3 Using Ljusternik-Schnirelman theory, Majer[16] got the following result which improves the condition (A 1 ): Theorem 1.4. Assume W C 1 ([,T] (R N \),R) satisfies (i). W(t+T,x) = W(t,x). (ii). c R,θ <,r >, such that W(t,x) c x θ, W (t,x)x W(t,x) c x θ, x > r, t >. (iii). If a < ( π T ) Then has infinitely many T-periodic solutions. ü+au+w (t,u) = For 3-body type problem, Bahri-Rabinowitz ([3]) used Morse theory to prove: Theorem 1.5. (Bahri-Rabinowitz) Let V(q) = 1 satisfies (V 1 ). V ij C (R l \{},R). (V ). V ij <. (V 3 ). V ij (q), V ij (q) as q. (V 4 ). V ij (q) as q. (V 5 ). For M >, R >, s.t. 1 i j 3 V ij(q) q > M V ij (q), q > R. V ij (q i q j ). Assume V ij (V 6 ). U ij C 1 (R l \{},R), s.t. U ij (q) as q, and V ij U ij. Then for any given T >, has infinitely many T-periodic noncollision solutions. q i + V(q) q i = (1.) 3

4 We say that a function X(t) = (x 1 (t),,x N (t)) C (R,(R k ) N ) is a non-collision T-periodic solution of (1.) if X(t) satisfies x i (t) x j (t) for all i j and t R,and satisfies the equation (1.) and is indeed T periodic. Majer-Terracini ([17]) generalized the result of Bahri-Rabinowitz to n-body type problems: ẍ i (t)+ xi V(t,x 1 (t),,x N (t)) =, x i (t) R k, i = 1,,N. (1.3) They proved the following theorem: Theorem 1.6. Assume k 3, and V ij C 1 ((R k \) R,R) are T-periodic in t, V satisfies (V 1 ). V ij (t,x) = V ji (t, x), x R k \{}. (V ). V ij (t,x), x R k \{}. (V 3 ). V ij (t,ξ) uniformly in t as ξ, for all 1 i j N, and V ij satisfies Gordon s strong force condition. (V 4 ). ρ >, θ [, ) π s.t. any ( Vij (t,x),x) θ, x, x > ρ. Then (1.3) has at least one T-periodic non-collision solution. For symmetrical potentials,fadell-husseini[11],zhang-zhou[5] proved that Theorem 1.7. We assume V ij satisfies the following conditions: (V1). V(t,x) = 1 V ij (t,x i x j ). 1 i j N (V). V ij C 1 (R (R k {});R), for all 1 i j N. (V3). V ij (t,ξ) uniformly in t as ξ, for all 1 i j N. (V4). V ij (t,ξ),1 i j N,ξ. (V5). the strong force condition (see [13]) holds for V ij. (V6). V ij (t+t/, ξ) = V ij (t,ξ). Then there exist unbounded sequences of critical values for the Lagrangian action corresponding to non-collision periodic solutions for (1.3). 4

5 In this paper, we consider a relaxation of condition (V4) which required the potentials to be non-positive, but still maintain the potentials have some growth so that the result in Theorem 1.7 still holds. We use Majer s abstract critical point theorem to study the N-body-type problem. The key difficulty is in proving the local Palais-Smale condition, but we are able to secure the following: Theorem 1.8. Assume V ij satisfies (V1) (V3),(V5),(V6) and (V4) g >, θ <,r >, s.t. V ij (t,ξ) g m j ξ θ, ξ > r. Then there exist unbounded sequences of critical values for the Lagrangian action corresponding to non-collision periodic solutions for (1.3). Notice that the condition (V4) in our theorem 1.8 is a kind of growth condition which weak the ordinary condition on potentials which need non-positive,we have the following Corollary: Corollary 1.9. Let α ;r 1 >,r > r 1 ;a,g >,θ < and V(t,x) = 1 V ij (x i x j ). 1 i j N V ij (ξ) C 1 (R k {},R) satisfies that V ij (ξ) = a m j ξ α, ξ < r 1 ; V ij (ξ) = g m j ξ θ, ξ r > r 1. Then the assumptions and the result of Theorem 1.8 holds. We also notice that for Newtonian type potentials,there were a deep and lively literature; for example, [4], [6]-[1], [1]-[13], [18]-[4]. Some Lemmas We introduce spaces E = {(x 1,,x N ) x i H 1 (R/TZ;R k ),x i (t+t/) = x i (t)}, 5

6 = {(x 1,,x N ) x i H 1 (R/TZ;R k ),x i (t) x j (t), t,i j}, where H 1 (R/TZ;R k ) is the metric completion of smooth T-periodic functions for the ( 1/, norm x H 1 = x(t) + ẋ(t) dt) and the functional f : R is defined by f(x 1,,x N ) = ẋ i (t) dt V(t,x 1 (t),,x N (t))dt. Clearly, E is a closed subspace of H 1 (R/TZ;(R k ) N ), and so a Hilbert space, while is an open subset of E. Using a standard argument (for instance, see [5]), it is easy to prove the following Lemma.1: Lemma.1. Suppose (V1) (V) and (V6) hold, then a critical point of f in is a non-collision solution of (1.3). The closed subset Γ = E of E will be called the collision set, and a standard argument can be applied to show that the strong force assumption (V3) implies that f(x) + when X approaches the collision set Γ. More precisely, we have the following lemma. Lemma.. ([13][5]) Assume V satisfies (V1)-(V3) and (V5). Let {X n } be a sequence in and X n X Γ in both the C topology and weak topology of E, then f(x n ) +. Lemma.3. Assume V satisfies (V1) (V3),(V4),(V5) and (V6), then there is a constant λ depending on g,,r,θ, s.t. f satisfies the (PS) c condition for c λ ; that is, any sequence {x k } satisfying f(x k ) c and f (x k ) is pre-compact in H 1. Proof. We notice that the arguments in Jiang [15] (also Chang K.C.[5]) and Majer [16] cannot be directly generalized to the N-body case because of the translation invariance for positions in N-body problems. Here we must consider the differences and must use different arguments. By Holder s inequality, we have m j x i x j θ ( m j ) ( θ)/ ( m j x i x j ) θ i<j i<j i<j 6

7 Calculating, m j x i x j = 1 i<j = m j x i x j 1 i,j N N x i ( x i ) N x i and f(x k ) = f(x k 1,,x k N) = ẋ k i(t) dt V(t,x k 1(t),,x k N(t))dt. Let ξ k ij (t) = xk i (t) xk j (t) We consider the three possibilities: (i). For all 1 i,j N and for all t [,T], ξ k ij(t) > r when k is large, then by (V4) and the above inequality, we have m T i ẋ k i (t) dt V(t,x k 1 (t),,xk N (t))dt ẋ k i(t) dt g( i<j m j ) ( θ)/ [ ] θ [ x k i ] θ dt. Since x k (t+t/) = x k (t) implies xk (t)dt =, by the Wirtinger s inequality and f(x k ) c d, we get d ẋ k i(t) dt g[ i<j m j ] ( θ)/ [ ] θ [ T π ]θ [ ẋ k i ] θ dt. By the assumption (V4), we know that θ <, hence we have e > such that ẋ k i (t) dt e. (ii). There are 1 i,j N such that for all t [,T], there holds ξ k i j (t) r when k is large, then by Lemma. and (V), we have a > and < b < + such that for all t [,T], a V i j (t,ξ k i j (t)) c m j ξ k i j (t) θ b 7

8 Then for the rest index pairs (i,j) and the corresponding potentials, we can use the above arguments of (i) and notice that we can add some negative terms to estimate the lower bound for the sum of all the potentials satisfying ξ k ij(t) > r : g( i<j m j ) ( θ)/ [ N ] θ [ x k i ] θ. Now we can consider all cases for the index pairs. We have V(t,x k 1 (t),,xk N (t)) N N ( b) g( i<j m j ) ( θ)/ [ N ] θ [ x k i ] θ. Then taking the integral and using a similar argument as in (i), we can also get e 1 > such that ẋ k i (t) dt e 1. (iii). There are 1 i,j N,t 1 [,T] and t [,T] such that ξ k i j (t 1 ) > r, ξ k i j (t ) r when k is large. Then V(t 1,x k 1 (t 1),,x k N (t 1)) g( i<j m j ) ( θ)/ [ Hence for all t [,T], we have N ] θ [ x k i (t 1) ] θ, V(t,x k 1(t ),,x k N(t )) b. V(t,x k 1 (t),,xk N (t)) b g( N m j ) ( θ)/ [ ] θ [ x k i (t) ] θ. i<j Again, after taking the integral, we can find e > such that In all cases, we get the bounded property for ẋ k i (t) dt e. ẋ k i(t) dt. This implies { x k} has a weakly convergent subsequence. To prove the trongly convergent property is more or less standard. 8

9 The following is an abstract critical point theorem which we will use in the proof of our main result. A proof of this theorem can be found in Majer[16]. Lemma.4. Let be an open subset in a Banach space and let Cat( ) denote the category of. Suppose f is a functional on. Assume that 1. Cat = +,. For any sequence {q n } and q n q, we will have f(q n ) +, 3. For any K R,Cat ({q f(q) K}) < +, and 4. There exists a λ R such that the Palais-Smale condition holds on the set {q f(q) λ }. Then f possesses an unbounded sequence of critical values. Fadell-Husseini [11] and Zhang-Zhou [5] proved: Lemma.5. If refers to the open subset defined in our proof of Theorem 1.8, then Cat( ) = +. We notice that we can use the similar methods as in Lemma.3 to prove Lemma.6. For any K R such that f(q) K, there is A such that Zhang-Zhou [5] gave: ẋ i (t) dt A. Lemma.7. For any constant K, the set D K = {X Ẋ L K} is of finite category in, i.e., Cat (D k ) < +. have By the monotone property of category and using Lemma.6 and Lemma.7, we Lemma.8. For any K R,Cat ({q f(q) K}) < +. The proof of Theorem 1.8 now follows by Lemmas.1-.5 and Lemma.8. 9

10 References [1] Ambrosetti,A.,Coti Zelati,V., Critical points with lack of copactness and applications to singular dynamical system., Ann. Mat. Pura Appl. 149(1987), [] Ambrosetti, A., Coti Zelati V., Periodic solutions of singular Lagrangian systems, Birk häuser, Boston, [3] Bahri A., Rabinowitz P., Periodic solutions of Hamiltonian systems of three body type, Ann. IHP. Nonlineaire 8(1991), [4] Bessi,U., Coti Zelati, V., Symmetries and noncollision closed orbits for planar N-body type problems, Nonlinear Analysis, 16(1991), [5] Chang K. C., Infinite dimensional Morse theory and multiple solution problems, Birkhäuser, 1993,3-9. [6] Chen, K-C., Variational methods on periodic and quasi-periodic solutions for the N-body problems, Ergodic Theory and Dynamical Systems 3(3), [7] Chenciner A.,Montgomery R., A remarkable periodic solution of the three body problen the case of equal masses, Annals of Math. 15(), [8] Chenciner A., Action minimizing solutions of the Newtonian n-body problem: From homology to symmetry, ICM, Vol.3, 79-94, Vol.1, [9] Coti Zelati, V., The periodic solutions of N-body-type problems, Ann. Inst. H. Poincare Analyse non Lineaire, 7(199), [1] Degiovanni, M. and Giannoni, F., Dynamical systems with Newtonian type potentials, Ann. Scuola Norm. Sup. Pisa., 15(1989), [11] Fadell, E., Husseini, S., Periodic solutions for N-body problems, Ann. Inst. H. Poincare Analyse non Lineaire,9(199), [1] Ferrario D., Terracini, S., On the existence of collisionless equivariant minimizers for the classical n-body problem, Invention Math. 155(4), [13] Gordon, W. B., Conservative dynamical systenvolving strong forces, Trans. Amer. Math. Soc., 4(1975),

11 [14] Gordon, W., A minimizing property of Keplerian orbits, Amer. J. Math., 5(1977), [15] Jiang M. Y., A remark on periodic solutions of singular Hamiltonian systems, Acta Math. Sinica.35 (199), [16] Majer, P., Ljusternik-Schnirelmann theory with local Palais-Smale conditions and singular dynamical systems, Ann. Inst. H. Poincare Analyse non Lineaire, 8(1991), [17] Majer P.,Terracini S., Periodic solutions to some problems of n-body type, Arch. Rational Mech. Anal. 14(1993), [18] Marchal C., How the method of minimization of action avoids singularities, Cel. Mech. and Dyn. Astronomy 83(), [19] Moore, C., Braids in classical gravity, Physical Review Letters 7(1993), [] Simo, C., Dynamical properties of the figure eight solution of the three-body problem, Contemp. Math. 9, AMS Providence, RI,, 9-8. [1] Simo, C., New families of solutions in N-body problems, Progress in Math. 1(1), [] Venturelli, A., Une caracterisation variationnelle des solutions de Lagrange du probleme plan des trois corps, C.R.Acad. Sci. Paris 33(1), [3] Zhang S.Q., Zhou Q., A minimizing property of Lagrangian solutions, Acta Math. Sinical 17(1), [4] Zhang S.Q.,Zhou Q., Variational methods for the choreography solution to the three-body problem, Science in China 45(), [5] Zhang S.Q., Zhou Q., Symmetric periodic noncollision solutions for N-body-type problems, Acta Math. Sinica, New Series 11(1995),