Maz'ya--Shaposhnikova Representation of Quasi-Norms of Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type with Weak Reverse Doubling Property

Abstract

Let $Y(\mathcal{X})$ be a ball quasi-Banach function space on the space of homogeneous type $(\mathcal{X},\rho,\mu)$ satisfying some mild additional assumptions, $q\in(0,\infty)$, and $\dot{W}^{s,q}_Y(\mathcal{X})$ with $s\in(0,1)$ be the homogeneous fractional Sobolev space associated with $Y(\mathcal{X})$. In this article, we show that, for any $f\in Y(\mathcal{X})\cap\bigcup_{s\in(0,1)} \dot{W}^{s,q}_Y(\mathcal{X})$, \begin{align*} \|f\|_{Y(\mathcal{X})} &\lesssim\varliminf_{s \to 0^+} s^{\frac{1}{q}}\left\| \left\{\int_{\mathcal{X}} \frac{|f(\cdot)-f(y)|^q}{U(\cdot,y)[\rho(\cdot,y)]^{sq}} \, d\mu(y) \right\}^{\frac{1}{q}}\right\|_{{Y(\mathcal{X})}}\\ &\leq \varlimsup_{s \to 0^+} s^{\frac{1}{q}}\left\|\left\{\int_{\mathcal{X}} \frac{|f(\cdot)-f(y)|^q}{U(\cdot,y)[\rho(\cdot,y)]^{sq}} \, d\mu(y) \right\}^{\frac{1}{q}}\right\|_{{Y(\mathcal{X})}} \lesssim\|f\|_{Y(\mathcal{X})}, \end{align*} where $U(x,y):=\min\{\mu(B(x,\rho(x,y))),\,\mu(B(y,\rho(x,y)))\}$ for any $x,y\in\mathcal{X}$ and the implicit positive constants are independent of $f$, which is applied to ten specific ball quasi-Banach function spaces and hence is of wide generality. In particular, when $Y(\mathcal{X})=L^q(\mathbb{R}^n)$ with $q\in[1,\infty)$, the above formula is closely related to the celebrated result of Maz'ya and Shaposhnikova in 2002. We also establish the above representation formula on domains of $\mathcal{X}$. The main novelty lies in proposing two new concepts, namely the weak reverse doubling condition (for $\mathcal{X}$) and the weak measure density condition (for domains of $\mathcal{X}$), which are proved to be necessary in some sense. In addition, we find an interesting fact that, when the underlying space under consideration is bounded, the above Maz'ya--Shaposhnikova-type limit always tends to zero.