• Nu S-Au Găsit Rezultate

View of A simple proof of Popoviciu's inequality

N/A
N/A
Protected

Academic year: 2022

Share "View of A simple proof of Popoviciu's inequality"

Copied!
6
0
0

Text complet

(1)

Rev. Anal. Num´er. Th´eor. Approx., vol. 37 (2008) no. 2, pp. 127–132 ictp.acad.ro/jnaat

A SIMPLE PROOF OF POPOVICIU’S INEQUALITY

MIHALY BENCZEand FLORIN POPOVICI

Abstract. T. Popoviciu [5] has proved in 1965 the following inequality relating the values of a convex functionf :I Rat the weighted arithmetic means of the subfamilies of a given family of pointsx1, ..., xnI:

X

1≤i1<···<ip≤n

i1+· · ·+λip)fλi

1xi1+···+λipxip λi1+···+λip

n−2p−2

"

n−p p−1

n

X

i=1

λif(xi) +

n

X

i=1

λi

!

f λ1xλ1+···+λnxn

1+···+λn

# .

Heren3, p∈ {2, ..., n1}andλ1, ..., λn are positive numbers (representing weights). The aim of this paper is to give a simple argument based on mathe- matical induction and a majorization lemma.

MSC 2000. Primary 26A51, 26D15; Secondary 26B25.

Keywords. Popoviciu’s inequality, convex function, convex combination.

T. Popoviciu [5] has proved in 1965 the following inequality relating the values of a convex functionf :I →Rat the weighted arithmetic means of the different subfamilies of a given family of points x1, ..., xnI:

X

1≤i1<···<ip≤n

i1 +· · ·+λip)fλi1xλi1+···+λipxip

i1+···+λip

n−2p−2

"

n−p p−1

n

X

i=1

λif(xi) +

n

X

i=1

λi

!

fλ1xλ1+···+λnxn

1+···+λn

# .

Heren≥3, p∈ {2, ..., n−1}andλ1, ..., λnare positive numbers (representing weights);I is a nonempty interval.

The inequality above (denoted (Pn,p) in what follows) is nontrivial even in the case of triplets (that is, when n = 3 and p = 2). Several alternative approaches of (P3,2) are discussed in the recent book of C. P. Niculescu and L.-E. Persson [2]. See [4] and [3] for additional information.

Aprily Lajos College, Bra¸sov, Romania, e-mail: [email protected].

Grigore Moisil College, Bra¸sov, Romania, e-mail: [email protected].

(2)

Theoretically, Popoviciu’s inequality is a refinement of Jensen’s inequality since it yields

f

n

P

i=1

λixi n

P

i=1

λi

1

n−1 p−1

n

P

i=1

λi

X

1≤i1<···<ip≤n

i1+· · ·+λip)fλi1λxi1+···+λipxip

i1+···+λip

n−pn−1

n

P

i=1

λif(xi)

n

P

i=1

λi

+n−1p−1 f

n

P

i=1

λixi n

P

i=1

λi

n

P

i=1

λif(xi)

n

P

i=1

λi

.

The aim of the present paper is to offer a simple argument of (Pn,p) based on mathematical induction and the following variant of the majorization in- equality:

Lemma 1. Let f : [a, b]→R be a convex function. If x1, ..., xn∈[a, b] and a convex combination Pn

k=1

µkxk of these points equals a convex combination λ1a+λ2b of the endpoints, then

n

X

k=1

µkf(xk)≤λ1f(a) +λ2f(b).

Proof. This can be established easily by using the barycentric coordinates (in our case the fact that every pointxk∈[a, b] can be expressed uniquely as a convex combination ofaand b).

A second argument is based on the geometric meaning of convexity. Denot- ing byA(x) the affine function joining (a, f(a)) with (b, f(b)),we have

n

X

k=1

µkf(xk) ≤

n

X

k=1

µkA(xk) =A

n

X

k=1

µkxk

!

