New Estimates for the Jensen Gap Using s-Convexity With Applications

In this article, we use s-convex and Green functions to obtain a bound for the Jensen gap in discrete form and a bound for the Jensen gap in integral form. We present two numerical examples to verify the main results and to examine the tightness of the bounds. Then, as an application of the discrete result, we derive a converse of the Hölder inequality. Based on the integral result, we obtain a bound for the Hermite-Hadamard gap and present a converse of the Hölder inequality in its integral form. Also, we obtain bounds for the Csiszár and Rényi divergences as applications of the discrete result. Finally, we utilize the bound obtained for the Csiszár divergence to deduce new estimates for some other divergences in information theory.

1. Introduction

Convex functions and their generalizations play a significant role in scientific observation and calculation of various parameters in modern analysis, especially in the theory of optimization. Moreover, convex functions have some nice properties, such as differentiability, monotonicity, and continuity, which are useful in applications [1–5]. Interest in mathematical inequalities for convex and generalized convex functions has been growing exponentially, and research in this respect has had a significant impact on modern analysis [6–20]. Several mathematical inequalities have been established for s-convex functions in particular [21–28], one of the most important being the Jensen inequality. In this paper, we study the Jensen inequality in a more standard framework for s-convex functions.

Definition 1.1 (s-convexity [29]). For s > 0 and a convex subset B of a real linear space S, a function Γ : B → ℝ is said to be s-convex if the inequality

$\begin{array}{ll}\Gamma ({\kappa }_1{\epsilon }_1+{\kappa }_2{\epsilon }_2)\le {\kappa }_1^s\Gamma ({\epsilon }_1)+{\kappa }_2^s\Gamma ({\epsilon }_2)& (1.1)\end{array}$

holds for all ε₁, ε₂ ∈ B and κ₁, κ₂ ≥ 0 with κ₁ + κ₂ = 1.

The function Γ is said to be s-concave if the inequality (1.1) holds in the reverse direction. Obviously, for s = 1 an s-convex function becomes a convex function, which shows that s-convexity of a function is a generalization of ordinary convexity of that function.

Lemma 1.2 ([29]). Let B be a convex subset of a real linear space S and let Γ : B → ℝ be a convex function. Then the following two statements hold:

(a) Γ is s-convex for 0 < s ≤ 1 if Γ is non-negative;

(b) Γ is s-convex for 1 ≤ s < ∞ if Γ is non-positive.

The Green function [30]

$\begin{array}{ll}{G}_1(t,x)=\{\begin{array}{ccc}{\alpha }_1-x,& & {\alpha }_1\le x\le t,\\ {\alpha }_1-t,& & t\le x\le {\alpha }_2\end{array}& (1.2)\end{array}$

defined on [α₁, α₂] × [α₁, α₂] and the integral identity

$\begin{array}{ll}\Gamma (t)=\Gamma ({\alpha }_1)+(t-{\alpha }_1){\Gamma }^{\prime }({\alpha }_2)+{\displaystyle {\int }_{{\alpha }_1}^{{\alpha }_2}}{G}_1(t,x){\Gamma }^{″}(x)dx& (1.3)\end{array}$

for the function $\Gamma \in C^2\left[{\alpha }_1,{\alpha }_2\right]$ will be used to obtain the main results. Note that G₁ is convex and continuous with respect to both variables.

This paper is organized as follows. In section 2 we give a bound for the Jensen gap in discrete form, which pertains to functions for which the absolute value of the second derivative is s-convex. We also derive a bound for the integral version of the Jensen gap. Then we conduct two numerical experiments that provide evidence for the tightness of the bound in the main result. We deduce a converse of the Hölder inequality from the discrete result and a bound for the Hermite-Hadamard gap from the integral result. Moreover, as a consequence of the integral result we obtain a converse of the Hölder inequality in its corresponding integral version. At the beginning of section 3 we present bounds for the Csiszár and Rényi divergences in the discrete case. Finally, we give estimates for the Shannon entropy, Kullback-Leibler divergence, χ² divergence, Bhattacharyya coefficient, Hellinger distance, and triangular discrimination as applications of the bound obtained for the Csiszár divergence. Conclusions are presented in the final section.

2. Main Results

Using the concept of s-convexity, we derive a bound for the Jensen gap in discrete form, which is presented in the following theorem.

Theorem 2.1. Suppose |Γ|″ is s-convex for a function $\Gamma \in C^2\left[{\alpha }_1,{\alpha }_2\right]$ and that z_i ∈ [α₁, α₂] and κ_i ∈ [0, ∞) for i = 1, …, n with $\sum _{i=1}^n{\kappa }_i=K>0$. Then the following inequality holds:

$\begin{array}{l}\left|\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i\Gamma (z_i)-\Gamma \left(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{z}_i}\right)}\right|\hfill \\ \le \frac{|{\Gamma }^{″}({\alpha }_1)|}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\hfill \\ \left(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{({\alpha }_2-z_i)}^{s+2}}-{\left({\alpha }_2-\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{z}_i}\right)}^{s+2}\right)\hfill \\ +\frac{|{\Gamma }^{″}({\alpha }_2)|}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\hfill \\ \left(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{(z_i-{\alpha }_1)}^{s+2}}-{\left(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{z}_i-{\alpha }_1}\right)}^{s+2}\right).\hfill & (2.4)\end{array}$

Proof: Using (1.3), we get

$\begin{array}{ll}\begin{array}{l}\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i}\Gamma (z_i)=\frac{1}{K}{{{\displaystyle \sum }}^{\text{}}}_{i=1}^n{\kappa }_i(\Gamma ({\alpha }_1)+(z_i-{\alpha }_1){\Gamma }^{\prime }({\alpha }_2)\hfill \\ +{\displaystyle {\int }_{{\alpha }_1}^{{\alpha }_2}{G}_1}(z_i,x){\Gamma }^{″}(x)dx)\hfill \end{array}& (2.5)\end{array}$

and

$\begin{array}{l}\Gamma \left(\frac{1}{K}{\displaystyle \sum _{i=1}^n}{\kappa }_i{z}_i\right)=\Gamma ({\alpha }_1)+\left(\frac{1}{K}{\displaystyle \sum _{i=1}^n}{\kappa }_i{z}_i-{\alpha }_1\right){\Gamma }^{\prime }({\alpha }_2)\\ +{\displaystyle {\int }_{{\alpha }_1}^{{\alpha }_2}}{G}_1\left(\frac{1}{K}{\displaystyle \sum _{i=1}^n}{\kappa }_i{z}_i,x\right){\Gamma }^{″}(x)dx.& (2.6)\end{array}$

Equations (2.5) and (2.6) give

