1: \begin{abstract}
2: Suppose that a~linear bounded operator $B$ on a~Hilbert space exhibits
3: at least
4: linear GMRES convergence, i.e., there exists $M_B<1$ such that
5: the GMRES residuals fulfill $\|r_k\|\leq M_B\|r_{k-1}\|$
6: for every initial residual $r_0$ and step $k\in\NN$.
7: %
8: We prove that GMRES with a~compactly perturbed operator
9: $A=B+C$ admits the bound
10: $\|r_k\|/\|r_0\|\leq\prod_{j=1}^k\bigl(M_B+(1+M_B)\,\|A^{-1}\|\,\sigma_j(C)\bigr)$,
11: i.e., the singular values $\sigma_j(C)$ control the departure from
12: the bound for the unperturbed problem.
13: %
14: This result can be seen as an extension of
15: [{\sc I.~Moret}, {\em A note on the superlinear convergence of {GMRES}},
16: SIAM J. Numer. Anal., 34 (1997), pp.~513--516,
17: DOI: \href{https://doi.org/10.1137/S0036142993259792}{10.1137/S0036142993259792}],
18: where only the case $B=\lambda I$ is considered.
19: In this special case $M_B=0$ and the resulting
20: convergence is superlinear.
21: \end{abstract}
22: