SOME ESTIMATES OF WANG-YAU QUASILOCAL ENERGY arxiv:0909.0880v1 [math.dg] 4 Sep 2009 PENGZI MIAO 1, LUEN-FAI TAM 2 AND NAQING XIE 3 Abstract. Given a spacelike 2-surface in a spacetime N and a constant future timelike unit vector in R 3,1, we derive upper and lower estimates of Wang-Yau quasilocal energy E(,X, ) for a given isometric embedding X of into a flat 3-slice in R 3,1. The quantity E(,X, ) itself depends on the choice of X, however the infimum of E(,X, ) over does not. In particular, when lies in a time symmetric 3-slice in N and has nonnegative Brown-York quasilocal mass m BY (), our estimates show that inf E(,X, ) equals m BY (). We also study the spatial limit of infe(s r,x r, ), where S r is a large coordinate sphere in a fixed end of an asymptotically flat initial data set (M,g,p) and X r is an isometric embeddings of S r into R 3 R 3,1. We show that if (M, g, p) has future timelike ADM energy-momentum, then lim inf E(S r,x r, ) equals the ADM mass of (M,g,p). 1. Introduction In [9, 10], Wang and Yau define a quasilocal energy E(,X, ) for a spacelike 2-surface in a spacetime N, where X is an isometric embedding of into the Minkowski spacetime R 3,1 and is a constant future timelike unit vector in R 3,1. Under the assumptions that the mean curvature vector H of in N and the mean curvature vector H 0 of when embedded in R 3,1 are both spacelike, E(,X, ) is defined and can be expressed as follows (see [11, (1.2),(1.5)]): 2000 Mathematics Subject Classification. Primary 53C20; Secondary 83C99. 1 Research partially supported by Australian Research Council Discovery Grant #DP0987650. 2 Research partially supported by Hong Kong RGC General Research Fund #GRF 2160357. 3 Research partially supported by the National Natural Science Foundation of China #10801036. 1
2 Pengzi Miao, Luen-Fai Tam and Naqing Xie E(,X, ) = 1 { H0 8π 2 (1+ τ 2 )+( τ) 2 H 2 (1+ τ 2 )+( τ) 2 [ ] τ sinh 1 τ τ ( 1+ τ 2 H 0 ) sinh 1 ( 1+ τ 2 H ) R3,1 τ J 0 H 0, H 0 H 0 + N τ } J H, H H dv. (1.1) Here H 0 = H 0,H 0, H = H,H, τ = X,, τ and τ are the intrinsic gradient and the intrinsic Laplacian of τ on ; J is the future timelike unit normal vector field along in N which is dual to H along the light cone in the normal bundle of. Namely, if e 1, e 2, e 3, e 4 are orthonormal tangent vectors of N such that e 1,e 2 are tangent to, e 3 is spacelike with e 3,H < 0 and e 4 is future timelike, then H = H,e 3 e 3 H,e 4 e 4 and J = H,e 4 e 3 H,e 3 e 4 ; J 0 is defined similarly for when embedded in R 3,1. Wang and Yau [9, 10] define a new quasilocal mass of in N, which we denote by m WY (), to be the infimum of E(,X, ) over those X and such that the resulting τ =,X is admissible (see [10, Definition 5.1] for the definition of admissible data). They prove an important propertyonpositivity ofm WY () under theassumption that N satisfies the usual dominant energy condition. Note that, if has positive Gaussian curvature, then τ = 0 is admissible [10, Remark 1.1]. Hence, m WY () E(,X, ˆ ) = m LY (), where X is an embedding of into R 3 = {(0,x) R 3,1 }, ˆ = (1,0,0,0), andm LY () is the Liu-Yau quasilocal mass of [5, 6]. Note that m LY () equals the Brown-York quasilocal mass m BY () [2, 3] if in addition bounds a compact timesymmetric hypersurface. The expression of E(,X, ) is rather complicated. It is not clear if m WY () can be achieved by some admissible data. In [11], restricting to an embedding X of into R 3 R 3,1, Wang and Yau study the spatial limit of E(,X, ) on an asymptotically flat spacelike hypersurface. Motivated by their work, we want to get some lower and upper estimates of E(,X, ) for a fixed 2-surface. More precisely, let us assume that has positive Gaussian curvature. Isometrically embed in R 3 = {(0,x) R 3,1 } and let X be the embedding. Let = ( 1+ a 2,a), where a = (a 1,a 2,a 3 ) R 3, be a constant future timelike unit vector in R 3,1. In this work, we will prove
the following estimates: Some estimates of Wang-Yau quasilocal energy 3 3 1+ a 2 (m ()+C) LY a i V i i=1 E(,X, ) 1+ a 2 m LY () 3 a i V i i=1 (1.2) where C is a constant dependingonly on H 0, H and their integrals on, and V = (V 1,V 2,V 3 ) is a constant vector in R 3 so that 3 i=1 ai V i equals N τ J, H dv H H in (1.1). Note that, if we let W = (m LY (),V), then 1+ a 2 m LY () 3 i=1 ai V i is exactly,w, and (1.2) can be written as:,w +C 1+ a 2 E(,X, ),W. (1.3) An immediate application of the estimates (1.2) is the following result relating the Wang-Yau quasilocal energy and the Brown-York quasilocal mass: With the above notations, suppose bounds a compact, time-symmetric hypersurface Ω in a spacetime N satisfying the dominant energy condition. Suppose has positive Gaussian curvature and has positive mean curvature in Ω with respect to the outward unit normal, then inf E(,X, ) = m BY (). Another application of (1.2) is in the study of the spatial limit of Wang-Yau quasilocal energy on an asymptotically flat spacelike hypersurface. Recall that a spacelike hypersurface M with induced metric g and second fundamental form p in a spacetime N is called asymptotically flat if there is a compact set K such that M\K has finitely many ends, each of which is diffeomorphic to the complement of a Euclidean ball in R 3 and such that the metric g is of the form g ij = δ ij +a ij so that r a ij +r 2 a ij +r 3 a ij C (1.4) and p ij satisfies r 2 p ij +r 3 p ij C (1.5) for some constant C, where r = x denotes the coordinate length in R 3. In [11], Wang and Yau prove the following:
4 Pengzi Miao, Luen-Fai Tam and Naqing Xie Theorem 1.1. [11, Theorem 3.1] Let (M, g, p) be an asymptotically flat spacelike hypersurface in a spacetime N. On any given end of M, let S r be the coordinate sphere of radius r, let X r be the isometric embedding of S r into R 3 = {(0,x) R 3,1 } given by Lemma 3.1, and let = ( 1+ a 2,a 1,a 2,a 3 ) be a fixed future timelike unit vector in R 3,1. Then lim E(S r,x r, ) = 1+ a 2 E + 3 a i P i, (1.6) where E is the ADM energy of (M,g,p) and P = (P 1,P 2,P 3 ) is the ADM linear momentum of (M,g,p). Since the Wang-Yau quasilocal mass m WY () is defined as the infimum of a class of E(,X, ), we would like to understand the asymptotical behavior of the infimum infe(s r,x r, ) as r. Note that in Theorem 1.1, if E > P and hence the ADM mass [1] m ADM of (M,g,p) is positive, then it is not hard to see that ( ) 1+ a 2 3 E + a i P i = E 2 P 2 = m ADM. (1.7) inf a R 3 i=1 Applying the estimates (1.2), we will prove the following: With the notations given in Theorem 1.1, suppose N satisfies the dominant energy condition and suppose N is not flat along M, then i=1 lim inf E(S r,x r, ) = m ADM. (1.8) Again, since m WY (S r ) is defined to be the infimum of E(S r,x r, ) over those isometric embeddings X r : R 3,1 and constant future timelike unit vectors in R 3,1 such that τ = X r, are admissible, we remark that it is yet unclear whether lim m WY (S r ) = m ADM. 2. Estimates of Wang-Yau quasi-local energy In this section, we derive the main estimates of E(,X, ) for a given isometric embedding X of into a flat 3-slice in R 3,1. Precisely, let be a spacelike 2-surface in a spacetime N such that has positive Gaussian curvature and the mean curvature vector H of in N is spacelike. Let X be an isometric embedding of into R 3 = {(0,x) R 3,1 } and let R 3,1 be an arbitrary constant future timelike unit vector. Let E(,X, ) be given by (1.1) with τ =,X. Since
Some estimates of Wang-Yau quasilocal energy 5 X is only unique up to a rigid motion of R 3, we note that E(,X, ) depends on the choice of X, but the infimum inf E(,X, ) (2.1) does not. Hence, if it is finite, (2.1) gives a geometric invariant of in N. First, we define a constant vector W = W(,X) R 3,1 associated to and X. Let αê3 ( ) be the connection 1-form on introduced in [10, (1.3)] which is defined as αê3 (Y) = N Y J H, H, Y T. (2.2) H Let V = V() be the vector field on that is dual to αê3 ( ). Given an embedding X : R 3, we identify V with dx(v) through the tangent map dx and hence view V = V(,X) as an R 3 -valued vector field along. Now define and V(,X) = 1 Vdv R 3 (2.3) 8π W(,X) = (m LY (),V(,X)) R 3,1. (2.4) Here m LY () is the Liu-Yau quasilocal mass defined in [5, 6], i.e. m LY () = 1 (k 0 H )dv, (2.5) 8π where k 0 is the mean curvature of with respect to the outward unit normal when isometrically embedded in R 3. Note that if bounds a compact, time-symmetric hypersurface Ω in N and has positive mean curvature in Ω with respect to the outward unit normal, then m LY () agrees with the Brown-York quasilocal mass m BY () [2, 3]. If X differs by a rigid motion in R 3, then V(,X) differs by a corresponding rotation in R 3 and W(,X) differs by a rotation in R 3 considered as a Lorentzian transformation in R 3,1. Theorem 2.1. Let, X, and V = V(,X) and W = W(,X) be given as above. The followings are true:
6 Pengzi Miao, Luen-Fai Tam and Naqing Xie (i) Suppose V = (V 1,V 2,V 3 ), then,w +C 1+ a 2 = 3 1+ a 2 (m LY ()+C) a i V i i=1 E(,X, ) 3 1+ a 2 m LY () a i V i =,W, i=1 (2.6) where = ( 1+ a 2,a 1,a 2,a 3 ) and C is the constant given by ( C = sup H0 2 H + H ) 0 2 H 2 1 ( H 0 H ). 8π Moreover, the equality E(,X, ) =,W (2.7) holds if and only if = (1,0,0,0) or H = H 0 everywhere on. In this second case, E(,X, ) = 3 i=1 ai V i,. (ii) If W is future timelike, then m W,W +C LY () E(,X,T0) W,W infe(,x, ) (2.8) W,W, where T 0 = W. W,W (iii) Thevector V isthe gradientofthe function E(a) = E(,X, ) at a = (0,0,0). If in addition m LY () 0, then V = 0 if and only if inf E(,X, ) = m LY (). (2.9) Proof. (i) Let {e α α = 1,2} be an orthonormal frame of T p for any p. Identifying e α with dx(e α ) through the tangent map dx, we have 2 2 τ = (e α a,x )e α = a,e α e α. Hence, N τ α=1 α=1 J H, H 2 H = a,e α N J e α H, H = a,v, (2.10) H α=1
Some estimates of Wang-Yau quasilocal energy 7 where V is the vector field on dual to the connection 1-form αê3 ( ) defined in (2.2). On the other hand, R3,1 τ J 0 H 0, H 0 H 0 = 0 (2.11) since X() lies in R 3. Therefore, by (1.1), (2.10)-(2.11), we have where E(,X, ) = Ẽ(,X,) a,v, (2.12) Ẽ(,X, ) = 1 { H0 8π 2 (1+ τ 2 )+( τ) 2 H 2 (1+ τ 2 )+( τ) 2 [ ] } τ sinh 1 τ τ ( 1+ τ 2 H 0 ) sinh 1 ( 1+ τ 2 H ) dv. We first prove that: (2.13) Ẽ(,X, ) 1+ a 2 m LY (). (2.14) To prove (2.14), we use spherical coordinates on R 3. Let 0 be a scalar and ω S 2 be a unit vector in R 3. Write a = ω, we have τ = a,x = ω,x, τ = a, X = ω,h 0 = k 0 ω,e H 0, 1+ τ 2 = 1+ 2 (1 ω,e H 0 2 ), where H 0 is the mean curvature vector of X() in R 3 R 3,1, e H 0 = H 0 H 0 is the outward unit normal to X() in R 3, and k 0 = H 0 is the mean curvature of X() with respect to e H 0 in R 3. In what follows, we let p = ω,e H 0, q = 1 ω,e H 0 2 (2.15) be two functions on. In terms of p, q, we have τ = k 0 p, 1+ τ 2 = 1+ 2 q 2 (2.16) and τ = k p 0 (2.17) 1+ τ 2 1+2 q2.
8 Pengzi Miao, Luen-Fai Tam and Naqing Xie The quantity Ẽ(,X,) now becomes a function of and ω, say Ẽ(,ω). By (2.13), we have Ẽ(,ω) =Ẽ(,X,) = 1 {[ ] k0 2 8π (1+2 ) k0 22 p 2 +k 2 (1+ 2 q 2 ) ( ( )] } +k 0 p [sinh 1 p k 0 ) sinh 1 p, 1+2 q 2 k 1+2 q 2 where k = H > 0 and H is the mean curvature vector of in N. Henceforth, we omit writing the volume form dv for simplicity. Since k 0 > 0, we can rewrite Ẽ(,ω) as Ẽ(,ω) = 1 { [ k 0 1+2 ] 8π 2 p 2 +t 2 (1+ 2 q 2 ) ( ) ( )] } +k 0 (p) [sinh 1 p sinh 1 p, 1+2 q 2t 1 1+2 q 2 (2.18) where t = k k 0 > 0 is a function on. Let p f(,ω) = (2.19) 1+2 q2, then Now define and 1+ 2 q 2 = 1+2 1+f 2, p = f (1+ 2 ) 1 2. (2.20) (1+f 2 ) 1 2 B(,ω) = 1+ 2 2 p 2 +t 2 (1+ 2 q 2 ), = ( ) 1+ 2 1 (t2 +f 2 ) 1 2 (1+f 2 ) 1 2 (2.21) [ ( ) ] f F(,ω) = p sinh 1 sinh 1 (f). (2.22) t By (2.18), we have Ẽ(,ω) = 1 8π Direct calculation gives k 0 [B(,ω)+F(,ω)]. (2.23) f = p(1+2 q 2 ) 3 f(1+f 2 ) 2 = (1+ 2 ), (2.24)
Some estimates of Wang-Yau quasilocal energy 9 ( ) B = 1 (t2 +f 2 ) 1 2 1+ 2 (1+f 2 ) 1 2 f f (1+ 2 ) 1 2 (t 2 +f 2 ) 1 2 (1+f2 ) 1 2 (1 t 2 )f 2 + 2 (t 2 +f 2 ) =, (1+ 2 ) 1 2 (t 2 +f 2 ) 1 2 (1+f2 ) 1 2 (1+2 ) 1 2 f f (t2 +f 2 ) 1 2 (1+f 2 ) 3 2 (2.25) [ ( ) ] F f =p sinh 1 sinh 1 (f) + t [ ( ) 1 1+ f2 2 1 p t 2 = f (1+ 2 ) 1 2 (1+f 2 ) 1 2 + f (1+ 2 ) 1 2 (1+f 2 ) 1 2 [ t ( 1+f 2) 1 2 ] df d sinh 1 f + f(1+f2 ) 1 2 (1+ 2 ) [ ( ) ] f sinh 1 f(1+f 2 ) +, t (1+ 2 )(t 2 +f 2 ) 1 2 ] (2.26) where we assume > 0 whenever appears in a denominator. By (2.25) and (2.26), we have Ẽ = 1 8π = 1 8π m (1+ 2 ) 1 LY () 2 [ B k 0 + F k 0 (Φ(1) Φ(t)), ] (1 t) (1+ 2 ) 1 2 (2.27)
10 Pengzi Miao, Luen-Fai Tam and Naqing Xie where (1 t 2 )f 2 + 2 (t 2 +f 2 ) Φ(t) = (t 2 +f 2 ) 1 2 (1+f2 ) 1 2 (1+2 ) 1 2 [ f ( ) ] (1+ 2 ) 1 2 f sinh 1 f(1+f 2 ) + (1+f 2 ) 1 2 t (1+ 2 )(t 2 +f 2 ) 1 2 t (1+ 2 ) 1 2 [ ( ) ] 1 f = f(1+ 2 )sinh 1 +( 2 f 2 )(t 2 +f 2 ) 1 (1+f 2 ) 1 2 (1+2 ) 1 2 2 t t. (1+ 2 ) 1 2 (2.28) Now Φ t = f 2 (1+ 2 )+( 2 f 2 )t 2 t(1+f 2 ) 1 2 (1+2 ) 1 2 (t2 +f 2 ) 1 2 (1+ 2 ) 1 2 [ ] (1 t 2 )f 2 + 2 (t 2 +f 2 ) = 1. t 2 (1+f 2 ) 1 2 (t2 +f 2 ) 1 2 (1+ 2 ) 1 2 Hence if 0 < t 1, Φ t (1+ 2 ) 1 2 = (1+ 2 ) 1 2 0. [ (t 2 +f 2 ) 1 2 1 t(1+f 2 ) 1 2 ( 1+ ( )1 ) f 2 2 t (1+f 2 ) 1 2 ] 1 (2.29) (2.30) Similarly, if t > 1, then Φ t (1+ 2 ) 1 2 = (1+ 2 ) 1 2 [ (t 2 +f 2 ) 1 2 1 t(1+f 2 ) 1 2 ( 1+ ( )1 ) f 2 2 t (1+f 2 ) 1 2 ] 1 (2.31) 0.
Some estimates of Wang-Yau quasilocal energy 11 Therefore, Φ(1) = max t>0 Φ(t). By (2.27), we have Ẽ m (1+ 2 ) 1 LY () (2.32) 2 for all > 0. Integrating (2.32) and note that Ẽ(0,ω) = m (), we LY conclude Ẽ(,ω) 1+ 2 m LY (), (2.33) which proves (2.14). Now the lower bound of E(,X, ) in (2.6) follows directly from (2.12) and (2.14). In order to obtain an upper bound for E(,X, ), by (2.29) and using the fact f 2 2, we have, if 0 < t 0 t 1, ( Φ 1 t t + 1 ) 2 t 2 (1+ 2 ) 1 2 ( 1 + 1 ) (2.34) 2. t 0 (1+ 2 ) 1 2 t 2 0 Hence by the mean value theorem, if 0 < t 0 1, ( 1 Φ(1) Φ(t 0 ) (1 t 0 ) + 1 ) 2. (2.35) t 0 (1+ 2 ) 1 2 Similarly, if t 0 t 1, we have ( Φ 1 t t + 1 ) 2 t 2 (1+ 2 ) 1 2 ( 1 + 1 ) 2. t 0 (1+ 2 ) 1 2 t 2 0 Thus (2.35) is also true for t 0 1. By (2.27) and (2.35), Ẽ m (1+ 2 ) 1 LY () 2 ( sup H0 2 (1+ 2 ) 1 2 H + H ) 0 2 H 2 1 8π t 2 0 ( H 0 H ). (2.36) (2.37) From this, it is easy to see that the upper bound for E(,X, ) in (2.6) holds. To prove the rest part of (i), we note that if = (1,0,0,0), then E(,X, ) = m LY (); if H = H 0, then Ẽ(X,,) = 0. Hence (2.7) holds automatically in either case. Now suppose (2.7) is true for some with a = 0 ω where 0 > 0, then by the proof of (2.33), we have Φ(t) = Φ(1) everywhere on for any 0 < 0. A detailed examination of (2.29)-(2.31) shows that, at points x where f = 0,
12 Pengzi Miao, Luen-Fai Tam and Naqing Xie wehave Φ Φ = 0, t; whileatpointsx wheref 0, wehave > 0, t t 0 < t < 1 and Φ < 0, t > 1. Therefore, the fact Φ(t) = Φ(1) on t implies that t = 1 on the subset {f 0}. On the other hand, since 0 > 0, we know f = 0 if and only if p = 0 or equivalently ω,e H 0 = 0. Since X() is a strictly convex close surface in R 3, the Gauss map that sends a point on to its outward unit normal e H 0 is a diffeomorphism from to S 2. Therefore, the set { ω,e H 0 = 0} is a closed embedded curve in. Consequently, its complement {f 0} is dense in. Therefore, t = 1 and hence H = H 0 everywhere on. In this case, by definition, Ẽ(,X, ) = 0, and by (2.12), E(,X, ) = 3 i=1 ai V i. (ii)supposew isfuturetimelike, then,w attainsitsminimum over all future timelike unit vector at = W/ W,W. Now (2.8) follows directly from (2.6). (iii) At = 0, we observe that f, B, F all equal 0 by (2.19) and (2.25)-(2.26), hence Ẽ = 0 by (2.23). Therefore, the gradient of E(a) at a = (0,0,0) is V by (2.12). Now if (2.9) holds, then a = (0,0,0) is a critical point of E(a) by the fact that E(0) = m LY (), therefore V = 0. On the other hand, suppose V = 0, by (2.6) we have E(,X, ) 1+ a 2 m LY (), which implies E(,X, ) m LY () by the assumption that m LY () 0. Hence, (2.9) holds. This completes the proof of Theorem 2.1. Suppose sits in a time-symmetric slice in N, then one would like to compare the Brown-York mass of and the Wang-Yau energy of. As an immediate corollary of Theorem 2.1, we have Corollary 2.1. Suppose bounds a compact, time-symmetric hypersurface Ω in a spacetime N satisfying the dominant energy condition. Suppose has positive mean curvature k in Ω with respect to the outward unit normal ν, then inf E(,X, ) = m BY (), and the infimum is achieved at = (1,0,0,0). Moreover, if m BY () > 0, then (1,0,0,0) is the unique absolute minimum point of E(,X, ) when viewed as a function of. Proof. Let n be the future timelike unit normal to Ω in N. Since Ω is time-symmetric and k = H,ν > 0, we have H = kν, J = kn, and N Y J = N H Y n = 0 for any vector Y tangent to Ω. Hence, the vector field V vanishes pointwise on. As a result, V = Vdv = 0. By
Some estimates of Wang-Yau quasilocal energy 13 Theorem 2.1 and the fact m LY () = m BY () under the assumptions, we have E(,X, ) 1+ a 2 m BY (). (2.38) On the other hand, by the positivity results on the Brown-York mass [8], we have m BY () 0. (2.39) Therefore, it follows from (2.38) and (2.39) that E(,X, ) m BY (), (2.40) where m BY () is the value of E(,X, ) when = (1,0,0,0). If m BY () > 0, (2.38) further implies E(,X, ) > m BY () (2.41) for any (1,0,0,0). The corollary is thus proved. 3. Large sphere limit of Wang-Yau quasi-local energy at spatial infinity In this section, we study the asymptotical behavior of E(S r,x r, ) in an asymptotically flat spacelike hypersurface (M, g, p) in a spacetime N, where S r is the coordinate sphere in a fixed end of M and X r is a suitably chosen embedding of S r into R 3 = {(0,x) R 3,1 }. First, we recall the definition of the ADM energy-momentum of (M,g,p). Let {y i i = 1,2,3} be an asymptotic flat coordinate chart on M, the ADM energy-momentum [1] of (M,g,p) is a four covector (E,P 1,P 2,P 3 ), where 1 E = lim ( j g ij i g jj )ν i dv r 16π S r is the ADM energy of (M,g,p) and 1 P k = lim 16π S r 2(p ik δ ik p jj )ν i dv r is the ADM linear momentum of (M,g,p) in the y k -direction. Here S r is the coordinate sphere { y = r} and ν i is the outward unit normal y i to S r. Under the assumptions (1.4) and (1.5) on (M,g,p), we have the following fact from [4, Lemma 2.3].
14 Pengzi Miao, Luen-Fai Tam and Naqing Xie Lemma 3.1. Let (M, g, p) be an asymptotically flat spacelike hypersurface in a spacetime N. Let Y = (y 1,y 2,y 3 ) be the asymptotically flat coordinates on a fixed end of M. There exist an r 0 and a constant C independent of r such that for r r 0, there is an isometric embedding X r = (x 1,x 2,x 3 ) of S r = { y = r} into the Euclidean space R 3 such that X r Y +r X r Y hr +r 2 H0 H +r n 0 r n r C where X r and Y are considered as R 3 -valued functions on the sphere S r, H 0 is the mean curvature vector of X r (S r ), the gradient ( ) and the norm hr are taken with respect to the induced metric h r on S r, n 0 r is the unit outward normal of X r(s r ), and n r = Y/ Y. We will always work with the embedding X r of S r provided by Lemma 3.1. Given such an X r, we let which are defined by (2.3) and (2.4). V r = V(S r,x r ),W r = W(S r,x r ) (3.1) Theorem 3.1. Let (M,g,p), S r, Y and X r be as in Lemma 3.1. Let V r, W r be given in (3.1). Let E(S r,x r, ) be the Wang-Yau quasi-local energy of S r, where = ( 1+ a 2,a) is any constant future timelike unit vector in R 3,1 with a = (a 1,a 2,a 3 ). Then the followings are true: (i) lim W r = (E, P 1, P 2, P 3 ), (3.2) where (E, P 1, P 2, P 3 ) is the ADM energy-momentum four vector of (M,g,p). (ii) E(S r,x r, ) =,W r +ǫ(r)(1+ a 2 ) 1 2 (3.3) where ǫ(r) is a quantity such that ǫ(r) 0 as r uniformly in a. (iii) Suppose (E, P 1, P 2, P 3 ) is future timelike. Then lim inf E(S r,x r, ) = m ADM = lim E(S r,x r,t 0r ), (3.4) where m ADM = E 2 P 2 is the ADM mass of (M,g,p) and T 0r = W r/ W r,w r for sufficiently large r. Proof. (i) By the proof of [11, Theorem 3.1], we know 1 J lim 8π H, H 3 H dv r = a i P i. (3.5) S r N τ i=1
By (2.10), we have Some estimates of Wang-Yau quasilocal energy 15 N τ J H, H = a,v, (3.6) H where V = V r is the vector field on S r dual to the 1-form αê3 ( ) defined in (2.2). Therefore, by the definition of V r and (3.5)-(3.6), lim a,v 1 3 r = lim a,v = a i P i. (3.7) 8π S r Since a = (a 1,a 2,a 3 ) can be chosen arbitrarily, (3.7) implies i=1 lim V r = (P 1,P 2,P 3 ). (3.8) Next, we show lim m (S LY r) = E. (3.9) By [4], we have lim m BY (S r ) = E. Hence, it suffices to prove lim (m (S LY r) m BY (S r )) = 0. (3.10) It follows from the definitions of m LY (S r ) and m BY (S r ) that m LY (S r ) m BY (S r ) = (k H )dv r S r = (k k 2 (tr Sr p) 2 )dv r, S r (3.11) where k is the mean curvature of S r in (M,g) with respect to the outward unit normal ν r and tr Sr p denotes the trace of p restricted to S r. Write ν r = ν i y i, by [4, Lemma 2.1], we have Hence, Therefore, k ν i = yi r +O(r 1 ) and k = 2 r +O(r 2 ). (3.12) tr Sr p = g ij p ij p(ν r,ν r ) = O(r 2 ). (3.13) k 2 (tr Sr p) 2 = which together with (3.11) implies (3.10). (ii) By (2.6) in Theorem 2.1, we have (tr Sr p) 2 k + k 2 (tr Sr p) 2 = O(r 3 ), (3.14) E(S r,x r, ) (,W r ) C r (1+ a 2 ) 1 2, (3.15)
16 Pengzi Miao, Luen-Fai Tam and Naqing Xie where C r = sup S r ( H0 2 H 2 + H 0 H 2 ) 1 ( H 0 H ). 8π S r By Lemma 3.1 and the fact H = 2r 1 +O(r 2 ) in (3.12), we have lim C r = 0. (3.16) Therefore, (3.3) follows from (3.15) and (3.16). (iii) Since (E, P 1, P 2, P 3 ) is future timelike, by (i) W r is future timelike if r is sufficiently large. For such an r, by (2.8) in Theorem 2.1, Wr,W r +C r m LY (S r ) Wr,W r E(S r,x r,t 0r ) inf E(S r,x r, ) W r,w r. Now (3.4) follows from (3.17), (3.16), (3.9) and the fact that Wr,W r = m. ADM lim This completes the proof of Theorem 3.1. (3.17) Corollary 3.1. Let (M, g, p) be an asymptotically flat spacelike hypersurface in a spacetime N satisfying the dominant energy condition. With the same notations as in Theorem 3.1, if N is not flat along M, then lim inf E(S r,x r, ) = m ADM. Proof. By the positive mass theorem of Schoen-Yau[7] and Witten[12], the ADM energy-momentum of (M,g,p) is future timelike unless N is flat along M. The result now follows from Theorem 3.1. Suppose there is an end of (M,g,p) such that m ADM = 0, by [7, 12] we know N is flat along M, (M,g,p) has only one end and can be isometrically embedded in the Minkowski space R 3,1, moreover E = 0, P i = 0, i = 1,2,3. By [10, 11], we then have: lim inf {admissible } E(S r,x r, ) = 0. It is still unclear whether the following is true, lim inf E(S r,x r, ) = 0.
Some estimates of Wang-Yau quasilocal energy 17 References [1] R. Arnowitt, S. Deser, and C. Misner, Coordinate invariance and energy expressions in general relativity. Phys. Rev. 122 (1961), 997-1006. [2] J. D. Brown and J. M. York, Jr., Quasilocal energy in general relativity. In Mathematical aspects of classical field theory (Seattle, WA, 1991), Contemp. Math. 132, Amer. Math. Soc., Providence, RI, 1992, 129 142. [3] J. D. Brown and J. M. York, Jr., Quasilocal energy and conserved charges derived from the gravitational action., Phys. Rev. D 47 (1993), 1407 1419. [4] X.-Q. Fan, Y. Shi, and L.-F. Tam, Large-sphere and small-sphere limits of the Brown-York mass. Commun. Anal. Geom. 17 (2009), 37 72. [5] C.-C. M. Liu and S.-T. Yau,Positivity of quasilocal mass, Phys. Rev. Lett. 90 (2003), 231102. [6] C.-C. M. Liu and S.-T. Yau, Positivity of quasilocal mass II, J. Amer. Math. Soc. 19 (2006), no. 1, 181 204. [7] R. Schoen and S.-T. Yau, Proof of the positive mass theorem II, Commun. Math. Phys. 79 (1981), 231 260. [8] Y. Shi and L.-F. Tam, Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature, J. Differential Geom. 62 (2002), 79 125. [9] M.-T. Wang and S.-T. Yau, Quasilocal mass in general relativity. Phys. Rev. Lett. 102 (2009), 021101. [10] M.-T. Wang and S.-T. Yau, Isometric embeddings into the Minkowski space and new quasi-local mass. Commun. Math. Phys. 288 (2009), 919-942. [11] M.-T. Wang and S.-T. Yau, Limit of quasilocal mass at spatial infinity. arxiv:0906.0200v2. [12] E. Witten, A new proof of the positive energy theorem. Commun. Math. Phys. 80 (1981), 381 402. School of Mathematical Sciences, Monash University, Victoria, 3800, Australia. E-mail address: Pengzi.Miao@sci.monash.edu.au The Institute of Mathematical Sciences and Department of Mathematics, The Chinese University of Hong Kong, Shatin, Hong Kong, China. E-mail address: lftam@math.cuhk.edu.hk School of Mathematical Sciences, Fudan University, Shanghai 200433, China E-mail address: nqxie@fudan.edu.cn