Introduction la relativit gnrale

Cours de relativit gnrale

Didier Lauwaert. Copyright 2013.
I. Introduction II. Lespace-temps II.1. La mesure de lespace et du temps
Mesures ; Espace-temps courbe ; Coordonnes

II.2. Leffet de la gravitation II.3. Espace courbe II.4. Espace-temps courbe II.5. Principe dquivalence
Principe dquivalence faible ; Principe dquivalence fort ; Consquences ; Formulation moderne

II.6. Godsiques III. Mtrique

Mtrique de lespace tangent ; Mtrique de lespace-temps courbe ; Les distances ; Points voisins ; Mtrique ; Forme gnrale

IV. Drive covariante IV.1. Transport parallle

Comparaison de deux vecteurs ; Diffrentielle

IV.2. Connexion
Symboles de Christoffel ; Relations entre les symboles ; Relations avec la mtrique

IV.3. Drive covariante V. Equation des godsiques VI. Tenseur de courbure VI.1. Courbure
Courbures intrinsques et extrinsques ; Rayon de courbure ; Excs sphrique

VI.2. Tenseur de courbure

Transport parallle sur un circuit ferm ; Drive seconde ; Symtries ; Autres tenseurs de courbure

VI.3. Forces de mare

Dviation godsique et forces de mare ; Equation de dviation des godsiques

VII. Equation dEinstein

Limite newtonienne ; Equation dEinstein

VIII. Solutions symtrie sphrique VIII.1. Mtrique statique symtrie sphrique

Intervalle ; Mtrique ; Connexion ; Courbure

VIII.2. Mtrique de Schwartzchild VIII.3. Dplacement du prihlie VIII.4. Dviation des rayons lumineux IX. Les trous noirs IX.1. Formation des trous noirs IX.2. Godsiques
Godsiques dans lespace-temps de Schwartzchild ; Consquences

IX.3. Horizon
Nature de la singularit ; Horizon des vnements

IX.4. Coordonnes
Coordonnes de Novikov ; Coordonnes de Eddington-Finkelstein ; Coordonnes entrantes ; Coordonnes sortantes ; Coordonnes de Kruskal-Szekeres ; Diagramme de Kruskal-Szekeres

X. Les ondes gravitationnelles X.1. Champ gravitationnel faible X.2. Transformation des coordonnes X.3. Condition dharmonicit X.4. Ondes gravitationnelles X.5. Tenseur de polarisation
Ondes planes ; Dtection

XI. La cosmologie

XI.1. Modle standard

Donnes observes ; Modle dvolution ; Nuclosynthse ; Formation des atomes ; Formations des toiles

XI.2. Modles en relativit gnrale XI.2.1. Mtrique isotrope

Forme standard ; Mtrique ; Connexion ; Tenseur de Ricci

XI.2.2. Coordonnes comobiles

Dfinition ; Particules initialement au repos ; Symtrie sphrique ; Mtrique ; Connexion ; Tenseur de Ricci

XI.2.3. Mtrique de Robertson-Walker

Equation dEinstein ; Mtrique de Robertson-Walker

XI.2.4. Modles dunivers

Modle elliptique ou sphrique ; Modle euclidien ; Modle hyperbolique

XI.2.5. Equations fondamentales XI.2.6. Dcalage vers le rouge XI.2.7. Loi de Hubble XI.3. Gomtrie et topologie
Visualiser lunivers ; Topologie

XII. Rfrences

I. Introduction
La relativit gnrale est la thorie relativiste de la gravitation. La relativit gnrale est avant toute chose une extension de la relativit restreinte tous les rfrentiels acclrs. Mais elle relche aussi la condition dun espace euclidien et par lusage du principe dquivalence, elle devient aisment une thorie de la gravitation. Elle fascine par ses prdictions et ses applications relatives aux trous noirs et la cosmologie. Mais cest aussi une thorie extrmement intressante en soit puisque cest la meilleure thorie de la gravitation dont nous disposons. Les efforts actuels portent sur les aspects exprimentaux mais aussi sur le mariage de la relativit gnrale avec les autres thories physiques, et en particulier la recherche dune thorie quantique de la gravitation. Mais avant den arriver l, il faut dabord connaitre la relativit gnrale classique. Les connaissances pralables sont : La relativit restreinte. Les vecteurs et tenseurs (normalement bien connus avec la relativit restreinte). Lalgbre et lanalyse. Une connaissance approfondie est indispensable. Ce cours ne sera pas exhaustif, et de loin. Il se veut une introduction gnrale au sujet. Nous essayerons den donner une prsentation aisment abordable. Les mathmatiques restent toutefois incontournable, quelle que soit lapproche, la relativit gnrale ncessite beaucoup defforts. Nous tenterons toutefois une approche la plus physique possible pour mieux sentir les diffrents lments intervenant dans la thorie. Outre des rfrences des expriences relles, nous utiliserons des expriences de pense pour illustrer les raisonnements mais aussi une approche gomtrique sans pour autant plonger dans les eaux profondes de la gomtrie diffrentielle. Nous ferons toujours au plus simple. La difficult des exercices sera indique par des toiles. - . Facile. - . Normal.

. Difficile.

II. Lespace-temps II.1. La mesure de lespace et du temps

Mesures
Physiquement, la mesure de lespace et du temps utilise les mmes instruments que dans le reste de la physique et la relativit restreinte. On utilise des talons de longueur pour mesurer les distances et des horloges talonnes pour mesurer le temps. La conception de ces instruments et leur usage respecte le principe de relativit, ici gnralis tous les rfrentiels. Cela signifie en particulier que lon veille ce que dans un environnement donn, quel que soit le rfrentiel de linstrument, sa conception, ses rglages et usages soient conformes des standards bien prcis (tablis par les bureaux de mtrologie). Ce qui donne une base sre de comparaison des mesures. On sait que, tant que la gravit nest pas trop leve comme dans notre environnement et tant que lon se limite des distances faibles et des dures faibles, la relativit restreinte est parfaitement confirme par lexprience. On peut donc utiliser celle-ci dans tout voisinage suffisamment petit de tout point. En particulier, la vitesse de la lumire dans le vide est invariante et constante ce qui autorise son usage dans toutes les mesures. Dans un tel voisinage, les principes de la relativit restreinte sappliquent et donc, en particulier, le concept dvnements ponctuels et de dure nulle, pour autant quon se limite des mesures macroscopiques et que ce concept soit lui-mme limit par la prcision des mesures.

Espace-temps courbe
Nous savons dj par avance que nous allons rencontrer le concept despace-temps courbe. Dans cette situation, les notions de distances et de dures deviennent problmatiques. Nous pouvons donc dores et dj nous interroger sur les difficults que cela implique. Imaginez un immense iceberg extrmement dcoup. Vous tes dans une minuscule chaloupe au pied de liceberg et vous disposez dun mtre ruban. Comment mesurer les dimensions de liceberg. Assurment cela est difficile. Non seulement liceberg est grand, trs dcoup, difficilement accessible mais en plus, la plus grande partie est immerge. Vous pouvez imaginer progressivement planter des pitons dans la glace et mesurer les distances entre eux. Avec suffisamment de patience, vous pouvez cartographier liceberg. La difficult est semblable avec lespace-temps. Mais il y a aussi deux difficults supplmentaires. Le temps scoule de manire inexorable et ne laisse pas ncessairement le temps de tout analyser dans un espace-temps en perptuel changement. En plus, il est assez difficile de planter des pitons dans quelque chose daussi immatriel que lespace-temps ! Quelque chose peut-il nous aider ? Est-ce quil existe lquivalent de ces pitons ? La rponse est oui : ce sont tous les vnements qui se produisent dans lespace-temps.

On peut identifier et mesurer tout ce que lon dsire laide des vnements qui se produisent dans lespace-temps. De toute faon, ceux-ci couvrent par dfinition tout ce qui sy passe. On peut donc dire que lespace-temps est dfini par ce qui sy passe. On peut ainsi mesurer les vnements 4 et 5, par diverses dductions en dduire les vnements 1, 2, 3, etc. On peut ainsi tracer un rseau dvnements, avec leurs mesures ou tout au moins de manire abstraite, pour dcrire lespace-temps, rseau contenant les vnements et leurs relations. On peut donc ainsi dcrire lespace-temps de manire relationnelle et en affectant des grandeurs aux vnements et leurs relations aboutir une description gomtrique de lensemble.

Coordonnes
Comment affecter des coordonnes aux vnements ? On pourrait par exemple arpenter des chemins menant depuis un point de rfrence jusqu divers vnements, avec des talons ou des rayons lumineux, et se servir des valeurs mesures pour attribuer des coordonnes en fonction des distances et des dures. Il y a toutefois parier que, dans un espace-temps courbe, les valeurs ainsi trouves dpendent du chemin utilis. Tout comme deux chemins en montagne peuvent avoir des longueurs diffrentes selon les pics et valles rencontrs et ce mme si la distance est identique vol doiseau. Mais ce nest pas grave. Aprs tout, les coordonnes sont essentiellement des tiquettes attaches aux vnements. Et sur ces tiquettes on peut crire tout ce que lon dsire. Limportant est davoir des rgles prcises permettant daffecter ces coordonnes. Cela offre une grande libert, la seule difficult qui reste est alors de faire le lien entre ces coordonnes et dventuelles mesures. Cela peut se faire travers ces rgles.

II.2. Leffet de la gravitation

Considrons le dispositif suivant.

Une paire lectron positron est au repos la hauteur H. Chacune des particules a une masse m. Lnergie des particules est donc . Les particules chutent alors librement sous leffet de la gravit. Lorsquelles atteignent le niveau du sol, elles sont animes dune certaine vitesse et leur nergie totale est donc augmente de lnergie cintique. Pour des hauteurs modres, lexprience nous apprend que lnergie potentielle de gravitation donne par (o g est lacclration de la pesanteur) est convertie en nergie cintique. Les deux particules ont donc chacune une nergie :

Arrives au sol, ces particules sannihilent en donnant deux photons. Chaque photon a la mme nergie E que ci-dessus. Le dispositif est conu pour que les deux photons soient envoys vers le haut. Ceux-ci grimpent alors le puits de potentiel et arrivent laltitude h avec une nergie . Un autre dispositif en altitude utilise alors les deux photons pour reformer un lectron et un positron au repos. La conservation de lnergie implique que :

La mcanique quantique nous enseigne que la frquence des photons est relie leur nergie par la relation : O h est la constante de Planck. Si lon note et la frquence des photons respectivement au sol et en altitude, on a alors :

En grimpant le puits de potentiel, les photons subissent ainsi un dcalage vers le rouge z donn par

Cela signifie que tout rayonnement quittant la surface dun corps massif subit un dcalage vers le rouge en sloignant du corps. Cet effet est dj mesurable la surface de la Terre. Il est aussi aisment observable en mesurant avec prcision les raies spectroscopiques mises par les toiles. Il reste toutefois gnralement faible et ne doit tre pris en compte que pour des dispositifs de haute prcision comme le GPS. Par exemple, pour une hauteur de 1000 mtre sur Terre, on a :

Exercices
1. Calculez le dcalage vers le rouge sur la Lune pour une hauteur de 100 m. Calculez le dcalage vers le rouge dune raie mise la surface du Soleil et reue sur Terre.

II.3. Espace courbe

Considrons deux observateurs situs deux altitudes respectives et avec :

Ces deux observateurs sont immobiles avec des altitudes constantes ce quils peuvent vrifier tout instant en comparant leur position un ensemble de rgles talons disposs verticalement ou par lusage dinstruments tel que des radars. De mme, la constance de la gravit peut tre vrifie avec des instruments tel que des dynamomtres pour mesurer le poids de masses talons ou dacclromtres pour vrifier que lacclration de la pesanteur reste constante. Le premier observateur envoie des impulsions frquence limpulsion est donc : composes de N cycles. La dure de

Le deuxime observateur reoit limpulsion et peut lui aussi compter le nombre N de cycles. Mais le dcalage vers le rouge que subit le signal lui donne une frquence . Par consquent la dure de limpulsion pour le deuxime observateur sera

Cette dilatation du temps peut tre constate en comparant la dure des horloges locales. A contrario, les horloges peuvent utiliser la frquence comme pilote dune horloge atomique, la comparaison locale de avec la dure de limpulsion permet de constater cette dilatation du temps. Ce raisonnement est valable tant donn que chaque rfrentiel est considr comme quivalent du point de vue de la description des lois physiques mais est aussi cohrent avec la mesure exprimentale directe. Effectuons un trac des diffrents vnements et lignes dunivers dans un diagramme de Minkowski.

Les lignes dunivers des deux observateurs sont horizontales puisque leur altitude est constante. Les trajectoires des fronts donde des impulsions, 1 et 2, ne sont pas connues a priori. En labsence de gravit, ce serait des lignes obliques 45. Mais en prsence de gravit nous ne pouvons pas le supposer sans vrification. Tout ce que nous pouvons dire cest que les trajectoires 1 et 2 doivent tre identiques puisque ces fronts donde sont identiques avec la mme nergie (par exemple pour chaque photon), effectuent le trajet sur la mme distance entre les mmes hauteurs et se propagent dans une gravit identique puisque constante.

Par contre, le temps de dure des impulsions sont diffrents, la ligne horizontale suprieure devant tre plus grande que celle infrieure. Mais une telle construction est impossible dans un espace euclidien ou dans lespace-temps de Minkowski ! Cela signifie deux choses : Lespace-temps nest pas de Minkowski en prsence de la gravit. Il doit tre dform afin dautoriser une dformation du paralllogramme. Cest--dire que lespace ou lespacetemps doit tre affect dune courbure. La relativit restreinte nest pas applicable en prsence de la gravit, au moins sur une certaine extension spatiale.

II.4. Espace-temps courbe

Riemann avait dj envisag une description de la physique en employant un espace courbe, mais cela navait pas eu le succs escompt. Est-ce quun espace courbe suffit ou faut-il employ un espace-temps courbe, cest--dire une varit quatre dimensions avec une courbure en chaque point ? Un espace courbe mais sans que le temps soit affect ne suffit pas pour plusieurs raisons : On la vu, la gravit affecte lcoulement du temps. Par consquent une simple distorsion spatiale ne suffirait pas. Dans la section prcdente, cela affecterait la forme des trajectoires 1 et 2 mais rendrait la construction impossible sans que les distances horizontales du graphique (cest--dire le temps) soient affectes. Nous verrons que lon va dcrire les effets de la gravit par la courbure de lespace-temps. Par exemple, les orbites des plantes sont la consquence de la courbure de lespace-temps. Les plantes suivent les godsiques de cet espace courb. Si lon a deux corps passant au mme endroit avec des vitesses ayant mme direction, ces corps devraient suivre la mme godsique de lespace. Ce nest manifestement pas le cas. La grandeur de la vitesse doit intervenir. Leurs lignes dunivers dans lespace-temps nont alors pas la mme direction et la courbure de lespace-temps peut conduire des trajectoires diffrentes. De plus, il est assez vident en regardant la trajectoire de la Lune que lespace nest pas courb au point de permettre une trajectoire circulaire. Cela conduirait une gigantesque dformation des images des toiles. Par contre si la Lune suit une ligne dunivers seulement lgrement courbe dans lespace-temps, le facteur lev dans la composante du temps des intervalles conduit une compression apparente des lignes dunivers lorsquon les exprime en coordonnes x, y, z, t. La faible courbure de la ligne dunivers dans lespace-temps donne alors une courbure importante de la trajectoire dans lespace.

II.5. Principe dquivalence

Principe dquivalence faible
La physique classique introduit deux sortes de masses. La masse inertielle est celle qui intervient dans le principe fondamental de la dynamique :

Elle traduit la rsistance dun corps la mise en mouvement. La masse pesante est celle qui intervient dans la loi de lattraction universelle. Par exemple pour un corps de masse pesante et la terre de masse M avec leurs centres spars de la distance r, la force dattraction est donne par :

Lexprience montre que quel que soit le corps et sa composition, ces deux masses sont proportionnelles avec un coefficient de proportionnalit constant mieux que prs. Si lon choisit des units de mesures de faon avoir une constante de proportionnalit gale un, on a donc : Avec une trs grande prcision.

Principe dquivalence fort

Il est difficile dimaginer que cette galit soit une concidence. Si les deux masses sont systmatiquement gales avec une grande prcision en toute circonstance et pour tout corps, on peut lgitimement se demander si parler de deux masses a un sens. En tout cas, au moins dun point de vue exprimental, on peut affirmer : il nexiste quune seule et mme masse m. Cela a des consquences immdiates. Ainsi, si lon utilise les relations prcdentes, on trouve : Cest--dire que lacclration subie par un corps soumis lattraction terrestre (ou autre) ne dpend que de la masse de la Terre et du lieu (donnant la distance r). Pour peu que le corps en question soit suffisamment petit pour que la gravit ne varie pas notablement dun point lautre du corps et suffisamment peu massif pour ne pas provoquer en retour un mouvement notable de la Terre. Cest gnralement le cas en pratique mais, par exemple, la Lune ne rpond pas ces exigences. Un tel corps est appel corps test. Lacclration ainsi dtermine est appele acclration de la pesanteur, note g et ne dpend pas du corps test considr. Ralisons les expriences suivantes :

On considre une cabine dascenseur opaque. Lobservateur ne voit pas ce qui se passe et na sa disposition que des expriences ralises localement. 1. Lascenseur est pos sur le sol. Lobservateur constate quil pse un poids P. Si une balle de fusil traverse la cabine horizontalement, il peut galement constater que sa trajectoire est lgrement inflchie. Sil lche un objet, celui-ci tombe avec lacclration g. 2. Lascenseur est dans lespace lointain, loin de tout corps massif tel point que les effets gravitationnels sont ngligeables. Mais une fuse place sous la cabine lui communique une acclration constante g. Dans ce cas, il ressentira aussi un poids P gal mg et qui nest rien dautre que la pousse du plancher sur ses pieds. De mme une balle de fusil traversant la cabine aura une trajectoire inflchie puisquelle nest pas soumise la force de pousse et donc non acclre vers le haut . Si lobservateur lche un objet, tant non soumis la pousse, il va rejoindre le plancher avec une acclration g. 3. Lascenseur est sur Terre mais le sol sest drob. Dans ce cas, il va tre en impesanteur. La trajectoire de la balle sera rectiligne et un objet lch par lobservateur va flotter ses cts. Cela est d au fait que lacclration de la pesanteur est la mme pour tous corps et donc ils tombent tous la mme vitesse. 4. De mme, si la cabine est dans lespace lointain sans pousse, lobservateur et lobjet lch seront en apesanteur tandis que la balle va traverser horizontalement la cabine. Du fait du principe dquivalence forte, il y a totalement quivalence entre les diffrents cas. Aucune exprience locale ne permet de distinguer les cas 1 et 2 ou les cas 3 et 4. Par exemple, si lobservateur regarde lextrieur, il ne sagit plus dune exprience locale. De mme, il pourrait essayer de mesurer les forces de mare produites par la Terre ou plus gnralement les variations de lacclration de la pesanteur avec la position. Mais pour raliser cela,

il faut une certaine extension spatiale (pour comparer plusieurs points) et on ne peut plus parler dexprience locale. On peut donc dire que localement, la gravitation est physiquement totalement quivalente une acclration.

Consquences
Tous les repres tant quivalents, les quatre situations ci-dessus doivent pouvoir se dcrire par la situation locale de lobservateur. Les situations 3 et 4 tant quivalentes, on en dduit que sur Terre, les rfrentiels inertiels sont les rfrentiels en chute libre. Il est donc possible de dcrire la gravit uniquement sur des bases purement cinmatiques. Mais on sait aussi que la gravit varie de point en point. Elle diminue avec laltitude et elle change de direction quand on tourne autour de la Terre. Les diffrents repres inertiels ne peuvent donc se dduire simplement de translations vitesse uniforme. Cela signifie que lespace-temps doit tre courbe de manire autoriser des repres inertiels appropris. Nous avions dj constat que lespace-temps devait tre courbe. On rejoint cette conclusion nous disant que lon peut avoir une description locale relie la gomtrie de lespace-temps et de sa courbure.

Formulation moderne
On aboutit ainsi une formulation moderne du principe dquivalence. Lespace-temps peut tre reprsent par une varit diffrentielle courbe quelconque (mais relie la distribution de matire). En chaque point, on a un espace tangent (tout comme on a une droite tangente une courbe ou un plan tangent une surface courbe, sauf points pathologiques) qui est dcrit par la gomtrie de Minkowski. Cet espace tangent permet de dfinir en ce point la classe des repres inertiels, cest-dire les rfrentiels en chute libre.

II.6. Godsiques
Dans cette description gomtrique de la gravit, il nous reste un dtail rgler. On sait que localement, la relativit restreinte est valide. Ce qui signifie que dans lespace tangent, la trajectoire dun corps libre (non soumis des forces) est une droite. Comme ce sont les rfrentiels en chute libre, comme le montre lexprience 3, cela est valable aussi en prsence de la gravit. Un corps non soumis des forces est donc un corps ne subissant pas dautre action que la gravit considre ici comme un phnomne gomtrique et non comme une force. Quelle est la trajectoire globale dans lespace-temps ? Ce ne sera pas une droite puisque lespacetemps est dcrit par une varit courbe. Mais puisque lon a la trajectoire en chaque point, on peut prolonger cette trajectoire de point en point.

Ces trajectoires sont appeles godsiques de la varit. Par exemple, sur la sphre il est clair (en prolongeant indfiniment une ligne de chemin de fer bien droite , localement droite) que les godsiques sont les grands cercles (quateurs, mridiens).

Bien entendu, si des forces sont appliques au corps en mouvement, sa trajectoire ne sera plus godsique. Cest videmment une description intuitive. Nous avons besoin dune approche plus quantitative, ce quoi nous allons nous attacher en commenant par la mtrique.

III. Mtrique
Mtrique de lespace tangent
Lespace tangent obit la gomtrie de Minkowski. Par consquent, on peut choisir un systme de coordonnes cartsien avec lintervalle : O est le tenseur mtrique de Minkowski avec les lments non diagonaux nuls et les lments diagonaux (-1, 1, 1, 1).

Mtrique de lespace-temps courbe

Comment construire la mtrique dun espace-temps courbe ? On peut bien sr donner la mtrique de Minkowski de lespace tangent en chaque point. Mais nous ne savons pas quelle peut tre la relation entre les descriptions entre deux points. Nous avons besoin dune mtrique dcrivant lespace-temps courbe lui-mme. La solution est donne par la notion mme de mtrique : cest un outil permettant de dcrire les distances (intervalles) entre deux points. Les distances Une premire approche est donc de partir de ces distances. On cartographie lespace mtriser avec un ensemble de points remarquables. Pour lespace-temps, ce sera ce qui sy passe, cest--dire les vnements. Prenons lexemple de la surface de la Terre. Dans ce cas, ces points remarquables seront des immeubles, des arbres des rochers, des points deau, etc. Si lon choisit de placer des points environ tous les 500 m, il faut approximativement 20 millions de points pour couvrir toute la surface (nous ignorons par facilit ici la problmatique des ocans). Il faut considrer suffisamment de points pour que les variations locales de la topographie soient prises en compte. Tout dpend de la prcision souhaite. Ne connaissant pas a priori la forme gomtrique de lespace cartographier, on va dresser une table avec la distance entre chaque paire de points, mesure par un processus physique quelconque (par exemple des rayons lumineux changs entre points ou entre vnements, ou des talons de longueur, etc.) Si lon a choisi n points, il faut donc mesurer distances. Pour notre exemple, cela ferait valeurs. Si lon imprimait 200 distances par pages, il faudrait mille milliards de pages pour tout cartographier ! Points voisins Autant de distances nest pas ncessaire pour cartographier lespace. Il suffit de considrer seulement les points voisins. On obtient ainsi une triangulation de la surface. Cest le procd utilis par les gomtres pour cartographier une surface tendue accidente. Combien de points voisins faut-il considrer. Lide intuitive cest que la structure en treilli ainsi constitue par les points et les liens qui les joignent soit rigide . Cest--dire qutant connu les positions des points voisins de P et les distances P, on peut dterminer la position de P sans ambigut. Techniquement, si lespace est N dimensions, il faut N+1 points. Par exemple, pour la surface deux dimensions de la Terre, si vous avez les points P1 et P2 et les distances D1 et D2 P, vous pouvez tracer un cercle de rayon D1 autour de P1 et un cercle de rayon D2 autour de P2. Sauf coup de chance, ces deux cercles auront deux points dintersection. Par consquent, il faut un troisime point pour distinguer ces deux solutions possibles pour la position de P. En pratique les gomtres prennent plus de points afin damliorer la prcision. Mais au moins thoriquement nous savon que nous avons besoin de 5 voisins pour un espace-temps 4 dimensions. Si lon conserve de nombre, notre tableau ne contient plus que 50 millions de distances.

Mtrique Le principe de correspondance nous dit que localement, la relativit restreinte est applicable. Cela signifie que dans un voisinage suffisamment petit du point P, la gomtrie euclidienne est applicable pour lespace ou la gomtrie de Minkowski pour lespace-temps. Cest une situation heureuse car cette gomtrie est bien connue et nous permet de dterminer la position de P partir des points voisins et des distances fournies. Si lon choisit dans le voisinage du point P un systme de coordonnes cartsien, alors la distance entre deux points voisins sera donne par : quatre dimensions. Les distances ds tant donnes, il suffit alors de rsoudre le systme dquations pour connaitre les coordonnes des points tudis. Forme gnrale Nous souhaitons dfinir un systme de coordonnes unique pour lensemble de notre varit courbe. Ce qui signifie que lon ne peut pas choisir un systme de coordonnes cartsien arbitraire en chaque point. Le systme de coordonnes est impos. Lespace voisin dun point reste toutefois euclidien ou de Minkowski. Au pire, nous aurons donc dans lespace tangent un systme daxes qui ne sont pas orthonorms. Auquel cas, la distance prend la forme plus gnrale :

La prochaine tape vidente est de passer une formulation mathmatique infinitsimale :

Bien sr, ce nest quune forme mathmatique. Pour cartographier un espace, on ne va pas disposer une infinit de point. Et pour lespace-temps, nous avons bien dit que celui-ci tait dfini par ce qui sy passe et il y a des endroits o il ne se passe rien. Mais limportant est quaux points physiquement pertinents (vnements, points mesurs,) cette formulation donne les mmes rsultats. Ce qui est toujours possible en choisissant des fonctions qui interpolent les rsultats prcdents. On peut ainsi supposer sans perte de gnralit que la mtrique est une fonction analytique des coordonnes du point P (sauf ventuelles singularits de la varit). En chaque point, est un tenseur. est donc un champ de tenseurs sur la varit.

Il est toujours possible de modifier le systme de coordonnes de manire ce quen un point particulier les axes coordonnes sont orthonorms, ce qui redonne la mtrique de Minkowski : . Mais cela nest possible quen un point. Le tenseur mtrique permet dabaisser et de lever les indices, ce qui est un rsultat standard de lalgbre linaire. Par exemple : . Notons que le dsir davoir un systme de coordonnes unique nest pas toujours possible. Par exemple, il est impossible de cartographier la sphre avec un systme de coordonnes unique ne prsentant aucune singularit. Dans le systme des latitudes et longitudes, les ples constituent des singularits o la longitude est indfinie. Ces singularits sont gnantes puisque ce ne sont pas de vraies singularits, tous les points de la sphre tant quivalents.

