The quantum harmonic oscillator has , with . Using and the canonical commutation relation gives
For , the Wronskian normalization is
Consequently
Equality requires and . The minimum-energy normalized oscillator mode is therefore
The constant phase is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.
For inflation, introduce the Mukhanov-Sasaki variable . Since depends only on conformal time,
Integrating the cross term by parts gives the canonical bulk action
up to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform are
At leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , so
Strict exact de Sitter spacetime would have and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into .
For , the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency . The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.
A basis of exact solutions to the leading mode equation is and its complex conjugate. Write the normalized Bogoliubov transformation combination as
The Bunch-Davies vacuum boundary condition sets and up to phase. Hence
Substitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation variance
This is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is , which is independent of at this order. Restoring the reduced Planck mass divides both power expressions by . Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.
A scale-invariant primordial potential has . On subhorizon linear scales, the cosmological Poisson equation and the cold-dark-matter transfer function give , where during matter domination. Consequently
Large scales enter only after equality and have . Small scales enter during radiation domination; their approximately logarithmic growth up to equality gives . Therefore
If the slow logarithm is suppressed in a rough sketch, the slopes are and , with a turnover near . The logarithmic correction is real and should not be mistaken for a different primordial spectral index. In the matter-only late-time approximation with , the cosmological redshift means and ; it changes the amplitude, not these asymptotic shapes. Neither the initial normalization nor cosmological parameters needed for an absolute power are supplied.
Figure 1.
Linear cold-dark-matter power at redshift one with the equality turnover and its large- and small-wavenumber asymptotes
.
This is a schematic smooth interpolation with the derived asymptotes, not a precision transfer-function fit. The linear ideal-fluid model excludes baryonic acoustic structure and small-scale nonlinear evolution.
There is also a gauge and horizon qualification. For a mode still outside the Hubble radius at , the printed Newtonian-gauge density has , and its formal dimensional spectrum is instead proportional to . The conventional large-scale branch describes modes that are large relative to the equality scale but already subhorizon at the observation time. Alternatively, the comoving matter density, with , removes that constant gauge term and obeys in the growing matter solution. The usual matter-spectrum sketch can be continued to small in this comoving-density convention. The dimensional spectrum requested here is , rather than the dimensionless cosmological power spectrum , whose slopes would differ by three.