The Householder-John theorem states: if is Hermitian positive definite and is also Hermitian positive definite, then is invertible and
Now let be real symmetric positive definite and tridiagonal. For the Jacobi splitting, and . Positive definiteness of implies every diagonal entry is positive, so is positive definite. Introduce the alternating-sign diagonal matrix
Tridiagonality gives
Since is orthogonal, is positive definite whenever is. Both hypotheses of the Householder-John theorem hold, and hence the Jacobi iteration matrix satisfies . Therefore the Jacobi convergence for a symmetric positive-definite tridiagonal matrix follows.

Articles by others on the same topic (0)

There are currently no matching articles.