Skip to main content

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

Abstract

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]\subseteq \mathbb{R}\to \mathbb{R}\). This function is said to be convex if

$$\begin{aligned} f\bigl(t x+(1-t )y\bigr)\leq t f(x)+(1-t )f(y) \end{aligned}$$

is satisfied for any \(x,y\in [a,b]\), being \(t \in [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

$$\begin{aligned} f \biggl(\frac{a+b}{2} \biggr)\leq \frac{1}{b-a} \int _{a}^{b} f(x) \,dx \leq \frac{f(a)+f(b)}{2} \end{aligned}$$
(1.1)

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, 1316, 21, 22, 2730] 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:

$$\begin{aligned}& {}^{ RL } { D }^{ \alpha }f(t)=\frac{ d }{ dt } \bigl\{ { J }_{ F,a }^{1- \alpha }(f) (t) \bigr\} , \\& {}^{ C } { D }^{ \alpha }f(t)={ J }_{ F,a }^{1- \alpha } \biggl( \frac{ df }{ dt } \biggr) (t), \end{aligned}$$

with certain kernel F. In particular, we will deal with real integral operators defined on \(\mathbb{R}\) of the RL-type.

One of the first operators that can be called fractional is the Riemann–Liouville fractional derivative of order \(\alpha \in \mathbb{C}\), \(\mathrm{Re}(\alpha )\ge 0\) defined by [6].

Definition 1.1

Let \(f \in L^{1}((a,b);\mathbb{R})\), \((a,b) \in {\mathbb{R}^{2}}\), \(a < b\). The right- and left-hand side Riemann–Liouville fractional integrals of order \(\alpha >0\) are defined by

$$\begin{aligned}& {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha } }f(t)= \frac{ 1 }{ \Gamma (\alpha ) } \int _{ a }^{ t }{ { (t-s) }^{ \alpha -1 }f(s) \,ds }, \quad t>a, \\& {}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha } }f(t)= \frac{ 1 }{ \Gamma (\alpha ) } \int _{ t }^{ b }{ { (s-t) }^{ \alpha -1 }f(s) \,ds }, \quad t< b, \end{aligned}$$

and their corresponding differential operators are given by

$$\begin{aligned}& { D_{ a^{ + } }^{ \alpha } }f(t) =\frac{ d }{ dt } \bigl( { {}^{ RL }{ { J }_{ { a }^{ + } }^{ 1-\alpha } }f(t) } \bigr) = \frac{ 1 }{ \Gamma (1-\alpha ) } \frac{ d }{ dt } \int _{ a }^{ t }{ { \frac{ f(t) }{ (t-s)^{ \alpha } } } \,ds }, \\& { D_{ b^{ - } }^{ \alpha } }f(t) =-\frac{ d }{ dt } \bigl( { {}^{ RL }{ { J }_{ { b }^{ - } }^{ 1-\alpha } }f(t) } \bigr) =- \frac{ 1 }{ \Gamma (1-\alpha ) } \frac{ d }{ dt } \int _{ t }^{ b }{ { \frac{ f(t) }{ (s-t)^{ \alpha } } } \,ds }. \end{aligned}$$

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 \subseteq \mathbb{R}\), \(a,b,t \in I\), and \(\alpha \in \mathbb{R}\). The integral operators \(J_{T}^{\alpha }\), right and left, are defined for every locally integrable function f on I as follows:

$$\begin{aligned}& J_{T,a+}^{\alpha }(f) (t)= \int _{ a }^{ t } \frac{ f(s) }{ T(t-s,\alpha ) } \,ds,\quad t>a, \\& J_{T,b-}^{\alpha }(f) (t)= \int _{ t }^{ b } \frac{ f(s) }{ T(s-t,\alpha ) } \,ds,\quad b>t. \end{aligned}$$

It is easy to see that the case of the \(J_{T}^{\alpha }\) 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])

$$\begin{aligned}& {}_{ (a,b) }{ J }_{ T,a+ }^{ \alpha }(f) (b)= \int _{ a }^{ b } \frac{ f(s) }{ T ( \frac{ b-s }{ b-a } ,\alpha ) } \,ds, \\& {}_{ (a,b) }{ J }_{ T,b- }^{ \alpha }(f) (a)= \int _{ a }^{ b } \frac{ f(s) }{ T ( \frac{ s-a }{ b-a } ,\alpha ) } \,ds. \end{aligned}$$

We also use the “central” integral operator defined by (see [31])

$$\begin{aligned} J_{T,a}^{\alpha }(f) (b)= \int _{ a }^{ b } \frac{ f(t) }{ T(t,\alpha ) } \,dt,\quad b>a. \end{aligned}$$

We present the definition of generalized derivative that was defined in [19].

Definition 1.3

For a function \(f:[0,\infty )\rightarrow \mathbb{R}\), the \(N_{T} ^{\alpha }\)-derivative of f is defined by

$$\begin{aligned} N_{T} ^{\alpha } f(t)=\underset{\varepsilon \rightarrow 0}{\lim } \frac{f(t+\varepsilon T(t,\alpha ))-f(t)}{\varepsilon } \end{aligned}$$

