Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 331 / 1 / a

For irrotational flow, ${\mathbf{u}}_j=\nabla {\varphi }_j$. An impermeable stationary horizontal wall has zero normal velocity, so the kinematic boundary condition isNo tangential no-slip condition is imposed on these inviscid fluids.

The interface is material: fluid particles on $F=z-\eta (x,t)=0$ remain there. Its material derivative therefore vanishes, giving $w_j={\eta }_t+u_j{\eta }_x=D_j\eta /Dt$ on the interface. Since $w_j={\partial }_z{\varphi }_j$, this is the kinematic boundary condition for a free-surface graph on each side. The material derivatives use the respective tangential fluid velocities; they enforce the same moving normal boundary.

The Unsteady Bernoulli equation gives $p_j+{\rho }_j[{\partial }_t{\varphi }_j+|\nabla {\varphi }_j{|}^2/2+gz]=C_j(t)$. Absorb the spatially constant functions $C_j$ into the gauges of the velocity potentials. Evaluating at $z=\eta$ and subtracting the equations yields the stated dynamic boundary condition for an inviscid interface. Surface tension supplies the pressure jump, rather than pressure continuity. Thus the first condition enforces material motion, and the second enforces the Bernoulli pressure balance.

Use the linearized boundary condition: evaluate at $z=0$ and discard products of perturbations. The kinematic boundary condition and Young–Laplace equation becomeIncompressible flow and irrotational flow give the Laplace equation for each potential. For a normal mode, the wall conditions selectWith $\eta =B{e}^{i(kx-\omega t)}$, the kinematic conditions give $A_1=i\omega B/[k\sinh (k{L}_1)]$ and $A_2=-i\omega B/[k\sinh (k{L}_2)]$. Hence ${\hat{\varphi }}_1(0)=i\omega B\coth (k{L}_1)/k$ and ${\hat{\varphi }}_2(0)=-i\omega B\coth (k{L}_2)/k$. Substitution into the dynamic condition gives the finite-depth Rayleigh-Taylor dispersion relation:Its denominator is positive. Assuming $g>0$ and $\gamma >0$, negative ${\omega }^2$ therefore produces a growing branch $\omega =i\sigma$ with $\sigma >0$, as in Rayleigh-Taylor instability.