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 R d with boundary , we first construct a directional trace in any direction of the unit sphere, for any u L 2 () whose the directional derivative u in the direction belongs to L 2 (). This directional trace is shown to belong to L 2 (, ), where is a measure supported by the closure of all points of 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 () C 0 () in H 1 (). Examples where H 1 tr () = H 1 () and H 1 tr () __ = H 1 () 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}
}