Solutions to overdetermined elliptic problems in nontrivial exterior domains
In this paper we construct nontrivial exterior domains $Ω\subset \mathbb{R}^N$, for all $N\geq 2$, such that the problem $$\left\{ {ll} -Δu +u -u^p=0,\ u >0 & \mbox{in }\; Ω, {1mm] \ u= 0 & \mbox{on }\; \partial Ω, [1mm] \ \frac{\partial u}{\partial ν} = \mbox{cte} & \mbox{on }\; \partial Ω, \right.$$ admits a positive bounded solution. This result gives a negative answer to the Berestycki-Caffarelli-Nirenberg conjecture on overdetermined elliptic problems in dimension 2, the only dimension in which the conjecture was still open. For higher dimensions, different counterexamples have been found in the literature; however, our example is the first one in the form of an exterior domain.