for all \(t>0\), \(\alpha \in (0,1)\), \(T(t,\alpha )\) being some function.

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 \(N_{T}^{\alpha }f(t)=T(t,\alpha )f'(t)\), where \(f'(t)\) is the ordinary derivative. For the right derivative we have \(( { N }_{ T,a+ }^{ \alpha ,b }f ) (t)= T(b-t,\alpha )f'(t)\), similar to the left one. The interested reader can consult [19] to study the properties of operator \(N_{T} ^{\alpha } \) and additional details.

Similar calculations as in [7] show that the following properties hold.

Theorem 1.4

Let f and g be \(N_{T}^{\alpha }\)-differentiable at \(t>0\) and \(\alpha \in (0,1)\). Then

  1. a)

    \(N_{T}^{\alpha }(af+bg)(t)=aN_{T}^{\alpha }(f)(t)+bN_{T}^{\alpha }(g)(t)\);

  2. b)

    \(N_{T}^{\alpha }(t^{p})=T(t,\alpha ) pt^{p-1}\), \(p\in \mathbb{R}\);

  3. c)

    \(N_{T}^{\alpha }(\lambda )=0\), \(\lambda \in \mathbb{R}\);

  4. d)

    \(N_{T}^{\alpha }(fg)(t)=fN_{T}^{\alpha }(g)(t)+gN_{T}^{\alpha }(f)(t)\);

  5. e)

    \(N_{T}^{\alpha }(\frac{f}{g})(t)= \frac{gN_{T}^{\alpha }(f)(t)-fN_{T}^{\alpha }(g)(t)}{g^{2}(t)}\);

  6. f)

    If, in addition, f is differentiable, then \(N_{T}^{\alpha }(f)(t)=T(t,\alpha ) f'(t)\).

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]).

Theorem 1.6

Let f be an \(N_{T}^{\alpha }\)-differentiable function on \((t_{0},\infty )\). Then, for all \(t>t_{0}\), we have

  1. a)

    If f is differentiable, then \({ J }_{ T,t_{0} }^{ \alpha } ( N_{T}^{\alpha }f(t) ) =f(t)-f(t_{0})\).

  2. b)

    \({ N }_{ T }^{ \alpha } ( { J }_{ T,t_{0} }^{ \alpha } f(t) ) =f(t)\).

Proof

a) By definition, one can calculate

$$\begin{aligned}& { J }_{ T,t_{0} }^{ \alpha } \bigl( N_{T}^{\alpha }f(t) \bigr) = \int _{t_{0}}^{t}\frac{N_{T}^{\alpha }f(s)}{T(s,\alpha )} \,ds= \int _{t_{0}}^{t} \frac{{T(s,\alpha )}f^{\prime }(s)}{T(s,\alpha )} \,ds=f(t)-f(t_{0}). \end{aligned}$$

b) Analogously, we have

$$\begin{aligned}& N_{T}^{\alpha } \bigl({ J }_{ T,t_{0} }^{ \alpha }f(t) \bigr)=T(t, \alpha )\frac{d}{dt} \biggl[ \int _{t_{0}}^{t} \frac{f(s)}{T(s,\alpha )} \,ds \biggr]=f(t). \end{aligned}$$

 □

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 \((a,b)\), \(a< b\). Then

$$\begin{aligned} { { J }_{ T,a }^{ \alpha } } \bigl\{ \bigl[ { N }_{ T }^{ \alpha }f(t) \bigr] g(t) \bigr\} (b) = \bigl[ f(t) g(t) \bigr]_{a}^{b} - { { J }_{ T,a }^{ \alpha } } \bigl\{ f(t) \bigl[ { N }_{ T }^{ \alpha }g(t) \bigr] \bigr\} (b). \end{aligned}$$

In [5], the so-called Hermite–Hadamard–Fejér inequality was established; it is the weighted generalization of the Hermite–Hadamard inequality (1.1).

Theorem 1.8

Let \(f:[a,b] \to \mathbb{R}\) be a convex function and \(g:[a,b]\to \mathbb{R}_{0}^{+}= [0,\infty )\) be an integrable function symmetric about \(\frac{a+b}{2}\). Then

$$\begin{aligned} f \biggl( \frac{a+b}{2} \biggr) \int _{ a }^{ b }{ g(x) }\,dx & \leq \int _{ a }^{ b }{ f(x) g(x) }\,dx \leq \frac{ f(a) + f(b)}{2 } \int _{ a }^{ b }{ g(x) }\,dx. \end{aligned}$$
(1.2)

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

Lemma 2.1

Let \(g:[a,b]\rightarrow \mathbb{R}\), \(a< b\), be an integrable function symmetric with respect to \(\frac{a+b}{2}\). Then we have

$$\begin{aligned} { J }_{ T,a+ }^{ \alpha }g(b)={ J }_{ T,b- }^{ \alpha }g(a)= \frac{ { J }_{ T,a+ }^{ \alpha }g(b)+{ J }_{ T,b- }^{ \alpha }g(a) }{ 2 }. \end{aligned}$$

Proof

Following [9] and taking into account the symmetry of g with respect to \(\frac{a+b}{2}\), we have

$$\begin{aligned} { J }_{ T,a+ }^{ \alpha }g(b) & = \int _{ a }^{ b }{ \frac{ g(t)}{ T(b-t,\alpha ) } \,dt } = \int _{ a }^{ b }{ \frac{ g(a+b-x) }{ T(x-a,\alpha ) } \,dx } \\ & = \int _{ a }^{ b }{ \frac{ g(x) }{ T(x-a,\alpha ) } \,dx } = { J }_{ T,b- }^{ \alpha }g(a). \end{aligned}$$

This immediately implies the result needed. □

Remark 2.2

In case of \(T(t,\alpha ) = t^{1- \alpha }\Gamma (\alpha )\), \(\alpha > 0\), Lemma 2.1 becomes [9, Lemma 2.1].

Theorem 2.3

Let \(f:[a,b] \to \mathbb{R}\), \(a< b\), be a convex function and \(g:[a,b]\to \mathbb{R}_{0}^{+}\) be an integrable function symmetric about \(\frac{a+b}{2}\). Then

