arxiv: v2 [math.ap] 11 Aug 2014

Transcription

1 POSITIVE SOLUTIOS TO SOME OLIEAR FRACTIOAL SCHRÖDIGER EQUATIOS VIA A MI-MAX PROCEDURE arxiv: v2 [math.ap] Aug 204 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL Abstract. The existence of a positive solution to the following fractional semilinear equation is proven, in a situation where a ground state solution may not exist. More precisely, we consider for 0 < s < the equation ( ) s u+v(x)u = Q(x) u p 2 u in,, where the exponent p is superlinear but subcritical, and V > 0, Q 0 are bounded functions converging to as x. Using a min-max procedure introduced by Bahri and Li we prove the existence of a positive solution under one-sided asymptotic bounds for V and Q.. Introduction and main result Recently Laskin, in [24, 25], derived an expansion of the Feynman path integral from Brownian-like to Lévy-like quantum mechanical paths yielding the fractional Schrödinger equation: ı ψ t = ( )s ψ +V(x)ψ, () where (x,t) (0,+ ), 0 < s, and V : R is an external potential function. When s =, the Lévy dynamics becomes the Brownian dynamics, and equation () reduces to the classical Schrödinger equation ı ψ = ψ +V(x)ψ. t Standing wave solutions to the fractional Schrödinger equation are solutions of the form ψ(x,t) = e ıt u(x), (2) where u solves the elliptic equation ( ) s u+v(x)u = 0, for s (0,]. The Schrödinger equation with nonlinear source term has also its own interest, especially, when dealing with relativistic particles (s = /2), see for example [, 33, 6, 2, 26, 27, 2]. In the present paper, we consider the following nonlinear fractional Schrödinger equation ( ) s u+v(x)u = Q(x) u p 2 u in, (3) with 0 < s < and coefficients satisfying Date: August 2, 204. Key words and phrases. Fractional Schrödinger equation, bound states, variational methods, topological degree, minimax principle.

2 2 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL (V) V L ( ), ess inf V > 0 and V(x) as x. (Q) Q L ( ), Q 0 a.e. on and Q(x) as x. otice that the condition on the value of the asymptotic limit of V and Q is not restrictive, since the case V(x) V > 0 and Q(x) Q > 0 can be treated by means of a rescaling. We now state our main result: Theorem.. Let, 0 < s < and 2 < p < 2 2s for > 2s and p (2, ) for 2s =. Suppose (V), (Q) and the following conditions hold: (H) There exists κ,κ 2 0 and α > +2s such that for almost every x V(x) +κ x α and Q(x) κ 2 x α. (U) The limit problem ( ) s u+u = u p 2 u in has (up to translations) a unique positive solution. Then (3) has a positive solution. The assumption (U) has been shown to hold in the physically relevant special case of the Benjamin-Ono equation, see [], where uniqueness was proved for s = 2, = and p = 2. In the general case s (0,), by now only the ground-state (i.e. least energy) solution of the limit problem is known to be unique (up to translations), see [7], [2] and [22], and therefore the assumption (U) needs to be imposed. In the local case s =, the celebrated result by Kwong [28] shows that the limit problem has a unique positive solution, but in the fractional setting, the question is much more involved, since ODE methods are not directly applicable anymore. evertheless, it is expected that the uniqueness of the positive solution of the limit problem holds for most s (0,). Concerning the regularity of the solutions given by the preceding theorem, we note that a standard bootstrap argument based on Sobolev embeddings together with [22, Lemma B. and Proposition B.3] implies that u H 2s ( ) L ( ) C 0,α ( ) for any 0 < α < 2s. In particular, u(x) 0, as x. Since only recently, intensive work has been devoted to the study of (3) for all s (0, ), also with general subcritical right-hand side of the form f(x, u). In [9], existence, asymptotic behavior and symmetry properties of the solutions were studied. In [9] the author gave an existence result for (3) with V = while Q was assumed to be positive only in a set of positive measure. In [32], several existence results were proved for problem (3) with more general nonlinearities on the right hand side, generalizing [8]. For related works about existence and qualitative of solutions, one can also see [4], [7], [20], [22] and [3]. Our main result in Theorem. is not contained in the afore mentioned papers because of the mild assumptions on V and Q. In addition, in our proof, the tools involved to get positive solution are different. Indeed, our scheme of proof is based on min-max arguments in the spirit of [2, 3, 4] applied to the energy functional associated with (3) on the ehari manifold (or natural constraint). The polynomial bounds on V and Q are reminiscent of the exponential decay estimates assumed in [3] and [4], and are indeed related to the asymptotic behavior of ground states for the limit problem ( ) s u+u = u p. When s = ground states decay exponentially while for s (0, ) they decay polynomially (and never exponentially, see [9]!). We point out that, since ( ) s +V is positive definite we can work with the usual

