SolitaryRoad.com

Website owner:  James Miller


[ Home ] [ Up ] [ Info ] [ Mail ]

Lambda matrices, matrix polynomials, division of λ-matrices, remainder theorem, scalar matrix polynomials, Cayley-Hamilton theorem


 

Lambda matrix. A matrix whose elements are polynomials in the variable λ.


Let F[λ] be a polynomial domain consisting of the set of all polynomials in λ with coefficients in field F. A non-zero mxn matrix over F[λ]


                              ole.gif


is called a λ-matrix.



Example.


      ole1.gif






Matrix polynomial.. A matrix polynomial can take any of the following three forms:


   ole2.gif  


where the coefficients ole3.gif are mxn matrices over a field F and the indeterminate λ is a number.



 Example.


  ole4.gif  




 




  ole5.gif


where the coefficients ole6.gif are numbers and the indeterminate C is a matrix.






  ole7.gif


where the coefficients ole8.gif are matrices and the indeterminate C is a matrix.






Representation of a λ-matrix as a matrix polynomial. Any mxn λ-matrix can be written as a matrix polynomial. Let “p” be the degree of the polynomial of highest degree found in A(λ). Then A(λ) can be written as the following matrix polynomial:


          ole9.gif


where ole10.gif are mxn matrices.



Example.


    ole11.gif


                         ole12.gif


  

Singular and non-singular λ-matrices. The determinant of an n-square λ-matrix is a polynomial in λ and if this determinant vanishes identically we call the matrix singular. Otherwise it is called non-singular.



Proper and improper λ-matrices. An n-square λ-matrix A(λ) is called proper if the matrix ole13.gif in the matrix polynomial


     ole14.gif                                                                                                 


is non-singular. It is called improper if matrix ole15.gif is singular.




Operations with λ-matrices. Consider the two n-square λ-matrices A(λ) and B(λ) and their matrix polynomial equivalents:


   ole16.gif

and

   ole17.gif



Equality of two λ-matrices. Two λ-matrices A(λ) and B(λ) are said to be equal if p = q and ole18.gif (i = 0, 1, 2, ... , p) in their matrix polynomial representations.


Sum of two λ-matrices. The sum of A(λ) and B(λ), A(λ) + B(λ), is a λ-matrix C(λ) obtained by adding corresponding elements of A(λ) and B(λ).


The product A(λ) B(λ) is a λ-matrix or matrix polynomial of degree at most p + q. If either A(λ) or B(λ) is non-singular, the degree of A(λ) B(λ) and also B(λ) A(λ) is exactly p + q.


A λ-matrix and its matrix polynomial equivalent are identically equal and the equality is not disturbed by replacing λ with any scalar k of F. For example, putting λ = k in (4) yields


                ole19.gif


However, when λ is replaced by an n-square matrix C, two results can be obtained due to the fact that, in general, two n-square matrices do not commute. These two results correspond to


    ole20.gif

and

   ole21.gif


where AR(C) is called the right functional value of A(λ) and AL(C) is called the left functional value of A(λ).



Division of λ-matrices. Consider the matrix polynomials


                ole22.gif

and

                ole23.gif


If B(λ) is non-singular, then there exist unique matrix polynomials Q1(λ), R1(λ), Q2(λ), and R2(λ) where R1(λ) and R2(λ) are either zero or of degree less than that of B(λ), such that


             ole24.gif

 

             ole25.gif   


If ole26.gif = 0 , ole27.gif is called a right divisor of ole28.gif .

If ole29.gif = 0 , ole30.gif is called a left divisor of ole31.gif .




Scalar matrix polynomials. Let


          ole32.gif


where the coefficients ole33.gif and the indeterminate λ are scalars from a number field F. A matrix polynomial ole34.gif of the form


        ole35.gif

                    ole36.gif

                   ole37.gif

                                       

(where In is the identity matrix) is called a scalar matrix polynomial. A scalar matrix polynomial is a matrix polynomial whose coefficients are scalar matrices.


Example. The following is a scalar matrix polynomial:


    ole38.gif




Theorem 1. A scalar matrix polynomial B(λ) = b(λ)∙In commutes with every n-square matrix polynomial.



Theorem 2. If

                           ole39.gif

and

                        ole40.gif    

 

then there exist unique matrix polynomials Q1(λ) and R1(λ) such that


         ole41.gif

 

                               ole42.gif  


and if ole43.gif = 0 , ole44.gif divides ole45.gif .




Theorem 3. A matrix polynomial



                       ole46.gif



of degree n is divisible by a scalar matrix polynomial ole47.gif if and only if every ole48.gif in ole49.gif is divisible by ole50.gif .





The Remainder Theorem. Let ole51.gif be an n-square λ-matrix over the polynomial domain F[λ]


     ole52.gif


and let B = [bij] be an n-square matrix over field F. Since λI - B is non-singular, we may write


                                       ole53.gif   

and

                                      ole54.gif  


where ole55.gif and ole56.gif are free of λ.



Theorem 4. If ole57.gif is divided by λI - B, where B = [bij] is n-square, until remainders ole58.gif and

ole59.gif , free of λ, are obtained, then


             ole60.gif    

and

            ole61.gif  


(where AR(B) and AL(B) are the right and left functional values of ole62.gif ).



When ole63.gif is a scalar matrix polynomial


      ole64.gif    


the remainders are identical so that


         ole65.gif




Theorem 5. If a scalar matrix polynomial ole66.gif is divided by λI - B until a remainder R, free of λ, is obtained, then R = f(B).




Theorem 6. A scalar matrix polynomial ole67.gif is divisible by λI - B if and only if f(B) = 0.



 

Cayley-Hamilton Theorem. Every square matrix A = [aij] satisfies its characteristic equation Φ(λ) = 0.


Proof. Let A be a n-square matrix having characteristic matrix (λI - A) and characteristic equation Φ(λ) = |λI - A| = 0. A theorem on adjoints states that for any matrix A


                        A(adj A) = |A| In .


Applying this theorem to the characteristic matrix (λI - A) we get


                        (λI - A) ·adj (λI - A) = Φ(λ)·I .


Thus Φ(λ)·I is divisible by λI - A and, by Theorem 6, Φ(A) = 0.




References.

  Ayres. Matrices (Schaum).


[ Home ] [ Up ] [ Info ] [ Mail ]