Skip to main content

Existence and multiplicity of solutions for a fractional p-Laplacian equation with perturbation


In this paper, we consider the existence of nontrivial solutions for a fractional p-Laplacian equation in a bounded domain. Under different assumptions of nonlinearities, we give existence and multiplicity results respectively. Our approach is based on variational methods and some analytical techniques.

1 Introduction

In this paper, we are interested in the existence of nontrivial solutions for the following fractional quasi-linear problem:

$$\begin{aligned} \textstyle\begin{cases} (-\Delta )_{p}^{s}u+ \vert u \vert ^{p-2}u=f(x,u)+\lambda g(x,u)+h(x),& x\in \Omega, \\ u=0, & x\in \mathbb{R}^{N}\backslash \Omega, \end{cases}\displaystyle \end{aligned}$$

where \(0< s<1\) and \(sp< N\), Ω is a bounded domain in \({\mathbb{R}}^{N}\), λ is a positive constant, \(f,g,h\) are continuous functions, \(p^{*}_{s}=pN/(N-sp)\) is the fractional critical exponent, and \((-\Delta )^{s}_{p}\) is the fractional p-Laplace operator defined as

$$\begin{aligned} (-\Delta )^{s}_{p}u(x)=\mathrm{P.V.} \int _{R^{N}} \frac{ \vert u(x)-u(y) \vert ^{p-2}(u(x)-u(y))}{ \vert x-y \vert ^{N+sp}}\,dy, \end{aligned}$$

where P.V. refers to the principle value, see [1] for details.

In recent years, there has been growing interest in the study of fractional elliptic equations. Concerning the existence result for this kind of equations, some well-known results for classical Laplace operators have been extended to the nonlocal fractional setting, and there are a lot of works on the quasi-linear problem

$$\begin{aligned} \textstyle\begin{cases} (-\Delta )_{p}^{s}u=f(x,u), & x\in \Omega, \\ u=0, & x\in \mathbb{R}^{N}\backslash \Omega, \end{cases}\displaystyle \end{aligned}$$

where the nonlinearity f satisfies some general growth conditions, see [212]. For instance, in [2, 4] the authors studied the fractional p-eigenvalue problems. In [5] the authors studied the local behavior of fractional p-minimizers. In [6] the authors studied problem (1.3) under different growth assumptions on the reaction term and obtained various existence results by Morse theory, while in [7] the authors studied problem (1.3) in an unbounded domain with weight, and symmetry results were given by authors in [8]. Moreover, by the variant fountain theorem the authors in [9] studied problem (1.3) in \(\mathbb{R}^{N}\) and obtained infinitely many solutions, while similar results were obtained by authors in [3], given \(f(x,u)=h_{1}(x)|u|^{q-2}u+h_{2}(x)|u|^{r-2}u\).

Typically, when \(f(x,u)=|u|^{p^{*}_{s}-2}u+\lambda |u|^{p-2}u\), problem (1.3) turns into the Brezis–Nirenberg problem

$$\begin{aligned} \textstyle\begin{cases} (-\Delta )_{p}^{s}u= \vert u \vert ^{p^{*}_{s}-2}u+\lambda \vert u \vert ^{p-2}u, & x\in \Omega, \\ u=0, & x\in \mathbb{R}^{N}\backslash \Omega, \end{cases}\displaystyle \end{aligned}$$

which has been studied by the authors in [1012]. In [10], the authors proved multiplicity results of problem (1.4) by cohomological index and abstract critical theorem, while in [11], the authors obtained nontrivial solutions of problem (1.4) by an abstract linking theorem. In [12], replacing \(|u|^{p-2}u\) with a subcritical nonlinearity \(g(x,u)\), the authors proved the existence of one weak solution of problem (1.4) provided λ is sufficiently small, and multiplicity result was established if the perturbation term g vanishes at the origin. Moreover, Kirchhoff type equations involving fractional p-Laplacian and critical nonlinearities were studied by authors in [1315] by using variational methods.

Inspired by the above papers, we tend to investigate the existence and multiplicity result of problem (1.1). From our analysis, it is clear that under different assumptions of the growth condition on nonlinearities near infinity and origin, the existence and multiplicity results are quite different. We consider the Banach space \(X=W^{s,p}_{0}(\Omega )\), where the fractional Sobolev space \(W^{s,p}_{0}(\Omega )=\{u\in W^{s,p}(\Omega )|u=0\in \mathbb{R}^{N} \backslash \Omega \}\) is defined as follows:

$$\begin{aligned} W^{s,p}(\Omega )=\biggl\{ u\in L^{p}(\Omega ): \int _{\Omega \times \Omega } \frac{ \vert u(x)-u(y) \vert ^{p}}{ \vert x-y \vert ^{N+sp}}\,dx\,dy< \infty \biggr\} , \end{aligned}$$

equipped with the norm

$$\begin{aligned} \Vert u \Vert ^{p}:=[u]^{p}_{s,p}= \int \int _{Q} \frac{ \vert u(x)-u(y) \vert ^{p}}{ \vert x-y \vert ^{N+sp}}\,dx\,dy, \end{aligned}$$

where \(Q={\mathbb{R}}^{2N}\backslash (C\Omega \times C\Omega )\) with \(C\Omega ={\mathbb{R}}^{N}\setminus \Omega \). By the results of [1], there is continuous embedding \(W_{0}^{s,p}(\Omega )\hookrightarrow L^{r}(\Omega )\) for \(r\in [1,p^{*}_{s}]\) and compact when \(r\in [1,p^{*}_{s})\). We denote by S the best Sobolev constant for the embedding of \(W_{0}^{s,p}(\Omega )\hookrightarrow L^{p}(\Omega )\).

Our approach to study problem (1.1) is variational, including the mountain pass theorem and the critical point theorems of G. Bonanno and R. Kajikiya. Generally, we check the geometric structure of the functional and prove the compactness results of the functional to meet the conditions of the critical point theorems. Due to the presence of critical nonlinearity, the energy functional no longer satisfies global compactness conditions but on certain ranges, thus we apply different variational theorems for existence results. We assume that the nonlinearities \(f,g,h\in C(\mathbb{R},\mathbb{R})\) and satisfy the following assumptions:


\(\lim_{t\rightarrow 0}\frac{f(x,t)}{t^{p-1}}=0\) uniformly a.e. \(x\in \Omega \);


\(\lim_{t\rightarrow 0}\frac{f(x,t)}{t^{p-1}}=\infty \) uniformly a.e. \(x\in \Omega \);


\(\lim_{t\rightarrow \infty }\frac{f(x,t)}{t^{p^{*}-1}}=0\) uniformly a.e. \(x\in \Omega \);


\(\lim_{t\rightarrow \infty }\frac{f(x,t)}{t^{p-1}}=0\) uniformly a.e. \(x\in \Omega \);


there exists a positive constant B such that

$$\begin{aligned} F(x,s)\geq 2r\frac{ \vert s \vert ^{p}}{p}-B,\quad \forall s\in \mathbb{R},\text{ a.e. }x \in \Omega, \end{aligned}$$

where r is defined as \(r:=\sup_{W^{s,p}(\Omega )}\frac{\|u\|^{p}}{|u|_{p}^{p}}\).


there exists \(\nu \in (p,p^{*}_{s})\) such that

$$\begin{aligned} 0< \nu F(t)\leq f(t)t\quad \text{for all }\vert t \vert >0,\text{ where }F(t):= \int _{0}^{t}f(s)\,ds; \end{aligned}$$

\(|g(x,s)|\leq c(1+|s|^{r-1})\), \(\forall s\in \mathbb{R}\), and \(1\leq r< p\);


\(f(x,\cdot )\) is odd and \(g(x,\cdot )\) is even for \(a.e\). \(x\in \Omega \);


\(f(x,\cdot )\) is odd and \(g=|u|^{p^{*}-2}u\);

Our main results read as follows.

Theorem 1.1

Assume that \((f_{1}),(f_{2}),(f_{4}),(g_{1})\) hold. Then there exists \(\lambda ^{*}>0\), and for any \(\lambda \in (0,\lambda ^{*})\), there exists \(\varrho >0\) such that, for any \(|f|^{(p-1)/p}_{\sigma }\in (0,\varrho )\), problem (1.1) has a mountain pass solution.

Theorem 1.2

Assume that \((f_{1}),(\widetilde{f}_{2}),(f_{3}),(g_{1}),(g_{2})\) hold with \(h=0\). Then, for every \(b>0\), there exist an open interval \(\Lambda \subset [-b,b]\) and a positive real number σ such that, for every \(\lambda \in \Lambda \), problem (1.1) admits at least three solutions whose norms are less than σ.

Theorem 1.3

Assume that \((\widetilde{f}_{1}),({f}_{2}),(g_{3})\) hold with \(h=0\). Then there exists \(\lambda _{*}\) such that for any \(\lambda \in (0,\lambda _{*})\), problem (1.1) has a sequence of nontrivial solutions \(\{u_{n}\}_{n\in \mathbb{N}}\subset X\) such that \(u_{n}\rightarrow 0\) as \(n\rightarrow \infty \).

The present paper is organized as follows: in Sect. 2 we prove the existence of mountain pass solution, in Sect. 3 we prove the existence of three solutions, and in Sect. 4 we give infinitely many solutions for the critical case.

2 Existence of mountain pass solution

It is well known that the solution of problem (1.1) is a critical point of the functional \(I: X\rightarrow \mathbb{R}\) is defined by

$$\begin{aligned} I(u)=\frac{1}{p} \Vert u \Vert ^{p}-\lambda \int _{\Omega } G\,dx- \int _{\Omega } F\,dx- \int _{\Omega } hu\,dx \end{aligned}$$

