Codex @codex  0

The aspect ratio of an astrophysical disk is its vertical thickness scale divided by cylindrical radius. A thin disk has $H/r\ll 1$. In gas-supported vertical hydrostatic equilibrium with harmonic external gravity $-{\Omega }_z^{2}z$, $H/r\sim c_s/(r{\Omega }_z)$, where ${\Omega }_z$ is the vertical epicyclic frequency and $c_s$ is the sound speed. In a centrally dominated Keplerian disk, ${\Omega }_z=\Omega$, so this compares sound speed with orbital speed. If disk self-gravity supplies the vertical restoring force, the relation $H\sim c_s/\Omega$ requires replacement. A polytropic free-surface height and an isothermal scale height differ by model-dependent constants even though their aspect ratios have the same basic role.

Galactic disk flaring is an outward increase of vertical thickness. A constant vertical velocity dispersion in an approximately thin-sheet stellar Newtonian gravitational field gives $h\propto 1/{\Sigma }_{\ast }$. An exponential galactic disk then predicts $h\propto e^{R/R_d}$ for a gas tracer. Inside a thick stellar layer the potential is instead approximately harmonic, and the tracer width is ${\sigma }_z/{\nu }_z$ with vertical epicyclic frequency ${\nu }_z$.

For $\Phi =-\mu /r+{\alpha }^2\mu (3z^2-r^2)/r^5$, a nearly circular equatorial orbit has $n^2=\mu /R^3$ and azimuthal frequency ${\Omega }_c^2=n^2(1+3{\alpha }^2/R^2)$. The radial epicyclic frequency is ${\kappa }^2=Rd{\Omega }_c^2/dR+4{\Omega }_c^2$, and the vertical epicyclic frequency is ${\nu }^2={\partial }_z^2\Phi {|}_{z=0}$. Radial stability requires $R^2>3{\alpha }^2$. The nodal precession rate ${\Omega }_c-\nu$ is negative and the apsidal precession rate ${\Omega }_c-\kappa$ positive. These sign statements concern small eccentricity and inclination. For an arbitrary inclined orbit, the averaged argument of periapsis instead evolves as $(3/2)n{\alpha }^2[5{\cos }^{2}i-1]/[a^2(1-e^2{)}^2]$ and can regress.

Expand a unit-mass particle's Lagrangian about an axisymmetric circular orbit of radius $r_0$ and frequency ${\Omega }_0$, using $r=r_0+x$ and $\phi ={\Omega }_{0}t+y/r_0$. Circular-orbit balance removes the linear radial term; total-time-derivative invariance of a Lagrangian removes $r_0{\Omega }_0\dot{y}$. To second order,Here $q$ is the orbital shear parameter and ${\Omega }_z$ is the vertical epicyclic frequency. The Euler-Lagrange equations retain the local Coriolis acceleration and tidal gravity.

Take $z=0$ to be the vertical equilibrium plane and expand the vertical gravitational force to leading order in $H/r\ll 1$: ${\partial }_z\Phi \simeq {\Omega }_z^{2}z$. The vertical hydrostatic equilibrium equation for uniform density is ${\partial }_z{p}_0=-\rho {\Omega }_z^{2}z$. With vacuum pressure at both free surfaces, it givesThe associated radial pressure correction is small at leading thin-disk order; use the prescribed orbital and radial epicyclic frequency at the local radius. Here ${\Omega }_z$ is the vertical epicyclic frequency.

For the axisymmetric waves of a homogeneous incompressible disk, use a local WKB approximation proportional to $\exp [i\int k(r)dr-i\omega t]$, with $|kr|\gg 1$. Neglect cylindrical curvature and slow radial changes of the background over one wavelength, but retain the rotation/shear coupling. Let $(u,v,w)$ be the velocity perturbations and $h=p^{\prime }/\rho$. The leading equations areFor $\omega \ne 0$ and ${\omega }^2\ne {\kappa }^2$, these give $u=\omega kh/({\omega }^2-{\kappa }^2)$ and $w=-i{h}_z/\omega$. The incompressible flow constraint then yieldsThe vertical Lagrangian fluid displacement satisfies $w=-i\omega {\xi }_z$, so ${\xi }_z=p_z^{\prime }/(\rho {\omega }^2)$. 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 $z$. For ${\omega }^2>{\kappa }^2$, put $q=k\omega /\sqrt{{\omega }^2-{\kappa }^2}$ and $Q=qH$. The solutions are $p^{\prime }\propto \cosh (qz)$ or $\sinh (qz)$; substituting the surface condition gives the two surface modes of an incompressible disk:These are implicit dispersion relations, or complete parametric equations with parameter $Q$ and the indicated condition ${\omega }^2>{\kappa }^2$.

