Go to previous page Go up Go to next page

11.2 Approaches based on the double-null foliations

11.2.1 The 2 + 2 decomposition

The decomposition of the spacetime in a 2 + 2 way with respect to two families of null hypersurfaces is as old as the study of gravitational radiation and the concept of the characteristic initial value problem (see for example [326Jump To The Next Citation Point306]). The basic idea is that we foliate an open subset U of the spacetime by a 2-parameter family of (e.g. closed) spacelike 2-surfaces: If S is the typical 2-surface, then this foliation is defined by a smooth embedding f : S × (- e,e)× (-e,e) --> U : (p,n+, n-) '--> f(p,n+,n- ). Then, keeping n+ fixed and varying n-, or keeping n- fixed and varying n+, respectively, : Sn+,n- = f(S, n+,n -) defines two 1-parameter families of hypersurfaces Sn+ and Sn-. Requiring one (or both) of the hypersurfaces Sn ± to be null, we get a so-called null (or double-null, respectively) foliation of U. (In Section 4.1.8 we required the hypersurfaces Sn± to be null only for the special value n = 0 ± of the parameters.) As is well known, because of the conjugate points, in the null or double null cases the foliation can be well-defined only locally. For fixed n+ and p (- S the prescription n- '--> f(p,n+,n- ) defines a curve through f(p, n+,0) (- Sn+,0 in Sn+, and hence a vector field qa+ := (@/@n -)a tangent everywhere to S+ on U. The Lie bracket of qa+ and the analogously defined q-a is zero. There are several inequivalent ways of introducing coordinates or rigid frame fields on U, which are fit naturally to the null or double null foliation {Sn+,n-}, in which the (vacuum) Einstein equations and Bianchi identities take a relatively simple form [326152123Jump To The Next Citation Point348381Jump To The Next Citation Point180Jump To The Next Citation Point16582189Jump To The Next Citation Point].

Defining the ‘time derivative’ to be the Lie derivative, for example, along the vector field qa+, the Hilbert action can be rewritten according to the 2 + 2 decomposition. Then the 2 + 2 form of the Einstein equations can be derived from the corresponding action as the Euler-Lagrange equations provided the fact that the foliation is null is imposed only after the variation has made. (Otherwise, the variation of the action with respect to the less than ten nontrivial components of the metric would not yield all the 10 Einstein equations.) One can form the corresponding Hamiltonian, in which the null character of the foliation should appear as a constraint. Then the formal Hamilton equations are just the Einstein equations in their 2 + 2 form [123381180Jump To The Next Citation Point189Jump To The Next Citation Point]. However, neither the boundary terms in this Hamiltonian nor the boundary conditions that could ensure its functional differentiability were considered. Therefore, this Hamiltonian can be ‘correct’ only up to boundary terms. Such a Hamiltonian was used by Hayward [180183Jump To The Next Citation Point] as the basis of his quasi-local energy expression discussed already in Section 6.3. (A similar energy expression was derived by Ikumi and Shiromizi [211], starting with the idea of the ‘freely falling 2-surfaces’.)

11.2.2 The 2 + 2 quasi-localization of the Bondi-Sachs mass-loss

As we mentioned in Section 6.1.3, this double-null foliation was used by Hayward [182] to quasi-localize the Bondi-Sachs mass-loss (and mass-gain) by using the Hawking energy. Thus we do not repeat the review of his results here. UpdateJump To The Next Update Information Yoon investigated the vacuum field equations in a coordinate system based on a null 2 + 2 foliation. Thus one family of hypersurfaces was (outgoing) null, e.g. Nu, but the other was timelike, say Bv. The former defined a foliation of the latter in terms of the spacelike 2-surfaces Su,v := Nu /~\ Bv. Yoon found [400Jump To The Next Citation Point401Jump To The Next Citation Point] a certain 2-surface integral on Su,v, denoted by E~(u, v), for which the difference E~(u ,v) - ~E(u ,v) 2 1, u < u 1 2, could be expressed as a flux integral on the portion of the timelike hypersurface Bv between Su1,v and Su2,v. In general this flux does not have a definite sign, but Yoon showed that asymptotically, when Bv is ‘pushed out to null infinity’ (i.e. in the v --> oo limit in an asymptotically flat spacetime), it becomes negative definite. In fact, ‘renormalizing’ ~E(u, v) by a subtraction term, V~ -------------------- E(u, v) := ~E(u, v)- Area(S0,v)/(16pG2) tends to the Bondi energy, and the flux integral tends to the Bondi mass-loss between the cuts u = u 1 and u = u 2 [400401]. These investigations were extended for other integrals in [402403404], which are analogous to spatial momentum and angular momentum. However, all these integrals, including E~(u, v) above, depend not only on the geometry of the spacelike 2-surface Su,v but on the 2 + 2 foliation on an open neighbourhood of Su,v too.

  Go to previous page Go up Go to next page