A divergence-free low-order stabilized finite element method for a generalized steady state Boussinesq problem

In this work we propose and analyze a new stabilized finite element method for the coupled Navier-Stokes/temperature (or Boussinesq) equations. The method is built using low order conforming elements for velocity and temperature, and piecewise constant elements for pressure. With the help of the lowest order Raviart-Thomas space, a lifting of the jumps of the discrete pressure is built in such a way that when this lifting is added to the conforming velocity field, the resulting velocity is solenoidal (at the price of being non-conforming). This field is then fed to the momentum and temperature equations, guaranteeing that the convective terms in these equations are antisymmetric, without the need of altering them, thus simplifying the analysis of the resulting method. Existence of solutions, discrete stability, and optimal convergence are proved for both the conforming velocity field, and its corresponding divergence-free non-conforming counterpart. Numerical results confirm the theoretical findings, as well as the gain provided by the solenoidal discrete velocity field over the conforming one.