Worked Problems — The Robertson–Walker Metric & Friedmann Dynamics

Thirty-one fully worked problems spanning RW geometry, photon kinematics & distance measures, the Friedmann equation, single-component cosmologies, the open / closed families, and the flat ΛCDM benchmark — with eight diagrams covering geometries, scaling laws, parameter spaces, and the benchmark solution.

The line element on a homogeneous, isotropic spacetime is

$$ds^{2} \;=\; -c^{2}dt^{2} + a^{2}(t)\!\left[\,\frac{dx^{2}}{1-kx^{2}/R^{2}} \;+\; x^{2}\!\left(d\theta^{2} + \sin^{2}\theta\,d\phi^{2}\right)\right]\!,$$

with comoving polar coordinates $(x,\theta,\phi)$ and a time-dependent scale factor $a(t)$. The whole of cosmological kinematics is encoded in this single object; what follows extracts it piece by piece.

Chapter I
▶   ▶   ▶

The Robertson–Walker Metric

Geometry, distance, redshift, and the calibration of distance measures.

1

Spatial geometry and comoving distance

Question

Consider the Robertson–Walker line element. (a) Explain the physical meaning of the curvature index $k \in \{-1, 0, +1\}$ and the curvature radius $R$; relate them to the Gaussian curvature of a $t = \text{const}$ spatial slice. (b) Derive the comoving proper distance $r$ as a function of the coordinate $x$ in all three cases. (c) Show that for $r \ll R$ all three geometries are locally Euclidean, and quantify the leading correction. (d) Justify why $k = +1$ is called "closed" and $k = -1$ is called "open".

Solution

aSignificance of $k$ and $R$

$k$ — the curvature index. A discrete parameter taking values $k \in \{-1,\,0,\,+1\}$ that fixes the sign of the spatial sectional curvature:

$k$Spatial geometryCurvatureName
$+1$3-sphere $S^{3}$positiveclosed
$0$Euclidean $\mathbb{E}^{3}$zeroflat
$-1$3-hyperboloid $H^{3}$negativeopen

$R$ — the (present) radius of curvature. A constant with dimensions of length that sets the scale on which the geometry departs from Euclidean. The physical Gaussian curvature of a $t=\mathrm{const}$ slice is

$$K(t) \;=\; \frac{k}{a^{2}(t)\,R^{2}}.$$

Today, with the convention $a(t_{0})=1$, the curvature radius of space is just $R$. By rescaling $a$ one could absorb $R$ into the scale factor; it is convenient to keep it explicit so that $x$ has units of length and $a$ remains dimensionless.

bComoving proper distance — the three integrals

At fixed cosmic time and fixed angles, $dt = d\theta = d\phi = 0$, so

$$ds^{2} \;=\; a^{2}(t)\,\frac{dx^{2}}{1 - kx^{2}/R^{2}}.$$

Dividing out $a^{2}(t)$ defines the comoving proper distance — the proper distance measured on the slice rescaled to $a = 1$:

$$r \;=\; \int_{0}^{x}\frac{dx'}{\sqrt{1 - kx'^{\,2}/R^{2}}}.\qquad(\star)$$

(i) Open universe, $k = -1$.

The integrand becomes $(1 + x'^{\,2}/R^{2})^{-1/2}$. Substitute $x' = R\sinh u$, so $dx' = R\cosh u\,du$ and $\sqrt{1 + x'^{\,2}/R^{2}} = \cosh u$:

$$r \;=\; \int_{0}^{\sinh^{-1}(x/R)}\!\frac{R\cosh u}{\cosh u}\,du \;=\; R\,\sinh^{-1}\!\left(\frac{x}{R}\right).$$

(ii) Flat universe, $k = 0$.

The integrand reduces to $1$:

$$r \;=\; \int_{0}^{x} dx' \;=\; x.$$

(iii) Closed universe, $k = +1$.

Now $(1 - x'^{\,2}/R^{2})^{-1/2}$. Substitute $x' = R\sin u$, $dx' = R\cos u\,du$, $\sqrt{1 - x'^{\,2}/R^{2}} = \cos u$:

$$r \;=\; \int_{0}^{\sin^{-1}(x/R)}\!\frac{R\cos u}{\cos u}\,du \;=\; R\,\sin^{-1}\!\left(\frac{x}{R}\right).$$

This case requires $|x| \le R$; reaching $x = R$ corresponds to $r = \pi R / 2$, one quarter of the way around the 3-sphere. The coordinate $x$ covers only a single chart, while $r$ — the arc length on the sphere — is the geometrically meaningful comoving distance.

A unified expression covers all three cases: $\;r = R\,S_{k}^{-1}(x/R)\;$ with $\;S_{k}(u) = \sinh u,\,u,\,\sin u\;$ for $k = -1, 0, +1$ respectively; equivalently, $x = R\,S_{k}(r/R)$.

cSmall distances: $r \ll R$

Expand each result around $x/R \to 0$ using

$$\sin^{-1}\!y \;=\; y + \tfrac{y^{3}}{6} + \tfrac{3y^{5}}{40} + \cdots, \qquad \sinh^{-1}\!y \;=\; y - \tfrac{y^{3}}{6} + \tfrac{3y^{5}}{40} - \cdots.$$

With $y = x/R$ this gives

$$r \;=\; x \;\pm\; \frac{x^{3}}{6R^{2}} \;+\; \mathcal{O}\!\left(\frac{x^{5}}{R^{4}}\right),$$

the upper sign for $k = +1$ and the lower for $k = -1$. The fractional correction to the flat result is

$$\frac{\Delta r}{r} \;\sim\; \frac{1}{6}\!\left(\frac{r}{R}\right)^{\!2}\!,$$

negligible for $r \ll R$: all three geometries are locally Euclidean. The universe's curvature is invisible on scales much smaller than its radius of curvature — in exact analogy with how the Earth looks locally flat to a walker. This is also why local laboratory physics is insensitive to the global geometry of the cosmos.

Open k = −1 angle sum < π Flat k = 0 angle sum = π Closed k = +1 angle sum > π Two-dimensional analogues. Triangle angle-sum diagnoses intrinsic curvature.
Fig. 1 the three spatial geometries

dWhy "open" and "closed"?

The terminology tracks the range of the comoving coordinate $r$ — the genuine arc length on the spatial slice.

Closed, $k = +1$.

Because $r = R\sin^{-1}(x/R)$ and the chart can be continued around the sphere, a complete circumnavigation requires $r \in [0, \pi R]$. The maximum proper distance from any point is $\pi R$, finite. A radial geodesic eventually returns to its starting point. The spatial slice is a compact manifold (topologically $S^{3}$) of finite volume

$$V_{\text{space}} \;=\; 2\pi^{2}\,(aR)^{3}.$$

The geometry is closed in the same sense the surface of a sphere is closed: no boundary, but bounded.

Open, $k = -1$.

$r = R\sinh^{-1}(x/R)$ grows without bound as $x \to \infty$. The slice is the non-compact hyperboloid $H^{3}$ with infinite volume. A radial geodesic recedes forever, never returning. The geometry is open — unbounded in the strong sense.

Flat, $k = 0$.

$r = x \in [0, \infty)$ — also open, but with flat Euclidean topology $\mathbb{E}^{3}$ (modulo global identifications the local metric cannot decide). Conventionally "open" is reserved for $k = -1$, the genuinely hyperbolic case, and "flat" labels $k = 0$ alone.

The terminology therefore tracks a topological / global property — finite versus infinite volume, geodesics returning versus escaping — set by the sign of $k$.

2

Radial photons and cosmological redshift

Question

A radial photon travels in the FRW spacetime from a comoving source at coordinate $x$ to a comoving observer at the origin. (i) Derive the comoving distance $r = c\!\int_{t_{e}}^{t_{o}} dt/a(t)$ traversed by the photon. (ii) Show that successive wave crests obey $\lambda_{o}/\lambda_{e} = a(t_{o})/a(t_{e})$, the cosmological redshift formula. (iii) Comment on why this formula is universal across open, flat, and closed FRW geometries — what does not enter the derivation?

Solution

iComoving distance to a source

For a radial null geodesic, $ds^{2} = 0$ with $d\theta = d\phi = 0$:

$$0 \;=\; -c^{2}dt^{2} + a^{2}(t)\,\frac{dx^{2}}{1 - kx^{2}/R^{2}} \quad\Longrightarrow\quad \frac{c\,dt}{a(t)} \;=\; \frac{dx}{\sqrt{1 - kx^{2}/R^{2}}},$$

taking the outgoing-from-source branch with $dx > 0$ as $dt > 0$. Integrate from emission $t_{e}$ to observation $t_{o}$ on the left, and along the corresponding chord $0 \to x$ on the right. The right-hand integral is precisely $(\star)$ — namely $r$:

$$\boxed{\;\; r \;=\; c\!\int_{t_{e}}^{t_{o}}\frac{dt}{a(t)}\;\;}$$

Two structural remarks are worth emphasizing.

  1. The geometric factor $1/\sqrt{1 - kx'^{\,2}/R^{2}}$ has been swept into the definition of $r$. The formula has the same form in all three geometries — which is why the redshift derivation is usually quoted without ever referring to $k$.
  2. The integrand $c/a(t)$ is the conformal time element $d\eta \equiv dt/a(t)$ (times $c$). Hence $r = c\,(\eta_{o} - \eta_{e})$: light travels on straight lines in conformal coordinates, exactly as in Minkowski space.

iiFrom this to $\lambda_{o}/\lambda_{e} = a(t_{o})/a(t_{e})$

Consider two successive wave crests emitted from a comoving source at coordinate $x$ (the source is comoving — $x$ does not change between the two emission events). The first crest is emitted at $t_{e}$ and observed at $t_{o}$; the next crest is emitted at $t_{e} + \delta t_{e}$ and observed at $t_{o} + \delta t_{o}$. Both crests satisfy the same null-geodesic relation with the same right-hand side $r$:

$$c\!\int_{t_{e}}^{t_{o}}\frac{dt}{a(t)} \;=\; r \;=\; c\!\int_{t_{e}+\delta t_{e}}^{t_{o}+\delta t_{o}}\frac{dt}{a(t)}.$$

Subtracting and reorganizing the limits,

$$\int_{t_{o}}^{t_{o}+\delta t_{o}}\frac{dt}{a(t)} \;-\; \int_{t_{e}}^{t_{e}+\delta t_{e}}\frac{dt}{a(t)} \;=\; 0.$$

For optical or even radio wavelengths, $\delta t \sim 10^{-15}\!-\!10^{-9}\,\mathrm{s}$ — utterly negligible compared with the Hubble time over which $a(t)$ changes appreciably. So $a(t)$ is effectively constant across each of the two short intervals:

$$\frac{\delta t_{o}}{a(t_{o})} \;=\; \frac{\delta t_{e}}{a(t_{e})}.$$

Identifying $\delta t$ with the wave period ($\lambda = c\,\delta t$):

$$\boxed{\;\; \frac{\lambda_{o}}{\lambda_{e}} \;=\; \frac{\delta t_{o}}{\delta t_{e}} \;=\; \frac{a(t_{o})}{a(t_{e})}\;\;}$$

Defining the redshift $1 + z \equiv \lambda_{o}/\lambda_{e}$:

$$1 + z \;=\; \frac{a(t_{o})}{a(t_{e})}.$$

iiiPhysical reading

The wavelength stretches in exactly the same ratio as the spatial slices stretch between emission and observation. Cosmological redshift is not a kinematic Doppler effect from a peculiar velocity — sources here are at rest in comoving coordinates — but a direct consequence of the time-dependence of the spatial metric: the wave propagates through space whose physical scale is growing as $a(t)$, and its wavelength grows in lockstep.

Note what didn't enter: nothing about $k$ or $R$. The redshift formula is universal across open, flat, and closed FRW geometries. Curvature affects the distance–redshift relation (through the form of $x(r)$ once $r = c\!\int dt/a$ is known) and the volume element, but not the kinematics of a single null geodesic's frequency shift.

3

The two cosmological distances

Question

Define two operational distance measures from local observables: the luminosity distance $d_{L} \equiv \sqrt{L/(4\pi f)}$ (from a source's known luminosity $L$ and observed flux $f$) and the angular-diameter distance $d_{A} \equiv \ell/\theta$ (from a source's known proper length $\ell$ and observed angle $\theta$). (a) Derive $d_{L} = x_{k}\,(1+z)$ from first principles, identifying the two factors of $(1+z)$. (b) Derive $d_{A} = x_{k}/(1+z)$. (c) Establish Etherington's reciprocity relation $d_{L}/d_{A} = (1+z)^{2}$ and explain why it tests modified gravity and exotic photon physics.

Solution
Reminder: $x_k$ is the comoving angular-diameter coordinate appearing in the angular part of the RW metric. From Problem 1, $x_k = R\,S_k(r/R)$ with $S_k = \sin,\,{\rm id},\,\sinh$ for $k = +1,\,0,\,-1$. At fixed $t$ and $x_k$, the angular sector of the metric is that of a 2-sphere of physical radius $a(t)\,x_k$.

a · luminosity$\;d_L \equiv \sqrt{L/(4\pi f)}$

(i) Surface area at comoving radius.

Restrict the spatial metric to the 2-surface $\{t = \mathrm{const},\,x = x_k = \mathrm{const}\}$:

$$d\ell^{2} \;=\; a^{2}(t)\,x_{k}^{2}\!\left(d\theta^{2} + \sin^{2}\!\theta\,d\phi^{2}\right),$$

a round 2-sphere of physical radius $a(t)\,x_k$. Its area is

$$A(t) \;=\; 4\pi\,a^{2}(t)\,x_{k}^{2}.$$

At the observer's epoch $a(t_o) = 1$, so the area is $4\pi x_k^{2}$. The operational meaning of $x_k$: photons emitted isotropically by a comoving source spread, at the observer's time, over a sphere of physical area $4\pi x_k^{2}$ — not $4\pi r^{2}$.

(ii) Two factors of $(1 + z)$.

In a static Euclidean universe, $f = L/(4\pi x_k^{2})$. The cosmological expansion modifies this through two effects.

Energy redshift. Each photon arrives with energy $h\nu_{o} = h\nu_{e}/(1+z)$ since $\lambda_{o} = \lambda_{e}(1+z)$. Each photon delivers a factor $1/(1+z)$ less energy than at emission.

Arrival-rate dilation. Photons arrive less frequently by $\delta t_{o}/\delta t_{e} = 1 + z$.

Combining, energy received per unit time is reduced by $(1+z)^{2}$:

$$f \;=\; \frac{L}{4\pi x_{k}^{2}\,(1+z)^{2}}, \qquad 4\pi x_{k}^{2}\,f \;=\; \frac{L}{(1+z)^{2}}.$$

(iii) Hence the luminosity distance.

The definition $f = L/(4\pi d_{L}^{2})$ is engineered so $d_L$ is the literal distance in flat static space. Matching:

$$\frac{L}{4\pi d_{L}^{2}} \;=\; \frac{L}{4\pi x_{k}^{2}\,(1+z)^{2}} \quad\Longrightarrow\quad \boxed{\;\; d_{L} \;=\; x_{k}\,(1+z) \;\;}$$

A high-redshift source therefore appears fainter than its $x_k$ alone would predict — its inferred $d_{L}$ exceeds $x_k$ by the redshift factor.

b · angular$\;d_A \equiv \ell/\theta$

(i) A small perpendicular length.

Orient the polar system so the small ruler of proper length $\ell$ lies along a meridian of constant $\phi$. Then only $\theta$ changes along it:

$$d\ell^{2} \;=\; a^{2}(t)\,x_{k}^{2}\,d\theta^{2} \quad\Longrightarrow\quad \ell \;=\; a(t_{e})\,x_{k}\,\Delta\theta,$$

with $a(t)$ evaluated at the emission time — when the ruler had proper length $\ell$ and emitted the light we now observe. By spherical symmetry the answer cannot depend on orientation.

(ii) Hence the angular diameter distance.

The observer measures $\theta = \Delta\theta$. By definition $\theta = \ell/d_{A}$, so

$$d_{A} \;=\; \frac{\ell}{\Delta\theta} \;=\; a(t_{e})\,x_{k}.$$

Using $1 + z = a(t_{o})/a(t_{e}) = 1/a(t_{e})$:

$$\boxed{\;\; d_{A} \;=\; \frac{x_{k}}{1 + z} \;\;}$$

A high-redshift source therefore appears larger in angular size than $x_k$ alone would predict — the light we receive was emitted when the universe (and the ruler at the source's location) occupied a smaller region of space.

c · dualityEtherington's reciprocity

Combining the two distances,

$$\frac{d_{L}}{d_{A}} \;=\; (1+z)^{2}.$$

This holds in any metric theory of gravity in which photons travel on null geodesics and photon number is conserved. The factor $(1+z)^{2}$ has a clean accounting: one $(1+z)$ for energy per photon, one $(1+z)$ for photon arrival rate. Departures from this relation are a generic signature of new physics (photon–axion mixing, exotic absorption, modified gravity), and so it is regularly tested with combined SNe Ia, BAO, and cluster data.

4

Distance measures and the Hubble law

Question

(a) At what redshift does the choice between $d_{L}$ and $d_{A}$ start to matter at the 5% level (typical systematic-error floor)? (b) For inferring distance from the Hubble law $v_{\rm obs} = H_{0}\,d \pm v_{\rm pec}$ with peculiar velocity $v_{\rm pec} \approx 10^{3}$ km/s and $H_{0} \in [50,\,100]$ km/s/Mpc, determine (i) the minimum distance at which the peculiar-velocity error stays below 10%, and (ii) whether the $d_{L}$ vs $d_{A}$ distinction is also important at that distance.

Solution

aWhen does the choice of distance matter?

The fractional discrepancy between $d_{L}$ and $d_{A}$ at small $z$ is

$$\frac{d_{L} - d_{A}}{d_{A}} \;=\; (1+z)^{2} - 1 \;\approx\; 2z + z^{2}.$$

Setting this equal to a 5% systematic floor:

$$(1+z)^{2} - 1 \;=\; 0.05 \quad\Longrightarrow\quad z \;\approx\; 0.025.$$

Above $z \sim 0.025$, the choice of distance indicator pushes the inferred distance by more than the typical systematic. Standard candles (SNe Ia, Cepheids) yield $d_{L}$; standard rulers (BAO, cluster radii, Einstein-radius lensing) yield $d_{A}$.

$z$$d_L/d_A = (1+z)^{2}$fractional gap
$0.01$$1.0201$$2\%$
$0.025$$1.0506$$5\%$
$0.05$$1.1025$$10\%$
$0.10$$1.2100$$21\%$
$0.50$$2.2500$$125\%$

b · iHubble law and peculiar velocities

The observed recession velocity is the sum of Hubble flow and line-of-sight peculiar velocity:

$$v_{\rm obs} \;=\; H_{0}\,d \;\pm\; v_{\rm pec}.$$

Inverting via the Hubble law alone gives a fractional distance error $|\Delta d|/d = v_{\rm pec}/(H_{0}\,d)$. Demanding this be $< 10\%$ with $v_{\rm pec} = 10^{3}\,\mathrm{km\,s^{-1}}$:

$$d \;>\; \frac{10\,v_{\rm pec}}{H_{0}} \;=\; \frac{10^{4}\,\mathrm{km\,s^{-1}}}{H_{0}}.$$

For $H_{0} \in [50,\,100]\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$:

$$d_{\min} \;=\; \begin{cases} 200\,\mathrm{Mpc} & H_{0} = 50\\[2pt] 100\,\mathrm{Mpc} & H_{0} = 100 \end{cases}$$

To be safe across the allowed $H_{0}$ range, work at $d \gtrsim 200\,\mathrm{Mpc}$. This is why classical $H_{0}$-ladder measurements target $\sim 100$–$400\,\mathrm{Mpc}$: close enough that cosmology dependence is mild, far enough that the Virgo-scale peculiar-velocity field is sub-dominant.

b · iiDoes $d_L$ vs $d_A$ matter here?

At $d \sim 100$–$200\,\mathrm{Mpc}$ with canonical $H_{0}$, the relevant redshift is

$$z \;=\; \frac{H_{0}\,d}{c} \;\sim\; \frac{10^{4}\,\mathrm{km\,s^{-1}}}{3\times 10^{5}\,\mathrm{km\,s^{-1}}} \;\approx\; 0.03,$$

where the $d_L$–$d_A$ gap is

$$(1+z)^{2} - 1 \;\approx\; 2z \;\approx\; 6\text{–}7\%,$$

just below the 10% peculiar-velocity budget but above the 5% systematic floor. At the margin, yes — but barely.

  1. At leading order in $z$, $cz = H_{0}d$ is unambiguous — both $d_L$ and $d_A$ Taylor-expand to $cz/H_{0}$.
  2. The first-order $\sim 6\%$ correction is sub-dominant but not negligible; in quadrature with 10% it adds $\sim 2\%$ to the total budget.
  3. In practice one should quote which distance is meant and use the consistent expansion.
Chapter II
▶   ▶   ▶

The Friedmann Equation

Dynamics from Einstein's equations: the acceleration law, the scaling of the three components, the cover-form Friedmann equation, the critical density, and the present-day curvature. A subscript $0$ denotes the present epoch.

5

The acceleration equation

Question

Starting from the Friedmann equation $H^{2} = 8\pi G\,\mathcal{E}/(3 c^{2}) - kc^{2}/(R_{0}^{2}\,a^{2})$ and the fluid conservation law $\dot{\mathcal{E}} + 3H(\mathcal{E} + P) = 0$, derive the acceleration equation $\ddot a/a = -(4\pi G/3 c^{2})(\mathcal{E} + 3P)$. What condition on the equation of state $w = P/\mathcal{E}$ must a fluid satisfy to drive cosmic acceleration ($\ddot a > 0$)? Does the curvature term contribute to $\ddot a$?

Solution

The two equations on the table:

$$H^{2} \;=\; \frac{8\pi G\,\mathcal{E}}{3 c^{2}} \;-\; \frac{k c^{2}}{R_{0}^{2}\,a^{2}} \qquad\text{(Friedmann)}$$ $$\dot{\mathcal{E}} \;+\; 3 H\,(\mathcal{E} + P) \;=\; 0 \qquad\text{(fluid / energy conservation)}$$

The fluid equation is the local conservation law $\nabla_{\mu} T^{\mu 0} = 0$ for a homogeneous perfect fluid in FRW; it also follows independently from $\nabla_{\mu} G^{\mu\nu} = 0$ applied to Einstein's equations.

Multiply Friedmann by $a^{2}$ and differentiate:

$$\dot a^{2} \;=\; \frac{8\pi G}{3 c^{2}}\,\mathcal{E}\,a^{2} \;-\; \frac{k c^{2}}{R_{0}^{2}} \;\Longrightarrow\; 2\dot a\,\ddot a \;=\; \frac{8\pi G}{3 c^{2}}\!\left( \dot{\mathcal{E}}\,a^{2} + 2\mathcal{E}\,a\,\dot a\right).$$

Divide by $2\dot a$ and use the fluid equation, $\dot{\mathcal{E}}\,a^{2}/\dot a = -3 a (\mathcal{E} + P)$:

$$\ddot a \;=\; \frac{8\pi G}{3 c^{2}}\!\left[ -\tfrac{3}{2} a (\mathcal{E} + P) + \mathcal{E}\,a\right] \;=\; \frac{8\pi G\,a}{3 c^{2}}\!\left[ -\tfrac{1}{2}\mathcal{E} - \tfrac{3}{2} P\right].$$

Therefore

$$\boxed{\;\; \frac{\ddot a}{a} \;=\; -\,\frac{4\pi G}{3 c^{2}}\,(\mathcal{E} + 3 P) \;\;}$$

Two readings. First, gravity acts on $\mathcal{E} + 3P$, not on $\mathcal{E}$ alone — positive pressure gravitates and decelerates the expansion in its own right, the pressure-as-source-of-gravity that has no Newtonian analogue. Second, $\ddot a > 0$ requires $P < -\mathcal{E}/3$, i.e. $w < -1/3$: the threshold a fluid must cross to drive cosmic acceleration. A cosmological constant ($w = -1$) qualifies; matter ($w = 0$) and radiation ($w = 1/3$) do not.

The curvature term has dropped out because it was a constant of integration in $\dot a^{2}$; $k$ does not source $\ddot a$ directly.
6

Energy density and the cover-form Friedmann equation

Question

(a) For a fluid with constant equation of state $P = w\,\mathcal{E}$, derive the scaling $\mathcal{E}(a) = \mathcal{E}_{0}\,a^{-3(1+w)}$. (b) Tabulate the scalings of matter, radiation, and the cosmological constant. Identify the two crossover scale factors. (c) Defining the density parameters $\Omega_{i,0} = \mathcal{E}_{i,0}/\mathcal{E}_{c}$ where $\mathcal{E}_{c} = 3 c^{2} H_{0}^{2}/(8\pi G)$, and a curvature density $\Omega_{k,0} = -kc^{2}/(R_{0}^{2} H_{0}^{2})$, write Friedmann in cover-form. Also identify the energy density of the cosmological constant $\mathcal{E}_{\Lambda}$ in terms of $\Lambda$.

Solution

a · scaling$\;\mathcal{E} = \mathcal{E}_{0}\,a^{-3(1+w)}$

For $P = w \mathcal{E}$ with $w$ constant, the fluid equation reads

$$\dot{\mathcal{E}} + 3(1+w)\,H\,\mathcal{E} \;=\; 0 \;\Longrightarrow\; \frac{d\ln\mathcal{E}}{d\ln a} \;=\; -3(1+w),$$

integrating to

$$\boxed{\;\; \mathcal{E}(a) \;=\; \mathcal{E}_{0}\,a^{-3(1+w)} \;\;}$$

with the convention $a_{0} = 1$.

b · componentsThe three substances

component$w$scalingaccountingassumption
matter $0$ $\mathcal{E}_{m} \propto a^{-3}$ $n \propto a^{-3}$; rest energy per particle constant non-relativistic / pressureless
radiation $1/3$ $\mathcal{E}_{r} \propto a^{-4}$ $n_{\gamma} \propto a^{-3}$ plus an extra $a^{-1}$ from per-photon redshift ultrarelativistic; $w = 1/3$ is the trace of $T^{\mu}_{\ \mu}$
$\Lambda$ $-1$ $\mathcal{E}_{\Lambda} \propto a^{0}$ Lorentz-invariant vacuum energy; not diluted by expansion $T^{(\Lambda)}_{\mu\nu} \propto g_{\mu\nu}$ strictly

The two crossovers that fall out of these scalings — radiation–matter equality at $a_{\rm eq} \approx \Omega_{r,0}/\Omega_{m,0} \sim 3\times 10^{-4}$ and matter–$\Lambda$ equality at $a \approx (\Omega_{m,0}/\Omega_{\Lambda,0})^{1/3} \sim 0.77$ — are the two natural eras of the late universe:

12 10 5 0 −5 −4 −3 −2 −1 0 log₁₀ a (scale factor) earlier ◀ ▶ later log₁₀ ( ε / ε_c ) today radiation ↔ matter a_eq ≈ 3 × 10⁻⁴ matter ↔ Λ a ≈ 0.75 radiation · a⁻⁴ matter · a⁻³ Λ · constant radiation era matter era Λ era
Fig. 2 scaling of the three energy densities; the universe is dominated, in turn, by the fluid whose line sits highest

c · FriedmannThe cover-form

Define the critical density as the energy density that would close the universe at the present epoch:

$$\mathcal{E}_{c} \;\equiv\; \frac{3 c^{2} H_{0}^{2}}{8\pi G}, \qquad \rho_{c} \;=\; \frac{\mathcal{E}_{c}}{c^{2}} \;=\; \frac{3 H_{0}^{2}}{8\pi G}.$$

Density parameters: $\Omega_{i,0} \equiv \mathcal{E}_{i,0}/\mathcal{E}_{c}$ for each fluid, and the curvature density parameter

$$\Omega_{k,0} \;\equiv\; -\,\frac{k c^{2}}{R_{0}^{2}\,H_{0}^{2}}.$$

Sign convention: $\Omega_{k} > 0$ for $k = -1$ (open); $\Omega_{k} < 0$ for $k = +1$ (closed). Substituting $\mathcal{E} = \mathcal{E}_{r,0}a^{-4} + \mathcal{E}_{m,0}a^{-3} + \mathcal{E}_{\Lambda,0}$ into Friedmann and dividing by $H_{0}^{2}$:

$$\boxed{\;\; \frac{H^{2}}{H_{0}^{2}} \;=\; \Omega_{r,0}\,a^{-4} + \Omega_{m,0}\,a^{-3} + \Omega_{k,0}\,a^{-2} + \Omega_{\Lambda,0} \;\;}$$

At $a = 1$ this collapses to the closure constraint $\sum_{i}\Omega_{i,0} = 1$, including $\Omega_{k,0}$.

Vacuum energy ↔ cosmological constant.

Promoting the $\Lambda g_{\mu\nu}$ term to the right-hand side, $G_{\mu\nu} = (8\pi G/c^{4})\,[T_{\mu\nu} + T^{(\Lambda)}_{\mu\nu}]$ with $T^{(\Lambda)}_{\mu\nu} = -(\Lambda c^{4}/8\pi G)\,g_{\mu\nu}$. In the comoving frame this is a perfect fluid with $\mathcal{E}_{\Lambda} = -P_{\Lambda}$, giving

$$\boxed{\;\; \mathcal{E}_{\Lambda} \;=\; \frac{\Lambda\,c^{4}}{8\pi G} \;\;} \qquad\text{equivalently}\qquad \Omega_{\Lambda,0} \;=\; \frac{\Lambda c^{2}}{3 H_{0}^{2}}.$$
7

The critical density

Question

For a Hubble constant of $H_{0} = 70\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$, compute the critical density $\mathcal{E}_{c} = 3 c^{2} H_{0}^{2}/(8\pi G)$ in four useful forms: (i) J m$^{-3}$, (ii) kg m$^{-3}$, (iii) $M_{\odot}\,\mathrm{Mpc}^{-3}$, (iv) GeV m$^{-3}$. Interpret the last form physically — how many hydrogen atoms per cubic metre does it correspond to?

Solution

Convert to SI: $H_{0} = 70\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$ becomes

$$H_{0} \;=\; 70 \cdot \frac{10^{3}\,\mathrm{m/km}}{3.0857\times 10^{22}\,\mathrm{m/Mpc}} \;=\; 2.268\times 10^{-18}\,\mathrm{s^{-1}},$$

so $H_{0}^{2} = 5.146\times 10^{-36}\,\mathrm{s^{-2}}$, and

$$\mathcal{E}_{c} \;=\; \frac{3 c^{2} H_{0}^{2}}{8\pi G} \;=\; \frac{3\,(2.998\times 10^{8})^{2}\,(5.146\times 10^{-36})}{8\pi\,(6.674\times 10^{-11})}\;\mathrm{J\,m^{-3}}.$$
formvaluehow
(i) $\mathcal{E}_{c}$ in J m⁻³ $8.28 \times 10^{-10}$ direct from the formula above
(ii) $\rho_{c}$ in kg m⁻³ $9.21 \times 10^{-27}$ $\mathcal{E}_{c}/c^{2}$; $\,\equiv 1.879\times 10^{-26}\,h^{2}$ with $h = 0.7$
(iii) $\rho_{c}$ in $M_{\odot}\,\mathrm{Mpc}^{-3}$ $1.36 \times 10^{11}$ $\times\,(3.086\times 10^{22})^{3}/(1.989\times 10^{30})$
(iv) $\mathcal{E}_{c}$ in GeV m⁻³ $5.17$ $\times\,(1.602\times 10^{-10}\,\mathrm{J/GeV})^{-1}$

The last form is the most physically transparent: it corresponds to $\sim 5.5$ proton rest-energies per cubic metre, or roughly six hydrogen atoms per cubic metre — a useful mental benchmark for what "cosmological mean density" actually means.

8

Curvature radius and the 5% threshold

Question

Suppose observations gave $\Omega_{k,0} = -0.09$. (i) Determine the sign of the curvature index $k$ and compute the radius of curvature $R_{0}$, taking $H_{0} = 50\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$. (ii) What is the maximum comoving radial distance $r$ at which the approximation $r \approx x_{k}$ holds within 5%? (iii) Compare this threshold with the comoving distance to the CMB last-scattering surface ($\sim 1.4 \times 10^{4}\,\mathrm{Mpc}$) and discuss the CMB "geometric degeneracy" between $H_{0}$ and $\Omega_{k}$.

Solution

From the definition,

$$\Omega_{k,0} \;=\; -\,\frac{k c^{2}}{R_{0}^{2}\,H_{0}^{2}} \;=\; -0.09 \;<\; 0,$$

so $k = +1$ (closed) and

$$R_{0} \;=\; \frac{c}{H_{0}\,\sqrt{|\Omega_{k,0}|}} \;=\; \frac{c}{0.3\,H_{0}}.$$

With $H_{0} = 50\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$, the Hubble distance is $c/H_{0} = 6\,000\,\mathrm{Mpc}$, so

$$\boxed{\;\; R_{0} \;\approx\; 2.0 \times 10^{4}\,\mathrm{Mpc} \;=\; 20\,\mathrm{Gpc} \;\;}$$

— bigger than the radius of the present observable universe ($\sim 14\,\mathrm{Gpc}$). A universe with this much curvature is still globally finite, but with circumference comfortably exceeding what we can see.

5%Maximum $r$ for which $r \approx x_{k}$

From Problem 1,

$$r \;=\; R_{0}\,\sin^{-1}\!\left(\frac{x_{k}}{R_{0}}\right) \;=\; x_{k} \;+\; \frac{x_{k}^{3}}{6\,R_{0}^{2}} \;+\; \mathcal{O}\!\left(\frac{x_{k}^{5}}{R_{0}^{4}}\right).$$

The leading fractional correction is

$$\frac{r - x_{k}}{x_{k}} \;\approx\; \frac{x_{k}^{2}}{6\,R_{0}^{2}}.$$

Setting this to $0.05$:

$$x_{k} \;=\; R_{0}\sqrt{0.30} \;\approx\; 0.548\,R_{0} \;\approx\; 1.10 \times 10^{4}\,\mathrm{Mpc},$$

with the corresponding $r = R_{0}\sin^{-1}(0.548) \approx 1.16 \times 10^{4}\,\mathrm{Mpc}$.

The CMB sanity check. The comoving distance to the last-scattering surface in our universe is roughly $1.4\times 10^{4}\,\mathrm{Mpc}$ — just outside this threshold. So if $\Omega_{k,0}$ really were $-0.09$, curvature would distort distance–redshift relations by more than 5% on scales comparable to the sound horizon imprinted at recombination. This is precisely the regime where the CMB acoustic peaks lock down distance, and it is why $\Omega_{k}$ and $H_{0}$ are tightly correlated in CMB-only fits — the geometric degeneracy. A closed universe with low $H_{0}$ and an open universe with higher $H_{0}$ can both produce similar peak positions; only external probes (BAO, SNe Ia, the local distance ladder) break the degeneracy.

The Planck-collaboration value of $H_{0} \approx 50\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$ that "fits" $\Omega_{k} = -0.09$ is therefore not a viable cosmology in isolation — it is one corner of the degenerate ridge in the $(H_{0},\,\Omega_{k})$ plane, ruled out by combining datasets.

9

Cover-form variants of Friedmann

Question

Write the Friedmann equation in two equivalent dimensionless forms. (i) Using time-dependent density parameters $\Omega_{i}(t)$, show that $H^{2}(1 - \Omega_{r} - \Omega_{m} - \Omega_{\Lambda}) = -kc^{2}/(a^{2} R_{0}^{2})$ — isolating the curvature term. (ii) Using present-day density parameters $\Omega_{i,0}$, derive $\dot a^{2} = H_{0}^{2}(\Omega_{r,0}/a^{2} + \Omega_{m,0}/a + \Omega_{k,0} + \Omega_{\Lambda,0}\,a^{2})$. Verify that at $a = 1$ the closure constraint $\sum_{i}\Omega_{i,0} = 1$ holds.

Solution

Starting from the original equation,

$$H^{2} \;=\; \frac{8\pi G}{3 c^{2}}\bigl(\mathcal{E}_{r} + \mathcal{E}_{m} + \mathcal{E}_{\Lambda}\bigr) \;-\; \frac{k c^{2}}{a^{2} R_{0}^{2}}\,.$$

i · time-dependentIn terms of $\Omega_{i}(t)$

Dividing by $H^{2}$ and noticing that each $8\pi G\,\mathcal{E}_{i}/(3 c^{2} H^{2})$ is the present-epoch density parameter $\Omega_{i}(t)$:

$$1 \;=\; \Omega_{r}(t) + \Omega_{m}(t) + \Omega_{\Lambda}(t) \;-\; \frac{kc^{2}}{a^{2}R_{0}^{2}H^{2}}.$$

Rearranging,

$$\boxed{\;\; H^{2}\!\left(1 - \Omega_{r} - \Omega_{m} - \Omega_{\Lambda}\right) \;=\; -\,\frac{kc^{2}}{a^{2}\,R_{0}^{2}} \;\;}$$

The curvature term has been isolated; everything else is dimensionless. This is the form that most cleanly exposes the link between geometry and total energy budget — and the seed of the next identity.

ii · present-dayIn terms of $\Omega_{i,0}$

Using $\mathcal{E}_{i}(a) = \mathcal{E}_{i,0}\,a^{-3(1+w_{i})}$ for each fluid, dividing Friedmann by $H_{0}^{2}$, and multiplying both sides by $a^{2}$ (since $\dot a^{2} = a^{2} H^{2}$):

$$\boxed{\;\; \dot a^{2} \;=\; H_{0}^{2}\!\left( \frac{\Omega_{r,0}}{a^{2}} + \frac{\Omega_{m,0}}{a} + \Omega_{k,0} + \Omega_{\Lambda,0}\,a^{2}\right) \;\;}\qquad(1)$$

where

$$\Omega_{k,0} \;\equiv\; -\,\frac{kc^{2}}{R_{0}^{2}\,H_{0}^{2}}\,,$$

with $\Omega_{k,0} > 0$ for $k = -1$ (open), $\Omega_{k,0} = 0$ for $k = 0$ (flat), $\Omega_{k,0} < 0$ for $k = +1$ (closed). At $a = 1$ equation (1) reduces to the closure constraint $\sum_{i}\Omega_{i,0} = 1$.

Note the power-of-$a$ progression: $a^{-2},\,a^{-1},\,a^{0},\,a^{+2}$. Each component contributes a term with a different effective power because we are looking at $\dot a^{2}$, not $H^{2}$.
10

Time evolution of $1-\Omega(t)$

Question

Using the cover-form Friedmann equation, define the total density parameter $\Omega \equiv \Omega_{r} + \Omega_{m} + \Omega_{\Lambda}$ and derive an explicit expression for the time evolution of $1 - \Omega(t)$ in terms of $H$, $H_{0}$, $a$, and the present-day departure-from-flatness $(1 - \Omega_{0})$. Comment on what controls the sign of $1 - \Omega(t)$ at all times.

Solution

Defining the total density parameter $\Omega \equiv \Omega_{r} + \Omega_{m} + \Omega_{\Lambda}$, the result of 9(i) reads

$$H^{2}(1 - \Omega) \;=\; -\,\frac{kc^{2}}{a^{2}\,R_{0}^{2}}. \qquad\text{(A)}$$

Evaluated today ($a = 1$, $H = H_{0}$):

$$H_{0}^{2}(1 - \Omega_{0}) \;=\; -\,\frac{kc^{2}}{R_{0}^{2}}. \qquad\text{(B)}$$

Dividing (A) by (B):

$$\frac{H^{2}(1-\Omega)}{H_{0}^{2}(1-\Omega_{0})} \;=\; \frac{1}{a^{2}} \;\Longrightarrow\; \boxed{\;\; 1 - \Omega(t) \;=\; \frac{H_{0}^{2}\,(1-\Omega_{0})}{H^{2}\,a^{2}} \;\;} \qquad(2)$$

The right-hand side is a strictly positive quantity ($H^{2}a^{2} > 0$) multiplied by the constant $(1-\Omega_{0})$. The latter sets the sign for all time; the former is just a rescaling.

11

Curvature, recollapse, and the onset of acceleration

Question

(a) Establish the time-independent dictionary $\text{sign}(1 - \Omega(t)) = \text{sign}(-k)$, and explain its consequence: once flat, always flat. (b) For a closed (matter + radiation, no $\Lambda$) universe, show that recollapse is inevitable. Where does it stop expanding and why does it then contract? (c) For a flat universe with matter and $\Lambda$ only, find the scale factor $a_{\rm acc}$ at which the expansion begins to accelerate ($\ddot a = 0$). Comment on why $a_{\rm acc}$ is smaller than the matter–$\Lambda$ equality scale.

Solution

a · signSign of $k$ vs. sign of $1-\Omega$

From (A): $H^{2}(1-\Omega) = -kc^{2}/(a^{2}R_{0}^{2})$. Since $H^{2},\,a^{2},\,R_{0}^{2},\,c^{2}$ are all strictly positive,

$$\mathrm{sign}(1-\Omega) \;=\; \mathrm{sign}(-k).$$
$\Omega$$1-\Omega$$k$geometry
$< 1$$> 0$$-1$open
$= 1$$0$$0$flat
$> 1$$< 0$$+1$closed

Equation (2) does more than (A) alone: it tells us this dictionary is time-independent. If $\Omega_{0} = 1$ today, then $\Omega(t) = 1$ for all $t$; if $\Omega_{0} < 1$, then $\Omega(t) < 1$ at every epoch. The Universe never crosses from one geometry to another — once flat, always flat.

$\Omega = 1$ is an unstable fixed point of (2) during decelerated expansion, since $H^{2}a^{2}$ shrinks and the right-hand side grows. This is the fine-tuning problem that motivates inflation: to be observed near $\Omega_{0} = 1$ today, the early universe had to begin spectacularly close to $\Omega = 1$. We return to this in Section 19.

b · recollapseClosed, $\Lambda = 0$ universe

With $\Omega_{\Lambda,0} = 0$ and $k = +1$ (so $\Omega_{k,0} < 0$), equation (1) becomes

$$\dot a^{2} \;=\; H_{0}^{2}\!\left(\frac{\Omega_{r,0}}{a^{2}} + \frac{\Omega_{m,0}}{a} + \Omega_{k,0}\right), \qquad \Omega_{k,0} = 1 - \Omega_{r,0} - \Omega_{m,0} < 0.$$

The right-hand side decreases monotonically with $a$: there exists a unique $a_{\max}$ where $\dot a^{2} = 0$:

$$\frac{\Omega_{r,0}}{a_{\max}^{2}} + \frac{\Omega_{m,0}}{a_{\max}} \;=\; |\Omega_{k,0}|.$$

For a matter-only closed universe, $a_{\max} = \Omega_{m,0}/(\Omega_{m,0}-1)$. Use the acceleration equation:

$$\frac{\ddot a}{a} \;=\; -\,\frac{4\pi G}{3 c^{2}}\,(\mathcal{E} + 3 P).$$

For matter ($P = 0$) and radiation ($P = \mathcal{E}/3$), $\mathcal{E} + 3P > 0$ everywhere, so $\ddot a < 0$ at every $a$ — including at $a_{\max}$. The universe arrives at $a_{\max}$ with $\dot a = 0$ and $\ddot a < 0$, and therefore starts contracting, ending in a Big Crunch. Geometrically: the closed-universe analogue of a ball thrown upward that never escapes.

c · accelerationFlat, matter+$\Lambda$ universe

Set $\Omega_{r,0} = 0$ and $\Omega_{k,0} = 0$ in (1):

$$\dot a^{2} \;=\; H_{0}^{2}\!\left(\frac{\Omega_{m,0}}{a} + \Omega_{\Lambda,0}\,a^{2}\right).$$

Differentiating, cancelling $2\dot a$:

$$\ddot a \;=\; \frac{H_{0}^{2}}{2}\!\left(2\,\Omega_{\Lambda,0}\,a - \frac{\Omega_{m,0}}{a^{2}}\right).$$

The condition $\ddot a > 0$ becomes

$$\boxed{\;\; a^{3} \;>\; \frac{\Omega_{m,0}}{2\,\Omega_{\Lambda,0}}, \quad\text{i.e.}\quad a \;>\; \left(\frac{\Omega_{m,0}}{2\,\Omega_{\Lambda,0}}\right)^{\!1/3} \;\;}$$

For our universe with $\Omega_{m,0} \approx 0.31$, $\Omega_{\Lambda,0} \approx 0.69$: $a_{\rm acc} \approx 0.60$, hence $z_{\rm acc} \approx 0.67$ — the redshift at which the cosmic deceleration parameter changes sign, locked in by Type Ia supernovae circa 1998.

Acceleration begins before matter–$\Lambda$ equality. The latter happens at $a_{m\Lambda} = (\Omega_{m,0}/\Omega_{\Lambda,0})^{1/3}$ — a factor $2^{1/3} \approx 1.26$ larger than $a_{\rm acc}$. The reason: acceleration is sourced by $\mathcal{E} + 3P$. A unit of $\Lambda$ energy density contributes $-2\mathcal{E}_{\Lambda}$; a unit of matter contributes $+\mathcal{E}_{m}$. $\Lambda$ is twice as anti-gravitating per unit energy as matter is gravitating — it needs to reach only half the matter density to dominate $\ddot a$.
12

Asymptotic eras and the equality redshifts

Question

(a) From the cover-form Friedmann equation, identify which fluid dominates $\dot a^{2}$ in the limits $a \to 0$ and $a \to \infty$. Identify the one exception where the late-time behaviour is qualitatively different. (b) Derive the matter–radiation equality redshift $1 + z_{\rm eq} = \Omega_{m,0}/\Omega_{r,0}$ and discuss its significance for perturbation growth and CMB peak heights. (c) Derive the matter–$\Lambda$ equality redshift $1 + z_{m\Lambda} = (\Omega_{\Lambda,0}/\Omega_{m,0})^{1/3}$ and compare with the acceleration redshift from Problem 11.

Solution

a · limitsRadiation early, $\Lambda$ late

Look again at equation (1):

$$\dot a^{2} \;=\; H_{0}^{2}\!\left(\Omega_{r,0}\,a^{-2} + \Omega_{m,0}\,a^{-1} + \Omega_{k,0} + \Omega_{\Lambda,0}\,a^{2}\right).$$

The four terms scale as $a^{-2},\,a^{-1},\,a^{0},\,a^{2}$:

  • As $a \to 0$: $a^{-2}$ wins — radiation dominates regardless of relative coefficient size.
  • As $a \to \infty$: $a^{+2}$ wins — $\Lambda$ dominates (provided $\Omega_{\Lambda,0} \neq 0$).

The one exception.

$\Omega_{\Lambda,0} = 0$ — no cosmological constant. Then at late times $a^{2}$ has no coefficient, and the dominant term becomes the curvature term ($a^{0}$, constant) for an open universe (coasting expansion, $\dot a^{2} \to H_{0}^{2}\Omega_{k,0}$), the matter term for a flat universe (Einstein–de Sitter, matter-dominated forever), or no late-time at all for a closed universe (which recollapses).

b · equalityMatter–radiation equality

Set $\Omega_{r}(z) = \Omega_{m}(z)$:

$$\Omega_{r,0}(1+z)^{4} \;=\; \Omega_{m,0}(1+z)^{3} \;\Longrightarrow\; \boxed{\;\; 1 + z_{\rm eq} \;=\; \frac{\Omega_{m,0}}{\Omega_{r,0}} \;\;}$$

With $\Omega_{m,0} \approx 0.31$ and $\Omega_{r,0} \approx 9.2\times 10^{-5}$, $z_{\rm eq} \approx 3370$, $a_{\rm eq} \approx 3.0\times 10^{-4}$. This is the radiation–matter transition — the epoch before which sub-horizon density perturbations could not grow (the Mészáros effect), and which sets the turnover in the matter power spectrum and the relative heights of CMB acoustic peaks.

c · equalityMatter–$\Lambda$ equality

Set $\Omega_{m}(z) = \Omega_{\Lambda}(z)$:

$$\Omega_{m,0}(1+z)^{3} \;=\; \Omega_{\Lambda,0} \;\Longrightarrow\; \boxed{\;\; 1 + z_{m\Lambda} \;=\; \left(\frac{\Omega_{\Lambda,0}}{\Omega_{m,0}}\right)^{\!1/3} \;\;}$$

For our universe, $z_{m\Lambda} = (0.69/0.31)^{1/3} - 1 \approx 0.31$. Compare with the acceleration redshift: $z_{\rm acc} \approx 0.67$. Cosmic acceleration began at $z \approx 0.67$; $\Lambda$ overtook matter only at $z \approx 0.31$. We presently live at $z = 0$ — in the $\Lambda$-dominated, accelerating era, but only just (in $\ln a$ terms).

Three landmark redshifts of $\Lambda$CDM.

transitionredshiftscale factorwhat it marks
$z_{\rm eq}$$\sim 3370$$\sim 3\times 10^{-4}$radiation = matter; growth of perturbations begins
$z_{\rm acc}$$\sim 0.67$$\sim 0.60$$\ddot a$ changes sign; deceleration ends
$z_{m\Lambda}$$\sim 0.31$$\sim 0.76$matter = $\Lambda$; $\Lambda$ becomes dominant
13

Equality redshift from blackbody temperature

Question

Take $H_{0} = 74\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$, $\Omega_{m,0} = 0.28$, and a CMB temperature $T_{0} = 2.7\,\mathrm{K}$. The blackbody energy density is $\mathcal{E}_{\rm BB}(T) = (4\sigma/c)\,T^{4}$. (a) Compute the naive matter–radiation equality redshift from photons alone. Compare with the WMAP value $z_{\rm eq} \approx 3200$ and identify what is missing from this naive calculation. (b) Including the three relativistic neutrino species (using $T_{\nu}/T_{\gamma} = (4/11)^{1/3}$ and fermionic factor $7/8$), recompute $z_{\rm eq}$ and compare again. (c) Compute the onset-of-acceleration redshift $z_{\rm acc}$ for this benchmark.

Solution

Now numerical, with $H_{0} = 74\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$, $\Omega_{m,0} = 0.28$, $T_{0} = 2.7\,\mathrm{K}$. The blackbody energy density is

$$\mathcal{E}_{\rm BB}(T) \;=\; \frac{4\sigma}{c}\,T^{4}.$$

a · naiveNaive equality redshift

Photon density today:

$$\frac{4\sigma}{c} \;=\; \frac{4 \times 5.67\times 10^{-8}}{3\times 10^{8}} \;=\; 7.56\times 10^{-16}\,\mathrm{J\,m^{-3}\,K^{-4}},$$ $$\mathcal{E}_{\gamma,0} \;=\; (7.56\times 10^{-16})\,(2.7)^{4} \;\approx\; 4.02\times 10^{-14}\,\mathrm{J\,m^{-3}}.$$

Critical density today (rescaling Section 7 by $(74/70)^{2} = 1.118$): $\mathcal{E}_{c} \approx 9.25\times 10^{-10}\,\mathrm{J\,m^{-3}}$, hence

$$\Omega_{\gamma,0} \;=\; \frac{\mathcal{E}_{\gamma,0}}{\mathcal{E}_{c}} \;\approx\; 4.35\times 10^{-5}, \qquad 1 + z_{\rm eq}^{\rm naive} \;=\; \frac{0.28}{4.35\times 10^{-5}} \;\approx\; 6\,440.$$

So $z_{\rm eq}^{\rm naive} \approx 6\,400$ — roughly twice WMAP's $z_{\rm eq} \approx 3200$.

What we neglected: relativistic neutrinos.

At $z_{\rm eq}$, $T \sim 2.7 \times 3200 \approx 8\,700\,\mathrm{K}$, corresponding to $k_{B}T \sim 0.75\,\mathrm{eV}$ — many orders of magnitude above the neutrino mass scale. So the three Standard Model neutrino species behave as relativistic particles at equality, and they belong in $\mathcal{E}_{r}$ alongside photons. Neutrinos decoupled before $e^{+}e^{-}$ annihilation reheated the photons but not the neutrinos:

$$\frac{T_{\nu}}{T_{\gamma}} \;=\; \left(\frac{4}{11}\right)^{\!1/3}.$$

Being fermions, each species carries $7/8$ of the bosonic energy density at the same temperature. With $N_{\nu} = 3$:

$$\frac{\mathcal{E}_{\nu}}{\mathcal{E}_{\gamma}} \;=\; 3\cdot\frac{7}{8}\!\left(\frac{4}{11}\right)^{\!4/3} \;\approx\; 0.681, \qquad \mathcal{E}_{r,0} \;\approx\; 1.68\,\mathcal{E}_{\gamma,0}.$$

Corrected:

$$\boxed{\;\; \Omega_{r,0} \;\approx\; 7.3\times 10^{-5}, \qquad 1+z_{\rm eq} \;\approx\; \frac{0.28}{7.3\times 10^{-5}} \;\approx\; 3\,830 \;\;}$$

This sits within ~20% of WMAP's $z_{\rm eq} = 3200$. The residual gap traces to the fact that what actually determines $z_{\rm eq}$ is $\Omega_{m,0} h^{2}$, and the problem's values give $\Omega_{m,0} h^{2} = 0.153$ where observation requires closer to $0.14$. A small further refinement is $N_{\rm eff} = 3.046$ rather than $3$, from incomplete neutrino decoupling during $e^{+}e^{-}$ annihilation — a few-percent effect, well below the discrepancy here.

b · accelerationOnset of acceleration

Flat $\Lambda$CDM with $\Omega_{m,0} = 0.28$, $\Omega_{\Lambda,0} = 0.72$. From Section 11(c),

$$a_{\rm acc}^{3} \;=\; \frac{\Omega_{m,0}}{2\,\Omega_{\Lambda,0}} \;=\; \frac{0.28}{1.44} \;=\; 0.1944 \;\Longrightarrow\; a_{\rm acc} \;\approx\; 0.579,$$ $$\boxed{\;\; 1+z_{\rm acc} \;=\; \frac{1}{a_{\rm acc}} \;\approx\; 1.73, \qquad z_{\rm acc} \;\approx\; 0.73 \;\;}$$

Cross-check: matter–$\Lambda$ equality is at $z_{m\Lambda} = (0.72/0.28)^{1/3} - 1 \approx 0.37$. Acceleration began at $z \approx 0.73$ — well before $\Lambda$ took over as the dominant component, as expected from the $2\mathcal{E}_{\Lambda}$ vs. $\mathcal{E}_{m}$ asymmetry of the $\mathcal{E}+3P$ source.

Chapter III
▶   ▶   ▶

Solving the Friedmann Equation

From cover-form algebra to actual integration. Single-component flat universes (§ 2.1), the open matter universe (§ 2.2), the closed family (§ 2.3), and the flat $\Lambda$CDM benchmark (§ 2.4) — with the cosmic age problem and the flatness problem along the way.

§ 2.1 · Single-component solutions of the Friedmann equation
14

Radiation-dominated flat universe

Question

Consider a flat ($k = 0$) universe filled only with radiation ($w = 1/3$, no matter, no $\Lambda$, no curvature). (i) Solve the Friedmann equation for $a(t)$ and find the present age $t_{0}$ in terms of $H_{0}$. (ii) Compute the comoving distance $r(z)$ to a source at redshift $z$. (iii) Find the comoving particle-horizon distance ($z \to \infty$). Compare with the Hubble distance $c/H_{0}$.

Solution

For a flat single-fluid universe with equation of state $w$, the cover-form Friedmann equation (1) collapses to $\dot a = H_{0}\,a^{-(1+3w)/2}$. Integrating with $a(0) = 0$ (Big Bang) gives

$$a(t) \;=\; \left(\frac{t}{t_{0}}\right)^{\!2/[3(1+w)]}, \qquad t_{0} \;=\; \frac{2}{3(1+w)\,H_{0}}.$$

For radiation, $w = 1/3$:

$$\dot a^{2} \;=\; \frac{H_{0}^{2}}{a^{2}} \;\Longleftrightarrow\; a\,da \;=\; H_{0}\,dt \;\Longrightarrow\; a^{2} \;=\; 2\,H_{0}\,t.$$

Evaluating at the present ($a = 1$) fixes the age, and the universal form $a(t) = (t/t_{0})^{1/2}$ follows.

(i) Age.

$$\boxed{\;\; t_{0} \;=\; \frac{1}{2\,H_{0}} \;\;}$$

(ii) Comoving distance to redshift $z$.

$$r \;=\; c\!\int_{t_{e}}^{t_{0}}\!\frac{dt}{a(t)} \;=\; c\,t_{0}^{1/2}\!\int_{t_{e}}^{t_{0}} t^{-1/2}\,dt \;=\; 2\,c\,t_{0}\,(1 - a_{e}).$$

With $a_{e} = 1/(1+z)$ and $t_{0} = 1/(2H_{0})$:

$$\boxed{\;\; r(z) \;=\; \frac{c}{H_{0}}\,\frac{z}{1+z} \;\;}$$

(iii) Horizon ($z \to \infty$).

$$\boxed{\;\; r_{\rm hor} \;=\; \frac{c}{H_{0}} \;\;}$$

The radiation-universe particle horizon equals exactly the Hubble distance. A useful normalization: $r/r_{\rm hor} = z/(1+z)$, which saturates quickly — half the horizon at $z = 1$, 90% by $z = 9$.

15

Matter-dominated flat universe (Einstein–de Sitter)

Question

Consider the Einstein–de Sitter universe: flat, matter only, $\Omega_{m,0} = 1$ (no radiation, no $\Lambda$, no curvature). (i) Solve for $a(t)$ and the age $t_{0}$. (ii) Compute the comoving distance $r(z)$ and the comoving horizon distance $r_{\rm hor}$. (iii) Compare the saturation rate of $r/r_{\rm hor}$ between radiation- and matter-dominated universes.

Solution

With $\Omega_{m,0} = 1$, $\dot a^{2} = H_{0}^{2}/a$ becomes

$$a^{1/2}\,da \;=\; H_{0}\,dt \;\Longrightarrow\; \tfrac{2}{3}\,a^{3/2} \;=\; H_{0}\,t,$$

so $a^{3/2} = (3/2)\,H_{0}\,t$. At $a = 1$: $t_{0} = 2/(3H_{0})$, hence $a(t) = (t/t_{0})^{2/3}$.

(i) Age.

$$\boxed{\;\; t_{0} \;=\; \frac{2}{3\,H_{0}} \;\;}$$

(ii) Comoving distance.

$$r \;=\; c\,t_{0}^{2/3}\!\int_{t_{e}}^{t_{0}}\! t^{-2/3}\,dt \;=\; 3\,c\,t_{0}\!\left(1 - (t_{e}/t_{0})^{1/3}\right).$$

Since $a_{e} = (t_{e}/t_{0})^{2/3}$, $(t_{e}/t_{0})^{1/3} = a_{e}^{1/2} = 1/\sqrt{1+z}$:

$$\boxed{\;\; r(z) \;=\; \frac{2 c}{H_{0}}\!\left(1 - \frac{1}{\sqrt{1+z}}\right) \;\;}$$

(iii) Horizon.

$$\boxed{\;\; r_{\rm hor} \;=\; \frac{2 c}{H_{0}} \;\;}$$

Twice the Hubble distance. Now $r/r_{\rm hor} = 1 - 1/\sqrt{1+z}$, which saturates more slowly than the radiation case — half-horizon at $z = 3$, 90% at $z = 99$. Light has more time, in comoving terms, to climb out of a matter universe than a radiation one.

A useful comparison: $r_{\rm hor}/(c\,t_{0})$ — how many "ages of the universe" of light-travel fit into the horizon — is $2$ for radiation and $3$ for matter. Both exceed $1$ because the universe was smaller at earlier times, so a photon emitted near the Big Bang has been traveling through space that has since expanded around it.
16

de Sitter universe ($\Lambda$-only, flat)

Question

Consider a flat universe filled only with vacuum energy ($\Omega_{\Lambda,0} = 1$, no matter, no radiation, no curvature). (i) Solve for $a(t)$ and show that the Hubble rate is time-independent. (ii) Relate $H$ to the cosmological constant $\Lambda$. (iii) Compute $r(z)$ and show that there is no particle horizon. Comment on the absence of a Big Bang singularity and de Sitter's role as the late-time attractor of any $\Lambda > 0$ cosmology.

Solution

With $\Omega_{r,0} = \Omega_{m,0} = 0$, $\Omega_{k,0} = 0$ and $\Omega_{\Lambda,0} = 1$, equation (1) reduces to

$$\dot a^{2} \;=\; H_{0}^{2}\,a^{2},$$

so $\dot a/a = H_{0} \equiv H$ — a strictly time-independent Hubble rate. Integrating with $a(t_{0}) = 1$:

$$\boxed{\;\; a(t) \;=\; \exp\!\bigl[H\,(t - t_{0})\bigr] \;\;}$$

The link to $\Lambda$ follows from Friedmann combined with $\mathcal{E}_{\Lambda} = \Lambda c^{4}/(8\pi G)$:

$$H^{2} \;=\; \frac{8\pi G}{3 c^{2}}\,\mathcal{E}_{\Lambda} \;=\; \frac{\Lambda c^{2}}{3} \;\Longrightarrow\; \boxed{\;\; H \;=\; c\,\sqrt{\Lambda/3} \;\;}$$

(i) Comoving distance.

$$r \;=\; c\!\int_{t_{e}}^{t_{0}}\!\frac{dt}{a(t)} \;=\; \frac{c}{H}\!\left[e^{H(t_{0}-t_{e})} - 1\right].$$

Using $e^{H(t_{0}-t_{e})} = 1/a_{e} = 1+z$:

$$\boxed{\;\; r(z) \;=\; \frac{c}{H}\,z \;\;}$$

(ii) Horizon.

$$r_{\rm hor} \;=\; \lim_{z\to\infty}\frac{c\,z}{H} \;=\; \infty.$$

The de Sitter universe has no particle horizon: any sufficiently distant past event is in causal contact with us.

On age. The map $a(t) = e^{H(t-t_{0})}$ never reaches zero — $a \to 0$ only as $t \to -\infty$. So de Sitter has no Big Bang singularity and the universe is infinitely old. The infinite horizon and the infinite age are the same statement read from opposite ends of the past light cone. De Sitter is the asymptotic late-time attractor of any cosmology with $\Lambda > 0$.
17

The empty universe

Question

Consider an FRW universe with no fluids at all ($\Omega_{r,0} = \Omega_{m,0} = \Omega_{\Lambda,0} = 0$). (a) Show that $k = +1$ (closed) is excluded by Friedmann. (b) For $k = 0$, identify the spacetime that results. (c) For $k = -1$, derive $a(t)$, the age, the comoving distance $r(z)$, and the horizon. (This is the Milne universe.)

Solution

a · forbiddenWhy $k = +1$ is excluded

From equation (1) with no fluids,

$$\dot a^{2} \;=\; H_{0}^{2}\,\Omega_{k,0} \;=\; -\,\frac{kc^{2}}{R_{0}^{2}}.$$

The LHS is non-negative; for $k = +1$ the RHS is strictly negative. No real solution. An empty closed universe cannot exist. A closed universe needs something to curve it.

b · flatMinkowski spacetime

With $k = 0$ and no fluids, $\dot a^{2} = 0$, so $a(t) = \text{const}$. No expansion or contraction. The metric reduces to ordinary flat Minkowski spacetime; cosmology becomes special relativity. Empty flat space is the trivial vacuum solution of GR.

c · MilneOpen empty universe

With $k = -1$ and no fluids, $\Omega_{k,0} = 1$ (closure forces it), so

$$\dot a^{2} \;=\; H_{0}^{2} \;\Longrightarrow\; \dot a \;=\; H_{0} \;\Longrightarrow\; a(t) \;=\; H_{0}\,t,$$

with $a(0) = 0$ at the Big Bang.

(i) Age.

$$\boxed{\;\; t_{0} \;=\; \frac{1}{H_{0}} \;\;}$$

Exactly the Hubble time — no factor of $2/3$ or $1/2$ in front.

(ii) Comoving distance.

$$r \;=\; c\!\int_{t_{e}}^{t_{0}}\!\frac{dt}{H_{0}\,t} \;=\; \frac{c}{H_{0}}\,\ln\!\left(\frac{t_{0}}{t_{e}}\right).$$

Since $t \propto a$, $t_{0}/t_{e} = 1+z$:

$$\boxed{\;\; r(z) \;=\; \frac{c}{H_{0}}\,\ln(1+z) \;\;}$$

(iii) Horizon.

$$r_{\rm hor} \;=\; \lim_{z\to\infty}\frac{c}{H_{0}}\,\ln(1+z) \;=\; \infty.$$

Like de Sitter, the Milne universe is horizon-free. (Indeed, the Milne metric is just Minkowski spacetime in coordinates adapted to a congruence of inertial observers all emerging from a common origin — an instructive but unphysical limit.) Linear growth $a \propto t$ is sometimes called coasting expansion; it is the dividing case $\ddot a = 0$ between deceleration and acceleration.

18

HE 1523–0901 and the cosmic age problem

Question

The metal-poor halo star HE 1523–0901 has an age of $13.4 \pm 2.2\,\mathrm{Gyr}$ (Th/U cosmochronometry), and the earliest stars formed roughly $0.1\,\mathrm{Gyr}$ after the Big Bang. Assuming a flat Einstein–de Sitter universe, what $H_{0}$ value is implied by these ages? Compare with locally measured $H_{0} \sim 73$ and CMB $H_{0} \sim 67$. Identify the resulting cosmic age problem and explain how a cosmological constant resolves it.

Solution

The star's age is $13.4 \pm 2.2\,\mathrm{Gyr}$, and the first stars formed $\sim 0.1\,\mathrm{Gyr}$ after the Big Bang. The universe must therefore be at least

$$t_{0} \;\geq\; 13.4 + 0.1 \;=\; 13.5\,\mathrm{Gyr}\qquad\text{(central value)}.$$

Assuming Einstein–de Sitter, $t_{0} = 2/(3H_{0})$, so

$$H_{0} \;=\; \frac{2}{3\,t_{0}} \;=\; \frac{2}{3 \times 4.26\times 10^{17}\,\mathrm{s}} \;=\; 1.56\times 10^{-18}\,\mathrm{s^{-1}}.$$

Converting via $1\,\mathrm{km\,s^{-1}\,Mpc^{-1}} = 3.241\times 10^{-20}\,\mathrm{s^{-1}}$:

$$\boxed{\;\; H_{0} \;\approx\; 48\,\mathrm{km\,s^{-1}\,Mpc^{-1}} \;\;}$$

Propagating $t_{0} = 13.5 \pm 2.2\,\mathrm{Gyr}$ gives $H_{0} \approx 48^{+10}_{-7}$ — entirely below the observed range, where every independent determination (local distance ladder, $\sim 73$; Planck CMB, $\sim 67$) sits well above $58$.

The age problem. The matter-only model is forced into incompatibility with both the ages of the oldest stars and the directly measured expansion rate. There is no Hubble constant that simultaneously fits both in Einstein–de Sitter. This was one of the two converging pieces of evidence — alongside Type Ia supernova dimming at $z \sim 0.5$ — that drove the community toward $\Lambda > 0$ in the late 1990s. A flat $\Lambda$CDM with $\Omega_{m,0} \approx 0.3$, $\Omega_{\Lambda,0} \approx 0.7$ gives $t_{0} \approx 0.96/H_{0}$, an extra $\sim 45\%$ at fixed $H_{0}$ over EdS. With $H_{0} = 70$, $t_{0} \approx 13.4\,\mathrm{Gyr}$ — exactly the kind of number that comfortably exceeds HE 1523–0901. The cosmological constant lengthens the universe at fixed expansion rate today.
19

$H(t)$, $1-\Omega(t)$, and the flatness problem

Question

For a single-fluid universe near $\Omega_{0} = 1$, use the result of Problem 10 to find how $|1 - \Omega(t)|$ scales with the scale factor $a$ during (i) a matter era, (ii) a radiation era, (iii) a $\Lambda$ era. Tabulate the scalings and use them to formulate the flatness problem: what does the Planck constraint $|1 - \Omega_{0}| \lesssim 5\times 10^{-3}$ require of the initial conditions at the GUT scale $a \sim 10^{-28}$, and how does cosmic inflation resolve the fine-tuning?

Solution

For $\Omega_{0} \simeq 1$ with single-fluid domination,

$$H^{2}(t) \;\approx\; H_{0}^{2}\,\Omega_{0}\,a^{-3(1+w)}.$$

Reading off the three cases:

era$w$$H(t)$$H^{2}\,a^{2}$
matter$0$$H_{0}\,a^{-3/2}\,\sqrt{\Omega_{m0}}$$H_{0}^{2}\,\Omega_{m0}\,a^{-1}$
radiation$1/3$$H_{0}\,a^{-2}\,\sqrt{\Omega_{r0}}$$H_{0}^{2}\,\Omega_{r0}\,a^{-2}$
$\Lambda$$-1$$H_{0}\,\sqrt{\Omega_{\Lambda 0}}$$H_{0}^{2}\,\Omega_{\Lambda 0}\,a^{+2}$

Feeding these into equation (2) and using $\Omega_{i,0} \simeq 1$ in the dominant component:

$$\boxed{\; \begin{aligned} \text{matter: } &\;\; 1 - \Omega(t) \;=\; (1 - \Omega_{0})\,a \\ \text{radiation: } &\;\; 1 - \Omega(t) \;=\; (1 - \Omega_{0})\,a^{2} \\ \Lambda: &\;\; 1 - \Omega(t) \;=\; (1 - \Omega_{0})\,a^{-2} \end{aligned} \;}$$

Reading the result — the flatness problem and inflation.

era$|1-\Omega|$ scales asdirection
matter$a^{+1}$grows with expansion
radiation$a^{+2}$grows faster with expansion
$\Lambda$$a^{-2}$decreases with expansion

Decelerating eras drive $\Omega$ away from $1$. If today $|1 - \Omega_{0}| \lesssim 5\times 10^{-3}$ (Planck), then in the past it must have been spectacularly smaller. Tracing back to the radiation era at the GUT scale $a \sim 10^{-28}$:

$$|1 - \Omega| \;\sim\; |1 - \Omega_{0}|\,(10^{-28})^{2} \;\lesssim\; 5\times 10^{-59}.$$

Initial conditions of the Big Bang must be fine-tuned to one part in $10^{59}$ for flatness today — the flatness problem, one of the founding motivations for inflation.

Accelerating eras drive $\Omega$ toward $1$. The $\Lambda$ row is qualitatively different: $|1-\Omega|$ shrinks as $a^{-2}$ during de Sitter expansion. An early phase of $\Lambda$-like (quasi–de Sitter) expansion flattens the universe automatically, by exactly the same mechanism that today's $\Lambda$-domination is flattening it now. Inflation invokes a brief, very large-scale-factor period of $\Lambda$-like expansion in the very early universe — typically $a$ grows by $e^{60}$ or more — driving $|1-\Omega|$ down by $e^{120} \sim 10^{52}$ regardless of the pre-inflationary value.

The same equation (2) that poses the flatness problem in the decelerated eras resolves it in any accelerated era. A remarkably clean piece of cosmology, and worth pausing over.
§ 2.2 · The Open Universe
20

The open matter universe — parametric solution

Question

Consider an open, matter-dominated FRW universe with $\Omega_{\Lambda,0} = 0$, $\Omega_{r,0} = 0$, and $\Omega_{m,0} < 1$, so that the cover-form Friedmann reads $\dot a^{2} = H_{0}^{2}[\Omega_{m,0}/a + (1 - \Omega_{m,0})]$. (a) Using the substitution $\sinh(\theta/2) = \sqrt{Q\,a}$ with $Q = (1-\Omega_{m,0})/\Omega_{m,0}$, integrate to find a parametric solution $(a(\theta),\,t(\theta))$. (b) Verify the solution by differentiation, recovering the Friedmann equation. (c) Show that $\Omega_{m,0} \to 1$ recovers Einstein–de Sitter. (d) Show that $\Omega_{m,0} \to 0$ recovers the Milne universe.

Solution

With $\Omega_{r,0} = \Omega_{\Lambda,0} = 0$ and $\Omega_{m,0} < 1$, the cover-form Friedmann reads

$$\dot a^{2} \;=\; H_{0}^{2}\!\left[\frac{\Omega_{m,0}}{a} + (1 - \Omega_{m,0})\right]. \qquad(3)$$

Matter is a falling positive contribution, curvature is a positive constant. At early times matter wins (EdS-like); at late times curvature wins (coasting). The dimensionless control parameter is $Q \equiv (1-\Omega_{m,0})/\Omega_{m,0} = \Omega_{k,0}/\Omega_{m,0}$, with $a_{\rm trans} = 1/Q$ marking the matter–curvature transition.

a · integrationBy substitution $\sinh(\theta/2) = \sqrt{Q\,a}$

Rearrange (3) and separate variables:

$$H_{0}\,dt \;=\; \frac{1}{\sqrt{\Omega_{m,0}}}\sqrt{\frac{a}{1 + Q a}}\,da.$$

Hyperbolic substitution is natural because curvature dominates late. From $\sinh(\theta/2) = \sqrt{Q a}$:

$$a \;=\; \frac{\sinh^{2}(\theta/2)}{Q}, \qquad da \;=\; \frac{\sinh\theta}{2 Q}\,d\theta, \qquad 1 + Q a \;=\; \cosh^{2}(\theta/2),$$

so

$$\sqrt{\frac{a}{1+Qa}} \;=\; \frac{\tanh(\theta/2)}{\sqrt{Q}}.$$

Substituting and simplifying with $\tanh(\theta/2)\,\sinh\theta = \cosh\theta - 1$:

$$H_{0}\,dt \;=\; \frac{\Omega_{m,0}}{2\,(1-\Omega_{m,0})^{3/2}}\,(\cosh\theta - 1)\,d\theta.$$

Integrating with $a = 0$ at $\theta = 0$ ($t = 0$ at the Big Bang):

$$\boxed{\; \begin{aligned} a(\theta) &\;=\; \frac{\Omega_{m,0}}{2\,(1 - \Omega_{m,0})}\,(\cosh\theta - 1) \\[6pt] t(\theta) &\;=\; \frac{\Omega_{m,0}}{2\,H_{0}\,(1 - \Omega_{m,0})^{3/2}}\,(\sinh\theta - \theta) \end{aligned} \;}\qquad(4)$$

The function $\sinh\theta - \theta$ is the hyperbolic cousin of $\sin\theta - \theta$ — the cycloid for closed matter universes.

b · verificationBy differentiation

From (4):

$$\frac{da}{d\theta} \;=\; \frac{\Omega_{m,0}\,\sinh\theta}{2\,(1-\Omega_{m,0})}, \qquad \frac{dt}{d\theta} \;=\; \frac{\Omega_{m,0}\,(\cosh\theta - 1)}{2\,H_{0}\,(1-\Omega_{m,0})^{3/2}}.$$

The $\Omega_{m,0}/2$ factors cancel in the ratio:

$$\dot a \;=\; H_{0}\,\sqrt{1-\Omega_{m,0}}\,\frac{\sinh\theta}{\cosh\theta - 1} \;=\; H_{0}\,\sqrt{1-\Omega_{m,0}}\,\coth(\theta/2).$$

Squaring and eliminating $\theta$ via $\sinh^{2}(\theta/2) = (1-\Omega_{m,0})\,a/\Omega_{m,0}$:

$$\dot a^{2} \;=\; H_{0}^{2}\!\left[\frac{\Omega_{m,0}}{a} + (1-\Omega_{m,0})\right]. \;\;\blacksquare$$

c · limit$\Omega_{m,0} \to 1$ recovers Einstein–de Sitter

The prefactors carry $(1-\Omega_{m,0})$ in the denominator, so for finite $a$ and $t$ in the limit, $\theta$ must be small. Expand:

$$\cosh\theta - 1 \;=\; \frac{\theta^{2}}{2} + \mathcal{O}(\theta^{4}), \qquad \sinh\theta - \theta \;=\; \frac{\theta^{3}}{6} + \mathcal{O}(\theta^{5}).$$

Substituting and eliminating $\theta$:

$$t \;\approx\; \frac{2\,a^{3/2}}{3\,H_{0}\,\sqrt{\Omega_{m,0}}} \;\xrightarrow{\;\Omega_{m,0}\to 1\;}\; \frac{2\,a^{3/2}}{3\,H_{0}} \;\Longleftrightarrow\; a(t) = \left(\frac{t}{t_{0}}\right)^{\!2/3}. \;\;\blacksquare$$

d · limit$\Omega_{m,0} \to 0$ recovers Milne

Now $\Omega_{m,0}$ in the prefactors goes to zero, so for finite $a$ we need large $\theta$. Using $\cosh\theta \approx \sinh\theta \approx e^{\theta}/2$:

$$a \;\approx\; \frac{\Omega_{m,0}\,e^{\theta}}{4}, \qquad t \;\approx\; \frac{\Omega_{m,0}\,e^{\theta}}{4\,H_{0}} \;\Longrightarrow\; \frac{a}{t} \;=\; H_{0} \;\Longleftrightarrow\; a(t) \;=\; H_{0}\,t. \;\;\blacksquare$$

The parametric solution interpolates smoothly between EdS at the Big Bang and Milne at late times.

21

Age and look-back time — open vs SCDM

Question

For the open matter universe of Problem 20 with $H_{0} = 74\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$ and $\Omega_{m,0} = 0.28$: (i) Compute the present age $t_{0}$ in Gyr. (ii) Compute the look-back time to a source at redshift $z = 3$. (iii) Compare both quantities with a flat matter-only (SCDM) universe at the same $H_{0}$. Why is the open universe older?

Solution

Setup: $H_{0} = 74\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$, $\Omega_{m,0} = 0.28$. Hubble time $1/H_{0} = 13.21\,\mathrm{Gyr}$.

Prefactor and $\theta$-recipe:

$$\frac{\Omega_{m,0}}{2\,(1-\Omega_{m,0})^{3/2}} \;=\; \frac{0.28}{2\,(0.72)^{3/2}} \;=\; 0.2292,$$

and (4) inverts to $\cosh\theta = 1 + 2(1-\Omega_{m,0})\,a/\Omega_{m,0} = 1 + 5.143\,a$.

i · age$t_{0}$ (today, $a = 1$)

$\cosh\theta_{0} = 6.143 \Rightarrow \theta_{0} = 2.502$ and $\sinh\theta_{0} = 6.061$.

$$H_{0}\,t_{0} \;=\; 0.2292 \times (6.061 - 2.502) \;=\; 0.816, \qquad \boxed{\;\; t_{0} \;\approx\; 10.78\,\mathrm{Gyr} \;\;}$$

ii · look-back$t_{0} - t_{e}$ at $z = 3$

$a_{e} = 1/4 \Rightarrow \cosh\theta_{e} = 2.286 \Rightarrow \theta_{e} = 1.468$, $\sinh\theta_{e} = 2.055$, hence $H_{0}\,t_{e} = 0.2292 \times 0.587 = 0.1346$, $t_{e} \approx 1.78\,\mathrm{Gyr}$:

$$\boxed{\;\; t_{0} - t_{e} \;\approx\; 10.78 - 1.78 \;=\; 9.00\,\mathrm{Gyr} \;\;}$$

iii · SCDMComparison with the matter-only model

For EdS at the same $H_{0}$, $t = (2/3 H_{0})\,a^{3/2}$:

$$t_{0}^{\rm EdS} \;=\; \tfrac{2}{3} \times 13.21\,\mathrm{Gyr} \;=\; 8.81\,\mathrm{Gyr}, \qquad t_{e}^{\rm EdS}(z=3) \;=\; 8.81 \times (1/4)^{3/2} \;=\; 1.10\,\mathrm{Gyr}.$$
quantityopen ($\Omega_{m,0}=0.28$)SCDM ($\Omega_{m,0}=1$)difference
age $t_{0}$$10.78\,\mathrm{Gyr}$$8.81\,\mathrm{Gyr}$$+22\%$
$t_{e}$ at $z=3$$1.78\,\mathrm{Gyr}$$1.10\,\mathrm{Gyr}$$+62\%$
look-back $t_{0}-t_{e}$$9.00\,\mathrm{Gyr}$$7.71\,\mathrm{Gyr}$$+17\%$
$H_{0}\,t_{0}$$0.816$$0.667$$+22\%$
0 0.25 0.5 0.75 1.0 1.25 0 0.2 0.4 0.6 0.8 1.0 1.2 H₀ t (dimensionless time since Big Bang) a(t) (scale factor) 0.50 0.67 0.82 H₀ t₀ at "today" radiation · a = (2H₀t)^½ matter (EdS) · a = (3H₀t/2)^⅔ open matter · Ω_m = 0.28 Milne · a = H₀ t (late-time asymptote)
Fig. 3 scale factor versus dimensionless time for three flat single-component universes and the open matter case; "today" markers show $H_{0}\,t_{0}$ where each curve reaches $a = 1$

readingLower density, older universe

The open universe is roughly $2\,\mathrm{Gyr}$ older than the matter-only universe at the same $H_{0}$. Lower mean matter density → weaker gravitational deceleration → the expansion has been more "coasting" than "braking" for cosmic history. At fixed $H_{0}$ today, less deceleration in the past means slower expansion in the past, so the universe took longer to grow to its current $a = 1$.

Open CDM relieves the HE 1523 age tension partially: at $\Omega_{m,0} = 0.28$, $H_{0} = 74$ gives $t_{0} = 10.78\,\mathrm{Gyr}$, still uncomfortably young against $\geq 13.5\,\mathrm{Gyr}$, but headed in the right direction. To reach $13.5\,\mathrm{Gyr}$ with $H_{0} = 74$, open needs $\Omega_{m,0} \lesssim 0.1$ — implausibly low.

A flat $\Lambda$CDM with the same $\Omega_{m,0} = 0.28$ and $H_{0} = 74$ gives $t_{0} \approx 12.9\,\mathrm{Gyr}$ — consistent with HE 1523–0901 within errors. The cosmological constant's age effect compounds with the curvature effect: not only is there less matter to decelerate, but $\Lambda$ has been actively accelerating, which means $H$ was smaller in the past.
22

Comoving distance in the open matter universe

Question

Using the parametric solution of Problem 20, switch variables from $t$ to $\theta$ in $r = c\!\int dt/a(t)$ and show that the comoving distance is $r(\theta_{e}) = c\,(\theta_{0} - \theta_{e})/[H_{0}\sqrt{1-\Omega_{m,0}}]$. For $H_{0} = 74$, $\Omega_{m,0} = 0.28$: (i) Compute the comoving horizon distance ($\theta_{e} \to 0$). (ii) Compute the comoving distance to $z = 3$. Compare both with the matter-only SCDM universe at the same $H_{0}$.

Solution

For any FRW spacetime, the radial comoving distance is $r = c\!\int dt/a$. Switching from $t$ to $\theta$ via the parametric form of Section 20:

$$\frac{dt}{a} \;=\; \frac{1}{a(\theta)}\cdot\frac{dt}{d\theta}\,d\theta \;=\; \underbrace{\frac{2\,(1-\Omega_{m,0})}{\Omega_{m,0}\,(\cosh\theta-1)}}_{1/a(\theta)} \cdot \underbrace{\frac{\Omega_{m,0}\,(\cosh\theta-1)}{2\,H_{0}\,(1-\Omega_{m,0})^{3/2}}}_{dt/d\theta} \,d\theta.$$

Every $\Omega_{m,0}$, $(\cosh\theta-1)$, and factor of 2 cancels — a small miracle of the substitution. What survives is a constant times $d\theta$:

$$\frac{dt}{a} \;=\; \frac{d\theta}{H_{0}\,\sqrt{1-\Omega_{m,0}}}\,.$$

Integrating from $\theta_{e}$ to $\theta_{0}$:

$$\boxed{\;\; r(\theta_{e}) \;=\; \frac{c}{H_{0}\,\sqrt{1-\Omega_{m,0}}}\,\bigl(\theta_{0} - \theta_{e}\bigr) \;\;}\qquad(5)$$

Comoving distance is linear in the parameter $\theta$. The Hubble length is rescaled by $1/\sqrt{1-\Omega_{m,0}} = 1/\sqrt{\Omega_{k,0}}$ — the same combination that fixed $R_{0}$ in Section 8.

(i) Comoving horizon distance.

Set $\theta_{e} \to 0$. Using $\theta_{0} = 2.502$ and $\sqrt{1-\Omega_{m,0}} = 0.8485$ from Section 21, and $c/H_{0} = 4054\,\mathrm{Mpc}$ for $H_{0} = 74$:

$$r_{\rm hor} \;=\; \frac{c\,\theta_{0}}{H_{0}\,\sqrt{1-\Omega_{m,0}}} \;=\; \frac{4054 \times 2.502}{0.8485}\,\mathrm{Mpc} \;\approx\; \boxed{\;11.96\,\mathrm{Gpc}\;}$$

(ii) Comoving distance to $z = 3$.

From Section 21, at $z = 3$: $\theta_{e} = 1.468$. Hence

$$r(z=3) \;=\; \frac{c\,(\theta_{0} - \theta_{e})}{H_{0}\,\sqrt{1-\Omega_{m,0}}} \;=\; \frac{4054 \times 1.034}{0.8485}\,\mathrm{Mpc} \;\approx\; \boxed{\;4.94\,\mathrm{Gpc}\;}$$

Comparison with SCDM at the same $H_{0}$.

From Section 15: $r_{\rm hor}^{\rm EdS} = 2c/H_{0} = 8.11\,\mathrm{Gpc}$, $r^{\rm EdS}(z=3) = (2c/H_{0})(1/2) = c/H_{0} = 4.05\,\mathrm{Gpc}$.

quantityopen ($\Omega_{m,0}=0.28$)SCDM ($\Omega_{m,0}=1$)ratio
comoving horizon$11.96\,\mathrm{Gpc}$$8.11\,\mathrm{Gpc}$$1.47$
comoving distance to $z=3$$4.94\,\mathrm{Gpc}$$4.05\,\mathrm{Gpc}$$1.22$
Light has traveled further, in comoving coordinates, in an open universe than in a flat matter-only one at the same $H_{0}$ — because the open universe is older, giving photons more time. The horizon ratio works out to $\theta_{0}/\bigl(2\sqrt{1-\Omega_{m,0}}\bigr) = 2.502/1.697 \approx 1.47$ — a single combination of the parametric and curvature parameters packs the whole comparison.
23

Implied $H_{0}$ and the open-CDM consistency boundary

Question

(a) Using the same HE 1523–0901 age constraint $t_{0} \geq 13.5\,\mathrm{Gyr}$ from Problem 18, what $H_{0}$ is implied by an open universe with $\Omega_{m,0} = 0.28$? Compare with the Riess (2009) local-distance-ladder result $H_{0} = 74.2 \pm 3.6$ and the SCDM (Problem 18) and $\Lambda$CDM cases. (b) Combining the $1\sigma$ ranges of HE 1523 and Riess, what is the maximum value of $\Omega_{m,0}$ consistent with both constraints for an open-matter-only cosmology? Tabulate $H_{0}\,t_{0}$ vs $\Omega_{m,0}$ across the full $[0, 1]$ range.

Solution

a · implied$H_{0}$ from HE 1523–0901 for open $\Omega_{m,0}=0.28$

Take the same age constraint as Section 18: $t_{0} \geq 13.5\,\mathrm{Gyr}$. With $\Omega_{m,0} = 0.28$, Section 21 gave $H_{0}\,t_{0} = 0.816$, so

$$H_{0} \;=\; \frac{0.816}{t_{0}} \;=\; \frac{0.816 \times 977.8}{13.5}\,\mathrm{km\,s^{-1}\,Mpc^{-1}} \;\approx\; \boxed{\;59\,\mathrm{km\,s^{-1}\,Mpc^{-1}}\;}$$

Propagating $t_{0} = 13.5 \pm 2.2\,\mathrm{Gyr}$: $H_{0} \approx 59^{+12}_{-8}$.

modelimplied $H_{0}$offset vs. Riess (74.2)
SCDM, $\Omega_{m,0}=1$ (§ 18)$48^{+10}_{-7}$$-26$
open, $\Omega_{m,0}=0.28$$59^{+12}_{-8}$$-15$
$\Lambda$CDM, $\Omega_{m,0}=0.28$, $\Omega_{\Lambda,0}=0.72$$\sim 71$$-3$

The open universe halves the SCDM tension but does not fully resolve it. A flat $\Lambda$CDM with the same matter density closes the gap to within $1\sigma$.

b · boundaryMaximum $\Omega_{m,0}$ consistent with both

Combining the 1$\sigma$ data ranges:

  • HE 1523 + first-star delay: $t_{0} \in [11.3,\,15.7]\,\mathrm{Gyr}$.
  • Riess (2009): $H_{0} = 74.2 \pm 3.6 \Rightarrow 1/H_{0} \in [12.57,\,13.85]\,\mathrm{Gyr}$.

The minimum acceptable $H_{0}\,t_{0}$ comes from the low-corner:

$$\bigl(H_{0}\,t_{0}\bigr)_{\min} \;=\; \frac{t_{0,\min}}{(1/H_{0})_{\max}} \;=\; \frac{11.3\,\mathrm{Gyr}}{13.85\,\mathrm{Gyr}} \;\approx\; 0.816.$$

Acceptable interval: $H_{0}\,t_{0} \in [0.816,\,1.00]$.

Tabulating via $\theta_{0}$ as intermediate parameter.

From $\cosh\theta_{0} = 1 + 2(1-\Omega_{m,0})/\Omega_{m,0}$:

$$\Omega_{m,0} \;=\; \frac{2}{1 + \cosh\theta_{0}}, \qquad H_{0}\,t_{0} \;=\; \frac{\Omega_{m,0}}{2\,(1-\Omega_{m,0})^{3/2}}\,(\sinh\theta_{0} - \theta_{0}).$$
$\Omega_{m,0}$ $\cosh\theta_{0}$ $\theta_{0}$ $\sinh\theta_{0} - \theta_{0}$ prefactor $H_{0}\,t_{0}$
$0.05$$39.000$$4.357$$34.630$$0.0270$$0.935$
$0.10$$19.000$$3.637$$15.336$$0.0586$$0.898$
$0.20$$9.000$$2.887$$6.057$$0.1397$$0.847$
$0.25$$7.000$$2.634$$4.294$$0.1925$$0.827$
$0.28$$6.143$$2.502$$3.559$$0.2292$$0.816$ ▶
$0.30$$5.667$$2.420$$3.158$$0.2561$$0.809$
$0.40$$4.000$$2.063$$1.810$$0.4303$$0.779$
$0.50$$3.000$$1.763$$1.066$$0.7071$$0.754$
$0.70$$1.857$$1.230$$0.335$$2.130$$0.713$
$0.90$$1.222$$0.655$$0.048$$14.23$$0.682$
$1.00$$\to 1$$\to 0$$\to 0$$\to \infty$$\to 2/3 = 0.667$

Reading off the boundary: $\Omega_{m,0} = 0.28$ gives $H_{0}\,t_{0} = 0.816$, exactly the lower limit.

$$\boxed{\;\;\Omega_{m,0}^{\max} \;\approx\; 0.28\;\;}$$
1.00 0.95 0.90 0.85 0.816 0.75 0.70 0.65 0 0.2 0.28 0.4 0.6 0.8 1.0 Ω_m,0 (matter density today, open universe) H₀ t₀ (predicted age × Hubble rate) Milne · Ω_m → 0 EdS · Ω_m = 1 Ω_m = 0.28 · H₀t₀ = 0.816 consistency boundary CONSISTENT WITH HE 1523 + RIESS EXCLUDED · t₀ TOO SHORT
Fig. 4 predicted $H_{0}\,t_{0}$ across $\Omega_{m,0} \in [0, 1]$; horizontal threshold at $0.816$ comes from the Riess–HE 1523 1$\sigma$ corner; consistency boundary pinned at $\Omega_{m,0} = 0.28$

The question's $\Omega_{m,0} = 0.28$ in Section 21 is no coincidence: it sits precisely at the 1$\sigma$ boundary of open-CDM consistency. Anything larger pushes the model into incompatibility.

Even at $\Omega_{m,0}^{\max} = 0.28$, the open model is in tension with independent matter-density estimates from clusters and rotation curves ($\Omega_{m,0} \sim 0.30$–$0.35$) and with the first CMB acoustic peak position at $\ell \approx 220$, which a flat universe demands. Satisfying all four constraints simultaneously required $\Lambda$.
§ 2.3 · The Closed Universe
24

The closed matter universe — cycloid solution

Question

Consider a closed, matter-dominated FRW universe with $\Omega_{\Lambda,0} = 0$, $\Omega_{r,0} = 0$, and $\Omega_{m,0} > 1$. (a) Using the substitution $\sin(\theta/2) = \sqrt{Q\,a}$ with $Q = (\Omega_{m,0}-1)/\Omega_{m,0}$, integrate the Friedmann equation to find a parametric solution $(a(\theta),\,t(\theta))$. (This is the cycloid.) (b) Verify the solution by differentiation. (c) Show that $\Omega_{m,0} \to 1$ recovers Einstein–de Sitter. (d) Prove that the age satisfies $t_{0}^{\rm closed} < 2/(3 H_{0})$ for any $\Omega_{m,0} > 1$. (e) Derive the comoving distance formula and identify the maximum scale factor and the Big Crunch time.

Solution

With $\Omega_{r,0} = \Omega_{\Lambda,0} = 0$ and $\Omega_{m,0} > 1$, the cover-form Friedmann reads

$$\dot a^{2} \;=\; H_{0}^{2}\!\left[\frac{\Omega_{m,0}}{a} - (\Omega_{m,0} - 1)\right] \;=\; H_{0}^{2}\!\left[\frac{\Omega_{m,0}}{a} + \Omega_{k,0}\right]. \qquad(6)$$

Sign flip from § 2.2: matter is falling positive, curvature is a negative constant. The two terms compete destructively: matter wins early, eventually overtaken by the negative curvature constant, at which point $\dot a^{2} = 0$ and expansion halts. The closed universe recollapses.

Control parameter: $Q \equiv (\Omega_{m,0}-1)/\Omega_{m,0} > 0$, and the substitution is now $\sin(\theta/2) = \sqrt{Q a}$ — trigonometric where the open case was hyperbolic. The closed-universe solution is the celebrated cycloid.

a · integrationBy substitution $\sin(\theta/2) = \sqrt{Q a}$

Rearranging (6):

$$H_{0}\,dt \;=\; \frac{1}{\sqrt{\Omega_{m,0}}}\,\sqrt{\frac{a}{1 - Q a}}\,da.$$

From the substitution:

$$a \;=\; \frac{\sin^{2}(\theta/2)}{Q}, \qquad da \;=\; \frac{\sin\theta}{2 Q}\,d\theta, \qquad 1 - Q a \;=\; \cos^{2}(\theta/2),$$

so

$$\sqrt{\frac{a}{1-Qa}} \;=\; \frac{\tan(\theta/2)}{\sqrt{Q}}.$$

Substituting and using $\tan(\theta/2)\,\sin\theta = 2\sin^{2}(\theta/2) = 1 - \cos\theta$:

$$H_{0}\,dt \;=\; \frac{\Omega_{m,0}}{2\,(\Omega_{m,0}-1)^{3/2}}\,(1 - \cos\theta)\,d\theta.$$

Integrating with $a = 0$ at $\theta = 0$:

$$\boxed{\; \begin{aligned} a(\theta) &\;=\; \frac{\Omega_{m,0}}{2\,(\Omega_{m,0} - 1)}\,(1 - \cos\theta) \\[6pt] t(\theta) &\;=\; \frac{\Omega_{m,0}}{2\,H_{0}\,(\Omega_{m,0} - 1)^{3/2}}\,(\theta - \sin\theta) \end{aligned} \;}\qquad(7)$$

The cycloid — trigonometric mirror of the open hyperbolic family.

$\theta$$a$$H_{0}\,t$event
$0$$0$$0$Big Bang
$\pi$$\Omega_{m,0}/(\Omega_{m,0}-1)$$\pi\,\Omega_{m,0}/[2\,(\Omega_{m,0}-1)^{3/2}]$maximum expansion
$2\pi$$0$$\pi\,\Omega_{m,0}/(\Omega_{m,0}-1)^{3/2}$Big Crunch

Maximum scale factor $a_{\max} = \Omega_{m,0}/(\Omega_{m,0}-1)$ confirms the Section 11(b) recollapse argument: at $a_{\max}$, $\dot a = 0$, and the universe contracts symmetrically back to a singularity.

b · verificationBy differentiation

From (7):

$$\frac{da}{d\theta} \;=\; \frac{\Omega_{m,0}\,\sin\theta}{2\,(\Omega_{m,0}-1)}, \qquad \frac{dt}{d\theta} \;=\; \frac{\Omega_{m,0}\,(1-\cos\theta)}{2\,H_{0}\,(\Omega_{m,0}-1)^{3/2}}.$$

The $\Omega_{m,0}/2$ factors cancel in the ratio:

$$\dot a \;=\; H_{0}\,\sqrt{\Omega_{m,0}-1}\,\frac{\sin\theta}{1 - \cos\theta} \;=\; H_{0}\,\sqrt{\Omega_{m,0}-1}\,\cot(\theta/2).$$

Squaring and eliminating $\theta$ via $\sin^{2}(\theta/2) = (\Omega_{m,0}-1)\,a/\Omega_{m,0}$:

$$\dot a^{2} \;=\; H_{0}^{2}\!\left[\frac{\Omega_{m,0}}{a} - (\Omega_{m,0}-1)\right]. \;\;\blacksquare$$

c · limit$\Omega_{m,0} \to 1$ recovers Einstein–de Sitter

The prefactors carry $(\Omega_{m,0}-1)$ in the denominator, so $\theta$ must be small. Using $1 - \cos\theta = \theta^{2}/2 + \cdots$ and $\theta - \sin\theta = \theta^{3}/6 + \cdots$:

$$t \;\approx\; \frac{2\,a^{3/2}}{3\,H_{0}\,\sqrt{\Omega_{m,0}}} \;\xrightarrow{\;\Omega_{m,0}\to 1\;}\; \frac{2\,a^{3/2}}{3 H_{0}}. \;\;\blacksquare$$

EdS is the parabolic limit of the cycloid family.

d · age$t_{0}^{\rm closed} < 2/(3H_{0})$ always

From (6), with $a = 1$ today:

$$t_{0} \;=\; \frac{1}{H_{0}}\!\int_{0}^{1}\!\frac{da}{\sqrt{\Omega_{m,0}/a - (\Omega_{m,0}-1)}}\,.$$

Compare integrands. For $\Omega_{m,0} > 1$, $a \in (0, 1)$:

$$\frac{\Omega_{m,0}}{a} - (\Omega_{m,0}-1) - \frac{1}{a} \;=\; (\Omega_{m,0}-1)\!\left(\frac{1}{a} - 1\right)\;>\; 0,$$

so the closed integrand is uniformly smaller than EdS:

$$\boxed{\;\; t_{0}^{\rm closed} \;<\; t_{0}^{\rm EdS} \;=\; \frac{2}{3\,H_{0}} \;\;} \quad\text{for any}\;\;\Omega_{m,0} > 1. \;\;\blacksquare$$

Sanity check: $\Omega_{m,0} = 2$.

From (7) inverted with $a = 1$: $\cos\theta_{0} = (2 - \Omega_{m,0})/\Omega_{m,0} = 0$, so $\theta_{0} = \pi/2$ and $\sin\theta_{0} = 1$:

$$H_{0}\,t_{0} \;=\; \frac{2}{2\,(1)^{3/2}}\,(\pi/2 - 1) \;=\; \pi/2 - 1 \;\approx\; 0.571,$$

comfortably below $2/3 = 0.667$.

The complete age axis — one row per model.

model$H_{0}\,t_{0}$$\Omega_{m,0}$geometry
closed, $\Omega_{m,0} = 2$$0.571$$2$$k=+1$
Einstein–de Sitter$0.667$$1$$k=0$
open, $\Omega_{m,0} = 0.28$$0.816$$0.28$$k=-1$
Milne$1.000$$\to 0$$k=-1$
flat $\Lambda$CDM, $\Omega_{m,0}=0.28$$\sim 0.98$$0.28$ + $\Lambda$$k=0$
Physical reading. More matter → more gravitational deceleration → expansion has been slowing more steeply → at the same $H_{0}$ today, the universe needs less time to reach this rate. Adding $\Lambda$ inverts the trend: vacuum energy accelerates and so makes the universe older at fixed $H_{0}$. The age axis runs cleanly from "matter-heaviest, youngest" to "$\Lambda$-dominated, oldest."

e · distanceComoving distance

The same parametric trick as Section 22:

$$\frac{dt}{a} \;=\; \frac{d\theta}{H_{0}\,\sqrt{\Omega_{m,0} - 1}}\,.$$

Integrating from emission to today:

$$\boxed{\;\; r(\theta_{e}) \;=\; \frac{c}{H_{0}\,\sqrt{\Omega_{m,0} - 1}}\,\bigl(\theta_{0} - \theta_{e}\bigr) \;\;}\qquad(8)$$

with $\theta_{0} = \arccos\!\bigl((2 - \Omega_{m,0})/\Omega_{m,0}\bigr)$ for the expanding phase. Linear in $\theta$ again, with curvature rescaling $1/\sqrt{|\Omega_{k,0}|}$ — trigonometric counterpart of (5).

25

Closed matter universe with $\Lambda$ — recollapse threshold

Question

Consider a closed universe with matter and $\Lambda$ but no radiation, $\dot a^{2} = H_{0}^{2}[\Omega_{m,0}/a + \Omega_{\Lambda,0}\,a^{2} + \Omega_{k,0}]$ with $\Omega_{k,0} < 0$. (a) Explain qualitatively why a sufficiently large $\Lambda$ can save the universe from recollapse. (b) Find the scale factor $a_{\rm acc}$ at which $\ddot a = 0$. Show that the curvature density does not enter. (c) Identify the condition under which a small $\Lambda$ is insufficient to prevent recollapse. (d) Derive the recollapse boundary $4(\Omega_{m,0} + \Omega_{\Lambda,0} - 1)^{3} = 27\,\Omega_{m,0}^{2}\,\Omega_{\Lambda,0}$ in the $(\Omega_{m,0},\,\Omega_{\Lambda,0})$ plane. (e) Solve iteratively for the boundary $\Omega_{\Lambda,0}$ given several values of $\Omega_{m,0}$ in $\{1.1, 1.5, 2, 3, 5\}$.

Solution

Keep $\Lambda$ but drop radiation, with $\Omega_{k,0} = 1 - \Omega_{m,0} - \Omega_{\Lambda,0} < 0$:

$$\dot a^{2} \;=\; H_{0}^{2}\!\left(\frac{\Omega_{m,0}}{a} + \Omega_{\Lambda,0}\,a^{2} + \Omega_{k,0}\right) \;\equiv\; H_{0}^{2}\,f(a). \qquad(9)$$

Three terms: $a^{-1}$ (matter, falling), $a^{2}$ ($\Lambda$, rising), $a^{0}$ (curvature, negative constant). A contest between a falling positive and a rising positive with a negative constant between.

a · ne fugitWhy $\Lambda$ can save a closed universe

$f(a) = 0$ at $a > 1$ would mean recollapse. Look at the limits:

  • $f(a) \to +\infty$ as $a \to 0$ (matter dominates),
  • $f(1) = \Omega_{m,0} + \Omega_{\Lambda,0} + \Omega_{k,0} = 1$ (closure),
  • $f(a) \to +\infty$ as $a \to \infty$ ($\Lambda$ dominates).

$f$ is positive at both ends. The function dips through a minimum at some intermediate $a_{*}$; only if that minimum is negative does $f$ cross zero. A closed universe with $\Lambda$ avoids recollapse whenever $f(a_{*}) > 0$.

b · $\ddot a = 0$Onset of acceleration is $\Omega_{k,0}$-independent

Differentiating (9): $\ddot a = (H_{0}^{2}/2)(-\Omega_{m,0}/a^{2} + 2\,\Omega_{\Lambda,0}\,a)$.

Setting $\ddot a = 0$:

$$\boxed{\;\; a_{\rm acc} \;=\; \left(\frac{\Omega_{m,0}}{2\,\Omega_{\Lambda,0}}\right)^{\!1/3} \;\;}$$

No $\Omega_{k,0}$. Spatial curvature is a property of constant-$t$ slices, not of the stress-energy sourcing $\ddot a$. Curvature enters $\dot a^{2}$ but not $\ddot a$. Identical to Section 11(c).

c · insufficientWhy small $\Lambda$ doesn't save it

The minimum of $f$ sits at $a_{*} = a_{\rm acc}$. Plugging into $f$:

$$f(a_{*}) \;=\; \frac{3\,\Omega_{m,0}}{2\,a_{*}} + \Omega_{k,0} \;=\; \frac{3}{2}\bigl(2\,\Omega_{\Lambda,0}\,\Omega_{m,0}^{2}\bigr)^{1/3} + \Omega_{k,0}.$$

If $\Omega_{\Lambda,0}$ too small, $f(a_{*}) < 0$: $f$ crosses zero at some $a_{\max} < a_{*}$. Expansion halts before $\Lambda$ takes over.

d · thresholdCubic for $a_{\max}$ and the recollapse relation

At $\dot a = 0$, $f(a_{\max}) = 0$:

$$\boxed{\;\;\Omega_{\Lambda,0}\,a_{\max}^{3} + \Omega_{k,0}\,a_{\max} + \Omega_{m,0} \;=\; 0\;\;}$$

The threshold trick. At the boundary, $f$ is tangent to zero: $a_{\max} = a_{\rm acc}$. Substituting $a_{\rm acc}^{3} = \Omega_{m,0}/(2\,\Omega_{\Lambda,0})$:

$$\frac{\Omega_{m,0}}{2} + \Omega_{k,0}\,a_{\rm acc} + \Omega_{m,0} \;=\; 0 \;\Longrightarrow\; a_{\rm acc} \;=\; -\,\frac{3\,\Omega_{m,0}}{2\,\Omega_{k,0}}.$$

Cubing and equating to $a_{\rm acc}^{3} = \Omega_{m,0}/(2\,\Omega_{\Lambda,0})$:

$$\Omega_{\Lambda,0} \;=\; -\,\frac{4\,\Omega_{k,0}^{3}}{27\,\Omega_{m,0}^{2}}.$$

Substituting $\Omega_{k,0} = 1 - \Omega_{m,0} - \Omega_{\Lambda,0}$:

$$\boxed{\;\; 4\,(\Omega_{m,0} + \Omega_{\Lambda,0} - 1)^{3} \;=\; 27\,\Omega_{m,0}^{2}\,\Omega_{\Lambda,0} \;\;}\qquad(10)$$

The recollapse boundary in the $(\Omega_{m,0},\,\Omega_{\Lambda,0})$ plane.

e · solveIterative solution and the SCP comparison

Setting $\mu = \Omega_{m,0} - 1 > 0$ and $x = \Omega_{\Lambda,0}$:

$$4\,(\mu + x)^{3} \;=\; 27\,(1+\mu)^{2}\,x.$$

Leading order:

$$\boxed{\;\; \Omega_{\Lambda,0} \;\approx\; \frac{4\,(\Omega_{m,0}-1)^{3}}{27\,\Omega_{m,0}^{2}} \;\;}$$
$\Omega_{m,0}$$\Omega_{\Lambda,0}$ at thresholdregime
$1.1$$1.2 \times 10^{-4}$almost no $\Lambda$ needed
$1.5$$0.0082$barely any $\Lambda$
$2.0$$0.037$small $\Lambda$ enough
$3.0$$0.132$moderate $\Lambda$
$5.0$$0.379$substantial $\Lambda$
1.5 1.25 1.0 0.75 0.5 0.25 0 0 0.5 1 1.5 2 2.5 3 Ω_m,0 (matter density today) Ω_Λ,0 (vacuum density today) ΛCDM today (0.28, 0.72) SCDM · EdS de Sitter RECOLLAPSES EXPANDS FOREVER Ω_m + Ω_Λ = 1 · flat Ω_Λ = Ω_m / 2 · ä = 0 today
Fig. 5 parameter plane: recollapse boundary $4(\Omega_{m,0}+\Omega_{\Lambda,0}-1)^{3} = 27\,\Omega_{m,0}^{2}\,\Omega_{\Lambda,0}$ (pink), flat diagonal (cream dashed), acceleration boundary $\Omega_{\Lambda,0} = \Omega_{m,0}/2$ (blue dashed)

The 2003 SCP best-fit ($\Omega_{m,0} \approx 0.27$, $\Omega_{\Lambda,0} \approx 0.73$) sits far in the "expands forever" region. Even with $\Omega_{m,0} = 3$, only $\Omega_{\Lambda,0} \approx 0.13$ is enough to escape recollapse.

The classic SCP $(\Omega_{m},\,\Omega_{\Lambda})$ diagram overlays the geometric recollapse boundary onto SNe Ia, CMB, and BAO confidence ellipses, along with the flat-universe diagonal. The intersection of all observational constraints landed neatly in the eternal-expansion sector — independent confirmation that the universe is not just expanding but expanding forever.
26

The Einstein static universe

Question

Einstein's 1917 static universe imposes both $\dot a = 0$ and $\ddot a = 0$ at $a = 1$ in a closed ($k = +1$) matter universe with cosmological constant $\Lambda$. (a) Determine the values of $\Lambda$ and the curvature radius $R_{0}$ required, in terms of the matter energy density $\mathcal{E}_{m,0}$. (b) Show that this static solution is unstable by linearising the equations around small perturbations $\mathcal{E}_{m} \to \mathcal{E}_{m,0}(1 + \epsilon)$. Find the e-folding timescale of the instability.

Solution

Einstein's static model requires $\dot a = 0$ and $\ddot a = 0$ both at $a = 1$ — universe motionless in time, with matter and $\Lambda$ in delicate balance.

a · static$\Lambda$ and the curvature radius

Front-cover Friedmann (with $\Lambda$ kept explicit, matter only):

$$H^{2} \;=\; \frac{8\pi G}{3 c^{2}}\,\mathcal{E}_{m} - \frac{k c^{2}}{a^{2} R_{0}^{2}} + \frac{\Lambda c^{2}}{3}, \qquad \frac{\ddot a}{a} \;=\; -\,\frac{4\pi G}{3 c^{2}}\,\mathcal{E}_{m} + \frac{\Lambda c^{2}}{3}.$$

(For $\Lambda$, $P_{\Lambda} = -\mathcal{E}_{\Lambda}$ gives $\mathcal{E}_{\Lambda} + 3 P_{\Lambda} = -2\,\mathcal{E}_{\Lambda}$, equivalent to $+\Lambda c^{2}/3$.)

Condition $\ddot a = 0$.

$$\frac{\Lambda c^{2}}{3} \;=\; \frac{4\pi G\,\mathcal{E}_{m,0}}{3 c^{2}} \;\Longrightarrow\; \boxed{\;\;\Lambda \;=\; \frac{4\pi G\,\mathcal{E}_{m,0}}{c^{4}}\;\;}$$

Dimensions: $[\Lambda] = L^{-2}$, as required.

Condition $\dot a = 0$ at $a = 1$, $k = +1$.

$$\frac{8\pi G\,\mathcal{E}_{m,0}}{3 c^{2}} - \frac{c^{2}}{R_{0}^{2}} + \frac{\Lambda c^{2}}{3} \;=\; 0.$$

Substituting:

$$\frac{c^{2}}{R_{0}^{2}} \;=\; \frac{8\pi G\,\mathcal{E}_{m,0}}{3 c^{2}} + \frac{4\pi G\,\mathcal{E}_{m,0}}{3 c^{2}} \;=\; \frac{4\pi G\,\mathcal{E}_{m,0}}{c^{2}}.$$

Hence

$$\boxed{\;\; R_{0} \;=\; \frac{c^{2}}{\sqrt{4\pi G\,\mathcal{E}_{m,0}}} \;=\; \frac{1}{\sqrt{\Lambda}} \;\;}$$

Radius of curvature equals $\Lambda^{-1/2}$ — the de Sitter length, a single fundamental scale set by $\Lambda$ alone. Two unknowns tied to one observable; no free parameters.

b · unstableInstability under tiny perturbations

Perturb $\mathcal{E}_{m} \to \mathcal{E}_{m,0}(1 + \epsilon)$. Using the unperturbed balance $\mathcal{E}_{m,0} = 2\,\mathcal{E}_{\Lambda}$:

$$\frac{\ddot a}{a}\bigg|_{a=1} \;=\; -\,\frac{4\pi G\,\mathcal{E}_{m,0}\,\epsilon}{3 c^{2}}.$$

Add a tiny bit of matter ($\epsilon > 0$): the universe begins to contract. Remove a tiny bit: it expands. In either direction the perturbation grows.

Linearized growth rate.

With $\mathcal{E}_{m} \propto a^{-3} \approx \mathcal{E}_{m,0}(1 - 3\,\delta a)$:

$$\ddot{\delta a} \;=\; \frac{4\pi G\,\mathcal{E}_{m,0}}{c^{2}}\,\delta a \;=\; \Lambda\,c^{2}\,\delta a.$$

Solution: $\delta a \propto \exp(c\sqrt{\Lambda}\,t)$. E-folding timescale:

$$\boxed{\;\;\tau_{\rm inst} \;=\; \frac{1}{c\sqrt{\Lambda}} \;=\; \frac{R_{0}}{c}\;\;}$$

— the light-crossing time of the universe. No slow, gentle return to equilibrium; the universe runs away on the same timescale that defines it.

Einstein's static model required exact fine-tuning of three independent quantities — $\mathcal{E}_{m,0} = 2\,\mathcal{E}_{\Lambda}$, $R_{0} = 1/\sqrt{\Lambda}$, and perturbation-free initial conditions — with no mechanism to maintain any. Together they made the model untenable even before Hubble's 1929 observations. With Hubble, $\Lambda$ became unnecessary altogether — until SNe Ia data brought it back, seventy years later, as the universe's accelerator rather than its brake.
§ 2.4 · The Benchmark Universe
27

Analytic solution — the $\sinh^{2/3}$ benchmark

Question

For the flat $\Lambda$CDM "benchmark" universe (matter + $\Lambda$, no radiation, no curvature), the Friedmann equation is $\dot a^{2} = H_{0}^{2}[\Omega_{m,0}/a + (1 - \Omega_{m,0})\,a^{2}]$. (a) Using the substitution $\sinh\theta = \sqrt{Q\,a^{3}}$ with $Q = (1-\Omega_{m,0})/\Omega_{m,0}$, derive the analytic solution $a(t) = (\Omega_{m,0}/(1-\Omega_{m,0}))^{1/3}\sinh^{2/3}[\tfrac{3}{2}\sqrt{1-\Omega_{m,0}}\,H_{0}\,t]$. (b) Verify by differentiation. (c) Derive the closed-form expression for the present age $t_{0}$ as a function of $H_{0}$ and $\Omega_{m,0}$. (d) Show that the early-time limit recovers the matter parabola $a \propto t^{2/3}$. (e) Show that the late-time limit is the de Sitter exponential $a \propto e^{H_{\infty} t}$ with $H_{\infty} = \sqrt{\Omega_{\Lambda,0}}\,H_{0}$.

Solution

The "benchmark" model is flat $\Lambda$CDM: radiation negligible, matter at $\Omega_{m,0}$, vacuum filling the rest. With $\Omega_{m,0} \approx 0.28$ (WMAP-9):

$$\dot a^{2} \;=\; H_{0}^{2}\!\left[\frac{\Omega_{m,0}}{a} + (1-\Omega_{m,0})\,a^{2}\right].$$

A falling matter term and a rising $\Lambda$ term, no curvature constant. Begins matter-dominated ($a \propto t^{2/3}$), ends $\Lambda$-dominated ($a \propto e^{Ht}$), smooth transition between.

a · integrationBy substitution $\sinh\theta = \sqrt{Q a^{3}}$

Set $Q = (1-\Omega_{m,0})/\Omega_{m,0}$ and $\sinh\theta = \sqrt{Q a^{3}}$, so $1 + Qa^{3} = \cosh^{2}\theta$. Then

$$\dot a^{2} \;=\; H_{0}^{2}\,\frac{\Omega_{m,0}}{a}\,\bigl(1 + Q a^{3}\bigr) \;\Longrightarrow\; \dot a \;=\; H_{0}\,\sqrt{\Omega_{m,0}/a}\,\cosh\theta.$$

Differentiating $a^{3} = \sinh^{2}\theta/Q$: $da/d\theta = 2\sinh\theta\cosh\theta/(3 Q a^{2})$. Combining with $\dot a = (da/d\theta)\,\dot\theta$ and using $a^{3/2} = \sinh\theta/\sqrt{Q}$:

$$\dot\theta \;=\; \frac{3}{2}\,\sqrt{1-\Omega_{m,0}}\,H_{0}.$$

$\theta$ grows linearly with $t$. Integrating from $\theta = 0$ at $t = 0$:

$$\boxed{\;\; a(t) \;=\; \left(\frac{\Omega_{m,0}}{1 - \Omega_{m,0}}\right)^{\!1/3}\! \sinh^{2/3}\!\left(\tfrac{3}{2}\sqrt{1 - \Omega_{m,0}}\,H_{0}\,t\right) \;\;}\qquad(11)$$

Compact, exact, elegant — the hyperbolic analog of the cycloid.

b · verificationBy differentiation

Let $A = (\Omega_{m,0}/(1-\Omega_{m,0}))^{1/3}$ and $\omega = \tfrac{3}{2}\sqrt{1-\Omega_{m,0}}\,H_{0}$, so $a = A\,\sinh^{2/3}(\omega t)$:

$$\dot a \;=\; \sqrt{1-\Omega_{m,0}}\,H_{0}\,A\,\sinh^{-1/3}(\omega t)\,\cosh(\omega t).$$

Squaring and using $\sinh^{-2/3}(\omega t) = A/a$, $A^{3} = \Omega_{m,0}/(1-\Omega_{m,0})$, and $\cosh^{2} = 1 + a^{3}/A^{3}$:

$$\dot a^{2} \;=\; \frac{H_{0}^{2}\,\Omega_{m,0}}{a}\!\left[1 + \frac{(1-\Omega_{m,0})\,a^{3}}{\Omega_{m,0}}\right] \;=\; H_{0}^{2}\!\left[\frac{\Omega_{m,0}}{a} + (1-\Omega_{m,0})\,a^{2}\right]. \;\;\blacksquare$$

c · ageClosed-form age $t_{0}$

Setting $a = 1$ in (11): $\sinh(\omega t_{0}) = \sqrt{(1-\Omega_{m,0})/\Omega_{m,0}}$, so $\cosh(\omega t_{0}) = 1/\sqrt{\Omega_{m,0}}$ and $e^{\omega t_{0}} = (1 + \sqrt{1-\Omega_{m,0}})/\sqrt{\Omega_{m,0}}$:

$$\boxed{\;\; t_{0} \;=\; \frac{2}{3\,H_{0}\,\sqrt{1 - \Omega_{m,0}}}\, \ln\!\left(\frac{1 + \sqrt{1 - \Omega_{m,0}}}{\sqrt{\Omega_{m,0}}}\right) \;\;}\qquad(12)$$

A logarithm: the signature of the hyperbolic family. For $\Omega_{m,0} \to 0$ this diverges as $\ln(2/\sqrt{\Omega_{m,0}})$ (de Sitter eternity); for $\Omega_{m,0} \to 1$ it tends to $2/(3 H_{0})$ (EdS age).

d · early limitMatter-era parabola

For small $\omega t$, $\sinh^{2/3}(\omega t) \approx (\omega t)^{2/3}$. The $(1-\Omega_{m,0})$ factors cancel between $A$ and $\omega$:

$$a(t) \;\approx\; \Omega_{m,0}^{1/3}\,(3 H_{0} t/2)^{2/3}.$$

In the limit $\Omega_{m,0} \to 1$ this becomes the EdS solution $a = (t/t_{0})^{2/3}$ with $t_{0} = 2/(3 H_{0})$ exactly.

The early benchmark universe expands as $t^{2/3}$ — the same parabolic shape as EdS — but with a suppressed amplitude $\Omega_{m,0}^{1/3} \approx 0.65$ at $\Omega_{m,0} = 0.28$. The matter content was always smaller; the universe is correspondingly compact in its youth.

e · late limitDe Sitter exponential

For large $\omega t$, $\sinh(\omega t) \to \tfrac{1}{2}e^{\omega t}$ and $\sinh^{2/3}(\omega t) \to 2^{-2/3}\,e^{(2/3)\omega t}$:

$$a(t) \;\to\; \underbrace{\left(\frac{\Omega_{m,0}}{4\,(1-\Omega_{m,0})}\right)^{\!1/3}}_{\displaystyle a_{\Lambda}} \,\exp\!\bigl(\sqrt{1-\Omega_{m,0}}\,H_{0}\,t\bigr).$$ $$\boxed{\;\; a_{\Lambda} \;=\; \left(\frac{\Omega_{m,0}}{4\,(1 - \Omega_{m,0})}\right)^{\!1/3}, \qquad H_{\infty} \;=\; \sqrt{1 - \Omega_{m,0}}\,H_{0} \;=\; \sqrt{\Omega_{\Lambda,0}}\,H_{0} \;\;}\qquad(13)$$

The exponent must equal the asymptotic Hubble rate because $\dot a^{2} \to H_{0}^{2}(1-\Omega_{m,0})\,a^{2}$ at large $a$, giving $\dot a/a = \sqrt{\Omega_{\Lambda,0}}\,H_{0}$ — the de Sitter rate set by $\Lambda c^{2}/3$.

3 2.5 2 1.5 1 0.5 0 0 0.5 1 1.5 2 H_0 t (Hubble times since Big Bang) a(t) (scale factor) ä = 0 onset (0.52, 0.58) today (0.98, 1.00) matter t^(2/3) de Sitter e^(H_∞ t)
Fig. 6 the benchmark scale factor $a(t) = (\Omega_{m,0}/(1-\Omega_{m,0}))^{1/3}\sinh^{2/3}(\tfrac{3}{2}\sqrt{1-\Omega_{m,0}}\,H_{0}\,t)$ bridging matter-era parabola (pink dashed) and de Sitter exponential (blue dashed) with $\Omega_{m,0} = 0.28$

Fig. 6 makes the structural reading visceral: the matter parabola underestimates $a$ at late times (decelerating gravity would have kept the universe smaller), while the de Sitter exponential overestimates $a$ at early times (it back-extrapolates to $a_{\Lambda}$ rather than zero). The true $\sinh^{2/3}$ interpolates smoothly.

28

Benchmark age and look-back time

Question

For the benchmark flat $\Lambda$CDM model of Problem 27 with $H_{0} = 74\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$ and $\Omega_{m,0} = 0.28$: (i) Compute the present age $t_{0}$ in Gyr using the closed-form formula. (ii) Compute the look-back time to a source at redshift $z = 3$. Compare the benchmark age with the HE 1523–0901 lower bound and comment on the implications for the Hubble tension.

Solution

With $H_{0} = 74$ km s$^{-1}$ Mpc$^{-1}$ and $\Omega_{m,0} = 0.28$, Hubble time $H_{0}^{-1} = 13.21$ Gyr.

i · ageFrom the closed-form (12)

$$t_{0} \;=\; \frac{2}{3\sqrt{0.72}}\,\ln\!\left(\frac{1 + 0.84853}{\sqrt{0.28}}\right)\cdot H_{0}^{-1} \;=\; 0.9824 \, H_{0}^{-1} \;\approx\; \boxed{\,12.98\;\text{Gyr}\,}$$

ii · look-back to z = 3Inverting (11)

$a_{e} = 1/(1+z) = 1/4$. From (11): $\sinh(\omega t_{e}) = 1.60357 \times 0.125 = 0.20045$, so $\omega t_{e} = 0.19905$ and $t_{e} = 0.15639\, H_{0}^{-1} = 2.07$ Gyr.

$$t_{0} - t_{e} \;\approx\; \boxed{\,10.91\;\text{Gyr}\,}$$
HE 1523-0901 and the Hubble tension. HE 1523-0901's age is $\approx 13.2$ Gyr (Th/U cosmochronometry). The benchmark with $H_{0} = 74$ is $13.0$ Gyr old — marginally younger than its oldest known star. Either $H_{0} = 74$ is incompatible with HE 1523-0901's age, or the star's $\pm 1$–2 Gyr uncertainty closes the gap. With Planck's $H_{0} = 67.4$ km s$^{-1}$ Mpc$^{-1}$ the benchmark age rises to $14.3$ Gyr and the constraint relaxes. The "stellar floor" pushes weakly against the higher local-distance-ladder $H_{0}$ — one edge of the Hubble tension.
29

Proper distance by quadrature

Question

For the benchmark $\Lambda$CDM universe, derive the proper-distance integral $$d_{p}(t_{0}) = \frac{2c}{H_{0}}\!\int_{\sqrt{a_{e}}}^{1}\!\frac{du}{\sqrt{\Omega_{m,0} + (1-\Omega_{m,0})\,u^{6}}}$$ via the substitution $u = \sqrt{a}$. Then tabulate, by numerical quadrature, the comoving horizon distance and the proper distance to $z = 3$ and $z = 1$ for three universes: (1) benchmark $\Lambda$CDM ($\Omega_{m,0} = 0.28$, $\Omega_{\Lambda,0} = 0.72$); (2) open matter-only ($\Omega_{m,0} = 0.28$, $\Omega_{\Lambda,0} = 0$); (3) Einstein–de Sitter ($\Omega_{m,0} = 1$). Use $H_{0} = 74\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$. Verify the $\Omega_{m,0} \to 1$ limit against the EdS closed form as a numerical sanity check.

Solution

The proper distance from a comoving observer to an object of scale factor $a_{e}$ in the benchmark universe is

$$d_{p}(t_{0}) \;=\; c\!\int_{t_{e}}^{t_{0}}\!\frac{dt}{a(t)} \;=\; \frac{c}{H_{0}}\!\int_{a_{e}}^{1}\!\frac{da}{\sqrt{\Omega_{m,0}\,a + (1-\Omega_{m,0})\,a^{4}}}.$$

The substitution $u = \sqrt{a}$ removes the $1/\sqrt{a}$ divergence and produces a polynomial under the radical:

$$\boxed{\;\; d_{p}(t_{0}) \;=\; \frac{2c}{H_{0}}\!\int_{\sqrt{a_{e}}}^{1}\!\frac{du}{\sqrt{\Omega_{m,0} + (1-\Omega_{m,0})\,u^{6}}} \;\;}\qquad(14)$$

Integrand bounded everywhere on $[0,1]$. Simpson's rule with 8–10 subintervals converges to four digits.

numerical resultsThree universes, $H_{0} = 74$

Comoving distance scale: $c/H_{0} = 4054$ Mpc.

model $\Omega_{m,0}$ $\Omega_{\Lambda,0}$ horizon $d_p$ to $z = 3$ $d_p$ to $z = 1$
benchmark $\Lambda$CDM 0.280.72 13.78 Gpc 6.14 Gpc 3.16 Gpc
open matter only 0.280 11.96 Gpc 4.94 Gpc 2.79 Gpc
EdS (matter only, flat) 10 8.11 Gpc 4.05 Gpc 2.37 Gpc

sanity check$\Omega_{m,0} \to 1$ limit

Setting $\Omega_{m,0} = 1$ in (14) collapses the integrand to 1, giving the EdS closed form $d_{p}/D_{H} = 2(1 - \sqrt{a_{e}})$: horizon = 2, $d_{p}(z=3) = 1$. Pushing $\Omega_{m,0} = 0.99$ in the benchmark integrator gives $1.998$ for the horizon — right onto the EdS limit. If your numerics drift from this by more than $\sim 1\%$, the integration has a bug.

physical readingWhy $\Lambda$CDM wins at the horizon

$\Lambda$CDM has the largest comoving distances at every $z$, because vacuum-driven acceleration over the last $\sim 6$ Gyr has stretched comoving separations more than any pure-matter cosmology. EdS has the smallest, since maximal deceleration leaves photons less time to traverse comoving space. The open $\Omega_{m,0} = 0.28$ model lies between. The horizon-distance ratios $13.78 : 11.96 : 8.11$ make the contribution of each ingredient visible at a glance.

30

Onset of acceleration

Question

For the flat $\Lambda$CDM benchmark, derive the dimensionless acceleration $\ddot a/(a\,H_{0}^{2})$ and find the scale factor $a_{\rm acc}$ at which $\ddot a = 0$ (onset of cosmic acceleration). For $\Omega_{m,0} = 0.28$, compute $z_{\rm acc}$ and the cosmic look-back time to this transition. Comment on the relation to Type Ia supernova observations at $z \sim 0.5$.

Solution

For flat $\Lambda$CDM:

$$\frac{\ddot a}{a\,H_{0}^{2}} \;=\; -\frac{\Omega_{m,0}}{2\,a^{3}} + \Omega_{\Lambda,0}.$$

Setting $\ddot a = 0$. With $\Omega_{\Lambda,0} = 1 - \Omega_{m,0}$:

$$\boxed{\;\; a_{\rm acc}^{3} \;=\; \frac{\Omega_{m,0}}{2\,(1-\Omega_{m,0})} \;\Longrightarrow\; 1 + z_{\rm acc} \;=\; \left(\frac{2\,(1-\Omega_{m,0})}{\Omega_{m,0}}\right)^{\!1/3} \;\;}\qquad(15)$$

numericalFor $\Omega_{m,0} = 0.28$

$$1 + z_{\rm acc} \;=\; \bigl(2 \times 0.72 / 0.28\bigr)^{1/3} \;=\; 5.1429^{1/3} \;=\; 1.7253,$$ $$\boxed{\;\; z_{\rm acc} \;\approx\; 0.725, \qquad a_{\rm acc} \;\approx\; 0.580 \;\;}$$

look-back to z_accFrom (11)

$\sinh(\omega t_{\rm acc}) = 1.60357 \times 0.580^{3/2} = 0.7081$, so $\omega t_{\rm acc} = 0.6594$ and $t_{\rm acc} = 0.5181\, H_{0}^{-1} = 6.84$ Gyr.

$$t_{0} - t_{\rm acc} \;=\; 12.98 - 6.84 \;\approx\; \boxed{\,6.14\;\text{Gyr}\,}$$
Cosmic recency. The universe began accelerating roughly half its current age ago. The transition coincides with $\Omega_{m}(z_{\rm acc}) = 2\,\Omega_{\Lambda}(z_{\rm acc})$ — when matter and $\Lambda$ exchanged roles as the dominant dynamical pacemaker. Type Ia supernovae at $z \sim 0.5$ live just past this transition; their fainter-than-expected magnitudes are precisely what made the acceleration measurable in 1998 (Riess et al.; Perlmutter et al.) — a decisive empirical detection of $\Lambda \neq 0$.
31

Matched-age EdS comparison

Question

(i) What value of $H_{0}$ would a flat matter-only (Einstein–de Sitter) universe need in order to have the same age as the benchmark $\Lambda$CDM model of Problem 28 ($t_{0} \approx 12.98\,\mathrm{Gyr}$ at $H_{0} = 74$)? (ii) For $z \in \{1, 2, 3, 4, 5\}$, tabulate the look-back time and the proper distance in both the benchmark $\Lambda$CDM and the "matched-EdS" model with this lower $H_{0}$. Identify the crossover redshift where the benchmark's proper distance overtakes EdS's, and explain physically why it happens.

Solution

What $H_{0}$ would a flat matter-only universe need to reach the same age? EdS age is $t_{0} = 2/(3 H_{0})$, so matching $t_{0} = 12.98$ Gyr:

$$H_{0}^{\rm EdS} \;=\; \frac{2}{3 \times 12.98\;\text{Gyr}} \;\approx\; \boxed{\,50.2\;\text{km s}^{-1}\,\text{Mpc}^{-1}\,}$$

A matter-only universe needs $H_{0} \approx 50$ — the "low-$H_{0}$" value once championed by Sandage — to age to 13 Gyr without help from $\Lambda$. With $H_{0} = 74$ and no $\Lambda$, the universe would be only $8.81$ Gyr old, younger than the stars in it.

i · look-back times$t_{0} - t_{e}$ for $z \in \{1, 2, 3, 4, 5\}$

Benchmark from (11); matched-EdS from $t_{0}\,[1 - (1+z)^{-3/2}]$.

$z$ benchmark ($H_{0} = 74$) [Gyr] matched-EdS ($H_{0} = 50$) [Gyr] $\Delta$ [Gyr]
1.07.388.39+1.01
2.09.8210.48+0.66
3.010.9111.36+0.45
4.011.5011.82+0.32
5.011.8512.10+0.25
t_0 = 12.98 Gyr 14 12 10 8 6 4 2 0 0 1 2 3 4 5 redshift z look-back time t_0 − t_e [Gyr] z_acc ≈ 0.73 (t_lb = 6.14 Gyr) benchmark ΛCDM (H_0 = 74) matched-EdS (H_0 = 50)
Fig. 7 look-back time vs redshift for benchmark $\Lambda$CDM (pink) and a matter-only universe with $H_{0}$ chosen for the same age $t_{0} = 12.98$ Gyr (blue dashed). The matched-EdS curve climbs faster — decelerating gravity packs more cosmic time into early epochs

ii · proper distancesAt the same redshifts

Benchmark from (14); matched-EdS from $d_{p}(z) = 2(c/H_{0}^{\rm EdS})\,[1 - (1+z)^{-1/2}]$ with $c/H_{0}^{\rm EdS} = 5.996$ Gpc. Unmatched-EdS ($H_{0} = 74$) as third baseline.

$z$ benchmark $\Lambda$CDM
($H_{0} = 74$) [Gpc]
matched-EdS
($H_{0} = 50$) [Gpc]
unmatched-EdS
($H_{0} = 74$) [Gpc]
1.03.163.512.37
2.04.995.073.43
3.06.146.004.05
4.06.946.634.48
5.07.537.104.80
10 8 6 4 2 0 0 1 2 3 4 5 redshift z proper distance d_p(z) [Gpc] ↑ benchmark horizon 13.78 Gpc crossover z ≈ 2.33, d_p ≈ 5.27 Gpc benchmark matched-EdS unmatched-EdS (H_0=74)
Fig. 8 proper distance $d_{p}(z)$ in three universes. At low $z$ matched-EdS leads ($d_{p} \sim cz/H_{0}$ favors larger $1/H_{0}$); at $z \gtrsim 2.3$ the benchmark overtakes it, reaching a $\sim 14\%$ larger horizon. The crossover marks where the integrated boost from recent acceleration compensates the matched-EdS Hubble-law advantage

discussionThe two readings

Look-back times (Fig. 7). Matched-EdS sits uniformly above the benchmark — offset peaks at $z = 1$ ($+1.01$ Gyr), tapers to $+0.25$ Gyr by $z = 5$. Both meet at the horizontal asymptote $t_{0} = 12.98$ Gyr. The difference is in distribution: matched-EdS spends more cosmic time at moderate $a$, less near $a = 1$, because its deceleration packs aging into the late epoch. The benchmark decelerates only for half its history, then accelerates — arriving at $a = 1$ "more rapidly" once $\Lambda$ kicks in.

Proper distances (Fig. 8). At small $z$, $d_{p} \approx c z / H_{0}$ and matched-EdS wins by $74/50 = 1.48$. But the benchmark picks up an integrated boost from acceleration: comoving separations stretched faster between $z_{\rm acc} \approx 0.7$ and today. The boost compounds, and by $z \approx 2.33$ overtakes the matched-EdS Hubble-law advantage. Beyond the crossover the benchmark dominates, asymptoting to $13.78$ Gpc against EdS's $11.99$ Gpc — a $14\%$ horizon excess scaling exactly with the $\sinh^{-1}(\sqrt{(1-\Omega_{m,0})/\Omega_{m,0}})$ factor in (14).

Where the diagnostic lives. The two cosmologies agree on $H_{0} t_{0}$ by construction. They disagree most strongly in distance moduli at $z \sim 0.3$–$0.7$, where matched-EdS leads by $\sim 0.3$–$0.5$ Gpc on a $\sim 3$ Gpc baseline. This is precisely the redshift window where the high-$z$ SNe Ia campaigns of 1998 found supernovae too faint — demanding more distance than matter alone permits, even at lowered $H_{0} = 50$. The benchmark $\Lambda$CDM, with its late-time acceleration, fits the data; matched-EdS does not. Fig. 8's crossover region is where modern cosmology was decided.
▶  ·  31 problems · three chapters · solution complete
Share:XRedditLinkedIn