Matrix polynomial

The characteristic polynomial of a matrix A is a scalar-valued polynomial, defined by ${\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 itself, the result is the zero matrix: ${\displaystyle p_{A}(A)=0}$. The characteristic polynomial is thus a polynomial which annihilates A.

There is a unique monic polynomial of minimal degree which annihilates A; this polynomial is the minimal polynomial. Any polynomial which annihilates A (such as the characteristic polynomial) is a multiple of the minimal polynomial.[2]

It follows that given two polynomials P and Q, we have ${\displaystyle P(A)=Q(A)}$ if and only if

${\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 ${\displaystyle P^{(j)}}$ denotes the jth derivative of P and ${\displaystyle \lambda _{1},\dots ,\lambda _{s}}$ are the eigenvalues of A with corresponding indices ${\displaystyle n_{1},\dots ,n_{s}}$ (the index of an eigenvalue is the size of its largest Jordan block).[3]

Matrix polynomials can be used to sum a matrix geometrical series as one would an ordinary geometric series,

${\displaystyle S=I+A+A^{2}+\cdots +A^{n}}$

${\displaystyle AS=A+A^{2}+A^{3}+\cdots +A^{n+1}}$

${\displaystyle (I-A)S=S-AS=I-A^{n+1}}$

${\displaystyle S=(I-A)^{-1}(I-A^{n+1})}$

If I − A is nonsingular one can evaluate the expression for the sum S.

• Latimer–MacDuffee theorem
• Matrix exponential
• Matrix function

• Gohberg, Israel; Lancaster, Peter; Rodman, Leiba (2009) [1982]. Matrix Polynomials. Classics in Applied Mathematics. 58. Lancaster, PA: Society for Industrial and Applied Mathematics. ISBN 0-898716-81-0. Zbl 1170.15300.
• Higham, Nicholas J. (2000). Functions of Matrices: Theory and Computation. SIAM. ISBN 089-871-777-9.CS1 maint: ref=harv (link).
• Horn, Roger A.; Johnson, Charles R. (1990). Matrix Analysis. Cambridge University Press. ISBN 978-0-521-38632-6.CS1 maint: ref=harv (link).