Open Access

Discussion of some inequalities via fractional integrals

Journal of Inequalities and Applications20182018:19

https://doi.org/10.1186/s13660-017-1609-3

Received: 28 July 2017

Accepted: 28 December 2017

Published: 12 January 2018

Abstract

Recently, many generalizations and extensions of well-known inequalities were obtained via different kinds of fractional integrals. In this paper, we show that most of those results are particular cases of (or equivalent to) existing inequalities from the literature. As consequence, such results are not real generalizations.

Keywords

inequalitiesfractional integrals

MSC

26D1026A33

1 Introduction

Fractional calculus has received a great attention from many researchers in different disciplines. In particular, there has been an important interest in studying inequalities involving different kinds of fractional integrals. Unfortunately, as we will show later, most of the obtained results in this direction are particular cases of (or equivalent to) existing inequalities from the literature.

At first, let us recall briefly some definitions on fractional calculus that will be used later.

Definition 1.1

(see [1])

Let \(f\in L^{1}((a,b);\mathbb{R})\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\). The Riemann-Liouville fractional integrals \(J_{a^{+}}^{\alpha}f\) and \(J_{b^{-}}^{\alpha}f\) of order \(\alpha>0\) are defined by
$$J_{a^{+}}^{\alpha}f(x)=\frac{1}{\Gamma(\alpha)} \int_{a}^{x}(x-t)^{\alpha -1}f(t)\,dt,\quad x>a, $$
and
$$J_{b^{-}}^{\alpha}f(x)=\frac{1}{\Gamma(\alpha)} \int_{x}^{b}(t-x)^{\alpha -1}f(t)\,dt,\quad x< b. $$

Definition 1.2

(see [2])

Let \(f\in L^{1}((a,b);\mathbb{R})\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\). The fractional integrals \(I_{a}^{\alpha}f\) and \(I_{b}^{\alpha}f\) of order \(\alpha\in(0,1)\) are defined by
$$I_{a}^{\alpha}f(x)=\frac{1}{\alpha} \int_{a}^{x} \exp \biggl(-\frac{1-\alpha }{\alpha}(x-t) \biggr)f(t)\,dt,\quad x>a, $$
and
$$I_{b}^{\alpha}f(x)=\frac{1}{\alpha} \int_{x}^{b}\exp \biggl(-\frac{1-\alpha }{\alpha}(t-x) \biggr)f(t)\,dt,\quad x< b. $$

The paper is organized as follows. Section 2 is devoted to results and discussions. More precisely, in Section 2.1, we discuss some recent Hermite-Hadamard-type inequalities via different kinds of fractional integrals. We show that such inequalities are particular cases of (or equivalent to) Fejér inequality. In Section 2.2, we discuss a Gruss-type inequality involving fractional integrals, which was obtained by Dahmani et al. [3]. We show that such inequality is a particular case of a weighted version of Gruss inequality, which was established by Dragomir [4]. In Section 2.3, we discuss a fractional-type inequality related to weighted Chebyshev’s functional, which was presented by Dahmani [5]. We show that such an inequality is not new, and it is equivalent to an existing inequality proved by Dragomir [4]. We end the paper with a conclusion in Section 3.

2 Results and discussions

In this section, we discuss several recent inequalities involving different types of fractional integrals, and we prove that these inequalities are particular cases of (or equivalent to) previous existing results from the literature.

2.1 On Hermite-Hadamard-type inequalities involving fractional integrals

Let \(f: [a,b]\to\mathbb{R}\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\), be a convex function. Then (see [68])
$$ f \biggl(\frac{a+b}{2} \biggr)\leq\frac{1}{b-a} \int_{a}^{b} f(t)\,dt\leq \frac{f(a)+f(b)}{2}. $$
(1)
Inequality (1) was known in the literature as Hermite-Hadamard inequality.

In [9], Fejér established the following result, which contains a weighted generalization of (1).

Theorem 2.1

