度量测度空间中的有界变差函数与Lipschitz代数
Functions of bounded variation and Lipschitz algebras in metric measure spaces
摘要 Abstract
给定一个定义在度量测度空间$({\mathrm X},{\mathsf d},\mathfrak m)$上的局部Lipschitz函数的单位代数$\mathscr A$,我们研究了两个与之相关的有界变差点的概念及其关系:通过能量逼近元素于$\mathscr A$得到的空间${\mathrm BV}_{\mathrm H}({\mathrm X};\mathscr A)$,以及通过涉及与$\mathscr A$对偶作用的分部积分公式定义的空间${\mathrm BV}_{\mathrm W}({\mathrm X};\mathscr A)$。我们的主要结果给出了代数$\mathscr A$的一个充分条件,使得${\mathrm BV}_{\mathrm H}({\mathrm X};\mathscr A)$与标准的度量有界变差点空间${\mathrm BV}_{\mathrm H}({\mathrm X})$(即取$\mathscr A$为所有局部Lipschitz函数的集合)一致。该结果适用于多个有趣的例子,例如欧几里得空间和具有光滑函数代数的黎曼流形,或者具有柱状函数代数的Banach空间和Wasserstein空间。对于指数$p\in(1,\infty)$的度量Sobolev空间${\mathrm H}^{1,p}$,类似的结果之前已被多位作者独立获得。
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.