In nonrotating Rayleigh-Bénard convection with fixed-temperature, stress-free boundary conditions, the stress-free convection growth-rate polynomial has real roots on the destabilizing side. Consequently the first instability is stationary, rather than oscillatory. Minimizing the free-slip convection neutral curve selects and .
A direct elimination of pressure gives the same result as taking a double curl of the momentum equation. Incompressibility gives . Apply to the vertical momentum equation and subtract this pressure derivative to obtain
Here is the horizontal Laplacian. At , impermeability gives and fixed temperature gives . The stress-free boundary condition gives , since horizontal derivatives of the boundary value vanish. Differentiating incompressibility once in therefore gives
For a horizontal Fourier mode , with real . More generally the nonnegative spectrum of follows by integration by parts for periodic or square-integrable horizontal disturbances. Substituting the separated normal mode gives, with ,
The boundary conditions admit a complete Fourier sine series in . For a nonzero horizontal wavenumber, take , , and set . The two amplitude equations are
Thus the stress-free convection growth-rate polynomial is
Its discriminant is , so both growth rates are real for . For , its two coefficients after the leading term are positive: their sum gives , and their product is . Real roots are both negative; nonreal roots have real part . Hence stable heating from above damps every mode. Horizontally uniform thermal modes and uncoupled horizontal viscous modes are also purely damped; impermeability and incompressibility exclude a horizontally uniform nonzero .
Because the unstable-side roots are real, the onset is stationary, an exchange of stabilities in stress-free convection. Setting gives the free-slip convection neutral curve
With , its derivative has the sign of . Its minimum is at , with value . Minimizing also over gives the critical values
Take and . Taking the divergence of the Stokes flow momentum equation gives ; applying the Laplacian to its vertical component then eliminates pressure and gives . The forced velocity and temperature are , so their advection product is and drops out at leading order. The steady heat equation reduces to .
Consequently the boundary value problem for the forced profiles is
Its six boundary conditions are
The horizontal velocity field is , which directly verifies the incompressible flow and stress-free boundary condition. In the detuning used subsequently, may be replaced by in this leading problem, since its correction enters at order . The vertical profiles depend linearly on .
For reference, the unforced free-slip convection neutral curve is , with and . At the neutral curve has , so the forced second horizontal harmonic is noncritical at , and the stated linear problem has no critical-mode resonance.
For a fixed-temperature layer with stress-free boundary conditions, a vertical Fourier sine series has , where is horizontal wavenumber. The coupled vertical velocity and temperature amplitudes satisfy the displayed quadratic for their growth rate . Its roots are real for positive Rayleigh number, while both roots have negative real parts for negative Rayleigh number. Setting gives the free-slip convection neutral curve.