Linked Questions
10 questions linked to/from Triple Euler sum result $\sum_{k\geq 1}\frac{H_k^{(2)}H_k }{k^2}=\zeta(2)\zeta(3)+\zeta(5)$
90 votes
9 answers
12k views
Generalized Euler sum $\sum_{n=1}^\infty \frac{H_n}{n^q}$
I found the following formula $$\sum_{n=1}^\infty \frac{H_n}{n^q}= \left(1+\frac{q}{2} \right)\zeta(q+1)-\frac{1}{2}\sum_{k=1}^{q-2}\zeta(k+1)\zeta(q-k)$$ and it is cited that Euler proved the ...
43 votes
2 answers
12k views
Fourier series of Log sine and Log cos
I saw the two identities $$ -\log(\sin(x))=\sum_{k=1}^\infty\frac{\cos(2kx)}{k}+\log(2) $$ and $$ -\log(\cos(x))=\sum_{k=1}^\infty(-1)^k\frac{\cos(2kx)}{k}+\log(2) $$ here: twist on classic log of ...
16 votes
5 answers
1k views
Double Euler sum $ \sum_{k\geq 1} \frac{H_k^{(2)} H_k}{k^3} $
I proved the following result $$\displaystyle \sum_{k\geq 1} \frac{H_k^{(2)} H_k}{k^3} =- \frac{97}{12} \zeta(6)+\frac{7}{4}\zeta(4)\zeta(2) + \frac{5}{2}\zeta(3)^2+\frac{2}{3}\zeta(2)^3$$ After ...
17 votes
4 answers
2k views
Closed form for the harmonic approximation sum $\sum _{k=1}^{\infty } \left(H_k^{(2)}-\zeta (2)\right){}^2$
Question Is there a closed form of this harmonic approximation sum $$s=\sum _{k=1}^{\infty } \left(H_k^{(2)}-\zeta (2)\right){}^2\tag{1}$$ The notation is standard. Motivation This question ...
9 votes
3 answers
1k views
Challenging sum: Compute $\sum_{n=1}^\infty\frac{H_{2n}H_n^{(2)}}{(2n)^2}$
Prove that $$S=\sum_{n=1}^\infty\frac{H_{2n}H_n^{(2)}}{(2n)^2}=\frac{101}{64}\zeta(5)-\frac5{16}\zeta(2)\zeta(3)$$ where $H_n^{(m)}=\sum_{k=1}^n\frac1{k^m}$ is the n$th$ generalized harmonic ...
15 votes
2 answers
546 views
On twisted Euler sums
An interesting investigation started here and it showed that $$ \sum_{k\geq 1}\left(\zeta(m)-H_{k}^{(m)}\right)^2 $$ has a closed form in terms of values of the Riemann $\zeta$ function for any ...
8 votes
4 answers
908 views
Double harmonic sum $\sum_{n\geq 1}\frac{H^{(p)}_nH_n}{n^q}$
Are there any general formula for the following series $$\tag{1}\sum_{n\geq 1}\frac{H^{(p)}_nH_n}{n^q}$$ Where we define $$H^{(p)}_n= \sum_{k=1}^n \frac{1}{k^p}\,\,\,\,\,H^{(1)}_n\equiv H_n =\...
7 votes
2 answers
510 views
On the Euler sum $\sum \limits_{n=1}^{\infty} \frac{H_n^{(4)} H_n^2}{n^6}$
Here is an Euler sum I ran into. $$\mathcal{S} = \sum_{n=1}^{\infty} \frac{\mathcal{H}_n^{(4)} \mathcal{H}_n^2}{n^6}$$ where $\mathcal{H}_n^{(s)}$ is the generalised harmonic number of order $s$. I ...
0 votes
1 answer
67 views
Find identities for $ζ^\star(2,1,2)$ and $ζ^\star(\bar{2},\bar{1},2)$.
Could someone help find identities for these two? I started with $ζ^\star(2,1,2)$ = $\sum_{k=1}^{\infty}(\frac{1}{k^2})\sum_{l=1}^{k}(\frac{1}{l})\sum_{m=1}^{l}(\frac{1}{m^2})$ and $ζ^\star(\bar{...
2 votes
0 answers
57 views
Canonical reference for algebraic theory of polylogs?
I've noticed that there are lots of similar-looking (at least to my untrained eye) questions on Math Stackexchange involving polylogarithms, all equally delicious, in which the OP asks about how to ...