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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
88 Conformal decomposition<br />
6.2.4 Conformal connection<br />
˜γ being a well defined metric on Σt, let ˜D be the Levi-Civita connection associated to it:<br />
˜D˜γ = 0. (6.27)<br />
Let us denote by ˜ Γ k ij the Christ<strong>of</strong>fel symbols <strong>of</strong> ˜D with respect to the coordinates (x i ):<br />
Given a tensor field T <strong>of</strong> type<br />
by the formula<br />
where 2<br />
Γ k ij<br />
DkT i1...ip<br />
j1...jq = ˜ DkT i1...ip<br />
j1...jq +<br />
˜Γ k ij = 1<br />
2 ˜γkl<br />
<br />
∂˜γlj<br />
∂x<br />
<br />
p<br />
q<br />
∂˜γil ∂˜γij<br />
+ − i ∂xj ∂xl <br />
. (6.28)<br />
on Σt, the covariant derivatives ˜DT <strong>and</strong> DT are related<br />
p<br />
r=1<br />
C ir i1...l...ip<br />
kl T j1...jq −<br />
q<br />
r=1<br />
C l kjr<br />
i1...ip<br />
T , (6.29)<br />
j1...l...jq<br />
C k ij := Γ k ij − ˜ Γ k ij, (6.30)<br />
being the Christ<strong>of</strong>fel symbols <strong>of</strong> the connection D. The formula (6.29) follows immediately<br />
from the expressions <strong>of</strong> DT <strong>and</strong> ˜DT in terms <strong>of</strong> respectively the Christ<strong>of</strong>fel symbols Γk ij <strong>and</strong><br />
˜Γ k i1...ip<br />
ij . Since DkT j1...jq − ˜ DkT i1...ip<br />
j1...jq are the components <strong>of</strong> a tensor field, namely DT − ˜DT,<br />
it follows from Eq. (6.29) that the Ck ij are also the components <strong>of</strong> a tensor field. Hence we recover<br />
a well known property: although the Christ<strong>of</strong>fel symbols are not the components <strong>of</strong> any tensor<br />
field, the difference between two sets <strong>of</strong> them represents the components <strong>of</strong> a tensor field. We<br />
may express the tensor Ck ij in terms <strong>of</strong> the ˜D-derivatives <strong>of</strong> the metric γ, by the same formula<br />
than the one for the Christ<strong>of</strong>fel symbols Γk ij , except that the partial derivatives are replaced by<br />
˜D-derivatives:<br />
C k ij = 1<br />
2 γkl Diγlj<br />
˜ + ˜ Djγil − ˜ <br />
Dlγij . (6.31)<br />
It is easy to establish this relation by evaluating the right-h<strong>and</strong> side, expressing the ˜D-derivatives<br />
<strong>of</strong> γ in terms <strong>of</strong> the Christ<strong>of</strong>fel symbols ˜ Γ k ij :<br />
1<br />
2 γkl Diγlj<br />
˜ + ˜ Djγil − ˜ <br />
Dlγij<br />
= 1<br />
2 γkl<br />
<br />
∂γlj<br />
= Γ k ij<br />
∂xi − ˜ Γ m ilγmj − ˜ Γ m ijγlm + ∂γil<br />
∂xj − ˜ Γ m jiγml − ˜ Γ m jlγim − ∂γij<br />
∂x l + ˜ Γ m li γmj + ˜ Γ m lj γim<br />
+ 1<br />
2 γkl (−2) ˜ Γ m ij γlm<br />
= Γ k ij − δ k m ˜ Γ m ij<br />
<br />
= C k ij, (6.32)<br />
2 The C k ij are not to be confused with the components <strong>of</strong> the Cotton tensor discussed in Sec. 6.1. Since we<br />
shall no longer make use <strong>of</strong> the latter, no confusion may arise.