About the Project
5 Gamma FunctionProperties

§5.9 Integral Representations

Contents
  1. §5.9(i) Gamma Function
  2. §5.9(ii) Psi Function, Euler’s Constant, and Derivatives

§5.9(i) Gamma Function

5.9.1 \frac{1}{\mu}\Gamma\left(\frac{\nu}{\mu}\right)\frac{1}{z^{\nu/\mu}}=\int_{0}^%
{\infty}\exp\left(-zt^{\mu}\right)t^{\nu-1}\,\mathrm{d}t,

\Re\nu>0, \mu>0, and \Re z>0. (The fractional powers have their principal values.)

Hankel’s Loop Integral

5.9.2 \frac{1}{\Gamma\left(z\right)}=\frac{1}{2\pi i}\int_{-\infty}^{(0+)}e^{t}t^{-z%
}\,\mathrm{d}t,

where the contour begins at -\infty, circles the origin once in the positive direction, and returns to -\infty. t^{-z} has its principal value where t crosses the positive real axis, and is continuous. See Figure 5.9.1.

5.9.2_5 \frac{1}{\Gamma\left(z\right)}=\frac{{\mathrm{e}}^{z}z^{1-z}}{2\pi}\int_{-\pi}%
^{\pi}{\mathrm{e}}^{-z\Phi(t)}\,\mathrm{d}t,\Re z>0,

where \Phi(t)=1-t\cot t+\ln\left(\frac{t}{\sin t}\right).

5.9.3 c^{-z}\Gamma\left(z\right)=\int_{-\infty}^{\infty}|t|^{2z-1}e^{-ct^{2}}\,%
\mathrm{d}t,c>0, \Re z>0,

where the path is the real axis.

Binet’s Formula

5.9.10 \operatorname{Ln}\Gamma\left(z\right)=\left(z-\tfrac{1}{2}\right)\ln z-z+%
\tfrac{1}{2}\ln\left(2\pi\right)+2\int_{0}^{\infty}\frac{\operatorname{arctan}%
\left(t/z\right)}{e^{2\pi t}-1}\,\mathrm{d}t,

where |\operatorname{ph}z|<\pi/2 and the inverse tangent has its principal value. Two alternative versions of Binet’s formula are

5.9.10_1 \operatorname{Ln}\Gamma\left(z\right)=\left(z-\tfrac{1}{2}\right)\ln z-z+%
\tfrac{1}{2}\ln\left(2\pi\right)-\frac{z}{\pi}\int_{0}^{\infty}\frac{\ln\left(%
1-{\mathrm{e}}^{-2\pi t}\right)}{t^{2}+z^{2}}\,\mathrm{d}t,
5.9.10_2 \operatorname{Ln}\Gamma\left(z\right)=\left(z-\tfrac{1}{2}\right)\ln z-z+%
\tfrac{1}{2}\ln\left(2\pi\right)+\int_{0}^{\infty}{\mathrm{e}}^{-zt}\left(%
\frac{1}{{\mathrm{e}}^{t}-1}-\frac{1}{t}+\frac{1}{2}\right)\frac{\,\mathrm{d}t%
}{t},

where |\operatorname{ph}z|<\pi/2.

5.9.11 \operatorname{Ln}\Gamma\left(z+1\right)=-\gamma z-\frac{1}{2\pi i}\int_{-c-%
\infty i}^{-c+\infty i}\frac{\pi z^{-s}}{s\sin\left(\pi s\right)}\zeta\left(-s%
\right)\,\mathrm{d}s,

where |\operatorname{ph}z|\leq\pi-\delta, 1<c<2, and \zeta\left(s\right) is as in Chapter 25.

5.9.11_1 \Gamma^{*}\left(z\right)=1-\frac{1}{2\pi\mathrm{i}}\int_{0}^{\infty}\frac{{%
\mathrm{e}}^{-2\pi t}\Gamma^{*}\left(t{\mathrm{e}}^{\mathrm{i}\pi/2}\right)}{t%
+\mathrm{i}z}\,\mathrm{d}t+\frac{1}{2\pi\mathrm{i}}\int_{0}^{\infty}\frac{{%
\mathrm{e}}^{-2\pi t}\Gamma^{*}\left(t{\mathrm{e}}^{-\mathrm{i}\pi/2}\right)}{%
t-\mathrm{i}z}\,\mathrm{d}t,
5.9.11_2 \frac{1}{\Gamma^{*}\left(z\right)}=1-\frac{1}{2\pi\mathrm{i}}\int_{0}^{\infty}%
\frac{{\mathrm{e}}^{-2\pi t}\Gamma^{*}\left(t{\mathrm{e}}^{\mathrm{i}\pi/2}%
\right)}{t-\mathrm{i}z}\,\mathrm{d}t+\frac{1}{2\pi\mathrm{i}}\int_{0}^{\infty}%
\frac{{\mathrm{e}}^{-2\pi t}\Gamma^{*}\left(t{\mathrm{e}}^{-\mathrm{i}\pi/2}%
\right)}{t+\mathrm{i}z}\,\mathrm{d}t,

where |\operatorname{ph}z|<\pi/2, and the scaled gamma function \Gamma^{*}\left(z\right) is defined in (5.11.3). For additional representations see Whittaker and Watson (1927, §§12.31–12.32).

§5.9(ii) Psi Function, Euler’s Constant, and Derivatives

For \Re z>0,

5.9.12 \psi\left(z\right)=\int_{0}^{\infty}\left(\frac{e^{-t}}{t}-\frac{e^{-zt}}{1-e^%
{-t}}\right)\,\mathrm{d}t,
5.9.14 \psi\left(z\right)=\int_{0}^{\infty}\left(e^{-t}-\frac{1}{(1+t)^{z}}\right)%
\frac{\,\mathrm{d}t}{t},

where |\operatorname{ph}z|\leq\pi-\delta and 1<c<2.

5.9.18 \gamma=-\int_{0}^{\infty}e^{-t}\ln t\,\mathrm{d}t=\int_{0}^{\infty}\left(\frac%
{1}{1+t}-e^{-t}\right)\frac{\,\mathrm{d}t}{t}=\int_{0}^{1}(1-e^{-t})\frac{\,%
\mathrm{d}t}{t}-\int_{1}^{\infty}e^{-t}\frac{\,\mathrm{d}t}{t}=\int_{0}^{%
\infty}\left(\frac{e^{-t}}{1-e^{-t}}-\frac{e^{-t}}{t}\right)\,\mathrm{d}t.
5.9.20 \int_{c}^{z}\Gamma\left(t\right)\,\mathrm{d}t=\int_{0}^{\infty}\frac{t^{z-1}-t%
^{c-1}}{\ln t}{\mathrm{e}}^{-t}\,\mathrm{d}t,\Re z>0, \Re{c}>0.