Pith. sign in

REVIEW 3 major objections 7 minor 33 references

The Dirichlet problem for Hessian quotient type curvature equations in Minkowski space

T0 review · 3 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Given an admissible subsolution, the Hessian quotient curvature Dirichlet problem in Minkowski space has a unique smooth solution.

desk verdict A genuinely new conditional existence result for quotient curvature equations in Minkowski space, but the continuity method starts from a base point that is not in the right regularity class, and the abstract overclaims. read the letter →

arxiv 2505.22339 v3 pith:CV4F6UXF submitted 2025-05-28 math.AP math.DG

Mengru Guo , Yang Jiao This is my paper
classification math.APmath.DG MSC 35J6035B4553A1053C4253B30
keywords MinkowskispaceHessianquotienttypecurvatureequationsspacelikehypersurfacesDirichletproblemadmissiblesubsolutionaprioriC^2estimatescontinuitymethod
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

The paper establishes a conditional existence and uniqueness theorem for the homogeneous Dirichlet problem for a family of prescribed curvature equations in Minkowski space. In Theorem 1.2, for integers $2\le k

What carries the argument

The machinery that carries the argument is the curvature tensor $\eta=Hg-h$ together with the admissible cone $\Gamma_k$ of eigenvalue vectors with positive elementary symmetric sums. The operator $\sigma_k/\sigma_l(\lambda(\eta))$ becomes concave after taking the $(k-l)$-th root, and the standard inequality for elementary symmetric sums converts that concavity into the derivative bounds used at every step. The a priori estimates are then built with explicit barriers: the product $\tilde w e^{Bu}$, with $\tilde w=(1-|Du|^2)^{-1/2}$, controls the gradient; a function $\Psi=v-td+\frac{N}{2}d^2$ built from the boundary distance controls the mixed tangential-normal second derivatives; and an interior maximum principle for the largest second fundamental form entry controls the full Hessian once boundary estimates are known. A compactness argument for the uniformly elliptic deformation path promotes the $C^2$ bounds to a $C^{2,\alpha}$ solution, and standard elliptic regularity gives $C^\infty$.

What would settle it

Examine the $t=0$ step of the continuity method directly: take an admissible $C^2$ subsolution satisfying (1.5), form $\psi_0(x,u)=\sigma_k(\lambda(\eta[M_u]))/\sigma_l(\lambda(\eta[M_u]))$, and check whether $u$ solves (5.1) at $t=0$ with $\psi_0\in C^\infty$. A single admissible subsolution for which this fails would show the continuity argument has no valid starting point; a domain and $\psi$ satisfying all hypotheses of Theorem 1.2 but admitting no smooth admissible solution would refute the theorem itself.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is that the Dirichlet problem (1.3) for the Hessian quotient curvature equation in $\mathbb{R}^{n,1}$ is solvable in the smooth category under the geometric input of an admissible subsolution. Here $\eta=Hg-h$ is the tensor built from the mean curvature, induced metric, and second fundamental form of the spacelike graph $M_u$, and admissibility means that the eigenvalues $\lambda(\eta)$ lie in the cone $\Gamma_k$ where the elementary symmetric sums $\sigma_1,\dots,\sigma_k$ are positive. Theorem 1.2 states that with $k\ge2$, $0\le l<k<n$, $\psi\in C^\infty(\Omega\times\mathbb{R})>0$, $\psi_z\ge0$, and a $C^2$ subsolution satisfying (1.5), there is a unique admissible solution $u\in C^\infty(\Omega)$ with $u=0$ on $\partial\Omega$. The proof derives uniform $C^1$ and $C^2$ bounds for admissible solutions, then closes a continuity method over the deformation $t\psi+(1-t)\psi_0$. What is actually proven is the theorem with the subsolution hypothesis; the abstract's stronger unconditional reading is not justified in the body.

Load-bearing premise

The proof assumes the starting subsolution really solves the equation exactly at the initial point of the deformation, even though the hypotheses only guarantee an inequality; if that starting point is not smooth, the continuity argument has no solution to differentiate.

Editorial extensions

