- Research
- Open access
- Published:
Existence of positive solutions to elliptic problems involving the fractional Laplacian
Boundary Value Problems volume 2015, Article number: 235 (2015)
Abstract
This paper focuses on the following elliptic problem involving a fractional Laplacian:
where \(N\geq2\), \(\alpha\in(0,1)\), \((-\Delta)^{\alpha}\) stands for the fractional Laplacian. Using some variational methods, we obtain the existence of positive solutions without compactness conditions.
1 Introduction
In this paper, we consider the existence of positive solutions to the following fractional Schrödinger equation:
where \(N\geq2\), \(\alpha\in(0,1)\), \((-\Delta)^{\alpha}\) stands for the fractional Laplacian, \(f\in C(\mathbb{R}_{+},\mathbb{R}_{+})\). The fractional Laplacian \((-\Delta)^{\alpha}\) with \(\alpha\in(0,1)\) of a function \(\phi\in \mathcal{S}\) is defined by
where \(\mathcal{S}\) denotes the Schwartz space of rapidly decreasing \(C^{\infty}\) functions in \(\mathbb{R}^{N}\), \(\mathcal{F}\) is the Fourier transform, i.e.,
In the past few years, there have been research activities (see [1–6], etc.) on the study of existence and multiplicity of solutions for such kind of problems (P). Here we just mention some results related to our problems.
-
For the case \(V\equiv1\), the authors in [5] studied the existence of positive solutions of (P) when f has subcritical growth and satisfies the Ambrosetti-Rabinowitz condition.
-
For the case \(V\equiv0\), Chang and Wang in [3] obtained the existence of a positive ground state under the general Berestycki-Lions type assumptions.
-
Moreover, for the general potential V, which is allowed to vary, ground states were found by imposing a coercivity assumption on V, i.e.,
$$\lim_{|x|\rightarrow+\infty}V(x)=+\infty. $$
We refer the readers to [4, 6] for details. Recently, when the potential V satisfies the conditions \(H(V)\)(1) and \(H(V)\)(3), Chang in [2] proved the existence of ground state solutions under the assumption that \(f(u)\) is asymptotically linear with respect to u.
Inspired by the above-mentioned papers, we are concerned with the existence of positive solutions of (P). The novelties in this paper are mainly two parts. First, we just assume that the nonlinear term \(f(u)\) is superlinear with respect to u at infinity instead of the asymptotically linear condition or Ambrosetti-Rabinowitz condition, which is completely different from those appearing in the literature. To compensate the lack of compactness, we employ the Pohozaev identity to obtain the boundedness of Palais-Smale sequence. Second, it is worth mentioning that in the present paper we consider the existence of non-radial positive solutions of (P). We have to prove a new compact embedding theorem by virtue of some assumptions imposed on the potential V.
Throughout this paper, we assume:
- \(H(V)\)::
-
-
(1)
\(V\in C^{1}(\mathbb{R}^{N},\mathbb{R}^{N})\), \(V_{0}:=\inf_{x\in\mathbb{R}^{N}}V(x)>0\).
-
(2)
\(\langle\nabla V(x),x\rangle\in L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})\) and
$$\bigl\vert \bigl\langle \nabla V(x),x\bigr\rangle \bigr\vert _{L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})}< 2 \alpha S_{\alpha}, $$where \(S_{\alpha}\) is the best Sobolev constant of the embedding \(\dot{H}^{\alpha}(\mathbb{R}^{N})\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})\), i.e., \(S_{\alpha}=\inf_{u\in \dot{H}^{\alpha}(\mathbb{R}^{N})} \frac{\int_{\mathbb{R}^{N}}|(-\Delta)^{\frac{\alpha }{2}}u|^{2}\, dx}{|u|^{2}_{2_{\alpha}^{*}}} \) (see [7]).
-
(3)
There exists \(r>0\) such that, for any \(b>0\),
$$\lim_{|y|\rightarrow\infty}\mu\bigl(\bigl\{ x\in\mathbb{R}^{N}:V(x) \leq b\bigr\} \cap B_{r}(y)\bigr)=0, $$where μ is the Lebesgue measure on \(\mathbb{R}^{N}\).
-
(1)
- \(H(f)\)::
-
-
(1)
\(f:\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\) is of class \(C^{1,\gamma}\) for some \(\gamma>\max\{0,1-2\alpha\}\).
-
(2)
\(|f(u)|\leq C(|u|+|u|^{p-1})\) for all \(u\in \mathbb{R}_{+}=[0,+\infty)\) and \(p\in(2,2_{\alpha}^{*})\), where \(2_{\alpha}^{*}=\frac{2N}{N-2\alpha}\) for \(N\geq2\).
-
(3)
\(\lim_{u\rightarrow0}\frac{f(u)}{u}=0\).
-
(4)
\(\lim_{u\rightarrow \infty}\frac{f(u)}{u}=\infty\).
-
(1)
Next, we state our main result.
Theorem 1
Assume that \(H(V)\) and \(H(f)\) hold. Then problem (P) has at least one positive solution.
The rest of this paper is organized as follows. In Section 2, we state and prove some preliminary results which will be used later. We will finish the proof of our main result (Theorem 1) in Section 3.
2 Preliminary
In this section we recall some results on Sobolev spaces of fractional order. A very complete introduction to fractional Sobolev spaces can be found in [8].
Consider the fractional order Sobolev space
where \(\hat{u}\doteq\mathcal{F}(u)\). The norm is defined by
The homogeneous fractional Sobolev space \(D^{\alpha,2}(\mathbb{R}^{N})\), also denoted by \(\dot{H}^{\alpha}(\mathbb{R}^{N})\), is defined as the completion of \(C_{0}^{\infty}(\mathbb{R}^{N})\) with respect to the norm
In this paper we consider its subspace:
with the norm
Lemma 1
([5])
\(H^{\alpha}(\mathbb{R}^{N})\) continuously embedded into \(L^{p}(\mathbb{R}^{N})\) for \(p\in[2,2_{\alpha}^{*}]\), and compactly embedded into \(L_{\mathrm{loc}}^{p}(\mathbb{R}^{N})\) for \(p\in[2,2_{\alpha}^{*})\).
Using the above lemma, we can obtain the following result.
Theorem 2
Assume that \(H(V)\)(1) and \(H(V)\)(3) hold. Then:
-
(i)
we have a compact embedding \(E\hookrightarrow L^{2}(\mathbb{R}^{N})\);
-
(ii)
for any \(p\in(2,2_{\alpha}^{*})\), we have a compact embedding \(E\hookrightarrow L^{p}(\mathbb{R}^{N})\).
Proof
(i) Assume \(u_{n}\rightharpoonup0\) in E, and \(\|u_{n}\|_{E}\leq c_{1}\). We need to show \(u_{n}\rightarrow0\) in \(L^{2}(\mathbb{R}^{N})\). By Lemma 1, we have \(u_{n}\rightarrow0\) in \(L_{\mathrm{loc}}^{2}(\mathbb{R}^{N})\). It suffices to show that for every \(\varepsilon>0\), there exists \(R>0\) such that
where \(B_{R}=\{x\in\mathbb{R}^{N}: |x|< R\}\), \(B_{R}^{c}=\{x\in \mathbb{R}^{N}: |x|\geq R\}\).
First of all, choose \(\{y_{i}\}\subset\mathbb{R}^{N}\) such that \(\mathbb{R}^{N}\subset\bigcup_{i=1}^{\infty}B_{r}(y_{i})\) and each \(x\in\mathbb{R}^{N}\) is covered by at most \(2^{N}\) such balls. So
where \(A_{b}(y_{i})=B_{r}(y_{i})\cap\{x\in\mathbb{R}^{N}:V(x)\leq b\}\).
On the one hand,
where \(B_{r}(y)=\{x\in\mathbb{R}^{N}:|x-y|< r\}\).
On the other hand, since Sobolev embedding \(E\hookrightarrow H^{\alpha}(\mathbb{R}^{N})\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})\) is continuous, there is a constant \(c_{2}>0\) such that
Applying the Hölder inequality, we get
Hence,
Now, choose \(b>0\) such that
For such a fixed \(b>0\), since
there exists \(R>0\) large enough such that
It follows from (1) and (2) that
from which conclusion (i) of the lemma follows.
(ii) To prove the lemma for general exponent \(p\in(2,2_{\alpha}^{*})\), we use an interpolation argument. Let \(u_{n}\rightharpoonup0\) in E, we have just proved that \(u_{n}\rightarrow0\) in \(L^{2}(\mathbb{R}^{N})\).
Moreover, since the embedding \(E\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})\) is continuous and \(\{u_{n}\}\) is bounded in E, we also have \(\sup_{n}\int_{\mathbb{R}^{N}}|u_{n}|^{2_{\alpha}^{*}}\,dx<+\infty\).
Since \(2< p< 2_{\alpha}^{*}\), there exists \(\lambda\in(0,1)\) such that
Then we have
Using Hölder’s inequality, we deduce that
This implies \(u_{n}\rightarrow0\) in \(L^{p}(\mathbb{R}^{N})\), and the proof of conclusion (ii) is completed. □
Next, we state the following version of the Pohozaev identity, which will be used to obtain the boundedness of \(\|u_{n}\|_{E}\). Similar results can be found in [3, 8–10]. Its proof is a mixture of many ingredients that are scattered through the literature. We refer the readers to Proposition 4.1 in [10] (see also Proposition 4.1 in [3] for the case that \(V(x)\equiv0\)) for the details.
Lemma 2
Let \(N\geq2\). Assume that \(H(f)\)(1) and \(H(f)\)(2) hold. If \(u\in E\) is a weak solution of (P), then the following Pohozaev type identity holds:
Remark 1
We would like to mention that the regularity condition \(H(f)\)(1) is necessary to prove the Pohozaev identity. The smoothness of f will only be used here.
In order to discuss the problem (P), we need to define a functional in E:
Then we see from \(H(f)\)(1) and \(H(f)\)(2) that φ is well defined on E and is of \(C^{1}\), and
It is standard to verify that the weak solutions of (P) correspond to the critical points of the functional φ.
Next we recall a monotonicity method due to Struwe [11] and Jeanjean [12], which will be used in our proof. The version here is from [12].
Theorem 3
Let \((X,\|\cdot\|)\) be a Banach space and \(I\subset\mathbb{R}_{+}\) an interval. Consider the family of \(C^{1}\) functionals on X,
with B nonnegative and either \(A(u)\rightarrow\infty\) or \(B(u)\rightarrow\infty\) as \(\|u\|\rightarrow\infty\) and such that \(\varphi_{\lambda}(0)=0\).
For any \(\lambda\in I\) we set \(\mathcal{T}_{\lambda}=\{\gamma\in C([0,1],X):\gamma(0)=0, \varphi_{\lambda}(\gamma(1))<0\}\).
If for every \(\lambda\in I\) the set \(\mathcal{T}_{\lambda}\) is nonempty and
then for almost every \(\lambda\in I\) there is a sequence \(\{u_{n}\}\subset X\) such that:
-
(1)
\(\{u_{n}\}\) is bounded;
-
(2)
\(\varphi_{\lambda}(u_{n})\rightarrow c_{\lambda}\) as \(n\rightarrow\infty\);
-
(3)
\(\varphi'_{\lambda}(u_{n})\rightarrow0\) as \(n\rightarrow\infty\), in the dual space \(X^{-1}\) of X.
In our case, \(X=E\),
3 Some lemmas and proof of main result
In this section, to overcome the lack of compactness, we need to consider the functional \(\varphi_{\lambda}\) in the functions space E. We shall prove that \(\varphi_{\lambda}\) satisfies the conditions of Theorem 3 in the next several lemmas.
Lemma 3
Let \(\mathcal{T}_{\lambda}\) be the set of paths defined in Theorem 3. Then \(\mathcal{T}_{\lambda}\neq\emptyset\) for \(\lambda\in I=[\delta,1]\), where \(\delta\in(0,1)\) is a positive constant.
Proof
We choose \(\eta\in C_{0}^{\infty}(\mathbb{R}^{N})\) with \(\|\eta\|_{E}=1\) and \(\sup\eta\subset B_{r}(0)\) for some \(r>0\). From \(H(f)\)(4), we know that for any \(c_{3}>0\) with \(c_{3}\delta\int_{B_{r}(0)}\eta^{2}\,dx> 1/2\), there exists \(c_{4}>0\) such that
Then we have
Therefore, we can choose \(t>0\) large such that \(\varphi_{\lambda}(t\eta)<0\). The proof is completed. □
Lemma 4
Let \(c_{\lambda}\) be the set of paths defined in Theorem 3. Then there exists a constant \(\overline{c}>0\) such that \(c_{\lambda}\geq\overline{c}\) for \(\lambda\in[\delta,1]\).
Proof
By \(H(f)\)(2) and \(H(f)\)(3), for any \(\varepsilon\in(0, 1/2)\), there exists \(c_{\varepsilon}>0\) such that
Furthermore, by Theorem 2, we have \(E\hookrightarrow L^{p}(\mathbb{R}^{N})\) compactly. Then there exists \(c_{5}>0\) such that \(|u|_{p}\leq c_{5}\|u\|_{E}\). Hence, for any \(u\in E\) and \(\lambda\in [\delta,1]\), using (4) it follows that
which implies that there exists \(\rho>0\) such that \(\varphi_{\lambda}(u)>0\) for every \(u\in E\) and \(\|u\|_{E}\in(0,\rho]\). In particular, for \(\|u\|_{E}=\rho\), we have \(\varphi_{\lambda}(u)\geq \overline{c}>0\). Fix \(\lambda\in[\delta,1]\) and \(\gamma\in\mathcal {T}_{\lambda}\). By the definition of \(\mathcal{T}_{\lambda}\) we can see that \(\|\gamma(1)\|_{E}>\rho\). By continuity, we deduce that there exists \(t_{\gamma}\in(0,1)\) such that \(\|\gamma(t_{\gamma})\|_{E}=\rho\). Thus, for any \(\lambda\in[\delta,1]\),
Therefore, we complete the proof. □
Next we prove that the functional \(\varphi_{\lambda}\) can achieve the critical value at \(c_{\lambda}\) for any \(\lambda\in[\delta,1]\).
Lemma 5
For any \(\lambda\in[\delta,1]\), each bounded \((PS)\) sequence of the functional \(\varphi_{\lambda}\) admits a convergent subsequence.
Proof
Let \(\lambda\in[\delta,1]\). Suppose that \(\{u_{n}\}\subset E\) is a \((PS)\) sequence for \(\varphi_{\lambda}\), that is, \(\{u_{n}\}\) and \(\varphi_{\lambda}(u_{n})\) are bounded, \(\varphi'_{\lambda}(u_{n})\rightarrow0\) in \(E'\), where \(E'\) is the dual space of E. Then there exists \(u\in E\) such that \(u_{n} \rightharpoonup u\) in E. Thus, Theorem 2 implies that
By virtue of hypothesis \(H(f)\)(2) and \(H(f)\)(3), for any \(\varepsilon\in(0, 1/2)\), there exists \(c_{\varepsilon}>0\) such that
So it follows from (5) that
which implies that
Thus
and
Therefore we conclude that \(\|u_{n}\|_{E}^{2}\rightarrow\|u\|_{E}^{2}\). This together with \(u_{n}\rightharpoonup u\) in E shows that \(u_{n}\rightarrow u\) in E. The proof is completed. □
Now we are in the position to show that the modified functional \(\varphi_{\lambda}\) has a nontrivial critical point.
Lemma 6
For almost every \(\lambda\in[\delta,1]\), there exists \(u_{\lambda}\in E\backslash\{0\}\) such that \(\varphi'_{\lambda}(u_{\lambda})=0\) and \(\varphi_{\lambda}(u_{\lambda})=c_{\lambda}\).
Proof
By virtue of Theorem 3, for almost every \(\lambda\in[\delta,1]\), there exists a bounded sequence \(\{u_{\lambda}^{n}\}\subset E\) such that
According to Lemma 5, we may assume that there exists \(u_{\lambda}\in E\) such that \(u_{\lambda}^{n}\rightarrow u_{\lambda}\) in E. Then it follows that \(\varphi_{\lambda}(u_{\lambda})= c_{\lambda}\) and \(\varphi'_{\lambda}(u_{\lambda})=0\) and \(u_{\lambda}\neq0\) from Lemma 4. □
From Lemma 6 we know that there exist a sequence \(\lambda_{n}\in[\delta,1]\) with \(\lambda_{n}\rightarrow1^{-}\) and an associated sequence \(\{u_{n}\}\subset E\) such that
Next, we will show that the sequence \(\{u_{n}\}\) is bounded, which is a key ingredient in this paper.
Lemma 7
Let \(u_{n}\) be a critical point of \(\varphi_{\lambda_{n}}\) at the level \(c_{\lambda_{n}}\) as defined in (6). Then there exists a constant \(c_{6}>0\) such that \(\|u_{n}\|_{E}\leq c_{6}\) for all n.
Proof
In view of Lemma 2 and (6), we see that \(u_{n}\) satisfies the following Pohozaev identity:
Recall that \(\varphi_{\lambda_{n}}(u_{n})=c_{\lambda_{n}}\). So we have
Then from (7), (8), and hypothesis \(H(f)\)(2), it follows that
Set \(M_{0}=\alpha- \frac{1}{2S_{\alpha}}|\langle\nabla V(x),x\rangle|_{L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})}\). Then
We estimate the right-hand side of (9). By the min-max definition of the mountain pass level \(c_{\lambda_{n}}\), Lemma 3 and (3), we have
From (10) and (11), we conclude that
Note that \(E\subset\dot{H}^{\alpha}(\mathbb{R}^{N})\) and the embedding \(\dot{H}^{\alpha}(\mathbb{R}^{N})\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})\) is continuous. Then we have
Recall from (6)
which implies that
It follows that
Then the conclusion holds. □
Finally, we are ready to prove our main theorem.
Proof of Theorem 1
Let \(u_{n}\) be a critical point for \(\varphi_{\lambda_{n}}\) at the level \(c_{\lambda_{n}}\). Then from Lemma 7 we may assume that \(\|u_{n}\|_{E}\leq c_{6}\).
Note that \(\lambda_{n}\rightarrow1\), we can show that \(\{u_{n}\}\) is a \((PS)\) sequence of φ. Indeed, the boundedness of \(\{u_{n}\}\) implies that \(\{\varphi(u_{n})\}\) is bounded. Also
Hence, \(\varphi'(u_{n})\rightarrow0\), and consequently \(\{u_{n}\}\) is a bounded \((PS)\) sequence of φ. By Lemma 5, \(\{u_{n}\}\) has a convergent subsequence, hence without loss of generality we may assume that \(u_{n}\rightarrow u\). Therefore, \(\varphi'(u)= 0\). By virtue of Lemma 4, we have
and u is a positive solution by the condition \(H(f)\)(1). The proof is completed. □
References
Autuori, G, Pucci, P: Elliptic problems involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 255, 2340-2362 (2013)
Chang, XJ: Ground state solutions of asymptotically linear fractional Schrödinger equations. J. Math. Phys. 54, 061504 (2013)
Chang, XJ, Wang, ZQ: Ground state of scalar field equations involving a fractional Laplacian with general nonlinearity. Nonlinearity 26, 479-494 (2013)
Cheng, M: Bound state for the fractional Schrödinger equation with unbounded potential. J. Math. Phys. 53, 043507 (2012)
Felmer, P, Quaas, A, Tan, JG: Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A, Math. 142, 1237-1262 (2012)
Secchi, S: Ground state solutions for nonlinear fractional Schrödinger equations in \(\mathbb{R}^{N}\). J. Math. Phys. 54, 031501 (2013)
Chen, WX, Li, CM, Ou, B: Classification of solutions for an integral equation. Commun. Pure Appl. Math. 59, 330-343 (2006)
Nezza, ED, Palatucci, G, Valdinoci, E: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521-573 (2012)
Ros-Oton, X, Serra, J: The Pohozaev identity for the fractional Laplacian. Arch. Ration. Mech. Anal. 213, 587-628 (2014)
Secchi, S: On fractional Schrödinger equations in \(\mathbb{R}^{N}\) without the Ambrosetti-Rabinowitz condition (2012). arXiv:1210.0755
Struwe, M: Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems, 4th edn. Ergeb. Math. Grenzgeb. (3), vol. 34. Springer, Berlin (2008)
Jeanjean, L: On the existence of bounded Palais-Smale sequences and application to a Landesman-Lazer-type problem set on \(\mathbb{R}^{N}\). Proc. R. Soc. Edinb., Sect. A, Math. 129, 787-809 (1999)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Nos. 11201095, 11201098), the Youth Scholar Backbone Supporting Plan Project of Harbin Engineering University, the Fundamental Research Funds for the Central Universities, Postdoctoral research startup foundation of Heilongjiang (No. LBH-Q14044) and the Science Research Funds for Overseas Returned Chinese Scholars of Heilongjiang Province (No. LC201502).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ge, B., Zhang, C. Existence of positive solutions to elliptic problems involving the fractional Laplacian. Bound Value Probl 2015, 235 (2015). https://doi.org/10.1186/s13661-015-0501-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0501-7