Règle de Cauchy
Pour les articles homonymes, voir Cauchy.
Ne doit pas être confondu avec Critère de Cauchy.
En mathématiques, 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 vectoriel normé.
Cette règle est parfois confondue avec le « critère de Cauchy » selon lequel, dans un espace complet comme ℝ ou ℂ, toute suite de Cauchy converge.
Énoncé modifier
La règle de Cauchy[1] donne un critère de convergence pour une série de terme général xn dans un espace vectoriel normé, en fonction de la limite supérieure[2]
![{\displaystyle p=\limsup _{n\to +\infty }{\sqrt[{n}]{\left\|x_{n}\right\|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b933b62bde5b0d169d9f335cd1d92d2daeaa989)
La série est :
- absolument convergente si p < 1, donc convergente si l'espace est de Banach c'est-à-dire complet ;
- grossièrement divergente si p > 1, c'est-à-dire que la suite (xn) ne tend même pas vers 0.
Si p = 1, il y a indécidabilité à défaut d'informations supplémentaires.
La règle s'applique en particulier pour des séries dans ℝ (où la norme est la valeur absolue) ou dans ℂ (où la norme est le module) ou même dans ℝn ou ℂn, complets pour n'importe quelle norme.
Cas p = 1 modifier
La série harmonique qui diverge et la série harmonique alternée qui converge vers ln(2) sont deux exemples pour lesquels la limite des ║xn║1/n — et pas seulement la limite supérieure — vaut 1, car (1/n)ln(1/n) tend vers 0.
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 xn = n−2 est absolument convergente vers ζ(2) alors que pour elle, la limite vaut 1 ;
- la série de terme général xn = (–1)n diverge grossièrement alors que pour elle, la limite vaut aussi 1.
Lien avec la règle de d'Alembert modifier
Ce critère de convergence est très proche de celui de d'Alembert, qui spécifie dans sa forme la plus précise que la série de terme général xn :
- converge absolument dès que lim sup (║xn+1║/║xn║) < 1 ;
- diverge grossièrement dès que lim inf (║xn+1║/║xn║) > 1.
La règle de Cauchy lui est légèrement supérieure de deux points de vue :
- stricto sensu, le critère de d'Alembert ne s'applique qu'à une série sans terme nul. On peut toujours sans problème se ramener à ce cas, mais il n'est pas nécessaire de prendre cette précaution avec celui de Cauchy ;
- le cas douteux de la règle de d'Alembert est légèrement plus vaste que celui de celle de Cauchy : chaque fois que la règle de d'Alembert conclut quelque chose, celle de Cauchy arrive à la même conclusion, puisqu'il est vrai en général que En revanche, il existe des exemples pour lesquels la règle de Cauchy conclut, mais pas celle de d'Alembert[3].
![{\displaystyle \liminf {\tfrac {\|x_{n+1}\|}{\|x_{n}\|}}\leq \limsup {\sqrt[{n}]{\|x_{n}\|}}\leq \limsup {\tfrac {\|x_{n+1}\|}{\|x_{n}\|}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa64b8aedf4a31ed16e925c2b208b81446ad115b)
Notes et références modifier
- Pour une démonstration, voir par exemple .
- Augustin Louis Cauchy, Cours d'analyse de l'École royale polytechnique, 1re partie. Analyse algébrique, (lire en ligne), p. 132.
- Gilles Costantini, « Règles de d'Alembert et de Cauchy pour les séries à termes réels positifs » (version du sur Internet Archive).
