// Au départ ce billet était un article de vulgarisation, qui s'est transformé en brouillon de recherche au fur et à mesure que j'avançais mes idées et que je découvrais celles des autres. Il mériterait une refonte, quand j'en prendrai le temps. // ====== Introduction ====== Il y a beaucoup à dire historiquement sur le sujet, et je referai probablement l'article après l'avoir croisé avec des articles intéressants comme [[https://sciencetonnante.wordpress.com/2013/05/27/1234567-112/|Science étonnante]] ou [[http://www.science4all.org/article/infinite-series|Science4All]], et surtout il faudrait que je lise l'ouvrage de référence de [[https://archive.org/details/divergentseries033523mbp|Hardy]]. Mais pour l'instant je souhaitais juste mettre au propre mes premières réflexions sur le sujet... ====== Séries convergentes ====== {{ :vulgarisation:serie-geom.png?300 |}} Comme il y a déjà beaucoup à dire((Du coup je ferai peut-être un article ou une vidéo sur les séries convergentes, ça pourrait être intéressant...)), je vais partir du principe que les sommes infinies comme $$\sum_{n \ge 0}\frac{1}{2^n} = 2$$ ne vous font pas peur. Si c'est bien le cas, vous savez alors qu'on dit qu'une série $\sum x_n$ est dite **convergente** si la suite des sommes partielles est finie : $$\lim\limits_{N \rightarrow \infty}\left(\sum_{n=0}^N x_n\right) < \infty$$ C'est le cas par exemple de $\sum \frac{1}{2^n}$, puisque : $$\lim\limits_{N \rightarrow \infty}\left(\sum_{n=0}^N \frac{1}{2^n}\right) = \lim\limits_{N \rightarrow \infty} \left(2 - \frac{1}{2^N}\right) =2$$ Astuce : le calcul entre parenthèses est obtenu de façon générale pour toutes les [[https://fr.wikipedia.org/wiki/S%C3%A9rie_g%C3%A9om%C3%A9trique|séries géométriques]], c'est à dire les séries de la forme $\sum a \times r^n$ : $$\[\begin{array}{r@{}l} (1 - r) \times (a + ar + ar^2 + \dots + ar^N) &{} = (a + ar + ar^2 + \dots + ar^N)\\ &{} \hspace{0.665cm} - (ar + ar^2 + \dots + ar^N + ar^{N+1})\\ &{} = a - ar^{N+1}\\ \end{array}\]$$ Donc si la raison $r$ de la suite est différente de $1$, nous avons : $$a + ar + ar^2 + \dots + ar^N = a \times \frac{1 - r^{N+1}}{1 - r}$$ Donc en remplaçant $a = 1$ et $r = \frac{1}{2}$ dans l'expression, nous avons bien : $$\sum_{n=0}^N \frac{1}{2^n} = \frac{1 - \frac{1}{2^{N+1}}}{1 - \frac{1}{2}} = 2 - \frac{1}{2^N}$$ En généralisant le raisonnement précédent (exercice ^^), on s'aperçoit que les séries géométriques sont convergentes si et seulement si $|r| < 1$. Une série qui n'est pas convergente sera dite **divergente**. La question du jour est : peut-on quand même attribuer de manière raisonnable une valeur à des suites divergentes ? ====== Principes ====== J'ai pris le temps de discuter des séries géométriques car elles sont un exemple simple des opérations que l'on souhaite faire sur les séries. Nous avons obtenu $a - ar^{N+1}$ implicitement en réorganisant les termes, ce qui fonctionne bien s'il y a un nombre fini de termes, mais pas s'il y en a une infinité. Prenons la série suivante : $$\sum_{n \ge 0}(-1)^n = 1 -1 +1 -1 + \dots$$ Il est possible de la parenthéser de deux manières différentes pour obtenir une contradiction : $$\[\begin{array}{r@{}l} \sum\limits_{n \ge 0}(-1)^n &{} = (1 -1) +(1 -1) + \dots\\ &{} = 0 + 0 + \dots\\ &{} = 0\\ \end{array}\]$$ $$\[\begin{array}{r@{}l} \sum\limits_{n \ge 0}(-1)^n &{} = 1 + (-1 +1) + (-1 +1) + \dots\\ &{} = 1 + 0 + 0 + \dots\\ &{} = 1\\ \end{array}\]$$ L'idée est donc de trouver un ensemble d'opérations sur les séries divergentes qui permette de trouver des valeurs pertinentes sans qu'il y ait contradiction. Comme nous voulons généraliser le travail déjà fait sur les séries convergentes, la moindre des choses serait que si nous appliquons nos opérations sur des séries convergentes, nous obtenions la même valeur qu'avec les sommes partielles. C'est l'axiome de **régularité** : $$\lim\limits_{N \rightarrow \infty}\left(\sum_{n=0}^N x_n\right) = \ell < \infty \Rightarrow \sum_{n \ge 0} x_n = \ell$$ Notez que j'utilise le même symbole $\sum$ pour la sommation classique et notre sommation sur les séries en général même si elles sont divergentes. En fait, nous cherchons une extension cohérente de $\sum$, et il serait plus rigoureux de le noter autrement, par exemple $\tilde{\sum}$. Mais nous ne voulons pas alourdir les notations par la suite, et si jamais nous parvenons au but à cause de l'axiome de régularité nous pourrons confondre les deux symboles. Nous avons vu que nous ne pouvions pas parenthéser les séries divergentes n'importe comment. Par la suite nous ne nous autoriserons qu'une seule réorganisation de terme : pouvoir extraire le premier terme. C'est à dire que nous respectons une structure de liste pour les séries, afin de correspondre à l'intuition de << pou obtenir le résultat, j'additionne le premier terme, puis le second, puis le troisième, etc. >>. Plus formellement, c'est l'axiome de **stabilité**, qui énonce que nous pouvons obtenir une (valeur pour) une nouvelle série $\sum y_n$ à partir d'une série $\sum x_n$ déjà définie telle que pour tout $n \in \mathbb{N}$ nous ayons $y_n = x_{n+1}$ et $\sum x_n = x_0 + \sum y_n$. Cela revient en fait à décaler la numérotation : $$\sum_{n \ge 0}u_n = u_0 + \sum_{n \ge 1}u_n$$ Rien qu'à ce stade, ça coince. En effet, prenons la série $1+1+1+\dots$ : $$\[\begin{array}{r@{}l} \sum\limits_{n \ge 0}1 &{} = 1 +\sum_{n \ge 1}1\\ &{} = 1 +\sum_{n \ge 0}1\\ \end{array}\]$$ Donc en soustrayant $\sum 1$ à gauche et à droite nous avons $0 = 1$. Ainsi, il n'est pas possible d'appliquer notre méthode à toutes les séries, mais il est peut-être possible de restreindre le champ d'étude de façon à avoir des résultats cohérents... Je propose de nous limiter aux séries vérifiant que si elles sont périodiques alors la somme des éléments de la période vaut $0$. Ainsi, nous éliminons $\sum 1$ mais nous gardons $\sum (-1)^n$ puisque $\sum (-1)^n = 1 -1 + \sum (-1)^n$. Plus formellement : $$\exists p \left(\forall n \ x_{n+p} = x_n \Rightarrow \sum_{n 1$), par exemple pour $a=1$ et $r=2$: $$\sum_{n \ge 0}2^n = -1$$ Une somme infinie d'entiers positifs donnerait un résultat négatif ?! Mais le pire est à venir, puisque notre but est de prouver que : $$\boxed{1+2+3+4+5+\dots = -\frac{1}{12}}$$ ====== Quelques calculs ====== Pourquoi cette valeur, qui en plus d'être négative a le mauvais goût d'être une fraction ? ^^ Il y a des raisons physiques, voir par exemple [[https://sciencetonnante.wordpress.com/2015/09/11/leffet-casimir-et-le-retour-de-12345-112|l'article de Science Étonnante sur l'effet Casimir]], mais ici je vais m'attarder sur les raisons mathématiques. Commençons plus doucement pour la [[https://fr.wikipedia.org/wiki/S%C3%A9rie_de_Grandi|Grandi]] $S_1 = \sum\limits_{n \ge 0}(-1)^n$ pour laquelle nous avions maladroitement donné les valeurs $0$ et $1$ : $$\[\begin{array}{r@{}l} S_1 &{} = \sum\limits_{n \ge 0}(-1)^n\\ &{} = 1 + \sum\limits_{n \ge 1}(-1)^n\\ &{} = 1 + \sum\limits_{n \ge 0}(-1)^{n+1}\\ &{} = 1 - \sum\limits_{n \ge 0}(-1)^n\\ &{} = 1 - S_1\\ \end{array}\]$$ Comme $S_1 = 1 - S_1$ donc la bonne valeur n'est pas $0$ ou $1$, mais entre les deux : $$\boxed{1 - 1 + 1 - 1 + \dots = \frac{1}{2}}$$ Passons à une autre : la [[https://fr.wikipedia.org/wiki/S%C3%A9rie_altern%C3%A9e_des_entiers|série alternée des entiers]] $S_2 = \sum\limits_{n \ge 0}n(-1)^{n+1}$. En utilisant la série précédente, nous avons que : $$\[\begin{array}{r@{}l} S_2 - S_1 &{} = \sum\limits_{n \ge 0}n(-1)^{n+1} - \sum\limits_{n \ge 0}(-1)^n\\ &{} = \sum\limits_{n \ge 0}\left(n(-1)^{n+1} - (-1)^n\right)\\ &{} = \sum\limits_{n \ge 0}(n+1)(-1)^{n+1}\\ &{} = \sum\limits_{n \ge 0}n(-1)^n\\ &{} = - S_2\\ \end{array}\]$$ Comme $S_2 - \frac{1}{2} = - S_2$ nous avons : $$\boxed{1 -2 +3 -4 +\dots = \frac{1}{4}}$$ En passant, il est possible de définir le [[https://fr.wikipedia.org/wiki/Produit_de_Cauchy|produit]] entre deux séries par : $$\left(\sum\limits_{n \ge 0}x_n\right)\left(\sum\limits_{n \ge 0}y_n\right) = \sum\limits_{n \ge 0}z_n$$ par $z_n = \sum\limits_{k = 0}^nx_ky_{n-k}$. Ainsi, une preuve alternative (mais dépassant nos règles précédentes) consiste à remarquer que le produit de $S_1$ par lui-même donne une série avec les coefficients suivants : $$\[\begin{array}{r@{}l} z_n &{} = \sum\limits_{k = 0}^n(-1)^k(-1)^{n-k}\\ &{} = \sum\limits_{k = 0}^n(-1)^n\\ &{} = (n+1)(-1)^n\\ \end{array}\]$$ Ainsi, la série obtenue par produit a comme valeur : $$\[\begin{array}{r@{}l} S_1 \times S_1 &{} = \sum\limits_{n \ge 0}(n+1)(-1)^n\\ &{} = \sum\limits_{n \ge 0}(n+1)(-1)^{n+2}\\ &{} = 0 + \sum\limits_{n \ge 1}n(-1)^{n+1}\\ &{} = \sum\limits_{n \ge 0}n(-1)^{n+1}\\ &{} = S_2\\ \end{array}\]$$ Ainsi, nous retrouvons par un autre moyen que $S_2 = S_1 \times S_1 = \left(\frac{1}{2}\right)^2 = \frac{1}{4}$. //Note : ce serait plus élégant (et immédiat ^^') de la définir plutôt par :// $S_2 = \sum\limits_{n \ge 0}(n+1)(-1)^n$ Notez que nous ne savons toujours pas si nos règles sont cohérentes, mais obtenir le même résultat par deux méthodes différentes est en soi rassurant. Passons maintenant à la somme des entiers naturels $S_3 = \sum\limits_{n \ge 0}n$ que nous essayons de résoudre par [[https://fr.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%8B%AF#Heuristique|l'heuristique de Ramanujan]]. Mais pour cela nous avons besoin d'un dernier outil : la dilatation de série, c'est à dire le fait de pouvoir ajouter des zéros de façon homogène dans la série. Ainsi, nous noterons $\sum\limits_{2n \ge 0}x_n$ la série $\sum\limits_{n \ge 0}y_n$ définie par : $$y_n = \left\{ \begin{array}{rl} x_\frac{n}{2} & \text{si }2|n \\ 0 & \text{sinon} \\ \end{array} \right.$$ Nous admettrons momentanément que $\sum\limits_{2n \ge 0}x_n = \sum\limits_{n \ge 0}x_n$, c'est à dire que $1+2+3+4+\dots = 1+0+2+0+\dots$. Voilà le calcul proposé : $$\[\begin{array}{r@{}l} -3S_3 &{} = S_3 -4S_3\\ &{} = \sum\limits_{n \ge 0}n -4\sum\limits_{n \ge 0}n\\ &{} = \sum\limits_{n \ge 0}n -4\sum\limits_{2n \ge 0}n\\ &{} = \sum\limits_{n \ge 0}y_n\\ \end{array}\]$$ $$\text{où }y_n = \left\{\begin{array}{rl} n - 4\times\frac{n}{2} & \text{si }2|n \\ n & \text{sinon} \\ \end{array}\right.$$ $$\text{d'où }y_n = \left\{\begin{array}{rl} -n & \text{si }2|n \\ n & \text{sinon} \\ \end{array}\right.$$ Ainsi, nous avons que : $$\[\begin{array}{r@{}l} -3S_3 &{} = \sum\limits_{n \ge 0}y_n\\ &{} = \sum\limits_{n \ge 0}n(-1)^{n+1}\\ &{} = S_2\\ \end{array}\]$$ Donc $-3S_3 = \frac{1}{4}$, et nous obtenons le résultat annoncé $S_3 = \frac{-1}{12}$. //L'heuristique de Ramanujan serait plus clair de façon extensionnelle ?// Bon, oui et non, car nous avons quand même fait une hypothèse supplémentaire. En l'utilisant dans le calcul de $S_1$ nous obtenons quelque chose d'inattendu : $$\[\begin{array}{r@{}l} \frac{1}{2} &{} = \sum\limits_{n \ge 0}(-1)^n\\ &{} = \sum\limits_{2n \ge 0}1 + \sum\limits_{2n+1 \ge 0}-1\\ &{} = \sum\limits_{2n \ge 0}1 + 0 + \sum\limits_{2n \ge 0}-1\\ &{} = \sum\limits_{n \ge 0}1 - \sum\limits_{n \ge 0}1\\ &{} = 0\\ \end{array}\]$$ Et revoilà notre meilleure ennemie $\sum\limits_{n \ge 0}1$ ! Ainsi, il semblerait qu'avec cette hypothèse les règles soient incohérentes... //Pour aboutir à une valeur, il faut utiliser la sommation de Ramanujan ?// //Exercice : Montrer que// $S_1$ (alternance), $S_2$ (?) //et// $S_3$ //([[http://lousodrome.net/blog/blog/2008/05/14/anecdotes-de-la-science-le-petit-gauss/|petit Gauss]]) sont bien divergentes.// ====== Somme et périodicité ====== En fait, même sans elle il serait possible d'écrire : $$\[\begin{array}{r@{}l} \frac{1}{2} &{} = \sum\limits_{n \ge 0}(-1)^n\\ &{} = \sum\limits_{2n \ge 0}1 - \sum\limits_{2n \ge 0}1\\ &{} = 0\\ \end{array}\]$$ En fait, nous pouvons généraliser le raisonnement en définissant la notation $\sum\limits_{pn + q \ge 0}x_n$ pour une période $p \ge 1$ et un reste $0 \le q < p$ par la suite $\sum\limits_{n \ge 0}y_n$ telle que : $$y_n = \left\{ \begin{array}{rl} x_\frac{n-q}p} & \text{si }p|n-q \\ 0 & \text{sinon} \\ \end{array} \right.$$ Remarquez que par stabilité, comme les premiers termes sont nuls nous avons pour tout $0 \le q < p$ que $\sum\limits_{pn + q \ge 0}x_n = \sum\limits_{pn \ge 0}x_n$. Rappelons notre règle pour la périodicité : $$\exists p \left(\forall n \ x_{n+p} = x_n \Rightarrow \sum_{n