Extension Theorem and Bourgain--Brezis--Mironescu-Type Characterization of Ball Banach Sobolev Spaces on Domains

Abstract

Let $Ω\subset\mathbb{R}^n$ be a bounded $(\varepsilon,\infty)$-domain with $\varepsilon\in(0,1]$, $X(\mathbb{R}^n)$ a ball Banach function space satisfying some extra mild assumptions, and $\{ρ_ν\}_{ν\in(0,ν_0)}$ with $ν_0\in(0,\infty)$ a $ν_0$-radial decreasing approximation of the identity on $\mathbb{R}^n$. In this article, the authors establish two extension theorems, respectively, on the inhomogeneous ball Banach Sobolev space $W^{m,X}(Ω)$ and the homogeneous ball Banach Sobolev space $\dot{W}^{m,X}(Ω)$ for any $m\in\mathbb{N}$. On the other hand, the authors prove that, for any $f\in\dot{W}^{1,X}(Ω)$, $$ \lim_{ν\to0^+} \left\|\left[\int_Ω\frac{|f(\cdot)-f(y)|^p}{ |\cdot-y|^p}ρ_ν(|\cdot-y|)\,dy \right]^\frac{1}{p}\right\|_{X(Ω)}^p =\frac{2π^{\frac{n-1}{2}}Γ(\frac{p+1}{2})}{Γ(\frac{p+n}{2})} \left\|\,\left|\nabla f\right|\,\right\|_{X(Ω)}^p, $$ where $Γ$ is the Gamma function and $p\in[1,\infty)$ is related to $X(\mathbb{R}^n)$. Using this asymptotics, the authors further establish a characterization of $W^{1,X}(Ω)$ in terms of the above limit. To achieve these, the authors develop a machinery via using a method of the extrapolation, two extension theorems on weighted Sobolev spaces, and some recently found profound properties of $W^{1,X}(\mathbb{R}^n)$ to overcome those difficulties caused by that the norm of $X(\mathbb{R}^n)$ has no explicit expression and that $X(\mathbb{R}^n)$ might be neither the reflection invariance nor the translation invariance. This characterization has a wide range of generality and can be applied to various Sobolev-type spaces, such as Morrey [Bourgain--Morrey-type, weighted (or mixed-norm or variable), local (or global) generalized Herz, Lorentz, and Orlicz (or Orlicz-slice)] Sobolev spaces, all of which are new.