If this is right

  • Over the full range $0\le l<k<n$, the existence problem is reduced to exhibiting one admissible subsolution satisfying (1.5); no special boundary geometry is required.
  • The solution is unique among admissible solutions, by the maximum principle, and it is sandwiched between the zero function and the given subsolution.
  • The uniform $C^2$ estimates guarantee uniform ellipticity along the deformation path, which is what allows the compactness step to close the continuity method.
  • Once the $C^{2,\alpha}$ solution is obtained, standard elliptic regularity upgrades it to $C^\infty$, giving the smooth solution asserted in Theorem 1.2.

Reading between the lines

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

  • The paper leaves implicit that the unconditional claim in the abstract would require an existence theory for admissible subsolutions on arbitrary bounded smooth domains; without such a theory, the theorem as proved is conditional.
  • Because the boundary cone condition is automatic for $k<n$, a similar barrier strategy may apply to the still-open prescribed $k$-curvature problem in Minkowski space for $3\le k\le n-3$, where the missing piece is global $C^2$ control.
  • A direct test of the method's flexibility is to replace the $C^2$ subsolution with a weaker notion such as a $C^{1,1}$ or viscosity subsolution and check whether the a priori estimates still close after a smoothing step.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 7 minor

Summary. The paper studies the Dirichlet problem (1.3) for the Hessian quotient type curvature equation σ_k/σ_l(λ(η[M_u]))=ψ(x,u) with u=0 on ∂Ω in Minkowski space R^{n,1}. Theorem 1.2 asserts that for k≥2, 0≤l<k<n, bounded smooth Ω, ψ∈C^∞>0 with ψ_z≥0, if an admissible C^2 subsolution u exists satisfying (1.5), then there is a unique admissible solution u∈C^∞(Ω). The proof proceeds by establishing global C^1 and C^2 a priori estimates (Sections 3-4) and then using a continuity method in Section 5. The abstract states a stronger version without the subsolution assumption, but the theorem and proof require it.

Significance. If correct, Theorem 1.2 extends the Euclidean result of Chen-Tu-Xiang to Minkowski space and removes Serrin-type boundary conditions for k<n, a meaningful step for a class of equations where full k-curvature cases remain open. The paper contains substantial a priori estimates, including boundary double normal estimates and interior curvature bounds, and the barrier arguments are presented in detail. However, the proof of the continuity method has a regularity gap at the starting point, and the abstract overstates the result; these issues must be resolved before the existence claim is supported.

major comments (3)
  1. [Section 5, Eq. (5.1)] The continuity method starts by declaring that u is the solution for t=0. Since ψ0(x,u) is defined as σ_k/σ_l(λ(η[M_u])), equality at t=0 is tautological; the issue is regularity. The hypotheses provide only u∈C^2(Ω), so ψ0 is only continuous and need not be Hölder, and u need not belong to the space C^{2,α}(Ω) in which the set S is defined. Consequently the map (v,t)↦σ_k/σ_l(λ(η[M_v]))−tψ(x,v)−(1−t)ψ0(x,v) is not shown to be C^1 from C^{2,α}(Ω)×R to C^{0,α}(Ω) at (u,0), and the implicit function theorem cannot be invoked to prove S is open. The Evans–Krylov step for t>0 also requires the right-hand side to be at least C^{0,α}, which fails for (1−t)ψ0. A smoothing or approximation argument for the base subsolution is missing.
  2. [Abstract and Theorem 1.2] The abstract claims existence 'without subsolution assumption', but Theorem 1.2 explicitly assumes an admissible C^2 subsolution u satisfying (1.5), and the proof uses this subsolution as the starting point of the continuity method. The abstract's stronger claim is therefore not established and must be corrected to describe the conditional theorem actually proved.
  3. [Sections 3-4 and Section 5] The a priori estimates are stated for solutions of higher regularity than the continuity method provides: Theorems 3.1 and 4.1 assume u∈C^3(Ω), Lemma 4.4 concerns the second fundamental form of a smooth hypersurface, and the interior estimate (4.38) differentiates the equation twice. The set S in Section 5 consists of C^{2,α} solutions, and with the non-smooth ψ0 the standard bootstrap does not yield C^3 regularity. The paper does not explain how to apply the estimates to the C^{2,α} solutions produced by the continuity method, nor does it supply an approximation argument; this gap is load-bearing for the closure step.
