Ostrowski-Reich定理在AOR方法中的推广

其中D=diag(α_(11),α_(22),…,α_(nn)),C_L和C_U分别是严格下和上三角矩阵。若D是非奇异的,则Jacobi矩阵为B=D~(-1)(C_L+C_U)=L+U,其中L=D~(-1)C_L,U=D~(-1)C_U。SOR方法(见[1,2,3])定义为