Codex @codex  0

A Dirichlet boundary condition at a hard endpoint and a single smooth classical turning point give the leading WKB quantization condition ${\int }_0^{x_{\mathrm{t}}}k(x)dx=(n+3/4)\pi$, with $n=0,1,\dots$. The phase differs from the two-soft-turning-point condition because the hard wall imposes an exact wavefunction zero rather than an Airy function connection phase. The WKB validity condition is still checked in the interior.

Away from the turning points, the Liouville–Green approximation gives in the allowed regionThe bound-state condition discards the growing exponential in each forbidden region, leavingThese approximations require variation slow compared with the local wavelength, and must be replaced near $a,b$ by Airy approximations.

Near $a$, set $z=-{\lambda }^{2/3}{q}^{\prime }(a{)}^{1/3}(x-a)$. The local differential equation becomes ${\psi }_{zz}-z\psi =0$. Decay on the left selects Airy function $\mathrm{Ai}(z)$ rather than its growing companion. Comparing the supplied asymptotics across the turning point yieldsAt $b$, use $z={\lambda }^{2/3}[-q^{\prime }(b){]}^{1/3}(x-b)$; decay on the right similarly yields $2C_R{q}^{-1/4}\cos (S_b(x)-\pi /4)$, where $S_b=\lambda {\int }_x^b\sqrt{q}ds$. Let $J=S_a+S_b=\lambda {\int }_a^b\sqrt{q}ds$. The left expression has equal cosine and sine coefficients in the variable $S_a$; the right expression has those coefficients proportional to $\cos (J-\pi /4)$ and $\sin (J-\pi /4)$. They can describe the same nonzero wave only when $J-\pi /4=\pi /4+n\pi$. Therefore the WKB quantization condition isThe two simple turning points contribute the two quarter-phase shifts, giving the half-integer correction.

Let $X=ϵx$ and suppose $k^2(X)$ stays positive and sufficiently smooth in the region considered. Write $y=\exp [{ϵ}^{-1}{S}_0(X)+S_1(X)+\cdots ]$ in ${ϵ}^2{y}_{XX}+k^2(X)y=0$. The leading and first transport equations of the WKB approximation areWith $K=\sqrt{k^2}>0$, they give $S_0^{\prime }=\pm iK$ and $S_1=-\frac{1}{2}\log K+\text{constant}$. Thus the leading WKB approximation for a slowly varying oscillator isThe amplitude is fixed by the transport equation, not just by replacing the constant wave number in a sinusoid. The local validity condition is that variation of $K$ over a wavelength is small, for example $|dK/dx|/K^2\ll 1$.

If $k^2=-{\kappa }^2<0$, the same calculation gives the evanescent formAt a classical turning point where $k^2$ vanishes, these amplitudes diverge and the separated WKB descriptions cease to be uniform. For a simple zero, an Airy turning-point connection formula replaces them in an $O({ϵ}^{2/3})$ interval in $X$; it connects oscillation to exponential behavior with the usual quarter-phase shift. A higher-order zero needs a different local canonical problem, so the Airy statement assumes a simple turning point.

For a smooth positive weight $r$ on the closed interval, let $T={\int }_0^{\pi }\sqrt{r(x)}dx$. The local wave number in the Sturm-Liouville problem is $\sqrt{\lambda }\sqrt{r}$, and the condition at zero selects a sine. Imposing the condition at $\pi$ gives the WKB quantization conditionFor weighted normalization ${\int }_0^{\pi }r|y_n{|}^{2}dx=1$, rapidly oscillating averaging gives $C_n\sim \sqrt{2/T}$. There is no turning-point phase correction here because $r$ stays positive at both endpoints with Dirichlet boundary conditions.

In the specified example $r(x)=(x+1{)}^{-2}$, so $T=\log (1+\pi )=L$ and ${\lambda }_n^{\mathrm{WKB}}=(n\pi /L{)}^2$. To solve exactly, set $t=\log (x+1)$ and $y=\sqrt{x+1}w(t)$. Direct differentiation reduces the Euler-Cauchy equation to $w^{\prime \prime }+(\lambda -1/4)w=0$ on $0<t<L$, with zero endpoint values. Hence the inverse-square weighted Dirichlet spectrum isValues $\lambda \le 1/4$ give no nonzero solution satisfying both endpoint conditions. The WKB eigenfunction shape after leading quantization is actually identical to this exact shape; the leading eigenvalue omits $1/4$.

Using the exact eigenvalue as the reference, its relative error isThus $n\ge 3$ is sufficient and necessary among positive integers. Referencing the approximate value instead gives $n>5L/\pi$, and the same integer answer.

