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