arxiv: v1 [math.dg] 12 Mar 2018

Transcription

1 arxiv: v [math.dg] 2 Mar 208 (.) (.2) THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION WEIMING SHEN Abstract. In this paper, we study the properties of the first global term in the polyhomogeneous expansions for Liouville s equation. We obtain rigidity and gap results for the boundary integral of the global coefficient. We prove that such a boundary integral is always nonpositive, and is zero if and only if the underlying domain is a disc. More generally, we prove some gap theorems relating such a boundary integral to the number of components of the boundary. The conformal structure plays an essential role.. Introduction Assume Ω 2 is a domain. We consider the following problem: u = e 2u in Ω, u = on Ω. Theequation (.) is knownas Liouville s equation. Geometrically, e 2u (dx dx+dy dy) is acomplete metric withconstant Gauss curvature on Ω. For alarge class of domains Ω, (.) and (.2) admit a solution u C (Ω). The higher dimensional counterpart is the singular Yamabe problem. For a given (Ω, g), an n-dimensional smooth compact iemannian manifold with boundary, with n 3, we consider (.3) (.4) g u n 2 4(n ) S gu = 4 n(n 2)un+2 n 2 in Ω, u = on Ω, wheres g is thescalar curvatureofω. Then, u 4 n 2 g isthecomplete metricwithaconstant scalar curvature n(n ) on Ω. According to Loewner and Nirenberg [2] for domains in the Euclidean space and Aviles and McOwen [2] for the general case, (.3)-(.4) admits a unique positive solution. There are many works concerning the boundary behaviors of (.)-(.2) and (.3)- (.4). Loewner and Nirenberg [2] studied asymptotic behaviors of solutions of (.3) and (.4) for domains in Euclidean space and proved an estimate involving leading terms. Kichenassamy [6, 7] expanded further under the assumption that Ω has a C 2,α -boundary by establishing Schauder estimates for degenerate elliptic equations of Fuchsian type. When Ω has a smooth boundary, Andersson, Chruściel and Friedrich [] The author acknowledges the support of NSFC Grant 5709.

2 2 WEIMING SHEN and Mazzeo [22] established an estimate up to an arbitrary finite order. In fact, they proved that solutions of (.3) and (.4) are polyhomogeneous. In [0], Graham studied the volume renormalization for singular Yamabe metrics and characterized the coefficient of the first logarithmic term in the polyhomogeneous expansion for the conformal factor of singular Yamabe metric by a variation of the coefficient of the first logarithmic term in the volume expansion. When the boundary is singular, Han and the author [2, 3] studied the asymptotic behaviors of solutions of (.)-(.2) and (.3)-(.4) for domains in the Euclidean space, and proved that these solutions are well approximated by the corresponding solutions in tangent cones near singular points on the boundary. Other geometric problems with a similar feature include complete Kähler-Einstein metrics discussed by Cheng and Yau [7], Lee and Melrose [8], the complete minimal graphs in the hyperbolic space by Han and Jiang [] and Lin [20], complete conformal metrics of negative icci curvature by Gursky, Streets, and Warren [8], and hyperbolic affine spheres by Jian and Wang [5]. In this paper, we study the properties of the global term in the polyhomogeneous expansions for Liouville s equation. In certain cases, we can obtain geometric and topological properties of the underlying domain from its integral. In particular, we obtain some rigidity and gap results for the boundary integral of the global coefficient. Let Ω be a bounded domain in 2 and u C 2 (Ω) be a solution of (.)-(.2). Set Then, v satisfies v = e u. (.5) (.6) v v = v 2 in Ω, v = 0 on Ω. Suppose Ω is a bounded C 3,α domain, then near Ω, v has an expansion given by (.7) v(x) = d(x) 2 κ(y)d2 (x)+c 3 (y)d 3 (x)+o(d 3+α (x)), where d(x) is the distance from x to Ω and κ(y) is the curvature of Ω at y Ω with y x = d(x). In particular, v = on Ω. Hence, v is a defining function on Ω. In this sense, v is a function more natural to study than u. We will formulate our main results for v instead of u. We note that c 3 in (.7) is the coefficient of the first global term which has no explicit expressions in terms of local geometry of Ω and it is not conformally invariant. Moreover, if Ω is smooth, then, v can be expanded to an arbitrary finite order term: v = d 2 κd2 +c 3 d 3 +c 4 d The coefficients of d i for i 4 can be expressed in terms of c 3 and the curvature of Ω. Our first result is the following theorem. Theorem.. Let Ω be a bounded C 3,α domain in 2, for some α (0,), and Ω = k i= σ i, where σ i is a simple closed C 3,α curve, i =,...,k. Let v be the solution of

