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

DOI10.1007/S10092-023-00523-7zbMATH Open1518.65128arXiv2209.00957OpenAlexW4295676823WikidataQ121769020 ScholiaQ121769020MaRDI QIDQ6168166FDOQ6168166

Authors: Daniele A. Di Pietro, Jérôme Droniou, Silvano Pitassi 

Publication date: 10 July 2023

Published in: Calcolo (Search for Journal in Brave)

Abstract: 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, Poincar'e inequalities, and consistency, Found. Comput. Math., 2021, DOI: 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.

Full work available at URL: https://arxiv.org/abs/2209.00957

Recommendations

• An arbitrary-order discrete de Rham complex on polyhedral meshes: exactness, Poincaré inequalities, and consistency
• Complexes of discrete distributional differential forms and their homology theory
• An arbitrary-order fully discrete Stokes complex on general polyhedral meshes
• Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra
• de Rham complexes arising from Fourier finite element methods in axisymmetric domains

zbMATH Keywords

cohomologypolytopal methodscompatible discretisationsdiscrete de Rham method

Mathematics Subject Classification ID

de Rham theory in global analysis (58A12) Stability and convergence of numerical methods for boundary value problems involving PDEs (65N12) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Cites Work

• Mixed finite elements in \(\mathbb{R}^3\)
• Finite-Difference Approach to the Hodge Theory of Harmonic Forms
• Global Estimates for Mixed Methods for Second Order Elliptic Equations
• Finite element exterior calculus, homological techniques, and applications
• The mimetic finite difference method for elliptic problems
• \(H(\mathrm{div})\) and \(H(\mathbf{curl})\)-conforming virtual element methods
• Analysis of compatible discrete operator schemes for elliptic problems on polyhedral meshes
• Topics in structure-preserving discretization
• Title not available (Why is that?)
• Cohomology in 3D Magneto-Quasistatics Modeling
• Base functions and discrete constitutive relations for staggered polyhedral grids
• Title not available (Why is that?)
• Low-order reconstruction operators on polyhedral meshes: application to compatible discrete operator schemes
• A fully discrete plates complex on polygonal meshes with application to the Kirchhoff-Love problem
• The hybrid high-order method for polytopal meshes. Design, analysis, and applications
• A family of three-dimensional virtual elements with applications to magnetostatics
• A discrete de Rham method for the Reissner-Mindlin plate bending problem on polygonal meshes
• Arbitrary-order pressure-robust DDR and VEM methods for the Stokes problem on polyhedral meshes
• An arbitrary-order method for magnetostatics on polyhedral meshes based on a discrete de Rham sequence
• Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra
• An arbitrary-order discrete de Rham complex on polyhedral meshes: exactness, Poincaré inequalities, and consistency
• Homological- and analytical-preserving serendipity framework for polytopal complexes, with application to the DDR method

Cited In (7)

• A discrete three-dimensional divdiv complex on polyhedral meshes with application to a mixed formulation of the biharmonic problem
• A note on the de Rham complex and a discrete compactness property
• Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra
• Uniform Poincaré inequalities for the discrete de Rham complex on general domains
• Two arbitrary-order constraint-preserving schemes for the Yang-Mills equations on polyhedral meshes
• An arbitrary-order discrete de Rham complex on polyhedral meshes: exactness, Poincaré inequalities, and consistency
• Effective de Rham cohomology — The general case

This page was built for publication: Cohomology of the discrete de Rham complex on domains of general topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6168166)