$\begin{array}{l}\frac{1}{K}{\displaystyle \sum _{i=1}^n}{\kappa }_i\Gamma (z_i)-\Gamma \left(\frac{1}{K}{\displaystyle \sum _{i=1}^n}{\kappa }_i{z}_i\right)\\ ={\displaystyle {\int }_{{\alpha }_1}^{{\alpha }_2}}\left(\frac{1}{K}{\displaystyle \sum _{i=1}^n}{\kappa }_i{G}_1(z_i,x)-G_1\left(\frac{1}{K}{\displaystyle \sum _{i=1}^n}{\kappa }_i{z}_i,x\right)\right){\Gamma }^{″}(x)dx.& (2.7)\end{array}$

Taking the absolute value of (2.7), we get

$\begin{array}{ll}\begin{array}{l}\left|\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i\Gamma (z_i)}-\Gamma \left(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{z}_i}\right)\right|\hfill \\ =\left|{\displaystyle {\int }_{{\alpha }_1}^{{\alpha }_2}\left(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{G}_1(z_i,x)}-G_1\left(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{z}_i,x}\right)\right)}{\Gamma }^{″}(x)dx\right|\hfill \\ \le {\displaystyle {\int }_{{\alpha }_1}^{{\alpha }_2}\left|\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{G}_1(z_i,x)}-\left(G_1\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{z}_i,x}\right)\right|}\left|{\Gamma }^{″}(x)\right|dx.\hfill \end{array}& (2.8)\end{array}$

By applying a change of variable x = tα₁ + (1 − t)α₂ for t ∈ [0, 1] and using the convexity of G₁(t, x), the inequality (2.8) is transformed to

$\begin{array}{l}\left|\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i\Gamma (z_i)-\Gamma (\overline{z})}\right|\hfill \\ \le ({\alpha }_2-{\alpha }_1){\displaystyle {\int }_0^1(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2)}}\hfill \\ -G_1(\overline{z},t{\alpha }_1+(1-t){\alpha }_2))\hfill \\ \times |{\Gamma }^{″}(t{\alpha }_1+(1-t){\alpha }_2)|dt,\hfill & (2.9)\end{array}$

where $\stackrel{-}{z}=\frac{1}{K}\sum _{i=1}^n{\kappa }_i{z}_i.$ The inequality (2.9) leads to the following by using s-convexity of the function |Γ|″:

$\begin{array}{l}\left|\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i\Gamma (z_i)-\Gamma (\overline{z})}\right|\\ \le ({\alpha }_2-{\alpha }_1){\displaystyle {\int }_0^1(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2)}}\\ -G_1(\overline{z},t{\alpha }_1+(1-t){\alpha }_2))\\ \times \left(t^s|{\Gamma }^{″}({\alpha }_1)|+{(1-t)}^s|{\Gamma }^{″}({\alpha }_2)|\right)dt.\\ =({\alpha }_2-{\alpha }_1){\displaystyle {\int }_0^1(\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2)t^s|{\Gamma }^{″}({\alpha }_1)|}}\\ +\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2){(1-t)}^s|{\Gamma }^{″}({\alpha }_2)|}\\ -G_1(\overline{z},t{\alpha }_1+(1-t){\alpha }_2)t^s|{\Gamma }^{″}({\alpha }_1)|\\ -G_1(\overline{z},t{\alpha }_1+(1-t){\alpha }_2){(1-t)}^s|{\Gamma }^{″}({\alpha }_2)|)dt\\ =({\alpha }_2-{\alpha }_1)(\left|{\Gamma }^{″}({\alpha }_1)\right|\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i}{\displaystyle {\int }_0^1{t}^s}{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2)dt\\ +|{\Gamma }^{″}({\alpha }_2)|\frac{1}{K}{\displaystyle \sum _{i=1}^n{\kappa }_i}{\displaystyle {\int }_0^1{(1-t)}^s}{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2)dt\\ -|{\Gamma }^{″}({\alpha }_1)|{\displaystyle {\int }_0^1{t}^s}{G}_1\left(\overline{z},t{\alpha }_1+(1-t){\alpha }_2\right)dt\\ -|{\Gamma }^{″}({\alpha }_2)|{\displaystyle {\int }_0^1{(1-t)}^s}{G}_1\left(\overline{z},t{\alpha }_1+(1-t){\alpha }_2\right)dt).& (2.10)\end{array}$

Now, by using the change of variable x = tα₁ + (1 − t)α₂ for t ∈ [0, 1], we obtain

$\begin{array}{ll}\begin{array}{l}{\displaystyle {\int }_0^1{t}^s}{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2)dt\hfill \\ =\frac{1}{{({\alpha }_2-{\alpha }_1)}^{s+1}}\left(\frac{{({\alpha }_2-z_i)}^{s+2}}{(s+1)(s+2)}-\frac{{({\alpha }_2-{\alpha }_1)}^{s+2}}{(s+1)(s+2)}\right).\hfill \end{array}& (2.11)\end{array}$

Upon replacing z_i by $\stackrel{-}{z}$ in (2.11), we get

$\begin{array}{ll}\begin{array}{l}{\displaystyle {\int }_0^1{t}^s}{G}_1(\overline{z},t{\alpha }_1+(1-t){\alpha }_2)dt\hfill \\ =\frac{1}{{({\alpha }_2-{\alpha }_1)}^{s+1}}\left(\frac{{({\alpha }_2-\overline{z})}^{s+2}}{(s+1)(s+2)}-\frac{{({\alpha }_2-{\alpha }_1)}^{s+2}}{(s+1)(s+2)}\right).\hfill \end{array}& (2.12)\end{array}$

Also,

$\begin{array}{l}{\displaystyle {\int }_0^1{(1-t)}^s}{G}_1(z_i,t{\alpha }_1+(1-t){\alpha }_2)dt\hfill \\ =\frac{1}{{({\alpha }_2-{\alpha }_1)}^{s+1}}\left(\frac{{(z_i-{\alpha }_1)}^{s+2}}{(s+1)(s+2)}-\frac{(z_i-{\alpha }_1){({\alpha }_2-{\alpha }_1)}^{s+1}}{(s+1)}\right).\hfill & (2.13)\end{array}$

Upon replacing z_i by $\stackrel{-}{z}$ in (2.13), we get

$\begin{array}{l}{\displaystyle {\int }_0^1{(1-t)}^s}{G}_1(\overline{z},t{\alpha }_1+(1-t){\alpha }_2)dt\hfill \\ =\frac{1}{{({\alpha }_2-{\alpha }_1)}^{s+1}}\left(\frac{{(\overline{z}-{\alpha }_1)}^{s+2}}{(s+1)(s+2)}-\frac{(\overline{z}-{\alpha }_1){({\alpha }_2-{\alpha }_1)}^{s+1}}{(s+1)}\right).\hfill & (2.14)\end{array}$

