For one Fourier mode, the trace-free differential operator in the Einstein field equations is , with . Part (ii) gives . The two minus signs in the field equation therefore imply
Insert . During radiation domination, , , and the Friedmann equation gives . Thus
These are the radiation-era adiabatic potentials with free-streaming neutrinos; photons are taken to have negligible scalar anisotropic stress.
To normalize the potentials, use . The denominator in the comoving curvature perturbation becomes
With , the conserved curvature therefore obeys . Combining it with the potential ratio gives
As a sign and normalization check, gives . Increasing the free-streaming radiation fraction increases while preserving the supplied curvature convention. The TeX's malformed definition of is restored by the PDF: .