# Integral $\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$

I decided to follow a recent trend and ask a question about logarithmic integrals :)

Is there a closed form for this integral? $$\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$$

• – math_man Sep 16 '14 at 18:14
• @math_man There are some general results about non-existence of indefinite integrals in certain terms for some classes of functions, but AFAIK there is no such general theory for definite integrals. – Vladimir Reshetnikov Sep 16 '14 at 19:02
• By writing $\log(1+x) = \log(1-x^2) - \log(1-x)$, we can express the integral in terms of derivatives of the Beta function. It is tedious and not very interesting to calculate the result, but it certainly exists in terms of polygamma functions. – user111187 Sep 16 '14 at 20:03
• @user111187: I don't think so. – Lucian Sep 16 '14 at 23:36
• @Lucian Yes, amd also this, this, this, this and this. – Nik Z. Sep 19 '14 at 16:51

## 1 Answer

This integral is equal to $$-4\big( \zeta(-3,-1,-1,-1) +\zeta(-3,-1,1,-1) +\zeta(-3,1,-1,1) +\zeta(3,-1,-1,-1) +\zeta(3,-1,1,-1) +\zeta(3,1,-1,1) \big)$$ in terms of the multiple zeta function, which can also be simplified to $$2\zeta(-5,-1)-2\zeta(-5,1)+2\zeta(5,-1)+{\textstyle\frac32}\zeta(5,1)+4\zeta(-3,1,1,1),$$ of which only \begin{aligned} \zeta(5,1) &= {\textstyle\frac34}\zeta(6)-{\textstyle\frac12}\zeta(3)^2 \\ \zeta(5,-1) &= {\textstyle\frac{111}{64}} \zeta (6)-{\textstyle\frac{9}{32}} \zeta (3)^2-{\textstyle\frac{31}{16}} \zeta (5) \log (2) \end{aligned} have a known closed form (see also this article about Euler sums, and also Euler Sums and Contour Integral Representations by Philippe Flajolet and Bruno Salvy).

• Could you express it in terms of non-multiple zeta and polylogarithms? – Vladimir Reshetnikov Sep 21 '14 at 1:03
• @VladimirReshetnikov No, I tried weight-6 combinations of zeta functions, and logs and polylogs of arguments $\frac{u}{v}$, $1\leq u\leq 4$. But I'm not confident an expression doesn't exist. – Kirill Sep 21 '14 at 1:05
• Perhaps $\zeta(-5,-1)-\zeta(-5,+1)$ could possess a closed form even if neither term separately is known to have one. – Lucian Apr 7 '17 at 21:36