Maz'ya--Shaposhnikova Representation of Quasi-Norms of Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type with Weak Reverse Doubling Property
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911292098347008 |
|---|---|
| author | Nakai, Eiichi Tang, Menghao Yang, Dachun Yuan, Wen Zhu, Chenfeng |
| author_facet | Nakai, Eiichi Tang, Menghao Yang, Dachun Yuan, Wen Zhu, Chenfeng |
| contents | Let $Y(\mathcal{X})$ be a ball quasi-Banach function space on the space of homogeneous type $(\mathcal{X},ρ,μ)$ 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)[ρ(\cdot,y)]^{sq}} \, dμ(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)[ρ(\cdot,y)]^{sq}} \, dμ(y) \right\}^{\frac{1}{q}}\right\|_{{Y(\mathcal{X})}} \lesssim\|f\|_{Y(\mathcal{X})}, \end{align*} where $U(x,y):=\min\{μ(B(x,ρ(x,y))),\,μ(B(y,ρ(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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_22960 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Maz'ya--Shaposhnikova Representation of Quasi-Norms of Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type with Weak Reverse Doubling Property Nakai, Eiichi Tang, Menghao Yang, Dachun Yuan, Wen Zhu, Chenfeng Functional Analysis Analysis of PDEs Classical Analysis and ODEs Primary 46E36, Secondary 42B35, 42B25, 26D10, 30L99 Let $Y(\mathcal{X})$ be a ball quasi-Banach function space on the space of homogeneous type $(\mathcal{X},ρ,μ)$ 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)[ρ(\cdot,y)]^{sq}} \, dμ(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)[ρ(\cdot,y)]^{sq}} \, dμ(y) \right\}^{\frac{1}{q}}\right\|_{{Y(\mathcal{X})}} \lesssim\|f\|_{Y(\mathcal{X})}, \end{align*} where $U(x,y):=\min\{μ(B(x,ρ(x,y))),\,μ(B(y,ρ(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. |
| title | Maz'ya--Shaposhnikova Representation of Quasi-Norms of Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type with Weak Reverse Doubling Property |
| topic | Functional Analysis Analysis of PDEs Classical Analysis and ODEs Primary 46E36, Secondary 42B35, 42B25, 26D10, 30L99 |
| url | https://arxiv.org/abs/2511.22960 |