1 − 2 + 3 − 4 + · · ·: differenze tra le versioni

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
template cita, cita libro, cita pubblicazione, +chiarire
Riga 18: Riga 18:
I termini della successione (1, −2, 3, −4, ...) non tendono a [[0 (numero)|0]]; quindi la non convergenza della relativa serie è una semplice conseguenza del più elementare dei criteri, quello che richiede quale condizione necessaria la [[Serie#Condizione necessaria per la convergenza|convergenza a zero della successione]].
I termini della successione (1, −2, 3, −4, ...) non tendono a [[0 (numero)|0]]; quindi la non convergenza della relativa serie è una semplice conseguenza del più elementare dei criteri, quello che richiede quale condizione necessaria la [[Serie#Condizione necessaria per la convergenza|convergenza a zero della successione]].


È comunque utile, per il prosieguo, appurare il comportamento di questa serie analizzandola da un punto di vista più fondamentale. Per definizione, la [[serie convergente|convergenza]] o [[serie divergente|divergenza]] di una [[serie]] infinita è determinata dalla convergenza o divergenza della sua successione delle somme parziali; le [[serie|somme parziali]] di 1 − 2 + 3 − 4 + ... sono:<ref>Hardy, p. 8.</ref>
È comunque utile, per il prosieguo, appurare il comportamento di questa serie analizzandola da un punto di vista più fondamentale. Per definizione, la [[serie convergente|convergenza]] o [[serie divergente|divergenza]] di una [[serie]] infinita è determinata dalla convergenza o divergenza della sua successione delle somme parziali; le [[serie|somme parziali]] di 1 − 2 + 3 − 4 + ... sono:<ref>{{Cita|Hardy|p. 8}}.</ref>


* 1 = 1,
* 1 = 1,
Riga 27: Riga 27:
* 1 − 2 + 3 − 4 + 5 − 6 = −3, ...
* 1 − 2 + 3 − 4 + 5 − 6 = −3, ...


In questa successione si nota che la serie assume ''tutti'' i valori interi diversi da zero (possiamo includere anche lo 0 se si considera la [[somma vuota|sommatoria vuota]]), fornendo peraltro una dimostrazione della [[insieme numerabile|numerabilità]] dell'insieme <math>\mathbb{Z}</math> degli interi.<ref>Beals, p. 23.</ref> Chiaramente, esso non si stabilizza su nessun numero particolare, e quindi 1 − 2 + 3 − 4 + ... è oscillante (mentre diverge in [[valore assoluto]]).
In questa successione si nota che la serie assume ''tutti'' i valori interi diversi da zero (possiamo includere anche lo 0 se si considera la [[somma vuota|sommatoria vuota]]), fornendo peraltro una dimostrazione della [[insieme numerabile|numerabilità]] dell'insieme <math>\mathbb{Z}</math> degli interi.<ref>{{Cita|Beals|p. 23}}.</ref> Chiaramente, esso non si stabilizza su nessun numero particolare, e quindi 1 − 2 + 3 − 4 + ... è oscillante (mentre diverge in [[valore assoluto]]).


== Metodi euristici per la sommabilità ==
== Metodi euristici per la sommabilità ==
=== Stabilità e linearità ===
=== Stabilità e linearità ===
Siccome i termini 1, −2, 3, −4, 5, −6, ... seguono uno schema semplice, la serie 1 − 2 + 3 − 4 + ... può essere manipolata con opportuni spostamenti dei termini della somma al fine di ottenere un valore finito. È possibile dare un senso a un'espressione come ''s'' = 1 − 2 + 3 − 4 + ... per qualche intero ''s'': ad esempio, le seguenti manipolazioni, la rendono valida per ''s'' = <sup>1</sup>⁄<sub>4</sub>:<ref>Hardy, p. 6.</ref>
Siccome i termini 1, −2, 3, −4, 5, −6, ... seguono uno schema semplice, la serie 1 − 2 + 3 − 4 + ... può essere manipolata con opportuni spostamenti dei termini della somma al fine di ottenere un valore finito. È possibile dare un senso a un'espressione come ''s'' = 1 − 2 + 3 − 4 + ... per qualche intero ''s'': ad esempio, le seguenti manipolazioni, la rendono valida per ''s'' = <sup>1</sup>⁄<sub>4</sub>:<ref>{{Cita|Hardy, p. 6}}.</ref>


<math>
<math>
Riga 91: Riga 91:
=== Successione di Cauchy ===
=== Successione di Cauchy ===
[[File:Pm1234 Cauchy.png|miniatura|destra|Una dimostrazione grafica del fatto che 1 − 2 + 3 − 4 + … equivale al prodotto di Cauchy tra 1 − 1 + 1 − 1 + … e 1 − 1 + 1 − 1 + …]]
[[File:Pm1234 Cauchy.png|miniatura|destra|Una dimostrazione grafica del fatto che 1 − 2 + 3 − 4 + … equivale al prodotto di Cauchy tra 1 − 1 + 1 − 1 + … e 1 − 1 + 1 − 1 + …]]
Nel [[1891]], [[Ernesto Cesaro]] espresse la speranza che le serie divergenti avessero costituito importanti metodi nei calcoli matematici, puntando verso la teoria nella quale (1 − 1 + 1 − 1 + …) 2 = 1 − 2 + 3 − 4 + … equivale a <sup>1</sup>⁄<sub>4</sub>.<ref>Ferraro, p. 130.</ref> Per Cesaro questa equazione fu un'applicazione di un teorema che aveva pubblicato l'anno prima, il quale fu ritenuto il primo nella storia delle [[serie]] divergenti. I dettagli di questo metodo per la sommabilità sono nell'idea centrale la quale ritiene che 1 − 2 + 3 − 4 + … è il prodotto di [[Successione fondamentale|Cauchy]] di 1 − 1 + 1 − 1 + … e 1 − 1 + 1 − 1 + ….
Nel [[1891]], [[Ernesto Cesaro]] espresse la speranza che le serie divergenti avessero costituito importanti metodi nei calcoli matematici, puntando verso la teoria nella quale (1 − 1 + 1 − 1 + …) 2 = 1 − 2 + 3 − 4 + … equivale a <sup>1</sup>⁄<sub>4</sub>.<ref>{{Cita|Ferraro|p. 130}}.</ref> Per Cesaro questa equazione fu un'applicazione di un teorema che aveva pubblicato l'anno prima, il quale fu ritenuto il primo nella storia delle [[serie]] divergenti. I dettagli di questo metodo per la sommabilità sono nell'idea centrale la quale ritiene che 1 − 2 + 3 − 4 + … è il prodotto di [[Successione fondamentale|Cauchy]] di 1 − 1 + 1 − 1 + … e 1 − 1 + 1 − 1 + ….


Il [[prodotto di Cauchy]], scoperto dal matematico francese [[Augustin-Louis Cauchy]], è costituito a partire da due serie infinite. Nel caso in cui Σ''a<sub>n</sub>'' = Σ''b<sub>n</sub>'' = Σ(−1)<sup>''n''</sup>, i termini della serie di Cauchy sono dati da una somma finita:
Il [[prodotto di Cauchy]], scoperto dal matematico francese [[Augustin-Louis Cauchy]], è costituito a partire da due serie infinite. Nel caso in cui Σ''a<sub>n</sub>'' = Σ''b<sub>n</sub>'' = Σ(−1)<sup>''n''</sup>, i termini della serie di Cauchy sono dati da una somma finita:
Riga 106: Riga 106:
Così una somma che rispetta la [[successione di Cauchy]], ossia due serie finite combacianti con [[1 − 1 + 1 − 1 + · · ·|1 − 1 + 1 − 1 + …]] = <sup>1</sup>⁄<sub>2</sub> e 1 − 2 + 3 − 4 + … = <sup>1</sup>⁄<sub>4</sub>, si avranno come risultato <sup>1</sup>⁄<sub>2</sub> e <sup>1</sup>⁄<sub>4</sub>. Con il risultato della prima serie, si ha un'equivalenza tra la somma di 1 − 1 + 1 − 1 + … e quella di 1 − 2 + 3 − 4 + …, perciò questo metodo è lineare, stabile e rispetta la successione di Cauchy.
Così una somma che rispetta la [[successione di Cauchy]], ossia due serie finite combacianti con [[1 − 1 + 1 − 1 + · · ·|1 − 1 + 1 − 1 + …]] = <sup>1</sup>⁄<sub>2</sub> e 1 − 2 + 3 − 4 + … = <sup>1</sup>⁄<sub>4</sub>, si avranno come risultato <sup>1</sup>⁄<sub>2</sub> e <sup>1</sup>⁄<sub>4</sub>. Con il risultato della prima serie, si ha un'equivalenza tra la somma di 1 − 1 + 1 − 1 + … e quella di 1 − 2 + 3 − 4 + …, perciò questo metodo è lineare, stabile e rispetta la successione di Cauchy.


La [[somma di Cesaro]] è un semplice esempio di serie divergente. La serie 1 − 1 + 1 − 1 + … è sommabile, secondo il teorema di Cesaro, in modo parziale; questo tipo di calcolo è chiamato <math>(C, 1)</math>-sommabile. 1 − 2 + 3 − 4 + … invece non necessita di un supporto del teorema di Cesaro, per questo motivo è definita <math>(C, 2)</math>-sommabile.<ref name=autogenerato1>Hardy, p. 3.</ref><ref>Weidlich, pp. 52-55.</ref> Per essere utilizzato in una serie, la somma di Cesaro deve quindi incontrarne una [[linearità (matematica)|lineare]] e [[Stabilità (teoria dei sistemi)|stabile]].
La [[somma di Cesaro]] è un semplice esempio di serie divergente. La serie 1 − 1 + 1 − 1 + … è sommabile, secondo il teorema di Cesaro, in modo parziale; questo tipo di calcolo è chiamato <math>(C, 1)</math>-sommabile. 1 − 2 + 3 − 4 + … invece non necessita di un supporto del teorema di Cesaro, per questo motivo è definita <math>(C, 2)</math>-sommabile.<ref name=autogenerato1>{{Cita|Hardy|p. 3}}.</ref><ref>{{Cita|Weidlich|pp. 52-55}}.</ref> Per essere utilizzato in una serie, la somma di Cesaro deve quindi incontrarne una [[linearità (matematica)|lineare]] e [[Stabilità (teoria dei sistemi)|stabile]].


== Metodi specifici ==
== Metodi specifici ==
Riga 122: Riga 122:
Questa successione non converge, in questo caso 1 − 2 + 3 − 4 + … non è sommabile con i criteri del teorema di Cesaro.
Questa successione non converge, in questo caso 1 − 2 + 3 − 4 + … non è sommabile con i criteri del teorema di Cesaro.


Ci sono due generalizzazioni molto conosciute della [[somma di Cesaro]]: il semplice concetto che ritiene che la somma <math>(H, n)</math> opera sui [[numero naturale|numeri naturali]] <math>n.</math> La <math>(H, 1)</math> somma di Cesaro, per essere applicata, necessita di una serie nella quale bisogna trovare molte medie matematiche. Così, la media regolare converge a <sup>1</sup>⁄<sub>2</sub>, e le somme dispari sono uguali a [[zero|0]].<ref>Hardy, p. 9.</ref><ref>Weidlich, pp. 17-18.</ref> In questo caso la media della media converge a 0 e <sup>1</sup>⁄<sub>2</sub>, cioè <sup>1</sup>⁄<sub>4</sub>. Così, 1 − 2 + 3 − 4 + … è (H, 2) sommabile per <sup>1</sup>⁄<sub>4</sub>.
Ci sono due generalizzazioni molto conosciute della [[somma di Cesaro]]: il semplice concetto che ritiene che la somma <math>(H, n)</math> opera sui [[numero naturale|numeri naturali]] <math>n.</math> La <math>(H, 1)</math> somma di Cesaro, per essere applicata, necessita di una serie nella quale bisogna trovare molte medie matematiche. Così, la media regolare converge a <sup>1</sup>⁄<sub>2</sub>, e le somme dispari sono uguali a [[zero|0]].<ref>{{Cita|Hardy|p. 9}}.</ref><ref>{{Cita|Weidlich|pp. 17-18}}.</ref> In questo caso la media della media converge a 0 e <sup>1</sup>⁄<sub>2</sub>, cioè <sup>1</sup>⁄<sub>4</sub>. Così, 1 − 2 + 3 − 4 + … è (H, 2) sommabile per <sup>1</sup>⁄<sub>4</sub>.


La <math>H</math> è la parte dell'equazione trovata da [[Otto Hölder]], il quale dimostrò nel [[1882]] quello che oggi in matematica si intende per legame tra la [[somma di Abel]] e i metodi per la somma <math>(H, n)</math> di 1 − 2 + 3 − 4 + …; questa successione fu la prima alla quale venne applicata questa regola.<ref>Ferraro, p. 118.</ref><ref>Trucciarone, p. 10.</ref> Il fatto che <sup>1</sup>⁄<sub>4</sub> sia la somma <math>(H, 2)</math> di 1 − 2 + 3 − 4 + … garantisce che si può applicare la somma di Abel a questa serie.
La <math>H</math> è la parte dell'equazione trovata da [[Otto Hölder]], il quale dimostrò nel [[1882]] quello che oggi in matematica si intende per legame tra la [[somma di Abel]] e i metodi per la somma <math>(H, n)</math> di 1 − 2 + 3 − 4 + …; questa successione fu la prima alla quale venne applicata questa regola.<ref>{{Cita|Ferraro|p. 118}}.</ref><ref>{{Cita|Tucciarone|p. 10}}.</ref> Il fatto che <sup>1</sup>⁄<sub>4</sub> sia la somma <math>(H, 2)</math> di 1 − 2 + 3 − 4 + … garantisce che si può applicare la somma di Abel a questa serie.


Un'altra generalizzazione della somma di Cesaro è la successione dei metodi <math>(C, n).</math> Egli ha infatti dimostrato che la somma <math>(C, n)</math> e la somma <math>(H, n)</math> danno lo stesso risultato, nonostante il diverso contesto storico. Nel [[1887]], Cesaro cercò una definizione per la regola della somma <math>(C, n),</math> ma riuscì a fornire solo pochi esempi. In particolare, ha sommato 1 − 2 + 3 − 4 + … con <sup>1</sup>⁄<sub>4</sub> con un metodo strettamente legato a <math>(C, n),</math> ma non ha giustificato come lo ha fatto. Egli, nel [[1890]], definiva i metodi <math>(C, n)</math> in stati ordinati del suo teorema con l'ausilio della [[successione di Cauchy]] grazie a una serie <math>(C, n)</math>-sommabile e a una serie <math>(C, m)</math>-sommabile, facendo risultare il tutto <math>(C, m+n+1)</math>-sommabile.<ref>Ferraro, pp. 123-128.</ref>
Un'altra generalizzazione della somma di Cesaro è la successione dei metodi <math>(C, n).</math> Egli ha infatti dimostrato che la somma <math>(C, n)</math> e la somma <math>(H, n)</math> danno lo stesso risultato, nonostante il diverso contesto storico. Nel [[1887]], Cesaro cercò una definizione per la regola della somma <math>(C, n),</math> ma riuscì a fornire solo pochi esempi. In particolare, ha sommato 1 − 2 + 3 − 4 + … con <sup>1</sup>⁄<sub>4</sub> con un metodo strettamente legato a <math>(C, n),</math> ma non ha giustificato come lo ha fatto. Egli, nel [[1890]], definiva i metodi <math>(C, n)</math> in stati ordinati del suo teorema con l'ausilio della [[successione di Cauchy]] grazie a una serie <math>(C, n)</math>-sommabile e a una serie <math>(C, m)</math>-sommabile, facendo risultare il tutto <math>(C, m+n+1)</math>-sommabile.<ref>{{Cita|Ferraro|pp. 123-128}}.</ref>


=== Somma di Abel ===
=== Somma di Abel ===
Riga 135: Riga 135:
{{quote
{{quote
|Quando si dice che il risultato tra le somme della serie 1 − 2 + 3 − 4 + 5 − 6 ... è <sup>1</sup>⁄<sub>4</sub>, questo fatto deve apparire paradossale. Addizionando 100 termini di questa serie, si avrà un risultato di –50, comunque, sommando il risultato con 101 si ha +51; perciò il risultato totale non dovrebbe essere <sup>1</sup>⁄<sub>4</sub>. Ma io avevo già annunciato in precedenza, che è necessario dare alla parola « somma » una definizione più approfondita.
|Quando si dice che il risultato tra le somme della serie 1 − 2 + 3 − 4 + 5 − 6 ... è <sup>1</sup>⁄<sub>4</sub>, questo fatto deve apparire paradossale. Addizionando 100 termini di questa serie, si avrà un risultato di –50, comunque, sommando il risultato con 101 si ha +51; perciò il risultato totale non dovrebbe essere <sup>1</sup>⁄<sub>4</sub>. Ma io avevo già annunciato in precedenza, che è necessario dare alla parola « somma » una definizione più approfondita.
|Eulero, 1749.<ref>Euler, p. 2.</ref>
|Eulero, 1749.<ref>{{Cita|Euler|p. 2}}.</ref>
|When it is said that the sum of this series 1 − 2 + 3 − 4 + 5 − 6 ... is <sup>1</sup>⁄<sub>4</sub>, that must appear paradoxical. For by adding 100 terms of this series, we get –50, however, the sum of 101 terms gives +51, which is quite different from <sup>1</sup>⁄<sub>4</sub> and becomes still greater when one increases the number of terms. But I have already noticed at a previous time, that it is necessary to give to the word sum a more extended meaning.
|When it is said that the sum of this series 1 − 2 + 3 − 4 + 5 − 6 ... is <sup>1</sup>⁄<sub>4</sub>, that must appear paradoxical. For by adding 100 terms of this series, we get –50, however, the sum of 101 terms gives +51, which is quite different from <sup>1</sup>⁄<sub>4</sub> and becomes still greater when one increases the number of terms. But I have already noticed at a previous time, that it is necessary to give to the word sum a more extended meaning.
|lingua=en}}
|lingua=en}}
Riga 143: Riga 143:
{{quote
{{quote
|Non c'è dubbio che il risultato della somma di 1 − 2 + 3 − 4 + 5 + ... sia <sup>1</sup>⁄<sub>4</sub>; poiché proviene dall'espansione della formula <sup>1</sup>⁄<sub>(1+1)²</sub>, il quale valore è di <sup>1</sup>⁄<sub>4</sub>. L'idea risulta più chiara dalla considerazione della serie generale 1-2''x'' + 3''x''² - 4''x''³ + 5''x''<sup>4</sup> - 6''x''<sup>5</sup> ... che si genera espandendo l'espressione <sup>1</sup>⁄<sub>(1+''x'')²</sub>, alla quale la serie è evidentemente uguale ponendo <math>x=1</math>.
|Non c'è dubbio che il risultato della somma di 1 − 2 + 3 − 4 + 5 + ... sia <sup>1</sup>⁄<sub>4</sub>; poiché proviene dall'espansione della formula <sup>1</sup>⁄<sub>(1+1)²</sub>, il quale valore è di <sup>1</sup>⁄<sub>4</sub>. L'idea risulta più chiara dalla considerazione della serie generale 1-2''x'' + 3''x''² - 4''x''³ + 5''x''<sup>4</sup> - 6''x''<sup>5</sup> ... che si genera espandendo l'espressione <sup>1</sup>⁄<sub>(1+''x'')²</sub>, alla quale la serie è evidentemente uguale ponendo <math>x=1</math>.
|Eulero, 1749.<ref>Euler, pp. 3, 25.</ref>
|Eulero, 1749.<ref>{{Cita|Euler|pp. 3, 25}}.</ref>
|It is no more doubtful that the sum of this series 1 − 2 + 3 − 4 + 5 + ... is <sup>1</sup>⁄<sub>4</sub>; since it arises from the expansion of the formula <sup>1</sup>⁄<sub>(1+1)²</sub>, whose value is incontestably <sup>1</sup>⁄<sub>4</sub>. The idea becomes clearer by considering the general series 1-2''x'' + 3''x''² - 4''x''³ + 5''x''<sup>4</sup> - 6''x''<sup>5</sup> ... that arises while expanding the expression <sup>1</sup>⁄<sub>(1+x)²</sub>, which this series is indeed equal to after we set <math>x=1</math>.
|It is no more doubtful that the sum of this series 1 − 2 + 3 − 4 + 5 + ... is <sup>1</sup>⁄<sub>4</sub>; since it arises from the expansion of the formula <sup>1</sup>⁄<sub>(1+1)²</sub>, whose value is incontestably <sup>1</sup>⁄<sub>4</sub>. The idea becomes clearer by considering the general series 1-2''x'' + 3''x''² - 4''x''³ + 5''x''<sup>4</sup> - 6''x''<sup>5</sup> ... that arises while expanding the expression <sup>1</sup>⁄<sub>(1+x)²</sub>, which this series is indeed equal to after we set <math>x=1</math>.
|lingua=en}}
|lingua=en}}
Riga 174: Riga 174:
:<math>a(x) = \sum_{k=0}^\infty\frac{(-1)^k(k+1)x^k}{k!} = e^{-x}(1-x).</math>
:<math>a(x) = \sum_{k=0}^\infty\frac{(-1)^k(k+1)x^k}{k!} = e^{-x}(1-x).</math>


La [[somma di Borel]] applicata nella serie 1 − 2 + 3 − 4 + ... sarà quindi<ref>Wiedlich, p. 59.</ref>
La [[somma di Borel]] applicata nella serie 1 − 2 + 3 − 4 + ... sarà quindi<ref>{{Cita|Weidlich|p. 59}}.</ref>


:<math>\int_0^\infty e^{-x}a(x)\,dx = \int_0^\infty e^{-2x}(1-x)\,dx = \frac12-\frac14.</math>
:<math>\int_0^\infty e^{-x}a(x)\,dx = \int_0^\infty e^{-2x}(1-x)\,dx = \frac12-\frac14.</math>
Riga 188: Riga 188:
[[File:Pm1234 Euler1755 I-V.png|thumb|Somme di [[Eulero]] nel suo libro del [[1755]] ''Istituzioni''.]]
[[File:Pm1234 Euler1755 I-V.png|thumb|Somme di [[Eulero]] nel suo libro del [[1755]] ''Istituzioni''.]]


Il [[prodotto di Cauchy]] di 1 − 1 + 1 − 1 + … per sé stesso tre volte è 1 − 3 + 6 − 10 + …, ossia la [[serie alternata]] di un [[numero triangolare]]. Secondo la [[somma di Abel]] e la [[somma di Eulero]] il risultato è <sup>1</sup>⁄<sub>8</sub>.<ref>Kline, p. 313.</ref> Il prodotto di Cauchy di 1 − 1 + 1 − 1 + … per sé stesso quattro volte è 1 − 4 + 10 − 20 + …, ossia la serie alternata di un [[numero tetraedrico]]. Secondo la somma di Abel il risultato è <sup>1</sup>⁄<sub>16</sub>.
Il [[prodotto di Cauchy]] di 1 − 1 + 1 − 1 + … per sé stesso tre volte è 1 − 3 + 6 − 10 + …, ossia la [[serie alternata]] di un [[numero triangolare]]. Secondo la [[somma di Abel]] e la [[somma di Eulero]] il risultato è <sup>1</sup>⁄<sub>8</sub>.<ref>{{Cita|Kline|p. 313}}.</ref> Il prodotto di Cauchy di 1 − 1 + 1 − 1 + … per sé stesso quattro volte è 1 − 4 + 10 − 20 + …, ossia la serie alternata di un [[numero tetraedrico]]. Secondo la somma di Abel il risultato è <sup>1</sup>⁄<sub>16</sub>.


Un'altra generalizzazione di 1 − 2 + 3 − 4 + … in una direzione leggermente diversa è la serie 1 − 2<sup>''n''</sup> + 3<sup>''n''</sup> − 4<sup>''n''</sup> + … per altri valori di <math>n.</math> Per un numero intero positivo <math>n,</math> queste serie operano con la somma di Abel nel seguente modo:<ref name=autogenerato1 /><ref>Knopp, p. 41.</ref>
Un'altra generalizzazione di 1 − 2 + 3 − 4 + … in una direzione leggermente diversa è la serie 1 − 2<sup>''n''</sup> + 3<sup>''n''</sup> − 4<sup>''n''</sup> + … per altri valori di <math>n.</math> Per un numero intero positivo <math>n,</math> queste serie operano con la somma di Abel nel seguente modo:<ref name=autogenerato1 /><ref>{{chiarire|Knopp, p. 41}}.</ref>


:<math>1-2^{n}+3^{n}-\cdots = \frac{2^{n+1}-1}{n+1}B_{n+1}.</math>
:<math>1-2^{n}+3^{n}-\cdots = \frac{2^{n+1}-1}{n+1}B_{n+1}.</math>
Riga 202: Riga 202:
{{quote
{{quote
|Le serie divergenti sono tutte lavoro del diavolo, ed è una vergogna cercare ipotesi e teorie su di esse. Si può trarre qualcosa da esse se si vuole veramente usarle, e questo le rende così infelici e paradossali. Si possono pensare cose molto più scioccanti se però si dice che <math>0 = 1 - 2^n + 3^n - 4^n + \ldots</math> dove ''n'' è un numero positivo. Qui c'è da ridere, amici.
|Le serie divergenti sono tutte lavoro del diavolo, ed è una vergogna cercare ipotesi e teorie su di esse. Si può trarre qualcosa da esse se si vuole veramente usarle, e questo le rende così infelici e paradossali. Si possono pensare cose molto più scioccanti se però si dice che <math>0 = 1 - 2^n + 3^n - 4^n + \ldots</math> dove ''n'' è un numero positivo. Qui c'è da ridere, amici.
|Grattan-Giunness, p. 80.<ref>Grattan-Giunness, p. 80.</ref><ref>Markuševič, p. 48.</ref>
|Grattan-Giunness, p. 80.<ref>Grattan-Giunness, p. 80.</ref><ref>{{Cita|Markuševič|p. 48}}.</ref>
|Divergent series are on the whole devil's work, and it is a shame that one dares to found any proof on them. One can get out of them what one wants if one uses them, and it is they which have made so much unhappiness and so many paradoxes. Can one think of anything more appalling than to say that <math>0 = 1 - 2^n + 3^n - 4^n + \ldots</math> where ''n'' is a positive number. Here's something to laugh at, friends.
|Divergent series are on the whole devil's work, and it is a shame that one dares to found any proof on them. One can get out of them what one wants if one uses them, and it is they which have made so much unhappiness and so many paradoxes. Can one think of anything more appalling than to say that <math>0 = 1 - 2^n + 3^n - 4^n + \ldots</math> where ''n'' is a positive number. Here's something to laugh at, friends.
|lingua=en}}
|lingua=en}}
Riga 208: Riga 208:
Anche l'insegnante di Cesaro, [[Eugène Charles Catalan]], denigrava le [[serie divergente|serie divergenti]]. Sotto l'influenza di Catalan, inizialmente Cesaro fece riferimento a "formule convenzionali" come 1 − 2<sup>''n''</sup> + 3<sup>''n''</sup> − 4<sup>''n''</sup> + … e a "uguaglianze assurde", e nel [[1883]] espresse un tipico punto di vista di quel periodo sul fatto che le formule fossero false ma, in qualche modo, comunque utili. Per finire, nel suo libro ''[[Sur la multiplication des séries]]'' del [[1890]], Cesaro seguì un approccio moderno partendo dalle definizioni.
Anche l'insegnante di Cesaro, [[Eugène Charles Catalan]], denigrava le [[serie divergente|serie divergenti]]. Sotto l'influenza di Catalan, inizialmente Cesaro fece riferimento a "formule convenzionali" come 1 − 2<sup>''n''</sup> + 3<sup>''n''</sup> − 4<sup>''n''</sup> + … e a "uguaglianze assurde", e nel [[1883]] espresse un tipico punto di vista di quel periodo sul fatto che le formule fossero false ma, in qualche modo, comunque utili. Per finire, nel suo libro ''[[Sur la multiplication des séries]]'' del [[1890]], Cesaro seguì un approccio moderno partendo dalle definizioni.


Le serie sono inoltre studiate per i valori non interi di ''n''; questo ha consentito la scoperta della [[funzione eta di Dirichlet]]. Parte delle motivazioni degli studi di Eulero sulla serie 1 − 2 + 3 − 4 + … riguardano l'[[equazione funzionale]] della funzione eta, la quale porta direttamente all'equazione funzionale della [[funzione zeta di Riemann]]. Eulero è diventato famoso anche per aver trovato i valori di queste funzioni per numeri interi pari (includendo il [[problema di Basilea]]), e per aver tentato di trovare i loro valori con numeri interi dispari (includendo la [[costante di Apéry]]). La funzione eta, in particolare, è facile da studiare con i metodi di Eulero perché la sua serie di Dirichlet è sommabile ovunque utilizzando la [[somma di Abel]]. La funzione zeta della [[serie di Dirichlet]] è molto difficile da sommare dove essa diverge.<ref>Euler, pp. 20-25.</ref> Per esempio, la corrispondente di 1 − 2 + 3 − 4 + … nella funzione zeta è la serie non alternata 1 + 2 + 3 + 4 + …, alla quale sono stati applicati recentemente metodi fisici che necessitano però di metodi di somma più elaborati.
Le serie sono inoltre studiate per i valori non interi di ''n''; questo ha consentito la scoperta della [[funzione eta di Dirichlet]]. Parte delle motivazioni degli studi di Eulero sulla serie 1 − 2 + 3 − 4 + … riguardano l'[[equazione funzionale]] della funzione eta, la quale porta direttamente all'equazione funzionale della [[funzione zeta di Riemann]]. Eulero è diventato famoso anche per aver trovato i valori di queste funzioni per numeri interi pari (includendo il [[problema di Basilea]]), e per aver tentato di trovare i loro valori con numeri interi dispari (includendo la [[costante di Apéry]]). La funzione eta, in particolare, è facile da studiare con i metodi di Eulero perché la sua serie di Dirichlet è sommabile ovunque utilizzando la [[somma di Abel]]. La funzione zeta della [[serie di Dirichlet]] è molto difficile da sommare dove essa diverge.<ref>{{Cita|Euler|pp. 20-25}}.</ref> Per esempio, la corrispondente di 1 − 2 + 3 − 4 + … nella funzione zeta è la serie non alternata 1 + 2 + 3 + 4 + …, alla quale sono stati applicati recentemente metodi fisici che necessitano però di metodi di somma più elaborati.


== Note ==
== Note ==
<references/>
<references />


== Bibliografia ==
== Bibliografia ==
* {{en}} Richard Beals, ''Analysis: an introduction''. Cambridge UP, 2004. ISBN 0-521-60047-2
* {{cita libro|lingua=en|autore=Richard Beals|titolo=Analysis: an introduction|editore=Cambridge UP|anno=2004|ISBN=0-521-60047-2|cid=Beals}}
* {{en}} Harry Davis, ''Fourier Series and Orthogonal Functions''. Dover, 1989. ISBN 0-486-65973-9
* {{en}} Harry Davis, ''Fourier Series and Orthogonal Functions''. Dover, 1989. ISBN 0-486-65973-9
* {{en}} Leonhard Euler, ''Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques''. Memoires de Berlin, 1978.
* {{cita pubblicazione|lingua=fr|autore=Leonhard Euler|titolo=Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques''|editore=Memoires de Berlin|anno=1978|cid=Euler}}.
* Giovanni Ferraro, ''La prima definizione moderna della somma delle serie divergenti: un aspetto della matematica del 1900''. Archive for History of Exact Sciences, 1999. {{Collegamento interrotto|1=[http://www.springerlink.com/content/wwhh315ftt7vh2wt/ DOI 7004070050036] |data=dicembre 2019 |bot=InternetArchiveBot }}
* {{cita pubblicazione|autore=Giovanni Ferraro|titolo=The First Modern Definition of the Sum of a Divergent Series: An Aspect of the Rise of 20th Century Mathematics|pubblicazione=Archive for History of Exact Sciences|lingua=inglese|anno=1999|url=http://www.springerlink.com/content/wwhh315ftt7vh2wt/|doi=10.1007/s004070050036|mese=giugno|anno=2019|volume=54|pp=101-135|urlmorto=sì|cid=Ferraro}}
* {{en}} Ivor Grattan, ''The development of the foundations of mathematical analysis from Euler to Riemann''. MIT Press, 1970. ISBN 0-262-07034-0
* {{en}} Ivor Grattan, ''The development of the foundations of mathematical analysis from Euler to Riemann''. MIT Press, 1970. ISBN 0-262-07034-0
* {{en}} Godfrey Harold Hardy, ''Divergent Series''. Clarendon Press, 1949. [https://lccn.loc.gov/91075377 LLCN 9175377]
* {{cita libro|lingua=en|autore=Godfrey Harold Hardy|titolo=Divergent Series|editore=Clarendon Press|anno=1949|lccn=91075377|cid=Hardy}}
* {{en}} Morris Kline, ''Euler and Infinite Series''. Mathematics Magazine 56, 1983.
* {{cita pubblicazione|lingua=en|autore=Morris Kline|titolo=Euler and Infinite Series|pubblicazione=Mathematics Magazine|numero=56|anno=1983|cid=Kline}}
* {{en}} Shaughan Lavine, ''Understanding the Infinite''. Harvard UP, 1994. ISBN 0-674-92096-1
* {{en}} Shaughan Lavine, ''Understanding the Infinite''. Harvard UP, 1994. ISBN 0-674-92096-1
* {{ru}} Aleksandr Markuševič, ''Series: fundamental concepts with historical exposition''. Hindustan, 1961. [https://lccn.loc.gov/6817528 LLCN 6817528]
* {{cita pubblicazione|lingua=ru|autore=Aleksandr Markuševič|titolo=Series: fundamental concepts with historical exposition|città=Hindustan|anno=1961|cid=Markuševič}}
* {{ru}} Ivan Saičev, ''Distributions in the physical and engineering sciences, Volume 1''. Birkhaüser, 1996. ISBN 0-8176-3924-1
* {{ru}} Ivan Saičev, ''Distributions in the physical and engineering sciences, Volume 1''. Birkhaüser, 1996. ISBN 0-8176-3924-1
* John Tucciarone, ''Lo sviluppo della teoria della sommabilità divergente nelle serie dal 1880 al 1925''. Archive for History of Exact Sciences 10, 1973. {{Collegamento interrotto|1=[http://www.springerlink.com/content/n416657085113g56/ DOI 41665708511356] |data=dicembre 2019 |bot=InternetArchiveBot }}
* {{cita pubblicazione|autore=John Tucciarone|titolo=The development of the theory of summable divergent series from 1880 to 1925|pubblicazione=Archive for History of Exact Sciences|volume=10|lingua=inglese|mese=gennaio|anno=1973|url=http://www.springerlink.com/content/n416657085113g56/|doi=10.1007/BF00343405|urlmorto=sì|cid=Tucciarone}}
* {{en}} Anders Vretblad, ''Fourier Analysis and Its Applications''. Springer, 2003. ISBN 0-387-00836-5
* {{en}} Anders Vretblad, ''Fourier Analysis and Its Applications''. Springer, 2003. ISBN 0-387-00836-5
* {{en}} John Weidlič, ''Summability methods for divergent series''. Stanford, 1950. [https://worldcat.org/oclc/38624384 OCLC 38624384]
* {{cita libro|lingua=en|autore=John Weidlič|titolo=Summability methods for divergent series|città=Stanford|anno=1950|oclc=38624384|cid=Weidlich}}


== Voci correlate ==
== Voci correlate ==

Versione delle 13:18, 21 dic 2023

Rappresentazione su piano delle prime migliaia di termini del calcolo di 1 − 2 + 3 − 4 + ...

In matematica, 1 − 2 + 3 − 4 + ... è la serie infinita i cui termini sono la successione dei numeri interi a segno alternato. Usando la notazione di sommatoria, la somma dei primi termini della serie può essere espressa nel seguente modo:

Le somme parziali di questa serie infinita (1, −1, 2, −2, ...), non tendono verso un limite, né finito, né infinito. In questo caso si può dire che 1 − 2 + 3 − 4 + ... è una serie indeterminata (o irregolare).

Nella metà del XVIII secolo, Leonhard Euler enunciò quella che lui definiva un'equazione paradossale:

Una corretta spiegazione di questa equazione arrivò solo molto più tardi. Nel 1890, Ernesto Cesaro, Émile Borel e altri matematici definirono i metodi per estendere il concetto di sommabilità secondo un punto di vista che rendeva possibile attribuire un limite anche a serie fino ad allora intrattabili. Questi nuovi metodi davano nuove interpretazioni all'equazione di Eulero. Molti di questi metodi sono riferiti alle somme parziali di 1 − 2 + 3 − 4 + ..., a cui assegnano il valore di 14. Nella somma di Cesaro, invece, i termini della successione non sono sommabili; questo è un esempio di successione per cui si rendono necessari metodi di sommabilità leggermente più forti, come ad esempio quelli della somma di Abel.

La serie 1 − 2 + 3 − 4 + … è strettamente legata alla serie 1 − 1 + 1 − 1 + …, nota più comunemente come serie di Grandi. Eulero considerò queste due successioni come casi particolari della serie 1n − 2n + 3n − 4n + …, per valori arbitrari di n. Queste idee estesero il suo studio del problema di Basilea indirizzarono la ricerca sulle equazioni funzionali delle funzioni che ora sono note come funzione eta di Dirichlet e funzione zeta di Riemann.

Divergenza

I termini della successione (1, −2, 3, −4, ...) non tendono a 0; quindi la non convergenza della relativa serie è una semplice conseguenza del più elementare dei criteri, quello che richiede quale condizione necessaria la convergenza a zero della successione.

È comunque utile, per il prosieguo, appurare il comportamento di questa serie analizzandola da un punto di vista più fondamentale. Per definizione, la convergenza o divergenza di una serie infinita è determinata dalla convergenza o divergenza della sua successione delle somme parziali; le somme parziali di 1 − 2 + 3 − 4 + ... sono:[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, ...

In questa successione si nota che la serie assume tutti i valori interi diversi da zero (possiamo includere anche lo 0 se si considera la sommatoria vuota), fornendo peraltro una dimostrazione della numerabilità dell'insieme degli interi.[2] Chiaramente, esso non si stabilizza su nessun numero particolare, e quindi 1 − 2 + 3 − 4 + ... è oscillante (mentre diverge in valore assoluto).

Metodi euristici per la sommabilità

Stabilità e linearità

Siccome i termini 1, −2, 3, −4, 5, −6, ... seguono uno schema semplice, la serie 1 − 2 + 3 − 4 + ... può essere manipolata con opportuni spostamenti dei termini della somma al fine di ottenere un valore finito. È possibile dare un senso a un'espressione come s = 1 − 2 + 3 − 4 + ... per qualche intero s: ad esempio, le seguenti manipolazioni, la rendono valida per s = 14:[3]

Così

Aggiungendo 4 copie di 1 − 2 + 3 − 4 + ... usando solo lo spostamento dei termini dell'addizione, il risultato è 1. È stato aggiunto il calcolo 1 − 1 + 1 − 1 + ..., la serie di Grandi.

In alternativa, si possono scrivere le seguenti 4 uguaglianze e sommare membro a membro:

ossia cioè

Il risultato di questo calcolo viene rappresentato graficamente sulla destra.

Nonostante 1 − 2 + 3 − 4 + ... non abbia una somma intesa nel senso abituale, l'equazione s = 1 − 2 + 3 − 4 + ... = 14 può essere un esempio naturale per descrivere come un'estensione del concetto di somma possa essere definita. Una definizione generalizzata di somma per una serie che ordinariamente non è convergente, è chiamato un metodo di sommabilità, in cui la somma viene effettuata solo su alcuni sottoinsiemi dell'indice delle possibili serie.

Esistono metodi di questo tipo, e alcuni di questi sono indicati in seguito, ciascuno dei quali si caratterizza per le proprietà che condivide con il concetto ordinario di addizione.

Quello che la manipolazione sopra descritta sottende è che dato un metodo di sommabilità che sia lineare e stabile, che consenta la sommabilità della serie 1 − 2 + 3 − 4 + ..., allora il risultato della somma deve essere 14. Inoltre, siccome

allora questo metodo di sommabilità deve rendere sommabile anche la serie di Grandi, dando come risultato s = 1 − 1 + 1 − 1 + ... = 12.

Un altro metodo, che sfrutta appunto il risultato della serie di Grandi è il seguente:

Successione di Cauchy

Una dimostrazione grafica del fatto che 1 − 2 + 3 − 4 + … equivale al prodotto di Cauchy tra 1 − 1 + 1 − 1 + … e 1 − 1 + 1 − 1 + …

Nel 1891, Ernesto Cesaro espresse la speranza che le serie divergenti avessero costituito importanti metodi nei calcoli matematici, puntando verso la teoria nella quale (1 − 1 + 1 − 1 + …) 2 = 1 − 2 + 3 − 4 + … equivale a 14.[4] Per Cesaro questa equazione fu un'applicazione di un teorema che aveva pubblicato l'anno prima, il quale fu ritenuto il primo nella storia delle serie divergenti. I dettagli di questo metodo per la sommabilità sono nell'idea centrale la quale ritiene che 1 − 2 + 3 − 4 + … è il prodotto di Cauchy di 1 − 1 + 1 − 1 + … e 1 − 1 + 1 − 1 + ….

Il prodotto di Cauchy, scoperto dal matematico francese Augustin-Louis Cauchy, è costituito a partire da due serie infinite. Nel caso in cui Σan = Σbn = Σ(−1)n, i termini della serie di Cauchy sono dati da una somma finita:

Il prodotto della serie è quindi il seguente:

Così una somma che rispetta la successione di Cauchy, ossia due serie finite combacianti con 1 − 1 + 1 − 1 + … = 12 e 1 − 2 + 3 − 4 + … = 14, si avranno come risultato 12 e 14. Con il risultato della prima serie, si ha un'equivalenza tra la somma di 1 − 1 + 1 − 1 + … e quella di 1 − 2 + 3 − 4 + …, perciò questo metodo è lineare, stabile e rispetta la successione di Cauchy.

La somma di Cesaro è un semplice esempio di serie divergente. La serie 1 − 1 + 1 − 1 + … è sommabile, secondo il teorema di Cesaro, in modo parziale; questo tipo di calcolo è chiamato -sommabile. 1 − 2 + 3 − 4 + … invece non necessita di un supporto del teorema di Cesaro, per questo motivo è definita -sommabile.[5][6] Per essere utilizzato in una serie, la somma di Cesaro deve quindi incontrarne una lineare e stabile.

Metodi specifici

Cesaro e Hölder

Dati sulla somma (H, 2) di 14.

Per trovare in una somma di Cesaro la sommabilità di 1 − 2 + 3 − 4 + …, se essa esiste, bisogna applicare il concetto della media aritmetica alle somme parziali delle serie, le quali sono, in questa serie:

1, −1, 2, −2, 3, −3, …,

Le medie aritmetiche sono perciò le seguenti:

1, 0, ²⁄3, 0, ³⁄5, 0, 47, ….

Questa successione non converge, in questo caso 1 − 2 + 3 − 4 + … non è sommabile con i criteri del teorema di Cesaro.

Ci sono due generalizzazioni molto conosciute della somma di Cesaro: il semplice concetto che ritiene che la somma opera sui numeri naturali La somma di Cesaro, per essere applicata, necessita di una serie nella quale bisogna trovare molte medie matematiche. Così, la media regolare converge a 12, e le somme dispari sono uguali a 0.[7][8] In questo caso la media della media converge a 0 e 12, cioè 14. Così, 1 − 2 + 3 − 4 + … è (H, 2) sommabile per 14.

La è la parte dell'equazione trovata da Otto Hölder, il quale dimostrò nel 1882 quello che oggi in matematica si intende per legame tra la somma di Abel e i metodi per la somma di 1 − 2 + 3 − 4 + …; questa successione fu la prima alla quale venne applicata questa regola.[9][10] Il fatto che 14 sia la somma di 1 − 2 + 3 − 4 + … garantisce che si può applicare la somma di Abel a questa serie.

Un'altra generalizzazione della somma di Cesaro è la successione dei metodi Egli ha infatti dimostrato che la somma e la somma danno lo stesso risultato, nonostante il diverso contesto storico. Nel 1887, Cesaro cercò una definizione per la regola della somma ma riuscì a fornire solo pochi esempi. In particolare, ha sommato 1 − 2 + 3 − 4 + … con 14 con un metodo strettamente legato a ma non ha giustificato come lo ha fatto. Egli, nel 1890, definiva i metodi in stati ordinati del suo teorema con l'ausilio della successione di Cauchy grazie a una serie -sommabile e a una serie -sommabile, facendo risultare il tutto -sommabile.[11]

Somma di Abel

Somme parziali di 1−2x+3x²+…; 1/(1 + x)²; il risultato sarà sempre 1.

In un documento del 1749, Eulero ammette che una serie diverge ma non ha una somma precisa.

(EN)

«When it is said that the sum of this series 1 − 2 + 3 − 4 + 5 − 6 ... is 14, that must appear paradoxical. For by adding 100 terms of this series, we get –50, however, the sum of 101 terms gives +51, which is quite different from 14 and becomes still greater when one increases the number of terms. But I have already noticed at a previous time, that it is necessary to give to the word sum a more extended meaning.»

(IT)

«Quando si dice che il risultato tra le somme della serie 1 − 2 + 3 − 4 + 5 − 6 ... è 14, questo fatto deve apparire paradossale. Addizionando 100 termini di questa serie, si avrà un risultato di –50, comunque, sommando il risultato con 101 si ha +51; perciò il risultato totale non dovrebbe essere 14. Ma io avevo già annunciato in precedenza, che è necessario dare alla parola « somma » una definizione più approfondita.»

Eulero ha proposto nuove definizioni della parola somma varie volte, pubblicando il libro Euler on infinite series (letteralmente Eulero sulle serie infinite). Nel caso della serie 1 − 2 + 3 − 4 + …, le sue idee sulla somma sono simili a quelle utilizzate per la somma di Abel.

(EN)

«It is no more doubtful that the sum of this series 1 − 2 + 3 − 4 + 5 + ... is 14; since it arises from the expansion of the formula 1(1+1)², whose value is incontestably 14. The idea becomes clearer by considering the general series 1-2x + 3x² - 4x³ + 5x4 - 6x5 ... that arises while expanding the expression 1(1+x)², which this series is indeed equal to after we set

(IT)

«Non c'è dubbio che il risultato della somma di 1 − 2 + 3 − 4 + 5 + ... sia 14; poiché proviene dall'espansione della formula 1(1+1)², il quale valore è di 14. L'idea risulta più chiara dalla considerazione della serie generale 1-2x + 3x² - 4x³ + 5x4 - 6x5 ... che si genera espandendo l'espressione 1(1+x, alla quale la serie è evidentemente uguale ponendo

Ci sono molti modi per vedere che, almeno per i valori Eulero ha ragione nel porre

Uno modo è usare lo sviluppo di Taylor al secondo membro.

Da un punto di vista moderno, la serie 1 − 2x + 3x² − 4x³ + … non definisce una funzione per quindi tale valore non può essere semplicemente sostituito nell'espressione. Poiché questa funzione è definita per se ne può calcolare il limite per e questa è la definizione della somma di Abel:

Eulero e Borel

La somma di Eulero di 1214.

Eulero ha applicato un altro metodo per il calcolo nelle serie: una trasformazione binomiale di sua invenzione. Per calcolare la trasformazione binomiale di Eulero, si inizia con una successione di termini positivi, che poi formerà la serie alternata, in questo caso si ha 1, 2, 3, 4, …. Il primo elemento di questa successione è indicato con

Poi si devono calcolare le differenze in avanti tra 1, 2, 3, 4, …; che sono 1, 1, 1, 1, …. Il primo elemento in questa successione è indicato con La numerazione binomiale dipende anche dalle differenze di differenze, ma tutte le differenze in avanti tra 1, 1, 1, 1, … sono 0. La trasformazione di Eulero di 1 − 2 + 3 − 4 + … è anche definibile come:

Nella terminologia moderna si dice che la serie 1 − 2 + 3 − 4 + ... è sommabile mediante la somma di Eulero e vale 14. Secondo la somma di Eulero, in questa serie bisogna applicare un ulteriore tipo di criterio di sommabilità, rappresentando 1 − 2 + 3 − 4 + … come

si ha la serie convergente ovunque:

La somma di Borel applicata nella serie 1 − 2 + 3 − 4 + ... sarà quindi[14]

Separazione delle misure

Aleksander Saičev e Wojbor Andrzej Woyczyński arrivarono a 1 − 2 + 3 − 4 + … = 14 applicando due principi fisici: la relazione infinitesima e la separazione delle misure. Per essere precisi, questi principi fanno parte di una lunga famiglia denominata metodi φ-sommabili, le cui somme, in questa serie, risultano 14: se è una funzione con derivata prima e seconda continue e integrabili in tali che e i limiti di e a siano 0.[15]

Questo risultato generalizza la somma di Abel, la quale si ottiene applicando Il risultato generale può essere dimostrato accoppiando i termini della serie su e convertendo l'espressione in un integrale di Riemann. Per l'ultimo passaggio, nella dimostrazione corrispondente per 1 − 1 + 1 − 1 + … si applica il teorema del valor medio, ma serve una forma di Lagrange più forte del teorema di Taylor.

Generalizzazioni

Somme di Eulero nel suo libro del 1755 Istituzioni.

Il prodotto di Cauchy di 1 − 1 + 1 − 1 + … per sé stesso tre volte è 1 − 3 + 6 − 10 + …, ossia la serie alternata di un numero triangolare. Secondo la somma di Abel e la somma di Eulero il risultato è 18.[16] Il prodotto di Cauchy di 1 − 1 + 1 − 1 + … per sé stesso quattro volte è 1 − 4 + 10 − 20 + …, ossia la serie alternata di un numero tetraedrico. Secondo la somma di Abel il risultato è 116.

Un'altra generalizzazione di 1 − 2 + 3 − 4 + … in una direzione leggermente diversa è la serie 1 − 2n + 3n − 4n + … per altri valori di Per un numero intero positivo queste serie operano con la somma di Abel nel seguente modo:[5][17]

Qui sono i numeri di Bernoulli. Per pari, la serie si riduce:

L'ultima somma diventa oggetto di derisione da parte Niels Henrik Abel nel 1826:

(EN)

«Divergent series are on the whole devil's work, and it is a shame that one dares to found any proof on them. One can get out of them what one wants if one uses them, and it is they which have made so much unhappiness and so many paradoxes. Can one think of anything more appalling than to say that where n is a positive number. Here's something to laugh at, friends.»

(IT)

«Le serie divergenti sono tutte lavoro del diavolo, ed è una vergogna cercare ipotesi e teorie su di esse. Si può trarre qualcosa da esse se si vuole veramente usarle, e questo le rende così infelici e paradossali. Si possono pensare cose molto più scioccanti se però si dice che dove n è un numero positivo. Qui c'è da ridere, amici.»

Anche l'insegnante di Cesaro, Eugène Charles Catalan, denigrava le serie divergenti. Sotto l'influenza di Catalan, inizialmente Cesaro fece riferimento a "formule convenzionali" come 1 − 2n + 3n − 4n + … e a "uguaglianze assurde", e nel 1883 espresse un tipico punto di vista di quel periodo sul fatto che le formule fossero false ma, in qualche modo, comunque utili. Per finire, nel suo libro Sur la multiplication des séries del 1890, Cesaro seguì un approccio moderno partendo dalle definizioni.

Le serie sono inoltre studiate per i valori non interi di n; questo ha consentito la scoperta della funzione eta di Dirichlet. Parte delle motivazioni degli studi di Eulero sulla serie 1 − 2 + 3 − 4 + … riguardano l'equazione funzionale della funzione eta, la quale porta direttamente all'equazione funzionale della funzione zeta di Riemann. Eulero è diventato famoso anche per aver trovato i valori di queste funzioni per numeri interi pari (includendo il problema di Basilea), e per aver tentato di trovare i loro valori con numeri interi dispari (includendo la costante di Apéry). La funzione eta, in particolare, è facile da studiare con i metodi di Eulero perché la sua serie di Dirichlet è sommabile ovunque utilizzando la somma di Abel. La funzione zeta della serie di Dirichlet è molto difficile da sommare dove essa diverge.[20] Per esempio, la corrispondente di 1 − 2 + 3 − 4 + … nella funzione zeta è la serie non alternata 1 + 2 + 3 + 4 + …, alla quale sono stati applicati recentemente metodi fisici che necessitano però di metodi di somma più elaborati.

Note

  1. ^ Hardy, p. 8.
  2. ^ Beals, p. 23.
  3. ^ Hardy, p. 6.
  4. ^ Ferraro, p. 130.
  5. ^ a b Hardy, p. 3.
  6. ^ Weidlich, pp. 52-55.
  7. ^ Hardy, p. 9.
  8. ^ Weidlich, pp. 17-18.
  9. ^ Ferraro, p. 118.
  10. ^ Tucciarone, p. 10.
  11. ^ Ferraro, pp. 123-128.
  12. ^ Euler, p. 2.
  13. ^ Euler, pp. 3, 25.
  14. ^ Weidlich, p. 59.
  15. ^ Saičev e Woyczyński, pp. 260–264.
  16. ^ Kline, p. 313.
  17. ^ Knopp, p. 41[non chiaro].
  18. ^ Grattan-Giunness, p. 80.
  19. ^ Markuševič, p. 48.
  20. ^ Euler, pp. 20-25.

Bibliografia

Voci correlate

Collegamenti esterni

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica