 Research
 Open Access
 Published:
Some inequalities involving two generalized beta functions in n variables
Journal of Inequalities and Applications volume 2021, Article number: 91 (2021)
Abstract
The beta and gamma functions have recently seen several developments and various extensions because of their nice properties and interesting applications. The contribution of this paper falls within this framework. After introducing a generalized gamma function and two generalized beta functions in several variables, we investigate some inequalities involving these generalized functions.
Introduction
The standard beta and gamma functions are respectively defined by
Such functions play an important role in mathematical analysis and have wide applications in various contexts of mathematics and physics. An interesting relationship expressing a connection between B and Γ is given by
Otherwise, it is wellknown that \(\Gamma (x+1)=x\Gamma (x)\) for all \(x>0\). For further properties and applications of the beta and gamma functions, we refer the interested reader to [2–6, 9–17, 23], for instance.
The previously defined functions B and Γ have been extended in the literature, see [7, 8, 19]. In [7], Chaudhry et al. introduced the following extended beta function:
and the extended gamma function
where \(a\geq 0\) is a real parameter.
Another extension of \(B(x,y)\) has been introduced by Choi et al. in [8] and reads as follows:
where \(a,b\geq 0\). It is clear that \(B(x,y;0)=B(x,y)\), \(\Gamma _{0}(x)=\Gamma (x)\) and \(B(x,y;a,a)=B(x,y;a)\), for any \(x,y>0\) and \(a\geq 0\). For more properties about \(B(x,y;a)\) and \(\Gamma _{a}(x)\), see [7, 19], and for those of \(B(x,y;a,b)\) we can consult [8].
Further extensions of the beta and gamma functions have been investigated in the literature. We recall that the notation \((\lambda )_{m}\), when m is a nonnegative integer and \(\lambda \in {\mathbb{R}}\) is nonzero, stands for the Pochhammer symbol defined by [20]
In [19], Özergin et al. introduced the generalized beta and gamma functions defined respectively by
where \(c,d>0\) and \(p\geq 0\). Here, the notation \(_{1}F_{1}(a;b;z)\) refers to the confluent hypergeometric function (CHF) defined through [18]
If a, b are integers, \(a<0\), and either \(b>0\) or \(b< a\), then the series (1.7) converges and \(_{1}F_{1}(a;b;z)\) is a polynomial function. If b is an integer with \(b\leq 0\) then the series (1.7) diverges and \(_{1}F_{1}(a;b;z)\) is undefined. Note that \(_{1}F_{1}(a;b;0)=1\). If \(a,ba>0\) then we have [19]
Making the substitution \(t=1u\) in the latter integral formula, it is easy to check that
The (CHF) stems its importance in the fact that it contributes as a good tool for solving many mathematical problems. It also appears as a solution of some partial differential equations, playing an important role in various mathematical areas. See [6, 18], for instance.
Remark 1.1
The real functions \(\Gamma (x)\) and \(B(x,y)\), as well as their previous extensions, are also welldefined when the variables x and y are complex numbers such that \(\Re e(x)>0\) and \(\Re e(y)>0\) and, of course, \(\Gamma (x)\) and \(B(x,y)\) are complex functions. Since this paper deals with some inequalities involving expressions in x and y, we then restrict ourselves for real variables and real functions.
Remark 1.2
The formula (1.8) brings us some interesting results when the conditions \(a>0\) and \(ba>0\) are satisfied. For instance, we have the following assertions:
(i) The realmap \(z\mapsto {_{1}}F_{1}(a;b;z)\) is strictly increasing and strictly convex on \({\mathbb{R}}\).
(ii) It follows that \(_{1}F_{1}(a;b;z)\geq {_{1}}F_{1}(a;b;0)=1\) for any \(z\geq 0\) and, by (1.9), \(0\leq {_{1}}F_{1}(a;b;z)\leq 1\) for any \(z\leq 0\).
These properties are not obvious from (1.7).
The extension of the beta function from two to n variables has been introduced in the literature [1, 2, 6, 21, 22]. Let \(n\geq 3\) be an integer and let \(E_{n1}\) be the standard \((n1)\)simplex of \({\mathbb{R}}^{n1}\) defined by
The beta function in n variables \(x_{1},\dots ,x_{n}>0\) is defined by
where \(t_{n}=:1\sum_{i=1}^{n1}t_{i}\). Throughout the following, we set \(\sigma (x)=:\sum_{i=1}^{n}x_{i}\) for the sake of simplicity. The following formula:
holds for any \(x_{1},\dots ,x_{n}>0\). Other properties of the beta function in n variables can be found in the literature. Among them we mention the following [6]:
where τ is any permutation of the set \(\{1,2,\dots ,n\}\), and
Recently, the authors [22] have extended the previous functions \(B(x,y;a)\) and \(B(x,y;a,b)\) for n variables. For any \(x_{1},\dots ,x_{n}>0\), \(a_{1},\dots ,a_{n}>0\) and \(a>0\), they defined the following extensions:
where, as before, \(t_{n}=:1\sum_{i=1}^{n1}t_{i}\), and \(\pi (t)=:\prod_{i=1}^{n}t_{i}\). For a systematic study of the properties of \(B(x_{1},\dots ,x_{n};a)\), as well as those of \(B (x_{1},\dots ,x_{n};a_{1},\dots ,a_{n} )\), one can consult [22].
This manuscript will be organized as follows: In Sect. 2 we introduce the generalized gamma function in n variables in a brief and simple setting. Section 3 is focused on introducing the first generalized beta function in n variables, and Sect. 4 displays some inequalities involving this generalized beta function. Section 5 is devoted to introducing a second generalized beta function in n variables, and Sect. 6 discusses some inequalities about this generalized beta function.
Generalized gamma function in n variables
In this section, we will introduce some extensions of (1.3) and (1.6) from one to n variables. We then state the following definition.
Definition 2.1
Let \(x=:(x_{1},\dots ,x_{n})\in (0,\infty )^{n}\), \(\alpha =:(\alpha _{1},\dots ,\alpha _{n})\in (0,\infty )^{n}\), \(\beta =:( \beta _{1},\dots ,\beta _{n})\in (0,\infty )^{n}\), and \(p=(p_{1},\dots ,p_{n})\in [0,\infty )^{n}\). We introduce the following:
(i) The extended gamma function in n variables defined by
where \(dt=:dt_{1}\cdots \,dt_{n}\) and \(\Gamma _{p_{i}}(x_{i})\) is defined by (1.3). If \(p=0\), we simply write \(\boldsymbol{\Gamma}(x)\), i.e.,
(ii) The generalized gamma function in n variables defined through
where \(\Gamma _{p_{i}}^{(\alpha _{i},\beta _{i})}(x_{i})\) is defined by (1.6). If \(p=0\), we simply write \(\Gamma ^{(\alpha ,\beta )}(x)\), i.e.,
Some special cases are worth mentioning, as itemized in the following:
• If \(n=1\) then (2.1) and (2.3) are reduced to (1.3) and (1.6), respectively.
• If \(\alpha =\beta \) then (2.3) coincides with (2.1).
The equality (2.3) means that the generalized gamma function in n variables \(\Gamma _{p}^{(\alpha ,\beta )}(x)\) is defined as the product in the usual way of the n components \(\Gamma _{p_{i}}^{(\alpha _{i},\beta _{i})}(x_{i})\), \(1\leq i\leq n\). Therefore, the properties of \(\Gamma _{p}^{(\alpha ,\beta )}(x)\) can be immediately deduced from those of \(\Gamma _{p_{i}}^{(\alpha _{i},\beta _{i})}(x_{i})\). As an example, the following relationship:
holds for any \(x=:(x_{1},\dots ,x_{n})\in (0,\infty )^{n}\), \(\alpha =:(\alpha _{1},\dots ,\alpha _{n})\in (0,\infty )^{n}\), \(\beta =:( \beta _{1},\dots ,\beta _{n})\in (0,\infty )^{n}\), and \(p=(p_{1},\dots ,p_{n})\in (0,\infty )^{n}\).
Remark 2.2
The generalized gamma functions in n variables defined by (2.3) and (2.4) would be of use later. See Corollaries 4.7 and 4.11, Theorem 6.3, Corollary 6.4, and Theorem 6.8.
Generalized beta function of the first kind
We preserve the same notations as in the previous sections. In the ongoing section, we will introduce a generalized beta function in n variables of the first kind as recited in the following.
Definition 3.1
Let \(x=:(x_{1},\dots ,x_{n})\in (0,\infty )^{n}\), \(c,d,q>0\) and \(r\geq 0\). The generalized beta function of the first kind is defined by
where we set \(dt=:dt_{1}\cdots \,dt_{n1}\), and \(\pi (t)=:\prod_{i=1}^{n}t_{i}\) with \(t_{n}=:1\sum_{i=1}^{n1}t_{i}\). For \(r=0\), we set throughout the following:
Some special cases and a concept of singularity of (3.1) are worth mentioning, such as:

If \(r\neq 0\) then (3.1) presents a singularity at \(q=0\). Such a singularity has been eliminated in (3.2).
The existence of the integral on the right handside of (3.1) is justified by the following result.
Proposition 3.2
Let \(x=:(x_{1},\dots ,x_{n})\in (0,\infty )^{n}\), \(r\geq 0\) and \(c,d,q>0\), with \(dc>0\). Then \(0\leq B_{r}^{(c,d)}(x;q)\leq B(x)\) and so, \(B_{r}^{(c,d)}(x;q)\) is welldefined.
Proof
By Remark 1.2(ii), we have
Integrating (3.3) side by side over \(t\in E_{n1}\), with the help of (1.10) and (3.1), we get the desired result. □
The basic properties of \(B_{r}^{(c,d)}(x;q)\), analogous to (1.12) and (1.13), are embodied in the following result.
Proposition 3.3
Let x, c, d, r, and q be as previously.
(i) The following relationship holds:
where we set \(x^{*}=:(x_{\tau (1)},\dots ,x_{\tau (n)})\) for any permutation τ of the set \(\{1,2,\dots ,n\}\).
(ii) We have
where \((e_{1},\dots ,e_{n})\) refers to the canonical basis of \({\mathbb{R}}^{n}\).
Proof
(i) Let \(y=:(x_{1},\dots ,x_{j},\dots ,x_{k},\dots ,x_{n})\) and \(z=:(x_{1},\dots ,x_{k},\dots ,x_{j}\dots ,x_{n})\). It is enough to show that \(B_{r}^{(c,d)}(y;q) =B_{r}^{(c,d)}(z;q)\) for any j, k such that \(1\leq j< k\leq n\). We consider the following change of variables:
First, it is obvious that \(\pi (t)=:t_{1}\cdots t_{n}=u_{1}\cdots u_{n}=:\pi (u)\). Further, it is clear that \((t_{1},\dots ,t_{n})\in E_{n1}\) if and only if \((u_{1},\dots ,u_{n})\in E_{n1}\). Moreover, it is easy to see that the absolute value of the Jacobian J of the transformation \((t_{1},\dots ,t_{n})\mapsto (u_{1},\dots ,u_{n})\) defined by (3.4) is given by \(J=1\). By (3.1), with the standard rules of calculus, we get
and hence the desired result.
(ii) By (3.1), we have
or, equivalently,
Since \(\sum_{j=1}^{n}t_{j}=1\), we then get the desired equality, completing the proof. □
Another property concerning \(B^{(c,d)}(x;q)\) reads as follows.
Theorem 3.4
Let x, c, d, and q be as above. Assume that \(c,dc>0\). Then we have
where \(B(x;qu)\) is defined by (1.14).
Proof
where, as before, \(dt= dt_{1}\cdots \,dt_{n1}\) and \(\pi (t)=t_{1}\cdots t_{n}\). By virtue of the uniform convergence of the involved integrals, we can interchange their orders and obtain
which, when combined with (1.14), immediately implies (3.5). □
Inequalities involving \(B_{r}^{(c,d)}(x;q)\)
This section deals with some inequalities involving the beta function of the first kind. Our first main result in this section is recited in the following.
Theorem 4.1
Let \(c>0\), \(dc>0\), \(q>0\), and \(r\geq 0\). The following inequality:
holds for any \(x,y\in (0,\infty )^{n}\). Therefore, the realvalued function \(x\mapsto B_{r}^{(c,d)}(x;q)\) is convex on \((0,\infty )^{n}\).
Proof
Let \(x=(x_{1},\dots ,x_{n})\), \(y=(y_{1},\dots ,y_{n})\in (0,\infty )^{n}\) and set
By Remark 1.2(ii), we have \(\omega (t)\geq 0\). Then we can write
This, with the Cauchy–Schwartz inequality for integrals, yields
Hence (4.1). Now, let us remark that (4.1) is equivalent to
This, with the arithmetic–geometric mean inequality \(\sqrt{ab}\leq \frac{1}{2}a+\frac{1}{2}b\) valid for any \(a,b\geq 0\), implies that
We then deduce that \(x\mapsto B_{r}^{(c,d)}(x;q)\) is midconvex. This, with the fact that \(x\mapsto B_{r}^{(c,d)}(x;q)\) is continuous, ensures that \(x\mapsto B_{r}^{(c,d)}(x;q)\) is convex. The proof is finished. □
To giving more results, we need the following lemma.
Lemma 4.2
Let \(a,b>0\). Then the realvalued function \(z\mapsto {_{1}}F_{1}(a;b;z)\) is differentiable on \({\mathbb{R}}\) and we have
In particular, one has
Proof
For the proof of (4.2), see [18]. Since \({_{1}}F_{1}(a;b;0)=1\) for any \(a,b>0\), we then deduce (4.3). □
Now, we may state the following result.
Theorem 4.3
Let \(c>0\), \(dc>0\), \(q>0\), and \(r\geq 0\). Then the following inequalities:
hold true for all \(x\in (0,\infty )^{n}\), where we set \(e=:(1,1,\dots ,1)\).
Proof
By (3.1) and (3.2), with the help of Remark 1.2(ii), we deduce that \(B_{r}^{(c,d)}(x;q)\leq B^{(c,d)}(x;q)\leq B(x)\). We now prove the inequality
According to Remark 1.2(i), the map \(z\mapsto {_{1}}F_{1}(a;b;z)\) is convex on \({\mathbb{R}}\), for fixed \(a,ba>0\). Let us recall that if \(f:{\mathbb{R}}\rightarrow {\mathbb{R}}\) is a convex function, differentiable at \(z_{0}\), then we have \(f(z)\geq f(z_{0})+(zz_{0})f'(z_{0})\) for all \(z\in {\mathbb{R}}\). Applying this with \(f(z)=:{_{1}}F_{1}(c;d;z)\), and utilizing (4.2), we obtain
Multiplying (4.6) by \(\prod_{i=1}^{n}t^{x_{i}1}\) and integrating side by side over \(t\in E_{n1}\), with the help of (3.1), (3.2), and the fact that \(\pi (t)=:\prod_{i=1}^{n}t_{i}\), we get (4.5). The proof is complete. □
It is worth mentioning that (4.5) gives the converse of \(B_{r}^{(c,d)}(x;q)\leq B^{(c,d)}(x;q)\). The following result concerns the converse of the inequality \(B_{r}^{(c,d)}(x;q)\leq B(x)\).
Proposition 4.4
Let \(c>0\), \(dc>0\), \(q>0\), and \(r\geq 0\). For any \(x\in (1,\infty )^{n}\), we have
where, as previously, \(e=:(1,1,\dots ,1)\).
Proof
By the same arguments as in the proof of Theorem 4.3 and by using (4.3), we get
Multiplying (4.8) by \(\prod_{i=1}^{n}t^{x_{i}1}\), our conclusion then would be similar to that in Theorem 4.3. The details are simple and therefore omitted here. □
In order to give more results, we need to prove the lemma below. Recall that, with \(t=:(t_{1},\dots ,t_{n1})\), we have
Lemma 4.5
With the above we have
Proof
We will prove this lemma following two different ways.
First method. Let \(a_{1},a_{2},\dots ,a_{n}\) be n positive real numbers. The following inequality:
is well known as the arithmetic–geometric mean inequality in n variables. Letting \(a_{1}=t_{1},a_{2}=t_{2},\dots ,a_{n1}=t_{n1},a_{n}=t_{n}=:1t_{1} \cdots t_{n1}\) in (4.9), we obtain \(\sqrt[n]{\pi (t)}\leq \frac{1}{n}\), i.e., \(\pi (t)\leq n^{n}\) for any \(t\in E_{n1}\). It is clear that the inequality \(\pi (t)\leq n^{n}\) becomes an equality for \((t_{1},t_{2},\dots ,t_{n1})=(1/n,1/n,\dots ,1/n)\in E_{n1}\). The desired result follows.
Second method. Let us first remark that the simplex \(E_{n1}\) is a compact set of \({\mathbb{R}}^{n1}\) and the realvalued function \(t\mapsto \pi (t)\) is continuous on \(E_{n1}\). So, the supremum of \(\pi (t)\) on \(E_{n1}\) exists and it is achieved, i.e., \(\max_{t\in E_{n1}}\pi (t)=\pi (v)\) for some \(v\in E_{n1}\). Further, it is well known that the set of all extremal points of \(E_{n1}\), as a convex compact of \({\mathbb{R}}^{n1}\), is given by \(\operatorname{Ext}(E_{n1})=\{e_{0},e_{1},\dots ,e_{n1}\}\), where \(e_{0}\) is the zerovector of \({\mathbb{R}}^{n1}\) and \((e_{1},\dots ,e_{n1})\) is the canonical basis of \({\mathbb{R}}^{n1}\). It is obvious that \(\pi (t)=0\) for any \(t\in \operatorname{Ext}(E_{n1})\). This, plus the equality \(\inf_{t\in E_{n1}}\pi (t)=0\), ensures that v will be a critical point of the differentiable function \(t\mapsto \pi (t)\). We will then find the critical points of \(t\mapsto \pi (t)\). Simple computation leads to
Then we get
We have to solve the \((n1)\)equations, namely
in the unknown \((t_{1},\dots ,t_{n1})\). Thus, (4.10) is a linear system whose matrix is \(M=I+P\) where I is the identity matrix and \(P=(p_{ij})\) is such that \(p_{ij}=1\) for any \(i,j=1,\dots ,n1\). If we denote the euclidean inner product of \({\mathbb{R}}^{n1}\) by \(\langle \cdot ,\cdot \rangle \), then it is easy to check that \(\langle Pw,w\rangle = (w_{1}+\cdots +w_{n1} )^{2}\geq 0\) for any \(w=(w_{1},\dots ,w_{n1})\in {\mathbb{R}}^{n1}\). We then deduce that \(\langle Mw,w\rangle \geq \w\^{2}\) for any \(w\in {\mathbb{R}}^{n1}\), where \(\\cdot \\) refers to the euclidean norm of \({\mathbb{R}}^{n1}\). It follows that the matrix M, which is clearly symmetric, is positive definite and so it is invertible. We conclude that the linear system (4.10) has one and only one solution. Otherwise, (4.10) is symmetric in \(t_{1},\dots ,t_{n1}\) and therefore its unique solution satisfies \(t_{1}=t_{2}=\cdots =t_{n1}=:\tau \). Substituting this into (4.10), we get \(n\tau =1\) and so the unique solution of (4.10) is \((1/n,1/n,\dots ,1/n)\). In conclusion, \(t\mapsto \pi (t)\) has one and only one critical point v, and we then conclude that \(v=(1/n,\dots ,1/n)\). A simple computation leads to \(\pi (v)=n^{n}\), and the desired result follows. □
We are now in a position to state the following result which gives a refinement of the inequality \(B_{r}^{(c,d)}(x;q)\leq B(x)\).
Theorem 4.6
Let \(c>0\), \(dc>0\), \(q>0\), \(r\geq 0\), and \(x\in (0,\infty )^{n}\). Assume that further \(q\geq \sqrt{r}\). Then we have
where \(B(x)\) is defined by (1.10).
Proof
The inequalities
are immediate since it is easy to check that
and the realvalued function \(z\mapsto {_{1}}F_{1}(c;d;z)\) is increasing. We will now prove the inequality
By (3.1), we deduce that
provided that the involved supremum exists. By (1.8), we have
It is then enough to find an upper bound of \(t\mapsto \frac{q}{\pi (t)}r\frac{\pi (t)}{q}\), since \(u\in [0,1]\) and the exponential function is increasing. By the standard techniques of real analysis, it is easy to see that if \(q\geq \sqrt{r}\) and \(0<\rho <1\) then
Otherwise, Lemma 4.5 asserts that \(\pi (t)\leq n^{n}\), and so we can write
This, with (4.15), implies that
Substituting this into (4.14) and then into (4.13), we get (4.12). The proof is finished. □
From the previous theorem, we can deduce the following result.
Corollary 4.7
With the hypotheses of Theorem 4.6, for any \(u>0\), we have:
where \(\Gamma ^{(c,d)}(u)\) is defined by (2.4). In particular,
Proof
Taking \(r=0\) in (4.11), we get
Multiplying (4.17) by \(q^{u1}\) and integrating side by side over \(q\in (0,\infty )\), we obtain (4.16) after a simple change of variable. □
Now we will state a result which gives a lower bound of \(B_{r}^{(c,d)}(x;q)\).
Theorem 4.8
Let \(c>0\), \(dc>0\), \(q>0\), \(r\geq 0\), and \(x\in (0,\infty )^{n}\). Then we have
where \(B(x;q)\) is defined by (1.14).
Proof
By (1.9), we can write
or, equivalently,
Now, by Lemma 4.5, we deduce that
Substituting this into (4.19) and taking into account that the realvalued function \(z\mapsto {_{1}}F_{1}(a;b;z)\) is increasing, with the help of (1.14), we get (4.18), and the proof is finished. □
We have the following result as well.
Corollary 4.9
With the hypotheses of Theorem 4.8, for any \(u>0\), we have:
In particular, if \(u=1\), one has
Proof
Multiplying (4.18) by \(r^{u1}\) and then integrating over \(r\in (0,\infty )\), we get
Making the change of variable \(t=\frac{r}{qn^{n}}\) in (4.22), with some simple manipulations, we get (4.20) and then (4.21). □
The following result may be stated as well.
Theorem 4.10
Let \(c>0\), \(dc>0\), \(q>0\), \(r\geq 0\), and \(x\in (0,\infty )^{n}\). Then we have
Proof
Again by (1.8), we have
By Lemma 4.5, we have, for any \(u\in [0,1]\),
Substituting these into the following formula:
with an argument of uniform convergence of the involved integrals, we get
Whence (4.23). The proof is finished. □
Finally, we state the following corollary.
Corollary 4.11
With the same hypotheses as in Theorem 4.10, for any \(u>0\), we have:
where \(\Gamma ^{(c,d)}(u)\) is defined by (2.4). In particular, if taking \(u=1\), one has
Proof
If we multiply (4.23) by \(r^{u1}\) and then integrate over \(r\in (0,\infty )\), we get
Making the change of variable \(r=qn^{n}t\) in (4.25), we get
Hence (4.24). □
Generalized beta function of the second kind
This section deals with another generalized beta function in n variables. In what follows, we need to use the following notation:
The central definition of this section is given in what follows.
Definition 5.1
Let \(x,\alpha ,\beta ,a\in (0,\infty )^{n}\), and \(p\in [0,\infty )^{n}\). The generalized beta function of the second kind is defined by
where we set \(dt=:dt_{1}\cdots \,dt_{n1}\) and \(t_{n}=:1\sum_{i=1}^{n1}t_{i}\). If \(p=0\), we simply write \(B^{(\alpha , \beta )} (x;a )\), i.e.,
Some special cases are included in the previous definition:

If \(\alpha =\beta \) and \(n=2\) then (5.2) coincides with (1.4).

If \(\alpha =\beta \) and \(p=0\) then (5.1) is exactly (1.15).

If \(\alpha =\beta \), \(p=0\) and \(a\rightarrow 0\) then (5.1) and (5.2) are both reduced to (1.10).
As for the generalized beta function of the first kind, one can easily check that the inequalities \(0\leq B_{p}^{(\alpha , \beta )} (x;a )\leq B(x)\) hold for any \(x,\alpha ,\beta \alpha ,a\in (0,\infty )^{n}\) and \(p\in [0,\infty )^{n}\). This justifies the existence of the integral defining \(B_{p}^{(\alpha , \beta )} (x;a )\) through (5.1).
The basic properties of \(B_{p}^{(\alpha ,\beta )}(x;a)\), analogous to those of Proposition 3.3, are embodied in the following result.
Proposition 5.2
Let x, α, β, a, p be as previously.
(i) We have the following relationship:
where τ is any permutation of the set \(\{1,2,\dots ,n\}\) and \(p^{*}=:(p_{\tau (1)},\dots ,p_{\tau (n)})\), with similar settings for \(\alpha ^{*}\), \(\beta ^{*}\), \(x^{*}\), \(a^{*}\).
(ii) The following relation holds:
where \((e_{1},\dots ,e_{n})\) refers to the canonical basis of \({\mathbb{R}}^{n}\).
Proof
Similar to that of Proposition 3.3. The details are left for the reader. □
Following the uniform convergence of the series (1.7), we can interchange in (5.1) the series and the integral. This shows that (5.1) is well defined, i.e., the involved integral is convergent. Further, such an integral is uniformly convergent in any compact set included in the interior of \(E_{n1}\). This implies that we can take limit and differentiation under the integral sign of (5.1). In particular, we have
where \(B^{(\alpha , \beta )} (x;a )\) is defined by (5.2).
The following result justifies that \(B_{p}^{(\alpha ; \beta )} (x;a )\) is a generalization of the extended beta function \(B(x;a)\) in n variables defined by (1.15).
Proposition 5.3
For any \(\alpha ,x,a\in (0,\infty )^{n}\), we have
Proof
By (1.7), with the help of (5.3) and (5.2), we have for any \(i=1,2,\dots ,n\),
Inequalities involving \(B_{p}^{(\alpha ,\beta )}(x;a)\)
In this section, we will discuss some inequalities involving the generalized beta function of the second kind. We begin by stating the following result.
Theorem 6.1
Let \(a,\alpha ,\beta \alpha \in (0,\infty )^{n}\), and \(p\in [0,\infty )^{n}\). Then the inequality
holds for any \(x,y\in (0,\infty )^{n}\). Thus, the realvalued map \(x\mapsto B_{p}^{(\alpha ,\beta )}(x;a)\) is convex on \((0,\infty )^{n}\).
Proof
Using similar arguments, it is analogous to that of Theorem 4.1. We left to the reader the routine task for formulating this proof in a detailed manner. □
We now state the following result which gives an upper bound of \(B_{p}^{(\alpha ,\beta )}(x;a)\).
Theorem 6.2
Let \(x,a,\alpha ,\beta \alpha \in (0,\infty )^{n}\), and \(p\in [0,\infty )^{n}\). Then
where \(B(x)\) is defined by (1.10).
Proof
Since the realvalued function \(z\mapsto {_{1}F}_{1}(a;b;z)\) is increasing and \(0< t_{i}\leq 1\) for any \(i=1,\dots ,n\), we have
This, with (1.9), implies that
Again with \(0< t_{i}\leq 1\) for \(i=1,\dots ,n\), it is clear that
Substituting (6.3) in (6.2), and using again the fact that \(z\mapsto {_{1}F}_{1}(a;b;z)\) is increasing, we get (6.1), and the proof is finished. □
We have the following result as well.
Theorem 6.3
Let \(x,\alpha ,\beta \alpha \in (0,\infty )^{n}\), and \(p\in [0,\infty )^{n}\). For any \(u=:(u_{1},\dots ,u_{n})\in (0,\infty )^{n}\), there holds:
where \(da=:da_{1}\cdots \,da_{n}\) and \(\Gamma _{p}^{(\alpha ,\beta )}(u)\) is defined by (2.3).
Proof
By (1.9), (6.1) can be written as follows:
or, equivalently,
Multiplying (6.5) by \(\prod_{i=1}^{n}a_{i}^{u_{i}1}\) and then integrating with respect to \(a=:(a_{1},\dots ,a_{n})\) over \((0,\infty )^{n}\), with the help of (2.3), we get (6.4). The proof is finished. □
The following corollary tells us that the map \(a\mapsto B_{p}^{(\alpha ,\beta )}(x;a)\) is integrable on \((0,\infty )^{n}\) provided that \(\Gamma _{p}^{(\alpha ,\beta )}(e)<\infty \).
Corollary 6.4
Let x, α, β, p be as in Theorem 6.3. Then we have
Proof
Taking \(u=e=:(1,1,\dots ,1)\) in (6.4), we get the righthand side inequality of (6.6). The lefthand side inequality of (6.6) is immediate, since \(e^{p_{i}/a_{i}}\geq 1\) and \(B_{p}^{(\alpha ,\beta )}(x;a)\geq 0\). □
Now, we state the following result which concerns a lower bound of \(B_{p}^{(\alpha ,\beta )}(x;a)\).
Theorem 6.5
Let \(x,a,\alpha ,\beta \alpha \in (0,\infty )^{n}\), and \(p\in [0,\infty )^{n}\). Then we have
where \(B(x;a)\) is defined by (1.15) and \(m_{i}=\max (2\sqrt{p_{i}},a_{i} )\). If, moreover, \(a_{i}\geq \sqrt{p_{i}}\) for any \(i=1,\dots ,n\), then (6.7) can be refined as follows:
Proof
By (1.9), (5.1) can be written as follows:
It is easy to see that \(\frac{a_{i}}{t_{i}}+p_{i}\frac{t_{i}}{a_{i}}\geq 2\sqrt{p_{i}}\). Further, since \(0< t_{i}<1\) for any \(i=1,\dots ,n\) and the realvalued map \(z\mapsto {_{1}}F_{1}(a;b;z)\) is increasing, we have
Substituting these into (6.9), with the help of (1.15), we get (6.7).
Now let us remark that we have
Hence (6.8). The fact that (6.8) refines (6.7) is immediate and the proof is finished. □
We have the following result as well.
Theorem 6.6
Let \(x,a,\alpha ,\beta \alpha \in (0,\infty )^{n}\). For any \(u=:(u_{1},\dots ,u_{n})\in (0,\infty )^{n}\), we have
where we set \(dp=: dp_{1}\cdots \,dp_{n}\) and \(\boldsymbol{\Gamma}(u)\) is defined by (2.2). In particular, if \(u=e=:(1,\dots ,1)\) then one has
Proof
Multiplying (6.7) by \(\prod_{i=1}^{n}p_{i}^{u_{i}1}\), we obtain
By integrating (6.12) with respect to \(p\in (0,\infty )^{n}\), we get
Making the change of variables \(p_{i}=a_{i}v_{i}\), \(i=1,\dots ,n\) in the righthand side integral of (6.13), we obtain
Hence (6.10). Taking \(u_{i}=1\); \(i=1,\dots ,n\) in (6.10), we get (6.11). The proof is complete. □
The following result may be recited as well.
Theorem 6.7
Let \(x,a,\alpha ,\beta \alpha \in (0,\infty )^{n}\), and \(p\in [0,\infty )^{n}\). Then we have
Proof
By (1.8), we have
Since \(0< t_{i}\leq 1\) for any \(i=1,\dots ,n\) and \(u\in [0,1]\), one has
Substituting these into (6.15) and then into (5.1), we get
This, with (1.15) and (1.8) again, yields (6.14). This completes the proof. □
We end this section by stating the following result.
Theorem 6.8
Let \(x,a,\alpha ,\beta \alpha \in (0,\infty )^{n}\). For any \(u=:(u_{1},\dots ,u_{n})\in (0,\infty )^{n}\), we have
where \(\Gamma ^{(\alpha ,\beta )}(u)\) is defined by (2.4). In particular, taking \(u=e=:(1,1,\dots ,1)\), we get
Proof
It is similar to that of Theorem 6.6, by utilizing (6.14). We therefore leave the details for the reader. □
Availability of data and materials
Not applicable.
References
 1.
Alzer, H.: Inequalities for the beta function in n variables. ANZIAM J. 44, 609–923 (2003)
 2.
Anderson, G.D., Vamanmurthy, M.K., Vuorinen, M.K.: Conformal Invariants, Inequalities, and Quasiconformal Maps. Wiley, New York (1997)
 3.
Andrews, G.E., Askey, R., Roy, R.: Special Functions. Cambridge University Press, Cambridge (1999)
 4.
Andrews, L.C.: Special Functions for Engineers and Applied Mathematicians. MacMillan Co., New York (1985)
 5.
Bell, W.W.: Special Functions for Scientist and Engineers. Oxford Univ. Press, London (1968)
 6.
Carlson, B.C.: Special Functions of Applied Mathematics. Academic Press, New York (1977)
 7.
Chaudhry, M.A., Qadir, A., Rafique, M., Zubair, S.M.: Extension of Euler’s beta function. J. Comput. Appl. Math. 78(1), 19–32 (1997)
 8.
Choi, J., Rathie, A.K., Parmar, R.K.: Extension of extended beta, hypergeometric and confluent hypergeometric functions. Honam Math. J. 36(2), 357–385 (2014)
 9.
Dragomir, S.S., Agarwal, R.P., Barnett, N.S.: Inequalities for beta and gamma functions via some classical and new integral inequalities. J. Inequal. Appl. 5, 103–165 (2000)
 10.
Grenié, L., Molteni, G.: Inequalities for the beta function. Math. Inequal. Appl. 18(4), 1427–1442 (2015)
 11.
Ivády, P.: On a beta function inequality. J. Math. Inequal. 6(3), 333–341 (2012)
 12.
Khan, N., Usman, T., Aman, M.: Extended beta, hypergeometric and confluent hypergeometric functions. Trans. Natl. Acad. Sci. Azerb. Ser. Phys.Tech. Math. Sci. Math. 39(1), 83–97 (2019)
 13.
Khan, N., Usman, T., Aman, M.: Generalized Wright function and its properties using extended beta function. Tamkang J. Math. 51(4), 349–363 (2020)
 14.
Khan, N., Usman, T., Aman, M., AlOmari, S., Araci, S.: Computation of certain integral formulas involving generalized Wright function. Adv. Differ. Equ. 2020, 491 (2020)
 15.
Khan, N.U., Usman, T., Aman, M.: Some properties concerning the analysis of generalized Wright function. J. Comput. Appl. Math. 376, 112840 (2020)
 16.
Lebedev, N.N.: Special Functions and Their Applications. Prentice Hall, New York (1965)
 17.
Luke, Y.L.: The Special Functions and Their Approximations. Academic Press, New York (1969)
 18.
Macdonald, A.D.: Proprieties of the confluent hypergeometric function. Technical Report 84, Research Laboratories of Electronics, 1948
 19.
Özergin, E., Özarslan, M.A., Altin, A.: Extensions of gamma, beta and hypergeometric functions. J. Comput. Appl. Math. 235(16), 4601–4610 (2011)
 20.
Rainville, E.: Special Functions. Chelsea, New York (1971)
 21.
Raïssouli, M., ElSoubhy, S.I.: Extending and refining some inequalities for the beta function in n variables. Submitted
 22.
Raïssouli, M., ElSoubhy, S.I.: Extension of the beta function in n variables, applications for orthogonal polynomials. Submitted
 23.
Whittaker, E.T., Watson, G.N.: A Course of Modern Analysis, 4th edn. Cambridge University Press, New York (1962)
Acknowledgements
The authors would like to thank the three anonymous referees for their valuable comments and suggestions which have substantially improved the final version of this manuscript.
Funding
Not applicable.
Author information
Affiliations
Contributions
All authors have contributed to, checked, read, and approved the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Raïssouli, M., ElSoubhy, S.I. Some inequalities involving two generalized beta functions in n variables. J Inequal Appl 2021, 91 (2021). https://doi.org/10.1186/s13660021026258
Received:
Accepted:
Published:
MSC
 26D15
 26D99
Keywords
 Beta function
 Gamma function
 Beta function in n variables
 Extended beta function in n variables
 Generalized beta function in n variables
 Inequalities