Trace operator on H 1 ($Ω$) for general open bounded domains

Abstract

In the case of any bounded open set $Ω$ $\subset$ R d with boundary $\partial$$Ω$, we first construct a directional trace in any direction $θ$ of the unit sphere, for any u $\in$ L 2 ($Ω$) whose the directional derivative $\partial$ $θ$ u in the direction $θ$ belongs to L 2 ($Ω$). This directional trace is shown to belong to L 2 ($\partial$$Ω$, $μ$ $θ$ ), where $μ$ $θ$ is a measure supported by the closure of all points of $\partial$$Ω$ which are the extremity of an open segment directed by $θ$, included in $Ω$. This trace enables an integration by parts formula. We then show that the set H 1 tr ($Ω$) containing the elements of H 1 ($Ω$) whose the directional trace does not depend on $θ$ is closed. It therefore contains the closure of H 1 ($Ω$) $\cap$ C 0 ($Ω$) in H 1 ($Ω$). Examples where H 1 tr ($Ω$) = H 1 ($Ω$) and H 1 tr ($Ω$) __ = H 1 ($Ω$) are provided.