The result (2.4) is then obtained by substituting the values from (2.11)–(2.14) into (2.10).

Remark 2.2. If we use the Green function G₂, G₃, or G₄ instead of G₁ in Theorem 2.1, where G₂, G₃, and G₄ are given in [30], we obtain the same result (2.4).

In the following theorem, we give a bound for the Jensen gap in integral form.

Theorem 2.3. Suppose |Γ″| is an s-convex function for $\Gamma \in C^2\left[{\alpha }_1,{\alpha }_2\right]$, and let ξ₁ and ξ₂ be real-valued functions defined on [c₁, c₂] with ξ₁(y) ∈ [α₁, α₂] for all y ∈ [c₁, c₂] and such that ξ₂, ξ₁ξ₂, and (Γ ◦ ξ₁) ξ ₂ are all integrable functions on [c₁, c₂]. Then the inequality

$\begin{array}{ll}\begin{array}{l}\left|\frac{{\displaystyle {\int }_{c_1}^{c_2}(\Gamma \circ {\xi }_1)(y){\xi }_2(y)dy}}{\xi }-\Gamma \left(\frac{{\displaystyle {\int }_{c_1}^{c_2}{\xi }_1(y){\xi }_2(y)dy}}{\xi }\right)\right|\hfill \\ \le \frac{|{\Gamma }^{″}({\alpha }_1)|}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\{\frac{{\displaystyle {\int }_{c_2}^{c_2}{\xi }_2}(y){\left({\alpha }_2-{\xi }_1(y)\right)}^{s+2} dy}{\xi }\hfill \\ -{\alpha }_2-{\left(\frac{{\displaystyle {\int }_{c_1}^{c_2}{\xi }_2(y){\xi }_1(y)dy}}{\xi }\right)}^{s+2}\}\hfill \\ +\frac{|{\Gamma }^{″}({\alpha }_2)|}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\{\frac{{\displaystyle {\int }_{c_1}^{c_2}{\xi }_2(y){\left({\xi }_1(y)-{\alpha }_1\right)}^{s+2}}dy}{\xi }\hfill \\ -{\left(\frac{{\displaystyle {\int }_{c_1}^{c_2}{\xi }_2(y){\xi }_1(y)}dy}{\xi }-{\alpha }_1\right)}^{s+2}\}\hfill \end{array}& (2.15)\end{array}$

holds provided that ${\int }_{c_1}^{c_2}{\xi }_2(y)dy:=\xi >0$ when ξ₂(y) ∈ [0, ∞) for all y ∈ [c₁, c₂].

Proof: Using the same procedure as in the proof of Theorem 2.1, (2.15) can be obtained.

Example 1. Let $\Gamma (y)=\frac{4}{15}{y}^{\frac{5}{2}}$, ${\xi }_1(y)=y^2$, and ξ₂(y) = 1 for all y ∈ [0, 1]. Then ${\Gamma }^{″}(y)=y^{\frac{1}{2}}>0$ for all y ∈ [0, 1]. This shows that Γ is a convex function while |Γ″| is $\frac{1}{2}$-convex. Also, ξ₁(y) ∈ [0, 1] for all y ∈ [0, 1] and we have [α₁, α₂] = [c₁, c₂] = [0, 1]. Now, the left-hand side of inequality (2.15) gives ${\int }_0^1\Gamma ({\xi }_1(y))dy-\Gamma \left({\int }_0^1{\xi }_1(y)dy\right)=0.0444-0.0171=0.0273=E_1$, which shows how sharp the Jensen inequality is. The right-hand side of (2.15) gives 0.0274, which is very close to the true discrepancy E₁. That is, from inequality (2.15) we have

$\begin{array}{ll}0.0273<0.0274.& (2.16)\end{array}$

The difference 0.0274 − 0.0273 = 0.0001 between the two sides of (2.16) shows that the bound for the Jensen gap given by inequality (2.15) is very close to the true value.

Example 2. Let $\Gamma (y)=\frac{100}{231}{y}^{\frac{21}{10}}$, ξ₁(y) = y, and ξ₂(y) = 1 for all y ∈ [0, 1]. Then ${\Gamma }^{″}(y)=y^{\frac{1}{10}}>0$ for all y ∈ [0, 1], which shows that Γ is a convex function while |Γ″| is s-convex with $s=\frac{1}{10}.$ Also, ξ₁(y) ∈ [0, 1] for all y ∈ [0, 1] and we have [α₁, α₂] = [c₁, c₂] = [0, 1]. Therefore, from the left-hand side of inequality (2.15) we obtain ${\int }_0^1\Gamma ({\xi }_1(y))dy-\Gamma \left({\int }_0^1{\xi }_1(y)dy\right)=0.1396-0.1010=0.0386=E_2,$ which shows that the Jensen inequality is quite sharp. The right-hand side of (2.15) gives 0.0387, a value very close to the true discrepancy E₂. Finally, from inequality (2.15) we have

$\begin{array}{ll}0.0386<0.0387.& (2.17)\end{array}$

The difference 0.0387 − 0.0386 = 0.0001 between the two sides of (2.17) provides further evidence of the tightness of the bound for the Jensen gap given by inequality (2.15).

As an application of Theorem 2.1, we derive a converse of the Hölder inequality, stated in the following proposition.

Proposition 2.4. Let q₂ > 1 and q₁ ∉ (2, 3) be such that $\frac{1}{q_1}+\frac{1}{q_2}=1$, and let s ∈ (0, 1]. Also, let [α₁, α₂] be a positive interval and let (d₁, …, d_n) and (b₁, …, b_n) be two positive n-tuples such that $\frac{\sum _{i=1}^n{d}_i{b}_i}{\sum _{i=1}^n{b}_i^{q_2}}$, with $d_i{b}_i^{-\frac{q_2}{q_1}}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n. Then

$\begin{array}{l}{\left({\displaystyle \sum _{i=1}^n{d}_i^{q_1}}\right)}^{\frac{1}{q_1}}{\left({\displaystyle \sum _{i=1}^n{b}_i^{q_2}}\right)}^{\frac{1}{q_2}}-{\displaystyle \sum _{i=1}^n{d}_i{b}_i}\hfill \\ \le [\frac{q_1(q_1-1)}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\{{\alpha }_1^{q_1-2}\hfill \\ \left(\frac{{\displaystyle {\sum }_{n=1}^n{b}_i^{q_2}}{({\alpha }_2-d_i{b}_i^{-\frac{q_2}{q_1}})}^{s+2}}{{\displaystyle {\sum }_{n=1}^n{b}_i^{q_2}}}-{\left({\alpha }_2-\frac{{\displaystyle {\sum }_{n=1}^n{d}_i{b}_i}}{{\displaystyle {\sum }_{n=1}^n{b}_i^{q_2}}}\right)}^{s+2}\right)\hfill \\ +{\alpha }_2^{q_1-2}(\frac{{\displaystyle {\sum }_{n=1}^n{b}_i^{q_2}}{(d_i{b}_i^{-\frac{q_2}{q_1}}-{\alpha }_1)}^{s+2}}{{\displaystyle {\sum }_{n=1}^n{b}_i^{q_2}}}\hfill \\ {{\left(-\frac{{\displaystyle {\sum }_{n=1}^n{d}_i{b}_i}}{{\displaystyle {\sum }_{n=1}^n{b}_i^{q_2}}}-{\alpha }_1\right)}^{s+2})\}]}^{\frac{1}{q_1}}{\displaystyle \sum _{i=1}^n}{b}_i^{q_2}.\hfill & (2.18)\end{array}$

Proof: Let $\Gamma (x)=x^{q_1}$ for x ∈ [α₁, α₂]; then ${\Gamma }^{″}(x)=q_1(q_1-1)x^{q_1-2}>0$ and $|{\Gamma }^{″}{|}^{″}(x)=q_1(q_1-1)(q_1-2)(q_1-3)x^{q_1-4}>0,$ which shows that Γ and |Γ″| are convex functions. The function |Γ″| is also non-negative, so by Lemma 1.2 it is also an s-convex function for s ∈ (0, 1]. Thus, using (2.4) with $\Gamma (x)=x^{q_1},{\kappa }_i=b_i^{q_2}$, and $z_i=d_i{b}_i^{-\frac{q_2}{q_1}},$ we derive

$\begin{array}{l}{\left(\left({\displaystyle \sum _{i=1}^n{d}_i^{q_1}}\right){\left({\displaystyle \sum _{i=1}^n{b}_i^{q_2}}\right)}^{q_1-1}-{\left({\displaystyle \sum _{i=1}^n{d}_i}{b}_i\right)}^{q_1}\right)}^{\frac{1}{q_1}}\hfill \\ \le [\frac{q_1(q_1-1)}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\{{\alpha }_1^{q_1-2}\hfill \\ \left(\frac{{\displaystyle {\sum }_{i=1}^n{b}_i^{q_2}}{({\alpha }_2-d_i{b}_i^{-\frac{q_2}{q_1}})}^{s+2}}{{\displaystyle {\sum }_{i=1}^n{b}_i^{q_2}}}-{\left({\alpha }_2-\frac{{\displaystyle {\sum }_{i=1}^n{d}_i}{b}_i}{{\displaystyle {\sum }_{i=1}^n{b}_i^{q_2}}}\right)}^{s+2}\right)\hfill \\ +{\alpha }_2^{q_1-2}(\frac{{\displaystyle {\sum }_{i=1}^n{b}_i^{q_2}}{(d_i{b}_i^{-\frac{q_2}{q_1}}-{\alpha }_1)}^{s+2}}{{\displaystyle {\sum }_{i=1}^n{b}_i^{q_2}}}\hfill \\ {-{\left(\frac{{\displaystyle {\sum }_{i=1}^n{d}_i{b}_i}}{{\displaystyle {\sum }_{i=1}^n{b}_i^{q_2}}}-{\alpha }_1\right)}^{s+2})\}]}^{\frac{1}{q_1}}{\displaystyle \sum _{i=1}^n{b}_i^{q_2}}.\hfill & (2.19)\end{array}$

By using the inequality x^γ − y^γ ≤ (x − y)^γ for 0 ≤ y ≤ x and γ ∈ [0, 1] with $x=\left(\sum _{i=1}^n{d}_i^{q_1}\right)\times (\sum _{i=1}^n{b}_i^{q_2}{)}^{q_1-1}$, $y=(\sum _{i=1}^n{d}_i{b}_i{)}^{q_1}$, and $\gamma =\frac{1}{q_1},$ we obtain

$\begin{array}{l}{\left({\displaystyle \sum _{i=1}^n{d}_i^{q_1}}\right)}^{\frac{1}{q_1}}{\left({\displaystyle \sum _{i=1}^n{b}_i^{q_2}}\right)}^{\frac{1}{q_2}}-{\displaystyle \sum _{i=1}^n{d}_i{b}_i}\hfill \\ \le {\left(\left({\displaystyle \sum _{i=1}^n{d}_i^{q_1}}\right){\left({\displaystyle \sum _{i=1}^n{b}_i^{q_2}}\right)}^{q_1-1}-{\left({\displaystyle \sum _{i=1}^n{d}_i{b}_i}\right)}^{q_1}\right)}^{\frac{1}{q_1}}.\hfill & (2.20)\end{array}$

The inequality (2.18) follows from (2.19) and (2.20).

In the following proposition, we provide a converse of the Hölder inequality in integral form as an application of Theorem 2.3.

Proposition 2.5. Let q₂ > 1 and q₁ ∉ (2, 3) be such that $\frac{1}{q_1}+\frac{1}{q_2}=1.$ Also, let ${\zeta }_1,{\zeta }_2:\left[c_1,c_2\right]\to {ℝ}^{+}$ be two functions such that ${\zeta }_1^{q_1}(y)$, ${\zeta }_2^{q_2}(y)$, and ζ₁(y)ζ₂(y) are integrable on [c₁, c₂] with ${\zeta }_1(y){\zeta }_2^{-q_2/q_1}(y)\in \left[{\alpha }_1,{\alpha }_2\right]$ when [α₁, α₂] ⊂ ℝ. Then the inequality

$\begin{array}{l}{\left({\displaystyle {\int }_{c_1}^{c_2}{\zeta }_1^{q_1}}(y)dy\right)}^{\frac{1}{q_1}}{\left({\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y)dy\right)}^{\frac{1}{q_2}}-{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_1}(y){\zeta }_2(y)dy\\ \le [\frac{q_1(q_1-1)}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\{{\alpha }_1^{q_1-2}\\ (\frac{1}{{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y)dy}{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y){\left({\alpha }_2-{\zeta }_1(y){\zeta }_2^{-\frac{q_2}{q_1}}(y)\right)}^{s+2}dy\\ -{\left({\alpha }_2-\frac{1}{{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y)dy}{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_1}(y){\zeta }_2(y)dy\right)}^{s+2})\\ +{\alpha }_2^{q_1-2}(\frac{1}{{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y)dy}{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y){\left({\zeta }_1(y){\zeta }_2^{-\frac{q_2}{q_1}}(y)-{\alpha }_1\right)}^{s+2}dy\\ {-{\left(\frac{1}{{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y)dy}{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_1}(y){\zeta }_2(y)dy-{\alpha }_1\right)}^{s+2})\}]}^{\frac{1}{q_1}}{\displaystyle {\int }_{c_1}^{c_2}{\zeta }_2^{q_2}}(y)dy& (2.21)\end{array}$