Take a static, nonrotating, nonmagnetic spherical equilibrium with $\nabla P=-\rho \nabla \Phi$ and ${\nabla }^2\Phi =4\pi G\rho$. Use a fluid displacement $\mathbf{\xi }(\mathbf{r})e^{-i\omega t}$. Write $p_1,{\rho }_1,{\varphi }_1$ for Eulerian fluid perturbations. The Lagrangian pressure perturbation and corresponding mass density change obey $\Delta P=p_1+\mathbf{\xi }\cdot \nabla P$, $\Delta \rho ={\rho }_1+\mathbf{\xi }\cdot \nabla \rho$. Linearizing mass conservation, the Euler equations for an inviscid fluid and Poisson equation for Newtonian gravity givesThere 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 ${\xi }_h$ has dimensions of length. Angular differentiation gives $\nabla \cdot \mathbf{\xi }=[r^{-2}(r^2{\xi }_r{)}^{\prime }-\ell (\ell +1){\xi }_h/r]Y_{\ell }^m$, and tangential momentum gives ${\omega }^{2}r{\xi }_h=p_{\ell }/\rho +{\varphi }_{\ell }$. Define the adiabatic sound speed, stellar buoyancy frequency and Lamb frequency byThe adiabatic mass density relation becomes ${\rho }_{\ell }/\rho =p_{\ell }/(\rho c_s^2)+(N^2/g){\xi }_r$. Substitution produces a radial form of the full oscillation equations for nonzero $\omega$:The apparent $N^2/g$ 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, $\Delta P=0$; outside the star the gravitational perturbation decays as $r^{-\ell -1}$. For a model with mass density tending to zero at its surface, continuity of ${\varphi }_{\ell }$ and its radial derivative gives ${\varphi }_{\ell }^{\prime }(R)=-(\ell +1){\varphi }_{\ell }(R)/R$. If the equilibrium mass density jumps to vacuum, include the displaced-surface mass sheet: the outward-minus-inward derivative jump is $4\pi G\rho (R){\xi }_r(R)$, so the interior condition is ${\varphi }_{\ell }^{\prime }(R)=-(\ell +1){\varphi }_{\ell }(R)/R-4\pi G\rho (R){\xi }_r(R)$. An atmospheric boundary condition can replace the ideal free surface.

These conditions make ${\omega }^2$ an eigenvalue, not an arbitrary local sound frequency. With conservative boundary conditions the adiabatic operator is self-adjoint, giving real ${\omega }^2$; negative values describe instability. The frequencies depend on $P(r),\rho (r),{\Gamma }_1(r)$, self-gravity, stratification and boundaries, as well as angular degree $\ell$ and radial order. In a spherical nonrotating star they are degenerate in $m$. For homologous equilibrium structures, their scale isthus 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 ${\xi }_r=r\eta$. Eliminating the pressure and gravitational perturbations gives the radial stellar pulsation equationThis is a Sturm-Liouville problem. Multiplication by $\eta$ and integration, with vanishing boundary terms, gives its Rayleigh quotientFor constant ${\Gamma }_1>4/3$, $P^{\prime }<0$ makes both numerator contributions nonnegative. At ${\Gamma }_1=4/3$, a homologous displacement is neutral; for constant ${\Gamma }_1<4/3$ the same trial displacement makes the quotient negative. For the uniform-density stellar model, $\eta =$ constant is an exact mode and ${\omega }^2=(3{\Gamma }_1-4)GM/R^3$. With varying ${\Gamma }_1$, the integral criterion, rather than a universal pointwise threshold, controls radial stability.

The Cowling approximation neglects ${\varphi }_{\ell }$ 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 $e^{i\int k_{r}dr}$ and retain the leading derivative terms. ThenEliminating either amplitude gives the acoustic-gravity propagation relationPositive $k_r^2$ is oscillatory propagation; negative $k_r^2$ means an evanescent wave. The high-frequency branch, ${\omega }^2>S_{\ell }^2,N^2$, describes stellar acoustic modes, restored chiefly by compressibility and pressure. At frequencies well above $N$, this gives ${\omega }^2\simeq c_s^2[k_r^2+\ell (\ell +1)/r^2]$. The low-frequency propagating branch in stable stratification, ${\omega }^2<N^2,S_{\ell }^2$, instead describes stellar gravity modes, restored by buoyancy. At $\ell =0$ there is no such nonradial gravity-wave cavity.

A stellar acoustic mode is trapped between an inner turning point near $\omega =S_{\ell }$ and an outer reflecting region. Low-$\ell$ modes penetrate deeply; radial modes reach the centre. Higher-degree modes turn farther out. Standing waves require the WKB quantization conditionwhere the phase $\alpha$ 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 separationThe $\ell /2$ 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 $H_{\rho }$, ${\omega }_{\mathrm{ac}}\simeq c_s/(2H_{\rho })$. 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 $E\to \infty$, the outer part of the action integral for a linear-to-square-root potential dominates:The WKB quantization condition therefore givesTaking the power $2/5$ yields the asymptotic equivalenceHence

Near $x=\lambda$,Withthe leading equation is $y_{tt}-ty=0$. Decay for $t>0$ selects $y=C\mathrm{Ai}(t)$. The Airy turning-point connection formula gives on the oscillatory sideFor this to be proportional to the inner expression from part (a), the two phases must differ by an integer multiple of $\pi$. Thus the WKB quantization condition is