Serie divergente

Serie infinita que no es convergente.

Les séries divergentes sont en general quelque chose de bien fatal et c'est une honte qu'on ose y fonder aucune démonstration. ("Las series divergentes son en general algo fatal, y es una vergüenza basar cualquier prueba en ellas". A menudo se traduce como "Las series divergentes son una invención del diablo...")

NH Abel , carta a Holmboe, enero de 1826, reimpresa en el volumen 2 de sus artículos completos.

En matemáticas , una serie divergente es una serie infinita que no es convergente , lo que significa que la secuencia infinita de las sumas parciales de la serie no tiene un límite finito .

Si una serie converge, los términos individuales de la serie deben tender a cero. Por tanto, cualquier serie en la que los términos individuales no se acerquen a cero diverge. Sin embargo, la convergencia es una condición más fuerte: no todas las series cuyos términos tienden a cero convergen. Un contraejemplo es la serie armónica.

${\displaystyle 1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+\cdots =\sum _{n=1}^{\infty }{\frac {1}{n}}.}$

La divergencia de la serie armónica fue demostrada por la matemática medieval Nicole Oresme .

En contextos matemáticos especializados, se pueden asignar valores objetivamente a ciertas series cuyas secuencias de sumas parciales divergen, para dar sentido a la divergencia de la serie. Un método de sumabilidad o método de suma es una función parcial del conjunto de series a valores. Por ejemplo, la suma de Cesàro asigna la serie divergente de Grandi

${\displaystyle 1-1+1-1+\cdots }$

el valor1/2. La suma de Cesàro es un método de promediado , ya que se basa en la media aritmética de la secuencia de sumas parciales. Otros métodos implican continuaciones analíticas de series relacionadas. En física , existe una amplia variedad de métodos de sumabilidad; estos se analizan con mayor detalle en el artículo sobre regularización .

Historia

... pero en términos generales es cierto que los matemáticos anteriores a Cauchy no preguntaban '¿Cómo definiremos 1 − 1 + 1...?' sino '¿Qué es 1 − 1 + 1...?', y que este hábito mental los llevó a perplejidades y controversias innecesarias que a menudo eran realmente verbales.

GH Hardy, Serie Divergente, página 6

Antes del siglo XIX, Leonhard Euler y otros utilizaban ampliamente las series divergentes , pero a menudo conducían a resultados confusos y contradictorios. Un problema importante fue la idea de Euler de que cualquier serie divergente debería tener una suma natural, sin definir primero qué se entiende por suma de una serie divergente. Augustin-Louis Cauchy finalmente dio una definición rigurosa de la suma de una serie (convergente), y durante algún tiempo después, las series divergentes fueron en su mayoría excluidas de las matemáticas. Reaparecieron en 1886 con el trabajo de Henri Poincaré sobre series asintóticas. En 1890, Ernesto Cesàro se dio cuenta de que se podía dar una definición rigurosa de la suma de algunas series divergentes, y definió la suma de Cesàro . (Este no fue el primer uso de la suma de Cesàro, que fue utilizada implícitamente por Ferdinand Georg Frobenius en 1880; la contribución clave de Cesàro no fue el descubrimiento de este método, sino su idea de que se debe dar una definición explícita de la suma de una serie divergente. .) En los años posteriores al artículo de Cesàro, varios otros matemáticos dieron otras definiciones de la suma de una serie divergente, aunque no siempre son compatibles: diferentes definiciones pueden dar diferentes respuestas para la suma de la misma serie divergente; entonces, cuando se habla de la suma de una serie divergente, es necesario especificar qué método de suma se está utilizando.

Ejemplos

• 1 - 1 + 1 - 1 + ⋯ ${\displaystyle {\text{ “ = ” }}{\frac {1}{2}}}$
• 1 − 2 + 3 − 4 + ⋯ ${\displaystyle {\text{ “ = ” }}{\frac {1}{4}}}$
• 1 − 1 + 2 − 6 + 24 − 120 + ⋯ ${\displaystyle {\text{ “ = ” }}\!\!\int _{0}^{\infty }{\frac {e^{-x}}{1+x}}\,dx\approx 0.596\,347\ldots }$
• 1 − 2 + 4 − 8 + ⋯ ${\displaystyle {\text{ “ = ” }}{\frac {1}{3}}}$
• 1 + 2 + 4 + 8 + ⋯ ${\displaystyle {\text{ “ = ” }}-1}$
• 1 + 1 + 1 + 1 + ⋯ ${\displaystyle {\text{ “ = ” }}-{\frac {1}{2}}}$
• 1 + 2 + 3 + 4 + ⋯ ${\displaystyle {\text{ “ = ” }}-{\frac {1}{12}}}$

Teoremas sobre métodos para sumar series divergentes

Un método de sumabilidad M es regular si concuerda con el límite real de todas las series convergentes . Tal resultado se denomina teorema abeliano para M , a partir del teorema prototípico de Abel . Más sutiles son los resultados inversos parciales, llamados teoremas de Tauber , de un prototipo demostrado por Alfred Tauber . Aquí la inversa parcial significa que si M suma la serie Σ y se cumple alguna condición lateral, entonces Σ era convergente en primer lugar; sin ninguna condición secundaria, tal resultado diría que M solo suma series convergentes (lo que lo hace inútil como método de suma para series divergentes).

La función que da la suma de una serie convergente es lineal , y del teorema de Hahn-Banach se deduce que puede extenderse a un método de suma que sume cualquier serie con sumas parciales acotadas. Esto se llama límite de Banach . Este hecho no es muy útil en la práctica, ya que existen muchas extensiones de este tipo, inconsistentes entre sí, y también porque demostrar que tales operadores existen requiere invocar el axioma de elección o sus equivalentes, como el lema de Zorn . Por tanto, no son constructivos.

El tema de las series divergentes, como dominio del análisis matemático , se ocupa principalmente de técnicas explícitas y naturales como la suma de Abel , la suma de Cesàro y la suma de Borel , y sus relaciones. La llegada del teorema tauberiano de Wiener marcó una época en el tema, introduciendo conexiones inesperadas con los métodos del álgebra de Banach en el análisis de Fourier .

La suma de series divergentes también está relacionada con los métodos de extrapolación y las transformaciones de secuencias como técnicas numéricas. Ejemplos de tales técnicas son las aproximantes de Padé , las transformaciones de secuencia de tipo Levin y los mapeos dependientes del orden relacionados con técnicas de renormalización para la teoría de perturbaciones de orden grande en mecánica cuántica .

Propiedades de los métodos de suma.

Los métodos de suma normalmente se concentran en la secuencia de sumas parciales de la serie. Si bien esta secuencia no converge, a menudo podemos encontrar que cuando tomamos un promedio de números cada vez mayores de términos iniciales de la secuencia, el promedio converge, y podemos usar este promedio en lugar de un límite para evaluar la suma de la serie. . Un método de suma puede verse como una función de un conjunto de secuencias de sumas parciales a valores. Si A es cualquier método de suma que asigna valores a un conjunto de secuencias, podemos traducir esto mecánicamente a un método de suma de series A ^Σ que asigna los mismos valores a la serie correspondiente. Hay ciertas propiedades que es deseable que posean estos métodos si quieren llegar a valores correspondientes a límites y sumas, respectivamente.

• Regularidad . Un método de suma es regular si, siempre que la secuencia s converge a x , A ( s ) = x . De manera equivalente, el método de suma de series correspondiente evalúa A ^Σ ( a ) = x .
• Linealidad . A es lineal si es un funcional lineal en las secuencias donde está definido, de modo que A ( k r + s ) = k A ( r ) + A ( s ) para secuencias r , s y un escalar real o complejo k . Dado que los términos a _{n +1} = s _{n +1} − s _n de la serie a son funcionales lineales en la secuencia s y viceversa, esto equivale a que A ^Σ sea un funcional lineal en los términos de la serie.
• Estabilidad (también llamada translatividad ). Si s es una secuencia que comienza desde s ₀ y s ′ es la secuencia obtenida al omitir el primer valor y restarlo del resto, de modo que s ′ _n = s _{n +1} − s ₀ , entonces A ( s ) se define si y solo si se define A ( s ′), y A ( s ) = s ₀ + A ( s ′). De manera equivalente, siempre que a ′ _n = a _{n +1} para todo n , entonces A ^Σ ( a ) = a ₀ + A ^Σ ( a ′). ^{[1] [2]} Otra forma de decir esto es que la regla de desplazamiento debe ser válida para las series que son sumables mediante este método.