For $0<{\omega }^2<{\kappa }^2$, put $s=k\omega /\sqrt{{\kappa }^2-{\omega }^2}$ and $S=sH$. The solutions are $p^{\prime }\propto \cos (sz)$ or $\sin (sz)$, giving the inertial modes of an incompressible disk:The restrictions $0<{\omega }^2<{\kappa }^2$ 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 $k\ne 0$, an exactly epicyclic frequency ${\omega }^2={\kappa }^2$ makes the horizontal equations require $p^{\prime }=0$, 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 ${\kappa }^2\ge 0$ and ${\Omega }_z^2>0$. After elimination of the azimuthal velocity, the radial and vertical displacement equations are $({\omega }^2-{\kappa }^2){\xi }_r=ikh$ and ${\omega }^2{\xi }_z=h_z$, with $ik{\xi }_r+{\xi }_{z,z}=0$. Multiply by conjugate displacements, integrate in $z$ and use the boundary condition to obtainThe 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 $h$, $u=w=0$, $v=ikh/(2\Omega )$, and static interface displacements satisfying $h={\Omega }_z^{2}z{\xi }_z$ at the surfaces. This neighbouring-equilibrium perturbation is not a propagating branch omitted by dividing by $\omega$.

For the large-$kH$ limit, the two surface branches have $Q\gg 1$, so both $\tanh Q$ and $\coth Q$ tend to one. Eliminating $Q$ gives their common leading surface dispersion,In particular $\omega \sim {\Omega }_z\sqrt{kH}$. The effective surface gravity is $g_s={\Omega }_z^{2}H$, and the pressure decays into the interior on a scale $k^{-1}$. 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 $kH$ means $\omega \ll \kappa$. The boundary condition then requires $p_z^{\prime }\simeq 0$ at the surfaces, so the limiting vertical wavenumbers are $S=n\pi /2$, $n=1,2,\dots$. ThusEven $n$ have even pressure, odd $n$ odd pressure. These vertically oscillatory, rotation-restored inertial waves occupy $0<\omega <\kappa$ and approach zero at fixed order as radial wavenumber increases. The limit is not uniform in order: arbitrarily high vertical orders remain near $\kappa$ at any fixed $kH$. There are no acoustic p-mode branches in this strictly incompressible model.

For ${\Omega }_z>\kappa >0$, the two surface curves are unique. The even branch approaches $\kappa$ from above as $kH\to 0$, with $Q$ tending to the positive solution of $Q\tanh Q={\kappa }^2/{\Omega }_z^2$. The odd branch approaches ${\Omega }_z$ because $Q\coth Q\to 1$ as $Q\to 0$. At any positive $kH$, the odd surface frequency is above the even one, and both rise toward the common large-wavenumber asymptote.

The inertial branches all approach $\kappa$ from below as $kH\to 0$. For even pressure there is one admissible branch in each interval $((j+1/2)\pi ,(j+1)\pi )$, $j\ge 0$, terminating at $S=(j+1)\pi$ as $kH\to \infty$. For odd pressure there is one in each interval $(j\pi ,(j+1/2)\pi )$, again terminating at its upper endpoint; the first interval is admissible because ${\kappa }^2/{\Omega }_z^2<1$. Their curves decrease toward zero as shown in the sketch. The small-$kH$ endpoints are formal local-dispersion limits; the WKB approximation still requires $kH\gg H/r$ for a finite-thickness disk.

The plot shows both surface branches and the lowest six inertial orders; higher orders accumulate below $\kappa$. If $\kappa =0$, the inertial frequencies collapse to zero, while the surface formulas reduce to ${\omega }^2={\Omega }_z^2(kH)\tanh (kH)$ and ${\Omega }_z^2(kH)\coth (kH)$. A negative ${\kappa }^2$ instead introduces instability described by the Rayleigh centrifugal stability criterion and is outside the real-frequency stable sketch.

