Nonsymmetric sign-changing solutions for the partially overdetermined eigenvalue problem on a hollow cylinder

Abstract

Fix $R\in(0,1)$ and $N\geq2$, and let $\lambda_k$ be the $k$th eigenvalue of the radial Dirichlet problem on the annulus $A_R:=\{x\in\mathbb R^N:R<|x|<1\}$. For every $k\geq1$ we construct a smooth local family of rotationally symmetric, axially periodic perturbations of the hollow cylinder $A_R\times\mathbb R$ for which \begin{equation} -\Delta u=\lambda u\quad\hbox{in }\Omega,\qquad u=0\quad\hbox{on }\partial\Omega_{\mathrm{out}}\cup\partial\Omega_R,\qquad \partial_\nu u=\hbox{constant}\quad\hbox{on }\partial\Omega_{\mathrm{out}} \nonumber \end{equation} admits a nonradial periodic solution. The branch bifurcates from the $k$th radial eigenfunction. If $k\geq2$, the solution is sign-changing: it has precisely $k-1$ smooth nested nodal hypersurfaces and hence exactly $k$ nodal domains. We also give an explicit connected-strip analogue when $N=1$. The proof is based on a mean-free Dirichlet-to-Neumann operator. A Sturm--Liouville Weyl function yields a unique simple crossing in the first spectral gap, so that the Crandall--Rabinowitz theorem produces a smooth local branch. This gives a partially overdetermined construction on an unbounded hollow domain with disconnected complement; it lies outside the positivity and connected-complement hypotheses of the Berestycki--Caffarelli--Nirenberg conjecture.