- Open Access
Expansion formulas for an extended Hurwitz-Lerch zeta function obtained via fractional calculus
Advances in Difference Equations volume 2014, Article number: 169 (2014)
Motivated by the recent investigations of several authors, in this paper, we derive several new expansion formulas involving a generalized Hurwitz-Lerch zeta function introduced and studied recently by Srivastava et al. (Integral Transforms Spec. Funct. 22:487-506, 2011). These expansions are obtained by using some fractional calculus theorems such as the generalized Leibniz rules for the fractional derivatives and the Taylor-like expansions in terms of different functions. Several (known or new) special cases are also considered.
MSC:11M25, 11M35, 26A33, 33C05, 33C60.
The Hurwitz-Lerch zeta function contains, as its special cases, the Riemann zeta function , the Hurwitz zeta function , and the Lerch zeta function defined by
The Hurwitz-Lerch zeta function defined in (1.5) can be continued meromorphically to the whole complex s-plane, except for a simple pole at with its residue 1. It is well known that
It is worth noting that the Hurwitz-Lerch zeta function defined in (1.5) is also related to several families of special polynomials such as the Bernoulli, the Euler, and the Genocchi polynomials [3–5].
Here, and for the remainder of this paper, denotes the Pochhammer symbol defined, in terms of the gamma function, by
it being understood conventionally that and assumed tacitly that the Γ-quotient exists (see, for details, [, p.21 et seq.]).
Clearly, we find from the definition (1.6) that
Several integral representations, relationships with the -function, fractional derivatives, and analytic continuation formulas were established for the function defined in (1.11).
It is worth noting the following special or limit cases of the function .
For , we find that(1.12)
in terms of the generalized Hurwitz-Lerch zeta function defined in (1.6).
Setting and , (1.11) reduces to the function investigated by Goyal and Laddha  as below:(1.14)
In (1.11), we put and . Then, by the familiar principle of confluence, the limit case when , would yield the Mittag-Leffler type function studied by Barnes , namely(1.15)
A limit case of the generalized Hurwitz-Lerch function , which is of interest in our present investigation, is given by(1.16)
Another limit case of the generalized Hurwitz-Lerch function is given by(1.17)
which, for , reduces at once to the function defined by (1.9).
It is fairly straightforward to see that if we let in (1.18), then we obtain the generalized Hurwitz-Lerch zeta function .
The aim of this paper is to extend several interesting results obtained recently by Gaboury and Bayad  and by Gaboury  to the Hurwitz-Lerch zeta function introduced and studied by Srivastava et al. . This paper is organized as follows. Section 2 is devoted to the representation of the fractional derivatives based on Pochhammer’s contour of integration. In Section 3, we recall some major fractional calculus theorems, that is, two generalized Leibniz rules and three Taylor-like expansions. Section 4 is dedicated to the proofs of the main results and, finally, Section 5 aims to provide some (new or known) special cases.
2 Pochhammer contour integral representation for fractional derivative
The fractional derivative of arbitrary order α, , is an extension of the familiar n th derivative of the function with respect to to non-integral values of n and denoted by . The aim of this concept is to generalize classical results of the n th order derivative to fractional order. Most of the properties of the classical calculus have been expanded to fractional calculus. For instance, the composition rule, the Leibniz rule, the chain rule and the Taylor and Laurent series. Fractional calculus provides tools that make easier to deal with special functions of mathematical physics. Many examples of the use of fractional derivatives appear in the literature: ordinary and partial differential equations, integral equations, integro-differential equations of non-integer order. Many other applications have been investigated through various field of science and engineering. For more details on fractional calculus, the reader could read [18–21].
where the integration is carried out along a straight line from 0 to z in the complex ξ-plane. By integrating by part m times, we obtain
This allows us to modify the restriction to (see ).
Another representation for the fractional derivative is based on the Cauchy integral formula. This representation, too, has been widely used in many interesting papers (see, for example, the work of Osler [25–28]).
Definition 1 Let be analytic in a simply connected region ℛ of the complex z-plane. 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 branches pass through the point without crossing the Pochhammer contour at any other point as shown in Figure 1. Here denotes the principal value of the integrand in (2.3) at the beginning and the ending point of the Pochhammer contour which is closed on the Riemann surface of the multiple-valued function .
Remark 1 In Definition 1, the function must be analytic at . However, it is interesting to note here that, if we could also allow to have an essential singularity at , then (2.3) would still be valid.
Remark 2 In case 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, in this case, the only possible singularities of are and , which can directly be identified from the coefficient of the integral (2.3). However, by integrating by parts N times the integral in (2.3) by two different ways, we can show that and are removable singularities (see, for details, ).
Adopting the Pochhammer-based representation for the fractional derivative modifies the restriction to the case when p not a negative integer.
These last restrictions become not a negative integer and by making use of the Pochhammer-based representation for the fractional derivative.
The fractional derivative formula (2.5) can be specialized to deduce other results. As example, upon setting in (2.5), we obtain
Another fractional derivative formula that will be very useful in the present investigation is given by the next formula:
where the Hurwitz-Lerch zeta function occurring in (2.7) is a specialized case of the multiparameters extension of the generalized Hurwitz-Lerch zeta function defined in (1.18).
3 Important results involving fractional calculus
In this section, we recall five very important theorems related to fractional calculus that will play central roles in our work. Each of these theorems is the generalized Leibniz rules for fractional derivatives and the Taylor-like expansions in terms of different types of functions.
First of all, we give two generalized Leibniz rules for fractional derivatives. Theorem 1 is a slightly modified theorem obtained in 1970 by Osler . Theorem 2 was given, some years ago, by Tremblay et al.  with the help of the properties of Pochhammer’s contour representation for fractional derivatives.
Theorem 1 (i) Let ℛ be a simply connected region containing the origin. (ii) Let and satisfy the conditions of Definition 1 for the existence of the fractional derivative. Then, for and , the following Leibniz rule holds true:
Theorem 2 (i) Let ℛ be a simply connected region containing the origin. (ii) Let and satisfy the conditions of Definition 1 for the existence of the fractional derivative. (iii) Let be the region of analyticity of the function and be the region of analyticity of the function . Then, for
the following product rule holds true:
Next, in the year 1971, Osler  obtained the following generalized Taylor-like series expansion involving fractional derivatives.
Theorem 3 Let be an analytic function in a simply connected region ℛ. Let α and γ be arbitrary complex numbers and
with a regular and univalent function without any zero in ℛ. Let a be a positive real number and
Let b and be two points in ℛ such that and let
Then the following relationship holds true:
In particular, if and , then and (3.3) reduces to the following form:
We next recall that Tremblay et al.  discovered 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 obtained the following result.
Theorem 4 (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
be defined by
which are the Bernoulli type lemniscates (see Figure 2) with center located at and with double-loops in which 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 when . (v) Let satisfy the conditions of Definition 1 for the existence of the fractional derivative of of order α for , denoted by , where α and p are real or complex numbers. (vi) Let
Then, for arbitrary complex numbers μ, ν, γ, and for z on defined by
The case of Theorem 4 reduces to the following form:
Tremblay and Fugère  developed the power series of an analytic function in terms of the function , where and are two arbitrary points inside the analyticity region ℛ of . Explicitly, they gave the following theorem.
Theorem 5 Under the assumptions of Theorem 4, the following expansion formula holds true:
As a special case, if we set , (), and in (3.11), we obtain
4 A set of main results for the generalized Hurwitz-Lerch zeta function
In this section, we present the new expansion formulas involving the generalized Hurwitz-Lerch zeta functions .
Theorem 6 Under the assumptions of Theorem 1, the following expansion holds true:
provided that both members of (4.1) exist.
Proof Setting and in Theorem 1 with and , we obtain
which, with the help of (2.4) and (2.5), yields
Combining (4.3), (4.4), (4.5) with (4.2) and making some elementary simplifications, the asserted result (4.1) follows. □
Theorem 7 Under the hypotheses of Theorem 2, the following expansion formula holds true:
provided that both members of (4.6) exist.
Proof Upon first substituting and in Theorem 2 and then setting
in which both and satisfy the conditions of Theorem 2, we have
Now, by using (2.4) and (2.5), we find that
Thus, finally, the result (4.6) follows by combining (4.8), (4.9), (4.10), and (4.7). □
We now shift our focus on the different Taylor-like expansions in terms of different types of functions involving the generalized Hurwitz-Lerch zeta functions .
Theorem 8 Under the assumptions of Theorem 3, the following expansion formula holds true:
provided that both members of (4.11) exist.
Proof Setting in Theorem 3 with , , and , we have
for and for z such that .
Now, by making use of (2.7) with and , we find that
By combining (4.12) and (4.13), we get the result (4.11) asserted by Theorem 8. □
Theorem 9 Under the hypotheses of Theorem 4, the following expansion formula holds true:
for and for z on defined by
provided that both sides of (4.14) exist.
Proof By taking in Theorem 4 with , , , and , we find that
Now, with the help of the relation (2.7) with and , we have
Thus, by combining (4.15) and (4.16), we are led to the assertion (4.14) of Theorem 9. □
Theorem 10 Under the hypotheses of Theorem 5, the following expansion formula holds true:
for and for z on defined by
provided that both sides of (4.17) exist.
Proof Putting in Theorem 5 with , , , and , we find that
With the help of relation (2.7), we have
Thus, by combining (4.18) and (4.19), we obtain the desired result (4.17). □
5 Corollaries and consequences
This section is devoted to the presentation of some special cases of the main results. These special cases and consequences are given in the form of the following corollaries.
Setting in Theorem 6 with , dividing by and taking the limit when , we deduce the following expansion formula.
Corollary 1 Under the hypotheses of Theorem 6, the following expansion holds true:
provided that both members of (5.1) exist.
Letting in Theorem 7 leads to the following expansion formula.
Corollary 2 Under the assumptions of Theorem 7, the following expansion formula holds true:
provided that both members of (5.2) exist.
Corollary 3 Under the hypotheses of Theorem 9, the following expansion formula holds true:
for z on defined by
provided that both sides of (5.3) exist.
Setting in Theorem 10, we obtain the following corollary.
Corollary 4 Under the hypotheses of Theorem 10, the following expansion holds true:
for and for z on defined by
provided that both sides of (5.5) exist.
In our series of forthcoming papers, we propose to consider and investigate analogous expansion formulas and other results involving the more general multi-parameter family of the Hurwitz-Lerch zeta function (1.18) and also their λ-extensions considered recently by Srivastava et al.  and Srivastava .
Srivastava HM, Choi J: Series Associated with Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.
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, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.
Ozden H, Cangul IN, Simsek Y: Hurwitz type multiple Genocchi zeta function. AIP Conf. Proc. 2009, 1148: 781–784.
Srivastava HM, Kurt B, Simsek Y: Some families of Genocchi type polynomials and their interpolation functions. Integral Transforms Spec. Funct. 2012, 23: 919–938. 10.1080/10652469.2011.643627
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
Srivastava HM, Manocha HL: A Treatise on Generating Functions. Halsted, New York; 1984.
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.
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.530128
Srivastava HM: Some generalizations and basic (or q -) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 2011, 5: 390–444.
Srivastava HM: Generating relations and other results associated with some families of the extended Hurwitz-Lerch zeta functions. SpringerPlus 2013., 2: Article ID 67
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.035
Jankov D, Pogány TK, Saxena RK:An extended general Hurwitz-Lerch zeta function as a Mathieu -series. Appl. Math. Lett. 2011, 24: 1473–1476. 10.1016/j.aml.2011.03.040
Barnes EW: The asymptotic expansion of integral functions defined by Taylor series. Philos. Trans. R. Soc. Lond. Ser. A 1906, 206: 249–297. 10.1098/rsta.1906.0019
Gaboury, S, Bayad, A: Further expansion formulas for a class of generalized Hurwitz-Lerch zeta functions obtained by means of a new Leibniz rule for fractional derivatives. Preprint (2013)
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., 2013: Article ID 361
Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Boston; 2012.
Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematical Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Miller KS, Ross B: An Introduction of the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.
Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York; 1993.
Erdélyi 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–222. 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 and 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 457. In Fractional Calculus and Its Applications. Edited by: Ross B. Springer, Berlin; 1975:323–356. Proceedings of the International Conference (University of New Haven; June 15–16, 1974)
Tremblay, R: Une Contribution à la Théorie de la Dérivée Fractionnaire. PhD thesis, Laval University, Québec (1974)
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/10652460600926907
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/10652460600926923
Tremblay R, Gaboury S, Fugère B-J: A new Leibniz rule and its integral analogue for fractional derivatives. Integral Transforms Spec. Funct. 2013, 24: 111–128. 10.1080/10652469.2012.668904
Osler TJ: Taylor’s series generalized for fractional derivatives and applications. SIAM J. Math. Anal. 1971, 2: 37–48. 10.1137/0502004
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 The Collected Works of Bernhard Riemann. In Versuch einer allgemeinen Auffasung der Integration und Differentiation. Dover, New York; 1953.
Watanabe Y: Zum Riemanschen binomischen Lehrsatz. Proc. Phys. Math. Soc. Jpn. 1932, 14: 22–35.
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: 50–64. 10.1080/10652469.2012.665910
Tremblay R, Fugère B-J: 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
Srivastava HM, Luo M-J, Raina RK: New results involving a class of generalized Hurwitz-Lerch zeta functions and their applications. Turk. J. Anal. Number Theory 2013, 1: 26–35.
Srivastava HM: A new family of the λ -generalized Hurwitz-Lerch zeta functions with applications. Appl. Math. Inf. Sci. 2014, 8: 1485–1500. 10.12785/amis/080402
The authors wish to thank referees for valuable suggestions and comments.
The authors declare that they have no competing interests.
All authors completed the paper together. All authors read and approved the final manuscript.
About this article
- fractional derivatives
- generalized Taylor expansion
- generalized Hurwitz-Lerch zeta functions
- Riemann zeta function
- Leibniz rules