3 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 3 (.5)-(.6) in Ω and c 3 be the coefficient of the first global term for v. Then, for any i, σ i c 3 dl 0. Moreover, if for some i, then, k = and Ω is a bounded disc. σ i c 3 dl = 0, We now discuss whether we can obtain more information from σ i c 3 dl. To this end, we consider the normalized integrals σ i dl σ i c 3 dl and Ω dl Ω c 3dl, which are invariant under rescaling. We note that, for bounded convex domains, σ i dl σ i c 3 dl can be arbitrarily large. (See Example 4..) Next, we demonstrate that, in a multiply connected domain, σ i dl σ i c 3 dl indeed has a uniformly negative upper bound. We have the following gap theorem. Theorem.2. Let Ω be a k-connected bounded C 3,α domain in 2, for α (0,) and k 2, and Ω = k i= σ i, where σ i is a simple closed C 3,α curve, i =,...,k. Let v be the solution of (.5)-(.6) in Ω and c 3 be the coefficient of the first global term for v. Then, for each i, (.8) dl c 3 dl < σ i σi 2π2 We point out that σ i dl σ i c 3 dl is not conformally invariant and that the upper bound 2π 2 /3 in the right-hand side of (.8) is optimal in multiply connected domains. See Example 4.4. As consequences, we have the following rigidity results. Theorem.3. Let Ω be a bounded C 3,α domain in 2, for some α (0,), and Ω = k i= σ i, where σ i is a simple closed C 3,α curve, i =,...,k. Let v be the solution of (.5)-(.6) in Ω and c 3 be the coefficient of the first global term for v. Suppose that there exists some i such that dl c 3 dl σ i σi 2π2 Then, k = and Ω is a simply connected domain. Theorem.4. Let Ω be a bounded k-connected C 3,α domain in 2, for α (0,) and k. Let v be the solution of (.5)-(.6) in Ω and c 3 be the coefficient of the first global term for v. Suppose that there exists a positive integer l 2 such that Then, k < l. 3 2π 2 Ω dl Ω c 3 dl l 2.

4 4 WEIMING SHEN One of the widely studied global quantities in conformal geometry is the renormalized volume for the conformally compact Einstein metrics [9], and also for the singular Yamabe metrics [0]. The renormalized volume is conformally invariant for the conformally compact Einstein metrics, but in general is not conformally invariant for the singular Yamabe metrics. When M is a 4 dimensional conformally compact Einstein manifold, the renormalized volume for M can be expressed as a linear combination of the integral of the L 2 -norm of Weyl tensor and the Euler number of M. elying on the conformal compactification, simple doubling and the work of Chang, Gursky and Yang [3, 4] on a closed 4-manifold with positive scalar curvature and large integral of σ 2 relating to the Euler number, Chang, Qing and Yang [5] obtained some topological information from the renormalized volume of 4 dimensional conformally compact Einstein manifold. ecently, using blowup methods, Li, Qing and Shi [9] obtained a gap theorem for a class of 4 dimensional conformally compact Einstein manifolds with very large renormalized volumes under the condition that the first nonlocal term in the expansions of the metric near boundary is 0. This improves the work of Chang, Qing and Yang in [6]. With this gap theorem, Li, Qing and Shi [9] obtained the rigidity of hyperbolic space. In our case, the normalized integral of the coefficient of the first global term is not conformally invariant, which causes major difficulties. Our strategy is to connect directly the boundary integral of the coefficient of the firstglobal term with a domain integral of a combination of lower order derivatives of v. Then, based on a combination of conformal transforms and the maximum principle, we can compare the integral of the coefficient of the first global term for the solution in the underlying domain with the corresponding integral in certain model domains. The paper is organized as follows. In Section 2, we provide solutions of (.)-(.2) in some model domains and derive an important formula for the integral of the coefficient of the first global term. In Section 3, we study the sign of such an integral on each boundary curve and prove Theorem.. In Section 4, we study such an integral in multiply connected domains and prove Theorem.2. The author would like to thank Qing Han for introducing the problem studied in this paper and for his persistent encouragement. The author would also like to thank Jie Qing and Gang Tian for helpful discussions. 2. Important Solutions and Formulas In this section, we will derive solutions of (.)-(.2) in some model domains and derive an important formula for the boundary integral of the first global term for v. Throughout this paper, we will adopt notations from complex analysis and denote by z = (x,y) points in the plane. First, we collect two well-known results concerning solutions of (.)-(.2). Let Ω and Ω 2 be two bounded domains in 2 and let u and u 2 be the solutions of (.)-(.2) in Ω and Ω 2, respectively. If Ω Ω 2, by the maximum principle, we have u u 2 in Ω. Hence, (2.) v = e u e u 2 = v 2 in Ω.

