Skip to main content

Exponential convexity for majorization

Abstract

In this article, we give more generalized results than in Anwar et al. (2010) and Latif and Pečarić (2010) in new direction by using second-order divided difference. We investigate the exponential convexity and logarithmic convexity for majorization type results by using class of continuous functions in linear functionals. We also construct positive semi-definite matrices for majorization type results. We will vary on choice of a family of functions in order to construct different examples of exponentially convex functions and construct some means. We also prove the monotonic property.

Mathematics Subject Classification (2000): 26A51; 39B62; 26D15; 26D20; 26D99.

1. Introduction and preliminaries

Although inequalities play a fundamental role in nearly all branches of mathematics, inequalities are usually obtained by ad hoc methods rather than as consequences of some underlying "Theory of Inequalities". For certain kinds of inequalities, the notion of majorization leads to such a theory that is sometimes extremely useful and powerful for deriving inequalities. Moreover, the derivation of an inequality by methods of majorization is often very helpful both for providing a deeper understanding and for suggesting natural generalizations [1].

Now we define the notion of majorization as follows: For fixed n ≥ 2, let

x = x 1 , , x n , y = y 1 , , y n

denote two n-tuples and

x 1 x 2 x n , y 1 y 2 y n ,

be their ordered components.

Definition 1.1. [[1], p. 8] For x, y n,

x y i f i = 1 k x [ i ] i = 1 k y [ i ] , k = 1 , , n - 1 ; i = 1 n x [ i ] = i = 1 n y [ i ] ,

when x y , x is said to be majorized by y (y majorizes x).

The following theorem is well-known in literature as the majorization theorem and a convenient reference for its proof is Marshall et al. [[1], p. 15, p. 157], which is due to Hardy et al. [[2], p. 75] and can also be found in [[3], p. 320]. For a discussion concerning the matter of priority see Mitrinović [[4], p. 169].

Here J be any interval in .

Theorem 1.2. Let x and y be two n-tuples such that x i , y i J, i = 1, . . . , n; then

Λ 1 ( f ) = i = 1 n f ( y i ) - i = 1 n f ( x i ) 0 ,
(A1)

holds for all continuous convex functions f : iff x y.

If f(x) is a strictly convex function then equality in (A1) is valid iff x[i]= y[i], i = 1, . . . , n.

In 1947, Fuchs gave a weighted generalization of the well-known majorization theorem for convex functions and two sequences monotonic in the same sense [5], (see also [[3], p. 323], [[1], p. 580]).

Theorem 1.3. Let x and y be two decreasing real n-tuples, let p = (p1, . . . , p n ) be a real n-tuple such that

i = 1 k p i x i i = 1 k p i y i for k = 1 , , n - 1 ;
(1)

and

i = 1 n p i x i = i = 1 n p i y i ;
(2)

then, for every continuous convex function f : J, we have

Λ 2 ( f ) = i = 1 n p i f ( y i ) - i = 1 n p i f ( x i ) 0 .
(A2)

A number of important inequalities arise from the logarithmic convexity of some functions as one can see in [1]. Logarithmic convexity plays an important role in fields of application such as reliability and survival analysis, and in economics. We also find its applications in applied mathematics as well.

Here, we give an important result from Anwar et al. [6] which is given in recent book of Marshall et al. [1].

Proposition 1.4. If p n and x, y are decreasing n-tuples such that (1) and (2) hold and φ s : (0, ) → defined as,

φ s ( x ) = x s s ( s - 1 ) , s 0 , 1 ; - ln x , s = 0 ; x ln x , s = 1 ;
(3)

then, Λ2(φ s ) is log-convex as a function of s , with x , y , and p fixed.

The following theorem is consequence of Theorem 1 in [7] (see also [[3], p. 328]):

Theorem 1.5. Let x, y : [a, b] → be increasing continuous functions and let H : [a, b] be a function of bounded variation. If

ν b x ( z ) d H ( z ) ν b y ( z ) d H ( z ) for every ν ( a , b ) ,

and

a b x ( z ) d H ( z ) = a b y ( z ) d H ( z )

hold. Then for every continuous convex function f, we have

Λ 3 ( f ) = a b f ( y ( z ) ) d H ( z ) - a b f ( x ( z ) ) d H ( z ) 0 .
(A3)

