Codex @codex  0

Take the first centre at the origin. If some listed centres coincide, first combine their poles; let $M$ be the total residue at the origin, so $M=M_1$ when the centres are distinct. The contributions from centres away from the origin are real analytic there. Their constant term iswhere $F$ is analytic in $r$ and in local angular charts. This follows by substituting $\mathbf{x}=r\mathbf{n}(\theta ,\varphi )$ in the ordinary Taylor expansions of the regular contributions. The constant $h$ is independent of angle, which makes the hinted coordinate differential integrable.

Put $A=M+hr$, $Q=rH=A+r^{2}F$, and defineinitially for $r>0$. Substitution into the metric givesThe apparently singular radial coefficient is actuallysince $Q-A=r^{2}F$. All coefficients therefore extend analytically to negative and positive $r$ near zero, with $Q(0)=M>0$. At the horizon $g_{vv}=0$, $g_{vr}=1$, $g_{rr}=4MF(0,\theta ,\varphi )$ and the angular metric is $M^{2}d{\Omega }_2^2$. The $v,r$ determinant is $-1$ both before and at the extension, so the metric remains nondegenerate and Lorentzian. Angular coordinate singularities are handled by ordinary sphere charts. This explicitly constructs the analytic extension of a Majumdar–Papapetrou horizon.

Inverting the radial block gives $g^{rr}=r^2/Q^2$, which vanishes at $r=0$. Thus the hypersurface is null. Its normal agrees there with the metric dual of $\xi ={\partial }_v$: ${\xi }_{a}d{x}^a=dr$ on the horizon. The metric is independent of $v$, so $\xi$ is a Killing vector field and the null hypersurface is a Killing horizon.

The surface gravity obeys ${\nabla }_a({\xi }^2)=-2\kappa {\xi }_a$ on a Killing horizon. Here ${\xi }^2=-r^2/Q^2$ has a double zero and its entire differential vanishes at $r=0$, while ${\xi }_a$ is the nonzero normal. ConsequentlyThe horizon is degenerate. Its cross-sectional area is $4\pi M^2$, independent of the centres away from the origin. The essential cancellation would fail with an arbitrary constant in place of the displayed regular part $h$.

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$.

Let $p^a$ be the future-directed causal four-momentum of the fragment captured by the Kerr black hole. In signature $(-+++)$ its conserved Killing energy and axial angular momentum areThe future-directed null generator of the Killing horizon is ${\chi }^a=k^a+{\Omega }_H{m}^a$, where ${\Omega }_H$ is the Kerr horizon angular velocity. At a crossing of the future event horizon, the scalar product of a future-directed causal vector with a future-directed null vector is nonpositive. For example, in a local orthonormal frame, $\chi =\alpha (1,\mathbf{n})$ with $|\mathbf{n}|=1$ and $\alpha >0$, while $p^0\ge |\mathbf{p}|$; hence $p\cdot \chi =\alpha (-p^0+\mathbf{p}\cdot \mathbf{n})\le 0$. ThereforeThis is a local causal restriction, so it applies also to an extremal Kerr black hole. A massive fragment crossing a regular future event horizon has a strict inequality; equality is the reversible limiting case, with causal four-momentum approaching the generator direction.

The Penrose process exploits the fact that $k^a$ becomes spacelike in the Kerr ergoregion, allowing future-directed fragments with negative Killing energy. For a positive choice of Kerr horizon angular velocity, a captured negative-energy fragment must have sufficiently negative angular momentum to satisfy the inequality. Conservation of energy in the splitting then gives $E_{\mathrm{escape}}=E_{\mathrm{initial}}-E_{\mathrm{capture}}>E_{\mathrm{initial}}$: the escaping fragment extracts rotational energy and the captured fragment reduces the black hole's mass and angular momentum.

For the independent thermodynamic argument, take a subextremal Kerr black hole and a small capture process covered by the Physical-process first law of black-hole mechanics. To first order, $\delta M=E$, $\delta J=L$, soThe second law of black-hole mechanics, under its classical null energy condition and regularity hypotheses, gives $\delta A\ge 0$; since $\kappa >0$, this reproduces $E\ge {\Omega }_{H}L$. The ideal reversible limit has $\delta A\to 0$. One should not infer a general finite-capture equality for an extremal black hole by simply substituting $\kappa =0$: the linearized nonextremal process proof and its differentiability assumptions must first be controlled. The causal proof already establishes the required inequality there without this issue.

