To test radial stability of an axisymmetric circular orbit, let be the time-independent gravitational potential per unit stellar mass in the midplane. Axial symmetry conserves the specific angular momentum . The radial equation is
A circular orbit at obeys . Choose the guiding circular orbit with the same conserved angular momentum as the perturbed star. Setting and expanding at fixed gives
where the radial epicyclic frequency is
Here and refer to the family of circular orbits. They are differentiated as functions of radius only after the perturbation equation has been expanded at conserved stellar .
For a radially stable circular orbit, , so to linear order
Thus the orbit performs small simple harmonic radial oscillations about its guiding radius.
Figure 1.
Original linear epicycle calculation for stable circular motion with a flat circular-speed curve
. Details.
Symmetry alone is insufficient to guarantee stability: gives exponentially growing displacement, and is marginal. The intended statement assumes a stable unperturbed orbit.
For a Kepler potential ; for a flat circular-speed curve ; for solid-body rotation . Conservation of also gives , explaining the accompanying azimuthal epicycle rather than a purely radial motion in the inertial plane.
The exponent of the point-mass weight is , with . At the origin the unreferenced relative potential has integrand , whose integral diverges at its upper endpoint. In the origin-referenced potential the two terms cancel pointwise there. More generally, first form their difference at finite cutoffs and then pass to the limit. For any fixed nonzero , the small- singular term is , which is integrable because . At large ,
so the weighted difference is integrable because . Hence the referenced potential is well defined, and its value at the origin is zero. It is a potential difference for an infinite astrophysical disk, not a potential with zero at infinity. In fact rescaling all lengths shows ; its finite values approach zero at the origin even though its force is singular there.
For , differentiation under the convergent force integral in the plane gives
Use , for which . The powers of , , and then give
where the Euler beta function evaluates the constant as
The first Gamma function argument is : it follows from adding one to the exponent of . Both Euler beta function arguments are positive in the stated range.
For a circular orbit in the plane, . The prescribed circular speed therefore fixes and
Independently, the Kuzmin reflection method gives
Here the power of is one larger than in the force integral, so its Euler beta function arguments differ. Substituting the normalization fixed by the circular speed yields
This scale-free Kuzmin superposition has nonnegative surface density, finite central enclosed mass, and infinite total mass. Its force and surface density approach the Mestel disk values as ; that limiting disk requires a different potential reference at the origin.
Let be the outward viscous torque in an accretion disk. For a declining angular velocity, the vertically integrated viscous shear stress gives
In a steady accretion disk without radiated angular momentum, the net inward angular-momentum flux is constant and equals the swallowed flux . Thus conservation of angular momentum gives . Substituting cancels the surface density and proves
This uses the stipulated phenomenological viscous shear law; it does not replace it by a different fully relativistic stress prescription.
For the orbital calculation let a dot denote a derivative with respect to proper time. Substituting the geodesic energy and specific angular momentum first integrals into the timelike normalization in Schwarzschild spacetime gives
Differentiate with and constant along the geodesic. Where , division by gives
This equation also holds at turning points and on circular orbits. To justify that without dividing by zero, put in the equatorial geodesic Lagrangian . Its radial Euler-Lagrange equation is . Substitution of the timelike normalization cancels the terms and yields , exactly the displayed radial equation, including when .
A circular orbit requires . Therefore
choosing the positive sense of rotation. Differentiating the square is simpler than differentiating :
It is negative for and positive for , so the global minimum over timelike circular orbits is
As a stability check, the second radial derivative of at a circular orbit, holding fixed for the perturbation, is . Thus the exterior branch is stable, and is the innermost stable circular orbit. It is the natural matching radius for the idealized zero-torque inner boundary condition.
Write the gravitational potential with spherical symmetry as and let be the unit vector normal to a circular orbit, oriented in the direction of its angular velocity. Put and denote the specific angular momentum by . Circular force balance and the specific orbital energy give
Differentiating along the family of circular orbits,
A change in orbital orientation contributes to , but . Consequently
This circular-orbit energy gradient accounts for radial and inclination changes together; spherical symmetry makes the orbital energy independent of the plane.
For either variable-mass particle, and . Thus , so
Conservation of mass and conservation of angular momentum impose , . Adding the two particle contributions proves
To interpret the signs, label the inner orbit 1 and the outer orbit 2. For the first identity gives . The assumed outward decrease of angular velocity therefore makes , so the mass-exchange part lowers the energy when : mass is transferred inward. In a coplanar, co-rotating pair, and an outward angular momentum transfer has with . Its contribution is .
The vector difference also identifies the inclination-reducing exchange. For a fixed small magnitude of admissible angular momentum exchange, its energy contribution is most negative when
by the Cauchy-Schwarz inequality. This gives . Let and , taking fixed particle masses for this exchange. Projecting perpendicular to its own direction gives
Therefore
The downhill exchange reduces the relative orbital inclination. Its inner angular momentum component is ; in the aligned limit the outer orbit receives that angular momentum directly. For strongly inclined orbits, part of the exchange instead cancels differently directed angular momenta as the planes align. Together these gradients explain the tendencies toward inward mass transfer, outward angular momentum transport and coplanarity.
Choose a reference circular orbit at radius , rotate the frame with , and introduce local Cartesian coordinates , and vertical coordinate . On scales small compared with , neglect curvature of the coordinate directions but retain the leading differential rotation. The background velocity relative to the rotating frame is
Thus for a Keplerian disk. The shearing sheet retains Coriolis acceleration and the linear tidal acceleration. The radial shearing-sheet tidal potential is , whose force balances the background Coriolis acceleration. If vertical tidal gravity is included, its equilibrium contribution is balanced by a background pressure and disappears when that equilibrium is subtracted.
Write the total velocity as . In the rotating-frame magnetohydrodynamic momentum equation, background advection is and advection of the background by the perturbation is . The uniform-viscosity diffusion of the linear background shear is zero. For a solenoidal magnetic field the Lorentz force per unit mass is
At constant density, absorb the magnetic-pressure gradient into . Subtracting the background force balance then gives the stated momentum equation, with the remaining nonlinear advection , Coriolis acceleration , magnetic tension and viscous diffusion.
For constant finite electrical conductivity , put . The resistive induction equation with uniform magnetic diffusivity is . Substituting the background shear supplies the term and the same background-advection operator as in the momentum equation. The two further conditions are
They express incompressibility and the absence of magnetic monopoles, respectively.
Now take real plane waves with common phase and real wavevector. The solenoidal conditions become
Every field depends on position only through . Hence for either transverse vector field and either wave field , . This proves that all the displayed quadratic advection and tension terms vanish pointwise, including products involving conjugate amplitudes. These waves are therefore exact solutions at finite amplitude, not merely a linearization.
Acting with on the phase yields
Canceling its position-dependent part requires
The remaining amplitude equations are
Differentiating the velocity constraint determines the pressure amplitude:
The resistive induction equation preserves its constraint because cancels the corresponding shear term in . The specified magnetic field has no spatially uniform part. Thus there is no background magnetic field producing an additional linear magnetic-tension coupling. The scalar is the modified pressure; the physical pressure can include a constant and a second spatial harmonic from while retains the stipulated plane-wave form. This is an exact zero-mean magnetic shearing wave.
For decay, take the real part of the scalar product of the velocity-amplitude equation with its complex conjugate. Pressure does no work because , and the real part of Coriolis work is zero. Therefore
The resistive induction equation similarly gives
using . Integrating these differential inequalities, define
Then
A non-axisymmetric wave has . For nonzero differential shear and positive , the negative cubic terms dominate the linear upper bound on shear work. Consequently
This cubic-exponent decay of a nonaxisymmetric shearing wave allows transient energy growth before the winding to short radial wavelengths makes diffusion dominant. The magnetic amplitudes can also be written explicitly as
which confirms the damping independently. Positivity of the dissipative coefficients is necessary: with , an inviscid vertical velocity amplitude can remain constant, and an ideal vertical magnetic amplitude can remain constant when . The asserted decay applies to the viscous, finitely conducting model; taking an ideal limit before the long-time limit changes the conclusion.
Inside the uniform sphere, . Thus, with , part (b) gives
The Gaussian integral needed for the lowered Maxwellian velocity distribution is
Substitution therefore yields
Since throughout the core, the integrand is positive and so is for . Using , part (a)'s massive-test-body drag magnitude is
The slow drift of a circular orbit is determined by torque, not by equating its changing circular speed to the tangential drag. Here , with constant . The specific angular momentum obeys
Hence the positive local decay timescale is
There is a genuine factor-of-two discrepancy with the requested denominator . That denominator would give , which is the timescale for a flat galaxy rotation curve, not this uniform-density core. It also follows from the incorrect replacement , which drops the term in . The literal signed definition is negative for an inward drift; it equals . A positive decay time requires the absolute value or a minus sign.
This is the slow circular inspiral under tangential drag calculation. Its assumptions require small enough for nearly circular adjustment and a meaningful large Coulomb logarithm in stellar dynamics; the leading-log approximation is not uniform at . Also, integrating the truncated distribution all the way to does not give exactly . The model uses as the stated core normalization; exact self-consistency of a sharply truncated uniform core with that distribution is not implied.
Set and interpret in the displayed equation as specific angular momentum, , rather than total angular momentum. The gravitational potential is per unit mass and has dimensions of length. Spherical symmetry fixes the orbital plane and conserves the vector angular momentum, while the autonomous specific orbital energy is also conserved.
For the orbit equation for combined inverse-square and inverse-cube attraction, define
A regular nonradial bounded oscillation requires and . Solving the linear Binet equation then gives
For a noncircular bound orbit ; its specific orbital energy is . The effective potential has a centrifugal barrier and a minimum in this case. If , the oscillator frequency is zero or imaginary and there is no regular finite-radius bound oscillation: the attractive centre lacks a centrifugal barrier. Unbound branches with are not closed ellipselike trajectories.
Successive pericentres differ in angle by . The full phase space state returns after radial oscillations and revolutions precisely when
where are coprime positive integers; the second formula applies when . Thus requires and , whereas requires . An irrational advances the apsidal direction through a dense set of angles and gives a nonclosed rosette, with only the four regular spherical invariants needed to label its two-dimensional closure.
Figure 1.
Closed rational-frequency orbits and a nonclosed irrational-frequency rosette in an inverse-cube-perturbed central force
. Details.
To see the additional resonant label explicitly, let and . Then , so on a family with fixed resonant ,
Its argument fixes the remaining apsidal phase modulo the symmetry of the closed curve; its magnitude is already determined by specific orbital energy and . Choosing reference axes in the fixed orbital plane makes this single-valued under . This is the fifth independent orbit label on the resonant family described by closed orbits with an inverse-cube perturbation.
For , varies with . The orbital resonance condition holds only on selected angular momentum surfaces, so this construction is not a fifth global smooth integral on an open set of arbitrary nearby . If the question asks for a maximally superintegrable Hamiltonian system on an open region of noncircular bound orbits, the required case is : then for every , and the conserved Laplace-Runge-Lenz vector fixes the apsidal direction globally. The relations and leave five independent constants. For the usual orbit-wise interpretation, noncircular bound orbits with rational have five isolating labels; irrational has four. Circular orbits are closed for any allowed but have no independent apsidal phase, so the generic noncircular count cannot simply be applied to them.
For completeness, regular unbound branches are different. When and , positive radius restricts the radial phase to . The apsidal invariant on an unbound central-force branch is
The principal argument is continuous on this scattering branch because it never reaches an apocentre across the negative-real-axis cut. Thus the periapsis direction can be a fifth single-valued scattering label for any positive , including irrational ; the rationality condition applies to the noncircular bound case. For plunging or collision branches with , local trajectory labels can still be defined away from the singular centre, but the preceding periodic-orbit criterion is inapplicable and no smooth continuation through is asserted.
Write . The proposed function is . Differentiating using and verifies . Its physical branches have , namely , and
On the positive branch it comes from infinity at and spirals toward from outside as . The negative branch gives the reversed orbit after reflection. The interval where does not describe positive physical radius.
Figure 1.
Critical null orbit approaching the unstable photon circle at radius three M
. Details.
Near , . Thus , while . Hence
This is the perpendicular offset of the incoming asymptote and agrees with from the circular orbit. The orbit is the critical separatrix between scattering and capture.
For an equatorial circular orbit in the Paczyński-Wiita potential, radial force balance gives
Its specific angular momentum is . Perturbing the circular radius at fixed gives the radial epicyclic frequency squared . Therefore
Circular motion is radially stable for , marginal at , and unstable between and . Thus the inner edge of the nearly circular thin accretion disk is , joining a plunging region of a black-hole accretion disk inside the innermost stable circular orbit. This conclusion concerns the circular thin-disk model, not an assertion that all gas disappears inside this radius.
Take the inward mass accretion rate as positive, and write the positive outward viscous torque in an accretion disk as
Steady conservation of angular momentum makes the net inward flux independent of radius. Impose a zero-torque inner boundary condition at , appropriate to an approximately stress-free transition to plunging motion. Then
This is the steady accretion disk with arbitrary rotation law angular-momentum balance.
The local viscous dissipation integrated through the full disk thickness is . It is the power per unit planar area summed over both radiating faces. Since
substitution gives the two-face dissipation of a Paczyński-Wiita disk:
In particular vanishes at the stress-free inner edge and is nonnegative outside it because increases there. A one-face radiative flux is ; the total accretion luminosity is therefore , with no additional factor of two.
For a direct evaluation put . Then
The first integral is , using . For the second,
so it equals . Hence
This is the radiative efficiency of black-hole accretion within this pseudo-Newtonian model.
Independently, the specific orbital energy of a circular particle is
Thus and . The energy released per unit accreted mass is exactly , confirming the integrated accretion luminosity. The Paczyński-Wiita circular orbit reproduces the Schwarzschild inner radius but gives an approximate binding energy; the efficiency derived here is for the stated potential.
Put . In a circular orbit, the distances from the centre of mass are and . Summing the components' angular momentum gives
Use Kepler's third law and to obtain the circular-binary orbital angular momentum
The numerator contains orbital period, not the erroneous token in the converted TeX.
The total mass changes as . With the prescribed wind carrying specific angular momentum , the angular-momentum loss law is . For constant , integration gives . Cubing the orbital formula then proves the binary period invariant for a constant wind angular-momentum factor:
This integration does not require to be constant, although its instantaneous value enters the following response coefficients. In the conservative case , both and are constant and the usual period-product invariant for conservative mass transfer is recovered.
Kepler's law and the given Roche lobe approximation imply , since the total-mass factor cancels. Using the period law therefore gives
Because , the instantaneous Roche-lobe radius response exponent is
For , subtracting this response from the prescribed stellar radius evolution gives
The overflow-rate model requires and is used for small positive overfill. It gives . Hence the nuclear-driven Roche-overfill relaxation equation is
Let the bracket be . On the short response time, freeze the slowly changing masses and coefficients. If , the local solution is
The equilibrium donor mass-loss rate is . Thus the required stabilizing mass-ratio condition is
When is of order one and , the overfill is small and relaxation is fast, while mass transfer proceeds on a nuclear timescale. A positive arbitrarily close to zero does not by itself ensure this timescale separation or small overfill.
For an explicit threshold put and . The inequality is
If and , its positive root gives
For this reduces to , the conservative mass-transfer critical mass ratio. For other parameter signs the unsimplified inequality is the general condition.
If , a larger overfill causes further growth rather than restoration, on the short scale . Transfer runs away towards a dynamical episode, potentially a common envelope or merger; the small-overfill model then fails. At the overfill grows linearly under nuclear expansion and there is no steady regulated contact. These conclusions use the stipulated donor-radius response; an actual dynamical episode requires its adiabatic response and hydrodynamics.
The neutral-hydrogen 21-centimeter line traces cold gas far beyond the bright stellar galactic disk, where a dark matter halo contributes strongly to the galaxy rotation curve. With relatively small random velocities, this gas approximately follows circular orbits, allowing its Doppler velocities to measure the circular speed after inclination and pressure corrections, whereas stellar dispersions require an orbital-anisotropy model. Its extended radial reach and comparatively simple force tracing make neutral gas especially useful for outer-halo constraints, although warps and noncircular motions can invalidate that simplicity.
For a circular orbit the origin of mean anomaly is arbitrary because there is no distinguished pericentre. Choose at the ascending node, so is also the argument of latitude. If a different periapsis convention is used, replace below by . The orbital-frame rotation from inclination and node gives
In particular the crossing at has increasing for prograde and , confirming the ascending node convention.
Put and . The binomial series expansion of the direct disturbing function is
The indirect disturbing function subtracts , cancelling the dipole term. The constant has no spatial derivative and does not perturb the particle. After omitting that constant, the leading stellar quadrupole disturbing function is
Thus the PDF's equality is understood modulo a dynamically irrelevant additive constant and higher multipoles.
Define and let be the star's orbital longitude as seen from the planet. Its orbital plane has . The vector from planet to star is the negative of the planet's heliocentric vector: if describes that latter vector, use . This sign matters in but drops out of . Expanding the two rotated unit vectors gives
For example, the particle's horizontal correction is , while its vertical component is ; their dot products with the corresponding stellar components produce these terms. No cubic terms occur because simultaneous reversal of both small orbital inclinations leaves the dot product unchanged.
The two mean longitudes are uniform for the circular Kepler orbits, so orbit averaging is uniform in both and . Set and through quadratic order. The needed averages follow by integrating sine and cosine products over :
For the last identity, expand and factor the two integrations, each using . Squaring now yields
where the error includes all fourth-order combinations of the two orbital inclinations. Therefore
Multiplying this by gives the requested secular disturbing function. Equivalently, the exact angular factor for two circular rings is , where is their mutual inclination; its small-angle expansion gives the same result. This is the double-averaged circular tidal potential.
For aligned equatorial and planetary orbital planes, set . The secular stellar quadrupole disturbing function then has derivative . The supplied Lagrange planetary equations for nodal precession gives
The planetary quadrupole coefficient contributes , hence
Both are retrograde nodal precession rates. Equating them cancels and gives the Laplace radius
The planetary quadrupole dominates inside and the stellar tide outside it. These are small-inclination rates for planet-bound Kepler orbits in the hierarchical regime . At exactly , the node itself is undefined; the rates are the limiting precession frequencies of an infinitesimal tilt.
In a short time , the radius vector sweeps an oriented area . Thus
The constant is twice the oriented areal velocity, or the angular momentum per unit mass. Its constancy is Kepler's second law: equal areas are swept in equal times.
For a circular orbit of radius , set in the radial equation. The balance is
Hence a circular orbit exists for any with this nonzero . Its period gives Kepler's third law:
To check circular-orbit stability for a power-law central force directly, keep fixed and set . Expanding
about the balanced radius gives
The linear radial perturbation therefore obeys
It remains bounded and oscillates, proving stability under the stipulated small perturbations. Equivalently, the specific effective potential has a strict minimum at .
By Newton's third law, the force on the second particle is . For and centre of mass , Newton's second law gives . Thus
The centre moves on a straight line with constant velocity; zero velocity is allowed. For the relative position , subtraction of the two equations gives
Hence the two-body problem reduces to a single particle of reduced mass , together with the elementary centre motion. Reconstruct the positions as , .
Yes: the two equal masses can follow the same fixed circle in diametrically opposite positions. Put the stationary centre of mass at the circle's center and choose tangential velocities with the same sense of rotation. If the circle has radius , the separation is and the mutual gravitational force is directed toward that center, with magnitude . The circular orbit condition is , so an equal-mass circular binary has
These initial data maintain the opposite positions and give the same constant angular speed for both particles.
Put , take without loss of generality, and write . The Newtonian gravitational potential is singular at the origin; all pointwise claims below concern . The zero of the Newtonian gravitational potential is the one in the paper, with an implicit fixed length unit inside the logarithm.
The Poisson equation for Newtonian gravity in cylindrical coordinates gives
The two contributions to the Laplacian are
Consequently the mass density of the axisymmetric logarithmic gravitational potential is
The coefficient of is positive. The coefficient of determines the density positivity for an axisymmetric logarithmic potential: strict positivity at every noncentral point requires and . Nonnegativity permits , where the mass density vanishes on the noncentral symmetry axis. For it is negative near that axis. Either sign of a nonzero real gives the same model, and is undefined. Setting yields vacuum away from the singular origin, not strictly positive mass density. The central cusp is locally integrable and contains no hidden point mass: the Newtonian gravitational field flux through a shrinking sphere is of order its radius.
An equatorial circular orbit requires inward gravitational acceleration equal to . Thus the circular speed is
This is a flat galaxy rotation curve. The singular center does not define an additional circular orbit at .
Figure 1.
Flat equatorial rotation curve of the singular logarithmic galaxy; the central point is excluded
. Details.
The specific orbital energy is conserved because the Newtonian gravitational potential is time independent. The axial specific angular momentum is conserved because the Newtonian gravitational potential is axisymmetric. Hence the Jeans theorem, or directly in the Collisionless Boltzmann equation, permits a stationary two-integral galactic distribution function. Using makes this galactic distribution function even under reversal of the azimuthal velocity, so it describes a nonstreaming population. A general axisymmetric population can have an odd part in , or dependence on a third integral of motion; neither is required for this construction.
At each position define . The two-integral galactic distribution function is invariant under swapping and , since only their sum of squares occurs in . It is also even in each velocity component. Swapping integration variables proves meridional velocity isotropy of a two-integral distribution, while reflecting one variable makes each mixed integrand odd. Therefore
All mean velocities vanish, so these are also the corresponding statements for the velocity ellipsoid and its centered covariance tensor. They do not require to equal either meridional second moment.
To normalize the proposed logarithmic-potential two-integral distribution, first separate the mass density into terms with the same spatial factors as the two exponentials:
Since and , the Gaussian integral and its derivative give
Thus velocity integration of the galactic distribution function yields . Matching the independent spatial factors determines
This verifies both the stationary Collisionless Boltzmann equation and the required Poisson equation for Newtonian gravity. A shift changes the normalizations to and ; the physical mass density is unchanged.
There is an important distinction between positive mass density and a nonnegative galactic distribution function. For , both coefficients above are nonnegative. For a prolate model , and one must test the sum rather than reject the model just because one term is negative. On accessible phase space,
with equality in the equatorial plane at , . The nonnegativity bound for a prolate logarithmic-potential distribution is consequently
For larger , the displayed algebraic expression still integrates to the positive mass density, but is negative at those equatorial circular orbit phase points and is not a physical galactic distribution function. This extra restriction is distinct from the earlier density-only answer.
For an axisymmetric Newtonian gravitational potential, the vacuum Laplace equation in cylindrical coordinates is . Use separation of variables, . Dividing by and setting the separated constant to , with , gives
The first equation has solutions ; with , the second is the order-zero Bessel differential equation. Regularity at the axis selects the Bessel function of the first kind , rather than the singular Bessel function of the second kind . Thus
There are also zero-separation-constant modes, and other boundary conditions can select other separated families. For a localized reflection-symmetric thin disk, decay away from the disk selects on the respective half-spaces.
Apply the divergence theorem to the Poisson equation for Newtonian gravity across a narrow pillbox enclosing disk area. Writing the volume mass density as gives
Reflection symmetry makes . A superposition of the regular vacuum modes therefore satisfies
The order-zero Hankel transform and its inversion now determine the Hankel representation of thin-disk gravity:
The sign is fixed by the positive derivative of an attractive Newtonian gravitational potential above the disk. For ordinary finite disks the representation uses the isolated boundary condition, fixing any extra vacuum field or additive constant. Infinite scale-free disks require suitable regularization of the potential itself.
Equatorial circular orbit balance is . Using in the Hankel representation of thin-disk gravity gives
Differentiation under the integral is justified by convergence for regular models, or by first working off the disk and taking the limiting radial field.
Write . For the Mestel disk, the supplied Bessel function integral gives for . The circular speed is then
Meanwhile the interior mass is . Consequently
The Mestel disk has a flat galaxy rotation curve, despite its nonspherical geometry.
Its infinite total mass prevents setting the Newtonian gravitational potential to zero at infinity. Indeed the integral for diverges at because . Subtracting the potential at a reference point removes this additive divergence. As an explicit check, the Mestel disk potential-density pair is
It is harmonic for , its vertical derivative jump is , and . Equivalently, an Abel regularization of an oscillatory integral with damping factor in the radial-field integral gives , which tends to one as . The force is well-defined although the unreferenced potential is not.
The equality with is special to the Mestel disk, not a thin-disk shell theorem. The spherical shell theorem normally makes that formula possible, but does not apply to an astrophysical disk. Exterior annuli exert outward radial gravitational acceleration inside their radii, while interior annuli do not act exactly as point masses at the origin. For this particular scale-free surface density, their combined contributions happen to produce the same result as the interior mass expression. Changing the radial surface density or truncating the disk generally destroys the equality: enclosed mass does not determine a disc rotation curve.
For circular orbits in an exponential central potential, a constant positive radius requires , or
Let . Its derivative is : it rises from zero to , then falls back to zero. Hence
The strict lower bound matters: the printed upper bound also allows , but then there is no finite-radius circular orbit. Nonzero angular momentum is an implicit hypothesis of the two-orbit claim.
At a circular orbit, use to obtain
A small radial displacement satisfies . Therefore the inner circular orbit is radially stable at fixed angular momentum, while the outer orbit is unstable. The inner perturbation oscillates with squared frequency ; the outer perturbation has an exponentially growing solution. At the limiting value , the radii coalesce at and the linear restoring coefficient vanishes.
For a fixed satellite mass on an adiabatically changing circular orbit, . The satellite torque is minus the disc torque. Hence
The circular-orbit migration rate from disk torque, in the normalization supplied by the question, is
It is inward for a positive mass density slope and outward for a negative one. The complete-flyby normalization makes its magnitude four times larger, with the same direction. This is a local torque estimate; the hypothesis of a nearly circular slowly migrating orbit is needed when using the derivative of the circular angular momentum.
Write for the genuine surface density of a disk, and for its three-dimensional mass density. The delta function in the printed surface density formula belongs to , not to . Introduce a reference length to make logarithms dimensionless. The intended model is the infinite, self-gravitating, scale-free Mestel disk, with no extra source or imposed gravitational field.
The circular speed satisfies . Thus the flat galaxy rotation curve gives
A reflection-symmetric harmonic function with this midplane boundary value is
Verify this continuation using the Poisson equation for Newtonian gravity. For , set ; then
Hence off the astrophysical disk, and reflection gives the lower-half-space solution. Across the astrophysical disk the derivative jumps by . The distributional Poisson equation for Newtonian gravity therefore gives
At the origin the enclosed disk mass tends to zero linearly with radius, so there is no additional central point mass. This verifies the Mestel disk potential-density pair. The astrophysical disk has infinite total mass and a logarithmic Newtonian gravitational potential, so it is not an isolated finite-mass model with Newtonian gravitational potential zero at infinity. The usual scale-free boundary condition is important: the midplane rotation curve alone would also permit an added term , representing an extra uniform sheet without changing the radial circular force. That contribution is excluded in the intended Mestel disk model.
Use a mass-weighted planar galactic distribution function, so is the stellar mass in a small planar phase space element. A number-weighted function instead needs the stellar mass factor when computing . Assume a steady collisionless stellar system and isotropy in the two in-plane velocity components. Put and write . The stationary Collisionless Boltzmann equation becomes
Since this holds in every velocity direction, . In coordinates with , this is exactly . Therefore the planar isotropic distribution is , where is the specific orbital energy. Stationarity is essential; instantaneous isotropy alone would not imply this result.
Integrating over the two-dimensional velocity plane gives the planar isotropic distribution inversion:
On the astrophysical disk , so . Differentiate the integral with respect to its lower limit:
The boundary value as verifies the integrated equation as well as its derivative. Choosing the implicit length unit recovers the printed normalization. Changing the additive energy zero changes this prefactor accordingly.
At a fixed radius, the normalized velocity density is
It is a product of centered Gaussian distributions. Differentiating the supplied Gaussian integral with respect to its coefficient gives the second moments, and odd moments vanish. Thus the in-plane velocity dispersions are
An exactly planar astrophysical disk has and . The nonzero circular speed is a property of the force field, not a statement that this hot stellar distribution has net rotation.
Reversing every retrograde star folds the azimuthal Gaussian to a half-normal distribution. Equivalently the new steady galactic distribution function is , because and are integrals of the motion. Its density and even velocity moments are unchanged. Its streaming velocity is
This maximally prograde stellar distribution still has radial motion and a spread of azimuthal speeds; it does not place every star on a circular orbit. In particular while . The mean speed is smaller than the root-mean-square speed , which explains why it is not the circular speed.
Synchronous radius and its limits. Kepler's third law for a circumplanetary orbit gives
Here is the gravitational constant. A planet-synchronous orbit repeats after one spin period. A planet-stationary orbit additionally requires a circular orbit, zero orbital inclination to the equator and prograde motion. Then an antenna fixed on the ground points continuously at the same satellite; merely matching the orbital period does not give this property.
Write the planetary radius as . Requiring the semi-major axis to exceed gives . The stellar tidal force restricts the circumplanetary orbit to the Hill sphere, of radius . Thus
These are the surface and Hill-radius constraints in the idealized spherical, small- model. Long-term prograde stability generally requires a radius appreciably inside the Hill sphere; for nonzero orbital eccentricity, the surface constraint applies to the periapsis, not just to the semi-major axis.
Collision time and the launch population. A phase-mixed isotropic swarm occupies a shell of radial scale . Its number density scales as , its relative speed as , and its geometric collision cross-section as . Consequently the total collision rate scales as . To give the numerical normalization used here, adopt an effective shell volume . At a fixed position the velocity directions are uniformly distributed in the tangent plane, so their mean relative speed is . For an unordered pair, the collision cross-section is , giving
Thus the mean interval between collisions is in this large-population kinetic model. The effective shell width fixes an order-one coefficient: small orbital eccentricity and random planes alone do not specify a unique radial probability density. Phase mixing, negligible gravitational focusing, , and uncorrelated encounters are implicit in this estimate. Exactly identical orbital periods with perfectly fixed phases do not themselves produce a memoryless collision process.
For nearly planet-stationary orbits with , the swarm volume is smaller by a factor of order , while the relative speed is smaller by the same factor, since vertical motion of scale dominates the eccentric motion. The two changes cancel in the rate : there is no parametric factor in the collision time within the same phase-mixed kinetic approximation. Numerical factors and phase correlations can differ. This is not an argument that bringing all satellites into one nearly circular plane makes their phases random.
With , an Inhomogeneous Poisson process has cumulative hazard function
The survival function of the first collision is . Setting the expected number of collisions to one gives
This is a characteristic first-event population, with probability of an earlier event. It is not a median: the median has an additional factor .
Which population collides next? Immediately after the first disruption let and . The latter follows from mass conservation for equal-density spherical pieces. Using the same unordered-pair counting and geometric collision cross-sections as above, define ; then
Here stand for the usual large-population approximations to . The factor two distinguishing identical and different species is essential. The probability that the next collision is fragment–fragment is
It is the most likely type if and . It has probability greater than one half if
For , a strongly fragment-dominated next event therefore requires ; the fragment–satellite comparison is more restrictive than the satellite–satellite comparison. If , the next event must be fragment–fragment, provided fragments remain.
Population equations and the normalization discrepancy. Every satellite–satellite event produces fragments and destroys two satellites. Every satellite–fragment event produces a net fragments and destroys one satellite; every fragment–fragment event destroys two fragments. Consistent collision counting therefore gives
For , and . The last two terms in are then twice those in the printed equation. This is a genuine factor-of-two inconsistency: equal-size fragment pairs have a collision cross-section smaller by , so their event rate must be if the satellite event rate is ; destroying both fragments necessarily gives the sink .
If the printed equation is taken as a prescribed approximate rate model instead, its implicit event rates are , and . Under precisely that mixed normalization, its corresponding satellite equation is
The printed source term also neglects the consumed fragment in a satellite–fragment event, a legitimate relative approximation. That approximation does not repair the pair-counting discrepancy.
The ensuing cascade. This is a two-size fragmentation cascade. First use the printed approximate model, dropping satellite–satellite events as requested. Put , , and take . Then
Integrating this linear differential equation, with and , gives
Initially the collisional cascade grows if , with approximate early exponential growth time when the satellite population is nearly fixed. The fragment population reaches its maximum at
Afterwards satellites are depleted and fragment–fragment losses dominate. For the continuum solution has , , with
When no satellites remain initially, directly. Small integer populations eventually invalidate these deterministic differential equations.
The consistently counted model has, to leading order in , exactly the same curve and peak, but both retained time derivatives are twice as large. Its growth time is , and . Keeping and the consumed fragment replaces by and in the curve by . This explicitly separates the physical collision bookkeeping from the printed normalization while giving the evolution under both conventions.