Wednesday, 12 November 2014

real analysis - Integral inti0nftyfraccosxxleft(intx0fracsinttdtright)2dx=frac76zeta3



I am trying to prove this below.
I:=0cosxx(x0sinttdt)2dx=76ζ3
where
ζ3=n=11n3.

I am not sure how to work with the integral over t because it is from 0 to x. If we can somehow write
0cosxx(0sinttdtxsinttdt)2dx=0cosxx(π2xsinttdt)2dx.
I do not want to use an asymptotic expansion on the integral over t from x to , I am looking for exact results. Note we can use 0sinttdt=0L[sint(s)]ds=π2. Other than this approach I am not really sure how to go about this. Note by definition
x0sinttdtSi(x),
but I'm not too sure what this definition can be used for in terms of a proof. Also note
0cosxxdx.


Answer



It's strange that you're unable to access that link. I do not understand that.



I accredit this to Shobit.



Anyway, what Shobit done was to write it as a triple integral.



I=01010cos(x)sin(xy)sin(xz)xyzdydzdx




I=1/410100cos(x(yz+1))+cos(x(yz1))cos(x(y+z+1))cos(x(y+z1))xyzdxdydz



Now, use the known result: 0cos(bx)cos(ax)xdx=log(a/b)



Using this, it can now be written in terms of a log:



I=1/410101yzlog((y+z+1)(y+z1)(yz+1)(yz1))dydz



Now, integrating this w.r.t y is where the dilogs come into play:




I=1/410Li2(1z+1)+Li2(1z1)Li2(1z+1)Li2(11z)zdz



Maybe you can finish it now on your own. It is now a matter of known dilog integrals. This is the bulk of it. But, if you need more I can write the rest later.


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