New Results Involving a Class of Generalized Hurwitz-Lerch Zeta Functions and Their Applications
1Department of Mathematics and Statistics, University of Victoria, Victoria, British Columbia, Canada
2Department of Applied Mathematics, Donghua University, Shanghai, People’s Republic of China
3Department of Mathematics, M. P. University of Agriculture and Technology, Rajasthan, India
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),
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
(, 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])
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 [, Equation 1.11 (3)]
(, when ; when ).
Recently, the following modified (and slightly generalized) version of the integral in (1.4) was introduced and studied by Raina and Chhajed [, Equation (1.6)]:
where we have assumed further that
provided, of course, that the integral in (1.5) exists. As a matter of fact, the aforementioned investigation by Raina and Chhajed  was motivated by the following special case of the function defined by (1.5):
(, when ; when ).
where the function defined by
was studied by Goyal and Laddha [, 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.
the series definitions in (1.1) and (1.7) readily yield
which (as already remarked by Lin and Srivastava ) 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
where is the extended Hurwitz zeta function defined in . In fact, just as it is already pointed out in , the series representation (see [, 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 [, 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 :
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.
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:
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:
where the differential operators and are given by
Proof. We first rewrite the H-function occurring in the Mellin-Barnes type contour integral representation (1.11) as follows:
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:
we find that
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, ; see also [2, 12, 15]):
We know that the function defined by
satisfies the following differential equation of order (see, for example, [, Equation 5.4(1)]):
Hence, clearly, the function given by (2.7) satisfies the following differential equation:
where, as already stated in Theorem 1,
Now, if we write [see also Equation (2.4)]
then the equation (2.9) becomes
Applying the differential operator to the function given by (1.11) with
we find by using (2.10) that
where the first integral is actually the generalized Hurwitz-Lerch zeta function given by
The evaluation of the second integral given by
is more complicated. Since the residues of at the poles are computed by
the Residue Theorem implies that
Applying (2.2) in (2.15), we get
Now, upon substituting from (2.12) and (2.16) into (2.11), we obtain
which, after a little simplification, becomes
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
then we have the following corollary.
Corollary 1. The generalized Hurwitz-Lerch zeta function satisfies the following partial differential equation:
Furthermore; the function , considered as an analytic function of the variable b satisfies the following relation:
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
Indeed, upon setting
in (3.1), we get
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 :
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:
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
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 [, 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 :
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
by substituting from (3.10) into (3.9) and interchanging the order of summation and integration, we find that
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
In particular, if we set in these last two summation formulas (3.12) and (3.13), we get
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:
does not define a measure on the set of positive integers. In order to remedy this deficiency, Golomb  defined a probability on the sample space as follows:
where denotes the Riemann zeta function defined by (1.2) and the characteristic (or indicator) function is given by
Furthermore, Golomb  showed that, if the subset A of has an arithmetic density, then
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 , Lippert  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, [, Definition 1]
or, equivalently, by
where, in terms of the Hurwitz (or generalized) zeta function defined by (1.3),
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
or, equivalently, by
since it is easily seen from the definition (1.5) that
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
which implies that
Thus, clearly, can be continuously approximated by .
Proposition. The measure satisfies the following difference equation:
Proof. From the series representation (1.10) of (with and ), we have
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:
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
More generally; the generalized Hurwitz measure of an open set is given by
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
Proof. From (4.19), we have
By expanding the function by means of Taylor’s series and using the derivative formula (4.12), we get
We now consider each sum in (4.23) separately. We thus find that
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,
We thus obtain
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
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
Theorem 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
with the moment of order n given by
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
where we have also used the derivative property (4.12) and the following limit formula:
Consequently, we have the following reduction formula for :
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 [, Proposition 3].
|||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.|
|||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.|
|||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.|
|||S. P. Goyal and R. K. Laddha, On the generalized Zeta function and the generalized Lambert function, Ga˙nita Sandesh 11 (1997), 99-108.|
|||S. W. Golomb, A class of probability distributions on the integers, J. Number Theory 2 (1970), 189-192.|
|||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.|
|||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.|
|||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.|
|||R. A. Lippert, A probabilistic interpretation of the Hurwitz zeta function, Adv. Math. 97 (1993), 278-284.|
|||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).|
|||A. M. Mathai and R. K. Saxena, The H-Functions with Applications in Statistics and Other Disciplines, Wiley Eastern Limited, New Delhi, 1978.|
|||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.|
|||A. M. Mathai, R. K. Saxena and H. J. Haubold, The H-Function: Theory and Applications, Springer, New York, Dordrecht, Heidelberg and London, 2010.|
|||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.|
|||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.|
|||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.|
|||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.|
|||H. M. Srivastava, Some formulas for the Bernoulli and Euler polynomials at rational arguments, Math. Proc. Cambridge Philos. Soc. 129 (2000), 77-84.|
|||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.|
|||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.|
|||H. M. Srivastava and J. Choi, Series Associated with the Zeta and Related Functions, Kluwer Academic Publishers, Dordrecht, Boston and London, 2001.|
|||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.|
|||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.|
|||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.|