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.
<strong>Cours</strong> d’Analys 4, SM3-SMI3<br />
4) Montrer que ζ est de classe C ∞ (ind. par récurrence en donnant l’expression de la dérivée<br />
k-ième).<br />
5) i) Dire pour quoi la limite l = lim ζ(x) existe dans R ∪ {+∞}.<br />
x→1 +<br />
ii) Comparer ζ(x) et la somme partielle d’ordre n de la série au point x, x > 1, et déduire que<br />
l = ∞.<br />
Solution. 1) Pour tout x ∈ R, ζ(x) est une série de Riemann, donc elle converge si, est<br />
seulement si, x > 1. Ainsi D(ζ) =]1, ∞[.<br />
2) i) On a pour tout x ∈ [a, ∞[, 1<br />
n x ≤ 1<br />
n a et on a a > 1, donc ∞<br />
converge normalement, par suite uniformément sur [a, ∞[.<br />
n=1<br />
67<br />
1<br />
na converge. Donc ζ<br />
ii) D’abord les fonctions x ↦→ 1<br />
n x , n ∈ N ∗ est continue sur ]1, ∞[. De plus pour tout compact<br />
K ⊆]1, ∞[, on a pour a = min K, K ⊆ [a, ∞[. Ainsi ζ converge uniformément sur K. D’où<br />
d’après le cours ζ est continue sur ]1, ∞[.<br />
iii) On a pour tout n ∈ N∗ 1 , lim<br />
x→∞ nx égale à 0 si n > 1 et elle est égale à 1 si n = 1. De plus on<br />
a ζ converge uniformément sur [2, ∞[. Donc<br />
lim ζ(x) =<br />
x→∞<br />
∞ 1<br />
lim = 1.<br />
x→∞ nx n=1<br />
3) On a pour tout n ∈ N ∗ , 1<br />
n x est dérivable sur ]1, ∞[ et on a<br />
( 1<br />
n x )′ = (exp(−x ln(n))) ′ = − ln(n) exp(−x ln(n)) =<br />
Pour tout x ∈]a, b[, 1 < a < b, |( 1<br />
n x ) ′ | ≤ | ln(n)<br />
n a |, la série de Bertrand ∞<br />
n=1<br />
− ln(n)<br />
n x<br />
| ln(n)<br />
n a | converge. Donc la<br />
série ∞<br />
( 1<br />
nx ) ′ converge normalement, donc uniformément, sur ]a, b[, de plus ζ converge sur un<br />
n=1<br />
point, quelconque de ]a, b[, d’où d’après le cours, ζ est dérivable sur ]a, b[ et ζ ′ (x) = ∞<br />
Ceci reste vrai sur ]1, ∞[.<br />
3.1. Définitions et propriétés.<br />
3. Séries entières.<br />
n=1<br />
− ln(n)<br />
nx .<br />
Définition 4.5. Une série entière est une série de fonction définie sur une partie de R (ou<br />
C) qui est de la forme S(x) = <br />
anxn , où (an)n est une suite réelle ou complexe.<br />
n