Here we give another important result from Anwar et. al. [6] which is also given in [1].

Proposition 1.6. If x, y : [0, 1] → are decreasing continuous functions, H : [0, 1] is a function of bounded variation, and

0 u x ( z ) d H ( z ) 0 u y ( z ) d H ( z ) , u ( 0 , 1 ) ,
0 1 x ( z ) d H ( z ) = 0 1 y ( z ) d H ( z ) ,

are valid. Then

Λ ( φ s ) = 0 1 φ s ( y ( z ) ) d H ( z ) - 0 1 φ s ( x ( z ) ) d H ( z )

is log-convex in s.

We can find variety of applications of the Propositions 1.4 and 1.6 in article [8] but we quote here an application in Statistics which is given in the book of Marshall et al. [1].

Corollary 1.7. If W is positive random variable for which expectation exist and α ≥ β, then the function

g ( t ) = E W α t - ( E W β t ) ( E W α E W β ) t t ( t - 1 ) , t 0 , 1 ; g ( t ) = ( log E W α - E log W α ) - ( log E W β - E log W β ) , t = 0 ; g ( t ) = E ( W α log W α ) - ( E W α ) ( log E W α ) - E ( W β log W β ) - ( E W β ) ( log E W β ) ( E W α E W β ) , t = 1

is log convex.

The Propositions 1.4 and 1.6 give us log-convexity but we can find more generalized results proved by Anwar et al. [6] which give us positive semi-definite matrices and exponential convexity for positive n-tuples × and y. Also in [8] we find similar results for non-negative and for real n-tuples. But, in this article, we give much more general results than results of [6, 8] in new direction by using second-order divided difference.

Let F(z) and G(z) be two real, continuous and increasing functions for z ≥ 0 such that F(0) = G(0) = 0 and define

F ̄ ( z ) = 1 - F ( z ) , ( z ) = 1 - G ( z ) for z 0 .

Definition 1.8. [[3], p. 330] G ̄ ( z ) is said to be majorized by F ̄ ( z ) , in symbol, G ̄ ( z ) F ̄ ( z ) , for z [0, ) if

0 s ( z ) d z 0 s F ̄ ( z ) d z for a l l s > 0 ,

and

0 ( z ) d z = 0 F ̄ ( z ) d z < .

The following result was obtained by Boland and Proschan [9] (see also [[3], p. 331]):

Theorem 1.9. G ̄ ( z ) F ̄ ( z ) for z [0, ) holds iff

Λ 4 ( f ) = 0 f ( z ) d G ( z ) - 0 f ( z ) d F ( z ) 0 ,
(A4)

holds for all convex functions f, provided the integrals are finite.

Here I stands for open interval in .

The following useful definitions are extracted from [10].

Definition 1.10. A positive function ψ is log-convex in the J-sense on I, if for each x, y I,

ψ 2 x + y 2 ψ ( x ) ψ ( y ) .

Remark 1.11. A positive function ψ is log-convex in the J-sense on I iff the relation

u 2 ψ ( x ) + 2 u v ψ x + y 2 + v 2 ψ ( y ) 0

holds u, v ; x, y I.

Definition 1.12. A function ψ : I → (0, ) is said to be a log-convex function if for every x, y I and every λ [0, 1], we have

ψ ( λ x + ( 1 - λ ) y ) ψ λ ( x ) ψ 1 - λ ( y ) .

The following definition is originally given by Bernstein [11] (see also [6, 1215]).

Definition 1.13. A function ψ : I is exponentially convex on I if it is continuous and

i , j = 1 n ξ i ξ j ψ ( x i + x j ) 0

n and all choices ξ i R; i = 1, . . . , n such that x i + x j I; 1 ≤ i, j ≤ n.

Example 1.14. For constants c ≥ 0 and k ; x cekx, is an example of exponentially convex function.

The following proposition is given in [13]:

Proposition 1.15. Let ψ : I, the following propositions are equivalent:

  1. (i)

    ψ is exponentially convex on I.

  2. (ii)

    ψ is continuous and

    i , j = 1 n ξ i ξ j ψ x i + x j 2 0 ,

ξ i and every x i I; 1 ≤ i ≤ n.

