Série alternée des entiers

Série alternée des entiers
Les premiers milliers de termes et de sommes partielles de 1 − 2 + 3 − 4 + …

La série alternée des entiers est, en mathématiques, la série associée à la suite des nombres entiers (strictement positifs), affectés de signes alternés. Les termes de cette série peuvent donc s'écrire sous la forme :

1 - 2 + 3 - 4 + \cdots + m (-1)^{m-1} = \sum_{n=1}^m n(-1)^{n-1}.

Cette série est divergente, c'est-à-dire que la suite des sommes partielles est une suite divergente, qui n'admet pas de limite finie. Cependant, au cours du XVIIIe siècle, Leonhard Euler écrivit l'identité suivante, qu'il qualifia de paradoxale :

1-2+3-4+\cdots=\frac{1}{4}.

Aucune explication rigoureuse à cette identité n'était alors disponible. En 1890, Ernesto Cesàro, Émile Borel et d'autres recherchèrent des méthodes générales pour sommer des séries divergentes, c'est-à-dire donner une valeur à leur somme, et notamment sur l'exemple de la série 1 – 2 + 3 – 4 + …, nombre de ces méthodes aboutissent bien à la valeur 14 : par exemple la sommation d'Abel, mais pas le lemme de Cesàro, qui échoue à déterminer une somme.

Cette série est fortement liée à la série de Grandi (1 − 1 + 1 − 1 + …), et Euler les considérait comme deux cas particuliers des séries de puissances alternées (1 − 2n + 3n − 4n + …, pour n entier positif quelconque), dans une perspective de recherche qui prenait racine dans le problème de Bâle pour en venir à considérer les équations fonctionnelles des fonctions êta de Dirichlet et zêta de Riemann.

Sommaire

Divergence

La divergence de la série peut être établie par le fait que la suite de ses termes successifs ne tend pas vers 0 (série dite grossièrement divergente, par un critère classique). Cependant, cette divergence peut être établie par un argument plus précis, à savoir, la suite des sommes partielles prend comme valeur chaque entier relatif exactement une fois[1] :

1 = 1,
1 − 2 = −1,
1 − 2 + 3 = 2,
1 − 2 + 3 − 4 = −2,
1 − 2 + 3 − 4 + 5 = 3,
1 − 2 + 3 − 4 + 5 − 6 = −3,

Des heuristiques pour la sommation

Stabilité et linéarité

On suppose ici qu'on puisse donner un sens à l'écriture s = 1 − 2 + 3 − 4 + … pour un certain nombre s, et que les manipulations suivantes, linéaires, soient possibles, en concordance avec cette convention[2] :


\begin{array}{rclllll}
4s&=& &(1-2+3-4+\cdots) & +(1-2+3-4+\cdots) & +(1-2+3-4+\cdots) &+(1-2+3-4+\cdots) \\
  &=& &(1-2+3-4+\cdots) & +1+(-2+3-4+5+\cdots) & +1+(-2+3-4+5+\cdots) &-1+(3-4+5-6\cdots) \\
  &=&1+[&(1-2-2+3) & +(-2+3+3-4) & +(3-4-4+5) &+(-4+5+5-6)+\cdots] \\
  &=&1+[&0+0+0+0+\cdots] \\
4s&=&1
\end{array}

Additionner 4 copies de 1 − 2 + 3 − 4 + …, en utilisant uniquement des décalages et des sommes termes à termes donne 1. Les côtés droit et gauche montrent chacun l'addition de deux copies de 1 − 2 + 3 − 4 + …, aboutissant à 1 − 1 + 1 − 1 + …

Ceci permet d'aboutir à l'identité s = 14. Bien que la série soit divergente, cette valeur est la plus naturelle qu'on puisse donner à sa somme.

Une généralisation de la définition de la somme d'une série divergente est appelée méthode de sommation ; une telle méthode ne parvient pas forcément à sommer toutes les séries. Plusieurs méthodes distinctes peuvent être envisagées ; elles sont analysées en fonctions des propriétés des sommes de séries convergentes qui restent vraies avec ces nouvelles méthodes plus générales. Le calcul précédent montre en fait que toute méthode de sommation stable (ce qui correspond aux opérations effectuées pour isoler les premiers termes dans le calcul ci-dessus) et linéaire (multiplication par 4 et parenthésage) qui parvient à sommer la série 1 − 2 + 3 − 4 + … lui assignera la valeur 14.

On remarque par ailleurs les identités :


\begin{array}{rcllll}
2s  & = &     &(1-2+3-4+\cdots) & +    & (1-2+3-4+\cdots) \\
    & = & 1 + &(-2+3-4+\cdots)  &+1-2  & +(3-4+5\cdots) \\
    & = & 0 + &(-2+3)+(3-4)+ (-4+5) \\
\frac{1}{2}& = & &1-1+1-1\cdots \\
\end{array}

qui montrent qu'une méthode ayant ces propriétés parvient aussi à sommer la série de Grandi, à la valeur 12.

Produit de Cauchy

En 1891, Cesàro souligne : « Nous sommes déjà en mesure d'écrire (1 − 1 + 1 − 1 + …)² = 1 − 2 + 3 − 4 + … et d'affirmer que les deux membres valent 14[3]. » Pour Cesàro, ce résultat est une conséquence d'un théorème qu'il a prouvé l'année précédente et qui peut être considéré comme le premier résultat sur la sommation des séries divergentes. Il s'agit de considérer la série 1 − 2 + 3 − 4 + … comme un produit de Cauchy de la série de Grandi par elle-même.

1 − 2 + 3 − 4 + … peut être vu comme un produit de Cauchy de 1 − 1 + 1 − 1 + …

Le produit de Cauchy de deux séries, même divergentes, peut être défini. Dans cet exemple, en posant an = ∑ bn = ∑ (−1)n, les termes du produit de Cauchy de la série de Grandi par elle-même sont :

\begin{array}{rcl}
c_n & = &\displaystyle \sum_{k=0}^n a_k b_{n-k}=\sum_{k=0}^n (-1)^k (-1)^{n-k} \\[1em]
  & = &\displaystyle \sum_{k=0}^n (-1)^n  = (-1)^n(n+1).
\end{array}

et la série produit est donc comme attendu :

\sum_{n=0}^\infty(-1)^n(n+1) = 1-2+3-4+\cdots.

Ainsi, une méthode de sommation compatible avec le produit de Cauchy et qui somme la série de Grandi à la valeur 12 sommera la série 1 − 2 + 3 − 4 + … à la valeur 14. En combinant cela avec le résultat de la section précédente, on obtient que la série 1 − 2 + 3 − 4 + … et la série de Grandi sont simultanément sommables pour toute méthode linéaire, stable et respectant le produit de Cauchy.

La sommation de Cesàro à l'ordre 1 (dite (C, 1)) permet pourtant de sommer la série de Grandi, mais pas la série 1 − 2 + 3 − 4 + …, comme il a été dit dans l'introduction. Cependant, celle-ci peut être sommée par une méthode de sommation de Cesàro à l'ordre 2, (dite (C, 2))[4].

Exemples de méthodes de sommation

Cesàro et Hölder

Données montrant la somme (H, 2) aboutissant à 14

La première somme de Cesàro de la série 1 − 2 + 3 − 4 + …, est obtenue en calculant, pour chaque n, la moyenne arithmétique des n premières sommes partielles de la série, qui sont :

1,\ 0,\ \frac{2}{3},\ 0,\ \frac{3}{5},\ 0,\ \frac{4}{7},\ \dots.

Cette suite n'étant pas sommable (on vérifie que la suite des termes de rang pair est nulle, et que celle des termes de rang impair tend vers 12), la série 1 − 2 + 3 − 4 + … n'est pas sommable au sens de Cesàro.

Deux familles de généralisations de la sommation de Cesàro sont usuellement étudiées. La plus simple est notée (H, n), où la méthode (H, 1) est la méthode de Cesàro ci-dessus, la méthode (H, 2) consiste à considérer les moyennes arithmétiques des moyennes arithmétiques de la méthode (H, 1), et ainsi de suite. La forme générale du me terme obtenu suivant la méthode (H, 2) à partir d'une série dont les sommes partielles sont les αi est ainsi[5] :

\frac{1}{m+1}\sum_{k=0}^m\frac{1}{k+1}\sum_{i=0}^k\alpha_i

Un calcul élémentaire montre que la série 1 − 2 + 3 − 4 + … est (H, 2)-sommable, de somme 14.

La lettre H fait référence à Otto Hölder, qui le premier montra en 1882 ce qu'on interprète maintenant comme le lien entre la sommation d'Abel et la sommation (H, n) ; la série 1 − 2 + 3 − 4 + … est le premier exemple qu'il considérait[6]. Selon ce résultat, la somme d'Abel de la série 1 − 2 + 3 − 4 + … est donc à nouveau 14, et ce résultat sera prouvé directement ci-dessous.

Les autres généralisations des méthodes de Cesàro sont notées (C, n). La forme générale du me terme obtenu suivant la méthode (H, 2) à partir d'une série dont les sommes partielles sont les αi est ainsi[réf. nécessaire]:

\frac{2}{(m+1)(m+2)}\sum_{k=0}^m\sum_{i=0}^k\alpha_i

Un théorème ultérieur montre que ces deux généralisations donnent la même notion de sommabilité, mais leurs origines historiques sont distinctes. Les méthodes (C, n) ont été identifiées par Cesàro en deux temps : il s'en est d'abord approché en 1887, en donnant quelques exemples, notamment celui de la série 1 − 2 + 3 − 4 + … ; puis il les a défini rigoureusement en 1890, de manière à être capable d'énoncer son théorème que le produit de Cauchy d'une série (C, n)-sommable et d'une série (C, m)-sommable est (C, m + n + 1)-sommable[7].

Sommation d'Abel

Sommes partielles de 1−2x+3x2+…; 1(1 + x)2; et limites en 1

Dans un texte de 1749, Euler reconnaît que la série 1 − 2 + 3 − 4 + … diverge, mais ne renonce pas pour autant à la sommer :

« Affirmer que la somme de la série 1−2+3−4+5−6 etc. est 14 doit sembler paradoxal. En effet, en additionnant les 100 premiers termes de cette série, on obtient -50, tandis que la somme de 101 termes donne 51, ce qui est complètement différent de 14, et le devient encore plus si on augmente le nombre de termes considérés. Mais, j'ai déjà remarqué précédemment que le mot somme devait se voir attribuer un sens élargi[8]. »

Euler proposa à de nombreuses reprises une généralisation du terme somme. Ses propositions rejoignent, dans le cas de la série 1 − 2 + 3 − 4 + …, la méthode appelée aujourd'hui sommation d'Abel :

« Il n'y a plus de doute que la somme de la série 1 − 2 + 3 − 4 + … est 14, puisqu'elle provient du développement de la formule 1(1+1)2, dont la valeur est incontestablement 14. L'idée devient plus claire en considérant généralement la série 1 − 2x + 3x2 − 4x3 + 5x4 − 6x5 + &c. qui provient du développement de l'expression 1(1+x)2, à laquelle la série considérée est en effet égale en prenant x = 1[9]. »

L'identité :

1-2x+3x^2-4x^3+\cdots = \frac{1}{(1+x)^2}.

est effectivement vérifiée, et prend un sens analytique sur le domaine | x | < 1. Cependant, du point de vue moderne, la série 1 − 2x + 3x² − 4x³ + …, prise isolément en tant que fonction de la variable x, n'est pas définie en x = 1, et donc la somme de la série 1 − 2 + 3 − 4 + … ne peut se déduire en évaluant l'identité ci-dessus en x = 1. La définition de la somme d'Abel consiste alors à considérer la limite quand x tend vers 1 :

\lim_{x\rightarrow 1^{-}}\sum_{n=1}^\infty n(-x)^{n-1} = \lim_{x\rightarrow 1^{-}}\frac{1}{(1+x)^2} = \frac14.

Euler et Borel

Sommation d'Euler vers 1214

Euler étudia la série via une autre technique de son invention, la transformation d'Euler. Celle-ci se calcule, pour la série alternée, en considérant les différences successives entre les valeurs absolues a_{0}=1,\ a_{1}=2,\ a_{2}=3,\ a_{3}=4, ... des termes de la série, c'est-à-dire ici a1a0 = Δa0 = 1,Δa1 = 1,Δa2 = 1,.... La transformée d'Euler est définie en général en itérant ce processus, mais sur cet exemple, la suite des Δai obtenue étant constante, les suites obtenues ensuite sont triviales. La transformée d'Euler de 1 − 2 + 3 − 4 + … est alors définie comme :

