arxiv: v1 [math.ap] 11 Mar 2013

Transcription

1 A LIOUVILLE THEOREM FOR THE COMPLEX MONGE-AMPÈRE EQUATION YU WANG arxiv: v [math.ap] Mar 03 Abstract. In this note, we derive a Liouville theorem for the complex Monge- Ampère equation from the small perturbation result of O. Savin [4]. Let dx stands for the standard Lebesgue measure, our result states that if a plurisubharmonic function u solves ) n i u = dx, on C n and u satisfies the growth condition u = x +o x ), as x, then u differs from x / by a linear function.. Introduction In this note, we consider the global solutions of the complex Monge-Ampère equation. Denote the Lebesgue measure by dx, our result states: Theorem.. If the plurisubharmonic function u is a viscosity solution of ) n.) i u = dx, on C n and u satisfies the growth condition.) u = x +o x ), as x, then.3) u = x +lx) where lx) is a linear function. By a linear change of coordinates, one can replace x / by every quadratic polynomial P such that i P ) n = dx. We have stated the theorem in terms of viscosity solutions for our convenience. It is also valid for pluripotential solutions, as viscosity and pluripotential solutions are equivalent see [, 5]).

2 YU WANG Unlike the real Monge-Ampère equation, global solutions of.) cannot be classified without any restriction on solution s growth at infinity. Consider the following example due to Blocki []: the function u = z + w ) satisfies.) on C in viscosity sense. However u is clearly not the pull back of a quadratic polynomial by a holomorphic mapping. In fact, u is not even C at the points {z,w) : z = 0}. We also notice that, along the diagonal direction z = w ux) x 3, as x = z,w). A disadvantage of Theorem. and our proof) is that we have not been able to handle the case u x / has exactly quadratic growth, i.e., x C u x / C x, C >. The author believe that u is a quadratic polynomial in this case. The study of the complex Monge-Ampère equation is largely motivated by the study of Kähler geometry. From the geometric point of view, our theorem implies the following rigidity statement. Corollary.. Suppose that g is a Ricci-flat Kähler metric on C n. Let ϕ be its Kähler potential and µ g be the induced measure. Denote B the Lebesgue measure of the unit ball. If µ g is comparable with Lebesgue measure, i.e., C dx µ g Cdx and ) /n µg B ) x.4) ϕ = B +o x ) as x, then B µ gb )) /ng is the Euclidean metric. The above statement would be more satisfactory if one can replace the analytic condition.4) by a pure geometric condition. To end the introduction, we would like to mention that if one replace the condition.) in Theorem. by.5) u = x +O) then the conclusion can be derived from an unpublished result of Kolodziej [3]. This reference is pointed out to the author by S. Dinew. The method in this paper is independent from the work of Kolodziej.

3 A LIOUVILLE THEOREM FOR THE COMPLEX MONGE-AMPÈRE EQUATION 3 Acknowledgement. The author is grateful to his thesis advisor Professor Duong Hong Phong for his inspirational discussions and helpful suggestions. The author also would like to thank Professor Ovidiu Savin, from whom the author have learned many important PDE techniques. The author also would like to thank Professor Valentino Tosatti and Professor Slawomir Dinew for many important discussions.. Preliminaries In this section, we recall some basic facts regarding the complex Monge-Ampère operator and the statement of Savin s small perturbation theorem... Complex Monge-Ampère equation in real Hessian. Let Symn) be the space of n n symmetric matrices equipped with the standard spectral normal M = max{ λ i },λ i, eigenvalue of M Symn). Let Hermn) be the space of n n Hermitian matrices. Denote the n n identity matrix by I n. The space C n can be identify to R n equipped with the complex structure J = 0 In I n 0 This identification induces an embedding ı of Hermn) to Symn) ) A B ı : H = A+iB. B A Moreover, we have ). ıhermn)) = {M Symn) [M,J] = 0}. From now on, we shall identify a Hermitian matrix and its image under the embedding ı. Let ϕ be a C -function on C n. Recall that i ϕ ) n = detϕzi z k ) dx. Denote the real Hessian of ϕ by D ϕ. It is easy to see that ıϕ zi z k) = D ϕ+j T D ϕj ) and detϕ zi z k) = det / [ D ϕ+j T D ϕj )]. The above discussion immediately implies the following lemma

