1 + 2 + 3 + 4 + ⋯

Prueba animada de la fórmula que da la suma de los n primeros números enteros Plantilla:Nowrap.

Las primeras cuatro sumas parciales de la serie Plantilla:Nowrap. La parábola es su asíntota "suavizada"; su cruce con el eje y es infinito.

La suma infinita cuyos términos son los números naturales Plantilla:Nowrap es una serie divergente. La n-ésima suma parcial de la serie es el número triangular

$\sum _{k=1}^{n}k=\frac{n(n+1)}{2},$

que incrementa sin límite mientras n tiende al infinito. Ya que la sucesión de sumas parciales no converge a un límite finito, la serie no tiene una suma.

Aunque a primera vista parece que la serie no tiene ningún valor significativo, puede ser manipulada para producir varios resultados matemáticamente interesantes, algunos de los cuales tienen aplicaciones en otras áreas como el análisis complejo, la teoría cuántica de campos y la teoría de cuerdas. Varios métodos de suma se usan en matemáticas para asignarle valores numéricos a series divergentes. En particular, los métodos de regularización de la función zeta y el sumatorio de Ramanujan le asignan un valor de Plantilla:Sfrac, que está expresado por una fórmula famosa:

$1+2+3+4+\cdots =-\frac{1}{12}$

donde el lado izquierdo debe interpretarse como el valor obtenido utilizando uno de los métodos de suma antes mencionados y no como la suma de una serie infinita en su significado habitual. Estos métodos tienen aplicaciones en otros campos como el análisis complejo, la teoría cuántica de campos y la teoría de cuerdas.

En una monografía sobre la teoría moonshine, el matemático Terry Gannon, de la Universidad de Alberta, califica esta ecuación de "una de las fórmulas más notables de la ciencia".

Sumas parciales

Los primeros seis números triangulares

Las sumas parciales de la serie Plantilla:Nowrap son Plantilla:Nowrap, etc. La n-ésima suma parcial está dada por una fórmula simple:

$\sum _{k=1}^{n}k=\frac{n(n+1)}{2}.$

Esta ecuación ya era conocida por los Pitagóricos desde al menos el Plantilla:Siglo. Los números que cumplen esta forma se llaman números triangulares porque pueden ser acomodados para formar un triángulo equilátero.

La sucesión infinita de números triangulares diverge hacia +∞, así que por definición la serie infinita Plantilla:Nowrap también diverge a +∞. La divergencia es una simple consecuencia de la forma de la serie: los términos no se acercan a cero, así que la serie diverge por el test del término.

Sumabilidad

Entre las series clásicas divergentes, Plantilla:Nowrap es relativamente difícil de manipular hacia un valor finito. Muchos métodos de suma se usan para asignar valores numéricos a las series divergentes, algunos son más poderosos que otros. Por ejemplo, la sumación de Cesàro es un método reconocido que suma la serie de Grandi, la serie levemente divergente Plantilla:Nowrap, a Plantilla:Sfrac. La suma de Abel es un método más poderoso que no solo suma la serie de Grandia a Plantilla:Sfrac, sino que también suma la serie más compleja Plantilla:Nowrap a Plantilla:Sfrac.

A diferencia de las series anteriores, Plantilla:Nowrap no se puede sumar a través de la sumación de Cesàro ni la de Abel. Esos métodos funcionan en series divergentes que oscilan, pero no pueden producir una respuesta finita para series que divergen a +∞. La mayoría de las definiciones más elementales de la suma de una serie divergente son estables y lineales, y cualquier método que es tanto estable y lineal no puede sumar Plantilla:Nowrap a un valor finito; véase más abajo. Se requieren métodos más avanzados, como la regularización de la función zeta o el sumatorio de Ramanujan. También es posible argumentar el valor de −Plantilla:Sfrac usando heurísticas grosso modo relacionadas con estos métodos.

Heurística

Un pasaje del primer cuaderno de Ramanujan, describiendo la "constante" de la serie

Srinivasa Ramanujan presentó dos derivaciones de "Plantilla:Nowrap" en el capítulo 8 de su primer cuaderno. la derivación más simple y menos rigurosa ocurre en dos pasos, de la siguiente forma.

La primera intuición clave es que la serie de números positivos Plantilla:Nowrap es parecida a la serie alternada Plantilla:Nowrap. La última serie también es divergente, pero es más fácil trabajar con ella; hay varios métodos clásicos que le asignan un valor, que han sido explorados desde el siglo Plantilla:Versalitas.