holds for s ∈ (0, 1].

Proof: Using (2.15) with $\Gamma (x)=x^{q_1}$ for $x\in \left[{\alpha }_1,{\alpha }_2\right],{\xi }_2(y)={\zeta }_2^{q_2}(y)$, and ${\xi }_1(y)={\zeta }_1(y){\zeta }_2^{-\frac{q_2}{q_1}}(y)$ and following the procedure of Proposition 2.4, we deduce (2.21).

As an application of Theorem 2.3, in the following corollary we establish a bound for the Hermite-Hadamard gap.

Corollary 2.6. Let $\psi \in C^2\left[c_1,c_2\right]$ be a function such that |ψ″| is s-convex; then

$\begin{array}{l}\left|\frac{1}{c_2-c_1}{\displaystyle {\int }_{c_2}^{c_1}\psi (y)}dy-\psi \left(\frac{c_1+c_2}{2}\right)\right|\hfill \\ \le \frac{{(c_2-c_1)}^2}{(s+1)(s+2)}\left(|{\psi }^{″}(c_1)|+|{\psi }^{″}(c_2)|\right)\left(\frac{1}{s+3}-\frac{1}{2^{s+2}}\right).\hfill & (2.22)\end{array}$

Proof: The inequality (2.22) can be obtained by using (2.15) with ψ = Γ, [α₁, α₂] = [c₁, c₂], ξ₂(y) = 1, and ξ₁(y) = y for y ∈ [c₁, c₂].

3. Applications to Information Theory

Definition 3.1 (Csiszár f-divergence [31]). Let $\text{t}=(t_1,\dots ,t_n)\in {ℝ}^n$ and $\text{r}=(r_1,\dots ,r_n)\in {ℝ}_{+}^n$ with $\frac{t_i}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right](i=1,\dots ,n)$ for [α₁, α₂] ⊂ ℝ. For a function f :[α₁, α₂] → ℝ, the Csiszár f-divergence functional is defined as

$\begin{array}{l}{\stackrel{-}{D}}_{\text{c}}(\text{t},\text{r})={\displaystyle \sum _{i=1}^n}{r}_{i}f\left(\frac{t_i}{r_i}\right).\end{array}$

Theorem 3.2. Let $f\in C^2\left[{\alpha }_1,{\alpha }_2\right]$ be a function such that |f″| is s-convex. Then for $\text{t}=(t_1,\dots ,t_n)\in {ℝ}^n$ and $\text{r}=(r_1,\dots ,r_n)\in {ℝ}_{+}^n$ the inequality

$\begin{array}{l}\left|\frac{1}{{\displaystyle {\sum }_{i=1}^n{r}_i}}{\overline{D}}_{\text{c}}(t,r)-f\left(\frac{{\displaystyle {\sum }_{i=1}^n{t}_i}}{{\displaystyle {\sum }_{i=1}^n{r}_i}}\right)\right|\\ \le \frac{|f^{″}({\alpha }_1)|}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\{\frac{1}{{\displaystyle {\sum }_{i=1}^n{r}_i}}{\displaystyle \sum _{i=1}^n{r}_i}{\left({\alpha }_2-\frac{t_i}{r_i}\right)}^{s+2}\\ -{\left({\alpha }_2-\frac{{\displaystyle {\sum }_{i=1}^n{t}_i}}{{\displaystyle {\sum }_{i=1}^n{r}_i}}\right)}^{s+2}\}\\ +\frac{|f^{″}({\alpha }_2)|}{(s+1)(s+2){({\alpha }_2-{\alpha }_1)}^s}\{\frac{1}{{\displaystyle {\sum }_{i=1}^n{r}_i}}{\displaystyle \sum _{i=1}^n{r}_i}{\left(\frac{t_i}{r_i}-{\alpha }_1\right)}^{s+2}\\ -{\left(\frac{{\displaystyle {\sum }_{i=1}^n{t}_i}}{{\displaystyle {\sum }_{i=1}^n{r}_i}}-{\alpha }_1\right)}^{s+2}\}& (3.23)\end{array}$

holds provided that $\frac{\sum _{i=1}^n{t}_i}{\sum _{i=1}^n{r}_i},\frac{t_i}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n.

Proof: The inequality (3.23) can easily be deduced from (2.4) by taking $\Gamma =f,z_i=\frac{t_i}{r_i}$, and ${\kappa }_i=\frac{r_i}{\sum _{i=1}^n{r}_i}.$

Definition 3.3 (Rényi divergence [31]). For μ ≥ 0 with μ ≠ 1 and two positive probability distributions t = (t₁, …, t_n) and r = (r₁, …, r_n), the Rényi divergence is defined as

$\begin{array}{l}{D}_{\text{re}}(\text{t},\text{r})=\frac{1}{\mu -1}log\left({\displaystyle \sum _{i=1}^n}{t}_i^{\mu }{r}_i^{1-\mu }\right).\end{array}$

Corollary 3.4. Let 0 < s ≤ 1 and $\left[{\alpha }_1,{\alpha }_2\right]\subseteq {ℝ}^{+}$. Then for positive probability distributions t = (t₁, …, t_n) and r = (r₁, …, r_n), the inequality

