DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE

Développement asymptotique de la série harmonique

Leçons : 223, 224, 230

[X-ENS An1], exercice 3.18

n
1
On pose, pour tout n > 1, Hn = ∑ k
; cherchons le développement asymptotique de Hn quand n tend
k =1
vers l’infini.

1
1. Posons, pour n ∈ N∗ , un = Hn − ln n et vn = un − ; on va montrer que (un ) et (vn ) sont adjacentes.
n
En effet :
1
– Déjà, ∀n ∈ N∗ , un − vn = > 0 et un − vn −→ 0.
n n→∞
– D’une part, l’inégalité ln(1 + x ) 6 x (valable pour x > −1) fournit la décroissance de (un ) :
 
1 1 1
un − un−1 = − ln n + ln(n − 1) = + ln 1 − 6 0.
n n n
 
1 1 1
– D’autre part, la suite (vn ) croît, car vn+1 − vn = − ln(n + 1) + ln n = − ln 1 + > 0.
n n n
Donc, en tant que suites adjacentes, (un ) et (vn ) convergent, vers la même limite ; cette limite, qu’on notera
γ, s’appelle la constante d’Euler 1 .
2. Du coup, on a montré que Hn = ln n + γ + o (1) quand n → ∞.
On pose, pour n ∈ N∗ , tn = un − γ. 
−1
  
1 1 1 1 1 1
Lorsque n → ∞, on a : tn − tn−1 = ln 1 − + = − − 2 +o + ∼ .
n n n 2n n2 n n→∞ 2n2
Ainsi, la série ∑ (tk − tk−1 ) converge.
k>2
Par théorème de sommation des équivalents, on obtient :
∞ ∞
−1 1 ∞ 1
tn = − ∑ ( t k − t k −1 ) ∼ −
n→∞
∑ 2k2
=
2 k=∑ k2
k = n +1 k = n +1 n +1

∞
1
3. On va justement chercher un équivalent simple de la quantité ∑ k α
, où α > 1.
k = n +1
1
Comme t 7→ est décroissante et intégrable sur [1, +∞[, on a :
tα
1 1 1
∀k > 2, ∀t ∈ [k, k + 1], 6 α 6 .
tα k ( t − 1) α
Z k +1 k dt
1 dt
Z
En intégrant, on en déduit que : ∀k > 2, 6 . 6
k t α k α
k −1 t
α
D’où, en sommant entre n + 1 et N, puis en faisant tendre N vers l’infini (on a vu que les quantités convergent) :
Z ∞ ∞ Z ∞
dt 1 dt
n +1 tα
6 ∑ kα 6 n tα
.
k = n +1

1 1 1
Comme les deux intégrales sont équivalentes à , le cas α = 2 fournit alors : tn ∼ .
α − 1nα−1 n→∞ 2n
1 1
Désormais, on a montré que Hn = ln n + γ + +o .
2n n
1
4. Continuons, et posons désormais, pour n ∈ N∗ , wn = un − γ − ; on a donc wn −→ 0.
2n n→∞
∞
En conséquence, la somme ∑ (wk − wk−1 ) vaut −wn .
k = n +1

1. Valeur approchée par défaut : γ ' 0, 577215.

Florian L EMONNIER 1 ENS Rennes – Université Rennes 1

Diffusion à titre gratuit uniquement.
 DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE

 
1 1 1 1 1 1
Or ∀n ∈ N∗ , wn − wn−1 = un − un−1 + − = ln 1 − + + − .
2n 2n − 2 n n 2n 2n − 2
Donc, quand n → ∞,
!  
1 1 1 1 1 1 1
w n − w n −1 =− − 2− 3+ + 1− + o
n 2n 3n n 2n 1 − n1 n3
    
1 1 1 1 1 1 1
=− 2− 3+ + 2 +o 2
+ o
2n 3n 2n n n n n3
1
∼
n→∞ 6n3

1 ∞ 1
−1 1 −1
6 k=∑
Ensuite, par sommation des équivalents, wn ∼ − = . ∼
n→∞ 6 2n2
n +1
k3
12n2 n→∞
 
1 1 1
Donc, on va s’arrêter 2 avec le développement suivant : Hn = ln n + γ + − + o .
2n 12n2 n2
5. Pour finir, notons pour n ∈ N∗ , k n = min {k ∈ N| Hk > n} (le rang auquel la série harmonique dépasse la
valeur n).
k
On va déduire du développement asymptotique de Hn la valeur de lim n+1 . 3
n→∞ k n
On pose Hn = ln n + γ + ε n , où ε n −→ 0.
n→∞
Par définition de k n , on a : ln k n + γ + ε kn > n et ln (k n − 1) + γ + ε kn −1 < n.
Puis k n > exp (n − γ − ε kn ) et k n − 1 < exp (n − γ − ε kn −1 ).
D’où l’encadrement exp (n − γ − ε kn ) 6 k n < exp (n − γ − ε kn −1 ) + 1.
k
Ainsi, k n −→ en−γ puis lim n+1 = e.
n→∞ n→∞ k n

Références
[X-ENS An1] S. F RANCINOU, H. G IANELLA et S. N ICOLAS – Oraux X-ENS Analyse 1, 3e éd., Cassini,
2014.

2. C’est déjà assez chiant comme ça...

3. On s’occupe comme on peut !

Florian L EMONNIER 2 ENS Rennes – Université Rennes 1

Diffusion à titre gratuit uniquement.