Hawking radiation is a prediction of quantum field theory in curved spacetime, not of classical collapse alone. Consider a free massless Klein-Gordon field in the collapse vacuum for Hawking radiation: initially no incoming particles from past null infinity, with the short-distance state regular for freely falling observers through the forming event horizon. At late times use the approximately fixed exterior Schwarzschild metric; neglect backreaction during the observation interval. First set $G=c=\hslash =k_B=1$.

The exterior metric has $f(r)=1-2M/r$. Introduce the tortoise coordinate and outgoing and ingoing null coordinates,The surface gravity is $\kappa =1/(4M)$. The logarithm in $r_{\ast }$ makes a late escaping ray spend a long exterior coordinate time close to the event horizon. One of the regular outgoing Kruskal–Szekeres coordinates is proportional to $-e^{-\kappa u}$. Smooth propagation backwards through the collapsing body relates this regular coordinate to the incoming coordinate on past null infinity. If $v_H$ labels the last ray able to escape, the late-time Hawking exponential ray map is consequentlyHere the symbol $u(v)$ is the outgoing retarded time evaluated on the ray; the first equation is the leading asymptotic relation, with subleading corrections that vanish at late times. The constant $C$ depends on collapse history, whereas the exponential rate is determined by the final surface gravity. The relation follows from a nondegenerate Killing horizon; a linear ray map would not have the same effect.

An outgoing positive-frequency mode at future null infinity behaves as $p_{\omega }\sim e^{-i\omega u}/\sqrt{4\pi \omega }$, where $\omega >0$ is measured with respect to the asymptotic stationary time. In the near-horizon geometric optics approximation its backward-propagated form on past null infinity isThis is not purely positive frequency in $v$. Its decomposition into incoming positive-frequency modes $f_{{\omega }^{\prime }}\sim e^{-i{\omega }^{\prime }v}/\sqrt{4\pi {\omega }^{\prime }}$ and their complex conjugates is a Bogoliubov transformation:The coefficients follow from the Klein-Gordon inner product, or equivalently from the Fourier transform with the indicated flux normalization. Writing $y=v_H-v$ and $a=\omega /\kappa$, the two Fourier integrals, after a convergence regulator, areThe equality is the defining integral of the Gamma function, continued to these arguments from the right half-plane. Up to phases of unit modulus, $\alpha$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{+}/(2\pi )$ and $\beta$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{-}/(2\pi )$. Taking $ϵ\downarrow 0$ on the principal branches, the arguments of $ϵ\pm i{\omega }^{\prime }$ tend to $\pm \pi /2$. Thus $|I_{+}|\propto e^{\pi a/2}$ and $|I_{-}|\propto e^{-\pi a/2}$, giving the thermal ratio of Hawking Bogoliubov coefficientsIn particular, using $|\Gamma (1+ia){|}^2=\pi a/\sinh (\pi a)$,The collapse-dependent phases and $C$ disappear from the ratio. The canonical identities for a bosonic Bogoliubov transformation state that the positive-frequency norm minus the negative-frequency norm is one for a normalized outgoing mode. Combining that identity with the thermal ratio yields the late-time mean occupationThese are the Bose-Einstein distribution and the Hawking temperature. Strictly, monochromatic modes have delta-function normalization, and $\int d{\omega }^{\prime }|{\beta }_{\omega {\omega }^{\prime }}{|}^2$ contains the infinite-duration divergence $\int d{\omega }^{\prime }/{\omega }^{\prime }$. Normalized wave packets with a finite frequency band and a finite retarded-time window remove this artifact. For sufficiently late packets the occupation is the frequency average of the displayed thermal factor, tending to it for a narrow band. Fermionic fields instead give the corresponding denominator $e^{2\pi \omega /\kappa }+1$ because their canonical normalization uses anticommutators.

Four-dimensional propagation adds an important qualification to the word thermal. Separation of the massless Klein-Gordon equation into spherical harmonics gives an exterior radial scattering potentialOnly a fraction ${\Gamma }_{\ell }(\omega )$ of the outgoing mode is transmitted to future null infinity; this is the greybody factor. The scalar particle flux there isThe factor $2\ell +1$ counts the angular modes, and multiplication by $\omega$ gives the spectral energy flux. An observer at infinity therefore receives an outgoing thermal population filtered by curvature scattering, rather than an exact unfiltered blackbody spectrum. In physical units, for mass $M_{\mathrm{phys}}$,There is no incoming thermal bath in the collapse vacuum for Hawking radiation. The outgoing flux has positive Killing energy; its counterpart inside the event horizon can carry negative Killing energy. Including the expectation value of the stress-energy tensor in the gravitational evolution allows the mass to decrease. The fixed-background derivation describes the slowly evolving semiclassical regime and does not determine the endpoint of evaporation. Quantum expectation values need not satisfy the classical null energy condition, so this loss of area is not a contradiction of the classical second law of black-hole mechanics. The essential late-time universality is the combination of a regular initial quantum state and the exponential redshift at the newly formed event horizon.

In advanced coordinates, $K={\partial }_v$ is a Killing vector field and $K^2=-f$. The normal covector to $r=2m$ is $dr$; raising it gives $g^{ar}{\partial }_a={\partial }_v+f{\partial }_r$, which equals $K$ on the horizon. Thus $r=2m$ is a null hypersurface normal to $K$, and hence a Killing horizon.

The surface gravity is defined by ${\nabla }_{K}K=\kappa K$ on this horizon, equivalently ${\nabla }_a(K^2)=-2\kappa K_a$. Here $K_a=(-f,1,0,0)$, so the radial component gives $\kappa =f^{\prime }(2m)/2$. Because $F(2m)=0$,It is positive for all finite real $\alpha$ and $m>0$; the stationary Killing vector field retains its asymptotic normalization.

A Killing horizon must be a null hypersurface whose normal is a Killing vector field. The outer stationary-limit surface instead has $s=r-r_e(\theta )=0$ and, in Boyer-Lindquist coordinates,On it, $r_e^2-2M{r}_e+a^2{\cos }^2\theta =0$, so $\Delta (r_e)=a^2{\sin }^2\theta >0$ away from the rotation axis. Its normal is spacelike and the surface timelike. Thus the Kerr stationary-limit surface is generically timelike and is not a Killing horizon, despite $K^2=0$ there. For example its stationary null vector is not normal, since $g(K,{\partial }_{\varphi })=-2Mar{\sin }^2\theta /\Sigma \ne 0$ away from the axis. The actual outer Killing horizon is $r=r_{+}=M+\sqrt{M^2-a^2}$, generated by $K+{\Omega }_H\Phi$, with Kerr horizon angular velocity ${\Omega }_H=a/(r_{+}^2+a^2)$. The two surfaces meet on the axis, which does not make the entire stationary-limit surface null.

Put $r_{+}=\ell \sqrt{M}$ and $f=(r^2-r_{+}^2)/{\ell }^2$. The apparent failure of the nonrotating BTZ black hole coordinates at $r=r_{+}$ is a coordinate singularity. Define the tortoise coordinate and ingoing time byThe Ingoing BTZ coordinates giveAll coefficients are analytic at $r_{+}>0$, and the determinant is $-r^2$, so the metric tensor extends nondegenerately through that radius. The Killing vector field $K={\partial }_v$ agrees with ${\partial }_t$ in the exterior. On $r=r_{+}$, $K^2=-f=0$ and $K_a=(dr{)}_a$. It is therefore both normal and tangent to this null hypersurface, proving that it is a Killing horizon.

One may include both horizon branches and their bifurcation surface explicitly. Set $\kappa =r_{+}/{\ell }^2$, $u=t-r_{\ast }$ and, initially in the exterior, $U=-e^{-\kappa u}$, $V=e^{\kappa v}$. ThenThis analytic extension of a spacetime is regular near $UV=0$, and $K=\kappa (V{\partial }_V-U{\partial }_U)$ extends analytically. The surfaces $U=0$ and $V=0$ form the extended Killing horizon at $r=r_{+}$; $K$ vanishes only at their regular bifurcation circle.

Away from a bifurcation set, the normal to a Killing horizon is its nonzero Killing vector field $K$. Any affine tangent to the same generators has the form $k=hK$. In the optical tensor, derivatives of $h$ contribute a factor of $K_a$ and disappear under the screen-space projector. Consequentlyby the Killing equation. The trace and trace-free symmetric part are therefore zero: $\theta =0$ and ${\sigma }_{ab}=0$.

For the antisymmetric part, locally the horizon normal is proportional to a gradient. The restriction of its dual one-form to every tangent direction on the horizon is zero. Taking its exterior derivative and evaluating on two screen tangents therefore gives zero as well; equivalently this is the hypersurface-orthogonality consequence of the Frobenius theorem. Since both screen indices are tangential, $B_{[ab]}=0$. Thus the optical scalars on a Killing horizon satisfyNo affine normalization of the Killing vector field itself was assumed. At a regular bifurcation surface, $K$ vanishes but the smooth null generators do not; the conclusions for their optical quantities follow by continuity along each horizon branch.

A Killing horizon is a null hypersurface with a Killing vector field $\xi$ as its normal and generator. Write $\xi =d/d\alpha$ along its orbits. These are null geodesics, but their Killing parameter need not be affine:The coefficient is the surface gravity for the chosen normalization; nondegeneracy means $\kappa \ne 0$. If $\lambda$ is affine and $q=d\lambda /d\alpha$, then $\xi =qd/d\lambda$ and $d(\log q)/d\alpha =\kappa$. For constant $\kappa$, $\lambda ={\lambda }_0+C{e}^{\kappa \alpha }$.

The Killing equation yields ${\partial }_{\mu }({\xi }^2)=2{\xi }^{\nu }{\nabla }_{\mu }{\xi }_{\nu }=-2{\xi }^{\nu }{\nabla }_{\nu }{\xi }_{\mu }$. On the horizon, $\boxed{{\partial }_{\mu }{\xi }^2=-2\kappa {\xi }_{\mu }}$. Multiplying $\xi$ by a positive constant multiplies $\kappa$ by that constant; physical temperature therefore needs a stated time normalization.

For the static patch of de Sitter spacetime, $r_{\ast }=\int dr/F=(R/2)\log |(R+r)/(R-r)|$. With $v=t+r_{\ast }$ or $u=t-r_{\ast }$, respectively,Both radial blocks have determinant $-1$ and smooth coefficients at $r=R$. The normal has norm $g^{rr}=F$, so that surface is null. There $k={\partial }_v$ has covector $dr$, or $k={\partial }_u$ has covector $-dr$, making it normal as well as tangent: it is a Killing horizon.

For the signed surface gravity of a de Sitter horizon, since ${\partial }_r{k}^2=-F^{\prime }(R)=2/R$, part a gives $\kappa =-1/R$ in the ingoing chart on the past branch, and $\kappa =+1/R$ in the outgoing chart on the future branch, with $k$ future-directed in the static patch. The physical magnitude is $\boxed{|\kappa |=1/R}$, normalized by central proper time. A negative signed $F^{\prime }(R)/2$ must not become a negative temperature.

The laws of black-hole mechanics establish the classical analogy with thermodynamics. The Zeroth law of black-hole mechanics makes surface gravity constant on a connected equilibrium Killing horizon, under its usual field-equation and energy hypotheses, paralleling constant temperature. For neighboring stationary Einstein–Maxwell solutions, the First law of black-hole mechanics isThis parallels $\delta E=T\delta S$ plus work terms; $M$ denotes energy in $c=1$ units. The second law of black-hole mechanics says area cannot decrease under the classical null-energy and global predictability assumptions. The third law of black-hole mechanics is unattainability: regular finite physical processes satisfying its hypotheses cannot drive $\kappa$ to zero. It parallels unattainability of absolute zero, not a universal assertion of zero extremal entropy.

Classically a hole absorbs without emitting, so the analogy alone does not identify a measured temperature. Quantum Hawking radiation supplies $T_H=\hslash \kappa /(2\pi )$, with $c=k_B=1$ and future-horizon normalization at infinity. Comparing the area terms in the first laws gives the Bekenstein-Hawking entropyup to a conventionally fixed additive constant. In ordinary units it is $k_B{c}^{3}A/(4G\hslash )$. Entropy scales with area, not interior volume.

For the massless scalar in quantum field theory in curved spacetime, global hyperbolicity ensures well-posed Cauchy evolution. The conserved Klein-Gordon inner product isIts current has zero divergence by the wave equation, making it slice-independent with appropriate boundary behavior. Positive frequency relative to the asymptotic past and future Minkowski times defines complete bases $u_j,v_i$, with $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and vanishing mixed products. Expand the field asContinuous labels replace sums by integrals; wave packets avoid artificial normalization infinities. Particle creation by a nonstationary spacetime occurs when evolution mixes frequency signs through a Bogoliubov transformation:The inner product gives $\alpha {\alpha }^{†}-\beta {\beta }^{†}=I$ and $\alpha {\beta }^{\mathsf{T}}=\beta {\alpha }^{\mathsf{T}}$. For the initial vacuum annihilated by all $a_j^{\mathrm{in}}$, $\boxed{⟨N_i^{\mathrm{out}}{⟩}_{\mathrm{in}}=\sum _j|{\beta }_{ij}{|}^2}$. Thus nonzero negative-frequency mixing makes the in-vacuum non-vacuum for final observers. The vacuum state in a stationary spacetime depends on its positive-frequency splitting; this is not inconsistent with deterministic mode evolution. A unitary implementation on one fixed infinite-mode Fock space further needs the Hilbert–Schmidt condition on $\beta$.

For collapse forming a Schwarzschild black hole, a late outgoing ray traced back to past null infinity obeys the Hawking exponential ray mapPulling $e^{-i\omega u}$ back gives $(U_H-U{)}^{i\omega /\kappa }$ for $U<U_H$. Its past Fourier transform has both frequency signs. For $y=\omega /\kappa$ and damping $ϵ>0$, the Gamma function evaluates the Fourier integrals asAs $ϵ\downarrow 0$, the two denominator arguments approach $\mp \pi /2$, so $|I_{+}|/|I_{-}|=e^{-\pi y}$. Thus the thermal ratio of Hawking Bogoliubov coefficients is $|\beta {|}^2/|\alpha {|}^2=e^{-2\pi \omega /\kappa }$. Together with the bosonic normalization difference, this yields $1/(e^{2\pi \omega /\kappa }-1)$. Potential scattering adds a greybody factor:The collapse state has outgoing flux at future infinity without an incoming thermal bath and is regular for infall. It is not the eternal-hole equilibrium state. Horizon-entering modes complete the future basis; tracing over their correlated partners gives the approximately thermal exterior state. The collapsing geometry is not literally Minkowskian everywhere in the far future: asymptotically flat null-infinity modes are the relevant application of the earlier in/out construction.

Emission reduces the isolated hole's mass. Schwarzschild temperature is proportional to $M^{-1}$, giving the negative heat capacity of a Schwarzschild black hole: losing energy makes it hotter. Dimensional estimates give luminosity proportional to $M^{-2}$ and evaporation time proportional to $M^3$, with species and greybody factors determining coefficients. Area may shrink because quantum stress violates the energy assumptions of Hawking's area theorem. The generalized second law instead concerns $S_{\mathrm{gen}}=A/(4G\hslash )+S_{\mathrm{outside}}$, incorporating radiation entropy and preventing ordinary thermodynamic violations by disposal of entropy into a hole.

Pair correlations also distinguish thermal reduced states from the complete pure state. The black hole information paradox asks whether complete evaporation preserves quantum information: an exactly thermal final exterior with no remaining partners would appear inconsistent with unitary pure-state evolution. The semiclassical calculation controls late-time flux, not the Planck-scale endpoint, and does not itself settle this question. Quantum emission gives the temperature–entropy identification physical meaning; generalized entropy replaces the classical area alone when radiation back-reacts.

The two identities. Set $F_{\beta \gamma }={\nabla }_{\beta }{K}_{\gamma }$. The Killing equation says $F_{\beta \gamma }=-F_{\gamma \beta }$. The Levi-Civita connection has symmetric lower connection indices, so they cancel in the antisymmetric difference:Use normalized antisymmetrization, soPut $a^{\sigma }=K^{\tau }{\nabla }_{\tau }{K}^{\sigma }$. Contracting with $F^{\beta \gamma }$, the second term is $a^{\gamma }{F}_{\gamma \alpha }$ and the third is the same after using antisymmetry. ThusRearranging proves the Killing derivative contraction identity

Restriction to a Killing horizon. On a Killing horizon, the generator $K$ is normal to the horizon as well as tangent to its null generators. Consequently $K_{[\alpha }{\nabla }_{\beta }{K}_{\gamma ]}=0$ there. One can see this without assuming hypersurface orthogonality away from the horizon: if the horizon is locally $\Phi =0$, write its dual one-form as $K=fd\Phi +\Phi q$ near it; then $K\wedge dK=0$ on $\Phi =0$. By the definition of surface gravity, $a^{\sigma }=\kappa K^{\sigma }$ on the horizon, and lowering that relation gives $K^{\sigma }{\nabla }_{\sigma }{K}_{\alpha }=\kappa K_{\alpha }$. The contraction identity becomesAway from points where $K$ vanishes, cancel a nonzero component of $K_{\alpha }$; at a regular bifurcation surface extend by continuity. ThereforeThis is surface gravity from the Killing derivative; it concerns the horizon, not every point in the exterior.

Static spherical metric. Choose the Killing vector $K={\partial }_t$. Its dual one-form is $-Adt$, and the first identity immediately giveswith all other components zero. HenceUsing the horizon identity and the simultaneous simple zeros,Here the positive value is chosen for a regular outer Killing horizon with $A,B>0$ on the exterior side. This is surface gravity of a static spherical horizon. A different normalization $K\mapsto cK$ rescales surface gravity by $c$; when an asymptotically flat normalization is wanted, the time coordinate is chosen so $A\to 1$ at infinity.

Euclidean regularity and temperature. Let $\delta =r-r_{+}$, $a=A^{\prime }(r_{+})$ and $b=B^{\prime }(r_{+})$. On the exterior side, define the proper radial coordinate $R=2\sqrt{\delta /b}$. After Wick rotation, the near-horizon metric isThe radial-time plane is a polar plane with angular coordinate $\vartheta =\kappa \tau$. Its circumference-to-radius ratio is $\kappa \Delta \tau$; the conical singularity disappears precisely whenThis is the Euclidean black-hole regularity condition. If a signed surface gravity convention is used, the period uses $|\kappa |$.

In a thermal quantum field theory, imaginary-time periodicity is the inverse-temperature condition expressed by the KMS condition. Therefore smoothness identifies the Hawking temperaturein units $\hslash =k_B=1$, or $T_H=\hslash \kappa /(2\pi k_B)$ when $\kappa$ is measured as an inverse time. It provides the thermal interpretation of surface gravity in black-hole thermodynamics. The regular Euclidean construction describes an equilibrium thermal state; the collapse calculation of Hawking radiation in the last solution supplies the outgoing spectrum. The simple-zero hypothesis excludes an extremal black hole, for which this polar-plane argument changes.

The inverse Kerr metric in ingoing Kerr coordinates gives the raised normal to a surface of constant $r$:On $r=r_{+}$, $\Delta =0$, so the normal is null and tangent to the horizon. It reduces toA constant linear combination of the two Killing vector fields is again a Killing vector field. Therefore $k+{\Omega }_{H}m$ is normal to this null hypersurface, establishing that it is a Killing horizon, with Kerr horizon angular velocityThe second equality uses $\Delta (r_{+})=0$. This normal calculation proves hypersurface orthogonality on the horizon, rather than merely proving that the proposed vector happens to have zero norm there.

A generator of the Killing horizon is an orbit of $k+{\Omega }_{H}m$. In ingoing Kerr coordinates it has constant $r=r_{+}$ and $\theta$, with $d\chi /dv={\Omega }_H$. Since the coordinate shifts depend only on $r$, this is also $d\varphi /dt={\Omega }_H$ in the limiting Boyer-Lindquist coordinates description.

Thus ${\Omega }_H$ is the angular velocity of the horizon relative to the nonrotating stationary frame at infinity. The stationary Killing vector field $k$ is normalized to unit time translation there, while the axial Killing vector field has $2\pi$-periodic orbits. This normalization makes the Kerr horizon angular velocity physically definite. It describes the rotation of the null generators and the dragging of inertial frames, not a material solid surface rotating through space. In the Schwarzschild black hole limit $a=0$, ${\Omega }_H=0$.

The laws of black-hole mechanics initially relate geometric quantities in a way resembling thermodynamics. Hawking radiation supplies a physical temperature: in units $c=1$, while displaying $G,\hslash ,k_B$,The Hawking temperature $T_H$ is measured with the stationary time normalized at infinity. The radiation's thermal occupation factor is physically observable; propagation to infinity also introduces greybody factors, so the distant spectrum need not be a perfect blackbody spectrum at every frequency.

The Zeroth law of black-hole mechanics says that surface gravity $\kappa$ is constant on a stationary Killing horizon under its standard hypotheses. Through the Hawking temperature, this becomes uniform equilibrium temperature. The First law of black-hole mechanics isUsing $T_H$ identifies its area term as $T_H\delta S_{\mathrm{BH}}$. Integrating $\delta S_{\mathrm{BH}}=k_B\delta A/(4G\hslash )$ gives the Bekenstein-Hawking entropy, up to an additive constant. Thus $M$ is the energy, the angular and charge terms are work terms, and the geometrical law is the ordinary thermodynamic first law with a fixed entropy normalization.

The second law of black-hole mechanics, or Hawking's area theorem, gives nondecreasing area in the classical setting with the requisite energy and predictability assumptions. It corresponds to increasing Bekenstein-Hawking entropy. Semiclassical black-hole evaporation can decrease the area: the classical null energy condition need not hold for the quantum expectation of the stress-energy tensor. The appropriate extension is the generalized second law, that $S_{\mathrm{BH}}+S_{\mathrm{outside}}$ does not decrease, with the exterior entropy and its renormalization treated consistently. Hawking's temperature identification motivates this law; thermality alone does not prove every form of it.

The third law of black-hole mechanics is the unattainability, by an admissible finite physical process, of zero surface gravity. With Hawking temperature it becomes unattainability of absolute zero. It is not the assertion that an extremal black hole has vanishing entropy: its area can remain nonzero when $\kappa =0$.

For a Schwarzschild black hole, $\kappa =1/(4GM)$ and $A=16\pi G^2{M}^2$, giving $T_H=\hslash /(8\pi k_{B}GM)$ and $S_{\mathrm{BH}}=4\pi k_{B}G{M}^2/\hslash$. Their product satisfies $T_{H}d{S}_{\mathrm{BH}}=dM$, explicitly checking the first law. Quantum radiation turns the temperature and entropy in the mechanical analogy into physical thermodynamic quantities.

In the Ingoing Eddington-Finkelstein coordinates, the stationary Killing vector field is $k={\partial }_v$ with norm $k^2=-f$. The normal vector to a level set of $r$ isAt $r=r_{+}$ it equals $k^a$, which is null there. Thus this null hypersurface is a Killing horizon of $k$. Its surface gravity is fixed by ${\nabla }_a(k^2)=-2\kappa k_a$ on the horizon. Since $k_a=(dr{)}_a$ there and ${\nabla }_a(k^2)=-f^{\prime }(r_{+})(dr{)}_a$,The positive sign follows from the future outer-horizon generator, normalized by the static time at infinity. It vanishes as the two radii approach the extremal limit.

A spacetime is geodesically complete if every maximal geodesic has an affine parameter ranging over all of $\mathbb{R}$. For timelike geodesics this is equivalent to unbounded proper time in both directions. An extendible geodesic segment can be prolonged in the same spacetime; an inextendible geodesic cannot. A finite coordinate endpoint need not imply finite affine parameter.

For the Kruskal spacetime, use $U,V$ withIn the right exterior $U<0<V$. A truncated ray $U=U_0<0$, $V_1<V<V_2$ is an extendible geodesic of radial null type: neither artificial endpoint is a spacetime boundary. A future ray $U=U_0>0$ in the black hole reaches $UV=1$, hence $r=0$, and is inextendible geodesic and future null-geodesically incomplete. Its Killing energy $E\ne 0$ gives $dr/d\lambda =-|E|$, so the Schwarzschild singularity occurs at finite affine parameter. The maximal continuation toward the past supplies the other half of this same null geodesic.

There is no inextendible, complete radial timelike geodesic in positive-mass Kruskal spacetime. This requested example is impossible as printed. For a radial timelike geodesic, the conserved Killing energy and normalization giveIf $E^2<1$, $r$ has at most one turning point, a maximum $r_{\max }=2M/(1-E^2)$; a maximal trajectory runs from the white hole Schwarzschild singularity to the Schwarzschild singularity. If $E^2\ge 1$, there is no finite turning point; one end can lie at infinity but the other reaches $r=0$. The exceptional $E=0$ trajectory through the bifurcation surface also reaches $r=0$ in both time directions. Near $r=0$,whose integral is finite. Constant-$r$ radial timelike curves are accelerated, not geodesics.

Two plausible repairs have different meanings. Removing “radial” permits a complete circular timelike geodesic at $r=R>6M$, with nonzero angular momentum and proper time ranging over $\mathbb{R}$. Replacing “timelike” by “null” permits a complete horizon null geodesic: $U=0$, $V\in \mathbb{R}$, with $V$ an affine parameter. The Penrose diagram shows both repairs explicitly, together with the two valid requested examples; the circular trajectory is only a radial projection and is labelled as nonradial.

The horizontal boundaries are the Schwarzschild singularities, diagonal dashed lines are the Killing horizons, and outer diagonal edges are null infinity.