Jump-preserving polynomial interpolation in non-manifold polyhedra

Abstract

We construct a piecewise-polynomial interpolant $u \mapsto Πu$ for functions $u:Ω\setminus Γ\to \mathbb{R}$, where $Ω\subset \mathbb{R}^d$ is a Lipschitz polyhedron and $Γ\subset Ω$ is a possibly non-manifold $(d-1)$-dimensional hypersurface. This interpolant enjoys approximation properties in relevant Sobolev norms, as well as a set of additional algebraic properties, namely, $Π^2 = Π$, and $Π$ preserves homogeneous boundary values and jumps of its argument on $Γ$. As an application, we obtain a bounded discrete right-inverse of the "jump" operator across $Γ$, and an error estimate for a Galerkin scheme to solve a second-order elliptic PDE in $Ω$ with a prescribed jump across $Γ$.