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.
66 Z. ABDELALI<br />
Remarque 4.4. 1) <br />
fn converge normalement sur A si, et seulement si, il existe une série<br />
n<br />
convergente <br />
λn telle que pour tout x ∈ A et pour tout n ∈ N, |fn(x)| ≤ λn.<br />
n<br />
2) On a la comparaison suivante :<br />
Convergence normale =⇒ Convergence uniforme<br />
⇓ ⇓<br />
Convergence absolue =⇒ Convergence simple<br />
Les autres implications ne sont pas vraies en général.<br />
Exemples 4.3. Soit pour n ∈ N ∗ , fn l’application définie sur [0, 1] par :<br />
⎧<br />
⎨<br />
fn(x) =<br />
⎩<br />
1 si x ∈] n 1 1 , n+1 n ]<br />
0 si x ∈ [0, 1<br />
n+1<br />
1 ]∩] , 1] n<br />
Considérons la série ∞<br />
fn. On a pour tout x ∈]0, 1], il existe un entier unique n ∈ N∗ , tel<br />
n=1<br />
que fn(x) = 0 et la somme de la série est nulle en zéro. D’où pour tout (n, p) ∈ N ∗2 ,<br />
|fn+1(x) + fn+2(x) + · · · + fn+p(x)| = max<br />
n+1≤k≤n+p |fk(x)|<br />
≤ 1<br />
n+1 .<br />
Ainsi la série ∞<br />
fn vérifie le critère de Cauchy unifirme, par suite elle converge uni-<br />
n=1<br />
formément sur [0, 1]. De plus la série est formée par <strong>des</strong> fonctions positives donc elle est<br />
aussi absolument covergente.<br />
Mais, on a pour tout n ∈ N∗ , sup |fn(x)| =<br />
x∈[0,1]<br />
1 . Donc la série<br />
n<br />
∞<br />
sup |fn(x)|<br />
x∈[0,1]<br />
n=1<br />
diverge. Ainsi la série ne converge pas normalement.<br />
Exercices 4.1. Considérons la fonction<br />
ζ : R −→ R; x ↦→<br />
∞<br />
n=1<br />
1<br />
.<br />
nx 1) Donner le domaine de définition D(ζ) de ζ.<br />
2) i) Montrer que ∞ 1<br />
nx converge uniformément sur tout intervalle [a, ∞[, où a > 1.<br />
n=1<br />
ii) En déduire que ζ est continue sur ]1, ∞[.<br />
iii) En déduire la limite lim<br />
x→∞ ζ(x).<br />
3) Montrer que ζ est dérivable sur ]1, ∞[ (ind. considérer les intervalle ]a, b[ avec 1 < a < b).