La tercera condición es menos importante y algunos métodos importantes, como la suma de Borel , no la poseen. ^[3]

También se puede dar una alternativa más débil a la última condición.

• Reindexabilidad finita . Si a y a ′ son dos series tales que existe una biyección tal que a _i = a ′ _{f ( i )} para todo i , y si existe alguna tal que a _i = a ′ _i para todo i  >  N , entonces A ^Σ ( a ) = A ^Σ ( a ′). (En otras palabras, a ′ es la misma serie que a , con sólo un número finito de términos reindexados). Esta es una condición más débil que la estabilidad , porque cualquier método de suma que exhiba estabilidad también exhibe una reindexabilidad finita , pero lo contrario es no es verdad.) ${\displaystyle f:\mathbb {N} \rightarrow \mathbb {N} }$ ${\displaystyle N\in \mathbb {N} }$

Una propiedad deseable para que dos métodos de suma distintos, A y B, compartan es la coherencia : A y B son consistentes si para cada secuencia s a la que ambos asignan un valor, A ( s ) = B ( s ). (Usando este lenguaje, un método de suma A es regular si y sólo si es consistente con la suma estándar Σ ). Si dos métodos son consistentes y uno suma más series que el otro, el que suma más series es más fuerte .

Existen poderosos métodos de suma numérica que no son ni regulares ni lineales, por ejemplo, transformaciones de secuencia no lineales como las transformaciones de secuencia de tipo Levin y las aproximantes de Padé , así como los mapeos dependientes del orden de series perturbativas basadas en técnicas de renormalización .

Tomando como axiomas la regularidad, la linealidad y la estabilidad, es posible sumar muchas series divergentes mediante manipulaciones algebraicas elementales. Esto explica en parte por qué muchos métodos de suma diferentes dan la misma respuesta para determinadas series.

Por ejemplo, siempre que r ≠ 1, la serie geométrica

${\displaystyle {\begin{aligned}G(r,c)&=\sum _{k=0}^{\infty }cr^{k}&&\\&=c+\sum _{k=0}^{\infty }cr^{k+1}&&{\text{ (stability) }}\\&=c+r\sum _{k=0}^{\infty }cr^{k}&&{\text{ (linearity) }}\\&=c+r\,G(r,c),&&{\text{ hence }}\\G(r,c)&={\frac {c}{1-r}},{\text{ unless it is infinite}}&&\\\end{aligned}}}$

se puede evaluar independientemente de la convergencia. Más rigurosamente, cualquier método de suma que posea estas propiedades y que asigne un valor finito a la serie geométrica debe asignar este valor. Sin embargo, cuando r es un número real mayor que 1, las sumas parciales aumentan sin límite y los métodos de promediación asignan un límite de infinito.

Métodos de suma clásicos

Los dos métodos clásicos de suma de series, la convergencia ordinaria y la convergencia absoluta, definen la suma como un límite de ciertas sumas parciales. Estos se incluyen sólo para que estén completos; estrictamente hablando, no son verdaderos métodos de suma para series divergentes ya que, por definición, una serie es divergente sólo si estos métodos no funcionan. La mayoría, pero no todos, los métodos de suma para series divergentes extienden estos métodos a una clase más amplia de secuencias.

Convergencia absoluta

La convergencia absoluta define la suma de una secuencia (o conjunto) de números como el límite de la red de todas las sumas parciales a _{k 1} + ... + a _{k n} , si existe. No depende del orden de los elementos de la secuencia, y un teorema clásico dice que una secuencia es absolutamente convergente si y sólo si la secuencia de valores absolutos es convergente en el sentido estándar.

suma de una serie

