Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Advances in Nonlinear Analysis

Editor-in-Chief: Radulescu, Vicentiu / Squassina, Marco

IMPACT FACTOR 2018: 6.636

CiteScore 2018: 5.03

SCImago Journal Rank (SJR) 2018: 3.215
Source Normalized Impact per Paper (SNIP) 2018: 3.225

Mathematical Citation Quotient (MCQ) 2018: 3.18

Open Access
See all formats and pricing
More options …

A fractional Kirchhoff problem involving a singular term and a critical nonlinearity

Alessio FiscellaORCID iD: https://orcid.org/0000-0001-6281-4040
Published Online: 2017-08-03 | DOI: https://doi.org/10.1515/anona-2017-0075


In this paper, we consider the following critical nonlocal problem:

{M(2N|u(x)-u(y)|2|x-y|N+2s𝑑x𝑑y)(-Δ)su=λuγ+u2s*-1in Ω,u>0in Ω,u=0in NΩ,

where Ω is an open bounded subset of N with continuous boundary, dimension N>2s with parameter s(0,1), 2s*=2N/(N-2s) is the fractional critical Sobolev exponent, λ>0 is a real parameter, γ(0,1) and M models a Kirchhoff-type coefficient, while (-Δ)s is the fractional Laplace operator. In particular, we cover the delicate degenerate case, that is, when the Kirchhoff function M is zero at zero. By combining variational methods with an appropriate truncation argument, we provide the existence of two solutions.

Keywords: Kirchhoff-type problems; fractional Laplacian; singularities; critical nonlinearities; perturbation methods

MSC 2010: 35J75; 35R11; 49J35; 35A15; 45G05; 35S15

1 Introduction

This paper is devoted to the study of a class of Kirchhoff-type problems driven by a nonlocal fractional operator and involving a singular term and a critical nonlinearity. More precisely, we consider

{(2N|u(x)-u(y)|2|x-y|N+2s𝑑x𝑑y)θ-1(-Δ)su=λuγ+u2s*-1in Ω,u>0in Ω,u=0in NΩ,(1.1)

where Ω is an open bounded subset of N with continuous boundary, dimension N>2s with parameter s(0,1), 2s*=2N/(N-2s) is the fractional critical Sobolev exponent, λ>0 is a real parameter, θ(1,2s*/2), while γ(0,1). Here (-Δ)s is the fractional Laplace operator defined, up to normalization factors, by the Riesz potential as


along any φC0(Ω); we refer to [11] and the recent monograph [22] for further details on the fractional Laplacian and the fractional Sobolev spaces Hs(N) and H0s(Ω).

As is well explained in [11, 22], problem (1.1) is the fractional version of the following nonlinear problem:

{-M(Ω|u(x)|2𝑑x)Δu=λuγ+u2*-1in Ω,u>0in Ω,u=0in Ω,(1.2)

where Δ denotes the classical Laplace operator while, just for a general discussion, M(t)=tθ-1 for any t0+. In literature, problems like (1.1) and (1.2) are called of Kirchhoff type whenever the function M:0+0+ models the Kirchhoff prototype, given by


In particular, when M(t)constant>0 for any t0+, Kirchhoff problems are said to be non-degenerate and this happens for example if a>0 in the model case (1.3). While if M(0)=0 but M(t)>0 for any t+, Kirchhoff problems are called degenerate. Of course, for (1.3) this occurs when a=0.

This kind of nonlocal problems has been widely studied in recent years. We refer to [17, 18, 19, 21, 20] for different Kirchhoff problems with M like in (1.3), driven by the Laplace operator and involving a singular term of type u-γ. In [21], Liu and Sun study a Kirchhoff problem with a singular term and a Hardy potential by using the Nehari method. The same approach is used in [19] for a singular Kirchhoff problem with also a subcritical term. In [17], strongly assuming a>0 in (1.3), Lei, Liao and Tang prove the existence of two solutions for a Kirchhoff problem like (1.2) by combining perturbation and variational methods. While in [18], Liao, Ke, Lei and Tang provide a uniqueness result for a singular Kirchhoff problem involving a negative critical nonlinearity by a minimization argument. By arguing similarly to [17], Liu, Tang, Liao and Wu [20] give the existence of two solutions for a critical Kirchhoff problem with a singular term of type |x|-βu-γ.

Problem (1.1) has been studied by Barrios, De Bonis, Medina and Peral [4] when θ=1, namely without a Kirchhoff coefficient. They prove the existence of two solutions by applying the sub/supersolutions and Sattinger methods. In [8], Canino, Montoro, Sciunzi and Squassina generalize the results of [4, Section 3] to the delicate case of the p-fractional Laplace operator (-Δ)ps. While in the last section of [1], Abdellaoui, Medina, Peral and Primo provide the existence of a solution for nonlinear fractional problems with a singularity like u-γ and a fractional Hardy term by perturbation methods. Concerning fractional Kirchhoff problems involving critical nonlinearities, we refer to [2, 9, 13, 14, 16, 23] for existence results and to [5, 12, 24, 25, 29] for multiplicity results. In particular, in [9, 13, 14, 23] different singular terms appear, but are given by the fractional Hardy potential.

Inspired by the above works, we study a multiplicity result for problem (1.1). As far as we know, a fractional Kirchhoff problem involving a singular term of type u-γ has not been studied yet. We can state our result as follows.

Theorem 1.1.

Let s(0,1), N>2s, θ(1,2s*/2), γ(0,1) and let Ω be an open bounded subset of RN with Ω continuous. Then there exists λ¯>0 such that for any λ(0,λ¯) problem (1.1) has at least two different solutions.

The first solution of problem (1.1) is obtained by a suitable minimization argument, where we must pay attention to the nonlocal nature of the fractional Laplacian. Concerning the second solution, because of the presence of u-γ, we can not apply the usual critical point theory to problem (1.1). For this, we first study a perturbed problem obtained by truncating the singular term u-γ. Then by approximation we get our second solution of (1.1).

Finally, we observe that Theorem 1.1 generalizes in several directions the first part of [4, Theorem 4.1] and [17, Theorem 1.1].

The paper is organized as follows: In Section 2, we discuss the variational formulation of problem (1.1), and we introduce the perturbed problem. In Section 3, we prove the existence of the first solution of (1.1), and we give a possible generalization of this existence result at the end of the section. In Section 4, we prove the existence of a mountain pass solution for the perturbed problem. In Section 5, we prove Theorem 1.1.

2 Variational setting

Throughout this paper, we assume without further mentioning that s(0,1), N>2s, θ(1,2s*/2), γ(0,1) and Ω is an open bounded subset of N with Ω continuous. As a matter of notations, we denote with φ+=max{φ,0} and φ-=max{-φ,0} respectively the positive and negative part of a function φ.

Problem (1.1) has a variational structure, and the natural space where to find solutions is the homogeneous fractional Sobolev space H0s(Ω). In order to study (1.1) it is important to encode the “boundary condition” u=0 in NΩ in the weak formulation, by considering also that the interaction between Ω and its complementary in N gives a positive contribution in the so-called Gagliardo norm, given as


The functional space that takes into account this boundary condition will be denoted by X0 and it is defined as

X0={uHs(N):u=0 a.e. in NΩ}.

We refer to [26] for a general definition of X0 and its properties. We also would like to point out that when Ω is continuous, by [15, Theorem 6] the space C0(Ω) is dense in X0, with respect to the norm (2.1). This last point will be used to overcome the singularity in problem (1.1).

In X0 we can consider the norm


which is equivalent to the usual one defined in (2.1) (see [26, Lemma 6]). We also recall that (X0,X0) is a Hilbert space, with the scalar product defined as


From now on, in order to simplify the notation, we will denote X0 and ,X0 by and ,, respectively, and Lq(Ω) by q for any q[1,].

In order to present the weak formulation of (1.1) and taking into account that we are looking for positive solutions, we will consider the following Kirchhoff problem:

{(2N|u(x)-u(y)|2|x-y|N+2s𝑑x𝑑y)θ-1(-Δ)su=λ(u+)γ+(u+)2s*-1in Ω,u=0in NΩ.(2.2)

We say that uX0 is a (weak) solution of problem (2.2) if u satisfies


for any φX0. Problem (2.2) has a variational structure and Jλ:X0, defined by


is the underlying functional associated to (2.2). Because of the presence of a singular term in (2.2), the functional Jλ is not differentiable on X0. Therefore, we can not apply directly the usual critical point theory to Jλ in order to solve problem (2.2). However, it is possible to find a first solution of (2.2) by using a local minimization argument. In order to get the second solution of (2.2) we have to study an associated approximating problem. That is, for any n, we consider the following perturbed problem:

{(2N|u(x)-u(y)|2|x-y|N+2s𝑑x𝑑y)θ-1(-Δ)su=λ(u++1n)γ+(u+)2s*-1in Ω,u=0in NΩ.(2.4)

For this, we say that uX0 is a (weak) solution of problem (2.4) if u satisfies


for any φX0. In this case, solutions of (2.4) correspond to the critical points of the functional Jn,λ:X0, set as


It is immediate to see that Jn,λ is of class C1(X0).

We conclude this section by recalling the best constant of the fractional Sobolev embedding, which will be very useful to study the compactness property of the functional Jn,λ. That is, we consider


which is well defined and strictly positive, as shown in [10, Theorem 1.1].

3 A first solution for problem (1.1)

In this section, we prove the existence of a solution for problem (1.1) by a local minimization argument. For this, we first study the geometry of the functional Jλ.

Lemma 3.1.

There exist numbers ρ(0,1], λ0=λ0(ρ)>0 and α=α(ρ)>0 such that Jλ(u)α for any uX0, with u=ρ, and for any λ(0,λ0]. Furthermore, set


where B¯ρ={uX0:uρ}. Then mλ<0 for any λ(0,λ0].


Let λ>0. From the Hölder inequality and (2.7) for any uX0 we have


Hence, using again (2.7) and (3.1), we get


Since 1-γ<1<2θ<2s*, the function


admits a maximum at some ρ(0,1] small enough, that is, maxt[0,1]η(t)=η(ρ)>0. Thus, let


Then for any uX0 with u=ρ1 and for any λλ0, we get Jλ(u)ρ1-γη(ρ)/2=α>0.

Furthermore, fixed vX0 with v+0, for t(0,1) sufficiently small we have


since 1-γ<1<2θ<2s*. ∎

We are now ready to prove the existence of the first solution of (1.1).

Theorem 3.2.

Let λ0 be given as in Lemma 3.1. Then for any λ(0,λ0] problem (1.1) has a solution u0X0 with Jλ(u0)<0.


Fix λ(0,λ0] and let ρ be as given in Lemma 3.1. We first prove that there exists u0B¯ρ such that Jλ(u0)=mλ<0. Let {uk}kB¯ρ be a minimizing sequence for mλ, that is, such that


Since {uk}k is bounded in X0, by applying [26, Lemma 8] and [6, Theorem 4.9], there exist a subsequence, still denoted by {uk}k, and a function u0B¯ρ such that, as k, we have

{uku0 in X0,uku0 in L2s*(Ω),uku0 in Lp(Ω) for any p[1,2s*),uku0 a.e. in Ω.(3.3)

Since γ(0,1), by the Hölder inequality, for any k we have


which yields, by (3.3),


Let wk=uk-u0; by [7, Theorem 2] it holds true that


as k. Since {uk}kB¯ρ, by (3.5) for k sufficiently large, we have wkB¯ρ. Lemma 3.1 implies that for any uX0, with u=ρ, we get


and from this, since ρ1, for k sufficiently large we have


Thus, by (3.2), (3.4)–(3.6) and considering θ1, it follows that, as k,


since u0B¯ρ. Hence, u0 is a local minimizer for Jλ, with Jλ(u0)=mλ<0, which implies that u0 is nontrivial.

Now, we prove that u0 is a positive solution of (2.2). For any ψX0, with ψ0 a.e. in N, let us consider a t>0 sufficiently small so that u0+tψB¯ρ. Since u0 is a local minimizer for Jλ, we have


From this, by dividing by t>0 and passing to the limit as t0+, it follows that

lim inft0+λ1-γΩ((u0+tψ)+)1-γ-(u0+)1-γt𝑑xu02(θ-1)u0,ψ-Ω(u0+)2s*-1ψ𝑑x.(3.7)

We observe that

11-γ((u0+tψ)+)1-γ-(u0+)1-γt=((u0+ξtψ)+)-γψa.e. in Ω,

with ξ(0,1) and ((u0+ξtψ)+)-γ(u0+)-γψ a.e. in Ω as t0+. Thus, by the Fatou lemma, we obtain

λΩ(u0+)-γψ𝑑xlim inft0+λ1-γΩ((u0+tψ)+)1-γ-(u0+)1-γt𝑑x.(3.8)

Therefore, combining (3.7) and (3.8), we get


for any ψX0 with ψ0 a.e. in N.

Since Jλ(u0)<0 and by Lemma 3.1, we have u0Bρ. Hence, there exists δ(0,1) such that (1+t)u0B¯ρ for any t[-δ,δ]. Let us define Iλ(t)=Jλ((1+t)u0). Since u0 is a local minimizer for Jλ in B¯ρ, the functional Iλ has a minimum at t=0, that is,


For any φX0 and any ε>0, let us define ψε=u0++εφ. Then by (3.9) we have


We observe that, for a.e. x,yN, we obtain


from which we immediately get


From the last inequality it follows that


Hence, denoting Ωε={xN:u0+(x)+εφ(x)0} and combining (3.11) with (3.13), we get


where the last equality follows from (3.10). Arguing similarly to (3.12), for a.e. x,yN we have


Thus, denoting


by the symmetry of the fractional kernel and (3.15), we get


where we set


Clearly 𝒰L1(2N), so that for any σ>0 there exists Rσ sufficiently large such that


Also, by the definition of Ωε, we have Ωεsuppφ and |Ωε×BRσ|0 as ε0+. Thus, since 𝒰L1(2N), there exist δσ>0 and εσ>0 such that for any ε(0,εσ],


Therefore, for any ε(0,εσ],


from which we get


Combining (3.14) with (3.16), dividing by ε, letting ε0+ and using (3.17), we obtain


for any φX0. By the arbitrariness of φ, we prove that u0 verifies (2.3), that is, u0 is a nontrivial solution of (2.2).

Finally, considering φ=u0- in (2.3) and using (3.12), we see that u0-=0, which implies that u0 is nonnegative. Moreover, by the maximum principle in [28, Proposition 2.17], we can deduce that u0 is a positive solution of (2.2), and so also solves problem (1.1). This concludes the proof. ∎

We end this section by observing that the result in Theorem 3.2 can be extended to more general Kirchhoff problems. That is, we can consider the problem

{M(2N|u(x)-u(y)|p|x-y|N+ps𝑑x𝑑y)(-Δ)psu=λuγ+ups*-1in Ω,u>0in Ω,u=0in NΩ,(3.18)

where ps*=pN/(N-ps), with N>ps and p>1, while the Kirchhoff coefficient M satisfies the following condition:

  • ${(\mathcal{M})}$

    M:0+0+ is continuous and nondecreasing. There exist numbers a>0 and ϑ such that for any t0+,

    (t):=0tM(τ)dτatϑ,with {ϑ(1,ps*/p)if M(0)=0,ϑ=1if M(0)>0.

The main operator (-Δ)ps is the fractional p-Laplacian which may be defined, for any function φC0(Ω), as


where Bε(x)={yN:|x-y|<ε}. Then, arguing as in the proof of Theorem 3.2 and observing that we have not used yet the assumption that Ω is continuous, we can prove the following result.

Theorem 3.3.

Let s(0,1), p>1, N>ps, γ(0,1) and let Ω be an open bounded subset of RN. Let M satisfy (M). Then there exists λ0>0 such that for any λ(0,λ0] problem (3.18) admits a solution.

4 A mountain pass solution for problem (2.4)

In this section, we prove the existence of a positive solution for the perturbed problem (2.4) by the mountain pass theorem. For this, throughout this section we assume n without further mentioning. Now, we first prove that the related functional Jn,λ satisfies all the geometric features required by the mountain pass theorem.

Lemma 4.1.

Let ρ(0,1], λ0=λ0(ρ)>0 and α=α(ρ)>0 be given as in Lemma 3.1. Then, for any λ(0,λ0] and any uX0 with uρ, one has Jn,λ(u)α. Furthermore, there exists eX0, with e>ρ, such that Jn,λ(e)<0.


Since γ(0,1), by the subadditivity of tt1-γ, we have

(u++1n)1-γ-(1n)1-γ(u+)1-γa.e. in Ω(4.1)

for any uX0 and any n. Thus, we have Jn,λ(u)Jλ(u) for any uX0 and the first part of the lemma directly follows by Lemma 3.1.

For any vX0, with v+0, and t>0, we have

Jn,λ(tv)=t2θ2θv2θ-λ1-γΩ[(tv++1n)1-γ-(1n)1-γ]𝑑x-t2s*2s*v+2s*2s*-as t

since 1-γ<1<2θ<2s*. Hence, we can find eX0, with e>ρ sufficiently large, such that Jn,λ(e)<0. ∎

We discuss now the compactness property for the functional Jn,λ, given by the Palais–Smale condition. We recall that {uk}kX0 is a Palais–Smale sequence for Jn,λ at level c if

Jn,λ(uk)candJn,λ(uk)0  in (X0) as k.(4.2)

We say that Jn,λ satisfies the Palais–Smale condition at level c if any Palais–Smale sequence {uk}k at level c admits a convergent subsequence in X0.

Before proving this compactness condition, we introduce the following positive constants, which will help us for a better explanation:


Lemma 4.2.

Let λ>0. Then the functional Jn,λ satisfies the Palais–Smale condition at any level cR verifying


with D1, D2>0 given as in (4.3).


Let λ>0 and let {uk}k be a Palais–Smale sequence in X0 at level c, with c satisfying (4.4). We first prove the boundedness of {uk}k. By (4.2), there exists σ>0 such that, as k,


where the last two inequalities follow by (2.7), (4.1) and the Hölder inequality. Therefore, {uk}k is bounded in X0 since 1-γ<1<2θ. Also, {uk-}k is bounded in X0, and by (4.2) we have


Thus, by inequality (3.12) we deduce that uk-0 as k, which yields

Jn,λ(uk)=Jn,λ(uk+)+o(1)andJn,λ(uk)=Jn,λ(uk+)+o(1)  as k.

Hence, we can suppose that {uk}k is a sequence of nonnegative functions.

By the boundedness of {uk}k and by using [26, Lemma 8] and [6, Theorem 4.9], there exist a subsequence, still denoted by {uk}k, and a function uX0 such that

{uku in X0,ukμ,uku in L2s*(Ω),uk-u2s*,uku in Lp(Ω) for any p[1,2s*),uku a.e. in Ω,ukh a.e. in Ω,(4.5)

as k, with hLp(Ω) for a fixed p[1,2s*). If μ=0, then immediately uk0 in X0 as k. Hence, let us assume that μ>0.

Since n, by (4.5) it follows that

|uk-u(uk+1n)γ|nγ(h+|u|)a.e. in Ω,

so by the dominated convergence theorem and (4.5) we have


By (4.5) and [7, Theorem 2], we have


as k. Consequently, we deduce from (4.2), (4.5), (4.6) and (4.7) that, as k,


Therefore, we have proved the crucial formula


If =0, since μ>0, by (4.5) and (4.8) we have uku in X0 as k, concluding the proof.

Thus, let us assume by contradiction that >0. By (2.7), the notation in (4.5) and (4.8), we get


Noting that (4.8) implies in particular that


by using (4.9), it follows that


From this we obtain


Considering N<2sθ/(θ-1)=2sθ, we have


Indeed, the restriction N/(2θ)<s follows directly from the fact that 1<θ<2s*/2=N/(N-2s). By (4.1), considering that n, for any k we have


From this, as k, since θ1, by (4.2), (4.5), (4.7), (4.10), the Hölder inequality and the Young inequality, we obtain


which contradicts (4.4) since (4.3). This concludes the proof. ∎

We now give a control from above for the functional Jn,λ under a suitable situation. For this, we assume, without loss of generality, that 0Ω. By [10], we know that the infimum in (2.7) is attained at the function

uε(x)=ε(N-2s)/2(ε2+|x|2)(N-2s)/2with ε>0,(4.11)

that is, it holds true that


Let us fix r>0 such that B4rΩ, where B4r={xN:|x|<4r}, and let us introduce a cut-off function ϕC(N,[0,1]) such that

ϕ={1 in Br,0 in NB2r.(4.12)

For any ε>0, we set


Then we can prove the following result.

Lemma 4.3.

There exist ψX0 and λ1>0 such that for any λ(0,λ1),


with D1, D2>0 given as in (4.3).


Let λ,ε>0. Let uε and ψε be as in (4.11) and (4.13), respectively. By (2.6), we have Jn,λ(tψε)- as t, so that there exists tε>0 such that Jn,λ(tεψε)=maxt0Jn,λ(tψε). By Lemma 4.1, we know that Jn,λ(tεψε)α>0. Hence, by the continuity of Jn,λ there exist two numbers t0, t*>0 such that t0tεt*.

Now, since uεL2s*(N) is independent of ε, by [27, Proposition 21] we have


from which, by the elementary inequality

(a+b)pap+p(a+1)p-1b,for any a>0,b[0,1],p1,

with p=2θ, it follows that, as ε0+,


Hence, by the last inequality, (2.6) and since t0tεt*, for any ε>0 sufficiently small, we have


with a suitable positive constant C1. We observe that


Thus, by (4.14) it follows that


Now, let us consider a positive number q, less than 1, satisfying


that is, since 2<2θ<2s*, N>2s and γ(0,1), such that


By the elementary inequality

a1-γ-(a+b)1-γ-(1-γ)b(1-γ)/pa(p-1)(1-γ)/pfor any a>0,b>0 large enough,p>1,

with p=2s*/2, considering ε<r1/q sufficiently small, with r given by (4.12), and since q<1, we have


with two positive constants C~ and C2 independent of ε. By combining (4.15) with (4.17), we get


Thus, let us consider λ*>0 such that

D1-D2λ2θ/(2θ-1+γ)>0for any λ(0,λ*),

and let us set


where r and q are given in (4.12) and (4.16), respectively, while we still consider D1 and D2 as defined in (4.3). Then, by considering ε=λν1/q in (4.18), since (4.16) implies that ν3<0, for any λ(0,λ1) we have


which concludes the proof. ∎

We can now prove the existence result for (2.4) by applying the mountain pass theorem.

Theorem 4.4.

There exists λ¯>0 such that, for any λ(0,λ¯), problem (2.4) has a positive solution vnX0 with


where α, D1 and D2 are given in Lemma 3.1 and (4.3), respectively.


Let λ¯=min{λ0,λ1}, with λ0 and λ1 given in Lemmas 3.1 and 4.3, respectively. Let us consider λ(0,λ¯). By Lemma 4.1, the functional Jn,λ verifies the mountain pass geometry. For this, we can set the critical mountain pass level as




By Lemmas 4.1 and 4.3, we get


Hence, by Lemma 4.2 the functional Jn,λ satisfies the Palais–Smale condition at level cn,λ. Thus, the mountain pass theorem gives the existence of a critical point vnX0 for Jn,λ at level cn,λ. Since


we obtain that vn is a nontrivial solution of (2.4). Furthermore, by (2.5) with test function φ=vn- and inequality (3.12), we can see that vn-=0, which implies that vn is nonnegative. By the maximum principle in [28, Proposition 2.17], we have that vn is a positive solution of (2.4), concluding the proof. ∎

5 A second solution for problem (1.1)

In this last section, we prove the existence of a second solution for problem (1.1), as a limit of solutions of the perturbed problem (2.4). For this, here we need the assumption that Ω is continuous in order to apply a density argument for the space X0.

Proof of Theorem 1.1.

Let us consider λ¯ as given in Theorem 4.4, and let λ(0,λ¯). Since λ¯λ0, by Theorem 3.2 we know that problem (1.1) admits a solution u0 with Jλ(u0)<0.

In order to find a second solution for (1.1) let {vn}n be a family of positive solutions of (2.4). By (2.7), (4.1), (4.19) and the Hölder inequality, we have


which yields that {vn}n is bounded in X0 since 1-γ<1<2θ. Hence, by using [26, Lemma 8] and [6, Theorem 4.9], there exist a subsequence, still denoted by {vn}n, and a function v0X0 such that

{vnv0 in X0,vnμ,vnv0 in L2s*(Ω),vn-v02s*,vnv0 in Lp(Ω) for any p[1,2s*),vnv0 a.e. in Ω.(5.1)

We want to prove that vnv0 in X0 as n. When μ=0, by (5.1) we have vn0 in X0 as n. For this, we suppose μ>0. We observe that

0vn(vn+1n)γvn1-γa.e. in Ω,

so by the Vitali convergence theorem and (5.1) it follows that


Using (2.5) for vn and test function φ=vn, by (5.1) and (5.2), as n, we have


For any n, by an immediate calculation in (2.4) we see that

vn2(θ-1)(-Δ)svnmin{1,λ2γ}in Ω.

Thus, since {vn}n is bounded in X0 and by using a standard comparison argument (see [3, Lemma 2.1]) and the maximum principle in [28, Proposition 2.17], for any Ω~Ω there exists a constant cΩ~>0 such that

vncΩ~>0,a.e. in Ω~ and for any n.(5.4)

Now, let φC0(Ω) with suppφ=Ω~Ω. By (5.4), we have

0|φ(vn+1n)γ||φ|cΩ~γa.e. in Ω,

so that by (5.1) and the dominated convergence theorem we obtain


Thus, by considering (2.5) for vn, sending n and using (5.1) and (5.5), for any φC0(Ω) it follows that


However, since Ω is continuous, by [15, Theorem 6] the space C0(Ω) is dense in X0. Thus, by a standard density argument, (5.6) holds true for any φX0. By combining (5.3) and (5.6) with test function φ=v0, as n we get


and by (5.1) and [7, Theorem 2] we have


If =0, then vnv0 in X0 as n since μ>0.

Let us suppose >0 by contradiction. Arguing as in Lemma 4.2, by (5.1) and (5.7) we get (4.10). Therefore, since θ1, by (4.1), (4.10), (4.19), (5.1), the Hölder inequality and the Young inequality we have


which is the desired contradiction, thanks to (4.3).

Therefore, vnv0 in X0 as n, and by (2.3) and (2.5) we immediately see that v0 is a solution of problem (2.2). Furthermore, by (4.19) we have Jλ(v0)α>0, which also implies that v0 is nontrivial. Reasoning as at the end of the proof of Theorem 4.4, we conclude that v0 is a positive solution of (2.2), and so v0 also solves problem (1.1). Finally, v0 is different from u0 since Jλ(v0)>0>Jλ(u0). ∎


  • [1]

    B. Abdellaoui, M. Medina, I. Peral and A. Primo, The effect of the Hardy potential in some Calderón–Zygmund properties for the fractional Laplacian, J. Differential Equations 260 (2016), no. 11, 8160–8206.  CrossrefGoogle Scholar

  • [2]

    G. Autuori, A. Fiscella and P. Pucci, Stationary Kirchhoff problems involving a fractional elliptic operator and a critical nonlinearity, Nonlinear Anal. 125 (2015), 699–714.  CrossrefWeb of ScienceGoogle Scholar

  • [3]

    B. Barrios, M. Medina and I. Peral, Some remarks on the solvability of non-local elliptic problems with the Hardy potential, Commun. Contemp. Math. 16 (2014), no. 4, Article ID 1350046.  Web of ScienceGoogle Scholar

  • [4]

    B. Barrios, I. De Bonis, M. Medina and I. Peral, Semilinear problems for the fractional Laplacian with a singular nonlinearity, Open Math. 13 (2015), 390–407.  Web of ScienceGoogle Scholar

  • [5]

    Z. Binlin, A. Fiscella and S. Liang, Infinitely many solutions for critical degenerate Kirchhoff type equations involving the fractional p-Laplacian, submitted.  Google Scholar

  • [6]

    H. Brézis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Universitext, Springer, New York, 2011.  Google Scholar

  • [7]

    H. Brézis and E. A. Lieb, A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc. 88 (1983), no. 3, 486–490.  CrossrefGoogle Scholar

  • [8]

    A. Canino, L. Montoro, B. Sciunzi and M. Squassina, Nonlocal problems with singular nonlinearity, Bull. Sci. Math. 141 (2017), no. 3, 223–250.  Web of ScienceCrossrefGoogle Scholar

  • [9]

    M. Caponi and P. Pucci, Existence theorems for entire solutions of stationary Kirchhoff fractional p-Laplacian equations, Ann. Mat. Pura Appl. 195 (2016), no. 6, 2099–2129.  CrossrefWeb of ScienceGoogle Scholar

  • [10]

    A. Cotsiolis and N. K. Tavoularis, Best constants for Sobolev inequalities for higher order fractional derivatives, J. Math. Anal. Appl. 295 (2004), no. 1, 225–236.  CrossrefGoogle Scholar

  • [11]

    E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. Math. 136 (2012), no. 5, 521–573.  Web of ScienceCrossrefGoogle Scholar

  • [12]

    A. Fiscella, Infinitely many solutions for a critical Kirchhoff type problem involving a fractional operator, Differential Integral Equations 29 (2016), no. 5–6, 513–530.  Google Scholar

  • [13]

    A. Fiscella and P. Pucci, Kirchhoff–Hardy fractional problems with lack of compactness, Adv. Nonlinear Stud. 17 (2017), no. 3, 429–456.  Web of ScienceGoogle Scholar

  • [14]

    A. Fiscella and P. Pucci, p-fractional Kirchhoff equations involving critical nonlinearities, Nonlinear Anal. Real World Appl. 35 (2017), 350–378.  CrossrefWeb of ScienceGoogle Scholar

  • [15]

    A. Fiscella, R. Servadei and E. Valdinoci, Density properties for fractional Sobolev spaces, Ann. Acad. Sci. Fenn. Math. 40 (2015), no. 1, 235–253.  CrossrefGoogle Scholar

  • [16]

    A. Fiscella and E. Valdinoci, A critical Kirchhoff type problem involving a nonlocal operator, Nonlinear Anal. 94 (2014), 156–170.  Web of ScienceCrossrefGoogle Scholar

  • [17]

    C.-Y. Lei, J.-F. Liao and C.-L. Tang, Multiple positive solutions for Kirchhoff type of problems with singularity and critical exponents, J. Math. Anal. Appl. 421 (2015), no. 1, 521–538.  CrossrefWeb of ScienceGoogle Scholar

  • [18]

    J.-F. Liao, X.-F. Ke, C.-Y. Lei and C.-L. Tang, A uniqueness result for Kirchhoff type problems with singularity, Appl. Math. Lett. 59 (2016), 24–30.  Web of ScienceCrossrefGoogle Scholar

  • [19]

    J.-F. Liao, P. Zhang, J. Liu and C.-L. Tang, Existence and multiplicity of positive solutions for a class of Kirchhoff type problems with singularity, J. Math. Anal. Appl. 430 (2015), no. 2, 1124–1148.  CrossrefWeb of ScienceGoogle Scholar

  • [20]

    R.-Q. Liu, C.-L. Tang, J.-F. Liao and X.-P. Wu, Positive solutions of Kirchhoff type problem with singular and critical nonlinearities in dimension four, Commun. Pure Appl. Anal. 15 (2016), no. 5, 1841–1856.  CrossrefWeb of ScienceGoogle Scholar

  • [21]

    X. Liu and Y. Sun, Multiple positive solutions for Kirchhoff type problems with singularity, Commun. Pure Appl. Anal. 12 (2013), no. 2, 721–733.  Web of ScienceGoogle Scholar

  • [22]

    G. Molica Bisci, V. D. Radulescu and R. Servadei, Variational Methods for Nonlocal Fractional Problems, Encyclopedia Math. Appl. 162, Cambridge University Press, Cambridge, 2016. Google Scholar

  • [23]

    P. Piersanti and P. Pucci, Entire solutions for critical p-fractional Hardy Schrödinger Kirchhoff equations, Publ. Mat., to appear.  Google Scholar

  • [24]

    P. Pucci and S. Saldi, Critical stationary Kirchhoff equations in N involving nonlocal operators, Rev. Mat. Iberoam. 32 (2016), no. 1, 1–22.  Google Scholar

  • [25]

    P. Pucci, M. Xiang and B. Zhang, Existence and multiplicity of entire solutions for fractional p-Kirchhoff equations, Adv. Nonlinear Anal. 5 (2016), no. 1, 27–55.  Web of ScienceGoogle Scholar

  • [26]

    R. Servadei and E. Valdinoci, Mountain pass solutions for non-local elliptic operators, J. Math. Anal. Appl. 389 (2012), no. 2, 887–898.  CrossrefWeb of ScienceGoogle Scholar

  • [27]

    R. Servadei and E. Valdinoci, The Brezis–Nirenberg result for the fractional Laplacian, Trans. Amer. Math. Soc. 367 (2015), no. 1, 67–102.  Google Scholar

  • [28]

    L. Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator, Comm. Pure Appl. Math. 60 (2007), no. 1, 67–112.  CrossrefGoogle Scholar

  • [29]

    M. Xiang, B. Zhang and H. Qiu, Existence of solutions for a critical fractional Kirchhoff type problem in N, Sci. China Math., to appear.  Google Scholar

About the article

Received: 2017-03-24

Revised: 2017-05-18

Accepted: 2017-06-05

Published Online: 2017-08-03

Funding Source: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Award identifier / Grant number: PNPD–CAPES 33003017003P5

The author is supported by Coordenação de Aperfeiçoamento de Pessoal de Nível Superior through the fellowship PNPD–CAPES 33003017003P5. The author is member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica “G. Severi” (INdAM).

Citation Information: Advances in Nonlinear Analysis, Volume 8, Issue 1, Pages 645–660, ISSN (Online) 2191-950X, ISSN (Print) 2191-9496, DOI: https://doi.org/10.1515/anona-2017-0075.

Export Citation

© 2019 Walter de Gruyter GmbH, Berlin/Boston. This work is licensed under the Creative Commons Attribution 4.0 Public License. BY 4.0

Citing Articles

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

Li Wang, Kun Cheng, and Binlin Zhang
Applied Mathematics & Optimization, 2019
Li Wang, Kun Xie, and Binlin Zhang
Journal of Mathematical Analysis and Applications, 2017

Comments (0)

Please log in or register to comment.
Log in