Take the 2-minute tour ×
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.

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|improve this question
1  
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! –  Chris's sis Sep 7 '12 at 8:09
1  
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) :-) –  Chris's sis Sep 7 '12 at 8:34
add comment

3 Answers

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. $$

and

$$ \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|improve this answer
    
An amazing answer! –  Chris's sis Sep 7 '12 at 7:49
    
it would be so nice to have many answers / different approaching ways for questions like this one. :-) –  Chris's sis 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)$. –  Chris's sis 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. –  Chris's sis Sep 10 '12 at 8:21
show 3 more comments

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|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? –  Chris's sis 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. –  Chris's sis 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
show 1 more comment

@Chri's sister: see here http://www.artofproblemsolving.com/Forum/viewtopic.php?f=296&t=353720&p=1921474&hilit=Borwein#p1921474

share|improve this answer
    
thanks for the references. (+1) –  Chris's sis Sep 7 '12 at 7:35
add comment

Your Answer

 
discard

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.