Abstract:The Riesz maps of the $L^2$ de Rham complex frequently arise as subproblems in the construction of fast preconditioners for more complicated problems. In this work we present multigrid solvers for high-order finite element discretizations of these Riesz maps with the same time and space complexity as sum-factorized operator application, i.e.~with optimal complexity in polynomial degree in the context of Krylov methods. The key idea of our approach is to build new finite elements for each space in the de Rham complex with orthogonality properties in both the $L^2$- and $H(\mathrm{d})$-inner products ($\mathrm{d} \in \{\mathrm{grad}, \mathrm{curl}, \mathrm{div}\})$ on the reference hexahedron. The resulting sparsity enables the fast solution of the patch problems arising in the Pavarino, Arnold--Falk--Winther and Hiptmair space decompositions, in the separable case. In the non-separable case, the method can be applied to an auxiliary operator that is sparse by construction. With exact Cholesky factorizations of the sparse patch problems, the application complexity is optimal but the setup costs and storage are not. We overcome this with the finer Hiptmair space decomposition and the use of incomplete Cholesky factorizations imposing the sparsity pattern arising from static condensation, which applies whether static condensation is used for the solver or not. This yields multigrid relaxations with time and space complexity that are both optimal in the polynomial degree.

de Rham complexes for weak Galerkin finite element spaces

Nodal Finite Element De Rham Complexes.

Finite Element de Rham and Stokes Complexes in Three Dimensions

Finite Element Complexes in Two Dimensions

Local Bounded Commuting Projection Operator for Discrete de Rham Complexes

Higher-order finite element de Rham complexes, partially localized flux reconstructions, and applications

Multigrid solvers for the de Rham complex with optimal complexity in polynomial degree

Complexes from Complexes: Finite Element Complexes in Three Dimensions

On Weak Group Entwining Structure

Discrete de-Rham complex involving a discontinuous finite element space for velocities: the case of periodic straight triangular and Cartesian meshes

Generalized weak Galerkin finite element methods for second order elliptic problems

New discretization schemes for time-harmonic Maxwell equations by weak Galerkin finite element methods

A Modified weak Galerkin finite element method for the Maxwell equations on polyhedral meshes

A Systematic Construction of Finite Element Commuting Exact Sequences

Discrete Elasticity Exact Sequences on Worsey-Farin Splits

A discrete three-dimensional divdiv complex on polyhedral meshes with application to a mixed formulation of the biharmonic problem

Simple curl-curl-conforming finite elements in two dimensions

A New Weak Galerkin Finite Element Scheme for the Brinkman Model

Weak Galerkin finite element method for second order problems on curvilinear polytopal meshes with Lipschitz continuous edges or faces

A stabilizer-free weak Galerkin mixed finite element method for the biharmonic equation

Augmented Subspace Scheme for Eigenvalue Problem by Weak Galerkin Finite Element Method