|San José State University|
& Tornado Alley
Let A be a square matrix with complex elements. There is a theorem for determinants that says that the determinant of the exponential function of a matrix is equal to the exponential function of the trace of the matrix; in symbols
First consider the special simple case when A is a diagonal matrix, say Λ=diag(λ1, λ2, …, λn). In this case exp(Λ) is also a diagonal matrix, namely diag(exp(λ1), exp(λ2), …, exp(λn)).
The determinant of exp(Λ) is just the product
Next consider the special case of matrices which are diagonalizable. For such a matrix A there exists a matrix P such that A is equal to P-1ΛP where Λ is a diagonal matrix. The exponential function of a square matrix is defined in terms of the same sort of infinite series that defines the exponential function of a single real number; i.e.,
where I is the appropriate identity matrix.
When P-1ΛP is substituted into A² the result is
Likewise all powers of A are similarly reduced. Thus
Thus it is also true that exp(A) is equal to P-1exp(Λ)P. Furthermore the determinant of a product of square matrices is the product of their determinants. Thus
Another theorem concerning determinants is that the trace of a matrix is equal to the sum of its eigenvalues (taking into account their multiplicities). Thus
Now for the general case: For any n×n matrix A there exists an n×n matrix Q such that
where J is of the canonical Jordan form; i.e., it has the eigenvalues of A on the principal diagonal, the elements next to the principal diagonal on the right are 0 or 1 and all other elements are zero.
From the construction for the previous case it follows that
But all of the elements below the principal diagonal are zero for exp(J) as well as for J. Thus det(exp(J)) is equal to the product of all elements on its principal diagonal. But the elements on the principal diagonal of exp(J) are the exponential function of the elements on the principal diagonal of J. (See Powers of Jordan canonical form matrices
But the trace of J is equal to the trace of A so
(To be continued.)
HOME PAGE OF Thayer Watkins