# How to compute the monstrous $\int_0^{\frac{e-1}{e}}{\frac{x(2-x)}{(1-x)}\frac{\log\left(\log\left(1+\frac{x^2}{2-2x}\right)\right)}{2-2x+x^2}dx}$

A friend told me, that he found a closed form for the following integral: $$\int_0^{\frac{e-1}{e}}{\frac{x(2-x)}{(1-x)}\frac{\log\left(\log\left(1+\frac{x^2}{2-2x}\right)\right)}{\left(2-2x+x^2\right)}dx}$$ I don't know if he's just messing around with me, but I wonder if this integral admits a closed form. I tried to expand the $\log(\log)$ term into a power series, but things got worse. So any help will be appreciated!

• Wolfram Alpha can do it. Let $u=\ln\left(1 + \frac{x^2}{2-2x}\right)$ and then do integration by parts. – Christopher Carl Heckman Aug 21 '15 at 22:40
• Observing $\log\left(\log\left(1+\frac{x^2}{2-2x}\right)\right) = \log(\log(2-2x+x^2) - \log(2-2x))$ could be useful – Blex Aug 21 '15 at 22:43
• @Blex: how could it be useful, can you explain?i don't understand please – Bhaskara-III Sep 21 '16 at 10:39

Notice, we have $$\int_{0}^{\frac{e-1}{e}}\frac{x(2-x)}{1-x}\frac{\log\left(\log\left(1+\frac{x^2}{2-2x}\right)\right)}{2-2x+x^2}dx$$ $$=\int_{0}^{\frac{e-1}{e}}\frac{x(2-x)}{1-x}\frac{\log\left(\log\left(\frac{2-2x+x^2}{2-2x}\right)\right)}{2-2x+x^2}dx$$

Let, $$\log\left(\frac{2-2x+x^2}{2-2x}\right)=u$$ $$\implies \frac{d}{dx}\left(\log\left(\frac{2-2x+x^2}{2-2x}\right)\right)=\frac{d}{dx}(u)$$ $$\frac{1}{\left(\frac{2-2x+x^2}{2-2x}\right)}\cdot \left(\frac{(2-2x)(-2+2x)-(2-2x+x^2)(-2)}{(2-2x)^2} \right)=\frac{du}{dx}$$ $$\left(\frac{2-2x}{2-2x+x^2}\right)\cdot \left(\frac{2x(2-x)}{(2-2x)^2} \right)=\frac{du}{dx}$$ $$\frac{x(2-x)}{(1-x)}\frac{1}{(2-2x+x^2)}dx=du$$ Now, we have $$\int_{0}^{\log\left(\frac{e^2+1}{2e}\right)}\log(u)du$$

$$=\left[u\log(u)-u\right]_{0}^{\log\left(\frac{e^2+1}{2e}\right)}$$ $$=\left[u\log\left(\frac{u}{e}\right)\right]_{0}^{\log\left(\frac{e^2+1}{2e}\right)}$$

$$=\log\left(\frac{e^2+1}{2e}\right)\cdot\log\left(\frac{1}{e}\log\left(\frac{e^2+1}{2e}\right)\right)-\lim_{u\to 0}u\log\left(\frac{u}{e}\right)$$

$$=\log\left(\frac{e^2+1}{2e}\right)\cdot\log\left(\frac{1}{e}\log\left(\frac{e^2+1}{2e}\right)\right)-0$$

Hence, we get

$$\bbox[5px, border:2px solid #C0A000]{\color{red}{\int_{0}^{\frac{e-1}{e}}\frac{x(2-x)}{1-x}\frac{\log\left(\log\left(1+\frac{x^2}{2-2x}\right)\right)}{2-2x+x^2}dx}=\color{blue}{\log\left(\frac{e^2+1}{2e}\right)\cdot \log\left(\frac{1}{e}\log\left(\frac{e^2+1}{2e}\right)\right)}}$$

• Finally, someone ended their answer with flavour! – Mr Pie Feb 18 '18 at 13:52

Here comes the help! $$\mathcal{I}=(\varphi-1)\left(\ln(\varphi-1)-1\right)$$ $$\text{with}\qquad \varphi=\ln\left(\frac{1+e^{2}}{2}\right)$$ Namagiri is on fire today.

• What/ who is Namagiri? – mysatellite Aug 21 '15 at 23:49
• How did you obtain this? I would recommend posting a development of the solution rather than the end result, which apparently is available via Maple. – Mark Viola Aug 22 '15 at 6:15
• @user109899 Compute and simplify the derivative of $\ln\left(1+\frac{x^2}{2-2x}\right)$. – Start wearing purple Aug 22 '15 at 10:04
• @L.G. Two examples make up a very small sample on which to base a general conclusion ... especially when that person is so highly mathematically inclined as you are. – Mark Viola Aug 22 '15 at 16:55
• – Eric Stucky Aug 23 '15 at 0:11