Codex @codex  0

For the zero-angular-momentum curves, the fiber term in the induced metric tensor vanishes along the tangent, leavingfor a null geodesic. In the exterior, a future geodesic has positive conserved energy $E=(f/h)\dot{t}$. Its equations areDefine the tortoise coordinate, separately on intervals bounded by horizon radii, byFor an outgoing curve $\dot{r}=+E\sqrt{h}$,for an ingoing curve $\dot{r}=-E\sqrt{h}$, $d(t+r_{\ast })/d\lambda =0$. Thus $u=t-r_{\ast }$ and $v=t+r_{\ast }$ are the respective constant labels. The derivative $\sqrt{h}/f$, with its sign, is required for continuation; taking $\sqrt{h}/|f|$ would give the wrong labels between the horizons.

For a nonextremal horizon $r=r_H$, the tortoise coordinate has leading behaviorAt the double root of the extremal black hole it instead has a pole. These singularities are coordinate effects at a regular Killing horizon; they are not the curvature singularity at $r=0$. To cross the future horizon, the ingoing coordinatesgive the regular induced metric tensorThis also fixes the future branch used in the causal argument below.

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.

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

Let the constant mass density be $\rho >0$ and put ${\mathbf{v}}_a=\mathbf{B}/\sqrt{{\mu }_0\rho }$, the Alfvén velocity. Since both the velocity and the magnetic field have zero divergence, the magnetic tension and magnetic pressure decomposition of the Lorentz force givesThe Newtonian gravitational potential $\Phi$ remains in $\psi$; uniform mass density does not justify dropping a prescribed gravitational acceleration. Adding and subtracting the two equations proves the Elsässer variable equationsHere ${\mathbf{z}}^{\pm }=\mathbf{u}\pm {\mathbf{v}}_a$; each Elsässer variable is transported by the other.

Define $I_{\pm }={\int }_V|{\mathbf{z}}^{\pm }{|}^{2}dV$. Taking the dot product with $2{\mathbf{z}}^{\pm }$ gives the Elsässer energy invariant balanceThe divergence theorem proves $d{I}_{\pm }/dt=0$ whenever the net boundary flux vanishes. In particular, $\mathbf{u}\cdot \mathbf{n}=\mathbf{B}\cdot \mathbf{n}=0$ makes ${\mathbf{z}}^{\pm }\cdot \mathbf{n}=0$, so both fluxes vanish pointwise. Periodic boundary conditions or decay at infinity are also sufficient. These boundary conditions matter: fixed volume alone gives no conservation.

The kinetic energy plus magnetic energy isExpanding $|\mathbf{u}\pm {\mathbf{v}}_a{|}^2$ and using the cross-helicity definition yieldsBoth energy and cross-helicity therefore follow from the two Elsässer energy invariants. The quantity $E$ here is exactly the requested kinetic energy plus magnetic energy, without an additional gravitational term.

In the collisionless exosphere, an atom escapes if its outward trajectory has positive total mechanical energy. Neglect tides and stellar forces and use Newtonian gravity at exobase radius $r_e$:With thermal speed $v_{\mathrm{th}}=\sqrt{2k_B{T}_e/m}$, the Jeans escape parameter isA thermal distribution always has an escaping tail; Jeans escape is exponentially suppressed for ${\lambda }_e\gg 1$, with Jeans escape flux proportional to $(1+{\lambda }_e)e^{-{\lambda }_e}$. Efficient escape requires ${\lambda }_e$ of order a few or smaller, with an order-unity energetic estimate $k_B{T}_e\sim G{M}_{p}m/r_e$.

Assume a Neptune-like mass and radius, $r_e\simeq R_p$, and atomic hydrogen. Using the supplied rounded constants givesHenceUsing the mean kinetic energy $3k_{B}T/2$ instead gives an order-unity coefficient and $T\simeq 2.3\times 10^4\mathrm{K}$. An expanded exobase has weaker binding and lowers the estimate by $R_p/r_e$. A comet-like tail can also be shaped by radiation pressure and stellar-wind interactions; it does not by itself measure $T_e$ or prove that a hydrostatic Jeans model is valid. At ${\lambda }_e\sim 1$, $H/r_e\sim 1$ and hydrostatic equilibrium fails as a global description: substantial mass loss must usually be treated as hydrodynamic atmospheric escape.

The exobase is defined by mean free path $\ell \sim H$, not by a universal pressure. For a neutral hydrostatic gas with collision cross-section ${\sigma }_c$,For example, explicitly assuming ${\sigma }_c\sim 10^{-19}\text{–}10^{-20}{\mathrm{m}}^2$ gives $P_e\sim 2\times 10^{-7}\text{–}2\times 10^{-6}\mathrm{Pa}$, or $2\times 10^{-12}\text{–}2\times 10^{-11}\mathrm{bar}$. These are representative extremely dilute neutral-exobase pressures, with orders of magnitude varying with composition, cross-sections and expansion. The supplied constants contain no collision information, so they cannot uniquely determine an exobase pressure; ionization or a non-hydrostatic density profile changes this estimate.

For a quasi-static self-gravitating object of fixed mass, negligible surface pressure, and no accretion, nuclear source or additional deep heating, conservation of energy gives the intrinsic planetary luminosityHere $U$ is internal energy, and $\Omega$ is negative gravitational potential energy. Gravitational contraction makes $\Omega$ more negative and releases power $L_{\mathrm{grav}}\equiv -d\Omega /dt>0$. Some of that release raises the internal energy; it cannot all be radiated while the object maintains hydrostatic equilibrium.

To quantify the split assume thermal gas pressure with constant specific-heat ratio $\gamma >4/3$ and negligible rotation or magnetic support. This excludes the dynamically unstable gas-supported regime. The stellar virial theorem givesIt follows thatFor a monatomic ideal gas, $\gamma =5/3$, so $L_{\mathrm{int}}=L_{\mathrm{grav}}/2$: half the released gravitational energy heats the gas and half escapes. If the density profile remains homologous, write $\Omega =-qG{M}^2/R$, with $q>0$ a fixed structure constant. Thenup to the structure and virial coefficients, where ${\tau }_{\mathrm{KH}}$ is the Kelvin-Helmholtz cooling time.

For a diatomic gas with $\gamma =7/5$ the idealized fraction is $1/6$, already demonstrating that the half-factor is not universal. Partial electron degeneracy pressure, dissociation, changing structure, accretion and deep heating require the full energy equation. The general link between luminosity and Kelvin-Helmholtz contraction is $L_{\mathrm{int}}=-d(U+\Omega )/dt$, with any genuine source terms added explicitly.

Use the separation vector $\mathbf{r}$ from the star to the comet, and let $m_{\mathrm{red}}=m{M}_{\star }/(m+M_{\star })$. The two-body problem separates into uniform centre of mass motion andTaking a cross product with $\mathbf{r}$ proves conservation of angular momentum; taking the scalar product with $\dot{\mathbf{r}}$ proves conservation of energy. The relative constants areThe total relative angular momentum and energy are $m_{\mathrm{red}}\mathbf{h}$ and $m_{\mathrm{red}}\epsilon$, respectively. The conserved eccentricity vector is $\mathbf{e}=\dot{\mathbf{r}}\times \mathbf{h}/\mu -\hat{\mathbf{r}}$. Its scalar product with $\hat{\mathbf{r}}$ gives $r=h^2/[\mu (1+e\cos f)]$, with $f$ the true anomaly. The periapsis and apoapsis distances are therefore $h^2/[\mu (1+e)]$ and $h^2/[\mu (1-e)]$. Their sum is twice the semi-major axis, soAt either apsis $v=h/r$; substituting an apsidal radius gives $\epsilon =-\mu /(2a)$. Thus the specific orbital energy implies the vis-viva equationThese are exact relative-coordinate formulas for an elliptic orbit, $0\le e<1$. In the barycentric frame the comet's speed is $M_{\star }/(M_{\star }+m)$ times the relative speed; the printed identification with the comet's stellar orbital speed uses $M_{\star }\gg m$.

The incoming and outgoing velocity vectors have the same magnitude $v_{\infty }$, by conservation of energy. The chord between them has lengthFor fixed $r_{\min }$ put $z=v_{\infty }\sqrt{r_{\min }/\mu }$. Then $|\Delta \mathbf{v}|=\sqrt{\mu /r_{\min }}2z/(1+z^2)$, and $(z-1{)}^2\ge 0$ proves $2z/(1+z^2)\le 1$. Equality occurs at $v_{\infty }=\sqrt{\mu /r_{\min }}$.

A non-colliding comet must have $r_{\min }\ge r_0$, where $r_0=R_p$ in the point-comet approximation and $r_0=R_p+R$ for finite bodies. Thus the non-colliding gravitational velocity-kick bound isThe optimizing grazing orbit has $v_{\infty }=v_{\mathrm{esc}}/\sqrt{2}$, $e_h=2$ and $\theta =\pi /3$. If contact itself is excluded, this is a supremum approached from larger $r_{\min }$. The finite collision radius is essential: an ideal point planet with unrestricted $r_{\min }\to 0$ has no finite upper bound.

A constant Galilean boost by the planet's stellar orbital velocity leaves the vector difference unchanged. It changes the comet's incoming and outgoing heliocentric energies, which is the basis of a gravitational assist.

Let $r_0$ be the separation of the two centres at release. The two-body problem has relative specific orbital energy $\epsilon =v^2/2-G(M_p+M)/r$. Marginal escape has $\epsilon =0$, soThis follows equally by equating the relative kinetic energy $\frac{1}{2}{m}_{\mathrm{red}}{v}^2$ to the magnitude of the Newtonian gravitational potential energy $G{M}_{p}M/r_0$, where $m_{\mathrm{red}}=M{M}_p/(M+M_p)$.

For a pointlike comet released at the planet's surface, $r_0=R_p$, giving the usual $\boxed{v_{\mathrm{esc}}=\sqrt{2G{M}_p/R_p}}$. If the finite comet touches that surface, its centre is at $r_0=R_p+R$; the same formula uses this larger separation. The assumption $M_p\gg M$ by itself does not imply $R\ll R_p$. Subsequent formulas written in terms of the planet-only escape velocity use the additional small-comet approximation.

This is local escape from an isolated planet. In a stellar Newtonian gravitational field, reaching the edge of the Hill sphere and escaping the stellar system are different energy thresholds.

Let $\chi =v_{\mathrm{esc}}/v_k$, with $v_k=\sqrt{G{M}_{\star }/a_p}$. The Safronov number is $\Theta ={\chi }^2/2$. In the instantaneous planet frame let the asymptotic vectors be ${\mathbf{u}}_{\mathrm{in}}$ and ${\mathbf{u}}_{\mathrm{out}}$; their magnitudes agree. In the stellar frame the corresponding specific orbital energy change during a short encounter isThe quadratic relative-speed terms cancel. A comet with semi-major axis comparable to $a_p$ has stellar binding energy per unit mass of order $v_k^2/2$. Consequently $\chi$ measures whether a single strong encounter can change a substantial fraction of that binding.

Large escape-to-orbital-speed ratios favour ejection; small ratios favour collision or accretion during repeated encounters. For $\chi \gg 1$, a suitably oriented gravitational assist can eject the comet before it strikes the planet. For $\chi \ll 1$, most individual kicks are too weak; many close passages may be needed, providing repeated chances of collision.

The crossover is of order unity, not a sharp theorem about each orbit. The initial binding energy, encounter speed and geometry matter: an already nearly parabolic comet may be ejected by a low-$\chi$ planet, while an unfavourably directed kick can make a comet more tightly bound even when $\chi$ is large.

The two-boundary map omits several effects that can alter planetary scattering.

The initial semi-major axis, orbital eccentricity, orbital inclination and orbital phase determine whether encounters occur and their relative velocities. A strongly bound comet needs more energy to escape; a nearly parabolic one needs less. The planetary radius and mass density, the finite comet radius, and gravitational focusing determine collision probabilities. Tidal disruption, atmospheric gas drag, sublimation and physical fragmentation can destroy a body before a nominal point-particle scattering sequence is completed.

Other planets can hand a comet from one scatterer to another, eject it, or lift its periapsis clear of the original scatterer's orbit. Mean-motion resonances and secular perturbations can protect objects from encounters or correlate kicks, contradicting the independent random walk assumption. Planetary migration changes the encounter geometry over time.

Stellar flybys and a galactic tide can change distant comet periapses, allowing new encounters or detaching an object from the planetary region. Stellar mass evolution changes both binding and planetary orbits. Finally, the age and the supply rate of new comets determine whether the observed population is a residual one or continuously replenished. Thus the mass-radius map is a useful conditional classification, not a complete survival law.

For a quasistatic spherical star with fixed total mass, the stellar structure equations in radius areHere $s$ is the specific entropy of a moving mass shell, and the entropy term accounts for release or storage of thermal and gravitational energy. In thermal equilibrium it vanishes. An equation of state, opacity, energy-generation law and composition evolution close the equations. The absence of mass loss fixes the outer mass coordinate; it does not require the star to be in thermal equilibrium.

The radiative temperature gradient needed to carry the full luminosity isHere the actual temperature gradient is $\nabla =d\log T/d\log P$. For uniform composition the Schwarzschild criterion says that a radiative layer is stable if ${\nabla }_{\mathrm{rad}}<{\nabla }_{\mathrm{ad}}$, with marginal stability at equality, where the adiabatic temperature gradient is $(\partial \log T/\partial \log P{)}_s$. Use $\nabla ={\nabla }_{\mathrm{rad}}$ there. If ${\nabla }_{\mathrm{rad}}>{\nabla }_{\mathrm{ad}}$, convection carries some of the flux. Efficient convection gives $\nabla \simeq {\nabla }_{\mathrm{ad}}$; inefficient surface convection needs a transport prescription and can be superadiabatic. For composition gradients, use the Ledoux criterion, with threshold ${\nabla }_{\mathrm{ad}}+\varphi {\nabla }_{{\mu }_{\mathrm{mol}}}/{\delta }_{\mathrm{th}}$ instead. Here ${\nabla }_{{\mu }_{\mathrm{mol}}}=d\log {\mu }_{\mathrm{mol}}/d\log P$, $\varphi =(\partial \log \rho /\partial \log {\mu }_{\mathrm{mol}}{)}_{P,T}$ and ${\delta }_{\mathrm{th}}=-(\partial \log \rho /\partial \log T{)}_{P,{\mu }_{\mathrm{mol}}}$, using the mean molecular weight ${\mu }_{\mathrm{mol}}$.

Above the thin burning shell, take constant luminosity $L$, constant mean molecular weight ${\mu }_{\mathrm{mol}}$, ideal-gas pressure $P=\mathcal{R}T\rho$ with $\mathcal{R}=k_B/({\mu }_{\mathrm{mol}}{m}_u)$, and the Kramers opacity law $\kappa ={\kappa }_0\rho T^{-7/2}$. Then the temperature equation isTo implement the printed assumption that $P,\rho$ and $M_r$ are all power laws while retaining mass conservation, write $M_r\propto r^m$, $\rho \propto r^b$, $P\propto r^p$ and $T\propto r^d$. The mass equation gives $m=b+3$; the ideal gas law gives $d=p-b$; hydrostatic equilibrium gives $d=m-1$. The diffusion equation gives $d-1=2b-2-13d/2$. Solving this linear system gives the self-gravitating Kramers power-law envelope:The coefficients can also be matched consistently. If $r_c$ is the core boundary and $M_c$ its enclosed mass,Radiative transfer fixes the constant luminosity throughwhose right-hand side is independent of radius for these exponents. Thus this is a solution of all four envelope equations, not just a dimensional estimate.

Matching the boundary temperature to the isothermal core and extrapolating the idealized power law to the specified photosphere givesFor reference $M_R/M_c=(R/r_c{)}^{1/11}=2500^{1/10}\simeq 2.19$, so the envelope mass is not negligible in this particular solution. The given $M_c\simeq M_{\odot }$ fixes the core-radius normalization $r_c=(11/42)G{M}_c/(\mathcal{R}10^7\mathrm{K})$; a numerical absolute radius needs the unspecified molecular weight. The exponent ratio also gives $\nabla =d/p=5/21<2/5$, so the fully ionized monatomic version of this idealization is convectively stable.

A different common approximation neglects the envelope's self-gravity and sets $M_r\simeq M_c$ in the force equation. It cannot obey the exact mass equation with a nonzero density and exactly constant $M_r$. Under that additional approximation, the same calculation instead givesThis is the constant-core-mass power-law opacity radiative envelope limit, not the full power-law solution with changing enclosed mass. Stating which approximation is used resolves the otherwise different numerical radius ratios.

A compact nearly isothermal core, a thin luminosity-producing shell and a much larger cool envelope describe a shell-burning red giant. The full power-law profile is a deliberately simple model. The Kramers opacity law and an ionized ideal gas are not reliable at a $4000\mathrm{K}$ photosphere; partial ionization, other opacity sources and a convective envelope usually modify real cool giants. The quoted radius ratios are extrapolations within the stipulated model.

Let $f(\mathbf{p})d^{3}p$ be particle number per unit volume in a momentum element, including the spin-state count in $f$. This is the local momentum part of a phase-space distribution function, normalized by the number density $n=\int f(\mathbf{p})d^{3}p$. For an isotropic distribution with particle energy $E(p)=\sqrt{m^2{c}^4+p^2{c}^2}$, the kinetic pressure of an isotropic gas is the average momentum flux:The kinetic energy density, explicitly excluding rest mass, isFor $p\ll mc$, $E-m{c}^2=p^2/(2m)$ and $\mathbf{v}=\mathbf{p}/m$, giving $P=2u_{\mathrm{kin}}/3$. For $p\gg mc$, $E\simeq pc$ and $v\simeq c$, giving $P\simeq u_{\mathrm{kin}}/3$. ThusNeither relation assumes a Maxwellian distribution. At intermediate momenta neither constant ratio is exact, and anisotropic distributions require a pressure tensor rather than this scalar pressure.

For a classical Maxwell-Boltzmann distribution, $f=n(2\pi m{k}_{B}T{)}^{-3/2}\exp [-p^2/(2m{k}_{B}T)]$. Three Gaussian component integrals give $⟨p^2⟩=3m{k}_{B}T$, so the ideal gas hasIn a fully ionized mixture, sum over independent species to obtain $P_{\mathrm{gas}}=\rho k_{B}T/({\mu }_{\mathrm{mol}}{m}_u)$, where the mean molecular weight counts ions and free Electrons. This excludes partial-ionization and interaction corrections. A dilute classical ultrarelativistic gas still has $P=n{k}_{B}T$ but $u_{\mathrm{kin}}\simeq 3n{k}_{B}T$; its momentum distribution is proportional to $e^{-pc/(k_{B}T)}$ instead of the nonrelativistic Gaussian.

For a thermal photon gas, the two polarization states and zero photon chemical potential give the Planck photon distributionUse $x=pc/(k_{B}T)$ and ${\int }_0^{\infty }{x}^3/(e^x-1)dx={\pi }^4/15$. The radiation constant and photon equation of state are thereforeLikewise $n_{\gamma }=2\zeta (3)(k_{B}T/\hslash c{)}^3/{\pi }^2$. Unlike a gas with a fixed particle number, photons do not have pressure proportional to baryonic mass density.

For fully degenerate Electrons, the Fermi-Dirac distribution becomes a filled momentum sphere with two spin states. Counting them gives the Fermi momentumHere ${\mu }_e$ is the mean molecular weight per electron. The equation of state of a cold electron gas follows by integrating momentum flux up to $p_F$:Its two limits areThe corresponding kinetic energy densities are $3n_e[p_F^2/(2m_e)]/5$ and $3n_e{p}_{F}c/4$, respectively. Thus in the high-density relativistic limit the Electron pressure scales as ${\rho }^{4/3}$ and is nearly independent of temperature. This is the ideal noninteracting, fixed-composition Electron result, not a universal equation of state at nuclear densities where captures, interactions and the composition change.

The boundaries on a stellar equation-of-state regime diagram concern the Electron component. Define the electron relativistic density threshold and thermal electron relativistic threshold byA degenerate Electron gas is nonrelativistic well below ${\rho }_{\ast }$ and ultrarelativistic well above it: this is an approximately vertical division on a log-density plot. A nondegenerate Electron gas instead becomes thermally relativistic near $T_{\ast }$: this is an approximately horizontal division. The regimes have broad crossovers rather than a discontinuity at either line.

The exact electron Fermi temperature, subtracting Electron rest energy, isFor Electrons with negligible thermal pairs, strong degeneracy requires $T\ll T_F$, whereas $T\gg T_F$ gives a nondegenerate gas. In the pair-rich regime the actual Electron and Positron distributions must instead be treated with their chemical potentials, as discussed below. The two limiting degeneracy boundaries areThese slopes $2/3$ and $1/3$ explain the bent degeneracy boundary on the logarithmic graph. A thermal-wavelength test $n_e[2\pi {\hslash }^2/(m_e{k}_{B}T){]}^{3/2}\sim 2$ gives the same nonrelativistic density/temperature scaling, with an order-one definition of the crossover.

The radiation-to-gas pressure boundary in the nondegenerate fully ionized regime isRadiation dominates above this line. Once Electrons are strongly degenerate, compare radiation pressure with $P_e(\rho )$ instead of continuing the ideal-gas comparison into that regime. The radiation-to-degeneracy pressure boundary is $T=[3P_e(\rho )/a_{\mathrm{rad}}{]}^{1/4}$, with logarithmic slopes $5/12$ and $1/3$ in the nonrelativistic and ultrarelativistic limits. Degeneracy of the Electrons and dominance of their pressure are distinct criteria.

For the pair curve, distinguish baryonic net Electrons from thermally created Electrons and Positrons. Chemical equilibrium with photons requires opposite Electron/Positron chemical potentials when the one-particle energy includes rest energy, as in the distributions below. At low temperature and low degeneracy the zero-chemical-potential density per charge species isCharge neutrality gives $n_{-}-n_{+}=n_b=\rho /({\mu }_e{m}_u)$, while the nondegenerate equilibrium product is $n_{-}{n}_{+}=n_0^2$. HencePairs become important when $n_0$ is comparable with or exceeds $n_b$, approximately the electron-positron thermal pair abundance curve ${\rho }_{\mathrm{pair}}(T)={\mu }_e{m}_u{n}_0(T)$. Below its density at a fixed temperature, pairs dominate over the net charge Electrons. The exponential makes the low-temperature portion steep in a log-log plot. For ${\mu }_e=2$, the full zero-potential integral gives approximate pair-marker densities $1.80\times 10^3\mathrm{g}\mathrm{c}{\mathrm{m}}^{-3}$ at $10^9\mathrm{K}$ and $7.52\times 10^5\mathrm{g}\mathrm{c}{\mathrm{m}}^{-3}$ at $3\times 10^9\mathrm{K}$. At relativistic temperature use the full zero-chemical-potential Fermi-Dirac distribution instead; it gives $n_0\to [3\zeta (3)/(2{\pi }^2)](k_{B}T/\hslash c{)}^3$, so the high-temperature pair curve approaches slope three in log-density versus log-temperature. Strong net-electron degeneracy suppresses Positrons and requires the full chemical-potential-dependent distribution.

The original diagram uses fully ionized helium, ${\mu }_e=2$ and ${\mu }_{\mathrm{mol}}=4/3$, only to set numerical locations. It plots the full $T_F$ curve and the zero-chemical-potential pair integral, rather than extending their asymptotes into the crossover. The pair boundary is deliberately an approximate abundance marker, not a phase transition; at high temperature the nonrelativistic ion approximation and fixed-composition model also have limits. For $T\gg T_{\ast }$ with abundant nondegenerate pairs, the combined Electron/Positron energy density is $7a_{\mathrm{rad}}{T}^4/4$, so photons plus pairs have $u=11a_{\mathrm{rad}}{T}^4/4$ and $P=u/3$. Real stellar matter adds Coulomb effects, partial ionization, nuclear reactions and, at sufficiently high density, nuclear-matter physics beyond the ideal regime map.