arxiv: v1 [math.ap] 30 Mar 2015

Transcription

1 FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS WITH A GENERAL SUBCRITICAL OR CRITICAL NONLINEARITY JIANJUN ZHANG, JOÃO MARCOS DO Ó, AND MARCO SQUASSINA arxiv: v1 [math.ap] 0 Mar 2015 Abstract. We consider a fractional Schrödinger-Poisson system with a general nonlinearity in subcritical and critical case. The Ambrosetti-Rabinowitz condition is not required. By using a perturbation approach, we prove the existence of positive solutions. Moreover, we study the asymptotics of solutions for a vanishing parameter. 1. Introduction and main result We are concerned with the fractional nonlinear Schrödinger-Poisson system { ( ) (1.1) s u+λφu = g(u) in, ( ) t φ = λu 2 in, where λ > 0, ( ) α is the fractional Laplacian operator for α = s,t (0,1). The fractional Schrödinger equation was introduced by Laskin [28] and arose in fractional quantum mechanics in the study of particles on stochastic fields modeled by Lévy processes. The operator ( ) α can be seen as the infinitesimal generators of Lévy stable diffusion processes [2]. If λ = 0, the system (1.1) reduces to the nonlinear fractional scalar field equation (1.2) ( ) s u = g(u) in. This equation is related to the standing waves for fractional scalar field equation (1.) iφ t ( ) s φ+g(φ) = 0 in, which is a physically relevant generalization of the classical NLS. For power type nonlinearities the fractional Schrödinger equation was derived by Laskin [28] by replacing the Brownian motion in the path integral approach with the so called Lévy flights, see e.g. [29]. So, the equation we want to study presents first of all as a perturbation of a physically meaningful equation. Also, in [21,22] the author obtained deep results about uniqueness and non-degeneracy of ground states for (1.2) in case g(u) = u p 2 u u for subcritical p. See also [] where the soliton dynamics for (1.) with an external potential was investigated. In [24], the author studies the evolution equation associated with the one dimensional system { u+λφu = g(u) in R, (1.4) ( ) t φ = λu 2 in R. In this case the diffusion is fractional only in the Poisson equation. Our system is more general and contain this as a particular case. If K α (x) = x α N, in [20] the following equation is studied u+u = (K2 u 2 )u, u H 1/2 ( ), u > 0, 2000 Mathematics Subject Classification. 5B25, 5B, 5J61. Key words and phrases. Schrödinger-Poisson systems, variational methods, critical growth. Research partially supported by INCTmat/MCT/Brazil. J.M. do Ó was supported by CNPq, CAPES/Brazil, Jianjun Zhang was partially supported by CAPES/Brazil and CPSF (201M50868). 1

2 2 J. ZHANG, J.M. DO Ó, AND M. SQUASSINA and in [19] it is shown that the dynamical evolution of boson stars is described by the nonlinear evolution equation i t ψ = +m 2 ψ (K 2 ψ 2 )ψ (m 0) for a field ψ : [0,T) C (see also [2]). The square root of the Laplacian also appears in the semi-relativistic Schrödinger-Poisson-Slater systems, [6]. See also the model studied in [15]. Observe that, taking formally s = t = 1, then system (1.1) reduces to the classical Schrödinger- Poisson system { u+λφu = g(u) in R (1.5), φ = λu 2 in. It describes systems of identically charged particles interacting each other in the case where magnetic effects can be neglected [7]. In recent years, the Schrödinger-Possion system (1.5) has been widely studied by many researchers. Here we would like to cite some related results, for example, positive solutions[10], ground state solutions[], semi-classical states [16], sign-changing solutions [25]. See also [1] and the references therein. In [4], Azzollini, d Avenia and Pomponio were concerned with (1.5) under the Berestycki-Lions conditions (H2)-(H4) with s = 1. The authors proved that (1.5) admits a positive radial solution if λ > 0 small enough. For the critical case, we refer to [6] and a recent work [8] of the authors of the present work Main results. In the present paper, we are mainly concerned with the positive solutions of (1.1). First, we consider the subcritical case with the Berestycki-Lions conditions. Precisely, we assume the following hypotheses on g: (H1) g C 1 (R,R); (H2) < liminf τ 0 g(τ) g(τ) τ limsup τ 0 g(τ) τ = m < 0; (H) limsup τ τ 2 s 1 0, where 2 s = 6 2s ; (H4) there exists ξ > 0 such that G(ξ) := ξ 0 g(τ)dτ > 0. Our first result can read as Theorem 1.1. Suppose that g satisfies (H1)-(H4) and 2t+4s. (i) There exists λ 0 > 0 such that, for every λ (0,λ 0 ), system (1.1) admits a nontrivial positive radial solution (u λ,φ λ ). (ii) Along a subsequence, (u λ,φ λ ) converges to (u,0) in H s ( ) D t,2 ( ) as λ 0, where u is a radial ground state solution of (1.2). Remark 1.2. The hypotheses (H2)-(H4) are the so-called Berestycki-Lions conditions, which were introduced in [8] to get the ground state of (1.2) with s = 1. Under (H1)-(H4), X. Chang and Z.-Q. Wang [1] proved the existence of ground state solutions to (1.2) for s (0,1). The hypothesis (H1) is only used to get the better regularity of solutions to (1.2), which can guarantee the Pohozǎev s identity. By the Pohozǎev s identity, (H4) is necessary. Remark 1.. The hypothesis 2t + 4s is just used to guarantee that the Poisson equation ( ) t φ = λu 2 make sense, due to D t,2 ( ) L 2 t ( ). For the details, see Section 2 below. In [8], without the Ambrosetti-Rabinowtiz condition, the authors of the present work considered the existence and concentration of positive solutions to (1.1) in the critical case for s = t = 1. It is natural to wonder if similar results can hold for the critical fractional case. This is just our second goal of the present paper. In the critical case, we assume the following hypotheses on g:

3 (H2) g(τ) lim τ 0 τ (H) lim τ = a < 0; g(τ) τ 2 s 1 = b > 0; FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS (H4) there exists µ > 0 and q < 2 s such that g(τ) bτ2 s 1 +aτ µτ q 1 for all τ > 0. Our second result can read as follows. Theorem 1.4. Suppose that g satisfies (H1), (H2) -(H4). (i) The limit problem (1.2) admits a ground state solution if max{2 s 2,2} < q < 2 s. (ii) Let 2t + 4s, then there exists λ 0 > 0 such that, for every λ (0,λ 0 ), system (1.1) admits a nontrivial positive radial solution (u λ,φ λ ) if max{2 s 2,2} < q < 2 s. (iii) Along a subsequence, (u λ,φ λ ) converges to (u,0) in H s ( ) D t,2 ( ) as λ 0, where u is a radial ground state solution of (1.2). Remark 1.5. In the case s = 1, the hypotheses (H2) -(H4) were introduced in [7] (see also [5]) to obtain the ground state of the scalar field equation u = g(u) in R N. In [4], X. Shang and J. Zhang considered the fractional problem (1.2) in the critical case (see also [5]). With the help of the monotonicity of τ g(τ)/τ, the ground state solutions were obtained by using the Nehari approach. To the best of our knowledge, there are few results in the literature about the ground state of the critical fractional problem (1.2) with a general nonlinearity, particularly without the Ambrosetti-Rabinowtiz condition and the monotonicity of g(τ)/τ. Theorem 1.4 seems to be the first result in this direction. Remark 1.6. Without loss generality, from now on, we assume that a = b = µ = 1. In the rest of the paper, we use the perturbation approach to prove Theorem 1.1 and 1.4. Similar argument also can be found in [8]. The paper is organized as follows. In Section 2 we introduce the functional framework and some preliminary results. In Section we construct the min-max level. In Section 4, we use a perturbation argument to complete the proof of Theorem 1.1. In Section 5, we give the proof of Theorem 1.4. Notations. u p := ( R u p dx ) 1/p for p [1, ). 2 α := 6 2α for any α (0,1). û = F(u) is the Fourier transform of u. 2. Preliminaries and functional setting 2.1. Fractional order Sobolev spaces. The fractional Laplacian ( ) α with α (0,1) of a function φ : R is defined by F(( ) α φ)(ξ) = ξ 2α F(φ)(ξ), ξ, where F is the Fourier transform, i.e., 1 F(φ)(ξ) = (2π) /2 exp( 2πiξ x)φ(x)dx, i is the image unit. If φ is smooth enough, it can be computed by the following singular integral ( ) α φ(x) φ(y) φ(x) = c α P.V. x y +2α dy, x R,

4 4 J. ZHANG, J.M. DO Ó, AND M. SQUASSINA where c α is a normalization constant and P.V. stands the principal value. For any α (0,1), we consider the fractional order Sobolev space { } H α ( ) = u L 2 ( ) : ξ 2α û 2 dξ <, endowed with the norm ( ) 1/2 u α = (1+ ξ 2α ) û 2 dξ, u H α ( ), and the inner product (u,v) α = (1+ ξ 2α )û ˆvdξ, u,v H α ( ). It is easy to know the inner products on H s ( ) u,v R (1+ ξ 2α )û ˆvdξ, u,v ( R uv +( ) α/2 u( ) α/2 v ) dx, are equivalent(see [4]). The homogeneous Sobolev space D α,2 ( ) is defined by D α,2 ( ) = {u L 2 α( ) : ξ α û L 2 ( )}, which is the completion of C 0 (R ) under the norm u 2 D α,2 = ( ) α/2 u 2 2 = ξ 2α û 2 dξ, u D α,2 ( ), and the inner product (u,v) D α,2 = ( ) α/2 u( ) α/2 vdx, u,v D α,2 ( ). For the further introduction on the Fractional order Sobolev space, we refer to [17]. Let H s r( ) = {u H ( ) : u(x) = u( x )}. Now, we introduce the following Sobolev embedding theorems. Lemma 2.1 (see [27]). For any α (0,1), H α ( ) is continuously embedded into L q ( ) for q [2,2 α] and compactly embedded into L q loc (R ) for q [1,2 α). Moreover, H α r ( ) is compactly embedded into L q ( ) for q (2,2 α ). Lemma 2.2 (see [12,17]). For any α (0,1), D α,2 ( ) is continuously embedded into L 2 α ( ), i.e., there exists S α > 0 such that ( ) 2/2 α u 2 α dx Sα ( ) α/2 u 2 dx, u D α,2 ( ) The variational setting. Now, we study the variational setting of (1.1). By Lemma 2.1, H s ( ) L 12/(+2t) ( ) if 2t+4s. Then, for u H s ( ), by Lemma 2.2 the linear operator P : D t,2 ( ) R defined by P(v) = u 2 v u 2 12/(+2t) v 2 C u 2 t s v D t,2,

5 FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS 5 is well defined on D t,2 ( ) and is continuous. Thus, it follows from the Lax-Milgram theorem that there exists a unique φ t u D t,2 ( ) such that ( ) t φ t u = λu 2. Moreover, for x, (2.1) φ t u 2 (y) u(x) := λc t dy, x y 2t where we have set c t = Γ( 2 2t) π 22 2t Γ(t). Formula (2.1) is called the t-riesz potential. Substituting (2.1) into (1.1), we can rewrite (1.1) in the following equivalent form (2.2) ( ) s u+λφ t uu = g(u), u H s ( ). We define the energy functional Γ λ : H s ( ) R by Γ λ (u) = 1 ( ) s/2 u 2 dx+ λ φ t 2 4 uu 2 dx G(u)dx, with G(τ) = τ 0 g(ζ)dζ. Obviously, the critical points of Γ λ are the weak solutions of (2.2). Definition 2.. (1) We call (u,φ) H s ( ) D t,2 ( ) is a weak solution of (1.1) if u is a weak solution of (2.2). (2) We call u H s ( ) is a weak solution of (2.2) if (( ) s/2 u( ) s/2 v +λφ t uuv)dx = g(v)vdx, v H s ( ). Setting T(u) := 1 φ t 4 uu 2 dx, then we summarize some properties of φ t u,t(u), which will be used later. Lemma 2.4. If t,s (0,1) and 2t+4s, then for any u H s ( ), we have (1) u φ t u : H s ( ) D t,2 ( ) is continuous and maps bounded sets into bounded sets. (2) φ t u(x) 0,x and T(u) cλ u 4 s for some c > 0. () T(u( τ )) = τ+2t T(u) for any τ > 0 and u H s ( ). (4) If u n u weakly in H s ( ), then φ un φ u weakly in D t,2 ( ). (5) If u n u weakly in H s ( ), then T(u n ) = T(u)+T(u n u)+o(1). (6) If u is a radial function, so is φ t u. Proof. The proof is similar as that in [1], so we omit the details here.. The subcritical case.1. The modified problem. It follows from Lemma 2.4 that Γ λ is well defined on H s ( ) and is of class C 1. Since we are concerned with the positive solutions of (2.2), similar as that in [8](see also [1]), we modify our problem first. Without loss generality, we assume that 0 < ξ = inf{τ (0, ) : G(τ) > 0}, where ξ is given in (H4). Let τ 0 = inf{τ > ξ : g(τ) = 0} [ξ, ], define g : R R, { g(τ) ifτ [0,τ0 ] g(τ) = 0 ifτ τ 0,

6 6 J. ZHANG, J.M. DO Ó, AND M. SQUASSINA and g(τ) = 0 for τ 0. If u H s ( ) is a solution of (2.2) where g is replaced by g, then by the maximum principle [11] we get that u is positive and u(x) τ 0 for any x, i.e., u is a solution of the original problem (2.2) with g. Thus, from now on, we can replace g by g, but still use the same notation g. In addition, for τ > 0, let then g 2 (τ) mτ for τ 0, g 1 (τ) = max{g(τ)+mτ,0}, g 2 (τ) = g 1 (τ) g(τ), g 1 (τ) g 1 (τ) (.1) lim = 0, lim = 0, τ 0 τ τ + τ 2 s 1 and for any ε > 0, there exists C ε > 0 such that (.2) g 1 (τ) εg 2 (τ)+c ε τ 2 s 1, τ 0. Let G i (u) = u 0 g i(τ)dτ,i = 1,2, then by (.1) and (.2) for any ε > 0 there exists C ε > 0 such that (.) G 1 (τ) εg 2 (τ)+c ε τ 2 s, τ R..2. The limit problem. In the following, we will find the solutions of (2.2) by seeking the critical points of Γ λ. If λ = 0, problem (2.2) becomes (.4) ( ) s u = g(u), u H s ( ), which is referred as the limit problem of (2.2). We define an energy functional for the limiting problems (.4) by L(u) = 1 ( ) s/2 u 2 dx G(u) dx, u H s ( ). 2 In [1], X. Chang and Z.-Q. Wang proved that, with the same assumptions on g in Theorem 1.1, there exists a positive ground state solution U Hr( ) of (.4). Moreover, each such solution U of (.4) satisfies the Pohozǎev identity (.5) 2s 2 ( ) s/2 U 2 dx = G(U)dx. Let S be the set of positive radial ground state solutions U of (.4), then S φ and we have the following compactness result, which plays a crucial role in the proof of Theorem 1.1. Proposition.1. Under the assumptions in Theorem 1.1, S is compact in H s r (R ). As shown in [9], for general s (0,1), we do not have a similar radial lemma in H s r( ). So the Strauss s compactness lemma(see [8]) is not applicable here. Before we prove Proposition.1, we start with the following compactness lemma, which is a special case of [1, Lemma 2.4.] Lemma.2 (see [1]). Assume Q C(R,R) satisfy Q(τ) Q(τ) lim τ 0 τ 2 = lim = 0, τ τ 2 s and there exists a bounded sequence {u n } n=1 Hs r( ) for some v L 1 ( ) with lim Q(u n(x)) = v(x), a.e.x. n Then, up to a subsequence, we have Q(u n ) v strongly in L 1 ( ) as n.

7 FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS 7 Proof of Proposition.1 Let {u n } n=1 S and denote by E the least energy of (.4), then for any n, u n satisfies L(u n ) = E and the Pohozǎev identity (4.5), which implies that E = s ( ) s/2 u n 2 dx and G(u n )dx = 2s E. 2s Obviously, { ( ) s/2 u n 2 } is bounded. It follows from Lemma 2.2 that { u n 2 s } is bounded. By (.), as we can see in [8], { u n 2 } is bounded, which yields that {u n } is bounded in Hr s(r ). Without loss generality, we can assume that there exists u 0 Hr s(r ) such that u n u 0 weakly in Hr(R s ), strongly in L q ( ) for q (2,2 s) and u n (x) u 0 (x) a.e. x. In the following, we adopt some ideas in [8] to prove that u n u 0 strongly in Hr(R s ). For u H s ( ), let J(u) = s ( ) s/2 u 2 dx and V(u) = G(u)dx, then, we know u n is a minimizer of the following constrained minimizing problem { inf J(u) : u Hr(R s ),V(u) = 2s } E. 2s By (.1) and Lemma.2, we get that lim G 1 (u n ) = G 1 (u 0 ). n Then by the Fatou s Lemma, V(u 0 ) 2s 2s E, which implies that u 0 0. Meanwhile, it is easy to know that J(u 0 ) E. Similar as that in [8], we know that u 0 satisfies J(u 0 ) = E and V(u 0 ) = 2s 2s E. It yields that lim G 2 (u n ) = G 2 (u 0 ). n By the Fatou s Lemma, we know u n 2 u 0 2 as n. Thus, u n u 0 strongly in Hr(R s ). The proof is completed... The minimax level. Take U S, let U τ (x) = U( x ),τ > 0, τ then by the definition of Û = F(U), we know Û( τ ) = τ Û(t ). Then ( ) s/2 U τ 2 dx = ξ 2s Û(ξ τ ) 2 = τ 2s ( ) s/2 U 2 dx. By the Pohozǎev s identity, ( τ 2s L(U τ ) = 2s τ ) ( ) 2 6 R s/2 U 2. Thus, there exists τ 0 > 1 such that L(U τ ) < 2 for τ τ 0. Set D λ max τ [0,τ 0 ] Γ λ(u τ ). By virtue of Lemma 2.4, Γ λ (U τ ) = L(U τ )+O(λ). Note that max τ [0,τ0 ]L(U τ ) = E, we get that D λ E, as λ 0 +. Moreover, similar to [8], we can prove the following lemma, which is crucial to define the uniformly bounded set of the mountain pathes(see below).

8 8 J. ZHANG, J.M. DO Ó, AND M. SQUASSINA Lemma.. There exist λ 1 > 0 and C 0 > 0, such that for any 0 < λ < λ 1 there hold Γ λ (U τ0 ) < 2, U τ s C 0, τ (0,τ 0 ], u s C 0, u S. Now, for any λ (0,λ 1 ), we define a min-max value C λ : where C λ = inf γ Υ λ max τ [0,τ 0 ] Γ λ(γ(τ)), Υ λ = { γ C([0,τ 0 ],H s r( )) : γ(0) = 0,γ(τ 0 ) = U τ0, γ(τ) s C 0 +1,τ [0,τ 0 ] }. Obviously, for τ > 0, U τ 2 s = τ 2s ( ) s/2 U 2 2 +τ U 2 2. Then we can define U 0 0, so U τ Υ λ. Moreover, Proposition.4. lim λ 0 +C λ = E. lim sup λ 0 + C λ lim λ 0 +D λ = E. Proof. It suffices to prove that lim inf C λ 0 + λ E. Now, we give the following mountain pass value b = inf γ Υ max τ [0,1] L(γ(τ)), where Υ = { γ C([0,1],Hr(R s )) : γ(0) = 0,γ(1) < 0 }. It follows from [1, Lemma.2] that L satisfies the mountain pass geometry. As we can see in [26], b agrees with the least energy level of (.4), i.e., b = E. Note that φ t u (x) 0,x R, then γ( ) = γ(τ 0 ) Υ for any γ Υ λ. It follows that C λ b, concluding the proof..4. Proof of Theorem 1.1. Now for α,d > 0, define and S d = Γ α λ := {u Hs r (R ) : Γ λ (u) α} { } u Hr(R s ) : inf u v s d. v S In the following, we will find a solution u S d of problem (2.2) for sufficiently small λ > 0 and some 0 < d < 1. The following proposition is crucial to obtain a suitable (PS)-sequence for Γ λ and plays a key role in our proof. Proposition.5. Let {λ i } i=1 be such that lim i λ i = 0 and {u λi } S d with lim Γ λ i (u λi ) E and lim Γ λ i i i (u λi ) = 0. Then for d small enough, there is u 0 S, up to a subsequence, such that u λi u 0 in H s r (R ). Proof. For convenience, we write λ for λ i. Since u λ S d and S is compact, we know {u λ } is bounded in H s r (R ). Then by Lemma 2.4 we see that lim L(u λ) E and lim L (u λ ) = 0. i i It follows from [1, Lemma.] that, there is u 0 Hr(R s ), up to a subsequence, such that u λ u 0 strongly in Hr s(r ). Obviously, 0 S d for d small. This implies that u 0 0, L(u 0 ) E and L (u 0 ) = 0. Thus, L(u 0 ) = E, i.e., u 0 S. The proof is completed.

9 FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS 9 By Proposition.5, for small d (0,1) such that there exist ω > 0,λ 0 > 0 such that (.6) Γ λ (u) s ω for u Γ D λ λ (S d \S d 2) and λ (0,λ 0 ). Similar to [8], we have Proposition.6. There exists α > 0 such that for small λ > 0, where γ(τ) = U( τ ),τ (0,τ 0]. Γ λ (γ(τ)) C λ α implies that γ(τ) S d 2, Proof. From Lemma 2.4 and the Pohozǎev s identity, Then ( τ 2s Γ λ (γ(τ)) = 2 ( τ 2s lim max Γ λ(γ(τ)) = max λ 0 + τ [0,τ 0 ] τ [0,τ 0 ] 2 The conclusion follows. 2s τ ) ( ) 6 R s/2 U 2 +λτ +2t T(U). 2s τ ) ( ) 6 R s/2 U 2 = E. Similarly as that in [8], thanks to (.6) and Proposition.6, we can prove the following proposition, which assures the existence of a bounded Palais-Smale sequence for Γ λ. Proposition.7. For λ > 0 small enough, there exists {u n } n Γ D λ λ Sd such that Γ λ (u n) 0 as n. Proof of Theorem 1.1 concluded. It follows from Proposition.7 that there exists λ 0 > 0 such that for λ (0,λ 0 ), there exists {u n } Γ D λ λ Sd with Γ λ (u n) 0 as n. Noting that S is compact in Hr s(r ), we get that {u n } is bounded in Hr s(r ). Assume that u n u λ weakly in Hr s(r ), then Γ λ (u λ) = 0. It follows from the compactness of S that u λ S d and u n u λ s d for n large. So u λ 0 for small d > 0. By Lemma 2.4, Γ λ (u n ) = Γ λ (u λ )+Γ λ (u n u λ )+o(1). Noting that G 2 (τ) m 2 τ2 for any τ R, it follows from (.) that for some C > 0, Γ λ (u n u λ ) 1 ( ( ) s/2 (u n u λ ) 2 + m 2 4 u n u λ 2 )dx C u n u λ 2 s dx. Then by Lemma 2.2, for small d > 0, it is easy to verify that Γ λ (u n u λ ) 0 for large n. So u λ Γ D λ λ Sd with Γ λ (u λ) = 0. Thus u λ is a nontrivial solution of (2.2). Finally, by Proposition.5 we can get the asymptotic behavior of u λ as λ 0 +. The proof is completed. 4. The critical case In this section, we consider the Schrödinger-Possion system (1.1) in the critical case. First, we establish the existence of ground state solutions to the fractional scalar field equation (1.2) with a general critical nonlinear term. Then by the perturbation argument, we seek the solutions of (1.1) in some neighborhood of the ground states to (1.2).

10 10 J. ZHANG, J.M. DO Ó, AND M. SQUASSINA 4.1. The limit problem. In this subsection, we use the constraint variational approach to seek the ground state solutions of (1.2). Similar argument also can be found in [8,18,7]. Let T(u) = 1 ( ) s/2 u 2 dx, V(u) = G(u)dx. 2 We recall that U is said to be a ground state solution of (1.2) if and only if I(U) = m 0, where m 0 := inf{i(u) : u H s ( )\{0} is a solution of (1.2)} and I(u) = T(u) V(u). The existence of ground state is reduced to look at the constraint minimization problem (4.1) M := inf{t(u) : V(u) = 1,u H s ( )} and eventually to remove the Lagrange multiplier by some appropriate scaling. Now, we state the main result in this subsection. Theorem 4.1. Let s (0,1) and assume that (H2) -(H4) and (H0) g C(R,R) and g is odd, i.e., g( τ) = g(τ) for τ R. Then (1.2) admits a positive ground state solution. Remark 4.2. Since we are concerned the positive solution of (1.2), (H0) can be replaced by (H0) : g C(R +,R). Moreover, similar to Theorem 4.1, a similar result in R N (N > 2s) also can be obtained. Proof of Theorem 4.1. The proof follows the lines of that in [7]. For the completeness, we give the details here. Step 1. Let M begiven by (4.1) and S s be the Sobolev best constant in Lemma 2.2 for s (0,1), then we claim that 0 < M < 1 ( ) 2s 2 2 s S s. First, we prove that {u H s ( ) : V(u) = 1} φ. By [14,2], S s can be achieved by 2s U ε (x) = κε 2s 2 µ 2 + for any ε > 0, where κ R,µ > 0 are fixed constants. Let ϕ C0 (R ) is a cut-off function with support B 2 such that ϕ 1 on B 1 and 0 ϕ 1 on B 2, where B r := {x : x < r}. Let ψ ε (x) = ϕ(x)u ε (x), it follows from [2] that (4.2) Let ψ ε 2 s = Ss /(2s) +O(ε ), then ( ) s/2 v ε 2 2 S s +O(ε 2s ). Let x εs 1 2s s 2 ( ) s/2 ψ ε 2 = S /(2s) s +O(ε 2s ). v ε = ψ ε ψ ε 2 s, Γ ε := 1 q v ε q q 1 2 v ε 2 2, then by (H4) we have V(v ε ) 1 2 s +Γ ε. In the following, we will show that (4.) lim = +. ε 2s ε 0 Γ ε 2,

11 FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS 11 By max{2 s 2,2} < q < 2 s, we know that ( 2s)q >. Then it is easy to know there exist C 1 (s),c 2 (s) > 0 such that Then, we obtain v ε q q 1 ψ ε q U ε q C 1 (s)ε 2s q 2 2 s B 1 = O(ε ( 2s)q 2 ), v ε ψ ε 2 U ε 2 C 2 (s)ε 2s 2 s B 2 O(ε 2s ), if s < 4 ; = O(ε 2s ln 1 ε ), if s = 4 ; O(ε 2s ), if s > 4. 1 εs 1/(2s) s 0 2 εs 1/(2s) s Γ ε O(ε ( 2s)q 2 ), if s (0,1). 0 r 2 (µ 2 +r 2 ) 2s 2 r 2 (µ 2 +r 2 ) 2sdr Noting that max{2 s 2,2} < q < 2 s, it is easy to verify that (4.) is true. Thus, it follows that V(v ε ) > 0 for small ε > 0. By a scaling, we get that {u H s ( ) : V(u) = 1} φ. Next, obviously, M (0,+ ). For small ε > 0, V(v ε ) > 0, then q dr M T(v ε) (V(v ε )) 2 2 s 1 ( ) s/2 v ε ( ) Γ 2 s ε s 1 2 (2 s ) 2 1+O(ε 2 ss N 2s ) s. (1+2 s Γ ε) 2 2 s If p 1, then (1+t) p 1+p(1+t) 1+p t, for all t 1. It follows from (4.) that ( 1+O(ε N 2s ) )2 s s 2 (1+O(εN 2s )) 1+ 2 s 2 O(ε N 2s ) < 2 s Γ ε, for small ε > 0, which yields 1+O(ε N 2s ) < (1+2 ( sγ ε ) 2/2 ) 2s s. Then M < s S s. Step 2. M can be achieved. Noting that g is odd and the Fractional Polya-Szegö inequality [0], without loss of generality, we can assume that there exists a positive minimizing sequence {u n } H s r( ) such that V(u n ) = 1 and T(u n ) M as n. By Lemma 2.2, it is easy to know that {u n } is bounded in H s r( ). By Lemma 2.1, we can assume that u n u 0 weakly in H s ( ), strongly in L q ( ) and a.e. in. Set v n = u n u 0, then T(u n ) = T(v n )+T(u 0 )+o(1), and u n 2 s 2 s = v n 2 s 2 s + u 0 2 s 2 s +o(1), u n 2 2 = v n u o(1), where o(1) 0 as n. Let f(s) = g(s) s 2 s 1 +s, then it follows from Lemma.2 that F(u n ) = F(u 0 )+ F(v n )+o(1). So, V(u n ) = V(v n )+V(u 0 )+o(1). Next, we prove u 0 is the minimizer for M. Set S n = T(v n ),S 0 = T(u 0 ),V(v n ) = λ n,v(u 0 ) = λ 0, we have λ n = 1 λ 0 +o(1) and S n = M S 0 +o(1). Under a scale change, we get that (4.4) T(u) M(V(u)) 2s,

12 12 J. ZHANG, J.M. DO Ó, AND M. SQUASSINA for all u H s ( ) and V(u) 0. By (4.4) we have λ 0 [0,1]. If λ 0 (0,1), then by (4.4) again, M = lim (S 0 +S n ) n ( ) lim M (λ 0 ) 2s +(λ n ) 2s n ) = M ((λ 0 ) 2s +(1 λ 0 ) 2s > M(λ 0 +1 λ 0 ) = M, which is a contradiction. On the other hand, if λ 0 = 0, then S 0 = 0, which implies u 0 = 0. Then lim sup v n 2 2 (2 s s ) 2s n and M = 1 2 lim n ( )s/2 v n (2 s) 2s ( ) s/2 v n 2 2 lim inf n v n (2 s) 2s S s. s which is again a contradiction. Then we conclude λ 0 = 1, i.e., M is achieved by u 0. Finally, let U( ) = u 0 ( /σ 0 ), where σ 0 = ( 2s M ) 1/2, then U is a ground state solution of (1.2). The proof is completed. Remark 4.. Furthermore, similar as that in [1], if we assume that g C 1 (R,R) additionally, U satisfies the Pohozǎev identity 2s (4.5) ( ) s/2 U 2 dx = G(U)dx. 2 Similar as that in [26,7], U is also a mountain pass solution. Let S 1 be the set of positive radial ground state solutions U of (1.2), then similar to Step 2 in the proof of Theorem 4.1, we have the following compactness result. Proposition 4.4. Under the assumptions in Theorem 4.1, S 1 is compact in H s r( ) Proof of Theorem 1.4. In the following, we are ready to prove Theorem 1.4. Similar to Section, take U S 1, let U τ (x) = U( x ),τ > 0, τ then there exists τ 1 > 1 such that I(U τ ) < 2 for τ τ 1. Set D 1 λ max τ [0,τ 1 ] Γ λ(u τ ), there exist λ 2 > 0 and C 1 > 0 such that for any 0 < λ < λ 2, φ Υ λ = { γ C([0,τ 1 ],H s r (R )) : γ(0) = 0,γ(τ 1 ) = U τ1, γ(τ) s C 1 +1,τ [0,τ 1 ] }. Then for any λ (0,λ 1 ), we define a min-max value C 1 λ : Similar to Section, we have C 1 λ = inf γ Υ λ max τ [0,τ 1 ] Γ λ(γ(τ)). Proposition 4.5. lim λ 0 +C1 λ = lim λ 0 +D1 λ = m, where m is the least energy of (1.2).

13 FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS 1 Now for α,d > 0, define and S d 1 = Γ α λ := {u Hs r( ) : Γ λ (u) α} { } u Hr(R s ) : inf u v s d. v S 1 Similar as that in Section, for small λ > 0 and some 0 < d < 1, we will find a solution u S d 1 of (2.2) in the critical case. Similar to [8], we can get the following compactness result, which can yield the gradient estimate of Γ λ. Proposition 4.6. Let {λ i } i=1 be such that lim i λ i = 0 and {u λi } S d 1 with lim Γ λ i (u λi ) m and lim Γ λ i i i (u λi ) = 0. Then for d small enough, there is u 1 S 1, up to a subsequence, such that u λi u 1 in H s r (R ). Proof. For convenience, we write λ for λ i. Since u λ S d 1 and S 1 is compact, we know {u λ } is bounded in H s r (R ). Moreover, up to a subsequence, there exists u 1 S d 1 such that u λ u 1 weakly in H s ( ), a.e. in and u λ u 1 s d for i large. Then by Lemma 2.4 we see that lim I(u λ) m and lim I (u λ ) = 0. i i Then I (u 1 ) = 0. Obviously, u 0 0 if d small. So I(u 1 ) m. Meanwhile, thanks to Lemma.2, I(u λ ) = I(u 1 )+I(u λ u 1 )+o(1), then we have I(u λ u 1 ) = 1 2 u λ u 1 2 s 1 2 λ u 1 s u 2 s 2 +o(1) o(1). s ThenbyLemma2.2, fordsmallenough, u λ u 1 strongly inh s r (R ). Theproofiscompleted. By Proposition 4.6, for small d (0,1) there exist ω 1 > 0,λ 2 (0,λ 1 ) such that (4.6) Γ λ (u) s ω 1 for u Γ D1 λ λ (S d 1 \S d 2 1 ) and λ (0,λ 2 ). Similar to Section, we have Proposition 4.7. There exists α 1 > 0 such that for small λ > 0, where γ(τ) = U( τ ),τ (0,τ 1]. Γ λ (γ(τ)) C 1 λ α 1 implies that γ(τ) S d 2 1, Proof of Theorem 1.4 concluded. With the help of (4.6) and Proposition 4.7, similarly as that in [8], for λ > 0 small enough, there exists {u n } n Γ D1 λ λ S d 1 such that Γ λ (u n) 0 as n. Similar as above, there exists u λ S d 1 with u λ 0 for small d > 0. Moreover, up to a subsequence, u n u λ weakly in H s r (R ) and a.e. in, and u n u λ s d for n large. Furthermore, Γ λ (u λ) = 0. By Lemma 2.4, Γ λ (u n ) = Γ λ (u λ )+Γ λ (u n u λ )+o(1). By (H2) -(H), for some C > 0, Γ λ (u n u λ ) 1 ( ( ) s/2 (u n u λ ) u n u λ 2 )dx C u n u λ 2 s dx.

14 14 J. ZHANG, J.M. DO Ó, AND M. SQUASSINA Then by Lemma 2.2, liminf n Γ λ (u n u λ ) 0 for small d > 0. So u λ Γ D1 λ λ S1 d with Γ λ (u λ) = 0. Thus u λ is a nontrivial solution of (2.2). The asymptotic behavior of u λ follows from Proposition 4.6. The proof is completed. References [1] A. Ambrosetti, On Schrödinger-Poisson systems, Milan J. Math. 76 (2008), [2] D. Applebaum, Lévy processes-from probability theory to finance and quantum groups, Notices of the American Math Soc., 51 (2004), [] A. Azzollini, A. Pomponio, Ground state solutions for the nonlinear Schrödinger-Maxwell equations, J. Math. Anal. Appl. 45 (2008), [4] A. Azzollini, P. d Avenia, A. Pomponio, On the Schrödinger-Maxwell equations under the effect of a general nonlinear term, Ann. Inst. H. Poincare Anal. Nonlineaire 27 (2010), [5] C.O. Alves, M.A.S. Souto, M. Montenegro, Existence of a ground state solution for a nonlinear scalar field equation with critical growth, Calc. Var. PDE 4 (2012), [6] J. Bellazzini, T. Ozawa, N. Visciglia, Ground states for semi-relativistic Schrödinger-Poisson-Slater energy, arxiv: v2. 2 [7] V. Benci, D. Fortunato, An eigenvalue problem for the Schrödinger-Maxwell equations, Topol. Meth. Nonlinear Anal. 11 (1998), [8] H. Berestycki, P.L. Lions, Nonlinear scalar field equations I. Existence of a ground state, Arch. Ration. Mech. Anal. 82 (198), , 5, 6, 7, 10 [9] Y. Cho and T. Ozawa, Sobolev inequalities with symmetry, Commun. Contemp. Math., 11 (2009), [10] G. Cerami, G. Vaira, Positive solutions for some non-autonomous Schrödinger-Poisson systems, J. Differential Equations 248 (2010), [11] X. Cabré and Y. Sire, Nonlinear equations for fractional Laplacians: I. Regularity, maximum principle and Hamiltonian estimates, Ann. Inst. H. Poincare Anal. Nonlineaire 1 (2014), [12] A. Cotsiolis and N. K. Tavoularis, Best constants for Sobolev inequalities for higher order fractional derivatives, J. Math. Anal. Appl., 295 (2004), [1] X. Chang and Z.-Q. Wang, Ground state of scalar field equations involving a fractional Laplacian with general nonlinearity, Nonlinearity, 26 (201), , 5, 6, 8, 12 [14] A. Cotsiolis and N. K. Tavoularis, Best constants for Sobolev inequalities for higher order fractional derivatives, J. Math. Anal. Appl., 295 (2004), [15] P. d Avenia, G. Siciliano, M. Squassina, On fractional Choquard equations Math. Models Methods Appl. Sci., to appear. 2 [16] T. D Aprile, J. Wei, On bound states concentrating on spheres for the Maxwell-Schrödinger equation, SIAM J. Math. Anal. 7 (2005), [17] E. Di Nezza, G. Palatucci, E. Valdinoci, Hitchhiker s guide to the fractional Sobolev spaces, Bull. Sci. Math. 16 (2012), [18] S. Dipierro, G. Palatucci and E. Valdinoci, Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian, Le Matematiche, LXVIII (201), [19] A. Elgart, B. Schlein, Mean field dynamics of boson stars, Comm. Pure Appl. Math. 60 (2007), [20] R.L. Frank, E. Lenzmann, On ground states for the L 2 -critical boson star equation, arxiv: [21] R.L. Frank, E. Lenzmann, Uniqueness and non degeneracy of ground states for ( ) s Q+Q Q α+1 = 0 in R. Acta Math. 210 (201), [22] R.L. Frank, E. Lenzmann, L. Silvestre, Uniqueness of radial solutions for the fractional laplacian, Comm. Pure. Appl. Math., to appear 1 [2] J. Fröhlich, B. L. G. Jonsson, E. Lenzmann, Boson stars as solitary waves, Comm. Math. Phys. 274 (2007), [24] A.R. Giammetta, Fractional Schrödinger-Poisson-Slater system in one dimension, preprint. 1 [25] I. Ianni, Sign-changing radial solutions for the Schrödinger-Poisson-Slater problem, Top. Meth. Nonlinear Anal. 41 (201), [26] L.Jeanjean, K.Tanaka, Aremark onleast energysolution inr N, Proc. Amer. Math. Soc.1(2002), , 12 [27] P. L. Lions, Symétrie et compacité dans les espaces de Sobolev, J. Funct. Analysis, 49 (1982), [28] N. Laskin, Fractional Schrödinger equation, Physical Review E, 66 (2002),

15 FRACTIONAL SCHRÖDINGER-POISSON SYSTEMS 15 [29] R. Metzler, J. Klafter, The random walk guide to anomalous diffusion: a fractional dynamics approach, Phys. Rep. 9 (2000), [0] Y.J. Park, Fractional Polya-Szegö inequality, J. Chungcheong Math. Soc., 24 (2011), [1] D. Ruiz, The Schrödinger-Poisson equation under the effect of a nonlinear local term, J. Funct. Anal. 27 (2006), [2] R. Servadei and E. Valdinoci, The Brezis-Nirenberg result for the fractional Laplacian, Trans. Amer. Math. Soc. 67 (2015), [] S. Secchi, M. Squassina, Soliton dynamics for fractional Schrödinger equations, Applicable Analysis 9 (2014), [4] X. Shang and J. Zhang, Ground states for fractional Schrödinger equations with critical growth, Nonlinearity 27 (2014), , 4 [5] X. Shang, J. Zhang and Y. Yang, On fractional Schrö dinger equation in R N with critical growth, J. Math. Phys. 54 (201), [6] J. Zhang, On the Schrödinger-Poisson equations with a general nonlinearity in the critical growth, Nonlinear Analysis 75 (2012), [7] J. Zhang, W. Zou, A Berestycki-Lions theorem revisited, Comm. Contemp. Math. 14 (2012), , 10, 12 [8] J. J. Zhang, J. M. do Ó and M. Squassina, Schrodinger-Poison systems involving critical growth, submitted, arxiv: ,, 7, 9, 1 (J. J. Zhang) School of Science Chongqing Jiaotong University Chongqing , PR China and Chern Institute of Mathematics Nankai University Tianjin 00071, PR China address: zhangjianjun09@tsinghua.org.cn (J.M. do Ó) Department of Mathematics Federal University of Paraíba , João Pessoa-PB, Brazil address: jmbo@pq.cnpq.br (M. Squassina) Dipartimento di Informatica Università degli Studi di Verona, Cá Vignal 2, Strada Le Grazie 15, I-714 Verona, Italy address: marco.squassina@univr.it