Integration, IV, p. 120
Let I be an interval in R, f a mapping of X×I into a Banach space F, such that: 1∘ for every α∈I, the mapping t↦f(t,α) of X into F is integrable; 2∘ for every t∈X, the mapping α↦f(t,α) has a derivative fα′(t,α) in I; 3∘ there exists an integrable function g⩾0 such that ∣fα′(t,α)∣⩽g(t) for all t∈X and all α∈I. Under these conditions, show that the function u(α)=∫f(t,α)dμ(t) is differentiable in I and that
u′(α)=∫fα′(t,α)dμ(t).