|
kuing.cjhb.site/forum.php?mod=viewthread&tid=9638
Example 11.14. Let $g(z)=\cot (\pi z) / z^2$. By our discussion of the poles of $\cot (\pi z)$ above it follows that $g(z)$ has simple poles with residues $\frac{1}{\pi n^2}$ at each non-zero integer $n$ and residue $-\pi / 3$ at $z=0$.
--(4,0);%0D%0A%5Cforeach%5Ci%20in%7B-3.5,-2.5,-1.5%7D%7B%0D%0A%5Cdraw%5Bg%5D(%5Ci,-%5Ci)--(%5Ci,%5Ci)--(-%5Ci,%5Ci)--(-%5Ci,-%5Ci)--cycle;%0D%0A%5Cfill%5Bg%5D(-%5Ci,0)circle(.05)(%5Ci,0)circle(.05);%0D%0A%7D%0D%0A%5Cforeach%5Ci%20in%7B-3,...,3%7D%5Cfill%5Bred%5D(%5Ci,0)circle(.05)node%5Bbelow%5D%7B%24%5Ci%24%7D;%0D%0A%5Cend%7Btikzpicture%7D)
Consider now the integral of $g(z)$ around the paths $\Gamma_N$ : By Lemma 11.13 we know $|g(z)| \leq C /|z|^2$ for $z \in \Gamma_N^*$, and for all $N \geq 1$. Thus by the estimation lemma we see that
$$
\left(\int_{\Gamma_N} g(z) d z\right) \leq C \cdot(4 N+2) /(N+1 / 2)^2 \rightarrow 0,
$$
as $N \rightarrow \infty$. But by the residue theorem we know that
$$
\int_{\Gamma_N} g(z) d z=-\pi / 3+\sum_{\substack{n \neq 0,-N \leq n \leq N}} \frac{1}{\pi n^2} .
$$
It therefore follows that
$$
\sum_{n=1}^{\infty} \frac{1}{n^2}=\pi^2 / 6
$$
Remark 11.15. Notice that the contours $\Gamma_N$ and the function $\cot (\pi z)$ clearly allows us to sum other infinite series in a similar way - for example if we wished to calculate the sum of the infinite series $\sum_{n \geq 1} \frac{1}{n^2+1}$ then we would consider the integrals of $g(z)=\cot (\pi z) /\left(1+z^2\right)$ over the contours $\Gamma_N$.
Remark 11.16. Note that taking $g(z)=$ $\left(1 / z^{2 k}\right) \cot (\pi z)$ for any positive integer $k$, the above strategy gives a method for computing $\sum_{n=1}^{\infty} 1 / n^{2 k}$ (check that you see why we need to take even powers of $n$ ). The analysis for the case $k=1$ goes through in general, we just need to compute more and more of the Laurent series of $\cot (\pi z)$ the larger we take $k$ to be.
One can show that $\zeta(s)=\sum_{n=1}^{\infty} 1 / n^s$ converges to a holomorphic function of $s$ for any $s \in \mathbb{C}$ with $\Re(s)>1$ (as usual, we define $n^s=\exp (s \cdot \log (n))$ where $\log$ is the ordinary real logarithm). As $s \rightarrow 1$ it can be checked that $\zeta(s) \rightarrow \infty$, however it can be shown that $\zeta(s)$ extends to a meromorphic function on all of $\mathbb{C} \backslash\{1\}$. The identity theorem shows that this extension is unique if it exists ${ }^{15}$. (This uniqueness is known as the principle of "analytic continuation".) The location of the zeros of the $\zeta$-function is the famous Riemann hypothesis: apart from the "trivial zeros" at negative even integers, they are conjectured to all lie on the line $\Re(z)=1 / 2$. Its values at special points however are also of interest: Euler was the first to calculate $\zeta(2 k)$ for positive integers $k$, but the values $\zeta(2 k+1)$ (for $k$ a positive integer) remain mysterious - it was only shown in 1978 by Roger Apéry that $\zeta(3)$ is irrational for example. Our analysis above is sufficient to determine $\zeta(2 k)$ once one succeeds in computing explicitly the Laurent series for $\cot (\pi z)$ or equivalently the Taylor series of $z \cot (\pi z)=i z+2 i z /\left(e^{2 i z}-1\right)$. |
|