Mathematical Problems in Engineering

Volume 2016 (2016), Article ID 8901258, 7 pages

http://dx.doi.org/10.1155/2016/8901258

## Best Possible Bounds for Yang Mean Using Generalized Logarithmic Mean

^{1}School of Distance Education, Huzhou Broadcast and TV University, Huzhou 313000, China^{2}Department of Mathematics, Huzhou Teachers College, Huzhou 313000, China

Received 23 January 2016; Revised 16 March 2016; Accepted 28 March 2016

Academic Editor: Kishin Sadarangani

Copyright © 2016 Wei-Mao Qian and Yu-Ming Chu. 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.

#### Abstract

We prove that the double inequality holds for all with if and only if and and find several sharp inequalities involving the trigonometric, hyperbolic, and inverse trigonometric functions, where is the unique solution of the equation on the interval , , and , and are the Yang, and th generalized logarithmic means of and , respectively.

#### 1. Introduction

For and with , the th generalized logarithmic mean is defined by

It is well known that is continuous and strictly increasing with respect to for fixed with . Many classical bivariate means are the special case of the generalized logarithmic mean. For example, is the geometric mean, is the logarithmic mean, is the identric mean, and is the arithmetic mean. Recently, the generalized logarithmic mean has been the subject of intensive research.

Stolarsky [1] proved that the inequalityholds for all with and , and inequality (2) is reversed for , where and is the th power mean of and .

Yang [2] proved that the double inequalityholds for all with if , and inequality (3) is reversed if .

In [3], the authors proved that the inequality holds for all with and .

Li et al. [4] proved that the function is strictly increasing (decreasing) on if (). In [5, 6], the authors proved that the function is strictly decreasing on if and the function is strictly increasing on for all .

Shi and Wu [7] proved that the double inequalityfor all and if , and inequality (5) is reversed if .

Long and Chu [8] and Matejíčka [9] presented the best possible parameters and such that the double inequality holds for all with and .

In [10], Qian and Long answered the question: what are the greatest value and the least value such that the double inequalityholds for all with and , where is the harmonic mean of and .

In [11, 12], the authors proved that the double inequalities hold for all with if and only if , , , , where is the unique solution of the equation on the interval , is the unique solution of the equation on the interval , is the Neuman-Sándor mean, and is the second Seiffert mean.

In [13, 14], the authors presented the best possible parameters , , , and such that the double inequalitieshold for all with , with and .

Gao et al. [15] provided the greatest value and the least value such that the double inequalityholds for all with , where is the first Seiffert mean of and .

Very recently, Yang [16] introduced the Yang meanof two distinct positive real numbers and and proved that the inequalities hold for all with , where is the quadratic mean of and .

The Yang mean is the special case of the Seiffert type mean defined by Toader in [17], where is a bivariate mean and is a positive real number. Indeed, .

In [18, 19], the authors proved that the double inequalities hold for all with if and only if , , , , , and , where is the unique solution of the equation on the interval , and .

Zhou et al. [20] proved that and are the best possible parameters such that the double inequalityholds for all with .

The main purpose of this paper is to present the best possible parameters and such that the double inequality holds for all with . As application, we derive several sharp inequalities involving the trigonometric, hyperbolic, and inverse trigonometric functions. Some complicated computations are carried out using Mathematica computer algebra system.

#### 2. Lemmas

In order to prove our main result we need two lemmas, which we present in this section.

Lemma 1. *Let , , be -times differentiable functions such that and for and . Iffor andfor , then there exists such that for and for .*

*Proof. *From (15) and (17) we clearly see that there exists such that for and for , which implies that is strictly decreasing on and strictly increasing on . Then (16) leads to the conclusion that there exists such that for and for .

Making use of (16) and the same method as above we know that for there exists such that for and for .

Lemma 2. *Let , andThen the following statements are true:*(1)*if , then for all ;*(2)*if is the unique solution of the equation on the interval and , then there exists such that for and for .*

*Proof. *For part , if , then (18) becomesTherefore, part follows from (19).

For part , let be the unique solution of the equation on the interval , , , , , , , , , and . Then elaborated computations lead tofor .

Therefore, part follows easily from Lemma 1 and (20).

*3. Main Result*

*Theorem 3. The double inequality holds for all with if and only if and , where is the unique solution of the equation on the interval .*

*Proof. *Since and are symmetric and homogeneous of degree one, without loss of generality, we assume that and . Let and . Then (1) and (11) lead towhere where is defined by (15).

We divide the proof into four cases.*Case 1*. Then from Lemma 2 and (29) we clearly see that the function is strictly decreasing on . Then (27) leads to the conclusion thatfor all . Therefore, follows easily from (22), (23), (25), and (30).*Case 2*. Then from Lemma 2 and (29) we know that there exists such that the function is strictly increasing on and strictly decreasing on .

It follows from (25)–(28) and the piecewise monotonicity of the function that there exists such that the function is strictly increasing on and strictly decreasing on .

Note that (24) becomesTherefore, follows easily from (22), (23), and (32) together with the piecewise monotonicity of the function .*Case 3*. Let and ; then making use of Taylor expansion we getEquation (34) implies that there exists small enough such that for all . *Case 4*. Then from (24) and the fact that the function is strictly decreasing on we getEquation (22) and inequality (36) imply that there exists large enough such that for all .

*4. Applications*

*As applications of Theorem 3 in engineering problems, we present several sharp inequalities involving the trigonometric, hyperbolic, and inverse trigonometric functions in this section.*

*From (1) and (11) together with Theorem 3 we get Theorem 4 immediately.*

