Classe : MPSI 2

Le mardi 20/06/2023 Devoir surveillé N°7 Année scolaire : 2022-2023

Lycée Ibn Tahir - Errachidia

Exercice 1
On considère la fonction 𝒇 de la variable réelle 𝒙 définie par
+∞
𝒇 ∶ 𝒙 ⟼ ∑ sin ( 𝟏 ) 𝒙𝒏 .
𝒏=𝟏
√𝒏

① Montrer que 𝒇 est au moins définie sur ]−1, 1[.

② La fonction 𝒇 est-elle définie en −1 ? en 1 ?
③ 𝒂) Soit M > 𝟎. Montrer qu’il existe un entier 𝒏𝟎 ≥ 1 et un réel 𝟎 < 𝜼 < 1 tels que :
𝒏𝟎
𝟏
∀𝒙 ∈ ]1 − 𝜼, 1[ , ∑ sin ( 𝒕) 𝒙𝒌 ≥ M.
𝒌=𝟏 √𝒌

𝒃)  En déduire la valeur de la limite lim− 𝒇(𝒙).

𝒙⟶𝟏
+∞
𝟏 𝟏
④ 𝒂) On considère la fonction 𝒈 ∶ 𝒙 ⟼ ∑ [sin ( ) − sin ( )] 𝒙𝒏 .
𝒏=𝟐
√𝒏 √𝒏 − 𝟏

Montrer que 𝒈 est au moins définie sur [−1, 1].

𝒃)  En admettant que 𝒈 est continue en 1, montrer que lim−(1 − 𝒙)𝒇(𝒙) = 𝟎.
𝒙⟶𝟏

Exercice 2
Pour tout réel 𝒙, on pose
+∞
+∞ cos(𝒙𝒕) (−𝟏)𝒏 (𝟐𝒏 + 𝟏)
(𝒙) = ∫
𝒆𝒕 + 𝒆−𝒕
𝒅𝒕 et (𝒙) = ∑ .
𝟎 (𝟐𝒏 + 𝟏)𝟐 + 𝒙𝟐
𝒏=𝟎

cos(𝒙𝒕)
+∞
① Montrer que, pour tout réel 𝒙, l’intégrale ∫
𝒆𝒕 + 𝒆−𝒕
𝒅𝒕 converge.
𝟎
(−𝟏)𝒏 (𝟐𝒏 + 𝟏)
② Montrer que, pour tout réel 𝒙, la série ∑ converge.
(𝟐𝒏 + 𝟏)𝟐 + 𝒙𝟐
𝒏≥𝟎

③ Montrer que, pour tout entier naturel 𝒏 et tout réel 𝒙, l’intégrale

+∞
𝒏 (𝒙) = ∫ 𝒆−(2𝒏+1)𝒕cos(𝒙𝒕)𝒅𝒕
𝟎

est convergente et la calculer.

④ Justifier que l’on a :
𝒏+𝟏 𝒏
𝟏 (−𝟏) 𝒆−(𝟐𝒏+𝟑)𝒕
+ ∑ (−1) 𝒆−(2𝒌+1)𝒕 .
𝒌
∀𝒏 ∈ , ∀𝒙 ∈ , ∀𝒕 ∈ + ,
∗
=
𝒆𝒕 + 𝒆−𝒕 𝟏 + 𝒆−𝟐𝒕 𝒌=𝟎

⑤ Déduire des questions précédentes que, pour tout réel 𝒙,  (𝒙) = (𝒙).

Exercice 3
Soit (𝒂𝒏 )𝒏≥𝟏 une suite à valeurs complexes.
𝒂𝒏
Le but de cet exercice est d’étudier la convergence de la série de Dirichlet ∑ de paramètre 𝓩 ∈ .
𝒏≥𝟏
𝒏𝓩
On considère les deux ensembles
𝒂𝒏
𝒂 = {𝒙 ∈ ⁄ ∑
𝒏𝒙
converge absolument} et 𝒄 = {𝒙 ∈ ⁄ ∑ 𝒂
𝒏𝒙
𝒏
converge} .
𝒏≥𝟏 𝒏≥𝟏

On note 𝝈𝒂 = 𝒊𝒏𝒇(𝒂) et 𝝈𝒄 = 𝒊𝒏𝒇(𝒄 ) avec les conventions 𝒊𝒏𝒇(∅) = +∞ et 𝒊𝒏𝒇() = −∞ si  est une partie non vide et non minorée.

I – Exemples
① Calculer 𝝈𝒂 et 𝝈𝒄 dans le cas où 𝒂𝒏 = √1𝒏 pour tout entier 𝒏 ≥ 1.
② Calculer 𝝈𝒂 et 𝝈𝒄 dans le cas où 𝒂𝒏 = 𝒏(−1)𝒏 pour tout entier 𝒏 ≥ 1.

II – Abscisse 𝝈𝒂 de convergence absolue

③ Soit 𝓩𝟎 , 𝓩 ∈ tels que Re (𝓩𝟎 ) ≤ Re (𝓩). Montrer l’implication :
𝒂𝒏 𝒂𝒏
∑ converge absolument ⟹ ∑ converge absolument.
𝒏≥𝟏
𝒏𝓩𝟎 𝒏≥𝟏
𝒏𝓩
 𝒂𝒏
④ Montrer que si 𝝈𝒂 = −∞, alors la série ∑
𝒏𝓩
converge absolument pour tout 𝓩 ∈ .
𝒏≥𝟏
𝒂𝒏
⑤ Montrer que si 𝝈𝒂 = +∞, alors la série ∑ ne converge absolument pour aucun complexe 𝓩.
𝒏≥𝟏
𝒏𝓩
⑥ On suppose que 𝝈𝒂 ∈  et soit 𝓩 ∈ . Montrer les implications :
𝒂𝒏
• 𝝈𝒂 < Re(𝓩) ⟹ ∑ converge absolument ;
𝒏≥𝟏
𝒏𝓩
𝒂𝒏
• Re(𝓩) < 𝝈𝒂 ⟹ ∑ 𝓩 ne converge pas absolument.
𝒏≥𝟏
𝒏

III – Inégalités
⑦ Justifier que 𝝈𝒄 ≤ 𝝈𝒂 puis montrer que cette inégalité est optimale.
⑧ 𝒂) Montrer que 𝝈𝒂 ≤ 𝝈𝒄 + 1.
𝒂𝒏
(On pourra utiliser que si 𝒙 ∈  avec 𝝈𝒄 < 𝒙, alors ∑
𝒏𝒙
converge.
𝒏≥𝟏

𝒃) En étudiant le cas de la suite (𝒂𝒏 )𝒏≥𝟏 définie par 𝒂𝒏 = (−1)𝒏, montrer que cette inégalité est optimale.

Exercice 4
Le but de cet exercice est de calculer la somme de la série ∑
1 , et plus précisément, de donner un développement asymptotique
𝟐
𝒏≥𝟏 𝒏

de la somme partielle 𝒏 = ∑
𝒏
1.
𝟐
𝒌=𝟏 𝒌

① Soit un réel 𝜶 > 1 et un entier 𝒌 ≥ 2.

𝒌+𝟏 𝒅𝒕 1 𝒌 𝒅𝒕
𝒂) Justifier que ∫ ≤ 𝜶 ≤∫ .
𝒌 𝒕𝜶 𝒌 𝒌−𝟏 𝒕𝜶

𝒃) En déduire que
+∞
∑ 𝜶 ~
1 
1 .
𝒏→+∞ (𝜶 − 𝟏)𝒏𝜶−𝟏
𝒌=𝒏 𝒌

② Soit 𝒇 : [𝟎, 𝝅] ⟶  une fonction de classe 𝟏 . Démontrer que

𝝅 𝟐𝒏 + 𝟏
lim ∫ 𝒇(𝒕) sin ( 𝒕) 𝒅𝒕 = 𝟎.
𝒏 → +∞ 𝟎 𝟐
③ Pour un entier 𝒏 ≥ 1 et 𝒕 ∈ ]𝟎, 𝝅], on pose
𝒏
𝟏
𝒏 (𝒕) = + ∑ cos(𝒌𝒕) .
𝟐 𝒌=𝟏
sin (𝟐𝒏𝟐+ 𝟏 𝒕)
𝒂) Montrer que 𝒏(𝒕) = 𝟏
.
𝟐 sin (𝟐 𝒕)

𝒃) Déterminer deux réels 𝒂 et 𝒃 tels que, pour tout entier 𝒌 ≥ 1, on ait

𝝅 1
∫ (𝒂𝒕 + 𝒃𝒕) cos(𝒌𝒕)𝒅𝒕 =
𝟐
.
𝟎 𝒌𝟐
𝝅 𝝅𝟐
𝒄) Vérifier alors que l'on a 𝟐
∫ (𝒂𝒕 + 𝒃𝒕) 𝒏 (𝒕)𝒅𝒕 = 𝒏 − .
𝟎 𝟔
𝒂𝒕𝟐 + 𝒃𝒕
𝒅) Montrer que la fonction 𝒇 ∶ 𝒙 ⟼ 𝟏
, définie sur ]𝟎, 𝝅], est prolongeable en une fonction de classe 𝟏 sur [𝟎, 𝝅].
𝟐 sin (𝟐 𝒕)

④ Déduire des questions précédentes que 𝒏 = 𝝅 − 1 + 𝒐 (1) .

𝟐

𝟔 𝒏 𝒏