References & Citations
Mathematics > Analysis of PDEs
Title: Generic regularity of free boundaries for the obstacle problem
(Submitted on 2 Dec 2019 (v1), last revised 24 Jun 2020 (this version, v2))
Abstract: The goal of this paper is to establish generic regularity of free boundaries for the obstacle problem in $\mathbb R^n$. By classical results of Caffarelli, the free boundary is $C^\infty$ outside a set of singular points. Explicit examples show that the singular set could be in general $(n-1)$-dimensional ---that is, as large as the regular set. Our main result establishes that, generically, the singular set has zero $\mathcal H^{n-4}$ measure (in particular, it has codimension 3 inside the free boundary). In particular, for $n\leq4$, the free boundary is generically a $C^\infty$ manifold. This solves a conjecture of Schaeffer (dating back to 1974) on the generic regularity of free boundaries in dimensions $n\leq4$.
Submission history
From: Xavier Ros-Oton [view email][v1] Mon, 2 Dec 2019 12:24:34 GMT (82kb)
[v2] Wed, 24 Jun 2020 08:59:30 GMT (83kb)
Link back to: arXiv, form interface, contact.