Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 322 (Binary Stars)

For this stellar population, let $m=M/M_{\odot }$ denote initial mass in units of the solar mass, and let $\tau =t/\mathrm{Gyr}$ denote present stellar age. Constant formation of equal numbers of stars per unit time makes the stellar age a uniform distribution on $[0,10]$ Gyr, so $Y=\tau /10$ is uniform on $[0,1]$. The normalized initial mass function has probability density function $f(m)=0.1m^{-2}$ for $m>0.1$, since ${\int }_{0.1}^{\infty }{m}^{-2}dm=10$. ConsequentlyThese formulae have the stated age and mass domains; outside them the relevant cumulative fractions saturate at zero or one. The probability integral transform makes $X$ uniform on $[0,1]$: $m=0.1/X$ gives $f(m)|dm/dX|=1$. The time-independent initial mass function and constant number formation rate give independence of $X$ and $Y$. All fractions here count objects, including white dwarfs, using the stipulated stellar evolution law.

A red giant hasThus the mass boundaries are $m=9/\tau$ and $m=10/\tau$ for positive $\tau$. Equivalently, for $0.9<m<1$ the red giant region runs from $9/m$ to the age cap $10$, and for $m\ge 1$ it runs from $9/m$ to $10/m$. There are no red giants with $m\le 0.9$. Boundaries have zero probability and their endpoint convention does not affect the fractions. In the uniform $(X,Y)$ square the red giant region is $9X<Y<10X$, with triangle vertices $(0,0)$, $(1/10,1)$ and $(1/9,1)$. The white dwarf region is the triangle $0<X<Y/10$.

At fixed $Y=y$, define the conditional probabilities of a red giant, white dwarf and main sequence star by $g(y)$, $w(y)$ and $s(y)$. Their interval widths areIntegration over the uniform distribution of age gives the individual-star fractionsThe systems form a coeval binary population: the two binary star components have the same age. Their masses are independent, so $(X_1,X_2,Y)$ has uniform probability density function on $[0,1{]}^3$ and their states have conditional independence given $Y$. Unconditional independence of their states would be incorrect: older systems make both evolved states more likely. The law of total probability now givesThe subtraction removes the double counting of systems containing two red giants.

Use conditional independence at the common age $Y=y$. A system with a red giant and a second evolved component is either a pair of red giants, with conditional probability $g(y{)}^2$, or a red giant and a white dwarf, with conditional probability $2g(y)w(y)$. The factor two counts which component is the white dwarf; a pair of red giants is counted only once. Since $w=9g$, the unconditional probability of this event isThis event is contained in the event of at least one red giant. Therefore the requested conditional probability, among systems selected for containing a red giant, isIn particular the denominator is a fraction of systems, not the individual-star fraction $1/180$.

The common-age conditional probabilities giveHere $GW$ includes both possible component orders. Hence the binary star fractions have the concise ratioAs a check on the role of shared age, $p_{GG}=4p_G^2/3$ rather than $p_G^2$. This is covariance induced by a shared latent variable: the red giant indicator random variables have covariance equal to the variance of $g(Y)$, namely $1/97200$.

For a starburst galaxy with age $t$, put $y_b=t/(10\mathrm{Gyr})$. There is no age averaging. The component masses remain independent, so the fraction of systems with two red giants isThe last comparison is ambiguous in the printed question. Literally, the fraction of individual red giants in the first galaxy is $1/180$. Since $p_{GG}^{\mathrm{burst}}<1/8100<1/180$, no allowed starburst age satisfies that literal comparison. If the intended comparison is instead between systems containing two red giants in the two galaxies, compare with $p_{GG}=1/24300$; the answer isFor completeness, the individual red giant fraction in the burst is $g(y_b)=t/(900\mathrm{Gyr})$, which exceeds $1/180$ precisely for $5\mathrm{Gyr}<t<10\mathrm{Gyr}$. This is a third, different comparison; it does not change the computed fraction of two-giant systems.

For Roche-lobe overflow in the stipulated stellar thermal equilibrium, $R_2=R_L$. Using the mass-radius relation and Kepler's third law,The total mass cancels, givingHere $R_{\odot }$ is the solar radius. This is the Roche-lobe-filling period-density relation specialized to $R_2\propto M_2$.

