Deﬁnite Integral of Arctangent and Polylogarithmic Functions Expressed as a Series

: We present a method using contour integration to evaluate the deﬁnite integral of arctangent reciprocal logarithmic integrals in terms of inﬁnite sums. In a similar manner, we evaluate the deﬁnite integral involving the polylogarithmic function Li k ( y ) in terms of special functions. In various cases, these generalizations give the value of known mathematical constants such as Catalan’s constant G , Aprey’s constant ζ ( 3 ) , the Glaisher–Kinkelin constant A , log ( 2 ) , and π .


Introduction
We use our new method to evaluate definite integrals in the form of a series [1]. This is a novel approach to these problems in mathematics and has not been used before to our knowledge. This method involves using a form of the Cauchy integral formula. Both the definite integral and infinite sum can be written in terms of the same contour integral, and therefore, we can equate the two. We will evaluate integrals of the form 1 y arctan(y) log k (ay) where Re(k) < −1 as well as log k (ay) y Li m (cy) over y ∈ [0, ∞) in the form of known functions. The parameters in these integrals are complex in general.

The Contour Integral
We start with Cauchy's integral Formula (1) where C is the generalized Hankel contour as described by Reynolds and Stauffer [1].

Infinite Sum of the Contour Integral
In this section, we will derive an equivalent contour integral by taking an infinite sum over n of a transformed Cauchy integral formula. We once again start with Equation (1), multiplying both sides by (−1) n+1 π, replacing y with πi(2n + 1)/2 + log(a) and k with k + 1 to yield We then take the infinite sum of both sides over [0, ∞) with Re(k) < −1 to get [4], where sech(ix) = sec(x) and Im(w) > 0 for the sum to converge.

Equating the Definite Integral and Infinite Sum
Since the right-hand side of Equations (3) and (5) are equal, we can equate the left-hand sides of these equations and simplify the factorials to yield ∞ 0 arctan(y) y log k (ay)dy = − π k + 1 ∞ ∑ n=0 (−1) n (πi(2n + 1)/2 + log(a)) k+1 , where Re(k) < −1. If a is real and positive, then ay will be unity for some finite value of y, which implies that log(ay) will be zero and the integrand will diverge at that point. However, the series converges as long as the real part of k is negative. Thus, the principal value of the integral will be given by the value of the series.

Evaluations in Terms of Fundamental Constants
Here we will look at a few examples of the integral in Equation (6), which yields new integral forms in terms of constants such as Catalan's constant ζ and π.

Table of Integrals
We can use other values of k and generate more integrals, in particular, starting from Equation (6) for numerical values of k and a, the entries in the Table 1, where Re(a) > 0, G is Catalan's constant, and ζ is the Hurwitz zeta function given by (9.521.1) in [4].

Definite Integral of the Contour Integral
We replace y by log(ay) in (1) and multiply both sides by Li m (−cy) y to get the Cauchy equation Then we take the definite integral over y ∈ [0, ∞) of both sides to get [5], where the integral is valid for −1 < Re(w) < 0, −π < arg(a) ≤ π and | arg(c)| < π.

Infinite Sum of the Contour Integral
In this section, we will derive an equivalent contour integral by taking an infinite sum over n of a transformed Cauchy integral formula. We once again start with Equation (1) [4], where csc(ix) = −i csc(x) and Im(w) > 0 for the sum to converge.

Equating the Definite Integral and Infinite Sum
Since the right-hand sides of Equations (3) and (5) are equal, we can equate the left-hand sides of these equations to yield where Re(k + m) < −1, a = 0 and c = 0. We can simplify the infinite sum on the right-hand side to get (q+n) z where Re(z) > 1, q = 0, −1, −2, ..., (9.521.1) in [4], where ζ(r, s) is the Hurwitz zeta function, which has a meromorphic continuation in the r-plane, its only singularity in C being a simple pole at r = 1 with residue −1. Note the left-hand side of Equation (24) converges for all finite k. We also note that ζ(x, 1) is the Riemann zeta function ζ(x).

Special Cases of the Polylogarithmic Integral
In this section, we will use the Hurwitz zeta function in Equation (24) to look at values of the parameters k, a, n, and c, which yield known constants and special functions such as ζ (3), Aprey's constant, and Catalan's constant G. (1) From Equation (24), when a = −c, Choosing particular values of k and m, we can obtain ζ(2), ζ(3), etc.

Summary and Future Research Directions
In Section 1, we presented a novel method to derive a generalized formula for the definite integral over y ∈ [0, ∞) of 1 y arctan(y) log k (ay) where a and k are complex with Re(k) < −1. In Section 2, we motivated this work by evaluating this integral to known constant forms. We gave several examples involving π, log(2), known as Mercator's constant and Catalan's constant (G), and more are possible using the method presented. We derived similar formulas for definite integrals of the form log k (ay) y Li m (cy) over y ∈ [0, ∞) in Section 4, and we expressed a closed form solution for this integral in terms of the Hurwitz zeta function. In Section 5, we evaluated the integral using particular values of the parameter to yield special constants such as Catalan's constant, with more constants possible using the ζ function. The results in this article were numerically verified for various values, both real and imaginary, of the parameters in the integrals using Mathematica by Wolfram.