arxiv: v1 [math.ap] 18 Mar 2011

Transcription

1 PARTIAL REGULARITY OF SOLUTIONS OF FULLY NONLINEAR UNIFORMLY ELLIPTIC EQUATIONS arxiv: v1 [math.ap] 18 Mar 211 SCOTT N. ARMSTRONG, LUIS SILVESTRE, AND CHARLES K. SMART Abstract. We prove that a viscosity solution of a uniformly elliptic, fully nonlinear equation is C 2,α on the compliment of a closed set of Hausdorff dimension at most ε less than the dimension. The equation is assumed to be C 1, and the constant ε > depends only on the dimension and the ellipticity constants. The argument combines the W 2,ε estimates of Lin with a result of Savin on the C 2,α regularity of viscosity solutions which are close to quadratic polynomials. 1. Introduction In this paper, we prove a partial regularity result for viscosity solutions of the uniformly elliptic equation 1.1) FD 2 u) =. The operator F is assumed to be uniformly elliptic and to have uniformly continuous first derivatives these hypotheses are precisely stated in the next section). If F is concave or convex, then solutions of 1.1) in a domain Ω R n are known to belong to C 2,α Ω) for some small α >, according to the famous theorem of Evans [5] and Krylov [6] see also [3] for a simple proof). Viscosity solutions of 1.1) have also been shown to be classical solutions for certain classes of nonconvex operators by Yuan [11] as well as Cabré and Caffarelli [1]. The latter result applies, for example, to an F which is the minimum of a convex and a concave operator. However, C 2 estimates for solutions of 1.1) are unavailable for general F, as attested by the recent counterexamples of Nadirashvili and Vlăduţ [8, 9]. In fact, a counterexampleto C 1,1 regularitywas presented in [9], and therefore the best available regularity for solutions of 1.1) is C 1,α. In this paper, we study the singular set of a solution u of 1.1), consisting of those points x for which u of 1.1) fails to be C 2,α in any neighborhood of x. Our result asserts that the singular set has Hausdorff dimension at most n ε, where the constant ε > depends only on the ellipticity of F and the dimension of the ambient space. The hypotheses F1) and F2) are stated in Section 2. Theorem 1. Assume that F satisfies F1) and F2). Let u CΩ) be a viscosity solution of 1.1) in a domain Ω R n. Then there is a constant ε >, depending only on n, λ, and Λ, and a closed subset Σ Ω of Hausdorff dimension at most n ε, such that u C 2,α Ω\Σ) for every < α < 1. As far as we know, Theorem 1 is the first result which provides an estimate on the smallness of the singular set of a solution of a general uniformly elliptic, fully nonlinear Date: March 21, Mathematics Subject Classification. 35B65. Key words and phrases. partial regularity, fully nonlinear elliptic equation. 1

