MathLabs

Mathematical physics

The Friedmann equations and relativistic cosmology

How a single number, the scale factor a(t)a(t), describes the size of the entire universe, why Einstein's field equations reduce for a homogeneous, isotropic cosmos to two ordinary differential equations governing a(t)a(t), and how these Friedmann equations let us compute the age, geometry, and ultimate fate of the universe from measured densities of matter, radiation, and dark energy.

IntuitionA loaf of raisin bread with no edge and no center

Imagine raisins baked into a loaf of bread, and picture the loaf rising in the oven: every raisin moves away from every other raisin, and the farther apart two raisins start, the faster they separate — yet no raisin is special, none sits at a 'center' of the expansion. This is exactly how galaxies recede from one another as the universe expands: space itself stretches uniformly everywhere, carrying galaxies apart, rather than galaxies flying outward from some central explosion into pre-existing empty space. The single number tracking how much the 'loaf' has risen since some reference time is the scale factor a(t)a(t), and the whole of relativistic cosmology reduces to finding the differential equation that governs it.

An interactive curved 3D surface with a scale slider, standing in for the uniformly-stretching spatial geometry of an expanding universe.
A curved surface standing in for the spatial geometry a Friedmann–Lemaître–Robertson–Walker universe can have: dragging the scale slider mimics uniformly stretching the whole surface, the way a(t)a(t) stretches every comoving distance in the real universe, without any point on the surface being a preferred center.

SchoolThe scale factor and Hubble's law

Definition: Scale factor, Hubble parameter, redshift

Write the physical distance between two galaxies at rest with respect to the expanding background ('comoving' galaxies) as d(t)=a(t) d0d(t) = a(t)\,d_{0}, where a(t)a(t) is the dimensionless scale factor (normalized so a(t0)=1a(t_0)=1 today) and d0d_0 is their fixed comoving distance. Differentiating, d˙=a˙ d0=a˙a d\dot d = \dot a\, d_0 = \dfrac{\dot a}{a}\,d, which is exactly Hubble's law v=H(t)dv=H(t)d with the Hubble parameter H(t)=a˙(t)a(t)H(t) = \dfrac{\dot a(t)}{a(t)}. Light emitted at time temt_{\text{em}} and observed today at t0t_0 is stretched by the same factor the universe has expanded, giving the redshift 1+z=a(t0)a(tem)1+z = \dfrac{a(t_{0})}{a(t_{\text{em}})}.

H(t)=a˙(t)a(t)H(t) = \dfrac{\dot a(t)}{a(t)}

The best current measurement gives H0≈70 km/s/MpcH_{0}\approx 70\ \text{km/s/Mpc} (megaparsecs), meaning galaxies 11 megaparsec away recede at roughly 7070 km/s — but the value H0H_0 today is only the boundary condition; the whole point of the Friedmann equations below is to say how H(t)H(t), and hence a(t)a(t), evolves.

Spatial curvature and the sign of kk
kkSpatial geometryTotal volumeAngle sum of a triangle
k=+1k=+13-sphere (closed, positively curved)Finite>180∘>180^\circ
k=0k=0Flat Euclidean spaceInfinite=180∘=180^\circ
k=−1k=-1Hyperbolic space (open, negatively curved)Infinite<180∘<180^\circ

UndergraduateDeriving the two Friedmann equations

For a homogeneous, isotropic universe with mass-energy density ρ(t)\rho(t), cosmological constant Λ\Lambda, and spatial curvature index k∈{−1,0,+1}k\in\{-1,0,+1\}, the scale factor obeys H2=(a˙a)2=8πG3ρ−kc2a2+Λc23H^{2} = \left(\dfrac{\dot a}{a}\right)^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}} + \dfrac{\Lambda c^{2}}{3}.

Why is it true?

The full derivation plugs the Friedmann–Lemaître–Robertson–Walker metric into Einstein's field equations, but a remarkable Newtonian argument (Milne & McCrea, 1934) reproduces exactly the same equation (setting Λ=0\Lambda=0): treat a test galaxy on the surface of an expanding sphere of comoving matter as an ordinary projectile in the gravitational field of everything enclosed inside it, and apply energy conservation. Gravity outside a uniform sphere behaves as if all its mass sat at the center (a Newtonian shell theorem), so only the enclosed mass matters — matching the way general relativity only lets locally enclosed mass-energy curve spacetime at a point in a homogeneous universe.

Proof

