2

Is it possible to evaluate this integral: $$\int_{0}^{\frac{\pi }{2}}\ln(\sin 2x){\rm d}x$$

Artem
  • 14,414
  • 1
    You 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 Answers3

2

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). $$

1

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}$.

Ma Ming
  • 7,482
1

This link contains at least four different ways to compute it (none of them uses Clausen function).

Start wearing purple
  • 53,234
  • 13
  • 164
  • 223