Skip to main content

Hermite–Hadamard inequality for fractional integrals of Caputo–Fabrizio type and related inequalities

Abstract

In this article, firstly, Hermite–Hadamard’s inequality is generalized via a fractional integral operator associated with the Caputo–Fabrizio fractional derivative. Then a new kernel is obtained and a new theorem valid for convex functions is proved for fractional order integrals. Also, some applications of our main findings are given.

Introduction

Fractional calculus has been appealing to many researchers over the last decades [15]. Some researchers have found that different fractional derivatives with different singular or nonsingular kernels need to be identified by real-world problems in different fields of engineering and science [612]. These different fractional operators are also used in integral inequalities [1321]. Thus, fractional calculus plays an important role in the development of inequality theory. One of the best-known inequalities, the Hermite–Hadamard inequality, which is generalized by means of several fractional integral operators, is given now.

Theorem 1

(See [22])

Let\(f:I\rightarrow \mathbb{R} \)be a convex function defined on the intervalIof real numbers and\(a,b\in I\)with\(a< b\). Then the following inequality holds:

$$ 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}. $$

In the field of fractional analysis, many researchers have focused on defining new operators and modeling and implementing of the problems based on their features. The features that make the operators different from each other include singularity and locality, while kernel expression of the operator is presented with functions such as the power law, the exponential function or a Mittag-Leffler function. The distinctive feature of the Caputo–Fabrizio operator is that it has a non-singular kernel. With the help of the Caputo–Fabrizio operator, new studies have been made on many modeling problems and real-world problems. This is so because the definition of Caputo–Fabrizio is very effective in better describing heterogeneousness and systems with different scales with memory effects. The main basic feature of the Caputo–Fabrizio definition can be explained as a real power turned into the integer by the Laplace transformation, thus the exact solution can be easily found for various problems. Now, we will proceed by some necessary definitions and preliminary results which are used and referred throughout this paper.

Definition 1

(See [1, 23, 24])

Let \(f\in H^{1} ( a,b ) \), \(a< b\), \(\alpha \in [ 0,1 ] \), then the definition of the left fractional derivative in the sense of Caputo and Fabrizio becomes

$$ \bigl( {}_{a}^{\mathrm{CFC}}D^{\alpha }f \bigr) ( t ) = \frac{B ( \alpha ) }{1-\alpha } \int _{a}^{t}f^{\prime } ( x ) e^{ \frac{-\alpha ( t-x ) ^{\alpha }}{1-\alpha }}\,dx $$

and the associated fractional integral is

$$ \bigl( {}_{a}^{\mathrm{CF}}I^{\alpha }f \bigr) ( t ) = \frac{1-\alpha }{B ( \alpha ) }f ( t ) + \frac{\alpha }{B ( \alpha ) } \int _{a}^{t}f ( x ) \,dx, $$

where \(B ( \alpha ) >0\) is a normalization function satisfying \(B ( 0 ) =B ( 1 ) =1\). For the right fractional derivative we have

$$ \bigl({}^{\mathrm{CFC}}D_{b}^{\alpha }f \bigr) ( t ) = \frac{-B ( \alpha ) }{1-\alpha } \int _{t}^{b}f^{\prime } ( x ) e^{ \frac{-\alpha ( x-t ) ^{\alpha }}{1-\alpha }}\,dx $$

and the associated fractional integral is

$$ \bigl({}^{\mathrm{CF}}I_{b}^{\alpha }f \bigr) ( t ) = \frac{1-\alpha }{B ( \alpha ) }f ( t ) + \frac{\alpha }{B ( \alpha ) } \int _{t}^{b}f ( x ) \,dx. $$

Fractional derivative and integral operators have recently been used to generalize existing kernels. The kernel which we will generalize with the help of a Caputo–Fabrizio fractional integral operator is proven by Dragomir and Agarwal.

Lemma 1

(See [25])

Let\(f:I^{\circ }\subseteq \mathbb{R} \rightarrow \mathbb{R} \)be a differentiable mapping on\(I^{\circ }\), \(a,b\in I\)with\(a< b\). If\(f^{\prime }\in L [ a,b ] \)then the following equality holds:

$$ \frac{f ( a ) +f ( b ) }{2}-\frac{1}{b-a}\int _{a}^{b}f ( x ) \,dx=\frac{b-a}{2} \int _{0}^{1} ( 1-2t ) f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \,dt. $$

