- Métrique de Schwarzschild
-
Pour consulter un article plus général, voir : Trou noir de Schwarzschild.
En astrophysique, dans le cadre de la Relativité générale, la métrique de Schwarzschild est une solution des équations d'Einstein. Elle décrit la géométrie de l'espace-temps lorsqu'elle est déformée par le champ gravitationnel d'une masse sphérique, statique (sans rotation) et non chargée entourée de vide. Cette masse peut être une étoile, une planète ou un trou noir de Schwarzschild.
Cette solution a été découverte par l'astrophysicien allemand Karl Schwarzschild[1] en décembre 1915[2]. C'est la première solution exacte des équations d'Einstein comprenant une masse. La communauté scientifique considère qu'elle est adaptée aux problèmes astrophysiques où le champ gravitationnel et le moment angulaire de la masse centrale sont faibles. Dans le système solaire par exemple, on peut parfaitement considérer la masse totale des planètes comme négligeable par rapport au Soleil. La vitesse de rotation du Soleil est elle-même quasiment nulle si on la compare à la vitesse de la lumière.Sommaire
Conventions mathématiques
- On utilise le système de coordonnées désignant respectivement le temps, la distance radiale, la colatitude et la longitude. Ces variables peuvent prendre les valeurs suivantes.
- Le cas considéré par Karl Schwarzschild est celui d'un espace symétrique, sphérique, statique, non chargé et vide à l'extérieur du corps central. Mathématiquement, cela signifie que :
- Un espace-temps avec symétrie sphérique, on dit aussi isotrope, est un espace-temps où toutes les composantes de la métrique sont inchangées lors d'une opération de rotation. Mathématiquement, les transformations et laissent la métrique inchangée.
- Un espace-temps est statique lorsque les composantes de la métriques sont indépendants du temps. Mathématiquement, la transformation n'a pas d'incidence sur la métrique. Cela implique que , où l'on a utilisé la convention .
- Une solution dans le vide est une solution pour laquelle le tenseur énergie-impulsion de l'équation d'Einstein est nul : en dehors du corps central. Pour le cas d'une constante cosmologique nulle, cela implique que , où est le tenseur de Ricci.
- On utilise par défaut la signature métrique LLSC[3] suivante (— + + +).
Diagonalisation de la métrique
Les conditions sur l'espace-temps décrites plus haut permettent de simplifier la métrique. Par exemple, la condition d'un espace-temps statique impose que si l'on applique la transformation de coordonnées , les coefficients de la métrique changent de la manière suivante :
- ()
Mais, on a imposé que g'μt = gμt. Ce qui implique que :
- ()
De manière similaire, les transformations de coordonnées et donnent respectivement :
- ()
- ()
En combinant tous ces résultats, on obtient :
- ()
En conséquence, la métrique a la forme suivante :
où les quatre composantes de la métrique (gtt, grr, gθθ et gϕϕ) sont indépendantes de la coordonnée de temps.
Simplification des composantes de la métrique
Sur chaque hypersurface où t, θ et ϕ sont constants (i.e. sur chaque ligne radiale), grr ne doit dépendre que de r (par la condition de symétrie sphérique). Donc grr est une fonction d'une seule variable :
Un argument similaire appliqué à gtt implique que :
Sur les hypersurfaces où t et r sont constants, on impose que la métrique est celle d'une 2-sphère :
En choisissant une de ces hypersurfaces (celle avec un rayon r0), les composantes de la métrique restreintes à cette surface (que l'on dénotera et ) doivent être inchangées sous les opérations de rotation de θ et ϕ (de nouveau, par symétrie sphérique). Ainsi, comparant les formes de la métrique de cette hypersurface donne :
ce qui implique immédiatement :
- et
Comme cela est imposé pour chaque hypersurface (en d'autres termes pour une quelconque valeur de r), on a :
- et
Ainsi, la métrique peut être écrite sous la forme :
où A et B sont des fonctions de r encore à déterminer. A et B doivent être non-nulles partout (ou alors la métrique serait singulière en ces points).
Équations de champs
Afin de déterminer les fonctions A et B, on utilise l'équation d'Einstein dans le vide mentionnée plus haut :
où Rμν est le tenseur de Ricci. Parmi ces équations, seules quatre sont non-triviales, et après simplification, on obtient :
La quatrième équation est simplement la deuxième multipliée par sin 2θ. En soustrayant la première et la troisième, on obtient :
où K est une constante non-nulle. En remplaçant dans la deuxième équation, et en simplifiant, on a :
dont la solution générale est :
avec une constante réelle non-nulle S. En conséquence, la métrique pour une solution statique, symétriquement sphérique et dans le vide, s'écrit :
L'espace-temps représenté par cette métrique est asymptotiquement plat. Lorsque , la métrique s'approche de celle de Minkowski, et la variété de l'espace-temps ressemble à celle de l'espace de Minkowski.
Approximation du champ faible
Pour calculer les constantes K et S, on utilise l'« approximation du champ faible ». C'est-à-dire que l'on se place loin du centre, là où le champ de gravitation est faible. On considère donc une condition aux limites. À l'infini, la métrique de Schwarzschild doit être identique à l'espace plat de Minkowski. En partant des résultats généraux de la relativité restreinte, toutes les composantes de la métrique peuvent être déterminées sans faire appel au calcul tensoriel[4].
G est la constante gravitationnelle, M est la masse de l'objet central, et c est la vitesse de la lumière.- Estimation de la première fonction gtt.
On considère un événement fixe : dr = dθ = dϕ = 0. Le temps propre est alors donné par :
dτ2 = gttc2dt2 Le principe d'équivalence nous donne l'expression entre la coordonnée temporelle et le temps propre mesuré dans l'entourage de la distribution de masse.
On considère maintenant une expérience de chute libre. Une particule tombe lorsqu'elle est soumise au champ de gravitation. Elle possède les vitesses vA et vB lorsqu'elle se situe aux points A et B. On applique la loi de conservation de l'énergie.
En relativité restreinte, si τ représente le temps propre de notre particule, on a :
Avec les estimations précédentes, dans le cas où le champ est faible, on a :- Estimation des fonctions grr.
Faisons l'hypothèse que le déterminant du tenseur métrique est approximativement minkowskien.
Dans ce cas, il est diagonal et nous avons :
Puisque la métrique est lorentzienne à l'infini, nous avons : gttgrr = − 1. L'approximation de gtt fournit celle de grr
En utilisant par convention la signature (— + + +) les deux premières composantes du tenseur métrique sont :
- Estimation des fonctions gθθ et gφφ.
Puisqu'en coordonnées sphériques : g = gttgrrgθθgϕϕ = − r4sin2θ , avec la même convention pour la signature métrique et les résultats obtenus pour les premières composantes, on déduit la relation : gθθgϕϕ = r4sin2θ
gθθ = r2 et gϕϕ = r2sin2θ
La métrique de Schwarzschild peut finalement s'écrire sous la forme suivante :.
En utilisant la convention G = c = 1 :
.
Une singularité est atteinte lorsque , c'est-à-dire lorsque la coordonnée du rayon r vaut : 2M.
Ce rayon est appelé le rayon de Schwarzschild, le rayon gravitationnel, la surface de Schwarzschild, l'horizon de Schwarzschild, la sphère de Schwarzschild ou encore la singularité de Schwarzschild. Cette dernière expression, maintenant désuète, est surtout utilisée dans l'ancienne littérature scientifique.
L'horizon de Schwarzschild
Lorsque r = 2M, le coefficient gtt de la métrique tend vers zéro et grr devient infini. On nomme ce rayon l'horizon des événements. Lorsque r = 2M on peut voir que le rôle de r et t comme coordonnée spatiale et temporelle est inversé. Dans la région r > 2M, la direction de t est du type temps (gtt < 0) et celle de r de type espace (grr > 0). La direction s'inverse lorsque un observateur franchit l'horizon des événements. Cela signifie qu'à l'intérieur du rayon de Schwarzschild, la distance d'un observateur à r = 0 est une mesure temporelle !
Cette singularité de la métrique est apparente car il s'agit d'une pathologie du système de coordonnées utilisé. Si nous étions en présence d'une véritable singularité, c'est-à-dire une région de l'espace-temps où les quantités physiques telles que l'énergie, la pression… deviennent infinies, alors la courbure de la métrique exprimée par le tenseur de Riemann serait elle-même infinie. Or cette courbure est parfaitement déterminée lorsqu'un observateur franchit le rayon de Schwarzschild. L'invariant de courbure K = M / r3 est régulier. Les composantes du tenseur de courbure de Riemann sont infinies uniquement lorsque r = 0.
Il est possible d'établir un jeu de coordonnées, plus adaptées pour un observateur comobile s'approchant du corps céleste, dans lequel la métrique est parfaitement régulière au niveau de l'horizon. Un observateur traversant l'horizon ne détecterait donc pas d'évènement particulier. Un exemple est fourni par les coordonnées de Kruskal-Szekeres. Dans le cas idéalisé où le corps céleste est ponctuel au centre de la région interne à l'horizon, on peut montrer qu'il y existe une singularité réelle. À cet endroit un observateur détecterait nécessairement une divergence de toutes les quantités physiques observables.
Puisque l'horizon des événements dépend uniquement de la masse M, on peut déterminer les rayons de Schwarzschild des différents corps célestes usuels.
Paramètres physiques et rayon de Schwarzschild approximatif de quelques corps célestes. Objet céleste Masse Rayon Rayon de Schwarzschild Terre 6.1024 kg 6.103 km 0,9 cm Jupiter 2.1027 kg 7.104 km 3 m Soleil 2.1030 kg 7.105 km 3 km Pulsar 2.1030 kg 10 km 3 km Sirius A 2 1,75 6 km Au-delà de l'horizon: les coordonnées de Kruskal-Szekeres
Éléments historiques
Les équations d'Einstein étant covariantes, les physiciens et mathématiciens ont cherchés de nouveaux systèmes de coordonnées sans singularité et surtout plus susceptibles de représenter la totalité de la géométrie de Schwarzschild. Paul Painlevé et Allvar Gullstrand ou encore Georges Lemaître ont publié plusieurs tentatives dans ce domaine. Mais c'est au physicien Arthur Eddington que l'on crédite la création du premier système de coordonnées non singulier à r = 2M en 1924[5]. Pourtant, Synge démontrera que le système d'Eddington-Finkelstein - il est redécouvert par Finkelstein dans les années 50 - ne recouvre qu'une partie de la géométrie de l'espace-temps de Schwarzschild[6]. Il faudra attendre les années 60, pour qu'indépendamment l'un de l'autre, Martin Kruskal et George Szekeres réussissent à établir des coordonnées où les géodésiques peuvent traverser la singularité apparente.
Ce système est très souvent étudié car la variété de Kruskal-Szekeres est l'extension analytique maximale de la variété de Schwarzschild[7].Les coordonnées de Kruskal-Szekeres
Conventions mathématiques: on utilise les unités naturelles (G = c = 1). La signature de la métrique est (– + + +).
Kruskal et Szekeres utilisent des coordonnées sans dimension. u pour la coordonnée radiale. v pour la coordonnée temporelle.
Elles sont définies par des fonctions transcendantes - dont le but est d'éliminer le terme (1 − 2M / r) - par la relation :- u2 − v2 = (r / 2M − 1)er / 2M
De plus, elles différencient deux régions différentes de la géométrie de Schwarzschild :
- Si r > 2M alors
- Si r < 2M alors
On obtient la métrique diagonale :Propriétés
À la pathologie singulière de la métrique de Schwarzschild à r = 2M est substituée la relation v2 − u2 = 1.
On a donc maintenant deux singularités : Les droites r = Cste en coordonnées de Schwarzschild sont les hyperboles u2 − v2 = Cste en coordonnées de Kruskal. Leurs asymptotes sont les bissectrices u = v et u = − v. Les droites t = Cste en coordonnées de Schwarzschild sont les droites v / u = Cste passant par l'origine en coordonnées de Kruskal. Les singularités sont représentées par les frontières des zones hyperboliques grises sur le dessin ci-contre.
Les géodésiques de type lumière sont les lignes orientées à 45°. Il est facile de vérifier que pour ds = 0 , on a du2 = dv2.
La métrique de Schwarzschild différencie deux régions de l'espace-temps délimitées par l'horizon des événements. La région r > 2M est segmentée en deux avec la métrique de Kruskal-Szekeres.La condition r > 2M correspond u2 > v2 à La totalité de la géométrie de Schwarzschild est donc représentée par quatre régions différentes en coordonnées de Kruskal.
La singularité
Notes
- Schwarzschild, K., Über das Gravitationsfeld eines Massepunktes nach der Einsteinschen Theorie, Preussische Akademie der Wissenschaften, Sitzungberichte, 1916, pp. 189-196.
- Hendrik Lorentz, a obtenu indépendamment mais surtout avant Schwarzschild la même solution. Cf. Einstein, A., Œuvres choisies, Relativités I, Ed. Le Seuil, CNRS, Coll. Sources du savoir, n. 9, p. 170. et Einstein, A., Œuvres choisies, Relativités II, n. 18, p. 47. Johannes Droste, un élève de
- "Landau-Lifshitz Spacelike Convention" : Convention de type espace de Landau-Lifshitz.
- Cette approximation n'est pas la méthode utilisée par Karl Schwarzschild pour établir la métrique qui porte désormais son nom. Celui-ci a utilisé le calcul tensoriel.
- Eddington, A. S., A comparaison of Whitehead's and Einstein's formulas, 1924, Nature 113, 192.
- Synge, J. L., The gravitational field of a particule, 1950, Proc. R. Irish Acad. A 53, 83-114.
- Mavridès, S., L'Univers relativiste, Masson, 1973, p. 338.
LANDAU & LIFCHITZ, théorie du champ, édition de la Paix, Moscou, chapitre X à XII, date impression non mentionnée, environ 1970, remarquable
Lien externe
- (en) Schwarzschild Black Hole sur le site scienceworld.wolfram.com
Wikimedia Foundation. 2010.