Open Access

Bounds for triple gamma functions and their ratios

Journal of Inequalities and Applications20162016:210

https://doi.org/10.1186/s13660-016-1153-6

Received: 23 April 2016

Accepted: 26 August 2016

Published: 6 September 2016

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.

Keywords

gamma function multiple gamma function logarithmically convex functions monotonicity properties bounds

MSC

33B15 33A15 26D07

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 [36]. The functions denoted by \(\Gamma_{n}\) are defined [2, 7] as:
$$\Gamma_{n}(z)=\bigl(G_{n}(z)\bigr)^{(-1)^{n-1}},\quad n \in\mathbb{N}, $$
where \(G_{m}(z+1)=e^{g_{m}(z)}\) (\(m\in \mathbb{N}\)),
$$\begin{aligned}& g_{m}(z) =-zP_{m}(1)+\sum_{l=1}^{m-1} \frac{q_{l}(z)}{l!} \bigl( g_{m-1}^{(l)}(0)-P_{m}^{(l)}(1) \bigr)+P_{m}(z), \\& P_{m}(z) = \sum_{r\in\mathbb{N}_{0}^{m-1}\times\mathbb{N}}\biggl[ \frac {1}{m} \biggl(\frac{z}{M(r)} \biggr)^{m} - \frac{1}{m-1} \biggl(\frac{z}{M(r)} \biggr)^{m-1}+\cdots \\& \hphantom{P_{m}(z) ={}}{}+ (-1)^{m-1}\frac{z}{M(r)}+(-1)^{m}\log \biggl( 1+\frac {z}{M(r)} \biggr)\biggr], \end{aligned}$$
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
$$q_{m}(z):=\left \{ \textstyle\begin{array}{l@{\quad}l} \sum_{k=1}^{N-1}k^{m} & (z=N; N\in\mathbb{N}\setminus\{ 1\}), \\ \frac{B_{m+1}(z)-B_{m+1}}{m+1} & (z\in\mathbb{C}), \end{array}\displaystyle \right . $$
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
$$q_{m}'(z)=\frac{B_{m+1}'(z)}{m+1}=B_{m}(z) \quad \mbox{and}\quad q_{m}(0)=0. $$
Vignéras [7] characterized multiple gamma function with the following properties while introducing the notation \(G_{n}(z)\):
  1. (i)

    \(G_{n}(z)=\frac{G_{n}(z+1)}{G_{n-1}(z)}\) for \(z\in \mathbb{C}\),

     
  2. (ii)

    \(\frac{d^{n+1}}{dx^{n+1}}\log G_{n}(x+1)\geq0\) for \(x\geq0\),

     
  3. (iii)

    \(G_{n}(1)=1\),

     
  4. (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:
  1. (i)

    \(\Gamma_{n}(z)=\frac{\Gamma_{n+1}(z)}{\Gamma_{n+1}(z+1)}\) for \(z\in\mathbb{C}\),

     
  2. (ii)

    \(\Gamma_{n}(1)=1\),

     
  3. (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 [811] since the 19th century. Recent research interest [2, 4, 6, 1215] 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\):
$$\begin{aligned}& \exp \biggl(c_{3,1}x+c_{3,2}x^{2}- \biggl( \frac{1}{4}+\frac{\pi ^{2}}{36}+\frac{\gamma}{6} \biggr)x^{3} \biggr) \\& \quad < \Gamma_{3}(1+x) < \exp \biggl(c_{3,1}x+c_{3,2}x^{2}+c_{3,3}x^{3}+ \frac{\pi^{2}}{48}x^{4} \biggr), \end{aligned}$$
(1)
where
$$\begin{aligned}& c_{3,1} =\frac{3}{8}-\frac{1}{4}\log(2\pi)-\log A;\qquad c_{3,2}=\frac{1}{8}+\frac{1}{4}\log(2\pi)+ \frac{\gamma}{4}; \\& c_{3,3} =-\frac{1}{4}-\frac{\gamma}{6}, \end{aligned}$$
and A is defined as [20]
$$ \log A=\frac{1}{12}-\zeta'(-1), $$
(2)
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]:
$$ \frac{\Gamma(\alpha+\beta)^{p}}{\Gamma(\alpha+\beta)^{q}}\geq\frac{\Gamma (\alpha+\beta x)^{p}}{\Gamma(\beta+\alpha x)^{q}} \geq\frac{\Gamma(\alpha)^{p}}{\Gamma(\beta)^{q}} $$
(3)
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),
$$ \frac{1}{\Gamma_{2}(x+1)} =(2\pi)^{\frac{x}{2}}e^{-\frac{1}{2}[(1+\gamma )x^{2}+x]}\prod _{k=1}^{\infty} \biggl( \biggl(1+ \frac{x}{k} \biggr)^{k}e^{-x+\frac{x^{2}}{2k}} \biggr) $$
(4)
and
$$\begin{aligned} \Gamma_{3}(x+1) =&\exp\biggl[ -\frac{x^{3}}{6} \biggl(\gamma+ \frac{\pi ^{2}}{6}+\frac{3}{2} \biggr) +\frac{x^{2}}{4}\biggl(\gamma+ \log(2\pi)+\frac{1}{2}\biggr) \\ &{} +x \biggl(\frac{3}{8}-\frac{\log(2\pi)}{4}-\log A \biggr)\biggr] \end{aligned}$$
(5)
$$\begin{aligned} &{}\times\prod_{k=1}^{\infty} \biggl( \biggl(1+\frac{x}{k} \biggr)^{-\frac {1}{2}k(k+1)}\exp \biggl[ \frac{x}{2}(k+1)-\frac{x^{2}}{4} \biggl(1+\frac{1}{k} \biggr)+ \frac{x^{3}}{6k} \biggl(1+\frac{1}{k}\biggr) \biggr] \biggr), \end{aligned}$$
(6)
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
$$g(x)=\log G(x+1)=\frac{x}{2}\bigl(\log2\pi-1-(1+\gamma)x\bigr) +\sum_{l=1}^{\infty} \biggl[l\log\biggl(1+\frac{x}{l}\biggr)-x+\frac{x^{2}}{2l}\biggr]. $$
Then, for \(x\geq1\), a simple computation gives
$$\begin{aligned} g''(x)&=-(1+\gamma)+\sum _{l=1}^{\infty} \biggl(-\frac{l}{(x+l)^{2}}+ \frac {1}{l} \biggr) \\ &\geq-(1+\gamma)+\sum_{l=1}^{\infty} \biggl(- \frac{l}{(1+l)^{2}}+\frac {1}{l} \biggr), \end{aligned}$$
which, by using partial fraction and the usual summation, leads to
$$g''(x)\geq-(1+\gamma)+\sum _{l=1}^{\infty}\frac{1}{l^{2}}= -(1+\gamma )+ \frac{\pi^{2}}{6}\simeq0.0677184019\ldots, $$
which proves the theorem. □

Theorem 2

For all \(x\geq1\),
$$\begin{aligned}& \biggl(\frac{(2\pi)^{\frac{x+1}{8}}}{A} \biggr)^{x-1}e^{-\frac {1}{24}(x-1)(2x^{2}+2x-1)} \cdot \bigl(G(x+1) \bigr)^{\frac{x-1}{4}} \\& \quad < \Gamma_{3}(x+1)< \biggl(\frac{(2\pi)^{\frac{x+1}{8}}}{A} \biggr)^{x-1}e^{-\frac{1}{24}(x-1)(2x^{2}+2x-1)}\cdot \biggl(\frac{G(x+1)}{G(\frac{x+3}{2})} \biggr)^{\frac{x-1}{2}}. \end{aligned}$$
(7)

Proof

Let \(h:[\alpha,\beta]\rightarrow\mathbb{R}\) be a convex function. Then by the Hadamard inequality [24] we have
$$ h \biggl(\frac{\alpha+\beta}{2} \biggr)\leq\frac{1}{\beta-\alpha} \int _{\alpha}^{\beta}h(t)\,dt \leq\frac{h(\alpha)+h(\beta)}{2}. $$
(8)
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
$$\begin{aligned}& \log G \biggl(1+\frac{x+1}{2} \biggr)< \frac{1}{x-1} \int_{1}^{x}\log G(t+1)\,dt< \frac{1}{2}\log G(x+1) \\& \quad \Rightarrow\quad \int_{0}^{1}\log G(t+1)\,dt +(x-1)\log G \biggl( \frac{x+3}{2} \biggr) \\& \hphantom{\quad \Rightarrow\quad }\quad < \int_{0}^{x}\log G(t+1)\,dt < \int_{0}^{1}\log G(t+1)\,dt +\frac{x-1}{2}\log G(x+1). \end{aligned}$$
Now from [15], equation (4.13), we obtain
$$\begin{aligned} \int_{0}^{x}\log G(t+1)\,dt =&(1/4-2\log A)x+ \frac{1}{4}\log2\pi-\frac {x^{3}}{6}+(x-1)\log G(x+1) \\ &{}-2\log\Gamma_{3}(x+1). \end{aligned}$$
(9)
Hence we have
$$\begin{aligned}& -(1/4-2\log A)x-\frac{x^{2}}{4}\log2\pi+\frac{x^{3}}{6}-(x-1)\log G(x+1)+1/12 \\& \qquad {}+1/4\log2\pi-2\log A+(x-1)\log G \biggl(\frac{x+3}{2} \biggr) \\& \quad < -2\log\Gamma_{3}(x+1) \\& \quad < -(1/4-2\log A)x-\frac{x^{2}}{4}\log2 \pi-(x-1)\log G(x+1) \\& \qquad {}+\frac{x^{3}}{6}+1/12+1/4\log2\pi-2\log A+\frac{x-1}{2}\log G(x+1) \\& \quad \Rightarrow\quad 2\log A \bigl(x^{2}-1\bigr)-\frac{(x-1)}{4} \log2\pi+ \biggl(\frac {x^{3}}{6}-\frac{x}{4}+\frac{1}{12} \biggr) +(x-1)\log \biggl(\frac{G(\frac{x+3}{2})}{G(x+1)} \biggr) \\& \hphantom{\quad \Rightarrow\quad}\quad < -2\log\Gamma_{3}(x+1) \\& \hphantom{\quad \Rightarrow\quad}\quad< 2\log A (x-1)- \frac{1}{4}\log2\pi\bigl(x^{2}-1\bigr)+ \biggl( \frac{x^{3}}{6}-\frac {x}{4}+\frac{1}{12} \biggr) \\& \hphantom{\quad \Rightarrow\quad}\qquad {}+\frac{x-1}{2}\log G(x+1), \end{aligned}$$
which can easily be reduced to (7). □

