Skip to main content

A bifurcation and symmetry result for critical fractional Laplacian equations involving a perturbation

Abstract

In the present paper, by using the variational and topological methods, we obtain a multiplicity and bifurcation result for the following fractional problems involving critical nonlinearities and a lower order perturbation:

LKv=μv+|v|2s2v+g(x,v)in Ω,v=0in RNΩ,

where Ω is an open and bounded domain with Lipschitz boundary, \(N>2s\), with \(s\in (0,1)\), g is a lower order perturbation of the critical power \(|v|^{2_{s}^{*}-2}v\) and μ is a positive real parameter, \(2_{s}^{*}=\frac{2N}{N-2s}\) is the fractional critical Sobolev exponent, while \(\mathcal{L}_{K}\) is an integro-differential operator. Precisely, we show that the number of nontrivial solutions for this equation under suitable assumptions is at least twice the multiplicity of the eigenvalue. Our conclusions improve the related results in some respects.

Introduction

Recently, fractional nonlocal problems with critical nonlinearities have attracted the interest of mathematicians because of their applications in many fields, such as, flame propagation, water waves, optimization, multiple scattering, and so on. We refer the interested reader to [16] and the references therein.

In 1983, Brezis and Nirenberg first proposed a kind of critical problem in [7],

$$\begin{aligned} \textstyle\begin{cases} -\Delta v=\mu v+ \vert v \vert ^{2^{*}-2}v&\text{in } \varOmega, \\ v=0&\text{on } \varOmega, \end{cases}\displaystyle \end{aligned}$$
(1.1)

which have been widely studied (see for example [812]) thanks to relations with problems that arise in differential geometry and physics. Here Ω is an open and bounded domain, \(N>2\), \(2^{*}=\frac{2N}{N-2}\) is the fractional critical Sobolev exponent. Subsequently, Cerami et al. proved the first multiplicity result of problem (1.1) in [13]. Later, under suitable assumptions of dimension N and parameters, many authors have given the existence and multiplicity of the solution of this kind of problem (for more details see for instance [1417]). In all of the above papers, the classical known existence results are extended to the following nonlocal fractional setting [5, 6, 11, 18]:

