Considérez les suites $(u_n)_{n\geq 2}$ et $(v_n)_{n\geq 2}$ définies de la façon suivante :
Montrez que ces deux suites sont équivalentes
Remarquez déjà que, pour tout entier $n\geq 2\comma$ le réel $v_n$ est non nul. Cela permet de passer au quotient.
Soit $n$ un entier tel que $n\geq 2\comma$ vous avez :
Or, vous avez la majoration :
Comme $\lim_{n\to +\infty} \frac{1}{\sqrt{n}} = 0\comma$ il vient $\lim_{n\to +\infty} \frac{(-1)^n}{\sqrt{n}} = 0$ et donc $\lim_{n\to +\infty} \frac{u_n}{v_n} = 1.$
Ainsi les deux suites $(u_n)$ et $(v_n)$ sont bien équivalentes.
Montrez que la série $\sum_{n\geq 2} \frac{(-1)^n}{\sqrt{n}}$ est convergente
Note : si vous connaissez le critère spécial des séries alternées, vous pouvez sauter cette section.
Pour tout entier $N$ supérieur ou égal à $2\comma$ posez $S_{N} = \sum_{n=2}^{N} \frac{(-1)^n}{\sqrt{n}}.$
Il s’agit de comprendre pourquoi $\lim_{N\to +\infty} S_N$ existe et est un nombre réel.
Tout d’abord :
Inutile d’aller plus loin, comme $\frac{1}{\sqrt{4}} \lt \frac{1}{\sqrt{3}}$ il vient $-\frac{1}{\sqrt{3}}+\frac{1}{\sqrt{4}} \lt 0.$
Voyez-vous ce qui se passe ? La suite $(S_{2N})_{N\geq 1}$ semble être décroissante.
En effet, soit $N$ un entier supérieur ou égal à $1.$
Du coup $S_{2N+2}\lt S_{2N}.$
Maintenant, vous allez montrer que la suite $(S_{2N})_{N\geq 1}$ est minorée par $0.$
Déjà, $S_2 \geq 0.$
La sommation par paquets va se révéler très intéressante pour la suite.
Soit $N$ un entier supérieur ou égal à $2.$
Vous déduisez de ce qui précède que la suite $(S_{2N})_{N\geq 1}$ est minorée par $0.$ Comme elle est décroissante, elle converge vers un nombre réel $\ell$ positif.
Montrez maintenant que la suite $(S_N)_{N\geq 2}$ converge vers $\ell.$
Soit $\varepsilon$ un réel strictement positif. Par convergence de la suite $(S_{2N})_{N\geq 1}$ vers $\ell$ vous déduisez :
Soit $N$ un entier supérieur ou égal à $\max\left( \frac{4}{\varepsilon^2}, 2P+1\right).$
Premier cas : $N$ est pair. Il existe un entier $M$ tel que $N=2M.$ Comme $N\geq 2P\comma$ vous avez $M\geq P\comma$ donc $ \vert S_{2M} – \ell \vert \leq \frac{\varepsilon}{2}$ donc $\vert S_{2M} – \ell \vert \leq \varepsilon$ ce qui s’écrit $\vert S_{N} – \ell \vert \leq \varepsilon.$
Second cas : $N$ est impair. Il existe un entier $M$ tel que $N = 2M+1.$
Or $N\geq 2P+1$ donc $2M+1\geq 2P+1$ donc $M\geq P$ donc $\left\rvert S_{2M} – \ell \right\rvert \leq \frac{\varepsilon}{2}.$
Comme $N\geq \frac{4}{\varepsilon^2}\comma$ il vient $\sqrt{N}\geq \frac{2}{\varepsilon}$ puis $\frac{1}{\sqrt{N}}\leq \frac{\varepsilon}{2}.$
Ainsi, $\left\rvert S_N – \ell \right\rvert \leq \varepsilon.$
Il a été démontré que $\lim_{N\to +\infty} S_N = \ell.$
Montrez que la série $\sum_{n\geq 2} \frac{(-1)^n}{\sqrt{n}+(-1)^n}$ est divergente
Effectuez un développement asymptotique quand $n$ tend vers l’infini :
Ce qui montre que :
Il a été vu précédemment que $\sum_{n\geq 2} u_n$ converge.
Par le critère de Riemann la série $\sum_{n\geq 2} \frac{1}{n\sqrt{n}}$ converge.
Supposez que la série $\sum_{n\geq 2} v_n$ converge. Alors la série harmonique $\sum_{n\geq 2} \frac{1}{n}$ converge aussi, ce qui est absurde.
Donc la série $\sum_{n\geq 2} v_n$ diverge, bien que les suites $(u_n)$ et $(v_n)$ soient équivalentes : le critère d’équivalence ne s’applique qu’aux séries à termes de signe constant.