3 OLIEAR FRACTIOAL SCHRÖDIGER EQUATIO 3 ehari manifold, in contrast to [6] where an indefinite problem was treated using the generalized ehari set. Finally, we would like to point out that in Theorem. there is no restriction in assuming that the exponent α in condition (H) satisfies +2s < α < min{2( +2s), p ( +2s)}, 2 since p > 2. The paper is organized as follows. In Section 2 we set up the variational framework for the study of (3). In particular we show that the energy of any weak solution of (3) which changes sign must be higher than twice the ground state energy. In Section 3, we give a splitting result for Palais-Smale sequences in the spirit of [5], and prove the main energy estimate which will allow us in Section 4 to define, using a barycenter map, a min-max critical level and complete the proof of Theorem.. 2. Preliminaries Throughout this paper we shall use the following notation. For a function u on and an element y, we write y u for the translate of u by y, i.e., (y u)(x) := u(x y), x. Since condition (V) holds, the spectrum of the unbounded operator S = ( ) s +V acting in L 2 ( ) is contained in (0, ) and, therefore, ( ) u V := ξ 2s û(ξ) 2 dξ + V(x) u(x) 2 2 dx defines a norm on H s ( ), equivalent to the standard norm ( ) u s = ( ξ 2s +) û(ξ) 2 2 dξ. The weak solutions of (3) are critical points of the energy functional J: H s ( ) R given by J(u) = 2 u 2 V Q(x) u(x) p dx, u H s ( ). p We consider the ehari manifold (or natural constraint) = {u H s ( )\{0} : J (u)(u) = 0} which contains all critical points of J and set For the limit problem c = inf J(u). (4) u ( ) s u+u = u p 2 u in, (5) we denote by J the associated energy functional given by J (u) = 2 u 2 s u p dx, u H s ( ), p consider the corresponding ehari manifold = {u H s ( )\{0} : J (u)u = 0}

4 4 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL and let c = inf J (u). u Westartbygivingsomepropertiesoftheeharimanifold andstudythebehavior of J on it. Some of the following results can be found in [34]. Lemma 2.. Under the conditions (V) and (Q), the following holds: (i). More precisely, for every u H s ( ) with Q(x) u(x) p dx > 0, there exists a unique t u (0, ), given by ( u 2 ) p 2 V t u = Q(x) u(x) R p, (6) dx such that t u u and J(t u u) > J(tu) for all t 0, t t u. Consequently, c = inf u J(u) = inf u H s ( ) u 0 supj(tu). (7) t>0 (ii) c > 0, inf u V > 0 and inf u L u u p > 0. (iii) J is coercive on, i.e. if (u n ) n satisfies u n V as n, then J(u n ) as n. Proof. (i) Let us consider u H s ( ) satisfying R Q(x) u(x) p dx > 0. (ote that the assumption (Q) gives some r > 0 such that Q(x) 2 for a.e. x with x r, thereby ensuring the existence of such functions u.) For t > 0 there holds ) d dt J(tu) = J (tu)u = t ( u 2V t p 2 Q(x) u(x) p dx. Setting t u > 0 as in (6), we find that the map t J(tu) is strictly increasing for 0 < t < t u and strictly decreasing for t > t u. Thus, t u u and J(t u u) is the (unique) strict global maximum of t J(tu) on [0, ). Remarking in addition that J(tu) as t in the case where Q(x) u(x) p dx = 0, the assertion follows. δ (ii) Let δ > 0. For each u, it follows from (i), that J( u V u) J(u) holds. Therefore, c = inf J(u) inf{j(w) : w V = δ} for any δ > 0. ow from the u Sobolev embedding H s ( ) L p ( ), there is some constant C > 0 such that for all w H s ( ) with w V = δ, J(w) 2 w 2 V p Cp Q w p V = δ2 ( 2 δp 2Cp Q p Since the last expression is positive for sufficiently small δ, we obtain c > 0. To prove the second and third statements in (ii)( as well as the property ( (iii), ) it suffices to notice that if u, then c J(u) = 2 p ) u 2 V 2 p Q u p L p holds. Let us point out that the same result holds with J, c and in place of J, c and, respectively. Minimizers of J on are critical points of J on H s ( ) with least possible energy among all nontrivial critical points. For this reason, they are called ground states of (5). According to [22, Proposition 3.], there is (up to translation) a unique ground state solution u H 2s+ ( ) C ( ) of (5), ).

5 OLIEAR FRACTIOAL SCHRÖDIGER EQUATIO 5 positive, radially symmetric, radially decreasing and which satisfies the following asymptotic decay properties: C + x +2s u C 2 (x) + x +2s for all x, (8) where0 < C < C 2. Ournextresultstatesthat criticalpointsuofj withj(u) 2c cannot change sign, where we recall that c is defined in (4). Proposition 2.2. Let u H s ( ) be a nontrivial sign-changing critical point of J (resp. J ). Then J(u) > 2c (resp. J (u) > 2c ). Proof. Let u H s ( ) be a nontrivial sign-changing critical point of J and let u ± = max{±u,0} denote the positive and negative part of u, respectively. Then u ± H s ( ) and u = u + u. Moreover,letting, V denote the scalar product that induces the norm V, the identity v,w V = C,s which holds for all v,w H s ( ), gives u +,u V = 2C,s P.V. (v(x) v(y))(w(x) w(y)) x y +2s dxdy + {u>0} {u<0} V(x)vwdx, u(x)u(y) dxdy < 0, x y +2s for some C,s > 0 and where P.V. denotes the fact that the integral is taken in the principal value sense. ow, from 0 = J (u)u ± = u,u ± V Q(x)u p ±dx, we deduce that Q(x)u p ± dx = u ± 2 V u +,u V > 0. Using (6) we can therefore find t ± > 0, given by t p 2 ± = u ± 2 V Q(x)u p ± dx = u ± 2 V u ± 2 V u <, +,u V such that t ± u ±. Consequently, ( 2c J(t + u + )+J(t u ) < 2 )( ) Q(x)u p + p dx+ Q(x)u p dx = J(u), and thus J(u) > 2c holds for any sign-changing critical point u of J. The corresponding assertion for J follows by replacing V(x) and Q(x) by in the preceding arguments. Corollary 2.3. Let u be a nontrivial critical point of J such that J(u) 2c, where c is defined in (4). Then u is positive in Proof. ByProposition2.2, u 0in. Inparticular, wehave( ) s u+v(x)u 0 in. Since u 0, it follows from the strong maximum principle [8, Corollary 3.4 and Remark 3.5] that u > 0 in. We now give a first existence result in the case where the ground state energy level c is strictly less than the ground state level of the limit problem. In this case, we show that a ground state for (3) exists, i.e., there exists a weak solution u of (3) having minimal energy J(u) = c among all nontrivial solutions. otice that the conditions (V) and (Q) ensure that c c holds in any case. Proposition 2.4. Suppose that (V) and (Q) are satisfied. If c < c holds, then J has a critical point u which satisfies J(u) = c. In particular (3) has a positive solution.

6 6 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL Proof. Let (v n ) n be a minimizing sequence for J. Since J is of class C 2, J (v)(v,v) = (2 p) v 2 V < 0 for all v and since 0 is an isolated point of {u H s ( ) : J (u)u = 0}, we find that is a closed C -submanifold of codimension of the Hilbert space H s ( ) and, from Lemma 2., J is bounded below on. From Ekeland s variational principle (see e.g. [5, Theorem 3.]), we can find a Palais-Smale sequence (u n ) n for J at level c such that u n v n V 0 as n. Lemma 2. (iii) implies that (u n ) n is bounded and therefore, up to a subsequence, we may assume u n u weakly in H s ( ). Since J is weakly sequentially continuous, we find J (u) = 0. ow, if u 0, then u and it follows that ( c J(u) = 2 ) ( u 2 V liminf p n 2 ) u n 2 V p = liminf J(u n) = c. n Hence u is a critical point of J at level c. In the case where u = 0 holds, we claim that we can find a sequence (y n ) n and δ > 0 such that lim inf (y n u n ) 2 dx δ > 0. (9) n B (0) Indeed, if this were false, the concentration-compactness Lemma (see [] and [9, Lemma 2.2]) would imply u n L p 0 as n and therefore ( c = lim J(u n) = lim n n 2 ) Q(x) u n (x) p dx = 0, p contradicting the fact that c > 0. ow, we remark that (y n ) n must be unbounded, since we are assuming u n 0. Hence, going to a subsequence, if needed, we can assume y n, y n u n w and u n (x y n ) w(x) for a.e. x, as n. The compact embedding H s (B (0)) L 2 (B (0)) and (9) together give w 0. Furthermore, Lemma 2. (i) gives for every t n > 0, J(u n ) J(t n u n ) = J (t n (y n u n ))+ t2 n (V(x y n ) )(y n u n ) 2 dx 2 R tp n (Q(x y n ) ) y n u n p dx. p Taking t n > 0 such that t n (y n u n ) holds, we infer from (6) that (t n ) n is a bounded sequence, since B (0) y n u n p dx B (0) w p dx > 0 as n. Since V(x y n ), Q(x y n ) and u n (x y n ) w(x) for a.e. x, as n, the dominated convergence theorem implies (V(x y n ) )(y n u n ) 2 dx 0 and (Q(x y n ) ) y n u n p dx 0, as n. We therefore conclude that c = lim J(u n) limsupj (t n (y n u n )) c n n holds, in contradiction to the assumption c < c. Thus, u 0 must hold. Finally by Corollary 2.3 we have that u > 0 in. In [9, Theorem.2], the authors give conditions under which c < c is satisfied and therefore a ground state solution exists for (3). On the contrary, if in addition to (V) and (Q) we require V(x) and Q(x) for a.e. x R n with one of the inequalities being strict in a set of positive measure, then for all u H s ( ), J(u) J (u), which gives c = c. Moreover, assuming by contradiction that

7 OLIEAR FRACTIOAL SCHRÖDIGER EQUATIO 7 this energy level is attained, there would exist u satisfying J(u) = c, and choosing τ > 0 such that τu we would obtain by Lemma 2.: c = J(u) J(τu) J (τu) c and consequently τ =, i.e., u and J (u) = c. The uniqueness (up to translations) and the positivity of the ground state solution of (5) would then imply u > 0 on and therefore ( J(u) J (u) = 2 ) (V(x) )u(x) 2 dx p R ( = 2 ) (Q(x) )u(x) p dx p Since V(x) > or Q(x) < holds on a set of positive measure we would obtain J(u) J (u). This contradiction shows that the ground state level for J is not attained. In the sequel, we shall prove that in such a case a solution can still be found, provided conditions (H) and (U) are satisfied. 3. Asymptotic estimates and Palais-Smale sequences The first part of this section is devoted to the proof of an energy estimate that will be an essential ingredient in the proof of Theorem.. As in [3], we consider convex combinations of two translates of the ground state solution u and project them onto the ehari manifold. We derive estimates concerning the energy of such a convex combination, showing that it can be made smaller than 2c, as each of the translates is moved away from the other and far away from the origin. Pointing out that the convex combination of two translates of u is an everywhere positive function, we can use (6) to define its projection onto, for which we introduce the following otation. Let y,z and λ [0,]. We denote by t = t (λ,y,z) the unique positive number (see Lemma 2.) for which t [( λ)(y u ) +λ(z u )] holds. From now on, we will work under the assumptions (V), (Q) and (H) of Theorem.. Furthermore, we will assume without loss of generality that +2s < α < min{2( +2s), p ( +2s)} (0) 2 holds in (H). Before stating and proving the above mentioned key energy estimate, we start by studying the asymptotic behavior of some integrals of convolution type. Lemma 3.. Let σ,τ (, ). Setting µ = min{σ,τ}, there holds sup y µ (+ x ) σ (+ x y ) τ dx <. y Proof. Since y /2 x whenever x y y /2, we have y µ (+ x ) σ (+ x y ) τ dx y µ 2 σ (2+ y ) σ (+ x y ) τ dx { x y y 2 } ( ) σ 2 y µ (+ x ) τ dx. 2+ y

8 8 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL ext, we have y µ { x y y 2 } (+ x ) 2 τ σ (+ x y ) τ dx y µ (2+ y ) τ Since σ,τ µ >, the conclusion follows. (+ x ) σ dx. Lemma 3.2 (Energy estimate). Suppose (V), (Q) and (H) hold. Then there exists R > 0 such that J ( t [( λ)(y u )+λ(z u )] ) < 2c for all λ [0,], R R and y,z satisfying y R, z R and 2 3 R y z 2R. Proof. Let us consider R and y,z with y R, z R and 2 R y z 2R. () 3 For such y,z and λ [0,], we set w = ( λ)(y u )+λ(z u ) and choose t = t (λ,y,z) as above, i.e., such that t w. In the following, all constants will neither depend on R nor on λ,y,z. In a first step, we will give bounds on various terms related to the energy functional, with respect to the following nonlinear interaction term: A y,z := (y u ) p (z u )dx = u p ((z y) u )dx. Let us first remark that, since u is positive and radially decreasing, the estimate (8) gives A y,z ( ) p C u (x (z y))dx ζ z y (+2s) (2) 2 B (0) for all z y > and some constant ζ > 0. On the other hand, from (8) and Lemma 3. with σ = (p )( + 2s) and τ = +2s, there exists a constant ζ 2 > 0 independent of y,z such that A y,z ζ 2 z y (+2s) (3) for all z y >. Let now α be as in assumption (H) and satisfy (0). Applying Lemma 3. with σ = α and τ = 2( +2s), we obtain (+ x ) α {(y u ) 2 +(z u ) 2 }dx Cmax{ y α, z α } for all y,z with some constant C > 0. Since y, z R 2 z y, we have, making ζ larger if necessary, (+ x ) α {(y u ) 2 +(z u ) 2 }dx ζ R+2s α A y,z (4) for all R,y,z satisfying (). A further application of Lemma 3. with σ = α, τ = p( +2s), gives (+ x ) α {(y u ) p +(z u ) p }dx C max{ y α, z α }

9 OLIEAR FRACTIOAL SCHRÖDIGER EQUATIO 9 for all y,z, y, z with some constant C > 0. As above, making ζ again larger if necessary, we can write (+ x ) α {(y u ) p +(z u ) p }dx ζ R+2s α A y,z (5) for all R,y,z satisfying (). Finally, Lemma 3. with σ = τ = p 2 ( +2s) yields (y u ) p 2 (z u ) p 2 dx = u p 2 ((y z) u ) p 2 dx C y z p 2 (+2s) for all y,z with some constant C > 0. Therefore, making ζ again larger if necessary we find, using (0), (y u ) p 2 (z u ) p 2 dx ζ R+2s α A y,z (6) holds for all R,y,z satisfying (). We now have all the tools to estimate J(t w ) = t2 2 w 2 V tp Q(x)(w (x)) p dx. p We start by estimating the term w 2 V which we split in the following way. ξ 2s ŵ (ξ) 2 dξ + V(x)w dx 2 R ( ) = (( λ) 2 +λ 2 ) ξ 2s û 2 dξ + u 2 dx R ( +2( λ)λ ξ 2s Re ( e i(y z) ξ û (ξ)û (ξ) ) ) dξ + (y u )(z u )dx R + (V(x) )w dx. 2 The property J (u ) = 0 implies that ( ) ξ 2s Re e i(y z) ξ û (ξ)û (ξ) dξ + (y u )(z u )dx R = (y u ) p (z u )dx = A y,z = A z,y. R n We deduce from (4) and condition (H) that (V(x) ) w 2 dx 2 κ (+ x ) α [(y u ) 2 +(z u ) 2 ]dx 2 κ ζ R+2s α A y,z for all λ [0,] and R,y,z satisfying (), (7) where κ = 2 α max{κ, V }. In addition, we point out that from the condition (V), there follows w 2 V (( λ) 2 +λ 2 ) u 2 s as R, (8)

10 0 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL uniformly in λ [0,]. Turning to the second integral, we write Q(x)(w (x)) p dx = (λ p +( λ) p ) u p dx R + w p [λp (y u ) p +( λ) p (z u ) p ]dx R + (Q(x) )(w (x)) p dx. From [3, Lemma 2.], there exists a constant C = C(p) > 0 such that for all a,b 0 Hence, from (6), we obtain (a+b) p a p +b p +p(a p b+ab p ) Ca p 2 b p 2. (9) w p [λp (y u )+( λ) p (z u )]dx pλ p ( λ) u (x y) p u (x z)dx +pλ( λ) R p u (x y)u (x z) p dx Cλ p p 2 ( λ) 2 u (x y) p 2 u (x z) p 2 dx [ p(λ p ( λ)+λ( λ) p ) Cζ R+2s α] A y,z for λ [0,] and R,y,z satisfying (). Moreover, condition (H) as well as (5) imply that, setting κ 2 = 2 α max{κ 2, Q }, (Q(x) )(w (x)) p dx 2 p κ 2 (+ x ) α {(y u ) p +(z u ) p }dx 2 p κ 2 ζ R+2s α A y,z, for λ [0,] and R,y,z satisfying (). Let us also remark that the assumption (Q) ensures Q(x)(w (x)) p dx (( λ) p +λ p ) u p dx as R, (20) uniformly in λ [0,]. Combining this last inequality with (6) and (8), we find ( w 2 ) ( p 2 V ( λ) 0 < t = 2 +λ 2 ) p 2, (2) R Q(x)(w (x)) p dx ( λ) p +λ p as R, uniformly in λ [0,]. Since ( J(t w ) = 2 ) ( t 2 p w 2 V 2 ) [ t 2 (( λ) 2 +λ 2 ) u 2 s p and c = ] +2λ( λ)a y,z +2 κ ζ R+2s α A y,z ( 2 p ) u 2 s, we can find some R 0 and 0 < δ 0 < such that J(t w ) 3 2 c (22) for all λ [0,δ 0 ) ( δ 0,] and R,y,z satisfying () with R R 0.

11 OLIEAR FRACTIOAL SCHRÖDIGER EQUATIO On the other hand, the above estimates together give for R,y,z satisfying () and λ [δ 0, δ 0 ]: J(t w ) 2c J(t w ) J (λt u ) J (( λ)t u ) { t p λ( λ) ( λ) p 2 +λ p 2 t 2 p ζ3 R+2s α} A y,z, (23) for some constant ζ 3 > 0, where we used the fact that t is bounded below away from 0, uniformly in y,z and λ. According to (2) and since α > + 2s, there exists R R 0 such that ( λ) p 2 +λ p 2 t 2 p ζ 3 R+2s α δ p 0 for all λ [δ 0, δ 0 ] and R R. With this choice, (23) gives J(t w ) 2c κ 3 δ p+2 0 A y,z for all λ [δ 0, δ 0 ] and R R, with some constant κ 3 > 0. This, together with (22) shows J(t w ) < 2c for every λ [0,] and R,y,z satisfying () with R R. The last result in this section describes the behavior of the bounded Palais- Smale sequences for J, and shows that the same kind of splitting as in the case s = studied bybenci and Cerami [5] (see also[4, PropositionII.] or [34, Theorem 8.4]) also occurs in the fractional case 0 < s <. Lemma 3.3. Let (u n ) n H s ( ) be a bounded sequence, for which J (u n ) 0 as n. Then, there exist l {0}, sequences (x i n) n, i l, and u,w,...,w l H s ( ) satisfying (up to a subsequence) (i) J (u) = 0, (ii) J (w i ) = 0, i =,...,l, (ii) x i n and xi n xj n as n for i j l, (iii) un [u+ l x i n w i] s 0 as n and i= (iv) J(u n ) J(u)+ l J (w i ), as n. i= Proof. Since (u n ) n is a bounded sequence in H s ( ) we may assume, up to a subsequence,thatu n uforsomeu H s ( ), andtheweaksequentialcontinuity of J implies J (u) = 0. Step : Let vn := u n u for all n. Since vn 0 in Hs ( ) and since V(x), resp. Q(x) for x, the compact embeddings H s (B R (0)) L q (B R (0)), R > 0, 2 q < 2 s (resp. 2 q < if = and s 2 ) gives (V(x) ) vn 2 dx 0 and (Q(x) ) vn p dx 0 as n, (24) Therefore, as n, we find (up to a subsequence): J (vn ) = J(v n )+o() = J(u n ) J(u)+ Q(x) ( u n p u p vn p p) dx+o() = J(u n ) J(u)+o(),

12 2 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL where in the last step we have used the Brézis-Lieb lemma [7]. For ϕ H s ( ) with ϕ =, we obtain moreover that J (v n )ϕ J (u n )ϕ+j (u)ϕ = ( V(x))vn ϕdx R + (Q(x) ) vn p 2 vnϕdx R + Q(x)[ u n p 2 u n u p 2 u vn p 2 vn]ϕdx tends uniformly to 0 as n, using (24) and a similar argument as in [4, Lemma A.2]. Since J (u n ) 0 as n and J (u) = 0, we find Step 2: Let ζ = limsup n J (v n ) 0, as n. ( sup y B (y) ( v n (x) ) 2 dx ) If ζ = 0, then the concentration-compactness Lemma gives v n L p 0 as n, and we infer u n u 2 s = v n 2 s = J (v n )v n + v n p dx 0, as n. Hence u n ū in H s ( ) as n, and the proof is complete. In the case where ζ > 0, passing to a subsequence, we can find a sequence (x n) n satisfying x n as n and ( v n (x+x n) ) B(xn) 2 ( dx = v n (x) ) 2 ζ dx > 2 B (0) for all n. Since (( x n ) v n ) n is bounded, going to a further subsequence if necessary, we obtain ( x n) vn w 0, using the compactness of the embedding H s (B (0)) L 2 (B (0)). Furthermore, the weak sequential continuity of J and the invariance under translations of J give for every ϕ H s ( ), J (w )ϕ = lim n J ( ( x n ) v n ) ϕ = lim n J (v n )(x n ϕ) = 0. Setting v 2 n := v n (x n w ), it follows that v 2 n 0 in H s ( ), and the same arguments as above, applied to J, give J (v 2 n ) = J (v n ) J (w )+o() = J(u n ) J(ū) J (w )+o(), and J (v2 n )ϕ J (v n )ϕ+j (w )( x n ϕ) 0 uniformly for ϕ =, as n. We conclude that J (v2 n ) 0 as n and iterate the above procedure. At each step we chooseasequence (x i n) n such that x i n and x i n x j n for all i j, as n, and obtain a critical point w i of J such that with v i+ n := vn i xi n w i = u n u i x j n w j there holds (up to a subsequence) J (v i+ n ) = J(u n) J(ū) i j= j= J (w j )+o(), and J (vi+ n ) 0 as n. Since J (w) c > 0 holds for every nontrivial critical point w of J, and since the boundedness of (u n ) n implies that supj(u n ) <, the procedure has to stop after n a finite number of steps..

13 OLIEAR FRACTIOAL SCHRÖDIGER EQUATIO 3 4. Existence of a nontrivial solution Assuming the conditions (V), (Q), (H) and (U), we now prove the existence of a nontrivial solution to (3), using the method of Bahri and Li [3] (see also [6]). First note that c c holds, as can be deduced from (8), (20) and (2) by setting λ = 0. If c < c then Proposition 2.4 gives the desired conclusion. In the case c = c, we consider the barycenter map β: H s ( )\{0} given by β(u) = x u p L p R x u(x) p dx, u H s ( )\{0}. This mapping is continuous, and even uniformly continuous on the bounded subsets of H s ( )\{u H s ( ) : u L p < r} for any r > 0. Moreover, β(u) < for every u 0. For each b B (0) we now set I b := inf J(u) c u β(u)=b and distinguish two cases. Case : c = c = I b for some b <. Here, we claim that J has a nontrivial critical point at level I b = c = c. Indeed, let (v n ) n with β(v n ) = b for all n be a minimizing sequence for I b. Since by Lemma 2., (v n ) n is bounded and is bounded away from 0, we may choose, by the uniform continuity of β on bounded subsets of, some δ > 0 such that for every n : β(v) < + b 2 for all v with v v n s < δ. According to Ekeland s variational principle, we can find a Palais-Smale sequence (u n ) n for which J(u n ) I b and u n v n s 0 holds, as n. In particular, we find that β(u n ) < + b 2 holds for n large enough. Assuming by contradiction that J has no non-trivial critical point, the assumption c = c, Lemma 3.3 (iv) and the uniqueness of the ground state of (5) allow us to find, going to a subsequence of (u n ) n if necessary, a sequence (x n ) n such that x n and u n (x n u ) s 0, as n. Since, also, x n u L p = u L p > 0 holds for all n, and β(x n u ) as n, the uniform continuity of β gives = lim β(x n u ) limsup β(u n ) + b. n 2 n This contradicts our assumption b <, and therefore shows that J has a critical point u at level c = c. This function u is positive by Corollary 2.3. Case 2: c = c < I b for every b <. In this case we will show that J possesses a critical point at some level c 0 [I b,2c) and Corollary 2.3 will yield the conclusion. For R > 0, let y = (0,...,0,R) and consider the open ball Ω R := B4 3 R(y 3 ) = { ( λ)y +λz : 0 λ <, z Ω R }. We define a min-max level c 0 as follows. Let R R where R is given in Lemma 3.2, and consider the projection of Ω R onto the ehari manifold: γ 0 : Ω R given by γ 0 (z) := t (z u ) for all z Ω R,

14 4 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL where t = t (,0,z) in the notation of Section 3. We set Γ R := {γ : Ω R : γ continuous and γ ΩR = γ 0 } and consider the min-max energy level c 0 := inf γ Γ R max x Ω R J(γ(x)). (25) We claim that for b = (0,...,0, b ) with 0 < b < fixed, there holds I b c 0 < 2c (26) for R large enough. To show the left-hand inequality, consider for each γ Γ R the homotopy η: [0,] Ω R B (0) given by η(θ,x) = θβ(γ(x)) + ( θ)g(x), 0 θ, x Ω R, where g is the homothetic contraction of Ω R onto the closed unit ball in : g(x) = τ(x) x x if x 0 0 if x = 0 with τ(x) = [ ] 5 x 5R 2 +x 2 x, x Ω R. Since γ ΩR = γ 0 and θβ(γ 0 (z)) + ( θ)g(z) z z uniformly for z Ω R and 0 θ, as R, we obtain b / η([0,] Ω R ) for R large enough. The homotopy invariance of the degree then implies deg(β γ,ω R,b) = deg(g,ω R,b) =. Using the existence property, we can therefore find some x b Ω R for which β(γ(x b )) = b, and this gives I b J(γ(x b )). Since γ Γ R was arbitrarily chosen, we obtain I b c 0. Lemma 3.2 gives the second inequality, when we consider γ 2 Γ R given by γ 2 (( λ)y +λz) = t (( λ)(y u )+λ(z u )), λ [0,], z Ω R. In particular, the min-max. level c 0 satisfies c = c < c 0 < 2c (27) for R large enough. ext, we point out that is a closed connected C -submanifold of the Banach spaceh s ( ). Moreover,forR R, the the family F R = {γ(ω R ) : γ Γ R } of compact subsets of is a homotopy-stable family with boundary γ 0 ( Ω R ), in the sense of Ghoussoub [23, Definition 3.]. Since J(γ 0 (z)) converges to c as R, uniformly for z Ω R, we have furthermore max z Ω R J(γ 0 (z)) < c 0 = inf γ Γ R max x Ω R J(γ(x)) = inf sup A F R v A J(v) for large R, and the min-max principle [23, Theorem 3.2], gives the existence of a Palais-Smale sequence (u n ) n for J at level c 0. Since J is coercive on, (u n ) n isbounded in H s ( ). Moreover,since J (w) > 2c holdsforeverysign-changing critical point w of J (see Proposition 2.2), the estimate (27), the assumption (U) and Lemma 3.3 imply that, up to a subsequence, u n u as n for some critical point u 0 of J which satisfies J(u) = c 0 < 2c = 2c. This concludes the proof. References [] C. J. Amick and J. F. Toland, Uniqueness and related analytic properties for the Benjamin- Ono equation a nonlinear eumann problem in the plane, Acta Math. 67 (99) [2] A. Bahri and J. M. Coron, On an nonlinear elliptic equation involving the critical Sobolev exponent: the effect of the topology of the domain, Comm. Pure Appl. Math. 4 (988)

15 OLIEAR FRACTIOAL SCHRÖDIGER EQUATIO 5 [3] A. Bahri and Y. Y. Li, On a min-max procedure for the existence of a positive solution for certain scalar field equations in, Rev. Mat. Iberoamericana 6 (990) 5. [4] A.Bahriand P.L.Lions, Onthe existence of apositive solution ofsemilinearellipticequations in unbounded domains, Ann. Inst. H. Poincaré Anal. on Linéaire 4 (997) [5] V. Benci and G. Cerami, Positive solutions of semilinear elliptic problems in exterior domains, Arch. Rat. Mech. Anal. 99 (987) [6] J. L. Bona and Y. Li, Decay and analyticity of solitary waves, J. Math. Pures Appl. 76 (997) [7] H. Brézis and E. Lieb, A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc. 88 (983) [8] M. Cheng, Bound state for the fractional Schrödinger equation with unbounded potential, J. Math. Phys. 53 (202) [9] Y. Cho and T. Ozawa, A note on the existence of a ground state solution to a fractional Schrödinger equation, Kyushu J. Math. 67 (203), [0] M. Clapp and T. Weth, Multiple solutions of nonlinear scalar field equations, Comm. Part. Diff. Equations 29 (2004) [] V. Coti Zelati and P. Rabinowitz, Homoclinic type solutions for a semilinear elliptic PDE on, Comm. Pure Appl. Math. 5 (992) [2] A. de Bouard and J.-Cl. Saut, Symmetries and decay of the generalized Kadomtsev- Petviashvili solitary waves, SIAM J. Math. Anal. 28 (997) [3] W. Y. Ding and W.-M. i, On the existence of positive entire solutions of a semilinear elliptic equation, Arch. Rational Mech. Anal. 9 (986) [4] S. Dipierro, G. Palatucci and E. Valdinoci, Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian, Matematiche (Catania) 68 (203) [5] I. Ekeland, On the variational principle, J. Math. Anal. and Appl. 47 (974) [6] G. Evéquoz and T. Weth, Entire solutions to nonlinear scalar field equations with indefinite linear part, Adv. onlin. Studies 2 (202) [7] M. M. Fall and E. Valdinoci, Uniqueness and nondegeneracy of positive solutions of ( ) s u + u = u p in when s is close to. Preprint (203) available online at To appear in Comm. Math. Physics. [8] M. M. Fall and S. Jarohs, Overdetermined problems with fractional laplacian. Preprint(203) available online at [9] P. Felmer, A. Quaas and J. Tan, Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian, Proc. Roy. Soc. Edinburgh, Sect. A 42 (202) [20] B. Feng, Ground states for the fractional Schrödinger equation, Electron. J. Differential Equations 27 (203). [2] R. L. Frank and E. Lenzmann, Uniqueness of non-linear ground states for fractional Laplacians in R, Acta Mathematica. 20 (203) [22] R. L. Frank, E. Lenzmann and L. Silvestre, Uniqueness of radial solutions for the fractional Laplacian. Preprint (203) available online at [23]. Ghoussoub, Duality and perturbation methods in critical point theory, Cambridge Tracts in Mathematics, 07, Cambridge University Press, Cambridge, 993. [24]. Laskin, Fractional Schrödinger equation, Phys. Rev. E 66 (2002) [25]. Laskin, Fractional quantum mechanics and Lévy path integrals, Phys. Lett. A 268 (2000) [26] M. Mariş, On the existence, regularity and decay of solitary waves to a generalized Benjamin- Ono equation, onlinear Anal. 5 (2002) [27] C. E. Kenig, Y. Martel and L. Robbiano, Local well-posedness and blow-up in the energy space for a class of L 2 critical dispersion generalized Benjamin-Ono equations, Ann. Inst. H. Poincaré Anal. on Linéaire 28 (20) [28] M. K. Kwong, Uniqueness of positive solutions of u + u p = 0 in, Arch. Rational Mech. Anal. 05 (989) [29]. Hirano, Multiple existence of sign changing solutions for semilinear elliptic problems on, onlinear Anal. 46 (200), [30] P. L. Lions, The concentration-compactness principle in the calculus of variations. The locally compact case, Ann. Inst. H. Poincaré Anal. on Linéaire (984) and [3] S. Secchi, On fractional Schrödinger equations in without the Ambrosetti-Rabinowitz condition. Preprint (202) available online at

16 6 GILLES ÉVÉQUOZ AD MOUHAMED MOUSTAPHA FALL [32] S. Secchi, Ground state solutions for nonlinear fractional Schrödinger equations in, J. Math. Phys. 54 (203) [33] M. I. Weinstein, Solitary waves of nonlinear dispersive evolution equations with critical power nonlinearities, J. Differential Equations 69 (987) [34] M. Willem, Minimax Theorems, Progr. in onlinear Differential Equations Appl., 24, Birkhäuser, Boston, 996. Institut für Mathematik, Johann Wolfgang Goethe-Universität, Robert-Mayer- Str. 0, Frankfurt am Main, Germany address: African Institute for Mathematical Sciences (A.I.M.S.) of Senegal, KM 2, Route de Joal, B.P. 48 Mbour, Sénégal address: