English

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

Functional Analysis 2026-03-23 v2

Abstract

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

Keywords

Cite

@article{arxiv.2502.02107,
  title  = {Trace operator on H 1 ($\Omega$) for general open bounded domains},
  author = {Robert Eymard and Thierry Gallouët and David Maltese and Yannick Vincent},
  journal= {arXiv preprint arXiv:2502.02107},
  year   = {2026}
}
R2 v1 2026-06-28T21:31:47.620Z