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.

Regularity of sets of finite fractional perimeter and nonlocal minimal surfaces in metric measure spaces

Local Boundedness for Minimizers of Convex Integral Functionals in Metric Measure Spaces

Local dimensions of measures of finite type II - Measures without full support and with non-regular probabilities

Modified Maximal Function Theorems in a Nondoubling Quasi-Metric Measure Space and Applications

The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

A strict maximum principle for nonlocal minimal surfaces

Ahlfors regularity of continua that minimize maxitive set functions

Metric quasiconformality and Sobolev regularity in non-Ahlfors regular spaces

Isoperimetric conditions, lower semicontinuity, and existence results for perimeter functionals with measure data

A Characterization of Borel Measures which Induce Lipschitz-Free Space Elements

Fractional maximal functions and mean oscillation on bounded doubling metric measure spaces

Well-posedness of Dirichlet boundary value problems for reflected fractional $p$-Laplace-type inhomogeneous equations in compact doubling metric measure spaces

Discretization of Integrals on Compact Metric Measure Spaces

On the Packing Functions of some Linear Sets of Lebesgue Measure Zero

Poincar\'e Inequality Meets Brezis--Van Schaftingen--Yung Formula on Metric Measure Spaces

Monotone Sequences of Metric Spaces with Compact Limits

Optimal regularity of isoperimetric sets with Hölder densities

Undecidably Semilocalizable Metric Measure Spaces

Sobolev Metrics on Spaces of Discrete Regular Curves

Boundary regularity for quasiminima of double-phase problems on metric spaces