Is the “sum of all natural numbers” unique?

Solution 1:

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).

Solution 2:

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?

• 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'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.)*