Research Article | Open Access

# A Set of Mathematical Constants Arising Naturally in the Theory of the Multiple Gamma Functions

**Academic Editor:**Sung G. Kim

#### Abstract

We introduce a set of mathematical constants which is involved naturally in the theory of multiple Gamma functions. Then we present general asymptotic inequalities for these constants whose special cases are seen to contain all results very recently given in Chen 2011.

#### 1. Introduction and Preliminaries

The double Gamma function and the multiple Gamma functions were defined and studied systematically by Barnes [1–4] in about 1900. Before their investigation by Barnes, these functions had been introduced in a different form by, for example, Hölder [5], Alexeiewsky [6] and Kinkelin [7]. In about the middle of the 1980s, these functions were revived in the study of the determinants of the Laplacians on the -dimensional unit sphere (see [8–13]). Since then the multiple Gamma functions have attracted many authors' concern and have been used in various ways. It is seen that a set of constants given in (1.11) involves naturally in the theory of the multiple Gamma functions (see [14–20] and references therein). For example, for sufficiently large real and , we have the Stirling formula for the -function (see [1]; see also [21, page 26, equation (7)]): where is the Glaisher-Kinkelin constant (see [7, 22–24]) given in (1.16) below. The Glaisher-Kinkelin constant , the constants and below introduced by Choi and Srivastava have been used, among other things, in the closed-form evaluation of certain series involving zeta functions and in calculation of some integrals of multiple Gamma functions. So trying to give asymptotic formulas for these constants , , and are significant. Very recently Chen [25] presented nice asymptotic inequalities for these constants , , and by mainly using the Euler-Maclaurin summation formulas. Here, we aim at presenting asymptotic inequalities for a set of the mathematical constants given in (1.11) some of whose special cases are seen to yield all results in [25].

For this purpose, we begin by summarizing some differential and integral formulas of the function in (1.2).

Lemma 1.1. *Differentiating the function
** times, we obtain
**
where is a polynomial of degree in satisfying the following recurrence relation:
**
In fact, by mathematical induction on , we can give an explicit expression for as follows:
**
Setting in (1.3) and (1.5), respectively, we get
**
where are the harmonic numbers defined by
**
Differentiating in (1.6) times, we obtain
**
Integrating the function in (1.2) from to , we get
*

For each , define a sequence by where are Bernoulli numbers given in (1.12), are given in (1.5), and denotes (as usual) the greatest integer ≦. Define a set of mathematical constants by The Bernoulli numbers are defined by the generating function (see [21, Section 1.6]; see also, [26, Section 1.7]): We introduce a well-known formula (see [21, Section 2.3]): where is the Riemann Zeta function defined by It is easy to observe from (1.13) that

*Remark 1.2. *We find that the constants , and correspond with the Glaisher-Kinkelin constant , the constants and introduced by Choi and Srivastava, respectively:
where denotes the Glaisher-Kinkelin constant whose numerical value is
Here and are constants whose approximate numerical values are given by
The constants and were considered recently by Choi and Srivastava [16, 18]. See also Adamchik [27, page 199]. Bendersky [28] presented a set of constants including and .

#### 2. Euler-Maclaurin Summation Formula

We begin by recalling the Euler-Maclaurin summation formula (*cf.* Hardy ([29, 30], page 318)):
where is an arbitrary constant to be determined in each special case and are the Bernoulli numbers given in (1.12). For another useful summation formula, see Edwards [31, page 117].

Let be a function of class , and let the interval be partitioned into subintervals of the same length . Then we have another useful form of the Euler-Maclaurin summation formula (see, e.g., [32]): There exists such that where . Under the same conditions in (2.2), setting , , , and in (2.2), we obtain a simple summation formula (see [25]): where, for convenience, the remainder term is given by which is seen to be bounded by

Zhu and Yang [33] established some useful formulas originated from the Euler-Maclaurin summation formula (2.1) (see also [25]) asserted by the following lemma.

Lemma 2.1. * Let and let have its first derivatives on an interval such that and (or and ) and . Then the following results hold true: *(i)*The sequence
converges. Let . *(ii)*For and , we have
For and , we have
*(iii)*There exists such that
*

#### 3. Asymptotic Formulas and Inequalities for

Applying the function in (1.2) to the Euler-Maclaurin summation formula (2.1) with and using the results presented in Lemma 1.1, we obtain an asymptotic formula for the sequence as in the following theorem.

Theorem 3.1. *The following asymptotic formulas for the constants and hold true:
**
where 's are constants dependent on each and an empty sum is understood (as usual) to be nil. And
*

*Proof. *We only note that(i)(ii)

Applying the function in (1.2) to the formula (2.9) with , and using the results presented in Lemma 1.1, we get two sided inequalities for the difference of and asserted by Theorem 3.2.

Theorem 3.2. *The following inequalities hold true:
*

*Proof. *Setting the function in (1.2) in the formula (2.9) with , and using the results presented in Lemma 1.1, we get
for some .

Replacing by and in (3.6), respectively, we obtain
In view of (1.15), we find the following inequalities:
Finally it is easily seen that the two-sided inequalities can be expressed in a single form (3.5).

*Remark 3.3. *The special cases of (3.5) when , , and are easily seen to correspond with Equations , , and in Chen's work [25], respectively.

Applying the function in (1.2) to the formula (2.3) and using the results presented in Lemma 1.1, we get two-sided inequalities for the asserted by Theorem 3.4.

Theorem 3.4. *The following inequalities hold true:
**
where, for convenience,
*

*Proof. *Setting the function in (1.2) in the formula (2.3), and using the results presented in Lemma 1.1, we have, for some ,
Replacing by and in (3.12), respectively, we obtain
In view of (1.15), we find from that
Now, taking the limit on each side of the inequalities in as , we obtain the results in Theorem 3.4.

*Remark 3.5. *It is easily seen that the specialized inequalities of (3.9) when and and (3.10) when correspond with those inequalities of Equations , , and in Chen's work [25], respectively.

#### Acknowledgments

This research was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (2012-0002957).

#### References

- E. W. Barnes, “The theory of the G-function,”
*Quarterly Journal of Mathematics*, vol. 31, pp. 264–314, 1899. View at: Google Scholar - E. W. Barnes, “The genesis of the double gamma functions,”
*Proceedings of the London Mathematical Society*, vol. 31, no. 1, pp. 358–381, 1899. View at: Publisher Site | Google Scholar - E. W. Barnes, “The theory of the double Gamma function,”
*Philosophical Transactions of the Royal Society A*, vol. 196, pp. 265–388, 1901. View at: Google Scholar - E. W. Barnes, “On the theory of the multiple Gamma functions,”
*Transactions of the Cambridge Philosophical Society*, vol. 19, pp. 374–439, 1904. View at: Google Scholar - O. Hölder,
*Uber Eine Transcendente Funktion*, vol. 1886, Dieterichsche, Göttingen, Germany, 1886. - W. P. Alexeiewsky,
*Uber Eine Classe von Funktionen, die der Gammafunktion Analog Sind*, vol. 46, Leipzig Weidmannsche Buchhandlung, 1894. - V. H. Kinkelin, “Uber eine mit der Gamma Funktion verwandte transcendente und deren Anwendung auf die integralrechnung,”
*Journal für Die Reine und Angewandte Mathematik*, vol. 57, pp. 122–158, 1860. View at: Google Scholar - J. Choi, “Determinant of Laplacian on ${S}^{3}$,”
*Mathematica Japonica*, vol. 40, no. 1, pp. 155–166, 1994. View at: Google Scholar | Zentralblatt MATH - H. Kumagai, “The determinant of the Laplacian on the $n$-sphere,”
*Acta Arithmetica*, vol. 91, no. 3, pp. 199–208, 1999. View at: Google Scholar - B. Osgood, R. Phillips, and P. Sarnak, “Extremals of determinants of Laplacians,”
*Journal of Functional Analysis*, vol. 80, no. 1, pp. 148–211, 1988. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. R. Quine and J. Choi, “Zeta regularized products and functional determinants on spheres,”
*The Rocky Mountain Journal of Mathematics*, vol. 26, no. 2, pp. 719–729, 1996. View at: Publisher Site | Google Scholar | Zentralblatt MATH - I. Vardi, “Determinants of Laplacians and multiple gamma functions,”
*SIAM Journal on Mathematical Analysis*, vol. 19, no. 2, pp. 493–507, 1988. View at: Publisher Site | Google Scholar | Zentralblatt MATH - A. Voros, “Spectral functions, special functions and the Selberg zeta function,”
*Communications in Mathematical Physics*, vol. 110, no. 3, pp. 439–465, 1987. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Choi, “Some mathematical constants,”
*Applied Mathematics and Computation*, vol. 187, no. 1, pp. 122–140, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Choi, Y. J. Cho, and H. M. Srivastava, “Series involving the zeta function and multiple gamma functions,”
*Applied Mathematics and Computation*, vol. 159, no. 2, pp. 509–537, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Choi and H. M. Srivastava, “Certain classes of series involving the zeta function,”
*Journal of Mathematical Analysis and Applications*, vol. 231, no. 1, pp. 91–117, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Choi and H. M. Srivastava, “An application of the theory of the double gamma function,”
*Kyushu Journal of Mathematics*, vol. 53, no. 1, pp. 209–222, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Choi and H. M. Srivastava, “Certain classes of series associated with the zeta function and multiple gamma functions,”
*Journal of Computational and Applied Mathematics*, vol. 118, no. 1-2, pp. 87–109, 2000, Higher transcendental functions and their applications. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Choi, H. M. Srivastava, and V. S. Adamchik, “Multiple gamma and related functions,”
*Applied Mathematics and Computation*, vol. 134, no. 2-3, pp. 515–533, 2003. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Choi, H. M. Srivastava, and J. R. Quine, “Some series involving the zeta function,”
*Bulletin of the Australian Mathematical Society*, vol. 51, no. 3, pp. 383–393, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH - H. M. Srivastava and J. Choi,
*Series Associated with the Zeta and Related Functions*, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2001. - J. W. L. Glaisher, “On the product ${1}^{1}$${2}^{2}\cdots {n}^{n}$,”
*Messenger of Mathematics*, vol. 7, pp. 43–47, 1877. View at: Google Scholar - J. W. L. Glaisher, “On the constant which occurs in the formula for ${1}^{1}$${2}^{2}\cdots {n}^{n}$,”
*Messenger of Mathematics*, vol. 24, pp. 1–16, 1894. View at: Google Scholar - http://mathworld.wolfram.com/Glaisher-KinkelinConstant.html.
- C.-P. Chen, “Glaisher-Kinkelin constant,”
*Integral Transforms and Special Functions, IFirst*, pp. 1–8, 2011. View at: Google Scholar - H. M. Srivastava and J. Choi,
*Zeta and Q-Zeta Functions and Associated Series and Integrals*, Elsevier Science Publishers, Amsterdam, The Netherlands, 2012. - V. S. Adamchik, “Polygamma functions of negative order,”
*Journal of Computational and Applied Mathematics*, vol. 100, no. 2, pp. 191–199, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH - L. Bendersky, “Sur la fonction gamma généralisée,”
*Acta Mathematica*, vol. 61, no. 1, pp. 263–322, 1933. View at: Publisher Site | Google Scholar | Zentralblatt MATH - G. H. Hardy,
*Divergent Series*, Clarendon Press , Oxford University Press, Oxford, UK, 1949. - G. H. Hardy,
*Divergent Series*, Chelsea PublishingCompany, New York, NY, USA, 2nd edition, 1991. - J. Edwards,
*A Treatise on the Integral Calculus with Applications: Examples and Problems*, vol. 1-2, Chelsea Publishing Company, New York, NY, USA, 1954. - R. L. Graham, D. E. Knuth, and O. Patashnik,
*Concrete Mathematics: A Foundation for Computer Science*, Addison-Wesley Publishing Company, Reading, Mass, USA, 2nd edition, 1994. - Y.-H. Zhu and B.-C. Yang, “Accurate inequalities for partial sums of a type of divergent series,”
*Acta Scientiarum Naturalium Universitatis Sunyatseni*, vol. 37, no. 4, pp. 33–37, 1998. View at: Google Scholar

#### Copyright

Copyright © 2012 Junesang Choi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.