Intégrales dépendant d’un paramètre

1) Intégrales sur un intervalle quelconque Soit I intervalle quelconque.

Z
F (x) = f (t, x) dt ; x ∈ J.
I

Théorème : continuité

— x 7→ f (x, t) est continue sur J.

— t 7→ f (x, t) est cpm sur I.
— Soit [a, b] ⊂ J. sup |f (x, t)| ≤ g (t) intégrable.
x∈[a,b]

Théorème : C 1

— x 7→ f (x, t) est C 1 sur J.

— t 7→ f (x, t) est intégrable sur I.
∂
— t 7→ f (x, t) est cpm sur I.
∂x
∂
— Soit [a, b] ⊂ J. sup f (x, t) ≤ g (t) intégrable.
x∈[a,b] ∂x
Z
∂
Dans ce cas F 0 (x) = f (x, t) dt.
I ∂x

Théorème : C 2

— x 7→ f (x, t) est C 2 sur J.

— t 7→ f (x, t) est intégrable sur I.
∂
— t 7→ f (x, t) est intégrable sur I.
∂x
∂2
— t 7→ f (x, t) est cpm sur I.
∂x2
∂2
— Soit [a, b] ⊂ J. sup 2
f (x, t) ≤ g (t) intégrable.
x∈[a,b] ∂x

1 M. Ben Fredj
 Théorème : C ∞

— x 7→ f (x, t) est C ∞ sur J.

— t 7→ f (x, t) est intégrable sur I. (à la tunisienne)
∂k
— t 7→ f (x, t) est cpm sur I.
∂xk
∂k
— Soit [a, b] ⊂ J. sup k
f (x, t) ≤ g (t) intégrable.
x∈[a,b] ∂x

2) Intégrales sur un segment

Z b
F (x) = f (t, x) dt ; x ∈ J.
a

Théorème : continuité

Si (t, x) 7→ f (t, x) est continue sur [a, b] × J alors F est continue sur J .

Théorème : C 1

— (t, x) 7→ f (t, x) est continue sur [a, b] × J.

∂
— f (x, t) existe sur J.
∂x
∂
— (t, x) 7→ f (x, t) est continue sur [a, b] × J.
∂x Z b
∂
Alors F de classe C 1 sur J et F 0 (x) = f (x, t) dt.
a ∂x

version allégée
1 Si (t, x) 7→ f (t, x) est de classe C 1 sur [a, b] × J alors F de classe C 1 sur J.
2 Si (t, x) 7→ f (t, x) est de classe C 2 sur [a, b] × J alors F de classe C 2 sur J.
3) Divers

Théorème de Fubini

Si (t, x) 7→ f (t, x) est continue sur [a, b] × [c, d] alors .

Z bZ d Z dZ b
f (t, x) dx dt = f (t, x) dt dx.
a c c a

2 M. Ben Fredj
 Cas où les bornes varient
Z x
Soit F (x) = f (t) dt. Si f est continue sur I et a ∈ I alors F est une primitive de f . On
a
a alors F est de classe C 1 sur I et F 0 (x) = f (x) pour tout x ∈ I.

Limite

Z
objectif : lim F (x) où F (x) = f (t, x) dt.
x→+a I

Soit (xn ) une suite telle que lim xn = a. On applique TCD pour calculer lim F (xn ) .
n→+∞ n→+∞
Supposons lim F (xn ) = l. Alors lim F (x) = l.
n→+∞ x→+a

3 M. Ben Fredj