Uniformly Bounded Cochain Extensions and Uniform Poincar\'e Inequalities

Erik Nilsson, Silvano Pitassi

In this paper, we construct a novel global bounded cochain extension operator for differential forms on Lipschitz domains. Building upon the classical universal extension of Hiptmair, Li, and Zou, our construction restores global commutativity with the exterior derivative in the natural $H\Lambda^k(\Omega)$ setting. The construction applies to domains and ambient extension sets of arbitrary topology, with strict commutation holding on the orthogonal complement of harmonic forms, as dictated by the underlying topological obstruction. This provides a missing analytical tool for the rigorous foundation of Cut Finite Element Methods (CutFEM). We also obtain continuous uniform Poincar\'e inequalities and lower bounds for the first Neumann eigenvalue on non-convex domains.

picture_as_pdf flag

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment