Pith. sign in

REVIEW 2 major objections 6 minor 14 references

Global Regularity for minimal graphs over convex domains in hyperbolic space

T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that the global Hölder exponent of a minimal graph over a bounded convex domain in hyperbolic space is controlled by the domain's convexity type and not by its smoothness.

desk verdict The Holder regularity result is genuine and the barrier proof is basically sound; the coordinate-alignment concern is a minor omission, not a fatal gap. read the letter →

arxiv 1908.06397 v1 pith:K6P2RE7P submitted 2019-08-18 math.AP

Huaiyu Jian , You Li This is my paper · ORCID
classification math.AP MSC 35J9335B6535J25
keywords minimalgraphshyperbolicspaceDirichletproblemglobalHölderregularityconvexdomain(aeta)-typesupersolutionboundary
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper determines the exact global Hölder regularity of the solution to the Dirichlet problem for the equation of minimal graphs over bounded convex domains in hyperbolic space. The main theorem states that when the domain is of $(a,\eta)$-type with $2 \le a \le +\infty$, the unique concave solution belongs to $C^{\bar a}(\Omega)$, where $\bar a = \max\{1/a, 1/(n+1)\}$, with constants depending only on $a$, $\eta$, the diameter, and the dimension. This shows that the regularity is controlled by the convexity of the boundary alone and is independent of its smoothness. The proof constructs explicit supersolutions from the translation- and rotation-invariance of the equation and uses the comparison principle, and it includes sharp endpoint constants for the strictly convex and flat-boundary cases.

What carries the argument

The load-bearing device is a family of explicit supersolutions $W(x) = ((x_n/\varepsilon)^{2/a} - |x'|^2)^{1/b}$, with $b=2$ in the main range, used in combination with the comparison principle. With a boundary point moved to the origin and the vertical axis aligned with the nearest-point segment, the $(a,\eta)$-type containment $\Omega \subset \{x_n \ge \eta |x'|^a\}$ ensures $W \ge u$ on the boundary, and a direct computation of the operator $F[W]$ shows $F[W] \le 0$ for a sufficiently small $\varepsilon$. The inequality $u \le W$ then gives $u(y) \le C d_y^{1/a}$ along the vertical axis, and Lemma 2.4 (a concave function vanishing on the boundary with $d^\alpha$ decay is $C^\alpha$) turns this into the global Hölder estimate. The endpoint cases use different barriers: for $a=2$, the explicit ball solution $U(x)=\sqrt{R^2-|x|^2}$, available through the exterior sphere condition; for $a=+\infty$, the one-variable supersolution $U(x)=(n+1)^2 x_n^{1/(n+1)} - x_n^{2-1/(n+1)}$ yields the universal $C^{1/(n+1)}$ estimate.

What would settle it

Solve the Dirichlet problem (1.1) on a lens-shaped convex domain formed by intersecting two disks of radius $R$, and test the bound $u(y) \le 2\sqrt{2 R d_\Omega}\sqrt{d_y}$ at points on the inward normal from one of the corners; exceeding the bound at any point would falsify the $a=2$ case of Theorem 1.2.

Watch

Extended reading notes

Core claim

Theorem 1.2 is the central claim: if $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) is a bounded convex $(a,\eta)$-type domain with $a \in [2,+\infty]$, then the concave solution $u$ of (1.1) satisfies $u \in C^{\bar a}(\Omega)$ and $|u|_{C^{\bar a}(\Omega)} \le C(a,\eta,d_\Omega,n)$, with $\bar a = \max\{1/a, 1/(n+1)\}$. The endpoint constants are explicit: $C = 2\sqrt{2 R d_\Omega}$ for $a=2$ ($R$ the exterior sphere radius) and $C = 2(n+1)^2 d_\Omega^{1/(n+1)}$ for $a=+\infty$. The theorem is optimal, since the exponent cannot be larger than $1/2$ for $(2,\eta)$-type domains or larger than $1/(n+1)$ for $(+\infty,\eta)$-type domains whose boundary contains flat pieces. A separate local result, Theorem 1.3, gives the decay $|u(x)| \le C |x|^{1/(a+\delta)}$ along the normal direction near an $(a,\eta)$-type boundary point for $a \in [1,2)$.

Load-bearing premise

The proof assumes that for each boundary point and a nearest interior point, the $(a,\eta)$-type containment can be written in coordinates whose vertical axis runs along the segment between those two points, even though the definition of $(a,\eta)$-type only guarantees that such a containment holds in some coordinate system.

