Open Access

Generating relations and other results associated with some families of the extended Hurwitz-Lerch Zeta functions

SpringerPlus20132:67

DOI: 10.1186/2193-1801-2-67

Received: 20 November 2012

Accepted: 4 January 2013

Published: 25 February 2013

Abstract

Motivated essentially by recent works by several authors (see, for example, Bin-Saad [Math J Okayama Univ 49:37–52, 2007] and Katsurada [Publ Inst Math (Beograd) (Nouvelle Ser) 62(76):13–25, 1997], the main objective in this paper is to present a systematic investigation of numerous interesting properties of some families of generating functions and their partial sums which are associated with various classes of the extended Hurwitz-Lerch Zeta functions. Our main results would generalize and extend the aforementioned recent work by Bin-Saad [Math J Okayama Univ 49:37–52, 2007] (see also Katsurada [Publ Inst Math (Beograd) (Nouvelle Ser) 62(76):13–25, 1997]). We also show the hitherto unnoticed fact that the so-called τ-generalized Riemann Zeta function, which happens to be the main subject of investigation by Gupta and Kumari [Jñānābha 41:63–68, 2011]) and Saxena et al. [J Indian Acad Math 33:309–320, 2011], is simply a seemingly trivial notational variation of the familiar general Hurwitz-Lerch Zeta function Φ(z, s, a). Finally, we present a sum-integral representation formula for the general family of the extended Hurwitz-Lerch Zeta functions.

2010 Mathematics Subject Classification

Primary 11M25, 33C60; Secondary 33C05

Keywords

Riemann Hurwitz (or generalized) and Hurwitz-Lerch Zeta functions Lerch Zeta function and the Polylogarithmic (or de Jonquière’s) function General Hurwitz-Lerch Zeta function Gauss and Kummer hypergeometric functions Fox-Wright Ψ-function and the H ¯ -function; Mittag-Leffler type functions Mellin-Barnes type integral representations and Meromorphic continuation Generating functions and Eulerian Gamma-function and Beta-function integral representations

Introduction and preliminaries

Throughout our present investigation, we use the following standard notations:
N : = { 1 , 2 , 3 , } , N 0 : = { 0 , 1 , 2 , 3 , } = N { 0 }
and
Z : = { 1 , 2 , 3 , } = Z 0 { 0 } .

Here, as usual, Z denotes the set of integers, R denotes the set of real numbers, R + denotes the set of positive real numbers and C denotes the set of complex numbers.

