Tuesday, 28 July 2015

sequences and series - Generating function of forth powers of harmonic numbers.

Let x(1,1) and let n1 be an integer. Now, let us define a following family of harmonic sums:
S(n)(x):=m=1[Hm]nxm



It is not hard to see that the following recursion relation holds true:

S(n+1)(x)=10Li1(t)ddt(S(n)(xt))dt=10S(n)(xt)S(n)(x)1tdt
Now by building up on the results in Generating function for cubes of Harmonic numbers where S(3)(x) was being derived in closed form we obtained the following:
4(1x)S(4)(x)=4Li2(x)212Li4(1x)28Li4(x)32Li4(xx1)+16Li3(x)log(1x)+16ζ(3)log(1x)+52log4(1x)83log(x)log3(1x)+π2log2(1x)+2π415+4{Li4(1x)+124log4(1x)+112π2log2(1x)+π490if x0Li4(11x)+112log4(1x)+16iπlog3(1x)112π2log2(1x)π490if x<0
Running the code below:



x =.; {Normal[

Series[1/(
4 (1 - x)) ((2 \[Pi]^4)/15 + \[Pi]^2 Log[1 - x]^2 +
5/2 Log[1 - x]^4 - 8/3 Log[1 - x]^3 Log[x] +
4 PolyLog[2, x]^2 + 16 Log[1 - x] PolyLog[3, x] -
12 PolyLog[4, 1 - x] - 28 PolyLog[4, x] -
32 PolyLog[4, x/(-1 + x)] + 16 Log[1 - x] Zeta[3] +
4 (\[Pi]^4/ 90 - PolyLog[4, 1 - x] +
1/12 \[Pi]^2 Log[1 - x]^2 + 1/24 Log[1 - x]^4 )), {x, 0, 5},
Assumptions -> 0 < x < 1]],
Normal[Series[

1/(4 (1 - x)) ((2 \[Pi]^4)/15 + \[Pi]^2 Log[1 - x]^2 +
5/2 Log[1 - x]^4 - 8/3 Log[1 - x]^3 Log[x] +
4 PolyLog[2, x]^2 + 16 Log[1 - x] PolyLog[3, x] -
12 PolyLog[4, 1 - x] - 28 PolyLog[4, x] -
32 PolyLog[4, x/(-1 + x)] + 16 Log[1 - x] Zeta[3] +
4 (-(\[Pi]^4/90) + PolyLog[4, 1/(1 - x)] -
1/12 \[Pi]^2 Log[1 - x]^2 + 1/12 Log[1 - x]^4 +
1/6 I Pi Log[1 - x]^3)), {x, 0, 5},
Assumptions -> -1 < x < 0]]}



produces the following result:



{x + (81 x^2)/16 + (14641 x^3)/1296 + (390625 x^4)/20736 + (
352275361 x^5)/12960000,
x + (81 x^2)/16 + (14641 x^3)/1296 + (390625 x^4)/20736 + (
352275361 x^5)/12960000}


as it should be.




Now, apart from the obvious question as to how the result looks like for generic values of n I would like to learn more about the motivation for deriving those Euler sums. Clearly, I can see by myself, that it is very addictive to delve into those calculations and in most cases closed form results can really be obtained. However, what is the use of all that besides pure fun and exercise in integral calculus?

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