pith. sign in

arxiv: 2605.17466 · v1 · pith:QJLZQQD3new · submitted 2026-05-17 · 🧮 math.DG

Terminal H\"older Closure in Curvature Estimates and its Application

Anji Tang This is my paper

Pith reviewed 2026-05-19 22:37 UTC · model grok-4.3

classification 🧮 math.DG
keywords curvature estimatesHölder's inequalityYoung's inequalityminimal hypersurfacesconstant mean curvatureintegral boundsBernstein problem
0
0 comments X

The pith

Replacing Young's inequality with Hölder's simplifies curvature estimates and extends to CMC hypersurfaces.

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

The paper shows that replacing Young's inequality by Hölder's inequality in the final step of the Schoen-Simon-Yau curvature estimate for stable minimal graphs yields a structurally simpler argument and a strictly smaller constant. This replacement also allows a natural extension to the constant-mean-curvature setting for strongly stable hypersurfaces. The resulting CMC estimate features two competing terms divided by the condition |H|(1-θ)R ≤ 1. On scales smaller than the mean-curvature radius, the CMC hypersurface behaves locally like a stable minimal one.

Core claim

By applying Hölder's inequality instead of Young's to close the integral estimate after the preparatory gradient bound, one obtains constants C_H(n,q) < C_Y(n,q) for small q with the ratio tending to 1/2 as q approaches 0 from above. The same Hölder mechanism applied to strongly stable CMC hypersurfaces produces an integral curvature estimate with two terms separated by the threshold |H|(1-θ)R ≤ 1, below which it reduces to the minimal-surface estimate.

What carries the argument

The terminal Hölder closure mechanism that applies Hölder's inequality to bound the curvature integral.

If this is right

  • A strictly smaller constant is achieved in the curvature estimate for small q.
  • The argument extends directly to constant-mean-curvature hypersurfaces.
  • The CMC estimate reduces to the minimal case when |H|(1-θ)R ≤ 1.
  • Strong stability controls the extra terms in the CMC setting.

Where Pith is reading between the lines

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

  • Hölder's inequality could replace Young's in similar estimates elsewhere in geometric analysis.
  • The scale separation in the CMC estimate may help analyze transitions in curvature flows.
  • This quantitative reduction suggests CMC hypersurfaces can be approximated by minimal ones locally.

Load-bearing premise

The proof assumes the standard preparatory gradient estimate is available and that the hypersurface is strongly stable.

What would settle it

Finding a specific n and small q where the explicit C_H(n,q) is not smaller than C_Y(n,q) would disprove the strict improvement.

read the original abstract

The Schoen--Simon--Yau (SSY) curvature estimate reduces the Bernstein problem for complete stable minimal graphs in $\mathbb{R}^{n+1}$ to an integral estimate whose final step traditionally relies on Young's inequality. This note shows that replacing Young's inequality by H\"older's inequality at this stage yields a structurally simpler argument, a strictly smaller constant, and a natural extension to the constant-mean-curvature (CMC) setting. Starting from the standard preparatory gradient estimate, we derive explicit constants $C_Y(n,q)$ and $C_H(n,q)$ for the Young and H\"older closure routes, and prove $\lim_{q\to0^+}C_H/C_Y=1/2$ with $C_H<C_Y$ for all sufficiently small $q$. For strongly stable CMC hypersurfaces, the same H\"older mechanism produces an integral curvature estimate featuring two competing terms, separated by the condition $|H|(1-\theta)R\le 1$, below this mean-curvature scale, the CMC estimate reduces to the minimal-surface form, quantitatively articulating that on scales smaller than its mean-curvature radius, a CMC hypersurface is locally indistinguishable from a stable minimal hypersurface.

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

0 major / 3 minor

Summary. The manuscript shows that replacing Young's inequality by Hölder's inequality in the terminal step of the Schoen-Simon-Yau integral curvature estimate (starting from the standard preparatory gradient bound) produces explicit constants C_Y(n,q) and C_H(n,q) with C_H < C_Y for small q and lim_{q→0^+} C_H/C_Y = 1/2. The same Hölder closure is applied to strongly stable CMC hypersurfaces, yielding a two-term integral curvature estimate whose terms are separated by the explicit scale condition |H|(1-θ)R ≤ 1; below this scale the CMC estimate reduces to the minimal-surface form.

Significance. If the derivations hold, the note supplies a simpler terminal closure with a strictly smaller constant and a natural quantitative extension to the CMC setting that makes precise the local indistinguishability of strongly stable CMC hypersurfaces from stable minimal ones on scales smaller than the mean-curvature radius. The explicit constants and the limit relation are concrete strengths.

