Ver o código fonte de «Serie diverxente»

En [[matemáticas]], unha '''serie diverxente''' é unha [[Serie (matemáticas)|serie infinita]] que non é [[Serie converxente|converxente]], o que significa que a [[Sucesión (matemáticas)|secuencia]] infinita das [[Serie (matemáticas)|sumas parciais]] da serie non ten un [[Límite dunha sucesión|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]]

: <math>1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots =\sum_{n=1}^\infty\frac{1}{n}.</math>

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

: <math>1 - 1 + 1 - 1 + \cdots</math>

o valor{{Sfrac|2}}. A suma de Cesàro é un método ''[[Media (matemáticas)|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 + ⋯ <math>\text{ “ = ” }\frac{1}{2}</math>
* [[1 − 2 + 3 − 4 + ...|1 − 2 + 3 − 4 + ⋯]] <math>\text{ “ = ” }\frac{1}{4}</math>
* 1 − 1 + 2 − 6 + 24 − 120 + ⋯ <math>\text{ “ = ” }\!\!\int_0^\infty \frac{e^{-x}}{1+x} \, dx \approx 0.596\,347\ldots</math>
* 1 − 2 + 4 − 8 + ⋯ <math>\text{ “ = ” }\frac{1}{3}</math>

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 + ⋯ <math>\text{ “ = ” }-1</math>
* 1 + 1 + 1 + 1 + ⋯ <math>\text{ “ = ” }-\frac{1}{2}</math>
* 1 + 2 + 3 + 4 + ⋯ <math>\text{ “ = ” }-\frac{1}{12}</math>

== 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: (''a<sub>n</sub>'') é unha secuencia de números reais ou complexos, ''s'' é a serie do termo xeral ''a<sub>n</sub>'', e as súas sumas parciais denomínanse <math>s_n=\sum_{i=0}^n a_i</math>. 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 (''s<sub>n</sub>'') 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'<sub>n</sub>''=''a''<sub>''n''+1</sub> (ou que a súa suma parcial é ''s'<sub>n</sub>''=''s''<sub>''n''+1</sub>-''s''<sub>0</sub>). 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'')-''a''<sub>0</sub>.

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é|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 ==
{{Ap|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 (análise)|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 (matemáticas)|extrapolación]] e aos métodos de [[transformación de secuencias]], como os [[aproximantes de Padé]].

== Media de Nørlund ==
{{ap|Media de Nørlund}}
Supoña que ''p<sub>n</sub>'' é unha secuencia de termos positivos, a partir de ''p''<sub>0</sub>. Supoñamos tamén que

: <math>\frac{p_n}{p_0+p_1 + \cdots + p_n} \rightarrow 0.</math>

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

: <math>t_m = \frac{p_m s_0 + p_{m-1}s_1 + \cdots + p_0 s_m}{p_0+p_1+\cdots+p_m}</math>

