1 − 2 + 3 − 4 + ⋯
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c3/Pm1234_Ground.png/220px-Pm1234_Ground.png)
Em matemática, a expressão, 1 − 2 + 3 − 4 + … é uma série infinita cujos termos são números inteiros, que vão alternando seus sinais. Utilizando a notação matemática para somatório, a soma dos m primeiros termos da série se expressa como
A série infinita diverge, o que significa que a sequência de suas somas parciais (1, −1, 2, −2, 3, ...) não tende a nenhum limite finito. Contudo, em meados do século XVIII, Leonhard Euler descobriu a seguinte relação qualificando-a de paradoxal:
Somente muito tempo depois que se chegou a uma explicação rigorosa desta equação. Iniciando em 1890, Ernesto Cesàro, Émile Borel e outros investigaram métodos bem definidos para atribuir somas generalizadas às séries divergentes — incluindo novas interpretações das tentativas realizados por Euler. Muitos destes métodos de soma facilmente atribuem a (1 − 2 + 3 − 4 + ...) uma "valor" de 14. A soma de Cesàro é um dos poucos métodos que não soma a série 1 − 2 + 3 − 4 + ..., por isso, esta série é um exemplo de um caso onde deve utilizar-se um método mais robusto como, por exemplo, a soma de Abel.
A série 1 − 2 + 3 − 4 + … encontra-se intimamente relacionada com a série de Grandi 1 − 1 + 1 − 1 + ... Euler analisou estas duas séries como casos especiais da sequência mais geral (1 − 2n + 3n − 4n + ...,) onde n = 1 e n = 0, reséctivamente. Esta linha de pesquisa que estende sua contribuição ao problema da Basiléia e conduz às equações funcionais do que conhecemos hoje como a função eta de Dirichlet e a função zeta de Riemann.
Divergência
[editar | editar código-fonte]Os termos da série numérica, (1, −2, 3, −4, ...), não se aproximam de 0; portanto, a série 1 − 2 + 3 − 4 + ... diverge pelo teste do termo geral. A divergência também pode ser observada diretamente da definição: uma série infinita converge se, e somente se, a convergência a sequência de somas parciais converge para o limite, no qual o limite é o valor da série infinita. As somas parciais de 1 − 2 + 3 − 4 + ... são:[1]
A sequência das somas parciais mostra qe a série não converge para um número em particular: para qualquer limite x proposto, existe um ponto além do qual as somas parciais subsequentes estão todas fora do intervalo [x − 1, x + 1], então 1 − 2 + 3 − 4 + ... diverge.
As somas parciais contêm cada inteiro exatamente uma vez — até mesmo o zero, se for contada a soma parcial vazia — portanto, estabelece a enumerabilidade do conjunto dos inteiros.[2]
Relações heurísticas da soma
[editar | editar código-fonte]As explicações mais simples que relacionam 1 − 2 + 3 − 4 + … com o valor ¹⁄4 são extensões de resultados relacionados com a série 1 − 1 + 1 − 1 + ….
Estabilidade e linearidade
[editar | editar código-fonte]Dado que os termos (1, −2, 3, −4, 5, −6 …) seguem um padrão simples, pode-se expressar a série 1 − 2 + 3 − 4 + … como uma versão transformada de si mesma e resolver a equação resultante para obter um valor numérico. Supondo que fosse correto expressar s= 1 − 2 + 3 − 4 + … para algum número s, as seguintes relações levam a mostrar que s= ¹⁄4:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c2/Pm1234_linearity.svg/220px-Pm1234_linearity.svg.png)
s = 1 − 2 + 3 − 4 + … = (1 − 1 + 1 − 1 + … ) + (0 − 1 + 2 − 3 + … ) = h − s,
onde h é a "soma" da série:
h = 1 − 1 + 1 − 1 + … = 1 − (1 − 1 + 1 − … ) = 1 − h.
Resolvendo as equações h= 1 − h e s= h − s obtém-se que h= ¹⁄2 e s= (¹⁄2)h= ¹⁄4.[3]
Em forma equivalente, podem-se reordenar as equações de forma tal para obter (s + s) + (s + s) = h + h= 1, o qual novamente implica que s= ¹⁄4; sendo esta a forma que é mostrada no esquema à direita e na expressão a seguir.
1 - 2 + 3 - 4 + 5 - 6 + . . . . . + 1 - 2 + 3 - 4 + 5 - . . . . . + 1 - 2 + 3 - 4 + 5 - . . . . . . + 1 - 2 + 3 - 4 + . . . . . . . -------------------------------------------- 4 s = 1 + 0 + 0 + 0 + 0 + 0 + . . .
Se bem que a série 1 − 2 + 3 − 4 + · · · não possui uma soma no sentido usual, a equação s= 1 − 2 + 3 − 4 + · · · = ¹⁄4 pode ser interpretada como a solução mais natural no caso em que se fosse definir o valor desta soma. Uma definição generalizada da "soma" de uma série divergente é chamada de método da soma; existem vários tipos diferentes de métodos, alguns dos quais são explicados nas seções seguintes, os quais se caracterizam pelas propriedades que partilham com a soma convencional.
As manipulações mostradas previamente demonstram que: dado um método da soma que é linear e estável, se o mesmo soma a série 1 − 2 + 3 − 4 + … então, a soma deve ser ¹⁄4, e esse método também permitirá somar a série de Grandi 1 − 1 + 1 − 1 + … dando-lhe o valor ¹⁄2.
Apesar de que o enfoque explicado no parágrafo anterior limita os valores que podem tomar as somas generalizadas de 1 − 2 + 3 − 4 + …, o mesmo não indica quais são os métodos que permitirão somar ou não a série. De fato, alguns métodos da soma lineares e estáveis, tais como a soma ordinária, não somam a série 1 − 2 + 3 − 4 + …. Por outro lado, se expressa a série de uma forma alternativa como um produto, então é possível determinar quais são os métodos que permitem obter ¹⁄4.
Produto de Cauchy
[editar | editar código-fonte]Já em 1891, Ernesto Cesàro pensava que as séries divergentes seriam incorporadas no futuro ao cálculo matemático de uma maneira rigorosa, indicando que, "Hoje já é possível escrever as expressões (1 − 1 + 1 − 1 + …)² = 1 − 2 + 3 − 4 + … e afirmar que ambos os lados da igualdade possuem o valor 1/4."[4] Para Cesàro, esta equação era o resultado de aplicar um teorema que ele havia publicado durante o ano anterior, sendo este teorema o primeiro na história das séries divergentes somáveis. Os detalhes de seu método da soma são explicados em seções subseqüentes; a idéia central é que 1 − 2 + 3 − 4 + … é o produto de Cauchy de 1 − 1 + 1 − 1 + … com 1 − 1 + 1 − 1 + ….
O produto de Cauchy de duas séries infinitas define-se ainda se ambas são divergentes. No caso em que Σan = Σbn = Σ(−1)n, os termos do produto de Cauchy obtêm-se mediante a soma das somas finitas das diagonais:
Portanto, a série produto resulta ser:
Portanto, os métodos da soma que "respeitam" o produto de Cauchy de duas séries e somam 1 − 1 + 1 − 1 + … = ¹⁄2, também somam 1 − 2 + 3 − 4 + … = ¹⁄4. De acordo com os resultados da seção anterior, isto implica uma equivalência entre a somabilidade de 1 − 1 + 1 − 1 + … e 1 − 2 + 3 − 4 + … , para métodos que são lineares, estáveis, e respeitam o produto de Cauchy.
O teorema de Cesàro é um exemplo sutil. A série 1 − 1 + 1 − 1 + … é somável Cesàro em um sentido débil, identificado como somável (C, 1), enquanto que 1 − 2 + 3 − 4 + … requer o uso de uma forma mais poderosa do teorema de Cesàro >,[5] sendo somável (C, 2). Dado que todas as formas do teorema de Cesàro são lineares e estáveis, as somas resultam nos valores indicados anteriormente.
Métodos específicos
[editar | editar código-fonte]Cesàro e Hölder
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/37/Pm1234_means.svg/220px-Pm1234_means.svg.png)
Para calcular a soma de Cesàro (C, 1) de 1 − 2 + 3 − 4 + …, no caso em que exista, deve-se calcular a média aritmética das somas parciais dos termos da série. As somas parciais são:
- 1, −1, 2, −2, 3, −3, …,
e as médias aritméticas destas somas parciais resultam ser:
- 1, 0, ²⁄3, 0, 3⁄5, 0, 4⁄7, ….
Dado que esta seqüência não converge, então, conclui-se que 1 − 2 + 3 − 4 + … não é somável segundo o método de Cesàro.
Existem duas generalizações do método da soma de Cesàro: a mais simples conceitualmente das duas é a seqüência dos métodos (H, n) para números naturais n. A soma (H, 1) é a soma de Cesàro, e os métodos de maior ordem repetem o cálculo das médias. Na expressão anterior, as médias pares convergem a ¹⁄2, enquanto que as médias ímpares são iguais a zero, portanto, a média das médias converge ao valor médio de 0 e ¹⁄2, ou seja ¹⁄4.[6] Portanto, 1 − 2 + 3 − 4 + … é somável (H, 2) excluindo o valor de ¹⁄4.
O "H" é usado em homenagem a Otto Hölder, que foi o primeiro a demonstrar em 1882 o que hoje os matemáticos pensam ser a ligação entre a soma de Abel e a soma (H, n); seu primeiro exemplo foi 1 − 2 + 3 − 4 + … .[7] O fato que ¹⁄4 é a soma (H, 2) de 1 − 2 + 3 − 4 + … assegura que é também a soma de Abel; o qual é demonstrado na seção seguinte.
A outra generalização conhecida da soma de Cesàro é a seqüência dos métodos (C, n). Tem-se demonstrado que a soma (C, n) e a soma (H, n) sempre dão os mesmos resultados, ainda que tenham histórias distintas. Em 1887, Cesàro estava muito perto de desenvolver a definição da soma (C, n), mas só deu uns poucos exemplos, incluindo 1 − 2 + 3 − 4 + …, a que somou obtendo o valor ¹⁄4 por um método que poderia ser interpretado como (C, n) mas, que não foi justificado como tal nesse momento. Em 1890 Cesàro definiu formalmente os métodos (C, n) na demonstração de seu teorema, o qual diz que o produto de Cauchy de uma série somável (C, n) e uma série somável (C, m) é uma série somável (C, m + n + 1).[8]
Soma de Abel
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/90/Pm1234_Abel.svg/120px-Pm1234_Abel.svg.png)
Leonhard Euler em um trabalho que escreveu em 1749, admite que a série diverge, mas de todas as formas faz os preparativos para somá-la:
…parece um paradoxo dizer que a soma da série 1 − 2 + 3 − 4 + 5 − 6 etc. é o valor 1/4. Já que quando somamos os primeiros 100 termos da série obtém-se o valor –50, enquanto que a soma dos primeiros 101 termos dá o valor +51, o qual é muito distinto de 1/4 e a soma é cada vez maior à medida que aumenta o número de termos que se somam. Por isso é que há algum tempo chegou-se à conclusão, que é necessário dar à palavra soma um significado mais amplo…
– Euler et al p.2. Apesar do trabalho ter sido escrito em 1749, ele só foi publicado em 1768.
Em várias oportunidades Euler propôs uma generalização da palavra "soma"; em um livro de cálculo publicado em 1755, Leonhard Euler descreveu sucintamente uma base incipiente para o tratamento das séries divergentes:[9]
Portanto, digamos, que a soma de toda série infinita é a expressão finita, a partir de cuja expansão gera-se a série. Neste sentido a soma da série infinita 1 − x + x² − x3 + · · · será ¹⁄1+ x, porque a série obtem-se da expansão de tal fração, para qualquer número que coloque-se no lugar de x. Caso esteja de acordo com esta definição, então a nova definição da palavra soma coincide com o significado ordinário de soma quando uma série converge; e dado que as séries divergentes não possuem soma, no sentido estrito da palavra, não gera-se nenhum inconveniente a raiz desta nova terminologia. Finalmente, por meio desta definição, preserva-se a utilidade das séries divergentes e defender seu uso frente a todas as objeções.
Suas idéias para o caso de 1 − 2 + 3 − 4 + …, são similares ao que hoje conhece-se como Soma de Abel:
…já não fica nenhuma dúvida que a soma da série 1 − 2 + 3 − 4 + 5 - 6 etc. é 1/4; dado que origina-se na expansão da fórmula ¹⁄(1+1)², cujo valor é incontestavelmente 1/4. O conceito torna-se mais claro ao considerar-se a série geral 1 − 2x + 3x² − 4x3 + 5x4 − 6x5 + etc. que obtém-se ao expandir a expressão ¹⁄(1+x)², que é igual à série que atribui-se x 1.
– Euler et al pp.3, 25.
Existem várias formas de comprovar que, ao menos para valores absolutos |x| < 1, Euler está correto em afirmar que:
Quando se realiza uma expansão de Taylor do lado direito da igualdade, ou aplica-se o formalismo da divisão polinomial. Começando do lado esquerdo, pode-se seguir a heurística geral indicada previamente e provar que multiplicar por (1+x) duas vezes ou elevar ao quadrado a série geométrica 1 − x + x² − …. Parece que Euler sugere calcular a derivada desta última série termo a termo.[10]
De um ponto de vista moderno, a série 1 − 2x + 3x² − 4x³ + … não define uma função em x= 1, portanto, tal valor não pode ser substituído na expressão resultante. Dado que a função está definida para todo |x| < 1, portanto, é possível calcular o limite quando x tende a 1 pela esquerda, e esta é precisamente a definição da soma de Abel:
Euler e Borel
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/82/Pm1234_Euler.svg/220px-Pm1234_Euler.svg.png)
Euler também aplicou às séries outra técnica de sua invenção: a transformada de Euler. Para calcular a transformada de Euler, começa-se pela seqüência de termos positivos que formam a série alternada — neste caso 1, 2, 3, 4, …. O primeiro elemento desta seqüência denomina-se a0.
Logo se obtém a seqüência das diferenças anteriores de 1, 2, 3, 4, …; que é 1, 1, 1, 1, …. O primeiro elemento desta seqüência denomina-se Δa0. A transformada de Euler depende também de diferenças de diferenças, e iterações de maior ordem, mas todas as diferenças anteriores de 1, 1, 1, 1, … são 0. A transformada de Euler de 1 − 2 + 3 − 4 + … define-se como:
Utilizando terminologia moderna, diz-se que 1 − 2 + 3 − 4 + … é somável Euler com valor ¹⁄4.
A soma de Euler implica também outro tipo de soma. Representando 1 − 2 + 3 − 4 + … como:
obtém-se a série totalmente convergente associada:
A soma de Borel de 1 − 2 + 3 − 4 + … portanto, é[11]
Separação de escalas
[editar | editar código-fonte]Saichev e Woyczyński chegam a 1 − 2 + 3 − 4 + … = ¹⁄4 utilizando só dois princípios físicos: relaxação infinitesimal e separação de escalas. Na realidade, estes princípios permitem-lhes definir uma família ampla de "métodos da soma-φ", onde todos eles somam a série ao valor ¹⁄4:
- Se φ(x) é uma função cujas primeira e segunda derivadas são contínuas e integráveis no intervalo (0, ∞), com φ(0) = 1 e sendo zero o valor dos limites de φ(x) y xφ(x) em +∞ , então,[12]
Este resultado generaliza a soma de Abel, a que corresponde ao caso φ(x) = exp(−x). O formalismo geral pode ser demonstrado emparelhando os termos da série sobre m e convertendo a expressão em uma integral de Riemann. Para este último passo, a demonstração correspondente para 1 − 1 + 1 − 1 + … emprega o Teorema do valor médio, mas aqui requer-se a poderosa forma de Lagrange do teorema de Taylor.
Generalizações
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ab/Pm1234_Euler1755_I-V.png/220px-Pm1234_Euler1755_I-V.png)
O produto de Cauchy triplo de 1 − 1 + 1 − 1 + … é 1 − 3 + 6 − 10 + …, a série alternada dos números triangulares; sua soma de Abel e de Euler é ¹⁄8.[13] O produto de Cauchy quádruplo de 1 − 1 + 1 − 1 + … é 1 − 4 + 10 − 20 + …, a série alternada dos números tetraédricos, cuja soma de Abel é ¹⁄16.
Outra generalização de 1 − 2 + 3 − 4 + … em uma direção ligeiramente diferente é a série 1 − 2n + 3n − 4n + … para valores de n diferentes de 1. Para n pertencente aos números inteiros positivos, estas séries têm as seguintes somas de Abel:[14]
onde Bn são os números de Bernoulli. Para n pares, isto reduz-se a:
Esta última soma foi ridicularizada por Niels Henrik Abel em 1826:
As séries divergentes são uma invenção do diabo, e é uma vergonha que use-se basear nelas demonstração alguma. Mediante seu uso é possível extrair a conclusão que deseje-se e essa é a razão porque estas séries têm sido a origem de tantas falácias e paradoxos. É que pode um pensar em algo mais desanimador que dizer que: 0 1 − 2n + 3n − 4n + etc.: onde n é um número positivo. Amigos, eis aqui algo de que podemos rir.
– Grattan-Guinness, p. 80
Eugène Charles Catalan, o professor de Cesàro, também menosprezava as séries divergentes. Sob a influência de Catalan, Cesàro inicialmente referia-se às "fórmulas convencionais" para 1 − 2n + 3n − 4n + · · · como "igualdades absurdas", e em 1883, Cesàro manifestava o ponto de vista aceito nessa época que as fórmulas eram falsas mas, ainda assim de alguma maneira úteis formalmente. Finalmente, em seu trabalho Sur la multiplication des séries publicado em 1890, Cesàro adotou um enfoque moderno começando desde as definições.[15]
As séries são estudadas também para valores não inteiros de n; dando origem à função eta de Dirichlet. Parte da motivação de Euler para estudar as séries relacionadas com 1 − 2 + 3 − 4 + … era a equação funcional da função eta, que conduz diretamente à equação funcional da função zeta de Riemann. Euler já havia adquirido fama por encontrar os valores destas funções para valores inteiros positivos pares (incluindo o problema da Basiléia), e estava também disposto a encontrar os valores para inteiros positivos ímpares (incluindo a constante de Apéry), um problema que não foi resolvido até o dia de hoje. A função eta é mais fácil de tratar com os métodos de Euler porque sua série de Dirichlet é somável-Abel em todo seu domínio; a série da função zeta de Dirichlet é muito mais difícil de somar na zona onde diverge.[16] Por exemplo, a contraparte de 1 − 2 + 3 − 4 + … na função zeta é a série não-alternada 1 + 2 + 3 + 4 + …, que possui importantes aplicações na física moderna mas, requer métodos da soma mais potentes.
Ver também
[editar | editar código-fonte]Referências
- ↑ Hardy 1949, p. 8.
- ↑ Beals 2004, p. 23.
- ↑ Hardy (p.6) apresenta estes desenvolvimentos com um passo adicional para s.
- ↑ Ferraro p.130
- ↑ Hardy p.3, Weidlich pp.52-55
- ↑ Hardy p.9. Os detalhes deste cálculo encontram-se em Weidlich pp.17-18.
- ↑ Ferraro p.118, Tucciarone p.10. Ferraro critica a explicação de Tucciarone (p.7) sobre como é que Hölder descobriu o resultado geral, entretanto, são similares as explicações dos dois autores sobre o tratamento de Hölder da série 1 − 2 + 3 − 4 + ….
- ↑ Ferraro pp.123-128
- ↑ Euler (1755), Part 1, Chapter 3, #111, pp.78-79; English translation by Bromwich (p.322). A tradução de Kline (1983, p.313) é quase idêntica.
- ↑ Por exemplo, Lavine (p.23) inclina-se pelo processo de divisão não o conclui; Vretblad (p.231) calcula o produto de Cauchy. O parecer de Euler é pouco claro; ver Euler et al pp.3, 26. John Baez até anima-se a sugerir um método teórico consistente em multiplicar conjuntos apontados (pointed sets) e o oscilador harmônico quântico. Baez, John C. Demonstração por Euler que 1 + 2 + 3 + … = 1/12 (PDF). math.ucr.edu (19 de dezembro de 2003). Visitação em 11 de novembro de 2007.
- ↑ Weidlich p.59
- ↑ Saichev e Woyczyński pp.260-264
- ↑ Kline p.313
- ↑ Knopp p.491; parece que comete um erro neste ponto Hardy p.3
- ↑ Ferraro pp.120-128
- ↑ Euler et al pp.20-25
Bibliografia
[editar | editar código-fonte]- Alabdulmohsin, Ibrahim M. (2018). «Analytic summability theory». Summability Calculus. [S.l.]: Springer International Publishing. pp. 65–91. ISBN 978-3-319-74647-0. doi:10.1007/978-3-319-74648-7_4
- Beals, Richard (2004). Analysis: An Introduction. [S.l.]: Cambridge UP. ISBN 978-0-521-60047-7
- Davis, Harry F. (maio de 1989). Fourier Series and Orthogonal Functions. [S.l.]: Dover. ISBN 978-0-486-65973-2
- Euler, Leonhard; Willis, Lucas; Osler, Thomas J. (2006). «Translation with notes of Euler's paper: Remarks on a beautiful relation between direct as well as reciprocal power series». The Euler Archive. Consultado em 22 de março de 2007 Originalmente publicado como Euler, Leonhard (1768). «Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques». Mémoires de l'Académie des Sciences de Berlin. 17: 83–106
- Ferraro, Giovanni (junho de 1999). «The First Modern Definition of the Sum of a Divergent Series: An Aspect of the Rise of 20th Century Mathematics». Archive for History of Exact Sciences. 54 (2): 101–135. doi:10.1007/s004070050036
- Grattan-Guinness, Ivor (1970). The development of the foundations of mathematical analysis from Euler to Riemann. [S.l.]: MIT Press. ISBN 978-0-262-07034-8 Verifique o valor de
|url-access=registration
(ajuda) - Hardy, G. H. (1949). Divergent Series. [S.l.]: Clarendon Press. xvi+396. ISBN 978-0-8218-2649-2. LCCN 49005496. MR 0030620. OCLC 808787 2.ª ed. publicada por Chelsea Pub. Co., 1991. . ISBN 0-8284-0334-1.
- Kline, Morris (novembro de 1983). «Euler and Infinite Series». Mathematics Magazine. 56 (5): 307–314. CiteSeerX 10.1.1.639.6923
. JSTOR 2690371. doi:10.2307/2690371
- Knopp, Konrad (1990). Theory and Application of Infinite Series. New York: Dover Publications. ISBN 0486661652. LCCN 89071388
- Lavine, Shaughan (1994). Understanding the Infinite. [S.l.]: Harvard UP. ISBN 978-0-674-92096-5
- Markusevič, Aleksej Ivanovič (1967). Series: fundamental concepts with historical exposition English translation of 3rd revised edition (1961) in Russian ed. Delhi, India: Hindustan Pub. Corp. p. 176. LCCN sa68017528. OCLC 729238507 Autor também conhecido como A. I. Markushevich e Alekseï Ivanovitch Markouchevitch. Também publicou em Boston, Massachusetts por Heath com OCLC 474456247. Adicionalmente, OCLC 208730, OCLC 487226828.
- Saichev, A. I.; Woyczyński, W. A. (1996). Distributions in the Physical and Engineering Sciences, Volume 1. [S.l.]: Birkhaüser. ISBN 978-0-8176-3924-2
- Shawyer, Bruce; Watson, Bruce (1994). Borel's Methods of Summability: Theory and Application. Col: Oxford Mathematical Monographs. [S.l.]: The Clarendon Press, Oxford University Press, New York. ISBN 0-19-853585-6. MR 1320266
- Tucciarone, John (janeiro de 1973). «The development of the theory of summable divergent series from 1880 to 1925». Archive for History of Exact Sciences. 10 (1–2): 1–40. doi:10.1007/BF00343405
- Vretblad, Anders (2003). Fourier Analysis and Its Applications. [S.l.]: Springer. ISBN 978-0-387-00836-3
- Weidlich, John E. (junho de 1950). Summability methods for divergent series. [S.l.]: Stanford M.S. theses. OCLC 38624384