2 2 S. N. ARMSTRONG, L. SILVESTRE, AND C. K. SMART equation. The constant ε > which appears in the statement of the theorem is the same ε as in the W 2,ε estimate of Lin [7]; see Remark 5.4. Let us describe the idea of the proof of Theorem 1. By differentiating 1.1) and applying W 2,ε estimates to Du, we effectively obtain a W 3,ε estimate for the solution u. Precisely formulated, this implies that u has a global second-order Taylor expansion almost everywhere and that the constant in front of the cubic error term lies in L ε. Near points possessing quadratic expansions, we apply a generalization of a result of Savin [1], which asserts that any viscosity solution of 1.1) that is sufficiently close to a quadratic polynomial must be C 2,α. The L ε integrability of the modulus of the quadratic expansion then restricts the Hausdorff dimension of the singular set. While ε does not depend on the modulus ω in F2), the assumption that F is C 1 with a uniformly continuous first derivative is crucial to our method of proof. In particular, Theorem 1 does not apply to Bellman-Isaacs equations, which have the form 1.2) FD 2 u) := inf α I sup β J traαβ D 2 u) ) =. Such operators F are positively homogeneous, and obviously any function which is positively homogeneous and differentiable at the origin is linear. Therefore, the assumption F2) is incompatible with nonlinearity if F is positively homogeneous. We do not know whether such a partial regularity result is true for equations of the form 1.2). In the next section, we state our notation and some preliminary results needed in the proof of Theorem 1. In Sections 3 and 4, we give complete arguments for the W 2,ε estimate and the C 2,α regularity for flat solutions of 1.1). The proof of Theorem 1 is presented in Section Preliminaries In this section we state our hypotheses and collect some standard ingredients needed in the proof of Theorem 1. Notation and hypotheses. Let M n denote the set of real n-by-n matrices, and S n M n the set of symmetric matrices. Recall that the Pucci extremal operators are defined for constants < λ Λ and M S n by P + λ,λ M) := sup tram) and P λ,λ M) := inf λi n A ΛI n λi n A ΛI n tram). Throughoutthis paper, we assume the nonlinearoperatorf : S n R satisfiesthe following: F1) F is uniformly elliptic and Lipschitz; precisely, we assume that there exist constants < λ Λ such that, for every M,N S n, P λ,λ M N) FM) FN) P+ λ,λ M N). F2) F is C 1 and its derivative DF is uniformly continuous, that is, there exists an increasing continuous function ω : [, ) [, ) such that ω) =, and for every M,N S n, DFM) DFN) ω M N ). We call a constant universal if it depends only on the dimension n, the ellipticity constants λ and Λ, and the modulus ω. Throughout, c and C denote positive universal constants which may vary from line to line. We denote by Q x,r the cube centered at x and of side

3 PARTIAL REGULARITY FOR FULLY NONLINEAR ELLIPTIC EQUATIONS 3 length 2r. That is, we define Q x,r := {y R n : y i x i r} and Q r := Q,r. Balls are written Bx,r) := {y R n : y x < r} and B r := B,r). Recall that the Hausdorff dimension of a set E R n is defined by { H dim E) := inf s < : for all δ >, there exists a collection {Bx j,r j )} of balls such that E Bx j,r j ) and j=1 rj }. s < δ j=1 Standard results. In this subsection, we state three results needed below. Proofs of all three of these results can be found in [2]. We first recall the statement of the Alexandroff- Bakelman-Pucci ABP) inequality. We use the notation u + = max{,u} and u := min{,u}. Proposition 2.1 ABP inequality). Assume that B R R n and f CB R ) L B R ). Suppose that u CB R ) satisfies inequality { P + λ,λ D2 u) f in B R, u on B R. Then sup B R u CR f + L n {Γ u=u}), where C is a universal constant and Γ u is the convex envelope in B 2R of u, where we have extended u outside B R. We next recall an interior C 1,α regularity result for solutions of 1.1). Proposition 2.2. If u is a viscosity solution of 1.1) in B 1, then u C 1,α B 1/2 ) for some universal < α < 1. Finally, we recall a consequence of the Calderón-Zygmund cube decomposition. This appeared in a slightly different form as [2, Lemma 4.2]. Proposition 2.3. Suppose that D E Q 1 are measurable and < δ < 1 is such that: D δ Q 1 ; and if x R n and r > such that Q x,3r Q 1 and D Q x,r δ Q r, then Q x,3r E. Then D δ E. 3. W 2,ε estimate An integral estimate for the second derivatives of strong solutions of linear, uniformly elliptic equations in nondivergence form with only measurable coefficients was first obtained by Lin [7]. It was later extended to viscosity solutions of fully nonlinear equations in [2]. To state the estimate, we require some notation. Given a domain Ω R n and a function u CΩ), define the quantities Θx) = Θu,Ω)x) := inf { A : there exists p R n such that for all y Ω, uy) ux)+p x y) 1 2 A x y 2},

