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 isA circular orbit at obeys . Choose the guiding circular orbit with the same conserved angular momentum as the perturbed star. Setting and expanding at fixed giveswhere the radial epicyclic frequency isHere 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 orderThus the orbit performs small simple harmonic radial oscillations about its guiding radius.
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.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 40 3 ii Solution Created 2026-10-03 Updated 2026-10-14
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 givesUse , for which . The powers of , , and then givewhere the Euler beta function evaluates the constant asThe 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 andIndependently, the Kuzmin reflection method givesHere 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 yieldsThis 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.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 40 4 i Solution Created 2026-10-03 Updated 2026-10-14
Let be the outward viscous torque in an accretion disk. For a declining angular velocity, the vertically integrated viscous shear stress givesIn 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 provesThis 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 givesDifferentiate with and constant along the geodesic. Where , division by givesThis 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 . Thereforechoosing 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 isAs 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.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 46 1 i Solution Created 2026-10-03 Updated 2026-10-14
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 giveDifferentiating along the family of circular orbits,A change in orbital orientation contributes to , but . ConsequentlyThis 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 , soConservation of mass and conservation of angular momentum impose , . Adding the two particle contributions provesTo 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 whenby the Cauchy-Schwarz inequality. This gives . Let and , taking fixed particle masses for this exchange. Projecting perpendicular to its own direction givesThereforeThe 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.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 46 3 Solution Created 2026-10-03 Updated 2026-10-14
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 isThus 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 isAt 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 areThey express incompressibility and the absence of magnetic monopoles, respectively.
Now take real plane waves with common phase and real wavevector. The solenoidal conditions becomeEvery 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 yieldsCanceling its position-dependent part requiresThe remaining amplitude equations areDifferentiating 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. ThereforeThe resistive induction equation similarly givesusing . Integrating these differential inequalities, defineThenA non-axisymmetric wave has . For nonzero differential shear and positive , the negative cubic terms dominate the linear upper bound on shear work. ConsequentlyThis 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 aswhich 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.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 72 2 c Solution Created 2026-10-03 Updated 2026-10-14
Inside the uniform sphere, . Thus, with , part (b) givesThe Gaussian integral needed for the lowered Maxwellian velocity distribution isSubstitution therefore yieldsSince throughout the core, the integrand is positive and so is for . Using , part (a)'s massive-test-body drag magnitude isThe 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 obeysHence the positive local decay timescale isThere 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.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 72 4 b Solution Created 2026-10-03 Updated 2026-10-14
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, defineA regular nonradial bounded oscillation requires and . Solving the linear Binet equation then givesFor 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 whenwhere 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.
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 isThe 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.
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 2 35A ii Solution Created 2026-09-24 Updated 2026-10-14
Write . The proposed function is . Differentiating using and verifies . Its physical branches have , namely , andOn 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.
Near , . Thus , while . HenceThis 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.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 70 1 Solution Created 2026-10-03 Updated 2026-10-14
For an equatorial circular orbit in the Paczyński-Wiita potential, radial force balance givesIts specific angular momentum is . Perturbing the circular radius at fixed gives the radial epicyclic frequency squared . ThereforeCircular 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 asSteady 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. ThenThis 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. Sincesubstitution 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 . ThenThe first integral is , using . For the second,so it equals . HenceThis is the radiative efficiency of black-hole accretion within this pseudo-Newtonian model.
Independently, the specific orbital energy of a circular particle isThus 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.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 70 4 Solution Created 2026-10-03 Updated 2026-10-14
Put . In a circular orbit, the distances from the centre of mass are and . Summing the components' angular momentum givesUse Kepler's third law and to obtain the circular-binary orbital angular momentumThe 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 givesBecause , the instantaneous Roche-lobe radius response exponent isFor , subtracting this response from the prescribed stellar radius evolution givesThe 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 isThe equilibrium donor mass-loss rate is . Thus the required stabilizing mass-ratio condition isWhen 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 isIf and , its positive root givesFor 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.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 60 4 vii Solution Created 2026-10-03 Updated 2026-10-14
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.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 61 3 Solution Created 2026-10-03 Updated 2026-10-14
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 givesIn 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 isThe 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 isThus 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 givesFor 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 yieldswhere the error includes all fourth-order combinations of the two orbital inclinations. ThereforeMultiplying 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 givesThe planetary quadrupole coefficient contributes , henceBoth are retrograde nodal precession rates. Equating them cancels and gives the Laplace radiusThe 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.
Past exam of the mathematics course of the University of Cambridge 2011 ia Paper 4 3B Solution Created 2026-09-24 Updated 2026-10-14
In a short time , the radius vector sweeps an oriented area . ThusThe 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 isHence 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 . Expandingabout the balanced radius givesThe linear radial perturbation therefore obeysIt remains bounded and oscillates, proving stability under the stipulated small perturbations. Equivalently, the specific effective potential has a strict minimum at .
Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 3B Solution Created 2026-09-24 Updated 2026-10-07
By Newton's third law, the force on the second particle is . For and centre of mass , Newton's second law gives . ThusThe centre moves on a straight line with constant velocity; zero velocity is allowed. For the relative position , subtraction of the two equations givesHence 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 hasThese initial data maintain the opposite positions and give the same constant angular speed for both particles.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 59 1 Solution Created 2026-10-03 Updated 2026-10-14
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 givesThe two contributions to the Laplacian areConsequently the mass density of the axisymmetric logarithmic gravitational potential isThe 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 isThis is a flat galaxy rotation curve. The singular center does not define an additional circular orbit at .
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. ThereforeAll 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 giveThus velocity integration of the galactic distribution function yields . Matching the independent spatial factors determinesThis 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 consequentlyFor 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.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 59 3 Solution Created 2026-10-03 Updated 2026-10-07
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 , givesThe 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 . ThusThere 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 givesReflection symmetry makes . A superposition of the regular vacuum modes therefore satisfiesThe 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 givesDifferentiation 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 thenMeanwhile the interior mass is . ConsequentlyThe 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 isIt 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.
Past exam of the mathematics course of the University of Cambridge 2013 ia Paper 4 9B a ii Solution Created 2026-09-24 Updated 2026-10-07
For circular orbits in an exponential central potential, a constant positive radius requires , orLet . Its derivative is : it rises from zero to , then falls back to zero. HenceThe 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 obtainA 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.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 54 3 d Solution Created 2026-10-03 Updated 2026-10-07
For a fixed satellite mass on an adiabatically changing circular orbit, . The satellite torque is minus the disc torque. HenceThe circular-orbit migration rate from disk torque, in the normalization supplied by the question, isIt 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.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 58 1 Solution Created 2026-10-03 Updated 2026-10-06
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 givesA reflection-symmetric harmonic function with this midplane boundary value isVerify this continuation using the Poisson equation for Newtonian gravity. For , set ; thenHence 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 givesAt 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 becomesSince 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 isIt 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 areAn 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 isThis 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.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 59 1 Solution 2026-10-06
Synchronous radius and its limits. Kepler's third law for a circumplanetary orbit givesHere 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 . ThusThese 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 , givingThus 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 functionThe survival function of the first collision is . Setting the expected number of collisions to one givesThis 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 ; thenHere 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 isIt is the most likely type if and . It has probability greater than one half ifFor , 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 givesFor , 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 isThe 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 . ThenIntegrating this linear differential equation, with and , givesInitially the collisional cascade grows if , with approximate early exponential growth time when the satellite population is nearly fixed. The fragment population reaches its maximum atAfterwards satellites are depleted and fragment–fragment losses dominate. For the continuum solution has , , withWhen 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.



