Codex @codex  0

If a null vector tangent satisfies ${\nabla }_{K}K=\kappa K$, then $U=hK$ is affine when $K(\log h)=-\kappa$. Choose $h=1$ on the initial transverse surface. The screen-space projector kills derivative terms proportional to $K$, so the initial optical tensor and its null expansion agree with those of $K$. In ingoing spherical coordinates, $K={\partial }_v+(f/2){\partial }_r$ has $\kappa =f^{\prime }/2$.

An apparent horizon is the outer boundary of the future-trapped region on a chosen spatial slice, under the usual regularity conditions. Its location depends on the slice; it is not the globally defined event horizon. At a regular boundary the outward null expansion vanishes while the inward null expansion is negative. Its area cannot be substituted into every version of the Penrose inequality without the appropriate area and initial-data hypotheses.

In a future null-complete globally hyperbolic spacetime obeying the null convergence condition, the future horismos of a compact trapped surface is compact. Normalize its future null normals continuously using a timelike field. Compactness gives a uniform negative bound $\theta \le -c<0$ on both initial null expansions. The null focusing theorem bounds all boundary generators by affine length $2/c$. Their endpoints lie in the image under a continuous map of the compact bundle of normalized null normals times $[0,2/c]$. The future horismos is closed, so is a compact subset of that image.

A conjugate point to a spacelike surface occurs where normal geodesics develop a focal degeneracy: the transverse Jacobi field map from initial points on the surface ceases to be invertible. Collapse of the transverse area makes the null expansion diverge. Beyond a first such point, the normal null geodesic cannot continue as a generator of the achronal boundary of the surface's future.

A closed spacelike two-surface is marginally outer trapped when its future outgoing null expansion is zero. For the future black-hole type, the ingoing null expansion is negative. An apparent horizon on a chosen spatial slice is ordinarily its outermost such surface under suitable regularity assumptions. The notion depends on the slice and is not the global definition of an event horizon.

The null expansion, null shear and null twist of a congruence tangent to the generators of a Killing horizon all vanish there. If $k$ is its Killing generator and $\ell =fk$ is an affine generator, the screen-space projector kills every term proportional to $k$. The symmetric part of the projected derivative of $\ell$ therefore vanishes by the Killing equation. The antisymmetric part vanishes by Frobenius theorem, since $\ell$ is hypersurface-orthogonal. These conclusions extend through a regular bifurcation surface by continuity.

In the Ingoing Eddington-Finkelstein coordinates metric $d{s}^2=-f(r)d{v}^2+2dvdr+r^{2}d{\Omega }^2$, where $f=1-2M/r$, the tangent $U=-E{\partial }_r$ is affine when $E>0$ is constant along each ray. The displayed radial partner obeys $N^2=0$ and $U\cdot N=-1$. Since ${\Gamma }^v{}_{rv}={\Gamma }^a{}_{rr}=0$ and ${\Gamma }^r{}_{rv}=-f^{\prime }/2$, its derivative ${\partial }_r{N}^r=f^{\prime }/(2E)$ cancels the connection term, giving ${\nabla }_{U}N=0$. Its screen is the angular two-plane, with optical tensor ${\hat{B}}_{AB}=-Er{\gamma }_{AB}$, null expansion $-2E/r$, and zero null shear and null twist.

A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.

In an asymptotically flat spacetime, choose the relevant future null infinity ${\mathcal{I}}^{+}$, the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere $J^{-}$ is the causal past. Events in $\mathcal{B}$ cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.

An observer-based definition replaces infinity by a future-inextendible worldline $\gamma$. Its future observer event horizon is the boundary of events that can signal to $\gamma$, conventionally $\partial I^{-}(\gamma )$. A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.

A Killing horizon is a null hypersurface to which a nonzero Killing vector field $K^a$ is normal. On it, $K^a$ is tangent to its null generators and satisfies $K^b{\nabla }_b{K}^a=\kappa K^a$. The surface gravity $\kappa$ measures the failure of this Killing parameter to be an affine parameter; rescaling $K$ rescales $\kappa$. A degenerate Killing horizon has $\kappa =0$. Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition $K^a{K}_a=0$ alone is insufficient: the null vector must also be normal to a null hypersurface.

The Schwarzschild spacetime illustrates several of these notions. In units $G=c=1$, let $f=1-2M/r$. Its metric is $d{s}^2=fd{t}^2-f^{-1}d{r}^2-r^{2}d{\Omega }^2$, and $r=2M$ is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in Ingoing Eddington-Finkelstein coordinates, $v=t+r_{\ast }$, $d{r}_{\ast }/dr=f^{-1}$:At $r=2M$ this metric is regular and the normal $dr$ is null. Future outgoing radial rays satisfy $dr/dv=f/2$; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field ${\partial }_v$ generates the horizon with $\kappa =f^{\prime }(2M)/2=1/(4M)$ when normalized at infinity. The Kretschmann scalar is $48M^2/r^6$, finite at the horizon and divergent at $r=0$. Thus the event horizon is not the curvature singularity. The photon sphere at $r=3M$, which supports circular null orbits, is also not the horizon.

Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals $\ell ,n$, with $\ell \cdot n=1$ in signature $(+---)$. Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has ${\theta }_{\ell }<0$ and ${\theta }_n<0$: both future light fronts initially shrink. A marginally outer trapped surface has ${\theta }_{\ell }=0$; for the future black-hole type also require ${\theta }_n<0$. On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.

For the Schwarzschild metric in ingoing coordinates choose $\ell ={\partial }_v+(f/2){\partial }_r$ and $n=-{\partial }_r$. The spherical null expansion in ingoing coordinates givesThe round spheres inside $2M$ are future trapped, while $r=2M$ is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.

A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys ${\theta }_{\ell }=0$, ${\theta }_n<0$ and ${\mathcal{L}}_n{\theta }_{\ell }<0$. Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units $c=1$. A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as $V=\ell -Cn$. Preserving ${\theta }_{\ell }=0$ gives $C=({\mathcal{L}}_{\ell }{\theta }_{\ell })/({\mathcal{L}}_n{\theta }_{\ell })\ge 0$. Hence $V^2=-2C\le 0$: the future outer horizon is spacelike or null. Its area expansion is ${\theta }_V=-C{\theta }_n\ge 0$. These conclusions use the outer condition and the energy condition, not merely marginality.

For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.

Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has $r_{\pm }=M\pm \sqrt{M^2-a^2}$, with $a=J/M$. Its outer Killing horizon is generated by ${\partial }_t+{\Omega }_H{\partial }_{\varphi }$, where ${\Omega }_H=a/(r_{+}^2+a^2)$, rather than by time translation alone. The ergosphere begins at the stationary-limit surface $g_{tt}=0$, whose radius is $M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.

A Cauchy horizon concerns predictability from initial data. The future domain of dependence $D^{+}(\Sigma )$ of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects $\Sigma$. Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.

Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set $t=\xi \sinh (a\tau )$ and $x=\xi \cosh (a\tau )$, with $\xi >0$. The Minkowski spacetime metric becomes $d{s}^2=a^2{\xi }^{2}d{\tau }^2-d{\xi }^2-d{y}^2-d{z}^2$. The null boundaries $t=x$ and $t=-x$ are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.

In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have $d\chi /dt=\pm 1/a(t)$. The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often $t_f=\infty$, so it is global and observer-dependent. For $a(t)=t^q$ on $0<t<\infty$, a finite particle horizon exists for $0<q<1$, while a finite event horizon exists for $q>1$. Neither integral is finite for $q=1$. In the expanding flat patch of de Sitter spacetime, $a=e^{Ht}$ and the proper event-horizon radius is $H^{-1}$. The static form $d{s}^2=(1-H^2{r}^2)d{t}^2-(1-H^2{r}^2{)}^{-1}d{r}^2-r^{2}d{\Omega }^2$ identifies it as a cosmological Killing horizon; its surface-gravity magnitude is $H$ with the central static time normalization.

Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius $R$ are ${\theta }_{\pm }=2(H\pm 1/R)$. At $R=H^{-1}$ the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with $a\propto t^{2/3}$ has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.

Take $M=|Q|>0$ and use $G=c=1$. The case $M=Q=0$ is flat spacetime and is not a black hole. In the nontrivial extremal Reissner-Nordstrom metric,The horizon is a double zero at $r=M$, with surface gravity $\kappa =f^{\prime }(M)/2=0$. The function $f$ is positive on both sides of the horizon. Thus the intermediate nonstatic region of a nonextremal charged hole disappears; one must not draw that region as a strip of nonzero width in the extremal Penrose diagram.

