文摘
In a Banach space X endowed with a nondegenerate Gaussian measure, we consider Sobolev spaces of real functions defined in a sublevel set of a Sobolev nondegenerate function . We define the traces at of the elements of for , as elements of where 蟻 is the surface measure of Feyel and de La Pradelle. The range of the trace operator is contained in for and even in under further assumptions. If is a suitable halfspace, the range is characterized as a sort of fractional Sobolev space at the boundary. An important consequence of the general theory is an integration by parts formula for Sobolev functions, which involves their traces at .