We aim at establishing a new bilateral type generating function associated with the I-function and a Mellin-Barnes type of contour integral. The results derived here are of general character and can yield a number of (known and new) results in the theory of generating functions.
1. Introduction
Bilinear and bilateral type generating functions are continuous functions associated with a given sequence and have useful applications in many research fields. For this reason, generating functions are very useful in analyzing discrete problems involving sequences of numbers or sequences of functions, in modern combinatorics. A number of generating functions and expansions of such other types of hypergeometric functions in one, two, and more variables have been developed by many authors (see [1–4]; for a very recent work, see also [5]). Here, we present a new bilateral generating function associated with the I-function and Mellin-Barnes type of contour integral, mainly motivated by the work of Srivastava and Panda [4].
For our purpose, we begin by recalling some known functions and throughout this paper we will use the following notations.
Let Δ(s,α) and ∇(s,α) stand for the s-parameter sequence α/s,(α+1)/s,…,(α+s-1)/s and 1-(α/s),1-(α+1)/s,…,1-(α+s-1)/s, respectively, for an arbitrary complex number α and for all integers s≥1.
The H-function introduced by Fox [6, p. 408] will be represented and defined as follows:
(1)Hp,qm,n[x|(bj,Bj)1,q(aj,Aj)1,p]=12πi∫Lϕ(ξ)xξdξ,
where
(2)ϕ(ξ)=∏j=1mΓ(bj-Bjξ)∏j=1nΓ(1-aj+Ajξ)∏j=m+1qΓ(1-bj+Bjξ)∏j=n+1pΓ(aj-Ajξ),
where an empty product is interpreted as unity and 0≤m≤q,0≤n≤p,Aj(j=1,…,p), and Bj(j=1,…,q) are positive numbers. L is suitable contour of Barnes type such that the poles of Γ(bj-Bjξ)(j=1,…,m) lie to the right of it and those of Γ(1-aj+Ajξ)(j=1,…,n) lie to the left of it. Asymptotic expansions and analytic continuations of the H-function have been discussed by Braaksma [7].
The I-function will be defined and represented as follows [8]:
(3)Ipi,qi,rm,n[z|(bj,βj)1,m,(bji,βji)m+1,qi(aj,αj)1,n,(aji,αji)n+1,pi]=12πi∫Lϕ(ξ)zξdξ,
where
(4)ϕ(ξ)=∏j=1mΓ(bj-βjξ)∏j=1nΓ(1-aj+αjξ)∑i=1r[∏j=1qiΓ(1-bji+βjiξ)∏j=1pΓ(aji-αjiξ)],
and m,n,pi,qi are integers satisfying 0≤n≤pi,1≤m≤qi(i=1,…,r), where r is finite. αj,βj,αji,βji are positive integers and aj,bj,aji,bji are complex numbers. The I-function is a generalized form of the well-known Fox H-function [6]. In the sequel, the I-function will be studied under the following conditions of existence:
(5)(i)Ai>0,|argz|<Aiπ2(6)(ii)Ai≥0,|argz|≤Aiπ2,R(B+1)<0,
where
(7)Ai=∑j=1nαj-∑j=n+1piαji+∑j=1mβj-∑j=m+1qiβji,∀i=(1,2,…,r),B=∑j=1mbj+∑j=m+1qibji-∑j=1naj-∑j=n+1piaji+12(pi-qi),∀i=(1,2,…,r).
2. Bilateral Generating Functions for I-Functions
In this section, we establish generating functions for the I-function and Mellin-Barnes type of contour integral (3) and (1), respectively.
Theorem 1.
Let M, N, Pi, Qi, m, n, p, and q be positive integers. Then the following bilateral generating function holds:
(8)∑ω=0∞Hp+s,q+sm,n+s[x|(bj,Bj)1,q;(∇(s,-ω),0)1,s(aj,Aj)1,n;(∇(s,-ω),1)1,s;(aj,Aj)n+1,p]×IPi+s,Qi,rM,N+s[y|(bj′,βj)1,M;(bji′,βji)M+1,Qi(aj′,αj)1,N;(∇(s,σ+ω),1)1,s;(aji′,αji)N+1,Pi]zωω!=(1-zs)-σIPi+s,Qi+s,rM,N+s×[y(1-zs)-s|(bj′,βj)1,M;(bji′,βji)M+1,Qi(aj′,αj)1,N;(Δ(s,σ),1)1,s;(aji′,αji)N+1,Pi]×Hp+s,q+sm,n+s[x(1-sz)-s|(bj,Bj)1,q;(∇(s,σ),0)1,s(aj,Aj)1,n;(∇(s,σ),1)1,s;(aj,Aj)n+1,p],
where σ is an arbitrary complex number and s is an integer ≥0.
Proof.
For convenience, let the left-hand side of (8) be denoted by J. Applying the integral representation of (3) to J, then interchanging the order of summation and integration (which can be justified when the integral and the series involved are uniformly absolutely convergent), we get
(9)J=12πi∫Lϕ(ξ)∏k=1sΓ(Δ(s,σ)+ξ)iiiiiiiii×{∑ω=0∞(σ+sξ)ωω!Hp+s,q+sm,n+siiiiiiiiiiiiii×[x|(bj,Bj)1,q;(∇(s,-ω),0)1,s(aj,Aj)1,n;(∇(s,-ω),1)1,s;(aj,Aj)n+1,p](zs)ω}yξdξ.
Using the known formula (see [4, p. 273, (4.10)] ), namely,(10)∑ω=0∞(σ)ωω!Hp+s,q+sm,n+s[x|(bj,Bj)1,q;(∇(s,-ω),0)1,s(aj,Aj)1,n;(∇(s,-ω),1)1,s;(aj,Aj)n+1,p]tω=(1-t)-σHp+s,q+sm,n+s×[x(tt-1)s|(bj,Bj)1,q;(∇(s,σ),0)1,s(aj,Aj)1,n;(∇(s,σ),1)1,s;(aj,Aj)n+1,p]and the Mellin-Barnes type contour integral of the H-function given by (1).
Finally, in view of (10) and (3), we get the desired assertion (8) of Theorem 1.
3. Special Cases
In this section, we consider some consequences of the main results derived in the preceding section.
If we put r=1, I-function reduces to Fox H-function [6]. Then the main result (8) takes the following form:
(11)∑ω=0∞Hp+s,q+sm,n+s[x|(bj,Bj)1,q;(∇(s,-ω),0)1,s(aj,Aj)1,n;(∇(s,-ω),1)1,s;(aj,Aj)n+1,p]×HP+s,QM,N+s[y|(bj′,βj)1,M;(bj′,βj)M+1,Q(aj′,αj)1,N;(∇(s,σ+ω),1)1,s;(aji′,αj)n+1,P]zωω!=(1-zs)-σHp+s,q+sm,n+s×[x(1-sz)-s|(bj,Bj)1,q;(∇(s,σ),0)1,s(aj,Aj)1,n;(∇(s,σ),1)1,s;(aj,Aj)n+1,p]×HP+s,QM,N+s[y(1-zs)-s|(bj′,βj)1,M;(bj′,βj)M+1,Q(aj′,αj)1,N;(Δ(s,σ),1)1,s;(aj′,βj)N+1,P].
If we put r=1,M=1,N=Pi=P,Qi=Q+1,b1′=0,β1=1,aj′=1-aj′,bji′=bj′, andβji=βj, I-function reduces to Wright’s generalized hypergeometric function [9, p. 33, (2.3.8)]. Then the main result (8) takes the following form:
(12)∑ω=0∞Hp+s,q+sm,n+s[x|(bj,Bj)1,q;(∇(s,-ω),0)1,s(aj,Aj)1,n;(∇(s,-ω),1)1,s;(aj,Aj)n+1,p]×ψP+sQ[(aj′,αj)1,P;(∇(s,σ+ω),1)1,s(bj′,βj)1,Q;-y]zωω!=(1-zs)-σHp+s,q+sm,n+s×[x(1-sz)-s|(bj,Bj)1,q;(∇(s,σ),0)1,s(aj,Aj)1,n;(∇(s,σ),1)1,s;(aj,Aj)n+1,p]×ψP+sQ[(aj′,αj)1,P;(∇(s,σ),1)1,s(bj′,βj)1,Q;-y(1-zs)-s].
If we put r=1,M=1,N=Pi=P,Qi=Q+1,b1′=0,β1=1,aj′=1-aj′,bji′=1-bj′, andαj=βj=αji=βji=1, I-function reduces to generalized hypergeometric function [9, p. 33, (2.3.11)]. Then the main result (8) takes the following form:
(13)∑ω=0∞{∏k=1sΓ(∇(s,σ+ω))}×Hp+s,q+sm,n+s[x|(bj,Bj)1,q;(∇(s,-ω),0)1,s(aj,Aj)1,n;(∇(s,-ω),1)1,s;(aj,Aj)n+1,p]×P+sFQ[(aj′,1)1,P;(∇(s,σ+ω),1)1,s(bj′,1)1,Q;-y]zωω!=(1-zs)-σ{∏k=1sΓ(∇(s,σ))}×Hp+s,q+sm,n+s[x(1-sz)-s|(bj,Bj)1,q;(∇(s,σ),0)1,s(aj,Aj)1,n;(∇(s,σ),1)1,s;(aj,Aj)n+1,p]×FP+sQ[(aj′,1)1,P;(∇(s,σ),1)1,s(bj′,1)1,Q;y(1-zs)-s].
4. Concluding Remark
We conclude our present investigation by remarking that the results obtained here are useful in deriving numerous other generating functions involving various special functions due to presence of the I-function given by (8). The I-function, used in our results, is quite basic in nature. Therefore, on specializing the parameters of this function, we may obtain various other special functions such as Fox H-function, Meijer’s G-function, Wright’s generalized Bessel function, Wright’s generalized hypergeometric function, Mac-Robert’s E-function, generalized hypergeometric function, Bessel function of first kind, modified Bessel function, Whittaker function, exponential function, and binomial function as its special cases, and, therefore, the result thus derived in this paper is general in character and likely to find certain applications in the theory of special functions.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The research of Jessada Tariboon is supported by King Mongkut’s University of Technology North Bangkok, Thailand.
AgarwalP.KoulC. L.On generating functions200323173180MR2017503ZBLl1137.33309SrivastavaH. M.A class of bilateral generating functions for the Jacobi polynomial197182530MR0304722ZBLl0224.33015SrivastavaH. M.ManochaH. L.1984Brisban and Toronto, CanadaHalsted Press (Ellis Horwood), John Wiley & Sons, New York, NY, USA, Chichester, UKSrivastavaH. M.PandaR.Some bilateral generating functions for a class of generalized hypergeometric polynomials1976283/284265274MR0407338ChoiJ.AgarwalP.Certain generating functions involving Appell series20148412532FoxC.The G and H functions as symmetrical Fourier kernels196198395429MR0131578BraaksmaB. L. J.Asymptotic expansions and analytic continuations for a class of Barnes-integrals196415239341MR0167651SaxenaV. P.A formal solution of certain new pair of dual integral equations involving Hfunctions198252366375SaxenaV. P.2008New Delhi, IndiaAnamaya