Fix a comoving test galaxy at comoving radius r0r_0 from an arbitrary origin, so its physical distance is R(t)=a(t)r0R(t)=a(t)r_0 and its physical velocity is R˙=a˙ r0\dot R = \dot a\, r_0. By the Newtonian shell theorem, the gravitational pull it feels comes only from the mass MM enclosed within radius RR, and since no comoving matter crosses the comoving sphere of radius r0r_0 as the universe expands, M=43π(ar0)3ρM = \dfrac{4}{3}\pi (a r_{0})^{3}\rho is constant in time (for pressureless matter). Treat the test galaxy, of mass mm, as a projectile: its total mechanical energy 12a˙2r02−GMmar0=E\dfrac12 \dot a^{2} r_{0}^{2} - \dfrac{GM m}{a r_{0}} = E is conserved.

Substitute MM: 12a˙2r02−Gmar0⋅43π(ar0)3ρ=E\dfrac12 \dot a^2 r_0^2 - \dfrac{G m}{a r_0}\cdot\dfrac{4}{3}\pi (ar_0)^3\rho = E, which simplifies to 12a˙2r02−43πGmρ a2r02=E\dfrac12\dot a^2 r_0^2 - \dfrac{4}{3}\pi G m \rho\, a^2 r_0^2 = E. Divide through by 12ma2r02\tfrac12 m a^2 r_0^2: (a˙a)2−8πG3ρ=2Ema2r02\left(\dfrac{\dot a}{a}\right)^2 - \dfrac{8\pi G}{3}\rho = \dfrac{2E}{m a^2 r_0^2}.

The right-hand side must be independent of the arbitrary radius r0r_0 chosen (the equation has to hold for every comoving observer, and a(t)a(t) itself does not depend on r0r_0), so 2Emr02\dfrac{2E}{mr_0^2} is a constant of the test galaxy's orbit that can only depend on the fixed comoving coordinate structure — define this constant by 2Emr02≡−kc2\dfrac{2E}{m r_{0}^{2}} \equiv -kc^{2}, giving H2=8πG3ρ−kc2a2H^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}}. A separate thermodynamic argument (treating the cosmological constant as a fluid with constant energy density ρΛ=Λc2/(8πG)\rho_\Lambda = \Lambda c^2/(8\pi G) and substituting it into this same formula) restores the Λc2/3\Lambda c^2/3 term, giving exactly H2=(a˙a)2=8πG3ρ−kc2a2+Λc23H^{2} = \left(\dfrac{\dot a}{a}\right)^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}} + \dfrac{\Lambda c^{2}}{3} — and remarkably, the full general-relativistic calculation from Einstein's field equations produces this identical equation, with kk now properly identified as the actual sign of spatial curvature rather than just an integration constant.

Under the same hypotheses, if in addition the density and pressure obey the fluid (continuity) equation ρ˙+3a˙a(ρ+pc2)=0\dot\rho + 3\dfrac{\dot a}{a}\left(\rho + \dfrac{p}{c^{2}}\right) = 0, then a¨a=−4πG3(ρ+3pc2)+Λc23\dfrac{\ddot a}{a} = -\dfrac{4\pi G}{3}\left(\rho + \dfrac{3p}{c^{2}}\right) + \dfrac{\Lambda c^{2}}{3}.

Why is it true?

Unlike Newtonian gravity, in general relativity pressure itself gravitates alongside energy density — a subtle effect invisible in the first Friedmann equation, which only involves ρ\rho. The acceleration equation reveals this: ordinary matter and radiation, having positive pressure, always decelerate the expansion via the +3p/c2+3p/c^2 term, while something with sufically negative pressure, p<−ρc2/3p<-\rho c^2/3, flips the sign and drives a¨>0\ddot a>0 — cosmic acceleration, exactly what dark energy (modeled here by Λ\Lambda) does.

Proof

Start from the first Friedmann equation in the form a˙2=8πG3ρa2−kc2+Λc23a2\dot a^2 = \dfrac{8\pi G}{3}\rho a^2 - kc^2 + \dfrac{\Lambda c^2}{3}a^2 and differentiate both sides with respect to tt: 2a˙a¨=8πG3(ρ˙a2+2ρaa˙)+2Λc23aa˙2\dot a\ddot a = \dfrac{8\pi G}{3}\left(\dot\rho a^2 + 2\rho a\dot a\right) + \dfrac{2\Lambda c^2}{3}a\dot a.

Divide every term by 2aa˙2a\dot a (valid whenever a˙≠0\dot a\neq0): a¨a=4πG3(ρ˙ aa˙+2ρ)+Λc23\dfrac{\ddot a}{a} = \dfrac{4\pi G}{3}\left(\dfrac{\dot\rho\, a}{\dot a} + 2\rho\right) + \dfrac{\Lambda c^2}{3}.

