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.
Keywords:Schur-concave functions; isoperimetric inequality; optimization
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 . Let us consider to be two vectors from .
An important source of Schur-convex functions can be found in Merkle . 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  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  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 .
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 . 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 .
2 A discrete isoperimetric inequality
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 .
with equality whenKandLare identically up to a translation.
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. □
Theorem 4 (See )
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:
Now, we are able to present the discrete form of the isoperimetric inequality in the context of this type of n-dimensional volume functions.
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
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
Finally, it remains an open question if all Schur-concave functions satisfy the isoperimetric inequality (2.3).
3 Schur-convexity of a family of symmetric functions and applications
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 . In  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 .
Thus, we have
In conclusion, we obtain
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 . 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.
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 .
Consider the following family of functions:
We are now in position to use the Schur-convexity of our family of symmetric functions.
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].
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 , 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
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 .
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.
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
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
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
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
Guan, K: Some properties of a class of symmetric functions. J. Math. Anal. Appl.. 336, 70–80 (2007). Publisher Full Text
Krylov, NV: On the general notion of fully nonlinear second-order elliptic equations. Trans. Am. Math. Soc.. 347, 857–895 (1995). Publisher Full Text
Li, M, Trudinger, NS: On some inequalities for elementary symmetric functions. Bull. Aust. Math. Soc.. 50, 317–326 (1994). Publisher Full Text
Niculescu, CP, Rovenţa, I: Fan’s inequality in geodesic spaces. Appl. Math. Lett.. 22, 1529–1533 (2009). Publisher Full Text
Zhang, X-M: Schur-convex functions and isoperimetric inequalities. Proc. Am. Math. Soc.. 126(2), 461–470 (1998). Publisher Full Text
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