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 give
Consequently . Linearizing the Euler equations for an inviscid fluid about the static star gives the linear adiabatic stellar oscillation equations
Require 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 imply
The pressure and equilibrium-gravity terms then combine pointwise as
where is the stellar buoyancy frequency. The potentially troublesome cross terms cancel exactly.
For the perturbed self-gravity term, integration by parts gives
Thus the corrected stellar displacement energy identity is
The 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 orders
with 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 bump
Let be a normalized spherical harmonic of degree , let , and let be the unit-sphere gradient. The pressure-free localized stellar convective trial is
It 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 gives
By the Cauchy-Schwarz inequality, , and so the angular-degree bound on perturbed stellar self-gravity is
It 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.