3
$\begingroup$

Using a little program in Python, it looks true for at least two hundred digits after the comma, but I have absolutely no idea, how to begin. Any hint sould be appreciate.

$$\lim_{x \to \infty} \int_0^x \frac{t^2}{2(e^t-1)}\mathrm{d}t=\lim_{n \to \infty}\sum_{k=1}^n \frac{1}{k^3}$$

It looks not very difficult, I tried a integration by part but it looks not to be the better way to compute it. I'm stuck there.

I should be glad, thank you in advance!

$\endgroup$
  • 2
    $\begingroup$ Yes, it's true. See e.g. this answer for a way to derive it. The gist of the derivation: expand $\frac{1}{e^t-1} = \frac{1}{e^t} \frac{1}{1-e^{-t}}$ in a geometrical series $\sum_{n=1}^\infty e^{-nt}$ and integrate term by term using the definition of the Gamma function to evaluate each integral. The general result is $\int_0^\infty \frac{t^{s-1}}{e^t-1}{\rm d}t = \zeta(s)\Gamma(s)$ where $\zeta(s)$ is the Riemann zeta function. $\endgroup$ – Winther Dec 31 '15 at 1:49
  • $\begingroup$ OK, i see, it looks a very funny way, i will do it. I never use the gamma function in my life but it looks in my way. Thank you. $\endgroup$ – Hexacoordinate-C Dec 31 '15 at 1:54
  • $\begingroup$ See this MO question for a, imo, particular nice derivation (just take $s=3$ to get your integral). $\endgroup$ – Winther Dec 31 '15 at 2:07
1
$\begingroup$

This may be more a long comment than an answer.

In a spirit similar to Winther's comments, it could be of interest to you to know that, using polylogarithms and their properties, $$\int \frac{t^2}{2(e^t-1)}\,{dt}=t \text{Li}_2\left(e^t\right)-\text{Li}_3\left(e^t\right)-\frac{1}{6} t^2 \left(t-3 \log \left(1-e^t\right)\right)$$ So,$$\int_0^x \frac{t^2}{2(e^t-1)}\,{dt}=x \text{Li}_2\left(e^x\right)-\text{Li}_3\left(e^x\right)-\frac{1}{6} x^2 \left(x-3 \log \left(1-e^x\right)\right)+\zeta (3)$$ and, if $x\to \infty$, the only term left is $\zeta (3)=\sum_{k=1}^\infty \frac{1}{k^3}$.

$\endgroup$
  • $\begingroup$ No it's not in my interest because my maths level is the level of PC classe préparatoire ;) But thank you ! :) $\endgroup$ – Hexacoordinate-C Dec 31 '15 at 3:36
  • $\begingroup$ In which lycée are you in classe préparatoire (if I may ask) ? May be you noticed that I am in France. $\endgroup$ – Claude Leibovici Dec 31 '15 at 3:40
  • $\begingroup$ I was in a good one in Lyon. :) $\endgroup$ – Hexacoordinate-C Dec 31 '15 at 3:49
  • $\begingroup$ If you were, what are you doing now ? I looked at your profile and I have been interested by the fact that you are concerned by quantum stuff. I started my career as a quantun chemist and I still work in this area. If you want, at any time, we discuss, you can find my e-mail address in my profile. Cheers. $\endgroup$ – Claude Leibovici Dec 31 '15 at 3:55
  • $\begingroup$ I will send you a mail in few minutes. I don't like to show myself in front of everybody. :-) $\endgroup$ – Hexacoordinate-C Dec 31 '15 at 3:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.