5 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 5 Suppose σ is a closed simple C 3,α curve, σ Ω Ω2. Let c 3 and c2 3 be the corresponding first global terms for v and v 2 on σ, respectively. By (2.), we have (2.2) c 3 c2 3 on σ. Next, let Ω and Ω 2 betwo boundeddomains in 2. Supposev 2 C 2 (Ω 2 ) is a solution of (.5)-(.6) in Ω 2 and w = x +iy = f(z) is a one-to-one holomorphic function from Ω onto Ω 2. Then, (2.3) v (z) = v 2(f(z)) f z (z) isasolutionof (.5)inΩ. Infact, wefirstnotethatg 2 = v2 2 (dx dx+dy dy)isametric with constant Gauss curvature on Ω 2 and the Gauss curvatureof the pull-back metric remainsthesameundertheconformalmapping. Then,g = f g 2 = v 2 (dx dx+dy dy) is a metric with constant Gauss curvature on Ω. Hence, v solves (.5). We now give some important solutions of (.5)-(.6). Example 2.. Consider Ω = B (0), for some > 0. Denote by v the corresponding solution of (.5)-(.6). Then, (2.4) v (z) = With d(z) =, we have v = d d2 2. Example 2.2. Consider Ω = 2 \B (0) and let (2.5) v (z) = Then, v is a solution of (.5)-(.6) for Ω. With d(z) =, we have v = d+ d2 2. Example 2.3. Consider Ω = B (0)\B (0), for some (0,). Let v, be the solution of (.5)-(.6) in Ω. Set v, = h and = e t. Then, h = h(t) satisfies (2.6) (2.7) In fact, h is given by hh tt = h 2 t in ( ln,ln ), h(ln ) = h( ln ) = 0. h = 2 π ln cos πt 2ln.

6 6 WEIMING SHEN Therefore, the solution of (.5)-(.6) for Ω = B (0)\B (0) is given by v, Near B (0), d(z) = and v, = d+ 2 d2 + Near B (0), d(z) = and v, = d 2 d2 + = 2 π ln ln sin 2 π ln. ( ) 6 2 6( 2 π ln d 3 +O(d 4 ). )2 ( ) 6( 2 π ln d 3 +O(d 4 ). )2 Example 2.4. Consider Ω = B (0)\B (0), for some (0,). By a rescaling in Example 2.3, the solution of (.5)-(.6) for Ω = B (0)\B (0) is given by v, = π ln ln sin π ln. Let 0, v, ln, which is a solution of (.5)-(.6) for Ω = B (0)\{0}. Example 2.5. Consider Ω = B (0)\{z 0 } for some z 0 B (0). Note that z+z 0 z 0 z is a holomorphic automorphism of B (0). Then, v,z0 = z z 0 ln z +z 0 z 0 z. is a solution of (.5)-(.6) for Ω = B (0)\{z 0 }. Example 2.6. Consider Ω = B (0)\B (0), for some (0,). By a rescaling in Example 2.3, the solution of (.5)-(.6) for Ω = B (0)\B (0) is given by v, = π ln ln sin π ln. Letting 0, v, v, := ln, which is a solution of (.5)-(.6) for Ω = 2 \ B (0). ecall that v (z) = 2 (2 ) is also a solution of (.5)-(.6) for Ω = 2 \B (0), as in (2.5) for =. These are two different solutions of (.5)-(.6) for Ω = 2 \B (0). We note that v ( z )2 is a solution of (.5)-(.6) in B (0), but v, ( z )2 is a solution of (.5)-(.6) in Ω = B (0)\{0}. Let Ω be a bounded C 3,α domain in 2, for some α (0,). Let v be the solution of (.5)-(.6) in Ω and c 3 be the coefficient of the first global term for v. Then, v has the following expansion: (2.8) v = d 2 κ Ωd 2 +c 3 d 3 +O(d 3+α ). We now derive an important formula for the boundary integral of c

7 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 7 Lemma 2.7. Let Ω 2 be a bounded C 3,α domain and let v be the solution of (.5)- (.6) in Ω. Let c 3 be the the coefficient of the first global term for v. Then, Ω c 3 dl = Ω Proof. We follow [2]. By (2.8), we have (v xx v yy ) 2 +4vxy 2 dx dy. 6v v = 2κ+6c 3 d+o(d). By applying the Laplacian operator to (.5), we get Therefore, Ω c 3 dl = 6 = ( v) = v (2 2 v 2 ( v) 2 ) = (v xx v yy ) 2 +4vxy 2. v = Ω Ω Ω d ( v)dl = 6 Ω n ( v)dl = Ω 6 ( v)dx dy 6v (2 2 v 2 ( v) 2 )dx dy (v xx v yy ) 2 +4vxy 2 dx dy, 6v where n is the unit outer normal vector of Ω. Let Ω and Ω 2 be two bounded C 3,α domains in 2, for some α (0,), and v and v 2 be the solutions of (.5)-(.6) in Ω and Ω 2, respectively. Let c 3 be the coefficient of the first global term for v 2. Suppose w = x + iy = f(z) is a one-to-one holomorphic function from Ω onto Ω 2. Then, v 2 (w) = v (z) f z (z), (2.9) w v 2 = z v f z fz + 2 v f z f z 2 wv 2 = 2 zv f z f z f z f zz, f z + 2 v f z f 2 z f z f zzz 3 4 v f z f 3 z f z f 2 zz = 2 z v f z f z f z + 2 v f z f z f z S(f), where (2.0) S(f) = f zzz f z 3 2 (f zz f z ) 2.

