Symmetry conjecture for the Robin torsion overdetermined system

About 1 year old · traced to

Let Ω⊂Rn\Omega\subset\mathbb{R}^n be a bounded Lipschitz domain, let ν\nu denote the unit outward normal on ∂Ω\partial\Omega, and let β>0\beta>0. Consider the overdetermined system

{−Δu=1in Ω,∂u∂ν+βu=0on ∂Ω,−β2u2+12∣∇u∣2+β2u2H−u=constanton ∂Ω,\begin{cases} -\Delta u=1 & \text{in }\Omega,\\ \frac{\partial u}{\partial\nu}+\beta u=0 & \text{on }\partial\Omega,\\ -\beta^2u^2+\frac{1}{2}|\nabla u|^2+\frac{\beta}{2}u^2H-u=\text{constant} & \text{on }\partial\Omega, \end{cases}

where HH is the mean curvature of ∂Ω\partial\Omega. Robin torsion symmetry conjecture. For any β>0\beta>0, the domain for which this overdetermined system admits a solution must be a ball. This would extend the classical symmetry conclusion in Serrin's Dirichlet limit and characterize balls among domains supporting the critical overdetermined system associated with the Robin torsion functional. The ball is known to be the unique volume-constrained minimizer of that functional, but the asserted classification of all domains admitting a solution remains open.

References

Primary source

Qinfeng Li, Juncheng Wei and Ruofei Yao, “Monotonicity properties of the Robin torsion function in a class of symmetric planar domains”, arXiv:2509.14648 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.