Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

A note on a generalized double series

Abstract

By employing contour integration the derivation of a generalized double finite series involving the Hurwitz-Lerch zeta function is used to derive closed form formulae in terms of special functions. We use this procedure to find special cases of the summation and product formulae in terms of the Hurwitz-Lerch zeta function, trigonometric functions and the gamma function. A short table of quotient gamma functions and plots are produced for easy reading by interested readers.

Theoretical background and applications

The double series expression in this work is connected to several areas of mathematics, particularly special functions, complex analysis, and analytic number theory. The main component of the double series is the Hurwitz-Lerch function, . This special function is widely used in analytic number theory [DLMF, 25.16] and mathematical physics, generalizing the Riemann [DLMF, 25.11.2] and Hurwitz zeta functions [DLMF, 25.14.2], and the polylogarithm, [DLMF, 25.17]. The series also contains terms like which has ties to the theory of exponential sums [13]. These sums are used in analytic number theory for studying the distribution of various sequences, including prime numbers [DLMF, 25.16]. The structure of the summation, particularly the alternating signs and the nested form, involves a series resummation and a known identity featuring special functions. Sometimes, these types of expressions can be derived from integral representations or generating functions. While the expression is purely mathematical, functions like the Hurwitz-Lerch function and complex exponential sums find applications in theoretical physics, including quantum field theory, statistical mechanics, and condensed matter physics [DLMF, 25.17].

The double series in this work is not a double Fourier series. see chapter XVII in [4], but shares some slight similarities while being different. Its components, such as the complex exponentials and double summation, come from similar mathematical backgrounds but are organized to study number-theoretic functions rather than to represent a two-dimensional periodic function. The summand terms in Eq (13) involves the Hurwitz-Lerch zeta function, which itself is an infinite series, while the summand in a double Fourier series uses elementary basis functions involving products of sines and cosines, or complex exponentials namely . In Eq (13), the indices p and j run over a finite, specific range, defined by the parameters n and z, while in a double Fourier series the indices are over the real line or the positive half real line. A double Fourier series is a periodic function of two variables decomposed into its fundamental and frequency components. The terms in Eq (13) are not necessarily orthogonal, but the basis functions in a double Fourier series are over the domain of the function. The double Fourier series can be thought of as a useful tool for breaking down periodic functions. A double summation and complex exponentials are used in Eq (13), which is a specialized and non-periodic expression.

In the work by Qureshi et al. [5], the authors derive identities for double-series using hypergeometric functions, which can then be used to derive transformation formulas between different types of hypergeometric functions. In the work by Dinesh et al. [6], the authors evaluated finite double summation relations for the multivariable A-function using the summation of a double hypergeometric series. In the work by Andrews et al. [7], the authors proved new double summation hypergeometric q-series representations for several families of partitions, including those that appear in the famous product identities of Göllnitz, Gordon, and Schur. Several different proofs for their results, using bijective partitions mappings and modular diagrams, the theory of q-difference equations and recurrences, and the theories of summation and transformation for q -series were given. General family of similar double series and a number of other interesting special cases were highlighted.

Introduction

