- Research Article
- Open access
- Published:
Schur-Convexity for a Class of Symmetric Functions and Its Applications
Journal of Inequalities and Applications volume 2009, Article number: 493759 (2009)
Abstract
For , the symmetric function
is defined by
, where
and
are positive integers. In this article, the Schur convexity, Schur multiplicative convexity and Schur harmonic convexity of
are discussed. As applications, some inequalities are established by use of the theory of majorization.
1. Introduction
Throughout this paper we use to denote the
dimensional Euclidean space over the field of real numbers and
. In particular, we use
to denote
For the sake of convenience, we use the following notation system.
For , and
, let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ1_HTML.gif)
The notion of Schur convexity was first introduced by Schur in 1923 [1]. It has many important applications in analytic inequalities [2–7], combinatorial optimization [8], isoperimetric problem for polytopes [9], linear regression [10], graphs and matrices [11], gamma and digamma functions [12], reliability and availability [13], and other related fields. The following definition for Schur convex or concave can be found in [1, 3, 7] and the references therein.
Definition 1.1.
Let be a set, a real-valued function
on
is called a Schur convex function if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ2_HTML.gif)
for each pair of -tuples
and
on
, such that
is majorized by
( in symbols
), that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ3_HTML.gif)
where denotes the
th largest component in
.
is called Schur concave if
is Schur convex.
The notation of multiplicative convexity was first introduced by Montel [14]. The Schur multiplicative convexity was investigated by Niculescu [15], Guan [7], and Chu et al.[16].
Let be a set, a real-valued function
is called a Schur multiplicatively convex function on
if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ4_HTML.gif)
for each pair of tuples
and
on
, such that
is logarithmically majorized by
(in symbols
), that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ5_HTML.gif)
However is called Schur multiplicatively concave if
is Schur multiplicatively convex.
In paper [17], Anderson et al. discussed an attractive class of inequalities, which arise from the notion of harmonic convex functions. Here, we introduce the notion of Schur harmonic convexity.
Definition 1.3.
Let be a set. A real-valued function
on
is called a Schur harmonic convex function
if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ6_HTML.gif)
for each pair of tuples
and
on
, such that
.
is called a Schur harmonic concave function on
if (1.6) is reversed.
The main purpose of this paper is to discuss the Schur convexity, Schur multiplicative convexity, and Schur harmonic convexity of the following symmetric function:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ7_HTML.gif)
where ,
, and
are positive integers. As applications, some inequalities are established by use of the theory of majorization.
2. Lemmas
In order to establish our main results we need several lemmas, which we present in this section.
The following lemma is so-called Schur's condition which is very useful for determining whether or not a given function is Schur convex or Schur concave.
Let be a continuous symmetric function. If
is differentiable in
, then
is Schur convex if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ8_HTML.gif)
for all and
. Also
is Schur concave if and only if (2.1) is reversed for all
and
. Here,
is a symmetric function in
meaning that
for any
and any
permutation matrix
.
Remark 2.2.
Since is symmetric, the Schur's condition in Lemma 2.1, that is, (2.1) can be reduced to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ9_HTML.gif)
Let be a continuous symmtric function. If
is differentiable in
, then
is Schur multiplicatively convex if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ10_HTML.gif)
for all . Also
is Schur multiplicatively concave if and only if (2.3) is reversed.
Lemma 2.4.
Let be a continuous symmetric function. If
is differentiable in
, then
is Schur harmonic convex if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ11_HTML.gif)
for all . Also
is Schur harmonic concave if and only if (2.4) is reversed.
Proof.
From Definitions 1.1 and 1.3, we clearly see the fact that is Schur harmonic convex if and only if
is Schur concave.
This fact, Lemma 2.1 and Remark 2.2 together with elementary calculation imply that Lemma 2.4 is true.
Let and
. If
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ12_HTML.gif)
Lemma 2.6 (see [6]).
Let and
. If
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ13_HTML.gif)
Lemma 2.7 (see [19]).
Suppose that and
If
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ14_HTML.gif)
3. Main Results
Theorem 3.1.
For the symmetric function
is Schur concave in
.
Proof.
By Lemma 2.1 and Remark 2.2, we only need to prove that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ15_HTML.gif)
for all and
The proof is divided into four cases.
Case 1.
If , then (1.7) leads to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ16_HTML.gif)
However (3.2) and elementary computation lead to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ17_HTML.gif)
Case 2.
If and
, then (1.7) yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ18_HTML.gif)
From (3.4) and elementary computation, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ19_HTML.gif)
Case 3.
If and
, then by (1.7) we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ20_HTML.gif)
Elementary computation and (3.6) yield
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ21_HTML.gif)
Case 4.
If and
, then from (1.7), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ22_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ23_HTML.gif)
Therefore, (3.1) follows from Cases 1–4 and the proof of Theorem 3.1 is completed.
For the Schur multiplicative convexity or concavity of , we have the following theorem
Theorem 3.2.
It holds that is Schur multiplicatively concave in
Proof.
According to Lemma 2.3 we only need to prove that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ24_HTML.gif)
for all and
Then proof is divided into four cases.
Case 1.
If , then (3.2) leads to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ25_HTML.gif)
Case 2.
If , then (3.4) yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ26_HTML.gif)
Case 3.
If and
, then (3.6) implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ27_HTML.gif)
Case 4.
If and
, then from (3.8) we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ28_HTML.gif)
Therefore, Theorem 3.2 follows from (3.10) and Cases 1–4.
Remark 3.3.
From (3.11) and (3.12) we know that is Schur multiplicatively concave in
and
is Schur multiplicatively convex in
.
Theorem 3.4.
For the symmetric function
is Schur harmonic convex in
.
Proof.
According to Lemma 2.4 we only need to prove that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ29_HTML.gif)
for all and
The proof is divided into four cases.
Case 1.
If , then from (3.2) we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ30_HTML.gif)
Case 2.
If and
, then (3.4) leads to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ31_HTML.gif)
Case 3.
If and
, then (3.6) yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ32_HTML.gif)
Case 4.
If and
, then (3.8) implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ33_HTML.gif)
Therefore, (3.15) follows from Cases 1–4 and the proof of Theorem 3.4 is completed.
4. Applications
In this section, we establish some inequalities by use of Theorems 3.1, 3.2 and 3.4 and the theory of majorization.
Theorem 4.1.
If ,
,
, and
, then
(1) for
(2) for
(3) for
(4) for
(5) for
(6) for
(7) for
(8) for
Proof.
Theorem 4.1 follows from Theorem 3.1, Theorem 3.4 and Lemmas 2.5–2.7 together with the fact that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ34_HTML.gif)
Theorem 4.2.
If ,
, and
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ35_HTML.gif)
Proof.
We clearly see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ36_HTML.gif)
Therefore, Theorem 4.2 follows from (4.3) and Theorem 3.1 together with (1.7), and Theorem 4.2
follows from (4.3) and Theorem 3.4 together with (1.7).
If we take in Theorem 4.2
and
in Theorem 4.2, respectively, then we have the following corollary.
Corollary 4.3.
If and
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ37_HTML.gif)
Remark 4.4.
If we take in Corollary 4.3
, then we obtain the Weierstrass inequality: (see [20, page 260])
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ38_HTML.gif)
Theorem 4.5.
If and
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ39_HTML.gif)
Proof.
We clearly see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ40_HTML.gif)
Therefore, Theorem 4.5 follows from (4.7) and Theorem 3.4 together with (1.7), and Theorem 4.5
follows from (4.7) and Theorem 3.1 together with (1.7).
If we take and
in Theorem 4.5, respectively, then we get the following corollary.
Corollary 4.6.
If , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ41_HTML.gif)
Theorem 4.7.
If and
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ42_HTML.gif)
Proof.
We clearly see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ43_HTML.gif)
Therefore, Theorem 4.7 follows from (4.10), Theorem 3.2, and (1.7).
If we take and
in Theorem 4.7, respectively, then we get the following corollary.
Corollary 4.8.
If , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ44_HTML.gif)
Remark 4.9.
From Remark 3.3 and (4.10) together with (1.7) we clearly see that inequality in Corollary 4.8 is reversed for
and inequality in Corollary 4.8
is true for
.
Theorem 4.10.
If then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ45_HTML.gif)
Proof.
Theorem 4.10 follows from Theorems 3.1, 3.4, and (1.7) together with the fact that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ46_HTML.gif)
Theorem 4.11.
Let be an
dimensional simplex in
and let
be an arbitrary point in the interior of
. If
is the intersection point of straight line
and hyperplane
, then for
one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ47_HTML.gif)
Proof.
It is easy to see that and
, these identical equations imply
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ48_HTML.gif)
Therefore, Theorem 4.11 follows from (4.15), Theorems 3.1, 3.4, and (1.7).
Remark 4.12.
Mitrinovi et al. [21, pages 473–479] established a series of inequalities for
and
,
. Obvious, our inequalities in Theorem 4.11 are different from theirs.
Theorem 4.13.
Suppose that is a complex matrix,
, and
are the eigenvalues and singular values of
, respectively. If
is a positive definite Hermitian matrix and
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ49_HTML.gif)
Proof.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_IEq203_HTML.gif)
We clearly see that and
then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ50_HTML.gif)
Therefore, Theorem 4.13 and
follows from (4.17), Theorems 3.1, 3.4, and (1.7).
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_IEq208_HTML.gif)
It is easy to see that are the eigenvalues of matrix
and
, then we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ51_HTML.gif)
Therefore, Theorem 4.13 follows from (4.18), Theorem 3.2, and (1.7).
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_IEq213_HTML.gif)
It is not difficult to verify that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ52_HTML.gif)
Therefore, Theorem 4.13 follows from (4.19), and Theorem 3.2 together with (1.7).
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_IEq215_HTML.gif)
A result due to Weyl [22] gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ53_HTML.gif)
From (4.20), we clearly see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F493759/MediaObjects/13660_2009_Article_1965_Equ54_HTML.gif)
Therefore, Theorem 4.13 follows from (4.21), Theorem 3.2, and (1.7).
References
Schur I: Über eine klasse von mittelbildungen mit anwendungen auf die determinantentheorie. Sitzungsberichte der Berliner Mathematischen Gesellschaft 1923, 22: 9–20.
Hardy GH, Littlewood JE, Pólya G: Some simple inequalities satisfied by convex functions. Messenger of Mathematics 1929, 58: 145–152.
Stepolhkepniak C: An effective characterization of Schur-convex functions with applications. Journal of Convex Analysis 2007,14(1):103–108.
Aujla JS, Silva FC: Weak majorization inequalities and convex functions. Linear Algebra and Its Applications 2003, 369: 217–233.
Guan K: The Hamy symmetric function and its generalization. Mathematical Inequalities & Applications 2006,9(4):797–805.
Guan K-Z: Schur-convexity of the complete symmetric function. Mathematical Inequalities & Applications 2006,9(4):567–576.
Guan K-Z: Some properties of a class of symmetric functions. Journal of Mathematical Analysis and Applications 2007,336(1):70–80. 10.1016/j.jmaa.2007.02.064
Hwang FK, Rothblum UG: Partition-optimization with Schur convex sum objective functions. SIAM Journal on Discrete Mathematics 2004,18(3):512–524. 10.1137/S0895480198347167
Zhang X-M: Schur-convex functions and isoperimetric inequalities. Proceedings of the American Mathematical Society 1998,126(2):461–470. 10.1090/S0002-9939-98-04151-3
Stepolhkepniak C: Stochastic ordering and Schur-convex functions in comparison of linear experiments. Metrika 1989,36(5):291–298.
Constantine GM: Schur convex functions on the spectra of graphs. Discrete Mathematics 1983,45(2–3):181–188. 10.1016/0012-365X(83)90034-1
Merkle M: Convexity, Schur-convexity and bounds for the gamma function involving the digamma function. The Rocky Mountain Journal of Mathematics 1998,28(3):1053–1066. 10.1216/rmjm/1181071755
Hwang FK, Rothblum UG, Shepp L: Monotone optimal multipartitions using Schur convexity with respect to partial orders. SIAM Journal on Discrete Mathematics 1993,6(4):533–547. 10.1137/0406042
Montel P: Sur les fonctions convexes et les fonctions sousharmoniques. Journal de Mathématiques 1928,7(9):29–60.
Niculescu CP: Convexity according to the geometric mean. Mathematical Inequalities & Applications 2000,3(2):155–167.
Chu Y, Zhang X, Wang G: The Schur geometrical convexity of the extended mean values. Journal of Convex Analysis 2008,15(4):707–718.
Anderson GD, Vamanamurthy MK, Vuorinen M: Generalized convexity and inequalities. Journal of Mathematical Analysis and Applications 2007,335(2):1294–1308. 10.1016/j.jmaa.2007.02.016
Marshall AW, Olkin I: Inequalities: Theory of Majorization and Its Applications, Mathematics in Science and Engineering. Volume 143. Academic Press, New York, NY, USA; 1979.
Wu S-H: Generalization and sharpness of the power means inequality and their applications. Journal of Mathematical Analysis and Applications 2005,312(2):637–652. 10.1016/j.jmaa.2005.03.050
Bullen PS: A Dictionary of Inequalities. Volume 97. Longman, Harlow, UK; 1998.
Mitrinovic DS, Pecaric JE, Volenec V: Recent Advances in Geometric Inequalities. Volume 28. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1989.
Weyl H: Inequalities between the two kinds of eigenvalues of a linear transformation. Proceedings of the National Academy of Sciences of the United States of America 1949, 35: 408–411. 10.1073/pnas.35.7.408
Acknowledgment
This work was supported by the National Science Foundation of China (no. 60850005) and the Natural Science Foundation of Zhejiang Province (no. D7080080, Y607128, Y7080185).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Xia, WF., Chu, YM. Schur-Convexity for a Class of Symmetric Functions and Its Applications. J Inequal Appl 2009, 493759 (2009). https://doi.org/10.1155/2009/493759
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/493759