The familiar general Hurwitz-Lerch Zeta function Φ(z, s, a) defined by (see, for example, (Erdélyi et al.1953, p. 27. Eq. 1.11 (1)); see also Srivastava and Choi ((2001, p. 121 et seq.) and (Srivastava and Choi 2012), p. 194 et seq.)
Φ ( z , s , a ) : = n = 0 z n ( n + a ) s a C Z 0 ; s C when | z | < 1 ; ( s ) > 1 when | z | = 1
(1.1)
contains, as its special cases, not only the Riemann Zeta function ζ(s), the Hurwitz (or generalized) Zeta function ζ(s, a) and the Lerch Zeta function s (ξ) defined by (see, for details, (Erdélyi et al.1953, Chapter I) and Srivastava and Choi ((2001), Chapter 2)
ζ ( s ) : = n = 0 1 ( n + 1 ) s = Φ ( 1 , s , 1 ) = ζ ( s , 1 ) ( s ) > 1 ,
(1.2)
ζ ( s , a ) : = n = 0 1 ( n + a ) s = Φ ( 1 , s , a ) ( s ) > 1 ; a C Z 0
(1.3)
and
s ( ξ ) : = n = 0 e 2 n π i ξ ( n + 1 ) s = Φ e 2 π i ξ , s , 1 ( s ) > 1 ; ξ R ,
(1.4)
respectively, but also such other important functions of Analytic Number Theory as the Polylogarithmic function (or de Jonquière’s function) Li s (z):
Li s ( z ) : = n = 1 z n n s = ( z , s , 1 ) s C when z < 1 ; ( s ) > 1 when z = 1
(1.5)
and the Lipschitz-Lerch Zeta function ϕ(ξ, a, s) (see Srivastava and Choi ((2001), p. 122, Equation 2.5 (11))):
ϕ ( ξ , s , a ) : = n = 0 e 2 n π i ξ ( n + a ) s = Φ e 2 π i ξ , s , a a C Z 0 ; ( s ) > 0 when ξ R Z ; ( s ) > 1 when ξ Z ,
(1.6)
which was first studied by Rudolf Lipschitz (1832-1903) and Matyáš Lerch (1860-1922) in connection with Dirichlet’s famous theorem on primes in arithmetic progressions (see also (Srivastava 2011), Section 5). Indeed, just as its aforementioned special cases ζ(s) and ζ(s, a), the Hurwitz-Lerch Zeta function Φ(z, s, a) defined by (1.1) can be continued meromorphically to the whole complex s-plane, except for a simple pole at s = 1 with its residue 1. It is also known that (Erdélyi et al.1953, p. 27, Equation 1.11 (3))
Φ ( z , s , a ) = 1 Γ ( s ) 0 t s 1 e at 1 z e t d t = 1 Γ ( s ) 0 t s 1 e ( a 1 ) t e t z d t ( a ) > 0 ; ( s ) > 0 when | z | 1 ( z 1 ) ; ( s ) > 1 when z = 1 .
(1.7)
Making use of the Pochhammer symbol (or the shifted factorial) ( λ ) ν ( λ , ν C ) defined, in terms of the familiar Gamma function, by
( λ ) ν : = Γ ( λ + ν ) Γ ( λ ) = 1 ( ν = 0 ; λ C { 0 } ) λ ( λ + 1 ) ( λ + n 1 ) ( ν = n N ; λ C ) ,
(1.8)
it being understood conventionally that (0)0: = 1 and assumed tacitly that the Gamma quotient exists, we recall each of the following well-known expansion formulas:
ζ ( s , a t ) = n = 0 ( s ) n n ! ζ ( s + n , a ) t n ( | t | < | a | )
(1.9)
and
Φ ( z , s , a t ) = n = 0 ( s ) n n ! Φ ( z , s + n , a ) t n ( | t | < | a | ) .
(1.10)
More generally, it is not difficult to show similarly that
n = 0 ( λ ) n n ! Φ ( z , s + n , a ) t n = k = 0 z k ( k + a ) s λ ( k + a t ) λ = : ϑ λ ( z , t ; s , a ) ( | t | < | a | ) ,
(1.11)
which would reduce immediately to the expansion formula (1.10) in its special case when λ = s. Moreover, in the limit case when
t t λ and | λ | ,
this last result (1.11) yields
n = 0 Φ ( z , s + n , a ) t n n ! = k = 0 z k ( k + a ) s exp t k + a = : φ ( z , t ; s , a ) ( | t | < ) .
(1.12)

Wilton (1922/1923) applied the expansion formula (1.9) in order to rederive Burnside’s formula (Erdélyi et al.1953, p. 48, Equation 1.18 (11)) for the sum of a series involving the Hurwitz (or generalized) Zeta function ζ(s, a). Srivastava (see, for details, Srivastava (1988a;1988b)), on the other hand, made use of such expansion formulas as (1.9) and (1.10) as well as the obvious special case of (1.9) when a=1 for finding the sums of various classes of series involving the Riemann Zeta function ζ(s) and the Hurwitz (or generalized) Zeta function ζ(s, a) (see also Srivastava and Choi ((2001), Chapter 3) and (Srivastava and Choi 2012), Chapter 3).

Various results for the generating functions ϑ λ (z, t;s, a) and φ(z, t;s, a), which are defined by (1.11) and (1.12), respectively, were given recently by Bin-Saad (2007, p. 46, Equations (5.1) to (5.4)) who also considered each of the following truncated forms of these generating functions:
ϑ λ ( 0 , r ) ( z , t ; s , a ) : = k = 0 r z k ( k + a ) s λ ( k + a t ) λ ( r N 0 ) ,
(1.13)
ϑ λ ( r + 1 , ) ( z , t ; s , a ) : = k = r + 1 z k ( k + a ) s λ ( k + a t ) λ ( r N 0 ) ,
(1.14)
φ ( 0 , r ) ( z , t ; s , a ) : = k = 0 r z k ( k + a ) s exp t k + a ( r N 0 )
(1.15)
and
φ ( r + 1 , ) ( z , t ; s , a ) : = k = r + 1 z k ( k + a ) s exp t k + a ( r N 0 ) ,
(1.16)
so that, obviously, we have
ϑ λ ( 0 , r ) ( z , t ; s , a ) + ϑ λ ( r + 1 , ) ( z , t ; s , a ) = ϑ λ ( z , t ; s , a )
(1.17)
and
φ ( 0 , r ) ( z , t ; s , a ) + φ ( r + 1 , ) ( z , t ; s , a ) = φ ( z , t ; s , a ) .
(1.18)

For the Riemann Zeta function ζ(s), the special case of each of the generating functions ϑ λ (z, t;s, a) and φ(z, t;s, a) in (1.11) and (1.12) when z = a = 1 was investigated by Katsurada (1997). Subsequently, various results involving the generating functions ϑ λ (z, t;s, a) and φ(z, t;s, a) defined by (1.11) and (1.12), respectively, together with their such partial sums as those given by (1.13) to (1.16), were derived by Bin-Saad (2007) (see also the more recent sequels to (Bin-Saad 2007) and (Katsurada 1997) by Gupta and Kumari (2011) and by Saxena et al. (2011a).

Our main objective in this paper is to investigate, in a rather systematic manner, much more general families of generating functions and their partial sums than those associated with the generating functions ϑ λ (z, t;s, a) and φ(z, t;s, a) defined by (1.11) and (1.12), respectively. We also show the hitherto unnoticed fact that the so-called τ-generalized Riemann Zeta function, which happens to be the main subject of investigation by Gupta and Kumari (2011) and by Saxena et al. (2011a), is simply a seemingly trivial notational variation of the familiar general Hurwitz-Lerch Zeta function Φ(z, s, a) defined by (1.1). Finally, we present a sum-integral representation formula for the general family of the extended Hurwitz-Lerch Zeta functions.

Families of the extended Hurwitz-Lerch Zeta functions and related special functions

We begin this section by recalling the following sum-integral representation given by Yen et al. ((2002), p. 100, Theorem) for the Hurwitz (or generalized) Zeta function ζ(s, a) defined by (1.3):
ζ ( s , a ) = 1 Γ ( s ) j = 0 k 1 0 t s 1 e ( a + j ) t 1 e kt d t k N ; ( s ) > 1 ; ( a ) > 0 ,
(2.1)
which, for k = 2, was derived earlier by Nishimoto et al.((2002), p. 94, Theorem 4). The following straightforward generalization of the sum-integral representation (2.1) involving the familiar general Hurwitz-Lerch Zeta function Φ(z, s, a) defined by (1.1) was given by Lin and Srivastava (2004, p. 727, Equation (7)):
Φ ( z , s , a ) = 1 Γ ( s ) j = 0 k 1 z j 0 t s 1 e ( a + j ) t 1 z k e kt d t k N ; ( a ) > 0 ; ( s ) > 0 when | z | 1 ( z 1 ) ; ( s ) > 1 when z = 1 .
(2.2)
The sum-integral representations (2.1) and (1.2) led Lin and Srivastava (2004) to the introduction and investigation of an interesting generalization of the Hurwitz-Lerch Zeta function Φ(z, s, a) in the following form given by Lin and Srivastava ((2004), p. 727, Equation (8)):
Φ μ , ν ( ρ , σ ) ( z , s , a ) : = n = 0 ( μ ) ρn ( ν ) σn z n ( n + a ) s μ C ; a , ν C Z 0 ; ρ , σ R + ; ρ < σ when s , z C ; ρ = σ and s C when | z | < δ : = ρ ρ σ σ ; ρ = σ and ( s μ + ν ) > 1 when | z | = δ ,
(2.3)
where (λ) ν denotes the Pochhammer symbol defined, in terms of the familiar Gamma function, by (1.8). Clearly, we find from the definition (2.3) that
Φ ν , ν ( σ , σ ) ( z , s , a ) = Φ μ , ν ( 0 , 0 ) ( z , s , a ) = Φ ( z , s , a )
(2.4)
and
Φ μ , 1 ( 1 , 1 ) ( z , s , a ) = Φ μ ( z , s , a ) : = n = 0 ( μ ) n n ! z n ( n + a ) s μ C ; a C Z 0 ; s C when | z | < 1 ; ( s μ ) > 1 when | z | = 1 ,
(2.5)

where, as already pointed out by Lin and Srivastava (2004), Φ μ ( z , s , a ) is a generalization of the Hurwitz-Lerch Zeta function considered by Goyal and Laddha ((1997), p. 100, Equation (1.5)). For further results involving these classes of generalized Hurwitz-Lerch Zeta functions, see the recent works by Garg et al. (2006) and Lin et al.(2006).

A generalization of the above-defined Hurwitz-Lerch Zeta functions Φ(z, s, a) and Φ μ ( z , s , a ) was studied, in the following form, by Garg et al.((2008), p. 313, Equation (1.7)):
Φ λ , μ ; ν ( z , s , a ) : = n = 0 ( λ ) n ( μ ) n ( ν ) n · n ! z n ( n + a ) s λ , μ C ; ν , a C Z 0 ; s C when | z | < 1 ; ( s + ν λ μ ) > 1 when | z | = 1 .
(2.6)

Various integral representations and two-sided bounding inequalities for Φλ, μ;ν(z, s, a) can be found in the works by Garg et al. (2008) and [Jankov et al.(2011)], respectively. These latter authors [Jankov et al.(2011)] also considered the function Φλ, μ;ν(z, s, a) as a special kind of Mathieu type (a, λ)-series.

If we compare the definitions (2.3) and (2.6), we can easily observe that the function Φλ, μ;ν(z, s, a) studied by Garg et al.(2008) does not provide a generalization of the function Φ μ , ν ( ρ , σ ) ( z , s , a ) which was introduced earlier by Lin and Srivastava (2004). Indeed, for λ = 1, the function Φλ, μ;ν(z, s, a) coincides with a special case of the function Φ μ , ν ( ρ , σ ) ( z , s , a ) when ρ = σ = 1, that is,
Φ 1 , μ ; ν ( z , s , a ) = Φ μ , ν ( 1 , 1 ) ( z , s , a ) .
Next, for the Riemann-Liouville fractional derivative operator D z μ defined by (see, for example, Erdélyi et al.((1954), p. 181), Samko et al.(1993) and (Kilbas et al. 2006, p. 70 et seq.))
D z μ f z : = 1 Γ μ 0 z z t μ 1 f t dt μ < 0 d m d z m D z μ m f z m 1 μ < m m N ,
(2.7)
the following formula is well-known:
D z μ z λ = Γ λ + 1 Γ λ μ + 1 z λ μ λ > 1 ,
(2.8)
which, by virtue of the definitions (1.1) and (2.3), yields the following fractional derivative formula for the generalized Hurwitz-Lerch Zeta function Φ μ , ν ρ , σ z , s , a withρ = σ [Lin and Srivastava ((2004), p. 730, Equation (24))]:
D z μ ν z μ 1 Φ z σ , s , a = Γ μ Γ ν z ν 1 Φ μ , ν σ , σ z σ , s , a μ > 0 ; σ R + .
(2.9)
In its particular case when ν = σ = 1, the fractional derivative formula (2.9) would reduce at once to the following form:
Φ μ z , s , a = 1 Γ μ D z μ 1 z μ 1 Φ z , s , a ( μ ) > 0 ,
(2.10)
which (as already remarked by Lin and Srivastava (2004), p. 730) exhibits the interesting (and useful) fact that Φ μ ( z , s , a ) is essentially a Riemann-Liouville fractional derivative of the classical Hurwitz-Lerch function Φ(z, s, a). Moreover, it is easily deduced from the fractional derivative formula (2.8) that
Φ λ , μ ; ν ( z , s , a ) = Γ ( ν ) Γ ( λ ) z 1 λ D z λ ν z λ 1 Φ μ ( z , s , a ) = Γ ( ν ) Γ ( λ ) Γ ( μ ) z 1 λ D z λ ν · z λ 1 D z μ 1 z μ 1 Φ μ ( z , s , a ) ,
(2.11)

which (as observed recently by Srivastava et al. (2011), pp. 490–491) exhibits the fact that the function Φλ, μ;ν(z, s, a) studied by Garg et al. (2008) is essentially a consequence of the classical Hurwitz-Lerch Zeta function Φ(z, s, a) when we apply the Riemann-Liouville fractional derivative operator D z μ two times as indicated above in (2.11). The interested reader may be referred also to many other explicit representations for Φ μ ( z , s , a ) and Φ μ , ν ( ρ , σ ) ( z , s , a ) , which were proven by Lin and Srivastava (2004), including (for example) a potentially useful Eulerian integral representation of the first kind [Lin and Srivastava ((2004), p. 731, Equation (28))].

It should be remarked here that a multiple (or, simply, n-dimentional) Hurwitz-Lerch Zeta function Φ n (z, s, a) was studied recently by Choi et al. ((2008), p. 66, Eq. (6)). On the other hand, Răducanu and Srivastava (see (Răducanu and Srivastava 2007), the references cited therein as well as many sequels thereto) made use of the Hurwitz-Lerch Zeta function Φ(z, s, a) in defining a certain linear convolution operator in their systematic investigation of various analytic function classes in Geometric Function Theory in Complex Analysis. Furthermore, Gupta et al. (2008) revisited the study of the familiar Hurwitz-Lerch Zeta distribution by investigating its structural properties, reliability properties and statistical inference. These investigations by Gupta et al. (2008) and others (see, for example, (Srivastava 2000), Srivastava and Choi (2001) and Srivastava et al. (2010); see also Saxena et al. (2011b) and Srivastava et al. (2011)), fruitfully using the Hurwitz-Lerch Zeta function Φ(z, s, a) and some of its above-mentioned generalizations, have led eventually to the following definition a family of the extended (multi-parameter) Hurwitz-Lerch Zeta functions by Srivastava et al. (2011).

Definition 1

(Srivastava et al. (2011)). The family of the extended (multi-parameter) Hurwitz-Lerch Zeta functions
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a )
is defined by
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a ) : = n = 0 j = 1 p ( λ j ) n ρ j n ! j = 1 q ( μ j ) n σ j z n ( n + a ) s = : n = 0 Ξ n z n ( n + a ) s p , q N 0 ; λ j C ( j = 1 , , p ) ; a , μ j C Z 0 ( j = 1 , , q ) ; ρ j , σ k R + ( j = 1 , , p ; k = 1 , , q ) ; Δ > 1 when s , z C ; Δ = 1 and s C when | z | < ; Δ = 1 and ( Ξ ) > 1 2 when | z | =
(2.12)
where the sequence { Ξ n } n N 0 of the coefficients in the definition (2.12) is given, for latter convenience, by
Ξ n : = j = 1 p ( λ j ) n ρ j n ! j = 1 q ( μ j ) n σ j ( n N 0 ) ,
(2.13)
( λ ) ν ( λ , ν C ) denotes the Pochhammer symbol given by (1.8) and
Δ : = j = 1 q σ j j = 1 p ρ j , Ξ : = s + j = 1 q μ j j = 1 p λ j + p q 2
(2.14)
and
: = j = 1 p ρ j ρ j · j = 1 q σ j σ j .
In order to derive direct relationships of the family of the extended (multi-parameter) Hurwitz-Lerch Zeta functions
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a )

defined by (2.12) with several other relatively more familiar special functions, we need each of the following definitions.

Definition 2

The Fox-Wright function p Ψ q ( p , q N 0 ) or p Ψ q ( p , q N 0 ) , which is a further generalization of the familiar generalized hypergeometric function p F q ( p , q N 0 ) , with p numerator parameters a1, , a p and q denominator parameters b1, , b q such that
a j C ( j = 1 , , p )
and
b j C Z 0 ( j = 1 , , q ) ,
defined by (see, for details, (Erdélyi et al.1953, p. 183) and (Choi et al.1985, p. 21); see also (Kilbas et al.2006, p. 56), (Choi et al. 2010, p. 30) and (Srivastava et al.1982, p. 19))
p Ψ q a 1 , A 1 , , a p , A p ; b 1 , B 1 , , b q , B q ; z : = n = 0 a 1 A 1 n a p A p n b 1 B 1 n b q B q n z n n ! = Γ b 1 Γ b q Γ a 1 Γ a p p Ψ q a 1 , A 1 , , a p , A p ; b 1 , B 1 , , b q , B q ; z
(2.15)
A j > 0 j = 1 , , p ; B j > 0 j = 1 , , q ; 1 + j = 1 q B j j = 1 p A j 0 ,
where the equality in the convergence condition holds true for suitably bounded values of |z| given by
| z | < : = j = 1 p A j A j · j = 1 q B j B j .
(2.16)
In the particular case when
A j = B k = 1 ( j = 1 , , p ; k = 1 , , q ) ,
we have the following relationship (see, for details, (Choi et al.1985, p. 21)):
p Ψ q a 1 , 1 , , a p , 1 ; b 1 , 1 , , b q , 1 ; z = p F q a 1 , , a p ; b 1 , , b q ; z = Γ b 1 Γ b q Γ a 1 Γ a p p Ψ q a 1 , 1 , , a p , 1 ; b 1 , 1 , , b q , 1 ; z ,
(2.17)

in terms of the generalized hypergeometric function p F q ( p , q N 0 ) .

Definition 3

An attempt to derive Feynman integrals in two different ways, which arise in perturbation calculations of the equilibrium properties of a magnetic mode of phase transitions, led naturally to the following generalization of Fox’s H-function (Inayat-Hussain 1987b, p. 4126) (see also (Buschman and Srivastava 1990) and (Inayat-Hussain 1987a)):
H ¯ ( z ) = H ¯ p , q m , n [ z ] = H ¯ p , q m , n z ( a j , A j ; α j ) j = 1 n , ( a j , A j ) j = n + 1 p b j , B j ) j = 1 m , ( b j , B j ; β j ) j = m + 1 q : = 1 2 π i L χ ( s ) z s d s
(2.18)
z 0 ; i = 1 ; χ ( s ) : = j = 1 m Γ ( b j B j s ) · j = 1 n Γ ( 1 a j + A j s ) α j j = n + 1 p Γ ( a j A j s ) · j = m + 1 q Γ ( 1 b j + B j s ) β j ,
which contains fractional powers of some of the Gamma functions involved. Here, and in what follows, the parameters
A j > 0 ( j = 1 , , p ) and B j > 0 ( j = 1 , , q ) ,
the exponents
α j ( j = 1 , , n ) and β j ( j = m + 1 , , q )
can take on noninteger values, and L = L ( i τ ; ) is a Mellin-Barnes type contour starting at the point τ − i and terminating at the point τ + i ( τ R ) with the usual indentations to separate one set of poles from the other set of poles. The sufficient condition for the absolute convergence of the contour integral in (2.18) was established as follows by Buschman and Srivastava ((1990), p. 4708):
Λ : = j = 1 m B j + j = 1 n | α j | A j j = m + 1 q | β j | B j j = n + 1 p A j > 0 ,
(2.19)
which provides exponential decay of the integrand in (2.18) and the region of absolute convergence of the contour integral in (2.18) is given by
| arg ( z ) | < 1 2 πΛ ,
(2.20)

where Λ is defined by (2.19).

Remark 1

If we set
s = 0 , p p + 1 ρ 1 = = ρ p = 1 ; λ p + 1 = ρ p + 1 = 1
and
q q + 1 σ 1 = = σ q = 1 ; μ q + 1 = β ; σ q + 1 = α ,
then (2.12) reduces to the following generalized M-series which was recently introduced by Sharma and Jain (2009) (see also an earlier paper by Sharma (2008) for the special case when β=1):
p M α , β q ( a 1 , , a p ; b 1 , , b q ; z ) : = k = 0 ( a 1 ) k ( a p ) k ( b 1 ) k ( b q ) k z k Γ ( αk + β ) = 1 Γ ( β ) p + 1 Ψ q + 1 a 1 , 1 , , a p , 1 , ( 1 , 1 ) ; b 1 , 1 , , b q , 1 , ( β , α ) ; z ,
(2.21)
in which the last relationship exhibits the fact that the so-called generalized M-series is indeed an obvious special case of the Fox-Wright function p Ψ q defined by (2.15) (see also (Saxana 2009)). Similarly, for the generalized Mittag-Leffler function considered by Kilbas et al. (2002), we have
E ρ β 1 , η 1 , , β q , η q ; z : = k = 0 ( ρ ) k j = 1 q Γ η j k + β j = 1 Γ ( ρ ) 1 Ψ q ρ , 1 ; β 1 , η 1 , , β q , η q ; z ,
(2.22)

Remark 2

The following H ¯ -function representation can be applied in order to derive various properties of the extended Hurwitz-Lerch Zeta function
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a )
from those of the H ¯ -function (see, for details, Srivastava et al. ((2011), p. 504, Theorem 8)):
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a ) = j = 1 q Γ μ j j = 1 p Γ λ j H ¯ p + 1 , q + 2 1 , p + 1 z ( 1 λ 1 , ρ 1 ; 1 ) , , ( 1 λ p , ρ p ; 1 ) , ( 1 a , 1 ; s ) ( 0 , 1 ) , ( 1 μ 1 , σ 1 ; 1 ) , , ( 1 μ q , σ q ; 1 ) , ( a , 1 ; s ) = j = 1 q Γ μ j j = 1 p Γ λ j · 1 2 π i Γ ( ξ ) Γ ( ξ + a ) s j = 1 p Γ λ j + ρ j ξ Γ ( ξ + a + 1 ) s j = 1 q Γ μ j + σ j ξ ( z ) ξ d ξ | arg ( z ) | < π ,
(2.23)
the path of integration L in the last member of (2.23) being a Mellin-Barnes type contour in the complex ξ-plane, which starts at the point −i and terminates at the point i with indentations, if necessary, in such a manner as to separate the poles of Γ(−ξ) from the poles of Γ(λ j +ρ j ξ) (j=1,, p). Thus, for example, by making use of a known fractional-calculus result due to Srivastava et al. ((2006), p. 97, Equation (2.4)), we readily obtain the following extension of such fractional derivative formulas as (2.9) and (2.10) [Srivastava et al. ((2011), p. 505, Equation (6.8))]:
D z ν τ z ν 1 Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z κ , s , a ) = j = 1 q Γ μ j j = 1 p Γ λ j z τ 1 · H ¯ p + 2 , q + 3 1 , p + 2 z κ ( 1 λ 1 , ρ 1 ; 1 ) , , ( 1 λ p , ρ p ; 1 ) , ( 1 ν , κ ; 1 ) , ( 1 a , 1 ; s ) ( 0 , 1 ) , ( 1 μ 1 , σ 1 ; 1 ) , , ( 1 μ q , σ q ; 1 ) , ( 1 τ , κ ; 1 ) , ( a , 1 ; s ) = Γ ( ν ) Γ ( τ ) z τ 1 Φ λ 1 , , λ p , ν ; μ 1 , , μ q , τ ( ρ 1 , , ρ p , κ , σ 1 , , σ q , κ ) ( z κ , s , a ) ( ν ) > 0 ; κ > 0 .
(2.24)

Generating relations associated with the extended Hurwitz-Lerch Zeta function

In this section, we first introduce the following generating functions and their partial sums involving the extended Hurwitz-Lerch Zeta function
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a )
defined by (2.12). Indeed, as a generalization of the generating functions (1.9) and (1.10), we have
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a t ) = n = 0 ( s ) n n ! Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s + n , a ) t n ( | t | < | a | ) ,
(3.1)
which can easily be put in the following more general form:
n = 0 ( λ ) n n ! Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s + n , a ) t n = k = 0 Ξ k z k ( k + a ) s λ ( k + a t ) λ = : Ω λ ( z , t ; s , a ) ( | t | < | a | ) ,
(3.2)
where the sequence { Ξ n } n N 0 of the coefficients in (2.12) is given by (2.13). This last generating function (3.2) would reduce immediately to the expansion formula (4.1) in its special case when λ = s. Furthermore, in its limit case when
t t λ and | λ | ,
the generating function (3.2) yields
n = 0 Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s + n , a ) t n n ! = k = 0 Ξ k z k ( k + a ) s exp t k + a = : Θ ( z , t ; s , a ) ( | t | < ) ,
(3.3)

where the sequence { Ξ n } n N 0 of the coefficients in (2.12) is given, as before, by (2.13).

We shall also consider each of the following truncated forms of the generating functions Ω λ (z, t;s, a) and Θ(z, t;s, a) in (3.2) and (3.3), respectively:
Ω λ ( 0 , r ) ( z , t ; s , a ) : = k = 0 r Ξ k z k ( k + a ) s λ ( k + a t ) λ ( r N 0 ) ,
(3.4)
Ω λ ( r + 1 , ) ( z , t ; s , a ) : = k = r + 1 Ξ k z k ( k + a ) s λ ( k + a t ) λ ( r N 0 ) ,
(3.5)
Θ ( 0 , r ) ( z , t ; s , a ) : = k = 0 r Ξ k z k ( k + a ) s exp t k + a ( r N 0 )
(3.6)
and
Θ ( r + 1 , ) ( z , t ; s , a ) : = k = r + 1 Ξ k z k ( k + a ) s exp t k + a ( r N 0 ) ,
(3.7)
which obviously satisfy the following decomposition formulas:
Ω λ ( 0 , r ) ( z , t ; s , a ) + Ω λ ( r + 1 , ) ( z , t ; s , a ) = Ω λ ( z , t ; s , a )
(3.8)
and
Θ ( 0 , r ) ( z , t ; s , a ) + Θ ( r + 1 , ) ( z , t ; s , a ) = Θ ( z , t ; s , a ) .
(3.9)

Our first set of integral representations for the above-defined generating functions is contained in Theorem 1 below.

Theorem 1

Each of the following integral representation formulas holds true:
Ω λ ( z , ω ; s , a ) = 1 Γ ( s ) 0 t s 1 e at p Ψ q ( λ 1 , ρ 1 ) , , ( λ p , ρ p ) ; ( μ 1 , σ 1 ) , , ( μ q , σ q ) ; z e t · 1 F 1 λ ; s ; ωt d t min { ( a ) , ( s ) } > 0
(3.10)
and
Θ ( z , ω ; s , a ) = 1 Γ ( s ) 0 t s 1 e at p Ψ q ( λ 1 , ρ 1 ) , , ( λ p , ρ p ) ; ( μ 1 , σ 1 ) , , ( μ q , σ q ) ; z e t · 0 F 1 ¯ ; s ; ωt d t min { ( a ) , ( s ) } > 0 ,
(3.11)

provided that both sides of each of the assertions (3.10) and (3.11) exist.

Proof

For convenience, we denote by S the second member of the assertion (3.10) of Theorem 1. Then, upon expanding the functions p Ψ q and 1F1 in series forms, we find that
S := 1 Γ ( s ) 0 t s 1 e at p Ψ q ( λ 1 , ρ 1 ) , , ( λ p , ρ p ) ; ( μ 1 , σ 1 ) , , ( μ q , σ q ) ; z e t 1 F 1 λ ; s ; ωt d t = 1 Γ ( s ) m , n = 0 Ξ m z m ( λ ) n ( s ) n ω n n ! 0 t s + n 1 e ( a + m ) t d t ,
(3.12)
where the inversion of the order of integration and double summation can easily be justified by absolute convergence under the conditions stated with (3.10), Ξ n being defined by (2.13). Now, if we evaluate the innermost integral in (3.12) by appealing to the following well-known result:
0 t μ 1 e κt d t = Γ ( μ ) κ μ min { ( κ ) , ( μ ) } > 0 ,
(3.13)
we get
S = n = 0 ( λ ) n n ! m = 0 Ξ m z m ( m + a ) s + n ω n min { ( a ) , ( s ) } > 0 ,
(3.14)

which, in light of the definitions (2.12) and (3.2), yields the left-hand side of the first assertion (3.10) of Theorem 1.

The second assertion (3.11) of Theorem 1 can be proven in a similar manner. □

Remark 3

For ω = 0, each of the assertions (3.10) and (3.11) of Theorem 1 yields a known integral representation formula due to Srivastava et al. ((2011), p. 504, Equation (6.4)). Moreover, in their special case when
ω = 0 and Ξ n = 1 ( n N 0 ) ,

the assertions (3.10) and (3.11) of Theorem 1 would reduce immediately to the classical integral representation (1.7) for the Hurwitz-Lerch Zeta function Φ(z, s, a).

The proof of Theorem 2 below would run parallel to that of Theorem 1, which we already have detailed above fairly adequately. It is based essentially upon the Hankel type contour integral in the following form (Erdélyi et al.1953, p. 14, Equation 1.16 (4)):
2 i sin ( πν ) Γ ( ν ) = ( 0 + ) ( t ) ν 1 e t d t | arg ( t ) | π
(3.15)
or, equivalently,
1 Γ ( 1 ν ) = 1 2 π i ( 0 + ) ( t ) ν 1 e t d t | arg ( t ) | π .
(3.16)

Theorem 2

Each of the following Hankel type contour integral representation formulas holds true :
Ω λ ( z , ω ; s , a ) = Γ ( 1 s ) 2 π i ( 0 + ) ( t ) s 1 e at p Ψ q ( λ 1 , ρ 1 ) , , ( λ p , ρ p ) ; ( μ 1 , σ 1 ) , , ( μ q , σ q ) ; z e t · 1 F 1 λ ; s ; ωt d t ( a ) > 0 ; | arg ( t ) | π
(3.17)
and
Θ ( z , ω ; s , a ) = Γ ( 1 s ) 2 π i ( 0 + ) ( t ) s 1 e at p Ψ q ( λ 1 , ρ 1 ) , , ( λ p , ρ p ) ; ( μ 1 , σ 1 ) , , ( μ q , σ q ) ; z e t · 0 F 1 ¯ ; s ; ωt d t ( a ) > 0 ; | arg ( t ) | π ,
(3.18)

provided that both sides of each of the assertions (3.17) and (3.18) exist.

Remark 4

For ω = 0, each of the assertions (3.17) and (3.18) of Theorem 2 yields the following (presumably new) integral representation formula:
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a ) = Γ ( 1 s ) 2 π i ( 0 + ) ( t ) s 1 e at · p Ψ q ( λ 1 , ρ 1 ) , , ( λ p , ρ p ) ; ( μ 1 , σ 1 ) , , ( μ q , σ q ) ; z e t d t ( a ) > 0 ; | arg ( t ) | π .
(3.19)
Furthermore, in their special case when
ω = 0 and Ξ n = 1 ( n N 0 ) ,

the assertions (3.17) and (3.18) of Theorem 2 would reduce to the classical Hankel type contour integral representation for the Hurwitz-Lerch Zeta function Φ(z, s, a) (see, for example, (, Erdélyi et al.1953, p. 28, Equation 1.11 (5)); see also (Srivastava and Choi 2012), p. 195, Equation 2.5 (8)).