A fin de transformar la serie Plantilla:Nowrap en Plantilla:Nowrap, es posible restarle 4 al segundo término, 8 al cuarto término, 12 al sexto término, y continuar. La cantidad total que debe ser restada es Plantilla:Nowrap, que es 4 veces la serie original. Estas relaciones pueden ser expresadas con un poco de álgebra. Cualquiera que sea la "suma" de la serie, se puede llamar Plantilla:Nowrap Entonces, se multiplica esta ecuación por 4 y se resta la segunda ecuación de la primera:

$\begin{array}{ccccccc}c& =& 1+2& & +3+4& & +5+6+\cdots \\ 4c& =& 4& & +8& & +12+\cdots \\ -3c& =& 1-2& & +3-4& & +5-6+\cdots \\ \end{array}$

La segunda intuición clave es que la serie alternada Plantilla:Nowrap es la expansión formal de la serie de potencias de la función Plantilla:Sfrac, donde x se define como 1. De acuerdo con esto, escribe Ramanujan:

$-3c=1-2+3-4+\cdots =\frac{1}{(1+1{)}^2}=\frac{1}{4}$

Al dividir ambos lados por -3, se obtiene c = −Plantilla:Sfrac.

Hablando de forma general, es incorrecto manipular series infinitas como si fueran sumas finitas. Por ejemplo, si se insertaran ceros en posiciones arbitrarias de una serie divergente, es posible llegar a resultados que no son consistentes consigo mismos, menos aún con otros métodos. En particular, el paso Plantilla:Nowrap no está justificado por la ley de la identidad aditiva. Como ejemplo extremo, añadir un solo cero al inicio de la serie puede llevar a resultados inconsistentes.

Una forma de remediar esta situación, y de limitar los sitios donde se pueden insertar los ceros, es llevar un registro de cada término en la serie al adjuntar una dependencia sobre alguna función.Plantilla:Refn En la serie Plantilla:Nowrap, cada término n es solo un número. Si el término n es "promovido" a una función n^−s, donde s es una variable compleja, entonces se puede asegurar que solo se añaden términos similares. La serie resultante puede ser manipulada con mayor rigor, y la variable s puede ser definida como −1 después. La implementación de esta estrategia se conoce como regularización de la función zeta.

Regularización de la función zeta

Gráfica de ζ(s). Para Plantilla:Nowrap, la serie converge y Plantilla:Nowrap. La continuación analítica alrededor del polo en Plantilla:Nowrap lleva a una región de valores negativos, incluyendo Plantilla:Nowrap

En la regularización de la función zeta, la serie $\sum _{n=1}^{\mathrm{\infty }}n$ es reemplazada por la serie $\sum _{n=1}^{\mathrm{\infty }}{n}^{-s}$. La segunda serie es ejemplo de una serie de Dirichlet. Cuando la parte real de s es mayor que 1, la serie Dirichlet converge, y su suma es la función zeta de Riemann ζ(s). Por otra parte, la serie de Dirichlet diverge cuando la parte real de s es menor que o igual a 1, así que, en particular, la serie Plantilla:Nowrap que resulta de declarar s = –1 no converge. El beneficio de introducir la función zeta de Riemann es que puede ser definida para otros valores de s por continuación analítica. Entonces es posible definir la suma zeta regularizada de Plantilla:Nowrap para ser ζ(−1).

Desde este punto, hay varias formas de probar que Plantilla:Nowrap Un método, sobre las líneas de razonamiento de Euler, usa la relación entre la función zeta de Riemann y la función eta de Dirichlet η(s). La función zeta está definida por una serie alternada de Dirichlet, así que este método es paralelo a la heurística previa. Donde ambas series de Dirichlet converge, una tiene las identidades:

$\begin{array}{cccccccc}\zeta (s)& =& 1^{-s}+2^{-s}& & +3^{-s}+4^{-s}& & +5^{-s}+6^{-s}+\cdots & \\ 2\times 2^{-s}\zeta (s)& =& 2\times 2^{-s}& & +2\times 4^{-s}& & +2\times 6^{-s}+\cdots & \\ (1-2^{1-s})\zeta (s)& =& 1^{-s}-2^{-s}& & +3^{-s}-4^{-s}& & +5^{-s}-6^{-s}+\cdots & =\eta (s)\\ \end{array}$

La identidad $(1-2^{1-s})\zeta (s)=\eta (s)$ sigue siendo verdadera cuando ambas funciones se extienden por continuación analítica para incluir valores de s para los cuales la serie arriba mencionada diverge. Sustituyendo Plantilla:Nowrap, se obtiene Plantilla:Nowrap Ahora, calculando η(−1) es una tarea más sencilla, ya que la función eta es igual a la suma de Abel de las serie que la define,Plantilla:Rp que es un límite de un lado:

$-3\zeta (-1)=\eta (-1)=\underset{x\to 1^{-}}{\lim }(1-2x+3x^2-4x^3+\cdots )=\underset{x\to 1^{-}}{\lim }\frac{1}{(1+x{)}^2}=\frac{1}{4}$

Al dividir ambos lados por −3, se obtiene Plantilla:Nowrap

Regularización de corte

El comportamiento asintótico del "suavizado". El cruce de la parábola con el eje y es −Plantilla:Sfrac.

El método de regularización usando una función de corte puede "suavizar" la serie para llegar a −Plantilla:Sfrac. El "suavizado" es un puente conceptual entre la regularización de la función zeta, con su dependencia en el análisis complejo, y el sumatorio de Ramanujan, con su atajo a la fórmula de Euler-Maclaurin. En lugar de ello, el método opera directamente en transformaciones conservativas de la serie, usando métodos del análisis real.

La idea es reemplazar la serie discreta de mal comportamiento $\sum _{n=0}^{N}n$ con una versión suavizada

$\sum _{n=0}^{\mathrm{\infty }}nf\left(\frac{n}{N}\right)$,

donde f es una función de corte con propiedades apropiadas. La función de corte debe ser normalizada a Plantilla:Nowrap; esto es una normalización diferente a la usada en ecuaciones diferenciales. La función de corte debe tener suficientes derivadas acotadas para suavizar los picos o "arrugas" de la serie, y debería decaer a 0 más rápido que lo que crece la serie. Por conveniencia, se puede requerir que f sea una función continuamente diferenciable, acotada y con soporte compacto. Entonces se puede probar que esta suma continua es asintótica a Plantilla:Nowrap, donde C es una constante que depende de f. El término constante de la expansión asintótica no depende de f: es necesariamente el mismo valor dado por la continuación analítica, −Plantilla:Sfrac.

Sumatorio de Ramanujan

La suma de Ramanujan de Plantilla:Nowrap también es −Plantilla:Sfrac. Ramanujan escribió en su segunda carta a G. H. Hardy, con fecha del 27 de febrero de 1913:

El sumatorio de Ramanujan es un método para aislar el término constante en la fórmula de Euler-Maclaurin para la suma parcial de una serie. Para una función f, la suma clásica de Ramanujan para la serie $\sum _{k=1}^{\mathrm{\infty }}f(k)$ se define de la siguiente forma:

$c=-\frac{1}{2}f(0)-\sum _{k=1}^{\mathrm{\infty }}\frac{B_{2k}}{(2k)!}{f}^{(2k-1)}(0),$

donde f^(2k−1) es la (2k − 1)-ésima derivada de f y B_2k es el 2k-ésimo número de Bernoulli: Plantilla:Nowrap, Plantilla:Nowrap, y así sucesivamente. Estableciendo Plantilla:Nowrap, la primera derivada de f es 1, y todos los demás términos desaparecen, y entonces:

$c=-\frac{1}{6}\times \frac{1}{2!}=-\frac{1}{12}.$

Para evitar inconsistencias, la teoría moderna de sumas de Ramanujan requiere que f sea "regular" en el sentido que las derivadas de órdenes mayores de f decaigan lo suficientemente rápido para que el resto de los términos en la fórmula Euler-Maclaurin tiendan a 0. Ramanujan tácitamente asumió esta propiedad. El requisito de regularidad previene el uso de un sumatorio de Ramanujan sobre series espaciadas como Plantilla:Nowrap, porque no hay función regular que tome esos valores. En lugar de ello, una serie así debe ser interpretada por la regularización de la función zeta. Por esta razón, Hardy recomienda "gran precaución" al aplicar las sumas de Ramanujan de series conocidas para encontrar las sumas de series relacionadas.

Fracaso de los métodos estables de sumación lineal

