5 Le Basi Fisiche della elatività Generale e la derivazione delle Equazioni di Friedmann Fino ad ora ci siamo occupati di caratterizzare la geometria di un universo omogeneo ed isotropo in espansione uniforme ottenendo la metrica di obertson e Walker ds 2 dt 2 aptq2 r 2 ı dr 2 ` 2 sin `d 2 2 ` sin 2 d Adesso dobbiamo metterci la fisica ed è chiaro che, poichè il nostro universo in generale è curvo, dovremo utilizzare le equazioni della elatività Generale. La elatività Generale è presentata in altri corsi, come ad esempio Astrofisica delle Alte Energie. In questo corso ci limiteremo ad una rapida panoramica per poter giungere al risultato che ci interessa, ovvero l utilizzo della metrica W con le equazioni di campo di Einstein per ottenere le equazioni che regolano aptq. Il concetto di elatività riguarda le trasformazioni subite dalle leggi della Fisica a seguito di trasformazioni dinamiche, ovvero che coinvolgono il tempo come ad esempio le trasformazioni tra sistemi di riferimento in moto l uno rispetto all altro. Particolare importanza è rivestita dal fatto che le leggi della Fisica non debbano dipendere dal sistema di riferimento: in sostanza, non si dovrebbero avere sistemi di riferimento assoluti ed il Principio Cosmologico non esprime altro che questo stesso concetto. La elatività Galileiana stabilisce l invarianza formale o covarianza delle equazioni della Meccanica Classica per trasformazioni di Galileo ovvero per trasformazioni tra sistemi di riferimento in moto rettilineo uniforme l uno rispetto all altro; questi sistemi di riferimento sono detti inerziali. Questa covarianza implica che con le leggi della Meccanica Classica non è possibile definire un sistema di riferimento assoluto. La covarianza per trasformazioni di Galileo non si applica alle equazioni di Maxwell per le quali potrebbe quindi esistere un sistema di riferimento assoluto, l etere. L esperimento di Michelson e Morley aveva proprio lo scopo di misurare la velocità della luce rispetto all etere. La elatività Speciale di Einstein invece stabilisce che le trasformazioni appropriate per i sistemi inerziali sono quelle di Lorentz. Le equazioni di Maxwell sono covarianti per trasformazioni di Lorentz e quindi non è più possibile definire un riferimento assoluto (l etere). Anche le equazioni della Meccanica Classica possono essere scritte in forma covariante per trasfor- 62
mazioni di Lorentz. Nel limite in cui v{c! letrasformazionidilorentzsi riducono alle trasformazioni di Galileo e le equazioni della Meccanica Classica ritornano alla forma covariante per trasformazioni Galileiane. Con la elatività Speciale si arriva all introduzione di un continuo quadridimensionale spazio-tempo caratterizzato da una geometria non-euclidea con metrica ds 2 dt 2 dl2 (5.) detta metrica di Minkowski. Le trasformazioni di Lorentz, la metrica di Minkowski e la elatività Speciale in genere riguardano i sistemi di riferimento inerziali così come accadeva per la relatività Galileiana. Come è possibile trattare i riferimenti inerziali espandendo la teoria della relatività speciale? Come tener conto delle forze apparenti che potrebbero comparire come avviene per la trattazione classica della meccanica in un sistema di riferimento inerziale? Il punto di partenza di Einstein fu l equivalenza tra la massa inerziale e la massa gravitazionale, comesuggeritodall esperimentodieötvös. Inpratica Einstein partì dalla semplice considerazione che una persona in caduta libera non percepisce il proprio peso. Infatti il secondo principio della dinamica a erma che ~F i m i ~a (5.2) con m i massa inerziale, ovvero la resistenza di un corpo ad essere accelerato da una forza. La legge di gravitazione universale di Newton, applicata in un campo gravitazionale costante come quello sulla superficie della Terra, a erma invece ~F g m g ~g (5.3) per cui applicando il II principio si ha m g ~g m i ~a (5.4) Ponendosi in un riferimento in caduta libera ovvero con accelerazione ~a (quindi non inerziale) si ha che l accelerazione è nulla ma la forza totale contiene un contributo dovuto alle forze apparenti per cui m g ~g m i ~a 0 (5.5) il primo membro rappresenta la forza, il secondo membro il prodotto di massa ed accelerazione nel riferimento accelerato. Se m i m g allora ~a ~g ela forza percepita nel riferimento in caduta libera è ~F m g ~g m i ~a 0 (5.6) 63
ovvero non si sente il proprio peso! Più in generale possiamo eliminare la forza di gravità passando ad un sistema di riferimento non inerziale in caduta libera nel campo gravitazionale e, in pratica, se ne deduce che le forze apparenti dei sistemi non inerziali e le forze gravitazionali devono avere la stessa origine. E importante notare come la gravità possa essere eliminata solo localmente ovvero nelle regioni dello spazio dove si può considerare costante. Quindi in un opportuna regione di un qualsiasi campo gravitazionale è possibile effettuare una trasformazione di coordinate che riduca le equazioni alla forma tipica di un sistema inerziale, ovvero alle equazioni della elatività Speciale. Dopo questa breve introduzione, possiamo passare a vedere quelle che sono le basi fisiche utilizzate da Einstein per la teoria della elatività Generale.. Il Principio di elatività: le leggi della fisica sono covarianti per trasformazioni di coordinate (ovvero mantengono la stessa forma in tutti isistemidiriferimento). 2. Il Principio di Equivalenza: massainerzialeegravitazionalesonouguali, m i m g,percuiinognipuntodellospazio-tempoedinunqualsiasi campo gravitazionale è possibile scegliere un sistema di riferimento inerziale locale tale che, in un regione piccola dello spazio, le leggi della fisica abbiano la stessa forma che in un sistema cartesiano non accelerato in assenza di gravità (ovvero la stessa forma nel caso della elatività Speciale). 3. Il Principio di Mach: leproprietàinerzialilocalisonodeterminatedalla distribuzione di materia ed energia. Mettendo insieme () e (2) è chiaro che posso ottenere le leggi della fisica apartiredaquellescrittenell ambitodellaelativitàspecialeechedevo soltanto trovare il modo di scriverle in forma covariante ovvero invariante per trasformazione di coordinate nello spazio tempo considerato che sarà caratterizzato da una metrica ds 2 g µ x µ x (5.7) echesaràingeneraleunospazio-tempodescrittodaunageometriaiemanniana. La (3) ci permette di collegare g µ alla distribuzione di materia ed energia nello spazio tempo e quindi di conoscere g µ ovvero la geometria dello spazio. Si noti come la elatività Generale sia una teoria intrinsecamente nonlineare: infatti un campo gravitazionale dovuto ad una distribuzione di massa genera una certa densità di energia locale in ogni punto dello spazio; dato che 64
E m, questo significa che c è una certa densità di massa inerziale associata al campo gravitazionale che è a sua volta sorgente di campo gravitazionale. Questo caso del campo gravitazionale è diverso dal campo elettrico: quest ultimo genera una certa densità di energia in ogni punto dello spazio e quindi una corrispondente densità di massa. Ma la massa non genera un ulteriore carica elettrica e quindi non genera ulteriore campo elettrico. Quando Einstein ricercò la forma più generale di trasformazione tra sistemi di riferimento per metriche della forma ds 2 g µ x µ x (5.8) scoprì, grazie al suo amico matematico Marcel Grossman, che queste erano date dalle geometrie iemanniane il cui difetto era quello di essere non lineari. In realtà Einstein si rese subito conto che la non linearità era un vantaggio delle geometrie iemanniane perché la teoria della gravità, come abbiamo appena visto, deve essere intrinsecamente non lineare. Vediamo adesso due esempi elementari che però ci aiutano a capire come il principio di equivalenza abbia conseguenze profonde per la nostra comprensione della natura dello spazio tempo in un campo gravitazionale. 5. Esempio: il redshift gravitazionale Consideriamo un riferimento stazionario posto in un campo gravitazionale uniforme ~g. In base al principio di Equivalenza, questo riferimento è equivalente ad un riferimento non inerziale uniformemente accelerato con ~a ~g (figura 23). Ovvero, un osservatore posto all interno dell ascensore non è in grado di distinguere tramite qualsiasi tipo di misura se si trova in un sistema inerziale posto in un campo gravitazionale o se si trova in un sistema non inerziale uniformemente accelerato. Consideriamo un onda elettromagnetica di frequenza che si propaga dal so tto al pavimento dell ascensore e supponiamo che ~a sia piccola. Se h è l altezza dell ascensore, l onda e.m. impiega un tempo t h{c per giungere dal so tto al pavimento dell ascensore. In base al principio di equivalenza idueascensoriinfigura23sonoperfettamenteequivalenticomesistemidi riferimento. Pertanto possiamo considerare la propagazione del fotone nel caso del riferimento accelerato. Al tempo t in cui i fotoni raggiungono il pavimento, questo sarà stato accelerato a velocità u at ~g t (5.9) quindi, poiché t h{c u ~g h c (5.0) 65
~a = ~g h ~g ~v = ~at Figura 23: Ascensore stazionario in un campo gravitazionale uniforme ~g (sinistra) e ascensore soggetto ad accelerazione uniforme ~a ~g (destra). In base al principio di equivalenza di Einstein, un osservatore posto dentro l ascensore non è in grado di capire in quale dei due casi si trovi. Per e etto Doppler l onda è osservata dal pavimento a frequenza maggiore di quella a cui è stata emessa dal so tto e, al primo ordine in u{c, siha ` u ~g h ` (5.) c Dal momento che ~g è c o s t a n t e e ~g ~r,con si può scrivere ~g h potenziale gravitazionale, (5.2) quindi ovvero Sh c2 Sh (5.3) (5.4) Questa è la formula del redshift gravitazionale z g nel limite Newtoniano. icordando che z g o e (5.5) e 66
si ottiene infime z g c 2 (5.6) Poichè nel nostro caso il fotone passa da so tto a pavimento, 0cheimplica z g 0, ovvero un blueshift. Se la luce si fosse propagata dal pavimento al so tto avremmo ottenuto l e etto opposto ovvero un redshift. Quindi la frequenza delle onde elettromagnetiche dipende dal campo gravitazionale in cui si propagano. Un test di z g fu proposto da Eddington nel 924: il valore di z g per le righe nello spettro di una nana bianca, Sirio B, doveva essere pari a cz g 20 km s. Nel 925 Adams misurò un valore di 9 km s. Consideriamo adesso l espressione trovata in precedenza (5.7) c2 ed esprimiamola in funzione dei periodi ricordando che {! T T c2 ovvero T T» T ` c2 ` c2 (5.8) (5.9) L espressione T T ` c2 (5.20) è la stessa della dilatazione dei tempi tra sistemi di riferimento inerziali in relatività speciale. Questa espressione deve valere esattamente per ogni intervallo temporale per cui, in generale, si deve avere dt dt ` (5.2) c2 Assumiamo adesso che p8q 0eteniamocontodelfattoche prq p8q allora dt 2 dt 2 ` prq 2 (5.22) e, poichè prq{! sihainfine dt 2 dt 2 ` 2 prq 67 (5.23)
generato da una massa pun- Se consideriamo l espressione Newtoniana per tiforme M prq GM r (5.24) si ottiene dt 2 dt 2 2 GM r (5.25) equindi,datalametricadiminkowskids 2 dt 2 {c2 dl 2,possiamoscrivere ds 2 dt 2 2GM r dl2 (5.26) I coe cienti della metrica diventano ben più complessi di quelli dello spazio tempo di Minkowski quando si tenta di considerare l e etto della gravità! Si noti come dt, dl sono il tempo e lo spazio misurati da un osservatore in un punto del campo gravitazionale, mentredt è l intervallo di tempo misurato dall osservatore all infinito. 5.2 Esempio 2: la curvatura dei raggi di luce Abbiamo appena visto come il principio di equivalenza porti al cambiamento di dt nella metrica. Vediamo adesso come anche dl debba cambiare. Utilizziamo nuovamente il principio di equivalenza e sostituiamo un ascensore stazionario nel campo ~g con uno in un campo gravitazionale nullo ma uniformemente accelerato con ~a ~g. Consideriamo un raggio di luce che si propaga orizzontalmente una parte all altra dell ascensore. Nel tempo t in cui il raggio percorre la distanza l per andare da un lato all altro, l ascensore si muove diverso l alto di un tratto l 2 gt2 (5.27) pertanto, nel riferimento dell ascensore il raggio di luce compie un percorso parabolico. Supponiamo di poter approssimare il percorso parabolico con un arco di circonferenza di raggio (figura 25). Allora risulta d sin ~g t2 2 poichè!, sin «equindidall equazioneprecedentesiottiene ~g t2 2d (5.28) 68
~a = ~g 2 gt2 l ~g Figura 24: Ascensore stazionario in un campo gravitazionale uniforme ~g (sinistra) e ascensore soggetto ad accelerazione uniforme ~a ~g (destra). In base al principio di equivalenza di Einstein, un osservatore posto dentro l ascensore non è in grado di capire in quale dei due casi si trovi. ~a = ~g 2 gt2 d l 2 gt2 2 gt2 2 Figura 25: Geometria della propagazione della luce nell ascensore uniformemente accelerato. 69
Confondendo l arco con la corda, il raggio di curvatura della traiettoria è dato da 2» d2 4 d2 2 4 ~g 2 t 4 4d2 d4 (5.29) ~g 2 t 4 Si può anche scrivere che d cos l Ñ d «l ct (5.30) poichè cos «. Infine si ottiene ovvero 2 c4 St 4 ~g 2 St 4 (5.3) c2 ~g (5.32) con raggio di curvatura del raggio di luce. Quanto trovato per il riferimento uniformemente accelerato è perfettamente equivalente a quello che succede nel riferimento nel campo gravitazionale uniforme. Se ne conclude che il cammino della luce dipende dall accelerazione gravitazionale locale ~g.poichè questa dipende dal gradiente del potenziale gravitazionale ne consegue che il cammino dei raggi di luce dipende dalla distribuzione di massa. 5.3 Alcuni concetti utili Prima di procedere oltre ed arrivare a scrivere le equazioni di Einstein che legano la metrica dello spazio tempo alla distribuzione di massa-energia, dobbiamo richiamare alcuni concetti matematico-geometrici. Se ~ A è un vettore nello spazio tridimensionale, posso definire il quadrivettore nello spazio tempo A µ pa 0, ~ Aq pa 0,A,A 2,A 3 q (5.33) con A 0 componente temporale e A,A 2,A 3 componenti spaziali del vettore ~A. Quando il quadrivettore è indicato con A µ (indice in alto) si intende rappresentato in componenti controvarianti, ovveroquellecomponentiche si trasformano come il vettore spostamento di erenziale per un cambio di coordinate. Se g µ è i l t e n s o r e m e t r i c o s i h a ds 2 g µ dx µ dx (5.34) 70
dove si è usata la convenzione di Einstein, in base alla quale gli indici ripetuti rappresentano una somma: nel caso di ds 2 l espressione è equivalente a ds 2 4ÿ µ 0 0 4ÿ g µ dx µ dx (5.35) dx µ è i l q u a d r i v e t t o r e s p o s t a m e n t o i n fi n i t e s i m o. Il tensore metrico determina il modo di calcolare il prodotto scalare tra due (quadri)vettori che è quindi legato alla metrica: A B g µ A µ B (5.36) Il tensore metrico permette anche di ottenere le componenti covarianti di un vettore ovvero quelle che si trasformano come l operatore gradiente di funzione per un cambio di coordinate: A µ g µ A (5.37) quindi il tensore metrico g µ serve anche ad abbassare gli indici. Esistono anche le componenti controvarianti del tensore metrico tali che eovviamentedeverisultare A µ g µ A (5.38) g µ g µ (5.39) con µ delta di Kronecker ( µ seµ, µ 0seµ ). In sostanza, le componenti controvarianti e covarianti del tensore metrico sono l una l inverse dell altra. Consideriamo adesso una trasformazione di coordinate x Ñ x. µ µ Bxµ Bx µ (5.40) dove è lo Jacobiano non singolare della trasformazione. Con una notazione più compatta si può scrivere µ µ B µ x µ (5.4) el operatoregradiente B µ B Bx µ (5.42) è dato in componenti covarianti. 7
Data questa definizione di Jaocobiano di una trasformazione di coordinate si può quindi dire che A µ è u n q u a d r i v e t t o r e s e e s o l o s e s i t r a s f o r m a c o m e A µ µ µa µ (5.43) Un tensore è un oggetto a più indici che si trasforma con una combinazione di Jacobiani in modo da trasformare ogni indice come per un quadrivettore. Per esempio si può scrivere M µ µ µ M µ (5.44) Come già detto g µ è u n t e n s o r e q u i n d i, d a t e l e p r o p r i e t à d e i t e n s o r i, è facile verificare che ds 2 g µ dx µ dx (5.45) è un invariante scalare. 5.4 Le equazioni di campo di Einstein icordiamo adesso le basi su cui Einstein ha fondato la elatività Generale:. il Principio di elatività (covarianza delle leggi della natura per trasformazione di coordinate) 2. il Principio di Equivalenza (cancellazione locale della gravità in un sistema non inerziale) 3. il Principio di Mach (g µ dipende dalla distribuzione di massa-energia). Consideriamo una particella che si muove liberamente sotto l azione delle sole forze gravitazionali; per il principio di equivalenza deve esistere un sistema di riferimento di coordinate localmente inerziali per le quali valga d 2 d 2 0 (5.46) con tempo proprio e d 2 {d 2 quadriaccelerazione che è ovviamente nulla per come abbiamo scelto il riferimento. In un qualsiasi riferimento x µ il moto dovuto alle sole forze gravitazionali risulta essere d 2 x µ d ` dx µ dx 2 µ d d 0 (5.47) 72
dove d 2 x µ {d 2 è la quadriaccelerazione ed il secondo termine, che svolge il ruolo di forza gravitazionale, deriva dal cambiamento di coordinate Ñ x µ esprimibile come µ x µ B Bx µ xµ (5.48) La soluzione dell equazione 5.47 fornisce l equazione della geodetica nel riferimento x µ. µ prende il nome di connessione a ne ed è data da µ Bx B 2 (5.49) B Bx µ Bx Se è i l t e n s o r e m e t r i c o d i M i n k o w s k i n e l s i s t e m a d i r i f e r i m e n t o,incui vale la elatività Speciale per la totale assenza di forze, il tensore metrico g µ nello spazio di coordinate x µ è d a t o d a l l a t r a s f o r m a z i o n e g µ B B (5.50) Bx µ Bx questa espressione permette di ottenere g µ apartireda edallatrasformazione di coordinate. Si può infine dimostrare che la connessione a ne µ è esprimibile con i Simboli di Christo el µ 2 g pb µg `B g µ B g µ q (5.5) Adesso dobbiamo cercare una relazione tensoriale che leghi la metrica, ovvero il tensore metrico g µ elesuederivatealladistribuzionedimateria ed energia che posso rappresentare con il tensore energia-impulso. Si può dimostrare che, a partire dal tensore metrico g µ e dalle sue derivate prime e seconde può essere costruito un solo tensore, detto Tensore di curvatura di iemann µ B µ B µ ` µ µ (5.52) Apartiredaltensoredicurvaturadiiemannsipossonopoiritrovareper contrazione il Tensore di icci: elacurvaturascalare µ µ (5.53) µ µ g µ µ (5.54) Il tensore che descrive la geometria dello spazio tempo è quindi il Tensore di Einstein G µ µ 2 g µ (5.55) 73
Adesso dobbiamo ottenere la distribuzione di massa-energia che è esprimibile tensorialmente col Tensore Energia-Impulso. Se si considera un fluido con densità epressionep (entrambe grandezze comoventi) si ha con u µ quadrivelocità. Le equazioni di Einstein sono finalmente T µ p ` pq u µ u pg µ (5.56) G µ 8 G T µ (5.57) ovvero µ 2 g µ 8 G T µ (5.58) Dopo aver formulato queste equazioni Einstein si rese conto che era possibile aggiungere un termine costante che avrebbe poi potuto permettere l esistenza di un universo stazionario: µ 2 g µ 8 G T µ ` g µ (5.59) Si noti come in questa equazione tensoriale ci sono solo 6 equazioni indipendenti sulle 6 equazioni totali. Da 6 si passa a 0 perché i tensori metrici (e quindi tutti i derivati) sono simmetrici; inoltre 4 sono ridondanti per le proprietà di µ.iltensoremetricohaperò0componentiindipendentiincognite, pertanto abbiamo a disposizione solo 6 equazioni per 0 incognite. La presenza di 4 gradi di libertà incogniti porta ad una invarianza di gauge per la scelta del riferimento. Vediamo adesso di intuire come mai le equazioni hanno quella forma. E chiaro che le equazioni di Einstein nel limite Newtoniano devono fornire, tra le altre, l equazione di Poisson. Quando abbiamo ottenuto l espressione per il redshift gravitazionale nel limite Newtoniano avevamo trovato per cui ds 2 dt 2 ` 2 g 00 ` 2 dl2 (5.60) (5.6) 2 pg 00 q (5.62) L equazione di Poisson è r 2 4 G (5.63) 74
ovvero r 2 2 c2 r 2 g 00 (5.64) Il tensore energia impulso di un fluido comovente (cioè che non ha velocità propria rispetto all espansione dell universo) ha solo il termine T 00 0e,nel caso di p 0, si ha T 00 p ` pq 2 pg 00 (5.65) ovvero T 00 2 c» T 00 per v 2 c! (5.66) sostituendo otteniamo 2 c2 r 2 g 00 4 G T 00 (5.67) ovvero r 2 g 00 8 G c T 00 (5.68) 4 che ricorda la componente 00 delle equazioni di Einstein. In conclusione, le equazioni di campo di Einstein µ 2 g µ 8 G T µ ` g µ (5.69) sono 6 equazioni non lineari indipendenti. Il procedimento da seguire per arrivare alla loro soluzione è il seguente:. si sceglie una forma del tensore metrico che contenga in sé le eventuali simmetrie del sistema (si ricorda che non è possibile risolvere il problema se tutte le 0 componenti del tensore simmetrico g µ sono incognite); 2. si determina la forma del tensore energia-impulso che descrive le sorgenti del campo proprie del problema; 3. si scrivono le equazioni di Campo di Einstein ottenendo un sistema di equazioni di erenziali nelle funzioni incognite presenti in g µ ; 4. la loro soluzione permette di determinare g µ da cui si ottiene la geometria dello spazio e le equazioni geodetiche che determinano il moto. 75
5.5 Derivazione delle equazioni di Friedmann Prima di procedere è opportuno vedere quali siano le convenzioni relative ai segni. La metrica di Minkowski è µ rssdiagr,,, s (5.70) con rss segnatura della metrica di Minkowksi che può essere pari a ` o. diagr,,, s indica la matrice con i valori p,,, q sulla diagonale. Il tensore di curvatura di iemann ha segnatura rs2s tale che µ µ rs2s`b B ` µ (5.7) µ Il tensore di icci è per cui le equazioni di Einstein sono µ µ rs2srs3s µ (5.72) G µ µ 2 g µ rs3s Fino ad ora abbiamo usato la convenzione rss rs2s ` rs3s ` che porta alle equazioni di Einstein nella forma 8 G T µ ` g µ (5.73) µ 2 g µ 8 G T µ ` g µ (5.74) Cominciamo adesso a esplicitare queste equazioni. Abbiamo visto come per uno spazio omogeneo ed isotropo in espansione uniforme la metrica più generale è quella di obertson e Walker ds 2 dt 2 aptq2 r 2 ı dr 2 ` 2 sin `d 2 2 ` sin 2 d Il tensore metrico, scritto in forma di matrice è pertanto 0 0 0 0 a2 ptq 0 0 g µ 0 0 a2 ptq r 2 sin 2 0 0 0 0 a2 ptq r 2 sin 2 sin 2 76
Per ottenere le componenti controvarianti si può facilmente calcolare l inverso del tensore in componenti covarianti 0 0 0 0 c2 0 0 a 2 ptq g µ pg q µ 0 0 c2 r 2 a 2 ptq csc2 0 0 0 0 c2 r 2 a 2 ptq csc2 cs A questo punto, per prima cosa, si calcolano i Simboli di Christo el a partire da g µ eperrappresentareilrisultatosiutilizzalaconvenzioneche 23 corrisponde a µ con µ, 2, 3(gliindiciassumonoivalori 0,,2,3), i simboli di Christo el non nulli sono soltanto 0 aptq9aptq 0 22 2 aptq sin 2 ` r 9aptq 0 33 2 aptq sin 2 ` r sin 2 9aptq 0 9aptq aptq 2r 22 2 sin 2r 33 2 sin sin 2 77
2 20 9aptq aptq 2 2 cot ` r 2 33 cos sin 3 30 9aptq aptq 3 3 cot ` r 3 32 cot Si calcola quindi il tensore di iemann e si riportano i risultati tenendo conto della stessa convenzione utilizzate per i. Considerando 23 è p o s - sibile ottenere 23 usando l antisimmetria per lo scambio degli ultimi due indici anche se questa cosa non è evidente perché riportiamo le µ invece delle µ ; gli elementi del tensore da cui si ottengono tutti gli elementi non nulli sono soltanto: 0 0 aptq:aptq 0 220 0 330 00 22 33 2 sin 2 ` r aptq:aptq 2 sin 2 ` r sin 2 aptq:aptq :aptq aptq sin2 ` r pc2 ` 2 9a 2 ptqq sin2 ` r sin 2 p ` 2 9a 2 ptqq (5.75) 78
2 020 2 2 2 332 3 030 3 3 :aptq aptq 2 ` 9a2 ptq sin2 ` r sin 2 p ` 2 9a 2 ptqq :aptq aptq 2 ` 9a2 ptq ` 3 232 sin2 r pc2 ` 2 9a 2 ptqq Si calcolano quindi tensore e scalare di icci dalle contrazioni successive del tensore di Curvatura di iemann. Le forme non nulle del tensore di icci sono quelle diagonali: 00 22 3:aptq aptq 2 2 ` 29a2 ptq ` aptq:aptq sin2 ` r p2c2 ` 2 2 9a 2 ptq` 2 aptq:aptqq 33 mentre per lo scalare di icci abbiamo sin2 ` r sin 2 p2 ` 2 2 9a 2 ptq` 2 aptq:aptqq 6 pc2 ` 2 9a 2 ptq` 2 aptq:aptqq 2 a 2 ptq Questo ci permette di ottenere il tensore di Einstein G µ ovvero il primo 79
membro delle equazioni di Einstein. G 00 3 pc2 ` 2 9a 2 ptqq 2 a 2 ptq G 9a2 ptq 2aptq:aptq 2 G 22 G 33 sin2 ` r pc2 ` 2 9a 2 ptq`2 2 aptq:aptqq sin2 ` r sin 2 p ` 2 9a 2 ptq`2 2 aptq:aptqq Andiamo adesso a determinare il secondo membro delle equazioni di Einstein. Il tensore energia-impulso è La quadrivelocità è data da T µ p ` pqu µ u pg µ (5.76) u p,u x,u y,u z q u i v i c e, se prendiamo un fluido comovente (stazionario), avremo u x u y u z 0 u p, 0, 0, 0q ovvero utilizzando l espressione per g µ trovata prima, si ottiene in componenti controvarianti» fi 0 0 0 T µ p ` pq 0 0 0 0 0 0 0 0 fl pgµ (5.77) 0 0 0 0 ovvero 0 0 0 p 0 0 0 a 2 ptq T µ p csc ` 2 r 0 0 0 2 a 2 ptq p csc ` 2 r 0 0 0 cs 2 a 2 ptq 80
Si noti come il secondo membro delle equazioni di Einstein in coordinate controvarianti diventi 0 0 0 8 G c T µ ` g µ 8 G 2 p c2 ` pq 0 0 0 0 0 0 0 0 8 G pgµ ` g µ 0 0 0 0 ovvero appare come un contributo di pressione negativa. Si passa quindi a componenti covarianti del tensore Energia-Impulso T µ g µ g T (5.78) ottenendo 0 0 0 pa 2 ptq 0 0 0 T µ p 2 a 2 ptq sin ` 2 r 0 0 0 p 2 a 2 ptq sin ` 2 r 0 0 0 sin 2 Ovviamente, le componenti covarianti e controvarianti della matrice unitaria sono uguali. Come si può facilmente notare scrivendo le Equazioni di Einstein G µ 8 G T µ ` g µ (5.79) solo i termini diagonali sono non nulli ovvero abbiamo ottenuto quattro equazioni per aptq: 3 c2 a 2 ptq ` 2 9a2 ptq p `8 G q 0 9a2 ptq 2aptq:aptq ` ` 8 Gp ` c 2 a 2 ptq 0 2 ` c 4 sin2 r c4 ` 2 9a 2 ptq`2 2 aptq:aptq` 2 p8 Gp qa 2 ptq 0 c 4 ` sin2 r sin 2 c 4 ` 2 9a 2 ptq`2 2 aptq:aptq` 2 p8 Gp qa 2 ptq 0 c 4 (5.80) 8
Dove le parentesi con G e sonochiaramenteilcontributodelsecondo membro delle Equazioni di einstein (tensore energia impulso e costante cosmologica). Le ultime due equazioni sono chiaramente equivalenti. Dalla prima si ottiene 9a 2 ptq 8 G a 2 ptq c2 3 ` 2 3 a2 ptq (5.8) sostituendo 9aptq 2 nella seconda si ottiene invece ovvero, raccogliendo, 8 G 2 3 aa2 ptq` 2 3 aa2 ptq aptq:aptq 2 8 Gp a ptq` a c 4 A2 A2 ptq 0 (5.82) :aptq 4 G 3 ` 3p aptq` aptq (5.83) 3 Si può verificare che sostituendo 9a 2 ptq dalla prima equazione nella terza si ritrova la seconda equazione. In conclusione abbiamo trovato solo due equazioni indipendenti: 9a 2 ptq 8 G a 2 ptq c2 3 :aptq 4 G 3 ` 3p ` 2 3 a2 ptq aptq` aptq (5.84) 3 che sono finalmente le equazioni che volevamo ottenere. La 6.2 è l Equazione di Friedmann, ma nel seguito ci riferiremo a entrambe come Equazioni di Friedmann. 82