Neglecting spin, the angular momentum of a circular orbit is $J=M_1{M}_2\sqrt{Ga/M}$. Between classical novae the transfer conserves total mass, so $\dot{M}=0$ and ${\dot{M}}_1=-{\dot{M}}_2$. Its logarithmic derivative givesIn particular, for conservation of angular momentum,The source PDF has $\dot{J}=0$ here; the TeX's $J=0$ is a transcription defect. For $q>4/3$, the Roche-lobe radius response exponent exceeds the equilibrium stellar radius response exponent $1$. Since ${\dot{M}}_2<0$, the Roche lobe then shrinks faster than the donor star; the overfill increases and drives more transfer, giving positive feedback. Equality at $q=4/3$ is marginal in this linear response test.

Two qualifications matter. First, $q>4/3$ is a formal extrapolation outside the stated $q<1$ range, and the supplied Roche lobe approximation need not remain accurate there. Second, true dynamical stability of binary mass transfer compares ${\zeta }_L$ with the adiabatic stellar radius response exponent ${\zeta }_{\mathrm{ad}}$, not ${\zeta }_{\mathrm{eq}}=1$. The stellar thermal equilibrium argument supplies the displayed feedback threshold under the imposed radius law, rather than a necessary and sufficient physical dynamical threshold. For example, the polytropic mass-radius relation for a fully convective adiabatic stellar polytrope with index $3/2$ gives ${\zeta }_{\mathrm{ad}}=-1/3$; within this same Roche lobe approximation its dynamical threshold is $q=2/3$. Thus $q<4/3$ by itself does not guarantee dynamical stability.

Gravitational-wave emission from a binary system removes orbital energy and angular momentum. Magnetic braking of a binary star provides another important loss: a magnetized stellar wind carries away donor spin, while tidal locking couples that spin to the orbit. Tides alone redistribute angular momentum and are not an external sink. Matter expelled from the system can also carry orbital angular momentum, although appreciable continuous mass loss would require nonconservative modifications of the preceding equations. Setting ${\dot{R}}_L/R_L={\dot{R}}_2/R_2$ gives the binary mass-transfer contact equationFor $q<4/3$, a negative external $\dot{J}$ therefore sustains negative ${\dot{M}}_2$ along the stipulated stellar thermal equilibrium contact sequence, provided the system is otherwise stable and can remain thermally relaxed.

During the classical nova, the ejecta carry the white dwarf's specific angular momentum, not zero angular momentum. With ${\Omega }^2=GM/a^3$ and the accretor's distance from the centre of mass $a_1=a{M}_2/M$, isotropic escape givesThe slow ejection relative to the orbital period permits the adiabatic circular orbit approximation; the donor star does not transfer appreciable additional mass during it. Take $\delta M_1=-\delta m$, $\delta M_2=0$ and $\delta M=-\delta m$. Differentiating $J=M_1{M}_2\sqrt{Ga/M}$ givesSince $M/M_1=1+q$, this yieldsThese are first-order formulae with errors of order $(\delta m/M{)}^2$. The orbital widening agrees with Jeans-mode mass loss. The donor star's radius is unchanged to this order by the assumed ejection, so its Roche lobe expands away from it, causing nova-induced binary detachment. This idealization neglects changes in the donor from irradiation or interaction with ejecta; those are not supplied in the model.

Let $\Gamma =-\dot{J}>0$ be the fixed external loss rate. During the detached binary phase both component masses are fixed, and ${\dot{R}}_L/R_L=2\dot{J}/J=-2\Gamma /J$. Closing the fractional gap $4\delta m/(3M)$ takesIn the subsequent semidetached binary, the binary mass-transfer contact equation gives $-{\dot{M}}_2=3M_2\Gamma /[J(4-3q)]$. Accumulating a fresh layer of mass $\delta m$ therefore takesThroughout these first-order estimates $J,M,q$ can be evaluated at the start of the cycle: their fractional changes during it are of order $\delta m/M$. The limit $\Gamma =0$ is excluded, since no finite reconnection time follows without an external shrinkage mechanism.

