Domains of elliptic operators on sets in Wiener space

Abstract

Let [Formula: see text] be a separable Banach space endowed with a non-degenerate centered Gaussian measure [Formula: see text]. The associated Cameron–Martin space is denoted by [Formula: see text]. Consider two sufficiently regular convex functions [Formula: see text] and [Formula: see text]. We let [Formula: see text] and [Formula: see text]. In this paper, we study the domain of the self-adjoint operator associated with the quadratic form [Formula: see text] and we give sharp embedding results for it. In particular, we obtain a characterization of the domain of the Ornstein–Uhlenbeck operator in Hilbert space with [Formula: see text] and on half-spaces, namely if [Formula: see text] and [Formula: see text] is an affine function, then the domain of the operator defined via (0.1) is the space [Formula: see text] where [Formula: see text] is the Feyel–de La Pradelle Hausdorff–Gauss surface measure.