Related papers: Uniform Poincar\'{e} inequalities for the discrete…
In this paper we prove Poincar\'e 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,…
In this paper we present a novel arbitrary-order discrete de Rham (DDR) complex on general polyhedral meshes based on the decomposition of polynomial spaces into ranges of vector calculus operators and complements linked to the spaces in…
We investigate discrete Poincar\'e inequalities on piecewise polynomial subspaces of the Sobolev spaces H(curl) and H(div) in three space dimensions. We characterize the dependence of the constants on the continuous-level constants, the…
In this work we prove that, for a general polyhedral domain of $\mathbb{R}^3$, the cohomology spaces of the discrete de Rham complex of [Di Pietro and Droniou, An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness,…
In this paper we prove a complete panel of consistency results for the discrete de Rham (DDR) complex introduced in the companion paper [D. A. Di Pietro and J. Droniou, An arbitrary-order discrete de Rham complex on polyhedral meshes. Part…
We prove a new general Poincar\'e-type inequality for differential forms on compact Riemannian manifolds with nonempty boundary. When the boundary is isometrically immersed in Euclidean space, we derive a new inequality involving mean and…
In this work, following the discrete de Rham (DDR) approach, we develop a discrete counterpart of a two-dimensional de Rham complex with enhanced regularity. The proposed construction supports general polygonal meshes and arbitrary…
Discrete de Rham (DDR) methods provide non-conforming but compatible approximations of the continuous de Rham complex on general polytopal meshes. Owing to the non-conformity, several challenges arise in the analysis of these methods. In…
We develop in this work the first polytopal complexes of differential forms. These complexes, inspired by the Discrete De Rham and the Virtual Element approaches, are discrete versions of the de Rham complex of differential forms built on…
We prove that complete Riemannian manifolds with polynomial growth and Ricci curvature bounded from below, admit uniform Poincar\'e inequalities. A global, uniform Poincar\'e inequality for horospheres in the universal cover of a closed,…
We prove Lp Poincare inequalities for functions on the discrete cube and their discrete gradient. We thus recover an exponential inequality and the concentration phenomenon for the uniform probability on the cube first obtained by Bobkov…
Consider a proper geodesic metric space $(X,d)$ equipped with a Borel measure $\mu.$ We establish a family of uniform Poincar\'e inequalities on $(X,d,\mu)$ if it satisfies a local Poincar\'e inequality ($P_{loc}$) and a condition on growth…
We design in this work a discrete de Rham complex on manifolds. This complex, written in the framework of exterior calculus, has the same cohomology as the continuous de Rham complex, is of arbitrary order of accuracy and, in principle, can…
Poincar{\'e} and Sobolev inequalities for differential forms on Heisenberg balls, involving Rumin's differentials, are given. Furthermore, a global homotopy of Rumin's complex which improves differentiability of Rumin forms is provided on…
In this work, we develop a discretisation method for the mixed formulation of the magnetostatic problem supporting arbitrary orders and polyhedral meshes. The method is based on a global discrete de Rham (DDR) sequence, obtained by patching…
In this article, under mild constraints on the sectional curvature, we exploit a divergence formula for symmetric endomorphisms to deduce a general Poincar\'e type inequality. We apply such inequality to higher-order mean curvature of…
In this paper we prove the discrete compactness property for a wide class of p-version finite element approximations of non-elliptic variational eigenvalue problems in two and three space dimensions. In a very general framework, we find…
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…
We provide a simple unified approach to obtain (i) Discrete polygonal isoperimetric type inequalities of arbitrary high order. (ii) Arbitrary high order isoperimetric type inequalities for smooth curves, where both upper and lower bounds…
In this work, following the Discrete de Rham (DDR) paradigm, we develop an arbitrary-order discrete divdiv complex on general polyhedral meshes. The construction rests 1) on discrete spaces that are spanned by vectors of polynomials whose…