Set $\mathbf{r}={\mathbf{x}}_1-{\mathbf{x}}_2$, $M=M_1+M_2$ and $\mu =M_1{M}_2/M$, the reduced mass. Newton's law of universal gravitation gives ${\ddot{\mathbf{x}}}_1=-G{M}_2\mathbf{r}/r^3$ and ${\ddot{\mathbf{x}}}_2=G{M}_1\mathbf{r}/r^3$. Subtraction establishesFor fixed masses, the orbital energy and angular momentum areTaking derivatives gives $\dot{E}=\mu \mathbf{v}\cdot (\ddot{\mathbf{r}}+GM\mathbf{r}/r^3)=0$ and $\dot{\mathbf{J}}=\mu \mathbf{r}\times \ddot{\mathbf{r}}=0$. These are conservation of energy and conservation of angular momentum in the unperturbed Kepler orbit. To see directly that the orbital eccentricity is fixed, put $\mathbf{h}=\mathbf{r}\times \mathbf{v}$ and $\mathbf{n}=\mathbf{r}/r$. The eccentricity vector isSince $\dot{\mathbf{h}}=0$, the cross product identity $\mathbf{r}\times (\mathbf{r}\times \mathbf{v})=\mathbf{r}(\mathbf{r}\cdot \mathbf{v})-r^2\mathbf{v}$ gives $\ddot{\mathbf{r}}\times \mathbf{h}=GM\dot{\mathbf{n}}$, so $\dot{\mathbf{e}}=0$. Its magnitude $e$ is the orbital eccentricity. Equivalently,Thus the semi-major axis and orbital eccentricity of a bound noncollision Kepler orbit are constant, including $e=0$.

Take the centre of mass as origin. The two positions are ${\mathbf{x}}_1=(M_2/M)\mathbf{r}$ and ${\mathbf{x}}_2=-(M_1/M)\mathbf{r}$. For $x\gg r$, a Taylor expansion givesThe mass dipole vanishes because ${\sum }_A{M}_A{\mathbf{x}}_A=0$, and the second mass moment tensor is ${\sum }_A{M}_A{x}_{Ai}{x}_{Aj}=\mu r_i{r}_j$. The gravitational quadrupole potential of a point-mass binary is consequentlyBoth printed tensors are trace-free. Contracting them with the Kronecker delta summed over three spatial dimensions givesThis proves the requested expression through second order. In particular the printed convention is $q_{ij}=\frac{3}{2}{Q}_{ij}$, where $Q_{ij}=\mu (r_i{r}_j-r^2{\delta }_{ij}/3)$ is the standard mass quadrupole moment; the radiation coefficient must be adjusted accordingly. No mass dipole term may be retained in centre of mass coordinates.

To evaluate the quadrupole formula without assuming a circular orbit, put $k=GM$, $u=\dot{r}=\mathbf{n}\cdot \mathbf{v}$ and ${\mathbf{v}}_{\perp }=\mathbf{v}-u\mathbf{n}$. Differentiating the gravitational acceleration gives the kinematic jerkFor $S_{ij}=r_i{r}_j$, the product rule then givesInserting these into the printed mass quadrupole moment convention yieldsThe two tensors in brackets are orthogonal in their tensor contraction, because $\mathbf{n}\cdot {\mathbf{v}}_{\perp }=0$. Their squared norms are $6$ and $2v_{\perp }^2$, respectively. HenceThe instantaneous quadrupole luminosity of a Kepler binary is thereforeThe radial derivative $\dot{r}$ is not the vector speed. The bracket equals $v_{\perp }^2+u^2/12$, so the radiated luminosity is nonnegative for every instantaneous velocity.

For a slowly evolving circular orbit, there is no preferred orbital phase at which to excite a persistent eccentricity vector. More precisely, the rotating mass quadrupole moment emits at twice the orbital frequency, with angular harmonic number two; its gravitational-wave energy and angular-momentum balance is $\dot{E}=\Omega \dot{J}$. The circular Kepler orbit sequence has $J=\mu \sqrt{GMa}$ and $dE/dJ=\Omega$, so this loss is tangent to the sequence. At leading adiabatic order it preserves zero secular orbital eccentricity. This is a circular gravitational-wave inspiral, with a small radial drift rather than an exactly fixed-radius Newtonian circle. The energy flux alone would not establish circularity without this symmetry and angular momentum balance.

To leading radiation order use $r=a$, $u=0$ and ${\mathbf{v}}^2=GM/a$ in the loss formula. Combining it with $E=-GM\mu /(2a)$ givesKeeping the fixed masses and leading quadrupole formula, integration givesThis formal coalescence time displays the strong $a_0^4$ dependence: gravitational-wave emission from a binary system matters far more for close binary stars than for wide ones. The orbital period decreases as $a^{3/2}$ and the gravitational-wave frequency increases, producing a chirp. A detached binary can be driven into Roche-lobe overflow; further evolution then depends on mass-transfer stability. A sufficiently close compact pair may merge. The weak-field, slow-motion, point-mass approximation ceases to apply before literal $a=0$; finite stellar radii or strong relativistic effects determine the final interaction.