## New Results Involving a Class of Generalized Hurwitz-Lerch Zeta Functions and Their Applications

**H. M. Srivastava**^{1,}, **Min-Jie Luo**^{2}, **R. K. Raina**^{3}

^{1}Department of Mathematics and Statistics, University of Victoria, Victoria, British Columbia, Canada

^{2}Department of Applied Mathematics, Donghua University, Shanghai, People’s Republic of China

^{3}Department of Mathematics, M. P. University of Agriculture and Technology, Rajasthan, India

1. Introduction, Definitions and Preliminaries

2. Differential Equation of the Generalized Hurwitz-Lerch Zeta Function

3 Further Series Representations and Related Results

### Abstract

In this paper, we study a certain class of generalized Hurwitz-Lerch zeta functions. We derive several new and useful properties of these generalized Hurwitz-Lerch zeta functions such as (for example) their partial differential equations, new series and Mellin-Barnes type contour integral representations involving Fox’s *H*-function and a pair of summation formulas. More importantly, by considering their application in Number Theory, we construct a new continuous analogue of Lippert’s Hurwitz measure. Some statistical applications are also given.

**Keywords:** Hurwitz-Lerch zeta function, arithmetic density of number theory, partial differential equations, series and Mellin-Barnes type contour integral representations, Fox’s H-function, summation formulas, generalized Hurwitz meausure, probability density function, moment generating function

*Turkish Journal of Analysis and Number Theory*, 2013 1 (1),
pp 26-35.

DOI: 10.12691/tjant-1-1-7

Received September 15, 2013; Revised October 22, 2013; Accepted November 01, 2013

**Copyright**© 2013 Science and Education Publishing. All Rights Reserved.

### Cite this article:

- Srivastava, H. M., Min-Jie Luo, and R. K. Raina. "New Results Involving a Class of Generalized Hurwitz-Lerch Zeta Functions and Their Applications."
*Turkish Journal of Analysis and Number Theory*1.1 (2013): 26-35.

- Srivastava, H. M. , Luo, M. , & Raina, R. K. (2013). New Results Involving a Class of Generalized Hurwitz-Lerch Zeta Functions and Their Applications.
*Turkish Journal of Analysis and Number Theory*,*1*(1), 26-35.

- Srivastava, H. M., Min-Jie Luo, and R. K. Raina. "New Results Involving a Class of Generalized Hurwitz-Lerch Zeta Functions and Their Applications."
*Turkish Journal of Analysis and Number Theory*1, no. 1 (2013): 26-35.

Import into BibTeX | Import into EndNote | Import into RefMan | Import into RefWorks |

### 1. Introduction, Definitions and Preliminaries

We begin by recalling the familiar general Hurwitz-Lerch Zeta function , which is defined by (see, for example, ^{[2]}; see also ^{[18, 19, 20, 21, 22]}).

(1.1) |

(, when ; when ).

Special cases of the Hurwitz-Lerch Zeta function include (for example) the Riemann Zeta function and the Hurwitz (or generalized) Zeta function defined by (see, for details, [2, Chapter I] and [21, Chapter 2])

(1.2) |

and

(1.3) |

respectively. Just as its aforementioned special cases and , the Hurwitz-Lerch Zeta function defined by (1.4) 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 [^{[2]}, Equation 1.11 (3)]

(1.4) |

(, when ; when ).

Recently, the following modified (and slightly generalized) version of the integral in (1.4) was introduced and studied by Raina and Chhajed [^{[16]}, Equation (1.6)]:

(1.5) |

where we have assumed *further *that

or

provided, of course, that the integral in (1.5) exists. As a matter of fact, the aforementioned investigation by Raina and Chhajed ^{[16]} was motivated by the following special case of the function defined by (1.5):

(1.6) |

(, when ; when ).

where the function defined by

(1.7) |

was studied by Goyal and Laddha [^{[4]}, Equation (1.5)]. Here, and in what follows, denotes the Pochhammer symbol (or the *shifted *factorial) which is defined, in terms of the familiar Gamma function, by

where it is understood *conventionally* that and assumed *tacitly* that the G-quotient exists, being the set of positive integers.

It may be of interest to observe in passing that, in terms of the *Riemann-Liouville fractional derivative operator* defined by (see, for example, ^{[3, 7, 17]})

the series definitions in (1.1) and (1.7) readily yield

(1.8) |

which (as already remarked by Lin and Srivastava ^{[8]}) exhibits the interesting (and useful) fact that the function is essentially a Riemann-Liouville fractional derivative of the classical Hurwitz-Lerch function .

