Friedmann equations

From Wikipedia, the free encyclopedia

https://en.wikipedia.org/wiki/Friedmann_equations

Alexander Friedmann

The Friedmann equations, also known as the Friedmann–Lemaître (FL) equations, are a set of equations in physical cosmology that govern the expansion of space in homogeneous and isotropic models of the universe within the context of general relativity. They were first derived by Alexander Friedmann in 1922 from Einstein's field equations of gravitation for the Friedmann–Lemaître–Robertson–Walker metric and a perfect fluid with a given mass density ρ and pressure p. The equations for negative spatial curvature were given by Friedmann in 1924.

Assumptions

Main article: Friedmann–Lemaître–Robertson–Walker metric

The Friedmann equations start with the simplifying assumption that the universe is spatially homogeneous and isotropic, that is, the cosmological principle; empirically, this is justified on scales larger than the order of 100 Mpc. The cosmological principle implies that the metric of the universe must be of the form $${\displaystyle -\mathrm{d}{s}^2=a(t{)}^2{\mathrm{d}{s}_3}^2-c^2\mathrm{d}{t}^2}$$ where ds₃² is a three-dimensional metric that must be one of (a) flat space, (b) a sphere of constant positive curvature or (c) a hyperbolic space with constant negative curvature. This metric is called the Friedmann–Lemaître–Robertson–Walker (FLRW) metric. The parameter k discussed below takes the value 0, 1, −1, or the Gaussian curvature, in these three cases respectively. It is this fact that allows us to sensibly speak of a "scale factor" a(t).

Einstein's equations now relate the evolution of this scale factor to the pressure and energy of the matter in the universe. From FLRW metric we compute Christoffel symbols, then the Ricci tensor. With the stress–energy tensor for a perfect fluid, we substitute them into Einstein's field equations and the resulting equations are described below.

Equations

There are two independent Friedmann equations for modelling a homogeneous, isotropic universe. The first is: $${\displaystyle \frac{{\dot{a}}^2+k{c}^2}{a^2}=\frac{8\pi G\rho +\mathrm{\Lambda }{c}^2}{3},}$$ which is derived from the 00 component of the Einstein field equations. The second is: $${\displaystyle \frac{\ddot{a}}{a}=-\frac{4\pi G}{3}\left(\rho +\frac{3p}{c^2}\right)+\frac{\mathrm{\Lambda }{c}^2}{3}}$$ which is derived from the first together with the trace of Einstein's field equations (the dimension of the two equations is time⁻²).

a is the scale factor, G, Λ, and c are universal constants (G is the Newtonian constant of gravitation, Λ is the cosmological constant with dimension length⁻², and c is the speed of light in vacuum). ρ and p are the volumetric mass density (and not the volumetric energy density) and the pressure, respectively. k is constant throughout a particular solution, but may vary from one solution to another.

In previous equations, a, ρ, and p are functions of time. ⁠k/a²⁠ is the spatial curvature in any time-slice of the universe; it is equal to one-sixth of the spatial Ricci curvature scalar R since $${\displaystyle R=\frac{6}{c^2{a}^2}(\ddot{a}a+{\dot{a}}^2+k{c}^2)}$$ in the Friedmann model. H ≡ ⁠ȧ/a⁠ is the Hubble parameter.

We see that in the Friedmann equations, a(t) does not depend on which coordinate system we chose for spatial slices. There are two commonly used choices for a and k which describe the same physics:

• k = +1, 0 or −1 depending on whether the shape of the universe is a closed 3-sphere, flat (Euclidean space) or an open 3-hyperboloid, respectively. If k = +1, then a is the radius of curvature of the universe. If k = 0, then a may be fixed to any arbitrary positive number at one particular time. If k = −1, then (loosely speaking) one can say that i · a is the radius of curvature of the universe.
• a is the scale factor which is taken to be 1 at the present time. k is the current spatial curvature (when a = 1). If the shape of the universe is hyperspherical and R_t is the radius of curvature (R₀ at the present), then a = ⁠R_t/R₀⁠. If k is positive, then the universe is hyperspherical. If k = 0, then the universe is flat. If k is negative, then the universe is hyperbolic.

Using the first equation, the second equation can be re-expressed as $${\displaystyle \dot{\rho }=-3H\left(\rho +\frac{p}{c^2}\right),}$$ which eliminates Λ and expresses the conservation of mass–energy: $${\displaystyle T^{\alpha \beta }{}_{;\beta }=0.}$$

