Smoothed projections and mixed boundary conditions

Abstract

Mixed boundary conditions are introduced to finite element exterior calculus. We construct smoothed projections from Sobolev de Rham complexes onto finite element de Rham complexes which commute with the exterior derivative, preserve homogeneous boundary conditions along a fixed boundary part, and satisfy uniform bounds for shape-regular families of triangulations and bounded polynomial degree. The existence of such projections implies stability and quasi-optimal convergence of mixed finite element methods for the Hodge Laplace equation with mixed boundary conditions. In addition, we prove the density of smooth differential forms in Sobolev spaces of differential forms over weakly Lipschitz domains with partial boundary conditions.