EXEMPLES D'ÉVALUATION ASYMPTOTIQUE DE RESTES DE SÉRIES CONVERGENTES, DE

SOMMES PARTIELLES DE SÉRIES DIVERGENTES

Exercice 1 Cas des séries de Riemann

On suppose connus les résultats relatifs à
ån
1
On considère les séries de Riemann : a
aÎ la convergence des séries de Riemann.
n 1

1. On suppose a > 1.
+¥

å
1 1
a. Démontrer : ~
k = n +1 k
a +¥ (a - 1)n a -1

+¥
a
å + o æç a +1 ö÷
1 1 1 1
b. Puis : a
= a -1
- a
+ a +1
k = n +1 k (a - 1)n 2n 12n èn ø

2. On suppose a = 1.
n

åk
1
a. Démontrer : ~ ln n
+¥
k =1

b. Démontrer qu'il existe une constante g telle que :

n

åk
1
= ln n + g + o(1)
k =1

c. Puis :
n

åk + o æç 6 ö÷
1 1 1 1 1 1
= ln n + g + - + -
k =1
2n 12n 2
120n 4
252n 6
èn ø

3. On suppose a Î [0, 1[.

n1- a
n

åk
1
a. Démontrer : a
~
k =1
+¥ 1- a

b. Démontrer qu'il existe une constante ga telle que :

n1- a
n

å
1
a
= + ga + o(1)
k =1 k
1- a

c. Enfin, démontrer :

n1- a a
n

åk + o æç a +1 ö÷
1 1 1
a
= + ga + a
- a +1
k =1
1- a 2n 12n èn ø

Commentaires sur cet exercice : il fait le point sur le comportement asymptotique des séries de Riemann. Le résultat 1.a. est fondamental car
très fréquemment utilisé lors de la sommation de relations de comparaison. Le résultat 2.c. permet d'excellentes approximations de la
constante d'Euler. (La vitesse de convergence étant très faible en considérant juste la suite Hn - ln n)
À noter que l'on peut obtenir des développements à tout ordre r fixé, grâce, par exemple, à la fameuse formule d'Euler-MacLaurin (liée au
nombres de Bernoulli). Voir par exemple le livre "les maths en tête" de X. Gourdon p 295 à 298.

Evaluations asymptotiques Page 1 G. COSTANTINI http://bacamaths.net/

Exercice 2 Formule de Stirling améliorée
On rappelle la formule de Stirling :

n n
n ! = æç ö÷ 2pn (1 + en) où lim en = 0
èeø n ® +¥

Le but de l'exercice est de rechercher un développement asymptotique de en.

æ n ! æ e ön ö
On pose, pour n Î * : un = lnçç ç ÷ ÷÷ .
è 2pn è n ø ø

+ o æç 3 ö÷
1 1 1
1. Démontrer : un = -
12n 360n3 èn ø

n n æ1 + 1 +
n ! = æç ö÷ 2pn + o æç 2 ö÷ ö÷
1 1
2. En déduire : ç
èeø è 12n 288n 2 è n øø

Commentaires sur cet exercice : semblable à l'exercice précédent. On utilise les mêmes techniques.

Exercice 3 Équivalent du reste d'une série convergente vérifiant certaines conditions

Soit ¦ : + ®  *+ une application de classe C1 vérifiant la condition :

¦ ¢( x )
lim = -¥
x ® +¥ ¦ ( x)

1. Montrer que la série å ¦(n) est convergente.

n0
¥
2. Déterminer un équivalent du reste Rn = å ¦ (k ) .
k = n +1

3. Application : démontrer que la série åe

n 0
- n2
converge et que :

åe -k 2
~ e - ( n +1)
2

+¥
k = n +1

Commentaires sur cet exercice : la condition sur la limite de f'/f permet de "fabriquer" des séries dont on est assuré de la convergence.
À noter que bien peu de fonctions vérifient la condition en question.

Exercice 4 Étude d'une suite récurrente

ì u0 Î]0 ; 2 ]
p
On considère la suite (un)n Î  définie par : í
îun +1 = sin un

3
Démontrer que (un)n Î  tend vers 0 et : un ~
+¥ n
1 1
(Indication pour prouver l'équivalent : on pourra évaluer - )
un2+1 un2

Commentaires sur cet exercice : on utilise ici le théorème de sommation partielle de l'équivalent pour les séries divergentes.

Evaluations asymptotiques Page 2 G. COSTANTINI http://bacamaths.net/

Exercice 5 Équivalent du reste d'une série alternée

Soit åu
n0
n une série relevant des conditions du théorème spécial à certaines suites dites altérnées.

C'est-à-dire :
i) ("n Î , un = (-1)n |un|) ou ("n Î , un = (-1)n+1 |un|)

ii) la suite (un)n Î  converge vers 0

iii) la suite (|un|)n Î  est décroissante.

On sait alors, dans ces conditions, que :

la série åu n est convergente et que son reste Rn = åu k vérifie :

n0 k  n +1

sgn Rn = sgn un+1 et |Rn|  |un+1|

1. Démontrer le théorème ci-dessus.
2. Démontrer, de plus, que : |Rn| + |Rn+1| = |un+1| Une suite (un) est dite "convexe" lorsque :

3. On suppose, de plus, que : "n, un+2 - 2un+1 + un  0

Autrement dit, lorsque :
u n +1
(|un|)n Î  est convexe et lim =1 "n, un+2 - un+1  un+1 - un
n ® +¥ un
Condition qui traduit la croissance de la "dérivée"
u de la suite (un). (Interpréter graphiquement)
Démontrer qu'alors : R n ~ n +1
+¥ 2
4. Application : donner un équivalent du reste d'ordre n de la série harmonique alternée.

Commentaires sur cet exercice : le théorème spécial à certaines séries alternées ne donne qu'une majoration du reste. On montre ici que,
sous certaines conditions, on peut en avoir un équivalent.

Exercice 6 Équivalent de la somme partielle des sommes des diviseurs d'entiers

Pour n Î *, on note : t(n) = nombre de diviseurs de n = Card{m Î *, m | n}

Par exemple : t(12) = Card{1 ; 2 ; 3 ; 4 ; 6 ; 12} = 6

1. Démontrer que la série de terme général t(n) est divergente.

2. Pour tous i et j de 1, n, on note :

ì1 si i divise j
aij = í
î0 sinon

Expliciter les aij lorsque n = 6.

3. En calculant de deux façons åa

1 i , 
j n
ij , démontrer que :

n n
ænö
å t( j ) = å E çè j ÷ø
j =1 j =1

n
4. En déduire : å t( j )
j =1
~ n ln n
+¥

Evaluations asymptotiques Page 3 G. COSTANTINI http://bacamaths.net/

 Quelques théorèmes utilisés dans cette série d'exercices

Soit åv
n0
n une série à termes positifs et (un) une suite telle que un ~ vn.

Si la série åv
n0
n converge, alors la série åu
n0
n converge et :

¥ ¥

å
k = n +1
uk ~ åv
k = n +1
k .

Si la série åv
n0
n diverge, alors la série åu
n0
n converge et :

n n

åu ~åv
k =0
k
k =0
k

Soit ¦ une fonction définie, positive et décroissante sur [1 ; +¥[.

n

å ¦ (k ) - ò
n
On définit la suite (vn) n Î  par : vn = ¦ (t ) dt
1
k =1

Alors la suite (vn) n Î  converge.

Evaluations asymptotiques Page 4 G. COSTANTINI http://bacamaths.net/