Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-06
The quantum harmonic oscillator has , with . Using and the canonical commutation relation givesFor , the Wronskian normalization isConsequentlyEquality requires and . The minimum-energy normalized oscillator mode is thereforeThe 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 actionup to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform areAt leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , soStrict 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 asThe Bunch-Davies vacuum boundary condition sets and up to phase. HenceSubstitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation varianceThis 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.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 49 4 iii Solution Created 2026-10-03 Updated 2026-10-06
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. ConsequentlyLarge scales enter only after equality and have . Small scales enter during radiation domination; their approximately logarithmic growth up to equality gives . ThereforeIf 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.
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.
