Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 59 3 Solution Created 2026-10-03 Updated 2026-10-14
Assume a nonrotating, nonmagnetic equilibrium, inviscid adiabatic perturbations, and no dissipation. Let , so hydrostatic equilibrium is . Use for the fluid displacement. To avoid a source ambiguity, write Eulerian fluid perturbations as , and use for quantities following the displaced material element, as in Eulerian and Lagrangian fluid perturbations. They are related by and similarly for mass density and potential.
The printed identity needs two corrections: its compression denominator must be , not , and the pressure and potential appearing in this form of the identity must be Eulerian fluid perturbations. The printed denominator has the wrong dimensions for an energy density. The claimed Lagrangian interpretation does not produce the displayed buoyancy-compression split; the following derivation specifies the consistent version.
Linearized mass conservation, the adiabatic relation, and the Poisson equation giveConsequently . Linearizing the Euler equations for an inviscid fluid about the static star gives the linear adiabatic stellar oscillation equationsRequire regularity at the center, a vanishing Lagrangian surface pressure, and the usual matching to a decaying exterior gravitational potential. Because and vanish at the surface, the pressure boundary term vanishes for regular displacements; compactly supported trials also suffice below. The perturbed Newtonian gravitational potential solves Laplace's equation outside the star and must be included there when its field energy is computed.
Multiply the momentum equation by and integrate. The pressure term is . Let . The adiabatic relation and hydrostatic equilibrium implyThe pressure and equilibrium-gravity terms then combine pointwise aswhere is the stellar buoyancy frequency. The potentially troublesome cross terms cancel exactly.
For the perturbed self-gravity term, integration by parts givesThus the corrected stellar displacement energy identity isThe right side is a real quadratic form. With these conservative boundary conditions, the force operator is a self-adjoint operator. Its Rayleigh quotient characterizes squared mode frequencies, and a negative admissible trial quotient proves an unstable spectral component; it does not require the trial displacement itself to be an exact eigenfunction.
For a generic compressive disturbance of scale in a region with slowly varying equilibrium coefficients, estimate , and . The self-gravity and compression energy densities have orderswith adiabatic sound speed . Under the plausible stellar estimate , global modes can have comparable gravity and pressure contributions, while their ratio for small-scale compressive modes is of order . Thus perturbations with admit the Cowling approximation. This estimate compares two nonzero compressive terms; it cannot alone justify neglecting gravity for a trial deliberately chosen to have .
For an explicit convective trial, choose and a nonzero smooth bumpLet be a normalized spherical harmonic of degree , let , and let be the unit-sphere gradient. The pressure-free localized stellar convective trial isIt is supported away from the center and surface, so it satisfies every needed mechanical boundary condition. Since ,Therefore exactly. Its buoyancy energy is , whereas its kinetic norm is positive. In the Cowling approximation this gives a negative Rayleigh quotient, and hence in an interior shell implies convective instability. Retaining perturbed self-gravity only adds a nonpositive term, so the same trial proves instability in the full conservative problem too.
There is also a quantitative small-scale check for this very trial. Its mass density amplitude is , independent of . Write and . The radial Poisson equation givesBy the Cauchy-Schwarz inequality, , and so the angular-degree bound on perturbed stellar self-gravity isIt tends to zero with horizontal scale , while the strictly negative buoyancy integral is fixed. This justifies the small-scale neglect of gravity even though the trial's compression term vanishes.