Intégrale à paramètre
Supposons que $f$ soit une fonction de deux variables définies sur $J\times I$, où $I$ et $J$ sont des intervalles, à valeurs dans $\mathbb R$. On peut alors intégrer $f$ par rapport à une variable, par exemple la seconde, sur l'intervalle $I$. On obtient une valeur qui dépend de la première variable. Plus précisément, on définit une fonction F sur $J$ par $$F(x)=\int_I f(x,t)dt.$$ On dit que la fonction $F$ est une intégrale dépendant du paramètre $x$. On parle plus communément d'intégrale à paramètre.
Bien sûr, on ne peut pas en général calculer explicitement la valeur de $F(x)$ pour chaque $x$. Pour pouvoir étudier $F$, on a besoin de théorèmes généraux permettant de déterminer si $F$ est continue, dérivable et de pouvoir exprimer la dérivée.
- pour tout $t\in I$, la fonction $x\mapsto f(x,t)$ est continue sur $A$;
- pour tout $x\in A$, la fonction $t\mapsto f(x,t)$ est continue par morceaux sur $I$;
- il existe $g:I\to\mathbb R_+$ continue par morceaux et intégrable telle que, pour tout $x\in A$ et tout $t\in I$, $$|f(x,t)|\leq g(t).$$
Le théorème précédent est énoncé dans un cadre peu général. On peut remplacer continue par morceaux par mesurable, remplacer la mesure de Lebesgue par toute autre mesure positive.... Il est en revanche important de noter que la fonction notée $g$ qui majore ne dépend pas de $x$. On a besoin d'une telle fonction car ce théorème est une conséquence facile du théorème de convergence dominée.
- pour tout $x\in J$, la fonction $t\mapsto f(x,t)$ est continue par morceaux sur $I$ et intégrable sur $I$;
- $f$ admet une dérivée partielle $\frac{\partial f}{\partial x}$ définie sur $J\times I$;
- pour tout $x\in J$, la fonction $t\mapsto \frac{\partial f}{\partial x}(x,t)$ est continue par morceaux sur $I$;
- pour tout $t\in I$, la fonction $x\mapsto \frac{\partial f}{\partial x}(x,t)$ est continue sur $J$;
- il existe $g:I\to\mathbb R_+$ continue par morceaux et intégrable telle que, pour tout $x\in J$ et tout $t\in I$, $$\left|\frac{\partial f}{\partial x}(x,t)\right|\leq g(t).$$
- Pour tout $z$ de $U$, la fonction $t\mapsto f(z,t)$ est mesurable;
- Pour tout $t$ de $T$, la fonction $z\mapsto f(z,t)$ est holomorphe dans $U$;
- Pour toute partie compacte $K$ de $U$, il existe une fonction $u_K\in L^1(T,\mu)$ telle que, pour tout $z$ de $K$ et tout $t$ de $T$, on a $|f(z,t)|\leq |u_K(t)|$.