arxiv: v2 [math.ap] 22 Jun 2017

Transcription

1 A MULTIPLICITY RESULT FOR A FRACTIONAL KIRCHHOFF EQUATION IN R N WITH A GENERAL NONLINEARITY arxiv: v [math.ap] Jun 017 VINCENZO AMBROSIO AND TERESA ISERNIA Abstract. In this paper we deal with the following fractional Kirchhoff equation ( RN ) u(x) u(y) p+q(1 s) dxdy ( ) s u = g(u) in R N, x y N+s where s (0,1), N, p > 0, q is a small positive parameter and g : R R is an odd function satisfying Berestycki-Lions type assumptions. By using minimax arguments, we establish a multiplicity result for the above equation, provided that q is sufficiently small. 1. Introduction In this paper we study the multiplicity of weak solutions to the following nonlinear fractional Kirchhoff equation ( RN u(x) u(y) ) p+q(1 s) x y N+s dxdy ( ) s u = g(u) in R N (1.1) wheres (0,1), N, p > 0, q is a small positive parameter and g is a nonlinearity which satisfies suitable assumptions. The operator ( ) s is the fractional Laplacian which may be defined for a function u belonging to the Schwartz space S(R N ) of rapidly decaying functions as ( ) s u(x) = C N,s P.V. u(x) u(y) R N x y N+sdy, x RN. The symbol P.V. stands for the Cauchy principal value and C N,s is a normalizing constant; see [15] for more details. When s 1 in (1.1), from Theorem (and Corollary ) in [1], we can see that (1.1) becomes the following Kirchhoff equation ( ) p+q u(x) dx u = g(u) in R N, (1.) R N which has been extensively studied in the last decade. The equation (1.) is related to the stationary analogue of the Kirchhoff equation ( ) u tt p+q u(x) dx u = g(x,u) Ω 010 Mathematics Subject Classification. 35A15, 35R11, 49J35. Key words and phrases. Stationary Kirchhoff equation; Fractional Laplacian; variational methods. 1

2 V. AMBROSIO AND T. ISERNIA with Ω R N bounded domain, which was proposed by Kirchhoff in 1883 [1] as an extension of the classical D Alembert s wave equation ( P0 ρu tt h + E L ) u x dx u xx = g(x,u) (1.3) L 0 for free vibrations of elastic strings. Kirchhoff s model takes into account the changes in length of the string produced by transverse vibrations. Here, L is the length of the string, h is the area of the cross section, E is the Young modulus of the material, ρ is the mass density and P 0 is the initial tension. The early classical studies dedicated to Kirchhoff equations were given by Bernstein [11] and Pohozaev [31]. However, equation (1.) received much attention only after the paper by Lions [3], where a functional analysis approach was proposed to attack it. For more recent results concerning Kirchhoff-type equations we refer to [1,, 5, 7, 16,, 5, 30]. On the other hand, a great attention has been recently focused on the study of nonlinear fractional Kirchhoff problem. In [18], Fiscella and Valdinoci proposed an interesting interpretation of Kirchhoff s equation in the fractional setting, by proving the existence of nonnegative solutions for a critical Kirchhoff type problem in a bounded domain of R N. Subsequently, in [4] the authors investigated the existence and the asymptotic behavior of nonnegative solutions for a class of stationary Kirchhoff problems driven by a fractional integro-differential operator and involving a critical nonlinearity. Pucci and Saldi in [3] established the existence and multiplicity of nontrivial nonnegative entire solutions for a Kirchhoff type eigenvalue problem in R N involving a critical nonlinearity and the fractional Laplacian. More recently, in [17] has been proved the existence of infinitely many weak solutions for a Cauchy problem for a fractional Kirchhoff-type equation by using the genus theory of Krasnosel skii; see also [6, 6, 7, 8, 9, 33] for related problems. Motivated by theabove papers, in this work we aim to studythemultiplicity of weak solutions to the fractional Kirchhoff equation (1.1) with q small parameter and g is a general subcritical nonlinearity. More precisely, we suppose that g : R R satisfies Berestycki-Lions type assumptions [9, 10], that is: (g 1 ) g C 1 (R,R) and odd; g(t) (g ) < liminf t 0 + t (g 3 ) lim t ± limsup t 0 + g(t) t g(t) t s 1 = 0, where s = N = m < 0; N s ; (g 4 ) there exists ζ > 0 such that G(ζ) := ζ 0 g(t)dt > 0. Let us recall that when q = 0 and p = 1 in (1.1), in [3, 14] has been established the existence and multiplicity of radially symmetric solutions to the fractional scalar field problem ( ) s u = g(u) in R N. (1.4) Now, we aim to study a generalization of (1.4), and we look for weak solutions to (1.1) with q > 0 sufficiently small. Our main result is the following:

3 MULTIPLICITY RESULT 3 Theorem 1.1. Let us suppose that (g 1 ), (g ), (g 3 ) and (g 4 ) are satisfied. Then, for any h N there exists q(h) > 0 such that for any 0 < q < q(h) equation (1.1) admits at least h couples of solutions in H s (R N ) with radial symmetry. A common approach to deal with nonlinear problems involving the fractional Laplacian, has been proposed by Caffarelli and Silvestre in [13]. It consists to realize ( ) s as an operator that maps a Dirichlet boundary condition to a Neumann-type condition via an extension problem on the upper half-space R N+1 + for u H s (R N ) one considers the problem { div(y 1 s v) = 0 in R N+1 + v(x,0) = u(x) on R N+1 + from where the fractional Laplacian is obtained as ( ) s u(x) = κ s lim y 0 +y1 s v y (x,y),. More precisely, where κ s is a suitable constant and the equality holds in distributional sense. In this paper we investigate the problem (1.1) directly in H s (R N ) in order to adapt the techniques developed in the classical case s = 1. More precisely, we follow the ideas in [8], and by combining the Mountain Pass approach introduced in [19] with the truncation argument of [0], we prove the multiplicity result above stated. The paper is organized as follows: in Sec. some notations and preliminaries are given, including lemmas that are required to obtain our main Theorem; in Sec. 3 we establish an abstract critical point result and finally in Sec. 4 we provide the proof of Theorem Preliminaries For any s (0,1) we define the fractional Sobolev spaces { } H s (R N ) = u L (R N ) : u(x) u(y) L (R N ) x y N+s endowed with the natural norm u H s (R N ) = [u] H s (R N ) + u L (R N ) where the so-called Gagliardo seminorm of u is given by [u] H s (R N ) = R N u(x) u(y) x y N+s dxdy. For the reader s convenience, we review the main embedding result for this class of fractional Sobolev spaces. Theorem.1. [15] Let s (0,1) and N > s. Then H s (R N ) is continuously embedded in L q (R N ) for any q [, s] and compactly in L q loc (RN ) for any q [, s).

4 4 V. AMBROSIO AND T. ISERNIA Let us introduce H s rad (RN ) = { u H s (R N ) : u(x) = u( x ) } the space of radial functions in H s (R N ). For this space it holds the following compactness result due to Lions [4]: Theorem.. [4] Let s (0,1) and N. Then H s rad (RN ) is compactly embedded in L q (R N ) for any q (, s). Finally, we recall the following fundamental compactness results: Lemma.1. [8, 9] Let P and Q : R R be a continuous functions satisfying P(t) lim t + Q(t) = 0, {v j } j N, v and w be measurable functions from R N to R, with w bounded, such that sup Q(v j (x))w dx < +, j N R N P(v j (x)) v(x) a.e. in R N. Then (P(v j ) v)w L 1 (B) 0, for any bounded Borel set B. Moreover, if we have also P(t) lim t 0 Q(t) = 0, and then (P(v j ) v)w L 1 (R N ) 0. lim sup v j (x) = 0, x j N Lemma.. [14] Let (X, ) be a Banach space such that X is embedded respectively continuously and compactly into L q (R N ) for q [q 1,q ] and q (q 1,q ), where q 1,q (0, ). Assume that {v j } j N X, v : R N R is a measurable function and P C(R,R) is such that P(t) (i) lim t 0 t q = 0, 1 (ii) lim t P(t) t q = 0, (iii) sup v j <, j N (iv) lim P(v j (x)) = v(x) for a.e. x R N. Then, up to a subsequence, we have lim P(v j) v L 1 (R N ) = 0.

5 MULTIPLICITY RESULT 5 3. A critical point result In this section we provide an abstract multiplicity result which allows us to prove Theorem 1.1. Let us introduce the following functional defined for u H s (R N ) F q (u) = 1 [u] H s (R N ) +qr(u) R N G(u)dx, (3.1) where q > 0 is a small parameter and R : H s (R N ) R. We suppose that k R = and, for each i = 1,...,k the functional R i satisfies (R 1 ) R i C 1 (H s (R N ),R) is nonnegative and even; (R ) there exists δ i > 0 such that R i (u),u C u δ i H s (R N ) for any u Hs (R N ); (R 3 ) if {u j } j N H s (R N ) is weakly convergent to u H s (R N ), then R i lim sup R i(u j ),u u j 0; (R 4 ) there exist α i,β i 0 such that if u H s (R N ), t > 0 and u t = u ( t), then R i (u t ) = t α i R i (t β i u); (R 5 ) R i is invariant under the action of the N-dimensional orthogonal group, i.e. R i (u(g )) = R i (u( )) for every g O(N). 1 Let us observe that for any u H s (R N d ), R i (u) R i (0) = 0 dt R i(tu)dt, so by the assumption (R ) we have The main result of this section is the following R i (u) C 1 +C u δ i H s (R N ). (3.) Theorem 3.1. Let us suppose (g 1 ) (g 4 ) and (R 1 ) (R 5 ). Then, for any h N there exists q(h) > 0 such that for any 0 < q < q(h) the functional F q admits at least h couples of critical points in H s rad (RN ). Let us define, for any t 0, g 1 (t) := (g(t)+mt) + g (t) := g 1 (t) g(t), and we extend them as odd functions for t 0. Observing that g 1 (t) lim t 0 t g 1 (t) lim t t s = 0, (3.3) 1 = 0, (3.4) g (t) mt t 0, (3.5)

6 6 V. AMBROSIO AND T. ISERNIA we deduce that for any ε > 0 there exists C ε > 0 such that Setting g 1 (t) C ε t s 1 +εg (t) t 0. (3.6) G i (t) := by (3.5) immediately follows that t 0 g i (τ)dτ i = 1,, G (t) m t t R, (3.7) and, by (3.6) we can see that for any ε > 0 there exists C ε > 0 such that G 1 (t) C ε t s +εg (t) t R. (3.8) In view of (R 5 ), all functionals that we will consider along the paper are invariant underrotations, so, fromnow on, wewill directly defineour functionals inhrad s (RN ). Following [0], let χ C ([0,+ ),R) be a cut-off function such that χ(t) = 1 for t [0,1] 0 χ(t) 1 for t (1,) χ(t) = 0 for t [,+ ) χ, and we set ξ Λ (u) = χ ( ) u H s (R N ) Λ. Then we introduce the truncated functional F Λ q : Hrad s (RN ) R defined as F Λ q(u) = 1 [u] H s (R N ) +qξ Λ(u)R(u) G(u)dx. R N Clearly, a critical point u of F Λ q with u H s (R N ) Λ is a critical point of F q. Ourfirstaim is toprove that thetruncated functional F Λ q hasasymmetricmountain pass geometry: Lemma 3.1. There exist r 0 > 0 and ρ 0 > 0 such that F Λ q(u) 0, for u H s (R N ) r 0 F Λ q (u) ρ 0, for u H s (R N ) = r 0. Moreover, for any n N there exists an odd continuous map such that where γ n : S n 1 H s rad (RN ) (3.9) F Λ q (γ n(σ)) < 0 for all σ S n 1, (3.10) S n 1 = {σ = (σ 1,...,σ n ) R n : σ = 1}.

7 MULTIPLICITY RESULT 7 Proof. Taking ε = 1 in (3.8), and by using (3.7), the positivity of R, and Theorem.1, we have F Λ q (u) = 1 [u] H s (R N ) R + G (u)dx+qξ Λ (u)r(u) G 1 (u)dx N R N 1 [u] H s (R N ) + m 4 u L (R N ) C1 u s L s(r N ) { 1 min, m } u 4 H s (R N ) C1 C u s H s (R N ) from which easily follows (3.9). Proceeding similarly to Theorem 10 in [10], for any n N, there exists an odd continuous map π n : S n 1 H s rad (RN ) such that Let us define 0 / π n (S n 1 ), R N G(π n (σ))dx 1 for all σ S n 1. ψ t n(σ) = π n (σ) Then, for t sufficiently large, we get ( ) t with t 1. F Λ q(ψn(σ)) t = tn s [π n (σ)] H s (R N ) ( t N s [π n (σ)] H +qχ s (R N ) +tn π n (σ) ) L (R N ) R(ψn t (σ)) t N R N G(π n (σ))dx Λ t N s { [πn (σ)] H s (R N ) t s } < 0. Therefore, we can choose t such that F Λ q (ψ t n (σ)) < 0 for all σ S n 1, and by setting γ n (σ)(x) := ψ t n (σ)(x), we can see that γ n satisfies the required properties. Now we define the minimax value of F Λ q by using the maps γ n : D n H s rad (RN ) obtained in Lemma 3.1. For any n N, let b n = b n (q,λ) = inf γ Γ n max σ D n F Λ q (γ(σ)), where D n = {σ = (σ 1,...,σ n ) R n : σ 1} and { } Γ n = γ C(D n,hrad s γ( σ) = γ(σ) for all σ D (RN )) : n. γ(σ) = γ n (σ) for all σ D n

8 8 V. AMBROSIO AND T. ISERNIA Let us introduce the following modified functionals for (θ,u) R H s rad (RN ). We set where Γ n = γ C(D n,r Hrad s (RN )) : By the assumption (R 4 ) we get and F q (θ,u) = e(n s)θ F Λ q(θ,u) = e(n s)θ e Nθ R N G(u)dx. F q (θ,u) = F q (u( /e θ )) F Λ q (θ,u) = FΛ q (u( /eθ )) F q (θ,u) = u F q (θ,u), ( F Λ q) (θ,u) = F Λ u q(θ,u), bn = b n (q,λ) = inf γ Γ n max σ D n FΛ q ( γ(σ)), γ(σ) = (θ(σ), η(σ)) satisfies (θ( σ),η( σ)) = (θ(σ), η(σ)) for all σ D n (θ(σ),η(σ)) = (0,γ n (σ)) for all σ D n k [u] H s (R N ) +q e αiθ R i (e βiθ u) e R Nθ G(u)dx, N [u] H s (R N ) +qχ ( e (N s)θ [u] H s (R N ) +enθ u L (R N ) Λ Proceeding as in [3, 19, 34], we can see that the following results hold. Lemma 3.. We have (1) there exists b > 0 such that b n b for any n N, () b n +, (3) b n = b n for any n N.. ) k e αiθ R i (e βiθ u) Lemma 3.3. For any n N there exists a sequence {(θ j,u j )} j N R H s rad (RN ) such that (i) θ j 0, (ii) F Λ q(θ j,u j ) b n, (iii) ( F Λ q) (θ j,u j ) 0 strongly in (Hrad s (RN )) 1, (iv) F Λ q θ (θ j,u j ) 0.

9 MULTIPLICITY RESULT 9 Our goal is to prove that, for a suitable choice of Λ and q, the sequence {(θ j,u j )} j N given by Lemma 3.3 is a bounded Palais-Smale sequence for F q. We begin proving the boundedness of {u j } j N in H s (R N ). Proposition 3.1. Let n N and Λ n > 0 sufficiently large. There exists q n, depending on Λ n, such that for any 0 < q < q n, if {(θ j,u j )} j N R H s rad (RN ) is the sequence given in Lemma 3.3, then, up to a subsequence, u j H s (R N ) Λ n, for any j N. Proof. Taking into account Lemma 3. and Lemma 3.3 we have which can be written as N F Λ q(θ j,u j ) F Λ θ q(θ j,u j ) = Nb n +o j (1), se (N s)θ j [u j ] H s (R N ) ( uj ( /e θ j ) ) k H = qχ s (R N ) (α i N)R i (u j ( /e θ j )) Λ ( uj ( /e θ j ) ) k H +qχ s (R N ) e α iθ j R i(e β iθ j u j ),β i e β iθ j u j Λ +qχ ( uj ( /e θ j ) H s (R N ) Λ +Nb n +o j (1) ) (N s)e (N s)θ j [u j ] H s (R N ) +NeNθ j u j L (R N ) Λ R(u j ( /e θ j )) =: I j +II j +III j +Nb n +o j (1). (3.11) By the definition of b n, if γ Γ n, we deduce that b n max F Λ q (γ(σ)) σ D n { } 1 max σ D n [γ(σ)] H s (R N ) G(γ(σ))dx + max (qξ Λ (γ(σ))r(γ(σ))) R N σ D n =: A 1 +A (Λ). (3.1) Now, if γ(σ) H s (R N ) Λ then A (Λ) = 0, otherwise, by (3.), we can find δ > 0 such that ( ) ( A (Λ) q C 1 +C γ(σ) δ H s (R N ) q C 1 +C Λ δ). In addition we have the following estimates: ( I j q C 3 +C 4 Λ δ), (3.13) II j C 5 qλ δ, (3.14) ( III j q C 6 +C 7 Λ δ). (3.15) Putting together (3.1), (3.13), (3.14) and (3.15), from (3.11) we obtain ( [u j ] H s (R N ) C +q C 8 +C 9 Λ δ). (3.16)

10 10 V. AMBROSIO AND T. ISERNIA On the other hand, by (iv) of Lemma 3.3 and (3.8), we deduce that ( (N s)e (N s)θ j uj [u j ] H s (R N ) +qχ ( /e θ j ) ) k H s (R N ) Λ α i R i (u j ( /e θ j )) ( uj ( /e θ j ) ) k H +qχ s (R N ) e α iθ j R i (eβ iθ j u j ),β i e β iθ j u j Λ ( uj ( /e θ j ) ) +qχ H s (R N ) (N s)e (N s)θ j [u j ] H s (R N ) +NeNθ j u j L (R N ) Λ Λ R(u j ( /e θ j )) +Ne Nθ j G (u j )dx R N = Ne Nθ j G 1 (u j )dx+o j (1) R N ) Ne Nθ j (C ε u j s dx+ε G (u j )dx +o j (1). (3.17) R N R N Then, by using (3.7), (3.14), (3.15), (3.16), (3.17) and Theorem.1, we can infer Ne Nθ j m(1 ε) (1 ε)ne Nθ j Ne Nθ j C ε u j dx R N R N G (u j )dx qχ ( uj ( /e θ j ) H s (R N ) Λ uj ( /e u j s dx qχ( θ j ) H s (R N ) R N Λ C 10 ([u j ] H s (R )) s ( +q C N 11 +C 1 Λ δ) +o j (1) C 10 (C +q (C 8 +C 9 Λ δ)) ) k e α iθ j R i(e β iθ j u j ),β i e β iθ j u j ) (N s)e (N s)θ j [u j ] H s (R N ) +NeNθ j u j L (R N ) Λ R(u j ( /e θ j ))+o j (1) s ( +q C 11 +C 1 Λ δ) +o j (1). (3.18) Now, we argue by contradiction. If we suppose that there exists no subsequence {u j } j N which is uniformly bounded by Λ in the H s -norm, we can find j 0 N such that u j H s (R N ) > Λ for all j j 0. (3.19) Without any loss of generality, we can assume that (3.19) is true for any u j. As a consequence, by using (3.16), (3.18) and (3.19), we can deduce that Λ < u j H s (R N ) C 13 +C 14 qλ s δ

11 MULTIPLICITY RESULT 11 which is impossible for Λ large and q small enough. Indeed, to see this, we can observe that it is possible to find Λ 0 such that Λ 0 > C and q 0 = q 0 (Λ 0 ) such that C 14 qλ s δ < 1, for any q < q 0, and this gives a contradiction. At this point, we prove the following compactness result: Lemma 3.4. Let n N, Λ n,q n > 0 as in Proposition 3.1 and {(θ j,u j )} j N R H s rad (RN ) be the sequence given in Lemma 3.3. Then {u j } j N admits a subsequence which converges in H s rad (RN ) to a nontrivial critical point of F q at the level b n. Proof. By Proposition 3.1, we know that {u j } j N is bounded, so, by using Theorem., we can suppose, up to a subsequence, that there exists u H s rad (RN ) such that u j u weakly in H s rad (RN ), u j u in L p (R N ), < p < s, u j u a.e. in R N. By the weak lower semicontinuity we know that (3.0) [u] H s (R N ) liminf [u j] H s (R N ). (3.1) Recalling that u j H s (R N ) Λ n for any j N, we can see that, for every v H s rad (RN ), F q(θ j,u j ),v = ( F Λn q ) (θ j,u j ),v = e (N s)θ u j j (x) u j (y) (v(x) v(y))dxdy R N x y N+s k +q e (α i+β i )θ j R i(e β iθ j u j ),v +e Nθ j g (u j )vdx e Nθ j g 1 (u j )vdx. (3.) R N R N Taking into account (3.) and (iii) of Lemma 3.3 we have o j (1) = F q(θ j,u j ),u F q(θ j,u j ),u j = e (N s)θ u j j (x) u j (y) R N x y N+s [(u(x) u(y)) (u j(x) u j (y))]dxdy k +q e (α i+β i )θ j R i (eβ iθ j u j ),u u j +e Nθ j R N g (u j )(u u j )dx e Nθ j R N g 1 (u j )(u u j )dx. (3.3) Now, byapplyingthefirstpartoflemma.1forp(t) = g i (t), i = 1,, Q(t) = t s 1, v j = u j, v = g i (u), i = 1, and w C 0 (R N ), by (g 3 ), (3.4) and (3.0) we can see,

12 1 V. AMBROSIO AND T. ISERNIA as j so we obtain g i (u j )wdx g i (u)wdx i = 1,, R N R N g i (u j )udx g i (u)udx i = 1,. (3.4) R N R N Taking X = H s (R N ), q 1 =, q = s, v j = u j, v = g 1 (u)u and P(t) = g 1 (t)t in Lemma., by (3.3), (3.4) and (3.0) we deduce g 1 (u j )u j dx g 1 (u)udx. (3.5) R N R N On the other hand, (3.0) and Fatou s Lemma yield g (u)udx liminf g (u j )u j dx. (3.6) R N R N Putting together (3.3), (3.4), (3.5), (3.6), and by using (R 3 ) we get lim sup [u j ] H s (R N ) = limsup e (N s)θ j [u j ] H s (R N ) [ = limsup e (N s)θ j k +q Therefore (3.1) and (3.7) give e (α i+β i )θ j R i(e β iθ j u j ),u u j u j (x) u j (y) (u(x) u(y))dxdy R N x y N+s ] +e Nθ j g (u j )(u u j )dx e Nθ j g 1 (u j )(u u j )dx R N R N [u] H s (R N ). (3.7) lim [u j] H s (R N ) = [u] H s (R N ), (3.8) which, in view of (3.3), yields lim g (u j )u j dx = g (u)udx. (3.9) R N R N Since g (t)t = mt + h(t), with h a positive and continuous function, by Fatou s Lemma follows that h(u)dx liminf h(u j )dx (3.30) R N R N u dx liminf u j dx. (3.31) R N R N

13 MULTIPLICITY RESULT 13 By using (3.9) and (3.30) we can see that lim sup mu j dx = limsup (g (u j )u j h(u j ))dx R N R N ( ) = g (u)udx+limsup h(u j )dx R N R N = (mu +h(u))dx liminf h(u j )dx R N R N = mu dx+ h(u)dx liminf h(u j )dx R N R N R N mu dx R N which, together with (3.31), implies that u j u strongly in L (R N ). Then, we have proved that u j u strongly in H s rad (RN ). Since b n > 0, u is a nontrivial critical point of F q at the level b n. Now, we are ready to prove the main result of this Section: Proof of Theorem 3.1. Let h 1. Since b n + (see () of Lemma 3.), up to a subsequence, we can consider b 1 < b < < b h. Then, in view of Lemma 3.4, we define q(h) = q h > 0 and we get the thesis. 4. Proof of Theorem 1.1 In this Section we give the proof of Theorem 1.1. Let us introduce the following functional F q (u) = 1 ( p+ q ) (1 s)[u] H s (R N ) [u] H s (R N ) R G(u)dx. N In view of Theorem 3.1, it is enough to verify that R(u) = 1 s 4 [u]4 H s (R N ) (4.1) satisfies the assumptions (R 1 )-(R 5 ). Clearly R is an even and nonnegative C 1 -functional in H s (R N ). Since [u] H s (R N ) u H s (R N ), we can see that the assumptions (R 1) and (R ) are satisfied. Regarding (R 3 ), suppose that u j u weakly in H s rad (RN ) and [u j ] H s (R N ) l 0. If l = 0, then we have finished. Let us assume l > 0. From the weak lower semicontinuity, we have [u] H s (R N ) liminf [u j] H s (R N ). (4.)

14 14 V. AMBROSIO AND T. ISERNIA By using the following properties of liminf and limsup for sequences of real numbers lim sup and by applying (4.), we obtain lim sup R (u j ),u u j = = (1 s)limsup = (1 s)llimsup a j b j = alimsup b j if a j a > 0, lim sup(a j +b j ) = a+limsup b j if a j a, lim sup( a j ) = liminf a j, ( [u j ] H s (R N ) (u j (x) u j (y)) R N x y N+s [(u(x) u(y)) (u j (x) u j (y))]dxdy (u j (x) u j (y)) R N x y N+s [(u(x) u(y)) (u j (x) u j (y))]dxdy ( ) (u j (x) u j (y)) = (1 s)l lim R N x y N+s (u(x) u(y))dxdy liminf [u j] H s (R N ) ( ) = (1 s)l [u] H s (R N ) liminf[u j] H s (R N ) 0, which gives (R 3 ). Now, recalling the definition of u t and by using (4.1), it follows that (R 4 ) is verified because of R(u t ) = 1 s 4 (RN u( x ) t ) u(y t ) x y N+s dxdy = (1 s)t(n s) 4 = t (N s) R(u). (RN u(x) u(y) x y N+s dxdy Finally, we prove the condition (R 5 ). By using a change of variable, we can see that, for any g O(N) R(u(g )) = 1 s 4 [u(g )]4 H s (R N ) = 1 s 4 [u]4 H s (R N ) = R(u). Then, by applying Theorem 3.1, we can infer that for any h N, there exists q(h) > 0 such that for any 0 < q < q(h) the functional F q admits at least h couples of critical points in H s (R N ) with radial symmetry. This means that (1.1) admits at least h couples of weak solutions in Hrad s (RN ). References [1] C.O. Alves, F.J.S.A. Corrêa and G.M. Figueiredo, On a class of nonlocal elliptic problems with critical growth, Differ. Equ. Appl. (010), no. 3, [] C.O. Alves, F.J.S.A. Corrêa, and T. F. Ma, Positive solutions for a quasi-linear elliptic equation of Kirchhoff type, Comput. Math. Appl., 49 (005), no.1, ) 4 )

15 MULTIPLICITY RESULT 15 [3] V. Ambrosio, Mountain pass solutions for the fractional Berestycki-Lions problem, Preprint arxiv: [4] G. Autuori, A. Fiscella and P. Pucci, Stationary Kirchhoff problems involving a fractional elliptic operator and a critical nonlinearity, Nonlinear Anal. 15 (015), [5] G. Autuori and P. Pucci, Kirchhoff systems with nonlinear source and boundary damping terms, Commun. Pure Appl. Anal. 9 (010), no. 5, [6] G. Autuori and P. Pucci, Elliptic problems in involving the fractional Laplacian in R N, J. Differential Equations 55 (013), no. 8, [7] G. Autuori, P. Pucci and M.C. Salvatori, Global nonexistence for nonlinear Kirchhoff systems, Arch. Ration. Mech. Anal. 196 (010), no., [8] A. Azzollini, P. d Avenia and A. Pomponio, Multiple critical points for a class of nonlinear functionals, Ann. Mat. Pura Appl. 190 (011), no. 3, [9] H. Berestycki and P.L. Lions, Nonlinear scalar field equations. I. Existence of a ground state, Arch. Rational Mech. Anal. 8 (1983), no. 4, [10] H. Berestycki and P.L. Lions, Nonlinear scalar field equations. II. Existence of infinitely many solutions, Arch. Rational Mech. Anal. 8 (1983), no. 4, [11] S. Bernstein, Sur une classe d équations fonctionnelles aux dérivées partielles, Bull. Acad. Sci. URSS. Sér. Math. [Izvestia Akad. Nauk SSSR] 4 (1940), [1] J. Bourgain, H. Brezis and P. Mironescu, Another look at Sobolev spaces, Optimal control and partial differential equations, (001), , IOS, Amsterdam. [13] L.A. Caffarelli and L. Silvestre, An extension problem related to the fractional Laplacian, Comm. Partial Differential Equations 3 (007), no. 7-9, [14] X. Chang and Z.-Q. Wang, Ground state of scalar field equations involving a fractional Laplacian with general nonlinearity, Nonlinearity 6 (013), no., [15] E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker s guide to the fractional Sobolev spaces, Bull. Sci. Math. 136 (01), no. 5, [16] G.M. Figueiredo, Existence of a positive solution for a Kirchhoff problem type with critical growth via truncation argument, J. Math. Anal. Appl. 401 (013), no., [17] G.M. Figueiredo, G. Molica Bisci and R. Servadei, On a fractional Kirchhoff-type equation via Krasnoselskii s genus, Asymptot. Anal. 94 (015), no. 3-4, [18] A. Fiscella and E. Valdinoci, A critical Kirchhoff type problem involving a nonlocal operator, Nonlinear Anal. 94 (014), [19] J. Hirata, N. Ikoma and K. Tanaka, Nonlinear scalar field equations in R N : mountain pass and symmetric mountain pass approaches, Topol. Methods Nonlinear Anal. 35 (010), no., [0] L. Jeanjean and S. Le Coz, An existence and stability result for standing waves of nonlinear Schrödinger equations, Adv. Differential Equations 11 (006), no. 7, [1] G. Kirchhoff, Mechanik, Teubner, Leipzig, [] S. Liang and S. Shi, Soliton solutions to Kirchhoff type problems involving the critical growth in R N, Nonlinear Anal. 81 (013), [3] J. L. Lions, On some questions in boundary value problems of mathematical physics, Contemporary developments in continuum mechanics and partial differential equations (Proc. Internat. Sympos., Inst. Mat., Univ. Fed. Rio de Janeiro, Rio de Janeiro, 1977), pp , North-Holland Math. Stud., 30, North-Holland, Amsterdam-New York, [4] P. L. Lions, Symetrié et compacité dans les espaces de Sobolev, J. Funct. Anal. 49 (198), no. 3, [5] A. Mao and Z. Zhang, Sign-changing and multiple solutions of Kirchhoff type problems without the P.S. condition, Nonlinear Anal. 70 (009), no. 3, [6] X. Mingqi, G. Molica Bisci, G. Tian and B. Zhang, Infinitely many solutions for the stationary Kirchhoff problems involving the fractional p-laplacian, Nonlinearity 9 (016), no., [7] G. Molica Bisci and D. Repovš, On doubly nonlocal fractional elliptic equations, Atti Accad. Naz. Rend. Lincei Mat. Appl. 6 (015), no.,

16 16 V. AMBROSIO AND T. ISERNIA [8] G. Molica Bisci and F. Tulone, An existence result for fractional Kirchhoff-type equations, Z. Anal. Anwend. 35 (016), no., [9] G. Molica Bisci and L.Vilasi, On a fractional degenerate Kirchhoff-type problem, Commun. Contemp. Math. 19 (017), no. 1, , 3 pp. [30] K. Perera and Z.T. Zhang, Nontrivial solutions of Kirchhoff-type problems via the Yang index, J. Differential Equations 1 (006), no. 1, [31] S.I. Pohožaev, A certain class of quasilinear hyperbolic equations, Mat. Sb. 96(1975), [3] P. Pucci and S. Saldi, Critical stationary Kirchhoff equations in R N involving nonlocal operators, Rev. Mat. Iberoam. 3 (016), no. 1, 1. [33] P. Pucci, M. Xiang and B. Zhang, Multiple solutions for nonhomogeneous Schrödinger- Kirchhoff type equations involving the fractional p-laplacian in R N, Calc. Var. Partial Differential Equations 54 (015), no. 3, [34] P.H. Rabinowitz, Minimax methods in critical point theory with applications to differential equations CBMS Regional Conference Series in Mathematics, 65. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, viii+100 pp. Vincenzo Ambrosio Dipartimento di Scienze Pure e Applicate (DiSPeA), Università degli Studi di Urbino Carlo Bo Piazza della Repubblica, Urbino (Pesaro e Urbino, Italy) address: vincenzo.ambrosio@uniurb.it Teresa Isernia Dipartimento di Matematica e Applicazioni Renato Caccioppoli Università degli Studi di Napoli Federico II Via Cintia 1, 8016 Napoli Italy address: teresa.isernia@unina.it