Confirmed answer to the Schiffer conjecture and the Berenstein conjecture
Abstract
Let be a bounded domain in with a connected () 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 is a ball, which is exactly the affirmative answer to the Berenstein conjecture. Similarly, we show that, if 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 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