For a circular mid-plane orbit, radial force balance in the Newtonian gravitational potential is $r{\Omega }^2={\Phi }_{,r}$. HenceAxisymmetry conserves the specific angular momentum $j=r^2\dot{\varphi }$. At fixed $j$, radial motion obeys $\ddot{r}=-{\partial }_r{\Phi }_{\mathrm{eff}}$, where the effective potential is ${\Phi }_{\mathrm{eff}}=\Phi +j^2/(2r^2)$. Linearize around a circular radius $r_0$, writing $r=r_0+\xi$. Since $j^2=r_0^3{\Phi }_{,r}(r_0,0)$ there,This is the radial epicyclic frequency; equivalently ${\kappa }^2=r^{-3}d(r^4{\Omega }^2)/dr$.

Reflection symmetry gives ${\Phi }_{,z}(r,0)=0$ and ${\Phi }_{,rz}(r,0)=0$, so vertical and radial displacements decouple at linear order. The vertical equation is $\ddot{z}=-{\Phi }_{,zz}(r_0,0)z$, giving the vertical epicyclic frequencyPositive squared frequencies give oscillatory stability; a negative squared frequency gives exponential instability rather than a real oscillation frequency.

In cylindrical coordinates the particle's radial and vertical equations are $\ddot{r}-r{\dot{\varphi }}^2=-{\Phi }_r$ and $\ddot{z}=-{\Phi }_z$. Axisymmetry gives conservation of angular momentum, with specific angular momentum $h=r^2\dot{\varphi }$. Eliminating the cyclic azimuthal motion therefore givesThus $\boxed{{\Phi }_1=\Phi +h^2/(2r^2)}$ governs the meridional motion. Its conserved energy is $\frac{1}{2}({\dot{r}}^2+{\dot{z}}^2)+{\Phi }_1$. The additional term is the centrifugal barrier appropriate to fixed angular momentum.

For a point mass, $\Phi =-GM/\sqrt{r^2+z^2}$. If $h\ne 0$, the vertical derivative vanishes only at $z=0$, and the radial stationary condition there gives $r_0=h^2/(GM)$. This is the sole stationary point with $r>0$, at energy $-GM/(2r_0)$. Its Hessian matrix isConsequently the local contours are closed, approximately circular curves about a strict minimum. Finite negative-energy contours above the minimum remain closed; the centrifugal barrier prevents approach to the axis and the negative energy prevents escape to infinity. The zero contour satisfies $z^2=4r^4/r_0^2-r^2$, while positive-energy contours can be unbounded. The left panel illustrates these features; portions of the outer contours extend outside the plotting window.

Each panel uses its own circular radius as length unit and $GM/r_0$ as potential unit. Linearizing near the minimum givesThe radial and vertical epicyclic frequencies both equal the circular orbital frequency. Circular Kepler orbits are stable to small meridional perturbations of a freely moving particle. With no dissipation the oscillations persist rather than decay. A change in h shifts the circular radius to a nearby orbit; azimuthal phase itself is neutral by rotational symmetry. If $h=0$, there is no stationary point or centrifugal barrier and this circular-orbit stability discussion does not apply.

For a bound Kepler orbit, the semimajor axis is half the long diameter of the ellipse; if $r_p,r_{mathrma}$ are its apsidal distances, $a=(r_p+r_{mathrma})/2$. The orbital eccentricity is $e=(r_{mathrma}-r_p)/(r_{mathrma}+r_p)$, with $0\le e<1$ and semiminor axis $b=a\sqrt{1-e^2}$. The gravitating centre is a focus, displaced by $ae$ from the ellipse's geometric centre.

Choose a reference plane, a positive normal and a fixed reference direction in that plane. The ascending node is where the orbit crosses toward positive normal displacement. The longitude of ascending node $\Omega$ is the reference-plane angle from the fixed direction to that node. The argument of periapsis $\omega$ is the angle from the ascending node to periapsis, measured in the orbital plane in the direction of motion. The orbital inclination $i$ is the angle between the reference normal and the orbital angular-momentum normal, with $0\le i\le \pi$. The diagram separates the ellipse's shape from these orientation angles.

