Traces of Sobolev functions on regular surfaces in infinite dimensions

From MaRDI portal
Publication:2452474



Abstract: In a Banach space X endowed with a nondegenerate Gaussian measure, we consider Sobolev spaces of real functions defined in a sublevel set O=xinX:;G(x)<0 of a Sobolev nondegenerate function G:XmapstoR. We define the traces at G−1(0) of the elements of W1,p(O,mu) for p>1, as elements of L1(G−1(0),ho) where ho is the surface measure of Feyel and de La Pradelle. The range of the trace operator is contained in Lq(G−1(0),ho) for 1leqq<p and even in Lp(G−1(0),ho) under further assumptions. If O 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 G−1(0).





Cited in
(24)








This page was built for publication: Traces of Sobolev functions on regular surfaces in infinite dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2452474)