Calculating $ \int _{0} ^{\infty} \frac{x^{3}}{e^{x}-1}\;dx$

how to calculate $$\int_0^\infty \frac{x^{3}}{e^{x}-1} \; dx$$

Be $q:= e^{z}-1 , p:= z^{3}$ , then $e^{z} = 1 $ if $z= 2\pi n i $, so the residue at 0 is : $$\frac{p(z_{0})}{q'(z_{0})} = 2\pi i n ^{3}$$

problem is that this is not symmetric, so how does one find the definite integral?

Solution 1:

In general, $$ \begin{align} \int_0^\infty\frac{x^n}{e^x-1}\mathrm{d}x &=\sum_{k=1}^\infty\int_0^\infty x^ne^{-kx}\mathrm{d}x\\ &=\sum_{k=1}^\infty\frac{1}{k^{n+1}}\int_0^\infty x^ne^{-x}\mathrm{d}x\\ &=\zeta(n+1)\Gamma(n+1) \end{align} $$ In the particular case of $n=3$, we get $$ \begin{align} \int_0^\infty\frac{x^3}{e^x-1}\mathrm{d}x &=\zeta(4)\Gamma(4)\\ &=\frac{\pi^4}{90}\cdot6\\ &=\frac{\pi^4}{15} \end{align} $$

Solution 2:

The integral $\int_0^\infty x^s/(e^x-1)\,dx$ with complex $s$ was used by Riemann in one of his proofs of the meromorphic continuation of zeta, using on one hand the expansion written earlier by @robjohn (where the "3" could be replaced by a complex number with positive real part), and, on the other hand, the Hankel or "keyhole" contour, as follows. (Also responding to VVV's comment/question.)

For non-integer complex $s$, at first with positive real part, let $H$ be a Hankel contour: coming in from $+\infty$ along the real line, going clockwise around a small circle around $0$, and back out to $+\infty$. The point is that to have $x^s=e^{s\log x}$ on the integral "out", one has $e^{s(\log x-2\pi i)}$ on the integral "in". Thus, the integral is $\int_H {z^s\,dz\over e^z-1}\cdot {1\over 1-e^{-2\pi is}}$. This gives the meromorphic continuation of $\Gamma(s)\zeta(s)$, for one.

But, also, it evaluates $\zeta(s)$ at non-positive integers: rearranging, $$ \zeta(s+1) = {1\over \Gamma(s+1)\cdot (1-e^{-2\pi i s})}\cdot \int_H {z^s\,dz\over e^z-1} $$ The leading term has a removable singularity at negative integers, and the integral can be evaluated by residues.