Let \(f: [a,b]\to\mathbb{R}\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\), be a convex function. Let \(w\in L^{1}((a,b);\mathbb{R})\) be non-negative and symmetric to \(\frac{a+b}{2}\). Then
$$ f \biggl(\frac{a+b}{2} \biggr) \int_{a}^{b} w(t)\,dt \leq \int_{a}^{b} f(t)w(t)\, dt\leq\frac{f(a)+f(b)}{2} \int_{a}^{b} w(t)\,dt. $$
(2)

Observe that (1) follows from (2) by taking \(w\equiv1\).

Recently, many generalizations and extensions of (1) were derived by many authors using fractional integrals. In this direction, we refer the reader to [2, 1014], and the references therein. In this section, we show that most of those results are particular cases of (or equivalent to) Theorem 2.1. To simplify the presentation, we will consider only the results obtained in [2, 12, 14].

In [14], Sarikaya et al. established the following Hermite-Hadamard-type inequality via Riemann-Liouville integrals.

Theorem 2.2

Let \(f\in L^{1}([a,b];\mathbb{R})\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\), be a convex function. Then
$$ f \biggl(\frac{a+b}{2} \biggr)\leq\frac{\Gamma(\alpha+1)}{2(b-a)^{\alpha}} \bigl[J_{a^{+}}^{\alpha}f(b)+J_{b^{-}}^{\alpha}f(a) \bigr]\leq\frac{f(a)+f(b)}{2}, $$
(3)
where \(\alpha>0\).

Note that in [14], it is supposed that \(a\geq0\) and f is a non-negative function. We will show later that such assumptions are superfluous.

In [12], Işcan presented the following result.

Theorem 2.3

Let \(f\in L^{1}([a,b];\mathbb{R})\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\), be a convex function. Let \(g\in L^{1}((a,b);\mathbb{R})\) be non-negative and symmetric to \(\frac{a+b}{2}\). Then
$$ \begin{aligned}[b] f \biggl(\frac{a+b}{2} \biggr) \bigl[J_{a^{+}}^{\alpha}g(b)+J_{b^{-}}^{\alpha}g(a) \bigr]&\leq \bigl[J_{a^{+}}^{\alpha}(fg) (b)+J_{b^{-}}^{\alpha}(fg) (a) \bigr]\\&\leq\frac{f(a)+f(b)}{2} \bigl[J_{a^{+}}^{\alpha}g(b)+J_{b^{-}}^{\alpha}g(a) \bigr],\end{aligned} $$
(4)
where \(\alpha>0\).

In [2], Kirane and Torebek presented the following result.

Theorem 2.4

Let \(f\in L^{1}([a,b];\mathbb{R})\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\), be a convex function. Then
$$ f \biggl(\frac{a+b}{2} \biggr)\leq \frac{1-\alpha}{2(1-\exp(-\mathcal {A}))} \bigl[I_{a}^{\alpha}f(b)+I_{b}^{\alpha}f(a) \bigr]\leq\frac{f(a)+f(b)}{2}, $$
(5)
where \(\alpha\in(0,1)\) and \(\mathcal{A}=\frac{1-\alpha}{\alpha}(b-a)\).

In [2], it is supposed that \(a\geq0\) and f is a non-negative function. We will show later that such assumptions are superfluous.

Our first observation is formulated by the following theorem.

Theorem 2.5

Theorem 2.1 Theorem 2.2.

Proof

Let us suppose that all assumptions of Theorem 2.2 are satisfied. Let us define the function w by
$$w(t)=\frac{1}{\Gamma(\alpha)} \bigl((b-t)^{\alpha-1}+(t-a)^{\alpha -1} \bigr), \quad a< t< b. $$
Clearly, \(w \in L^{1}((a,b);\mathbb{R})\), and it is a non-negative function. Moreover, for all \(t\in(a,b)\), we have
$$\begin{aligned} \Gamma(\alpha)w(a+b-t)&=\bigl(b-(a+b-t)\bigr)^{\alpha-1}+\bigl((a+b-t)-a \bigr)^{\alpha -1}\\&=(t-a)^{\alpha-1}+(b-t)^{\alpha-1}=\Gamma(\alpha)w(t).\end{aligned} $$
Therefore, w is symmetric to \(\frac{a+b}{2}\). Now, by Theorem 2.1, it follows from (2) that
$$ f \biggl(\frac{a+b}{2} \biggr) \int_{a}^{b} w(t)\,dt \leq \int_{a}^{b} f(t)w(t)\, dt\leq\frac{f(a)+f(b)}{2} \int_{a}^{b} w(t)\,dt. $$
(6)
On the other hand, we have
$$ \Gamma(\alpha) \int_{a}^{b} w(t)\,dt= \int_{a}^{b} (b-t)^{\alpha-1} \, dt+ \int_{a}^{b} (t-a)^{\alpha-1} \,dt = \frac{2}{\alpha} (b-a)^{\alpha}. $$
(7)
Moreover, we have
$$ \begin{aligned}[b] \int_{a}^{b} f(t)w(t)\,dt&=\frac{1}{\Gamma(\alpha)} \int_{a}^{b} (b-t)^{\alpha-1} f(t)\,dt+ \frac{1}{\Gamma(\alpha)} \int_{a}^{b} (t-a)^{\alpha-1} f(t)\,dt \\ &=J_{a^{+}}^{\alpha}f(b)+J_{b^{-}}^{\alpha}f(a).\end{aligned} $$
(8)
Therefore, using (6), (7), and (8), we obtain
$$f \biggl(\frac{a+b}{2} \biggr)\leq\frac{\Gamma(\alpha+1)}{2(b-a)^{\alpha}} \bigl[J_{a^{+}}^{\alpha}f(b)+J_{b^{-}}^{\alpha}f(a) \bigr]\leq\frac{f(a)+f(b)}{2}, $$
which is inequality (3). Therefore, we proved that Theorem 2.1 Theorem 2.2. □

Next, we have the following observation concerning Theorem 2.3.

Theorem 2.6

Theorem 2.1 Theorem 2.3.

Proof

Let us suppose that all assumptions of Theorem 2.3 are satisfied. Let us define the function w by
$$w(t)=\frac{g(t)}{\Gamma(\alpha)} \bigl((b-t)^{\alpha-1}+(t-a)^{\alpha -1} \bigr), \quad a< t< b. $$
Clearly, \(w \in L^{1}((a,b);\mathbb{R})\), and it is non-negative and symmetric to \(\frac{a+b}{2}\) (since g is symmetric to \(\frac {a+b}{2}\)). By Theorem 2.1, it follows from (2) that
$$ f \biggl(\frac{a+b}{2} \biggr) \int_{a}^{b} w(t)\,dt \leq \int_{a}^{b} f(t)w(t)\, dt\leq\frac{f(a)+f(b)}{2} \int_{a}^{b} w(t)\,dt. $$
(9)
On the other hand, we have
$$ \begin{aligned}[b] \int_{a}^{b} w(t)\,dt&=\frac{1}{\Gamma(\alpha)} \int_{a}^{b} g(t) \bigl((b-t)^{\alpha-1}+(t-a)^{\alpha-1} \bigr)\,dt \\ &=\frac{1}{\Gamma(\alpha)} \int_{a}^{b} (b-t)^{\alpha-1} g(t)\, dt+ \frac{1}{\Gamma(\alpha)} \int_{a}^{b} (t-a)^{\alpha-1} g(t)\,dt \\ &= J_{a^{+}}^{\alpha}g(b)+J_{b^{-}}^{\alpha}g(a).\end{aligned} $$
(10)
Moreover,
$$ \begin{aligned}[b] \int_{a}^{b} f(t)w(t)\,dt&= \frac{1}{\Gamma(\alpha)} \int_{a}^{b} f(t)g(t) \bigl((b-t)^{\alpha-1}+(t-a)^{\alpha-1} \bigr)\,dt \\ &=\frac{1}{\Gamma(\alpha)} \int_{a}^{b} (b-t)^{\alpha-1} f(t)g(t)\,dt+ \frac{1}{\Gamma(\alpha)} \int_{a}^{b} (t-a)^{\alpha-1} f(t)g(t)\,dt \\ &= J_{a^{+}}^{\alpha}(fg) (b)+J_{b^{-}}^{\alpha}(fg) (a).\end{aligned} $$
(11)
Combining (9), (10), and (11), we obtain
$$f \biggl(\frac{a+b}{2} \biggr) \bigl[J_{a^{+}}^{\alpha}g(b)+J_{b^{-}}^{\alpha}g(a) \bigr]\leq \bigl[J_{a^{+}}^{\alpha}(fg) (b)+J_{b^{-}}^{\alpha}(fg) (a) \bigr]\leq\frac{f(a)+f(b)}{2} \bigl[J_{a^{+}}^{\alpha}g(b)+J_{b^{-}}^{\alpha}g(a) \bigr], $$
which is inequality (4). Therefore, we proved that Theorem 2.1 Theorem 2.3.

