The limiting inward departure from the marginal Paczyński-Wiita circular orbit at conserves the displayed specific angular momentum and specific orbital energy. In the Paczyński-Wiita potential, its inward speed satisfies . The exactly marginal circular orbit does not depart without a perturbation; the formula describes the separatrix limit of inward releases.
Write for the conserved specific angular momentum. Zero specific orbital energy in the inverse-square Newtonian gravitational field gives
Define , the periapsis radius for a nonradial parabolic trajectory. Then
On the outgoing branch, integrate from the periapsis time and put :
The incoming branch has the opposite sign. Squaring gives the radius-time relation for a parabolic Kepler orbit, a version of the Barker equation:
Here and are fixed by angular momentum and the time origin at periapsis. The relation applies on both branches, with ; it is not necessary to solve for the polar angle.
For an attractive central force, the transverse acceleration vanishes. In polar coordinates,
Thus the specific angular momentum is constant. Assume , so angle can parameterize the orbit, and put . Primes denote angle derivatives. The chain rule gives
The outward radial component of the attractive force is . Its Newton's second law equation is therefore , giving the Binet equation
The sign reflects being the positive inward force magnitude. Zero angular momentum produces radial motion and is outside this angular parametrization.
Take constant kinematic viscosity and the inner specific angular momentum found above. The Angular velocity of a circular Schwarzschild geodesic gives . Hence the inward radial component of four-velocity in the stated viscous model is
To convert proper time to Schwarzschild time, neglect in the normalization as prescribed and insert the circular value of . One obtains
The change in observed Schwarzschild time equals this coordinate-time change when differential light travel time is neglected. Since ,
This time is nonnegative: on the integration interval.
Put and . The integral becomes
Polynomial division gives . Separately, writing gives . Therefore the antiderivative inside the integral is
Its value at is . Subtracting this lower endpoint yields the formal viscous inspiral time in Schwarzschild spacetime
The logarithm has a positive coefficient. The minus sign in the printed final expression is inconsistent with its preceding integral. Differentiating the corrected bracket gives , precisely the positive integrand after rescaling. The bracket vanishes at ; replacing by its negative would give derivative there and a negative elapsed time for just above . This is a sign error, not a choice of potential or time convention.
The result assumes constant kinematic viscosity; if varies with radius it remains inside the time integral. There is also a physical limitation to the stipulated approximation: vanishes quadratically at , so its formal diverges and eventually violates the neglected-radial-motion condition. The finite integral is the formal extrapolation of the nearly circular viscous model. A real accretion disk must instead match to its plunging region of a black-hole accretion disk; this approximation cannot describe that transition arbitrarily closely.
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.
Assume axisymmetry in a thin disk orbiting a fixed central mass . To leading order in thickness, the Keplerian rotation is independent of height, , with slow radial drift compared with . Neglect radial pressure support in the orbital balance, changes in the central potential, mass loss through the disk surfaces and applied surface torques. The Cauchy stress tensor can represent viscous or effective turbulent/magnetic transport; only its vertically integrated azimuthal component enters the conservation of angular momentum equation.
Define the surface density and its mass-weighted radial velocity by
and set . Integrating mass conservation vertically gives
The azimuthal equation in cylindrical coordinates, multiplied by and combined with mass conservation, is the conservative equation for specific angular momentum . The cylindrical stress tensor divergence contributes . With vanishing surface torque, vertical integration therefore gives
Because is fixed in time, subtracting times the mass equation yields
Define the effective viscosity defined by disk stress by
This sign convention treats as the shear stress appearing with . For the Newtonian fluid stress tensor it reduces to the density-weighted viscosity of a disk, , rather than an unweighted height average.
Using and in the conservation of angular momentum equation gives
Substitution into mass conservation proves the Keplerian viscous diffusion equation:
The outward viscous torque in an accretion disk is .
For with , make the heat-equation transform for linear-radius disk viscosity
Writing , the diffusion equation becomes ; the displayed rescaling of gives exactly , with the original time unchanged. The torque is , so the zero-torque inner boundary condition at the origin becomes on the half-line .
A positive similarity solution obeying this boundary condition is
For example, substitution of reduces the heat equation to , and satisfies it and vanishes at zero. A replacement of by gives a finite-mass initial profile at time zero if desired.
To determine the global integrals, transform the mass and angular momentum:
The Gaussian integrals give
Thus the accreting similarity disk with viscosity proportional to radius loses mass as while conserving angular momentum; its characteristic radius grows proportional to . The accretion rate at the origin is . Its radial velocity shows inward flow at small radius and outward spreading at large radius. The integrable inner density singularity is part of the idealized extension to .
For the other profile, direct differentiation gives
It also satisfies the heat equation, but has and . It therefore has a nonzero inner torque and zero mass flow at the origin, not the previous zero-torque inner boundary condition. Here
An arbitrary positive amplitude multiplies these quantities. This constant-mass disk with viscosity proportional to radius spreads outward under a central torque that supplies angular momentum, with no ongoing central mass supply. It has the reflecting Neumann boundary condition for the heat equation and can be regarded as the spreading of an initially central mass distribution driven by an applied torque. It is distinct from the accreting zero-torque solution; the ideal origin does not model a finite stellar surface or a relativistic inner disk.
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.
Both profiles have integrable central cusps. Directly integrating the surface density of a disk and its specific angular momentum gives
For , substitution of the similarity functions gives
The inward accretion rate is . At the origin it tends to . The outward viscous torque in an accretion disk is
For this profile as , and the advected angular-momentum flux also vanishes there. Both outer fluxes vanish at . Thus disk mass decreases through central accretion while disk angular momentum is conserved. Including the accreted central mass restores total mass conservation for the disk-plus-sink system.
For , instead,
Here the mass flux tends to zero at the origin, despite positive radial velocity everywhere else. The inner torque has the nonzero limit
Thus the nonaccreting similarity disk supplied by an inner torque conserves disk mass but gains angular momentum from an external central torque. Its vanishing edge flux cannot supply that gain. The disk is not globally isolated in angular momentum; the combined disk and torque source may of course conserve it.
These profiles illustrate different boundary-controlled similarity classes of the Keplerian viscous diffusion equation. The solution is compatible with a zero-torque inner boundary condition and conserved finite angular momentum, and can describe a late-time spreading accretion disk after the detailed initial profile has been forgotten. Its mass diverges as , so the formal zero-radius origin is not a finite-mass initial disk. The solution has finite initial mass concentrated at the origin and initially zero disk angular momentum, but requires the specified inner torque for ; that torque's singularity is time-integrable. It may describe a spreading nonaccreting disk for compatible torque-driven boundary conditions, but cannot be an isolated angular-momentum-conserving disk's generic asymptotic state. Similarity scaling suggests their possible asymptotic roles; it does not establish convergence for arbitrary initial and boundary data.
The marginal circular orbit has conserved specific angular momentum and specific orbital energy
At fixed , the derivative of the effective potential factors as
An inward displacement therefore produces inward radial acceleration; no inner circular equilibrium or centrifugal barrier halts the plunge. In the infinitesimal-displacement limit, energy conservation gives
Selecting the inward branch and the original positive sense of rotation yields the Paczyński-Wiita ballistic plunge
The azimuthal speed remains positive while the radius decreases, so the trajectory spirals inward. From any fixed starting radius below , the time to reach is finite: behaves as near , which is integrable.
The exactly marginal circular state with exactly zero displacement remains a circular solution. A finite inward release from rest changes the energy by a term cubic in the displacement; the displayed expression is its limiting separatrix with . On that separatrix near , so departure from exactly takes an infinite limiting time. This distinguishes the infinitesimal-release formula from spontaneous motion of the unperturbed marginal orbit.
For a circular mid-plane orbit, radial force balance in the Newtonian gravitational potential is . Hence
Axisymmetry conserves the specific angular momentum . At fixed , radial motion obeys , where the effective potential is . Linearize around a circular radius , writing . Since there,
This is the radial epicyclic frequency; equivalently .
Reflection symmetry gives and , so vertical and radial displacements decouple at linear order. The vertical equation is , giving the vertical epicyclic frequency
Positive squared frequencies give oscillatory stability; a negative squared frequency gives exponential instability rather than a real oscillation frequency.
For Roche-lobe overflow, . Cubing the Roche lobe approximation and using the donor's mass-radius relation gives
Kepler's third law therefore yields the Roche-lobe period-mass relation for a linear donor radius law:
The component distances from the centre of mass are and . Summing their angular momenta gives the circular-binary orbital angular momentum
During conservative binary mass transfer, and . Logarithmic differentiation at constant angular momentum gives . Thus the Roche-lobe radius response exponent gives
Their difference is . Since the donor loses mass, this is positive for : the donor shrinks relative to its Roche lobe, so transfer shuts off without an external driver. The Roche lobe itself expands only for ; for it shrinks more slowly than the donor.
Gravitational-wave emission from a binary system provides such a driver: the orbit emits gravitational waves carrying energy and angular momentum, and the shrinking Roche lobe can maintain contact. Allowing , the binary mass-transfer contact equation becomes
It gives a negative transfer rate for .
For the classical nova, assume isotropic re-emission from a binary star: ejecta carry the accretor's specific angular momentum . The eruption lasts many orbital periods, so the orbit responds approximately adiabatically and remains nearly circular; an instantaneous asymmetric kick would be a different model. To first order,
Differentiating the circular-binary orbital angular momentum formula during the ejection gives
The accompanying Roche lobe change is therefore
The donor does not change mass in the eruption and moves inside its expanded Roche lobe: this is nova-induced binary detachment.
Put for the constant external loss. During detachment the component masses are fixed, so the Roche lobe shrinks at fractional rate . Closing the fractional gap takes . During the subsequent semidetached binary phase, the binary mass-transfer contact equation gives , so accumulating the next eruption's mass takes . Consequently
Both times are evaluated to first order in , with the same equilibrium donor mass-radius relation; changes of and the transfer rate within one cycle affect higher orders.
More than three integrals occur when additional symmetry or degeneracy restricts motion beyond a generic three-frequency invariant torus. In a time-independent central gravitational potential, energy and the three components of specific angular momentum are four generically independent isolating integrals. They fix the orbital plane as well as the radial-motion parameters. A nonclosed planar rosette typically has two-dimensional orbit closure, rather than a three-dimensional invariant torus.
The Kepler orbit is a stronger example. In addition to and , the conserved Laplace-Runge-Lenz vector
fixes the apsidal direction. Its constraints and leave five independent integrals among . It is a maximally superintegrable Hamiltonian system, with closed nondegenerate bound orbits.
More than three integrals need not form a set of Poisson-commuting functions; the three-integral limit applies to an independent commuting set, rather than to every conserved orbit constraint. At a nonstationary point in six-dimensional phase space, integral gradients annihilate the nonzero flow vector, so at most five are independent. This explains the isolating integrals and orbital closure dimension count. A resonance on one isolated orbit does not by itself prove an additional smooth global integral on a neighborhood.
In cylindrical coordinates the particle's radial and vertical equations are and . Axisymmetry gives conservation of angular momentum, with specific angular momentum . Eliminating the cyclic azimuthal motion therefore gives
Thus governs the meridional motion. Its conserved energy is . The additional term is the centrifugal barrier appropriate to fixed angular momentum.
For a point mass, . If , the vertical derivative vanishes only at , and the radial stationary condition there gives . This is the sole stationary point with , at energy . Its Hessian matrix is
Consequently the local contours are closed, approximately circular curves about a strict minimum. Finite negative-energy contours above the minimum remain closed; the centrifugal barrier prevents approach to the axis and the negative energy prevents escape to infinity. The zero contour satisfies , while positive-energy contours can be unbounded. The left panel illustrates these features; portions of the outer contours extend outside the plotting window.
Figure 1.
Meridional contours of fixed-angular-momentum and fixed-angular-velocity point-mass potentials
. Details.
Each panel uses its own circular radius as length unit and as potential unit. Linearizing near the minimum gives
The radial and vertical epicyclic frequencies both equal the circular orbital frequency. Circular Kepler orbits are stable to small meridional perturbations of a freely moving particle. With no dissipation the oscillations persist rather than decay. A change in h shifts the circular radius to a nearby orbit; azimuthal phase itself is neutral by rotational symmetry. If , there is no stationary point or centrifugal barrier and this circular-orbit stability discussion does not apply.
Use outward radial mass flux and outward stress-carried angular-momentum flux . The PDF includes a second conservation equation omitted from the converted TeX:
Together with mass conservation, , it fixes the signs of the wind terms. Subtract h times the mass equation, noting that the prescribed is independent of time. One obtains
The viscous torque in an accretion disk in this outward-flux convention is . Thus, where ,
Putting this result back into mass conservation gives
The derivation requires a fixed rotation law; it would acquire additional terms if h evolved independently in time.
For Keplerian rotation, , , and . With , the radial flux becomes
Consequently the wind-loaded Keplerian disk evolution equation is
The final term removes mass locally. The extra flux term describes the disc's radial response when the outflow removes more or less than the local specific angular momentum. In particular, cancels this additional transport term without canceling the local mass sink.
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.
More than three occur when symmetries or frequency degeneracies reduce the orbit's invariant closure below a generic three-dimensional invariant torus. For a nonradial orbit in a spherical gravitational potential, specific orbital energy and the three components of specific angular momentum are generically four independent isolating integrals. Their values fix the orbital plane, angular momentum magnitude and radial specific orbital energy, but a nonclosed rosette still fills a two-dimensional invariant torus. Thus more than three does not by itself imply closure. Orbital resonances can further reduce the number of independent orbital phases. The count concerns independent integrals, not arbitrarily many functions of the same invariants.
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.
Consider a local shearing sheet centered at a circular orbit. Take uniform mass density, background velocity , rotation and a weak uniform vertical magnetic field . Here
Use ideal magnetohydrodynamics, neglect viscosity, magnetic diffusion and vertical stratification, and take incompressible axisymmetric disturbances proportional to . They have horizontal velocity and field perturbations. Let be the magnetic perturbation in velocity units, the Alfvén speed and the Alfvén frequency. Magnetic pressure can be included in the perturbation's total pressure; the horizontal Lorentz force for this mode is the magnetic tension term .
Linearizing momentum and induction gives
The term winds a radial magnetic perturbation into an azimuthal one. Omitting it would remove the shear's magnetic energy source and give the wrong stability criterion.
A useful elimination that also covers neutral modes introduces the fluid displacement . Frozen-in flux gives , while the Eulerian perturbation velocity is , , because the displacement samples the gradient of the basic flow. The equations become the spring model of magnetorotational instability:
For the stated time dependence, their determinant is
Thus the ideal magnetorotational dispersion relation is
It follows without dividing by , so the neutral stability boundary is included.
To analyze it, put and . Then
For a hydrodynamically stable rotation law, , the sum of the two roots is positive. Their product is negative precisely when . One squared frequency is then negative, giving an exponentially growing mode and its decaying partner. Therefore the magnetorotational instability, or MRI, has criterion
Angular velocity must decrease outwards, although specific angular momentum may increase outwards and satisfy Rayleigh's circulation criterion. This is why a Keplerian disc can be stable to the axisymmetric hydrodynamic disturbances of Question 2 yet unstable once magnetic coupling is introduced. At zero magnetic frequency the unstable root becomes neutral, while sufficiently large magnetic frequency restores stability. For increasing angular velocity, with , this ideal vertical-field instability is absent.
The growth rate is
For , differentiation with respect to sets , yielding the maximum growth rate of ideal magnetorotational instability:
For Keplerian rotation, , so
Thus the fastest growth is on an orbital timescale. The field strength selects its wavelength, , rather than the maximum ideal growth rate. At fixed , growth does approach zero as ; retaining the finite maximum in that limit requires shorter wavelengths, which magnetic diffusion can eventually exclude. Unstable wavelengths satisfy in this local model. A finite disc must accommodate such a wavelength, so a sufficiently strong field can suppress the available vertical modes through excessive tension.
Physically, a bent field line acts like a spring joining neighboring fluid elements. The inner element rotates faster and pulls the outer element forward, transferring angular momentum outward. The inner element loses angular momentum and moves inward; the outer element gains it and moves outward. In a rotation law with outward-decreasing angular velocity, these motions increase their angular-velocity difference and the magnetic coupling produces further separation. A weak restoring spring therefore creates a feedback instability by enabling angular-momentum exchange. Without that exchange, each displaced element keeps its angular momentum and a positive epicyclic frequency restores its orbit. Strong magnetic tension instead prevents the separation. The free energy is the differential rotation, not the initial magnetic energy.
The instability provides an important route to turbulence and angular momentum transport in sufficiently conducting accretion discs. The radial flux of azimuthal momentum includes the stress
The first term is a Reynolds stress and the second is the magnetic contribution from the Maxwell stress tensor, with the sign appropriate to momentum flux. For the growing branch, take real and positive. The linear equations give and . The last sign follows from . Thus both the velocity and magnetic contributions carry angular momentum outward. The associated energy extraction is . Inward accretion can then accompany outward angular-momentum transport, and dissipation of the resulting fluctuations heats the disc. This gives a physical mechanism behind an effective turbulent-viscosity description such as an alpha disk, whereas microscopic viscosity alone is generally too weak for rapid accretion.
Figure 1.
Finite hydrodynamic swing amplification compared with the growing MRI branch in a Keplerian disc
. Details.
MRI is an exponentially growing magnetic instability of outward-decreasing angular velocity; hydrodynamic shearing-wave amplification is transient and does not by itself establish sustained turbulence. Nonlinear saturation, field regeneration and transport efficiency depend on field geometry, boundaries and thermodynamics. Poor conductivity or important nonideal magnetic effects can suppress or modify the ideal instability, so the local dispersion relation is a mechanism and growth criterion rather than a universal prescription for the saturated stress.
Let . The centre of mass condition gives , . For circular motion the component angular momenta are , so
Using Kepler's third law, , and gives
This is the circular-binary orbital angular momentum. Mass received by the companion redistributes angular momentum within the binary star; only the escaping stellar wind removes it under the prescribed model.
The stellar wind from the donor star has specific angular momentum
Here , and . Thus donor-wind angular-momentum loss gives
Taking the logarithmic derivative of the period expression for gives
Use to simplify this to
For constant , integration therefore gives
This is the donor-wind period invariant with fixed retention fraction. If changes during the evolution, the differential equation remains valid but the integrated invariant is instead . The fixed-power expression cannot be used with a time-dependent exponent without this modification.
For the Roche lobe, write . The equivalent separation expression gives
Taking the logarithmic derivative of then adds , yielding
This donor-wind Roche-lobe response uses only the instantaneous value of and thus still holds if it varies.
Define and . The Roche-lobe radius response exponent is , whereas the donor star's stellar radius response exponent is . Keeping requires the two logarithmic derivatives of radius to agree, so
For , this determines
A physical mixture of Roche-lobe overflow and stellar wind from the donor star needs . Equivalently, must lie strictly between the pure-wind response and the conservative response . The values and are valid limiting prescriptions, respectively pure stellar wind and conservative mass transfer, rather than mixtures. If lies outside , no allowed division of the lost mass can maintain contact under this radius law and angular-momentum-loss prescription. This is feasibility of donor-wind binary contact.
The likely direction away from contact follows without assigning a nonphysical fraction. For any actual , let . Then
Since , a positive value of makes the donor star move inside its lobe and detach; a negative value increases overfill and promotes stronger transfer. Thus if , gives increasing overfill and gives detachment; if , these outcomes are reversed. A runaway or a new equilibrium would require the donor star's response or the angular-momentum-loss model to change, possibly with additional driving. The contact calculation alone does not prove a particular nonlinear endpoint.
There is also a genuine exceptional denominator: at . At this ratio both limiting lobe responses coincide. Contact is possible only if , namely ; then every gives the same instantaneous radius response. Otherwise no fraction works, and the sign of determines detachment or increasing overfill.
An integral of motion is a function of phase space that is constant along a trajectory. Put , so the stellar acceleration is . In a time-independent spherical Newtonian gravitational potential,
The second equality uses the radial direction of . Thus both the binding energy and the full specific angular momentum vector are integrals of motion.
The Collisionless Boltzmann equation is
For a stationary galactic distribution function, this says on every characteristic, so is constant on each stellar orbit. Locally choose a complete set of orbit labels , themselves integrals of motion; constancy along the characteristic means . Conversely, for any such differentiable , the chain rule gives . This proves Jeans theorem in its orbit-invariance form. It does not claim that just two particular integrals classify every orbit in an arbitrary potential. For the specified spherical model, is a rotationally invariant stationary choice.
For the velocity integration, write , , , and set . At fixed position the velocity-dependent factor is
Use and integrate over . The mass density is
Since ,
These integrals use the stated untruncated galactic distribution function over all velocities; an additional escape-energy cutoff would change the result.
In local orthogonal velocity components the same exponent is . Each component is a centred Gaussian distribution. The one-dimensional identity yields
In particular the velocity-anisotropy parameter is . This is Gaussian angular-momentum suppression in a stellar distribution.
The radial laws also require self-consistency through the Poisson equation for Newtonian gravity:
For , outside a sufficiently small core, the model is almost isotropic and isothermal. Seek its scale-free envelope with . Its distribution-density relation gives , and the Poisson equation for Newtonian gravity gives . Thus the intended intermediate singular isothermal sphere behaviour is
where a core scale is .
The stated law cannot be the actual central limit of a regular finite-density model. For finite and , regularity and the Poisson equation for Newtonian gravity instead give
and . A broad intermediate region exists only if ; the radius alone does not ensure it.
For the outer radially anisotropic isothermal halo asymptotics, put , and . At the density relation and Poisson equation become
The slow outer balance is , so , giving . Its consistency check is , for which . Therefore
The reference radius changes only subleading logarithmic terms. The circular speed falls as , rather than remaining exactly flat.
Physically, the model has an almost isotropic central region and, if the scales separate, a flat-rotation isothermal envelope. Beyond , suppression of large specific angular momentum leaves predominantly radial orbits: radial velocity dispersion remains , while transverse dispersion falls as . The outer density acquires a logarithmic suppression and the galaxy rotation curve declines slowly. The enclosed mass still grows approximately as , so this untruncated model has infinite total mass.