In mathematics, a matrix polynomial is a polynomial with square matrices as variables. Given an ordinary, scalar-valued polynomial
P ( x ) = ∑ i = 0 n a i x i = a 0 + a 1 x + a 2 x 2 + ⋯ + a n x n , {\displaystyle P(x)=\sum _{i=0}^{n}{a_{i}x^{i}}=a_{0}+a_{1}x+a_{2}x^{2}+\cdots +a_{n}x^{n},}this polynomial evaluated at a matrix A {\displaystyle A} is
P ( A ) = ∑ i = 0 n a i A i = a 0 I + a 1 A + a 2 A 2 + ⋯ + a n A n , {\displaystyle P(A)=\sum _{i=0}^{n}{a_{i}A^{i}}=a_{0}I+a_{1}A+a_{2}A^{2}+\cdots +a_{n}A^{n},}where I {\displaystyle I} is the identity matrix.
Note that P ( A ) {\displaystyle P(A)} has the same dimension as A {\displaystyle A} .
A matrix polynomial equation is an equality between two matrix polynomials, which holds for the specific matrices in question. A matrix polynomial identity is a matrix polynomial equation which holds for all matrices A in a specified matrix ring Mn(R).
Matrix polynomials are often demonstrated in undergraduate linear algebra classes due to their relevance in showcasing properties of linear transformations represented as matrices, most notably the Cayley–Hamilton theorem.
Characteristic and minimal polynomial
The characteristic polynomial of a matrix A is a scalar-valued polynomial, defined by p A ( t ) = det ( t I − A ) {\displaystyle p_{A}(t)=\det \left(tI-A\right)} . The Cayley–Hamilton theorem states that if this polynomial is viewed as a matrix polynomial and evaluated at the matrix A {\displaystyle A} itself, the result is the zero matrix: p A ( A ) = 0 {\displaystyle p_{A}(A)=0} . An polynomial annihilates A {\displaystyle A} if p ( A ) = 0 {\displaystyle p(A)=0} ; p {\displaystyle p} is also known as an annihilating polynomial. Thus, the characteristic polynomial is a polynomial which annihilates A {\displaystyle A} .
There is a unique monic polynomial of minimal degree which annihilates A {\displaystyle A} ; this polynomial is the minimal polynomial. Any polynomial which annihilates A {\displaystyle A} (such as the characteristic polynomial) is a multiple of the minimal polynomial.2
It follows that given two polynomials P {\displaystyle P} and Q {\displaystyle Q} , we have P ( A ) = Q ( A ) {\displaystyle P(A)=Q(A)} if and only if
P ( j ) ( λ i ) = Q ( j ) ( λ i ) for j = 0 , … , n i − 1 and i = 1 , … , s , {\displaystyle P^{(j)}(\lambda _{i})=Q^{(j)}(\lambda _{i})\qquad {\text{for }}j=0,\ldots ,n_{i}-1{\text{ and }}i=1,\ldots ,s,}where P ( j ) {\displaystyle P^{(j)}} denotes the j {\displaystyle j} th derivative of P {\displaystyle P} and λ 1 , … , λ s {\displaystyle \lambda _{1},\dots ,\lambda _{s}} are the eigenvalues of A {\displaystyle A} with corresponding indices n 1 , … , n s {\displaystyle n_{1},\dots ,n_{s}} (the index of an eigenvalue is the size of its largest Jordan block).3
Matrix geometrical series
Matrix polynomials can be used to sum a matrix geometrical series as one would an ordinary geometric series,
S = I + A + A 2 + ⋯ + A n {\displaystyle S=I+A+A^{2}+\cdots +A^{n}} A S = A + A 2 + A 3 + ⋯ + A n + 1 {\displaystyle AS=A+A^{2}+A^{3}+\cdots +A^{n+1}} ( I − A ) S = S − A S = I − A n + 1 {\displaystyle (I-A)S=S-AS=I-A^{n+1}} S = ( I − A ) − 1 ( I − A n + 1 ) {\displaystyle S=(I-A)^{-1}(I-A^{n+1})}If I − A {\displaystyle I-A} is nonsingular one can evaluate the expression for the sum S {\displaystyle S} .
See also
Notes
- Gohberg, Israel; Lancaster, Peter; Rodman, Leiba (2009) [1982]. Matrix Polynomials. Classics in Applied Mathematics. Vol. 58. Lancaster, PA: Society for Industrial and Applied Mathematics. ISBN 978-0-898716-81-8. Zbl 1170.15300.
- Higham, Nicholas J. (2000). Functions of Matrices: Theory and Computation. SIAM. ISBN 089-871-777-9..
- Horn, Roger A.; Johnson, Charles R. (1990). Matrix Analysis. Cambridge University Press. ISBN 978-0-521-38632-6..
References
Horn & Johnson 1990, p. 36. - Horn, Roger A.; Johnson, Charles R. (1990). Matrix Analysis. Cambridge University Press. ISBN 978-0-521-38632-6. ↩
Horn & Johnson 1990, Thm 3.3.1. - Horn, Roger A.; Johnson, Charles R. (1990). Matrix Analysis. Cambridge University Press. ISBN 978-0-521-38632-6. ↩
Higham 2000, Thm 1.3. - Higham, Nicholas J. (2000). Functions of Matrices: Theory and Computation. SIAM. ISBN 089-871-777-9. ↩