2
$\begingroup$

I would like to know if there is a general closed form for

$$L(\phi)=\int_0^\phi \log(\sin x)\mathrm dx,\qquad \phi \in(0,\pi)$$

Context: (below are also the extent of my search for a closed form.)

I would like to know such a closed form because it would give rise to many really neat infinite products. Here's how:

We start with $$\sin x=x\prod_{n\geq1}\frac{\pi^2n^2-x^2}{\pi^2n^2}$$ So $$\log\sin x=\log x+\sum_{n\geq1}\log\frac{\pi^2n^2-x^2}{\pi^2n^2}$$ Then integrating both sides over $[0,\phi]$, $$L(\phi)=\phi(\log\phi-1)+\sum_{n\geq1}\phi\left[\log\frac{\pi^2n^2-\phi^2}{\pi^2n^2}-2\right]+\pi n\log\frac{\pi n+\phi}{\pi n-\phi}$$ Then using $$\sum_i\log a_i=\log\prod_i a_i$$ as well as $$a\log b=\log(b^a)$$ We have $$L(\phi)+\log\frac{e^\phi}{\phi^\phi}=\log\prod_{n\geq1}\left(\frac{\pi^2n^2-\phi^2}{(e\pi n)^2}\right)^{\phi}\left(\frac{\pi n+\phi}{\pi n-\phi}\right)^{\pi n}$$ So taking $\exp$ on both sides, $$\prod_{n\geq1}\left(\frac{\pi^2n^2-\phi^2}{(e\pi n)^2}\right)^{\phi}\left(\frac{\pi n+\phi}{\pi n-\phi}\right)^{\pi n}=\frac{\exp[\phi+ L(\phi)]}{j(\phi)}$$ Where $j(x)=x^x$. Similarly, if we set $$k(\phi)=\int_0^\phi\log(\cot x)\mathrm dx$$ We see that $$k(\phi)=L(\phi+\pi/2)-L(\phi)+\frac\pi2\log 2$$ And it can be shown in a similar way that $$\prod_{n\geq1}\frac{(\pi^2n^2-(\phi+\pi/2)^2)^{\phi+\pi/2}}{(e\pi n)^\pi(\pi^2n^2-\phi^2)^{\phi}}\left(\frac{(\pi n+\pi/2+\phi)(\pi n-\phi)}{(\pi n-\pi/2-\phi)(\pi n+\phi)}\right)^{\pi n}=2^{\pi/2}\frac{j(\phi)}{j(\phi+\pi/2)}\exp[\pi/2+k(\phi)]$$ And since there are a few nice closed forms for $L(\phi)$ and $k(\phi)$, and there are these beautiful products to accompany them, it would be very fitting if there were a general closed form.

$\endgroup$
  • 1
    $\begingroup$ Very few values of $\theta$ (2?) are known to give some nice close forms (i.e: no polylogarithms). Don't expect a wonderful formula for the general case. $\endgroup$ – FDP Feb 15 at 18:57
  • $\begingroup$ @FDP I agree that this is the case here. $\endgroup$ – Tolaso Feb 15 at 19:01
3
$\begingroup$

Beside Clausen functions, using one integration by parts $$\int\log (\sin (x)) \,dx=x \log (\sin (x))-\int x \cot(x)\,dx$$ and $$\int x \cot(x)\,dx=x \log \left(1-e^{2 i x}\right)-\frac{1}{2} i \left(x^2+\text{Li}_2\left(e^{2 i x}\right)\right)$$ making by the end $$\int_0^\phi\log (\sin (x)) \,dx=\frac{1}{2} i \left(\phi ^2+\text{Li}_2\left(e^{2 i \phi }\right)\right)-\phi \log \left(1-e^{2 i \phi }\right)+\phi \log (\sin (\phi ))-\frac{i \pi ^2}{12}$$ If you have a look here, you can notice that the Clausen function can be given in terms of polylogarithms.

$\endgroup$
  • $\begingroup$ Yeap, that is a fact that Clausen functions can be reduced to polylogarithms. But yet again, no nice closed form! $\endgroup$ – Tolaso Feb 16 at 7:05
  • 1
    $\begingroup$ @Tolaso. The only thing I can say is that .... I totally agree with you ! My answer was just to give another expression. Cheers :-) $\endgroup$ – Claude Leibovici Feb 16 at 7:17
6
$\begingroup$

Let ${\rm Cl}_2$ denote the Clausen function. It holds that

$$\int_{0}^{\theta} \log \left ( \sin x \right )\, {\rm d}x = -\frac{1}{2}{\rm Cl}_2 (2\theta) - \theta \log 2$$

Proof:

\begin{align*} \int_{0}^{\theta} \log \sin x \, {\rm d}x &= \int_{0}^{\theta} \left ( -\log 2 - \sum_{k=1}^{\infty} \frac{\cos 2kx}{k} \right )\, {\rm d}\theta \\ &= - \theta \log 2 - \int_{0}^{\theta} \sum_{k=1}^{\infty} \frac{\cos 2kx}{k}\, {\rm d}x\\ &= -\theta \log 2 - \sum_{k=1}^{\infty} \frac{1}{k} \int_{0}^{\theta} \cos 2kx \, {\rm d}x\\ &= - \theta \log 2 - \frac{1}{2}\sum_{k=1}^{\infty} \frac{\sin 2 \theta k}{k^2} \\ &=-\theta \log 2 - \frac{1}{2} {\rm Cl}_2 \left ( 2\theta \right ) \end{align*}

since the Fourier series of $\log \sin $ is

$$\log \sin x = -\log 2 - \sum_{n=1}^{\infty} \frac{\cos 2nx}{n} $$

$\endgroup$
  • $\begingroup$ I was hoping for something with a finite number of terms, but thanks anyway. (+1) $\endgroup$ – clathratus Feb 15 at 18:26
  • $\begingroup$ @clathratus For specific values of $\theta$ this reduces to known constants. But in general , the Clausen function is involved! $\endgroup$ – Tolaso Feb 15 at 19:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.