Fonctions d’une variable réelle, IV, p. 41
Soit t↦A(t) une application réglée de J dans L(E) telle que, pour deux points quelconques s,t de J, A(s) et A(t) soient permutables. On pose B(t)=∫t0tA(s)ds. Montrer que la résolvante C(t,t0) de l’équation dx/dt=A(t).x est égale à exp(B(t)).
Si t↦A1(t), t↦A2(t) sont deux applications réglées de J dans L(E) telles que, pour deux points quelconques s,t de J, A1(s),A1(t),A2(s),A2(t) soient deux à deux permutables, montrer que l’on a
exp(∫t0t(A1(s)+A2(s))ds)=exp(∫t0tA1(s)ds)exp(∫t0tA2(s)ds).