One other special case of the function defined by (1.5) occurs when we set and in the definition (1.5). We thus obtain

(1.9) |

where is the extended Hurwitz zeta function defined in ^{[1]}. In fact, just as it is already pointed out in ^{[10]}, the series representation (see [^{[16]}, Equation (2.1)]) given for the function in (1.5) is incorrect. Obvious *further* specializations in (1.6) and (1.9) would immediately relate these functions with the Riemann zeta function and the Hurwitz (or generalized) zeta function defined by (1.2) and (1.3), respectively.

By using the series expansion of the binomial occurring in the integrand of (1.5) and evaluating the resulting integral by means of the *corrected* version of a known integral formula [^{[13]}, Equation (1.53)] in terms of Fox’s *H*-function defined by (1.12) below, the following series and Mellin-Barnes type contour integral representations of the function defined by (1.5) were obtained in ^{[10]}:

(1.10) |

and

(1.11) |

it being assumed that each member of the assertions (1.10) and (1.11) exists.

**Remark 1. **The *H*-functions involved on the right-hand sides of (1.10) and (1.11) are particular cases of the celebrated Fox’s *H*-function which is defined as follows.

**Definition 1.** The well-known Fox’s *H*-function is defined here by (see, for details, [^{[13]}, Defintion 1.1]; see also [^{[6, 11, 23, 24]})

(1.12) |

where

(1.13) |

Here

an empty product is interpreted as 1, *m, n, p* and *q* are integers such that and ,

and is a suitable Mellin-Barnes type contour separating the poles of the gamma functions

from the poles of the gamma functions

In our present investigation, we consider certain statistical applications of the generalized Hurwitz-Lerch zeta function defined by (1.5). We first derive a partial differential equation satisfied by the function in (1.11). We then obtain another series representation and related results for this generalized Hurwitz-Lerch zeta function. The results derived here are also applied in our investigations concerning the generalized Hurwitz-Lerch zeta measure and its related statistical concepts.

### 2. Differential Equation of the Generalized Hurwitz-Lerch Zeta Function

In this section, we will show that the generalized Hurwitz-Lerch zeta function satisfies a partial differential equation when the parameter is given by

We first prove the following lemma which will be used in the proof of our main theorem.

**Lemma **(Derivative Property). *The following derivative formulas hold true:*

(2.1) |

*and*

(2.2) |

*Proof.* The proofs of the derivative formulas (2.1) and (2.2) are direct. For example, by applying the series representation (1.10), one easily finds that

which is precisely the first result (2.1) asserted by the Lemma. The second assertion (2.2) follows immediately from (2.1) upon setting

Our first main result is contained in the following theorem.

**Theorem 1. ***The generalized Hurwitz-Lerch zeta function ** satisfies the following partial differential equation:*

(2.3) |

*where the differential operators ** and ** **are given by*

(2.4) |

*and** *

*respectively.*

*Proof. *We first rewrite the *H*-function occurring in the Mellin-Barnes type contour integral representation (1.11) as follows:

(2.5) |

where is a suitable Mellin-Barnes type contour integral in the complex *w*-plane. By setting

in the above equation (2.5) and then applying the well-known (Gauss-Legendre) multiplication formula:

(2.6) |

we find that

(2.7) |

where

is a very specialized case of Meijer’s G-function which, in turn, is a special case of Fox’s *H*-function defined by (1.12), that is, we have the following relationship (see, for details, ^{[14]}; see also ^{[2, 12, 15]}):

(2.8) |

We know that the function defined by

satisfies the following differential equation of order (see, for example, [^{[2]}, Equation 5.4(1)]):

where

Hence, clearly, the function given by (2.7) satisfies the following differential equation:

(2.9) |

where, as already stated in Theorem 1,

Now, if we write [see also Equation (2.4)]

then the equation (2.9) becomes

(2.10) |

Applying the differential operator to the function given by (1.11) with

we find by using (2.10) that

(2.11) |

where the first integral is actually the generalized Hurwitz-Lerch zeta function given by

(2.12) |

The evaluation of the second integral given by

(2.13) |

is more complicated. Since the residues of at the poles are computed by

(2.14) |

the Residue Theorem implies that

(2.15) |

Applying (2.2) in (2.15), we get

(2.16) |

Now, upon substituting from (2.12) and (2.16) into (2.11), we obtain

(2.17) |

which, after a little simplification, becomes

(2.18) |

Finally, by setting

in the last equation (2.18), we arrive at the desired result (2.3) asserted by Theorem 1.

It is interesting to consider a special case of Theorem 1 when m = 1. Thus, if we write

(2.19) |

then we have the following corollary.

**Corollary 1.**** ***The generalized Hurwitz-Lerch zeta function ** satisfies** **the following partial differential equation:*

(2.20) |

*Furthermore; the function **,** considered as an analytic function of the variable b satisfies the following relation:*

(2.21) |

### 3 Further Series Representations and Related Results

In this section, we first give a new series representation of the generalized Hurwitz-Lerch zeta function involving the familiar Laguerre polynomials of order (index) α and degree in , which are generated by

(3.1) |

Indeed, upon setting

in (3.1), we get

(3.2) |

We now make use of (3.2) and the series expansions of the binomials

occurring in the integrand of (1.5). By evaluating the resulting Eulerian integral, we thus arrive at the series representations given by Theorem 2 below.

**Theorem 2**. *Each of the following series representations holds true for the generalized** **Hurwitz-Lerch zeta function* :

(3.3) |

*and*

(3.4) |

provided that each member of the assertions (3.3) and (3.4) exists, being given by (1.7).

*Proof. *As already outlined above, our demonstration of the first assertion (3.3) of Theorem 2 is based essentially upon the representation (3.2) and the following well-known Eulerian integral:

(3.5) |

The second assertion (3.4) follows from the first assertion (3.3) when we interpret the -series in (3.4) by means of the definition (1.7).

In our derivation of each of the summation formulas (3.3) and (3.4), it is assumed that the required inversions of the order of summation and integration are justified by absolute and uniform convergence of the series and integrals involved. The final results (3.3) and (3.4) would thus hold true whenever each member of the assertions (3.3) and (3.4) of Theorem 2 exists.

**Remark 2. **For the extended Hurwitz zeta function defined by (1.9), it is easily deduced from the assertion (3.4) of Theorem 2 when and that

(3.6) |

provided that each member of (3.6) exists, being the Hurwitz (or generalized) zeta function given by (1.3). The obvious *further* special case of (3.6) when and would yield the *corrected* version of a known result (see [^{[1]}, Equation (7.78)]).

We now give a pair of summation formulas involving the generalized Hurwitz-Lerch zeta function

**Theorem 3.** *Each of the following summation formulas holds true for the generalized Hurwitz-Lerch zeta function** *:

(3.7) |

*and*

(3.8) |

*provided that each member of the assertions (3.7) and (3.8) exists.*

*Proof. *Making use of the integral representation in (1.5) for the function , we get

(3.9) |

Since

(3.10) |

by substituting from (3.10) into (3.9) and interchanging the order of summation and integration, we find that

(3.11) |

which obviously proves the assertion (3.7) of Theorem 3.

The assertion (3.8) of Theorem 3 can be proven in a manner analogous to that detailed above.

**Remark 3. **If we set in (3.7) and (3.8), the series occurring on their right-hand sides would terminate. Upon setting and , we thus obtain

(3.12) |

and

(3.13) |

In particular, if we set in these last two summation formulas (3.12) and (3.13), we get

(3.14) |

and

(3.15) |

respectively. In its *further* special case when , the summation formula (3.14)can be shown to correspond to known results (see, for example, [^{[1]}, Theorem 7.9]; see also ^{[1]}).

### 4. A Generalization of the Hurwitz Measure

Suppose that denote the characteristic function of the subset of the set of positive integers (or, in the language of probability theory, the indicator function of the event ). Then it is well known that the following arithmetic density of number theory:

(4.1) |

does not define a measure on the set of positive integers. In order to remedy this deficiency, Golomb ^{[5]} defined a probability on the sample space as follows:

(4.2) |

where denotes the Riemann zeta function defined by (1.2) and the characteristic (or indicator) function is given by

(4.3) |

Furthermore, Golomb ^{[5]} showed that, if the subset A of has an arithmetic density, then

(4.4) |

thereby allowing number-theoretic facts regarding densities of sets of positive integers to be proven by probabilistic means and then showing that such properties are preserved in the limit.

In an interesting sequel to Golomb’s investigation ^{[5]}, Lippert ^{[9]} gave an analogous definition of the probabilities when the set is replaced by the set of all real numbers greater than 1. Thus, for a Borel set , Lippert’s Hurwitz measure of the set is defined by (see, for details, [^{[9]}, Definition 1]

(4.5) |

or, equivalently, by

(4.6) |

where, in terms of the Hurwitz (or generalized) zeta function defined by (1.3),

(4.7) |

In this section, we propose to introduce a new continuous analogue of Lippert’s Hurwitz measure in (4.5) by using a special case of the generalized Hurwitz-Lerch zeta function defined by (1.5).

**Definition 2.** For a Borel set , the generalized Hurwitz measure of the set is defined by

(4.8) |

or, equivalently, by

(4.9) |

where

(4.10) |

and

(4.11) |

since it is easily seen from the definition (1.5) that

(4.12) |

In view of the following relationship:

the generalized Hurwitz measure in (4.8) or (4.9) also defines a probability measure on .

**Remark 4.** For and by letting we have

(4.13) |

which implies that

(4.14) |

Thus, clearly, can be continuously approximated by .

**Proposition. ***The measure** ** satisfies the following difference equation:*

(4.15) |

*Proof.* From the series representation (1.10) of (with and ), we have

(4.16) |

The difference equation (4.15) now follows on combining (4.10) and (4.16).

**Remark 5. **For and by letting , the difference equation (4.15) reduces to the following form:

(4.17) |

where is given by (4.7).

For open events, the generalized Hurwitz measure in (4.8) or (4.9) can be evaluated by using (4.9) and the above Proposition. The results are being stated as Theorem 4 below.

**Theorem 4.** *If** ** then*

(4.18) |

*More generally; the generalized Hurwitz measure of an open set ** is given by*

(4.19) |

*where*

The following theorem shows that the generalized Hurwitz measure in (4.8) or (4.9) basically inherits all properties of Lippert’s Hurwitz measure given by (4.5) or (4.6).

**Theorem 5.**** ***Corresponding to the generalized Hurwitz measure given by (4.19)**,** let*

(4.20) |

*Then*

(4.21) |

*Proof. *From (4.19), we have

(4.22) |

By expanding the function by means of Taylor’s series and using the derivative formula (4.12), we get

(4.23) |

We now consider each sum in (4.23) separately. We thus find that

(4.24) |

Since the number of non-negative integer solutions of the Diophantine equation is

the double summation in (4.24) can be replaced by a single summation, that is,

(4.25) |

We thus obtain

(4.26) |

We note that, when , the series for is divergent and the series for is convergent. Therefore, all other terms vanish in (4.26) except the leading term. Consequently, we get

(4.27) |

which completes the proof of Theorem 5.

As in the theory of probability, we introduce the following definition.

**Definition 3.** A random variable is said to be generalized Hurwitz distributed if its probability density function (p.d.f.) is given by

(4.28) |

**Th****eorem 6.** *Let ** be a continuous random variable** ** **with** its p.d.f defined by** **(4.28)**. **Then the moment generating function** ** of the random variable** ** **is** **given** by*

(4.29) |

*with the moment * *of order n given by*

(4.30) |

*Proof. *The assertion in (4.29) follows easily by using the exponential series for . If we use integration by parts, we find from the definition that

(4.31) |

where we have also used the derivative property (4.12) and the following limit formula:

(4.32) |

Consequently, we have the following reduction formula for :

(4.33) |

By iterating the recurrence (4.33), we arrive at the desired result (4.30) asserted by Theorem 6.

**Remark 6. **The assertion (4.30) of Theorem 6 provides a generalization of a known result [^{[9]}, Proposition 3].

### References

[1] | M. A. Chaudhry and S. M. Zubair, On a Class of Incomplete Gamma Functions with Applications, Chapman and Hall (CRC Press Company), Boca Raton, London, New York and Washington, D.C., 2001. | ||

In article | CrossRef | ||

[2] | A. Erd´elyi, W. Magnus, F. Oberhettinger and F. G. Tricomi, Higher Transcendental Functions, Vol. I, McGraw-Hill Book Company, New York, Toronto and London, 1953. | ||

In article | |||

[3] | A. Erd´elyi,W. Magnus, F. Oberhettinger and F. G. Tricomi, Tables of Integral Transforms, Vol. II, McGraw-Hill Book Company, New York, Toronto and London, 1954. | ||

In article | |||

[4] | S. P. Goyal and R. K. Laddha, On the generalized Zeta function and the generalized Lambert function, Ga˙nita Sandesh 11 (1997), 99-108. | ||

In article | |||

[5] | S. W. Golomb, A class of probability distributions on the integers, J. Number Theory 2 (1970), 189-192. | ||

In article | CrossRef | ||

[6] | A. A. Kilbas and M. Saigo, H-Transforms: Theory and Applications, Chapman and Hall (CRC Press Company), Boca Raton, London, New York and Washington, D.C., 2004. | ||

In article | CrossRef | ||

[7] | A. A. Kilbas, H. M. Srivastava and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, North-Holland Mathematical Studies, Vol. 204, Elsevier (North-Holland) Science Publishers, Amsterdam, London and New York, 2006. | ||

In article | |||

[8] | S.-D. Lin and H. M. Srivastava, Some families of the Hurwitz-Lerch Zeta functions and associated fractional derivative and other integral representations, Appl. Math. Comput. 154 (2004), 725-733. | ||

In article | CrossRef | ||

[9] | R. A. Lippert, A probabilistic interpretation of the Hurwitz zeta function, Adv. Math. 97 (1993), 278-284. | ||

In article | CrossRef | ||

[10] | M.-J. Luo and R. K. Raina, Some new results related to a class of generalized Hurwitz zeta function, Ann. Polon. Math. (submitted for publication). | ||

In article | |||

[11] | A. M. Mathai and R. K. Saxena, The H-Functions with Applications in Statistics and Other Disciplines, Wiley Eastern Limited, New Delhi, 1978. | ||

In article | |||

[12] | A. M. Mathai and R.K. Saxena, Generalized Hypergeometric Functions with Applications in Statistics and Physical Sciences, Lecture Notes in Mathematics, Vol. 348, Springer-Verlag, Berlin, Heidelberg and New York, 1973. | ||

In article | |||

[13] | A. M. Mathai, R. K. Saxena and H. J. Haubold, The H-Function: Theory and Applications, Springer, New York, Dordrecht, Heidelberg and London, 2010. | ||

In article | |||

[14] | F. W. J. Olver, D. W. Lozier, R. F. Boisvert and C. W. Clark (Editors), NIST Handbook of Mathematical Functions [With 1 CD-ROM (Windows, Macintosh and UNIX)], U. S. Department of Commerce, National Institute of Standards and Technology, Washington, D. C., 2010; Cambridge University Press, Cambridge, London and New York, 2010. | ||

In article | |||

[15] | A. P. Prudnikov, Yu. A. Brychkov and O. I. Marichev, Integrals and Series, Vol. 3: More Special Functions, Gordon and Breach Science Publishers, London and New York, 1990. | ||

In article | |||

[16] | R. K. Raina and P. K. Chhajed, Certain results involving a class of functions associated with the Hurwitz zeta function, Acta Math. Univ. Comenianae 73 (2004), 89-100. | ||

In article | |||

[17] | S. G. Samko, A. A. Kilbas and O. I. Marichev, Fractional Integrals and Derivatives: Theory and Applications, Translated from the Russian: Integrals and Derivatives of Fractional Order and Some of Their Applications (”Naukai Tekhnika”, Minsk, 1987), Gordon and Breach Science Publishers, Reading, Tokyo, Paris, Berlin and Langhorne (Pennsylvania), 1993. | ||

In article | |||

[18] | H. M. Srivastava, Some formulas for the Bernoulli and Euler polynomials at rational arguments, Math. Proc. Cambridge Philos. Soc. 129 (2000), 77-84. | ||

In article | CrossRef | ||

[19] | H. M. Srivastava, Some generalizations and basic (or q-) extensions of the Bernoulli, Euler and Genocchi polynomials, Appl. Math. Inform. Sci. 5 (2011), 390-444. | ||

In article | |||

[20] | H. M. Srivastava, Generating relations and other results associated with some families of the extended Hurwitz-Lerch Zeta functions, SpringerPlus 2 (2013), Article ID 2:67, 1-14. | ||

In article | |||

[21] | H. M. Srivastava and J. Choi, Series Associated with the Zeta and Related Functions, Kluwer Academic Publishers, Dordrecht, Boston and London, 2001. | ||

In article | CrossRef | ||

[22] | H. M. Srivastava and J. Choi, Zeta and q-Zeta Functions and Associated Series and Integrals, Elsevier Science Publishers, Amsterdam, London and New York, 2012. | ||

In article | |||

[23] | H. M. Srivastava, K. C. Gupta and S. P. Goyal, The H-Functions of One and Two Variables with Applications, South Asian Publishers, New Delhi and Madras, 1982. | ||

In article | |||

[24] | H. M. Srivastava and H. L. Manocha, A Treatise on Generating Functions, Halsted Press (Ellis Horwood Limited, Chichester), John Wiley and Sons, New York, Chichester, Brisbane and Toronto, 1984. | ||

In article | |||