4 4 S. N. ARMSTRONG, L. SILVESTRE, AND C. K. SMART and Θx) = Θu,Ω)x) := inf { A : there exists p R n such that for all y Ω, uy) ux)+p x y)+ 1 2 A x y 2}, Θx) := Θu,Ω)x) = max { Θu,Ω)x),Θu,Ω)x) }. The quantity Θx) is the minimum curvature of any paraboloid that touches u from below at x. If u cannot be touched from below at x by any paraboloid, then Θx) = +. A similar statement holds for Θx), where we touch from above instead. The form of the W 2,ε estimates we need is contained in the following proposition. Proposition 3.1. If u CB 1 ) satisfies the inequality 3.1) P + λ,λ D2 u) in B 1, then for all t > t sup B1 u, 3.2) { x B 1/2 : Θu,B 1 )x) > t } Ct ε, where the constants C,t,ε > are universal. Obviously 3.2) implies that for any < ˆε < ε, ˆ 3.3) Θu,B )x))ˆε 1 dx Csup u ˆε, B 1/2 B 1 where the constant C depends additionally on a lower bound for ε ˆε. Proposition 3.1 is stated differently than the corresponding estimate in [2]. We emphasize herethatθu,ω)x) isdefinedintermsofquadraticpolynomialswhichtouchuatxandstay below u in the full domain Ω. That Proposition 3.1 is stated in terms of such a quantity is crucial to its application in the proof of Theorem 1. Indeed, if instead of Proposition 3.1 we hadtheweakerstatementthatuistwicedifferentiableatalmosteverypoint, and D 2 u L ε, then this would be insufficient to prove the partial regularity result. For completeness and because of our alternative formulation, we give a simplified proof of Proposition 3.1 following the along the lines of the argument in [2]. The heart of the proof is following consequence of the ABP inequality. We recall that Q 1 Q 3 and Q 3 B 6 n. Lemma 3.2. Assume that Ω R n is open and B 6 n Ω. Suppose u CΩ) satisfies 3.4) P + λ,λ D2 u) in Ω, such that for some t >, {Θu,Ω) t} Q 3. Then there are universal constants M > 1 and σ > such that 3.5) {Θu,Ω) Mt} Q 1 σ >. Proof. Since the operator P + λ,λ and the quantity Θ are positively homogeneous, we may assume that t = 1. By adding an affine function to u, we may suppose that the paraboloid Px) := 1 36n x 2 ) 2 touches u from below at some point x Q 3, that is, inf Ω u P) = ux ) Px ) =.

5 PARTIAL REGULARITY FOR FULLY NONLINEAR ELLIPTIC EQUATIONS 5 In particular, u P in B 6 n and ux ) = Px ) sup Q 3 P = 18n. According to [2, Lemma 4.1], there exist smooth functions ϕ and ξ on R n and universal constants C and K > 1 such that P + λ,λ D2 ϕ) Cξ in R n, 3.6) ξ 1, ξ on R n \Q 1, ϕ K in R n, ϕ in R n \B 6 n, and ϕ 1 in Q 3. Define w := u+aϕ, with A > selected below. It is easy to check that w satisfies { P + λ,λ D2 w) CAξ in B 6 n, w on B 6 n. Let Γ w denote the convexenvelope of w χ 6 n in B 12 n. Accordingto the ABP inequality Proposition 2.1 above), 18n+A ux ) ϕx ) sup B 6 n w CA {x Q 1 : Γ w x) = wx)}. Choosing A = 19n yields {x Q 1 : Γ w x) = wx)} σ, for a universal constant σ >. We also have that u C in B 6 n. We finish the proof by showing that, for some universal constant M >, 3.7) {x Q 1 : Γ w x) = wx)} {x Q 1 : Θu,Ω)x) M}. If x Q 1 is such that Γ w x) = wx), then since Γ w is convex and negative in B 12 n, there exists an affine function L that touches Γ w, and hence w, from below at x. It follows that L in B 12 n. We have L Aϕ u in B 6 n with equality holding at x. Since Lx) = ux) + Aϕx) KA and L in B 12 n, we deduce that DL KA/6 n). Since D 2 ϕ is bounded by a universal constant, we can find a concave paraboloid P with opening M, with M universal, such that P u in B 6 n and equality holding at x. Since distq 1,R n \B 6 n ) 5 n and DL C, by making M larger if necessary, we may assume that P P on the set R n \ B 6 n. Hence P P u on Ω. Therefore P u on Ω with equality holding at x. This completes the proof of 3.7). We now prove Proposition 3.1 by applying Proposition 2.3 to the contrapositive of Lemma 3.2. Proof of Proposition 3.1. According to the previous lemma, there are universal constants M,σ >, such that, for all t > and Q x,3r Q 1/6 n, we have {Θu,B 1 ) > Mt} Q x,r > 1 σ) Q r implies that Θ > t in Q x,3r. Since u is bounded, we can touch it from below in Q 1/2 n by a paraboloid with an opening proportional to sup B1 u, and hence for some x Q 1/2 n, Θu,B 1 )x) Csup B 1 u.

