Nontrivial solutions to Serrin's problem in annular domains

Abstract

We construct nontrivial smooth bounded domains $Ω\subseteq \mathbb{R}^n$ of the form $Ω_0 \setminus \overlineΩ_1$, bifurcating from annuli, for which there exists a positive solution to the overdetermined boundary value problem \[ -Δu = 1, \; u>0 \quad \text{in } Ω, \qquad u = 0 ,\; \partial_νu = \text{const} \quad \text{on } \partialΩ_0, \qquad u = \text{const} ,\; \partial_νu = \text{const} \quad \text{on } \partial Ω_1, \] where $ν$ stands for the inner unit normal to $\partialΩ$. From results by Reichel and later by Sirakov, it was known that the condition $\partial_νu \leq 0$ on $\partialΩ_1$ is sufficient for rigidity to hold, namely, the only domains which admit such a solution are annuli and solutions are radially symmetric. Our construction shows that the condition is also necessary. In addition, the constructed domains are shown to be self-Cheeger.