An inviscid uniform-density self-gravitating cylinder in vacuum, with no rotation or surface tension, has the displayed axisymmetric dispersion relation, where . To derive it, let . The linear kinematic boundary condition gives . The Lagrangian pressure perturbation vanishes on the moving free surface, giving . Substitute the axisymmetric gravitational potential of a displaced cylindrical interface and use to obtain the relation. Its nonzero neutral root is : wavelengths longer than have and grow. The fastest-growing mode has , so its wavelength is about . Negative must be interpreted through an imaginary frequency, not through a real oscillatory ansatz.
Vertical hydrostatic equilibrium gives . At a vacuum interface, the Lagrangian pressure perturbation vanishes: . The vertical equation gives , hence
The moving interface makes this different from setting the Eulerian perturbation of a fluid variable to zero on the original surface.
// Target: astrophysics.bigb
Kelvin stellar mode 2026-10-06
The Kelvin stellar modes are the potential incompressible stellar surface modes of a nonrotating self-gravitating uniform-density sphere with incompressible flow. For a regular displacement potential , the free-surface Lagrangian pressure perturbation condition and the surface gravity perturbation of a uniform-density sphere give
In detail and at , so . The branch is rigid translation with zero restoring force. This potential family does not exhaust vortical zero-frequency displacements: is tangent to the sphere and has zero restoring force but nonzero curl.
The Lagrangian fluid displacement compares neighbouring fluid trajectories. Linear velocity perturbations about a steady flow obey . For a background scalar , its material perturbation is . In an axisymmetric normal mode about cylindrical rotation, the radial and vertical velocities are and . The displacement of a free surface is needed to impose the Lagrangian pressure perturbation condition.
// Target: astrophysics.bigb
The Lagrangian pressure perturbation is the change in pressure experienced by a displaced fluid element: . For a free surface against fixed external pressure, , rather than at the original surface.
The vanishing total pressure must be imposed at the displaced free surface, not at fixed . The first-order Taylor expansion is
Since and , the Lagrangian pressure perturbation condition is
The supplied gravitational perturbation and the combined potential, evaluated at , then give
Here is the Modified Bessel function of the second kind. Equating mode amplitudes and using part (c) yields
Rearrange to obtain the dispersion relation for the axisymmetric gravitational instability of an incompressible cylinder:
Every quantity on the right is dimensionless, consistent with having units . The stabilizing term comes from displacing the background hydrostatic pressure profile; omitting the Lagrangian pressure perturbation would lose it.
Take to be the vertical equilibrium plane and expand the vertical gravitational force to leading order in : . The vertical hydrostatic equilibrium equation for uniform density is . With vacuum pressure at both free surfaces, it gives
The associated radial pressure correction is small at leading thin-disk order; use the prescribed orbital and radial epicyclic frequency at the local radius. Here is the vertical epicyclic frequency.
For the axisymmetric waves of a homogeneous incompressible disk, use a local WKB approximation proportional to , with . Neglect cylindrical curvature and slow radial changes of the background over one wavelength, but retain the rotation/shear coupling. Let be the velocity perturbations and . The leading equations are
For and , these give and . The incompressible flow constraint then yields
The vertical Lagrangian fluid displacement satisfies , so . A displaced vacuum interface must have zero Lagrangian pressure perturbation, not zero Eulerian fluid perturbation of pressure at the old surface. Neglecting the higher-order radial surface-slope contribution,
Thus the free-surface pressure condition of an incompressible disk is
Because the background and boundary conditions are symmetric about the midplane, choose pressure modes of even function or odd function symmetry in . For , put and . The solutions are or ; substituting the surface condition gives the two surface modes of an incompressible disk:
These are implicit dispersion relations, or complete parametric equations with parameter and the indicated condition .
For , put and . The solutions are or , giving the inertial modes of an incompressible disk:
The restrictions select the admissible segments of the trigonometric functions, producing infinitely many vertical orders. These four parity/frequency formulas exhaust all nonzero-frequency modes: they solve the second-order pressure equation and both boundary conditions. For finite , an exactly epicyclic frequency makes the horizontal equations require , then the vertical equation and the incompressible flow constraint force all velocity components to vanish, so it is not a missing finite-wavenumber branch.
For completeness, the energy identity for free-surface disk waves shows why these modes have real stable frequencies when and . After elimination of the azimuthal velocity, the radial and vertical displacement equations are and , with . Multiply by conjugate displacements, integrate in and use the boundary condition to obtain
The right side is real and nonnegative, excluding additional growing wave branches in this stable case. At zero frequency there can separately be a stationary geostrophic balance: vertically constant , , , and static interface displacements satisfying at the surfaces. This neighbouring-equilibrium perturbation is not a propagating branch omitted by dividing by .
For the large- limit, the two surface branches have , so both and tend to one. Eliminating gives their common leading surface dispersion,
In particular . The effective surface gravity is , and the pressure decays into the interior on a scale . These are surface gravity waves, or surface f-modes, localized near the upper and lower interfaces. Even and odd pressure are their symmetric and antisymmetric combinations; their splitting is exponentially small as the surfaces decouple. Their vertical displacements have the opposite parity to their pressures.
For each fixed inertial vertical order, large means . The boundary condition then requires at the surfaces, so the limiting vertical wavenumbers are , . Thus
Even have even pressure, odd odd pressure. These vertically oscillatory, rotation-restored inertial waves occupy and approach zero at fixed order as radial wavenumber increases. The limit is not uniform in order: arbitrarily high vertical orders remain near at any fixed . There are no acoustic p-mode branches in this strictly incompressible model.
For , the two surface curves are unique. The even branch approaches from above as , with tending to the positive solution of . The odd branch approaches because as . At any positive , the odd surface frequency is above the even one, and both rise toward the common large-wavenumber asymptote.
The inertial branches all approach from below as . For even pressure there is one admissible branch in each interval , , terminating at as . For odd pressure there is one in each interval , again terminating at its upper endpoint; the first interval is admissible because . Their curves decrease toward zero as shown in the sketch. The small- endpoints are formal local-dispersion limits; the WKB approximation still requires for a finite-thickness disk.
Figure 1.
Surface and inertial branches of a homogeneous incompressible disk, with
. Details.
The plot shows both surface branches and the lowest six inertial orders; higher orders accumulate below . If , the inertial frequencies collapse to zero, while the surface formulas reduce to and . A negative instead introduces instability described by the Rayleigh centrifugal stability criterion and is outside the real-frequency stable sketch.
Fix the sign convention first: depth increases downward, while the vertical displacement amplitude is positive upward. Write for the Lagrangian pressure perturbation, and for Eulerian fluid perturbations. Hydrostatic equilibrium gives , and the adiabatic relation gives . Since the vertical displacement vector has component along increasing ,
In the Cowling approximation, horizontal momentum gives . The mass conservation equation and vertical momentum then eliminate the horizontal displacement. The plane-parallel Cowling displacement-pressure equations are
For , the second equation admits and the first reduces to . Thus the plane-parallel stellar f-mode has
Its Eulerian eigenfunctions are and , while . Hence it has no Lagrangian compression even in a stratified star. It decays inward but grows upward, explaining the failure of a pure small-amplitude continuation to .
For the lower part of the matched chromospheric interfacial mode, put , and . The pressure amplitude is of order because the limiting f-mode has identically zero Lagrangian pressure amplitude; the frequency correction perturbs that zero solution. Expand and . The leading equations are
Exclude the lower homogeneous component , which would make grow into the star. Integrating the remaining equation with its integrating factor gives
The accompanying correction is , with the integrand evaluated at . This fixes and determines the lower eigenfunctions to the stated order.
For the upper part, distinguish the rescaled sound speed by writing and . Set , and . To leading order the first displacement equation becomes , while the pressure equation gives . Consequently
The component would give , which diverges upward. Remove it by the upper boundary condition. The leading upper solution is
Integrating with gives the first correction to the upper exponential. The displayed satisfies the required decay only for compatible upper density profiles; integral convergence alone is not the full boundary condition.
To match, define the positive weighted integrals
The lower normalization is and . Continuity of Lagrangian pressure perturbation makes the upper ; continuity of fluid displacement then requires . Since , the upper integral gives . The two matching conditions therefore give
As a sign and normalization check, two incompressible constant-density layers give and , so . This agrees with expansion of the exact interfacial gravity-wave dispersion relation .
For validity, require , convergent weighted integrals, a matching level separating the low-density high-sound-speed atmosphere from the denser envelope, and small accumulated corrections over the regions carrying the matching integrals. The upper expansion also needs . The resulting upper displacement must tend to zero: for example if at great height, its leading amplitude is proportional to , requiring ; the weaker condition merely makes the upper integral converge. Plane geometry, constant and the Cowling approximation must be appropriate on the wavelength scale. The physical mode amplitude must remain small compared with both its wavelength and local background scale heights, so the adiabatic fluid perturbation remains linear. If these requirements fail, neither the matching formula nor continuation of the leading expansions is controlled.
Let be the background enclosed mass, so and . The background hydrostatic equilibrium is . Use a Lagrangian fluid displacement of each spherical mass shell; denotes its Lagrangian perturbation. Conservation of shell mass gives
and the adiabatic pressure law gives the Lagrangian pressure perturbation
This retains perturbed self-gravity: a shell keeps its enclosed mass while its gravitational acceleration changes with its radius.
In mass coordinates, the exact radial shell equation is . Its first-order perturbation is
Hydrostatic equilibrium gives , and . Thus the perturbation of the pressure-force geometry contributes another , in addition to the gravity term:
Put , so . Expanding the derivative, using constant and , yields the radial stellar pulsation equation:
The coefficient includes both geometric pressure and self-gravity effects; dropping the gravitational perturbation would not give this equation.
For a normal mode , multiply by and integrate. Since , integration by parts gives
Regularity at the center requires with finite , so the lower endpoint vanishes. For an isolated star take and the free-surface condition , with a regular finite-energy displacement; these eliminate the upper boundary term. Hence
These boundary conditions give the self-adjoint radial Sturm-Liouville problem behind the weighted stellar pulsation Rayleigh quotient.
Use the homologous trial fluid displacement , or . It is regular at the center, and vanishes at the free surface. The derivative term in the Rayleigh quotient is zero, leaving
The ratio is a positive weighted average of . Since the central mass density is its maximum,
For multiplication preserves this inequality, proving the central-density upper bound for a radial stellar frequency:
The full positive quadratic form also shows radial stability for constant under these assumptions. A uniform-density equilibrium has constant , making the homologous displacement an exact mode and saturating the bound.
If , the same trial value is strictly negative. Therefore : the star has an exponentially growing radial instability, with growth rate . One must use this negative trial quotient, rather than carrying the central-density inequality across the sign change unchanged. At the limiting value , the homologous displacement has zero restoring force and is a neutral radial mode in this constant-exponent model.
Let primes denote radial derivatives of the equilibrium and put . The linearized continuity, adiabatic pressure and Poisson equation are
Take the time derivative of the Poisson equation and substitute continuity. Integration in radius gives
Centre regularity excludes a changing point mass at the origin, so and
The perturbed self-gravity must be retained; this calculation does not make the Cowling approximation.
The radial linear momentum equation is . Differentiate it in time and use the preceding equations:
The equilibrium has and . The remaining terms simplify as
Consequently the radial stellar oscillation equation is
The derivative acts on the full variable coefficient ; discarding would change the result.
For , . Substitute and multiply by . Combining the two terms proportional to into a total derivative gives the radial stellar pulsation equation,
Set , and . The Sturm-Liouville operator is
For regular physical perturbations, is finite at the centre and at the free surface. For a nonzero-frequency mode the fluid displacement is , so vanishing Lagrangian pressure perturbation is equivalent to . With and finite , this gives . Zero-frequency modes use the same displacement boundary condition directly. Assume bounded , positive in the interior and the usual finite-energy endpoint domain. Integration by parts gives
Thus this physical self-adjoint differential operator has real eigenvalues . The endpoint domain is essential: the fact that vanishes does not by itself allow arbitrary singular trial functions. The regular free-surface realization of the Sturm-Liouville problem is the one used here.
The Rayleigh-Ritz variational principle gives the fundamental squared frequency as the infimum of the weighted stellar pulsation Rayleigh quotient,
The infimum is over admissible finite-energy functions satisfying the physical endpoint conditions. If this quotient is nonnegative for every such function, all radial frequencies are real and there is no exponentially growing radial mode. A negative value for even one trial function proves a negative eigenvalue and an exponentially growing solution, because . A zero lowest value is marginal and needs separate treatment of neutral motion.
Choose the homologous trial function , which corresponds to radial velocity proportional to . Its gradient contribution is zero, and
The denominator is positive. Hence
This pressure-weighted radial instability criterion is sufficient, not necessary: another trial function can detect instability even if this one does not. For a constant stellar adiabatic exponent it recovers instability below . At constant , the homologous mode is neutral. For constant , in a normally stratified hydrostatic equilibrium, so the quotient is positive and the star is radially stable.
Use the fluid displacement , with velocity perturbation . Denote Eulerian perturbations by and the corresponding Lagrangian pressure perturbation by . For adiabatic perturbations, the linearized mass conservation, momentum, adiabatic equation of state and Poisson equation are
These self-gravitating adiabatic displacement equations retain the perturbation of the star's own Newtonian gravitational potential. In the uniform-density interior, , , and . The dynamical frequency of a uniform-density star sets the natural timescale. For a normal mode with time factor , replace by . The requested interior analysis needs no surface or exterior matching conditions.
The spatial factor is a regular solid harmonic. Besides the Laplace equation , homogeneity gives . The divergence of the fluid displacement is
Define the scalar dilation amplitude ; this is the quantity denoted in the question, not the notation for a Lagrangian pressure perturbation. Then mass conservation gives .
The equilibrium pressure gradient and homogeneity identity give
Consequently the adiabatic equation of state yields
For the force equations, the product rule gives
Equating the coefficients of and in the self-gravitating adiabatic displacement equations gives
Finally, applying the Laplacian to the gravitational perturbation gives
so the Poisson equation becomes
These are the required interior equations for uniform-density stellar oscillation.
There is a radial degeneracy at : is spatially constant and , so the displacement is independent of . The second force equation then cannot be inferred by equating independent vectors. For nonzero it may be imposed as an auxiliary definition of , but it is not an additional physical radial equation. At zero frequency the radial equations should be used directly. This distinction matters for interpreting the zero factor in (c).
Take a static, nonrotating, nonmagnetic spherical equilibrium with and . Use a fluid displacement . Write for Eulerian fluid perturbations. The Lagrangian pressure perturbation and corresponding mass density change obey , . Linearizing mass conservation, the Euler equations for an inviscid fluid and Poisson equation for Newtonian gravity gives
There is no equilibrium acceleration to multiply a perturbed mass density. The adiabatic process condition, with composition carried by the parcel, closes the system:
These are the complete linear adiabatic stellar oscillation equations, including the perturbation of self-gravity. Neglect of heat exchange is appropriate when oscillation periods are short compared with relevant thermal relaxation times; it does not determine nonadiabatic excitation or damping.
For the pressure and buoyancy modes, separate angular dependence using spherical harmonics:
The horizontal amplitude has dimensions of length. Angular differentiation gives , and tangential momentum gives . Define the adiabatic sound speed, stellar buoyancy frequency and Lamb frequency by
The adiabatic mass density relation becomes . Substitution produces a radial form of the full oscillation equations for nonzero :
The apparent factor is evaluated through its defining gradient at the centre rather than by dividing two zeros.
Regularity at the centre excludes singular solutions. At a free surface the Lagrangian pressure perturbation vanishes, ; outside the star the gravitational perturbation decays as . For a model with mass density tending to zero at its surface, continuity of and its radial derivative gives . If the equilibrium mass density jumps to vacuum, include the displaced-surface mass sheet: the outward-minus-inward derivative jump is , so the interior condition is . An atmospheric boundary condition can replace the ideal free surface.
These conditions make an eigenvalue, not an arbitrary local sound frequency. With conservative boundary conditions the adiabatic operator is self-adjoint, giving real ; negative values describe instability. The frequencies depend on , self-gravity, stratification and boundaries, as well as angular degree and radial order. In a spherical nonrotating star they are degenerate in . For homologous equilibrium structures, their scale is
thus the typical oscillation time measures inverse square root of mean mass density, while individual frequencies probe the interior adiabatic sound speed and stellar buoyancy frequency profiles.
For radial modes, write . Eliminating the pressure and gravitational perturbations gives the radial stellar pulsation equation
This is a Sturm-Liouville problem. Multiplication by and integration, with vanishing boundary terms, gives its Rayleigh quotient
For constant , makes both numerator contributions nonnegative. At , a homologous displacement is neutral; for constant the same trial displacement makes the quotient negative. For the uniform-density stellar model, constant is an exact mode and . With varying , the integral criterion, rather than a universal pointwise threshold, controls radial stability.
The Cowling approximation neglects while retaining the equilibrium gravitational field. It is useful for short-wavelength modes, but is not needed for the full derivation above. In a locally slowly varying region, take both remaining amplitudes proportional to and retain the leading derivative terms. Then
Eliminating either amplitude gives the acoustic-gravity propagation relation
Positive is oscillatory propagation; negative means an evanescent wave. The high-frequency branch, , describes stellar acoustic modes, restored chiefly by compressibility and pressure. At frequencies well above , this gives . The low-frequency propagating branch in stable stratification, , instead describes stellar gravity modes, restored by buoyancy. At there is no such nonradial gravity-wave cavity.
A stellar acoustic mode is trapped between an inner turning point near and an outer reflecting region. Low- modes penetrate deeply; radial modes reach the centre. Higher-degree modes turn farther out. Standing waves require the WKB quantization condition
where the phase depends on the central or turning-point behaviour and surface reflection. For high radial order and small degree, the leading acoustic travel-time result is the large frequency separation
The term is the leading central angular phase shift; smaller frequency separations depend on detailed interior gradients. The near-surface mass density stratification sets the acoustic cutoff frequency. In a plane-parallel isothermal atmosphere with mass density scale height , . Modes below this cutoff can reflect and form a cavity; waves sufficiently above it escape and need an outgoing-wave boundary condition. Nonadiabatic damping, driving and rotation alter real-star mode properties, but the adiabatic frequency problem isolates their dependence on the equilibrium structure.
For the self-gravitating incompressible slab, let the fluid occupy , with mass density and a vacuum exterior. Poisson equation and hydrostatic equilibrium give
A constant ambient pressure could be added without changing the result. Choose perturbations proportional to , using rotational symmetry in the horizontal plane to put the wavevector along .
For the fluid displacement, the linearized momentum equation inside the uniform slab is . For it follows that , with . Incompressibility gives , hence
Neutral limits of these surface modes follow by continuity. Stationary vorticity perturbations form a separate zero-frequency sector; the nonzero-frequency surface modes are irrotational by the momentum equation itself, without an extra irrotational-flow assumption.
The Eulerian mass density perturbation vanishes in the bulk because the equilibrium mass density is uniform and the displacement is divergence free. If the two vertical surface displacements are and , the surface density perturbation of a displaced uniform interface gives
Thus Poisson equation reduces to Laplace equation for inside and outside. The potential is continuous, while integrating through each surface gives
The perturbing potential must decay at vertical infinity. The kinematic conditions are . The free surface pressure condition is the vanishing Lagrangian pressure perturbation, ; at the top this gives .
Put . For even scalar-potential symmetry, choose
Then : this is a thickness-changing mode, not a vertical bending mode. Write ; the top derivative jump gives . Since ,
Substitute these values into . Using gives the even-mode dispersion relation for the surface modes of a self-gravitating incompressible slab:
The positive term comes from the restoring hydrostatic free-surface pressure in the background gravitational field. The negative term is the attraction due to the perturbed gravitational potential of the displaced surfaces, which tends to reinforce the disturbance. Both effects ultimately involve the slab's gravity, but enter the boundary condition through different terms.
For odd scalar-potential symmetry, instead take
Now , so the surfaces bend in the same direction. The jump again gives , but and . The same pressure condition yields
The bottom kinematic, jump and pressure conditions follow with the indicated parity and give the same dispersion relation, so no boundary condition has been discarded.
To determine the gravitational instability of an incompressible slab, factor the two dimensionless expressions as
For the even mode the bracket is strictly increasing, with derivative , is negative at zero and tends to positive infinity. It therefore has a unique positive zero
The even mode is unstable for , neutral at , and oscillatory for . Negative gives a growing mode with under the stated time convention. For the odd mode, for every , so the bracket is always positive: all odd modes with positive wavenumber are stable.
Figure 1.
Even and odd surface-mode dispersion relations of a self-gravitating incompressible slab, with the even-mode instability threshold
. Details.
At long wavelengths and : a thickness or column-density disturbance has a gravitational instability, whereas a bending disturbance is restored. At short wavelengths both approach , so both surface branches are stable. The slab equilibrium is therefore linearly unstable overall, because it admits the long-wavelength even modes despite the stability of its odd sector.
Let the free surface be at and take the Newtonian gravitational potential to vanish at infinity. Mass conservation fixes . The enclosed mass is , and hydrostatic equilibrium requires . With vacuum outside, , giving
The pressure is zero outside. A prescribed constant external pressure would simply add that constant to .
The bulk Eulerian and Lagrangian fluid perturbations obey because the mass density is uniform and the Lagrangian displacement has zero divergence. The linearized Euler momentum equation in the interior is
Taking the curl gives . Thus every nonzero-frequency normal mode has an irrotational flow displacement; the simply connected space formed by the interior admits and incompressibility gives the Laplace equation . For a regular center, one spherical harmonic component is , with .
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 gives
The Poisson equation implies that is continuous and its outward radial derivative has the jump
Using regularity at the center and decay at infinity, write
The derivative jump is , so .
Integrating the bulk Euler momentum equation gives for . At the free surface the Lagrangian pressure perturbation vanishes:
Combining these relations yields the Kelvin stellar mode frequency
The choices of are degenerate because of spherical symmetry. For , is a linear combination of coordinates in a Cartesian coordinate system, so is a constant displacement: the zero frequency is rigid translation of the whole isolated body. Such a translation has no restoring force. The constant 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: has zero divergence, zero normal displacement at the surface, and , so it is a zero-frequency displacement, but . This does not change the Kelvin stellar mode spectrum just derived.
The separation of the two bodies is , as is fixed by the supplied Kepler third law . The phrase “orbit of radius ” cannot denote the first body's distance from the center of mass in that formula.
Expand the companion's Newtonian potential of a point mass about the first body's center. The constant term produces no force; the linear term produces the uniform acceleration of the center and disappears in the translating frame. The leading differential acceleration therefore comes from the quadrupolar tidal forcing
where points toward the companion. It is a degree-two solid spherical harmonic. For a circular nonrotating-frame orbit, its time-dependent components have and frequency , because the squared direction cosines repeat twice per orbit. There is also a static component. The real part of one complex harmonic represents the pair of time-dependent components; its normalization and orientation are absorbed into the order-one coefficient . This gives and . The expansion is the leading term for small; spin is being neglected.
For a forced potential flow with the same temporal frequency, the Euler momentum equation becomes
Use . The surface gravity perturbation of a uniform-density sphere is unchanged, as is the vanishing Lagrangian pressure perturbation boundary condition. Integrating the equation and applying that condition gives
Since , the real surface displacement is
Indeed , so the normalization is consistent. This is a particular forced response away from the resonance; arbitrary free normal modes can be added.
Put and . The tidal resonance of a stellar oscillation condition is , hence
The resonance gives for finite nonnegative , with actual forcing requiring . At exact resonance the undamped linearization has no bounded response at the forcing frequency: the time-domain particular solution grows proportionally to times a sinusoid. Thus the frequency-response formula has a pole, rather than describing a finite resonant displacement. Away from that pole, linearization requires the displayed surface displacement to be small compared with ; the leading quadrupolar tidal forcing approximation separately requires small.
Take depth positive downward, vertical fluid displacement positive upward, and Lagrangian pressure perturbation . In a plane-parallel atmosphere with , the Cowling approximation and adiabatic relation give
Indeed the Eulerian perturbations are and . Horizontal momentum gives ; combine this with mass conservation and vertical momentum to eliminate the horizontal displacement. Reversing the sign convention for vertical displacement reverses both displacement-pressure coupling signs.