On palie cette difficult en tablissant un ensemble de cartes, cest--dire des portions de lespace complet qui se chevauchent et qui toutes runies recouvrent toute la varit (par exemple une carte de lhmisphre nord jusque, disons, la latitude 5 sud et une carte de lhmisphre sud jusqu 5 de latitude nord). On dcrit sur chaque carte un systme de coordonnes appropri ainsi que la manire de passer des coordonnes dune carte une autre dans les zones de chevauchement. Lensemble des cartes constituent un Atlas.

IV. Drive covariante IV.1. Transport parallle

Comparaison de deux vecteurs
Considrons un champ de vecteurs V(P) dfinit en tout point de la varit. Comment comparer la valeur des vecteurs en deux points diffrents ? Dans un espace-temps courbe, la difficult est lie la courbure. Les vecteurs vont diffrer dun point lautre non seulement cause de la variation des vecteurs dun point lautre du champ de vecteur mais aussi cause de la courbure qui change lorientation des axes de rfrence. Il faut donc une mthode prcise pour effectuer la comparaison. Dans un espace plat, la procdure est simple car les vecteurs peuvent tre considrs comme des vecteurs libres, sans point dapplication. On peut alors effectuer une translation dun des vecteurs jusqu ce que les deux vecteurs aient mme point dapplication et les comparer. Dans un espace-temps courbe, lide est deffectuer un transport parallle. Cest--dire que lon choisit une trajectoire, par exemple une godsique, et on dplace le vecteur en gardant son orientation fixe par rapport un repre li cette trajectoire.

On peut alors comparer les deux vecteurs au mme point (les vecteurs bleu et rouge ci-dessus). Notons que la procdure nest pas triviale et dpend du chemin. On peut lillustrer clairement sur la sphre.

Le transport parallle en suivant les vecteurs bleus ou les vecteurs rouges aboutit deux vecteurs diffrents. Heureusement, pour deux points suffisamment proche, il y a une godsique unique les reliant. En suivant les godsiques la procdure est donc sans ambigut. Cette proprit est vidente si on se souvient que localement lespace-temps est identique lespace tangent de Minkowski o une et une seule droite relie deux vnements donns. Mais plus grande distance, ce nest plus ncessairement vrai. Par exemple, les ples dune sphre peuvent tre relis par une infinit de godsiques (les mridiens). Si lon prend deux points on sein dune mme carte sans singularit, ce problme de non unicit ne se pose pas.

Diffrentielle
Considrons un vecteur V en un point donn. On dsire connaitre les vecteurs pour les points voisins. On peut lobtenir en utilisant la diffrentielle. Si lon choisit une base attache la godsique choisie, on aura : En prenant la diffrentielle on a :

Dans lespace-temps de Minkowski, le dernier terme serait nul. Le premier terme traduit la variation intrinsque du champ vectoriel et le deuxime terme la variation due au changement dorientation du repre lorsque lon suit la godsique. Le transport parallle correspond donc :

On peut exprimer la diffrentielle du vecteur de base en le dcomposant sur la base :

Cest ce terme que nous devons maintenant tudier.

IV.2. Connexion
On va partir maintenant dans une petite excursion algbrique pour relier la relation prcdente au tenseur mtrique. Ces petites excursions sont invitables mais nous ferons au plus simple.

Symboles de Christoffel
Les coefficients sont infinitsimaux. On peut donc les crire sous la forme :

Les coefficients sont appels symboles de Christoffel. On dit aussi connexion ou connexion affine. Ce nest pas un tenseur. Vrifions les relations entre les diffrentes grandeurs. En multipliant la dernire relation de la section prcdente, on a :

On peut galement crire ces coefficients sous une forme approprie :

Comme

, on a :

Cela donne ainsi : Et de mme :

Relations entre les symboles

Partons de

En diffrentiant cette relation, on a :

En remplaant par la dfinition des diffrentielles des vecteurs de base, cela donne :
( Comme on a : Alors lexpression prcdente devient = ( ) On peut crire dautre part : ) ( )

En comparant ces deux expressions, on trouve : (1)

Considrons le vecteur M tel que . Sauf cas pathologiques, M a des drives secondes qui ne dpendent pas de lordre de lintgration. On a donc

Dautre part, on a :
( ) ( )

Ce qui signifie que :

Compte tenu de ces relations, on peut crire la drive seconde de M comme

On obtient de mme :

Ces deux relations tant gales, on doit avoir Et donc

Relations avec la mtrique

En utilisant la dernire relation dans (1) , on a :

En effectuant une permutation circulaire des indices, on a donc aussi :

En faisant la somme des deux premires relations et en soustrayant la troisime, on trouve : ( Soit ( ) )

Exercices
1. Considrons un changement de base donn par la matrice de changement de base . Pouvez-vous calculer : a. Comment se comporte la drive ordinaire lors dun changement de base ? b. Comment se comporte la connexion lors dun changement de base ?

Pouvez-vous en conclure quelque chose concernant leur caractre vectoriel ou tensoriel ?

IV.3. Drive covariante

Revenons la forme diffrentielle :

La drive ordinaire nest pas un tenseur, ce qui se comprend assez bien puisque la variation du champ dpend autant de la variation intrinsque de celui-ci que de la variation du tempre le long de la godsique. On souhaiterait donc avoir une forme telle que

La premire expression peut scrire

Soit :

Aprs changement du nom des indices :

Et par comparaison :

Cette forme est appele drive covariante et elle se comporte comme un tenseur. Lorsque lon a des quations relativistes il suffit de remplacer les drives ordinaires par les drives covariantes pour avoir leur forme adapte la relativit gnrale.

Exercices
1. Effectuez le mme exercice que dans la section prcdente mais sur la drive covariante. Vrifiez quelle se comporte bien comme un tenseur.

V. Equation des godsiques

Une particule qui nest soumise aucune force suit dans lespace-temps une trajectoire rectiligne. Cela peut sexprimer simplement en disant que la quantit de mouvement reste invariante.

Dans lespace-temps courbe gnral, cela reste vrai en vertu du principe dquivalence. Mais nous connaissons la diffrentielle dun vecteur :

On peut ensuite choisir un paramtrage quelconque de la trajectoire. Pour une particule massive, lidal est de choisir le temps propre . On a donc :

O u est la quadrivecteur vitesse qui ne diffre de p que par une constante (la masse). Ces relations nous donnent donc :

En exprimant la drive covariante, on trouve : ( )

En utilisant le temps propre, on a : ( Cest--dire : )

Cest lquation des godsiques qui dcrit la trajectoire dune particule libre. On peut montrer facilement que cette quation reste valable pour un rayon lumineux condition de remplacer le temps propre par un paramtrage quelconque s, et en remplaant les vitesses par .

Exercices
1. Une godsique est aussi un extremum de longueur entre deux points. Sauriez-vous le dmontrer ? Hint. Calculez le temps propre entre deux points le long dune trajectoire quelconque. Utilisez les conditions de Lagrange pour calculer la trajectoire qui rend extremum le temps propre.

VI. Tenseur de courbure

Pour la suite, nous avons besoin dune dernire chose : dcrire la courbure de lespace-temps. Nous allons dabord prsenter le concept de courbure en gnral puis voir laspect quantitatif.

VI.1. Courbure
Courbures intrinsques et extrinsques
Il existe, pour les varits (surfaces, courbes, ), deux types de courbure. La courbure extrinsque rsulte de la reprsentation de lobjet gomtrique dans un espace plus grand. Par exemple, lorsque lon reprsente une sphre dans lespace trois dimensions ordinaire. Le fait de replier lobjet sur lui-mme lui donne une courbure.

 La courbure intrinsque est relie la gomtrie de la varit et ne dpend pas de sa reprsentation. On peut illustrer ces deux types de courbures assez facilement. Considrons un cylindre :

Celui-ci peut sobtenir en enroulant une simple feuille plane, sans dformer ni dchirer la feuille. La courbure du cylindre est donc simplement due au fait que nous le reprsentons dans lespace ordinaire par un tel enroulement. La surface du cylindre obit la mme gomtrie que le pan. Cela peut se voir, par exemple, en dessinant un triangle (ou tout autre construction gomtrique) sur la feuille avant de lenrouler. Le triangle ou la construction gomtrique reste inaltre sur la surface du cylindre et si la construction manifeste les proprits de la gomtrie dEuclide, cela reste vrai sur la surface du cylindre. Par exemple, la somme des angles des sommets du triangle vaut 180 aussi bien sur la feuille que sur le cylindre. Considrons maintenant une sphre :

On peut dessiner un triangle (triangle sphrique) sur sa surface en suivant les godsiques. Un triangle constitu de lquateur et de deux mridiens 90 a trois angles aux sommets de 90. La somme vaut donc 270. Cela signifie que la gomtrie de la surface sphrique nobit pas la gomtrie dEuclide. Cela se voit dailleurs en constatant quil est impossible de tracer une parallle une godsique passant par

un point (deux grands cercles se coupent toujours). Sa gomtrie sappelle bien videmment gomtrie sphrique. Le cylindre possde seulement une courbure extrinsque. Tandis que la sphre possde une courbure extrinsque (le fait que la surface nous apparait courbe dans lespace ordinaire) mais aussi une courbure intrinsque. En relativit gnrale, cest la gomtrie de lespace-temps qui est relie aux proprits de la gravit et du mouvement. Par consquent, la courbure importante est la courbure intrinsque. La courbure extrinsque peut tre totalement ignore car il nest pas besoin de dessiner lespace-temps dans un espace plus grand. Lespace-temps peut tre considr pour lui-mme. Les reprsentations graphiques (comme les surfaces dformes par la masse dune toile que vous avez certainement dj vu) peuvent mme tre trompeuses car on ne peut gnralement pas reprsenter lespacetemps dans lespace ordinaire sans perdre lune ou lautre de ses proprits gomtriques (dj du simple fait que lespace-temps est quatre dimensions).

Rayon de courbure
Considrons une courbe. Son rayon de courbure en un point peut tre dfini par le cercle osculateur la courbe (le cercle qui colle au mieux la courbe).

Le rayon de courbure est alors donn par le rayon du cercle. Typiquement, cette courbure correspond la drive seconde de la trajectoire. Si lon a une surface, alors il est possible de dfinir un rayon de courbure pour chaque courbe de la surface passant par un point donn.

On assigne un signe la courbure en fonction de la position du cercle osculateur sur ou sous la surface. Les valeurs minimales et maximales de ces rayons de courbure et sont appeles courbures principales. Si ces valeurs sont de mme signe, on dit que la gomtrie est (localement) sphrique. Si une des valeurs est positive et lautre ngative, on dit que la gomtrie est hyperbolique. Enfin, si une des valeurs est nulle, la gomtrie est plane. Cette catgorie est entirement dfinie par le produit . Dans le cas de la gomtrie sphrique, le rayon de courbure de la sphre osculatrice en ce point est donn par . La courbure est dfinie comme : On a donc deux courbures principales La courbure moyenne est dfinie comme . et . et la courbure de Gauss est dfinie comme

Excs sphrique
Revenons au triangle sphrique. Si lon donne la somme des angles en radians, on appelle excs sphrique la quantit :

Considrons langle solide

sous-tendu par le triangle par rapport au centre C dans la sphre :

Le thorme de Gauss-Bonnet montre que : triangle sphrique donn plus haut. Cela montre que vaut zro.

. Vous pouvez le vrifier facilement avec le cas du

est le signe dune courbure sphrique. En effet, pour le plan cette quantit

VI.2. Tenseur de courbure

Transport parallle sur un circuit ferm
Nous avons vu avec le triangle sphrique que le transport parallle dpend du chemin. Par contre, dans un espace-temps plat, le transport parallle ne dpend pas du chemin. Considrer le transport parallle le long dun cycle est donc un bon moyen de dterminer la courbure. Considrons pour cela le carr lmentaire suivant :

Que devient le vecteur

lorsquon le transporte paralllement le long du cycle ABCD ?

Pour cela, calculons dabord la variation du vecteur le long de A, la drive covariante donne :

Ensuite, on calcule la variation de ce nouveau vecteur le long de B

On peut effectuer le mme calcul en utilisant le chemin DC. On a :

La variation sur un cycle est donc simplement : Soit :

Comme on se retrouve au mme point, la drive ordinaire du vecteur na pas deffet sans le dplacement. La valeur trouve dpend seulement de la variation due la courbure, au transport parallle.

Drive seconde
La courbure sobtient donc en soustrayant les drives secondes avec lordre des indices inverss. Calculons cette diffrence. Pour cela, calculons dabord la drive seconde

On change ensuite les deux indices de la drive seconde et on fait la diffrence, ce qui donne : ( )

On voit ainsi apparaitre une quantit appele tenseur de courbure de Riemann-Christoffel.

Symtries
On vrifie les relations suivantes entre les indices du tenseur de courbure : Et

On trouve aussi la relation appele premire identit de Bianchi :

Ces contraintes montrent que toutes les composantes du tenseur de courbure ne sont pas indpendantes. Pour une dimension n, on a composantes indpendantes. On peut ainsi tracer le tableau pour diffrentes valeurs de n : n Nombre de composantes indpendantes 1 0 2 1 3 6 4 20 Une autre identit fort utile est appele seconde identit de Bianchi :

Autres tenseurs de courbure

On obtient le tenseur de courbure de Ricci en contractant le tenseur de Riemann-Christoffel sur deux indices :

