An arbitrary-order fully discrete Stokes complex on general polyhedral meshes
arXiv:2112.03125 · doi:10.1090/mcom/3837
Abstract
In this paper we present an arbitrary-order fully discrete Stokes complex on general polyhedral meshes. We enriche the fully discrete de Rham complex with the addition of a full gradient operator defined on vector fields and fitting into the complex. We show a complete set of results on the novelties of this complex: exactness properties, uniform Poincaré inequalities and primal and adjoint consistency. The Stokes complex is especially well suited for problem involving Jacobian, divergence and curl, like the Stokes problem or magnetohydrodynamic systems. The framework developed here eases the design and analysis of scheme for such problems. Schemes built that way are nonconforming and benefit from the exactness of the complex. We illustrate with the design and study of a scheme to solve the Stokes equations and validate the convergence rates with various numerical tests.
45 pages, 7 figures. Major modifications done for use in 3 dimensions. See the second version for an analysis focused on the 2-dimensional case
References in corpus (5)
- Lowest order Virtual Element approximation of magnetostatic problems
- Arbitrary-order pressure-robust DDR and VEM methods for the Stokes problem on polyhedral meshes
- Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra
- A third Strang lemma and an Aubin-Nitsche trick for schemes in fully discrete formulation
- Application of a minimal compatible element to incompressible and nearly incompressible continuum mechanics