![]() | ||
In mathematics (linear algebra), the Faddeev–LeVerrier algorithm is a recursive method to calculate the coefficients of the characteristic polynomial
Contents
The algorithm has been independently rediscovered several times, in some form or another. It was first published in 1840 by Urbain Le Verrier, subsequently redeveloped by P. Horst, Jean-Marie Souriau, in its present form here by Faddeev and Sominsky, and further by J. S. Frame, and others. (For historical points, see Householder. An elegant shortcut to the proof, bypassing Newton polynomials, was introduced by Hou. The bulk of the presentation here follows Gantmacher, p. 88.)
The Algorithm
The objective is to calculate the coefficients ck of the characteristic polynomial of the n×n matrix A,
where, evidently, cn = 1 and c0 = (−1)n det A.
The coefficients are determined recursively from the top down, by dint of the auxiliary matrices M,
Thus,
etc., ...;
Observe A−1 = − Mn /c0 = (−)n−1Mn/detA terminates the recursion at λ. This could be used to obtain the inverse or the determinant of A.
Derivation
The proof relies on the modes of the adjugate matrix, Bk ≡ Mn−k, the auxiliary matrices encountered. This matrix is defined by
and is thus proportional to the resolvent
It is evidently a matrix polynomial of order λn−1. Thus,
where one may define the harmless M0≡0.
Inserting the explicit polynomial forms into the defining equation for the adjugate, above,
Now, at the highest order, the first term vanishes by M0=0; whereas at the bottom order (constant in λ, from the defining equation of the adjugate, above),
so that shifting the dummy indices of the first term yields
which thus dictates the recursion
for m=1,...,n. Note that ascending index amounts to descending in powers of λ, but the polynomial coefficients c are yet to be determined in terms of the Ms and A.
This can be easiest achieved through the following auxiliary equation (Hou, 1998),
This is but the trace of the defining equation for B by dint of Jacobi's formula,
Inserting the polynomial mode forms in this auxiliary equation yields
so that
and finally
This completes the recursion of the previous section, unfolding in descending powers of λ.
Further note in the algorithm that, more directly,
and, in comportance with the Cayley–Hamilton theorem,
The final solution might be more conveniently expressed in terms of complete exponential Bell polynomials as
An equivalent but distinct expression
A compact determinant of an m×m-matrix solution for the above Jacobi's formula may alternatively determine the coefficients c,