We compare different notions of differentiability of a measure along a vector field on a locally convex space. We consider in the L2-space of a differentiable measure the analog of the classical concepts of gradient, divergence and Laplacian (which coincides with the Ornstein–Uhlenbeck operator in the Gaussian case). We use these operators for the extension of the basic results of Malliavin and Stroock on the smoothness of finite dimensional image measures under certain nonsmooth mappings to the case of non-Gaussian measures. The proof of this extension is quite straight forward and does not use any Chaos-decomposition. Finally, the role of this Laplacian in the procedure of quantization of anharmonic oscillators is discussed.
AbstractIn this paper, we introduce a definition of BV functions for (non-Gaussian) differentiable measure in a Gelfand triple which is an extension of the definition of BV functions in [Ann. Probab. 40 (2012), 1759–1794], using Dirichlet form theory. By this definition, we can analyze the reflected stochastic quantization problem associated with a self-adjoint operator
SMOOTH PROBABILITY MEASURES AND ASSOCIATED DIFFERENTIAL OPERATORS