Is the “sum of all natural numbers” unique?

802 Views Asked by At

A while ago, there was a great hype about the “identity” $$\sum_{n=1}^{\infty} n = -\frac{1}{12}.$$

Apart from some series manipulations where the validity seems to be at least questionable, the derivation of this always goes through the zeta function:

Where the series converges, the zeta function is defined by $$\zeta(s) = \sum_{n=1}^{\infty}\frac{1}{n^s}$$ and outside that range by analytic continuation. And it turns out that inserting $s=-1$ formally results in $$\zeta(-1) = -\frac{1}{12} = \sum_{n=1}^\infty n$$

However looking at the series in isolation, there is no indication that the zeta function should be chosen.

An obvious way to get an analytic function that at one point gives the sum of all natural numbers is $$f(x) = \sum_{n=1}^{\infty} nx^n$$ at $x=1$, however (not surprisingly) that function diverges at $1$.

Therefore my question:

Is it possible to get another finite value for the series by analytic continuation of another series?

Concretely, do there exist continuous functions $f_1, f_2, f_3, \ldots$ such that

  • On some non-empty open subset $S$ of $\mathbb C$, $f(x)=\sum_{n=1}^\infty f_n(x)$ converges to an analytic function.

  • At some point $x_0$, $f_n(x_0) = n$ for all positive integers $n$.

  • The analytic continuation of $f$ is well defined and finite at $x_0$.

  • $f(x_0) \ne -1/12$

What if we demand the functions $f_n$ to be analytic rather than just continuous?

4

There are 4 best solutions below

8
On BEST ANSWER

What if we demand the functions $f_n$ to be analytic rather than just continuous?

No problem. Define

$$f_n(s) = \frac{n}{(n - (-1)^n)^s},$$

where $k^s$ is as usual defined using the real value of $\log k$ (works since $n - (-1)^n > 0$). Then $f_n(0) = n$ for all $n$, and by a standard argument the series converges absolutely and locally uniformly for $\operatorname{Re} s > 2$. We compute \begin{align} \sum_{n = 1}^{\infty} f_n(s) &= \sum_{n = 1}^{\infty} \frac{n}{(n - (-1)^n)^s} \\ &= \sum_{n = 1}^{\infty} \Bigl(\frac{1}{(n - (-1)^n)^{s-1}} + \frac{(-1)^n}{(n - (-1)^n)^s}\Bigr) \\ &= \sum_{n = 1}^{\infty} \frac{1}{(n - (-1)^n)^{s-1}} + \sum_{n = 1}^{\infty} \frac{(-1)^n}{(n - (-1)^n)^s} \\ &= \biggl(\frac{1}{2^{s-1}} + \frac{1}{1^{s-1}} + \frac{1}{4^{s-1}} + \frac{1}{3^{s-1}} + \ldots\biggr) \\ &\qquad + \biggl(-\frac{1}{2^s} + \frac{1}{1^s} - \frac{1}{4^s} + \frac{1}{3^s} - \frac{1}{6^s} + \frac{1}{5^s} - \ldots\biggr) \\ &= \sum_{m = 1}^{\infty} \frac{1}{m^{s-1}} + \sum_{m = 1}^{\infty} \frac{(-1)^{m-1}}{m^s} \\ &= \zeta(s-1) + \eta(s) \end{align} for $\operatorname{Re} s > 2$. This has an analytic continuation to $\mathbb{C}\setminus \{2\}$, and the value at $0$ is $$\zeta(-1) + \eta(0) = -\frac{1}{12} + \frac{1}{2} = \frac{5}{12}.$$

One can by similar means obtain different values.

Such summation methods are however very ad-hoc, as far as I know every "reasonable" summation method assigns either $+\infty$ (the natural value) or $-\frac{1}{12}$ to the divergent series. I admit that I don't know a good definition of "reasonable" for summation methods (except maybe "extends 'limit of partial sums', is linear and stable", but that definition excludes several widely used summation methods).

2
On

The claim $\sum_{n=1}^{\infty} n = - \frac{1}{12}$ depends directly on the Riemann $\zeta$-function. In fact for any constant $c$ one can find a series $\sum a_n(s)$ of functions such that

  • on some subset of the complex plane the series converges and defines a function $f$ that is holomorphic on that subset
  • this function $f$ can be extended meromorphically to the entire complex plane
  • $a_n(-1)=n$
  • the meromorphic continuation of $f$ evaluated at $-1$ is exactly $c$.

If you use $a_n(s)=\frac{1}{n^{s}}$ you get the Riemann $\zeta$-function but that doesn't make $\sum_{n=1}^{\infty} n = - \frac{1}{12}$ any more correct than assigning any other value to this divergent sum.

0
On

Here is a copy of an older question which is more general than yours, but I think, your specific question is included by this:

The initial question MSE

Are there any cases when Abel, Cesaro, Borel, Ramanujan, Zeta regularizations are applicable for regularization of a divergent series or integral but give different results?


