Functions of bounded variation and Lipschitz algebras in metric measure spaces

Given a unital algebra 𝒜 of locally Lipschitz functions defined over a metric measure space (X, d, m), we study two associated notions of function of bounded variation and their relations: the space BVH(X; 𝒜), obtained by approximating in energy with elements of 𝒜, and the space BVW (X; 𝒜), defined through an integration-by-parts formula that involves derivations acting in duality with 𝒜. Our main result provides a sufficient condition on the algebra 𝒜 under which BVH(X; 𝒜) coincides with the standard metric BV space BVH(X), which corresponds to taking as 𝒜 the collection of all locally Lipschitz functions. Our result applies to several cases of interest, for example to Euclidean spaces and Riemannian manifolds equipped with the algebra of smooth functions, or to Banach and Wasserstein spaces equipped with the algebra of cylinder functions. Analogous results for metric Sobolev spaces H1,p of exponent p ∈ (1, ∞) were previously obtained by several different authors.