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:=∫10cosarctanx√xdx
cosarctanx=1√x2+1, so:
I=∫101√x(x2+1)dx
Now substitute x=tanθ2:
I=∫101√x(x2+1)dx=√22∫π20dθ√sinθ=√24β(14,12)=Γ2(14)4√π
This is also equal to K(12).
No comments:
Post a Comment