Corollary 1.16. If ψ is exponentially convex function on I, then the matrix

ψ x i + x j 2 i , j = 1 n

is a positive semi-definite matrix. Particularly

d e t ψ x i + x j 2 i , j = 1 n 0 ,

n , x i I; i = 1, . . . , n.

Corollary 1.17. If ψ : I → (0, ) is exponentially convex function, then ψ is a log-convex function.

Definition 1.18. [[3], p. 2] A function ψ is convex on an interval J , if

( x 3 - x 2 ) ψ ( x 1 ) + ( x 1 - x 3 ) ψ ( x 2 ) + ( x 2 - x 1 ) ψ ( x 3 ) 0

holds for every x1 < x2 < x3; x1, x2, x3 J.

This article has been divided into three sections. In Section 1, we have given introduction and preliminaries. In Section 2, we investigate the log-convexity and exponential convexity for majorization type results for discrete as well as continuous cases by using classes of continuous functions in linear functionals defined in (A 1), . . . , (A 4). We also construct positive semi-definite matrices for majorization type results. In Section 3, we will vary on choice of a family of functions in order to construct different examples of exponentially convex functions and construct some means. We also prove the monotonic property.

2. Main results

Let f be a real-valued function defined on [a, b], a second-order divided difference of f at distinct points z0, z1, z2 [a, b] is defined (as in [[3], p. 14]) recursively by

[ z i ; f ] = f ( z i ) , for i = 0 , 1 , 2 ;
[ z i , z i + 1 ; f ] = f ( z i + 1 ) - f ( z i ) z i + 1 - z i , for i = 0 , 1 ;

and

[ z 0 , z 1 , z 2 ; f ] = [ z 1 , z 2 ; f ] - [ z 0 , z 1 ; f ] z 2 - z 0 .

The value [z0, z1, z2; f] is independent of the order of the points z0, z1, and z2. By taking limits this definition may be extended to include the cases in which any two or all three points coincide as follows: z0, z1, z2 [a, b]

[ z 0 , z 0 , z 2 ; f ] = lim z 1 z 0 [ z 0 , z 1 , z 2 ; f ] = f ( z 2 ) - f ( z 0 ) - f ( z 0 ) ( z 2 - z 0 ) ( z 2 - z 0 ) 2 , z 2 z 0

given that f' exists on [a, b] and

[ z 0 , z 0 , z 0 ; f ] = lim z i z 0 [ z 0 , z 1 , z 2 ; f ] = f ( z 0 ) 2 for  i = 1 , 2

provided that f" exists on [a, b].

Let K2[a, b] be the class of all functions from C[a, b] that are convex. So, f K2[a, b] if [z0, z1, z2; f] 0; for any three points z0 , z1, z2 [a, b].

Let us define some classes to be used in the following theorem as follows:

For any open interval I , and [a, b] D(f) where D(f) stands for domain of f, we have

D1 = {f t : t I} be a class of functions from C[a, b] such that the function t [z0, z1, z2; f t ] is log-convex in J-sense on I for any three distinct points z0, z1, z2 [a, b].

D2 = {f t : t I} be a class of differentiable functions such that the function t [z0, z0, z2; f t ] is log-convex in J-sense on I for any two distinct points z0, z2 [a, b].

D3 = {f t : t I} be a class of twice differentiable functions such that the function t [z0, z0, z0; f t ] is log-convex in J-sense on I for any point z0 [a, b].

Theorem 2.1. Let Λ k be linear functionals for k = 1, . . . , 4 as defined in (A 1) , . . . , (A 4). Let I be any open interval in and f t D j , j = 1, 2, 3, t I, we also assume that for Λ1(f t ), x[i]y[i], i = 1, . . . , n; and Λ k (f t ) are positive for k = 2, 3, 4, then the following statements are valid for Λ k ; k = 1, . . . , 4:

  1. (a)

    The function t Λ k (f t ) is log-convex in J-sense on I.

  2. (b)

    If the function t Λ k (f t ) is continuous on I, then the function t Λ k (f t ) is log-convex on I. Also, the following inequality holds for r < s < t; r, s, t I

    [ Λ k ( f s ) ] t - r [ Λ k ( f r ) ] t - s [ Λ k ( f t ) ] s - r
    (4)

which is called Lyapunov's inequality.

  1. (c)

    If the function t Λ k (f t ) is derivable on I, then s ≤ u and t ≤ v; s, t, u, v I; we have

    μ s , t ( Λ k , D j ) μ u , v ( Λ k , D j ) for j = 1 , 2 , 3 ;

where

μ s , t ( Λ k , D j ) = Λ k ( f s ) Λ k ( f t ) 1 s - t , s t exp d d s Λ k ( f s ) Λ k ( f S ) , s = t .
(5)

Proof. (a) Since, the function t [z0, z1, z2; f t ] is log-convex in J-sense on I which implies that [z0, z1, z2; f t ] > 0. So, f t is strictly convex and x[i]y[i]for i = 1, . . . , n; which shows that by using Theorem 1.2, Λ1(f t ) is positive and also by our assumptions that Λ k (f t ) for k = 2, 3, 4 are positive.

Now for any fixed p, q and s, t I, we define the following function

g ( z ) = p 2 f s ( z ) + 2 p q f s + t 2 ( z ) + q 2 f t ( z )

by using Remark 1.11, the log-convexity in J-sense of the function t [z0, z1, z2; f t ] gives us the positive definiteness of the quadratic form

[ z 0 , z 1 , z 2 ; g ] = p 2 [ z 0 , z 1 , z 2 ; f s ] + 2 p q [ z 0 , z 1 , z 2 ; f s + t 2 ] + q 2 [ z 0 , z 1 , z 2 ; f t ] 0

which implies g is convex function and clearly g is continuous therefore g K2[a, b] and we have Λ k (g) 0 for k = 1, . . . , 4. Hence we have

p 2 Λ k ( f s ) + 2 p q Λ k ( f s + t 2 ) + q 2 Λ k ( f t ) 0

so, the function t Λ k (f t ) is log-convex in J-sense on I for k = 1, . . . , 4.

  1. (b)

    If the function t Λ k (f t ) is in addition continuous, then from (a) we conclude that the function is log-convex on I.

As the function t Λ k (f t ) is log-convex, i.e., ln Λ k (f t ) is convex, so by using Definition 1.18, we have

ln [ Λ k ( f s ) ] t - r ln [ Λ k ( f r ) ] t - s + ln [ Λ k ( f t ) ] s - r , k = 1 , , 4 ;

which gives us (4).

  1. (c)

    By definition of convex function ϕ, we have the following inequality [3, p. 2]

    ϕ ( s ) - ϕ ( t ) s - t ϕ ( u ) - ϕ ( v ) u - v ,
    (6)

s, t, u, v I with s ≤ u, t ≤ v, st, uv.

Since by (b), Λ k (f t ) is log-convex for k = 1, . . . , 4 so in (6) we set ϕ(x) = ln Λ k (f x ), to get

ln Λ k ( f s ) - ln Λ k ( f t ) s - t ln Λ k ( f u ) - ln Λ k ( f v ) u - v ; k = 1 , , 4
(7)

which gives us

μ s , t ( Λ k , D j ) μ u , v ( Λ k , D j ) for j = 1 , 2 , 3 and  k = 1 , , 4 .

If s = t ≤ u we apply the limit lim t s to (7) concluding

μ s , s ( Λ k , D j ) μ u , v ( Λ k , D j ) for j = 1 , 2 , 3 and k = 1 , , 4 .

Other possible cases can be treated in the same way. □

Now, we give two important remarks and one useful corollary from [10], which we will use in some examples in third section.

Remark 2.2. For μs,t k , D) defined with (5) we will refer as mean if

a μ s , t ( Λ k , D ) b

for s, t I and k = 1, . . . , 4.

We can find mean value theorems of Cauchy's type for Λ k (f t ) for k = 1, . . . , 4 as in [6, 8]. We can also apply second mean value theorem of Cauchy's type for Λ k (f t ), k = 1, . . . , 4 in order to get criteria for recognition of means as in [10]. This theorem gives us the following corollary:

Corollary 2.3. Let a, b and Λ k be linear functionals for k = 1, . . . , 4 as defined in (A 1), . . . , (A 4). Let D = {f t : t I} be a family of functions in C2[a, b]. If

a d 2 f s d x 2 d 2 f t d x 2 1 s - t ( ξ ) b ,

for ξ [a, b]; s, t I; then μ s,t k , D) is a mean for k = 1, . . . , 4.

Remark 2.4. In some examples, we will have very simple recognition of means:

d 2 f s d x 2 d 2 f t d x 2 1 s - t ( ξ ) = ξ , ξ [ a , b ] , s t .

Let us define some new classes to be used in next theorem as follows:

For any open interval I R, and [a, b] D(f) where D(f) stands for domain of f, we have

D ̃ 1 = { f t : t I } be a class of functions from C[a, b] such that the function t [z0, z1, z2; f t ] is exponentially convex on I for any three distinct points z0, z1, z2 [a, b].

D ̃ 2 = { f t : t I } be a class of differentiable functions such that the function t [z0, z0, z2; f t ] is exponentially convex on I for any two distinct points z0, z2 [a, b].

D ̃ 3 = { f t : t I } be a class of twice differentiable functions such that the function t [z0, z0, z0; f t ] is exponentially convex on I for any point z0 [a, b].

Theorem 2.5. Let Λ k be linear functionals for k = 1, . . . , 4 as defined in (A 1), . . . , (A 4) and let I be any open interval in , then for f t D ̃ j , j = 1, 2, 3 and t I, the following statements are valid for Λ k ; k = 1, . . . , 4:

  1. (a)

    For every n and t1, . . . , t n I, the matrix Λ k ( f t i + t j 2 ) i , j = 1 n is a positive semi-definite. Particularly

    det Λ k ( f t i + t j 2 ) i , j = 1 n 0 .
    (8)
  2. (b)

    If the function t Λ k (f t ) is continuous on I, then it is exponentially convex on I.

  3. (c)

    If Λ k (f t ) be positive for k = 2, 3, 4 and for Λ1(f t ) we assume that f t is strictly convex with condition x[i]y[i]for i = 1, . . . , n and the function t Λ k (f t ) is derivable on I thens ≤ u and t ≤ v, we have

    μ s , t ( Λ k , D ̃ j ) μ u , v ( Λ k , D ̃ j ) for j = 1 , 2 , 3 ;

where μ s , t ( Λ k , D ̃ j ) is as defined in (5).

Proof. (a) We consider the function

h l ( z ) = i , j = 1 l u i u j f t i + t j 2 ( z )

for l = 1, . . . , n and f t D ̃ 1 , where z [a, b], u i and t i I.

Since [ z 0 , z 1 , z 2 ; f t i + t j 2 ] is exponentially convex function for z0, z1, z2 [a, b], so

[ z 0 , z 1 , z 2 ; h l ] = i , j l u i u j [ z 0 , z 1 , z 2 ; f t i + t j 2 ] 0

which shows that h l is a convex function for l = 1, . . . , n and z0, z1, z2 [a, b].

Now by using Theorem 1.2,

m = 1 n h l ( y m ) - m = 1 n h l ( x m ) 0 , for l = 1 , , n

we get

m = 1 n i , j = 1 l u i u j f t i + t j 2 y m - m = 1 n i , j = 1 l u i u j f t i + t j 2 x m 0 ,

for l = 1, . . . , n or

i , j = 1 l u i u j Λ k ( f t i + t j 2 ) 0 , for l = 1 , , n a n d k = 1 , , 4

which shows that the matrix Λ k ( f t i + t j 2 ) i , j = 1 n is a positive semi-definite, and by using Sylvester criteria we get (8).

  1. (b)

    By our assumption Λ k (f t ) is continuous for t I and k = 1, . . . , 4; then by using Proposition 1.15, we get exponential convexity of the function t Λ k (f t ) on I for k = 1, . . . , 4.

  2. (c)

    As Λ k (f t ) is positive and the function t Λ k (f t ) is derivable for k = 1, . . . , 4 by our assumption, hence the result follows directly by using (c) part of Theorem 2.1. □

3. Examples

In this section, we will vary on choice of a family D = {f t : t I} for any open I in order to construct different examples of exponentially convex functions and construct some means.

Let us consider some examples:

Example 3.1. Let

D = { φ s : ( 0 , ) : s }

be a family of functions defined in (3). Since d 2 d x 2 φ s ( x ) = x s - 2 = e ( s - 2 ) l n x for x > 0 so s d 2 d x 2 φ s is exponentially convex function with respect to s by Example 1.14. So, Λ k (φ s ), k = 1, . . . , 4 are exponentially convex by Theorem 2.5 and by Corollary 1.17 every positive exponentially convex function is log-convex. So, if we choose class of functions given in (3) in Theorem 2.5 then for Λ1 we get Theorems 2.4 and 2.5 of [6] and similarly for Λ k , k = 2, 3; the Theorems 2.6, 2.7, 4.4, 4.5, 4.11, and 4.12 of [6] all become special cases of Theorem 2.5 of this article. We can also obtain similar results for Λ4 as in [6].

Further, in this choice of family D we have

d 2 φ s d x 2 d 2 φ t d x 2 1 s - t ( ξ ) = ξ , ξ [ a , b ] , s t , where a , b ( 0 , ) .

So, using Remark 2.4 we have an important conclusion that μ s,t k , D) is in fact mean for k = 1, . . . , 4. We can extend these means in other cases as given in [6].

Example 3.2. Let

D ̄ = { φ ̄ s : [ 0 , ) : s ( 0 , ) }

be a family of functions defined as

φ ̄ s ( x ) = x s s ( s - 1 ) , s 1 ; x ln x , s = 1 ,
(9)

here, we use the convention 0 ln 0 = 0.

Since, d 2 d x 2 φ ̄ s ( x ) = x s - 2 = e ( s - 2 ) l n x for x > 0 so by same argument given in previous example we conclude that Λ k ( φ ̄ s ) , k = 1, . . . , 4 are exponentially convex functions with respect to s. So, if we choose class of functions given in (9) in Theorem 2.5 then we get Theorems 18 and 19 of [8] for Λ1 and similarly for Λ k , k = 2, 3, 4; Theorems 20, 26, 27, 28, and 29 of [8] become special cases of Theorem 2.5 of this article.

Further, in this choice of family D ̄ we have

d 2 φ ̄ s d x 2 d 2 φ ̄ t d x 2 1 s - t ( ξ ) = ξ , ξ [ a , b ] , s t , where a , b ( 0 , ) .

So, using Remark 2.4 we have an important conclusion that μ s , t ( Λ k , D ̄ ) is in fact mean for k = 1, . . . , 4. We can extend these means in other cases as given in [8]. All the means μ s , t ( Λ k , D ̄ ) are calculated for two parameters s and t, now we move towards three parameters namely s, t, r. For r > 0 by substituting x i = x i r , y i = y i r ,t= t r ,s= s r in  μ s , t ( Λ k , D ̄ ) , we get similar results as given in [8].

Example 3.3. Let

Ψ = { ψ s : [ 0 , ) : s }

defined as

ψ s ( x ) = 1 s 2 e s x , s 0 ; 1 2 x 2 , s = 0 .

Since, d 2 d x 2 ψ s ( x ) = e s x for x so by same argument given in Example 3.1 we conclude that Λ k (ψ s ), k = 1, . . . , 4 are exponentially convex functions with respect to s. So, if we choose this class of function in Theorem 2.5 then for Λ1 we get Theorem 32 of [8] and similarly for Λ k , k = 2, 3, 4; the Theorems 34, 40, 41, and 42 of [8] all become special cases of Theorem 2.5 of this article.

Monotonicity: if s, t, u, v such that s ≤ u, t ≤ v, then by using Theorem 2.5 we have

μ s , t ( Λ k , Ψ ) μ u , v ( Λ k , Ψ ) for k = 1 , , 4 .

We observe here that d 2 ψ s d x 2 d 2 ψ t d x 2 1 s - t ( ln ξ ) =ξ is a mean for ξ [a, b] where a, b .

We also note that after the substitution (x i , y i ) (ln x i , ln y i ); i = 1, . . . , n in Λ k , k = 1, 2 in Theorem 2.5 we will get the Corollaries 36 and 38 of [8]. We can also obtain similar results for Λ3 and Λ4 by this substitution in Theorem 2.5.

Example 3.4. Let

Θ = { θ s : ( 0 , ) ( 0 , ) : s ( 0 , ) }

be family of functions defined with

θ s ( x ) = e - x s s .

Since d 2 d x 2 θ s ( x ) = e - x s , for x > 0 so by same argument given in Example 3.1 we conclude that Λ k (θ s ), k = 1, . . . , 4 are exponentially convex functions with respect to s.

For this family of functions we have the following possible cases of μs,t:

μ s , t ( Λ 1 , Θ ) = Λ 1 ( θ s ) Λ 1 ( θ t ) 1 s - t , s t ; exp i = 1 n y i e - y i s - i = 1 n x i e - x i s 2 s i = 1 n e - x i s - i = 1 n e - y i s - 1 s , s = t ,
μ s , t ( Λ 2 , Θ ) = Λ 2 ( θ s ) Λ 2 ( θ t ) 1 s - t , s t ; exp i = 1 n p i y i e - y i s - i = 1 n p i x i e - x i s 2 s i = 1 n p i e - x i s - i = 1 n p i e - y i s - 1 s , s = t ,
μ s , t ( Λ 3 , Θ ) = Λ 3 ( θ s ) Λ 3 ( θ t ) 1 s - t , s t ; exp a b y ( z ) e - y ( z ) s d H ( z ) - a b x ( z ) e - x ( z ) s d H ( z ) 2 s a b e - x ( z ) s d H ( z ) - a b e - y ( z ) s d H ( z ) - 1 s , s = t ,
μ s , t ( Λ 4 , Θ ) = Λ 4 ( θ s ) Λ 4 ( θ t ) 1 s - t , s t ; exp 0 z e - z s d G ( z ) - 0 z e - z s d F ( z ) 2 s 0 e - z s d F ( z ) - 0 e - z s d G ( z ) - 1 s , s = t .

Monotonicity: if s, t, u, v (0, ) such that su, tv, then by using Theorem 2.5 we have

μ s , t ( Λ k , Θ ) μ u , v ( Λ k , Θ ) for  k = 1 , , 4 .

Example 3.5. Let

Φ = { ϕ s : ( 0 , ) ( 0 , ) : s ( 0 , ) }

be family of functions defined with

ϕ s ( x ) = s - x ( ln s ) 2 , s 1 ; x 2 2 , s = 1 .

Since d 2 d x 2 ϕ s ( x ) = s - x = e - x l n s >0, for x > 0, so by same argument given in Example 3.1 we conclude that Λ k (ϕ s ), k = 1, . . . , 4 are exponentially convex functions with respect to s.

For this family of function we have the following possible cases of μs,t:

μ s , t ( Λ 1 , Φ ) = Λ 1 ( ϕ s ) Λ 1 ( ϕ t ) 1 s - t , s t ; exp i = 1 n y i s - y i - i = 1 n x i s - x i s i = 1 n s - x i - i = 1 n s - y i - 2 s ln s , s = t 1 ; exp 1 3 i = 1 n y i 3 - i = 1 n x i 3 i = 1 n x i 2 - i = 1 n y i 2 , s = t = 1 ,
μ s , t ( Λ 2 , Φ ) = Λ 2 ( ϕ s ) Λ 2 ( ϕ t ) 1 s - t , s t ; exp i = 1 n p i y i s - y i - i = 1 n p i x i s - x i s i = 1 n p i s - x i - i = 1 n p i s - y i - 2 s ln s , s = t 1 ; exp 1 3 i = 1 n p i y i 3 - i = 1 n p i x i 3 i = 1 n p i x i 2 - i = 1 n p i y i 2 , s = t = 1 ,
μ s , t ( Λ 3 , Φ ) = Λ 3 ( ϕ s ) Λ 3 ( ϕ t ) 1 s - t , s t ; exp a b y ( z ) s - y ( z ) d H ( z ) - a b x ( z ) s - x ( z ) d H ( z ) s a b s - x ( z ) d H ( z ) - a b s - y ( z ) d H ( z ) - 2 s ln s , s = t 1 ; exp 1 3 a b y 3 ( z ) d H ( z ) - a b x 3 ( z ) d H ( z ) a b x 2 ( z ) d H ( z ) - a b y 2 ( z ) d H ( z ) , s = t = 1 ,
μ s , t ( Λ 4 , Φ ) = Λ 4 ( ϕ s ) Λ 4 ( ϕ t ) 1 s - t , s t ; exp 0 z s - z d G ( z ) - 0 z s - z d F ( z ) s 0 s - z d F ( z ) - 0 s - z d G ( z ) - 2 s ln s , s = t 1 ; exp 1 3 0 z 3 d G ( z ) - 0 z 3 d H ( z ) 0 z 2 d F ( z ) - 0 z 2 d G ( z ) , s = t = 1 .

Monotonicity: if s, t, u, v (0, ) such that s ≤ u, t ≤ v, then by using Theorem 2.5 we have

μ s , t ( Λ k , Φ ) μ u , v ( Λ k , Φ ) for  k = 1 , , 4 .

References

  1. Marshall AW, Olkin I, Arnold BC: Theory of Majorization and its Applications. 2nd edition. Springer, New York; 2011.

    Chapter  Google Scholar 

  2. Hardy GH, Littlewood JE, Pólya G: Inequalities. 2nd edition. Cambridge University press, England; 1952.

    Google Scholar 

  3. Pečarić J, Proschan F, Tong YL: Convex Functions, Partial Orderings and Statistical Applications. Academic Press, New York; 1992.

    Google Scholar 

  4. Mitrinović DS: Analytic Inequalities (in co-operation with Vasić, PM). Springer Verlag, New York 1970.

    Google Scholar 

  5. Fuchs L: A new proof of an inequality of Hardy-Littlewood-Polya. Mat Tidsskr 1947, B: 53–54.

    Google Scholar 

  6. Anwar M, Latif N, Pečarić J: Positive semi-definite matrices, exponential convexity for majorization and related Cauchy means. Journal of Inequalities and Applications 2010: Article ID 728251, 19 pages, doi:10.1155/2010/728251

  7. Pečarić J: On some inequalities for functions with nondecreasing increments. J Math Anal Appl 1984, 98: 188–197. 10.1016/0022-247X(84)90287-7

    Article  MathSciNet  Google Scholar 

  8. Latif N, Pečarić J: Positive semi-definite matrices, exponential convexity for multiplicative Majorization and related means of Cauchy's type. Revue d'Aanlyse Numérique et de Théorie de l'Approximation (ANTA) 36(1): volume 2010, Tome, No1, pages 19

  9. Boland PJ, Proschan F: An integral inequality with applications to order statistics. In Reliability and Quality Control. Edited by: Basu, AP. North Holland, Amsterdam; 1986:107–116.

    Google Scholar 

  10. Jekšetić J, Pečarić J: Exponential Convexity Method. Journal of Convex Analysis, in press.

  11. Bernstien SN: Sur les fonctions absolument monotones. Acta Math 1929, 52: 1–66. 10.1007/BF02592679

    Article  Google Scholar 

  12. Akhiezer NI: The Classical Moment Problem and Some Related Questions in Analysis. Oliver and Boyd, Edinburgh; 1965.

    Google Scholar 

  13. Anwar M, Jekšetić J, Pečarić J, Rehman Au: Exponential convexity, positive semi-definite matrices and fundamental inequalities. J Math Inequal 2009, 2009: 19. Article ID jmi-0376

    Google Scholar 

  14. Mitrinović DS, Pečarić JE: On Some inequalities for monotonic functions. Boll Unione Mat Ital 1991, 5–13(7):407–416.

    Google Scholar 

  15. Mitrinović DS, Pečarić J, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic Publishers, The Netherlands 1993.

    Google Scholar 

Download references

Acknowledgements

This research study was funded by Higher Education Commission Pakistan. The research of J. Pečarić was supported by the Croatian Ministry of Science, Education and Sports under the Research Grants 117-1170889-0888.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Asif R Khan.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

JP made the the main contribution in conceiving the presented research. JP, NL and ARK worked jointly on each section while ARK drafted the manuscript. All authors read and approved the final manuscript.

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.

Reprints and permissions

About this article

Cite this article

Khan, A.R., Latif, N. & Pečarić, J. Exponential convexity for majorization. J Inequal Appl 2012, 105 (2012). https://doi.org/10.1186/1029-242X-2012-105

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2012-105

Keywords