math.FA

(what is this?)

# Title: Poincaré Inequality Meets Brezis--Van Schaftingen--Yung Formula on Metric Measure Spaces

Abstract: Let $(\mathcal{X}, \rho, \mu)$ be a metric measure space of homogeneous type which supports a certain Poincar\'e inequality. Denote by the symbol $\mathcal{C}_{\mathrm{c}}^\ast(\mathcal{X})$ the space of all continuous functions $f$ with compact support satisfying that $\operatorname{Lip} f:=\limsup _{r \rightarrow 0} \sup_{y\in B(\cdot, r)} |f(\cdot)-f(y)|/r$ is also a continuous function with compact support and $\operatorname{Lip} f=\lim _{r \rightarrow 0} \sup_{y\in B(\cdot, r)} |f(\cdot)-f(y)|/r$ converges uniformly. Let $p \in[1,\infty)$. In this article, the authors prove that, for any $f\in\mathcal{C}_{\mathrm{c}}^\ast(\mathcal{X})$, \begin{align*} &\sup_{\lambda\in(0,\infty)}\lambda^p\int_{\mathcal{X}} \mu\left(\left\{y\in \mathcal{X}:\ |f(x)-f(y)|>\lambda \rho(x,y) [V(x,y)]^{\frac 1p}\right\}\right)\, d\mu(x)\\ &\quad\sim \int_{{\mathcal{X}}} [\operatorname{Lip}f(x)]^p \,d\mu(x) \end{align*} with the positive equivalence constants independent of $f$, where $V(x,y):=\mu(B(x,\rho(x,y)))$. This generalizes a recent surprising formula of H. Brezis, J. Van Schaftingen, and P.-L. Yung from the $n$-dimensional Euclidean space ${\mathbb R}^n$ to $\mathcal{X}$. Applying this generalization, the authors establish new fractional Sobolev and Gagliardo--Nirenberg inequalities in $\mathcal{X}$. All these results have a wide range of applications. Particularly, when applied to two concrete examples, namely, ${\mathbb R}^n$ with weighted Lebesgue measure and the complete $n$-dimensional Riemannian manifold with non-negative Ricci curvature, all these results are new. The proofs of these results strongly depend on the geometrical relation of differences and derivatives in the metric measure space and the Poincar\'e inequality.
 Comments: 25 pages; Submitted. arXiv admin note: text overlap with arXiv:2109.04638 Subjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA) MSC classes: Primary 46E36, Secondary 26D10, 30L15, 26A33 Cite as: arXiv:2111.09755 [math.FA] (or arXiv:2111.09755v1 [math.FA] for this version)

## Submission history

From: Dachun Yang [view email]
[v1] Thu, 18 Nov 2021 15:36:58 GMT (22kb)

Link back to: arXiv, form interface, contact.