8 8 WEIMING SHEN This is the Schwarzian derivative of f. By Lemma 2.7, we have 2 c 3 dl = Ω 2 Ω2 2 w v 2 2 ( w v 2 ) 2 dx dy 6v 2 (v v = 2x x 2y y )2 +4v2 2x y dx dy Ω 2 6v 2 = Ω2 4(v 2ww +v 2 w w ) 2 4(v 2ww v 2 w w ) 2 6v 2 i dw d w. 2 By (2.9), the above integral reduces [ ( 8 e v (z) f z (z) ) ] 2 [ ( ww +8 Im v (z) f z (z) ) 2 = ww] i f z (z) 2 dz d z Ω 3v (z) f z (z) 2 ( v (z) f z (z) ) 2 ww = f z (z) dx dy. 3v (z) Hence, (2.) Ω 8 c 3 dl = Ω 2 Ω 8 ( v (z) f z (z) ) 2 ww f z (z) dx dy. 3v (z) Corollary 2.8. Let Ω 2 be a simply connected bounded C 3,α domain and let v be the solution of (.5)-(.6) in Ω. Let c 3 be the coefficient of the first global term for v. Suppose w = f(z) is a one-to-one holomorphic function from B (0) to Ω. Then, ( 2 ) S(f) 2 c 3 dl = dx dy. 3 f z Ω B (0) where S(f) is the Schwarzian derivative of f given by (2.0). Proof. Note that 2 ( 2 ) is the solution of (.5)-(.6) in B (0) and ( 2 2 ) zz = 0. Then, by (2.), c 3 dl = ( 2 ) f z S(f) 2 dx dy. B (0) 3 Ω This is the desired result. 3. The igidity In this section, we study the sign of the integral of the coefficient of the first global term for v on each boundary curve. We will prove such an integral on each boundary curve is negative unless the underlying domain is a disc in 2. We first prove Theorem..

9 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 9 Proof of Theorem.. Without loss of generality, we assume σ is the boundary of the unbounded component of 2 \Ω. By Lemma 2.7, we have k (v xx v yy ) 2 +4vxy 2 c 3 dl = dx dy 0. i= σ i Ω 6v If k i= σ i c 3 dl = 0, we must have v xx = v yy, v xy = 0 in Ω. Then, v = a+b x+b 2 y+c(x 2 +y 2 ) for some constants a, b, c. Without loss of generality, we assume v takes its maximum at 0 Ω. Then, v = a+c(x 2 +y 2 ). Since Ω is bounded and v = 0 on σ Ω, we have a > 0, c < 0, and σ = B a c(0). In other words, σ encloses a disc in 2. Let Ω be the bounded domain enclosed by σ and Ω Ω. Let v be the corresponding solution of (.5)-(.6) in Ω and c 3 be the coefficient of the first global term for v. A similar argument yields σ c 3 dl 0, and σ c 3 dl = 0 if and only if Ω is a bounded disc. By the maximum principle, we have v v. Therefore, we have c 3 c 3 on σ and hence, c 3 dl 0. σ If σ c 3 dl < 0, then σ c 3 dl < 0. If σ c 3 dl = 0, then Ω is a disc. Without loss of generality, we can assume Ω = B (0). If Ω Ω, we can find some point z 0 B (0) with z 0 Ω c. Set v z0 = z z 0 ln z +z 0 z 0 z. Then, v z0 is a solution of (.5)-(.6) in B (0)\{z 0 }. Let c z 0 3 be the coefficient of the first global term for v z0. Then, by the maximum principle, we have σ c 3 dl c z 0 3 σ dl < 0. Therefore, in both cases, we have σ c 3 dl 0, and the equality holds if and only if Ω is a disc. Now we consider i 2. Let Ω i be the bounded domain enclosed by σ i and set Ω i = 2 \Ω i. Fix a point z 0 Ω i. Consider the curve σ i = {z z 0 + z z 0 z z 0 2 σ i}. Let Ω i be the bounded domain enclosed by σ i and ṽ i be the solution of (.5)-(.6) in Ω i. Set v i = [ ṽ i (z 0 + z z 0 z z 0 2)] z z 0 2.

