arxiv: 2605.07913 · v1 · submitted 2026-05-08 · 🧮 math.AP · math.DG

Recognition: 2 theorem links

· Lean Theorem

Finite index solutions to the Bernoulli problem in three dimensions are axially symmetric

Enric Florit-Simon, Joaquim Serra, Xavier Fern\'andez-Real

Pith reviewed 2026-05-11 03:21 UTC · model grok-4.3

classification 🧮 math.AP math.DG

keywords Bernoulli free boundary problemone-phase problemfinite Morse indexaxial symmetryentire solutionsfree boundaryMorse index

0 comments

The pith

Every entire solution to the Bernoulli free boundary problem with finite Morse index in three dimensions is axially symmetric.

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

The paper proves that any entire solution to the one-phase Bernoulli free boundary problem in R^3 with finite Morse index must be axially symmetric around some fixed axis. This symmetry result is obtained through arguments that exploit the three-dimensional setting directly. A sympathetic reader cares because axial symmetry reduces the three-dimensional free boundary to a two-dimensional profile, which simplifies further analysis of the interface. The authors also show that the identical conclusion would hold in dimensions four through six provided that stable entire solutions are known to be flat. The proof avoids dependence on that flatness statement, which remains open.

Core claim

We show that every entire solution to the Bernoulli (or one-phase) free boundary problem with finite Morse index in R^3 is axially symmetric. In fact, we additionally prove that the same result would follow in any dimension 4 ≤ n ≤ 6 in which stable entire solutions are shown to be flat.

What carries the argument

The finite Morse index condition, which controls the number of negative directions in the second variation and permits dimension-specific symmetry arguments without invoking flatness of stable solutions.

If this is right

The free boundary must be a surface of revolution around the axis of symmetry.
The original three-dimensional problem reduces to a two-dimensional free boundary problem in the meridional half-plane.
Classification efforts for finite-index solutions can focus on radially symmetric profiles.
The result extends immediately to dimensions four through six once flatness of stable solutions is established.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Non-axially-symmetric entire solutions, if any exist, must necessarily have infinite Morse index.
Similar finite-index symmetry statements may hold for related one-phase problems such as the obstacle problem once analogous index controls are available.
Numerical approximation of low-index solutions in bounded domains could serve as a practical test of the predicted axial symmetry before taking the entire-space limit.

Load-bearing premise

The three-dimensional proof depends on special properties of low dimension that bypass the need for proving that stable entire solutions are flat, a statement that is still unproven in higher dimensions.

What would settle it

An explicit construction of an entire solution to the Bernoulli problem in R^3 that has finite Morse index yet fails to be symmetric with respect to rotations around any axis would disprove the claim.

read the original abstract

We show that every entire solution to the Bernoulli (or one-phase) free boundary problem with finite Morse index in $\mathbb{R}^3$ is axially symmetric. In fact, we additionally prove that the same result would follow in any dimension $4 \le n \le 6$ in which stable entire solutions are shown to be flat.

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.

Desk Editor's Note private letter to a colleague

The paper shows finite-Morse-index entire solutions to the Bernoulli problem in R^3 are axially symmetric, using dimension-specific tools that keep the 3D case unconditional.

read the letter

The core claim is that every entire solution to the one-phase Bernoulli free-boundary problem in three dimensions with finite Morse index is axially symmetric. They also record that the same conclusion would hold in dimensions 4 through 6 once stable solutions are known to be flat, which remains open. The 3D result stands on its own and does not depend on that conjecture. The argument draws on stability estimates and symmetry techniques that are available in low dimensions but do not extend directly, which is why the authors separate the cases cleanly. This is a genuine classification statement that sits on top of existing regularity theory for the Bernoulli problem rather than re-deriving it. The main limitation is the conditional higher-dimensional part; it is presented as such, so it does not overclaim. From the abstract and the stress-test note there is no visible internal inconsistency or hidden regularity assumption in the 3D construction. The work is aimed at researchers already working on free-boundary regularity and Morse-index classification for elliptic problems. It is narrow but precise, and the 3D theorem is the sort of result that organizes the literature even if it does not open an entirely new direction. I would send it to a serious referee who knows the one-phase problem and the available tools in three dimensions; the unconditional part is worth verifying in detail.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that every entire solution to the one-phase Bernoulli free boundary problem with finite Morse index in R^3 is axially symmetric. It further establishes that the same conclusion holds in dimensions 4 ≤ n ≤ 6 whenever stable entire solutions are flat (an open conjecture). The 3D argument is unconditional and relies on dimension-specific stability estimates and symmetry methods.

