Last time we saw hints of how the geometric series was trying to tell us that there was some “truth” behind the equation

So how do we get at the truth behind such an audacious claim? One fantastically powerful way to sum divergent series such as this is through regularization: finding an analytic function of through which we can relate the divergent sum to some limit in the complex plane. In particular, we can find reasonable values for surprisingly unreasonable sums like

We know that the canonical limiting procedure (at least since Cauchy got his hands on analysis) does not give a finite value to the sum . However, as Tom Leinster pointed out in the last post, there are other analytic methods that we could use to assign a value to this sum. Perhaps the simplest is the Abel sum: we take a small number and multiply the term by . If the terms of our sum are not growing too quickly, the resulting power series

will have a nonzero radius of convergence in the complex plane. On the disc where this function converges, agrees with the function . As a result, if we analytically continue to the rest of we find that

Now we can let our regularizing parameter get larger and larger to define the Abel sum

The exact same regularization method lets us sum the geometric series for all values of except for , and the answer is exactly what we would expect.

It is not clear that any of this has left the realm of “cute but unimportant” yet, so let me present the divergent sum which first made me a believer. I learned about this result while reading John Baez’s lecture notes on generating functions. Let

be the generating function for the Catalan numbers. Explicitly, the coefficient of is the number of binary rooted trees with leaves. By saying exactly what a tree is in the language of generating functions, you can easily compute that

(or now that you know the answer, you can verify by direct computation that the power series given above is the Taylor series for around zero). Happily, there is no pole at one so the series is summable with this regularization method! And what sum do we get?

Well, if we were happy thinking we could sum positive integers to get a negative, it doesn’t seem like *such* a huge leap to sum positive integers and get a complex number…

Now here is the beautiful thing that made my Platonic heart flutter: we now know that

which in turn means that it is possible for an isomorphism to exist between 1-tuples and 7-tuples of trees (though not for any nontrivial number smaller than 7!) And, in fact, such an isomorphism exists! This was apparently discovered by Lawvere and written up in the fantastic paper Seven Trees in One by Andreas Blass. The amazing thing is that nobody would have expected such an isomorphism to exist if it were not for this seemingly phony calculation using divergent series. So not only can we give these series finite values, but these values can lead us towards new and surprising facts about other standard mathematical objects that we know and love. These regularized divergent sums are not off in some far-flung corner of the mathematical universe — they are intimately connected with math as concrete as combinatorics, and give us honestly new insight into these areas.

Before we get too carried away with this regularization scheme, let us look at some of the things that we still can’t sum. The sum regularizes to the function which has a singularity at , so even the regularized sum appears to diverge. On the other hand, we can do the sum

to prove that . Now, let us do a little bit of arithmetic: the reader can verify that

The right side of this equation allows us to plug in and, using the previously-computed , we find that

though it is entirely unclear what universe this spacey calculation happened in.

Another simple sum that troubles us is . Using our regularization method, this gives

which still has an honest singularity at . However, we can do another spacey calculation to compute this value. Let us begin with the regularized sum

Then we can honestly compute

which is a true statement about the meromorphic functions and . But now we can let approach 1 to get

proving(?) the infamous formula

Coming up next: zeta regularization and the promised puzzle! (apologies for dragging it across three posts, but the post length was getting a bit too divergent…) In the meantime, please check out John Baez’s fantastic lectures on generating functions, structure types, and summing divergent series for fun and profit here and the recent discussion on divergent sums and Tom Leinster’s work on generalized Euler characteristics (one of the best motivations for paying attention to divergent sums) at the n-Category Cafe. If you’ve got a lot of time on your hands, there is an entire fascinating book by G. H. Hardy called Divergent Series available at the Internet Archive. The calculation of above comes from the first few pages of chapter 1.

Finally, something that has been puzzling me for quite some time. When I showed Josh Bowman the generating function

he asked me “is there a reason that is so close to the inverse of the Koebe function?” To be precise, and making the Euclidean substitution yields the Koebe function . Now: what on earth do binary trees have to do with conformal mappings?

July 30, 2007 at 10:56 pm |

The Motzkin numbers (which count unary-binary trees, i. e. trees where each node has zero, one, or two children) have the generating function M(z) = (1-z-sqrt(1-2z-3z^2))/(2z); thus M(1) = -i. Perhaps there is some bijection between 4-tuples of “Motzkin trees” and Motzkin trees?

(I don’t think there’s anything special about Motzkin trees, or even if that’s what they’re usually called; I just flipped through a book until I found a generating function that looked like it might give a nice result.)

July 31, 2007 at 12:25 pm |

(edited “4″s to “5″s -m)

Great find, Isabel! Sure enough, there is an isomorphism from the Motzkin trees to 5-tuples of Motzkin trees! The best one I could find involves twelve applications of the defining isomorphism M = 1 + zM + zM^2 (this gives a slightly different generating function, counting Motzkin trees with n edges in the nth degree term). The solution is here, but everybody should try to work it out first. These calculations are really fun!

edited to add: Despite reading John Baez’s sci.math threads with some degree of religiousness, I somehow missed this computation of the Motzkin tree cardinality almost exactly a year ago: http://tinyurl.com/2fs4to though it is unclear that the isomorphism M^5 = M has been constructed before. Can we find some non-tree examples of good generating functions? Is there a reason that different sorts of trees seem to like being roots of unity?

July 31, 2007 at 8:27 pm |

I’m probably being stupid, but don’t you mean 5-tuples of Motzkin trees?

July 31, 2007 at 11:30 pm |

No, no, you are right. And in the solution I wrote up, you of course end up with M^5 = M. Somehow I translated that into a 4 in the comment, though..

I guess that makes it clear that the “isomorphism” M^4 = M has never been constructed before!

Actually, I think there is a second mistake: what I actually computed seems to be the generating function for the Schroder numbers. The two functions are very similar: the Schroder-number generating function satisfies while the Motzkin-number generating function satisfies (which gives the equation that Isabel posted). However, they both have the same value at 1 and result in the same substitution law , so they both satisfy the equation . The Schroder numbers count the number of Motzkin trees with non-leaf vertices, so from this perspective it is less surprising that the equality

holds. But this really is remarkable: these two divergent series, “counting” the number of Motzkin trees in two very different ways, agree that the answer should be !

August 2, 2007 at 2:13 pm |

I like very much your calculation of 1 + 1 + … = 1/2. In section

4.1 of Cartier’s excellent paper “Mathemagics” -

http://www.mat.univie.ac.at/~slc/wpapers/s44cartier1.html

- there’s a different elementary derivation of this “identity”. But I

think the advantage of yours is that it’s clearer what rules are being

used. If I wanted to figure out exactly what universe this identity

is valid in – and I do! – I’d use your proof.

While we’re talking about Motzkin numbers/trees, there’s a phenomenon so weird that I can’t resist describing it.

When you want to study a polynomial equation (e.g. x^n + y^n = z^n) a

standard procedure is to study the free ring on generators satisfying

the polynomial (e.g. Z[x, y, z]/(x^n + y^n = z^n)). We’re interested

in the polynomial equation

M = 1 + M + M^2,

which in some sense defines the collection M of Motzkin trees

(described above by Isabel). Here it’s more appropriate to use rigs

(semirigs) than rings, so to study Motzkin trees, we should study the

rig

N[x]/(x = 1 + x + x^2)

- that is, the rig freely generated by one generator x satisfying this

equation. (N denotes the natural numbers.)

If we wanted to turn this rig into a ring, we could do so by formally

adjoining an additive inverse to every element. The result is the

ring Z[i] = Z[x]/(x = 1 + x + x^2) of Gaussian integers. (This

follows from the general categorical fact that adjunctions can be

composed.) But what’s weird is that our rig also *contains* the

Gaussian integers as a sort-of-subrig!

I’ll make that precise. An element of our rig can be regarded

as an equivalence class of polynomials. It’s fairly easy to see that

a constant polynomial is never equivalent to a non-constant

polynomial, so we can unambiguously define

S = {equivalence classes of non-constant polynomials}.

Writing R = N[x]/(x = 1 + x + x^2), it’s clear that S is a subset of R

closed under addition and multiplication. It’s equally clear that S

isn’t a subrig, since 0 and 1 aren’t in S. But three surprising

things happen:

(i) S *is* a rig, but with different additive and multiplicative units

than R

(ii) S is in fact a *ring*

(iii) the ring S is nothing but Z[i].

So we have a partition of the rig R into two pieces:

– the rig N of natural numbers (corresponding to the constant

polynomials, which are all inequivalent), and

– the ring Z[i] of Gaussian integers (corresponding to the equivalence

classes of non-constant polynomials).

We’d like to say that R is some kind of “sum” of N and Z[i], but it’s

a “sum” of an unusual kind: Z[i] isn’t a subrig, and it’s a

set-theoretic disjoint union. So from the standard algebraic point of

view it’s a mess, but it’s a true fact!

August 2, 2007 at 6:45 pm |

Hi Tom. Can you say what your exotic ring structure on S is? (After all, saying a set admits a ring structure isomorphic to Z[i] is saying nothing more than it’s countably infinite.)

August 3, 2007 at 2:24 am |

Hi James. The addition and multiplication of S are the same as those of R. (I should have made that more explicit.) The additive unit is 1 + x^4 and the multiplicative unit is x + x^5. To see get an idea of why that’s plausible, remember that x is behaves something like i.

That was the reason for the phrase “sort-of-subrig”: it’s got the same + and ., but different 0 and 1.

August 3, 2007 at 2:40 am |

Sorry, talking rubbish. The zero is 1 + x^2 (or rather, its equivalence class), the multiplicative unit is 2 + x^2, and while I’m at it, negatives are given by multiplication by x^2. But the addition and multiplication really are the same as in R!

August 4, 2007 at 11:34 pm |

Thanks. And now of course I see that you did say + and x were the same.

August 23, 2007 at 8:31 am |

The Motzkin observation goes back to sci.math.research in Jan 2003. Tom Leinster and Marcelo Fiore prove the isomorphism here.

October 13, 2008 at 1:46 pm |

A sum of real numbers, whether finite or infinite, cannot equal a complex number. If you apply complex conjugation to each side you can see the contradiction. Another example is plugging x=-2 into the Mercator series for log(1+x); the series is x-xx/2+xxx/3-… and the regularized sum does not yield i pi, but in fact yields 0. One way to think about this is that it yields i pi when x is just above the real line, and -i pi when x is just below the real line, hence the series yields the average of the two values surrounding the discontinuity. This series is only suitable as an inverse exponential function in the slit plane and not for negative numbers.

October 13, 2008 at 2:16 pm |

BTW your series 1+2z+5zz+14zzz+… does yield the complex number you claimed, or its complex conjugate, if z is very close to 1 but with an infinitesimal imaginary part.

February 23, 2009 at 6:44 am |

[...] http://cornellmath.wordpress.com/2007/07/30/sum-divergent-series-ii/ [...]

February 27, 2009 at 9:27 am |

See my blog at,

http://mathrants.blogspot.com

April 18, 2009 at 6:38 am |

Hi

I found your page by chance as I was looking for info on divergent series, and found it most interesting as I have made some observations, which I will be surprised that no one has thought of them before, but here goes.

If it holds that we can use f(x) = 1/(1+x) to sum 1-1+1-1+ …… , and

(f(x))^2 = (1/(1+x))^2,to sum 1-2+3- 4+ ….. does it follow that we can sum 1- 3+ 6 – 10 + ….. the triangles, and then the tetrahedral numbers and so forth each having sum (½)^n? Thus we are able to sum the alternating members of what we can look at as being the diagonals of Pascal’s Triangle!

But as the first and second diagonals of Pascal’s Triangle are 1,1,1,1,….. and 1,2,3,,4,….., and have sums

zeta(0), and zeta(-1), can we then deduce that the sums of all the diagonals with members positive are related to zeta(-n) ? We know that zeta(-2) = 1^2 + 2^2 + 3^2+ ….., and the sum of two consecutive triangles is a square, and while playing with with zD(1/(1-z)) (where D means d/dz), from ‘Euler’s Proof that 1+2+3+ …… = -1/2, by John Baez, I was able to find that the squares, cubes and so on could each be expressed as the sum of, 2, 3, … n, consecutive, triangles, tetrahedrals, and so forth, respectively, with coefficients that could be found iteratively. So for example each positive cube can be expressed in the form 1xT(n) + 4xT(n+1) + 1xT(n+2), where the T are consecutive tetrahedrals, i.e

3^3 = 1+4×4+10

4^3 = 4 + 4×10 + 20, so is it possible that the diagonals with all terms positive could also have finite sums?

Also the sums of the reciprocals of the members of the diagonals all have sums, (i.e (n-1)/(n-2) for n>2), except for the second, the harmonic series.

Trivially the rows of Pascal’s Triangle each have sum 2^n, and if what I have said above about the sums of the diagonals makes any sense, there seems to be some kind of relationship between the rows and the diagonals, with the harmonic series being fancifully seen as a pivot around infinity.

Is there something going on here, some kind of global symmetry, or is this just some kind of trivial consequence of the fact that we are messing around with Binomial coefficients, and generating functions, got from the geometric series?

cheers Paul

June 7, 2009 at 4:02 am |

[...] here involving what I’ll refer to as “generalized cardinality”; see, for example, The Everything Seminar regarding the [...]

November 30, 2009 at 5:11 pm |

Hi

For quite some time i’m thrilled by divergent series and consistent ways to assign a number to their ‘sum’.

Has anyone got a pointer what that sum would be for the sum of all primes?

N = 2 + 3 + 5 + 7 + 11 + … ?

Thanks

Carl

January 26, 2010 at 8:08 am |

Hi,

I’ve found a web page where the Ramanujan summation of N=2+3+5+7+11+… is written as 24133, but without explaination:

http://en.wikipedia.org/wiki/Talk:Ramanujan_summation

That would be the evaluation in s=-1 of the analytical expansion of P(s), where P(s) is the prime zeta function.

Does it help you, Carl?

Alejandro

January 26, 2010 at 8:35 am |

Hi Alejandro

Thanks for this pointer.

I will do some more investigations on it but it seems very improbable since the sum of the first 100 primes is _also_ 24133.

Also, I though that assigning a value to infinite divergent sums with only positive terms, can only result in a negative (or zero) value…

Carl

January 28, 2010 at 8:30 am |

Hi again, Carl,

as you can see in

http://resources.metapress.com/pdf-preview.axd?code=j536w48vj745m12t&size=largest

the prime zeta function P(x+yi) cannot be continued analytically for x below or equal 0, so the series you want to sum up (P(-1)) cannot be derived by analytic continuation. I think, however, that one can approximate its Ramanujan summation by using series with similar terms whose Ramanujan summation can be computed. As shown in

http://en.wikipedia.org/wiki/Prime_number_theorem

the nth prime number goes asymptotically to n*ln(n), so the Ramanujan summation of a function such that, for example,

f(x)=Pm(x)+x*ln(x),

being f(n) equal to the nth prime number from n=1 to m, and

Pm(x)=a1x+a2x^(1/2)+a3x^(1/3)+…+amx^(1/m),

which is a determinate system with m equations and m unknowns, will probably converge to the Ramanujan summation that you are looking for.

January 29, 2010 at 6:45 am |

Hi again, Carl,

as you can see in:

http://mathworld.wolfram.com/PrimeZetaFunction.html

the prime zeta function P(x+yi) can be analitically continued for x>0, which does not include P(-1), which is the summation that you want to compute. However, maybe it would be possible to use series with summations known closer and closer to the one you want to compute.

Alejandro

April 23, 2011 at 6:38 am |

http://www.slideshare.net/genius98/some-thoughts-on-divergent-series

September 29, 2011 at 6:23 am |

Watch all the Latest Movies and Episodes 100% Free in HD…[...]Sum Divergent Series, II « The Everything Seminar[...]…

January 17, 2014 at 6:28 pm |

Sorry, but your series S(z)=1+4z^2+8z^3+… = 1/(1-2z) only converges for |z|1 to obtain the (ridiculous) non-identity for 1+4+8+16+…=-1. What’s more, Abel summation and other forms of analytic continuation do NOT assert that divergent series actually yield finite values. The value of the analytic function 1/(1-2z) is only related to the given series within its radius of convergence, and to assert otherwise is simply incorrect mathematics. I know that physicists have never understood why we need analysis (the rigorous understanding of limits and other infinite processes) and prefer algebra, but the simple fact is that blind manipulation of poorly defined quantities leads to incorrect answers and not to true understanding.

January 17, 2014 at 6:30 pm |

My post above was garbled, and a line was lost– in the 3rd line, I mention that the series converges for |z| smaller than 1/2, and so you cannot take the Abel limit as |z| tends to one.

January 18, 2014 at 1:04 am |

[…] and mysterious. (Or, if you prefer Plait, “[r]eally bizarre, brain-melting”.) As Noonan sketches in more detail than I’ll go into here, the connection between -1/12 and the infinite sum has to do with some back-of-the-envelope complex […]

January 21, 2014 at 3:39 pm |

Stan, I think that we are talking about different things. We all know that usual summation of divergent series going to infinite is undefined and is incorrect to give them any finite value. However, maybe other kinds of summation (defining it in a different way), such as Ramanujan summation, can give finite values to many divergent series maintaining the same value for the convergent series, that is, extending the usual concept, for instance by analytical continuation. This kinds of summation seem to be important in Physics, since they need to be used to renormalize in order to get values in the quantum field theory (see for instance the Casimir effect)

March 23, 2014 at 6:34 am |

I all the time emailed this blog post page to all my friends, as

if like to read it afterward my links will too.

March 23, 2014 at 6:39 am |

I seldom leave a response, but i did some searching and wound up here Sum Divergent Series, II |

The Everything Seminar. And I actually do have a couple of questions for you if you

tend not to mind. Is it simply me or does it look like a few of the responses come

across like they are written by brain dead people? :-P And,

if you are writing on additional sites, I would like to follow everything fresh you have to post.

Could you make a list of every one of your public pages like your Facebook page, twitter feed, or linkedin profile?