On approximating the arithmetic-geometric mean and complete elliptic integral of the first kind. (English) Zbl 1387.33029
Summary: In the article, we prove that the double inequalities
\[
\begin{gathered} \frac{1 +(6 p - 7) r^\prime}{p +(5 p - 6) r^\prime} \frac{\pi \tanh^{- 1}(r)}{2 r} < \mathcal{K}(r) < \frac{1 +(6 q - 7) r^\prime}{q +(5 q - 6) r^\prime} \frac{\pi \tanh^{- 1}(r)}{2 r},\\ \frac{q A(1, r) +(5 q - 6) G(1, r)}{A(1, r) +(6 q - 7) G(1, r)} L(1, r) < A G M(1, r) < \frac{p A(1, r) +(5 p - 6) G(1, r)}{A(1, r) +(6 p - 7) G(1, r)} L(1, r)\end{gathered}
\]
hold for all \(r \in(0, 1)\) if and only if \(p \geq \pi / 2 = 1.570796 \cdots\) and \(q \leq 89 / 69 = 1.289855 \cdots\), where \(\mathcal{K}(r) = \int_0^{\pi / 2}(1 - r^2 \sin^2 t)^{- 1 / 2} d t\) is the complete elliptic integral of the first kind, \(\tanh^{- 1}(r) = \log [(1 + r) /(1 - r)] / 2\) is the inverse hyperbolic tangent function, \(r^\prime = \sqrt{1 - r^2}\), and \(A(1, r) = (1 + r) / 2\), \(G(1, r) = \sqrt{r}\), \(L(1, r) = (r - 1) / \log r\) and \(A G M(1, r)\) are the arithmetic, geometric, logarithmic and Gaussian arithmetic-geometric means of 1 and \(r\), respectively.
Keywords:
arithmetic-geometric mean; complete elliptic integral; Gaussian hypergeometric function; inverse hyperbolic tangent functionReferences:
| [1] | Alzer, H., Sharp inequalities for the complete elliptic integral of the first kind, Math. Proc. Cambridge Philos. Soc., 124, 2, 309-314 (1998) · Zbl 0906.33012 |
| [2] | Alzer, H.; Qiu, S.-L., Monotonicity theorem and inequalities for the complete elliptic integrals, J. Comput. Appl. Math., 172, 2, 289-312 (2004) · Zbl 1059.33029 |
| [3] | Alzer, H.; Richards, K. C., Inequalities for the ratio of complete elliptic integrals, Proc. Amer. Math. Soc., 145, 4, 1661-1670 (2017) · Zbl 1360.33015 |
| [4] | Anderson, G. D.; Vamanamurthy, M. K.; Vuorinen, M., Functional inequalities for complete elliptic integrals and their ratios, SIAM J. Math. Anal., 21, 2, 536-549 (1990) · Zbl 0692.33001 |
| [5] | Anderson, G. D.; Vamanamurthy, M. K.; Vuorinen, M., Functional inequalities for hypergeometric functions and complete elliptic integrals, SIAM J. Math. Anal., 23, 2, 512-524 (1992) · Zbl 0764.33009 |
| [6] | Anderson, G. D.; Qiu, S.-L.; Vuorinen, M., Precise estimates for differences of the Gaussian hypergeometric function, J. Math. Anal. Appl., 215, 1, 212-234 (1997) · Zbl 0885.33002 |
| [7] | Anderson, G. D.; Vamanamurthy, M. K.; Vuorinen, M., Conformal Invariants, Inequalities, and Quasiconformal Maps (1997), John Wiley & Sons: John Wiley & Sons New York · Zbl 0885.30012 |
| [8] | András, S.; Baricz, Á., Bounds for complete elliptic integrals of the first kind, Expo. Math., 28, 4, 357-364 (2010) · Zbl 1204.33004 |
| [9] | Baricz, Á., Turán type inequalities for generalized complete elliptic integrals, Math. Z., 256, 4, 895-911 (2007) · Zbl 1125.26022 |
| [10] | Barnard, R. W.; Pearce, K.; Richards, K. C., An inequality involving the generalized hypergeometric function and the arc length of an ellipse, SIAM J. Math. Anal., 31, 3, 693-699 (2000) · Zbl 0943.33002 |
| [11] | Barnard, R. W.; Pearce, K.; Richards, K. C., A monotonicity properties involving \({}_3F_2\), and comparisons of the classical approximations of elliptical arc length, SIAM J. Math. Anal., 32, 2, 403-419 (2000) · Zbl 0983.33006 |
| [12] | Bhayo, B. A.; Vuorinen, M., On generalized complete integrals and modular functions, Proc. Edinb. Math. Soc. (2), 55, 3, 591-611 (2012) · Zbl 1267.33015 |
| [13] | Bowman, F., Introduction to Elliptic Function with Applications (1961), Dover Publications: Dover Publications New York · Zbl 0098.28304 |
| [14] | Byrd, P. F.; Friedman, M. D., Handbook of Elliptic Integrals for Engineers and Scientists (1971), Springer-Verlag: Springer-Verlag New York · Zbl 0213.16602 |
| [15] | Carlson, B. C.; Vuorinen, M., Inequality of the AGM and the logarithmic mean, SIAM Rev., 33, 4, 653-654 (1991) |
| [16] | Chu, Y.-M.; Wang, M.-K., Optimal Lehmer mean bounds for Toader mean, Results Math., 61, 3-4, 223-229 (2012) · Zbl 1259.26035 |
| [17] | Chu, Y.-M.; Zhao, T.-H., Convexity and concavity of the complete elliptic integrals with respect to Lehmer mean, J. Inequal. Appl., 2015, Article 396 pp. (2015) · Zbl 1332.33005 |
| [18] | Chu, Y.-M.; Wang, M.-K.; Qiu, Y.-F., On Alzer and Qiu’s conjecture for complete elliptic integral and inverse hyperbolic tangent function, Abstr. Appl. Anal., 2011, Article 697547 pp. (2011) · Zbl 1226.33010 |
| [19] | Chu, Y.-M.; Qiu, Y.-F.; Wang, M.-K., Hölder mean inequalities for complete elliptic integrals, Integral Transforms Spec. Funct., 23, 7, 521-527 (2012) · Zbl 1258.33011 |
| [20] | Chu, Y.-M.; Wang, M.-K.; Jiang, Y.-P.; Qiu, S.-L., Concavity of the complete elliptic integrals of the second kind with respect to Hölder means, J. Math. Anal. Appl., 395, 2, 637-642 (2012) · Zbl 1251.33015 |
| [21] | Chu, Y.-M.; Wang, M.-K.; Qiu, S.-L.; Jiang, Y.-P., Bounds for complete elliptic integrals of the second kind with applications, Comput. Math. Appl., 63, 7, 1177-1184 (2012) · Zbl 1247.33034 |
| [22] | Chu, Y.-M.; Qiu, S.-L.; Wang, M.-K., Sharp inequalities involving the power mean and complete elliptic integral of the first kind, Rocky Mountain J. Math., 43, 5, 1489-1496 (2013) · Zbl 1314.33019 |
| [23] | Chu, Y.-M.; Wang, M.-K.; Qiu, Y.-F.; Ma, X.-Y., Sharp two parameters bounds for the logarithmic mean and the arithmetic-geometric mean of Gauss, J. Math. Inequal., 7, 3, 349-355 (2013) · Zbl 1280.26050 |
| [24] | Guo, B.-N.; Qi, F., Some bounds for complete elliptic integrals of the first and second kinds, Math. Inequal. Appl., 14, 2, 323-334 (2011) · Zbl 1217.26042 |
| [25] | Maican, C. C., Integral Evaluations Using the Gamma and Beta Functions and Elliptic Integrals in Engineering (2005), International Press: International Press Cambridge · Zbl 1090.33001 |
| [26] | Mortici, C., New approximation formulas for evaluating the ratio of gamma functions, Math. Comput. Modelling, 52, 1-2, 425-433 (2010) · Zbl 1201.33003 |
| [27] | Neuman, E., Inequalities and bounds for generalized complete integrals, J. Math. Anal. Appl., 373, 1, 203-213 (2011) · Zbl 1206.33020 |
| [28] | Panteliou, S. D.; Dimarogonas, A. D.; Katz, I. N., Direct and inverse interpolation for Jacobian elliptic functions, zeta function of Jacobi and complete elliptic integrals of the second kind, Comput. Math. Appl., 32, 8, 51-57 (1996) · Zbl 0910.33012 |
| [29] | Ponnusamy, S.; Vuorinen, M., Univalence and convexity properties for Gaussian hypergeometric functions, Rocky Mountain J. Math., 31, 1, 327-353 (2001) · Zbl 0973.30017 |
| [30] | Qi, F., Bounds for the ratio of two gamma functions, J. Inequal. Appl., 2010, Article 493085 pp. (2010) · Zbl 1194.33005 |
| [31] | Qiu, S.-L.; Vamanamurthy, M. K., Sharp estimates for complete elliptic integrals, SIAM J. Math. Anal., 27, 3, 823-834 (1996) · Zbl 0860.33014 |
| [32] | Qiu, S.-L.; Vamanamurthy, M. K.; Vuorinen, M., Some inequalities for the growth of elliptic integrals, SIAM J. Math. Anal., 29, 5, 1224-1237 (1998) · Zbl 0908.33012 |
| [33] | Song, Y.-Q.; Zhou, P.-G.; Chu, Y.-M., Inequalities for the Gaussian hypergeometric function, Sci. China Math., 57, 11, 2369-2380 (2014) · Zbl 1307.33002 |
| [34] | Vamanamurthy, M. K.; Vuorinen, M., Inequalities for means, J. Math. Anal. Appl., 183, 1, 155-166 (1994) · Zbl 0802.26009 |
| [35] | Wang, M.-K.; Chu, Y.-M., Asymptotical bounds for complete elliptic integrals of the second kind, J. Math. Anal. Appl., 402, 1, 119-126 (2013) · Zbl 1264.33029 |
| [36] | Wang, M.-K.; Chu, Y.-M., Refinements of transformation inequalities for zero-balanced hypergeometric functions, Acta Math. Sci., 37B, 3, 607-622 (2017) · Zbl 1399.33006 |
| [37] | Wang, G.-D.; Zhang, X.-H.; Chu, Y.-M., Inequalities for the generalized elliptic integrals and modular functions, J. Math. Anal. Appl., 331, 2, 1275-1283 (2007) · Zbl 1122.33007 |
| [38] | Wang, M.-K.; Chu, Y.-M.; Qiu, Y.-F.; Qiu, S.-L., An optimal power mean inequality for the complete elliptic integrals, Appl. Math. Lett., 24, 6, 887-890 (2011) · Zbl 1216.33044 |
| [39] | Wang, M.-K.; Chu, Y.-M.; Qiu, S.-L.; Jiang, Y.-P., Convexity of the complete elliptic integrals of the first kind with respect to Hölder means, J. Math. Anal. Appl., 388, 2, 1141-1146 (2012) · Zbl 1235.33013 |
| [40] | Wang, M.-K.; Qiu, S.-L.; Chu, Y.-M.; Jiang, Y.-P., Generalized Hersch-Pfluger distortion function and complete elliptic integrals, J. Math. Anal. Appl., 385, 1, 221-229 (2012) · Zbl 1229.33024 |
| [41] | Wang, M.-K.; Chu, Y.-M.; Qiu, S.-L., Some monotonicity properties of generalized elliptic integrals with applications, Math. Inequal. Appl., 16, 3, 671-677 (2013) · Zbl 1276.33029 |
| [42] | Wang, M.-K.; Chu, Y.-M.; Jiang, Y.-P.; Qiu, S.-L., Bounds of the perimeter of an ellipse using arithmetic, geometric and harmonic means, Math. Inequal. Appl., 17, 1, 101-111 (2014) · Zbl 1285.26053 |
| [43] | Wang, G.-D.; Zhang, X.-H.; Chu, Y.-M., A power mean inequality involving the complete elliptic integrals, Rocky Mountain J. Math., 44, 5, 1661-1667 (2014) · Zbl 1306.33027 |
| [44] | Wang, M.-K.; Chu, Y.-M.; Jiang, Y.-P., Ramanujan’s cubic transformation inequalities for zero-balanced hypergeometric functions, Rocky Mountain J. Math., 46, 2, 679-691 (2016) · Zbl 1350.33007 |
| [45] | Wang, M.-K.; Chu, Y.-M.; Song, Y.-Q., Asymptotical formulas for Gaussian and generalized hypergeometric functions, Appl. Math. Comput., 276, 44-60 (2016) · Zbl 1410.33016 |
| [46] | Wang, H.; Qian, W.-M.; Chu, Y.-M., Optimal bounds for Gaussian arithmetic-geometric mean with applications to complete elliptic integral, J. Funct. Spaces, 2016, Article 3698463 pp. (2016) · Zbl 1347.26053 |
| [47] | Wang, M.-K.; Li, Y.-M.; Chu, Y.-M., Inequalities and infinite product formula for Ramanujan generalized modular equation function, Ramanujan J. (2017) |
| [48] | Yang, Z.-H.; Chu, Y.-M., A monotonicity property involving the generalized elliptic integral of the first kind, Math. Inequal. Appl., 20, 3, 729-735 (2017) · Zbl 1375.33026 |
| [49] | Yang, Zh.-H.; Song, Y.-Q.; Chu, Y.-M., Sharp bounds for the arithmetic-geometric mean, J. Inequal. Appl., 2014, Article 192 pp. (2014) · Zbl 1308.26058 |
| [50] | Yang, Z.-H.; Chu, Y.-M.; Zhang, W., Accurate approximations for the complete elliptic integrals of the second kind, J. Math. Anal. Appl., 438, 2, 875-888 (2016) · Zbl 1334.30015 |
| [51] | Yang, Z.-H.; Chu, Y.-M.; Zhang, W., Monotonicity of the ratio for the complete elliptic integral and Stolarsky mean, J. Inequal. Appl., 2016, Article 176 pp. (2016) · Zbl 1342.33041 |
| [52] | Yang, Z.-H.; Zhang, W.; Chu, Y.-M., Monotonicity and inequalities involving the incomplete gamma function, J. Inequal. Appl., 2016, Article 221 pp. (2016) · Zbl 1346.33005 |
| [53] | Yang, Z.-H.; Zhang, W.; Chu, Y.-M., Monotonicity of the incomplete gamma function with applications, J. Inequal. Appl., 2016, Article 251 pp. (2016) · Zbl 1350.33004 |
| [54] | Yang, Z.-H.; Chu, Y.-M.; Zhang, X.-H., Sharp Stolarsky mean bounds for the complete elliptic integral of the second kind, J. Nonlinear Sci. Appl., 10, 3, 929-936 (2017) · Zbl 1412.33033 |
| [55] | Zhang, X.-M.; Chu, Y.-M., A double inequality for gamma function, J. Inequal. Appl., 2009, Article 503782 pp. (2009) · Zbl 1176.33002 |
| [56] | Zhang, X.-H.; Wang, G.-D.; Chu, Y.-M., Remarks on generalized elliptic integrals, Proc. Roy. Soc. Edinburgh Sect. A, 139, 2, 417-426 (2009) · Zbl 1188.33005 |
| [57] | Zhang, X.-H.; Wang, G.-D.; Chu, Y.-M., Convexity with respect to Hölder mean involving zero-balanced hypergeometric functions, J. Math. Anal. Appl., 353, 1, 256-259 (2009) · Zbl 1172.26002 |
| [58] | Zhao, T.-H.; Chu, Y.-M., A class of logarithmically completely monotonic functions associated with a gamma function, J. Inequal. Appl., 2010, Article 392431 pp. (2010) · Zbl 1210.33004 |
| [59] | Zhao, T.-H.; Chu, Y.-M.; Jiang, Y.-P., Monotonic and logarithmically convex properties of a function involving gamma functions, J. Inequal. Appl., 2009, Article 728618 pp. (2009) · Zbl 1176.33003 |
| [60] | Zhao, T.-H.; Chu, Y.-M.; Wang, H., Logarithmically complete monotonicity properties relating to the gamma function, Abstr. Appl. Anal., 2010, Article 896483 pp. (2010) · Zbl 1221.33008 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
