4-Vecteurs & Invariants
Des vecteurs 3D aux 4-vecteurs
En physique classique, un vecteur est une quantité avec une direction et une intensité, comme la vitesse ou la force, décrit par trois composantes $(x, y, z)$. Un 4-vecteur étend cette idée à l'espace-temps en ajoutant une composante temporelle, donnant quatre composantes $(ct, x, y, z)$. Tout comme les composantes d'un vecteur 3D se mélangent quand on tourne les axes, les composantes d'un 4-vecteur se mélangent quand on change de référentiel inertiel. L'avantage est que la « longueur » d'un 4-vecteur (calculée avec la métrique de Minkowski) reste la même dans tous les référentiels.
Les transformations de Lorentz mélangent les coordonnées d'espace et de temps, tout comme les rotations mélangent les coordonnées $x$ et $y$. En physique 3D ordinaire, nous gérons les rotations élégamment en utilisant des vecteurs. La généralisation naturelle à l'espace-temps est le 4-vecteur : un objet à quatre composantes qui se transforme de manière prévisible sous les transformations de Lorentz. Les 4-vecteurs sont le langage de la physique relativiste.
Pourquoi les 4-vecteurs ?
Si une loi physique peut être écrite comme une équation entre 4-vecteurs (ou plus généralement, des tenseurs), elle est automatiquement valide dans tous les référentiels inertiels. C'est le principe de la covariance manifeste.
Notation indicielle et convention d'Einstein
Un 4-vecteur a des composantes étiquetées par un indice grec $\mu$ allant de $0$ à $3$ :
$$A^\mu = (A^0, A^1, A^2, A^3)$$L'indice $0$ est la composante « temporelle », et $1, 2, 3$ sont les composantes spatiales. La convention de sommation d'Einstein stipule que chaque fois qu'un indice apparaît une fois en haut et une fois en bas dans le même terme, il est sommé :
$$A^\mu B_\mu \equiv \sum_{\mu=0}^{3} A^\mu B_\mu = A^0 B_0 + A^1 B_1 + A^2 B_2 + A^3 B_3$$Le tenseur métrique
Qu'est-ce que le tenseur metrique ?
Le tenseur métrique est l'outil qui définit comment mesurer les « distances » dans l'espace-temps. En géométrie euclidienne ordinaire, la distance se calcule avec le théorème de Pythagore : $d^2 = \Delta x^2 + \Delta y^2$. Le tenseur métrique généralise cette idée. Dans l'espace-temps de Minkowski, il ajoute un signe moins devant la composante temporelle, ce qui est la signature mathématique du fait que le temps est fondamentalement différent de l'espace.
L'intervalle d'espace-temps $ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2$ définit la géométrie de l'espace-temps de Minkowski. On peut l'écrire de manière compacte avec le tenseur métrique $\eta_{\mu\nu}$ :
$$ds^2 = \eta_{\mu\nu} \, dx^\mu \, dx^\nu$$La métrique de Minkowski
$$\eta_{\mu\nu} = \begin{pmatrix} -1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}$$C'est la convention « surtout plus ». La métrique encode la géométrie de l'espace-temps plat.
Vecteurs contravariants et covariants
Il existe deux types de 4-vecteurs, distingués par la position de l'indice :
- Contravariant (indice supérieur) : $A^\mu = (A^0, A^1, A^2, A^3)$
- Covariant (indice inférieur) : $A_\mu = (A_0, A_1, A_2, A_3)$
Le tenseur métrique convertit entre les deux, il abaisse les indices :
$$A_\mu = \eta_{\mu\nu} A^\nu$$Explicitement : $A_0 = -A^0$, $A_1 = A^1$, $A_2 = A^2$, $A_3 = A^3$. La composante temporelle change de signe ; les composantes spatiales non.
La 4-position
Le 4-vecteur le plus fondamental est le 4-vecteur position :
$$x^\mu = (ct, x, y, z)$$La 4-vitesse
4-vitesse
$$U^\mu = \frac{dx^\mu}{d\tau} = \gamma(c, v_x, v_y, v_z) = \gamma(c, \mathbf{v})$$C'est un véritable 4-vecteur. Sa magnitude invariante est :
$$U^\mu U_\mu = -c^2$$La 4-vitesse a toujours la même « longueur », elle est contrainte de se trouver sur un hyperboloïde dans l'espace des 4-vitesses.
La 4-impulsion
4-impulsion
$$p^\mu = mU^\mu = m\gamma(c, \mathbf{v}) = \left(\frac{E}{c}, \mathbf{p}\right)$$où $E = \gamma mc^2$ est l'énergie relativiste et $\mathbf{p} = \gamma m\mathbf{v}$ est la 3-impulsion relativiste.
La magnitude invariante de la 4-impulsion donne la relation la plus importante de la physique relativiste :
$$p^\mu p_\mu = -\frac{E^2}{c^2} + |\mathbf{p}|^2 = -m^2c^2$$Ce qui donne : $E^2 = (pc)^2 + (mc^2)^2$
La 4-force
La deuxième loi de Newton $\mathbf{F} = d\mathbf{p}/dt$ se généralise en la force de Minkowski :
$$f^\mu = \frac{dp^\mu}{d\tau} = \gamma\left(\frac{1}{c}\frac{dE}{dt}, \mathbf{F}\right)$$Construire des lois invariantes de Lorentz
La puissance du formalisme des 4-vecteurs est que toute équation écrite comme une égalité entre 4-vecteurs est automatiquement invariante de Lorentz.
Par exemple, la conservation de la 4-impulsion :
$$\sum_{\text{initial}} p^\mu_i = \sum_{\text{final}} p^\mu_f$$Cette seule équation contient à la fois la conservation de l'énergie (composante $\mu = 0$) et la conservation de la 3-impulsion (composantes $\mu = 1, 2, 3$).
La recette de la physique relativiste
- Identifier les quantités physiques et les empaqueter dans des 4-vecteurs ou tenseurs
- Écrire la loi comme une équation entre objets ayant la même structure d'indices
- Le résultat est automatiquement valide dans tous les référentiels inertiels
Autres 4-vecteurs importants
Le 4-vecteur d'onde
Pour une onde plane de fréquence angulaire $\omega$ et vecteur d'onde $\mathbf{k}$ :
$$k^\mu = \left(\frac{\omega}{c}, \mathbf{k}\right)$$Le 4-gradient
La dérivée spatio-temporelle forme un 4-vecteur covariant :
$$\partial_\mu = \frac{\partial}{\partial x^\mu} = \left(\frac{1}{c}\frac{\partial}{\partial t}, \nabla\right)$$L'opérateur d'alembertien est :
$$\Box = \partial^\mu \partial_\mu = -\frac{1}{c^2}\frac{\partial^2}{\partial t^2} + \nabla^2$$- Les 4-vecteurs sont des objets à quatre composantes qui se transforment sous les transformations de Lorentz comme les coordonnées d'espace-temps
- La métrique de Minkowski $\eta_{\mu\nu} = \text{diag}(-1, +1, +1, +1)$ définit la géométrie de l'espace-temps plat
- La convention de sommation d'Einstein rend les calculs relativistes compacts et élégants
- 4-vecteurs clés : position $x^\mu$, vitesse $U^\mu = \gamma(c, \mathbf{v})$, impulsion $p^\mu = (E/c, \mathbf{p})$
- Le carré de la magnitude de tout 4-vecteur ($A^\mu A_\mu$) est un invariant de Lorentz
- Les lois physiques écrites comme équations de 4-vecteurs sont automatiquement valides dans tous les référentiels inertiels