For a splitting , successive over-relaxation updatesIt reduces to the Gauss-Seidel method at . If is symmetric positive definite, the Householder-John theorem applies to , , since is positive definite for .
Let be a real symmetric positive-definite matrix, with diagonal and strictly lower triangular. Put and for . The matrix norm induced by an energy norm reduces the question to . Direct multiplication and giveThe left side is positive semidefinite. The matrix following the scalar coefficient on the right is positive-definite, since has positive diagonal and is an invertible matrix. For , every eigenvalue of therefore lies in . Hence its spectral radius is below one and . Iteration errors consequently decay geometrically in the energy norm. The argument proves convergence from every initial vector, without requiring the original iteration matrix to be symmetric.
Articles by others on the same topic
Successive Over-Relaxation (SOR) is an iterative method used to solve systems of linear equations, particularly those that arise from discretization of partial differential equations or in the context of numerical linear algebra. It is an extension of the Gauss-Seidel method and is used to accelerate the convergence of the iteration.