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

luth.obspm.fr
from luth.obspm.fr More from this publisher
20.07.2013 Views

170 Choice of foliation and spatial coordinates Taking the flat-divergence of this relation and using relation (9.80) (with the commutation property of ∂/∂t and D) yields ∂ ˜ Γ i ∂t = = −2NDj Ãij − 2A ij DjN + β k Dk ˜ Γ i − ˜ Γ k Dkβ i + 2 3 ˜ Γ i Dkβ k ˜γ jk DjDkβ i + 1 3 ˜γij DjDkβ k . (9.83) Now, we may use the momentum constraint (6.110) to express Dj Ãij : with ˜Dj Ãij = −6 Ãij ˜ Dj lnΨ + 2 3 ˜ D i K + 8πΨ 4 p i , (9.84) ˜Dj Ãij = DjÃij + ˜Γ i jk − ¯ Γ i kj jk à + ˜Γ j jk − ¯ Γ j jk à =0 ik , (9.85) where the “= 0” results from the fact that 2˜ Γ j ˜γ := det ˜γij = detfij =: f [Eq. (6.19)]. Thus Eq. (9.83) becomes ∂ ˜ Γ i jk = ∂ ln ˜γ/∂xk and 2 ¯ Γ j jk = ∂ ln f/∂xk , with ∂t = ˜γjk DjDkβ i + 1 3 ˜γij DjDkβ k + 2 3 ˜ Γ i Dkβ k − ˜ Γ k Dkβ i + β k Dk ˜ Γ i −2N 8πΨ 4 p i − Ãjk ˜ Γ i jk − ¯ Γ i jk − 6 Ãij Dj ln Ψ + 2 3 ˜γij DjK We conclude that the Gamma freezing condition (9.81) is equivalent to ˜γ jk DjDkβ i + 1 3 ˜γij DjDkβ k + 2 3 ˜ Γ i Dkβ k − ˜ Γ k Dkβ i + β k Dk ˜ Γ i = 2N 8πΨ 4 p i − Ãjk ˜ Γ i jk − ¯ Γ i jk − 6 Ãij Dj ln Ψ + 2 3 ˜γij DjK − 2 Ãij DjN. + 2 Ãij DjN. (9.86) (9.87) This is an elliptic equation for the shift vector, which bears some resemblance with Shibata’s approximate minimal distortion, Eq. (9.75). 9.3.5 Gamma drivers As seen above the Gamma freezing condition (9.81) yields to the elliptic equation (9.87) for the shift vector. Alcubierre and Brügmann [7] have proposed to turn it into a parabolic equation by considering, instead of Eq. (9.81), the relation ∂βi ∂t = k∂˜ Γi ∂t , (9.88) where k is a positive function. The resulting coordinate choice is called a parabolic Gamma driver. Indeed, if we inject Eq. (9.88) into Eq. (9.86), we clearly get a parabolic equation for the shift vector, of the type ∂β i /∂t = k ˜γ jk DjDkβ i + 1 3 ˜γij DjDkβ k + · · · .

9.3 Evolution of spatial coordinates 171 An alternative has been introduced in 2003 by Alcubierre, Brügmann, Diener, Koppitz, Pollney, Seidel and Takahashi [9] (see also Refs. [181] and [59]); it requires ∂2βi ∂t2 = k∂˜ Γi ∂t − η − ∂ ∂βi ln k ∂t ∂t , (9.89) where k and η are two positive functions. The prescription (9.89) is called a hyperbolic Gamma driver [9, 181, 59]. Indeed, thanks to Eq. (9.86), it is equivalent to ∂2βi + η − ∂t2 ∂ ∂βi ln k = k ˜γ ∂t ∂t jk DjDkβ i + 1 3 ˜γij DjDkβ k + 2 3 ˜ Γ i Dkβ k − ˜ Γ k Dkβ i + β k Dk ˜ Γ i −2N 8πΨ 4 p i − Ãjk Γ˜ i jk − ¯ Γ i jk − 6ÃijDj ln Ψ + 2 3 ˜γij DjK − 2Ãij DjN , (9.90) which is a hyperbolic equation for the shift vector, of the type of the telegrapher’s equation. The term with the coefficient η is a dissipation term. It has been found by Alcubierre et al. [9] crucial to add it to avoid strong oscillations in the shift. The hyperbolic Gamma driver condition (9.89) is equivalent to the following first order system ⎧ ⎪⎨ ⎪⎩ ∂βi ∂t = kBi ∂B i ∂t = ∂˜ Γ i ∂t − ηBi . (9.91) Remark : In the case where k does not depend on t, the Gamma driver condition (9.89) reduces to a previous hyperbolic condition proposed by Alcubierre, Brügmann, Pollney, Seidel and Takahashi [10], namely ∂2βi ∂t2 = k∂˜ Γi ∂t − η∂βi . (9.92) ∂t Hyperbolic Gamma driver conditions have been employed in many recent numerical computations: • 3D gravitational collapse calculations by Baiotti et al. (2005, 2006) [28, 30], with k = 3/4 and η = 3/M, where M is the ADM mass; • the first evolution of a binary black hole system lasting for about one orbit by Brügmann, Tichy and Jansen (2004) [70], with k = 3/4NΨ −2 and η = 2/M; • binary black hole mergers by – Campanelli, Lousto, Marronetti and Zlochower (2006) [73, 74, 75, 76], with k = 3/4; – Baker et al. (2006) [32, 33], with k = 3N/4 and a slightly modified version of Eq. (9.91), namely ∂˜Γ i /∂t replaced by ∂˜Γ i /∂t − β j ∂˜Γ i /∂x j in the second equation; – Sperhake [248], with k = 1 and η = 1/M.

9.3 Evolution <strong>of</strong> spatial coordinates 171<br />

An alternative has been introduced in 2003 by Alcubierre, Brügmann, Diener, Koppitz,<br />

Pollney, Seidel <strong>and</strong> Takahashi [9] (see also Refs. [181] <strong>and</strong> [59]); it requires<br />

∂2βi ∂t2 = k∂˜ Γi ∂t −<br />

<br />

η − ∂<br />

<br />

∂βi ln k<br />

∂t ∂t<br />

, (9.89)<br />

where k <strong>and</strong> η are two positive functions. The prescription (9.89) is called a hyperbolic<br />

Gamma driver [9, 181, 59]. Indeed, thanks to Eq. (9.86), it is equivalent to<br />

∂2βi <br />

+ η −<br />

∂t2 ∂<br />

<br />

∂βi ln k = k ˜γ<br />

∂t ∂t jk DjDkβ i + 1<br />

3 ˜γij DjDkβ k + 2<br />

3 ˜ Γ i Dkβ k − ˜ Γ k Dkβ i + β k Dk ˜ Γ i<br />

<br />

−2N 8πΨ 4 p i − Ãjk Γ˜ i<br />

jk − ¯ Γ i <br />

jk − 6ÃijDj ln Ψ + 2<br />

3 ˜γij <br />

DjK − 2Ãij <br />

DjN , (9.90)<br />

which is a hyperbolic equation for the shift vector, <strong>of</strong> the type <strong>of</strong> the telegrapher’s equation.<br />

The term with the coefficient η is a dissipation term. It has been found by Alcubierre et al. [9]<br />

crucial to add it to avoid strong oscillations in the shift.<br />

The hyperbolic Gamma driver condition (9.89) is equivalent to the following first order<br />

system<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

∂βi ∂t<br />

= kBi<br />

∂B i<br />

∂t = ∂˜ Γ i<br />

∂t − ηBi .<br />

(9.91)<br />

Remark : In the case where k does not depend on t, the Gamma driver condition (9.89) reduces<br />

to a previous hyperbolic condition proposed by Alcubierre, Brügmann, Pollney, Seidel <strong>and</strong><br />

Takahashi [10], namely<br />

∂2βi ∂t2 = k∂˜ Γi ∂t<br />

− η∂βi . (9.92)<br />

∂t<br />

Hyperbolic Gamma driver conditions have been employed in many recent <strong>numerical</strong> computations:<br />

• 3D gravitational collapse calculations by Baiotti et al. (2005, 2006) [28, 30], with k = 3/4<br />

<strong>and</strong> η = 3/M, where M is the ADM mass;<br />

• the first evolution <strong>of</strong> a binary black hole system lasting for about one orbit by Brügmann,<br />

Tichy <strong>and</strong> Jansen (2004) [70], with k = 3/4NΨ −2 <strong>and</strong> η = 2/M;<br />

• binary black hole mergers by<br />

– Campanelli, Lousto, Marronetti <strong>and</strong> Zlochower (2006) [73, 74, 75, 76], with k = 3/4;<br />

– Baker et al. (2006) [32, 33], with k = 3N/4 <strong>and</strong> a slightly modified version <strong>of</strong><br />

Eq. (9.91), namely ∂˜Γ i /∂t replaced by ∂˜Γ i /∂t − β j ∂˜Γ i /∂x j in the second equation;<br />

– Sperhake [248], with k = 1 <strong>and</strong> η = 1/M.

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

Saved successfully!

Ooh no, something went wrong!