6 6 S. N. ARMSTRONG, L. SILVESTRE, AND C. K. SMART Then according to Lemma 3.2, there exists a universal t such that, for all t > t sup B1 u, {Θu,B 1 ) > Mt} Q 1/6 n 1 σ) Q 1/6 n. It follows from Lemma 2.3 that, for every t > t sup B1 u, 3.8) {Θu,B1 ) > Mt} Q 1/6 n 1 σ) {Θu,B1 ) > t} Q 1/6 n. By iterating 3.8), we obtain a universal constants C,ε > such that for all t > t sup B1 u, {Θu,B 1 ) > t} Q 1/6 n Ct ε. The proposition now follows from an easy covering argument. Remark 3.3. It is natural to wonder what, if anything, can be said about the exponent ε in Proposition 3.1. By constructing an explicit example, we will show that ε as the ellipticity Λ/λ. Fix α,r >, and define the function u in R 2 \{} by { R α+2 x α + α ux) := 2 x 2 1+ α 2 )R2 if < x < R, if x R. Observe that u C 1 R 2 \{}). An easy computation confirms that for < x < R, D 2 ux) = αα+2)r α+2 x α 4 x x α x α 2 R α+2 x α+2 )I n, from which we can see that, in the punctured ball < x < R, the eigenvalues of D 2 ux) are α x α 2 R α+2 x α+2 ) and α x α 2 x α+2 +α+1)r α+2 ). Therefore, 3.9) P + λ,λ D2 u) = Λα x α 2 R α+2 x α+2 ) λα x α 2 x α+2 +α+1)r α+2) Λ+λ)α 2Λα in B R \{}, provided that < α Λ/λ 1. Since u in R 2 \ B R, the inequality 3.9) also holds in R 2 \ B R. Using that u C 1 R 2 \{}), it follows that the inequality 3.9) holds in the viscosity sense in R 2 \{}. For any neighborhood N of x B R \{}, we have 3.1) Θu,N)x) α x α 2 R α+2 x α+2 ). This is easily deduced from the fact that if ϕ is a smooth function touching u from below at x, then D 2 ϕx) D 2 ux), and the latter has an eigenvalue of α x α 2 R α+2 x α+2 ). It follows that Θu,N)x) cαr α+2 x α 2 in B R/2 \{} where c depends only on α. We build the example by making R > small and replicating the function u. vx) := x 2 + ) λ min 1, Λα ux 2Ry) y Z 2 Note that for R small, the minimum inside the summation takes the second value when x 2Ry > cr α+2)/α. It is routine to check that v 1 in B 1 and P + λ,λ D2 v) in R 2.

