Pith. sign in

REVIEW 2 minor 40 references

Regularity for convex viscosity solutions of $\sigma_2$ Equation

T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read Convex viscosity solutions to the σ₂ equation achieve interior C² regularity when f is Lipschitz continuous with positive infimum.

desk verdict The paper proves interior C² regularity for convex viscosity solutions to σ₂(D²u)=f when f is Lipschitz and positive, with a matching counterexample for continuous f. read the letter →

arxiv 2605.30823 v2 pith:YEXOB42G submitted 2026-05-29 math.AP

Ruosi Chen , Huaiyu Jian , Xushan Tu , Xingchen Zhou This is my paper · ORCID
classification math.AP
keywords convexviscositysolutionsquadraticHessianequationinteriorregularityσ2fullynonlinearellipticequationsC2estimates
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 proves interior C² regularity for convex viscosity solutions of the quadratic Hessian equation σ₂(D²u) = f(x) when the right-hand side f is Lipschitz continuous and bounded away from zero. This supplies second-order derivative estimates that turn the viscosity solutions into classical ones inside the domain. The authors show the result is nearly optimal by constructing counterexamples of convex viscosity solutions that fail to be C^{1,1} when f is merely continuous. The question of interior regularity for Hölder continuous f remains open.

What carries the argument

Convexity of the viscosity solutions together with the Lipschitz condition on f, used to derive uniform interior estimates on the second derivatives via the quadratic Hessian operator.

What would settle it

A convex viscosity solution to σ₂(D²u)=f with f Lipschitz and inf f>0 that fails to be twice continuously differentiable at an interior point would disprove the claim.

Watch

Extended reading notes

Core claim

We prove interior C² regularity for convex viscosity solutions of the quadratic Hessian equation σ₂(D²u) = f(x), under the assumption that f∈C^{0,1} with inf f>0. The result is almost sharp: if f are merely continuous, there exist convex viscosity solutions that fail to be C^{1,1}.

Load-bearing premise

Solutions are convex and the right-hand side f is Lipschitz continuous with a strictly positive lower bound.

Editorial extensions

If this is right

  • The solutions become classical C² solutions in the interior.
  • The equation behaves as a uniformly elliptic fully nonlinear equation under the convexity assumption.
  • The Lipschitz threshold on f is necessary for C² regularity, as shown by the continuous counterexamples.

Reading between the lines

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

  • The same convexity-plus-Lipschitz strategy may apply to other elementary symmetric Hessian equations σ_k for k>2.
  • Boundary regularity or global estimates might be obtainable by adapting the interior argument.
  • The open case for Hölder f suggests a possible gap between C^{0,1} and C^α regularity that could be tested numerically in low dimensions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript proves an interior C² regularity result for convex viscosity solutions of the quadratic Hessian equation σ₂(D²u) = f(x), under the assumption that f is Lipschitz continuous with inf f > 0. The result is presented as almost sharp, with a matching counterexample showing that convex viscosity solutions may fail to be C^{1,1} when f is merely continuous, while the case of Hölder continuous f remains open.

Significance. If the central claim holds, the result advances the regularity theory for fully nonlinear Hessian equations by establishing C² estimates under convexity and a Lipschitz condition on the right-hand side. The explicit counterexample for continuous f and the identification of the open Hölder case provide a clear delineation of the regularity threshold, which is valuable for applications in convex geometry and elliptic PDE theory.

minor comments (2)
  1. The abstract states that the result is almost sharp and mentions counterexamples for continuous f; including a brief outline or reference to the construction of these counterexamples in the introduction would improve accessibility without altering the main theorem.
  2. Notation for the equation is introduced as σ₂(D²u) = f(x); ensure consistent use of parentheses and subscripts throughout the manuscript for clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its significance for the regularity theory of Hessian equations, and the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper presents a direct analytic proof of an interior C² regularity result for convex viscosity solutions to the σ₂ equation under the explicit hypotheses that f is Lipschitz continuous with positive infimum. The abstract and reader's summary indicate that the estimates are closed using convexity together with the Lipschitz assumption on f, with the result described as almost sharp because counterexamples exist for merely continuous f. No load-bearing step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the derivation is self-contained against the stated assumptions and does not invoke uniqueness theorems or ansatzes from prior self-work in a manner that collapses the claim.

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

