A well-known theorem of Evans and Krylov states that in an equation of the form $F(D^2 u)=g$, provided that the right hand side and $u$ both have Lipschitz gradient, and that $F$ is concave or convex and of class $C^2$ on the space of symmetric matrices, and uniformly elliptic at $u$, the solution is of class $C^{2,\alpha}$ for some $\alpha$.


The proof in Gilbarg-Trudinger uses differentiaion of the equation twice, and therefore $L^\infty$ second derivatives of $g$ are needed. My question is about minimal regularity known to be necessary for the function $g$. Does one really need Lipscitz gradients for $g$ or it can be relaxed?



Regularity of the right hand side (the source term) in Evans-Krylov theory 
The equation $F(D^2u) = g$ for $g \in C^{\alpha}$ should have a $C^{2,\alpha}$ estimate by perturbation theory. See for instance Caffarelli-Cabre, Ch. 8. The idea is that the constant-coefficient equation $F(D^2w) = f(x\_0)$ has a $C^{2,\alpha}$ estimate (Evans-Krylov), so by using the quadratic approximation to $w$, ABP, rescaling and iteration we can produce a paraboloid approximating $u$ to order $O(|x-x\_0|^{2+\alpha})$. (Since we use ABP I think that some Holder condition on the growth of the $L^n$ norm of $g$ should suffice).


