Next Article in Journal
Statistical Inference of the Rayleigh Distribution Based on Progressively Type II Censored Competing Risks Data
Previous Article in Journal
Robust Blind Detection of Integer Carrier Frequency Offset for Terrestrial Broadcasting Systems Using Band Segmented Transmission
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Schur-Power Convexity of a Completely Symmetric Function Dual

1
Department of Electronic Information, Teacher’s College, Beijing Union University, Beijing 100011, China
2
Department of Mathematics, National Kaohsiung Normal University, Kaohsiung 82444, Taiwan
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(7), 897; https://doi.org/10.3390/sym11070897
Submission received: 24 May 2019 / Revised: 6 July 2019 / Accepted: 8 July 2019 / Published: 10 July 2019

Abstract

:
In this paper, by applying the decision theorem of the Schur-power convex function, the Schur-power convexity of a class of complete symmetric functions are studied. As applications, some new inequalities are established.

1. Introduction and Preliminaries

Convexity is a natural notion and plays an important and fundamental role in mathematics, physics, chemistry, biology, economics, engineering, and other sciences. To solve practical problems, several interesting concepts of generalized convexity or generalized concavity have been introduced and studied. Recent important investigations and developments in convex analysis have focused on the study of Schur-convexity, and Schur-geometric and Schur-harmonic convexity of various symmetric functions; see, e.g., [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20] and references therein. It is worth mentioning that discovering and judging Schur-convexity of various symmetric functions is an important topic in the study of the majorization theory. A lot of achievements in this field have been investigated by several authors; for more details, see the first author’s monographs [21,22].
Throughout this paper, we denote by N and R , the set of positive integers and real numbers, respectively. Let X be a nonempty set. Denote R + : = ( 0 , + ) and R : = ( , 0 ) . For a positive integer n, the set X n for the Cartesian product is the collection of all n-tuples of elements of X. Therefore, we can write R n , R + n and R n as follows:
X n = X × X × × X n times ,
where X R , R + , R .
Let x = ( x 1 , , x n ) and y = ( y 1 , , y n ) in R n . A set D R n is said to be convex if x , y D and 0 α 1 imply
α x + ( 1 α ) y = α x 1 + ( 1 α ) y 1 , , α x n + ( 1 α ) y n D .
Let D R n be a convex set. A function f : D R is said to be convex on D if
f α x + ( 1 α ) y α f ( x ) + ( 1 α ) f ( y )
for all x , y D , and all α [ 0 , 1 ] . The function f is said to be concave on D if and only if f is convex on D.
For the reader’s convenience and explicit later use, we now recall some basic definitions and notation that will be needed in this paper.
Definition 1
(see [23,24]).
(i) 
A set Ω R n is called symmetric, if x Ω implies x P Ω for every n × n permutation matrix P.
(ii) 
A function φ : Ω R is called symmetric if for every permutation matrix P, φ ( x P ) = φ ( x ) for all x Ω .
Definition 2
(see [23,24]). Let x = ( x 1 , , x n ) and y = ( y 1 , , y n ) R n .
(i) 
x y means x i y i for all i = 1 , 2 , , n .
(ii) 
Let Ω R n , φ: Ω R is said to be increasing if x y implies φ ( x ) φ ( y ) . φ is said to be decreasing if and only if φ is increasing.
Definition 3
(see [23,24]). Let x = ( x 1 , , x n ) and y = ( y 1 , , y n ) R n .
(i) 
x is said to be majorized by y (in symbols x y ) if i = 1 k x [ i ] i = 1 k y [ i ] for k = 1 , 2 , , n 1 and i = 1 n x i = i = 1 n y i , where x [ 1 ] x [ n ] and y [ 1 ] y [ n ] are rearrangements of x and y in a descending order.
(ii) 
Let Ω R n , the function φ: Ω R is said to be Schur-convex on Ω if x y on Ω implies φ x φ y . φ is said to be a Schur-concave function on Ω if and only if φ is a Schur-convex function on Ω.
The following useful characterizations of Schur-convex and Schur-concave functions were established in [23,24].
Lemma 1
(see [23,24]). Let Ω R n be symmetric and have a nonempty interior convex set. Ω is the interior of Ω. φ : Ω R is continuous on Ω and differentiable in Ω . Then φ is a S c h u r - c o n v e x (or S c h u r - c o n c a v e , respectively) f u n c t i o n if and only if φ is symmetric on Ω and
x 1 x 2 φ x 1 φ x 2 0 ( or 0 , respectively )
holds for any x Ω .
In 1923, Professor Issai Schur made the first systematic study of the functions preserving the ordering of majorization. In Schur’s honor, such functions are said to be “Schur-convex”. It is known that Schur-convexity can be applied extensively in analytic inequalities, combinatorial optimization, quantum physics, information theory, and other related fields (see, e.g., [23]).
Definition 4
(see [25,26]). Let x = ( x 1 , x 2 , , x n ) R + n and y = ( y 1 , y 2 , , y n ) R + n .
(i) 
A set Ω R + n is called a geometrically convex set if ( x 1 α y 1 β , x 2 α y 2 β , , x n α y n β ) Ω for all x , y Ω and α, β [ 0 , 1 ] such that α + β = 1 .
(ii) 
Let Ω R + n . The function φ : Ω R + is said to be Schur-geometrically convex on Ω if ( log x 1 , log x 2 , , log x n ) ( log y 1 , log y 2 , , log y n ) on Ω implies φ x φ y . The function φ is said to be a Schur-geometrically concave on Ω if and only if φ is Schur-geometrically convex on Ω.
Lemma 2.
(Schur-geometrically convex function decision theorem) [25,26] Let Ω R + n be a symmetric and geometrically convex set with a nonempty interior Ω . Let φ : Ω R + be continuous on Ω and differentiable in Ω . If φ is symmetric on Ω and
log x 1 log x 2 x 1 φ x 1 x 2 φ x 2 0 ( o r 0 , r e s p e c t i v e l y )
holds for any x = x 1 , x 2 , , x n Ω , then φ is a Schur-geometrically convex (or Schur-geometrically concave, respectively) function.
The Schur-geometric convexity was first proposed and studied by Zhang [25] in 2004 and was widely investigated and improved by many authors, see [27,28,29] and references therein. We also note that some authors use the term “Schur multiplicative convexity”.
In 2009, Chu [1,2,3] introduced the notion of Schur-harmonically convex function and established some interesting inequalities for Schur-harmonically convex functions.
Definition 5
(see [1]). Let Ω R + n or Ω R n .
(i) 
A set Ω is said to be harmonically convex if xy λ x + ( 1 λ ) y Ω for every x , y Ω and λ [ 0 , 1 ] , where xy = i = 1 n x i y i and 1 x = 1 x 1 , 1 x 2 , , 1 x n .
(ii) 
A function φ : Ω R + is said to be Schur-harmonically convex on Ω if 1 x 1 y implies φ ( x ) φ ( y ) . A function φ is said to be a Schur-harmonically concave function on Ω if and only if φ is a Schur-harmonically convex function.
Lemma 3.
(Schur-harmonically convex function decision theorem) [1] Let Ω R + n or Ω R n be a symmetric and harmonically convex set with inner points and let φ : Ω R be a continuously symmetric function which is differentiable on Ω . Then φ is Schur-harmonically convex (or Schur-harmonically concave, respectively) on Ω if and only if
( x 1 x 2 ) x 1 2 φ ( x ) x 1 x 2 2 φ ( x ) x 2 0 ( o r 0 , r e s p e c t i v e l y ) , x Ω .
In 2010, Yang [30] defined and introduced the concepts of the Schur-f-convex function and Schur-power convex function which are the generalization and unification of the concepts of Schur-convexity, Schur-geometric convexity, and Schur-harmonic convexity. He established useful characterizations of Schur m-power convex functions and presented their important properties; see [30].
Definition 6
(see [30]). Let f : R + R be defined by
f ( x ) = x m 1 m , m 0 ; ln x , m = 0 .
Then a function φ : Ω R + n R is said to be Schur m-power convex on Ω if
( f ( x 1 ) , f ( x 2 ) , , f ( x n ) ) ( f ( y 1 ) , f ( y 2 ) , , f ( y n ) )
for all x = ( x 1 , x 2 , , x n ) Ω and y = ( y 1 , y 2 , , y n ) Ω implies φ ( x ) φ ( y ) .
If φ is Schur m-power convex, then we say that φ is Schur m-power concave.
Lemma 4
(see [30]). Let Ω R + n be a symmetric set with nonempty interior Ω and φ : Ω R + be continuous on Ω and differentiable in Ω . Then φ is Schur m-power convex on Ω if and only if φ is symmetric on Ω and
x 1 m x 2 m m x 1 1 m φ ( x ) x 1 x 2 1 m φ ( x ) x 2 0 , if m 0
and
( log x 1 log x 2 ) x 1 φ ( x ) x 1 x 2 φ ( x ) x 2 0 , if m = 0
for all x Ω .
For x = ( x 1 , x 2 , , x n ) R n , recall that the complete symmetric function c n ( x , r ) is defined by
c n ( x , r ) = i 1 + i 2 + + i n = r x 1 i 1 x 2 i 2 x n i n ,
where c 0 ( x , r ) = 1 , r { 1 , 2 , , n } , i 1 , i 2 , , i n are non-negative integers.
The collection of complete symmetric functions is an important class of symmetric functions which has been investigated by many mathematicians and there are many interesting results in the literature.
In 2006, Guan [5] discussed the Schur-convexity of c n ( x , r ) and proved the following result.
Proposition 1.
c n ( x , r ) is increasing and Schur-convex on R + n .
Subsequently, Chu et al. [2] established the following proposition.
Proposition 2.
c n ( x , r ) is Schur-geometrically convex and Schur-harmonically convex on R + n .
In 2016, Shi et al. [19] further studied the Schur-convexity of c n ( x , r ) on R n and presented the following important result.
Proposition 3
(see [19]). If r is even integer (or odd integer, respectively), then c n ( x , r ) is decreasing and Schur-convex (or increasing and Schur-concave, respectively) on R n .
Recall that the dual form of the complete symmetric function c n ( x , r ) is defined by
c n * ( x , r ) = i 1 + i 2 + + i n = r j = 1 n i j x j ,
where c 0 * ( x , r ) = 1 , r { 1 , 2 , , n } , i 1 , i 2 , , i n are non-negative integers.
In 2013, Zhang and Shi [18] established the following two interesting propositions.
Proposition 4
(see [18]). For r = 1 , 2 , , n , c n * ( x , r ) is increasing and Schur-concave on R + n .
Proposition 5
(see [18]). For r = 1 , 2 , , n , c n * ( x , r ) is Schur-geometrically convex and Schur-harmonically convex on R + n .
Notice that
c n * ( x , r ) = ( 1 ) r c n * ( x , r ) .
It is not difficult to prove the following result.
Proposition 6.
If r is even integer (or odd integer, respectively), then c n * ( x , r ) is decreasing and Schur-concave (or increasing and Schur-convex, respectively) on R n .
In 2014, Sun et al. [6] studied the Schur-convexity, Schur-geometric and harmonic convexities of the following composite function of c n ( x , r ) :
c n x 1 x , r = i 1 + i 2 + + i n = r j = 1 n x j 1 x j i j .
By using Lemmas 1–3, they proved the following Theorems 1–3, respectively.
Theorem 1.
For x = ( x 1 , x 2 , , x n ) ( 0 , 1 ) n ( 1 , + ) n and r N ,
(i) 
c n x 1 x , r is increasing and Schur-convex on ( 0 , 1 ) n ;
(ii) 
if r is even integer (or odd integer, respectively), then c n x 1 x , r is Schur-convex (or Schur-concave, respectively) on ( 1 , + ) n , and is decreasing (or increasing, respectively).
Theorem 2.
For x = ( x 1 , x 2 , , x n ) ( 0 , 1 ) n ( 1 , + ) n and r N ,
(i) 
c n x 1 x , r is Schur-geometrically convex on ( 0 , 1 ) n ;
(ii) 
if r is even integer (or odd integer, respectively), then c n x 1 x , r is Schur-geometrically convex (or Schur-geometrically concave, respectively) on ( 1 , + ) n .
Theorem 3.
For x = ( x 1 , x 2 , , x n ) ( 0 , 1 ) n ( 1 , + ) n and r N ,
(i) 
c n x 1 x , r is Schur-harmonically convex on ( 0 , 1 ) n ;
(ii) 
if r is even integer (or odd integer, respectively), then c n x 1 x , r is Schur-harmonically convex (or Schur-harmonically concave, respectively) on ( 1 , + ) n .
In 2016, Shi et al. [19] applied the properties of Schur-convex, Schur-geometrically convex, and Schur-harmonically convex functions respectively to give simple proofs of Theorems 1–3.
Recall that the dual form of the function c n x 1 x , r is defined by
c n * x 1 x , r = i 1 + i 2 + + i n = r j = 1 n i j x j 1 x j .
A function associated with this function is
c n * x x 1 , r = i 1 + i 2 + + i n = r j = 1 n i j x j x j 1 .
In this work, we will establish some important results for the Schur-power convexity of symmetric functions c n * x x 1 , r and c n * x 1 x , r . As their applications, some new inequalities are obtained in Section 3.

