arxiv: v1 [math.ap] 5 Jun 2014

Transcription

1 GLOBAL MONGE-AMPÉRE EQUATION WITH ASYMPTOTICALLY PERIODIC DATA arxiv: v1 [math.ap] 5 Jun 2014 EDUARDO V. TEIXEIRA AND LEI ZHANG Abstract. Let u be a convex solution to det(d 2 u) = f in R n where f C α (R n ) is asymptotically close to a periodic function f p. We prove that the difference between u and a parabola is asymptotically close to a periodic function at infinity, for dimension n 4. We also prove corresponding weaker estimates if the dimension is 2 or Introduction In this article we study convex, entire viscosity solutions u: R n R, to the Monge-Ampére equation (1.1) det(d 2 u) = f(x), in R n. The forcing term f is assumed to be positive and asymptotically close to a periodic function at infinity. Our main goal is to establish a classification theorem for such solutions. Monge-Ampére equation with periodic data can be found in various topics in applied mathematics such as homogenization theory, optimal transportation problems, vorticity arrays, etc. Equation (1.1) also occurs differential geometry, when it is lifted from a Hessian manifold, [12]. In spite of the profusion in application, Monge-Ampére equation is well known for its analytical difficulty and it is no exception for equation (1.1) when the right hand side is close to a periodic function. In [9] Caffarelli and Li proved that if f is a positive periodicfunction then u has to beaparabola plusaperiodic function with the same periodicity as f. This classification theorem can be viewed as an extension to classical ones: Jörgens [28], Calabi [13], Pogorelov [35], Caffarelli-Li [8], etc. The aim of this article is to establish an optimal perturbation result from the Caffarelli-Li s classification theorem, as to cover forcing terms f that are asymptotically a periodic function at infinity. Date: June 6, Mathematics Subject Classification. 35J96; 35J67. Key words and phrases. Monge-Ampere equation, Dirichlet problem, a priori estimate, maximum principle, viscosity solution. 1

2 2 EDUARDO V. TEIXEIRA AND LEI ZHANG In more precise terms, the assumption on f is as follows: Let f p be a positive, C 1,α periodic function in R n, i.e.: (1.2) d 0 > 0,α (0,1),a 1,...,a n > 0 such that d 1 0 f p d 0, f p C 1,α (R n ) d 0, f p (x+a i e i ) = f p (x), x R n. wheree 1 = (1,0,..,0),..., e n = (0,...,0,1). Wewillassumethatf C 1,α (R n ) is asymptotically close to f p in the following sense: (1.3) d 1 > 0 and β > 2,such that d 1 1 f(x) d 1, x R n, f C 1,α (R n ) d 1, j (f f p )(x) d 1 (1+ x ) β j, x R n, j = 0,1,2,3. Under the above framework, our main theorem is: Theorem 1.1. Let n 4 and u C 3,α (R n ) be a convex solution to (1.4) det(d 2 u) = f, in R n where f satisfies (1.3). Then there exist b R n, a symmetric, positive definite matrix A with det(a) = ffl Π 1 i n [0,a i ] f, and v C3,α (R n ), which is a i periodic in the i-th variable, such that ( ) (1.5) 1 u(x) 2 x Ax+b x+v(x) C(1+ x ) σ, x R n for some C(d 0,d 1,n,β,a 1,...,a n ) > 0 and σ := min{β,n 2}. Remark 1.1. If n = 3, the estimate is weakened to u(x) 1 2 x Ax C(1+ x )log(2+ x ) x R 3. For n = 2 it is already established by Caffarelli-Li in [8] that u(x) 1 2 x Ax C(1+ x ) 2 δ, x R 2 for C,δ > 0 only depending on the usual parameters. So the optimal estimates for n = 2,3 are still open. Remark 1.2. Theorem 1.1 does not imply corresponding (better) estimates on higher order derivatives because it is not possible to obtain an oscillation control on D 2 u. Caffarelli and Li [9] proved that if f = f p in (1.1) then u(x) = 1 2 x Ax+b x+v(x), R n, n 2. Thus Theorem 1.1 is an extension of the classification theorem of Caffarelli- Li.

3 MONGE-AMPÈRE EQUATION 3 The assumption β > 2 is essentially optimal, as one can observe from the following example: let f be a radial, smooth, positive function such that f(r) 1 for r [0,1] and f(r) = 1+r 2 for r > 2. Let ˆ r (ˆ s ) 1 u(r) = n 1 n t n 1 n f(t)dt ds, r = x. 0 0 It is easy to check that det(d 2 u) = f in R n. Moreover for n 3, u(x) = 1 2 x 2 +O(log x ) at infinity, which means by taking f p 1 the estimate in Theorem 1.1 is violated for n 4. One major difficulty in the study of (1.1) is that the right hand side oscillates wildly when it is scaled. The regularity theory for Monge-Ampére equations with oscillating right hand side is very challenging (see [18, 19] ). In this respect, we found that the strategy implemented by Caffarelli and Li in [9] is essentially optimal, as we cannot simplify any step of the program followed in their work. In turn, our arguments are essentially based on the corresponding steps from [9] as well as previous works of Caffarelli and Li [5, 6, 8]. The main difference, though, is that in the proof of Theorem 1.1 one needs to take care of perturbational terms in a sharp manner. In order to handle all the perturbations, we need to make use of intrinsic structures implied by Monge-Ampére equations (such as (2.8) below) and also estimates on Green s functions, such as the Littman-Stampacchia-Weinberger Theorem, [33], etc. Theorem 1.1 is closely related to the exterior Dirichlet problem: Given a strictly convex set D and the value of u on D, can one solve the Monge- Ampére equation in R n \ D if the asymptotic behavior of u at infinity is prescribed? Clearly Theorem 1.1 must be established before such a question can be attacked. We plan to address the exterior Dirichlet problem in a future work. The traditional (interior) Dirichlet problem has been fairly well understood through the contribution of many people (see [1, 2, 34, 13, 35, 14, 11, 6, 24, 25, 26, 30, 27, 37, 39, 19, 18] and the references therein). If f is equal to a positive constant outside a compact set, Delanoë [17], Ferrer-Martínez-Milán [20, 21] and Bao-Li [3] studied the exterior Dirichlet problem for n = 2, Caffarelli-Li [8]) studied the case of n 3. If f is a perturbation of a positive constant at infinity, Bao-Li-Zhang studied the exterior Dirichlet problem in [4]. The organization of this article is as follows: The proof of Theorem 1.1 consists of five steps. First in step one we employ the argument in [6, 8] to show that the growth of the solution of (1.1) is roughly similar to that of a parabola. Then in step two we prove that D 2 u is positive definite, which makes (1.1) uniformly elliptic. The key point in this step is to consider a second order incremental of u as a subsolution to an elliptic equation. In step three we prove a pointwise estimate of the second incremental of

4 4 EDUARDO V. TEIXEIRA AND LEI ZHANG u. The proof of Theorem 1.1 for n 5 is placed in step four since all the perturbationsin this case are bounded. Finally in step five we prove thecase n = 4, which relies on a, application of Krylov-Safonov Harnack inequality, as to handle perturbations with logarithmic growth. Acknowledgement: The authors would like to thank the hospitality of Universidade Federal do Ceará and University of Florida, where this work was conducted. ET acknowledges support from CNPq and Funcap. 2. Proof of Theorem 1.1 Since the Monge-Ampére equation is invariant under affine transformation, we assume a 1 =... = a n = 1 and ffl [0,1] n f = 1. In step one we prove that u grows like a quadratic polynomial at infinity. First we normalize u to make u(0) = 0 and u 0 in R n. Since f is bounded above and below by two positive constants, we use the argument in Caffarelli- Li [8], see also [4]. Let Ω M = {x R n, u(x) < M}. Then the following properties hold: (1) C 1 M n 2 Ω M CM n 2, (2) There exists A M (x) = a M x+b such that det(a M ) = 1 and B R A M (Ω M ) B nr and (3) C 1 M R C M, (4) 2nR dist(a M (ΩM), a M (Ω M )) R 2 C where all the constants C only depend on d 1 and n. All the properties listed above are proved in [8] only based on the assumption that f is bounded above and below. Here for the convenience of the reader we mention the idea of the proof: First Caffarelli-Li used the following lemma (Lemma 2.9 in [8]) Lemma A (Caffarelli-Li): Let e 1 = (1,0,..,0) and B δ = {(0,x 2,...,x n ); (0,x 2,...,x n ) < δ}. Let K be the convex hull of B δ {re 1 }, and let u be a nonnegative convex viscosity solutions of det(d 2 u) λ > 0 in the interior of K. Assume u β on B δ. Then there exists C(n) > 1 such that max{β,u(re 1 )} λ1/n δ 2(n 1) C n r 2/n In other words, u cannot be small in one direction for too long. Lemma A is important since it says Pogorelov s famous example of non-strictly convex solution doesnotexistif thedomain islarge. A simpleapplication oflemma A leads to Ω M B CM n 2. A volume preserving affine transformation can be used to make the image of Ω M between too balls with comparable radii. A comparison with a parabola gives Ω M M n 2 using only the.

