INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE arxiv:1700948v1 [mathap] Nov 017 GUOHUAN QIU Abstract We prove a priori interior C estimate for σ = f in R 3, which generalizes Warren-Yuan s result [19] 1 Introduction The interior regularity for solutions of the following σ - Hessian equations is a longstanding problem in fully nonlinear partial differential equations, () σ (D u) = f(x,u,du) > 0, x 1 R n where σ k the k th elementary symmetric function for 1 k n Heinz [9] first derived this interior estimate in two dimension For higher dimensional Monge-Ampere equations, Pogorelov constructed his famous counterexamples even for f constant and convex solutions in [16] Caffarealli-Nirenberg- Spruck studied more general fully nonlinear equations such as σ k equations in their seminal work [1] And Urbas also constructed counter-examples in [17] with k 3 ecause of the counter-examples in k 3, the best we can expect is the Pogorelov type interior C estimates which were derived in [16, 4] and see [6, ] for more general form So people in this field want to know whether the interior C estimate for σ equations holds or not for n 3 Moreover, this equation serves as a simply model for scalar curvature equations in hypersurface geometry (1) σ (κ 1 (x),,κ n (x)) = f(x,ν(x)) > 0, x 1 R n here κ 1,,κ n are the principal curvatures and ν the normal of the given hypersurface as a graph over a ball 1 R n A major breakthrough was made by Warren-Yuan [19], they obtained C interior estimate for the equation (13) σ (D u) = 1 x 1 R 3 The purely interior C estimates for solutions of equations () and (1) with certain convexity constraints were obtained recently by McGonagle-Song-Yuan in [14] and Guan and the author in [5] Now we state our main result in this paper Theorem 1 Let u be a smooth solution to () on 10 R 3 with u > 0 Then we have (14) sup 1 D u C, Date: May 18, 018 000 Mathematics Subject Classification 35J60,3545 Research of the author was supported by CRC postdoctoral fellowship at McGill University 1
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE where C depends only on f C, 1 f L and u C 1 In order to introduce our idea, let us briefly review the ideas for attacking this problem so far In two dimensional case, Heinz used the Uniformization theorem to transform this interior estimate for Monge-Ampere equation into the regularity of an elliptic system and univalent of this mapping, see also [8, 13] for more details An anothor interesting proof using only maximum principle was given by Chen- Han-Ou in [, 3] Our quantity (95) as in [5] can give a new proof of Heinz The restriction for these methods is that they need some convexity conditions which are not available in higher dimension In R 3, a key observation made in [19] is that equation (13) is exactly the special Lagrangian equation which stems from the special Lagrangian geometry [7] And an important property for the special Lagrangian equation is that the Lagrangian graph (x,du) R n R n is a minimal surface which has mean value inequality So Wang-Yuan [18] can also prove interior Hessian estimates for higher dimensional special Lagrangian equations The new observation in this paper is that the graph (x,du) where u satisfied equation () can be viewed as a submanifold in (R 3 R 3,fdx + dy ) with bounded mean curvature Then instead of using Michael-Simon s mean value inequality [15] as in [19], we prove a mean value inequality for Riemannian submanifolds which is implied in Hoffman-Spruck s paper [10] in order to remove the convexity condition in [5] There also have sobolev inequalities as in [15] and [10] ut it seems not easy to estimate the additional term in the sobolev inequalities by using only Warren- Yuan s arguement The other innovation part is that we can avoid using the sobolev inequality by combining our new maximum principle method in [5] to solve the problem for the equations () in R 3 The scalar curvature equations and the higher dimensional case for σ Hessian equations are still open to us Preliminary Lemmas We call a solution of the equation () is admissible, if u is smooth and D u Γ := {A : σ 1 (A) > 0,σ (A) > 0} It follows from [1], if D u Γ, then := σ u ij is positive definite So the Hessian estimates can be reduced to the estimate of u due to the following fact (1) max D u u In the rest of this article, we will denote C to be constant under control (depending only on f C, 1 f L and u C1), which may change line by line Lemma 1 Suppose u satisfies the equation (), we have the following equations () σ kl u kli = f i, and (3) σ kl u kl + u kki u lli u kli = f k l k l If f is a form with gradient term, there are estimates (4) Df C(1+ u),
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 3 and (5) C(1+ u) + p f up u pij f ij C(1+ u) + p f up u pij Proof The equations () and (3) follows from twice differential of the equation σ (D u) = f and the elementary fact that (6) σ u kk u ll = 1 for k l, σ u kl u kl = 1 for k l, σ u pq u kl = 0 otherwise Moreover, by (1) and these direct computations (7) f i = f xi +f u u i +f up u pi, and (8) (9) f ij = f xix j +f xiuu j +f xiu p u pj +f uxj u i +f uu u i u j +f uup u pj u i +f u u ij +f upx j u pi +f upuu j u pi +f upu l u lj u pi +f up u pij, we get the estimates (4) and (5) The second lemma is from [1] Lemma Suppose W Γ is diagonal and W W nn, then there exist c 1 > 0 and c > 0 depending only on n such that (10) σ (W)W c 1 σ (W), and for any j () σ jj (W) c σ 1 (W) Let us consider the quantity of b(x) := log u, we have Lemma 3 If u are admissible solutions of the equations () in R 3, we have (1) b ij 1 100 σij b ib j C u+ i f ui b i Proof We may assume that {u ij } is diagonal The differential equation of b by using (3) is (13) (14) (15) A := b ij ǫ b ib j = σij ( u) ij (1+ǫ)σ ( k u kki) σ 1 σ1 ( k p u kpi k p u kkiu ppi )+ f i = σ 1 (1+ǫ)σ ( k u kki) σ 1
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 4 We use () to substitute terms with u i in A, A = 6u 13 + k p u kpp k p u kkpu ppp (16) σ 1 σ 1 σ 1 (17) (18) (19) (0) (1) () (3) (4) (5) u 3u 3 +u u 33 +u 1 u 331 σ 1 + f (1+ǫ)σ ( k i u kki +u i ) σ 1 σ1 (u +u 3 +u 1 +u 3 +u 133 +u 33) σ 1 (u 1 +u 331 )(f 1 σ u 1 σ 33u 331) σ 1 σ (u +u 33 )(f σ u σ 33u 33) σ 1 σ (u 3 +u 3 )(f 3 σ u 3 σ u 3) σ 1 σ 33 u 3u 3 +u u 33 +u 1 u 331 σ 1 (1+ǫ)[ k i (σ σkk )u kki +f i ] σ1 σ Cσ 1 + i f ui b i Then we can write explicitly of the second last term and use Cauchy-Schwarz inequality and Lemma, (6) (7) (8) (9) (30) (1+ǫ)[ k i (σ σ kk )u kki +f i ] σ1 σ (1+ǫ)[(λ λ 1 )u 1 +(λ 3 λ 1 )u 331 ] σ1 σ (1+ǫ)[(λ 1 λ )u +(λ 3 λ )u 33 ] σ1 σ (1+ǫ)[(λ λ 3 )u 3 +(λ 1 λ 3 )u 3 ] σ1 σ33 C ǫ σ 1 Due to symmetry, we only need to give the lower bound of the terms which contain u 1 and u 331 We denote these terms by A 1 (31) (3) (33) A 1 := u 1 + u 331 (u 1 +u 331 )f 1 σ 1 σ 1 σ 1 σ + σ u 1 σ 1 σ + σ33 u 331 σ 1 σ + (σ +σ33 σ 1 σ )u 1u 331 u 1u 331 (1+ǫ)[(λ λ 1 )u 1 +(λ 3 λ 1 )u 331 ] σ 1 σ1 σ
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 5 y Cauchy-Schwarz and Lemma we have (34) (35) Then we get (36) (37) (38) (39) (u 1 +u 331 )f 1 σ 1 σ +σ A 1 σ σ 1 σ ǫ σ 1 (u 1 +u 331 ) σ 1 σ ǫ σ 1 (u 1 +u 331 ) σ 1 σ u 1 + σ σ 1 σ +σ 33 u 331 f 1 ǫ σ σ 1 C ǫ σ 1 + 4λ 1 σ 1 σ u 1 u 331 ǫ σ 1 (u 1 +u 331 ) σ 1 σ (1+ǫ)[(λ λ 1 )u 1 +(λ 3 λ 1 )u 331 ] σ1 σ C ǫ σ 1 We will prove that A 1 C ǫ σ 1 in the following elementary but tedious two claims 1 and Then we choose ǫ = 1 100, such that (40) 1+δ 1+ǫ 1 ǫ, where δ is small constant in the Claim In all, we will get (41) A Cσ 1 + i Claim 1 For fix ǫ 5, we have (4) σ +σ σ 1 σ u 1+ σ f ui b i Proof This claim follows from elementary inequality (43) (44) (45) (46) (47) (48) +σ33 σ 1 σ u 331+ 4λ 1 σ 1 σ u 1 u 331 ǫσ 1(u 1 +u 331 ) σ 1 σ (σ +σ ǫσ 1)(σ +σ33 ǫσ 1) (λ 1 ǫσ 1 ) = (1 ǫ) σ1 +(1 ǫ)σ 1(λ +λ 3 )+λ λ 3 (λ 1 ǫσ 1 ) (1 ǫ) (λ +λ 3 +f)+(1+ǫ)(1 ǫ)(f λ λ 3 ) +(1 ǫ ǫ )(λ +λ 3 ) +λ λ 3 (1 ǫ) (λ +λ 3 ) ǫ(1 ǫ)λ λ 3 (1 ǫ) λ λ 3 ǫ(1 ǫ)λ λ 3 If we assume (1 ǫ) ǫ(1 ǫ) 0, we have above inequality nonnegative Claim For fix δ 1 0 (49) (50) σ, we have +σ σ 1 σ u 1 + σ +σ33 σ 1 σ u 331 + 4λ 1 σ 1 σ u 1 u 331 (1+δ)[(λ λ 1 )u 1 +(λ 3 λ 1 )u 331 ] σ1 σ
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 6 Proof In order to prove this claim, we need to prove (51) (5) (53) ecause we have (54) (55) (56) (57) [(σ +σ [(σ +σ33 )σ 1 (1+δ)(λ 1 λ ) ] )σ 1 (1+δ)(λ 1 λ 3 ) ] [λ 1 σ 1 (1+δ)(λ 1 λ )(λ 1 λ 3 )] (σ +σ )σ 1 (1+δ)(λ 1 λ ) = σ1 +λ 3 σ 1 (1+δ)(λ 1 λ ) = λ 1 +λ +λ 3 +4f +λ 3 +λ 3σ 33 (1+δ)(λ 1 λ ) = (1 δ)λ 1 +(1 δ)λ +4λ 3 +6f +δλ 1 λ And similarly (58) (59) (σ +σ33 )σ 1 (1+δ)(λ 1 λ 3 ) = (1 δ)λ 1 +(1 δ)λ 3 +4λ +6f +δλ 1 λ 3 We also compute right hand side of (53) (60) (61) (6) (63) Then we have (64) (65) (66) (67) (68) (69) (70) (71) (7) λ 1 σ 1 (1+δ)(λ 1 λ )(λ 1 λ 3 ) = λ 1 +λ 1 σ (1+δ)(λ 1 λ λ 1 λ 3 λ 1 +λ λ 3 ) = (1 δ)λ 1 +f λ λ 3 +(1+δ)(f λ λ 3 ) = (1 δ)λ 1 +(3+δ)f (+δ)λ λ 3 [(1 δ)λ 1 +(1 δ)λ +4λ 3 +6f +δλ 1λ ] [(1 δ)λ 1 +(1 δ)λ 3 +4λ +6f +δλ 1 λ 3 ] [(1 δ)λ 1 +(3+δ)f (+δ)λ λ 3 ] = [(1 δ)λ 1 +(3+δ)f][6f +(5 δ)(λ +λ 3 ) δλ λ 3 ] +[(3 δ)f +(1 δ)λ +4λ 3 +δλ 1 λ ] [(3 δ)f +(1 δ)λ 3 +4λ +δλ 1 λ 3 ] +4[(1 δ)λ 1 +(3+δ)f](+δ)λ λ 3 4(+δ) λ λ 3 = [(1 δ)λ 1 +(3+δ)f][6f +(5 δ)(λ +λ 3 )+(4+δ)λ λ 3 ] +[(3 δ)f +(1 δ)λ +4λ 3][(3 δ)f +(1 δ)λ 3 +4λ ] (73) +δλ 1 λ [(3 δ)f +(1 δ)λ 3 +4λ ] (74) +δλ 1 λ 3 [(3 δ)f +(1 δ)λ +4λ 3 ] (75) +4δ λ 1λ λ 3 4(+δ) λ λ 3 The point in the above computation is that term [(1 δ)λ 1 + (3 + δ)f] cancels exactly Moreover, other terms has a lot of room to play with if you choose δ small We deal with these terms and assume that δ 1 0 (76) [(1 δ)λ 1 +(3+δ)f] (77) [6f +(5 δ)(λ +λ 3 )+(4+δ)λ λ 3 ] (78) (1 δ)λ 1(1 δ)(λ +λ 3) (79) 4δ λ 1λ λ 3
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 7 And (80) δλ 1 λ [(3 δ)f +(1 δ)λ 3 +4λ ] (81) +δλ 1 λ 3 [(3 δ)f +(1 δ)λ +4λ 3 ] (8) = δ(f λ λ 3 )(3 δ)f +δ(1 δ)(f λ λ 3 )(λ +λ 3) +δ(3+δ)λ 1 (λ 3 +λ3 3 ) (84) δ(3 δ)λ λ 3 f δ(1 δ)λ λ 3 (λ +λ 3 ) (85) +δ(3+δ)(f λ λ 3 )(λ λ λ 3 +λ 3) (86) δ(3 δ)λ λ 3 f (87) We also have, δλ λ 3 (4λ +4λ 3 (3+δ)λ λ 3 ) (88) [(3 δ)f +(1 δ)λ +4λ 3 ][(3 δ)f +(1 δ)λ 3 +4λ ] (89) [16+(1 δ) ]λ λ 3 +(3 δ)f(5 δ)(λ +λ 3 ) (90) +4(1 δ)(λ 4 +λ 4 3) (91) 4(+δ) λ λ 3 +16f λ λ 3 +6δ(λ +λ 3 ) (9) (93) 4(+δ) λ λ 3 +δ(3 δ)λ λ 3 f +δλ λ 3 (4λ +4λ 3 (3+δ)λ λ 3 ) We combine inequalities (79), (87) and (93) into (75) to verify inequality (53) Finally we complete the proof of this claim Lemma 4 Suppose u are admissible solutions of the equations () on 10 R 3, then we have (94) sup 5 σ 1 Csup 1 σ 1 Proof Denote (x) = 10 x, and M r := sup 1 σ 1 We consider a test function in 10 (95) P(x) = log(x)+g(x Du u)+loglogmax{ σ 1 M 1,0}, t 0max Du +max u +1 )) and β is a larger number to be where g(t) = 1 β (log(1 determined later Assume P attains its maximum point, say x 0 10, and σ 1 sup 1 σ 1 > 0 Then P must attained its maximum point in the ring 10 / 1 Moreover, we may always σ assume 1 sup 1 σ 1 sufficiant large We choose coordinate frame {e 1,e,e 3 }, such that D u is diagonalized at this point y maximum principle, at x 0, we have (96) 0 = P i = i b i +g x k u ki + b logm 1 and (97) (98) (99) P ij = ij i j +g x k u ki x l u lj +g (u ij +x k u kij ) b ij b i b j + b logm 1 (b logm 1 )
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 8 Contracting with := σ(d u) u ij, we get (100) σ P ij = 4 8 σ x i +g σ (x i u ) +g f +g x k f k + σ b σ b i b logm 1 (b logm 1 ) Using Lemma 1, we get (101) (10) (103) σ P ij 4 8 σ x i +g σ (x iu ) +g f +g x k f k σ b i + 100(b logm 1 ) + fui b i Cσ 1 b logm 1 y (96), (104) g x k f k + i f u i b i b logm 1 C(g + 1 ) We may assume (x 0 )log σ1(x0) M 1 C We also use Newton -MacLaur in inequality σ 1 σ 9σ 3 to get (105) (106) σ P ij 4 8 σ x i +g σ (x iu ) σ b i + 100(b logm 1 ) Cσ 1 b logm 1 Then we divided into two cases Case 1: x 1 1 6 From (96), we know We can assume Otherwise we get the estimate from 0 = 4x 1 b 1 +g x 1 u + b logm 1 g x 1 u 1 x 1 (107) g (b logm 1 ) g u 1 Then we have (108) ( ) (g ) x 1u b logm 1 3 b 1 (g ) u 18
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 9 Inserting this inequality into (106), we get from Lemma σ P ij 4 8 σ x i (109) + (0) (1) 4 4 So we obtain the estimate σ σ 800 800 σ σ b i 100(b logm 1 ) Cσ 1 b logm 1 + (g ) σ u (b logm 1 ) 180 σ + c 1(g ) (b logm 1 ) σ 180 () (x)log σ 1(x) M 1 C (x 0 )log σ 1(x 0 ) M 1 C Case : there exists j, such that x j 1 6 Using (96), we have σ jj b j β (b logm 1 ) = βσ jj [ 4x j +g x j u jj ] Then we get β σjj x j βσ jj (g ) (x j u jj ) σ P ij 4 +(β 8) σjj x j +(g β(g ) )σ (x iu ) If we choose g β(g ) > 0, by Lemma we have σ P ij 4 σ +(β 8) σjj 6 ( 4+ (β )c ) 300 Cσ 1 b logm 1 We choose constant above by the following order, first β = 100 c + 3, then g(t) = 1 β (log(1 t 0max Du +max u +1 )) such that g β(g ) We finally get the estimate (94) Similarly, if we consider quantity V := log(fσ 1 σ 3 ) we also have the following Lemma Lemma 5 Suppose u are admissible solutions of equations () on 10 R 3, then we have in 4 that (3) V ij Cσ 1 +f ui V i, and (4) M 5 log 1 M5 log( )
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 10 Proof For the proof of the first inequality (3) which is tedious but similar to Lemma 3, we give its details in the appendix The second inequality (4) follows from (3) almost the same as the proof of Lemma 4 The proof of the second inequality will also be in the appendix 3 Mean value inequality In this section we prove a mean value type inequality Theorem Suppose u are admissible solutions of equations () on 10 R 3, then we have (31) supσ 1 = σ 1 (y 0 ) C σ 1 (x)( )dx 1 1(y 0) We prove this theorem similar as Michael-Simon [15] Proof First we know from concavety of σ 1, we have (3) (33) (σ 1) ij f Df f C( u) +f ui ( u) i Let χ be a non-negative, non-decreasing function in C 1 (R) with support in the interval (0, ) and set (34) ψ(r) = r tχ( t)dt where 0 < < 10, r = f(x,u(x),du(x)) x y 0 + Du(x) Du(y 0 ) Let us denote r = {x 10 (y 0 ) f(x,u,du) x y 0 + Du(x) Du(y 0 ) r } We may assume that ȳ 0 := (y 0,Du(y 0 )) = (0,0) y direct computation, we have (35) rr i = f i x +fx i +u k u kj, and (36) r i r j +rr ij = f ij x +f i x j +f j x i +fδ ij +u ki u kj +u k u kij ecause λ +λ 3 > 0, we may assume λ 3 < 0, λ 1 λ λ 3 and λ 1 large, (37) (38) (39) fσ 1 σ 3 fλ 1 +λ 1 λ 3 cλ 1 λ 3 cλ λ 3 y equation we also have (310) λ λ 1 = f λ 1 λ 3 λ λ 3 C(fσ 1 σ 3 )
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE We then have from (35), (36), (39), (310) and Lemma 1 (3) (31) (313) (314) (315) ψ ij = ( r irχ( r)) j = r ijrχ( r) r ir j χ( r)+ r ir j rχ ( r) = χ( r) (fδ ij +u ki u kj + f ij x +f i x j ) χ( r) u ku kij + r ir j rχ ( r) 3( )χ+c(r χ+rχ)(fσ 1 σ 3 )+ r ir j rχ We claim that (316) r ir j (fσ 1 σ 3 )(1+Cr) In fact, (317) (318) (f i x +fx i +u k u kj )(f j x +fx j +u l u lj ) 4r C(fσ 1 σ 3 )r + σ (fx i +u i u ) r Moreover, we have following elementary properties (319) (fσ 1 σ 3 )δ ij f = σkl u kiu lj and (30) fσ u x i fσ x iu i u +fσ u i fσ (u x i u i ) Then we have (31) We obtain from (316) and (315) that σ (fx i +u i u ) r (fσ 1 σ 3 ) (3) ψ ij ( )[ 3χ+C(r χ+rχ)+(1+r)rχ ] Then mutiply both side by σ 1 and integral on the domain 10, σ 1 ψ ijdx 4 d ( σ 1 χ( r) (33) 10 d 10 3 ( )dx) (34) +C σ 1 r χ ( )dx 10 (35) +C rσ 1 χ( r)( )dx 10 y (1), we have (36) C σ1ψdx+ f ui (σ 1 ) i ψ σ 1 ψ ijdx 10 10 10
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 1 Inserting (36) into (33), we get d ( σ 1 χ( r) d 10 3 ( )dx) C (37) (38) (39) 10 rσ 1 χ( r)( )dx 4 C + 10 σ 1 r χ ( )dx C 4 + 10 σ1ψdx 10 f ui (σ 1 ) i ψdx 4 ecause χ, χ and ψ are all supported in, we deal with right hand side of above inequality term by term For the first term, we have C (330) 10 rσ 1 χ( r)( )dx 4 C 10 σ 1 χ( r)( )dx 3 Then for the second term, we integral from δ to R, (331) (33) (333) (334) R δ R δ R + δ 10 σ 1 r χ ( )dx 4 d 10 σ 1 χ ( )dx d 10 σ 1 χ( )dx R δ 10 σ 1 χ( )dx d For the last term, we use (35) and definition of ψ to estimate C 10 σ1 ψdx 10 f ui (σ 1 ) i ψdx 4 C 10 σ ψdx 1 10 f ui r i σ 1 rχdx (335) C 4 10 σ1 ψdx+ 10 σ1 (336) rχdx C 4 10 σ 1 χ( r)( )dx (337) 3 3 Then we combine (330), (334) and (337) with integrating from0 δ tor 10, σ 1 ( )χ(δ r) σ 1 ( )χ(r r) (338) 10 δ 3 dx C 10 R 3 dx Letting χ approximate the characteristic function of the interval (,0), in an appropriate fashion, we obtain, (339) δ σ 1 ( ) δ 3 C R σ 1 ( ) R 3 ecause the graph (x,du) where u satisfied equation () can be viewed as a three dimensional smooth submanifold in (R 3 R 3,fdx +dy ) with volume form exactly We note that the boundedness of the mean curvature is encoded
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 13 in the above proof Moreover, the geodesic ball with radius δ of this submanifold is comparable with δ Then let δ 0, we finally get σ 1 (y 0 ) C σ R(ȳ 0) 1( )dx R 3 C σ R(y 0) 1( )dx R 3 4 Proof of the theroem Proof From Theorem, Lemma 5 and Lemma (4), we have at maximum point x 0 of 1 (0) (41) M 1 σ 1 ( )dx (4) (43) Recall that 1(x 0) M 5 log 1 M5 CM 1 log 1 M1 1(x 0) 1(x 0) log( )σ 1 dx σ 1 logσ 1 dx (44) b ij 1 100 σij b ib j Cσ 1 + f ui b i, i We have integral version of this inequality for any r < 5, (45) φ ib i c 0 φ b ib j C(1+ f ui b i φ) r r r for all non-negative φ C0 We choose different cutoff functions all are denoted 0 φ 1, which support in larger ball r+1 (x 0 ) and equals to 1 in smaller ball r (x 0 ) and φ + φ C (46) bσ 1 φbσ 1 1(x 0) (x 0) (47) C( b+ b ) (x 0) (x 0) (48) C(1+ b ) We only need to estimate (x 0) b We use (x 0) (49) σ 1 cδ ij, to get (410) (x 0) b y Holder inequality, we use (44), (4) b ( (41) (x 0) C (x 0) (x 0) 3(x 0) b ib j σ1 b ib j ) 1 ( φ b ib j i (x 0) σ 1 ) 1
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 14 Then using (45), we get (413) (414) (415) 3(x 0) φ b ib j C( C( y Cauchy-Schwarz inequality (416) (417) 3(x 0) + φ b ib j C(ǫ Cǫ We Choose ǫ small such that Cǫ 1, 3(x 0) 3(x 0) 3(x 0) 3(x 0) 3(x 0) φ b ij +1+ φ b ) 3(x 0) φ φ ib i +1 φ b ib j σ1 ) φ b ib j + φ iφ i + 1 3(x 0) ǫ ) φ b ib j + C ǫ (418) 3(x 0) φ b ib j C Finally, combine (43), (48), (41) and (418), we get the estimate (419) logm 1 C 5 Appendix We prove a differential Equation of V = log(fσ 1 σ 3 ) in Lemma 5 Proof As in Lemma 3, we assume that {u ij } is diagonal The differential equations of V are (51) V i = (σ 1) i f +σ 1 f i (σ 3 ) i, and (5) (53) V ij = (σ 1) ij f +(σ 1 ) i f j +(σ 1 ) j f i +σ 1 f ij (σ 3 ) ij [(σ 1) i f +σ 1 f i (σ 3 ) i ][(σ 1 ) j f +σ 1 f j (σ 3 ) j ] ( )
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 15 We contract with and use (3), (54) (55) (56) (57) (58) (59) V ij = fσij u kkij +σ (σ 1) i f i +σ 1 f ij (σ 3) ij σ [(σ 1) i f +σ 1 f i (σ 3 ) i ] ( ) = f i kki u ppi +f k pu i k p k pσ σ 1 (λ kp)u kki u ppi + u kpi +σ (σ 1 ) i f i k p σ σ 1 (λ kp)u kpi + σ 1 f σ3 ( u kpi kki u ppi ) ij k p k pu σ [(σ 1) i f +σ 1 f i (σ 3 ) i ] ( ) + f f σij 3 f ij We devided above equation into following four parts, ( f σ σ 1 (λ kp)+σ3 )u kki u ppi i k p (510) I : = σ (λ i +σ 1 (λ kp))u kki u ppi i k p (5) = (51) (513) II : = = (f +σ σ 1 (λ kp) σ i k p 3 )u kpi σ (λ i +σ 1 (λ kp))u kpi i k p (514) (515) III : = σ [(σ 1 ) i f +σ 1 f i (σ 3 ) i ] ( ) σ [ k = λ k σ kk u kki +σ 1 f i ] ( ) (516) IV := σ (σ 1 ) i f i + σ 1 f ij + f f σij 3 f ij Then we use following equation to replace the u kkk term above, (517) σ u k +σ kk u kkk = f k i k
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 16 We have (518) (519) (50) (51) (5) (53) (54) (55) (56) I = = p p k p,i p,i k σ λ i u kki u ppi σ kk u kkp σ pp u ppp k p σ λ iu kki u ppi k p,i p,i k σ kku kkp(f p σ u p) i p k p = k p,i p,i k σ λ iu kki u ppi = k p σkk u kkpf p + p σ kk σ u p u kkp + k p,i p,i k k p,i p,i k ( σ λ i +σ kk k pσ kku kkpf p + p k p (σkk ) (u kkp ) σpp )u kkiu ppi (σ kk k p ) (u kkp ) And (57) (58) (59) II = = k p,i p,i k σ λ iu kpi + k p σpp σkk u kpp 4fu 13 + k p σpp σkk u kpp (530) (531) III = σ [ k i λ kσ kk u kki +λ i (f i σ kk u kki)+σ 1 f i ] ( ) = σ [ k i (λ k λ i )σ kk u kki +λ i f i +σ 1 f i ] ( ) There is an identity (53) = σ σ σ 33
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 17 Then we get (533) (534) (535) (536) (537) (538) (539) (540) (541) III = (λ 3 λ 1 ) σ 33u 331 ( )σ (λ 3 λ 1 )(λ λ 1 )u 1 u 331 (λ λ 1 ) σ u 1 ( )σ 33 + (λ 1 +σ 1 )f 1 (λ 1 λ )u 1 ( )σ 33 + (λ 1 +σ 1 )f 1 (λ 1 λ 3 )u 331 ( )σ σ (λ 1 +σ 1 ) f 1 ( ) (λ 3 λ ) σ 33u 33 ( )σ (λ 3 λ )(λ 1 λ )u u 33 (λ 1 λ )σ u ( )σ 33 + (λ λ 1 )u f (σ 1 +λ ) ( )σ 33 (λ 1 λ 3 ) σ u 3 ( )σ (λ 1 λ 3 )(λ λ 3 )u 3 u 3 + (λ 3 λ 1 )u 3 (λ 3 +σ 1 )f 3 ( )σ We can also compute I and II explicitly, + (λ +σ 1 )f (λ λ 3 )u 33 ( )σ σ (λ +σ 1 ) f ( ) (λ λ 3 ) σ u 3 ( )σ σ33 (λ 3 +σ 1 ) f 3 ( ) + (λ 3 λ )u 3 (λ 3 +σ 1 )f 3 ( )σ k 1σ kku kk1f 1 k σ kku kkf k 3σ kku kk3f 3 (54) I = (543) + (σ ) (u 1 ) + (σ33 ) (u 331 ) + (σ ) (u ) (544) + (σ33 ) (u 33 ) + (σ ) (u 3 ) + (σ ) (u 3 ) (545) + 4( σ λ 1 +σ σ33 )u 1u 331 + 4( σ λ +σ σ33 (546) + 4( σ33 λ 3 +σ σ )u 3u 3 And (547) (548) (549) (550) II = = σ pp 4fu σkk u kpp 13 k p + 4fu 13 σ u + σ + σ σ u 1 + σ33 σ u 133 + σ σ33 u 3 + σ33 σ u 33 + σ σ33 u 3 )u u 33
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 18 We also have from Lemma 1, (551) (55) (553) (554) (555) (556) (557) (558) (559) (560) IV σ (σ 1) 1 f 1 + σ (σ 1) f + σ33 (σ 1) 3 f 3 Cσ 1 + f u i [σ 1 f i +f(σ 1 ) i (σ 3 ) i ] = σ ( f1 σ u1 σ33 u331 σ + σ (f σ u σ33 u33 σ + σ33 (f3 σ u3 σ u3 σ 33 Cσ 1 +f ui V i +u 1 +u 331 )f 1 +u +u 33 )f +u 3 +u 3 )f 3 = ((λ λ 1 )u 1 +(λ 3 λ 1 )u 331 )f 1 + ((λ 1 λ )u +(λ 3 λ )u 33 )f + ((λ λ 3 )u 3 +(λ 1 λ 3 )u 3 )f 3 Cσ 1 +f ui V i So we combine above inequalities (561) (56) (563) (564) (565) (566) (567) (568) (569) V ij - 4λ u 1 f 1 σ ( )σ 33-4λ 1u f σ ( )σ 33 4λ 1u 3 f 3 σ ( )σ + σ σ 33 u 1 u 331 4λ 3u 331 f 1 σ 33 ( )σ 4λ3u 33 f σ 33 ( )σ 4λu 3 f 3 σ ( )σ + σ σ 33 u u 33 + σ σ u 3 u 3 + 4fu 13 + σ33 [4f +(σ ) ]u 331 ( )σ + σ33 [4f +(σ ) ]u 33 ( )σ + σ [4f +(σ 33 ) ]u 1 ( )σ 33 + σ [4f +(σ 33 ) ]u ( )σ 33 + σ [4f +(σ ) ]u 3 ( )σ + σ [4f +(σ ) ]u 3 ( )σ Cσ 1 +f ui V i
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 19 Square these terms, (570) (571) (57) (573) (574) (575) V ij σ σ33 (u 331 +u 1 ) + σ33 σ (u 33 +u ) + σ σ (u 3 +u 3 ) + 4fu 13 + 4fσ33 (u 331 f1 f λ 3) ( )σ + 4fσ33 (u 33 f f λ 3) ( )σ + 4fσ (u 1 f1 f λ ) ( )σ 33 + 4fσ (u f f λ 1) ( )σ 33 + 4fσ (u 3 f3 f λ 1) ( )σ + 4fσ (u 3 f3 f λ ) ( )σ Cσ 1 +f ui V i In above inequality we have used (576) (577) (578) (579) (580) σ f 3 λ ( )σ Cσ λ 3 λ ( )σ = Cσ (f λ 1σ ) ( )σ Cσ 1 +C σ σ λ 1 Cσ 1 +C σ (fλ 1 σ 3 ) Cσ 1 So we have proved this lemma 51 Proof of (4) Denote (x) = 5 x, and M r := sup 1 σ 1 We consider test function (581) ϕ(x) = 4log(x)+h( Du )+loglog{ (σ 1f σ 3 )log 1 M5 M 5 log( ),0} in 5, where h(t) = 1 log(1 t max Du +1 ) Assume ϕ attains its maximum point z 0 Ω, and (σ1f σ3)log 1 M 5 M 5 log(σ 1f σ 3) > 0 Then ϕ must attained its maximum point in the ring 5 Moreover, we may always assume (σ 1f σ 3)log 1 M 5 M 5 log(σ 1f σ 3) sufficiant large We choose coordinate frame {e 1,e,e 3 }, such that D u is diagonalized at this point We denote M = log y maximum principle, at z 0, we have M 5 log 1 M 5 (58) 0 = ϕ i = 4 i V i Vi +h V u k u ki + V M logv and
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 0 (583) (584) ϕ ij Contracting with = 4 ij 4 i j +h u k u ki u l u lj +h (u kj u ki +u k u kij ) σ ϕ ij 8 y (3), + V ij Vij V + ViVj V V M logv V i V j 1 (V M logv) (1 V ) := σ(d u) u ij, we get 16 σ x i +h σ u i u +h (σ 1 f 3σ 3 ) +h u i f i + σ V (1 1 V ) V M logv σ Vi 1 (V M logv) (1 V ) (585) σ V Cσ 1 +f ui V i And by (58), (586) f ui V i Vi V V M logv +h u i f i C( 1 +h ) Then combine this inequality and (58), we have (587) (588) σ ϕ ij 8 + h (σ 1f 3σ 3 ) 48 σ x i +(h (h ) )σ u iu t If we choose h(t) = 1 log(1 max Du ) such that h (h ) 0, we have σ ϕ σ ij 4 100 +h M 5log( ) (589) log 1 M5 σ 1300 +h M 1 5log M5 (590) So we get (591) 4 (z 0 )log (σ 1f σ 3 )(z 0 )log 1 M5 M 5 log( )(z 0 ) 3 4 (z 0 )logm 5 C Finally, we obtain in 4 (59) ( )(x) M 5log( ) log 1 M5 References [1] Luis Caffarelli, Louis Nirenberg, and Joel Spruck The dirichlet problem for nonlinear second order elliptic equations, i: Functions of the eigenvalues of the hessian Acta Mathematica, 155(1):61 301, 1985 [] Chuanqiang Chen, Fei Han, and Qianzhong Ou The interior c estimate for prescribed gauss curvature equation in dimension two arxiv preprint arxiv:151047, 015 [3] Chuanqiang Chen, Fei Han, and Qianzhong Ou The interior c estimate for the monge ampére equation in dimension n= Analysis & PDE, 9(6):1419 143, 016
INTERIOR HESSIAN ESTIMATES FOR SIGMA- EQUATIONS IN DIMENSION THREE 1 [4] Kai-Seng Chou and Xu-Jia Wang A variational theory of the hessian equation Communications on Pure and Applied Mathematics, 54(9):109 1064, 001 [5] Pengfei Guan and Guohuan Qiu Interior c regularity of convex solutions to prescribing scalar curvature equations 017 [6] Pengfei Guan, Changyu Ren, and Zhizhang Wang Global c -estimates for convex solutions of curvature equations Communications on Pure and Applied Mathematics, 8(68):187 135, 015 [7] Reese Harvey and H laine Lawson Calibrated geometries Acta Mathematica, 148(1):47 157, 198 [8] Erhard Heinz On certain nonlinear elliptic differential equations and univalent mappings Journal d Analyse Mathématique, 5(1):197 7, 1956 [9] Erhard Heinz On elliptic monge-ampere equations and weyl s embedding problem Journal d Analyse Mathématique, 7(1):1 5, 1959 [10] David Hoffman and Joel Spruck Sobolev and isoperimetric inequalities for riemannian submanifolds Communications on Pure and Applied Mathematics, 7(6):715 77, 1974 [] Ming Li, Changyu Ren, and Zhizhang Wang An interior estimate for convex solutions and a rigidity theorem Journal of Functional Analysis, 70(7):691 714, 016 [1] Mi Lin and Neil S Trudinger On some inequalities for elementary symmetric functions ulletin of the Australian Mathematical Society, 50(0):317 36, 1994 [13] Siyuan Lu On weyl s embedding problem in riemannian manifolds arxiv preprint arxiv:160807539, 016 [14] Matt McGonagle, Cong Song, and Yu Yuan Hessian estimates for convex solutions to quadratic hessian equation arxiv:170904598, 017 [15] James H Michael and Leon M Simon Sobolev and mean-value inequalities on generalized submanifolds of rn Communications on Pure and Applied Mathematics, 6(3):361 379, 1973 [16] Alekseĭ Pogorelov The Minkowski multidimensional problem [17] John IE Urbas On the existence of nonclassical solutions for two classes of fully nonlinear elliptic equations Indiana University Mathematics Journal, pages 355 38, 1990 [18] Dake Wang and Yu Yuan Hessian estimates for special lagrangian equations with critical and supercritical phases in general dimensions American Journal of Mathematics, 136():481 499, 014 [19] Micah Warren and Yu Yuan Hessian estimates for the sigma- equationin dimension 3 Communications on Pure and Applied Mathematics, 6(3):305 31, 009 Department of Mathematics and Statistics, McGill University, 805 Sherbrooke O, Montreal, Quebec, Canada, H3A 09 E-mail address: guohuanqiu@mailmcgillca