Traces of Sobolev functions on regular surfaces in infinite dimensions

Pietro Celada, Alessandra Lunardi

In a Banach space $X$ endowed with a nondegenerate Gaussian measure, we consider Sobolev spaces of real functions defined in a sublevel set $O=\{x\in X:G(x)<0\}$ of a Sobolev n…