5 MONGE-AMPÈRE EQUATION 5 upper bound and lower bound of f. In [5] Caffarelli proved that u must depart from its level set in a non-tangential manner, using this we have dist(a M ( Ω M ),A M (Ω M/2 )) M 1 2 where A M is a volume-preserving affine transformation: A M (x) = a M x+b M, det(a M ) = 1. Usingu(0) = 0andu 0onecanfurtherconcludeB R/C a M (Ω M ) B 2nR where R = M 1 2. Let u M (x) = 1 R 2u(a 1 M (Rx)), x O M := 1 R a M(Ω M ), Using u(0) = 0 and u 0 we have The equation for u M is B 1/C O M B 2n. (2.1) det(d 2 u M (x)) = f(a 1 M (Rx)), in O M. We compare u M with { det(d (2.2) 2 w p ) = f p (a 1 M (Rx)), in O M, w p = M/R 2, on O M. Let h = u M w p, using Alexandrov estimate ( see [8, 4]) (ˆ max(h ) C det(d 2 (u M w p )) O M S + where S + = {x O M ; D 2 (u M w p ) > 0 }. On S + by the concavity of det 1 n on positive definite matrices we have Thus det 1 n( D2 u M 2 ) 1 n ) 1 2 det 1 n(d 2 (u M w p ))+ 1 2 det 1 n(d 2 w p ). (ˆ ) maxh C f 1 n (a 1 O M (Rx)) f 1 1 n p (a 1 n M (Rx)) n dx. M O M By the assumption on f (1.3), the right hand side is O(1/R). Next we cite the homogenization theorem of Caffarelli-Li (Theorem 3 of [9]): Let w satisfy det(d 2 w) = 1, in O M with w = M/R 2 on O M, then for some δ > 0. Thus w w p CR δ (2.3) u M (x) w(x) CR δ

6 6 EDUARDO V. TEIXEIRA AND LEI ZHANG for some δ > 0. Set E M := {x; (x x) D 2 w( x)(x x) 1} where x is the unique minimum of w (note that Caffarelli [5] proved that the minimum point of w is unique) that satisfies dist( x, O M ) > C(d 1,n). By the same argument in [6, 8] there exist k and C that only depend on n and d 1 such that for ǫ << δ, M = 2 (1+ǫ)k, 2 k 1 M 2 k, R M 1 2, ( 2M C2 3ǫk 1 R 2 2 ) 2 EM 1 R a M(Ω M ) ( 2M +C2 3ǫk 1 R 2 2 ) 2 EM, k k, which can be translated as 2M (1 C 2 ǫk/2)e M a M (Ω M ) 2M (1+ C 2 ǫk/2)e M. Let Q be a positive definite matrix satisfying Q 2 = D 2 w( x), O be an orthogonal matrix that makes T k = OQa M upper triangular, then det(t k ) = 1 and by Proposition 3.4 of [8] for some matrix T. By setting we have and T k T C2 ǫk 2 v = u T det(d 2 v(x)) = f(tx) 2M (1 C 2 ǫk/2)b {x; v(x) < M } 2M (1+ C 2 ǫk/2)b for all M 2 k. Here B stands for the unit ball. Consequently The equation for v is where f v (x) = f(t(x)). Step two: Uniform Ellipticity v(x) 1 2 x 2 C x 2 ǫ. det(d 2 v) = f v (x) The purpose of this step is to show: There exist c 1 and c 2 depending only on d 0,d 1,β, a 1,...,a n and n that (2.4) c 1 I D 2 v c 2 I. First we choose M > 10 so that for R = M 1 2 and v R (y) = 1 R 2v(Ry), Ω 1,vR := {y; v R (y) 1}

7 MONGE-AMPÈRE EQUATION 7 is very close to B 1 in the sense that Ω 1,vR B 1+ǫ B 1 ǫ for some ǫ > 0 small. Applying the standard interior estimate for Monge-Ampére equations ([6, 27] ) we have D 2 v R L (Ω 1/2,vR ) = D 2 v L (B 1/4 ) C. In general for x > 10 we shall prove (2.4) for D 2 v(x). To this end we consider the following second order incremental for v: 2 ev(x) := v(x+e)+v(x e) 2v(x) e 2 where e R n and e is its Euclidean norm. Later we shall always choose e E which is defined as E := {a 1 v a n v n ; a 1,...a n Z} where v i satisfies f v (x+ v i ) = f v (x) for all x R n. Let R 1 = x and v R1 (y) = 1 R 2 1v(R 1 y). Then by the closeness result of step one, the sections: S vr1 (e x, 1 2 ) and S vr1 (e x, 1 4 ) around e x := x/r 1 are very close to those of the parabola 1 2 y 2. Here we recall that for a convex, C 1 function v, S v (x,h) := {y; v(y) v(x)+ v(x) (y x)+h, }. Moreover the equation for v R1 is (2.5) det(d 2 v R1 (y)) = f v (R 1 y) where f v (R 1 y) = f(t(r 1 y)). Let e R1 = e/r 1, then direct computation shows 2 ev = 2 e R1 v R1. Let w(y) = v R 1 (y +e R1 )+v R1 (y e R1 ). 2 Let F = det 1 n. It is well known that F is concave on positive definite matrices. On one hand, this concavity gives det 1 n(d 2 w)(y) 1 2 det 1 n(d 2 v R1 (y +e R1 ))+ 1 2 det 1 n(d 2 v R1 (y e R1 )) (2.6) = 1 2 f 1 n v (R 1 y +e)+ 1 2 f 1 n v (R 1 y e). On the other hand (2.7) F(D 2 w) F(D 2 v R1 )+F ij (D 2 v R1 ) ij (w v R1 ) = f 1 n v (x)+f ij (D 2 v R1 ) ij (w v R1 )

8 8 EDUARDO V. TEIXEIRA AND LEI ZHANG where F ij (x) = F(D2 v R1 ) ij v R1 = 1 n (det(d2 v R1 )) 1 n 1 cof ij (D 2 v R1 ). Thus the combination of (2.6) and (2.7) gives where a ij = cof ij (D 2 v R1 ), E 1 : = ndet(d 2 v R1 ) (n 1)/n a ij ij ( 2 e R1 v R1 ) E 1 ( R2 1 2 e 2(f 1 n v (R 1 y +e)+f 1 n v (R 1 y e) 2f 1 n v (R 1 y))) For applications later we state the following fact: For any smooth u (2.8) i (cof(d 2 u) ij ) = 0. Let f v,p (y) = f p (Ty), then by choosing Te E (2.9) f 1 n v,p (R 1 y +e)+f 1 n v,p (R 1 y e) 2f 1 n v,p (R 1 y) = 0, for all y R n. By (1.3) we see that E 1 (y) = n(det(d 2 v R1 ) (n 1)/n ) R2 1 2 e 2{(f 1 n v (R 1 y +e) f 1 n v,p (R 1 y)) +(f 1 n v (R 1 y e) f v,p (R 1 y e)) 2(f 1 n v (R 1 y) f 1 n v,p (R 1 y))} =O(R β 1 ). Now we construct a function h that solves { aij ij h = E 1, in B(e x, 1 2 ) h = 0 on B(e x, 1 2 ) Then we use the following classical estimate of Aleksandrov (see Page of [22] for a proof): Theorem A: Let Ω be a domain in R n and let v be a solution in Ω of the equation a ij ijv = g such that v = 0 on Ω and the coefficient matrix (a ij ) n n satisfies c 1 det(a ij) c 2, and (a ij) > 0, then v(x) C(n,c 1,c 2 )diam(ω) g L n (Ω), x Ω Applying Theorem A to h we have (2.10) h(y) C(n,d 0 )R β 1, for y B(e x, 1 2 ).

9 MONGE-AMPÈRE EQUATION 9 Remark 2.1. The estimate of Theorem A does not depend on constants of uniform ellipticity. Thus 2 e R1 v R1 +h is a super solution: a ij ij ( 2 e R1 v R1 +h) 0. In order to obtain a pointwise estimate for 2 e R1 v R1 we apply Theorem 0.4 in [8] (a weak Harnack inequality of Caffarelli-Gutierrez [10]) to obtain ˆ max ( 2 e v +h) C(n,d 0 ) ( 2 y S(v R1,e x, 1 4 ) S(v R1,e x, 3 8 ) e R1 v R1 +h) Note that the distance between the two sections above is comparable to 1. It is also important to point out that the estimates in Theorem 0.4 of [9] does not depend on the regularity of v R1. Let L be a line parallel to e, then Lemma A1 of [9] ˆ S(v R1,e x, 3 4 ) L 2 e R1 v R1 C. Consequently Since h = O( x 2 β ) we have proved ˆ S(v R1,e x, 3 4 ) 2 e R1 v R1 C. (2.11) 0 2 e v(x) = 2 e R1 v R1 (x) C. Note that 2 ev 0 because v is convex. Then the same argument as in [9] can be employed to prove that the level surfaces of v are like balls. For the convenience of the readers we describe the outline of this argument. Given x R n we set γ := sup e E x R n 2 e v and v(z) = v(z +x) v(x) v(x)z. Clearly v(0) = 0 = min R n v. By (2.11) it is easy to see sup B r v C(n)γr 2, r > 1. On the other hand for any z B r we show that for r large (but still only depending on n and d 0 ), v( z) δ 0 (n,d 0 ). Indeed, by (2.11), (2.12) v( z 2 +e)+ v( z 2 e) 2 v( z 2 ) γ e 2 for all e E. Hence for z z 2 +( 2,2)n, (2.12) implies ( using v 0) v(z) 2 v( z 2 )+C(n)γ. Further more, by v(0) = 0 and the convexity of v we have 2 v( z 2 ) v( z).

10 10 EDUARDO V. TEIXEIRA AND LEI ZHANG Therefore the following holds: Consider v(z) v( z)+c(n)γ. w(z) = v( z 2 +z) v( z)+c(n)γ. Clearly w satisfies det(d 2 w) d 1 0 /( v( z)+c(n)γ)n and Applying Lemma A we have w(z) 1, for z z/2+( 2,2) n. max{1, v( z)} ( d 1 ) n 0 C(n) r 2 n. v( z) + C(n)γ Here we used the fact that v(0) = 0 and v( z) is the maximum value of v on the line segment connecting 0 and z. If v( z) γ > 0, no need to do anything ( here we assume γ > 1 without loss of generality), otherwise we obviously have 1 n max{1, v( z)} d 0 C(n)γ r n. 2 Chooser large butonly dependingon n,γ and d 0 we have v( z) > 1. Thus for suchr, min Br v 1, then bystandard argument thesections of v: S( v,0,h) are similar to balls if h 1 and h < 1. Then interior estimate of Caffarelli, Jian-Wang [27] can be employed on S( v,0,h) to obtain the C 2,α norm of v. In particular D 2 v(x) = D 2 v(x) C. Once the upper bound is obtained we also have the lower bounded from the Monge-Ampére equation. (2.4) is established. Remark 2.2. In order to prove (2.4) the assumptions on the derivatives of f f p are not essential. In fact, as long as (2.4) still holds. (f f p )(x) C(1+ x ) β, for x R n, Step three. Pointwise estimate of 2 e v Let e E, recall the equation for 2 ev is (2.13) ã ij (x) ij 2 e v E 2 := n(det(d 2 v) n 1 n ) f 1 n v (x+e)+f 1 n v (x e) 2f 1 n v (x) e 2. where ã ij (x) = cof ij (D 2 v(x))

11 MONGE-AMPÈRE EQUATION 11 is uniformly elliptic and divergence free. By the assumption on f, E 2 (x) = n(det(d 2 v) n 1 n ) ( 1 (f n v (x+e) f 1 n p,v (x+e))+(f 1 n v (x e) f 1 n v,p (x e)) e 2 2 (f 1 n v (x) f 1 n e 2 v,p (x)) ). Here we have the following important observation: (2.14) E 2 (x) C(1+ x ) 2 β, e E, e 2 x +1 where C is independent of e E and x. Indeed, let g(x) = f 1 n v (x) f 1 n v,p (x), then E 2 (x) = (g(x+p)+g(x p) 2g(x))/ e 2. Without loss of generality we assume that e = ( e,0,...,0). Then Using we have E 2 (x) = (g(x+e) g(x)) (g(x) g(x e)) e 2 e 0 1 g(x 1 +t,x e )dt 0 1 g(x 1 e +t,x )dt = e 2 e e g(x 1 e +t+s,x )dtds = e 2 = ˆ 1 ˆ 1 0 E 2 (x) C 0 11 g(x 1 e + e t+ e s,x )dtds. ˆ 1 ˆ D 2 g(x) C(1+ x ) β 2 ((x 1 + e ( 1+t+s)) 2 + x 2 ) β+2 2 dtds. If x x, (2.14) holds obviously. For x 1 > 0, we just consider the integration over t (3/4,1) and s (3/4,1). The case that x 1 < 0 is estimated in a similar manner. Then it is easy to see that (2.14) is true. Since f C 1,α, ã ij C 1,α and is divergence free, the Green s function G(x, y) satisfies (2.15) 0 G(x,y) C y x 2 n, x,y R n. because (2.13) can be written as and G satisfies i (ã ij j 2 ev) E 2, xi (ã ij xj G(x,y)) = δ y.

12 12 EDUARDO V. TEIXEIRA AND LEI ZHANG Thus the result of Littman-Stampacchia-Weinberger [33] shows that (2.15) holds. Let ˆ h(x) = G(x,y)E2 (y)dy, R n we have, by standard estimates (2.16) 0 h(x) C(1+ x ) β 1, β 1 = min{n 2,β} and (2.17) ã ij ij h = E 2, in Rn. The estimate of (2.16) is rather standard, for x R n, we divide R n into three regions: E 1 = {y; y x < x /2}, E 2 = {y; y < x /2 }, E 3 = R n \(E 1 E 2 ). The estimate on each of these three regions is standard. The main result of this step is: (2.18) Given e E; 2 e v(x) 1 h(x), for x Rn. Let v λ (x) = v(λx)/λ 2 and P(x) = 1 2 x 2. First we claim that (2.19) D j (v λ P(x)) 0, j = 0,1, x K R n, as λ, where K is any fixed compact subset of R n. To see (2.19), by step one (2.20) v λ (y) P(y) Cλ ǫ, y K R n. and D 2 v λ (x) C for x K we obtain by Ascoli s theorem that l v λ (x) tends to a continuous function. By (2.20) this function has to be x l. Thus (2.19) holds. Remark 2.3. We don t have the estimate of Dv λ x L (K) but we don t need it. The proof of (2.18) is as follows. Let α = sup R n( 2 ev h) for e E. By Step two α <. Let ê = e/λ, then by (2.19) and Lebesgue s dominated convergence theorem ˆ ˆ (2.21) lim ê 2 v λ = 1dx = B 1. λ B 1 B 1 Indeed, theintegral over B 1 can beconsideredas thecollection ofintegration on segments all in the direction of ê. Since Dv λ DP in C 0 and DP is smooth, Lemma A.2 or [9] implies (2.21). Let h λ (x) = h(λx)/λ 2. It is easy to see that lim λ ˆ B 1 ( 2 ê v +h λ) = B 1.

13 MONGE-AMPÈRE EQUATION 13 Obviously α 1 our goal is to show that α = 1. If this is not the case we have α > 1. Then limsup( α+1 { ê 2 λ 2 v λ +h λ α+1 ˆ } B 1 lim ê 2 2 v λ +h λ = B 1. λ B 1 Thus { ê 2v λ +h λ α+1 2 } B 1 1 µ B 1 for µ = 1 2 (1 2 α+1 ) > 0. Here we emphasize that it is important to have µ > 0. Equivalently for large λ { 2 ê v λ +h λ α+1 2 } B 1 µ. B 1 Then we cite the following well known result: For v satisfying a ij ij v 0, λi (a ij(x)) ΛI and v 1 in B 1 and {v 1 ǫ} B 1 µ B 1, then v 1 c(n,λ,λ,ǫ,µ) over B 1/2 (see Lemma 2.8 of [9] or Lemma 6.5 of [7]). It is easy to see that ã ij ij ( 2 ê v λ +h λ ) 0, in B 1. Applying this result to 2 ê v λ +h λ we have (2.22) 2 ê v λ +h λ α C, in B 1/2. Since 2 ê v λ is sub-harmonic, α = sup 2 ev +h = lim sup ( 2 ê v λ +h λ ) < α. R n λ B 1/2 Then we get a contradiction, (2.18) is established. Step four: The proof of the Liouville theorem for n 5. By a result of Li [32] there exists ξ C 2,α (R n ) such that { det(i +D 2 ξ) = f v,p, in R n, I +D 2 ξ > 0, ξ is a periodic function with the same period as that of f v,p. Let P(x) = 1 2 x 2 and By the periodicity of ξ we have The equation for w is w(x) = v(x) P(x) ξ(x). 2 e w C(1+ x ) β 1, x R n. ã ij ij w = E 3, in R n where ã ij is obtained from mean value theorem, uniformly elliptic and is divergence free. E 3 (x) C(1+ x ) β 2 in R n.

14 14 EDUARDO V. TEIXEIRA AND LEI ZHANG Using Green s function again we can eliminate the right hand side of the above by a small function h 2 : (2.23) ã ij ij h 2 = E 3, h 2 (x) C(1+ x ) β 1, in R n. Thus Our goal is to prove that ã ij ij (w h 2 ) = 0. (2.24) w h 2 C + a linear function, in R n. Here we assume that e 1,e 2,..e n E, otherwise we employ a linear transformation. Let w 1 = w (ax + b) where a R n,b R are chosen so that w 1 (Ne) = 0, for e = e 1,...,e n, and N = ±1. Foreache i wefindh ei suchthat 2 e i h ei = hontheaxise i (x = (0,..,x i,0,..0)). Since h(x) C(1+ x ) β 1 and β 1 > 2 (because n 5) we can find h ei to be bounded. The construction of h ei is as follows: Let a N = h(ne i ). Let h ei (Ne i ) = ( a k ), N = 1,...,. l=n+1 k=l Then it is easy to see that lim N h ei (N) = 0, where C is independent of N; and 0 h ei (Ne i ) C, N = 1,2,... 2 e i h ei (Ne i ) = h(ne i ), N = 1,2,... Note that we need n 5 here because otherwise there is a logarithmic term. Thus the function h ei is constructed at points Ne i for N = 1,... The construction of h ei on Ne i for N = 1,... is similar. Finally h ei (0) is determined by h ei ( e i ), h ei (e i ) and a 0. Thus on the axis e i 2 ei (w 1 +h ei ) 0, which leads to w 1 (Ne i )+h ei (Ne i ) 0, for all N = ±1,±2,±3,...,. Then by the bound on D 2 v we further obtain w 1 (x) C, for x = Ne 1,Ne 2,...,Ne n, N R. Next we let M i = sup w 1. B(0,i) Then we claim that M i 2M i/2 + C. This can be observed by taking e appropriately. Recall that there exists h 3 such that and ã ij ij ( 2 ew 1 +h 3 ) 0 h 3 (x) C(1+ x ) β 1, C is independent of e.

15 MONGE-AMPÈRE EQUATION 15 Let x 0 be where 2 e w 1 +h 3 attains its maximum on B i, clearly x 0 B i. Let e = x 0 2 i+a where a R n is chosen so that Then for i large which is a 1, f v,p (x+e) = f v,p (x), x R n. 2 ew 1 (x e) Ci β 1 (2.25) w 1 (x 0 ) 2w 1 (x 0 e) w(x 0 2e)+O(i 2 β 1 ). Since x 0 2e is in the neighborhood of 0, we have w 1 (x 0 2e) C. Thus w 1 (x 0 ) 2 max B(0,i/2) w 1 +C. The proof of Theorem 1.1 goes as follows. Let We have g i (y) = w 1 (iy)/m i. max B 1 g i 1, max B 1/2 g i 1 4, g i(0) 0, as i. On the other hand 1 g i is nonnegative in B 1 and the Harnack inequality guarantees that g i converges in C α norm to g in B 1. Also the Harnack inequality holds for 1 g. Moreover (2.25) and β 1 2 certainly lead to g is concave in B 1 because the perturbation term disappears as i. Let l be a linear function that touches g from above around 0 in B 1/2. This leads to a contradiction since on one hand g(xe i ) 0 for all i = 1,..,n and x < 1. On the other hand max B7/8 g 1 4, there is no way to have l g C in B 1. Theorem 1.1 is established for n 5. Step five: Proof of Theorem 1.1 for n = 4 The main difference in the proof for n = 4 is on the construction of h ei. For n = 4 we first use a linear function to make h ei (±e i ) = 0 and set h ei (Ne i ) = N l=2 k=l a k, N = 1,2,.. The definition for N = 1, 2,.. is similar. Then 0 h ei (Ne i ) Clog(2+N), n = 4. Other than this there is no essential difference with the case n 5. The same argument can still be employed to prove M i Clog(2+i) by way of contradiction. Supposethis is not the case, then M i /logi as i is large. Then the same Thus we have obtained w h 2 = O(log(2+ x ), in R 4.

16 16 EDUARDO V. TEIXEIRA AND LEI ZHANG Recall that w h 2 satisfies ã ij ij (w h 2 ) = 0, in R 4. The following lemma says w h 2 is a constant, which finishes the proof of Theorem 1.1 for n = 4. Lemma 2.1. Let u solve a ij iju = 0, in R n where λi (a ij (x)) ΛI for all x Rn and Then u constant. u(x) Clog(2+ x ), x R n. Proof of Lemma 2.1: For R > 1 let Then u R satisfies and By Krylov-Safonov s [31] estimate (2.26) u R (y) = u(ry)/r 2, y 1. a ij (Ry) iju R = 0, in B 1 u R (y) ClogR/R 2, in B 1. u R (y) u R (0) y α ClogR/R 2, y B 1/2 where α > 0 only depends on λ and Λ. Clearly (2.26) can be written as u(x) u(0) C x α /R α, x B R/2. Fix any x R n, we let R, then u(x) = u(0). Lemma 2.1 is established.. TheconclusionofTheorem1.1forn=4immediately follows fromlemma 2.1. Remark 2.4. For n = 3 the construction of h ei should be h ei (Ne i ) = (N 1)h ei (e i )+(N 2)h ei (0)+ N l 1 a k, N = 2,3,.. l=2 k=1 then h ei (Ne i ) CN logn. The construction for h( Ne i ) is similar. Then one can prove by the same argument that ( ) w h 2 = O (1+ x )log(2+ x ), in R 3.

17 MONGE-AMPÈRE EQUATION 17 References [1] A. D. Aleksandrov, Dirichlet s problem for the equation Det z ij = φ I, Vestnik Leningrad. Univ. Ser. Mat. Meh. Astr. 13 (1958), [2] I. J. Bakelman, Generalized solutions of Monge-Ampère equations (Russion). Dokl. Akad. Nauk SSSR (N. S. ) 114 (1957), [3] J. Bao, H. Li, On the exterior Dirichlet problem for the Monge-Ampère equation in dimension two, Nonlinear Anal. 75 (2012), no. 18, [4] J. Bao, H. Li, L. Zhang, Monge-Ampére equations on exterior domains, Cal. Var. PDE. in press, arxiv: 1304:2415 [5] L. A. Caffarelli, A localization property of viscosity solutions to the MongeAmpère equation and their strict convexity, Ann. of Math. 13 (1990) [6] L. A. Caffarelli, Interior W 2,p estimates for solutions of the MongeAmpère equation, Ann. of Math. 131 (1990) [7] L. A. Caffarelli, X. Cabre, Fully nonlinear elliptic equations. American Mathematical Society Colloquium Publications, 43. American Mathematical Society, Providence, RI, vi+104 pp. ISBN: [8] L.A.Caffarelli, Y.Y.Li, AnextensiontoatheoremofJörgens, Calabi, andpogorelov. Comm. Pure Appl. Math. 56 (2003), no. 5, [9] L. A. Caffarelli, Y. Y. Li, A Liouville theorem for solutions of the Monge-Ampère equation with periodic data. Ann. Inst. H. Poincar Anal. Non Linaire 21 (2004), no. 1, [10] L. A. Caffarelli, C. E. Gutirrez. Properties of the solutions of the linearized Monge- Ampre equation. Amer. J. Math. 119 (1997), no. 2, [11] L. A. Caffarelli, L. Nirenberg, J. Spruck, The Dirichlet problem for nonlinear secondorder elliptic equations. I. Monge-Ampère equation. Comm. Pure Appl. Math. 37 (1984), no. 3, [12] L. A. Caffarelli, J. Viaclovsky, On the regularity of solutions to Monge-Ampre equations on Hessian manifolds. Comm. Partial Differential Equations 26(2001), no , [13] E. Calabi, Improper affine hyperspheres of convex type and a generalization of a theorem by K. Jörgens. Michigan Math. J. 5 (1958) [14] S. Y. Cheng, S. T. Yau, On the regularity of the Monge-Ampère equation det( 2 u/ x i x j) = F(x,u). Comm. Pure Appl. Math. 30 (977), no. 1, [15] S. Y. Cheng, S. T. Yau, Complete affine hypersurfaces. I. The completeness of affine metrics. Comm. Pure Appl. Math. 39 (1986), no. 6, [16] K. S. Chou, X. Wang, Entire solutions of the Monge-Ampère equation. Comm. Pure Appl. Math. 49 (1996), no. 5, [17] P. Delanoë, Partial decay on simple manifolds. Ann. Global Anal. Geom. 10 (1992), no. 1, [18] G. De Philippis, A. Figalli, W 2,1 regularity for solutions of the Monge-Ampre equation. Invent. Math. 192 (2013), no. 1, [19] G. De Philippis, A. Figalli, O. Savin, A note on interior W2,1+e estimates for the Monge-Ampre equation. Math. Ann. 357 (2013), no. 1, [20] L, Ferrer, ; A. Martínez, ; F. Milán, The space of parabolic affine spheres with fixed compact boundary. Monatsh. Math. 130 (2000), no. 1, [21] L, Ferrer, ; A. Martínez, ; F. Milán, An extension of a theorem by K. Jörgens and a maximum principle at infinity for parabolic affine spheres. Math. Z. 230 (1999), no. 3, [22] D. Gilbarg; Neil S. Trudinger, Elliptic partial differential equations of second order. Reprint of the 1998 edition. Classics in Mathematics. Springer-Verlag, Berlin, xiv+517 pp. ISBN:

18 18 EDUARDO V. TEIXEIRA AND LEI ZHANG [23] Q. Huang, Sharp regularity results on second derivatives of solutions to the Monge- Ampre equation with VMO type data. Comm. Pure Appl. Math. 62 (2009), no. 5, [24] Ivochkina, N.M.: Construction of a priori estimates for convex solutions of the MongeAmpre equation by the integral method (Russian). Ukrain. Mat. Z. 30, 4553 (1978) [25] Ivochkina, N.M.: A priori estimate of u C 2,α (Ω) of convex solutions of the Dirichlet problem for the MongeAmpre equation. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. 96, 6979 (1980). [26] Ivochkina, N.M.: Classical solvability of the Dirichlet problem for the MongeAmpre equation (Russian). Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI) 131, 7279 (1983). [27] H. Jian, X. Wang, Continuity estimates for the Monge-Ampre equation. SIAM J. Math. Anal. 39 (2007), no. 2, [28] K, Jörgens, Über die Lösungen der Differentialgleichung rt s2 = 1. Math. Ann. 127 (1954) [29] J. Jost and Y.L. Xin, Some aspects of the global geometry of entire space-like submanifolds. Results Math. 40 (2001), [30] N. V. Krylov, Boundedly inhomogeneous elliptic and parabolic equations in a domain. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 47 (1983), no. 1, [31]. N. V. Krylov, M. V. Safonov, An estimate for the probability of a diffusion process hitting a set of positive measure, Doklady Akademii Nauk SSSR 245 (1): 1820, ISSN [32] Y. Y. Li, Some existence results of fully nonlinear elliptic equations of MongeAmpre type, Comm. Pure Appl. Math. 43 (1990) [33] W. Littman, G. Stampacchia, H. F. Weinberger, Regular points for elliptic equations with discontinuous coefficients. Ann. Scuola Norm. Sup. Pisa (3) [34] L. Nirenberg, The Weyl and Minkowski problems in differential geometry in the large. Comm. Pure Appl. Math. 6 (1953), [35] A. V. Pogorelov, The regularity of the generalized solutions of the equation det( 2 u/ x i x j) = φ > 0, (Russian) Dokl. Akad. Nauk SSSR 200 (1971), [36] O. Savin, A Liouville theorem for solutions to the linearized Monge-Ampere equation. Discrete Contin. Dyn. Syst. 28 (2010), no. 3, [37] N. Trudinger, X. Wang, Boundary regularity for the Monge-Ampre and affine maximal surface equations. Ann. of Math. (2) 167 (2008), no. 3, [38] N. Trudinger, X. Wang, The Monge-Ampre equation and its geometric applications. Handbook of geometric analysis. No. 1, , Adv. Lect. Math. (ALM), 7, Int. Press, Somerville, MA, [39] J. Urbas, Regularity of generalized solutions of Monge-Ampère equations. Math. Z. 197 (1988), no. 3, Universidade Federal do Ceará, Departamento de Matemática, Av. Humberto Monte, s/n, Campus do Pici - Bloco 914, Fortaleza-CE, Brazil. CEP address: teixeira@mat.ufc.br Department of Mathematics, University of Florida, 358 Little Hall P.O.Box , Gainesville FL address: leizhang@ufl.edu