1: \begin{abstract} One of the main tools for solving linear systems arising from

2: the discretization of the Helmholtz equation is the shifted Laplace

3: preconditioner, which results from the discretization of a perturbed Helmholtz

4: problem $-\Delta u - (k^2 + i \varepsilon )u = f$ where $0 \neq \varepsilon \in \mathbb{R}$

5: is an absorption parameter. In this work we revisit the idea of combining the

6: shifted Laplace preconditioner with two-level deflation and apply it to Helmholtz

7: problems

8: discretized with linear finite elements. We use the convergence theory of GMRES

9: based on the field of values to prove that GMRES

10: applied to the two-level preconditioned system with a shift parameter $\eps

11: \sim

12: k^2$ converges in a number of iterations independent of the wavenumber $k$, 

13: provided that the coarse mesh size $H$ satisfies a condition of the form

14: $Hk^{2} \leq C$ for some constant $C$ depending on the domain but independent

15: of the wavenumber $k$. This behaviour is sharply different to the standalone

16: shifted Laplacian, for

17: which wavenumber-independent GMRES convergence has been established only under

18: the condition that $\varepsilon \sim k$ by [M.J. Gander, I.G. Graham and E.A. Spence,

19: Numer. Math., 131 (2015),

20: 567-614]. Finally, we present numerical evidence that

21: wavenumber-independent convergence of GMRES also holds for pollution-free

22: meshes, where the coarse mesh size  satisfies $Hk^{3/2} \leq C

23: $, and inexact coarse grid solves.

24: \end{abstract}

25: