Divide the supplied scheme by and takeThen , and is invertible because it is lower triangular with positive diagonal . Symmetry gives , soThe Householder-John theorem therefore gives convergence.
For a direct spectral proof, let . Expansion verifies . If with , thenThe value is impossible since and is invertible. Both quadratic forms are positive, hence . The error obeys and tends to zero, proving convergence to the unique solution for every initial iterate. This is the successive-over-relaxation iteration, with no assertion of convergence at the excluded endpoints.
Articles by others on the same topic
There are currently no matching articles.