Cest un tenseur symtrique. En contractant une fois de plus, on obtient la courbure scalaire :

VI.3. Forces de mare

Dviation godsique et forces de mare
Du fait de la courbure, deux godsiques trs proches et parallles tendant scarter.

Cest ce que lon appelle la dviation godsique. Par consquent, pour que deux trajectoires restent proches, il faut que lune ou les deux ne soit pas une trajectoire godsique et soit donc soumise une force F qui la rapproche de lautre trajectoire. Par raction, la force subie par un objet tendu (comme la boule) est une force de traction tendant tirer lobjet. Chaque partie de lobjet ayant tendance suivre la trajectoire godsique inertielle. Dette force de traction sur lobjet est une force de mare. Elle est une consquence de la courbure de lespace-temps et donc du champ gravitationnel.

Equation de dviation des godsiques

Considrons une godsique dcrite par lquation des godsiques :

Un cart infinitsimal dans les conditions initiales entrane un cart (*) Dautre part :

qui sera donn par :

] dans cette expression et en remplaant dans ) )

En utilisant lquation des godsiques pour (*), on trouve ( ( ) (

Notons On obtient ainsi au final :

la drive covariante le long de la trajectoire.

Exercices
1. Les relations ci-dessus donnent les dviations godsiques. Mais sauriez-vous calculer les forces de mare qui en rsultent ?

VII. Equation dEinstein

Limite newtonienne
Considrons le champ de gravitation newtonien. On sait exprimentalement que la gravit newtonienne est bien respecte dans les cas suivants : Faibles masses. Petites vitesses devant la vitesse de la lumire. Faible gravit. Champs gravitationnels lentement variables ou stationnaires. Lespace-temps est presque plat au moins dans la limite des mesures. Considrons une particule de masse m se dplaant dans un champ gravitationnel. Comme elle se dplace lentement, on peut ngliger devant (facteur c de diffrence). Lquation des godsiques peut alors scrire : ( )

Ecrivons la connexion recherche dans le cas dun champ gravitationnel stationnaire ou lentement variable. Dans ce cas, les drives par rapport au temps sont ngligeables par rapport aux autres termes. Il reste :

Lespace-temps tant presque plat, on crit la mtrique sous forme linarise : O les composantes de h sont trs petites et constants (ou trs lentement variables). En gardant les termes aux premiers ordres, la connexion devient :

En portant ce rsultat dans lquation des godsiques ci-dessus et en ngligeant la drive , on trouve : ( )

La deuxime quation donne de cette valeur, on trouve :

= constant. Donc, en divisant la premire quation par le carr

Equation valable trois dimensions. Si la gravit est produite par un corps massif de masse M, comme la terre, le potentiel newtonien classique est donn distance r de ce corps par : O G est la constante de gravitation universelle. Et lquation du mouvement classique en prsence de ce potentiel gravitationnel scrit comme pour tout mouvement dans un potentiel :

La comparaison montre donc que : + constante A linfini, trs loin du corps massif, la gravit nagit plus. Lespace-temps en ce lieu doit tre sans courbure, identique lespace-temps de Minkowski, et par consquent . Comme , on a alors :

Notons que nous avions reli la dilatation du temps gravitationnelle au potentiel gravitationnel. Or la dilatation du temps est directement donne par la variation de avec r. On aurait pu ainsi retrouver ce rsultat par ce biais. Considrons un corps massif de densit , le potentiel gnr obit lquation de Poisson :

De plus, pour un tel corps, le tenseur nergie-impulsion donne :

Ce qui nous conduit au final :

Cette quation nest pas une quation tensorielle. Elle nest mme pas invariante sous les transformations de Lorentz. On sait toutefois que sous les hypothses considres au dbut, dans un rfrentiel attach au corps massif, lquation reliant la mtrique la distribution de masse doit se ramener cette quation.

Lhypothse de gnralisation la plus simple donnant une quation entirement relativiste est de poser :

Le tenseur plac gauche sappelle le tenseur dEinstein. Etant donn lquation ci-dessus, on sattend ce quil soit une combinaison linaire de la mtrique et de ses drives premires et secondes.

Equation dEinstein
Rcapitulons ce que nous savons sur le tenseur dEinstein : 1) Cest un tenseur. 2) Le tenseur nergie-impulsion tant symtrique, doit tre symtrique. 3) La conservation locale de lnergie, sous forme covariante, implique que . Cela implique donc galement . 4) La limite newtonienne donne . 5) est une combinaison linaire de la mtrique et de ses drives premires et secondes. Ecrivons la seconde identit de Bianchi : Ou en composantes mixtes

Si lon effectue la contraction Ou

, on trouve

On contracte nouveau sur Et donc :

, ce qui donne :

Comme ( )

, on a finalement :

Nous avons donc un tenseur candidat respectant la rgle 3 : Avec

On peut aussi crire :

Il respecte videmment les conditions 1 et 2. La condition 5 est assez immdiate. Et on vrifie sans trop de difficult la condition 4. Lquation dEinstein est ainsi :

Comme en gnral le tenseur nergie-impulsion est connu mais pas la gomtrie de lespace-temps que lon recherche, lquation suivante est plus commode. En contractant lquation prcdente avec le tenseur mtrique, on obtient : En remplaant la courbure scalaire ainsi trouve dans lquation dEinstein, on trouve : ( )

Dans le vide, le tenseur nergie-impulsion est nul, ce qui implique que . Cela ne fixe pas entirement le tenseur de courbure de Riemann-Christoffel, il faut pour cela tenir compte des conditions aux limites et des zones o la matire st prsente. Notons que pour un espace trois dimensions, lannulation du tenseur de Ricci entraine aussi lannulation du tenseur de courbure de Riemann-Christoffel. Ce qui signifie que labsence de matire dans le vide y entraine labsence de gravitation. Lorsque Riemann tenta de voir ce que donnerait une physique base sur un espace courbe (sans le temps) il ne pouvait aboutir une thorie de la gravitation. Il fallait pour cela inclure le temps dans la varit espace-temps courbe quatre dimensions (et aussi localement une mtrique de Minkowski). Ce que comprit Einstein.

VIII. Solutions symtrie sphrique VIII.1. Mtrique statique symtrie sphrique

Considrons un champ gravitationnel statique symtrie sphrique. Dans ce cas, la mtrique ne dpend pas du temps et ses coefficients ne sont lis au vecteur position x et dx que par des combinaisons invariantes par rotation, cest--dire , ou .

Intervalle
Ecrivons ainsi lintervalle ou le temps propre comme : Avec

Comme on a une symtrie sphrique, il est naturel de passer aux coordonnes sphriques :

Le temps propre devient :

Afin dliminer les termes non diagonaux, on effectue un changement de coordonnes : On change le nom des fonctions de r. Et aprs un peu de travail on obtient :

Mtrique
La mtrique est donne par : Ce qui donne immdiatement :

Et en prenant linverse de la mtrique :

Connexion
En utilisant la relation donnant les composantes de la connexion, on trouve :

(lapostrophe indique la drive par rapport r)

Courbure
En contractant la relation pour le tenseur de courbure de Riemann-Christoffel, on trouve la relation pour le tenseur de Ricci :

Et en utilisant les rsultats prcdents, on trouve les seuls coefficients non nuls : ( ( ) )

VIII.2. Mtrique de Schwartzchild

Considrons un corps central de rayon R et de masse M. On considrera que : 1) Le corps est symtrie sphrique. 2) Sa densit est isotrope. 3) Il est sans rotation. 4) Le corps est isol. Les trois premiers points peuvent tre considrs comme valides au moins en premire approximation pour les corps clestes habituels tel que le Soleil ou les plantes. Mme la rotation qui est en fait bien infrieure des rotations relativistes. Lisolement est lui totalement relatif. La gravit du Soleil ne peut certainement pas tre nglige dans lenvironnement de la Terre. On considrera toutefois cela comme valide, au moins pour le Soleil lui-mme. Les calculs impliquant labandon de la symtrie sphrique ne peuvent en gnral tre raliss que par des calculs numriques fort lourds sur ordinateur. Nous nous intresserons la mtrique en dehors du corps, r > R. Cest--dire dans le vide. Dans ce cas, le tenseur nergie-impulsion est nul et donc Les relations prcdentes montrent que : ( Et donc : ) .

Ce qui signifie que AB est une constante. De plus, trs loin du corps, la gravit tant ngligeable, on peut considrer que lespace-temps tend vers celui de Minkowski. Cest--dire que . Donc

En remplaant dans lexpression des composantes du tenseur de Ricci, on trouve :

Par consquent, il reste annuler La premire relation ci-dessus donne

Cest--dire Et donc Ou O C est une constante dterminer. Loin du corps massif, l o la gravit est trs faible, la gravit newtonienne constitue une bonne approximation. On a donc O le potentiel gravitationnel est donn par

On introduit une grandeur appele rayon gravitationnel ou rayon de Schwartzchild, galement appel horizon des Schwartzchild ou horizon des vnements pour des raisons que nous verrons. On lappelle aussi rayon du trou noir.

On a donc enfin nos fonctions : ( )

Le temps propre devient : ( ) ( )

La mtrique correspondante sappelle mtrique de Schwartzchild. Plus haut nous avons suppos que r > R. On voit que la mtrique prsente une singularit pour . Pour des corps tels que le Soleil ou la Terre ou lespace-temps est manifestement trs peu courb, une mtrique singulire est gnante. Il faut donc avoir, pour des corps ordinaires, . Pour cette raison il est intressant de calculer le rayon gravitationnel du Soleil et de la Terre. Le Soleil ayant un rayon de 700000 km et une masse de kg, le rayon de Schwartchild vaut 3 km. Et pour la Terre on trouve 8.8 mm. La condition est donc trs largement respecte.

VIII.3. Dplacement du prihlie

Si dans un systme de coordonnes donn la mtrique ne dpend pas dune coordonne pour une godsique du genre temps la composante de la vitesse est constante. En effet, considrons lquation des godsiques sous la forme : On obtient en dveloppant : , alors

En remplaant la connexion par son expression en fonction de la mtrique : ( Or (changement des indices muets) : Donc )

Le dernier facteur est nul par hypothse est donc

Considrons un corps de masse m en rotation autour dune toile sur une orbite quasi circulaire dans le plan quatorial dans un espace-temps dcrit par la mtrique de Schwartzchild. La mtrique est donne par ( ) ( )

La mtrique est donc indpendante de t et de et donc et sont constants. Soit, en utilisant la dfinition de la composante temporelle du quadrivecteur vitesse : ( )

Car (on pose c = 1 par facilit, le remettre plus loin ne pose pas de problme) Pour lautre composante, on choisit une autre constante :

Les constantes E et J correspondent lnergie et le moment angulaire du corps. En utilisant la norme du quadrivecteur vitesse et ( ( ) ( ) ( ) ) (puisque est constant), on a :

En rarrangeant les termes, on a trouve enfin ( ) ( ) ( par )

Remplaons

On a ainsi :

Pour rsoudre cette quation, posons u = 1/r. ( Soit ( ) ) ( ) ( )

En remplaant le rayon gravitationnel par 2GM et en diffrentiant par rapport , on obtient lquation classique de Kepler corrige dun terme en :

Pour trouver une solution approche, partons de lquation classique :

Dont la solution est

Qui montre que la trajectoire est une conique dexcentricit e, de paramtre axe fait un angle avec laxe polaire.

et dont le grand

Le terme supplmentaire (en remettant la valeur de c) est trs petit devant lunit. Pour obtenir une bonne approximation de la solution notre quation, on peut donc le remplacer en utilisant la solution classique.

Pour une orbite quasi circulaire, le dernier terme peut tre nglig (e proche de zro). A nouveau en ngligeant devant lunit, il reste lquation :

La solution gnrale de cette quation peut scrire : ( ( ))

Sur une orbite complte, on a donc un dcalage de langle gal :

Le paramtre de lellipse est

Et donc il reste :

On observe donc un dcalage progressif de lellipse chaque orbite, cest le dplacement du prihlie. On peut calculer le rsultat pour diffrentes plantes et le comparer au rsultat mesur. Le rsultat mesur tient compte du dcalage d aux perturbations mutuelles entre plantes. Les valeurs ci-dessous sont donnes en secondes darc par sicle. Valeur calcule Valeur mesure Mercure 43.03 Vnus 8.6 Terre 3.8 On constate ainsi le bon accord entre calcul et mesure. Historiquement, ce fut le premier succs de la relativit gnrale. Le dplacement du prihlie de Mercure tait connu de longue date mais inexplicable. Les tentatives prcdentes dexpliquer cette dviation par la prsence dune plante inconnue proche du Soleil (appele Vulcain) ayant chou (aucune plante ntant observable la position calcule).

VIII.4. Dviation des rayons lumineux

On peut calculer la dviation des rayons lumineux frlant le Soleil de masse M et de rayon R en physique classique en utilisant les lois de Kepler si on considre que les rayons lumineux sont constitus de corpuscules de lumire de masse m petite mais non nulle. Dans ce cas, leur moment cintique J est tel que :

Le rayon vecteur scrit suivant les lois de Kepler :

La trajectoire tend vers une asymptote lorsque

, cest--dire

. On a donc dans ce cas

Cela donne la relation pour la dviation :

La trajectoire au plus prs du Soleil est

et

. Donc :

Cest--dire :

On obtient donc la valeur approche de la dviation des rayons lumineux :

La dviation prdite par la mcanique classique est donc :

Effectuons le calcul en relativit gnrale. Pour la lumire, on a des godsiques nulles, cest--dire . Les calculs prcdents sur les orbites montraient que : Cela signifie que si tend vers zro, alors j tend vers linfini. Lquation des orbites se rduit alors