Next, by making use of the following known result (see, for example, Srivastava and Manocha ((1984), p. 86, Problem 1):
a b ( t a ) α 1 ( b t ) β 1 d t = ( b a ) α + β 1 B ( α , β ) b a ; min { ( α ) , ( β ) } > 0 ,
(3.20)

we evaluate several Eulerian Beta-function integrals involving the generating functions Ω λ (z, t;s, a) and Θ(z, t;s, a) defined by (3.2) and (3.3), respectively, B(α, β) being the familiar Beta function.

Theorem 3

In terms of the sequence { Ξ n } n N 0 of the coefficients given by the definition (2.13), each of the following Eulerian Beta-function integral formulas holds true:
ξ η ( t ξ ) α 1 ( η t ) β 1 Ω λ z , ω ( t ξ ) γ ( η t ) δ ; s , a d t = ( η ξ ) α + β 1 B ( α , β ) n = 0 Ξ n z n ( n + a ) s 3 Ψ 1 · ( λ , 1 ) , ( α , γ ) , ( β , δ ) ; ( α + β , γ + δ ) ; ω ( η ξ ) γ + δ n + a η ξ ; min { ( α ) , ( β ) } > 0 ; γ , δ > 0
(3.21)
and
ξ η ( t ξ ) α 1 ( η t ) β 1 Θ z , ω ( t ξ ) γ ( η t ) δ ; s , a d t = ( η ξ ) α + β 1 B ( α , β ) n = 0 Ξ n z n ( n + a ) s 2 Ψ 1 · ( α , γ ) , ( β , δ ) ; ( α + β , γ + δ ) ; ω ( η ξ ) γ + δ n + a η ξ ; min { ( α ) , ( β ) } > 0 ; γ , δ > 0 ,
(3.22)

provided that both sides of each of the assertions (3.21) and (3.22) exist, the Fox-Wright function 00 3 Ψ 1 in (3.21) being tacitly interpreted as an H-function contained in the definition (2.18).

Proof

Each of the assertions (3.21) and (3.22) of Theorem 3 can be proven fairly easily by appealing to the definitions (3.2) and (3.3), respectively, in conjunction with the Eulerian Beta-function integral (3.20). The details involved are being skipped here. □

Remark 5

In addition to their relatively more familiar cases when ξ = η−1 = 0, various interesting limit cases of the integral formulas (3.21) and (3.22) asserted by Theorem 3 can be deduced by letting
lim γ 0 or lim δ 0 .

Some such very specialized cases of Theorem 3 can be found in the recent works by Bin-Saad (2007), Gupta and Kumari (2011) and Saxena et al. (2011a).

The Eulerian Gamma-function integrals involving the generating functions Ω λ (z, t;s, a) and Θ(z, t;s, a) defined by (3.2) and (3.3), respectively, which are asserted by Theorem 4 below, can be evaluated by applying the well-known formula (3.13).

Theorem 4

Let the function Φ μ ( z , s , a ) be defined by (2.5). Then, in terms of the sequence { Ξ n } n N 0 of the coefficients given by the definition (2.13), each of the following single or double Eulerian Gamma-function integral formulas holds true:
1 Γ ( μ ) 0 t μ 1 e κt Ω λ z , ω e δt ; s , a d t = δ μ n = 0 Ξ n z n ( n + a ) s Φ λ ω n + a , μ , κ δ min { ( κ ) , ( μ ) , ( δ ) } > 0 ,
(3.23)
1 Γ ( μ ) 0 t μ 1 e κt Θ z , ωt ; s , a d t = κ μ Ω μ z , ω κ ; s , a min { ( κ ) , ( μ ) } > 0
(3.24)
and
1 Γ ( μ ) Γ ( ν ) 0 0 u μ 1 v ν 1 e κu δv Θ z , ωu e σv ; s , a d u d v = κ μ σ ν n = 0 Ξ n z n ( n + a ) s Φ μ ω κ ( n + a ) , μ , δ σ min { ( κ ) , ( μ ) , ( ν ) , ( δ ) , ( σ ) } > 0 ,
(3.25)

provided that both sides of each of the assertions (3.23), (3.24) and (3.25) exist.

Remark 6

Some very specialized cases of Theorem 4 when
Ξ n = 1 ( n N 0 )

were derived in the recent works (Bin-Saad 2007), (Gupta and Kumari 2011) and (Saxena et al. (2011a)).

Remark 7

Two of the claimed integral formulas in Bin-Saad’s paper (2007, p. 42, Theorem 3.2, Equations (3.10) and (3.11)) can easily be shown to be divergent, simply because the improper integrals occurring on their left-hand sides obviously violate the required convergence conditions at their lower terminal t = 0.

We now turn toward the truncated forms of the generating functions Ω λ (z, t;s, a) and Θ(z, t;s, a) in (3.2) and (3.3), respectively, which are defined by (3.4) to (3.7). Indeed, by appealing appropriately to the definitions in (3.4) to (3.7) in conjunction with the Eulerian Gamma-function integral in (3.13), it is fairly straightforward to derive the integral representation formulas asserted by Theorem 5 below.

Theorem 5

In terms of the sequence { Ξ n } n N 0 of the coefficients given by the definition (2.13), each of the following Eulerian Gamma-function integral formulas holds true:
Ω λ ( 0 , r ) ( z , ω ; s , a ) = 1 Γ ( s ) 0 t s 1 e at k = 0 r Ξ k z e t k 1 F 1 ( λ ; s ; ωt ) d t min { ( s ) , ( a ) } > 0 ,
(3.26)
Ω λ ( r + 1 , ) ( z , ω ; s , a ) = 1 Γ ( s ) 0 t s 1 e at k = r + 1 Ξ k z e t k 1 F 1 ( λ ; s ; ωt ) d t min { ( s ) , ( a ) } > 0 ,
(3.27)
Θ ( 0 , r ) ( z , ω ; s , a ) = 1 Γ ( s ) 0 t s 1 e at k = 0 r Ξ k z e t k 0 F 1 ( ¯ ; s ; ωt ) d t min { ( s ) , ( a ) } > 0
(3.28)
and
Θ ( r + 1 , ) ( z , ω ; s , a ) = 1 Γ ( s ) 0 t s 1 e at k = r + 1 Ξ k z e t k 0 F 1 ( ¯ ; s ; ωt ) d t min { ( s ) , ( a ) } > 0 ,
(3.29)

provided that both sides of each of the assertions (3.26) to (3.29) exist.

Remark 8

Several specialized cases of Theorem 5 when
Ξ n = 1 ( n N 0 )

can be found in the recent works (Bin-Saad 2007), (Gupta and Kumari 2011) and ( (Saxena et al.2011a)).

It is not difficult to derive various other properties and results involving the generating functions Ω λ (z, t;s, a) and Θ(z, t;s, a) in (3.2) and (3.3), respectively, as well as their truncated forms which are defined by (3.4) to (3.7). For example, by applying the definition (3.2) in conjunction with the definition (2.15), it is easy to derive the following general form of the generating relations asserted by (for example) Bin-Saad (2007, p. 44, Theorem 4.2):
n = 0 ( α 1 ) n u 1 α n u ( β 1 ) n v 1 β m n v m Ω λ ( z , ω ; s + n , a ) t n n ! = k = 0 Ξ k 1 ω k + a λ · Ψ m α 1 , u 1 , , α , u ; β 1 , v 1 , , β m , v m ; t k + a z k ( k + a ) s , m N 0 ; α j C , u j R + ( j = 1 , , ) ; β j C Z 0 , v j R + ( j = 1 , , m ) ; max { | ω | , | t | } < 1 ,
(3.30)

where the sequence { Ξ n } n N 0 of the coefficients is given by the definition (2.13) and it is tacitly assumed that each member of the generating relation (3.30) exists. We do, however, choose to leave the details involved in all such derivations as exercises for the interested reader.

τ-Generalizations of the Hurwitz-Lerch Zeta functions

In a recent paper, Saxena et al. (2011a) considered a so-called τ-generalization of the Hurwitz-Lerch Zeta function Φ(z, s, a) in (1.1) in the following form [Saxena et al. ((2011a), p. 311, Equation (2.1))]:
Φ ( τ ; z , s , a ) : = n = 0 z n ( τn + a ) s ( τ R + ) .
(4.1)
Subsequently, by similarly introducing a parameter τ>0 in the definition (2.5), Gupta and Kumari (2011) studied a τ-generalization of the extended Hurwitz-Lerch Zeta function Φ μ ( z , s , a ) in (2.5) as follows:
Φ μ ( τ ; z , s , a ) : = n = 0 ( μ ) n n ! z n ( τn + a ) s ( τ R + ) ,
(4.2)
which, when compared with the definition (4.1), yields the relationship:
Φ ( τ ; z , s , a ) = Φ 1 ( τ ; z , s , a ) ( τ R + ) .
(4.3)
By looking closely at the definitions (4.1) and (4.2), in conjunction with the earlier definitions (1.1) and (2.5), respectively, we immediately get the following rather obvious connections:
Φ ( τ ; z , s , a ) = 1 τ s Φ z , s , a τ or Φ z , s , a = τ s Φ ( τ ; z , s , ) ( τ R + )
(4.4)
and
Φ μ ( τ ; z , s , a ) = 1 τ s Φ μ z , s , a τ or Φ μ z , s , a = τ s Φ μ ( τ ; z , s , ) ( τ R + )
(4.5)
Clearly, therefore, the definitions in (4.1) and (4.2) (with τ R + ) are no more general than their corresponding well-known cases when τ = 1 given by the definitions in (1.1) and (2.5), respectively. Thus, by trivially appealing to the parametric changes exhibited by the connections in (4.4) and (4.5), all of the results involving the so-called τ-generalized functions Φ(τ;z, s, a) and Φ μ ( τ ; z , s , a ) can be derived simply from the corresponding (usually known) results involving the familiar functions Φ(z, s, a) and Φ μ ( z , s , a ) , respectively. Just for illustration of the triviality associated with such straightforward derivations, we recall the following sum-integral representation formula due to Lin and Srivastava ((2004), p. 729, Equation (20)) (see also Srivastava et al. ((2011), p. 494, Equation (2.6)) for the special case when k = 1):
Φ μ , ν ( ρ , σ ) ( z , s , a ) = 1 Γ ( s ) j = 0 k 1 ( μ ) ρj ( ν ) σj z j · 0 t s 1 e ( a + j ) t 2 Ψ 1 μ + ρj , ρk , ( 1 , 1 ) ; ν + σj , σk ; z k e kt d t k N ; min { ( a ) , ( s ) } > 0 ; σ > ρ > 0 when z C ; σ ρ > 0 when | z | 1 / k < ρ ρ σ σ ,
(4.6)
it being tacitly assumed that each member of (4.6) exists. Indeed, in the special case when ρ=σ=ν=1, (4.6) yields the following sum-integral representation for the generalized Hurwitz-Lerch Zeta function Φ μ ( z , s , a ) involved in (2.5):
Φ μ ( z , s , a ) = 1 Γ ( s ) j = 0 k 1 ( μ ) j ( ν ) j z j · 0 t s 1 e ( a + j ) t 2 Ψ 1 μ + j , k , ( 1 , 1 ) ; ν + j , k ; z k e kt d t k N ; min { ( a ) , ( s ) } > 0 ; | z | < 1
(4.7)
or, equivalently,
Φ μ ( z , s , a ) = 1 Γ ( s ) j = 0 k 1 ( μ ) j ( ν ) j z j · 0 t s 1 e ( a + j ) t k + 1 F k Δ k ; μ + j , ( 1 , 1 ) ; Δ k ; ν + j ; z k e kt d t k N ; min { ( a ) , ( s ) } > 0 ; | z | < 1 ,
(4.8)
where, for convenience, Δ(n;λ) abbreviates the array of n parameters
λ n , λ + 1 n , , λ + n 1 n ( n N ) ,

the array being empty when n = 0.

Now, in order to rewrite this last result (4.8) in terms of the τ-generalized Hurwitz-Lerch Zeta function Φ μ ( τ ; z , s , a ) defined by (4.2), we simply make the following parameter and variable changes:
a a τ , t τt and d t τ d t ( τ R + )
and multiply the resulting equation by τs. By using the connection in (4.5), we thus find immediately that
Φ μ ( τ ; z , s , a ) = 1 Γ ( s ) j = 0 k 1 ( μ ) j ( ν ) j z j · 0 t s 1 e ( a + τj ) t k + 1 F k Δ k ; μ + j , ( 1 , 1 ) ; Δ k ; ν + j ; z k e kτt d t k N ; min { ( a ) , ( s ) } > 0 ; | z | < 1 .
(4.9)
In its particular case when k = 1, this last formula (4.9) would simplify at once to the following form given by Saxena et al. ((2011a), p. 311, Equation (2.2)):
Φ μ ( τ ; z , s , a ) = 1 Γ ( s ) 0 t s 1 e at 1 z e τt μ d t ( a ) > 0 ; ( s ) } > 0 when | z | < 1 ; ( s ) > 1 when z = 1 ,
(4.10)

