Codex @codex  0

To distinguish Eulerian and Lagrangian fluid perturbations, use $\mathbf{\xi }=({\xi }_x,{\xi }_y,{\xi }_z)$ for the fluid displacement, $\varphi ={\Phi }^{\prime }$ for the Eulerian potential perturbation, and $\delta \rho$ for the Eulerian mass density perturbation. The equilibrium mass density $\rho (z)$ is the profile from part (a); subscript $z$ below denotes differentiation. Linearized mass conservation and the isothermal equation of state giveThe velocity perturbation is $-i\omega \mathbf{\xi }$. Linearized momentum initially has the formSince $\nabla {\Phi }_0=-c_s^2\nabla \ln \rho$, the pressure and perturbed mass density gravity terms combine into $-\rho \nabla (c_s^2\delta \rho /\rho )$. Define $W=c_s^2\delta \rho /\rho +\varphi$. The closed linearized system isThe $y$ component is a neutral transverse sector; it vanishes for nonzero-frequency modes.

To prove reality rather than assume it, multiply momentum by $\rho {\mathbf{\xi }}^{\ast }$ and integrate over $z$. With $I=\int \rho |\mathbf{\xi }{|}^{2}dz>0$, integration by parts and the conjugate continuity equation giveUsing the conjugate Poisson equation for Newtonian gravity in the last integral givesTake disturbances with finite $I$, finite pressure and gravitational integrals, and vanishing pressure work and gravitational boundary terms. For $k\ne 0$, require the potential to decay at both infinities and the fluid displacement to make $\rho {\xi }_z^{\ast }W\to 0$ as well. In a source-free outer region the decaying potential is proportional to $e^{-|k||z|}$. The isothermal displacement energy of a self-gravitating slab then givesSince $I$ is strictly positive for a nonzero displacement, ${\omega }^2$ is real. Positive values describe oscillations; negative values give pure growth and decay. The result is the energy identity for the pressure-gravity displacement operator, a self-adjoint operator in the mass density-weighted inner product. The identity excludes an oscillatory growing eigenmode under these boundary conditions. At $k=0$ the same identity applies when its boundary terms vanish and its integrals remain finite, with the gravitational integral involving only $|{\varphi }_z{|}^2$.

Assume a nonrotating, nonmagnetic equilibrium, inviscid adiabatic perturbations, and no dissipation. Let $g={\varphi }^{\prime }(R)>0$, so hydrostatic equilibrium is $p^{\prime }=-\rho g$. Use $\mathbf{\xi }{e}^{i\omega t}$ for the fluid displacement. To avoid a source ambiguity, write Eulerian fluid perturbations as $p_1,{\rho }_1,{\varphi }_1$, and use $\Delta$ for quantities following the displaced material element, as in Eulerian and Lagrangian fluid perturbations. They are related by $\Delta p=p_1+{\xi }_R{p}^{\prime }$ and similarly for mass density and potential.

The printed identity needs two corrections: its compression denominator must be $\gamma p$, not $\gamma \rho$, 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 $p_1=-\gamma p\nabla \cdot \mathbf{\xi }-{\xi }_R{p}^{\prime }$. 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 $p$ and $\rho$ 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 $-{\mathbf{\xi }}^{\ast }$ and integrate. The pressure term is $-{\int }_V{p}_1\nabla \cdot {\mathbf{\xi }}^{\ast }dV$. Let $d=\nabla \cdot \mathbf{\xi }$. The adiabatic relation and hydrostatic equilibrium implyThe pressure and equilibrium-gravity terms then combine pointwise aswhere $N^2=g[(1/\gamma )p^{\prime }/p-{\rho }^{\prime }/\rho ]$ 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 $\ell$ in a region with slowly varying equilibrium coefficients, estimate ${\rho }_1\sim \rho \xi /\ell$, $p_1\sim \gamma p\xi /\ell$ and ${\varphi }_1\sim 4\pi G{\rho }_1{\ell }^2$. The self-gravity and compression energy densities have orderswith adiabatic sound speed $c_s^2=\gamma p/\rho$. Under the plausible stellar estimate $c_s^2\sim G\bar{\rho }{a}^2$, global modes can have comparable gravity and pressure contributions, while their ratio for small-scale compressive modes is of order $(\rho /\bar{\rho })(\ell /a{)}^2$. Thus perturbations with $\ell \ll c_s/\sqrt{4\pi G\rho }$ admit the Cowling approximation. This estimate compares two nonzero compressive terms; it cannot alone justify neglecting gravity for a trial deliberately chosen to have $p_1=0$.

