Série alternée des factorielles

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’analyse
Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, et plus précisément en analyse, la série alternée des factorielles est la série divergente 1 − 1 + 2 − 6 + 24 − 120 + ⋯ , en notations modernes :

.

Leonhard Euler est le premier à avoir considéré cette série, qu'il étudia par des méthodes de sommation formelle, ainsi qu'en lui associant une équation différentielle[1] ; cela lui permit de lui attribuer une valeur finie. Il est plus simple pour la sommer d'utiliser la sommation de Borel :

(formellement, puisque les deux séries divergent).

Échangeant somme et intégrale, on obtient :

La somme entre crochets converge vers 1/(1 + x) si x < 1. La remplaçant alors par 1/(1 + x) même pour les valeurs de x supérieures à 1, on obtient une intégrale convergente, ce qui autorise à écrire (au sens de Borel) :

e est la base des logarithmes népériens, et où Ei(z) est l'exponentielle intégrale.

Calcul par une équation différentielle[modifier | modifier le code]

Considérons le système d'équations différentielles

La solution stable vérifiant (x, y) = (0, 0) pour t → ∞ est donnée par y(t) = 1/t. En introduisant ce résultat dans l'équation en x puis en cherchant une solution sous forme de série formelle, on trouve :

La valeur x(1) est précisément celle qu'on veut calculer. D'un autre côté, on peut calculer la solution exacte :

Par intégrations par parties successives, on retrouve la série entière comme développement asymptotique de cette expression pour x(t). Euler utilise cette égalité pour affirmer :

ce qui est bien la valeur obtenue par sommation de Borel.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « 1 − 1 + 2 − 6 + 24 − 120 + · · · » (voir la liste des auteurs).

  1. (la) L. Euler, « De seriebus divergentibus », Novi Commentarii academiae scientiarum Petropolitanae, t. 5,‎ , p. 205-237 (arXiv 1202.1506, résumé, lire en ligne [PDF]).

Voir aussi[modifier | modifier le code]