Le terme de droite est trs petit. Une premire solution approche est donc donne par

La solution est Cest lquation dune droite :

En portant cette solution approche dans le terme de droite de lquation initiale, on a

La solution de cette quation est :

On prend nouveau le cas

et

La solution ci-dessus pour u = 0 donne

( Langle

tant petit, on peut utiliser la solution approche

Cela conduit finalement la dviation :

La valeur prdite est le double de la valeur classique. Pour le Soleil, le calcul donne :

La mesure de la dviation lors dune clipse solaire en 1919 obtenue en mesurant la position prcise dtoiles proches du disque solaire donna une valeur comprise entre 1.57 et 2.37 secondes darc, confirmant la prdiction de la relativit gnrale. Notons que cette dviation implique aussi que les rayons lumineux venant dtoiles lointaines peuvent tre dvis par des masses importantes (galaxies, amas) situes sur la ligne de vise. La dviation sera diffrente selon que le rayon lumineux passe dun ct ou de lautre de la masse donnant lieu a des images multiples appeles mirages gravitationnels ou effet de lentille gravitationnel. Ces images ont t confirmes en 1981. Elles constituent aussi un moyen efficace pour dterminer la distribution de masse de lobjet dviant. Lorsque la masse dviant les rayons lumineux est plus petite (toile, trou noir, plante), on parle de microlentille et cela se traduit par une amplification de la luminosit des objets darrire-plan car la dviation concentre les rayons lumineux. Cet effet peut tre utile pour dterminer la prsence dobjet peu visible comme des trous noirs ou des plantes extrasolaires et dterminer leur masse.

Exercices
1. Quelles sont les diffrences de comportement entre une lentille traditionnelle en verre et une lentille gravitationnelle ?

IX. Les trous noirs IX.1. Formation des trous noirs

Nous avons vu que dans les cas des corps cleste habituels, toiles, plantes, passe-t-il si ? . Mais que se

Dans ce cas nous aurons trait avec la singularit prsente dans la mtrique. Mais tout dabord, est-ce quun tel corps peut exister ? La rponse est oui, il suffit pour cela que la masse M centrale soit suffisante. Lorsque les corps sont lquilibre, leur poids est compens par diverses forces. Pour les plantes, la force est donne par la cohsion de la matire. Dans les naines blanches, trs compactes, la force est

due au principe dexclusion de Pauli qui empche que les protons et les lectrons ne soient trop proches. Dans les toiles neutrons, cette force est due la force nuclaire, extrmement puissante. Il semble donc quil y a toujours une force capable dempcher leffondrement du corps. Chandrasekar a calcul quil existe une masse limite telle quau-del aucune force connue nest capable dempcher leffondrement. Lorsquune grosse toile arrive en fin de vie, aprs avoir consomm tout son combustible nuclaire et form un cur de fer, la fusion thermonuclaire sarrte brutalement provoquant un effondrement des couches extrieures sur le cur. Le choc extrmement violent, les ractions nuclaires qui sensuivent et lmission dun flux extrmement puissant de neutrinos provoque ljection des couches externes formant une supernovae aussi brillante quune galaxie entire. Le cur, lui, est violemment comprim. Le reste de ltoile est alors habituellement une toile neutrons. Mais si ltoile est suffisamment massive, le cur dpasse la masse de Chandeasekar et il se forme un trou noir. On peut se demander sil nexiste pas dautres forces capables dempcher la formation du trou noir. Il nest pas exclu que des forces inconnues plus fortes que les forces nuclaires conduisent des tats un peu plus dense que les toiles neutrons. Mais cela nempcherait pas la formation dun trou noir. On peut le voir grce deux aspects : Le rayon gravitationnel est donn par , la densit dun corps de mme rayon est donne par , cest--dire . Pour une masse suffisamment grande, on peut aisment avoir un rayon infrieur au rayon gravitationnel tout en ayant une densit relativement faible. Par exemple, un nuage de gaz. Dans ce cas, les seules forces entrant en jeu sont dues la pression et lagitation thermique. Si le nuage se refroidit suffisamment il passera sous la limite. Mme si les rsidus de supernovae sont capables de rsister la compression grce des forces inconnues, la simple fusion de deux tels objets entrainement immdiatement le passage sous le rayon gravitationnel sans que la densit naugmente. On peut donc passer facilement cette limite mme si lon ne connait pas tout le dtail des forces dans la matire. Nous verrons que sous lhorizon, toutes les godsiques sans exception sont diriges vers le centre. Par consquent, une fois la limite franchie, leffondrement devient inluctable. Il nexiste pas dans lespace-temps de chemin permettant la matire de faire demi-tour. Si une rsistance quelconque apparait, la dviation godsique tant toujours en faveur dune chute vers le centre, les forces de mares augmentent sans limite finissant toujours par franchir toute force de rsistance quelle quelle soit. Lobservation a permis de dcouvrir de nombreux trous noirs. Dune part des trous noirs dit stellaire (masse proche des toiles), rsultant des supernovae ou de la fusion de binaires, dautre part des trous noirs super massifs (des millions des milliards de masse solaire) situs au centre des galaxies (dont la ntre) probablement forms trs tt au dbut de la formation des galaxies et ayant fusionn avec dautres trous noirs, absorbs du gaz et des toiles (surtout pendant la phase active des galaxies, les quasars, jusqu faire le vide autour deux) jusqu atteindre leur masse actuelle.

IX.2. Godsiques
Godsiques dans lespace-temps de Schwartzchild
On peut rechercher les godsiques avec et r constant, cest--dire les orbites circulaires.

Partons pour cela de lquation Cest--dire

Pour

, on a :

Pour la mtrique de Schwartzchild, on a : ( ( ( ) ) )

En dveloppant lquation des godsiques ci-dessus, on a :

Si r et

sont constants, alors ( ) , ( , donc )

. Il reste donc

Pour

Le rapport des composantes de la quantit de mouvement sont donns par :

On trouve ainsi finalement : On pose et ainsi .

Pour connaitre le type de godsique, il faut calculer la norme du quadrivecteur impulsion :

Comme (

( )

) et (

, on trouve : ) ( )

On a trois possibilits :

1) Si , alors . Cest une godsique de type temps qui est une orbite circulaire possible pour un corps de masse m. 2) , alors . Cest une godsique de type lumire. Cest une orbite possible pour un rayon lumineux (notons que cette orbite est instable). 3) , lors . Cest une godsique de type espace donc impossible pour une orbite. Notons dailleurs que dans ce cas est imaginaire. Cela veut dire quun dessous dune certaine distance il ny a plus dorbite possible, la chute est inluctable. Cela ne signifie pas que cette zone est impossible atteindre. En particulier avec des trajectoires non godsiques (fuse stationnaire maintenue r constant avec des racteurs par exemple), au moins au-dessus de lhorizon.

Consquences
Imaginons un tube circulaire plac autour dun trou noir. Dans le premier cas ci-dessus, la situation semble normale. Un observateur plac dans le tube voit celui-ci sincurver en direction du trou noir. Dans le deuxime cas, le tube suit les orbites des rayons lumineux. Par consquent, un observateur plac dans le tube verrait un tunnel rectiligne. Cest un effet doptique analogue des jeux de miroirs. Sil regarde suffisamment loin dans le tube, il verrait son propre dos. Dans le troisime cas, lobservateur verrait a contrario le tube sincurver dans le sens oppos, en sloignant du trou noir, donnant ainsi limpression trompeuse que le trou noir est de lautre ct du tube. Cest un effet doptique mais cest aussi une consquence de la courbure de lespace-temps autour du trou noir puisque les godsiques lumires suivent cette courbure. Ainsi, toute mesure effectue localement dans le tube confirmerait ce rsultat trange. Cela conduit des rsultats tranges. Supposons que lobservateur est en dplacement dans le tube pour faire le tour du trou noir. Bien entendu, cette trajectoire nest pas ncessairement godsique, en particulier sous la limite puisquaucune orbite ny est possible. Dans le cas 1, le voyageur subit une force centrifuge qui tend lloigner du trou noir. Les cas 2 et 3 sont plus tranges. En effet, en vertu du principe dquivalence, localement, le voyageur ne doit pas pouvoir distinguer leffet dune acclration de la gravit. Pour lui, son environnement immdiat nest pas ncessairement la consquence de la gravit et localement les lois de la mcanique de la relativit restreinte doivent sappliquer. Elles doivent aussi tre en accord avec la courbure observe sous peine davoir un moyen de distinguer lorigine de cette courbure. Par consquent dans le tube rectiligne , le voyageur ne subit aucune force centrifuge. Et dans le troisime cas, en vertu du principe dquivalence, il subit une force centrifuge le poussant vers lextrieur de la courbure du tube cest--dire vers le trou noir ! Cela montre que pass lorbite lumire, tre en rotation naide pas se maintenir en orbite, que du contraire. Cest dailleurs compatible avec laffirmation quaucune orbite nest possible cet endroit sinon il suffirait de tourner suffisamment vite (ventuellement une vitesse proche de celle de la lumire) pour avoir une force centrifuge arbitrairement grande permettant de se maintenir en orbite.

Cela montre aussi que pass lorbite lumire, il vaut mieux faire un vol stationnaire plutt que de tenter une orbite force plus difficile puisque la force centrifuge vient sajouter la force dattraction du trou noir.

IX.3. Horizon
Nature de la singularit
La mtrique de Schwartzchild contient deux singularits. La premire est en r = 0. Cette singularit est relle car toute quantit y devient infinie, du moins dans lhypothse o la matire serait infiniment concentre au centre du trou noir. Les rsultats montrent que leffondrement est invitable mais cela ne peut sappliquer quen physique classique, non quantique. Il y a fort parier que arriv une matire concentre dans un trs petit volume (de taille atomique) les effets quantiques rendent caduque les raisonnements de la relativit gnrale. En particulier le principe dindtermination dHeisenberg doit certainement conduire une taille minimale trs petite mais non nulle. Mais la mtrique de Schwartzchild possde une autre singularit lorsque . Toutefois, cette singularit na rien de physique et ne rsulte que dun choix malheureux des coordonnes. Pour le voir, considrons le cas dun observateur tombant en chute libre dans le trou noir selon une direction radiale. Dans ce cas et . La composante r de lquation des godsiques scrit : Cest--dire :

En utilisant les valeurs de la connexion dans la mtrique de Schwartzchild, cette relation devient : [( ) ( ) ]

Le terme entre crochets est gal

On obtient ainsi finalement :

Cette quation, fort ressemblante celle de Newton pour un corps en chute libre, ne comporte plus aucune singularit au rayon gravitationnel. Lobservateur atteint lhorizon en un temps propre fini puis continue simplement sa chute. Ecrivons lquation des godsiques pour la composante temporelle : Soit : ( )( ) ( )

On voit sur cette quation que t tend vers linfini lorsque r sapproche du rayon gravitationnel. Pour un observateur lointain (dont le temps propre sidentifie la coordonne t dans cette rgion de Minkowski), lobservateur met donc un temps infini pour atteindre lhorizon. Notons finalement que lobservateur atteint le point r = 0 en un temps propre fini. Quelques calculs montrent quune fois pass lhorizon ce temps est de lordre de la milliseconde pour un trou noir stellaire et de lordre de lheure pour un trou noir super massif. Considrons un observateur au repos dans la mtrique de Schwartzchild. Dans ce cas, son temps propre est donn par : ( ) . En dessous de ce rayon, un observateur nest jamais Par consquent, r ne peut pas tre infrieur au repos, il tombe forcment vers le centre.

Cela signifie que rien ne peut sortir du trou noir. Cest pourquoi la surface (de nature purement gomtrique) sphrique de rayon est appele horizon des vnements ou horizon de Schwartschild. On peut introduire un repre local orthonorm li lobservateur en posant : ( ( ) )

On peut aussi calculer les composantes du tenseur de courbure dans ce repre. Nous donnons le rsultat (nous enlevons les apostrophes pour plus de clart) :

Comme ces composantes sont lies aux forces de mare, on voit que celles-ci deviennent vite trs grande lorsque lon sapproche du trou noir et encore plus de lhorizon. L non plus on ne constate pas de singularit au rayon gravitationnel. Enfin, notons que le caractre singulier de la mtrique de Schwartzchild est immdiatement visible. En effet, hors du trou noir la signature de la mtrique est (-+++) mais sous lhorizon, la signature est (+-++). Cela implique que la signification des variables y est diffrente. t reprsente une coordonne spatiale et r reprsente une coordonne temporelle (avec un signe invers).

Horizon des vnements