These equations are sometimes simplified by replacing $${\displaystyle \begin{array}{rlrl}\rho & \to \rho -\frac{\mathrm{\Lambda }{c}^2}{8\pi G}& p& \to p+\frac{\mathrm{\Lambda }{c}^4}{8\pi G}\end{array}}$$ to give: $${\displaystyle \begin{array}{rl}{H}^2={\left(\frac{\dot{a}}{a}\right)}^2& =\frac{8\pi G}{3}\rho -\frac{k{c}^2}{a^2}\\ \dot{H}+H^2=\frac{\ddot{a}}{a}& =-\frac{4\pi G}{3}\left(\rho +\frac{3p}{c^2}\right).\end{array}}$$

The simplified form of the second equation is invariant under this transformation.

The Hubble parameter can change over time if other parts of the equation are time dependent (in particular the mass density, the vacuum energy, or the spatial curvature). Evaluating the Hubble parameter at the present time yields Hubble's constant which is the proportionality constant of Hubble's law. Applied to a fluid with a given equation of state, the Friedmann equations yield the time evolution and geometry of the universe as a function of the fluid density.

Some cosmologists call the second of these two equations the Friedmann acceleration equation and reserve the term Friedmann equation for only the first equation.

Density parameter

The density parameter Ω is defined as the ratio of the actual (or observed) density ρ to the critical density ρ_c of the Friedmann universe. The relation between the actual density and the critical density determines the overall geometry of the universe; when they are equal, the geometry of the universe is flat (Euclidean). In earlier models, which did not include a cosmological constant term, critical density was initially defined as the watershed point between an expanding and a contracting Universe.

To date, the critical density is estimated to be approximately five atoms (of monatomic hydrogen) per cubic metre, whereas the average density of ordinary matter in the Universe is believed to be 0.2–0.25 atoms per cubic metre.

Estimated relative distribution for components of the energy density of the universe. Dark energy dominates the total energy (74%) while dark matter (22%) constitutes most of the mass. Of the remaining baryonic matter (4%), only one tenth is compact. In February 2015, the European-led research team behind the Planck cosmology probe released new data refining these values to 4.9% ordinary matter, 25.9% dark matter and 69.1% dark energy.

A much greater density comes from the unidentified dark matter, although both ordinary and dark matter contribute in favour of contraction of the universe. However, the largest part comes from so-called dark energy, which accounts for the cosmological constant term. Although the total density is equal to the critical density (exactly, up to measurement error), dark energy does not lead to contraction of the universe but rather may accelerate its expansion.

An expression for the critical density is found by assuming Λ to be zero (as it is for all basic Friedmann universes) and setting the normalised spatial curvature, k, equal to zero. When the substitutions are applied to the first of the Friedmann equations we find: $${\displaystyle {\rho }_{\mathrm{c}}=\frac{3H^2}{8\pi G}=1.8788\times {10}^{-26}{h}^2\mathrm{k}\mathrm{g}{\mathrm{m}}^{-3}=2.7754\times {10}^{11}{h}^2{M}_{\odot }{\mathrm{M}\mathrm{p}\mathrm{c}}^{-3},}$$

(where h = H₀/(100 km/s/Mpc). For H_o = 67.4 km/s/Mpc, i.e. h = 0.674, ρ_c = 8.5×10⁻²⁷ kg/m³).

The density parameter (useful for comparing different cosmological models) is then defined as: $${\displaystyle \mathrm{\Omega }\equiv \frac{\rho }{{\rho }_c}=\frac{8\pi G\rho }{3H^2}.}$$

This term originally was used as a means to determine the spatial geometry of the universe, where ρ_c is the critical density for which the spatial geometry is flat (or Euclidean). Assuming a zero vacuum energy density, if Ω is larger than unity, the space sections of the universe are closed; the universe will eventually stop expanding, then collapse. If Ω is less than unity, they are open; and the universe expands forever. However, one can also subsume the spatial curvature and vacuum energy terms into a more general expression for Ω in which case this density parameter equals exactly unity. Then it is a matter of measuring the different components, usually designated by subscripts. According to the ΛCDM model, there are important components of Ω due to baryons, cold dark matter and dark energy. The spatial geometry of the universe has been measured by the WMAP spacecraft to be nearly flat. This means that the universe can be well approximated by a model where the spatial curvature parameter k is zero; however, this does not necessarily imply that the universe is infinite: it might merely be that the universe is much larger than the part we see.