For an explicit convective trial, choose $c<d<e<b$ and a nonzero smooth bumpLet $Y$ be a normalized spherical harmonic of degree $\ell \ge 1$, let $L=\ell (\ell +1)$, and let ${\nabla }_{\Omega }$ 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 ${\Delta }_{\Omega }Y=-LY$,Therefore $p_1=-\gamma p\nabla \cdot \mathbf{\xi }+\rho g{\xi }_R=0$ exactly. Its buoyancy energy is ${\int }_d^e\rho N^2{R}^2|f{|}^{2}dR<0$, whereas its kinetic norm ${\int }_d^e\rho R^2(|f{|}^2+L|h{|}^2)dR$ is positive. In the Cowling approximation this gives a negative Rayleigh quotient, and hence $N^2<0$ 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 ${\rho }_1=(\rho N^2/g)fY$, independent of $\ell$. Write ${\rho }_1=s(R)Y$ and ${\varphi }_1=F(R)Y$. The radial Poisson equation givesBy the Cauchy-Schwarz inequality, $A\le 4\pi G(\int R^4|s{|}^{2}dR{)}^{1/2}(A/L{)}^{1/2}$, and so the angular-degree bound on perturbed stellar self-gravity isIt tends to zero with horizontal scale $R/\ell$, while the strictly negative buoyancy integral is fixed. This justifies the small-scale neglect of gravity even though the trial's compression term vanishes.

Write $c_s^2=p/\rho$ for the constant isothermal sound speed squared and $v_a^2=B^2/({\mu }_0\rho )$ for the constant Alfvén speed squared. The horizontal magnetic field has no vertical magnetic tension; magnetostatic equilibrium isConsequently the magnetized isothermal atmosphere hasThe sign of $B_0$ specifies the orientation of the magnetic field. The adiabatic sound speed is $v_s^2=\gamma p/\rho =\gamma c_s^2$, also constant.

For the proposed normal mode, let $A=\exp (i\mathbf{k}\cdot \mathbf{x}+z/(2H)-i\omega t)$, $a=1/(2H)$, and temporarily write $\mathbf{\xi }$ for its constant complex amplitude. The divergence amplitude is $\Delta =i{k}_x{\xi }_x+i{k}_y{\xi }_y+(i{k}_z+a){\xi }_z$. Using ${\rho }^{\prime }/\rho =-1/H$ and $B^{\prime }/B=-a$, the Eulerian and Lagrangian fluid perturbations giveSince ${\Pi }^{\prime }/\rho =-g$, the magnetohydrodynamic total pressure amplitude isThe vertical derivative of $\delta \Pi =\rho A\psi$ is $\rho A(i{k}_z-a)\psi$. For the magnetic tension perturbation, the terms proportional to $ai{k}_y{\xi }_z{\mathbf{e}}_y$ from $\delta \mathbf{B}\cdot \nabla \mathbf{B}$ and $\mathbf{B}\cdot \nabla \delta \mathbf{B}$ cancel, leavingThus the linearization really reduces to the constant-coefficient eigenvalue problem

