Let A be an n×n matrix over R. Prove the following statements:
(a) If A is symmetric, then expAt is symmetric.
(b) If A is skew-symmetric, then expAt is orthogonal.
(c) If λ∈R is an eigenvalue of A with corresponding eigenvector x0∈Rn, then u(t)=etλx0 is the solution of the initial value problem
u′=Au,u(0)=x0.
(d) If A is block diagonal:
A=B1B2⋱Bk,
then
expAt=expB1texpB2t⋱expBkt.