7 PARTIAL REGULARITY FOR FULLY NONLINEAR ELLIPTIC EQUATIONS 7 Now fix ε >, and suppose that α > is large enough that α + 2)ε > 2. This can be arranged if the ellipticity satisfies Λ/λ + 1)ε > 2. Using 3.1), it follows that for any y Z 2 with B2Ry,R) B 1/2, ˆ Θv,B1 )x) ) ε dx =ˆ Θv,B1 )x) ) ε dx B R B2Ry,R) ˆ ˆ B R/2 \B cr 2+α)/α B R/2 \B cr 2+α)/α Θ 1 λα u,b 1/2)x 2Ry) ) ε dx cα,λ)r α+2 x α 2) ε dx α+2)εˆ R/2 = 2πcα,λ) ε R t α+2)ε+1 dt cr α+2)/α cλ,α) ε R 2α+2)1 ε)/α for small R. There exist c/r 2 disjoint balls of the form B2Ry,R), with y Z 2, inside B 1/2. Therefore, ˆ B 1/2 Θv,B1 )x) ) ε dx cα,λ) ε R 2α+2)1 ε)/α 2 = cα,λ) ε R 22 α+2)ε)/α. Observethat the exponent 22 α+2)ε)/α <. Thus Θv,B 1 ) Lε B 1/2 ) + as R, keeping λ, Λ, α, and ε fixed. ThisdemonstratesthattheW 2,ε estimateasstatedinproposition3.1isfalseindimension n = 2 if we have Λ/λ+1)ε > 2. It is false in all dimensions n 2, for the same range of ε and Λ/λ, since we may add dummy variables to our example at no cost. In particular, the exponent ε in Proposition 3.1 is never greater than 1. Conjecture 3.4. The optimal exponent in Proposition 3.1 is ε = 2Λ/λ+1) 1. It is not difficult to show that Conjecture 3.4 is true in the case that Λ = λ. 4. C 2,α regularity for flat solutions We present a refinement of a result of Savin [1], which states that a viscosity solution of a uniformly elliptic equation that is sufficiently close to a quadratic polynomial is, in fact, a classical solution. Proposition 4.1. Assume in addition that F) =. Suppose that < α < 1 and u CB 1 ) is a solution of 1.1) in B 1. Then there exists a universal constant δ = δ α) >, depending also on α, such that Moreover, the following estimate holds u L B 1) δ implies that u C 2,α B 1/2 ). u C 2,α B 1/2 ) C u L. In the case that F C 2 and D 2 F is bounded, Proposition 4.1 is a special case of Theorem 1.3 in [1]. For completeness, and because we need the result under slightly different hypotheses on F, we give a proof of Proposition 4.1 here, following the argument of [1]. The key step in the proof of Proposition 4.1 is given by the following Lemma.

8 8 S. N. ARMSTRONG, L. SILVESTRE, AND C. K. SMART Lemma 4.2. Suppose in addition that F) = and fix < α < 1. Then there exist universal constants δ > and < η < 1, depending also on α, such that, if u CB 1 ) is a solution of 1.1) in B 1, and sup B 1 u δ, then there is a quadratic polynomial P satisfying FD 2 P) = and 4.1) sup B η u P η 2+α sup B 1 u. Proof. We argue by compactness. With η > to be chosen below, assume on the contrary that there exist sequences {F k } and {u k }, such that: F k : S n R satisfies F1) and F2) with the same λ, Λ, ω, and F k ) = ; u k CB 1 ) satisfies F k D 2 u k ) = in B 1 ; δ k := sup B1 u k as k ; and there is no quadratic polynomial P satisfying 4.1) for u = u k. Using interior Hölder estimates and taking a subsequence, if necessary, we may suppose that there is an operator F and a function u CB 1 ) such that, as k, we have the limits: F k F locally uniformly on S n ; DF k DF locally uniformly on S n ; and m 1 k u k u locally uniformly in B 1. We claim that u is a solution of the constant coefficient linear equation 4.2) DF ) D 2 u = in B 1 To verify 4.2), select a smooth test function ϕ and a point x B 1 such that x u ϕ)x) has a strict local maximum at x = x. Then we can find a sequence x k B 1 such that x k x as k, and Therefore, Observe that F k δk D 2 ϕx k ) ) = d dt x u k δ k ϕ)x) has a local maximum at x = x k. ˆ δk F k δk D 2 ϕx k ) ). F k td 2 ϕx k ))dt = ˆ δk DF k td 2 ϕx k )) D 2 ϕx k )dt δ k DF k ) D 2 ϕx k ) δ k Dϕx k ) ω δ k D 2 ϕx k ) ). Combining the last two inequalities, dividing by δ k, and letting k yields DF ) D 2 ϕx ). We have shown that u is a subsolution of 4.2), and checking that it is a supersolution is done by a similar argument. Uptoachangeofcoordinates,equation4.2)isLaplace sequation. Since u L B 1) 1, standard estimates imply that u C B 1 ), and that the quadratic polynomial Px) := u )+x Du )+x D 2 u )x satisfies 4.3) sup B η u P Cη η2+α.

