A star inherits the gas-phase metallicity at its birth. Set ; the preceding calculation gives and . If the initial mass function is fixed, let be the number of the counted stars per unit formed stellar mass; this includes any restriction to surviving long-lived tracers. The metallicity distribution in a leaky box is therefore
The total eventual formed stellar mass is , so and the equivalent normalized metallicity distribution function is
If means a cumulative count rather than a count per stellar metallicity interval, integration yields
At a finite observation time these expressions end at the current gas-phase metallicity and the normalized distribution divides by . A distribution per logarithmic stellar metallicity instead multiplies by ; it is not the same shape as the distribution per linear stellar metallicity.
Let be the remaining gas mass, the formed stellar mass, and the initial gas mass; initially and the gas-phase metallicity is zero. Take the stellar yield and the mass-loading factor to be constant, with homogeneous mixing and no galactic gas inflow. With the specified zero bulk return, mass conservation gives
New metals add , while star formation and the galactic outflow remove metals at the existing gas-phase metallicity . Thus
The leaky-box model of galactic chemical evolution therefore gives
For the usual gas fraction of a galaxy, , the denominator is the baryonic mass still in the system, which decreases under the galactic outflow. Since , we have . In the remaining-mass convention,
If instead denotes relative to the fixed initial reservoir, the same calculation gives . Stating the denominator matters: these two gas fraction of a galaxy conventions coincide for the closed-box model of galactic chemical evolution, recovered at , but differ when gas escapes. Neglecting bulk return while retaining a nonzero stellar yield is the intended trace-metal approximation.
The escape-speed scaling of wind mass loading makes the proposed trend dynamically plausible: the shallower Newtonian gravitational potential of a dwarf galaxy lets stellar feedback expel more gas per unit stellar mass. If coupled feedback supplies specific energy , escape requires ; fixed coupling suggests for an energy-driven outflow. Fixed specific momentum instead gives , or for a momentum-driven outflow.
Since escape velocity has , galaxies whose characteristic radius grows more slowly than their gravitating mass have increasing binding energy per unit mass with increasing mass. For with , the energy-driven outflow estimate gives . Equivalently, greater velocity dispersion in massive spheroids implies greater escape energy and more effective retention of metals.
For scale, one core-collapse supernova of per formed supplies about before coupling losses. At ten percent coupling the energetic upper estimate is about for , but about for . Efficient loss from shallow potentials and retention in deep potentials can span the required range. These are illustrative energetics rather than a unique prediction: cooling, entrainment, fallback and the actual initial mass function determine the escaping mass-loading factor.
Let be the dark matter particle mass, so its number density is . Interpret as total emitted power per particle, and assume isotropic optically thin dark-matter decay radiation; volume emissivity is . At projected radius , a line-of-sight coordinate has . Writing , the surface brightness is
Here turns the integral into . For the isothermal outer halo,
If emissivity was defined per unit solid angle, the factor is already included in ; this only changes the normalization. The radial law holds between any core and outer truncation. For example, a phenomenological cored profile gives : finite central surface brightness, but the same outer law. This cored interpolation is not being asserted to be the exact isotropic constant-dispersion equilibrium.
Use a steady, isotropic, self-gravitating dark matter halo, with its constant one-dimensional velocity dispersion. The Spherical Jeans equation and spherical mass conservation read
For the scale-free outer region, put . Its enclosed mass scales as , so is constant only if ; the Spherical Jeans equation then gives . Thus the singular isothermal sphere has
Its circular speed is . If a speed denoted were instead the circular speed, the coefficient would be , but the printed variable is a velocity dispersion.
The assumptions matter. A constant velocity dispersion and spherical shape alone do not specify a unique central mass density or orbital distribution. Even with isotropy, the Spherical Jeans equation integrates to , and the self-gravitating Poisson equation for Newtonian gravity gives
There are finite-central-density isothermal solutions as well as the singular one; the expression is the intended outer scale-free halo approximation. A finite halo must also end or steepen at large radius, since the untruncated singular isothermal sphere has infinite total mass.
Let the extrapolated lower limit be and keep the upper surviving limit at . If the same cubic mass-luminosity relation is formally continued, the initial mass function gives
Matching therefore requires a planetary-scale cutoff
The mass per logarithmic interval is proportional to for this initial mass function, so most of the added mass is near the cutoff. Substellar objects do not actually obey the unevolved cubic mass-luminosity relation: they cool, and their luminosity depends strongly on age. If they are approximated as entirely dark while only the original -- stars supply light, then instead, giving . Both conventions lead to the same order-of-magnitude conclusion; the exact result uses the question's formal power-law extrapolation.
The result is in the broad range expected for an old, relatively faint stellar population, but is high compared with many observed stellar mass-to-light ratios of a few solar units in optical bands. The comparison must specify the band and whether the measured mass includes dark matter: for example, early-type galaxy dynamical measurements find an -band normalization near solar units at velocity dispersion , including a contribution from dark matter. That is an illustrative observational comparison, not a direct equality with a bolometric stellar calculation.
For an old stellar population, an upper surviving main sequence mass near is reasonable because more massive stars have shorter lifetimes; low-mass main sequence stars also contain much of the surviving stellar mass. However, red giants and other evolved stars can contribute a large fraction of the light despite their small numbers, so omitting them generally makes this calculated mass-to-light ratio too large. Omitting stellar remnants has the opposite effect on the inferred mass, and a single cubic mass-luminosity relation is only approximate across the stated range. Finally, a single initial mass function down to is steeper and more low-mass-heavy than commonly adopted distributions, which flatten at low mass. Ten solar units is a useful toy-model estimate, not a precision stellar-population prediction.
Write and absorb units into the initial mass function normalization, . The specified mass-luminosity relation is , normalized to the Sun. Therefore the total stellar mass and luminosity are
The unknown normalization cancels. The mass-to-light ratio is
Low-mass main sequence stars dominate the stellar mass, while equal intervals of contribute equal luminosity under these particular exponents. More generally the mass-to-light ratio of a power-law stellar population with these exponents on is .
Objects near the derived cutoff are too faint for their absence in ordinary star counts alone to exclude a massive dark matter halo. The decisive test is gravitational microlensing: compact objects passing in front of background stars produce transient magnification even if they emit no detectable light. For a lens at distance and a source at , the physical Einstein radius and event timescale are
For , and , a lens gives days, within the regime tested by suitably sampled gravitational microlensing surveys. The microlensing optical depth is
so at fixed compact-object mass density it is independent of the individual lens mass: reducing individual mass changes the event durations rather than hiding the total lensing probability.
EROS observations of the Magellanic Clouds found far fewer candidate events than a halo dominated by compact objects would predict and excluded such objects as the principal Galactic halo component over , under their tested halo models. Their often-quoted eight-percent bound is specifically near , not a uniform bound at every lens mass. A halo dominated by the approximately Jupiter-mass objects needed here is incompatible with those microlensing constraints. Deep optical and infrared counts also restrict a large population of luminous low-mass stars and brown dwarfs, while the cosmic baryon fraction provides a separate constraint on explaining all cosmological dark matter with baryonic objects.
First specify the dynamical estimate: assume an initially isolated virialized system, stars of different masses well mixed with the same velocity distribution, and ejecta escaping rapidly compared with a stellar crossing time, without imparting kicks to surviving stars. If is the retained stellar mass fraction, the original virial theorem gives , where is kinetic energy and is Newtonian gravitational potential energy. Immediately after loss, positions and velocities are unchanged, so
Thus impulsive disruption by stellar mass loss makes the energy of the whole remaining system nonnegative when at least half the initial mass is removed.
For the power-law initial mass function, the fraction removed is a mass fraction, not a number fraction:
For integer slopes, , , , and . Interpolating between and puts the threshold around --. Solving more accurately gives
The rearranged equation has a spurious root at introduced when the vanishing denominator was cleared; the logarithmic limit excludes it. Increasing shifts the mass distribution towards lower masses, so the top-heavy side, , has nonnegative remnant energy in the impulsive model; equality is marginal. One can see strict monotonicity from the covariance obtained by differentiating : under the normalized mass-weighted distribution.
The initial mass function alone does not guarantee complete disruption. If losses occur slowly, the adiabatic mass-loss expansion law gives expansion rather than the instantaneous half-mass threshold, and positive total energy can still leave a bound core after selective escape. The stated value is therefore the conventional global impulsive estimate, with no external confining Newtonian gravitational potential.
Massive stars rapidly return oxygen, magnesium, neon and other alpha elements through core-collapse supernovae, whereas Type Ia supernovae supply a substantial delayed iron contribution. If the galactic bulge and stellar halo formed much of their stellar mass rapidly, their stars locked in enhanced alpha-element to iron ratios before much delayed iron enrichment, while prolonged star formation in the local galactic disk included more iron-rich gas. The abundance contrast chiefly records different enrichment timescales, with the initial mass function and gas exchange also affecting the ratios.
The differential gravitational field of the Milky Way removes loosely bound outer material by tidal stripping, giving globular clusters and satellite dwarf galaxies a characteristic tidal radius. For a low-mass satellite of mass on a circular orbit of radius in a spherical host, the Jacobi tidal radius is ; eccentric orbits often make the strongest restriction near pericentre. Tidal limitation explains the sharp outer falloff, although escaping stars can form extended tidal tails, so a fitted luminosity cutoff is not an exact boundary of all associated material.
The reaction sign and the meaning of recoil translation matter here. In Lighthill elongated-body theory, put . The transverse momentum imparted to the fluid per unit length is , so the lateral force on the fish is . Thus body mass and positive added mass enter effective inertia with the same sign. The periodic trailing-edge thrust, to quadratic order in slope, is
The reaction sign and this small-amplitude thrust formula can also be checked in the primary derivation of the elongated-body force, equations (2.6), (3.2) and the discussion after (3.5). For the long-body limit below, the recoiling leading edge contributes only at relative order .
The requested recoil and thrust formulas cannot all hold for the literal fish described. In particular, the printed thrust would remain when , although a straight, unperturbed fish has and zero reactive thrust. Its negative term is missing an amplitude-squared slope factor. The stated effective translational coefficient also has the wrong sign for positive added mass, and the literal centre of mass translation cannot be equated to the translation of an arbitrarily chosen undeformed body reference line. The PDF defines ; the converted TeX incorrectly uses the square.
Here are the force balance and angular momentum calculations for a consistent interpretation of the stated uniform fish. They give a corrected recoil solution, as well as a direct test of the printed equations. Define
and let be actual centre of mass displacement. The prescribed deformation has mean . Its mass-weighted mean must be removed in the recoil correction in elongated-body theory:
Indeed , since and . Introduce the two geometric integrals
For uniform mass per unit length, at leading small-amplitude order. Retaining the symbol makes the rotational momentum balance transparent.
The needed integrals of transverse acceleration and convective derivatives are
The second spatial derivative includes the hinge's slope jump, as a distributional derivative; discarding it would incorrectly remove the terms. Newton's lateral equation is . The angular momentum of the deforming fish is , so its time derivative equals . Consequently the consistent uniform-added-mass recoil equations are
These follow directly from the local Lighthill elongated-body theory model with the physical reaction sign. An alternative reference-line translation replaces by , and changes the shape forcing, but cannot change to a difference of two positive inertias. Leading-edge details of a uniform-depth idealization can require an end model; they do not alter this reaction-sign test or the zero-stroke counterexample.
For , write and , choosing the periodic response and omitting free rigid-motion constants. The two balances give the explicit recoil amplitudes
At the tail the displacement and slope amplitudes are and . Thus a corrected, directly calculable mean thrust is
within the trailing-edge approximation, with any retained leading-edge contribution treated consistently. This expression has the correct dimensions and vanishes quadratically with stroke amplitude.
A particularly simple independent check is the limit . For the uniform fish, , the balances give and for the periodic response. The tail displacement amplitude is then exactly
Hence, to the requested relative order,
The leading-edge contribution is only here. This recoil reduction contradicts the printed positive correction, for example for , . It also shows explicitly why treating the prescribed shape's moving mass as stationary would give a different model.
For completeness, the positive correction quoted in the question has a simple conditional origin if its two displayed recoil equations are accepted as formal equations rather than derived physical balances. Put and keep fixed as , away from . Adding those equations and then using the first gives their leading periodic response
Under the additional reference-line interpretation , the in-phase tail amplitude is . Squaring it in the trailing-edge thrust gives the printed frequency correction. Even this formal route, however, gives the amplitude-consistent result
not a term independent of . The quadrature part of first changes the squared displacement at relative order , while recoil changes the tail slope at that order as well. This conditional calculation explains the intended algebra without presenting the flawed starting equations as a physical theorem.
Reactive thrust is positive when the tail's lateral-motion term exceeds its streamwise slope penalty; for an unrecoiling hinged tail this requires . A real steady swimming speed additionally balances the thrust against resistive drag force, absent from this inertial idealization. Recoil can alter either term and is not universally thrust-enhancing. A pole at is not a physical negative-added-mass resonance: the genuine combined inertias remain positive.
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 .
Use mostly-plus Lorentzian signature and , with antisymmetrized gamma products of unit weight. A Majorana spinor obeys a reality condition under charge conjugation:
A Weyl spinor instead has definite chirality,
A four-dimensional Majorana spinor has four real components, while a Weyl spinor has two complex components. Charge conjugation reverses chirality in this signature, so a nonzero spinor cannot satisfy both conditions simultaneously.
For the Dirac equation , the derivative term reverses chirality because anticommutes with every gamma matrix, whereas the mass term preserves it. Projecting a purely chiral spinor equation onto its two chiralities therefore gives both and . Thus a nonzero four-component Weyl spinor satisfying this uncoupled Dirac equation must be massless. A Majorana spinor contains conjugate opposite-chirality components and can have a nonzero mass. Its charge-conjugation reality condition identifies particle and antiparticle operators, so a Majorana particle is its own antiparticle. A Weyl field does not by itself impose that identification.
This does not forbid writing a Majorana mass term for a neutral two-component Weyl field: such a term couples the field to its conjugate, and the resulting four-component massive field is Majorana, not a purely chiral solution of the uncoupled Dirac equation.
For the Rarita-Schwinger field, set and . The antisymmetric kinetic operator is invariant under
because commuting derivatives contract to zero against . Expanding its gamma product gives
Gamma contraction gives , so the equation implies and .
For a Fourier mode with momentum , if the latter identity gives . The mode is proportional to and hence pure gauge. Every physical nonzero-momentum mode therefore has . For a null mode, choose an index with . The same equation makes an element of the image of , allowing a gauge choice with . The field equations then reduce to
Residual gauge transformations obey .
Take a null momentum in the third spatial direction. Residual gauge freedom and transversality remove the temporal and longitudinal vector components, leaving two transverse vector polarizations. Their helicities are , while on-shell spinor helicities are . The gamma-trace constraint removes the two combinations of total helicity and retains the aligned combinations of helicity . Explicitly, in a chiral representation the transverse gamma contractions use , which annihilate the correspondingly aligned spin states and act nontrivially on the opposite states. Thus a Majorana Rarita-Schwinger field has two physical massless polarizations. The Majorana assumption is the one relevant to simple supergravity; a complex vector-spinor has these helicities for its particle and independent antiparticle modes.
A consistent free massive deformation is the algebraic term
added to a kinetic term . Its equation is
For , divergence and gamma contraction give, respectively,
These imply the massive Rarita-Schwinger constraints and , and the remaining equation is . Squaring gives in the chosen signature. The gauge symmetry is lost. In the rest frame, transversality sets the temporal component to zero; three spatial vector components times two on-shell spinor states give six states, and gamma trace removes the two spin-one-half states. The result is four massive spin- states, with spin projections . In supergravity the additional longitudinal states can be supplied by the super-Higgs mechanism.
Use the mostly-plus Clifford algebra and Riemann curvature tensor conventions of the preceding solutions, with , , and a Majorana gravitino. An action for minimal four-dimensional supergravity in the exact transformation normalization given is
The kinetic coefficient is tied to the normalization of the supersymmetry transformations: if and , this becomes the canonical coefficient , with and . Mixing those two normalizations would spoil the cancellation.
To the retained order, use the torsion-free connection. More generally the 1.5-order formalism allows its variation to be omitted after imposing its own algebraic equation; the resulting contorsion is quadratic in fermions and first affects the displayed action at quartic order. The metric tensor variation induced by the vierbein is , so the Einstein-Hilbert action varies as
For the fermionic action, varying both Majorana factors gives the same contribution after integration by parts and the Grassmann bilinear interchange rule. Thus
The vector-index Riemann curvature tensor contribution vanishes by the first Bianchi identity. The spin-index contribution is determined by
For the last equality, expand the antisymmetric three-gamma/two-gamma product: the totally antisymmetric Riemann curvature tensor terms vanish by Bianchi, and the surviving terms are the Ricci contraction minus half its trace. Hence
which cancels the gravitational variation. Variations of vierbeins, gamma matrices and the connection in the fermionic kinetic term carry three dynamical fermions. They lie beyond this linear-fermion cancellation and are cancelled by the omitted four-fermion completion. Thus the action is invariant up to boundary terms at the order specified, rather than claiming that a truncated action is exactly invariant at every fermion order.
For the cosmological extension, add a gravitino mass parameter and deform the derivative:
Indeed the fermion terms combine as because . The modified spinor connection curvature is
and contraction gives
The same action-variation cancellation therefore works with replaced by precisely for
This is the Anti-de Sitter deformation of minimal supergravity. A cosmological term alone would leave its variation uncancelled; the mass term and the gamma shift of the gravitino transformation are both necessary. A positive cosmological constant cannot arise from this real unbroken minimal deformation.
For electromagnetism, retain and introduce an Abelian vector multiplet , with Majorana gaugino . A complete quadratic-fermion extension is
The accompanying leading transformations are
They preserve the rigid Maxwell-gaugino action for constant . For a local parameter, the variation contains
To obtain this, vary , vary both gaugino factors, and use . The terms with cancel between the two actions; integrating the three-gamma term uses , leaving exactly the displayed derivative of the parameter. The interaction is , whose variation under cancels that term.
The other linear-fermion variation is also fixed. Put and . Clifford multiplication gives
Varying in the gravitino-current interaction then gives , which cancels the Maxwell vierbein variation. This proves the required supergravity coupling of an Abelian vector multiplet through the retained order.
Beyond that order one uses a supercovariant gauge field strength, here , and the associated higher-fermion transformation terms and four-fermion interactions. An auxiliary scalar may be retained for off-shell closure, or eliminated in this on-shell formulation. A Maxwell field without a fermionic partner cannot be coupled by merely adding while leaving all transformations unchanged. An alternative is an gravity multiplet, where the vector is a graviphoton and a second gravitino supplies its extra fermionic states; the explicit construction above is the minimal matter extension.
Use and the exterior mean-motion resonance condition . Then the resonant semi-major axis is , neglecting the small planet-to-star mass correction. For the geometric construction, take , , , and start the particle at pericentre. Solve Kepler's equation with . Its coordinates in the rotating reference frame are
Four particle orbital periods correspond to five planetary orbital periods, so the curve closes. At a pericentre, the mean longitude and the true longitude both equal , and the resonant argument becomes . Thus the four pericentre directions are modulo . The figure chooses and marks the corresponding angle to the planet; other phases rotate this pattern. Its second panel shows an instantaneous conjunction at apocentre, where the angle from pericentre to the common longitude is directly : here both true and mean anomaly equal . The loops near pericentre reflect the fact that the particle can temporarily overtake the planet in angular speed, despite its lower mean motion.
Figure 1.
Exterior 5:4 resonance with eccentricity 0.2 and resonant phase pi
. Details.
For the evolution equations, must be the mean longitude. The PDF calls it true longitude, but differentiating the literal true longitude gives the rapidly varying , not . To first order , so the true longitude version of has an extra orbital ripple. The stated Lagrange planetary equations and slow complex eccentricity equation are interpreted consistently as orbit-averaged equations in mean longitude. The pericentre geometry of an exterior resonance above is unchanged by this distinction.
Let be perturbing forces, and let be the particle's mass. The angular momentum about the star satisfies
The central gravitational force and the radial perturbation have zero torque. If the displayed denotes acceleration instead, the identical formula applies to specific angular momentum.
For a weak kick, the specific orbital energy changes by . A planet leading the particle pulls it forwards, while a trailing planet pulls it backwards. For a nearly circular exterior Kepler orbit, a forward tangential kick raises angular momentum and semi-major axis, lowers mean motion, and makes the next conjunction occur sooner in the synodic cycle. Its longitude retreats relative to the unperturbed conjunction sequence. A backward kick produces the opposite shift. At exact alignment the leading force is radially inward: before pericentre, and an inward kick does positive work; after pericentre, and it does negative work. These likewise raise or lower semi-major axis. At an apsis, a purely radial infinitesimal kick has no first-order energy change but changes the eccentricity vector, so angular momentum alone does not determine every timing change.
The timing sign follows explicitly from the near-circular synodic period, . At the nominal resonance, successive conjunction longitudes agree modulo , since . A persistent small change gives
This is the accumulated mean timing shift; an actual impulsive encounter can also change the instantaneous orbital phase and longitude of periapsis.
Retaining the given first-order resonant orbital perturbations, eccentricity damping and leading Keplerian detuning,
Here Kepler's third law gives . The approximation discards higher-order resonant contributions to and fast orbital terms. Differentiate the rotating complex eccentricity :
Since ,
The apparent singularity in at disappears in this complex eccentricity equation.
Take , and the conventional positive resonant coefficient . At a fixed point, the two balance conditions and give
Substitution yields
Thus fixed points exist only if . With strict inequality, put and . Then
respectively. The locations must also satisfy for the detuning expansion to apply. At equality the phases merge at and . If is assigned the opposite sign, shift the phase convention by ; the invariant stability distinction is the sign of .
For locally constant , the stable equilibrium is the branch in the leading slow model. At fixed , increasing on that branch increases the positive resonant torque, because . The resulting increase in semi-major axis lowers and hence lowers : the subsequent conjunctions shift back, restoring the phase. On the branch the feedback has the opposite sign and drives the phase farther away. Eccentricity damping removes the oscillatory disturbance on the restoring branch.
One can verify that this feedback stabilizes the coupled variables rather than just the phase. Treat as locally constant, and write . Then , and . At a fixed point . The characteristic polynomial of the linear stability analysis is
For , all coefficients are positive and the cubic Routh-Hurwitz stability criterion holds, since
All three eigenvalues have negative real parts. For the constant term is negative, so the polynomial has a positive real root and that branch is unstable. The merged case has a zero eigenvalue. The unrestricted functions printed in the question do not imply this unconditional stability classification. If their derivatives are retained, has, at equilibrium, the derivative
The trace of the full three-variable linearization is . As a concrete counterexample, take and , choosing their values to satisfy the displayed fixed-point conditions on the negative-cosine branch. Its trace is , so at least one eigenvalue has positive real part. Both coefficients are smooth. Thus the restoring conjunction feedback identifies the stable branch of the usual locally constant model, but additional assumptions on coefficient variation are necessary to assert stability for every allowed function.
Assume the physical coefficients are positive. Differentiate the catastrophic disruption threshold:
The bracket is strictly increasing from a negative value to positive infinity, so there is one critical point and it is the global minimum. In fact tends to infinity at both endpoints and . The strength-gravity disruption transition is therefore
At this diameter, , so . This minimizes the full catastrophic disruption threshold; it need not be where its two contributions are equal.
For equal-density spherical planetesimals, the specific impact energy per unit target mass is . Setting this to gives the catastrophic projectile diameter
Here is the impact speed, the threshold is defined per target mass, and energy-coupling changes are not included. If projectile and target densities differ, multiply the diameter by . For , ,
so collecting the powers gives
The result presumes that this projectile diameter is available in the population.
For the dust, is the total number in a diameter interval, not a number per unit volume. The mass normalization of a power-law size distribution with dust mass gives
The approximation uses . Merely having a small diameter ratio does not guarantee this accuracy if approaches four, so retain the exact denominator in that case.
With , the stated Poynting–Robertson drag law integrates directly:
Thus dust arrives in order of increasing diameter. This is burst transport under inverse-size radial drag, assuming an instantaneous release at and no intervening destruction or changes of diameter.
Dust that reaches the planet's orbital radius has several possible fates. It can pass without a close encounter and continue spiralling towards the star; undergo resonant trapping of dust in an exterior mean-motion resonance, where resonant torque temporarily balances the drag; be scattered onto a different stellar Kepler orbit or ejected; or collide with the planet and be accreted. Resonant trapping of dust can increase orbital eccentricity until escape or an encounter becomes possible. Temporary planet-bound capture can become permanent if drag or another dissipative process removes sufficient energy. Arrival at a radial circle alone does not guarantee a collision with the planet at the correct longitude.
A more massive planet has a larger Hill sphere, stronger resonant perturbations and stronger planetary scattering. Capture into a mean-motion resonance is favoured when drift across it is slow compared with its libration timescale. Since here, larger grains drift more slowly and are generally easier to trap; small fast-drifting grains more readily cross a resonance. Grain radiation pressure can also move resonance locations, though the prescribed nearly circular drift model omits that additional change. For direct impact, a larger physical radius increases the geometric cross-section, and gravitational focusing gives, in the two-body encounter approximation,
A compact massive planet can nevertheless scatter or eject grains rather than hit them: its encounter region can be much larger than its physical radius. Slower dust migration permits more repeated encounter opportunities. These competing effects mean neither planet mass nor grain diameter alone specifies an accretion probability.
For the idealized complete-accretion calculation, put and . At time , the arriving diameter is and . Hence the dust-burst accretion pulse follows from the arriving mass per diameter:
Dropping the small lower-cutoff normalization correction gives the requested expression
The rate is zero before the smallest grains arrive and after the largest arrive. Integrating the exact expression over its support returns , as required by mass conservation. The approximate expression has that integral to the same lower-cutoff accuracy. This pulse assumes no resonant delay or scattering loss before accretion.
For the surface density of a size-sorted dust burst, take and write
At fixed , the size-radius map is monotone and . Define as the azimuthally averaged surface density, so the mass in an annulus is . Transforming the power-law size distribution into radial mass gives
It follows that
The requested leading approximation omits from the denominator. The surface density is zero where the inferred lies outside the original size interval. Equivalently, one can obtain it from the instantaneous inward mass flux divided by . At the idealized initial distribution is a delta-function ring at ; the formula above describes the subsequent radial spread. No uniform initial azimuthal distribution is required for this azimuthal average, but the local density of a clump would require its angular evolution. If the complete-absorption planet assumption is retained, this expression holds exterior to and interior to the planet.
Apply the rotating-frame derivative formula first to , then to . Since the angular velocity is constant in either frame,
The two apparent forces in the rotating equation are the Coriolis force and the centrifugal acceleration multiplied by mass. Thus
Set . The supplied gradient identity gives . Taking the scalar product with removes , since it is orthogonal to , and removes the Coriolis force. Therefore the energy balance in a uniformly rotating frame is
The displayed quantity is conserved when the potential is stationary in the rotating coordinates. This includes a static inertial potential invariant under rotations about the chosen axis, such as vertical gravity in part (b). If the word conservative only means a time-independent inertial potential, that extra rotational invariance is needed; a conservative force alone does not imply the claimed conservation.
For an explicit counterexample to that unrestricted interpretation, take unit mass, an inertial force , , no , rotation , and inertial trajectory with initial velocity zero. It satisfies Newton's second law. Substituting into the proposed energy gives , which is not constant for nonzero rotation. The qualified conservation law above is the one used for the hoop.
The parallel axis theorem says that for an axis through a body's centre of mass and a parallel axis at perpendicular distance ,
where is the total mass. The displacement is the distance between the two parallel axes; neither axis may be arbitrary in place of the center-of-mass axis. Expanding the squared distances of mass elements gives this formula, since the cross term integrates to zero at the centre of mass.