Reverses of the Jensen inequality in terms of first derivative and applications

  • PDF / 681,445 Bytes
  • 18 Pages / 439.37 x 666.142 pts Page_size
  • 93 Downloads / 138 Views

DOWNLOAD

REPORT


REVERSES OF THE JENSEN INEQUALITY IN TERMS OF FIRST DERIVATIVE AND APPLICATIONS S.S. Dragomir

Received: 26 April 2012 / Revised: 28 May 2012 / Accepted: 6 June 2012 © Institute of Mathematics, Vietnam Academy of Science and Technology (VAST) and Springer Science+Business Media Singapore 2013

Abstract Two new reverses of the celebrated Jensen integral inequality for convex functions with applications for means, the Hölder inequality and f -divergence measures in information theory are given. Keywords Jensen’s inequality · Measurable functions · Lebesgue integral · Divergence measures · f -Divergence Mathematics Subject Classification (2000) Primary 26D15 · 26D20 · Secondary 94A05 1 Introduction Let (Ω, A, μ) be a measurable space consisting of a set Ω, a σ -algebra A of parts of Ω and a countably additive and positive measure μ on A with values in R ∪ {∞}. For a μmeasurable function w: Ω → R, with w(x) ≥ 0 for μ-a.e. (almost every) x ∈ Ω, consider the Lebesgue space      w(x)f (x) dμ(x) < ∞ . Lw (Ω, μ) := f : Ω → R, f is μ-measurable and Ω

 For simplicity of notation we write everywhere in the sequel Ω w dμ instead of  Ω w(x) dμ(x). In order to provide a reverse of the celebrated Jensen’s integral inequality for convex functions, Dragomir [13] obtained the following result:

B

S.S. Dragomir ( ) Mathematics, School of Engineering & Science, Victoria University, PO Box 14428, Melbourne City, MC 8001, Australia e-mail: [email protected] url: http://rgmia.org/dragomir S.S. Dragomir School of Computational & Applied Mathematics, University of the Witwatersrand, Private Bag 3, Johannesburg 2050, South Africa

S.S. DRAGOMIR

Theorem 1 Let Φ : [m, M] ⊂ R → R be a differentiable convex function on (m, M) and f : Ω → [m, M] so that Φ ◦ f, f , Φ ◦ f , (Φ ◦ f )f ∈ Lw (Ω, μ), where w ≥ 0 μ-a.e. (almost everywhere) on Ω with Ω w dμ = 1. Then we have the inequality 





w(Φ ◦ f ) dμ − Φ

0≤ 

wf dμ

Ω



w Φ ◦ f f dμ −

≤ Ω

1 ≤ Φ (M) − Φ (m) 2

Ω





w Φ ◦ f dμ

Ω

 Ω

 wf dμ Ω

      w f − wf dμ dμ.

(1.1)

Ω

For a generalization of the first inequality in (1.1) without the differentiability assumption and the derivative Φ replaced with a selection ϕ from the subdifferential ∂Φ, see the paper [26] by C.P. Niculescu. Remark 1 If μ(Ω) < ∞ and Φ ◦ f , f , Φ ◦ f , (Φ ◦ f )f ∈ L(Ω, μ), then we have the inequality:   1 f dμ μ(Ω) Ω Ω   



1 1 1 ≤ f dμ Φ ◦ f f dμ − Φ ◦ f dμ · μ(Ω) Ω μ(Ω) Ω μ(Ω) Ω       1 1 f − 1  dμ. ≤ Φ (M) − Φ (m) f dμ   2 μ(Ω) Ω μ(Ω) Ω

0≤

1 μ(Ω)





(Φ ◦ f ) dμ − Φ

(1.2)

Corollary 1 Let Φ : [m, M] → R be a differentiable convex function on (m, M). If xi ∈

[m, M] and wi ≥ 0 (i = 1, . . . , n) with Wn := ni=1 wi = 1, then one has the counterpart of Jensen’s weighted discrete inequality: 0≤

n 

wi Φ(xi ) − Φ

 n 

i=1



n 

 wi xi

i=1

wi Φ (xi )xi −

i=1

n 

wi Φ (xi )

i=1

n 

wi xi

i=1

  n n     1   ≤ Φ (M) − Φ (m) wi xi − wj xj .   2 i=1 j =1

(1.3)

Remark 2 We notice that the inequality between the first and the se