Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 62 (Galactic Astronomy and Dynamics)

Use a mass-normalized galactic distribution function $F$, so that $\rho =\int F{d}^{3}v$ and $\rho ⟨v_i{v}_j⟩=\int v_i{v}_{j}F{d}^{3}v$. Multiplying the stationary Collisionless Boltzmann equation by $v_j$ 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 $\int v_j{\partial }_{v_i}F{d}^{3}v=-{\delta }_{ij}\rho$, 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 $j$th Jeans equation by $x_i$ and integrate over position. For an isolated, finite system with a vanishing spatial surface term,Since the left side is $-2K_{ij}$, $2K_{ij}+W_{ij}=0$. This convention puts all stellar second moments into $K_{ij}$; it does not separate ordered and random kinetic energies.

For a self-gravitating system, the trace $W$ is the Newtonian gravitational potential energy. Indeed, symmetrizing the pair integral givesThus the trace of the tensor virial theorem is $2K+W=0$, and the total energy obeysThese identities require self-gravity without an additional external potential or an omitted confining boundary pressure.

Let $⟨v_I^2⟩$ now denote a mass-weighted average over the entire initial system. Then $K_I=M_I⟨v_I^2⟩/2$. The gravitational radius is defined by $R_I=-G{M}_I^2/W_I$, 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 $M_A⟨v_A^2⟩={\sum }_s{M}_s⟨v_s^2⟩$. If each satellite initially satisfies the virial theorem, its internal energy contributes to $E_A=-M_A⟨v_A^2⟩/2$. 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 $E_F=E_I+E_A$ and $M_F=M_I+M_A$. 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, $\eta =1$. A merger of two identical equilibrated galaxies has $ϵ=1$, hence $R_F/R_I=2$. For accretion through many minor galaxy mergers whose satellites have much smaller internal mean-square speeds, $ϵ\ll 1$, hence $R_F/R_I\simeq 4$, tending to $4$ in the cold-satellite limit. Equivalently, nearly fixed total energy makes the gravitational radius scale as $M^2$ during cold minor-merger size growth. Small satellite mass alone does not logically imply $ϵ\ll 1$: 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.

A phase-space distribution function describes the mass in a small cell of positions and velocities: $F(\mathbf{x},\mathbf{v},t)d^{3}x{d}^{3}v$ is that mass. Its velocity integral is the spatial mass density, and $F/\rho$ at a fixed position is a normalized velocity probability density. A number-normalized galactic distribution function differs by the stellar mass convention.

Take $a>0$ and $v_0>0$. For the cusped logarithmic spherical galaxy model, differentiate the gravitational potential and use the spherical Poisson equation for Newtonian gravity:ThusA circular orbit requires $v_c^2/r={\Phi }^{\prime }$. Its galaxy rotation curve is thereforeIt rises as $v_0\sqrt{r/a}$ at small radius and approaches $v_0$ from below at large radius.

The outer flat galaxy rotation curve is qualitatively useful for galaxies. However, the density has an inner $1/r$ cusp and an outer $1/r^2$ tail, while $M(r)\sim v_0^{2}r/G$ 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 $E=v^2/2+\Phi$ and the specific angular momentum is $\mathbf{L}=\mathbf{x}\times \mathbf{v}$. 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 ${\partial }_{t}F=0$, so the value of the galactic distribution function is constant along every trajectory: it is itself an integral of motion. Conversely, if $I_1,\dots ,I_m$ are time-independent integrals of motion, then $F=h(I_1,\dots ,I_m)$ satisfies $dF/dt=\sum h_{,a}{\dot{I}}_a=0$. 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 $E$ and $L$.

For the proposed constant-anisotropy distribution function, write $v_T=(v_{\theta }^2+v_{\varphi }^2{)}^{1/2}$ and $L=r{v}_T$. Introduce a polar angle $\psi$ in the tangential velocity plane. Then $d^{3}v=d{v}_r{v}_{T}d{v}_{T}d\psi$, so the apparent $1/L$ singularity cancels against the velocity Jacobian. This inverse-angular-momentum velocity integration makes the density finite for every $r>0$.

Let $t=e^{-\Phi /v_0^2}=a/(a+r)$, $c_1=1$, $c_2=2$, and ${\alpha }_k=k/(2v_0^2)$. Each exponential component contributesHere the two Gaussian integrals and the angular integral have product ${\pi }^2/{\alpha }_k$. Consequently,The galactic distribution function is nonnegative, gives the required density, and depends on conserved $E,L$; by Jeans theorem it is a self-consistent steady solution.

