Friedmann–Lemaître–Robertson–Walker metric

From Vero - Wikipedia
Jump to navigation Jump to search

Template:Short description Template:Physical cosmology

The Friedmann–Lemaître–Robertson–Walker metric (FLRW; Template:IPAc-en) is a metric that describes a homogeneous, isotropic, expanding (or otherwise, contracting) universe that is path-connected, but not necessarily simply connected.<ref>For an early reference, see Robertson (1935); Robertson assumes multiple connectedness in the positive curvature case and says that "we are still free to restore" simple connectedness.</ref><ref name="LaLu95">Template:Cite journal</ref><ref name="Ellis98">Template:Cite conference</ref> The general form of the metric follows from the geometric properties of homogeneity and isotropy. Depending on geographical or historical preferences, the set of the four scientists – Alexander Friedmann, Georges Lemaître, Howard P. Robertson, and Arthur Geoffrey Walker – is variously grouped as Friedmann, Friedmann–Robertson–Walker (FRW), Robertson–Walker (RW), or Friedmann–Lemaître (FL). When combined with Einstein's field equations, the metric gives the Friedmann equation, which has been developed into the Standard Model of modern cosmology<ref name="Goobar">Template:Cite book</ref> and further developed into the Lambda-CDM model.

Concept

The metric is a consequence of assuming that the mass in the universe has constant density – homogeneity – and is the same in all directions – isotropy. Assuming isotropy alone is sufficient to reduce the possible motions of mass in the universe to radial velocity variations. The Copernican principle, that our observation point in the universe is equivalent to every other point, combined with isotropy, ensures homogeneity. Without the principle, a metric would need to be extracted from astronomical data, which may not be possible.<ref>Template:Cite book</ref>Template:Rp Direct observation of stars has shown their velocities to be dominated by radial recession, validating these assumptions for cosmological models.<ref name=Peacock-1998>Template:Cite book</ref>Template:Rp

To measure distances in this space, that is to define a metric, we can compare the positions of two points in space, moving along with their local radial velocity of mass. Such points can be thought of as ideal galaxies. Each galaxy can be given a clock to track local time, with the clocks synchronized by imagining the radial velocities run backwards until the clocks coincide in space. The equivalence principle applied to each galaxy means distance measurements can be made using special relativity locally. So a distance <math>d\tau</math> can be related to the local time Template:Mvar and the coordinates:

<math display="block">c^2d\tau^2 = c^2dt^2 - dx^2 - dy^2 -dz^2</math>

An isotropic, homogeneous mass distribution is highly symmetric. Rewriting the metric in spherical coordinates reduces four coordinates to three coordinates. The radial coordinate is written as a product of a comoving coordinate, Template:Mvar, and a time-dependent scale factor Template:Mvar. The resulting metric can be written in several forms. Two common ones are:

<math display="block">c^2d\tau^2 = c^2dt^2 - R^2(t)\left(dr^2+ S^2_k(r) d\psi^2\right)</math>

or

<math display="block">c^2 d\tau^2 = c^2 dt^2 - R^2(t)\left( \frac{dr^2}{1 - kr^2} + r^2 d\psi^2\right)</math>

where <math>\psi</math> is the angle between the two locations and

<math display="block">S_{-1}(r) = \sinh(r), S_0 = 1, S_1 = \sin(r).</math>

(The meaning of Template:Mvar in these equations is not the same). Other common variations use a dimensionless scale factor

<math display="block">a(t) = \frac{R(t)}{R_0}</math>

where time zero is now.<ref name=Peacock-1998/>Template:Rp

2-dimensional analogy

The time-dependent scale factor <math>R(t)</math>, which plays a critical role in cosmology, has an analog in the radius of a sphere. A sphere is a 2-dimensional surface embedded in a 3-dimensional space. The radius of a sphere lives in the third dimension: it is not part of the 2-dimensional surface. However, the value of this radius affects distances measured on the two-dimensional surface. Similarly, the cosmological scale factor is not a distance in our 3-dimensional space, but its value affects the measurement of distances.<ref>Template:Cite book</ref>Template:Rp

FLRW models

