A symmetric positive definite preconditioner for saddle-point problems

For the classical saddle-point problem, we present precisely two intervals containing the positive and the negative eigenvalues of the preconditioned matrix, respectively, when the inexact version of the symmetric positive definite preconditioner introduced in Section 2.1 of Gill et al. [Preconditioners for indefinite systems arising in optimization, SIAM J. Matrix Anal. Appl. 13 (1992), pp. 292–311] is employed. The model of Stokes problem is used to test the effectiveness of the presented bounds as well as the quality of the symmetric positive definite preconditioner.