Significance. The result provides a clean classification theorem for finite-Morse-index entire solutions of the Bernoulli problem in three dimensions. The explicit separation between the unconditional 3D proof and the conditional higher-dimensional statement is a strength, as it isolates the use of low-dimensional tools (stability estimates and symmetry methods) from the open flatness question. If the 3D claim holds, it advances the program of understanding symmetry and regularity for low-index free-boundary solutions.

minor comments (2)

The abstract and introduction clearly distinguish the unconditional 3D theorem from the conditional statement in dimensions 4–6; a brief parenthetical reminder of the precise definition of axial symmetry (e.g., invariance under rotations about a fixed axis) would aid readers who encounter the paper in isolation.
In the discussion of the higher-dimensional case, the manuscript correctly flags the dependence on the flatness conjecture for stable solutions; adding a single sentence citing the most recent partial results toward that conjecture would strengthen the contextual framing without altering the logical structure.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, clear summary of our results, and recommendation to accept the manuscript. We appreciate the recognition of the separation between the unconditional three-dimensional result and the conditional higher-dimensional statement.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes a classification theorem for finite-Morse-index entire solutions of the one-phase Bernoulli problem in R^3 by direct application of the problem definition, stability estimates, and low-dimensional symmetry methods. No step reduces by the paper's own equations to a fitted parameter, self-referential definition, or load-bearing self-citation chain; the 3D argument is unconditional and independent of the conditional flatness assumption invoked only for dimensions 4-6. The derivation remains self-contained against known external regularity results for the free boundary.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on the standard analytic theory of one-phase free-boundary problems and the definition of Morse index for the associated energy functional; no new entities or fitted parameters are introduced.

axioms (1)

domain assumption Solutions to the one-phase Bernoulli problem satisfy the standard elliptic regularity and free-boundary conditions in the viscosity sense.
Invoked to apply known regularity theory before analyzing the Morse index.

pith-pipeline@v0.9.0 · 5347 in / 1197 out tokens · 36072 ms · 2026-05-11T03:21:13.294353+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
We show that every entire solution to the Bernoulli (or one-phase) free boundary problem with finite Morse index in R^3 is axially symmetric... In fact, we additionally prove that the same result would follow in any dimension 4 ≤ n ≤ 6 in which stable entire solutions are shown to be flat.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
The proof... combines a novel improvement of flatness in annuli technique... with the moving planes method à la Schoen/Serrin... and several new arguments particular to the Bernoulli problem.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

[1]

Alt and L

H. Alt and L. Caffarelli. Existence and regularity for a minimum problem with free boundary.J. Reine Angew. Math., 325:105–144, 1981

work page 1981
[2]

M. T. Anderson. The compactification of a minimal submanifold in Euclidean space by the Gauss map. Preprint, unpublished manuscript, 1984

work page 1984
[3]

G. R. Baker, P. G. Saffman, and J. S. Sheffield. Structure of a linear array of hollow vortices of finite cross-section.J. Fluid Mech., 74(3):469–476, 1976

work page 1976
[4]

Basulto and N

J. Basulto and N. Kamburov. One-phase free boundary solutions of finite Morse index.J. Differential Equations, 410:319–345, 2024

work page 2024
[5]

Caffarelli, D

L. Caffarelli, D. Jerison, and C. E. Kenig. Global energy minimizers for free boundary problems and full regularity in three dimensions. InNoncompact problems at the intersection of geometry, analysis, and topology, volume 350 ofContemp. Math., pages 83–97. American Mathematical Society, Providence, RI, 2004

work page 2004
[6]

L. A. Caffarelli and S. Salsa.A Geometric Approach to Free Boundary Problems, volume 68 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2005

work page 2005
[7]

H. Chan, X. Fernández-Real, A. Figalli, and J. Serra. Global stable solutions to the free boundary Allen-Cahn and Bernoulli problems in 3D are one-dimensional. In:J. Amer. Math. Soc., to appear

work page
[8]

O. Chodosh. The Morse index of a minimal surface, 2024. Lecture notes

work page 2024
[9]

Chodosh and C

