Regularity of stable capillary minimal hypersurfaces
Pith reviewed 2026-05-21 02:11 UTC · model grok-4.3
The pith
Stable capillary minimal hypersurfaces in half-spaces satisfy regularity and compactness that yield a generalized Bernstein theorem for complete embedded examples with Euclidean area growth.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We develop a regularity and compactness theory for stable capillary minimal hypersurfaces in the half-space H^{n+1} with contact angle theta in (0,pi) and dimension n at least 2. The key step is an integral curvature estimate produced by selecting an appropriate tilt excess function that eliminates boundary terms in the stability inequality. Building on this estimate, a boundary sheeting theorem is established by refining earlier arguments, and a refined classification of stable capillary minimal cones is obtained. These ingredients together deliver the regularity and compactness theorems, and as a consequence any embedded complete stable capillary minimal hypersurface in H^{n+1} with only a
What carries the argument
An integral curvature estimate for stable capillary minimal hypersurfaces, obtained by choosing a tilt excess function that cancels boundary terms in the stability inequality.
If this is right
- Stable capillary minimal hypersurfaces are regular away from the boundary.
- Compactness holds for bounded sequences of such hypersurfaces.
- Stable capillary minimal cones admit a refined classification.
- The generalized Bernstein theorem applies precisely to the complete embedded case with Euclidean area growth.
Where Pith is reading between the lines
- The technique of cancelling boundary terms with a tilt excess function could be tested on capillary problems in domains other than the half-space.
- The resulting regularity might be combined with variational methods to produce existence results for stable capillary surfaces with prescribed contact angle.
- Similar estimates may apply when the contact angle varies mildly along the boundary rather than remaining constant.
Load-bearing premise
The stability inequality for capillary minimal hypersurfaces admits a tilt excess function that removes every boundary term while still producing a usable positive curvature integral.
What would settle it
An explicit example of a non-flat complete embedded stable capillary minimal hypersurface in the half-space that has only Euclidean area growth would show the generalized Bernstein theorem is false.
Figures
read the original abstract
We develop a regularity and compactness theory for stable capillary minimal hypersurfaces in the half-space $\mathbb{H}^{n+1}$ with contact angle $\theta \in (0,\pi)$ and dimension $n \geq 2$. As a consequence, we obtain the generalized Bernstein theorem for embedded complete stable capillary minimal hypersurfaces in $\mathbb{H}^{n+1}$ with Euclidean area growth. The key innovation is an integral curvature estimate: by carefully selecting an appropriate tilt excess function, we are able to eliminate the boundary terms arising in the stability inequality. Building on this, we establish a boundary sheeting theorem by refining the arguments in [SS81]. These results, combined with a refined classification of stable capillary minimal cones, lead to the main regularity and compactness theorems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a regularity and compactness theory for stable capillary minimal hypersurfaces in the half-space H^{n+1} with fixed contact angle θ ∈ (0,π) and n ≥ 2. The central technical step is an integral curvature estimate obtained by substituting a tilt excess function into the stability inequality so that all boundary terms vanish. Building on this, the authors establish a boundary sheeting theorem by refining the arguments of [SS81], obtain a refined classification of stable capillary minimal cones, and deduce regularity, compactness, and a generalized Bernstein theorem for complete embedded stable capillary minimal hypersurfaces with Euclidean area growth.
Significance. If the estimates hold, the work provides a meaningful extension of Bernstein-type theorems to the capillary setting with general contact angles. The approach of engineering a tilt excess to cancel boundary contributions in the stability inequality is a concrete technical contribution that may apply to other free-boundary or capillary problems in geometric analysis.
major comments (2)
- [integral curvature estimate section] The integral curvature estimate (developed in the section following the stability inequality) rests on the assertion that a specific tilt excess function eliminates every boundary integral for arbitrary θ ∈ (0,π). The manuscript should supply the explicit computation of the boundary terms after substitution, including the precise cancellation identity and verification that no residual term survives under the Euclidean area growth hypothesis.
- [cone classification section] The refined classification of stable capillary minimal cones (used to close the regularity argument) is invoked to rule out non-flat cones at the boundary. The manuscript should state explicitly which additional cases arise for θ ≠ π/2 and confirm that the stability inequality plus the new curvature estimate suffice to exclude them.
minor comments (2)
- [preliminaries] The notation for the tilt excess function and the precise definition of Euclidean area growth should be introduced with a displayed equation before they are used in the stability manipulation.
- [introduction] A short comparison paragraph with the classical Bernstein theorem for minimal hypersurfaces (without boundary) would help readers gauge the new difficulties introduced by the capillary condition.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive assessment of our manuscript. We address the major comments point by point below and will revise the paper to incorporate the requested explicit details.
read point-by-point responses
-
Referee: [integral curvature estimate section] The integral curvature estimate (developed in the section following the stability inequality) rests on the assertion that a specific tilt excess function eliminates every boundary integral for arbitrary θ ∈ (0,π). The manuscript should supply the explicit computation of the boundary terms after substitution, including the precise cancellation identity and verification that no residual term survives under the Euclidean area growth hypothesis.
Authors: We agree that an explicit verification of the boundary cancellation would improve the presentation. While the manuscript states that the chosen tilt excess function eliminates all boundary integrals for general θ ∈ (0,π), the detailed computation of each term and the resulting cancellation identity were not written out in full. In the revised manuscript we will insert the complete calculation immediately after the stability inequality, showing term-by-term that the boundary contributions cancel, and we will verify that the Euclidean area growth hypothesis leaves no residual boundary term. This addition will be placed in the integral curvature estimate section. revision: yes
-
Referee: [cone classification section] The refined classification of stable capillary minimal cones (used to close the regularity argument) is invoked to rule out non-flat cones at the boundary. The manuscript should state explicitly which additional cases arise for θ ≠ π/2 and confirm that the stability inequality plus the new curvature estimate suffice to exclude them.
Authors: We accept the referee’s suggestion to make the classification more explicit for general contact angles. For θ ≠ π/2 the possible non-flat stable capillary cones include certain tilted or angled cones that do not appear when θ = π/2. In the revised version we will list these additional cases in the cone classification section and supply a short argument showing that each is ruled out by combining the stability inequality with the integral curvature estimate already established. This will close the regularity argument without altering the overall logic. revision: yes
Circularity Check
No circularity: derivation uses new estimates and external refinements
full rationale
The paper's chain proceeds from the stability inequality to an integral curvature estimate via a chosen tilt excess function that cancels boundary terms, followed by a boundary sheeting theorem refining [SS81] and a cone classification. No quoted step reduces the main result to a fitted input, self-definition, or self-citation loop; the estimates are presented as novel technical work building on external references without load-bearing self-citations or ansatz smuggling. The generalized Bernstein theorem follows from these independent steps under the stated area growth hypothesis.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The stability inequality holds for capillary minimal hypersurfaces with fixed contact angle in the half-space.
- domain assumption Standard regularity and compactness results from minimal surface theory extend after the boundary terms are removed.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
by carefully selecting an appropriate tilt excess function, we are able to eliminate the boundary terms arising in the stability inequality
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the key innovation is an integral curvature estimate
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Agmon, S. and Douglis, A. and Nirenberg, L. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1959 , PAGES =. doi:10.1002/cpa.3160120405 , URL =
-
[2]
Allard, William K. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1972 , PAGES =. doi:10.2307/1970868 , URL =
-
[3]
Allard, William K. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1975 , PAGES =. doi:10.2307/1970934 , URL =
-
[4]
Ambrosio, Luigi and Fusco, Nicola and Pallara, Diego , TITLE =. 2000 , PAGES =
work page 2000
-
[5]
Ambrosio, Luigi and Gigli, Nicola and Savar\'e, Giuseppe , TITLE =. 2008 , PAGES =
work page 2008
- [6]
-
[7]
Bellettini, Costante , TITLE =. Invent. Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00222-025-01317-0 , URL =
-
[8]
Colding, Tobias H. and Minicozzi, II, William P. , TITLE =. Surveys in geometric analysis and relativity , SERIES =. 2011 , ISBN =
work page 2011
-
[9]
Chodosh, Otis and Li, Chao , TITLE =. Acta Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.4310/acta.2024.v233.n1.a1 , URL =
-
[10]
Chodosh, Otis and Li, Chao , TITLE =. Forum Math. Pi , FJOURNAL =. 2023 , PAGES =. doi:10.1017/fmp.2023.1 , URL =
-
[11]
Chodosh, Otis and Li, Chao and Minter, Paul and Stryker, Douglas , Title =. 2024 , note =
work page 2024
- [12]
-
[13]
Catino, Giovanni and Mastrolia, Paolo and Roncoroni, Alberto , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00039-024-00662-1 , URL =
-
[14]
De Philippis, G. and Maggi, F. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00205-014-0813-2 , URL =
-
[15]
De Masi, Luigi and De Philippis, Guido , TITLE =. J. Differential Geom. , FJOURNAL =. 2025 , NUMBER =. doi:10.4310/jdg/1757355867 , URL =
-
[16]
De Lellis, Camillo , TITLE =. 2008 , PAGES =. doi:10.4171/044 , URL =
work page doi:10.4171/044 2008
-
[17]
De Masi, Luigi , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1512/iumj.2021.70.9401 , URL =
-
[18]
Luigi. ``. 2024 , note =
work page 2024
-
[19]
De Masi, Luigi and Edelen, Nick and Gasparetto, Carlo and Li, Chao , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1002/cpa.70008 , URL =
-
[20]
Finn, R. and Gilbarg, D. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1957 , PAGES =. doi:10.1002/cpa.3160100102 , URL =
-
[21]
Finn, Robert , TITLE =. 1986 , PAGES =. doi:10.1007/978-1-4613-8584-4 , URL =
-
[22]
Finn, Robert , TITLE =. Notices Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =
work page 1999
- [23]
- [24]
-
[25]
Gr\"uter, Michael and Jost, J\"urgen , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , FJOURNAL =. 1986 , NUMBER =
work page 1986
-
[26]
Guang, Qiang and Li, Martin Man-chun and Zhou, Xin , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1515/crelle-2018-0008 , URL =
-
[27]
Guo, Jinyu and Xia, Chao , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2025 , NUMBER =
work page 2025
-
[28]
Hardt, Robert and Simon, Leon , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1979 , NUMBER =. doi:10.2307/1971233 , URL =
-
[29]
Hutchinson, John E. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1986 , NUMBER =. doi:10.1512/iumj.1986.35.35003 , URL =
-
[30]
and Tonegawa, Yoshihiro , TITLE =
Hutchinson, John E. and Tonegawa, Yoshihiro , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/PL00013453 , URL =
-
[31]
Hong, Han and Saturnino, Artur B. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1515/crelle-2023-0050 , URL =
- [32]
-
[33]
Kagaya, Takashi and Tonegawa, Yoshihiro , TITLE =. Hiroshima Math. J. , FJOURNAL =. 2017 , NUMBER =. doi:10.32917/hmj/1499392823 , URL =
-
[34]
Kagaya, Takashi and Tonegawa, Yoshihiro , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1512/iumj.2018.67.7423 , URL =
-
[35]
Kuwert, Ernst and M\"uller, Marius , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/jlms.12976 , URL =
-
[36]
Lieberman, Gary M. and Trudinger, Neil S. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1986 , NUMBER =. doi:10.2307/2000050 , URL =
-
[37]
Li, Chao , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-019-00895-0 , URL =
-
[38]
Lu, Zheng and Xia, Chao and Zhang, Xuwen , TITLE =. Adv. Nonlinear Stud. , FJOURNAL =. 2023 , NUMBER =. doi:10.1515/ans-2022-0078 , URL =
-
[39]
Li, Chao and Zhou, Xin and Zhu, Jonathan J. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1515/crelle-2024-0075 , URL =
-
[40]
Li, Martin Man-chun and Parise, Davide and Sarnataro, Lorenzo , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00205-024-02070-z , URL =
-
[41]
Michael, J. H. and Simon, L. M. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1973 , PAGES =. doi:10.1002/cpa.3160260305 , URL =
-
[42]
Mantegazza, Carlo , TITLE =. J. Differential Geom. , FJOURNAL =. 1996 , NUMBER =
work page 1996
-
[43]
Maggi, Francesco , TITLE =. 2012 , PAGES =. doi:10.1017/CBO9781139108133 , URL =
- [44]
-
[45]
Pacati, Alberto and Tortone, Giorgio and Velichkov, Bozhidar , Title =. 2025 , note =
work page 2025
-
[46]
Ros, Antonio and Souam, Rabah , TITLE =. Pacific J. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.2140/pjm.1997.178.345 , URL =
-
[47]
Simons, James , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970556 , URL =
-
[48]
Schoen, R. and Simon, L. and Yau, S. T. , TITLE =. Acta Math. , FJOURNAL =. 1975 , NUMBER =. doi:10.1007/BF02392104 , URL =
- [49]
-
[50]
Simon, Leon , TITLE =. Math. Z. , FJOURNAL =. 1977 , NUMBER =. doi:10.1007/BF01214218 , URL =
- [51]
-
[52]
Schoen, Richard and Simon, Leon , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1981 , NUMBER =. doi:10.1002/cpa.3160340603 , URL =
-
[53]
Sternberg, Peter and Zumbrun, Kevin , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1998 , PAGES =. doi:10.1515/crll.1998.100 , URL =
-
[54]
Taylor, Jean E. , TITLE =. Comm. Partial Differential Equations , FJOURNAL =. 1977 , NUMBER =. doi:10.1080/03605307708820033 , URL =
-
[55]
Tonegawa, Yoshihiro , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2003 , NUMBER =. doi:10.1512/iumj.2003.52.2351 , URL =
-
[56]
Tonegawa, Yoshihiro and Wickramasekera, Neshan , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2012 , PAGES =. doi:10.1515/crelle.2011.134 , URL =
-
[57]
Wickramasekera, Neshan , TITLE =. J. Differential Geom. , FJOURNAL =. 2008 , NUMBER =
work page 2008
-
[58]
Wang, Guofang and Xia, Chao , TITLE =. Math. Ann. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00208-019-01845-0 , URL =
-
[59]
Wang, Guofang and Xia, Chao , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00526-024-02837-y , URL =
- [60]
- [61]
- [62]
- [63]
-
[64]
Chai, Xiaoxiang and Wang, Gaoming , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/tran/9057 , URL =
- [65]
- [66]
- [67]
- [68]
- [69]
-
[70]
Wickramasekera, Neshan , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2014 , NUMBER =. doi:10.4007/annals.2014.179.3.2 , URL =
-
[71]
Wu, Yujie , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2025 , NUMBER =. doi:10.1093/imrn/rnaf106 , URL =
- [72]
-
[73]
Zhang, Xuwen , TITLE =. Proc. Edinb. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1017/S0013091524000026 , URL =
-
[74]
2024 , month = jul, abstract =
Hong, Han and Li, Haizhong and Wang, Gaoming , title =. 2024 , month = jul, abstract =. doi:10.48550/ARXIV.2407.03222 , eprint =
- [75]
- [76]
-
[77]
2024 , month = oct, abstract =
Ko, Dongyeong and Yao, Xuan , title =. 2024 , month = oct, abstract =. doi:10.48550/ARXIV.2410.20548 , eprint =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.