Let $\mu =GM$ and use actions per unit test-particle mass. In the prograde spherical-action chart underlying the stated Hamiltonian, $J_{\varphi }=L_z$ and $J_{\theta }=L-L_z$, so $J_{\theta }+J_{\varphi }=L$. The radial action then satisfies $J_r+L=\sqrt{\mu a}$, consistently with $H_K=-\mu /(2a)$. DefineIf $(w_r,w_{\theta },w_{\varphi })$ are the old angles, a type-two generating function isDifferentiation with respect to the old angles recovers $J_r,J_{\theta },J_{\varphi }$, and differentiation with respect to the new actions gives the canonical transformationIts triangular integer action matrix has determinant one, so it preserves the angle periodicities. In the new coordinates,These are the Delaunay variables:With the usual choices of angle origins, $w_1=\ell$ is mean anomaly, $w_2=\omega$ is argument of periapsis, and $w_3=\Omega$ is longitude of ascending node. The generator $\mathcal{G}=L$ rotates the orbit within its plane, whereas $\mathcal{H}=L_z$ rotates that plane about the reference normal; this explains the angular identification. The fast angle obeys Kepler's equation $\ell =\mathcal{E}-e\sin \mathcal{E}$, where $\mathcal{E}$ is eccentric anomaly.

For retrograde orbits, signed $J_{\varphi }=L_z$ gives $J_{\theta }=L-|L_z|$ and the spherical Hamiltonian uses $J_r+J_{\theta }+|J_{\varphi }|$. The stated plus-sign form is therefore a prograde chart, not a global signed-action formula. The Delaunay variables still use $\mathcal{H}=L_z$; on the retrograde branch the generating function is $(\mathcal{L}-\mathcal{G})w_r+(\mathcal{G}+\mathcal{H})w_{\theta }+\mathcal{H}{w}_{\varphi }$. At $e=0$, periapsis is undefined, and at $i=0$ or $\pi$ the node is undefined: these are angle-chart degeneracies, not physical singularities.

For the perturbed planet orbit, the radial and vertical frequencies mean small oscillations about a circular equatorial orbit of cylindrical radius $R$. Write $r=\sqrt{R^2+z^2}$ and retain the stated quadrupole potential. On the equator,At fixed axial specific angular momentum $L_z$, the radial effective potential is $\varphi (R,0)+L_z^2/(2R^2)$. Its second derivative at circular balance $L_z=R^2{\Omega }_c$ gives the radial epicyclic frequencyReflection symmetry decouples vertical motion to first order. Expanding the potential in $z$ givesso the vertical epicyclic frequency isThe circular orbit is radially stable only for $R^2>3{\alpha }^2$. For $\alpha \ne 0$ in that domain, $\nu >{\Omega }_c>\kappa$. Vertical node crossings repeat at frequency $\nu$ while azimuth advances at ${\Omega }_c$, so the line of nodes has nodal precession rate ${\Omega }_c-\nu <0$. Radial periapsis passages repeat at $\kappa$, giving apsidal precession rate ${\Omega }_c-\kappa >0$. To leading quadrupole order, with $n=\sqrt{\mu /R^3}$,This is oblate-quadrupole epicyclic precession. Here $\varpi$ denotes the nearly equatorial longitude of periapsis, not $\omega$ alone.

The precession signs above have a small-eccentricity, small-inclination domain. They are not a universal claim for every inclined Kepler ellipse. To see the distinction with the same Delaunay variables, average the perturbation over an unperturbed orbit. Since $z/r=\sin i\sin (\omega +f)$ and $dt=r^{2}df/\mathcal{G}$, the term linear in $e\cos f$ integrates to zero and the ${\sin }^2(\omega +f)$ average in the $r^{-3}$ integral is $1/2$. ThusDifferentiating at fixed other actions yields the first-order secular ratesTheir nearly equatorial sum reproduces the prograde $\dot{\varpi }$. For a polar orbit, however, the node is fixed and $\dot{\omega }<0$. This supplies a concrete counterexample to extending the requested forward periapsis precession beyond the intended epicyclic regime.

Reflection symmetry gives ${\Phi }_z(R,0)=0$. In a vertically stable thin disk, expand the vertical force as ${\Phi }_z(R,z)={\Omega }_z^{2}z+O(z^3)$, where ${\Omega }_z^2={\Phi }_{zz}(R,0)$ is the vertical epicyclic frequency squared. For local hydrostatic equilibrium and height-independent isothermal sound speed, $p=c_s^2\rho$ andThus $\rho ={\rho }_0\exp [-z^2/(2H^2)]$ with $H=c_s/{\Omega }_z$. Integrating the pressure and mass density through the disk gives the vertically integrated pressure of an isothermal disk:The force expansion is approximate in $H/R$, while $P=c_s^2\Sigma$ is exact for a height-independent sound speed.

In a nearly Keplerian disk, the vertical oscillation and radial epicyclic motion frequencies are close to the orbital frequency. The exact leading orbital differences are $\Omega -{\Omega }_z$ and $\Omega -\kappa$, soThus ${\omega }_1$ is the nodal precession rate of a slightly tilted orbit, and ${\omega }_2$ is the apsidal precession rate of a slightly eccentric orbit. Their signs distinguish prograde from retrograde precession. This also agrees with the sign convention in the complex tilt: a freely precessing ring obeys $W_t=i{\omega }_{1}W$.

For exactly Keplerian motion, ${\Omega }_z=\kappa =\Omega$, so ${\omega }_1={\omega }_2=0$ and $P/\Sigma =c_s^2$. In the local approximation, freeze the slowly varying coefficients and take $W,G\propto e^{i(kR-\omega t)}$. The inviscid warp equations of a nearly Keplerian disk becomeEliminating $G$ gives ${\omega }^2=k^{2}P/(4\Sigma )=k^2{c}_s^2/4$. HenceThese are bending waves of a Keplerian disk, carrying changes in orbital tilt. The local approximation needs wavelength small compared with $R$; the secular thin-disk warp equations also describe the long-vertical-wavelength regime $H\ll \lambda \ll R$.

For a nonspinning hole, $a=0$ gives ${\omega }_1=0$. A steady disk warp then satisfies $G_R=0$. The zero inner torque forces $G=0$ throughout, and the second warp equation, with positive $P$, forces $W_R=0$. The outer orientation fixes $W(R)=W_{\infty }$ everywhere. An apsidal precession term by itself therefore does not require a tilt warp.

For nonzero spin, set the time derivatives to zero. The two equations giveEliminating the internal torque yieldsUse ${\omega }_2=3\Omega /r$, ${\omega }_1=2a\Omega r^{-3/2}$, ${\Omega }^2{R}^3=GM$, and $P\simeq {\Omega }^2\Sigma H^2$. The first coefficient becomes $GM\Sigma H^{2}r/12$ and the second becomes $2aGM\Sigma r^{-3/2}$. ThereforeThis is the stationary disk warp equation under the stated weak-precession approximations. The inner condition is $W_R(R_{\mathrm{in}})=0$ when its coefficient is finite and nonzero, because $G=iGM\Sigma H^{2}r{W}_R/12$.

Let $R_g=GM/c^2$, so $R=R_{g}r$, and impose $H=ϵR$, $\Sigma \propto R^{-3/4}$. Converting both radial derivatives carefully to $r$ and dividing out the common positive factor givesor $W_{rr}+9W_r/(4r)+(24a/{ϵ}^2)r^{-9/2}W=0$. For $a>0$, introduceSince $x_r$ is proportional to $r^{-9/4}$, the first-derivative term cancels exactly, leaving $W_{xx}+W=0$. Thus $W=A\cos x+B\sin x$.

The outer boundary $r\to \infty$ is $x\to 0$, giving $A=W_{\infty }$. The specified inner-radius relation is exactly $x_{\mathrm{in}}=\pi$. The inner zero-torque condition $W_x(\pi )=0$ then gives $B=0$. Hence the stationary bending warp of a Kerr disk isThe tilt magnitude is $\beta (r)=|W_{\infty }||\cos x|$. Far out it tends to the imposed tilt. Moving inward, it decreases to zero atthen grows again with opposite signed tilt, reaching $W(r_{\mathrm{in}})=-W_{\infty }$. All tilt vectors lie on the same line in the complex $W$ plane. Their azimuth is $\arg W_{\infty }$ outside the node and differs by $\pi$ inside; azimuth is undefined at the aligned node itself. The tilt vector remains smooth there. Thus this is an oscillatory standing bending warp, with equal outer and inner tilt magnitudes and reversed inner orientation, rather than monotone inner alignment.

The prescribed real inner radius assumes $a>0$: for $a<0$, its square root is not real, so that particular boundary prescription does not apply. With a separately chosen positive inner radius and negative spin, put $x=4\sqrt{24|a|}{r}^{-5/4}/(5ϵ)$. The equation becomes $W_{xx}-W=0$, and the same outer tilt and zero inner torque giveThis negative-spin solution decreases smoothly toward the inner disk without a sign reversal. The specified positive-spin solution is the cosine profile above; the $a=0$ case is the flat solution already derived.

