Cohomology of Finite Element Stokes Complexes on Alfeld Splits

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Brubeck, Pablo D., Liang, Yizhou, Parker, Charles
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917548084166656
author Brubeck, Pablo D.
Liang, Yizhou
Parker, Charles
author_facet Brubeck, Pablo D.
Liang, Yizhou
Parker, Charles
contents We show that the cohomology of the finite element Stokes complex consisting of piecewise polynomials spaces on an Alfeld split mesh from Fu, Guzmán, & Neilan (2020, Math. Comp., 89, 1059--1091) is isomorphic to the cohomologies of the continuous Stokes and de Rham complexes. We also construct novel "minimal" conforming finite element complexes where the $H^1$-conforming space is the lowest-order space from Guzmán & Neilan (2018, SIAM J. Numer. Anal., 56, 2826--2844) and the $L^2$-conforming space is piecewise constants. These minimal complexes also have cohomologies isomorphic to the continuous Stokes and de Rham complexes. We further construct local, bounded, cochain projections for the minimal complexes. All the results hold for strongly Lipschitz domains with nontrivial topologies and in the presence of mixed boundary conditions.
format Preprint
id arxiv_https___arxiv_org_abs_2605_31348
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Cohomology of Finite Element Stokes Complexes on Alfeld Splits
Brubeck, Pablo D.
Liang, Yizhou
Parker, Charles
Numerical Analysis
65N30, 58J10, 65N12
We show that the cohomology of the finite element Stokes complex consisting of piecewise polynomials spaces on an Alfeld split mesh from Fu, Guzmán, & Neilan (2020, Math. Comp., 89, 1059--1091) is isomorphic to the cohomologies of the continuous Stokes and de Rham complexes. We also construct novel "minimal" conforming finite element complexes where the $H^1$-conforming space is the lowest-order space from Guzmán & Neilan (2018, SIAM J. Numer. Anal., 56, 2826--2844) and the $L^2$-conforming space is piecewise constants. These minimal complexes also have cohomologies isomorphic to the continuous Stokes and de Rham complexes. We further construct local, bounded, cochain projections for the minimal complexes. All the results hold for strongly Lipschitz domains with nontrivial topologies and in the presence of mixed boundary conditions.
title Cohomology of Finite Element Stokes Complexes on Alfeld Splits
topic Numerical Analysis
65N30, 58J10, 65N12
url https://arxiv.org/abs/2605.31348