Pith. sign in

REVIEW 1 major objections 3 minor 33 references

Hessian Estimates for the Sigma-2 Equation with Variable Right-Hand Side Terms in Dimension 4

T0 review · 1 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read This paper claims a priori interior Hessian estimates for the sigma-2 equation with a positive C^{1,1} variable right-hand side in dimension 4, and for n >= 5 under a dynamic semi-convexity condition.

desk verdict A real generalization of the n=4 sigma-2 Hessian estimate to variable right-hand sides, but the Alexandrov regularity step applies Harnack to a function that is not 2-convex, leaving the main theorem unsupported as written. read the letter →

arxiv 2509.03217 v1 pith:V46ZICYH submitted 2025-09-03 math.AP

Zhenyu Fan This is my paper · ORCID
classification math.AP MSC 35B4535B6535J6035J96
keywords sigma-2HessianequationinteriorestimatesJacobiinequalitydoublingmethodAlexandrovregularityviscositysolutionsC^{11}right-handsidedimensionfour
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 aims to prove that smooth solutions to the $\sigma$-2 Hessian equation $\sigma_2(D^2u)=f(x,u,Du)$, with $f$ positive and $C^{1,1}$ and with $\Delta u>0$, satisfy an interior Hessian bound: $|D^2u(0)|$ is controlled by a constant depending only on $\|f\|_{C^{1,1}}$, $\|1/f\|_{L^\infty}$, and $\|u\|_{C^1}$. If this is true, the estimate is exactly what converts weak viscosity solutions into classical ones: Theorem 1.4 states that any continuous viscosity solution in $B_1\subset\mathbb{R}^4$ with $\Delta u>0$ in the viscosity sense belongs to $C^{3,\alpha}_{\mathrm{loc}}$ for every $\alpha<1$. The proof extends the doubling method developed for $\sigma_2=1$ in dimension 4 to variable right-hand sides, combining an almost Jacobi inequality for $\log\Delta u$, a doubling inequality, almost-everywhere twice differentiability for viscosity solutions, and a generalized small perturbation theorem in a compactness argument. This would generalize Qiu's three-dimensional estimate with variable right-hand side and Shankar-Yuan's four-dimensional estimate for $\sigma_2=1$.

What carries the argument

The machinery that carries the proof is the almost Jacobi inequality for $b=\log\Delta u$ with respect to the linearized operator $\Delta_F=F^{ij}\partial_{ij}$, where $F^{ij}=\Delta u\,\delta^{ij}-u^{ij}$. In dimension four, Proposition 2.4 gives $$\Delta_F b\ge \varepsilon|\nabla_F b|^2 - C\$Gamma^{2}$(1+\$\Delta$ u)+\sum_i f_{p_i}b_i,\qquad \varepsilon=\frac{2}{9}\left(\frac12+\frac{\lambda_{\min}}{\$\Delta$ u}\right),$$ with $\Gamma=\|u\|_{C^1}+1$. The coefficient $\varepsilon$ may degenerate when $\lambda_{\min}/\Delta u$ nears $-1/2$, and the proof compensates by using the largeness of $\lambda_{\min}^2$ in those cases. This inequality feeds the maximum-principle test function of Guan-Qiu to produce the doubling inequality $\sup_{B_2}\Delta u\le C\exp(C\|u\|_{C^1(B_3)}^6)\sup_{B_1}\Delta u$. The remaining machinery is the weighted Holder estimate obtained from Labutin's potential estimate, which yields the Alexandrov-type theorem that viscosity solutions are twice differentiable almost everywhere, and the generalized Savin small-perturbation theorem that provides $C^{2,\alpha}$ control at small scales; compactness plus the doubling inequality converts that small-scale control into the global Hessian bound.

What would settle it

Check the application of Lemma 4.7 in Proposition 4.3, Step 1: for $M_{10r}=\sup_{B_{10r}}u$, the function $M_{10r}-u$ has laplacian $-\Delta u<0$, so it is not a nonnegative 2-convex solution in the admissible class required by the Harnack inequality. The two-sided estimate $\omega_r\le\theta\omega_{10r}+Cr^2$ therefore does not follow from the cited lemma; finding a valid replacement for this step, or a counterexample to the estimate, would settle whether Theorem 1.2 is proved.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: every smooth solution of $\sigma_2(D^2u)=f(x,u,Du)$ in $B_1\subset\mathbb{R}^4$ with $\Delta u>0$ satisfies $|D^2u(0)|\le C$, where $C$ depends only on $\|f\|_{C^{1,1}}$, $\|1/f\|_{L^\infty}$, and $\|u\|_{C^1(B_1)}$. In dimensions $n\ge 5$, the same bound, with $C$ also depending on $n$, is claimed under the dynamic semi-convexity condition $\lambda_{\min}(D^2u)\ge -c(n)\Delta u$ with $c(n)=(\sqrt{3n^2+1}-n+1)/(2n)$ (Theorem 1.3). From these a priori estimates the paper derives interior regularity: viscosity solutions in dimension four with $\Delta u>0$ are $C^{3,\alpha}_{\mathrm{loc}}$ for every $\alpha<1$ (Theorem 1.4). The proof is built from an almost Jacobi inequality for $\log\Delta u$, a doubling inequality, Alexandrov-type almost-everywhere twice differentiability, and a generalized Savin small-perturbation theorem, joined in a compactness argument.

Load-bearing premise

The load-bearing premise is that a two-sided Harnack-based oscillation decay is valid for the admissible solutions under study, i.e., that both the solution shifted up to its running maximum and shifted down to its running minimum lie in the class to which the Harnack inequality applies; if either fails, the Alexandrov regularity step and hence the main theorem are unsupported.

Editorial extensions

If this is right

  • In dimension 4, a smooth solution with $\Delta u>0$ to $\sigma_2(D^2u)=f(x,u,Du)$ satisfies $|D^2u(0)|\le C$, with $C$ depending only on $\|f\|_{C^{1,1}}$, $\|1/f\|_{L^\infty}$, and $\|u\|_{C^1(B_1)}$ (Theorem 1.2).
  • Consequently, viscosity solutions of the same equation in $B_1\subset\mathbb{R}^4$ with positive $C^{1,1}$ $f$ and $\Delta u>0$ belong to $C^{3,\alpha}_{\mathrm{loc}}(B_1)$ for every $\alpha\in(0,1)$ (Theorem 1.4).
  • In dimensions $n\ge 5$, the same Hessian bound holds for solutions satisfying the dynamic semi-convexity condition $\lambda_{\min}(D^2u)\ge -c(n)\Delta u$ (Theorem 1.3).
  • The doubling inequality $\sup_{B_2}\Delta u\le C\exp(C\|u\|_{C^1(B_3)}^6)\sup_{B_1}\Delta u$ means Hessian control on one ball propagates to larger balls, which is what turns small-scale perturbation control into a global interior estimate.
  • The estimate is a priori and universal in the data, so it is preserved under smooth approximation; this is the route from smooth solutions to viscosity solutions via the standard approximating and Evans-Krylov arguments.

Reading between the lines

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

  • A natural next step the paper does not spell out is to attempt dimension $n=5$ without the dynamic semi-convexity assumption; the degenerating coefficient $\varepsilon$ isolates exactly the ratio $\lambda_{\min}/\Delta u$ where the current case analysis is needed.
  • Because the doubling inequality has exponent $\|u\|_{C^1(B_3)}^6$, a sharper test-function argument might lower this power and yield estimates depending on weaker norms, which would matter for boundary regularity.
  • The Harnack-based oscillation decay in Proposition 4.3 is the step where the paper switches from smooth solutions to viscosity solutions; if that step can be replaced by a direct potential-theoretic argument, the Alexandrov regularity part would apply to larger classes of $k$-convex functions.
  • The explicit constant $c(n)$ in (1.2) arises from the roots of a quadratic in $y=F_{ii}/\Delta u$; optimizing that quadratic is a concrete way to sharpen or generalize the admissible class in higher dimensions.
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

1 major / 3 minor

Summary. The paper claims a priori interior Hessian estimates for the sigma-2 Hessian equation sigma_2(D^2u)=f(x,u,Du) with positive C^{1,1} right-hand side in dimension 4, and in all higher dimensions under the dynamic semi-convexity condition (1.2). It also claims interior C^{3,alpha} regularity for viscosity solutions in dimension 4. The strategy follows Shankar-Yuan's doubling method adapted to variable right-hand sides: the author proves an almost Jacobi inequality (Prop 2.4), a doubling inequality (Prop 3.1), an Alexandrov-type a.e. twice-differentiability theorem for viscosity solutions (Prop 4.1), and then combines these with a generalized Savin small-perturbation theorem (Theorem 5.1) in a compactness argument to prove Theorems 1.2 and 1.3.

Significance. If correct, the main theorem would be a substantial generalization of the Shankar-Yuan Hessian estimates to variable right-hand sides and would establish interior regularity in dimension 4. The algebraic core, especially Proposition 2.4 and Proposition 3.1, is carefully derived; the treatment of the remainder terms from differentiating f appears technically sound, and the paper makes an honest effort to supply full details of the doubling argument. However, the proof of the Alexandrov regularity theorem contains a sign-sensitive gap in the application of the Harnack inequality, and that gap is load-bearing for the compactness argument in the main theorems.

major comments (1)
  1. [Section 4, Proposition 4.3, Step 1 (Eq. (4.6))] The oscillation decay estimate omega_r <= theta omega_{10r} + C r^2 is obtained by applying Lemma 4.7 to both M_{10r}-u and u-m_{10r}. The function M_{10r}-u is nonnegative but it is not 2-convex in the admissible sense defined in Section 2: its Laplacian equals -Delta u < 0, so the eigenvalues of D^2(M_{10r}-u) are not in Gamma_2. Lemma 4.7 derives from Lemma 4.6, Labutin's Wolff-potential estimate, which is stated only for nonnegative 2-convex functions, and the sign of sigma_1 is essential in that theory. Therefore the first Harnack application is invalid and the two-sided estimate (4.6) is unsupported. Since (4.6) is the basis for the weighted Holder estimate (4.1), Proposition 4.1 (a.e. twice differentiability), and the compactness step in the proofs of Theorems 1.2 and 1.3, the main results are not established by the given argument. A one-sided Harnack estimate for u-m alone cannot produce two-sided control, and adding a large constant to make -u positive does not restore Gamma_2-admissibility.
minor comments (3)
  1. [Section 4, Lemma 4.7] The statement writes 'sigma_2(D^2)' where the argument u is missing; it should read 'sigma_2(D^2u)=f'.
  2. [Section 4, Definition 4.5 and Lemma 4.6] The paper uses '2-convex' in the admissible Gamma_2 sense in Section 2 and switches to the Hessian-measure context of Trudinger-Wang in Section 4 without explicitly reconciling the two conventions; this is especially confusing because the validity of Lemma 4.6 depends on the cone condition.
  3. [Section 6, Step 2] In the verification that the operator G satisfies hypothesis H2 of Theorem 5.1, the ellipticity constants should be controlled in terms of D^2Q and the uniform bounds on f; the paragraph merely asserts this, and a reader needs an explicit check that the constants depend only on the stated quantities.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Hessian estimate is derived from the equation and external compactness/perturbation results, not from fitted inputs or self-encoded conclusions.

full rationale

The derivation chain is a standard a priori estimate: algebraic almost-Jacobi inequality (Prop. 2.4) yields the doubling inequality (Prop. 3.1); Alexandrov-type a.e. twice differentiability is obtained via Labutin's potential estimate and Harnack-type inequalities (Prop. 4.1-4.3); the compactness step uses the generalized Savin small-perturbation theorem (Thm. 5.1). No parameter is fitted to the quantity being predicted: the final Hessian bound's constants depend only on the stated norms of f and u, never on a measured value of |D^2u(0)|. The only author-overlap citation is [Fan25] for Theorem 5.1, but that theorem is an external small-perturbation result whose hypotheses (uniform ellipticity, small oscillation, small data) do not encode the target Hessian estimate, and it is also supported by [LZ24]; it is therefore independent evidence rather than a self-referential premise. The alleged difficulty in Prop. 4.3—applying the Harnack inequality to M_{10r}-u, which is not 2-convex—concerns the validity of a technical estimate, not circularity: the theorem's conclusion is not assumed among its hypotheses.

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

No free parameters or invented entities. The proof imports a set of external theorems: the generalized Savin theorem (Theorem 5.1) from [LZ24] and the author's preprint [Fan25], Labutin's potential estimates, the Hessian measure representation, and Shankar-Yuan's doubling framework. The dynamic semi-convexity condition is a hypothesis of Theorem 1.3.

