Two-grid convergence theory for symmetric positive semidefinite linear systems

This paper is devoted to the convergence theory of two-grid methods for symmetric positive semidefinite linear systems, with particular focus on the singular case. In the case where the Moore--Penrose inverse of coarse-grid matrix is used as a coarse solver, we derive a succinct identity for characterizing the convergence factor of two-grid methods. More generally, we present some convergence estimates for two-grid methods with approximate coarse solvers, including both linear and general cases. A key feature of our analysis is that it does not require any additional assumptions on the system matrix, especially on its null space.