On sets of finite perimeter in Wiener spaces: reduced boundary and convergence to halfspaces (Q2376638)

A set \(E\) in a Gaussian Banach space \((X, \gamma)\) is called a set of finite Gaussian perimeter if \[ \int_{E}\partial_{h}\phi d\gamma = -\int_{X}\phi d\langle D_{\gamma}\chi_{E}, h\rangle_{H} +\int_{E}\phi \hat{h}d\gamma \] for all \(\phi\in C^{1}_{b}(X)\) and \(h\in H\). Here, \(H\) is the Cameron-Martin space of \((X, \gamma)\) and \(D_{\gamma}\chi_{E}\) is a \(H\)-valued measure with finite total variation in \(X\). The authors prove that a set \(E\) of finite Gaussian perimeter satisfies the equation \[ \lim\limits_{t\to 0} \int_{X}\|\chi_{E_{x,t}} -\chi_{S(x)}\|_{L^{1}(\gamma)}d |D_{\gamma}\chi_{E}|(x)=0, \] where \[ E_{x,t} = \frac{E-e^{-t}x}{\sqrt{1-e^{-2t}}}, \] and \(S(x)\) is a certain halfspace.