We construct nontrivial bounded, real analytic domains Ω⊆Rn of the form Ω0∖Ω‾1, bifurcating from annuli, which admit a positive solution to the overdetermined boundary value problem{−Δu=1,u>0 in Ω,u=0,∂νu=const on ∂Ω0,u=const,∂νu=const on ∂Ω1, where ν stands for the inner unit normal to ∂Ω. From results by Reichel [1] and later by Sirakov [2], it was known that the condition ∂νu≤0 on ∂Ω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, we show that the constructed domains are self-Cheeger.
Read full abstract