# Category Archives: Digamma function

## 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 | | 3 Comments

## The most ugly looking integral

Prove the following $$I= \log \left\{\frac{\Gamma(b+c+1) \Gamma(c+a+1)\Gamma(a+b+1)}{\Gamma(a+1) \Gamma(b+1) \Gamma(c+1) \Gamma(a+b+c+1)} \right\}$$   where   $$I = \int_0^1 \frac{(1-x^a)(1-x^b)(1-x^c)}{(1-x)(-\log x)}dx$$ $$\textit{proof}$$ First note that since there is a log in the denominator that gives as an idea to use differentiation under … Continue reading

Posted in Digamma function, Gamma function | Tagged , , , , , | Leave a comment

## Digamma fourth integral representation proof

$$\psi(z) = \log(z) -\frac{1}{2z}-2\int^\infty_0 \frac{t}{(t^2+z^2)(e^{2\pi}-1)}dt\,\,\,\,;\text{ Re}z>0$$ We prove that $$2\int^\infty_0 \frac{t}{(t^2+z^2)(e^{2\pi}-1)}dt= \log(z) -\frac{1}{2z}- \psi(z)$$ First note that $$\frac{2}{e^{2\pi t}-1} =\coth(\pi t)-1$$ Also note that $$\coth(\pi t) = \frac{1}{\pi t}+\frac{2t}{\pi}\sum_{k=1}^\infty\frac{1}{k^2+t^2}$$ Hence we conclude that $$\frac{2t}{e^{2\pi t}-1} =\frac{1}{\pi}-t+\frac{2t^2}{\pi}\sum_{k=1}^\infty\frac{1}{k^2+t^2}$$ Substitute the … Continue reading