Friday, January 11, 2019

integration - How to evaluate I=intlimitspi/20fracxlogsin(x)sin(x),dx



Prima facie, this integral seems easy to calculate,but alas, this not's case I=π/20xlogsin(x)sin(x)dx

The numerical value is I=-1.122690024730644497584272...
How to evaluate this integral?
By against,I find:
I=π/20xlogsin(x)sin(2x)dx=π348


Answer



I want to suggest a partial solution which i call "partial" because some of the work is done using Mathematica but i hope i can fill this gaps in the next time.



Lets define the complex valued function f(z)=zlog(sin(z))(sin(z)). We want to integrate it around a rectangle with vertices (0,0),(π/2,0), (π/2,π/2+i) and (0,π/2+i). We also implicitly assume a small indent around (0,0). Now by using Cauchy's integral theorem we can write
Cf(z)dz=π/20xlog(sin(x))sin(x)dx+i0iylog(sin(iy))sin(iy)dy+i0(iy+π/2)log(sin(iy+π/2))sin(iy+π/2)dy=0



Were we used the fact the the integral vanishs at the top of the rectangle (This contribution goes as R2eR for big R) as well as the contribiution stemming from the small indent around zero (This contribution behaves as ϵlog(ϵ) near the origin).



Now using the identities sin(iy+π/2)=cosh(y) and sin(iy)=isinh(y) This can be rewritten as
Cf(z)=π/20log(sin(x))sin(x)dx+i0y(logsinh(y)+iπ/2)sinh(y)dyI1+i0(iy+π/2)log(cosh(y))cosh(y)dyI2=0



Here we choose the standard branch of the logarithm.




Splitting I1 and I2 we are now down to the four integrals



J1=0ylog(sinh(y))sinh(y)dyJ2=0ysinh(y)dyJ3=0ylog(cosh(y))cosh(y)dyJ4=0log(cosh(y)cosh(y)dy




Now let's perform a chain of substitutions r=ey and r2=q in the integrals involving cosh and r=ey and r2=q in the integrals involving sinh
after some tedious algebra we end up with:
J1=121014log(q)212log(q)log(1q)+12log(q)log(2)(1q)qdqJ2=1210log(q)(1q)qdqJ3=12112log(q)(log(2)12log(q)+log(1+q)(1+q)qdqJ4=121(log(2)12log(q)+log(1+q)(1+q)qdq



The first two integrals can easily solved by using the identity




10logn(1t)logm(t)(1t)vtwdt=nαmβ10(1t)αvtβwdt|α=β=0=nαmβΓ[1+β+v]Γ[1+α+w]Γ[2+α+β+v+w]|α=β=0



Here Γ[z] denotes Euler's Gamma function.



Please note that we implicitly assume that this expression exists, which is of course not the case for every choice of parameters.



For the other two integrals i'm not sure how to perform them (I suspect they can somehow be reduced to explicit integral representations of the dilogarithm), but they can be obtained in Mathematica.




We get
J1=π2log(2)8J2=π28J3=196(2i(192Li3(12+i2)+105ζ(3)+4log3(2))+15π3+12πlog2(2)+10iπ2log(2))J4=2πlog(2)4



Now merging everything together we obtain

I=I1I2=196(2i(192Li3(12+i2)+105ζ(3)+4log3(2))+3π3+12πlog2(2)+2iπ2log(32))



or
I1.12269



as expected from numerical calculations




PS: I would highly appreciate any hint how to perform J3



Appendix: Calculation of J4



I finally found a way to at least calculate J4



Starting from the original definition and using y=eq and q=1/x one realizes that the integral can be rewritten as



J4/2=1log(2)x2+1dx+120log(x)+log(x2+1)x2+1dx



The first one is a standard integral and equal to log(2)π2 the third one is easily evaluated using a dogbone contour and yields 0 So it remains to calculate
0dxlog(x2+1)x2+1



Using the identiy log(1+x2)=10dax21+ax2
this is equal to




10da0dxx2(x2+1)(1+ax2)=10daπ2(a+a)=πlog(2)



Plugging everything together yields



J4=π2log[2]




as expected.



So only J3 remains...


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...