Extending Sobolev Functions with Partially Vanishing Traces from Locally (epsilon,delta)-Domains and Applications to Mixed Boundary Problems
We prove that given any positive integer k, for each open set Ω and any closed subset D of its closure such that Ω is locally an (epsilon,delta)-domain near points in the boundary of Ω not contained in D there exists a linear and bounded extension operator E mapping, for each p∈[1,∞], the space WDk,p(Ω) into WDk,p(Rn). Here, with O denoting either Ω or the entire ambient, the space WDk,p(O) is defined as the completion in the classical Sobolev space Wk,p(O) of compactly supported smooth functions whose supports are disjoint from D. In turn, this result is used to develop a functional analytic theory for the class WDk,p(Ω) (including intrinsic characterizations, boundary traces and extensions results, interpolation theorems, among other things) which is then employed in the treatment of mixed boundary value problems formulated in locally (epsilon,delta)-domains.