19

4

It's sort of folklore (as exemplified by this old post at The Everything Seminar) that none of the common techniques for summing divergent series work to give a meaningful value to the harmonic series, and it's also sort of folklore (although I can't remember where I heard this) that the harmonic series is more or less the only important series with this property.

What other methods besides analytic continuation and zeta regularization exist for summing divergent series? Do they work on the harmonic series? And are there other well-known series which also don't have obvious regularizations?

flag
Would you include "1+2+4+8+16+...=-1" as a "meaningful" summation? – Andrew Critch Oct 29 2009 at 3:52
5 
Sure: it makes sense both 2-adically and as an example of analytic continuation. – Qiaochu Yuan Oct 29 2009 at 4:22

6 Answers

7

One common regularization method that wasn't mentioned in the Everything Seminar post is to take the constant term of a meromorphic continuation. While the Riemann zeta function has a simple pole at 1, the constant term of the Laurent series expansion is the Euler-Mascheroni constant gamma = 0.5772156649...

It is reasonable to claim that most divergent series don't have interesting or natural regularizations, but you could also reasonably claim that most divergent series aren't interesting. Any function with extremely rapid growth (e.g., the Busy Beaver function) is unlikely to have a sum that is regularizable in a natural way.

link|flag
When studying the algebraic properties of MZV (eg. in "Algebraic Aspects of Multiple Zeta Values", math/0309425) Michael Hoffman indeed calls treating \zeta(1) as Euler's Gamma a "happy choice" (after Theorem 3.5). – Armin Straub Oct 29 2009 at 12:41
4

Incidentally, the best text on such questions is Hardy's last book, Divergent Series.

link|flag
1

I have a sneaking suspicion that anything that works on 1/2 + 1/3 + 1/5 + ... will probably also work on the harmonic series, although I certainly don't have any hard reasoning to back this up -- just that it doesn't have nice local properties or nice global properties, much like the harmonic series.

But I sort of hope I'm wrong -- I'd be very interested to see what a regularization for this series looks like!

link|flag
1

The series 1/2 + 1/3 + 1/5 + ... (the sum of reciprocals of the primes) mentioned by harrison "sums to log log ∞"; more formally,

(1/2 + 1/3 + 1/5 + 1/7 + ... + 1/n) ~ log log n

where ~ has the usual meaning: f(n)~g(n) if lim (n -> infty) f(n)/g(n) = 1.

The nth partial sum of the harmonic series, 1 + 1/2 + 1/3 + ... + 1/n, diverges like log n.

Perhaps sums which diverge "logarithmically fast" are in general problematic, and the harmonic series is just the canonical example of such a series.

link|flag
1

I'm not allowed to post a comment, but in reply to Michael Lugo's post and as a followup to Scott Carnahan, the prime harmonic series can be regularized in analogy with $1 + 1/2 + 1/3 + 1/4 + \ldots$ "$=$" $\gamma$, giving the Mertens constant. See the prime zeta function for more information.

In this case it's not "meromorphic continuation" as the singularity is logarithmic. This leads to the followup question: is there a practical difference, and is there a general theory for the logarithmic (or even more general, e.g. multiply nested logarithmic) case? The prime zeta function has some interesting properties, such as having a natural boundary of analyticity at $\Re(s) = 0$.

link|flag
0

There are other sums with no good summation: for example 1+1+1+... Any decent method of summation would yield S=1+S.

link|flag
3 
You don't think that 1+1+1+... = -1/2 has some decency? (Of course, that's \zeta(0).) – Armin Straub Oct 29 2009 at 12:23
1 
Hmmm. Perhaps I was too strong there. I tend to assume that a summation method should obey a_1+a_2+...=0+a_1+a_2+..., which zeta regularization does not. But I can't make a strong argument for that assumption. – David Speyer Oct 29 2009 at 12:27
By the way the proposition that $1+1+1+... = -1/2$ was first made by Euler. – Andrew Aug 16 at 20:31

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.