Plantilla:Referencias Un método de sumación que es estable y lineal no puede sumar la serie Plantilla:Nowrap a ningún valor finito. (Estable quiere decir que añadir un término al inicio de la serie incrementa la suma por esa misma cantidad.) Esto se puede ver de la siguiente forma. Si

1 + 2 + 3 + ⋯ = x

entonces añadiendo 0 a ambos lados da

0 + 1 + 2 + ⋯ = 0 + x = x por estabilidad.

Por linearidad, uno puede sustraer la segunda ecuación de la primera para dar

1 + 1 + 1 + ⋯ = x – x = 0.

Añadiendo 0 a ambos lados de nuevo da

0 + 1 + 1 + 1 + ⋯ = 0,

y sustrayendo las últimas dos series da

1 + 0 + 0 + ⋯ = 0

lo cual contradice la estabilidad.

Los métodos arriba mencionados para sumar Plantilla:Nowrap No son ni estables ni lineales.

Física

En la teoría de cuerdas bosónica, el intento es computar los posibles niveles de energía de una cuerda, en particular la del nivel de energía más bajo. De manera informal, cada armónico de la cuerda se puede ver como una colección de D − 2 osciladores armónicos cuánticos, uno por cada dirección transversal, donde D es la dimensión del espacio-tiempo. Si la frecuencia fundamental de oscilación es ω entonces la energía en un oscilador que contribuye al n-ésimo armónico es Plantilla:Sfrac. Así que usando la serie divergente, la suma sobre todos los armónicos es −Plantilla:Sfrac. Últimamente es este hecho, combinado con el teorema de Goddard-Thorn, que lleva a la teoría de cuerdas bosónica a fracasar en ser consistente con dimensiones que no sean 26.

La regularización de Plantilla:Nowrap también está involucrada en el cálculo de la fuerza de Casimir para un campo escalar en una dimensión. Una función exponencial de corte es suficiente para normalizar la serie, representando el hecho de que los modos de energía arbitrariamente alta no están bloqueados por las placas de conducción. La simetría espacial del problema es responsable de cancelar el término cuadrático de la expansión. Todo lo que queda es el término constante −Plantilla:Sfrac, y el signo negativo de este resultado refleja el hecho de que la fuerza de Casimir es atractiva.

Un cálculo similar está involucrado en tres dimensiones, usando la función zeta de Epstein en lugar de la función zeta de Riemann.

Historia

No es claro si Leonhard Euler sumó la serie de −Plantilla:Sfrac. De acuerdo a Morris Kline, el trabajo temprano de Euler acerca de series divergentes se basaba en expansiones de funciones, de las cuales concluyó que Plantilla:Nowrap. De acuerdo a Raymond Ayoub, el hecho de que la serie divergente zeta no es sumable por el método de Abel evitó que Euler usara la función zeta tan libremente como la función eta, y "no pudo asignarle un significado" a la serie. Otros autores le dan a Euler el crédito de esta suma, sugiriendo que Euler habría extendido la relación entre las funciones zeta y eta a los números enteros negativos. En la literatura primaria, la serie Plantilla:Nowrap es mencionada en la publicación de Euler de De seriebus divergentibus junto a la serie geométrica divergente Plantilla:Nowrap. Euler sugiere que las series de este tipo tienen sumas finitas y negativas, y explica lo que esto quiere decir para las series geométricas, pero no regresa a discutir Plantilla:Nowrap. En la misma publicación, Euler escribe que la suma de Plantilla:Nowrap es infinita.

Otros medios

La novela de David Leavitt publicada en 2007, The Indian Clerk incluye una escena en la que Hardy y Littlewood discuten el significado de esta serie. Su conclusión es que Ramanujan ha redescubiertoζ(−1), y asumen que la frase acerca de un "asilo" en su segunda carta es una señal de que Ramanujan está solamente jugando con ellos.

La obra de 2007 de Simon McBurney, A Disappearing Number se enfoca en esta serie en la primera escena. La protagonista, Ruth, entra a un salón e introduce la idea de una serie divergente antes de proclamar "Voy a mostrarles algo realmente emocionante," que es Plantilla:Nowrap. Mientras Ruth se adentra en una derivación de la ecuación funcional de la función zeta, otro actor se dirige al público, admitiendo que son actores: "Pero las matemáticas son reales. Es terrorífico, pero es real."