minor comments (7)
  1. [Section 5] The text refers to 'Theorem 1.3' but the main theorem is Theorem 1.2.
  2. [Section 3] There are typos: 'Simliar' should be 'Similar' and 'Combing' should be 'Combining'.
  3. [Equation (2.1)] The label 'Weigarten formula' should be 'Weingarten formula'.
  4. [Reference [6]] The title contains a typo: 'Hesian' should be 'Hessian'.
  5. [References [29] and [30]] Reference [30] is listed with the same journal, volume, and pages as reference [29]; the bibliographic data for [30] should be verified.
  6. [Proof of Lemma 4.3] The display labelled (4.25) appears before the sentence 'Combining (4.22)-(4.25)', so the equation numbering is inconsistent and should be renumbered.
  7. [Notation throughout] The symbol η is used both for the tensor η=Hg−h and for the matrix η_{ij}=Σ_s γ_{is}b_{sj}; this overloading is confusing and should be disambiguated.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is conditional on an explicit subsolution, and the continuity method's t=0 base point is a deliberate construction, not a disguised prediction or fitted input.

full rationale

The central theorem is conditional: it assumes an admissible subsolution u satisfying (1.5), and the proof then derives a priori C^1 and C^2 estimates for any admissible solution. These estimates are argued independently of the existence conclusion and are not obtained by assuming the conclusion. The construction of psi_0(x,u) = sigma_k/sigma_l(lambda(eta[M_u])) in Section 5 makes u satisfy the t=0 problem exactly by definition. This is a standard homotopy starting point, not a prediction derived from the theorem: the final solution at t=1 is not statistically or definitionally forced by this base point. The regularity objection that u is only C^2 while the set S is defined using C^{2,alpha} solutions is a genuine gap in the continuity argument, but it is a correctness/regularity issue rather than circularity. Self-citations such as [16], [20], and [22] are used for technical lemmas, formulas, and barrier constructions, not as the source of the main existence result, so they are not load-bearing in a circular sense. The abstract's claim of proving existence 'without subsolution assumption' is inconsistent with the body's Theorem 1.2, which requires such a subsolution, but overclaiming is not a circular derivation. No step reduces the target result to its own inputs by construction.

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

No fitted parameters and no new geometric entities. The tensor eta=H g-h is part of the equation, not an invented degree of freedom. Constants chosen in the estimates are proof artifacts, not model parameters.

assumptions (6)
  • domain assumption There exists an admissible C^2 subsolution u satisfying (1.5)
    Hypothesis of Theorem 1.2; used as the comparison and starting point in Sections 3 and 5.
  • domain assumption psi in C^infinity(Omega x R)>0 and psi_z>=0
    Theorem 1.2 hypothesis; monotonicity in z is used in the gradient estimate (3.8) and in the maximum principle.
  • domain assumption Omega is bounded with smooth boundary
    Theorem 1.2 hypothesis; the boundary estimates in Section 4 use local boundary charts and principal curvatures of the boundary.
  • standard math Generalized Newton-MacLaurin inequality (Prop 2.1)
    Cited from [28]; used throughout for quotient bounds and cone properties.
  • standard math Concavity of (sigma_k/sigma_l)^(1/(k-l)) in tilde Gamma_k (Prop 2.2)
    Cited from [20]; used for interior second order estimates and the Evans-Krylov step.
  • standard math Urbas's Lemma 4.4 and Bayard's Lemma 4.3
    Cited without proof; central to the interior C^2 estimate and the boundary mixed derivative estimate.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Dirichlet problem for Hessian quotient type curvature equations in Minkowski space." pith.science (2026). https://pith.science/paper/CV4F6UXF

@misc{pith2026250522339,
  author       = {Pith},
  title        = {Pith review of: The Dirichlet problem for Hessian quotient type curvature equations in Minkowski space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CV4F6UXF}},
  note         = {Machine review of arXiv:2505.22339}
}
read the original abstract

