2025/03/27 by Enrico Pasqualetto, Pasqualetto, Enrico, Giacomo Enrico Sodini +1 · 1 citation
Computer Science · Mathematics · #26A45 #46E35 #46N10 #49J52 #53C23 #Advanced Banach Space Theory #FOS: Mathematics #Fixed Point Theorems Analysis #Functional Analysis (math.FA) #Metric Geometry (math.MG) #Optimization and Variational Analysis
paper · pdf · doi:10.48550/arxiv.2503.21664
openalex publication_date 2025/03/27 · openalex created_date 2025/10/11 · openalex updated_date 2026/07/28
Given a unital algebra \mathscr A of locally Lipschitz functions defined over a metric measure space (\mathrm X,\mathsf d,\mathfrak m), we study two associated notions of function of bounded variation and their relations: the space \mathrm BV\mathrm H(\mathrm X;\mathscr A), obtained by approximating in energy with elements of \mathscr A, and the space \mathrm BV\mathrm W(\mathrm X;\mathscr A), defined through an integration-by-parts formula that involves derivations acting in duality with \mathscr A. Our main result provides a sufficient condition on the algebra \mathscr A under which \mathrm BV\mathrm H(\mathrm X;\mathscr A) coincides with the standard metric BV space \mathrm BV\mathrm H(\mathrm X), which corresponds to taking as \mathscr A 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 \mathrm H1,p of exponent p∈(1,∞) were previously obtained by several different authors.