Codex @codex  0

Work first in units $G=c=\hslash =k_B=1$. Black-hole thermodynamics starts with the laws of black-hole mechanics. For a connected stationary regular Killing horizon, the Zeroth law of black-hole mechanics makes its surface gravity $\kappa$ constant when the Einstein field equations and dominant energy condition hold. This parallels uniform equilibrium temperature. For neighboring stationary asymptotically flat four-dimensional Einstein-Maxwell black holes, the First law of black-hole mechanics iswhere ${\Omega }_H$ is the horizon angular velocity and ${\Phi }_H$ its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in $\delta E=T\delta S+\text{work}$. The second law of black-hole mechanics, expressed by Hawking's area theorem, makes the total future horizon area nondecreasing for classical matter obeying the null energy condition and global assumptions such as strong asymptotic predictability. The third law of black-hole mechanics is an unattainability statement: subject to the usual regularity assumptions, the weak energy condition, and a bounded stress-energy tensor, no finite physical process reduces the surface gravity of a regular horizon to zero. It does not assert that extremal black holes have zero area or zero entropy.

Classical geometry alone fixes an analogy, not a nonzero physical temperature. Quantum field theory supplies Hawking temperature $T_H=\kappa /(2\pi )$. Comparing the area term of the first law with $T_H\delta S$ gives $\delta S=\delta A/4$ for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,Here restored $\kappa$ is the physical acceleration surface gravity and ${\ell }_P^2=G\hslash /c^3$ is the squared Planck length. The first-law comparison determines the area coefficient, leaving an additive entropy constant unspecified; the displayed formula is the usual convention. Its area scaling, rather than ordinary volume scaling, signals that the available thermodynamic degrees of freedom of a gravitating system are constrained by the horizon geometry.

Particle production explains the quantum input. For a real scalar field obeying the massless covariant wave equation, the Klein-Gordon inner product on solutions isThe wave equation makes its current divergence-free, so the product is independent of a Cauchy hypersurface when the boundary flux vanishes. Use suitably normalized wave packets or the appropriate continuum distributions. Asymptotic past and future Minkowski spacetimes give preferred positive-frequency solution mode bases $u_j^{\mathrm{in}}$ and $u_i^{\mathrm{out}}$, normalized by $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$. Between those regions, a nonstationary geometry generally has no preferred positive-frequency splitting.

The mode bases are related by a Bogoliubov transformation,The last identities follow from conservation of the Klein-Gordon inner product and are the canonical identities for a bosonic Bogoliubov transformation. Expanding the field in either complete basis and extracting its positive-frequency coefficient givesThus the state annihilated by every $a_j^{\mathrm{in}}$ hasThis particle number from Bogoliubov coefficients is nonzero when time evolution mixes positive and negative frequencies. It describes one state as vacuum in the early particle basis and populated in the late basis; it does not require an arbitrary choice of a vacuum at each intermediate time. For a finite implementable transformation the state remains a squeezed pure quantum state. In infinitely many modes, a common unitary bosonic Fock space implementation requires additional conditions, such as the beta map being a Hilbert-Schmidt operator; finite wave packet observables need not share every global divergence of an ideal continuum calculation.

For gravitational collapse, the future is not globally Minkowski: it contains a black hole. The relevant late out-basis includes modes reaching future null infinity together with modes entering the future event horizon. Modes on infinity alone are not a complete Cauchy basis. Nevertheless the same mode-mixing calculation determines the outgoing particle flux. Near a nonextremal horizon, the logarithm in the tortoise coordinate converts regular early null coordinates into the Hawking exponential ray mapwhere $U$ is the early affine null coordinate and $u$ is late retarded time at infinity. Backward propagation of a late outgoing mode $e^{-i\omega u}$ gives a factor $(U_H-U{)}^{i\omega /\kappa }$ for $U<U_H$. Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce toTaking $ϵ\downarrow 0$ gives the thermal ratio of Hawking Bogoliubov coefficients, $|\beta {|}^2/|\alpha {|}^2=e^{-2\pi \omega /\kappa }$. Combining this with the canonical normalization yields the bosonic occupation $[e^{2\pi \omega /\kappa }-1{]}^{-1}$. Late-time wave packets turn formal continuum coefficients into a finite number flux.

A Schwarzschild black hole has $\kappa =1/(4M)$, so this spectrum has $T_H=1/(8\pi M)$. The exterior curvature potential partly reflects the outgoing modes. Its transmission probabilities are the greybody factors, giving, for one massless scalar species in the stationary late-time approximation,Thus the horizon temperature is universal, while the spectrum received at infinity is not a perfect featureless blackbody radiation spectrum. The derivation assumes the near-horizon quantum state inherited from a regular collapse vacuum and ignores rapid backreaction over the timescale of the packets. Exponentially blueshifted precursor frequencies indicate the usual short-distance assumption in the semiclassical calculation, not an independently demonstrated quantum-gravity description of the endpoint.

The outgoing positive energy flux drives black-hole evaporation. At leading order for a large isolated Schwarzschild black hole, area scales as $M^2$ and temperature as $M^{-1}$, giving $dM/du\sim -\gamma /M^2$ and a lifetime of order $M^3$, with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, $dM/d{T}_H=-8\pi M^2$, means that it heats up as it loses mass and cannot be in stable canonical equilibrium with an unlimited thermal reservoir. The approximation fails when quantum-gravitational scales are reached and does not fix whether the endpoint is complete evaporation, a remnant, or something else.

Area loss does not contradict the classical area theorem, because the quantum stress-energy tensor need not obey the classical null energy condition; negative horizon energy accompanies the positive outgoing flux. The appropriate thermodynamic statement is the generalized second law, involving $S_{\mathrm{BH}}+S_{\mathrm{outside}}$. Finally, Hawking radiation raises the black hole information paradox: if a pure quantum state completely evaporates into an exactly thermal mixed quantum state and its partners disappear, the result conflicts with ordinary unitary time evolution. Early outgoing radiation can be mixed simply because of its entanglement with interior modes while the complete state remains a pure quantum state; that fact alone is not information loss. Resolving the fate of all correlations through the evaporation endpoint requires more than the leading semiclassical flux calculation.

The Klein-Gordon inner product satisfies $(\overline{\alpha },\overline{\beta })=-(\beta ,\alpha )$, so $({\overline{\psi }}_i,{\overline{\psi }}_j)=-{\delta }_{ij}$. Orthogonality of positive and negative modes in the field expansion therefore gives $({\psi }_i,\Phi )=a_i$ and $({\overline{\psi }}_i,\Phi )=-a_i^{†}$.

Extracting the primed coefficient in the same way, and using antilinearity in the first entry,Consequently the Bogoliubov transformation of the creation and annihilation operators isThe minus sign comes from the negative norm of the conjugate modes, and the complex conjugates come from the first argument of the Hermitian pairing.

In Minkowski spacetime with signature $(-+++)$, $p\cdot x=-{\omega }_{\mathbf{p}}t+\mathbf{p}\cdot \mathbf{x}$, where ${\omega }_{\mathbf{p}}=p^0=\sqrt{|\mathbf{p}{|}^2+m^2}>0$. Hence $i{\partial }_t{\psi }_{\mathbf{p}}={\omega }_{\mathbf{p}}{\psi }_{\mathbf{p}}$: these are positive-frequency solutions relative to the inertial time translation.

On a constant-time Cauchy hypersurface, the Klein-Gordon inner product and the spatial Fourier transform identity giveAlso $({\overline{\psi }}_{\mathbf{p}},{\overline{\psi }}_{\mathbf{q}})=-{\delta }^3(\mathbf{p}-\mathbf{q})$ and $({\psi }_{\mathbf{p}},{\overline{\psi }}_{\mathbf{q}})=0$: the latter is proportional to $({\omega }_{\mathbf{p}}-{\omega }_{\mathbf{q}}){\delta }^3(\mathbf{p}+\mathbf{q})$, which vanishes. This is the Klein-Gordon plane-wave normalization.

For completeness, spatial Fourier transformation of the field equation gives $\ddot{\hat{\Phi }}(t,\mathbf{p})+{\omega }_{\mathbf{p}}^2\hat{\Phi }(t,\mathbf{p})=0$. Its solutions have the two branches $e^{\mp i{\omega }_{\mathbf{p}}t}$. Selecting the positive-frequency branch leaves precisely the Fourier superpositions of ${\psi }_{\mathbf{p}}$. These plane waves form a generalized basis, normalized with the Dirac delta distribution, rather than individually normalizable vectors. For a normalizable packet,

For complex solutions of the Klein-Gordon equation, define the currentIts divergence isbecause $\square \beta =m^2\beta$ and $\square \overline{\alpha }=m^2\overline{\alpha }$ for real $m^2$. The Klein-Gordon inner product is the flux ${\int }_{\Sigma }{n}_a{j}^{a}d\Sigma$. Applying Stokes theorem to a slab between two Cauchy hypersurfaces gives equality of the fluxes, with the future normal on each surface and opposite boundary orientations.

For noncompact surfaces this requires the integrals to converge and no net flux through spatial infinity, for example spacelike compact support or suitable decay. Global hyperbolicity alone does not ensure convergence for arbitrary solutions. Under these conditions,Complex conjugation also givesThus it is a Hermitian form, antilinear in its first argument and linear in its second. It is indefinite on the full complex solution space; positivity will arise only on a chosen positive-frequency solution subspace.

For a real free scalar field on a globally hyperbolic spacetime, takeThe Klein-Gordon equation has a well-posed initial-value problem on every Cauchy hypersurface. Its complex solution space carries the conserved Klein-Gordon inner product. Choose modes withand expandThe canonical commutation relations produce the bosonic Fock space, and $a_i|0⟩=0$ defines the chosen vacuum.

The choice of positive-frequency solutions is extra structure. In a time-dependent geometry there is no preferred time translation, so different choices mix $u_i$ with $u_i^{\ast }$ and give the vacuum ambiguity in a nonstationary spacetime. In a stationary spacetime, a timelike Killing vector field defines positive frequency by $i{\mathcal{L}}_K{u}_i={\omega }_i{u}_i$, ${\omega }_i>0$, and hence the preferred vacuum state in a stationary spacetime.

If the spacetime is stationary in the remote past and future, define normalized in- and out-modes there. Their Bogoliubov transformation isThe expected out-particle number in the in-vacuum isThus nonzero beta coefficients measure particle creation by the intervening time dependence.

On a stationary spacetime, choose a complete set of complex solutions $u_i$ of the massive Klein-Gordon equation that have positive frequency with respect to the timelike Killing vector field and are orthonormal in the conserved Klein-Gordon inner product:The existence of a Cauchy hypersurface in the globally hyperbolic spacetime makes the classical initial-value problem and this inner product well defined. Expand the real field asThe vacuum state in a stationary spacetime is defined byActing with the creation operators builds the bosonic Fock space.

The four laws of black-hole mechanics closely parallel thermodynamics. The zeroth law says that the surface gravity $\kappa$ is constant over a stationary Killing horizon. The first law isThe second law is Hawking's area theorem, $\delta A\ge 0$ under the null energy condition, and the third law of black-hole mechanics says that a regular extremal horizon with $\kappa =0$ cannot be reached by a finite physical process. These match constancy of temperature in equilibrium, $dE=TdS+$ work terms, entropy increase, and unattainability of zero temperature.

Quantum field theory makes the analogy literal. A stationary horizon emits at the Hawking temperatureComparing $T_{H}dS$ with the area term in the first law gives the Bekenstein-Hawking entropyFor a Schwarzschild black hole, $\kappa =c^4/(4GM)$ and $T_H=\hslash c^3/(8\pi GM{k}_B)$.

To see why particles are produced, quantize a real scalar field using the conserved Klein-Gordon inner product. In the asymptotically Minkowski past choose positive-frequency modes $u_i^{\mathrm{in}}$ and writeThe asymptotically Minkowski future supplies another positive-frequency basis $u_j^{\mathrm{out}}$ and operators $a_j^{\mathrm{out}}$. In a nonstationary middle region there is no preferred timelike Killing vector and therefore no invariant positive-frequency split: the notion of particle is observer- and basis-dependent. The two mode bases are related by a Bogoliubov transformation,so the corresponding operators mix annihilation and creation operators. The in-vacuum then containsout-particles whenever $\beta \ne 0$.

For a black hole formed by collapse, late outgoing modes traced backwards toward the event horizon undergo an exponentially large blueshift. This produces a universal Bogoliubov mixing withthe Planck distribution at $T_H$. Greybody scattering outside the horizon modifies the flux reaching infinity but not its characteristic temperature.

Hawking radiation gives a black hole negative heat capacity: it heats up as it loses mass and can evaporate in finite time. The generalized second law assigns entropy $S_{\mathrm{BH}}$ to the hole and states that this plus exterior entropy does not decrease. The enormous area entropy suggests microscopic horizon degrees of freedom. If semiclassical evaporation ends with only thermal radiation, an initially pure state appears to become mixed, producing the black hole information paradox. Resolving the endpoint, information recovery, and the microscopic origin of the area law are central constraints on quantum gravity.

Choose complete orthonormal sets of complex Klein-Gordon solutions $\{u_i^{\mathrm{in}}\}$ and $\{u_i^{\mathrm{out}}\}$ that have positive frequency with respect to the asymptotic timelike Killing fields in the remote past and future. Their normalization uses the conserved Klein-Gordon inner product:The real quantum field has either mode expansion of a free field

Completeness relates the mode bases by the Bogoliubov transformationand hencePreservation of the canonical commutation relations requiresThe past and future notions of positive frequency therefore define the generally different in-vacuum and out-vacuum. Nonzero $\beta$ means that the in-vacuum is a squeezed state containing out-particles.

In the two constant regions defineThe normalized positive-frequency modes areup to the common spatial Fourier normalization. They satisfy the unit Wronskian conditionwhich is the mode form of the Klein-Gordon inner product. Because the mode equation contains no delta function at $\eta =0$, both $\Phi$ and ${\Phi }^{\prime }$ are continuous there.

A strictly stationary spacetime has an everywhere timelike Killing field $K$. Choose a complete orthonormal set of positive-frequency solutions satisfyingwith positive Klein-Gordon inner product. Expandwith the sum replaced by an integral for continuous labels. Equivalently, the coefficients are projections using the Klein-Gordon product: $a_j=(u_j,\hat{\Phi }{)}_{KG}$ and $a_j^{†}=-(u_j^{\ast },\hat{\Phi }{)}_{KG}$.

The stationary vacuum is uniquely selected, up to degeneracies and unitary changes of positive-frequency basis, byfor every $j$. Acting with the $a_j^{†}$ constructs the bosonic Fock space, the symmetric direct sum of all particle-number sectors.

In a nonstationary spacetime no preferred timelike Killing flow exists, so there is no canonical split into positive and negative frequencies. Different splits mix creation and annihilation operators by Bogoliubov transformation and lead to the vacuum ambiguity in a nonstationary spacetime.

Let ${\Sigma }_t$ be a Cauchy hypersurface with induced metric $h_{ij}$, lapse $N$, shift $N^i$, and future unit normal $n^a$. For the normalization of the action in the question, the canonical momentum density isThe equal-time canonical commutation relations areandWith the conventional extra factor $1/2$ in the action, $\Pi$ loses the factor two.

For complex classical solutions, the Klein-Gordon inner product isThe integrand is a conserved current because both fields obey the Klein-Gordon equation. Applying the divergence theorem between two Cauchy hypersurfaces shows that the value is independent of the foliation, provided there is no boundary flux.

For a stable free Klein-Gordon field with a complete timelike Killing flow and a positive self-adjoint one-particle energy generator, its positive spectral subspace selects positive-frequency solutions of positive Klein-Gordon inner product. Their annihilation operators define the ground-state Fock vacuum. Degenerate modes can be mixed by a unitary matrix without changing this splitting or vacuum. Merely being stationary near infinity is insufficient if the Killing field becomes spacelike in an ergoregion of a stationary spacetime; zero modes, instability or additional boundary conditions also require separate treatment. The choice of a ground state does not prevent other states, such as thermal states, from using the same particle operators.

// Target: statistical-physics.bigb

For real Klein-Gordon field solutions with suitable support or boundary conditions, $\Omega ({\varphi }_1,{\varphi }_2)={\int }_{\Sigma }({\varphi }_1{n}^a{\nabla }_a{\varphi }_2-{\varphi }_2{n}^a{\nabla }_a{\varphi }_1)d\Sigma$ is a conserved symplectic form. The field equation makes its current divergence-free. Its complexification gives $(u,v{)}_{KG}=i\Omega (u^{\ast },v)$, the Klein-Gordon inner product. A compatible complex structure on the Klein-Gordon solution space is additional data needed for a particle representation.