局部Malliavin假设下的面积分构造与分部积分公式

在本文中，我们考虑无限维希尔伯特空间中的凸集$K_r = \{g \ge r\}$，其中$g$与$H$中的参考高斯测度$\mu$适当相关。我们首先展示如何定义在水平集$\{g = r\}$上且与$\mu$相关的表面测度。这使得能够在$H$中引入分部积分公式。该公式可应用于若干重要构造，例如$\mu$是（高斯）随机过程的定律且$H$是其轨迹空间的情况。