Use a free real scalar field obeying a linear Klein-Gordon equation, for example . This linearity is the assumption that permits mode evolution by a Bogoliubov transformation. Work with a complete set of normalized modes, or normalizable wave packets when the spectrum is continuous. The stationary asymptotic regions supply time translations relative to which positive-frequency solutions and their complex conjugates can be distinguished.
For solutions define the conserved Klein-Gordon inner product
Here is a Cauchy surface with future-directed normal. Its conservation follows by applying the wave equation to the divergence of its current, provided boundary flux is included or vanishes. Let be a positive-frequency basis in the past and one in the future, each propagated as a solution through the intermediate geometry. Normalize them by , and , with the corresponding identities for the future basis. The two field expansions are
The canonical commutation relations give and . The in-vacuum satisfies , while the out-vacuum satisfies . They are generally different vacua.
Fix the coefficient convention by expanding future modes in past modes:
The minus sign is due to the negative norm of the conjugate modes. Taking the Klein-Gordon inner product with the field, which is antilinear in its first entry, gives
Both frequency sectors are needed: if , a future annihilation operator contains a past creation operator. This is the mechanism of particle number from Bogoliubov coefficients, not a classical nonzero mean field.
Computing and explicitly gives the canonical identities for a bosonic Bogoliubov transformation:
Completeness also gives the inverse . Thus the evolved past vacuum, viewed in the future Fock space, obeys
For a finite-mode treatment with invertible , solve this condition by a multimode squeezed vacuum:
The canonical identities make symmetric. Commuting through the exponential gives , which directly verifies the vacuum condition. Its normalization is . A general initial state is obtained by applying its initial creation-operator polynomial and expressing those operators in the future basis. In infinitely many modes, a common unitary Fock representation requires the creation-mixing coefficients to be Hilbert-Schmidt; finite wave-packet counts avoid treating delta-normalized modes as individual normalizable states. These are the bosonic mode mixing implementability conditions, rather than an assumption of arbitrary finite total creation over an infinite time interval.
For the requested number operator of one future mode, set . Expectations below are in the evolved past vacuum , equivalently in using the Heisenberg-mode operators above. Acting on the past vacuum gives , whose squared norm is
The mean particle number vanishes exactly when that mode has no negative-frequency mixing.
The second moment needs the anomalous contraction
The canonical commutation relations give . Moreover,
Its vacuum and two-particle pieces are orthogonal. Applying the commutation relations twice shows
The two pairings each contribute to the squared norm. Hence the full answer is
Thus . These are the out-mode number fluctuations in the in-vacuum. Omitting would assume a property not given in the general question. A thermal single mode has , giving . A single-mode squeezed vacuum state instead has , giving .
If the counted observable is the total number over a finite set of future modes, its moments follow by retaining cross-mode correlations as well. Define and . The same vacuum pairings give . Thus and , with and . Independent thermal counts cannot be assumed for a general correlated squeezed state.
For Hawking radiation, choose the incoming vacuum at past null infinity of a collapse spacetime and propagate late outgoing modes backwards. Near a nonextremal forming event horizon, the logarithmic tortoise-coordinate divergence leads to the Hawking exponential ray map
where is late retarded time, is an early regular affine null coordinate and is the final surface gravity. A late positive-frequency mode therefore becomes proportional to on rays escaping just before horizon formation. This is not positive-frequency with respect to : it has both frequency signs and hence nonzero .
The thermal factor can be seen directly. With , and a regulator , the relevant Fourier integrals are
As , the arguments of the two complex factors approach . Their squared-modulus ratio for the suppressed and enhanced frequency branches is . Thus the thermal ratio of Hawking Bogoliubov coefficients, combined with the canonical normalization, yields the bosonic occupation
in units . Scattering through the exterior potential multiplies the asymptotic occupation by the appropriate greybody factor.
A complete future mode description includes modes crossing the horizon as well as modes reaching future null infinity. The global incoming vacuum develops correlations between these sectors; restricting to the exterior gives approximately thermal outgoing occupation rather than a claim that the complete pure state became a thermal mixed state. This is the particle-production picture of a collapsing black hole, not an incoming thermal bath on an eternal geometry. Including backreaction turns the emitted positive energy into black-hole mass loss. The renormalized quantum stress tensor is not subject to the pointwise classical positivity used in the black-hole area theorem, so this does not contradict its classical proof.
Use geometrized units and assume , , so the Reissner-Nordstrom spacetime contains a black hole. Its outer event horizon is . The classical absorption cross-section is obtained in geometrical optics, by counting incident null geodesics captured from infinity. Spherical symmetry lets us use the equatorial plane. Write , and let a dot denote differentiation with respect to an affine parameter. The conserved Killing energy and angular momentum are and . Null normalization gives
where the impact parameter is and . An incoming ray turns around if the angular-momentum barrier reaches before the ray reaches the event horizon. The limiting captured ray approaches the exterior unstable circular null geodesic, at the maximum of .
The stationary-point equation is
The outer root is the photon sphere radius
It lies outside : for it ranges from down to , whereas ranges from down to . More precisely except in the extremal case, and ; even at extremality . At this root,
so the circular null geodesic is unstable. The smaller stationary root lies at or inside the outer horizon and does not set capture from infinity. For , the radial equation has no exterior turning point and the ray enters the event horizon; for , it turns around. The critical impact parameter is therefore
The stationary-point equation gives , hence . Since a parallel incident beam is captured over a disk of radius , the photon capture cross-section of a Reissner-Nordstrom black hole is
The equality case approaches the unstable orbit indefinitely, but it is a measure-zero boundary of the captured disk and does not change the cross-section.
For the suggested parameterization, choose with and . Then , so the same cross-section is
The black-hole range has , hence . For , , , and , giving
the classical Schwarzschild black hole light-capture result. As an additional limit check, gives , , and . These are geometric capture areas, larger than the corresponding horizon areas; the relevant barrier is the photon sphere, not the horizon's apparent disk. The result applies to light in the short-wavelength limit, while a finite-frequency wave absorption cross-section depends on the greybody factors.
Use geometrized units . 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 is
Here is the background surface gravity, is the background horizon angular velocity, and is the change in event horizon area. The energy and angular momentum are the fluxes carried into the event horizon; when these account for the changes of the black hole, they equal 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 be the stationary Killing vector field normalized at infinity, the axial Killing vector field with -periodic orbits, and
On the background Killing horizon, is its future-directed null generator and satisfies . Choose a parameter with . The null expansion in this parameter is . The generator is not affinely parametrized; if is affine, then after an appropriate choice of affine origin, with . Rescaling the Null Raychaudhuri equation gives
The null twist vanishes because the generators are normal to the event horizon. By the Einstein field equations, . Background null expansion and null shear vanish on a Killing horizon of the background stationary spacetime. Thus and are first order, their squares are second order, and the linearized equation is
The final stationary spacetime supplies the boundary condition in the future. Explicitly,
This future boundary condition reflects the global definition of the event horizon. For localized infall, 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 , gives
Using 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 give
Consequently , proving the displayed Physical-process first law of black-hole mechanics. Restoring replaces by . 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 .
Let 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 are
The future-directed null generator of the Killing horizon is , where 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, with and , while ; hence . Therefore
This 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 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 : 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, , , so
The second law of black-hole mechanics, under its classical null energy condition and regularity hypotheses, gives ; since , this reproduces . The ideal reversible limit has . One should not infer a general finite-capture equality for an extremal black hole by simply substituting : 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.
Each annulus has a torque proportional to , so its scalar product with is zero. Summing over annuli preserves this property even when the proportionality coefficient varies with radius. Therefore for the total torque due to Lense-Thirring precession.
The torque specified is the torque on the disk. Assuming a closed disk-plus-hole angular-momentum budget with no external torque, its reaction on the black hole has the opposite sign:
Thus . The term describes precession, because it is perpendicular to both spins. Since , the hole precesses about the fixed total vector. The term changes the spin directions dissipatively. Writing for the disk component perpendicular to the hole, the vector triple product identity gives
A positive removes this component from the disk and transfers it into the hole's changing direction. This is black-hole and disk alignment under internal torque.
Since is perpendicular to ,
Hence , even if the torque coefficients vary in time.
Now differentiate the scalar product with the conserved total vector. The precession term contributes zero, and the vector triple product identity gives
Also , so constancy of gives
Finally, is constant. Differentiating proves
Thus the disk's spin magnitude decreases while the hole's magnitude is fixed; their vector sum remains fixed as well.
For the alignment conclusion, assume and let . Since ,
For a noncollinear initial state, , this integrates exactly to
Consequently a fixed positive , or more generally a positive coefficient of divergent integrated strength, gives . In this persistent dissipative evolution, : the hole aligns asymptotically with the total angular momentum. The exactly antiparallel configuration is a stationary, nongeneric exception; when there is no total-vector direction to align with.
If the phrase allows arbitrary time dependence, positivity alone does not logically force complete eventual alignment. The persistent-torque criterion for asymptotic spin alignment is the needed qualification. For example, take , , and . The same torque equations give , with limit . The final configurations below use the intended persistent-torque regime, including constant positive .
Once the hole has aligned, conservation of angular momentum fixes the disk without any additional torque calculation:
The disk and hole therefore finish parallel only if . If , they finish antiparallel: this is counteralignment of a black hole and accretion disk. In terms of the initial disk-hole angle , squaring shows that counteralignment occurs when
If , the final disk angular momentum vanishes and has no spin direction. Thus alignment of the hole with the total vector does not imply alignment of both component spins.
During gravitational collapse, nonspherical time-dependent multipoles can be lost in gravitational radiation or absorbed by the forming black hole. Matter remaining outside must ultimately escape or fall in if the final object is to be an isolated vacuum black hole. Assume that the classical exterior settles to a regular stationary asymptotically flat vacuum geometry, with a connected horizon and the regularity conditions of the black-hole uniqueness theorem. This settling assumption is physical input, rather than a consequence of charge conservation alone.
For a rotating remnant, the black-hole rigidity theorem supplies axial symmetry; the uniqueness theorem then identifies the exterior as Kerr spacetime. The nonrotating equilibrium case is Schwarzschild spacetime. Gravitational radiation carries energy and angular momentum but no net electric charge. In the intended neutral collapse, with no net charge carried away by expelled matter, charge conservation therefore leaves zero black-hole charge. Initial total neutrality alone would not prove this if oppositely charged matter were expelled; the two-parameter conclusion assumes the uncharged vacuum remnant just described. This leaves
as its two intrinsic continuous parameters. The final are what remain after escaping matter and radiation have carried off their shares; they need not equal the star's initial values. A spatial rotation may align the spin axis, and a translation or boost chooses the position and rest frame, so these do not add intrinsic parameters. All higher equilibrium multipoles are fixed by ; for example Kerr's mass quadrupole is . A regular Kerr black hole obeys in geometrized units. This is the content of the black-hole no-hair theorem in vacuum general relativity, with its stated hypotheses, rather than a statement about arbitrary matter theories or an unproved guarantee of dynamical settling. Hawking evaporation is ignored in this classical late-time equilibrium description.
Assume and use geometric units. The stationary Killing vector field gives the conserved Killing energy . For radial motion, normalization of the four-velocity gives . Combining these identities yields
At rest at infinity, and , so . Choose the inward branch . Its proper time from the Schwarzschild event horizon to the curvature singularity is
In ordinary units this is . The endpoint is not a regular centre of the spacetime. This is the Schwarzschild horizon-to-singularity proper time for fall from infinity, rather than a universal time for all infall energies.
For this geodesic congruence, set . Its four-velocity and metric dual are
The right side is an exact one-form because depends only on . Thus , with free-fall proper time in Schwarzschild spacetime determined by
Indeed , so this scalar advances by the actual proper time on every member of the infalling geodesic congruence, with a synchronized choice of additive offsets.
Substitution of in the Schwarzschild metric gives
Using , the Painlevé–Gullstrand coordinates therefore have
All coefficients are finite at ; the determinant of the block is . Hence the horizon is a coordinate singularity of Schwarzschild time, not a degeneracy of the metric. The new spatial slices have , the flat Euclidean metric, and makes their normals the freely falling four-velocities. By contrast, the curvature scalar diverges at ; this genuine singularity is not removed.
For Ingoing Eddington-Finkelstein coordinates, use with , for example . Then
Both constructions cross the future horizon. Their time functions have different meanings: is an ingoing null hypersurface, whereas is a flat spacelike hypersurface orthogonal to the infallers. Thus the former is adapted to ingoing null geodesics, and the latter to a timelike free-fall clock congruence.
For the Kruskal diagram, choose Kruskal–Szekeres coordinates with , in the right exterior and extend them across its horizon. They obey
The four regions of Kruskal spacetime are I, the right exterior ; II, the future black hole ; III, the other exterior ; and IV, the past white hole . The null axes are horizons, their intersection is the bifurcation two-sphere, and the spacelike boundaries are the future and past curvature singularities. A point in this radial diagram represents a symmetry two-sphere.
Figure 1.
Kruskal extension with both exteriors, black hole and white hole; the ingoing Painlevé-Gullstrand domain is shaded blue
. Details.
The domain of the ingoing Painleve-Gullstrand chart is region I together with region II and their common future horizon. More precisely, it is , , or with finite . To verify the boundary rather than infer it from the locally regular metric, put and write
This follows by subtracting from the preceding radial primitive, and is finite at . Thus throughout the chart. Conversely every point with and gives a finite . The past horizon , the bifurcation sphere, region III and region IV are absent. Reversing the sign of the radial term produces the outgoing chart through the white hole instead.
Work initially in units and consider gravitational collapse settling to a nonextremal Schwarzschild black hole. Classically, outgoing rays sufficiently close to the forming event horizon suffer an arbitrarily large redshift. Quantum mechanically, the meaning of positive frequency at past null infinity differs from that at future null infinity; a Bogoliubov transformation between these two mode descriptions can therefore mix creation operators and annihilation operators. Hawking's argument computes that mixing and obtains a thermal occupation, even when the incoming state has no particles.
To see why the frequency mixing is universal, use final Schwarzschild time , the Schwarzschild tortoise coordinate , and retarded time . Near the final event horizon, , with Schwarzschild surface gravity . On a fixed advanced-time section, , so is proportional to . Tracing a ray back through the regular collapsing region maps this small separation smoothly to its separation from the last escaping incoming ray. If is an affine incoming null coordinate and labels that limiting ray, the Hawking exponential ray map is
The logarithm at a simple horizon root fixes the exponent. Smooth propagation through the earlier collapse changes and phases but not the leading exponential redshift.
For a massless bosonic test scalar field, an outgoing mode of frequency at future null infinity behaves as . Trace it backward in the high-frequency geometric optics approximation. Its relevant incoming dependence is, up to normalization and a phase,
Here is the Heaviside step function. Incoming rays with do not escape. This truncated logarithmic phase is not purely positive frequency with respect to . Decomposing it into incoming positive-frequency solutions and negative modes gives the Bogoliubov transformation. With , the two relevant Fourier transform integrals are
The former is the positive-frequency coefficient and the latter is the negative-frequency coefficient; the Klein-Gordon inner product introduces the same frequency normalization into their modulus ratio. By the defining integral of the Gamma function and analytic continuation in its Laplace parameter,
For a complex number in the right half-plane, . As , the two arguments tend to and . This gives the thermal ratio of Hawking Bogoliubov coefficients:
The regulator fixes the branches and is essential to the sign of the thermal exponent.
Expand the outgoing annihilator as , including a complete set of incoming channels. The canonical identities for a bosonic Bogoliubov transformation express . For normalized outgoing wave packets, they give . In the incoming Fock vacuum, the outgoing mean of the particle number operator is . Combining the two identities with the thermal ratio, in the late-time narrow-frequency packet limit, yields
Wave packets avoid interpreting the divergent normalization of infinitely long continuum modes as a finite particle count. The temperature is the Hawking temperature, and the occupation is the zero-chemical-potential Bose-Einstein distribution. Restoring constants, the Schwarzschild black hole temperature is for physical mass .
The preceding thermal occupation describes the horizon-originating channel before exterior scattering. The exterior angular and curvature potential partly reflects it. For a scalar field, the number flux at future null infinity is consequently
where the greybody factor is the transmission probability of a partial wave. Multiplication by gives its energy flux. Thus the asymptotic spectrum has the thermal denominator but is not an exact blackbody spectrum. For fermionic fields the canonical anticommutation relations replace the minus sign in the occupation denominator by a plus sign, at the same Hawking temperature.
The relevant state is the collapse vacuum for Hawking radiation: no incoming thermal bath at past null infinity, and regular short-distance behavior in freely falling coordinates at the forming event horizon. It predicts an outgoing flux, unlike equilibrium with a thermal bath on an eternal black hole. The derivation uses quantum field theory in curved spacetime on a prescribed classical geometry; it does not require outgoing particles to follow forbidden classical paths out of the interior. Positive energy carried to infinity is accompanied, in the semiclassical description, by negative Killing-energy flux into the black hole. Including that flux in slow backreaction decreases its mass, giving black-hole evaporation.
The approximation applies to the late radiation of a large nonextremal black hole while its surface gravity changes slowly on a time scale . Backward propagation involves very high locally measured frequencies, so the calculation assumes the usual regular short-distance quantum-field state. It determines the leading radiation and temperature, not the Planck-scale endpoint of black-hole evaporation. The exponential horizon redshift forces positive/negative frequency mixing with a thermal ratio, giving outgoing Hawking radiation at .
The assumed central black hole mass is . A mass alone does not fix radiated energy: specify a formation mechanism and its radiative efficiency of black-hole accretion. For radiatively efficient accretion, if a fraction of the supplied rest-mass energy escapes and the remainder increases the black hole mass, then and
Taking the customary order-of-magnitude efficiency gives
The coeval accretion phase would be a quasar-scale source, hundreds of times brighter than a typical present galaxy. Compared directly with the preceding gravitational-collapse estimate,
Despite its small mass fraction, black-hole accretion extracts a fraction of rest-mass energy, while galactic collapse releases only an energy scale . The numerical luminosity is conditional: a radiatively inefficient accretion flow, direct collapse or assembly by mergers need not radiate this amount over the galactic clock, and the question supplies no unique efficiency.
Many lower-luminosity elliptical galaxies have dense central stellar cusps, giving far more photons and kinematic tracers near a central black hole than the shallow depleted cores common in massive elliptical galaxies, as measured in Central galaxy profiles. Thus central surface brightness can make the smaller black hole easier to measure, despite its smaller mass, whereas sparse central tracers and uncertain stellar orbital anisotropy weaken measurements in a large core. This is not a universal mass ordering: the black-hole sphere of influence must still be sufficiently resolved in angle, so distance, velocity dispersion and angular resolution also matter.
For nonzero , requires , . Oblate Cartesian coordinates satisfy , , so this is the Kerr ring singularity of radius . Curvature components and generic invariants diverge there. The whole surface is not singular: away from the ring it is a disk through which the extension continues to a sheet with . This oblate radial parameter is not a nonnegative Euclidean distance.
In units, . Horizon candidates solve , giving . For , equivalently , there are no real roots. The over-rotating Kerr solution has no event horizon hiding its naked ring singularity. The term black hole in this regime names the Kerr family, not a hidden-singularity black hole.
Stellar nucleosynthesis and the subsequent return of matter explain most elements heavier than the primordial hydrogen and helium. Big Bang nucleosynthesis supplied predominantly those two elements, with small light-isotope abundances; stars do not make every element from an initially metal-free mixture. Different stellar masses reach different central temperatures and leave different remnants. The mass comparisons below describe representative isolated, near-solar-composition stars; mass loss and binary interaction can alter the final core. A nucleus contributes to later generations only if it is eventually expelled into the interstellar medium, rather than remaining locked in a remnant.
A star spends its main sequence life converting hydrogen to helium, predominantly through the proton–proton chain. After core hydrogen burning ends, a hydrogen-burning shell supplies an expanding red giant envelope and builds an electron-degenerate helium core. First dredge-up exposes material whose CNO cycle has redistributed the original carbon and nitrogen abundances. The helium flash starts core helium burning: the Triple-alpha process makes carbon, and carbon-12 alpha capture makes oxygen. Once core helium is exhausted, the Asymptotic giant branch has a carbon-oxygen core with helium-burning shell and hydrogen-burning shell. Shell instability causes AGB thermal pulses; subsequent third dredge-up, where efficient enough, can bring carbon and neutron-capture products into the envelope. Its efficiency at such low mass depends on composition and mixing. The star does not ordinarily ignite core carbon burning. Stellar winds remove the envelope, a hot remnant may illuminate a planetary nebula, and a carbon-oxygen white dwarf retains much of the core's synthesized matter.
A star generally uses the more temperature-sensitive CNO cycle for main-sequence hydrogen burning, with a substantial convective core. Its hotter helium core ignites core helium burning without the low-mass degeneracy-driven helium flash, producing carbon and oxygen. After core helium exhaustion it develops double-shell Asymptotic giant branch burning and a degenerate carbon-oxygen core. Second dredge-up and repeated third dredge-up alter the envelope composition. In sufficiently hot models, hot-bottom burning at the base of the convective envelope converts dredged-up carbon into nitrogen through the CNO cycle; consequently a carbon-producing shell need not produce a carbon-rich final envelope. Hot helium-shell pulses can activate the neutron source. Strong stellar winds expel these processed layers. A conventional isolated five-solar-mass model ends as a carbon-oxygen white dwarf, below the mass range that normally develops sustained core carbon burning; mass loss and mixing govern the exact boundaries between outcomes.
A star has core CNO cycle hydrogen burning, followed by core helium burning. The core then contracts through carbon burning, neon burning, oxygen burning and silicon burning, with active shells outside the successive exhausted cores. Carbon burning produces chiefly nuclei such as neon and magnesium. Neon burning combines photodisintegration and alpha capture; oxygen burning makes silicon-group nuclei. Silicon burning is a network of captures and photodisintegration approaching nuclear statistical equilibrium, rather than simply fusion of pairs of silicon nuclei. It produces an iron-group mixture governed by temperature, density and weak reactions. The maximum in nuclear binding energy per nucleon near the iron group prevents continued exothermic fusion from supplying ordinary hydrostatic support. Stellar neutrino energy loss accelerates the advanced stages; electron capture and photodisintegration help remove support during iron-core collapse.
The massive star can return products both before and during collapse. Radiation-driven stellar winds may expose and expel layers enriched in helium, nitrogen, carbon and oxygen. A successful core-collapse supernova ejects additional hydrostatic products and creates further nuclei by shock-driven explosive burning, including alpha-rich and iron-group products. The nickel-56 decay chain converts radioactive nickel into iron through cobalt. Initial mass alone does not fix the explosion or remnant: substantial fallback or a failed supernova can leave a black hole and retain much of the core material. Thus the possible core-collapse supernova contribution is not a guarantee that a thirty-two-solar-mass star ejects every element it made.
For nuclei well beyond the iron group, neutron capture is a principal assembly mechanism, avoiding the large Coulomb barrier for charged-particle fusion. Beta-minus decay converts captured neutrons into protons and raises the atomic number. In the s-process, captures are slower than relevant beta decays, so the sequence usually follows nuclei near stability. The main site is the Asymptotic giant branch: is an important neutron source in low-mass intershell material, while becomes important in hotter pulses and in massive-star helium/carbon burning. Third dredge-up and stellar winds make these products available to the interstellar medium. Barium and lead illustrate heavy products; the detailed yield depends on seed abundance, neutron exposure and branching at unstable nuclei.
In the r-process, neutron captures outrun beta decays, building very neutron-rich nuclei before they decay toward stable heavy isotopes. This needs much larger neutron densities than the s-process and can produce very heavy nuclei, including uranium. Neutron-rich ejecta from neutron star mergers provide an established site: observed kilonova emission and spectroscopy support heavy-element synthesis in such ejecta. Rare magnetically driven stellar-collapse outflows are additional candidate sites. An ordinary core-collapse supernova cannot automatically be assumed to supply a complete heavy r-process pattern.
Not every heavy isotope belongs to the two capture sequences. Gamma-process nucleosynthesis in hot supernova material uses photodisintegration on pre-existing heavy seed nuclei through neutron, proton and alpha-emission channels, helping produce proton-rich isotopes bypassed by the main capture paths. This is distinct from simply using charged-particle fusion to build every element beyond the iron group.
Finally, binary stars change both production and delivery. Roche-lobe overflow and wind mass transfer in a binary star strip envelopes, change subsequent core growth, and expose processed layers. Mass transfer from an Asymptotic giant branch donor can enrich a surviving companion in carbon and s-process products, as in a barium star; this redistributes existing yields rather than creating them in the recipient. Accretion onto a white dwarf can trigger a classical nova with explosive hydrogen-burning products. Thermonuclear disruption of a carbon-oxygen white dwarf in a Type Ia supernova, through suitable accretion or the Double-degenerate Type Ia supernova scenario, supplies a major delayed iron-group contribution, including iron; it is not the same event as collapse of a massive iron core. Compact binaries containing two neutron stars can later merge and eject r-process material. Thus binaries affect stellar mass histories, enrich companions, open thermonuclear explosion channels, and create heavy-element-producing compact-remnant mergers.
The key distinction is between making nuclei and ejecting them: ordinary low/intermediate-mass stars mainly return processed envelopes, massive stars add advanced and explosive burning products when those layers escape, and neutron-capture environments supply much of the material beyond iron.
At fixed masses, the equal-mass circular-binary quadrupole luminosity grows as . The binary's Newtonian binding energy is , so reducing the separation increases both the binding and the radiated power. Equivalently, its luminosity scaling is
which makes the importance of orbital compactness explicit.
Ordinary extended stars cannot remain separate at very small orbital radii: contact, mass transfer and tidal disruption intervene. A neutron star or black hole can remain a compact orbiting object down to separations of order a few gravitational radii, allowing high orbital speeds, rapidly changing mass quadrupole moments and strong gravitational waves. Thus compact, tightly bound binaries are especially efficient emitters. The Newtonian quadrupole formula explains the scaling; precision predictions near merger require relativistic dynamics, where that approximation itself ceases to be reliable.