arxiv: v1 [math.ap] 29 Oct 2011

Transcription

1 EXISTENCE OF POSITIVE SOLUTIONS TO A SEMI-LINEAR ELLIPTIC SYSTEM WITH A SMALL ENERGY/CHARGE RATIO GARRISI DANIELE arxiv: v1 [math.ap] 29 Oct 2011 Abstract. We prove the existence of positive solutions to a system of k non-linear elliptic equations corresponding to standingwave k-uples solutions to a system of non-linear Klein-Gordon equations. Our solutions are characterised by a small energy/charge ratio, appropriately defined. Introduction Given the real numbers 0 < m 1 m 2 m k, we show the existence of solutions to the non-linear elliptic system (E) u j +(m 2 j ω 2 j)u j + zj G(u) = 0, 1 j k u j > 0, u j H 1 r( ) which are critical points of the energy functional (u,ω) 1 2 on the constraint E: H Σ R, Du j 2 +(m 2 j +ω2 j )u2 j +2k 1 G(u) M σ := {(u,ω) H Σ C j (u,ω) = σ j } C j (u,ω) = ω j u 2 j for some σ (0,+ ) k. We used the notation We also define H := H 1 (,R k ), Σ := [0,+ ) k. H r := H 1 r (Rn,R k ), M r σ := M σ H r Date: August 2, Mathematics Subject Classification. 35A15, 35J50, 37K40. Key words and phrases. elliptic system, unbounded, standing waves, nemytski, soliton. This work was supported by Priority Research Centers Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant ).

2 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 2, by definition, u H 1 r(,r k ) if u H 1 (,R k ) and u j (x) = u j (y) if x = y, a.e. for every 1 j k. On the Hilbert spaces H and H r, we consider the norm induced by the scalar product (u,v) H := (u j,v j ) H 1. Solutions to (E) with the variational characterisation above are interesting by several means: critical points of E over M σ correspond to standing-wave k-uples solutions to the system of non-linear Klein- Gordon equations (k-nlkg) through the map tt u j x u j +m 2 ju j + zj G(u) = 0, 1 j k (1) (u,ω) (e iω 1t u 1 (x),...,e iω kt u k (x)). Secondly, if we denote H 1 (,C k ) L 2 (,C k ) by X, on solutions to (k-nlkg) the quantities (Energy) (φ,φ t ) 1 2 (Charges) E: X R, Dφ 2 + φ t C j : X R, (φ,φ t ) Im φ j φ j t. ( m 2 j φ 2 j +2k 1 G(φ) ) are constant (under the assumption G(u) = G( u 1,..., u k )) and E(u,ω) = E(u 1,...,u k, iω 1 u 1,..., iω k u k ) C(u,ω) = C(u 1,...,u k, iω 1 u 1,..., iω k u k ). Such equalities turned out to be crucial to prove the orbital stability of standing-wave solutions to the scalar NLKG in [2], and to a coupled NLKG in [8]. Finally, according to [3], solutions v to the scalar NLKG with initial datum Φ X such that the energy/charge ratio Λ(Φ) := E(Φ) mc(φ) < 1 have a non-dispersive property. We do not address in this work the orbital stability or dispersion. We use the notation m := m 1, H r := H r \0, Σ := Σ\0

