Use and a spatially flat background dominated by the stated perfect fluid, so . In Newtonian gauge, the scalar energy and momentum constraints from the linearized Einstein field equations combine to eliminate the potential's time derivative and give the stated relativistic Poisson constraint. Its source contains the velocity correction to the coordinate density perturbation. On sub-horizon scales that correction is small for the ordinary growing modes, recovering the Poisson equation for Newtonian gravity; near or outside the horizon the gravitational field cannot be sourced by alone. Equality of the two metric potentials also assumes negligible scalar anisotropic stress.
The fluid equations are the linear energy-continuity and momentum-Euler parts of . Here is the relevant dimensionless sound-speed squared in the adopted fluid closure; for a constant- adiabatic barotropic fluid it equals . A fluid with entropy perturbations needs additional pressure information. The equations actually use in Fourier space, the peculiar-velocity divergence. Calling it simply momentum density is imprecise: it is the divergence of the velocity, with momentum weighted by before normalization. In particular must have inverse-conformal-time units for the displayed continuity equation to be dimensionally consistent.
The cosmological continuity equation expresses conservation of dark-matter mass: is the density contrast, is the peculiar velocity, and a prime denotes a conformal time derivative. The cosmological Euler equation expresses momentum conservation: is the conformal Hubble rate, is the peculiar gravitational potential, is the density, and is the velocity-dispersion tensor of collisionless matter. The terms are respectively Hubble drag, convective acceleration, gravity, and velocity-dispersion stress.
For curl-free flow, introduce the peculiar-velocity divergence and set . A Fourier transform of the nonlinear continuity term gives
with the alpha mode-coupling kernel
Taking the divergence of the Euler equation gives the quadratic velocity kernel
This is the beta mode-coupling kernel; its symmetry follows from the two velocity factors.
Write a filled vertex with incoming linear fields for the th-order peculiar-velocity divergence. Gaussian initial conditions require every linear field to be paired. Through sixth order in the linear density there are exactly five connected topologies: the tree diagram and the one-loop triangle , vertex-correction diagram , propagator-correction diagram , and four-leg diagram . These are the five diagrams of the one-loop matter bispectrum.
Taking the divergence of the linear Euler equation and defining the peculiar-velocity divergence gives
The assumption of negligible vorticity ensures that this longitudinal variable captures the velocity perturbation relevant to scalar density growth.