Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 62 2 a Solution Created 2026-10-03 Updated 2026-10-14
Write and use summation over repeated Cartesian indices. A mass-normalized galactic distribution function obeys the Collisionless Boltzmann equationAssume decays in velocity sufficiently fast that the necessary boundary terms vanish. Its zeroth velocity moment gives the continuity equationFor the first velocity moment, multiply by and integrate. In the gravitational term, integration by parts gives . ThereforeThe velocity-dispersion tensor is the centered second moment, so . Expanding the streaming terms, the factor multiplying cancels by the continuity equation:Hence the Jeans equation isIts fluid analogue is the momentum equation with pressure tensor . For isotropic random motion, , and this becomes the Euler equations for an inviscid fluid:The tensor form allows anisotropic stellar stresses. In a fluid an equation of state can provide a pressure closure; the Jeans equation alone does not determine the velocity-dispersion tensor of a collisionless stellar system.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 62 2 b Solution Created 2026-10-03 Updated 2026-10-14
Use relative energy , with . If the galactic distribution function depends on alone, rotations and sign reversals in velocity space leave it unchanged. Thus all mean velocities vanish, and the three component second moments are equal. The anisotropy term in the Spherical Jeans equation cancels. With constant radial velocity dispersion , it reduces toIntegration gives the isothermal collisionless tracer densityThe constant changes if a constant is added to the potential; this has no effect on the velocity distribution.
Apply the given untruncated Eddington inversion, retaining its lower limit . Define its integral before differentiation by . With , the Gaussian integral givesDifferentiating and multiplying by yieldsIndeed, at a fixed position this iswhose integral over all velocities is and whose component second moments are . This checks both the normalization and the velocity dispersion.
Let be the line of sight component of velocity. Integrate this Maxwell-Boltzmann velocity distribution over the two transverse components:At projected radius , integrating along the line of sight simply replaces by the projected surface density . Dividing by gives the spectroscopist's normalized Gaussian line-of-sight velocity distribution:It is a zero-mean normal distribution with width , independent of projected radius. This is the untruncated model specified by the lower limit in the inversion formula: no escape-energy cutoff has been imposed. A population restricted to positive binding energy would have truncated velocity tails and would not obey this exact Gaussian density law in a finite escape potential.
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 2 Solution Created 2026-10-03 Updated 2026-10-14
Let , , and . The Jeans equation obtained by taking the first velocity moment of the Collisionless Boltzmann equation isFor an equilibrium population multiply by and integrate. Integration by parts givesAssume the integrals exist and the boundary flux vanishes, as for an isolated finite system with adequate decay. With the stellar kinetic-energy tensor, stellar pressure-energy tensor and stellar potential-energy tensor defined bywe obtain the equilibrium tensor virial theoremThe stellar kinetic-energy tensor describes ordered motion, whereas the stellar pressure-energy tensor describes random motion. In particular, does not mean the stars have no kinetic energy. If a surface flux is retained, the right side of the displayed equilibrium identity is that surface tensor; it cannot be discarded for an arbitrary finite aperture. For an isolated self-gravitating population, is symmetric by pairwise interchange in the Newtonian interaction integral, and the time-dependent identity is with .
For the spherical Newtonian gravitational potential, . In the pressure-supported case the tensor virial theorem gives . The notation used in this question is the planar virial trace , not just the integral of the local cylindrical radial velocity dispersion. In cylindrical coordinates this trace includes both and . Summing the two Cartesian components therefore givesThe distinction explains the factor of two in the spherical limit.
Use ordinary spherical coordinates, , . The mass density separates as , whereBoth potential-energy integrals have the same radial factor . When this factor is finite and positive it cancels, leaving the scale-free tracer virial ratioThe angular factor in the printed intermediate formula has its sine and cosine interchanged. Keeping its sine/cosine weights while using that printed factor would instead produce the opposite sign in the final small-flattening correction. Merely measuring from the equatorial plane cannot fix this: the measure and both moment weights would have to change as well.
The angular ratio is finite and positive for every fixed and finite real , because is positive and bounded above and below. However, the claim that the unrestricted global virial integrals are always well-defined needs a hypothesis. In a point-mass Newtonian gravitational potential, the common radial factor is proportional to : convergence at zero requires , while convergence at infinity requires . There is no such . If the global energies diverge, the boxed angular ratio is still the ratio of the two potential-energy integrals with identical spherical inner and outer cutoffs, independent of the cutoffs. It is not a quotient of two finite global stellar pressure-energy tensors; applying a finite-aperture tensor virial theorem additionally requires its surface terms. These convergence and boundary qualifications are separate from the printed angular typo.
Set . For modest flattening, the Taylor expansion is . The required elementary angular integrals areThese follow directly by , or from the supplied Gamma function identity. Hence the numerator is and the denominator is . The flattening–anisotropy virial relation becomesFor a decreasing tracer mass density (), oblate flattening () requires more random kinetic support per in-plane direction than vertically. In a spherical Newtonian gravitational field, directional orbital anisotropy supplies the flattening rather than an anisotropic force law. A steeper radial mass density amplifies the required velocity dispersion anisotropy. A prolate tracer reverses the leading inequality. The relation constrains integrated velocity dispersions, not a unique local galactic distribution function.
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 2015 iii Paper 62 1 Solution Created 2026-10-03 Updated 2026-10-06
Use a mass-normalized galactic distribution function , so that and . Multiplying the stationary Collisionless Boltzmann equation by and integrating over velocity space givesAssume the galactic distribution function decays sufficiently rapidly for the velocity boundary term to vanish. Integration by parts then gives , and therefore the Jeans equations areThe second moment includes both ordered motion and velocity dispersion; no assumption of zero mean velocity was needed.
To obtain the tensor virial theorem, multiply the th Jeans equation by and integrate over position. For an isolated, finite system with a vanishing spatial surface term,Since the left side is , . This convention puts all stellar second moments into ; it does not separate ordered and random kinetic energies.
For a self-gravitating system, the trace is the Newtonian gravitational potential energy. Indeed, symmetrizing the pair integral givesThus the trace of the tensor virial theorem is , and the total energy obeysThese identities require self-gravity without an additional external potential or an omitted confining boundary pressure.
Let now denote a mass-weighted average over the entire initial system. Then . The gravitational radius is defined by , so the virial theorem immediately yieldsThe gravitational radius measures total binding energy, rather than a particular geometric edge or half-mass radius.
For the accreted systems define the mass-weighted internal mean-square speed by . If each satellite initially satisfies the virial theorem, its internal energy contributes to . In parabolic dry-merger energy accounting, the orbital energy at large separation is zero. Assume a dry galaxy merger, no loss of mass or energy through escaping stars, no external work, and a final relaxed system satisfying the virial theorem. Then conservation of energy gives and . Energy transferred by Chandrasekhar dynamical friction remains part of the total energy under these assumptions. Consequently,Applying the final virial theorem and dividing by the initial relation givesFor a mass doubling, . A merger of two identical equilibrated galaxies has , hence . For accretion through many minor galaxy mergers whose satellites have much smaller internal mean-square speeds, , hence , tending to in the cold-satellite limit. Equivalently, nearly fixed total energy makes the gravitational radius scale as during cold minor-merger size growth. Small satellite mass alone does not logically imply : the factor four also requires this weak-binding assumption. Likewise, equal masses require comparable internal binding to give the factor two. These are the physical limits behind the two stated merger comparisons.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 62 2 Solution Created 2026-10-03 Updated 2026-10-14
A phase-space distribution function describes the mass in a small cell of positions and velocities: is that mass. Its velocity integral is the spatial mass density, and at a fixed position is a normalized velocity probability density. A number-normalized galactic distribution function differs by the stellar mass convention.
Take and . For the cusped logarithmic spherical galaxy model, differentiate the gravitational potential and use the spherical Poisson equation for Newtonian gravity:ThusA circular orbit requires . Its galaxy rotation curve is thereforeIt rises as at small radius and approaches from below at large radius.
The outer flat galaxy rotation curve is qualitatively useful for galaxies. However, the density has an inner cusp and an outer tail, while diverges. The model therefore requires an outer truncation for a finite galaxy, and does not describe a central constant-density core. Its gravitational potential cannot be normalized to zero at infinity.
For a star, the specific energy is and the specific angular momentum is . Since the gravitational potential is stationary and spherical,Thus both the specific energy and the entire angular-momentum vector are conserved.
For Jeans theorem, follow a stellar trajectory in phase space. The Collisionless Boltzmann equation is preciselyIn a steady system , so the value of the galactic distribution function is constant along every trajectory: it is itself an integral of motion. Conversely, if are time-independent integrals of motion, then satisfies . Locally, a complete set of invariant orbit labels expresses any steady galactic distribution function this way. This is the weak form of Jeans theorem; a stronger assertion about a small set of isolating integrals needs additional orbital regularity or mixing assumptions. In particular, the theorem does not say that every steady galaxy must have a galactic distribution function depending on only and .
For the proposed constant-anisotropy distribution function, write and . Introduce a polar angle in the tangential velocity plane. Then , so the apparent singularity cancels against the velocity Jacobian. This inverse-angular-momentum velocity integration makes the density finite for every .
Let , , , and . Each exponential component contributesHere the two Gaussian integrals and the angular integral have product . Consequently,The galactic distribution function is nonnegative, gives the required density, and depends on conserved ; by Jeans theorem it is a self-consistent steady solution.
Differentiating the Gaussian integral with respect to shows that each component has , and the same value for . Angular averaging gives . Weighting these by yields the velocity dispersionsThe radial numerator includes , as in the original PDF. All mean velocities vanish by parity. The same parity, or the zero angular average of , gives .
The velocity-anisotropy parameter isThe constant-anisotropy distribution function therefore favors radial motion at every radius: the radial variance is twice either individual tangential variance. It still has a substantial population with nonzero angular momentum, rather than exclusively radial orbits. The factor enhances low-angular-momentum stars. The radial velocity dispersion approaches at the centre and far out; each individual tangential variance is half as large. There is no mean rotation, despite the well-defined galaxy rotation curve for hypothetical circular orbits.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 320 2 Solution Created 2026-10-03 Updated 2026-10-06
A spherically symmetric stellar model has no preferred direction in the tangent plane at a fixed radius. Rotations about the radial axis exchange its two transverse velocity directions, so . This uses spherical symmetry of the velocity distribution, not just a spherical mass density.
The augmented density treats radius and relative potential as independent variables, agreeing with the physical density only along . For any regular bound spherical galactic distribution function , write and . At fixed , and . Integration by parts therefore givesFor , the velocity measure is , and . Integrating the transverse derivative gives , while integrating the radial derivative in gives . Consequentlywhere is fixed. These identities show that the augmented representation holds for any such spherical distribution, not only a monomial ansatz. With radial pressure vanishing at the zero-binding boundary, set Along the physical curve, the chain rule gives . The Spherical Jeans equation then requiresThus the Jeans moments from an augmented density areThe partial derivative holds fixed. Substitution cancels the integral of and leaves precisely in the Spherical Jeans equation. This is a representation by a chosen augmented density, not a unique solution determined by the one-variable density: different extensions off the physical curve encode different anisotropies, and not every formal extension necessarily gives a nonnegative galactic distribution function.
For the hypervirial density-potential family, differentiate the potential and use the spherical shell theorem:Differentiating and dividing by givesThe enclosed mass tends to at infinity and to zero at the centre for every . The same result follows from , with the stated sign convention.
From now on set . The separable augmented density is . Integrating it givesand henceWith these are the requested radial expressions. The velocity-anisotropy parameter is , and the total mean square speed is .
The local kinetic-energy density is . With the potential zero at infinity, the gravitational energy density is , where . ThereforeThis is the local virial relation of the hypervirial model, a special property stronger than the global virial theorem. To compute the global energies as well, set . The substitution yields the global binding integral of the hypervirial modelThe beta function integral converges for all . ThusRestoring dimensions multiplies by .
To derive the hypervirial distribution function, let be the positive relative energy and the magnitude of the specific angular momentum. Seek for and zero otherwise. Its density isThe angular integral is . Substitution makes the radial integralMatching the augmented-density power gives . Matching its coefficient gives the normalization of the hypervirial distribution functionAll integrals are finite in velocity for , and . Because and are orbital integrals, this is a steady solution by the Jeans theorem. As checks, gives for the Hernquist model, and gives for the isotropic Plummer model.
The density and potential do not uniquely fix the stellar distribution. The preceding coefficient is fixed within the chosen separable power-law model, but nonuniqueness of spherical galactic distribution functions remains without that extra restriction. An explicit positive counterexample uses the same density. Define the Osipkov-Merritt distribution function variable and takeRescale the transverse velocity by . Then and the velocity Jacobian contributes . Direct integration givesexactly the same Plummer model density. This anisotropic Plummer distribution with unit anisotropy radius has , so it is distinct from the isotropic distribution while remaining positive and spherical. Its second moments differ, so it does not share the extra augmented-density and local-virial restrictions of the chosen hypervirial model.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 320 3 Solution Created 2026-10-03 Updated 2026-10-06
A small-angle gravitational encounter between a test star and a field star of mass gives a transverse kick , where is the impact parameter and the relative speed. For number density , encounters in occur at rate . Independent kicks add in mean square, giving the random-walk derivation of stellar relaxationThe Coulomb logarithm in stellar dynamics has of order system size , and of order the strong-deflection scale . For a virialized -star system, , so is of order . The stellar relaxation time is the time for accumulated velocity variance to become comparable with :Using gives . With a diameter-crossing convention , this is , conventionally rounded toThe coefficient is approximate: spatial profile, velocity averages and crossing-time convention change it by factors of order unity. The robust result is crossing times.
For and years, the estimate is about years, enormously longer than a Hubble time. Most galaxies therefore behave as collisionless stellar systems. Dense nuclei and star clusters can relax more rapidly. Negligible stellar encounters do not mean negligible collective gravitational instabilities.
Define the mass-weighted galactic distribution function by , so . Hamiltonian gravitational motion preserves phase space volume by the Liouville theorem in Hamiltonian mechanics. In the collisionless regime no encounter term redistributes stars between neighbouring phase space trajectories, so . With acceleration , the Collisionless Boltzmann equation is
For a steadily rotating galactic bar, write the inertial polar angle as . The inertial radial and angular equations are and . Substitution gives the equations of motion in a rotating frame:Here the velocities are measured in the bar frame. Set , and define the positive-force rotating-frame relative effective potentialThe centrifugal sign is positive in this relative-potential convention. The characteristics areConsequently the rotating-frame collisionless Boltzmann equation isFor these planar equations, integrate over and interpret as the planar or vertically integrated mass density. Define . Boundary terms in velocity vanish for a sufficiently decaying distribution.
Let the velocity accelerations above be . Their velocity divergence is . Thus integration by parts in the zeroth moment contributes , producing the cylindrical continuity equation for a rotating stellar systemThis is conservation of mass: change of density balances flux through the radial and azimuthal sides of a small cylindrical element. The factor is geometric; the physical phase space measure is .
For the radial first moment, multiply the rotating-frame collisionless Boltzmann equation by . Its velocity integrations are and . Hence the radial cylindrical Jeans equations in a rotating frame areFor the azimuthal first moment, the velocity integral vanishes, while . This givesThe Jeans equations are local momentum-balance equations. The second moments include streaming momentum flux and random-velocity stress, while gravity, centrifugal acceleration and Coriolis acceleration supply the frame-dependent forces. They do not by themselves close the full distribution: a stress prescription or a galactic distribution function is also needed.