10 0 WEIMING SHEN Then, v i is a positive solution of (.5) for Ω i and v i = 0 on σ i. Let ĉ3 i be the coefficient of the first global term for v i. Then, ĉ3dl i σ i 6 x = r ( v i)dl ( v ixx v iyy ) = B(0)\Ωi 2 +4( v ixy ) 2 dx dy 0. 6 v i By a direct computation, we have Letting, we get σ i ĉ i 3 dl = lim x = r ( v i)dl = 0. Ωi ( v ixx v iyy ) 2 +4( v ixy ) 2 6 v i dx dy 0. If σ i ĉ3 i dl < 0, by the maximum principle, we have c 3 dl ĉ3 i dl < 0. σ i σ i If σ i ĉ i 3 dl = 0, then v i = a+2b x+2b 2 y +2c(x 2 +y 2 ). Since v i > 0 for large and v i = 0 on σ i, we have b 2 c + b2 2 a > 0, c > 0, c and ( σ i = B b b2 +b2 2 ac c, b 2). c c 2 Without loss of generality, we assume σ i = B (0). Take sufficiently large such that Ω B (0)\B (0). Let v be the solution of (.5)-(.6) in B (0)\B (0) and c 3 be the corresponding first global term for v. By the maximum principle, we have c 3 dl c 3 dl < 0. σ i σ i In summary, for i 2, we conclude σ i c 3 dl < Gap Theorems In this section, we study the integral of the coefficient of the first global term for v in multiply connected domains. We will prove the normalized integral of the coefficient of the first global term for v in multiply connected domains has a negative upper bound on each boundary curve. Let Ω be a bounded smooth domain in 2. Set kω = {x x k Ω}. Let v be the solution of (.5)-(.6) for Ω and let c 3 be the coefficient of the first global term for

11 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION v. Then, v k = kv( x k ) is the corresponding solution of (.5)-(.6) for Ω = kω. Set kσ i = {x x k σ i}. For v k, near (kω), we have the following expansion: (4.) v k = d 2 κ (kω)d 2 +c kω 3 d 3 +o(d 3 ). Then, (4.2) c kω 3 = c 3 k 2. Hence, σ i dl σ i c 3 dl is invariant under rescaling. By Theorem., we always have dl c 3 dl 0. σ i σ i The following example shows that in certain bounded convex domains, σ i dl σ i c 3 dl may be arbitrarily large. Example 4.. For a fixed positive number L, let Ω = {(x,y) L < y < L}. Then, v = 2L πy π cos 2L is a solution of (.5)-(.6). For > 0 sufficiently large, let Ω Ω B 2 (0) be a bounded convex smooth domain coinciding with Ω in B. Let v be the solution of (.5)-(.6) in Ω. Then, v has the expansion: (4.3) v = d 2 κ Ω d 2 +c 3 d3 +o(d 3 ). We will prove, as, dl c 3 dl. Ω Ω In fact, a direct computation implies ln ( 2 ) ( + < 2 x 2 2L πy + cos 2L π cos πy 2L Then, by the maximum principle for the equation (.), we have ln ( 2L πy) cos lnv ln ( 2 ) + π 2L 2 x 2 Hence, 2L π πy cos 2L Then, it is easy to prove, for any m, (4.4) v 2L π Therefore, Ω dl c 3 dl Ω < Ω dl π 2L π x 2 v 2L π 2L cos πy 2L 2 2 x 2 ) 2 in Ω B (0). cos πy 2L in Ω B (0). πy cos 2L in Cm ([,] [ L 2, L ]) as. 2 [,] [ L2,L2] ( ( 2L π πy cos 2L ))2 2 2 ( 2L π 2( 2L πy π cos 2L ) in Ω B (0). cos πy 2L ) 2,

12 2 WEIMING SHEN as. The following result shows that, if Ω is a 2-connected domain, then the normalized integral of the coefficient of the first global term for v has a negative upper bound on each boundary curve. Theorem 4.2. Let Ω be a bounded 2-connected C 3,α domain in 2, for some α (0,), and Ω = σ σ 2, where σ and σ 2 are simple closed C 3,α curves. Let v be the solution of (.5)-(.6) in Ω and let c 3 be the coefficient of the first global term for v. Then, for i =,2, dl c 3 dl < σ i σi 2π2 Proof. Without loss of generality, we assume σ is the boundary of the unbounded component of 2 \Ω. Denote by Ω i the bounded domain enclosed by σ i, i =,2. Then, Ω and Ω 2 are simply connected domains and Ω 2 Ω. We first prove dl c 3 dl < σ σ 2π2 Up to a escaling, we can assume σ dl = 2π and we will prove c 3 dl < π σ Without loss of generality, we assume 0 Ω 2. Note that ln is a solution of (.5)-(.6) for B (0)\{0}. Let w = x +iy = f(z) be a one to one holomorphic map from B (0) on to Ω with f(0) = 0. Consider v + (f(z)) = ( ln ) fz (z), or v + (w) = ( f (w) ln ) fz f (f (w)). (w) Then, v + is a solution of (.5)-(.6) in Ω \{0}. Let c + 3 be the coefficient of the first global term for v + on σ. By a direct computation, we have ( rln ) 2 ( = lnr, r r r 2 rln ) = r r, and ( rln ) = r lnr 2, r ( r rln ) = lnr+ r r 2. Then, at r = e, we have ( rln ) = 0, r r ( r rln ) = 0. r

13 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 3 Let n be the unit outer normal vector field on {f( < e )}. Then, [ ( f(= e ) n wv + dw = f z r f z 2 z ln )] f z f z dz. = e For the integrand, we have on = /e, [ ( r f z 2 z ln )] f z = [ ( r f z z ln ) 2 r Hence, =e r f z + f zz 2 er f z f(= e ) n wv + dw = e ( ln ) r (e f zz 2 f z e ( f z + ln ) fzz 2 ] f z 3 S(f) 2 ) i dz d z 0, f z 2 where S(f) is the Schwarzian derivative of the holomorphic function defined by (2.0). Then, by a similar computation as in proving (2.), we have (4.5) c + 3 dl σ = = Ω \f(b e (0)) Ω \f(b e (0)) B (0)\B e (0) = B (0)\B e (0) = B (0)\B e (0) 2 2 w v+ 2 ( w v + ) 2 6v wv + 2 ( w v + ) 2 6v + dx dy 8 v + ww 2 i f z 2 3v + dz d z 2 ( ) 8 ln zz f z fz 8 ln z 2 4 f 2 z fz dx dy f(= e ) n v+ dw f z + 2 ln f z fz 3ln f z + 2 ln f z fz 3ln 2 f z S(f) f z dx dy 2 f z S(f) f z dx dy. For the numerator, by writing c 2 = c c and a straightforward computation, the above integral reduces to [ ln 6 3 f z ln S(f) 2 ln z 2 S(f)+z 2 ] S(f) f z 3 3 dx dy. f z B (0)\B e (0)

14 4 WEIMING SHEN By (2.0), we have Then, in polar coordinates, S(f) = 2 2 f z z 2 f z. z2 S(f)+z 2 S(f) = (z z2 2 f z z2 z 2) f z = [(z z2 z z )2 +2z z z z (z z + z ] z ) f z = ( 2 θ 2 + r2 2 r r Hence, for any r (0,], we have z2 S(f)+z 2 S(f) dz = r2 2 f z 2 Note =r Then, for any r [0,r], (4.6) Hence, =r 2π 0 f z (r,θ)dθ = r ) f z. =r ( ) = 4 S(f) 2 f z f z f z dz r r f z dx dy. 0. =r f z dz r =r f z dz. z2 S(f)+z 2 S(f) dz r2 r2 dz 2 f z 2 =r f z 2 =r f z dz = 0 Therefore, we have dl Note σ c + 3 B (0)\B e (0) B (0)\B e (0) f z (0) = 2π = ( ln 6 3 f z ln ln 6 3 f z dx dy f z dz 2π = S(f) 2 ) dx dy f z f z dz =, where the equality holds if and only if f z e iϕ for some constant ϕ; namely, f is a rotation. Since f z 0, we have, for any r [0,], (4.7) 2πr f z dz f z (0). =r

15 Then, σ c + 3 Therefore, we have (4.8) THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 5 dl B (0)\B e (0) π 3 e ln 6 3 f z dx dy = lnr r 3 f z (0) rdr = π 3 f z (0) π σ c + 3 dl π ( 2π e 0 ) lnr 6r 3 f z dθ rdr If σ c + 3 dl < π/3, then c 3 dl c + 3 dl < π σ σ If σ c + 3 dl = π/3, then σ = B (0) and Ω = B (0). Hence, for some ǫ > 0 sufficiently small, we have Ω B (0)\B ǫ (0). Let v ǫ be the solution of (.5)-(.6) in B (0)\B ǫ (0) and c ǫ 3 be the coefficient of the first global term for vǫ. Then, we have c 3 dl c ǫ 3dl < π σ σ Hence, in both cases, we have Therefore, σ dl σ c 3 dl < π σ c 3 dl < 2π2 We now prove dl c 3 dl < σ 2 σ2 2π2 Up to a rescaling, we assume σ 2 dl = 2π and proceed to prove c 3 dl < π σ 2 Set Ω 2 = 2 \Ω 2. Fix a point z 0 Ω 2, say z 0 = 0. Set Ω 2 = {z z Ω 2 }. Let f(z) be a one-to-one holomorphic function from B (0) onto Ω 2 with f(0) = 0. Then, w = x +iy = f(z) = f( z ) is a one-to-one holomorphic function from (B (0)) c onto Ω 2.

