There’s no direct way to define the sum of an infinite number of terms. Addition takes two arguments, and you can apply the definition repeatedly to define the sum of any finite number of terms. But an infinite sum depends on a theory of convergence. Without a definition of convergence, you have no way to define the value of an infinite sum. And with different definitions of convergence, you can get different values.

In this post I’ll review two ways of assigning a meaning to divergent series that I’ve written about before, then mention a third way.

## Asymptotic series

A few months ago I wrote about an asymptotic series solution to the differential equation

You end up with the solution

which diverges for all *x*. That is, for each *x*, the partial sums of the series do not get closer to any number that you could call the sum. In fact, the individual terms of the series eventually get bigger and bigger. Surely this is a useless solution, right?

Actually, it is useful if you change your perspective. Instead of holding *x* fixed and letting *n* go to infinity, fix a value of *n* and let *x* go to infinity. In that sense, the series converges. For fixed *n* and large *x*, this gives accurate approximations to the solution of the differential equation.

## Analytic continuation

At the end of a post on Bernoulli numbers I briefly explain the interpretation of the apparently nonsensical equation

1 + 2 + 3 + … = -1/12.

In a nutshell, the Riemann zeta function is defined by a two-step process. First define

for *s* with real part strictly bigger than 1. Then define the zeta function for the rest of the complex plane (except the point *s* = 1) by analytic continuation. If the infinite sum for zeta were valid for *s* = -1, which is it not, then it would equal 1 + 2 + 3 + …

The analytic continuation of the zeta function is defined at -1, and there the function equals -1/12. So to make sense of the sum of the positive integers, interpret the sum as a sort of pun, a funny way to write ζ(-1).

## p-adic numbers

This is the most radical way to make sense of divergent series: change your number system so that they aren’t divergent!

The sum

1 + 2 + 4 + 8 + …

diverges because the partial sums (1, 3, 7, 15, …) are not getting closer to anything. But you can make the series converge by changing the way you measure distance between numbers. That’s what *p*-adic numbers do. For any fixed prime number *p*, define the distance between two numbers as the reciprocal of the largest power of *p* that divides their difference. That is, numbers are close together if they differ by a large power of *p*. We can make sense of the sum above in the 2-adic numbers, i.e. the *p*-adic numbers with *p* = 2.

The *n*th partial sum of the series above is 2^{n} – 1. The 2-adic distance between 2^{n} – 1 and -1 is 2^{–n}, which goes to zero, so the series converges to -1.

1 + 2 + 4 + 8 + … = -1.

Note that all the partial sums are the same, whether in the real numbers or the 2-adics, but the two number systems disagree on whether the partial sums converge.

If that explanation went by too quickly, here’s a 15-minute video expands on the same derivation.

The series 1 + 2 + 4 + 8 + … can also be solved by analytic continuation. It is on the form x^0 + x^1 + x^2 + x^3 + … with x = 2. For |x| < 1 this series converges to 1/(1-x), which suggests the value 1/(1-2) = -1 as a value for 1 + 2 + 4 + 8 + …

It’s kind of funny that the p-adic method and the one suggested above both give -1 for the sum of 2^n. Especially when considering that a binary number of increasingly consecutive 1 digits is equivalent to a sum of 2^n, e.g.

00000001 = 2^1

00000011 = 2^1 + 2^2

00000111 = 2^1 + 2^2 + 2^3

and when the bit field (however wide it is) is finally filled with 1’s (which might be consider as a sum to ‘infinity’), the result represents -1 in Two’s Compliment!

That last example, incidentally, does the “right thing” when you apply a Shanks transformation to it.

I think it was Carl Bender who famously commented that when faced with a series, the worst thing you can do is sum it up.