Differentiating the Gaussian integral with respect to ${\alpha }_k$ shows that each component has $⟨v_r^2{⟩}_k=1/(2{\alpha }_k)=v_0^2/k$, and the same value for $⟨v_T^2{⟩}_k$. Angular averaging gives $⟨v_{\theta }^2{⟩}_k=⟨v_{\varphi }^2{⟩}_k=v_0^2/(2k)$. Weighting these by ${\rho }_1,{\rho }_2$ yields the velocity dispersionsThe radial numerator includes $2r$, as in the original PDF. All mean velocities vanish by parity. The same parity, or the zero angular average of $\sin \psi \cos \psi$, gives $⟨v_r{v}_{\theta }⟩=⟨v_r{v}_{\varphi }⟩=⟨v_{\theta }{v}_{\varphi }⟩=0$.

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 $L^{-1}$ factor enhances low-angular-momentum stars. The radial velocity dispersion approaches $3v_0^2/4$ at the centre and $v_0^2$ 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.

In a stationary axisymmetric gravitational potential, conservation of angular momentum gives $L_z=R^2\dot{\varphi }$. Eliminating $\dot{\varphi }$ introduces the effective potentialFor an equatorial circular orbit, radial balance is ${\partial }_R{\Phi }_{\mathrm{eff}}(R_c,0)=0$, givingVertical balance also requires ${\Phi }_{,z}(R_c,0)=0$.

For epicyclic motion, assume a twice differentiable stationary gravitational potential symmetric under $z\mapsto -z$, small displacements $|x|,|z|\ll R_c$, and a stable circular orbit. Choose the epicyclic guiding center using the conserved $L_z$. Reflection symmetry makes ${\Phi }_{,Rz}(R_c,0)=0$, eliminating radial-vertical coupling at first order. Expanding the equations about $(R_c,0)$ givesThe derivatives are evaluated at the guiding centre, and stability requires ${\kappa }^2,{\nu }^2>0$. Without midplane symmetry, a mixed Hessian term can couple the two oscillations. The radial epicyclic frequency and vertical epicyclic frequency are the frequencies of these independent linear oscillations.

Set $\Omega =L_z/R_c^2$. Along the family of equatorial circular orbits, ${\Phi }_{,R}=R{\Omega }^2$. Differentiating this relation and adding the centrifugal contribution givesTo interpret the common frequency range, let $q=d\log v_c/d\log R$. Since $v_c=R\Omega$, one has ${\kappa }^2=2(1+q){\Omega }^2$. A Keplerian disk has $q=-1/2$ and $\kappa =\Omega$, a flat galaxy rotation curve has $q=0$ and $\kappa =\sqrt{2}\Omega$, and solid-body rotation has $q=1$ and $\kappa =2\Omega$. Typical galactic rotation curves lie between these slopes. Thus $\Omega \lesssim \kappa \lesssim 2\Omega$ is a useful galactic range, not a theorem for every possible axisymmetric potential. As a precise sufficient example, epicyclic frequency bounds for monotone spherical density follow from ${\kappa }^2={\Omega }^2+4\pi G\rho$ and $0\le \rho \le 3M/(4\pi R^3)$.

Use a Cartesian frame rotating with the epicyclic guiding center, with $x$ pointing radially outwards and $y=R_c(\varphi -\Omega t)$ in the direction of rotation. To first order, conservation of angular momentum givesThe radial harmonic oscillator solution and its azimuthal integral areA constant in $y$ merely changes the azimuthal origin of the guiding centre. The epicyclic ellipse obeys $x^2/X^2+y^2/Y^2=1$. In the usual frequency range it is elongated azimuthally, and the star travels clockwise when $x$ points right and $y$ up: its small motion relative to the prograde guiding centre is retrograde.

For the Oort constants, subtract the defining expressions to obtain $\Omega =A-B$ and insert $R{\Omega }^{\prime }=-2A$ into the radial epicyclic frequency formula:The solar-neighbourhood values give $\Omega =26.5\mathrm{km}{\mathrm{s}}^{-1}\mathrm{kp}{\mathrm{c}}^{-1}$, $\kappa =\sqrt{1272}\mathrm{km}{\mathrm{s}}^{-1}\mathrm{kp}{\mathrm{c}}^{-1}$, andThe solar epicyclic ellipse is therefore about $1.49$ times longer azimuthally than radially.