Editorial extensions

If this is right

  • For every $(2,\eta)$-type convex domain, including nonsmooth ones, the minimal graph solution is globally $C^{1/2}$ with the explicit constant $2\sqrt{2 R d_\Omega}$.
  • For every bounded convex domain, the solution is globally $C^{1/(n+1)}$ with the explicit constant $2(n+1)^2 d_\Omega^{1/(n+1)}$, giving a quantitative universal regularity estimate.
  • For $(a,\eta)$-type domains with $2 < a \le n+1$, the global exponent is $1/a$; for $a > n+1$ it remains $1/(n+1)$, so boundary convexity controls regularity only down to the universal floor.
  • The optimality statements mean that no convexity-based improvement can push the exponent above $1/2$ for strictly convex $(2,\eta)$-type domains or above $1/(n+1)$ for domains with flat boundary pieces.
  • Because the constants depend only on the $(a,\eta)$-type geometry, the same Hölder estimates hold for polyhedral approximations of smooth convex domains.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The explicit supersolution construction is geometric rather than analytic, so the same barrier argument is likely to transfer to other translation- and rotation-invariant elliptic Dirichlet problems that admit a comparison principle.
  • Theorem 1.3 suggests a plausible global counterpart: a bounded convex domain whose boundary is $(a,\eta)$-type only at finitely many corner points, with $a<2$, might still have a global exponent dictated by the sharpest corner; the paper does not prove this.
  • The $a=+\infty$ constant $2(n+1)^2 d_\Omega^{1/(n+1)}$ is likely not sharp, and the optimal constant could be found by improving the one-variable supersolution $U$; this is a testable optimization problem.
  • For numerical applications, the result means that replacing a smooth convex boundary by a polygonal one does not change the predicted worst-case Hölder exponent, which may guide the design of approximation schemes for minimal-surface-type equations.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. This paper studies the global Hölder regularity of the unique concave solution to the Dirichlet problem for the minimal graph equation in hyperbolic space over a bounded convex domain Ω⊂R^n. The authors introduce the notion of (a,η)-type convex domains (Definition 1.1) and prove (Theorem 1.2) that if Ω is (a,η)-type with a∈[2,+∞], then the solution belongs to C^{ā}(Ω) with ā=max{1/a,1/(n+1)} and a Hölder norm bounded by a constant depending only on a, η, dΩ, and n; explicit constants are given at the endpoints a=2 and a=+∞. The proof is based on constructing explicit supersolutions using the invariance of the equation under translations and rotations: the case a=2 is handled via an enclosing-ball ('exterior sphere') argument, the case a∈(2,∞) via a power-type barrier, and the case a∈(n+1,∞] via a one-dimensional barrier. A local boundary estimate for (a,η)-type points with a∈[1,2) is also stated (Theorem 1.3).

Significance. If correct, Theorem 1.2 provides a clean, quantitative regularity theory for minimal graphs in hyperbolic space over nonsmooth convex domains, recovering and refining the C^{1/(n+1)} result of Han-Shen-Wang and Lin's C^{1/2} for uniformly convex domains. The explicit barrier construction and explicit constants are valuable, and the paper ships detailed computations that are largely reproducible. The main weakness is that two key steps in the written proofs are not fully justified: the coordinate-alignment assertion in Theorems 2.6 and 3.1, and the final exponent in the proof of Theorem 1.3.

