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=Sk−1,2(1)+ζ(k+1)
while z=−1 is,
Fk(−1)=∞∑n=1Hnnk(−1)n=Sk−1,2(−1)−2k−12kζ(k+1)
where Sn,p(z) is the Nielsen generalized polylogarithm,
Sn,p(z)=(−1)n+p−1(n−1)!p!∫10(lnt)n−1(ln(1−zt))ptdt
However, for the range −1≤z≤1, the closely related sum in this answer has a simple formula,
Gk(z)=∞∑n=1Hn(n+1)kzn+1=Sk−1,2(z)
Q: Like Gk(z), does Fk(z)=∑∞n=1Hnnkzn have a common closed-form in the range −1≤z≤1?
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=1Hnnkzn−∞∑n=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 −1≤z≤1, apparently,
Fk(z)=∞∑n=1Hnnkzn=Sk−1,2(z)+Sk,1(z)
with Nielsen generalized polylogarithm Sn,p(z). Equivalently, in terms of polylogarithm Lin(z),
Fk(z)=∞∑n=1Hnnkzn=Sk−1,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