Now, suppose that all the assumptions of Theorem 2.1 are satisfied. Taking \(g=w\) and \(\alpha=1\) in (4), we obtain (2). Therefore, we proved that Theorem 2.3 Theorem 2.1. □

Our comment on Theorem 2.4 is formulated by the following theorem.

Theorem 2.7

Theorem 2.1 Theorem 2.4.

Proof

Let us suppose that all assumptions of Theorem 2.4 are satisfied. Let us define the function w by
$$w(t)=\frac{1}{\alpha} \biggl(\exp \biggl(-\frac{1-\alpha}{\alpha }(b-t) \biggr)+\exp \biggl(-\frac{1-\alpha}{\alpha}(t-a) \biggr) \biggr),\quad a\leq t\leq b. $$
It can be easily seen that \(w \in L^{1}((a,b);\mathbb{R})\), and it is non-negative and symmetric to \(\frac{a+b}{2}\). By Theorem 2.1, it follows from (2) that
$$ f \biggl(\frac{a+b}{2} \biggr) \int_{a}^{b} w(t)\,dt \leq \int_{a}^{b} f(t)w(t)\, dt\leq\frac{f(a)+f(b)}{2} \int_{a}^{b} w(t)\,dt. $$
(12)
On the other hand, we have
$$ \begin{aligned}[b] \int_{a}^{b} w(t)\,dt&=\frac{1}{\alpha} \int_{a}^{b} \biggl(\exp \biggl(- \frac {1-\alpha}{\alpha}(b-t) \biggr)+\exp \biggl(-\frac{1-\alpha}{\alpha }(t-a) \biggr) \biggr)\,dt \\ &=\frac{1}{\alpha} \int_{a}^{b} \exp \biggl(-\frac{1-\alpha}{\alpha }(b-t) \biggr)\,dt+\frac{1}{\alpha} \int_{a}^{b} \exp \biggl(-\frac{1-\alpha }{\alpha}(t-a) \biggr)\,dt \\ &= \frac{1}{1-\alpha} \biggl(1-\exp \biggl(-\frac{1-\alpha}{\alpha }(b-a) \biggr) \biggr)-\frac{1}{1-\alpha} \biggl(\exp \biggl(-\frac{1-\alpha }{\alpha}(b-a) \biggr)-1 \biggr) \\ &= \frac{2}{1-\alpha} \biggl(1-\exp \biggl(-\frac{1-\alpha}{\alpha }(b-a) \biggr) \biggr) \\ &=\frac{2}{1-\alpha} \bigl(1-\exp (-\mathcal{A} ) \bigr).\end{aligned} $$
(13)
Moreover, we have
$$ \begin{aligned}[b] \int_{a}^{b} f(t)w(t)\,dt&=\frac{1}{\alpha} \int_{a}^{b} \biggl(\exp \biggl(- \frac{1-\alpha}{\alpha}(b-t) \biggr)+\exp \biggl(-\frac{1-\alpha}{\alpha }(t-a) \biggr) \biggr)f(t)\,dt \\ &=\frac{1}{\alpha} \int_{a}^{b} \exp \biggl(-\frac{1-\alpha}{\alpha }(b-t) \biggr)f(t)\,dt+\frac{1}{\alpha} \int_{a}^{b} \exp \biggl(-\frac{1-\alpha }{\alpha}(t-a) \biggr)f(t)\,dt \\ &=I_{a}^{\alpha}f(b)+I_{b}^{\alpha}f(a).\end{aligned} $$
(14)
Combining (12), (13), and (14), we obtain
$$f \biggl(\frac{a+b}{2} \biggr)\leq \frac{1-\alpha}{2(1-\exp(-\mathcal {A}))} \bigl[I_{a}^{\alpha}f(b)+I_{b}^{\alpha}f(a) \bigr]\leq\frac{f(a)+f(b)}{2}, $$
which is inequality (5). Therefore, we proved that Theorem 2.1 Theorem 2.4. □

2.2 Discussion of Gruss-type inequalities involving fractional integrals

In 1935, Gruss [15] proved the following result.

Theorem 2.8

Let \(f,g\in L^{1}((a,b);\mathbb{R})\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\). Suppose that there exist constants \(m,M,p,P\in\mathbb{R}\) such that
$$m\leq f(x)\leq M,\qquad p\leq g(x)\leq P,\quad a\leq x\leq b. $$
Then
$$ \begin{aligned}[b] &\biggl\vert \frac{1}{b-a} \int_{a}^{b} f(x)g(x)\,dx- \biggl(\frac{1}{b-a} \int_{a}^{b} f(x)\,dx \biggr) \biggl( \frac{1}{b-a} \int_{a}^{b} g(x)\,dx \biggr) \biggr\vert \\&\quad\leq \frac{(M-m)(P-p)}{4}.\end{aligned} $$
(15)

Inequality (15) has evoked the interest of many researchers, and several generalizations of this inequality have appeared in the literature. In particular, in 1998, Dragomir [4] established the following interesting generalization, which provides a weighted version of the Gruss inequality.

Theorem 2.9

Let \(f,g\in L^{1}((a,b);\mathbb{R})\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\). Suppose that there exist constants \(m,M,p,P\in\mathbb{R}\) such that
$$m\leq f(x)\leq M,\qquad p\leq g(x)\leq P,\quad a\leq x\leq b. $$
Let \(h\in L^{1}((a,b);\mathbb{R})\) be a non-negative function such that \(\int_{a}^{b} h(x)\,dx>0\). Then
$$ \begin{aligned}[b]&\biggl\vert \int_{a}^{b} h(x)\,dx \int_{a}^{b} f(x)g(x)h(x)\,dx- \int_{a}^{b} f(x)h(x)\,dx \int_{a}^{b} g(x)h(x)\,dx \biggr\vert \\&\quad \leq \frac{(M-m)(P-p)}{4} \biggl( \int_{a}^{b} h(x)\,dx \biggr)^{2}.\end{aligned} $$
(16)

Observe that (15) follows from (16) by taking \(h\equiv1\).

After the publication of reference [4], in 2010, Dahmani and Tabharit [3] presented the following result.

Theorem 2.10

Let f and g be two integrable functions on \([0,\infty)\). Suppose that there exist constants \(m,M,p,P\in\mathbb{R}\) such that
$$m\leq f(x)\leq M,\qquad p\leq g(x)\leq P,\quad x\geq0. $$
Let \(p\in L^{1}([0,\infty);\mathbb{R})\) be a non-negative function such that \(J_{0^{+}}^{\alpha}p(T)>0\), for all \(T>0\). Then
$$ \bigl\vert J_{0^{+}}^{\alpha}p (T)J_{0^{+}}^{\alpha}(pfg) (T)-J_{0^{+}}^{\alpha}(pf) (T)J_{0^{+}}^{\alpha}(pg) (T) \bigr\vert \leq \bigl(J_{0^{+}}^{\alpha}p(T) \bigr)^{2} \frac{(M-m)(P-p)}{4} $$
(17)
for all \(\alpha>0\) and \(T>0\).

We have the following observation.

Theorem 2.11

Theorem 2.9 Theorem 2.10.

Proof

Suppose that all assumptions of Theorem 2.10 are satisfied. Let us fix \(\alpha>0\) and \(T>0\). Let
$$h(x)=\frac{1}{\Gamma(\alpha)}(T-x)^{\alpha-1} p(x) ,\quad0\leq x< T. $$
Clearly, h is a non-negative function. Moreover, we have
$$ \int_{0}^{T} h(x)\,dx\geq\frac{1}{\Gamma(\alpha)} \int_{0}^{T} (T-x)^{\alpha -1} p(x)\,dx =J_{0^{+}}^{\alpha}p(T)>0. $$
(18)
Therefore, using (18), by Theorem 2.9 with \((a,b)=(0,T)\), it follows from (16) that
$$ \begin{aligned}[b] &\biggl\vert J_{0^{+}}^{\alpha}p(T) \int_{0}^{T} f(x)g(x)h(x)\,dx- \int_{0}^{T} f(x)h(x)\, dx \int_{0}^{T} g(x)h(x)\,dx \biggr\vert \\&\quad \leq \frac{(M-m)(P-p)}{4} \bigl(J_{0^{+}}^{\alpha}p(T) \bigr)^{2}.\end{aligned} $$
(19)
On the other hand, observe that
$$\begin{aligned}& \int_{0}^{T} f(x)g(x)h(x)\,dx = J_{0^{+}}^{\alpha}(pfg) (T), \end{aligned}$$
(20)
$$\begin{aligned}& \int_{0}^{T} f(x)h(x)\,dx = J_{0^{+}}^{\alpha}(pf) (T), \end{aligned}$$
(21)
$$\begin{aligned}& \int_{0}^{T} g(x)h(x)\,dx = J_{0^{+}}^{\alpha}(pg) (T). \end{aligned}$$
(22)
Combining (19), (20), (21), and (22), we obtain inequality (17). Therefore, we proved that Theorem 2.9 Theorem 2.10. □

2.3 Discussion of fractional-type inequalities related to the weighted Chebyshev’s functional

Let us introduce Chebyshev functional
$$M(f,g,p)= \int_{0}^{T} p(x)\,dx \int_{0}^{T}p(x)f(x)g(x)\,dx- \int_{0}^{T}p(x)f(x)\, dx \int_{0}^{T}p(x)g(x)\,dx, $$
where \(T>0\), f and g are two integrable functions on \([0,T]\), and p is a non-negative and integrable function on \([0,T]\).

In [4], Dragomir proved the following interesting result.

Theorem 2.12

Suppose that f and g are two differentiable functions, \(f', g'\in L^{\infty}((0,T);\mathbb{R})\), and p is a non-negative and integrable function on \([0,T]\). Then
$$\big|M(f,g,p)\big|\leq\big\| f'\big\| _{\infty}\big\| g' \big\| _{\infty}\biggl( \int_{0}^{T} p(x)\,dx \int _{0}^{T}x^{2}p(x)\,dx- \biggl( \int_{0}^{T}xp(x)\,dx \biggr)^{2} \biggr). $$
Observe that if we assume also that f and g have the same monotony, then
$$M(f,g,p)\geq0. $$
Indeed, in this case, we have
$$F(x,y):=\frac{(f(x)-f(y))(g(x)-g(y))}{2}\geq0,\quad(x,y)\in (0,T)\times(0,T). $$
Therefore,
$$\int_{0}^{T} \int_{0}^{T} p(x)p(y)F(x,y)\,dx\,dy\geq0. $$
On the other hand, it can be easily seen that
$$M(f,g,p)= \int_{0}^{T} \int_{0}^{T} p(x)p(y)F(x,y)\,dx\,dy\geq0. $$

Then we can state the following result.

Theorem 2.13

Suppose that f and g are two differentiable functions having the same monotony, \(f', g'\in L^{\infty}((0,T);\mathbb{R})\), and p is a non-negative and integrable function on \([0,T]\). Then
$$ 0\leq M(f,g,p)\leq\big\| f'\big\| _{\infty}\big\| g'\big\| _{\infty}\biggl( \int_{0}^{T} p(x)\,dx \int _{0}^{T}x^{2}p(x)\,dx- \biggl( \int_{0}^{T}xp(x)\,dx \biggr)^{2} \biggr). $$
(23)

In [5], Dahmani presented the following fractional version of Theorem 2.13.

Theorem 2.14

Let p be a non-negative function on \([0,\infty)\) and let f and g be two differentiable functions having the same monotony on \([0,\infty )\). If \(f', g'\in L^{\infty}((0,\infty);\mathbb{R})\), then
$$ \begin{aligned}[b]0&\leq J_{0^{+}}^{\alpha}p(T)J_{0^{+}}^{\alpha}(pfg) (T)- J_{0^{+}}^{\alpha}(pf) (T)J_{0^{+}}^{\alpha}(pg) (T)\\ &\leq\big\| f'\big\| _{\infty}\big\| g'\big\| _{\infty}\bigl(J_{0^{+}}^{\alpha}p(T)J_{0^{+}}^{\alpha}\bigl(T^{2}p\bigr) (T)-\bigl(J_{0^{+}}^{\alpha}(Tp) (T) \bigr)^{2} \bigr),\end{aligned} $$
(24)
where \(\alpha>0\).

We have the following observation concerning Theorem 2.14.

Theorem 2.15

Theorem 2.13 Theorem 2.14.

Proof

Suppose that all assumptions of Theorem 2.14 are satisfied. Let us introduce the function
$$\widetilde{p}(x)=(T-x)^{\alpha-1} p(x),\quad0\leq x< T. $$
Clearly, is non-negative and
$$ \int_{0}^{T} \widetilde{p}(x)\,dx=J_{0^{+}}^{\alpha}p(T). $$
(25)
By Theorem 2.13, it follows from (23) that
$$ 0\leq M(f,g,\widetilde{p})\leq\big\| f'\big\| _{\infty}\big\| g'\big\| _{\infty}\biggl( \int_{0}^{T} \widetilde{p}(x)\,dx \int_{0}^{T}x^{2}\widetilde{p}(x)\,dx- \biggl( \int _{0}^{T}x\widetilde{p}(x)\,dx \biggr)^{2} \biggr). $$
(26)
On the other hand, it can be easily seen that
$$\begin{aligned}& \int_{0}^{T} \widetilde{P}(x)f(x)g(x)\,dx= J_{0^{+}}^{\alpha}(pfg) (T), \end{aligned}$$
(27)
$$\begin{aligned}& \int_{0}^{T} \widetilde{P}(x)f(x)\,dx= J_{0^{+}}^{\alpha}(pf) (T), \end{aligned}$$
(28)
$$\begin{aligned}& \int_{0}^{T} \widetilde{P}(x)g(x)\,dx= J_{0^{+}}^{\alpha}(pg) (T), \end{aligned}$$
(29)
$$\begin{aligned}& \int_{0}^{T} x^{2}\widetilde{P}(x)\,dx= J_{0^{+}}^{\alpha}\bigl(T^{2}p\bigr) (T), \end{aligned}$$
(30)
$$\begin{aligned}& \int_{0}^{T} x\widetilde{P}(x)\,dx= J_{0^{+}}^{\alpha}(Tp) (T). \end{aligned}$$
(31)
Using (25), (27), (28), and (29), we obtain
$$ M(f,g,\widetilde{p})=J_{0^{+}}^{\alpha}p(T)J_{0^{+}}^{\alpha}(pfg) (T)- J_{0^{+}}^{\alpha}(pf) (T)J_{0^{+}}^{\alpha}(pg) (T). $$
(32)
Next, using (26), (25), (30), and (31), we obtain
$$\begin{aligned} 0&\leq J_{0^{+}}^{\alpha}p(T)J_{0^{+}}^{\alpha}(pfg) (T)- J_{0^{+}}^{\alpha}(pf) (T)J_{0^{+}}^{\alpha}(pg) (T)\\ &\leq\big\| f'\big\| _{\infty}\big\| g'\big\| _{\infty}\bigl(J_{0^{+}}^{\alpha}p(T)J_{0^{+}}^{\alpha}\bigl(T^{2}p\bigr) (T)-\bigl(J_{0^{+}}^{\alpha}(Tp) (T) \bigr)^{2} \bigr),\end{aligned} $$
which is inequality (24). Therefore, we proved that Theorem 2.13 Theorem 2.14.

Finally, taking \(\alpha=1\) in Theorem 2.14, we obtain the result given by Theorem 2.13. Therefore, we have Theorem 2.14 Theorem 2.13. □

