Matrix polynomial

${\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 ${\displaystyle A}$ is

${\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 ${\displaystyle I}$ is the identity matrix.

Note that ${\displaystyle P(A)}$ has the same dimension as ${\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 M_n(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 ${\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 ${\displaystyle A}$ itself, the result is the zero matrix: ${\displaystyle p_A(A)=0}$. An polynomial annihilates ${\displaystyle A}$ if ${\displaystyle p(A)=0}$; ${\displaystyle p}$ is also known as an annihilating polynomial. Thus, the characteristic polynomial is a polynomial which annihilates ${\displaystyle A}$.

There is a unique monic polynomial of minimal degree which annihilates ${\displaystyle A}$; this polynomial is the minimal polynomial. Any polynomial which annihilates ${\displaystyle A}$ (such as the characteristic polynomial) is a multiple of the minimal polynomial.

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

${\displaystyle P^{(j)}({\lambda }_i)=Q^{(j)}({\lambda }_i)\text{for }j=0,\dots ,n_i-1\text{ and }i=1,\dots ,s,}$

where ${\displaystyle P^{(j)}}$ denotes the ${\displaystyle j}$th derivative of ${\displaystyle P}$ and ${\displaystyle {\lambda }_1,\dots ,{\lambda }_s}$ are the eigenvalues of ${\displaystyle A}$ with corresponding indices ${\displaystyle n_1,\dots ,n_s}$ (the index of an eigenvalue is the size of its largest Jordan block).