 Solution

Write $\eta =H{e}^{\sigma t}{J}_0(\alpha r)$ using the Bessel function of the first kind. The wall boundary conditions at $z=\pm h$ selectBecause $J_0^{\prime }(s)=-J_1(s)$, the sidewall no-penetration boundary condition requireswhere $j_{1,n}$ are the positive zeros of $J_1$. These radial eigenfunctions automatically preserve layer volume becauseThe constant radial mode $\alpha =0$ cannot change the interface height in a closed tank: the Laplace equation and the impermeable lids then give zero vertical velocity, and a uniform displacement would change each layer's volume.

The kinematic boundary condition fixesThus the interface values are ${\varphi }_1(0)=\sigma \eta \coth (\alpha h)/\alpha$ and ${\varphi }_2(0)=-\sigma \eta \coth (\alpha h)/\alpha$. Substitution in the normal stress condition gives the finite-depth Rayleigh-Taylor dispersion relation:soHere $\mathcal{A}$ is the Atwood number. Every allowed mode has a positive growth rate and is subject to Rayleigh-Taylor instability. Since $d[\alpha \tanh (\alpha h)]/d\alpha =\tanh (\alpha h)+\alpha h{\mathrm{sech}}^2(\alpha h)>0$, shorter radial scales grow faster. The limits areThere is no fastest finite wavenumber in the ideal sharp-interface model without surface tension, viscosity or diffusion. The zero-initial-velocity condition uses both exponential branches: an initial mode $H{J}_0({\alpha }_{n}r)$ evolves as $H\cosh ({\sigma }_{n,+}t)J_0({\alpha }_{n}r)$. If the mass density ordering were reversed the same calculation would give oscillatory stable modes; equal mass densities give neutral modes.