entón o límite de ''t<sub>n</sub>'' cando ''n'' vai ao infinito é unha media chamada ''media de Nørlund'' '''N'''<sub>''p''</sub>(''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 ===
{{ap|Sumatorio de Cesàro}}
A máis significativa das medias de Nørlund son as sumas de Cesàro. Aquí, se definimos a secuencia ''p<sup>k</sup>'' por

: <math>p_n^k = {n+k-1 \choose k-1}</math>

entón a suma de Cesàro ''C''<sub>''k''</sub> defínese por {{Nowrap|1=''C''<sub>''k''</sub>(''s'') = '''N'''<sub><big>(</big>''p<sup>k</sup>''<big>)</big></sub>(''s'').}} As sumas de Cesàro son as medias de Nørlund se {{Nowrap|''k'' ≥ 0}} e, polo tanto, son regulares, lineares, estábeis e consistentes. ''C''<sub>0</sub> é a suma ordinaria e ''C''<sub>1</sub> é [[Suma de Cesàro|a suma ordinaria de Cesàro]]. As sumas de Cesàro teñen a propiedade de que se {{Nowrap|''h'' > ''k'',}} entón ''C''<sub>''h''</sub> é máis forte que ''C''<sub>''k''</sub>.

== Medias de Abel ==
Supoñamos que {{Nowrap|1=''λ'' = {''λ''<sub>0</sub>, ''λ''<sub>1</sub>, ''λ''<sub>2</sub>,...}} } é unha secuencia estritamente crecente que tende cara ao infinito, e que {{Nowrap|''λ''<sub>0</sub> ≥ 0}}. Supoñamos que

: <math>f(x) = \sum_{n=0}^\infty a_n e^{-\lambda_n x}</math>

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

: <math>A_\lambda(s) = \lim_{x \rightarrow 0^{+}} f(x).</math>

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 ===
{{ap|Teorema de Abel}}
Se {{Nowrap|1=''λ''<sub>''n''</sub> = ''n''}}, obtemos o método do ''sumatorio de Abel''. Aquí

: <math>f(x) = \sum_{n=0}^\infty a_n e^{-nx} = \sum_{n=0}^\infty a_n z^n,</math>

onde ''z'' = exp(−''x''). Entón, o límite de ''f''(''x'') cando ''x'' se achega a 0 a través dos [[Número positivo|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

: <math>A(s) = \lim_{z \rightarrow 1^{-}} \sum_{n=0}^\infty a_n z^n.</math>

O sumatorio de Abel é interesante en parte porque é consistente co [[Sumatorio de Cesàro|sumatorio de Cesàro,]] aínda que máis poderosa: {{Nowrap|1=''A''(''s'') = ''C''<sub>''k''</sub>(''s'')}} 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 {{Nowrap|1=''λ''<sub>''n''</sub> = ''n'' log(''n'')}}, entón (indexando a partir de 1) temos

: <math>f(x) = a_1 + a_2 2^{-2x} + a_3 3^{-3x} + \cdots .</math>

Entón ''L''(''s''), a ''suma de Lindelöf'',{{Sfn|Volkov|2001}} é 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 Σ''a''<sub>''n''</sub>''x''<sup>''n''</sup> 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,{{Sfn|Hardy|1949|p=14}} quen observou que se <math>1 \leq m < n</math> entón

<math>\frac{1-x^m}{1-x^n} = \frac{1 + x + \dots + x^{m-1}}{1 + x + \dots x^{n-1}} = 1 - x^m + x^n - x^{n+m} + x^{2n} - \dots</math>

Avaliando en <math>x=1
</math>, obtemos

<math>1 - 1 + 1 - 1 + \dots = \frac{m}{n} .</math>

No entanto, os ocos na serie son fundamentais. Para <math>m=1, n=3</math> por exemplo, en realidade conseguiriamos

<math>1-1+0+1-1+0+1-1+\dots = \frac{1}{3} 
</math>, polo que diferentes sumas corresponden a diferentes colocacións dos <math>0
</math> 's.

Outro exemplo de prolongamento analítico é a serie alternada diverxente <math>
\sum_{k \ge 0} (-1)^{k+1}\frac{1}{2k-1}\binom{2k}{k}
=1+2-2+4-10+28-84+264-858+2860-9724+\cdots
</math> que é unha suma sobre produtos de [[Función gamma|funcións gamma]]  e símbolos [[Factorial descendente e ascendente|de Pochhammer]]. Usando a fórmula de duplicación da función <math>\Gamma</math>, redúcese a unha [[serie hiperxeométrica xeneralizada]] <math>
\ldots =
\sum_{k \ge 0} (-4)^k\frac{(-1/2)_k}{k!}
={}_1F_0(-1/2;;-4) = \sqrt{5}.
</math>

=== Sumatorio de Euler ===
{{ap|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 {{Sfrac|−1|''q''&nbsp;+&nbsp;1}} 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 Σ''a''<sub>''n''</sub>. 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

: <math>f(s) = \frac{a_1}{1^s} + \frac{a_2}{2^s} + \frac{a_3}{3^s}+ \cdots </math>

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 ===
{{ap|Regularización da función zeta}}
Se a serie

: <math>f(s) = \frac{1}{a_1^s} + \frac{1}{a_2^s} + \frac{1}{a_3^s}+ \cdots </math>

(para valores positivos da ''a''<sub>''n''</sub>) converxe para valores de ''s'' reais grandes e pódese [[prolongamento analítico|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 ''a''<sub>1</sub>&nbsp;+&nbsp;''a'' <sub>2</sub>&nbsp;+&nbsp;... A regularización da función zeta é non linear. Nalgunhas aplicacións, os números ''a''<sub>''i''</sub> son ás veces os valores propios dun operador autoadxunto ''A'' con resolutivo compacto, e ''f'' (''s'') é daquela a traza de ''A''<sup>-''s''</sup>. 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''&nbsp;=&nbsp;−1 é −{{Sfrac|1|12}}, asignando un valor á serie diverxente {{Nowrap|[[1 + 2 + 3 + 4 + ...]]}} . Tamén se poden usar outros valores de ''s'' para asignar valores ás sumas diverxentes {{Nowrap|1=''ζ''(0) = 1 + 1 + 1 + ... = −{{sfrac|1|2}}}} {{Nowrap|1=''ζ''(0) = 1 + 1 + 1 + ... = −{{sfrac|1|2}}}}

: <math>\zeta(-s)=\sum_{n=1}^\infty n^s=1^s + 2^s + 3^s + \cdots = -\frac{B_{s+1}}{s+1}\, ,</math>

onde ''B<sub>k</sub>'' é un [[número de Bernoulli]].<ref>{{Cita web|title=the euler-maclaurin formula bernoulli numbers the zeta function and real variable analytic continuation|url=http://terrytao.wordpress.com/2010/04/10/the-euler-maclaurin-formula-bernoulli-numbers-the-zeta-function-and-real-variable-analytic-continuation/}}</ref>

== Notas ==
{{reflist|30em}} 

== 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 ([http://eulerarchive.maa.org/docs/originals/E352.pdf]); 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).
* [http://vanilla47.com/PDFs/Leonhard%20Euler/How%20Euler%20Did%20It%20by%20Ed%20Sandifer/Divergent%20series.pdf artigo de Ed Sandifer] {{Webarchive|url=https://web.archive.org/web/20140407123644/http://vanilla47.com/PDFs/Leonhard%20Euler/How%20Euler%20Did%20It%20by%20Ed%20Sandifer/Divergent%20series.pdf |date=07 de abril de 2014 }}  (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. [[American Mathematical Society|AMS]], 1992 {{ISBN|0-8218-2649-2}} ; [https://archive.org/details/DivergentSeries DivergentSeries]
* [[Jean-Pierre Ramis]], ''Séries divergentes et théories asymptotiques'', Panoramas et Synthèses, '''0''', 1994 {{ISBN|2-85629-024-8}}
 
=== 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 ===
* [http://www-fourier.ujf-grenoble.fr/~faure/enseignement/M1_math_pour_physique/Documents/Article_de_F_Pham_Borel.pdf « Du vieux et du neuf sur les séries divergentes »], conferencia de [[Frédéric Pham]], principalmente relacionados co [[sumatorio de Borel]].
* {{cita revista|autor=[[Jean-Pierre Ramis]]|url=http://smf4.emath.fr/en/Publications/Gazette/2012/133/smf_gazette_133_33-72.pdf|title=Poincaré et les développements asymptotiques (Première partie)|publisher=[[Gazette des mathématiciens|SMF, Gazette]]|volume=133|ano=2012|format=pdf}}
* {{cita revista|author=[[Jean-Pierre Ramis]]|url=http://smf4.emath.fr/en/Publications/Gazette/2012/134/smf_gazette_134_17-36.pdf|title=Les développements asymptotiques après Poincaré : continuité et… divergences (Deuxième partie)|publisher=SMF, Gazette|volume=134||ano=2012|format=pdf}}


{{control de autoridades}}
[[Categoría:Wikipedia:Páxinas con traducións non revisadas]]
[[Categoría:Análise matemática]]
[[Categoría:Serie matemática]]