an encyclopedia of finite element definitions

Trimmed serendipity H(div)

Click here to read what the information on this page means.

De Rham complex families\(\left[S_{2,k}^\square\right]_{d-1}\) / \(\mathcal{S}^-_{k}\Lambda^{d-1}(\square_d)\)
Orders\(1\leqslant k\)
Reference elementsquadrilateral, hexahedron
Polynomial set\(\mathcal{P}_{k-1}^d \oplus \mathcal{Z}^{(48)}_{k} \oplus \mathcal{Z}^{(49)}_{k}\) (quadrilateral)
\(\mathcal{P}_{k-1}^d \oplus \mathcal{Z}^{(48)}_{k} \oplus \mathcal{Z}^{(50)}_{k} \oplus \mathcal{Z}^{(51)}_{k} \oplus \mathcal{Z}^{(52)}_{k}\) (hexahedron)
↓ Show polynomial set definitions ↓
DOFsOn each facet: normal integral moments with an order \(k-1\) dPc space
On the interior of the reference element: integral moments with an order \(k-3\) vector dPc space, and integral moments with \(\left\{\nabla(p)\middle|p\text{ is an order \(k-1\) monomial}\right\}\)
Mappingcontravariant Piola
continuityComponents normal to facets are continuous
CategoriesVector-valued elements, H(div) conforming elements

Implementations

FIATFIAT.TrimmedSerendipityDiv
↓ Show FIAT examples ↓ This implementation is correct for some of the examples below.
Symfem"TSdiv"
↓ Show Symfem examples ↓ This implementation is used to compute the examples below and verify other implementations.

Examples

quadrilateral
order 1

(click to view basis functions)
quadrilateral
order 2

(click to view basis functions)
quadrilateral
order 3

(click to view basis functions)
hexahedron
order 1

(click to view basis functions)
hexahedron
order 2

(click to view basis functions)
hexahedron
order 3

(click to view basis functions)

References

DefElement stats

Element added07 October 2021
Element last updated03 January 2024