Theorem 3

For \(x\geq0\),
$$ \mathcal{L}(x)< \Gamma_{3}(1+x)< \mathcal{U}(x), $$
(10)
where
$$\begin{aligned}& \mathcal{L}(x) =A^{-x}\bigl(G(x+1)\bigr)^{\frac{x-1}{2}}\exp\biggl( \frac {1}{24}\bigl(3x^{2}+3x+2\gamma x^{3}\bigr) \\& \hphantom{\mathcal{L}(x) ={}}{}-\frac{x^{4}}{24} \biggl(\Psi'\bigl(q(x)\bigr)+ \frac{1}{2}\bigl(q(x)-1\bigr)\Psi ''\bigl(q(x) \bigr) \biggr)\biggr); \\& \mathcal{U}(x) = A^{-x}\bigl(G(x+1)\bigr)^{\frac{x-1}{2}}\exp\biggl( \frac {1}{24}\bigl(3x^{2}+3x+2\gamma x^{3}\bigr) \\& \hphantom{\mathcal{U}(x) ={}}{}-\frac{x^{4}}{24} \biggl(\Psi'\bigl(p(x)\bigr)+ \frac{1}{2}\bigl(p(x)-1\bigr)\Psi ''\bigl(p(x) \bigr) \biggr) \biggr) \end{aligned}$$
with
$$\begin{aligned}& p(x) =1+\frac{x}{4}, \\& q(x) = \biggl(\frac{3}{x^{3}}\log(x+1)-\frac{3}{x^{2}}+\frac{3}{2x} \biggr)^{-1/3}, \end{aligned}$$
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
$$ \log G(x+1)=\frac{x}{2}\bigl(\log2\pi-1-(\gamma+1)x\bigr)+ \frac{x^{3}}{3}\sum_{m=0}^{\infty} \frac{m+1}{(m+1+\lambda(m+1))^{3}}, $$
where \(\lambda(m)\) is given by
$$\lambda(m)= \biggl(\frac{3}{x^{3}}\log \biggl(1+\frac{x}{m} \biggr)- \frac {3}{m x^{2}}+\frac{3}{2m^{2}x} \biggr)^{-1/3}-m $$
and, for all \(m\geq1\) and \(x\geq0\), \(\lambda(m)\) is strictly increasing with
$$\begin{aligned} \begin{aligned} &\lambda(1) = \biggl(\frac{3}{x^{3}}\log(x+1)-\frac{3}{x^{2}}+ \frac{3}{2x} \biggr)^{-1/3}-1=q(x)-1, \\ &\lambda(\infty) =\lim_{m\rightarrow\infty}\lambda(m)=\frac{x}{4}=p(x)-1. \end{aligned} \end{aligned}$$
Hence,
$$\begin{aligned} \int_{0}^{x}\log G(t+1)\,dt =&\frac{x^{2}}{4} \log2\pi-\frac{1}{2}\bigl(x^{2}/2+(\gamma +1)x^{3}/3 \bigr) \\ &{}+\frac{x^{4}}{12}\sum_{m=0}^{\infty} \biggl(\frac{1}{(m+1+\lambda (m+1))^{2}}-\frac{\lambda(m+1)}{ (k+1+\lambda(k+1))^{3}} \biggr). \end{aligned}$$
(11)
Since for all \(m\geq1\) and \(x\geq0\), \(\lambda(m)\) is strictly increasing. Therefore,
$$\begin{aligned}& \frac{x^{2}}{4}\log2\pi-\frac{(3x^{2}+2(1+\gamma)x^{3})}{12}+\frac {x^{4}}{12} \biggl( \Psi'\bigl(\lambda(1)+1\bigr) +\frac{1}{2}\lambda(1) \Psi''\bigl(\lambda(1)+1\bigr) \biggr) \\& \quad < \int_{0}^{x} \log G(t+1)\,dt \\& \quad < \frac{x^{2}}{4}\log2\pi-\frac{(3x^{2}+2(1+\gamma)x^{3})}{12} +\frac{x^{4}}{12} \biggl(\Psi'\bigl(\lambda(\infty)+1\bigr)+\frac{1}{2}\lambda (\infty)\Psi''\bigl(\lambda(\infty)+1\bigr) \biggr). \end{aligned}$$
Using (9) we have
$$\begin{aligned}& -(1/4-2\log A)x-\frac{x^{2}}{4}\log2\pi+\frac{x^{3}}{6}-(x-1)\log G(x+1)+ \frac{x^{2}}{4}\log2\pi \\& \qquad {}-\frac{1}{12}\bigl(3x^{2}+2(1+\gamma)x^{3} \bigr)+\frac{x^{4}}{12} \biggl(\Psi '\bigl(p(x)\bigr)+ \frac{1}{2}\bigl(p(x)-1\bigr)\Psi''\bigl(p(x) \bigr) \biggr) \\& \quad < -2\log\Gamma_{3}(1+x) \\& \quad < -\biggl(\frac{1}{4}-2\log A\biggr)x-\frac{x^{2}}{4}\log2\pi+ \frac{x^{3}}{6}-(x-1)\log G(x+1)+\frac{x^{2}}{4}\log2\pi \\& \qquad {}-\frac{1}{12}\bigl(3x^{2}+2(1+\gamma)x^{3} \bigr)+\frac{x^{4}}{12} \biggl(\Psi '\bigl(q(x)\bigr)+ \frac{1}{2}\bigl(q(x)-1\bigr)\Psi''\bigl(q(x) \bigr) \biggr), \end{aligned}$$
which implies
$$\begin{aligned}& 2x\log A-\frac{1}{12}\bigl(3x^{2}+3x+2\gamma x^{3} \bigr)-(x-1)\log G(x+1) \\& \qquad {}+\frac{x^{4}}{12}\biggl(\Psi'\bigl(p(x)\bigr)+ \frac{1}{2}\bigl(p(x)-1\bigr)\Psi ''\bigl(p(x) \bigr)\biggr) \\& \quad < -2\log\Gamma_{3}(x+1) \\& \quad < 2x\log A-\frac{1}{12}\bigl(3x^{2}+3x+2\gamma x^{3}\bigr)-(x-1)\log G(x+1) \\& \qquad {}+\frac{x^{4}}{12}\biggl(\Psi'\bigl(q(x)\bigr)+ \frac{1}{2}\bigl(q(x)-1\bigr)\Psi''\bigl(q(x) \bigr)\biggr). \end{aligned}$$
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:
  1. (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.
    Figure 1

    Comparison of upper bounds between ( 7 ) and ( 10 ).

    Figure 2

    Comparison of lower bounds between ( 7 ) and ( 10 ).

     
  2. (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.
    Figure 3

    Comparison of upper bounds between ( 1 ) and ( 10 ).

     

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
  1. (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)
     
  2. (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:
  1. (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}$$
     
  2. (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
$$\begin{aligned}& \Psi_{3}(x)-\Psi_{3}(y) \\& \quad =- \biggl(\gamma+\frac{\pi^{2}}{6}+\frac{3}{2} \biggr) \biggl( \frac {x-y}{2} \biggr)\bigl[2-(x+y)\bigr]+\frac{(x-y)}{2} \biggl( \gamma+ \log(2\pi)+\frac{1}{2} \biggr) \\& \qquad {} +\frac{1}{2}\sum_{k=0}^{\infty} \frac{k+2}{(k+1)^{2}} \biggl[\frac {(x-1)^{3}}{k+x}-\frac{(y-1)^{3}}{k+y} \biggr] \\& \quad =- \biggl(\gamma+\frac{\pi^{2}}{6}+\frac{3}{2} \biggr) \biggl( \frac {x-y}{2} \biggr)\bigl[2-(x+y)\bigr]+\frac{(x-y)}{2} \biggl( \gamma+ \log(2\pi)+\frac{1}{2} \biggr) \\& \qquad {} +\frac{1}{2}\sum_{k=0}^{\infty} \frac{k+2}{(k+1)^{2}} \biggl[\frac {\mathcal{A}(x,y,k)}{(k+x)(k+y)} \biggr]\geq0, \end{aligned}$$
where
$$\mathcal{A}(x,y,k)=k\bigl[\bigl(x^{3}-y^{3}\bigr)-3 \bigl(x^{2}-y^{2}\bigr)+3(x-y)\bigr]+\bigl[xy \bigl(x^{2}-y^{2}\bigr)-3xy(x-y)-(x-y)\bigr]. $$
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
$$\begin{aligned}& \Psi_{3}(\alpha+\beta x)-\Psi_{3}(\beta+\alpha x) \\& \quad =- \biggl(\gamma+\frac{\pi^{2}}{6}+\frac{3}{2} \biggr) (\alpha- \beta )\bigl[(\alpha+\beta)-(\alpha+\beta)x^{2}+2x-2\bigr]+ \frac{(\alpha-\beta )}{2}(1-x) \\& \qquad {}\times \biggl(\gamma+\log(2\pi)+\frac{1}{2} \biggr) + \frac{1}{2}\sum_{k=0}^{\infty} \frac{k+2}{(k+1)^{2}} \biggl[\frac {(\alpha+\beta x-1)^{3}}{k+\alpha+\beta x} -\frac{(\beta+\alpha x-1)^{3}}{k+\beta+\alpha x} \biggr] \\& \quad =- \biggl(\gamma+\frac{\pi^{2}}{6}+\frac{3}{2} \biggr) (\alpha- \beta )\bigl[(\alpha+\beta)-(\alpha+\beta)x^{2}+2x-2\bigr] + \frac{(\alpha-\beta)}{2}(1-x) \\& \qquad {}\times \biggl(\gamma+\log(2\pi)+\frac{1}{2} \biggr)+ \frac {1}{2}\sum_{k=0}^{\infty} \frac{k+2}{(k+1)^{2}} \frac{\mathcal{A}(\alpha,\beta,k,x)}{(k+\alpha+\beta x)(k+\beta +\alpha x)}\geq0, \end{aligned}$$
where
$$\begin{aligned}& \mathcal{A}(\alpha,\beta,k,x) \\& \quad =-x^{4}\bigl(\alpha^{2}-\beta^{2}\bigr) \alpha\beta+x^{3}\bigl[3\alpha\beta(\alpha-\beta )-\bigl( \alpha^{4}-\beta^{4}\bigr)-k\bigl(\alpha^{3}- \beta^{3}\bigr)\bigr] \\& \qquad {}+x^{2}\bigl[3\bigl(\alpha^{2}-\beta^{2} \bigr) -6\alpha\beta(\alpha-\beta)+3\bigl(\alpha^{3}-\beta^{3} \bigr)+3k\bigl(\alpha^{2}-\beta ^{2}\bigr)-3k\alpha\beta( \alpha-\beta)\bigr] \\& \qquad {}+x\bigl[\bigl(\alpha^{4}-\beta^{4}\bigr)-3\bigl( \alpha^{3}-\beta^{3}\bigr) +3\bigl(\alpha^{2}- \beta^{2}\bigr)-(\alpha-\beta)+6\alpha\beta(\alpha-\beta) \\& \qquad {}+3k\alpha\beta(\alpha-\beta)-3k(\alpha-\beta)\bigr]+\bigl[(\alpha- \beta) -3\alpha\beta(\alpha-\beta)+\alpha\beta\bigl(\alpha^{2}- \beta^{2}\bigr) \\& \qquad {}+3k(\alpha-\beta)-3k\bigl(\alpha^{2}-\beta^{2} \bigr)+k\bigl(\alpha^{2}-\beta^{2}\bigr)\bigr]. \end{aligned}$$
 □

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
$$\beta p\Psi_{3}(\alpha+\beta x)-\alpha q\Psi_{3}(\beta+ \alpha x)\geq0. $$

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
$$\beta p\Psi_{3}(\alpha+\beta x)\geq\alpha q\Psi_{3}(\alpha+ \beta x)\geq \alpha q \Psi_{3}(\beta+\alpha x), $$
which establishes the result. □

Theorem 4

Define \(g:[0,\infty)\rightarrow(0,\infty)\) by
$$g(x)=\frac{\Gamma_{3}(\alpha+\beta x)^{p} }{\Gamma_{3}(\beta+\alpha x)^{q}}, $$
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:
  1. (i)

    \(g(x)\) is increasing on \(0\leq x\leq1\) and

     
  2. (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
$$\begin{aligned}& h(x) =p\log\Gamma_{3}(\alpha+\beta x)-q\log\Gamma_{3}(\beta+ \alpha x) \\& \quad \Rightarrow\quad h'(x) =\beta p\frac{\Gamma_{3}'(\alpha+\beta x)}{\Gamma _{3}(\alpha+\beta x)}-\alpha q \frac{\Gamma_{3}'(\beta+\alpha x)}{ \Gamma_{3}(\beta+\alpha x)} \\& \hphantom{\quad \Rightarrow\quad h'(x)}=\beta p\Psi_{3}(\alpha+\beta x)-\alpha q \Psi_{3}(\beta+\alpha x). \end{aligned}$$
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
$$ \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}}. $$
 □

The following theorem is immediate. We omit the proof.

Theorem 5

Define \(f:[0,\infty)\rightarrow(0,\infty)\) by
$$f(x)=\frac{\Gamma_{3}(\alpha+\beta x)^{p}}{\Gamma_{3}(\beta+\alpha x)^{q}}, $$
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
$$f(x)=\frac{\Gamma_{2}(\alpha+\beta x)^{p}}{\Gamma_{2}(\beta+\alpha x)^{q}}, $$
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:
  1. (i)

    \(f(x)\) is decreasing on \(0\leq x\leq1\) and

     
  2. (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.

Declarations

Acknowledgements

The authors would like to thank the anonymous reviewers for their valuable comments and suggestions.

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.

Authors’ Affiliations

(1)
Department of Mathematics, Indian Institute of Technology Roorkee

References

  1. Adamchik, VS: The multiple gamma function and its application to computation of series. Ramanujan J. 9(3), 271-288 (2005) MathSciNetView ArticleMATHGoogle Scholar
  2. Choi, J: Multiple gamma functions and their applications. In: Analytic Number Theory, Approximation Theory, and Special Functions, pp. 93-129. Springer, New York (2014) View ArticleGoogle Scholar
  3. Barnes, EW: The theory of the G-function. Q. J. Math. 31, 264-314 (1899) MATHGoogle Scholar
  4. Barnes, EW: The genesis of the double gamma functions. Proc. Lond. Math. Soc. S1-31(1), 358-381 (1900) MathSciNetView ArticleMATHGoogle Scholar
  5. Barnes, EW: The theory of the double gamma function. Philos. Trans. R. Soc. Lond. Ser. A 196, 265-388 (1901) View ArticleMATHGoogle Scholar
  6. Barnes, EW: On the theory of the multiple gamma function. Trans. Cambridge Philos. Soc. 19, 374-439 (1904) Google Scholar
  7. 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) Google Scholar
  8. 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) Google Scholar
  9. Gautschi, W: Some elementary inequalities relating to the gamma and incomplete gamma function. J. Math. Phys. 38, 77-81 (1959/60) Google Scholar
  10. Whittaker, ET, Watson, GN: A Course of Modern Analysis. Cambridge Mathematical Library. Cambridge University Press, Cambridge (1996); reprint of the fourth (1927) edition View ArticleMATHGoogle Scholar
  11. Andrews, GE, Askey, R, Roy, R: Special Functions. Encyclopedia of Mathematics and Its Applications, vol. 71. Cambridge University Press, Cambridge (1999) View ArticleMATHGoogle Scholar
  12. Batir, N: On some properties of the gamma function. Expo. Math. 26(2), 187-196 (2008) MathSciNetView ArticleMATHGoogle Scholar
  13. Batir, N: Inequalities for the double gamma function. J. Math. Anal. Appl. 351(1), 182-185 (2009) MathSciNetView ArticleMATHGoogle Scholar
  14. Choi, J, Srivastava, HM: Some two-sided inequalities for multiple gamma functions and related results. Appl. Math. Comput. 219(20), 10343-10354 (2013) MathSciNetView ArticleMATHGoogle Scholar
  15. Choi, J, Srivastava, HM, Adamchik, VS: Multiple gamma and related functions. Appl. Math. Comput. 134(2-3), 515-533 (2003) MathSciNetView ArticleMATHGoogle Scholar
  16. 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) Google Scholar
  17. Srivastava, HM, Choi, J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht (2001) View ArticleMATHGoogle Scholar
  18. Batir, N, Cancan, M: A double inequality for the double gamma function. Int. J. Math. Anal. 2(5-8), 329-335 (2008) MathSciNetMATHGoogle Scholar
  19. Chen, C-P: Inequalities associated with Barnes G-function. Expo. Math. 29(1), 119-125 (2011) MathSciNetView ArticleMATHGoogle Scholar
  20. Vardi, I: Determinants of Laplacians and multiple gamma functions. SIAM J. Math. Anal. 19, 493-507 (1988) MathSciNetView ArticleMATHGoogle Scholar
  21. Shabani, A: Some inequalities for the gamma function. JIPAM. J. Inequal. Pure Appl. Math. 8(2), Article 49 (2007) MathSciNetMATHGoogle Scholar
  22. 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) MathSciNetMATHGoogle Scholar
  23. Sándor, J: A note on certain inequalities for the gamma function. JIPAM. J. Inequal. Pure Appl. Math. 6(3), Article 61 (2005) (electronic) MathSciNetMATHGoogle Scholar
  24. Mitrinović, DS: Analytic Inequalities. Springer, New York (1970) View ArticleMATHGoogle Scholar

Copyright

© Das and Swaminathan 2016