Generalized double series and their extensions to multiple series are important tools in contemporary applied analysis, appearing in the solution of partial differential equations, special functions of several variables, lattice sums, asymptotic expansions, and modern spectral methods for fractional-order problems. Recent work has been conducted in classical theory of convergence and smoothness for double Fourier series and in the development of efficient computational frameworks that produce rapidly convergent double or multiple series representations for complex multidimensional problems. Some notable works are by [813], Research in the applied analysis are listed in the works by; Khalil et al. [14], where the authors “studied shifted Jacobi polynomials in the case of two variables and develop some new operational matrices of fractional-order integrations as well as fractional-order differentiations”, in the work by Tailb et al. [15], the authors proposed the numerically stable operational matrices to approximate the Caputo fractional-order derivatives by introducing an algorithm. In the work by Khalil et al. [16], the authors extended the operational matrices technique to design a spectral solution of nonlinear fractional differential equations (FDEs). The work by Khalil et al. [17], was to find the approximate solution of a general FPDEs subject to nonlocal integral type boundary conditions on both ends of the domain. The work by Nazir et al. [18], was to present an analytical solution for measles spread model with three doses of vaccination using Caputo–Fabrizio fractional derivative (CFFD). The work by Abuteen et al. [19] proposes an analytical-numerical approach for providing solutions of a class of nonlinear fractional Klein-Gordon equation subjected to appropriate initial conditions in Caputo sense by using the Fractional Reduced Differential Transform Method (FRDTM). The work by Qiu et al. [20], systematically investigates the optimal harvesting of a stochastic delay competitive Lotka–Volterra model with Lévy jumps. The work by Tadoummant et al. [21], was to investigate the solution of fractional-order partial differential equations and their coupled systems. In the work by Khalil et al. [22], extended the operational matrix method for approximating the solution of the fractional-order two-dimensional elliptic partial differential equations (FPDEs) under nonlocal boundary conditions. The work by Hammad et al. [23], was to investigate the atomic solution of a special type of fractional partial differential equations. The combination of convergence theory for classical double series with new series-based numerical schemes, studied by current researchers expands the range of problems in heat transfer, electrostatics, epidemiology, and fractional calculus that can be treated analytically and numerically with high precision. Finite sums of special functions are recorded in chapter 5 in [24]. Eqs (5.3.10.1) and (5.3.10.2) in [25] yield finite summations of the Hurwitz-zeta function in terms of the Hurwitz-zeta function. In [26] an infinite sum involving the Hurwitz-Lerch zeta function was studied. The underlying formula transformed by contour integration is the infinite series involving the tangent function whose angle is a multiple of 2 raised to an integer power. The work done in [26] was centred around evaluating an infinite sum in terms of special functions, while in the current paper the author studies double finite series of special functions. The work by Kaluszka et al. [27], presents stochastic analogs of classical formulas for the gamma function, representing some random variables as finite or infinite products of independent random variables. The work by Krysicki, [28], explores the properties of the beta prime distribution in the context of random variable decomposition. The paper’s main focus is to show how a random variable with a beta prime distribution can be expressed as a finite or infinite product of independent random variables.

In the current paper, the underlying function transformed by contour integration has a more generalized angle form which allows for more interesting evaluations in terms of trigonometric and special functions. The reason behind this research, is to expand on literature involving the finite double sum and the product of special functions, such as the gamma function. The new results found in this work, lies in the derivation and evaluation involving the double finite product of quotient gamma functions which is not present in current literature to the best of my knowledge. We use a contour integral method and apply it to a generalized double finite summation formula involving the secant function to study the resulting double finite summation of the Hurwitz-Lerch zeta function. Since the Hurwitz-Lerch zeta function is a special function it has several composite functions which can yield new results by algebraic means. Some of these composite functions are the gamma function and other trigonometric functions. The objectives pursued in this work were the derivation of a double finite sum involving the Hurwitz-Lerch zeta function, along with double finite products involving the gamma function and a few functional identities for the Hurwitz-Lerch zeta function. In this work we apply the contour integral method [29], to the the generalized form of the finite secant sum on page 90 in [30] to derive a generalized form involving the finite sum of the secant function, resulting in

(1)

where . Using Eq (1) the main Theorem to be derived and evaluated is given by

(2)

where the variables k,a,m are general complex numbers and n,z are positive integers. The derivations follow the method used by us in [29]. This method involves using a form of the generalized Cauchy’s integral formula given by

(3)

where and C is in general an open contour in the complex plane where the bilinear concomitant [29] is equal to zero at the end points of the contour. This method involves using a form of Eq (3) then multiplies both sides by a function, then takes the double finite sum of both sides. This yields a double finite sum in terms of a contour integral. Then we multiply both sides of Eq (3) by another function and take the infinite sum of both sides such that the contour integral of both equations are the same.

The Hurwitz-Lerch zeta function

We use Eq (1.11.3) in [31] where is the Hurwitz-Lerch zeta function which is a generalization of the Hurwitz zeta and Polylogarithm functions Lin(z). In number theory and complex analysis, the Hurwitz-Lerch zeta function is a mathematical function that appears in many branches of mathematics and physics. It is named after Czech mathematician Mathias Lerch, who published a paper about the function in 1887. Numerous areas of mathematics, including number theory (especially in the investigation of the Riemann zeta function and its generalizations), complex analysis, and theoretical physics, all have uses for it. It can be used to express a variety of complex functions and series and is involved in numerous mathematical identities. The Hurwitz-Lerch zeta function has a series representation given by

