Abstract
This paper is motivated by an open problem of several inequalities for confluent hypergeometric functions. We give some inequalities for simple Laguerre, Laguerre, pseudo-Laguerre, Shively’s pseudo-Laguerre, and Hermite functions of one and two variables.
Similar content being viewed by others
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
where \((a)_{k}\) is the Pochhammer symbol or shifted factorial defined as
We recall here the theorems in [15, 16], which will be used in the investigation that follows.
Theorem 1.1
(Erdélyi et al. [17])
If \(a,c > 0\) and \(0 < x < 1\), then we have the inequalities of the ratios of a confluent hypergeometric function
Theorem 1.2
(i) Let \(c > a > 0\) and \(y > x > 0\), then
(ii) Let \(d > c > a > 0\) and \(y > x > 0\), then
Theorem 1.3
(Joshi and Bissu [16])
(i) Let \(a,b,c,d > 0\) and \(0 < x,y < 1\), then
(ii) Let \(c > a > 0\), \(d > b > 0\), \(x > 0\) and \(0 < y < 1\), then
In general, a new generalized form of the confluent hypergeometric function \({}_{2}F_{2}\) is introduced by using the integral representation method
Now, let us give a generalization for the above inequalities.
Theorem 1.4
(i) Let \(a,b,c,d > 0\) and \(0 < x,y < 1\), then
(ii) Let \(a,a',b,b',c,c',d,d' > 0\) and \(0 < x,y,z,w < 1\), then
(iii) Let \(c > a > 0\), \(d > b > 0\), \(c' > a' > 0\), \(d' > b' > 0\), \(x,y > 0\), and \(0 < z,w < 1\), then
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]
In the following some inequalities are established.
Theorem 2.1
If \(a < 0\) and \(0 < x < 1\), then we have
Proof
Equation (2.2) follows directly from (2.1) and (1.2) by putting \(c = 1\). □
Theorem 2.2
(i) Let \(- 1 < a < 0\) and \(y > x > 0\), then
(ii) If \(a,b < 0\) and \(0 < x,y < 1\), then
(iii) Let \(- 1 < a,b < 0\), \(x > 0\), and \(0 < y < 1\), then
Proof
Similarly result (2.3), (2.4), and (2.5) can also be obtained with the help of (2.1), (1.3), (1.5), and (1.6). □
Our interest is to show that our inequality (2.3) gives inequality at \(x = 0.9\) and \(a = - 0.5\);
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\)
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)
For \(a = - 0.5, - 0.25\), \(b = - 0.25, - 0.5\), \(x = 0.9\), and \(y = 0.5\) from (2.5), we have
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
Similar investigations are developed to establish new inequalities for a simple Laguerre function of two variables.
Theorem 2.3
(i) Let \(a,b < 0\) and \(0 < x,y < 1\), then
(ii) If \(a,b,c,d < 0\) and \(0 < x,y,z,w < 1\), then
(iii) Let \(- 1 < a,b,c,d < 0\), \(x,y > 0\), and \(0 < z,w < 1\), then
Proof
From (1.7), (1.8), (1.9), (1.10), and (2.6), we obtain the inequalities (2.7), (2.8), and (2.9). □
The numerical computation appended below verifies these ratios under suitable restrictions, and gives bounds of ratios otherwise readily available. For the examples
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
Proceeding in a similar manner we can derive bounds for classical Laguerre function of one variable, but details are omitted.
Theorem 3.1
For \(a < 0\), \(\alpha > - 1\), and \(0 < x < 1\), we have
Proof
This can be proved by using (1.2) and (3.1). □
Theorem 3.2
(i) If \(\alpha + 1 > - a > 0\) and \(y > x > 0\), then
(ii) If \(\beta + 1 > \alpha + 1 > - a > 0\), then
(iii) If \(a,b < 0\) and \(0 < x,y < 1\), then
(iv) If \(\alpha + 1 > - a > 0\), \(\beta + 1 > - b > 0\), \(x > 0\) and \(0 < y < 1\), then
Proof
The proof of the theorem is similar to the proof of Theorem 2.2. □
For the set of values \(x = 0.5\) and \(y = 1\), we have from the inequalities (3.2) and (3.3)
Some special cases of inequalities for classical Laguerre function are listed below:
and
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
Now, let us give a generalization for the above inequalities.
Theorem 3.3
(i) Let \(a,b < 0\), \(\alpha,\beta > - 1\), and \(0 < x,y < 1\), then
(ii) Let \(a,b,c,d < 0\) and \(0 < x,y,z,w < 1\), then
(iii) Let \(\alpha + 1 > - a > 0\), \(\beta + 1 > - b > 0\), \(\mu + 1 > - c > 0\), \(\nu + 1 > - d > 0\), \(x,y > 0\), and \(0 < z,w < 1\), then
Proof
The proof of the theorem is very similar to Theorem 2.3. □
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:
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
where λ is non-integral, the following inequalities for pseudo-Laguerre function are established.
Theorem 4.1
For the pseudo-Laguerre functions \(f_{a}(x;\lambda )\) we have the inequalities:
and
Proof
From (1.1)-(1.6) and (4.1), we obtain the inequalities for pseudo-Laguerre function (4.2)-(4.6). □
From (4.3) when \(x = 0.05,0.5,9\) and \(y = 0.06,0.6,10\), we get
Let λ and μ be non-integral, we define the pseudo-Laguerre function \(f_{a,b}(x,y;\lambda,\mu )\) of two variables in the form
Next, we discuss further the pseudo-Laguerre function of two variables and the inequalities and properties investigated.
Theorem 4.2
(i) If \(a,b < 0\) and \(0 < x,y < 1\), then
(ii) If \(a,b,c,d < 0\) and \(0 < x,y,z,w < 1\), then
(iii) If \(\lambda - a + 1 > - a > 0\), \(1 + \mu - b > - b > 0\), \(1 + \nu - c > - c > 0\), \(1 + \xi - d > - d > 0\), \(x,y > 0\), and \(0 < z,w < 1\), then
Proof
By using (1.7)-(1.10) and (4.7), we obtain the inequalities (4.8)-(4.10). □
Numerically, Theorem 4.2 gives
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
By using inequalities of a confluent hypergeometric function, we can obtain some inequalities for Shively’s pseudo-Laguerre function in the following theorem.
Theorem 5.1
and
Proof
This can be proved by using (1.2)-(1.6) and (5.1). □
In particular, for \(a = - 0.5\), \(\alpha = 2,3\) and \(x = 0.5\), we have from (5.2) the inequalities
Next, we define the Shively’s pseudo-Laguerre function of two variables as
A generalization for the above inequalities is given as follows.
Theorem 5.2
(i) If \(a,b < 0\), \(\alpha + 2a > 0\), \(\beta + 2b > 0\), and \(0 < x,y < 1\), then
(ii) If \(a,b,c,d < 0\), \(\alpha + 2a, \beta + 2b, \mu + 2c, \nu + 2d > 0\), and \(0 < x,y,z,w < 1\), then
(iii) If \(\alpha + a > - a > 0\), \(\beta + b > - b > 0\), \(\mu + c > - c > 0\), \(\nu + d > - d > 0\), \(x,y > 0\), and \(0 < z,w < 1\), then
Proof
Using the inequalities of confluent hypergeometric function (1.7)-(1.10) and (5.5), we obtain the inequalities for Shively’s pseudo-Laguerre function. □
As a numerical verification, we have from Theorem 5.2:
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
The above arguments establish the inequalities for a Hermite function \(H_{2a}(x)\) in the following theorem.
Theorem 6.1
(i) If \(a < 0\) and \(0 < x^{2} < 1\), then
(ii) If \(- \frac{1}{2} < a < 0\) and \(y^{2} > x^{2} > 0\), then
(iii) If \(a,b < 0\) and \(0 < x^{2},y^{2} < 1\), then
(iv) If \(- \frac{1}{2} < a,b < 0\) and \(x^{2} > 0\), \(0 < y^{2} < 1\), then
It has given the following form for the operational relations of this Hermite function of one variable \(H_{2a + 1}(x)\) [13]:
Using inequalities of confluent hypergeometric functions appropriately, we obtain some rather complicated estimates.
Theorem 6.2
and
Proof
From (1.2)-(1.6) and (6.6), it is easy to see that (6.7)-(6.11) hold. □
For example, when \(a = - 0.25\), \(x = 0.25\) and \(y = 0.5\), from (6.3) we get
The previous results can be generalized as follows. We define the Hermite function \(H_{2a,2b}(x,y)\) of two variables by the relation
A generalization for the above inequalities is given in the following.
Theorem 6.3
(i) Let \(a,b < 0\) and \(0 < x^{2},y^{2} < 1\), then
(ii) Let \(a,b,c,d < 0\) and \(0 < x^{2},y^{2},z^{2},w^{2} < 1\), then
(iii) Let \(- \frac{1}{2} < a,b,c,d < 0\), \(x^{2},y^{2} > 0\), and \(0 < z^{2},w^{2} < 1\), then
Proof
From (1.7)-(1.10) and (6.12), it is easy to see that (6.13)-(6.15) hold. □
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
Now, let us give a generalization for the above inequalities.
Theorem 6.4
(i) If \(a,b < 0\) and \(0 < x^{2},y^{2} < 1\), then
(ii) If \(a,b,c,d < 0\) and \(0 < x^{2},y^{2},z^{2},w^{2} < 1\), then
(iii) If \(- \frac{3}{2} < a,b,c,d < 0\), \(x^{2},y^{2} > 0\) and \(0 < z^{2},w^{2} < 1\), then
Proof
Similarly the results (6.17)-(6.19) can also be obtained with the help of (1.7)-(1.10) and (6.16). □
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.
References
Batahan, RS, Shehata, A: Inequalities for some functions are related to the confluent hypergeometric function. J. Andalus Social Appl. Sci. 8(2), 56-64 (2014)
Buschman, RG: Inequalities for hypergeometric functions. Math. Comput. 30, 303-305 (1976)
Carlson, BC: Some inequalities for hypergeometric functions. Proc. Am. Math. Soc. 17, 32-39 (1966)
Erber, T: Inequalities for hypergeometric functions. Arch. Ration. Mech. Anal. 4, 341-351 (1959/1960)
Joshi, CM, Arya, JP: Inequalities for certain hypergeometric functions. Math. Comput. 38(157), 201-205 (1982)
Love, ER: Inequalities for Laguerre functions. J. Inequal. Appl. 1, 293-299 (1997)
Ross, DK: Solution to problem 72-15, inequalities for special functions. SIAM Rev. 15, 668-679 (1973)
Upadhyaya, LM, Shehata, A: On applications of inequalities for confluent hypergeometric functions. In: International Conference on New Horizons in Basic and Applied Science (ICNHBAS), Hurghada, Egypt, 21-23 September (2013)
Luke, YL: Inequalities for generalized hypergeometric functions. J. Approx. Theory 5, 41-65 (1972)
Luke, YL: Mathematical Functions and Their Approximations. Academic Press, New York (1975)
Luke, YL: The Special Functions and Their Approximation. Vol. I. Academic Press, New York (1969)
Luke, YL: The Special Functions and Their Approximation. Vol. II. Academic Press, New York (1969)
Shehata, A: Inequalities for Humbert functions. J. Egypt. Math. Soc. 22, 14-18 (2014)
Rainville, ED: Special Functions. Macmillan Co., New York (1960)
Bordelon, DJ: Solution to problem 72-15, inequalities for special functions. SIAM Rev. 15, 666-668 (1973)
Joshi, CM, Bissu, SK: Inequalities for some special functions. J. Comput. Appl. Math. 69, 251-259 (1996)
Erdélyi, A, Magnus, W, Oberhettinger, F, Tricomi, FG: Tables of Integral Transforms. Vol. I. McGraw-Hill, New York (1953)
Shively, RL: On pseudo Laguerre polynomials. Michigan thesis (1953)
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
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
Shehata, A. Some inequalities for special functions. J Inequal Appl 2015, 164 (2015). https://doi.org/10.1186/s13660-015-0684-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0684-6