Product rule of exponential matrix differentiation

518 Views Asked by At

Let $X,Y$ be two $n\times n$ complex matrices. Consider the function $f(t)=e^{tX}e^{tY}$. Is it correct that $\frac{d}{dt}f(t)=Xe^{tX}e^{tY}+e^{tX}Ye^{tY}$?

Otherwise, how to prove that $X +Y$ is the tangent vector to $f(t) = e^{tX} e^{tY}$ at $1$?