Finding solution to zeta function of $4$ using Euler's solution to the Basel problem

174 Views Asked by At

I recently read and immediately loved Euler's solution to the Basel problem. In essence, he took the polynomial on the LHS of the below equation and equated it to the infinite product of its factors by noting that the polynomial is just $\frac{sin(x)}{x}$, and that $sin(x)$ has roots at integer multiples of $\pi$.

$$1 - \frac{x^2}{3!} + \frac{x^4}{5!} -... = (1-\frac{x^2}{\pi^2})(1-\frac{x^2}{4 \pi^2})...$$

You can then expand and equate the $x^2$ term to find the solution to the zeta function of $2$. This part makes sense to me, but the article then stated that he further expanded the product to find (in theory) all even values of the zeta function.

I was trying to do this myself to find the solution to the zeta function of $4$, but have thus far been unsuccessful. I tried expanding further on the RHS, but didn't end up with inverse fourth power terms like I wanted. I also tried multiplying both sides by the infinite product $(1+\frac{x^2}{\pi^2})(1+\frac{x^2}{4 \pi^2})...$ to get the desired RHS, but the LHS seemed to get quite messy in the process.

I would greatly appreciate some help!

2

There are 2 best solutions below

5
On BEST ANSWER

Hint:

Well, you know this much:

$$\frac{\sin(x)}x=\left(1-\frac{x^2}{1^2\pi^2}\right)\left(1-\frac{x^2}{2^2\pi^2}\right)\dots$$

From that, you should be able to deduce the following:

$$\frac{\sin(ix)}{ix}=\left(1+\frac{x^2}{1^2\pi^2}\right)\left(1+\frac{x^2}{2^2\pi^2}\right)\dots$$

And multiply them together, you have

$$\frac{\sin(x)}x\frac{\sin(ix)}{ix}=\left(1-\frac{x^4}{1^4\pi^4}\right)\left(1-\frac{x^4}{2^4\pi^4}\right)\dots$$

1
On

One way to do that would be to partially multiply out the product up to the term $x^{4}$ and compare it to the $x^{4}$ in $\frac{\sin\left(\pi x\right)}{\pi x}$

If you begin to multiply and collect the terms in the fashion of $\sum_{j>i>0}^{} \frac{1}{i^{2}j^{2}}$, Then you have the following equality; \begin{equation} 2\sum_{j>i>0}^{} \frac{1}{i^{2}j^{2}}=\sum_{n>0}^{} \frac{1}{n^{2}}^{2}-\sum_{n>0}^{} \frac{1}{n^{4}} \end{equation}

From there, it is possible to find $\zeta(4)$ if you know $\zeta(2)$ and the coefficient of $x^{4}$ in $\frac{\sin\left(\pi x\right)}{\pi x}$