pith. sign in

arxiv: 2604.07002 · v1 · submitted 2026-04-08 · 🧮 math.AP

Spherical rigidity for an exterior overdetermined problem with Neumann data prescribed by mean curvature

Lukas Niebel This is my paper

Pith reviewed 2026-05-10 17:41 UTC · model grok-4.3

classification 🧮 math.AP
keywords overdetermined elliptic problemexterior domainmean curvatureNeumann boundary conditionrigiditystar-shaped domainPohozaev identitycapacitary potential
0
0 comments X

The pith

For N at least 3, only balls solve the overdetermined exterior problem with Neumann data equal to Γ times mean curvature when Γ is at least N-2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies an overdetermined elliptic problem on exterior domains in R^N where the Neumann boundary value is prescribed as Γ times the mean curvature of the boundary, subject to a spherical compatibility condition. It proves that for dimensions three and higher, the only star-shaped domains admitting a solution are the exteriors of balls when the parameter Γ meets or exceeds N-2. At the critical value Γ equals N-2 the star-shaped assumption drops and the same uniqueness holds for arbitrary bounded domains. The arguments rely on the Pohozaev identity, geometric boundary relations, and a sharp inequality for capacitary potentials; a separate moving-plane argument covers the case of non-positive Γ. In two dimensions the unit disk is the sole admissible domain for every value of Γ.

Core claim

For N ≥ 3 we prove rigidity of the spherical solution among star-shaped domains when Γ ≥ N-2; in the borderline case Γ = N-2, the star-shapedness assumption can be removed, and rigidity holds among all bounded domains. The proof combines the Pohozaev identity, geometric identities, and the sharp boundary inequality of Agostiniani and Mazzieri for capacitary potentials. We also obtain rigidity among bounded domains for Γ ≤ 0 via Serrin's moving plane method. In dimension two, the unit disc is the only admissible domain for every Γ.

What carries the argument

The exterior overdetermined elliptic problem with Neumann data prescribed as Γ times boundary mean curvature together with the spherical compatibility condition; it supplies the integral identities and boundary inequalities needed to force the domain to be a ball.

Load-bearing premise

The exterior domain must satisfy the spherical compatibility condition and admit a solution to the elliptic problem, with the additional assumption of star-shapedness except in the critical case Γ equals N-2.

What would settle it

A single non-ball star-shaped bounded domain in R^3 for Γ greater than N-2 that satisfies the compatibility condition and for which the overdetermined problem possesses a solution would falsify the rigidity claim.

Figures

Figures reproduced from arXiv: 2604.07002 by Lukas Niebel.

Figure 1
Figure 1. Figure 1: Schematic rigidity/bifurcation picture (not to scale). The solid black part and the filled black points indicate global rigidity, the open circles indicate bifurcation values, the dashed part denotes the re￾gime of close-to-spherical local rigidity, and the dotted ray denotes global rigidity in the class of star-shaped domains. Remark 1.6. We emphasise that the bifurcation branches of [20, 9] are small C2 … view at source ↗
read the original abstract

We study an overdetermined elliptic free boundary problem for exterior domains in $\mathbb{R}^N$, $N \ge 2$, introduced by F. Morabito [Comm. PDE 46 (2021), 1137-1161]. The overdetermining condition prescribes the Neumann data as a multiple of the boundary mean curvature, with parameter $\Gamma$, together with a spherical compatibility condition. For $N \ge 3$, we prove rigidity of the spherical solution among star-shaped domains when $\Gamma \ge N-2$; in the borderline case $\Gamma = N-2$, the star-shapedness assumption can be removed, and rigidity holds among all bounded domains. The proof combines the Pohozaev identity, geometric identities, and the sharp boundary inequality of Agostiniani and Mazzieri for capacitary potentials. We also obtain rigidity among bounded domains for $\Gamma \le 0$ via Serrin's moving plane method. In dimension two, the unit disc is the only admissible domain for every $\Gamma$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The manuscript studies an overdetermined elliptic free boundary problem for exterior domains in R^N (N≥2) introduced by Morabito, where the Neumann data is prescribed as Γ times the boundary mean curvature together with a spherical compatibility condition. For N≥3 it proves that spheres are the only star-shaped solutions when Γ≥N-2; when Γ=N-2 the star-shaped assumption is removed and rigidity holds for all bounded domains. For Γ≤0 rigidity among bounded domains is obtained via Serrin's moving-plane method. In dimension 2 the unit disk is the unique admissible domain for every Γ. The proofs combine the Pohozaev identity, geometric identities, the Agostiniani-Mazzieri sharp boundary inequality for capacitary potentials, and moving planes.

