Metric Sobolev spaces I: equivalence of definitions

Abstract

This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic presentation of first-order $p$-Sobolev spaces, with $p\in [1,\infty )$, defined over a complete and separable metric space equipped with a boundedly-finite Borel measure. We focus on three different approaches: via approximation with Lipschitz functions; by studying the behaviour along curves, in terms either of the curve modulus or of test plans; via integration-by-parts, using Lipschitz derivations with divergence. Eventually, we show that all these approaches are fully equivalent. We emphasise that no doubling or Poincaré assumption is made, and that we allow also for the exponent $p=1$. A substantial part of this work consists of a self-contained and partially-revisited exposition of known results, which are scattered across the existing literature, but it contains also several new results, mostly concerning the equivalence of metric Sobolev spaces for $p=1$.

arXiv comment87 pages

References in corpus (9)

• Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below
• Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces
• Independence on $p$ of weak upper gradients on RCD spaces
• Derivations and Alberti representations
• On the duality between p-Modulus and probability measures
• Characterizations of rectifiable metric measure spaces
• Infinitesimal Hilbertianity of weighted Riemannian manifolds
• Curvewise characterizations of minimal upper gradients and the construction of a Sobolev differential
• Existence and almost uniqueness for $p$-harmonic Green functions on bounded domains in metric spaces