and satisfies \(\langle I'(u),\varphi \rangle =0\), i.e.,

$$\begin{aligned} &\int _{Q}\frac{ \vert u(x)-u(y) \vert ^{p-2}(u(x)-u(y))}{ \vert x-y \vert ^{N+sp}}\bigl(\varphi (x)- \varphi (y) \bigr)- \int _{\Omega } f(u)\varphi \,dx\\ &\quad -\lambda \int _{\Omega } g(u) \varphi \,dx- \int _{\Omega } h\varphi \,dx=0 \end{aligned}$$

for any \(\varphi \in X\).

We first check the mountain pass geometry of I.

Lemma 2.1

Assume that \((f_{1})\), \((f_{2})\), \((f_{4})\), \((g_{1})\) hold, the functional I satisfies the mountain pass geometry:

  1. (i)

    there exist \(\alpha,\rho >0\) such that \(I(u)\geq \alpha \) with \(\|u\|=\rho \),

  2. (ii)

    there exists \(e\in X\) with \(\|e\|>\rho \) such that \(I(e)<0\).


(i) By \((f_{1})\) and \((f_{2})\), for fixed \(\varepsilon >0\), there exists \(C_{\varepsilon }>0\) such that

$$\begin{aligned} \bigl\vert F(t) \bigr\vert \leq \frac{\varepsilon }{p} \vert t \vert ^{p}+\frac{C_{\varepsilon }}{p^{*}} \vert t \vert ^{p^{*}}. \end{aligned}$$

Taking into (2.1),

$$\begin{aligned} I(u)&=\frac{1}{p} \Vert u \Vert ^{p}-\lambda \int _{\Omega } G\,dx- \int _{\Omega } F\,dx- \int _{\Omega } hu\,dx \\ &\geq \frac{1}{p} \Vert u \Vert ^{p}-\lambda \int _{\Omega }\biggl(c \vert u \vert +\frac{c}{r} \vert u \vert ^{r}\biggr)\,dx- \int _{\Omega }\biggl(\frac{\varepsilon }{p} \vert u \vert ^{p}+C_{\varepsilon } \vert u \vert ^{p^{*}}\biggr)\,dx- \int _{\Omega } hu\,dx \\ &\geq \frac{1}{2p} \Vert u \Vert ^{p}-\frac{c\lambda }{r\lambda _{1}} \vert \Omega \vert ^{ \frac{p-r}{p}} \Vert u \Vert ^{r}- \frac{\lambda c}{\lambda _{1}} \vert \Omega \vert ^{ \frac{p-1}{p}} \Vert u \Vert -C_{\varepsilon }S \Vert u \Vert ^{p^{*}}-C'_{\varepsilon } \vert h \vert _{ \sigma }^{\frac{p}{p-1}} \\ &= \Vert u \Vert ^{p}\biggl[\frac{1}{2p}-\lambda C_{1} \Vert u \Vert ^{r-p}-\lambda C_{2} \Vert u \Vert ^{1-p}-C_{3} \Vert u \Vert ^{p^{*}-p}\biggr]-C'_{\varepsilon } \vert h \vert _{\sigma }^{\frac{p}{p-1}}. \end{aligned}$$


$$\begin{aligned} \zeta (t)=\lambda C_{1}t^{r-p}+\lambda C_{2}t^{1-p}+C_{3}t^{p^{*}-p}. \end{aligned}$$

It is easy to see \(\lim_{t\rightarrow 0}\zeta (t)=\lim_{t\rightarrow + \infty }\zeta (t)=+\infty \). Let \(\zeta '(t)=0\), we have

$$\begin{aligned} \lambda C_{1}(r-p)t^{r-p-1}+\lambda C_{2}(1-p)t^{-p}+C_{3} \bigl(p^{*}-p\bigr)t^{p^{*}-p-1}=0. \end{aligned}$$

Note that \(\zeta '(t)=t^{-p}\eta (t)\), where

$$\begin{aligned} \eta (t)=\lambda C_{1}(r-p)t^{r-1}+\lambda C_{2}(1-p)+C_{3}\bigl(p^{*}-p \bigr)t^{p^{*}-1}. \end{aligned}$$

Since \(r< p< p^{*}\), there exists \(t_{0}>0\) such that \(\eta (t)<0\) on \((0,t_{0})\) and \(\eta (t)>0\) on \((t_{0},\infty )\), i.e., \(\zeta (t)\) has a unique minimum \(\zeta (t_{0})\), taking into, we have

$$\begin{aligned} \zeta (t_{0})=\lambda C_{3}t^{r-p}+\lambda C_{4}t^{1-p}. \end{aligned}$$

Thus there exists \(\lambda ^{*}>0\) such that, for \(\lambda \in (0,\lambda ^{*})\), \(\zeta (t_{0})<\frac{1}{4p}\). Moreover, let

$$\begin{aligned} \widetilde{\eta }(t_{1})=\lambda C_{2}(1-p)+C_{3} \bigl(p^{*}-p\bigr)t_{1}^{p^{*}-1}=0, \end{aligned}$$

it is easy to see that \(t_{0}>t_{1}=[\frac{\lambda C_{2}(p-1)}{C_{3}(p^{*}-p)}]^{ \frac{1}{p^{*}-1}}\), thus there exists a constant \(\varrho >0\) such that

$$\begin{aligned} t_{0}^{p}\biggl[\frac{1}{2p}-\zeta (t) \biggr]-C'_{\varepsilon } \vert h \vert _{\sigma }^{ \frac{p-1}{p}}>0 \end{aligned}$$

for \(|h|_{\sigma }^{\frac{p-1}{p}}<\varrho \), where \(\varrho = \frac{[\frac{\lambda C_{2}(p-1)}{C_{3}(p^{*}-p)}]^{\frac{p}{p^{*}-1}}}{4pC'_{\varepsilon }}\). Thus, for \(0<\lambda <\lambda ^{*}\) and \(|h|_{\sigma }^{\frac{p-1}{p}}<\varrho \), there exist \(\alpha,\rho >0\) such that \(I(u)\geq \alpha \) with \(\|u\|=\rho \).

(ii) From \((f_{4})\) we have that there exist \(c_{1},c_{2}>0\) such that

$$\begin{aligned} F(s)\geq c_{1}s^{\nu }-c_{2} \quad\text{for all } s>0. \end{aligned}$$

Thus, for any \(u_{0}>0\) fixed, we have

$$\begin{aligned} I(tu_{0})&=\frac{t^{p}}{p} \Vert u_{0} \Vert ^{p}-\lambda \int _{\Omega } G(tu_{0})\,dx- \int _{\Omega } F(tu_{0})\,dx-t \int _{\Omega } hu_{0}\,dx \\ &\leq \frac{t^{p}}{p} \Vert u_{0} \Vert ^{p}-c_{1}t^{\nu } \vert u_{0} \vert _{\nu }^{\nu }+c_{2} \vert \Omega \vert -\lambda \int _{\Omega } G(tu_{0})\,dx-t \int _{\Omega } hu_{0}\,dx. \end{aligned}$$

Since \(\nu \in (p,p^{*})\), we get \(I(tu_{0})\rightarrow -\infty \) as \(t\rightarrow \infty \). Thus there exists \(e\in X\) with \(\|e\|>\rho \) such that \(I(e)<0\). □

Lemma 2.2

Assume that \((f_{1}),(f_{2}),(f_{4}),(g_{1})\) hold, then I satisfies the Palais–Smale condition.


Suppose that \(\{u_{n}\}_{n\in \mathbb{N}}\) is a Palais–Smale sequence of I, i.e., there exists \(C>0\) such that

$$\begin{aligned} I(u_{n})\rightarrow C,\qquad I'(u_{n})\rightarrow 0\quad \text{as }n \rightarrow \infty, \end{aligned}$$

then we have

$$\begin{aligned} &C\bigl(1+ \Vert u_{n} \Vert \bigr)\\ &\quad\geq I(u_{n})- \frac{1}{\nu }\bigl\langle I'(u_{n}),u_{n} \bigr\rangle \\ &\quad=\frac{1}{p} \Vert u_{n} \Vert ^{p}-\lambda \int _{\Omega } G\,dx- \int _{\Omega } F\,dx- \int _{\Omega } hu_{n}\,dx-\frac{1}{\nu } \Vert u \Vert ^{p}+\frac{1}{\nu } \int _{ \Omega }(f+\lambda g+h)u_{n}\,dx \\ &\quad=\biggl(\frac{1}{p}-\frac{1}{\nu }\biggr) \Vert u_{n} \Vert ^{p}+ \int _{\Omega }\biggl( \frac{fu_{n}}{\nu }-F\biggr)\,dx+\biggl( \frac{1}{\nu }-1\biggr) \int _{\Omega } hu_{n}\,dx+ \lambda \int _{\Omega }\biggl(\frac{gu_{n}}{\nu }-G\biggr)\,dx \\ &\quad\geq \biggl(\frac{1}{p}-\frac{1}{\nu }\biggr) \Vert u_{n} \Vert ^{p}+\biggl( \frac{1-\nu }{\nu \lambda _{1}}\biggr) \vert h \vert _{\sigma } \Vert u_{n} \Vert - \frac{c'\lambda }{r\lambda _{1}} \vert \Omega \vert ^{\frac{p-r}{p}} \Vert u_{n} \Vert ^{r}- \frac{\lambda c'}{\lambda _{1}} \vert \Omega \vert ^{\frac{p-1}{p}} \Vert u_{n} \Vert . \end{aligned}$$

Thus \(\{u_{n}\}_{n\in \mathbb{N}}\) is bounded in X. Up to a subsequence, still denoted by \(\{u_{n}\}_{n\in \mathbb{N}}\), there exists \(u_{0}\in X\) satisfying

$$\begin{aligned} u_{n}\rightharpoonup u_{0}\quad \text{in }W^{s,p}(\Omega ),\qquad u_{n} \rightarrow u_{0}\quad \text{in }L^{p}(\Omega ),\qquad u_{n}(x)\rightarrow u_{0}(x)\quad \text{a.e. on }\Omega. \end{aligned}$$

From \((f_{1}),(f_{2}),(g_{1})\),we have by the Lebesgue convergence theorem

$$\begin{aligned} &\int _{\Omega } f(x,u_{n}) (u_{n}-u_{0}) \,dx\rightarrow 0,\quad \text{as }n \rightarrow \infty, \\ &\int _{\Omega } g(x,u_{n}) (u_{n}-u_{0}) \,dx\rightarrow 0,\quad \text{as }n \rightarrow \infty. \end{aligned}$$

Note that

$$\begin{aligned} \bigl\langle I'(u_{n}),u_{n}-u_{0} \bigr\rangle ={}& \int _{\Omega } \frac{ \vert u_{n}(x)-u_{n}(y) \vert ^{p-2}(u_{n}(x)-u_{n}(y))}{ \vert x-y \vert ^{N+sp}}\bigl(u_{n}(x)-u_{n}(y)-u_{0}(x)+u_{0}(y) \bigr) \\ &{}+ \vert u_{n} \vert ^{p-2}u_{n}(u_{n}-u_{0})- \int _{\Omega } f(x,u_{n}) (u_{n}-u_{0}) \,dx \\ &{}-\lambda \int _{\Omega } g(x,u_{n}) (u_{n}-u_{0})- \int _{\Omega } h(x) (u_{n}-u_{0})\,dx, \end{aligned}$$


$$\begin{aligned} \bigl\langle I'(u_{n}),u_{n}-u_{0} \bigr\rangle \rightarrow 0 \quad \text{as }n \rightarrow \infty, \end{aligned}$$

thus we have

$$\begin{aligned} &\int _{\Omega } \frac{ \vert u_{n}(x)-u_{n}(y) \vert ^{p-2}(u_{n}(x)-u_{n}(y))}{ \vert x-y \vert ^{N+sp}}\bigl(u_{n}(x)-u_{n}(y)-u_{0}(x)+u_{0}(y) \bigr) \\ &\quad{}+ \vert u_{n} \vert ^{p-2}u_{n}(u_{n}-u_{0}) \rightarrow 0. \end{aligned}$$

Combined with weak convergence of \(u_{n}\rightharpoonup u_{0}\) in \(W^{s,p}(\Omega )\), we have

$$\begin{aligned} u_{n}\rightarrow u_{0}\quad \text{in} W^{1,p}(\Omega ) \text{ as }n \rightarrow \infty, \end{aligned}$$

thus I satisfies the Palais–Smale condition. □

Proof of Theorem 1.1

In view of Lemma 2.1 and Lemma 2.2, Theorem 1.1 follows from the mountain pass theorem [16]. □

3 Existence of three solutions

In this section we consider multiplicity results of problem (1.1) when \(h=0\),

$$\begin{aligned} \textstyle\begin{cases} (-\Delta )_{p}^{s}u+ \vert u \vert ^{p-2}u=f(x,u)+\lambda g(x,u)& x\in \Omega, \\ u=0, & x\in \mathbb{R}^{N}\backslash \Omega. \end{cases}\displaystyle \end{aligned}$$

We first recall the following theorem by G. Bonnano.

Lemma 3.1


Let X be a separable and reflexive real Banach space, and let \(\phi,\psi: X\rightarrow \mathbb{R}\) be two continuously Gâteaux differentiable functionals. Assume that ϕ is sequentially weakly lower semicontinuous and even, that ψ is sequentially weakly continuous and odd, and that, for some \(b>0\) and for each \(\lambda \in [-b,b]\), the functional \(\psi +\lambda \phi \) satisfies the Palais–Smale condition and

$$\begin{aligned} \lim_{\|x\|\rightarrow \infty }\bigl(\psi (x)+\lambda \phi (x)\bigr)=+ \infty. \end{aligned}$$

Finally, assume that there exists \(k>0\) such that

$$\begin{aligned} \inf_{x\in X}\bigl(\psi (x)\bigr)< \inf_{|\phi (x)|< k} \psi (x). \end{aligned}$$

Then, for every \(b>0\), there exist an open interval \(\Lambda \subseteq [-b,b]\) and a positive real number σ such that, for each \(\lambda \in \Lambda \), the equation

$$\begin{aligned} \psi '(x)+\lambda \phi '(x)=0 \end{aligned}$$

admits at least three solutions in X whose norms are less than σ.

Consider the functional

$$\begin{aligned} I(u)=\frac{1}{p} \Vert u \Vert ^{p}-\lambda \int _{\Omega } G\,dx- \int _{\Omega } F\,dx \end{aligned}$$

and denote \(\psi (u)=\frac{1}{p}\|u\|^{p}-\int _{\Omega } F\,dx\), \(\phi (u)=\int _{\Omega }-G\,dx\).

Proof of Theorem 1.2

It suffices to check that I satisfies all the assumptions in Lemma 3.1. By \((\widetilde{f}_{2})\), given \(\epsilon >0\), we have

$$\begin{aligned} &\bigl\vert f(x,s) \bigr\vert \leq C_{\epsilon }+\epsilon \vert s \vert ^{p-1} \quad\text{for every }s\in \mathbb{R}, \end{aligned}$$
$$\begin{aligned} &\bigl\vert F(x,s) \bigr\vert \leq C_{\epsilon }+\frac{\epsilon }{p} \vert s \vert ^{p} \quad\text{for every }s \in \mathbb{R}, \end{aligned}$$

thus the functional \(\psi (u)\) is continuously Gâteaux differentiable and weakly sequentially continuous. From \((g_{1})\) we know that \(\phi (u)\) is weakly sequentially continuous.

By (3.5) and \((g_{1})\), we derive

$$\begin{aligned} \psi (u)+\lambda \phi (u)&\geq \frac{1}{p} \Vert u \Vert ^{p}- \int _{\Omega } C_{ \epsilon }+\frac{\epsilon }{p} \vert s \vert ^{p}\,dx-\lambda \int _{\Omega }\biggl(c \vert u \vert + \frac{1}{r} \vert u \vert ^{r}\biggr)\,dx \\ &\geq \frac{1}{p}\biggl(1-\frac{\epsilon }{\lambda _{1}}\biggr) \Vert u \Vert ^{p}-C_{1} \Vert u \Vert ^{r}-C_{2} \Vert u \Vert -C_{3} \vert \Omega \vert . \end{aligned}$$

Since \(p>r\), taking ϵ sufficiently small, we have

$$\begin{aligned} \lim_{\|u\|\rightarrow +\infty }\psi (u)+\lambda \phi (u)=+ \infty. \end{aligned}$$

Following a similar argument in Lemma 2.2, I satisfies the Palais–Smale condition.

By \((f_{1})\), we have

$$\begin{aligned} \int _{\Omega } F(x,u)\,dx\leq \frac{\epsilon }{p} \int _{\Omega } \vert u \vert ^{p}\,dx \leq \frac{\epsilon }{p\lambda _{1}} \Vert u \Vert ^{p}. \end{aligned}$$


$$\begin{aligned} \psi (u)\geq \frac{1}{p} \Vert u \Vert ^{p}- \frac{\epsilon }{p} \int _{\Omega } \vert u \vert ^{p}\,dx>0. \end{aligned}$$

Hence there exists \(k>0\) such that

$$\begin{aligned} \inf_{|\phi (u)|< k}\psi (u)=0. \end{aligned}$$

Due to \((f_{3})\), for any \(u\in W^{s,p}(\Omega )\), let \(t\rightarrow \infty \), there holds

$$\begin{aligned} \psi (tu)&=\frac{1}{p} \Vert tu \Vert ^{p}- \int _{\Omega }F(x,tv)\,dx \\ &< \frac{t^{p}}{p} \Vert u \Vert ^{p}-\frac{2rt^{p}}{p} \int _{\Omega } \vert u \vert ^{p}\,dx+B \vert \Omega \vert \\ &< -\frac{t^{p}}{p}+B \vert \Omega \vert \rightarrow -\infty. \end{aligned}$$

Then we have

$$\begin{aligned} \inf_{u\in W^{s,p}(\Omega )}\psi (u)< \inf_{|\phi (u)|< k} \psi (u). \end{aligned}$$

Thus completes the proof. □

4 Existence of infinitely many solutions

In this section, we consider the critical case for problem (3.1), i.e.,

$$\begin{aligned} \textstyle\begin{cases} (-\Delta )_{p}^{s}u+ \vert u \vert ^{p-2}u=f(x,u)+\lambda \vert u \vert ^{p^{*}_{s}-2}u, & x\in \Omega, \\ u=0,& x\in \mathbb{R}^{N}\backslash \Omega. \end{cases}\displaystyle \end{aligned}$$

Under assumption \((g_{3})\) of Theorem 1.3, it is easy to see that the Euler–Lagrange functional of (4.1) is even, thus we tend to use the symmetric mountain pass theorem of Kajikiya for existence of infinitely many solutions. Due to the presence of critical term, we first prove the local compactness result.

Lemma 4.1

Let \((f_{2})\) hold. Then, for any \(M>0\), there exists \(\lambda _{*}\) such that I satisfies the Palais–Smale condition on \((-\infty,M]\), \(\forall \lambda \in (0,\lambda _{*})\).


Let \(\{u_{n}\}_{n\in \mathbb{N}}\) be a Palais–Smale sequence of I at level d, i.e., there exists \(d>0\) such that

$$\begin{aligned} I(u_{n})\rightarrow d,\qquad I'(u_{n})\rightarrow 0\quad \text{as }n \rightarrow \infty. \end{aligned}$$

By \((f_{2})\) we have

$$\begin{aligned} \bigl\vert f(x,u)u \bigr\vert \leq c(\epsilon )+\epsilon \vert u \vert ^{p^{*}_{s}} \end{aligned}$$


$$\begin{aligned} \bigl\vert F(x,u) \bigr\vert \leq c'(\epsilon )+\epsilon \vert u \vert ^{p^{*}_{s}}. \end{aligned}$$

Then, by (4.2), we have

$$\begin{aligned} d+o(1) \Vert u_{n} \Vert &= I(u_{n})- \frac{1}{p}\bigl\langle I'(u_{n}),u_{n} \bigr\rangle \\ &=\lambda \biggl(\frac{1}{p}-\frac{1}{p^{*}}\biggr) \vert u_{n} \vert _{p^{*}}^{p^{*}}+ \int _{ \Omega }\frac{1}{p}fu-F\,dx \\ &\geq \biggl(\frac{\lambda }{p}-\frac{\lambda }{p^{*}}-\epsilon \biggr) \vert u_{n} \vert _{p^{*}}^{p^{*}}-c( \epsilon ) \vert \Omega \vert . \end{aligned}$$

Taking ϵ sufficiently small, we obtain

$$\begin{aligned} \vert u_{n} \vert _{p^{*}}^{p^{*}}\leq C+o(1) \Vert u_{n} \Vert . \end{aligned}$$

On the other hand,

$$\begin{aligned} d+o(1)&=\frac{1}{p} \Vert u_{n} \Vert ^{p}- \frac{\lambda }{p^{*}} \vert u_{n} \vert _{p^{*}}^{p^{*}}- \int _{\Omega }F\,dx \\ &\geq \frac{1}{p} \Vert u_{n} \Vert ^{p}-c'( \epsilon ) \vert \Omega \vert -\biggl( \frac{\lambda }{p^{*}}+\epsilon \biggr) \vert u_{n} \vert _{p^{*}}^{p^{*}}, \end{aligned}$$

thus \(\{u_{n}\}_{n\in \mathbb{N}}\) is bounded in X. Up to a subsequence, still denoted by \(\{u_{n}\}_{n\in \mathbb{N}}\), there exists \(u\in X\) satisfying

$$\begin{aligned} u_{n}\rightharpoonup u\quad \text{in }W^{s,p}(\Omega ),\qquad u_{n} \rightarrow u\quad \text{in }L^{p}(\Omega ),\qquad u_{n}(x)\rightarrow u(x) \quad \text{a.e. on }\Omega. \end{aligned}$$

Applying \((f_{2})\), we have

$$\begin{aligned} &\int _{\Omega }f(x,u_{n})u_{n}\,dx= \int _{\Omega }f(x,u)u\,dx+o(1), \end{aligned}$$
$$\begin{aligned} &\int _{\Omega }F(x,u_{n})u_{n}\,dx= \int _{\Omega }F(x,u)u\,dx+o(1). \end{aligned}$$

Noting that the sequence \(\{ \frac{|u_{n}(x)-u_{n}(y)|^{p-2}(u_{n}(x)-u_{n}(y))}{|x-y|^{\frac{N+ps}{p}}} \}_{n\in \mathbb{N}}\) is bounded in \(L^{p'}(\Omega )\), by pointwise convergence \(u_{n}\rightarrow u\), we have

$$\begin{aligned} \frac{ \vert u_{n}(x)-u_{n}(y) \vert ^{p-2}(u_{n}(x)-u_{n}(y))}{ \vert x-y \vert ^{\frac{N+ps}{p}}} \rightharpoonup ^{L^{p'}} \frac{ \vert u(x)-u(y) \vert ^{p-2}(u(x)-u(y))}{ \vert x-y \vert ^{\frac{N+ps}{p}}}. \end{aligned}$$

From (4.7)–(4.9) we derive \(I'(u)=0\), i.e., u is a weak solution of (4.1), and

$$\begin{aligned} I(u)= \int _{\Omega }\biggl(\frac{1}{p}uf-F\biggr)\,dx+\lambda \biggl(\frac{1}{p}- \frac{1}{p^{*}}\biggr) \int _{\Omega } \vert u \vert ^{p^{*}}\,dx. \end{aligned}$$

Thus it suffices to check \(u_{n}\rightarrow u\) in X. We consider \(v_{n}=u_{n}-u\). By the fractional form of the Brezis–Lieb lemma and (4.2), we have

$$\begin{aligned} \bigl\langle I'(u_{n},u_{n}\bigr\rangle &= \Vert v_{n} \Vert ^{p}+ \Vert u \Vert ^{p}- \int _{\Omega }uf(x,u)\,dx- \lambda \int _{\Omega } \vert v_{n} \vert ^{p^{*}} \,dx-\lambda \int _{\Omega } \vert u \vert ^{p^{*}}\,dx+o(1) \\ &=o(1) \end{aligned}$$


$$\begin{aligned} I(u_{n})=\frac{1}{p} \Vert u \Vert ^{p}+ \frac{1}{p} \Vert v_{n} \Vert ^{p}- \int _{\Omega }F(x,u)\,dx- \frac{\lambda }{p^{*}} \int \vert v_{n} \vert ^{p^{*}}-\frac{\lambda }{p^{*}} \int \vert u \vert ^{p^{*}}+o(1). \end{aligned}$$

Since \(I'(u)=0\), we have

$$\begin{aligned} \Vert v_{n} \Vert ^{p}=\lambda \int _{\Omega } \vert v_{n} \vert ^{p^{*}} \,dx+o(1). \end{aligned}$$

Without loss of generality, we assume that \(\|v_{n}\|^{p}=a+o(1)\). By the fractional Sobolev inequality, we have

$$\begin{aligned} a\geq S(a/\lambda )^{p/p^{*}}. \end{aligned}$$

If \(a=0\), the proof is complete. Otherwise, \(a\geq S^{N/ps}\lambda ^{(ps-N)/ps}\). Combined with (4.2), (4.3), and (4.4), as \(n\rightarrow \infty \) we derive

$$\begin{aligned} d&=\frac{a}{p}-\frac{a}{p^{*}}+ \int _{\Omega }\biggl(\frac{1}{p}uf-F\biggr)\,dx+ \lambda \biggl(\frac{1}{p}-\frac{1}{p^{*}}\biggr) \int _{\Omega } \vert u \vert ^{p^{*}}\,dx \\ &\geq \frac{s}{n}S^{N/ps}\lambda ^{(ps-N)/ps}-c'( \epsilon ) \vert \Omega \vert + \lambda \biggl(\frac{1}{p}- \frac{1}{p^{*}}-\epsilon \biggr) \int _{\Omega } \vert u \vert ^{p^{*}}\,dx \\ &\geq \frac{s}{n}S^{N/ps}\lambda ^{(ps-N)/ps}-c'(s/2N \lambda ) \vert \Omega \vert \end{aligned}$$

provided ϵ is sufficiently small. Then, given any \(M>0\), there exists \(\lambda _{*}\) such that

$$\begin{aligned} d\geq \frac{s}{n}S^{N/ps}\lambda ^{(ps-N)/ps}-c'( \epsilon )>M \end{aligned}$$

for all \(\lambda \in (0,\lambda _{*})\), thus completes the proof.

Now we introduce Krasnoselski’s genus. Let E be a real Banach space. A closed subset A of E is called symmetric if \(x\in A\) implies \(-x\in A\). Denote by Σ the family of all symmetric closed sets of E. The genus of A is defined to be the smallest integer n if there is an odd map \(\varphi \in C(A, \mathbb{R}^{n}\backslash \{0\})\). If n does not exist, then \(\gamma (A)=\infty \). Typically, \(\gamma (\phi )=0\). □

Proposition 4.2

Let \(A, B\in \Sigma \). Then:

  1. (1)

    If there exists an odd continuous map from A to B, then \(\gamma (A)\leq \gamma (B)\).

  2. (2)

    If there is an odd homeomorphism from A to B, then \(\gamma (A)=\gamma (B)\).

  3. (3)

    If \(\gamma (B)<\infty \), then \(\gamma (\overline{A\backslash B})\geq \gamma (A)-\gamma (B)\).

  4. (4)

    The n-dimensional sphere \(\mathbb{S}^{n}\) has a genus of n+1 by the Borsuk–Ulam theorem.

  5. (5)

    If A is compact, then \(\gamma (A)<\infty \), and there exist \(\delta >0\) and a closed symmetric neighborhood \(N_{\delta }(A)=\{x\in E:\|x-A\|\leq \delta \}\) of A such that \(\gamma (N_{\delta }(A))=\gamma (A)\).

We then give the symmetric mountain pass lemma due to Kajikiya [18].

Lemma 4.3

Let E be an infinite dimensional Banach space and \(I\in C^{1}(E,\mathbb{R})\) be a functional satisfying the conditions below:


\(I(u)\) is even, bounded from below, \(I(0)=0\), and \(I(u)\) satisfies the local Palais–Smale condition, i.e., for some \(d^{*}>0\), in the case when every sequence \(\{u_{n}\}_{n\in \mathbb{R}^{N}}\) in E satisfying \(I(u_{n})\rightarrow d< d^{*}\) and \(I'(u_{n})\rightarrow 0\) in \(E^{*}\) has a convergent subsequence;


For each \(n\in \mathbb{N}\), there exists \(A_{n}\in \Gamma _{n}\) such that \(\sup_{u\in A_{n}}I(u)<0\).

Then either (i) or (ii) below holds.

  1. (i)

    There exists a sequence \(\{u_{n}\}_{n\in \mathbb{R}^{N}}\) such that \(I'(u_{n})=0\), \(I(u_{n})=0\), and \(\{u_{n}\}_{n\in \mathbb{R}^{N}}\) converges to 0.

  2. (ii)

    There exist two sequences \(\{u_{n}\}_{n\in \mathbb{R}^{N}}\) and \(\{v_{n}\}_{n\in \mathbb{R}^{N}}\) such that \(I'(u_{n})=0\), \(I(v_{n})<0\), \(\lim_{n\rightarrow \infty }I(v_{n})=0\), and \(\{v_{n}\}_{n\in \mathbb{R}^{N}}\) converges to a nonzero limit.

Since \(I(u)\) is not bounded from below, we use the truncation argument in the following discussion. Setting \(\epsilon =\frac{\lambda }{p^{*}}\) in (4.4), it follows that

$$\begin{aligned} I(u)&=\frac{1}{p} \Vert u \Vert ^{p}- \int _{\Omega }F\,dx-\frac{\lambda }{p^{*}} \int _{\Omega } \vert u \vert ^{p^{*}}\,dx \\ &\geq \frac{1}{p} \Vert u \Vert ^{p}-c\biggl( \frac{\lambda }{p*}\biggr) \vert \Omega \vert - \frac{2\lambda }{p^{*}} \int _{\Omega } \vert u \vert ^{p^{*}}\,dx \\ &\geq \frac{1}{p} \Vert u \Vert ^{p}-c\biggl( \frac{\lambda }{p*}\biggr) \vert \Omega \vert - \frac{2\lambda }{p^{*}}S^{-p^{*/p}} \Vert u \Vert ^{p^{*}} \\ &=A \Vert u \Vert ^{p}-B \Vert u \Vert ^{p^{*}}-c \biggl(\frac{\lambda }{p*}\biggr) \vert \Omega \vert , \end{aligned}$$

where \(A=\frac{1}{p},B=\frac{2\lambda }{p^{*}}S^{-p^{*/p}},C=c( \frac{\lambda }{p*})|\Omega |\).


$$\begin{aligned} g(t):=At^{p}-Bt^{p^{*}}-C, \end{aligned}$$

it is easy to see that g attains its maximum at \(t_{1}=(\frac{S^{p^{*}/p}}{2\lambda })^{1/(p^{*}-p)}\), and

$$\begin{aligned} M_{1}=g(t_{1})=\frac{s}{N}\biggl(\frac{S}{2} \biggr)^{N/ps}\lambda ^{-n/ps}-c\biggl( \frac{\lambda }{p*}\biggr) \vert \Omega \vert >0, \end{aligned}$$

provided \(\lambda \in (0,\lambda _{*}')\), where \(\lambda _{*}'=[\frac{\frac{s}{N}(\frac{S}{2})^{N/ps}}{C}]^{ps/N}\).

Thus we can find, for any \(M_{0}\in (0,M_{1})\), \(t_{0}< t_{1}\) such that \(g(t_{0})=M_{0}\). We then introduce the auxiliary function

$$\begin{aligned} \chi (t)= \textstyle\begin{cases} 1,& 0\leq t\leq t_{0}, \\ \frac{At^{p}-C-M_{1}}{Bt^{p^{*}}},& t\geq t_{1}, \\ C^{\infty }, \chi (t)\in [0,1],& t_{0}\leq t\leq t_{1}. \end{cases}\displaystyle \end{aligned}$$

It is easy to see that \(\chi (t)\in [0,1]\) and \(\chi (t)\in C^{\infty }\). Let \(\varphi (u):=\chi (\|u\|)\), and we consider the truncated functional \(J: X\rightarrow \mathbb{R}\) defined as

$$\begin{aligned} J(u)=\frac{1}{p} \Vert u \Vert ^{p}-\varphi (u) \int _{\Omega }F\,dx- \frac{\lambda \varphi }{p^{*}} \int _{\Omega } \vert u \vert ^{p^{*}}\,dx. \end{aligned}$$

Hence we have

$$\begin{aligned} J(u)\geq A \Vert u \Vert ^{p}-B\varphi (u) \Vert u \Vert ^{p^{*}}-c\biggl(\frac{\lambda }{p*}\biggr) \vert \Omega \vert := \overline{g}\bigl( \Vert u \Vert \bigr), \end{aligned}$$

where \(\overline{g}(t)=At^{p}-B\chi (t)t^{p^{*}}-C\) and

$$\begin{aligned} \overline{g}(t):= \textstyle\begin{cases} g(t),& 0\leq t\leq t_{0}, \\ M_{1}& t\geq t_{1}. \end{cases}\displaystyle \end{aligned}$$

By the above arguments, we have the following result.

Lemma 4.4

Let \(J(u)\) be defined as in (4.17), then

  1. (i)

    \(J\in C^{1}(X,\mathbb{R})\), J is even and bounded from below.

  2. (ii)

    If \(J(u)< M_{0}\), then \(\overline{g}(\|u\|)< M_{0}\), and consequently \(\|u\|< t_{0}\) with \(I(u)=J(u)\).

  3. (iii)

    There exists \(\lambda _{*}\) such that, for any \(\lambda \in (0,\lambda _{*})\), J satisfies a local Palais–Smale condition for

    $$\begin{aligned} d< M_{0}\in \biggl(0,\min \biggl\{ M_{1}, \frac{s}{n}S^{N/ps}\lambda ^{(ps-N)/ps}-c'(s/2 \lambda N)\biggr\} \biggr). \end{aligned}$$


It is easy to see (i) and (ii). (iii) holds consequently by (ii) and Lemma 4.1. □

Lemma 4.5

Assume that \((\widetilde{f}_{1})\) holds. Then, for any \(k\in \mathbb{N}\), there exists \(\delta (k)>0\) such that \(\gamma (\{u\in X:J(u)\leq \delta (k)\}\backslash \{0\})\geq k\).


By \((\widetilde{f}_{1})\), we derive

$$\begin{aligned} F(x,\varepsilon u)\geq G(\varepsilon ) (\varepsilon u)^{p}\quad \text{with }G( \varepsilon )\rightarrow \infty\text{ as }\varepsilon \rightarrow 0. \end{aligned}$$

Given \(k\in \mathbb{N}\) and let \(E_{k}\) be a k-dimensional subspace of X. Since all norms in \(E_{k}\) are equivalent, we define

$$\begin{aligned} \alpha _{k}=\inf_{ \Vert u \Vert =1} \int _{\Omega } \vert u \vert ^{p^{*}}\,dx,\qquad \beta _{k}=\inf_{ \Vert u \Vert =1} \int _{\Omega } \vert u \vert ^{p}\,dx, \end{aligned}$$

then for any \(u\in E_{k}\) and \(\varepsilon \in (0,t_{0})\),

$$\begin{aligned} I(\varepsilon u)&=J(\varepsilon u) \\ &\leq \frac{\varepsilon ^{p}}{p}- \frac{\lambda \varepsilon ^{p^{*}}}{p^{*}}\alpha _{k}-G(\varepsilon ) \varepsilon ^{p}\beta _{k} \\ &\leq \varepsilon ^{p}\biggl[\frac{1}{p}- \frac{\lambda \varepsilon ^{p^{*}-p}}{p^{*}} \alpha _{k}-G( \varepsilon )\beta _{k}\biggr] \\ &=-\delta (k)< 0 \end{aligned}$$

provided ε is sufficiently small, since \(G(\varepsilon )\rightarrow \infty (\varepsilon \rightarrow 0)\). Thus

$$\begin{aligned} \bigl\{ u\in E_{k}: \Vert u \Vert =\varepsilon \bigr\} \subset \bigl\{ u\in X:J(u)\leq -\delta (k) \bigr\} \backslash \{0\}. \end{aligned}$$

This completes the proof. □

Proof of Theorem 1.3


$$\begin{aligned} \Sigma _{k}:=\bigl\{ A\in X\backslash \{0\}:A\text{ is closed and } A=-A, \gamma (A)\geq k\bigr\} , \end{aligned}$$

and define

$$\begin{aligned} c_{k}=\inf_{A\in \Sigma _{k}}\sup_{u\in A}G(u). \end{aligned}$$

By Lemma 4.4-(i) and Lemma 4.5, it implies \(-\infty < c_{k}<0\). Thus conditions \((C_{1})\) and \((C_{2})\) of Lemma 4.3 are satisfied. Consequently, there exists a sequence of solutions \(\{u_{n}\}\) converging to 0. Therefore, Theorem 1.3 follows by Lemma 4.4(ii). □

Availability of data and materials

Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.


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

    Article  MathSciNet  Google Scholar 

  2. Franzina, G., Palatucci, G.: Fractional p-eigenvalues. Riv. Mat. Univ. Parma 5(1), 373–386 (2014)

    MathSciNet  MATH  Google Scholar 

  3. Chen, Q., Chen, C., Shi, Y.: Multiple solutions for fractional p-Laplace equation with concave-convex nonlinearities. Bound. Value Probl. 2020, 63 (2020)

    Article  MathSciNet  Google Scholar 

  4. Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. 49, 795–826 (2014)

    Article  MathSciNet  Google Scholar 

  5. Castro, A., Kuusi, T., Palatucci, G.: Local behavior of fractional p-minimizers. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 33(5), 1279–1299 (2016)

    Article  MathSciNet  Google Scholar 

  6. Iannizzotto, A., Liu, S., Perera, K., Squassina, M.: Existence results for fractional p-Laplacian problems via Morse theory. Adv. Calc. Var. 9(2), 101–125 (2016)

    Article  MathSciNet  Google Scholar 

  7. Lehrer, R., Maia, L., Squassina, M.: On fractional p-Laplacian problems with weight. Differ. Integral Equ. 28, 15–28 (2015)

    MathSciNet  MATH  Google Scholar 

  8. Ledesma, C.: Existence and symmetry result for fractional p-Laplacian in \(\mathbb{R}^{N}\). Commun. Pure Appl. Anal. 16, 99–113 (2017)

    Article  MathSciNet  Google Scholar 

  9. Ambrosio, V.: Multiple solutions for a fractional p-Laplacian equation with sign-changing potential. Electron. J. Differ. Equ. 2016, 151 (2016)

    Article  MathSciNet  Google Scholar 

  10. Perera, K., Squassina, M., Yang, Y.: Bifurcation and multiplicity results for critical fractional p-Laplacian problems. Math. Nachr. 289, 332–342 (2015)

    Article  MathSciNet  Google Scholar 

  11. Mosconi, S., Perera, K., Squassina, M., Yang, Y.: The Brezis–Nirenberg problem for the fractional p-Laplacian. Calc. Var. Partial Differ. Equ. 55, 55–105 (2016)

    Article  MathSciNet  Google Scholar 

  12. Mawhin, J., Bisci, G.: A Brezis–Nireberg type result for a nonlocal fractional operator. J. Lond. Math. Soc. 95(2), 73–93 (2017)

    Article  MathSciNet  Google Scholar 

  13. Pucci, P., Xiang, M., Zhang, B.: Multiple solutions for nonhomogeneous Schrödinger–Kirchhoff type equations involving the fractional p-Laplacian in \(\mathbb{R}^{N}\). Calc. Var. 54, 2785–2806 (2015)

    Article  MathSciNet  Google Scholar 

  14. Caponi, M., Pucci, P.: Existence theorems for entire solutions of stationary Kirchhoff fractional p-Laplacian equations. Ann. Math. 195, 2099–2199 (2016)

    MathSciNet  MATH  Google Scholar 

  15. Liang, S., Pu, H., Rǎdulescu, V.: High perturbations of critical fractional Kirchhoff equations with logarithmic nonlinearity. Appl. Math. Lett. 116, 107027 (2021)

    Article  MathSciNet  Google Scholar 

  16. Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence (1986)

    Book  Google Scholar 

  17. Bonanno, G.: Some remarks on a three critical points theorem. Nonlinear Anal. 54, 651–665 (2003)

    Article  MathSciNet  Google Scholar 

  18. Kajikiya, R.: A critical-point theorem related to the symmetric mountain-pass lemma and its applications to elliptic equations. J. Funct. Anal. 225, 352–370 (2005)

    Article  MathSciNet  Google Scholar 

Download references


Project Supported by the National Natural Science Foundation of China (Grant No. 11571093); the Natural Science Foundation of Jiangsu Education Commission China (Grant No. 19KJB110016); the Fundamental Research Funds for the Central Universities of China (Grant No. 3142020023); and the Science and Technology Support Project of Langfang (No. 2020011016).

Author information

Authors and Affiliations



Each of the authors contributed to each part of the work equally, all authors read and approved the final manuscript.

Corresponding author

Correspondence to Zuodong Yang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhi, Z., Yan, L. & Yang, Z. Existence and multiplicity of solutions for a fractional p-Laplacian equation with perturbation. J Inequal Appl 2021, 97 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: