{"id":"arxiv/2608.18400","url":"https://arxiv.org/abs/2608.18400","tags":["math.AP"],"score":0,"title":"Regularity and non-degeneracy of $Φ^*[I]$ implies regularity of the fixed boundary $\\partialΩ$","domain":"math.AP","source":"arxiv","authors":["Henrik Garde","Michael S. Vogelius"],"reviews":0,"subject":"math.AP","summary":"For a diffeomorphism $Φ$ of a domain $\\overlineΩ$ onto itself, which is the identity on $\\partialΩ$, we prove that local regularity of the push-forward $Φ^*[I]$ implies local regularity of $\\partialΩ$, provided a certain non-degeneracy condition is satisfied. To be precise, if $ν$ is a normal to $\\partialΩ$ at a point $P$, then the condition $(Φ^*[I](P)-I)ν\\neq 0$ and the assumption that $Φ^*[I]$ is of class $C^{k+1,α}$ near $P$ imply that $\\partialΩ$ is also of class $C^{k+1,α}$ near $P$. This result naturally complements recent regularity results for non-scattering inhomogeneities.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}