minor comments (3)
  1. [§2] §2, after Eq. (2.4): the transition from the preparatory gradient estimate to the integral term to which Hölder is applied should be written out in one displayed line so that the exact integrand on which the inequality acts is immediately visible.
  2. [§3] §3, definition of C_H(n,q): the dependence on the dimension n and the exponent q should be stated explicitly in the displayed formula rather than only in the surrounding text.
  3. [§4] §4, statement of the CMC estimate: the parameter θ appears without a prior definition; a short sentence recalling that 0 < θ < 1 is fixed by the strong-stability hypothesis would remove any ambiguity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, including the recognition of the simpler terminal closure via Hölder's inequality, the explicit constants with C_H < C_Y for small q, the limit relation, and the quantitative reduction of the CMC estimate to the minimal-surface case below the mean-curvature scale. The recommendation for minor revision is noted. No specific major comments were raised in the report.

read point-by-point responses

  1. Referee: The referee report provides a summary of the results, notes the significance of the explicit constants and CMC extension, and recommends minor revision, but lists no specific major comments or requested changes.

    Authors: We appreciate the referee's accurate summary of the Hölder closure approach and its advantages over the traditional Young inequality step. Since no concrete issues, corrections, or additional clarifications were requested, we do not identify any mandatory revisions at this time. The manuscript as posted on arXiv already contains the explicit constants C_Y(n,q), C_H(n,q), the limit statement, and the scale condition |H|(1-θ)R ≤ 1 separating the two terms in the CMC estimate. If the editor or referee has any minor editorial suggestions, we are happy to incorporate them in a revised version. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation begins from the cited standard preparatory gradient estimate and performs a direct substitution of Hölder's inequality for Young's inequality inside the terminal integral closure step of the SSY estimate. Explicit constants C_Y(n,q) and C_H(n,q) are derived by applying the two inequalities to the same non-negative integrand, followed by an elementary limit comparison as q→0+; neither step defines a quantity in terms of itself nor renames a fitted parameter as a prediction. The CMC extension inserts the adjusted strong-stability inequality into the identical Hölder step, producing two competing terms whose dominance is controlled by the explicit scale |H|(1-θ)R≤1. All steps remain algebraically independent of the target curvature bound and rest on externally verifiable inequalities and the preparatory estimate, rendering the argument self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard preparatory gradient estimate for stable minimal graphs and the definition of strong stability for CMC hypersurfaces; these are treated as background facts rather than derived here.

axioms (2)
  • domain assumption Standard preparatory gradient estimate for stable minimal graphs holds
    Invoked at the start of the argument in the abstract
  • domain assumption Strong stability of the CMC hypersurface
    Required for the two-term integral curvature estimate

pith-pipeline@v0.9.0 · 5734 in / 1295 out tokens · 37917 ms · 2026-05-19T22:37:30.108411+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

11 extracted references · 11 canonical work pages

  1. [1]

    Simons,Minimal varieties in Riemannian manifolds, Ann

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

    work page 1968

  2. [2]

    Schoen, L

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

    work page 1975

  3. [3]

    Massari and M

    U. Massari and M. Miranda,Minimal Surfaces of Codimension One, North-Holland Math. Studies 91, North-Holland, Amsterdam, 1984

    work page 1984

  4. [4]

    Moser,A new proof of De Giorgi’s theorem concerning the regularity problem for elliptic differential equations, Comm

    J. Moser,A new proof of De Giorgi’s theorem concerning the regularity problem for elliptic differential equations, Comm. Pure Appl. Math. 13 (1960), 457–468

    work page 1960

  5. [5]

    Bellettini, O

    C. Bellettini, O. Chodosh, and N. Wickramasekera,Curvature estimates and sheeting the- orems for weakly stable CMC hypersurfaces, Adv. Math. 352 (2019), 133–157

    work page 2019

  6. [6]

    Chodosh and C

    O. Chodosh and C. Li,Stable minimal hypersurfaces inR 4, Acta Math. 233 (2024), no. 1, 1–31. 15

    work page 2024

  7. [7]

    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

    work page 1980

  8. [8]

    Lu,On stable hypersurfaces with constant mean curvature in Euclidean spaces, Bull

    J. Lu,On stable hypersurfaces with constant mean curvature in Euclidean spaces, Bull. Sci. Math. 139 (2015), 195–204

    work page 2015

  9. [9]

    J. L. Barbosa and M. do Carmo,Stability of hypersurfaces with constant mean curvature, Math. Z. 185 (1984), 339–353

    work page 1984

  10. [10]

    Nomizu and B

    K. Nomizu and B. Smyth,A formula of Simons’ type and hypersurfaces with constant mean curvature, J. Differential Geom. 3 (1969), 367–377

    work page 1969

  11. [11]

    Okumura,Hypersurfaces and a pinching problem on the second fundamental tensor, Amer

    M. Okumura,Hypersurfaces and a pinching problem on the second fundamental tensor, Amer. J. Math. 96 (1974), 207–213. 16

    work page 1974