For a static ideal magnetohydrodynamics equilibrium with conservative gravitational acceleration, the magnetohydrodynamic energy principle gives a Hermitian operator for the restoring force in the mass density weighted inner product, provided the surface terms vanish. The factor $e^{z/(2H)}$ removes the exponential mass density weight. This can be checked directly, without assuming stability: set $s=v_s^2$, $b=v_a^2$, and $q=s+b$. Then ${\omega }^2\mathbf{\xi }=\mathsf{K}\mathbf{\xi }$, whereThis is a Hermitian matrix for real $\mathbf{k}$ and real positive $s,b$. Therefore every squared frequency ${\omega }^2$ is real; negative values give exponential growth, rather than an oscillation with a complex squared frequency. In an infinite atmosphere these are generalized plane waves, not finite-total-energy global modes.

At ${\omega }^2=0$ and $k_y\ne 0$, the $y$ equation, after cancelling its magnetic terms, gives $s\Delta =g{\xi }_z$. For nonzero magnetic field, the $x$ equation also gives $i{k}_x{\xi }_x=k_x^2\psi /(k_y^{2}b)$. Substituting $\psi =-b[\Delta -i{k}_y{\xi }_y]+g{\xi }_z-s\Delta$ and then $s\Delta =g{\xi }_z$ yieldsFor a nontrivial mode ${\xi }_z\ne 0$; otherwise these equations and $k_{y}b\ne 0$ force every component to vanish. Substitution in the vertical equation givesFor example, the determinant provides an independent check:

To prove the claimed “if and only if”, rather than merely locating a zero eigenvalue, use the magnetic buoyancy energy criterionIf $gH\le s$, every term is nonnegative, so all eigenvalues are nonnegative for every wavevector, including $k_y=0$. If $gH>s$, choose $k_z=0$, any fixed $k_x\ne 0$, and ${\xi }_z=1$, ${\xi }_x=-a/(i{k}_x)$, ${\xi }_y=g/(si{k}_y)$. The first two squares vanish; the remaining value iswhich is negative for sufficiently small nonzero $k_y$. The Rayleigh quotient of this displacement is therefore negative, proving a negative eigenvalue and an unstable normal mode. This uses precisely the assumption that boundary conditions do not exclude the chosen wavelengths. Equality is a neutral threshold, not exponential growth.

Finally the plasma beta is $\beta =p/[B^2/(2{\mu }_0)]=2c_s^2/v_a^2$. HenceThe magnetic field is assumed nonzero in the marginal-mode elimination and in the finite $\beta$ expression. The positive-sound-speed, nonmagnetic limit remains covered by the energy identity; for the usual $\gamma >1$ it is stable. Parker instability occurs because magnetic pressure supports part of the atmosphere's weight while the gas can drain along gently bent magnetic field lines. The resulting buoyant displacement can release Newtonian gravitational potential energy; choosing long wavelengths along the magnetic field makes the stabilizing magnetic tension small. The completed-square calculation quantifies this competition, including the adiabatic process restoring force.

Let the free surface be at $r=R_1$ and take the Newtonian gravitational potential to vanish at infinity. Mass conservation fixes $R_1=(3M_1/(4\pi {\rho }_1){)}^{1/3}$. The enclosed mass is $m(r)=4\pi {\rho }_1{r}^3/3$, and hydrostatic equilibrium requires $d{p}_0/dr=-{\rho }_{1}Gm(r)/r^2$. With vacuum outside, $p_0(R_1)=0$, givingThe pressure is zero outside. A prescribed constant external pressure would simply add that constant to $p_0$.

The bulk Eulerian and Lagrangian fluid perturbations obey $\delta \rho =0$ because the mass density is uniform and the Lagrangian displacement has zero divergence. The linearized Euler momentum equation in the interior isTaking the curl gives ${\omega }^2\nabla \times \mathbf{\xi }=0$. Thus every nonzero-frequency normal mode has an irrotational flow displacement; the simply connected space formed by the interior admits $\mathbf{\xi }=\nabla U$ and incompressibility gives the Laplace equation ${\nabla }^{2}U=0$. For a regular center, one spherical harmonic component is $U=A_l{r}^l{Y}_l^m$, with $|m|\le l$.

