Linear Growth of Structure

Every galaxy, cluster, and filament of the cosmic web is the grown-up descendant of a density fluctuation that was, at recombination, only a few parts in a hundred thousand away from perfectly smooth. Linear growth of structure is the theory of that infancy — the long era in which the density contrast δ≡(ρ−ρˉ)/ρˉ\delta \equiv (\rho-\bar\rho)/\bar\rho is still so small that the cosmic fluid's equations of motion can be truncated at first order in δ\delta. What makes the era worth a chapter of its own is a startling simplification: to first order, every Fourier mode of the density field evolves in lockstep, multiplied by one universal, scale-independent function of time — the linear growth factor D(a)D(a). The pattern of over- and under-densities is frozen; only its amplitude marches upward. The physics underneath is a single competition. Self-gravity tries to pull an overdense region together; the expansion of the universe pulls it apart and appears in the equations as a friction term, the "Hubble drag" 2Hδ˙2H\dot\delta. In a static medium the winner is exponential runaway — the Jeans instability — but expansion tames that into mere power-law growth, and how the power law goes depends on what fills the universe. During matter domination the growing mode is exactly δ∝a\delta\propto a; during radiation domination sub-horizon matter is nearly frozen (the Mészáros effect, only ln⁡a\ln a growth); once dark energy takes over, the accelerating expansion shuts growth off and D(a)D(a) saturates. This article linearizes the fluid-plus-gravity system in an expanding background, extracts the growth equation, solves it in each cosmological regime, and connects D(a)D(a) and its logarithmic derivative f(a)f(a) to the observables — σ8\sigma_8, redshift-space distortions, fσ8f\sigma_8 — that make structure growth a pillar of the ΛCDM concordance model and one of our sharpest tests of gravity.

Key takeaways
  • Linear growth describes the epoch δ≪1\delta\ll1, where the coupled continuity, Euler, and Poisson equations linearize into one second-order ODE per Fourier mode.
  • Above the Jeans length pressure is negligible and the mode obeys δ¨+2Hδ˙−4πGρˉm δ=0\ddot\delta + 2H\dot\delta - 4\pi G\bar\rho_m\,\delta = 0, a gravitational driving term fighting a Hubble-drag friction term.
  • The solution factorizes: δ(x,a)=[D(a)/D(ai)] δ(x,ai)\delta(\mathbf{x},a) = [D(a)/D(a_i)]\,\delta(\mathbf{x},a_i), so a single growth factor D(a)D(a) rescales every mode and the shape of the power spectrum is frozen.
  • Regime by regime: matter era D∝aD\propto a; radiation era sub-horizon matter grows only as ln⁡a\ln a (Mészáros); dark-energy era D→D\to const. Today D0D_0 is suppressed to ≈0.78\approx 0.78 of the matter-era extrapolation.
  • The growth rate f≡dln⁡D/dln⁡a≈Ωm(a)0.55f\equiv \mathrm{d}\ln D/\mathrm{d}\ln a \approx \Omega_m(a)^{0.55} sets peculiar velocities; today f0≈0.53f_0\approx 0.53, and it is a direct probe of gravity via fσ8f\sigma_8.
  • Key idea: In the linear regime every density mode evolves as δk(a)∝D(a)\delta_k(a)\propto D(a) — one scale-independent growth factor — because on super-Jeans scales gravity has no intrinsic length scale, so the power spectrum's shape is frozen and only its amplitude grows.
The core insight

In the linear regime every density mode evolves as δk(a)∝D(a)\delta_k(a) \propto D(a) — a single, scale-independent growth factor — because on super-Jeans scales gravity has no intrinsic length scale, so the shape of the power spectrum is frozen and only its amplitude grows.

Where this lives today

Linear growth is not a historical relic — it is the working engine of precision cosmology's central tension. The amplitude of the linear power spectrum is summarized by σ8\sigma_8, and the growth factor is what evolves it from the CMB epoch to now. Planck, measuring fluctuations at z≈1100z\approx1100 and evolving them forward with Λ\LambdaCDM, predicts S8≡σ8Ωm/0.3≈0.83S_8\equiv\sigma_8\sqrt{\Omega_m/0.3}\approx0.83; weak-lensing surveys (KiDS, DES, HSC) that measure the low-redshift field directly find S8≈0.76S_8\approx0.76–0.780.78. This few-percent "S8S_8 tension" is a discrepancy in how much structure grew, and if it survives it points at physics — massive neutrinos, dark-energy dynamics, or modified gravity — that alters D(a)D(a). On the velocity side, redshift-space distortions in BOSS, eBOSS, and DESI measure fσ8(z)f\sigma_8(z) through the Kaiser anisotropy of clustering, testing the GR prediction γ≈0.55\gamma\approx0.55 across cosmic time; Euclid and Rubin/LSST will pin γ\gamma to the percent level. And every cosmological N-body simulation begins by displacing particles off a grid with the Zel'dovich approximation, where displacements scale as D(a)D(a) and velocities as D˙=fHD\dot D = fHD — so an accurate growth factor is the literal first line of code in modelling the nonlinear cosmic web.

