pith. sign in

arxiv: 2606.30008 · v1 · pith:AOX3TN6Rnew · submitted 2026-06-29 · 🧮 math.DG

Bernstein-type theorem for stationary hypersurfaces of the Euler-Dierkes-Huisken functional

Hongbin Cui , Jiahuan Li , Xiaowei Xu This is my paper

Pith reviewed 2026-06-30 05:20 UTC · model grok-4.3

classification 🧮 math.DG
keywords Bernstein theoremstationary hypersurfacesEuler-Dierkes-Huisken functionalrigidityembedded hypersurfacesweighted area functional
0
0 comments X

The pith

Every smooth complete connected embedded α-stationary hypersurface through the origin is a hyperplane

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

The paper proves a Bernstein-type theorem for critical points of the Euler-Dierkes-Huisken functional. It shows that any smooth complete connected embedded hypersurface whose first variation of the integral of |X|^α vanishes, and which passes through the origin, must be a flat hyperplane when α > 0. A sympathetic reader cares because the result classifies all such stationary objects and rules out curved examples under the stated conditions. The theorem extends classical rigidity statements from minimal hypersurfaces to this one-parameter family of weighted functionals.

Core claim

We prove that every smooth, complete, connected, embedded α-stationary hypersurface in R^{n+1} passing through the origin with α>0 is a linear hyperplane.

What carries the argument

The α-stationary condition, meaning the hypersurface is a critical point of the functional E_α(Σ) = ∫_Σ |X|^α dH^n.

If this is right

  • No non-planar examples satisfy stationarity and pass through the origin for any α > 0.
  • The classification holds in every dimension n+1.
  • The result applies uniformly to the entire family of functionals for positive α.

Where Pith is reading between the lines

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

  • Similar rigidity statements might hold for other weight functions in the integrand.
  • Dropping the origin condition could allow non-flat stationary examples.
  • The argument may adapt to hypersurfaces in spaces with different curvature.

Load-bearing premise

The hypersurface is embedded, complete, connected, and passes through the origin.

What would settle it

Exhibiting one smooth complete connected embedded α-stationary hypersurface in R^{n+1} that passes through the origin yet is not a hyperplane would disprove the claim.

read the original abstract

We say that a hypersurface $\Sigma \subset\mathbb{R}^{n+1}$ is $\alpha$-stationary if it is a critical point of the Euler-Dierkes-Huisken functional $\mathcal{E}_\alpha(\Sigma)=\int_\Sigma|X|^\alpha\, d\mathcal{H}^n$, introduced by Dierkes and Huisken in \cite{[DH-24]}. In this paper, we prove that every smooth, complete, connected, embedded $\alpha$-stationary hypersurface in $\mathbb{R}^{n+1}$ passing through the origin with $\alpha>0$ is a linear hyperplane.

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 / 0 minor

Summary. The manuscript proves a Bernstein-type theorem asserting that every smooth, complete, connected, embedded α-stationary hypersurface Σ ⊂ R^{n+1} passing through the origin, for α > 0, is a linear hyperplane, where α-stationary means critical for the Euler-Dierkes-Huisken functional E_α(Σ) = ∫_Σ |X|^α dH^n.

Significance. If the central claim holds with a complete proof, the result supplies a rigidity theorem for weighted stationary hypersurfaces that extends classical Bernstein theorems to this singular functional. The origin-passing assumption is essential because the weight |X|^α introduces a potential singularity there; a correct local analysis near zero would make the theorem a useful addition to the literature on variational problems with homogeneous weights.

major comments (1)
  1. [Definition of α-stationary (abstract and §2)] The stationarity condition derived from the first variation of E_α is H = α ⟨X, ν⟩ / |X|^2 away from the origin. Because the right-hand side is undefined at X=0 while the left-hand side remains bounded for a C^2 hypersurface, the proof must contain a removable-singularity argument establishing that ⟨X, ν⟩ = o(|X|^2) (or an equivalent integral formulation) in a neighborhood of the origin. Without this step the global flatness conclusion does not follow from the equation holding only for |X|>0.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to justify that the stationarity equation extends across the origin. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Definition of α-stationary (abstract and §2)] The stationarity condition derived from the first variation of E_α is H = α ⟨X, ν⟩ / |X|^2 away from the origin. Because the right-hand side is undefined at X=0 while the left-hand side remains bounded for a C^2 hypersurface, the proof must contain a removable-singularity argument establishing that ⟨X, ν⟩ = o(|X|^2) (or an equivalent integral formulation) in a neighborhood of the origin. Without this step the global flatness conclusion does not follow from the equation holding only for |X|>0.

    Authors: We agree that the first-variation computation yields the pointwise equation H = α ⟨X, ν⟩ / |X|^2 only for |X| > 0. In the revised version we will add a short subsection (placed after the derivation of the Euler-Lagrange equation) that supplies the required removable-singularity statement. Because Σ is assumed C^2 and the first variation vanishes for all compactly supported vector fields (including those supported in a small ball about the origin), integration by parts against a radial cutoff shows that ∫_{Σ ∩ B_r} |⟨X, ν⟩| / |X| dH^n = O(r^{α+1}) for small r. Combined with the C^2 bound on H this forces ⟨X, ν⟩ = o(|X|^2) as X → 0 along Σ, so the right-hand side extends continuously by zero at the origin. The resulting equation then holds classically on all of Σ and the subsequent global analysis proceeds unchanged. revision: yes

Circularity Check

0 steps flagged

No circularity; theorem derived from stationarity condition without self-referential reduction.

full rationale

The paper states a direct Bernstein-type theorem for α-stationary hypersurfaces of the given functional, with the claim resting on the Euler-Lagrange equation away from the origin and standard removable-singularity or maximum-principle arguments. No equations, parameters, or uniqueness results are shown to reduce by construction to the inputs or to self-citations. The single external citation introduces the functional but carries no load-bearing uniqueness theorem from the present authors. The derivation chain is therefore self-contained against external mathematical benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on standard domain assumptions of differential geometry plus the definition of the functional; no free parameters or new entities are introduced in the abstract.

axioms (3)
  • domain assumption The hypersurface Σ is smooth, complete, connected and embedded in R^{n+1}
    Explicitly required in the theorem statement in the abstract.
  • domain assumption α > 0
    Stated as the parameter range for which the conclusion holds.
  • domain assumption Stationarity means critical point of E_α(Σ) = ∫_Σ |X|^α dH^n
    Definition given in the abstract and taken from the cited reference.

pith-pipeline@v0.9.1-grok · 5638 in / 1415 out tokens · 26537 ms · 2026-06-30T05:20:19.160155+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