(4)

where and is continued analytically by its integral representation given by

(5)

where Re(v) > 0, and either , or .

1 Contour integral representation for the finite sum of the Hurwitz-Lerch zeta functions

In this section we derive the contour integral representations of the left-hand side and right-hand side of Eq (1) in terms of the Hurwtiz-Lerch zeta and trigonometric functions. A contour integral representation is a technique in complex analysis that expresses a function as an integral of another function along a specific path or contour in the complex plane. This approach provides a useful tool for extending a function’s domain of definition, proving identities, and evaluating sums.

1.1 Derivation of the generalized Hurwitz-Lerch zeta contour integral for the secant function

We use the method in [29]. Using Eq (3) we first replace y by and multiply both sides by then take the infinite sum over and simplify in terms of the Hurwitz-Lerch zeta function to get

(6)

from Eq (1.232.2) in [32] where and in order for the sums to converge. We apply Tonelli’s theorem for multiple sums, see page 177 in [33] as the summands are of bounded measure over the space .

1.2 Derivation of a generalized Hurwitz-Lerch zeta function in terms of the product of the cosine and secant function contour integral

We use the method in [29]. Using a generalization of Cauchy’s integral formula (3) we first replace y by then multiply both sides by emxi then form a second equation by replacing x by –x and add both equations to get

(7)

Next we replace y by and multiply both sides by and take the infinite sum over and simplify in terms of the Hurwitz-Lerch zeta function to get

(8)

from Eqs (1.232.2) and (1.411.3) in [32] where and in order for the sums to converge. We apply Tonelli’s theorem for sums and integrals, see page 177 in [33] as the summand and integral are of bounded measure over the space .

1.3 Derivation of the contour integrals

In this section we will use Eqs (6) and (8) and simple substitutions to derive the contour integrals in Eq (1).

1.3.1 Left-hand side first contour integral.

Use Eq (6) and replace b by then multiply both sides by and take the finite sum over to get;

(9)

1.3.2 Left-hand side second contour integral.

Use Eq (8) and replace x by , and b by then multiply both sides by 2(−1)j + z + 1 and take the finite sums over and to get;

(10)

1.3.3 Right-hand side first contour integral.

Use Eq (6) and replace b by then multiply both sides by –1 to get;

(11)

1.3.4 Right-hand side second contour integral.

Use Eq (6) and replace b by (2z + 1)n to get;

(12)

2 Finite sum of the Hurwitz-Lerch zeta function: evaluations and interpretations of results

In this section we will derive and evaluate formulae involving the finite double sum of the Hurwitz-Lerch zeta function in terms other special functions, trigonometric functions and fundamental constants. In this section we evaluate Eq (13) which involves symbolic manipulation to prove identities, find functional equations, or determine asymptotic behaviour. Interested readers can use this equation to derive new identities involing the Hurwitz-Lerch zeta function or to establish relationships between different special functions. The behaviour of the series as parameters like n, m, or z become large could be a focus of theoretical analysis. Such studies are common in analytic number theory and can reveal properties of the functions involved. The Hurwitz-Lerch function is defined by an infinite series, but it can be extended to a larger domain through analytical continuation. Eq (13) can be viewed as part of an analytical continuation or a formula that holds for specific ranges of parameters.

Theorem 2.1. For all then,

(13)

Proof: Observe that the addition of the right-hand sides of Eqs (9) and (10), is equal to the addition of the right-hand sides of Eqs (11) and (12) so we may equate the left-hand sides and simplify relative to Eq (1) and the Gamma function to yield the stated result. □

Example 2.2. The degenerate case.

(14)

Proof: Use Eq (13) and set k = 0 and simplify using entry (2) in Table below Eq (64:12:7) in [34]. □

Example 2.3. Double finite product of quotient gamma functions, where , z is even. Multiple finite products involving the gamma function are recorded in [p. 214] in [28] and [p.173] in [27].

(15)

