Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to evaluate $$\int_{0}^{1}{\frac{{{\ln }^{2}}\left( 1-x \right){{\ln }^{2}}\left( 1+x \right)}{1+x}dx}$$ I run this integral on Maple, It does converge. How we get a closed form? Is that related to polylogs? $\operatorname{Li}_{5}\left(\frac{1}{2}\right)$

share|cite|improve this question
A very nice question (+1) – user 1618033 Dec 28 '12 at 14:01
up vote 8 down vote accepted

$$\begin{eqnarray*} \int_{0}^{1}{\frac{{{\ln }^{2}}\left( 1-x \right){{\ln }^{2}}\left( 1+x \right)}{1+x}dx} &=& \left. \left(\frac{\partial^2}{\partial s^2}\frac{\partial^2}{\partial t^2} \int_0^1 dx\, (1-x)^s(1+x)^{t-1} \right) \right|_{s=t=0} \\ &=& \left. \left(\frac{\partial^2}{\partial s^2}\frac{\partial^2}{\partial t^2} \,\frac{{}_2F_1(1-t,1;s+2;-1)}{s+1} \right) \right|_{s=t=0} \end{eqnarray*}$$ Here we've used Euler's integral representation for the hypergeometric function.

Addendum: Using the series representation for the hypergeometric function we can take the derivatives. After a little work we find the integral can be written as $$\sum_{k=2}^\infty \frac{(-1)^k}{k+1} \left(H_k^2 - H_k^{(2)}\right) \left(H_{k+1}^2 + H_{k+1}^{(2)}\right),$$ where $H_k$ and $H_k^{(n)}$ are the harmonic and generalized harmonic numbers, respectively. This sum has bad convergence behavior, the terms go like $(-1)^k(\log k)^4/k$ $(k\to\infty)$. Since the sum is alternating we could accelerate it using the Euler transform, for example.

share|cite|improve this answer
Thx! But there should be a nicer form : ) – Ryan Dec 28 '12 at 2:36
@Ryan: If it exists someone will post it here. I would be surprised, but I have been before. :-) – user26872 Dec 28 '12 at 3:02
@oen: I went exactly that way, but it didn't lead me to a nice form. Chris. (+1) – user 1618033 Dec 28 '12 at 9:32
@Chris'ssister : Sure buddy : ) – Ryan Dec 28 '12 at 10:25
@Chris'ssister I m sry guys, Actually one of the integral got a missing lnx term :( You can see here (lots of integral and papers etc) :… – Ryan Jan 30 '13 at 2:29

The result is -4〖Li〗_5 (1/2)+4ζ(3) 〖Log〗^2 2-(2π^2)/9 〖Log〗^3 2- π^2/3 ζ(3)-π^4/20 Log2+ 7/30 〖Log〗^5 2+ 63/8 ζ(5) =0,418709830998418751408037243448…

share|cite|improve this answer
Do you mean:$$-4\operatorname{Li}_5(\frac12)+4\zeta(3)\log^2(2)-\frac{2\pi^2}9 \log^3(2)-\frac{\pi^2}{3}\zeta(3)-\frac{\pi^4}{20}\log2+\frac7{30}\log^5(2)+ \frac{63}8\zeta(5)$$ – Akiva Weinberger Sep 21 '14 at 20:32
Also: That seems to be correct, numerically. How did you get this? – Akiva Weinberger Sep 21 '14 at 20:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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