$\int_0^1\frac{\ln x\ln^2(1-x^2)}{\sqrt{1-x^2}}dx=\frac{\pi}{2}\zeta(3)-2\pi\ln^32$

Question

I'm looking for proof of the following identity

$$\int_0^1\frac{\ln x\ln^2(1-x^2)}{\sqrt{1-x^2}}dx=\frac{\pi}{2}\zeta(3)-2\pi\ln^32$$

I have worked on this problem for quite some time, however since I'm not much comfortable with beta functions and stuff, I was unable to prove the required. I'm looking for an elementary approach, however, any detailed method (including beta function) is most welcomed. Thanks.

Answer 1

As shown in this answer $$ \frac{\Gamma'(x)}{\Gamma(x)}=H_{x-1}-\gamma\tag1 $$ Using that $H_x^{(n)}=\sum\limits_{k=1}^\infty\!\left(\frac1{k^n}-\frac1{(k+x)^n}\right)$, we get $$ \frac{\mathrm{d}}{\mathrm{d}x}H_x^{(n)}=n\!\left(\zeta(n+1)-H_x^{(n+1)}\right)\tag2 $$ In particular, $$ \begin{array}{c|c|c} x&H_x&H_x^{(2)}&H_x^{(3)}\\\hline -\frac12&-2\log(2)&-2\zeta(2)&-6\zeta(3)\\ 0&0&0&0 \end{array} $$ Applying $(1)$ and $(2)$, $$ \begin{align} \Gamma'(x) &=\Gamma(x)(H_{x-1}-\gamma)\tag{3a}\\ \Gamma''(x) &=\Gamma(x)\!\left((H_{x-1}-\gamma)^2+\zeta(2)-H_{x-1}^{(2)}\right)\tag{3b}\\ \Gamma'''(x) &=\Gamma(x)\!\left((H_{x-1}-\gamma)^3+3(H_{x-1}-\gamma)\left(\zeta(2)-H_{x-1}^{(2)}\right)+2\!\left(H_{x-1}^{(3)}-\zeta(3)\right)\right)\tag{3c}\\ \end{align} $$ In particular, $$ \begin{array}{c|c|c} x&\Gamma(x)&\Gamma'(x)&\Gamma''(x)&\Gamma'''(x)\\\hline \frac12&\sqrt\pi&-\sqrt\pi(2\log(2)+\gamma)&\sqrt\pi\!\left((2\log(2)+\gamma)^2+3\zeta(2)\right)&\text{not needed}\\ 1&1&-\gamma&\gamma^2+\zeta(2)&-\gamma^3-3\gamma\zeta(2)-2\zeta(3) \end{array} $$ Now we get to the integral: $$ \begin{align} &\int_0^1\frac{\log(x)\log^2\left(1-x^2\right)}{\sqrt{1-x^2}}\,\mathrm{d}x\\ &=\frac14\int_0^1\frac{\log(x)\log^2\left(1-x\right)}{\sqrt{x(1-x)}}\,\mathrm{d}x\tag{4a}\\[6pt] &=\left.\frac14\frac{\partial}{\partial\alpha}\frac{\partial^2}{\partial\beta^2}\operatorname{B}(\alpha,\beta)\,\right|_{(\alpha,\beta)=\left(\frac12,\frac12\right)}\tag{4b}\\ &=\left.\frac14\frac{\partial}{\partial\alpha}\frac{\partial^2}{\partial\beta^2}\frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)}\,\right|_{(\alpha,\beta)=\left(\frac12,\frac12\right)}\tag{4c}\\ &=\scriptsize\left(-6\Gamma(\alpha)\Gamma(\beta) \Gamma'(\alpha+\beta)^3+\Gamma(\alpha+\beta)^3\Gamma'(\alpha)\Gamma''(\beta)\right.\\ &\scriptsize\left.{}+2\Gamma(\alpha+\beta)\Gamma'(\alpha+\beta)\left(2\Gamma(\alpha)\Gamma'(\beta)\Gamma'(\alpha+\beta)+\Gamma(\beta)\left(\Gamma'(\alpha)\Gamma'(\alpha+\beta)+3\Gamma(\alpha)\Gamma''(\alpha+\beta)\right)\right)\right.\\ &\scriptsize\left.{}-\Gamma(\alpha+\beta)^2\left(\Gamma'(\alpha)\left(2\Gamma'(\beta)\Gamma'(\alpha+\beta)+\Gamma(\beta)\Gamma''(\alpha+\beta)\right)\right.\right.\\ &\scriptsize\left.\left.\left.{}+\Gamma(\alpha)\left(\Gamma'(\alpha+\beta)\Gamma''(\beta)+2\Gamma'(\beta)\Gamma''(\alpha+\beta)+\Gamma(\beta)\Gamma'''(\alpha+\beta)\right)\right)\right)\frac1{4\Gamma(\alpha+\beta)^4}\right|_{(\alpha,\beta)=\left(\frac12,\frac12\right)}\tag{4d}\\ &=\left(-6\Gamma\!\left(\tfrac12\right)\Gamma\!\left(\tfrac12\right)\Gamma'(1)^3+\Gamma(1)^3\Gamma'\!\left(\tfrac12\right)\Gamma''\!\left(\tfrac12\right)\right.\\ &\left.{}+2\Gamma(1)\Gamma'(1)\left(2\Gamma\!\left(\tfrac12\right)\Gamma'\!\left(\tfrac12\right)\Gamma'(1)+\Gamma\!\left(\tfrac12\right)\left(\Gamma'\!\left(\tfrac12\right)\Gamma'(1)+3\Gamma\!\left(\tfrac12\right)\Gamma''(1)\right)\right)\right.\\ &\left.{}-\Gamma(1)^2\!\left(\Gamma'\!\left(\tfrac12\right)\left(2\Gamma'\!\left(\tfrac12\right)\Gamma'(1)+\Gamma\!\left(\tfrac12\right)\Gamma''(1)\right)\right.\right.\\ &\left.\left.{}+\Gamma\!\left(\tfrac12\right)\left(\Gamma'(1)\Gamma''\!\left(\tfrac12\right)+2\Gamma'\!\left(\tfrac12\right)\Gamma''(1)+\Gamma\!\left(\tfrac12\right)\Gamma'''(1)\right)\right)\right)\frac1{4\Gamma(1)^4}\tag{4e}\\ &=\frac14\left(6\pi\gamma^3-\pi(2\log(2)+\gamma)^3-\frac{\pi^3}2(2\log(2)+\gamma)\right.\\ &\left.{}-2\gamma\left(6\pi\gamma\log(2)+6\pi\gamma^2+\frac{\pi^3}2\right)\right.\\ &\left.{}-\left(-\pi\left(8\gamma\log^2(2)+10\gamma^2\log(2)+3\gamma^3+(2\log(2)+\gamma)\frac{\pi^2}6\right)\right.\right.\\ &\left.\left.{}-\pi\left(4\gamma(\log(2)+\gamma)^2+(2\log(2)+4\gamma)\frac{\pi^2}3+2\zeta(3)\right)\vphantom{\frac{\pi^2}6}\right)\right)\tag{4f}\\ &=\frac14\left(0\pi\gamma^3+0\pi\gamma^2\log(2)+0\pi\gamma\log^2(2)+0\pi^3\gamma+0\pi^3\log(2)\right)\\ &+\frac14\left(-8\pi\log^3(2)+2\pi\zeta(3)\right)\tag{4g}\\[6pt] &=\bbox[5px,border:2px solid #C0A000]{\frac\pi2\zeta(3)-2\pi\log^3(2)}\tag{4h} \end{align} $$ Explanation:
$\text{(4a)}$: substitute $x\mapsto\sqrt{x}$
$\text{(4b)}$: write as a derivative of the Beta Function
$\text{(4c)}$: write the Beta Function in terms of the Gamma Function
$\text{(4d)}$: take the derivatives (nothing special about $\Gamma$)
$\text{(4e)}$: substitute $(\alpha,\beta)\mapsto\left(\frac12,\frac12\right)$
$\text{(4f)}$: apply the values from the $\Gamma$ table
$\text{(4g)}$: collect like terms
$\text{(4h)}$: simplify

Answer 2

Substitute $t=\sin x$

\begin{align} & \int_0^1\frac{\ln x\ln^2(1-x^2)}{\sqrt{1-x^2}}dx\\ =& \> 4\int_0^{\pi/2} \ln (\sin t)\ln^2(\cos t)dt\\ =& \> 2\int_0^{\pi/2} [\ln (\sin t)\ln^2(\cos t)+ \ln^2 (\sin t)\ln(\cos t)]dt\\ =& \> \frac23\int_0^{\pi/2} [\ln^3(\sin t\cos t)-2 \ln^3 (\sin t)]dt\\ =&\>\frac23 \int_0^{\pi/2} \ln^3\frac{\sin t}2 dt- \frac43 \int_0^{\pi/2} \ln^3 (\sin t)\>dt \\ =&\> - \frac23 \int_0^{\pi/2} \ln^3 (2\sin t)\>dt +4\ln^2 2\int_0^{\pi/2} \ln(2\sin t)dt - 2\pi \ln^32\\ =&\>\frac\pi2\zeta(3) -2\pi\ln^32 \end{align} where $\int_0^{\pi/2} \ln(2\sin t)dt=0$ and $\int_0^{\pi/2} \ln^3 (2\sin t)dt = -\frac{3\pi}4\zeta(3)$.

Answer 3

$$I=\int_0^1\frac{\ln x\ln^2(1-x^2)}{\sqrt{1-x^2}}dx$$ $$=\frac{1}{4}\int_0^1\frac{\ln t\ln^2(1-t)}{\sqrt t\sqrt{1-t}}dt=\frac{1}{4}\frac{d^2}{db^2}\frac{d}{da}\int_0^1t^{a-1/2}(1-t)^{b-1/2}dt|_{a=b=0}$$ $$=\frac{1}{4}\frac{d^2}{db^2}\frac{d}{da}B(a+1/2;b+1/2)|_{a=b=0}$$ $$\frac{1}{4}B(a+1/2;b+1/2)=\frac{1}{4}\frac{\Gamma(a+1/2)\Gamma(b+1/2)}{\Gamma(a+b+1)}=\frac{\pi}{4}\frac{\Gamma(1+2a)}{\Gamma(1+a)}\frac{\Gamma(1+2b)}{\Gamma(1+b)}\frac{4^{-a}4^{-b}}{\Gamma(1+a+b)}$$ $$\Gamma(a)\Gamma\bigl(a+1/2\bigr)=2\sqrt{\pi}\,4^{-a}\,\Gamma(2a);\,\,a\Gamma(a)=\Gamma(1+a)=1-\gamma a+\Gamma''(1)\frac{a^2}{2}+...$$ $$\Psi(t)=\frac{\Gamma'(t)}{\Gamma(t)};\,\,\Psi(1)=-\gamma;\,\,\Gamma''(1)=\gamma^2+\frac{\pi^2}{6};\,\,\Psi'(1)=\zeta(2);\,\,\Psi''(1)=-2\zeta(3)$$ $$I=\frac{\pi}{4}\frac{d^2}{db^2}\frac{d}{da}\biggl(\frac{(1-a\gamma+...)(1-a\ln4+...)}{\Gamma(1+b)+\Gamma'(1+b)a+...}\frac{\Gamma(1+2b)}{\Gamma(1+b)}4^{-b}\biggr)|_{a=b=0}$$ $$=-\frac{\pi}{4}\frac{d^2}{db^2}\biggl(\bigl(1-b\ln4+\frac{b^2}{2}\ln^24-..\bigr)\frac{1-2\gamma b+2\Gamma''(1)b^2+..}{(1-\gamma b+\Gamma''(1)\frac{b^2}{2}+..)^2}\bigl(\gamma+\ln4+\Psi(1+b)\bigr)\biggr)|_{b=0}$$ $$=-\frac{\pi}{4}\frac{d^2}{db^2}\biggl(\bigl(1-b\ln4+\frac{b^2}{2}\ln^24+..\bigr)\bigl(1-2\gamma b+2\Gamma''(1)b^2+..\bigr)\bigl(1+2\gamma b-\Gamma''(1)b^2+3\gamma^2b^2+..\bigr)\bigl(\gamma+\ln4-\gamma+b\zeta(2)-b^2\zeta(3)\bigr)+...\Bigr)|_{b=0}$$ $$=-\frac{\pi}{2}\Bigl(\frac{\pi^2}{6}\ln4-\ln4\zeta(2)-\zeta(3)+\frac{1}{2}\ln^34\Bigr)$$ $$I=\frac{\pi}{2}\zeta(3)-2\pi\ln^32$$

Answer 4

I am writing a second answer rather than appending or replacing my first answer, mainly as a comparison. I gave my first answer because the OP said they were not comfortable with Beta Functions. I am afraid that the complexity of that answer may not have done much to relieve their discomfort.

I was able to simplify and greatly extend the scope the answer. Equation $(6)$ converts any integral of the product of powers of $\log(\sin(x))$ and $\log(\cos(x))$ into a derivative of the Beta Function at $\left(\frac12,\frac12\right)$ and $(4)$ and $(5)$ facilitate the computation and evaluation of these derivatives.

---

Derivatives of the Beta Function at $\boldsymbol{\left(\frac12,\frac12\right)}$

Using $$ H_x^{(n)}=\sum\limits_{k=1}^\infty\!\left(\frac1{k^n}-\frac1{(k+x)^n}\right)\tag1 $$ we get that $$ \begin{align} H_0^{(n)}&=0\tag{2a}\\[9pt] H_{-1/2}&=-2\log(2)&\text{for }n=1\tag{2b}\\[9pt] H_{-1/2}^{(n)}&=\left(2-2^n\right)\zeta(n)&\text{for }n\ge2\tag{2c}\\[3pt] \frac{\mathrm{d}}{\mathrm{d}x}H_x^{(n)}&=n\!\left(\zeta(n+1)-H_x^{(n+1)}\right)\tag{2d} \end{align} $$ Define $$ \begin{align} A_{n,0}(x,y)&=\frac{(n-1)!}{(-1)^{n-1}}\left(H_{x-1/2}^{(n)}-H_{x+y}^{(n)}\right)\tag{3a}\\ A_{0,m}(x,y)&=\frac{(m-1)!}{(-1)^{m-1}}\left(H_{y-1/2}^{(m)}-H_{x+y}^{(m)}\right)\tag{3b}\\ A_{n,m}(x,y)&=\frac{(m+n-1)!}{(-1)^{m+n-1}}\left(\zeta(m+n)-H_{x+y}^{(m+n)}\right)\tag{3c}\\ \end{align} $$ Then we have

$$ \begin{align} \partial_x\mathrm{B}\!\left(x+\tfrac12,y+\tfrac12\right) &=A_{1,0}(x,y)\,\mathrm{B}\!\left(x+\tfrac12,y+\tfrac12\right)\tag{4a}\\[9pt] \partial_y\mathrm{B}\!\left(x+\tfrac12,y+\tfrac12\right) &=A_{0,1}(x,y)\mathrm{B}\!\left(x+\tfrac12,y+\tfrac12\right)\tag{4b}\\[9pt] \partial_xA_{n,m}(x,y) &=A_{n+1,m}(x,y)\tag{4c}\\[9pt] \partial_yA_{n,m}(x,y) &=A_{n,m+1}(x,y)\tag{4d} \end{align} $$

Explanation:
$\text{(4a)}$: $\frac{\mathrm{d}}{\mathrm{d}x}\log(\Gamma(x))=H_{x-1}-\gamma$ (from this answer)
$\phantom{\text{(4c):}}$ $\mathrm{B}(x,y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}$ (property of the Beta Function)
$\text{(4b)}$: same as $\text{(4a)}$
$\text{(4c)}$: apply $\text{(2d)}$ and $(3)$
$\text{(4d)}$: apply $\text{(2d)}$ and $(3)$

$$ \begin{align} \mathrm{B}\!\left(\tfrac12,\tfrac12\right) &=\pi\tag{5a}\\[9pt] A_{1,0}(0,0)&=A_{0,1}(0,0) =-2\log(2)\tag{5b}\\[6pt] A_{n,0}(0,0)&=A_{0,n}(0,0) =\frac{(n-1)!}{(-1)^{n-1}}\left(2-2^n\right)\zeta(n)&\text{for }n\ge2\tag{5c}\\ A_{n,m}(0,0) &=\frac{(m+n-1)!}{(-1)^{m+n-1}}\zeta(m+n)&\text{for }m,n\ge1\tag{5d} \end{align} $$

Explanation:
$\text{(5a)}$: $\Gamma\!\left(\frac12\right)=\sqrt\pi$
$\text{(5b)}$: apply $\text{(2b)}$ and $\text{(3a)}$ and $\text{(3b)}$
$\text{(5c)}$: apply $\text{(2c)}$ and $\text{(3a)}$ and $\text{(3b)}$
$\text{(5d)}$: apply $\text{(2a)}$ and $\text{(2d)}$ and $\text{(3c)}$

$(4)$ and the product rule give any order derivative of $\mathrm{B}(x,y)$.

$(5)$ allows evaluation at $(x,y)=(0,0)$.

---

The Integral of Products of Powers of $\boldsymbol{\log(\sin(x))}$ and $\boldsymbol{\log(\cos(x))}$

Once we have $(4)$ and $(5)$, we can fairly easily compute the following integral:

$$ \begin{align} &\int_0^{\pi/2}\log^a(\sin(x))\log^b(\cos(x))\,\mathrm{d}x\\[3pt] &=\int_0^1\frac{\log^a(x)\log^b\left(\sqrt{1-x^2}\right)}{\sqrt{1-x^2}}\,\mathrm{d}x\tag{6a}\\[3pt] &=\frac1{2^{a+b+1}}\int_0^1\frac{\log^a(x)\log^b(1-x)}{\sqrt{x(1-x)}}\,\mathrm{d}x\tag{6b}\\ &=\frac{\partial_1^a\partial_2^b\mathrm{B}\!\left(\frac12,\frac12\right)}{2^{a+b+1}}\tag{6c} \end{align} $$

Explanation:
$\text{(6a)}$: substitute $x\mapsto\arcsin(x)$
$\text{(6b)}$: substitute $x\mapsto\sqrt{x}$
$\text{(6c)}$: write the integral as derivatives of the Beta Function

Let's do an example of using $(4)$ to compute $\partial_1\partial_2^2\mathrm{B}\!\left(\frac12,\frac12\right)$. For ease of notation, we will write $\mathrm{B}$ for $\mathrm{B}\!\left(\frac12,\frac12\right)$, and $A_{n,m}$ for $A_{n,m}(0,0)$. $$ \begin{align} \partial_2\mathrm{B}&=A_{0,1}\mathrm{B}\tag{7a}\\ \partial_2^2\mathrm{B}&=\left(A_{0,2}+A_{0,1}^2\right)\mathrm{B}\tag{7b}\\ \partial_1\partial_2^2\mathrm{B}&=\left(\left(A_{0,2}+A_{0,1}^2\right)A_{1,0}+A_{1,2}+2A_{0,1}A_{1,1}\right)\mathrm{B}\tag{7c}\\ &=\left(\left(2\zeta(2)+4\log^2(2)\right)(-2\log(2))+2\zeta(3)+2(-2\log(2))(-\zeta(2))\right)\pi\tag{7d}\\ &=\left(2\zeta(3)-8\log^3(2)\right)\pi\tag{7e} \end{align} $$ Explanation:
$\text{(7a)}$: apply $\text{(4b)}$
$\text{(7b)}$: apply $\text{(4b)}$ and $\text{(4d)}$ with the product rule
$\text{(7c)}$: apply $\text{(4a)}$ and $\text{(4c)}$ with the product rule
$\text{(7d)}$: apply $(5)$
$\text{(7e)}$: simplify

$(6)$ and $(7)$ give $$ \int_0^{\pi/2}\log(\sin(x))\log^2(\cos(x))\,\mathrm{d}x=\frac\pi{16}\left(2\zeta(3)-8\log^3(2)\right)\tag8 $$

---

Answer to the Question

Finally, we get to the answer for the question. $$ \begin{align} \int_0^1\frac{\log(x)\log^2\left(1-x^2\right)}{\sqrt{1-x^2}}\,\mathrm{d}x &=4\int_0^{\pi/2}\log(\sin(x))\log^2(\cos(x))\,\mathrm{d}x\tag{9a}\\ &=\frac\pi2\left(\zeta(3)-4\log^3(2)\right)\tag{9b} \end{align} $$ Explanation:
$\text{(9a)}$: substitute $x\mapsto\sin(x)$
$\text{(9b)}$: apply $(8)$