A global div-curl-lemma for mixed boundary conditions in weak Lipschitz domains and a corresponding generalized A 0 * \mathrm{A}_{0}^{*} - A 1 \mathrm{A}_{1} -lemma in Hilbert spaces

We prove global and local versions of the so-called {\operatorname{div}} - {\operatorname{curl}} -lemma, a crucial result in the homogenization theory of partial differential equations, for mixed boundary conditions on bounded weak Lipschitz domains in 3D with weak Lipschitz interfaces. We will generalize our results using an abstract Hilbert space setting, which shows corresponding results to hold in arbitrary dimensions as well as for various differential operators. The crucial tools and the core of our arguments are Hilbert complexes and related compact embeddings.