assumptions (5)
  • domain assumption Generalized Savin small perturbation theorem (Theorem 5.1) is valid with constants depending on n, alpha, rho, lambda, Lambda, b0, c0, and omega_F.
    Quoted from [LZ24] and the author's preprint [Fan25]; not proved here and used in Step 2 of the proof of Theorems 1.2 and 1.3.
  • domain assumption Labutin's Wolff potential estimate (Lemma 4.6) holds for the 2-convex functions in this setting with n>=4 and k=2.
    Taken from [Lab02, Thm 2.1]; it is the basis of the Harnack inequality Lemma 4.7 used in Prop 4.3.
  • standard math The Hessian of a 2-convex function can be represented as a matrix-valued Radon measure, following Chaudhuri-Trudinger [CT05].
    Invoked in Prop 4.1 Step 1 to interpret D^2u and its singular part.
  • domain assumption Shankar-Yuan's doubling framework and almost Jacobi inequality for sigma_2=1 extend to sigma_2=f with the remainder terms handled in Prop 2.4.
    The paper's Prop 3.1 is modeled on [SY25, Prop 3.1]; the author relies on the validity of that framework.
  • domain assumption The dynamic semi-convexity condition (1.2) with c(n)=(sqrt(3n^2+1)-n+1)/(2n) is satisfied by the solutions considered in Theorem 1.3.
    This is a hypothesis of Theorem 1.3 and is used in the algebraic Claim 1 of Prop 2.4 Case 2 to ensure the almost Jacobi epsilon is positive.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hessian Estimates for the Sigma-2 Equation with Variable Right-Hand Side Terms in Dimension 4." pith.science (2026). https://pith.science/paper/V46ZICYH

@misc{pith2026250903217,
  author       = {Pith},
  title        = {Pith review of: Hessian Estimates for the Sigma-2 Equation with Variable Right-Hand Side Terms in Dimension 4},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V46ZICYH}},
  note         = {Machine review of arXiv:2509.03217}
}
abstract

