{"id":"arxiv/2605.18056","url":"https://arxiv.org/abs/2605.18056","tags":["math.AP"],"score":0,"title":"The omnidirectional trace in H 1 ($Ω$)","domain":"math.AP","source":"arxiv","authors":["Robert Eymard","Thierry Gallouët","David Maltese","Lucas Oger"],"reviews":0,"subject":"math.AP","summary":"We first prove that all the functions in L 2 whose directional derivative is in L 2 have a directional trace on the boundary of any open bounded domain, without assumptions on its regularity. This enables us to define the omnidirectional trace of the elements of the Sobolev space H 1 ($Ω$) for which there exists a function on the boundary that is almost everywhere equal, with respect to the directional measure, to the directional trace, regardless of the direction. The set of all these elements of H 1 ($Ω$), denoted by H 1 tr ($Ω$), is shown to be closed, and to always contain the closure in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-18","reactions":{}}