English

Confirmed answer to the Schiffer conjecture and the Berenstein conjecture

Analysis of PDEs 2025-01-16 v2

Abstract

Let Ω\Omega be a bounded domain in RN+1\mathbb{R}^{N+1} with a connected C2,ϵC^{2,\epsilon} (ϵ(0,1)\epsilon\in(0,1)) boundary. We show that, if the following overdetermined elliptic problem \begin{equation} -\Delta u=\alpha u\,\, \text{in}\,\,\Omega, \,\, u=0\,\,\text{on}\,\, \partial\Omega,\,\,\frac{\partial u}{\partial n} =c\,\,\text{on}\,\,\partial\Omega\nonumber \end{equation} has a nontrivial solution, then Ω\Omega is a ball, which is exactly the affirmative answer to the Berenstein conjecture. Similarly, we show that, if Ω\Omega has a Lipschitz connected boundary and the following overdetermined elliptic problem \begin{equation} -\Delta u=\alpha u\,\, \text{in}\,\,\Omega, \,\, \frac{\partial u}{\partial n}=0\,\,\text{on}\,\, \partial\Omega,\,\,u =c\,\,\text{on}\,\,\partial\Omega\nonumber \end{equation} has a nontrivial solution, then Ω\Omega is also a ball, which is exactly the affirmative answer to the Schiffer conjecture.

Keywords

Cite

@article{arxiv.2501.02724,
  title  = {Confirmed answer to the Schiffer conjecture and the Berenstein conjecture},
  author = {Guowei Dai},
  journal= {arXiv preprint arXiv:2501.02724},
  year   = {2025}
}

Comments

The proof of constant breadth of domain is insufficient. After the modification, I will upload it again