1 + 2 + 3 + 4 + ⋯

The first four partial sums of the series Template:Nowrap. The parabola is their smoothed asymptote; its y-intercept is −1/12.

The infinite series whose terms are the natural numbers Template:Nowrap is a divergent series. The nth partial sum of the series is the triangular number

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

which increases without bound as n goes to infinity. Because the sequence of partial sums fails to converge to a finite limit, the series does not have a sum.

Although the series seems at first sight not to have any meaningful value at all, it can be manipulated to yield a number of different mathematical results. For example, many summation methods are used in mathematics to assign numerical values even to a divergent series. In particular, the methods of zeta function regularization and Ramanujan summation assign the series a value of Template:Sfrac, which is expressed by a famous formula:

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

where the left-hand side has to be interpreted as being the value obtained by using one of the aforementioned summation methods and not as the sum of an infinite series in its usual meaning. These methods have applications in other fields such as complex analysis, quantum field theory, and string theory.

In a monograph on moonshine theory, University of Alberta mathematician Terry Gannon calls this equation "one of the most remarkable formulae in science".

Partial sums

The first six triangular numbers

The partial sums of the series Template:Nowrap are Template:Nowrap, etc. The nth partial sum is given by a simple formula:

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

This equation was known to the Pythagoreans as early as the sixth century BCE. Numbers of this form are called triangular numbers, because they can be arranged as an equilateral triangle.

The infinite sequence of triangular numbers diverges to +∞, so by definition, the infinite series Template:Nowrap also diverges to +∞. The divergence is a simple consequence of the form of the series: the terms do not approach zero, so the series diverges by the term test.

Summability

Among the classical divergent series, Template:Nowrap is relatively difficult to manipulate into a finite value. Many summation methods are used to assign numerical values to divergent series, some more powerful than others. For example, Cesàro summation is a well-known method that sums Grandi's series, the mildly divergent series Template:Nowrap, to Template:Sfrac. Abel summation is a more powerful method that not only sums Grandi's series to Template:Sfrac, but also sums the trickier series Template:Nowrap to Template:Sfrac.

Unlike the above series, Template:Nowrap is not Cesàro summable nor Abel summable. Those methods work on oscillating divergent series, but they cannot produce a finite answer for a series that diverges to +∞.Template:Sfn Most of the more elementary definitions of the sum of a divergent series are stable and linear, and any method that is both stable and linear cannot sum Template:Nowrap to a finite value Template:Xref. More advanced methods are required, such as zeta function regularization or Ramanujan summation. It is also possible to argue for the value of Template:Sfrac using some rough heuristics related to these methods.

Heuristics

Passage from Ramanujan's first notebook describing the "constant" of the series

Srinivasa Ramanujan presented two derivations of "Template:Nowrap" in chapter 8 of his first notebook. The simpler, less rigorous derivation proceeds in two steps, as follows.

The first key insight is that the series of positive numbers Template:Nowrap closely resembles the alternating series Template:Nowrap The latter series is also divergent, but it is much easier to work with; there are several classical methods that assign it a value, which have been explored since the 18th century.

In order to transform the series Template:Nowrap into Template:Nowrap, one can subtract 4 from the second term, 8 from the fourth term, 12 from the sixth term, and so on. The total amount to be subtracted is Template:Nowrap, which is 4 times the original series. These relationships can be expressed using algebra. Whatever the "sum" of the series might be, call it Template:Nowrap Then multiply this equation by 4 and subtract the second equation from the first:

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

The second key insight is that the alternating series Template:Nowrap is the formal power series expansion (for x at point 0) of the function Template:Sfrac which is Template:Nowrap evaluated with x defined as 1. Accordingly, Ramanujan writes

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

Dividing both sides by −3, one gets c = Template:Sfrac.

Generally speaking, it is incorrect to manipulate infinite series as if they were finite sums. For example, if zeroes are inserted into arbitrary positions of a divergent series, it is possible to arrive at results that are not self-consistent, let alone consistent with other methods. In particular, the step Template:Nowrap is not justified by the additive identity law alone. For an extreme example, appending a single zero to the front of the series can lead to a different result.

One way to remedy this situation, and to constrain the places where zeroes may be inserted, is to keep track of each term in the series by attaching a dependence on some function. In the series Template:Nowrap, each term n is just a number. If the term n is promoted to a function n^−s, where s is a complex variable, then one can ensure that only like terms are added. The resulting series may be manipulated in a more rigorous fashion, and the variable s can be set to −1 later. The implementation of this strategy is called zeta function regularization.

Zeta function regularization

Plot of Template:Math. For Template:Math, the series converges and Template:Math. Analytic continuation around the pole at Template:Math leads to a region of negative values, including Template:Math.

