Abstract
By investigating a family of log-log type integrals on the unit domain and on the positive half line, we produce a substantial number of new identities, representing the value of the integral with the aid of Euler sums. A new family of Euler sum identities will also be given, thereby extending the current knowledge.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction preliminaries and notation
There exists a vast literature in which an exceptionally large number of integral formula have been developed, refer to [2, 4,5,6, 10, 12, 13, 23, 26] There are also many research papers dealing with specific evaluations and analysis of representations of log-log type integrals, refer to [1, 3, 7, 9, 14, 25, 28] . In this paper the intention is to extend the knowledge and application of these log-log type integrals by examining families of the type,
where \(\left( p,q\right) \in \mathbb {N} ,\) \(m\in \mathbb {N} _{0},a\in \mathbb {R}\) in both the unit interval \(x\in \left( 0,1\right)\) and in the positive half line \(x\ge 0.\) We shall represent the resulting integral (1.1) in closed form in terms of special functions including the Riemann zeta function, Clausen functions and harmonic numbers. For example we obtain some difficult to evaluate results of the form
and on the positive half line
where Cl\(_{2}\left( \frac{2\pi }{3}\right)\) and Cl\(_{4}\left( \frac{2\pi }{3 }\right)\) are the Clausen functions. Some special cases of (1.1) have been considered in [8] and [14] but only for the case \(m=0.\) The \(m\ne 0\) case adds some unexpected complexities in the analysis and the need to develop some new Euler sum identities of the form
for real parameters \(\left( \alpha ,\beta ,p\right)\) such that \(W_{1,p}^{++}\left( \beta ,\alpha \right)\) converges and the harmonic numbers
where \(\gamma\) is the familiar Euler Mascheroni constant and for complex values of \(z,~z\in \mathbb {C} \backslash \left\{ 0,-1,-2,\cdot \cdot \cdot \cdot \right\} ,\psi \left( z\right)\) is the digamma (or psi) function defined by
where \(\Gamma \left( z\right)\) is the Gamma function, see [24] . In this paper we denote \(\mathbb {C} , \mathbb {R} , \mathbb {R} ^{+}, \mathbb {Z}\) and \(\mathbb {N}\) as the sets of complex numbers, real numbers, positive real numbers integers and positive integers respectively and let \(\mathbb {N} _{0}:= \mathbb {N} \cup \left\{ 0\right\}\) and \(\mathbb {Z} ^{-}:= \mathbb {Z} \backslash \mathbb {N} _{0}.\) In (1.2) we have the appearance of the Clausen function where the generalized Clausen functions are defined for \(z\in \mathbb {C}\) with \(\Re \left( z\right) >1\) as,
and may be extended to all the complex plane through analytic continuation. When z is replaced by a non negative integer n, the standard Clausen functions are defined by the Fourier series
The polylogarithm function \(\mathrm {Li}_{p}(z)\) is, for \(\left| z\right| \le 1\)
and in terms of the Polylogarithm,
The polygamma function
has the recurrence
and can be connected to the Clausen function in the following way. The Clausen function of rational argument and even integer order Cl\(_{2m}\left( \frac{\pi p}{q}\right) =\sum \limits _{k\ge 1}\frac{\sin \left( \frac{k\pi p}{ q}\right) }{k^{2m}},\) then, for p an odd integer
and for p an even integer
From (1.5) we can define the polylogarithm for all non positive integer order, where \(\mathrm {Li}_{1}(z)=-\log \left( 1-z\right) ,\mathrm {Li} _{0}(z)=\frac{z}{1-z}\)and, for \(n\in \mathbb {N} _{0}\)
where \(S\left( n+1,j+1\right)\) are Stirling numbers of the second kind. Equivalently we can write
where the Eulerian numbers
Some other pertinent papers dealing with Euler sums are [15,16,17] and the excellent books [23, 26]. We expect that integrals of the type (1.1) may be represented by Euler sums and therefore in terms of special functions such as the Riemann zeta function, the Clausen function and the polygamma functions. A search of the current literature has found some examples for the representation of the log-log integrals in terms of Euler sums, see [27]. The following papers [11, 18,19,20,21] and [22] also examined some integrals in terms of Euler sums. The two examples (1.2) and (1.3) will be considered in detail, moreover, these integrals are not amenable to a computer mathematical package.
2 Analysis of integrals
Consider the following.
Theorem 1
Let \(a\in \mathbb {R} \ge -2\) and \(\left( m,p,q\right) \in \mathbb {N} _{0},\) the following integral,
where \(H_{n}\) are harmonic numbers, \(s\left( \mu ,\mu +1-\lambda \right)\) are signed Stirling numbers of the first kind and Li\(_{\lambda -\mu }\left( x^{q}\right)\) are the polylogarithms at zero or negative integer.
Proof
From the definition of the polyogarithm \(\mathrm {Li}_{1}(x^{q})=-\log \left( 1-x^{q}\right) ,\) a Taylor series expansion, for \(x\in \left( 0,1\right)\) produces
The \(m^{th}\) derivative
Therefore
and integrating both sides for \(x\in \left( 0,1\right)\), we have
From (2.3),
consequently
Here we require the exclusion of all terms of the form \(qn+j+a-m=0\) and for convergence requirements we put \(p\ge m+1.\) From the equivalent expressions (2.4) and (2.5)
and theorem (1) is proved. \(\square\)
The next corollary deals with the degenerate case of \(m=0\) for the representation of the integral (2.1).
Corollary 1
Let \(a\in \mathbb {R} \ge -2,m=0\) and \(\left( p,q\right) \in \mathbb {N} _{0},\) the following integral,
for \(p\ge 1.\) We utilize the following notation
where
This integral (2.6) is completely determined by (2.7), in terms of special functions, since it depends on the known value of the Euler sums
The following required Euler sum identity appears in [18]. Let \(\alpha\) be a real number \(\alpha \ne -1,-2,-1,\ldots ,\) and assume that \(p\in \mathbb {N} \backslash \left\{ 1\right\} .\) Then
where \(\gamma\) is the Euler Mascheroni constant.
Proof
From the Taylor series (2.3)
and proof is complete. \(\square\)
Two examples are now given.
Example 1
For \(a=0,m=0,p=3\) and \(q=3\)
Now we can apply (2.8) then simplify with the aid of (1.8) and (1.7) and eventually are led to the identity
here Cl\(_{2}\left( \frac{2\pi }{3}\right)\) and Cl\(_{4}\left( \frac{2\pi }{3} \right)\) are the Clausen functions.
In this next example we shall require Euler sum identities of the form (1.4), the next proposition will be essential.
Proposition 1
Let \(\alpha\) be a real number \(\alpha \ne -1,-2,-1,\ldots ,\) and assume that \(p\in \mathbb {N} \backslash \left\{ 1\right\} .\) Then
the sum \(S_{1,p}^{++}\left( 0,\alpha \right)\) is given by (2.8) and \(\psi ^{\left( p\right) }\left( \alpha \right)\) are the polygamma functions.
Proof
In (2.8) we put \(\alpha =\frac{1}{y},y\ne 0,\) differentiate with respect to y and then rename y as \(\alpha\) so that (2.9) follows. Similar analysis allows us to evaluate \(W_{1,p+1}^{++}\left( \beta ,\alpha \right)\) for \(\beta \in \mathbb {N} .\) \(\square\)
Example 2
For this example consider the case \(a=0,m=2,p=3\) and \(q=3\)
We have put in the values of the Stirling numbers of the first kind,
and evaluating
we obtain
The Euler sums in (2.12) can be evaluated from (2.8) and ( 2.9). The integrals in (2.12) can be evaluated by standard techniques and we evaluate the first integral to give a hint of the method used. Consider
upon expansion and simplification using (1.8) and (1.7) we obtain
Finally we obtain the identity (1.2),
3 The positive half line \(x\ge 0\)
In this section we analyze the integral
and show that, without loss of generality the integral
in certain cases of the parameters \(\left( m,p,q\right)\) depends on the representation of the integral (2.2).
Theorem 2
Let \(\left( m,p,q\right) \in \mathbb {N}\) and put \(p\ge m+1,\) then
where \(I\left( 0,m,p,q\right)\) and \(I\left( m-1,m,p,q\right)\) are given by (2.2), \(\left( n+1\right) _{m}\) is the Pochhammer symbol and \(i=\sqrt{ -1}.\)
Proof
Let us put
and notice that \(\underset{x->0^{+}}{\lim }\Lambda \left( m,p,q;x\right) =0, \underset{x->1^{-}}{\lim }\Lambda \left( m,p,q;x\right) =0,\) we can write
upon making the transformation \(xt=1\) (and renaming t as x) in the third integral we obtain
Expanding the last two integrands in a Taylor series form and then integrating in the interval \(x\in \left( 0,1\right) ,\) we have
The Pochhammer symbol \(\left( \lambda \right) _{\omega }\) for \(\left( \lambda ,\omega \right) \in \mathbb {C}\) can be defined in terms of the Gamma function \(\Gamma \left( \cdot \right) ,\) by
and conventionally understood that \(\left( 0\right) _{0}=1.\) Finally we obtain
and (3.2) is proved. \(\square\)
The particular case of \(m=1\) has a complete representation in terms of polygamma functions and the details are developed in the following corollary.
Corollary 2
Let \(m=1,\left( p,q\right) \in \mathbb {N}\) and put \(p\ge 2,\) then
where \(\psi ^{\left( p\right) }\left( \frac{j-1}{q}\right)\) are the polygamma functions (1.6) and \(S_{1,p}^{++}\left( 0,\frac{j-1}{q} \right)\) are the Sofo–Cvijović–Euler sums (2.8).
Proof
Let \(m=1,\left( p,q\right) \in \mathbb {N} ,\)
The required evaluation of \(I\left( 0,1,p,q\right)\) can be done by applying (2.2) so that
since the Stirling numbers of the first kind \(s\left( 1,1\right) =1\) and \(\mathrm {Li}_{0}(x^{q})=\frac{x^{q}}{1-x^{q}},\) then
A similar evaluation of that used for the integrals in (2.12) yields the result
Substituting into (3.4) we have
which is the result (3.3). It is evident from (3.4) that in the case of odd integer p, say \(2p-1\) then
\(\square\)
Some examples follow.
Example 3
For \(m=2,p=3,q=3\) and from (3.2)
The evaluation of \(I\left( 0,2,3,3\right)\) is detailed in (2.12), therefore we now indicate the evaluation of \(I\left( 1,2,3,3\right) ,\) from theorem 1
Using the Stirling numbers (2.10), the values of Li\(_{0}\left( x^{3}\right)\) and Li\(_{-1}\left( x^{3}\right)\) given in (1.9) we have
The Euler sums can be evaluated with the aid of (2.8) and (2.9), the integrals here can be evaluated by the same method as described by (2.13). After some calculations we find,
If we know simplify by employing (1.8) and (1.7), and specifically using
we get
Replacing these values in (3.5) we have
and simplifying we arrive at (1.3).
Example 4
For \(m=2,p=4,q=4\) and employing similar calculations as above, provides the identity
here, the Catalan constant
is a special case of the Dirichlet beta function
with functional equation
extending the Dirichlet Beta function to the left hand side of the complex plane Re\(\left( z\right) \le 0.\)
Concluding Remarks We have studied of a family of integrals having \(\log -\log\) and polynomial functions in terms of Euler sums, which themselves incorporate special functions such as Beta functions, Clausen functions and Zeta functions. For higher values of the parameters m, p and q our results are new in the literature. We have evaluated four specific examples which are not amenable to a mathematical computer package. Further work examining integral families containing Polylogarithmic functions will be presented in the near future.
References
Au, Kam Cheong. Linear relations between logarithmic integrals of high weight and some closed-form evaluations. https://doi.org/10.48550/arXiv.1910.12113. (2019).
Brychkov, Y.A. 2008. Handbook of Special Functions. Derivatives: Integrals, Series and Other Formulas, CRC Press.
Choi, J. 2018. Certain integral formulas involving logarithm function. Nonlinear Funct. Anal. Appl. 23 (4): 755–765.
Gradshteyn, I. S., Ryzhik, I. M. 2000. Tables of Integrals, Series, and Products (Corrected and Enlarged edition prepared by A. Jeffrey), Academic Press, New York, 1980; Sixth edition.
Jeffrey, A. 2000. Handbook of Mathematical Formulas and Integrals, Second edition, Academic Press.
Lewin, R. 1981. Polylogarithms and associated functions. New York: North Holland.
Medina, L.A., and V.H. Moll. 2015. The integrals in Gradshteyn and Ryzhik Part 27: More logarithmic examples. Scientia, Series A 26: 31–47.
Mezo, I. 2020. Log-sine-polylog integrals and alternating Euler sums. Acta Math. Hungar. 160 (1): 45–57.
Muzaffar, H., and K.S. Williams. 2002. A restricted Epstein zeta function and the evaluation of some definite integrals. Acta Arith. 104 (1): 23–66.
Nahin, P. 2020. Inside interesting integrals (with an introduction to contour integration), Second edition. Undergraduate Lecture Notes in Physics. Springer, Cham, [2020], xlvii+503 pp. ISBN: 978-3-030-43787-9; 978-3-030-43788-6.
Nimbran, A. S., Levrie, P. and Sofo, A. 2022. Harmonic-binomial Euler-like sums via expansions of \((\arcsin x)^{p}\) . Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 116, No. 1, Paper No. 23, 23 p.
Prudnikov, A. P., Brychkov, Yu. A and Marichev, O. I. 1986. Integrals and Series, Vol. 1: Elementary Functions, Gordon and Breach Science Publishers, New York.
Prudnikov, A. P., Brychkov, Yu. A and Marichev, O. 1990. Integrals and Series, Vol. 3: More Special Functions, Gordon and Breach Science Publishers, New York.
Sofo, A. 2021. A family of definite integrals. Scientia. Series A 31: 61–74.
Sofo, A. 2018. General order Euler sums with multiple argument. J. Number Theory 189: 255–271.
Sofo, A., and H.M. Srivastava. 2015. A family of shifted harmonic sums. Ramanujan J. 37 (1): 89–108.
Sofo, A. 2012. New classes of harmonic number identities. J. Integer Seq. 15 (7): Article 12.7.4, 12.
Sofo, A., and D. Cvijović. 2012. Extensions of Euler harmonic sums. Appl. Anal. Discrete Math. 6 (2): 317–328.
Sofo, A. 2014. Shifted harmonic sums of order two. Commun. Korean Math. Soc. 29 (2): 239–255.
Sofo, A. 2019. General order Euler sums with rational argument. Integral Transforms Spec. Funct. 30 (12): 978–991.
Sofo, A., A.S. Nimbran, Euler Sums, Integral Connections, and Mathematics 2019, 7, 833. Published on 9,. 2019. by MDPI. Switzerland: Basel.
Sofo, A., and A.S. Nimbran. 2020. Euler-like sums via powers of log, arctan and arctanh functions. Integral Transforms Spec: Funct. https://doi.org/10.1080/10652469.2020.1765775.
Srivastava, H. M. and Choi, J. 2001. Series associated with the zeta and related functions. Kluwer Academic Publishers, Dordrecht. x+388 pp. ISBN: 0-7923-7054-6.
Srivastava, H. M. and Choi, J. 2012. Zeta and q-Zeta functions and associated series and integrals. Elsevier, Inc., Amsterdam. xvi+657 pp. ISBN: 978-0-12-385218-2.
Stewart, S.M. 2020. Explicit evaluation of some quadratic Euler-type sums containing double-index harmonic numbers. Tatra Mt. Math. Publ. 77: 73–98.
Vălean, C. I. 2019. (Almost) impossible integrals, sums, and series. Problem Books in Mathematics. Springer, Cham. xxxviii+539 pp. ISBN: 978-3-030-02461-1; 978-3-030-02462-8 41-01 (00A07 26-01 33F05).
Xu, Ce. 2019. Integrals of logarithmic functions and alternating multiple zeta values. Math. Slovaca. 69 (2): 339–356.
Zhao, M. H. 2020 On logarithmic integrals, harmonic sums and variations. https://doi.org/10.48550/arXiv.1911.12155.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by the author.
Informed consent
For this type of study informed consent was not required.
Additional information
Communicated by S Ponnusamy.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sofo, A. Explicit evaluations of log–log integrals. J Anal 31, 1223–1239 (2023). https://doi.org/10.1007/s41478-022-00511-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41478-022-00511-0