Coefficients of the characteristic equation

Click For Summary

Discussion Overview

The discussion revolves around the coefficients of the characteristic polynomial of a matrix, specifically focusing on the expressions for the coefficients \(C_n\), \(C_{n-1}\), and \(C_0\). Participants explore the derivation of these coefficients and their relationship to the matrix's eigenvalues, determinant, and trace.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents the characteristic polynomial as \(C_n \lambda^{n} + C_{n-1} \lambda^{n-1} + ... + C_{1} \lambda + C_{0} = 0\) and states the formulas for the coefficients, expressing difficulty in proving them.
  • Another participant clarifies that the characteristic polynomial is the determinant of \(T - xI\) and discusses the leading term \(C_n = (-1)^n\) derived from the determinant's properties.
  • One participant asserts that \(C_0 = \text{Det}(T)\) is straightforward as it represents the product of the eigenvalues, linking it to the roots of the characteristic equation.
  • Another participant agrees with the assertion about \(C_0\) and adds that \(C_{n-1}\) corresponds to the negative sum of the roots, suggesting a relationship between the coefficients and the eigenvalues.
  • A later reply raises concerns about the assumptions made regarding the diagonalizability of the matrix \(T\) and the implications of working over different fields for the eigenvalues.

Areas of Agreement / Disagreement

Participants express varying degrees of agreement on the formulas for \(C_0\) and \(C_n\), but there is no consensus on the derivation of \(C_{n-1}\) or the implications of diagonalizability and field considerations.

Contextual Notes

There are unresolved issues regarding the assumptions about the field over which the matrix operates and the diagonalizability of the matrix \(T\), which may affect the validity of some arguments presented.

spaghetti3451
Messages
1,311
Reaction score
31
let's say you are given the following matrix T:

T11 T12 . . . T1n
T21 T22 . . . T2n
. . .
. . .
. . .
Tn1 Tn2 . . . Tnn

You want to find the characteristic equation for the matrix, which is
[itex]C_{n} \lambda^{n} + C_{n-1} \lambda^{n-1} + ... + C_{1} \lambda + C_{0} = 0.[/itex]

Now, [itex]C_{n} = (-1)^{n}[/itex], [itex]C_{n-1} = (-1)^{n-1} Tr(T)[/itex], and [itex]C_{0} = det(T)[/itex].

I have been having a pretty hard proving these three formulae. The first one looks intuitively obvious and I think I have a fairly good understanding of why the second one has the structure that it has. But the complexity of the matrix notation and the fact that there are so many elements in the matrix is halting my attempts to precisely determine each of the formulae from the matrix. I would appreciate any help. Thanks.
 
Last edited:
Physics news on Phys.org
failexam said:
let's say you are given the following matrix T:

T11 T12 . . . T1n
T21 T22 . . . T2n
. . .
. . .
. . .
Tn1 Tn2 . . . Tnn

You want to find the characteristic equation for the matrix, which is
[itex]C_{n} \lambda^{n} + C_{n-1} \lambda^{n-1} + ... + C_{1} \lambda + C_{0} = 0.[/itex]

Now, [itex]C_{n} = (-1)^{n}[/itex], [itex]C_{n-1} = (-1)^{n-1} Tr(T)[/itex], and [itex]C_{0} = det(T)[/itex].

I have been having a pretty hard proving these three formulae. The first one looks intuitively obvious and I think I have a fairly good understanding of why the second one has the structure that it has. But the complexity of the matrix notation and the fact that there are so many elements in the matrix is halting my attempts to precisely determine each of the formulae from the matrix. I would appreciate any help. Thanks.


The characteristic polynomial, not equation (unless equalled to zero or some other number) is the determinant of [itex]T-xI[/itex] .

If we also know that the determinant is the sum of products of n numbers, each one of which is formed with exactly one element from each row and each column of the matrix, we get at once that one of such products in the above determinant is [itex](-x)(-x)\cdot...\cdot (-x)=(-1)^nx^n[/itex] , and there is no other product as above with n x's, so this last is the greatest degree term in the pol., and you get [itex]C_n[/itex] .

Now you try to deduce the other two.

DonAntonio
 
Co = Det (T) is easy. The last term Co is always the product of the roots. The roots of the characteristic equation for the matrix are the eigenvalues. As the product of the eigenvalues is equal to the Determinant, we are done. Proof of the last statement:

Det (T) = Det (P'EP) = Det(P'PE) = Det (I*E) = Det (E) = e1*e2*...

where E is a diagonal matrix with the eigenvalues on the diagonal of matrix T and P'P = I.

Similarly, the second term is always the minus sum of the roots. Note, rescaling the term becomes C(n-1)/C(n) = -1 as was required.
 
Last edited:
ajkoer said:
Co = Det (T) is easy. The last term Co is always the product of the roots. The roots of the characteristic equation for the matrix are the eigenvalues. As the product of the eigenvalues is equal to the Determinant, we are done. Proof of the last statement:

Det (T) = Det (P'EP) = Det(P'PE) = Det (I*E) = Det (E) = e1*e2*...

where E is a diagonal matrix with the eigenvalues on the diagonal of matrix T and P'P = I.

Similarly, the second term is always the minus sum of the roots. Note, rescaling the term becomes C(n-1)/C(n) = -1 as was required.
One minor difficulty with this approach is that the OP didn't specify the field over which they're working, so one might have to enlarge it so that it contains the eigenvalues of T, and then one has to prove that det and Tr once taken over this enlarged field will give the same values as over the original field.

A more serious problem, however, is that your proof seems to assume that T is diagonalizable. This issue really needs to be addressed. (Suggestion: If we're working over a field that contains the eigenvalues of T then, although T may not be diagonalizable over this field, it's still possible to find a matrix P such that ##PTP^{-1}=E## is upper triangular. This would salvage your argument.)
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K