a668bdeb1f8f28e5.tex
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: