Let with . Taking the Hermitian inner product with gives . For an anti-Hermitian matrix,
Consequently . As , the eigenvalue satisfies , or . Zero is included as a purely imaginary eigenvalue.
If were a singular matrix, a nonzero vector would satisfy , so . This would make an eigenvalue of the anti-Hermitian matrix, contrary to part (a). Thus . The same argument shows is an invertible matrix, which will also be used below.
Taking the conjugate transpose term by term in the convergent matrix exponential gives
The matrices and commute, so the matrix exponential product law gives and likewise . Hence .
For , use the inverse and product rules for the conjugate transpose:
The factors commute, as do their inverses, since they are expressions in the same matrix. Consequently
and similarly . Therefore . This rational construction is the skew-Hermitian form of the Cayley transform of a Hermitian matrix, obtained by writing with a Hermitian matrix.
If , then , and the matrix exponential series gives . Also , since . Thus
The assumed diagonalization ensures that these account for all eigenvalues, including multiplicities. In particular, for ,
both of modulus one, in agreement with the unitary matrix property.
Here . Splitting the matrix exponential into even and odd powers therefore gives
For the second matrix, , so . Hence
Both are real orthogonal matrices, and hence also unitary matrices.

Articles by others on the same topic (0)

There are currently no matching articles.