On Bogovskiĭ and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains (Q971910): Difference between revisions

This paper deals with integral operators related to a regularized version of the Poincaré type path integral and the adjoint class generalizing Bogovskii integral opertors, acting on the differential forms \(\Lambda^\ell(\mathbb{R}^n)\), \(0\leq\ell\leq n\). We remind to the reader that the Bogovskii operator \(T\) solves the equation \(\text{div\,}u= f\) in the Sobolev spaces over bounded Lipschitz domain \(\Omega\) and under the integrability condition \(\int f\,dx= 0\) (i.e. \(u= Tf\)). The authors prove in Theorem 3.2 that the above-mentioned operators are classical pseudodifferential operators of order \((-1)\) with symbols belonging to \(S^{-1}_{1,0}(\mathbb{R}^n)\). Thus, they are bounded linear operators in Hölder, Sobolev, Besov and Triebel-Lizorkin spaces. The Poincaré type operators map polynomials to polynomials. Working in a domain starlike with respect to a ball, the special support properties for the investigated operators imply regularity for the de Rham complex without boundary conditins and with full Dirichlet boundary conditions. More precisely, it is shown that the cohomology spaces of the de Rham complex on a bounded Lipschitz domain with compact support or without boundary conditions can be represented independently of the Sobolev regularity index \(s\) by finite-dimensional spaces of differential forms with \(C^\infty\) coefficients (Theorem 1.1).