{(Δ)sv=μv+|v|2s2vin Ω,v=0in RNΩ,
(1.2)

where Ω is an open and bounded domain with Lipschitz boundary, \(N>2s\), with \(s\in (0,1)\), μ is a real parameter, \(2_{s}^{*}= \frac{2N}{N-2s}\) is the fractional critical Sobolev exponent and \(-(-\Delta )^{s}\) is the fractional Laplace operator, up to normalization factors, may be defined as follows:

(Δ)sv(x):=RN(v(x+y)+v(xy)2v(x))|y|(N+2s)dy,

for xRN (see [19] for more details on the fractional Laplacian). Through observation, we find that due to the characteristics of nonlocal problems, the boundary condition of problem (1.2) is a natural counterpart of the Dirichlet boundary condition of problem (1.1). The literature on bifurcated results for nonlocal fractional equations is very interesting, we refer to see [20, 21] and the references therein.

Motivated by the above work, the aim of this paper is to investigate the multiplicity of solutions for a class of fractional equations involving critical nonlinearities and a lower order perturbation:

{LKv=μv+|v|2s2v+g(x,v)in Ω,v=0in RNΩ,
(E)

where \(\mathcal{L}_{K}\) is a integro-differential operator defined as follows:

LKv(x):=RN(v(x+y)+v(xy)2v(x))K(y)dy,xRN,

where function K:RN{0}(0,) is a kernel such that

{ωKL1(RN),where ω(x)=min{|x|2,1};there exists ϑ>0 such that K(x)ϑ|x|(N+2s)for any xRN{0};K(x)=K(x)for any xRN{0}.
(1.3)

Thanks to taking \(K(x)=|x|^{-(N+2s)}\), we have \(\mathcal{L}_{K}=-(- \Delta )^{s}\), so we call the operator \(\mathcal{L}_{K}\) is a extension of the fractional Laplacian.

Finally, g is a lower order perturbation of the critical power \(|v|^{2_{s}^{*}-2}v\), and it is a Carathéodory function from Ω×R to R satisfying the following assumptions:

\((g_{1})\):

\(\sup \{|g(x,t)|: \text{ a.e. } x\in \varOmega, t\in [0,D]\}<+ \infty \text{ for any } D>0\);

\((g_{2})\):

\(\lim_{ |t|\rightarrow 0}\frac{g(x,t)}{t}=0 \) uniformly for \(x\in \varOmega \);

\((g_{3})\):

\(\lim_{ |t|\rightarrow \infty }\frac{g(x,t)}{|t|^{2_{s} ^{*}-1}}=0 \) uniformly for \(x\in \varOmega \);

\((g_{4})\):

0G(x,t)=0tg(x,v˜)dv˜12g(x,t)t+sϵN|t|2s a.e. xΩ,tR, where \(s>\epsilon >0\);

\((g_{5})\):

\(g(x,-t)=-g(x,t)\) for all xΩ,tR.

As a typical example for g we can set \(g(x,t)=l(x)|t|^{\xi -2}t\), with \(l(x)\in L^{\infty }(\varOmega )\), \(l(x)\geq 0\) a.e. \(x\in \varOmega \) and \(\xi \in (2,2_{s}^{*})\).

Obviously, \(v\equiv 0\) is a trivial solution of problem (E). Hence, we are only interested in nontrivial solutions. The nontrivial weak solutions of problem (E) is equivalent to the nontrivial solutions of the following problem:

{R2N(v(x)v(y))(ψ(x)ψ(y))K(xy)dxdy=μΩv(x)ψ(x)dx+Ω|v(x)|2s2v(x)ψ(x)dx+Ωg(x,v(x))ψ(x)dx=0,for any ψ,vV0,
(1.4)

which represents the Euler–Lagrange equation of the functional JK,μ:V0R defined as

JK,μ(v):=12R2N|v(x)v(y)|2K(xy)dxdyμ12Ω|v(x)|2dx12sΩ|v(x)|2sdxΩG(x,v(x))dx,

where the space \(V_{0}\) will be introduced in Sect. 2.

Along the present paper, {μj}jN represents the eigenvalues of the following homogeneous Dirichlet problem:

{LKv=μvin Ω,v=0in RNΩ.
(1.5)

with

$$\begin{aligned} & 0< \mu _{1}< \mu _{2}\le \cdots \le \mu _{j}\le \mu _{j+1} \le \cdots, \\ &\quad\mu _{j}\rightarrow +\infty \quad\text{as } j\rightarrow +\infty, \end{aligned}$$
(1.6)

and \(\{f_{j}\}\) is the eigenfunction of the eigenvalue \(\mu _{j}\). Moreover, we choose \(\{f_{j}\}_{j\in N}\) to standardize, so that this sequence is an orthonormal basis for space \(L^{2}(\varOmega )\) and an orthogonal basis of \(V_{0}\). For a detailed study of the spectrum of operators \(-\mathcal{L}_{K}\), please refer to reference [22, Proposition 9 and Appendix A].

Definition 1

In the end, we claim that the eigenvalue \(\mu _{j}, j\geq 2\), has multiplicity kN if

$$ \mu _{j-1}< \mu _{j}=\cdots =\mu _{j+k-1}< \mu _{j+k}. $$

In this case, the space composed of the eigenfunctions corresponding to the eigenvalue \(\mu _{j}\) is

$$ \operatorname{span}\{f_{j},\ldots, f_{j+k-1}\}. $$

Next, we also give the definition of the best fractional critical Sobolev space constant \(S_{K}\):

SK:=infvV0{0}R2N|v(x)v(y)|2K(xy)dxdy(Ω|v(x)|2sdx)22s.
(1.7)

The main feature of this paper is that we are concerned about the existence of multiple solutions to the problem (E). To be precise, our main results are as follows.

Theorem 1.1

Set \(s\in (0,1)\), \(N>2s\), Ωis an open bounded domain in RNwith continuous boundary, and take K:RN{0}(0,)be a function fulfilling condition (1.3). Let μRand take \(\mu ^{\ast }\)be the eigenvalue of problem (1.5) given by

$$ \mu ^{\ast }:=\min \{\mu _{j}:\mu < \mu _{j} \}. $$
(1.8)

and take kNbe its multiplicity. Suppose that

$$ \mu \in \bigl(\mu ^{\ast }-S_{K} \vert \varOmega \vert ^{-\frac{2s}{N}}, \mu ^{\ast }\bigr), $$
(1.9)

where \(|\varOmega |\)indicates the Lebesgue measure of the setΩ, and \(S_{K}\)is defined in (1.7). If \((g_{1})\)\((g _{5})\)hold. Then problem (E) has at leastkpairs of nontrivial solutions \(\{-v_{\mu,i}, v_{\mu,i}\}\)such that

$$ \Vert v_{\mu,i} \Vert _{V_{0}}\rightarrow 0 \quad\textit{as } \mu \rightarrow \mu ^{\ast } $$

for any \(i=1,\ldots,k\).

Remark 1.1

Finding weak solutions to problem (E) is essentially looking for critical points for the functional \(J_{K, \mu }(v)\) associated with this equation. In this theorem, we show that in the proper left neighborhood of any eigenvalue of operator \(-\mathcal{L}_{k}\) (with homogeneous Dirichlet boundary condition), the number of nontrivial solutions to problem (E) is twice as many as the eigenvalue multiplicity. Our method is based on the abstract critical point theorem thanks to Bartolo, Benci and Fortunato in [7, Theorem 2.4], which will be introduced in Sect. 2. Our result is a generalization of the conclusion in [18].

Remark 1.2

Now, take \(\mu ^{\ast }\) be as in (1.8). Hence,

μ=μjfor some jN.

Because \(\mu ^{\ast }\) has multiplicity kN thanks to assumption, we get

$$\begin{aligned} \begin{aligned} &\mu ^{\ast }=\mu _{1}< \mu _{2}, \quad\text{if } j=1, \\ & \mu _{j-1}< \mu ^{\ast }=\mu _{k}= \cdots =\mu _{j+k-1}< \mu _{j+k},\quad \text{if } k\geq 2. \end{aligned} \end{aligned}$$
(1.10)

We claim that the parameter μ is a positive constant. Indeed, in view of definition of \(\mu ^{*}\) and consider (1.6), it is clearly seen that

$$ \mu ^{*}\geq \mu _{1}. $$
(1.11)

Furthermore, the variational characterization of the first eigenvalue \(\mu _{1}\) (refer to [22, Proposition 9 and Appendix A]) shows that

μ1=minvV0{0}R2N|v(x)v(y)|2K(xy)dxdyΩ|v(x)|2dx.
(1.12)

Since it follows from the Hölder inequality that

$$ \int _{\varOmega } \bigl\vert v(x) \bigr\vert ^{2}\,dx \leq \vert \varOmega \vert ^{2s/N} \biggl( \int _{\varOmega } \bigl\vert v(x) \bigr\vert ^{2^{*} _{s}}\,dx \biggr)^{2/2^{*}_{s}}, $$

by the above inequality and (1.12), we have

$$ \mu _{1}\geq S_{K} \vert \varOmega \vert ^{-\frac{2s}{N}}, $$

which combined with (1.11) yields

$$ \mu ^{*}\geq S_{K} \vert \varOmega \vert ^{-\frac{2s}{N}}. $$
(1.13)

Thus, according to (1.9) and (1.13), we see that the parameter \(\mu >0\).

The paper is structured as follows. In Sect. 2 we introduce our workspace and some lemmas that we will use. In Sect. 3 we verify the geometric structure and conditions of the abstract critical point theory, and give me the proof of Theorem 1.1.

Workspace and some lemmas

In this section, we first introduce our workspace, then present the main tool of this article, and finally provide some basic lemmas to be used in this article.

Problem (E) has variational characteristics. The space for finding weak solutions is functional space \(V_{0}\), which is defined as follows (we can refer to [23] for the detailed nature and introduction of this space).

Through this paper, the space V is a linear space of Lebesgue measurable functions from RN to R such that the restriction to Ω of any function v in V belongs to \(L^{2}(\varOmega )\) and

the map (x,y)(v(x)v(y))K(xy)is in L2((RN×RN)(CΩ×CΩ)dxdy),

where CΩ:=RNΩ, and

V0={vV:v(x)=0 a.e. in RNΩ}.

We recall that the space \(V_{0}\) and V are non-empty thanks to \(C_{0}^{2}\subseteq V_{0}\) (see [24, Lemma 5.1]): here we need condition (1.3).

The space V is endowed the following norm:

$$\begin{aligned} \Vert v \Vert _{V}= \Vert v \Vert _{L^{2}(\varOmega )}+ \biggl( \int _{ \mathcal{Z}}{ \bigl\vert v(x)-v(y) \bigr\vert ^{2}} {K(x-y)}\,dx\,dy \biggr)^{\frac{1}{2}}, \end{aligned}$$
(2.1)

where Z:=(RN×RN)Q and Q=(CΩ)×(CΩ)RN×RN. Furthermore, according to [23, Lemma 6] as a norm on \(V_{0}\) we can let the function

V0vvV0=(R2N|v(x)v(y)|2K(xy)dxdy)12.
(2.2)

Moreover, \((V_{0}, \Vert \cdot \Vert _{V_{0}})\) is a Hilbert space (see [23, Lemma 7]) with the scalar product given by

V0×V0(v,ψ)v,ψV0:=R2N(v(x)v(y))(ψ(x)ψ(y))K(xy)dxdy.
(2.3)

We denote the usual fractional Sobolev space by \(H^{s}(\varOmega )\), which endowed with norm (the so-called Gagliardo norm) as follows:

$$\begin{aligned} \Vert v \Vert _{H^{s}(\varOmega )}= \Vert v \Vert _{L^{2}(\varOmega )}+ \biggl( \int _{ \varOmega \times \varOmega } \bigl\vert v(x)-v(y) \bigr\vert ^{2} \vert x-y \vert ^{-(N+2s)}\,dx\,dy \biggr)^{ \frac{1}{2}}. \end{aligned}$$
(2.4)

We note that the norms in (2.1) and (2.4) are not the same when \(K(x)=\frac{1}{|x|^{N+2s}}\), due to \(\varOmega \times \varOmega \) is contained strictly in \(\mathcal{Z}\). It makes the space \(V_{0}\) different from the usual classical fractional Sobolev space. Thus, from the point of view of the variational method, the classical fractional Sobolev space is insufficient for investigating our problem.

Next, we give the abstract critical point theorem [25, Theorem 2.4].

Theorem 2.1

Let \(V_{0}\)be a real Hilbert space with norm \(\|\cdot \|\)and assume that JC1(V0,R)with \(J(0)=0\)and \(J(v)=J(-v)\), also satisfying the following conditions:

\((J_{1})\):

there exists \(\alpha >0\)such that the Palais–Smale condition forJholds in \((0,\alpha )\);

\((J_{2})\):

there exist two closed subspaces \(X, Y\subset V_{0}\)and positive constants \(\varrho, \sigma, \alpha ^{\prime }\), with \(\sigma < \alpha ^{\prime }<\alpha \), such that

  1. (i)

    \(J(v)\leq \alpha ^{\prime }\)for any \(v\in Y\),

  2. (ii)

    \(J(v)\geq \sigma \)for any \(v\in X\)with \(\|v\|=\varrho \),

  3. (iii)

    \(\operatorname{codim}X<+\infty \)and dim \(Y\geq \operatorname{codim} X\).

Then there exist at least dimY-codimXpairs of critical points ofJ, with critical values belonging to the interval \([\sigma, \alpha ^{\prime }]\).

Making use of the behavior of g at zero and at infinity, we give some estimates on the non-linear term g and its primitive G (with respect to its second variable).

Lemma 2.1

([6, Lemma 6])

Suppose thatgis a Carathéodory function satisfying conditions \((g_{1})\)\((g_{3})\). Then, for any \(\varepsilon >0\)there exists \(\delta =\delta (\varepsilon )\)such that a.e. \(x\in \varOmega \)and for any tR

$$ \bigl\vert g(x, t) \bigr\vert \leq 2\varepsilon \vert t \vert + 2\delta (\varepsilon ) \vert t \vert ^{2^{*}_{s}-1} , $$

and so, as a consequence,

$$ \bigl\vert G(x, t) \bigr\vert \leq \varepsilon \vert t \vert ^{2} + \delta (\varepsilon ) \vert t \vert ^{2^{*} _{s}}, $$

whereGis defined as in \((g_{4})\).

The following lemma will be used when we verify the functional geometry.

Lemma 2.2

([23, Lemma 6])

Let K:RN{0}(0,)be a function fulfilling condition (1.3). Then there exists a positive constantd, depending only onNands, such that for any \(v\in V_{0}\)

vL2s(Ω)2dR2N|v(x)v(y)|2|xy|(N+2s)dxdy,

where \(2^{*}_{s}\)is given in (1.2).

Proof of the main result

In this section, the idea is to apply Theorem 2.1 to prove that functional satisfies compactness conditions and suitable geometric. It is easy to see that \(J_{K,\mu }\) is well defined thanks to [18]. Furthermore, JK,μ(V0,R) and

$$\begin{aligned} \bigl\langle J^{\prime }_{K,\mu }(v), \psi \bigr\rangle ={}&\langle v,\psi \rangle _{V _{0}}-\mu \int _{\varOmega }v(x)\psi \,dx \\ &{}- \int _{\varOmega } \bigl\vert v(x) \bigr\vert ^{2^{*}_{s}-2}v(x) \psi \,dx- \int _{\varOmega }g\bigl(x,v(x)\bigr)v(x) \psi \,dx \end{aligned}$$

for any \(v,\psi \in V_{0}\). Therefore, critical points of functional \(J_{K,\mu }\) are solutions to problem (E), it is also the weak solutions of problem (1.4). Observe that the functional \(J_{K,\mu }\) is even and functional \(J_{K,\mu }(0)=0\) thanks to \((g_{5})\). Next, it is suffice to show that the functional \(J_{K,\mu }\) fulfills conditions \((J_{1})\) and \((J_{2})\). In order to this aim, let us do it step by step.

Step 1 (Compactness condition of \(J_{K,\mu }\)). Similar to the proof in the literature [6, Proposition 2], we obtained the following lemma, which states that the functional satisfies the (PS) condition at any level c, provided c belongs to a suitable threshold depending on the best fractional critical constant \(S_{K}\).

Lemma 3.1

Assume thatgis a Carathéodory function satisfying conditions \((g_{1})\)\((g_{4})\)and K:RN{0}(0,)is a function fulfilling condition (1.3). Set cRsuch that

$$ c< \frac{s}{N}S_{K}^{\frac{N}{2s}} $$
(3.1)

and take \(v_{j}\)a sequence in \(V_{0}\)such that

$$ J_{K,\mu }(v_{j})\rightarrow c,\quad \sup_{ \Vert \psi \Vert _{V_{0}=1}} \bigl\{ \bigl\vert \bigl\langle J_{K,\mu }^{\prime }(v_{j}), \psi \bigr\rangle \bigr\vert \bigr\} \rightarrow 0 \quad\textit{as } j\rightarrow \infty. $$

Then there exists \(v_{\infty }\in V_{0}\)such that, up to a subsequence, \(\|v_{j}-v_{\infty }\|_{V_{0}}\rightarrow 0\)as \(j\rightarrow +\infty \).

Remark 3.1

Since our condition \((g_{4})\) can imply the (1.11) and (1.12) conditions in Ref. [18], hence we can prove our lemma as Ref. [6, Proposition 2], which is omitted here.

Step 2 (Geometric stucture of \(J_{K,\mu }\)). Using the notation in Theorem 2.1, we take

$$ Y=\operatorname{span}\{f_{1},\ldots,f_{j+k-1}\} $$

and

$$\begin{aligned} X=\textstyle\begin{cases} V_{0}&\text{if } j=1, \\ \{v\in V_{0}: \langle v, f_{i}\rangle _{V_{0}}=0\ \forall i=1,\ldots,j-1 \}&\text{if } j\geq 2. \end{cases}\displaystyle \end{aligned}$$

Obviously both X and Y are closed subspaces of \(V_{0}\) and

$$ \operatorname{dim} Y=j+k-1, \qquad\operatorname{codim} X=j-1. $$

Hence, we see that (\(J_{2}\))(iii) of Theorem 2.1 is satisfied.

Next, let us prove that the functional \(J_{K,\mu }\) possesses the geometric properties of Theorem 2.1, that is, it satisfies the conditions (\(J_{2}\))(i) and (ii) of Theorem 2.1.

Proof

Take \(v\in Y\). Then

$$ v(x)=\sum^{j+k-1} _{i=1}v_{i}f_{i}(x), $$

where viR,i=1,,j+k1. Because \(\{f_{i},\ldots,f_{j},\ldots \}\) is an orthonormal basis of \(L^{2}(\varOmega )\) and an orthogonal basis of \(V_{0}\), considering (1.10) we have

$$ \Vert v \Vert _{V_{0}}^{2}=\sum ^{j+k-1} _{i=1}v_{i}^{2} \Vert f_{i} \Vert _{V_{0}} ^{2}=\sum ^{j+k-1} _{i=1}\mu _{i}v_{i}^{2} \leq \mu _{j}\sum^{j+k-1} _{i=1}v_{i}^{2} =\mu _{j} \Vert v \Vert _{L^{2}(\varOmega )}^{2}=\mu ^{\ast } \Vert v \Vert _{L^{2}(\varOmega )}^{2}, $$

hence, according to this and Hölder inequality, \((g_{4})\), we get

JK,μ(v)=12R2N|v(x)v(y)|2K(xy)dxdyμ12Ω|v(x)|2dx12sΩ|v(x)|2sdxΩG(x,v(x))dx12(μμ)Ω|v(x)|2dx12sΩ|v(x)|2sdx12(μμ)|Ω|2sN(Ω|v(x)|2sdx)22s12sΩ|v(x)|2sdx,
(3.2)

thanks to \((g_{4})\). Now, for \(m\geq 0\) take

$$ h(m)=\frac{1}{2}\bigl(\mu ^{\ast }-\mu \bigr) \vert \varOmega \vert ^{\frac{2s}{N}}m^{2}-\frac{1}{2^{*} _{s}}m^{2^{*}_{s}}. $$

Obverse that h is differentiable in \((0,+\infty )\) and

$$ h^{\prime }(m)=\bigl(\mu ^{\ast }-\mu \bigr) \vert \varOmega \vert ^{\frac{2s}{N}}m-m^{2^{*}_{s}-1} $$

as a result \(h^{\prime }(m)\geq 0\) if and only if

$$ m\leq \overline{m}= \bigl(\bigl(\mu ^{\ast }-\mu \bigr) \vert \varOmega \vert ^{\frac{2s}{N}} \bigr)^{\frac{1}{2^{*}_{s}-2}}. $$

Thus, the function h maximizes at , and for any \(m\geq 0\)

$$\begin{aligned} h(m)\leq \max_{m\geq 0}h(m)=h(\overline{m})= \frac{s}{N}\bigl(\mu ^{\ast }-\mu \bigr)^{\frac{N}{2s}} \vert \varOmega \vert . \end{aligned}$$
(3.3)

It follows from (3.2) and (3.3) that

$$\begin{aligned} \sup_{v\in Y}J_{K,\mu }(v)\leq \max _{m\geq 0}h(m)= \frac{s}{N}\bigl(\mu ^{\ast }-\mu \bigr)^{\frac{N}{2s}} \vert \varOmega \vert . \end{aligned}$$
(3.4)

We note that

$$ \frac{s}{N}\bigl(\mu ^{\ast }-\mu \bigr)^{\frac{N}{2s}} \vert \varOmega \vert >0 $$

thanks to \(\mu <\mu ^{\ast }\) by (1.9).

In the end, take \(v\in X\). We claim that

$$\begin{aligned} \Vert v \Vert _{V_{0}}^{2}\geq \mu ^{\ast } \Vert v \Vert _{L^{2}(\varOmega )}^{2}. \end{aligned}$$
(3.5)

Indeed, If v is equal to 0, this is obviously true, while if \(v\in X\setminus \{0\}\) it follows from the variational characterization of \(\mu ^{\ast }=\mu _{j}\) defined by

μj=minvV0{0}R2N|v(x)v(y)|2K(xy)dxdyΩ|v(x)|2dx,

as proved in [15, Proposition 9].

Therefore, according to Lemma 2.1, Lemma 2.2, Hölder inequality, (1.3) and (3.5), we obtain for any \(\varepsilon >0\)

JK,μ(v)=12R2N|v(x)v(y)|2K(xy)dxdyμ12Ω|v(x)|2dx12sΩ|v(x)|2sdxΩG(x,v(x))dx12R2N|v(x)v(y)|2K(xy)dxdyμ12Ω|v(x)|2dx12sΩ|v(x)|2sdxεΩ|v(x)|2dxδ(ε)Ω|v(x)|2sdx12(1μμ)vV02εvL2(Ω)2(12s+δ(ε))vL2s(Ω)2s12(1μμ)vV02ε|Ω|2s22svL2s(Ω)2(12s+δ(ε))vL2s(Ω)2s12(1μμ)vV02εd|Ω|2s22sRN|v(x)v(y)|2|xy|N+2sdxdy(12s+δ(ε))d2s2(RN|v(x)v(y)|2|xy|N+2sdxdy)2s2(12(1μμ)εd|Ω|2s22sϑ)vV02(12s+δ(ε))(dϑ)2s2vV02s=vV02(12(1μμ)εd|Ω|2s22sϑ(12s+δ(ε))(dϑ)2s2vV02s2),
(3.6)

where ϑ was defined in (1.3). We take \(v\in X\) be such that \(\|v\|_{V_{0}}=\varrho >0\). We can choose ε such that \(2\varepsilon d|\varOmega |^{\frac{2^{*}_{s}-2}{2^{*}_{s}}}<\vartheta (1-\frac{\mu }{\mu ^{\ast }} )\), and let ϱ be small enough, say \(\varrho \leq \overline{\varrho }\) with \(\overline{\varrho }>0\), so that

$$ \frac{1}{2} \biggl(1-\frac{\mu }{\mu ^{\ast }} \biggr)- \frac{\varepsilon d \vert \varOmega \vert ^{\frac{2^{*}_{s}-2}{2^{*}_{s}}}}{\vartheta }- \biggl(\frac{1}{2^{*} _{s}}+\delta (\varepsilon ) \biggr) \biggl(\frac{d}{\vartheta } \biggr)^{\frac{2^{*} _{s}}{2}}\varrho ^{2^{*}_{s}-2}>0 $$
(3.7)

and

$$\begin{aligned} & \varrho ^{2} \biggl(\frac{1}{2} \biggl(1- \frac{\mu }{\mu ^{\ast }} \biggr)-\frac{ \varepsilon d \vert \varOmega \vert ^{\frac{2^{*}_{s}-2}{2^{*}_{s}}}}{\vartheta }- \biggl(\frac{1}{2^{*}_{s}}+\delta ( \varepsilon ) \biggr) \biggl(\frac{d}{ \vartheta } \biggr)^{\frac{2^{*}_{s}}{2}}\varrho ^{2^{*}_{s}-2} \biggr) \\ &\quad < \frac{ \varrho ^{2}}{2} \biggl(1-\frac{\mu }{\mu ^{\ast }} \biggr)< \frac{s}{N}\bigl( \mu ^{\ast }-\mu \bigr)^{\frac{N}{2s}} \vert \varOmega \vert \end{aligned}$$
(3.8)

thanks to the fact that \(2^{*}_{s}>2\). □

Proof of Theorem 1.1

From Step 1, it is easy to see that \(J_{K,\mu }\) fulfills \((J_{1})\) with

$$ \alpha =\frac{s}{N}S_{K}^{\frac{N}{2s}}>0. $$

Moreover, according to Step 2, it follows from (3.3)–(3.8) that \(J_{K,\mu }\) satisfies \((J_{2})\) with

$$\begin{aligned} &\varrho =\overline{\varrho }, \\ &\alpha ^{\prime }=\frac{s}{N}\bigl(\mu ^{\ast }-\mu \bigr)^{\frac{N}{2s}} \vert \varOmega \vert , \end{aligned}$$

and

$$ \sigma =\overline{\varrho }^{2} \biggl(\frac{1}{2} \biggl(1- \frac{\mu }{ \mu ^{\ast }} \biggr)-\frac{\varepsilon d \vert \varOmega \vert ^{\frac{2^{*}_{s}-2}{2^{*} _{s}}}}{\vartheta }- \biggl(\frac{1}{2^{*}_{s}}+\delta ( \varepsilon ) \biggr) \biggl(\frac{d}{\vartheta } \biggr)^{\frac{2^{*}_{s}}{2}} \varrho ^{2^{*}_{s}-2} \biggr). $$

By (3.7), (3.8) and assumption (1.9), we note that

$$ 0< \sigma < \alpha ^{\prime }< \alpha. $$

In conclusion, functional \(J_{K,\mu }\) satisfies all the conditions in abstract critical point theory (i.e. Theorem 2.1), so the functional has k pairs \(\{-v_{\mu,i},v_{\mu,i}\}\) of critical points whose values are such that

$$ 0< \sigma \leq J_{K,\mu }(\pm v_{\mu,i})\leq \alpha $$
(3.9)

for any \(i=1,\ldots,k\).

Furthermore, by (3.9) and \(J_{K,\mu }(0)=0\), clearly, these critical points are nontrivial. Therefore, problem (E) has at least k pairs of nontrivial weak solutions \(\{-v_{\mu,i}, v_{\mu,i}\}\). At present, fix \(i\in \{1,\ldots,k\}\). According to (3.9) and \((g_{4})\) we get

$$\begin{aligned} \alpha &=\frac{s}{N}\bigl(\mu ^{\ast }-\mu \bigr)^{\frac{N}{2s}} \vert \varOmega \vert \geq J _{K,\mu }(v_{\mu,i}) \\ &=J_{K,\mu }(v_{\mu,i})-\frac{1}{2}\bigl\langle J^{\prime }_{K,\mu }(v_{\mu,i}), v_{\mu,i}\bigr\rangle \\ &= \biggl(\frac{1}{2}-\frac{1}{2^{*}_{s}} \biggr) \Vert v_{\mu,i} \Vert ^{2^{*}_{s}} _{L^{2^{*}_{s}}(\varOmega )}- \int _{\varOmega }G\bigl(x,v_{\mu,i}(x)\bigr)\,dx+ \int _{\varOmega }\frac{1}{2}g\bigl(x,v_{\mu,i}(x) \bigr)v_{\mu,i}(x)\,dx \\ &\geq \frac{\epsilon }{N} \Vert v_{\mu,i} \Vert ^{2^{*}_{s}}_{L^{2^{*}_{s}}( \varOmega )}. \end{aligned}$$
(3.10)

As a result, passing to the limit as \(\mu \rightarrow \mu ^{\ast }\) in (3.10), we obtain

$$ \Vert v_{\mu,i} \Vert ^{2^{*}_{s}}_{L^{2^{*}_{s}}(\varOmega )} \rightarrow 0\quad \text{as } \mu \rightarrow \mu ^{\ast }. $$
(3.11)

Hence, by (3.11), since \(L^{2^{*}_{s}}(\varOmega )\hookrightarrow L^{2}(\varOmega )\) is continuous and Ω is bounded, we also have

$$ \Vert v_{\mu,i} \Vert ^{2}_{L^{2}(\varOmega )} \rightarrow 0 \quad\text{as } \mu \rightarrow \mu ^{\ast }. $$
(3.12)

So, based on the discussion above and Lemma 2.1, we get

$$\begin{aligned} \frac{s}{N}\bigl(\mu ^{\ast }-\mu \bigr)^{\frac{N}{2s}} \vert \varOmega \vert &\geq J_{K,\mu }(v _{\mu,i})\\ &\geq \frac{1}{2} \Vert v_{\mu,i} \Vert _{V_{0}}^{2}- \biggl( \frac{ \mu }{2}+\varepsilon \biggr) \Vert v_{\mu,i} \Vert ^{2}_{L^{2}(\varOmega )}- \biggl(\frac{1}{2^{*} _{s}}+\delta (\varepsilon ) \biggr) \Vert v_{\mu,i} \Vert ^{2^{*}_{s}}_{L^{2^{*} _{s}}(\varOmega )}, \end{aligned}$$

which combined with (3.11) and (3.11) implies

$$ \Vert v_{\mu,i} \Vert _{V_{0}}\rightarrow 0 \quad\text{as } \mu \rightarrow \mu ^{\ast }. $$

This means that the proof of Theorem 1.1 is complete. □

The prospect of future problems

In this section we want to generalize our problem to the more general case p. The equation that we deal with becomes

LKpv=μ|v|p2v+|v|ps2v+g(x,v)in Ω,v=0in RNΩ,
(4.1)

where Ω is an open and bounded domain with Lipschitz boundary, \(N>ps\), with \(s\in (0,1)\), and μ is a positive real parameter, \(p_{s}^{*}=\frac{pN}{N-ps}\) is the fractional critical Sobolev exponent, while \(\mathcal{L}^{p}_{K}\) is an integro-differential operator defined as follows:

LKpv(x):=2limε0+RNBε(x)|v(x)v(y)|p2(v(x)v(y))K(xy)dy,

for all xRN, where \(\mathcal{B}_{\varepsilon }(x)= \{z ||x-z|<\varepsilon \}\). The function K:RN{0}(0,) is a kernel such that

{ωKL1(RN)where ω(x)=min{|x|p,1};there exists ϑ>0 such that K(x)ϑ|x|(N+ps)for any xRN{0};K(x)=K(x)for any xRN{0}.
(4.2)

Thanks to taking \(K(x)=|x|^{-(N+ps)}\), we have \(\mathcal{L}^{p}_{K}=-(- \Delta )_{p}^{s}\), so we call the operator \(\mathcal{L}^{p}_{K}\) an extension of the fractional p-Laplacian.

Similarly, g is a lower order perturbation of the critical power \(|v|^{p_{s}^{*}-2}v\), and it is a Carathéodory function from Ω×R to R satisfying the following assumptions:

\((g^{\prime }_{1})\):

\(\sup \{|g(x,t)|: \text{ a.e. } x\in \varOmega, t\in [0,D] \}<+\infty \text{ for any } D>0\);

\((g^{\prime }_{2})\):

\(\lim_{ |t|\rightarrow 0}\frac{g(x,t)}{t^{p-1}}=0 \) uniformly for \(x\in \varOmega \);

\((g^{\prime }_{3})\):

\(\lim_{ |t|\rightarrow \infty }\frac{g(x,t)}{|t|^{p _{s}^{*}-1}}=0 \) uniformly for \(x\in \varOmega \);

\((g^{\prime }_{4})\):

0G(x,t)=0tg(x,v˜)ds˜1pg(x,t)t+sϵN|t|ps a.e. xΩ,tR, where \(s>\epsilon >0\);

\((g^{\prime }_{5})\):

\(g(x,-t)=-g(x,t)\) for all xΩ,tR.

A typical example for g we can set \(g(x,t)=l(x)|t|^{\xi -2}t\), with \(l(x)\in L^{\infty }(\varOmega )\), \(l(x)\geq 0\) a.e. \(x\in \varOmega \) and \(\xi \in (p,p_{s}^{*})\).

Next, we also give the definition of the best fractional critical Sobolev space constant \(S^{p}_{K}\)

SKp:=infvV0{0}R2N|v(x)v(y)|pK(xy)dxdy(Ω|v(x)|psdx)pps.
(4.3)

{μj}jN represents the eigenvalues of the following problem:

{LKpv=μ|v|p2vin Ω,v=0in RNΩ
(4.4)

with

$$\begin{aligned} &0< \mu _{1}< \mu _{2}\le \cdots \le \mu _{j}\le \mu _{j+1} \le \cdots, \\ &\quad \mu _{j}\rightarrow +\infty \text{ as } j\rightarrow +\infty, \end{aligned}$$
(4.5)

and \(\{f_{j}\}\) is the eigenfunction of the eigenvalue \(\mu _{j}\). Moreover, we choose \(\{f_{j}\}_{j\in N}\) to standardize, so that this sequence is an orthonormal basis for space \(L^{p}(\varOmega )\) and an orthogonal basis of \(V_{0}\).

We give the main result of this section.

Theorem 4.1

Set \(s\in (0,1)\), \(N>ps\), Ωis an open bounded domain in RNwith continuous boundary, and take K:RN{0}(0,)be a function fulfilling condition (4.1). Let μRand take \(\mu ^{\ast }\)be the eigenvalue of problem (4.4) given by

$$ \mu ^{\ast }:=\min \{\mu _{j}:\mu < \mu _{j} \} $$
(4.6)

and take kNbe its multiplicity. Suppose that

$$ \mu \in \bigl(\mu ^{\ast }-S^{p}_{K} \vert \varOmega \vert ^{-\frac{ps}{N}}, \mu ^{\ast }\bigr), $$
(4.7)

where \(|\varOmega |\)indicates the Lebesgue measure of the setΩ, and \(S^{p}_{K}\)is defined in (4.3). If \((g^{\prime }_{1})\)\((g ^{\prime }_{5})\)hold, then problem (4.1) has at leastkpairs of nontrivial solutions \(\{-v_{\mu,i}, v_{\mu,i}\}\)such that

$$ \Vert v_{\mu,i} \Vert _{V_{0}}\rightarrow 0 \quad\textit{as } \mu \rightarrow \mu ^{\ast } $$

for any \(i=1,\ldots,k\).

Remark 4.1

In this theorem, our workspace \(V_{0}\) can be defined in the form in the literature [26]. Our proof method and process are similar to the situation when \(p=2\). Therefore, we omit it here. We also show that a multiplicity and bifurcation result for the kind of fractional p-Laplacian equation.

Conclusion

In this work, a multiplicity and bifurcation result for fractional problems is obtained by using the variational and topological methods. Our conclusions improve the related results in some respects. The fractional nonlocal problems with critical nonlinearities have their applications in many fields, for example, in [27] the authors described a model of flow in porous media including nonlocal (long-range) diffusion effects. The model is based on Darcy’s law and the pressure is related to the density by an inverse fractional Laplacian operator. They proved the existence of solutions that propagate with finite speed. Examples are flame propagation, water waves, optimization, multiple scattering, thin obstacle problem, image reconstruction, through a new and fascinating scientific approach (see, e.g., the papers [28, 29]). In the future, such kind of bifurcation results can be obtained in applications to a class of fractional Kirchhoff equations. In this direction, one can refer to Refs. [3035].

References

  1. 1.

    Molica Bisci, G., Servadei, R.: Lower semicontinuity of functionals of fractional type and applications to nonlocal equations with critical Sobolev exponent. Adv. Differ. Equ. 20 7/8, (2015)

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Barrios, B., Colorado, E., De Pablo, A., Sánchez, U.: On some critical problems for the fractional Laplacian operator. J. Differ. Equ. 252, 6133–6162 (2012)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Tan, J.: The Brezis–Nirenberg type problem involving the square root of the Laplacian. Calc. Var. Partial Differ. Equ. 36(1–2), 21–41 (2011)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Servadei, R., Valdinoci, E.: A Brezis–Nirenberg result for non-local critical equations in low dimension. Commun. Pure Appl. Anal. 12(6), 2445–2464 (2013)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Servadei, R.: The Yamabe equation in a non-local setting. Adv. Nonlinear Anal. 2, 235–270 (2013)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Servadei, R., Valdinoci, E.: The Brezis–Nirenberg result for the fractional Laplacian. Trans. Am. Math. Soc. 367(1), 67–102 (2015)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Brezis, H., Nirenberg, L.: Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Commun. Pure Appl. Math. 36(4), 437–477 (1983)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Capozzi, A., Fortunato, D., Palmieri, G.: An existence result for nonlinear elliptic problems involving critical Sobolev exponent. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 2(6), 463–470 (1985)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Devillanova, G., Solimini, S.: A multiplicity result for elliptic equations at critical growth in low dimension. Commun. Contemp. Math. 5(2), 171–177 (2003)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Schechter, M., Zou, W.: On the Brezis–Nirenberg problem. Arch. Ration. Mech. Anal. 197(1), 337–356 (2010)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Servadei, R.: A critical fractional Laplace equation in the resonant case. Topol. Methods Nonlinear Anal. 43(1), 251–267 (2014)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Szulkin, A., Weth, T., Willem, M.: Ground state solutions for a semilinear problem with critical exponent. Differ. Integral Equ. 22(9–10), 913–926 (2009)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Cerami, G., Fortunato, D., Struwe, M.: Bifurcation and multiplicity results for nonlinear elliptic problems involving critical Sobolev exponents. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1(5), 341–350 (1984)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Chen, Z., Shioji, N., Zou, W.: Ground state and multiple solutions for a critical exponent problem. Nonlinear Differ. Equ. Appl. 19(3), 253–277 (2012)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Devillanova, G., Solimini, S.: Concentration estimates and multiple solutions to elliptic problems at critical growth. Adv. Differ. Equ. 7(10), 1257–1280 (2002)

    MathSciNet  MATH  Google Scholar 

  16. 16.

    Cerami, G., Solimini, S., Struwe, M.: Some existence results for superlinear elliptic boundary value problems involving critical exponents. J. Funct. Anal. 69(3), 289–306 (1986)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Clapp, M., Weth, T.: Multiple solutions for the Brezis–Nirenberg problem. Adv. Differ. Equ. 10(4), 463–480 (2005)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Servadei, R., Valdinoci, E.: Fractional Laplacian equations with critical Sobolev exponent. Rev. Mat. Complut. 28(3), 655–676 (2015)

    MathSciNet  Article  Google Scholar 

  19. 19.

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

    MathSciNet  Article  Google Scholar 

  20. 20.

    Molica Bisci, G., Servadei, R.: A bifurcation result for non-local fractional equations. Anal. Appl. (Singap.) 13, 371–394 (2015)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Dwivedi, G., Tyagi, J., Verma, R.B.: On the bifurcation results for fractional Laplace equations. Math. Nachr. 290(16), 2597–2611 (2017)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Servadei, R., Valdinoci, E.: Variational methods for non-local operators of elliptic type. Discrete Contin. Dyn. Syst. 33(5), 2105–2137 (2013)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Servadei, R., Valdinoci, E.: Mountain pass solutions for non-local elliptic operators. J. Math. Anal. Appl. 389, 887–898 (2012)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Servadei, R., Valdinoci, E.: Lewy–Stampacchia type estimates for variational inequalities driven by (non)local operators. Rev. Mat. Iberoam. 29(3), 1091–1126 (2013)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Bartolo, P., Benci, V., Fortunato, D.: Abstract critical point theorems and applications to some nonlinear problems with strong resonance at infinity. Nonlinear Anal. 7, 981–1012 (1983)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Xiang, M.Q., Zhang, B.L., Massimiliano, F.: Existence of solutions for Kirchhoff type problem involving the non-local fractional p-Laplacian. J. Math. Anal. Appl. 424, 1021–1041 (2015)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Vlahos, L., Isliker, H., Kominis, Y., Hizonidis, K.: Normal and anomalous diffusion: a tutorial. In: Bountis, T. (ed.) Order and Chaos, 10th Volume. Patras University Press, Greece (2008)

    Google Scholar 

  28. 28.

    Cont, R., Tankov, P.: Financial Modelling with Jump Processes. Financial Mathematics Series. Chapman & Hall, London (2004)

    Google Scholar 

  29. 29.

    Valdinoci, E.: From the long jump random walk to the fractional Laplacian. Bol. Soc. Esp. Mat. Apl. 49, 33–44 (2009)

    MathSciNet  MATH  Google Scholar 

  30. 30.

    Tyagi, J.: Eigenvalue problem for fractional Kirchhoff Laplacian. Atti Accad. Naz. Lincei, Rend. Lincei, Mat. Appl. 29(1), 195–203 (2018)

    MathSciNet  Article  Google Scholar 

  31. 31.

    do Ó, J.M., He, X., Mishra, P.K.: Fractional Kirchhoff problem with critical indefinite nonlinearity. Math. Nachr. 292(3), 615–632 (2019)

    MathSciNet  MATH  Google Scholar 

  32. 32.

    Binlin, Z., Fiscella, A., Liang, S.: Infinitely many solutions for critical degenerate Kirchhoff type equations involving the fractional p-Laplacian. Appl. Math. Optim. 80(1), 63–80 (2019)

    MathSciNet  Article  Google Scholar 

  33. 33.

    Zuo, J., An, T., Li, M.: Superlinear Kirchhoff-type problems of the fractional p-Laplacian without the (AR) condition. Bound. Value Probl. 2018, 180 (2018)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Zuo, J., An, T., Ye, G., Qiao, Z.: Nonhomogeneous fractional p-Kirchhoff problems involving a critical nonlinearity. Electron. J. Qual. Theory Differ. Equ. 2019, 41 (2019)

    MathSciNet  Article  Google Scholar 

  35. 35.

    Zuo, J., An, T., Ye, G.: A class of critical magnetic fractional Kirchhoff problems. Symmetry 12(1), 76 (2020)

    Article  Google Scholar 

Download references

Acknowledgements

The authors thank the anonymous referees for invaluable comments and insightful suggestions, which improved the presentation of this manuscript.

Availability of data and materials

Not applicable.

Funding

The work is supported by the Fundamental Research Funds for Central Universities (2019B44914), Natural Science Foundation of Jiangsu Province (BK20180500) and the National Key Research and Development Program of China (2018YFC1508100). J. Zuo is also supported by China Scholarship Council (No.201906710004) and Jilin Province Department of Education “13th five-year plan” Science and technology, research and planning projects.

Author information

Affiliations

Authors

Contributions

All authors read and approved the final manuscript and all authors have agreed to the authorship and the order of authorship for this manuscript. All authors have the appropriate permissions and rights to the reported data.

Corresponding author

Correspondence to Jiabin Zuo.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zuo, J., Li, M., Li, B. et al. A bifurcation and symmetry result for critical fractional Laplacian equations involving a perturbation. Adv Differ Equ 2020, 58 (2020). https://doi.org/10.1186/s13662-020-2532-3

Download citation

MSC

  • 35A15
  • 47G20
  • 35S15
  • 35Q60

Keywords

  • Integro-differential operator
  • Critical nonlinearities
  • Fractional problems
  • Variational methods