Traces on General Sets in Rn for Functions with no Differentiability Requirements
This paper is concerned with developing a theory of traces for functions that are integrable but need not possess any differentiability within their domain. Moreover, the domain can have an irregular boundary with cusp-like features and codimension not necessarily equal to one, or even an integer. Given Ω⊆Rn and Γ⊆∂Ω, we introduce a function space Ns(⋅),p(Ω)⊆Llocp(Ω) for which a well-defined trace operator can be identified. Membership in Ns(⋅),p(Ω) constrains the oscillations in the function values as Γ is approached, but does not imply any regularity away from Γ. Under connectivity assumptions between Ω and Γ, we produce a linear trace operator from Ns(⋅),p(Ω) to the space of measurable functions on Γ. The connectivity assumptions are satisfied, for example, by all 1-sided nontangentially accessible domains. If Γ is upper Ahlfors-regular, then the trace is a continuous operator into a Sobolev-Slobodeckij space. If Γ=∂Ω and is further assumed to be lower Ahlfors-regular, then the trace exhibits the standard Lebesgue point property. To demonstrate the generality of the results, we construct Ω⊆R2 with a t>1-dimensional Ahlfors-regular Γ⊆∂Ω satisfying the main domain hypotheses, yet Γ is nowhere rectifiable and for every neighborhood of every point in Γ, there exists a boundary point within that neighborhood that is only tangentially accessible.