� +∞ 2

1. Prouver que la fonction x �→ I(x) = e−t cos(2tx)dt est de classe C 1 sur R.

0
2. Déterminer une relation simple entre I(x) et I � (x).

l
√
π
3. En admettant que I(0) = , donner la valeur de I(x).
2

ae
Exercice 4.23
Soit
� +∞ e−xt2
f (x) = dt.
0 1 + t2
1. Trouver le domaine de définition de f .
2. Montrer que f est dérivable sur ]0, +∞[.
3. Calculer f (x) − f � (x) pour x > 0.

id
4. Donner un équivalent simple de f � (x) pour x → +∞.
√ √ � �
π π 1
5. Montrer que f (x) = √ − √ +o √ .
2 x 4x x x x
6. Tracer la courbe de f .

Exercice 4.24
On note Γ la fonction définie sur ]0, +∞[ par la relation
� +∞
Γ(x) = e−t tx−1 dt.
0
&
Pour n ∈ N∗ , on pose
n
�
1 1 1 1
Hn = + + ··· + = .
1 2 n k=1
k
1. Vérifier que Γ est bien définie.
2. Démontrer que la fonction Γ est dérivable sur ]0, +∞[, avec
� +∞
ail

∀x > 0, Γ� (x) = e−t tx−1 ln(t)dt.

0

3. Soit (un )n�1 la suite définie par :

un = Hn − ln(n).
c Knowledge is Power

Montrer que la suite (un )n�1 admet une limite, lorsque n tend vers vers l’infini. On notera γ
cette limite (γ est appelée constante d’Euler).
� 1 1 − (1 − u)n
4. Montrer que pour tout n � 1, Hn = du.
0 u
m

5. En déduire que, pour tout entier naturel n � 1, on a :

liam �

1 �1
Hn+1 = − (1 − u)n ln(u)du
n+1 0

.
✞ ☎
Intégrales Généralisées ✝65 ✆ c 2019-2020
Liamidi A. LEADI �
 6. Etablir que pour tout t � 0, 1 − t � e−t .
7. On pose
�n t

l
In = (1 − )n ln(t)dt.
0 n
Montrer que
� +∞

ae
lim In = e−t ln(t)dt.
n→+∞ 0

n
8. Montrer que γ = −Γ� (1). (On pourra montrer que In = (ln(n) − Hn+1 ) ).
n+1
9. Montrer que la fonction Γ vérifie :
(a) ∀x > 0 Γ(x + 1) = xΓ(x).
(2n)!
(b) ∀n ∈ N, Γ(n + 1) = n! et Γ(n + 12 ) = Γ( 12 )
22n n!

id
10. On pose
� π/2
Wn = (cos(θ))n dθ n ∈ N.
0
n−1
(a) Montrer que pour tout n � 2, Wn = Wn−2 .
n
(b) En déduire que la suite (xn )n�1 définie par : xn = nWn Wn−1 est constante.
(c) Montrer que pour tout n � 1 on a :

Wn Wn+1 � Wn2 � Wn Wn−1 .

(d) En déduire un équivalent de Wn au voisinage de +∞.

&
11. On pose
� √n � t2
�n
Jn = 1− dt n ∈ N.
0 n
� +∞ 2
(a) Montrer que lim Jn = e−t dt.
n→+∞ 0

(b) Exprimer Jn en fonction de W2n+1 .

ail

� +∞ �
−t2
π
(c) En déduire que e dt = .
0 2
√
(d) Montrer que Γ( 12 ) = π.
� +∞
12. Montrer que xn e−x dx = o (Γ(n + 1)).
c Knowledge is Power

2n
13. Montrer qu’au voisinage de +∞, on a :

Γ(n + 1) � √n � u
�n
√

n+ 1
∼ √ 1+ √ e−u n
du.
e−n n 2 − n n
m

1
14. (a) Montrer que pour tout x ∈] − 1, 1[ on a : ln(x + 1) − x � − x2 .
liam �

6
√ −n n+ 1
(b) Montrer que Γ(n + 1) ∼+∞ 2πe n 2 .

✞ ☎
Intégrales Généralisées ✝66 ✆ c 2019-2020
Liamidi A. LEADI �
 15. Pour s > 1, on pose
+∞
� 1
ζ(s) = .

l
n=1
ns
Montrer que
� +∞ e−t

ae
ζ(s)Γ(s) = ts−1 dt.
0 1 − e−t

Exercice 4.25
On appelle fonction Gamma d’Euler, la fonction définie par
� +∞
Γ : x �−→ Γ(x) = e−t tx−1 dt.
0

1. Montrer que Γ est bien définie sur ]0, +∞[.

id
2. Montrer que Γ est continue sur ]0, +∞[.
3. Montrer que Γ est de classe C ∞ sur ]0, +∞[ avec
� +∞
∀k ∈ N∗ , ∀x > 0, Γ(k) (x) = (ln t)k e−t tx−1 dt.
0

4. Montrer que pour tout x > 0, Γ(x + 1) = xΓ(x).

En déduire que ∀n ∈ N∗ , Γ(n) = (n − 1)!.
5. Calculer Γ( 12 ).
6. Montrer que Γ est convexe.
&
7. Montrer que Γ� s’annule une et une seule fois en un point α ∈]1, 2[.
8. Montrer que lim xΓ(x) = 1 et lim Γ(x) = lim Γ(x) = +∞.
x→0+ x→0+ x→+∞

Γ(x)
9. Calculer lim et interprèter le résultat obtenu.
x→+∞ x
10. Esquisser une représentation graphique de la fonction Γ.
11. Montrer qu’on peut définir la fonction Γ pour des valeurs négatives de x et qu’elle agit comme un
ail

prolongement de la fonction factorielle.

12. Montrer que pour tout k ∈ N, on a :

1 (2k)! √ 1 (−1)k 22k k! √

c Knowledge is Power

Γ(k + )= π, Γ(−k + )= π.
2 22k k! 2 (2k)!

13. Montrer que

� +∞ �k� t
�k
−t x−1
Γ(x) = e t dt = lim 1− tx−1 dt, x > 0.
m

0 k→+∞ 0 k
liam �

14. Montrer que

kx k!
Γ(x) = lim , x > 0.
k→+∞ x(x + 1) · · · (x + k)

✞ ☎
Intégrales Généralisées ✝67 ✆ c 2019-2020
Liamidi A. LEADI �