Saturday, 11 October 2014

sequences and series - On generalizing the harmonic sum suminftyn=1fracHnnkzn=Sk1,2(1)+zeta(k+1) when z=1?




Given the nth harmonic number Hn=nj=11j. In this post it asks for the evaluation,



n=1Hnn3=54ζ(4)



while this post and this answer discusses the next one,



n=1Hnn4=ζ(2)ζ(3)+3ζ(5)







Given the more general sum,



Fk(z)=n=1Hnnkzn



It seems the special cases z=1 is,



Fk(1)=n=1Hnnk=Sk1,2(1)+ζ(k+1)



while z=1 is,




Fk(1)=n=1Hnnk(1)n=Sk1,2(1)2k12kζ(k+1)



where Sn,p(z) is the Nielsen generalized polylogarithm,



Sn,p(z)=(1)n+p1(n1)!p!10(lnt)n1(ln(1zt))ptdt



However, for the range 1z1, the closely related sum in this answer has a simple formula,



Gk(z)=n=1Hn(n+1)kzn+1=Sk1,2(z)





Q: Like Gk(z), does Fk(z)=n=1Hnnkzn have a common closed-form in the range 1z1?



Answer



After my last edit, I figured out a way to partially answer my question. The trick is to test,



Fk(z)Gk(z)=n=1Hnnkznn=1Hn(n+1)kzn+1



for various values of k,z to see if it yields something familiar. For k=2 and value z=1/3, the Inverse Symbolic Calculator was able to recognize it as,




F2(13)G2(13)=Li3(13)



A little more testing showed that for 1z1, apparently,




Fk(z)=n=1Hnnkzn=Sk1,2(z)+Sk,1(z)




with Nielsen generalized polylogarithm Sn,p(z). Equivalently, in terms of polylogarithm Lin(z),





Fk(z)=n=1Hnnkzn=Sk1,2(z)+Lik+1(z)




For the special cases z=1 and z=1, the polylogarithm reduces to formulas (2) and (3) in the post.



P.S. Of course, what remains is to rigorously prove the proposed formula.


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