To construct the Penrose diagram, first integrate the radial tortoise coordinate:The additive constant has been chosen so that $r_{\ast }(0)=0$ in the inner block. In the exterior, $r_{\ast }\to -\infty$ at $M^{+}$ and $r_{\ast }\to +\infty$ at infinity. In the inner static region $0<r<M$, it increases from $0$ to $+\infty$. Set $u=t-r_{\ast }$ and $v=t+r_{\ast }$. The radial metric is $-fdudv$, so its radial null directions are $u=\mathrm{constant}$ and $v=\mathrm{constant}$.

Compactify each static block usingThis conformal compactification puts radial null geodesics at $45$ degrees. The exterior is a diamond: its right-hand edges are past and future null infinity, while its left-hand edges are the past and future degenerate horizons. At the left vertex, finite static $t$ and $r\to M^{+}$ give $u\to +\infty$, $v\to -\infty$. This is an end of the infinite spatial throat, not a regular bifurcation surface where the two horizon branches meet. A degenerate Killing horizon has no such bifurcation sphere. The inner block occupies the half-diamond $X>0$, because $r_{\ast }>0$ there. Its vertical edge $X=0$ is the timelike curvature singularity $r=0$; its two diagonal edges are the two horizon branches at $r=M$. Its outer vertex likewise represents an excluded infinite-throat end.

The static-coordinate compactification identifies the blocks but does not by itself establish the smooth horizon extension. For that, use Ingoing Eddington-Finkelstein coordinates on the future horizon:Its radial determinant is $-1$, so it is nonsingular at $r=M$. Glue the exterior future edge, $u\to +\infty$ with $v$ finite, to the inner past edge, $u\to -\infty$ with the same finite $v$. The outgoing coordinate $u$ similarly gives $d{s}^2=-fd{u}^2-2dudr+r^{2}d{\Omega }^2$ and extends the other horizon branch. Continue adjoining these regular blocks across every extendible null edge. The construction repeats indefinitely to the future and past, producing the maximal analytic diagram with infinitely many asymptotic exterior regions and inner static regions bounded by timelike singularities. Horizons are null edges, never the excluded throat vertices. Identical edges in different copies must be glued with their time orientations preserved; they are not all the same exterior infinity.

The figure shows the two building blocks, rather than compressing the whole infinite extension into a misleading finite diagram. The red edges glue across a future horizon at finite advanced time. Outgoing coordinates extend the next edge to another exterior copy. The thin diagonal lines illustrate the radial light-cone directions.

For spatially conformally flat coordinates, compare the radial and angular parts of $f^{-1}d{r}^2+r^{2}d{\Omega }^2$ with $V(\rho {)}^2(d{\rho }^2+{\rho }^{2}d{\Omega }^2)$. The angular coefficient requires $V\rho =r$, and the radial coefficient then gives, in the exterior,Choose the integration constant to make $\rho =r-M$ and $V\to 1$ at infinity. In Cartesian coordinates $x=\rho \sin \theta \cos \phi$, $y=\rho \sin \theta \sin \phi$, $z=\rho \cos \theta$, put $\rho =\sqrt{x^2+y^2+z^2}$. The Extremal Reissner-Nordstrom isotropic coordinates giveThese coordinates have $\rho >0$ and describe the exterior only. The locus $\rho =0$ is the limit $r=M$, not an ordinary point included in this chart. An independent inner chart is obtained with $\rho =M-r$, $0<\rho <M$, giving $V=M/\rho -1$ and $W=(M/\rho -1{)}^{-1}$; it must be attached using the regular null coordinates, not by continuing the exterior radial coordinate through a Cartesian origin.

The infinite proper distance is real. Along a constant-$t$ exterior radius,It is a property of a static spacelike slice. It does not bound the proper time of a freely falling observer. Indeed, a neutral radial timelike geodesic has conserved energy per unit rest mass $E=f\dot{t}>0$ and normalization $-f{\dot{t}}^2+f^{-1}{\dot{r}}^2=-1$, givingAt the horizon $\dot{r}\to -E$, so the remaining proper time is finite. Moreover,The observer crosses the regular future horizon with finite $v$ and finite proper time. This is the Extremal Reissner-Nordstrom causal crossing, which the singular static time coordinate conceals.

There is also a direct causal test for the event horizon. Inside the future horizon, outgoing radial null curves in the ingoing chart satisfy $dr/dv=f/2$. To reach $r=M$ from below they would requireNear the horizon, $M-r\sim 2M^2/v$. A future timelike or nonradial null curve cannot increase $r$ faster than the outgoing radial null curve, since $d{s}^2\le 0$ and $\dot{v}>0$ imply $dr/dv\le f/2$ after dropping the nonnegative angular term. Hence a signal that crossed inward cannot return to the original exterior's future null infinity. Curves can encounter other blocks in the maximal analytic extension, but their infinities are not the original observer's infinity. Relative to that asymptotic end, $r=M$ is the boundary of the causal past of future null infinity: it is an event horizon.

Finally, the Reissner-Nordstrom trapped spheres test explains why the proposed observation is unsurprising. Normalize future radial null normals by $\ell ={\partial }_v+(f/2){\partial }_r$, $n=-{\partial }_r$, with $g(\ell ,n)=-1$. The round-sphere null expansions areThere is no region of strictly future-trapped round spheres, while the horizon spheres are marginal with ${\theta }_{\ell }=0$. Absence of those particular trapped surfaces does not imply absence of an event horizon. The geometry has a nonzero horizon area $4\pi M^2$ and a genuine timelike singularity at $r=0$ in its extension. The infinite static throat does not remove the black hole: infall crosses its horizon in finite proper time, and no signal returns to the same exterior infinity.

Use Planck units for the following formulas. The black-hole area theorem is a classical statement with hypotheses. Assume the Einstein field equations, the null energy condition and appropriate global future regularity/predictability. For a clean version of the focusing sketch, take the future horizon generators to remain on a regular horizon and to be future complete in affine parameter. The usual strong asymptotic predictability formulation supplies the global causal control needed to exclude the same focusing pathology; an arbitrary spacetime with naked future breakdown is not covered by the theorem.

Let ${\ell }^a$ be an affinely parametrized generator of a smooth portion of the event horizon, and let $\theta =d\log dA/d\lambda$ be its null expansion. The horizon is a null hypersurface, so its generators have zero null twist. In four dimensions the Null Raychaudhuri equation isThe Einstein field equations give $R_{ab}{\ell }^a{\ell }^b=8\pi T_{ab}{\ell }^a{\ell }^b\ge 0$, since the metric terms vanish when contracted with a null vector. The screen-space null shear term is also nonnegative, so ${\theta }^{\prime }\le -{\theta }^2/2$. If ${\theta }_0<0$ at ${\lambda }_0$, integrating this inequality while the congruence remains regular givesIt focuses within affine distance at most $2/|{\theta }_0|$. The vanishing area element is a focal point to an earlier spacelike horizon cut. Past such a point the null geodesic can no longer generate an achronal boundary, but the event horizon is precisely such a boundary. Future completeness and the global hypotheses exclude its escaping this contradiction by ending prematurely at a pathology. Therefore $\theta \ge 0$ everywhere the smooth horizon description applies.

Integrate $d(dA)/d\lambda =\theta dA$ between ordered horizon cuts. Every continuing generator contributes a nondecreasing area element. New generators can enter at past endpoints or merger crease sets, adding area; generators cannot leave a regular future horizon through future endpoints under these hypotheses. Thus, including the total area of disconnected components,This is the future-complete horizon focusing proof of the area theorem. A smooth elementary congruence proof requires the stated regularity; the general theorem also treats the horizon's nonsmooth joining set rather than assuming mergers have a globally smooth horizon.

Hawking radiation changes the situation because the quantum field state in a collapsing geometry is not a classical positive-energy fluid. For a large isolated Schwarzschild black hole,in natural units. Outgoing quantum modes at future null infinity have a nearly thermal occupation, modified by greybody factors; an accompanying negative Killing energy flux near the horizon reduces the hole's mass. On timescales short compared with the evaporation time but long compared with $M$, its geometry is approximately Schwarzschild spacetime with slowly decreasing $M(t)$. It is not an exactly stationary vacuum solution with a parameter changed by hand: the radiation's stress-energy tensor sources the time dependence through the semiclassical Einstein equation. The distant luminosity is carried by the outgoing radiation, while the horizon-area decrease accompanies the inward negative-energy contribution.

As the black hole loses mass, its horizon scale and Bekenstein-Hawking entropy shrink, its temperature rises and its luminosity increases. This is the negative heat capacity of a Schwarzschild black hole. Large astrophysical holes evaporate extremely slowly in isolation; small holes evaporate more rapidly, and increasingly massive particle species become accessible as the temperature rises. An incoming radiation bath or accretion can instead offset the loss, so the pure evaporation law assumes negligible incoming energy. A formal complete evaporation also raises the black hole information paradox; the low-curvature calculation alone does not determine how information or the final state is resolved.

For an elementary luminosity estimate, treat the horizon as emitting photon blackbody radiation. In natural units the Stefan–Boltzmann law has $\sigma ={\pi }^2/60$, givingThe horizon area used here is an estimate of emitting area, not the exact frequency-dependent absorption cross-section. More generally write $P=\alpha /M^2$, where $\alpha >0$ includes the greybody factors and the active particle species. For constant effective $\alpha$, energy balance and direct integration giveHere $t$ is time measured at infinity. The formal evaporation timescale is $M_0^3/(3\alpha )$; with the photon blackbody estimate it is $5120\pi M_0^3$. Restoring constants givesfor that specified estimate. If particle thresholds make $\alpha$ mass dependent, the precise leading law is instead $t={\int }_{M(t)}^{M_0}{m}^{2}dm/\alpha (m)$. The robust result is the inverse-square mass-loss rate for a fixed species regime and the cubic mass scaling of its lifetime. This is the semiclassical cubic mass law for Schwarzschild evaporation. Extrapolating its zero to a definite end state is unjustified once $M$ approaches the Planck mass and curvature requires quantum gravity.

There is no contradiction with the classical area theorem: the renormalized quantum stress-energy tensor can violate the null energy condition used in the focusing inequality. In the evaporation regime,which is permitted when that hypothesis fails. The thermodynamic replacement is the generalized second law, concerning $S_{\mathrm{outside}}+A/(4G\hslash )$ rather than horizon area alone. Outside radiation can carry entropy while the hole's Bekenstein-Hawking entropy decreases.

Take the screen trace of the optical matrix of a null congruence equation. The cross-contractions of symmetric null shear with antisymmetric null twist vanish, andThe minus sign in the null twist contribution follows from tracing the square of an antisymmetric matrix. The tidal trace is $P^{ef}{R}_{cedf}{U}^c{U}^d=R_{cd}{U}^c{U}^d$: the additional null terms in $P^{ef}$ vanish by curvature antisymmetry. Thus the Null Raychaudhuri equation isIn particular, null shear focuses the null geodesic congruence while null twist enters with the opposite sign. With vanishing null twist and the null energy condition, the Einstein field equations imply $U\cdot \nabla \theta \le -{\theta }^2/2$. These signs and the factor $1/2$ depend on using the full-trace null expansion in a two-dimensional screen.

First let $B_{ab}={\nabla }_b{U}_a$ without projection. Commute derivatives on this covector and use affine geodesic motion:The last equality relabels the two contracted null-vector indices. Nullness and affine parametrization give $U^a{B}_{ab}=0$ and $B_{ab}{U}^b=0$. Therefore inserting $P$ into the contracted middle index changes no screen-projected quadratic term. Since ${\nabla }_{U}P=0$, screen projection proves the Sachs optical equationsThe optical tidal matrix ${\mathcal{R}}_{ab}$ is symmetric by the Riemann curvature tensor's pair symmetries. Raising one screen index gives the corresponding equation for ${\hat{B}}^a{}_b$.

In terms of the defined optical scalars, the equation is explicitlyThis matrix identity contains the null expansion, null shear and null twist evolution equations as its trace, symmetric trace-free part and antisymmetric part.

Choose an auxiliary null vector $N$ with $U\cdot N=-1$, parallel-transported along each affine ray. The screen-space projector and its induced positive metric areThey annihilate $U,N$, obey $P^2=P$, and have trace two in four spacetime dimensions. Since both $U$ and $N$ are parallel along $U$, ${\nabla }_{U}P=0$. Equivalently, the screen represents the two-dimensional quotient $U^{\perp }/\mathrm{span}(U)$.

Define the optical matrix of a null congruence byFor a transverse deviation, its screen projection $\zeta =PZ$ satisfies ${\nabla }_U{\zeta }^a={\hat{B}}^a{}_b{\zeta }^b$. Decompose the matrix asThese are the null expansion, null shear and null twist. Null expansion gives the fractional change of a small transverse area, $\theta =d\log (dA)/d\lambda$. Null shear is symmetric trace-free distortion; null twist is the antisymmetric rotation part. This null expansion convention uses the full trace, not half the trace. The auxiliary screen fixes representatives, while the transverse optical content is intrinsic to the null geodesic congruence.

Use geometrized units $G=c=1$. The Physical-process first law of black-hole mechanics concerns a small perturbation of a rotating black hole in an initially stationary spacetime by infalling matter, followed by relaxation to another stationary spacetime. For an uncharged black hole, or neutral accretion with charge held fixed, its first-order statement isHere $\kappa >0$ is the background surface gravity, ${\Omega }_H$ is the background horizon angular velocity, and $\delta A$ is the change in event horizon area. The energy $\delta E$ and angular momentum $\delta J$ are the fluxes carried into the event horizon; when these account for the changes of the black hole, they equal $\delta M$ and its change of angular momentum. The result is a linearized law, not an exact identity for a finite violent accretion event. The perturbation must be small enough that focusing does not produce new caustics or invalidate the expansion about the existing generators.

Let $k^a$ be the stationary Killing vector field normalized at infinity, $m^a$ the axial Killing vector field with $2\pi$-periodic orbits, andOn the background Killing horizon, ${\chi }^a$ is its future-directed null generator and satisfies ${\chi }^b{\nabla }_b{\chi }^a=\kappa {\chi }^a$. Choose a parameter $v$ with $\chi ={\partial }_v$. The null expansion in this parameter is $\theta ={\partial }_v\log dA$. The generator is not affinely parametrized; if $\ell ={\partial }_{\lambda }$ is affine, then $\chi =\kappa \lambda \ell$ after an appropriate choice of affine origin, with $\lambda \propto e^{\kappa v}$. Rescaling the Null Raychaudhuri equation givesThe null twist vanishes because the generators are normal to the event horizon. By the Einstein field equations, $R_{ab}{\chi }^a{\chi }^b=8\pi T_{ab}{\chi }^a{\chi }^b$. Background null expansion and null shear vanish on a Killing horizon of the background stationary spacetime. Thus $\theta$ and $\hat{\sigma }$ are first order, their squares are second order, and the linearized equation isThe final stationary spacetime supplies the boundary condition $\theta \to 0$ in the future. Explicitly,This future boundary condition reflects the global definition of the event horizon. For localized infall, $\theta$ also tends to zero in the remote past. Integrating the linearized equation along the generators, and then over a background cross-section with area element $d{A}_0$, givesUsing the background area element introduces only second-order corrections.

With orientations chosen so that future infalling positive energy has positive flux, the conserved Killing energy and axial angular momentum giveConsequently $\delta E-{\Omega }_H\delta J={\int }_{\mathcal{H}}\delta T_{ab}{\chi }^a{\chi }^{b}dvd{A}_0$, proving the displayed Physical-process first law of black-hole mechanics. Restoring $G$ replaces $8\pi$ by $8\pi G$. The null energy condition makes the integral nonnegative and therefore implies area increase in this regime; that condition is needed for the sign conclusion, not for the linearized flux identity itself. Charged infall would require the additional electrostatic work term, and an extremal background needs separate treatment because the proof uses $\kappa >0$.

A null geodesic congruence is a smooth family of null geodesics filling a region, with one curve through each point before caustics form. Choose an affine parameter $\lambda$ and tangent $U^a$, so $U^2=0$ and ${\nabla }_{U}U=0$. Choose a null partner $N^a$ with $U\cdot N=-1$, transported parallel to $U$ along each generator. The screen-space projectorprojects onto the positive-definite two-dimensional plane transverse to $U,N$. Define the optical tensor and its decomposition bywhereThese are respectively the null expansion, null shear and null twist, the latter also called rotation. In the Null Raychaudhuri equation, ${\hat{\sigma }}^2={\hat{\sigma }}_{ab}{\hat{\sigma }}^{ab}$ and ${\hat{\omega }}^2={\hat{\omega }}_{ab}{\hat{\omega }}^{ab}$ use the screen metric. The trace convention for $\theta$ is important: it is not half the trace. For an affine null tangent it also equals ${\nabla }_a{U}^a$.