NII Technical Report (NII-2001-002E)：On the Behaviour of the Conjugate Residual Method for Singular Systems

Consider applying the Conjugate Residual (CR) method, which is a Krylov subspace type iterative solver, to systems of linear equations A x = b or least squares problems { ₗ \| b - A x \|₂ }, where A is singular and nonsymmetric. We will show that when R (A) ^= A, the CR method can be decomposed into the R (A) and A components, and the necessary and sufficient condition for the CR method to converge to the least squares solution without breaking down for arbitrary b and initial approximate solution x₀, is that the symmetric part M (A) of A is semi-definite and \, M (A) = A. Furthermore, when x₀ R (A), the approximate solution converges to the pseudo inverse solution. Next, we will also derive the necessary and sufficient condition for the CR method to converge to the least squares solution without breaking down for arbitrary initial approximate solutions, for the case when R (A) A = and b R (A).