Proof: Use Eq (13) and set m = 0 and simplify in terms of the Hurwitz zeta function using entry (4) in Table below (64:12:7) in [34]. Next take the first partial derivative with respect to k and set k = 0 and simplify in terms of the log-gamma function using Eq (25.11.18) in [35]. Next we take the exponential of both sides and simplify in terms of the gamma function. □

Example 2.4. Product of gamma functions in terms of the square root of odd numbers greater than equal to 5. We also present a product formula for the ratio of the Elliptic integral of the first kind see [p.1140] in [36].

(16)

Proof: Use Eq (15) and set p = n = 0 and simplify. □

Example 2.5. A Hurwitz-Lerch zeta functional equation with first parameter involving the cubic root of z. Eq (17) relates a function with a complex, fractional argument, −(iz)2/3, to a linear combination of several Hurwitz-Lerch zeta functions with arguments involving powers of z. The right-hand side is a combination of terms with arguments like z2 and z6, implying a complex relationship between the parameters and the overall functional behaviour.

(17)

Proof: Use Eq (13) and set and simplify. Next replace and simplify.

Example 2.6. Double finite sum in terms of trigonometric functions. Eq (18) slightly resembles a Fourier series due to the trigonometric functions and sums, but it is not a standard Fourier series. This equation’s structure involves a finite range of summation, a complex exponential with a phase of π, and terms where the argument of the trigonometric function depends on both summation indices p and j.

(18)

Proof: Use Eq (13) and set and apply the method in section (8) in [26]. □

Example 2.7. A functional equation involving the Hurwitz-Lerch zeta function. This equation connects a Hurwitz-Lerch function with the argument to a linear combination of three other Hurwitz-Lerch functions, where the argument is simply z. This relationship demonstrates how the function behaves under a scaling of its argument by a factor related to the cubic root. Similar functional equations were studied in the work by Apostol see Eq (2.6) in [37]. Apostol presented Riemann’s method and differential-difference equations in his work when studying functional equations for the Hurwitz-Lerch zeta function.

(19)

Proof: Use Eq (13) and set and simplify. Next replace and simplify. □

Example 2.8. Finite product involving the product of trigonometric functions. A multiplicative Identity Involving the Hurwitz-Lerch zeta function and parity filtering.

(20)

Proof: Use Eq (13) and set and simplify using entry (3) in Table below (64:12:7) in [34]. □

2.1 Special cases involving the double finite sum of the Hurwitz-Lerch zeta function

In this section we derive special cases of the Hurwitz-Lerch zeta function in terms of special functions and Catalan’s constant C. The Hurwitz-Lerch zeta function is connected to the gamma function and polylogarithm, and special cases often involve these functions. For example, some derivations result in special cases involving infinite products of exponential functions that can be related to the gamma function or quotients of gamma functions. This happens because the integral representations and functional equations of these functions are connected.

Example 2.9. Double finite sum in terms of Catalan’s constant C.

(21)

Proof: Use Eq (13) and set and simplify using Eq (4) in [38]. □

Example 2.10. Finite sum in terms of Catalan’s constant C and the digamma function .

(22)

Proof: Use Eq (21) and take the limit as and simplify. □

Example 2.11. Finite sum in terms of the first partial derivative of the Hurwitz-Lerch zeta function.

(23)

Proof: Use Eq (13) and take the first partial derivative with respect to k and set and simplify using Eq (20) in [38]. □

Example 2.12. Double finite sum involving Euler’s constant γ. Euler’s constant arises in the expansion of the gamma function, special values of the digamma function, and expressions for the Riemann zeta function.

(24)

Proof: Use Eq (13) and take the first partial derivative with respect to k and set and simplify using Eq (53) in [38]. □

Example 2.13. The exponential of the Hurwitz-Lerch zeta function in terms of the log-gamma function. This identity is an example of how seemingly different mathematical constants, the derivative of a generalized zeta function, Euler’s constant, the Gamma function, and π are interconnected. It is a good example of the structure inherent in the theory of special functions and demonstrates the usefulness of complex analysis in deriving and proving such unexpected relationships.

(25)

Proof: Use Eq (24) and set and simplify. □

Example 2.14. A double finite sum involving Catalan’s constant C.

(26)

Proof: Use Eq (13) and take the first partial derivative with respect to k and set and simplify using Eq (4) in [38]. □

Example 2.15. Double finite product involving tangent and cotangent functions.

(27)

Proof: Use Eq (13) and set and simplify using entry (1) in Table below (64:12:7) in [34]. □

Example 2.16. Double finite product involving the tangent function.

(28)

Proof: Use Eq (13) and set and simplify using entry (1) in Table below (64:12:7) in [34]. □

Example 2.17. A double finite product involving the gamma function and table of special cases.

(29)

Proof: Use Eq (13) and set and simplify in terms of the Hurwitz zeta function using entry (4) in Table below (64:12:7) in [34]. Next take the first partial derivative with respect to k and set k = 0 and simplify in terms of the log-gamma function using Eq (25.11.18) in [35]. □

2.1.1 Table of quotient gamma functions.

In this section we look at simplified forms of Eq (29). This table of quotient gamma functions is not a static catalog of numerical values but rather a collection of identities and formulas that express the ratio of two gamma functions, , in terms of other functions, special values, or asymptotic expansions. These relations are important in mathematics and prove useful in analytic number theory and probability theory.

Example 2.18. A Gosper relation for a q-trigonometric form in terms of quotient gamma functions given on page (80) in [39] and entry (1) in Table 1.

(30)

Example 2.19. Double finite product involving exponential of the Hurwitz-Lerch zeta function and quotient tangent functions.

(31)

Proof: Use Eq (13) and form a second equation by replacing and take the difference of both these equations then set and simplify using entry (3) of Section (64:12) in [34]. □

Example 2.20. Finite product involving exponential of the Hurwitz-Lerch zeta function and quotient tangent functions.

(32)

Proof: Use Eq (31) and set p = n = 0 and simplify, where z is any positive integer. □

2.2 An example involving the exponential of the hypergeometric function in terms of reciprocal angles

In this section we evaluate a function involving the exponential of a hypergeometric function in terms of reciprocal angles. This equation type is found in the theory of conformal mapping and modular forms, specifically involving the mapping properties of the Gauss hypergeometric function.

Example 2.21. Exponential of the hypergeometric function involving reciprocal angles.

(33)

Proof: Use Eq (32) and replace m by 1/r and set z = 1 and simplify. □

Example 2.22. In this example we look at the contour plot of the right-hand side of Eq (33). This plot is a 3D plot of over the complex rectangle with corners zmin and zmax. In this plot we see a point where the function is zero, appearing as a low point or a “valley” in the plot. The colours will cycle counter-clockwise around a zero. There exists a pole shown by a high spike or “mountain” in the plot. The colours will cycle clockwise around a pole.

2.3 Determining the first partial derivative of the Hurwitz-Lerch zeta function

In this example we derive a finite sum and product expressions which can be used to determine the first partial derivatives of the Hurwitz-Lerch zeta function. These derivatives are with respect to the first and the second parameters and are set equal zero. These expressions are particularly useful in simplifying definite integrals whose closed form solution is in terms of the Hurwitz-Lerch zeta function.

Example 2.23 Finite sum involving the Hurwitz zeta function.

(34)

Proof: Use Eq (13) and set and simplify in terms of the Hurwitz zeta function. □

Example 2.24. A generalized formula for the first partial derivative of the Hurwitz-Lerch zeta function in terms of the log-gamma function.

(35)

Proof: Use Eq (13) and set and simplify in terms of the Hurwitz zeta function. Next take the first partial derivative with respect to k and set k = 0 and simplify in terms of the log-gamma function. □

Example 2.25. Finite product of quotient gamma functions raised to complex power.

(36)

Proof: Use Eq (35) and take the exponential of both sides and simplify. Here z is any positive integer greater than or equal to 1. □

Example 2.26. An example in terms of the log-gamma function.

(37)

Proof: Use Eq (36) and set and simplify. □

Example 2.27. A Complex Mellin-Barnes Type Integral Involving Nested Logarithms and Parameters. In this example we look at how Eq (37) can be applied to simplifying an infinite integral involving a nested logarithm function in terms of the log-gamma function. Here we use Eq (7) in [40] and take the first partial derivative with respect to k and set and simplify using Eq (37). Finally we replace .

