Tag Archives: polylgoarithm

Integral representation of generalized Euler sums

$$\sum_{k=1}^\infty\frac{H^{(p)}_k}{k^q} = \zeta(p)\zeta(q) +(-1)^{p}\frac{1}{ (p-1)!}\int^1_0\frac{\mathrm{Li}_q(x)\log(x)^{p-1}}{1-x}\,dx$$ $$\textit{proof}$$ Note that $$\psi_0(a+1)= \int^1_0\frac{1-x^a}{1-x}\,dx$$ By differentiating with respect to \(a\) , \(p \) times we have $$\psi_p(a+1) = \frac{\partial}{\partial a^p}\int^1_0\frac{1-x^a}{1-x}\,dx$$ $$\psi_p(a+1) = -\int^1_0\frac{x^a\log(x)^{p}}{1-x}\,dx$$ Let \( a =k\) $$\psi_{p-1}(k+1) = -\int^1_0\frac{x^k\log(x)^{p-1}}{1-x}\,dx$$ Use the relation to polygamma $$H^{(p)}_k … Continue reading

Posted in Euler sum, PolyGamma, Polylogarithm | Tagged , , , , , | Leave a comment

Square difference formula for polylgoarithm proof

$$\mathrm{Li}_{\,n}(-z) + \mathrm{Li}_{\,n}(z) = 2^{1-n} \,\mathrm{Li}_{\,n}(z^2) $$ $$\textit{proof}$$ As usual we write the series representation of the LHS $$\sum_{k=1}^\infty \frac{z^k}{k^n}+\sum_{k=1}^\infty \frac{(-z)^k}{k^n}$$ Listing the first few terms $$z+\frac{z^2}{2^n}+\frac{z^3}{3^n}+\cdots +\left(-z+\frac{z^2}{2^n}-\frac{z^3}{3^n}+\cdots \right) $$ The odd terms will cancel $$2\frac{z^2}{2^n}+2\frac{z^4}{4^n}+2\frac{z^6}{6^n}+\cdots $$ Take \( 2^{1-n} … Continue reading

Posted in Dilogarithm, Polylogarithm | Tagged , , , , , , | 1 Comment