Abstract and Applied Analysis

Volume 2014 (2014), Article ID 706518, 11 pages

http://dx.doi.org/10.1155/2014/706518

Research Article

The Schur-Convexity of the Generalized Muirhead-Heronian Means

Yong-Ping Deng,¹ Shan-He Wu,¹ Yu-Ming Chu,² and Deng He³

¹Department of Mathematics and Computer Science, Longyan University, Longyan, Fujian 364012, China

²School of Mathematics and Computation Science, Hunan City University, Yiyang, Hunan 413000, China

³Gangtou Middle School, Fuqing, Fujian 350317, China

Received 16 June 2014; Accepted 15 August 2014; Published 27 August 2014

Academic Editor: Giovanni Anello

Copyright © 2014 Yong-Ping Deng et al. 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 give a unified generalization of the generalized Muirhead means and the generalized Heronian means involving three parameters. The Schur-convexity of the generalized Muirhead-Heronian means is investigated. Our main result implies the sufficient conditions of the Schur-convexity of the generalized Heronian means and the generalized Muirhead means.

1. Introduction

In what follows, we denote the set of real numbers by , the set of nonnegative real numbers by , and the set of positive real numbers by .

Let ; the classical Heronian means is defined by (see [1])

In 1999, Mao [2] gave the definition of dual Heronian means; that is,

In 2001, Janous [3] considered the unified generalization of Heronian means and and presented a weighted generalization of the above-mentioned Heronian-type means, as follows:

Jia and Cao [4] investigated the exponential generalization of Heronian means

and they established some related inequalities. The monotonicity and Schur-convexity of the Heronian means were discussed by Li et al. in [5].

Shi et al. [6] discussed the Schur-convexity of a further generalization of the Heronian means given by

and they obtained a significant result asserted by Theorem A below.

Theorem A. For fixed ,

(1)if , then is Schur-convex for .(2)If , then is Schur-concave for .

As a further investigation of Theorem A, Fu et al. [7] gave the necessary and sufficient condition for the Schur-convexity of the generalized Heronian means , which is stated in the following theorem.

Theorem B. For fixed , the generalized Heronian means is Schur-convex for if and only if

Furthermore, is Schur-concave for if and only if

Remark 1. It is easy to observe that, for , , is Schur-convex and Schur-concave for . In addition, we note that . Thus, the conditions of Schur-convexity of in Theorem B can be rewritten as

The Schur-power-convexity of was investigated by Yang [8].

In 2006, Trif [9] considered the following generalized Muirhead means, defined by

where , , .

Gong et al. [10] investigated the Schur-convexity of generalized Muirhead means and obtained the following results.

Theorem C. For fixed , the generalized Muirhead means is Schur-convex for if and only if

Furthermore, is Schur-concave for if and only if

Remark 2. If we define, for , , the generalized Muirhead means by , we can easily find that is Schur-concave for ; thereby, the conditions of Schur-concave of in Theorem C can be rewritten as

The Schur-geometric-convexity and Schur-harmonic-convexity of the generalized Muirhead means were studied by Xia and Chu in [11, 12].

In this paper we generalize the generalized Muirhead means and the generalized Heronian means in a unified form. For this purpose we define a generalized Muirhead-Heronian means , as follows:

where , .

The paper is organized as follows. Section 2 introduces several definitions and lemmas; Section 3 discusses the Schur-convexity of the generalized Muirhead-Heronian means; Section 4 provides some remarks on the results given in Theorem 9 and it is shown that the sufficient conditions of Schur-convexity of the generalized Heronian means and the generalized Muirhead means can be deduced from Theorem 9 as special cases.

2. Definitions and Lemmas

We introduce and establish several definitions and lemmas, which will be used in the proofs of the main results in Section 3.

Definition 3 (see [13, page 7]). For any , , let and denote the components of and in decreasing order, respectively.

The -tuple is said to majorize (or is to be majorized by ), in symbols , if

Definition 4 (see [13, page 54]). For any , (), is said to be a Schur-convex function on if on implies and is said to be a Schur-concave function on if and only if is a Schur-convex function.

Lemma 5 (see [13, page 57]). Let be a symmetric convex set with nonempty interior and a continuous symmetric function on . If is differentiable on , then is the Schur-convex (Schur-concave) function on if and only if

holds for all .

Lemma 6. Suppose that , , and

Suppose also that

Then for .

Proof. Differentiating with respect to gives

Let , then

Differentiating with respect to yields

In order to prove Lemma 6, we need to consider the two cases below.

Case  1 ( ). In view of , we have for . Hence is decreasing on , by which, together with

we deduce that for . This means that is increasing on . Thus, we have, for ,

This leads to .

Case  2 ( ). By , we have for . Thus is increasing on , by which, together with

we obtain for . It follows that is increasing on . Thus, we have, for ,

This implies that . The proof of Lemma 6 is complete.

Lemma 7. Suppose that , , and

Suppose also that

Then for .

Proof. Using the differential expressions obtained in Lemma 6, one has

We divide the proof of Lemma 7 into four cases.

Case  1. If , then

Thus we have, for ,

Case  2. If , then

Thus we have, for ,

Case  3. If , then

Thus we have, for ,

Case  4. If , then

Thus we have, for ,

This completes the proof of Lemma 7.

Lemma 8. Suppose that , , and

Suppose also that

Then for .

Proof. Based on the differential expressions , , , , , obtained in the proof of Lemma 6, in order to prove Lemma 8, we need to consider the two cases below.

Case  1. If , then

Hence, we deduce that there exists such that , satisfying for and for .

