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

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.

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

Saved successfully!

Ooh no, something went wrong!