In zeta function regularization, the series ${\sum }_{n=1}^{\mathrm{\infty }}n$ is replaced by the series ${\sum }_{n=1}^{\mathrm{\infty }}{n}^{-s}.$ The latter series is an example of a Dirichlet series. When the real part of Template:Mvar is greater than 1, the Dirichlet series converges, and its sum is the Riemann zeta function Template:Math. On the other hand, the Dirichlet series diverges when the real part of Template:Mvar is less than or equal to 1, so, in particular, the series Template:Nowrap that results from setting Template:Math does not converge. The benefit of introducing the Riemann zeta function is that it can be defined for other values of Template:Mvar by analytic continuation. One can then define the zeta-regularized sum of Template:Nowrap to be Template:Math.

From this point, there are a few ways to prove that Template:Math. One method, along the lines of Euler's reasoning, uses the relationship between the Riemann zeta function and the Dirichlet eta function Template:Math. The eta function is defined by an alternating Dirichlet series, so this method parallels the earlier heuristics. Where both Dirichlet series converge, one has the identities:

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

The identity $(1-2^{1-s})\zeta (s)=\eta (s)$ continues to hold when both functions are extended by analytic continuation to include values of Template:Mvar for which the above series diverge. Substituting Template:Math, one gets Template:Math. Now, computing Template:Math is an easier task, as the eta function is equal to the Abel sum of its defining series, which is a one-sided limit:

$$-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}.$$

Dividing both sides by −3, one gets Template:Math.

Cutoff regularization

Asymptotic behavior of the smoothing. The y-intercept of the parabola is Template:Sfrac.

The method of regularization using a cutoff function can "smooth" the series to arrive at Template:Sfrac. Smoothing is a conceptual bridge between zeta function regularization, with its reliance on complex analysis, and Ramanujan summation, with its shortcut to the Euler–Maclaurin formula. Instead, the method operates directly on conservative transformations of the series, using methods from real analysis.

The idea is to replace the ill-behaved discrete series ${\sum }_{n=0}^{N}n$ with a smoothed version

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

where f is a cutoff function with appropriate properties. The cutoff function must be normalized to Template:Math; this is a different normalization from the one used in differential equations. The cutoff function should have enough bounded derivatives to smooth out the wrinkles in the series, and it should decay to 0 faster than the series grows. For convenience, one may require that Template:Mvar is smooth, bounded, and compactly supported. One can then prove that this smoothed sum is asymptotic to Template:Math, where Template:Mvar is a constant that depends on Template:Mvar. The constant term of the asymptotic expansion does not depend on Template:Mvar: it is necessarily the same value given by analytic continuation, Template:Math.

Ramanujan summation

The Ramanujan sum of Template:Math is also Template:Math. Ramanujan wrote in his second letter to G. H. Hardy, dated 27 February 1913:

Ramanujan summation is a method to isolate the constant term in the Euler–Maclaurin formula for the partial sums of a series. For a function Template:Mvar, the classical Ramanujan sum of the series ${\sum }_{k=1}^{\mathrm{\infty }}f(k)$ is defined as

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

where Template:Math is the (2k − 1)th derivative of Template:Mvar and Template:Math is the (2k)th Bernoulli number: Template:Math, Template:Math, and so on. Setting Template:Math, the first derivative of Template:Mvar is 1, and every other term vanishes, so

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

To avoid inconsistencies, the modern theory of Ramanujan summation requires that Template:Mvar is "regular" in the sense that the higher-order derivatives of Template:Mvar decay quickly enough for the remainder terms in the Euler–Maclaurin formula to tend to 0. Ramanujan tacitly assumed this property. The regularity requirement prevents the use of Ramanujan summation upon spaced-out series like Template:Nowrap, because no regular function takes those values. Instead, such a series must be interpreted by zeta function regularization. For this reason, Hardy recommends "great caution" when applying the Ramanujan sums of known series to find the sums of related series.Template:Sfn

Failure of stable linear summation methods

Template:See also A summation method that is linear and stable cannot sum the series Template:Math to any finite value. (Stable means that adding a term at the beginning of the series increases the sum by the value of the added term.) This can be seen as follows. If

$$1+2+3+\cdots =x,$$

then adding 0 to both sides gives

$$0+1+2+3+\cdots =0+x=x$$

by stability. By linearity, one may subtract the second equation from the first (subtracting each component of the second line from the first line in columns) to give

$$1+1+1+\cdots =x-x=0.$$

Adding 0 to both sides again gives

$$0+1+1+1+\cdots =0,$$

and subtracting the last two series gives

$$1+0+0+0+\cdots =0,$$

contradicting stability.

Therefore, every method that gives a finite value to the sum Template:Math is not stable or not linear.

Physics

