Calculating Derivatives and Traces to Solving for det(I + tA) = tr(A)

  • Context: Graduate 
  • Thread starter Thread starter jakey
  • Start date Start date
  • Tags Tags
    Derivatives Trace
Click For Summary

Discussion Overview

The discussion revolves around demonstrating the relationship between the derivative of the determinant of the matrix \(I + tA\) at \(t=0\) and the trace of matrix \(A\). Participants explore various approaches to generalize the calculation beyond specific cases, particularly focusing on definitions and properties of determinants and traces.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant seeks hints on generalizing the derivative calculation of \(\det(I + tA)\) to show it equals \(\text{tr}(A)\) at \(t=0\).
  • Another participant suggests using the definition of the determinant, prompting a discussion about which specific definition to employ.
  • A participant references the co-factor expansion and discusses the implications of the identity permutation in relation to the determinant's polynomial expansion.
  • It is noted that the identity permutation is an even permutation, which may have relevance to the determinant's properties.
  • Another participant introduces the concept that \(\det(I + tA) = \det(I - (-t)A)\) relates to the characteristic polynomial of \(A\) evaluated at \(-t\), and questions how this connects to the trace and eigenvalues of \(A\).

Areas of Agreement / Disagreement

Participants express various viewpoints and approaches without reaching a consensus. Multiple competing ideas about definitions and methods for proving the relationship remain unresolved.

Contextual Notes

Some limitations include the dependence on specific definitions of the determinant and the trace, as well as the unresolved nature of the mathematical steps involved in the generalization.

jakey
Messages
51
Reaction score
0
Hey guys, any hints on how to show that [tex]\frac{d}{dt}[/tex]|t=0 [tex]det(I + tA) = tr(A)[/tex]? I did it for 2x2 but I can't figure out a generalization. Thanks
 
Physics news on Phys.org
Did you try to use the definition of the determinant to conclude something?
 
radou said:
Did you try to use the definition of the determinant to conclude something?

Which definition? Hmm, the co-factor expansion?
 
Some people have a thing about Wikipedia articles, but I don't believe it matters right now.

http://en.wikipedia.org/wiki/Leibniz_formula_for_determinants

So, after examining this definition (which may seem a bit complicated at the first glance, and if there is an easier way to prove it, it would be nice) you can conclude that the only permutation which generates a polynomial with a non-zero coefficient for t is the identity permutation. After taking the derivative with respect to t of your determinant, and setting t = 0, everything vanishes except the coefficient of t, which equals Tr(A). This can be seen if you try to multiply (t a11 + 1)(t a22 + 1), or (t a11 + 1)(t a22 + 1)(t a33 + 1), etc. i.e. you will always have a term of the form t(a11 + a22 + a33 + ...) generated. All the other polynomials appearing in your sum of permutations are irrelevant, since they all vanish at t = 0, and the constant term is eliminated by taking the derivative itself.
 
Oh yes, and note that the identity permutation is an even one.
 
Note that [itex]\det \left(I+tA\right)=\det \left(I-\left(-t\right)A\right)[/itex] is the characteristic polynomial of [itex]A[/itex] evaluated at -t.

Now, for any polynomial, the t term is the symmetric of the sum of its roots; you may see this by looking at its factorization:

[tex]p\left(x\right)=a\left(x-r_1\right)\left(x-r_2\right)\cdots\left(x-r_n\right)[/tex]

So, when you differentiate [itex]p\left(-t)[/itex] and set [itex]t=0[/itex], what will be the only term left? And how is the trace of [itex]A[/itex] related to its eigenvalues?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 5 ·
Replies
5
Views
14K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
3K
Replies
1
Views
1K