3 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 3 and assume that G is continuously differentiable and (A 0 ) G(z) = G( z 1,..., z k ); (A 1 ) F(z) := G(z)+ 1 2 m 2 jzj 2 0, G(0) = 0; (A 2 ) DG(z) c( z p 1 + z q 1 ), 2 < p q < 2n n 2 ; F(z) (A 3 ) α := inf < m2 z Σ z 2 2 ; for every 1 j k F(z) (A 4 ) α j := inf > α. zh 2 0 h j z2 h h j Under the assumptions above, we can prove the following Theorem (Main). There exists an open subset Ω (0,+ ) k such that the infimum of E is achieved on M r σ for every σ Ω. The technique we use is similar to the one adopted in [4] in the scalar case k = 1. Therein it is showed that if a minimising sequence (u n,ω n ) for E over M r σ is such that ω n ω < m, then a subsequence of (u n ) converges on H 1. The existence of such sequences is provided by the inequality (2) inf Λ < inf Λ Hr Σ Hr Σ m Λ(u,ω) := E(u,ω) C(u, ω) and Σ m = Σ {z m}. In higher dimension, Σ m should be replaced by k Σ m := Σ m j Σ m j = {z Σ z j m j }. A direct attempt to prove the inequality (2) lead to minimise Λ(u, ) over the set Σ m, whose boundary consists of 3k 1 pieces each of them leading to a different condition on the non-linear term F. We believe that all these conditions include (A 4 ). So, rather than proving (2), we show in Lemma Coercive that when Λ(u n,ω n ) converges to its infimum, each component of ω n converges to 2α < m.

4 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 4 1. Properties of the functional E We recall some properties of the functional E. We include the proof of them only for the sake of completeness, as they are similar to the scalar case [2]. Proposition 1. Suppose that G fullfils the assumptions (A 1 ) and (A 2 ). Then, E is continuously differentiable; if σ (0,+ ) k, then E is coercive on M σ. Proof. The continuity and the differentiability of E follows from analogous techniques used in theorems on bounded domains as [1, Theorem 2.2 and 2.6, p.16,17]. For a detailed proof we also refer to [8, Proposition 2]. Let (u,ω) M σ and set E = E(u,ω). By (A 2 ), we have (3) ω i 2E σ i, Du 2 L 2 2E. By (A 2 ) there exists ε > 0 such that (4) F(u) m 2 u 2 /4, if u ε. We have E From (4), it follows that u ε F(u)+ u <ε (5) u 2 L 2 ( u <ε) 4E/m2. F(u). On the other hand, by the Sobolev inequality u 2 =ε ε 2 2 u 2 ε (6) u ε u ε c 2 ε 2 2 Du 2 L 2 u ε u 2 c is the constant in the proof of [6, Théorème IX.9,p.165]. From (5) and (6) u 2 L 4E ε 2 m 2 +2c2 2 2 E. Along with (3), we obtained that the sub-levels of E are bounded, then E is coercive. Hereafter, we assume that σ j > 0 for every 1 j k. Proposition 2. Let (u n,ω n ) M r σ be a Palais-Smale sequence and ω n ω such that ω i < m i. Then (u n ) has a converging subsequence. Proof. By Proposition 1, (u n ) is bounded. Thus, by [5, Theorem A.I ], we can suppose that (7) u j n u j in H 1 r, u j n u j in L p L q

