Analytic dependence of the solution of a linear differential equation on integrable coefficients (Q2577323)

It is considered a Banach space \(X\) (real or complex), the algebra \(\; L(X,X)\), of linear continuous mappings of \(X\) into itself, the Banach space \(\;L_1([a,b],X)\), of Lebesgue integrable mappings of \([a,b]\) into \(X\) and the linear ordinary differential equation \[ {\displaystyle \frac{d}{dt}x(t) = A(t)x(t) + f(t), \quad t \in [a,b], } \tag{1} \] with the initial condition \[ {\displaystyle x(t_0)=z,}\tag{2} \] where \(t_0\in [a,b], \; A:[a,b]\rightarrow L(X,X)\) is an integrable mapping, \(\; f\in L_1([a,b],X)\) and \(\; z\in X\). A solution of problem (1), (2) is a continuous function which satisfies the integral equation \[ {\displaystyle x(t)=z+\int_{t_0}^tA(\tau)x(\tau)d \tau + \int_{t_0}^tf(\tau)d \tau}. \tag{3} \] The author proves that the mapping \[ r:L_1([a,b],L(X,X))\times L_1([a,b],X)\times X \rightarrow C([a,b]^2,X) \] that takes each triple \((A,f,z)\in L_1([a,b],L(X,X))\times L_1([a,b],X)\times X\) to the continuous function \(x\in C([a,b]^2,X)\) satisfying the integral equation (3) is analytic on the product \(L_1([a,b],L(X,X))\) \(\times L_1([a,b],X)\times X\).