Apply volume conservation, mass conservation and vertical momentum flux balance to a slice of the triangular-profile line plume. Ambient ingestion contributes of volume and of mass per unit height and source length. The ambient is quiescent, so it supplies no leading vertical momentum. The integrated driving force is the stored buoyancy . Using the quantities from part (a), the non-Boussinesq triangular-profile line-plume balances are
Together with Batchelor entrainment, these are three equations for . They neglect viscous boundary stresses and streamwise pressure-force corrections within the integral-plume approximation.
Multiplying volume conservation by and subtracting times mass conservation cancels the ambient sources exactly, giving
This is buoyancy conservation in the homogeneous ambient; it is a consequence of the first two balances, not an additional independent equation.
Now take the Boussinesq approximation in inertia and entrainment, retaining the small density deficit in buoyancy. Then , and . Consequently
The mass source is . Substitution into the mass conservation, momentum and buoyancy balances gives the unsteady Boussinesq triangular-profile line-plume balances
These use density-weighted mass and momentum fluxes. Removing from some flux definitions while retaining it in the source would mix incompatible conventions.
For a smooth test function , integration by parts gives the moment identity
The assumed decay removes all boundary terms. Apply it to , and . Writing gives the Ornstein-Uhlenbeck moment equations
Assume when using the normalized mean ; otherwise is undefined, while the unnormalized momentum equation still holds. Since is constant, . Their solutions are
Thus mass is conserved, the mean velocity tends to zero, and . This includes the mean velocity conclusion omitted from the converted TeX.
For positive smooth with the stated decay, integration by parts gives
and, using unit mass,
For zero values of , these calculations can be made with the positive unit-mass approximation and then passed to the limit whenever the quantities are finite. Positive-time solutions also have the usual Gaussian smoothing.
Since , mass conservation gives
The derivative of the first term is , because . The two identities above and the energy equation in (b), with , yield
Now expand the relative Fisher information:
where . Thus the entropy dissipation identity for Ornstein-Uhlenbeck flow is
For unit mass, the inverse-square force has potential energy , with zero potential at infinity. Conservation of angular momentum gives . Differentiate the polar equation of the Kepler orbit:
Consequently the total mechanical energy is
where . This also explains the sign distinction between an elliptic orbit, a parabolic Kepler orbit, and a hyperbolic Kepler orbit.
At the original periapsis, the parabolic Kepler orbit has , , and purely tangential speed . Thus
The outward radial impulse has zero moment about the Sun, so it preserves angular momentum and hence . Its additional velocity is perpendicular to the original velocity, so the new mechanical energy is . Applying the energy formula gives
For , the new orbit is a hyperbolic Kepler orbit; leaves the parabola unchanged.
To fix the orientation of the sketch, put the Sun at the origin, the impulse point at , and take the original motion there upwards. The new velocity is . The eccentricity vector is
It points towards the new periapsis, which is rotated clockwise through from the original periapsis direction. Thus, measured using the original polar angle , the new orbit is
In particular, the impulse point is already on the outgoing part of the new orbit and is not its new periapsis. The old parabola satisfies . Both orbits pass through and have the same focus, but the hyperbola's new periapsis axis is tilted.
Figure 1.
Original parabolic orbit and the orbit after an outward radial impulse
. Illustrative case , with distances in units of . The solid orange curve is the subsequent hyperbolic trajectory; its dashed continuation is the earlier part of the mathematical conic. The original velocity and radial velocity increment are shown at the impulse point. Details.
Use Newton's second law, . Acceleration has physical dimension , so multiplying by mass gives the dimension of force
The bracket notation records a physical dimension, rather than the numerical value or the choice of units.
From Newton's law of universal gravitation, , the gravitational constant has physical dimension
Here the two factors of mass and the inverse square of the separation determine the powers of and .
Work in one fixed inertial frame, and take positive velocity in the rocket's direction. During , the rocket ejects the positive amount of mass . Its exhaust has inertial velocity , by the Galilean transformation of velocities. Once expelled, that material retains its velocity because it experiences no external force. The system's momentum is therefore the rocket momentum plus the sum of all these exhaust momenta:
The minus sign comes from the positive expelled mass being .
Differentiate, applying the product rule to the rocket momentum and the fundamental theorem of calculus to the integral:
The momentum conservation law thus gives the nonrelativistic rocket equation
The same bookkeeping for kinetic energy gives
Its derivative is
where the rocket equation cancels the first two terms. Thus kinetic energy increases during mass ejection, with when and . This does not violate conservation of energy: the increase comes from stored internal energy.
For this question use the mostly-plus Dirac convention: the Minkowski metric is and
This convention matches the printed plane-wave phase and final identity. It is related to the usual mostly-minus Dirac equation by reversing the metric and taking the negatives of the usual gamma matrices. In particular, the resulting Dirac action and its Dirac adjoint describe the same physical massive field. The Dirac gamma matrices are four complex matrices representing the spacetime Clifford algebra with quadratic form . The irreducible complex representation has dimension four. A convenient explicit choice is the negative of the standard Dirac representation of the gamma matrices:
where are the Pauli matrices. Their multiplication law verifies the displayed anticommutator.
In this representation the gamma matrix adjoint and transpose identities are
and
The invariant way to express the latter pattern uses the charge-conjugation matrix:
Individual transpose signs depend on the basis. More generally, a similarity transformation changes the Hermitizing matrix to and the charge-conjugation matrix to . Then and . Thus the simple formula with itself presumes a compatible Hermitian basis, rather than an arbitrary nonunitary similarity transformation.
Applying to the Dirac equation gives . Its mass shell is , so the frequencies are . The Dirac spinor transforms in the four-component Spinor representation of the Lorentz group. Under spatial rotations, the two upper and the two lower components each transform as a two-component spin- representation: the spin angular momentum matrices are . At rest the positive-energy equation selects the upper two components, giving two independent spin polarizations, and the negative-frequency equation selects the lower two.
In the quantum theory a mode expansion is
With the mostly-plus Dirac convention, is positive frequency. The negative-frequency coefficient obeys . The fermionic annihilation operators and satisfy the canonical anticommutation relations, with their respective fermionic creation operators. The excitations are particles; the excitations are antiparticles with the same positive energy, mass and spin- but opposite charge. After normal ordering, the Hamiltonian operator contains positive multiples of . Reinterpreting the negative-frequency part as antiparticle creation supplies a spectrum bounded below rather than a physical tower of negative-energy particles.
For the printed wave, . Substitution gives
The spin label indexes the two states of a spin- particle, rather than varying the particle's total spin. For real on-shell , Hermitian conjugation and give
These are right and left null-vector equations for the same on-shell matrix.
To obtain the Gordon identity, take both external Dirac spinors to have the same real mass . Their two equations imply
Define . The Clifford algebra relation yields
Therefore
Multiplying the previous null-vector equation by proves the required formula exactly:
For it can be solved for the vector-current matrix element, separating a momentum term from the antisymmetric Dirac spinor term. The identity before division also holds at . The signs depend jointly on the metric, Clifford relation, Dirac mass term and plane-wave phase. In the mostly-minus convention of Questions 1 and 3, the printed phase instead gives ; the corresponding identity uses in the antisymmetric term. Mixing that convention with the formula proved here would produce an apparent sign error.
For the finite-mass similarity solution above, the total disk mass is
Substitute , so and . This gives
The requested linear increase of mass is therefore correct. It is supplied by the infinite-radius boundary, rather than by a source-free isolated finite disk. The inward mass accretion rate is
which tends to zero at the origin and to at infinity.
For Keplerian rotation, the specific angular momentum is . The total disk angular momentum would be
This integral diverges at , corresponding to infinite radius. There is no finite constant total angular momentum for the nonzero printed similarity solution. The seemingly time-independent last expression is an infinite quantity; it cannot prove a finite conservation law.
The problem remains visible under a cutoff. With , write , where and is the exponential integral. Then
Even the finite change after subtracting a common logarithmic divergence is not zero. Direct integration of the disk diffusion equation gives the boundary identity
for this profile the outer expression has a nonzero limit, giving the same finite change rate. An inner zero torque alone does not impose zero outer angular-momentum flux.
More generally, the printed family can have finite angular momentum at both ends only if and , hence it is trivial. Thus the request for a nonzero finite constant is incompatible with the stated viscosity exponent, similarity ansatz and infinite radial domain. A physical finite-domain or altered similarity problem would need different boundary data or assumptions; silently assigning a finite value to the divergent integral does not repair it.
Let with . The derivatives of this similarity solution are
The first-derivative terms cancel in the dimensionless diffusion equation, leaving for . Thus
At the inner boundary , . Interpreting the named variable as vanishing there sets . Even if only the true viscous torque in an accretion disk is required to vanish, a nonzero would give infinite total mass near ; finite mass again selects . With nonnegative surface density, choose ; its value fixes the initial mass normalization. Therefore
The surface density vanishes exponentially at the origin and has an tail at infinity. Its peak occurs at , with . The peak moves inward and grows as time increases.
Figure 1.
Surface-density profiles of the printed similarity solution at two times, showing an inward-moving growing peak and the outer power-law tail
. Details.
The plot uses and shows the actual surface density, with logarithmic radius to resolve both peaks. The later profile is larger at every fixed radius. Its total mass is finite; its total angular momentum is not, as the next calculation establishes.
Write because the prescribed kinematic viscosity is . Substituting and into the viscous evolution of an accretion disk gives
Hence the dimensionless diffusion equation is
For the useful inverse-radius coordinate , this becomes simply . The positive factor in makes increasing correspond to increasing physical time.
There is a distinction between the named torque variable and the physical viscous torque in an accretion disk. For Keplerian rotation, the outward torque magnitude is
Here denotes the central mass. The zero-torque inner boundary condition therefore requires as . Requiring is stronger. The nontrivial finite-mass profile used below satisfies both; this distinction matters when counting integration constants.
A central force has no component in the angular direction. The angular component of the acceleration in polar coordinates therefore gives , or
For unit mass, is the signed angular momentum perpendicular to the orbital plane, so its magnitude is conserved. Equivalently, the torque vanishes, which also fixes that plane.
The given potential energy is , whose radial force is : positive is repulsive and negative attractive. The kinetic energy in polar coordinates is , so conservation of energy gives
For and , the effective potential is positive, strictly decreasing from to , and has no stationary point. For , it still tends to at zero, crosses zero at , and has its unique minimum at
It then approaches zero from below. The minimum corresponds to a stable circular orbit. If , the centrifugal barrier disappears; the attractive effective potential is simply and has no minimum.
Figure 1. . Effective potentials with unit angular momentum and k equal to plus or minus one. The attractive minimum and zero are marked. Details.
The rotating-frame derivative formula is . Applying it twice to the position vector, with constant angular velocity, gives
Solving for identifies the displayed terms: its left side is the acceleration relative to the rotating reference frame, the first right-hand term is the inertial acceleration, is the Coriolis acceleration, and is the outward centrifugal acceleration.
For a particle of mass , replace by the actual force divided by using Newton's second law. The remaining terms then appear as apparent forces in . There is no Euler acceleration because is constant and no translational acceleration term because the common origin is fixed in the inertial frame.
Write the total remaining rocket mass as , with . Over an interval , an exhaust mass is expelled backwards with inertial velocity to first order. Applying momentum conservation to the rocket and this exhaust gives
Cancellation and division by give the rocket equation
With , , and , integration gives
At burnout,
The logarithm depends on the mass ratio, not on the burn rate. This follows from momentum conservation of the complete rocket–exhaust system; applying a constant-mass equation directly to the rocket alone would omit the momentum carried away.
For , the first burn reduces the total mass from to . The rocket equation therefore gives
Detachment exerts negligible impulse, so the surviving second stage keeps velocity . Its initial and final masses are and , respectively. A second application of the rocket equation gives
For the single-stage comparison from rest, . Hence
Equality holds at ; for positive fuel and exhaust speed it is strict when . This two-stage rocket with proportional fuel and body masses gains speed by discarding inert body mass before the last burn.
As the expression tends to , but the surviving second-stage mass also tends to zero. At exactly there is no second stage, so its final speed is undefined and that limiting formula cannot be assigned to it. The first stage alone reaches the single-stage burnout speed before detachment. If , neither design gains speed.
Assume the particle masses are fixed and their total mass is positive. The centre of mass and the relative position vectors are
Their weighted sum is zero, so differentiation gives . Expanding the kinetic energy with makes the mixed term vanish:
This kinetic-energy decomposition about the centre of mass separates translation from internal motion without assuming any particular force law.
For the rigid body, its relative velocity is . The cross product identity for a unit vector gives , the squared perpendicular distance to the rotation axis. Hence the moment of inertia of the particle is , and summing the rotational kinetic energy yields
Use a genus-zero Polyakov path integral, target signature and all four momenta incoming. Define the Mandelstam variables by , , . The string mass-shell condition is and momentum conservation is , so
The reduced amplitude omits the overall momentum-conservation Dirac delta distribution and any conventional overall scattering-matrix phase. Interpret each tachyon vertex operator as normal ordered; self-contractions must not be included.
The free-boson worldsheet propagator is . Wick theorem then evaluates the normal-ordered exponential correlator as the Koba-Nielsen factor
The worldsheet zero mode supplies momentum conservation. Four vertices give and the sphere contributes through the string genus expansion, leaving .
The sphere's residual Möbius transformations fix three insertion points. In sphere gauge fixing for four string vertices, take . The worldsheet ghost fields, equivalently the Faddeev-Popov determinant for this residual group, supply . At finite , this determinant grows as , while the matter correlator decays as by momentum conservation and the tachyon mass shell; their product has a finite limit. Equivalently the weight- matter operator at infinity is normalized with , while the ghost pair uses the inverse factor. After stripping the fixed-position normalization, only
remains. Here choose the standard complex-coordinate measure . With instead, the reduced normalization must acquire a factor two to give the same requested amplitude. Absolute vertex/sphere normalization is a convention; this choice fixes it consistently with the displayed prefactor.
Set , , . Then and the integrand is . To evaluate the complex beta integral first work where . This ensures convergence near , and infinity. Set and . Schwinger parameterization gives
Completing the square, the Gaussian integral is . Change variables to and ; their Jacobian determinant is . Integrating gives . The remaining integral is the ordinary beta function . Thus
Restoring and substituting the Mandelstam variables proves the Virasoro–Shapiro amplitude:
For physical scattering the original position integral generally fails to converge. The formula defines the amplitude by analytic continuation from the convergence domain, with the desired scattering boundary value at real poles; the convergent integral should not be claimed valid for every physical momentum.
The gamma function is a meromorphic function, with simple poles at nonpositive integers and no zeros, while its reciprocal is an entire function. Consequently it is a meromorphic function of the independent invariants and a crossing-symmetric scattering amplitude: permuting leaves it unchanged. Its generic channel poles are
and the same tower in and . They represent the exchanged bosonic string mass spectrum: the tachyon, massless states including the graviton, and an infinite sequence of massive closed-string levels. There are no threshold branch cuts at this tree order.
A precise check of factorization is the Virasoro–Shapiro amplitude pole residue. Near , set in the nonsingular factor. The gamma function recurrence gives
Combining this with shows
The residue is a degree- polynomial in , consistent with exchange up to spin and scattering-amplitude factorization. At exceptional kinematics reciprocal Gamma zeros can remove apparent poles. In particular, when both and approach nonpositive integers, the zero from cancels the putative double pole, leaving channel simple-pole terms. Thus one must not count products of numerator poles without using .
A gravitational wave can propagate through a region with vanishing stress-energy tensor; its gravitational field is not a matter current . Nevertheless, exact axisymmetry gives an axial Killing vector field, and the vacuum identity makes the Komar angular momentum equal on enclosing spacelike submanifolds in the same homology class. Applying the same identity to the spacetime tube between surrounding spacelike submanifolds at different times gives zero net flux of this charge through the tube.
Consequently gravitational waves in exact axisymmetry carry no net angular momentum about the symmetry axis. They can still carry energy and decrease the total mass. In a mode description, rotationally invariant radiative data have zero azimuthal mode number; exact axisymmetry therefore excludes the axial angular momentum flux present in nonaxisymmetric merger radiation. This does not mean there are no gravitational waves, or that radiation cannot transport angular momentum when the exact symmetry is absent. The relevant conserved charge includes any horizon contributions identified in the preceding Komar angular momentum with inner boundaries identity.
Assume the classical black-hole area theorem applies: the null energy condition and the required global regularity or strong asymptotic predictability hypotheses hold. The disconnected initial horizon sections then give . Define
For any regular Kerr black hole, , so . The irreducible mass identity obtained by inverting the Kerr area relation is
Indeed, implies , which gives this expression. At fixed , its derivative with respect to is on the physical branch. Therefore the area bound for an axisymmetric Kerr merger is
This uses the ideal limit of infinite initial separation, in which the initial total energy is . At finite separation it is the initial total gravitational energy, including binding energy, that replaces this sum. The inequality is an upper limit, not a prediction or a guarantee of saturation; real mergers increase the horizon area.
Changing only a spin sign leaves unchanged, whereas the square of the final angular momentum changes. For fixed nonzero , same-sign spins give , and opposite signs give . The remnant must retain more rotational energy in the same-sign case, so its minimum allowed mass is larger and the radiated-energy upper limit is smaller. Cancellation of opposite spins permits more of the initial rotational energy to be radiated while respecting the same initial total area.
For example, equal extremal initial holes have and . Same-sign spins allow at most , a fraction of the initial energy; opposite signs allow at most , a fraction . These are geometric bounds under exact axisymmetry, not achievable-efficiency claims.
Work first in units . 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 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 is
where is the horizon angular velocity and its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in . 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 . Comparing the area term of the first law with gives for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,
Here restored is the physical acceleration surface gravity and 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 is
The 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 and , normalized by , and . 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 gives
Thus the state annihilated by every has
This 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 map
where is the early affine null coordinate and is late retarded time at infinity. Backward propagation of a late outgoing mode gives a factor for . Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce to
Taking gives the thermal ratio of Hawking Bogoliubov coefficients, . Combining this with the canonical normalization yields the bosonic occupation . Late-time wave packets turn formal continuum coefficients into a finite number flux.
A Schwarzschild black hole has , so this spectrum has . 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 and temperature as , giving and a lifetime of order , with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, , 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 . 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.