Now eliminate ρ˙\dot\rho using the fluid equation ρ˙+3a˙a(ρ+pc2)=0\dot\rho + 3\dfrac{\dot a}{a}\left(\rho + \dfrac{p}{c^{2}}\right) = 0, rearranged as ρ˙ aa˙=−3(ρ+pc2)\dfrac{\dot\rho\,a}{\dot a} = -3\left(\rho+\dfrac{p}{c^2}\right). Substituting: a¨a=4πG3(−3ρ−3pc2+2ρ)+Λc23=4πG3(−ρ−3pc2)+Λc23\dfrac{\ddot a}{a} = \dfrac{4\pi G}{3}\left(-3\rho-\dfrac{3p}{c^2}+2\rho\right)+\dfrac{\Lambda c^2}{3} = \dfrac{4\pi G}{3}\left(-\rho-\dfrac{3p}{c^2}\right)+\dfrac{\Lambda c^2}{3}.

This is exactly a¨a=−4πG3(ρ+3pc2)+Λc23\dfrac{\ddot a}{a} = -\dfrac{4\pi G}{3}\left(\rho + \dfrac{3p}{c^{2}}\right) + \dfrac{\Lambda c^{2}}{3}, as claimed. Notice the fluid equation itself is nothing more than the first law of thermodynamics d(ρc2a3)=−p d(a3)d(\rho c^2 a^3) = -p\,d(a^3) applied to an expanding comoving volume: energy inside a comoving patch changes only because the pressure does work as the patch's volume grows.

AdvancedHow different contents dilute, and the critical density

Writing an equation of state p=wρc2p = w\rho c^{2} relating pressure to density lets the fluid equation be solved directly: pressureless matter (w=0w=0, e.g. galaxies, dark matter) dilutes as ρm∝a−3\rho_{m}\propto a^{-3} — pure volume dilution — while radiation (w=13w=\tfrac13, e.g. photons) dilutes faster, ρr∝a−4\rho_{r}\propto a^{-4}, because each photon is also redshifted, losing energy as space stretches. A cosmological constant (w=−1w=-1) does not dilute at all, ρΛ∝a0\rho_{\Lambda}\propto a^{0}, so it inevitably dominates at late times no matter how small it starts. The density at which the universe is exactly spatially flat (k=0k=0) is the critical density ρc(t)=3H(t)28πG\rho_{c}(t) = \dfrac{3H(t)^{2}}{8\pi G}, and Ω≡ρρc\Omega \equiv \dfrac{\rho}{\rho_{c}} tells you at a glance whether space is closed (Ω>1\Omega>1), flat (Ω=1\Omega=1), or open (Ω<1\Omega<1).

ρc(t)=3H(t)28πG\rho_{c}(t) = \dfrac{3H(t)^{2}}{8\pi G}

UndergraduateReal-World Applications and Worked Examples

The Friedmann equations are not abstract bookkeeping: astronomers use them daily to convert a handful of measured densities and H0H_0 into the age of the universe, to predict how galaxy counts should scale with redshift, to model Big Bang nucleosynthesis in the radiation-dominated era, and to test whether dark energy is truly a constant Λ\Lambda or a dynamical field by comparing predicted versus observed expansion histories from supernovae and the cosmic microwave background.

Example: The age of a flat, matter-only universe

Assume a spatially flat (k=0k=0), matter-only universe (Λ=0\Lambda=0, p=0p=0) with ρm∝a−3\rho_{m}\propto a^{-3}. Show that a(t)∝t2/3a(t)\propto t^{2/3}, and use H0≈70 km/s/MpcH_{0}\approx 70\ \text{km/s/Mpc} (i.e. H0≈2.27×10−18 s−1H_0 \approx 2.27\times10^{-18}\ \text{s}^{-1}) to estimate the age this simplified model predicts.

Solution

With k=0k=0 and Λ=0\Lambda=0, the first Friedmann equation reduces to (a˙a)2=8πG3ρ\left(\dfrac{\dot a}{a}\right)^2 = \dfrac{8\pi G}{3}\rho. Since ρ∝a−3\rho\propto a^{-3}, write ρ=ρ0a−3\rho = \rho_0 a^{-3} (with ρ0\rho_0 the density today, a0=1a_0=1), so a˙2=8πGρ03 a−1\dot a^2 = \dfrac{8\pi G\rho_0}{3}\,a^{-1}, i.e. a˙=8πGρ03 a−1/2\dot a = \sqrt{\dfrac{8\pi G\rho_0}{3}}\,a^{-1/2}.

This is separable: a1/2 da=8πGρ03 dta^{1/2}\,da = \sqrt{\dfrac{8\pi G\rho_0}{3}}\,dt. Integrating from a=0a=0 at t=0t=0 (the Big Bang) to a(t)a(t) at time tt gives 23a3/2=8πGρ03 t\dfrac23 a^{3/2} = \sqrt{\dfrac{8\pi G\rho_0}{3}}\,t, i.e. a(t)=(const)⋅t2/3a(t) = \left(\text{const}\right)\cdot t^{2/3}, confirming a(t)∝t2/3a(t)\propto t^{2/3}.

To relate this to H0H_0: from a∝t2/3a\propto t^{2/3}, a˙∝23t−1/3\dot a\propto \tfrac23 t^{-1/3}, so H(t)=a˙/a=23t−1H(t)=\dot a/a = \tfrac23 t^{-1}. Evaluating today (t=t0t=t_0) gives H0=23t0H_0 = \dfrac{2}{3t_0}, i.e. t0=23H0≈9.3×109 yrt_{0} = \dfrac{2}{3H_{0}} \approx 9.3\times10^{9}\ \text{yr}.

Numerically, t0=23×2.27×10−18 s−1≈2.94×1017 s≈9.3t_0 = \dfrac{2}{3\times 2.27\times10^{-18}\ \text{s}^{-1}} \approx 2.94\times10^{17}\ \text{s} \approx 9.3 billion years. This flat matter-only estimate is noticeably younger than the real Λ\LambdaCDM age of t0≈13.8×109 yrt_{0}\approx 13.8\times10^{9}\ \text{yr} — the missing piece is dark energy, which accelerated the expansion in the second half of cosmic history and so requires slightly more elapsed time to reach today's H0H_0 than a purely decelerating matter universe would.

Example: Reading off the fate of the universe from Ω\Omega

Suppose a hypothetical matter-only, Λ=0\Lambda=0 universe today has total density parameter Ω0=ρ0/ρc=1.5\Omega_0=\rho_0/\rho_c=1.5 (i.e. above critical). Using the first Friedmann equation, determine the sign of kk and explain qualitatively what eventually happens to a(t)a(t).

Solution

Rewrite the first Friedmann equation (with Λ=0\Lambda=0) at t0t_0 (a0=1a_0=1) by dividing through by H02H_0^2: 1=ρ0ρc−kc2a02H02=Ω0−kc2H021 = \dfrac{\rho_0}{\rho_c} - \dfrac{kc^2}{a_0^2 H_0^2} = \Omega_0 - \dfrac{kc^2}{H_0^2}, so kc2H02=Ω0−1\dfrac{kc^2}{H_0^2} = \Omega_0-1.

Since Ω0=1.5>1\Omega_0=1.5>1, the right side is positive, and since c2/H02>0c^2/H_0^2>0, this forces k>0k>0, i.e. k=+1k=+1: the universe is a positively-curved, spatially closed 3-sphere.

Qualitatively (from the theorem 2 acceleration equation with p=0p=0, Λ=0\Lambda=0): a¨=−4πG3ρ a<0\ddot a = -\dfrac{4\pi G}{3}\rho\, a<0 always, so the expansion is perpetually decelerating, exactly as gravity pulling all the matter back together would suggest. For k=+1k=+1 with no dark energy to counteract it, H2=8πG3ρ−c2/a2H^2 = \tfrac{8\pi G}{3}\rho - c^2/a^2 must eventually hit H=0H=0 at some maximum amax⁡a_{\max} (since ρ∝a−3→0\rho\propto a^{-3}\to0 while c2/a2→0c^2/a^2\to0 more slowly, the curvature term wins at large aa), after which the universe recollapses toward a 'Big Crunch' — the closed, matter-dominated analogue of a ball thrown up that must eventually fall back down.

In a spatially flat (k=0k=0), Λ=0\Lambda=0 universe with only pressureless matter, the first Friedmann equation gives H2∝a−3H^2 \propto a^{-3}. What is a(t)a(t) proportional to?

Radiation density dilutes as ρr∝a−4\rho_r\propto a^{-4} rather than matter's a−3a^{-3}. What is the extra factor of a−1a^{-1} physically due to?

Measured densities today give Ω0=1.0\Omega_0 = 1.0 (spatially flat). What does the first Friedmann equation say about kk?

Which content, if present today with sufficient density, would be the only one able to make a¨>0\ddot a>0 (accelerating expansion)?

References

  1. John A. Peacock (1999). Cosmological Physics
  2. Scott Dodelson, Fabian Schmidt (2020). Modern Cosmology
  3. DESI Collaboration (2024). DESI 2024 VI: cosmological constraints from the measurements of baryon acoustic oscillations
  4. NASA/JPL Cosmology Group (2024). Hubble Tension