Locally-verifiable sufficient conditions for exactness of the hierarchical B-spline discrete de Rham complex in Rn

Keywords

de Rham complex, B-spline, fluid mechanics

Abstract

Given a domain Ω ⊂ R n , the de Rham complex of differential forms arises naturally in the study of problems in electromagnetism and fluid mechanics defined on Ω, 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 Ω is a hypercube, we thus require that the discrete subcomplex be exact. Focusing on such Ω, 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.

Original Publication Citation

K. M. Shepherd, D. Toshniwal. “Locally-verifiable sufficient conditions for exactness of the hierarchical B-spline discrete de Rham complex in Rn,” Preprint available at arXiv.2209.01504, 2022.

Document Type

Peer-Reviewed Article

Publication Date

2022-09-07

Publisher

arXiv

Language

English

College

Ira A. Fulton College of Engineering and Technology

Department

Civil and Environmental Engineering

University Standing at Time of Publication

Assistant Professor

Link to Full Text

Share

COinS