Classe : MPSI 2

Le samedi 04/05/2024 Devoir libre N°8 Année scolaire : 2023-2024

Classes préparatoires aux grandes écoles : Errachidia

Problème
(Extrait du
I – Partie préliminaire CCP 2016)
① 𝒂) Soit 𝒙 ∈ ]𝟎, +∞[. Démontrer que la fonction 𝒕 ⟼ 𝒆−𝒕 𝒕𝒙−𝟏 est intégrable sur ]𝟎, +∞[.
+∞
𝒃) On pose, pour tout 𝒙 ∈ ]𝟎, +∞[, 𝚪(𝒙) = ∫ 𝒆−𝒕𝒕𝒙−𝟏 𝒅𝒕 (fonction Gamma d'Euler).
𝟎
Démontrer que, pour tout 𝒙 ∈ ]𝟎, +∞[, 𝚪(𝒙) > 𝟎.
𝒄) Démontrer que la fonction 𝚪 est dérivable sur ]𝟎, +∞[ puis calculer sa dérivée .
② Pour tout entier 𝒏 ≥ 𝟐, on pose
𝒏 𝟏 𝟏
𝒖𝒏 = ∫ 𝒅𝒕 − .
𝒏−𝟏 𝒕 𝒏
𝒂) Justifier que la série ∑ 𝒖𝒏 converge.
𝒏≥𝟐
𝒏
𝟏
𝒃) Pour tout entier 𝒏 ≥ 𝟐, on pose H𝒏 = ∑ − 𝓵𝒏(𝒏).
𝒌=𝟏
𝒌
Démontrer que la suite (H𝒏 )𝒏≥𝟏 converge. On notera 𝜸 = 𝓵im H𝒏 (𝜸 est appelé la constante d’Euler).
𝒏 → +∞

Dans la suite de ce problème, on définit la fonction 𝝍 ∶ ]𝟎, +∞[ ⟶ ℝ par

𝚪′(𝒙)
𝝍(𝒙) =
𝚪(𝒙)
(𝝍 est appelée fonction Digamma).
II – Expression de la fonction Digamma à l’aide d’une série
③ Pour tout 𝒙 ∈ ]𝟎, +∞[ et tout entier 𝒏 ≥ 𝟐, on définit la fonction 𝒇𝒏 ∶ ]𝟎, +∞[ ⟶ ℝ par
𝒏
𝒕
𝒇𝒏 (𝒕) = {(𝟏 − 𝒏) 𝒕
𝒙−𝟏
si 𝟎 < 𝒕 ≤ 𝒏 .
𝟎 si 𝒕 > 𝒏
𝒂) Démontrer que, pour tout 𝒙 < 𝟏, 𝓵𝒏(𝟏 − 𝒙) ≤ −𝒙.
En déduire que, pour tout entier 𝒏 ≥ 𝟏 et tout (𝒙, 𝒕) ∈ ]𝟎, +∞[𝟐 , on a 𝟎 ≤ 𝒇𝒏 (𝒕) ≤ 𝒆−𝒕 𝒕𝒙−𝟏 .
𝒃) En utilisant le théorème de convergence dominée, démontrer que, pour tout 𝒙 ∈ ]𝟎, +∞[,
𝒏 𝒏
𝒕
𝚪(𝒙) = 𝓵im ∫ (𝟏 − ) 𝒕𝒙−𝟏 𝒅𝒕
𝒏 ⟶ +∞ 𝟎 𝒏
④ On pose, pour tout entier naturel 𝒏 et tout 𝒙 ∈ ]𝟎, +∞[,
𝟏
I𝒏 (𝒙) = ∫ (𝟏 − 𝒖)𝒏 𝒖𝒙−𝟏 𝒅𝒖 .
𝟎

𝒂) Après avoir justifié l’existence de l’intégrale I𝒏 (𝒙), déterminer une relation entre I𝒏 (𝒙) et I𝒏+𝟏 (𝒙).

𝒃) En déduire une expression de I𝒏 (𝒙).

𝒏𝒙 𝒏!
𝒄) En déduire que, pour tout 𝒙 ∈ ]𝟎, +∞[, 𝚪(𝒙) = 𝓵im 𝒏
𝒏 ⟶ +∞ 𝒙(𝒙 + 𝟏)
∏ (𝒙 + 𝒌)
(Formule de Gauss). 𝒌=𝟎

⑤ En remarquant que, pour tout entier 𝒏 ≥ 𝟐 et tout 𝒙 ∈ ]𝟎, +∞[,

𝒏 𝒏
𝟏 𝒙 𝒙 −𝒙
∏ (𝟏 + ) = 𝒆𝒙H𝒏 ∏ [(𝟏 + ) 𝒆 𝒌 ] .
𝒏𝒙 𝒌 𝒌
𝒌=𝟏 𝒌=𝟏

démontrer que, pour tout 𝒙 ∈ ]𝟎, +∞[,

𝒏
𝟏 𝒙 𝒙

𝚪(𝒙)
= 𝒙𝒆𝜸𝒙 𝓵im ∏ [(𝟏 + ) 𝒆−𝒌 ]
𝒏 ⟶ +∞ 𝒌
(Formule de Weierstrass).
𝒌=𝟏
𝒙 𝒙
⑥ 𝒂) En déduire que, pour tout 𝒙 ∈ ]𝟎, +∞[, la série ∑ [𝓵𝒏 (𝟏 + ) − ] est convergente.
𝒏 𝒏
𝒏≥𝟏
+∞
𝒙 𝒙
𝒃) On pose, pour tout 𝒙 ∈ ]𝟎, +∞[, 𝒈(𝒙) = ∑ [𝓵𝒏 (𝟏 +
𝒏
)− ].
𝒏
𝒏=𝟏

Démontrer que 𝒈 est de classe C𝟏 sur ]𝟎, +∞[ et exprimer 𝒈′(𝒙) comme somme d’une série de fonctions .
𝒄) En déduire que, pour tout 𝒙 ∈ ]𝟎, +∞[,
+∞
𝟏 𝟏 𝟏
𝝍(𝒙) = − 𝒙 − 𝜸 + 𝒏 𝒏+𝒙 .
∑ [ − ]
𝒏=𝟏
+∞
⑦ 𝒂) Que vaut 𝝍(𝟏) ? En déduire la valeur de ∫ 𝒆−𝒕𝓵𝒏(𝒕)𝒅𝒕 .
𝟎
𝒏−𝟏
𝟏
𝒃) Calculer, pour tout 𝒙 ∈ ]𝟎, +∞[, 𝝍(𝒙 + 𝟏) − 𝝍(𝒙) puis démontrer que, pour tout entier 𝒏 ≥ 𝟐, 𝝍(𝒏) = −𝜸 + ∑ .
𝒌=𝟏
𝒌
𝟏 𝟏
𝒄) Soit 𝒙 ∈ ]𝟎, +∞[. On pose, pour tout entier naturel 𝒌 et tout 𝒚 ∈ ]𝟎, +∞[, 𝒋𝒌(𝒚) = − .
𝒌+𝒚+𝟏 𝒌+𝒚+𝒙
Démontrer que la série ∑ 𝒋𝒏 converge normalement sur ]𝟎, +∞[.
𝒏≥𝟎

En déduire la valeur de 𝓵im (𝝍(𝒙 + 𝒏) − 𝝍(𝟏 + 𝒏)).

𝒏 ⟶ +∞

⑧ Déterminer l’ensemble des fonctions 𝒇 ∶ ]𝟎, +∞[ ⟶ ℝ vérifiant les trois propriétés : • 𝒇(𝟏) = 𝜸 ;
𝟏
• ∀𝒙 ∈ ]𝟎, +∞[, 𝒇(𝒙 + 𝟏) = 𝒇(𝒙) + ;
𝒙
• ∀𝒙 ∈ ]𝟎, +∞[, 𝓵im (𝒇(𝒙 + 𝒏) − 𝒇(𝟏 + 𝒏)) .
𝒏 ⟶ +∞
 Annexe

Théorème de convergence dominée

Soit I un intervalle de ℝ. Si 𝒇 ∈ CM(I, ℝ) et (𝒇𝒏 )𝒏∈ℕ ∈ CM(I, ℝ)ℕ telles que :

• ∀𝒕 ∈ I, lim 𝒇𝒏 (𝒕) = 𝒇(𝒕) ;
𝒏 ⟶ +∞
• il existe une fonction 𝝋 ∶ I ⟶ ℝ+ telle que ∫ 𝝋 converge et, pour tout (𝒏, 𝒕) ∈ ℕ × I, ቚ𝒇𝒏 (𝒕)ቚ ≤ 𝝋(𝒕).
I
Alors les intégrales ∫ 𝒇𝒏 (𝒕)𝒅𝒕 et ∫ 𝒇(𝒕)𝒅𝒕 convergent et lim ∫ 𝒇𝒏 (𝒕) = ∫ lim 𝒇𝒏 (𝒕)𝒅𝒕 .
I I 𝒏 ⟶ +∞ I I 𝒏 ⟶ +∞

Dérivation sous le signe ‫׬‬

Soit I et J deux intervalles de ℝ et soit 𝒇 ∶ I × J ⟶ ℝ une application telle que :

• ∀𝒕 ∈ I, la fonction 𝒙 ⟼ 𝒇(𝒕, 𝒙) est de classe C𝟏 sur J ;
• ∀𝒙 ∈ J, la fonction 𝒕 ⟼ 𝒇(𝒕, 𝒙) est continue par morceaux sur I et ∫ 𝒇(𝒕, 𝒙)𝒅𝒕 converge ;
I
𝝏𝒇
• il existe une fonction 𝝋 ∶ I ⟶ ℝ+ telle que ∫ 𝝋 converge et, pour tout (𝒕, 𝒙) ∈ I × J, ቤ (𝒕, 𝒙)ቤ ≤ 𝝋(𝒕).
I 𝝏𝒙
𝝏𝒇
Alors la fonction F ∶ 𝒙 ⟼ ∫ 𝒇(𝒕, 𝒙)𝒅𝒕 est de classe C𝟏 sur J et de dérivée F′ ∶ 𝒙 ⟼ ∫ (𝒕, 𝒙)𝒅𝒕 .
I I 𝝏𝒙

Dérivation sous le signe σ

Soit (𝒇𝒏 )𝒏∈ℕ une suite de fonctions réelles définies sur un intervalle I de ℝ. On suppose que :
• ∀𝒏 ∈ ℕ, 𝒇𝒏 est de classe C𝟏 sur I ;
• ∀𝒙 ∈ I, la série ∑ 𝒇𝒏 (𝒙) converge ;
il existe une suite (𝒂𝒏 )𝒏∈ℕ de réels positifs tels que
′
• ∑ 𝒂𝒏 converge et, pour tout (𝒏, 𝒙) ∈ ℕ × I, ቤ𝒇𝒏(𝒙)ቤ ≤ 𝒂𝒏 .
+∞ +∞
Alors la fonction F ∶ 𝒙 ⟼ 𝒇𝒏 (𝒙) est de classe C sur I et de dérivée F′ ∶ 𝒙 ⟼
𝟏 ′
∑ ∑ 𝒇𝒏 ( 𝒙) .
𝒏=𝟎 𝒏=𝟎