A Hilbert complex is a sequence of Hilbert spaces connected by a sequence of closed densely defined linear operators satisfying the property: the composition of two consecutive maps is zero. The most well-known example is the de Rham complex involving grad, curl, and div operators. A finite element complex is a discretization of a Hilbert complex by replacing infinite dimensional Hilbert spaces by finite dimensional subspaces based on a mesh of the domain. Usually inside each element of the mesh, polynomial spaces are used and suitable degree of freedoms are proposed to glue them to form a conforming subspace. The finite element de Rham complexes are well understood and can be derived from the framework Finite Element Exterior Calculus (FEEC).
In this talk, we will survey the construction of finite element complexes. We present finite element de Rham complex by a geometric decomposition approach. We then generalize the construction to smooth FE de Rham complexes and derive more complexes including the Hessian complex, the elasticity complex, and the divdiv complex by the Bernstein-Gelfand-Gelfand (BGG) construction.
The constructed finite element complexes will have application in the numerical simulation of the biharmonic equation, the linear elasticity, the general relativity, and in general PDEs in Riemannian geometry etc.
This is a joint work with Xuehai Huang from Shanghai University of Finance and Economics.