*Theorem 4. Let be the unique solution of the equation on the interval . Then the double inequality holds for all with .*

*Let , , and . Then Theorem 4 leads to the following.*

*Theorem 5. Let be the unique solution of the equation on the interval . Then the double inequality holds for all .*

*Let , . Then (1) and (11) lead to*

*It follows from Theorem 3 and (40) that one has the following theorem.*

*Theorem 6. Let be the unique solution of the equation on the interval . Then the double inequality holds for all .*

*Let , . Then (1) and (11) lead to*

*Theorem 3 and (42) lead to the following.*

*Theorem 7. Let be the unique solution of the equation on the interval . Then the double inequality holds for all .*

*Let , , . Then from (1) and (11) we have*

*From (44), (45), and Theorem 3 one has the following.*

*Theorem 8. Let be the unique solution of the equation on the interval . Then the double inequalities hold for all and .*

*Competing Interests*

*The authors declare that there is no conflict of interests regarding the publications of this paper.*

*Acknowledgments*

*The research was supported by the Natural Science Foundation of China under Grants 11371125, 61374086, and 11401191, the Natural Science Foundation of Zhejiang Broadcast and TV University under Grant XKT15G-17, and the Natural Science Foundation of Zhejiang Province under Grant LY13A010004.*

*References*

- K. B. Stolarsky, “The power and generalized logarithmic means,”
*The American Mathematical Monthly*, vol. 87, no. 7, pp. 545–548, 1980. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z.-H. Yang, “Another property of the convex function,”
*Bulletin des Sciences Mathématiques*, no. 2, pp. 31–32, 1984 (Chinese). View at Google Scholar - M.-Q. Shi and H.-N. Shi, “On an inequality for the generalized logarithmic mean,”
*Bulletin des Sciences Mathématiques*, no. 5, pp. 37–38, 1997 (Chinese). View at Google Scholar - X. Li, C.-P. Chen, and F. Qi, “Monotonicity result for generalized logarithmic means,”
*Tamkang Journal of Mathematics*, vol. 38, no. 2, pp. 177–181, 2007. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - F. Qi, S.-X. Chen, and C.-P. Chen, “Monotonicity of ratio between the generalized logarithmic means,”
*Mathematical Inequalities & Applications*, vol. 10, no. 3, pp. 559–564, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - C.-P. Chen, “The monotonicity of the ratio between generalized logarithmic means,”
*Journal of Mathematical Analysis and Applications*, vol. 345, no. 1, pp. 86–89, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - H.-N. Shi and S.-H. Wu, “Refinement of an inequality for the generalized logarithmic mean,”
*Chinese Quarterly Journal of Mathematics*, vol. 23, no. 4, pp. 594–599, 2008. View at Google Scholar · View at MathSciNet - B.-Y. Long and Y.-M. Chu, “Optimal inequalities for generalized logarithmic, arithmetic, and geometric means,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 806825, 10 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - L. Matejíčka, “Proof of one optimal inequality for generalized logarithmic, arithmetic, and geometric means,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 902432, 5 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - W.-M. Qian and B.-Y. Long, “Sharp bounds by the generalized logarithmic mean for the geometric weighted mean of the geometric and harmonic means,”
*Journal of Applied Mathematics*, vol. 2012, Article ID 480689, 8 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y.-M. Li, B.-Y. Long, and Y.-M. Chu, “Sharp bounds for the Neuman-Sándor mean in terms of generalized logarithmic mean,”
*Journal of Mathematical Inequalities*, vol. 6, no. 4, pp. 567–577, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y.-M. Chu, M.-K. Wang, and G. Wang, “The optimal generalized logarithmic mean bounds for Seiffert's mean,”
*Acta Mathematica Scientia B. English Edition*, vol. 32, no. 4, pp. 1619–1626, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y.-L. Jiang, B.-Y. Long, and Y.-M. Chu, “An optimal double inequality between logarithmic and generalized logarithmic means,”
*Journal of Applied Analysis*, vol. 19, no. 2, pp. 271–282, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - C. Lu and S. Liu, “Best possible inequalities between generalized logarithmic mean and weighted geometric mean of geometric, square-root, and root-square means,”
*Journal of Mathematical Inequalities*, vol. 8, no. 4, pp. 899–914, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Q. Gao, L. L. Song, and M. N. You, “Optimal inequalities for generalized logarithmic and Seiffert means,”
*Mathematica Aeterna*, vol. 4, no. 3-4, pp. 319–327, 2014. View at Google Scholar · View at MathSciNet - Z.-H. Yang, “Three families of two-parameter means constructed by trigonometric functions,”
*Journal of Inequalities and Applications*, vol. 2013, article 541, 27 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Gh. Toader, “Seiffert type means,”
*Nieuw Archief voor Wiskunde (4)*, vol. 17, no. 3, pp. 379–382, 1999. View at Google Scholar - Z.-H. Yang, Y.-M. Chu, Y.-Q. Song, and Y.-M. Li, “A sharp double inequality for trigonometric functions and its applications,”
*Abstract and Applied Analysis*, vol. 2014, Article ID 592085, 9 pages, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - Z.-H. Yang, L.-M. Wu, and Y.-M. Chu, “Sharp power mean bounds for Yang mean,”
*Journal of Inequalities and Applications*, vol. 2014, article 401, 10 pages, 2014. View at Google Scholar - S.-S. Zhou, W.-M. Qian, Y.-M. Chu, and X.-H. Zhang, “Sharp power-type Heronian mean bounds for the Sándor and Yang means,”
*Journal of Inequalities and Applications*, vol. 2015, article 159, 10 pages, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus

*
*