In a thin disk dominated by a central stellar mass, the vertical gravitational potential is harmonic to leading order, so its vertical acceleration is $-{\Omega }_0^{2}z$. For a locally isothermal background, $p=c_s^2\rho$ with $c_s$ independent of height. Vertical hydrostatic equilibrium therefore givesThis is the isothermal vertical structure in stellar gravity. On the upper half of the disk the downward gravity magnitude is $g={\Omega }_0^{2}z>0$; the density profile extends evenly through the midplane.

For an adiabatically displaced parcel kept in pressure equilibrium, the parcel's logarithmic density gradient is ${\gamma }^{-1}d\log p/dz$, whereas the environmental density gradient is $d\log \rho /dz$. A small upward displacement $\eta$ consequently produces a density contrast $\delta \rho /\rho =[{\gamma }^{-1}d\log p/dz-d\log \rho /dz]\eta$. Its buoyancy acceleration is $-g\delta \rho /\rho =-N^2\eta$. Thus the Brunt–Väisälä frequency isBoth background gradients equal $-z/H^2$ in the isothermal atmosphere, soAn isothermal background is therefore stably stratified for adiabatic perturbations with $\gamma >1$, but not buoyant for isothermal perturbations. In applying the adiabatic equation of state to a stratified atmosphere, its proportionality relates Lagrangian parcel changes: $\Delta p=(\gamma p/\rho )\Delta \rho$. Eulerian perturbations generally obey $p^{\prime }+\eta p_z=(\gamma p/\rho )({\rho }^{\prime }+\eta {\rho }_z)$ instead. Thus the printed simple proportionality must be interpreted as a parcel relation for the buoyancy calculation. For $\gamma =1$ in this isothermal background, the gradient terms cancel and the Eulerian proportionality holds too.

Now take isothermal perturbations, so $\gamma =1$ and $N^2=0$. The two supplied wave equations reduce toFor the nonsingular oscillatory case $\omega \ne 0$ and ${\omega }^2\ne {\Omega }_0^2$, substitute $u_z={\xi }_z/{\omega }^2$. With $x=z/H$, the resulting Hermite differential equation isThe exceptional frequencies must be treated through the original velocity-pressure equations rather than division by these factors.

The physical vertical condition is finite perturbation energy when integrated with the Gaussian density. In particular the pressure contribution is proportional to $\int e^{-x^2/2}|\xi {|}^{2}dx$ for nonzero frequency. Generic nonterminating solutions have an exponentially growing component at at least one vertical end and fail this condition; acceptable modes are the terminating Hermite polynomials. This is a finite-energy condition, not pointwise boundedness of the velocity in the vanishing-density atmosphere.

To prove the allowed values of $\alpha$, let the nonzero polynomial have degree $n$ and leading coefficient $a_n$. The highest power in ${\xi }_{xx}-x{\xi }_x+\alpha \xi$ has coefficient $(\alpha -n)a_n$. Hence $\alpha =n\in \{0,1,2,\dots \}$. Conversely, writing $\xi ={\sum }_j{a}_j{x}^j$ gives the recurrenceFor $\alpha =n$, choose the parity of $n$ and iterate until the series terminates at degree $n$. Thus all allowed Hermite vertical modes of an isothermal disk havewhere ${\mathrm{He}}_n$ is the Probabilists' Hermite polynomial. In particular, ${\mathrm{He}}_0=1$ and ${\mathrm{He}}_1=x$.

Let $K=kH$ and $s={\omega }^2/{\Omega }_0^2$. Eliminating the denominator for regular modes givesFor $n=0$, the nonzero-frequency solution isIts pressure variable is independent of height and $u_z=0$. These are inertial-acoustic waves, restored by epicyclic motion and pressure; at short radial wavelength they become ordinary acoustic waves. The multiplied dispersion polynomial also has $s=0$. This is not an extra oscillatory solution represented by nonzero $\xi$, since $\xi =i\omega p^{\prime }/\rho$ vanishes at zero frequency for finite pressure perturbation. The full horizontal equations have a zero-frequency balanced mode of an axisymmetric disk, with no radial velocity and azimuthal Coriolis acceleration balancing a radial pressure gradient. It must be recovered without dividing by $\omega$, rather than counted as a propagating wave. At $k=0$, the propagating branch limits to an epicyclic oscillation at $|\omega |={\Omega }_0$, another value at which the eliminated form must be interpreted by a limit.

