Is it possible to evaluate this integral: $$\int_{0}^{\frac{\pi }{2}}\ln(\sin 2x){\rm d}x$$
-
1You might want to take a look at Clausen's Integral (http://mathworld.wolfram.com/ClausensIntegral.html) – Dolma May 05 '13 at 12:21
-
@Alexander Jones : This type of question can be answered by typing something like int(ln(sin(2*x)),x=0..Pi/2) into the box at wolframalpha.com and hitting the equals sign. If it has a closed form, wolframalpha will almost certainly find it. It may not tell you where it came from, though. – Stefan Smith May 05 '13 at 17:04
-
Voting to close this one down. The same question has been answered in the following links. http://math.stackexchange.com/questions/354795/ http://math.stackexchange.com/questions/341643/ http://math.stackexchange.com/questions/37829/ – May 06 '13 at 05:40
3 Answers
Yes, it is possible. Here is how you advance. Recalling the identity $\sin(2x)=2\sin(x)\cos(x)$, we have
$$ \int_{0}^{\pi/2}\ln(\sin(2x))dx =\int_{0}^{\pi/2}\ln(2)dx + \int_{0}^{\pi/2}\ln(\sin(x))dx + \int_{0}^{\pi/2}\ln(\cos(x))dx. $$
The first integral is easy to evaluate. The second and the third integrals are equal and you can see this by just using the change of variables $x=\frac{\pi}{2}-\theta$. Now, let's evaluate one of them as
$$ \int_{0}^{\pi/2}\ln(\sin(x))dx = \int_{0}^{1}\frac{\ln(u)}{\sqrt{1-u^2}}du=\frac{1}{4}\int_{0}^{1}\ln(t)t^{-1/2}(1-t)^{-1/2}dt=I, $$
where the changes of variables $\sin(x)=u$ and $u^2=t$ were used respectively. To evaluate the last integral, consider the integral
$$ F = \int_{0}^{1}t^{\alpha}(1-t)^{\beta}dt = \beta(\alpha+1,\beta+1), $$
where $\beta(s,t)$ is the $\beta$ function. So, $I$ follows from $F$ as
$$ I= \frac{1}{2}\lim_{\beta \to -1/2}\lim_{\alpha \to -1/2}F_{\alpha}(\alpha,\beta)=-\frac{1}{2}\pi\ln(2). $$
- 46,935
- 7
- 48
- 87
It is well known that $\Pi_{1\le k<n}\sin \frac{k\pi}{n}=\frac{n}{2^{n-1}}$.
So $\int_0^\pi \ln \sin x dx =\lim_{n\to \infty}\frac{\pi}{n}\ln \Pi_{1\le k<n} \sin \frac{k\pi}{n}=-\pi\ln 2 $. Therefore $\int_0^{\pi/2} \ln \sin 2x dx=-\pi\frac{\ln 2}{2}$.
- 7,442
- 18
- 35
This link contains at least four different ways to compute it (none of them uses Clausen function).
- 52,634
- 12
- 160
- 222