For (8.6.1) use (8.6.8), replacing by
with .
For (8.6.2) substitute for by
(10.2.2), integrate term by term and refer to
(8.7.1) and (8.2.6).
(8.6.6) may be proved in a similar manner with the aid also of
(10.25.2), (10.27.4), (8.2.3), and
analytic continuation when .
For (8.6.3) and (8.6.7) apply (8.2.1)
and (8.2.2), taking new integration variables .
For (8.6.4) and (8.6.5) see
Temme (1996b, §§11.2.1–11.2.2).
For (8.6.8) assume temporarily , collapse
the integration path onto the interval and use
(8.2.1). For (8.6.9) see Temme (1996a).
For (8.6.10)–(8.6.12) see
Paris and Kaminski (2001, §3.4.3).
In (8.6.10)–(8.6.12), 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
in the case of (8.6.12).
For collections of integral representations of and
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).