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 $)?
  • 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
    @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