A type of Gauss' divergence formula on Wiener spaces

Abstract

We will formulate a type of Gauss' divergence formula on sets of functions which are greater than a specific value of which boundaries are not regular. Such formula was first established by L. Zambotti in 2002 with a profound study of stochastic processes. In this paper we will give a much shorter and simpler proof for his formula in a framework of the Malliavin calculus and give alternate expressions. Our approach also enables to show that such formulae hold in other Gaussian spaces.