Regularity of a free boundary with application to the Pompeiu problem

Caffarelli, Luis A.; Karp, Lavi; Shahgholian, Henrik

Regularity of a free boundary with application to the Pompeiu problem

Authors

Caffarelli, Luis A.

Karp, Lavi

Shahgholian, Henrik

Description

In the unit ball B(0,1), let $u$ and $Ω$ (a domain in $\R$) solve the following overdetermined problem: $$Δu =χ_Ω\quad \hbox{in} B(0,1), \qquad 0 \in \partial Ω, \qquad u=|\nabla u |=0 \quad \hbox{in} B(0,1)\setminus Ω,$$ where $χ_Ω$ denotes the characteristic function, and the equation is satisfied in the sense of distributions. If the complement of $Ω$ does not develop cusp singularities at the origin then we prove $\partial Ω$ is analytic in some small neighborhood of the origin. The result can be modified to yield for more general divergence form operators. As an application of this, then, we obtain the regularity of the boundary of a domain without the Pompeiu property, provided its complement has no cusp singularities.
24 pages