O. Chodosh and C. Li. Stable minimal hypersurfaces inR4.Acta Math., 233:1–31, 2024. 34 XA VIER FERNÁNDEZ-REAL, ENRIC FLORIT-SIMON, AND JOAQUIM SERRA

work page 2024
[10]

Chodosh, C

O. Chodosh, C. Li, P. Minter, and D. Stryker. Stable minimal hypersurfaces inR5. In:Ann. of Math. (2), to appear

work page
[11]

Chodosh and C

O. Chodosh and C. Mantoulidis. Minimal surfaces and the Allen–Cahn equation on 3-manifolds: index, multiplicity, and curvature estimates.Ann. of Math. (2), 191(1):213–328, 2020

work page 2020
[12]

C. Costa. Example of a complete minimal immersion inR3 of genus one and three embedded ends.Bol. Soc. Brasil. Mat., 15:47–54, 1984

work page 1984
[13]

De Silva

D. De Silva. Free boundary regularity for a problem with right hand side.Interface Free Bound., 13(2):223–238, 2011

work page 2011
[14]

De Silva and D

D. De Silva and D. Jerison. A singular energy minimizing free boundary.J. Reine Angew. Math., 635:1–21, 2009

work page 2009
[15]

De Silva, D

D. De Silva, D. Jerison, and H. Shahgholian. Inhomogeneous global minimizers to the one-phase free boundary problem.Comm. Partial Differential Equations, 47:1193–1216, 2022

work page 2022
[16]

del Pino, M

M. del Pino, M. Kowalczyk, and J. Wei. Entire solutions of the Allen–Cahn equation and complete embedded minimal surfaces of finite total curvature inR3.J. Differential Geom., 93(1):67–131, 2013

work page 2013
[17]

B. Devyver. On the finiteness of the Morse index for Schrödinger operators.Manuscripta Math., 139(1-2):249– 271, 2011

work page 2011
[18]

Z. Du, C. Gui, and K. Wang. Four end solutions of a free boundary problem.Adv. Math., 404:108395, 2022

work page 2022
[19]

Edelen, L

N. Edelen, L. Spolaor, and B. Velichkov. A strong maximum principle for minimizers of the one-phase Bernoulli problem.Indiana Univ. Math. J., 73(3):1061–1096, 2024

work page 2024
[20]

Edelen, L

N. Edelen, L. Spolaor, and B. Velichkov. The symmetric (log-)epiperimetric inequality and a decay-growth estimate.Calc. Var. Partial Differential Equations, 63:Paper No. 2, 2024. arXiv:2304.11129

work page arXiv 2024
[21]

Engelstein, X

M. Engelstein, X. Fernández-Real, and H. Yu. Graphical solutions to one-phase free boundary problems.J. Reine Angew. Math., 804:155–195, 2023

work page 2023
[22]

Engelstein, D

M. Engelstein, D. Restrepo, and Z. Zhao. On the asymptotic properties of solutions to one-phase free boundary problems, 2025

work page 2025
[23]

Fernández-Real, E

X. Fernández-Real, E. Florit-Simon, and J. Serra. Improvement of flatness in annuli. Forthcoming

work page
[24]

Fernández-Real and X

X. Fernández-Real and X. Ros-Oton.Regularity Theory for Elliptic PDE. Number 28 in Zurich Lectures in Advanced Mathematics. EMS Press, 2022

work page 2022
[25]

Fernández-Real and X

X. Fernández-Real and X. Ros-Oton.Integro-Differential Elliptic Equations, volume 350 ofProgress in Mathematics. Birkhäuser, Cham, 2024

work page 2024
[26]

Fischer-Colbrie

D. Fischer-Colbrie. On complete minimal surfaces with finite Morse index in three-manifolds.Invent. Math., 82(1):121–132, 1985

work page 1985
[27]

Florit-Simon

E. Florit-Simon. Phase transitions with bounded index: Parallels to De Giorgi’s conjecture, 2026

work page 2026
[28]

Gaspar and M

P. Gaspar and M. Guaraco. The Allen—Cahn equation on closed manifolds.Calc. Var. Partial Differential Equations, 57(4):1–42, 2018

work page 2018
[29]

J. Geng. W 1,p estimates for elliptic problems with Neumann boundary conditions in Lipschitz domains.Adv. Math., 229(4):2427–2448, 2012

work page 2012
[30]

C. Gui, Y. Liu, and J. Wei. Two-end solutions to the Allen–Cahn equation inR3.Adv. Math., 320:926–992, 2017

work page 2017
[31]

C. Gui, K. Wang, and J. Wei. Axially symmetric solutions of the Allen–Cahn equation with finite Morse index.Trans. Amer. Math. Soc., 373(5):3649–3668, 2020

work page 2020
[32]

Hauswirth, F

L. Hauswirth, F. Hélein, and F. Pacard. On an overdetermined elliptic problem.Pacific J. Math., 250:319–334, 2011

work page 2011
[33]

Hines, J

C. Hines, J. Kolesar, and P. McGrath. New homogeneous solutions for the one-phase free boundary problem. arXiv preprint, 2025

work page 2025
[34]

Jerison and O

D. Jerison and O. Savin. Some remarks on stability of cones for the one-phase free boundary problem.Geom. Funct. Anal., 25(4):1240–1257, 2015

work page 2015
[35]

Kamburov and K

N. Kamburov and K. Wang. Nondegeneracy for stable solutions to the one-phase free boundary problem. Math. Ann., 388:2705–2726, 2024

work page 2024
[36]

Kinderlehrer and L

D. Kinderlehrer and L. Nirenberg. Regularity in free boundary problems.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 4(2):373–391, 1977

work page 1977
[37]

Kowalczyk, Y

M. Kowalczyk, Y. Liu, and F. Pacard. The space of 4-ended solutions to the Allen–Cahn equation in the plane.Ann. Inst. H. Poincaré Anal. Non Linéaire, 29(5):761–781, 2012

work page 2012
[38]

Kriventsov and G

D. Kriventsov and G. Weiss. Rectifiability, finite Hausdorff measure, and compactness for non-minimizing Bernoulli free boundaries.Comm. Pure Appl. Math., 78:545–591, 2025

work page 2025
[39]

Lian and K

Y. Lian and K. Zhang. Boundary pointwise regularity and applications to the regularity of free boundaries. Calc. Var. Partial Differential Equations, 62(8), 2023. FINITE INDEX SOLUTIONS TO THE BERNOULLI PROBLEM 35

work page 2023
[40]

Lieberman

G. Lieberman. The conormal derivative problem for elliptic equations of variational type.J. Differential Equations, 49(2):218–257, 1983

work page 1983
[41]

Y. Liu, K. Wang, and J. Wei. On smooth solutions to one phase-free boundary problem inRn.Int. Math. Res. Not. IMRN, pages 15682–15732, 2021

work page 2021
[42]

F. C. Marques and A. Neves. Morse index and multiplicity of min-max minimal hypersurfaces.Camb. J. Math., 4(4):463–511, 2016

work page 2016
[43]

L. Mazet. Stable minimal hypersurfaces inR6, 2024. Preprint arXiv:2405.14676

work page arXiv 2024
[44]

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

work page 1997
[45]

R. Schoen. Uniqueness, symmetry, and embeddedness of minimal surfaces.J. Differential Geom., 18(4):791–809, 1983

work page 1983
[46]

J. Serrin. A symmetry problem in potential theory.Arch. Ration. Mech. Anal., 43(4):304–318, 1971

work page 1971
[47]

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

work page 2014
[48]

J. Tysk. Finiteness of index and total scalar curvature for minimal hypersurfaces.Proc. Amer. Math. Soc., 105(2):429–435, 1989

work page 1989
[49]

Velichkov.Regularity of the One-phase Free Boundaries

B. Velichkov.Regularity of the One-phase Free Boundaries. Springer Cham, 2023

work page 2023
[50]

K. Wang. The structure of finite Morse index solutions to two free boundary problems inR2.arXiv preprint arXiv:1506.00491, 2015

work page arXiv 2015
[51]

Wang and J

K. Wang and J. Wei. Finite Morse index implies finite ends.Comm. Pure Appl. Math., 361:1–34, 2018

work page 2018
[52]

G. Weiss. Partial regularity for weak solutions of an elliptic free boundary problem.Comm. Partial Differential Equations, 23(3-4):439–455, 1998. EPFL SB, Station 8, 1015 Lausanne, Switzerland Email address:xavier.fernandez-real@epfl.ch ETH Zurich, Rämistrasse 101, 8092 Zurich, Switzerland Email address:enric.florit@math.ethz.ch ETH Zurich, Rämistrasse 10...

work page 1998