20.07.2013 Views

3+1 formalism and bases of numerical relativity - LUTh ...

3+1 formalism and bases of numerical relativity - LUTh ...

3+1 formalism and bases of numerical relativity - LUTh ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

104 Asymptotic flatness <strong>and</strong> global quantities<br />

7.2.1 Definition<br />

We consider a globally hyperbolic spacetime (M,g) foliated by a family (Σt)t∈R <strong>of</strong> spacelike<br />

hypersurfaces. Let γ <strong>and</strong> K be respectively the induced metric <strong>and</strong> extrinsic curvature <strong>of</strong> the<br />

hypersurfaces Σt. One says that the spacetime is asymptotically flat iff there exists, on each<br />

slice Σt, a Riemannian “background” metric f such that [276, 277, 251]<br />

• f is flat (Riem(f) = 0), except possibly on a compact domain B <strong>of</strong> Σt (the “strong field<br />

region”);<br />

• there exists a coordinate system (x i ) = (x,y,z) on Σt such that outside B, the components<br />

<strong>of</strong> f are fij = diag(1,1,1) (“Cartesian-type coordinates”) <strong>and</strong> the variable r :=<br />

x 2 + y 2 + z 2 can take arbitrarily large values on Σt;<br />

• when r → +∞, the components <strong>of</strong> γ with respect to the coordinates (x i ) satisfy<br />

γij = fij + O(r −1 ), (7.1)<br />

∂γij<br />

∂x k = O(r−2 ); (7.2)<br />

• when r → +∞, the components <strong>of</strong> K with respect to the coordinates (x i ) satisfy<br />

The “region” r → +∞ is called spatial infinity <strong>and</strong> is denoted i 0 .<br />

Kij = O(r −2 ), (7.3)<br />

∂Kij<br />

∂x k = O(r−3 ). (7.4)<br />

Remark : There exist other definitions <strong>of</strong> asymptotic flatness which are not based on any coordinate<br />

system nor background flat metric (see e.g. Ref. [24] or Chap. 11 in Wald’s textbook<br />

[265]). In particular, the spatial infinity i 0 can be rigorously defined as a single point in<br />

some “extended” spacetime ( ˆ M, ˆg) in which (M,g) can be embedded with g conformal to<br />

ˆg. However the present definition is perfectly adequate for our purposes.<br />

Remark : The requirement (7.2) excludes the presence <strong>of</strong> gravitational waves at spatial infinity.<br />

Indeed for gravitational waves propagating in the radial direction:<br />

This fulfills condition (7.1) but<br />

γij = fij + Fij(t − r)<br />

r<br />

∂γij<br />

∂xk = −F ′ ij(t − r)<br />

r<br />

x k<br />

r − Fij(t − r)<br />

r2 + O(r −2 ). (7.5)<br />

x k<br />

r + O(r−2 ) (7.6)<br />

is O(r −1 ) since F ′ ij = 0 (otherwise Fij would be a constant function <strong>and</strong> there would be no<br />

radiation). This violates condition (7.2). Notice that the absence <strong>of</strong> gravitational waves<br />

at spatial infinity is not a serious physical restriction, since one may consider that any<br />

isolated system has started to emit gravitational waves at a finite time “in the past” <strong>and</strong><br />

that these waves have not reached the spatial infinity yet.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!