Test de convergence

En mathématiques, les tests de convergence sont des méthodes de test de la convergence, de la convergence absolue ou de la divergence d'une série $\sum a_n$. Appliqués aux séries entières, ils donnent des moyens de déterminer leur rayon de convergence.

Liste de tests

Limite des termes

Pour que la série converge, il est nécessaire que $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$. Par conséquent, si cette limite est indéfinie ou non nulle, alors la série diverge.

La condition n'est pas suffisante, et, si la limite des termes est nulle, on ne peut rien conclure.

Test de convergence absolue

Toute série absolument convergente converge.

Test de comparaison directe

Si la série $\sum b_n$ est absolument convergente et $|a_n|\le |b_n|$ pour n suffisamment grand, alors la série $\sum a_n$ converge absolument.

Application aux suites équivalentes

Si $a_n,b_n>0$ et si $a_n\sim b_n$, alors $\sum a_n$ converge si et seulement si $\sum b_n$ converge.

Règles de d'Alembert et de Cauchy

Règle de d'Alembert

Ce test est également connu comme le critère de d'Alembert.

Supposons qu'il existe $r$ tel que

$\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|=r.$

Si Modèle:Nobr, alors la série est absolument convergente. Si Modèle:Nobr, alors la série diverge. Si Modèle:Nobr, le test de ratio n'est pas concluant, et la série peut converger ou diverger.

Règle de Cauchy

Ce test est également connu comme le test de la racine n-ième.

Soit 

$r=\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[n]{|a_n|}$,

où $\mathrm{lim\; sup}$ désigne la limite supérieure (qui peut être $+\mathrm{\infty }$).

Si Modèle:Nobr, alors la série converge. Si Modèle:Nobr, alors la série diverge. Si Modèle:Nobr, le test n'est pas concluant, et la série peut converger ou diverger.

Comparaison des deux règles

La règle de Cauchy est plus forte que la règle de d'Alembert (car la condition requise est plus faible) : chaque fois que la règle de d'Alembert détermine la convergence ou la divergence d'une série infinie, la règle de Cauchy le fait aussi, mais la réciproque est fausse.

Par exemple, pour la série

$1+1+\frac{1}{2}+\frac{1}{2}+\frac{1}{4}+\frac{1}{4}+\frac{1}{8}+\frac{1}{8}+\dots =4$,

la convergence peut se déduire de la règle de Cauchy, mais pas de celle de d'Alembert.

Comparaison série-intégrale

La série peut être comparée à une intégrale pour établir sa convergence ou sa divergence. Soit $f:[1,\mathrm{\infty }[\to ℝ$ une fonction monotone.

La série $\sum f(n)$ converge si et seulement si l'intégrale impropre $\underset{1}{\overset{\mathrm{\infty }}{\int }}f(x)\mathrm{d}x$ converge.

Test de Dirichlet

Si :

• $(a_n)$ est une suite réelle monotone de limite nulle et
• $(b_n)$ est une suite de nombres complexes dont la suite ${\left(\sum _{k\le n}{b}_k\right)}_n$ des sommes partielles est bornée,

alors $\sum a_n{b}_n$ converge.

Ce théorème a deux corollaires importants :

Test des séries alternées

Si :

1. $(-1{)}^n{a}_n$ est de signe constant,
2. $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$,
3. la valeur absolue de chaque terme est inférieure à la valeur absolue du terme précédent,

alors $\sum a_n$ est convergente.

Ce test est également connu comme le critère de Leibniz.

Test d'Abel

Si :

1. $(a_n)$ est une suite monotone et bornée et
2. $\sum b_n$ est une série convergente,

alors $\sum a_n{b}_n$ est aussi convergente.

Test de Raabe-Duhamel

Soit $\sum a_n$ une série de réels strictement positifs.

• Si $\frac{a_{n+1}}{a_n}\le 1-\frac{b}{n}$ pour un certain $b>1$ (indépendant de $n$), alors $\sum a_n$ converge.
• Si $\frac{a_{n+1}}{a_n}\ge 1-\frac{1}{n}$, alors $\sum a_n$ diverge.

Test de Bertrand

Soit $\sum a_n$ une série de réels strictement positifs.

• Si $\frac{a_n}{a_{n+1}}\ge 1+\frac{1}{n}+\frac{b}{n\ln n}$ pour un certain $b>1$ (indépendant de $n$), alors $\sum a_n$ converge.
• Si $\frac{a_n}{a_{n+1}}\le 1+\frac{1}{n}+\frac{1}{n\ln n}$, alors $\sum a_n$ diverge.

Test de condensation de Cauchy

Soit $(a_n)$ une suite positive décroissante.

Soient $A=\sum _{n\ge 1}{a}_n,A^{*}=\sum _{k\ge 0}{2}^k{a}_{2^k}\in [0,+\mathrm{\infty }]$. Alors, $A\le A^{*}\le 2A$. En particulier :

$\sum a_n$ converge si et seulement si $\sum 2^k{a}_{2^k}$ converge.

Ce test s'applique par exemple à l'étude des séries de Riemann et des séries de Bertrand.

Convergence de produit

Soit $\left(a_n\right)$ une suite de réels positifs. Alors le produit infini $\prod (1+a_n)$ converge si et seulement si la série $\sum a_n$ converge. Similairement, si $0<a_n<1$, alors la limite $\prod (1-a_n)$ est non nulle si et seulement si la série $\sum a_n$ converge.

Cela peut être prouvé en prenant le logarithme du produit et en utilisant le test des suites équivalentes Modèle:Supra.

Article connexe

• Théorème de Stolz-Cesàro