Finite element spaces on a tetrahedron are constructed for div div -conforming symmetric tensors in three dimensions. The key tools of the con- struction are the decomposition of polynomial tensor spaces and the charac- terization of the trace operators. First, the div div Hilbert complex and its corresponding polynomial complexes are presented. Several decompositions of polynomial vector and tensor spaces are derived from the polynomial com- plexes. Second, traces for the divdiv operator are characterized through a Green’s identity. Besides the normal-normal component, another trace involving combination of first order derivatives of the tensor is continuous across the face. Due to the smoothness of polynomials, the symmetric tensor element is also continuous at vertices, and on the plane orthogonal to each edge. Besides, a finite element for sym curl-conforming trace-free tensors is constructed following the same approach. Putting all together, a finite element div div complex, as well as the bubble functions complex, in three dimensions is established.
more »
« less
A finite element elasticity complex in three dimensions
A finite element elasticity complex on tetrahedral meshes and the corresponding commutative diagram are devised. The H 1 H^1 conforming finite element is the finite element developed by Neilan for the velocity field in a discrete Stokes complex. The symmetric div-conforming finite element is the Hu-Zhang element for stress tensors. The construction of an H ( inc ) H(\operatorname {inc}) -conforming finite element of minimum polynomial degree 6 6 for symmetric tensors is the focus of this paper. Our construction appears to be the first H ( inc ) H(\operatorname {inc}) -conforming finite elements on tetrahedral meshes without further splitting. The key tools of the construction are the decomposition of polynomial tensor spaces and the characterization of the trace of the inc \operatorname {inc} operator. The polynomial elasticity complex and Koszul elasticity complex are created to derive the decomposition. The trace of the inc \operatorname {inc} operator is induced from a Green’s identity. Trace complexes and bubble complexes are also derived to facilitate the construction. Two-dimensional smooth finite element Hessian complex and div div \operatorname {div}\operatorname {div} complex are constructed.
more »
« less
- PAR ID:
- 10423049
- Date Published:
- Journal Name:
- Mathematics of Computation
- Volume:
- 91
- Issue:
- 337
- ISSN:
- 0025-5718
- Page Range / eLocation ID:
- 2095 to 2127
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Finite element de Rham complexes and finite element Stokes complexes with varying degrees of smoothness in three dimensions are systematically constructed in this paper. Smooth scalar finite elements in three dimensions are derived through a non-overlapping decomposition of the simplicial lattice. H(div)-conforming finite elements and H(curl)-conforming finite elements with varying degrees of smoothness are devised based on these smooth scalar finite elements. The finite element de Rham complexes with corresponding smoothness and commutative diagrams are induced by these elements. The div stability of the H(div)-conforming finite elements is established, and the exactness of these finite element complexes is proven.more » « less
-
more » « less
We construct conforming finite element elasticity complexes on Worsey–Farin splits in three dimensions. Spaces for displacement, strain, stress, and the load are connected in the elasticity complex through the differential operators representing deformation, incompatibility, and divergence. For each of these component spaces, a corresponding finite element space on Worsey–Farin meshes is exhibited. Unisolvent degrees of freedom are developed for these finite elements, which also yields commuting (cochain) projections on smooth functions. A distinctive feature of the spaces in these complexes is the lack of extrinsic supersmoothness at subsimplices of the mesh. Notably, the complex yields the first (strongly) symmetric stress finite element with no vertex or edge degrees of freedom in three dimensions. Moreover, the lowest order stress space uses only piecewise linear functions which is the lowest feasible polynomial degree for the stress space.
-
An H(div)-conforming finite element method for the Biot’s consolidation mo- del is developed, with displacements and fluid velocity approximated by elements from BDM_k space. The use of H(div)-conforming elements for flow variables ensures the local mass conservation. In the H(div)-conforming approximation of displacement, the tan- gential components are discretised in the interior penalty discontinuous Galerkin frame- work,and the normal components across the element interfaces are continuous. Having introduced a spatial discretisation, we develop a semi-discrete scheme and a fully dis- crete scheme,prove their unique solvability and establish optimal error estimates for each variable.more » « less
-
more » « less
Abstract We construct new families of
direct serendipity anddirect mixed finite elements on general planar, strictly convex polygons that areH 1andH (div) conforming, respectively, and possess optimal order of accuracy for any order. They have a minimal number of degrees of freedom subject to the conformity and accuracy constraints. The name arises because the shape functions are defineddirectly on the physical elements, i.e., without using a mapping from a reference element. The finite element shape functions are defined to be the full spaces of scalar or vector polynomials plus a space of supplemental functions. The direct serendipity elements are the precursors of the direct mixed elements in a de Rham complex. The convergence properties of the finite elements are shown under a regularity assumption on the shapes of the polygons in the mesh, as well as some mild restrictions on the choices one can make in the construction of the supplemental functions. Numerical experiments on various meshes exhibit the performance of these new families of finite elements.
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/mcom/3739
