- Règle de Cauchy
-
Pour les articles homonymes, voir Cauchy.
En mathématiques et en topologie, la règle de Cauchy, qui doit son nom au mathématicien français Augustin Cauchy, est un critère de convergence pour une série à termes réels, ou complexes, ou plus généralement à termes dans un espace de Banach.
Cette règle est parfois confondue avec le « critère de Cauchy », ce dernier stipulant que, dans un espace métrique, toute suite convergente est une suite de Cauchy.
Sommaire
Énoncé
Soit une série de terme général dans un espace de Banach (qui est un espace vectoriel normé et complet). Si la limite suivante existe
alors la série satisfait les propriétés suivantes :
- si p < 1, la série est absolument convergente[1].
- si p > 1, la série est grossièrement divergente[2].
- si p = 1 ou si la limite n’existe pas, il y a indécidabilité à défaut d’informations supplémentaires.
Autres résultats
Généralisation
Le même énoncé reste vrai si, dans la définition de p, la limite est remplacée par la limite supérieure.
Cas particuliers
La règle s’applique pour des séries dans (où la norme est la valeur absolue) ou dans (où la norme est le module), car ces deux espaces sont de Banach. Il en va de même dans ou dans munis de n’importe quelle norme.
Indécidabilité
Avec p = 1
La série harmonique qui diverge et la série harmonique alternée qui converge vers ln(2) sont deux exemples pour lesquels p = 1[3].
On montre encore que les réciproques des deux premières propriétés sont fausses :
- La série de Dirichlet de terme général est absolument convergente vers ζ(2) (fonction zêta de Riemann) alors qu’elle satisfait p = 1.
- La série de terme général diverge grossièrement alors qu’elle satisfait p = 1.
Dans les exemples précédents, p est aussi égal à 1 s’il est défini par la limite supérieure.Avec p indéfini
Si p est défini par la limite :
- En partant d’une série convergente pour laquelle p < 1 (ou divergente pour laquelle p > 1), il suffit d’insérer des valeurs nulles (par exemple à intervalles réguliers) pour que la limite p n’existe plus, sans modifier pour autant la convergence de la série. Ce procédé induit des exemples pour p indéfini.
Si p est défini par la limite supérieure :
- p existe toujours si la suite est bornée. Dans le cas contraire, la série ne saurait converger.
Preuve
- Si p < 1, il existe un entier m et un réel 0 < r < 1 tels que dès que n > m. Ainsi, la suite est majorée par la suite géométrique de raison r et la série est absolument convergente.
- Si p > 1 est défini par la limite, il existe un entier m et un réel r > 1 tels que dès que n > m.
- Si p est défini par la limite supérieure, il existe un ensemble non fini de valeurs n > m telles que .
- Dans les deux cas, la suite diverge, ce qui implique que la série ne saurait être convergente.
Notes (et références)
- Et la suite tend vers 0.
- Car la suite ne tend pas vers 0.
- ln(1 / n)1 / n tend vers 0. On vérifie en effet que
Voir aussi
Wikimedia Foundation. 2010.