Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 69 1 Solution Created 2026-10-03 Updated 2026-10-14
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 isFor 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 isUse and integrate over . The mass density isSince ,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 yieldsIn 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 iswhere 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 giveand . 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 becomeThe slow outer balance is , so , giving . Its consistency check is , for which . ThereforeThe 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.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 69 3 Solution Created 2026-10-03 Updated 2026-10-14
For a bound Kepler orbit, the semimajor axis is half the long diameter of the ellipse; if are its apsidal distances, . The orbital eccentricity is , with and semiminor axis . The gravitating centre is a focus, displaced by from the ellipse's geometric centre.
Choose a reference plane, a positive normal and a fixed reference direction in that plane. The ascending node is where the orbit crosses toward positive normal displacement. The longitude of ascending node is the reference-plane angle from the fixed direction to that node. The argument of periapsis is the angle from the ascending node to periapsis, measured in the orbital plane in the direction of motion. The orbital inclination is the angle between the reference normal and the orbital angular-momentum normal, with . The diagram separates the ellipse's shape from these orientation angles.
Size and shape of a Kepler ellipse, and the node, periapsis and inclination angles in a fixed reference frame
. Details. Let and use actions per unit test-particle mass. In the prograde spherical-action chart underlying the stated Hamiltonian, and , so . The radial action then satisfies , consistently with . DefineIf are the old angles, a type-two generating function isDifferentiation with respect to the old angles recovers , and differentiation with respect to the new actions gives the canonical transformationIts triangular integer action matrix has determinant one, so it preserves the angle periodicities. In the new coordinates,These are the Delaunay variables:With the usual choices of angle origins, is mean anomaly, is argument of periapsis, and is longitude of ascending node. The generator rotates the orbit within its plane, whereas rotates that plane about the reference normal; this explains the angular identification. The fast angle obeys Kepler's equation , where is eccentric anomaly.
For retrograde orbits, signed gives and the spherical Hamiltonian uses . The stated plus-sign form is therefore a prograde chart, not a global signed-action formula. The Delaunay variables still use ; on the retrograde branch the generating function is . At , periapsis is undefined, and at or the node is undefined: these are angle-chart degeneracies, not physical singularities.
For the perturbed planet orbit, the radial and vertical frequencies mean small oscillations about a circular equatorial orbit of cylindrical radius . Write and retain the stated quadrupole potential. On the equator,At fixed axial specific angular momentum , the radial effective potential is . Its second derivative at circular balance gives the radial epicyclic frequencyReflection symmetry decouples vertical motion to first order. Expanding the potential in givesso the vertical epicyclic frequency isThe circular orbit is radially stable only for . For in that domain, . Vertical node crossings repeat at frequency while azimuth advances at , so the line of nodes has nodal precession rate . Radial periapsis passages repeat at , giving apsidal precession rate . To leading quadrupole order, with ,This is oblate-quadrupole epicyclic precession. Here denotes the nearly equatorial longitude of periapsis, not alone.
The precession signs above have a small-eccentricity, small-inclination domain. They are not a universal claim for every inclined Kepler ellipse. To see the distinction with the same Delaunay variables, average the perturbation over an unperturbed orbit. Since and , the term linear in integrates to zero and the average in the integral is . ThusDifferentiating at fixed other actions yields the first-order secular ratesTheir nearly equatorial sum reproduces the prograde . For a polar orbit, however, the node is fixed and . This supplies a concrete counterexample to extending the requested forward periapsis precession beyond the intended epicyclic regime.
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 ia Paper 4 10B i Solution Created 2026-09-24 Updated 2026-10-14
Multiplying the tangential equation of motion by givesTherefore is constant. It is the signed specific angular momentum; reverse the angular orientation if necessary to take for a nonradial orbit. Set and denote differentiation with respect to by a prime. ThenSubstitution into the radial equation of motion and division by give the Binet equationIts general solution is . Write and , where . This produces the Kepler orbitHere is the orbital eccentricity, and points toward periapsis when . Only portions with describe positive radial distances. The expression assumes ; a zero-angular momentum trajectory is radial and must be treated separately.
Past exam of the mathematics course of the University of Cambridge 2008 ia Paper 4 10B Solution 2026-10-14
At infinity, the meteorite's incoming asymptote has speed and perpendicular distance from the Earth’s centre. The magnitude of its specific angular momentum is the magnitude of . On the asymptote, this is , so conservation of angular momentum gives . Its mechanical energy at infinity is . Comparing with part (ii) givesFor this Kepler orbit is a hyperbola. The smallest occurs at periapsis, where . ThusThe middle equality follows by substituting . A trajectory entering the Earth satisfies , equivalentlyTherefore the sufficient collision condition isThis is gravitational focusing: Newtonian gravity increases the collision radius measured at infinity. Equality is the ideal grazing trajectory, which touches the surface; a strict inequality penetrates it. For the incoming motion is radial and collides, with as the limiting value of the above expression.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 69 2 b Solution Created 2026-10-03 Updated 2026-10-14
Steady axisymmetric mass conservation is , permitting the axisymmetric hydrodynamic mass flux function representationThus stream surfaces are regular level surfaces of . Adiabaticity gives , and axisymmetry removes the azimuthal derivative, so the specific entropy is constant along their meridional streamlines. The azimuthal Euler equations for an inviscid fluid has no pressure or gravitational torque:The conserved specific angular momentum is . Taking the scalar product of the steady Crocco form of the unsteady Euler equation with also givesConsequently, on each connected regular family of stream surfaces,These functions express entropy, angular momentum and the Bernoulli function carried by a stellar wind. Stagnation regions and disconnected branches with identical flux labels require their own matching information; the argument establishes the functions locally where the poloidal flow is nonzero.
To derive the hydrodynamic transfield equation for an axisymmetric wind, decompose the vorticity. The poloidal part comes from the toroidal velocity:The azimuthal part comes from the poloidal velocity:The final divergence is the full axisymmetric cylindrical divergence, including its radial factor.
Since , the meridional part of isThe remaining steady Euler equations for an inviscid fluid is thereforeCanceling on a regular stream surface and inserting givesThe sign of the angular-momentum term follows from . To determine the wind, this transverse force equation is supplemented by its Bernoulli function relationand the equation of state, with the gravitational potential supplied externally or by the Poisson equation.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 71 1 Solution Created 2026-10-03 Updated 2026-10-14
Assume an axisymmetric, geometrically thin disc in a fixed Keplerian rotation field, neglecting the disk's self-gravity. Write positive outwards and letThe ring supplies the local specific angular momentum. Its source per unit area iswhere the Dirac delta function is normalized so that . Define the positive outward viscous torque in an accretion disk byThe height-integrated conservation of mass and conservation of angular momentum equations areSubtract times the mass equation. Since is time-independent, this givesThe last term is zero as a distribution, because the source is supported where . Since , substituting the torque givesInserting this into the mass equation proves the Keplerian disk evolution with a ring source:The viscosity may be a prescribed function or a function of the local disk state; the conservation derivation is the same.
To track signs in the steady problem, define the inward mass fluxThen . Away from the source is constant, with on the inner side and on the outer side, where both loss rates are positive. Integrating through the source gives . Therefore
The outward angular momentum flux is . The steady angular-momentum equation gives . At the two torque-free boundaries its values are and . Integrating across the disk therefore yieldsEliminate and use . The two-boundary mass split of a ring-fed disk isThe complementary outward fraction is . Both fractions lie between zero and one for a source strictly between the boundaries.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 72 4 ii Solution Created 2026-10-03 Updated 2026-10-14
Interpret the model comparison at the exam's 2008 epoch. A simulation's failure depends on its treatment of baryons, resolution, and adopted stellar feedback; it is not a theorem that the Lambda-CDM model cannot produce the observation under any physical implementation. The following were important tensions for then-standard realizations, with different implications for monolithic galaxy formation.
Old, alpha-enhanced massive spheroids and downsizing. The most massive quiescent elliptical galaxies tend to contain older stellar populations and elevated alpha element abundances relative to iron, indicating that much of their star formation occurred early and rapidly. Prompt core-collapse enrichment followed by shutdown before substantial delayed iron enrichment accounts for the abundance pattern. Models that spread a massive galaxy's star formation over many late progenitor-merger episodes can make its stars too young or insufficiently alpha enhanced. A rapid early dissipative collapse naturally gives a short formation interval and is therefore more immediately consistent with this particular observation. However, downsizing in galaxy formation is about stellar formation, not necessarily final assembly: late dry galaxy mergers can assemble already old alpha-enhanced stars. Early quenching and an appropriate chemical-enrichment model can consequently reconcile hierarchical assembly with the fossil record.
Thin, high-angular-momentum stellar discs. The existence of extended thin galactic disks, including systems with small galactic bulges, challenged simulations that produced compact central stellar concentrations or overly thick discs. Premature gas cooling into small progenitors, transfer of specific angular momentum to the halo, and repeated dynamical perturbations could cause the galactic angular-momentum catastrophe; satellite encounters also increase galactic disk heating. A comparatively quiet dissipative collapse with approximate conservation of baryonic specific angular momentum more readily produces an extended rotating disc, and avoiding subsequent strong perturbations helps retain thinness. Nevertheless, rapid collapse alone does not explain a disc's prolonged star formation and gas replenishment. Hierarchical histories with quieter late accretion, better feedback, delayed cooling, and dissipative disc regrowth can reduce these tensions; a problem in early implementations is not an unavoidable property of the cosmological framework.
Cores inferred in low-mass galaxies. Resolved inner galaxy rotation curves in a number of low-surface-brightness and dwarf systems favoured shallower central mass densities than the cusps of collisionless cold-dark-matter simulations. For a roughly constant-density dark-matter core, and ; an inner Navarro--Frenk--White profile has , hence and . The differing slopes explain the cusp--core problem. Beam smearing, inclination, and noncircular motions complicate inference, but do not make the issue merely a normalization mismatch. A simple early dissipative collapse does not automatically solve it: baryonic contraction can deepen the central concentration. Potential fluctuations from gas loss and stellar feedback can instead redistribute dark matter and modify a cusp. Thus this observation tests the joint halo-and-baryon model rather than preferentially vindicating the old collapse picture.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 62 4 Solution Created 2026-10-03 Updated 2026-10-14
Write , and interpret the specified radial force field as acceleration, or force per unit test-particle mass. Since it is a central force, the specific angular momentum is conserved: . For , motion is confined to the fixed plane perpendicular to . Choose the orientation of the polar angle so that .
To derive the Binet equation here, let and differentiate with respect to . Then and . Equating this to the radial acceleration givesPut and . For , the solution isThe radial potential energy per unit mass is , so the conserved specific orbital energy isSubstitute the displayed and to obtain . Therefore defineFor regular bound motion, and , giving and . Since , choose the angular origin at a pericentre, so , and obtainThe turning radii are and . Thus is the arithmetic mean of the turning radii; when the orbit precesses it should not be interpreted as the semimajor axis of a fixed ellipse. If , the centrifugal barrier needed for a regular two-turning-point bound orbit is absent, and this bound-orbit parametrization does not apply.
For , one has and the orbit is a closed Kepler orbit: an ellipse of eccentricity with the Sun at a focus. In addition to and the three components of , the Laplace-Runge-Lenz vectoris conserved. Indeed,so . It points toward the fixed pericentre. The constraints and leave five generically independent isolating integrals. One may takechoosing a component whose differential is independent of the other four on the local region under consideration. The extra integral fixes the apsidal direction in the already fixed orbital plane.
For , successive pericentres are separated by in polar angle. The generic bound orbit is a rosette in that same plane. Its perihelion advance per radial cycle isFor this is prograde; for it is retrograde. If is rational, the orbit closes after a finite number of radial cycles; if it is irrational and , its successive radial phases densely fill the accessible annulus. A generic independent set of single-valued isolating integrals isThe apsidal direction is no longer fixed. For irrational frequency ratio, any continuous integral of motion must be constant on the whole two-dimensional orbital torus, because one orbit is dense there; there is no further independent continuous integral specifying a fixed apsidal direction. Exceptional closed resonant orbits do not provide a fifth global integral on an open region of phase space. Circular and radial orbits are degenerate cases of these generic counts.
Closed Kepler ellipse and prograde precessing bound orbit under an attractive inverse-cube perturbation
. Details. The plotted precession is enlarged for visibility. Both examples have and the same turning radii; the second has .
For the precession rate, it is useful to derive the radial period rather than assume an unperturbed angular period. Set in the radial energy equation. On a complete radial cycle,Hence . Also and , so . For , inverse-cube perturbation of Kepler apsidal motion givesThere is a dimensional issue with the printed parameter: has units and has units , so has units . Retaining that definition literally, the requested expression isA dimensionless perturbation coefficient would instead be . In that convention the rate is . These two conventions must not be conflated.
Use the stated residual precession and period. The advance in one radial cycle isWith , the small-perturbation estimate becomesThe negative sign is required: an additional attractive inverse-cube acceleration advances perihelion, whereas the positive- term would make it regress. If a length-unit estimate of the printed is desired, and the solar value give through the radial-period law. ThusThe dimensionless value is the estimate obtainable directly from the supplied period, eccentricity and advance; the dimensional value additionally uses the solar gravitational parameter to set the length scale.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 63 4 b Solution Created 2026-10-03 Updated 2026-10-14
To obtain the specified expansion, use the usual nova-ejection prescription: the escaping material is expelled isotropically from the white dwarf and carries its specific orbital angular momentum, with no additional torque. This is isotropic re-emission from a binary star. Circularity alone does not determine the angular momentum carried by the ejecta; the prescription is an additional physical assumption.
The accretor's orbital radius is , so its specific angular momentum satisfiesDuring ejection, take , and , where . ConsequentlyDifferentiate to first order:Using yieldsThe same lobe law now has changing total mass but unchanged donor mass, soThe donor radius is unchanged on the short eruption timescale, whereas its lobe expands. It therefore falls inside the lobe and Roche-lobe overflow stops in this idealized model. This is nova-induced binary detachment.
The need for the ejection prescription can also be seen algebraically. If the ejecta instead have mean specific angular momentum , the same circular-orbit differentiation givesThe requested coefficient is obtained only when . Other prescriptions can produce a different expansion or a contraction; the stated circularity condition does not rule them out. The ejection may be short compared with the transfer time while remaining slow compared with an orbit, consistent with circularity. If truly impulsive, an eccentricity is generally excited unless an additional circularization assumption is made.
Now put for the constant external torque. Keep the masses, mass ratio and torque coefficients fixed to leading order over one small- cycle; corrections in those coefficients affect the calculated times only at the next order. During detachment there is no transfer, so fixed component masses giveThe fractional lobe gap closes in timeDuring the semi-detached accumulation phase, use the same external torque and the equilibrium donor contact equation derived in (a):Accumulating the next layer therefore takesDivision cancels the layer mass, torque and angular momentum:The result uses for a positive steady accumulation rate, unchanged donor structure during the eruption and the same external torque in the two phases. Here the given ensures a positive denominator. It describes an idealized nova cycle; extra frictional loss, irradiation-driven donor changes or a different ejection angular momentum would change the ratio.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 68 1 Solution Created 2026-10-03 Updated 2026-10-14
Take to mean inward accretion rate, and let count loss through both faces per unit projected area of the accretion disk. An annulus of width loses to the wind. In steady state, its incoming mass flux at its outer edge equals the inward flux at its inner edge plus this loss. Hence mass conservation givesIf a loss rate is instead defined per individual face, it must be doubled before substituting for here.
Use Keplerian rotation . The vertically integrated viscous dissipation, summed over both disk faces, isHere is the kinematic viscosity, and is the surface density of a disk; for height-dependent viscosity the product means . Material already in a circular orbit has specific orbital energy . Giving it zero total binding energy therefore costs an additional per unit mass. The total launch speed is the escape velocity , but one must not charge the wind for the orbital kinetic energy it already possesses. Equating wind power to givesCombining this with mass conservation yields the wind-powered mass loss from a steady accretion disk relation
Define the outward viscous torque in an accretion disk asThe net inward angular momentum flux is . Because each unit mass lost to the wind carries the local specific angular momentum , annular conservation of angular momentum readsIn the wind region, . For constant , differentiation and cancellation of givesThus the requested Cauchy-Euler differential equation is
For , a power-law trial gives , with roots . Therefore in . A zero inner viscous torque in an accretion disk implies , so . There is no point mass sink at , so the accretion rate is continuous there and equals . The complete result isIts derivative is nonnegative throughout the wind region, as required for a nonnegative loss rate . The derivative can jump to zero outside : the energy relation applies only inside the wind zone and does not impose on its inner limit. The viscous torque in an accretion disk remains continuous and extends outside via .
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 61 1 Solution Created 2026-10-03 Updated 2026-10-14
Put , , and . Here is the specific angular momentum, is the true anomaly and is the planar longitude of periapsis. Differentiating the Kepler orbit equation with givesResolve the velocity along the radial and tangential unit vectors, and . The identities and yieldThis is the Kepler velocity hodograph: the velocity runs around a circle whose centre is displaced by the orbital eccentricity.
The centre of mass condition gives the star's barycentric position . Translating to the star without rotating the axes gives and . From Kepler's third law, , soConsequentlyThe small displacement and the larger reflex velocity have different orders: , but the reflex speed divided by the circular speed is . These are the source of the astrocentric osculating-element oscillations.
For the coordinate ratio, the exact result isFor fixed , , so this is on any angular region with bounded away from zero. The printed coordinate claim is not uniform over a full orbit: at its ratio is undefined. The nonsingular statement is , assuming the pericentre distance remains much larger than the binary separation.
Squaring the two components of the velocity givesAt , and . Sincethis reduces to the vis-viva equation, .
Now let the barycentric Kepler orbit be circular, write and , and put . The osculating orbital elements about the star use the gravitational parameter . To the required order, and . The specific orbital energy therefore impliesHere and under the stated hierarchy. Even at a phase where the leading cosine vanishes, the absolute error bound remains valid.
Finally, use the eccentricity vector . In radial and tangential components it isThe translation changes the radial basis only by , whereas and . ThusFor the original circular Kepler orbit, and are separately arbitrary; their sum is well defined. Using the eccentricity vector avoids introducing an undefined pericentre for that circular Kepler orbit.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 61 2 Solution Created 2026-10-03 Updated 2026-10-14
Use and the exterior mean-motion resonance condition . Then the resonant semi-major axis is , neglecting the small planet-to-star mass correction. For the geometric construction, take , , , and start the particle at pericentre. Solve Kepler's equation with . Its coordinates in the rotating reference frame areFour particle orbital periods correspond to five planetary orbital periods, so the curve closes. At a pericentre, the mean longitude and the true longitude both equal , and the resonant argument becomes . Thus the four pericentre directions are modulo . The figure chooses and marks the corresponding angle to the planet; other phases rotate this pattern. Its second panel shows an instantaneous conjunction at apocentre, where the angle from pericentre to the common longitude is directly : here both true and mean anomaly equal . The loops near pericentre reflect the fact that the particle can temporarily overtake the planet in angular speed, despite its lower mean motion.
For the evolution equations, must be the mean longitude. The PDF calls it true longitude, but differentiating the literal true longitude gives the rapidly varying , not . To first order , so the true longitude version of has an extra orbital ripple. The stated Lagrange planetary equations and slow complex eccentricity equation are interpreted consistently as orbit-averaged equations in mean longitude. The pericentre geometry of an exterior resonance above is unchanged by this distinction.
Let be perturbing forces, and let be the particle's mass. The angular momentum about the star satisfiesThe central gravitational force and the radial perturbation have zero torque. If the displayed denotes acceleration instead, the identical formula applies to specific angular momentum.
For a weak kick, the specific orbital energy changes by . A planet leading the particle pulls it forwards, while a trailing planet pulls it backwards. For a nearly circular exterior Kepler orbit, a forward tangential kick raises angular momentum and semi-major axis, lowers mean motion, and makes the next conjunction occur sooner in the synodic cycle. Its longitude retreats relative to the unperturbed conjunction sequence. A backward kick produces the opposite shift. At exact alignment the leading force is radially inward: before pericentre, and an inward kick does positive work; after pericentre, and it does negative work. These likewise raise or lower semi-major axis. At an apsis, a purely radial infinitesimal kick has no first-order energy change but changes the eccentricity vector, so angular momentum alone does not determine every timing change.
The timing sign follows explicitly from the near-circular synodic period, . At the nominal resonance, successive conjunction longitudes agree modulo , since . A persistent small change givesThis is the accumulated mean timing shift; an actual impulsive encounter can also change the instantaneous orbital phase and longitude of periapsis.
Retaining the given first-order resonant orbital perturbations, eccentricity damping and leading Keplerian detuning,Here Kepler's third law gives . The approximation discards higher-order resonant contributions to and fast orbital terms. Differentiate the rotating complex eccentricity :Since ,The apparent singularity in at disappears in this complex eccentricity equation.
Take , and the conventional positive resonant coefficient . At a fixed point, the two balance conditions and giveSubstitution yieldsThus fixed points exist only if . With strict inequality, put and . Thenrespectively. The locations must also satisfy for the detuning expansion to apply. At equality the phases merge at and . If is assigned the opposite sign, shift the phase convention by ; the invariant stability distinction is the sign of .
For locally constant , the stable equilibrium is the branch in the leading slow model. At fixed , increasing on that branch increases the positive resonant torque, because . The resulting increase in semi-major axis lowers and hence lowers : the subsequent conjunctions shift back, restoring the phase. On the branch the feedback has the opposite sign and drives the phase farther away. Eccentricity damping removes the oscillatory disturbance on the restoring branch.
One can verify that this feedback stabilizes the coupled variables rather than just the phase. Treat as locally constant, and write . Then , and . At a fixed point . The characteristic polynomial of the linear stability analysis isFor , all coefficients are positive and the cubic Routh-Hurwitz stability criterion holds, sinceAll three eigenvalues have negative real parts. For the constant term is negative, so the polynomial has a positive real root and that branch is unstable. The merged case has a zero eigenvalue. The unrestricted functions printed in the question do not imply this unconditional stability classification. If their derivatives are retained, has, at equilibrium, the derivativeThe trace of the full three-variable linearization is . As a concrete counterexample, take and , choosing their values to satisfy the displayed fixed-point conditions on the negative-cosine branch. Its trace is , so at least one eigenvalue has positive real part. Both coefficients are smooth. Thus the restoring conjunction feedback identifies the stable branch of the usual locally constant model, but additional assumptions on coefficient variation are necessary to assert stability for every allowed function.
Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 9B a Solution Created 2026-09-24 Updated 2026-10-07
A central force has no angular component, so the supplied polar acceleration formula and Newton's second law give . Thus is the conserved specific angular momentum. For a nonradial orbit, allows to be used as a parameter. With and a prime denoting ,Also . The radial equation therefore becomes the Binet equationFor a purely radial trajectory , the angular parameter is unavailable, and one instead uses the direct radial equation. The orbit in part (b) is nonradial.
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 60 2 ii Solution Created 2026-10-03 Updated 2026-10-14
Take the retained disc mass to be the cosmic baryon fraction of the total dark matter halo mass: , where . Adopt and describe the disc gravity by . The structure coefficient must be stated: the scale-free Mestel disc gives when its flat rotation speed and enclosed mass are used, while a finite disc requires boundary and thickness information. The equality of edge specific angular momentum gives , with . Combining these relations gives the angular-momentum-conserving self-gravitating disc radius:With the commonly intended approximation,The corresponding masses are and , where is the solar mass.
For a definite formation estimate, assume the dark matter halo acquired this mass and radius at virial equilibrium, retained them afterward, and had mean density with . This uses the matter-dominated spherical-collapse model as an approximation to the specified matter-plus-vacuum cosmology. Since ,The approximate distance therefore gives formation modestly before observation. Using the numerical rather than approximate distance integral gives , within the accuracy of these structural assumptions. The calculation also assumes inclination-corrected spectroscopy, negligible disc pressure support, conserved edge specific angular momentum, no substantial later accretion or mergers, and no significant baryon loss.
This formation redshift is model-dependent, not uniquely fixed by the stated disc data. Keeping explicit gives . In particular, replacing the mean-density convention by times the critical density gives and , later than the observation. That inconsistent chronological result cannot be silently used as the formation epoch.
There is a further idealization in applying exactly at the edge: an abruptly truncated razor-thin disc with nonzero edge surface density of a disk has a logarithmically divergent in-plane force at that edge. Locally the available mass occupies a half-plane, and its radial contribution is proportional to , with no opposite exterior half-plane to cancel it. Finite thickness or a smooth taper removes that sharp-edge force singularity of a thin disk. Thus is an explicitly qualified Mestel disc or monopole-scale approximation, not an exact finite-disc calculation; enclosed mass does not determine a disc rotation curve.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 64 1 Solution Created 2026-10-03 Updated 2026-10-14
Put , and . To leading order the mean-motion resonance fixes . The specific angular momentum isThe asteroid's instantaneous angular speed is . Thus the high-eccentricity angular-speed crossover satisfies , givingHere , so a parabolic Kepler orbit gives the local motion accurately. Its polar equation is . Write . Since ,This is the outward crossing; the inward crossing has true anomaly modulo .
For the pericentre-to-crossover flight time use . The parabolic Kepler orbit has and , whence direct integration gives the Barker equationAt the crossover . Consequently the planet's angular displacement isThe error tends to zero as at fixed ; it includes the finite binding energy of the elliptic Kepler orbit as well as the subleading term in the Barker equation.
At the th pericentre passage the asteroid's unwrapped mean longitude is . The resonant argument therefore givesThus specifies the planet's direction relative to the asteroid's longitude of pericentre when the asteroid passes pericentre, with branches separated by . It is not the instantaneous true-longitude separation throughout the orbit. At high orbital eccentricity the asteroid quickly sweeps to a direction nearly opposite pericentre, while the planet scarcely moves. During the long outer excursion the asteroid's direction changes slowly and the planet advances substantially. This makes an astronomical conjunction during the outer excursion much more dangerous than an astronomical conjunction close to pericentre.
At the following apocentre, the planet has advanced . The asteroid's direction in the rotating reference frame is consequentlyThese apocentre directions are equally spaced. Phase protection of interior integer resonances places the planet in the largest gap between them, rather than at an apocentre direction. For , puts an apocentre toward the planet, whereas puts the apocentres at . For , puts an apocentre toward the planet, whereas puts the apocentres at . Hence the geometrically favored resonant-argument libration centres in this regime of high orbital eccentricity areThis is an encounter-avoidance argument for likely stability, not a calculation of a resonant Hamiltonian or a claim that every orbit near either centre is stable at arbitrary orbital eccentricity.
The following rotating-frame drawing uses , , and . It follows three successive Kepler orbits, which fill one planet orbital period and close the pattern. The blue segment is just the first outward half-orbit. The marked crossover is a maximum of its rotating-frame polar angle, since changes from positive to negative there. The planet stays at ; the three apocentres avoid that direction.
To estimate angular-momentum kicks to nearly radial orbits, note that , so an order-one fractional change in requires of order . A characteristic distant encounter at radii of order has tangential acceleration of order and duration of order . Its torque per unit asteroid mass therefore producesWith the most favorable coherent signs, the crude encounter count isOrder-one factors depend on and encounter geometry. Uncorrelated signs instead give a random walk count of order when this is large. A librating phase-protected orbit can suppress the kicks even further.
There is an important limit to calling this a minimum. The question does not specify an encounter impact parameter. For a weak close encounter with impact parameter and relative speed , the impulse estimate gives and hence , capped below by one. In the 2:1 case the Kepler orbit can cross the planet's orbit, so one suitably close encounter can suffice: there is no impact-parameter-independent large lower bound. For , bounds the separation below by , and supplies a geometric factor at fixed . The boxed count is the usual orbital-scale, maximally coherent estimate; the assumptions are essential.