Significance. If the derivations are complete, the results meaningfully extend the theory of overdetermined problems to the exterior setting, which is technically more delicate because of behavior at infinity. The parameter-dependent conclusions, especially the relaxation of star-shapedness precisely when Γ=N-2, and the separate 2D treatment are valuable. The combination of classical tools (Pohozaev, Serrin) with the cited sharp inequality is appropriate and yields falsifiable symmetry statements under explicitly stated hypotheses.

major comments (1)
  1. The central rigidity statements are conditional on the existence of a solution to the underlying elliptic problem and on the spherical compatibility condition; the manuscript should explicitly verify that these hypotheses are compatible with the exterior geometry and do not inadvertently restrict the class of domains to spheres before the rigidity argument begins.
minor comments (3)
  1. In the introduction, briefly recall the precise form of the spherical compatibility condition (including the normalization of mean curvature) so that the reader can immediately check the range of Γ under consideration.
  2. When applying the Agostiniani-Mazzieri inequality in the exterior setting, add a short remark confirming that the capacitary potential satisfies the decay and monotonicity hypotheses of that inequality at infinity.
  3. The 2D case is stated to follow from known results; a one-sentence indication of which classical theorem is invoked would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thorough reading and constructive comments on our work. We are pleased that the significance of the results is recognized. Below we address the major comment point by point.

read point-by-point responses

  1. Referee: The central rigidity statements are conditional on the existence of a solution to the underlying elliptic problem and on the spherical compatibility condition; the manuscript should explicitly verify that these hypotheses are compatible with the exterior geometry and do not inadvertently restrict the class of domains to spheres before the rigidity argument begins.

    Authors: We agree that clarifying the compatibility of the hypotheses is important to avoid any potential misunderstanding. In the manuscript, the underlying elliptic problem is the one introduced by Morabito, and the spherical compatibility condition is explicitly derived from the expansion at infinity of the capacitary potential for the exterior domain (see Section 2). This condition is satisfied by the sphere, as shown by direct computation, but it is formulated in a way that applies to general exterior domains without assuming sphericity a priori. To make this more explicit, we will add a dedicated paragraph in the introduction of the revised version, verifying that the condition is compatible with the exterior geometry and does not restrict the admissible domains to spheres independently of the overdetermined condition. This will strengthen the presentation without altering the proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via external tools

full rationale

The paper's rigidity result for the exterior overdetermined problem is obtained by applying the Pohozaev identity, geometric identities on the boundary, the Agostiniani-Mazzieri inequality for capacitary potentials, and Serrin's moving planes method (for Γ ≤ 0). These are independent, externally established results whose statements do not depend on the present work. The spherical compatibility condition is imposed as a hypothesis, star-shapedness is used only for Γ > N-2 and explicitly dropped for the borderline case, and the 2D case is handled separately. No load-bearing step reduces a claimed prediction or uniqueness statement to a quantity defined or fitted inside the paper itself. The central claim therefore retains independent mathematical content.

Axiom & Free-Parameter Ledger

1 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard elliptic theory and prior geometric inequalities rather than new postulates; Γ is a free parameter in the boundary condition.

