Let t↦A(t) be a regulated map from J into L(E) such that, for any two points s, t of J, A(s) and A(t) commute. Put B(t)=∫t0tA(s)ds. Show that the resolvent C(t,t0) of the equation dx/dt=A(t).x is equal to exp(B(t)).
If t↦A1(t),t↦A2(t) are two regulated functions from J into L(E) such that, for any two points s, t of J, A1(s),A1(t),A2(s),A2(t) commute pairwise, show that
exp(∫t0t(A1(s)+A2(s))ds)=exp(∫t0tA1(s)ds)exp(∫t0tA2(s)ds).