which obviously is equivalent to (and certainly not a generalization of) of the τ = 1 case derived earlier by Goyal and Laddha ((1997), p. 100, Equation (1.6)).

Remark 9

The so-called τ-generalizations 2 R 1 τ and 1 R 1 τ of the Gauss hypergeometric function 2F1 and Kummer’s confluent hypergeometric function 1F1, respectively, which were used in the aforecited paper by Saxena et al. ((2011a), p. 315), are obviously very specialized cases of the well-known and extensively-investigated Fox-Wright function p Ψ q defined by (2.15). In fact, it is easily seen from Definition 2 that [Saxena et al. ((2011a), pp. 315 and 317)] (see also (Al-Zamel 2001), (Ali et al.2001) and (Virchenko et al.2001))
2 R 1 τ ( a , b ; c ; z ) := Γ ( c ) Γ ( b ) n = 0 ( a ) n Γ ( b + τn ) Γ ( c + τn ) z n n ! = Γ ( c ) Γ ( a ) Γ ( b ) 2 Ψ 1 a , 1 , ( b , τ ) ; c , τ ; z = 2 Ψ 1 a , 1 , ( b , τ ) ; c , τ ; z ( | z | < 1 ; τ R + ; c Z 0 )
(4.11)
and
1 R 1 τ ( b ; c ; z ) := Γ ( c ) Γ ( b ) n = 0 Γ ( b + τn ) Γ ( c + τn ) z n n ! = Γ ( c ) Γ ( b ) 1 Ψ 1 b , τ ; c , τ ; z = 1 Ψ 1 b , τ ; c , τ ; z ( | z | < ; τ R + ; c Z 0 ) .
(4.12)

Similar remarks and observations would apply equally strongly to the other τ-generalizations of well-known and extensively-investigated hypergeometric functions in one, two and more variables.

We conclude this section by presenting a generalization of the sum-integral representation formula (4.6) due to Lin and Srivastava ((2004), p. 729, Equation (20)).

Theorem 6

The following sum-integral representation formula holds true:
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a ) = 1 Γ ( s ) j = 0 k 1 = 1 p λ j ρ = 1 q μ j σ z j j ! 0 t s 1 e ( a + j ) t · p + 1 Ψ q + 1 λ 1 + j ρ 1 , k ρ 1 , , λ p + j ρ p , k ρ p , ( 1 , 1 ) ; μ 1 + j σ 1 , k σ 1 , , μ q + j σ q , k σ q , ( j + 1 , k ) ; z k e kt d t k N ; min { ( a ) , ( s ) } > 0 ,
(4.13)

provided that each member of the assertion (4.13) exists.

Proof

First of all, in light of the following elementary series identity:
n = 0 f ( n ) = j = 0 k 1 n = 0 f ( kn + j ) ( k N ) ,
we find from the definition (2.12) that
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a ) = k s j = 0 k 1 = 1 p λ j ρ = 1 q μ j σ z j j ! · Φ λ 1 + j ρ 1 , , λ p + j ρ p , 1 ; μ 1 + j σ 1 , , μ q + j σ q , j + 1 ( k ρ 1 , , k ρ p , 1 , k σ 1 , , k σ q , k ) z k , s , a + j k ( k N ) .
(4.14)
The assertion (4.13) of Theorem 6 would now emerge readily upon first appealing to the aforementioned known result due to Srivastava et al. ((2011), p. 504, Equation (6.4)) (see also Remark 3 above) given by
Φ λ 1 , , λ p ; μ 1 , , μ q ( ρ 1 , , ρ p , σ 1 , , σ q ) ( z , s , a ) = 1 Γ ( s ) 0 t s 1 e at p Ψ q ( λ 1 , ρ 1 ) , , ( λ p , ρ p ) ; ( μ 1 , σ 1 ) , , ( μ q , σ q ) ; z e t d t min { ( a ) , ( s ) } > 0
(4.15)
and then setting
t kt and d t k d t ( k N ) .

Obviously, in its special case when
p = 2 ( λ 1 = μ and ρ 1 = ρ ; λ 2 = 1 and ρ 2 = 1 )
and
q = 1 ( μ 1 = ν and σ 1 = σ ) ,

the general result (4.13) asserted by Theorem 6 would reduce immediately to the known sum-integral representation formula (4.6) due to Lin and Srivastava ((2004), p. 729, Equation (20)).

Declarations

Acknowledgements

The present investigation was supported, in part, by the Natural Sciences and Engineering Research Council of Canada under Grant OGP0007353.

Authors’ Affiliations

(1)
Department of Mathematics and Statistics, University of Victoria