The first Friedmann equation is often seen in terms of the present values of the density parameters, that is $${\displaystyle \frac{H^2}{H_0^2}={\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{-4}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{-3}+{\mathrm{\Omega }}_{0,k}{a}^{-2}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}.}$$ Here Ω_0,R is the radiation density today (when a = 1), Ω_0,M is the matter (dark plus baryonic) density today, Ω_0,k = 1 − Ω₀ is the "spatial curvature density" today, and Ω_0,Λ is the cosmological constant or vacuum density today.

Useful solutions

The Friedmann equations can be solved exactly in presence of a perfect fluid with equation of state $${\displaystyle p=w\rho c^2,}$$ where p is the pressure, ρ is the mass density of the fluid in the comoving frame and w is some constant.

In spatially flat case (k = 0), the solution for the scale factor is $${\displaystyle a(t)=a_0{t}^{\frac{2}{3(w+1)}}}$$ where a₀ is some integration constant to be fixed by the choice of initial conditions. This family of solutions labelled by w is extremely important for cosmology. For example, w = 0 describes a matter-dominated universe, where the pressure is negligible with respect to the mass density. From the generic solution one easily sees that in a matter-dominated universe the scale factor goes as $${\displaystyle a(t)\propto t^{2/3}}$$ matter-dominated Another important example is the case of a radiation-dominated universe, namely when w = ⁠1/3⁠. This leads to $${\displaystyle a(t)\propto t^{1/2}}$$ radiation-dominate.

Note that this solution is not valid for domination of the cosmological constant, which corresponds to an w = −1. In this case the energy density is constant and the scale factor grows exponentially.

Solutions for other values of k can be found at Tersic, Balsa. "Lecture Notes on Astrophysics". Retrieved 24 February 2022.

Mixtures

If the matter is a mixture of two or more non-interacting fluids each with such an equation of state, then $${\displaystyle {\dot{\rho }}_f=-3H\left({\rho }_f+\frac{p_f}{c^2}\right)}$$ holds separately for each such fluid f. In each case, $${\displaystyle {\dot{\rho }}_f=-3H\left({\rho }_f+w_f{\rho }_f\right)}$$ from which we get $${\displaystyle {\rho }_f\propto a^{-3\left(1+w_f\right)}.}$$

For example, one can form a linear combination of such terms $${\displaystyle \rho =A{a}^{-3}+B{a}^{-4}+C{a}^0}$$ where A is the density of "dust" (ordinary matter, w = 0) when a = 1; B is the density of radiation (w = ⁠1/3⁠) when a = 1; and C is the density of "dark energy" (w = −1). One then substitutes this into $${\displaystyle {\left(\frac{\dot{a}}{a}\right)}^2=\frac{8\pi G}{3}\rho -\frac{k{c}^2}{a^2}}$$ and solves for a as a function of time.

Detailed derivation

To make the solutions more explicit, we can derive the full relationships from the first Friedmann equation: $${\displaystyle \frac{H^2}{H_0^2}={\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{-4}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{-3}+{\mathrm{\Omega }}_{0,k}{a}^{-2}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}}$$ with $${\displaystyle \begin{array}{rl}H& =\frac{\dot{a}}{a}\\ H^2& =H_0^2\left({\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{-4}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{-3}+{\mathrm{\Omega }}_{0,k}{a}^{-2}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}\right)\\ H& =H_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{-4}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{-3}+{\mathrm{\Omega }}_{0,k}{a}^{-2}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}}\\ \frac{\dot{a}}{a}& =H_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{-4}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{-3}+{\mathrm{\Omega }}_{0,k}{a}^{-2}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}}\\ \frac{\mathrm{d}a}{\mathrm{d}t}& =H_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{-2}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{-1}+{\mathrm{\Omega }}_{0,k}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}{a}^2}\\ \mathrm{d}a& =\mathrm{d}t{H}_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{-2}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{-1}+{\mathrm{\Omega }}_{0,k}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}{a}^2}\end{array}}$$

Rearranging and changing to use variables a′ and t′ for the integration $${\displaystyle t{H}_0={\int }_0^a\frac{\mathrm{d}{a}^{\prime }}{\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{\prime -2}+{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{\prime -1}+{\mathrm{\Omega }}_{0,k}+{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}{a}^{\prime 2}}}}$$

