vérifications expérimentales



RELATIVITÉ GÉNÉRALE

1. Postulats et principes

1.1. Postulat d'équivalence

1.2. Principe de Mach

2. Métriques

2.1. Critère de Schild

2.1.1. Effet Einstein

3. Equations du mouvement

3.1. Equation des géodésiques

3.2. Limite newtonienne

4. Tenseur d'énergie-impulsion

5. Equation d'Einstein des champs

6. Solution de Schwarzschild

6.1. Métrique de Schwarzschild

6.2. Rayon de Schwarzschild

7. Vérifications expérimentales

7.1. Précession du périhélie de Mercure

7.2. Déflexion de la lumière

7.3. Effet Shapiro

7.4. Trous Noirs

Nous allons maintenant passer en revue les quatre vérifications expérimentales classiques du 20ème siècle de la théorie de la relativité générale qui sont :

1. La précession du périhélie qui au niveau des résultats numériques nous posait problème avec les outils de la mécanique classique (cf. chapitre d'Astronomie).

2. La déflexion des ondes électromagnétiques (lumière) passant proche d'un corps stellaire massif qui au niveau des résultats numériques nous posait aussi problème avec les outils de la mécanique classique (cf. chapitre d'Astronomie).

3. La démonstration du critère de Schild (déjà fait dans les paragraphes précédents) comme seul moyen d'expliquer rigoureusement le redshift gravitationnel et l'hypothèse de ralentissement du temps dans un champ gravitationnel.

4. Le retard des signaux électromagnétiques se propageant près de corps massif. Retard désigné sous le nom "d'effet Shapiro" dont les applications numériques sont utilisées pour le fonctionnement du G.P.S et que nous verrons plus loin.

précession du PÉRIHÉLIE DE MERCURE

Traitons donc maintenant un des plus fameux exemples de la relativité générale : la précession du périhélie de Mercure. Nous avions déjà traité dans le chapitre d'Astronomie ce cas mais nous avions mentionné que le résultat théorique numérique ne correspondait pas à l'expérience. Nous allons voir en l'équivalent d'une dizaine de pages A4 de développements détaillés comment la relativité générale permet de réconcilier théorie et expérience.

Pour étudier cas, nous allons utiliser le formalisme lagrangien vu dans le chapitre de Mécanique Analytique.

D'abord, rappelons que nous avons obtenu pour la métrique de Schwarzschild :

equation   (50.292)

D'où en divisant par equation:

equation   (50.293)

et pour abréger les notations, nous poser equation tel que :

equation   (50.294)

Maintenant rappelons que (cf. chapitre de Mécanique Analytique) en unités naturelles :

equation   (50.295)

Donc (c'est très grossier mais cela fonctionne... c'est aussi ça parfois la physique...) :

equation   (50.296)

Enfin cela signifie que le lagrangien est :

equation   (50.297)

Les équations de Lagrange nous donnent pour la equation :

equation   (50.298)

avec donc :

equation   (50.299)

d'où :

equation   (50.300)

et :

equation   (50.301)

d'où finalement pour la coordonnée equation :

equation   (50.302)

Faisons de même pour equation :

equation   (50.303)

et il vient immédiatement :

equation   (50.304)

Faisons de même pour t :

equation   (50.305)

et il vient ici aussi immédiatement :

equation   (50.306)

Dès lors :

equation   (50.307)

Maintenant nous allons supposer que le mouvement de Mercure est dans le plan équatorial tel que equation. Dès lors, la relation :

equation   (50.308)

se simplifie en :

equation   (50.309)

d'où :

equation   (50.310)

Nous avons aussi dès lors l'expression de la ligne d'univers qui se simplifie en :

equation   (50.311)

Remplaçons alors equation dans l'élément de ligne d'Univers :

equation   (50.312)

Considérons aussi r comme fonction equation alors :

equation   (50.313)

d'où :

equation   (50.314)

Ainsi, nous pouvons récrire la ligne d'univers sous la forme :

equation   (50.315)

Faisons un changement de variable en posant :

equation   (50.316)

d'où :

equation   (50.317)

Ce qui donne pour notre ligne d'univers :

equation   (50.318)

ou :

equation   (50.319)

en différenciant :

equation   (50.320)

ou écrit autrement :

equation   (50.321)

ce qui se simplifie et factorise en :

equation   (50.322)

La première solution possible est bien évidemment :

equation   (50.323)

d'où comme r=1/u :

equation   (50.324)

Le mouvement circulaire est donc aussi une solution du problème de Kepler en relativité générale dans un champ de Schwarzschild.

L'autre solution sera :

equation   (50.325)

Soit écrit autrement :

equation   (50.326)

elle correspond à l'orbite du problème de Kepler.

Faisons la comparaison en considérant en mécanique de Newton le mouvement d'une particule de masse m dans un potentiel U. Le lagrangien (cf. chapitre de Mécanique Analytique) est alors :

equation   (50.327)

