Metrica di Friedmann-Lemaître-Robertson-Walker

soluzione delle equazioni di campo di Einstein

La metrica di Friedmann-Lemaître-Robertson-Walker (FLRW) è una soluzione esatta dell'equazione di campo di Einstein della relatività generale; descrive un universo omogeneo, isotropo, in espansione (o in contrazione) che è connesso, ma non necessariamente semplicemente connesso.[1][2] La forma generale della metrica segue dalle proprietà geometriche di omogeneità e isotropia; Le equazioni di campo di Einstein sono necessarie solo per ricavare il fattore di scala dell'universo in funzione del tempo.

La metrica prende il nome dai quattro scienziati Aleksandr Fridman, Georges Lemaître, Howard Percy Robertson e Arthur Geoffrey Walker; a seconda di preferenze storiche o geografiche, la metrica viene chiamata di Friedmann, di Friedmann–Robertson–Walker (FRW), di Robertson–Walker (RW), o di Friedmann–Lemaître (FL). Questo modello è talvolta chiamato il modello standard della cosmologia moderna,[3] sebbene questo sia anche un nome alternativo del modello Lambda-CDM. Il modello FLRW fu sviluppato indipendentemente dagli autori sopraccitati tra gli anni '20 e '30 del XX secolo.

Metrica generaleModifica

La metrica FLRW parte dall'assunzione di omogeneità e isotropia dello spazio. Si presuppone inoltre che la componente spaziale della metrica possa essere dipendente dal tempo. La metrica generica che soddisfa queste condizioni è

 

dove   si estende su uno spazio tridimensionale di curvatura uniforme, ovvero spazio ellittico, spazio euclideo o spazio iperbolico . Normalmente è scritto come una funzione di tre coordinate spaziali, ma ci sono diverse convenzioni per farlo, dettagliate di seguito.   non dipende da t - tutta la dipendenza dal tempo è nella funzione a(t), nota come "fattore di scala".

Coordinate polari a circonferenza ridottaModifica

Nelle coordinate polari a circonferenza ridotta la metrica spaziale ha la forma

 

k è una costante che rappresenta la curvatura dello spazio. Esistono due convenzioni di unità comuni:

  • k può essere assunto per avere unità di lunghezza−2, nel qual caso r ha unità di lunghezza e a(t) è senza unità. k è quindi la curvatura gaussiana dello spazio nel momento in cui a(t) = 1. r è talvolta chiamata circonferenza ridotta perché è uguale alla circonferenza misurata di un cerchio (a quel valore di r ), centrata all'origine, diviso per 2 π (come la r delle coordinate di Schwarzschild). Dove appropriato, a(t) viene spesso scelto come 1 nell'attuale era cosmologica, quindi   misura la distanza comovente.
  • In alternativa, si può ritenere che k appartenga all'insieme {−1,0, + 1} (rispettivamente per curvatura negativa, zero e positiva). Allora r è senza unità e a(t) ha unità di lunghezza. Quando k = ± 1, a (t) è il raggio di curvatura dello spazio e può anche essere scritto R(t).

Uno svantaggio delle coordinate di circonferenza ridotte è che coprono solo metà delle 3 sfere in caso di curvatura positiva: le circonferenze oltre quel punto iniziano a diminuire, portando alla degenerazione. (Questo non è un problema se lo spazio è ellittico, cioè una 3-sfera con punti opposti identificati.)

Coordinate ipersfericheModifica

Nelle coordinate ipersferiche o normalizzate in curvatura la coordinata r è proporzionale alla distanza radiale; si ha

 

dove   è come prima e

 

Come prima, ci sono due convenzioni di unità comuni:

  • k può essere assunto per avere unità di lunghezza −2, nel qual caso r ha unità di lunghezza e a(t) è senza unità. k è quindi la curvatura gaussiana[non chiaro] dello spazio nel momento in cui a(t) = 1. Dove appropriato, a(t) viene spesso scelto come 1 nell'attuale era cosmologica, quindi   misura la distanza comovente.
  • In alternativa, come prima, k può essere considerato come appartenente all'insieme {−1,0, + 1} (rispettivamente per curvatura negativa, zero e positiva). Allora r è senza unità e a(t) ha unità di lunghezza. Quando k = ± 1, a(t) è il raggio di curvatura dello spazio e può anche essere scritto R(t). Nota che quando k = +1, r è essenzialmente un terzo angolo insieme a θ e φ . La lettera χ può essere usata al posto di r .

Sebbene di solito sia definito a tratti come sopra, S è una funzione analitica sia di k che di r . Può anche essere scritto come una serie di potenze

 

o come

 

dove sinc è la funzione sinc non normalizzata e   è una delle radici quadrate immaginarie, zero o reali di k . Queste definizioni sono valide per tutti i file k .

Coordinate cartesianeModifica

Quando k = 0 si può scrivere semplicemente

 

Questo può essere esteso a k ≠ 0 definendo

  ,
 , e
  ,

dove r è una delle coordinate radiali definite sopra, ma questo è raro.

CurvaturaModifica

Coordinate cartesianeModifica

Nello spazio FLRW piatto   utilizzando coordinate cartesiane, le componenti non nulle del tensore di Ricci sono[4]

 

e lo scalare di Ricci è

 

Coordinate sfericheModifica

Nello spazio FLRW più generale che utilizza coordinate sferiche (chiamate "coordinate polari a circonferenza ridotta" sopra), le componenti non nulle del tensore di Ricci sono[5]

 
 
 
 

e lo scalare di Ricci è

 

SoluzioniModifica

 Lo stesso argomento in dettaglio: Equazioni di Friedmann.

Le equazioni di campo di Einstein non vengono utilizzate per derivare la forma generale della metrica, che invece segue esclusivamente dalle proprietà geometriche di omogeneità e isotropia. Tuttavia, per determinare l'evoluzione temporale di   bisogna applicare le equazioni di campo di Einstein insieme a un modo per calcolare la densità,   come un'equazione di stato cosmologica.

Quando si assume che il tensore energia impulso sia omogeneo e isotropo, questa metrica ha una soluzione analitica alle equazioni di campo di Einstein

 

dando le equazioni di Friedmann. Le equazioni risultanti sono:[6]

 
 

Queste equazioni sono la base del modello cosmologico standard del Big Bang che comprende l'attuale modello Lambda-CDM.[7] Poiché il modello FLRW presuppone l'omogeneità, alcuni resoconti popolari affermano erroneamente che il modello del Big Bang non può spiegare la "grumosità" dell'universo osservata. In un modello rigorosamente FLRW, non ci sono ammassi di galassie, stelle o persone, poiché si tratta di oggetti molto più densi di una parte tipica dell'universo. Tuttavia, il modello FLRW viene utilizzato come prima approssimazione per l'evoluzione dell'universo reale perché è semplice da calcolare, e modelli che calcolano la grumosità nell'universo vengono aggiunti ai modelli FLRW come estensioni. La maggior parte dei cosmologi concorda sul fatto che l'universo osservabile sia ben approssimato da un modello quasi FLRW, cioè un modello che segue la metrica FLRW a parte le fluttuazioni di densità primordiali. Al 2003, le implicazioni teoriche delle varie estensioni al modello FLRW sembrano essere ben comprese e l'obiettivo è renderle coerenti con le osservazioni di COBE e WMAP.

InterpretazioneModifica

La coppia di equazioni data sopra è equivalente alla seguente coppia di equazioni

 
 

con  , l'indice di curvatura spaziale, che funge da costante di integrazione per la prima equazione.

La prima equazione può essere derivata anche da considerazioni termodinamiche ed è equivalente al primo principio della termodinamica, assumendo che l'espansione dell'universo sia un processo adiabatico (che è implicitamente assunto nella derivazione della metrica di Friedmann-Lemaître-Robertson-Walker).

La seconda equazione afferma che sia la densità di energia che la pressione causano la diminuzione del tasso di espansione dell'universo  , cioè, entrambi causano una decelerazione nell'espansione dell'universo. Questa è una conseguenza della gravità, con la pressione che gioca un ruolo simile a quello della densità di energia (o massa), secondo i principi della relatività generale . La costante cosmologica, invece, provoca un'accelerazione nell'espansione dell'universo.

Costante cosmologicaModifica

Il termine di costante cosmologica può essere omesso se si apportano le seguenti sostituzioni

 
 

Pertanto, la costante cosmologica può essere interpretata come derivante da una forma di energia che ha una pressione negativa, uguale in grandezza alla sua densità di energia (positiva):

 

Tale forma di energia, che generalizza la nozione di costante cosmologica, è nota come energia oscura. Infatti, per ottenere un termine che provochi un'accelerazione dell'espansione dell'universo, è sufficiente avere un campo scalare che soddisfi

 

Un tale campo è talvolta chiamato quintessenza.

Interpretazione newtonianaModifica

Questa interpretazione è dovuta a McCrea e Milne,[8] sebbene a volte sia erroneamente attribuita a Friedmann. Le equazioni di Friedmann sono equivalenti a questa coppia di equazioni:

 
 

La prima equazione dice che la diminuzione della massa contenuta in un cubo fisso (il cui lato è momentaneamente a) è la quantità che esce dai lati a causa dell'espansione dell'universo più l'equivalente di massa del lavoro svolto dalla pressione contro il materiale essere espulsi. Questa è la conservazione della massa-energia (primo principio della termodinamica) contenuta in una parte dell'universo.

La seconda equazione dice che l'energia cinetica (vista dall'origine) di una particella di massa unitaria che si muove con l'espansione più la sua energia potenziale gravitazionale (negativa) (relativa alla massa contenuta nella sfera di materia più vicina all'origine) è uguale a una costante correlata alla curvatura dell'universo. In altre parole, viene conservata l'energia (relativa all'origine) di una particella in movimento in caduta libera. La relatività generale aggiunge semplicemente una connessione tra la curvatura spaziale dell'universo e l'energia di una tale particella: l'energia totale positiva implica una curvatura negativa e l'energia totale negativa implica una curvatura positiva.

Si presume che il termine di costante cosmologica sia trattato come energia oscura e quindi fuso nei termini di densità e pressione.

Durante l'epoca di Planck, non si possono trascurare gli effetti quantistici, che potrebbero causare una deviazione dalle equazioni di Friedmann.

Nome e storiaModifica

Il matematico sovietico Aleksandr Aleksandrovič Fridman per primo derivò i principali risultati del modello FLRW nel 1922 e nel 1924.[9][10] Sebbene la prestigiosa rivista di fisica Zeitschrift für Physik pubblicò il suo lavoro, esso rimase relativamente inosservato ai suoi contemporanei. Friedmann era in comunicazione diretta con Albert Einstein, che, per conto di Zeitschrift für Physik, fungeva da arbitro scientifico del lavoro di Friedmann. Alla fine Einstein riconobbe la correttezza dei calcoli di Friedmann, ma non riuscì ad apprezzare il significato fisico delle sue predizioni.

Friedmann morì nel 1925. Nel 1927, Georges Lemaître, sacerdote belga, astronomo e professore di fisica presso l'Università Cattolica di Lovanio, arrivò indipendentemente a risultati simili a quelli di Friedmann e li pubblicò negli Annales de la Société Scientifique de Bruxelles ("Annali della società scientifica di Bruxelles").[11][12] Di fronte alle prove osservative per l'espansione dell'universo ottenute da Edwin Hubble alla fine degli anni '20, i risultati di Lemaître furono notati in particolare da Arthur Eddington, e nel 1930-1931 l'articolo di Lemaître fu tradotto in inglese e pubblicato in Monthly Notices of the Royal Astronomical Society.

Lo statunitense Howard Percy Robertson e il britannico Arthur Geoffrey Walker esplorarono ulteriormente il problema negli anni '30.[13][14][15][16] Nel 1935 Robertson e Walker dimostrarono rigorosamente che la metrica FLRW è l'unica su uno spaziotempo spazialmente omogeneo e isotropo (come notato sopra, questo è un risultato geometrico e non è legato specificamente alle equazioni della relatività generale, che sono sempre state assunte di Friedmann e Lemaître).

Questa soluzione, spesso chiamata metrica di Robertson-Walker poiché ne hanno dimostrato le proprietà generiche, è diversa dai modelli dinamici "Friedmann-Lemaître", che sono soluzioni specifiche per a(t) che assumono che gli unici contributi all'energia-impulso siano materia fredda ("polvere"), radiazione e una costante cosmologica.

Il raggio dell'universo di EinsteinModifica

Il raggio dell'universo di Einstein è il raggio di curvatura dello spazio dell'universo di Einstein, un modello statico abbandonato da tempo che avrebbe dovuto rappresentare il nostro universo in forma idealizzata. Mettendo

 

nell'equazione di Friedmann, il raggio di curvatura dello spazio di questo universo (raggio di Einstein) è

  ,

dove   è la velocità della luce,   è la costante di gravitazione universale, e   è la densità dello spazio di questo universo. Il valore numerico del raggio di Einstein è dell'ordine di 1010 anni luce.

Evidenze sperimentaliModifica

Combinando i dati di osservazione di alcuni esperimenti come WMAP e Planck Surveyor con i risultati teorici del teorema di Ehlers-Geren-Sachs e la sua generalizzazione,[17] Gli astrofisici ora concordano sul fatto che l'universo è quasi omogeneo e isotropo (se mediato su una scala molto ampia) e quindi quasi uno spaziotempo FLRW.

NoteModifica

  1. ^ Cosmic Topology, vol. 254, Bibcode:1995PhR...254..135L, DOI:10.1016/0370-1573(94)00085-H, arXiv:gr-qc/9605010.
  2. ^ Theoretical and Observational Cosmology, vol. 541, ISBN 978-0792359463.
  3. ^ L. Bergström, A. Goobar, Cosmology and Particle Astrophysics, 2ª ed., ISBN 978-3-540-32924-4.
  4. ^ Robert Wald, General Relativity, p. 97.
  5. ^ Cosmology (PDF), su icc.ub.edu. URL consultato il 19 maggio 2021 (archiviato dall'url originale l'11 gennaio 2020).
  6. ^ P. Ojeda and H. Rosu, Supersymmetry of FRW barotropic cosmologies, vol. 45, Bibcode:2006IJTP...45.1152R, DOI:10.1007/s10773-006-9123-2, arXiv:gr-qc/0510004.
  7. ^ Le loro soluzioni si possono trovare in Haret C. Rosu, Stefan C. Mancas e Pisin Chen, Barotropic FRW cosmologies with Chiellini damping in comoving time, in Modern Physics Letters A, vol. 30, n. 20, 5 maggio 2015, p. 1550100, Bibcode:2015MPLA...3050100R, DOI:10.1142/S021773231550100x, ISSN 0217-7323 (WC · ACNP), arXiv:1502.07033.
  8. ^ W. H. McCrea e E. A. Milne, Newtonian universes and the curvature of space, in Quarterly Journal of Mathematics, vol. 5, 1934, pp. 73-80, Bibcode:1934QJMat...5...73M, DOI:10.1093/qmath/os-5.1.73.
  9. ^ Über die Krümmung des Raumes, vol. 10, Bibcode:1922ZPhy...10..377F, DOI:10.1007/BF01332580.
  10. ^ Über die Möglichkeit einer Welt mit konstanter negativer Krümmung des Raumes, vol. 21, Bibcode:1924ZPhy...21..326F, DOI:10.1007/BF01328280. English trans. in 'General Relativity and Gravitation' 1999 vol.31, 31–
  11. ^ Expansion of the universe, A homogeneous universe of constant mass and increasing radius accounting for the radial velocity of extra-galactic nebulae, vol. 91, Bibcode:1931MNRAS..91..483L, DOI:10.1093/mnras/91.5.483. tradotto da Un Univers homogène de masse constante et de rayon croissant rendant compte de la vitesse radiale des nébuleuses extra-galactiques, A47, Bibcode:1927ASSB...47...49L.
  12. ^ L'Univers en expansion, A53, Bibcode:1933ASSB...53...51L.
  13. ^ Kinematics and World-Structure, vol. 82, Bibcode:1935ApJ....82..284R, DOI:10.1086/143681.
  14. ^ Kinematics and World-Structure II., vol. 83, Bibcode:1936ApJ....83..187R, DOI:10.1086/143716.
  15. ^ Kinematics and World-Structure III., vol. 83, Bibcode:1936ApJ....83..257R, DOI:10.1086/143726.
  16. ^ On Milne's Theory of World-Structure, Series 2, vol. 42, Bibcode:1937PLMS...42...90W, DOI:10.1112/plms/s2-42.1.90.
  17. ^ Vedere pp. 351 e seguenti in The Large Scale Structure of Space-Time, ISBN 978-0-521-09906-6.. Il lavoro originale è Ehlers, J., Geren, P., Sachs, R.K.: Isotropic solutions of Einstein-Liouville equations. J. Math. Phys. 9, 1344 (1968). Per la generalizzazione, vedere Proving Almost-Homogeneity of the Universe: an Almost Ehlers-Geren-Sachs Theorem, vol. 39, Bibcode:1995ApJ...443....1S, DOI:10.1086/175496..

ApprofondimentiModifica