About the Project
8 Incomplete Gamma and Related FunctionsIncomplete Gamma Functions

§8.6 Integral Representations


§8.6(i) Integrals Along the Real Line

For the Bessel function Jν(z) and modified Bessel function Kν(z), see §§10.2(ii) and 10.25(ii).

8.6.1 γ(a,z) =zasin(πa)0πezcostcos(at+zsint)dt,
8.6.2 γ(a,z) =z12a0e-tt12a-1Ja(2zt)dt,
8.6.3 γ(a,z) =za0exp(-at-ze-t)dt,
8.6.4 Γ(a,z) =zae-zΓ(1-a)0t-ae-tz+tdt,
|phz|<π, a<1,
8.6.5 Γ(a,z) =zae-z0e-zt(1+t)1-adt,
8.6.6 Γ(a,z) =2z12ae-zΓ(1-a)0e-tt-12aKa(2zt)dt,
8.6.7 Γ(a,z) =za0exp(at-zet)dt,

§8.6(ii) Contour Integrals

8.6.8 γ(a,z)=-iza2sin(πa)-1(0+)ta-1eztdt,
z0, a;

ta-1 takes its principal value where the path intersects the positive real axis, and is continuous elsewhere on the path.

8.6.9 Γ(-a,ze±πi)=ezeπiaΓ(1+a)0tae-ztt-1dt,
z>0, a>-1,

where the integration path passes above or below the pole at t=1, according as upper or lower signs are taken.

Mellin–Barnes Integrals

In (8.6.10)–(8.6.12), c is a real constant and the path of integration is indented (if necessary) so that it separates the poles of the gamma function from the other pole in the integrand, in the case of (8.6.10) and (8.6.11), and from the poles at s=0,1,2, in the case of (8.6.12).

8.6.10 γ(a,z)=12πic-ic+iΓ(s)a-sza-sds,
|phz|<12π, a0,-1,-2,,
8.6.11 Γ(a,z) =12πic-ic+iΓ(s+a)z-ssds,
8.6.12 Γ(a,z) =-za-1e-zΓ(1-a)12πic-ic+iΓ(s+1-a)πz-ssin(πs)ds,
|phz|<32π, a1,2,3,.

§8.6(iii) Compendia

For collections of integral representations of γ(a,z) and Γ(a,z) see Erdélyi et al. (1953b, §9.3), Oberhettinger (1972, pp. 68–69), Oberhettinger and Badii (1973, pp. 309–312), Prudnikov et al. (1992b, §3.10), and Temme (1996b, pp. 282–283).