Sunday, 7 September 2014

integration - Calculate int10fraccos(arctanx)sqrtxdx



When I was considering derivatives and integrals (to try integration by parts) related with a closed form for ζ(3) (due to J. Jensen, see the Wikipedia), I've asked to me




Question. How it is possible to calculate 10cos(arctanx)xdx?
Can you justify a closed form for
cos(arctanx)xdx?
Many thanks.








(The integral cos(arctanx)1+xdx seems much more complicated).


Answer



I:=10cosarctanxxdx
cosarctanx=1x2+1, so:
I=101x(x2+1)dx
Now substitute x=tanθ2:

I=101x(x2+1)dx=22π20dθsinθ=24β(14,12)=Γ2(14)4π
This is also equal to K(12).


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