Etant donn la courbure extrme de lespace-temps pour les trous noirs, beaucoup des effets qui leur sont lis sont totalement contre-intuitifs. Passons les en revue. Une des particularits de lhorizon est quil constitue une coupure causale dans lespace-temps. Rien de ce qui se passe sous lhorizon ne peut influencer lextrieur. Nous avons vu que le voyageur atteint lhorizon en un temps propre fini alors que pour un observateur extrieur ce temps est infini. Cela montre bien que le futur du voyageur (lorsquil sera sous lhorizon) est sans relation possible avec lextrieur. Des raisonnements approximatifs comme nous observons un trou noir, que se passe-t-il ce moment lintrieur du trou noir nont tout simplement pas de sens. Notons que le voyageur ne se rend pas compte de la traverse de lhorizon. Les quations ci-dessus montrent quil ny a aucun effet spcial lors de ce passage. Le principe dquivalence implique que localement lobservateur en chute libre est en apesanteur et la relativit restreinte sapplique. Aucune exprience locale ne permet de dtecter le passage de lhorizon. Tout au plus peut-il constater laugmentation des effets de mares (un effet qui nest dj plus tout fait local puisquil faut une certaine tendue pour ressentir les forces de mare) mais avec une augmentation uniforme sans rupture au passage de lhorizon. Un autre effet li la rupture causale est le rapport calcul plus haut. Il est directement li au dcalage vers le rouge gravitationnel. On voit donc que la lumire mise prs de lhorizon est trs fortement dcale vers le rouge. Ce dcalage devient infini sur lhorizon. De fait, le nom de trou noir est plutt bien choisi : Du fait de la rupture causale, le trou noir est vraiment un trou . Tout ce qui y rentre y reste. La lumire mise par un corps sapprochant de lhorizon (et cela est vrai aussi dune toile en cours deffondrement) disparait rapidement. On peut calculer le nombre de photons reus lextrieur et pour un trou noir stellaire, lorsquun corps lumineux franchit ou lorsque ltoile en effondrement atteint cette taille, tous les photons sont reus lextrieur en un temps infrieur une fraction de seconde. Aprs, cest le black out total. Etant donn que rien ne sort du trou noir, il nest pas rare dentendre la question : mais alors, quoi est due la gravit extrme hors du trou noir . La question est pertinente. On peut en donner une explication intuitive comme suit. Lorsquune toile en effondrement atteint la taille , elle produit une gravit parfaitement identique au trou noir quelle va devenir. Juste aprs, lhorizon se forme. A ce moment (et mme avant en fait) la dilatation du temps gravitationnelle devient extrme et mme infinie lhorizon et le champ gravitationnel est comme gel . On parle parfois de champ gravitationnel fossile. Une autre question parfois souleve est : si un observateur extrieur voir leffondrement durer un temps infini (tout comme un voyageur met un temps infini pour atteindre lhorizon, le trou noir ne se forme jamais. Peut-on dire alors que les trous noirs nexistent pas ? . Non. Les trous noirs existent. On peut sen convaincre avec trois aspects : Tout dabord, comme signal plus haut, un trou noir devient vite vraiment noir lors de sa formation et absolument aucune exprience lointaine ne permet de savoir ce qui se passe aprs. Un observateur lointain na accs qu une partie de lespace-temps du fait de la rupture causale. Il ne faut pas pour autant en conclure que le reste nexiste pas.

 Si un voyageur plonge vers le trou noir, un observateur extrieur va constater quil ralentit de plus en plus sans jamais franchir lhorizon (du moins tant quil reoit encore un peu de lumire venant de ce voyageur). Il peut donc penser pouvoir le sauver nimporte quand. Il lui suffit de plonger trs vite vers le trou noir, rattraper le voyageur et le ramener. Ce qui est possible puisquil na pas encore franchit lhorizon. Mais cest faux ! En effet, pass une certaine limite, en plongeant vers le trou noir on va diminuer leffet de la dilatation du temps et le voyageur semble se remettre en route. Au final, on le rattrape sous lhorizon ! Rat. Plus loin nous verrons des diagrammes permettant de visualiser plus facilement ce genre de scnario. Une autre question parfois souleve est : si un voyageur franchit lhorizon, il peut alors lancer un rayon lumineux vers larrire. Le rayon ayant une vitesse invariante c, celui-ci ne devrait-il pas sortir du trou noir ? La rponse est non. Le rayon a une vitesse invariante c par rapport au voyageur, donc dans son repre qui est en chute libre. Par ailleurs, tout raisonnement extrieur , dun observateur hors du trou noir qui dirait le rayon part dun point vers larrire et donc serait sans aucun sens, rappelons-nous la rupture causale. Ce que nous pouvons faire de mieux est raisonner en terme de coordonnes et de godsiques et le calcul montre alors que le rayon lumineux continue son chemin vers le centre du trou noir (en suivant la coordonne temporelle r). Le rayon va simplement aller moins vite que le voyageur (ce moins vite est prendre avec un grain de sel car cest les trajectoires coordonnes qui ne reprsentent pas ncessairement des valeurs que lon obtiendrait avec des talons dailleurs difficiles placer sous lhorizon puisque tout y est forcment en train de plonger vers le centre. Toute mesure locale de la vitesse du rayon donnerait toujours c).

Exercices
1. Donnez des exemples de coordonnes sphriques (cartographie terrestre). Quels sont les singularits de ces coordonnes ?

IX.4. Coordonnes
La gomtrie de Schwartzchild tant totalement non intuitive, il peut tre utile de disposer dautres coordonnes et de diagrammes. Chaque systme de coordonnes est utile car il peut mettre en vidence certaines particularits de la gomtrie. En particulier les systmes de coordonnes nayant pas de comportement pathologiques sur lhorizon.

Coordonnes de Novikov
Un tel systme de coordonnes fut introduit par Novikov. En se basant sur la trajectoire de particules tests, il attacha les coordonnes pour aboutir la mtrique plutt complique suivante. La coordonne ( ) est relie une hauteur et au particules

atteinte par les particules tests comme :

(on pose c et G gal 1). Et :

)(

) donne implicitement par [( ) ]

Ici r nest pas une coordonne mais une fonction [ ]

Coordonnes de Eddington-Finkelstein
Ces coordonnes sont un peu lourdes. Essayons autre chose. Eddington et Finkelstein ont considr des photons en chute libre dans le trou noir. Ils utilisent pour cela les coordonnes et qui indicent respectivement les godsiques radiales nulles sortantes et entrantes. Les godsiques sont donnes par ( ) ( )

Les godsiques sortantes sont donnes par constant avec Et les godsiques entrantes par constant avec O est la coordonne tortue dfinie par ( )

Coordonnes entrantes La mtrique devient : ( ) Avec Coordonnes sortantes La mtrique devient : ( )

Ces systmes de coordonnes se comportent mieux que celui de Schwartzchild puisque lon na pas de singularit sur lhorizon. Toutefois une des composantes de la mtrique sy annule et le premier systme convient pour les godsiques entrantes seulement et lautre pour les godsiques sortantes.

Coordonnes de Kruskal-Szekeres
On peut rsoudre les dernires difficults en combinant ce quil y a de mieux dans ces deux systmes de coordonnes. Pour cela on laisse tomber la coordonne r et on utilise la fois et . On a alors Et lintervalle devient : ( )

Mais ce systme reste pathologique sur le rayon gravitationnel. Les surfaces et constants sont bien dfinies mais pas les manires de les indicer. Tout , laissera les surfaces physiquement inchanges. On doit donc changement changer les coordonnes pour liminer la singularit. Un changement correct est suggr par la relation suivante : ( ) ( ) ( ) ( ) Le changement qui va liminer la singularit est alors donn par ( ) ( ) ( ) ( )

Lintervalle devient ( )

r est une fonction des coordonnes : ( ) ( )

On dfinit les coordonnes de Kruskal-Szekeres en quittant les coordonnes nulles : Et donc Lintervalle devient : ( ) ( ( ) ) ( ( ) ) ( ( ) )

Diagramme de Kruskal-Szekeres
On peut se servir de ces coordonnes pour tracer les trajectoires dobjets dans lespace-temps.

On a reprsent lhorizon au-dessus ainsi quune trajectoire typique. La rgion I est lextrieur du trou noir et II la rgion intrieure. On peut aussi se demander ce que sont les rgions III et IV. Ce sont des rgions images des rgions I et II o les trajectoires sont uniquement sortantes. Cest--dire quelles reprsentent un trou blanc. Les rgions I/II sont totalement dconnectes des rgions III/IV (du moins pour ce type de trou noir, la situation peut tre diffrente pour des trous noirs chargs ou en rotation). On ne doit pas considrer ces rgions comme une prdiction de la relativit gnrale. Elles nexistent qu cause du choix particulier des coordonnes qui a ddoubl artificiellement lensemble des coordonnes. On peut considrer ces rgions comme physique si on aime spculer sur les trous blancs, les trous de ver ou autre curiosit de ce genre. Mais on peut aussi les considrer comme non physique, comme un simple artefact du choix mathmatique des coordonnes. Si lon considre le cas dun corps en effondrement, on peut calculer la mtrique complte (y compris dans le corps, o elle est diffrente de Schwartzchild) et dans ces circonstances un trou noir se forme sans les rgions III et IV. En outre, jamais un trou blanc na t observ dans la nature.

Exercices
1. Tracez des diagrammes analogues ceux de Kruskal-Szekeres pour les autres coordonnes (Schwartzchild, Eddington-Finkelstein, et si vous tre courageux, Novikov). 2. Tracez dans ces diagrammes les diffrents scnarios (trajectoires) qui ont t voqus pour les trous noirs : a. Voyageur qui plonge dans le trou noir. b. Un ami qui essaie de le rattraper pour lempcher de franchir lhorizon. c. Le rayon lumineux envoy vers larrire aprs avoir franchi lhorizon.

X. Les ondes gravitationnelles X.1. Champ gravitationnel faible

On considre que lon est dans une rgion de champ gravitationnel faible et on va tudier les perturbations de ce champ (les solutions exactes peuvent tre drives mais sont plus complexes). Dans ce cas, la mtrique est proche de celle de Minkowski et on crit : O le tenseur h est suppos trs petit par rapport lunit. La connexion scrit : ( ) ( )

La deuxime partie est en h et peut donc tre nglige. En portant la premire partie dans le tenseur de Ricci, on trouve : ( )

On obtient donc au premier ordre pour lquation dEinstein : Avec

Le tenseur nergie-impulsion satisfait la loi de conservation

Cette condition applique S donne :

X.2. Transformation des coordonnes

Considrons un changement des coordonnes :

Le tenseur mtrique devient :

Rappelons que lon a :

Et :

Par consquent : ( ( Soit, au premier ordre : )( )( ) )

En posant

on obtient finalement

X.3. Condition dharmonicit

Si est solution de lquation dEinstein linarise au premier ordre, en utilisant lexpression du tenseur de Ricci linarise, on trouve :

On voit facilement que est aussi solution de cette quation. On doit donc fixer une condition de jauge pour fixer de manire unique le tenseur . La jauge harmonique est frquemment adopte :

Aprs un calcul assez long et fastidieux dont nous vous dispensons ici, on obtient la condition de jauge :

Exercices
1. Effectuez ce calcul.

X.4. Ondes gravitationnelles

Avec la condition de jauge, les quations se simplifient et il reste

Une solution particulire de lquation harmonique est la solution retarde : | | ( ) | | Cette solution dcrit une onde gravitationnelle retarde de la forme ( Dans le vide les ondes gravitationnelles vrifient donc ) et donc de vitesse c.

X.5. Tenseur de polarisation

Ondes planes
Introduisons un tenseur de polarisation symtrique . On peut dcrire une onde gravitationnelle comme une onde plane sortante et une onde plane entrante : ( ) ( ) En prenant le dalembertien de cette onde, on trouve :

Et la condition dharmonicit donne :

Effectuons la transformation des coordonnes

