Let fluid 1 lie above fluid 2, with mass densities and dynamic viscosities . Define , , porosity , permeability of a porous medium , and downward interface speed . With Darcy flux , no capillarity, and two unbounded layers, Darcy's law gives
For a Fourier mode of interface displacement, the two perturbation pressures decay exponentially into the respective layers. The kinematic boundary condition makes their amplitudes proportional to and . Linearized pressure continuity adds the base-gradient difference . Eliminating the amplitudes proves the formula. The critical interface speed is ; the critical Darcy velocity is . Without surface tension this model has unbounded short-wave growth rate on its unstable side.
Let be the displacement of a material interface and use . On each side, the kinematic boundary condition is
There is one displaced material interface, so its displacement is continuous. Thus the first jump condition is
In particular, vertical velocity need not be continuous when the background velocity jumps.
With no surface tension, pressure continuity applies on the displaced interface, rather than at its undisplaced height. Linearizing gives . Since , this becomes . The horizontal momentum calculation in part (a) gives
Substitute this and to obtain the second jump condition:
These jump conditions for stratified inviscid shear flow use one-sided values of and apply to jumps of mass density, vorticity, or velocity. If is continuous, the first condition reduces to continuity of ; a jump of vorticity generally still prevents continuity of . This derivation avoids multiplying singular distributional derivatives of a discontinuous velocity in the Taylor–Goldstein equation.
Use and retain terms linear in the displacement and perturbation potentials. Evaluation at may then be replaced by evaluation at : the correction to a perturbation is second order. The kinematic boundary conditions become
The linearized pressure continuity is
The decaying normal modes give and . Thus , . Substitution into the dynamic condition yields the Kelvin-Helmholtz dispersion relation with gravity,
Put and . Completing the square gives
For , the temporal growth rate is . A growing complex conjugate branch therefore exists precisely when the radicand of the square root is negative:
At equality the two phase velocities coincide and there is no exponential growth. Below it the roots describe real internal gravity waves. The denser lower fluid gives stable density stratification, but the tangential shear can overcome it. The assumption is needed for the displayed threshold; equal streams have no such shear instability.
Let . The interface is a material surface for both fluids: its material derivative vanishes on . With and , this gives
Thus the kinematic boundary condition says that particles stay on the moving interface. The tangential velocities can differ; each side has its own material derivative. Replacing both derivatives by one background speed would be incorrect.
The dynamic boundary condition for an inviscid interface is pressure continuity, because the fluids have no viscous normal stress and there is no surface tension. The unsteady Bernoulli equation in each layer of irrotational flow reads
Equating these pressures at gives the required dynamic boundary condition for an inviscid interface. Choose the potential gauges so that , or set both constants to zero relative to a common reference pressure. For example, removes the distinct uniform-stream Bernoulli constants without changing either velocity. Material-interface kinematics and pressure continuity supply the two matching conditions, with the Bernoulli gauge understood.
Take upwards and write , so that the unperturbed interface is , with carbon dioxide above and water below. Use the sharp-interface, incompressible flow version of Darcy's law, with constant porosity and permeability of a porous medium, no capillary pressure, and effectively unbounded layers. The distinction between Darcy flux and interface speed matters: the base flux is , since the printed is the speed of the interface. Thus the base pressure gradients satisfy
The mass density ordering is stabilizing, whereas injection of the less viscous fluid into the more viscous fluid produces the Saffman–Taylor instability.
For linear stability analysis, displace the interface by . Taking the divergence of Darcy's law shows that the perturbation pressure satisfies the Laplace equation. Decay away from the interface gives, for ,
The kinematic boundary condition and continuity of normal Darcy flux give
Meanwhile pressure continuity, evaluated on the displaced interface, gives
Eliminating yields the buoyancy-modified Darcy fingering dispersion relation:
Every nonzero wavenumber decays when , grows when , and is neutral at equality, where
The zero wavenumber is a uniform displacement and is neutral. Without a short-scale regularization such as surface tension, this model has no fastest-growing finite wavenumber: on the unstable side its growth rate increases without bound as increases. Finite layer depths would change the dispersion relation; none are specified here.
Taking and a year of days, the data give
The numerical paragraph supplies no porosity, so it cannot determine a unique numerical interface speed. If were instead intended to mean Darcy velocity, the numerical critical value would be , and the interface would move at . These two velocity conventions must not be conflated.
Take ; reflection in supplies the result for negative wavenumber. Since each region has uniform base velocity, the perturbation is an incompressible, irrotational flow with a velocity potential satisfying the Laplace equation. Its decaying outer forms are
For a varicose mode of a planar jet, reflection symmetry makes the inner potential proportional to ; for a sinuous mode of a planar jet, it is proportional to .
At the upper interface, the linearized kinematic boundary condition is
The first equation gives . The second gives
The linearized Unsteady Bernoulli equation gives . Applying pressure continuity therefore produces the equal-density top-hat planar-jet dispersion relation
Solving the quadratic equation gives
Equivalently,
The plus sign is the unstable Kelvin-Helmholtz instability branch. In particular, the two modes have exactly the same growth rate,
Its limiting forms are
Thus neither type grows faster in this equal-density idealization, although their phase speeds differ. The unbounded large- growth is the familiar short-wave pathology of an inviscid vortex sheet.
Figure 1.
Growth rate of varicose and sinuous planar-jet disturbances
. The two modes have the same dimensionless growth curve, with the long-wave and short-wave asymptotes shown.
Put ahead of the front and behind. With viscosity , Darcy's law gives the planar pressure gradients and . Write the displacement as with , and take the unperturbed interface to be in its translating frame.
The liquid flux is divergence-free away from the interface, so the pressure perturbations are harmonic. The decaying normal modes are
Expanding pressure continuity at the displaced interface and matching normal Darcy flux gives
Hence
The common normal-flux perturbation is . The local enthalpy balance converts it into a front-speed perturbation, . Thus the melting-front instability due to permeability contrast has
For a signed transverse wavenumber, replace by .
Write the velocity potentials in the upper, middle and lower domains as , and . Irrotational flow and incompressible flow imply the Laplace equation
The far-field boundary conditions are
Every shear layer is a material interface. The exact kinematic boundary condition at is
and at it is
Here each equation is evaluated on the indicated moving interface.
Finally, pressure continuity is the dynamic boundary condition for an inviscid interface. The Unsteady Bernoulli equation gives
after absorbing spatially constant functions of time into the potentials.
The inner base flow is at rest, so its linearized Unsteady Bernoulli equation gives . The outer base potential is , hence its cross term with the perturbation gives
The base outer pressure satisfies , whereas the inner base pressure is constant. Expanding pressure continuity on the displaced sheet therefore gives
After multiplication by this is
An additive function of time in Bernoulli appears as the stated constant; it vanishes for every nonaxisymmetric Fourier mode.