Saturday, 25 March 2017

real analysis - An arctan exponential integral

Prove the following for (z)>0



log(Γ(z))=20tan1(tz)dte2πt1+log(2z)2+(z12)log(z)z




I found this identity on Wolfram Functions here. I can't see where to start solving this problem.



I'm looking for elementary solution, I haven't learned about Complex Analysis or Abel Plana formula yet.



Please help.
Thanks.

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...