arxiv: v1 [math.ap] 15 Jul 2016

Transcription

1 MULTIPLICITY RESULTS FOR FRACTIONAL LAPLACE PROBLEMS WITH CRITICAL GROWTH ALESSIO FISCELLA, GIOVANNI MOLICA BISCI, AND RAFFAELLA SERVADEI arxiv: v1 [math.ap] 15 Jul 016 Abstract. This paper deals with multiplicity and bifurcation results for nonlinear problems driven by the fractional Laplace operator ( ) s and involving a critical Sobolev term. In particular, we consider { ( ) s u = γ u u+f(x,u) in u = 0 in R n \, where R n is an open bounded set with continuous boundary, n > s with s (0,1), γ is a positive real parameter, = n/(n s) is the fractional critical Sobolev exponent and f is a Carathéodory function satisfying different subcritical conditions. 1. Introduction Recently, the interest towards nonlocal fractional Laplacian equations involving a critical term has grown more and more. Concerning the existence result for this kind of problems, a positive answer has been given in the recent papers [3, 10, 13, 16,, 0]: in all these works well known existence results for classical Laplace operators were extended to the nonlocal fractional setting. A natural question is to ask when it is possible to get more than a non trivial solution, giving a multiplicity result. In literature few attempts have been made to answer this question. In particular we refer to very recent papers [8, 15] which give a bifurcation result. Motivated by the above papers, here we deal with the following problem { ( ) (1.1) s u = γ u u+f(x,u) in u = 0 in R n \, where s (0,1) is fixed, n > s, R n is an open and bounded set with continuous boundary, = n/(n s) and ( ) s is the fractional Laplace operator, that may be defined (up to a normalizing constant) by the Riesz potential as follows (1.) ( ) s u(x) = R n u(x) u(x+y) u(x y) y n+s dy, x R n, as defined in [7] (see this paper and the references therein for further details on fractional Laplacian). Concerning the nonlinearity in (1.1), in the present work we assume that f : R R is a Carathéodory function satisfying the following condition { } (1.3) sup f(x,t) : x, t M < + for any M > 0. Key words and phrases. Fractional Laplacian, critical nonlinearities, best fractional critical Sobolev constant, variational techniques, integrodifferential operators. 010 AMS Subject Classification: Primary: 49J35, 35A15, 35S15; Secondary: 47G0, 45G05. The first author was supported by Coordenação de Aperfeiçonamento de pessoal de nível superior (CAPES) through the fellowship P5 PNPD UNICAMP/MATEMÁTICA. The second and the third author were supported by the INdAM-GNAMPA Project 016 Problemi variazionali su varietà riemanniane e gruppi di Carnot, by the DiSBeF Research Project 015 Fenomeni non-locali: modelli e applicazioni and by the DiSPeA Research Project 016 Implementazione e testing di modelli di fonti energetiche ambientali per reti di sensori senza fili autoalimentate. The third author was supported by the ERC grant ǫ (Elliptic Pde s and Symmetry of Interfaces and Layers for Odd Nonlinearities). 1

2 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI The main aim of the present paper is to establish bifurcation results for (1.1). For this, we need that f(x,t) is odd in t, i.e. (1.4) f(x,t) = f(x, t) for any t R and a.e. x, in order to apply the symmetric version of the Mountain Pass Theorem due to Ambrosetti and Rabinowitz (see []). However, with respect to the classical case presented in [], we use a weaker condition than the usual one of Ambrosetti-Rabinowitz, in order to overcome the lack of compactness at critical level L (). Thus, we assume that f and its primitive F, defined as (1.5) F(x,t) = satisfy t 0 f(x,τ)dτ, f(x,t) (1.6) lim t + t 1 = 0 uniformly a.e. in ; (1.7) (1.8) there exist σ [0,) and a 1,a > 0 such that 1 f(x,t)t F(x,t) a 1 a t σ for any t R and a.e. x ; there exist θ (, ) and b 1,b > 0 such that F(x,t) b 1 t θ +b for any t R and a.e. x ; (1.9) there exist c 1 > 0,h 1 L 1 () and 0 with 0 > 0 such that F(x,t) h 1 (x) t c 1 for any t R and a.e. x and We are now ready to state our first result. F(x,t) lim inf t + t = + uniformly a.e. in 0. Theorem 1.1. Let s (0,1), n > s, be an open bounded subset of R n with continuous boundary, and let f be a function satisfying assumptions (1.3), (1.4), (1.6), (1.7) (1.9). Then, for any k N there exists γ k (0,+ ] such that (1.1) admits at least k pairs of non trivial solutions for any γ (0,γ k ). In the next result we establish a multiplicity result of solutions for (1.1) without assuming that primitive F still satisfies a general subcritical growth like in (1.8). However, we need a stronger condition than (1.9). That is, given j,k N with j k, we consider these different versions of (1.8) and (1.9) (1.10) there exists a measurable function a : R such that lim sup F(x,t) t 0 t = a(x) uniformly a.e. in, a(x) λ j a.e. in and a(x) < λ j on a set of positive measure contained in ; there exists B > 0 such that (1.11) t F(x,t) λ k B for any t R and a.e. x, where λ j λ k are eigenvalues of ( ) s, as recalled in Section 4. With the above conditions we still can apply the Mountain Pass Theorem given in [], getting the following result: Theorem 1.. Let s (0,1), n > s, be an open bounded subset of R n with continuous boundary. Let j, k N, with j k, and let f be a function satisfying assumptions (1.3), (1.4), (1.6), (1.7), (1.10) and (1.11). Then, there exists γ k,j (0,+ ] such that (1.1) admits at least k j +1 pairs of non trivial solutions for any γ (0,γ k,j ).

3 MULTIPLICITY RESULTS 3 A natural question is to investigate what happens when f has not any symmetry. In this case it is still possible to get a multiplicity result, by studying two truncated problems related to (1.1). These auxiliary problems are still variational and by using the Mountain Pass Theorem we get at least two solutions of different sign for them, as stated in the following result: Theorem 1.3. Let s (0,1), n > s, be an open bounded subset of R n with continuous boundary. Let f satisfy f(x,0) = 0, (1.3), (1.6), (1.7), (1.10) and (1.11) with j = k = 1. Then, there exists γ 1 > 0 such that (1.1) admits a non trivial non negative and a non trivial non positive solution for any γ (0,γ 1 ). The main tools used in order to prove Theorem 1.1 Theorem 1.3 are variational and topological methods and a suitable decomposition of the functional space X0 s () where we look for solutions of problem (1.1), through the eigenvalues of the fractional Laplace operator. An interesting open problem is to prove the main results of the present paper in a more general framework, like the one given in the following problem: { L p (1.1) K u = γ u p u+f(x,u) in u = 0 in R n \, where R n is an open and bounded set with continuous boundary, n > ps s, p = pn/(n ps) and L p K is a nonlocal operator defined as follows: L p Ku(x) = lim u(x) u(y) p (u(x) u(y))k(x y)dy, x R n. εց0 R n \B ε(x) Here, the kernel K : R n \{0} (0,+ ) is a measurable function for which (1.13) mk L 1 (R n ), with m(x) = min{ x p,1}; (1.14) there exists θ > 0 such that K(x) θ x (n+ps) for any x R n \{0}, hold true. A model for L p K is given by the fractional p-laplacian ( )s p which (up to normalization factors) may be defined for any x R n as ( ) s u(x) u(y) p (u(x) u(y)) pu(x) = lim εց0 x y n+sp dxdy. R n \B ε(x) For problem (1.1) the appropriate functional space where finding solution is X s,p 0 (), defined as X s,p 0 () = {g X s,p () : g = 0 a.e. in R n \}. Here X s,p () denotes the linear space of Lebesgue measurable functions u : R n R whose restrictions to belong to L p () and such that the map (x,y) (u(x) u(y)) p K(x y) is in L 1( Q,dxdy ), where Q = R n R n \((R n \) (R n \)). It is immediate to see that X s,p 0 () is a Banach space endowed with the following norm ( ) 1/p. (1.15) u s,p = u(x) u(y) p K(x y)dxdy R n R n When p = and K(x) = x (n+s) the space X s,p 0 () coincides with X0 s () defined in (.) (see [18, Lemma 5]). In such a case the statements of Theorem 1.1 Theorem 1.3 are still valid and their proofs can be performed exactly with the same arguments considered in the model case of the fractional Laplace operator ( ) s. In order to treat problem (1.1) when p we have to adapt in a suitable way the arguments used for studying (1.1). Indeed, in this case the main difficulty is related to the fact that we have to understand how to decompose the space X s,p 0 (). Indeed, when p the full spectrum of ( ) s p and of Lp K is still almost unknown, even if some important

4 4 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI properties of the first eigenvalue and of the higher order (variational) eigenvalues have been established in[11,1]. Wewouldrecall that in[5] theauthorsproposedadefinitionof quasi eigenvalues for ( ) s p and usingthem considered a suitabledecomposition of Xs,p 0 () which turns out to be the known one for p =. The paper is organized as follows. In Section we introduce the variational formulation of the problem under consideration. Section 3 is devoted to the proof of the compactness property for problem (1.1). In Section 4 we conclude the proofs of Theorem 1.1 Theorem Variational setting Problem (1.1) has a variational structure and the natural space where finding solutions is the homogeneous fractional Sobolev space H0 s (). In order to study (1.1) it is important to encodethe boundarycondition u = 0inR n \ (whichis different fromtheclassical case of thelaplacian, whereitis requiredu = 0on ) intheweak formulation, by consideringalso that the interaction between and its complementary in R n gives a positive contribution in the so-called Gagliardo norm given as (.1) u H s (R n ) = u L (R n ) + ( R n R n u(x) u(y) x y n+s dxdy X s 0 ) 1/. The functional space that takes into account this boundary condition will be denoted by () and it is defined as (.) X s 0 () = { u H s (R n ) : u = 0 a.e. in R n \ }. We refer to [18, ] for a general definition of X0 s () and its properties. We also would like to point out that, when is continuous, by [9, Theorem 6] the space X0 s () can be seen as the closure of C0 () with respect to the norm (.1). This last point will play a crucial role in the proof of the compactness condition for the energy functional related to (1.1). In X0 s () we can consider the following norm (.3) u X s 0 () = ( R n R n u(x) u(y) x y n+s dxdy ) 1/, which is equivalent to the usual one defined in (.1) (see [18, Lemma 6]). We also recall that (X0 s(), X0 s ()) is a Hilbert space, with the scalar product defined as (.4) u,v X s 0 () = (u(x) u(y))(v(x) v(y)) R n R n x y n+s dxdy. From now on, in order to simplify the notation, we will denote X s 0 () and, X s 0 () by and, respectively, and L q () by q for any q [1,+ ]. A function u X0 s () is said to be a (weak) solution of problem (1.1) if u satisfies the following weak formulation (.5) u,ϕ = γ u(x) u(x)ϕ(x)dx + f(x, u(x))ϕ(x)dx, for any ϕ X0 s (). We observe that (.5) represents the Euler Lagrange equation of the functional J γ : X0 s () R defined as (.6) J γ (u) = 1 u γ u F(x,u(x))dx, where F is as in (1.5). It is easily seen that J γ is well defined thanks to (1.3) (1.6) and [18, Lemma 6]. Moreover, J γ C 1 (X0 s()), thus critical points of J γ are solutions to problem (.5), that is weak solutions for (1.1). The proofs of Theorem 1.1 and Theorem 1. are mainly based on variational and topological methods. Precisely, here we will perform the following version of the symmetric Mountain Pass Theorem (see [, 4, 3]).

5 MULTIPLICITY RESULTS 5 Theorem.1 (Abstract critical point theorem). Let E = V X, where E is a real Banach space and V is finite dimensional. Suppose that I C 1 (E,R) is a functional satisfying the following conditions: (I 1 ) I(u) = I( u) and I(0) = 0; (I ) there exists a constant ρ > 0 such that I Bρ X 0; (I 3 ) there exists a subspace W E with dim V < dim W < + and there is M > 0 such that maxi(u) < M; u W (I 4 ) considering M > 0 from (I 3 ), I(u) satisfies (PS) c condition for 0 c M. Then, there exist at least dim W codim V pairs of non trivial critical points of I. In order to prove our main results, the idea consists in applying Theorem.1 to the functional J γ. At this purpose note that when f is odd in t, J γ is even and also J γ (0) = 0. Thus, condition (I 1 ) of Theorem.1 is always verified by J γ and we will not recall it in the sequel. For the proof of Theorem 1.3 we will use the following version of the Mountain Pass Theorem (see [3]): Theorem.. Let E be a real Banach space. Suppose that I C 1 (E,R) is a functional satisfying the following conditions: (I 1 ) I(0) = 0; (I ) there exists a constant ρ > 0 such that I Bρ 0; (I 3 ) there exist v 1 B 1 and M > 0 such that supi(tv 1 ) M; t 0 (I 4 ) considering M > 0 from (I 3 ), I(u) satisfies (PS) c condition for 0 c M. Then, I possesses a non trivial critical point. 3. The Palais Smale condition In this section we verify that the functional J γ satisfies the (PS) c condition under a suitable level. For this, we use some preliminary estimates concerning the nonlinearity f and its primitive F. By (1.3) and (1.6) for any ε > 0 there exists a constant C ε > 0 such that (3.1) f(x,t)t C ε +ε t for any t R and a.e. x and (3.) F(x,t) C ε + ε t for any t R and a.e. x. We recall that {u j } j N X s 0 () is a Palais Smale sequence for J γ at level c R (in short (PS) c sequence) if (3.3) J γ (u j ) c and J γ(u j ) 0 as j +. We say that J γ satisfies the Palais Smale condition at level c if any Palais Smale sequence {u j } j N at level c admits a convergent subsequence in X s 0 (). As usual, we first prove the boundedness of the (PS) c sequence. Lemma 3.1. Let f satisfy (1.3), (1.6) and (1.7). For any γ > 0, let c > 0 and {u j } j N be a (PS) c sequence for J γ. Then, {u j } j N is bounded in X s 0 (). Proof. Fix γ > 0. By (3.3) there exists C > 0 such that ( ) (3.4) J γ (u j ) C and J γ(u uj j ) C for any j N. u j

6 6 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI Moreover, by (1.7) and Hölder inequality we have (3.5) J γ (u j ) 1 J γ (u j)(u j ) sγ n u j a 1 a σ u j σ. From Young s inequality with exponents p = /σ and q = /( σ) we also get u j σ δ u j +C δ, for suitable δ, C δ > 0. The last inequality combined with (3.4) and (3.5) says that (3.6) u j C ( u j +1 for another positive constant C. Now, by (3.), (3.4) and (3.6) we obtain C J γ (u j ) 1 u j ( C γ C ε which gives the boundedness of {u j } j N in X s 0 (). ), ) (1+ u j ) C ε, Now, we can prove the relatively compactness of a (PS) c sequence under a suitable level. Here, we must pay attention to the lack of compactness at level L (). Lemma 3.. Let f satisfy (1.3), (1.6) and (1.7). Then, for any M > 0 there exists γ > 0 such that J γ satisfies the (PS) c condition for any c M, provided 0 < γ < γ. Proof. Fix M > 0. We set ( (3.7) γ = min S(n,s), (S(n,s)) n s s n(m +A) with (3.8) A = a 1 +a σ, ) σ 1 n/s /( σ) where a 1, a, σ are the constants given in (1.7), while S(n,s) is the best constant of the fractional Sobolev embedding (see [18, Lemma 6]) defined as v(x) v(y) R (3.9) S(n, s) = inf n R n x y n+s dxdy ( ) v H s (R n )\{0} / > 0. v(x) R n Given γ < γ and c < M, let us consider a (PS) c sequence {u j } j N for J γ. Since by Lemma 3.1 we have that {u j } j N is bounded in X0 s (), by applying also [17, Lemma 8] and [6, Theorem IV.9], there exists u X0 s () such that, up to a subsequence, (3.10) u j u weakly in X s 0 (), (3.11) u j u in L q (), with q [1, ) and (3.1) u j u a.e in, as j +. Now, we claim that (3.13) u j u as j +, which easily implies that u j u in X0 s () as j +, thanks to (3.10).

7 MULTIPLICITY RESULTS 7 First of all, from Phrokorov s Theorem we deduce the existence of two positive measures µ and ν on R n such that (3.14) ( ) s/ u j (x) dx µ and u j (x) dx ν in M(R n ) as j +. By [9, Theorem 6], thanks to our assumptions on, it is easy to see that X0 s() can also be defined as the closure of C 0 () with respect to the norm (.1). Hence, X0 s () is consistent with the functional space introduced in [14]. Thus, by [14, Theorem ] weobtain anat mostcountableset ofdistinctpoints{x i } i J, non negative numbers{ν i } i J, {µ i } i J and a positive measure µ, with Supp µ, such that (3.15) ν = u(x) dx+ ν i δ xi, µ = ( ) s/ u(x) dx+ µ+ µ i δ xi, i J i J and (3.16) ν i S(n,s) µ i for any i J, where S(n,s) is the constant given in (3.9). Now, in order to prove (3.13) we proceed by steps. Step 1. Fix i 0 J. Then, either ν i0 = 0 or [ ] S(n,s) n/s (3.17) ν i0. γ Proof. Let ψ C0 (Rn,[0,1]) be such that ψ 1 in B(0,1) and ψ 0 in R n \B(0,). For any δ (0,1) we set ( ) ψ δ,i0 (x) = ψ (x x i0 )/δ. Clearly the sequence {ψ δ,i0 u j } j N is bounded in X0 s () by Lemma 3.1, and so by (3.3) it follows that J γ (u j)(ψ δ,i0 u j ) 0 as j +. In other words ( uj (x) u j (y) )( ψ δ,i0 (x)u j (x) ψ δ,i0 (y)u j (y) ) o(1)+ R (3.18) n R n x y n+s dxdy = γ u j (x) ψ δ,i0 (x)dx+ f(x,u j (x))ψ δ,i0 (x)u j (x)dx, as j +. By [7, Proposition 3.6] and taking into account the definition of ( ) s given in (1.), we know that for any v X0 s() Rn Rn v(x) v(y) x y n+s dxdy = R n ( ) s/ v(x) dx. By taking derivative of the above equality, for any v,w X0 s () we obtain (v(x) v(y))(w(x) w(y)) (3.19) R n R n x y n+s dxdy = ( ) s/ v(x)( ) s/ w(x)dx. R n Furthermore, for any v,w X0 s () we have (3.0) ( ) s/ (vw) = v( ) s/ w +w( ) s/ v I s/ (v,w), where the last term is defined, in the principal value sense, as follows (v(x) v(y))(w(x) w(y)) I s/ (v,w)(x) = P.V. R n x y n+s dy for any x R n.

8 8 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI Thus, by (3.19) and (3.0) the integral in the left hand side of (3.18) becomes ( uj (x) u j (y) )( ψ δ,i0 (x)u j (x) ψ δ,i0 (y)u j (y) ) R n R n x y n+s dxdy = ( ) s/ u j (x)( ) s/ (ψ δ,i0 u j )(x)dx R n (3.1) = u j (x)( ) s/ u j (x)( ) s/ ψ δ,i0 (x)dx R n + ( ) s/ u j (x) ψ δ,i0 (x)dx R n ( ) s/ (u j (x) u j (y))(ψ δ,i0 (x) ψ δ,i0 (y)) u j (x) R n R n x y n+s dxdy. By [3, Lemma.8 and Lemma.9] we have (3.) lim lim δ 0 j + u j (x)( ) s/ u j (x)( ) s/ ψ δ,i0 (x)dx = 0 R n and (3.3) lim lim δ 0 j + ( ) s/ (u j (x) u j (y))(ψ δ,i0 (x) ψ δ,i0 (y)) u j (x) R n R n x y n+s dxdy = 0. Then, by combining (3.1) (3.3) and (3.14) (3.15) we get ( uj (x) u j (y) )( ψ δ,i0 (x)u j (x) ψ δ,i0 (y)u j (y) ) (3.4) lim lim δ 0 j + x y n+s dxdy µ i0. R n R n While, by (3.1) and the Dominated Convergence Theorem we get f(x,u j (x))u j (x)ψ δ,i0 (x)dx f(x,u(x))u(x)ψ δ,i0 (x)dx as j +, B(x i0,δ) B(x i0,δ) and so by sending δ 0 we observe that (3.5) lim lim f(x,u j (x))u j (x)ψ δ,i0 (x)dx = 0. δ 0 j + B(x i0,δ) Furthermore, by (3.14) it follows that u j (x) ψ δ,i0 (x)dx ψ δ,i0 (x)dν as j +. Finally, by combining this last formula with (3.18), (3.4) and (3.5) we get ν i0 µ i 0 γ. Thus, from this and (3.16) with i = i 0 we have that ν i0 ν/ i 0 S(n,s), γ which yields that either ν i0 = 0 or ν i0 verifies (3.17). This ends the proof of Step 1. Step. Estimate (3.17) can not occur, hence ν i0 = 0. Proof. For this, it is enough to see that [ ] n S(n,s) s (3.6) dν <. γ For this, let us consider two cases. First of all, assume that (3.7) dν 1.

9 MULTIPLICITY RESULTS 9 Since γ < γ and by (3.7) (which implies that γ < S(n,s)) we have ( ) n S(n,s) s 1 <, γ from which immediately follows (3.6), thanks to (3.7). Now, assume that dν > 1. Since {u j } j N is a (PS) c sequence for J γ, arguing as in Lemma 3.1 (see formula (3.5)) we get (3.8) J γ (u j ) 1 J γ(u j )(u j ) sγ n u j a 1 a σ u j σ. By sending j + in (3.8) and using (3.3), (3.14) we obtain sγ ( ) dν c+a 1 +a σ σ n dν ( M +a 1 +a σ ) ( ) σ dν ( ) σ = (M +A) dν, thanks to the choice of c M and the definition of A given in (3.8). Hence we get [ ] n(m +A) σ (3.9) dν. sγ By (3.7) and the fact that γ < γ we know that ( γ < (S(n,s)) n s s n(m +A) that is ( γ n s n σ < (S(n,s)) s ) σ s n(m +A) 1 n/s /( σ) ) σ, which yields [ ] ( ) n(m +A) n σ S(n,s) s <. sγ γ From this and (3.9) we get (3.6). Thus, the proof of Step is complete and ν i0 = 0. Step 3. Claim (3.13) holds true. Proof. By considering that i 0 was arbitrary in Step 1, we deduce that ν i = 0 for any i J. As a consequence, also from (3.14) and (3.15) it follows that u j u in L () as j +. Thus, by (3.1), the fact that (3.30) J γ (u j) 0 as j + (being {u j } j N a (PS) c sequence for J γ ) and the Dominated Convergence Theorem, we have (3.31) lim u j = γ u(x) dx+ f(x, u(x))u(x)dx. j + Moreover, by remembering that u j u in X0 s () and by using again (3.1), (3.30) and the Dominated Convergence Theorem, we have (3.3) u,ϕ = γ u(x) u(x)ϕ(x)dx + f(x, u(x))ϕ(x)dx, for any ϕ X0 s (). Thus, by combining (3.31) and (3.3) with ϕ = u we get the claim (3.13), concluding the proof of Step 3.,

10 10 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI Hence, the proof of Lemma 3. is complete. 4. Main theorems This section is devoted to the proof of the main results of the paper. In particular here we study the geometry of the functional J γ. At first, we need some notation. In what follows { λ j denotes the sequence of the }j N eigenvalues of the following problem { ( ) (4.1) s u = λu in u = 0 in R n \, with (4.) 0 < λ 1 < λ... λ j λ j+1... λ j + as j +, and with e j as eigenfunction corresponding to λ j. Also, we choose { e j normalized in }j N such a way that this sequence provides an orthonormal basis of L () and an orthogonal basis of X0 s (). For a complete study of the spectrum of the fractional Laplace operator ( ) s we refer to [16, Proposition.3], [19, Proposition 9 and Appendix A] and [0, Proposition 4]. Along the paper, for any j N we also set P j+1 = {u X s 0() : u,e i = 0 for any i = 1,...,j} (with P 1 = X s 0()), as defined also in [19, Proposition 9 and Appendix A], while H j = span{e 1,...,e j } will denote the linear subspace generated by the first j eigenfunctions of ( ) s. It is immediate to observe that P j+1 = H j with respect to the scalar product in X0 s () defined as in formula (.4). Thus, since X0 s () is a Hilbert space (see [18, Lemma 7] and (.4)), we can write it as a direct sum as follows X s 0() = H j P j+1 for any j N. Moreover, since { e j }j N is an orthogonal basis of Xs 0 (), it is easy to see that for any j N P j+1 = span{e i : i j +1}. Now, beforestudyingandprovingthegeometricfeaturesforj γ weneedastrongerversion of the classical Sobolev embedding. Here the constant of the embedding can be chosen and controlled a priori. Lemma 4.1. Let r [, ) and δ > 0. Then, there exists j N such that u r r δ u r for any u P j+1. Proof. By contradiction, we suppose that there exists δ > 0 such that for any j N there exists u j P j+1 which verifies u j r r > δ u j r. Considering v j = u j / u j r, we have that v j P j+1, (4.3) v j r = 1 and v j < 1/δ for any j N. Thus, the sequence {v j } j N is bounded in X0 s () and we may suppose that there exists v X0 s () such that, up to a subsequence, and v j v in X s 0() (4.4) v j v in L r ()

11 as j +. Hence, by (4.3) and (4.4) we deduce that (4.5) v r = 1. MULTIPLICITY RESULTS 11 Moreover, since {e j } j N is an orthogonal basis of X0 s () by [19, Proposition 9], we can write v as follows v = v,e j e j. j=1 Now, given k N we have v j,e k = 0 for any j k, since v j P j+1. From this we deduce that v,e k = 0 for any k N, which clearly implies that v 0. On the other hand, this contradicts (4.5). Hence, Lemma 4.1 holds true Geometric setting for Theorem 1.1. In order to prove Theorem 1.1, we just have to verify that the energy functional J γ satisfies (I ) and (I 3 ) of Theorem.1. For this we will consider V = H j and X = P j+1, with j N chosen as in the following result: Lemma 4.. Let f satisfy (1.8). Then, there exist γ > 0, j N and ρ, α > 0 such that J γ (u) α, for any u P j+1 with u = ρ, and 0 < γ < γ. Proof. Take γ > 0. By (1.8) and [18, Lemma 6] we get a suitable constant c > 0 such that (4.6) J γ (u) 1 u b 1 u θ θ b γc u, for any u X0 s (). Let δ > 0: we will fix it in the sequel. By (4.6) and Lemma 4.1 there exists j N such that (4.7) J γ (u) u ( 1 b 1δ u θ ) b γc u, for any u P j+1. Now, consider u = ρ = ρ(δ), with ρ such that b 1 δρ θ = 1/4, so that J γ (u) 1 4 ρ b γcρ for any u P j+1, thanks to (4.7). Now, observe that ρ(δ) + as δ 0, since θ >. Hence, we can choose δ sufficiently small such that ρ /4 b ρ /8, which yields J γ (u) 1 8 ρ γcρ, for any u P j+1 with u = ρ. Finally, let γ > 0 be such that 1 8 ρ γcρ = α > 0. Then we get J γ (u) J γ (u) α for any u P j+1 with u = ρ and any γ (0, γ), concluding the proof. Lemma 4.3. Let f satisfy (1.9) and let l N. Then, there exist a subspace W of X s 0 () and a constant M l > 0, independent of γ, such that dim W = l and max u W J 0(u) < M l. Proof. Here we can argue exactly as in [3, Lemma 4.3] where the classical case of the Laplacian was considered. For this, we can use also the properties of eigenfunctions of ( ) s (see [19]).

12 1 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI Proof of Theorem 1.1. By Lemma 4. we find j N and γ > 0 such that J γ satisfies (I ) in X = P j+1, for any 0 < γ < γ. While, by Lemma 4.3 for any k N there is a subspace W X0 s() with dim W = k +j and such that J γ satisfies (I 3 ) with M = M j+k > 0 for any γ > 0, since J γ < J 0. Finally, we note that by Lemma 3., considering γ smaller if necessary, we have that J γ satisfies (I 4 ) for any 0 < γ < γ. Thus, we may apply Theorem.1 to conclude that J γ admits k pairs of non trivial critical points for γ > 0 sufficiently small. Hence, Theorem 1.1 is proved. 4.. Geometric setting for Theorem 1.. We apply again Theorem.1 to the functional J γ. By considering λ j λ k as in (1.10) and (1.11), we have two cases. When j = 1 we set V = {0}, so X = X s 0 (): note that this is consistent with the situation P 1 = X s 0 (). While if j > 1 we consider X = P j and V = H j 1. Moreover, we set W = H k as subspace of X s 0 () in (I 3). Now, in order to verify the geometric assumptions (I ) and (I 3 ) in Theorem.1 we consider here two different characterizations of the eigenvalues of ( ) s. That is, for any j N by [19, Proposition 9] we have that (4.8) λ j = min u P j \{0} while from [16, Proposition.3] we know that u u, u (4.9) λ j = max u H j \{0} u. Moreover, we need the following technical lemma: Lemma 4.4. Let a : R be the measurable function given in (1.10). Then, there exists β > 0 such that for any u P j u a(x) u(x) dx β u. Proof. We argue by contradiction and we suppose that for any i N there exists u i P j such that (4.10) u i a(x) u i (x) dx < 1 i u i. Let v i = u i / u i. Of course, v i P j and (4.11) v i = 1 for any i N. By (1.10), (4.8), (4.10) and (4.11) we get (4.1) λ j v i < i (x) a(x) v dx+ 1 i λ j v i (x) dx+ 1 i λ j + 1 i for any i N. From this, we have that {v i } i N is a bounded sequence in X0 s (). Therefore, by applying [18, Lemma 8] and [6, Theorem IV.9] there exists v X0 s () such that, up to a subsequence, v i converges to v weakly in X0 s(), strongly in L () and a.e. in as j + and v i h L () a.e. in. Thus, by (4.11) we know that v = 1, so that v is almost everywhere different from zero in, i.e. (4.13) v 0 in.

13 MULTIPLICITY RESULTS 13 By sendingi + in (4.1) andusingthedominated Convergence Theoremand (4.10), we get ( (4.14) λj a(x) ) v(x) dx = 0. Then, (1.10), (4.13) and (4.14) implies that a(x) = λ j a.e. in, which contradicts the assumption (1.10). Hence, Lemma 4.4 holds true. Now we are ready to prove that J γ satisfies (I ) and (I 3 ) of Theorem.1. Lemma 4.5. Let f satisfy (1.3), (1.6) and (1.10). Then, for any γ > 0 there exist ρ, α > 0 such that J γ (u) α for any u P j with u = ρ. Proof. Fix γ > 0. By (1.3), (1.6) and (1.10), for any ε > 0 there exists C ε > 0 such that (4.15) F(x,t) C ε t + a(x)+ε t, for any t R and a.e. x. Now, let β > 0 be as in Lemma 4.4 and ε > 0 be such that β ε λ j > 0. Thus, by (1.10) and Lemma 4.4, we have ( ) u a(x) u(x) dx = 1+ε 1+ε u a(x) u(x) dx = ε 1+ε u + 1 ( 1+ε u a(x) u(x) dx ε ε 1+ε u + 1 ) (β u 1+ε ε a(x) u(x) dx ε 1+ε u + ε 1+ε u for any u P j. From this and by (4.15) we get J γ (u) = 1 u γ u 1 ( u a(x) u(x) dx (β ε λ j ) u(x) dx F(x,u(x))dx ) ε (1+ε ) u 1 (γ +C ε) u ε u 1 (γ +C ε) u ε u for any u P j. Thus, by [18, Lemma 6] and taking ε > 0 sufficiently small, there exist constants K, C > 0 such that (4.16) J γ (u) Kρ Cρ for any u P j with u = ρ. By taking ρ > 0 small enough, (4.16) gives that for a suitable α > 0, since >. J γ (u) α ) a(x) u(x) dx Lemma 4.6. Let f satisfy (1.11). Then, for any γ > 0 there exists a constant M > 0, independent of γ, such that max u H k J γ (u) < M.

14 14 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI Proof. Fix γ > 0. By (1.11) and (4.9), for any u H k \{0} we have J γ (u) 1 u λ k u γ u +B B γ u < B, concluding the proof of Lemma 4.6. Proof of Theorem 1.. By Lemma 3., Lemma 4.5 and Lemma 4.6, there is γ > 0 sufficiently small such that J γ satisfies (I ) (I 4 ) of Theorem.1 for any γ (0,γ ). By recalling that P j = Hj 1, we get that codim P j = j 1. Hence, by Theorem.1 we conclude that J γ admits k j +1 pairs of non trivial critical points for any γ (0,γ ). Then, the proof of Theorem 1. is complete. Remark 4.7. We would like to point out that when j = 1 we can also replace (1.11) with (1.9) and Theorem 1. still holds true. Indeed, we can argue exactly as in the proof of Theorem 1.1, by using Lemma 4.5 (with P 1 = X0 s ()) instead of Lemma Proof of Theorem 1.3. We first show that problem (1.1) possesses a non trivial non negative solution. For this, it is sufficient to study the following problem ( ) s u = γu 1 + f(x,u) in (4.17) u 0 in u = 0 in R n \, where (4.18) f(x,t) = { f(x,t) if t > 0 0 if t 0. Indeed, a non-trivial solution of (4.17) is a non-trivial non-negative solution of (1.1). The energy functional associated with (4.17) is given by (4.19) Jγ (u) = 1 u γ (u(x)) dx F(x,u(x))dx, where F(x,t) = t 0 f(x,τ)dτ. We would observe that the truncated function f still verifies (1.3), (1.6), (1.7) and (1.10), while (1.11) holds true for f for any t 0 but not for any t < 0. This point must be considered for our proof. Indeed, in order to apply Theorem., we immediately note that J γ still verifies (I ) by Lemma 4.5 with P 1 = X0 s(). In order to prove (I 3 ) of Theorem. we have to proceed as follows. Let e 1 be the eigenfunction of ( ) s associated to λ 1. Since e 1 is positive by [1, Corollary 8], by (4.18) it follows that F(x,te 1 (x)) = F(x,te 1 (x)) for any t > 0 and for a.e. x. Thus, we can use (1.11) and get for any t > 0 J γ (te 1 ) = 1 te 1 γ te 1 F(x,te 1 (x))dx t e 1 t λ 1 e 1 +B = B, thanks to the characterization of e 1 given in [19, Proposition 9]. From this, Jγ satisfies (I 3 ) for any γ > 0.

15 MULTIPLICITY RESULTS 15 Now it remains to verify (I 4 ) of Theorem.: for this it is enough to argue as in the proof of Lemma 3.1 and Lemma 3. (note that for these lemmas we just need assumptions (1.3), (1.6) and (1.7)). Finally, all the assumptions of Theorem. are satisfied by J γ and so we can conclude that for any γ (0,γ ), Jγ has a non trivial critical point which is a non trivial non negative solution for (1.1). In a similar way, with small modifications, it is possible to prove the existence of a non trivial non positive solution for (1.1). This ends the proof of Theorem 1.3. References [1] R.A. Adams, Sobolev Spaces, Academic Press, New York, [] A. Ambrosetti and P. Rabinowitz, Dual variational methods in critical point theory and applications, J. Funct. Anal., 14, (1973). [3] B. Barrios, E. Colorado, R. Servadei and F. Soria, A critical fractional equation with concaveconvex power nonlinearities, Ann. Inst. H. Poincaré Anal. Non Linéaire, 3, , (015). [4] P. Bartolo, V. Benci and D. Fortunato, Abstract critical point theorems and applications to some nonlinear problems with strong resonance at infinity, Nonlinear Anal., 7, (1983). [5] R. Bartolo and G. Molica Bisci, Asymptotically linear fractional p-laplacian equations, to appear in Annali Mat. Pura Appl. [6] H. Brézis, Analyse fonctionelle. Théorie et applications, Masson, Paris (1983). [7] E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker s guide to the fractional Sobolev spaces, Bull. Sci. Math., 7, (1983). [8] A. Fiscella, G. Molica Bisci and R. Servadei, Bifurcation and multiplicity results for critical nonlocal fractional Laplacian problems, Bull. Sci. Math., 140, (016). [9] A. Fiscella, R. Servadei and E. Valdinoci, Density properties for fractional Sobolev spaces, Ann. Acad. Sci. Fenn. Math., 40, (015). [10] A. Fiscella and E. Valdinoci, A critical Kirchhoff type problem involving a nonlocal operator, Nonlinear Anal., 94, (014). [11] G. Franzina and G. Palatucci, Fractional p eigenvalues, Riv. Mat. Univ. Parma, 5, (014). [1] E. Lindgren and P. Lindqvist, Fractional eigenvalues, Calc. Var., 49, (014). [13] S. Mosconi and M. Squassina, Nonlocal problems at nearly critical growth, preprint available online at [14] G. Palatucci and A. Pisante, Improved Sobolev embeddings, profile decomposition, and concentration compactness for fractional Sobolev spaces, Calc. Var. Partial Differential Equations, 50, no. 3-4, (014). [15] K. Pereira, M. Squassina and Y. Yang, Bifurcation results for critical growth fractional p-laplacian problems, Math. Nachr., 89, (015). [16] R. Servadei, The Yamabe equation in a non-local setting, Adv. Nonlinear Anal.,, (013). [17] R. Servadei and E. Valdinoci, Lewy-Stampacchia type estimates for variational inequalities driven by (non)local operators, Rev. Mat. Iberoam., 9, no. 3, (013). [18] R. Servadei and E. Valdinoci, Mountain Pass solutions for non-local elliptic operators, J. Math. Anal. Appl., 389, (01). [19] R. Servadei and E. Valdinoci, Variational methods for non-local operators of elliptic type, Discrete Contin. Dyn. Syst., 33, no. 5, (013). [0] R. Servadei and E. Valdinoci, A Brezis-Nirenberg result for non-local critical equations in low dimension, Commun. Pure Appl. Anal., 1, no. 6, (013). [1] R. Servadei and E. Valdinoci, Weak and viscosity solutions of the fractional Laplace equation, Publ. Mat., 58, no. 1, (014). [] R. Servadei and E. Valdinoci, The Brezis-Nirenberg result for the fractional Laplacian, Trans. Amer. Math. Soc., 367, no. 1, (015). [3] E.A.B. Silva and M.S. Xavier, Multiplicity of solutions for quasilinear elliptic problems involving critical Sobolev exponents, Ann. Inst. H. Poincaré Anal. Non Linéaire, 0, no., (003).

16 16 A. FISCELLA, G. MOLICA BISCI, AND R. SERVADEI Departamento de Matemática, Universidade Estadual de Campinas, IMECC, Rua Sérgio Buarque de Holanda 651, SP CEP Campinas, BRAZIL address: Dipartimento PAU, Università Mediterranea di Reggio Calabria, Via Melissari 4, 8914 Reggio Calabria, Italy address: Dipartimento di Scienze Pure e Applicate (DiSPeA), Universita degli Studi di Urbino Carlo Bo, Piazza della Repubblica 13, 6109 Urbino (Pesaro e Urbino), Italy address: raffaella.servadei@uniurb.it