A complete radial oscillation takes $T_r=2\pi /\kappa$. The oscillatory part of $\dot{\varphi }$ has zero average over this interval, so the epicyclic azimuthal advance isThis describes the advance between consecutive radial turning points of the same type; it need not be a full $2\pi$ revolution. For the Sun,The azimuthal advance estimate uses the same linear epicyclic motion approximation as the axis ratio.

For a spherical system, use the spherical shell theorem with shell mass $dm=4\pi \rho (s)s^{2}ds$. Inner shells contribute $-Gdm/r$ to the gravitational potential, while an outer shell contributes its constant interior potential $-Gdm/s$. With $\Phi (\infty )=0$, assuming the required integrals converge,On differentiation, the two terms containing $\rho (r)r$ cancel. Hence ${\Phi }^{\prime }=GM(r)/r^2$, where $M(r)=4\pi {\int }_0^r\rho (s)s^{2}ds$. Radial balance for a circular orbit gives $v_c^2=r{\Phi }^{\prime }=GM(r)/r$.

For a razor-thin axisymmetric astrophysical disk, the element of mass is $dm=\Sigma (s)sdsd{\varphi }^{\prime }$, where $\Sigma$ is the surface density. Superposing Newtonian gravitational potentials therefore givesAxisymmetry permits $\varphi =0$. Unlike the spherical case, an exterior annulus generally exerts a radial force: enclosed mass does not determine a disc rotation curve.

For the Legendre expansion of thin-disk gravity, split the radial integral at $s=R$. In the inner part the kernel expands in $s/R$, while in the outer part it expands in $R/s$. The angular integrals of odd Legendre polynomials vanish, and those of even degree $n$ equal $2{\alpha }_n$, whereIntroduce $I_n(R)={\int }_0^R\Sigma (s)s^{n+1}ds$ and $J_n(R)={\int }_R^{\infty }\Sigma (s)s^{-n}ds$. The gravitational potential becomesWhen differentiating each bracket, the moving-limit terms cancel: $R^{-(n+1)}{I}_n^{\prime }=\Sigma (R)$ and $R^n{J}_n^{\prime }=-\Sigma (R)$. Since $v_c^2=R{\Phi }^{\prime }$, this givesThe zeroth term has ${\alpha }_0=\pi$ and $M(R)=2\pi I_0$. Separating it provesThe inner correction is inward, while the exterior correction is outward. For a smooth surface density, the original potential singularity at coincident points is integrable. Its radial force is understood through a symmetric Cauchy principal value or a vanishing-thickness regularization; the paired interior and exterior terms above retain the cancellation at $s=R$. This avoids treating the two singular local force contributions separately.

For an exponential galactic disk, write $\Sigma (s)={\Sigma }_0{e}^{-s/R_d}$, so $M_{\infty }=2\pi {\Sigma }_0{R}_d^2$ and $M(R)=M_{\infty }[1-(1+R/R_d)e^{-R/R_d}]$. At large $R$, the missing mass and exterior-ring terms are exponentially small. The leading nonspherical interior term is $k=1$, with ${\alpha }_2=\pi /4$ and $I_2(\infty )=6{\Sigma }_0{R}_d^4$. Consequently the exponential-disk Keplerian asymptotic isThe positive leading correction shows that the rotation curve approaches the Keplerian limit from above. The finite-order large-radius expansion is sufficient here; an infinite moment expansion need not converge for a disk extending to infinity.

A useful special example is the Mestel disk, with surface density $\Sigma (s)=C/s$ for $s>0$, $C>0$. It has $M(R)=2\pi CR$. For every positive even $n$,All the nonspherical corrections cancel, givingThus the Mestel disk has a perfectly flat galaxy rotation curve.

This example has infinite total mass and a singular central surface density. The absolute gravitational potential cannot be set to zero at infinity, but the radial force exists as a limit of disks with increasing outer cutoff. Potential differences are $\Phi (R)-\Phi (R_0)=v_M^2\log (R/R_0)$. The earlier potential integral is therefore interpreted up to a radius-independent divergent constant for this example; the force calculation remains valid. Truncating the Mestel disk gives a more physical finite system but changes the exact flat curve near its edges.