Research Article | Open Access
Slavko Simić, Matti Vuorinen, "Landen Inequalities for Zero-Balanced Hypergeometric Functions", Abstract and Applied Analysis, vol. 2012, Article ID 932061, 11 pages, 2012. https://doi.org/10.1155/2012/932061
Landen Inequalities for Zero-Balanced Hypergeometric Functions
For zero-balanced Gaussian hypergeometric functions , , we determine maximal regions of plane where well-known Landen identities for the complete elliptic integral of the first kind turn on respective inequalities valid for each . Thereby an exhausting answer is given to the open problem from the work by Anderson et al., 1990.
Among special functions, the hypergeometric function has perhaps the widest range of applications. For instance, several well-known classes of mathematical physics are particular or limiting cases of it. For real numbers , , and with , the Gaussian hypergeometric function is defined by for , where for , and for . For many rational triples the function (1.1) can be expressed in terms of elementary functions and long lists of such particular cases are given in .
It is clear that small changes of the parameters will have small influence on the value of . In this paper we will study to what extent some well-known properties of the complete elliptic integral of the first kind, can be extended to for close to . Recall that is called zero-balanced if . In the zero-balanced case, there is a logarithmic singularity at and Gauss proved the asymptotic formula as tends to 1, where is the classical beta function. Note that and , see [2, Chapter 6].
Ramanujan found a much sharper asymptotic formula as tends to 1 (see also .) Here and in the sequel, and is the Euler-Mascheroni constant. Ramanujan’s formula (1.6) is a particular case of another well-known formula given in [2, 15.3.10].
Lemma 1.1. Suppose that the power series and have the radius of convergence and for all . Denote also (1)If the sequence is monotone increasing then is also monotone increasing on .(2)If the sequence is monotone decreasing then is also monotone decreasing on .(3)If the sequence is monotone increasing (decreasing) for and monotone decreasing (increasing) for , then there exists such that is increasing (decreasing) on and decreasing (increasing) on .
Open Problem 1. Find an analog of Landen’s transformation formulas in (1.9) for . In particular, if and , is it true that for some constant and all ?
Since for , must be greater than 1.
We wish to point out that in [10, Theorem 1.2(1)] it was claimed that for , , the function is increasing in . As pointed out by Baricz  the proof contains a gap and the correct proof will be given here.
We also found another area in plane where the function is monotone decreasing in .
2. Main Results
Our first result shows that Landen inequalities hold not only in the neighborhood of the point but also in some unbounded parts of plane.
Theorem 2.1. For all with one has that the inequality
holds for each . Also, for , , the reversed inequality
takes place for each .
In the remaining region neither of the above inequalities holds for each .
The disjoint regions in plane and , where Landen inequalities hold, are shown on the Figure 1.
The only common point of the graphs in Figure 1 is where equality sign holds.
Two-sided bounds for the ratio of target functions are also possible.
Theorem 2.2. For each and , one has
For the inequalities are reversed,
The bounds in both pairs of inequalities are sharp and equality is reached for .
Some numerical estimations of the constant in Open Problem 1 follows.
Corollary 2.3. Let be defined as in Open Problem 1. Then, for each and , one has
In the region one has
Two-sided bounds for the difference exist in a smaller region (see Figure 1), where and in .
Theorem 2.4. Let be the classical Beta function and be defined by (1.7).
For , , one has
If , , then
The second Landen identity has the following counterpart for hypergeometric functions. The resulting inequalities might be called Landen inequalities for zero-balanced hypergeometric functions.
Theorem 2.5. Let .
For and each , one has
If , then
For , one has
Throughout this section we denote where are fixed positive parameters and with the regions , , defined as above.
The basic results, which makes possible all proofs in the sequel, are contained in the following.
Lemma 3.1. The function is monotone decreasing in on and monotone increasing on .
The function is monotone decreasing on and monotone increasing on .
It should be noted that a general result of this kind was given in [12, Theorem 2.31].
Proof. We shall use Lemma 1.1 in the proof.
Since , , applying the lemma one can see that the monotonicity of depends on the sign of
Since and it follows that(1)if , that is, , then ; hence for and is monotone decreasing in ;(2)if , that is, then , that is, , and is monotone increasing in .
In the second case we have , and, proceeding analogously, we get(3)If , that is, , , let . Then and
Since , it follows that both , are nonpositive. Therefore because both constants cannot be zero simultaneously. By Lemma 1.1, we conclude that the function is monotone decreasing in .
(4)If , that is, , , then , hence . Also . Therefore and . As above, we conclude that , and is monotone increasing in this case.
Proof of Theorem 2.1. By the above lemma, for each we have on and on .
Putting , , we get on , that is, by Landen’s identity,
The second inequality is obtained analogously.
It is easily seen by (3.3) that in the remaining region the sequence decreases and then increases. By Lemma 1.1, part 3, this means that the function , for some , decreases in and increases in . Therefore, putting and , one concludes that neither of the given inequalities holds for each .
Proof of Theorem 2.2. Since is monotone decreasing on , applying Gauss formula, we obtain
Therefore, by the Landen identity.
The inequality valid on can be proved similarly.
Proof of Theorem 2.4. Both assertions of this theorem are a consequence of the following.Lemma 3.2. The function
is monotone increasing in on and monotone decreasing on .Proof. Let . Then
We used here the well-known formula
On the other hand, differentiating the first Landen identity we get
Since is monotone decreasing on and , we get , that is,
This, together with (3.15), yields
By (3.14) again, we get
Hence, The last expression is positive on because and, by Lemma 3.1, the function is monotone decreasing on .
Therefore we proved that the function is monotone increasing in on .
Remark 3.3. Due to the remark in Section 1, this proof gives an affirmative answer to the 12-years-old hypothesis risen in .
Since is increasing on , we get
Hence, proceeding as before, it follows that since is monotone increasing on .
Therefore is monotone decreasing in on and the proof of Lemma 3.2 is done.
By Lemma 3.2 we obtain on and on .
Applying Ramanujan formula (1.6), we get
The assertion of Theorem 2.4 follows.
The authors are indebted to the referee for his/her constructive comments. The research of M. Vuorinen was supported by the Academy of Finland (Project 2600066611).
- A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marichev, Integrals and Series. Vol. 3: More Special Functions, Gordon & Breach, New York, NY, USA, 1988.
- M. Abramowitz and I. A. Stegun, Eds., Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables, Dover, New York, NY, USA, 1965.
- R. Askey, “Ramanujan and hypergeometric and basic hypergeometric series,” Russian Mathematical Surveys, vol. 45, no. 1, pp. 37–86, 1990.
- G. D. Anderson, M. K. Vamanamurthy, and M. K. Vuorinen, Conformal Invariants, Inequalities, and Quasiconformal Maps, Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, New York, NY, USA, 1997.
- F. Belzunce, E.-M. Ortega, and J. M. Ruiz, “On non-monotonic ageing properties from the Laplace transform, with actuarial applications,” Insurance: Mathematics & Economics, vol. 40, no. 1, pp. 1–14, 2007.
- E. T. Whittaker and G. N. Watson, A Course of Modern Analysis, Cambridge University Press, Cambridge, UK, 4th edition, 1958.
- A. Baricz, “Landen-type inequality for Bessel functions,” Computational Methods and Function Theory, vol. 5, no. 2, pp. 373–379, 2005.
- A. Baricz, Generalized Bessel Functions of the First Kind, vol. 1994 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 2010.
- G. D. Anderson, R. W. Barnard, K. C. Richards, M. K. Vamanamurthy, and M. Vuorinen, “Inequalities for zero-balanced hypergeometric functions,” Transactions of the American Mathematical Society, vol. 347, no. 5, pp. 1713–1723, 1995.
- S.-L. Qiu and M. Vuorinen, “Landen inequalities for hypergeometric functions,” Nagoya Mathematical Journal, vol. 154, pp. 31–56, 1999.
- A. Baricz, Email to the second author, June 2005.
- S. Ponnusamy and M. Vuorinen, “Asymptotic expansions and inequalities for hypergeometric functions,” Mathematika, vol. 44, no. 2, pp. 278–301, 1997.
Copyright © 2012 Slavko Simić and Matti Vuorinen. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.