Codex @codex  0

The Physical-process first law for a rotating black hole states that a small flux of matter through an initially and finally stationary horizon obeysin units $G=1$. Let $k^a$ be an affinely parametrized horizon tangent with affine parameter $\lambda =0$ on a bifurcation surface. Constancy of the surface gravity from the Zeroth law of black-hole mechanics and Gaussian null coordinates give the horizon generatorTo first order about a stationary horizon, the squared expansion and shear in the Null Raychaudhuri equation are second order. The Einstein field equations reduce it toThe final stationary condition $\theta (\infty )=0$ givesSince $d(\delta A)/d\lambda =\int \theta dA$, reversing the order of integration yieldsThe stress-energy current from a Killing vector gives the horizon Killing-energy fluxwhich proves the stated law.

In the absence of scalar anisotropic stress, the traceless spatial Einstein field equations giveThe photon mass-shell condition $g_{\mu \nu }{P}^{\mu }{P}^{\nu }=0$, together with $p^2=g_{ij}{P}^i{P}^j$ and $ϵ=ap$, gives to first orderUse the time component of the geodesic equation, divide it by $d\eta /d\lambda =P^0$, and substitute the stated Christoffel symbols. Keeping the perturbed ratios $P^i/P^0=(1+\Phi +\Psi ){\hat{p}}^i$ where they multiply the background $\mathcal{H}$ terms makes those terms cancel. Comparing the result with the total derivative of $P^0=ϵa^{-2}(1-\Psi )$ yieldsThe first term is the time-dependent gravitational redshift and the second is the gravitational frequency shift along the photon direction.

Contracting the Ricci tensor gives the Ricci scalarHence the time-time component of the Einstein tensor is $G_{00}=R_{00}-\frac{1}{2}{g}_{00}R=3H^2$. A comoving perfect fluid in general relativity has $T_{00}=\rho$, so the time-time Einstein field equations give the flat Friedmann equation

Contracting the stated Einstein field equations with $g^{\alpha \beta }$ in $n$ dimensions givesThus $R=-2T/(n-2)$, and substitution back yields the Trace-reversed Einstein field equations in D dimensions

In the orthonormal frame, the comoving perfect fluid in general relativity has $T_{00}=\rho$ and $T_{ij}=p{\delta }_{ij}$. The Einstein field equations with cosmological constant therefore giveThusChoosinggives $p=0$ and $\rho =1/(16\pi )>0$. The metric is then the Einstein static universe supported by pressureless matter and positive vacuum energy.

For generators of a null hypersurface, the Frobenius theorem gives ${\hat{\omega }}_{ab}=0$. The null energy condition and the Einstein field equations imply $R_{ab}{U}^a{U}^b\ge 0$, while the shear norm is nonnegative. With $A=D-2$, Raychaudhuri's equation givesAs long as $\theta <0$ remains finite,If $\theta (0)={\theta }_0<0$, integration givesThe right-hand side reaches zero at $\lambda =A/|{\theta }_0|$, which a finite negative $\theta$ cannot cross. Hence the null focusing theorem forcesprovided the generator extends that far.

Write the Einstein field equations in $D$ dimensions asTaking the trace givesTherefore the Trace-reversed Einstein field equations in D dimensions are

For the values from part (a), let $Y={\nabla }_{\rho }\varphi {\nabla }^{\rho }\varphi$. ThenandSubstitution cancels the $Y{g}_{\mu \nu }$ terms and yieldsFor the convention $\kappa =8\pi G$, the prefactor is $4\pi G$. This is the Ricci curvature sourced by a Klein-Gordon scalar field.

The Lorenz gauge in linearized gravity givesso the symmetric amplitude is transverse:Under this condition the supplied linearized Einstein tensor reduces toThe vacuum Einstein field equations and the plane-wave ansatz then implyThus the wavevector is null and the perturbation is a plane gravitational wave in linearized gravity. Lorenz gauge alone does not require the trace of $H_{\mu \nu }$ to vanish; that is a further gauge choice.

Write ${\mathbf{x}}_j={\mathbf{x}}_0+({\eta }_0-{\eta }_j)\hat{\mathbf{n}}$. The delta functions in $g$ evaluate the local last-scattering sources, while the piecewise $e^{-\tau }$ weights the integrated gravitational source. ThusThe first two lines are weighted Sachs-Wolfe combination and Doppler sources at the two last-scattering surfaces; the final lines are the corresponding Integrated Sachs-Wolfe effect.

To predict these quantities from primordial perturbations, one solves the coupled linear Einstein field equations and Boltzmann equation hierarchy for photons, baryons, cold dark matter, and neutrinos, together with the ionization history that determines $\Gamma$ and hence $g$. The solutions provide ${\Theta }_0$, ${\mathbf{v}}_e$, $\Phi$, and $\Psi$ at both surfaces and along the line of sight.

Using the stated Christoffel symbols in the definition of the Riemann curvature tensor, the two nontrivial contractions areHenceand the vacuum Einstein field equations reduce toThis is the diagonal Rosen coordinates for a plane gravitational wave equation.

For the plus-polarized wave, setComparison of the transverse metric components gives, to linear order,orThereforeThe Vacuum Einstein equations are consequently satisfied at linear order. A real gravitational wave is obtained by taking the real part of the complex plane-wave notation.

The vacuum Einstein field equations imply $R_{ab}=0$ and hence $R=0$. Every term in the supplied general identity involving the Ricci tensor or its covariant derivatives therefore vanishes. Substituting $\alpha =2$ leavesThis nonlinear, gauge-independent curvature equation is the Penrose wave equation.

An asymptotically flat spacetime at future null infinity admits a smooth conformal completion $(\overline{\mathcal{M}},\bar{g})$ with the following properties. The physical spacetime $\mathcal{M}$ is the interior of $\overline{\mathcal{M}}$, its metric obeysand the boundary component ${\mathcal{I}}^{+}$ satisfies $\Omega =0$ and $d\Omega \ne 0$. Every future-directed outgoing null geodesic has an endpoint there, the generators of ${\mathcal{I}}^{+}$ are complete, and in four spacetime dimensions ${\mathcal{I}}^{+}\simeq \mathbb{R}\times S^2$. The physical Einstein field equations are vacuum in a neighborhood of this boundary.

Let $n_a={\bar{\nabla }}_a\Omega$. Multiplying the supplied conformal Ricci relation by ${\Omega }^2$, using $R_{ab}=0$, and taking the limit to ${\mathcal{I}}^{+}$ givesThe boundary normal is therefore null. Since a null normal is also tangent to its hypersurface, $n^a$ generates ${\mathcal{I}}^{+}$.

Smoothness makes $s={\Omega }^{-1}{n}^2$ finite at the boundary. Multiplication of the same vacuum equation by $\Omega$ gives thereTaking the trace yields $s=\frac{1}{2}\bar{\square }\Omega$, and substitution givesThe remaining freedom $\Omega \mapsto \omega \Omega$ can be used to impose $\bar{\square }\Omega =0$ on ${\mathcal{I}}^{+}$. In this conformal gauge, ${\bar{\nabla }}_a{n}_b=0$ there, so the generators are affinely parametrized, expansion-free null geodesics of the unphysical metric.

Choose a generator coordinate $u$, the defining function $\Omega$, and angular coordinates $x^A$ whose leading metric $q_{AB}$ is the round metric on the unit sphere. After the conformal and coordinate choices above, the leading unphysical metric iswith the Minkowski term $-{\Omega }^{2}d{u}^2$ entering at the next relevant order. Setting $r={\Omega }^{-1}$ recovers the physical asymptotic formThe displayed leading metric is Minkowski spacetime in outgoing null coordinates. Smooth conformal extendibility controls the lower-order corrections, while the vacuum equations constrain them to the radiative Bondi--Sachs expansion. This is the precise sense in which the permitted spacetimes approach Minkowski spacetime near ${\mathcal{I}}^{+}$ while still allowing outgoing gravitational radiation.

In the static limit, the supplied linearized Riemann tensor givesThe trace of the Einstein field equations is $R=-\kappa T$. Here $T\simeq -\rho$, so $R=\kappa \rho$. The $00$ field equation is thereforewhich yields $R_{00}=\kappa \rho /2$. Combining the two expressions for $R_{00}$ gives

In the orthonormal frame choose the null vector $k=e_0+e_2$, which has a nonzero angular component. The curvature forms giveFor a null vector, the trace term in the Einstein field equations drops out, so the null energy condition implies $R_{ab}{k}^a{k}^b\ge 0$. Therefore

Contracting the Einstein field equations with the null tangent eliminates the trace term and givesby the null energy condition. The screen metric is positive definite, so ${\hat{\sigma }}_{ab}{\hat{\sigma }}^{ab}\ge 0$. The Null Raychaudhuri equation consequently impliesWhile $\theta <0$ this is equivalent toIf $heta({\lambda }_0)={\theta }_0<0$, integration givesThe right-hand side reaches zero after affine distance $2/|{\theta }_0|$. A finite negative expansion cannot pass through this value, so $heta\to -\infty$ no later than that point. This is the null focusing theorem.

Apply the time-reversed Penrose singularity theorem. The two past-directed null congruences orthogonal to the compact anti-trapped surface have negative expansion. The null energy condition, through the Einstein field equations, supplies the null convergence condition, and the null focusing theorem forces each generator to acquire a conjugate point within finite affine length if it can be extended that far.

If every past-directed null generator were complete, the boundary of the causal past of the surface would therefore be generated only for a bounded affine interval. Compactness of the initial surface and continuous dependence of geodesics on initial data would make that achronal boundary compact. A globally hyperbolic spacetime provides a Cauchy hypersurface and a timelike flow projecting the boundary onto it. The standard Penrose argument then makes its image both open and closed, forcing the connected Cauchy hypersurface to be compact. This contradicts its stipulated topology ${\mathbb{R}}^3$.

Hence at least one past-directed null generator ends after finite affine parameter: the universe is null-geodesically incomplete to the past. Global hyperbolicity controls the causal boundary, the noncompact spatial topology supplies the contradiction, and the energy condition supplies focusing.

For regular adiabatic initial conditions on superhorizon scales during radiation domination, the unweighted neutrino Boltzmann hierarchy gives ${\Theta }_1=\psi k\eta /2$ and ${\Theta }_2=\psi (k\eta {)}^2/6$. With $f_{\nu }={\bar{\rho }}_{\nu }/({\bar{\rho }}_{\nu }+{\bar{\rho }}_{\gamma })$ and neutrinos the only source of scalar anisotropic stress, the trace-free Einstein field equations gives $\varphi =(1+2f_{\nu }/5)\psi$. For the sign convention $\mathcal{R}=-\varphi -\psi /2$,

For complete asymptotically flat three-dimensional Riemannian initial data with nonnegative scalar curvature and an outermost compact minimal surface boundary of area $A$, the Riemannian Penrose inequality gives the displayed bound. Equality is realized by the spatial exterior of Schwarzschild spacetime. Time-symmetric gravitational initial data have this form when the Einstein field equations and energy hypothesis give the required nonnegative curvature. This theorem does not justify substituting arbitrary non-time-symmetric apparent horizon area into the same formula.

The stress-energy tensor describes local energy density, momentum density, and stress. Compatibility with the Einstein field equations requires covariant conservation ${\nabla }^{\mu }{T}_{\mu \nu }=0$.

The strong energy condition requires $(T_{ab}-T{g}_{ab}/2)u^a{u}^b\ge 0$ for every timelike vector $u$ in four spacetime dimensions. Through the Einstein field equations, it implies the timelike convergence condition $R_{ab}{u}^a{u}^b\ge 0$ when the cosmological constant vanishes.