Commuting quasi-interpolators and Maxwell compactness for a polytopal de Rham complex
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911224591024128 |
|---|---|
| author | Chaumont-Frelet, Théophile Droniou, Jérôme Lemaire, Simon |
| author_facet | Chaumont-Frelet, Théophile Droniou, Jérôme Lemaire, Simon |
| contents | We establish Maxwell compactness results for the Discrete De Rham (DDR) polytopal complex: sequences in this polytopal complex with bounded discrete $\boldsymbol{H}(\mathbf{curl})$ (resp. discrete $\boldsymbol{H}(\mathrm{div})$) norm and orthogonal to discrete gradients (resp. discrete curls) have $L^2$-relatively compact potential reconstructions. The proof of these results hinges on the design of novel quasi-interpolators, that map the minimal-regularity de Rham spaces onto the discrete DDR spaces and form a commuting diagram. A full set of (primal and adjoint) consistency properties is established for these quasi-interpolators, which paves the way to convergence proofs, under minimal-regularity assumptions, of DDR schemes for partial differential equations based on the de Rham complex. Our analysis is performed with generic mixed boundary conditions, also covering the cases of no boundary conditions or fully homogeneous boundary conditions, and leverages recently introduced liftings from the DDR complex to the continuous de Rham complex. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_18835 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Commuting quasi-interpolators and Maxwell compactness for a polytopal de Rham complex Chaumont-Frelet, Théophile Droniou, Jérôme Lemaire, Simon Numerical Analysis We establish Maxwell compactness results for the Discrete De Rham (DDR) polytopal complex: sequences in this polytopal complex with bounded discrete $\boldsymbol{H}(\mathbf{curl})$ (resp. discrete $\boldsymbol{H}(\mathrm{div})$) norm and orthogonal to discrete gradients (resp. discrete curls) have $L^2$-relatively compact potential reconstructions. The proof of these results hinges on the design of novel quasi-interpolators, that map the minimal-regularity de Rham spaces onto the discrete DDR spaces and form a commuting diagram. A full set of (primal and adjoint) consistency properties is established for these quasi-interpolators, which paves the way to convergence proofs, under minimal-regularity assumptions, of DDR schemes for partial differential equations based on the de Rham complex. Our analysis is performed with generic mixed boundary conditions, also covering the cases of no boundary conditions or fully homogeneous boundary conditions, and leverages recently introduced liftings from the DDR complex to the continuous de Rham complex. |
| title | Commuting quasi-interpolators and Maxwell compactness for a polytopal de Rham complex |
| topic | Numerical Analysis |
| url | https://arxiv.org/abs/2510.18835 |