$$\begin{aligned} & f \biggl( \frac{ a+b }{ 2 } \biggr) \bigl[ {}_{ (a,b) }{ J }_{ T,a+ }^{ \alpha }(g) (b)+ {}_{ (a,b) }{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] \\ & \quad \le {}_{ (a,b) }{ J }_{ T,a+ }^{ \alpha }(fg) (b)+ {}_{ (a,b) }{ J }_{ T,b- }^{ \alpha }(fg) (a) \\ & \quad \leq \frac{ f(a)+f(b) }{ 2 } \bigl[ {}_{ (a,b) }{ J }_{ T,a+ }^{ \alpha }(g) (b)+ {}_{ (a,b) }{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr]. \end{aligned}$$
(2.1)

Proof

From the convexity of f, we have

$$\begin{aligned} 2 f \biggl( \frac{ a+b }{ 2 } \biggr) & = 2 f \biggl( \frac{ ta+(1-t)b+tb+(1-t)a }{ 2 } \biggr) \\ & \le f\bigl(ta+(1-t)b\bigr)+f\bigl(tb+(1-t)a\bigr) \end{aligned}$$

for any \(t\in [0,1]\). Multiplying the first and the last members of this inequality by \(\frac{g (tb + (1-t) a)}{T (t,\alpha )}\) and integrating on \([0,1]\), we obtain

$$\begin{aligned} & 2f \biggl( \frac{ a+b }{ 2 } \biggr) \int _{ 0 }^{ 1 }{ \frac{ g(tb+(1-t)a) }{ T(t,\alpha ) } \,dt } \\ & \quad \le \int _{ 0 }^{ 1 }{ \frac{ g(tb+(1-t)a) [ f(ta+(1-t)b)+f(tb+(1-t)a) ] }{ T(t,\alpha ) } \,dt } \\ & \quad = \int _{ 0 }^{ 1 }{ \frac{ g(tb+(1-t)a)f(ta+(1-t)b) }{ T(t,\alpha ) } \,dt } \\ & \qquad{} + \int _{ 0 }^{ 1 }{ \frac{ g(tb+(1-t)a)f(tb+(1-t)a) }{ T(t,\alpha ) } \,dt }. \end{aligned}$$

Making the change of variables \(x=tb + (1-t) a)\), we obtain

$$\begin{aligned} &\frac{ 2f ( \frac{ a+b }{ 2 } ) }{ b-a } \int _{ a }^{ b }{ \frac{ g(x) }{ T ( \frac{ x-a }{ b-a } ,\alpha ) } \,dx } \\ & \quad \le \frac{ 1 }{ b-a } \int _{ a }^{ b }{ \frac{ g(x)f(a+b-x) }{ T ( \frac{ x-a }{ b-a } ,\alpha ) } \,dx } + \frac{ 1 }{ b-a } \int _{ a }^{ b }{ \frac{ g(x)f(x) }{ T ( \frac{ x-a }{ b-a } ,\alpha ) } \,dx } \\ & \quad = \frac{ 1 }{ b-a } \int _{ a }^{ b }{ \frac{ g(a+b-x)f(x) }{ T ( \frac{ b-x }{ b-a } ,\alpha ) } \,dx } + \frac{ 1 }{ b-a } \int _{ a }^{ b }{ \frac{ g(x)f(x) }{ T ( \frac{ x-a }{ b-a } ,\alpha ) } \,dx } \\ & \quad = \frac{ 1 }{ b-a } \int _{ a }^{ b }{ \frac{ g(x)f(x) }{ T ( \frac{ b-x }{ b-a } ,\alpha ) } \,dx } + \frac{ 1 }{ b-a } \int _{ a }^{ b }{ \frac{ g(x)f(x) }{ T ( \frac{ x-a }{ b-a } ,\alpha ) } \,dx }. \end{aligned}$$

This means

$$\begin{aligned} 2f \biggl( \frac{ a+b }{ 2 } \biggr) {}_{ (a,b) }{ { J }_{ T,a+ }^{ \alpha } }(g) (b)\le {}_{ (a,b) }{ { J }_{ T,a+ }^{ \alpha } }(fg) (b)+{}_{ (a,b) }{ { J }_{ T,b- }^{ \alpha } }(fg) (a) . \end{aligned}$$

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

$$\begin{aligned} f\bigl(ta+(1-t)b\bigr)+f\bigl(tb+(1-t)a\bigr)\le f(a)+f(b) \end{aligned}$$

for any \(t\in [0,1]\). Multiplying the previous inequality by \(\frac{g(tb + (1-t) a)}{T(t,\alpha )}\) and integrating on \([0,1]\), we obtain, after making the change of variables and considering the symmetry of g, the following inequality:

$$\begin{aligned} {}_{ (a,b) }{ { J }_{ T,a+ }^{ \alpha } }(fg) (b)+{}_{ (a,b) }{ { J }_{ T,b- }^{ \alpha } }(fg) (a) \le \bigl(f(a)+f(b)\bigr) {}_{ (a,b) }{ J }_{ T,a+ }^{ \alpha }(g) (b). \end{aligned}$$

Lemma 2.1 implies the second part of (2.1). This completes the proof of the theorem. □

Remark 2.4

If we consider \(T(t,\alpha ) \equiv 1\), inequality (2.1) becomes the classic Hermite–Hadamard–Fejér inequality (1.2). In case of \(T(t,\alpha ) = t^{1- \alpha }\Gamma (\alpha )\), the previous result becomes [9, Theorem 2.2], and if \(T (t,\alpha ) = t^{1- \alpha }\Gamma (\alpha )\) and \(g(x) \equiv 1\), then the above result becomes [25, Theorem 2].

Lemma 2.5

Let \(f:[a,b]\rightarrow \mathbb{R}\) be a differentiable function on \((a,b)\), \(a< b\), such that \({ N }_{ T }^{ \alpha }f\in L(a,b)\). If in addition \(g:[a,b]\rightarrow \mathbb{R}\) is integrable and symmetric to \(\frac{a+b}{2}\), then the following equality is valid:

$$\begin{aligned} &{ { J }_{ T,a }^{ \alpha } } \biggl\{ \bigl[ { N }_{ T }^{ \alpha }f(t) \bigr] \int _{ a }^{ t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} \biggr\} (b) + { { J }_{ T,a }^{ \alpha } } \biggl\{ - \bigl[ { N }_{ T }^{ \alpha }f(t) \bigr] \int _{ t }^{ b }{ \frac{g(s)}{T(s-a,\alpha )} \,ds} \biggr\} (b) \\ & \quad = \frac{ f(a)+f(b) }{ 2 } \bigl[ { J }_{ T,a+ }^{ \alpha }(g) (b)+{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] - \bigl[ { J }_{ T,a+ }^{ \alpha }(fg) (b)+{ J }_{ T,b- }^{ \alpha }(fg) (a) \bigr]. \end{aligned}$$
(2.2)

Proof

Using Theorem 1.7, we calculate as follows:

$$\begin{aligned} { J }_{ 1 } & = { { J }_{ T,a }^{ \alpha } } \biggl\{ \bigl[ { N }_{ T }^{ \alpha }f(t) \bigr] \int _{ a }^{ t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} \biggr\} (b) \\ & = \biggl[ f(t) \int _{ a }^{ t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} \biggr]_{a}^{b} - { { J }_{ T,a }^{ \alpha } } \biggl\{ \frac{f(t) g(t) T(t,\alpha )}{T(b-t,\alpha )} \biggr\} (b) \\ & = f(b) { J }_{ T,a+ }^{ \alpha }(g) (b) - { J }_{ T,a+ }^{ \alpha }(fg) (b) \end{aligned}$$

and

$$\begin{aligned} { J }_{ 2 } & = { { J }_{ T,a }^{ \alpha } } \biggl\{ - \bigl[ { N }_{ T }^{ \alpha }f(t) \bigr] \int _{ t }^{ b }{ \frac{g(s)}{T(s-a,\alpha )} \,ds} \biggr\} (b) \\ & = \biggl[ - f(t) \int _{ t }^{ b }{ \frac{g(s)}{T(s-a,\alpha )} \,ds} \biggr]_{a}^{b} - { { J }_{ T,a }^{ \alpha } } \biggl\{ \frac{f(t) g(t) T(t,\alpha )}{T(t-a,\alpha )} \biggr\} (b) \\ & = f(a) { J }_{ T,b- }^{ \alpha }(g) (a) - { J }_{ T,b- }^{ \alpha }(fg) (a). \end{aligned}$$

According to Lemma 2.1, we have

$$\begin{aligned} &{ J }_{ 1 } = f(b) \biggl[ \frac{ { { J }_{ T,a+ }^{ \alpha } }(g)(b)+{ { J }_{ T,b- }^{ \alpha } }(g)(a) }{ 2 } \biggr] -{ { J }_{ T,a+ }^{ \alpha } }(fg) (b), \\ &{ J }_{ 2 } = f(a) \biggl[ \frac{ { { J }_{ T,a+ }^{ \alpha } }(g)(b)+{ { J }_{ T,b- }^{ \alpha } }(g)(a) }{ 2 } \biggr] - { { J }_{ T,b- }^{ \alpha } }(fg) (a), \end{aligned}$$

from where the desired equality is obtained. □

Remark 2.6

In case of \(T(t,\alpha ) = t^{1- \alpha }\Gamma (\alpha )\), Lemma 2.5 implies [9, Theorem 2.4], and if \(T (t,\alpha ) = t^{1- \alpha }\Gamma (\alpha )\) and \(g(x) \equiv 1\), then Lemma 2.5 implies [25, Lemma 2].

Theorem 2.7

Let \(f:[a,b]\rightarrow \mathbb{R}\) be a differentiable function on \((a,b)\), \(a< b\), such that \(f'\in L(a,b)\), \(|T^{-1}| \in L(0,b-a)\). If we also assume that \(\vert f' \vert \) is convex on \([a,b]\) and \(g:[a,b]\rightarrow \mathbb{R}\) is integrable and symmetric to \(\frac{a+b}{2}\), then the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ { J }_{ T,a+ }^{ \alpha }(g) (b)+{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] - \bigl[ { J }_{ T,a+ }^{ \alpha }(fg) (b)+{ J }_{ T,b- }^{ \alpha }(fg) (a) \bigr] \biggr\vert \\ & \quad \le { \Vert g \Vert }_{ \infty } \bigl( \bigl\vert f'(a) \bigr\vert + \bigl\vert f'(b) \bigr\vert \bigr) \biggl[ \int _{ \frac{b-a}{2} }^{ b-a } \mathcal{T}(s) \,ds - \int _{ 0 }^{ \frac{b-a}{2} } \mathcal{T}(s) \,ds \biggr], \end{aligned}$$

where \(\mathcal{T}(s) = \int _{ 0 }^{ s } \frac{dt}{|T(t,\alpha )|}\).

Proof

Let us see some preliminary details. First, note that (2.2) is equivalent to

$$\begin{aligned} & \int _{ a }^{ b } \biggl\{ \int _{ a }^{ t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} - \int _{ t }^{ b }{ \frac{g(s)}{T(s-a,\alpha )} \,ds} \biggr\} f'(t) \,dt \\ & \quad = \frac{ f(a)+f(b) }{ 2 } \bigl[ { J }_{ T,a+ }^{ \alpha }(g) (b)+{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] - \bigl[ { J }_{ T,a+ }^{ \alpha }(fg) (b)+{ J }_{ T,b- }^{ \alpha }(fg) (a) \bigr]. \end{aligned}$$
(2.3)

Since \(\vert f' \vert \) is convex, we have

$$\begin{aligned} \bigl\vert f'(t) \bigr\vert = \biggl\vert f' \biggl( \frac{ b-t }{ b-a } a+ \frac{ t-a }{ b-a } b \biggr) \biggr\vert \le \frac{ 1 }{ b-a } \bigl( ( b-t ) \bigl\vert f'(a) \bigr\vert + ( t-a ) \bigl\vert f'(b) \bigr\vert \bigr) \end{aligned}$$
(2.4)

for any \(t\in [a,b]\). Using (2.3) and the symmetry of g, we get

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ { J }_{ T,a+ }^{ \alpha }(g) (b)+{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] - \bigl[ { J }_{ T,a+ }^{ \alpha }(fg) (b)+{ J }_{ T,b- }^{ \alpha }(fg) (a) \bigr] \biggr\vert \\ & \quad \le \int _{ a }^{ b } \biggl\vert \int _{ a }^{ t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} - \int _{ t }^{ b }{ \frac{g(s)}{T(s-a,\alpha )} \,ds} \biggr\vert \bigl\vert f'(t) \bigr\vert \,dt \\ & \quad = \int _{ a }^{ b } \biggl\vert \int _{ a }^{ t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} - \int _{ a }^{ a+b-t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} \biggr\vert \bigl\vert f'(t) \bigr\vert \,dt \\ & \quad = \int _{ a }^{ b } \bigl\vert f'(t) \bigr\vert \biggl\vert \int _{ t }^{ a+b-t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} \biggr\vert \,dt \\ & \quad \le { \Vert g \Vert }_{ \infty } \int _{ a }^{ \frac{a+b}{2} } \bigl\vert f'(t) \bigr\vert \biggl\{ \int _{ t }^{ a+b-t }{ \frac{ds}{ \vert T(b-s,\alpha ) \vert }} \biggr\} \,dt \\ & \qquad{} + { \Vert g \Vert }_{ \infty } \int _{ \frac{a+b}{2} }^{ b } \bigl\vert f'(t) \bigr\vert \biggl\{ \int _{ a+b-t }^{ t }{ \frac{ds}{ \vert T(b-s,\alpha ) \vert }} \biggr\} \,dt \\ & \quad = { \Vert g \Vert }_{ \infty } \int _{ a }^{ \frac{a+b}{2} } \bigl\vert f'(t) \bigr\vert \biggl\{ \int _{ t-a }^{ b-t }{ \frac{ds}{ \vert T(s,\alpha ) \vert }} \biggr\} \,dt \\ & \qquad{} + { \Vert g \Vert }_{ \infty } \int _{ \frac{a+b}{2} }^{ b } \bigl\vert f'(t) \bigr\vert \biggl\{ \int _{ b-t }^{ t-a }{ \frac{ds}{ \vert T(s,\alpha ) \vert }} \biggr\} \,dt, \end{aligned}$$

from where (2.4) implies

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ { J }_{ T,a+ }^{ \alpha }(g) (b)+{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] - \bigl[ { J }_{ T,a+ }^{ \alpha }(fg) (b)+{ J }_{ T,b- }^{ \alpha }(fg) (a) \bigr] \biggr\vert \\ & \quad \le \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \int _{ a }^{ \frac{a+b}{2} } \bigl( ( b-t ) \bigl\vert f'(a) \bigr\vert + ( t-a ) \bigl\vert f'(b) \bigr\vert \bigr) \bigl( \mathcal{T}(b-t) - \mathcal{T}(t-a) \bigr) \,dt \\ & \qquad{} + \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \int _{ \frac{a+b}{2} }^{ b } \bigl( ( b-t ) \bigl\vert f'(a) \bigr\vert + ( t-a ) \bigl\vert f'(b) \bigr\vert \bigr) \bigl( \mathcal{T}(t-a) - \mathcal{T}(b-t) \bigr) \,dt \\ & \quad = \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(a) \bigr\vert \biggl[ \int _{ a }^{ \frac{a+b}{2} } ( b-t ) \mathcal{T}(b-t) \,dt + \int _{ \frac{a+b}{2} }^{ b } ( b-t ) \mathcal{T}(t-a) \,dt \biggr] \\ & \qquad{} - \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(a) \bigr\vert \biggl[ \int _{ a }^{ \frac{a+b}{2} } ( b-t ) \mathcal{T}(t-a) \,dt + \int _{ \frac{a+b}{2} }^{ b } ( b-t ) \mathcal{T}(b-t) \,dt \biggr] \\ & \qquad{} + \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(b) \bigr\vert \biggl[ \int _{ a }^{ \frac{a+b}{2} } ( t-a ) \mathcal{T}(b-t) \,dt + \int _{ \frac{a+b}{2} }^{ b } ( t-a ) \mathcal{T}(t-a) \,dt \biggr] \\ & \qquad{} - \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(b) \bigr\vert \biggl[ \int _{ a }^{ \frac{a+b}{2} } ( t-a ) \mathcal{T}(t-a) \,dt + \int _{ \frac{a+b}{2} }^{ b } ( t-a ) \mathcal{T}(b-t) \,dt \biggr] \\ & \quad = \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(a) \bigr\vert \biggl[ \int _{ \frac{b-a}{2} }^{ b-a } s \mathcal{T}(s) \,ds + \int _{ \frac{b-a}{2} }^{ b-a } ( b-a-s ) \mathcal{T}(s) \,ds \biggr] \\ & \qquad{} - \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(a) \bigr\vert \biggl[ \int _{ 0 }^{ \frac{b-a}{2} } ( b-a-s ) \mathcal{T}(s) \,ds + \int _{ 0 }^{ \frac{b-a}{2} } s \mathcal{T}(s) \,ds \biggr] \\ & \qquad{} + \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(b) \bigr\vert \biggl[ \int _{ \frac{b-a}{2} }^{ b-a } ( b-a-s ) \mathcal{T}(s) \,ds + \int _{ \frac{b-a}{2} }^{ b-a } s \mathcal{T}(s) \,ds \biggr] \\ & \qquad{} - \frac{{ \Vert g \Vert }_{ \infty }}{b-a} \bigl\vert f'(b) \bigr\vert \biggl[ \int _{ 0 }^{ \frac{b-a}{2} } s \mathcal{T}(s) \,ds + \int _{ 0 }^{ \frac{b-a}{2} } (b-a-s) \mathcal{T}(s) \,ds \biggr]. \end{aligned}$$

Adding up the members on the right-hand side of the last inequality immediately gives the desired inequality. □

Remark 2.8

In case of \(T(t,\alpha ) = t^{1- \alpha }\Gamma (\alpha )\), \(\alpha > 0\), Theorem 2.7 implies [9, Theorem 2.4].

In a similar way the following result can be proved.

Theorem 2.9

Let \(f:[a,b]\rightarrow \mathbb{R}\) be a differentiable function on \((a,b)\), \(a< b\), such that \(|f'|^{q}\in L(a,b)\), \(q > 1\), \(|T^{-1}| \in L(0,b-a)\). If we also assume that \(|f'|^{q}\) is convex on \([a,b]\) and \(g:[a,b]\rightarrow \mathbb{R}\) is integrable and symmetric to \(\frac{a+b}{2}\), then

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ { J }_{ T,a+ }^{ \alpha }(g) (b)+{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] - \bigl[ { J }_{ T,a+ }^{ \alpha }(fg) (b)+{ J }_{ T,b- }^{ \alpha }(fg) (a) \bigr] \biggr\vert \\ & \quad \le 2^{1-1/q} { \Vert g \Vert }_{ \infty } \bigl( \bigl\vert f'(a) \bigr\vert ^{q}+ \bigl\vert f'(b) \bigr\vert ^{q}\bigr)^{1/q} \biggl[ \int _{ \frac{b-a}{2} }^{ b-a } \mathcal{T}(s) \,ds - \int _{ 0 }^{ \frac{b-a}{2} } \mathcal{T}(s) \,ds \biggr], \end{aligned}$$

where \(\mathcal{T}(s) = \int _{ 0 }^{ s } \frac{dt}{|T(t,\alpha )|}\).

Proof

Using (2.3) and Hölder’s inequality, we get

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ { J }_{ T,a+ }^{ \alpha }(g) (b)+{ J }_{ T,b- }^{ \alpha }(g) (a) \bigr] - \bigl[ { J }_{ T,a+ }^{ \alpha }(fg) (b)+{ J }_{ T,b- }^{ \alpha }(fg) (a) \bigr] \biggr\vert \\ & \quad \le \biggl[ \int _{ a }^{ b } \biggl\vert \int _{ t }^{ a+b-t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} \biggr\vert \,dt \biggr]^{1-1/q} \cdot \biggl[ \int _{ a }^{ b } \bigl\vert f'(t) \bigr\vert ^{q} \biggl\vert \int _{ t }^{ a+b-t }{ \frac{g(s)}{T(b-s,\alpha )} \,ds} \biggr\vert \,dt \biggr]^{1/q} \\ & \quad = I_{1} \cdot I_{2}. \end{aligned}$$

Analogously as in the proof of Theorem 2.7, we obtain

$$\begin{aligned} I_{2} \le { \Vert g \Vert }_{ \infty }^{1/q} \bigl( \bigl\vert f'(a) \bigr\vert ^{q}+ \bigl\vert f'(b) \bigr\vert ^{q}\bigr)^{1/q} \biggl[ \int _{ \frac{b-a}{2} }^{ b-a } \mathcal{T}(s) \,ds - \int _{ 0 }^{ \frac{b-a}{2} } \mathcal{T}(s) \,ds \biggr]^{1/q}. \end{aligned}$$

By similar calculation,

$$\begin{aligned} I_{1} & \le { \Vert g \Vert }_{ \infty }^{1-1/q} \biggl[ \int _{ a }^{ \frac{a+b}{2} } \biggl\{ \int _{ t-a }^{ b-t }{ \frac{ds}{ \vert T(s,\alpha ) \vert }} \biggr\} \,dt + \int _{ \frac{a+b}{2} }^{ b } \biggl\{ \int _{ b-t }^{ t-a }{ \frac{ds}{ \vert T(s,\alpha ) \vert }} \biggr\} \,dt \biggr]^{1-1/q} \\ & = { \Vert g \Vert }_{ \infty }^{1-1/q} \biggl[ \int _{ a }^{ \frac{a+b}{2} } \mathcal{T}(b-t) - \mathcal{T}(t-a) \,dt + \int _{ \frac{a+b}{2} }^{ b } \mathcal{T}(t-a) - \mathcal{T}(b-t) \,dt \biggr]^{1-1/q} \\ & = { \Vert g \Vert }_{ \infty }^{1-1/q} \biggl[ \int _{ \frac{b-a}{2} }^{ b-a } \mathcal{T}(s) \,ds - \int _{ 0 }^{ \frac{b-a}{2} } \mathcal{T}(s) \,ds + \int _{ \frac{b-a}{2} }^{ b-a } \mathcal{T}(s) \,ds - \int _{ 0 }^{ \frac{b-a}{2} } \mathcal{T}(s) \,ds \biggr]^{1-1/q}, \end{aligned}$$

from where a multiplication gives the desired inequality. □

Remark 2.10

In case of \(T(t,\alpha ) = t^{1- \alpha }\Gamma (\alpha )\), \(\alpha > 0\), under the conditions of Theorem 2.7, we have

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha } }(g) (b)+{}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha } }(g) (a) \bigr] - \bigl[ {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha } }(fg) (b)+{}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha } }(fg) (a) \bigr] \biggr\vert \\ & \quad \le \frac{ 2 (b-a)^{\alpha +1} { \Vert g \Vert }_{ \infty }}{\Gamma (\alpha +2)} \biggl( 1 -\frac{1}{2^{\alpha }} \biggr) \biggl( \frac{ \vert f'(a) \vert ^{q}+ \vert f'(b) \vert ^{q}}{2} \biggr)^{1/q} \end{aligned}$$

that corrects the result of [9, Theorem 2.8].

Remark 2.11

If we consider \(q>1\) and \(\frac{ 1 }{ p } +\frac{ 1 }{ q } =1\), we can obtain other inequalities.

Conclusions

In this article we study new inequalities of the Hermite–Hadamard–Fejér type for functions with derivatives of special type via convexity. The results obtained allow to extend known results in the literature with an appropriate choice of the kernel, since we use general fractional integrals. For example, let us take \(T(t,\alpha ) = k \Gamma _{k} (\alpha ) t^{1- \alpha /k} \), \(\alpha > 0\), and therefore consider the Riemann–Liouville k-fractional integrals of order \(\alpha >0\) defined by (see [1, 17])

$$\begin{aligned}& {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha ,k } }f(t)= \frac{ 1 }{ k \Gamma _{k} (\alpha ) } \int _{ a }^{ t }{ { (t-s) }^{ \alpha /k -1 }f(s) \,ds }, \quad t>a, \\& {}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha ,k } }f(t)= \frac{ 1 }{ k \Gamma _{k} (\alpha ) } \int _{ t }^{ b }{ { (s-t) }^{ \alpha /k -1 }f(s) \,ds }, \quad t< b. \end{aligned}$$

Under the conditions of Theorem 2.7, we have

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha ,k } }(g) (b)+{}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha ,k } }(g) (a) \bigr] - \bigl[ {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha ,k } }(fg) (b)+{}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha ,k } }(fg) (a) \bigr] \biggr\vert \\ & \quad \le \frac{ (b-a)^{\alpha /k +1} { \Vert g \Vert }_{ \infty }}{\Gamma _{k}(\alpha + k) ( \frac{\alpha }{k}+1 )} \biggl( 1 -\frac{1}{2^{\alpha /k}} \biggr) \bigl( \bigl\vert f'(a) \bigr\vert + \bigl\vert f'(b) \bigr\vert \bigr), \end{aligned}$$