Further, we conclude that is increasing on and decreasing on ; thereby, we get for .

From we have

this yields

we thus have

where

Note that implies and

we conclude that for .

Hence, from , one has, for ,

Case  2. If , then

Thus, we deduce that there exists such that , satisfying for and for .

It follows that is decreasing on and increasing on , therefore, we obtain

From , we have

that is,

we thus have

where

Note that implies and

which yields that for .

Therefore, from , one has, for ,

The proof of Lemma 8 is completed.

3. Main Result

The main result of this paper is given by Theorem 9 below.

Theorem 9. For fixed , let

and let

The following assertions holds true.

(1)If , then the generalized Muirhead-Heronian means is Schur-convex for .(2)If , then the generalized Muirhead-Heronian means is Schur-concave for .

Proof. Note that the expression is of symmetry between and and without loss of generality we assume that .

Case  1. If , then . Define

Hence, is Schur-concave for .

Case  2. If , we have the following known results (see Theorem B and Remark 1 in Section 1).

is Schur-convex for if and only if

is Schur-concave for if and only if

Case  3. If , then

where

where ; in addition, the definition of implies that .

Using Lemma 6 gives

where

On the other hand, we deduce from the symmetry of with respect to and that

where

Now, by using Lemma 5 and combining the result stated in Case , we deduce that is Schur-convex under the conditions below:

This proves the validity of the first assertion in Theorem 9.

It is easy to find that

In view of the symmetry of between and , utilizing a positional exchange between and in the above expression gives

Hence, we deduce from Lemma 7 that

where

By using the same method as above, we can deduce that

where

Therefore, we deduce from Lemma 5 and the results stated in Cases and that is Schur-concave under the following conditions:

This proves the validity of the second assertion in Theorem 9. The proof of Theorem 9 is thus completed.

4. Some Remarks on the Results of Theorem 9

In this section, we provide some remarks on the results given in Theorem 9; we show that the sufficient conditions of Schur-convexity of the generalized Heronian means and the generalized Muirhead means can be deduced from Theorem 9 as special cases.

Remark 10. If we take in Theorem 9, we have . Furthermore, we have

which are the sufficient conditions of Schur-convex of the generalized Heronian means asserted by Theorem B.

On the other hand, we note that, for ,

Hence, the set given in Theorem 9 reduces to the following form:

These are the sufficient conditions of Schur-concave of the generalized Heronian means stated by Theorem B.

Remark 11. If we put in Theorem 9, we have . Furthermore, we have

which are the sufficient conditions of Schur-convex of the generalized Muirhead means given by Theorem C.

In addition, for , we have

Thus, the set given in Theorem 9 reduces to the following form:

These are the sufficient conditions of Schur-concave of the generalized Muirhead means asserted by Theorem C.

Conflict of Interests

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

Acknowledgments

This research was supported by the Natural Science Foundation of China under Grants 11171307 and 61374086, the Natural Science Foundation of Zhejiang Province under Grant LY13A010004, the Natural Science Foundation of Fujian province under Grant 2012J01014, and the Foundation of Scientific Research Project of Fujian Province Education Department under Grants JK2013051 and JK2012049.

References

J. C. Kuang, Applied Inequalities, Shandong Science and Technology Press, Jinan, China, 4th edition, 2010.

Q. J. Mao, “Dual means, logarithmic and Heronian dual means of two positive numbers,” Journal of Suzhou College of Education, vol. 16, pp. 82–85, 1999.

W. Janous, “A note on generalized Heronian means,” Mathematical Inequalities & Applications, vol. 4, no. 3, pp. 369–375, 2001.

G. Jia and J. Cao, “A new upper bound of the logarithmic mean,” Journal of Inequalities in Pure and Applied Mathematics, vol. 4, no. 4, article 80, 4 pages, 2003.

D. M. Li, C. Gu, and H. N. Shi, “Schur convexity of the power-type generalization of Heronian means,” Journal of Mathematics in Practice and Theory, vol. 6, no. 9, pp. 387–390, 2006.

H. Shi, M. Bencze, S. Wu, and D. Li, “Schur convexity of generalized Heronian means involving two parameters,” Journal of Inequalities and Applications, vol. 2008, Article ID 879273, 9 pages, 2008.

L. L. Fu, B. Y. Xi, and H. M. Srivastava, “Schur-convexity of the generalized Heronian means involving two positive numbers,” Taiwanese Journal of Mathematics, vol. 15, no. 6, pp. 2721–2731, 2011.

Z. H. Yang, “Schur power convexity of the Daróczy means,” Mathematical Inequalities & Applications, vol. 16, no. 3, pp. 751–762, 2013.

T. Trif, “Monotonicity, comparison and Minkowski's inequality for generalized MUIrhead means in two variables,” Mathematica, vol. 48(71), no. 1, pp. 99–110, 2006.

W. M. Gong, H. Shen, and Y. M. Chu, “The Schur convexity for the generalized Muirhead mean,” Journal of Mathematical Inequalities. In press

W. Xia and Y. Chu, “The Schur multiplicative convexity of the generalized Muirhead mean values,” International Journal of Functional Analysis, Operator Theory and Applications, vol. 1, no. 1, pp. 1–8, 2009.

Y. M. Chu and W. F. Xia, “Necessary and sufficient conditions for the Schur harmonic convexity of the generalized Muirhead mean,” Proceedings of A Razmadze Mathematical Institute, vol. 152, pp. 19–27, 2010.

A. W. Marshall and I. Olkin, Inequalities: Theory of Majorization and Its Applications, vol. 143 of Mathematics in Science and Engineering, Academic Press, New York, NY, USA, 1979.