5 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 5 for every 1 j k. Because (u n,ω n ) is a Palais-Smale sequence, there are (λ n ) R, (v n,η n ) H r Rk such that (8) DE(u n,ω n ) = λ j n DC j(u n,ω n )+(v n,η n ), (v n,η n ) 0. We multiply (8) by (0,e j ) {0} R k and obtain whence ω j n uj n 2 L 2 = λj n uj n 2 L 2 +ηj n (9) λ j n = ωj n ηj nω j n σ j. We multiply (8) by (φ,0) H r {0} and obtain (Du j n,dφ j) L 2 +m 2 j (uj n,φ j) L 2 + DG(u n ) φ + (ωn j )2 (u j n,φ j) L 2 2 which, by (9), becomes λ j n ωj n (uj n,φ j) L 2 = (v n,φ) H (10) (Du j n,dφ j) L 2 +m 2 j (uj n,φ j) L 2 + DG(u n ) φ (ωn j )2 (u j n,φ j) L 2 = (v n,φ) H 2 From (A 1 ), (10) can be written as (11) (Du j n,dφ j) L 2 +(m 2 j ω2 j )(uj n,φ j) L 2 =(v n,φ) H βn j (uj n,φ j) L 2 (DG(u n ) DG(u)) (u n u) ) (12) βn j := (ω 2j (ω jn) 2 2ηj n (ωj n )2 0, 1 j k. σ j η j n (ωj n )2 σ j (u j n,φ j) L 2.

6 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 6 Given a pair of integers (n,m), taking the difference of the equations, (11 n ) and (11 m ) with φ = u n u m, we obtain Du j n Duj m 2 L 2 +(m2 j ω2 j +βj n +βj m ) uj n uj m 2 L 2 (13) =(v n v m,u n u m ) H ( ) DG(u n ) DG(u m ) (u n u m ). Thus from the assumption ω j < m j and (12), there exists c 0 > 0 such that ( u n u m 2 H c 0 Du j n Du j m 2 L 2 (14) ) +(m 2 j ωj 2 +βn j +βm) u j j n u j m 2 L 2 and (15) (v n v m,u n u m ) H u n u m H (γ n +γ m ) (16) γ n := v n H 0. We have ( ) DG(u n ) DG(u m ) (u n u m ) ( ) u j n u j m L p + u j n u j m L q it is convenient to estimate each of the two summand of the inequality above as follows: by [6, Corollaire IX.10,p. 165] (17) u j n uj m L p = uj n uj m 1/2 L p uj n uj m 1/2 L p u j n uj m 1/2 L p uj n uj m 1/2 H 1 δn,m p uj n uj m 1/2 H 1 δn,m p := max 1 j k uj n u j m 1/2 L p is infinitesimal by (7). By the Hölder inequality, we have u j n uj m 1/2 H k 4/3 u 1 n u m 1/4 H whence (18) ( ) DG(u n ) DG(u m ) k 4/3 (δ p n,m +δq n,m ) u n u m 1/4 H. (u n u m )

7 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 7 Now, putting together (14,15, 18) we obtain (c 0 ) 1 u n u m 7/8 H c 1(γ n +γ m )+δ n +δ m c 1 = sup n,m ( ) 3/4 u j n uj m 2 H. 1 Then each of (u j n ) is a Cauchy sequence in H1 for every 1 j k, thus converges to v j H 1. From (7), v j = u j, thus u n u in H r. 2. Properties of Λ We define the following energy/charge ratio Λ(u,ω) := E(u, ω) k C j(u,ω) and introduce the notation a(u) := 1 Du 2 + F(u), b j (u) := u 2 j 2. If we fix u H, we have the smooth function defined on Σ Λ(u, ): Σ R, ω Λ(u,ω) = 1 2 2a(u)+ k b j(u)ω 2 j k b j(u)ω j It is not hard to check, arguing by induction on k, that the following properties hold for Λ(u, ): (i) is non-negative and achieves its infimum in a (unique) interior point lying on the principal diagonal. We denote this point by ω(u) and each of its components by ξ(u); (ii) there holds Λ(u,ω(u)) = ξ(u), ξ(u) 2 = Proposition 3. inf H ξ = 2α. 2a(u) k b j(u). Proof. That the right member is not greater than the left one, follows from the definition of α. In fact, ξ(u) 2 Du +2 R 2 F(u) Du +2α = n R R 2 u 2 n k b n 2α, j(u) u R 2 n in the last inequality we neglected the gradient terms. In order to prove the opposite inequality, we define z if x R u R (x) = (1+R x )z if R x R+1 0 if x R+1.

8 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 8 z Σ is an arbitrarypoint and R > 0. We compute its gradient Du j R (x) = 0 if x R or x R+1 z jx otherwise. x By standard computations, we have u j R 2 L 2 = µ(b 1) z 2 j +O( 1 ) F(u R ) = µ(b 1 ) F(z)+O( 1 ), Du j R 2 L 2 = O(Rn 2 ), B 1 is the unit ball of and µ(b 1 ) is its Lebesgue measure. Then, ξ(u R ) 2 = 2µ(B 1) F(z)+o( ) µ(b 1 ) z 2 +o( ) Taking the limit as R +, we obtain infξ 2 2F(z) H z 2 = o(1)+ 2F(z) z 2. for ever z Σ. Because z was chosen arbitrarily, we obtain the conclusion. Looking at the behaviour of Λ(u, ), one can easily deduce that sequences converging to the minimum value converge to the minimum point. The next lemma exploits the uniform behaviour of Λ on u. Lemma (Coercive). For every ε > 0 there exists η such that implies Λ(u,ω) < 2α+η ω j 2α < ε Proof. For every 1 j k and u H, we define B j (u) = b j (u) k b j(u). We divide the proof in three steps. Step 1. We show that if k 2 and η is small enough, there exists δ 0 (0,1) such that (19) B j (u) (δ 0,1 δ 0 ). It is useful to define α := min{α j 1 j k}. Due to (A 4 ) we have α < α. By property (ii) of Λ (20) 2α+η > Λ(u,ω) ξ(u);

9 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 9 we fix 1 j k. We have ξ(u) 2 = Du 2 L +2 F(u) 2 R n k b j(u) = Du 2 L +2 F(u) 2 R 1 n j s b j(u) 1+B j (u) 2α j 1+B j (u) in the last inequality we neglected the gradient terms and used the notation of the assumption (A 4 ). From (20) and the inequality above, we obtain whence (21) B j (u) > 2α+η > 2αj 1+Bj (u) 2α j ( 2α+η) 2 1 2α ( 2α+η) 2 1 =: δ 0. Thus, if δ 0 > 0, the obtain a bound from below for B j (u). Thus, we require (22) η < 2α 2α which gives B j (u) > δ 0 for every 1 j k. Because B j (u) = 1 it follows that B j (u) = 1 h j B h (u) 1 (k 1)δ 0 1 δ 0. Step 2. If Λ(u,ω) < 2α +η, then ω is bounded from above. If η is chosen as in (22) and k 2 then k Λ(u,ω) B jωj 2 2 δ 0 k B jω j 2(1 δ 0 ) j ω2 j j ω. j Thus, Thus, ωj 2 2C 0 ω j C 0 := ( 2α+η)(1 δ 0 ) δ 0 (23) ω j < C 0 (1+ k), 1 j k. When k = 1, 2α+η > Λ(u,ω) ω/2

10 thus, SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 10 (24) ω < 2( 2α+η). Step 3. We conclude the proof of the lemma. When k 2, η Λ(u,ω) Λ(u,ω(u)) = Λ(u,ω) ξ(u) ( = 1 ξ 2 + k B jωj 2 2 k B ) jω j ξ 2 k B jω j = 1 k B ( ) j(ω j ξ) 2 2 k B = 1 B j jω j 2 k B (ω j ξ) 2 jω j δ 0 2(1 δ 0 )C 0 ( k +1) (ω j ξ) 2 the last inequality follows from the bounds on ω (23) and on B j from Step 1 and Step 2. Thus, Because ξ < 2α+η, (25) ω j 2α < η 2η(1 δ 0 ) 2 ( k +1)( 2α+η) δ 2 0 > (ω j ξ) 2. ( η 1 δ ( 0 + 2( 2α+η)( ) ) 1/2 k +1) δ 0 for every 1 j k. Because the term on the right member of the inequality above is O( η), the proof is complete when k 2. When k = 1, by (24) then η > Λ(u,ω) ξ(u) = 1 2ω (ω ξ)2 ( ω ξ < 2 η( ) 1/2 2α+η) 1 4( (ω ξ)2 2α+η) whence (26) ω 2α < ( η ( ) ) 1/2 η +2 2α+η Proof of the Theorem Main. Let (u,ω ) be such that Λ(u,ω ) < 2α+η η is chosen in such a way that the right term in (25) (for k 2) or (26) (when k = 1) is not greater than 1 2 (m 2α).

11 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 11 We define σ j := ω j (u j) 2. Clearly (u,ω ) Mσ r. Now, let us take a minimising sequence (u n,ω n ) of E over Mσ r. By the Ekeland s theorem [11, Theorem 5.1,p.48], we cansupposethat(u n,ω n )isapalais-smalesequence. Then, thereexists n 0 N such that if n n 0. Thus Λ(u n,ω n ) Λ(u,ω ) = Λ(u,ω ) < 2α+η. By the preceding lemma, we have Λ(u n,ω n ) < 2α+η, n n 0. ω j n 2α < 1 2 (m 2α); up extract a subsequence from (ωn j ), we can suppose that each of the (ωn) j converge to some ω j. Therefore m ω j = m 2α+ 2α ω j 1 2 (m 2α) > 0. By Proposition 2, we obtain that E achieves its infimum on M σ. Finally, we observe that the subset of (0,+ ) k { Ω := σ (0,+ ) k I(σ) k σ < } 2α+η j is open. In fact, let σ 0 Ω and (u 0,ω 0 ) be a minimiser of E over M σ0. Thus, Λ(u 0,ω 0 ) < 2α+η. Given an arbitrary σ, we define ωσ j := ωj 0σ j σ j. 0 Using the continuity of Λ on ω, it can be showed that Thus, if σ σ 0 is small enough, which concludes the proof. Λ(u 0,ω σ ) = Λ(u 0,ω 0 )+O( σ σ 0 ). Λ(u,ω σ ) < 2α+η Corollary. There exists η 0 such that, for every η < η 0 there exists (u η,ω η ) such that u η is a solution to (E) for every 1 j k. Λ(u η,ω η ) < 2α+η, ω j η 2α < η

12 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 12 Proof. The existence of (u η,ω η ) follow from Theorem Main. All we need to prove is that u η > 0 and solves the elliptic system in (E). So, let σ (0, ) k be as in Theorem Main and (u,ω) M r σ a minimiser of E over M r σ. From (A 0 ), (v,ω) := ( u 1,..., u k,ω) is also a minimiser of E over Mσ r and, thus, a constrained critical point. There is a natural action of the orthogonal group O(n,R) on H 1 (,R k ) O(n) H 1 (,R k ) [0,+ ) k H 1 (,R k ) [0,+ ) k (G,u,ω) G (u,ω) := (u(gx),ω) this action restricts to M σ and the set of fixed point is M r σ. Moreover, E is invariant for the action E(u,ω) = E(u(Gx),ω). By the symmetric criticality principle [10, 0], (u, ω) is a critical point of E over M σ. Thus, each of the equations in (E) can be written as (27) v j +c j (x)v j = 0 (28) c j (x) = From (A 2 ) { m 2 j ωj 2 + z j G(v) v j if v j (x) 0 m 2 j ωj 2 if v j (x) = 0. (29) c j (x) m 2 j ω 2 j +c( v j p 2 + v j q 2 ). Thus, for every bounded domain V, c j L (V), because v j is continuous. Then, we can apply the maximum principle to the elliptic equation (27) (for example, [7, Lemma 1,p. 556]) and conclude that v j > 0 on V. Because this holds for every V, v j > 0 on. Hence u η has a sign for every η. Up to adjusting the signs of u j η, (u,ω) is the sought solution to (E). Some remarks are in order. Concentration of minimising sequences. If we add the requirement (A 5 ) F(u 1,...,u k ) F(u) u j denotes the decreasing rearrangment of u j, then minimisers of E over Mσ r are minimisers of E over M σ. We define I(σ) := inf M σ E. Moreover, if for every minimiser (u, ω) there holds (A 6 ) lime(u 1 ( +y 1 n),u 2 ( +y 2 n),...,u k ( +y k n),ω) > E(u,ω)

13 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 13 if y j n y h n is not bounded for some j h, then it is natural to expect the sub-additivity property of I, that is I(σ) < I(σ )+I(σ σ ) for every σ such that σ σ and σ j σ for every 1 j k. Thus, by means of the concentration-compactness Lemma, it would follow that a minimising sequence exhibits a concentration behaviour. Some example of non-linearity. It might be surprising the fact that in our solutions all the frequencies tend to converge in the interval ( 2α,m) regardless of the relations between m j and m h for j h. This follows from the assumption (A 4 ): when the non-linearity G does not have coupling terms, that is (30) G(z) = G 1 (z 1 )+ +G k (z k ) the system (E) reduces to k scalar elliptic equations u j +(m 2 j ω 2 j)u j +G j(u j ) = 0 each of them can be solved separately as in [4] or [2] in order to obtain positive solutions. By the Derrick-Pohozaev identity and the maximum principle it follows m j > ω j > 2α j, 1 j k. So, if G is as in (30), the frequencies ω j have a different behaviour from the one proved in Theorem Main, 2α < ωj < m m j, 1 j k. In fact, a non-linearity as in (30) does not satisfy the assumption (A 4 ): given z (0,...,0), we have k F(z) α j z j 2 min z 2 z α j. 2 1 j k Also, itismoresimpletotreateachequationofthecase(30)separately, using the result of [2] or the theorem when k = 1. Some non-linearities G satisfying assumptions (A 1 A 4 ) are given by when k = 2,N = 3 and When k = 3,N = 3, we can define G(z) = z p 1 zp 2 + z q, z Σ G(z) := G( z 1, z 2 ) 1 < p, 2p < q < 5. G(z) = (z 1 z 2 ) p 1 (z 2 z 3 ) p 2 (z 1 z 3 ) p 3 (z 1 z 2 z 3 ) p 4 + z q, z Σ G(z) := G( z 1, z 2, z 3 ).

14 SOLUTIONS WITH A SMALL ENERGY/CHARGE RATIO 14 and 2 < 2p i < q < 5, for 1 i 3 3 < 3p 4 < q. Acknowledgments. To professor Vieri Benci and professor Jaeyoung Byeon for their helpful suggestions, as well as professors Pietro Majer, Claudio Bonanno and Jacopo Bellazzini. References [1] A. Ambrosetti and G. Prodi, A primer of nonlinear analysis, vol. 34 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, Corrected reprint of the 1993 original. [2] J. Bellazzini, V. Benci, C. Bonanno, and A. M. Micheletti, Solitons for the nonlinear Klein-Gordon equation, Adv. Nonlinear Stud., 10 (2010), pp [3] J. Bellazzini, V. Benci, C. Bonanno, and E. Sinibaldi, Hylomorphic solitons in the nonlinear Klein-Gordon equation, Dyn. Partial Differ. Equ., 6 (2009), pp [4] V. Benci and D. Fortunato, Existence of hylomorphic solitary waves in Klein-Gordon and in Klein-Gordon-Maxwell equations, Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl., 20 (2009), pp [5] H. Berestycki and P.-L. Lions, Nonlinear scalar field equations. I. Existence of a ground state, Arch. Rational Mech. Anal., 82 (1983), pp [6] H. Brezis, Analyse fonctionnelle, Collection Mathématiques Appliquées pour la Maîtrise. [Collection of Applied Mathematics for the Master s Degree], Masson, Paris, Théorie et applications. [Theory and applications]. [7] L. C. Evans, Partial differential equations, vol. 19 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, second ed., [8] D. Garrisi, On the orbital stability of standing-waves solutions to a coupled non-linear Klein-Gordon equ ArXiv e-prints, (2010). [9] R. Musina, On the continuity of the Nemitsky operator induced by a Lipschitz continuous map, Proc. Amer. Math. Soc., 111 (1991), pp [10] R. S. Palais, The principle of symmetric criticality, Comm. Math. Phys., 69 (1979), pp [11] M. Struwe, Variational methods, Springer-Verlag, Berlin, Applications to nonlinear partial differential equations and Hamiltonian systems. Math Sci. Bldg Room # 302, POSTECH, Hyoja-Dong, Nam-Gu, Pohang, Gyeongbuk, , Republic of Korea address: garrisi@postech.ac.kr