In the following section, we will prove a theorem which is a variant of the Hermite–Hadamard inequality.

A generalization of Hermite–Hadamard inequality via the Caputo–Fabrizio fractional operator

Theorem 2

Let a function\(f: [ a,b ] \subseteq \mathbb{R} \rightarrow \mathbb{R} \)be convex on\([ a,b ] \)and\(f\in L_{1} [ a,b ] \). If\(\alpha \in [ 0,1 ] \), then the following double inequality holds:

$$ f \biggl( \frac{a+b}{2} \biggr) \leq \frac{B ( \alpha ) }{\alpha ( b-a ) } \biggl[ \bigl( {}_{a}^{\mathrm{CF}}I^{\alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{ \alpha }f \bigr) ( k ) - \frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) \biggr] \leq \frac{f ( a ) +f ( b ) }{2}, $$
(1)

where\(k\in [ a,b ] \)and\(B ( \alpha ) >0\)is a normalization function.

Proof

Since f is a convex function on \([ a,b ] \) we can write

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

By multiplying both sides of (2) with \(\frac{\alpha ( b-a ) }{2B ( \alpha ) }\) and adding \(\frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) \) we have

$$\begin{aligned}& \frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) +\frac{\alpha ( b-a ) }{B ( \alpha ) }f \biggl( \frac{a+b}{2} \biggr) \\& \quad \leq \frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) +\frac{\alpha }{B ( \alpha ) } \biggl( \int _{a}^{k}f ( x ) \,dx+ \int _{k}^{b}f ( x ) \,dx \biggr) \\& \quad = \biggl( \frac{1-\alpha }{B ( \alpha ) }f ( k ) +\frac{\alpha }{B ( \alpha ) } \int _{a}^{k}f ( x ) \,dx \biggr) + \biggl( \frac{1-\alpha }{B ( \alpha ) }f(k)+ \frac{\alpha }{B ( \alpha ) } \int _{k}^{b}f ( x ) \,dx \biggr) \\& \quad = \bigl( {}_{a}^{\mathrm{CF}}I^{\alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{ \alpha }f \bigr) ( k ) . \end{aligned}$$
(3)

So, the proof of the first inequality in (1) is completed by reorganizing the last inequality. For the proof of the second inequality in (1), if we use the right hand side of Hadamard inequality, we can write

$$ \frac{2}{b-a} \int _{a}^{b}f ( x ) \,dx\leq f ( a ) +f ( b ) . $$
(4)

By making the same operations with (2) in (4), we have

$$ \bigl( {}_{a}^{\mathrm{CF}}I^{\alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{ \alpha }f \bigr) ( k ) \leq \frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) + \frac{\alpha ( b-a ) }{2B ( \alpha ) } \bigl( f ( a ) +f ( b ) \bigr) . $$
(5)

By reorganizing (5), the proof of the second inequality in (1) is completed. □

Theorem 3

Let\(f,g:I\subseteq \mathbb{R}\rightarrow \mathbb{R}\)be a convex function. If\(fg\in L([a,b])\), then we have the following inequality:

$$ \frac{2B(\alpha )}{\alpha (b-a)} \biggl[ \bigl({}_{a}^{\mathrm{CF}}I^{\alpha }{fg} \bigr) ( k ) + \bigl(^{\mathrm{CF}}I_{b}^{\alpha }fg \bigr) ( k ) - \frac{2(1-\alpha )}{B(\alpha )}f(k)g(k) \biggr]\leq \frac{2}{3}M(a,b)+ \frac{1}{3} N(a,b), $$

where

$$\begin{aligned}& M(a,b)=f(a)g(a)+f(b)g(b), \\& N(a,b)=f(a)g(b)+f(b)g(a), \end{aligned}$$

and\(k\in [ a,b ] \), \(B ( \alpha ) >0\)is a normalization function.

Proof

Since f and g are convex functions on \([a,b]\), we have

$$ f\bigl(ta+(1-t)b\bigr)\leq tf(a)+(1-t)f(b), \quad \forall t\in {}[ 0,1], a,b\in I, $$

and

$$ g\bigl(ta+(1-t)b\bigr)\leq tg(a)+(1-t)g(b),\quad \forall t\in {}[ 0,1], a,b\in I. $$

Multiplying above inequalities both sides, we have

$$\begin{aligned}& f\bigl(ta+(1-t)b\bigr)g\bigl(ta+(1-t)b\bigr) \\& \quad \leq t^{2}f(a)g(a)+(1-t)^{2}f(b)g(b)+t(1-t) \bigl[f(a)g(b)+f(b)g(a)\bigr] . \end{aligned}$$
(6)

Integrating (6) with respect to t over \([0,1]\), and making the change of variable, we obtain

$$ \frac{2}{b-a} \int _{a}^{b}f(x)g(x)\,dx\leq \frac{2}{3} \bigl[f(a)g(a)+f(b)g(b) \bigr]+ \frac{1}{3}\bigl[f(a)g(b)+f(b)g(a)\bigr], $$

which implies

$$ \frac{2}{b-a} \biggl[ \int _{a}^{t}f(x)g(x)\,dx+ \int _{t}^{b}f(x)g(x)\,dx \biggr]\leq \frac{2}{3}M(a,b)+\frac{1}{3}N(a,b). $$

By multiplying both sides with \(\frac{\alpha ( b-a ) }{2B ( \alpha ) }\) and adding \(\frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) g(k)\) we have

