Professional Documents
Culture Documents
New Refinement of The Jensen Inequality Associated
New Refinement of The Jensen Inequality Associated
1 Introduction
The celebrated Jensen inequality states that: If I is an interval in R and g, p : [a, b] → R
are integrable functions such that g() ∈ I, p() > 0 ∀ ∈ [a, b]. Also, if ψ : I → R is convex
function and (ψ ◦ g).p is integrable on [a, b]. Then
b b
g()p() d p()(ψ ◦ g)() d
ψ a
b ≤ a
b . (1)
a p() d a p() d
© The Author(s) 2020. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use,
sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original
author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other
third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line
to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by
statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a
copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
preinvex, h-convex and η-convex functions. For some recent results concerning the Jensen
inequality see [1–3, 5, 8–20].
In this article first of all we establish an interesting refinement of the Jensen inequality
associated to two functions whose sum is equal to unity. Using this refinement, we de-
rive refinements of Hölder, power mean, quasi-arithmetic mean and Hermite–Hadamard
inequalities. We also focus on deducing bounds for Csiszár-divergence, Kullback–Leibler
divergence, Shannon entropy and variational distance etc. We present a more general re-
finement of Jensen inequality concerning n functions whose sums are equal to unity.
2 Main results
We start to derive a new refinement of the Jensen inequality associated to two functions
whose sum is equal to unity.
1 b
p()ψ g() d
P a
b b
1 p()u()g() d
≥ b
u()p() dψ a
P
a p()u() d
a
b b
1 a p()v()g() d
+ p()v() dψ b
P a
a p()v() d
b
1
≥ψ p()g() d . (2)
P a
b b b
p()ψ g() d = u()p()ψ g() d + v()p()ψ g() d. (3)
a a a
Applying the integral Jensen inequality on both terms on the right side of (3) we obtain
1 b
p()ψ g() d
P a
b b
1 u()p()g() d
≥ b
u()p() dψ a
P
a u()p() d
a
b b
1 a v()p()g() d
+ v()p() dψ b
P a
a v()p() d
b
1 1 b
≥ψ u()p()g() d + v()p()g() d
P a P a
(by the convexity of ψ)
b
1
=ψ p()g() d . (4)
P a
Corollary 1 Let r1 , r2 > 1 be such that r11 + r12 = 1. If u, v, τ , g1 and g2 are non-negative
functions defined on [a, b] such that τ g1r1 , τ g2r2 , uτ g2r2 , vτ g2r2 , uτ g1 g2 , vτ g1 g2 , τ g1 g2 ∈ L1 ([a, b])
and u() + v() = 1 for all ∈ [a, b], then
b r1 b r1
1 2
τ ()g1r1 () d τ ()g2r2 () d
a a
b r1
2
≥ τ ()g2r2 () d
a
b 1–r1 b r1
× u()τ ()g2r2 () d u()τ ()g1 ()g2 () d
a a
b 1–r1 b r1 1
r1
+ v()τ ()g2r2 () d v()τ ()g1 ()g2 () d
a a
b
≥ τ ()g1 ()g2 () d. (5)
a
b
In the case when 0 < r1 < 1 and r2 = r1
with a τ ()g2r2 () d > 0 or r1 < 0 and
b r1 –1
b
τ ()g1 ()g2 () d
a
b r1 b r1
2 1
≥ u()τ ()g2r2 () d u()τ ()g1r1 () d
a a
b r1 b r1
2 1
+ v()τ ()g2r2 () d v()τ ()g1r1 () d
a a
b r1 b r1
1 2
≥ τ ()g1r1 () d τ ()g2r2 () d . (6)
a a
b
Proof If τ ()g2r2 () d > 0, then by using Theorem 1 for ψ() = r1 , > 0, r1 > 1, p() =
a
–r2
b
τ ()g2r2 (), g() = g1 ()g2 1 (), we obtain (5). If a τ ()g1r1 () d > 0, then applying the
r
1 1
0 ≤ τ ()g1 ()g2 () ≤ τ ()g1r1 () + τ ()g2r2 (). (7)
r1 r2
b
Therefore taking the integral and then using the given conditions we have a τ ()g1 () ×
g2 () d = 0.
For the case r1 > 1, the proof is completed.
For the case when 0 < r1 < 1, M = r11 > 1 and applying (5) for M and N = (1 – r1 )–1 , g 1 =
(g1 g2 )r1 , g 2 = g2–r1 instead of r1 , r2 , g1 , g2 .
Finally, if r1 < 0 then 0 < r2 < 1 and we may apply similar arguments with r1 , r2 , g1 , g2
b
replaced by r2 , r1 , g2 , g1 provided that a τ ()g1r1 () d > 0.
b r1 b r1
1 2
τ ()g1r1 () d τ ()g2r2 () d
a a
b r1 b r1
1 2
≥ u()τ ()g1r1 () d u()τ ()g2r2 () d
a a
b r1 b r1
1 2
+ v()τ ()g1r1 () d v()τ ()g2r2 () d
a a
b
≥ τ ()g1 ()g2 () d. (8)
a
b
In the case when 0 < r1 < 1 and r2 = r1
with a τ ()g2r2 () d > 0 or r1 < 0 and
b r1
r1 –1
b r1 b r1
1 2
τ ()g1r1 () d τ ()g2r2 () d
a a
b r1
2
≤ τ ()g2r2 () d
a
b 1–r1 b r1
× u()τ ()g2r2 () d u()τ ()g1 ()g2 () d
a a
b 1–r1 b r1 1
r1
+ v()τ ()g2r2 () d v()τ ()g1 ()g2 () d
a a
b
≤ τ ()g1 ()g2 () d. (9)
a
b 1
Proof Assume that a τ ()g2r2 () d > 0. Let ψ() = r1 , > 0, r1 > 1. Then clearly the
1
function ψ is concave. Therefore applying Theorem 1 for ψ() = r1 , p = τ g2r2 , g = g1r1 g2–r2 ,
b
we obtain (8). If a τ ()g1r1 () d > 0, then applying the same procedure but taking
r1 , r2 , g1 , g2 instead of r2 , r1 , g2 , g1 , we obtain (8).
b b
If a τ ()g2r2 () d = 0 and a τ ()g1r1 () d = 0, then since as we know that
1 1
0 ≤ τ ()g1 ()g2 () ≤ τ ()g1r1 () + τ ()g2r2 (). (10)
r1 r2
b
Therefore taking the integral and then using the given conditions we have a τ () ×
g1 ()g2 () d = 0.
In the case when 0 < r1 < 1, M = r11 > 1 and applying (8) for M and N = (1 – r1 )–1 , g 1 =
(g1 g2 )r1 , g 2 = g2–r1 instead of r1 , r2 , g1 , g2 , we get (9).
Finally, if r1 < 0 then 0 < r2 < 1 and we may apply similar arguments with r1 , r2 , g1 , g2
b
replaced by r2 , r1 , g2 , g1 provided that a τ ()g1r1 () d > 0.
Let p and g be positive integrable functions defined on [a, b]. Then the integral power
means of order r ∈ R are defined as follows:
⎧ b
⎪
⎨( b 1
1
a p()g () d) , if r = 0,
r r
p()
a d
Mr (p; g) = b (11)
⎪
⎩exp( a b
p() log g() d
), if r = 0.
a p() d
Corollary 3 Let p, u, v and g be positive integrable functions defined on [a, b] with u() +
v() = 1 for all ∈ [a, b]. Let s, t ∈ R such that s ≤ t. Then
1
Mt (p; g) ≥ M1 (u; p)Mst (u.p; g) + M1 (v; p)Mst (v.p; g) t ≥ Ms (p; g), t = 0, (12)
Mt (p; g) ≥ M1 (u; p) log Ms (u.p; g) + M1 (v; p) log Ms (v.p; g) ≥ Ms (p; g), t = 0, (13)
1
Ms (p; g) ≤ M1 (u; p)Mts (u.p; g) + M1 (v; p)Mts (v.p; g) s ≤ Mt (p; g), s = 0, (14)
Ms (p; g) ≤ M1 (u; p) log Mt (u.p; g) + M1 (v; p) log Mt (v.p; g) ≤ Mt (p; g), s = 0. (15)
t
Proof If s, t ∈ R and s, t = 0, then using (2) for ψ() = s , > 0, g → g s and then taking the
power 1t we get (12). For the case t = 0, taking the limit t → 0 in (12) we obtain (13). We
have the same for s = 0 taking the limit.
s
Similarly taking (2) for ψ() = t , > 0, s, t = 0, g → g t and then taking the power 1s we
get (14). For s = 0 or t = 0 we take the limit as above.
Let p be positive integrable function defined on [a, b] and g be any integrable function
defined on [a, b]. Then, for a strictly monotone continuous function h whose domain be-
longs to the image of g, the quasi-arithmetic mean is defined as follows:
b
1
Mh (p; g) = h–1 b p()h g() d . (16)
a p() d
a
Corollary 4 Let u, v, p be positive integrable functions defined on [a, b] such that u() +
v() = 1 for all ∈ [a, b] and g be any integrable function defined on [a, b]. Also assume
that h is a strictly monotone continuous function whose domain belongs to the image of g.
If f ◦ h–1 is convex function then
1 b
b p()f g() d
a p() d a
≥ M1 (u; p)f Mh (p.u; g) + M1 (v; p)f Mh (p.v; g) ≥ f Mh (p; g) . (17)
If the function f ◦ h–1 is concave then the reverse inequalities hold in (17).
Proof The required inequalities may be deduced by using (2) for g → h ◦ g and ψ → f ◦
h–1 .
Corollary 5 Let ψ : [a, b] → R be a convex function defined on the interval [a, b]. Let u, v :
[a, b] → R be integrable functions such that u(), v() ∈ R+ for all ∈ [a, b] and u() +
v() = 1. Then
b b b
1 1 u() d
ψ() d ≥ u() dψ a
b
b–a b–a
a u() d
a a
b b
1 a v() d a+b
+ v() dψ b ≥ψ . (18)
b–a a 2
a v() d
Proof Using Theorem 1 for p() = 1, g() = for all ∈ [a, b], we obtain (18).
b b b b
a v()u1 () d a u1 () d
+ v()v1 () dT b ≥T b v1 () d. (19)
a v()v1 () d a v1 () d
a a
b b b
a v()u1 () d
+ v()v1 () d log b ≤ log u1 () d . (20)
a v()v1 () d
a a
b b
a u()u1 () d
KLd (u1 , v1 ) ≥ u()u1 () d log b
a u()v1 () d
a
b b
a v()u1 () d
+ v()u1 () d log b ≥ 0. (21)
a v()v1 () d
a
Definition 5 (Jeffrey’s distance) If u1 and v1 are two positive probability density functions
defined on [a, b], then the Jeffrey distance is defined by
b
u1 ()
Jd (u1 , v1 ) = u1 () – v1 () log d.
a v1 ()
b
b a u()u1 () d
Jd (u1 , v1 ) ≥ u() u1 () – v1 () d log b
a u()v1 () d
a
b b
a v()u1 () d
+ v() u1 () – v1 () d log b ≥ 0. (23)
a v()v1 () d
a
b
Bd (u1 , v1 ) = u1 ()v1 () d.
a
√
Proof Using the function T() = – , ∈ R+ , in (19), we obtain (24).
Definition 7 (Hellinger distance) If u1 and v1 are two positive probability density func-
tions defined on [a, b], then the Hellinger distance is defined by
b 2
Hd (u1 , v1 ) = u1 () – v1 () d.
a
b
b 2
Hd (u1 , v1 ) ≥ u()u1 () d – u()v1 () d
a a
b
b 2
+ v()u1 () d – v()v1 () d ≥ 0. (25)
a a
√
Proof Using the function T() = ( – 1)2 , ∈ R+ , in (19), we obtain (25).
b
(u1 () – v1 ())2
Td (u1 , v1 ) = d.
a u1 () + v1 ()
b
u()(u1 () – v1 ()) d)2
(
Td (u1 , v1 ) ≥ ab
a u()(u1 () + v1 ()) d
b
( a (u1 () – v1 ())v() d)2
+ b ≥ 0. (26)
a (u1 () + v1 ())v() d
(–1)2
Proof Since the function φ() = +1
, ∈ R+ , is convex, using the function T() = φ(),
in (19), we obtain (26).
4 Further generalization
In the following theorem we present further refinement of the Jensen inequality concern-
ing n functions whose sum is equal to unity.
1 b
p()ψ g() d
P a
b b
1 a l∈L1 ul ()p()g() d
≥ ul ()p() dψ b
P a l∈L ul ()p() d
1 a l∈L1
b b
1 a l∈L2 ul ()p()g() d
+ ul ()p() dψ b
P a l∈L ul ()p() d
2 a l∈L2
b
1
≥ψ p()g() d . (27)
P a
n
Proof Since l=1 ul () = 1, we may write
b
p()ψ g() d
a
b b
= ul ()p()ψ g() d + ul ()p()ψ g() d. (28)
a l∈L a l∈L
1 2
Applying integral Jensen’s inequality on both terms on the right hand side of (28) we obtain
1 b
p()ψ g() d
P a
b b
1 a l∈L1 ul ()p()g() d
≥ ul ()p() dψ b
P a l∈L ul ()p() d
1 a l∈L1
b b
1 a l∈L2 ul ()p()g() d
+ ul ()p() dψ b
P a l∈L
2 a l∈L2 ul ()p() d
b
1 1 b
≥ψ ul ()p()g() d + ul ()p()g() d
P a P a
l∈L1 l∈L2
Acknowledgements
The publication was supported by the Ministry of Education and Science of the Russian Federation (Agreement number
No. 02.a03.21.0008.)
Funding
There is no funding for this work.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Author details
1
Department of Mathematics, University of Peshawar, Peshawar, Pakistan. 2 Catholic University of Croatia, Zagreb, Croatia.
3
RUDN University, Moscow, Russia.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
1. Adil Khan, M., Al-Sahwi, Z.M., Ming Chu, Y.: New estimations for Shannon and Zipf–Mandelbrot entropies. Entropy
20(608), 1–10 (2018)
2. Adil Khan, M., Pečarić, Ð., Pečarić, J.: On Zipf–Mandelbrot entropy. J. Comput. Appl. Math. 346, 192–204 (2019)
3. Adil Khan, M., Pečarić, Ð., Pečarić, J.: Bounds for Shannon and Zipf–Mandelbrot entropies. Math. Methods Appl. Sci.
40(18), 7316–7322 (2017)
4. Dempster, A.P., Laird, N.M., Rubin, D.B.: Maximum likelihood from incomplete data via the EM algorithm. J. R. Stat. Soc.,
Ser. B 39, 1–38 (1977)
5. Adil Khan, M., Hanif, M., Khan, Z.A., Ahmad, K., Chu, Y.-M.: Association of Jensen inequality for s-convex function. J.
Inequal. Appl. 2019, Article ID 162 (2019)
6. Adil Khan, M., Pečarić, Ð., Pečarić, J.: Bounds for Csiszár divergence and hybrid Zipf–Mandelbrot entropy. Math.
Methods Appl. Sci. 42, 7411–7424 (2019)
7. Khan, S., Adil Khan, M., Chu, Y.-M.: Converses of the Jensen inequality derived from the Green functions with
applications in information theory. Math. Methods Appl. Sci. 43(5), 2577–2587 (2020).
https://doi.org/10.1002/mma.6066
8. Pečarić, J., Perić, J.: New improvement of the converse Jensen inequality. Math. Inequal. Appl. 21(1), 217–234 (2018)
9. Bakula, M.K., Nikodem, K.: Converse Jensen inequality for strongly convex set-valued maps. J. Math. Inequal. 12(2),
545–550 (2018)
10. Choi, D., Krnić, M., Pečarić, J.: More accurate classes of Jensen-type inequalities for convex and operator convex
functions. Math. Inequal. Appl. 21(2), 301–321 (2018)
11. Sababheh, M.: Improved Jensen’s inequality. Math. Inequal. Appl. 20(2), 389–403 (2017)
12. Hot, J.M., Seo, Y.: An interpolation of Jensen’s inequality and its converses with applications to quasi-arithmetic mean
inequalities. J. Math. Inequal. 12(2), 303–313 (2018)
13. Lu, G.: New refinements of Jensen’s inequality and entropy upper bounds. J. Math. Inequal. 12(2), 403–421 (2018)
14. Mikić, R., Pečarić, Ð., Pečarić, J.: Inequalities of the Jensen and Edmundson–Lah–Ribarić type for 3-convex functions
with applications. J. Math. Inequal. 12(3), 677–692 (2018)
15. Song, Y.-Q., Adil Khan, M., Zahir Ullah, S., Ming-Chu, Y.: Integral inequalities for strongly convex functions. J. Funct.
Spaces 2018, Article ID 6595921 (2018)
16. Khan, J., Adil Khan, M., Pečarić, J.: On Jensen’s type inequalities via generalized majorization inequalities. Filomat
32(16), 5719–5733 (2018)
17. Adil Khan, M., Ullah, S.Z., Chu, Y.: The concept of coordinate strongly convex functions and related inequalities. Rev. R.
Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113, 2235–2251 (2019)
18. Adil Khan, M., Khan, J., Pečarić, J.: Generalization of Jensen’s and Jensen–Steffensen’s inequalities by generalized
majorization theorem. J. Math. Inequal. 11(4), 1049–1074 (2017)
19. Moradi, H.R., Omidvar, M.E., Adil Khan, M., Nikodem, K.: Around Jensen’s inequality for strongly convex functions.
Aequ. Math. 92(1), 25–37 (2018)
20. Zaheer Ullah, S., Adil Khan, M., Chu, Y.-M.: A note on generalized convex functions. J. Inequal. Appl. 2009, Article ID
291 (2009)
21. Işcan, I.: New refinements for integral and sum forms of Hölder inequality. J. Inequal. Appl. 2019, Article ID 304 (2019)
22. Latif, N., Pečarić, Ð., Pečarić, J.: Majorization, useful Csiszar divergence and useful Zipf–Mandelbrot law. Open Math.
16, 1357–1373 (2018)
1. use such content for the purpose of providing other users with access on a regular or large scale basis or as a means to circumvent access
control;
2. use such content where to do so would be considered a criminal or statutory offence in any jurisdiction, or gives rise to civil liability, or is
otherwise unlawful;
3. falsely or misleadingly imply or suggest endorsement, approval , sponsorship, or association unless explicitly agreed to by Springer Nature in
writing;
4. use bots or other automated methods to access the content or redirect messages
5. override any security feature or exclusionary protocol; or
6. share the content in order to create substitute for Springer Nature products or services or a systematic database of Springer Nature journal
content.
In line with the restriction against commercial use, Springer Nature does not permit the creation of a product or service that creates revenue,
royalties, rent or income from our content or its inclusion as part of a paid for service or for other commercial gain. Springer Nature journal
content cannot be used for inter-library loans and librarians may not upload Springer Nature journal content on a large scale into their, or any
other, institutional repository.
These terms of use are reviewed regularly and may be amended at any time. Springer Nature is not obligated to publish any information or
content on this website and may remove it or features or functionality at our sole discretion, at any time with or without notice. Springer Nature
may revoke this licence to you at any time and remove access to any copies of the Springer Nature journal content which have been saved.
To the fullest extent permitted by law, Springer Nature makes no warranties, representations or guarantees to Users, either express or implied
with respect to the Springer nature journal content and all parties disclaim and waive any implied warranties or warranties imposed by law,
including merchantability or fitness for any particular purpose.
Please note that these rights do not automatically extend to content, data or other material published by Springer Nature that may be licensed
from third parties.
If you would like to use or distribute our Springer Nature journal content to a wider audience or on a regular basis or in any other manner not
expressly permitted by these Terms, please contact Springer Nature at
onlineservice@springernature.com