\frac12 a_0-\frac14\Delta a_0 +\frac18\Delta^2 a_0 -\cdots = \frac12-\frac14.

Du point de vue moderne, on dit que la série 1 − 2 + 3 − 4 + … est sommable au sens d'Euler, et a pour somme 14.

La sommabilité au sens d'Euler implique une autre propriété de sommabilité. En écrivant 1 − 2 + 3 − 4 + … sous la forme :

\sum_{k=0}^\infty a_k = \sum_{k=0}^\infty(-1)^k(k+1),

on considère la série entière suivante :

a(x) = \sum_{k=0}^\infty\frac{(-1)^k(k+1)x^k}{k!} = e^{-x}(1-x).

La somme de Borel de 1 − 2 + 3 − 4 + … est alors[10] :

\int_0^\infty e^{-x}a(x)\,\mathrm dx = \int_0^\infty e^{-2x}(1-x)\,\mathrm dx = \frac12-\frac14.

Séparation des échelles

Saichev et Woyczyński parviennent à l'identité 1−2+3−4+...= 14 en appliquant seulement deux principes physiques : la relaxation infinitésimale et la séparation des échelles. Ces principes les amènent à définir une large famille de méthodes de sommation, dites méthodes de φ-sommation, qui parviennent toutes à traiter la série 1 − 2 + 3 − 4 + … :

Si φ est une fonction de classe C2, dont la dérivée et la dérivée seconde sont intégrables, sur ]0, ∞[, telle que φ(0) = 1, admettant ainsi que la fonction x\mapsto x\varphi (x) a une limite nulle en +∞, alors[11] :

\lim_{\delta\downarrow0}\sum_{m=0}^\infty (-1)^m(m+1)\varphi(\delta m) = \frac14.

Ce résultat est une généralisation de la sommation d'Abel, qui correspond au cas particulier φ(x) = exp(−x).

Généralisations

Euler somme des séries analogues dans les Institutiones de 1755

Le cube de Cauchy de 1 − 1 + 1 − 1 + … est 1 − 3 + 6 − 10 + …, qui est la série alternée dont les termes ont pour valeur absolue les nombres triangulaires ; ses sommes d'Abel et d'Euler sont 18[12]. Sa puissance quatrième est 1 − 4 + 10 − 20 + …, qui est la série alternée dont les termes ont pour valeur absolue les nombres tétraédriques ; sa somme d'Abel est 116.

Une autre généralisation consiste à considérer la série 1 − 2 + 3 − 4 + … comme un cas particulier de la famille de séries 1 − 2n + 3n − 4n + ..., pour n entier naturel. Les sommes d'Abel de ces séries sont[13] :

1-2^{n}+3^{n}-\cdots = \frac{2^{n+1}-1}{n+1}B_{n+1}

Bn désigne le ne nombre de Bernoulli ; ces sommes sont en particulier nulles pour n pair. Ce résultat est tourné en dérision par Abel en 1826 [14]:

« Les séries divergentes sont une invention du diable et c’est une honte qu’on ose fonder sur elles la moindre démonstration. On peut tirer d’elles tout ce qu’on veut quand on les emploie et ce sont elles qui ont produit tant d’échecs et tant de paradoxes. Peut-on penser chose plus effroyable que de dire :

0 = 1 - 2^{n} + 3^{n} - 4^{n} + \ldots \quad (n > 0)

Mes amis, voici quelque chose dont il faut se moquer[15]. »

Le maître de Cesàro, Eugène Catalan, dédaignait aussi les séries divergentes. Sous son influence, Cesàro qualifia d'abord les formules ci-dessus concernant 1 − 2n + 3n − 4n + … d'« identités absurdes », et en 1883, partageait le point de vue de l'époque selon lequel il s'agissait de formules fausses, quoique, d'une certaine façon, formellement utiles. C'est finalement en 1890, dans son article Sur la multiplication des séries, que Cesàro adopta le point de vue moderne sur le sujet[16].

Pour des valeurs non entières de l'exposant n, cette famille de séries devient la fonction êta de Dirichlet, dont la recherche de l'équation fonctionnelle, fut une des motivations d'Euler pour l'étude de la série 1 − 2 + 3 − 4 + …. Cette fonction êta est liée à la fonction zêta de Riemann, mais est plus simple à étudier. Le fait qu'elle soit sommable au sens d'Abel, pour toute valeur de son paramètre, à la différence de la fonction zêta, en est une raison[17] . Par ailleurs, Euler s'était déjà distingué en calculant les valeurs de la fonction zêta aux entiers pairs (ce qui résolvait notamment le problème de Bâle), et cherchait à faire de même aux entiers impairs (ce dernier problème reste largement ouvert aujourd'hui) .

Notes et références

  1. Hardy p.8
  2. Hardy (p.6) presents this derivation in conjunction with evaluation of Grandi's series 1 − 1 + 1 − 1 + ….
  3. Ferraro, p.130.
  4. Hardy, p.3; Weidlich, pp.52–55.
  5. Hardy, p.9. For the full details of the calculation, see Weidlich, pp.17–18.
  6. Ferraro, p.118; Tucciarone, p.10. Ferraro critique l'explication de Tucciarone(p.7) de ce que Hölder lui-même pensait du résultat général, mais les explications par les deux auteurs du traitement d'Hölder de 1 − 2 + 3 − 4 + … sont analogues.
  7. Ferraro, pp.123–128.
  8. Euler et al, p.2. Although the paper was written in 1749, it was not published until 1768.
  9. Euler et al, pp.3, 25.
  10. Weidlich p. 59
  11. Saichev and Woyczyński, pp.260–264.
  12. Kline, p.313.
  13. Knopp, p.491; il semble qu'il y ait une erreur à ce sujet dans Hardy, p.3.
  14. Lettre à Holmboe du 16 janvier 1826
  15. Grattan-Guinness, p.80
  16. Ferraro, pp.120–128.
  17. Euler et al, pp.20–25.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Série alternée des entiers de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Série de Grandi — La série 1 − 1 + 1 − 1 + … ou est parfois appelée la série de Grandi, du nom du mathématicien, philosophe et prêtre Luigi Guido Grandi, qui en donna une analyse célèbre en 1703. Il s agit d une série divergente, c est à dire que la suite de ses… …   Wikipédia en Français

  • Serie harmonique — Série harmonique Pour les articles homonymes, voir Série et Harmonique. En mathématiques, la série harmonique est une série de nombres réels. C est la série des inverses des entiers naturels non nuls. Sujet d étude classique en analyse, elle fait …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Série harmonique — Pour les articles homonymes, voir Série et Harmonique. En mathématiques, la série harmonique est une série de nombres réels. C est la série des inverses des entiers naturels non nuls. Elle fait partie de la famille plus large des séries de… …   Wikipédia en Français

  • Fonction De Compte Des Nombres Premiers — En mathématiques, la fonction de compte des nombres premiers est la fonction comptant le nombre de nombres premiers inférieurs ou égaux à un nombre réel x. Elle est notée (à ne pas confondre avec la constante π). Les 60 premièr …   Wikipédia en Français

  • Fonction de compte des nombres premiers — En mathématiques, la fonction de compte des nombres premiers est la fonction comptant le nombre de nombres premiers inférieurs ou égaux à un nombre réel x. Elle est notée (à ne pas confondre avec la constante π). Les 60 premières valeurs de π(n) …   Wikipédia en Français

  • 1 − 2 + 3 − 4 + · · · — Série alternée des entiers Les premiers milliers de termes et de sommes partielles de 1 − 2 + 3 − 4 + … La série alternée des entiers est, en mathématiques, la série associée à la suite des nombres entiers (strictement positifs), affectés de… …   Wikipédia en Français

  • Formule de Leibniz — Pour les articles homonymes, voir Règle de Leibniz. En mathématiques, plusieurs identités portent le nom de formule de Leibniz, nommées d après le mathématicien Gottfried Wilhelm Leibniz : En analyse réelle, la formule de Leibniz est la… …   Wikipédia en Français

  • Demonstration de la formule de Leibniz — Formule de Leibniz En mathématiques, plusieurs identités portent le nom de formule de Leibniz, nommées d après le mathématicien Gottfried Wilhelm Leibniz (21 juillet 1646 14 novembre 1716) : En analyse réelle, la formule de Leibniz est la… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”