11

I can prove this sum has a constant upper bound like this:

$$\sum_{k=1}^n \frac1{k ^ 2} \lt 1 + \sum_{k=2}^n \frac 1 {k (k - 1)} = 2 - \frac 1 n \lt 2$$

And computer calculation shows that sum seems to converge to 1.6449. But I still want to know:

  • Does this sum converge?
  • Is there a name of this sum (or the series $\frac{1}{k^2} $)?

2 Answers2

15

A sequence that is increasing and bounded must converge. That's one of the fundamental properties of the real line. So once you've observed that your sequence of partial sums is bounded, since it obviously increases, it must converge. Of course it is a very famous series, and it converges to a number which quite miraculously has a "closed form" formula: it is $\pi^2/6$.

EDIT: for many proofs of this famous formula, see this MO question.

Alon Amit
  • 15,591
8

Yes, it does converge, and believe it or not, $$\sum_{k=1}^\infty\frac{1}{k^2}=\lim_{n\to\infty}\sum_{k=1}^n\frac{1}{k^2}=\frac{\pi^2}{6}$$ Determining the specific value of this infinite sum was originally known as the Basel problem, and Euler was the first person to determine the correct value of the sum, although his initial methods were not 100% rigorous (but they can be made to be rigorous, and zyx points out below that Euler later gave valid proofs).

In general, the infinite sum $$\sum_{k=1}^\infty\frac{1}{k^s}$$ is extremely important in number theory, so much so that we give it a name, the Riemann zeta function, $\zeta(s)$. That is, $$\zeta(s)=\sum_{k=1}^\infty\frac{1}{k^s}.$$ So, we see that $\zeta(2)=\frac{\pi^2}{6}$. Wikipedia lists some other known values of the zeta function. A priori, the function $\zeta(s)$ is defined for any real number $s>1$ (that is, the sum $\sum_{k=1}^\infty\frac{1}{k^s}$ will converge for any $s>1$); but in fact, there is a well-defined notion of raising integers to complex numbers, and then we get that $\zeta(s)$ is well-defined for every $s\in\mathbb{C}$ for which $\text{Re}(s)>1$. Using something called analytic continuation, we can then define $\zeta(s)$ for every complex number (other than $s=1$).

Zev Chonoles
  • 129,973
  • Euler gave several different computations of zeta(2) over a period of decades. His first computation of zeta(2) was not completely rigorous but some of the later proofs are correct. He also developed methods of numerical calculation to (rigorously) estimate the sum more accurately than was possible by simple hand calculation of the first $N$ terms. – zyx Aug 22 '11 at 03:25
  • @zyx: Thank you for the explanation, I've incorporated it into my post. I wouldn't want to denigrate Euler :) – Zev Chonoles Aug 22 '11 at 03:27
  • "He also developed methods of numerical calculation..." - that'd be what we now call the "Euler-Maclaurin formula". – J. M. ain't a mathematician Aug 22 '11 at 03:30
  • @J.M.: and acceleration of series, and ... – zyx Aug 22 '11 at 05:03
  • Yes, but in the case of the Basel problem, he specifically used Euler-Maclaurin, @zyx. – J. M. ain't a mathematician Aug 22 '11 at 07:55
  • 1
    @J.M., prior to the Euler MacLaurin formula, Euler computed zeta(2) to six decimal places using a particular acceleration of the series. E-M formula added much more accuracy, and the ability to approximate zeta(n) in general. The derivation of the exact zeta(2) came several years later. The numerical methods Euler applied to (or developed for the very purpose of calculating) zeta(2) went beyond the E-M formula, both before and after the discovery of the exact evaluation. – zyx Aug 22 '11 at 08:34
  • @zyx: I see; apparently it was my understanding that he came up with EM precisely because summing the Basel series was bleedingly slow. I'm far away from my books, but for now I'll take your word for it... :) – J. M. ain't a mathematician Aug 22 '11 at 08:38
  • @J.M. -- surely every general method Euler and his contemporaries developed, they applied to zeta(2) and many other notorious examples. Euler's constant $\gamma$ in the E-M summation of zeta(1) appeared in his publications a year or more before the exact calculation of zeta(2). Were those, or some other (probably unknown) computations, the source of the formula? I don't think it is known. – zyx Aug 22 '11 at 09:00