En enero de 2014, Numberphile produjo un video de YouTube acerca de esta serie, la cual fue vista más de 1.5 millones de veces en su primer mes. El video de 8 minutos está narrado por Tony Padilla, un físico en la Universidad de Nottingham. Padilla comienza con Plantilla:Nowrap y Plantilla:Nowrap y relaciona esta última con Plantilla:Nowrap usando una resta término-por-término similar al argumento de Ramanujan. Numberphile también lanzó una versión de 21 minutos del video, con el físico de la Universidad de Nottingham Ed Copeland, quien describe con mayor detalle cómo Plantilla:Nowrap como una suma de Abel y Plantilla:Nowrap como ζ(−1). Después de que recibieron quejas sobre la falta de rigor en el primer video, Padilla también escribió una explicación en su página web en la que relaciona las manipulaciones en el video a identidades entre las continuaciones analíticas de las series de Dirichlet relevantes.

En la cobertura del New York Times acerca del video de Numberphile, el matemático Edward Frenkel comentó que "este cálculo es uno de los secretos mejor guardados de las matemáticas. Nadie fuera de ellas lo conoce."

La cobertura de este tema en la revista Smithsonian describe el video de Numberphile como engañoso, y anota que la interpretación de la suma como −Plantilla:Sfrac se basa en un significado especializado para el signo igual que, por las técnicas de continuación analítica, en la que igual que quiere decir está asociado con.

Suma término por término usada en el video de Numberphile
	S	=	1	+  2	+  3	+  4	+  5	+    6	+  7	+  8	+  …	=  ?
	S1	=	1	−  1	+  1	−  1	+  1	−    1	+  1	−  1	+  …	= Plantilla:Sfrac
	S2	=	1	−  2	+  3	−  4	+  5	−    6	+  7	−  8	+  …
	2S2	=	1	−  2	+  3	−  4	+  5	−    6	+  7	−  8	+  …
				+  1	−  2	+  3	−  4	+    5	−  6	+  7	+  …
		=	1	−  1	+  1	−  1	+  1	−    1	+  1	−  1	+  …	= Plantilla:Sfrac
											S2	= Plantilla:Sfrac
S  −	S2	=	1	+  2	+  3	+  4	+  5	+    6	+  7	+  8	+  …
		−	1	+  2	−  3	+  4	−  5	+    6	−  7	+  8	+  …
		=	0	+  4	+  0	+  8	+  0	+  12	+  0	+  16	+  …	= 4S
S – Plantilla:Sfrac = 4S   ⇒   S = – Plantilla:Sfrac

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro

Lecturas adicionales

• Plantilla:Cita publicación
• Plantilla:Cita libro See p. 293.
• Plantilla:Cita enciclopedia
• Plantilla:Obra citada

Enlaces externos

• Series divergentes en Wikiversidad Plantilla:En
• Lamb E. (2014), "Does 1+2+3… Really Equal –1/12?", Scientific American Blogs. Plantilla:En
• This Week's Finds in Mathematical Physics (Week 124), (Week 126), (Week 147), (Week 213) Plantilla:En
  • Euler’s Proof That 1 + 2 + 3 + ⋯ = −1/12 – by John Baez Plantilla:En
  • García Moreta, José Javier http://prespacetime.com/index.php/pst/article/view/498 The Application of Zeta Regularization Method to the Calculation of Certain Divergent Series and Integrals Refined Higgs, CMB from Planck, Departures in Logic, and GR Issues & Solutions vol 4 N.º 3 prespacetime journal http://prespacetime.com/index.php/pst/issue/view/41/showToc Plantilla:En
  • Plantilla:Cita web Plantilla:En
• The Euler-Maclaurin formula, Bernoulli numbers, the zeta function, and real-variable analytic continuation por Terence Tao Plantilla:En
• A recursive evaluation of zeta of negative integers by Luboš Motl Plantilla:En
• Enlace al video de Numberphile: 1 + 2 + 3 + 4 + 5 + ... = –1/12Numberphile Plantilla:En
  • Sum of Natural Numbers (second proof and extra footage) incluye una demostración del método de Euler. Plantilla:En
  • What do we get if we sum all the natural numbers? response to comments about video by Tony Padilla Plantilla:En
  • Artículo relacionado del New York Times Plantilla:En
  • Why –1/12 is a gold nugget Video de seguimiento con Edward Frenkel Plantilla:En
• Divergent Series: why 1 + 2 + 3 + ⋯ = −1/12 por Brydon Cais de la Universidad de Arizona Plantilla:En