free parameters (1)
  • Γ
    Scaling parameter in the Neumann data equal to Γ times mean curvature; its range determines which rigidity statements hold.
axioms (3)
  • standard math Pohozaev identity holds for solutions of the underlying elliptic equation in exterior domains
    Invoked to obtain integral identities relating boundary integrals.
  • standard math The sharp boundary inequality of Agostiniani and Mazzieri applies to the capacitary potential
    Cited directly as a key tool for the star-shaped case.
  • domain assumption Serrin's moving plane method yields symmetry for the Γ ≤ 0 regime
    Applied to remove star-shapedness in the non-positive parameter range.

pith-pipeline@v0.9.0 · 5472 in / 1626 out tokens · 47749 ms · 2026-05-10T17:41:03.366557+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions

    Shmuel Agmon, Avron Douglis, and Louis Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I.Comm. Pure Appl. Math., 12:623–727, 1959

    work page 1959

  2. [2]

    Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions

    Shmuel Agmon, Avron Douglis, and Louis Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II.Comm. Pure Appl. Math., 17:35–92, 1964

    work page 1964

  3. [3]

    Symmetries in an overdetermined problem for the Green’s function.Discrete Contin

    Virginia Agostiniani and Rolando Magnanini. Symmetries in an overdetermined problem for the Green’s function.Discrete Contin. Dyn. Syst. Ser. S, 4(4):791–800, 2011. 22 LUKAS NIEBEL

    work page 2011

  4. [4]

    Riemannian aspects of potential theory.J

    Virginia Agostiniani and Lorenzo Mazzieri. Riemannian aspects of potential theory.J. Math. Pures Appl. (9), 104(3):561–586, 2015

    work page 2015

  5. [5]

    Monotonicity formulas in potential theory.Calc

    Virginia Agostiniani and Lorenzo Mazzieri. Monotonicity formulas in potential theory.Calc. Var. Partial Differential Equations, 59(1):Paper No. 6, 32, 2020

    work page 2020

  6. [6]

    Cambridge University Press, Cambridge, 2010

    Christian B¨ ar.Elementary differential geometry. Cambridge University Press, Cambridge, 2010

    work page 2010

  7. [7]

    On the capacity of surfaces in manifolds with nonnegative scalar curvature.Invent

    Hubert Bray and Pengzi Miao. On the capacity of surfaces in manifolds with nonnegative scalar curvature.Invent. Math., 172(3):459–475, 2008

    work page 2008

  8. [8]

    American Mathematical Society, Providence, RI, 2024

    Bennett Chow and Yutze Chow.Lectures on differential geometry, volume 245 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2024

    work page 2024

  9. [9]

    Bifurcation for an overdetermined boundary value problem in the complement of a ball inR N.Math

    Guowei Dai, Fang Liu, and Filippo Morabito. Bifurcation for an overdetermined boundary value problem in the complement of a ball inR N.Math. Z., 310(4):Paper No. 81, 20, 2025

    work page 2025

  10. [10]

    Universitext

    Marcos Dajczer and Ruy Tojeiro.Submanifold theory. Universitext. Springer, New York, 2019

    work page 2019

  11. [11]

    An overdetermined problem for harmonic functions.J

    Robert Dalmasso. An overdetermined problem for harmonic functions.J. Math. Anal. Appl., 385(2):1044–1054, 2012

    work page 2012

  12. [12]

    Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics

    Lawrence C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2010

    work page 2010

  13. [13]

    On an electrostatic problem and a new class of exceptional subdomains ofR 3.SIAM J

    Mouhamed Moustapha Fall, Ignace Aristide Minlend, and Tobias Weth. On an electrostatic problem and a new class of exceptional subdomains ofR 3.SIAM J. Math. Anal., 55(3):2347–2376, 2023

    work page 2023

  14. [14]

    Fontelos and Avner Friedman

    Marco A. Fontelos and Avner Friedman. Symmetry-breaking bifurcations of charged drops.Arch. Ration. Mech. Anal., 172(2):267–294, 2004

    work page 2004

  15. [15]

    Fraenkel.An introduction to maximum principles and symmetry in elliptic problems, volume 128 ofCambridge Tracts in Mathematics

    Ludwig E. Fraenkel.An introduction to maximum principles and symmetry in elliptic problems, volume 128 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2000

    work page 2000

  16. [16]

    Pointwise regularity for locally uniformly elliptic equations and applications, 2024

    Yuanyuan Lian and Kai Zhang. Pointwise regularity for locally uniformly elliptic equations and applications, 2024. arXiv:2405.07199

    work page arXiv 2024

  17. [17]

    Steady bubbles and drops in inviscid fluids.Calc

    David Meyer, Lukas Niebel, and Christian Seis. Steady bubbles and drops in inviscid fluids.Calc. Var. Partial Differential Equations, 64(9):Paper No. 299, 30, 2025

    work page 2025

  18. [18]

    Mass, capacitary functions, and the mass-to-capacity ratio.Peking Math

    Pengzi Miao. Mass, capacitary functions, and the mass-to-capacity ratio.Peking Math. J., 8(2):351– 404, 2025

    work page 2025

  19. [19]

    Exceptional domains in higher dimensions.J

    Ignace Aristide Minlend, Tobias Weth, and Jing Wu. Exceptional domains in higher dimensions.J. Geom. Anal., 36(1):Paper No. 6, 32, 2026

    work page 2026

  20. [20]

    Symmetry breaking bifurcations for two overdetermined boundary value prob- lems with non-constant Neumann condition on exterior domains inR 3.Comm

    Filippo Morabito. Symmetry breaking bifurcations for two overdetermined boundary value prob- lems with non-constant Neumann condition on exterior domains inR 3.Comm. Partial Differential Equations, 46(6):1137–1161, 2021

    work page 2021

  21. [21]

    Global rigidity of two-dimensional bubbles, 2025

    Lukas Niebel. Global rigidity of two-dimensional bubbles, 2025. arXiv:2510.17557

    work page internal anchor Pith review arXiv 2025

  22. [22]

    Radial symmetry for elliptic boundary-value problems on exterior domains.Arch

    Wolfgang Reichel. Radial symmetry for elliptic boundary-value problems on exterior domains.Arch. Rational Mech. Anal., 137(4):381–394, 1997

    work page 1997

  23. [23]

    A symmetry problem in potential theory.Arch

    James Serrin. A symmetry problem in potential theory.Arch. Rational Mech. Anal., 43:304–318, 1971

    work page 1971

  24. [24]

    Classification of the solutions to an overdetermined elliptic problem in the plane

    Martin Traizet. Classification of the solutions to an overdetermined elliptic problem in the plane. Geom. Funct. Anal., 24(2):690–720, 2014

    work page 2014

  25. [25]

    A note on an overdetermined system involving mean curvature

    Lizhou Wang and Tingting Wang. A note on an overdetermined system involving mean curvature. J. Math. Anal. Appl., 393(2):489–492, 2012

    work page 2012

  26. [26]

    Shapes of two-dimensional bubbles deformed by circulation

    Rudolf Wegmann and Darren Crowdy. Shapes of two-dimensional bubbles deformed by circulation. Nonlinearity, 13(6):2131–2141, 2000

    work page 2000

  27. [27]

    Remark on the preceding paper of Serrin.Arch

    Hans Felix Weinberger. Remark on the preceding paper of Serrin.Arch. Rational Mech. Anal., 43:319–320, 1971. (Lukas Niebel)Institut f ¨ur Analysis und Numerik, Universit ¨at M ¨unster, Orl ´eans-Ring 10, 48149 M¨unster, Germany. Email address:lukas.niebel@uni-muenster.de

    work page 1971