Derivations and Sobolev functions on extended metric-measure spaces

TL;DR

The paper develops a comprehensive first-order calculus on extended metric-topological measure spaces, unifying multiple metric Sobolev frameworks (H^{1,p}, W^{1,p}, N^{1,p}, B^{1,p}) within the extended setting. It introduces Lipschitz derivations (Weaver and Di Marino) in e.m.t.m. spaces and defines W^{1,p} via an integration-by-parts framework that interacts robustly with duality and convex analysis. A central achievement is proving H^{1,p}=W^{1,p} with matching gradient moduli, and, on complete Souslin spaces, identifying W^{1,p} with B^{1,p} and with N^{1,p}; a Beppo Levi-type approach via test plans is also connected to W^{1,p}. The paper further provides a Lipschitz-extension result preserving constants, constructs an isometric predual for W^{1,p}, and shows that every τ-continuous d-Lipschitz function induces a derivation from a τ-compact test plan, illustrating the deep interplay between geometric, analytic, and duality structures in nonsmooth and infinite-dimensional contexts.

Abstract

We investigate the first-order differential calculus over extended metric-topological measure spaces. The latter are quartets $\mathbb X=(X,τ,{\sf d},\mathfrak m)$, given by an extended metric space $(X,{\sf d})$ together with a weaker topology $τ$ (satisfying suitable compatibility conditions) and a finite Radon measure $\mathfrak m$ on $(X,τ)$. The class of extended metric-topological measure spaces encompasses all metric measure spaces and many infinite-dimensional metric-measure structures, such as abstract Wiener spaces. In this framework, we study the following classes of objects: - The Banach algebra ${\rm Lip}_b(X,τ,{\sf d})$ of bounded $τ$-continuous ${\sf d}$-Lipschitz functions on $X$. - Several notions of Lipschitz derivations on $X$, defined in duality with ${\rm Lip}_b(X,τ,{\sf d})$. - The metric Sobolev space $W^{1,p}(\mathbb X)$, defined in duality with Lipschitz derivations on $X$. Inter alia, we generalise both Weaver's and Di Marino's theories of Lipschitz derivations to the extended setting, and we discuss their connections. We also introduce a Sobolev space $W^{1,p}(\mathbb X)$ via an integration-by-parts formula, along the lines of Di Marino's notion of Sobolev space, and we prove its equivalence with other approaches, studied in the extended setting by Ambrosio, Erbar and Savaré. En route, we obtain some results of independent interest, among which are: - A Lipschitz-constant-preserving extension result for $τ$-continuous ${\sf d}$-Lipschitz functions. - A novel and rather robust strategy for proving the equivalence of Sobolev-type spaces defined via an integration-by-parts formula and those obtained with a relaxation procedure. - A new description of an isometric predual of the metric Sobolev space $W^{1,p}(\mathbb X)$.

Theorems & Definitions (94)

• Remark 2.1
• Definition 2.2: Asymptotic slope
• Remark 2.3
• Remark 2.4
• Remark 2.5
• Definition 2.6: $L^p({\mathfrak m})$-Banach $L^\infty({\mathfrak m})$-module
• Definition 2.7: Dual of an $L^p({\mathfrak m})$-Banach $L^\infty({\mathfrak m})$-module
• Definition 2.8: Extended metric-topological measure space
• Lemma 2.9: Maximal ${\sf d}$-separable component ${\rm S}_{\mathbb X}$
• proof