Serie diverxente

En matemáticas, unha serie diverxente é unha serie infinita que non é converxente, o que significa que a secuencia infinita das sumas parciais da serie non ten un límite finito.

Se unha serie converxe, os termos individuais da serie normalmente deben achegarse a cero. Así, calquera serie na que os termos individuais non se acheguen a cero normalmente diverxe. No entanto, a converxencia é unha condición máis forte: non todas as series cuxos termos se aproximan a cero converxen. Un contraexemplo é a serie harmónica



A diverxencia das series harmónicas foi probada polo matemático medieval Nicole Oresme.

En contextos matemáticos especializados, pódense asignar valores obxectivamente a determinadas series cuxas secuencias de sumas parciais diverxen, co fin de dar sentido á diverxencia da serie. 

Un método de sumabilidade ou método de suma é unha función parcial do conxunto de series a valores. Por exemplo, a suma de Cesàro asigna as series diverxentes de Grandi



o valor. A suma de Cesàro é un método de media, xa que se basea na media aritmética da secuencia de sumas parciais que van sendo 0 e 1 alternativamente. Outros métodos implican un prolongamento analítico das series relacionadas. En física, hai unha gran variedade de métodos de sumabilidade; estes son tratados con maior detalle no artigo sobre regularización.

Hai que ter en conta que as series diverxentes son, evidentemente, moi diferentes, por tanto asignarlles un valor, áparte de ser útil nalgúns casos, dá información sobre esta diferenza, no caso contrario simplemente dicir que o seu valor é infinito non aporta información diferenciadora.

 Exemplos 
En series alternadas o valor asignado mostra certa relación entre os valores positivos e os negativos

 1 - 1 + 1 - 1 + ⋯ 
 1 − 2 + 3 − 4 + ⋯ 
 1 − 1 + 2 − 6 + 24 − 120 + ⋯ 
 1 − 2 + 4 − 8 + ⋯ 

En series con todos os termos positivos o valor asignado é menos intuitivo e moitas veces ten relación co prolongamento analítico
 1 + 2 + 4 + 8 + ⋯ 
 1 + 1 + 1 + 1 + ⋯ 
 1 + 2 + 3 + 4 + ⋯ 

 Propiedades dos métodos de suma 
