2000/10/02 by Luis A. Caffarelli, Lavi Karp, Henrik Shahgholian · 2 citations
Mathematics · #math.AP #msc:35R35
published as Ann. of Math. (2) 151 (2000), no. 1, 269--292 · 24 pages
arxiv created 2000/10/02 · arxiv updated 2009/11/30
In the unit ball B(0,1), let u and Ω (a domain in \R) solve the following overdetermined problem: Δu =χΩ \hboxin B(0,1), 0 ∈ ∂ Ω, u=|∇ u |=0 \hboxin B(0,1)∖ Ω, 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 ∂ Ω 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.