Année scolaire

MP1
I . THÉORÈMES DE CONVERGENCE
INTÉGRALES À PARAMÈTRES 2022/2023

Théorème 1: de convergence dominée

Soit ( f n )n∈N une suite de fonctions continues par morceaux sur un intervalle I , à valeurs dans C . On suppose
que :

 [ a) ∀n ∈ N, f est intégrable sur I. ]
 n

 b) La suite de fonctions f n converge simplement sur I vers une fonction f continue

 par morceaux sur I.

 c) Il existe une fonction ϕ continue par morceaux sur I, à valeurs réelles positives,
 et intégrable sur I, telle que : ∀n ∈ N, | f n | ¶ ϕ sur I (hypothèse de domination).
Alors :
 Z Z


 f est intégrable sur I, et : f = lim fn
 n→+∞
I I

Rem : On peut se dispenser de l’hypothèse a) , car f n intégrable sur I est en fait une conséquence de
l’hypothèse c) (d’après les théorèmes de comparaison sur l’intégrabilité de fonctions à valeurs réelles
positives).

Théorème 2: Intégration termes à terme d une série de fonctions:

Soit (un )n∈N une suite de fonctions continues par morceaux sur un intervalle I , à valeurs dans C . On
suppose que :

 a) ∀n ∈ N, un est intégrableP sur I.

 b) La série de fonctions un converge simplement sur I, et sa fonction somme s

 est continue par morceaux sur I.
 +∞ Z
X

 c) La série
 |un | converge.
n=0 I
Alors :
 Z
 +∞
X +∞ Z
X

 s= un est intégrable sur I, et : s = un
 n=0 I n=0 I

I I. Continuité
Théorème 3:
Soit f une fonction définie sur I × J , où I ,et J sont des intervalles réels, à valeurs dans
K = R ou C . On suppose que :

 a) ∀x ∈ I, t 7→ f (x, t) est continue par morceaux.
 b) ∀t ∈ J, la fonction x 7→ f (x, t) est continue sur I
 c) Il existe une fonction ϕ, continue par morceaux sur J, à valeurs dans R+ , et

 intégrable sur J telle que :
∀(x, t) ∈ I × J , f (x, t) 6 ϕ(t) (hypothèse de domination)


Alors : Z

 la fonction g : x 7→ f (x, t) dt est continue sur I.
J


Rem : 1) L’hypothèse c) implique que t 7→ f (x, t) est intégrable sur J , c’est-à-dire que
la définition de g a bien un sens.
2) Le résultat de ce théorème reste vrai si on suppose seulement que l’hypothèse
de domination est vérifiée pour (x, t) ∈ K × J , pour tout compact K de I .

1/3
III . Dérivation
Théorème 4:
Soit f une fonction définie sur I × J , où I ,et J sont des intervalles réels, à valeurs dans
K = R ou C . On suppose que :

a) ∀x ∈ I, t 7→ f (x, t) est continue par morceaux et intégrable sur J.



 b) ∀t ∈ J, la fonction x 7→ f (x, t) est dérivable sur I.
 ∂f
 c) pour tout x ∈ I, la fonction t 7→ (x, t) est continue par morceaux sur J .
 ∂x
∂f
d) pour tout t ∈ J, la fonction x 7→ (x, t) est continue sur I.

 ∂x
 e) Il existe une fonction ϕ, continue par morceaux sur J, à valeurs dans R+ , et
intégrable sur J telle que : 


 ∂f 
∀(x, t) ∈ I × J ,  (x, t) 6 ϕ(t) (hypothèse de domination)

 ∂x
Alors : Z

 la fonction g : x 7→ f (x, t) dt est de classe C 1 sur I, et :
 J Z
 ′ ∂f
∀x ∈ I , g (x) = (x, t) dt (formule de Leibniz)
J ∂x


∂f
Rem : 1) L’hypothèse e) implique que t 7→ (x, t) est bien intégrable sur J .
∂x
∂f
2) Les hypothèses c) à e) signifient simplement que vérifie aussi les
∂x
hypothèses du théorème 1 .
3) Le résultat de ce théorème reste vrai si on suppose seulement que l’hypothèse
de domination est vérifiée pour (x, t) ∈ K × J , pour tout compact K de I .

Corollaire 1 : Cas particulier où J est un segment

Si f est une fonction continue sur le produit I × [a, b] , à valeurs complexes, alors la fonction
Zb
g : x 7→ f (x, t) dt est continue sur I .
a

Corollaire 2 : Cas particulier où J est un segment

Si f est une fonction définie sur le produit I × [a, b] ,où I est un intervalle de R , à valeurs
complexes, telle que :

 a) pour tout x ∈ I, la fonction t 7→ f (x, t) est continue par morceaux sur [a, b].

∂f
 b) La dérivée partielle existe et est continue sur le produit I × [a, b]

∂x
Alors :
 Zb
g : x 7→ f (x, t) dt est de classe C 1 sur I, et :


 a Zb
′ ∂f
∀x ∈ I , g (x) = (x, t) dt (formule de Leibniz)

a ∂x


2/3
Corollaire 34 3 : Généralisation
Soit f une fonction définie sur I × J , où I et J sont des intervalles réels, à valeurs dans K = R
ou C . Soit n ∈ N∗ . On suppose que :
n
 a) f , ∂f , . . . , ∂ f existent, sont continues par rapport à x sur I

 ∂x ∂xn
 et continues par morceaux par rapport à t sur J.
n−1
 b) ∀x ∈ I, les fonctions t 7→ f (x, t), t 7→ ∂f (x, t),. . . , t 7→ ∂ f (x, t) sont intégrables sur J.

 ∂x ∂xn−1
 c) Il existe une fonction ϕ, continue par morceaux sur J, à valeurs dans R+

 et intégrable sur J telle que :
 n 
∂ f
∀(x, t) ∈ I × J ,  n (x, t) 6 ϕ(t) (hypothèse de domination).
 
 ∂x
Alors : Z

 la fonction g : x 7→ f (x, t) dt est de classe C n sur I, et :
J

Z k
∂ f

 ∀k ∈ ~1, n , ∀x ∈ I , g (x) = (k) (x, t) dt
k
J ∂x

Rem : Le résultat de ce théorème reste vrai si l’on suppose seulement que l’hypothèse de
domination est vérifiée pour (x, t) ∈ K × J , pour tout compact K de I .

⋆ ⋆ ⋆ ⋆
⋆ ⋆
⋆
⋆ ⋆
⋆

3/3