Solutions for the dependence of the scale factor with respect to time for universes dominated by each component can be found. In each we also have assumed that Ω_0,k ≈ 0, which is the same as assuming that the dominating source of energy density is approximately 1.

For matter-dominated universes, where Ω_0,M ≫ Ω_0,R and Ω_0,Λ, as well as Ω_0,M ≈ 1: $${\displaystyle \begin{array}{rl}t{H}_0& ={\int }_0^a\frac{\mathrm{d}{a}^{\prime }}{\sqrt{{\mathrm{\Omega }}_{0,\mathrm{M}}{a}^{\prime -1}}}\\ t{H}_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{M}}}& ={\left(\frac{2}{3}{a^{\prime }}^{3/2}\right)|}_0^a\\ {\left(\frac{3}{2}t{H}_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{M}}}\right)}^{2/3}& =a(t)\end{array}}$$ which recovers the aforementioned a ∝ t^2/3

For radiation-dominated universes, where Ω_0,R ≫ Ω_0,M and Ω_0,Λ, as well as Ω_0,R ≈ 1: $${\displaystyle \begin{array}{rl}t{H}_0& ={\int }_0^a\frac{\mathrm{d}{a}^{\prime }}{\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}{a}^{\prime -2}}}\\ t{H}_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}}& ={\frac{a^{\prime 2}}{2}|}_0^a\\ {\left(2t{H}_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{R}}}\right)}^{1/2}& =a(t)\end{array}}$$

For Λ-dominated universes, where Ω_0,Λ ≫ Ω_0,R and Ω_0,M, as well as Ω_0,Λ ≈ 1, and where we now will change our bounds of integration from t_i to t and likewise a_i to a: $${\displaystyle \begin{array}{rl}\left(t-t_i\right)H_0& ={\int }_{a_i}^a\frac{\mathrm{d}{a}^{\prime }}{\sqrt{({\mathrm{\Omega }}_{0,\mathrm{\Lambda }}{a}^{\prime 2})}}\\ \left(t-t_i\right)H_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}}& =\ln |a^{\prime }|{|}_{a_i}^a\\ a_i\exp \left((t-t_i)H_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}}\right)& =a(t)\end{array}}$$

The Λ-dominated universe solution is of particular interest because the second derivative with respect to time is positive, non-zero; in other words implying an accelerating expansion of the universe, making ρ_Λ a candidate for dark energy: $${\displaystyle \begin{array}{rl}a(t)& =a_i\exp \left((t-t_i)H_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}}\right)\\ \frac{{\mathrm{d}}^{2}a(t)}{\mathrm{d}{t}^2}& =a_i{H_0}^2{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}\exp \left((t-t_i)H_0\sqrt{{\mathrm{\Omega }}_{0,\mathrm{\Lambda }}}\right)\end{array}}$$

Where by construction a_i > 0, our assumptions were Ω_0,Λ ≈ 1, and H₀ has been measured to be positive, forcing the acceleration to be greater than zero.

Rescaled Friedmann equation

Set $${\displaystyle \tilde{a}=\frac{a}{a_0},{\rho }_c=\frac{3H_0^2}{8\pi G},\mathrm{\Omega }=\frac{\rho }{{\rho }_{\mathrm{c}}},t=\frac{\tilde{t}}{H_0},{\mathrm{\Omega }}_{\mathrm{k}}=-\frac{k{c}^2}{H_0^2{a}_0^2},}$$ where a₀ and H₀ are separately the scale factor and the Hubble parameter today. Then we can have $${\displaystyle \frac{1}{2}{\left(\frac{d\tilde{a}}{d\tilde{t}}\right)}^2+U_{\text{eff}}(\tilde{a})=\frac{1}{2}{\mathrm{\Omega }}_{\mathrm{k}}}$$ where $${\displaystyle U_{\text{eff}}(\tilde{a})=\frac{-\mathrm{\Omega }{\tilde{a}}^2}{2}.}$$

For any form of the effective potential U_eff(ã), there is an equation of state p = p(ρ) that will produce it.

In popular culture

Several students at Tsinghua University (CCP leader Xi Jinping's alma mater) participating in the 2022 COVID-19 protests in China carried placards with Friedmann equations scrawled on them, interpreted by some as a play on the words "Free man". Others have interpreted the use of the equations as a call to “open up” China and stop its Zero Covid policy, as the Friedmann equations relate to the expansion, or “opening” of the universe.