Tenseur métrique

Restez toujours informé : suivez-nous sur Google (☆)

Introduction

Articles scientifiques
sur les tenseurs

Généralités

Tenseur (mathématiques)
Produit tensoriel
... de deux modules
... de deux applications linéaires
Algèbre tensorielle
Champ tensoriel
Espace tensoriel

Physique

Convention d'Einstein
Tenseur métrique
Tenseur énergie-impulsion
Tenseur de Riemann
... de Ricci
... d'Einstein
... de Weyl
... de Levi-Civita
... de Killing
... de Killing-Yano
... de Bel-Robinson
... de Cotton-York
Tenseur électromagnétique
Tenseur des contraintes
Tenseur des déformations

Définition

Le tenseur métrique est un tenseur de rang 2 (c'est-à-dire une forme bilinéaire) défini sur un espace vectoriel E de dimension finie:

g : E \times E \to R (u, v) \to g (u, v)

g est :

symétrique : $\forall u, v \in E g (v, u) = g (u, v)$
non dégénérée : $[\forall v \in E, g (u, v) = 0] \Rightarrow u = 0$
définie positive: $\forall x \in E g (x, x) \geq 0$ (exception pour les pseudo-métriques, voir ci-dessous)

On note le produit scalaire de 2 vecteurs u**e_i et v**e_j de la manière suivante:

g (u, v) = g (u^{i} e_{i}, v^{j} e_{j}) = u^{i} v^{j} g (e_{i}, e_{j}) = u^{i} v^{j} g_{ij}

La notation g_i**j est conventionnellement utilisée pour les composantes du tenseur métrique.

Pseudo-métrique

Lorsque g(x,x) n'est pas toujours positif, on peut parler de pseudo-métrique, c'est par exemple le cas de l'espace de Minkowski. Dans ce cadre, le produit scalaire g(x,x) (que l'on note η(x,x)) représente la pseudo-norme au carré. On note s la distance minkowskienne entre deux points P₁ et P₂ définie par:

s^{2} = η (P_{1} P_{2}, P_{1} P_{2}) = η_{μν} (x_{2}^{μ} - x_{1}^{μ}) (x_{2}^{ν} - x_{1}^{ν})

avec, pour l'espace de Minkowski, comme matrice du produit scalaire :

(\eta_{\mu\nu})= \begin{pmatrix}-1&0&0&0\0&1&0&0\0&0&1&0\0&0&0&1\end{pmatrix}

et ds la distance minkowskienne au carré entre deux points infiniment voisins :

d s^{2} = η_{μν} d x^{μ} d x^{ν}

Pour un vecteur x d'un tel espace, nous avons les définitions suivantes :

{η (x, x) > 0 ⟺ x est orient \overset{e}{ˊ} dans l^{'} espace. η (x, x) = 0 ⟺ x est isotrope. η (x, x) < 0 ⟺ x est orient \overset{e}{ˊ} dans le temps.

Une courbe de cet espace-temps décrite par l'équation (x(τ),x(τ),x(τ),x(τ)) où τ est un paramètre, admet comme vecteur tangent dx / dτ. Le signe de la pseudo-norme de ce vecteur est idépendant du choix de τ et nous avons les définitions suivantes (cf. relativité restreinte) :

{η (\frac{d x ^{μ}}{d τ}, \frac{d x ^{μ}}{d τ}) > 0 ⟺ La courbe x^{μ} (τ) est du genre espace. η (\frac{d x ^{μ}}{d τ}, \frac{d x ^{μ}}{d τ}) = 0 ⟺ La courbe x^{μ} (τ) est du genre lumi \overset{e}{ˋ} re. η (\frac{d x ^{μ}}{d τ}, \frac{d x ^{μ}}{d τ}) < 0 ⟺ La courbe x^{μ} (τ) est du genre temps.

Coordonnées rectilignes

Nous supposons ici une base quelconque, $(a, b, c)$ , Le tenseur métrique se calcule alors simplement :

G = [a . a a . b a . c b . a b . b b . c c . a c . b c . c]

où $a . b$ désigne le produit scalaire de $a$ et de $b$ exprimé dans un repère orthonormé cartésien.

Cas des coordonnées curvilignes

Lorsqu'il s'agit d'un système de coordonnées curvilignes, nous ne pouvons pas définir de base à ce repère à proprement parler. Les vecteurs de cette base e_i varient en fonction des coordonnées x d'un point. Il n'est donc pas possible de calculer un tenseur métrique constant. Cependant la matrice jacobienne J fournit une approximation linéaire de ce type de transformation au voisinage d'un point, la base locale, (e₁,e₂), étant simplement les vecteurs tangents aux axes de coordonnées. Il suffit donc de calculer les n produits scalaires possibles de ces vecteurs tangents (composantes contravariantes de la jacobienne) pour obtenir le tenseur métrique G. Ceci revient à calculer J**J.

G devient alors un champ tensoriel. Le « champ de base » ainsi utilisé repère des vecteurs infinitésimaux, ceci se traduisant par un « produit scalaire infinitésimal ». On adopte alors l'écriture suivante: d**s = g_i**jdxd**x (où ds désigne la variation de la norme et non pas celle du produit scalaire comme on pourrait le penser). La quantité s est aussi appelé abscisse curviligne.

Détails de calcul

Pour calculer le tenseur métrique à partir des équations donnant la relation entre l'espace considéré et un espace cartésien, c'est-à-dire un espace pour lequel g_i**j = δ_i**j (cfr. delta de Kronecker), il faut calculer la matrice jacobienne de ces équations. Le tenseur métrique est le produit de sa transposée par elle-même:

G = J^{T} J

En appliquant la même opération à partir des équations donnant la relation entre l'espace cartésien et l'espace considéré, on obtient alors l'expression contravariante du tenseur. On peut alors retrouver son expression covariante en sachant que $g^{μν} \cdot g_{ν ρ} = δ_{ρ}^{ν}$ , où g est l'expression contravariante du tenseur, et g_νρ son expression covariante.

Montée et descente d'indices

Le tenseur métrique sert à monter ou à descendre les indices des coordonnées de vecteurs / formes différentielles / tenseurs. Prenons le cas du vecteur $x = x^{α} e_{α}$ . Les produits $x_{\beta}= g_{\alpha \beta} x^\alpha\$ correspondent à la forme linéaire $g (x, .)$ , un élément de l'espace dual, qui à un vecteur $y$ associe le réel $g (x, y)$ . Ils la définissent à travers ses coordonnées dans la base duale: $g (x, .) = x_{β} e^{β}$ où $e^{β} = e_{β}^{⋆}$ désignent les vecteurs de la base duale. Autrement dit le tenseur métrique a abaissé la position des indices de x en x_β transformant le vecteur $x^{α} e_{α}$ en le covecteur $x_{β} e^{β}$ .

Distances et angles

La longueur d'un segment d'une courbe paramétrée par t partant du point a et arrivant au point b est définie par :

L = \int_{a}^{b} g_{ij} \frac{d x ^{i}}{d t} \frac{d x ^{j}}{d t} d t

où (x(t),...,x(t)) est l'équation décrivant cette courbe dans le système de coordonnées local.

On l'écrit souvent avec la notation :

$d s^{2} = g_{ij} d x^{i} d x^{j}$ .

L'angle θ entre deux vecteurs tangents u et v est défini par :

cos θ = \frac{g _{ij} u ^{i} v ^{j}}{∣ g _{ij} u ^{i} u ^{j} ∣ ∣ g _{ij} v ^{i} v ^{j} ∣}

Note: En coordonnées rectilignes, les vecteurs ne sont pas nécessairement tangents.

Changement de base

Lors d'un changement de base, le tenseur métrique se transforme de la manière suivante ( M est la matrice de passage d'une base dont on connait la métrique g vers une autre base ):

g^{'} k l = M^{i} k M_{l}^{j} g_{ij}

ou en notation matricielle:

G^{'} = M^{T} GM

Produit avec sa dérivée partielle

Le produit contracté du tenseur métrique et de sa dérivée partielle change de signe lorsqu'on remonte les indices d'un terme du produit et que l'on descend les indices de l'autre terme :

g**g_i**j,k = − g_i**jg.

Quelques exemples

Exemple 1

Dans un espace euclidien à 2 dimensions, et en prenant un repère cartésien orthonormé, le tenseur métrique est :

G = [1001]

et la longueur d'une courbe vaut :

L = \int_{a}^{b} (d x^{1})^{2} + (d x^{2})^{2}

Exemple 2

On se propose de calculer le tenseur métrique pour un espace euclidien et le système de coordonnées sphériques. Les équations suivantes nous donnent les coordonnées (x,y,z) exprimées dans un repère orthonormé cartésien en fonction des coordonnées sphériques (r,θ,φ) (voir ci-dessous).

⎩ ⎨ ⎧ x = r sin θ cos ϕ y = r sin θ sin ϕ z = r cos θ

On peut maintenant écrire la matrice jacobienne :

J = [\frac{\partial ( r s i n θ c o s ϕ )}{\partial r} \frac{\partial ( r s i n θ c o s ϕ )}{\partial θ} \frac{\partial ( r s i n θ c o s ϕ )}{\partial ϕ} \frac{\partial ( r s i n θ s i n ϕ )}{\partial r} \frac{\partial ( r s i n θ s i n ϕ )}{\partial θ} \frac{\partial ( r s i n θ s i n ϕ )}{\partial ϕ} \frac{\partial ( r c o s θ )}{\partial r} \frac{\partial ( r c o s θ )}{\partial θ} \frac{\partial ( r c o s θ )}{\partial ϕ}] = [sin θ cos ϕ r cos θ cos ϕ - r sin θ sin ϕ sin θ sin ϕ r cos θ sin ϕ r sin θ cos ϕ cos θ - r sin θ 0]

Le tenseur métrique est le produit de la matrice jacobienne transposée et de la jacobienne :

g_{ij} = J^{T} J = [1000 r^{2} 000 r^{2} sin^{2} θ]

Exemples de métriques

Plan euclidien, coordonnées polaires : (x,x) = (r,θ)

G = [100 r^{2}]

d s^{2} = d r^{2} + r^{2} d θ^{2}

Espace euclidien, coordonnées cylindriques : (x,x,x) = (r,θ,z)

G = [1000 r^{2} 0001]

d s^{2} = d r^{2} + r^{2} d θ^{2} + d z^{2}

Espace euclidien, coordonnées sphériques : (x,x,x) = (r,θ,φ)

G = [1000 r^{2} 000 r^{2} sin^{2} θ]

d s^{2} = d r^{2} + r^{2} d θ^{2} + r^{2} sin^{2} θ d ϕ^{2}

Espace de Minkowski, espace-temps plat (relativité restreinte) : (x,x,x,x) = (c**t,x,y,z)

G = [- 1 000010000100001]

d s^{2} = - c^{2} d t^{2} + d x^{2} + d y^{2} + d z^{2}

Métrique de Schwarzschild (solution particulière de la relativité générale, l'espace est ici courbé) : (x,x,x,x) = (c**t,r,θ,φ)

G = [- (1 - \frac{2 GM}{r c ^{2}}) 0000 (1 - \frac{2 GM}{r c ^{2}})^{- 1} 0000 r^{2} 0000 r^{2} sin^{2} θ]

d s^{2} = - (1 - \frac{2 G m}{r c ^{2}}) c^{2} d t^{2} + (1 - \frac{2 G m}{r c ^{2}})^{- 1} d r^{2} + r^{2} d θ^{2} + r^{2} sin^{2} θ d ϕ^{2}