I'm working through Hale's book on ODE's
EDIT: my 4.1 question has been answered. 4.2 however still does not make sense to me.
He asks 4.1:
Prove that $Be^{At} = e^{At} B$ for all $t $ if and only if $BA=AB $
4.2:
Prove that $e^{At}e^{Bt} = e^{(A+B)t} $ for all $t $ if and only if $BA=AB $
This is all the question provides. We do not know anything about the determinants of the matrices.
My Question
1) the $t $ here is a scalar variable, correct? I need to ask this because...
2) although commutativity implies one direction in both cases, I can find examples for 4.2 for which the converse does not hold and
3) it seems like 4.1 can only be proven assuming that $B $ is an invertible matrix
Am I missing something? Is this problem perhaps not asking what I think?
Note that $$ e^A = 1 + A + \frac {A^2} 2 + \frac{A^3} 6 + \cdots $$ This sum converges uniformly. If $AB = BA$ it should now be clear why $Be^A = e^AB$. The other inclusion follows by differentiation: $$ \frac d {dt} e^{tA} = A e^{tA}. $$ For $e^{A+B} = e^A e^B$ use the binomial theorem, which is valid for every commutative algebra.