On Bogovski\u{\i} and regularized Poincar\'e integral operators for de Rham complexes on Lipschitz domains

We study integral operators related to a regularized version of the classical Poincar\'e path integral and the adjoint class generalizing Bogovski\u{\i}'s integral operator, acting on differential forms in $R^n$. We prove that these operators are pseudodifferential operators of order -1. The Poincar\'e-type operators map polynomials to polynomials and can have applications in finite element analysis. For a domain starlike with respect to a ball, the special support properties of the operators imply regularity for the de Rham complex without boundary conditions (using Poincar\'e-type operators) and with full Dirichlet boundary conditions (using Bogovski\u{\i}-type operators). For bounded Lipschitz domains, the same regularity results hold, and in addition we show that the cohomology spaces can always be represented by $C^\infty$ functions.Comment: 23 page

Transmission Problems for the Navier–Stokes and Darcy–Forchheimer–Brinkman Systems in Lipschitz Domains on Compact Riemannian Manifolds

M. Kohr acknowledges the support of the Grant PN-II-ID-PCE-2011-3-0994 of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI. The research has been also partially supported by the Grant EP/M013545/1: “Mathematical Analysis of Boundary-Domain Integral Equations for Nonlinear PDEs” from the EPSRC, UK