Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Compute $$ \int_{0}^{1}\frac{\ln(x) \ln^2 (1-x)}{x} dx $$

I'm looking for some nice proofs at this problem. One idea would be to use Taylor expansion and then integrating term by term. What else can we do? Thanks.

share|cite|improve this question
Concerning Euler's early work you may see this article from Sandifer's excellent 'How Euler did it'. – Raymond Manzoni Sep 7 '12 at 8:04
@Raymond Manzoni: it's a nice paper! – user 1618033 Sep 7 '12 at 8:09
I'm really glad that such questions exist! If they weren't around then we'd need to invent them. This way one may see the real beauty of calculus (my opinion) :-) – user 1618033 Sep 7 '12 at 8:34
up vote 8 down vote accepted

This answer is from my old calculation.

First, assume we are well aware of the following famous result.

$$\zeta(2) =\frac{\pi^{2}}{6}, \quad \zeta(4) =\frac{\pi^{4}}{90}$$

Next, by a simple calculation we obtain

$$ H_{n} := \sum_{k=1}^{n} \frac{1}{k} =\int_{0}^{1}\frac{1-t^{n}}{1-t}\, dt. $$


$$ \frac{\log (1-x)}{1-x}\ =\ -\sum_{n=1}^{\infty}H_{n}x^{n}. $$

Finally, define the polylogarithm as

$$ \mathrm{Li}_{s}(x) :=\sum_{n=1}^{\infty} \frac{x^n}{n^s}, $$

so that it satisfies the recurrence relation

$$ \mathrm{Li}_{1}(x) =-\log (1-x) , \quad \mathrm{Li}_{s+1}(x) =\int_{0}^{x}\frac{\mathrm{Li}_{s}(t)}{t}\, dt $$

and the identity

$$ \mathrm{Li}_{s}(1) =\zeta(s). $$

The the all-in-one straight calculation goes as follows:

\begin{align*} \int_{0}^{1}\frac{\log x\log^{2}(1-x)}{x}\, dx & = \int_{0}^{1}\frac{\log (1-x)\log^{2}x}{1-x}\, dx = -\sum_{n=1}^{\infty}H_{n}\int_{0}^{1}x^{n}\log^{2}x\, dx\\ & = -2\sum_{n=1}^{\infty}\frac{H_{n}}{(n+1)^{3}}\\ & = 2\sum_{n=1}^{\infty}\left[\frac{1}{(n+1)^{4}}-\frac{H_{n+1}}{(n+1)^{3}}\right] = 2\sum_{n=0}^{\infty}\left[\frac{1}{(n+1)^{4}}-\frac{H_{n+1}}{(n+1)^{3}}\right]\\ & = 2\zeta(4)-2\sum_{n=1}^{\infty}\frac{H_{n}}{n^{3}}\\ & = 2\zeta(4)-2\sum_{n=1}^{\infty}\frac{1}{n^{3}}\int_{0}^{1}\frac{1-t^{n}}{1-t}\, dt = 2\zeta(4)-2\int_{0}^{1}\frac{\zeta(3)-\mathrm{Li}_{3}(t)}{1-t}\, dt\\ & = 2\zeta(4)+\left[2 (\zeta(3)-\mathrm{Li}_{3}(t))\log (1-t)\right]_{0}^{1}+2\int_{0}^{1}\frac{\mathrm{Li}_{2}(t)\log (1-t)}{t}\, dt\\ & = 2\zeta(4)-2\int_{0}^{1}\mathrm{Li}_{2}(t)\frac{d\mathrm{Li}_{2}(t)}{dt}\, dt\\ & = 2\zeta(4)-\left[\mathrm{Li}_{2}^{2}(t)\right]_{0}^{1} = 2\zeta(4)-\zeta(2)^{2} = \frac{\pi^{4}}{45}-\frac{\pi^{4}}{36} = -\frac{\pi^{4}}{180}\\ & = -\frac{1}{2}\zeta(4). \end{align*}

share|cite|improve this answer
An amazing answer! – user 1618033 Sep 7 '12 at 7:49
it would be so nice to have many answers / different approaching ways for questions like this one. :-) – user 1618033 Sep 7 '12 at 8:01
I just noticed that also $\int_{0}^{1}\frac{\ln^2(x) \ln (1-x)}{x} dx$ has a nice result that involves $\zeta(4)$. – user 1618033 Sep 10 '12 at 8:06
@Chris'ssister: you may find many integrals of this kind in my link (around (417)) to your other thread $\sum_{n=1}^{\infty}\dfrac {1\cdot 3\cdots (2n-1)} {2\cdot 4\cdots (2n)\cdot (2n+1)}$ (see too (437) !). – Raymond Manzoni Sep 10 '12 at 8:20
@Raymond Manzoni: thanks! That is great link. I'm trying to learn tricks about solving very difficult integrals and Euler sums. – user 1618033 Sep 10 '12 at 8:21

The Taylor expansion approach gives you $-2 \sum_{k=1}^\infty H_k/(k+1)^3$ where $H_k = \sum_{n=1}^k 1/n$. Wolfram Alpha says this is $-\pi^4/180$, but I don't know how it gets that.

share|cite|improve this answer
adding the $k+1$ term to $H_k$ we get $\ 2\zeta(4)-2\sum_{k=1}^\infty \frac {H_k}{k^4}$. Euler found (24) of mathworld $2\sum_{k=1}^\infty \frac {H_k}{k^m}=(m+2)\zeta(m+1)-\sum_{n=1}^{m-2}\zeta(m-n)\zeta(n+1)$. I didn't verify this... – Raymond Manzoni Sep 7 '12 at 6:55
@Raymond Manzoni: do you know some free paper with nice proofs for these sums? – user 1618033 Sep 7 '12 at 7:04
@Chris'ssister: I don't have my references here but free papers about Euler sums (or MZV multiple zeta values) are numerous (Borwein, Bailey, Broadhurst and many physicists). Start perhaps with Wolfram Euler sums (references look fine!). – Raymond Manzoni Sep 7 '12 at 7:08
@Raymond Manzoni: OK. Thanks. – user 1618033 Sep 7 '12 at 7:13
@Chris'ssister: many results were obtained in an experimental way (LLL PSLQ) in the early nineties as seen in this paper of Bailey. Compendium of results (click on one of the names for other papers). It's a rather interesting subject ! – Raymond Manzoni Sep 7 '12 at 7:31

@Chri's sister: see here

share|cite|improve this answer
thanks for the references. (+1) – user 1618033 Sep 7 '12 at 7:35

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.