arxiv: v1 [math.dg] 4 Sep 2009

Transcription

1 SOME ESTIMATES OF WANG-YAU QUASILOCAL ENERGY arxiv: v1 [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 #DP Research partially supported by Hong Kong RGC General Research Fund #GRF Research partially supported by the National Natural Science Foundation of China #

2 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

3 the following estimates: Some estimates of Wang-Yau quasilocal energy 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 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

5 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 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

7 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+ τ q2.

8 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 ] 8π 2 p 2 +t 2 (1+ 2 q 2 ) ( ) ( )] } +k 0 (p) [sinh 1 p sinh 1 p, 1+2 q 2t 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 = f 2, p = f (1+ 2 ) 1 2. (2.20) (1+f 2 ) 1 2 B(,ω) = p 2 +t 2 (1+ 2 q 2 ), = ( ) (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)

9 Some estimates of Wang-Yau quasilocal energy 9 ( ) B = 1 (t2 +f 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 (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 ) 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 10 Pengzi Miao, Luen-Fai Tam and Naqing Xie where (1 t 2 )f (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 ) 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 (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 ) [ (t 2 +f 2 ) 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 ) t(1+f 2 ) 1 2 ( 1+ ( )1 ) f 2 2 t (1+f 2 ) 1 2 ] 1 (2.31) 0.

11 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 ( ) (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 ( ) 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 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

13 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 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

15 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 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.

17 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), [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, [3] J. D. Brown and J. M. York, Jr., Quasilocal energy and conserved charges derived from the gravitational action., Phys. Rev. D 47 (1993), [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), [5] C.-C. M. Liu and S.-T. Yau,Positivity of quasilocal mass, Phys. Rev. Lett. 90 (2003), [6] C.-C. M. Liu and S.-T. Yau, Positivity of quasilocal mass II, J. Amer. Math. Soc. 19 (2006), no. 1, [7] R. Schoen and S.-T. Yau, Proof of the positive mass theorem II, Commun. Math. Phys. 79 (1981), [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), [9] M.-T. Wang and S.-T. Yau, Quasilocal mass in general relativity. Phys. Rev. Lett. 102 (2009), [10] M.-T. Wang and S.-T. Yau, Isometric embeddings into the Minkowski space and new quasi-local mass. Commun. Math. Phys. 288 (2009), [11] M.-T. Wang and S.-T. Yau, Limit of quasilocal mass at spatial infinity. arxiv: v2. [12] E. Witten, A new proof of the positive energy theorem. Commun. Math. Phys. 80 (1981), School of Mathematical Sciences, Monash University, Victoria, 3800, Australia. 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. address: lftam@math.cuhk.edu.hk School of Mathematical Sciences, Fudan University, Shanghai , China address: nqxie@fudan.edu.cn