Theory of two-level Schwarz preconditioners with piecewise-polynomial coarse spaces for the high-frequency Helmholtz equation

We analyse the classic two-level additive Schwarz domain-decomposition GMRES preconditioner for finite-element discretisations of the Helmholtz equation with large wavenumber $k$, where both the fine and coarse spaces consist of piecewise polynomials with polynomial degree increasing like $\log k$. We exhibit choices of these fine and coarse spaces such that -- up to factors of $\log k$ -- both are pollution free (with the ratio of the coarse-space dimension to the fine-space dimension arbitrarily small), the number of degrees of freedom per subdomain is constant, and the number of GMRES iterations is proved to be bounded independently of $k$. These are the first $k$-explicit convergence results about a two-level Schwarz preconditioner for high-frequency Helmholtz with a coarse space that is pollution free and does not consist of problem-adapted basis functions.