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 meshes made of general polytopal elements. Both constructions benefit from the high-level approach of polytopal methods, which leads, on certain meshes, to leaner constructions than the finite element method. We establish commutation properties between the interpolators and the discrete and continuous exterior derivatives, prove key polynomial consistency results for the complexes, and show that their cohomologies are isomorphic to the cohomology of the continuous de Rham complex.
翻译:本文首次构建了微分形式的多胞体复形。这些复形受离散德·拉姆方法与虚拟单元方法的启发,是基于一般多胞体单元网格建立的微分形式德·拉姆复形的离散版本。两种构造均受益于多胞体方法的高层次处理方式,在特定网格上可得到比有限元方法更简约的构造。我们建立了插值算子与离散和连续外导数之间的交换性质,证明了复形的关键多项式相容性结果,并表明其同调群与连续德·拉姆复形的同调群同构。