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 in the case of (8.6.10) it separates the poles of the gamma function from the pole at s=a, in the case of (8.6.11) it is to the right of all poles, and in the case of (8.6.12) it separates the poles of the gamma function from the poles at s=0,1,2,.

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).