Relativité Générale - LUTH - Observatoire de Paris
Relativité Générale - LUTH - Observatoire de Paris
Relativité Générale - LUTH - Observatoire de Paris
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