(38)

where Re(v) > 1 and there exists a singularity at when Re(b) > 0.

Example 2.28. Evaluation of an improper integral involving a nested logarithm and a rational function. In this example we use Eq (38) with simplify and plot the singularities over the real and imaginary parts of the integrand.

(39)

where there exists a singularity at x = −i/2 and we assume the value of the integral is a Cauchy principal value see [DLMF, 19.17.8]

Example 2.29. In this example we plot the real part of the right-hand side of Eq (39). There exists a vertical asymptote at x = 1. Since there is a (−1)5/8 term in the argument of the logarithm then the nested logarithm term is always complex.

Example 2.30. In this example we plot the imaginary part of the right-hand side of Eq (39). There exists a vertical asymptote at x = 1. Since there is a (−1)5/8 term in the argument of the logarithm then the nested logarithm term is always complex.

2.4 Special cases involving fundamental constants

In this section we will evaluate Eq (34) and derive formulae in terms of fundamental constants; namely Catalan’s constant C given in Eqs (20) and (21) in [38], Glaisher’s constant A, given in Eq (18) in [38], Apery’s constant , given in Eq (19). In combinatorics, G appears in enumerative problems, such as counting domino tilings on grid graphs, where it provides insight into the asymptotic behaviour of the number of possible tilings. In number theory, it is seen in a still-unproven conjecture related to primes of the form n2 + 1, implying a link between this irrational number and the distribution of prime numbers. In topology, Catalan’s constant has been shown to be related to the hyperbolic volume of the complement of certain links, providing a concrete mathematical invariant for understanding the geometry of three-dimensional spaces. Finally, in astrophysics, G appears in calculations involving the mass distribution of spiral galaxies, involving gravitational models. The Glaisher–Kinkelin constant is related to special functions like the Barnes G-function and the gamma function. The Glaisher constant emerges from an approximation involving the hyperfactorial, which is the product of integers raised to their own powers. The constant appears in a variety of integrals and sums, particularly those involving the gamma and Riemann zeta functions. It is also connected to the solution of Painlevé differential equations and plays a role in regularization techniques in quantum field theory and statistical mechanics, where it can manage divergences in calculations. Apery’s constant appears in various field in mathematics and physics, including the gamma function, special values of polylogarithms, and the Hurwitz-Lerch function. In physics, Apéry’s constant is involved in calculations related to quantum electrodynamics, particularly in determining the electron’s gyromagnetic ratio, as well as in the study of three-dimensional magnetic fields.

Example 2.31. Finite sum in terms of Catalan’s constant.

(40)

Proof: Use Eq (34) and set and simplify. □

Example 2.32. Finite sum in terms of Glaisher’s constant.

(41)

Proof: Use Eq (34) and take the first partial derivative with respect to k and set and simplify. Note Glaisher’s constant will be evaluated for z > 1. □

Example 2.33. Finite sum in terms of Apéry’s constant.

(42)

Proof: Use Eq (34) and take the first partial derivative with respect to k and set and simplify. Note Apéry’s constant will be evaluated for . □

Example 2.34. Finite sum in terms of Catalan’s constant.

(43)

Proof: Use Eq (34) and take the first partial derivative with respect to k and set and simplify. □

2.5 A special case when

In this section we look at the product of quotient gamma functions previously studied by Gauss [DLMF, 5.5.5] and derived using contour integration. Products of gamma functions over certain sequences, like the ones in this section, are related to the Barnes G-function [DLMF, 5.17.1]. This function generalizes the notion of the superfactorial and has its own set of functional equations and reflection formulas.

Example 2.35. A finite product involving gamma of power of 3.

(44)

Proof: Use Eq (13) and set and simplify in terms of the Hurwitz zeta function. Next take the first partial derivative with respect to k and set k = 0 then take the exponential of both sides. □

Example 2.36. An infinite product involving gamma of power of 3.

(45)

Proof: Use Eq (44) and take the limit of the right-hand side as and simplify. This form can also be derived using Gauss’ multiplication formula Eq (5.5.6) in [35]. □

Discussion