In this paper, we consider the Dirichlet problem for a class of prescribed Hessian quotient type curvature equations in Minkowski space. For non-convex domains, we prove the existence theorem by establishing the \emph{a priori} estimates without subsolution assumption and Serrin-type condition.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [10]

    X. Chen, Q. Tu and N. Xiang,Dirichlet problem for degenerate Hessian quotient type cur- vature equations, Calc. Var. Partial Differ. Equ.64(2025), 99

    work page 2025

  2. [16]

    Guo and H

    M. Guo and H. Jiao,The Dirichlet problem for a class of curvature equations in Minkowski space, J. Differ. Equ.425(2025), 129–156

    work page 2025

  3. [20]

    Jiao and J

    H. Jiao and J. Liu,On a class of Hessian type equations on Riemannian manifolds, Proc. Amer. Math. Soc.151(2023), 569–581

    work page 2023

  4. [22]

    Jiao and Z

    H. Jiao and Z. Wang,The Dirichlet problem for degenerate curvature equations, J. Funct. Anal.283(2022), 109485

    work page 2022

  5. [1]

    Bartnik and L

    R. Bartnik and L. Simon,Spacelike hypersurfaces with prescribed boundary values and mean curvature, Comm. Math. Phys.87(1982), 131–152

    work page 1982

  6. [2]

    Bayard,Dirichlet problem for space-like hypersurfaces with prescribed scalar curvature in Rn,1, Calc

    P. Bayard,Dirichlet problem for space-like hypersurfaces with prescribed scalar curvature in Rn,1, Calc. Var. Partial Differ. Equ.18(2003), 1–30

    work page 2003

  7. [3]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg and J. Spruck,The Dirichlet problem for nonlinear second-order elliptic equations I. Monge-Amp` ere equation., Comm. Pure Appl. Math.37(1984), 369–402

    work page 1984

  8. [4]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg and J. Spruck,The Dirichlet problem for nonlinear second-order elliptic equations III., Functions of the eigenvalues of the Hessian, Acta Math.155(1985), 261–301

    work page 1985

Show all 33 references
  1. [5]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg and J. Spruck,Nonlinear second-order elliptic equations V. The Dirichlet problem for Weingarten hypersurfaces, Comm. Pure Appl. Math.41(1988), 41–70

    1988

  2. [6]

    C. Chen, W. Dong and F. Han,Interior Hessian estimates for a class of Hesian type equa- tions, Calc. Var. Partial Differ. Equ.62(2023), 52

    2023

  3. [7]

    L. Chen, Q. Tu and N. Xiang,Pogorelov type estimates for a class of Hessian quotient equations, J. Differ. Equ.282(2021), 272–284

    2021

  4. [8]

    X. Chen, Q. Tu and N. Xiang,A class of Hessian quotient equations in Euclidean space, J. Differ. Equ.269(2020), 11172–11194

    2020

  5. [9]

    X. Chen, Q. Tu and N. Xiang,The Dirichlet problem for a class of Hessian quotient equations on Riemannian manifolds, Int. Math. Res. Not. (2023), 10013–10036

    2023

  6. [11]

    Delano` e,The Dirichlet problem for an equation of given Lorentz-Gaussian curvature, Ukrain

    F. Delano` e,The Dirichlet problem for an equation of given Lorentz-Gaussian curvature, Ukrain. Mat. Zh.161(1990), 1704–1710.translation in Ukrainian Math. J.42(1990), 1538–1545

    1990

  7. [12]

    Guan,The Dirichlet problem for Monge-Amp` ere equations in non-convex domains and spacelike hypersurfaces of constant Gauss curvature, Trans

    B. Guan,The Dirichlet problem for Monge-Amp` ere equations in non-convex domains and spacelike hypersurfaces of constant Gauss curvature, Trans. Amer. Math. Soc.350(1998), 4955–4971

    1998

  8. [13]

    Guan,Second order estimates and regularity for fully nonlinear ellitpic equations on Riemannian manifolds, Duke Math

    B. Guan,Second order estimates and regularity for fully nonlinear ellitpic equations on Riemannian manifolds, Duke Math. J.163(2014), 1491–1524

    2014

  9. [14]

    Guan and J

    B. Guan and J. Spruck,Locally convex hypersurfaces of constant curvature with boundary, Comm. Pure Appl. Math.57(2004), 1311–1331

    2004

  10. [15]

    P. Guan, C. Ren and Z. Wang,GlobalC 2 estimates for convex solutions of curvature equa- tions, Commun. Pure Appl. Math.68(2015), 1927–1942

    2015

  11. [17]

    Ivochkina,Solution of the Dirichlet problem for equations ofm-th order curvature

    N. Ivochkina,Solution of the Dirichlet problem for equations ofm-th order curvature. (Rus- sian), Mat. Sb.180(1989), 867–887, translation in Math. USSR-Sb.67(1990), 317–339

    1989

  12. [18]

    Ivochkina,The Dirichlet problem for the curvature equation of orderm, Algebra i Analiz 2(1990), 192–217; translation in Leningrad Math

    N. Ivochkina,The Dirichlet problem for the curvature equation of orderm, Algebra i Analiz 2(1990), 192–217; translation in Leningrad Math. J.2(1991), 631–654

    1990

  13. [19]

    Ivochkina, M

    N. Ivochkina, M. Lin and N. TrudingerThe Dirichlet problem for the prescribed curvature quotient equations with general boundary values, Geometric analysis and the calculus of variations, 125–141. International Press, Cambridge, Mass, 1996

    1996

  14. [21]

    Jiao and Z

    H. Jiao and Z. Sun,The Dirichlet problem for a class of prescribed curvature equations, J. Geom. Anal.32(2022), 261

    2022

  15. [23]

    Lin and N

    M. Lin and N. Trudinger,The Dirichlet problem for the prescribed curvature quotient equa- tions, Topol. Methods Nonlinear Anal.3(1994), 307–323

    1994

  16. [24]

    C. Liu, J. Mao and Y. Zhao,Pogorelov type estimates for a class of Hessian quotient equations in Lorentz-Minkowski spaceR n+1 1 , J. Differ. Equ.327(2022), 212–225

    2022

  17. [25]

    M. Li, C. Ren and Z. Wang,An interior estimate for convex solutions and a rigidity theorem, J. Funct. Anal.270(2016), 2691–2714

    2016

  18. [26]

    Ren and Z

    C. Ren and Z. Wang,On the curvature estimates for Hessian equations, Amer. J. Math.141 (2019), 1281–1315. 20 M. GUO AND Y. JIAO

    2019

  19. [27]

    Ren and Z

    C. Ren and Z. Wang,The global curvature estimate for then−2Hessian equation, Calc. Var. Partial. Differ. Equ.62(2023), 239

    2023

  20. [28]

    Spruck,Geometric aspects of the theory of fully nonlinear elliptic equations, Clay Mathe- matics Proceedings,2(2005), 283–309

    J. Spruck,Geometric aspects of the theory of fully nonlinear elliptic equations, Clay Mathe- matics Proceedings,2(2005), 283–309

    2005

  21. [29]

    Urbas,The Dirichlet problem for the equation of prescribed scalar curvature in Minkowski space, Calc

    J. Urbas,The Dirichlet problem for the equation of prescribed scalar curvature in Minkowski space, Calc. Var. Partial Differ. Equ.18(2003), 307–316

    2003

  22. [30]

    Urbas,Interior curvature bounds for spacelike hypersurfaces of prescribed k-th mean cur- vature, Comm

    J. Urbas,Interior curvature bounds for spacelike hypersurfaces of prescribed k-th mean cur- vature, Comm. Anal. Geom.18(2003), 307–316

    2003

  23. [31]

    Wang,The Dirichlet problem for the prescribed curvature equations in Minkowski space, J

    B. Wang,The Dirichlet problem for the prescribed curvature equations in Minkowski space, J. Funct. Anal.289(2025), 111149

    2025

  24. [32]

    Wang,The global curvature estimates for Hessian equations, Proceedings of the Interna- tional Consortium of Chinese Mathematicians 2018 (2020), 367–384

    Z. Wang,The global curvature estimates for Hessian equations, Proceedings of the Interna- tional Consortium of Chinese Mathematicians 2018 (2020), 367–384

    2020

  25. [33]

    Zhou,Curvature estimates for a class of Hessian quotient type curvature equations, Calc

    J. Zhou,Curvature estimates for a class of Hessian quotient type curvature equations, Calc. Var. Partial Differ. Equ.63(2024), 88. School of Mathematics, Harbin Institute of Technology, Harbin, Heilongjiang, 150001, China Email address:22B912007@stu.hit.edu.cn School of Mathem...

    2024

Pith tools

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