Determinant of the exponential of a matrix

Click For Summary
SUMMARY

The determinant of the exponential of a matrix B, denoted as \(\det e^B\), is equal to \(e^{tr B}\), where \(tr B\) represents the trace of B. This relationship is established through the Jordan canonical form, where B can be expressed as \(BP = PJ\) with P being an invertible matrix and J a diagonal matrix of Jordan blocks. The determinant of \(e^B\) is shown to equal the determinant of \(e^J\), which is computed as the product of the diagonal entries of \(e^J\), thus confirming that \(\det e^B = e^{tr B}\).

PREREQUISITES
  • Understanding of matrix exponentiation
  • Familiarity with the Jordan canonical form
  • Knowledge of matrix determinants
  • Concept of matrix trace
NEXT STEPS
  • Study the properties of matrix exponentials in linear algebra
  • Learn about the Jordan canonical form and its applications
  • Explore the computation of determinants for triangular matrices
  • Investigate the relationship between eigenvalues and matrix trace
USEFUL FOR

Mathematicians, students of linear algebra, and anyone interested in advanced matrix theory and its applications in various fields such as physics and engineering.

jdstokes
Messages
520
Reaction score
1
Let [itex]B \in \mathbb{R}^{n\times n}.[/itex]Show that [itex]\det e^B = e^{tr B}[/itex] where tr B is the trace of of B.

Clearly [itex]e^{tr B}[/itex] is the product of the diagonal entries of [itex]e^{B}[/itex].

By the Jordan canonical for theorem, [itex]\exists P,J \in \mathbb{C}^{n \times n}[/itex] where P is invertible and J is a diagonal sum of Jordan blocks, such that

[itex]BP = PJ[/itex]
[itex]P^{-1}BP = J[/itex]
[itex]P^{-1}e^{B}P = e^{J}[/itex]
[itex]e^{B} = Pe^{J}P^{-1}[/itex]
[itex]\det e^{B} = \det P \det e^{J} \det P^{-1}[/itex]
[itex]\det e^{B} = \det e^{J}[/itex]

This is where I get stuck. Since [itex]e^{J}[/itex] is upper triangular, its determinant is the product of its diagonal entries, but why should this be equal to the product of the diagonal entries of [itex]e^{B}[/itex]?

Thanks
 
Last edited:
Physics news on Phys.org
Can you compute [itex]\det e^J[/itex] explicitly (in terms of the eigenvalues of B)? If so, then you can use the fact that the traces of similar matrices are equal.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
13
Views
34K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K