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.
Similar content being viewed by others
1 Introduction
In this paper, we are interested in the existence of nontrivial solutions for the following fractional quasi-linear problem:
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
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
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
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:
equipped with the norm
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
and satisfies \(\langle I'(u),\varphi \rangle =0\), i.e.,
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:
-
(i)
there exist \(\alpha,\rho >0\) such that \(I(u)\geq \alpha \) with \(\|u\|=\rho \),
-
(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
Taking into (2.1),
Consider
It is easy to see \(\lim_{t\rightarrow 0}\zeta (t)=\lim_{t\rightarrow + \infty }\zeta (t)=+\infty \). Let \(\zeta '(t)=0\), we have
Note that \(\zeta '(t)=t^{-p}\eta (t)\), where
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
Thus there exists \(\lambda ^{*}>0\) such that, for \(\lambda \in (0,\lambda ^{*})\), \(\zeta (t_{0})<\frac{1}{4p}\). Moreover, let
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
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
Thus, for any \(u_{0}>0\) fixed, we have
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
then we have
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
From \((f_{1}),(f_{2}),(g_{1})\),we have by the Lebesgue convergence theorem
Note that
and
thus we have
Combined with weak convergence of \(u_{n}\rightharpoonup u_{0}\) in \(W^{s,p}(\Omega )\), we have
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\),
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
Finally, assume that there exists \(k>0\) such that
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
admits at least three solutions in X whose norms are less than σ.
Consider the functional
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
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
Since \(p>r\), taking ϵ sufficiently small, we have
Following a similar argument in Lemma 2.2, I satisfies the Palais–Smale condition.
By \((f_{1})\), we have
Thus
Hence there exists \(k>0\) such that
Due to \((f_{3})\), for any \(u\in W^{s,p}(\Omega )\), let \(t\rightarrow \infty \), there holds
Then we have
Thus completes the proof. □
4 Existence of infinitely many solutions
In this section, we consider the critical case for problem (3.1), i.e.,
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
By \((f_{2})\) we have
and
Then, by (4.2), we have
Taking ϵ sufficiently small, we obtain
On the other hand,
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
Applying \((f_{2})\), we have
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
From (4.7)–(4.9) we derive \(I'(u)=0\), i.e., u is a weak solution of (4.1), and
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
and
Since \(I'(u)=0\), we have
Without loss of generality, we assume that \(\|v_{n}\|^{p}=a+o(1)\). By the fractional Sobolev inequality, we have
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
provided ϵ is sufficiently small. Then, given any \(M>0\), there exists \(\lambda _{*}\) such that
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)
If there exists an odd continuous map from A to B, then \(\gamma (A)\leq \gamma (B)\).
-
(2)
If there is an odd homeomorphism from A to B, then \(\gamma (A)=\gamma (B)\).
-
(3)
If \(\gamma (B)<\infty \), then \(\gamma (\overline{A\backslash B})\geq \gamma (A)-\gamma (B)\).
-
(4)
The n-dimensional sphere \(\mathbb{S}^{n}\) has a genus of n+1 by the Borsuk–Ulam theorem.
-
(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.
-
(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.
-
(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
where \(A=\frac{1}{p},B=\frac{2\lambda }{p^{*}}S^{-p^{*/p}},C=c( \frac{\lambda }{p*})|\Omega |\).
Consider
it is easy to see that g attains its maximum at \(t_{1}=(\frac{S^{p^{*}/p}}{2\lambda })^{1/(p^{*}-p)}\), and
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
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
Hence we have
where \(\overline{g}(t)=At^{p}-B\chi (t)t^{p^{*}}-C\) and
By the above arguments, we have the following result.
Lemma 4.4
Let \(J(u)\) be defined as in (4.17), then
-
(i)
\(J\in C^{1}(X,\mathbb{R})\), J is even and bounded from below.
-
(ii)
If \(J(u)< M_{0}\), then \(\overline{g}(\|u\|)< M_{0}\), and consequently \(\|u\|< t_{0}\) with \(I(u)=J(u)\).
-
(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
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
then for any \(u\in E_{k}\) and \(\varepsilon \in (0,t_{0})\),
provided ε is sufficiently small, since \(G(\varepsilon )\rightarrow \infty (\varepsilon \rightarrow 0)\). Thus
This completes the proof. □
Proof of Theorem 1.3
Consider
and define
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
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Franzina, G., Palatucci, G.: Fractional p-eigenvalues. Riv. Mat. Univ. Parma 5(1), 373–386 (2014)
Chen, Q., Chen, C., Shi, Y.: Multiple solutions for fractional p-Laplace equation with concave-convex nonlinearities. Bound. Value Probl. 2020, 63 (2020)
Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. 49, 795–826 (2014)
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)
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)
Lehrer, R., Maia, L., Squassina, M.: On fractional p-Laplacian problems with weight. Differ. Integral Equ. 28, 15–28 (2015)
Ledesma, C.: Existence and symmetry result for fractional p-Laplacian in \(\mathbb{R}^{N}\). Commun. Pure Appl. Anal. 16, 99–113 (2017)
Ambrosio, V.: Multiple solutions for a fractional p-Laplacian equation with sign-changing potential. Electron. J. Differ. Equ. 2016, 151 (2016)
Perera, K., Squassina, M., Yang, Y.: Bifurcation and multiplicity results for critical fractional p-Laplacian problems. Math. Nachr. 289, 332–342 (2015)
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)
Mawhin, J., Bisci, G.: A Brezis–Nireberg type result for a nonlocal fractional operator. J. Lond. Math. Soc. 95(2), 73–93 (2017)
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)
Caponi, M., Pucci, P.: Existence theorems for entire solutions of stationary Kirchhoff fractional p-Laplacian equations. Ann. Math. 195, 2099–2199 (2016)
Liang, S., Pu, H., Rǎdulescu, V.: High perturbations of critical fractional Kirchhoff equations with logarithmic nonlinearity. Appl. Math. Lett. 116, 107027 (2021)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence (1986)
Bonanno, G.: Some remarks on a three critical points theorem. Nonlinear Anal. 54, 651–665 (2003)
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 and Affiliations
Contributions
Each of the authors contributed to each part of the work equally, all authors read and approved the final manuscript.
Corresponding author
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 http://creativecommons.org/licenses/by/4.0/.
About this article
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). https://doi.org/10.1186/s13660-021-02635-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02635-6