1 Introduction
Inequalities for the special functions appear infrequently in the literature. Some of these inequalities are closely related to those presented here. Inequalities for the ratio of confluent hypergeometric functions are available in the literature. The formulas are very important, as they include expansions for many transcendent expressions of mathematical physics in series of the classical orthogonal polynomials, Laguerre, Hermite functions,
etc. [
1‐
8]. The developments bear heavily on the works of Luke [
9‐
12]. The author has earlier studied the inequalities for Humbert functions [
13]. This motivated us to obtain two-sided inequalities for simple Laguerre, Laguerre, pseudo-Laguerre, Shively’s pseudo-Laguerre, and Hermite functions of one and two variables through confluent hypergeometric functions of one and two variables.
In [
14], the confluent hypergeometric function is defined as
$$ {}_{1}F_{1}(a;c;x) = \sum_{k \ge 0} \frac{(a)_{k}}{k!(c)_{k}}x^{k},\quad c > 0, x > 0, $$
(1.1)
where
\((a)_{k}\) is the Pochhammer symbol or shifted factorial defined as
$$(a)_{k} = a(a + 1)(a + 2)\cdots(a + k - 1) = \frac{\Gamma (a + k)}{\Gamma (a)};\quad k \ge 1;(a)_{0} = 1. $$
We recall here the theorems in [
15,
16], which will be used in the investigation that follows.
In general, a new generalized form of the confluent hypergeometric function
\({}_{2}F_{2}\) is introduced by using the integral representation method
$$ {}_{2}F_{2}(a,b;c,d;x,y) = \sum_{h,k \ge 0} \frac{(a)_{h}(b)_{k}}{h!k!(c)_{h}(d)_{k}}x^{h}y^{k}, \quad c,d > 0, x,y > 0. $$
(1.7)
Now, let us give a generalization for the above inequalities.
2 Inequalities for simple Laguerre functions
The purpose of this section is to introduce new inequalities for a simple Laguerre function of one and two variables, which represents the hypergeometric functions as given by the relations (
1.1)-(
1.10).
The simple Laguerre function
\(L_{a}(x)\) of one variable is defined by [
14]
$$ L_{a}(x) ={}_{1}F_{1} ( - a;1;x ). $$
(2.1)
In the following some inequalities are established.
Our interest is to show that our inequality (
2.3) gives inequality at
\(x = 0.9\) and
\(a = - 0.5\);
$$1.45 < L_{ - 0.5}(0.9) < 1.9. $$
Note also that not only the restriction that the argument is less than the order is waived, but also it holds in the extended domain
\(a \in ( - 1,0)\),
\(x = 0.5\), and
\(y = 1\)
$$0.60653065971263342360379953499118 < \frac{L_{ - 0.5}(0.5)}{L_{ - 0.5}(1)} < 1. $$
As the examples for
\(a = - 0.5, - 0.25\),
\(b = - 0.25, - 0.5\),
\(x = 0.5\), and
\(y = 0.6\), we have from (
2.4)
$$\begin{aligned}& 0.96153846153846153846153846153846 \\& \quad< \frac{L_{ - 0.5}(0.5)}{L_{ - 0.25}(0.6)} < 1.3043478260869565217391304347826,\\& 0.703125 < \frac{L_{ - 0.25}(0.5)}{L_{ - 0.5}(0.6)} < 0.96153846153846153846153846153846. \end{aligned}$$
For
\(a = - 0.5, - 0.25\),
\(b = - 0.25, - 0.5\),
\(x = 0.9\), and
\(y = 0.5\) from (
2.5), we have
$$\begin{aligned}& 0.61484716157205240174672489082969 \\& \quad< \frac{L_{ - 0.5}( - 0.9)}{L_{ - 0.25}( - 0.5)} < 0.80214285714285714285714285714286,\\& 0.97254901960784313725490196078431 \\& \quad< \frac{L_{ - 0.25}( - 0.9)}{L_{ - 0.5}( - 0.5)} < 1.1177083333333333333333333333333. \end{aligned}$$
Note also that in the common domain of validity, whereas (
2.4) gives an improved lower and upper bounds, (
2.5) gives only an improved lower bound.
Next, we define the simple Laguerre function of two variables by
$$ L_{a,b}(x,y) ={}_{2}F_{2} ( - a,b;1,1;x,y ). $$
(2.6)
Similar investigations are developed to establish new inequalities for a simple Laguerre function of two variables.
The numerical computation appended below verifies these ratios under suitable restrictions, and gives bounds of ratios otherwise readily available. For the examples
$$\begin{aligned}& 1.6900 < L_{ - 0.5, - 0.4}(0.9,0.6) < 2.3800,\\& 0.7682 < \frac{L_{ - 0.5, - 0.4}(0.9,0.6)}{L_{ - 0.4, - 0.7}(0.8,0.4)} < 1.4875,\\& 1.4948 < \frac{L_{ - 0.5, - 0.4}( - 0.1, - 0.2)}{L_{ - 0.4, - 0.7}( - 0.8, - 0.4)} < 2.1987. \end{aligned}$$
In the next section, we discuss some inequalities for classical Laguerre functions of one and two variables.
3 Inequalities for classical Laguerre functions
The classical Laguerre function
\(L_{a}^{(\alpha )}(x)\) of one variable of order
α is defined as
$$ L_{a}^{(\alpha )}(x) = \frac{(1 + \alpha )_{a}}{\Gamma (a + 1)}{}_{1}F_{1} ( - a;1 + \alpha;x ). $$
(3.1)
Proceeding in a similar manner we can derive bounds for classical Laguerre function of one variable, but details are omitted.
For the set of values
\(x = 0.5\) and
\(y = 1\), we have from the inequalities (
3.2) and (
3.3)
$$\begin{aligned}& 1.25 < L_{ - 0.5}^{(0)}(0.5) < 1.5,\\& 0.74272306776217823358812422907173 \\& \quad< L_{ - 0.5}^{(0.5)}(0.5) < 0.84882636315677512410071340465341. \end{aligned}$$
Some special cases of inequalities for classical Laguerre function are listed below:
$$\begin{aligned}& 1.4112903225806451612903225806452 \\& \quad< \frac{L_{ - 0.5}^{(0.5)}(0.5)}{L_{ - 0.5}^{(1.5)}(0.6)} < 1.7857142857142857142857142857143,\\& 0.52380952380952380952380952380952 \\& \quad< \frac{L_{ - 0.5}^{(1.5)}(0.5)}{L_{ - 0.5}^{(0.5)}(0.6)} < 0.66666666666666666666666666666667,\\& 1.5 < \frac{L_{ - 0.5}^{(0.5)}(0.6)}{L_{ - 0.5}^{(1.5)}(0.5)} < 1.9090909090909090909090909090909, \end{aligned}$$
and
$$0.56 < \frac{L_{ - 0.5}^{(1.5)}(0.6)}{L_{ - 0.5}^{(0.5)}(0.5)} < 0.70857142857142857142857142857143. $$
The previous properties can be generalized as follows: We define the classical Laguerre function
\(L_{a,b}^{(\alpha,\beta )}(x,y)\) of two variables in the form
$$ L_{a,b}^{(\alpha,\beta )}(x,y) = \frac{(1 + \alpha )_{a}(1 + \beta )_{b}}{\Gamma (a + 1)\Gamma (b + 1)}{}_{2}F_{2} ( - a, - b;1 + \alpha,1 + \beta;x,y ). $$
(3.7)
Now, let us give a generalization for the above inequalities.
In particular, for the set of values
\(\alpha = 1,0.5,0.7\),
\(\beta = 2,0.7,0.6\),
\(x = 0.9,0.8\), and
\(y = 0.6,0.4\), we have from (
3.8), (
3.9), and (
3.10), respectively, the inequalities:
$$\begin{aligned}& 0.3132 < L_{ - 0.5, - 0.4}^{(1,2)}(0.9,0.6) < 0.3864, \qquad 0.6085 < L_{ - 0.5, - 0.4}^{(0.5,0.7)}(0.9,0.6) < 0.7948,\\& 0.6861 < \frac{L_{ - 0.5, - 0.4}^{(0.5,0.7)}(0.9,0.6)}{L_{ - 0.3, - 0.2}^{(0.7,0.6)}(0.8,0.4)} < 1.0399. \end{aligned}$$
In the next section, we discuss some inequalities for pseudo-Laguerre functions for different values that exhibit very interesting behavior of these function.
4 Inequalities for pseudo-Laguerre functions
For the pseudo-Laguerre function of one variable
\(f_{a}(x;\lambda )\) [
14,
18] defined by
$$ f_{a}(x;\lambda ) = \frac{( - \lambda )_{a}}{\Gamma (a + 1)}{}_{1}F_{1} ( - a;1 + \lambda - a;x ), $$
(4.1)
where
λ is non-integral, the following inequalities for pseudo-Laguerre function are established.
From (
4.3) when
\(x = 0.05,0.5,9\) and
\(y = 0.06,0.6,10\), we get
$$\begin{aligned}& 0.990049833 < \frac{f_{a}(0.05;\lambda )}{f_{a}(0.06;\lambda )} < 1,\\& 0.904837418 < \frac{f_{a}(0.5;\lambda )}{f_{a}(0.6;\lambda )} < 1,\\& 0.367879441 < \frac{f_{a}(9;\lambda )}{f_{a}(10;\lambda )} < 1. \end{aligned}$$
Let
λ and
μ be non-integral, we define the pseudo-Laguerre function
\(f_{a,b}(x,y;\lambda,\mu )\) of two variables in the form
$$ f_{a,b}(x,y;\lambda,\mu ) = \frac{( - \lambda )_{a}( - \mu )_{b}}{\Gamma (a + 1)\Gamma (b + 1)}{}_{2}F_{2} ( - a, - b;1 + \lambda - a,1 + \mu - b;x,y ). $$
(4.7)
Next, we discuss further the pseudo-Laguerre function of two variables and the inequalities and properties investigated.
Numerically, Theorem
4.2 gives
$$\begin{aligned}& 1.0800 < f_{ - 0.5, - 0.4}(0.7,0.9;0.3,0.4) < 1.3855,\\& 1.0714 < f_{ - 0.5, - 0.4}(0.9,0.6;0.3,0.4) < 1.3683. \end{aligned}$$
In the next section, we show that there exist operational relations between confluent hypergeometric functions and the various types of Shively’s pseudo-Laguerre functions.
5 Inequalities for Shively’s pseudo-Laguerre functions
Shively [
18] studied the pseudo-Laguerre function of one variable by
$$ R_{a}(\alpha,x) = \frac{(\alpha )_{2a}}{\Gamma (a + 1)(\alpha )_{a}}{}_{1}F_{1} ( - a;\alpha + a;x ). $$
(5.1)
By using inequalities of a confluent hypergeometric function, we can obtain some inequalities for Shively’s pseudo-Laguerre function in the following theorem.
In particular, for
\(a = - 0.5\),
\(\alpha = 2,3\) and
\(x = 0.5\), we have from (
5.2) the inequalities
$$\begin{aligned}& \begin{aligned}[b] &0.742723067 < R_{ - 0.5}(2,0.5) < 0.848826363,\\ &0.466854499 < R_{ - 0.5}(3,0.5) < 0.509295817. \end{aligned} \end{aligned}$$
Next, we define the Shively’s pseudo-Laguerre function of two variables as
$$ R_{a,b}(\alpha,\beta,x,y) = \frac{(\alpha )_{2a}(\beta )_{2b}}{\Gamma (a + 1)\Gamma (b + 1)(\alpha )_{a}(\beta )_{b}}{}_{2}F_{2} ( - a, - b;\alpha + a,\beta + b;x,y ). $$
(5.7)
A generalization for the above inequalities is given as follows.
As a numerical verification, we have from Theorem
5.2:
$$\begin{aligned}[b] &1.1693 < R_{ - 0.5, - 0.3}(2,1,0.8,0.3) < 1.5006,\\ &1.4331 < R_{ - 0.5, - 0.5}(1.5,1.6,0.7,0.6) < 1.9831,\\ &1.2242 < R_{ - 1.5, - 1.3}(3.5,2.8,0.7,0.6) < 1.8497,\\ &5.4152 < R_{ - 0.7, - 0.9}(1.5,1.9,0.3,0.8) < 8.0989. \end{aligned} $$
In the next section, we discuss further the various types of Hermite functions and the inequalities and properties investigated.
6 Inequalities for Hermite functions
The Hermite function of one variable
\(H_{2a}(x)\) is defined by
$$ H_{2a}(x) = \frac{( - 1)^{a}\Gamma (2a + 1)}{\Gamma (a + 1)}{}_{1}F_{1} \biggl( - a;\frac{1}{2};x^{2} \biggr). $$
(6.1)
The above arguments establish the inequalities for a Hermite function \(H_{2a}(x)\) in the following theorem.
It has given the following form for the operational relations of this Hermite function of one variable
\(H_{2a + 1}(x)\) [
13]:
$$ H_{2a + 1}(x) = \frac{( - 1)^{a}2\Gamma (2a + 2)}{\Gamma (a + 1)}x {}_{1}F_{1} \biggl( - a;\frac{3}{2};x^{2} \biggr). $$
(6.6)
Using inequalities of confluent hypergeometric functions appropriately, we obtain some rather complicated estimates.
For example, when
\(a = - 0.25\),
\(x = 0.25\) and
\(y = 0.5\), from (
6.3) we get
$$0.829029118 < \frac{H_{ - 0.5}(0.25)}{H_{ - 0.5}(0.5)} < 1. $$
The previous results can be generalized as follows. We define the Hermite function
\(H_{2a,2b}(x,y)\) of two variables by the relation
$$ H_{2a,2b}(x,y) = \frac{( - 1)^{a + b}\Gamma (2a + 1)\Gamma (2b + 1)}{\Gamma (a + 1)\Gamma (b + 1)}{}_{2}F_{2} \biggl( - a, - b;\frac{1}{2},\frac{1}{2};x^{2},y^{2} \biggr). $$
(6.12)
A generalization for the above inequalities is given in the following.
Secondly, we define the Hermite function
\(H_{2a + 1,2b + 1}(x,y)\) of two variables by the confluent hypergeometric functions as in the form
$$ H_{2a + 1,2b + 1}(x,y) = \frac{( - 1)^{a + b}4\Gamma (2a + 2)\Gamma (2b + 2)}{\Gamma (a + 1)\Gamma (b + 1)}xy{}_{2}F_{2} \biggl( - a, - b;\frac{3}{2},\frac{3}{2};x^{2},y^{2} \biggr). $$
(6.16)
Now, let us give a generalization for the above inequalities.
In conclusion, Luke’s technique is to a large extent successful in obtaining inequalities for the confluent hypergeometric function. The theorems developed herein seem sufficient to indicate the general nature of expected results and we do not further pursue the subject. Here, we have obtained inequalities for simple Laguerre, Laguerre, pseudo-Laguerre, Shively’s pseudo-Laguerre, and Hermite functions from a well-known result for confluent hypergeometric functions and their confluent cases. In a future work, we intend to investigate this aspect of the subject and to apply our techniques to develop inequalities for hypergeometric functions of several variables.
Acknowledgements
The author expresses sincere appreciation to Dr. Mohamed Saleh Metwally (Department of Mathematics, Faculty of Science (Suez), Suez Canal University, Egypt), and Dr. Mahmoud Tawfik Mohamed (Department of Mathematics, Faculty of Science (New Valley), Assiut University, New Valley, EL-Kharga 72111, Egypt) for their kind interests, encouragement, help, suggestions, comments and the investigations for this series of papers. The author would like to thank the anonymous referees for valuable comments and suggestions, which have led to a better presentation of the paper.
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.
Competing interests
The author declares that they have no competing interests.