Bourbaki

Exercise 3, § 4

Integration, IV, p. 120

Let II be an interval in R\mathbf{R}, ff a mapping of X×IX \times I into a Banach space FF, such that: 1∘1^\circ for every α∈I\alpha \in I, the mapping t↦f(t,α)t \mapsto f(t, \alpha) of XX into FF is integrable; 2∘2^\circ for every t∈Xt \in X, the mapping α↦f(t,α)\alpha \mapsto f(t, \alpha) has a derivative fα′(t,α)f'_\alpha(t, \alpha) in II; 3∘3^\circ there exists an integrable function g⩾0g \geqslant 0 such that ∣fα′(t,α)∣⩽g(t)|f'_\alpha(t, \alpha)| \leqslant g(t) for all t∈Xt \in X and all α∈I\alpha \in I. Under these conditions, show that the function u(α)=∫f(t,α)dμ(t)u(\alpha) = \int f(t, \alpha) d\mu(t) is differentiable in II and that

u′(α)=∫fα′(t,α)dμ(t). u'(\alpha) = \int f'_\alpha(t, \alpha) d\mu(t).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.