- Research
- Open access
- Published:
Some relations involving generalized Hurwitz-Lerch zeta function obtained by means of fractional derivatives with applications to Apostol-type polynomials
Advances in Difference Equations volume 2013, Article number: 361 (2013)
Abstract
In this paper, we present three new expansion formulas for the generalized Hurwitz-Lerch zeta function. These expansions are obtained by using Taylor-like expansions involving fractional derivatives. Finally, interesting special cases involving the Apostol-Bernoulli polynomials and the Apostol-Euler polynomials are also given.
MSC:26A33, 11M35, 33C05, 11B68.
1 Introduction
It is well known that the generalized Hurwitz-Lerch zeta function as well as its extended version have many applications in various areas of mathematics and physics. In number theory, the Riemann and Hurwitz zeta functions are closely related to Dedekind zeta functions and Artin L-functions, which play a central role in the discipline. In addition, the generalized Hurwitz-Lerch zeta functions, evaluated at negative integers, are closely related to the Apostol-Bernoulli polynomials, the Apostol-Euler polynomials and the Frobenius-Euler polynomials [1–3]. These functions are also connected to the generalized Fermi-Dirac functions and the generalized Bose-Einstein functions [1]. The generalized Fermi-Dirac and Bose-Einstein functions, which appear in quantum statistics, quantum interference and in the theory of quantum entanglement, have been introduced recently by Srivastava et al. [4]. Moreover, the generalized Hurwitz-Lerch zeta functions have interesting applications in geometric function theory [5]; and finally, Gupta et al. [6] investigated the generalized Hurwitz-Lerch zeta distribution and applied this new distribution to reliability.
The generalized Hurwitz zeta function is defined by [[7], p.88 et seq.]
where
yields the celebrated Riemann zeta function . The Riemann zeta function is continued meromorphically to the whole complex s-plane except for a simple pole at with residue 1.
The Hurwitz-Lerch zeta function is defined, as in [[7], p.121 et seq.], by
Clearly, we have the following relations:
The Hurwitz-Lerch zeta function has the well-known integral representation
Recently, Lin and Srivastava [8] investigated a more general family of Hurwitz-Lerch zeta functions. Explicitly, they introduced the function defined by
where denotes the Pochhammer symbol defined, in terms of the gamma function, by
It is easily seen that
and
The function is, in fact, a generalized Hurwith-Lerch zeta function investigated by Goyal and Laddha [[9], p.100, equation (1.5)]. Another family of generalized Hurwitz-Lerch zeta functions is the one studied by Garg et al. [10], that is, defined as follows:
Obviously, we see that
This family of Hurwitz-Lerch zeta functions will play an important role in the sequel.
The aim of this paper is to make use of three Taylor-like expansions involving fractional derivatives to obtain some relations for the generalized Hurwitz-Lerch zeta function . One of these Taylor-like expansions has been obtained by Osler [11] and the two others, more recently, by Tremblay et al. [12, 13]. Finally, interesting special cases of these new relations involving the Apostol-Bernoulli polynomials and the Apostol-Euler polynomials are obtained.
2 Pochhammer contour integral representation for fractional derivative and a new generalized Leibniz rule
The use of contour of integration in the complex plane provides a very powerful tool in both classical and fractional calculus. The most familiar representation for fractional derivative of order α of is the Riemann-Liouville integral [14–16] that is
which is valid for , and where the integration is done along a straight line from 0 to z in the ξ-plane. By integrating by part m times, we obtain
This allows to modify the restriction to [16]. Another used representation for the fractional derivative is the one based on the Cauchy integral formula widely used by Osler [17–20]. These two representations have been used in many interesting research papers. It appears that the less restrictive representation of fractional derivative according to parameters is Pochhammer’s contour definition introduced in [21, 22].
Definition 2.1 Let be analytic in a simply connected region ℛ. Let be regular and univalent on ℛ, and let be an interior point of ℛ, then if α is not a negative integer, p is not an integer, and z is in , we define the fractional derivative of order α of with respect to by
For non-integers α and p, the functions and in the integrand have two branch lines which begin respectively at and , and both pass through the point without crossing the Pochhammer contour at any other point as shown in Figure 1. denotes the principal value of the integrand in (2.3) at the beginning and ending point of the Pochhammer contour which is closed on the Riemann surface of the multiple-valued function .
Remark 2.2 In Definition 2.1, the function must be analytic at . However, it is interesting to note here that we could also allow to have an essential singularity at , and equation (2.3) would still be valid.
Remark 2.3 The Pochhammer contour never crosses the singularities at and in (2.3), then we know that the integral is analytic for all p and for all α and for z in . Indeed, the only possible singularities of are and which can directly be identified from the coefficient of the integral (2.3). However, integrating by parts N times the integral in (2.3) by two different ways, we can show that and are removable singularities (see [21]).
It is well known that [[23], p.83, equation (2.4)]
but adopting the Pochhammer-based representation for the fractional derivative, this last restriction becomes p not a negative integer. In view of Definition 1.6, the fractional derivative formula for the generalized Hurwitz-Lerch zeta function with [[8], p.730, equation (24)] is
with not a negative integer.
A very interesting special case is obtained when setting , equation (2.5) reduces to the following form:
with μ not a negative integer.
As remarked by Lin and Srivastava [8], the function is essentially a fractional derivative of the classical Hurwitz-Lerch function . Many other interesting explicit representations for have been proven by Lin and Srivastava [8].
3 Fractional calculus theorems
In this section, we recall three important theorems related to fractional calculus that will play central roles in this work. These theorems are Taylor-like expansions in terms of different types of functions. First of all, we state the theorem obtained in 1971 by Osler [11].
Theorem 3.1 Let be an analytic function in a simply connected region ℛ. Let α, γ be arbitrary complex numbers and with be a regular and univalent function without zero in ℛ. Let a be a positive real number and . Let b, be two points in ℛ such that , and let , then the following relationship
holds true for .
In particular, if and , then and the formula (3.1) reduces to
This last formula is usually called the Taylor-Riemann formula, and it has been studied in several papers [19, 24–27].
Recently, Tremblay et al. [13] obtained the power series of an analytic function in terms of the rational expression , where and are two arbitrary points inside the region of analyticity ℛ of . In particular, they proved the next theorem.
Theorem 3.2 (i) Let c be real and positive, and let . (ii) Let be analytic in the simply connected region ℛ with and being interior points of ℛ. (iii) Let the set of curves , , defined by
where
which are lemniscates of Bernoulli type with center located at and with double-loops (as seen in Figure 2); one loop leads around the focus point and the other loop encircles the focus point , for each t such that . (iv) Let denote the principal branch of that function which is continuous and inside , cut by the respective two branch lines defined by
such that is real where . (v) Let satisfy the conditions of Definition 2.1 for the existence of the fractional derivative of of order α for , noticed by , where α and p are real or complex numbers. (vi) Let K = { and < < }. Then, for arbitrary complex numbers μ, ν, γ and for z on defined by , , we have
where .
The case reduces to
Finally, in 2007, Tremblay and Fugère [12] obtained the power series of an analytic function in terms of an arbitrary function , where and are two arbitrary points inside the analyticity region ℛ of . Explicitly, they found the following relationship.
Theorem 3.3 Assuming the assumptions of Theorem 3.2, the following expansion
where
holds true.
As a special case, if we set , () and in (3.8), we obtain
4 Main expansions involving the generalized Hurwitz-Lerch zeta function
In this section, we present and prove three different expansion formulas involving the generalized Hurwitz-Lerch zeta functions obtained from Theorem 3.1 to Theorem 3.3. Also, the conditions of existence are explicitly given for each expansion.
Theorem 4.1 Assuming the assumptions of Theorem 3.1, the following expansion holds true for the generalized Hurwitz-Lerch zeta function :
for z such that , and .
Proof Setting in Theorem 3.1 with , and , we have
for and z such that .
Using relation (2.4), we find
Combining (4.2) and (4.3) yields (4.1). With the help of (1.6), we see that equation (4.1) holds true if it satisfies the conditions of Theorem 3.1 as well as the following conditions: , , , , . Moreover, the condition is now unnecessary because of the presence of the term . □
Theorem 4.2 Assuming the hypotheses of Theorem 3.2, the following expansion holds true for the generalized Hurwitz-Lerch zeta function :
for z on (defined by , ), , and .
Proof Taking in Theorem 3.2 with , and gives
With the help of relations (2.4) and (1.10), we have
Combining (4.5) and (4.6) gives (4.4). Using (1.6) and (1.10), we find that equation (4.4) holds true if it satisfies the conditions of Theorem 3.2 as well as the following conditions: , , , , . Moreover, the condition is now unnecessary because of the presence of the term , but we must add the condition because of the presence of the term . □
Theorem 4.3 Assuming the hypotheses of Theorem 3.3, the following expansion holds true for the generalized Hurwitz-Lerch zeta function :
for z on (defined by , ), , and .
Proof Putting in Theorem 3.3 with , , and yields
With the help of relations (2.4) and (1.10), we have
Combining (4.8) and (4.9) gives (4.7). Using (1.6) and (1.10), we find that equation (4.7) holds true if it satisfies the conditions of Theorem 3.3 as well as the following conditions: , , , , . Moreover, the conditions and are now unnecessary because of the presence of the terms and , but we must add the condition because of the presence of the term . □
5 Special cases
This section is devoted to special cases of Theorem 4.1 to Theorem 4.3. We first recall definitions of Apostol-Bernoulli and Apostol-Euler polynomials and their connections to the generalized Hurwitz-Lerch zeta function . Next, we give some expansion formulas involving these polynomials.
Definition 5.1 The generalized Apostol-Bernoulli polynomials are defined, for , by the following generating function [28, 29]:
Definition 5.2 The generalized Apostol-Euler polynomials are defined, for λ, α and , by the following generating function [30]:
Recently, Bayad and Chikhi [1] established the following relationship between the Apostol-Euler polynomials and the generalized Hurwitz-Lerch zeta function .
Theorem 5.3 Let λ be a complex number such that and . Let μ and z be two complex numbers such that and , then for all non-negative integers n, we have
From the generating function of Apostol-Euler polynomials (5.2), we can find, after simple calculations, the following relationship between the Apostol-Euler polynomials and the Apostol-Bernoulli polynomials:
Thus, combining (5.4) and Theorem 5.3, we obtain the next connection between the Apostol-Bernoulli polynomials and the generalized Hurwitz-Lerch zeta function
Now let us shift our focus to some special cases of Theorems 4.1, 4.2 and Theorem 4.3 given in the forms of corollaries.
Corollary 5.4 Assuming the assumptions of Theorem 4.1, the following expansion holds true for the Apostol-Bernoulli polynomials :
for z such that , and .
Proof Making the substitutions (), (), (), () in Theorem 4.1 and with the use of (5.5), the result follows. □
Corollary 5.5 Assuming the assumptions of Theorem 4.2, the following expansion holds true for the Apostol-Bernoulli polynomials :
for λ on (defined by , ), , and .
Proof Setting (), (), (), () in Theorem 4.2 and using (5.5), the result follows. □
Corollary 5.6 Assuming the assumptions of Theorem 4.3, the following expansion holds true for the Apostol-Euler polynomials :
for −λ on (defined by , ), , and .
Proof Replacing z by −λ (), s by −n (), () in Theorem 4.3 and appealing to (5.3) gives the result. □
References
Bayad A, Chikhi J: Reduction and duality of the generalized Hurwitz-Lerch zetas. Fixed Point Theory Appl. 2013., 2013: Article ID 82
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(11):803-815. 10.1080/10652460600926907
Srivastava HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math. Proc. Camb. Philos. Soc. 2000, 129: 77-84. 10.1017/S0305004100004412
Srivastava HM, Chaudhry MA, Qadir A, Tassaddiq A: Some extensions of the Fermi-Dirac and Bose-Einstein functions with applications to the family of the zeta and related functions. Russ. J. Math. Phys. 2011, 18(1):107-121. 10.1134/S1061920811010110
Raducanu 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/10652460701542074
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.012
Srivastava HM, Choi J: Series Associated with Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.
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-X
Goyal SP, Laddha RK: On the generalized Riemann zeta function and the generalized Lambert transform. Ganita Sandesh 1997, 11: 99-108.
Garg M, Jain K, Kalla SL: A further study of general Hurwitz-Lerch zeta function. Algebras Groups Geom. 2008, 25: 311-319.
Osler TJ: Taylor’s series generalized for fractional derivatives and applications. SIAM J. Math. Anal. 1971, 2: 37-48. 10.1137/0502004
Tremblay R, Fugère BJ: The use of fractional derivatives to expand analytical functions in terms of quadratic functions with applications to special functions. Appl. Math. Comput. 2007, 187: 507-529. 10.1016/j.amc.2006.09.076
Tremblay R, Gaboury S, Fugère B-J: Taylor-like expansion in terms of a rational function obtained by means of fractional derivatives. Integral Transforms Spec. Funct. 2013, 24(1):50-64. 10.1080/10652469.2012.665910
Erdelyi A: An integral equation involving Legendre polynomials. SIAM J. Appl. Math. 1964, 12: 15-30. 10.1137/0112002
Liouville J: Mémoire sur le calcul des différentielles à indices quelconques. J. Éc. Polytech. 1832, 13: 71-162.
Riesz M: L’intégrale de Riemann-Liouville et le problème de Cauchy. Acta Math. 1949, 81: 1-233. 10.1007/BF02395016
Osler TJ: Fractional derivatives of a composite function. SIAM J. Math. Anal. 1970, 1: 288-293. 10.1137/0501026
Osler TJ: Leibniz rule for the fractional derivatives and an application to infinite series. SIAM J. Appl. Math. 1970, 18: 658-674. 10.1137/0118059
Osler, TJ: Leibniz rule, the chain rule and Taylor’s theorem for fractional derivatives. PhD thesis, New York University (1970)
Osler TJ: Fractional derivatives Leibniz rule. Am. Math. Mon. 1971, 78: 645-649. 10.2307/2316573
Lavoie J-L, Osler TJ, Tremblay R: Fundamental properties of fractional derivatives via Pochhammer integrals. Lecture Notes in Mathematics. In Fractional Calculus and Its Applications. Springer, Berlin; 1976.
Tremblay, R: Une contribution à la théorie de la dérivée fractionnaire. PhD thesis, Laval University, Canada (1974)
Miller KS, Ross B: An Introduction of the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.
Hardy GH: Riemann’s forms of Taylor’s series. J. Lond. Math. Soc. 1945, 20: 48-57.
Heaviside O 2. In Electromagnetic Theory. Dover, New York; 1950.
Riemann B: Versuch einer allgemeinen auffassung der integration und differentiation. Dover, New York; 1953. The Collection Works of Bernhard Riemann
Watanabe Y: Zum riemannschen binomischen lehrsatz. Proc. Phys. Math. Soc. Jpn. 1932, 14: 22-35.
Luo Q-M, Srivastava HM: Some generalizations of the Apostol-Bernoulli and Apostol-Euler polynomials. J. Math. Anal. Appl. 2005, 308(1):290-302. 10.1016/j.jmaa.2005.01.020
Srivastava HM, Kurt B, Simsek Y: Some families of Genocchi type polynomials and their interpolation functions. Integral Transforms Spec. Funct. 2012, 23(12):939-940. 10.1080/10652469.2012.690950
Luo Q-M: Apostol-Euler polynomials of higher order and Gaussian hypergeometric functions. Taiwan. J. Math. 2006, 10(4):917-925.
Acknowledgements
The author wishes to thank referees for valuable suggestions and comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Gaboury, S. Some relations involving generalized Hurwitz-Lerch zeta function obtained by means of fractional derivatives with applications to Apostol-type polynomials. Adv Differ Equ 2013, 361 (2013). https://doi.org/10.1186/1687-1847-2013-361
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-361