20.07.2013 Views

Relativité Générale - LUTH - Observatoire de Paris

Relativité Générale - LUTH - Observatoire de Paris

Relativité Générale - LUTH - Observatoire de Paris

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.

96 Équation d’Einstein<br />

formes linéaires par p vecteurs. Ainsi, pour tout champ tensoriel T <strong>de</strong> type<br />

<br />

p<br />

(p ≥ 0,<br />

q<br />

q ≥ 0) 3 , la dérivée covariante <strong>de</strong> T par rapport à la connexion ∇ est un champ tensoriel<br />

∇T <strong>de</strong> type<br />

p<br />

q+1<br />

composantes T α1...αp<br />

β1...βq<br />

et les composantes ∇ρT α1...αp<br />

β1...βq<br />

<br />

. Étant donnée une base vectorielle (eα) et sa base duale (e α ), les<br />

du tenseur T sont définies par<br />

T = T α1...αp<br />

β1...βq eα1 ⊗ . . . ⊗ eαp ⊗ e β1 ⊗ . . . ⊗ e βq , (4.36)<br />

<strong>de</strong> ∇T par<br />

∇T = ∇ρ T α1...αp<br />

β1...βq eα1 ⊗ . . . ⊗ eαp ⊗ e β1 ⊗ . . . ⊗ e βq ⊗ e ρ . (4.37)<br />

En utilisant la règle <strong>de</strong> Leibniz et (4.29), il est facile <strong>de</strong> voir que les composantes <strong>de</strong> ∇T<br />

s’expriment en fonction <strong>de</strong> celles <strong>de</strong> T à l’ai<strong>de</strong> <strong>de</strong>s coefficients <strong>de</strong> connexion, suivant<br />

∇ρ T α1...αp<br />

β1...βq<br />

α1...αp<br />

= eρ(T ) +<br />

β1...βq<br />

p<br />

r=1<br />

γ αr<br />

σρ T α1...<br />

r<br />

↓<br />

σ ...αp<br />

β1...βq −<br />

q<br />

r=1<br />

γ σ βrρ T α1...αp<br />

β1... σ ...βq<br />

↑r<br />

.<br />

(4.38)<br />

Si (eα) est une base naturelle, associée à <strong>de</strong>s coordonnées (x α ), alors eρ = ∂ρ et l’équation<br />

ci-<strong>de</strong>ssus s’écrit<br />

∇ρ T α1...αp<br />

β1...βq<br />

∂ α1...αp<br />

= T<br />

∂xρ β1...βq +<br />

p<br />

r=1<br />

γ αr<br />

σρ T α1...<br />

r<br />

↓<br />

σ ...αp<br />

β1...βq −<br />

q<br />

r=1<br />

γ σ βrρ T α1...αp<br />

β1... σ ...βq<br />

↑r<br />

.<br />

(4.39)<br />

En particulier, pour un vecteur (p = 1, q = 0), on retrouve (4.32) et pour une forme<br />

linéaire (p = 0, q = 1), on obtient<br />

∇βωα = ∂ωα<br />

∂x β − γσ αβ ωσ . (4.40)<br />

Remarque : Notons le signe − dans (4.40), par opposition au signe + dans (4.32).<br />

C’est, avec la position <strong>de</strong> l’indice <strong>de</strong> dérivation β dans γσ αβ , la seule chose à retenir,<br />

car il n’y a ensuite pas d’ambiguïté pour placer les autres indices.<br />

4.2.4 Connexion compatible avec la métrique<br />

Une première tentative...<br />

Pour rejoindre le champ <strong>de</strong> la physique, il s’agit maintenant <strong>de</strong> fixer une unique<br />

connexion sur la variété d’espace-temps E . Une première idée serait <strong>de</strong> choisir pour ∇ tout<br />

simplement la dérivée partielle <strong>de</strong>s composantes par rapport à un système <strong>de</strong> coordonnées<br />

(x α ) donné :<br />

∇ρ T α1...αp<br />

β1...βq<br />

∂ α1...αp<br />

= T . (4.41)<br />

∂xρ β1...βq<br />

3 rappelons que par convention, les champs scalaires sont <strong>de</strong>s champs tensoriels <strong>de</strong> type 0<br />

0

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

Saved successfully!

Ooh no, something went wrong!