2
$\begingroup$

I´m having problems to prove the Leslie matrix characteristic polynomial.

I have to prove that the characteristic polynomial is: $ \ λ^{n}-a_{1}λ^{n-1}-a_{2}b_{1}λ^{n-2}-a_{3}b_{1} b_{2}λ^{n-3} - ... - a_{n}b_{1} b_{2}...b_{n-1}\ $

I would apreciate some light!

  • 3
    Please write what Leslie matrix is . It gives you greater chance of getting an answer .2012-06-15

1 Answers 1

2

I'm assuming (from Wikipedia) that the matrix is $\begin{pmatrix} a_1 & a_2 & a_3 & a_4 & ... & a_n \\ b_1 & 0 & 0 & 0 & ... & 0 \\ 0 & b_2 & 0 & 0 & ... & 0 \\0 & 0 & b_3 & 0 & ... & 0 \\ 0 & 0 & 0 & .. & .. & 0 \\ 0 & 0 & 0 & ... & b_{n-1} & 0\end{pmatrix}$

Use induction on $n$. For $n = 1$ the proof is easy.

For $n > 1$ use Laplace expansion on the farthest right column to get

$\det \begin{pmatrix} t - a_1 & -a_2 & -a_3 & -a_4 & ... & -a_n \\ -b_1 & t & 0 & 0 & ... & 0 \\ 0 & -b_2 & t & 0 & ... & 0 \\0 & 0 & -b_3 & t & ... & 0 \\ 0 & 0 & 0 & .. & .. & 0 \\ 0 & 0 & 0 & ... & -b_{n-1} & t\end{pmatrix}$

= $t *\det \begin{pmatrix} t - a_1 & -a_2 & -a_3 & -a_4 & ... & -a_{n-1} \\ -b_1 & t & 0 & 0 & ... & 0 \\ 0 & -b_2 & t & 0 & ... & 0 \\0 & 0 & -b_3 & t & ... & 0 \\ 0 & 0 & 0 & .. & .. & 0 \\ 0 & 0 & 0 & ... & -b_{n-2} & t\end{pmatrix}$ $ + (-1)^n * \det \begin{pmatrix} -b_1 & t & 0 & ... & 0 \\ 0 & -b_2 & t & ... & 0 \\ 0 & 0 & -b_3 & ... & 0 \\ 0 & 0 & 0 & ... & t \\ 0 & 0 & 0 & ... & -b_{n-1} \end{pmatrix}$ $= t(t^{n-1} -a_1 t^{n-2} - a_2 b_1 t^{n-2} - ... - a_{n-1}b_1b_2...b_{n-2}) - b_1 b_2...b_{n-1}$ $= t^n - a_1 t^{n-1} - a_2 b_1 t^{n-2} - ... - a_n b_1 b_2 ... b_{n-1}$ as claimed.

  • 0
    Think I got it,man!2012-06-15