35 extracted references · 4 canonical work pages

  1. [1]

    Almgren, Some interior regularity theorems for minimal surfaces and an extension of Bernstein ’s theorem, Ann

    F.J. Almgren, Some interior regularity theorems for minimal surfaces and an extension of Bernstein ’s theorem, Ann. of Math., (2)84(1966), 277-292

    1966

  2. [2]

    Axler, P

    S. Axler, P. Bourdon and W. Ramey, Harmonic Function Theory , Graduate Texts in Mathematics, Springer (second edition, 2001)

    2001

  3. [3]

    Bernstein, Über ein geometrisches Theorem und seine Anwendung auf die partiellen Differential gleichungen vom elliptischen Typus , Math

    S. Bernstein, Über ein geometrisches Theorem und seine Anwendung auf die partiellen Differential gleichungen vom elliptischen Typus , Math. Z., 26(1927), 551-558

    1927

  4. [4]

    Bellettini, Extensions of Schoen–Simon–Yau and Schoen–Simon theorems via iteration ‘a la De Giorgi, Invent

    C. Bellettini, Extensions of Schoen–Simon–Yau and Schoen–Simon theorems via iteration ‘a la De Giorgi, Invent. Math., 240 (2025), No.1, 1-34

    2025

  5. [5]

    Bombieri, E

    E. Bombieri, E. De Giorgi and E. Giusti, Minimal cones and the Bernstein problem , Invent. Math., 7(1969), 243-268

    1969

  6. [6]

    Carathédory, Variationsrechnung und Partielle Differentialgleichungen erster Ordnung , Teubner, Leipzig und Berlin (1935)

    C. Carathédory, Variationsrechnung und Partielle Differentialgleichungen erster Ordnung , Teubner, Leipzig und Berlin (1935)

    1935

  7. [7]

    Chodosh and Ch

    O. Chodosh and Ch. Li. Stable minimal hypersurfaces in R4, Acta Math. 233(2024), No.1, 1-31

    2024

  8. [8]

    Chodosh and Ch

    O. Chodosh and Ch. Li Stable anisotropic minimal hypersurfaces in R4, Forum Math. Pi, 11(2023), Paper No. e3, 22pp

    2023

  9. [9]

    Catino, P

    G. Catino, P. Mastrolia and A. Roncoroni, Two rigidity results for stable minimal hypersurfaces , Geom. Funct. Anal., 34(2024), 1-18

    2024

  10. [10]

    Chodosh, Ch

    O. Chodosh, Ch. Li, P. Minter and D. Stryker, Stable minimal hypersurfaces in R5, arXiv:2401.01492

    work page arXiv

  11. [11]

    Cui and X.W

    H.B. Cui and X.W. Xu, On Euler-Dierkes-Huisken variational problem , Math. Ann., 391(2025), No.2, 2087-2120

    2025

  12. [12]

    De Giorgi, Una estensione del teorema di Bernstein , Ann

    E. De Giorgi, Una estensione del teorema di Bernstein , Ann. Scuola Norm. Sup. Pisa Cl. Sci., (3)19(1965), 79-85

    1965

  13. [13]

    Dierkes, A Bernstein result for energy minimizing hypersurfaces , Calc

    U. Dierkes, A Bernstein result for energy minimizing hypersurfaces , Calc. Var. Partial Differential Equations, 1(1993), No.1, 37-54

    1993

  14. [14]

    Dierkes, Curvature estimates for minimal hypersurfaces in singular spaces , Invent

    U. Dierkes, Curvature estimates for minimal hypersurfaces in singular spaces , Invent. Math., 122(1995), No.3, 453-473

    1995

  15. [15]

    Dierkes and G

    U. Dierkes and G. Huisken, The n-dimensional analogue of a variational problem of Euler , Math. Ann., 389(2024), No.4, 3841-3863

    2024

  16. [16]

    Dierkes and R

    U. Dierkes and R. López, Axisymmetric stationary surfaces for the moment of inertia , Proceedings of the Royal Society of Edinburgh (Section A), online(2026), doi:10.1017/prm.2025.10110

    work page doi:10.1017/prm.2025.10110 2026

  17. [17]

    do Carmo and C

    M. do Carmo and C. K. Peng, Stable complete minimal surfaces in R3 are planes, Bull. Amer. Math. Soc., 1(1979), 903-906

    1979

  18. [18]

    Euler, Methodus Inveniendi Lineas Curvas Maximi Minimive Proprietate Gaudentes Sive Solutio Problematis Isoperimetrici Latissimo Sensu Accepti , Lausanne et Genevae(1744)

    L. Euler, Methodus Inveniendi Lineas Curvas Maximi Minimive Proprietate Gaudentes Sive Solutio Problematis Isoperimetrici Latissimo Sensu Accepti , Lausanne et Genevae(1744)

  19. [19]

    Fleming, On the oriented Plateau problem , Rend

    W.H. Fleming, On the oriented Plateau problem , Rend. Circ. Mat. Palermo, (2)11(1962), 69-90

    1962

  20. [20]

    Fischer-Colbrie and R

    D. Fischer-Colbrie and R. Schoen, The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature , Comm. Pure Appl. Math., 33(1980), 199-211

    1980

  21. [21]

    Garofalo and F.H

    N. Garofalo and F.H. Lin Unique continuation for elliptic operators: a geometric-variational ap- proach, Comm. Pure Appl. Math., 40(1987), No.3, 347-366

    1987

  22. [22]

    Guang and J

    Q. Guang and J. Zhu, Rigidity and curvature estimates for graphical self-shrinkers , Calc. Var. Partial Differential Equations, 56(2017), No.6, Paper No.176, 18 pp

    2017

  23. [23]

    Ch.L. Lin, G. Nakamura and J.N. Wang, Quantitative uniqueness for second order elliptic operators with strongly singular coefficients , Rev. Mat. Iberoamericana, 27(2011), No.2, 475-491

    2011

  24. [24]

    López, Stationary surfaces for the moment of inertia with constant Gauss curvature , Analy- sis(Berlin), 45(2025), No.4, 259-267

    R. López, Stationary surfaces for the moment of inertia with constant Gauss curvature , Analy- sis(Berlin), 45(2025), No.4, 259-267

    2025

  25. [25]

    López, Two classification results for stationary surfaces of the least moment of inertia , arXiv:2507.12398

    R. López, Two classification results for stationary surfaces of the least moment of inertia , arXiv:2507.12398

    work page arXiv

  26. [26]

    Mason, Curves of minimum moment on inertia with respect to a point , Ann

    M. Mason, Curves of minimum moment on inertia with respect to a point , Ann. of Math., 7(4)(1906), 165-172. 7

    1906

  27. [27]

    Mazet,Stable minimal hypersurfaces inR 6,Preprint, arXiv:2405.14676 [math.DG], 2024

    L. Mazet, Stable minimal hypersurfaces in R6, arXiv:2405.14676v1

    work page arXiv

  28. [28]

    Mooney, Bernstein theorems for nonlinear geometric PDEs , Commun

    C. Mooney, Bernstein theorems for nonlinear geometric PDEs , Commun. Pure Appl. Anal., 23(2024), No.12, 1958-1989

    2024

  29. [29]

    Mooney and Y

    C. Mooney and Y. Yang, The anisotropic Bernstein problem , Invent. Math., 235(2024), No.1, 211- 232

    2024

  30. [30]

    Pogorelov, On the stability of minimal surfaces , Dokl

    A.V. Pogorelov, On the stability of minimal surfaces , Dokl. Akad. Nauk SSSR, 260(1981), 293–295

    1981

  31. [31]

    Schoen, L

    R. Schoen, L. Simon and S.T. Yau. Curvature estimates for minimal hypersurfaces , Acta Math., 134(1975), 275-288

    1975

  32. [32]

    Schoen and L

    R. Schoen and L. Simon, Regularity of stable minimal hypersurfaces , Comm. Pure Appl. Math., 34(1981), 741-797

    1981

  33. [33]

    J. Simons. Minimal varieties in riemannian manifolds Ann. of Math. (2) 88(1968), 62-105

    1968

  34. [34]

    Tonelli, Fondamenti di calcolo della variazioni , 1(1921)

    L. Tonelli, Fondamenti di calcolo della variazioni , 1(1921)

    1921

  35. [35]

    Wang, A Bernstein type theorem for self-similar shrinkers , Geom

    L. Wang, A Bernstein type theorem for self-similar shrinkers , Geom. Dedic., 151(2011), 297-303. Hongbin Cui, School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui, 230026, P.R. China Email address : cuihongbin@ustc.edu.cn Jiahuan Li, School of Mathematical Sciences, University of Science and Technology of China, Hef...

    2011