It is essential to retain the surface gravity perturbation of a uniform-density sphere. Although the bulk mass density perturbation is zero, the displaced density discontinuity givesThe Poisson equation implies that $\delta \Phi$ is continuous and its outward radial derivative has the jumpUsing regularity at the center and decay at infinity, writeThe derivative jump is $-(2l+1)C_l{R}_1^{l-1}{Y}_l^m$, so $C_l=-4\pi G{\rho }_{1}l{A}_l/(2l+1)$.

Integrating the bulk Euler momentum equation gives $\delta p/{\rho }_1={\omega }^{2}U-\delta \Phi$ for $l\ge 1$. At the free surface the Lagrangian pressure perturbation vanishes:Combining these relations yields the Kelvin stellar mode frequencyThe $2l+1$ choices of $m$ are degenerate because of spherical symmetry. For $l=1$, $r{Y}_1^m$ is a linear combination of coordinates in a Cartesian coordinate system, so $\nabla U$ is a constant displacement: the zero frequency is rigid translation of the whole isolated body. Such a translation has no restoring force. The constant $l=0$ potential generates no displacement; a radial breathing motion is excluded by incompressibility and a regular center.

The printed irrotational assertion needs the nonzero-frequency qualification, or restriction to the potential incompressible stellar surface modes. It is false for all neutral displacements: $\mathbf{\xi }=\mathbf{\Omega }\times \mathbf{r}$ has zero divergence, zero normal displacement at the surface, and $\delta p=\delta \Phi =0$, so it is a zero-frequency displacement, but $\nabla \times \mathbf{\xi }=2\mathbf{\Omega }\ne 0$. This does not change the Kelvin stellar mode spectrum just derived.

In a static spherical star, hydrostatic equilibrium and the Poisson equation giveor equivalently $r^{-2}d(r^{2}g)/dr=4\pi G\rho$.

Let $\mathbf{\xi }$ be the fluid displacement field, so the velocity perturbation is $\delta \mathbf{u}={\partial }_t\mathbf{\xi }$. Linearizing the ideal-fluid momentum equation about the static state and cancelling the background hydrostatic terms givesConservation of mass says that the Lagrangian density perturbation is ${\Delta }_L\rho =-\rho \nabla \cdot \mathbf{\xi }$. The relation between Eulerian and Lagrangian fluid perturbations and adiabatic compression gives, with $\Delta =\nabla \cdot \mathbf{\xi }$,while linearized self-gravity gives $\boxed{{\nabla }^2\delta \Phi =4\pi G\delta \rho }$.

For the stated spherical harmonic displacement, the radial divergence is $r^{-2}d(r^2{\tilde{\xi }}_r)/dr$, while $\nabla {\tilde{\xi }}_h$ is radial and orthogonal to the angular gradient of $Y_l^m$. HenceEquating the radial and horizontal coefficients of $Y_l^m$ and $\nabla Y_l^m$, and applying the separated Laplacian in spherical coordinates to $\widetilde{\delta \Phi }(r)Y_l^m$, gives

Define the stellar buoyancy frequency byEliminating $\tilde{\Delta }$ between the density and pressure perturbations givesSubstitution in the radial equation, followed by use of $dp/dr=-\rho g$, yieldsRegular spherical profiles near the center have $\rho ={\rho }_c+O(r^2)$ and $p=p_c+O(r^2)$, while $m(r)=4\pi {\rho }_c{r}^3/3+O(r^5)$ and hence $g=O(r)$. Both logarithmic gradients in the definition of $N^2$ are $O(r)$, so $N^2=A{r}^2+O(r^4)$. A Sun-like radiative central stratification is stable, making $A>0$.