The result rests on standard background from viscosity solution theory and convexity; no free parameters or new entities are introduced in the abstract.

assumptions (2)
  • standard math Viscosity solutions to fully nonlinear elliptic equations satisfy comparison principles and maximum principles under standard structural conditions.
    Invoked implicitly to pass from viscosity sense to classical regularity.
  • domain assumption Convexity of the solution allows application of specific estimates for Hessian equations.
    Explicitly required in the statement of the theorem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Regularity for convex viscosity solutions of $\sigma_2$ Equation." pith.science (2026). https://pith.science/paper/YEXOB42G

@misc{pith2026260530823,
  author       = {Pith},
  title        = {Pith review of: Regularity for convex viscosity solutions of $\sigma_2$ Equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YEXOB42G}},
  note         = {Machine review of arXiv:2605.30823}
}
abstract

We prove interior $C^{2}$ regularity result for convex viscosity solutions of the quadratic Hessian equation $\sigma_2(D^2u) = f(x)$, under the assumption that $f\in C^{0,1}$ with $\inf f>0$. The result is almost sharp: if $f$ are merely continuous, there exist convex viscosity solutions that fail to be $C^{1,1}$. When $f\in C^{\alpha}$ for some $\alpha\in (0,1)$, the corresponding interior regularity remains open.

Figures

Figures reproduced from arXiv: 2605.30823 by the authors.