La definición clásica de Cauchy de la suma de una serie a ₀ + a ₁ + ... define la suma como el límite de la secuencia de sumas parciales a ₀ + ... + a _n . Esta es la definición predeterminada de convergencia de una secuencia.

Nørlund significa

Supongamos que p _n es una secuencia de términos positivos, comenzando desde p ₀ . Supongamos también que

${\displaystyle {\frac {p_{n}}{p_{0}+p_{1}+\cdots +p_{n}}}\rightarrow 0.}$

Si ahora transformamos una secuencia s usando p para dar medias ponderadas, estableciendo

${\displaystyle t_{m}={\frac {p_{m}s_{0}+p_{m-1}s_{1}+\cdots +p_{0}s_{m}}{p_{0}+p_{1}+\cdots +p_{m}}}}$

entonces el límite de t _n cuando n llega al infinito es un promedio llamado media de Nørlund N _p ( s ).

La media de Nørlund es regular, lineal y estable. Además, dos medias cualesquiera de Nørlund son consistentes.

Suma Cesàro

Los más significativos de los medios de Nørlund son las sumas de Cesàro. Aquí, si definimos la secuencia p ^k por

${\displaystyle p_{n}^{k}={n+k-1 \choose k-1}}$

entonces la suma de Cesàro C _k está definida por C _k ( s ) = N _{( p ^k )} ( s ). Las sumas de Cesàro son medias de Nørlund si k ≥ 0 y, por tanto, son regulares, lineales, estables y consistentes. C ₀ es sumatoria ordinaria y C _{1 es} sumatoria ordinaria de Cesàro . Las sumas de Cesàro tienen la propiedad de que si h > k , entonces C _h es más fuerte que C _k .

Abeliano significa

Supongamos que λ = { λ ₀ , λ ₁ , λ ₂ ,... } es una secuencia estrictamente creciente que tiende hacia el infinito, y que λ ₀ ≥ 0 . Suponer

${\displaystyle f(x)=\sum _{n=0}^{\infty }a_{n}e^{-\lambda _{n}x}}$

converge para todos los números reales x  > 0. Entonces la media abeliana A _λ se define como

${\displaystyle A_{\lambda }(s)=\lim _{x\rightarrow 0^{+}}f(x).}$

De manera más general, si la serie para f solo converge para x grande pero puede continuar analíticamente para todos los x reales positivos , entonces aún se puede definir la suma de la serie divergente por el límite anterior.

Una serie de este tipo se conoce como serie de Dirichlet generalizada ; En aplicaciones a la física, esto se conoce como método de regularización del núcleo de calor .

Las medias abelianas son regulares y lineales, pero no estables y no siempre consistentes entre diferentes elecciones de λ . Sin embargo, algunos casos especiales son métodos de suma muy importantes.

resumen de abel

Si λ _n = n , entonces obtenemos el método de suma de Abel . Aquí

${\displaystyle f(x)=\sum _{n=0}^{\infty }a_{n}e^{-nx}=\sum _{n=0}^{\infty }a_{n}z^{n},}$

donde z  = exp(- x ). Entonces el límite de f ( x ) cuando x tiende a 0 a través de reales positivos es el límite de la serie de potencias para f ( z ) cuando z tiende a 1 desde abajo a través de reales positivos, y la suma de Abel A ( s ) se define como

${\displaystyle A(s)=\lim _{z\rightarrow 1^{-}}\sum _{n=0}^{\infty }a_{n}z^{n}.}$

La suma de Abel es interesante en parte porque es consistente con la suma de Cesàro , pero más poderosa : A ( s ) = C _k ( s ) siempre que se defina esta última. Por tanto, la suma de Abel es regular, lineal, estable y consistente con la suma de Cesàro.

Suma de Lindelöf

Si λ _n = n log( n ) , entonces (indexando desde uno) tenemos

${\displaystyle f(x)=a_{1}+a_{2}2^{-2x}+a_{3}3^{-3x}+\cdots .}$

Entonces L ( s ), la suma de Lindelöf (Volkov 2001), es el límite de f ( x ) cuando x tiende a cero positivo. La suma de Lindelöf es un método poderoso cuando se aplica a series de potencias, entre otras aplicaciones, sumando series de potencias en la estrella Mittag-Leffler .