$\begin{array}{l}{D}_{\text{re}}(t,r)-\frac{1}{\mu -1}{\displaystyle \sum _{i=1}^n{t}_i}\log {\left(\frac{t_i}{r_i}\right)}^{\mu -1}\\ \le \frac{1}{(\mu -1){\alpha }_1^2{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \times \left\{{\displaystyle \sum _{i=1}^n{t}_i}{\left({\alpha }_2-{\left(\frac{t_i}{r_i}\right)}^{\mu -1}\right)}^{s+2}-{\left({\alpha }_2-{\displaystyle \sum _{i=1}^n{v}_i^{\mu }}{w}_i^{1-\mu }\right)}^{s+2}\right\}\\ +\frac{1}{(\mu -1){\alpha }_2^2{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \times \left\{{\displaystyle \sum _{i=1}^n{t}_i}{\left({\left(\frac{t_i}{r_i}\right)}^{\mu -1}-{\alpha }_1\right)}^{s+2}-{\left({\displaystyle \sum _{i=1}^n{v}_i^{\mu }}{w}_i^{1-\mu }-{\alpha }_1\right)}^{s+2}\right\}.& (3.24)\end{array}$

holds provided that $\sum _{i=1}^n{r}_i{\left(\frac{t_i}{r_i}\right)}^{\mu },{\left(\frac{t_i}{r_i}\right)}^{\mu -1}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n with μ > 1.

Proof: Let $\Gamma (x)=-\frac{1}{\mu -1}logx$ for x ∈ [α₁, α₂]. Then ${\Gamma }^{″}(x)=\frac{1}{(\mu -1)x^2}>0$ and $|{\Gamma }^{″}{|}^{″}(x)=\frac{6}{(\mu -1)x^4}>0,$ which shows that Γ and |Γ″| are convex functions with |Γ″| ≥ 0; so by Lemma 1.2 the function |Γ″| is s-convex for s ∈ (0, 1]. Therefore, using (2.4) with $\Gamma (x)=-\frac{1}{\mu -1}logx,{\kappa }_i=t_i$, and $z_i={\left(\frac{t_i}{r_i}\right)}^{\mu -1}$, we derive (3.24).

Definition 3.5 (Shannon entropy [31]). Let r = (r₁, …, r_n) be a positive probability distribution; then the Shannon entropy is defined as

$\begin{array}{l}{E}_{\text{s}}(\text{r})=-{\displaystyle \sum _{i=1}^n}{r}_{i}log{r}_i.\end{array}$

Corollary 3.6. Let $\left[{\alpha }_1,{\alpha }_2\right]\subseteq {ℝ}^{+}$, and let r = (r₁, …, r_n) be a positive probability distribution such that $\frac{1}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n with 0 < s ≤ 1. Then

$\begin{array}{l}\log n-E_{\text{s}}(r)\le \frac{1}{{\alpha }_1^2{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left({\alpha }_2-\frac{1}{r_i}\right)}^{s+2}-{({\alpha }_2-n)}^{s+2}\right\}\\ +\frac{1}{{\alpha }_2^2{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left(\frac{1}{r_i}-{\alpha }_1\right)}^{s+2}-{(n-{\alpha }_1)}^{s+2}\right\}.& (3.25)\end{array}$

Proof: Let f(x) = −log x for x ∈ [α₁, α₂]. Then $f^{″}(x)=\frac{1}{x^2}>0$ and $|f^{″}{|}^{″}(x)=\frac{6}{x^4}>0$, which shows that f and |f″| are convex functions. Also, |f″| is non-negative and so by Lemma 1.2 we conclude that it is s-convex for s ∈ (0, 1]. Therefore, using (3.23) with f(x) = −log x and (t₁, …, t_n) = (1, …, 1), we get (3.25).

Definition 3.7 (Kullback-Leibler divergence [31]). For two positive probability distributions t = (t₁, …, t_n) and r = (r₁, …, r_n), the Kullback-Leibler divergence is defined as

$\begin{array}{l}{D}_{\text{kl}}(\text{t},\text{r})={\displaystyle \sum _{i=1}^n}{t}_{i}log\frac{t_i}{r_i}.\end{array}$

Corollary 3.8. Let 0 < s ≤ 1 and 0 < α₁ < α₂, and let t = (t₁, …, t_n) and r = (r₁, …, r_n) be positive probability distributions such that $\frac{t_i}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n. Then

$\begin{array}{l}{D}_{\text{kl}}(t,r)\le \frac{1}{{\alpha }_1{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left({\alpha }_2-\frac{t_i}{r_i}\right)}^{s+2}-{({\alpha }_2-1)}^{s+2}\right\}\\ +\frac{1}{{\alpha }_2{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left(\frac{t_i}{r_i}-{\alpha }_1\right)}^{s+2}-{(1-{\alpha }_1)}^{s+2}\right\}.& (3.26)\end{array}$

Proof: Let f(x) = x log x for x ∈ [α₁, α₂]. Then $f^{″}(x)=\frac{1}{x}>0$ and $|f^{″}{|}^{″}(x)=\frac{2}{x^3}>0,$ which shows that f and |f″| are convex functions. Also, |f″| ≥ 0, and so Lemma 1.2 guarantees the s-convexity of |f″| for s ∈ (0, 1]. Therefore, using (3.23) with f(x) = x log x, we get (3.26).

Definition 3.9 (χ² divergence [31]). The χ² divergence $D_{{\chi }^2}(\text{t},\text{r})$ for two positive probability distributions t = (t₁, …, t_n) and r = (r₁, …, r_n) is defined as

$\begin{array}{l}{D}_{{\chi }^2}(\text{t},\text{r})={\displaystyle \sum _{i=1}^n}\frac{{(t_i-r_i)}^2}{r_i}.\end{array}$

Corollary 3.10. Let 0 < s ≤ 1 and 0 < α₁ < α₂, and let t = (t₁, …, t_n) and r = (r₁, …, r_n) be positive probability distributions such that $\frac{t_i}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n. Then

$\begin{array}{l}{D}_{{\chi }^2}(t,r)\le \frac{2}{{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left({\alpha }_2-\frac{t_i}{r_i}\right)}^{s+2}-{({\alpha }_2-1)}^{s+2}\right\}\\ +\frac{2}{{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left(\frac{t_i}{r_i}-{\alpha }_1\right)}^{s+2}-{(1-{\alpha }_1)}^{s+2}\right\}.& (3.27)\end{array}$

Proof: Let f(x) = (x − 1)² for x ∈ [α₁, α₂]. Then f″(x) = 2 > 0 and |f″|″(x) = 0, which shows that f and |f″| are convex functions. Also, the function |f″| is non-negative, and so Lemma 1.2 confirms its s-convexity for s ∈ (0, 1]. Therefore, using (3.23) with f(x) = (x − 1)², we obtain (3.27).

Definition 3.11 (Bhattacharyya coefficient [31]). For two positive probability distributions t = (t₁, …, t_n) and r = (r₁, …, r_n), the Bhattacharyya coefficient is defined as

$\begin{array}{l}{C}_{\text{b}}(\text{t},\text{r})={\displaystyle \sum _{i=1}^n}\sqrt{t_i{r}_i}.\end{array}$

Corollary 3.12. Let 0 < s ≤ 1 and $\left[{\alpha }_1,{\alpha }_2\right]\subseteq {ℝ}^{+}$, and let t = (t₁, …, t_n) and r = (r₁, …, r_n) be two positive probability distributions such that $\frac{t_i}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n.Then

$\begin{array}{l}1-C_{\text{b}}(t,r)\le \frac{1}{4{\alpha }_1^{\frac{3}{2}}{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left({\alpha }_2-\frac{t_i}{r_i}\right)}^{s+2}-{({\alpha }_2-1)}^{s+2}\right\}\\ +\frac{1}{4{\alpha }_2^{\frac{3}{2}}{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left(\frac{t_i}{r_i}-{\alpha }_1\right)}^{s+2}-{(1-{\alpha }_1)}^{s+2}\right\}.& (3.28)\end{array}$

Proof: Let $f(x)=-\sqrt{x}$ for x ∈ [α₁, α₂]. Then $f^{″}(x)=\frac{1}{4x^{\frac{3}{2}}}>0$ and $|f^{″}{|}^{″}(x)=\frac{15}{16x^{\frac{7}{2}}}>0,$ which shows that f and |f″| are convex functions. Also, |f″| ≥ 0 implies its s-convexity for s ∈ (0, 1] by Lemma 1.2. Therefore, using (3.23) with $f(x)=-\sqrt{x},$ we obtain (3.28).

Definition 3.13 (Hellinger distance [31]). The Hellinger distance $D_{\text{h}}^2(\text{t},\text{r})$ between two positive probability distributions t = (t₁, …, t_n) and r = (r₁, …, r_n) is defined as

$\begin{array}{l}{D}_{\text{h}}^2(\text{t},\text{r})=\frac{1}{2}{\displaystyle \sum _{i=1}^n}{(\sqrt{t_i}-\sqrt{r_i})}^2.\end{array}$

Corollary 3.14. Let 0 < α₁ < α₂ and 0 < s ≤ 1, and let t = (t₁, …, t_n) and r = (r₁, …, r_n) be positive probability distributions such that $\frac{t_i}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n. Then

$\begin{array}{l}{D}_{\text{h}}^2(t,r)\le \frac{1}{4{\alpha }_1^{\frac{3}{2}}{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left({\alpha }_2-\frac{t_i}{r_i}\right)}^{s+2}-{({\alpha }_2-1)}^{s+2}\right\}\\ +\frac{1}{4{\alpha }_2^{\frac{3}{2}}{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left(\frac{t_i}{r_i}-{\alpha }_1\right)}^{s+2}-{(1-{\alpha }_1)}^{s+2}\right\}.& (3.29)\end{array}$

Proof: Let $f(x)=\frac{1}{2}{(1-\sqrt{x})}^2$ for x ∈ [α₁, α₂]. Then $f^{″}(x)=\frac{1}{4x^{\frac{3}{2}}}>0$ and $|f^{″}{|}^{″}(x)=\frac{15}{16x^{\frac{7}{2}}}>0,$ which shows that f and |f″| are convex functions. Also, |f″| ≥ 0, and so from Lemma 1.2 we conclude its s-convexity for s ∈ (0, 1]. Therefore, using (3.23) with $f(x)=\frac{1}{2}{(1-\sqrt{x})}^2,$ we deduce (3.29).

Definition 3.15 (Triangular discrimination [31]). For two positive probability distributions t = (t₁, …, t_n) and r = (r₁, …, r_n), the triangular discrimination is defined as

$\begin{array}{l}{D}_{△}(\text{t},\text{r})={\displaystyle \sum _{i=1}^n}\frac{{(t_i-r_i)}^2}{t_i+r_i}.\end{array}$

Corollary 3.16. Let 0 < s ≤ 1 and 0 < α₁ < α₂, and let t = (t₁, …, t_n) and r = (r₁, …, r_n) be positive probability distributions such that $\frac{t_i}{r_i}\in \left[{\alpha }_1,{\alpha }_2\right]$ for i = 1, …, n. Then

$\begin{array}{l}{D}_{△}(t,r)\le \frac{8}{{({\alpha }_1+1)}^3{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left({\alpha }_2-\frac{t_i}{r_i}\right)}^{s+2}-{({\alpha }_2-1)}^{s+2}\right\}\\ +\frac{8}{{({\alpha }_2+1)}^3{({\alpha }_2-{\alpha }_1)}^s(s+1)(s+2)}\\ \left\{{\displaystyle \sum _{i=1}^n{r}_i}{\left(\frac{t_i}{r_i}-{\alpha }_1\right)}^{s+2}-{(1-{\alpha }_1)}^{s+2}\right\}.& (3.30)\end{array}$

Proof: Let $f(x)=\frac{{(x-1)}^2}{(x+1)}$ for x ∈ [α₁, α₂]. Then $f^{″}(x)=\frac{8}{{(x+1)}^3}>0$ and $|f^{″}{|}^{″}(x)=\frac{96}{{(x+1)}^5}>0,$ which shows that f and |f″| are convex functions. Also, |f″| is non-negative, and thus s-convexity of the function |f″| for s ∈ (0, 1] follows from Lemma 1.2. Therefore, using (3.23) with $f(x)=\frac{{(x-1)}^2}{(x+1)},$ we get (3.30).

Remark 3.17. Analogously, bounds for various divergences in integral form can be derived as applications of Theorem 2.3.

4. Conclusion

The Jensen inequality has numerous applications in engineering, economics, computer science, information theory, and coding; it has been derived for convex and generalized convex functions. This paper presents a novel approach to bounding the Jensen gap. Some bounds are obtained for the Jensen gap via s-convex functions. Numerical experiments not only confirm the sharpness of the Jensen inequality but also provide evidence for the tightness of the bound given in (2.15) for the Jensen gap. These experiments also show that the bound in (2.15) gives very close estimates for the Jensen gap even when the functions are not convex. The bounds are used to obtain new estimates for the Hermite-Hadamard and Hölder inequalities. Furthermore, based on the main results, various divergences are estimated. These estimates for divergences can be applied to signal processing, magnetic resonance image analysis, image segmentation, pattern recognition, and other areas. The ideas in this paper can also be used with other inequalities and for some other classes of convex functions.

Data Availability Statement

The original contributions presented in the study are included in the article/supplementary materials, further inquiries can be directed to the corresponding author/s.

Author Contributions

MA gave the main idea. MA and SK worked on Main Results while Y-MC worked on Introduction. All authors checked carefully the whole manuscript and approved.

Conflict of Interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Acknowledgments

This work was supported by the Natural Science Foundation of China (Grant Nos. 61673169, 11301127, 11701176, 11626101, and 11601485).

References

1. Asplund E. Fréchet differentiability of convex functions. Acta Math.(1968) 121:31–47. doi: 10.1007/BF02391908

CrossRef Full Text | Google Scholar

2. Phelps RR. Convex Functions, Monotone Operators and Differentiability, Vol. 1364. Lecture Notes in Mathematics. Berlin: Springer-Verlag. (1989).

Google Scholar

3. Udrişte C. Continuity of convex functions on Riemannian manifolds. Bull Math Soc Sci. (1977) 21:215–8.

Google Scholar

4. Ger R, Kuczma M. On the boundedness and continuity of convex functions and additive functions. Aequ Math. (1970) 4:157–62. doi: 10.1007/BF01817756

CrossRef Full Text | Google Scholar

5. Minty GJ. On the monotonicity of the gradient of a convex function. Pac J Math. (1964) 14:243–7.

Google Scholar

6. Khan S, Adil Khan M, Chu Y-M. Converses of the Jensen inequality derived from the Green functions with applications in information theory. Math Method Appl Sci. (2020) 43:2577–87. doi: 10.1002/mma.6066

CrossRef Full Text | Google Scholar

7. Khan S, Adil Khan M, Chu Y-M. New converses of Jensen inequality via Green functions with applications. RACSAM. (2020) 114:1–14. doi: 10.1007/s13398-020-00843-1

CrossRef Full Text | Google Scholar

8. Adil Khan M, Pečarić Ð, Pečarić J. New refinement of the Jensen inequality associated to certain functions with applications. J Inequal Appl. (2020) 2020:1–11. doi: 10.1186/s13660-020-02343-7

CrossRef Full Text | Google Scholar

9. Bakula MK, Özdemir ME, Pečarić J. Hadamard type inequalities for m-convex and (α,m)-convex functions. J Inequal Pure Appl Math. (2008) 9:1–12.

Google Scholar

10. Bombardelli M, Varošanec S. Properties of h-convex functions related to the Hermite-Hadamard-Fejér inequalities. Comput Math Appl. (2009) 58:1869–77. doi: 10.1016/j.camwa.2009.07.073

CrossRef Full Text | Google Scholar

11. Khan J, Adil Khan M, Pečarić J. On Jensen's type inequalities via generalized majorization inequalities. Filomat. (2018) 32:5719–33. doi: 10.2298/FIL1816719K

CrossRef Full Text | Google Scholar

12. Dragomir SS, Pearce CEM. Jensen's inequality for quasi-convex functions. Numer Algebra Control Opt. (2012) 2:279–91. doi: 10.3934/naco.2012.2.279

CrossRef Full Text | Google Scholar

13. Wang M-K, Zhang W, Chu Y-M. Monotonicity, convexity and inequalities involving the generalized elliptic integrals. Acta Math Sci. (2019) 39B:1440–50. doi: 10.1007/s10473-019-0520-z

PubMed Abstract | CrossRef Full Text | Google Scholar

14. Wu S-H, Chu Y-M. Schur m-power convexity of generalized geometric Bonferroni mean involving three parameters. J Inequal Appl. (2019) 2019:1–11. doi: 10.1186/s13660-019-2013-y

CrossRef Full Text | Google Scholar

15. Jain S, Mehrez K, Baleanu D, Agarwal P. Certain Hermite-Hadamard inequalities for logarithmically convex functions with applications. Mathematics. (2019) 7:1–12. doi: 10.3390/math7020163

CrossRef Full Text | Google Scholar

16. Agarwal P, Jleli M, Tomar M. Certain Hermite-Hadamard type inequalities via generalized k-fractional integrals. J Inequal Appl. (2017) 2017:1–10. doi: 10.1186/s13660-017-1318-y

PubMed Abstract | CrossRef Full Text | Google Scholar

17. Agarwal P. Some inequalities involving Hadamard-type k-fractional integral operators. Math Method Appl Sci. (2017) 40:3882–91. doi: 10.1002/mma.4270

CrossRef Full Text | Google Scholar

18. Liu Z, Yang W, Agarwal P. Certain Chebyshev type inequalities involving the generalized fractional integral operator. J Comput Anal Appl. (2017) 22:999–1014.

Google Scholar

19. Choi J, Agarwal P. Certain inequalities involving pathway fractional integral operators. Kyungpook Math J. (2016) 56:1161–8. doi: 10.5666/KMJ.2016.56.4.1161

CrossRef Full Text | Google Scholar

20. Mehrez K, Agarwal P. New Hermite-Hadamard type integral inequalities for convex functions and their applications. J Comput Appl Math. (2019) 350:274–85. doi: 10.2140/pjm.1964.14.243

CrossRef Full Text | Google Scholar

21. Chen X. New convex functions in linear spaces and Jensen's discrete inequality. J Inequal Appl. (2013) 2013:1–8. doi: 10.1186/1029-242X-2013-472

CrossRef Full Text | Google Scholar

22. Set E. New inequalities of Ostrowski type for mappings whose derivatives are s-convex in the second sense via fractional integrals. Comput Math Appl. (2012) 63:1147–54. doi: 10.1016/j.camwa.2011.12.023

CrossRef Full Text | Google Scholar

23. Sarikaya MZ, Set E, Özdemir ME. On new inequalities of Simpson's type for s-convex functions. Comput Math Appl. (2010) 60:2191–9. doi: 10.1016/j.camwa.2010.07.033

PubMed Abstract | CrossRef Full Text | Google Scholar

24. Alomari M, Darus M, Dragomir SS, Cerone P. Ostrowski type inequalities for functions whose derivatives are s-convex in the second sense. Appl Math Lett. (2010) 23:1071–6. doi: 10.1016/j.aml.2010.04.038

CrossRef Full Text | Google Scholar

25. Chen J, Huang X. Some new inequalities of Simpson's type for s-convex functions via fractional integrals. Filomat. (2017) 31:4989–97. doi: 10.2298/FIL1715989C

PubMed Abstract | CrossRef Full Text | Google Scholar

26. Özcan S, Işcan I. Some new Hermite-Hadamard type inequalities for s-convex functions and their applications. J Inequal Appl. (2019) 2019:1–11. doi: 10.1186/s13660-019-2151-2

CrossRef Full Text | Google Scholar

27. Almutairi O, kiliçman A. Integral inequalities for s-convexity via generalized fractional integrals on fractal sets. Mathematics. (2020) 8. doi: 10.3390/math8010053

CrossRef Full Text | Google Scholar

28. Özdemir ME, Yildiz Ç, Akdemir AO, Set E. On some inequalities for s-convex functions and applications. J Inequal Appl. (2013) 2013:1–11. doi: 10.1186/1029-242X-2013-333

CrossRef Full Text | Google Scholar

29. Adil Khan M, Hanif M, Khan ZAH, Ahmad K, Chu Y-M. Association of Jensen's inequality for s-convex function with Csiszár divergence. J Inequal Appl. (2019) 2019:1–14. doi: 10.1186/s13660-019-2112-9

CrossRef Full Text | Google Scholar

30. Butt SI, Mehmood N, Pečarić J. New generalizations of Popoviciu type inequalities via new green functions and Fink's identity. Trans A Razmadze Math Inst. (2017) 171:293–303. doi: 10.1016/j.trmi.2017.04.003

PubMed Abstract | CrossRef Full Text | Google Scholar

31. Lovričević N, Pečarić Ð, Pečarić J. Zipf-Mandelbrot law, f−divergences and the Jensen-type interpolating inequalities. J Inequal Appl. (2018) 2018:1–20. doi: 10.1186/s13660-018-1625-y

PubMed Abstract | CrossRef Full Text | Google Scholar