Here I cite my own comments (and the interactions of the asker), which may answer your question as far as possible

  • If there were such a case it should be mentioned in wikipedia or mathworld or any serious online/paper encyclopedia ... So I'm sure, there is no such case (except, if you like, that for some regularization the "value" is infinity and for some other is a finite value (multivaluedness in the sense, that only one possible finite value occurs and else only infinities)

  • @Gottfried Helms I need a reference for paper that these approaches are equal.

  • Maybe -but not too modern- Konrad Knopp, "On infinite series" (or so) - it is online in german language, but I think I've come across the english translation as well. Chapter XIII is about divergent series. The other classic is surely G.H. Hardy's monography. But besides of discussion of the Tauberian theorems and perhaps general statements about the equivalence of methods I don't think, they've made the explicite statement in that form you wish here - I surely would remember this! (Note that very similar questions appeared here and in math-overflow from time to time, I think to remember one user who collected material with that focus for writing his batchelor-exposé.)

    Konrad Knopp, unendliche Reihen, chap XIII, pg 480: "(2) permanence-principle: a new regularization-method should first be compatible with convergent series: for convergent series it should give the same value. (2b) Usefulness: But to be useful at all, we expect that it can regularize at least one series which was not convergent itself" (3) When there are different regularization-methods which are capable to assign a finite value to a given series, then all that regularization-methods shall give the same value to that series. " So (3) is -so to say- an axiom which defines, which methods are acceptable in number-theory. Maybe this passage helps for your text (It is not translated here, I just paraphrased. If it is helpful for you you might find it in the english book likely available in google.books - I'm not so good in english to give you a reliable translation by myself)

One should possibly also mention the Springer-online-encyclopedia, which has a lot of entries for divergent summation, and no such ambiguity (two different finite values given by two different regularizations) is mentioned.

  • @Gottfried Helms does he list the methods that give the same value?

  • At least Cesaro, Hölder, Abel, Euler, Riesz,Borel,Le Roy in the book. Don't know at the moment whether he touches Zeta-regularization. Ramanujan is, as far as I remember, in a follow-up article. But I think I've the german chapter locally as pdf-file. I'll see and report S. Chapman & G.H.Hardy (1911) is referred to an article (in "quarterly Journal, Vol 42, pg. 181" on the systematizing of the various regularization-methods. Perhaps there is an explicite statement like you need it.

    Knopp's most contribution is first part of previous century. He did not, for instance know of methods like Aitken-process etc and I do not know whether this compatibility axiom extends to those modern, non-linear, summation procedures as well. Anyway, the reference-list of Knopp's chap XIII should be understandable for you and gives a rich list of further-readings (of course of his contemporaries only...).

another commenter

  • It depends how you define Abel, Cesaro, Borel, Ramanujan, Zeta regularizations and how many of them do you assume well-defined for your series. So make your question precise. The first thing to know is that if an=O(nc) then ?Abel summationan=A well-defined implies F(s)=?ann-s extends analytically to R(s)>0 and lims?0+F(s)=A. math.stackexchange.com/questions/3328567/… @GottfriedHelms


I don't know whether the following would help you as well:

  • I've once considered a type of home-brewn matrix-summation-method using the matrix of Eulerian numbers. In the second part of my explorations I look at the cases, where my method cannot assign a finite value, but at most infinity and somehow a "finite residue" (or so).
    Anyway, instead of getting the Euler-constant $\gamma_0$ for a regularization of the harmonic series as suggested by the Ramanujan-summation-method (or by computation for the second coefficient of the Laurent-series for $\zeta(1+x)$) the value $\log(2)$ pops up - and for the regularization of your series the "residual" value $2/27$ pops up - but I'm not qualified to put this in a reliable and correct context yet. If you like to read then look at my homepage par. 3.3 and 3.4 Perhaps this gives a suggestion and hopefully you can help me to find the correct context.... . *(Surely I'll have to rewrite this, to clear up many messy statements and/or formulations - for instance instead of talking of zeta-series I should talk of polylog-series given my specific framework of matrix-summation - , but perhaps there is still something readable and/or worth for you.)*
6
On

Analytic continuation is a very fragile method of summation that often produces inconsistent results depending on what function we choose to continue.

But for this series all the mutually compatible summation methods give the same result.

Moreover, the number $-\frac1{12}$ is just the finite part of the full number. Using approach described here one can obtain the full form of the sum in terms of divergent sums/integrals:

$$\sum_{k=0}^\infty k = \frac{\tau^2}2-\frac1{24}$$

where $\tau=\int_0^\infty dx=\pi\delta(0)$.

Here you can see the full values of the sums of other divergent series (you would need a MathML-capable browser, such as Firefox, not Chrome or Edge): https://exnumbers.miraheze.org/wiki/Main_Page

UPDATE NOTE The approach mentioned in this article introduces umbral-type multiplication of divergent integrals and series. There are other possible definitions, that maybe simplier in certain respects.