4 4 YU WANG Lemma.. Let the function F : Symn) R be given by { det /[.) FM) := M +J T MJ ) +I ] M +J T MJ I otherwise. If u is a viscosity solution of.), then is a viscosity solution of w := u x / FD w) = 0, on R n. Proof. LetP beaquadraticpolynomialthattouchesw fromabove, thenp+ x / touches u from above. Since u is a plurisubharmonic function, D P +J T D PJ ) I Since u is a viscosity subsolution of.), [ det /n D ϕ+j T D ϕj ) ] ) +I = det P + x. Therefore, we conclude that w is a viscosity subsolution of FD w) = 0. Let P be a quadratic polynomial that touches w from below. It suffices to consider the case D P +J T D PJ ) > I. Since otherwise, FD P) = < 0. Again P + x / touches u from below. By the fact that u is also a viscosity supersolution of.), we have [ det /n D ϕ+j T D ϕj ) ] ) +I = det P + x. In turn FD P) 0 and w is a viscosity supersolution of FD w) = 0... Small perturbation theorem. We recall the small perturbation theorem due to Savin [4]. The following definition will be convenient. Definition.. Givenconstantsδ,θ,K > 0, thefamilyf δ,θ,k consistsoffunctions F : Symn) R that satisfy the following conditions: H: For every M Symn) H: F0) = 0. H3: For every M with M δ FM +P) FM), P 0. θ P FM +P) FM) θ P, P 0, P δ. z i z k z i z k

5 A LIOUVILLE THEOREM FOR THE COMPLEX MONGE-AMPÈRE EQUATION 5 H4: F is twice differentiable in the set {M M δ} and D FM) K. We state the following version of the small perturbation theorem. Theorem.3 Savin, 007). Given constant δ > 0, if.) F F δ,θ,k, for some θ,k > 0, then there exist constant µ only depending on n,δ,θ,k such that, if u CB ) is a viscosity solution of FD u) = and.3) u L B ) µ, then u is C B / ) and.4) D u L B / ) δ. We end this section with the following lemma. Lemma.4. Let F be the function on Symn) given by.). There exists constants θ,k only depends on n such that F F δ,θ,k δ < /3. Proof. The fact that F satisfies H and H of Definition. follows immediately from its expression. Let D ij F be the differentiation of F with respect to the ij-entry of a matrix variable. By direct calculation, we have ) [ D ij FM) = D ij det / M +J T MJ ) ] +I D ij,kl F ) [ = Dijkldet / M +J T MJ ) ] +I. The fact that F satisfies H3 and H4 then follows from M +J t MJ M and D ij det / N), D / ij,kl det/ N) Cn), N, 3 I N 3I.

6 6 YU WANG 3. Proof of the main statements The Theorem. follows from Theorem.3 via a simple scaling argument. Proof of Theorem.. By a translation of coordinate, it suffices to show that u is C and D u0) = I. Consider the function 3.) w R x) := R urx) x Claim: 3.) w R L B ) or ) R Consider the domain B, both urx)/r and x / satisfies i ϕ ) n = dx in B. By the comparison principle of the complex Monge-Ampère operator, we conclude that x x RuRx) RuRx) = u x / R. L B R ) L B ) L B ) The claim 3.) then follows from the assumption.). Now, let F be the operator given by.) and θ,k be the constants given by Lemma.4. For every δ 0,/3), let µ δ be the constant produced by Theorem.3 with respect to F δ,θ,k. By Lemma.4, F F δ,θ,k. It is easy to see that w R = R urx) Rx ) satisfies FD w) = 0 for any R > 0. Moreover, by the claim 3.), we can take R large so that w R L B ) µ δ. Therefore, we can apply Theorem.3 to conclude that w R is C in B / and D w R 0) δ. It follows then u is C in B R/ and D u0) I δ. The desired conclusion follows by letting δ tend to 0. Nest, we prove Corollary..

7 A LIOUVILLE THEOREM FOR THE COMPLEX MONGE-AMPÈRE EQUATION 7 Proof of Corollary.. Since g is Ricci flat, we have logdetϕ zi z k) = 0, on C n Since µ g is comparable with Lebesgue measure, we have C detϕ zi z k) C. Therefore, logdetϕ zi z k) is a bounded harmonic function onentire C n. Henceforth, logdetϕ zi z k) = constant. It follows then ϕ satisfies ) µ g B ) i ϕ = dx, on C n B Along with the assumption.4), we see ) /n B ϕ := ϕ µ g B ) satisfies the hypotheses of Theorem.. Therefore, we conclude that ϕ = x +lx). The desired conclusion follows. References [] Bocki, Z. On the regularity of the complex Monge-Ampère operator. Complex geometric analysis in Pohang997), Contemp. Math.,, Amer. Math. Soc., Providence, RI, 999. [] Eyssidieux, P.; Guedj, V.; Zeriahi, A. Viscosity solutions to degenerate complex Monge- Ampère equations. Comm. Pure Appl. Math. 64 0), no. 8, [3] Kolodziej, S. Existence and regularity of global solutions to the complex Monge-Ampère equation, unpublished, avaiable on [4] Savin, O. Small perturbation solutions for elliptic equations. Comm. Partial Differential Equations, 3007), no.4-6, [5] Wang, Y. A viscosity approach to the Dirichlet problem for complex Monge-Ampère equations. Math. Z. 7 0), no. -, Department of Mathematics, Columbia University, Room 509, MC 4406, 990 Broadway, New York, NY 007, USA address: yuwang@math.columbia.edu