Some generalized Hermite–Hadamard–Fejér inequality for convex functions

In this paper, we have established some generalized inequalities of Hermite–Hadamard–Fejér type for generalized integrals. The results obtained are applied for fractional integrals of various type and therefore contain some previous results reported in the literature.


Preliminaries
Consider a certain function f : [a, b] ⊆ R → R. This function is said to be convex if is satisfied for any x, y ∈ [a, b], being t ∈ [0, 1]. Likewise, f is called concave if -f is convex.
One of the most important inequalities that have attracted many experts in the last few decades is the famous Hermite-Hadamard inequality that holds for any function f convex on the interval [a, b]. This inequality was published by Hermite in 1883 and, independently, by Hadamard in 1893. It gives an estimation of the mean value of a convex function, and it is important to note that it also provides a refinement to the Jensen inequality. The interested reader is referred to [3, 4, 10, 13-16, 21, 22, 27-30] and the references therein for more information and other extensions of the Hermite-Hadamard inequality. In this paper, following that path, we present a new integral operator (that we could call "integral of one function with respect to another" for reasons that we will see later) and apply it to the study of generalized inequalities, more general than (1.1), this time the so-called Hermite-Hadamard-Fejér inequality.
We assume that the reader is familiar with the classic definition of the Riemann integral, so we do not present it.
As we know, basically there are two types of fractional differential operators, Riemann-Liouville and Caputo, respectively: with certain kernel F. In particular, we will deal with real integral operators defined on R of the RL-type.
One of the first operators that can be called fractional is the Riemann-Liouville fractional derivative of order α ∈ C, Re(α) ≥ 0 defined by [6].
The right-and left-hand side Riemann-Liouville fractional integrals of order α > 0 are defined by and their corresponding differential operators are given by There have been many fractional integrals defined and investigated in the recent years, for example, so-called Hadamard, Katugampola, k-fractional integrals, etc. (see e.g. [1,2,11,17,23,24,26]). Now, we give the definition of a general fractional integral. Throughout the work we consider that the integral operator kernel T defined below is an absolutely continuous function (see [8]).

Definition 1.2
Let I be an interval I ⊆ R, a, b, t ∈ I, and α ∈ R. The integral operators J α T , right and left, are defined for every locally integrable function f on I as follows: It is easy to see that the case of the J α T operators defined above contains, as particular cases, the integral operators obtained from conformable and non-conformable local derivatives. However, we will see that it goes much further by containing the cases presented before. It is clear that from our definition new extensions and generalizations of known integral operators can be defined and many integral operators can be considered particular cases of the integral operator defined above, we let the reader complete this analysis. For simplicity of notation, let us denote (see [14]) We also use the "central" integral operator defined by (see [31]) We present the definition of generalized derivative that was defined in [19].
We can also define the lateral derivative operators (right and left) in the case of our generalized derivative. For this, it is sufficient to consider them from the corresponding integral operator. To do this, just make use of the fact that if f is differentiable, then is the ordinary derivative. For the right derivative we have , similar to the left one. The interested reader can consult [19] to study the properties of operator N α T and additional details. Similar calculations as in [7] show that the following properties hold.

Theorem 1.4 Let f and g be N α
T -differentiable at t > 0 and α ∈ (0, 1). Then Remark 1.5 The relations a), c), d), and e) are similar to the classical results mathematical analysis, and these relationships are not established (or do not occur) for fractional derivatives of global character (see [12] and [20] and the references cited there).
The following statement is analogous to the one known from the ordinary calculus (for a similar result, see [18]).
Proof a) By definition, one can calculate It is clear that many "classical" properties of integration theory can be proved without much difficulty, for example, the well-known mean value theorems for integral calculus or integration by parts.

Theorem 1.7 Let f and g be differentiable functions on
In [5], the so-called Hermite-Hadamard-Fejér inequality was established; it is the weighted generalization of the Hermite-Hadamard inequality (1.1).
In this paper, we present a version of the Hermite-Hadamard-Fejér inequality for convex functions via generalized integral of Definition 1.2, while several remarks presented show the advantage of our framework.

Main results
Proof Following [9] and taking into account the symmetry of g with respect to a+b 2 , we have This immediately implies the result needed.

Theorem 2.3 Let f : [a, b] → R, a < b, be a convex function and g : [a, b] → R + 0 be an integrable function symmetric about a+b
2 . Then Proof From the convexity of f , we have for any t ∈ [0, 1]. Multiplying the first and the last members of this inequality by g(tb+(1-t)a)

T(t,α)
and integrating on [0, 1], we obtain Making the change of variables x = tb + (1t)a), we obtain Using Lemma 2.1, we obtain the first inequality in (2.1).
To prove the second part of (2.1), we use the convexity of f . We have for any t ∈ [0, 1]. Multiplying the previous inequality by g (tb+(1-t)

a) T(t,α)
and integrating on [0, 1], we obtain, after making the change of variables and considering the symmetry of g, the following inequality: Lemma 2.1 implies the second part of (2.1). This completes the proof of the theorem.  L(a, b). If in addition g : [a, b] → R is integrable and symmetric to a+b 2 , then the following equality is valid: Proof Using Theorem 1.7, we calculate as follows: and According to Lemma 2.1, we have , from where the desired equality is obtained.  on (a, b), a < b, such that f ∈ L(a, b), |T -1 | ∈ L(0, ba). If we also assume that |f | is convex on [a, b] and g : [a, b] → R is integrable and symmetric to a+b 2 , then the following inequality holds: Proof Let us see some preliminary details. First, note that Since |f | is convex, we have for any t ∈ [a, b]. Using (2.3) and the symmetry of g, we get Under the conditions of Theorem 2.7, we have while under the conditions of Theorem 2.9, The results obtained also open the door to the generalization study with other types of integral inequalities such as Ostrowski, Grüss, Jensen among others, as well as for functions with other types of generalized convexity such as strongly convex, m-convex, s-convex, relative convex among others. Finally, our results can also be extended to functions of various variables using convexity in coordinates.