Differentiability under Integral Sign

From ProofWiki
Jump to navigation Jump to search


Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Let $\left({a \,.\,.\, b}\right)$ be a non-empty open interval.

Let $f: \left({a \,.\,.\, b}\right) \times X \to \R$ be a mapping satisfying:

$(1): \quad$ For all $t \in \left({a \,.\,.\, b}\right)$, the mapping $x \mapsto f \left({t, x}\right)$ is $\mu$-integrable
$(2): \quad$ For all $x \in X$, the mapping $t \mapsto f \left({t, x}\right)$ is differentiable
$(3): \quad$ There exists a $\mu$-integrable $g: X \to \R$ such that:
$\displaystyle \forall \left({t, x}\right) \in \left({a \,.\,.\, b}\right) \times X: \left\vert{ \frac {\partial} {\partial t} f \left({t, x}\right)}\right\vert \le g \left({x}\right)$

Then the mapping $h: \left({a \,.\,.\, b}\right) \to \R$ defined by:

$\displaystyle h \left({t}\right) := \int f \left({t, x}\right) \, \mathrm d \mu \left({x}\right)$

is differentiable, and its derivative is:

$\displaystyle D_t \, h \left({t}\right) = \int \frac {\partial} {\partial t} f \left({t, x}\right) \, \mathrm d \mu \left({x}\right)$