Lp isomorphisms for the fractional Laplacian on ℝn and their application
Abstract
A classical theory of Amrouche, Girault and Giroire (1994) resolves the Laplace equation on ℝn through an isomorphism between weighted Sobolev spaces. Inspired by their framework, we develop the corresponding Lp theory for the fractional Laplacian: we introduce weighted fractional Sobolev spaces Λs,p(ℝn), gauged at top order by |(−△)s/2u|Lp, and prove that (−△)s/2:Λs,p(ℝn)/𝒫[s−n/p]→ Lp(ℝn) is an isomorphism for all s∈(0,2) and p∈(1,∞); thus (−△)s/2u=f is solvable for every f∈ Lp(ℝn), uniquely modulo an explicit finite-dimensional space of polynomials. More generally, extending the scale by duality to negative orders, the fractional Laplacians of the appropriate orders map its spaces isomorphically onto one another and compose exactly. A key ingredient is a family of weighted Hardy and Poincaré inequalities adapted to |(−△)s/2u|Lp, established here for 1≤ s<2 by a reduction to the gradient. Since these inequalities hold a priori only on a dense class, while the density of Cc∞(ℝn) in Λs,p(ℝn) is itself nontrivial, we first prove the isomorphism on the closure of the Schwartz class, which coincides with Λs,p(ℝn) since the difference of two solutions is an entire s-harmonic function, hence a polynomial; the density follows as a by-product. As an application, we obtain existence and uniqueness, with explicit kernels and compatibility conditions, for the fractional Stokes system in ℝn.
Related
- On Faber-Krahn inequality for Dirichlet Fractional-Logarithmic Laplacian
- A Note on the Smoluchowski Coagulation-Fragmentation Equation with Fractional Laplacian
- Optimal design problems for the fractional g-Laplacian at prescribed energy level
- Almost L∞-stability of the Ritz projection for the integral fractional Laplacian with 0<s≤ 1/2
- Symmetry of solutions to nonlocal Neumann problems with the fractional Laplacian in half spaces
BibTeX
@misc{li2026isomorphisms,
title = {{$L^p$ isomorphisms for the fractional Laplacian on $\mathbbR^n$ and their application}},
author = {Congming Li and Yugao Ouyang and Zixuan Wang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.03962},
eprint = {2609.03962},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.03962},
}
RIS
TY - UNPB
TI - L^p isomorphisms for the fractional Laplacian on ℝ^n and their application
AU - Congming Li
AU - Yugao Ouyang
AU - Zixuan Wang
PY - 2026
DA - 2026/09/03
PB - arXiv
DO - 10.48550/arxiv.2609.03962
UR - https://arxiv.org/abs/2609.03962
AB - A classical theory of Amrouche, Girault and Giroire (1994) resolves the Laplace equation on ℝ^n through an isomorphism between weighted Sobolev spaces. Inspired by their framework, we develop the corresponding L^p theory for the fractional Laplacian: we introduce weighted fractional Sobolev spaces Λ^s,p(ℝ^n), gauged at top order by |(−△)^s/2u|_L^p, and prove that (−△)^s/2:Λ^s,p(ℝ^n)/𝒫_[s−n/p]→ L^p(ℝ^n) is an isomorphism for all s∈(0,2) and p∈(1,∞); thus (−△)^s/2u=f is solvable for every f∈ L^p(ℝ^n), uniquely modulo an explicit finite-dimensional space of polynomials. More generally, extending the scale by duality to negative orders, the fractional Laplacians of the appropriate orders map its spaces isomorphically onto one another and compose exactly. A key ingredient is a family of weighted Hardy and Poincaré inequalities adapted to |(−△)^s/2u|_L^p, established here for 1≤ s<2 by a reduction to the gradient. Since these inequalities hold a priori only on a dense class, while the density of C_c^∞(ℝ^n) in Λ^s,p(ℝ^n) is itself nontrivial, we first prove the isomorphism on the closure of the Schwartz class, which coincides with Λ^s,p(ℝ^n) since the difference of two solutions is an entire s-harmonic function, hence a polynomial; the density follows as a by-product. As an application, we obtain existence and uniqueness, with explicit kernels and compatibility conditions, for the fractional Stokes system in ℝ^n.
ER -