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

TL;DR

This paper extends the Maz'ya--Shaposhnikova representation of quasi-norms to ball quasi-Banach function spaces on spaces of homogeneous type, introducing new conditions and analyzing limits in bounded spaces.

Contribution

It introduces the weak reverse doubling and weak measure density conditions, broadening the applicability of Maz'ya--Shaposhnikova type formulas to new function spaces and settings.

Findings

Established the representation formula for various ball quasi-Banach spaces.

Proved the necessity of the weak reverse doubling and measure density conditions.

Showed the limit tends to zero in bounded spaces.

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.