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.

Interpolation and Duality of Generalized Grand Morrey Spaces on Quasi-Metric Measure Spaces

Interpolation of Morrey Spaces on Metric Measure Spaces

Complex interpolation on Besov-type and Triebel-Lizorkin-type spaces

Interpolation of quasi noncommutative $L_p$-spaces

An Off-Diagonal Marcinkiewicz Interpolation Theorem on Lorentz Spaces

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

Interpolations of Mixed-Norm Function Spaces

Interpolation Between H^p(· )(ℝ^n) and L^∞ (ℝ^n) : Real Method

Bilinear Θ‐type Calderón–Zygmund operators and their commutators on product generalized fractional mixed Morrey spaces

Interpolation for analytic families of multilinear operators on metric measure spaces

Grand Besov–Bourgain–Morrey spaces and their applications to boundedness of operators

Generalized Duality and Product of Some Noncommutative Symmetric Spaces

Duality and Interpolation of Bergman Spaces

Real interpolation for grand Besov and Triebel-Lizorkin spaces on RD-spaces

An interpolation of metrics and spaces of metrics

Bourgain-Morrey Spaces Meet Structure of Triebel-Lizorkin Spaces

Besov and Triebel–Lizorkin Spaces on Metric Spaces: Embeddings and Pointwise Multipliers

Interpolation of Morrey-Campanato and related smoothness spaces

Fractional Hajłasz–Morrey–Sobolev Spaces on Quasi-Metric Measure Spaces

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

Morrey-Sobolev Spaces on Metric Measure Spaces