I have to evaluate the integral $$\int_{0}^{\frac{\pi}{2}}\log(\sin(x))^2\,dx$$ What about $\int_{0}^{\frac{\pi}{2}}\log(\sin(x))^3dx$ and the other powers?

- 353,855

- 754
-
1For $n=3$, Mathematica gives $-\frac{1}{16} \pi \left(12 \zeta (3)+\log ^3(4)+\pi ^2 \log (4)\right)$. For $n=4$, Mathematica gives $\pi \zeta (3) \log (8)+\frac{19 \pi ^5}{480}+\frac{1}{2} \pi \log ^4(2)+\frac{1}{4} \pi ^3 \log ^2(2)$. – Daniel McLaury Nov 10 '16 at 02:18
-
Yeah, thanks, already evaluated there. Mathematica is quite powerful! – Stoyan Apostolov Nov 10 '16 at 02:40
-
contour integration will also work – tired Nov 10 '16 at 09:01
1 Answers
It is well-known that $$\log(\sin\theta) = \log(2)+\sum_{k\geq 1}\frac{\cos(2k\theta)}{k}\tag{1}$$ hence by Parseval's theorem $$ \int_{0}^{\pi/2}\log^2(\sin\theta)\,d\theta = \frac{\pi}{2}\log^2(2)+\frac{\pi}{4}\zeta(2).\tag{2}$$
In order to compute $\int_{0}^{\pi/2}\log^3(\sin\theta)\,d\theta$ through the same approach (orthogonality), we have to compute $$ \int_{0}^{\pi/2}\cos(2ax)\cos(2bx)\cos(2cx)\,dx $$ and that leads to a more complicated series. However, $$ \int_{0}^{\pi/2}\log^3(\sin\theta)\,d\theta = \int_{0}^{1}\frac{\log^3(u)}{\sqrt{1-u^2}}\,du = \left.\frac{d^3}{d\alpha^3}\int_{0}^{1}\frac{x^\alpha}{\sqrt{1-x^2}}\,dx\right|_{\alpha=0} $$ and the last integral can be computed through Euler's Beta function. So we have: $$ I_k = \int_{0}^{\pi/2}\log^k(\sin\theta)\,d\theta = \left.\frac{d^k}{d\alpha^k}\frac{\sqrt{\pi}\,\Gamma\left(\frac{1}{2}+\frac{\alpha}{2}\right)}{2\,\Gamma\left(1+\frac{\alpha}{2}\right)}\right|_{\alpha=0}\tag{3} $$ and if $k=3$: $$ \int_{0}^{\pi/2}\log^3(\sin\theta)\,d\theta = \color{red}{-\frac{\pi}{8} \left(\pi ^2 \log 2+4\log^3 2+6\, \zeta(3)\right)}.\tag{4} $$

- 353,855
-
2Quite extensive answer, thank you! I did not know that identity. And that use of diferentiation under the integral is very tricky (though that might be standard approach, I am just not trained in this area of manipulating integrals). Thanks a lot once again, learned a lot. – Stoyan Apostolov Nov 10 '16 at 02:38