En coordonnées polaires nous avons déjà vu dans différents chapitre (de Calcul Vectoriel et d'Astronomie) que la vitesse s'écrit alors :

equation   (50.328)

En utilisant l'équation d'Euler-Lagrange nous avons l'équation du mouvement :

equation   (50.329)

ce qui donne :

equation et equation   (50.330)

d'où :

equation   (50.331)

et comme nous l'avons vu dans le chapitre d'Astronomie :

equation   (50.332)

est la constante des aires. Introduisons :

equation   (50.333)

d'où :

equation   (50.334)

et donc :

equation   (50.335)

Ainsi :

equation   (50.336)

L'équation :

equation   (50.337)

devient alors :

equation   (50.338)

Or :

equation   (50.339)

d'où :

equation   (50.340)

soit :

equation   (50.341)

ou :

equation   (50.342)

Il s'agit simplement de la "formule de Binet non relativiste" qui donne donc la relation entre u=1/r et equation pour une force centrale. Dans le cas d'un potentiel newtonien :

equation   (50.343)

d'où :

equation   (50.344)

avec pour rappel :

equation   (50.345)

Or, rappelons la forme de celle que nous avions obtenue avec la relativité générale :

equation   (50.346)

Ainsi, nous voyons que le terme analogue en relativité est :

equation   (50.347)

et que la relativité générale ajouter le terme equation. Or, comme en relativité générale :

equation   (50.348)

Alors :

equation   (50.349)

Or, dans le cas de l'approximation des champs faibles :

equation   (50.350)

d'où :

equation   (50.351)

donc finalement :

equation   (50.352)

Ceci dit, il est vraiment intéressant de remarquer que l'équation pour la relativité générale :

equation   (50.353)

peut être interprétée comme l'équation de Binet pour la mécanique classique :

equation   (50.354)

avec le potentiel :

equation   (50.355)

avec equation.

Revenons maintenant à notre équation :

equation   (50.356)

Nous aimerions savoir si le deuxième terme à gauche de l'égalité est négligeable ou non par rapport au premier terme de gauche de l'égalité et ce afin de pouvoir appliquer la théorie des perturbations.

Nous allons d'abord poser à l'aide de l'approximation des champs faibles faite plus haut :

equation   (50.357)

Maintenant calculons le rapport :

equation   (50.358)

Rappelons qu'en coordonnées polaires :

equation   (50.359)

en approximation nous pouvons grossièrement poser que :

equation   (50.360)

Dès lors pour Mercure... :

equation   (50.361)

Ainsi nous voyons de suite que nous pourrons appliquer les théories variationnelles sur le terme equation. Ainsi, posons :

equation   (50.362)

L'équation :

equation   (50.363)

prend alors la forme :

equation   (50.364)

Pour résoudre cette équation différentielle, nous allons utiliser l'approche de la théorie des perturbations (cf. chapitre de Calcul Différentiel Et Intégral). Nous allons donc nous intéresser à une solution de la forme de Taylor en deuxième ordre seulement en equation :

equation   (50.365)

equation sont bien évidemment dépendants de equation et devront être déterminés! Pour cela, nous savons qu'il faut remplacer l'expression précédente dans l'équation différentielle telle que :

equation   (50.366)

Ce qui donne :

equation   (50.367)

et se simplifie en :

equation   (50.368)

où rappelons que :

equation   (50.369)

est l'équation classique obtenue plus haut :

equation   (50.370)


considérons la solution du type :

equation   (50.371)

D est une constante arbitraire. Or, comme nous l'avons vu dans le chapitre d'Astronomie dans le cas de la précession du périhélie :

equation   (50.372)

est au fait une ellipse. Ce qui signifie que toute solution de la forme :

equation   (50.373)

est aussi une ellipse!


Pour l'équation en equation :

equation   (50.374)

qui se simplifie en :

equation   (50.375)

Puisque (cf. chapitre de Trigonométrie) :

equation   (50.376)

Il vient :

equation   (50.377)

Pour déterminer equation, décomposons la relation précédente en trois termes :

equation   (50.378)

Ce qui nous donne immédiatement :

equation   (50.379)

Finalement :

equation   (50.380)

La solution cherchée est finalement :

equation   (50.381)

C'est donc avec :

equation   (50.382)

qu'il faut calculer le déplacement du périhélie (on y arrive...).

Nous voyons relativement vite en observant la relation précédente que le seul terme dont l'amplitude n'est pas constante est equation.

Rappelons alors que (cf. chapitre de Trigonométrie) :

equation   (50.383)

Ce qui peut grossièrement s'écrire aussi en première approximation :

equation   (50.384)

d'où :

equation   (50.385)

Nous savons que l'orbite d'ordre zéro est :

equation   (50.386)

L'effet du dernier terme :

equation   (50.387)

est donc d'introduire une petite variation périodique dans la distance radiale. Ce terme n'affecte pas le déplacement du périhélie. C'est le terme equation dans :

equation   (50.388)

qui introduit une non-périodicité qui peut être non négligeable dans le cas où equation est grand.

Le périhélie (point le plus proche du Soleil) se présente donc quand r est minimum soit equation maximum. Or, u est maximum quand le terme qui nous intéresse est maximum, c'est-à-dire :

equation   (50.389)

Nous avons approximativement :

equation   (50.390)

Pour deux périhélies successifs, nous avons un intervalle :

equation   (50.391)

au lieu de equation. Ainsi, le déplacement pour une révolution est :

equation   (50.392)

K est donc la constante des aires et M la masse de l'astre central et puisque :

equation   (50.393)

Bref, nous avons au final:

equation   (50.394)

Relation à comparer avec celle que nous avons obtenue dans le chapitre d'Astronomie avec un traitement newtonien classique:

equation   (50.395)

Nous retrouvons donc à la perfection le facteur 6 qui manquait dans les traitement classique!

Pour Mercure une application numérique donne :

equation   (50.396)

et l'expérience donne equation.

Pour terminer sur ce sujet, signalons une deuxième écriture fréquente dans la littérature concernant le résultat obtenu. Effectivement, nous avons démontré dans le chapitre d'Astronomie que le paramètre focal était donné par:

equation   (50.397)

Il reste donc:

equation   (50.398)

et nous avons démontré aussi dans le chapitre de Géométrique Analytique que:

equation   (50.399)

Il vient donc au final la forme la plus classique:

equation   (50.400)