Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 55 / 3

In Newtonian gauge, the coordinate-comoving observer has normalized four-velocity $u^{\mu }=a^{-1}(1-\psi ,0)$, hence $u_0=a(1+\psi )$. In the $(+---)$ convention the measured photon energy is $E=u_{\mu }{p}^{\mu }$. Thus to first order

Use the time component of the geodesic equation and divide by $p^0=d\eta /d\lambda$:Let $\mathcal{H}=a^{\prime }/a$ and take the photon path direction $\mathbf{e}$ at zeroth order. The left side divided by $ϵ/a^2$ is ${ϵ}^{\prime }/ϵ-2\mathcal{H}+2\mathcal{H}\psi -d\psi /d\eta$. The contraction on the right side, using the provided connection coefficients, isThe homogeneous expansion cancels. Therefore the scalar photon energy-redshift law isThe total derivative is $d/d\eta ={\partial }_{\eta }+\mathbf{e}\cdot \nabla$ on the unperturbed ray. Perturbing that path inside a first-order potential would contribute only at second order. The homogeneous $a^{-1}$ energy redshift is already removed by the comoving momentum variable $ϵ$.

Along the zeroth-order photon path, set $Y=\Theta +\psi$ and $\mathcal{S}=(3/4)\int d\hat{\mathbf{m}}\Theta (\hat{\mathbf{m}})[1+(\mathbf{e}\cdot \hat{\mathbf{m}}{)}^2]/(4\pi )$. The scalar photon energy redshift and the Photon Boltzmann equation with Thomson scattering giveThe integrating factor is $e^{-\tau }$, because ${\tau }^{\prime }<0$ in this convention. HenceTight coupling before decoupling makes the incident distribution nearly isotropic in the baryon frame. Neglecting its quadrupole, the angular kernel integrates to $\mathcal{S}={\Theta }_0$, since $(3/4)⟨1+(\mathbf{e}\cdot \hat{\mathbf{m}}{)}^2⟩=1$. The primordial term at the optically thick lower endpoint is erased. With instantaneous last scattering, no later scattering and $g=\delta (\eta -{\eta }_{\ast })$, the line-of-sight solution isThe approximation is linear, uses an unperturbed ray, neglects the scattering quadrupole and polarization feedback, and idealizes the cosmological visibility function as a delta function. It also excludes reionization or any other post-recombination opacity.

The photon monopole ${\Theta }_0$ is the intrinsic emission-temperature perturbation. The emission potential ${\psi }_{\ast }$ gives gravitational redshift on leaving the potential well; together they form the Sachs-Wolfe combination. The baryon peculiar velocity supplies the Doppler CMB anisotropy. The integral is the Integrated Sachs-Wolfe effect, from changes in gravitational potentials during travel. The observer potential is a direction-independent endpoint shift absorbed into the observed monopole. An observer peculiar velocity, if included, contributes an additional kinematic dipole; the stated observer is coordinate-comoving.

For the growing adiabatic mode in an epoch of constant $w$, the superhorizon potential is constant. The Friedmann equation gives $4\pi G{a}^2(\bar{\rho }+\bar{P})=\frac{3}{2}(1+w){\mathcal{H}}^2$, so the given relation impliesThus ${\varphi }_{\mathrm{rad}}=-2\mathcal{R}/3$ and ${\varphi }_{\mathrm{mat}}=-3\mathcal{R}/5$. Photon continuity, neglecting its gradient term on superhorizon scales, gives $({\Theta }_0-\varphi {)}^{\prime }=0$. The radiation-era initial condition fixes ${\Theta }_0-\varphi =\mathcal{R}$. Through the matter-radiation transition it follows that ${\Theta }_{0\ast }=\mathcal{R}+{\varphi }_{\mathrm{mat}}=2\mathcal{R}/5$. Since $\psi =\varphi$, the matched large-scale emission perturbation isKeeping the radiation value of ${\Theta }_0$ unchanged across the transition would give the wrong coefficient. This is the Sachs-Wolfe radiation-to-matter matching for the paper's sign convention for comoving curvature perturbation.

Neglect the Integrated Sachs-Wolfe effect, the superhorizon-suppressed Doppler term, observer monopole, and any observer kinematic dipole. Put ${\mathbf{x}}_0=0$ by statistical homogeneity, and defineThe plane-wave expansion on ${\mathbf{x}}_{\ast }=-{\chi }_{\ast }\mathbf{e}$ gives angular multipolesStatistical isotropy and orthonormal spherical harmonics then imply $⟨a_{\ell m}{a}_{{\ell }^{\prime }{m}^{\prime }}^{\ast }⟩={\delta }_{\ell {\ell }^{\prime }}{\delta }_{m{m}^{\prime }}{C}_{\ell }$. Radial integration supplies $(4\pi {)}^2(2{\pi }^2)/(2\pi {)}^3=4\pi$, giving the large-angle angular power spectrumThis assumes adiabatic growing modes, matter domination at emission, negligible anisotropic stress, and wavenumbers that are outside the Hubble radius then. It treats recombination as instantaneous, omits late potential evolution and rescattering, and omits lensing at this linear order. The formal primordial contribution is defined for $\ell >0$; the observed dipole has a large additional kinematic contribution, so the clean large-angle primordial comparison is usually $\ell \ge 2$. A scale-invariant spectrum also yields the Sachs-Wolfe plateau $\ell (\ell +1)C_{\ell }=2\pi {\mathcal{P}}_{\mathcal{R}}/25$ for $\ell \ge 1$.