The Basel Problem II

Calculus Level 3

The great mathematician Leonhard Euler prove in 1735 that n = 1 1 n 2 = π 2 6 \sum_{n=1}^{\infty }\frac{1}{n^{2}}=\frac{\pi ^{2}}{6}

Then, n = 1 1 n 4 \sum_{n=1}^{\infty }\frac{1}{n^{4}} is...

π 3 490 \frac{\pi ^{3}}{490} π 4 80 \frac{\pi ^{4}}{80} π 4 90 \frac{\pi ^{4}}{90} π 4 930 \frac{\pi ^{4}}{930}

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Prasun Biswas
Feb 20, 2015

Just like n = 1 1 n 2 = ζ ( 2 ) = π 2 6 \displaystyle \sum_{n=1}^\infty \dfrac{1}{n^2}=\zeta(2)=\dfrac{\pi^2}{6} is a well-known result, we also have,

n = 1 1 n 4 = ζ ( 4 ) = π 4 90 \sum_{n=1}^\infty \frac{1}{n^4}=\zeta(4)=\frac{\pi^4}{90}

A general result that can be derived is,

n = 1 1 n 2 k = ζ ( 2 k ) = ( 1 ) k 1 ( 2 2 k B 2 k π 2 k ) 2 × ( 2 k ) ! \sum_{n=1}^\infty \frac{1}{n^{2k}}=\zeta(2k)=\frac{(-1)^{k-1}(2^{2k}B_{2k}\pi^{2k})}{2\times(2k)!}

where B 2 k B_{2k} are Bernoulli numbers (some may use the notation B k B_k since these numbers are defined only for even indexes. It all means the same).

Note: The general result is really difficult to prove (atleast for me).


Now, coming onto the proof part, there are a lot of proofs for this, some using Fourier Trigonometric Series, some using contour integrals and even some mimicking Euler's method of finding ζ ( 2 ) \zeta(2) to find ζ ( 4 ) \zeta(4) by considering roots different from what Euler considered.

Here 's the link to the entire discussion. I think giving the link to the discussion is better than posting just a single proof here.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...