9 PARTIAL REGULARITY FOR FULLY NONLINEAR ELLIPTIC EQUATIONS 9 for a universal constant η = η α >, chosen sufficiently small and depending also on α, and we also have DF ) D 2 P =. Therefore, DF k ) D 2 P = o1) as k. It follows that F k δ k D 2 P) = d dt ˆ δk F k td 2 P)dt = ˆ δk DF k td 2 P) D 2 P dt δ k DF k ) D 2 P +δ k D 2 P ω δ k D 2 P ) = oδ k ) as k. Since F k is uniformly elliptic, we can find a constant a k R, of order a k = oδ k ), such that P k x) := δ k Px)+a k x 2 satisfies FD 2 P k ) =. Using this, the uniform convergence of u k to u on B η, and multiplying 4.3) by δ k, we see that for large enough k, This contradiction completes the proof. sup B η u k P k δ k η 2+α. Proof of Proposition 4.1. By a standard covering argument, it is enough to show that the estimate holds at the origin. More precisely, we have to show that if u L B 1) = δ < δ, then there is a quadratic polynomial P such that FD 2 P) =, P Cδ in B 1 and 4.4) ux) Px) Cδ x 2+α for all x B 1. The idea of the proof is to apply Lemma 4.2, in a decreasing sequence of scales, obtaining a sequence of quadratic polynomials approximating u at zero with an appropriate error estimate. Let η,1) and δ > be as in Lemma 4.2. We will construct by induction a sequence of quadratic polynomials {P k } k=1 such that 4.5) FD 2 P k ) = and u P k L B η k) δη 2+α)k. Moreover, we will show that this sequence is convergent and its limit as k will be the desired polynomial P giving the second order expansion of u at the origin. Since u L B 1) = δ, P = suffices for the case k =. Let us suppose that we have a quadratic polynomial P k for which 4.5) holds. Let ũ and F denote ũx) := η 2k uη k x) P k η k x)) and FM) := FM +D 2 P k ). Observe that FD 2 ũ) = in B 1 and ũ δη kα in B 1. Applying Lemma 4.2, we find a quadratic polynomial P k such that P k Cδη kα in B 1 and FD 2 Pk ) = and ũ P k Bη Cδη kα η 2+α = δη 2+k+1)α. Let P k+1 = P k +η 2k Pk η k x). From the estimate above, we have FD 2 P k+1 ) = and u P k+1 Bη k+1 Cδηk+1)2+α). This completes the inductive construction of a sequence of polynomials satisfying 4.5). It remains to show that the sequence {P k } is convergent and that its limit P satisfies 4.4). Since P k Cδη αk in B 1, its coefficients are bounded by Cδη αk. More precisely, if P = a k +b k x+x C k x, then a k + b k + C k Cδη αk. Therefore P k+1 P k = η 2k Pk η k x) = η 2k a k +η k b k x+x t C k x.

10 1 S. N. ARMSTRONG, L. SILVESTRE, AND C. K. SMART Since η < 1, all the coefficients of P k+1 P k are bounded by the geometric series Cδη αk. Therefore the sum k=1 P k+1 P k ) is telescoping and hence convergent, and we may define P := lim P k = P k+1 P k ). k Since FD 2 P k ) = for every k and F is continuous, we also have FD 2 P) =. Writing Px) = a+b x+x t Cx, we have the following estimates for the coefficients: a a k a j+1 a j Cη 2+α)j δ = Cη 2+α)k δ, j=k j=k k=1 j=k b b k b j+1 b j Cη 1+α)j δ = Cη 1+α)k δ, j=k j=k C C k C j+1 C j Cη αj δ = Cη αk δ. Therefore Px) P k x) Cδη 2+α)k if x B η k. In particular, P = P P Cδ in B 1. Fix x B 1, and let k be the integer so that η k+1 < x η k. Then we estimate ux) Px) ux) P k x) + P k x) Px) Cδη 2+α)k Cδ x 2+α, which completes the proof. j=k 5. Partial regularity In this section, we prove our main result. We first apply the W 2,ε estimate in Proposition 3.1 to the derivative of u, in effect deriving a W 3,ε estimate, and then to use this result and a scaling argument combined with Proposition 4.1 to obtain the theorem. To state the W 3,ε estimate, we define the quantity Ψu,Ω)x) := inf { A : there exists p R n and M M n such that for all y Ω, uy) ux)+p x y)+x y) Mx y) 1 6 A x y 3}. The following lemma records an elementary relation between Ψu,B 1 ) and Θu xi,b 1 ). Lemma 5.1. Assume that u C 1 B 1 ). Then for each x B 1, n ) 1/2 5.1) Ψu,B 1 )x) Θu xi,b 1 )x)) 2. i=1 Proof. Suppose that x B 1 and A i are such that Θu xi,b 1 )x) A i for each i = 1,...,n. Then we can find vectors p 1,...,p n R n such that 5.2) uxi y) u xi x)+p i x y) 1 2 A i x y 2 for all y B 1. Let M M n be the matrix with entries 1 2 pi j. It follows that 5.3) uy) ux)+dux) x y)+x y) Mx y) = y x) ˆ 1 Dux+ty x)) Dux)+2tM y x)dt.