Figure 1
Figure 1. Decomposition of vectors Decompose b into components parallel and orthogonal to d respectively, b = bd + b⊥, bd = β γ d, b⊥ = b − bd. Then d T b⊥ = 0, so b⊥ ∈ D0. Moreover, ∥b⊥∥ 2 = b T ⊥b⊥ = α − β 2 γ . Note that if b⊥ = 0, then b is parallel to d, and η = 1 − α + β 2/γ = 1 > 0. So in the following we assume b⊥ ̸= 0 for the decomposition, since the case b⊥ = 0 will be covered by the arguments of the case η > 0. For… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 2 canonical work pages

  1. [1]

    Aleksandrov, A. D. Uniqueness theorems for surfaces in the large. I . Vestnik Leningrad. Univ. 11 , 19 (1956), 5--17

    1956

  2. [2]

    The D irichlet problem for nonlinear second-order elliptic equations

    Caffarelli, L., Nirenberg, L., and Spruck, J. The D irichlet problem for nonlinear second-order elliptic equations. III . F unctions of the eigenvalues of the H essian. Acta Math. 155 , 3-4 (1985), 261--301

    1985

  3. [3]

    Caffarelli, L. A. Interior W^ 2,p estimates for solutions of the M onge- A mp\`ere equation. Ann. of Math. (2) 131 , 1 (1990), 135--150

    1990

  4. [4]

    An integral approach to prescribing scalar curvature equations

    Chen, R., Jian, H., and Zhou, X. An integral approach to prescribing scalar curvature equations. Math. Ann. 394 , 3 (2026), Paper No. 72, 29

    2026

  5. [5]

    Global regularity for the Monge-Amp\`ere equation with natural boundary condition

    Chen, S., Liu, J., and Wang, X.-J. Global regularity for the Monge-Amp\`ere equation with natural boundary condition. Ann. Math. 194 , 3 (2021), 745--793

    2021

  6. [6]

    On the regularity of the solution of the n dimensional minkowski problem

    Cheng, S.-Y., and Yau, S.-T. On the regularity of the solution of the n dimensional minkowski problem. Comm. Pure Appl. Math. 29\/ (1976), no.5, 495-516

    1976

  7. [7]

    A variational theory of the H essian equation

    Chou, K.-S., and Wang, X.-J. A variational theory of the H essian equation. Comm. Pure Appl. Math. 54 , 9 (2001), 1029--1064

    2001

  8. [8]

    Hessian estimates for the sigma-2 equation with variable right-hand side terms in dimension 4

    Fan, Z. Hessian estimates for the sigma-2 equation with variable right-hand side terms in dimension 4. Adv. Math. 494\/ (2026), Paper No. 110953, 30

    2026

Show all 40 references
  1. [9]

    Convex hypersurfaces of prescribed curvatures

    Guan, B., and Guan, P. Convex hypersurfaces of prescribed curvatures. Ann. of Math. (2) 156 , 2 (2002), 655--673

    2002

  2. [10]

    Hypersurfaces of prescribed curvature measure

    Guan, P., Li, J., and Li, Y. Hypersurfaces of prescribed curvature measure. Duke Math. J. 161 , 10 (2012), 1927--1942

    2012

  3. [11]

    Interior C^2 regularity of convex solutions to prescribing scalar curvature equations

    Guan, P., and Qiu, G. Interior C^2 regularity of convex solutions to prescribing scalar curvature equations. Duke Math. J. 168 , 9 (2019), 1641--1663

    2019

  4. [12]

    Global C^2 -estimates for convex solutions of curvature equations

    Guan, P., Ren, C., and Wang, Z. Global C^2 -estimates for convex solutions of curvature equations. Comm. Pure Appl. Math. 68 , 8 (2015), 1287--1325

    2015

  5. [13]

    On elliptic M onge- A mp\`ere equations and W eyl's embedding problem

    Heinz, E. On elliptic M onge- A mp\`ere equations and W eyl's embedding problem. J. Analyse Math. 7\/ (1959), 1--52

    1959

  6. [14]

    Viscosity solutions of fully nonlinear second-order elliptic partial differential equations

    Ishii, H., and Lions, P.-L. Viscosity solutions of fully nonlinear second-order elliptic partial differential equations. J. Differential Equations 83 , 1 (1990), 26--78

    1990

  7. [15]

    Boundary C^ 2, regularity for the oblique boundary value problem of Monge-Amp\`ere equations

    Jian, H.-Y, and Tu, X. Boundary C^ 2, regularity for the oblique boundary value problem of Monge-Amp\`ere equations. J. Eur. Math. Soc. , DOI 10.4171/JEMS/1780, 1--53

    doi

  8. [16]

    Continuity estimates for the M onge- A mp\`ere equation

    Jian, H.-Y., and Wang, X.-J. Continuity estimates for the M onge- A mp\`ere equation. SIAM J. Math. Anal. 39 , 2 (2007), 608--626

    2007

  9. [17]

    Continuity estimates for the gradient of solutions to the M onge- A mp\`ere equation with natural boundary condition

    Jian, H., and Zhu, R. Continuity estimates for the gradient of solutions to the M onge- A mp\`ere equation with natural boundary condition. Journal of Differential Equations 416 , (2025) 2065--2084

    2025

  10. [18]

    Pogorelov type interior C^ 2 estimate for H essian quotient equation and its application

    Lu, S., and Tsai, Y.-L. Pogorelov type interior C^ 2 estimate for H essian quotient equation and its application. J. Reine Angew. Math. 831\/ (2026), 155--184

    2026

  11. [19]

    Hessian estimates for convex solutions to quadratic H essian equation

    McGonagle, M., Song, C., and Yuan, Y. Hessian estimates for convex solutions to quadratic H essian equation. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire 36 , 2 (2019), 451--454

    2019

  12. [20]

    Strict 2-convexity of convex solutions to the quadratic H essian equation

    Mooney, C. Strict 2-convexity of convex solutions to the quadratic H essian equation. Proc. Amer. Math. Soc. 149 , 6 (2021), 2473--2477

    2021

  13. [21]

    The W eyl and M inkowski problems in differential geometry in the large

    Nirenberg, L. The W eyl and M inkowski problems in differential geometry in the large. Comm. Pure Appl. Math. 6\/ (1953), 337--394

    1953

  14. [22]

    Pogorelov, A. V. The M inkowski multidimensional problem . Scripta Series in Mathematics. V. H. Winston & Sons, Washington, DC; Halsted Press [John Wiley & Sons], New York-Toronto-London, 1978. Translated from the Russian by Vladimir Oliker, Introduction by Louis Nirenberg

    1978

  15. [23]

    Interior curvature estimates for hypersurfaces of prescribing scalar curvature in dimension three

    Qiu, G. Interior curvature estimates for hypersurfaces of prescribing scalar curvature in dimension three. Amer. J. Math. 146 , 3 (2024), 579--605

    2024

  16. [24]

    Interior H essian estimates for _2 equations in dimension three

    Qiu, G. Interior H essian estimates for _2 equations in dimension three. Front. Math. 19 , 4 (2024), 577--598

    2024

  17. [25]

    A priori interior estimates for special Lagrangian curvature equations

    Qiu, G., and Zhou, X. A priori interior estimates for special Lagrangian curvature equations . arXiv:2407.15159\/ (2024)

    2024

  18. [26]

    Pointwise C^ 2, estimates at the boundary for the Monge-Amp\`ere equation

    Savin, O. Pointwise C^ 2, estimates at the boundary for the Monge-Amp\`ere equation. J. Amer. Math. Soc. 26 , 1 (2013), 63--99

    2013

  19. [27]

    Hessian estimate for semiconvex solutions to the sigma-2 equation

    Shankar, R., and Yuan, Y. Hessian estimate for semiconvex solutions to the sigma-2 equation. Calc. Var. Partial Differential Equations 59 , 1 (2020), Paper No. 30, 12

    2020

  20. [28]

    Hessian estimates for the sigma-2 equation in dimension four

    Shankar, R., and Yuan, Y. Hessian estimates for the sigma-2 equation in dimension four. Ann. of Math. (2) 201 , 2 (2025), 489--513

    2025

  21. [29]

    Interior curvature bounds for a class of curvature equations

    Sheng, W., Urbas, J., and Wang, X.-J. Interior curvature bounds for a class of curvature equations. Duke Math. J. 123 , 2 (2004), 235--264

    2004

  22. [30]

    Trudinger, N. S. The D irichlet problem for the prescribed curvature equations. Arch. Rational Mech. Anal. 111 , 2 (1990), 153--179

    1990

  23. [31]

    Trudinger, N. S. Weak solutions of Hessian equations. Comm. Partial Differential Equations 22 , no. 7-8 (1997), 1251--1261

    1997

  24. [32]

    S., and Wang, X.-J

    Trudinger, N. S., and Wang, X.-J. Hessian measures II. Ann. of Math. 150 , no. 2 (1999), 579--604

    1999

  25. [33]

    S., Wang, X.-J

    Trudinger, N. S., Wang, X.-J. Boundary regularity for the Monge-Amp\`ere and affine maximal surface equations. Ann. Math. 167 , 2 (2008), 993--1028

    2008

  26. [34]

    On the existence of nonclassical solutions for two classes of fully nonlinear elliptic equations

    Urbas, J. On the existence of nonclassical solutions for two classes of fully nonlinear elliptic equations. Indiana Univ. Math. J. 39 , no. 2 (1990), 355--382

    1990

  27. [35]

    Some interior regularity results for solutions of H essian equations

    Urbas, J. Some interior regularity results for solutions of H essian equations. Calc. Var. Partial Differential Equations 11 , 1 (2000), 1--31

    2000

  28. [36]

    An interior second derivative bound for solutions of H essian equations

    Urbas, J. An interior second derivative bound for solutions of H essian equations. Calc. Var. Partial Differential Equations 12 , 4 (2001), 417--431

    2001

  29. [37]

    Wang, X. J. Some counterexamples to the regularity of M onge- A mp\`ere equations. Proc. Amer. Math. Soc. 123 , 3 (1995), 841--845

    1995

  30. [38]

    Wang, X. J. The k-Hessian equation, Geometric analysis and PDEs. Lecture Notes in Math. vol. 1977 , Springer, Dordrecht, 2009, pp. 177--252

    1977

  31. [39]

    Hessian estimates for the sigma-2 equation in dimension 3

    Warren, M., and Yuan, Y. Hessian estimates for the sigma-2 equation in dimension 3. Comm. Pure Appl. Math. 62 , 3 (2009), 305--321

    2009

  32. [40]

    Notes on generalized special Lagrangian equation

    Zhou, X. Notes on generalized special Lagrangian equation. Calc. Var. Partial Differential Equations 63 , 8 (2024), Paper No. 197, 28 pp

    2024

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.