{"id":"arxiv/2602.12007","url":"https://arxiv.org/abs/2602.12007","tags":["math.AP"],"score":0,"title":"Density of Neumann regular smooth functions in Sobolev spaces of subanalytic manifolds","domain":"math.AP","source":"arxiv","authors":["Guillaume Valette"],"reviews":0,"subject":"math.AP","summary":"We give characterizations of the bounded subanalytic $\\mathscr{C}^\\infty$ submanifolds $M$ of $\\mathbb{R}^n$ for which the space of Neumann regular functions is dense in Sobolev spaces. By ``Neumann regular function'', we mean a function which is smooth at almost every boundary point and whose gradient is tangent to the boundary. In the case $p\\in [1,2]$, we prove that the Neumann regular elements of $\\mathscr{C}^\\infty(\\overline{M})$ are dense in $W^{1,p}(M)$ if and only if $M$ is connected at almost every boundary point. In the case $p$ large, we show that the Neumann regular Lipschitz…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-12","reactions":{}}