The Spatially Variant Fractional Laplacian

We introduce a definition of the fractional Laplacian (-Δ)s(·)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(-\varDelta )^{s(\cdot )}$$\end{document} with spatially variable order s:Ω→[0,1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$s:\varOmega \rightarrow [0,1]$$\end{document} and study the solvability of the associated Poisson problem on a bounded domain Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varOmega $$\end{document}. The initial motivation arises from the extension results of Caffarelli and Silvestre, and Stinga and Torrea; however the analytical tools and approaches developed here are new. For instance, in some cases we allow the variable order s(·)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$s(\cdot )$$\end{document} to attain the values 0 and 1 leading to a framework on weighted Sobolev spaces with non-Muckenhoupt weights. Initially, and under minimal assumptions, the operator (-Δ)s(·)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(-\varDelta )^{s(\cdot )}$$\end{document} is identified as the Lagrange multiplier corresponding to an optimization problem; and its domain is determined as a quotient space of weighted Sobolev spaces. The well-posedness of the associated Poisson problem is then obtained for data in the dual of this quotient space. Subsequently, two trace regularity results are established, allowing to partially characterize functions in the aforementioned quotient space whenever a Poincaré type inequality is available. Precise examples are provided where such inequality holds, and in this case the domain of the operator (-Δ)s(·)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(-\varDelta )^{s(\cdot )}$$\end{document} is identified with a subset of a weighted Sobolev space with spatially variant smoothness s(·)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$s(\cdot )$$\end{document}. The latter further allows to prove the well-posedness of the Poisson problem assuming functional regularity of the data.