About the Project
16 Generalized Hypergeometric Functions & Meijer G-FunctionGeneralized Hypergeometric Functions

Β§16.5 Integral Representations and Integrals

When zβ‰ 0 and akβ‰ 0,βˆ’1,βˆ’2,…, k=1,2,…,p,

16.5.1 (∏k=1pΓ⁑(ak)/∏k=1qΓ⁑(bk))⁒Fqp⁑(a1,…,apb1,…,bq;z)=12⁒π⁒i⁒∫L(∏k=1pΓ⁑(ak+s)/∏k=1qΓ⁑(bk+s))⁒Γ⁑(βˆ’s)⁒(βˆ’z)s⁒ds,

where the contour of integration separates the poles of Γ⁑(ak+s), k=1,…,p, from those of Γ⁑(βˆ’s).

Suppose first that L is a contour that starts at infinity on a line parallel to the positive real axis, encircles the nonnegative integers in the negative sense, and ends at infinity on another line parallel to the positive real axis. Then the integral converges when p<q+1 provided that z≠0, or when p=q+1 provided that 0<|z|<1, and provides an integral representation of the left-hand side with these conditions.

Secondly, suppose that L is a contour from βˆ’i⁒∞ to i⁒∞. Then the integral converges when q<p+1 and |ph⁑(βˆ’z)|<(p+1βˆ’q)⁒π/2. In the case p=q the left-hand side of (16.5.1) is an entire function, and the right-hand side supplies an integral representation valid when |ph⁑(βˆ’z)|<Ο€/2. In the case p=q+1 the right-hand side of (16.5.1) supplies the analytic continuation of the left-hand side from the open unit disk to the sector |ph⁑(1βˆ’z)|<Ο€; compare Β§16.2(iii). Lastly, when p>q+1 the right-hand side of (16.5.1) can be regarded as the definition of the (customarily undefined) left-hand side. In this event, the formal power-series expansion of the left-hand side (obtained from (16.2.1)) is the asymptotic expansion of the right-hand side as zβ†’0 in the sector |ph⁑(βˆ’z)|≀(p+1βˆ’qβˆ’Ξ΄)⁒π/2, where Ξ΄ is an arbitrary small positive constant.

Next, when p≀q,

16.5.2 Fq+1p+1⁑(a0,…,apb0,…,bq;z)=Γ⁑(b0)Γ⁑(a0)⁒Γ⁑(b0βˆ’a0)⁒∫01ta0βˆ’1⁒(1βˆ’t)b0βˆ’a0βˆ’1⁒Fqp⁑(a1,…,apb1,…,bq;z⁒t)⁒dt,
16.5.3 Fqp+1⁑(a0,…,apb1,…,bq;z)=1Γ⁑(a0)⁒∫0∞eβˆ’t⁒ta0βˆ’1⁒Fqp⁑(a1,…,apb1,β‹―,bq;z⁒t)⁒dt,
β„œβ‘z<1, β„œβ‘a0>0,
16.5.4 Fq+1p⁑(a1,…,apb0,…,bq;z)=Γ⁑(b0)2⁒π⁒i⁒∫cβˆ’i⁒∞c+i⁒∞et⁒tβˆ’b0⁒Fqp⁑(a1,…,apb1,…,bq;zt)⁒dt,
c>0, β„œβ‘b0>0.

In (16.5.2)–(16.5.4) all many-valued functions in the integrands assume their principal values, and all integration paths are straight lines.

(16.5.2) also holds when p=q+1, provided that |ph⁑(1βˆ’z)|<Ο€. In (16.5.3) the restriction β„œβ‘z<1 can be removed when p<q. (16.5.4) also holds when p=q+1, provided that max⁑(0,β„œβ‘z)<c. Lastly, the restrictions on the parameters can be eased by replacing the integration paths with loop contours; see Luke (1969a, Β§3.6).

Laplace transforms and inverse Laplace transforms of generalized hypergeometric functions are given in Prudnikov et al. (1992a, §3.38) and Prudnikov et al. (1992b, §3.36). For further integral representations and integrals see Apelblat (1983, §16), Erdélyi et al. (1953a, §4.6), Erdélyi et al. (1954a, §§6.9 and 7.5), Luke (1969a, §3.6), and Prudnikov et al. (1990, §§2.22, 4.2.4, and 4.3.1).