We derive a priori interior Hessian estimates and regularity for the sigma-2 Hessian equation $\sigma_{2}(D^2u)=f(x,u,Du)$ with positive $C^{1,1}$ right hand side in dimension 4. In higher dimensions, the same result holds under an additional dynamic semi-convexity condition on solutions. This generalizes Qiu's and Shankar-Yuan's results.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 24 canonical work pages

  1. [1]

    Caffarelli and Xavier Cabr\'e, Fully nonlinear elliptic equations, American Mathematical Society Colloquium Publications, vol

    Luis A. Caffarelli and Xavier Cabr\'e, Fully nonlinear elliptic equations, American Mathematical Society Colloquium Publications, vol. 43, American Mathematical Society, Providence, RI, 1995. 1351007

    1995

  2. [2]

    PDE 9 (2016), no

    Chuanqiang Chen, Fei Han, and Qianzhong Ou, The interior C^2 estimate for the M onge- A mp\`ere equation in dimension n=2 , Anal. PDE 9 (2016), no. 6, 1419--1432. 3555315

    work page 2016

  3. [3]

    Ruosi Chen, Huaiyu Jian, and Xingchen Zhou, An integral approach to prescribing scalar curvature equations, Preprint, arXiv:2408.14850 (2024)

    arXiv 2024

  4. [4]

    Caffarelli, L

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

    1985

  5. [5]

    Trudinger, An A lexsandrov type theorem for k -convex functions , Bull

    Nirmalendu Chaudhuri and Neil S. Trudinger, An A lexsandrov type theorem for k -convex functions , Bull. Austral. Math. Soc. 71 (2005), no. 2, 305--314. 2133413

    2005

  6. [6]

    Pure Appl

    Kai-Seng Chou and Xu-Jia Wang, A variational theory of the H essian equation , Comm. Pure Appl. Math. 54 (2001), no. 9, 1029--1064. 1835381

    work page 2001

  7. [7]

    Evans and Ronald F

    Lawrence C. Evans and Ronald F. Gariepy, Measure theory and fine properties of functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, FL, 1992. 1158660

    1992

  8. [8]

    Zhenyu Fan, A generalization of S avin's small perturbation theorem for fully nonlinear elliptic equations and applications , preprint, arXiv:2509.01138 (2025)

    work page Pith review arXiv 2025

Show all 33 references
  1. [9]

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

    2019

  2. [10]

    Trudinger, Elliptic partial differential equations of second order, Classics in Mathematics, Springer-Verlag, Berlin, 2001, Reprint of the 1998 edition

    David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order, Classics in Mathematics, Springer-Verlag, Berlin, 2001, Reprint of the 1998 edition. 1814364

    2001

  3. [11]

    Analyse Math

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

    1959

  4. [12]

    Blaine Lawson, Jr., Calibrated geometries, Acta Math

    Reese Harvey and H. Blaine Lawson, Jr., Calibrated geometries, Acta Math. 148 (1982), 47--157. 666108

    1982

  5. [13]

    1, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2011

    Qing Han and Fanghua Lin, Elliptic partial differential equations, second ed., Courant Lecture Notes in Mathematics, vol. 1, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2011. 2777537

    2011

  6. [14]

    Labutin, Potential estimates for a class of fully nonlinear elliptic equations, Duke Math

    Denis A. Labutin, Potential estimates for a class of fully nonlinear elliptic equations, Duke Math. J. 111 (2002), no. 1, 1--49. 1876440

    2002

  7. [15]

    Jiakun Liu, Interior C^2 estimate for M onge- A mp\`ere equation in dimension two , Proc. Amer. Math. Soc. 149 (2021), no. 6, 2479--2486. 4246799

    2021

  8. [16]

    Trudinger, On some inequalities for elementary symmetric functions, Bull

    Mi Lin and Neil S. Trudinger, On some inequalities for elementary symmetric functions, Bull. Austral. Math. Soc. 50 (1994), no. 2, 317--326. 1296759

    1994

  9. [17]

    Yuanyuan Lian and Kai Zhang, Pointwise regularity for locally uniformly elliptic equations and applications, preprint, arXiv:2405.07199 (2024)

    2024 arXiv

  10. [18]

    Matt McGonagle, Chong Song, and Yu Yuan, Hessian estimates for convex solutions to quadratic H essian equation , Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 36 (2019), no. 2, 451--454. 3913193

    2019

  11. [19]

    A. V. Pogorelov, The D irichlet problem for the multidimensional analogue of the M onge- A mp\`ere equation , Dokl. Akad. Nauk SSSR 201 (1971), 790--793. 293228

    1971

  12. [20]

    , 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. 478079

    1978

  13. [21]

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

    2024

  14. [22]

    Partial Differential Equations 32 (2007), no

    Ovidiu Savin, Small perturbation solutions for elliptic equations, Comm. Partial Differential Equations 32 (2007), no. 4-6, 557--578. 2334822

    2007

  15. [23]

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

    2020

  16. [24]

    , Rigidity for general semiconvex entire solutions to the sigma-2 equation, Duke Math. J. 171 (2022), no. 15, 3201--3214. 4497226

    2022

  17. [25]

    , Hessian estimates for the sigma-2 equation in dimension four, Ann. of Math. (2) 201 (2025), no. 2, 489--513. 4880431

    2025

  18. [26]

    Trudinger, Weak solutions of H essian equations , Comm

    Neil S. Trudinger, Weak solutions of H essian equations , Comm. Partial Differential Equations 22 (1997), no. 7-8, 1251--1261. 1466315

    1997

  19. [27]

    Trudinger and Xu-Jia Wang, Hessian measures

    Neil S. Trudinger and Xu-Jia Wang, Hessian measures. II , Ann. of Math. (2) 150 (1999), no. 2, 579--604. 1726702

    1999

  20. [28]

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

    1990

  21. [29]

    1977, Springer, Dordrecht, 2009, pp

    Xu-Jia Wang, The k - H essian equation , Geometric analysis and PDE s, Lecture Notes in Math., vol. 1977, Springer, Dordrecht, 2009, pp. 177--252. 2500526

    1977

  22. [30]

    Pure Appl

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

    2009

  23. [31]

    Yingfeng Xu, Interior estimates for solutions of the quadratic H essian equations in dimension three , J. Math. Anal. Appl. 489 (2020), no. 2, 124179, 10. 4093797

    2020

  24. [32]

    Yu Yuan, Quadratic H essian E quation , Surveys in Geometric Analysis – Volume 7, 2023 (2024), 157--177

    2024

  25. [33]

    XingChen Zhou, Notes on generalized special L agrangian equation , Calc. Var. Partial Differential Equations 63 (2024), no. 8, Paper No. 197, 28. 4782212

    2024

Pith tools

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