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

## Abstract

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}
(1.1)

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}
(1.2)

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}
(1.3)

where the nonlinearity f satisfies some general growth conditions, see [2â€“12]. 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}
(1.4)

which has been studied by the authors in [10â€“12]. 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 [13â€“15] 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}
(1.5)

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}
(1.6)

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:

$$(f_{1})$$:

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

$$(\widetilde{f}_{1})$$:

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

$$(f_{2})$$:

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

$$(\widetilde{f}_{2})$$:

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

$$(f_{3})$$:

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}}$$.

$$(f_{4})$$:

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_{1})$$:

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

$$(g_{2})$$:

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

$$(g_{3})$$:

$$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}
(2.1)

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$$.

### Proof

(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}
(2.2)

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}

Consider

\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}
(2.3)

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}
(2.4)

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}
(2.5)

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.

### Proof

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}
(2.6)

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}
(2.7)

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}

and

\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}
(2.8)

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}
(3.1)

We first recall the following theorem by G. Bonnano.

### Lemma 3.1

([17])

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}
(3.2)

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}
(3.3)

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}
(3.4)
\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}
(3.5)

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}
(3.6)

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}
(3.7)

Thus

\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}
(3.8)

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}
(3.9)

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}
(4.1)

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 _{*})$$.

### Proof

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}
(4.2)

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}
(4.3)

and

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

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}
(4.5)

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}
(4.6)

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}
(4.7)
\begin{aligned} &\int _{\Omega }F(x,u_{n})u_{n}\,dx= \int _{\Omega }F(x,u)u\,dx+o(1). \end{aligned}
(4.8)

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}
(4.9)

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}
(4.10)

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}
(4.11)

and

\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}
(4.12)

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}
(4.13)

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}
(4.14)

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}
(4.15)

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:

$$(C_{1})$$:

$$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;

$$(C_{2})$$:

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 |$$.

Consider

\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}
(4.16)

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}
(4.17)

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}
(4.18)

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}
(4.19)

### Proof

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$$.

### Proof

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}
(4.20)

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}
(4.21)

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}
(4.22)

This completes the proof.â€ƒâ–¡

### Proof of TheoremÂ 1.3

Consider

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

and define

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

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.

## References

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

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

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

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

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)

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)

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

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

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

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

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)

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

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)

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

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

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

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

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)

## Funding

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

### Contributions

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

Reprints and permissions

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). https://doi.org/10.1186/s13660-021-02635-6