Contudo, em meados do século XVIII, Leonhard Euler descobriu a seguinte relação qualificando-a de paradoxal:
A série 1 − 2 + 3 − 4 + … encontra-se relacionada com a série de Grandi 1 − 1 + 1 − 1 + …. Euler analisou estas duas séries como casos especiais de (1 − 2n + 3n − 4n + …) para valores de n aleatórios, uma linha de investigação 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.
Índice[esconder] |
[editar] Divergência
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 segundo o teste do termo geral. Com base nas análises em seções subseqüentes, é útil analisar a divergência em um nível mais fundamental. Por definição, a convergência ou divergência de uma série infinita determina-se analisando a convergência ou divergência da seqüência de suas somas parciais, e neste caso as somas parciais de 1 − 2 + 3 − 4 + … são:[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,
- …
[editar] Relações heurísticas da soma
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 + ….[editar] Estabilidade e linearidade
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:-
s = 1 − 2 + 3 − 4 + …
= (1 − 1 + 1 − 1 + … ) + (0 − 1 + 2 − 3 + … )
= h − s,
-
h = 1 − 1 + 1 − 1 + …
= 1 − (1 − 1 + 1 − … )
= 1 − h.
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.
[editar] Produto de Cauchy
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:
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.
[editar] Métodos específicos
[editar] Cesàro e Hölder
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, …,
- 1, 0, ²⁄3, 0, 3⁄5, 0, 4⁄7, ….
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]
[editar] Soma de Abel
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…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]
– Euler et al p.2. Apesar do trabalho ter sido escrito em 1749, ele só foi publicado em 1768.
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.Existem várias formas de comprovar que, ao menos para valores absolutos |x| < 1, Euler está correto em afirmar que:
– Euler et al pp.3, 25.
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:
[editar] Euler e Borel
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:
A soma de Euler implica também outro tipo de soma. Representando 1 − 2 + 3 − 4 + … como:
[editar] Separação de escalas
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]
[editar] Generalizações
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]
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.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]
– Grattan-Guinness, p. 80
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.
Notas
- ↑ Hardy p.8
- ↑ Beals 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
[editar] Referências gerais
- Beals, Richard. Analysis: an introduction. [S.l.]: Cambridge UP, 2004.
- Davis, Harry F.. Fourier Series and Orthogonal Functions. [S.l.]: Dover, 1989Maio.
- Euler, Leonhard; Lucas Willis; e Thomas J Osler (1768, 2006). "Translation with notes of Euler's paper: Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques". Memoires de l'academie des sciences de Berlin 17: 83-106.
- Ferraro, Giovanni (Junho 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.
- Grattan-Guinness, Ivor. The development of the foundations of mathematical analysis from Euler to Riemann. [S.l.]: MIT Press, 1970.
- Hardy, G.H.. Divergent Series. [S.l.]: Clarendon Press, 1949.
- Kline, Morris (Novembro 1983). "Euler and Infinite Series". Mathematics Magazine 56 (5): 307-314.
- Lavine, Shaughan. Understanding the Infinite. [S.l.]: Harvard UP, 1994.
- Markushevich, A.I.. Series: fundamental concepts with historical exposition. English translation of 3rd revised edition (1961) em russo ed. [S.l.]: Hindustan Pub. Corp., 1967.
- Saichev, A.I., and W.A. Woyczyński. Distributions in the physical and engineering sciences, Volume 1. [S.l.]: Birkhaüser, 1996.
- Tucciarone, John (Janeiro 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.
- Vretblad, Anders. Fourier Analysis and Its Applications. [S.l.]: Springer, 2003.
- Weidlich, John E.. Summability methods for divergent series. [S.l.]: Stanford M.S. theses, 1950Junho.
Nenhum comentário:
Postar um comentário