while under the conditions of Theorem 2.9,

$$\begin{aligned} & \biggl\vert \frac{ f(a)+f(b) }{ 2 } \bigl[ {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha ,k } }(g) (b)+{}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha ,k } }(g) (a) \bigr] - \bigl[ {}^{ RL }{ { J }_{ { a }^{ + } }^{ \alpha ,k } }(fg) (b)+{}^{ RL }{ { J }_{ { b }^{ - } }^{ \alpha ,k } }(fg) (a) \bigr] \biggr\vert \\ & \quad \le \frac{ 2 (b-a)^{\alpha /k +1} { \Vert g \Vert }_{ \infty }}{\Gamma _{k}(\alpha + k) ( \frac{\alpha }{k}+1 )} \biggl( 1 -\frac{1}{2^{\alpha /k}} \biggr) \biggl( \frac{ \vert f'(a) \vert ^{q}+ \vert f'(b) \vert ^{q}}{2} \biggr)^{1/q}. \end{aligned}$$

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.

Availability of data and materials

Not applicable.

References

  1. 1.

    Agarwal, P., Tariboon, J., Ntouyas, S.K.: Some generalized Riemann-Liouville k-fractional integral inequalities. J. Inequal. Appl. 2016, 122 (2016)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Baleanu, D., Mohammed, P.O., Zeng, S.: Inequalities of trapezoidal type involving generalized fractional integrals. Alex. Eng. J. 59(5), 2975–2984 (2020)

    Article  Google Scholar 

  3. 3.

    Bessenyei, M., Páles, Z.: On generalized higher-order convexity and Hermite–Hadamard-type inequalities. Acta Sci. Math. 70(1–2), 13–24 (2004)

    MathSciNet  MATH  Google Scholar 

  4. 4.

    Dragomir, S.S., Pearce, C.E.M.: Selected Topics on Hermite-Hadamard Inequalities and Applications. RGMIA Monographs. Victoria University, Melbourne (2000)

    Google Scholar 

  5. 5.

    Fejér, L.: Uber die Fourierreihen, II. Math. Naturwiss. Anz. Ungar. Akad. Wiss. 24, 369–390 (1906) (in Hungarian)

    MATH  Google Scholar 

  6. 6.

    Gorenflo, R., Mainardi, F.: Fractals and Fractional Calculus in Continuum Mechanics, pp. 223–276. Springer, Wien (1997)

    Google Scholar 

  7. 7.

    Guzmán, P.M., Langton, G., Lugo, L.M., Medina, J., Nápoles Valdés, J.E.: A new definition of a fractional derivative of local type. J. Math. Anal. 9(2), 88–98 (2018)

    MathSciNet  Google Scholar 

  8. 8.

    Guzmán, P.M., Lugo, L.M., Nápoles Valdés, J.E., Vivas-Cortez, M.: On a new generalized integral operator and certain operating properties. Axioms 9(2), 69 (2020)

    Article  Google Scholar 

  9. 9.

    İşcan, İ.: Hermite-Hadamard-Fejér type inequalities for convex functions via fractional integrals. Stud. Univ. Babeş–Bolyai, Math. 60(3), 355–366 (2015)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Jain, S., Mehrez, K., Baleanu, D., Agarwal, P.: Certain Hermite–Hadamard Inequalities for Logarithmically Convex Functions with Applications. Mathematics 7(2), 163 (2019)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Jarad, F., Uğurlu, E., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017, 247 (2017)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Kilbas, A., Srivastava, M.H., Trujillo, J.J.: Theory and Application on Fractional Differential Equations. North-Holland, Amsterdam (2006)

    Google Scholar 

  13. 13.

    Klaričić, M., Neuman, E., Pečarić, J., Šimić, V.: Hermite–Hadamard’s inequalities for multivariate g-convex functions. Math. Inequal. Appl. 8(2), 305–316 (2005)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Kórus, P., Lugo, L.M., Nápoles Valdés, J.E.: Integral inequalities in a generalized context. Studia Sci. Math. Hung. 57, 312–320 (2020)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Mohammed, P.O., Sarikaya, M.Z., Baleanu, D.: On the generalized Hermite–Hadamard inequalities via the tempered fractional integrals. Symmetry 12(4), 595 (2020)

    Article  Google Scholar 

  16. 16.

    Moslehian, M.S.: Matrix Hermite–Hadamard type inequalities. Houst. J. Math. 39(1), 177–189 (2013)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Mubeen, S., Habibullah, G.M.: k-Fractional integrals and application. Int. J. Contemp. Math. Sci. 7, 89–94 (2012)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Nápoles Valdés, J.E., Guzmán, P.M., Lugo, L.M.: Some new results on nonconformable fractional calculus. Adv. Dyn. Syst. Appl. 13(2), 167–175 (2018)

    MathSciNet  Google Scholar 

  19. 19.

    Nápoles Valdés, J.E., Guzmán, P.M., Lugo, L.M., Kashuri, A.: The local non-conformable derivative and Mittag-Leffler function. Sigma J. Eng. Nat. Sci. 38(2), 1007–1017 (2020)

    Google Scholar 

  20. 20.

    Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

    Google Scholar 

  21. 21.

    Rangel-Oliveros, Y.C., Vivas-Cortez, M.J.: On some Hermite-Hadamard type inequalities for functions whose second derivatives are convex generalized. Revista MATUA 5(2), 21–31 (2018)

    Google Scholar 

  22. 22.

    Rangel-Oliveros, Y.C., Vivas-Cortez, M.J.: Ostrowski type inequalities for functions whose second derivative are convex generalized. Appl. Math. Inf. Sci. 12(6), 1117–1126 (2018)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Rashid, S., İşcan, İ., Baleanu, D., Chu, Y.-M.: Generation of new fractional inequalities via n polynomials s-type convexity with applications. Adv. Differ. Equ. 2020, 264 (2020)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Saoudi, K., Agarwal, P., Kumam, P., Ghanmi, A., Thounthonget, P.: The Nehari manifold for a boundary value problem involving Riemann–Liouville fractional derivative. Adv. Differ. Equ. 2018, 263 (2018)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Sarikaya, M.Z., Set, E., Yaldiz, H., Başak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013)

    Article  Google Scholar 

  26. 26.

    Sitho, S., Ntouyas, S.K., Agarwal, P., Tariboon, J.: Noninstantaneous impulsive inequalities via conformable fractional calculus. J. Inequal. Appl. 2018, 261 (2018)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Tomar, M., Agarwal, P., Choi, J.: Hermite-Hadamard type inequalities for generalized convex functions on fractal sets style. Bol. Soc. Parana. Mat. 38(1), 101–116 (2020)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Vivas-Cortez, M.: Féjer type inequalities for \((s,m)\)-convex functions in the second sense. Appl. Math. Inf. Sci. 10(5), 1689–1696 (2016)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Vivas-Cortez, M., Abdeljawad, T., Mohammed, P.O., Rangel-Oliveros, Y.: Simpson’s integral inequalities for twice differentiable convex functions. Math. Probl. Eng. 2020, Article ID 1936461 (2020)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Vivas-Cortez, M., Rangel-Oliveros, Y.: An inequality related to s-φ-convex functions. Appl. Math. Inf. Sci. 14, 151–154 (2020)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Zhao, D., Luo, M.: General conformable fractional derivative and its physical interpretation. Calcolo 54, 903–917 (2017)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

We express our special thanks to the editor and referees of this manuscript.

Funding

Not applicable.

Author information

Affiliations

Authors

Contributions

The three authors have contributed equally to the attempt. All three authors have read carefully and approved the final version of the study.

Corresponding author

Correspondence to Miguel Vivas-Cortez.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access 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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Vivas-Cortez, M., Kórus, P. & Nápoles Valdés, J.E. Some generalized Hermite–Hadamard–Fejér inequality for convex functions. Adv Differ Equ 2021, 199 (2021). https://doi.org/10.1186/s13662-021-03351-7

Download citation

MSC

  • 26A33
  • 26A51
  • 26D10

Keywords

  • Integral inequalities
  • Fractional integrals
  • Convex functions
\