- Research
- Open access
- Published:
New asymptotic expansions and Padé approximants related to the triple gamma function
Journal of Inequalities and Applications volume 2022, Article number: 147 (2022)
Abstract
In this work, our main focus is to establish asymptotic expansions for the triple gamma function in terms of the triple Bernoulli polynomials. As application, an asymptotic expansion for hyperfactorial function is also obtained. Furthermore, using these asymptotic expansions, Padé approximants related to the triple gamma function are derived as a consequence. The results obtained are new, and their importance is demonstrated by deducing several interesting remarks and corollaries.
1 Introduction
E.W. Barnes introduced the multiple gamma function \(\Gamma _{n}\) and expressed it in terms of the multiple Hurwitz zeta-functions [1–4]. After this invention, several researchers and mathematicians have studied this function. \(\Gamma _{n}\) was studied by G.H. Hardy [11, 12] in view of the theory of elliptic functions. \(\Gamma _{n}\) can be used to compute summation of series and infinite products. It is also applied in the theory of elliptic functions and theta functions [1–4]. Moreover, multiple gamma functions are also useful to study the determinant of Laplacians on the n-dimensional unit sphere \(S^{n}\) [7]. Also, \(\Gamma _{n}\) appears in functional equations for the Selberg zeta functions [18] associated with higher rank symmetric spaces, so obtaining their asymptotic expansion is of interest. It can be observed from the literature that the \(\Gamma _{n}\) plays a vital role in analytic number theory, approximation theory, mathematical physics, and several branches of science and engineering [7]. \(\Gamma _{n}\) satisfies the following recurrence relations [17]:
where \(\Gamma (z)\) is Euler’s gamma function. The reciprocal of \(\Gamma _{2}(z)\) is the well-known Barnes G-function and is denoted by \(G(z)\). For further information on \(\Gamma _{n}\), we refer to [1–4, 8, 9, 15–17] and the references therein.
One of the most recent research interests in the theory of multiple gamma functions is to find their asymptotic expansions. In [6], asymptotic expansions for \(G(z)\) are obtained by C.-P. Chen. Recently, Z. Xu and W. Wang [20] generalized the result. In [10], C. Ferreira and J.L. López derived an asymptotic expansion of \(G(z)\). Recently, X. Li and C.-P. Chen [13] established Padé approximant involving asymptotics for the gamma function.
The above results motivate us to find asymptotic expansion for the triple gamma function \(\Gamma _{3}\). In this work, we derive the asymptotic expansion for \(\Gamma _{3}\). Moreover, Padé approximants related to these asymptotic expansions are also obtained. It can be noted that \(\Gamma _{3}\) has the Weierstrass canonical product [7] form:
where
Here A denotes the Glaisher–Kinkelin constant and is defined as [7]
with ζ being the Riemann zeta function. \(\Gamma _{3}\) can also be expressed in terms of triple Bernoulli polynomials [15] as follows:
where \(B_{3,k}(x)\) are triple Bernoulli polynomials defined as
and \(B_{3,k}=B_{3,k}(0)\) are triple Bernoulli numbers [14] with \(\mathcal{R}_{3,n}(z)\), which is the remainder of order n and has the following integral representation:
The following relation [14] between triple Bernoulli polynomials and Bernoulli polynomials will be helpful for computing triple Bernoulli polynomials to prove the main results:
where \(B_{k}(x)\) are Bernoulli polynomials defined as
and \(B_{k}=B_{k}(0)\) are known as Bernoulli numbers.
It can be noted that putting \(x=0\) in (1.4), we get the following recurrence relation, which will be useful to compute triple Bernoulli numbers:
The rest of the paper is organized as follows. In Sect. 2, two different classes of asymptotic expansions of triple gamma functions with the formulas for determining the coefficients of each class are found. An asymptotic expansion for hyperfactorial function is also obtained as a particular case. Moreover, Padé approximants related to these asymptotic expansions are obtained in Sect. 3.
2 Asymptotic expansions for the triple gamma function
Let
Then, using the expansion for \(\Gamma _{3}\) given in (1.3), we obtain
for \(z\rightarrow \infty \) and \(\Re z>0\). It follows from (1.5) [14, p. 187] that for \(k\geq 1\),
Using the above expressions together with (1.5) in (2.2) gives
for \(z\rightarrow \infty \) and \(\Re z>0\).
Using the expansion \(e^{z}=\sum_{k=0}^{\infty}\frac {z^{k}}{k!}\) in the exponential part of (2.3) containing Bernoulli numbers, a simple computation yields the following:
Theorem 2.1
Let \(p\geq 0\) be any integer and \(q\neq 0\) be any real number. Then \(g(z)\) defined in (2.1) has the following asymptotic expansion:
for \(z\rightarrow \infty \) and \(\Re z>0\), where the coefficients \(a_{i}=a_{i}(p,q)\) \((i\in \mathbb{N})\) are given by
where the summation is considered over all \(k_{i}\), with \(k_{i}\)s as nonnegative integers satisfying the following relation:
Proof
Our main objective is to determine \(a_{i}\) (\(i\in \mathbb{N}\)). For this we first express (2.5) as follows:
Note that even in the absence of any information on convergence, (2.7) is still valid as we are interested only in the asymptotic expansion. From (2.2), we have
where \(\mathcal{R}(z)=O(z^{-n-1})\), which implies
Comparing the powers of z in (2.7) and (2.8), we obtain
which completes the proof. □
Remark 2.1
\(p=0\) and \(q=1\) in (2.5) yield (2.4). Setting \(p=0\), \(q=2\) and \(p=1\), \(q=1\) in (2.5), respectively, we have the following two asymptotic expansions:
and
Remark 2.2
Let \(H(n)\) be the hyperfactorial function defined as \(H(n):=1^{1}\cdot 2^{2}\cdot 3^{3}\cdots n^{n} \).
Then, using the relations \(\Gamma _{3}(n)=G(n-1)\Gamma _{3}(n-1)\) and \(G(n+1)=\frac {(n!)^{n}}{H(n)}\), we have
With the help of Remark 2.1, the following asymptotic expansions can be obtained:
and
Theorem 2.2
Let \(p\geq 0\) be any integer and \(q\neq 0\) be any real number. Then \(g(z)\) defined in (2.1) satisfies the following asymptotic expansion:
for \(z\rightarrow \infty \) and \(\Re z>0\), where the coefficients \(b_{i}=b_{i}(p,q)\) \((i\in \mathbb{N})\) are given by
\(a_{i}\) (\(i\in \mathbb{N}\)) are determined in (2.6).
Proof
To prove this theorem, we will follow similar techniques as Theorem 2.1. To do so, first we express (2.13) as follows:
Note that, similar to (2.7), the discussion of asymptotic expansion does not require any information on the convergence of the series in (2.14). Writing (2.5) as
we have
Equating the coefficients of powers of z in (2.14) and (2.15), we have
where \(a_{i}\) (\(i\in \mathbb{N}\)) are determined in (2.6), which completes the proof. □
Remark 2.3
Putting \(p=0\), \(q=1\); \(p=0\), \(q=2\); and \(p=1\), \(q=1\) respectively in (2.13), the following asymptotic expansions can be obtained:
and
3 Padé approximants related to the triple gamma function
Let \(h(t)=\sum_{k=0}^{\infty}c_{k}t^{k}\) be a formal power series and \(h_{n}(t)=\sum_{k=0}^{n}c_{k}t^{k}\) be its nth partial sum (\(g_{n}\) is identically zero for \(n<0\)). Then the Padé approximation [19] of order \((m,n)\) of the function g is defined as the rational function
where \(m\geq 0\) and \(n\geq 1\) are two given integers, and the coefficients \(a_{k}\) and \(b_{k}\) are given by [13]
with the following property:
Clearly, the first \(m+n+1\) coefficients of the series expansion of \([m/n]_{g}\) are identical to those of g. Further, we have
Padé approximants related to the gamma function are discussed in [13]. In this section, we are interested in finding the Padé approximants for the function \(g(x)\), which is defined in (2.1).
From (2.4) and (2.1), it can be noted that, as \(x\rightarrow \infty \),
where the coefficients \(c_{k}\) satisfy (2.6) for \(p=0\) and \(q=1\).
Now we will proceed for the Padé approximation of \(g(x)\). Let us consider
It follows that
From (3.2), we obtain
which gives \(a_{0}=1\), \(a_{1}=-\frac{359}{9120}\), and \(b_{1}=-\frac{1081}{9120}\). Hence, we have
and using (3.3), it follows that
Now we will derive a Padé approximant of order \((2,2)\). For this, let us consider
Using (3.2), we obtain
which implies that
and
Therefore, using (3.3), it follows that
Using the Padé approximation method and expansion (3.5), the following theorem can be derived.
Theorem 3.1
The Padé approximation of order \((m,n)\) of the asymptotic formula of the function \(g(x)\) (at the point \(x=\infty \)) is given by the rational function:
where \(m\geq 1\) and \(n\geq 1\) are given integers and the coefficients \(a_{k}\) and \(b_{k}\) satisfy the conditions (3.2) with \(a_{0}=c_{0}=1\) and \(c_{k}\) satisfies (2.6) for \(p=0\) and \(q=1\), and the following relation holds:
Further, we have (see [5])
where \(g_{n}(x)=\sum_{k=0}^{n}\frac{c_{k}}{x^{k}}\) is the nth partial sum of the asymptotic series (3.5).
Remark 3.1
Using (3.9), it is also possible to derive (3.7) and (3.8). Let us verify these results.
and
Setting \(m=n=r\) in (3.3), the following result is immediate.
Corollary 3.1
for \(x\rightarrow \infty \) and \(r\geq 1\) is any given integer, the coefficients \(a_{i}\) and \(b_{i}\) (\(1\leq i\leq r\)) satisfy (3.2) with \(a_{0}=c_{0}=1\), and \(c_{r}\) is given in (2.6) (for \(p=0\) and \(q=1\)).
Remark 3.2
Setting \(r=3\) in (3.10), we obtain
where
Remark 3.3
Setting \(r=4\) in (3.10), we obtain
where
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
References
Barnes, E.W.: The theory of the G-function. Q. J. Math. 31, 264–314 (1899)
Barnes, E.W.: Genesis of the double gamma function. Proc. Lond. Math. Soc. 31, 358–381 (1900)
Barnes, E.W.: The theory of the double gamma function. Philos. Trans. R. Soc. Lond. Ser. A 196, 265–388 (1901)
Barnes, E.W.: On the theory of the multiple gamma functions. Trans. Camb. Philos. Soc. 19, 374–439 (1904)
Brezinski, C., Redivo-Zaglia, M.: New representations of Padé, Padé-type, and partial Padé approximants. J. Comput. Appl. Math. 284, 69–77 (2015)
Chen, C.-P.: Asymptotic expansions for Barnes G-function. J. Number Theory 135, 36–42 (2014)
Choi, J.: Multiple gamma functions and their applications. In: Analytic Number Theory, Approximation Theory, and Special Functions, pp. 93–129. Springer, New York (2014)
Das, S.: Inequalities involving the multiple psi function. C. R. Math. Acad. Sci. Paris 356(3), 288–292 (2018)
Das, S., Swaminathan, A.: Bounds for triple gamma functions and their ratios. J. Inequal. Appl. 2016, Paper No. 210 (2016)
Ferreira, C., López, J.L.: An asymptotic expansion of the double gamma function. J. Approx. Theory 111(2), 298–314 (2001)
Hardy, G.H.: On the expression of the double zeta-function and double gamma function in terms of elliptic functions. Trans. Camb. Philos. Soc. 20, 395–427 (1905)
Hardy, G.H.: On double Fourier series and especially these which represent the double zeta-function and incommensurable parameters. Q. J. Math. 37, 53–79 (1906)
Li, X., Chen, C.-P.: Padé approximant related to asymptotics for the gamma function. J. Inequal. Appl. 2017, Paper No. 53 (2017)
Nörlund, N.E.: Mémoire sur les polynomes de Bernoulli. Acta Math. 43, 121–196 (1922)
Ruijsenaars, S.N.M.: On Barnes’ multiple zeta and gamma functions. Adv. Math. 156, 107–132 (2000)
Srinivasan, G.K.: The gamma function: an eclectic tour. Am. Math. Mon. 114(4), 297–315 (2007)
Ueno, K., Nishizawa, M.: Multiple gamma functions and multiple q-gamma functions. Publ. Res. Inst. Math. Sci. 33(5), 813–838 (1997)
Vignéras, M.-F.: L’équation fonctionnelle de la fonction zêta de Selberg du groupe modulaire \({\mathrm{PSL}}(2,\,{\mathbf{Z}})\). In: Journées Arithmétiques de Luminy (Colloq. Internat. CNRS, Centre Univ. Luminy, Luminy, 1978). Astérisque, vol. 61, pp. 235–249. Soc. Math. France, Paris
Wall, H.S.: Analytic Theory of Continued Fractions. Van Nostrand, New York (1948)
Xu, Z., Wang, W.: More asymptotic expansions for the Barnes G-function. J. Number Theory 174, 505–517 (2017)
Acknowledgements
The work of the second author is supported by the NBHM(DAE) Project No. NBHM/RP-1/2019. The authors wish to thank the anonymous referee for the careful reading of the manuscript and for constructive comments, observations, and suggestions that have helped in significantly improving the manuscript.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The manuscript was written by SD and AS. SD and AS worked together to accomplish the formal analysis, validation, and editing. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there are no competing interest.
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
Das, S., Swaminathan, A. New asymptotic expansions and Padé approximants related to the triple gamma function. J Inequal Appl 2022, 147 (2022). https://doi.org/10.1186/s13660-022-02880-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02880-3