La fonction
x⟼x2ln(x) est continue sur l'intervalle
[1; +∞[, donc elle y est localement intégrable.
Soit
x∈[1; +∞[, on a, à l'aide d'une intégration par parties, les développements suivants :
∫1xt2ln(t)dt=∫1xt21ln(t)dt=[−t1ln(t)]1x−∫1x((−t1)×t1)dt=[t1ln(t)]x1+∫1xt21dtSoit :
∫1xt2ln(t)dt=11ln(1)−x1ln(x)+∫1xt21dtComme
ln(1)=0, on obtient :
∫1xt2ln(t)dt=−x1ln(x)+∫1xt21dt=−x1ln(x)+[−t1]1x=−x1ln(x)+[t1]x1=−x1ln(x)+11−x1Donc :
∫1xt2ln(t)dt=−xln(x)+1−x1=1−(xln(x)+x1)Ainsi :
∫1xt2ln(t)dt=1−x1+ln(x)De fait, on en déduit que :
∫1+∞x2ln(x)dx=x⟶+∞lim∫1xt2ln(t)dt=x⟶+∞lim(1−x1+ln(x))=1−x⟶+∞limx1+ln(x)=1−x⟶+∞limxln(x)Par croissance comparée, on sait que
x⟶+∞limxln(x)=0. Il en résulte donc que :
∫1+∞x2ln(x)dx=1Ainsi, l'intégrale généralisée
∫1+∞x2ln(x)dx est de nature convergente.