Find $\int_0^1\frac{\ln^2(1-x)}{x}\ dx$

We have $$\int_{0}^{1}\frac{\log^{2}\left(1-x\right)}{x}dx\stackrel{x\rightarrow1-x}{=}\int_{0}^{1}\frac{\log^{2}\left(x\right)}{1-x}dx$$ $$\stackrel{DCT}{=} \sum_{k\geq0}\int_{0}^{1}\log^{2}\left(x\right)x^{k}dx\stackrel{IBP}{=} 2\sum_{k\geq0}\frac{1}{\left(k+1\right)^{3}}=\color{red}{2\zeta\left(3\right)}.$$


I thought it might be instructive to present a way forward that exploits the Polylogarithm Functions. To that end, we proceed.

Note that integrating by parts with $u=\log^2(1-x)$ and $v=\log(x)$, we have

$$\begin{align} \int_0^1 \frac{\log^2(1-x)}{x}\,dx=2\int_0^1 \frac{\log(1-x)\log(x)}{1-x}\,dx \tag 1 \end{align}$$

Integrating by parts the right-hand side of $(1)$ with $u=\log(1-x)$ and $v=\text{Li}_2(1-x)$ yields

$$\begin{align} 2\int_0^1 \frac{\log(1-x)\log(x)}{1-x}\,dx&=2\int_0^1 \frac{\text{Li}_2(1-x)}{1-x}\,dx\\\\ &=2\int_0^1 \frac{\text{Li}_2(x)}{x}\,dx\\\\ &=2\text{Li}_3(1)\\\\ &=2\zeta(3) \end{align}$$

as expected!


$\newcommand{\angles}[1]{\left\langle\,{#1}\,\right\rangle} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\half}{{1 \over 2}} \newcommand{\ic}{\mathrm{i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\Li}[1]{\,\mathrm{Li}_{#1}} \newcommand{\mc}[1]{\,\mathcal{#1}} \newcommand{\mrm}[1]{\,\mathrm{#1}} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$

  1. This one is $\ul{slightly\ different}$ of the straightforward @Dr. MV answer: \begin{align} \color{#f00}{{1 \over 16}\int_{0}^{1}{\ln^{2}\pars{1 - x} \over x}\,\dd x} &\,\,\, \stackrel{x\ \mapsto\ \pars{1 - x}}{=}\,\,\, {1 \over 16}\int_{0}^{1}{\ln^{2}\pars{x} \over 1 - x}\,\dd x \end{align}
    Integrating by Parts a few times ( the main purpose is to 'sit' a $\ds{\ln\pars{1 - x}}$-factor in the integrand numerator ): \begin{align} \color{#f00}{{1 \over 16}\int_{0}^{1}{\ln^{2}\pars{1 - x} \over x}\,\dd x} & = {1 \over 16}\int_{0}^{1}\ln\pars{1 - x} \bracks{2\ln\pars{x}\,{1 \over x}}\,\dd x = -\,{1 \over 8}\int_{0}^{1}\Li{2}'\pars{x}\ln\pars{x}\,\dd x \\[5mm] & = {1 \over 8}\int_{0}^{1}\Li{2}\pars{x}\,{1 \over x}\,\dd x = {1 \over 8}\int_{0}^{1}\Li{3}'\pars{x}\,\dd x = {1 \over 8}\,\Li{3}\pars{1} \\[5mm] & = \color{#f00}{{1 \over 8}\,\zeta\pars{3}} \end{align}
  2. Another approach uses the Beta Function $\ds{\mrm{B}\pars{\mu,\nu} = \int_{0}^{1}x^{\mu - 1}\,\pars{1 - x}^{\nu - 1}\,\,\dd x = {\Gamma\pars{\mu}\Gamma\pars{\nu} \over \Gamma\pars{\mu + \nu}}}$ with $\ds{\Re\pars{\mu} > 0\,,\ \Re\pars{\nu} > 0}$. $\ds{\Gamma\,}$: Gamma Function. \begin{align} &\color{#f00}{{1 \over 16}\int_{0}^{1}{\ln^{2}\pars{1 - x} \over x}\,\dd x} = {1 \over 16}\,\lim_{\mu \to 0}\,\,\partiald[2]{}{\mu} \int_{0}^{1}{\pars{1 - x}^{\mu} - 1 \over x}\,\dd x \\[5mm] & = {1 \over 16}\,\lim_{\mu \to 0}\,\,\partiald[2]{}{\mu}\bracks{\mu \int_{0}^{1}\ln\pars{x}\pars{1 - x}^{\mu - 1}\,\dd x} = {1 \over 16}\,\lim_{\mu \to 0 \atop \nu \to 0}\,\,{\partial^{3} \over \partial\mu^{2}\,\partial\nu} \bracks{\mu\int_{0}^{1}x^{\nu}\pars{1 - x}^{\mu - 1}\,\dd x} \\[5mm] & = {1 \over 16}\,\lim_{\mu \to 0 \atop \nu \to 0}\,\,{\partial^{3} \over \partial\mu^{2}\,\partial\nu}\bracks{\mu\,{\Gamma\pars{\nu + 1}\Gamma\pars{\mu} \over \Gamma\pars{\mu + \nu + 1}}} = {1 \over 16}\,\lim_{\mu \to 0 \atop \nu \to 0}\,\,{\partial^{3} \over \partial\mu^{2}\,\partial\nu}\bracks{\Gamma\pars{\nu + 1}\Gamma\pars{\mu + 1} \over \Gamma\pars{\mu + \nu + 1}} \\[5mm] & = \color{#f00}{{1 \over 8}\,\zeta\pars{3}} \end{align}