3 Conclusion

Recently, a lot of papers are published concerning inequalities involving different kinds of fractional integrals. In this paper, we proved that most of those inequalities are just particular cases of (or equivalent to) existing results form the literature. We discussed only three types of inequalities: Hermite-Hadamard- type inequalities, Gruss-type inequalities, and an inequality related to Chebyshev’s functional. However, the used technique can be also applied for many other published results.

Declarations

Acknowledgements

MK was supported by the Ministry of Education and Science of the Russian Federation (Agreement number No 02.a03.21.0008). BS extends his appreciation to the Distinguished Scientist Fellowship Program (DSFP) at King Saud University (Saudi Arabia).

Authors’ contributions

MK and BS worked jointly. All the authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
LaSIE, Faculté des Sciences et Technologies, Universié de La Rochelle, La Rochelle Cedex, France
(2)
RUDN University, Moscow, Russia
(3)
Nonlinear Analysis and Applied Mathematics (NAAM) Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah, Saudi Arabia
(4)
Department of Mathematics, College of Science, King Saud University, Riyadh, Saudi Arabia

References

  1. Gorenflo, R, Mainardi, F: Fractional Calculus: Integral and Differential Equations of Fractional Order, pp. 223-276. Springer, Wien (1997) Google Scholar
  2. Kirane, M, Torebek, BT: Hermite-Hadamard, Hermite-Hadamard-Fejer, Dragomir-Agarwal and Pachpatte type inequalities for convex functions via fractional integrals (2016). arXiv:1701.00092v1
  3. Dahmani, Z, Tabharit, L: On weighted Gruss type inequalities via fractional integrals. J. Adv. Res. Pure Math. 2(4), 31-38 (2010) MathSciNetView ArticleGoogle Scholar
  4. Dragomir, SS: Some integral inequalities of Gruss type. RGMIA Res. Rep. Collect. 1(2), 95-111 (1998) Google Scholar
  5. Dahmani, Z: The Riemann-Liouville operator to generate some new inequalities. Int. J. Nonlinear Sci. 12(4), 452-455 (2011) MathSciNetMATHGoogle Scholar
  6. Dragomir, SS, Pearce, CEM: Selected topics on Hermite-Hadamard inequalities and applications (2000) Google Scholar
  7. Hadamard, J: Etude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. J. Math. Pures Appl. 58, 171-215 (1893) MATHGoogle Scholar
  8. Hermite, Ch: Sur deux limites d’une integrale définie. Mathesis 3, 82 (1883) Google Scholar
  9. Fejér, L: Uber die Fourierreihen, II. Math. Naturwiss. Anz. Ungar. Akad. Wiss. 24, 369-390 (1906) (in Hungarian) MATHGoogle Scholar
  10. Agarwal, P, Jleli, M, Tomar, M: Certain Hermite-Hadamard type inequalities via generalized k-fractional integrals. J. Inequal. Appl. 2017, Article ID 55 (2017) MathSciNetView ArticleMATHGoogle Scholar
  11. Chen, H, Katugampola, UN: Hermite-Hadamard and Hermite-Hadamard-Fejér type inequalities for generalized fractional integrals. J. Math. Anal. Appl. 446(2), 1274-1291 (2017) MathSciNetView ArticleMATHGoogle Scholar
  12. Işcan, I: Hermite-Hadamard-Fejér type inequalities for convex functions via fractional integrals (2014) arXiv:1404.7722v1
  13. Jleli, M, Samet, B: On Hermite-Hadamard type inequalities via fractional integrals of a function with respect to another function. J. Nonlinear Sci. Appl. 9, 1252-1260 (2016) MathSciNetMATHGoogle Scholar
  14. Sarikaya, MZ, 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) View ArticleMATHGoogle Scholar
  15. Gruss, D: Uber das maximum des absoluten Betrages von \(\frac {1}{b-a}\int_{a}^{b} f(x)g(x)\,dx-\frac{1}{(b-a)^{2}}\int_{a}^{b} f(x)\,dx \int _{a}^{b} g(x)\,dx\). Math. Z. 39, 215-226 (1935) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2018