Boundary regularity for certain fully nonlinear elliptic equations. (Q4032161)

The regularity of the second derivatives of \(C^{1,1}\)-solutions to the Dirichlet problem for fully nonlinear, concave, elliptic equations \(F(x,u,Du,D^ 2u)=0\) is investigated near the boundary of \(\Omega\). It is shown that the integral \[ {1 \over {R^{n-2}}} \int_{\Omega_ R(x_ 0)} | D^ 3 u|^ 2 dx \] can be made arbitrarily small for all \(x_ 0\in \overline {\Omega}\) in some weak, controlled manner. If \(F\) is of divergence form, then the quasilinear theory developed by the author in [Manusc. Math. 77, No. 1, 1-16 (1992)] and applied to the once differentiated system \(F_{r_{ij}} D_{kij} u+\delta_ k F=0\) yields the Hölderness of \(D^ 2 u\) in \(\overline\Omega\) together with an a priori estimate for the corresponding Hölder seminorm. These boundary estimates complement those obtained by L. Caffarelli, L. Nirenberg, J. Spruck and N. V. Krylov. All structural conditions imposed in the paper are satisfied by Monge-Ampère equations of the general form \(\text{det} [D_{ij}u+a_{ij}(x,u,Du)]=f(x,u,Du)\).