Lycée du Parc

Classe MPSI 833

La série harmonique

On pose pour tout n ∈ N∗ , la somme partielle harmonique :

n
X 1
Hn = .
k=1
k

Calcul d’un équivalent de Hn

On effectue une comparaison série / intégrale. On pose la fonction
]0, +∞[ −→ R
f: 1
t 7−→
t
qui est continue et décroissante sur ]0, +∞[.
On obtient l’encadrement classique :
Z k+1 Z k
f 6 f (k) 6 f,
k k−1

l’inégalité de gauche étant valable pour tout k ∈ N∗ et celle de droite étant valable
seulement pour les entiers k > 2.
En procédant à une sommation – à l’aide de la relation de Chasles, on obtient ainsi
pour tout n ∈ N∗ :
Z n+1 n
X Z n
f = ln(n + 1) 6 Hn = f (k) 6 f (1) + f = 1 + ln n.
1 k=1 1

 
Or, ln(n + 1) = ln n + ln 1 + n1 = ln n + ◦(1) = ln n + ◦(ln n).
Par conséquent, on dispose d’un encadrement du type :
ln n + ◦(ln n) 6 Hn 6 ln n + ◦(ln n).
En divisant le tout par ln n puis en utilisant le théorème des gendarmes, on conclut
que :
Hn ∼n−→+∞ ln n.

Calcul du terme suivant dans le développe-

ment asymptotique
On utilise cette fois-ci les séries télescopiques. Ce paragraphe démontre également
le paragraphe précédent.
On pose vn = Hn − ln n, de sorte que :
 
1
vn+1 − vn = Hn+1 − Hn − ln 1 +
n
 
1 1 1
= − +O
n+1 n n2
 
1
= O
n2
, de série absolument convergente.

Conclusion, la série télescopique (vn+1 − vn ) converge, donc la suite (vn )n∈N

X
∗

converge. n

On note γ , sa limite, appelée constante d’Euler, de sorte que vn = γ + ◦(1) et :

Hn = ln n + γ + ◦(1).

Calcul du terme suivant dans le développe-

ment asymptotique
Pour obtenir le terme suivant, on utilise un terme de plus dans le développement
limité. On écrit avec les notations déjà utilisées :
 
1 1
vn+1 − vn = − ln 1 +
n+1 n
 
1 1 1 1
= − + 2 +◦
n + 1 n 2n n2
 
1 1 1
= − + 2 +◦
n(n + 1) 2n n2
  
1 1 1
= − 2 + 2 +◦
n 2n n2
 
1 1
= − 2 +◦
2n n2

On en déduit en effectuant la sommation de ces termes dont les séries associées

sont bien absolument convergentes, donc convergentes :
+∞ +∞   
X X 1 1
γ − vn = (vk+1 − vk ) = − 2 +◦ .
k=n k=n
2k k2
Soit ε > 0. Il existe un rang n0 à partir duquel :
      
1 1 1 1 1 1
∀n > n0 , − − ε 6 − 2 +◦ 6 − +ε .
2 n2 2n n2 2 n2
Par sommation, on obtient pour n > n0 :
 +∞
X  +∞
X
1 1 1 1
− −ε 6 γ − vn 6 − + ε .
2 k=n
k 2 2 k=n
k 2

Ceci montre avec les ε que :

+∞
1X 1
γ − vn ∼ − .
n−→+∞
2 k=n k 2
Il ne reste plus qu’à calculer à un équivalent de cette dernière somme, en utilisant
une comparaison série / intégrale.
]0, +∞[ −→ R
On pose la fonction g : t 7−→ 2
1 , qui est continue et décroissante.
t
De l’encadrement : Z k+1 Z k
g 6 g(k) 6 g,
k k−1
en fixant n > 2, on somme sur les entiers k > n, ce qui donne :
N Z k+1 N +∞ N Z k
X X X 1 X
lim g 6 lim g(k) = 6 lim g.
N −→+∞
k=n k N −→+∞
k=n k=n
k 2 N −→+∞ k=n k−1
N Z k+1 N
1
Z
Or, N −→+∞ , donc :
X
lim g= lim g=
k=n k N −→+∞ n n
+∞
1 X 1 1
6 6
n k=n k 2 n−1
 +∞
1 1
et .
X
∼
k2 n−→+∞
n
k=n
1
Conclusion, γ − vn ∼ − et :
n−→+∞
2n
 
1 1
Hn = ln n + γ + +◦ .
2n n

Calcul du terme suivant dans le développe-

ment asymptotique
On réitère le processus. On pose :
1 1
wn = Hn − ln n − γ − = vn − γ −
2n 2n
de façon à avoir tous calculs faits :
 
1 1
wn+1 − wn = 3 + ◦ .
6n n3

La suite (wn)n∈N tend vers 0 donc :

+∞ +∞
X X 1 1
wn = − (wk+1 − wk ) ∼ − ∼ −
n−→+∞
6k 3 n−→+∞
12n2
k=n k=n

en utilisant un encadrement série / intégrale avec la fonction continue décroissante

1
h : t 7−→ 3 .
t
Conclusion :
 
1 1 1
Hn = ln n + γ + − +◦ .
2n 12n2 n2