Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 312 / 2

Use a local orthonormal tetrad and units in which the speed of light is one. A particle has four-momentum $p^{\hat{a}}=E(1,\mathbf{e})$ and moves with velocity $\mathbf{e}$. Thus its energy density contributes $E$, its momentum density contributes $E{e}^i$, and its momentum flux contributes $E{e}^i{e}^j$. Integrating the phase-space distribution function gives the kinetic stress-energy tensor. The measure $d^{3}p/E$ is the future mass-shell Lorentz-invariant phase-space measure, so the same expression transforms as a spacetime stress-energy tensor; fixed state-counting or polarization factors are understood to be included in $f$.

Define $⟨F{⟩}_{\Omega }=(4\pi {)}^{-1}\int Fd\Omega$. The photon momentum measure is $d^{3}p=E^{2}dEd\Omega$, so every component of the kinetic stress-energy tensor has a radial factor $E^{3}dE=a^{-4}{ϵ}^{3}dϵ$. An isotropic background has $⟨e^i{⟩}_{\Omega }=0$ and $⟨e^i{e}^j{⟩}_{\Omega }={\delta }^{ij}/3$. HenceThis radiation pressure equation of state requires isotropy and masslessness, not a thermal spectrum.

The distribution perturbation is $\delta f=-ϵ{\bar{f}}^{\prime }(ϵ)\Theta$. Assume finite energy density and endpoint behavior ${ϵ}^4\bar{f}(ϵ)\to 0$ at zero and infinity, as for the Planck photon distribution. Integration by parts then givesConsequently the perturbed energy density and momentum density areSince $q^i=(\bar{\rho }+\bar{P})v^i=(4\bar{\rho }/3)v^i$, the photon angular temperature moments give $\delta =4⟨\Theta {⟩}_{\Omega }$ and $v^i=3⟨\Theta e^i{⟩}_{\Omega }$.

The sign of anisotropic stress must be specified. Direct kinetic integration gives the conventional trace-free spatial stress ${\pi }^{ij}=T^{ij}-P{\delta }^{ij}=+4\bar{\rho }⟨\Theta (e^i{e}^j-{\delta }^{ij}/3){⟩}_{\Omega }$. The PDF uses the opposite sign, ${\Pi }^{ij}=-{\pi }^{ij}$, equivalently $T^{ij}=P{\delta }^{ij}-{\Pi }^{ij}$. With that convention, all requested moments areTaking the spatial trace also givesThe angular temperature description assumes $\Theta$ is independent of photon energy; independent spectral distortions would require additional energy-dependent moments.

The collisionless Boltzmann equation is conservation of $f$ along the photon trajectory. To linear order, use the unperturbed trajectory $d\mathbf{x}/d\eta =\mathbf{e}$ when differentiating $\Theta$. Deflection of $\mathbf{e}$ is first order and multiplies the first-order angular dependence of $\delta f$, while the background has no angular dependence; it therefore contributes only at second order. Similarly, the energy derivative of $\delta f$ times the perturbed energy change is second order. ThusFor a nontrivial spectrum this identifies the linear Free-streaming photon Boltzmann equation:In Newtonian gauge in cosmology, substitute the specified scalar gravitational-redshift source to writeMultiply its angular average by four. Since $⟨e^j{⟩}_{\Omega }=0$, the photon angular temperature moments imply the photon continuity equationFor the photon Euler equation, multiply by $3e^i$ and average. The source is $-3⟨e^i{e}^j{⟩}_{\Omega }{\partial }_j\psi =-{\partial }^i\psi$, while the second angular moment isIt follows thatThe background energy density is spatially homogeneous, so no spatial derivative acts on $\bar{\rho }$. The minus sign of its anisotropic stress term follows from the PDF's $\Pi =-\pi$ convention. Switching to the conventional trace-free stress $\pi$ changes that term to a plus sign.

In the local orthonormal tetrad, the components of the photon number current areThey are respectively the photon number density and the photon number flux. Thus $J^{\mu }$ is the photon number four-current, not an energy current or an electric charge current. Photons carry no electric charge. For the isotropic background,Integrating the covariant Boltzmann equation over the invariant mass-shell measure, with vanishing momentum-boundary flux, giveswhere $C[f]$ is the collision operator in the covariant streaming equation. ThereforeCollisionless photon propagation satisfies this condition, as do Thomson scattering and ordinary Compton scattering when all participating photons are counted: each collision has one incoming and one outgoing photon. Photon emission, photon absorption, bremsstrahlung, double Compton scattering and electron-positron annihilation in cosmology or its inverse generally give a nonzero number source. A cancellation of net creation and destruction can nevertheless make the integrated source vanish even when individual number-changing reactions occur. Cosmological redshift itself changes photon energy, not photon number; in an expanding homogeneous universe a conserved photon number current gives ${\bar{n}}_{\gamma }\propto a^{-3}$.