# Nice proofs of $\zeta(4) = \pi^4/90$?

I know some nice ways to prove that $\zeta(2) = \sum_{n=1}^{\infty} \frac{1}{n^2} = \pi^2/6$. For example, see Robin Chapman's list or the answers to the question "Different methods to compute $\sum_{n=1}^{\infty} \frac{1}{n^2}$?"

Are there any nice ways to prove that $$\zeta(4) = \sum_{n=1}^{\infty} \frac{1}{n^4} = \frac{\pi^4}{90}?$$

I already know some proofs that give all values of $\zeta(n)$ for positive even integers $n$ (like #7 on Robin Chapman's list or Qiaochu Yuan's answer in the linked question). I'm not so much interested in those kinds of proofs as I am those that are specifically for $\zeta(4)$.

I would be particularly interested in a proof that isn't an adaption of one that $\zeta(2) = \pi^2/6$.

-
I would say that most of the standard proofs for computing $\zeta(2)$ applies to $\zeta(2n)$ too (here $n>0$ is an integer). –  AD. Mar 21 '11 at 20:07
@AD: Yeah, that issue is part of what I was trying to get at with my question: Are there any proofs that $\zeta(4) = \pi^4/90$ that aren't just adaptions of a proof that $\zeta(2) = \pi^2/6$? I probably should have made that more explicit. –  Mike Spivey Mar 21 '11 at 22:58
I wondering what does the $\zeta$ represent? Is that of any significance or just a variable? –  night owl Feb 27 '12 at 2:40
@nightowl: It refers to the Riemann zeta function. –  Mike Spivey Feb 27 '12 at 3:22
@nightowl The Riemann Zeta Function $\zeta(s)$ is of great significance. –  zerosofthezeta Dec 4 '13 at 16:12

In the same spirit of the 1st proof of this answer. If we substitute $x$ for $\pi$ in the Fourier trigonometric series expansion of $% f(x)=x^{4}$, with $-\pi \leq x\leq \pi$,

$$x^{4}=\frac{1}{5}\pi ^{4}+\sum_{n=1}^{\infty }\frac{8n^{2}\pi ^{2}-48}{n^{4}}\cos n\pi \cdot \cos nx,$$

we obtain

$$\begin{eqnarray*} \pi ^{4} &=&\frac{1}{5}\pi ^{4}+\sum_{n=1}^{\infty }\frac{8n^{2}\pi ^{2}-48}{% n^{4}}\cos ^{2}n\pi \\ &=&\frac{1}{5}\pi ^{4}+8\pi ^{2}\sum_{n=1}^{\infty }\frac{1}{n^{2}}% -48\sum_{n=1}^{\infty }\frac{1}{n^{4}}\text{.} \end{eqnarray*}$$

Hence

$$\sum_{n=1}^{\infty }\frac{1}{n^{4}}=\frac{\pi ^{4}}{48}\left( -1+\frac{1}{5}+ \frac{8}{6}\right) =\frac{\pi ^{4}}{48}\cdot \frac{8}{15}=\frac{1}{90}\pi ^{4}.$$

-
Américo Tavares, can this proof be extended to calculate, recursively, values of $\zeta(2n)$ for larger values of $n$? –  Mike Spivey Mar 21 '11 at 18:35
Mike Spivey, I think so, but I am not quite sure. One that can be extended for sure is the second proof in my answer math.stackexchange.com/questions/8337/…. –  Américo Tavares Mar 21 '11 at 18:41
Thanks! (extra characters) –  Mike Spivey Mar 21 '11 at 18:49
@Mike Spivey, It can. I posted the computation in this Portuguese post problemasteoremas.wordpress.com/2011/05/25/… . I got $$x^{2p}=\frac{\pi ^{2p}}{2p+1}+\frac{2}{\pi }\sum_{n=1}^{\infty }\left( \cos nx\cdot I_{2p}\right) ,$$ where $$I_{2p}=\int_{0}^{\pi }x^{2p}\cos nx\;\mathrm{d}x$$ satisfies $$I_{2p}=\frac{2p}{n^{2}}\pi ^{2p-1}\cos n\pi -\frac{2p\left( 2p-1\right) }{% n^{2}}I_{2\left( p-1\right) }\qquad I_{0}=0$$ –  Américo Tavares May 27 '11 at 10:39

Consider the function $f(t):=t^2\ \ (-\pi\leq t\leq \pi)$, extended to all of ${\mathbb R}$ periodically with period $2\pi$. Developping $f$ into a Fourier series we get $$t^2 ={\pi^2\over3}+\sum_{k=1}^\infty {4(-1)^k\over k^2}\cos(kt)\qquad(-\pi\leq t\leq \pi).$$ If we put $t:=\pi$ here we easily find $\zeta(2)={\pi^2\over6}$. For $\zeta(4)$ we use Parseval's formula $$\|f\|^2=\sum_{k=-\infty}^\infty |c_k|^2\ .$$ Here $$\|f\|^2={1\over2\pi}\int_{-\pi}^\pi t^4\>dt={\pi^4\over5}$$ and the $c_k$ are the complex Fourier coefficients of $f$. Therefore $c_0={\pi^2\over3}$ and $|c_{\pm k}|^2={1\over4}a_k^2={4\over k^4}$ $\ (k\geq1)$. Putting it all together gives $\zeta(4)={\pi^4\over 90}$.

-
Thanks for your answer, Christian. –  Mike Spivey Mar 22 '11 at 17:56
I believe this is exercise 14, of Chapter 8 of Rudin's Principles of Mathematical Analysis 3E. (Page 199) –  Eric Naslund Mar 29 '11 at 16:21

If you are specially interested only in $\zeta(4)$, the following proof would work but this is an adaptation Euler's idea. The idea is just to mimic Euler's proof for the Basel problem. Euler looks at the function whose zeros are at $\pm \pi, \pm 2 \pi, \pm 3 \pi, \ldots$

To evaluate $\zeta(4)$, we can mimic Euler's idea and look at roots at $\pm \pi, \pm i \pi,\pm 2 \pi, \pm 2 i \pi,\pm 3 \pi, \pm 3 i \pi$.

Let $$p(z) = \left(1 - \left(\frac{z}{i \pi}\right)^4 \right) \times \left(1 - \left(\frac{z}{2 i \pi}\right)^4 \right) \times \left(1 - \left(\frac{z}{3 i \pi}\right)^4 \right) \times \cdots$$

It is not hard to guess that $p(z)$ is same as $$\frac{i \sin(z) \times \sin \left( \frac{z}{i} \right)}{z^2} = \left(1-\frac{z^2}{3!} + \frac{z^4}{5!} -\cdots \right) \times \left(1+\frac{z^2}{3!} + \frac{z^4}{5!} + \cdots \right)$$

Compare the coefficient of $z^4$ to get $$\zeta(4) = \frac{\pi^4}{90}$$

This proof could be extended for any even number to give that $$\zeta(2n) = (-1)^{n+1} \frac{B_{2n} 2^{2n}}{2(2n)!} \pi^{2n}$$

As expected for odd numbers, this doesn't work. For instance for $3$, if you try to work out by looking at $$p(z) = \left(1 - \left(\frac{z}{\omega \pi}\right)^3 \right) \times \left(1 - \left(\frac{z}{2 \omega \pi}\right)^3 \right) \times \left(1 - \left(\frac{z}{3 \omega \pi}\right)^3 \right) \times \cdots$$ where $\omega^3 = 1$ there is an asymmetry since $$\sin(z) \sin \left( \frac{z}{\omega}\right) \sin \left( \frac{z}{\omega^2}\right)$$ extends on both sides and the non-zero roots are at $$\pm \pi,\pm \omega \pi,\pm \omega^2 \pi,\pm 2 \pi,\pm 2 \omega \pi,\pm 2 \omega^2 \pi,\pm 3 \pi,\pm 3 \omega \pi,\pm 3 \omega^2 \pi,\ldots$$ and hence the $\zeta(3)$ terms nicely hides by canceling out and the resulting expression only gives $\zeta(6)$.

-
Thanks, Sivaram. –  Mike Spivey May 27 '11 at 14:02
From How many ways to calculate: $\sum_{n=-\infty}^{+\infty}\frac{1}{(u+n)^2}$ where $u \not \in \Bbb{Z}$, we know that $$\sum_{n=-\infty}^\infty \frac{1}{(z+n)^2}=\frac{\pi^2}{\sin^2(\pi z)}.$$ Differentiating this twice, we have $$\sum_{n=-\infty}^\infty \frac{1}{(z+n)^4}=\frac{\pi^4(2+\cos(2\pi x))}{3\sin^4(\pi z)}.$$ So $$\sum_{n=1}^\infty \left(\frac{1}{(z-n)^4}+\frac{1}{(z+n)^4}\right)=\frac{\pi^4(2+\cos(2\pi x))}{3\sin^4(\pi z)}-\frac{1}{z^4}.$$ Note that the LHS of the above is analytic $z=0$ and hence $$\sum_{n=1}^\infty\frac{1}{n^4}=\lim_{z\to 0}\frac{1}{2}\left(\frac{\pi^4(2+\cos(2\pi x))}{3\sin^4(\pi z)}-\frac{1}{z^4}\right)=\frac{\pi^4}{90}.$$