Exercice 14-13
Étudier la convergence de la série
en fonction du paramètre \(\beta>0\).
\[\sum_{n\geqslant 27}\frac{1}{n\log(n)(\log(\log(n)))^\beta}\,,
\]
On a vu à la fin de
cette section
certaines conditions qui garantissent la convergence/divergence d'une série
est équivalente à la convergence/divergence d'une
intégrale généralisée de Type II.
Le terme général tend vers zéro quelle que soit la valeur de \(\beta\).
Comme \[n\mapsto n\log(n)(\log(\log(n)))^\beta\] est un produit de
fonctions croissantes, elle est croissante, et donc le terme général
est décroissant.
On peut donc utiliser le théorème vu au cours et obtenir la
convergence/divergence de la série à partir de la convergence/divergence de
l'intégrale généralisée
\[ I_\beta=\int_{27}^\infty\frac{1}{x \log(x)(\log(\log(x)))^\beta}\,dx\,.
\]
Remarquons que cette intégrale est bien définie puisque
si \(x\geqslant 27=3^3\geqslant e^e\), alors \(\log(\log(x))\geqslant \log(\log(e^e))=1>0\).
Par un changement de variable, en posant \(y=\varphi(x)
:= \log(\log(x))\), on a \(\varphi'(x)=\frac{1}{x\log(x)}\), et donc
\[\begin{aligned}
\int_{27}^\infty&\frac{1}{x \log(x)(\log(\log(x)))^\beta}\,dx\\
&=
\lim_{L\to \infty}
\int_{27}^L\frac{1}{x \log(x)(\log(\log(x)))^\beta}\,dx\\
&=
\lim_{L\to \infty}
\int_{\log(\log(27))}^{\log(\log(L))}\frac{1}{y^\beta}\,dy
=
\int_{\log(\log(27))}^{\infty}\frac{1}{y^\beta}\,dy\,.
\end{aligned}\]
Or par le théorème vu au cours,
cette dernière converge si et seulement si \(\beta>1\). On a donc que
\[
\sum_{n\geqslant 27}
\frac{1}{n\log(n)(\log(\log(n)))^\beta}
\begin{cases}
\text{converge si }\beta>1\,,\\
\text{diverge si }0<\beta\leqslant 1\,.
\end{cases}
\]