Page 131 - Numerical methods for chemical engineering
P. 131

Eigenvector matrix decomposition and basis sets                     117



                  Eigenvector matrix decomposition and basis sets

                  Foragiven N × N matrix, when does the set of eigenvectors form a complete basis such
                                  N
                      that any v ∈ C can be expressed as a linear combination of eigenvectors?
                  Can we express a matrix as a decomposition involving matrices that comprise eigenvalues
                      and eigenvectors?
                  Are there special classes of matrices for which the eigenvalues can be proved to be real, or
                      for which the set of eigenvectors is not only linearly independent, but also orthogonal?
                  Such questions may seem abstract, but they are in fact very important in practice. Above,
                  our proof of convergence of Jacobi’s method is based upon the assumed existence of a
                  complete eigenvector basis for B  −1 (B − A).



                  Eigenvector properties of a general N × N complex matrix
                  Because we cannot assume that the eigenvectors and eigenvalues are real, even for a real
                  matrix, we consider the general case where λ k ∈ C, w [k]  ∈ C [N] , and A is an N × N complex
                  matrix,

                                 (a 11 + ib 11 )  (a 12 + ib 12 )  ...  (a 1N + ib 1N )
                                                                        
                                 (a 21 + ib 21 )  (a 22 + ib 22 )  ...  (a 2N + ib 2N )
                                                                        
                                                                                   (3.85)
                                     .            .                .     
                                     .            .                .
                           A = 
                                    .            .                .     
                                (a N1 + ib N1 )(a N2 + ib N2 )  ...  (a NN + ib NN )
                  If we do not make any special assumptions about the structure of the matrix, we cannot
                                                                          N
                  establish generally that the eigenvectors form a complete basis for C . We can prove the
                  following statements, however.
                                                       [k]
                  Theorem ENVG1 Eigenvectors w [ j]  and w , satisfying Aw [ j]  = λ j w [ j]  and Aw [k]  =
                  λ k w [k]  respectively, are linearly independent if λ j  = λ k . Thus, the eigenvectors of any N ×
                                                                          N
                  N matrix A that has N distinct eigenvalues form a complete basis for C .
                                                                           [k]
                  Proof We want to show that when λ j  = λ k , we cannot have cw [ j]  = w . Let us assume,
                                                  [k]
                  contrary to the theorem, that cw [ j]  = w . We replace w [k]  with cw [ j]  in the first term of
                  Aw [k]  − λ k w [k]  = 0,
                                     Acw [ j]  − λ k w [k]  = λ j cw [ j]  − λ k w [k]  = 0  (3.86)

                  and replace w [k]  with cw [ j]  in the second term,

                                     λ j cw  [ j]  − λ k cw  [ j]  = c(λ j − λ k )w  [ j]  = 0  (3.87)

                  This poses a contradiction with w [ j]   = 0 when λ j  = λ k and thus we cannot have cw [ j]  =
                    [k]
                  w . As w [ j]  and w [k]  cannot be parallel, they are linearly independent. Thus, if A has N
                                             [1]
                  distinct eigenvalues, no two of {w ,..., w [N] } can be parallel and the eigenvectors form
                  a complete basis set.                                               QED
   126   127   128   129   130   131   132   133   134   135   136