Functions of bounded variation and Lipschitz algebras in metric measure spaces
Pith reviewed 2026-05-22 23:14 UTC · model grok-4.3
The pith
A sufficient condition on a unital algebra of locally Lipschitz functions makes the energy-approximated BV space coincide with the standard metric BV space.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under a sufficient condition on the algebra A, the space BV_H(X;A) obtained by energy approximation with elements of A coincides with the standard metric BV space BV_H(X).
What carries the argument
The sufficient condition on the algebra A under which the energy approximation property holds, allowing BV_H(X;A) to equal BV_H(X) via the integration-by-parts definition of BV_W(X;A).
If this is right
- BV_H(X;A) equals the full BV_H(X) whenever A meets the sufficient condition.
- The equality holds for the algebra of smooth functions on Euclidean spaces and Riemannian manifolds.
- The equality holds for the algebra of cylinder functions on Banach and Wasserstein spaces.
- The same type of coincidence extends from the known H^{1,p} case to the BV setting under the stated condition on A.
Where Pith is reading between the lines
- Smaller algebras satisfying the condition could simplify explicit computations of BV functions while still recovering the full space.
- The result suggests checking the condition on other natural algebras, such as polynomials on specific metric spaces, to obtain further identifications.
- If the condition fails for a given A, the two BV notions may separate, providing a way to distinguish different scales of regularity.
Load-bearing premise
The algebra A admits derivations acting in duality that make the integration-by-parts definition well-posed and satisfies the energy approximation property precisely when the stated condition holds.
What would settle it
Construct an algebra A satisfying the sufficient condition for which the energy approximation space BV_H(X;A) is strictly smaller than the standard BV_H(X), or exhibit a counter-example algebra where the two spaces differ despite the condition.
read the original abstract
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 H}^{1,p}$ of exponent $p\in(1,\infty)$ were previously obtained by several different authors.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines two variants of bounded variation spaces on a metric measure space (X,d,m) relative to a unital algebra A of locally Lipschitz functions: BV_H(X;A) obtained by energy approximation with elements of A, and BV_W(X;A) defined via an integration-by-parts formula using derivations acting in duality with A. The central result supplies a sufficient condition on A under which BV_H(X;A) coincides with the standard metric BV space BV_H(X) (recovered when A is the full locally Lipschitz algebra). The condition is verified for several concrete algebras, including smooth functions on Euclidean and Riemannian spaces and cylinder functions on Banach and Wasserstein spaces. The work is positioned as an extension of prior results on metric Sobolev spaces H^{1,p}.
Significance. If the sufficient condition is correctly formulated and the verifications for the listed examples are complete, the result supplies a precise bridge between energy-approximation and duality-based definitions of BV spaces in the metric setting. This unifies two approaches that have been studied separately and extends the analogous Sobolev-space theory to the BV case, with direct applicability to standard spaces arising in geometric analysis and optimal transport.
minor comments (2)
- The abstract refers to 'the algebra A admits derivations acting in duality' without a numbered definition or reference to the precise axiom set used for the duality pairing; a forward reference to the relevant section would improve readability.
- Notation for the two BV spaces (BV_H and BV_W) is introduced in the abstract but the precise dependence on the measure m and the metric d is not restated in the statement of the main theorem; adding an explicit dependence in the theorem label would prevent ambiguity.
Simulated Author's Rebuttal
We thank the referee for the positive report, accurate summary of the manuscript, and recommendation to accept. No major comments were raised that require a point-by-point response.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper introduces two BV notions (energy approximation BV_H(X;A) and duality-based BV_W(X;A)) from a unital algebra A of locally Lipschitz functions on a metric measure space, then proves a sufficient condition on A under which BV_H(X;A) equals the standard metric BV_H(X). This is established via direct comparison of definitions and approximation properties, with applications verified for concrete algebras (smooth functions, cylinder functions) by explicit checks rather than reduction to prior self-citations or fitted inputs. The argument relies on standard duality and integration-by-parts without self-referential loops or renaming of known results as new derivations. The cited prior work on Sobolev spaces is by different authors and serves as analogy, not load-bearing premise.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard definitions and properties of metric measure spaces (X,d,m) and locally Lipschitz functions
- domain assumption Existence of derivations acting in duality with the algebra A
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
L. Ambrosio, E. Bru` e, and D. Semola. Rigidity of the 1-Ba kry-´Emery inequality and sets of finite perimeter in RCD spaces. Geom. Funct. Anal. , 29:949–1001, 2019
work page 2019
-
[4]
L. Ambrosio and S. Di Marino. Equivalent definitions of BV space and of total variation on metric measure spaces. J. Funct. Anal. , 266(7):4150–4188, 2014
work page 2014
-
[5]
L. Ambrosio, M. Erbar, and G. Savar´ e. Optimal transport , Cheeger energies and contractivity of dynamic transport distances in extended spaces. Nonlinear Analysis , 137:77–134, 2016
work page 2016
-
[6]
L. Ambrosio, N. Gigli, and G. Savar´ e. Density of Lipschi tz functions and equivalence of weak gradients in metric measure spaces. Rev. Mat. Iberoam. , 29(3):969–996, 2013
work page 2013
-
[7]
L. Ambrosio, T. Ikonen, D. Luˇ ci´ c, and E. Pasqualetto. M etric Sobolev spaces I: equivalence of definitions. Milan Journal of Mathematics , pages 1–93, 2024
work page 2024
-
[8]
G. Antonelli, C. Brena, and E. Pasqualetto. The Rank-One Theorem on RCD spaces. Analysis & PDE , 17(8):2797–2840, 2024
work page 2024
-
[9]
V. I. Bogachev. Measure theory. Vol. I, II . Springer-Verlag, Berlin, 2007
work page 2007
-
[10]
G. Bouchitt´ e, G. Buttazzo, and P. Seppecher. Energies with respect to a measure and applications to low dimensional structures. Calc. Var. Partial Differential Equations , 5(1):37–54, 1997
work page 1997
-
[11]
C. Brena and N. Gigli. Calculus and fine properties of fun ctions of bounded variation on RCD spaces. The Journal of Geometric Analysis , 34(1):11, 2023
work page 2023
- [12]
- [13]
-
[14]
J. Cheeger. Differentiability of Lipschitz functions o n metric measure spaces. Geom. Funct. Anal., 9(3):428–517, 1999
work page 1999
-
[15]
L. Dello Schiavo and G. E. Sodini. The Hellinger–Kantor ovich metric measure geometry on spaces of measures. arXiv preprint, arXiv:2503.07802, 2025
- [16]
-
[17]
Sobolev and BV spaces on metric measure spaces via derivations and integration by parts
S. Di Marino. Sobolev and BV spaces on metric measure spa ces via derivations and integration by parts. arXiv preprint, arXiv:1409.5620, 2014
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[18]
S. Di Marino, N. Gigli, E. Pasqualetto, and E. Soultanis . Infinitesimal Hilbertianity of Locally CAT( κ)-Spaces. J. Geom. Anal. , pages 1–65, Nov 2020
work page 2020
-
[19]
S. Di Marino, N. Gigli, and A. Pratelli. Global Lipschit z extension preserving local constants. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. , 31(4):757–765, 2020
work page 2020
-
[20]
M. Fornasier, G. Savar´ e, and G. E. Sodini. Density of su balgebras of Lipschitz functions in metric Sobolev spaces and applications to Wasserstein Sobolev spaces. J. Funct. Anal. , 285(11):110153, 2023
work page 2023
-
[21]
M. S. Gelli and D. Luˇ ci´ c. A note on BV and 1-Sobolev func tions on the weighted Euclidean space. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. , 33:757–794, 2023
work page 2023
-
[22]
N. Gigli. Lecture notes on differential calculus on RCD spaces. Publ. RIMS Kyoto Univ. , 54, 2018
work page 2018
-
[23]
N. Gigli. Nonsmooth differential geometry—an approach tailored for spaces with Ricci curvature bounded from below. Mem. Amer. Math. Soc. , 251(1196), 2018
work page 2018
-
[24]
N. Gigli and E. Pasqualetto. Differential structure ass ociated to axiomatic Sobolev spaces. Expositiones Math- ematicae, 38(4):480–495, 2020
work page 2020
-
[25]
J. Kinnunen, R. Korte, A. Lorent, and N. Shanmugalingam . Regularity of sets with quasiminimal boundary surfaces in metric spaces. J. Geom. Anal. , 23(4):1607–1640, 2013. FUNCTIONS OF BOUNDED V ARIATION AND LIPSCHITZ ALGEBRAS IN ME TRIC MEASURE SPACES 25
work page 2013
-
[26]
J. Kinnunen, R. Korte, N. Shanmugalingam, and H. Tuomin en. Pointwise properties of functions of bounded variation in metric spaces. Revista Matem´ atica Complutense, 27:41–67, 2014
work page 2014
-
[27]
P. Lahti. A new Federer-type characterization of sets o f finite perimeter. Archive for Rational Mechanics and Analysis, 236(2):801–838, 2020
work page 2020
-
[28]
D. Luˇ ci´ c and E. Pasqualetto. Yet another proof of the d ensity in energy of Lipschitz functions. manuscripta mathematica, 175:421–438, 2024
work page 2024
-
[29]
D. Luˇ ci´ c and E. Pasqualetto. An axiomatic theory of normed modules via Riesz spaces. The Quarterly Journal of Mathematics , 75:1429–1479, 2024
work page 2024
-
[30]
O. Martio. Functions of bounded variation and curves in metric measure spaces. Advances in Calculus of Variations, 9(4):305–322, 2016
work page 2016
-
[31]
O. Martio. The space of functions of bounded variation o n curves in metric measure spaces. Conform. Geom. Dyn., 20:81–96, 2016
work page 2016
-
[32]
M. Miranda Jr. Functions of bounded variation on “good” metric spaces. Journal de Math´ ematiques Pures et Appliqu´ ees, 82(8):975–1004, 2003
work page 2003
- [33]
-
[34]
E. Pasqualetto. Smooth approximations preserving asy mptotic Lipschitz bounds. arXiv preprint, arXiv:2409.01772, 2024
-
[35]
E. Pasqualetto and J. Taipalus. Derivations and Sobole v functions on extended metric-measure spaces. arXiv preprint, arXiv:2503.02596
- [36]
-
[37]
G. E. Sodini. The general class of Wasserstein Sobolev s paces: density of cylinder functions, reflexivity, uniform convexity and Clarkson’s inequalities. Calc. Var. Partial Differ. Equ. , 62(7):212, 2023. Department of Mathematics and Statistics, P.O. Box 35 (MaD) , FI-40014 University of Jyvaskyla Email address : enrico.e.pasqualetto@jyu.fi Institut fur M...
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.