Householder Transformations
Householder's Method
Each transformation in Jacobi's method produced two zero off-diagonal elements, but subsequent iterations might make them nonzero. Hence many iterations are required to make the off-diagonal entries sufficiently close to zero.
Suppose that A is a real symmetric matrix. Householder's method is used to construct a similar symmetric tridiagonal matrix. Then the QR method can be used to find all eigenvalues of the tridiagonal matrix.
We now develop the method attributed to Alston Scott Householder (May 5, 1904 - July4, 1993) which is routinely taught in courses in linear algebra, and numerical analysis. Several several zero off-diagonal elements are created with each iteration, and they remain zero in subsequent iterations. We start by developing an important step in the process.
Theorem (Householder Reflection) If
![[Graphics:Images/HouseholderMod_gr_1.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_1.gif)
![[Graphics:Images/HouseholderMod_gr_2.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_2.gif)
![[Graphics:Images/HouseholderMod_gr_3.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_3.gif)
![[Graphics:Images/HouseholderMod_gr_4.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_4.gif)
where
![[Graphics:Images/HouseholderMod_gr_5.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_5.gif)
and
![[Graphics:Images/HouseholderMod_gr_6.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_6.gif)
Since
![[Graphics:Images/HouseholderMod_gr_7.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_7.gif)
![[Graphics:Images/HouseholderMod_gr_8.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_8.gif)
Proof Householder Method
Remark. It should be observed that the effect of the mapping
![[Graphics:Images/HouseholderMod_gr_9.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_9.gif)
![[Graphics:Images/HouseholderMod_gr_10.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_10.gif)
![[Graphics:Images/HouseholderMod_gr_11.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_11.gif)
Corollary (
![[Graphics:Images/HouseholderMod_gr_12.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_12.gif)
![[Graphics:Images/HouseholderMod_gr_13.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_13.gif)
![[Graphics:Images/HouseholderMod_gr_14.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_14.gif)
![[Graphics:Images/HouseholderMod_gr_15.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_15.gif)
![[Graphics:Images/HouseholderMod_gr_16.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_16.gif)
![[Graphics:Images/HouseholderMod_gr_17.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_17.gif)
![[Graphics:Images/HouseholderMod_gr_18.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_18.gif)
![[Graphics:Images/HouseholderMod_gr_19.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_19.gif)
(1)
![[Graphics:Images/HouseholderMod_gr_20.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_20.gif)
Proof Householder Method
Householder Transformations
Suppose that
![[Graphics:Images/HouseholderMod_gr_21.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_21.gif)
![[Graphics:Images/HouseholderMod_gr_22.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_22.gif)
![[Graphics:Images/HouseholderMod_gr_23.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_23.gif)
![[Graphics:Images/HouseholderMod_gr_24.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_24.gif)
![[Graphics:Images/HouseholderMod_gr_25.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_25.gif)
![[Graphics:Images/HouseholderMod_gr_26.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_26.gif)
![[Graphics:Images/HouseholderMod_gr_27.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_27.gif)
![[Graphics:Images/HouseholderMod_gr_28.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_28.gif)
![[Graphics:Images/HouseholderMod_gr_29.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_29.gif)
![[Graphics:Images/HouseholderMod_gr_30.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_30.gif)
![[Graphics:Images/HouseholderMod_gr_31.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_31.gif)
![[Graphics:Images/HouseholderMod_gr_32.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_32.gif)
where the letter
![[Graphics:Images/HouseholderMod_gr_33.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_33.gif)
![[Graphics:Images/HouseholderMod_gr_34.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_34.gif)
![[Graphics:Images/HouseholderMod_gr_35.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_35.gif)
![[Graphics:Images/HouseholderMod_gr_36.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_36.gif)
![[Graphics:Images/HouseholderMod_gr_37.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_37.gif)
(2)
![[Graphics:Images/HouseholderMod_gr_38.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_38.gif)
The element denoted
![[Graphics:Images/HouseholderMod_gr_39.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_39.gif)
![[Graphics:Images/HouseholderMod_gr_40.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_40.gif)
![[Graphics:Images/HouseholderMod_gr_41.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_41.gif)
![[Graphics:Images/HouseholderMod_gr_42.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_42.gif)
![[Graphics:Images/HouseholderMod_gr_43.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_43.gif)
![[Graphics:Images/HouseholderMod_gr_44.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_44.gif)
![[Graphics:Images/HouseholderMod_gr_45.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_45.gif)
![[Graphics:Images/HouseholderMod_gr_46.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_46.gif)
![[Graphics:Images/HouseholderMod_gr_47.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_47.gif)
![[Graphics:Images/HouseholderMod_gr_48.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_48.gif)
The second Householder transformation is applied to the matrix
![[Graphics:Images/HouseholderMod_gr_49.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_49.gif)
![[Graphics:Images/HouseholderMod_gr_50.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_50.gif)
![[Graphics:Images/HouseholderMod_gr_51.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_51.gif)
![[Graphics:Images/HouseholderMod_gr_52.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_52.gif)
![[Graphics:Images/HouseholderMod_gr_53.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_53.gif)
![[Graphics:Images/HouseholderMod_gr_54.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_54.gif)
![[Graphics:Images/HouseholderMod_gr_55.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_55.gif)
where
![[Graphics:Images/HouseholderMod_gr_56.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_56.gif)
![[Graphics:Images/HouseholderMod_gr_57.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_57.gif)
![[Graphics:Images/HouseholderMod_gr_58.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_58.gif)
![[Graphics:Images/HouseholderMod_gr_59.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_59.gif)
(3)
![[Graphics:Images/HouseholderMod_gr_60.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_60.gif)
The elements
![[Graphics:Images/HouseholderMod_gr_61.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_61.gif)
![[Graphics:Images/HouseholderMod_gr_62.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_62.gif)
![[Graphics:Images/HouseholderMod_gr_63.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_63.gif)
![[Graphics:Images/HouseholderMod_gr_64.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_64.gif)
![[Graphics:Images/HouseholderMod_gr_65.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_65.gif)
![[Graphics:Images/HouseholderMod_gr_66.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_66.gif)
![[Graphics:Images/HouseholderMod_gr_67.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_67.gif)
![[Graphics:Images/HouseholderMod_gr_68.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_68.gif)
![[Graphics:Images/HouseholderMod_gr_69.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_69.gif)
![[Graphics:Images/HouseholderMod_gr_70.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_70.gif)
Again, the
![[Graphics:Images/HouseholderMod_gr_71.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_71.gif)
![[Graphics:Images/HouseholderMod_gr_72.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_72.gif)
![[Graphics:Images/HouseholderMod_gr_73.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_73.gif)
![[Graphics:Images/HouseholderMod_gr_74.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_74.gif)
![[Graphics:Images/HouseholderMod_gr_75.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_75.gif)
Thus it has taken three transformations to reduce
![[Graphics:Images/HouseholderMod_gr_76.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_76.gif)
In general, for efficiency, the transformation
![[Graphics:Images/HouseholderMod_gr_77.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_77.gif)
Theorem (Computation of One Householder Transformation) If
![[Graphics:Images/HouseholderMod_gr_78.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_78.gif)
![[Graphics:Images/HouseholderMod_gr_79.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_79.gif)
Let
![[Graphics:Images/HouseholderMod_gr_80.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_80.gif)
![[Graphics:Images/HouseholderMod_gr_81.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_81.gif)
and
![[Graphics:Images/HouseholderMod_gr_82.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_82.gif)
then
![[Graphics:Images/HouseholderMod_gr_83.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_83.gif)
Proof Householder Method
Reduction to Tridiagonal Form
Suppose that
![[Graphics:Images/HouseholderMod_gr_84.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_84.gif)
![[Graphics:Images/HouseholderMod_gr_85.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_85.gif)
![[Graphics:Images/HouseholderMod_gr_86.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_86.gif)
Construct the sequence
![[Graphics:Images/HouseholderMod_gr_87.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_87.gif)
![[Graphics:Images/HouseholderMod_gr_88.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_88.gif)
![[Graphics:Images/HouseholderMod_gr_89.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_89.gif)
where
![[Graphics:Images/HouseholderMod_gr_90.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_90.gif)
![[Graphics:Images/HouseholderMod_gr_91.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_91.gif)
![[Graphics:Images/HouseholderMod_gr_92.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_92.gif)
![[Graphics:Images/HouseholderMod_gr_93.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_93.gif)
Example 1. Use Householder's method to reduce the symmetric matrix
![[Graphics:Images/HouseholderMod_gr_94.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_94.gif)
Solution 1.
Algorithm
Let us combine the steps used in Example 1 and make an algorithm for performing one Householder transformation.
Mathematica Subroutine (One Householder Transformation). To reduce the
![[Graphics:Images/HouseholderMod_gr_137.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_137.gif)
![[Graphics:Images/HouseholderMod_gr_138.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_138.gif)
![[Graphics:Images/HouseholderMod_gr_139.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_139.gif)
Example
2. Use the
Householder step algorithm to reduce the symmetric
matrix ![[Graphics:Images/HouseholderMod_gr_141.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_141.gif)
Solution 2.
Exercise 3. Use the Householder step algorithm to reduce the symmetric matrix
![[Graphics:Images/HouseholderMod_gr_152.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_152.gif)
Solution 3.
Exercise 4. Use the Householder step algorithm to reduce the symmetric matrix
![[Graphics:Images/HouseholderMod_gr_170.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_170.gif)
Solution 4.
Traditional Programming
We now present a version of the Householder program that uses traditional more traditional loops to perform the computations. It also takes into consideration that once a portion of the tridiagonal structure has been created one only needs to continue the process on the submatrix below and to the right. This program will be harder to read, but might prove to be more efficient when the size of the matrix is larger.
Computer Programs Householder Method
Mathematica Subroutine (Householder Reduction to Tridiagonal Form). To reduce the
![[Graphics:Images/HouseholderMod_gr_193.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_193.gif)
![[Graphics:Images/HouseholderMod_gr_194.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_194.gif)
![[Graphics:Images/HouseholderMod_gr_195.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_195.gif)
Exercise 5. Use
traditional Householder subroutine to reduce the symmetric
matrix ![[Graphics:Images/HouseholderMod_gr_201.gif]](http://mathfaculty.fullerton.edu/mathews/n2003/householder/HouseholderMod/Images/HouseholderMod_gr_201.gif)
Solution 5.
Research Experience for Undergraduates
Householder Method Internet hyperlinks to web sites and a bibliography of articles.
Download this Mathematica Notebook Householder Method
No hay comentarios:
Publicar un comentario