Tag Archives: representation

Integral representation of the digamma function using Abel–Plana formula

$$ \int^\infty_0 \frac{2x}{(x^2+z^2)e^{2\pi x}-1}\,dx =\log(z)-\psi(z)-\frac{1}{2z}$$ $$\textit{proof}$$ Use Abel–Plana formula $$\sum_{n=0}^\infty f(n) = \int^\infty_0f(x)\,dx+\frac{f(0)}{2} +i\int^\infty_0 \frac{f(ix)-f(-ix)}{e^{2\pi x}-1}\,dx$$ Let $$f(x) = \frac{1}{z+x}$$ Note that $$i(f(ix) -f(-ix))= \frac{i}{z+ix}-\frac{i}{z-ix} = \frac{2x}{z^2+x^2}$$ By integration we have $$ \int^\infty_0 \frac{2x}{(x^2+z^2)e^{2\pi x}-1}\,dx =\lim_{N\to \infty}\sum_{n=0}^N \frac{1}{z+n}-\int^N_0 \frac{1}{x+z}\,dx-\frac{1}{2z}$$ The … Continue reading

Posted in Digamma function | Tagged , , , , , , | 3 Comments

Integral representation of Gauss Hypergeometric function proof

$$\beta(c-b,b) \, _2F_1(a,b;c;z)=\int_0^1 \frac{t^{b-1}(1-t)^{c-b-1}}{(1-tz)^a}\, dt $$ $$\textit{proof}$$ Start by the RHS $$\int_0^1 t^{b-1}(1-t)^{c-b-1} \, (1-tz)^{-a}\, dt $$ Using the expansion of \( (1-tz)^{-a} \) we have $$\int_0^1 t^{b-1}(1-t)^{c-b-1} \sum_{k=0}^\infty\frac{(a)_k}{k!}\, (tz)^k $$ Interchanging the integral with the series $$ \sum_{k=0}^\infty\frac{(a)_k}{k!}\, z^k … Continue reading

Posted in Hypergeoemtric function | Tagged , , , , | Leave a comment

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