Exact sequences on Worsey–Farin splits

Abstract

We construct several smooth finite element spaces defined on three-dimensional Worsey–Farin splits. In particular, we construct C 1 C^1 , H 1 ( curl ) H^1(\operatorname {curl}) , and H 1 H^1 -conforming finite element spaces and show the discrete spaces satisfy local exactness properties. A feature of the spaces is their low polynomial degree and lack of extrinsic supersmoothness at subsimplices of the mesh. In the lowest order case, the last two spaces in the sequence consist of piecewise linear and piecewise constant spaces, and are suitable for the discretization of the (Navier-)Stokes equation.