The physical picture

Picture an overdense blob in an expanding, raisin-bread universe. Its excess gravity pulls surrounding matter inward, but the whole loaf is stretching, so the collapse runs uphill against the expansion. In the linearized equations that expansion enters as a velocity-proportional drag, 2Hδ˙2H\dot\delta — mathematically identical to a mass on a spring immersed in molasses, with the Hubble rate HH as the viscosity. Large HH means strong drag and sluggish growth; the self-gravity that would explode exponentially in a static medium is throttled to a power law. The first figure makes the tug-of-war concrete and pins down the matter-era balance that gives D∝aD\propto a.

Figure
Collapse versus the expanding background — self-gravity 4πGρ̄δ pulls inward while Hubble drag 2Hδ̇ resists, so the Jeans runaway is throttled to power-law growth. In the matter era 4πGρ̄ = 3⁄2 H², which fixes the growing mode at D ∝ a
Collapse versus expansion: gravity pulls in, Hubble drag holds back overdensity δ positive self-gravity 4πGρ̄δ (collapse) expanding background → Hubble drag 2Hδ̇ δ̈ + 2Hδ̇ − 4πGρ̄δ = 0 drag drive Matter era 4πGρ̄ = 3⁄2 H² ⟹ growing mode D(a) ∝ a

The growth factor is scale-independent for cold matter because Newtonian self-gravity carries no built-in length. A region twice as large collapses by the same fractional amount as a small one — gravitational and inertial forces scale the same way with size — so there is no preferred wavenumber and every super-Jeans mode grows by the identical factor D(a)D(a). A length scale can only enter through pressure (a sound speed, hence a Jeans length) or a finite horizon, and for cold dark matter above the Jeans length after equality neither is at work. During radiation domination the story flips: the breakneck expansion is powered by photons that do not cluster, so matter feels a drag it cannot itself source, and the growing mode nearly freezes — the Mészáros effect — which is why structure formation waits for matter–radiation equality to switch on. Late-time dark energy does gravity's opposite, piling on drag with no collapsing source, so D(a)D(a) saturates. The second figure quantifies the late-time story through the growth rate f(a)f(a).

Figure
The growth rate f(a) = Ω_m(a)^0.55 for flat ΛCDM with Ω_m = 0.31. Deep in the matter era f → 1 (D ∝ a, unimpeded growth); as dark energy takes over f falls, reaching f₀ ≈ 0.53 today — the number redshift-space distortions measure as fσ8
The punchline: growth rate f(a) = Ω_m(a)^0.55 falls as dark energy freezes structure 1.0 0.5 0.0 0 0.5 1.0 scale factor a (a = 1 today) growth rate f = dlnD/dlna matter-era asymptote f → 1 (D ∝ a) today: f₀ ≈ 0.53 Ω_m = 0.31 a = 0.5: f ≈ 0.87

The core equations

Linear theory expands the cosmic-fluid equations to first order in δ\delta and the peculiar velocity v\mathbf v; eliminating v\mathbf v and the peculiar potential Φ\Phi collapses the three conservation laws into one second-order equation per Fourier mode. The full mode equation keeps a pressure term, and everything specific to linear growth follows from switching that term off.

δ¨k+2Hδ˙k+(cs2k2a2−4πGρˉm)δk=0(1)\ddot{\delta}_k + 2H\dot{\delta}_k + \left(\frac{c_s^2 k^2}{a^2} - 4\pi G \bar\rho_m\right)\delta_k = 0 \qquad (1)

where: δk\delta_k — Fourier amplitude at comoving wavenumber kk; H=a˙/aH=\dot a/a — Hubble rate; csc_s — sound speed; cs2k2/a2c_s^2 k^2/a^2 — pressure restoring term; 4πGρˉm4\pi G\bar\rho_m — gravitational drive; ρˉm\bar\rho_m — mean matter density. The bracket is a competition: pressure resists collapse on small scales, gravity drives it on large ones, balancing at the Jeans wavenumber kJk_J. For cold dark matter on scales far above the Jeans length (k≪kJk\ll k_J) the sound speed is negligible and the pressure term drops out entirely. What remains has no explicit kk, which is the whole origin of scale-independent growth.

δ¨+2Hδ˙−4πGρˉm δ=0(2)\ddot{\delta} + 2H\dot{\delta} - 4\pi G \bar\rho_m \, \delta = 0 \qquad (2)

where: δ\delta — density contrast of a super-Jeans cold-matter mode; the two independent solutions are a growing mode D+(a)D_+(a) and a decaying mode D−(a)D_-(a). With no length scale, all such modes share the time dependence δ∝D(a)\delta\propto D(a). The driving term comes from the perturbed Poisson equation, written in comoving coordinates so only the perturbation, not the smooth background, appears on the right.

∇2Φ=4πGa2ρˉm δ(3)\nabla^2 \Phi = 4\pi G a^2 \bar\rho_m \, \delta \qquad (3)

where: Φ\Phi — peculiar gravitational potential; aa — scale factor; the factor a2a^2 comes from converting the physical Laplacian ∇r=a−1∇x\nabla_r=a^{-1}\nabla_x to comoving coordinates. Subtracting the background leaves the overdensity δρ=ρˉmδ\delta\rho=\bar\rho_m\delta as the sole source. Given the two solutions of equation (2), the growing mode has a closed form as a quadrature over the expansion history — the most useful formula for any Λ\LambdaCDM background, since it needs only H(a)H(a).

D+(a)=5ΩmH022 H(a)∫0ada′[a′H(a′)]3(4)D_+(a) = \frac{5\Omega_m H_0^2}{2}\, H(a)\int_0^a \frac{\mathrm{d}a'}{[a' H(a')]^3} \qquad (4)

where: D+D_+ — growing-mode growth factor; Ωm\Omega_m — present matter density parameter; H0H_0 — Hubble constant; H(a)H(a) — Hubble rate versus scale factor. The prefactor 52ΩmH02\tfrac52\Omega_m H_0^2 is chosen so D+→aD_+\to a deep in matter domination, fixing the normalization. The logarithmic derivative of DD is the growth rate ff, which sets peculiar-velocity amplitudes and is what surveys measure. In general relativity it is captured to sub-percent accuracy by a single power law in the matter density parameter.

f(a)≡dln⁡Ddln⁡a≈Ωm(a)γ,γ≈0.55(5)f(a) \equiv \frac{\mathrm{d}\ln D}{\mathrm{d}\ln a} \approx \Omega_m(a)^{\gamma}, \qquad \gamma \approx 0.55 \qquad (5)

where: ff — growth rate; Ωm(a)=Ωma−3/[H(a)/H0]2\Omega_m(a)=\Omega_m a^{-3}/[H(a)/H_0]^2 — matter fraction at scale factor aa; γ\gamma — growth index, ≈0.55\approx0.55 in GR. A measured γ≠0.55\gamma\ne0.55 would flag modified gravity or dynamical dark energy. Finally, because equation (2) has no explicit spatial dependence, the field separates into a fixed spatial pattern times a growing amplitude — which is why the linear power spectrum simply scales as D2D^2.

δ(x,a)=D(a)D(ai) δ(x,ai),P(k,a)=[D(a)D(ai)]2P(k,ai)(6)\delta(\mathbf{x}, a) = \frac{D(a)}{D(a_i)}\,\delta(\mathbf{x}, a_i), \qquad P(k,a) = \left[\frac{D(a)}{D(a_i)}\right]^2 P(k,a_i) \qquad (6)

where: aia_i — any initial epoch in the linear regime; P(k,a)P(k,a) — matter power spectrum. The spatial map is frozen; only its contrast deepens, uniformly across all scales.

Derivation AFrom the fluid equations to the growth equation

The goal is to reduce the three coupled first-order laws of the cosmic fluid — continuity, Euler, and Poisson — to the single second-order equation (1) for one Fourier mode, tracking exactly where the Hubble-drag term 2Hδ˙2H\dot\delta is born. We linearize by dropping every term quadratic in the small quantities δ\delta and v\mathbf v, take a divergence to expose ∇2Φ\nabla^2\Phi and ∇2δ\nabla^2\delta, substitute Poisson to trade the potential for the density, and Fourier transform to turn the Laplacian into −k2-k^2. The payoff is that the drag is not put in by hand — it falls out of differentiating the comoving continuity equation.

Step 1. Linearize continuity. The comoving continuity equation ∂tδ+a−1∇⋅[(1+δ)v]=0\partial_t\delta + a^{-1}\nabla\cdot[(1+\delta)\mathbf v]=0, keeping only first order, becomes δ˙=−a−1∇⋅v\dot\delta = -a^{-1}\nabla\cdot\mathbf v. Why: to first order the flux (1+δ)v→v(1+\delta)\mathbf v \to \mathbf v, so the growth of an overdensity is simply the convergence of the peculiar velocity field.

Step 2. Linearize Euler and take its divergence. Dropping the advective (v⋅∇)v(\mathbf v\cdot\nabla)\mathbf v term, the peculiar Euler equation is v˙+Hv=−a−1∇Φ−(cs2/a)∇δ\dot{\mathbf v} + H\mathbf v = -a^{-1}\nabla\Phi - (c_s^2/a)\nabla\delta; taking ∇⋅\nabla\cdot gives ∂t(∇⋅v)+H ∇⋅v=−a−1∇2Φ−(cs2/a)∇2δ\partial_t(\nabla\cdot\mathbf v) + H\,\nabla\cdot\mathbf v = -a^{-1}\nabla^2\Phi - (c_s^2/a)\nabla^2\delta. Why: only the divergence of v\mathbf v couples to δ\delta, so the curl (vorticity) sector decouples and decays as a−1a^{-1}, leaving a closed scalar system.

Step 3. Eliminate the velocity. From Step 1, ∇⋅v=−aδ˙\nabla\cdot\mathbf v = -a\dot\delta; differentiating gives ∂t(∇⋅v)=−a˙δ˙−aδ¨\partial_t(\nabla\cdot\mathbf v) = -\dot a\dot\delta - a\ddot\delta. Substituting both into Step 2 and dividing by −a-a yields δ¨+2Hδ˙=4πGρˉmδ+(cs2/a2)∇2δ\ddot\delta + 2H\dot\delta = 4\pi G\bar\rho_m\delta + (c_s^2/a^2)\nabla^2\delta, once Poisson (3) replaces ∇2Φ\nabla^2\Phi. Why: the 2Hδ˙2H\dot\delta term is the sum of the H ∇⋅vH\,\nabla\cdot\mathbf v friction in Euler and the a˙δ˙\dot a\dot\delta piece from differentiating aδ˙a\dot\delta — the expansion enters twice.

Step 4. Fourier transform. Replacing ∇2→−k2\nabla^2\to -k^2 turns the last term into −cs2k2δ/a2-c_s^2k^2\delta/a^2 and delivers equation (1); setting cs→0c_s\to0 (cold matter above the Jeans scale) leaves the pressure-free growth equation (2). Why: in Fourier space each mode is independent, and the absence of any kk in the cold-matter limit is precisely what makes D(a)D(a) universal.

Go deeper · Derivation B · 1 minGrowing and decaying modes in an Einstein-de Sitter universe
Derivation BGrowing and decaying modes in an Einstein-de Sitter universe

The goal is to solve the pressure-free growth equation exactly in a flat, matter-only (Einstein–de Sitter) universe and read off both independent modes, establishing the benchmark D+∝aD_+\propto a that normalizes everything else. In EdS the background is analytic: a∝t2/3a\propto t^{2/3}, so H=2/(3t)H = 2/(3t) and the Friedmann relation gives 4πGρˉm=32H2=2/(3t2)4\pi G\bar\rho_m=\tfrac32 H^2 = 2/(3t^2) — turning equation (2) into a scale-free (equidimensional) equation whose power-law solutions come from an indicial equation.

Step 1. Insert the background. Substituting 2H=4/(3t)2H=4/(3t) and 4πGρˉm=2/(3t2)4\pi G\bar\rho_m = 2/(3t^2) into equation (2) gives δ¨+43tδ˙−23t2δ=0\ddot\delta + \frac{4}{3t}\dot\delta - \frac{2}{3t^2}\delta = 0. Why: expressing the coefficients in tt makes the equation equidimensional (scale-free), which guarantees power-law solutions.

Step 2. Try δ∝tn\delta\propto t^n. The ansatz reduces the ODE to the indicial equation n(n−1)+43n−23=0n(n-1) + \tfrac43 n - \tfrac23 = 0, i.e. 3n2+n−2=03n^2 + n - 2 = 0. Why: each derivative of tnt^n makes every term proportional to tn−2t^{n-2}, so the time dependence cancels.

Step 3. Solve for the exponents. The roots are n=23n = \tfrac23 and n=−1n = -1, so δ(t)=C+ t2/3+C− t−1\delta(t) = C_+\,t^{2/3} + C_-\,t^{-1}. Why: the two roots are the two independent solutions demanded by a second-order ODE — one growing, one decaying.

Step 4. Convert to the scale factor. Since a∝t2/3a\propto t^{2/3}, we have t2/3∝at^{2/3}\propto a and t−1∝a−3/2t^{-1}\propto a^{-3/2}, so D+∝aD_+\propto a and D−∝a−3/2D_-\propto a^{-3/2}. Why: the decaying mode falls by a factor of order a−3/2a^{-3/2} per e-fold and is utterly negligible by recombination, which is why observed structure is described by the growing mode alone.

Go deeper · Derivation C · 1 minThe growth factor as an integral over expansion history
Derivation CThe growth factor as an integral over expansion history

The goal is to derive the closed-form quadrature (4), valid for any homogeneous expansion history H(a)H(a) — including full Λ\LambdaCDM — without solving the ODE numerically. The trick is that we already know one exact solution: the Hubble rate H(a)H(a) itself satisfies the homogeneous growth equation, a hidden consequence of the background Friedmann and acceleration equations. With one solution in hand, reduction of order (the Wronskian construction) delivers the second, and changing the variable from time to scale factor puts it in standard integral form.

Step 1. Recognize the decaying mode. Differentiating the Friedmann equation and using the acceleration equation shows that δ=H(a)\delta = H(a) solves δ¨+2Hδ˙−4πGρˉmδ=0\ddot\delta + 2H\dot\delta - 4\pi G\bar\rho_m\delta = 0 exactly; since HH decreases with time, this is the decaying mode D−∝H(a)D_-\propto H(a). Why: the growth equation and the background equations share the same source 4πGρˉm4\pi G\bar\rho_m, so the expansion rate carries its own imprint of that source and self-consistently solves the perturbation equation.

Step 2. Reduction of order. For a friction-form ODE δ¨+2Hδ˙−Sδ=0\ddot\delta + 2H\dot\delta - S\delta=0 the Wronskian W=D−D˙+−D˙−D+W = D_-\dot D_+ - \dot D_- D_+ obeys W˙=−2HW\dot W = -2HW, so W∝a−2W\propto a^{-2}. Writing D+=D− ⁣∫(W/D−2) dtD_+ = D_-\!\int (W/D_-^2)\,\mathrm{d}t gives D+∝H(a) ⁣∫dt/[a H(a)]2D_+ \propto H(a)\!\int \mathrm{d}t/[a\,H(a)]^2. Why: knowing one solution collapses a second-order problem to a first-order quadrature — the Wronskian encodes everything the second solution must do to stay independent of the first.

Step 3. Change the integration variable. Using dt=da/(aH)\mathrm{d}t = \mathrm{d}a/(aH) converts the time integral into D+∝H(a)∫0ada′/[a′H(a′)]3D_+ \propto H(a)\int_0^a \mathrm{d}a'/[a'H(a')]^3, the lower limit at a′=0a'=0 chosen so the growing mode dominates early. Why: expressing everything in aa makes the formula directly evaluable from H(a)=H0Ωma−3+ΩΛH(a) = H_0\sqrt{\Omega_m a^{-3}+\Omega_\Lambda}.

Step 4. Fix the normalization. Deep in matter domination H2→ΩmH02a−3H^2\to \Omega_m H_0^2 a^{-3}, and evaluating the integral there reproduces D+→aD_+\to a provided the prefactor is 52ΩmH02\tfrac52\Omega_m H_0^2, giving equation (4). Why: this makes D+/a→1D_+/a\to1 at high redshift, so any late-time shortfall below unity is a clean measure of dark-energy suppression.

Limiting cases

The pressure-free growth equation δ¨+2Hδ˙=4πGρˉmδ\ddot\delta + 2H\dot\delta = 4\pi G\bar\rho_m\delta takes a different character in each cosmological era, according to what dominates the expansion and whether that component clusters.

CaseResultMeaning
Matter domination (EdS)D+∝a,D−∝a−3/2D_+\propto a,\quad D_-\propto a^{-3/2}With 4πGρˉm=32H24\pi G\bar\rho_m=\tfrac32 H^2 and H∝a−3/2H\propto a^{-3/2}, the growing mode is exactly linear in aa; the decaying mode dies within a few e-folds.
Radiation domination (sub-horizon CDM)δ∝ln⁡a\delta\propto \ln a (Mészáros effect)The fast radiation-driven expansion is not sourced by matter, so drag overwhelms self-gravity and growth is only logarithmic — nearly frozen until equality.
Dark-energy / Λ\Lambda dominationD+→D_+\to const,   f→0\;f\to0Accelerated expansion adds drag with no collapsing source; growth freezes and the growth rate falls toward zero.
General flat Λ\LambdaCDMf≃Ωm(a)0.55f\simeq\Omega_m(a)^{0.55}Accurate fitting form (growth index γ≈0.55\gamma\approx0.55 in GR); today Ωm≈0.31\Omega_m\approx0.31 gives f0≈0.53f_0\approx0.53 and D0/a≈0.78D_0/a\approx0.78.

Worked examples

1 · Late-time growth suppression and the growth rate today (fully worked)

For a flat Λ\LambdaCDM universe with Ωm=0.31\Omega_m=0.31, ΩΛ=0.69\Omega_\Lambda=0.69, compute the present growth rate f0f_0 and the present growing-mode amplitude D0D_0 relative to the Einstein–de Sitter extrapolation D+=aD_+=a. Interpret both numbers physically.

Step 1. Growth rate from the fitting form. Equation (5) at a=1a=1 gives f0=Ωm(1)0.55=0.310.55f_0 = \Omega_m(1)^{0.55} = 0.31^{0.55}. Taking logs, ln⁡f0=0.55ln⁡0.31=−0.644\ln f_0 = 0.55\ln 0.31 = -0.644, so f0=e−0.644=0.53f_0 = e^{-0.644} = \mathbf{0.53}. A perfectly matter-dominated universe would have f=1f=1; today's 0.530.53 is depressed because dark energy has begun to freeze growth.

Step 2. Growth suppression from the Carroll–Press–Turner fit. The quadrature (4) at a=1a=1 is captured to ∼1%\sim1\% by g0≡D0/a=52Ωm[Ωm4/7−ΩΛ+(1+12Ωm)(1+170ΩΛ)]−1g_0\equiv D_0/a = \tfrac52\Omega_m\big[\Omega_m^{4/7}-\Omega_\Lambda+(1+\tfrac12\Omega_m)(1+\tfrac{1}{70}\Omega_\Lambda)\big]^{-1}. With Ωm4/7=0.512\Omega_m^{4/7}=0.512, the bracket is 0.512−0.69+(1.155)(1.00986)=0.9880.512 - 0.69 + (1.155)(1.00986) = 0.988, so g0=2.5×0.31/0.988=0.78g_0 = 2.5\times0.31/0.988 = \mathbf{0.78} — the growing mode has reached only 78% of the EdS amplitude, a direct fingerprint of Λ\Lambda.

Step 3. Physical reading. The two numbers describe the same freezing from two angles: D0/a<1D_0/a<1 says the accumulated growth is below the matter-era track, while f0<1f_0<1 says the instantaneous growth is slowing. Because peculiar velocities scale as v∝fHDv\propto fHD, the sub-unity f0f_0 directly lowers the velocity field that redshift-space distortions measure. Answer: f0≈0.53f_0\approx 0.53 and D0/a≈0.78D_0/a\approx0.78 — late-time growth is suppressed roughly 20% by dark energy.

2 · The Mészáros effect: how much a mode grows across radiation domination

A sub-horizon cold-dark-matter mode enters the horizon deep in the radiation era. Using the Mészáros growing solution δm∝(1+32y)\delta_m\propto(1+\tfrac32 y) with y≡a/aeqy\equiv a/a_{\rm eq}, find the factor by which it grows between deep radiation domination (y≪1y\ll1) and equality (y=1y=1), and contrast this with the growth an equal span would produce in the matter era.

Step 1. Evaluate the Mészáros mode at the endpoints. At y→0y\to0 the growing solution is δm∝1\delta_m\propto1; at y=1y=1 it is δm∝(1+32)=52\delta_m\propto(1+\tfrac32)=\tfrac52. The growth factor across the entire radiation era is therefore δm(1)/δm(0)=5/2\delta_m(1)/\delta_m(0) = \mathbf{5/2}. However long radiation dominates, a sub-horizon matter mode grows by at most this fixed factor of 2.5 — nearly frozen.

Step 2. Contrast with matter-era growth. In the matter era δ∝a∝y\delta\propto a\propto y, so a mode spanning the same range of scale factor — say y=10−3y=10^{-3} (early horizon entry) to y=1y=1 — would grow by a factor 10310^3. The Mészáros freezing costs roughly a factor 103/2.5≈40010^3/2.5\approx\mathbf{400} of "missing" growth. This is why small-scale modes that entered the horizon early are strongly suppressed in the transfer function relative to large-scale modes entering after equality.

Step 3. Physical reading. The freeze happens because radiation, not matter, drives the expansion, so the drag 2Hδ˙2H\dot\delta is huge while the source 4πGρˉmδ4\pi G\bar\rho_m\delta is small; matter cannot gather fast enough against a Hubble rate it does not control. Only after equality does δ∝a\delta\propto a resume. Answer: total growth across radiation domination is a fixed factor of 5/2, a few hundred short of unimpeded δ∝a\delta\propto a growth.

Physics of the portrait

The theory of how a nearly smooth universe grew its structure is, more than any other body of cosmological work, the achievement of one person who built it into a calculable discipline over half a century.

Origins · 1 minP. J. E. Peebles and how this was discovered
PJ
P. J. E. Peebles
1935– · Nobel Prize in Physics 2019 · the theory of cosmic structure formation

Phillip James Edwin Peebles, born in Winnipeg in 1935 and based at Princeton for his entire career, is the architect of physical cosmology as a quantitative science — the person who took the growth of structure from qualitative hand-waving to a system of equations one could integrate. Working in the 1960s and 70s, he helped predict the CMB's blackbody spectrum and then turned to the harder question of how its tiny fluctuations become galaxies. His treatment of the linearized perturbation equations in an expanding universe — the continuity–Euler–Poisson system reduced to the growth equation, the growing and decaying modes, and the quadrature D+∝H ⁣∫da/(aH)3D_+\propto H\!\int\mathrm{d}a/(aH)^3 that carries the growth factor through any expansion history — was codified in his 1980 monograph The Large-Scale Structure of the Universe, still the canonical reference, and extended in Principles of Physical Cosmology (1993). He was an early advocate of cold dark matter, and introduced the statistical tools — the two-point correlation function, the power spectrum — that made the theory confront galaxy surveys directly. The 2019 Nobel Prize in Physics recognized this lifetime of "theoretical discoveries in physical cosmology." Characteristically, Peebles has remained publicly skeptical that Λ\LambdaCDM is the final word, insisting the concordance model is a successful description whose deeper explanation may still be missing — a caution worth carrying into every growth calculation.

History
1902
— Jeans derives the gravitational instability criterion for a static self-gravitating medium
1946
— Lifshitz formulates the relativistic theory of cosmological perturbations
1970
— Zel'dovich introduces the approximation that seeds initial conditions for N-body simulations
1974
— Mészáros shows sub-horizon matter growth freezes during radiation domination
1980
— Peebles' The Large-Scale Structure of the Universe codifies linear growth theory

Going further

Texts. Dodelson, Modern Cosmology, 2nd ed., ch. 7 (growth of structure) · Ryden, Introduction to Cosmology, 2nd ed., ch. 12 · Mo, van den Bosch & White, Galaxy Formation and Evolution, §4 (linear perturbation theory) · Binney & Tremaine, Galactic Dynamics, 2nd ed., §5.2 (Jeans equations in expanding backgrounds) · Carroll & Ostlie, An Introduction to Modern Astrophysics, 2nd ed., ch. 30 · Peebles, The Large-Scale Structure of the Universe (1980). The quadrature (4) is the Heath (1977)–Peebles form; the growth index γ≈0.55\gamma\approx0.55 is the Linder (2005) GR value. Key numerical anchors: the EdS indicial roots are n=2/3,−1n=2/3,-1 (roots of 3n2+n−2=03n^2+n-2=0), giving D+∝aD_+\propto a and D−∝a−3/2D_-\propto a^{-3/2}; the Wronskian scales as W∝a−2W\propto a^{-2}, yielding the integrand (a′H′)−3(a'H')^{-3}; the Mészáros growth factor across equality is 5/25/2; and for Ωm=0.31\Omega_m=0.31 one obtains f0=0.310.55=0.53f_0=0.31^{0.55}=0.53 and the Carroll–Press–Turner suppression D0/a=0.78D_0/a=0.78. All cosmological parameters used throughout (Ωm=0.31\Omega_m=0.31, ΩΛ=0.69\Omega_\Lambda=0.69, zeq≈3400z_{\rm eq}\approx3400, S8≈0.83S_8\approx0.83 vs 0.760.76) are standard concordance values.

Prerequisites. Density Perturbations and the Density Contrast · Jeans Instability and Cosmological Perturbation Regimes · Cold Dark Matter. Leads to. Transfer Function and the Matter Power Spectrum · The Primordial Power Spectrum · Baryon Acoustic Oscillations.

Ask the tutor: Ask me to integrate the growth quadrature for your cosmology, or to show how fσ8(z)f\sigma_8(z) turns a survey into a direct test of gravity.

What exactly is the growth factor D(a), and why is it so useful?

D(a)D(a) is the single function of time by which the amplitude of every linear density mode is multiplied as the universe expands. Its usefulness is the factorization it enables: instead of tracking the full space-and-time evolution of the density field, you compute the frozen spatial pattern once (via the transfer function and primordial spectrum) and then just multiply by D(a)D(a) to move to any epoch. Because DD is scale-independent for cold matter above the Jeans length, one number does the work of an entire field evolution. It is normalized conventionally so D∝aD\propto a deep in the matter era, and it saturates once dark energy dominates. Everything from σ8\sigma_8 scaling to N-body initial conditions runs on it.

Why is there a factor of exactly 2 in the Hubble-drag term 2Hδ̇?

It is the sum of two separate contributions, which is easy to miss. When you take the divergence of the peculiar Euler equation, the explicit friction term HvH\mathbf v contributes one factor of Hδ˙H\dot\delta. Then, when you use continuity to write the velocity divergence as ∇⋅v=−aδ˙\nabla\cdot\mathbf v=-a\dot\delta and differentiate it in time, the product rule pulls down a˙δ˙=aHδ˙\dot a\dot\delta = aH\dot\delta, contributing a second factor of Hδ˙H\dot\delta. Add them and you get 2Hδ˙2H\dot\delta. So the expansion enters the drag both dynamically (through the Euler friction) and kinematically (through differentiating a comoving quantity), and the two happen to be equal — hence the exact coefficient 2, not 1 or 3.

If growth is scale-independent, where does the shape of the power spectrum come from?

From physics that operates before the scale-independent era, all bundled into the transfer function T(k)T(k). Different modes enter the horizon at different times: modes that enter during radiation domination suffer the Mészáros freezing and are suppressed relative to modes that enter after equality. This bends the primordial power-law spectrum into the characteristic turnover near the equality scale. Once that shaping is done and matter dominates everywhere, D(a)D(a) takes over and evolves the already-shaped spectrum uniformly. So the labor divides cleanly: T(k)T(k) sets the shape, D(a)D(a) sets the amplitude, and the primordial spectrum sets the input — P(k,a)=D2(a) T2(k) Pprim(k)P(k,a)=D^2(a)\,T^2(k)\,P_{\rm prim}(k).

What is the difference between the growth factor D and the growth rate f?

D(a)D(a) is an amplitude; f(a)f(a) is its logarithmic rate of change, f=dln⁡D/dln⁡af=\mathrm{d}\ln D/\mathrm{d}\ln a. Loosely, DD tells you how much structure has accumulated, while ff tells you how fast it is currently growing. They probe different things: DD enters clustering amplitudes and lensing through σ8∝D\sigma_8\propto D, while ff enters peculiar velocities because the velocity divergence is θ=−fδ\theta=-f\delta. That is why redshift-space distortion surveys report the product fσ8f\sigma_8 — it combines rate with amplitude, is measurable without knowing the galaxy bias, and is one of the cleanest tests of gravity available.

Why does structure growth "wait" for matter-radiation equality?

Because during radiation domination the expansion is powered by photons and neutrinos, which do not clump. A cold-matter overdensity still tries to collapse, but the Hubble drag it feels is set by the enormous radiation energy density, not by the feeble matter it is trying to gather. The result is that the driving term 4πGρˉmδ4\pi G\bar\rho_m\delta is dwarfed by the drag 2Hδ˙2H\dot\delta, and the growing mode creeps up only logarithmically — the Mészáros effect, capped at a total factor of about 2.5 across the whole radiation era. Only when matter comes to dominate the energy density, at equality (zeq≈3400z_{\rm eq}\approx3400), does the matter that clusters also control the expansion, and δ∝a\delta\propto a growth switches on in earnest.

How does linear growth connect to the S8 tension?

S8≡σ8Ωm/0.3S_8\equiv\sigma_8\sqrt{\Omega_m/0.3} is a compact measure of how much structure has grown, and D(a)D(a) is what evolves it. Planck measures the fluctuation amplitude at z≈1100z\approx1100 and uses Λ\LambdaCDM's D(a)D(a) to predict the late-time value, S8≈0.83S_8\approx0.83; weak-lensing surveys measure the late-time field directly and find a lower S8≈0.76S_8\approx0.76–0.780.78. In other words, the observed universe appears to have grown slightly less structure than the CMB-plus-Λ\LambdaCDM extrapolation predicts. If the tension is real rather than a systematic, it means D(a)D(a) was suppressed below the standard prediction at low redshift — a hint of massive neutrinos, evolving dark energy, or modified gravity. The tension is, at bottom, a disagreement about the value of one growth integral.

Before this

Where this leads