For $n=1$, solve $(s-1{)}^2=K^{2}s$. The two branches areBoth signs of frequency occur on each squared-frequency branch. The upper branch is acoustic in the large-$|K|$ limit, $|{\omega }_{+}|\sim |k|c_s$; the lower branch is an inertial wave with $|{\omega }_{-}|\sim {\Omega }_0/|K|$. At $|K|\ll 1$, both frequencies approach ${\Omega }_0$, reflecting the equality of the radial and vertical epicyclic frequencies in a Keplerian disk. Here $\xi \propto z$, so $u_z={\xi }_z/{\omega }^2$ is independent of height: these modes have a coherent vertical displacement of the disk column, rather than a vertical breathing motion.

For a local non-axisymmetric disturbance proportional to $e^{i(kR+m\varphi -\omega t)}$, the material frequency is $\hat{\omega }=\omega -m{\Omega }_0$. In the same local radial-wave approximation, replace $\omega$ by $\hat{\omega }$. For $n=1,m=1$, this givesThe four frequencies can equivalently be written $\omega /{\Omega }_0=1\pm (\sqrt{K^2+4}\pm |K|)/2$, with independent choices of the two signs. This is a local dispersion relation, not a claim that Doppler substitution supplies an exact global non-axisymmetric solution in a differentially rotating disk. The radial-wave ordering neglects azimuthal gradients compared with radial gradients; $|k|R\gg 1$ can coexist with $|k|H\ll 1$ in a thin disk.

Write $w=\omega /{\Omega }_0$. For the two low inertial-frame frequency branches, $|w|\ll 1$, while the material frequency remains near $-{\Omega }_0$. Expanding the dispersion relation givesThereforeFor signed $k$, the two leading branches are conventionally labelled by $\pm kH/2$. These are bending waves of a Keplerian disk: an $m=1$ vertical displacement varies once around an annulus and corresponds to a small tilt of its orbital plane. A radial variation of the tilt is a warp. The waves transport the warp radially at group speeds $c_s/2$ in opposite directions. At zero radial wavenumber their low-frequency limit is a stationary rigid tilt; the apparent slow pattern does not mean that the orbiting gas has slow vertical motion in its own frame.

The thin-sheet field used above requires the gas to sample heights beyond most of the stellar mass, while the stellar galactic disk still dominates vertical gravity and is approximately locally plane-parallel. In inner regions a cold gas layer can lie inside the thicker stellar layer, where reflection symmetry gives $K_z\simeq {\nu }_z^{2}z$ rather than a constant field. The vertical Jeans equation, or gas hydrostatic equilibrium, then givesHere $H_g$ is the Gaussian width and ${\nu }_z$ is the vertical epicyclic frequency; in a locally flat galaxy rotation curve, ${\nu }_z^2\simeq 4\pi G{\rho }_{\mathrm{total}}(R,0)$. A stellar layer of approximately fixed thickness then gives $H_g\propto {\Sigma }_{\ast }^{-1/2}$, rather than the inverse surface density law.

At large radii, the dark matter halo or the gas's own gravity can exceed the dwindling stellar restoring force, so replacing the total force by $2\pi G{\Sigma }_{\ast }$ fails. A nearly spherical dark matter halo instead gives ${\nu }_z\simeq v_c/R$ near its plane, and $H_g\simeq {\sigma }_{g}R/v_c$ for a flat galaxy rotation curve, much slower than exponential galactic disk flaring. Warps, radial gradients across a thick gas layer, non-equilibrium disturbances, and height-dependent velocity dispersion also invalidate the locally plane-parallel steady isothermal approximation. The inverse stellar surface-density law applies only while its force and geometric assumptions apply.

In a stationary axisymmetric gravitational potential, conservation of angular momentum gives $L_z=R^2\dot{\varphi }$. Eliminating $\dot{\varphi }$ introduces the effective potentialFor an equatorial circular orbit, radial balance is ${\partial }_R{\Phi }_{\mathrm{eff}}(R_c,0)=0$, givingVertical balance also requires ${\Phi }_{,z}(R_c,0)=0$.