Abstract
In this paper we consider the existence and regularity of solutions to the following nonlocal Dirichlet problems:
where \((-\Delta)^{s}\) is the fractional Laplacian operator, \(s\in(0,1)\), \(\Omega\subset\mathbb{R}^{N}\) is a bounded domain with Lipschitz boundary such that \(0\in\Omega\), f is a nonnegative function that belongs to a suitable Lebesgue space.
Similar content being viewed by others
1 Introduction
Recently, the fractional Laplacian has more and more applications in physics, chemistry, biology, probability and finance. The fractional Laplacian \((-\Delta)^{s} \) is a pseudo-differential operator defined by
where \(\mathit{P.V.}\) stands for the Cauchy principal value and \(a_{N,s}\) is a constant given by
For some equivalent definitions of \((-\Delta)^{s}\), see [1–5].
The operator \((-\Delta)^{s} \) is well defined as long as u belongs to the space \(C^{1,1}_{\mathrm{loc}}\cap L_{s}\), where
In this paper, we establish existence and regularity of solutions to the following nonlocal problem:
where \(s\in(0,1)\), \(p>0\), \(\Omega\subset\mathbb{R}^{N}\) is a bounded domain with Lipschitz boundary such that \(0\in\Omega\), f is a positive measurable function in Ω.
Before stating our main theorem and related results, we give some notions used in this paper.
Definition 1.1
Let \(s\in(0,1)\), \(\Omega\subset\mathbb{R}^{N}\), define the fractional Sobolev space
and the space \(H_{0}^{s}(\mathbb{R}^{N})\), defined as
endowed with the norm
where \(\mathcal{Q}=\mathbb{R}^{N}\times\mathbb{R}^{N}\setminus(\mathcal {C}\Omega\times\mathcal{C}\Omega)\).
The Hardy inequality plays an important role in this paper [6–8],
where
is optimal and not attained.
We need to make precise the sense of solutions that we will handle here and distinguish two types of solutions, according to the regularity of f.
Definition 1.2
Assume \(0<\lambda<\Lambda_{N,s}\). For \(f \in H^{-s}(\Omega)\) we say that \(u \in H^{s}_{0}(\Omega)\) is a finite energy solution to problem (1.1) if, for any \(w\in H^{s}_{0}(\Omega)\),
where \(\langle\cdot,\cdot\rangle\) is the natural duality product between \(H^{s}_{0}\) and \(H^{-s}\), be defined as
Definition 1.3
For \(f\in L^{m}(\Omega)\), \(m\geq1\), we say that \(u\in L^{1}(\Omega)\) is a weak solution to problem (1.1) if \(u^{p}\in L^{1}(\Omega)\), \(u=0 \) in \(\mathbb{R}^{N}\setminus\Omega\) and the following equality holds:
Recently a great attention has been devoted to understanding the role of the Hardy potential in the solvability of fractional elliptic problem; see for instance [9–13] and the references therein. In particular, Abdellaoui et al. [12] obtained regularity of solutions to the following nonlocal nonlinear problem:
with \(f\in L^{m}(\Omega)\) and \(0<\lambda<\Lambda_{N,s}\), where \(\Lambda _{N,s}\) appears in the Hardy inequality (1.2). The main results of [12] can be summarized as follows:
-
If \(f\in L^{m}(\Omega)\), \(m>\frac{N}{2s}\), the unique energy solution \(u\in H_{0}^{s}(\Omega)\) to problem (1.3) with \(\lambda\leq \Lambda_{N,s}\) satisfies \(u\leq C|x|^{-\gamma}\) for some constants C and γ.
-
If \(\frac{2N}{N+2s} \leq m <\frac{N}{2s}\), the unique energy solution u to problem (1.3) verifies \(u\in L^{m_{s}^{**}}(\Omega )\), \(m_{s}^{**}=\frac{mN}{N-2ms}\), provided \(\lambda<\Lambda_{N,s}\frac{4N(m-1)(N-2ms)}{m^{2}(N-2ms)^{2}}\).
-
If \(1< m<\frac{2N}{N+2s}\), the unique weak solution u to problem (1.3) verifies \(u\in L^{m_{s}^{**}}(\Omega)\cap W_{0}^{s_{1},m_{s}^{*}}(\Omega)\) for all \(s_{1}< s\) and \(m_{s}^{*}=\frac{mN}{N-ms}\), provided \(\lambda<\Lambda_{N,s}\frac{4N(m-1)(N-2ms)}{m^{2}(N-2ms)^{2}}\).
The main objective of this work is to explain the combined influence of the Hardy potential and lower order terms on the existence and regularity of solutions to problem (1.1). The influence of the Hardy potential for fractional Laplacian was studied in [12], the main effect of the Hardy potential in (1.3) is that the weak solutions to problem (1.3) satisfy \(u(x)\geq C |x|^{-\gamma}\) for some constants C and γ, this fact shows that \(u(x)\) is unbounded in a neighborhood of the origin, instead of \(u(x)\in L^{\infty}(\Omega)\). On the other hand, it is well known that the lower order term \(u^{p}\) produces a regularizing effect; see [14–17] and the references therein. Therefore, thanks to the regularizing properties of the lower order term, we will prove that summability of finite energy the solution to problem (1.1) increases as the power of the lower order term increases; see (1.4) below.
According to such a definition, we can now state our existence results for problem (1.1).
Theorem 1.4
Assume \(\lambda\leq\Lambda_{N,s}\). Then, for any \(f\in L^{m}(\Omega)\) with \(1\leq m\leq1+ \frac{1}{p}\), problem (1.1) has a weak solution. More precisely, \(u\in H^{s}_{0}(\Omega)\cap L^{p+1}(\Omega)\).
In the case where \(f\in L^{m}(\Omega)\) with \(m>1+ \frac{1}{p}\), we will prove the following existence result.
Theorem 1.5
Let \(f\in L^{m}(\Omega)\) with \(m>1+ \frac{1}{p}\), and
Then there exists a finite energy solution u to problem (1.1) that verifies
where
Remark 1.6
Obviously,
Thus the summability of the solution to problem (1.1) increases as p increases.
Remark 1.7
When \(s=1\), the above theorem was proved by Adimurthi et al. [18].
The paper is organized as follows. In Sect. 2 we collect some useful tools, such as Sobolev’s imbedding theorem and a certain algebraic inequality. Furthermore, we also obtain a prior estimate of the absorption term \(u^{p}\) by analyzing the associated approximating problems. The proofs of Theorem 1.4 and 1.5 will be given in Sect. 3.
2 Useful tools and preliminaries
In this paper, we will use the classical truncating method. Given u a measurable function we consider the k-truncation of u defined by
The remainder of the truncation \(T_{k}(u)\) is defined as \(G_{k}(u)=u-T_{k}(u)\).
We will also need the classical Sobolev theorem; for an elementary proof of this inequality, see [1].
Lemma 2.1
Let \(s\in(0,1)\) and \(N>2s\). There exists a constant \(C(N,s)\) such that for any measurable and compactly supported function \(f:\mathbb {R}^{N}\rightarrow\mathbb{R}\),
where \(2_{s}^{*}=\frac{2N}{N-2s}\) is called the Sobolev critical exponent.
The next algebraic inequality will be used in our article.
Lemma 2.2
Let \(s_{1},s_{2}\geq0\) and \(a>0\). Then
Proof
The complete proof is given in [12], for the reader’s convenience, we include here a sketch of the proof.
If \(s_{1}=0\) or \(s_{2}=0\), This conclusion is obvious. We can assume \(s_{1}>s_{2}>0\), let \(x:=s_{2}/s_{1}\), then (2.2) is equivalent to
Set
Rewrite h as
For \(a>1\), we claim that
Define
Clearly,
Thus \(h_{1}'(x)\leq0\), here the following Young inequality will be used:
Therefore \(h_{1}(x)\geq h_{1}(1)=0\), which shows that (2.3) holds.
For \(a<1\). Firstly we show that
In order to do this, define
By Young’s inequality, we obtain \(h_{2}'(x)\leq0\) for all \(x\in(0,1)\) and hence \(h_{2}(x)\geq h_{1}(1)=0\), which shows that (2.3) holds again. Therefore, (2.2) holds. □
Now we consider the following approximation problems:
where \(f_{n}(x)=\frac{f(x)}{1+\frac{1}{n}}\).
Lemma 2.3
Let \(f\in L^{m}(\Omega)\), \(m\geq1\). Then, for every \(n\in\mathbb{R}\), there exists a solution \(u_{n}\in H_{0}^{s}(\Omega)\) to problem (2.4) such that
Proof
To show estimate (2.5), we will consider the case \(m>1\) and \(m=1\) separately.
Case \(m>1\). Choose \(\phi=u_{n}^{p(m-1)}\) as a test function in (2.4), we get
Therefore
provided
Applying Hölder’s inequality on the right-hand-side of (2.6), we obtain
where \(m'=\frac{m}{m-1}\), which together with (2.6), implies that (2.5) holds.
Case \(m=1\). Using \(\frac{T_{k}(u_{n})}{k}\) as a test function in (2.4), we get
Since for any \(\sigma\in\mathbb{R}^{N}\), \(\sigma=T_{k}(\sigma)+G_{k}(\sigma)\),
Moreover, by Lemma 4 in [19], we know that
and using Hardy’s inequality (1.2), we get
Since \(\lambda<\Lambda_{N,s}\), we have
Fatou’s lemma implies, for \(k\rightarrow\infty\), that estimate (2.5) holds. □
3 Proof of main results
Let us begin with the proof of Theorem 1.4.
Proof of Theorem 1.4
Set \(f_{n}=\frac{f}{1+\frac {1}{n}}\), obviously, \(f_{n}\rightarrow f\) in \(L^{1}(\Omega)\) as \(n\rightarrow\infty\). Let \(\phi=T_{k}(u_{n})\) as a test function in (2.4), we have
Since for any \(\sigma\in\mathbb{R}\), \(\sigma=T_{k}(\sigma)+G_{k}(\sigma)\),
Moreover, by Lemma 4 in [19], we know that
Therefore, (3.1)–(3.2) lead to
Recall that
On the other hand, using \(G_{k}(u_{n})\) as a test function in (2.4), we have
Moreover, \(u_{n} G_{k}(u_{n})=G^{2}_{k}(u_{n})+T_{k}(u_{n})G_{k}(u_{n})\), thus this fact combined with (3.6), implies that
Applying the Young inequality on the right-hand-side of (3.7), we get
Taking into account that \(\lambda<\Lambda_{N,s}\), by the Hardy inequality we obtain
Therefore \(\{G_{k}(u_{n})\}_{n\in\mathbb{R}}\) is uniformly bounded in \(H_{0}^{s}(\Omega)\), it implies
Then we get
Putting together (3.4)–(3.5) and (3.8), it follows that
We deduce that \(T_{k}(u_{n})\) is uniformly bounded in \(H_{0}^{s}(\Omega)\cap L^{p+1}(\Omega)\). Then we pass to the limit in the approximation problem (2.4); up to a subsequence, there exists a function \(u\in H_{0}^{s}(\Omega)\cap L^{p+1}(\Omega)\).
Now we want to prove that \(u_{n}^{p} \rightarrow u\) in \(L^{1}(\Omega)\). Let \(\psi_{i}(\sigma)\) be defined by
Choosing \(\phi=\psi_{i}(u_{n})\) as a test function in (2.4), we get
which implies that
Let E is any measurable subset of Ω. For any \(t>0\) we have
The above fact and \(f\in L^{1}(\Omega)\) allow us to say that, for any given \(\varepsilon>0\), there exists \(t_{\varepsilon}\) such that
Hence
Therefore
Thus we prove that \(\lim_{|E|\rightarrow0} \int_{E} u^{p}_{n}=0\). Vitali’s theorem implies that \(u_{n}^{p}\rightarrow u^{p}\) in \(L^{1}(\Omega)\) i.e.
□
Let us show Theorem 1.5, that is, the existence of solution to problem (1.1) in the case where \(f\in L^{m}(\Omega)\) with \(m>\frac{p+1}{p}\).
Proof of Theorem 1.5
Define \(\beta=p(m-1)\), that satisfies \(p+\beta=\beta m'\). Using \(\phi =u_{n}^{\beta}\) as a test function in (2.4), we have
Now, by Lemma 2.2, we get
Using Hardy’s inequality, we have
We conclude that
With this choice of β, by Lemma 2.3 we obtain
By Lemma 2.1, we arrive at
Furthermore,
As a consequence there exists a function \(u\in L^{\frac{(\beta +1)2_{s}^{*}}{2}}(\Omega)\).
Finally, we want to prove that \(u^{p}_{n}\rightarrow u^{p} \) in \(L^{1}(\Omega )\). Using (3.10) as a test function in (2.4), we have
For any \(t>0\) and \(E\subset\Omega\) is measurable. we get
There exists \(t_{\varepsilon}\) such that
We see that \(|E|\rightarrow0\) implies
i.e., the sequence \(u_{n}^{p}\) is equiintegrable. Consequently
Thus we have proved the existence result. □
4 Conclusion
In this paper, we main study the regularizing effect of a nonlinear term \(u^{p}\), and the influence of the Hardy potential on the existence of solutions to fractional Laplacian equations. Specifically, the positive effect of the nonlinear term \(u^{p}\) is shown.
References
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Bucur, C., Valdinoci, E.: Nonlocal Diffusion and Applications. Lecture Notes of the Unione Matematica Italiana, vol. 20. Springer, Cham; Unione Matematica Italiana, Bologna, xii + 155 pp. (2016)
Silvestre, L.: Regularity of the obstacle problem for a fractional power of the Laplace operator. Ph.D. thesis, The University of Texas at Austin, 95 pp. (2005)
Servadei, R., Valdinoci, E.: On the spectrum of two different fractional operators. Proc. R. Soc. Edinb., Sect. A 144, 831–855 (2014)
Musina, R., Nazarov, A.: On fractional Laplacians. Commun. Partial Differ. Equ. 39, 1780–1790 (2014)
Abdellaoui, B., Bentifour, R.: Caffarelli–Kohn–Nirenberg type inequalities of fractional order with applications. J. Funct. Anal. 272, 3998–4029 (2017)
Abdellaoui, B., Peral, I., Primo, A.: A remark on the fractional Hardy inequality with a remainder term. C. R. Acad. Sci. Paris, Ser. I 352, 299–303 (2014)
Frank, R.L., Seiringer, R.: Non-linear ground state representations and sharp Hardy inequalities. J. Funct. Anal. 255, 3407–3430 (2008)
Tzirakis, K.: Sharp trace Hardy–Sobolev inequalities and fractional Hardy–Sobolev inequalities. J. Funct. Anal. 270, 4513–4539 (2016)
Nguyen, V.: Some trace Hardy type inequalities and trace Hardy–Sobolev–Maz’ya type inequalities. J. Funct. Anal. 270, 4117–4151 (2016)
Barrios, B., Medina, M., Peral, I.: Some remarks on the solvability of non-local elliptic problems with the Hardy potential. Commun. Contemp. Math. 16, 1350046 (2014)
Abdellaoui, B., Medina, M., Peral, I., Primo, A.: The effect of the Hardy potential in some Calderón–Zygmund properties for the fractional Laplacian. J. Differ. Equ. 260, 8160–8206 (2016)
Dipierro, S., Montoro, L., Peral, I., Sciunzi, B.: Qualitative properties of positive solutions to nonlocal critical problems involving the Hardy–Leray potential. Calc. Var. Partial Differ. Equ. 55(4), Article 99 (2016)
Arcoya, D., Boccardo, L.: Regularizing effect of the interplay between coefficients in some elliptic equations. J. Funct. Anal. 268, 1053–1308 (2015)
Arcoya, D., Boccardo, L.: Regularizing effect of \(L^{q}\) interplay between coefficients in some elliptic equations. J. Math. Pures Appl. 111, 106–125 (2018)
Boccardo, L.: Marcinkiewicz estimates for solutions of some elliptic problems with nonregular data. Ann. Mat. Pura Appl. 188, 591–601 (2009)
Boccardo, L., Gallouët, T., Vázquez, J.: Nonlinear elliptic equations in \(\mathbf{R}^{N}\) without growth restrictions on the data. J. Differ. Equ. 105, 334–363 (1993)
Adimurthi, A., Boccardo, L., Cirmi, G., Orsina, L.: The regularizing effect of lower order terms in elliptic problems involving Hardy potential. Adv. Nonlinear Stud. 17, 311–317 (2017)
Leonori, T., Peral, I., Primo, A., Soria, F.: Basic estimates for solutions of a class of nonlocal elliptic and parabolic equations. Discrete Contin. Dyn. Syst. 35, 6031–6068 (2015)
Acknowledgements
The authors would like to express their gratitude to the anonymous referee for his/her kind suggestions and helpful advices which have improved the final form of the manuscript.
Funding
This research was partially supported by the National Science Foundation of China (Nos. 11401473, 11761059), Science and Technology Planning Project of Gansu Province (No. 1610RJZA102), Fundamental Research Funds for the Central Universities (Nos. 31920170001, 31920170147) and research and innovation teams of Northwest Minzu University.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare to have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is 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
Mi, Y., Huang, S. & Huang, C. Combined effects of the Hardy potential and lower order terms in fractional Laplacian equations. Bound Value Probl 2018, 61 (2018). https://doi.org/10.1186/s13661-018-0980-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-0980-4