16 6 WEIMING SHEN or Note that v = ln is a solution of (.5)-(.6) in (B (0)) c. Set v (f(z)) = ( ln ) f z (z), v (w) = ( f (w) ln f (w) ) f z (f (w)). Then, v is a solution of (.5)-(.6) in Ω z. Let c 3 be the coefficient of the first global term for v on σ 2. Assume f = a z +a 2 z 2 +a 3 z 3 +O( 4 ) near 0. Then, f = a z + a 2 + a z 2 3 +O( ) = z a 2 a z 3 4 a 2 + ( a 2 2 a 3 a 3) a 2 z +O( 2) near. Let n be the unit outer normal vector field on {f( < < )}. By a direct computation, we have lim f(=) n wv dw [ ( = lim f z r f z 2 z ln )] f z f z dz Then, we have (4.9) c 3 dl σ 2 [ = lim + 8 = (B (0)) c = = (B (0)) c (B (0)) c In polar coordinates, = = lim O(ln ) = 0. 8 ( (ln) f z (z) ) 2 f ww z dx dy 3ln ] n wv dw ( ln ) zz f z fz f z + 2 ln f z fz 3ln B (0)\B (0) f(=) 8 ln z 2 4 f 2 z fz f z + 2 ln f z f z 3ln [ ln 6 3 f z ln S(f) 2 f z z2 S(f)+z 2 S(f) 2 f z = f z S(f) 2 f z dx dy 2 f z S(f) f z dx dy ln z 2 S(f)+z 2 S(f) 3 3 f z ( 2 θ 2 + r2 2 r ) r f z. ] dx dy.

17 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 7 Hence, for any r (, ), z2 S(f)+z 2 S(f) dz =r 2 f z = r2 [ 2 f z dz r r f z dx dy + =r Also for any r (, ), we have [ ] d dr r =r f z dz = [ r r f z dx dy + Note that is nondecreasing and F(r) = (4.0) lim r Then, we must have r f z dx dy + = [ 2πr =r r f z dx dy + r ] f z dz = f z (0), = = = f z dz dz 0. r f z ] r f z dz. ] r f z dz. Otherwise, there would exist r 0 and ǫ 0 > 0 such that F(r 0 ) > ǫ 0 > 0. Then, for r r 0, we have r =r f z dz r 0 =r 0 f z dz +ǫ 0ln r as r, r 0 which contradicts to (4.0). Therefore, we have, for any r (, ), z2 S(f)+z 2 S(f) dz 0. 2 f z Similarly, we have [ d dr r =r Hence, for any r (, ), =r ] f z dz = [ ] f z dx dy + r r = r f z dz 0. 2πr =r Then, we have, for any r (, ), 2π f z dz 2πr Moreover, (4.) = r =r f z dz f z dz =. 2π = =r f z dz = = [ dz 2πr f z dz ]. f z =r dz = 2π for any r (, ), f z

18 8 WEIMING SHEN if and only if f z = f z for any r (, ). This implies f z e iϕ for some constant ϕ. Then, we have c 3 dl ln σ 2 (B (0)) c 6 3 f z dx dy = π lnr 3 r 3 rdr = π If σ 2 c 3 dl < π/3, then we have c 3 dl c 3 dl < π σ 2 σ 2 6. ( 2π 0 ) lnr 6r 3 f z dθ rdr If σ 2 c 3 dl = π/3, then (4.) holds. Therefore, f = eiϕ z+b for some constants ϕ and b. Without loss of generality, we assume b = 0, then, f is a rotation, σ 2 = B (0) and Ω 2 = (B (0)) c. Then, for some > 0 sufficiently large, we have Ω B (0)\B (0). Let v be the solution of (.5)-(.6) in B (0)\B (0) and c 3 be the coefficient of the corresponding first global term for v. Then, we have c 3 dl c 3 dl < π σ 2 σ 2 Hence, in both cases, we have c 3 dl < π σ 2 Therefore, This completes the proof. σ 2 dl Now, we are ready to prove Theorem.2. σ2 c 3 dl < 2π2 Proof of Theorem.2. Without loss of generality, we assume σ is the boundary of the unbounded component of 2 \Ω. For each i 2, let Ω i be the bounded domain which is enclosed by σ and σ i. Then, Ω Ω i. Let v i be the solution of (.5)-(.6) in Ω i and c i 3 be the coefficient of the first global term for v i. Then, by the maximum principle, we have c 3 dl c i 3dl, σ σ and, for i = 2,...,k, c 3 dl c i 3dl. σ i σ i By Theorem 4.2, we have dl c 3 dl dl σ σ σ σ c i3dl < 2π2 3,