References

  1. Al-Zamel A: On a generalized gamma-type distribution with τ-confluent hypergeometric function. Kuwait J Sci Engrg 2001, 28: 25-36.Google Scholar
  2. Ali I, Kalla SL, Khajah HG: A generalized inverse Gaussian distribution with τ-confluent hypergeometric function. Integral Transforms Spec Funct 2001, 12: 101-114. 10.1080/10652460108819338View ArticleGoogle Scholar
  3. Bin-Saad MG: Sums and partial sums of double power series associated with the generalized Zeta function and their N-Fractional calculus. Math J Okayama Univ 2007, 49: 37-52.Google Scholar
  4. Buschman RG, Srivastava HM:The H ¯ -function associated with a certain class of Feynman integrals. J Phys A: Math Gen 1990, 23: 4707-4710. 10.1088/0305-4470/23/20/030View ArticleGoogle Scholar
  5. Choi J, Jang DS, Srivastava HM: A generalization of the Hurwitz-Lerch Zeta function. Integral Transforms Spec Funct 2008, 19: 65-79.View ArticleGoogle Scholar
  6. Erdélyi A, Magnus W, Oberhettinger F, Tricomi FG: Higher Transcendental Functions. New York, Toronto and London: McGraw-Hill Book Company; 1953.Google Scholar
  7. Erdélyi A, Magnus W, Oberhettinger F, Tricomi FG, Erdélyi, A: Tables of Integral Transforms. New York, Toronto and London: McGraw-Hill Book Company; 1954.Google Scholar
  8. Garg M, Jain K, Kalla SL: A further study of general Hurwitz-Lerch Zeta function. Algebras Groups Geom. 2008, 25: 311-319.Google Scholar
  9. Garg M, Jain K, Srivastava HM: Some relationships between the generalized Apostol-Bernoulli polynomials and Hurwitz-Lerch Zeta functions. Integral Transforms Spec Funct 2006, 17: 803-815. 10.1080/10652460600926907View ArticleGoogle Scholar
  10. Goyal SP, Laddha RK: On the generalized Zeta function and the generalized Lambert function. Gaṅita Sandesh 1997, 11: 99-108.Google Scholar
  11. Gupta RK, Kumari M: Some results on a τ-generalized Riemann Zeta function. Jñānābha 2011, 41: 63-68.Google Scholar
  12. Gupta PL, Gupta RC, Ong S-H, Srivastava HM: A class of Hurwitz-Lerch Zeta distributions and their applications in reliability. Appl Math Comput 2008, 196: 521-531. 10.1016/j.amc.2007.06.012View ArticleGoogle Scholar
  13. Inayat-Hussain AA: New properties of hypergeometric series derivable from Feynman integrals. I: Transformation and reduction formulae. J Phys A: Math Gen 1987a, 20: 4109-4117. 10.1088/0305-4470/20/13/019View ArticleGoogle Scholar
  14. Inayat-Hussain AA: New properties of hypergeometric series derivable from Feynman integrals. II: A generalization of the H-function. J Phys A: Math Gen 1987b, 20: 4119-4128. 10.1088/0305-4470/20/13/020View ArticleGoogle Scholar
  15. Jankov D, Pogány TK, Saxena RK: An extended general Hurwitz-Lerch Zeta function as a Mathieu (a,λ)-series. Appl Math Lett 2011, 24: 1473-1476. 10.1016/j.aml.2011.03.040View ArticleGoogle Scholar
  16. Katsurada M: On Mellin-Barnes type of integrals and sums associated with the Riemann Zeta-function. Publ Inst Math (Beograd) (Nouvelle Ser) 1997, 62(76):13-25.Google Scholar
  17. Kilbas AA, Saigo M, Trujillo JJ: On the generalized Wright functions. Fract Calc Appl Anal 2002, 5: 437-466.Google Scholar
  18. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations, North-Holland Mathematical Studies. Amsterdam, London and New York: Elsevier (North-Holland) Science Publishers; 2006.Google Scholar
  19. Lin S-D, Srivastava HM: Some families of the Hurwitz-Lerch Zeta functions and associated fractional derivative and other integral representations. Appl Math Comput 2004, 154: 725-733. 10.1016/S0096-3003(03)00746-XView ArticleGoogle Scholar
  20. Lin S-D, Srivastava HM, Wang P-Y: Some expansion formulas for a class of generalized Hurwitz-Lerch Zeta functions. Integral Transforms Spec Funct 2006, 17: 817-827. 10.1080/10652460600926923View ArticleGoogle Scholar
  21. Mathai AM, Saxena RK, Haubold HJ: The H-Function: Theory and Applications. New York, Dordrecht, Heidelberg and London: Springer; 2010.View ArticleGoogle Scholar
  22. Nishimoto K, Yen C-E, Lin M-L: Some integral forms for a generalized Zeta function. J Fract Calc 2002, 22: 91-97.Google Scholar
  23. Răducanu D, Srivastava HM: A new class of analytic functions defined by means of a convolution operator involving the Hurwitz-Lerch Zeta function. Integral Transforms Spec Funct 2007, 18: 933-943. 10.1080/10652460701542074View ArticleGoogle Scholar
  24. Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applications, Translated from the Russian: Integrals and Derivatives of Fractional Order and Some of Their Applications (“Nauka i Tekhnika”, Minsk, 1987). Reading, Tokyo, Paris, Berlin and Langhorne (Pennsylvania): Gordon and Breach Science Publishers; 1993.Google Scholar
  25. Saxana RK: A remark on a paper on M-series [MR2401326 (2009b:26008)]. With an editorial note. Fract Calc Appl Anal 2009, 12: 109-110.Google Scholar
  26. Saxena RK, Gupta RK, Kumari M: Integrals and series expansions of the τ-generalized Riemann Zeta function. J Indian Acad Math 2011a, 33: 309-320.Google Scholar
  27. Saxena RK, Pog’any TK, Saxena R, Jankov D: On generalized Hurwitz-Lerch Zeta distributions occurring in statistical inference. Acta Univ Sapientiae Math 2011b, 3: 43-59.Google Scholar
  28. Sharma M: Fractional integration and fractional differentiation of the M-series. Fract Calc Appl Anal 2008, 11: 187-191.Google Scholar
  29. Sharma M, Jain R: A note on a generalzed M-series as a special function of fractional calculus. Fract Calc Appl Anal 2009, 12: 449-452.Google Scholar
  30. Srivastava HM: Sums of certain series of the Riemann Zeta function. J Math Anal Appl 1988a, 134: 129-140. 10.1016/0022-247X(88)90013-3View ArticleGoogle Scholar
  31. Srivastava, H M: A unified presentation of certain classes of series of the Riemann Zeta function. Riv Mat Univ Parma (Ser. 4) 1988b, 14: 1-23.Google Scholar
  32. Srivastava HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math Proc Cambridge Philos Soc 2000, 129: 77-84. 10.1017/S0305004100004412View ArticleGoogle Scholar
  33. Srivastava, H M: Some generalizations and basic (or q-) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl Math Inform Sci 2011, 5: 390-444.Google Scholar
  34. Srivastava HM, Choi J: Series Associated with the Zeta and Related Functions. Dordrecht, Boston and London: Kluwer Academic Publishers; 2001.View ArticleGoogle Scholar
  35. Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Amsterdam, London and New York: Elsevier Science Publishers; 2012.Google Scholar
  36. Srivastava HM, Garg M, Choudhary S: A new generalization of the Bernoulli and related polynomials. Russian J Math Phys 2010, 17: 251-261. 10.1134/S1061920810020093View ArticleGoogle Scholar
  37. Srivastava HM, Gupta KC, Goyal SP: The H-Functions of One and Two Variables with Applications. New Delhi and Madras: South Asian Publishers; 1982.Google Scholar
  38. Srivastava HM, Jankov D, Pogány TK, Saxena RK: Two-sided inequalities for the extended Hurwitz-Lerch Zeta function. Comput Math Appl 2011, 62: 516-522. 10.1016/j.camwa.2011.05.035View ArticleGoogle Scholar
  39. Srivastava HM, Karlsson PW: Multiple Gaussian Hypergeometric Series, Halsted Press (Ellis Horwood Limited, Chichester). New York, Chichester, Brisbane and Toronto: John Wiley and Sons; 1985.Google Scholar
  40. Srivastava HM, Lin S-D, Wang P-Y:Some fractional-calculus results for the H ¯ -function associated with a class of Feynman integrals. Russian J Math Phys 2006, 13: 94-100. 10.1134/S1061920806010092View ArticleGoogle Scholar
  41. Srivastava HM, Manocha HL: A Treatise on Generating Functions, Halsted Press (Ellis Horwood Limited, Chichester). New York, Chichester, Brisbane and Toronto: John Wiley and Sons; 1984.Google Scholar
  42. Srivastava HM, Saxena RK, Pogány TK, Saxena R: Integral and computational representations of the extended Hurwitz-Lerch Zeta function. Integral Transforms Spec Funct 2011, 22: 487-506. 10.1080/10652469.2010.530128View ArticleGoogle Scholar
  43. Virchenko NO, Kalla SL, Al-Zamel A: Some results on a generalized hypergeometric function. Integral Transforms Spec Funct 2001, 12: 89-100. 10.1080/10652460108819336View ArticleGoogle Scholar
  44. Wilton JR:A proof of Burnside’s formula for log Γ ( x + 1 ) and certain allied properties of Riemann’s ζ-function. Messenger Math 1922/1923, 52: 90-93.