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