Characterisations of Sobolev spaces and constant functions over metric spaces

TL;DR

This paper introduces new characterizations of Sobolev spaces and constant functions on doubling metric measure spaces using mean oscillations and a novel macroscopic Poincaré inequality, with applications to operator commutators.

Contribution

It provides a new mean oscillation-based characterization of Sobolev spaces and extends constant function characterizations via a novel approach involving macroscopic inequalities.

Findings

New characterization of Sobolev spaces using mean oscillations

Extension of constant function characterizations with a macroscopic Poincaré inequality

Applications to the analysis of commutator operators

Abstract

In a doubling metric measure space $(X,\rho,\mu)$ supporting a Poincar\'e inequality, we give a new characterisation of first-order Sobolev spaces by mean oscillations, and extend previous characterisations of constant functions in terms of the finiteness of certain integrals through a new approach. As a key tool of independent potential, we introduce a novel ``macroscopic'' Poincar\'e inequality, whose right-hand side has oscillations of the same form as the left-hand side, but at a smaller macroscopic scale $r\in(0,R)$. Besides intrinsic interest, these results are motivated by applications to quantitative compactness properties of commutators $[f,T]$ of pointwise multipliers and singular integrals. With pivotal use of the present results, a characterisation of commutator mapping properties, over the same class of general domains $(X,\rho,\mu)$, is obtained in a companion paper.