11 PARTIAL REGULARITY FOR FULLY NONLINEAR ELLIPTIC EQUATIONS 11 According to 5.2), ˆ 1 uxi x+ty x)) u xi x)+tp i j y x) 1 dt 2 A it 2 x y 2. Denoting A = A 1,...,A n ) and using the previous inequality and 5.3), we obtain uy) ux)+dux) x y)+x y) Mx y) Thus Ψu,B 1 ) A, as desired. y x) ˆ At2 x y 2 dt 1 6 A x y 3 dt. In the next lemma, we formulate the W 3,ε estimate in an appropriate way for its application inthe proofoftheorem1. Asimilarstatementwasused bycaffarelliandsouganidis[4] to obtain an algebraic rate of convergence for monotone finite difference approximations of uniformly elliptic equations. Lemma 5.2. Suppose u CB 1 ) solves 1.1) in B 1 and satisfies sup B1 u 1. There are universal constants C,ε > such that, if t > 1, then 5.4) { x B 1/2 : Ψu,B 1 )x) > t } Ct ε. Proof. According to Proposition 2.2, we have that u C 1 B 1 ). Moreover, according to [2, Proposition 5.5], for every unit direction e R n, e = 1, the function u e := e Du satisfies the inequalities P λ,λ D2 u e ) P + λ,λ D2 u e ) in B 1, in the viscosity sense. According to Proposition 3.1, we have, for each t > 1, { x B 1/2 : Θu,B 1 )x) > t } Ct ε, where C,ε > are universal constants. An application of Lemma 5.1 yields 5.4). Lemma 5.3. Suppose that u satisfies the hypotheses of Lemma 5.2 and that < α < 1. There is a universal constant δ α >, such that for every y B 1/2 and < r < 1 16 {, 5.5) Ψu,B1 ) r 1 } δ α By,r) implies that u C 2,α By,r)). Proof. Suppose that < r < 1 16, y B 1/2, and z By,r) is such that Ψu,B 1 )z) r 1 δ. Then there exist p R n and M M n such that, for every x B 1, 5.6) ux) uz)+p z x)+z x) Mz x) 1 6 r 1 δ z x 3. Replacing M by 1 2 M +Mt ), we may assume that M S n. Since u is a viscosity solution of 1.1), it is clear that F M) =. Define the function vx) := 1 16r 2 uz +4rx) uz)+4rp x+16r 2 x Mx ), x B 1. The inequality 5.6) implies that sup B 1 v 1 3 δ. Define the operator FN) := FN M), and observe F satisfies F1) and F2), with the same ellipticity constants λ, Λ, and modulus ω, and F) = F M) =. It is clear that v is a solution of FD 2 v) = in B 1.

