The high-order finite element Duffy de Rham complex and low-order-refined preconditioning

TL;DR

This paper develops high-order finite element spaces for the de Rham complex on triangular meshes, enabling efficient low-order-refined preconditioning through spectral equivalence and norm stability analysis.

Contribution

It introduces a novel construction of high-order finite element spaces using the Duffy transformation, compatible with low-order-refined preconditioning techniques.

Findings

Spectral equivalence holds independently of polynomial degree.

Norm equivalences are established via stability of Jacobi-Gauss-Lobatto interpolation.

Numerical results confirm the effectiveness of the preconditioning approach.

Abstract

In this work, we construct high-order finite element spaces for the $L^2$ de Rham complex on triangular meshes amenable to low-order-refined preconditioning. The spaces are constructed using the Duffy transformation, by pulling back appropriately chosen polynomial spaces defined on the unit square; in addition to piecewise polynomials, these spaces also contain certain rational functions, and they reduce to the standard Lagrange, N\'ed\'elec, and discontinuous finite elements in the lowest-order case. We establish spectral equivalence, independent of the polynomial degree, of the stiffness matrices defined on these spaces with the lowest-order stiffness matrices defined on refined meshes, constructed using a Gauss-Lobatto triangular lattice. Spectral equivalence of the operators is a consequence of norm equivalences in Jacobi-weighted $L^2$ norms, which are established by proving stability of the Jacobi-Gauss-Lobatto interpolation operator in shifted norms. The low-order-refined preconditioners can also be used to precondition the standard piecewise polynomial finite element spaces using a fictitious space approach. The low-order-refined system can in turn be preconditioned effectively using algebraic multigrid methods. The analytical estimates are confirmed by numerical results on a variety of high-order problems, including on mixed meshes and surface meshes.