arxiv: v2 [math.ap] 13 Jun 2018

Transcription

1 The fractional Schrödinger equation with Hardy-type potentials and sign-changing nonlinearities Bartosz Bieganowski arxiv: v [math.ap] 13 Jun 018 icolaus Copernicus University, Faculty of Mathematics and Computer Science, ul. Chopina 1/18, Toruń, Poland Abstract We look for solutions to a fractional Schrödinger equation of the following form ( ( ) α/ u+ V(x) µ ) x α u = f(x,u) K(x) u q u on R \{0}, where V is bounded and close-to-periodic potential and µ x α is a Hardy-type potential. We assume that V is positive and f has the subcritical growth but not higher than u q u. If µ is positive and small enough we find a ground state solution, i.e. a critical point of the energy being minimizer on the ehari manifold. If µ is negative we show that there is no ground state solutions. We are also interested in an asymptotic behaviour of solutions as µ 0 + and K 0. Keywords: ground state, variational methods, ehari manifold, fractional Schrödinger equation, periodic and localized potentials, Hardy inequality, sign-changing nonlinearity 010 MSC: 35Q55, 35A15, 35J0, 35R11, 58E05 1. Introduction We consider the following nonlinear, fractional Schrödinger equation with external, Hardy-type potential ( ( ) α/ u+ V(x) µ ) x α u = f(x,u) K(x) u q u on R \{0} (1.1) where α (0,), µ R and > α, with u H α/ (R ). The fractional Schrödinger equation arises in many models from mathematical physics, e.g. nonlinear optics, quantum mechanics, nuclear physics (see e.g. [18, 30, 33, 39, 40, 46, 5, 56, 58, 59] and references therein). We focus on the external potential of the form V(x) µ x, where V L (R ) is close-to-periodic potential and µ α x is Hardy-type potential. ote that α the Hardy-type potential does not belong to the Kato s class, hence it is not a lower order perturbation of the operator +V(x) (see [45]). The fractional Laplacian can be defined via Fourier multiplier ξ α, i.e. the operator ( ) α/, for a function ψ : R R, is given by the Fourier transform by the formula ( ) F ( ) α/ ψ (ξ) := ξ α ˆψ(ξ), address: bartoszb@mat.umk.pl (Bartosz Bieganowski) Preprint submitted to Elsevier June 14, 018

2 where Fψ(ξ) := ˆψ(ξ) := e iξ x ψ(x)dx R denotes the usual Fourier transform. When ψ : R R is rapidly decaying smooth function, it can be defined by the principal value of the singular integral ( ) α/ ψ(x) ψ(y) ψ(x) = c,α P.V. dy, (1.) R x y +α where c,α := α Γ ( ) +α π / Γ( α/) > 0. Here, Γ denotes the Gamma function, i.e. a function defined for complex numbers z with Re(z) > 0 by the formula Γ(z) := x z 1 e x dx 0 and extended to a meromorphic function on the set C \ {0, 1,,...}. Both definitions of the fractional Laplacian are equivalent, i.e. on L (R ) they give operators with common domain and they coincide on this domain (see [35]). It is known that ( ) α/ reduces to as α (see [16]). In this paper we identify ( ) α/ with the classical Laplace operator for α =. In what follows we will use the following characterization of the fractional Sobolev space, for 0 < α < : H α/ (R ) := { u L (R ) : R R u(x) u(y) } dxdy + u(x) dx < x y +α R with the associated scalar product: H α/ (R ) H α/ (R (u(x) u(y))(v(x) v(y)) ) (u,v) R R x y +α dxdy + u(x)v(x)dx R. R See e.g. [10, 16] for more background about the fractional Laplace operator and fractional Sobolev spaces. Equation (1.1) describes the behaviour of the so-called standing wave solutions Φ(x,t) = u(x)e iωt of the following time-dependent fractional Schrödinger equation i Φ ( t = ( )α/ Φ+ V(x) µ ) x α +ω Φ g(x, Φ ). Such an equation was introduced by Laskin by expanding the Feynman path integral from the Brownian-like to the Lévy-like quantum mechanical paths (see [36, 37]). The time-dependent equation is also intensively studied (see e.g. [8, 38]). The nonlinearity f satisfies the following conditions: (F1) f : R R R is measurable, Z -periodic in x R and continuous in u R for a.e. x R, moreover there are c > 0 and < q < p < α := α such that (F) f(x,u) = o( u ) uniformly in x as u 0 +, (F3) F(x,u)/ u q uniformly in x as u, f(x,u) c(1+ u p 1 ) for all u R, x R,

3 (F4) u f(x,u)/ u q 1 is increasing on (,0) and on (0, ). ote that our conditions imply that for every ε > 0 there is C ε > 0 such that f(x,u)u ε u +C ε u p. (1.3) To study the asymptotic behaviour of solutions we need additionaly the following assumption: (F5) for a.e. x R the function f(x, ) is of C 1 -class and there are < r p and c > 0 such that for all u R and a.e. x R. f(x,u)u F(x,u) b u r and f u (x,u) c(1+ u p ) We impose on K the following condition: (K) K L (R ) is Z -periodic in x R, K(x) 0 for a.e. x R. In what follows the external potential V satisfies: (V ) V L (R ) is the sumv = V loc +V per, wherev per L (R ) isz -periodic inx R andv loc (x) 0 as x ; moreover V 0 := essinf x R V(x) > 0. Moreover V loc L s (R ), where s α. In view of (V ) the following norm u := c,α u(x) u(y) dxdy + R R x y +α R V(x) u(x) dx (1.4) is equivalent to the classic one in H α/ (R ). Moreover, if V loc = 0, is Z -invariant, i.e. for any z Z. u = u( z) Recall that u H α/ (R ) is a weak solution to (1.1) if for every function ϕ C0 (R ) there holds (u(x) u(y))(ϕ(x) ϕ(y)) u(x)ϕ(x) c,α R R x y +α dxdy + V(x)u(x)ϕ(x)dx µ R R x α dx ( f(x,u)ϕ K(x) u q uϕ ) dx = 0. R It is classical to check that the functional J : H α/ (R ) R given by J(u) := c R R,α u(x) u(y) x y +α dxdy + 1 V(x) u(x) dx 1 µ R R x α u(x) dx I(u), 3

4 where I(u) := R ( F(x,u(x)) 1 q K(x) u(x) q) dx, is of C 1 -class and critical points of J are solutions of (1.1). We are looking for a groud state solution, i.e. a critical point being a minimizer of J on the ehari manifold := {u H α/ (R )\{0} : J (u)(u) = 0}. (1.5) Obviously contains all nontrivial critical points, hence a ground state is the least energy solution. The classical Schrödinger equation (the case α = ) has been studied by many authors; see for instance [1, 6, 9, 1, 13, 34, 41, 43, 44, 54, 55] and references therein. In the local case, the Schrödinger equation appears also as an approximation of the Maxwell equation. The fractional case has been also widely investigated in [, 5, 7, 14, 15, 1 3, 5, 31, 47, 51, 57]; see also references therein. There is a lot of results concerning the case Γ = 0 and µ = 0. The existence of nontrivial solutions was obtained by S. Secchi in [48] for a subcritical f C 1 (R R) satisfying the Ambrosetti-Rabinowitz type condition 0 < µf(x,u) < uf(x,u) for µ > and a coercive potential V C 1 (R ). The ehari manifold method was also introduced in [48] with the classical monotonicity condition: t t 1 uf(x,tu) is increasing on (0, ). The variational setting for fractional equations was also provided in [50]. M. Cheng proved in [11] that (1.1) has a nontrivial solution for the subcritical nonlinearity f(x,u) = u p 1 u+ωu and a coercive potential V(x) > 1 for a.e. x R. He showed also that there is a ground state solution being minimizer on the ehari manifold for 0 < ω < λ, where λ = infσ(a) and σ(a) is the spectrum of the self-adjoint operator A := ( ) α/ +V(x) on L (R ). For f(x,u) = u p 1, where p is a subcritical exponent, there is a positive and spherically symmetric solution (see [17]). The uniqueness of ground states Q = Q( x ) 0 of an equation ( ) α/ Q+Q Q β+1 = 0 in R was obtained by R.L. Frank and E. Lenzmann in [4]. Recently, S. Secchi proved the existence of radially symmetric solution of ( ) α/ u+v(x)u = g(u) for g which does not satisfy the Ambrosetti-Rabinowitz condition ([49]). Such a result was known before for α = and constant potentials V ([4]). The local case α = with V loc = 0, Γ = 0 and q = has been studied by Q. Guo and J. Mederski (see [9]) using Cerami sequences under more general assumption on V = V per that zero lies in the spectral gap of +V(x). In our case the nonlinear term depends on x, does not satisfy the Ambrosetti-Rabinowitz condition and the classical monotonicity condition is violated, moreover the potential is singular and the term µ x α does not belong to the Kato s class. Our main tool, which allows us to deal with such potentials, is the fractional Hardy inequality. This fact has been intensively studied by many authors (see for instance [8, 19, 0, 6, 7]). To deal with the sign-changing behaviour we use the variational setting based on the ehari manifold technique from [6]. ow we state our main results concerning the existence of ground state solutions depending on the sign of V loc and the sign of µ < µ, where µ is a constant defined below. Theorem 1.1. Suppose that (V ), (K) (F1) (F4) are satisfied, V loc 0 or V loc < 0, and 0 µ < µ. Then (1.1) has a ground state, i.e. there is a nontrivial critical point u of J such that J(u) = inf J. 4

5 Theorem 1.. Suppose that (V ), (K), (F1) (F4) are satisfied, µ < 0 and V loc (x) > µ x α for a.e. x R \{0}, in particular V loc > 0 can be considered. Then (1.1) has no ground states. We are also interestend in the behaviour of solutions in asymptotic cases. Theorem 1.3. Suppose that (V ), (F1) (F5) are satisfied, V loc 0 and µ = 0. Moreover assume that every function in the sequence (K n ) satisfies (K) and K n 0 in L (R ). If u n is a ground state solution of (1.1) with K K n, then there is a sequence (z n ) Z such that u n ( z n ) u 0 in H α/ (R ), where u 0 is a ground state solution of (1.1) with K 0. Theorem 1.4. Suppose that (V ), (K), (F1) (F5) are satisfied, V loc 0. Moreover assume that the sequence (µ n ) satisfies 0 µ n < µ and µ n 0. If u n is a ground state solution of (1.1) with µ = µ n, then there is a sequence (z n ) Z such that u n ( z n ) u 0 in H α/ (R ), where u 0 is a ground state solution of (1.1) with µ = 0. To our best knowledge, Theorems 1.1 and 1. were known before only for α =, V loc 0, q = and K 0 (see [9]). Similarly as in Section 6 we can show Theorem 1.3 in the local case (α = ), which is a new result. Theorem 1.4 has been shown before only for α =, q = and K 0 (see [9]). Let us briefly describe the structure of this paper. In the second section we introduce some preliminary facts - the fractional Hardy inequality and the variational setting, which allows us to deal with sign-changing nonlinearities. The third section concerns the analysis of bounded Palais-Smale sequences. In the fourth section we provide the proof of Theorem 1.1 using preliminary facts and the decomposition of Palais-Smale sequences. The fifth section contain the proof of Theorem 1.. In sixth and seventh sections we provide proofs of Theorems 1.3 and Preliminary facts Let us recall the fractional Hardy inequality, which is the main tool and allows us to deal with Hardy-type potentials. Lemma.1 ([6][Theorem 1.1]). There is H,α > 0 such that for every u H α/ (R ) and > α there holds u(x) u(y) R R R x y +α dxdy H u(x),α x α dx. Moreover, in view of [6], the sharp constant H,α can be estabilished and it is equal ) H,α = π /Γ( +α Γ( α/) 4 Γ ( α 4 ) Γ ( +α ). 5

6 Define ote that in the local case (α = ) we obtain µ = 4 ( ( Γ +α ) µ := H,α c,α = α 4 )) Γ (. α 4 ( ( Γ ) Γ ( 4 ) 1 ) ( = ) = ( ). 4 This same constant has been obtained in [9] and it is the sharp constant in the Hardy inequality in H 1 (R ). Lemma.. Let 0 µ < µ. There exists 1 > D,α,µ > 0 such that for any u H α/ (R ) D,α,µ u u µ R u x α dx u. Proof. We have Put In view of Lemma.1 Then µ < µ means that Then On the other hand From (.1) we have u = c,α Combining (.) and (.3) we obtain u(x) u(y) dxdy + R R x y +α R u µ := u u µ x α dx. R V(x) u dx. u(x) u(y) R c,α R R x y +α dxdy c u(x),αh,α x α dx. 1 1 µ c,α H,α > 0. u(x) u(y) R u(x) c,α dxdy µ dx (.1) R R x y +α x α ( µ 1 )c R R u(x) u(y),α dxdy 0. c,α H,α x y +α u µ (1 µ )c R R u(x) u(y),α dxdy. (.) c,α H,α x y +α u µ V(x)u dx. (.3) R u µ = 1 u µ+ 1 u µ 1 ( µ 1 )c R R u(x) u(y),α c,α H,α x y +α dxdy + 1 V(x)u dx R 1 ( ) µ 1 u. c,α H,α 6

7 We will briefly introduce the abstract setting from [6]. Suppose that E is a Hilbert space with respect to the norm E. Let us consider a functional J : E R of the general form J(u) = 1 u E I(u), where I : E R is of C 1 -class. The ehari manifold for the functional J is given by = {u E \{0} : J (u)(u) = 0}. Let us recall a critical point theorem from [6], which is based on the approach of [53], [4] and [3]. Theorem.3 ([6][Theorem.1]). Suppose that the following conditions hold: (J1) there is r > 0 such that a := inf u E=rJ(u) > J(0) = 0; (J) there is q such that I(t n u n )/t q n for any t n and u n u 0 as n ; (J3) for t (0, )\{1} and u (J4) J is coercive on. t 1 I (u)(u) I(tu)+I(u) < 0; Then inf J > 0 and there exists a bounded minimizing sequence for J on, i.e. there is a sequence (u n ) such that J(u n ) inf J and J (u n ) 0. From the proof of [6][Theorem.1] it follows that for every u E \{0} there is unique number t(u) > 0 such that t(u)u. Moreover the function m : {u E : u E = 1} given by m(u) = t(u)u is an homeomorphism. We will check that (J1) (J4) are satisfied for (E, E ) = ( H α/ (R ), µ ), provided that 0 µ < µ. Lemma.4. Let 0 µ < µ and assume that (F1) (F4), (K) and (V ) are satisfied. (J1) (J4) are satisfied for (E, E ) = ( H α/ (R ), µ ). Proof. (J1) Fix ε > 0. Observe that (F1) and (F) implies that F(x,u) ε u +C ε u p for some C ε > 0. Therefore 1 F(x,u)dx R R q Γ(x) u q dx F(x,u)dx C µ (ε u µ +C ε u p µ ), R for some constant C µ > 0 provided by the Sobolev embedding theorem and Lemma.. Thus there is r µ > 0 such that 1 F(x,u)dx R R q Γ(x) u q dx 1 4 u µ for u µ r µ. Therefore J(u) 1 4 u µ = 1 4 r µ > 0 for u µ = r µ. (J) By (F3) and Fatou s lemma we get I(t n u n )/t q F(x,t n u n ) n = R t q dx 1 Γ(x) u n q dx. n q R 7

8 (J3) Fix u and consider ψ(t) = t 1 I (u)(u) I(tu)+I(u) for t 0. Then ψ(1) = 0 and dψ(t) = tf(x,u)u f(x,tu)udx+(t q 1 t) Γ(x) u q dx. dt R R Since u f(x,u)udx Γ(x) u q dx = u µ > 0. R R Therefore, for t > 1, we have dψ(t) < t q 1 f(x,u)u f(x,tu)udx = t q 1 f(x,u)u f(x,tu)u dt R R t q 1 dx < 0, by (F4). Similarly dψ(t) dt > 0 for t < 1. Therefore ψ(t) < ψ(1) = 0 for t 1, i.e. t 1 I (u)(u) I(tu)+I(u) < 0. (J4) Let (u n ) be a sequence such that u n µ as n. (F3) implies that f(x,u)u = q u 0 f(x,u) u q 1 sq 1 ds q u 0 f(x,s) s q 1 sq 1 ds = qf(x,u) for u 0 and similarly f(x,u)u qf(x,u) for u < 0. Therefore J(u n ) = 1 u n µ F(x,u n )dx+ 1 Γ(x) u n q dx = R q R ( 1 = 1 ) u n µ q + 1 R q f(x,u n)u n F(x,u n )dx as n, since q >. ( 1 1 q ) u n µ The following fact is very useful to deal with the Hardy-type term and plays a very important role in the proof of the decomposition result. Lemma.5. If x n, then for any u H α/ (R ), R 1 x α u( x n) dx 0. Proof. Let ϕ m C 0 (R ) and ϕ m u in H α/ (R ) as m. Take R m > 0 large enough that suppϕ m B(0,R m ). Obviously, for any m there is n(m) such that x n(m) R m m and n(m) is increasing. We get 1 R x α ϕ m( x n ) 1 dx = R x+x n α ϕ m 1 dx = B(0,R m) x+x n α ϕ m dx 1 ( x n R m ) α ϕ m dx 1 B(0,R m) m α ϕ m dx 0 R 8

9 We have R 1 x α u( x n) dx = x α u( x n) ϕ m ( x n ) 1 dx+ R x α ϕ m( x n ) dx R 1 R 1 x α u( x n) ϕ m ( x n ) dx+o(1). In view of the fractional Hardy inequality we obtain 1 R x α u( x n) ϕ m ( x n ) dx 1 R R u(x) ϕ m (x) u(y)+ϕ m (y) H,α x y +α dxdy 0, since ϕ m u in H α/ (R ). 3. Profile decomposition of bounded Palais-Smale sequences The main theorem in this section is a modification of the decomposition results from [6][Theorem 4.1] and [5][Theorem 3.1], in the spirit of [3]. We consider the functional J : H α/ (R ) R of the form where the norm is defined by J(u) = 1 u µ u = c,α R u x α dx G(x,u)dx, R u(x) u(y) dxdy + R R x y +α R V(x)u dx. The norm is associated with the following scalar product u(x) v(y) u,v := c,α dxdy + V(x)u(x)v(x)dx. R R x y +α R We suppose that G(x,u) = u 0 g(x,s)ds, where g : R R R satisfies: (G1) g(,u) is measurable and Z -periodic in x R, g(x, ) is continuous in u R for a.e. x R ; (G) g(x,u) = o( u ) as u 0 + uniformly in x R ; (G3) there exists < r < α such that lim u g(x,u)/ u r 1 = 0 uniformly in x R ; (G4) for each a < b there is a constant c > 0 such that g(x,u) c for a.e. x R and a u b. We will also denote J (u) = J(u) 1 R V loc (x) u dx. Theorem 3.1. Suppose that (G1) (G4) and (V ) hold and 0 µ < µ. Let (u n ) be a bounded Palais-Smale sequence for J. Then passing to a subsequence of (u n ), there exist an integer l > 0 and sequences (y k n ) Z, w k H α/ (R ), k = 1,...,l such that: (a) u n u 0 and J (u 0 ) = 0; 9

10 (b) y k n and y k n y k n for k k ; (c) w k 0 and J (w k ) = 0 for each 1 k l; (d) u n u 0 l wk ( y k n ) 0 in Hα/ (R ) as n ; (e) J(u n ) J(u 0 )+ l J (w k )+ µ l w R k x dx. α Remark 3.. ote that (G) (G4) imply that for every ε > 0 there is C ε > 0 such that for any u R and a.e. x R. g(x,u) ε u +C ε u r 1 Remark 3.3. In view of Remark 3. and continuous Sobolev embeddings there is constant ρ > 0 such that v ρ > 0 for every nontrivial, critical point of J on H α/ (R ). It is also true for J. Proof. Step 1: We may find a subsequence of (u n ) such that u n u 0, where u 0 H α/ (R ) is a critical point of J. Since (u n ) H α/ (R ) is bounded, we may assume that (up to a subsequence) u n u 0 in H α/ (R ) and u n (x) u 0 (x) for a.e. x R, for some u 0 H α/ (R ). Take any ϕ C0 (R ) and observe that J (u n )(ϕ) J (u n u 0 )ϕ (u 0 )(ϕ) = u n u 0,ϕ µ R x α dx (g(x,u n ) g(x,u 0 ))ϕdx. R By the weak convergence we have that u n u 0,ϕ 0. Moreover, for any measurable set E suppϕ we have g(x,u n )ϕ dx C( u n ϕχ E + u n r 1 r ϕχ E r ) E and therefore by the Vitali convergence theorem (g(x,u n ) g(x,u 0 ))ϕdx 0. suppϕ In view of the Hardy inequality (Lemma.1), (u n ) is bounded in L (R, dx x α ), hence we may assume that Thus u n u 0 in L (R, ) dx x α. (u n u 0 )ϕ µ R x α dx 0. Hence J (u n )(ϕ) J (u 0 )(ϕ) and therefore J (u 0 ) = 0. Step : Let v 1 n = u n u 0. Suppose that sup z R B(z,1) Then u n u 0 and (a) (e) hold for l = 0. Let vn 1 = u n u 0 and suppose that sup vn 1 dx 0. z R B(z,1) v 1 n dx 0. (3.1) 10

11 Observe that and therefore J (u n )(vn 1 ) = u n,vn 1 µ u n v 1 n R x α dx g(x,u n )vn 1 dx R = vn 1 + u 0,vn 1 µ u n v 1 n R x α dx g(x,u n )vn 1 dx R vn 1 = J (u n )(vn R 1 )+ (g(x,u n ) g(x,u 0 ))vn 1 dx+µ (u n u 0 )vn 1 R x α dx. We have J (u n )(v 1 n ) 0, since u n is a Palais-Smale sequence. Moreover, the Vitali convergence theorem and the Lion s lemma ([48][Lemma.4]) imply R (g(x,u n ) g(x,u 0 ))v 1 ndx 0. Hence Recall that, for µ < µ we have v 1 n = µ D,α,µ v 1 n v 1 n µ R v 1 n x α dx+o(1). R v 1 n dx = o(1). x α Therefore u n u 0 in H α/ (R ) and by the continuity of J we have J(u n ) J(u 0 ). Step 3: Suppose that there is a sequence (z n ) Z such that lim inf v 1 n dx > 0. B(z n,1+ ) Then there is w H α/ (R ) such that (up to a subsequence): (i) z n, (ii) u n ( +z n ) w 0, (iii) J (w) = 0. (i) and (ii) are standard. Put v n = u n ( +z n ) and denote that J (v n)(ϕ) J (w)(ϕ) = (v n w)ϕ = v n w,ϕ (g(x,v n ) g(x,w))ϕdx µ R R x α By the weak convergence v n w,ϕ 0. By the Vitali convergence theorem R (g(x,v n ) g(x,w))ϕdx 0. Take a measurable set E supp ϕ and observe that R V loc (x)(v n w)ϕ χ E dx V loc and therefore by the Vitali convergence theorem suppϕ R V loc (x)(v n w)ϕdx dx V loc (x)(v n w)ϕdx. R v n w ϕχ E dx V loc v n w ϕχ E

12 Hence J (v n )(ϕ) J (w)(ϕ) (v n w)ϕ = µ R x α dx+o(1). Again, in view of the Hardy inequality (Lemma.1), we may assume that v n w in L (R, dx x α ), thus (v n w)ϕ R x α dx 0. Thus J (v n )(ϕ) J (w)(ϕ). We need to show that J (v n )(ϕ) 0. In this purpose observe that J (u n )(ϕ( z n )) 0, since (u n ) is a Palais-Smale sequence. On the other hand 0 J (u n )(ϕ( z n )) u n ϕ( z n ) = v n,ϕ g(x,v n )ϕdx V loc (x)v n ϕdx+ V loc (x)u n ϕ( z n )dx µ R R R R x α dx = J (v u n ϕ( z n ) n)(ϕ)+ V loc (x+z n )v n ϕdx µ R R x α dx. By the Vitali convergence theorem we have R V loc (x+z n )v n ϕdx 0. ) Moreover, in view of the Hölder inequality, boundedness of (u n ) in L (R dx, x and Lemma.5 we have α ( u n ϕ( z n ) R x α dx u ) 1 ( n R x α dx ϕ( z n ) R x α Finally J (v n )(ϕ) 0. Thus J (w) = 0. Then, ) 1 dx 0. Step 4: Suppose that there exist m 1, (y k n) Z, w k H α/ (R ) for 1 k m such that (1) if sup z R B(z,1) () if there is (z n ) Z such that y k n, yk n yk n for k k, u n ( +y k n) w k 0, for each 1 k m, J (wk ) = 0, for each 1 k m. un u 0 m wk ( yn) k dx 0 as n, then m u n u 0 w k ( yn) k 0; lim inf B(z n,1+ ) m u n u 0 w k ( yn) k then there is w m+1 H α/ (R ) such that (up to subsequences): dx > 0, 1

13 (i) z n, z n y k n, for 1 k m, (ii) u n ( +z n ) w m+1 0, (iii) J (w m+1 ) = 0. Put ξ n = u n u 0 m wk ( y k n ). (1) In view of Lion s lemma ([48][Lemma.4]) ξ n 0 in L r (R ). ote that and therefore J (u n )(ξ n ) = ξ n + u 0,ξ n + ξ n = J (u n )(ξ n ) m w k ( yn k ),ξ u n ξ n n µ R x α dx g(x,u n )ξ n dx R m w k ( yn k ),ξ (u n u 0 )ξ n n + (g(x,u n ) g(x,u 0 ))ξ n dx+µ R R x α dx. We have J (u n )(ξ n ) 0, since (u n ) is a Palais-Smale sequence. Since J (w k ( y k n)) = 0 we have w k ( yn),ξ k n = g(x,w k ( yn))ξ k n dx+ V loc (x)w k ( y k w k ( y n)ξ n dx+µ n)ξ k n R R R x α dx and therefore m ξ n = o(1) g(x,w k )ξ n ( +yn)dx k R + (g(x,u n ) g(x,u 0 ))ξ n dx+µ R We can easily show that m (u n u 0 )ξ n R x α R V loc (x)w k ( y k n)ξ n dx dx µ m w k ( yn)ξ k n R x α m m g(x,w k )ξ n ( +yn k )dx V loc (x)w k ( yn k )ξ ndx+ (g(x,u n ) g(x,u 0 ))ξ n dx 0, R R R dx. hence ξ n (u n u 0 )ξ n = µ R x α dx µ m R w k ( y k n )ξ n x α dx+o(1) = µ R ξ n x α dx+o(1). Since µ < µ we have and therefore () Suppose that lim inf R D,α,µ ξ n ξ n ξ n µ dx = o(1) x α B(z n,1+ ) ξ n 0 in H α/ (R ). m u n u 0 w k ( yn) k dx > 0. Then (i) and (ii) hold as in Step 3. Put v n = u n ( +z n ). Then for ϕ C 0 (R ) we have and J (v n )(ϕ) 0 as in Step 3. J (v n )(ϕ) J (w m+1 )(ϕ) 0 13

14 Step 5: Conclusion. In view of Step 1, we know that u n u 0 and J (u 0 ) = 0, which completes the proof of (a). If condition (3.1) from Step holds, then u n u 0 and theorem is true for l = 0. On the other hand, one has lim inf v 1 n dx > 0 B(y n,1) for some (y n ) R. For each y n R we may find z n Z such that Then lim inf B(z n,1+ ) B(y n,1) B(z n,1+ ). vn 1 dx liminf v n 1 dx > 0. B(y n,1) Therefore in view of Step 3 we find w such that (i) (iii) hold. Let yn 1 = z n and w 1 = w. If (1) from Step 4 holds with m = 1, then (b) (d) are true. Otherwise () holds and we put (yn ) = (z n) and w = w. Then we iterate the Step 4. To complete the proof of (b) (d) it is sufficient to show that this procedure will finish after a finite number of steps. Indeed, observe that lim u n u 0 m w k m = lim u n u 0 w k ( yn) k for each m 1. Since w k are critical points of J, there is ρ 0 > 0 such that w k ρ 0 > 0, so after a finite number of steps, say l steps, condition (1) in Step 4 will hold. Step 6: We will show that (e) holds: 0 ote that l J(u n ) J(u 0 )+ J (w k ). J(u n ) = J(u 0 )+J(u n u 0 )+ 1 u n u 0,u u 0,u n u 0 (u n u 0 )u 0 + [G(x,u n u 0 )+G(x,u 0 ) G(x,u n )] dx µ R R x α dx. Since u n u 0 we have 1 u 1 n u 0,u 0 0, u 0,u n u 0 0. Thus (u n u 0 )u 0 J(u n ) = J(u 0 )+J(u n u 0 )+ [G(x,u n u 0 )+G(x,u 0 ) G(x,u n )] dx µ R R x α dx+o(1). Let us consider the function H : R [0,1] R given by H(x,t) = G(x,u n tu 0 ). Therefore ote that G(x,u n u 0 ) G(x,u n ) = H(x,1) H(x,0) = R [G(x,u n u 0 )+G(x,u 0 ) G(x,u n )]dx = = = R 0 1 R H s (x,s)ds. [ 1 ] H s (x,s)ds+g(x,u 0) dx H s (x,s)dsdx+ G(x,u 0 )dx 0 R g(x,u n su 0 )u 0 dxds+ G(x,u 0 )dx. R R

15 Let E R be a measurable set. From the Hölder inequality we have g(x,u n su 0 )u 0 dx C u n su 0 u 0 dx+c u n su 0 r 1 u 0 dx E E C (u n su 0 )χ E u 0χ E +C (u n su 0 )χ E r 1 r u 0 χ E r. Then (g(x,u n su 0 )u 0 ) is uniformly integrable and by the Vitali convergence theorem we get 1 1 g(x,u n su 0 )u 0 dxds g(x,u 0 su 0 )u 0 dxds. 0 R 0 R On the other hand we we have 1 0 R g(x,u 0 su 0 )u 0 dxds = = = 1 R 0 1 E g(x,u 0 su 0 )u 0 dsdx R 0 s [G(x,u 0 su 0 )] dsdx G(x,0) G(x,u 0 )dx = G(x,u 0 )dx. R R Finally [G(x,u n u 0 )+G(x,u 0 ) G(x,u n )]dx [G(x,u 0 ) G(x,u 0 )]dx = 0. R R We obtained that J(u n ) = J(u 0 )+J (u n u 0 )+ 1 V loc (x)(u n u 0 ) (u n u 0 )u 0 dx µ R R x α dx+o(1). For a measurable set E R there holds V loc (x) u n u 0 dx V loc χ E s u n u 0 s, s 1 where s s s α. While s 1 and s 1 = 1 1 s E 1 α and in view of the Vitali convergence theorem we have Hence Since u n u 0 in L (R, dx x α ), we have Hence = α, we have that (u n u 0 ) is bounded in L s s 1 (R ) R V loc (x)(u n u 0 ) dx 0. (u n u 0 )u 0 J(u n ) = J(u 0 )+J (u n u 0 ) µ R x α dx+o(1). R (u n u 0 )u 0 x α dx 0. J(u n ) = J(u 0 )+J (u n u 0 )+o(1). We obtain that J (u n u 0 ) = l J (w k ( yn k ))+o(1) in the same way. Thus J(u n ) = J(u 0 )+ = J(u 0 )+ l J (w k ( yn k ))+o(1) l J (w k ) µ l R w k ( yn) k 15 x α dx+ µ l R w k x α dx+o(1).

16 From Lemma.5 we have and therefore µ J(u n ) = J(u 0 )+ l R w k ( y k n ) x α dx 0 l J (w k )+ µ l R w k x α dx+o(1). 4. Existence of solutions Proof of Theorem 1.1. From Theorem.3 there is a bounded minimizing sequence (u n ) such that J (u n ) 0, J(u n ) c, where c = inf J > 0. Suppose that V loc 0. Then J = J and in view of Theorem 3.1 we have l c J(u n ) J(u 0 )+ J(w k )+ µ l R w k x α dx J(u 0)+lc. If u 0 0 we obtain c (l + 1)c and l = 0, thus u 0 is a ground state solution. If u 0 = 0 we obtain J(u 0 ) = J(0) = 0 and c lc. Since c > 0, we have l = 1 and w k 0 is a ground state. Suppose now that V loc < 0. Denote c = inf J > 0. As in [6] we can show that c > c. Indeed, take a critical point u 0 of J such that J (u ) = c. Let t > 0 be such that tu. While V(x) < V loc (x), we obtain c = J (u ) J (tu ) > J(tu ) c > 0. Then c J(u n ) J(u 0 )+ l J (w k )+ µ l R w k Since c > c, we have l = 0 and u 0 0 is a ground state solution. x α dx J(u 0)+lc. 5. onexistence of ground states Proof of Theorem 1.. Suppose that u is a ground state solution of (1.1). Denote by J per the energy functional with µ = 0 and V loc 0, and let per be the corresponding ehari manifold. Let t > 0 be such that tu 0. Then c per := inf per J per J per (tu) = J(tu) 1 R V loc (x) tu dx+ µ R tu dx < J(tu) J(u) =: c. x α Fix z Z and u per per. Then there is t(z) > 0 such that t(z)u per ( z). Observe that ( 1 R t(z) q u 0 u 0 (x z) ) µ x α dx = 1 t(z) q f(x,t(z)u 0 )t(z)u 0 dx 1 R t(z) q K(x) t(z) q u 0 q dx R 1 t(z) q qf(x,t(z)u 0 )dx K(x) u 0 q dx R R F(x,t(z)u 0 ) = q R t(z) q dx K(x) u 0 q dx. R 16

17 The right hand side tends to as t(z), while the left hand side stays bounded. Hence (t(z)) is bounded if z. Hence, take any sequence (z n ) Z such that z n. We may assume that t(z n ) t 0 as n and t 0 0. Observe that, in view of Lemma.5, J per (u per ) = J per (u per ( z)) J per (t(z)u per ( z)) = J(t(z)u per ( z)) t(z) R V loc (x) u per (x z) dx+ µ t(z) R u per (x z) x α dx c t(z) R V loc (x+z) u per dx+ µ t(z) R u per (x z) x α dx c+o(1). Taking infimum over u per per we obtain c per < c c per - a contradiction. 6. Asymptotic behaviour of ground states as K n 0 Let (K n ) be a sequence of functions such that for every K n the condition (K) holds and K n 0 in L (R ). Denote by J n the energy functional for K K n. Lemma 6.1. Suppose that (F1), (F) and (V ) hold. Then there is a positive radius r > 0 such that a := inf inf J n(u) > 0. n 1 u µ=r Proof. Fix ε > 0. From (1.3) we have F(x,u) ε u +C ε u p for some C ε > 0. Therefore, in view of Sobolev inequalities, F(x,u)dx K n (x) u q dx F(x,u)dx C ( ε u µ +C ε u p ) µ R R R for some C > 0. Hence, there is r > 0 such that F(x,u)dx K n (x) u q dx 1 R R 4 u µ for u µ r. Hence for u µ = r. J n (u) r 4 Recall that for any n 1 there is a ground state solution u n in the corresponding ehari manifold n (Theorem 1.1). By J 0 and 0 we denote the energy functional and the corresponding ehari manifold for the problem with K 0. In view of Theorem 1.1 there is a ground state also for J 0. Lemma 6.. Assume that (F1) (F4) and (V) hold. We have lim inf J n = inf J 0. n 0 17

18 Proof. Let c n = inf n J n > 0 and c 0 = inf 0 J 0 > 0. From Theorem 1.1 there are u n n and u 0 0 such that J n (u n ) = c n, J 0 (u 0 ) = c 0. Take t n > 0 such that t n u n 0 and observe that c n = J n (u n ) J n (t n u n ) = J 0 (t n )+t q n K n (x) u n q dx c 0 +t q n K n (x) u n q dx. R R ow, take t n > 0 such that t nu 0 n and note that c 0 = J 0 (u 0 ) J 0 (t nu 0 ) = J n (t nu 0 ) (t n) q K n (x) u 0 q dx c n (t n) q R Hence c 0 c 0 +t q n R K n (x) u n q dx c n c 0 +(t n )q R K n (x) u 0 q dx. R K n (x) u 0 q dx. (6.1) We will show that (t n ) is bounded. Suppose by contradiction that, up to a subsequence, t n. Since t nu 0 n we have that t nu 0 µ f(x,t nu 0 )t nu 0 dx+ K n (x) t nu 0 q dx = 0. R R Thus 0 = u 0 t n q f(x,t nu 0 )u 0 R t n q 1 dx+ K n (x) u 0 q f(x,t dx = o(1) nu 0 )u 0 R R t n q 1 dx. This contradiction shows that (t n ) is bounded and therefore in view of (6.1) c n c 0. Lemma 6.3. For every choice of ground states u n of J n, the sequence (u n ) is bounded in H α/ (R ). Proof. Suppose that u n µ. Then ( c 0 = lim J n(u n ) = lim J n (u n ) 1 ) q J n(u n )(u n ) [( 1 = lim 1 ) u n µ q + 1 ] f(x,u n )u n qf(x,u n )dx q R [( 1 lim 1 ) ] u n µ q - a contradiction. Proof of Theorem 1.3. Let µ = 0 and V loc 0. We claim that there is a sequence (y n ) Z such that lim inf u n dx > 0. B(y n,1+ ) Indeed, suppose that it is not true. From the fractional Lion s lemma we have u n 0 in L t (R ) for < t < α. 18

19 Since u n n, we have u n = f(x,u n )u n dx K n (x) u n q dx R R ε u n +C ε u n p p K n (x) u n q dx R εlimsup u n and taking ε 0 + we obtain u n 0, and therefore u n 0 in H α/. However, in view of Lemma 6.1 we have ) u n J n (u n ) J n (r a > 0 u n and on the other hand - a contradiction. Thus lim sup J n (u n ) = limsup F(x,u n )dx 0 R lim inf B(y u n dx > 0 n,1+ ) for some (y n ) Z. Then, in view of Lemma 6.3, (up to a subsequence) there is u 0 such that u n ( +y n ) u in L loc (R ), u n ( +y n ) u in H α/ (R ), u n (x+y n ) u(x) for a.e. x R. Denote w n := u n ( +y n ). Take any ψ C0 (R ). We have J 0(w n )(ψ) = J n(u n )(ψ( y n )) K n (x) u n q u n ψ( y n )dx = K n (x) u n q u n ψ( y n )dx. R R Moreover K n (x) u n q u n ψ( y n )dx K n u n q 1 ψ( y n ) dx K n w n q q 1 ψ q. R R Therefore J 0(w n )(ψ) K n w n q q 1 ψ q The sequence (w n ) is bounded in H α/ (R ) (see Lemma 6.3), which implies boundedness in L q (R ). Hence J 0(w n )(ψ) 0. On the other hand - we have J 0(w n )(ψ) = w n,ψ suppψ f(x,w n )ψdx+ K n (x) w n q w n ψdx. suppψ In view of the weak convergence w n u we have w n,ψ 0. Take any measurable set E suppψ and note that f(x,w n )ψ dx C w n ψ + wn p 1 ψ dx C ( w n ψχ E + w n p 1 ) p ψχ E p. E Hence, for every ε > 0 there is δ > 0 such that for E < δ f(x,w n )ψ dx < ε. E E 19

20 Thus, in view of the Vitali convergence theorem f(x,w n )ψdx Similarly suppψ w q 1 suppψ for sufficiently small δ > 0 and E < δ. Hence wn q w n ψdx Thus suppψ suppψ f(x,u)ψdx. n ψ dx w n q q 1 ψχ E q < ε suppψ J 0 (w n)(ψ) J 0 (u)(ψ). Therefore J 0(u)(ψ) = 0 and u is the critical point of J 0. Put u q uψdx. c 0 := inf 0 J 0, c n := inf n J n = J n (u n ). In view of Lemma 6., we have c n c 0 as n, i.e. J n (u n ) c 0. The Fatou s lemma gives ( c 0 = liminf J n(u n ) = liminf J n (u n ) 1 ) J n(u n )(u n ) [ ( 1 1 = lim inf f(x,w n )w n F(x,w n )dx R 1 ) ] K n (x) u n q dx q R 1 [ ] [ ( 1 liminf f(x,w n )w n F(x,w n )dx +liminf R 1 ) ] K n (x) u n q dx q R = 1 [ ] liminf f(x,w n )w n F(x,w n )dx 1 [f(x,u)u F(x,u)]dx R R [ ] 1 = f(x,u)u F(x,u) dx+ 1 J 0(u)(u) = J 0 (u) c 0. R (6.) Thus u is a ground state for J 0, i.e. J 0 (u) = c 0. ow we are going to show that u n w in H α/ (R ). We have w n u = J n(u n )[w n ( y n ) u( y n )] u,w n u f(x,w n )(w n u)dx+ K n (x) w n q w n [w n u]dx R R By the weak convergence, we have u,w n u 0. Moreover and Therefore J n (u n)[w n ( y n ) u( y n )] = J n (u n)(u n ) J n (u n)(u( y n )) = J n (u n)(u( y n )) J n (u n)(u( y n )) = 0. w n u = f(x,w n )(w n u)dx+ K n (x) w n q w n [w n u]dx+o(1). R R Since c n c 0, we have that c n = J n (u n ) is bounded. Moreover (w n ) is bounded. Put G(x,u) := 1 f(x,u)u F(x,u) 0. 0

21 ote that R G(x,w n ) G(x,w n u)dx = = R d dt G(x,w n u+tu)dtdx R g(x,w n u+tu)udxdt, where g(x,u) := ug(x,u). Observe that From (F5) we see that g(x,u) = 1 f u(x,u)u+ 1 f(x,u) f(x,u) = 1 f u(x,u)u 1 f(x,u). f u(x,w n u+tu)(w n u+tu) c( w n u+tu + w n u+tu p 1 ). (6.3) Since (w n u+tu) n is bounded in H α/ (R ), taking (F1), (6.3) and Hölder inequality into account we see that for every ε > 0 there is δ > 0 such that g(x,w n u+tu)u dx < ε E for every n and every measurable subset E R such that E < δ. Therefore (g(x,w n u + tu)u) n is uniformly integrable. Moreover for any ε > 0 there is a measurable subset E R of finite measure E <, such that for any n 1 g(x,w n u+tu)u dx < ε. R \E Thus (g(x,w n u+tu)u) n is tight on R. Hence, in view of the Vitali convergence theorem g(x,w n u+tu)udx g(x,tu)udx. R R Hence Recall that, in view of (6.) Hence By (F5) we have R G(x,w n ) G(x,w n u)dx = 1 0 R g(x,tu)udxdt R g(x,tu)udtdx = G(x,u)dx. 0 R 1 [ ] c 0 = lim G(x,w n )dx = G(x,u)dx. R R w n u r r = R G(x,w n u)dx 0. R w n u r dx b R G(x,w n u)dx 0. Hence w n u in L r (R ). From the continuous embedding H α/ (R ) L t (R ) for t [1, α], we know that (w n ) is bounded in L t (R ) for every 1 t α. In particular, (w n) is bounded in L (R ) and in L α (R ), 1

22 so in view of Hölder inequality w n u in every L t (R ) for t (, ). ote that for every δ > 0 there is C δ > 0 such that f(x,w n )(w n u)dx δ w n w n u dx+c δ w n R R p 1 w n u dx R δ w n w n u +C δ w n p 1 p w n u p δlimsup( w n w n u ). Taking δ 0 + we obtain Moreover f(x,w n )(w n u)dx 0. R K n (x) w n q w n [w n u]dx K n w n R R q 1 w n u dx K n w n q 1 q w n u q 0, since (w n ) is bounded in L q (R ). Therefore w n u = f(x,w n )(w n u)dx+ K n (x) w n q w n [w n u]dx+o(1) 0. R R 7. Asymptotic behaviour of ground states as µ 0 Proof of Theorem 1.4. The proof is similar to proof of Theorem 1.3 and [9][Theorem 1.], hence we provide only a sketch of the reasoning. Let J n be the energy functional with µ = µ n. For any n 1 there is ground state u n in the corresponding ehari manifold n. We also denote by J 0 the energy with µ = 0 and by u 0 0 the ground state for J 0 in the corresponding ehari manifold 0. Similarly as in [9] we show that Then we provide the following inequality c n := J n (u n ) J 0 (u 0 )+ µ n inf inf J n(u) > 0. n 1 u =r R t n u 0 x α dx c n + µ n R t n u 0 x α dx, where t n > 0 is such that t n u n 0. Again, as in [9], using the fractional Hardy inequality (Lemma.1) we show that µ R n t n u 0 dx 0. x α Hence c n c 0 := J 0 (u 0 ). As in proof of Theorem 1.3 we show that there is a sequence (y n ) Z such that lim inf u n dx > 0 and B(y n,1+ ) u n ( +y n ) u in L loc(r ), u n ( +y n ) u in H α/ (R ), u n (x+y n ) u(x) for a.e. x R. Using the fractional Hardy inequality and Lemma.5 we can repeat the reasoning from the proof of Theorem 1.3 and show that u n ( +y n ) u in H α/ (R ) and u is a ground state for J 0.

23 Acknowledgement. The author was partially supported by the ational Science Centre, Poland (Grant o. 017/5//ST1/00531). References References [1] S. Alama, Y. Y. Li: On "multibump" bound states for certain semilinear elliptic equations, Indiana Univ. Math. J. 41, (199), no. 4, [] V. Ambrosio: Ground states for superlinear fractional Schrödinger equations in R, arxiv: [3] T. Bartsch, J. Mederski: Ground and bound state solutions of semilinear time-harmonic Maxwell equations in a bounded domain, Arch. Rational Mech. Anal. 15 (1), (015), [4] H. Berestycki, P.-L. Lions: onlinear scalar field equations. I. Existence of a ground state, Arch. Rational Mech. Anal. 8 (1983), no. 4, [5] B. Bieganowski: Solutions of the fractional Schrödinger equation with a sign-changing nonlinearity, J. Math. Anal. Appl. 450 (017), [6] B. Bieganowski, J. Mederski: onlinear Schrödinger equations with sum of periodic and vanishing potentials and sign-changing nonlinearities, Commun. Pure Appl. Anal. 17, no 1 (018), [7] Z. Binlin, M. Squassina, Z. Xia: Fractional LS equations with magnetic field, critical frequency and critical growth, manuscripta math. 155, Issue 1, [8] K. Bogdan, B. Dyda: The best constant in a fractional Hardy inequality, Math. achr. 84 (011), o. 5-6, [9] B. Buffoni, L. Jeanjean, C. A. Stuart: Existence of a nontrivial solution to a strongly indefinite semilinear equation, Proc. Amer. Math. Soc. 119 (1993), no. 1, [10] X. Cabré, Y. Sire: onlinear equations for fractional Laplacians I: regularity, maximum principles, and Hamiltonian estimates, Ann. Inst. H. Poincaré Anal. on Linéaire 31, (014), [11] M. Cheng: Bound state for the fractional Schrödinger equation with unbounded potential, J. Math. Phys. 53, (01). [1] V. Coti-Zelati, P. Rabinowitz: Homoclinic type solutions for a semilinear elliptic PDE on R n, Comm. Pure Appl. Math. 45, (199), no. 10, [13] P. d Avenia, J. Mederski: Positive ground states for a system of Schrödinger equations with critically growing nonlinearities, Calc. Var. Partial Differential Equations 53 (015), no. 3-4, [14] J. Dávila, M. del Pino, S. Dipierro, E. Valdinoci: Concentration phenomena for the nonlocal Schrödinger equation with Dirichlet datum, Anal. PDE 8 (015), no. 5, [15] J. Dávila, M. del Pino, J. Wei: Concentrating standing waves for the fractional nonlinear Schrödinger equation, J. Differential Equations 56 (014), no.,

24 [16] E. Di ezza, G. Palatucci, E. Valdinoci: Hitchhiker s guide to the fractional Sobolev spaces, Bulletin des Sciences Mathematiques 136 (01), no. 5, [17] S. Dipierro, G. Palatucci, E. Valdinoci: Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian, Le Matematiche 68, (013), no. 1. [18] E.C. de Oliveira, J.Jr. Vaz: Tunneling in fractional quantum mechanics, J. Phys. A: Math. Theor. 44 (011), [19] B. Dyda: A fractional order Hardy inequality, Ill. J. Math. 48 (004), no., [0] B. Dyda, A.V. Vähäkangas: A framework for fractional Hardy inequalities, Annales Academiæ Scientiarum Fennicæ Mathematica, Vol. 39 (014), [1] J.M. do Ó, O.H. Miyagaki, M. Squassina: Critical and subcritical fractional problems with vanishing potentials, Commun. in Contemp. Math. 18, (016), DOI: [] M.M. Fall, F. Mahmoudi, E. Valdinoci: Ground states and concentration phenomena for the fractional Schrödinger equation, onlinearity 8 (015), no. 6, [3] M.M. Fall, E. Valdinoci: Uniqueness and ondegeneracy of Positive Solutions of ( ) s u+u = u p in R when s is close to 1, Comm. Math. Phys. 39 (014), no. 1, [4] R.L. Frank, E. Lenzmann: Uniqueness of non-linear ground states for fractional Laplacians in R, Acta Math. 10, no., (013), [5] R.L. Frank, E. Lenzmann, L. Silvestre: Uniqueness of Radial Solutions for the Fractional Laplacian, Comm. Pure Appl. Math., Vol. 69, Issue 9 (016), [6] R.L. Frank, R. Seiringer: on-linear ground state representations and sharp Hardy inequalities, J. Funct. Anal. 55, Issue 1 (008), [7] R.L. Frank, R. Seiringer: Sharp Fractional Hardy Inequalities in Half-Spaces, In: Laptev A. (eds) Around the Research of Vladimir Maz ya I. International Mathematical Series, Vol 11 (010), Springer, ew York, Y [8] I. Guedes: Solution of the Schrödinger equation for the time-dependent linear potential, Phys. Rev. A 63, (001), [9] Q. Guo, J. Mederski: Ground states of nonlinear Schrödinger equations with sum of periodic and inversesquare potentials, J. Differential Equations 60 (016), no. 5, [30] X. Guo, M. Xu: Some physical applications of fractional Schrödinger equation, J. Math. Phys. 47, (006), [31] X. He, M. Squassina, W. Zou: The ehari manifold for fractional systems involving critical nonlinearities, Commun. Pure Applied Anal. 15, (016), [3] L. Jeanjean, K. Tanaka: A positive solution for a nonlinear Schrödinger equation on R, Indiana Univ. Math. Journal 54 (), (005),

25 [33] K. Kowalski, J. Rembieliński: Relativistic massless harmonic oscillator, Phys. Rev. A 81 (010), [34] W. Kryszewski, A. Szulkin, Generalized linking theorem with an application to semilinear Schrödinger equation, Adv. Diff. Eq. 3, (1998), [35] M. Kwaśnicki: Ten equivalent definitions of the fractional Laplace operator, Fract. Calc. Appl. Anal., Vol 0, no 1 (017), [36]. Laskin: Fractional quantum mechanics and Lévy path integrals, Phys. Lett. A 68, (000). [37]. Laskin: Fractional Schrödinger equation, Phys. Rev. E 66, (00). [38] A. Liemert, A. Kienle: Fractional Schrödinger Equation in the Presence of the Linear Potential, Mathematics 4, (016), 31. [39] S. Longhi: Fractional Schrödinger equation in optics., Opt. Lett. 40 (015), [40] Y. Luchko: Fractional Schrödinger equation for a particle moving in a potential well, J. Math. Phys. 54 (013), [41] J. Mederski: Ground states of a system of nonlinear Schrödinger equations with periodic potentials, Comm. Partial Differential Equations 41 (016), no. 9, [4] J. Mederski: Ground states of time-harmonic semilinear Maxwell equations in R 3 with vanishing permittivity, Arch. Rational Mech. Anal. 18 (), (015), [43] J. Mederski: Solutions to a nonlinear Schrödinger equation with periodic potential and zero on the boundary of the spectrum, Topol. Methods onlinear Anal. 46, (015), [44] P.H. Rabinowitz: On a class of nonlinear Schrödinger equations, Z. Angew. Math. Phys. 43, (199), [45] M. Reed, B. Simon: Methods of Modern Mathematical Physics, Analysis of Operators, Vol. IV, Academic Press, ew York, [46] R.W. Robinett: Quantum mechanical time-development operator for the uniformly accelerated particle, Am. J. Phys. 64, (1996), [47] X. Ros-Oton, J. Serra: The Dirichlet problem for the fractional Laplacian: regularity up to the boundary, J. Math. Pures Appl. 101 (014), [48] S. Secchi: Ground state solutions for nonlinear fractional Schrödinger equations in R, Journal of Mathematical Physics 54, (013); doi: / [49] S. Secchi: On fractional Schrödinger equations in R without the Ambrosetti-Rabinowitz condition, Topol. Methods onlinear Anal. 47, (016), [50] R. Servadei, E. Valdinoci: Mountain Pass solutions for non-local elliptic operators, J. Math. Anal. Appl. 389, (01), [51] X. Shang, J. Zhang: Ground states for fractional Schrödinger equations with critical growth, onlinearity, Vol. 7, no., (014). 5

26 [5] B.A. Stickler: Potential condensed-matter realization of space-fractional quantum mechanics: The onedimensional Lévy crystal, Phys. Rev. E 88 (013), [53] A. Szulkin, T. Weth: Ground state solutions for some indefinite variational problems, J. Funct. Anal. 57, (009), no. 1, [54] X.H. Tang: on-ehari manifold method for superlinear Schrödinger equation, Taiwanese J. Math., Vol. 18, no 6 (014), [55] X.H. Tang: Infinitely many solutions for semilinear Schrödinger equations with sign-changing potential and nonlinearity, J. Math. Anal. Appl. 401, Issue 1 (013), [56] J. Tare, J.P.H. Esguerra: Transmission through locally periodic potentials in space-fractional quantum mechanics, Physica A 407 (014), [57] C.E. Torres Ledesma: on-homogeneous fractional Schrödinger equation, Journal of Fractional Calculus and Applications, Vol. 6() July 015, pp [58] Y. Zhang, X. Liu, M.R. Belić, W. Zhong, Y. Zhang, M. Xiao: Propagation Dynamics of a Light Beam in a Fractional Schrödinger Equation, Phys. Rev. Lett. 115, (015), [59] Y. Zhang, H. Zhong, M.R. Belić,. Ahmed, Y. Zhang, M. Xiao: Diffraction-free beams in fractional Schrödinger equation, Scientific Reports 6 (016), doi: /srep