$$\begin{aligned}& \frac{\alpha }{B(\alpha )} \biggl[ \int _{a}^{k}f(x)g(x)\,dx+ \int _{k}^{b}f(x)g(x)\,dx \biggr]+ \frac{2(1-\alpha )}{B(\alpha )}f(k)g(k) \\& \quad \leq \frac{\alpha (b-a)}{2B(\alpha )} \biggl[\frac{2}{3}M(a,b)+ \frac{1}{3}N(a,b) \biggr]+\frac{2(1-\alpha )}{B(\alpha )}f(k)g(k). \end{aligned}$$

Thus

$$ \bigl( {}_{a}^{\mathrm{CF}}I^{\alpha }fg \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{ \alpha }fg \bigr) ( k ) \leq \frac{\alpha (b-a)}{2B(\alpha )} \biggl[\frac{2}{3}M(a,b)+\frac{1}{3}N(a,b) \biggr]+ \frac{2(1-\alpha )}{B(\alpha )}f(k)g(k), $$

and with suitable rearrangements, the proof is completed. □

Theorem 4

Let\(f,g:I\subseteq \mathbb{R}\rightarrow \mathbb{R}\)be a convex function. If\(fg\in L([a,b])\), the set of integrable functions, then

$$\begin{aligned}& 2f \biggl(\frac{a+b}{2} \biggr)g \biggl(\frac{a+b}{2} \biggr)- \frac{1}{b-a} \bigl[ \bigl({}_{a}^{\mathrm{CF}}I^{\alpha }fg \bigr) ( k ) + \bigl(^{\mathrm{CF}}I_{b}^{ \alpha }fg \bigr) \bigr]k+\frac{1-\alpha }{\alpha (b-a)}f(k)g(k) \\& \quad \leq \frac{2}{3}M(a,b)+\frac{4}{3}N(a,b), \end{aligned}$$
(7)

where\(M(a,b)\)and\(N(a,b)\)are given in Theorem3and\(k\in [ a,b ] \), \(B ( \alpha ) >0\)is a normalization function.

Proof

Since f and g are convex functions on \([a,b]\), for \(t=\frac{1}{2}\), we have

$$ f \biggl(\frac{a+b}{2} \biggr)\leq \frac{f((1-t)a+tb)+f(ta+(1-t)b)}{2},\quad \forall a,b\in I, t\in {}[ 0,1], $$

and

$$ g \biggl(\frac{a+b}{2} \biggr)\leq \frac{g((1-t)a+tb)+g(ta+(1-t)b)}{2},\quad \forall a,b\in I, t\in {}[ 0,1]. $$

Multiplying the above inequalities at both sides, we have

