Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CHAPITRE 5<br />
Intégrales dépendant d’un paramètre<br />
1. Rappels<br />
2. Intégrales propre dépendant d’un paramètre<br />
Proposition 5.1. Soit f : [a, b] × [c, d] → R une application continue, alors l’application<br />
F : [c, d] → R; t ↦→ b<br />
f(x, t)dx est continue.<br />
a<br />
Démonstration. Soit t0 ∈ [c, d], pour montrer que F soit continue en t0 il suffit de montrer<br />
que pour toute suite (un)n d’éléments de [c, d] qui converge vers t0, (F (un))n converge vers F (t0).<br />
Pour une telle suite (un)n, posons fn : [a, b] → R; x ↦→ f(x, un) et f : [a, b] → R; x ↦→ f(x, t0),<br />
alors (fn)n est une suite de fonctions continues. De plus, d’après le théorème de Heine,<br />
f est uniformément continue sur le compact [a, b] × [c, d]. Fixons ε > 0, il existe η > 0,<br />
pour tous (x, t) et (y, s) dans [a, b] × [c, d], (y, s) − (x, t)1 < η, on a |f(y, s) − f(x, t)| < ε.<br />
Rappelons que un → t0, donc il existe N ∈ N, tel que pour n ≥ N, |un − t0| < η, donc<br />
(x, un)−(x, t0)1 = |un−t0| < η. Ainsi ∀ε > 0, ∃N ∈ N, ∀n ≥ N, ∀x ∈ [a, b], |fn(x)−f(x)| < ε.<br />
D’où (fn)n converge uniformément vers f. D’où lim<br />
n→∞<br />
que lim<br />
n→∞ F (un) = F (t0). Ainsi F contunie en tout t0 ∈ [c, d].<br />
b<br />
a fn(x)dx = b<br />
a<br />
f(x)dx, c’est à dire<br />
2.1. Deux théorèmes à admettre. Une suite de fonction (fn)n est dite croissante sur<br />
un ensemble A si pour tout n ∈ N et x ∈ I, fn+1(x) ≤ fn(x). La suite est dite dominée par<br />
une fonction g si pour tout n ∈ N et x ∈ I, |fn(x)| ≤ g(x).<br />
Théorème 5.1. (Convergence monotone) Soit (fn)n une suite de fonctions définie sur<br />
un intervalle I, telle que :<br />
1) (fn)n croissante sur I.<br />
2) pour tout n ∈ N, fn est continue par morceaux sur I.<br />
3) (fn)n converge simplement vers une fonction f continue par morceaux sur tout<br />
ségment de I.<br />
Alors<br />
<br />
I<br />
<br />
f(x)dx = lim fn(x)dx.<br />
n→∞<br />
I<br />
83