Abstract
In this work, in addition to the bounds for triple gamma function, bounds for the ratios of triple gamma functions are obtained. Similar bounds for the ratios of the double gamma functions are also obtained. These results and their consequences are obtained using the known results of the gamma function.
Similar content being viewed by others
1 Introduction
The multiple gamma functions denoted by \(\Gamma_{n}\) have applications in many areas of mathematics. For example, \(\Gamma_{n}\) are useful in computation of certain series in analytic number theory [1, 2]. The multiple gamma functions were first studied by Barnes [3–6]. The functions denoted by \(\Gamma_{n}\) are defined [2, 7] as:
where \(G_{m}(z+1)=e^{g_{m}(z)}\) (\(m\in \mathbb{N}\)),
with \(M(r)=r_{1}+r_{2}+\cdots+r_{m}\) if \(r=(r_{1},r_{2},\ldots,r_{m})\in\mathbb {N}_{0}^{m-1}\times\mathbb{N}\).
Here the polynomials \(q_{m}(z)\) are defined as
where \(B_{m}(z)\) are Bernoulli polynomials of degree m in z.
Note that these polynomials \(q_{m}(z)\) and \(B_{m}(z)\) also obey the relation
Vignéras [7] characterized multiple gamma function with the following properties while introducing the notation \(G_{n}(z)\):
-
(i)
\(G_{n}(z)=\frac{G_{n}(z+1)}{G_{n-1}(z)}\) for \(z\in \mathbb{C}\),
-
(ii)
\(\frac{d^{n+1}}{dx^{n+1}}\log G_{n}(x+1)\geq0\) for \(x\geq0\),
-
(iii)
\(G_{n}(1)=1\),
-
(iv)
\(G_{0}(z)=z\).
It can be noted that the above conditions are the refinement of the Bohr-Morellup theorem and the multiple gamma function \(\Gamma_{n}\) of order n satisfies the following relations:
-
(i)
\(\Gamma_{n}(z)=\frac{\Gamma_{n+1}(z)}{\Gamma_{n+1}(z+1)}\) for \(z\in\mathbb{C}\),
-
(ii)
\(\Gamma_{n}(1)=1\),
-
(iii)
\(\Gamma_{1}(z)=\Gamma(z)\).
The double gamma function \(G_{2}(z)=\frac{1}{\Gamma_{2}(z)}\) is the well-known Barnes G-function.
Problems for finding sharp bounds for gamma functions have always attracted researchers [8–11] since the 19th century. Recent research interest [2, 4, 6, 12–15] are in the bounds and asymptotic expansions for multiple gamma functions and their ratios. For an integral representation and asymptotic expansion of these functions we refer to [2, 14, 16, 17] and the references therein.
In 2008, Batir [12] obtained the bounds for the gamma function and extended these results in [13, 18] for the double gamma function. Recently, Chen [19] generalized the results of Batir [13].
Choi and Srivastava [14] found the following inequality for the triple gamma function for \(0\leq x\leq1\):
where
and A is defined as [20]
known as the Glaisher-Kinkelin constant.
Here ζ is the well-known Riemann Zeta function. In Section 2, we generalize the results of Batir [13] for the triple gamma functions.
In 2007, Shabani [21] considered the ratio of gamma functions to find the following double inequality as a generalization of the independent results of Alsina and Tomás [22] and Sándor [23]:
for \(x\in[0,1]\), \(\alpha\geq\beta>0\) and \(p,q>0\) such that \(\beta p\geq\alpha q>0\) with \(\Psi(\beta+\alpha x)>0\), where \(\Psi(x)=\frac{d}{dx}\log\Gamma(x)\). The double inequalities similar to (3) for the ratios of triple gamma function are obtained in Section 3.
Since these types of inequalities can be obtained for the ratios of the double gamma function using a similar procedure, a sample result on the ratio of the double gamma function is also mentioned in Section 3.
2 Bounds for triple gamma function
The Weierstrass canonical products for \(G_{2}(x)\) and \(G_{3}(x)\) are given, respectively, by [15], equations (1.1) and (1.10),
and
where γ is the Euler constant and A is the Glaisher-Kinkelin constant as defined in (2).
Theorem 1
The Barnes G-function \(G(x+1)=G_{2}(x+1)=\frac{1}{\Gamma_{2}(x+1)}\) is logarithmically convex for all \(x\geq1\).
Proof
Let
Then, for \(x\geq1\), a simple computation gives
which, by using partial fraction and the usual summation, leads to
which proves the theorem. □
Theorem 2
For all \(x\geq1\),
Proof
Let \(h:[\alpha,\beta]\rightarrow\mathbb{R}\) be a convex function. Then by the Hadamard inequality [24] we have
Note that by Theorem 1, \(G(x+1)\) is logarithmically convex for all \(x\geq1\). Therefore taking \(h(t)=\log G(t+1)\), we get
Now from [15], equation (4.13), we obtain
Hence we have
which can easily be reduced to (7). □
Theorem 3
For \(x\geq0\),
where
with
and A being the Glaisher-Kinkelin constant defined as in (2).
Proof
With the help of a Taylor series, Batir and Cancan [18], equation (2.3), proved that
where \(\lambda(m)\) is given by
and, for all \(m\geq1\) and \(x\geq0\), \(\lambda(m)\) is strictly increasing with
Hence,
Since for all \(m\geq1\) and \(x\geq0\), \(\lambda(m)\) is strictly increasing. Therefore,
Using (9) we have
which implies
Reversing the above inequality by changing the sign and keeping the logarithmic components together in each part of the inequality give the required result. □
For the purpose of graphical illustration given below, we denote \(\Gamma _{3}(1+x)\) as \(y(x)\) and \(L_{2}\), \(L_{3}\) respectively as the lower bounds of Theorem 2 and Theorem 3 and \(U_{2}\), \(U_{3}\), respectively, as the upper bounds of Theorem 2 and Theorem 3.
Remark 1
From the graphical illustrations we observe that:
-
(i)
Although Theorem 2 is valid only for \(x\geq1\), the upper bound in Theorem 2 is better than the upper bound in Theorem 3 for \(x\geq1\). However, the lower bound given in Theorem 3 is better than the lower bound of Theorem 2. Figure 1 and Figure 2 support the claim.
-
(ii)
It can be noted that the upper bound \(U_{3}\) in Theorem 3 is sharper than the upper bound \(U_{1}\) in (1). Figure 3 supports the claim.
These observations lead to the problem of improving the lower bound for \(\Gamma_{3}\), in comparison with (1), so that it can supplement Theorem 2. This can be obtained by establishing the logarithmic convexity of \(G(x+1)\) for \(x\geq0\), which requires a different approach. Otherwise, an improved bound for (11) can also suffice the requirement.
3 Inequalities for the ratio of triple gamma functions
Similar to the di-gamma function \(\Psi(x)=\frac{\Gamma'(x)}{\Gamma (x)}\), let \(\Psi_{2}(x):=\frac{\Gamma_{2}'(x)}{\Gamma_{2}(x)}\) and \(\Psi_{3}(x):=\frac{\Gamma_{3}'(x)}{\Gamma_{3}(x)}\), \(x>0\), denote the di-double gamma and di-triple gamma function, respectively.
In this section, some inequalities for the ratio of the double gamma functions and the triple gamma functions are obtained with the help of the series representation of di-double gamma and di-triple gamma function. For this purpose, techniques given in [21] will be utilized.
First we establish some new inequalities for \(\Psi_{2}(x)\) and \(\Psi _{3}(x)\). Taking the logarithmic derivative of the double gamma function and triple gamma function, respectively, the following result is immediate.
Lemma 1
For all \(x>0\) one has the series representation
-
(i)
$$ \Psi_{2}(x)=\frac{1}{2}(1-\log2\pi)+(1+\gamma) (x-1)-(x-1)^{2}\sum_{k=0}^{\infty} \frac{1}{(k+1)(k+x)}. $$(12)
-
(ii)
$$\begin{aligned} \Psi_{3}(x) =&-\frac{(x-1)^{2}}{2} \biggl(\gamma+\frac{\pi^{2}}{6}+ \frac {3}{2} \biggr)+\frac{(x-1)}{2} \biggl(\gamma+\log(2\pi)+ \frac{1}{2} \biggr) \\ &{}+ \biggl(\frac{3}{8}-\frac{\log(2\pi)}{4}-\log A \biggr)+\frac {(x-1)^{3}}{2}\sum_{k=0}^{\infty} \frac{k+2}{(k+1)^{2}(k+x)}. \end{aligned}$$(13)
Lemma 2
Let α and β be two positive real numbers such that \(\alpha \geq\beta\), then:
-
(i)
for all \(x\in[0,1]\),
$$\begin{aligned}& \Psi_{2}(\alpha+\beta x) \leq\Psi_{2}(\beta+\alpha x), \\& \Psi_{3}(\alpha+\beta x) \geq\Psi_{3}(\beta+\alpha x), \end{aligned}$$ -
(ii)
for all \(x\geq1\),
$$\begin{aligned}& \Psi_{2}(\alpha+\beta x) \geq\Psi_{2}(\beta+\alpha x), \\& \Psi_{3}(\alpha+\beta x) \leq\Psi_{3}(\beta+\alpha x). \end{aligned}$$
Proof
It is enough to prove for \(\Psi_{3}\), as the result for \(\Psi_{2}\) will follow in a similar fashion.
Let \(x>0\), \(y\geq0\), and \(x\geq y\), then
where
So \(\Psi_{2}(x)\geq\Psi_{2}(y)\).
Since \(\alpha+\beta x>0\), \(\beta+\alpha x>0\), it can be verified that, for \(x\in[0,1]\), \(\alpha\geq\beta>0\), we obtain \(\alpha+\beta x\geq\beta+\alpha x\), which implies \(\Psi _{3}(\alpha+\beta x)\geq\Psi_{3}(\beta+\alpha x)\).
Again, \(x\geq1\Rightarrow\alpha+\beta x\leq\beta+\alpha x\) for \(\alpha\geq\beta>0\).
Therefore, \(\Psi_{3}(\alpha+\beta x)\leq\Psi_{3}(\beta+\alpha x)\). □
Alternative proof of Lemma 2
Clearly, \(x\in[0,1]\), \(\alpha,\beta>0\Rightarrow\alpha+\beta x>0\), \(\beta+\alpha x>0\). Then by (13), we obtain
where
□
Lemma 3
Let α, β, p, and q be positive real numbers. Further suppose that \(\beta p-\alpha q\) and \(\Psi_{3}(\alpha+\beta x)\) have the same sign. If for \(0\leq x\leq1\), \(\alpha\geq\beta\), and for \(x\geq1\), \(\alpha\leq\beta\). Then
Proof
We only prove the case where \(x\in[0,1]\), \(\alpha\geq\beta\), \(\beta p-\alpha q\geq0\), and \(\Psi_{3}(\beta+\alpha x)>0\).
Then by part (i) of Lemma 2, it is clear that \(\Psi_{3}(\alpha+\beta x)\) is also positive. Since \(\beta p\geq\alpha q\), using Lemma 2, we have
which establishes the result. □
Theorem 4
Define \(g:[0,\infty)\rightarrow(0,\infty)\) by
where \(\alpha\geq\beta>0\), \(p >0\), \(q>0\) such that \(\beta p \geq\alpha q>0\) and \(\Psi_{3}(\beta+\alpha x)>0\), then the following are true:
-
(i)
\(g(x)\) is increasing on \(0\leq x\leq1\) and
-
(ii)
$$\frac{\Gamma_{3}(\alpha)^{p}}{\Gamma_{3}(\beta)^{q}}\leq\frac{\Gamma _{3}(\alpha+\beta x)^{p}}{\Gamma_{3}(\beta+\alpha x)^{q}} \leq\frac{\Gamma_{3}(\alpha+\beta)^{p}}{\Gamma_{3}(\alpha+\beta)^{q}},\quad 0\leq x \leq1. $$
Proof
Let \(h(x)=\log g(x)\). Then
By part (i) of Lemma 3, we get \(h'(x)\geq0\), which implies \(h(x)\) is increasing on \(0\leq x\leq1\). This indicates that \(g(x)\) is increasing on \(0\leq x\leq1\).
So for \(x\in[0,1]\) we have \(g(0)\leq g(x)\leq g(1)\) or
□
The following theorem is immediate. We omit the proof.
Theorem 5
Define \(f:[0,\infty)\rightarrow(0,\infty)\) by
where \(\alpha,\beta,p,q>0\). Further suppose that \(\beta-\alpha\), \(\beta p-\alpha q\), and \(\Psi_{3}(\beta+\alpha x)\) have the same sign. Then for all \(x\geq0\), f is an increasing function.
Along similar lines, with the help of Lemma 2, the inequalities for the ratio of the double gamma function can be obtained. For the sake of brevity we provide only one result without proof.
Theorem 6
Define \(f:[0,\infty)\rightarrow(0,\infty)\) by
where \(\alpha\geq\beta>0\), \(p>0\), \(q>0\) such that \(\beta p\geq\alpha q>0\) and \(\Psi_{2}(\beta+\alpha x)<0\). Then the following are true:
-
(i)
\(f(x)\) is decreasing on \(0\leq x\leq1\) and
-
(ii)
$$\frac{\Gamma_{2}(\alpha)^{p}}{\Gamma_{2}(\beta)^{q}}\geq\frac{\Gamma _{2}(\alpha+\beta x)^{p}}{\Gamma_{2}(\beta+\alpha x)^{q}} \geq\frac{\Gamma_{2}(\alpha+\beta)^{p}}{\Gamma_{2}(\alpha+\beta )^{q}},\quad 0\leq x \leq1. $$
Remark 2
Unlike Theorem 5, information about the monotonicity of \(f(x)\) in Theorem 6 for \(x>1\) is not explicitly clear. However, further analysis of the monotonicity of \(f(x)\) in both Theorem 5 and Theorem 6 is expected to provide interesting consequences.
References
Adamchik, VS: The multiple gamma function and its application to computation of series. Ramanujan J. 9(3), 271-288 (2005)
Choi, J: Multiple gamma functions and their applications. In: Analytic Number Theory, Approximation Theory, and Special Functions, pp. 93-129. Springer, New York (2014)
Barnes, EW: The theory of the G-function. Q. J. Math. 31, 264-314 (1899)
Barnes, EW: The genesis of the double gamma functions. Proc. Lond. Math. Soc. S1-31(1), 358-381 (1900)
Barnes, EW: The theory of the double gamma function. Philos. Trans. R. Soc. Lond. Ser. A 196, 265-388 (1901)
Barnes, EW: On the theory of the multiple gamma function. Trans. Cambridge Philos. Soc. 19, 374-439 (1904)
Vignéras, MF: L’équation fonctionnelle de la fonction zeta de Selberg de groupe modulaire \(\operatorname{PSL}(2; Z)\). Astérisque 61, 235-249 (1979)
Watson, GN: A note on gamma functions. Proc. Edinb. Math. Soc. (2) 11, 7-9 (1958/1959); Edinb. Math. Notes No. 42 (misprinted 41) (1959)
Gautschi, W: Some elementary inequalities relating to the gamma and incomplete gamma function. J. Math. Phys. 38, 77-81 (1959/60)
Whittaker, ET, Watson, GN: A Course of Modern Analysis. Cambridge Mathematical Library. Cambridge University Press, Cambridge (1996); reprint of the fourth (1927) edition
Andrews, GE, Askey, R, Roy, R: Special Functions. Encyclopedia of Mathematics and Its Applications, vol. 71. Cambridge University Press, Cambridge (1999)
Batir, N: On some properties of the gamma function. Expo. Math. 26(2), 187-196 (2008)
Batir, N: Inequalities for the double gamma function. J. Math. Anal. Appl. 351(1), 182-185 (2009)
Choi, J, Srivastava, HM: Some two-sided inequalities for multiple gamma functions and related results. Appl. Math. Comput. 219(20), 10343-10354 (2013)
Choi, J, Srivastava, HM, Adamchik, VS: Multiple gamma and related functions. Appl. Math. Comput. 134(2-3), 515-533 (2003)
Ueno, K, Nishizawa, M: The multiple gamma function and its q-analogue. In: Quantum Groups and Quantum Spaces. Banach Center Publ., vol. 40, pp. 429-441. Polish Acad. Sci., Warsaw (1995)
Srivastava, HM, Choi, J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht (2001)
Batir, N, Cancan, M: A double inequality for the double gamma function. Int. J. Math. Anal. 2(5-8), 329-335 (2008)
Chen, C-P: Inequalities associated with Barnes G-function. Expo. Math. 29(1), 119-125 (2011)
Vardi, I: Determinants of Laplacians and multiple gamma functions. SIAM J. Math. Anal. 19, 493-507 (1988)
Shabani, A: Some inequalities for the gamma function. JIPAM. J. Inequal. Pure Appl. Math. 8(2), Article 49 (2007)
Alsina, C, Tomás, MS: A geometrical proof of a new inequality for the gamma function. JIPAM. J. Inequal. Pure Appl. Math. 6(2), Article 48 (2005) (electronic)
Sándor, J: A note on certain inequalities for the gamma function. JIPAM. J. Inequal. Pure Appl. Math. 6(3), Article 61 (2005) (electronic)
Mitrinović, DS: Analytic Inequalities. Springer, New York (1970)
Acknowledgements
The authors would like to thank the anonymous reviewers for their valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to this work. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Das, S., Swaminathan, A. Bounds for triple gamma functions and their ratios. J Inequal Appl 2016, 210 (2016). https://doi.org/10.1186/s13660-016-1153-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1153-6