Relationship between integral of x*log(sin(x)), and Apéry's constant, pi, and logarithm

From specialfunctionswiki
Revision as of 17:18, 24 June 2016 by Tom (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Theorem

The following formula holds: $$\displaystyle\int_0^{\frac{\pi}{2}} x \log(\sin(x)) \mathrm{d}x = \dfrac{7}{16}\zeta(3) - \dfrac{\pi^2}{8} \log(2),$$ where $\pi$ denotes pi, $\log$ denotes the logarithm, $\sin$ denotes sine, and $\zeta(3)$ denotes Apéry's constant.

Proof

References