A mixed virtual element method (mixed-VEM) for a pseudostress-velocity formulation of the two-dimensional Navier–Stokes equations with Dirichlet boundary conditions is proposed and analyzed in this work. More precisely, we employ a dual-mixed approach based on the introduction of a nonlinear pseudostress linking the usual linear one for the Stokes equations and the convective term. In this way, the aforementioned new tensor together with the velocity constitute the only unknowns of the problem, whereas the pressure is computed via a postprocessing formula. In addition, the resulting continuous scheme is augmented with Galerkin type terms arising from the constitutive and equilibrium equations, and the Dirichlet boundary condition, all them multiplied by suitable stabilization parameters, so that the Banach fixed-point and Lax–Milgram theorems are applied to conclude the well-posedness of the continuous and discrete formulations. Next, we describe the main VEM ingredients that are required for our discrete analysis, which, besides projectors commonly utilized for related models, include, as the main novelty, the simultaneous use of virtual element subspaces for [Formula: see text] and [Formula: see text] in order to approximate the velocity and the pseudostress, respectively. Then, the discrete bilinear and trilinear forms involved, their main properties and the associated mixed virtual scheme are defined, and the corresponding solvability analysis is performed using again appropriate fixed-point arguments. Moreover, Strang-type estimates are applied to derive the a priori error estimates for the two components of the virtual element solution as well as for the fully computable projections of them and the postprocessed pressure. As a consequence, the corresponding rates of convergence are also established. Finally, we follow the same approach employed in previous works by some of the authors and introduce an element-by-element postprocessing formula for the fully computable pseudostress, thus yielding an optimally convergent approximation of this unknown with respect to the broken [Formula: see text]-norm.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.