In this study, we employed a contour integration method to establish mathematical expressions for double finite sums involving the Hurwitz-Lerch zeta function. While this approach is generally easy, its application to the double finite sum of the secant function posed difficulties during evaluation. Our challenges encompassed both the simplification of the secant function’s representation within the contour integral and the identification of specific values where the double product finite sum becomes simpler. The significance of this research lies in the deriving closed-form solutions through these methodologies. Consequently, we have introduced formulas to the existing body of knowledge, with the hope that they will prove valuable to the academic community (Figs 13).

Conclusion

In this paper, we have presented a method for deriving double finite sum and products formulae involving the Hurwitz-Lerch zeta function along with some interesting special cases using both contour integration and well known algebraic techniques. We plan to apply these methods to derive other multiple sum and product formulae involving other special functions in future work.

Acknowledgments

The author thanks the Editor and Reviewers for their constructive suggestions and dedicated time, which helped to improve the quality of this paper.

References

  1. 1. Kazarnovski B. On zeros of exponential sums. Soviet Math Doklady. 1981;23(2):347–51.
  2. 2. Kouchnirenko AG. Polyedres de Newton et nombres de Milnor. Invent Math. 1976;32(1):1–31.
  3. 3. Khovanski AG. Fewnomials. American Mathematical Society; 1991.
  4. 4. Zygmund A, Fefferman R. Trigonometric series. Cambridge University Press; 2003. https://doi.org/10.1017/cbo9781316036587
  5. 5. Qureshi MI, Shah TUR, Choi J, Bhat AH. Three general double-series identities and associated reduction formulas and fractional calculus. Fractal Fract. 2023;7(10):700.
  6. 6. Kumar D, Ayant F, Daiya J, Nisar KS. Finite summation formulas for the multivariable $A$-function. B Soc Paran Mat. 2022;41:1–8.
  7. 7. Andrews G, Bringmann K, Mahlburg K. Double series representations for Schur’s partition function and related identities. Journal of Combinatorial Theory, Series A. 2015;132:102–19.
  8. 8. Volosivets S, Krotova Y. Double cosine and cosine-sine fourier transforms and generalized lipschitz classes in uniform metric. ATA. 2025.
  9. 9. Gaskin J. Consequences of generalized ratio tests that lead to more efficient convergence and divergence tests. PAMJ. 2025;14(1):8–12.
  10. 10. Casas E, Mateos M. Boundary bilinear control of semilinear parabolic PDEs: quadratic convergence of the SQP method. arXiv preprint 2024. https://arxiv.org/abs/2505.24237
  11. 11. Riedl K, et al. Global convergence of adjoint-optimized neural PDEs. arXiv preprint 2025. https://arxiv.org/abs/2506.13633
  12. 12. Chaintron LP, Daudin S. Optimal rate of convergence in the vanishing viscosity for uniformly convex Hamilton-Jacobi equations. arXiv preprint2025. https://arxiv.org/abs/2506.13255
  13. 13. Calabrò F, Fabiani G, Siettos C. Extreme learning machine collocation for the numerical solution of elliptic PDEs with sharp gradients. Computer Methods in Applied Mechanics and Engineering. 2021;387:114188.
  14. 14. Shah K, Khalil H, Khan RA. A generalized scheme based on shifted Jacobi polynomials for numerical simulation of coupled systems of multi-term fractional-order partial differential equations. LMS J Comput Math. 2017;20(1):11–29.
  15. 15. Talib I, Noor ZA, Hammouch Z, Khalil H. Compatibility of the Paraskevopoulos’s algorithm with operational matrices of Vieta–Lucas polynomials and applications. Mathematics and Computers in Simulation. 2022;202:442–63.
  16. 16. Khalil H, Khalil M, Hashim I, Agarwal P. Extension of operational matrix technique for the solution of nonlinear system of caputo fractional differential equations subjected to integral type boundary constrains. Entropy (Basel). 2021;23(9):1154. pmid:34573779
  17. 17. Khalil H, Khan RA, Baleanu D, Rashidi MM. Some new operational matrices and its application to fractional order Poisson equations with integral type boundary constrains. Computers & Mathematics with Applications. 2019;78(6):1826–37.
  18. 18. Nazir G, Shah K, Alrabaiah H, Khalil H, Khan RA. Fractional dynamical analysis of measles spread model under vaccination corresponding to nonsingular fractional order derivative. Adv Differ Equ. 2020;2020(1).
  19. 19. Abuteen E, Freihat A, Al-Smadi M, Khalil H, Khan RA. Approximate series solution of nonlinear, fractional klein-gordon equations using fractional reduced differential transform method. Journal of Mathematics and Statistics. 2016;12(1):23–33.
  20. 20. Qiu H, Deng W. Optimal harvesting of a stochastic delay competitive Lotka–Volterra model with Lévy jumps. Applied Mathematics and Computation. 2018;317:210–22.
  21. 21. Tadoummant L, Khalil H, Echarghaoui R, Aljohani S, Mlaiki N. Correction: a novel method for approximate solution of two point non local fractional order coupled boundary value problems. PLoS One. 2025;20(10):pone.0335237.exml. pmid:41124162
  22. 22. Khalil H, Hashim I, Khan WA, Ghaffari A. A novel method for solution of fractional order two-dimensional nonlocal heat conduction phenomena. Mathematical Problems in Engineering. 2021;2021:1–17.
  23. 23. Hammad MA, Alshanti WG, Alshanty A, Khalil R. Tensor product technique and atomic solution of fractional partial differential equations. Journal of Applied Mathematics. 2024;2024(1).
  24. 24. Prudnikov AP, Brychkov YA, Marichev OI. Integrals and series: elementary functions. New York: Gordon and Breach Science Publishers; 1986.
  25. 25. Prudnikov AP, Brychkov YA, Marichev OI. Integrals and series: more special functions, Vol. 3. New York: Gordon and Breach Science Publishers; 1990.
  26. 26. Reynolds R, Stauffer A. A note on the infinite sum of the Lerch function. Eur J Pure Appl Math. 2022;15(1):158–68.
  27. 27. Kaluszka M, Krysicki W. On decompositions of some random variables. Metrika. 1997;46(1):159–75.
  28. 28. Krysicki W. On Mieshalkin-Rogozin theorem and some properties of the second kind beta distribution. Discuss Math Probability and Statistics. 2000;20(2):211.
  29. 29. Reynolds R, Stauffer A. A method for evaluating definite integrals in terms of special functions with examples. IMF. 2020;15(5):235–44.
  30. 30. Hobson EW. A treatise on plane trigonometry. United Kingdom: University Press; 1897.
  31. 31. Macrobert TM. Higher transcendental functions. Nature. 1955;175(4451):317–317.
  32. 32. Gradshteyn IS, Ryzhik IM. Tables of integrals, series and products, 6th ed. Cambridge, MA: Academic Press; 2000. https://doi.org/10.1016/C2010-0-64839-5
  33. 33. Gelca R, Andreescu T. Putnam and beyond. Springer; 2017. https://doi.org/10.1007/978-3-319-58988-6
  34. 34. Oldham KB, Myland JC, Spanier J. An Atlas of functions: with equator, the Atlas function calculator. 2 ed. New York, NY, USA: Springer; 2009. https://doi.org/10.1007/978-0-387-48807-3
  35. 35. Olver FWJ, Lozier DW, Boisvert RF, Clark CW, (Eds.) NIST Digital Library of Mathematical Functions; U.S. Department of Commerce, National Institute of Standards and Technology: Washington, DC, USA; With 1 CD-ROM (Windows, Macintosh and UNIX). MR 2723248 (2012a:33001). Cambridge, UK: Cambridge University Press; 2010.
  36. 36. Weisstein EW. CRC concise encyclopedia of mathematics. CRC Press; 2002.
  37. 37. Apostol TM. On the Lerch zeta function. Pacific J Math. 1951;1(2):161–7.
  38. 38. Guillera J, Sondow J. Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent. 2005. http://arxiv.org/abs/math.NT/0506319
  39. 39. Garvan FG, Ismail MEH. Symbolic computation, number theory, special functions, physics and combinatorics. Boston, MA: Springer US; 2002. https://doi.org/10.1007/978-1-4613-0257-5
  40. 40. Reynolds R, Stauffer A. A definite integral involving the logarithmic function in terms of the Lerch function. Mathematics. 2019;7(12):1148.