Regularity and non-degeneracy of $Φ^*[I]$ implies regularity of the fixed boundary $\partialΩ$
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.18400
curl -X POST /api/v1/records/arxiv/2608.18400/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.18400/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'