major comments (2)
  1. [Theorem 2.6 and Theorem 3.1, around Eq. (3.2)] In the proofs of Theorem 2.6 (Section 2) and Theorem 3.1 (Section 3, Eq. (3.2)), the authors choose z∈∂Ω with |y−z|=d_y and then, after a rotation taking the segment z y to the x_n-axis, assert that the domain satisfies the containment Ω⊂B_R(R e_n) (Theorem 2.6) or Ω⊂{x_n≥η|x'|^a} (Theorem 3.1). This assertion does not follow directly from the exterior sphere condition or from Definition 1.1, since those conditions only guarantee the containment for some coordinate axis at z, not necessarily the axis aligned with the metric projection direction. The missing step is a lemma: for y∈Ω and a nearest point z∈∂Ω, the point z is a regular boundary point with a unique supporting hyperplane. Indeed, the open ball B(y,d_y) is contained in Ω and touches ∂Ω at z, so the tangent cone of Ω at z contains the tangent halfspace of that ball and hence must be a halfspace; consequently the (a,η)-type axis (or the exterior-sphere center direction) at z is forced to coincide with the direction y−z. This argument should be supplied before Eq. (3.2) and in the proof of Theorem 2.6. Without it, the barrier comparison is unjustified for interior points whose nearest boundary point is a corner.
  2. [Section 4, end of proof of Theorem 1.3] The proof of Theorem 1.3 concludes u(0,x_n) ≤ x_n^{2/(ab)} for arbitrary b∈(2,3). Since b>2, the exponent 2/(ab) is strictly less than 1/a. For small x_n, x_n^{1/a+δ} is strictly smaller than x_n^{2/(ab)} for every δ>0, so the obtained bound is weaker than the claimed estimate (1.6) and cannot imply it. The direction of the implication is reversed: a bound with a larger exponent would imply one with a smaller exponent, not vice versa. Thus Theorem 1.3 is not proven as stated. The authors should either construct a barrier yielding an exponent at least 1/a+δ, or revise the statement of Theorem 1.3 to an exponent that the construction actually supports. This is a load-bearing issue for the local regularity theorem.
minor comments (6)
  1. [Abstract] The word 'hyperbolic' is misspelled as 'hyp erbolic' in the abstract.
  2. [Introduction and reference [9]] 'Chaplying gas' should be 'Chaplygin gas' in the introduction and in reference [9].
  3. [Eq. (3.9)] There are extra unmatched parentheses in '(1/ε(a,η,dΩ,n)))^{1/a}'; the intended expression is '(1/ε)^{1/a} x_n^{1/a}'.
  4. [Theorem 3.2 proof] The statement 'U > 0 on ∂Ω' should be 'U ≥ 0 on ∂Ω', since U=0 on the part of the boundary with x_n=0.
  5. [Section 4, first paragraph] The phrase 'Since (1,η)-type point is of course (1+ε, η(ε))-type point for any ε>0' should define η(ε); as written, η(ε) is not specified.
  6. [Lemma 2.1 proof] The sign convention in '0 ≥ γ1(t) ≥ γ2(t)' is unclear; the geometric meaning of the heights should be stated more explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

The paper derives its regularity estimates from explicit barrier constructions and the comparison principle; the cited self-lemmas are independent auxiliary facts, so no circularity is present.

full rationale

The central claim, Theorem 1.2, is proved by constructing explicit supersolutions W and then invoking the comparison principle. In the a=2 case, Theorem 2.6 compares u with the explicit solution on a tangent exterior ball, obtaining u(y) ≤ sqrt(2 R d_y) and hence the C^{1/2} bound. In the a>2 case, Theorem 3.1 builds W(x) = ((x_n/ε)^{2/a} - |x'|^2)^{1/2}, verifies F[W] ≤ 0 in Ω and W ≥ 0 on ∂Ω from the (a,eta)-type containment, and concludes u(y) ≤ C d_y^{1/a}. The final Hölder regularity then follows from Lemma 2.4, which is a standard distance-decay-to-Hölder assertion. No parameter is fitted to the target quantity; all constants are explicit functions of a, η, d_Ω, and n. The self-citations to the authors' earlier work [6] are used only for Definition 1.1 and for Lemmas 2.3 and 2.4. These are parameter-free geometric and analytic facts whose assumptions do not include the desired regularity conclusion, so they constitute independent support rather than circularity. The possible geometric gap concerning the alignment of the (a,eta)-type coordinate system with the nearest-boundary-point direction is a correctness concern in the written proof, not a circularity: the proof may need an additional supporting lemma, but it does not assume the theorem it is trying to prove. Overall, the derivation is self-contained in the sense that the regularity statements are consequences of barrier arguments and comparison theorems, not restatements of the inputs.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No data fitting or invented entities appear. The proof rests on standard comparison principles, the authors' earlier lemmas, and one coordinate-alignment assumption that is not fully justified. The constants epsilon and A in the barrier construction are chosen small to satisfy inequalities; they are not free parameters in the statement of the theorem.

assumptions (5)
  • domain assumption Problem (1.1) admits a unique concave solution u in C(Omega) intersect C^infinity(Omega) for bounded convex Omega.
    The paper's theorem is conditional on existence, uniqueness and concavity taken from Han-Shen-Wang [4, Theorem 1.1(i)]; these are not re-proved.
  • standard math The comparison principle applies to the singular operator F[u] = Delta u - (u_i u_j/(1+|grad u|^2)) u_ij + n/u.
    Used repeatedly to conclude u <= W and u <= U from F[W] <= 0 and boundary inequalities; this is standard for the elliptic operator but is not stated as a formal lemma.
  • ad hoc to paper The (a,eta)-type containment can be assumed with the x_n-axis aligned with the inward normal direction determined by the metric projection segment from y to the boundary point z.
    This alignment is asserted 'without loss of generality' in the proofs of Theorem 2.6 and Theorem 3.1, but it does not follow from Definition 1.1 or Definition 2.2 when the normal cone contains more than one direction.
  • standard math The equation (1.1) is invariant under translation and rotation transforms.
    Used to place boundary points at the origin and to construct rotationally symmetric barriers.
  • standard math Lemmas 2.3 and 2.4 from the authors' prior paper [6] are valid.
    Lemma 2.3 gives the equivalence between (2,eta)-type and exterior sphere condition; Lemma 2.4 converts distance-decay estimates into Holder continuity for concave functions. Both are cited from [6] without proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Global Regularity for minimal graphs over convex domains in hyperbolic space." pith.science (2026). https://pith.science/paper/K6P2RE7P

@misc{pith2026190806397,
  author       = {Pith},
  title        = {Pith review of: Global Regularity for minimal graphs over convex domains in hyperbolic space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/K6P2RE7P}},
  note         = {Machine review of arXiv:1908.06397}
}
read the original abstract

In this paper we study the global regularity for the solution to the Dirichlet problem of the equation of minimal graphs over a convex domain in hyperbolic spaces. We find that the global regularity depends only on the convexity of the domain but independent of its smoothness. Basing on the invariance of the problem under translation and rotation transforms, we construct the super-solution to the problem, by which we prove the optimal and accurate global regularity for this problem.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [6]

    Han,Q., Shen,W., Wang, Y., Optimal regularity of minimal graphs in the hyperbolic space, Calc. Var. Partial Differential Equations, 55(2016), 1-19

    work page 2016

  2. [1]

    Math., 69 (1982), 477-494

    Anderson, A., Complete minimal varieties in hyperbolic space, Invent. Math., 69 (1982), 477-494

    work page 1982

  3. [2]

    Anderson, A., Complete minimal hypersurfaces in hyperbolic n -manifolds, Comment. Math. Helv., 58 (1983),264-290

    work page 1983

  4. [3]

    Gilbarg, D., Trudinger, N.S.,

    work page

  5. [4]

    Guan B., Spruck, J., Hypersurfaces of constant mean curvature in the hyperbolic space with prescribed asymptotic boundary at infinity, Amer. J. Math. 122 (2000), 1036-1060

    work page 2000

  6. [5]

    Han, Q., Jiang, X.,Boundary expansions for minimal graphs in the hyperbolic space,

    work page

  7. [7]

    Qing Han, Weiming Shun, Yue Wang,

    work page

  8. [8]

    Math., 88 (1987), 217-224

    Hardt, R., Lin, F.H, Reguloarity at infinity for area-minimizing hypersurfaces in hyperbolic space, Invent. Math., 88 (1987), 217-224

    work page 1987

Show all 14 references
  1. [9]

    Jian, H.Y., Wang, X.-J.,

  2. [10]

    Differential Equations, 264 (2018), 6873-6890

    Jian, H.Y., Li, Y., Optimal boundary regularity for a singular Monge-Amp\`ere equation, J. Differential Equations, 264 (2018), 6873-6890

    2018

  3. [11]

    Math., 96 (1989), Invent

    Lin, F.H., On the Dirichlet problem for minimal graphs in the hyperbolic space, Invent. Math., 96 (1989), Invent. Math., 96 (1989), 593-612

    1989

  4. [12]

    pure Appl

    Lin, F.H., Asymtotic behavior of area-minimizing currents in hyperbolic space, Comm. pure Appl. Math., 42 (1989),229-242

    1989

  5. [13]

    Rational Mech

    Serre, D., Multidimensional shock interaction for a Chaplygin gas, Arch. Rational Mech. Anal., 191 (2009), 539-577

    2009

  6. [14]

    Z., 221 (1996), 591-615

    Tonegawa, Y., Existence and regularity of constant mean curvature hypersurfaces in hyperbolic space, Math. Z., 221 (1996), 591-615

    1996

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.