I was studying a technique in Gradshyten and Ryzhik's Part 12 "Some Log Integrals" on how to integrate something like
$\displaystyle \int_{0}^{1}\frac{\ln(x)}{x^{2}-x+1}dx$ and came across a relation I am wondering about.
The paper uses the roots of the above quadratic in the denominator of the integrand to arrive at the sum.
They state that $\displaystyle \sin\left (\frac{k\pi}{3}\right)$ has period 6:
$\displaystyle \frac{\sqrt{3}}{2}, \;\ \frac{\sqrt{3}}{2}, \;\ 0, \;\ \frac{-\sqrt{3}}{2}, \;\ \frac{-\sqrt{3}}{2}, \;\ 0$. Then, they repeat.
These are used to equate: $\displaystyle \sum_{k=1}^{\infty}\frac{\sin\left (\frac{\pi k}{3}\right )}{k^{2}}$ to
$\displaystyle \frac{\sqrt{3}}{2}\sum_{k=0}^{\infty}\left(\frac{1}{(6k+1)^{2}}+\frac{1}{(6k+2)^{2}}-\frac{1}{(6k+4)^{2}}-\frac{1}{(6k+5)^{2}}\right)$
The digamma is then used to evaluate the sums.
I have no problem with the paper except how they equate this sin sum to the sum on the right side. Given $\displaystyle\sum_{k=0}^{\infty}\frac{1}{(ak+b)^{2}}$, they use a=6 because that is the period of the sin, and they use b=1,2,4,5 because those sin values, in that order, are not 0.
But, they do not explain how the sin sum can be written like the right side in the first place. Perhaps it is something I should be seeing.
I even used this method to evaluate $\displaystyle -2\int_{0}^{\frac{\pi}{4}}\ln(2\sin(x))dx$.
I was able to derive the correct sums by equating
$\displaystyle \sum_{k=1}^{\infty}\frac{\sin\left (\frac{\pi k}{2}\right )}{k^{2}}=\frac{1}{16}\left(\sum_{k=0}^{\infty}\frac{1}{(4k+1)^{2}}-\sum_{k=0}^{\infty}\frac{1}{4k+3)^{2}}\right)$ and arrive at the solution.
But, I do not know how one can prove that the sin sum is related to the rational sum.
Can anyone explain how these seemingly unrelated sums are in fact the same?.
Cheers.