Generalizations of Hermite–Hadamard Type Integral Inequalities for Convex Functions

: In the paper, with the help of two known integral identities and by virtue of the classical Hölder integral inequality, the authors establish several new integral inequalities of the Hermite–Hadamard type for convex functions. These newly established inequalities generalize some known results.


Backgrounds and Motivations
A function f : I ⊆ R → R is said to be convex on an interval I if holds for all x, y ∈ I and t ∈ [0, 1]. If f : I ⊆ R → R is a convex function and a, b ∈ I with a < b, then The equalities in (1) are valid if and only if f (x) is a linear function on [a, b], as can be seen in [1] (p. 59). In mathematical literature, the double inequality (1) is called the Hermite-Hadamard inequality, named after Charles Hermite (1822Hermite ( -1901 and Jacques Hadamard (1865Hadamard ( -1963. The Hermite-Hadamard inequality (1) is a necessary and sufficient condition for a real function to be convex on a closed and bounded real interval. It was extensively studied and generalized over more than one century, since it was first published in [2,3]. Copies of these two papers are available on the Internet since they belong to the fundamental knowledge of the humankind. The monograph [1] is fundamental and can be freely downloaded from the Internet. Other four fundamental monographs are [4][5][6][7]. They present the directions of development of the research in this field until now. Since then, the double inequality (1) has attracted many mathematicians' attention. Especially, in the last three decades, numerous generalizations, variants and extensions of this double inequality have been presented. In particular, the Hermite-Hadamard-type inequalities associated with a variety of fractional integral operators have been provided in [8,9] and closely related references therein. In the paper [10], the Hermite-Hadamard integral inequality (1) was generalized as the following theorems.

Theorem 1 ([10] (Lemma 3)
). Let f : I ⊆ R → R be a differentiable mapping on I • , the interior of an interval I, with a, b ∈ I and a < b. If f is a convex function on I, then After carefully verifying the above, we find that the convexity of f should be added to [10] (Theorem 3). The slightly amended version of [10] (Theorem 3) can be stated as follows.
Theorem 2 ([10] (Lemma 3)). Let f : I ⊆ R → R be a differentiable mapping on I • with a, b ∈ I and a < b, the second derivative f : 3a−b 2 , 3b−a 2 → R be a continuous function on 3a−b 2 , 3b−a 2 , and q > 1. If f and | f | q are convex on 3a−b 2 , 3b−a 2 , then In this paper, with the help of two known integral identities (see Lemmas 1 and 2 in the next section) and by virtue of the classical Hölder integral inequality, we aim to generalize those inequalities in Theorems 1 and 2 to several new Hermite-Hadamard-type inequalities for convex functions.

Two Lemmas
For establishing new Hermite-Hadamard type inequalities for convex functions and generalizing those inequalities in Theorems 1 and 2, we need the following lemmas.

New Integral Inequalities of Hermite-Hadamard Type
Now, with the help of integral identities (4) and (5), and by virtue of the classical Hölder integral inequality, we begin to establish several new integral inequalities of the Hermite-Hadamard type for convex functions on R and to generalize integral inequalities in the aforementioned Theorems 1 to 2.
In this section, we use the notations where the equalities in (8) and (9) are valid if f (x) is a linear function on [a, b].
for c, d being constants, the equalities in (8) and (9) are valid. Theorem 3 is thus proven.
Proof. By Lemma 2 and the Hölder integral inequality, we have Since (µ − λ)t + λ ≥ 0 and for t ∈ [0, 1], letting u = a and v = b in the identity (6) and using the convexity of | f | q arrive at Straightforward computation yields It is easy to see that Applying inequalities (15), (16), and (17) into the inequality (13) gives The proof of Theorem 4 is complete.

Theorem 5.
Suppose that λ > µ ≥ 0 and a, b ∈ R with a < b. Let f : I λ,µ (a, b) → R be a differentiable mapping on I • λ,µ (a, b), where I λ,µ (a, b) and I • λ,µ (a, b) are defined as in (7). If | f | q for q > 1 is a convex function on I λ,µ (a, b), then Proof. Similar to the proof of the inequality (12) in Theorem 4, making use of Lemma 2 and the Hölder integral inequality reveals From the inequality (14) and by the convexity of | f | q , we obtain and 1 1/2 Substituting inequalities (20), (21) and (22) into the inequality (19) yields the inequality (18). The proof of Theorem 5 is complete. µ (a, b), where I λ,µ (a, b) and I • λ,µ (a, b) are defined as in (7). If | f | q for q ≥ 1 is a convex function on I λ,µ (a, b), then Proof. By Lemma 1 and the Hölder integral inequality, we have For t ∈ [0, 1], putting u = a and v = a+b 2 in the identity (6) and using the convexity of | f | q result in Accordingly, we have Similarly, taking u = a+b 2 and v = b in the identity (6) gives Substituting inequalities (25) and (26) into inequality (24) yields (23). The proof of Theorem 6 is complete.

Remark 4.
In fact, the new inequalities in this paper are obtained by using the computation techniques inspired by the papers [11,12] and generalizing ideas from the paper [10]. Similar types of inequalities, or particular cases, are obtained in the literature by other techniques. One may see the Hermite-Hadamard type inequalities from [13]. These texts are excerpted and adapted from valuable comments of an anonymous referee of this paper.

Remark 5.
The new inequalities for convex and differentiable functions in this paper have particular cases in [10] and some properties make them distinctive from other existing inequalities of the Hermite-Hadamard type under similar hypotheses (for example those from [11]). These texts are excerpted and adapted from valuable comments of an anonymous referee of this paper. This solves the problem of sharpness easily. These texts are excerpted and adapted from valuable comments of an anonymous referee of this paper.

Conclusions
In this paper, with the help of two known integral identities and by virtue of the Hölder integral inequality, in Theorems 3-7, and their corollaries, we established several new integral inequalities of the Hermite-Hadamard type for convex functions. These newly established inequalities generalize corresponding ones in the paper [10].