In bosonic string theory, the attempt is to compute the possible energy levels of a string, in particular, the lowest energy level. Speaking informally, each harmonic of the string can be viewed as a collection of Template:Math independent quantum harmonic oscillators, one for each transverse direction, where Template:Mvar is the dimension of spacetime. If the fundamental oscillation frequency is Template:Mvar, then the energy in an oscillator contributing to the Template:Mvarth harmonic is Template:Math. So using the divergent series, the sum over all harmonics is Template:Math. Ultimately it is this fact, combined with the Goddard–Thorn theorem, which leads to bosonic string theory failing to be consistent in dimensions other than 26.

The regularization of Template:Math is also involved in computing the Casimir force for a scalar field in one dimension. An exponential cutoff function suffices to smooth the series, representing the fact that arbitrarily high-energy modes are not blocked by the conducting plates. The spatial symmetry of the problem is responsible for canceling the quadratic term of the expansion. All that is left is the constant term −1/12, and the negative sign of this result reflects the fact that the Casimir force is attractive.Template:Sfn

A similar calculation is involved in three dimensions, using the Epstein zeta-function in place of the Riemann zeta function.

History

It is unclear whether Leonhard Euler summed the series to Template:Sfrac. According to Morris Kline, Euler's early work on divergent series relied on function expansions, from which he concluded Template:Math. According to Raymond Ayoub, the fact that the divergent zeta series is not Abel-summable prevented Euler from using the zeta function as freely as the eta function, and he "could not have attached a meaning" to the series. Other authors have credited Euler with the sum, suggesting that Euler would have extended the relationship between the zeta and eta functions to negative integers. In the primary literature, the series Template:Math is mentioned in Euler's 1760 publication Template:Lang alongside the divergent geometric series Template:Math. Euler hints that series of this type have finite, negative sums, and he explains what this means for geometric series, but he does not return to discuss Template:Math. In the same publication, Euler writes that the sum of Template:Math is infinite.

In popular media

David Leavitt's 2007 novel The Indian Clerk includes a scene where Hardy and Littlewood discuss the meaning of this series. They conclude that Ramanujan has rediscovered Template:Math, and they take the "lunatic asylum" line in his second letter as a sign that Ramanujan is toying with them.

Simon McBurney's 2007 play A Disappearing Number focuses on the series in the opening scene. The main character, Ruth, walks into a lecture hall and introduces the idea of a divergent series before proclaiming, "I'm going to show you something really thrilling", namely Template:Math. As Ruth launches into a derivation of the functional equation of the zeta function, another actor addresses the audience, admitting that they are actors: "But the mathematics is real. It's terrifying, but it's real."

In January 2014, Numberphile produced a YouTube video on the series, which gathered over 1.5 million views in its first month. The 8-minute video is narrated by Tony Padilla, a physicist at the University of Nottingham. Padilla begins with Template:Math and Template:Math and relates the latter to Template:Math using a term-by-term subtraction similar to Ramanujan's argument.Template:Fcn Numberphile also released a 21-minute version of the video featuring Nottingham physicist Ed Copeland, who describes in more detail how Template:Math as an Abel sum, and Template:Math as Template:Math.Template:Fcn After receiving complaints about the lack of rigour in the first video, Padilla also wrote an explanation on his webpage relating the manipulations in the video to identities between the analytic continuations of the relevant Dirichlet series.

In The New York Times coverage of the Numberphile video, mathematician Edward Frenkel commented: "This calculation is one of the best-kept secrets in math. No one on the outside knows about it."

Coverage of this topic in Smithsonian magazine describes the Numberphile video as misleading and notes that the interpretation of the sum as Template:Sfrac relies on a specialized meaning for the equals sign, from the techniques of analytic continuation, in which equals means is associated with. The Numberphile video was critiqued on similar grounds by German mathematician Burkard Polster on his Mathologer YouTube channel in 2018, his video receiving 2.7 million views by 2023.

Bibliography

• Template:Cite book
• Template:Cite book
• Template:Cite book

Further reading

• Template:Cite book See p. 293.
• Template:Cite encyclopedia
• Template:Citation

External links

• Lamb E. (2014), "Does 1+2+3... Really Equal –1/12?", Scientific American Blogs.
• This Week's Finds in Mathematical Physics (Week 124), (Week 126), (Week 147), (Week 213)
  • Euler's Proof That 1 + 2 + 3 + ⋯ = −1/12 – by John Baez
  • Template:Cite web
• The Euler-Maclaurin formula, Bernoulli numbers, the zeta function, and real-variable analytic continuation by Terence Tao
• A recursive evaluation of zeta of negative integers by Luboš Motl
• Link to Numberphile video 1 + 2 + 3 + 4 + 5 + ⋯ = –1/12
  • Sum of Natural Numbers (second proof and extra footage) includes demonstration of Euler's method.
  • What do we get if we sum all the natural numbers? response to comments about video by Tony Padilla
  • Related article from New York Times
  • Why –1/12 is a gold nugget follow-up Numberphile video with Edward Frenkel
• Divergent Series: why 1 + 2 + 3 + ⋯ = −1/12 by Brydon Cais from University of Arizona