HESSIAN ESTIMATES FOR THE SIGMA- EQUATION IN DIMENSION THREE arxiv:07006v mathap Dec 007 MICAH WARREN AND YU YUAN Abstract We derive a priori interior Hessian estimates for the special Lagrangian equation σ = in dimension three Introduction In this article, we derive an interior a priori Hessian estimate for the σ equation σ D u = λ λ + λ λ + λ λ = in dimension three, where λ i are the eigenvalues of the Hessian D u We attack via its special Lagrangian equation form arctan λ i = Θ i= with n = and Θ = π/ Equation stems from the special Lagrangian geometry HL The Lagrangian graph x,dux R n R n is called special when the phase or the argument of the complex number + λ + λn is constant Θ, and it is special if and only if x,dux is a volume minimizing minimal surface in R n R n HL, Theorem, Proposition 7 We state our result in the following Theorem Let u be a smooth solution to on B R 0 R Then we have D u0 Cexp C max B R 0 Du /R By Trudinger s T gradient estimates for σ k equations, we can bound D u in terms of the solution u in B R 0 as D u0 Cexp C max B R 0 u /R 6 One immediate consequence of the above estimates is a Liouville type result for global solutions with quadratic growth to, namely any such Date: February, 008 YY is partially supported by an NSF grant
MICAH WARREN AND YU YUAN a solution must be quadratic cf Y, Y Another consequence is the regularity analyticity of the C 0 viscosity solutions to or with n = and Θ = ±π/ In the 950 s, Heinz H derived a Hessian bound for the two dimensional Monge-Ampère equation, σ D u = λ λ = detd u =, which is equivalent to with n = and Θ = ±π/ In the 970 s Pogorelov P constructed his famous counterexamples, namely irregular solutions to three dimensional Monge-Ampère equations σ D u = λ λ λ = detd u = ; see generalizations of the counterexamples for σ k equations with k in U Hessian estimates for solutions with certain strict convexity constraints to Monge-Ampère equations and σ k equation k were derived by Pogorelov P and Chou-Wang CW respectively using the Pogorelov technique Urbas UU, also Bao and Chen obtained pointwise Hessian estimates in term of certain integrals of the Hessian, for σ k equations and special Lagrangian equation with n =, Θ = π respectively The heuristic idea of the proof of Theorem is as follows The function b = ln + λ max is subharmonic so that b at any point is bounded by its integral over a ball around the point on the minimal surface by Michael- Simon s mean value inequality MS This special choice of b is not only subharmonic, but even stronger, satisfies a Jacobi inequality This Jacobi inequality leads to a bound on the integral of b by the volume of the ball on the minimal surface Taking advantage of the divergence form of the volume element of the minimal Lagrangian graph, we bound the volume in terms of the height of the special Lagrangian graph, which is the gradient of the solution to equation Now the challenging regularity problem for sigma- equations in dimension four and higher still remains open to us Notation i = xi, ij = λ,,λ n and b = ln + λ, b = x i x j, u i = i u, u ji = ij u etc, but ln + λ + ln + λ / do not represent the partial derivatives Further, h ijk will denote the second fundamental form h ijk = + λ i + λ j + λ k u ijk when D u is diagonalized Finally C n will denote various constants depending only on dimension n Preliminary inequalities Taking the gradient of both sides of the special Lagrangian equation, we have g ij ij x,dux = 0, i,j
HESSIAN ESTIMATES where g ij is the inverse of the induced metric g = g ij = I + D ud u on the surface x,dux R n R n Simple geometric manipulation of yields the usual form of the minimal surface equation g x,dux = 0, where the Laplace-Beltrami operator of the metric g is given by g = i detgg ij j det g i,j Because we are using harmonic coordinates g x = 0, we see that g also equals the linearized operator of the special Lagrangian equation at u, g = g ij ij The gradient and inner product with respect to the metric g are g v = g k v k,, g nk v k, g v, g w g = k= i,j k= g ij v i w j, in particular g v = g v, g v g i,j= We begin with some geometric calculations Lemma Let u be a smooth solution to Suppose that the Hessian D u is diagonalized and the eigenvalue λ is distinct from all other eigenvalues of D u at point p Set b = ln + λ near p Then we have at p g b = and 4 5 + λ h + k> k= λ h k g b = λ + λ λ k λ λ k λ λ k h kk + + λ + λ λ + λ k h k λ λ k λ λ k k> + + λ k λ + + λ j + λ j + λ k h kj λ λ k λ λ j k>j> Proof We first compute the derivatives of the smooth function b near p We may implicitly differentiate the characteristic equation detd u λ I = 0
4 MICAH WARREN AND YU YUAN near any point where λ is distinct from the other eigenvalues Then we get at p e λ = e u, ee λ = ee u + k> k= eu k λ λ k, with arbitrary unit vector e R n Thus we have at p g b = g kk λ + λ k u = λ h k, where we used the notation h ijk = g ii g jj g kk u ijk From ee b = ee ln + λ = λ + λ ee λ + λ + λ e λ, we conclude that at p and g b = 6 ee b = λ + λ = g γγ γγ b γ= γ= g γγ λ + λ ee u + k> γγ u + k> k= eu k + λ λ λ k + λ e u, u kγ λ λ k + γ= λ + λ g γγ u γ Next we substitute the fourth order derivative terms γγ u in the above by lower order derivative terms Differentiating the minimal surface equation n α,β= gαβ u jαβ = 0, we obtain g u ij = g αβ u jiαβ = i g αβ u jαβ = g αγ i g γδ g δβ u jαβ 7 = α,β= α,β= where we used α,β= g αα g ββ λ α + λ β u αβi u αβj, i g γδ = i δ γδ + α,β,γ,δ= u γε u εδ = u γδi λ γ + λ δ ε= with diagonalized D u Plugging 7 with i = j = in 6, we have at p
HESSIAN ESTIMATES 5 g b = λ + λ + γ= = λ α,β= λ + λ g γγ u γ g αα g ββ λ α + λ β u αβ + α,β=λ α + λ β h αβ + k> γ= k> g γγ λ λ k u kγ λ + λ k h γk λ λ + λ h γ, k γ= where we used the notation h ijk = g ii g jj g kk u ijk Regrouping those terms h, h, and h in the last expression, we have g b = λ h + λ α h α=λ αα + λ + λ k h kk λ λ k k> + λ λ k + λ h k + λ h k + λ + λ k h k λ λ k k> k> k> + λ λ j + λ k h jk + λ + λ k k>j> j,k>, j k γ= λ λ k h jk After simplifying the above expression, we have the second formula in Lemma Lemma Let u be a smooth solution to with n = and Θ π/ Suppose that the ordered eigenvalues λ λ λ of the Hessian D u satisfy λ > λ at point p Set b = ln + λ max = ln + λ Then we have at p 8 g b gb Proof We assume that the Hessian D u is diagonalized at point p Step Recall θ i = arctan λ i π/,π/ and θ + θ + θ = Θ π/ It is easy to see that θ θ > 0 and θ i + θ j 0 for any pair Consequently λ λ > 0 and λ i + λ j 0 for any pair of distinct eigenvalues It follows that 5 in the formula for g b is positive, then from and 4 we have the inequality 9 g b λ h + k> λ k λ λ k h kk + λ k> + λ k h k λ λ k
6 MICAH WARREN AND YU YUAN Combining 9 and gives 0 λ g b gb h + λ k h kk + λ λ λ k k> k> λ + λ k λ λ k h k Step We show that the last term in 0 is nonnegative Note that λ + λ k λ + λ We only need to show that λ + λ 0 in the case that λ < 0 or equivalently θ < 0 From θ + θ + θ = Θ π/, we have π > θ + π π π = θ + θ + Θ π π θ It follows that then = tan θ + π π > tan λ θ =, λ λ + λ > 0 Step We show that the first term in 0 is nonnegative by proving h + λ h λ λ + λ h λ λ 0 We only need to show it for λ < 0 Directly from the minimal surface equation h + h + h = 0, we bound h = h + h It follows that h + λ h + λ h λ λ h + λ h λ λ + λ λ λ h λ λ + λ h λ λ + λ λ λ + λ λ λ The last term becomes + λ λ λ + λ λ σ = > 0 λ λ λ λ The above inequality is from the observation Re + λi = σ 0 i= for π/ > θ + θ + θ = Θ π/ Therefore holds We have proved the pointwise Jacobi inequality 8 in Lemma
HESSIAN ESTIMATES 7 Lemma Let u be a smooth solution to with n = and Θ π/ Suppose that the ordered eigenvalues λ λ λ of the Hessian D u satisfy λ > λ at point p Set b = ln + λ + ln + λ Then b satisfies at p g b 0 Further, suppose that λ λ in a neighborhood of p Then b satisfies at p 4 g b gb Proof We assume that Hessian D u is diagonalized at point p We may use Lemma to obtain expressions for both g ln + λ and g ln + λ, whenever the eigenvalues of D u are distinct From, 4, and 5, we have 5 + λ h + k> + + λ h + k g ln + λ + g ln λ + λ λ k λ λ k h kk + k> +λ + λ λ λ + + λ + λ = + λ + λ + λ + λ λ λ λ + λ λ k h kk λ λ + k k +λ + λ λ λ + + λ λ λ + λ + λ h + λ λ k λ λ k + + λ λ λ k + λ λ λ k h h k h k The function b is symmetric in λ and λ, thus b is smooth even when λ = λ, provided that λ > λ We simplify 5 to the following, which holds by continuity wherever λ λ > λ g b =
8 MICAH WARREN AND YU YUAN 6 + λ h + + λ + λ λ h + λ + λ λ λ λ λ λ 7 h + + λ + λ λ h + + λ h + λ + λ λ h λ λ λ λ 8 λ λ + λ + λ + λ h λ λ + λ λ + λ λ + λ h λ λ 9 + + λ λ + λ λ + λ λ + λ + λ + λ + λ h λ λ λ λ Using the relations λ λ > 0, λ i + λ j > 0, and σ derived in the proof of Lemma, we see that 9 and 8 are nonnegative We only need to justify the nonnegativity of 6 and 7 for λ < 0 From the minimal surface equation, we know h = h + h λ + λ λ h + λ h λ + λ + λ λ It follows that 7 λ + λ λ h + λ h + λ λ h λ λ λ + λ λ h + λ h + λ λ λ λ λ + λ + λ λ The last term becomes λ λ λ λ λ λ λ λ = λ λ λ σ λ λ + λ + λ + λ λ λ 0 λ + λ Thus 7 is nonnegative Similarly 6 is nonnegative We have proved Next we prove 4, still assuming D u is diagonalized at point p Plugging in λ = λ into 6, 7, and 8, we get g b
λ HESSIAN ESTIMATES 9 h + h + λ h λ λ h + h + λ + λ + λ λ + λ λ λ λ λ h h + h Differentiating the eigenvector equations in the neighborhood where λ λ D u U = λ + λ U, D u V = λ + λ V, and D u W = λ W, we see that u e = u e for any e R at point p Using the minimal surface equation, we then have at point p Thus g b λ λ + λ h + λ λ h k = h k = h k λ + λ λ λ The gradient g b has the expression at p g b = Thus at p λ { h + λ + λ g kk λ + λ k u + λ + λ k u = k= λ + λ λ λ h + g b gb λ + λ λ λ 0, λ λ h λ h k k= h λ + λ + } h λ λ where we again used λ + λ > 0 from We have proved 4 of Lemma Proposition Let u be a smooth solution to the special Lagrangian equation with n = and Θ = π/ on B 4 0 R Set { b = max ln } + λ max, K with K = +ln + tan π 6 Then b satisfies the integral Jacobi inequality 0 g ϕ, g b g dv g ϕ g b dv g B 4 B 4 for all non-negative ϕ C 0 B 4
0 MICAH WARREN AND YU YUAN Proof If b = ln + λ max is smooth everywhere, then the pointwise Jacobi inequality 8 in Lemma already implies the integral Jacobi 0 It is known that λ max is always a Lipschitz function of the entries of the Hessian D u Now u is smooth in x, so b = ln + λ max is Lipschitz in terms of x If b or equivalently λ max is not smooth, then the first two largest eigenvalues λ x and λ x coincide, and b x = b x, where b x is the average b = ln + λ + ln + λ / We prove the integral Jacobi inequality 0 for a possibly singular b x in two cases Set S = {x λ x = λ x} Case S has measure zero For small τ > 0, let Ω = B 4 \ {x b x K} = B 4 \ {x bx = K} Ω τ = {x bx = b x > b x + τ} Ω Ω τ = {x b x bx = b x < b x + τ} Ω Now bx = b x is smooth in Ω τ We claim that b x is smooth in Ω τ We know b x is smooth wherever λ x > λ x If the Lipschitz b x is not smooth at x Ω τ, then ln + λ = ln + λ ln + λ τ π ln + tan + τ, 6 by the choice of K For small enough τ, we have λ = λ > tan π 6 and a contradiction θ + θ + θ x > π Note that = lim τ 0 + g ϕ, g b g dv g = B 4 g ϕ, g b g dv g + Ω τ Ω Ω τ g ϕ, g b g dv g g ϕ, g b + τ g dv g By the smoothness of b in Ω τ and b in Ω τ, and also inequalities 8 and, we have g ϕ, g b g dv g + g ϕ, g b + τ g dv g Ω τ Ω τ = ϕ γ g b da g + ϕ g b dv g Ω τ Ω τ + ϕ γ g b + τda g + ϕ g b + τdv g Ω τ Ω τ ϕ γ g b da g + ϕ γ g b + τda g + ϕ g b dv g, Ω τ Ω τ Ω τ
HESSIAN ESTIMATES where γg and γ g are the outward co-normals of Ω τ and Ω τ with respect to the metric g Observe that if b is not smooth on any part of Ω\ B 4, which is the K-level set of b, then on this portion Ω\ B 4 is also the K-level set of b, which is smooth near this portion Applying Sard s theorem, we can perturb K so that Ω is piecewise C Applying Sard s theorem again, we find a subsequence of positive τ going to 0, so that the boundaries Ω τ and Ω τ are piecewise C Then, we show the above boundary integrals are non-negative The boundary integral portion along Ω is easily seen non-negative, because either ϕ = 0, or γ g b 0, γ g b + τ 0 there The boundary integral portion in the interior of Ω is also non-negative, because there we have b = b + τ and b b + τ in Ω τ γ g b γ g b + τ = γ g b γ g b + τ 0 Taking the limit along the Sard sequence of τ going to 0, we obtain Ω τ Ω up to a set of measure zero, and g ϕ, g b g dv g B 4 = g ϕ, g b g dv g g b dv g Ω Ω = g b dv g B 4 Case S has positive measure The discriminant D = λ λ λ λ λ λ is an analytic function in B 4, because the smooth u is actually analytic cf M, p 0 So D must vanish identically Then we have either λ x = λ x or λ x = λ x at any point x B 4 In turn, we know that λ x = λ x = λ x = tan π 6 and b = K > b x at every boundary point of S inside B 4, x S B 4 If the boundary set S has positive measure, then λ x = λ x = λ x = tan π 6 everywhere by the analyticity of u, and 0 is trivially true In the case that S has zero measure, b = b > K is smooth up to the boundary of every component of {x bx > K} By the pointwise Jacobi inequality 4, the integral inequality 0 is also valid in case Proof Of Theorem We assume that R = 4 and u is a solution on B 4 R for simplicity of notation By scaling v x = u R 4 x / R 4, we still get the estimate in Theorem Without loss of generality, we assume that the continuous Hessian D u sits on the convex branch of {λ,λ,λ λ λ + λ λ + λ λ = }
MICAH WARREN AND YU YUAN containing,, /, then u satisfies with n = and Θ = π/ By symmetry this also covers the concave branch corresponding to Θ = π/ Step By the integral Jacobi inequality 0 in Proposition, b is subharmonic in the integral sense, then b is also subharmonic in the integral sense on the minimal surface M = x,du : g ϕ, g b g dv g = g b ϕ 6bϕ g b, g b g dv g ϕb g b + 6bϕ g b dv g 0 for all non-negative ϕ C0, approximating b by smooth functions if necessary Applying Michael-Simon s mean value inequality MS, Theorem 4 to the Lipschitz subharmonic function b, we obtain / / b0 C b dv g C b dv g, B M B where B r is the ball with radius r and center 0,Du0 in R R, and B r is the ball with radius r and center 0 in R Choose a cut-off function ϕ C0 B such that ϕ 0, ϕ = on B, and Dϕ, we then have B b dv g / B ϕ 6 b dv g / = B ϕb / 6 dvg / Applying the Sobolev inequality on the minimal surface M MS, Theorem or A, Theorem 7 to ϕb /, which we may assume to be C by approximation, we obtain B ϕb / 6 dvg / C Splitting the integrand as follows g ϕb / = b /ϕ gb + b / g ϕ ϕ g b + b g ϕ, B g ϕb / dvg b ϕ g b + b g ϕ where we used b, we get b0 C g ϕb / dvg B C ϕ g b dv g + b g ϕ dv g B B C Du L B + C Du L }{{} B + Du L B 4 }{{} Step step
HESSIAN ESTIMATES Step By 0 in Proposition, b satisfies the Jacobi inequality in the integral sense: g b g b Multiplying both sides by the above non-negative cut-off function ϕ C0 B, then integrating, we obtain ϕ g b dv g ϕ g bdv g B B = ϕ g ϕ, g b dv g B ϕ g b dv g + 8 g ϕ dv g B B It follows that ϕ g b dv g 6 g ϕ dv g B B Observe the conformality identity: + λ, + λ, + λ where we used the identity V = then have Thus g ϕ dv g = i= V = σ λ, σ λ, σ λ + λ i = σ σ with σ = We i= D i ϕ + λ V dx = i 4 u dx D i ϕ σ λ i dx i= ϕ g b dv g C u dx B B C Du L B Step By, we get b g ϕ dv g C b u dx B B Choose another cut-off function ψ C0 B such that ψ 0, ψ = on B, and Dψ We have b udx ψb udx = bdψ + ψdb,du dx B B B Du L B b Dψ + ψ Db dx B C Du L B b + Db dx B
4 MICAH WARREN AND YU YUAN Now b = max { ln } + λ max, K λ max + K < λ + λ + λ + K = u + K, where λ + λ > 0 follows from arctan λ + arctan λ = π arctan λ > 0 Hence bdx C + Du L B B And we have left to estimate B Db dx : Db dx b i + λ B B i= + λ + λ + λ dx i = g b V dx B / / g b V dx V dx B B Repeating the Jacobi argument from Step, we see g b V dx C Du L B 4 B Then by the Sobolev inequality on the minimal surface M, we have V dx = dv g φ 6 dv g C g φ dv g, B B B 4 B 4 where the non-negative cut-off function φ C0 B 4 satisfies φ = on B, and Dφ Applying the conformality equality again, we obtain g φ dv g C u dx C Du L B 4 B 4 B 4 Thus we get and In turn, we obtain B V dx C Du L B 4 B Db dx C Du L B 4 b g ϕ dv g C K Du L B + Du L B + Du L B 4 B Finally collecting all the estimates in the above three steps, we arrive at λ max 0 exp C Du L B 4 + Du L B 4 + Du L B 4 C exp C Du L B 4 This completes the proof of Theorem
HESSIAN ESTIMATES 5 Remark A sharper Hessian estimate and a gradient estimate for the special Lagrangian equation with n = were derived by elementary method in WY More involved arguments are needed to obtain the Hessian and gradient estimates for with n = and Θ > π/ in WY References A Allard, William K, On the first variation of a varifold Ann of Math 95 97, 47 49 BC Bao, Jiguang and Chen, Jingyi, Optimal regularity for convex strong solutions of special Lagrangian equations in dimension Indiana Univ Math J 5 00, 49 CW Chou, Kai-Seng and Wang, Xu-Jia, A variational theory of the Hessian equation Comm Pure Appl Math 54 00, 09 064 HL Harvey, Reese and Lawson, H Blaine Jr, Calibrated geometry Acta Math 48 98, 47 57 H Heinz, Erhard, On elliptic Monge-Ampère equations and Weyl s embedding problem J Analyse Math 7 959 5 M Morrey, Charles B, Jr, On the analyticity of the solutions of analytic non-linear elliptic systems of partial differential equations I Analyticity in the interior Amer J Math 80 958 98 8 MS Michael, James H and Simon, Leon M, Sobolev and mean-value inequalities on generalized submanifolds of R n Comm Pure Appl Math 6 97, 6 79 P Pogorelov, Aleksei Vasil evich, The Minkowski multidimensional problem Translated from the Russian by Vladimir Oliker Introduction by Louis Nirenberg Scripta Series in Mathematics V H Winston & Sons, Washington, DC; Halsted Press John Wiley & Sons, New York-Toronto-London, 978 T Trudinger, Neil S, Weak solutions of Hessian equations Comm Partial Differential Equations 997, no 7-8, 5 6 U Urbas, John I E, On the existence of nonclassical solutions for two classes of fully nonlinear elliptic equations Indiana Univ Math J 9 990, no, 55 8 U Urbas, John, Some interior regularity results for solutions of Hessian equations Calc Var Partial Differential Equations 000, U Urbas, John, An interior second derivative bound for solutions of Hessian equations Calc Var Partial Differential Equations 00, 47 4 WY Warren, Micah and Yuan, Yu, Explicit gradient estimates for minimal Lagrangian surfaces of dimension two preprint WY Warren, Micah and Yuan, Yu, Hessian and gradient estimates for three dimensional special Lagrangian equations with large phase preprint Y Yuan, Yu, A Bernstein problem for special Lagrangian equations Invent Math 50 00, 7 5 Y Yuan, Yu, Global solutions to special Lagrangian equations Proc Amer Math Soc 4 006, no 5, 55 58 Department of Mathematics, Box 5450, University of Washington, Seattle, WA 9895 E-mail address: mwarren@mathwashingtonedu, yuan@mathwashingtonedu