It is surprising why the n-th order equation xn+c1xn−1+⋯+cn=0 (and corresponding recurrence relation, xn+c1xn−1+⋯+cn=0) has the characteristic polynomial of λn+c1λn−1+⋯+cn=0?
I have investigated the second order x2+c1x+c2=0:
[x2x]=[−c1−c210][x1]=x[x1]
Here [−c1−c210][x1]=x[x1], which means that x is an eigenvalue symbol, which is often denoted λ. Let's compute it by taking determinant
|−c1−x−c21−x|=x(c1+x)+c2=x2+c1x+c2=0
Incredibly, it is exactly reproduces to the original recurrence equation. I can also do the same for the 3rd order equation, x3+c1x2+c2x+c3=0:
[x3x2x]=[−c1−c2−c3100010][x2x1]. Take the determinant for characteristic polynomial:
|−c1−x−c2−c31−x001−x|=−|−c2−c31−x|−x|−c1−x−c30−x|=
=−c2x−c3−x2(c1−x)=(x3+c1x2+c2x+c3)(−1)=0
Again, received characteristic polynomial is exactly the original equation. I do not know how they prove this equality for arbitrary n, since the determinant computation turns out quite complex, despite a lot of zeros in the eigenmatrix. But, we see that recurrence relation, a polynomial and their characteristic polynomial are just the same things. This closes the issue I've started a long time ago.
I have investigated the second order x2+c1x+c2=0:
[x2x]=[−c1−c210][x1]=x[x1]
Here [−c1−c210][x1]=x[x1], which means that x is an eigenvalue symbol, which is often denoted λ. Let's compute it by taking determinant
|−c1−x−c21−x|=x(c1+x)+c2=x2+c1x+c2=0
Incredibly, it is exactly reproduces to the original recurrence equation. I can also do the same for the 3rd order equation, x3+c1x2+c2x+c3=0:
[x3x2x]=[−c1−c2−c3100010][x2x1]. Take the determinant for characteristic polynomial:
|−c1−x−c2−c31−x001−x|=−|−c2−c31−x|−x|−c1−x−c30−x|=
=−c2x−c3−x2(c1−x)=(x3+c1x2+c2x+c3)(−1)=0
Again, received characteristic polynomial is exactly the original equation. I do not know how they prove this equality for arbitrary n, since the determinant computation turns out quite complex, despite a lot of zeros in the eigenmatrix. But, we see that recurrence relation, a polynomial and their characteristic polynomial are just the same things. This closes the issue I've started a long time ago.
No comments:
Post a Comment