Locally-verifiable sufficient conditions for exactness of the hierarchical B-spline discrete de Rham complex in $\mathbb{R}^n$

TL;DR

This paper establishes locally-verifiable conditions that guarantee the exactness of hierarchical B-spline-based discrete de Rham complexes on hypercube domains, enhancing the stability and accuracy of numerical methods in electromagnetism and fluid mechanics.

Contribution

It introduces new locally-verifiable criteria ensuring the exactness of hierarchical B-spline discrete de Rham complexes, facilitating adaptive and stable numerical simulations.

Findings

Numerical tests confirm the theoretical conditions.

Examples demonstrate both satisfaction and violation of the conditions.

The conditions ensure the cohomological equivalence of discrete and continuous complexes.

Abstract

Given a domain $\Omega \subset \mathbb{R}^n$, the de Rham complex of differential forms arises naturally in the study of problems in electromagnetism and fluid mechanics defined on $\Omega$, and its discretization helps build stable numerical methods for such problems. For constructing such stable methods, one critical requirement is ensuring that the discrete subcomplex is cohomologically equivalent to the continuous complex. When $\Omega$ is a hypercube, we thus require that the discrete subcomplex be exact. Focusing on such $\Omega$, we theoretically analyze the discrete de Rham complex built from hierarchical B-spline differential forms, i.e., the discrete differential forms are smooth splines and support adaptive refinements - these properties are key to enabling accurate and efficient numerical simulations. We provide locally-verifiable sufficient conditions that ensure that the discrete spline complex is exact. Numerical tests are presented to support the theoretical results, and the examples discussed include complexes that satisfy our prescribed conditions as well as those that violate them.