Abstract

This article is concerned with the Stokes system with nonhomogeneous source terms and nonhomogeneous Dirichlet boundary condition. First, we reformulate the problem in its dual mixed form, and then, we study its corresponding well-posedness. Next, in order to circumvent the well-known Babuška-Brezzi condition, we analyze a stabilized formulation of the resulting approach. Additionally, we endow the scheme with an a posteriori error estimator that is reliable and efficient. Finally, we provide numerical experiments that illustrate the performance of the corresponding adaptive algorithm and support its use in practice.