Uniform Poincaré inequalities for the Discrete de Rham complex on general domains

Abstract

In this paper we prove Poincaré inequalities for the Discrete de Rham (DDR) sequence on a general connected polyhedral domain $\Omega$ of ${\mathbb{R}}^3$. We unify the ideas behind the inequalities for all three operators in the sequence, deriving new proofs for the Poincaré inequalities for the gradient and the divergence, and extending the available Poincaré inequality for the curl to domains with arbitrary second Betti numbers. A key preliminary step consists in deriving "mimetic" Poincaré inequalities giving the existence and stability of the solutions to topological balance problems useful in general discrete geometric settings. As an example of application, we study the stability of a novel DDR scheme for the magnetostatics problem on domains with general topology.

arXiv comment24 pages

References in corpus (6)

• Analysis of Compatible Discrete Operator Schemes for Elliptic Problems on Polyhedral Meshes
• An arbitrary-order method for magnetostatics on polyhedral meshes based on a discrete de Rham sequence
• A discrete Weber inequality on three-dimensional hybrid spaces with application to the HHO approximation of magnetostatics
• An exterior calculus framework for polytopal methods
• Cohomology of the discrete de Rham complex on domains of general topology
• A discrete three-dimensional divdiv complex on polyhedral meshes with application to a mixed formulation of the biharmonic problem