A note on Schur-concave functions

In this paper we consider a class of Schur-concave functions with some measure properties. The isoperimetric inequality and Brunn-Minkowsky’s inequality for such kind of functions are presented. Applications in geometric programming and optimization theory are also derived.

MSC: 26B25, 26B15, 52A40.

About 100 years ago, the properties concerning such notions as length, area, volume as well as the probability of events were abstracted under the banner of the word measure. We review the notion of measure using this word in an unusual way. More exactly, we study some measure properties of a special class of Schur-concave functions which will be revealed via some discrete versions of isoperimetric inequality and Brunn-Minkowsky’s inequality.

The notion of Schur-convex function was introduced by I. Schur in 1923 and has had interesting applications in analytic inequalities, elementary quantum mechanics and quantum information theory. See [15]. Let us consider to be two vectors from .

Definition 1 We say that x is majorized by y, denote it by , if the rearrangement of the components of x and y such that , satisfies () and .

Definition 2 The function , where , is called Schur-convex if implies . Any such function F is called Schur-concave if −F is Schur-convex.

An important source of Schur-convex functions can be found in Merkle [16]. Guan [10,11] proved that all symmetric elementary functions and the symmetric means of order k are Schur-concave functions. Other families of Schur-convex functions are studied in [1-7,20-24,27].

In [26] a class of analytic inequalities for Schur-convex functions that are made of solutions of a second order nonlinear differential equation was established. These analytic inequalities are used to infer some geometric inequalities such as isoperimetric inequality. Li and Trudinger [14] consider a special class of inequalities for elementary symmetric functions that are relevant to the study of partial differential equations associated with curvature problems.

Recall here a classical result concerning the study of Schur-convexity for the case of smooth functions. See [19].

Theorem 1Letbe a symmetric function with continuous partial derivatives on, whereIis an open interval. Thenis Schur-convex if and only if the inequality

holds onfor each. It is strictly Schur-convex if the inequality (1.1) is strict for, . Any such functionFis Schur-concave if the inequality (1.1) is reversed.

We present a discrete version of isoperimetric inequality related to a special class of Schur-concave functions. The reason we discuss isoperimetric inequality in the context of Schur-concave functions is given by the well-known property of every Schur-concave function F, which is an essential property of the volume measure

In other words, by using F as an area measure, the inequality (1.2) says that from all polygons with n edges and the sum of all edges constant, the regular polygon with equal edges has the biggest area.

The main result of the paper concerning the discrete isoperimetric inequality will be presented in Section 2. Generalized geometric programming refers to optimization problems that involve signomial functions which have applications in process synthesis, process design, molecular conformation, chemical equilibrium. See [9]. In Section 3 we introduce a class of Schur-convex functions where we emphasize the relevance of such type of functions in convexification transformations for geometric programming. In addition, we consider a family of symmetric functions which have applications in fully nonlinear elliptic equations such as Monge-Ampère equation. See Theorem 6.4, Corollary 6.5 in [13].

In this section we define some volume measures by using a family of Schur-concave functions. Some discrete versions of isoperimetric inequality and Brunn-Minkowsky’s inequality will confirm that our approach is correct. Recall here a well-known result concerning Brunn-Minkowski’s inequality for convex bodies, which are nonempty compact, convex subsets of .

Theorem 2Letand letK, Lbe two convex bodies. Then we have

with equality whenKandLare identically up to a translation.

We replace the volume measure by a Schur-concave function of the form , where f is a nonnegative concave function. In the rest of the paper, will be called then-dimensional volume function.

Theorem 3Let. Then, for each nonnegative concave functionf, we have

where.

Proof Let defined on , which is globally concave and nondecreasing in each variable. What we need to prove is the concavity of the function , which holds since we have a composing between a nondecreasing globally concave function and another concave function. □

Let us consider a more difficult problem concerning the classical isoperimetric inequality for convex bodies from .

Theorem 4 (See [18])

LetKbe a convex subset fromandBa closed ball from. Then we have

with equality if and only ifKis a ball. Here, means the area of the surface of a convex bodyK.

We replace the volume measure with , the n-dimensional volume function from above. Notice that the well-known measures - perimeter, area, volume - are Schur-concave functions. For example, in the functions , and are Schur-concave. In fact, could mean the n-dimensional volume of a body with edges.

The difficulty here is to develop a connection between the n-dimensional volume functions . We define the connection between the n dimensional volume function and the dimensional volume function in the following way:

Remark 1 It is easy to check that if is a Schur-concave function, then is also a Schur-concave function. Hence, our relation between and is well defined.

Now, we are able to present the discrete form of the isoperimetric inequality in the context of this type of n-dimensional volume functions.

Theorem 5Letand, whereis a concave function. Then we have the following isoperimetric inequality:

Proof If we denote by , the inequality (2.3) becomes

Since , it is sufficient to prove that for each we have

If we consider the function , we need to prove that f is nonpositive for every .

If we compute , we have that f is nondecreasing on . Since , it follows that for every . □

In the following, we extend the class of Schur-concave functions which verifies (2.3). Consider the elementary symmetric functions of n variables given by

Proposition 1Each elementary symmetric functionsatisfies the isoperimetric inequality (2.3).

Proof For , the inequality (2.3) is obvious. If the inequality (2.3) becomes the classical means inequality, i.e., the geometric mean is greater than the harmonic mean. For simplicity, we present the proof only in the case . In this case, the inequality (2.3) is reduced to

We consider the function , where . By Newton’s inequalities we have , and now the inequality (2.5) is equivalent to , which holds for all . □

Moreover, it can be easily seen that if is a Schur-concave function with the property

then the inequality (2.3) holds. We have the equality in (2.6) if , but (2.6) is not necessary. For example, the symmetric fundamental polynomial of degree n satisfies (2.3) but not (2.6).

Finally, it remains an open question if all Schur-concave functions satisfy the isoperimetric inequality (2.3).

Let us consider the following family of symmetric functions:

where f is a positive function.

In this section, we apply the Schur-convexity of such a family of symmetric functions to infer some applications in generalized geometric programming.

For the case , if f is a convex function, then the Schur-convexity of is obvious. See Hardy-Littlewood-Polya’s inequality [12]. In [20] an extensive study concerning the Schur convexity of the above class of symmetric functions was given. For the convenience of the reader, we recall here the proof of the Schur-convexity of only in the cases and .

We say that a function is log-convex if the function logf is convex. If f is a log-convex function then f is also a convex function. See [18].

Theorem 6Letbe a convex set with a nonempty interior. Ifis a differentiable function in the interior ofI, continuous onI, positive and log-convex, then, , is Schur-convex on.

Proof We can write in the following form:

Thus, we have

Since f is a log-convex function ( is monotone increasing), we deduce that f is convex and we have

respectively,

In conclusion, we obtain

and it follows that is a Schur-convex function. □

Theorem 7Letbe a convex set with a nonempty interior. Ifis a differentiable function in the interior ofI, continuous onI, positive and log-convex, thenis Schur-convex on.

Proof We can write in the following form:

Hence, we have

by the same arguments as in the proof from above. □

From many other applications of Schur-convex functions we recall here some results in optimization problems. Generalized geometric programming refers to optimization problems that involve signomial functions which have applications in process synthesis, process design, molecular conformation, chemical equilibrium. See [9]. A signomial function is the sum of products of independent variables, each of them exponentiated to some nonzero rational number. A posynomial is a signomial function with positive coefficients.

In geometric programming, the properties of the function , such that the transformation convexifies a posynomial, are investigated.

The main idea to solve such optimization problems is to convexificate the function which needs to be optimized. It will be easy to find the supremum of a convex function because we are looking only to the boundary of the definition domain. Moreover, in the case of Schur-convex functions, the minimum is attained when all the independent variables are equal.

This is the reason why we investigate the transformation which convexifies a particular function. In fact, in geometric programming, the particular case is reduced to the study of convexity of the transformation.

Consider a family of strict positive and monotone functions and define . Recall here a recent result from [9].

Theorem 8Iffor every, and, then the transformation functionis convex in.

Consider the following family of functions:

We are now in position to use the Schur-convexity of our family of symmetric functions.

Theorem 9Let, , be a family of strict positive and monotone functions. If each functionis a log-convex function, then the functionis convex. Moreover, the functionis Schur-convex provided that.

Proof Taking into account Theorems 6, 7 and 8 because the constant function is log-convex, summing term by term, we obtain that all functions are convex. □

Finally, we refer to some inequalities for elementary symmetric functions which are related to the study of partial differential equations associated with curvature problems and have applications to fully nonlinear elliptic equations [8,14]. Other results on min-max inequalities and optimization theory can be found in [17,25].

Proposition 2Consider the symmetric function, where, . Thenis Schur-convex, for each.

Remark 2 The convexity of such functions is an open problem and has applications in fully nonlinear elliptic equations such as Monge-Ampère equation. See Theorem 6.4, Corollary 6.5 from [13], where the above functions are defined on a particular convex cone.

Proof For simplicity, we denote by the elementary symmetric function , by the elementary symmetric function of order i which contains only the variables , by the elementary symmetric function of order i which contains only the variables and by the elementary symmetric function of order i which contains only the variables .

In order to study the Schur-convexity of F, we need to evaluate the two partial derivatives

and it follows that

Now, we need to study the sign of . Taking into account that

we obtain

We need to prove that . If we denote by the arithmetic mean of the elementary symmetric function of order i, we have , the so called Newton’s inequalities. Hence, Newton’s inequalities imply the fact that , for .

Since, for each we have

it is obvious that .

Hence, the Schur convexity of the function follows. □

Remark 3 By a similar argument, it follows that the function is Schur convex for each .

The author declares that they have no competing interests.

This work was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-RU-TE-2011-3-0223.

1. Chu, Y-M, Wang, G-D, Zhang, X-M: The Schur multiplicative and harmonic convexities of the complete symmetric function. Math. Nachr.. 284(5-6), 653–663 (2011). Publisher Full Text

2. Chu, Y-M, Xia, W-F, Zhao, TH: Schur convexity for a class of symmetric functions. Sci. China Math.. 53(2), 465–474 (2010). Publisher Full Text

3. Chu, Y-M, Zhang, X-M, Wang, G-D: The Schur geometrical convexity of the extended mean values. J. Convex Anal.. 15(4), 707–718 (2008)

4. Chu, Y-M, Wang, G-D, Zhang, X-H: Schur convexity and Hadamard’s inequality. Math. Inequal. Appl.. 13(4), 725–731 (2010)

5. Chu, Y-M, Xia, W-F: Solution of an open problem for Schur convexity or concavity of the Gini mean values. Sci. China Ser. A. 52(10), 2099–2106 (2009). Publisher Full Text

6. Chu, Y-M, Sun, T-C: The Schur harmonic convexity for a class of symmetric functions. Acta Math. Sci., Ser. B. 30(5), 1501–1506 (2010)

7. Chu, Y-M, Lv, Y-P: The Schur harmonic convexity of the Hamy symmetric function and its applications. J. Inequal. Appl.. 2009, (2009)

8. Gilbarg, D, Trudinger, NS: Elliptic Partial Differential Equations of Second Order, Springer, Berlin (1983)

9. Gounaris, CE, Floudas, CA: Convexity of products of univariate functions and convexification transformations for geometric programming. J. Optim. Theory Appl.. 138, 407–427 (2008). Publisher Full Text

10. Guan, K: Schur-convexity of complete elementary symmetric function. J. Inequal. Appl.. 2006, (2006)

11. Guan, K: Some properties of a class of symmetric functions. J. Math. Anal. Appl.. 336, 70–80 (2007). Publisher Full Text

12. Hardy, GH, Littlewood, JE, Pólya, G: Inequalities, Cambridge Mathematical Library, Cambridge (1952) Reprinted (1988)

13. Krylov, NV: On the general notion of fully nonlinear second-order elliptic equations. Trans. Am. Math. Soc.. 347, 857–895 (1995). Publisher Full Text

14. Li, M, Trudinger, NS: On some inequalities for elementary symmetric functions. Bull. Aust. Math. Soc.. 50, 317–326 (1994). Publisher Full Text

15. Marshal, AW, Olkin, I: Inequalities: Theory of Majorization and Its Application, Academic Press, New York (1979)

16. Merkle, M: Conditions for convexity of a derivative and applications to the gamma and digammma function. Facta Univ., Math. Inform.. 16, 13–20 (2001)

17. Niculescu, CP, Rovenţa, I: Fan’s inequality in geodesic spaces. Appl. Math. Lett.. 22, 1529–1533 (2009). Publisher Full Text

18. Niculescu, CP, Persson, L-E: Convex Functions and Their Applications. A Contemporary Approach, Springer, New York (2006)

19. Roberts, AW, Varberg, DE: Convex Functions, Academic Press, New York (1973)

20. Rovenţa, I: Schur-convexity of a class of symmetric functions. An. Univ. Craiova, Ser. Mat. Inform.. 37(1), 12–18 (2010)

21. Sun, T-C, Lv, Y-P, Chu, Y-M: Schur multiplicative and harmonic convexities of generalized Heronian mean in n variables and their applications. Int. J. Pure Appl. Math.. 55(1), 25–33 (2009)

22. Xia, W-F, Chu, Y-M: The Schur convexity of Gini mean values in the sense of harmonic mean. Acta Math. Sci., Ser. B. 31(3), 1103–1112 (2011)

23. Xia, W-F, Chu, Y-M: The Schur harmonic convexity of Lehmer means. Int. Math. Forum. 4(41-44), 2009–2015 (2009)

24. Xia, W-F, Wang, G-D, Chu, Y-M: Schur convexity and inequalities for a class of symmetric functions. Int. J. Pure Appl. Math.. 58(4), 435–452 (2010)

25. Zhang, X-M: Optimization of Schur-convex functions. Math. Inequal. Appl.. 1(3), 319–330 (1998)

26. Zhang, X-M: Schur-convex functions and isoperimetric inequalities. Proc. Am. Math. Soc.. 126(2), 461–470 (1998). Publisher Full Text

27. Zhang, X-M, Chu, Y-M: Convexity of the integral arithmetic mean of a convex function. Rocky Mt. J. Math.. 40(3), 1061–1068 (2010). Publisher Full Text