Analyse

Intégrales généralisées
1ère année de Mathématiques
Ma SUP LMD Whatsapp

Exercice 3

a) Supposons que l’ensemble 𝐼(𝑓) n’est pas vide et montrons que c’est un intervalle de ℝ.

- S’il contient un seul élément 𝛼 ∈ ℝ alors 𝐼(𝑓) = {𝛼} qui est l’intervalle de ℝ ∶ [𝛼 ; 𝛼 ]

- S’il contient au moins deux éléments :

Dans ce cas, supposons que 𝐼(𝑓) n’est pas un intervalle. Il existe alors 𝜆 < 𝛽 < 𝛾 tel que :
𝜆 , 𝛾 ∈ 𝐼(𝑓) mais 𝛽 ∉ 𝐼(𝑓).

Cela signifie que :

+∞

∫ |𝑓(𝑡)|𝑡𝛽−1 𝑑𝑡 diverge
0

De plus, la fonction : 𝛼 ⟼ 𝑡 𝛼−1 est strictement décroissante pour 𝑡 ∈ ]0 ; 1] et strictement

croissante pour 𝑡 ∈ [1 ; +∞[ . Il s’ensuit que :

1 1
𝛽−1
∫|𝑓(𝑡)|𝑡 𝑑𝑡 < ∫|𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡
0 0

1
Donc d’après le théorème de comparaison, ∫0 |𝑓(𝑡)|𝑡𝛽−1 𝑑𝑡 converge (1) car

1
∫0 |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 converge du fait que 𝜆 ∈ 𝐼(𝑓).

De même,
+∞ +∞

∫ |𝑓(𝑡)|𝑡𝛽−1 𝑑𝑡 < ∫ |𝑓(𝑡)|𝑡 𝛾−1 𝑑𝑡

1 1
 +∞
Donc d’après le théorème de comparaison, ∫1 |𝑓(𝑡)|𝑡𝛽−1 𝑑𝑡 converge (2) car

+∞
∫1 |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 converge du fait que 𝛾 ∈ 𝐼(𝑓).

Des relations (1) et (2), on en déduit par la relation de Chasles

+∞
que : ∫0 |𝑓(𝑡)|𝑡𝛽−1 𝑑𝑡 converge . Ainsi, l’hypothèse initiale est fausse et l’ensemble 𝐼(𝑓)
est un intervalle de ℝ.

b) Déterminons 𝐼(𝑒0 ) avec 𝑒0 la fonction indicatrice sur [0 ; 1].

+∞ 1

𝐼(𝑒0 ) = ∫ |𝑒0 (𝑡)|𝑡 𝛼−1 𝑑𝑡 = ∫ 𝑡 𝛼−1 𝑑𝑡

0 0

1
Etudions la convergence de ∫0 𝑡 𝛼−1 𝑑𝑡 suivant les valeurs de 𝛼.

1 11 11
- Si 𝛼 = 0 alors ∫0 𝑡 𝛼−1 𝑑𝑡 = ∫0 𝑑𝑡 = ln 1 − lim ln 𝑡 = +∞ donc ∫0 𝑑𝑡 diverge .
𝑡 𝑡⟼0 𝑡
>

1 1 1
- Si 𝛼 ≠ 0 alors ∫0 𝑡 𝛼−1 𝑑𝑡 = 𝛼 [𝑡 𝛼 ]10 . Si de plus 𝛼 < 0 alors ∫0 𝑡 𝛼−1 𝑑𝑡 diverge et si 𝛼 > 0

1
alors ∫0 𝑡 𝛼−1 𝑑𝑡 converge.

Ainsi : 𝐼(𝑒0 ) =]0 ; +∞[

Calculons (ℳ𝑒0 )(𝑥) pour 𝑥 ∈ 𝐼(𝑒0 ).

D’après l’étude précédente, il est évident que pour 𝑥 ∈ 𝐼(𝑒0 ) :

1 1𝑥 1
(ℳ𝑒0 )(𝑥) = [𝑡 𝑥 ]10 = =
𝑥 𝑥 𝑥

c) Montrons que ]𝛼 ; +∞[ ⊂ 𝐼(𝑓). Soit 𝜆 > 𝛼, le but est de montrer que :

+∞
∫0 |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 converge.

D’après l’énoncé de la question c),

1. il existe 𝐴, 𝑘1 > 0 tel que : ∀ 𝑥 ∈ [0, 𝐴[, |𝑓(𝑥)| ≤ 𝑘1 |𝑥 −𝛼 |

2. pour tout 𝛽 ∈ ℝ+ , il existe 𝐴’ , 𝑘2 ∈ ℝ+ tel que : ∀ 𝑥 ∈ [ 𝐴′ , +∞[, |𝑓(𝑥)| ≤ 𝑘2 |𝑥 −𝛽 |

 𝐴 +∞
Etudions la convergence de ∫0 |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 et ∫𝐴′ |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡

𝐴 𝐴 𝐴
𝜆−1 −𝛼 𝜆−1
∫|𝑓(𝑡)|𝑡 𝑑𝑡 < 𝑘1 ∫ 𝑡 𝑡 𝑑𝑡 = 𝑘2 ∫ 𝑡 (𝜆−𝛼)−1 𝑑𝑡
0 0 0

𝐴
Or ∫0 𝑡 (𝜆−𝛼)−1 𝑑𝑡 < +∞ car 𝜆 − 𝛼 > 0 d’après les questions précédentes.

+∞ +∞ +∞

∫ |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 < 𝑘2 ∫ 𝑡 −𝛽 𝜆−1

𝑡 𝑑𝑡 = 𝑘2 ∫ 𝑡 (𝜆−𝛽)−1 𝑑𝑡
𝐴′ 𝐴′ 𝐴′

+∞
Cette inégalité est vraie pour tout 𝛽 ∈ ℝ+ et comme ∫𝐴′ 𝑡 (𝜆−𝛽)−1 𝑑𝑡 < +∞ si 𝜆 − 𝛽 < 0 , il
suffit de choisir alors 𝜆 < 𝛽.

En utilisant par la suite, la relation de Chasles : sans perte de généralité supposons que 𝐴 < 𝐴′

+∞ 𝐴 𝐴′ +∞

∫ |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 = ∫|𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 + ∫ |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 + ∫ |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡

0 0 𝐴 𝐴′

𝐴′
Et sachant que 𝑓 est continue sur [0 ; +∞ [, ∫𝐴 |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 < +∞ , on peut conclure :

+∞
∫0 |𝑓(𝑡)|𝑡 𝜆−1 𝑑𝑡 converge. En s’inspirant du cas 𝐴 ≤ 𝐴′ , on montre facilement la convergence
dans le cas contraire 𝐴 > 𝐴′ . Ainsi : ]𝛼 ; +∞[ ⊂ 𝐼(𝑓).

d) Montrons que ℳ𝑓 est continue sur ]𝛼 ; +∞[ .

Il suffit de montrer que la fonction 𝐹: (𝑥, 𝑡) ⟼ |𝑓(𝑡)|𝑡 𝑥−1 est continue sur ]𝛼 ; +∞[ × ℝ+

]𝛼 ; +∞[ × ℝ+ est un domaine de ℝ2 .Comme ℝ2 est un espace de dimension finie, toutes les
normes usuelles sont équivalentes. Choisissons celle qui convient le mieux pour démontrer le
résultat.

La fonction 𝐻: (𝑥, 𝑡) ⟼ |𝑓(𝑡)|𝑡 𝑥−1 est continue sur ]𝛼 ; +∞[ × ℝ+ car est le produit de deux

fonctions continues sur ]𝛼 ; +∞[ × ℝ+ à savoir :

𝐹: (𝑥, 𝑡) ⟼ |𝑓(𝑡)| 𝑒𝑡 𝐺: (𝑥, 𝑡) ⟼ 𝑡 𝑥−1

Considérons la norme 1 sur ℝ2 : ‖ ‖1 ∶ (𝑥, 𝑡) ⟼ ‖(𝑥, 𝑡)‖1 = |𝑥| + |𝑡|

Soit (𝑥0 , 𝑡0 ) ∈ ]𝛼 ; +∞[ × ℝ+

Pour tout (𝑥, 𝑡) ∈ ]𝛼 ; +∞[ × ℝ+ tel que : ‖(𝑥, 𝑡) − (𝑥0 , 𝑡0 )‖1 = |𝑥 − 𝑥0 | + |𝑡 − 𝑡0 |

|𝐹(𝑥, 𝑡) − 𝐹(𝑥0 , 𝑡0 )| = ||𝑓(𝑡)| − |𝑓(𝑡0 )|| ≤ |𝑓(𝑡) − 𝑓(𝑡0 )|

Or 𝑓 est continue sur ℝ+ donc ∀ 𝜖 > 0, ∃ 𝜂 > 0 tel que ∶ ∀ 𝑡 ∈ ℝ+ , |𝑡 − 𝑡0 | < 𝜂 ⟹ |𝑓(𝑡) − 𝑓(𝑡0 )| ≤ 𝜖
Ainsi, pour assurer la continuité de la fonction 𝐹, il suffit de choisir : ‖(𝑥, 𝑡) − (𝑥0 , 𝑡0 )‖1 < 𝜂.

𝑥 −1 𝑥 −1
De même, |𝐺(𝑥, 𝑡) − 𝐺(𝑥0 , 𝑡0 )| = |𝑡 𝑥−1 − 𝑡0 0 | = |𝑡 𝑥−1 − 𝑡 𝑥0 −1 + 𝑡 𝑥0 −1 − 𝑡0 0 |

𝑥 −1
≤ |𝑡 𝑥−1 − 𝑡 𝑥0 −1 | + |𝑡 𝑥0 −1 − 𝑡0 0 |

Or la fonction : 𝑥 ⟼ 𝑡 𝑥−1 est continue sur ℝ donc sur ]𝛼 ; +∞[ et la fonction : 𝑡 ⟼ 𝑡 𝑥−1 est continue
sur ℝ+ donc

∀ 𝜖 > 0, ∃ 𝜂1 > 0 tel que ∶ ∀ 𝑥 ∈ ]𝛼 ; +∞[, |𝑥 − 𝑥0 | < 𝜂1 ⟹ |𝑡 𝑥−1 − 𝑡 𝑥0 −1 | ≤ 𝜖/2

Et

∀ 𝜖 > 0, ∃ 𝜂2 > 0 tel que ∶ ∀ 𝑡 ∈ ℝ+ , |𝑡 − 𝑡0 | < 𝜂2 ⟹ |𝑡 𝑥−1 − 𝑡 𝑥0 −1 | ≤ 𝜖/2

Ainsi, pour assurer la continuité de la fonction 𝐺, il suffit de choisir : ‖(𝑥, 𝑡) − (𝑥0 , 𝑡0 )‖1 < 𝜂1 + 𝜂2 .

e) Montrons que ℳ𝑓 est de classe 𝐶 1 sur ]𝛼 ; +∞[ .

Il suffit d’ajouter à la continuité de la fonction 𝐻, l’existence et la continuité de :

𝜕𝐻 𝐻(𝑥 + ℎ, 𝑡) − 𝐻(𝑥, 𝑡)
(𝑥, 𝑡) ⟼ (𝑥, 𝑡) ≔ lim
𝜕𝑥 ℎ⟼0 ℎ

𝐻(𝑥 + ℎ, 𝑡) − 𝐻(𝑥, 𝑡) |𝑓(𝑡)|𝑡 𝑥+ℎ−1 − |𝑓(𝑡)|𝑡 𝑥−1 |𝑓(𝑡)|𝑡 𝑥−1 (𝑡 ℎ − 1)

= =
ℎ ℎ ℎ

𝑡 ℎ −1 𝐻(𝑥+ℎ,𝑡)−𝐻(𝑥,𝑡)
lim = 1 donc lim = |𝑓(𝑡)|𝑡 𝑥−1 et on a déjà montré que cette fonction est
ℎ⟼0 ℎ ℎ⟼0 ℎ
continue sur ]𝛼 ; +∞[ × ℝ+ .

𝜕𝐻
(𝑥, 𝑡) ⟼
𝜕𝑥
(𝑥, 𝑡) est de de classe 𝐶 1 sur ]𝛼 ; +∞[ × ℝ+.