= A1a+λ2b) =λ1A(a) +λ2A(b)

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

It is worth to mention that Lemma 1 still works (with obvious changes) within the framework of convex functions on simplices.

We pass now to the proof of Popoviciu’s inequality, by considering first the case where n∈N, n≥3 and p=n−1 :

(Pn,n−1) X

1≤i≤n

λif(xi) + (n−2)

X

1≤i≤n

λi

f

P

1≤i≤n

λixi

P

1≤i≤n

λi

X

1≤j≤n

X

1≤i≤n, i6=j

λi

f

P

1≤i≤n, i6=j

λixi

P

1≤i≤n, i6=j

λi

.

(3)

Clearly, we may assume

x1x2 ≤ · · · ≤xn. Choose k∈ {1, ..., n−1}such that

xk

n

P

i=1

λixi n

P

i=1

λi

xk+1

and put

yj = P

1≤i≤n, i6=j

λixi

P

1≤i≤n, i6=j

λi

forj= 1, ..., n.Then it is clear that

(1)

n

P

i=1

λixi n

P

i=1

λi

yj

n

P

i=k+1

λixi n

P

i=k+1

λi

for all j∈ {1, ..., k}.

We have

k

P

j=1

P

1≤i≤n, i6=j

λi

yj

k

P

j=1

P

1≤i≤n, i6=j

λi

=

k

P

j=1

P

1≤i≤n, i6=j

λi

P

1≤i≤n, i6=j

λixi

P

1≤i≤n, i6=j

λi

k

P

j=1

P

1≤i≤n, i6=j

λi

=

(k−1)

n

P

i=1

λixi+

n

P

i=k+1

λixi

(k−1)

n

P

i=1

λi+

n

P

i=k+1

λi

=

(k−1)

n P

i=1

λi

n

P

i=1

λixi n

P

i=1

λi

+

n P

i=k+1

λi

n

P

i=k+1

λixi n

P

i=k+1

λi

(k−1)

n

P

i=1

λi+

n

P

i=k+1

λi

so that by (1) and Lemma 1 we infer the inequality

k

X

j=1

X

1≤i≤n, i6=j

λi

f

P

1≤i≤n, i6=j

λixi

P

1≤i≤n, i6=j

λi

≤(k−1)

n

X

i=1

λi

! f

n

P

i=1

λixi n

P

i=1

λi

+

n

X

i=k+1

λi

f

n

P

i=k+1

λixi n

P

i=k+1

λi

.

(4)

Or, by Jensen’s inequality,

k

X

j=1

X

1≤i≤n, i6=j

λi

f

P

1≤i≤n, i6=j

λixi

P

1≤i≤n, i6=j

λi

≤(k−1)

n

X

i=1

λi

! f

n

P

i=1

λixi n

P

i=1

λi

+

n

X

i=k+1

λif(xi)

and

n

X

j=k+1

X

1≤i≤n, i6=j

λi

f

P

1≤i≤n, i6=j

λixi

P

1≤i≤n, i6=j

λi

≤(n−k−1)

n

X

i=1

λi

! f

n

P

i=1

λixi n

P

i=1

λi

+

k

X

i=1

λif(xi)

whence we may conclude (Pn,n−1).

Consider now the case where n∈N, p≥3.We will prove that (Pn,p)⇒(Pn,p−1)

that is, if Popoviciu’s inequality works for families of n weighted points by grouping them into subfamilies of size p∈ {3, ..., n−1}then it also works by grouping them into subfamilies of sizep−1.

By Lemma 1,

λi1f(xi1) +· · ·+λipf(xip) + (k−2)(λi1+· · ·+λip)fλi1λxi1+···+λipxip

i1+···+λip

p

X

j=1

X

1≤k≤p, k6=j

λik

f

P

1≤k≤p, k6=j

λikxik

P

1≤k≤p, k6=j

λik

whence X

1≤i1<···<ip≤n

i1+· · ·+λip)fλi1λxi1+···+λipxip

i1+···+λip

p−21n−1p−1

n

X

i=1

λif(xi)

+(n−p+ 1) X

1≤i1<···<ip−1≤n

i1+· · ·+λip−1)f

λi1xi1+···+λip−1xip−1 λi1+···+λip−1

.

(5)

By our hypothesis we get

n−2 p−1

n−p p−1

n

X

i=1

λif(xi) +

n

X

i=1

λi

! f

n

P

i=1

λixi n

P

i=1

λi

p−21n−1p−1

n

X

i=1

λif(xi) + (n−p+ 1)

X

1≤i1<···<ip−1≤n

i1 +· · ·+λip−1)f

λi1xi1+···+λip−1xip−1 λi1+···+λip−1

,

that is, n−2

p−2

n−p

p−1 + n−1p−1p−21

n

X

i=1

λif(xi) + n−2p−2

n

X

i=1

λi

! f

n

P

i=1

λixi n

P

i=1

λi

n−p+1p−2 X

1≤i1<···<ip−1≤n

i1+· · ·+λip−1)f

λi1xi1+···+λip−1xip−1 λi1+···+λip−1

. Since

n−2 p−2

n−p

p−1 + n−1p−1p−21 = n−2p−2n−p+1p−2 and

n−2 p−2

= n−2p−3n−p+1p−2 we can restate the last inequality as follows:

n−2 (p−1)−2

n−(p−1) (p−1)−1

n

X

i=1

λif(xi) +

n

X

i=1

λi

! f

n

P

i=1

λixi n

P

i=1

λi

X

1≤i1<···<ip−1≤n

i1 +· · ·+λip−1)f λ

i1xi1+···+λip−1xip−1 λi1+···+λip−1

, which proves to be precisely (Pn,p−1).

The proof of Popoviciu’s inequality is now complete.

Remark2. The induction step is not necessary in deriving the unweighted case of the inequalities (Pn,2) :

(nPn,2) (n − 2)f(x1)+···+f(xn n) + f x1+···+xn n2n X

1≤j<k≤n

fxj+x2 k

for all x1, ..., xn in the domain off.

In fact, assuming that

x1 ≤ · · · ≤xn

(6)

we will consider first the case where

x1+xn

2x1+···+xn n. Then, by Lemma 1 we get

(M) n1 f(x1) +f x1+x2 2+· · ·+f x1+x2 n12 f(x1) +f x1+···+xn n while from Jensen’s inequality we infer that

(J) 2n X

2≤j<k≤n

fxj+x2 k2nn−22

n

X

i=2

f(xi).

Summing up (M) and (J) we get (nPn,2).The case where

x1+xn

2x1+···+xn n

can be treated in a similar way (changing the role of the indices 1 and n in

(M)).

At first glance Popoviciu’s inequality is a one real variable result. This impression is strongly supported by the existence of counterexamples even in the two real variables context. For example, think at an upsidedown regular triangular pyramid (viewed as the graph of a convex function). Besides, all known arguments of (Pn,p) make use of the ordering of R.

However, as Professor Constantin P. Niculescu called to our attention, it is possible to develop a higher dimensional theory of convexity based on (P3,2).

This makes the objective of our joint paper [1].

REFERENCES

[1] Bencze, M., Niculescu, C. P.andPopovici, F.,Convexity according to Popoviciu’s inequality, submitted.

[2] Niculescu, C. P. and Persson, L.-E., Convex Functions and their applications. A Contemporary Approach, CMS Books in Mathematics, vol. 23, Springer-Verlag, New York, 2006.

[3] Niculescu, C. P.andPopovici, F.,A Refinement of Popoviciu’s Inequality, Bull. Soc.

Sci. Math. Roum.,49(97), no. 3, pp. 285–290, 2006.

[4] Peˇcari´c, J. E., Proschan, F.andTong, Y. C.,Convex functions, Partial Orderings and Statistical Applications, Academic Press, New York, 1992.

