Convergence proof of the harmonic Ritz pairs of iterative projection methods with restart strategies for symmetric eigenvalue problems (Q2174791)

Numerical methods for computing the eigenvalues of a large symmetric matrix are investigated. The convergence theorem for the iterative projection methods using the harmonic Ritz pairs is proved. The main theorem covers the case where the inexact solvers for the linear systems are incorporated. The method can directly give the convergence proof of the two cases if the corresponding linear systems are exactly solved.