Problème 2: Constante de Euler

Soit (an )n2N⇤ la suite réelle définie par :

Z
1 n+1
dt
an = .
n n t
On étudie la série de terme général an . On montre qu’elle est convergente et on donne dif-
férentes représentations de sa somme, notée , et appelée Constante d’Euler. Pour cela on
commence par étudier la suite (Sn )n2N⇤ définie par :
n
X n
X Z n
1 n+1
dt X 1
Sn = ap = = ln(n + 1).
p 1 t p
p=1 p=1 p=1

On s’intéresse également à la suite (Hn )n2N définie par H0 = 0 et pour tout entier n > 1,
n
X 1
Hn = .
p
p=1

PARTIE I : Première approche de la constante d’Euler

Z p+1
dt
1) Soit p 2 N . En encadrant l’intégrale
⇤ , montrer que
p t
1 1
0 6 ap 6 .
p p+1

2) En déduire que la suite (Sn )n2N⇤ est majorée, puis qu’elle est convergente et que sa limite
appartient à l’intervalle [0, 1] .
3) Vérifier que pour tout p 2 N⇤ on a :
Z
1 1
t
ap = dt,
p 0 t+p
puis montrer que pour tout entier p > 2 on a :
✓ ◆ ✓ ◆
1 1 1 1 1 1
6 ap 6 .
2 p p+1 2 p 1 p

4) En déduire un encadrement de Sm Sn pour m et n des entiers vérifiant m > n > 1. Puis

montrer que pour tout entier n > 1 on a :
1 1
6 Sn 6 .
2n + 2 2n
5) Conclure qu’on a le développement asymptotique suivant pour la suite (Hn )n2N⇤ :
✓ ◆
1 1
Hn = ln n + + +o .
n!1 2n n

1
6) Pour tout n 2 N⇤ on pose Tn = Sn + . Montrer que
2n + 2
1
06 Tn 6 .
2n(n + 1)

7) Déterminer un entier n 2 N⇤ pour lequel Tn est une valeur approchée de à 10 2 près.

Donner alors un encadrement de à 10 2 près.

1
 PARTIE II : Deux représentations intégrales de la constante d’Euler

Soit I un intervalle non vide de R, borné ou non et soit f : I ! R une fonction continue par
morceaux. On dira que f est intégrable sur I si l’intégrale impropre de f sur I est absolument
convergente.
On
P admettra le résultat suivant : Soit I un intervalle non vide de R, borné ou non et soit
un une série de fonctions réelles positives,
P définies, continues par morceaux et intégrables
sur l’intervalle I. Si la série de fonctions un converge simplement sur I vers une fonction
PR P
+1
continue par morceaux et si la série numérique I un converge, alors, la fonction somme un
n=0
est intégrable sur I et on a :
Z +1
! +1 Z
X X
un = un
I n=0 n=0 I

1) Dans cette question, on se propose de démontrer la convergence de l’intégrale :

Z +1 ✓ ◆
1 1
e t
dt.
0 1 e t t

a) Montrer que les deux intégrales suivantes sont convergentes :

Z +1 Z +1 t
e t e
dt et dt.
1 1 e t
1 t

1 1
b) Déterminer la limite de quand t ! 0+ .
1 e t t
c) Conclure.
2) Dans cette question on se propose de démontrer que si a et b sont deux réels strictement
e at e bt
positifs, alors la fonction t 7! est intégrable sur ]0, +1[ et que
t
Z +1 at
e e bt b
dt = ln .
0 t a
Soient x et y deux réels strictement positifs.
a) Démontrer que :
Z Z Z
y
e at e bt bx
e t by
e t
dt = dt dt.
x t ax t ay t
b) Montrer que pour a 6 b on a pour tout réel z > 0 :
Z
b bz
e t b
e bz
ln 6 dt 6 e az
ln
a az t a

c) Montrer que
Z +1
e at e bt b
dt = ln .
0 t a
3) Une première représentation intégrale de la constante d’Euler.

a) Démontrer que pour pour tout réel t > 0 on a :

+1 +1
!
1 X 1 X e nt e (n+1)t
= e nt
et = .
1 e t t t
n=0 n=0

2
 b) En déduire que pour pour tout réel t > 0 on a :
✓ ◆ +1
!
1 1 X e (n+1)t e (n+2)t
e t
= e (n+1)t
.
1 e t t t
n=0

c) Démontrer que pour tout réel t > 0, on a :

1 e t
1 > 0.
t
Z ✓ ◆
+1
1 1
d) Retrouver alors la convergence de l’intégrale e t
dt et démontrer
0 1 e t t
l’égalité : Z ✓ ◆
+1
1 1
= e t
dt.
0 1 e t t
4) Une deuxième représentation intégrale de la constante d’Euler.
Soit y un réel strictement positif.
Z +1
e t
a) Calculer dt, puis déduire que
y 1 e t

✓ Z ◆
+1
e t
lim ln y + dt = 0.
y!0+ y 1 e t

b) Démontrer que :
Z Z ✓ ◆ Z
+1
e t y
1 1 +1
e t
+ dt = e t
dt + dt.
y t 0 1 e t t y 1 e t

c) En déduire que :
✓ Z ◆
+1
e t
lim + ln y + dt = 0.
y!0+ y t

d) Démontrer que la fonction t 7! e t ln t est intégrable sur ]0, +1[ et que :

Z +1 ✓ Z +1 t ◆
e
e ln tdt = lim e ln y +
t y
dt .
0 y!0+ y t

e) Conclure alors que : Z +1

= e t
ln t dt.
0

PARTIE III : Pour une valeur approchée de la constante d’Euler

1) a) Démontrer l’égalité suivante :

Z 1✓ ◆ Z
1 e t +1
e t
dt = dt.
0 t 1 e t
1 1 e t

(Indication : on pourra calculer chacune des deux intégrales).

3
 b) En utilisant l’égalité obtenue en II.3)d), démontrer que :
Z 1 Z +1 t
1 e t e
= dt dt.
0 t 1 t
+1
X Hk
2) Soit F la fonction définie par F (x) = xk .
k!
k=0
k
X 1
(On rappelle que H0 = 0 et pour k > 1, Hk = .)
p
p=1

a) Montrer que F est définie et dérivable sur R.

b) Démontrer que pour tout réel x > 0 on a :
1 x
F 0 (x) F (x) = (e 1).
x
c) Montrer alors que pour tout réel x > 0 on a :
Z x
1 e t
F (x) = ex
dt.
0 t

3) Déduire des questions précédentes que pour tout réel x > 0 on a :

Z +1 t
e
+ ln x = e x F (x) dt.
x t

4) Soit un entier n > 1 et soit un entier a > 2. Montrer que :

+1
X +1 ✓ ◆ p ⇣ ⌘
Hk k nan+1 X 1 k a n e an
n 6 6 p .
k! (an)! a a 1 2⇡a a
k=an+1 k=0

p ⇣ n ⌘n
(Indication : on pourra admettre et utiliser l’inégalité : n! > 2⇡n pour tout n 2 N.
e
)

5) En déduire que pour tout entier n > 1 on a :

p
e n n ⇣ e ⌘an e n
an
X Hk a
+ ln n e n
n k
6 p + .
k! a 1 2⇡a a n
k=0

6) Décrire une méthode permettant le calcul d’une valeur approchée de à 10 10 près. (On ne
demande pas le calcul d’une telle valeur approchée.)

PARTIE IV : La constante d’Euler somme de la série de Vacca (1910)

Pour tout entier p > 0, on pose :

0 1
2p+1
X1 ( 1)k
vp = p @ A.
k
k=2p

1) a) En séparant les termes d’indices pairs et ceux d’indices impairs dans l’expression de vp ,
montrer que pour tout entier p > 1 on a :
2p+1
X1 1
vp = p( p 1 p) où p = .
h
h=2p

4
 b) En déduire que pour tout entier n > 1 on a :
n
X n
X1
vp = p n n.
p=1 p=0

c) Montrerque pour tout entier n > 1 on a :

n
X1 1
p = H2n .
2n
p=0

d) En utilisant le développement asymptotique de Hn , obtenu en I. 5), conclure que la série

de terme général vp est convergente et qu’on a :
+1
X
vp = .
p=1

2) On pose, pour tout n 2 N⇤ ,

blog2 nc
un = ( 1)n
n
où log2 désigne la fonction logarithme en base 2 et bxc désigne la partie entière du réel x.

a) Expliquer pourquoi le critère spécial des séries alternées ne permet pas de montrer la
convergence de la série de terme général un .
b) Soit n un entier naturel et soit m un entier tel que : 2n+1 6 m < 2n+2 . Montrer que
m
X ( 1)k 1
6 n,
n+1
k 2
k=2

puis en déduire que :

m
X n+1
uk 6 .
2n
k=2n+1

c) Soit n un entier naturel et soit m un entier tel que : 2n+1 6 m < 2n+2 . Montrer que
m
X n
X ⇣n⌘
uk = vp + O
2n
k=1 p=0

et en déduire que la série de terme général un converge et que l’on a :

+1
X
un = .
n=1

3) On pose pour tout entier naturel n :

+1
X ( 1)k
rn = .
n
k
k=2

a) Montrer que la série de terme général rn est absolument convergente.

5
 b) Exprimer vk en fonction de k, rk et rk+1 . Montrer ensuite que
n
X n
X
vk = rk nrn+1 .
k=1 k=1

Conclure que : 0 1
+1 +1
! +1 +1
X X ( 1)k X X ( 1) A
j
= = @
n
k 2n + j
n=1 k=2 n=1 j=0

PARTIE V : La formule de Gosper (1972)

Dans cette partie on désigne par F le R-espace vectoriel des suites réelles indexées par N. Si
x = (xk )k2N est un élément de F, on notera aussi x [k] le terme xk de la suite x. On considère
l’endomorphisme de F défini par :

8 x 2 F, 8 k 2 N, (x) [k] = x [k] x [k + 1] .

Pour n 2 N⇤ , on note n l’endomorphisme de F obtenu en composant avec lui même n fois

et on pose 0 = IdF . ✓ ◆
n
Pour tout entier n 2 N et pour tout entier p 2 [0, n], désigne le coefficient binômial :
p
✓ ◆
n n!
=
p p!(n p)!
1) Démontrer que pour tout n 2 N, pour tout x 2 F et pour tout k 2 N on a :
n
X ✓ ◆
p n
n
(x) [k] = ( 1) xp+k .
p
p=0

(Indication : écrire = IdF T où T est l’endomorphisme de F défini, pour tout x 2 F et

pour tout k 2 N, par : T (x)[k] = x[k + 1].)

2) Soit (up )p2N une suite réelle convergente et de limite `. On se propose de montrer que :
n ✓ ◆
1 X n
lim up = `.
n!1 2n p
p=0

n
!
p
a) Soit p 2 N. Montrer que la suite converge vers 0.
2n
n>p
b) On suppose dans cette question ` = 0. Montrer que
n ✓ ◆
1 X n
lim up = 0.
n!1 2n p
p=0

(Indication : On pourra utiliser l’égalité suivante :

n ✓ ◆ k ✓ ◆ n ✓ ◆
1 X n 1 X n 1 X n
up = n up + n up
2n p 2 p 2 p
p=0 p=0 p=k+1

et, étant donnée un réel " > 0, choisir un entier k suffisamment grand pour que l’on ait
n ✓ ◆
1 X n "
up < .)
2 n p 2
p=k+1

6
 c) Conclure pour le cas général où ` est quelconque.

3) Dans cette question, on se propose de démontrer la propriété suivante : Soit x = (xk )k2N 2 F.
P n (x) [0]
Si la série ( 1)k xk converge, alors, la série de terme général converge et on a :
2n+1
+1
X +1
X n (x) [0]
( 1)k xk = .
2n+1
k=0 n=0

On pose, pour tout N 2 N :

N
X N
X n (x) [0]
UN = ( 1)k xk et VN = .
2n+1
k=0 n=0

a) Démontrer que
N ✓
X ◆
1 N +1
VN = Uq .
2N +1 q+1
q=0

(on pourra observer que pour tout k 2 N, ( 1)k xk = Uk Uk 1, avec, par convention,
U 1 = 0).
n (x) [0]
b) En déduire que la série de terme général converge et que :
2n+1
+1
X n (x) [0] +1
X
= ( 1)k xk .
2n+1
n=0 k=0

4) On considère dans cette question un entier n > 1 ainsi que la suite x = (xj )j2N définie par :

1
xj = .
2n + j

a) Montrer que pour tout entier m > 0 on a :

1 1
m
(x) [0] = .
2n 2n +m
m

Indication : On pourra admettre et utiliser le résultat suivant : Pour m, n 2 N on a :

Z 1
m!n!
xn (1 x)m dx =
0 (m + n + 1)!

b) En déduire que :
+1 X
X +1
1 1
= .
2m+n+1 2 m
n +m
n=1 m=0

c) Conclure que la constante d’Euler peut s’écrire :

+1 p 1
1 X 1 X 1
= + .
2 2p+1 2p k +k
p=2 k=1 k