[5] Popoviciu, T.,Sur certaines in´egalit´es qui caract´erisent les fonctions convexes, Analele S

¸tiint¸ifice Univ. “Al. I. Cuza”, Ia¸si, Sect¸ia Mat.,11, pp. 155–164, 1965.

Received by the editors: May 8, 2008.

Referințe

DOCUMENTE SIMILARE

A fost nevoie de multe veacuri de istorie omenească până ce oamenii să poată fi adunaţi în popoare destul de mari ca să fie ucişi cu sutele de mii, astfel că primele dintre

Implant surgery included alveolar ridge reduction and placement of the implants with the help of a surgical template (duplicate mandibular denture).. Implant

Key words: Greta Thunberg, Public Appearance, Protestant Ethics, Martin Luther, Self- Restraint, Public Responsibility, Cultural Patterns, Modern and Postmodern

The distinction between first order truth claims and second order grammatical reflection stems from the application of the linguistic metaphor to religion and from allowing

példa: SzállításiInformációk relációja nincs 2NF-ben, mivel a reláció kulcsa a {SzállID, ÁruID} és fennáll a SzállID → SzállNév, tehát SzállNév függ

When M ⊂ X ∗ has the property (P), the main difference between semistrictly quasiconvex functions and M-convex functions is that for M -convex functions the set of minimum points is

Micula, on et'en degree polvnontiul .rpline.litnuiotts rtÍt¡ ap¡tlica- líons to numerical solution of differential equation.r u,irh reiar(te¿ argunrcqt,

'I.he roots of tiris polynornial ctluation can lre explessecl irr telms t¡f lhe coefficients Jr,, i.c.. Such overclelelrninecl systern can be solvetl in the I;1

The photocatalytic degradation of methylene blue as a function of time using the synthesized CoFe 2 O 4 and CoFe 2 O 4 -graphene nanocomposites was investigated

The present study was aimed with the formulation of niosomes of aceclofenac followed by the evaluating parameters such as drug content, entrapment efficiency, particle size,

Not surprisingly, the Substitution relation quite clearly corresponds to the two associated functions and hence constitutes a well-demarcated subset (which, as pointed out

Since the diachronic process is not easy to capture and since it is not a typical case of grammaticalization (the morphological and, partially, syntactic features

In this article we investigate duration patterns of internal (adjacent vowels within the word) and external hiatus (adjacent vowels across word boundary) in Romanian as a function

De¸si ˆın ambele cazuri de mai sus (S ¸si S ′ ) algoritmul Perceptron g˘ ase¸ste un separator liniar pentru datele de intrare, acest fapt nu este garantat ˆın gazul general,

Thus, if Don Quixote is the idealist, Casanova the adventurous seducer, Werther the suicidal hero, Wilhelm Meister the apprentice, Jesus Christ will be, in the audacious and

However, any language with functionality that can be expressed in terms of a valid class file can be hosted by the Java Virtual Machine..

In [14], the authors studied all linear maps Φ on B(H ) preserving in both direc- tions semi-Fredholm operators. It has been shown that such maps Φ preserve in both directions the

In summary, ultrasonographic findings in AKU were enthesopathy mainly close to insertion, hypoechoic masses without shadowing (possibly representing non- calcified

Ivana et al mentioned in a similar study that no skin lesion was detected in all low voltage current accidents[24].Most accidents of electrocution reported in the above

Oral habits are a term used to describe these behaviors[4].Bruxism during sleep either during daytime or during night is termed as „Sleep Bruxism‟ (SB). SB is

The tissue grows continuously, with the secretion of an enamel extracellular matrix, until the ameloblasts have secreted the whole thickness of the enamel

Macroscopically, the incremental pattern of the enamel rods which is exhibited on the tooth surface as perikymata [45]but microscopically, groups of enamel rods run in

Scrub typhus can occur with non specific febrile disease or with constitutional symptoms (fever, rash, myalgia, and headache) or organ dysfunction like the kidney (acute