Un método de suma é unha función que parte dun determinado subconxunto do conxunto de secuencias de sumas parciais de series con termos reais ou complexos (que se identifica naturalmente co conxunto de secuencias con termos reais ou complexos, pero é habitual e polo tanto máis práctico non facer esta identificación cando falamos de series), e con valores no conxunto de números reais ou complexos. Fixemos as seguintes notacións: (an) é unha secuencia de números reais ou complexos, s é a serie do termo xeral an, e as súas sumas parciais denomínanse . As primeiras propiedades a discutir sobre un método M de suma son:

 regularidade. Un método M de suma dise que é regular se, dado que a secuencia de sumas parciais (sn) converxe cara un límite S, a identidade M(s)=S verifícase.
 linearidade. O método M dise que é linear se o seu conxunto inicial admite unha estrutura de espazo vectorial (real ou complexo), e define unha aplicación linear deste espazo no conxunto de chegada.
 estabilidade. Definimos unha segunda serie s'  a partir da serie s por quendas, asumindo que o seu termo xeral é a'n=an+1 (ou que a súa suma parcial é s'n=sn+1-s0). O método M dise que é estábel se a pertenza de s'  no conxunto inicial de M é equivalente á de s, e se, neste caso, teñen a identidade: M(s' )=M(s)-a0.

Algúns métodos importantes, como o sumatorio de Borel non son estábeis. Desde o punto de vista numérico, abandonar as propiedades de regularidade e linearidade tamén permite chegar a métodos potentes, como o dos Aproximantes de Padé.

A comparación de dous métodos de suma distintos pódese facer a través das seguintes nocións: dous métodos A e B dise que son compatíbeis (ou consistentes) se lle asignan o mesmo valor a cada serie que suman ambos os dous. Entre dous métodos compatíbeis, se un consegue sumar todas as series que o outro consegue sumar, dise que é máis forte.

 Teoremas abelianos e tauberianos 

Un método de suma M chámase regular se os resultados que proporciona son, para series converxentes, os mesmos que as sumas destas series no sentido clásico. Tal resultado leva o nome xeral de  Teorema de Abel.

Os teoremas tauberianos son resultados recíprocos, que aseguran que un método de suma M sendo fixo, calquera serie sumada por este método que satisfaga unha determinada condición adicional (dependendo do método) é de feito unha serie converxente. Requirir unha condición adicional é importante, xa que un método que verifique un teorema tauberiano sen tal condición, de feito, non sería capaz de sumar series distintas ás converxentes e, polo tanto, carecería de interese para o estudo de series diverxentes.

O operador que asigna a súa suma a unha serie converxente é linear; a maiores, segundo o teorema de Hahn-Banach, pódese estender a un operador linear no espazo de series cuxa secuencia de sumas parciais está limitada. Porén, esta forma de atacar o problema resulta pouco fértil: por unha banda, a demostración así obtida baséase no lema de Zorn, polo que non é construtiva; por outra banda, non hai un resultado de unicidade, e os diferentes métodos de suma obtidos son dificilmente compatíbeis.

O problema da suma de series diverxentes céntrase así na procura de métodos explícitos, como o Sumatorio de Abel, o lema de Cesàro ou o sumatorio de Borel, e as súas relacións. Os teoremas tauberianos tamén forman un tema importante; notabelmente a través do teorema tauberiano de Wiener que dá luz sobre vínculos inesperados entre a análise de Fourier e os métodos resultantes do estudo da álxebra de Banach.

A suma de series diverxentes tamén está ligada aos métodos de extrapolación e aos métodos de transformación de secuencias, como os aproximantes de Padé.

 Media de Nørlund 

Supoña que pn é unha secuencia de termos positivos, a partir de p0. Supoñamos tamén que



Se agora transformamos unha secuencia s usando p para dar medias ponderadas, estabelecendo



entón o límite de tn cando n vai ao infinito é unha media chamada media de Nørlund Np(s).

A media de Nørlund é regular, linear e estábel. Alén diso, calquera das medias de Nørlund son consistentes.

 Sumatorio de Cesàro 

A máis significativa das medias de Nørlund son as sumas de Cesàro. Aquí, se definimos a secuencia pk por



entón a suma de Cesàro Ck defínese por  As sumas de Cesàro son as medias de Nørlund se  e, polo tanto, son regulares, lineares, estábeis e consistentes. C0 é a suma ordinaria e C1 é a suma ordinaria de Cesàro. As sumas de Cesàro teñen a propiedade de que se  entón Ch é máis forte que Ck.

 Medias de Abel 
Supoñamos que  } é unha secuencia estritamente crecente que tende cara ao infinito, e que . Supoñamos que



converxe para todos os números reais x > 0. Entón a media abeliana Aλ defínese como



Unha serie deste tipo coñécese como unha serie de Dirichlet xeneralizada.

As medias abelianas son regulares e lineares, mais non son estábeis e non sempre son consistentes entre as diferentes opcións de λ. No entanto, algúns casos especiais son métodos de suma moi importantes.

 Sumatorio de Abel 

Se , obtemos o método do sumatorio de Abel. Aquí



onde z = exp(−x). Entón, o límite de f(x) cando x se achega a 0 a través dos reais positivos é o límite da serie de potencias para f(z) cando z se achega a 1 por abaixo a través dos reais positivos, e a suma de Abel A(s) defínese como



O sumatorio de Abel é interesante en parte porque é consistente co sumatorio de Cesàro, aínda que máis poderosa:  sempre que estea definida esta última. O sumatorio de Abel é, polo tanto, regular, linear, estábel e coherente co sumatorio de Cesàro.

 Sumatorio de Lindelöf 
Se , entón (indexando a partir de 1) temos



Entón L(s), a suma de Lindelöf, é o límite de f(x) cando x vai ata cero positivo.

 Prolongamento analítico 
Varios métodos de suma implican tomar o valor dun prolongamento analítico dunha función.

 Prolongamento analítico da serie de potencias 
Se Σanxn converxe para un complexo pequeno x e pódese estender analiticamente por algún camiño dende x = 0 ata o punto x = 1, entón a suma da serie pódese definir como o valor en x = 1. Este valor pode depender da escolla do camiño. Un dos primeiros exemplos de sumas potencialmente diferentes para unha serie diverxente, usando o prolongamento analítico, foi dado por Callet, quen observou que se  entón

Avaliando en , obtemos

No entanto, os ocos na serie son fundamentais. Para  por exemplo, en realidade conseguiriamos

, polo que diferentes sumas corresponden a diferentes colocacións dos  's.

Outro exemplo de prolongamento analítico é a serie alternada diverxente  que é unha suma sobre produtos de funcións gamma  e símbolos de Pochhammer. Usando a fórmula de duplicación da función , redúcese a unha serie hiperxeométrica xeneralizada 

 Sumatorio de Euler 

O sumatorio de Euler é esencialmente unha forma explícita de prolongamento analítico. Se unha serie de potencias converxe para un complexo pequeno z e pódese prolongar analiticamente ata o disco aberto cun diámetro de  a 1 e é continuo en 1, entón o seu valor en q chámase a suma de Euler ou suma (E, q) da serie Σan. Euler utilizouno antes de que se definise o prolongamento analítico en xeral, e deu fórmulas explícitas para a serie de potencias do prolongamento analítico.

A operación do sumatorio de Euler pode repetirse varias veces, e isto é esencialmente equivalente a levar un prolongamento analítico dunha serie de potencias ata o punto z =1.

 Prolongamento analítico da serie de Dirichlet 
Este método define a suma dunha serie como o valor do prolongamento analítico da serie de Dirichlet



en  s = 0, se existe e é único. Este método ás veces confúndese coa regularización da función zeta.

Se s = 0 é unha singularidade illada, a suma defínese polo termo constante da expansión da serie de Laurent.

 Regularización da función zeta 

Se a serie



(para valores positivos da an) converxe para valores de s reais grandes e pódese prolongar analiticamente pola liña real ata s = −1, entón o seu valor en s = −1 chámase suma da función zeta regularizada da serie a1 + a 2 + ... A regularización da función zeta é non linear. Nalgunhas aplicacións, os números ai son ás veces os valores propios dun operador autoadxunto A con resolutivo compacto, e f (s) é daquela a traza de A-s. Por exemplo, se A ten valores propios 1, 2, 3,... entón f(s) é a función zeta de Riemann, ζ(s), cuxo valor en s = −1 é −, asignando un valor á serie diverxente  . Tamén se poden usar outros valores de s para asignar valores ás sumas diverxentes  



onde Bk é un número de Bernoulli.

 Notas 


 Véxase tamén 

 Bibliografía 
 Jean-Pierre Ramis, « Les séries divergentes », Pour la science, 350, decembro 2006, 132-139.
 Leonhard Euler, « 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, 1768, p. 83-106 ; Opera Omnia : Series 1, vol. 15, p. 70-90 ; Euler Archive : E352 (); este texto, escrito en 1749, constitúe un dos primeiros usos de series claramente diverxentes e, respecto destas fórmulas, el mesmo escribiu (p.2): cela doit paraître bien paradoxe (isto debe parecer bastante paradóxico).
 artigo de Ed Sandifer   (nunha serie chamada How Euler did it).
 Émile Borel, Leçons sur les séries divergentes, Gauthier-Villars, Paris, 1928
 Godfrey Harold Hardy, Divergent Series, Oxford University Press, 1949 ; rééd. AMS, 1992  ; DivergentSeries
 Jean-Pierre Ramis, Séries divergentes et théories asymptotiques, Panoramas et Synthèses, 0, 1994 

 Outros artigos 
 Sumatorio de Ramanujan.
 Serie de Grandi
 1 + 2 + 3 + 4 + ⋯
 1 + 2 + 4 + 8 + ⋯
 Teorema de Silverman-Toeplitz
 Sumatorio de Cesàro
 Sumatorio de Borel
 Sumatorio de Mittag-Leffler
 Límite de Banach
 Lista de sumas de recíprocos
 Ligazóns externas 
 « Du vieux et du neuf sur les séries divergentes », conferencia de Frédéric Pham, principalmente relacionados co sumatorio de Borel.



Categoría:Wikipedia:Páxinas con traducións non revisadas
Categoría:Análise matemática
Categoría:Serie matemática