Template:Main Applying the metric to cosmology and predicting its time evolution requires Einstein's field equations and a way of calculating the density, <math>\rho (t),</math> such as a cosmological equation of state. This process allows an approximate analytic solution of Einstein's field equations <math>G_{\mu\nu} + \Lambda g_{\mu\nu} = \kappa T_{\mu\nu}</math> giving the Friedmann equations when the energy–momentum tensor is similarly assumed to be isotropic and homogeneous. Models based on the FLRW metric and obeying the Friedmann equations are called FRW models.<ref name=Peacock-1998/>Template:Rp Direct observation of stars has shown their velocities to be dominated by radial recession, validating these assumptions for cosmological models.<ref name=Peacock-1998>Template:Cite book</ref>Template:Rp These models are the basis of the standard Big Bang cosmological model, including the current ΛCDM model.<ref name=PDG-2024>Template:Cite journal</ref>Template:Rp

General metric

The FLRW metric assumes homogeneity and isotropy of space.<ref>Template:Cite book</ref>Template:Rp It also assumes that the spatial component of the metric can be time-dependent. The generic metric that meets these conditions is

<math display="block">-c^2\mathrm{d}\tau^2 = -c^2\mathrm{d}t^2 + {a(t)}^2 \mathrm{d}\mathbf{\Sigma}^2,</math>

where <math>\mathbf{\Sigma}</math> ranges over a 3-dimensional space of uniform curvature, that is, elliptical space, Euclidean space, or hyperbolic space. It is normally written as a function of three spatial coordinates, but there are several conventions for doing so, detailed below. <math>\mathrm{d}\mathbf{\Sigma}</math> does not depend on <math>t</math> – all of the time dependence is in the function Template:Nowrap known as the "scale factor".

Reduced-circumference polar coordinates

In reduced-circumference polar coordinates, the spatial metric has the form<ref>Template:Cite book</ref><ref>Template:Cite book</ref>

<math display="block">\mathrm{d}\mathbf{\Sigma}^2 = \frac{\mathrm{d}r^2}{1-k r^2} + r^2 \mathrm{d}\mathbf{\Omega}^2, \quad \text{ where } \mathrm{d}\mathbf{\Omega}^2 = \mathrm{d}\theta^2 + \sin^2 \theta \, \mathrm{d}\phi^2.</math>

<math>k</math> is a constant representing the curvature of the space. There are two common unit conventions:

A disadvantage of reduced circumference coordinates is that they cover only half of the 3-sphere in the case of positive curvature—circumferences beyond that point begin to decrease, leading to degeneracy. (This is not a problem if space is elliptical, i.e., a 3-sphere with opposite points identified.)

Hyperspherical coordinates

In hyperspherical or curvature-normalized coordinates, the coordinate <math>r</math> is proportional to radial distance; this gives

<math display="block">\mathrm{d}\mathbf{\Sigma}^2 = \mathrm{d}r^2 + S_k(r)^2 \, \mathrm{d}\mathbf{\Omega}^2</math>

where <math>\mathrm{d}\mathbf{\Omega}</math> is as before and

<math display="block">S_k(r) = \begin{cases} \sqrt{k}^{\,-1} \sin (r \sqrt{k}), &k > 0 \\ r, &k = 0 \\ \sqrt{|k|}^{\,-1} \sinh (r \sqrt{|k|}), &k < 0. \end{cases}</math>

As before, there are two common unit conventions:

Though it is usually defined piecewise as above, <math>S</math> is an analytic function of both <math>k</math> and Template:Nowrap It can also be written as a power series

<math display="block">S_k(r) = \sum_{n=0}^\infty \frac{{\left(-1\right)}^n k^n r^{2n+1}}{(2n+1)!} = r - \frac{k r^3}{6} + \frac{k^2 r^5}{120} - \cdots</math>

or as

<math display="block">S_k(r) = r \; \mathrm{sinc} \, (r \sqrt{k}), </math>

where <math>\mathrm{sinc}</math> is the unnormalized sinc function and <math>\sqrt{k}</math> is one of the imaginary, zero, or real square roots Template:Nowrap These definitions are valid for Template:Nowrap

Cartesian coordinates

When <math>k = 0</math> one may write simply

<math display="block">\mathrm{d}\mathbf{\Sigma}^2 = \mathrm{d}x^2 + \mathrm{d}y^2 + \mathrm{d}z^2.</math>

This can be extended to <math>k \ne 0</math> by defining

<math display="block">\begin{align} 

x &= r \cos \theta \,, \\
y &= r \sin \theta \cos \phi \,, \\
z &= r \sin \theta \sin \phi \,,

\end{align}</math>

where <math>r</math> is one of the radial coordinates defined above, but this is rare.

Curvature

Cartesian coordinates

In flat <math>(k=0)</math> FLRW space using Cartesian coordinates, the surviving components of the Ricci tensor are<ref>Template:Cite book</ref>

<math display="block"> R_{tt} = - 3 \frac{\ddot{a}}{a}, \quad R_{xx}= R_{yy} = R_{zz} = c^{-2} \left(a \ddot{a} + 2 \dot{a}^2\right) </math>

and the Ricci scalar is

<math display="block"> R = 6 c^{-2} \left(\frac{\ddot{a}(t)}{a(t)} + \frac{\dot{a}^2(t)}{a^2(t)}\right).</math>

Spherical coordinates

In more general FLRW space using spherical coordinates (called "reduced-circumference polar coordinates" above), the surviving components of the Ricci tensor are<ref>Template:Cite web</ref>Template:Failed verification

<math display="block">\begin{align} 

R_{tt} &= - 3 \frac{\ddot{a}}{a}, \\[1ex]
R_{rr} &= \frac{c^{-2} \left(a\ddot{a} + 2\dot{a}^2\right) + 2k}{1 - kr^2} \\[1ex]
R_{\theta\theta} &= r^2 \left[c^{-2} \left(a\ddot{a} + 2\dot{a}^2\right) + 2k\right] \\[1ex]
R_{\phi\phi} &= r^2\sin^2(\theta) \left[c^{-2} \left(a\ddot{a} + 2\dot{a}^2\right) + 2k\right]

\end{align}</math>

and the Ricci scalar is

<math display="block"> R = \frac{6}{c^2} \left(\frac{\ddot{a}(t)}{a(t)} + \frac{\dot{a}^2(t)}{a^2(t)} + \frac{c^2k}{a^2(t)}\right).</math>

Name and history

Template:Also Template:Primary In 1922 and 1924, the Soviet mathematician Alexander Friedmann<ref>Template:Cite journal</ref><ref>Template:Cite journal English trans. in 'General Relativity and Gravitation' 1999 vol.31, 31–</ref> and in 1927, Georges Lemaître, a Belgian priest, astronomer, and periodic professor of physics at the Catholic University of Leuven, arrived independently at results<ref>Template:Citation translated from Template:Citation</ref><ref>Template:Citation</ref> that relied on the metric. Howard P. Robertson from the US and Arthur Geoffrey Walker from the UK explored the problem further during the 1930s.<ref>Template:Citation</ref><ref>Template:Citation</ref><ref>Template:Citation</ref><ref>Template:Citation</ref> In 1935, Robertson and Walker rigorously proved that the FLRW metric is the only one on a spacetime that is spatially homogeneous and isotropic (as noted above, this is a geometric result and is not tied specifically to the equations of general relativity, which Friedmann and Lemaître always assumed).

This solution, often called the Robertson–Walker metric since they proved its generic properties, is different from the dynamical "Friedmann–Lemaître" models. These models are specific solutions for a(t) that assume that the only contributions to stress-energy are cold matter ("dust"), radiation, and a cosmological constant.

Current status

Template:See alsoTemplate:Unsolved The current standard model of cosmology, the Lambda-CDM model, uses the FLRW metric. By combining the observation data from some experiments, such as WMAP and Planck, with theoretical results of the Ehlers–Geren–Sachs theorem and its generalization,<ref>See pp. 351ff. in Template:Citation. The original work is Ehlers, J., Geren, P., Sachs, R.K.: Isotropic solutions of Einstein-Liouville equations. J. Math. Phys. 9, 1344 (1968). For the generalization, see Template:Citation.</ref> astrophysicists now agree that the early universe is almost homogeneous and isotropic (when averaged over a very large scale) and thus nearly a FLRW spacetime. That being said, attempts to confirm the purely kinematic interpretation of the Cosmic Microwave Background (CMB) dipole through studies of radio galaxies <ref>See Siewert et al. for a recent summary of results Template:Cite journal</ref> and quasars <ref>Template:Cite journal</ref> show disagreement in the magnitude. Taken at face value, these observations are at odds with the Universe being described by the FLRW metric. Moreover, one can argue that there is a maximum value to the Hubble constant within an FLRW cosmology tolerated by current observations, <math>H_0</math> = Template:Val, and depending on how local determinations converge, this may point to a breakdown of the FLRW metric in the late universe, necessitating an explanation beyond the FLRW metric.<ref>Template:Cite journal</ref><ref name="Snowmass21">Template:Cite journal</ref>

References

Template:Reflist

Further reading

Template:Relativity Template:Portal bar

Retrieved from "https://wiki.sarg.dev/index.php?title=Friedmann–Lemaître–Robertson–Walker_metric&oldid=218717"