An interesting investigation started here and it showed that
∑k≥1(ζ(m)−H(m)k)2
has a closed form in terms of values of the Riemann ζ function for any integer m≥2.
I was starting to study the cubic analogue ∑k≥1(ζ(m)−H(m)k)3 and I managed to prove through summation by parts that
∑k≥1(H(2)k)2k2=13ζ(2)3−23ζ(6)+ζ(3)2
where the LHS, according to Flajolet and Salvy's notation, is S22,2. An explicit evaluation of ∑k≥1(ζ(2)−H(2)k)3 is completed by the computation of
S12,2=∑k≥1HkH(2)kk2
which has an odd weight, hence it is not covered by Thm 4.2 of Flajolet and Salvy. On the other hand they suggest that by the kernel (ψ(−s)+γ)4 the previous series and the cubic Euler sum ∑n≥1H3n(n+1)2=152ζ(5)+ζ(2)ζ(3) are strictly related.
Question: can you help me completing this sketch, in order to get an explicit value for S12,2 and for ∑k≥1(ζ(2)−H(2)k)3? Alternative techniques to summation by parts and residues are equally welcome.
Update: I have just realized this is solved by Mike Spivey's answer to Zaid's question here. On the other hand, Mike Spivey's approach is extremely lengthy, and I would be happy to see a more efficient derivation of S12,2=ζ(2)ζ(3)+ζ(5).
Answer
I am skipping the derivation of Euler Sums S(1,1;3)=∞∑n=1H2nn3 and S(2;3)=∞∑n=1H(2)nn3 (for a derivation see solutions to problem 5406 proposed by C.I. Valean, Romania in SSMA).
Now, consider the partial fraction decomposition, n−1∑k=1(1k(n−k))2=2n2(H(2)n+2Hnn−3n2)⋯(⋆)
Multiplying both sides of (⋆) with Hn and summing over n≥1 (and making the change of varible m=n+k):
∞∑n=1Hnn2(H(2)n+2Hnn−3n2)=∞∑n=1n−1∑k=1Hnk2(n−k)2=∞∑m,k=1Hm+km2k2=∞∑m,k,j=1mj+kjm2k2j2(m+k+j)=2∞∑m,k,j=1jkm2k2j2(m+k+j)=2∞∑j,k=11jk∞∑m=11m2(m+j+k)=2∞∑k,j=11kj(j+k)(ζ(2)−Hk+jk+j)=4∞∑n=2Hn−1n2(ζ(2)−Hnn)=4ζ(2)∞∑n=1Hn−1n2+4∞∑n=1Hnn4−4∞∑n=1H2nn3
Where, in steps (0) and (3) we used the identity, Hqq=∞∑ℓ=11ℓ(ℓ+q). In step (1) we used the symmetry w.r.t. the variables, in step (2) interchanged order of summation and in step (4) made the change of variables n=j+k.
Thus, ∞∑n=1HnH(2)nn2=4ζ(2)ζ(3)+7∞∑n=1Hnn4−6∞∑n=1H2nn3
No comments:
Post a Comment