Skip to main content
5 events
when toggle format what by license comment
Jul 23, 2010 at 18:32 vote accept Pietro Majer
Jul 22, 2010 at 23:28 comment added Wadim Zudilin Nice to see an elegant reduction of the latter "non-elementary" integral. I worked it in on my way to the office in a more elementary way: after the change $t=\sqrt{\sin(\pi x)}$ the integral (up to constant) becomes $F'(y)|_{y=0}$ where $$F(y)=\int_0^1t^{1/2+y/2}(1-t)^{1/2}dt,$$ the Euler beta integral.
Jul 22, 2010 at 18:10 comment added Andrey Rekalo $\int_0^{1} \log \sin(\pi z) \ dz=-\log (2)$ is calculated by the method of residues in this note math.ucsb.edu/~mckernan/Teaching/02-03/Autumn/202A/l_22.pdf
Jul 22, 2010 at 18:09 history edited Gjergji Zaimi CC BY-SA 2.5
added 260 characters in body
Jul 22, 2010 at 17:34 history answered David E Speyer CC BY-SA 2.5