Prima facie, this integral seems easy to calculate,but alas, this not's case I=π/2∫0xlogsin(x)sin(x)dx
The numerical value is I=-1.122690024730644497584272...
How to evaluate this integral?
By against,I find:
I=π/2∫0xlogsin(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+i∫∞0iylog(sin(iy))sin(iy)dy+i∫∞0(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 R2e−R 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+i∫∞0y(logsinh(y)+iπ/2)sinh(y)dy⏟I1+i∫∞0(iy+π/2)log(cosh(y))cosh(y)dy⏟I2=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=e−y and r2=q in the integrals involving sinh
after some tedious algebra we end up with:
J1=12∫1014log(q)2−12log(q)log(1−q)+12log(q)log(2)(1−q)√qdqJ2=12∫10−log(q)(1−q)√qdqJ3=12∫∞112log(q)(log(2)−12log(q)+log(1+q)(1+q)√qdqJ4=12∫∞1(log(2)−12log(q)+log(1+q)(1+q)√qdq
The first two integrals can easily solved by using the identity
∫10logn(1−t)logm(t)(1−t)vtwdt=∂nα∂mβ∫10(1−t)α−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=−I1−I2=196(−2i(−192Li3(12+i2)+105ζ(3)+4log3(2))+3π3+12πlog2(2)+2iπ2log(32))
or
I≈−1.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=∫∞1−log(2)x2+1dx+12∫∞0−log(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
∫10da∫∞0dxx2(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