A note on inequalities for the ratio of zero-balanced hypergeometric functions
By Kendall C. Richards
Abstract
Motivated by a question suggested by M. E. H. Ismail in 2017, we present sharp inequalities for the ratio of zero-balanced Gaussian hypergeometric functions. The main theorems generalize known results for complete elliptic integrals of the first kind.
is referred to as the Pochhammer symbol, or rising factorial, and simplifies to $(a)_n=a(a+1)\cdots (a+n-1)$. In the case that the denominator parameter satisfies $c=a+b$, the resulting ${}_2F_1(a,b;a+b;r)$ is said to be “zero-balanced”. To provide context, we include a brief history of related estimates involving important special cases of zero-balanced hypergeometric functions. In particular, the complete elliptic integral of the first kind is defined by
The initial thread for this investigation begins with the following elegant inequality obtained by G. D. Anderson, M. K. Vamanamurthy, and M. Vuorinen Reference 4 in 1990:
$$\begin{equation} \frac{1}{1+r}<\frac{\mathcal{K}(r)}{\mathcal{K}(\sqrt {r})} \quad \text{for all $r\in (0,1)$.} \cssId{eq1}{\tag{1.2}} \end{equation}$$
In light of this result, it is natural to ask the following questions:
• What is the best value $\lambda$ such that
$$\begin{equation*} \frac{1}{1+\lambda r}<\frac{\mathcal{K}(r)}{\mathcal{K}(\sqrt {r})}\quad \text{for all $r\in (0,1)$?} \end{equation*}$$
• Can this be extended to the ratio of generalized complete elliptic integrals?
Motivated by these questions, H. Alzer and the author of this paper obtained the following result.
M. E. H. Ismail Reference 1, p. 1669, Reference 11 asked whether Theorem 1.1 can be extended to the zero-balanced hypergeometric function. It is this question that serves as the catalyst and focal point of this paper, which answers the question in the affirmative.
Before presenting our main results, we provide some additional context and note one important refinement of (Equation 1.2) due to Anderson et al. First note that Theorem 1.1, with $a=1/2$, implies that
with the best possible constant factors $\lambda =1/4$ and $\mu =0$. While it follows that (Equation 1.3) refines (Equation 1.2), it is important to note that Anderson, Vamanamurthy, and Vuorinen Reference 5 proved the following inequality in 1992:
As noted in Reference 1, (Equation 1.4) improves the lower bound in (Equation 1.3) with $\lambda = 1/4$. Moreover, it is this result by Anderson et al. that suggests a path toward answering the question by Ismail.
2. Main results
In order to prove Theorem 2.1, we will make use of a result that is an immediate corollary to (the proof of) the following result which was proved in Reference 8:
The proof of Lemma 2.2 uses a generating function argument applied to the function given by $r\mapsto (1-r)^\lambda \,{}_2F_1(a,b;c;r)$ whose series coefficients can be expressed in terms of ${}_3F_2$. Placing our attention on the generating function rather than on its series coefficients, we arrive at the following basic result.
The following corollary generalizes the result in (Equation 1.4) by Anderson et al. in Reference 5.
3. A further simplification
Before concluding, we will make a simplifying observation that allows us to relax the condition that $a+b>ab$ in Theorem 2.1. The proof will incorporate the following classical results (see Reference 12, 15.5.1 and Reference 12, 15.8.1, respectively). With $F(r):= {}_2F_1(a,b;c;r)$, it follows that
Horst Alzer and Kendall Richards, Inequalities for the ratio of complete elliptic integrals, Proc. Amer. Math. Soc. 145 (2017), no. 4, 1661–1670, DOI 10.1090/proc/13337. MR3601557, Show rawAMSref\bib{AR1}{article}{
author={Alzer, Horst},
author={Richards, Kendall},
title={Inequalities for the ratio of complete elliptic integrals},
journal={Proc. Amer. Math. Soc.},
volume={145},
date={2017},
number={4},
pages={1661--1670},
issn={0002-9939},
review={\MR {3601557}},
doi={10.1090/proc/13337},
}
Reference [2]
G. D. Anderson, R. W. Barnard, K. C. Richards, M. K. Vamanamurthy, and M. Vuorinen, Inequalities for zero-balanced hypergeometric functions, Trans. Amer. Math. Soc. 347 (1995), no. 5, 1713–1723, DOI 10.2307/2154966. MR1264800, Show rawAMSref\bib{ABRVV}{article}{
author={Anderson, G. D.},
author={Barnard, R. W.},
author={Richards, K. C.},
author={Vamanamurthy, M. K.},
author={Vuorinen, M.},
title={Inequalities for zero-balanced hypergeometric functions},
journal={Trans. Amer. Math. Soc.},
volume={347},
date={1995},
number={5},
pages={1713--1723},
issn={0002-9947},
review={\MR {1264800}},
doi={10.2307/2154966},
}
Reference [3]
G. D. Anderson, S.-L. Qiu, M. K. Vamanamurthy, and M. Vuorinen, Generalized elliptic integrals and modular equations, Pacific J. Math. 192 (2000), no. 1, 1–37, DOI 10.2140/pjm.2000.192.1. MR1741031, Show rawAMSref\bib{AQVV}{article}{
author={Anderson, G. D.},
author={Qiu, S.-L.},
author={Vamanamurthy, M. K.},
author={Vuorinen, M.},
title={Generalized elliptic integrals and modular equations},
journal={Pacific J. Math.},
volume={192},
date={2000},
number={1},
pages={1--37},
issn={0030-8730},
review={\MR {1741031}},
doi={10.2140/pjm.2000.192.1},
}
Reference [4]
G. D. Anderson, M. K. Vamanamurthy, and M. Vuorinen, Functional inequalities for complete elliptic integrals and their ratios, SIAM J. Math. Anal. 21 (1990), no. 2, 536–549, DOI 10.1137/0521029. MR1038906, Show rawAMSref\bib{AVV1}{article}{
author={Anderson, G. D.},
author={Vamanamurthy, M. K.},
author={Vuorinen, M.},
title={Functional inequalities for complete elliptic integrals and their ratios},
journal={SIAM J. Math. Anal.},
volume={21},
date={1990},
number={2},
pages={536--549},
issn={0036-1410},
review={\MR {1038906}},
doi={10.1137/0521029},
}
Reference [5]
G. D. Anderson, M. K. Vamanamurthy, and M. Vuorinen, Functional inequalities for hypergeometric functions and complete elliptic integrals, SIAM J. Math. Anal. 23 (1992), no. 2, 512–524, DOI 10.1137/0523025. MR1147875, Show rawAMSref\bib{AVV3}{article}{
author={Anderson, G. D.},
author={Vamanamurthy, M. K.},
author={Vuorinen, M.},
title={Functional inequalities for hypergeometric functions and complete elliptic integrals},
journal={SIAM J. Math. Anal.},
volume={23},
date={1992},
number={2},
pages={512--524},
issn={0036-1410},
review={\MR {1147875}},
doi={10.1137/0523025},
}
Reference [6]
Glen D. Anderson, Mavina K. Vamanamurthy, and Matti K. Vuorinen, Conformal invariants, inequalities, and quasiconformal maps, with 1 IBM-PC floppy disk (3.5 inch; HD), Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, Inc., New York, 1997. MR1462077, Show rawAMSref\bib{AVV2}{book}{
author={Anderson, Glen D.},
author={Vamanamurthy, Mavina K.},
author={Vuorinen, Matti K.},
title={Conformal invariants, inequalities, and quasiconformal maps},
series={Canadian Mathematical Society Series of Monographs and Advanced Texts},
edition={with 1 IBM-PC floppy disk (3.5 inch; HD)},
publisher={John Wiley \& Sons, Inc., New York},
date={1997},
pages={xxviii+505},
isbn={0-471-59486-5},
review={\MR {1462077}},
}
Reference [7]
Árpád Baricz, Turán type inequalities for generalized complete elliptic integrals, Math. Z. 256 (2007), no. 4, 895–911, DOI 10.1007/s00209-007-0111-x. MR2308896, Show rawAMSref\bib{BAR}{article}{
author={Baricz, \'{A}rp\'{a}d},
title={Tur\'{a}n type inequalities for generalized complete elliptic integrals},
journal={Math. Z.},
volume={256},
date={2007},
number={4},
pages={895--911},
issn={0025-5874},
review={\MR {2308896}},
doi={10.1007/s00209-007-0111-x},
}
Reference [8]
Roger W. Barnard and Kendall C. Richards, A note on the hypergeometric mean value, Comput. Methods Funct. Theory 1 (2001), no. 1, [On table of contents: 2002], 81–88, DOI 10.1007/BF03320978. MR1931604, Show rawAMSref\bib{BR}{article}{
author={Barnard, Roger W.},
author={Richards, Kendall C.},
title={A note on the hypergeometric mean value},
journal={Comput. Methods Funct. Theory},
volume={1},
date={2001},
number={1, [On table of contents: 2002]},
pages={81--88},
issn={1617-9447},
review={\MR {1931604}},
doi={10.1007/BF03320978},
}
Reference [9]
Arthur Erdélyi, Wilhelm Magnus, Fritz Oberhettinger, and Francesco G. Tricomi, Higher transcendental functions. Vols. I, II (1953), xxvi+302, xvii+396. Based, in part, on notes left by Harry Bateman. MR0058756, Show rawAMSref\bib{E}{article}{
author={Erd\'{e}lyi, Arthur},
author={Magnus, Wilhelm},
author={Oberhettinger, Fritz},
author={Tricomi, Francesco G.},
title={Higher transcendental functions. Vols. I, II},
note={Based, in part, on notes left by Harry Bateman},
publisher={McGraw-Hill Book Company, Inc., New York-Toronto-London},
date={1953},
pages={xxvi+302, xvii+396},
review={\MR {0058756}},
}
Reference [10]
Ti-Ren Huang, Song-Liang Qiu, and Xiao-Yan Ma, Monotonicity properties and inequalities for the generalized elliptic integral of the first kind, J. Math. Anal. Appl. 469 (2019), no. 1, 95–116, DOI 10.1016/j.jmaa.2018.08.061. MR3857512, Show rawAMSref\bib{HQM}{article}{
author={Huang, Ti-Ren},
author={Qiu, Song-Liang},
author={Ma, Xiao-Yan},
title={Monotonicity properties and inequalities for the generalized elliptic integral of the first kind},
journal={J. Math. Anal. Appl.},
volume={469},
date={2019},
number={1},
pages={95--116},
issn={0022-247X},
review={\MR {3857512}},
doi={10.1016/j.jmaa.2018.08.061},
}
Reference [11]
M. E. H. Ismail, personal correspondence, May 2016.
Reference [12]
Frank W. J. Olver, Daniel W. Lozier, Ronald F. Boisvert, and Charles W. Clark (eds.), NIST handbook of mathematical functions, with 1 CD-ROM (Windows, Macintosh and UNIX), U.S. Department of Commerce, National Institute of Standards and Technology, Washington, DC; Cambridge University Press, Cambridge, 2010. MR2723248, Show rawAMSref\bib{NIST}{collection}{
title={NIST handbook of mathematical functions},
editor={Olver, Frank W. J.},
editor={Lozier, Daniel W.},
editor={Boisvert, Ronald F.},
editor={Clark, Charles W.},
edition={with 1 CD-ROM (Windows, Macintosh and UNIX)},
publisher={U.S. Department of Commerce, National Institute of Standards and Technology, Washington, DC; Cambridge University Press, Cambridge},
date={2010},
pages={xvi+951},
isbn={978-0-521-14063-8},
review={\MR {2723248}},
}
Reference [13]
Zhen-Hang Yang, Wei-Mao Qian, Yu-Ming Chu, and Wen Zhang, On approximating the arithmetic-geometric mean and complete elliptic integral of the first kind, J. Math. Anal. Appl. 462 (2018), no. 2, 1714–1726, DOI 10.1016/j.jmaa.2018.03.005. MR3774313, Show rawAMSref\bib{YQC}{article}{
author={Yang, Zhen-Hang},
author={Qian, Wei-Mao},
author={Chu, Yu-Ming},
author={Zhang, Wen},
title={On approximating the arithmetic-geometric mean and complete elliptic integral of the first kind},
journal={J. Math. Anal. Appl.},
volume={462},
date={2018},
number={2},
pages={1714--1726},
issn={0022-247X},
review={\MR {3774313}},
doi={10.1016/j.jmaa.2018.03.005},
}
Reference [14]
Li Yin, Li-Guo Huang, Yong-Li Wang, and Xiu-Li Lin, An inequality for generalized complete elliptic integral, J. Inequal. Appl., posted on 2017, Paper No. 303, 6 pp., DOI 10.1186/s13660-017-1578-6. MR3736599, Show rawAMSref\bib{YIN}{article}{
author={Yin, Li},
author={Huang, Li-Guo},
author={Wang, Yong-Li},
author={Lin, Xiu-Li},
title={An inequality for generalized complete elliptic integral},
journal={J. Inequal. Appl.},
date={2017},
pages={Paper No. 303, 6 pp.},
issn={1029-242X},
review={\MR {3736599}},
doi={10.1186/s13660-017-1578-6},
}
Show rawAMSref\bib{3946862}{article}{
author={Richards, Kendall},
title={A note on inequalities for the ratio of zero-balanced hypergeometric functions},
journal={Proc. Amer. Math. Soc. Ser. B},
volume={6},
number={2},
date={2019},
pages={15-20},
issn={2330-1511},
review={3946862},
doi={10.1090/bproc/41},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.