REVIEW 4 major objections 3 minor 22 references
$C^{2,\alpha}$ estimates for solutions to almost linear elliptic equations
T0 review · 4 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves C^{2,\alpha} interior estimates for viscosity solutions of uniformly elliptic equations that are C^1-close to linear, with an explicit closeness bound.
desk verdict A novel and credible C^{2,alpha} estimate for almost-linear fully nonlinear equations, with a genuine but fixable domain-transfer error in the main theorem. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the almost-linearity condition \|DF(M)-DF(N)\|\le\varepsilon for all symmetric matrices M,N, which measures how far F's derivative is from being constant. Under this condition the paper reduces F to an operator whose derivative at zero is the identity by an affine change of coordinates, then uses a two-scale iteration: at each scale it approximates u by a quadratic polynomial P with F($D^{2}$P)=0, comparing u to a mollified harmonic function via the Krylov\,--\,Safanov H\"older estimate and harmonic derivative estimates. The quadratic polynomial lemma supplies a uniform pointwise approximation |u-P|\le C|x|^{2+\$\alpha$}, and a pointwise-to-H\"older lemma converts that approximation into a $C^{{2,\alpha}}$ bound. For the inhomogeneous equation, the same polynomial iteration is run with a smallness condition on the L^n average of f, using a $C^{{1,1}}$ approximation lemma from Caffarelli\,--\,Cabr\'e.
What would settle it
Test the unstated inclusion used around (2.44): take n=2, \$\lambda$=1/2, \Lambda=1, and W=DF(0)=\operatorname{diag}(1/2,1). Then A=$W^{{-1/2}}$=\operatorname{diag}(\sqrt{2},1), and the point x=(1/4,0) lies in B_{1/(4\Lambda)}=B_{1/4}, but \sqrt{\Lambda}A^T x=(\sqrt{2}/4,0) has norm about 0.354, outside B_{1/4}. This explicit failure shows the proof's estimate on the claimed ball is not established in the regime \$\lambda$\Lambda<1; a counterexample or a corrected transfer step would settle the matter.
Extended reading notes
Core claim
The central claim is Theorem 1.3: for any ellipticity constants \$\lambda$,\Lambda and any \$\alpha$\in(0,1), there is an explicit \varepsilon_0(n,\$\lambda$,\Lambda,\$\alpha$)>0 such that if F is almost linear with constant \varepsilon_0 and u is a viscosity solution of F($D^{2}$u)=0 in B_1, then u is $C^{{2,\alpha}}$ on B_{1/(4\Lambda)} with \|$D^{2}$u\|_{C^\$\alpha$(B_{1/(4\Lambda)})} \le C_1\|u\|_{L^\infty(B_1)}. The paper also proves the inhomogeneous version, Theorem 1.4: if f\in C^\$\alpha$, then solutions of F($D^{2}$u)=f are $C^{{2,\alpha}}$ in B_{1/2} with norm controlled by \|u\|_{L^\infty}+\|f\|_{C^\$\alpha$}. The proof does not require F to be concave or convex; the only structural assumption is the almost-linear closeness condition.
Load-bearing premise
The proof transfers the estimate back to the original solution through an affine change of coordinates, and the claimed final ball is only contained in the ball where the rescaled estimate applies when the product of the ellipticity constants is at least one; the paper does not handle the other case.
Editorial extensions
If this is right
- Any viscosity solution of F(D^2u)=0 with F almost linear at the explicit threshold is automatically C^{2,\alpha} in the interior, so the equation has classical solutions with second derivatives H\"older continuous.
- The estimate is scale-invariant in the spirit of classical Schauder theory: the C^{2,\alpha} norm on a smaller ball is controlled linearly by the sup norm, so the result can be used as an a priori estimate in existence proofs.
- For equations with H\"older right-hand side, the same regularity holds and the estimate depends additively on the C^\alpha norm of f, making the result suitable for perturbation and fixed-point arguments.
- Because no concavity or convexity is assumed, the result adds a genuinely nonconvex class of uniformly elliptic equations to the known examples of fully nonlinear equations that enjoy Evans\,--\,Krylov-type regularity.
- The closeness constant \varepsilon_0 is explicit, so the theorem gives a concrete quantitative threshold that can be checked for a given operator.
Reading between the lines
- The authors do not pursue it, but the explicit \varepsilon_0 is likely far from optimal: the proof's constants are chosen by crude estimates, so a sharper computation of the admissible closeness window would make the result more directly applicable to perturbations of specific linear operators.
- The affine normalization to the Laplacian suggests a natural extension to operators close to any constant-coefficient elliptic operator L rather than only the Laplacian; such an extension would also address the \lambda\Lambda\ge 1 restriction currently implicit in the proof's final ball transfer.
- A testable refinement would be to perturb the Pucci extremal operators by a small Lipschitz term and compute the maximal \varepsilon for which C^{2,\alpha} estimates still hold; the theorem guarantees existence of such an \varepsilon, but numerical counterexamples near the threshold could locate the true constant.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves interior C^{2,alpha} estimates for viscosity solutions of uniformly elliptic fully nonlinear equations F(D^2u)=0 and F(D^2u)=f, assuming F is uniformly differentiable and its derivative has oscillation bounded by an explicit epsilon0. The main results are Theorem 1.3 (homogeneous case) and Theorem 1.4 (inhomogeneous case), with explicit constants. The proof uses an approximation-by-polynomials iteration: Lemma 2.1 constructs a quadratic polynomial approximating the solution at small scale when the operator is close to the Laplacian; Proposition 2.4 iterates this to get a global estimate; Theorem 1.3 transfers it to operators close to a general linear operator via an affine change of variables; Theorem 1.4 derives the inhomogeneous estimate using approximation by homogeneous solutions and scaling.
Significance. If the proof were complete, the result would be a valuable extension of Evans-Krylov type C^{2,alpha} regularity to non-concave, non-convex operators that are C^1-close to linear, with explicit bounds on the closeness. The paper also contains a useful review of the Cordes-Nirenberg theory and a clean appendix lemma converting pointwise Holder estimates into C^{2,alpha} estimates. However, several gaps in the proof affect the main theorems as stated.
major comments (4)
- [Proof of Theorem 1.3, transfer step near (2.44)] The proof concludes the C^{2,alpha} estimate on B_{1/(4Lambda)} from the estimate for tilde v on B_{1/4}, using that sqrt(Lambda) A^T x is in B_{1/4} for x in B_{1/(4Lambda)}. Since ||A^T|| = lambda^{-1/2}, the image of B_{1/(4Lambda)} under sqrt(Lambda) A^T has radius 1/(4 sqrt(lambda Lambda)), which exceeds 1/4 when lambda Lambda < 1. The theorem is stated for all positive lambda and Lambda without this restriction, so the stated domain is not reached by the proof in that regime. The statement should either assume lambda Lambda >= 1 or replace B_{1/(4Lambda)} by B_{1/(4 sqrt(lambda Lambda))} throughout, with the constant C_1 adjusted accordingly.
- [Proof of Proposition 2.4, transfer to arbitrary x0 after (2.41)] The argument defining v(x')=4u(x'/2+x0) gives ||v||_{L∞(B1)} <= 4M, so applying (2.40) to v and rescaling back yields |u(x)-P_{x0}(x)| <= M C'_0 2^{2+alpha}|x-x0|^{2+alpha}, not M C'_0 2^{alpha}|x-x0|^{2+alpha}. The displayed constant is therefore missing a factor 4; this propagates into the formula for C_1 in (1.7).
- [Proof of Theorem 1.4, reduction before (3.28)] The proof defines tilde f = f - f(0) and then asserts F_T(D^2 tilde u) = tilde f / T. However, the equation is F(D^2u)=f=tilde f+f(0), and for a fully nonlinear F one cannot subtract the constant f(0) from the equation without changing the operator. Moreover, the hypothesis (3.2) of Lemma 3.2 forces the L^n averages of f over B_r to be O(r^alpha), which excludes an arbitrary constant part f(0). A correct reduction would need to subtract a quadratic polynomial satisfying F(tI)=f(0), possible by ellipticity and the intermediate value theorem, and then track the extra quadratic term in the estimates; this step is absent.
- [Claim 2.5 in the proof of Proposition 2.4] Lemma 2.1 is applied to F_i(N)=F(N+D^2P_i), but its hypothesis (2.2) is not verified. The text checks only that F_i inherits almost-linearity, namely |DF_i(M)-DF_i(N)| <= tilde epsilon0, and ellipticity. From (2.28) for F one obtains |F_i(N)-tr(N)| <= tilde epsilon0(||N||+2||D^2P_i||), and ||D^2P_i|| is not small compared with the decreasing norms ||v_i||_{L∞}; hence the application of Lemma 2.1 as stated is not justified. The induction in Proposition 2.4 needs either a strengthened form of Lemma 2.1 or a different argument.
minor comments (3)
- [Lemma 2.1, statement vs. proof] The expression for C0 in part (ii) of Lemma 2.1 does not match the derivation in (2.16)-(2.17); please reconcile the displayed constants.
- [Throughout] There are several typographical errors and formatting inconsistencies, including 'niether' in the introduction, 'secord order' in Corollary 4.2, and irregular spacing around displayed formulas; a careful proofreading pass is needed.
- [Appendix 1] In Corollary 4.2, the hypothesis should state that the estimate (4.9) holds for every y in B_{1/2} and all x for which the left side is defined; the current wording is slightly ambiguous about the domain of the estimate.
Circularity Check
No circularity: the estimates are derived from standard external regularity theorems and self-contained approximation arguments; the only self-citation is historical and non-load-bearing.
full rationale
The derivation chain is self-contained. Theorem 1.3 is built from Lemma 2.1 and Proposition 2.4, which use the Krylov–Safanov theorem, harmonic boundary-value approximation, comparison principles, and harmonic Taylor remainder bounds to construct approximating quadratic polynomials; the iterative argument then uses only the already-established approximation at each scale, without assuming the conclusion. Theorem 1.4 applies Theorem 1.3 to a rescaled equation and uses the Caffarelli–Cabre approximation lemma, with the rescaled right-hand side satisfying the required smallness by construction from the C^alpha assumption. The only self-citation, to Streets–Warren [SW16], appears in the historical introduction and carries no argumentative weight. The apparent difficulty in the final affine transfer when lambda*Lambda < 1 is a geometric domain-estimate correctness issue, not a circularity: it is not a reduction of the conclusion to an assumption, and no fitted parameter is renamed as a prediction.
Assumptions & free parameters
assumptions (5)
- standard math Krylov-Safanov theorem: viscosity solutions of uniformly elliptic equations are C^{alpha0} and satisfy the estimate (2.4).
- standard math Harmonic boundary regularity: a harmonic function with C^3 boundary data is C^2 in the interior with a universal constant (Theorem 2.3).
- standard math Comparison principle for viscosity solutions of uniformly elliptic equations.
- standard math Caffarelli-Cabre approximation lemma (Lemma 3.1): solutions of F(D^2u)=f are approximated by C^{1,1} solutions of the homogeneous equation with error controlled by ||f||_{L^n}.
- standard math Existence of viscosity solutions to the Dirichlet problem for uniformly elliptic F(D^2w)=0 with continuous boundary data.
Cite this review
Pith. "Pith review of $C^{2,\alpha}$ estimates for solutions to almost linear elliptic equations." pith.science (2026). https://pith.science/paper/2BZRMGTE
@misc{pith2026190803654,
author = {Pith},
title = {Pith review of: $C^2,\alpha$ estimates for solutions to almost linear elliptic equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/2BZRMGTE}},
note = {Machine review of arXiv:1908.03654}
}
abstract
In this paper, we show $C^{2,\alpha}$ interior estimates for viscosity solutions of fully non-linear, uniformly elliptic equations, which are close to linear equations and we also compute an explicit bound for the closeness.
Reference graph
Works this paper leans on
-
[1]
Scott N. Armstrong, Luis E. Silvestre, and Charles K. Smart, Partial regularity of solutions of fully nonlinear, uniformly elliptic equations, Communications on Pure and Applied Mathematics 65, no. 8, 1169--1184
-
[2]
Eugenio Calabi, Improper affine hyperspheres of convex type and a generalization of a theorem by K . J \" o rgens , Michigan Math. J. 5 (1958), 105--126. 0106487
work page 1958
-
[3]
43, American Mathematical Soc., 1995
Luis A Caffarelli and Xavier Cabr \'e , Fully nonlinear elliptic equations, vol. 43, American Mathematical Soc., 1995
work page 1995
-
[4]
Xavier Cabr\' e and Luis A. Caffarelli, Interior C^ 2, regularity theory for a class of nonconvex fully nonlinear elliptic equations , J. Math. Pures Appl. (9) 82 (2003), no. 5, 573--612. 1995493
work page 2003
-
[5]
Yi Cao, DongSheng Li, and LiHe Wang, A priori estimates for classical solutions of fully nonlinear elliptic equations, Sci. China Math. 54 (2011), no. 3, 457--462. 2775423
work page 2011
-
[6]
Collins, C^ 2, estimates for nonlinear elliptic equations of twisted type , Calc
Tristan C. Collins, C^ 2, estimates for nonlinear elliptic equations of twisted type , Calc. Var. Partial Differential Equations 55 (2016), no. 1, Art. 6, 11. 3441283
2016
-
[7]
Heinz Otto Cordes, \"U ber die erste randwertaufgabe bei quasilinearen differentialgleichungen zweiter ordnung in mehr als zwei variablen , Mathematische Annalen 131 (1956), no. 3, 278--312
work page 1956
-
[8]
H. O. Cordes, Zero order a priori estimates for solutions of elliptic differential equations, Proc. S ympos. P ure M ath., V ol. IV , American Mathematical Society, Providence, R.I., 1961, pp. 157--166. 0146511
work page 1961
Show all 22 references
-
[9]
Caffarelli and Yu Yuan, A priori estimates for solutions of fully nonlinear equations with convex level set, Indiana Univ
Luis A. Caffarelli and Yu Yuan, A priori estimates for solutions of fully nonlinear equations with convex level set, Indiana Univ. Math. J. 49 (2000), no. 2, 681--695. 1793687
2000
-
[10]
Evans, Classical solutions of fully nonlinear, convex, second-order elliptic equations, Communications on Pure and Applied Mathematics 35 (1982), no
Lawrence C. Evans, Classical solutions of fully nonlinear, convex, second-order elliptic equations, Communications on Pure and Applied Mathematics 35 (1982), no. 3, 333--363
1982
-
[11]
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
-
[12]
1, 151--164
N V Krylov and M V Safonov, A certain property of solutions of parabolic equations with measurable coefficients, Mathematics of the USSR-Izvestiya 16 (1981), no. 1, 151--164
1981
-
[13]
Pure Appl
Louis Nirenberg, On nonlinear elliptic partial differential equations and H \" o lder continuity , Comm. Pure Appl. Math. 6 (1953), 103--156; addendum, 395. 0064986
1953
-
[14]
L. Nirenberg, On a generalization of quasi-conformal mappings and its application to elliptic partial differential equations, Contributions to the theory of partial differential equations, Annals of Mathematics Studies, no. 33, Princeton University Press, Princeton, N. J., 195...
1954
-
[15]
USSR-Izv
N.V.Krylov, Boundedly nonhomogeneous elliptic and parabolic equations, Math. USSR-Izv. 20 (1983), no. 3, 459--492
1983
-
[16]
Nikolai Nadirashvili and Serge Vl a du t , Singular viscosity solutions to fully nonlinear elliptic equations, J. Math. Pures Appl. (9) 89 (2008), no. 2, 107--113. 2391642
2008
-
[17]
5, 1179 -- 1188
Nikolai Nadirashvili and Serge Vlăduţ, Singular solution to special lagrangian equations, Annales de l'Institut Henri Poincare (C) Non Linear Analysis 27 (2010), no. 5, 1179 -- 1188
2010
-
[18]
Pingali, C^ 2, estimates and existence results for a nonconcave PDE , Electron
Vamsi P. Pingali, C^ 2, estimates and existence results for a nonconcave PDE , Electron. J. Differential Equations (2016), Paper No. 168, 10. 3522223
2016
-
[19]
4, 557--578
Ovidiu Savin, Small perturbation solutions for elliptic equations, Communications in Partial Differential Equations 32 (2007), no. 4, 557--578
2007
-
[20]
Jeffrey Streets and Micah Warren, Evans- K rylov estimates for a nonconvex M onge- A mp\`ere equation , Math. Ann. 365 (2016), no. 1-2, 805--834. 3498927
2016
-
[21]
Giorgio Talenti, Sopra una classe di equazioni ellittiche a coefficienti misurabili, Ann. Mat. Pura Appl. (4) 69 (1965), 285--304. 0201816
1965
-
[22]
Yu Yuan, A priori estimates for solutions of fully nonlinear special L agrangian equations , Ann. Inst. H. Poincar\' e Anal. Non Lin\' e aire 18 (2001), no. 2, 261--270. 1808031
2001
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.