Cohomology of the discrete de Rham complex on domains of general topology

09/02/2022

∙

by   Daniele A. Di Pietro, et al.

∙

0

∙

share

In this work we prove that, for a general polyhedral domain of $\Real^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, Poincar\'e inequalities, and consistency, Found. Comput. Math., 2021, DOI: \href{https://dx.doi.org/10.1007/s10208-021-09542-8}{10.1007/s10208-021-09542-8}] are isomorphic to those of the continuous de Rham complex. This is, to the best of our knowledge, the first result of this kind for an arbitrary-order complex built from a general polyhedral mesh.