12 12 S. N. ARMSTRONG, L. SILVESTRE, AND C. K. SMART Let δ > be the universal constant in Proposition 4.1, which also depends on α. Suppose that δ 3δ. Then Proposition 4.1 yield that v C 2,α B 1/2 ), from which we deduce that u C 2,α Bz,2r)). Since By,r) Bz,2r), we are done. Proof of Theorem 1. By a standard covering argument, we may fix < α < 1 and assume that Ω = B 1, u CB 1 ) is bounded, and to show that u C 2,α B 1/2 \Σ) for a set Σ B 1/2 with H dim Σ) n ε. Since, for every t >, the operator F t M) := t 1 FtM) satisfies both F1) and F2) with the same constants λ, Λ but a different modulus ω. Since the constant ε > we obtain does not depend on ω, we may therefore assume without loss of generality that sup B1 u 1. Let Σ B 1/2 denote the set of points x B 1/2 for which u C 2,α Bx,r)), for every r >. Notice that Σ is closed, and thus compact. Fix < r < According to the Vitali Covering Theorem, there exists a finite collection {Bx i,r)} m i=1 of disjoint balls of radius r, with centers x i Σ, such that m Σ Bx i,3r). i=1 Since x i Σ, according to Lemma 5.3 there exists a universal constant δ, also depending on α, such that m Ψu,B 1 )y) > r 1 δ for every y Bx i,r). Applying Lemma 5.2, we deduce that mr n Cm B r Cr ε for universal constants C, ε >. Therefore, m Bx i,3r) n ε C. i=1 We deduce that H n ε Σ) C for a universal constant C. Therefore, H dim Σ) n ε. Remark 5.4. An inspection of the proof reveals that the codimension ε in Theorem 1 is equal to the exponent ε of the W 2,ε estimate of Proposition 3.1. In particular, it does not depend on the modulus ω of DF. It follows that we could further reduce the dimension of the singular set if we could improve the exponent of the W 2,ε estimate. However, it is not possible to improve the exponent ε in the W 2,ε estimate, since as we saw in Remark 3.3, the constant ε is at most 2Λ/λ+1) 1. Acknowledgment. The first author was partially supported by NSF Grant DMS-14645, the second author by NSF grant DMS and the Sloan Foundation, and the third author by NSF grant DMS References [1] X. Cabré and L. A. Caffarelli. Interior C 2,α regularity theory for a class of nonconvex fully nonlinear elliptic equations. J. Math. Pures Appl. 9), 825): , 23. [2] L. A. Caffarelli and X. Cabré. Fully nonlinear elliptic equations, volume 43 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, [3] L. A. Caffarelli and L. Silvestre. On the Evans-Krylov theorem. Proc. Amer. Math. Soc., 1381): , 21. i=1

13 PARTIAL REGULARITY FOR FULLY NONLINEAR ELLIPTIC EQUATIONS 13 [4] L. A. Caffarelli and P. E. Souganidis. A rate of convergence for monotone finite difference approximations to fully nonlinear, uniformly elliptic PDEs. Comm. Pure Appl. Math., 611):1 17, 28. [5] L. C. Evans. Classical solutions of fully nonlinear, convex, second-order elliptic equations. Comm. Pure Appl. Math., 353): , [6] N. V. Krylov. Boundedly inhomogeneous elliptic and parabolic equations in a domain. Izv. Akad. Nauk SSSR Ser. Mat., 471):75 18, [7] F.-H. Lin. Second derivative L p -estimates for elliptic equations of nondivergent type. Proc. Amer. Math. Soc., 963): , [8] N. Nadirashvili and S. Vlăduţ. Nonclassical solutions of fully nonlinear elliptic equations. Geom. Funct. Anal., 174): , 27. [9] N. Nadirashvili and S. Vlăduţ. Singular viscosity solutions to fully nonlinear elliptic equations. J. Math. Pures Appl. 9), 892):17 113, 28. [1] O. Savin. Small perturbation solutions for elliptic equations. Comm. Partial Differential Equations, 324-6): , 27. [11] Y. Yuan. A priori estimates for solutions of fully nonlinear special Lagrangian equations. Ann. Inst. H. Poincaré Anal. Non Linéaire, 182):261 27, 21. Department of Mathematics, The University of Chicago, 5734 S. University Avenue Chicago, Illinois address: armstrong@math.uchicago.edu Department of Mathematics, The University of Chicago, 5734 S. University Avenue Chicago, Illinois address: luis@math.uchicago.edu Courant Institute of Mathematical Sciences, 251 Mercer Street, New York, NY address: csmart@cims.nyu.edu