9
$\begingroup$

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:

  • Dose this sum converge?
  • Is there a name of this sum (or the series $1 / k ^2 $)?
  • 6
    Converge? [Well, sure...](http://math.stackexchange.com/questions/8337)2011-08-22
  • 0
    This is a special case of a $p$-series. $\sum{1/k^p}$ converges if and only if $p\gt 1$.2011-08-22
  • 1
    [This](http://math.stackexchange.com/questions/29450/29466#29466) cute general proof by joriki should interest you as well.2011-08-22
  • 1
    Arturo's comment reminded me of something that had been bugging me lately: it's already known as a $\zeta$ function, so why did the name "p-series" have to be given to it as well (unless that was how it was called before Riemann's investigations...)?2011-08-22
  • 2
    A nice and very elementary proof is contained in the following preprint of Dr Daniel Daners (Univeristy of Sydney). It uses tools that most high school students can understand. http://www.maths.usyd.edu.au/u/daners/publ/abstracts/zeta2/zeta2.pdf2011-08-22

2 Answers 2

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.

6

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

  • 0
    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.2011-08-22
  • 0
    @zyx: Thank you for the explanation, I've incorporated it into my post. I wouldn't want to denigrate Euler :)2011-08-22
  • 0
    "He also developed methods of numerical calculation..." - that'd be what we now call the "Euler-Maclaurin formula".2011-08-22
  • 0
    @J.M.: and acceleration of series, and ...2011-08-22
  • 0
    Yes, but in the case of the Basel problem, he specifically used Euler-Maclaurin, @zyx.2011-08-22
  • 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.2011-08-22
  • 0
    @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... :)2011-08-22
  • 0
    @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.2011-08-22