$$\begin{aligned}& f \biggl(\frac{a+b}{2} \biggr)g \biggl(\frac{a+b}{2} \biggr) \\& \quad \leq \frac{1}{4} \bigl[f\bigl((1-t)a+tb\bigr)g\bigl((1-t)a+tb \bigr)+f\bigl(ta+(1-t)b\bigr)g\bigl(ta+(1-t)b\bigr) \\& \qquad {} +f\bigl((1-t)a+tb\bigr)g\bigl(ta+(1-t)b\bigr)+f\bigl(ta+(1-t)b\bigr)g \bigl((1-t)a+tb\bigr) \bigr] \\& \quad \leq \frac{1}{4} \bigl[f\bigl((1-t)a+tb\bigr)g\bigl((1-t)a+tb \bigr)+f\bigl(ta+(1-t)b\bigr)g\bigl(ta+(1-t)b\bigr) \\& \qquad {} +2 \bigl\{ t(1-t) \bigl[f(a)g(a)+f(b)g(b) \bigr]+(1-t)^{2}f(a)g(b)+t^{2}f(b)g(a) \bigr\} \bigr]. \end{aligned}$$

Integrating the above inequality with respect to t over \([0,1]\) and making the change of variable, one obtains

$$\begin{aligned}& f \biggl(\frac{a+b}{2} \biggr)g \biggl(\frac{a+b}{2} \biggr) \\& \quad \leq \frac{1}{2(b-a)} \int _{a}^{b}f(x)g(x)\,dx+\frac{1}{3} \bigl[f(a)g(a)+f(b)g(b) \bigr]+\frac{2}{3} \bigl[f(a)g(b)+f(b)g(a) \bigr]. \end{aligned}$$

Thus

$$ 4f \biggl(\frac{a+b}{2} \biggr)g \biggl(\frac{a+b}{2} \biggr) \leq \frac{2}{(b-a)}\int _{a}^{b}f(x)g(x)\,dx+\frac{4}{3}M(a,b)+ \frac{8}{3}N(a,b). $$

By multiplying both sides with \(\frac{\alpha ( b-a ) }{2B ( \alpha ) }\) and subtracting \(\frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) g(k)\) we have

$$\begin{aligned}& \frac{2\alpha (b-a)}{B(\alpha )}f \biggl(\frac{a+b}{2} \biggr)g \biggl( \frac{a+b}{2} \biggr)-\frac{\alpha }{B(\alpha )} \biggl[ \int _{a}^{k}f(x)g(x)\,dx+ \int _{k}^{b}f(x)g(x)\,dx \biggr] \\& \qquad {}- \frac{2(1-\alpha )}{B(\alpha )}f(k)g(k) \\& \quad \leq \frac{\alpha (b-a)}{2B(\alpha )} \biggl[\frac{4}{3}M(a,b)+ \frac{8}{3}N(a,b) \biggr]-\frac{2(1-\alpha )}{B(\alpha )}f(k)g(k), \end{aligned}$$

and one arrives at

$$\begin{aligned}& \frac{2\alpha (b-a)}{B(\alpha )}f \biggl(\frac{a+b}{2} \biggr)g \biggl( \frac{a+b}{2} \biggr)-\frac{\alpha }{B(\alpha )} \bigl[ \bigl({}_{a}^{\mathrm{CF}}I^{\alpha }fg \bigr) ( k ) + \bigl(^{\mathrm{CF}}I_{b}^{\alpha }fg \bigr) \bigr] ( k ) \\& \quad \leq \frac{\alpha (b-a)}{2B(\alpha )} \biggl[\frac{4}{3}M(a,b)+ \frac{8}{3}N(a,b) \biggr]-\frac{2(1-\alpha )}{B(\alpha )}f(k)g(k). \end{aligned}$$

Multiplying both sides of the above inequality by \(\frac{2B(\alpha )}{\alpha (b-a)}\), we get the required inequality (7). □

Some new results related with Caputo–Fabrizio fractional operator

In this section, firstly, we will generalize a lemma, then we will put forward a theorem with the help of the lemma.

Lemma 2

Let\(f:I\subseteq \mathbb{R} \rightarrow \mathbb{R} \)be a differentiable mapping on\(I^{\circ }\), \(a,b\in I\)with\(a< b\). If\(f^{\prime }\in L_{1} [ a,b ] \)and\(\alpha \in [ 0,1 ] \), the following equality holds:

$$\begin{aligned}& \frac{b-a}{2} \int _{0}^{1} ( 1-2t ) f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \,dt- \frac{2 ( 1-\alpha ) }{\alpha ( b-a ) }f ( k ) \\& \quad = \frac{f ( a ) +f ( b ) }{2}- \frac{B ( \alpha ) }{\alpha ( b-a ) } \bigl[ \bigl( {}_{a}^{\mathrm{CF}}I^{\alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{ \alpha }f \bigr) ( k ) \bigr], \end{aligned}$$

where\(k\in [ a,b ] \)and\(B ( \alpha ) >0\)is a normalization function.

Proof

It is easy to see that

$$\begin{aligned}& \int _{0}^{1} ( 1-2t ) f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \,dt \\& \quad = \frac{f ( a ) +f ( b ) }{b-a}- \frac{2}{ ( b-a ) ^{2}} \biggl( \int _{a}^{k}f ( x ) \,dx+ \int _{k}^{b}f ( x ) \,dx \biggr) . \end{aligned}$$

By multiplying both sides with \(\frac{\alpha ( b-a ) ^{2}}{2B ( \alpha ) }\) and subtracting \(\frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) \) we have

$$\begin{aligned}& \frac{\alpha ( b-a ) ^{2}}{2B ( \alpha ) }\int _{0}^{1} ( 1-2t ) f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \,dt- \frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) \\& \quad = \frac{\alpha ( b-a ) ( f ( a ) +f ( b ) ) }{2B ( \alpha ) }+ \frac{2 ( 1-\alpha ) }{B ( \alpha ) }f ( k ) - \frac{\alpha }{B ( \alpha ) } \biggl( \int _{a}^{k}f ( x ) \,dx+ \int _{k}^{b}f ( x ) \,dx \biggr) \\& \quad = \frac{\alpha ( b-a ) ( f ( a ) +f ( b ) ) }{2B ( \alpha ) }- \biggl( \frac{ ( 1-\alpha ) }{B ( \alpha ) }f ( k ) + \frac{\alpha }{B ( \alpha ) } \int _{a}^{k}f ( x ) \,dx \biggr) \\& \qquad {} - \biggl( \frac{ ( 1-\alpha ) }{B ( \alpha ) }f ( k ) +\frac{\alpha }{B ( \alpha ) } \int _{k}^{b}f ( x ) \,dx \biggr) \\& \quad = \frac{\alpha ( b-a ) ( f ( a ) +f ( b ) ) }{2B ( \alpha ) }- \bigl[ \bigl( {}_{a}^{\mathrm{CF}}I^{ \alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{\alpha }f \bigr) ( k ) \bigr] . \end{aligned}$$

Thus, the proof is completed. □

Theorem 5

Let\(f:I\subseteq \mathbb{R} \rightarrow \mathbb{R} \)be a differentiable positive mapping on\(I^{\circ }\)and\(\vert f^{\prime } \vert \)be convex on\([ a,b ] \)where\(a,b\in I\)with\(a< b\). If\(f^{\prime }\in L_{1} [ a,b ] \)and\(\alpha \in [ 0,1 ] \), the following inequality holds:

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}+ \frac{2 ( 1-\alpha ) }{\alpha ( b-a ) }f ( k ) - \frac{B ( \alpha ) }{\alpha ( b-a ) } \bigl[ \bigl( {}_{a}^{\mathrm{CF}}I^{ \alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{\alpha }f \bigr) ( k ) \bigr] \biggr\vert \\& \quad \leq \frac{ ( b-a ) ( \vert f^{\prime } ( a ) \vert + \vert f^{\prime } ( b ) \vert ) }{8}, \end{aligned}$$

where\(k\in [ a,b ] \)and\(B ( \alpha ) >0\)is a normalization function.

Proof

By using Lemma 2, the properties of the absolute value and the convexity of \(\vert f^{\prime } \vert \) we have

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}+ \frac{2 ( 1-\alpha ) }{\alpha ( b-a ) }f ( k ) - \frac{B ( \alpha ) }{\alpha ( b-a ) } \bigl[ \bigl( {}_{a}^{\mathrm{CF}}I^{ \alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{\alpha }f \bigr) ( k ) \bigr] \biggr\vert \\& \quad \leq \frac{b-a}{2} \int _{0}^{1} \vert 1-2t \vert \bigl\vert f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert \,dt \\& \quad \leq \frac{b-a}{2} \int _{0}^{1} \vert 1-2t \vert \bigl( t \bigl\vert f^{\prime } ( a ) \bigr\vert + ( 1-t ) \bigl\vert f^{\prime } ( b ) \bigr\vert \bigr) \,dt \\& \quad = \frac{b-a}{2} \biggl( \int _{0}^{\frac{1}{2}} ( 1-2t ) \bigl( t \bigl\vert f^{\prime } ( a ) \bigr\vert + ( 1-t ) \bigl\vert f^{\prime } ( b ) \bigr\vert \bigr) \,dt \\& \qquad {} + \int _{\frac{1}{2}}^{1} ( 2t-1 ) \bigl( t \bigl\vert f^{\prime } ( a ) \bigr\vert + ( 1-t ) \bigl\vert f^{\prime } ( b ) \bigr\vert \bigr) \,dt \biggr) \\& \quad = \frac{ ( b-a ) ( \vert f^{\prime } ( a ) \vert + \vert f^{\prime } ( b ) \vert ) }{8}. \end{aligned}$$

So the proof is completed. □

Theorem 6

Let\(f:I\subseteq \mathbb{R} \rightarrow \mathbb{R} \)be a differentiable positive mapping on\(I^{\circ }\)and\(\vert f^{\prime } \vert ^{q}\)be convex on\([ a,b ] \)where\(p>1\), \(p^{-1}+q^{-1}=1\), \(a,b\in I\)with\(a< b\). If\(f^{\prime }\in L_{1} [ a,b ] \)and\(\alpha \in [ 0,1 ] \), the following inequality holds:

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}+ \frac{2 ( 1-\alpha ) }{\alpha ( b-a ) }f ( k ) - \frac{B ( \alpha ) }{\alpha ( b-a ) } \bigl[ \bigl( {}_{a}^{\mathrm{CF}}I^{ \alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{\alpha }f \bigr) ( k ) \bigr] \biggr\vert \\& \quad \leq \frac{b-a}{2} \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \biggl( \frac{ \vert f^{\prime } ( a ) \vert ^{q} + \vert f^{\prime } ( b ) \vert ^{q}}{2} \biggr) ^{\frac{1}{q}}, \end{aligned}$$

where\(k\in [ a,b ] \)and\(B ( \alpha ) >0\)is a normalization function.

Proof

By a similar argument to the proof of the previous theorem, but now using Lemma 2, the Hölder inequality and convexity of \(\vert f^{\prime } \vert ^{q}\), we get

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}+ \frac{2 ( 1-\alpha ) }{\alpha ( b-a ) }f ( k ) - \frac{B ( \alpha ) }{\alpha ( b-a ) } \bigl[ \bigl( {}_{a}^{\mathrm{CF}}I^{ \alpha }f \bigr) ( k ) + \bigl({}^{\mathrm{CF}}I_{b}^{\alpha }f \bigr) ( k ) \bigr] \biggr\vert \\& \quad \leq \frac{b-a}{2} \int _{0}^{1} \vert 1-2t \vert \bigl\vert f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert \,dt \\& \quad \leq \frac{b-a}{2} \biggl( \int _{0}^{1} \vert 1-2t \vert ^{p}\,dt \biggr) ^{\frac{1}{p}} \biggl( \int _{0}^{1} \bigl\vert f^{ \prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \biggr) ^{\frac{1}{q}} \\& \quad = \frac{b-a}{2} \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \biggl( \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{2} \biggr) ^{\frac{1}{q}}. \end{aligned}$$

So the proof is completed. □

Application to special means

It is very important to give an application in terms of efficiency and usefulness of the results obtained. At the same time, the accuracy of the findings will be confirmed by the application to special means for real numbers \(a_{1}\), \(a_{2}\) such that \(a_{1}\neq a_{2}\):

  1. (1)

    The arithmetic mean

    $$ \mathcal{A}=\mathcal{A}(a_{1},a_{2})= \frac{a_{1}+a_{2}}{2},\quad a_{1},a_{2} \in \mathbb{R}. $$
  2. (2)

    The generalized logarithmic mean

    $$ \mathcal{L}=\mathcal{L}_{r}^{r}(a_{1},a_{2})= \frac{a_{2}^{\mathfrak{r}+1}-a_{1}^{\mathfrak{r}+1}}{(r+1)(a_{2}-a_{1})}, \quad \mathfrak{r} \in \mathbb{R}\setminus \{-1,0 \setminus \}, a_{1},a_{2}\in \mathbb{R}, a_{1} \neq a_{2}. $$

Now, using the results in Sect. 3, we have some applications to the special means of real numbers.

Proposition 1

Let\(a_{1},a_{2}\in \mathbb{R}^{+}\), \(a_{1}< a_{2}\), then

$$ \bigl\vert \mathcal{A}\bigl(a_{1}^{2},a_{2}^{2} \bigr)-\mathcal{L}_{2}^{2}(a_{1},a_{2}) \bigr\vert \leq \frac{(a_{1}-a_{2})}{4} \bigl[ \vert a_{1} \vert + \vert a_{2} \vert \bigr]. $$

Proof

In Theorem 5, if we set \(f(z)=z^{2}\) with \(\alpha =1\) and \(B(\alpha )=B(1)=1\), then we obtain the result immediately. □

Proposition 2

Let\(a_{1},a_{2}\in \mathbb{R}^{+}\), \(a_{1}< a_{2}\), then

$$ \bigl\vert \mathcal{A}\bigl(e^{a_{1}},e^{a_{2}}\bigr)- \mathcal{L}\bigl(e^{a_{1}},e^{a_{2}}\bigr) \bigr\vert \leq \frac{(a_{2}-a_{1})}{8}\bigl(e^{a_{1}}+e^{a_{2}} \bigr). $$

Proof

In Theorem 5, if we set \(f(z)=e^{z}\) with \(\alpha =1\) and \(B(\alpha )=B(1)=1\), then we obtain the result immediately. □

Proposition 3

Let\(a_{1},a_{2}\in \mathbb{R}^{+}\), \(a_{1}< a_{2}\), then

$$ \bigl\vert \mathcal{A}\bigl(a_{1}^{n},a_{2}^{n} \bigr)-\mathcal{L}_{n}^{n}(a_{1},a_{2}) \bigr\vert \leq \frac{n(a_{1}-a_{2})}{8} \bigl( \bigl\vert a_{1}^{n-1} \bigr\vert + \bigl\vert {a_{2}^{n-1}} \bigr\vert \bigr). $$

Proof

In Theorem 5, if we set \(f(z)=z^{n}\) where n is an even number with \(\alpha =1\) and \(B(\alpha )=B(1)=1\), then we obtain the result immediately. □

References

  1. 1.

    Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)

    Google Scholar 

  2. 2.

    Das, S.: Functional Fractional Calculus. Springer, Berlin (2011)

    Google Scholar 

  3. 3.

    Kilbas, A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equations. Mathematics Studies, vol. 204. North-Holland, Amsterdam (2006)

    Google Scholar 

  4. 4.

    Dokuyucu, M.A., Baleanu, D., Celik, E.: Analysis of Keller–Segel model with Atangana–Baleanu fractional derivative. Filomat 32(16), 5633–5643 (2018)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Dokuyucu, M.A., Celik, E., Bulut, H., Baskonus, H.M.: Cancer treatment model with the Caputo–Fabrizio fractional derivative. Eur. Phys. J. Plus 133(3), 92 (2018)

    Article  Google Scholar 

  6. 6.

    Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus: Models and Numerical Methods, 2nd edn. (2016)

    Google Scholar 

  7. 7.

    Rashid, S., Hammouch, Z., Kalsoom, H., Ashraf, R., Chu, Y.M.: New investigations on the generalized \(\mathcal{K}\)-fractional integral operators. Front. Phys. 8, 25 (2020)

    Article  Google Scholar 

  8. 8.

    Rashid, S., Kalsoom, H., Hammouch, Z., Ashraf, R., Baleanu, D., Chu, Y.M.: New multi-parametrized estimates having pth-order differentiability in fractional calculus for predominating h-convex functions in Hilbert space. Symmetry 12(2), 222 (2020)

    Article  Google Scholar 

  9. 9.

    Arshad, S., Defterli, O., Baleanu, D.: A second order accurate approximation for fractional derivatives with singular and non-singular kernel applied to a HIV model. Appl. Math. Comput. 374, Article ID 125061 (2020)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Baleanu, D., Jajarmi, A., Mohammadi, H., Rezapour, S.: A new study on the mathematical modelling of human liver with Caputo–Fabrizio fractional derivative. Chaos Solitons Fractals 134, Article ID 109705 (2020)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Baleanu, D., Mohammadi, H., Rezapour, S.: A mathematical theoretical study of a particular system of Caputo–Fabrizio fractional differential equations for the rubella disease model. Adv. Differ. Equ. 2020, 184 (2020). https://doi.org/10.1186/s13662-020-02614-z

    MathSciNet  Article  Google Scholar 

  12. 12.

    Eiman, Shah, K., Sarwar, M., Baleanu, D.: Study on Krasnoselskii’s fixed point theorem for Caputo–Fabrizio fractional differential equations. Adv. Differ. Equ. 2020, 178 (2020). https://doi.org/10.1186/s13662-020-02624-x

    MathSciNet  Article  Google Scholar 

  13. 13.

    Yaldız, H., Akdemir, A.O.: Katugampola fractional integrals within the class of convex functions. Turk. J. Sci. III(I), 40–50 (2018)

    Google Scholar 

  14. 14.

    Kashuri, A., Liko, R.: Ostrowski type conformable fractional integrals for generalized \((g,s,m,\phi )\)-preinvex functions. Turk. J. Inequal. 2(2), 54–70 (2018)

    MATH  Google Scholar 

  15. 15.

    Okur, N., Yalçın, F.B.: Two-dimensional operator harmonically convex functions and related generalized inequalities. Turk. J. Sci. IV(I), 30–38 (2019)

    Google Scholar 

  16. 16.

    Set, E., Akdemir, A.O., Gürbüz, M.: Integral inequalities for different kinds of convex functions involving Riemann–Liouville fractional integrals. Karaelmas Sci. Eng. J. 7(1), 140–144 (2017)

    Google Scholar 

  17. 17.

    Kunt, M., İşcan, İ.: Fractional Hermite–Hadamard–Fejer type inequalities for GA-convex functions. Turk. J. Inequal. 2(1), 1–20 (2018)

    MATH  Google Scholar 

  18. 18.

    Özdemir, M.E., Avcı-Ardıç, M., Kavurmacı-Önalan, H.: Hermite–Hadamard type inequalities for s-convex and s-concave functions via fractional integrals. Turk. J. Sci. I(I), 28–40 (2016)

    MATH  Google Scholar 

  19. 19.

    Sarikaya, M.Z., Alp, N.: On Hermite–Hadamard–Fejer type integral inequalities for generalized convex functions via local fractional integrals. Open J. Math. Sci. 3(1), 273–284 (2019)

    Article  Google Scholar 

  20. 20.

    Ekinci, A., Ozdemir, M.E.: Some new integral inequalities via Riemann–Liouville integral operators. Appl. Comput. Math. 3, 288–295 (2019)

    MathSciNet  MATH  Google Scholar 

  21. 21.

    Farid, G.: Existence of an integral operator and its consequences in fractional and conformable integrals. Open J. Math. Sci. 3(1), 210–216 (2019)

    Article  Google Scholar 

  22. 22.

    Dragomir, S.S., Pearce, C.E.M.: Selected topics on Hermite–Hadamard inequalities and applications (2003). https://rgmia.org/papers/monographs/Master.pdf

  23. 23.

    Abdeljawad, T., Baleanu, D.: On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys. 80(1), 11–27 (2017)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Abdeljawad, T.: Fractional operators with exponential kernels and a Lyapunov type inequality. Adv. Differ. Equ. 2017(1), 313 (2017)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Dragomir, S.S., Agarwal, R.P.: Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett. 11(5), 91–95 (1998)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referees for their valuable suggestions and comments.

Availability of data and materials

Data sharing is not applicable to this paper as no datasets were generated or analyzed during the current study.

Funding

There is no funding for this work.

Author information

Affiliations

Authors

Contributions

All authors jointly worked on the results and they read and approved the final manuscript.

Corresponding author

Correspondence to Ahmet Ocak Akdemir.

Ethics declarations

Competing interests

The authors declares that there is no conflict of interests regarding the publication of this paper.

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

Gürbüz, M., Akdemir, A.O., Rashid, S. et al. Hermite–Hadamard inequality for fractional integrals of Caputo–Fabrizio type and related inequalities. J Inequal Appl 2020, 172 (2020). https://doi.org/10.1186/s13660-020-02438-1

Download citation

MSC

  • 26A33
  • 26D10
  • 26D15
  • 05C38
  • 15A15

Keywords

  • Caputo–Fabrizio Fractional integral
  • Convexity