2. Main Results

The following lemmas are very crucial for our main results.
Lemma 5.
Let m 1 . For x 1 , x 2 ( 1 , + ) and x 1 > x 2 , we have
x 1 ( x 1 1 ) x 2 1 m x 2 ( x 2 1 ) x 1 1 m ;
( x 1 1 ) 2 x 2 1 m ( x 2 1 ) 2 x 1 1 m ;
( x 1 1 ) 2 x 2 2 m x 2 1 ( x 2 1 ) 2 x 1 2 m x 1 1 .
Proof. 
Since
( ( t 1 ) t m ) = t m 1 [ t ( m + 1 ) m ] t m 1 [ ( m + 1 ) m ] 0 , f o r t > 1 ,
we have
( x 1 1 ) x 1 m ( x 2 1 ) x 2 m , f o r x 1 > x 2 .
This inequality is equivalent to inequality (12). Since
( t 1 ) 2 t ( 1 m ) = ( t 1 ) [ t ( m + 1 ) + 1 m ] t m t [ 2 ( 1 m ) ] ( t 1 ) [ ( m + 1 ) + 1 m ] t m t [ 2 ( 1 m ) ] 0 , f o r t > 1 ,
we obtain
( x 1 1 ) 2 x 1 ( 1 m ) ( x 2 1 ) 2 x 2 ( 1 m ) , f o r x 1 > x 2 .
This inequality is equivalent to inequality (13). Since
( t 1 ) 3 t ( 2 m ) = ( t 1 ) 2 t 1 m [ t ( m + 1 ) + 2 m ] t [ 2 ( 2 m ) ] ( t 1 ) 2 t 1 m [ ( m + 1 ) + 2 m ] t [ 2 ( 2 m ) ] 0 , f o r t > 1 ,
we get
( x 1 1 ) 3 m x 1 ( 2 m ) ( x 2 1 ) 3 m x 2 ( 2 m ) , f o r x 1 > x 2 .
This inequality is equivalent to inequality (14). □
Lemma 6.
Let m 0 . For x 1 , x 2 ( 0 , 1 ) and x 1 > x 2 , we have
x 1 1 m x 2 ( 1 x 2 ) x 2 1 m x 1 ( 1 x 1 ) ;
x 1 1 m ( 1 x 2 ) 2 x 2 1 m ( 1 x 1 ) 2 ;
( 1 x 2 ) 2 x 1 2 m 1 x 1 ( 1 x 1 ) 2 x 2 2 m 1 x 2 .
Proof. 
Since
( ( 1 t ) t m ) = t m 1 [ m ( 1 t ) t ] = t m 1 [ m t ( m + 1 ) ] 0 , f o r t ( 0 , 1 ) ,
we get
( 1 x 1 ) x 1 m ( 1 x 2 ) x 2 m , f o r x 1 > x 2 .
This inequality is equivalent to inequality (15). Since
( 1 t ) 2 t ( 1 m ) = ( t 1 ) [ m ( 1 t ) ( t + 1 ) ] t m t [ 2 ( 1 m ) ] 0 , f o r t ( 0 , 1 ) ,
we obtain
( 1 x 1 ) 2 x 1 ( 1 m ) ( 1 x 2 ) 2 x 2 ( 1 m ) , f o r x 1 > x 2 .
This inequality is equivalent to inequality (16). Since
( 1 t ) 3 t ( 2 m ) = ( 1 t ) 2 t 1 m [ m ( 1 t ) 2 ( 1 + t ) ] t [ 2 ( 2 m ) ] 0 , f o r t ( 0 , 1 ) ,
we have
( 1 x 1 ) 3 m x 1 ( 2 m ) ( 1 x 2 ) 3 m x 2 ( 2 m ) , f o r x 1 > x 2 .
This inequality is equivalent to inequality (17). □
Now, we establish the following new result for the Schur-power convexity of c n * ( ( x / ( x 1 ) ) , r ) .
Theorem 4.
Let r N . If m 1 , then c n * x x 1 , r is decreasing and Schur m-power convex on ( 1 , + ) n .
Proof. 
Let q ( t ) = t t 1 . Then
q ( t ) = 1 ( t 1 ) 2 , q ( t ) = 2 ( t 1 ) 3 .
From Proposition 4, we know that c n * ( x , r ) is increasing on R + n , but q ( t ) is decreasing on R , therefore, the function c n * x x 1 , r is decreasing on ( 1 , + ) n .
For r = 1 and r = 2 , it is easy to prove that c n * x x 1 , r is Schur m-power convex on ( 1 , + ) n . Now consider the case of r 3 . By the symmetry of c n * x x 1 , r , without loss of generality, we may assume x 1 > x 2 . So
c n * x x 1 , r = i 1 + i 2 + + i n = r i 1 0 , i 2 = 0 j = 1 n i j x j x j 1 × i 1 + i 2 + + i n = r i 1 = 0 , i 2 0 j = 1 n i j x j x j 1 × i 1 + i 2 + + i n = r i 1 0 , i 2 0 j = 1 n i j x j x j 1 × i 1 + i 2 + + i n = r i 1 = 0 , i 2 = 0 j = 1 n i j x j x j 1 .
Then we have
c n * x x 1 , r x 1 = c n * x x 1 , r × i 1 + i 2 + + i n = r i 1 0 , i 2 = 0 i 1 ( x 1 1 ) 2 j = 1 n i j x j x j 1 + i 1 + i 2 + + i n = r i 1 0 , i 2 0 i 1 ( x 1 1 ) 2 j = 1 n i j x j x j 1 = c n * x x 1 , r ( k + k 3 + + k n = r k 0 k ( x 1 1 ) 2 ( k x 1 x 1 1 + j = 3 n k j x j x j 1 ) + k + m + i 3 + + i n = r k 0 , m 0 k ( x 1 1 ) 2 ( k x 1 x 1 1 + m x 2 x 2 1 + j = 3 n k j x j x j 1 ) ) .
By the same arguments, we get
c n * x x 1 , r x 2 = c n * x x 1 , r ( k + k 3 + + k n = r k 0 k ( x 2 1 ) 2 ( k x 2 x 2 1 + j = 3 n k j x j x j 1 ) + k + m + i 3 + + i n = r k 0 , m 0 k ( x 2 1 ) 2 ( k x 2 x 2 1 + m x 1 x 1 1 + j = 3 n k j x j x j 1 ) ) ,
then, it follows from (19) and (20) that
x 1 1 m c n * x x 1 , r x 1 x 2 1 m c n * x x 1 , r x 2 = c n * x x 1 , r ( C 1 + C 2 ) ,
where
C 1 = k + k 3 + + k n = r k 0 k x 1 1 m ( x 1 1 ) 2 ( k x 1 x 1 1 + j = 3 n k j x j x j 1 ) k x 2 1 m ( x 2 1 ) 2 ( k x 2 x 2 1 + j = 3 n k j x j x j 1 ) = k k + k 3 + + k n = r k 0 λ 1 ( x 1 1 ) 2 ( k x 1 x 1 + j = 3 n k j x j x j 1 ) ( x 2 1 ) 2 ( k x 2 x 2 1 + j = 3 n k j x j x j 1 )
with
λ 1 = k [ x 1 ( x 1 1 ) x 2 1 m x 2 ( x 2 1 ) x 1 1 m ] + [ ( x 1 1 ) 2 x 2 1 m ( x 2 1 ) 2 x 1 1 m ] j = 3 n k j x j x j 1
and
C 2 = k + m + i 3 + + i n = r k 0 , m 0 k x 1 1 m ( x 1 1 ) 2 ( k x 1 x 1 1 + m x 2 x 2 1 + j = 3 n k j x j x j 1 ) k x 2 1 m ( x 2 1 ) 2 ( k x 2 x 2 1 + m x 1 x 1 1 + j = 3 n k j x j x j 1 ) = k k + m + i 3 + + i n = r k 0 , m 0 λ 2 ( x 1 1 ) 2 ( k x 1 x 1 1 + m x 2 x 2 1 + j = 3 n k j x j x j 1 ) ( x 2 1 ) 2 ( k x 2 x 2 1 + m x 1 x 1 1 + j = 3 n k j x j x j 1 ) ,
with
λ 2 = k [ x 1 ( x 1 1 ) x 2 1 m x 2 ( x 2 1 ) x 1 1 m ] + m ( x 1 1 ) 2 x 2 2 m x 2 1 ( x 2 1 ) 2 x 1 2 m x 1 1 + [ ( x 1 1 ) 2 x 2 1 m ( x 2 1 ) 2 x 1 1 m ] j = 3 n k j x j x j 1 .
By Lemma 5, it is easy to see that C 1 0 and C 2 0 for x ( 1 , + ) n , so
x 1 1 m c n * x x 1 , r x 1 x 2 1 m c n * x x 1 , r x 2 0 .
By Lemma 4, we prove that c n * x x 1 , r is Schur m-Power convex on ( 1 , + ) n for m 1 . The proof is completed. □
Next, we present some new results for the Schur-power convexity of c n * ( ( x / ( 1 x ) ) , r ) .
Theorem 5.
Let r N .
(i) 
c n * x 1 x , r is increasing on R + n and Schur-convex on [ 1 2 , 1 ) n ;
(ii) 
If m 0 , then c n * x 1 x , r is Schur-m-power convex on ( 0 , 1 ) n ;
(iii) 
For m 1 , if r is even integer (or odd integer, respectively), then c n * x 1 x , r is Schur-m-power convex (or Schur-m-power concave, respectively) on ( 1 , + ) n .
Proof. 
(i) Let p ( t ) = t 1 t . Then
p ( t ) = 1 ( 1 t ) 2 , p ( t ) = 2 ( 1 t ) 3 .
From Proposition 4, we know that c n * ( x , r ) is increasing on R + n , but p ( t ) is increasing on R , therefore, the function c n * x 1 x , r is increasing on R + n .
For the case of r = 1 and r = 2 , it is easy to prove that c n * x 1 x , r is Schur-convex on [ 1 2 , 1 ) n .
Now consider the case of r 3 . By the symmetry of c n * x 1 x , r , without loss of generality, we may assume x 1 > x 2 . So
c n * x 1 x , r = i 1 + i 2 + + i n = r i 1 0 , i 2 = 0 j = 1 n i j x j 1 x j × i 1 + i 2 + + i n = r i 1 = 0 , i 2 0 j = 1 n i j x j 1 x j × i 1 + i 2 + + i n = r i 1 0 , i 2 0 j = 1 n i j x j 1 x j × i 1 + i 2 + + i n = r i 1 = 0 , i 2 = 0 j = 1 n i j x j 1 x j .
Then we obtain
c n * x 1 x , r x 1 = c n * x 1 x , r × i 1 + i 2 + + i n = r i 1 0 , i 2 = 0 i 1 ( 1 x 1 ) 2 j = 1 n i j x j 1 x j + i 1 + i 2 + + i n = r i 1 0 , i 2 0 i 1 ( 1 x 1 ) 2 j = 1 n i j x j 1 x j = c n * x 1 x , r ( k + k 3 + + k n = r k 0 k ( 1 x 1 ) 2 ( k x 1 1 x 1 + j = 3 n k j x j 1 x j )
+ k + m + i 3 + + i n = r k 0 , m 0 k ( 1 x 1 ) 2 ( k x 1 1 x 1 + m x 2 1 x 2 + j = 3 n k j x j 1 x j ) ) .
By the same arguments,
c n * x 1 x , r x 2 = c n * x 1 x , r ( k + k 3 + + k n = r k 0 k ( 1 x 2 ) 2 ( k x 2 1 x 2 + j = 3 n k j x j 1 x j ) + k + m + i 3 + + i n = r k 0 , m 0 k ( 1 x 2 ) 2 ( k x 2 1 x 2 + m x 1 1 x 1 + j = 3 n k j x j 1 x j ) ) ,
c n * x 1 x , r x 1 c n * x 1 x , r x 2 = c n * x 1 x , r ( D 1 + D 2 ) ,
where
D 1 = k + k 3 + + k n = r k 0 k ( 1 x 1 ) 2 ( k x 1 1 x 1 + j = 3 n k j x j 1 x j ) k ( 1 x 2 ) 2 ( k x 2 1 x 2 + j = 3 n k j x j 1 x j ) = k k + k 3 + + k n = r k 0 k ( x 1 + x 2 1 ) ( x 1 x 2 ) + ( x 1 x 2 ) ( 2 x 1 x 2 ) j = 3 n k j x j 1 x j ( 1 x 1 ) 2 ( k x 1 1 x 1 + j = 3 n k j x j 1 x j ) ( 1 x 2 ) 2 ( k x 2 1 x 2 + j = 3 n k j x j 1 x j )
and
D 2 = k + m + i 3 + + i n = r k 0 , m 0 k ( 1 x 1 ) 2 ( k x 1 1 x 1 + m x 2 1 x 2 + j = 3 n k j x j 1 x j ) k ( 1 x 2 ) 2 ( k x 2 1 x 2 + m x 1 1 x 1 + j = 3 n k j x j 1 x j ) = k k + m + i 3 + + i n = r k 0 , m 0 δ 1 ( 1 x 1 ) 2 ( k x 1 1 x 1 + m x 2 1 x 2 + j = 3 n k j x j 1 x j ) ( 1 x 2 ) 2 ( k x 2 1 x 2 + m x 1 1 x 1 + j = 3 n k j x j 1 x j )
with
δ 1 = k ( x 1 + x 2 1 ) ( x 1 x 2 ) + ( 1 x 2 ) 2 m x 1 1 x 1 ( 1 x 1 ) 2 m x 2 1 x 2 + ( x 1 x 2 ) ( 2 x 1 x 2 ) j = 3 n k j x j 1 x j .
Let q ( t ) = ( 1 t ) 3 m t . Then q ( t ) = m ( 1 + 2 t ) ( 1 t ) 2 m 2 t 2 0 which implies that q ( t ) is descending on R + . So that ( 1 x 1 ) 3 m x 1 ( 1 x 2 ) 3 m x 2 , namely ( 1 x 2 ) 2 m x 1 1 x 1 ( 1 x 1 ) 2 m x 2 1 x 2 0 . It is easy to see that D 1 0 and D 2 0 for x [ 1 2 , 1 ) n , so
c n * x 1 x , r x 1 c n * x 1 x , r x 2 0 .
By Lemma 1, we obtain c n * x 1 x , r is Schur-convex on [ 1 2 , 1 ) n .
(ii) For r = 1 and r = 2 , it is easy to prove that c n * x 1 x , r is Schur m-power convex on ( 0 , 1 ) n .
Now consider the case of r 3 . By the symmetry of c n * x 1 x , r , without loss of generality, we may assume x 1 > x 2 . From (22) and (24), we have
x 1 1 m c n * x 1 x , r x 1 x 2 1 m c n * x 1 x , r x 2 = c n * x 1 x , r ( F 1 + F 2 ) ,
where
F 1 = k + k 3 + + k n = r k 0 k x 1 1 m ( 1 x 1 ) 2 ( k x 1 1 x 1 + j = 3 n k j x j 1 x j ) k x 2 1 m ( 1 x 2 ) 2 ( k x 2 1 x 2 + j = 3 n k j x j 1 x j ) = k k + k 3 + + k n = r k 0 δ 1 ( 1 x 1 ) 2 ( k x 1 1 x 1 + j = 3 n k j x j 1 x j ) ( 1 x 2 ) 2 ( k x 2 1 x 2 + j = 3 n k j x j 1 x j )
with
δ 1 = k [ x 1 1 m x 2 ( 1 x 2 ) x 2 1 m x 1 ( 1 x 1 ) ] + [ x 1 1 m ( 1 x 2 ) 2 x 2 1 m ( 1 x 1 ) 2 ] j = 3 n k j x j 1 x j
and
F 2 = k + m + i 3 + + i n = r k 0 , m 0 k x 1 1 m ( 1 x 1 ) 2 ( k x 1 1 x 1 + m x 2 1 x 2 + j = 3 n k j x j 1 x j ) k x 2 1 m ( 1 x 2 ) 2 ( k x 2 1 x 2 + m x 1 1 x 1 + j = 3 n k j x j 1 x j ) = k k + m + i 3 + + i n = r k 0 , m 0 δ 2 ( 1 x 1 ) 2 ( k x 1 1 x 1 + m x 2 1 x 2 + j = 3 n k j x j 1 x j ) ( 1 x 2 ) 2 ( k x 2 1 x 2 + m x 1 1 x 1 + j = 3 n k j x j 1 x j )
with
δ 2 = k [ x 1 1 m x 2 ( 1 x 2 ) x 2 1 m x 1 ( 1 x 1 ) ] + m ( 1 x 2 ) 2 x 1 2 m 1 x 1 ( 1 x 1 ) 2 x 2 2 m 1 x 2 + ( [ x 1 1 m ( 1 x 2 ) 2 x 2 1 m ( 1 x 1 ) 2 ] j = 3 n k j x j 1 x j .
By Lemma 6, it is easy to see that F 1 0 and F 2 0 for x ( 0 , 1 ) n , and then
x 1 1 m c n * x 1 x , r x 1 x 2 1 m c n * x 1 x , r x 2 0 .
By Lemma 4, we show that c n * x 1 x , r is Schur-m power convex on ( 0 , 1 ) n .
(iii) Notice that
c n * x x 1 , r = ( 1 ) r c n * x 1 x , r ,
and combining with the Schur-power convexity of c n * x x 1 , r on ( 1 , + ) n (see Theorem 4), we can prove (iii). The proof is completed. □
According to the relationship between the Schur-power convex function and the Schur-convex function, the Schur-geometrically convex function, and the Schur-harmonically function, we can establish the following two corollaries immediately.
Corollary 1.
Let r N . Then c n * x x 1 , r is Schur-convex, Schur-geometrically convex, and Schur-harmonically convex on ( 1 , + ) n .
Corollary 2.
Let r N .
(i) 
The function c n * x 1 x , r is Schur-geometrically convex and Schur-harmonically convex on ( 0 , 1 ) n .
(ii) 
If r is even integer (or odd integer, respectively), then c n * x 1 x , r is Schur-convex, Schur-geometric convex, and Schur-harmonic convex (or Schur-concave, Schur-geometric concave, and Schur-harmonic concave, respectively) on ( 1 , + ) n .
Finally, an open problem arises naturally at the end of this section.
Problem 1.
For x 0 , 1 2 n , what is the Schur-convexity of c n * x 1 x , r ? Is it Schur-convex or Schur-concave, or is it uncertain?

3. Some Applications

It is not difficult to prove the following theorem by applying Corollary 2 and the majorizing relation
A n ( x ) , A n ( x ) , , A n ( x ) x 1 , x 2 , , x n .
Theorem 6.
If x = ( x 1 , x 2 , , x n ) [ 1 2 , 1 ) n and r N , or r is even integer and x ( 1 , + ) n , then
c n * x 1 x , r r A n ( x ) 1 A n ( x ) n + r 1 r ,
where A n ( x ) = 1 n i = 1 n x i and n + r 1 r = ( n + r 1 ) ! r ! ( ( n + r 1 ) r ) ! .
If r is odd and x ( 1 , + ) n , then the inequality (26) is reversed.
By Corollary 2 and the majorizing relation
log G n ( x ) , log G n ( x ) , , log G n ( x ) log x 1 , log x 2 , , log x n ,
we can establish the following result.
Theorem 7.
If x = ( x 1 , x 2 , , x n ) ( 0 , 1 ) n and r N or r is even integer x ( 1 , + ) n , then
c n * x 1 x , r r G n ( x ) 1 G n ( x ) n + r 1 r ,
where G n ( x ) = i = 1 n x i n and n + r 1 r = ( n + r 1 ) ! r ! ( ( n + r 1 ) r ) ! .
If r is odd integer and x ( 1 , + ) n , then the inequality (27) is reversed.
By using Corollary 2 and the majorizing relation
1 H n ( x ) , 1 H n ( x ) , , 1 H n ( x ) 1 x 1 , 1 x 2 , , 1 x n ,
we obtain the following theorem.
Theorem 8.
If x = ( x 1 , x 2 , , x n ) ( 0 , 1 ) n and r N , or r is even integer and x ( 1 , + ) n , then
c n * x 1 x , r r H n ( x ) 1 H n ( x ) n + r 1 r ,
where H n ( x ) = n i = 1 n x i 1 and n + r 1 r = ( n + r 1 ) ! r ! ( ( n + r 1 ) r ) ! .
If r is odd and x ( 1 , + ) n , then the inequality ( 28 ) is reversed.

4. Conclusions

In this paper, we establish the following two important main results of this paper for the Schur-power convexity of symmetric functions c n * x x 1 , r and c n * x 1 x , r :
  • (see Theorem 4) Let r N . If m 1 , then c n * x x 1 , r is decreasing and Schur m-power convex on ( 1 , + ) n .
  • (see Theorem 5) Let r N .
    (i) 
    c n * x 1 x , r is increasing on R + n and Schur-convex on [ 1 2 , 1 ) n ;
    (ii) 
    If m 0 , then c n * x 1 x , r is Schur-m-power convex on ( 0 , 1 ) n ;
    (iii) 
    For m 1 , if r is even integer (or odd integer, respectively), then c n * x 1 x , r is Schur-m-power convex (or Schur-m-power concave, respectively) on ( 1 , + ) n .
As applications of our new results, some new inequalities are presented in Section 3.

Author Contributions

Both authors contributed equally to this work. Both authors read and approved the final manuscript.

Funding

The second author is supported by Grant No. MOST 107-2115-M-017-004-MY2 of the Ministry of Science and Technology of the Republic of China.

Acknowledgments

The authors wish to express their hearty thanks to the anonymous referees for their valuable suggestions and comments.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chu, Y.M.; Sun, T.C. The Schur harmonic convexity for a class of symmetric functions. Acta Math. Sci. 2010, 30, 1501–1506. [Google Scholar]
  2. Chu, Y.-M.; Wang, G.-D.; Zhang, X.-H. The Schur multiplicative and harmonic convexities of the complete symmetric function. Math. Nachr. 2011, 284, 653–663. [Google Scholar] [CrossRef]
  3. Chu, Y.-M.; Lv, Y.-P. The Schur harmonic convexity of the Hamy symmetric function and its applications. J. Inequal. Appl. 2009, 2009, 838529. [Google Scholar] [CrossRef]
  4. Xia, W.F.; Chu, Y.M. Schur-convexity for a class of symmetric functions and its applications. J. Inequal. Appl. 2009, 2009, 493759. [Google Scholar] [CrossRef]
  5. Guan, K.-Z. Schur-convexity of the complete symmetric function. Math. Inequal. Appl. 2006, 9, 567–576. [Google Scholar] [CrossRef]
  6. Sun, M.B.; Chen, N.B.; Li, S.H. Some properties of a class of symmetric functions and its applications. Math. Nachr. 2014, 287, 1530–1544. [Google Scholar] [CrossRef]
  7. Xia, W.-F.; Chu, Y.-M. Schur convexity and Schur multiplicative convexity for a class of symmeric functions with applications. Ukr. Math. J. 2009, 61, 1541–1555. [Google Scholar] [CrossRef]
  8. Rovenţa, I. Schur convexity of a class of symmetric functions. Ann. Univ. Craiova Math. Comput. Sci. Ser. 2010, 37, 12–18. [Google Scholar]
  9. Xia, W.-F.; Chu, Y.-M. On Schur convexity of some symmetric functions. J. Inequal. Appl. 2010, 2010, 54325. [Google Scholar] [CrossRef]
  10. Meng, J.-X.; Chu, Y.-M.; Tang, X.-M. The Schur-harmonic-convexity of dual form of the Hamy symmetric function. Mat. Vesn. 2010, 62, 37–46. [Google Scholar]
  11. Chu, Y.-M.; Xia, W.-F.; Zhao, T.-H. Some properties for a class of symmetric functions and applications. J. Math. Inequal. 2011, 5, 1–11. [Google Scholar] [CrossRef]
  12. Guan, K.-Z.; Guan, R.-K. Some properties of a generalized Hamy symmetric function and its applications. J. Math. Anal. Appl. 2011, 376, 494–505. [Google Scholar] [CrossRef] [Green Version]
  13. Qian, W.-M. Schur convexity for the ratios of the Hamy and generalized Hamy symmetric functions. J. Inequal. Appl. 2011, 2011, 131. [Google Scholar] [CrossRef] [Green Version]
  14. Chu, Y.-M.; Xia, W.-F.; Zhang, X.-H. The Schur concavity, Schur multiplicative and harmonic convexities of the second dual form of the Hamy symmetric function with applications. J. Multivar. Anal. 2012, 105, 412–421. [Google Scholar] [CrossRef] [Green Version]
  15. Rovenţa, I. A note on Schur-concave functions. J. Inequal. Appl. 2012, 2012, 159. [Google Scholar] [CrossRef] [Green Version]
  16. Xia, W.-F.; Zhang, X.-H.; Wang, G.-D.; Chu, Y.-M. Some properties for a class of symmetric functions with applications. Indian J. Pure Appl. Math. 2012, 43, 227–249. [Google Scholar] [CrossRef]
  17. Shi, H.-N.; Zhang, J. Schur-convexity of dual form of some symmetric functions. J. Inequal. Appl. 2013, 2013, 295. [Google Scholar] [CrossRef] [Green Version]
  18. Zhang, K.-S.; Shi, H.-N. Schur convexity of dual form of the complete symmetric function. Math. Inequal. Appl. 2013, 16, 963–970. [Google Scholar] [CrossRef]
  19. Shi, H.-N.; Zhang, J.; Ma, Q.-H. Schur-convexity, Schur-geometric and Schur-harmonic convexity for a composite function of complete symmetric function. SpringerPlus 2016, 5, 296. [Google Scholar] [CrossRef]
  20. Shi, H.-N.; Du, W.-S. Schur-convexity for a class of completely symmetric function dual. Adv. Theory Nonlinear Anal. Appl. 2019, 3, 74–89. [Google Scholar]
  21. Shi, H.-N. Majorization Theory and Analytical Inequalities; Harbin Institute of Technology Press: Harbin, China, 2012. (In Chinese) [Google Scholar]
  22. Shi, H.-N. Schur-Convex Functions and Inequalities; Harbin Institute of Technology Press: Harbin, China, 2012. (In Chinese) [Google Scholar]
  23. Marshall, A.W.; Olkin, I.; Arnold, B.C. Inequalities: Theory of Majorization and Its Application, 2nd ed.; Springer: New York, NY, USA, 2011. [Google Scholar]
  24. Wang, B.Y. Foundations of Majorization Inequalities; Beijing Normal University Press: Beijing, China, 1990. (In Chinese) [Google Scholar]
  25. Zhang, X.M. Geometrically Convex Functions; An’hui University Press: Hefei, China, 2004. (In Chinese) [Google Scholar]
  26. Zhang, X.-H.; Chu, Y.-M. New discussion to analytic Inequalities; Harbin Institute of Technology Press: Harbin, China, 2009. (In Chinese) [Google Scholar]
  27. Chu, Y.M.; Zhang, X.M.; Wang, G.D. The Schur geometrical convexity of the extended mean values. J. Convex Anal. 2008, 15, 707–718. [Google Scholar]
  28. Guan, K.Z. A class of symmetric functions for multiplicatively convex function. Math. Inequal. Appl. 2007, 10, 745–753. [Google Scholar] [CrossRef]
  29. 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. 2009, 55, 25–33. [Google Scholar]
  30. Yang, Z.H. Schur power convexity of Stolarsky means. Publ. Math. Debrecen 2012, 80, 43–66. [Google Scholar]

Share and Cite

MDPI and ACS Style

Shi, H.-N.; Du, W.-S. Schur-Power Convexity of a Completely Symmetric Function Dual. Symmetry 2019, 11, 897. https://doi.org/10.3390/sym11070897

AMA Style

Shi H-N, Du W-S. Schur-Power Convexity of a Completely Symmetric Function Dual. Symmetry. 2019; 11(7):897. https://doi.org/10.3390/sym11070897

Chicago/Turabian Style

Shi, Huan-Nan, and Wei-Shih Du. 2019. "Schur-Power Convexity of a Completely Symmetric Function Dual" Symmetry 11, no. 7: 897. https://doi.org/10.3390/sym11070897

APA Style

Shi, H. -N., & Du, W. -S. (2019). Schur-Power Convexity of a Completely Symmetric Function Dual. Symmetry, 11(7), 897. https://doi.org/10.3390/sym11070897

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop