A Variant of Jensen-Steffensen's Inequality for

5 downloads 0 Views 173KB Size Report
Journal of Inequalities in Pure and. Applied Mathematics http://jipam.vu.edu.au/. Volume 7, Issue 2, Article 70, 2006. A VARIANT OF JENSEN-STEFFENSEN'S ...
Journal of Inequalities in Pure and Applied Mathematics http://jipam.vu.edu.au/ Volume 7, Issue 2, Article 70, 2006

A VARIANT OF JENSEN-STEFFENSEN’S INEQUALITY FOR CONVEX AND SUPERQUADRATIC FUNCTIONS ˇ C´ BAKULA, AND S. BANIC´ S. ABRAMOVICH, M. KLARICI D EPARTMENT OF M ATHEMATICS U NIVERSITY OF H AIFA H AIFA , 31905, I SRAEL [email protected] D EPARTMENT OF M ATHEMATICS FACULTY OF NATURAL S CIENCES , M ATHEMATICS AND E DUCATION U NIVERSITY OF S PLIT T ESLINA 12, 21000 S PLIT C ROATIA [email protected] FACULTY OF C IVIL E NGINEERING AND A RCHITECTURE U NIVERSITY OF S PLIT M ATICE HRVATSKE 15, 21000 S PLIT C ROATIA [email protected]

Received 03 January, 2006; accepted 20 January, 2006 Communicated by C.P. Niculescu

A BSTRACT. A variant of Jensen-Steffensen’s inequality is considered for convex and for superquadratic functions. Consequently, inequalities for power means involving not only positive weights have been established. Key words and phrases: Jensen-Steffensen’s inequality, Monotonicity, Superquadraticity, Power means. 2000 Mathematics Subject Classification. 26D15, 26A51.

1. I NTRODUCTION . Let I be an interval in R and f : I → R a convex function on I. If ξ P = (ξ1 , . . . , ξm ) is any m-tuple in I m and p = (p1 , . . . , pm ) any nonnegative m-tuple such that m i=1 pi > 0, then the well known Jensen’s inequality (see for example [7, p. 43]) ! m m 1 X 1 X (1.1) f pi ξi ≤ pi f (ξi ) Pm i=1 Pm i=1 P holds, where Pm = m i=1 pi . ISSN (electronic): 1443-5756 c 2006 Victoria University. All rights reserved.

002-06

ˇ C´ BAKULA , S. A BRAMOVICH , M. K LARI CI

2

AND

S. BANI C´

If f is strictly convex, then (1.1) is strict unless ξi = c for all i ∈ {j : pj > 0}. It is well known that the assumption “p is a nonnegative m-tuple” can be relaxed at the expense of more restrictions on the m-tuple ξ. If p is a real m-tuple such that 0 ≤ Pj ≤ Pm , j = 1, . . . , m,

(1.2) where Pj = get

Pj

i=1

Pm > 0,

pi , then for any monotonic m-tuple ξ (increasing or decreasing) in I m we m 1 X ξ= pi ξi ∈ I, Pm i=1

and for any function f convex on I (1.1) still holds. Inequality (1.1) considered under conditions (1.2) is known as the Jensen-Steffensen’s inequality [7, p. 57] for convex functions. In his paper [5] A. McD. Mercer considered some monotonicity properties of power means. He proved the following theorem: Theorem A. Suppose that 0 < a < b and a ≤ x1 ≤ x2 ≤ · · · ≤ xn ≤ b hold withPat least one of the xk satisfying a < xk < b. If w = (w1 , . . . , wn ) is a positive n-tuple with ni=1 wi = 1 and −∞ < r < s < +∞, then a < Qr (a, b; x) < Qs (a, b; x) < b , where Qt (a, b; x) ≡

at + b t −

n X

! 1t wi xti

i=1

for all real t 6= 0, and ab Q0 (a, b; x) ≡ , G

G=

n Y

i xw i .

i=1

In his next paper [6], Mercer gave a variant of Jensen’s inequality for which Witkowski presented in [8] a shorter proof. This is stated in the following theorem: Theorem B. If f is a convex function on an interval containing an n-tuple x = (xP 1 , . . . , xn ) such that 0 < x1 ≤ x2 ≤ · · · ≤ xn and w = (w1 , . . . , wn ) is a positive n-tuple with ni=1 wi = 1, then ! n n X X f x1 + xn − wi xi ≤ f (x1 ) + f (xn ) − wi f (xi ) . i=1

i=1

This theorem is a special case of the following theorem proved in [4] by Abramovich, Klariˇci´c Bakula, Mati´c and Peˇcari´c: Theorem C ([4, Th. 2]). Let f : I → R, where I is an interval in R and let [a, b] ⊆ I, a < b. Let x = (x1 , . . . , xn ) be a monotonic n-tuple in [a, b]n and v = (v1 , . . . , vn ) a real n−tuple P such that vi 6= 0, i = 1, . . . , n, and 0 ≤ Vj ≤ Vn , j = 1, . . . , n, Vn > 0, where Vj = ji=1 vi . If f is convex on I, then ! n n 1 X 1 X vi xi ≤ f (a) + f (b) − vi f (xi ) . (1.3) f a+b− Vn i=1 Vn i=1 In case f is strictly convex, the equality holds in (1.3) iff one of the following two cases occurs: (1) either x = a or x = b,

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

http://jipam.vu.edu.au/

J ENSEN -S TEFFENSEN ’ S INEQUALITY - S UPERQUADRATIC FUNCTIONS

3

(2) there exists l ∈ {2, . . . , n − 1} such that x = x1 + xn − xl and    x1 = a, xn = b or x1 = b, xn = a, (1.4) V j (xj−1 − xj ) = 0, j = 2, . . . , l,   Vj (xj − xj+1 ) = 0, j = l, . . . , n − 1, Pn P where V j = i=j vi , j = 1, . . . , n and x = (1/Vn ) ni=1 vi xi . In the special case where v > 0 and f is strictly convex, the equality holds in (1.4) iff xi = a, i = 1, . . . , n, or xi = b, i = 1, . . . , n. Here, as in the rest of the paper, when we say that an n-tuple ξ is increasing (decreasing) we mean that ξ1 ≤ ξ2 ≤ · · · ≤ ξn (ξ1 ≥ ξ2 ≥ · · · ≥ ξn ). Similarly, when we say that a function f : I → R is increasing (decreasing) on I we mean that for all u, v ∈ I we have u < v ⇒ f (u) ≤ f (v) (u < v ⇒ f (u) ≥ f (v)). In Section 2 we refine Theorems A, B, and C. These refinements are achieved by superquadratic functions which were introduced in [1] and [2]. As Jensen’s inequality for convex functions is a generalization of Hölder’s inequality for f (x) = xp , p ≥ 1, so the inequalities satisfied by superquadratic functions are generalizations of the inequalities satisfied by the superquadratic functions f (x) = xp , p ≥ 2 (see [1], [2]). First we quote some definitions and state a list of basic properties of superquadratic functions. Definition 1.1. A function f : [0, ∞) → R is superquadratic provided that for all x ≥ 0 there exists a constant C(x) ∈ R such that (1.5)

f (y) − f (x) − f (|y − x|) ≥ C (x) (y − x)

for all y ≥ 0. Definition 1.2. A function f : [0, ∞) → R is said to be strictly superquadratic if (1.5) is strict for all x 6= y where xy 6= 0. LemmaP A ([2, Lemma 2.3]). Suppose that f is superquadratic. Let ξi ≥ 0, i = 1, . . . , m, and Pm let ξ = m p ξ , where p ≥ 0, i = 1, . . . , m, and p = 1. Then i i=1 i i=1 i i m m X   X pi f (ξi ) − f ξ ≥ pi f ξi − ξ . i=1

i=1

Lemma B ([1, Lemma 2.2]). Let f be superquadratic function with C(x) as in Definition 1.1. Then: (i) f (0) ≤ 0, (ii) if f (0) = f 0 (0) = 0 then C(x) = f 0 (x) whenever f is differentiable at x > 0, (iii) if f ≥ 0, then f is convex and f (0) = f 0 (0) = 0. In [3] the following refinement of Jensen’s Steffensen’s type inequality for nonnegative superquadratic functions was proved: Theorem D ([3, Th. 1]). Let f : [0, ∞) → [0, ∞) be a differentiable and superquadratic function, let ξ be a nonnegative monotonic m-tuple in Rm and p a real m-tuple, m ≥ 3, satisfying 0 ≤ Pj ≤ Pm , j = 1, . . . , m, Pm > 0. Let ξ be defined as m 1 X ξ= pi ξi . Pm i=1

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

http://jipam.vu.edu.au/

ˇ C´ BAKULA , S. A BRAMOVICH , M. K LARI CI

4

AND

S. BANI C´

Then (1.6)

m X



pi f (ξi ) − Pm f ξ ≥

i=1

k−1 X

Pi f (ξi+1 − ξi ) + Pk f ξ − ξk



i=1



+ P k+1 f ξk+1 − ξ +

m X

P i f (ξi − ξi−1 )

i=k+2

! p ξ − ξ i i ≥ Pi + P i f Pk i=1 Pm i=1 Pi + i=k+1 P i i=1 i=k+1 ! Pm i=1 pi ξ − ξi ≥ (m − 1) Pm f , (m − 1) Pm "

where P i =

Pm

j=i

k X

m X

#

Pm

pj and k ∈ {1, . . . , m − 1} satisfies ξk ≤ ξ ≤ ξk+1 .

In case f is also strictly superquadratic, inequality m X

 ! ξi − ξ p i i=1 (m − 1) Pm

Pm 

pi f (ξi ) − Pm f ξ > (m − 1) Pm f

i=1

holds for ξ > 0 unless one of the following two cases occurs: (1) either ξ = ξ1 or ξ = ξm , (2) there exists k ∈ {3, . . . , m − 2} such that ξ = ξk and ( Pj (ξj − ξj+1 ) = 0, j = 1, . . . , k − 1 (1.7) P j (ξj − ξj−1 ) = 0, j = k + 1, . . . , m. In these two cases

m X

 pi f (ξi ) − Pm f ξ = 0.

i=1

In Section 2 we refine Theorem B and Theorem C for functions which are superquadratic and positive. One of the refinements is derived easily from Theorem D. We use in Section 3 the following theorem [7, p. 323] to give an alternative proof of Theorem B. Theorem E. Let I be an interval in R, and ξ, η two decreasing m-tuples such that ξ, η ∈ I m . Let p be a real m-tuple such that k X

(1.8)

pi ξi ≤

i=1

k X

p i ηi

i=1

for k = 1, 2, . . . , m − 1, and m X

(1.9)

i=1

pi ξi =

m X

p i ηi .

i=1

Then for every continuous convex function f : I → R we have m m X X (1.10) pi f (ξi ) ≤ pi f (ηi ) . i=1

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

i=1

http://jipam.vu.edu.au/

J ENSEN -S TEFFENSEN ’ S INEQUALITY - S UPERQUADRATIC FUNCTIONS

5

2. VARIANTS OF J ENSEN -S TEFFENSEN ’ S I NEQUALITY FOR P OSITIVE S UPERQUADRATIC F UNCTIONS In this section we refine in two ways Theorem C for functions which are superquadratic and positive. The refinement in Theorem 2.1 follows by showing that it is a special case of Theorem D for specific p. The refinement in Theorem 2.2 follows the steps in the proof of Theorem B given by Witkowski in [8]. Therefore the second refinement is confined only to the specific p given in Theorem B, which means that what we get is a variant of Jensen’s inequality and not of the more general Jensen-Steffensen’s inequality. Theorem 2.1. Let f : [0, ∞) → [0, ∞) and let [a, b] ⊆ [0, ∞) . Let x = (x1 , . . . , xn ) be a monotonic n−tuple in [a, b]n and v = (v1 , . . . , vn ) a real n-tuple such that vi 6= 0, i = 1, . . . , n, Pj 0 ≤ Vj ≤ Vn , j = 1, . . . , n, and Vn > 0, where Vj = i=1 vi . If f is differentiable and superquadratic, then ! n n 1 X 1 X (2.1) f (a) + f (b) − vi f (xi ) − f a + b − vi xi Vn i=1 Vn i=1   P P b − a − V1n ni=1 vi a + b − xi − V1n nj=1 vj xj . ≥ (n + 1) f  n+1 In case f is also strictly superquadratic and a > 0, inequality (2.1) is strict unless one of the following two cases occurs: (1) either x = a or x = b, (2) there exists l ∈ {2, . . . , n − 1} such that x = x1 + xn − xl and  x1 = a, xn = b or x1 = b, xn = a    (2.2) V j (xj−1 − xj ) = 0 , j = 2, . . . , l,    Vj (xj − xj+1 ) = 0 , j = l, . . . , n − 1, P P where V j = ni=j vi , j = 1, . . . , n, and x = V1n ni=1 vi xi . In these two cases we have n 1 X f (a) + f (b) − vi f (xi ) − f Vn i=1

n 1 X a+b− vi xi Vn i=1

! = 0.

In the special case where v > 0 and f is also strictly superquadratic, the equality holds in (2.1) iff xi = a, i = 1, . . . , n, or xi = b, i = 1, . . . , n. Proof. Suppose that x is an increasing n-tuple in [a, b]n . The proof of the theorem is an immediate result of Theorem D, by defining the (n + 2)-tuples ξ and p as ξ1 = a,

ξi+1 = xi , i = 1, . . . , n,

ξn+2 = b

p1 = 1,

pi+1 = −vi /Vn , i = 1, . . . , n,

pn+2 = 1.

Then we get (2.1) from the last inequality in (1.6) and from the fact that in our special case we have k n+2 X X Pi + P i ≤ n + 1, i=1

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

i=k+1

http://jipam.vu.edu.au/

ˇ C´ BAKULA , S. A BRAMOVICH , M. K LARI CI

6

for Pi =

Pi

j=1

Pn+2

pj and P i =

j=i

AND

S. BANI C´

pj , and

m n 1 X 1 X pi ξi = a + b − vi xi = a + b − x. ξ= Pm i=1 Vn i=1

The proof of the equality case and the special case where v > 0 follows also from Theorem D. We have Vj , j = 1, . . . , n, Pn+1 = 0, Pn+2 = 1, Vn Vj−2 P 1 = 1, P 2 = 0, P j = , j = 3, . . . , n + 2. Vn Obviously, ξ = ξ1 is equivalent to x = b and ξ = ξn+2 is equivalent to x = a. Also, the existence of some k ∈ {3, . . . , m − 2} such that ξ = ξk and that (1.7) holds is equivalent to the existence of some l ∈ {2, . . . , n − 1} such that x = x1 + xn − xl = a + b − xl and that (2.2) holds. Therefore, applying Theorem D we get the desired conclusions. In the case e = (xn , . . . , x1 ) and v e = (vn , . . . , v1 ), when x is decreasing we simply replace x and v with x respectively, and then argue in the same manner. In the special case that v > 0 also, Vi > 0 and V j > 0, i = 1, . . . , n, and therefore according to (2.2) equality holds in (2.1) only when either x1 = · · · = xn = a or x1 = · · · = xn = b.  Pj =

In the following P theorem we will prove a refinement of Theorem B. Without loss of generality we assume that ni=1 vi = 1. Theorem 2.2. Let f : [0, ∞) → [0, ∞) and let [a, b] ⊆ [0, ∞) , a < b. Let x = P(x1 , . . . , xn ) be an n-tuple in [a, b]n and v = (v1 , . . . , vn ) a real n-tuple such that v ≥ 0 and ni=1 vi = 1. If f is superquadratic we have ! n n X X f (a) + f (b) − vi f (xi ) − f a + b − vi xi i=1



n X

vi f

i=1

(2.3)



n X i=1

vi f

n ! i=1 n  X X  xi − a b − xi vj xj − xi + 2 vi f (b − xi ) + f (xi − a) b − a b − a j=1 i=1 n !   n X X 2 (xi − a) (b − xi ) vj xj − xi + 2 vi f . b−a j=1

i=1

If f is strictly superquadratic and v > 0 equality holds in (2.3) iff xi = a, i = 1, . . . , n, or xi = b, i = 1, . . . , n. Proof. The proof follows the technique in [8] and refines the result to positive superquadratic functions. From Lemma A we know that for any λ ∈ [0, 1] the following holds: λf (a) + (1 − λ) f (b) − f (λa + (1 − λ) b) ≥ λf (|a − λa − (1 − λ) b|) + (1 − λ) f (|b − λa − (1 − λ) b|) = λf (|(1 − λ) (a − b)|) + (1 − λ) f (|λ (b − a)|) (2.4)

= λf ((1 − λ) (b − a)) + (1 − λ) f (λ (b − a)) .

Also, for any xi ∈ [a, b] there exists a unique λi ∈ [0, 1] such that xi = λi a + (1 − λi ) b. We have n n X X (2.5) f (a) + f (b) − vi f (xi ) = f (a) + f (b) − vi f (λi a + (1 − λi ) b) . i=1

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

i=1

http://jipam.vu.edu.au/

J ENSEN -S TEFFENSEN ’ S INEQUALITY - S UPERQUADRATIC FUNCTIONS

7

Applying (2.4) on every xi = λi a + (1 − λi ) b in (2.5) we obtain f (a) +f (b) −

n X

vi f (xi )

i=1 n X  vi − λi f (a) − (1 − λi ) f (b) ≥ f (a) + f (b) + i=1

(2.6)

+ λi f ((1 − λi ) (b − a)) + (1 − λi ) f (λi (b − a)) n X = vi [(1 − λi ) f (a) + λi f (b)]



i=1

+

n X

vi [λi f ((1 − λi ) (b − a)) + (1 − λi ) f (λi (b − a))] .

i=1

Applying again (2.4) on (2.6) we get (2.7) f (a) + f (b) −

n X

vi f (xi ) ≥

n X

i=1

vi f ((1 − λi ) a + λi b)

i=1

+2

n X

vi [λi f ((1 − λi ) (b − a)) + (1 − λi ) f (λi (b − a))] .

i=1

Applying again Lemma A on (2.7) we obtain f (a) +f (b) − ≥f

n X

i=1 n X

+

vi f (xi ) !

vi [(1 − λi ) a + λi b]

i=1 n X

! n X vj [(1 − λj ) a + λj b] (1 − λi ) a + λi b −

vi f

i=1 n X

+2

j=1

vi [(1 − λi ) f (λi (b − a)) + λi f ((1 − λi ) (b − a))]

i=1

! n X =f a+b− vi xi + vi f vj xj − xi i=1 i=1 j=1   n X xi − a b − xi +2 vi f (b − xi ) + f (xi − a) , b − a b − a i=1 n X

(2.8)

!

n X

and this is the first inequality in (2.3). Since f is a nonnegative superquadratic function, from Lemma B we know that it is also convex, so from (2.8) we have   X   n n X xi − a b − xi 2 (b − xi ) (xi − a) vi f (b − xi ) + f (xi − a) ≥ vi f , b−a b−a b−a i=1 i=1 hence, the second inequality in (2.3) is proved.

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

http://jipam.vu.edu.au/

ˇ C´ BAKULA , S. A BRAMOVICH , M. K LARI CI

8

AND

S. BANI C´

For the case when f is strictly superquadratic and v > 0 we may deduce that inequalities (2.6) and (2.7) become equalities iff each of the λi , i = 1, . . . , n, is either equal to 1 or equal to 0, which means that xi ∈ {a, b} , i = 1, . . . , n. However, since we also have n X

vj xj − xi = 0,

i = 1, . . . , n,

j=1

we deduce that xi = a, i = 1, . . . , n, or xi = b, i = 1, . . . , n. This completes the proof of the theorem.



P Corollary 2.3. Let v = (v1 , . . . , vn )be a real n-tuple such that v ≥ 0, ni=1 vi = 1 and let x = (x1 , . . . , xn ) be an n-tuple in [a, b]n , 0 < a < b. Then for any real numbers r and s such that rs ≥ 2 we have  s Qs (a, b; x) −1 Qr (a, b; x)  n s n r X X 1 r r  vi ≥ vj xj − xi Qr (a, b; x)s i=1 j=1  r # n r r X s s x i − ar r b − x i (2.9) +2 vi (b − xri ) r + r (xri − ar ) r r r r b −a b −a i=1   s   rs n n n X r r r r r X X 2 (x − a ) (b − x ) 1 i i  , ≥ vi vj xrj − xri + 2 vi s r r Qr (a, b; x) i=1 b − a j=1 i=1 1 P where Qp (a, b; x) = (ap + bp − ni=1 vi xi ) p , p ∈ R \ {0} . If rs > 2 and v > 0, the equalities hold in (2.9) iff xi = a, i = 1, . . . , n or xi = b, i = 1, . . . , n. s

Proof. We define a function f : (0, ∞) → (0, ∞) as f (x) = x r . It can be easily checked that for any real numbers r and s such that rs ≥ 2 the function f is superquadratic. We define a new positive n-tuple ξ in [ar , br ] as ξi = xri , i = 1, . . . , n. From Theorem 2.2 we have ! rs n n X X as + b s − vi xsi − ar + br − vi xri i=1

(2.10)

i=1

s   r n n n X r X X s s br − xri r x i − ar r r r r r r r ≥ vi vj xj − xi + 2 vi r (b − xi ) + r (xi − a ) r r b − a b − a i=1 j=1 i=1 s  s n n n X r X X 2 (xri − ar ) (br − xri ) r r r vi ≥ vi vj xj − xi + 2 ≥ 0. b r − ar i=1

i=1

j=1

We have as + b s −

n X

vi xsi −

ar + b r −

i=1

n X

! rs vi xri

= Qs (a, b; x)s − Qr (a, b; x)s

i=1

so from (2.10) the inequalities in (2.9) follow. s The equality case follows from the equality case in Theorem 2.2, as the function f (x) = x r  is strictly superquadratic for rs > 2.

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

http://jipam.vu.edu.au/

J ENSEN -S TEFFENSEN ’ S INEQUALITY - S UPERQUADRATIC FUNCTIONS

9

Remark 2.4. It is an immediate result of Corollary 2.3 that if rs > 2 and there is at least one j ∈ {1, . . . , n} such that   vj xrj − ar br − xrj > 0, then for this j we have   ! rs  s 2 xrj − ar br − xrj Qs (a, b; x) 2vj > 0. −1> Qr (a, b; x) Qr (a, b; x)s b r − ar 3. A N A LTERNATIVE P ROOF OF T HEOREM B In this section we give an interesting alternative proof of Theorem B based on Theorem E. To carry out that proof we need the following technical lemma. Lemma 3.1. Let y = (y1 , . . P . , ym ) be a decreasing real m-tuple and p = (p1 , . . . , pm ) a nonnegative real m-tuple with m i=1 pi = 1 . We define m X y= pi yi i=1

and the m-tuple y = (y, y, . . . , y) . Then the m-tuples η = y, ξ = y and p satisfy conditions (1.8) and (1.9). Proof. Note that y is a convex combination of y1 , y2 , . . . , ym , so we know that ym ≤ y ≤ y1 . From the definitions of the m-tuples ξ and η we have m m m m X X X X pi = y = pi yi = p i ηi . pi ξi = y i=1

i=1

i=1

i=1

Hence, condition (1.9) is satisfied. Furthermore, for k = 1, 2, . . . , m − 1 we have k X

p i ηi −

k X

i=1

pi ξi =

k X

i=1

pi yi − y

i=1

= Since

k X i=1

i=1

pi

i=1

k X

pi yi −

i=1

Pm

k X

m X

p j yj

j=1

k X

pi .

i=1

pi = 1 , we can write

p i ηi −

k X

pi ξi =

i=1

k X

pj +

j=1

=

=

m X

pj

k X

j=k+1 k X

m X

i=1

pj

pi yi −

i=1

k X

!

pi

m X

k X

pi yi −

pj yi −

k X j=1

m X

pi

i=1

j=k+1

pi

k X i=1

j=k+1

i=1

=

m X

pj yj +

m X j=k+1

! pj yj

k X

pi

i=1

pj yj

j=k+1

m X

! pj yj

j=k+1

pj (yi − yj ) .

j=k+1

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

http://jipam.vu.edu.au/

ˇ C´ BAKULA , S. A BRAMOVICH , M. K LARI CI

10

AND

S. BANI C´

Since p is nonnegative and y is decreasing, we obtain k X

p i ηi −

i=1

k X

pi ξi ≥ 0,

k = 1, 2, . . . , m − 1,

i=1

which means that condition (1.8) is satisfied as well.



Now we can give an alternative proof of Theorem B which is mainly based on Theorem E. P Proof of Theorem B. Since x = ni=1 wi xi is a convex combination of x1 , x2 , . . . , xn it is clear that there is an s ∈ {1, 2, . . . , n − 1} such that x1 ≤ · · · ≤ xs ≤ x ≤ xs+1 ≤ · · · ≤ xn , that is, −x1 ≥ · · · ≥ −xs ≥ −x ≥ −xs+1 ≥ · · · ≥ −xn .

(3.1)

Adding x1 + xn to all the inequalities in (3.1) we obtain xn ≥ · · · ≥ x1 + xn − xs ≥ x1 + xn − x ≥ x1 + xn − xs+1 ≥ · · · ≥ x1 , which gives us (3.2)

x1 + xn − x = x1 + xn −

n X

wi xi ∈ [x1 , xn ] .

i=1

We use (1.10) to prove the theorem. For this, we define the (n + 2)-tuples ξ, η and p as follows: η1 = xn , η2 = xn , η3 = xn−1 , . . . , ηn = x2 , ηn+1 = x1 , ηn+2 = x1 , p1 = 1, p2 = −wn , p3 = −wn−1 , . . . , pn = −w2 , pn+1 = −w1 , pn+2 = 1, ξ1 = ξ2 = · · · = ξn+2 = η,

η=

n+2 X

p i ηi = x 1 + x n −

i=1

wj xj .

j=1

It is easily verified that ξ and η are decreasing and that η and p satisfy conditions (1.8) and (1.9). Condition (1.9) is trivially fulfilled since n+2 X

n X

pi ξi = η

n+2 X

pi = η =

i=1

i=1

Pn+2 i=1

n+2 X

pi = 1. It remains to see that ξ,

p i ηi .

i=1

Further, we have ξi = η, i = 1, 2, . . . , n + 2 . To prove (1.8) , we need to demonstrate that (3.3)

η

k X

pi ≤

i=1

k X

pi ηi , k = 1, 2, . . . , n + 1.

i=1

For k = 1, (3.3) becomes η ≤ xn , and this holds because of (3.2) . On the other hand, for k = n + 1, (3.3) becomes ! n n X X η 1− wi ≤ xn − wi xi , i=1

i=1

that is, 0 ≤ xn − x, and this holds because of (3.2) .

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

http://jipam.vu.edu.au/

J ENSEN -S TEFFENSEN ’ S INEQUALITY - S UPERQUADRATIC FUNCTIONS

11

If k ∈ {2, . . . , n} , (3.3) can be rewritten and in its stead we have to prove that ! n n X X wi xi . (3.4) η 1− wi ≤ xn − i=n+2−k

i=n+2−k

Let us consider the decreasing n-tuple y, where yi = x1 + xn − xi , i = 1, 2, . . . , n. We have y=

n X

wi yi

i=1

=

n X

wi (x1 + xn − xi )

i=1

= x1 + xn −

n X

wi xi = x1 + xn − x = η.

i=1

If we apply Lemma 3.1 to the n-tuple y and to the weights w, then m = n and for all l ∈ {1, 2, . . . , n − 1} the inequality l X

y

wi ≤

i=1

l X

wi (x1 + xn − xi )

i=1

P P holds. Taking into consideration that y = η, li=1 wi = 1 − ni=l+1 wi and changing indices as l = n + 1 − k, we deduce that ! n+1−k n X X (3.5) η 1− wi ≤ wi (x1 + xn − xi ) , i=1

i=n+2−k

for all k ∈ {2, . . . , n}. The difference between the right side of (3.4) and the right side of (3.5) is n n+1−k X X xn − wi xi − wi (x1 + xn − xi ) i=1

i=n+2−k

n X

= xn −

wi xi − xn

= xn 1 −

! wi

= xn

i=n+2−k n X

=

i=n+2−k

wi −

wi xi −

wi xi −

wi (x1 − xi )

n+1−k X

wi (x1 − xi )

i=1

i=n+2−k

wi (xn − xi ) +

n+1−k X i=1

i=n+2−k n X

wi (x1 − xi )

i=1

n X



i=1 n X

wi −

n+1−k X

i=1

i=n+2−k n+1−k X

n+1−k X

n+1−k X

wi (xi − x1 ) ≥ 0,

i=1

since w is nonnegative and x is increasing. Therefore, the inequality (3.6)

n+1−k X

wi (x1 + xn − xi ) ≤ xn −

i=1

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

n X

wi xi

i=n+2−k

http://jipam.vu.edu.au/

ˇ C´ BAKULA , S. A BRAMOVICH , M. K LARI CI

12

AND

S. BANI C´

holds for all k ∈ {2, . . . , n}. From (3.5) and (3.6) we obtain (3.4) . This completes the proof that the m-tuples ξ, η and p satisfy conditions (1.8) and (1.9) and we can apply Theorem E to obtain n n+2 X X wi f (xi ) + f (x1 ) . pi f (η) ≤ f (xn ) − i=1

i=1

Taking into consideration that f

Pn+2

x1 + xn −

i=1

n X

pi = 1 and η = x1 + xn − !

wi xi

≤ f (x1 ) + f (xn ) −

i=1

Pn

j=1

n X

wj xj we finally get

wi f (xi ) .

i=1

 R EFERENCES [1] S. ABRAMOVICH, G. JAMESON AND G. SINNAMON, Refining Jensen’s inequality, Bull. Math. Soc. Math. Roum., 47 (2004), 3–14. [2] S. ABRAMOVICH, G. JAMESON AND G. SINNAMON, Inequalities for averages of convex and superquadratic functions, J. Inequal. in Pure and Appl. Math., 5(4) (2004), Art. 91. [ONLINE: http://jipam.vu.edu.au/article.php?sid=444]. ´ M. MATIC´ AND J. PECARI ˇ ´ Jensen-Steffensen’s and related in[3] S. ABRAMOVICH, S. BANIC, C, equalities for superquadratic functions, submitted for publication. ˇ C´ BAKULA, M. MATIC´ AND J. PECARI ˇ ´ A variant of Jensen[4] S. ABRAMOVICH, M. KLARICI C, Steffensen’s inequality and quasi-arithmetic means, J. Math. Anal. Applics., 307 (2005), 370–385. [5] A. McD. MERCER, A monotonicity property of power means, J. Inequal. in Pure and Appl. Math., 3(3) (2002), Art. 40. [ONLINE: http://jipam.vu.edu.au/article.php?sid=192]. [6] A. McD. MERCER, A variant of Jensen’s inequality, J. Inequal. in Pure and Appl. Math., 4(4) (2003), Art. 73. [ONLINE: http://jipam.vu.edu.au/article.php?sid=314]. ˇ ´ F. PROSCHAN AND Y.L. TONG, Convex Functions, Partial Orderings, and Statis[7] J.E. PECARI C, tical Applications, Academic Press, Inc. (1992). [8] A. WITKOWSKI, A new proof of the monotonicity property of power means, J. Inequal. in Pure and Appl. Math., 5(3) (2004), Art. 73. [ONLINE: http://jipam.vu.edu.au/article. php?sid=425].

J. Inequal. Pure and Appl. Math., 7(2) Art. 70, 2006

http://jipam.vu.edu.au/