Serendipity and Tensor Product Affine Pyramid Finite Elements

Andrew Gillette

DOI: https://doi.org/10.48550/arXiv.1512.07269

2016-09-10

Abstract:Using the language of finite element exterior calculus, we define two families of $H^1$-conforming finite element spaces over pyramids with a parallelogram base. The first family has matching polynomial traces with tensor product elements on the base while the second has matching polynomial traces with serendipity elements on the base. The second family is new to the literature and provides a robust approach for linking between Lagrange elements on tetrahedra and serendipity elements on affinely-mapped cubes while preserving continuity and approximation properties. We define shape functions and degrees of freedom for each family and prove unisolvence and polynomial reproduction results.

Numerical Analysis

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to link tetrahedral elements with serendipity elements on affinely - mapped cubes while maintaining continuity and approximation properties in the finite element method. Specifically, the author defines two families of H1 - conforming finite element spaces, one is a known family of spaces, and the other is a new family of spaces for dealing with pyramid geometries with parallelogram bases.

### Main problems
1. **Existing problems**: Existing finite element methods usually use tetrahedral or hexahedral meshes when dealing with complex geometries. However, although tetrahedral elements can well represent complex geometric features, the computational cost will become too high when high - order methods are required; while hexahedral elements have a high computational efficiency due to their tensor - product structure, but their ability to mesh arbitrary geometries is limited.

2. **Requirement for hybrid meshes**: In order to balance computational efficiency and geometric flexibility, in recent years, more and more research has focused on using hybrid meshes containing tetrahedral, hexahedral and pyramid geometries. In particular, pyramid elements can serve as a bridge between tetrahedral and hexahedral elements, thereby achieving efficient meshing and computation.

3. **Requirement for a new family of spaces**: In order to further optimize computational efficiency and reduce the number of degrees of freedom, a new family of finite element spaces is required, which can effectively connect tetrahedral elements and serendipity elements while maintaining continuity and approximation properties.

### Solutions
By introducing the concept of "superlinear degree", the author defines a new family of finite element spaces \(Y_r\Lambda^0\), which can be used to link tetrahedral elements and serendipity elements while maintaining H1 - conforming and approximation properties. The key advantages of this new family of spaces are:
- **Reduction of degrees of freedom**: Compared with traditional tensor - product elements, serendipity elements significantly reduce the number of degrees of freedom, thereby reducing the computational cost.
- **Maintenance of continuity and approximation properties**: The new family of spaces ensures the continuity and approximation properties between different elements in the hybrid mesh.

### Summary
The main contribution of this paper is to define a new family of finite element spaces \(Y_r\Lambda^0\), which can effectively connect tetrahedral elements and serendipity elements while maintaining the required mathematical properties. This provides new tools and methods for efficient and accurate numerical simulations on complex geometries.