Voir la source de Série de Grandi

En [[analyse (mathématiques)|analyse mathématique]], la [[Série (mathématiques)|série]] '''1 − 1 + 1 − 1 + …''' ou <math>\sum_{n=0}^{\infin} (-1)^n</math> 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 sommes partielles n'a pas de limite. Mais sa ''somme de Cesàro'', c'est-à-dire la limite des [[Lemme de Cesàro|moyennes de Cesàro]] de cette même suite, existe et vaut {{frac|1|2}}.

== Heuristiques ==

Une méthode évidente pour traiter la série
:1 − 1 + 1 − 1 + 1 − 1 + 1 − 1 + …
est de la traiter comme une [[série télescopique]] et d'effectuer les soustractions localement :
:(1 − 1) + (1 − 1) + (1 − 1) + … = 0 + 0 + 0 + … = 0.

Cependant un autre parenthèsage, analogue, conduit à un résultat apparemment contradictoire :
:1 + (−1 + 1) + (−1 + 1) + (−1 + 1) + … = 1 + 0 + 0 + 0 + … = 1.

Ainsi, en appliquant les parenthèses à la série de Grandi de différentes manières, on peut obtenir les « valeurs » 0 ou 1 (des variantes de cette idée, appelées {{Lien|langue=en|trad=Eilenberg–Mazur swindle|fr=tour de passe-passe d'Eilenberg-Mazur}}, sont parfois utilisées en [[théorie des nœuds]] ou en [[algèbre]]).

En traitant la série de Grandi comme une {{Lien|langue=en|trad=Divergent geometric series|fr=série géométrique divergente}}, on peut utiliser les mêmes méthodes algébriques qui évaluent les séries convergentes géométriques pour obtenir une troisième valeur :
:''S'' = 1 − 1 + 1 − 1 + …, donc
:1 − ''S'' = 1 − (1 − 1 + 1 − 1 + …) = 1 − 1 + 1 − 1 + … = ''S'',
ayant pour résultat ''S'' = {{frac|1|2}}.
On arrive à la même conclusion en calculant -''S'', soustrayant le résultat de ''S'', et en résolvant 2''S'' = 1.

Les manipulations ci-dessus ne considèrent pas ce que la somme de la série signifie réellement. Cependant, dans la mesure où il est important de pouvoir parenthéser les séries comme on veut, et surtout, de faire de l'arithmétique sur elles, on peut arriver à deux conclusions :
* la série 1 − 1 + 1 − 1 + … n'a pas de somme
* … mais sa somme ''devrait'' être égale à {{frac|1|2}}.

En fait, les deux affirmations peuvent être précisées et prouvées, mais seulement en utilisant des concepts mathématiques bien définis qui furent développés au {{s-|XIX|e}}. À la fin du {{s-|XVII|e}} avec l'[[Histoire du calcul infinitésimal|introduction du calcul infinitésimal]], mais avant l'avènement de la rigueur moderne, les tensions entre les réponses ont alimenté une dispute violente et sans fin entre mathématiciens.

== Divergence ==
En mathématiques modernes, la somme d'une série infinie est définie comme étant la limite de la suite de ses sommes partielles, si elle existe. La suite des sommes partielles de la série de Grandi est {{nobr|1, 0, 1, 0, …,}} ce qui n'approche clairement aucun nombre (même si cela aboutit à des [[Valeur d'adhérence|valeurs d'adhérence]] de 0 et 1). Ainsi, selon la définition moderne de la convergence d'une série, la série de Grandi est divergente. D'ailleurs, selon cette définition, une série convergente doit nécessairement voir son terme général tendre vers 0, ce qui n'est pas le cas pour la série de Grandi, puisque celui-ci vaut alternativement −1 ou 1.

On peut montrer qu'il n'est pas valide de faire sur une série des opérations, inoffensives en apparence mais nombreuses, comme réordonner certains termes, sauf si la série est [[Convergence absolue|absolument convergente]]. Si elle ne l'est pas, ces opérations peuvent modifier le résultat de la sommation. On peut facilement prouver qu'un réordonnancement des termes de la série de Grandi peut donner, comme valeurs d'adhérence de la suite des sommes partielles, n'importe quel ensemble d'au moins deux [[entier relatif|entiers relatifs]] consécutifs, et pas seulement la [[paire]] {0, 1}.

== Sommation ==

=== Par la sommation de Cesàro ===
La première méthode rigoureuse de calcul des séries divergentes vient de [[Ernesto Cesàro]]. L'idée principale est de calculer la moyenne des sommes partielles de la série : pour chaque ''n'', on calcule la moyenne {{mvar|σ<sub>n</sub>}} des ''n'' premières sommes partielles, et la somme est la limite de cette nouvelle suite de somme.

Pour la série de Grandi, ces moyennes donnent successivement :
:<math>1,\, \frac12,\, \frac23,\, \frac24,\, \frac35,\, \frac36,\, \frac47,\, \frac48, ...</math>
soit
:<math>\sigma_n=\frac12</math> si ''n'' est pair et <math>\sigma_n=\frac12+\frac{1}{2n}</math> si ''n'' est impair.
Cette suite converge bien vers {{frac|1|2}}, valeur qu'on appelle ''somme de Cesàro de la série de Grandi''.

=== Par la sommation d'Abel ===

Cette méthode passe par l'application du [[Théorème d'Abel (analyse)|théorème d'Abel]].

Pour une série numérique {{math|''a''<sub>0</sub> + ''a''<sub>1</sub> + ''a''<sub>2</sub> + ...}}, on construit la série entière associée {{math|''a''<sub>0</sub> + ''a''<sub>1</sub>''x'' + ''a''<sub>2</sub>''x''<sup>2</sup> + ...}}. Si la série entière converge pour tout {{math|0 < ''x'' < 1}} vers une fonction admettant une limite en {{math|''x'' {{=}} 1}}, alors cette limite est la somme d'Abel de la série numérique.

Pour la série de Grandi, on reconnait :
:<math>\sum_{n=0}^\infty(-1)^n = \lim_{x\rightarrow 1}\sum_{n=0}^\infty(-x)^n = \lim_{x\rightarrow 1}\frac{1}{1+x}=\frac12.</math>

=== Par la sommation de Borel ===

La [[Sommation de Borel|somme de Borel]] de la série de Grandi est également {{frac|1|2}}. En effet, la série associée dans ce cas est
:<math>1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\frac{x^4}{4!}-\cdots=\mathrm{e}^{-x}</math>
ce qui donne
:<math>\int_0^\infty \mathrm{e}^{-x}\mathrm{e}^{-x}\,\mathrm{d}x=\int_0^\infty \mathrm{e}^{-2x}\,\mathrm{d}x=\frac12.</math>

== Articles connexes ==
* [[Série alternée des entiers]]
* [[Série divergente#Méthodes de sommation d'Abel|Sommation d'Abel]]
* [[Sommation de Borel]]

== Références ==
{{Traduction/Référence|en|Grandi's series|192341855}}
* {{Ouvrage
| langue =en
| nom1 = [[Keith Devlin]]
| titre = Mathematics, the science of patterns
| éditeur = Scientific American Library
| année = 1994
| passage= 77
| isbn = 0-7167-6022-3
}}
* {{Ouvrage
| langue =en
| prénom1 = Harry F.
| nom1 = Davis
| titre = Fourier Series and Orthogonal Functions
| éditeur = [[Dover Publications|Dover]]
| année = 1989
| passage= 152
| isbn = 0-486-65973-9}}
* {{Article
 | langue          = en
 |auteur1            = {{Lien|langue=en|fr=Morris Kline}}
 | titre           = Euler and Infinite Series
 | périodique=[[Mathematics Magazine]]
 | volume          = 56
 | numéro          = 5
 | mois            = novembre
 | année           = 1983
 | pages           = 307-314
 | doi             = 10.2307/2690371
}}
* {{Ouvrage
| langue =en
|auteur1 = [[Konrad Knopp]]
| titre = Theory and Application of Infinite Series
| éditeur = Dover
| année = 1990
| année première édition = 1922 
| passage = 457
| isbn = 0-486-66165-2}}

{{Portail|analyse}}

[[Catégorie:Série divergente|Grandi]]