19 and, for i = 2,...,k, This finishes the proof. THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 9 dl c 3 dl dl σ i σ i σ i σi c i3dl < 2π2 Theorem.3 is a direct consequence of Theorem.2. We now prove Theorem.4. Proof of Theorem.4. Suppose Ω = k i= σ i, where σ i is a simple closed C 3,α curve, i =,...,k. Assume k 2. By Theorem.2, we have, for each i, Therefore, Therefore, if Ω we must have k < l. 2π 2 3 c 3 dl < σ i σ i dl. ( k )( k 2π 2 ) dl c 3 dl < dl 3 2k2 π 2. Ω σ i σ i dl 3 i= i= 3 2π 2 dl c 3 dl l 2, Ω Ω To end this section, we point out that the upper bound 2π 2 /3 is optimal for 2- connected domains. Example 4.3. Set Ω = B / (0)\B (0), for an arbitrary (0,). Then, the solution of (.5)-(.6) in Ω is given by v = 2 π ln ln sin 2 π ln. Let c 3 be the coefficient of the first global term for v. Then, 2π c 3 dl = 2π c 3 dl = 2π2 B (0) B / (0) 3 2π 2 3( 2 π ln 2π2 )2 as 0. In the next example, we will show that the upper bound 2π 2 /3 of the normalized integral σ i dl σ i c 3 dl is also optimal in general multiply connected domains. Example 4.4. Let {p,,p k } be a collection of finitely many points in 2, with k, and set Ω = B (0)\ k i= B r(p i ), where is sufficiently large and r is sufficiently small. Let v be the solutions of (.5)-(.6) in Ω and c 3 be the coefficient of the first global term for v. Then, for a fixed small number ǫ, by comparing v with the solution of (.5)-(.6) in B ǫ (p i )\B r (p i ) and with the solution in B (0)\B /ǫ (0), respectively, we have 2π c 3 dl 2π2 3, B (0)

20 20 WEIMING SHEN and, for i =,..,k, as and r 0. 2πr c 3 dl 2π2 B r(p i ) 3, eferences [] L. Andersson, P. Chruściel, H. Friedrich, On the regularity of solutions to the Yamabe equation and the existence of smooth hyperboloidal initial data for Einstein field equations, Comm. Math. Phys., 49(992), [2] P. Aviles,. C. McOwen, Complete conformal metrics with negative scalar curvature in compact iemannian manifolds, Duke Math. J., 56(988), [3] S-Y. A. Chang, M. Gursky, P, Yang, An equation of Monge-Ampre type in conformal geometry, and four-manifolds of positive icci curvature, Ann. of Math. (2) 55(2002), no. 3, [4] S-Y. A. Chang, M. Gursky, P, Yang, A conformally invariant sphere theorem in four dimensions, Publ. Math. Inst. Hautes tudes Sci. No. 98(2003), [5] S-Y. A. Chang, J. Qing, P, Yang, On the topology of conformally compact Einstein 4-manifolds, Noncompact problems at the intersection of geometry, analysis, and topology, 49-6, Contemp. Math., 350, Amer. Math. Soc., Providence, I, [6] S-Y. A. Chang, J. Qing, P. Yang, On a conformal gap and finiteness theorem for a class of fourmanifolds, Geom. Funct. Anal., 7(2007), [7] S.-Y. Cheng, S.-T. Yau, On the existence of a complete Kähler metric on non-compact complex manifolds and the regularity of Fefferman equation, Comm. Pure Appl. Math., 33(980), [8] M. Gursky, J. Streets, M. Warren, Existence of complete conformal metrics of negative icci curvature on manifolds with boundary, Cal. Var. & PDE, 4(20) [9] C.. Graham, Volume and Area enormalizations for Conformally Compact Einstein Metrics, Proc. of 9th Winter School in Geometry and Physics, Srni, Czech ep., Jan. 999, end.circ.mat.palermo Suppl, 999 (63) :3-42 [0] C.. Graham, Volume renormalization for singular Yamabe metrics, Proc. Amer. Math. Soc. 45 (207), no. 4, [] Q. Han, X. Jiang, Boundary expansions for minimal graphs in the hyperbolic space, preprint, 205. [2] Q. Han, W. Shen, Boundary Behaviors for Liouville s Equation in planar singular domains, J. Funct. Anal.,274 (208) [3] Q. Han, W. Shen, The Loewner-Nirenberg problem in singular domains, arxiv:5.046v. [4] Q. Han, W. Shen, On the negativity of icci curvatures of complete conformal metrics, arxiv v2, 207. [5] H. Jian, X.-J. Wang, Bernstein theorem and regularity for a class of Monge-Ampère equations, J. Diff. Geom., 93(203), [6] S. Kichenassamy, Boundary blow-up and degenerate equations, J. Funct. Anal., 25(2004), [7] S. Kichenassamy, Boundary behavior in the Loewner-Nirenberg problem, J. Funct. Anal., 222(2005), [8] J. Lee,. Melrose, Boundary behavior of the complex Monge-Ampère equation, Acta Math., 48(982), [9] G. Li, J. Qing, Y. Shi, Gap phenomena and curvature estimates for conformally compact Einstein manifolds, Trans. Amer. Math. Soc. 369 (207), no. 6, [20] F.-H. Lin, On the Dirichlet problem for minimal graphs in hyperbolic space, Invent. Math., 96(989), [2] C. Loewner, L. Nirenberg, Partial differential equations invariant under conformal or projective transformations, Contributions to Analysis, , Academic Press, New York, 974.

21 THE IGIDITY AND GAP THEOEM FO LIOUVILLE S EQUATION 2 [22]. Mazzeo, egularity for the singular Yamabe problem, Indiana Univ. Math. Journal, 40(99), Beijing International Center for Mathematical esearch, Peking University, Beijing, 0087, China address: wmshen@pku.edu.cn