Qui correspond une transformation de jauge de la mtrique. On choisi sous forme dondes planes : ( ) (

La transformation des coordonnes devient : ( ) ( ) ( ) Quon peut crire : ( ) ( ) Avec

( ( )

Le tenseur polarisation symtrique ayant six composantes indpendantes. Avec les quatre conditions ci-dessus, il reste donc deux tenseurs qui satisfont les conditions de symtrie, dharmonicit et dinvariance de jauge. Prenons par exemple une onde se propageant vers les z positifs. On a : et La condition dharmonicit donne les relations :

On en tirer quatre tenseurs linairement indpendants, par exemple :

La transformation de jauge donne :

Donc seuls

et

sont invariants de jauge et ont une signification physique.

Par rotation dun angle dans le plan xy, les composantes du tenseur de polarisation se transforment suivant la transformation habituelle O est la matrice de rotation : [ ]

Introduisons deux combinaisons des composantes du tenseur polarisattion :

En appliquant la transformation, on obtient :

Ce qui reprsente des composantes dhlicit 2, 1 et scalaires. Mais comme seuls et ont une signification physique, la gravit est transmise par des ondes gravitationnelles dhlicit 2 (par opposition lhlicit 1 des ondes lectromagntiques).

Dtection
Nous arrterons ici, le sujet est extrmement vaste (trop pour une introduction) : nergie des ondes gravitationnelles, mission, propagation, dtection, Signalons simplement quelques lments quant leur dtection : Les ondes gravitationnelles sont gnralement assez faible et dnergie trs faible. Et leur effet sur la matire est encore plus faible. Leur dtection est donc assez problmatique. Par exemple, mme des ondes assez intenses mises par exemple par la fusion de deux trous noirs voisins ne provoquerait dans une barre dun mtre de long que des fluctuations de longueur infrieure la taille dun atome. Les mthodes actuelles sont bases sur linterfromtrie. Des rayons lasers effectuent un trs grand nombre daller-retour (ce qui accentue artificiellement la longueur) et interfrent (ce qui permet une trs grande sensibilit) dans des dtecteurs de trs grande taille stabiliss contre les vibrations parasites et les variations de pression ou de temprature. Malgr lnorme raffinement de ces dtecteurs, la sensibilit est tous juste suffisante et aucune dtection na encore t mesure. La solution viendra peut-tre de dtecteurs placs dans lespace.

 Mme si une dtection directe na pas encore pu tre ralise, leur dtection indirecte ne fait aucun doute. Les pulsars sont des toiles neutrons tournant rapidement sur elles-mmes (plusieurs milliers de tours par seconde) en mettant des impulsions radios (d leur puissant champ magntique. La rgularit de ces pulsars na dgal que les horloges atomiques. Lorsque deux toiles neutrons sont en orbite lune autour de lautre (pulsars binaires) il y a mission dondes gravitationnelles. Cette mission emporte de lnergie et du moment angulaire provoquant un rapprochement des toiles neutrons. Mme si ce rapprochement reste trs faible, la grande rgularit dmission des pulsars autorise la mesure. Les rsultats dpendent dune manire non triviale des paramtres orbitaux (masses, distance entre toiles) et les rsultats mesurs concordent parfaitement avec le calcul de leffet d lmission dondes gravitationnelles.

XI. La cosmologie XI.1. Modle standard

Le Modle Standard de la Cosmologie est le modle le plus complet et le plus prcis dcrivant lunivers observable dans son ensemble et son volution partir de lexpansion dun tat dense et chaud. Il intgre : Lensemble (considrable) des donnes issues de lobservation et de lexprience. Un grand nombre de thories (relativit gnrale, thermodynamique, physique nuclaire, etc.) Un modle descriptif paramtr sadaptant au mieux aux observations. Ce modle est aussi plus communment appel thorie de big bang , bien que le terme thorie soit assez mal adapt. Ce nom de big bang fut donn par un opposant cette thorie, par drision (thorie du grand boum ), sans se douter du succs populaire que cela aurait. Notons que le Modle Standard ne parle pas de la naissance de lunivers. Il ne dcrit pas linstant zro , pour peu quil y ait un sens parler dun tel instant, car il chappe aussi bien la thorie qu lobservation. Le Modle Standard commence dans un tat accessible lexprience et indirectement lobservation. Nous allons dcrire ici dans les trs grand lignes le scnario gnral de cette volution. Le sujet est extrmement vaste et la cosmologie est une science en elle-mme. Nous nous concentrerons ensuite sur les modles issus de la relativit gnrale.

Donnes observes
Parmi les donnes observes permettant la construction du modle, voyons quelques aspects trs important. Principe cosmologique. Lunivers est globalement homogne et isotrope. Bien entendu, cela est faux petite chelle, sinon nous ne serions pas l. Mme lchelle dun amas de galaxies, lhomognit nest pas frappante.

Par contre, si lon prend de grandes chelles (se chiffrant en centaine de millions de parsecs), on constate une trs bonne homognit. Quelle que soit la (grande) portion de lunivers qui est prise on trouve un nombre peu prs identique de galaxies et damas. A trs grande chelle cette homognit et cette isotropie est mme tout fait remarquable. Actuellement, ltude des carts cette homognit ( petites htrognits, fluctuations) a pris une grande importance. Leur tude est toutefois extrmement difficile car elle ncessite des modles trs labors et des calculs trs complexes faisant appel aux statistiques et de trs lourds calculs numriques. Par consquent, en premire approximation, on considre lunivers parfaitement homogne et isotrope (comme sil tait constitu dun gaz uniforme de galaxies). Cest ce que nous ferons ici. Loi de Hubble. On constate que les galaxies sloignent les unes des autres. La vitesse dloignement est donne par o D est la distance entre les galaxies et H est une constante appele constante de Hubble. Nous ne dcrirons pas ici les mthodes de mesure des distances (parallaxe, chandelles standards). Notons que cette loi linaire est en accord avec le principe cosmologique. Un univers homogne o aucun point nest privilgi implique que chaque observateur, o quil soit, constate une mme loi dexpansion des galaxies. Cela est quivalent dire que cette loi est linaire, ce quon vrifie facilement. On observe toutefois des carts cette loi. o Pour les galaxies proches, la loi nest pas du tout respecte. Andromde, notre plus proche voisine, se dirige mme vers notre galaxie, la Voie Lacte. Ceci est d aux forces gravitationnelles. Lors de leur formation, ces galaxies sattirant mutuellement ont form des amas et des superamas de galaxies lis par la gravitation et chappant donc cette expansion de lunivers. Aux grandes distances, la vitesse dexpansion devient trs grande et surpasse les mouvements locaux . A trs grande distance, il y a un lger cart. Observer loin cest en effet observer lunivers tel quil tait il y a longtemps. Si on observe une galaxie situe cinq milliards danne-lumire, on la voit telle quelle tait il y a cinq milliards dannes (le temps mis par la lumire pour arriver jusqu nous).

La rgle dhomognit et de linarit sapplique lunivers une poque donne. La constante de Hubble peut et a volu au cours du temps. o On constate aussi une curieuse acclration de lexpansion, phnomne encore trs mal compris et que nous naborderons pas du tout ici. Dcalage vers le rouge cosmologique. Plus les objets sont lointains et plus leur rayonnement est dcal vers le rouge. Evolution de lunivers. Comme nous lavons dit, voir loin, cest voir il y a longtemps. Observer les galaxies lointaines cest donc les observer dans leur jeune ge. Ces observations permettent donc dobserver, selon la distance, comment les populations de galaxies ont volus au cours du temps. Par exemple, les quasars, ou galaxies actives, sont des galaxies

dont le trou noir central avale une trs grande quantit de matire. Se faisant le disque daccrtion de ces trous noirs et leurs jets provoque une mission lumineuse colossale, faisant de ces objets des galaxies faciles observer malgr leur distance Ces galaxies actives ont en effet surtout t prsente pendant une certaine priode de lunivers : aprs la formation des galaxies et des trous noirs mais avant que ces trous noirs naient avals tout ce qui les entourait. Abondance des lments chimiques. On peut observer les toiles, les nuages de gaz, et mesurer par spectroscopie labondance des diffrents lments chimiques. Les atomes lourds sont forms dans les fournaises stellaires et les supernov. On observe donc des nuages de gaz peu contamins par ces lments ce qui donne des informations sur la composition primordiale de lunivers, celle ayant exist avant la formation des toiles. On y trouve surtout de lhydrogne et de lhlium et un peu de deutrium, de lithium et des traces de quelques autres lments lgers. Rayonnement fossile. On observe un rayonnement dondes radios, uniforme et isotrope (au millime prs) qui semble baigner tout lunivers. Ce rayonnement est trs proche de celui qumettrait un corps noir 3 K. Ltude de ses lgres fluctuations a pris une importance considrable ces derniers temps grce aux observations de missions WMAP et Planck. Univers observable. Ce que nous observons est lunivers observable, videmment ! Lge des plus vieux objets de lunivers, lvolution stellaire, les modles, Tout concorde pour donner lunivers un ge de 13.6 milliards dannes. Il est donc impossible de voir plus loin que 13.6 milliards danne-lumire car la lumire na pas encore eut le temps de nous parvenir. Toute hypothse sur le reste de lunivers est forcment spculative. En particulier nous ignorons si le principe cosmologique sapplique au-del. On peut juste supposer que cela est le cas au moins jusqu une certaine distance au-del de cet horizon cosmologique. Il serait vraiment tonnant quil sapplique exactement sur une distance gale celle que nous pouvons observer notre poque et pas au-del. Les physiciens naiment pas les concidences. Comme nous ne pouvons pas vrifier toute hypothse concernant des parties de lunivers non observables, autant prendre le modle le plus simple et considrer que lunivers complet est entirement homogne et isotrope. On vrifie alors que ce qui est obtenu fonctionne correctement. Quitte ensuite essayer des modles plus compliqus, soit pour essayer de rsoudre certains problmes ou pour voir si des observations dans la partie observable permettraient de les distinguer. Nous admettrons ici le principe cosmologique tendu tout lunivers.

Modle dvolution
Dcrivons le scnario du Modle Standard qualitativement en quelques lignes. Puisque lunivers est en expansion, cela signifie que par le pass les galaxies taient plus proches. En remontant encore plus loin, on fit par arriver un tat extrmement dense et chaud. Nous partirons de ce point et nous dcrirons les principaux vnements qui en rsultent.

Nuclosynthse Au dpart, on a un gaz forms de particules lmentaires : quarks, photons, lectrons, muons, neutrinos, etc. ainsi que leurs antiparticules. A cause de la temprature trs leve, ce gaz appel soupe de quarks est en quilibre. Autant de particules se crent dans des collisions que de particules sannihilent. On montre dailleurs que malgr lexpansion rapide, ce gaz reste en permanence quasiment en quilibre thermique. Avec lexpansion, le gaz se refroidit. Les premires particules schapper sont les neutrinos. Particules interagissant fort peu avec la matire. A partir de l ils se dplacent librement dans le gaz. Puis lnergie thermique devient insuffisante pour crer de nouvelles particules et matire et antimatire commence sannihiler. On compte un milliard dantiparticules pour un milliard + une particule (cet cart infime sexplique encore assez mal). On a donc au final un milliard de photons (rsultant des annihilations) pour une particule de matire (quark, leptons). Les quarks sassocient ensuite pour former des nuclons. On a en quantit peu prs gale autant de protons que de neutrons. Mais les neutrons ont une dure de vie limite. Ils se dsintgrent en protons avec une demi-vie denviron vingt minutes. Leur nombre commence baisser. Les chocs entre nuclons, photons et lectrons sont encore trop fort pour permettre la formation de noyaux. Mais ds que lexpansion a suffisamment refroidit le gaz primordial, les nuclons peuvent sassocier pour former environ un quart de noyaux dhlium (deux protons et deux neutrons) et trois quart dhydrogne (un proton seul). Les neutrons sont alors stabiliss dans les noyaux. Le stade auquel cela se produit dpend de manire cruciale du nombre de photons qui interagissent avec les nuclons et empchent initialement leur liaison. Cest ce qui a permis destimer le nombre de un milliard de photons par particule. Les calculs et expriences de physique nuclaire permettent par ailleurs de calculer les proportions exacte qui rsultent de cette nuclosynthse primordiale : hydrogne, hlium 3, hlium 4, deutrium, lithium, etc. Les proportions trouves sont en trs bon accord avec les observations. Trois minutes se sont coules depuis le dpart. Formation des atomes Le gaz est encore trop chaud pour que les lectrons se lient aux noyaux. Les noyaux positifs et les lectrons ngatifs libres interagissent fortement avec les photons : lunivers est opaque. Il faut attendre trois cent mille ans pour que la temprature soit suffisamment basse (environ trois mille degrs) pour que les lectrons se lient aux atomes. La neutralisation des atomes et la densit plus faible libre alors les photons qui vont pouvoir se dplacer librement dans lunivers indpendamment du contenu en matire. Le gaz de matire et le gaz de photons voluent indpendamment. Ce rayonnement lectromagntique thermique trs chaud qui baigne lunivers va subir un dcalage vers le rouge important avec lexpansion. On calcule qe la dilution rsultant de lexpansion se combine avec le dcalage pour garder au rayonnement sa forme de rayonnement thermique. Il constitue le rayonnement fossile que nous captons actuellement. Formations des toiles Le gaz primordial nest pas strictement homogne mais contient des fluctuations (assez bien comprises, elles prsentent un spectre en puissance tout fait caractristique). Ces lgres fluctuations se retrouvent dailleurs dans le rayonnement fossile.

Lorsque la temprature a suffisamment baiss, les zones un peu plus denses vont commencer seffondrer sous leur propre poids. Les premires toiles commencent se former. Le gaz initial tant trs pauvre en atomes lourds, on calcule que les premires toiles devaient tre de trs grande taille. Cela leur donnait une vie trs courte et elles devenaient rapidement des supernov. Cela a eu trois consquences : un rapide enrichissement en atomes lourds, une rionisation des nuages de gaz (par le rayonnement ultraviolet puissant des jeunes toiles et le rayonnement des supernov), et la formation des premiers trous noirs qui vont servir de graine la formation des premires galaxies. Petit petit, lunivers va ainsi se structurer. Les premires petites galaxies vont fusionner pour former de plus grosses galaxies, se rassembler en amas et superamas jusqu donner le visage de lunivers que nous connaissons.

XI.2. Modles en relativit gnrale

La relativit gnrale est une thorie exceptionnelle en cosmologie car elle permet de dcrire des modles dvolution de lunivers. Lespace-temps est dcrit par une varit gomtrique qui peut tre vue comme un tout (lunivers) et donc la structure dpend de son contenu. Ce qui autorise la construction dun modle dvolution.

XI.2.1. Mtrique isotrope

Forme standard
Pour respecter le principe cosmologique, nous cherchons une mtrique isotrope. Nous avons dj vu une telle mtrique. La grande diffrence ici, cest que nous ne devons plus supposer que la mtrique est statique. On obtient donc :

On peut liminer le coefficient F en choisissant la coordonne : Et on limine le coefficient E en choisissant comme coordonne du temps :

En liminant les apostrophes et en renommant les fonctions, on arrive :

Cest la forme que nous avions dj obtenu mais avec ici des coefficients qui dpendent du temps.

Mtrique
Les coefficients de la mtrique sont :

Connexion
Pour simplifier, notons la drive par rapport r par une apostrophe et la drive par rapport t par un point. On a :

Tenseur de Ricci
Le calcul des coefficients du tenseur de Ricci donne : ( )

( (

) )

XI.2.2. Coordonnes comobiles

Dfinition
Considrons lespace dans sa globalit comme tant remplit de particules en chute libre. Chaque particule possde son propre systme local de coordonnes et sa propre horloge (temps propre). On choisit un systme de coordonnes de manire ce quil concide en chaque point avec une des particules (plusieurs particules ayant des mouvements relatifs diffrents peuvent coexister au mme lieu). Ce systme est dit systme de coordonnes comobiles.

Cest un systme de coordonnes idal pour dcrire lunivers si on considre celui-ci comme tant homogne, isotrope et initialement remplit dun gaz au repos (macroscopique). Considrons une de ces particules. Si on la suit dans son mouvement, ses coordonnes spatiales seront constantes (par dfinition des coordonnes comobiles) et le temps sera son temps propre. Par consquent : Et donc

Pour

, lquation des godsiques de la particule est :

Comme les composantes spatiales sont constantes, il reste seulement :

Lquation se rduit donc : En crivant cette composante de la connexion et en se souvenant que Cest--dire , on trouve :

On appelle donc systme de coordonnes comobiles tout systme de coordonnes dont la mtrique vrifie les conditions : = constant et

Particules initialement au repos

Supposons que lon ait un systme de coordonnes comobiles x, t et que lon dfinisse un nouveau systme de coordonnes par :

La mtrique sera alors :

Considrons linstant t = 0 et une particule P au repos. On peut choisir un systme de coordonnes local tel qu cet instant lintervalle entre la particule et ses voisines est purement spatial : ( ) Et le mouvement de P dans lintervalle dt purement temporel : ( )

Cest--dire quon a choisi un systme de coordonnes localement plat : ( ) Comme le systme de coordonnes est comobile : La mtrique scrit donc : et donc partout.

Symtrie sphrique
Considrons la mtrique a symtrie sphrique : Donc

La condition

implique que E est constant :

. Donc :

Redfinissons le temps avec la transformation ci-dessus et posons : Ce qui donne : Mtrique

Connexion

Tenseur de Ricci

XI.2.3. Mtrique de Robertson-Walker

Equation dEinstein
On considre lunivers comme tant remplit dun gaz homogne de pression ngligeable (en premire approximation) et soumis aux seules forces de la gravit. On attache un systme de coordonnes comobiles aux particules. Donc, par dfinition, la vitesse des particules est :

On sait que : Donc

Et donc : , Le tenseur nergie-impulsion dun gaz sans pression de densit Et il vrifie : est donn par :

La conservation de limpulsion nulle, il reste donc :

est automatiquement assure puisque la vitesse des particules est ( )

Cette dernire relation peut scrire : ( )

Considrons maintenant lquation dEinstein : ( On a donc : ) ( )

Lquation dEinstein se rduit donc quatre quations diffrentielles : ( ) ( )

Mtrique de Robertson-Walker
Cette mtrique est dite aussi mtrique de Robertson-Walker-Friedmann-Lematre. La densit ne dpend que du temps. Cherchons une solution sous forme sparable :

La dernire quation diffrentielle entraine : On choisit f et g de manire avoir S = R et . On a donc :

Les deux premires quations diffrentielles deviennent ainsi : ( )

Les termes avec f ne dpendent que de r et les autres ne dpendent que de t. On peut donc choisir une constante k telle que :

Donc :

La solution est :

Cela nous donne la mtrique de Robertson-Walker dcrivant un univers homogne et isotrope remplit dun gaz sans pression : ( )

La fonction est appele rayon de lunivers (mme si elle ne correspond pas ncessairement la dfinition habituelle du rayon dune varit) et k est une constante. En choisissant convenablement la coordonne r, on peut choisir k gal 0, +1 ou -1. Les quations diffrentielles se rduisent maintenant :

XI.2.4. Modles dunivers

Diffrentes valeurs de k conduisent diffrents modles dunivers en relativit gnrale.

Modle elliptique ou sphrique

Pour k = 1, la coordonne r ne peut dpasser 1 sans introduire de discontinuit. On pose alors . La mtrique devient :

Il dcrit un espace-temps dont les feuilles spatiales sont finies, fermes sur elles-mmes mais non bornes, comme la surface dune sphre (si ce nest que les feuilles sont ici trois dimensions).

Modle euclidien
Pour k = 0, on peut garder la mme coordonne Lespace est alors fini et euclidien. . Dans ce cas :

Modle hyperbolique
Enfin, pour k = 1, la coordonne r peut varier de 0 linfini et on pose , ce qui donne

Lespace est alors ouvert et infini avec une courbure ngative dite hyperbolique.

Exercices
1. Dduisez les proprits voques de chaque mtrique.

XI.2.5. Equations fondamentales

La mtrique de Robertson-Walker a pour composantes : Avec

 La connexion a pour composantes : ( ) Et enfin, le tenseur de Ricci a pour composantes : ( ) et de pression P. Le

Supposons que le fluide remplissant lunivers est un fluide parfait de densit tenseur nergie-impulsion scrit Avec (systme comobile) On a alors On calcule aisment : Et Donc : et .

On obtient ainsi le terme de source de lquation dEinstein : Dont les composantes sont :

On peut ainsi crire lquation dEinstein pour les composantes : En liminant la drive seconde, on a : La conservation du tenseur nergie-impulsion scrit :

On a donc : ( )

O g est le dterminant de la mtrique. Comme , et , pour on trouve :

est gal -1 et le dterminant de la mtrique vaut :

Ainsi on aboutit :

A lquation dEinstein et lquation de conservation il faut ajouter lquation dtat du gaz stellaire. Lensemble forme les quations fondamentales de la dynamique cosmologique. { Donnons deux exemples. 1) Lunivers est actuellement domin par la prsence de matire non relativiste de pression ngligeable. La dernire quation donne donc = constant. 2) Au tout dbut, lunivers tait remplit dun gaz trs haute temprature domin essentiellement par le rayonnement. Pour un gaz stellaire ultrarelativiste, on a : et lquation de conservation devient :

Cest--dire :

= constant On voit que la densit dnergie du rayonnement diminue avec R beaucoup plus vite que la matire. Ceci explique que lunivers soit actuellement domin par la matire.

Exercices
1. Voici un exercice singulirement difficile mais fort intressant. Il sagit ici de calculer comment seffectue leffondrement dune toile. Pour simplifier, considrez une boulle de poussire . Cest--dire une boule de matire de densit mais sans pression. Hints. a. Pour lintrieur de la boule, utilisez une mtrique de Robertson-Walker. b. Pour lextrieur de la boule, utilisez une mtrique (par exemple Schwartzchild). c. Raccordez les coordonnes linterface. d. Calculez comment seffondre la boule, quand se forme lhorizon,

XI.2.6. Dcalage vers le rouge

Une onde lectromagntique mise lorigine des coordonnes et se dplaant dans une direction donne par et obit lquation :

Cest--dire : Supposons quune galaxie mette un rayonnement en reu par un observateur plac lorigine des coordonnes en { en . Ce rayonnement est alors . On a donc :

Supposons que londe a une frquence lmission donne par donc mis en et reu en . On aura donc

. Le front donde suivant sera

La priode tant infinitsimale par rapport aux dures cosmologiques on peut considrer que reste constant pendant lmission de deux fronts donde. Par consquent :

Si on dsigne une primitive de cette intgrale par : Alors : Donc :

Cela donne la relation :

Cela donne immdiatement le rapport des frquences :

On dit parfois que les longueurs donde sont tires par lexpansion de lunivers. Le dcalage spectral est alors donn par :

Les observations donnent un dcalage vers le rouge proportionnel la distance, ce qui correspond un univers en expansion.

XI.2.7. Loi de Hubble

On dfinit la constante de Hubble comme la vitesse dexpansion avec la distance, donc :

Et on dfinit le paramtre de dclration comme : On peut alors dvelopper en srie le paramtre R autour de la valeur actuel avec pour les constantes et : [ correspondant linstant ]

Le dcalage vers le rouge peut aussi sexprimer comme un dveloppement en srie : ( )

Il est noter que le paramtre est trs difficile mesurer, lcart la linarit tant trs faible. De plus, la dcouverte que lexpansion est actuellement acclre et non dclre ncessiter dadapter les modles.

XI.3. Gomtrie et topologie

Visualiser lunivers
Il est trs difficile de visualiser une varit quatre dimensions, mme sans courbure. Il est mme difficile de visualiser un espace courbe trois dimensions. Le cas le plus facile est le modle euclidien. Dans ce cas, lunivers est infini, spatialement plat, avec simplement un contenu en expansion, cest--dire dont chaque parties sloignent les unes des autres. Le cas hyperbolique nest pas beaucoup plus compliqu si ce nest la distorsion de la gomtrie, par exemple la somme des angles aux sommets dun triangle fait moins de 180. Dans le cas sphrique, une reprsentation souvent adopte est celle de la bulle.

Lunivers est reprsent comme une bulle en train de gonfler, les galaxies places la surface scartent alors les unes des autres. Cette reprsentation est correcte, la gomtrie de la surface est dailleurs bien sphrique, mais elle est trompeuse si on ne prend garde de prciser deux choses importantes. 1) Lunivers est la Lunivers est la surface de la bulle et non la bulle toute entire. Dit autrement, la varit espace-temps quest ici la surface de la bulle na pas besoin dtre plonge dans un espace plus grand pour former une bulle. Seule compte la courbure intrinsque et la courbure extrinsque due au repliement dans un espace plus grand nest l que pour nous aider visualiser la varit sphrique. Il est difficile mais ncessaire de faire abstraction de tout ce qui ne concerne pas lunivers luimme : la surface et sa gomtrie sphrique intrinsque. Une phrase comme en dehors de lunivers na tout simplement pas de sens puisque lunivers est par dfinition la totalit de toute chose. 2) Lunivers nest pas une surface, cest une varit trois dimensions. Il est bien entendu plus difficile de visualiser la surface trois dimensions dune sphre en quatre dimensions, bien que gomtriquement cela ne pose pas de difficult. Un autre point important est prciser : Si lunivers est fini, comme dans le cas sphrique, alors en remontant le temps il tait beaucoup plus petit jusqu tenir dans une coquille de noix , trs dense et trs chaude. Si lunivers est infini, alors il la toujours t. Cela nempche pas un tant dense et chaud par le pass. Et la partie de lunivers que nous observons, lunivers observable, a, elle, t trs petite une poque passe.1 Nous navons aucun moyen de vrifier dans quel cas o lon se trouve. Tout au plus peut-on vrifier la gomtrie de lunivers observable. Mais tout raisonnement sur lunivers entier est forcment spculatif car non vrifiable, a fortiori sa finitude. Mme des arguments philosophiques peuvent conduire autant lune possibilit qu lautre.

Topologie
La gomtrie concerne les proprits locales : la courbure, les distances entre points, les relations de proche en proche. La topologie concerne la forme globale de la varit, ses proprits globales. Les quations de la relativit gnrale sont lies la gomtrie intrinsque. Les relations dynamique telle que lquation des godsiques et lquation dEinstein permettent de trouver la gomtrie de lunivers, mais pas la topologie qui reste inconnue. La gomtrie contraint partiellement la topologie, mais pas entirement. Par exemple, une gomtrie sphrique en tout point implique un univers fini. Mais mme comme cela il reste de nombreuses possibilits. Le classement des topologies diffrentes pour un univers ayant une courbure spatiale constante donne est possible pour le cas euclidien et sphrique. Le cas hyperbolique est plus difficile et le classement nest pas entirement connu. Prenons un exemple dans le cas de la gomtrie euclidienne.

Il y a dj de nombreuses possibilits. La premire, la plus vidente et qui est celle voque plus haut, est un univers spatialement infini dans toutes les directions. Mais on peut aussi envisager dautres possibilits comme par exemple le tore plat.

Prenons une feuille avec les bords A et B. En collant les bords A ensemble puis les bords B ensembles, on obtient un tore (une boue). Mais un telle collage nest pas ncessaire (il dforme dailleurs la surface). On peut simplement identifier les bords A et les bords B. Tout objet allant en ligne droite arrive un bord et rapparait de lautre ct. Si vous tes adeptes des jeux vido, la situation est facile envisager puisque lunivers de certains jeux est de ce type. Par exemple, le petit personnage de Pacman. Les bords A et B deviennent purement conventionnels et peuvent tre dcals (comme lorsque limage est mal rgle et quelle se dcale sur lcran). Ce procd stend sans difficult trois dimensions. Dans ce cas, lunivers est spatialement euclidien mais fini (notons quil nest pas parfaitement isotrope puisque les diagonales sont plus longues que les mdianes). Dautres identifications sont possibles (seulement deux bords, ou les bords avec retournement comme pour un ruban de Mbius, etc.) Que verrait un personnage dans cet univers ?

Comme les rayons lumineux font le tour en rapparaissant de lautre ct, les personnage verrait son image rpte linfini, comme dans une galerie des glaces (si ce nest quici il verrait son propre dos). Evidemment, les rayons lumineux mettant beaucoup de temps pour faire le tour, il y aurait un fort dcalage temporel dans limage perue. Pire encore, vu quil y a expansion, si les bords de lunivers sont plus grand que lunivers observable, les rayons lumineux nauraient pas encore eut le temps de revenir (et dans un univers avec une expansion acclre on montre mme que cela peut ne jamais arriver). Est-ce que lunivers pourrait tre comme a ? Est-ce que certaines galaxies (ou des parties du rayonnement fossile) pourraient se trouver en plusieurs exemplaires sur la voute cleste ? Cest difficile observer cause du dcalage temporel. On pourrait ne tout simplement pas reconnaitre les diffrents exemplaires de la mme galaxie. On peut toutefois calculer que cela implique des corrlations importantes dans les fluctuations du rayonnement fossile. Ces corrlations ne sont pas observes. Donc, soit lunivers a une topologie triviale (celles que nous avions envisages par dfaut au dpart), soit sa taille caractristique est bien plus grande que lunivers observable. On ne sait actuellement pas trancher.

XII. Rfrences
Edgard Elbaz, Relativit gnrale et gravitation. Ellipses. Bernard Linet, Notes de cours de Relativit gnrale. Universit Franois Rabelais, Tours. Sean Carroll, Lectures notes on General Relativity. Charles Charles W. Misner, Kip S. Thorne, John Archibald Wheeler, Gravitation. W. H. Freeman and Company, New York. Steven Weinberg, Les trois premires minutes de lunivers. Editions du Seuil. David H. Lyth, Introduction to Cosmology. Lectures given at the summer school in high energy physic and cosmology, ICTP (Trieste). ArXiv, astro-ph, 9312022.