Abstract nonconforming error estimates and application to boundary penalty methods for diffusion equations and time-harmonic maxwell's equations

We devise a novel framework for the error analysis of finite element approximations to low-regularity solutions in nonconforming settings where the discrete trial and test spaces are not subspaces of their exact counterparts. The key is to use face-to-cell extension operators so as to give a weak meaning to the normal or tangential trace on each mesh face individually for vector fields with minimal regularity and then to prove the consistency of this new formulation by means of some recently-derived mollification operators that commute with the usual derivative operators. We illustrate the technique on Nitsche's boundary penalty method applied to a scalar diffusion equation and to the time-harmonic Maxwell's equations. In both cases, the error estimates are robust in the case of heterogeneous material properties. We also revisit the error analysis framework proposed by Gudi where a trimming operator is introduced to map discrete test functions into conforming test functions. This technique also gives error estimates for minimal regularity solutions, but the constants depend on the material properties through contrast factors.