arXiv:2001.04793v2 [math.CA] 6 Apr 2020 lo susual, as Also, oiienmesand numbers positive and hypergeometric (2.4)] where, (1.1) (1.4) (1.3) where details), for [6] olwfo h nw smttc fteElrGmafnto.Th Gamma–function. complex Euler the whole of the asymptotics in known the series from the of follow radius convergence and conditions convergence The f∆= ∆ If 12 = ∆ (1.2) eeaigfunctions. Generating NANWGNRTN UCIN O H O-RGTFUNCTIONS FOX-WRIGHT THE FOR FUNCTIONS GENERATING NEW A ON ee n nwa olw,w use we follows, what in and Here, hogottepeetivsiain euetefloigstanda following the use we investigation, present the Throughout hogotti ae,w eoeby denote we paper, this Throughout 2010 e od n phrases. and words Key ie MF.e,pitd 000-,1.00 2020-04-7, printed: GM_FW.tex, File: − ahmtc ujc Classification. Subject Mathematics rnfr facaso ucinascae oteFxsH-fu Fox’s the to associated considere function of are class identity Hurw a series extended of double the transform new and series some power Furthermore, application type As Mathieu investigated. f Fox-Wright are generalized the variables f involving Fox-Wright two function of the of function to class a associated for functions functions of classes certain Abstract. 1 , hntesre n(.)cnegsfor converges (1.1) in series the then Z p F eoe h e fintegers, of set the denotes q h anfcso h rsn ae st netgt several investigate to is paper present the of focus main The ucinwith function z C ρ paewhen -plane p o-rgtfnto,FxHfnto,Hpremti func Hypergeometric H-function, Fox function, Fox-Wright eoe h e fcmlxnumbers. complex of set the denotes = +1 p
Ψ Ψ ˇ i Y q q =1 p ( h h A ( ( ( ( A b a b σ, l N HISAPPLICATIONS THEIRS AND 1 N 1 q 1) − i ,B ≥ ,A , p B A , := 1 ( 1 q 0 ueao and numerator a i ) ) ) ,..., l , ! ,..., p { , 04,3D5 33C10. 30D15, 30C45, A 1 p ( Z ( 1 = p , Ψ b a ) q − j 2 Y p 1.
=1 ,B q q , ,A z HLDMEHREZ KHALED X [ j := 3 .,p ..., , . i q =1 q odnt h o-rgtgnrlzto ftefamiliar the of generalization Fox-Wright the denote to ] p ... , B ) ) = R Introduction
{− j B B z } j i eoe h e fra numbers, real of set the denotes | j ; , z 1 B = = Γ( − | , 1 N µ , l ρ, < − q 1 k X p X σ i ≥ 0 ∞ =1 =0 Ψ 2 p eoiao aaees endb 2,p ,Eq. 4, p. [26, by defined parameters, denominator ) , := q 0 − = A h Q , ,sm eeaigfntosascae othe to associated functions generating some s, Q and ( ( 3 ntoswl eepesdi em fteH- the of terms in expressed be will unctions p i { b a and X j l p ntos npriua,crangenerating certain particular, In unctions. ... , l q +1 cini made. is nction 0 p =1 =1 q =1 > q .Acnetr bu h nt Laplace finite the about conjecture A d. , , , A B Ψ 1 | } − z b Γ( Γ( t-ec eafnto r established. are function zeta itz-Lerch q p , l ttergthn ieo 11 immediately (1.1) of side right-hand the at j q . ) | ) 2 1 1 = h
a = − b , . z ( ( l l 3 b σ, i + k X ... , + ρ q 1) .,q ..., , =1 , p B dnotations: rd ne h condition the under kB , kA ( } q enn eisi 11 converges (1.1) in series defining e a a ) p k l l , ) ) A ) eeaigfntosfra for functions generating + . z p k in uwt-ec eafunction, zeta Hurwitz-Lerch tion, ) k ! p
, z − 2 i . q R + eoe h e of set the denotes ℜ ( µ ) > 2 1 , (see 2 K. MEHREZ
The generalized hypergeometric function pFq is defined by ∞ p (a ) zk (1.5) F a1,...,ap z = l=1 l k p q b1,...,bq q l=1(bl)k k! h i k=0 Q X where, as usual, we make use of the following notation: Q Γ(τ + k) (τ) =1, and (τ) = τ(τ + 1)...(τ + k 1) = , k N, 0 k − Γ(τ) ∈ to denote the shifted factorial or the Pochhammer symbol. Obviously, we find from the definitions (1.1) and (1.5) that
(a1,1),...,(ap,1) Γ(a )...Γ(a ) (1.6) Ψ z = 1 p F a1,...,ap z . p q p q b1,...,bq (b1,1),...,(bq,1) Γ(b1)...Γ(bq) h i h i
Generating functions play an important role in the investigation of va rious useful properties of the sequences which they generate. They are used to find certain properties and formulas for numbers and polynomials in a wide variety of research subjects, indeed, in modern combinatorics. In this regard, in fact, a remarkable large number of generating functions involving a variety of special functions have been developed by many authors [1, 2, 22, 3, 18, 19, 20, 21]. In a recent papers [8],[9],[10], Mehrez have studied certain advanced properties of the Fox-Wright function including its new integral representations, the Laplace and Stieltjes transforms, Luke inequalities, Tur´an type inequalities and completely monotonicity property are derived. In particular, it was shown there that the following Fox-Wright functions are completely monotone:
(αp,A) pΨq z , s> 0, (βq ,A) − h i (λ,1),(α p,Ap) 1 p+1Ψq s> 0, (βq,1) z h i and has proved that the Fox’s H-function Hp,0[.] constitutes the representing measure for the Fox-Wright q,p function pΨq[.], if µ> 0, i.e., [8, Theorem 1]
(αp,Ap) ρ (Bq ,βq) zt p,0 dt (1.7) pΨq z = e Hq,p t . (βq,Bq ) 0 (Ap,αp) t h i Z p,0 when µ> 0. Here, and in what follows, we use Hq,p [.] to denote the Fox’s H-function, defined by p (Bq ,βq ) p,0 1 j=1 Γ(Aj s + αj ) −s (1.8) Hq,p z = q z ds, (Ap,αp) 2iπ L Γ(Bks + βk) Z Qk=1
where Aj ,Bk > 0 and αj ,βk are real. The contour Qcan be either the left loop − starting at + iα and ending at + iβ for some α< 0 <β such thatL all poles of the integrand lieL inside the loop,−∞ or the right loop starting−∞ + iα at and ending + iβ and leaving all poles on the left, or the vertical line L+ ∞ ∞ ic, (z)= c, traversed upward and leaving all poles of the integrand on the left. Denote the rightmost Lpoleℜ of the integrand by γ : γ = min (aj /Aj ). 1≤j≤p
The definition of the H-function is still valid when the Ai’s and Bj ’s are positive rational numbers. Therefore, the H-function contains, as special cases, all of the functions which are expressible in terms of the G-function. More importantly, it contains the Fox-Wright generalized hypergeometric function defined in (1.1), the generalized Mittag-Leffler functions, etc. For example, the function pΨq[.] is one of these special case of H-function. By the definition (1.1) it is easily extended to the complex plane as follows [7, Eq. 1.31], (α ,A ) (A ,1−α ) p p 1,q p p (1.9) pΨq z = Hp,q+1 z . (βq ,Bq ) − (0,1),(Bq ,1−βq) h i
The representation (1.9) holds true only for positive values of the parameters Ai and Bj . The special case for which the H-function reduces to the Meijer G-function is when A1 = ... = Ap = B1 = ... = Bq = A, A> 0. In this case,
(Bq ,βq ) Bq m,n 1 m,n 1/A (1.10) Hq,p z = Gp,q z . (Ap,αp) A αp
GENERATING FUNCTIONS INVOLVING THE FOX-WRIGHT FUNCTIONS 3 In our present investigation, certain generating functions for some classes of function related to the Fox-Wright functions will be evaluated in terms of the H-function of two variables. In order to present the results, we need the definition of the H-function of two complex variables introduced earlier by Mittal and Gupta [11]. The analysis developed here is based on the work of Saxena and Nishimoto [13], Saigo and Saxena [14]. The H-function of two variables is defined in terms of multiple Mellin-Barnes type contour integral as A a c E e (αp1 ; p1 , p1 ):( p2 ,γp2 );( p3 , p3 ) x 0,n1:m2,n2;m3,n3 x H y = Hp1,q1:p2,q2;p3,q3 y (βq ;Bq ,bq ):(dq ,δq );(Fq ,fq ) (1.11) 1 1 1 2 2 3 3 1 = φ(s,t) φ (s)φ (t)xsytdsdt, −4π2 1 2 ZL1 ZL2 where x and y are not equal to zero. For convenience the parameters (αp1 ; Ap1 , ap1 ) and (cp2 ,γp2 ) will abbreviate the sequence of the parameters (α1; A1,a1), ..., (αp1 ; Ap1 ,ap1 ) and (c1,γ1), ..., (cp2 ,γp2 ) respectively, and similar meanings hold for the other parameters (βq1 ; Bq1 , bq1 ) and (dq2 ,δq2 ) , etc. Here n1 Γ(1 α + a s + A t) (1.12) φ(s,t)= i=1 − i i i p1 q1 i=n +1 Γ(αi Qais Ait) j=1 Γ(1 βj + bj s + Bj t) 1 − − − Q hQ i m2 Γ(d δ s) [ n2 Γ(1 c + γ s)] j=1 j − j i=1 − i i (1.13) φ1(s)= qh2 i p2 Q Γ(1 dj + δj sQ) Γ(ci γis) j=m2+1 − i=n2+1 − hQ i Q m3 Γ(f F t) [ n3 Γ(1 e + E t)] j=1 j − j i=1 − i i (1.14) φ2(t)= , q3h i p3 Q Γ(1 fj + FjtQ) Γ(ei Eit) j=m3 +1 − i=n3+1 − h i where αi,βj ,ci,dj,ei and fj beQ complex numbers and associatedQ coefficients ai, Ai,bj,Bj ,γi,δj , Ei and Fj be real and positive for the standardization purposes, such that
p1 p2 q1 q2 (1.15) ρ = a + γ b δ 0, 1 i i − j − j ≤ i=1 i=1 j=1 j=1 X X X X
p1 p2 q1 q2 (1.16) ρ = A + E B F 0, 2 i i − j − j ≤ i=1 i=1 j=1 j=1 X X X X
p1 q1 m2 p2 n2 p2 (1.17) Ω1 = ai bj + δj δj + γi γi > 0, − − − − i=n +1 j=1 j=1 j=m +1 i=1 i=n +1 X1 X X X2 X X2 p1 q1 m2 p2 n2 p2 (1.18) Ω2 = Ai Bj + Fj Fj + Ei Ei > 0. − − − − i=n +1 j=1 j=1 j=m +1 i=1 i=n +1 X1 X X X2 X X2 The contour integral (1.11) converges absolutely under the conditions (1.15)–(1.18) and defines an analytic function of two complex variables x and y inside the sectors given by π π arg(x) < Ω and arg(y) < Ω , | | 2 1 | | 2 2 the points x = 0 and y = 0 being tacitly excluded, for details the reader is referred to the book by Srivastava et al. [17]. This paper is organized as follows. In Section 2, we establish generating functions for some classes of functions related to the Fox-Wright function. In particular, certain generating functions for a class of function involving the Fox-Wright functions will be expressed in terms of the H-function of two variables. In Section 3, as applications pf the main results in the Section 2, some generating functions associated to the generalized Mathieu type power series and the extended Hurwitz-Lerch zeta function are presented. Furthermore, some new double series identity are derived. In addition, we present an open a conjecture, which may be of interest for further research. 4 K. MEHREZ 2. Generating functions involving some classes of functions involving the Fox-Wright functions Our aim in this section is to derive some new generating functions for some class of functions related λ to the Fox-Wright functions. We first recall that a generalized binomial coefficient µ may be defined (for real or complex parameters λ and µ) by λ Γ(λ + 1) = , µ Γ(µ + 1)Γ(λ µ + 1) − so that, in the special case when µ = n N we have ∈ 0 λ λ(λ 1)...(λ n + 1) = − − , ( n N ). n n! ∈ 0 Secondly, recall that the finite Laplace Transform of a continuous ( or an almost piecewise continuous) function f(t) is denoted by
T (2.19) f(t)= e−ξtf(ξ)dξ, t R. LT ∈ Z0 Our first main result reads as follows. Theorem 1. Let λ> 0, then the following generating function ∞ (ap+kAp,Ap) (Bq ,bq) λ + k 1 k −1 −λ p,0 (2.20) − pΨq z t = ρ ξ (1 tξ) Hq,p ξ ( z), k (bq +kBq ,Bq ) L − (Ap,ap) − k=0 h i X holds true for all t < 1 and z R. Furthermore, suppose that the following conditions | | ∈ p q (H ): µ> 0, γ 1, A = B , Hp,0[z] 0, 1 ≥ k j q,p ≥ j=1 kX=1 X are satisfied, then following inequalities ∞ (a +kA ,A ) 1 (σ,1),(α ,A ) λ + k 1 p p p . Ψ p p t − Ψ z tk p+1 q (βq ,Bq ) p q Γ(σ) ≤ k (bq +kBq ,Bq ) (2.21) h i k=0 h i X ρz e (σ,1),(αp,Ap) . p+1Ψq t ≤ Γ(σ) (βq ,Bq ) h i hold true for all t < 1 and z > 0. | | Proof. For convenience, let the left-hand side of (2.20) be denoted by . Applying the integral expression (1.7) to , and we employ the formula [7, Property 1.5] I I (Bq ,bq +kBq ) (Bq ,bq) p,0 k p,0 C (2.22) Hq,p ξ = ξ Hq,p ξ , k , (Ap,ap+kAq ) (Ap,ap) ∈
we thus get ∞ ρ B b B λ + k 1 ( q , q+k q ) dξ = − ezξHp,0 ξ tk q,p A a A I k 0 ( p, p+k q ) ξ kX=0 Z ∞ ρ B b λ + k 1 ( q , q) = − ξk−1ezξHp,0 ξ dξ tk (2.23) q,p A a k 0 ( p, p) kX=0 Z ρ B b ∞ ( q , q ) λ + k 1 dξ = ezξHp,0 ξ − (tξ)k q,p A a 0 ( p, p) " k # ξ Z k=0 X Further, upon using the generalized binomial expansion ∞ λ + k 1 (2.24) − tk = (1 t)−λ, t < 1, k − | | Xk=0 GENERATING FUNCTIONS INVOLVING THE FOX-WRIGHT FUNCTIONS 5 for evaluating the inner sum in (2.23), we obtain the desired formula (2.20). Now, let us focus on the inequalities (2.21). Since ξ (0,ρ) it follows that ∈ ρ (Bq ,βq ) (Bq ,βq) p,0 dξ −1 −λ p,0 Hq,p ξ λ ρ ξ (1 tξ) Hq,p ξ ( z) 0 (Ap,αp) ξ(1 tξ) ≤ L − (Ap,αp) − (2.25) Z − ρ (Bq ,βq) dξ ρz p,0 e Hq,p ξ λ . ≤ 0 (Ap,αp) ξ(1 tξ) Z − By means of the integral representation [8, Theorem 4]
ρ (Bq ,βq ) dξ (2.26) Ψ (σ,1),(αp,Ap) z = Γ(σ) Hp,0 ξ , p+1 q (βq,Bq ) q,p σ 0 (Ap,αp) ξ(1 zξ) h i Z − where σ > 0 and z C such that z < 1, and the conditions (H ) are satisfied. Therefore, the inequalities 1 (2.25) transforms into∈ the form | |
1 (Bq ,βq) . Ψ (σ,1),(αp,Ap) t ξ−1(1 tξ)−λHp,0 ξ ( z) p+1 q (βq ,Bq ) ρ q,p Γ(σ) ≤ L − (Ap,αp) − (2.27) h i ρz e (σ,1),(αp,A p) . p+1Ψq t . ≤ Γ(σ) (βq,Bq ) h i Hence, in view of (2.25) and (2.27) we deduce that the inequalities (2.21) hold true. The proof of Theorem
1 is completes. Remark 1. Mehrez[8, Formula (4.70)] have further shown the following Luke type inequalities for the Fox-Wright function p+1Ψq[.], that is ψ ψ 1 (2.28) 0,0 Ψ (λ,1),(αp,Ap) z ψ 0,1 1 , z R, λ> 0, λ p+1 p (βq ,Bq ) 0,0 λ ψ ≤ − ≤ − ρ − (1 + ρz) ∈ 1+ 0,1 z ψ0,0 h i
which holds under the conditions (H1), where p Γ(a ) p Γ(a + A ) ψ = i=1 i , and ψ = i=1 i i . 0,0 q Γ(b ) 0,1 q Γ(b + B ) Qj=1 j Qj=1 j j In virtue of (2.21) and (2.28) we getQ the following inequalitiesQ ∞ (ap+kAp,Ap) ψ0,0 λ + k 1 k ρz ψ0,1 1 (2.29) λ − pΨq z t e ψ0,0 1 λ ψ ≤ k (bq +kBq ,Bq ) ≤ − ρ − (1 ρt) 1 0,1 t k=0 ψ0,0 h i − − X
Conjecture 1. Motivated by the previous Theorem, we ask the following question: Proved the finite Laplace transform of the function
(Bq ,βq) 1 p,0 ξ λ Hq,p ξ , (0 On setting p = q =1, A1 = B1 = A> 0 in (2.20), in view of the following formula α 1 (A,β) A A β−α−1 p,0 ξ (1 ξ ) (2.30) Hq,p ξ = − , A> 0,β>α> 0, (A,α) AΓ(β α) − we get the following results as follows: Corollary 1. If b>a A, then the following relation holds true: ≥ ∞ ∞ n k α −1 β−α−1 Γ(λ + k)Γ(α + (k + n)A) z t Γ(λ) ξ A (1 ξ) (2.31) = − ( z), t < 1. Γ(β + (k + m)A) n!k! AΓ(β α) L1 (1 tξ)λ − | | n=0 Xk=0 X − − On taking Ai = Bi = A> 0 in (2.20), from (1.10) we compute the following results as follows: Corollary 2. Let λ> 0, then the following generating function ∞ a λ + k 1 ( p+kA,A) 1 1 bq k −1 −λ p,0 A (2.32) − pΨq z t = ρ ξ (1 tξ) Gq,p ξ ) ( z), k (bq +kA,A) A L − ap − k=0 h i X holds true for all t < 1 and z R such that min(ai/A) 1 and µ> 0. | | ∈ ≥ 6 K. MEHREZ If we set Ai = Bi = 1 in (2.32), we get the following results as follows: Corollary 3. Let λ> 0, then the following generating function ∞ a +k,...,ap+k bq λ + k 1 1 k −1 −λ p,0 (2.33) − pFq z t = ρ ξ (1 tξ) Gq,p ξ ) ( z), k b1+k,...,bq+k L − ap − k=0 h i X holds true for all t < 1 and z R such that min(a ) 1 and µ> 0. | | ∈ i ≥ We will need the following Lemma which is considered the main tool to arrive at our result in the next Theorem and Theorem 3. C 1 Lemma 1. [7, Exercice 2.3, p. 72] Let α,β,γ1 , either α > 0, arg y < 2 πα or α = 0, (µ) > ∈ σ+η | | ℜ 1. Further, let η 0,b = a, (b−a)c < 1, y(b−a) < 1, arg cb+d < π be such that (α) + ≥ 6 ac+d (ac+d)ν ca+d ℜ ℜ(ai) ℜ(ai) σ min1≤i≤n > 0, (α) + η min 1≤i≤n > 0 for α > 0 or α = 0, ∆ 0 and (α) + Ai ℜ Ai ≤ ℜ ℜ(ai) ℜ(µ)−1/2 ℜ(ai) ℜ(µ)−1/2 σ min1≤i≤n , > 0, (α)+ η min1≤i≤n , > 0 for α > 0 or α = 0, ∆ > 0, Ai ∆ ℜ Ai ∆ then there holds the formula (2.34) b (Bq ,bq) α−1 β−1 γ1 m,n σ η −ν (x a) (b x) (cx + d) Hq,p y(x a) (b x) (cx + d) dx − − − − (Ap,ap) a Z − − y(b−a)σ+η (1 α;1,σ),(1+γ1 ;1,ν): ν (B ,b );( η,1−β) α+β−1 γ1 0,2:n+1,m;1,0 (ac+d) q q = (b a) (ac + d) H − . 2,1:q+1,p+1;0,1 c(b a) A a − × ac+d (1−α−β;1,σ+η),( p, p),(ν,1+γ1);(1,0)! Theorem 2. Let λ > 0, and assume that the hypotheses (H1) are satisfied. If µ > 1, then there holds the generating function (2.35) ∞ (1;1,1),(1;1,0):− (λ+k,1),(ap,Ap) λ + k 1 1 t k −λ 0,2:p+1,1;1,0 ρ (Bq ,bq );(0,λ) − p+1Ψˇ q − t = (1 t) H , b B 2,1:q+1,p+1;0,1 ρ A a k ( q , q ) ρ − (λ;1,1),( p, p),(0,1);(1,0)! k=0 h i X for all 1 t<ρ< 1. − Proof. Upon setting the left hand-side of the formula (2.35) by . Then, by substituting the integral representation (2.26) into , we find that J J ∞ ρ B b λ + k 1 ( q , q ) dξ (2.36) = − Hp,0 ξ tk, q,p A a λ+k J k 0 ( p, p) ξ(1 ξ(1 t)/ρ) k=0 Z − − X which, upon changing the order of sum and integral and after a little simplification when we make used (2.24), yields ρ B b ∞ k ( q , q ) λ + k 1 t dξ = Hp,0 ξ − q,p A a λ J 0 ( p, p) " k 1 ξ(1 t)/ρ # ξ(1 ξ(1 t)/ρ) Z Xk=0 − − − − ρ (Bq ,bq ) (2.37) p,0 dξ = Hq,p ξ λ (Ap,ap) ξ(1 t ξ(1 t)/ρ) Z0 − − − λ ρ B b ρ ( q , q) = ξ−1(ρ ξ)−λHp,0 ξ dξ. q,p A a 1 t 0 − ( p, p) − Z Now, let us put α = η = a = ν = γ =0,β =1 λ, d = c = y = 1 and b = ρ in Lemma 1, then we obtain 1 − ρ B b (1;1,1),(1;1,0):− ( q , q) (B ,b ):(0,λ) (2.38) ξ−1(ρ ξ)−λHp,0 ξ dξ = ρ−λH0,2:p+1,1;1,0 ρ q q . q,p A a 2,1:q+1,p+1;0,1 ρ A a 0 − ( p, p) (λ;1,1),( p, p),(0,1):(1,0)! Z Finally, in view of (2.37) and (2.38), we get the desired assertion (2.35) of Theorem 2. GENERATING FUNCTIONS INVOLVING THE FOX-WRIGHT FUNCTIONS 7 Remark 2. By using (1.4) and under the hypotheses of Theorem 2 the formula (2.35) can be rewritten as follows: ∞ a A k (λ+k,1),( p, p) 1 t t Γ(λ) p+1Ψq − = λ (bq ,Bq ) ρ k! (1 t) k=0 (2.39) X h i − (1;1,1),(1;1,0):− (B ,b );(0,λ) H0,2:p+1,1;1,0 ρ q q . 2,1:q+1,p+1;0,1 ρ A a × (λ;1,1),( p, p),(0,1);(1,0)! Theorem 3. Let λ> 0,τ > 0 and assume that the hypotheses (H1) are satisfied. Moreover, suppose that the following hypotheses (H2): τ + min (aj /Aj , (µ 1/2)/∆) > 0, 1≤j≤p − are verified. Then the following generating function (2.40) ∞ (λ+k,1),(ap+τAp,Ap) τ λ + k 1 ˇ 1 t k ρ − p+1Ψq − t = λ k (bq +τBq,Bq ) ρ (1 t) kX=0 h i − (1−τ;1,1),(1;1,0):− (B ,b );(0,λ) H0,2:p+1,1;1,0 ρ q q , 2,1:q+1,p+1;0,1 ρ A a × (λ−τ;1,1),( p, p),(0,1);(1,0)! holds true for all 1 t<ρ< 1. − Proof. Making use of (2.22), (2.24) and (2.26), and then changing the order of integration and summation, the left-hand side of the result (2.40) (say ,) it follows that K λ ρ B b ρ ( q , q) (2.41) = ξτ−1(ρ ξ)−λHp,0 ξ dξ. q,p A a K 1 t 0 − ( p, p) − Z Now, let us put η = a = γ = ν =0, α = τ,β =1 λ, d = c = y = 1 and b = ρ in Lemma 1, then we have 1 − ρ B b (1−τ;1,1),(1;1,0):− ( q , q) (B ,b );(0,λ) (2.42) ξτ−1(ρ ξ)−λHp,0 ξ dξ = ρτ−λH0,2:p+1,1;1,0 ρ q q . q,p A a 2,1:q+1,p+1;0,1 ρ A a 0 − ( p, p) (λ−τ;1,1),( p, p),(0,1);(1,0)! Z Now on taking (2.41) and (2.42) into account, one can easily arrive at the desired result (2.40). This completes the proof. Remark 3. By using (1.4) and under the hypotheses of Theorem 3 the formula (2.40) can be rewritten as follows: ∞ a A A k τ (λ+k,1),( p+τ p, p) 1 t t Γ(λ)ρ p+1Ψq − = λ (bq +τBq,Bq ) ρ k! (1 t) k=0 (2.43) X h i − (1−τ;1,1),(1;1,0):− (B ,b );(0,λ) H0,2:p+1,1;1,0 ρ q q . 2,1:q+1,p+1;0,1 ρ A a × (λ−τ;1,1),( p, p),(0,1);(1,0)! Theorem 4. Let λ> 0. Then the following generating function ∞ (λ+k,A),(ap− ,Ap− ) k (ap− ,Ap− ) 1 1 t −λ 1 1 z (2.44) pΨq z = (1 t) .p−1Ψq−1 A , (λ,A),(bq−1,Bq−1) k! − (bq−1,Bq−1) (1 t) k=0 h i h − i X holds true for all t < 1 and z C. | | ∈ Proof. For convenience, let the left-hand side of the formula (2.44) of Theorem 4 be denoted by . Then, by substituting the series expression from (1.1) into and applying the binomial expansion (2.24)S we S 8 K. MEHREZ obtain ∞ ∞ Γ(λ + k + nA) p−1 Γ(a + nA ) zk tk = l=1 l l S q−1 k! k! "n=0 Γ(λ + nA) m=1 Γ(bm + nBm) # Xk=0 X Q ∞ − ∞ p 1 Γ(a + nAQ) Γ(λ + k + nA) tk zn = l=1 l l q−1 Γ(λ + nA) k! n! n=0 m=1 Γ(bm + nBm) " # X Q Xk=0 ∞ p−1 ∞ n Q Γ(al + nAl) λ + k + nA 1 z (2.45) = l=1 − tk q−1 Γ(b + nB ) k n! n=0 Qm=1 m m "k=0 # X ∞ p−1 X n Q Γ(al + nAl) z = (1 t)−λ l=1 − q−1 (1 t)A n=0 n! m=1 Γ(bm + nBm) X Q − (ap− ,Ap− ) −λ Q 1 1 z = (1 t) p−1Ψq−1 A , − (bq−1,Bq−1) (1 t) h − i which shows that the generating function (2.44) holds true. This completes the proof of Theorem 4. Remark 4. If we setting p = q =1 in the above Theorem and the same steps as in the proof of Theorem 4 we get for all λ> 0 ∞ (λ+k,A) k t −λ z (2.46) 1Ψ1 z = (1 t) exp , (λ,A) k! − (1 t)A k=0 h i − X where t < 1. In particular, for all λ> 0 we have | | ∞ λ+k Γ(λ + k)tk Γ(λ) z (2.47) 1F1 z = exp , λ k! (1 t)λ 1 t k=0 h i − − X where t < 1. | | Remark 5. Setting Ai = Bj =1 we obtain for all ai,bj > 0 and t < 1 the following generating function (known or new) for the hypergeometric function | | ∞ a +k,a ,...a k a ,...,a 1 2 p Γ(a1 + k)t Γ(a1) 2 p z (2.48) pFq z = .p−1Fq−1 . a1 a1,b2,...,bq k! (1 t) b2,...,bq (1 t) k=0 h i − h − i X 3. Applications: Generating functions for a certain classes of the generalized Mathieu-type series and the extended Hurwitz–Lerch zeta functions The main object of this section is to investigate several generating functions for a certain class of generalized Mathieu-type series and The extended Hurwitz–Lerch zeta function. Here, and in what follows, the generalized Mathieu-type series is defined by [16]: ∞ 2aβ (α,β) a (α,β) ∞ k (3.49) Sµ (r; )= Sµ (r; ak k=0)= 2 α µ , (r,α,β,µ > 0), { } (r + ak ) Xk=1 where it is tacitly assumed that the positive sequence a = (ak)k, such that lim ak = , k−→∞ ∞ is so chosen that the infinite series in the definition (3.49) converges, that is, that the following auxiliary series: ∞ 1 µα−β ak kX=0 is convergent. Theorem 5. Let α> 0 and µ> 1. Then for r> 0 and x> 0 there holds the formula ∞ k 2 (α,kα) 1 ∞ t 2Γ(µ) r (3.50) Γ(µ + k)S (r; n α ) = ζ µ, 1+ , µ+k { }n=1 k! (1 t)µ 1 t Xk=0 − − GENERATING FUNCTIONS INVOLVING THE FOX-WRIGHT FUNCTIONS 9 where ζ(s,a) is the Hurwitz Zeta Function defined by: ∞ 1 ζ(s,a)= , (s) > 1. (n + a)s ℜ n=0 X Proof. We make use the representation integral for the Mathieu’s series [23], ∞ ν(µα−β)−1 (α,β) ν ∞ 2 x (µ,1) 2 να Sµ (r; k k=1)= x 1Ψ1 (ν(µα−β),να) r x dx, { } Γ(µ) 0 e 1 − Z − combining with (2.46), we have ∞ k ∞ µ−1 ∞ k (α,kα) 1 t x (µ+k,1) t α ∞ 2 Γ(µ + k)Sµ+k (r; n n=1) = x 1Ψ1 (µ,1) r x dx { } 2k! 0 e 1 " − k! # Xk=0 Z − Xk=0 h i ∞ µ−1 − 2 (3.51) −λ x r x = (1 t) 0Ψ0 − dx − ex 1 − (1 t) Z0 − − ∞ µ−1 − 2h i − x r x = (1 t) λ e (1−t) dx. − ex 1 Z0 − We now make use of the following known formula [5, Eq. (10), p. 144] ∞ ν−1 −px x e ν − x dx = α Γ(ν)ζ(ν,αp), (ν > 1,p> 0), (1 e α ) Z0 − Inserting the above result with the help of (3.51), the results (3.50) readily follows. Corollary 4. Let α> 0 and µ> 1. Then the following formula ∞ k (α,kα) 1 ∞ Γ(µ + k)t 2Γ(µ) (3.52) S (√1 t; n α ) = ζ (µ, 2) , µ+k − { }n=1 k! (1 t)µ Xk=0 − holds true for all t < 1. Moreover, the following double series identity holds true: | | ∞ ∞ (k + 1) (m 1)n k π2 6 (3.53) − = − , m 2. (1 + mn)2 (1 + mn) 6 ≥ n=1 Xk=0 X 1 Proof. Letting r = √1 t in (3.50) we easily get the formula (3.52). Next, setting t =1 m , m 2 and µ = 2 in (3.52) we find− − ≥ ∞ k (k + 1) (α,kα) − 1 1 ∞ m 1 (3.54) S (m 2 ; n α ) − = ζ (2, 2) = ζ(2) 1, 2m2 2+k { }n=1 m − kX=0 where ζ(s) is the Riemann zeta function defined by ∞ 1 ζ(s)= , s> 1. ks kX=1 Now, combining (3.54) with the definition of the generalized Mathieu series (3.49), and using the fact that π2 ζ(2) = 6 , we obtain the desired formula (3.53) and consequently the proof of Corollary 4 is complete. Remark 6. Setting in the formula (3.53), m = 2,m = 3 and m = 4 respectively, we get the following double series identities ∞ ∞ (k + 1) n k π2 6 (3.55) = − , (1+2n)2 1+2n 6 n=1 kX=0 X ∞ ∞ (k + 1) 2n k π2 6 (3.56) = − , (1+3n)2 1+3n 6 n=1 kX=0 X ∞ ∞ (k + 1) 3n k π2 6 (3.57) = − . (1+4n)2 1+4n 6 n=1 kX=0 X 10 K. MEHREZ 1 Remark 7. If we set µ =3 (respectively m =4) and t =1 m , m 2 in the formula (3.52) we obtain the following formulas − ≥ ∞ ∞ (k + 1)(k + 2) (m 1)n k (3.58) − = ζ(3, 2) = ζ(3) 1 0, 202056903. (1 + mn)3 (1 + mn) − ≈ n=1 kX=0 X and ∞ ∞ (k + 1)(k + 2)(k + 3) (m 1)n k π4 90 (3.59) − = ζ(4, 2) = ζ(4) 1= − . (1 + mn)4 (1 + mn) − 90 n=1 Xk=0 X The extended Hurwitz-Lerch zeta function Φ(λj ,ρj ;p)(z,s,a)=Φ(ρ1,...,ρp;σ1,...,σq)(z,s,a) (µj ,σj ;q) λ1,...,λp;µ1,...,µq (3.60) q ∞ p k j=1 Γ(µj ) j=1 Γ(λj + kρj ) z = p q s Γ(λj ) Γ(µj + kσj ) k!(k + a) Qj=1 ! k=0 Qj=1 X Q Q p, q N ; λ C (j =1, ..., p); a,µ C Z− (j =1, ..., q); ∈ 0 j ∈ j ∈ \ 0 ρ , σ R+(j =1, ..., p; k =1, ..., q); j k ∈ ∆ > 1 when s,z C; 1 − ∈ ∆ = 1 and s C when z < ∗; 1 − ∈ | | ∇ 1 ∆ = 1 and (Ξ) > when z < ∗ . 1 − ℜ 2 | | ∇ where p q − ∗ = ρ ρj . σσj ∇ j j j=1 j=1 Y Y and q p q p p q ∆ = σ ρ , and Ξ= s + µ λ + − . 1 j − j j − j 2 j=1 j=1 j=1 j=1 X X X X Moreover, the extended Hurwitz-Lerch zeta function possesses the following integral representation q ∞ Γ(µj ) (λ1,ρ1),...,(λp,ρp) (3.61) Φ(λj ,ρj ;p)(z,s,a)= j=1 ξs−1e−aξ Ψ ze−ξ dξ (µj ,σj ;q) p p q Γ(s) j=1 Γ(λj )! 0 (µ1,σ1),...,(µq,σq ) Q Z h i (Q min( (a), (s)) > 0 ) . ℜ ℜ Theorem 6. The following generating function ∞ k (ρ ,...,ρ ;ρ ,σ ,...,σ ) Γ(λ1 + k)t Γ(λ1) (ρ ,...,ρ ;σ ,...,σ ) (3.62) Φ 1 p 1 2 q (z,s,a) = Φ 2 p 2 q (z(1 t)−ρ1 ,s,a) λ1+k,λ2 ,...,λp;λ1,µ2,...,µq k! (1 t)λ1 λ2,...,λp;µ2,...,µq − Xk=0 − holds true for all t < 1. | | Proof. In virtue of (3.61) and (2.44) we get ∞ k p Γ(λ + k)t Γ(λ1) Γ(µj ) Φ(ρ1,...,ρp;ρ1,σ2,...,σq) (z,s,a) 1 = j=2 λ1+k,λ2,...,λp;λ1,µ2,...,µq p k! Γ(s) Γ(λj ) k=0 Qj=2 X ∞ ∞ (λ +k,ρ ),(λ ,ρ ),...,(λp,ρp) k s−1 −aξ Q 1 1 2 2 −ξ t ξ e pΨq ze dξ × 0 " (λ1,ρ1),(µ2,σ2),...,(µq,σq ) k! # Z k=0 h i p X Γ(λ1) j=2 Γ(µj ) = p λ1 Γ(s)(1 tQ) j=2 Γ(λj ) ∞ − (λ ,ρ ),...,(λp,ρp) s−1 −aξ Q 2 2 z ξ e p−1Ψq−1 dξ. ρ1 ξ × 0 (µ2,σ2),...,(µq,σq ) (1 t) e Z h − i Combining this with (3.61) yields to the desired assertion (3.62) of Theorem 6. GENERATING FUNCTIONS INVOLVING THE FOX-WRIGHT FUNCTIONS 11 The Hurwitz-Lerch zeta function Φ(z,s,a) is defined by ∞ zn (3.63) Φ(z,s,a)= (n + a)s n=0 X H : a C Z−; s C when z < 1; (s) > 1 when z =1 . 3 ∈ \ 0 ∈ | | ℜ | | The Hurwitz-Lerch zeta function itself reduces not only to the Riemann zeta function ζ(s), the Hurwitz zeta function ζ(s,a), but also to such other important functions of Analytic Number Theory as as the Polylogarithm function (or de Jonqui`ere’s function) Lis(z), the Lipschitz-Lerch zeta function L(ξ,a,s) and the Lerch zeta function ls(ξ) defined by [4, Chapter 1, p. 27-31] ∞ zn (3.64) Li (z)= , ( (s) > 0; z C when z < 1) s ns ℜ ∈ | | n=1 X ∞ e2inπξ (3.65) L(ξ,a,s)= , ( (s) > 1; ξ R;0 1; ξ R) . s (n + 1)s ℜ ∈ n=0 X Corollary 5. The following generating function ∞ k Γ(λ1 + k)t Γ(λ1) (3.67) Φ(ρ1,1;ρ1) (z,s,a) = Φ(z(1 t)−ρ1 ,s,a) λ1+k,1;λ1 k! (1 t)λ1 − kX=0 − holds true for all 1