Si g ( z ) es analítico en un disco alrededor de cero y, por tanto, tiene una serie de Maclaurin G ( z ) con un radio de convergencia positivo, entonces L ( G ( z )) = g ( z ) en la estrella Mittag-Leffler. Además, la convergencia a g ( z ) es uniforme en subconjuntos compactos de la estrella.

Continuación analítica

Varios métodos de suma implican tomar el valor de una continuación analítica de una función.

Continuación analítica de series de potencias.

Si Σ a _n x ⁿ converge para un complejo pequeño x y puede continuar analíticamente a lo largo de algún camino desde x  = 0 hasta el punto x  = 1, entonces la suma de la serie se puede definir como el valor en x  = 1. Este valor puede depender de la elección del camino. Uno de los primeros ejemplos de sumas potencialmente diferentes para una serie divergente, utilizando continuación analítica, lo dio Callet, ^[4] quien observó que si entonces ${\displaystyle 1\leq m<n}$

${\displaystyle {\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 }$

Evaluando en , se obtiene ${\displaystyle x=1}$

${\displaystyle 1-1+1-1+\dots ={\frac {m}{n}}.}$

Sin embargo, las lagunas en la serie son clave. Por ejemplo, en realidad obtendríamos ${\displaystyle m=1,n=3}$

${\displaystyle 1-1+0+1-1+0+1-1+\dots ={\frac {1}{3}}}$, por lo que diferentes sumas corresponden a diferentes ubicaciones de las 's. ${\displaystyle 0}$

Otro ejemplo de continuación analítica es la serie alterna divergente , que es una suma de productos de funciones - y símbolos de Pochhammer . Usando la fórmula de duplicación de la función, se reduce a una serie hipergeométrica generalizada. ${\displaystyle \sum _{k\geq 0}(-1)^{k+1}{\frac {1}{2k-1}}{\binom {2k}{k}}=1+2-2+4-10+28-84+264-858+2860-9724+\cdots }$ ${\displaystyle \Gamma }$ ${\displaystyle \Gamma }$ ${\displaystyle \ldots =\sum _{k\geq 0}(-4)^{k}{\frac {(-1/2)_{k}}{k!}}={}_{1}F_{0}(-1/2;;-4)={\sqrt {5}}.}$

suma de euler

La suma de Euler es esencialmente una forma explícita de continuación analítica. Si una serie de potencias converge para z complejos pequeños y puede continuar analíticamente hasta el disco abierto con diámetro de−1/q  + 1a 1 y es continua en 1, entonces su valor en q se llama suma de Euler o (E, q ) de la serie Σ a _n . Euler lo usó antes de que se definiera la continuación analítica en general y dio fórmulas explícitas para las series de potencias de la continuación analítica.

La operación de suma de Euler se puede repetir varias veces, y esto es esencialmente equivalente a tomar una continuación analítica de una serie de potencias hasta el punto  z  = 1.

Continuación analítica de la serie de Dirichlet.

Este método define la suma de una serie como el valor de la continuación analítica de la serie de Dirichlet.

${\displaystyle f(s)={\frac {a_{1}}{1^{s}}}+{\frac {a_{2}}{2^{s}}}+{\frac {a_{3}}{3^{s}}}+\cdots }$

en s  = 0, si existe y es único. Este método a veces se confunde con la regularización de la función zeta.

Si s  = 0 es una singularidad aislada, la suma está definida por el término constante de la expansión de la serie de Laurent.

Regularización de la función Zeta

si la serie

${\displaystyle f(s)={\frac {1}{a_{1}^{s}}}+{\frac {1}{a_{2}^{s}}}+{\frac {1}{a_{3}^{s}}}+\cdots }$

(para valores positivos de a _n ) converge para s reales grandes y puede continuar analíticamente a lo largo de la línea real hasta s  = −1, entonces su valor en s  = −1 se llama suma zeta regularizada de la serie a ₁  +  a ₂  +... La regularización de la función Zeta no es lineal. En aplicaciones, los números a _i son a veces los valores propios de un operador autoadjunto A con resolutivo compacto, y f ( s ) es entonces la traza de A ^{− s} . Por ejemplo, si A tiene valores propios 1, 2, 3,... entonces f ( s ) es la función zeta de Riemann , ζ ( s ), cuyo valor en s  = −1 es −1/12, asignando un valor a la serie divergente 1 + 2 + 3 + 4 + ... . También se pueden utilizar otros valores de s para asignar valores a las sumas divergentes ζ (0) = 1 + 1 + 1 + ... = −1/2, ζ (−2) = 1 + 4 + 9 + ... = 0 y en general

${\displaystyle \zeta (-s)=\sum _{n=1}^{\infty }n^{s}=1^{s}+2^{s}+3^{s}+\cdots =-{\frac {B_{s+1}}{s+1}}\,,}$

donde B _k es un número de Bernoulli . ^[5]

Función integral significa

Si J ( x ) = Σ p _n x ⁿ es una función integral, entonces la J suma de la serie a ₀  + ... se define como

${\displaystyle \lim _{x\rightarrow \infty }{\frac {\sum _{n}p_{n}(a_{0}+\cdots +a_{n})x^{n}}{\sum _{n}p_{n}x^{n}}},}$

si este límite existe.

Existe una variación de este método donde la serie para J tiene un radio de convergencia finito r y diverge en x  =  r . En este caso se define la suma como arriba, excepto que se toma el límite cuando x tiende a r en lugar de infinito.

Suma de Borel

En el caso especial cuando J ( x ) =  e ^x esto da una forma (débil) de suma de Borel .

El método de Valiron

El método de Valiron es una generalización de la suma de Borel a ciertas funciones integrales más generales J. Valiron demostró que bajo ciertas condiciones equivale a definir la suma de una serie como

${\displaystyle \lim _{n\rightarrow +\infty }{\sqrt {\frac {H(n)}{2\pi }}}\sum _{h\in Z}e^{-{\frac {1}{2}}h^{2}H(n)}(a_{0}+\cdots +a_{h})}$

donde H es la segunda derivada de G y c ( n ) =  e ^{− G ( n )} , y a ₀  + ... +  a _h debe interpretarse como 0 cuando  h  < 0.

Métodos de momento

Supongamos que dμ es una medida sobre la recta real tal que todos los momentos

${\displaystyle \mu _{n}=\int x^{n}\,d\mu }$

son finitos. Si a ₀  +  a ₁  +... es una serie tal que

${\displaystyle a(x)={\frac {a_{0}x^{0}}{\mu _{0}}}+{\frac {a_{1}x^{1}}{\mu _{1}}}+\cdots }$

converge para todo x en el soporte de μ , entonces la suma ( dμ ) de la serie se define como el valor de la integral

${\displaystyle \int a(x)\,d\mu }$

si está definido. (Si los números μ _n aumentan demasiado rápido, entonces no determinan de forma única la medida μ ).

Suma de Borel

Por ejemplo, si dμ  =  e ^{− x}  dx para x positivo y 0 para x negativo, entonces μ _n  =  n !, y esto da una versión de la suma de Borel , donde el valor de una suma está dado por

${\displaystyle \int _{0}^{\infty }e^{-t}\sum {\frac {a_{n}t^{n}}{n!}}\,dt.}$

Existe una generalización de esto dependiendo de una variable α , llamada suma (B′, α ), donde la suma de una serie a ₀  + ... se define como

${\displaystyle \int _{0}^{\infty }e^{-t}\sum {\frac {a_{n}t^{n\alpha }}{\Gamma (n\alpha +1)}}\,dt}$

si esta integral existe. Una generalización adicional es reemplazar la suma bajo la integral por su continuación analítica desde  t pequeña .

Varios métodos

Suma hiperreal de BGN

Este método de suma funciona utilizando una extensión de los números reales conocida como números hiperreales . Dado que los números hiperreales incluyen valores infinitos distintos, estos números se pueden utilizar para representar los valores de series divergentes. El método clave es designar un valor infinito particular que se está sumando, generalmente , que se utiliza como unidad de infinito. En lugar de sumar hasta un infinito arbitrario (como se suele hacer con ), el método BGN suma hasta el valor infinito hiperreal específico etiquetado . Por lo tanto, las sumatorias son de la forma ${\displaystyle \omega }$ ${\displaystyle \infty }$ ${\displaystyle \omega }$

${\displaystyle \sum _{x=1}^{\omega }f(x)}$

Esto permite el uso de fórmulas estándar para series finitas, como progresiones aritméticas, en un contexto infinito. Por ejemplo, usando este método, la suma de la progresión es , o, usando solo la parte hiperreal infinita más significativa ,. ^[6] ${\displaystyle 1+2+3+\ldots }$ ${\displaystyle {\frac {\omega ^{2}}{2}}+{\frac {\omega }{2}}}$ ${\displaystyle {\frac {\omega ^{2}}{2}}}$

transformaciones de Hausdorff

Hardy (1949, capítulo 11).

Suma del titular

El método de Hutton.

En 1812, Hutton introdujo un método para sumar series divergentes comenzando con la secuencia de sumas parciales y aplicando repetidamente la operación de reemplazar una secuencia  s ₀ ,  s ₁ , ... por la secuencia de promedios.s ₀  +  s ₁/2,s ₁  +  s ₂/2, ..., y luego tomando el límite (Hardy 1949, p. 21).

sumabilidad de Ingham

La serie a ₁  +... se llama Ingham sumable a s si

${\displaystyle \lim _{x\rightarrow \infty }\sum _{1\leq n\leq x}a_{n}{\frac {n}{x}}\left[{\frac {x}{n}}\right]=s.}$

Albert Ingham demostró que si δ es cualquier número positivo entonces (C,− δ ) (Cesàro) sumabilidad implica sumabilidad de Ingham, y sumabilidad de Ingham implica sumabilidad (C, δ ) Hardy (1949, Apéndice II).

sumabilidad de Lambert

La serie a ₁  +... se llama Lambert sumable a s si

${\displaystyle \lim _{y\rightarrow 0^{+}}\sum _{n\geq 1}a_{n}{\frac {nye^{-ny}}{1-e^{-ny}}}=s.}$

Si una serie es (C, k ) (Cesàro) sumable para cualquier k entonces es sumable por Lambert al mismo valor, y si una serie es sumable por Lambert entonces es sumable por Abel Hardy (1949, Apéndice II).

Resumen de Le Roy

La serie a ₀  + ... se llama Le Roy ^{[ cita necesaria ]} sumable a s si

${\displaystyle \lim _{\zeta \rightarrow 1^{-}}\sum _{n}{\frac {\Gamma (1+\zeta n)}{\Gamma (1+n)}}a_{n}=s.}$

Resistente (1949, 4.11)

Resumen de Mittag-Leffler

La serie a ₀  +... se llama Mittag-Leffler (M) sumable a s si

${\displaystyle \lim _{\delta \rightarrow 0}\sum _{n}{\frac {a_{n}}{\Gamma (1+\delta n)}}=s.}$

Resistente (1949, 4.11)

resumen de ramanujan

La suma de Ramanujan es un método para asignar un valor a series divergentes utilizado por Ramanujan y basado en la fórmula de suma de Euler-Maclaurin . La suma de Ramanujan de una serie f (0) + f (1) + ... depende no sólo de los valores de f en números enteros, sino también de los valores de la función f en puntos no integrales, por lo que en realidad no es una método de suma en el sentido de este artículo.

sumabilidad de Riemann

La serie a ₁  + ... se llama (R, k ) (o Riemann) sumable a s si

${\displaystyle \lim _{h\rightarrow 0}\sum _{n}a_{n}\left({\frac {\sin nh}{nh}}\right)^{k}=s.}$

Hardy (1949, 4.17) La serie a ₁  + ... se llama R ₂ sumable a s si

${\displaystyle \lim _{h\rightarrow 0}{\frac {2}{\pi }}\sum _{n}{\frac {\sin ^{2}nh}{n^{2}h}}(a_{1}+\cdots +a_{n})=s.}$

Riesz significa

Si λ _n forma una secuencia creciente de números reales y

${\displaystyle A_{\lambda }(x)=a_{0}+\cdots +a_{n}{\text{ for }}\lambda _{n}<x\leq \lambda _{n+1}}$

entonces la suma de Riesz (R, λ , κ ) de la serie a ₀  + ... se define como

${\displaystyle \lim _{\omega \rightarrow \infty }{\frac {\kappa }{\omega ^{\kappa }}}\int _{0}^{\omega }A_{\lambda }(x)(\omega -x)^{\kappa -1}\,dx.}$

Sumabilidad de Vallée-Poussin

La serie a ₁  +... se llama VP (o Vallée-Poussin) sumable a s si

${\displaystyle \lim _{m\rightarrow \infty }\sum _{k=0}^{m}a_{k}{\frac {[\Gamma (m+1)]^{2}}{\Gamma (m+1-k)\,\Gamma (m+1+k)}}=\lim _{m\rightarrow \infty }\left[a_{0}+a_{1}{\frac {m}{m+1}}+a_{2}{\frac {m(m-1)}{(m+1)(m+2)}}+\cdots \right]=s,}$

¿Dónde está la función gamma? Resistente (1949, 4.17). ${\displaystyle \Gamma (x)}$

Ver también

• Teorema de Silverman-Toeplitz

Notas

1. "Métodos de suma". Numéricana de Michón .
2. "Tralatividad". La Enciclopedia de Matemáticas . Saltador.
3. Muraev, EB (1978), "Suma de Borel de n -series múltiples y funciones completas asociadas con ellas", Akademiya Nauk SSSR , 19 (6): 1332–1340, 1438, MR  0515185. Muraev observa que la suma de Borel es traslativa en una de las dos direcciones: aumentar una serie con un cero colocado al inicio no cambia la sumabilidad o el valor de la serie. Sin embargo, afirma que "lo contrario es falso".
4. Resistente 1949, pag. 14.
5. Tao, Terence (10 de abril de 2010). "La fórmula de Euler-Maclaurin, los números de Bernoulli, la función zeta y la continuación analítica de variables reales".
6. Bartlett, Jonathan; Gaastra, Logan; Nemati, David (enero de 2020). "Números hiperrealistas para series infinitas divergentes". Comunicaciones del Instituto Blyth . 2 (1): 7–15. arXiv : 1804.11342 . doi :10.33014/issn.2640-5652.2.1.bartlett-et-al.1. S2CID  119665957.

Referencias

• Arteca, Georgia; Fernández, FM; Castro, EA (1990), Teoría de la perturbación de orden grande y métodos de suma en mecánica cuántica , Berlín: Springer-Verlag.
• Baker, Jr., Georgia; Graves-Morris, P. (1996), Aproximaciones de Padé , Cambridge University Press.
• Brezinski, C.; Redivo Zaglia, M. (1991), Métodos de extrapolación. Teoría y práctica , Holanda Septentrional.
• Hardy, GH (1949), Serie Divergente, Oxford: Clarendon Press.
• LeGuillou, J.-C.; Zinn-Justin, J. (1990), Teoría de la perturbación del comportamiento de orden grande , Amsterdam: Holanda Septentrional.
• Volkov, II (2001) [1994], "Método de suma de Lindelöf", Enciclopedia de Matemáticas , EMS Press.
• Zakharov, AA (2001) [1994], "Método de suma de Abel", Enciclopedia de Matemáticas , EMS Press.
• "Método de suma de Riesz", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Werner Balser: "De las series de potencias divergentes a las funciones analíticas", Springer-Verlag, LNM 1582, ISBN 0-387-58268-1 (1994).
• William O. Bray y Časlav V. Stanojević (Eds.): "Análisis de divergencia", Springer, ISBN 978-1-4612-7467-4 (1999).
• Alexander I. Saichev y Wojbor Woyczynski: "Distribuciones en las ciencias físicas y de la ingeniería, Volumen 1", Capítulo 8 "Suma de series divergentes e integrales", Springer (2018).