Grüss type integral inequalities for generalized Riemann-Liouville k-fractional integrals

Abstract

Integral inequalities are considered to be important as they have many applications described by a number of researchers. Moreover, the theory of fractional calculus is used in solving differential, integral, and integro-differential equations and also in various other problems involving special functions. In this research article, we present the improved version of generalizations for a Grüss type integral inequality by taking a generalized Riemann-Liouville fractional integral in terms of a new parameter $k>0$. We contribute in the on going research by providing mathematical results that can be verified easily.

1 Introduction

Since the integral inequalities are considered to be important, therefore the research has been proceeded to extend the investigation for such type of inequalities. Such inequalities and its applications are extensively described in many articles (see, for instance, [1–5]). Among such types of inequalities, Grüss inequality is considered to be more interesting, perhaps. Grüss inequality could be defined as follows.

Definition 1

Let $f,g:[a,b]\rightarrow\mathbb{R}$ be integrable functions such that

$$\varphi< f(x)< \Phi \quad \mbox{and}\quad \psi< g(x)< \Psi \quad\mbox{for all } x \in[a,b]. $$

Then

$$\begin{aligned} & \biggl\vert \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 \biggr\vert \\ &\quad\leq\frac{1}{4}(\Phi-\varphi) (\Psi-\psi), \end{aligned}$$

(1)

where the constant $\frac{1}{4}$ is sharp and $\varphi, \Phi, \psi, \Psi \in \mathbb {R}$.

The integral inequality (1) (Grüss inequality) as described above, actually connects the integral of the product of two functions with the product of their integrals.

Definition 2

A function $f(t)$ is said to be in $L_{p,r}[a,b]$ if

$$\begin{aligned} \biggl( \int_{a}^{b}\bigl|f(t)\bigr|^{p} t^{r} \,dt \biggr)^{\frac{1}{p}}< \infty,\quad 1\leq p< \infty, r\geq0. \end{aligned}$$

Definition 3

If $f\in L_{1}[a,b]$. Then Riemann-Liouville fractional integral of order $\alpha\geq0$ is defined by

$$\begin{aligned} I_{a}^{\alpha}f(t)=\frac{1}{\Gamma(\alpha)} \int_{a}^{t}(t-x)^{\alpha -1} f(x)\,dx,\quad t \in[a,b], \end{aligned}$$

where Γ is the Euler gamma function.

Definition 4

If $f\in L_{1,r}[a,b]$, then the generalized Riemann-Liouville fractional integral $I_{a}^{\alpha,r}$ of order $\alpha\geq0$ and $r\geq0$, introduced by is defined by

$$\begin{aligned} I_{a}^{\alpha,r}f(t)=\frac{(r+1)^{1-\alpha}}{\Gamma(\alpha)} \int _{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\alpha-1} x^{r} f(x)\,dx, \quad t\in[a,b], \end{aligned}$$

where Γ is the Euler gamma function.

Kaçar and Yildirim [6] studied Grüss type inequality and provided useful results. Due to the importance of such results and applications (see [6]), we study the existing results and provide noval results. We introduce parameter $k>0$ and generalize the results in such a way that the existing results can be explored too. Thus, the results provided in this research paper are more generalized as compared to the existing results.

1.1 Applications

Inequalities involving functions of two or more independent variables play fundamental role in the continuous development of the theory, methods and applications of differential and integral equations. In view of the wider applications, integral inequalities have received considerable attention. Recently, different versions of such inequalities have been developed which are useful in the study of different classes of differential and integral equations. These inequalities act as ready tools to study the classes of differential and integral equations [7].

It is well known that Grüss type inequalities in continuous and discrete cases play a crucial role in studying the qualitative behavior of differential and difference equations, respectively, as well as many other areas of mathematics. Motivated by Grüss [8], our purpose is to prove more general versions of Grüss type inequalities.

1.2 Related work

Researchers focused in investigating such integrals and provided remarkable results for inequalities involving Riemann-Liouville fractional integrals like the Grüss, Chebyshev and Hermite-Hadamard type inequalities for integrable functions as well as for convex functions (see [9–15]).

Recently, Diaz and Pariguan [16] have defined the generalization of the classical gamma and beta functions in terms of a new parameter $k>0$, called gamma and beta k-functions, respectively:

$$ \Gamma_{k}(x) = \lim_{n\to\infty} \frac{n! k^{n}(nk)^{\frac {x}{k}-1}}{(x)_{n,k}}, \quad k > 0 , x\in\mathbb{C}\setminus kZ^{-}, $$

where

$$\begin{aligned} (x)_{n,k} = x(x + k) (x + 2k) \cdots \bigl(x + (n -1)k \bigr), \quad n \geq1, \end{aligned}$$

is called the Pochhammer k-symbol. The integral representation of the gamma k-function is

$$\begin{aligned} \Gamma_{k}(x) = \int_{0}^{\infty}t^{x-1}e^{-\frac{t^{k}}{k}}\,dt , \quad Re(x) > 0. \end{aligned}$$

In 2010, Krasniqi [17] proved some inequalities and monotonicity for the ratio of gamma k-function. Later, in 2012, using the above definitions, Mubeen and Habibullah [18] have introduced the k-fractional integral of the Riemann-Liouville type as follows:

$$\begin{aligned} I_{a,k}^{\alpha}f(t)=\frac{1}{k\Gamma_{k} (\alpha)} \int _{a}^{t}(t-x)^{\frac{\alpha}{k}-1} f(x)\,dx,\quad t \in[a,b], \end{aligned}$$

where $\Gamma_{k}$ is the Euler gamma k-function.

In 2013, Kokologiannaki and Krasniqi [19] gave completely monotonicity properties and inequalities for functions involving the gamma and psi k-functions. They also introduced the k-analogue of the Riemann Zeta function and obtained some inequalities relating gamma and zeta k-functions. Romero et al. [20] introduced a new fractional operator called the k-Riemann-Liouville fractional derivative by using gamma k-function. They also proved some properties of this newly defined fractional operator and found its relationship with the Riemann-Liouville k-fractional integral.

During the past few years, many researchers investigated a large number of inequalities involving the fractional q-integral operators. In 2014, Baleanu and Agarwal [21] established some inequalities involving Saigo fractional q-integral operator in the theory of quantum calculus by using the two parameters of deformation. They also presented the corresponding inequalities involving Riemann-Liouville and Kober fractional q-integral operators respectively as special cases. Choi and Agarwal [22] established some new Saigo type fractional integral inequalities and their q-analogue. As their special cases, they proved the corresponding inequalities involving Riemann-Liouville and Erdélyi-Kober type fractional integral operators.

Agarwal et al. [23] proved some new fractional integral inequalities involving generalized Erdélyi-Kober fractional q-integral operator. They also considered the cases of synchronous functions as well as the functions bounded by integrable functions. Sarikaya and Karaca [24] gave a generalization of the Riemann-Liouville k-fractional integral with some properties. Also they proved some new integral inequalities involving this generalized Riemann-Liouville k-fractional integral.

In 2015, Choi et al. [25] established some new inequalities involving generalized Erdélyi-Kober fractional q-integral operator of the two parameters of deformation. Liu et al. [26] proved some new integral inequalities of Gronwall-Bellman-Bihari type with delay for discontinuous functions which generalize and improve some former famous results about inequalities and which is helpful to discuss the qualitative and quantitative properties for solutions to some nonlinear differential and integral equations.

Sarikaya et al. [27] have introduced $(k,r)$-fractional integral of the Riemann type as

$$\begin{aligned} I_{a,k}^{\alpha,r}f(t)=\frac{(r+1)^{1-\frac{\alpha}{k}}}{k\Gamma_{k} (\alpha)} \int_{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha}{k}-1} x^{r} f(x)\,dx, \quad t\in[a,b], \end{aligned}$$

(2)

where $\Gamma_{k}$ is the Euler gamma k-function.

2 Results and discussion

In this section, we prove some Grüss type inequalities involving the generalized Riemann-Liouville k-fractional integral $I_{a,k}^{\alpha ,r}$ defined in (2).

Theorem 2.1

For $k>0$, let $f\in L_{1,r}[a,b]$ and $r\geq0$, $\alpha,\beta>0$. Suppose that there exist two integrable functions ${\varphi}_{1}$, ${\varphi}_{2}$ on $[a,b]$ such that

$$\begin{aligned} {\varphi}_{1}(t)\leq f(t)\leq{\varphi}_{2}(t), \quad \forall t\in[a,b]. \end{aligned}$$

(3)

Then the inequality

$$\begin{aligned} &I_{a,k}^{\beta,r}\varphi_{1}(t)I_{a,k}^{\alpha,r}f(t)+I_{a,k}^{\alpha ,r} \varphi_{2}(t)I_{a,k}^{\beta,r}f(t) \\ &\quad\geq I_{a,k}^{\alpha,r}\varphi_{2}(t)I_{a,k}^{\beta,r} \varphi _{1}(t)+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta,r}f(t) \end{aligned}$$

holds true.

Proof

From inequality (3), for all $x,y\in[a,b]$, we have

$$\bigl(\varphi_{2}(x)-f(x) \bigr) \bigl(f(y)-\varphi_{1}(y) \bigr)\geq0. $$

This implies that

$$\begin{aligned} \varphi_{2}(x)f(y)+\varphi_{1}(y)f(x)\geq \varphi_{1}(y)\varphi_{2}(x)+f(x)f(y). \end{aligned}$$

By multiplying both sides of above inequality with

$$\frac{(r+1)^{2-\frac{\alpha}{k}-\frac{\beta}{k}}(t^{r+1}-x^{r+1})^{\frac {\alpha}{k}-1}(t^{r+1}-y^{r+1})^{\frac{\beta}{k}-1} x^{r} y^{r}}{k^{2}\Gamma _{k}(\alpha)\Gamma_{k}(\beta)} $$

and then integrating it with respect to x and y from a to t, we obtain the required inequality. □

Lemma 2.2

Put $r=0$ in Theorem  2.1, we get

$$\begin{aligned} &I_{a,k}^{\beta}\varphi_{1}(t)I_{a,k}^{\alpha}f(t)+I_{a,k}^{\alpha} \varphi _{2}(t)I_{a,k}^{\beta}f(t) \geq I_{a,k}^{\alpha}\varphi_{2}(t)I_{a,k}^{\beta} \varphi _{1}(t)+I_{a,k}^{\alpha}f(t)I_{a,k}^{\beta}f(t). \end{aligned}$$

Theorem 2.3

For $k>0$, let $f\in L_{1,r}[a,b]$. Suppose that $m\leq f(t)\leq M$, for all $t\in[a,b]$ and $m,M\in\mathbb{R}$. Then, for $r\geq0$, $\alpha , \beta>0$, we have

$$\begin{aligned} &M \frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\beta,r}f(t)+m \frac{(r+1)^{\frac{-\beta }{k}}t^{(r+1)\frac{\beta}{k}}}{\Gamma_{k}(\beta+k)}I_{a,k}^{\alpha ,r} \\ &\quad\geq m M \frac{(r+1)^{-\frac{(\alpha+\beta)}{k}}t^{(r+1) (\frac {\alpha+\beta}{k} )}}{\Gamma_{k}(\alpha+k)\Gamma_{k}(\beta +k)}+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta,r}f(t). \end{aligned}$$

Proof

Since $m\leq f(t)\leq M$ for all $t\in[a,b]$, for all $x,y\in[a,b]$, we have

$$\bigl(M-f(x) \bigr) \bigl(f(y)-m \bigr)\geq0. $$

The required inequality can be proved by using the above inequality and following the steps of Theorem 2.1. □

Lemma 2.4

Put $r=0$ in Theorem  2.3, we get

$$\begin{aligned} &M \frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\beta}f(t)+m \frac{t^{\frac{\beta}{k}}}{\Gamma_{k}(\beta+k)}I_{a,k}^{\alpha }f(t) \\ &\quad\geq m M \frac{t^{\frac{\alpha+\beta}{k}}}{\Gamma_{k}(\alpha+k)\Gamma _{k}(\beta+k)}+I_{a,k}^{\alpha}f(t)I_{a},{k}^{\beta}f(t). \end{aligned}$$

Theorem 2.5

For $k>0$, let f and g be two integrable functions on $[a,b]$ and $r\geq0$, $\alpha,\beta>0$. Suppose that (3) holds and, moreover, assume that there exist integrable functions $\psi_{1}$ and $\psi_{2}$ on $[a,b]$ such that

$$\begin{aligned} \psi_{1}(t)\leq g(t)\leq\psi_{2}(t),\quad \forall t\in[a,b]. \end{aligned}$$

(4)

Then the following inequalities hold:

• (i) $I_{a,k}^{\beta,r}\psi_{1}(t)I_{a,k}^{\alpha,r}f(t)+I_{a,k}^{\alpha ,r}\varphi_{2}(t)I_{a,k}^{\beta,r}g(t)\geq I_{a,k}^{\beta,r}\psi _{1}(t)I_{a,k}^{\alpha,r}\varphi_{2}(t)+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta ,r}g(t)$,

• (ii) $I_{a,k}^{\beta,r}\varphi_{1}(t)I_{a,k}^{\alpha ,r}g(t)+I_{a,k}^{\alpha,r}\psi_{2}(t)I_{a,k}^{\beta,r}f(t)\geq I_{a,k}^{\beta,r}\varphi_{1}(t)I_{a,k}^{\alpha,r}\psi_{2}(t)+I_{a,k}^{\alpha ,r}g(t)I_{a,k}^{\beta,r}f(t)$,

• (iii) $I_{a,k}^{\alpha,r}\varphi_{2}(t)I_{a,k}^{\beta,r}\psi _{2}(t)+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta,r}g(t)\geq I_{a,k}^{\alpha ,r}\varphi_{2}(t)I_{a,k}^{\beta,r}g(t)+I_{a,k}^{\beta,r}\psi _{2}(t)I_{a,k}^{\alpha,r}f(t)$,

• (iv) $I_{a,k}^{\alpha,r}\varphi_{1}(t)I_{a,k}^{\beta,r}\psi _{1}(t)+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta,r}g(t)\geq I_{a,k}^{\alpha ,r}\varphi_{1}(t)I_{a,k}^{\beta,r}g(t)+I_{a,k}^{\beta,r}\psi _{1}(t)I_{a,k}^{\alpha,r}f(t)$.

Proof

(i): From (3) and (4) for all $t\in[a,b]$, we have

$$\begin{aligned} \bigl(\varphi_{2}(x)-f(x) \bigr) \bigl(g(y)-\psi_{1}(y) \bigr)\geq0, \end{aligned}$$

then

$$\begin{aligned} \varphi_{2}(x)g(y)+\psi_{1}(y)f(x)\geq \psi_{1}(y)\varphi_{2}(x)+f(x)g(y). \end{aligned}$$

By multiplying both sides of above inequality with

$$\frac{(r+1)^{2-\frac{\alpha}{k}-\frac{\beta}{k}}(t^{r+1}-x^{r+1})^{\frac {\alpha}{k}-1}(t^{r+1}-y^{r+1})^{\frac{\beta}{k}-1} x^{r} y^{r}}{k^{2} \Gamma _{k}(\alpha)\Gamma_{k}(\beta)} $$

and then integrating with respect to x and y over $(a,t)$, we obtain (i).

To prove (ii)-(iv), we use the following inequalities

• (ii) $(\psi(x)-g(x))(f(y)-\varphi_{1}(y))\geq0$,

• (iii) $(\varphi_{2}(x)-f(x))(g(y)-\psi_{2}(y))\leq0$,

• (iv) $(\varphi_{1}(x)-f(x))(g(y)-\psi_{1}(y))\leq0$.

 □

By following the steps of the above theorem, the following lemma can be proved.

Lemma 2.6

For $k>0$, let f and g be two integrable functions on $[a,b]$ and $r\geq0$, $\alpha,\beta>0$. Suppose that there exist $m,M,n,N\in \mathbb{R}$ such that

$$m\leq f(t)\leq M, \qquad n\leq g(t)\leq N, \quad \forall t\in[a,b]. $$

Then we have

$$\begin{aligned}& \begin{aligned}[b] \bigl(\mathrm{i}^{*} \bigr) \quad & n\frac{(r+1)^{\frac{-\beta}{k}}t^{(r+1)\frac{\beta }{k}}}{\Gamma_{k}(\beta+k)}I_{a,k}^{\alpha,r}f(t)+M \frac{(r+1)^{\frac {-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha +k)}I_{a,k}^{\beta,r}g(t) \\ &\quad\geq nM \frac{(r+1)^{-\frac{\alpha +\beta}{k}}t^{(r+1)\frac{\alpha+\beta}{k}}}{\Gamma_{k}(\alpha+k)\Gamma _{k}(\beta+k)}+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta,r}g(t), \end{aligned} \\& \begin{aligned}[b] \bigl(\mathrm{ii}^{*} \bigr)\quad & m\frac{(r+1)^{\frac{-\beta}{k}}t^{(r+1)\frac{\beta }{k}}}{\Gamma_{k}(\beta+k)}I_{a,k}^{\alpha,r}g(t)+N \frac{(r+1)^{\frac {-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha +k)}I_{a,k}^{\beta,r}f(t) \\ &\quad\geq mN \frac{(r+1)^{-\frac{\alpha +\beta}{k}}t^{(r+1)\frac{\alpha+\beta}{k}}}{\Gamma_{k}(\alpha+k)\Gamma _{k}(\beta+k)}+I_{a,k}^{\beta,r}f(t)I_{a,k}^{\alpha,r}g(t), \end{aligned} \\& \begin{aligned}[b] \bigl(\mathrm{iii}^{*} \bigr) \quad &M \frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\beta,r}g(t)+ N\frac{(r+1)^{\frac {-\beta}{k}}t^{(r+1)\frac{\beta}{k}}}{\Gamma_{k}(\beta+k)}I_{a,k}^{\alpha ,r}f(t) \\ &\quad\leq MN\frac{(r+1)^{-\frac{\alpha+\beta }{k}}t^{(r+1)\frac{\alpha+\beta}{k}}}{\Gamma_{k}(\alpha+k)\Gamma_{k}(\beta +k)}+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta,r}g(t), \end{aligned} \\& \begin{aligned}[b] \bigl(\mathrm{iv}^{*} \bigr)\quad & m \frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\beta,r}g(t)+ n\frac{(r+1)^{\frac {-\beta}{k}}t^{(r+1)\frac{\beta}{k}}}{\Gamma_{k}(\beta+k)}I_{a,k}^{\alpha ,r}f(t) \\ &\quad\leq mn\frac{(r+1)^{-\frac{\alpha+\beta }{k}}t^{(r+1)\frac{\alpha+\beta}{k}}}{\Gamma_{k}(\alpha+k)\Gamma_{k}(\beta +k)}+I_{a,k}^{\alpha,r}f(t)I_{a,k}^{\beta,r}g(t). \end{aligned} \end{aligned}$$

Theorem 2.7

For $k>0$, let $f\in L_{1,r}[a,b]$ and let $\varphi_{1}$, $\varphi_{2}$ be two integrable functions on $[a,b]$ and $r\geq0$, $\alpha>0$. Suppose that condition (3) holds. Then

$$\begin{aligned} &\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r}f^{2}(t)- \bigl[I_{a,k}^{\alpha,r}f(t) \bigr]^{2} \\ &\quad= \bigl(I_{a,k}^{\alpha,r}\varphi_{2}(t)-I_{a,k}^{\alpha ,r}f(t) \bigr) \bigl(I_{a,k}^{\alpha,r}f(t)-I_{a,k}^{\alpha,r} \varphi_{1}(t) \bigr) \\ &\qquad{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)} \bigl(I_{a,k}^{\alpha,r} \varphi_{2}(t)-I_{a,k}^{\alpha ,r}f(t) \bigr) \bigl(I_{a,k}^{\alpha,r}f(t)-I_{a,k}^{\alpha,r}\varphi _{1}(t) \bigr) \\ &\qquad{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \varphi_{1}(t)f(t) \bigr)-I_{a,k}^{\alpha ,r} \varphi_{1}(t)I_{a,k}^{\alpha,r}f(t) \\ &\qquad{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \varphi_{2}(t)f(t) \bigr)-I_{a,k}^{\alpha ,r} \varphi_{2}(t)I_{a,k}^{\alpha,r}f(t) \\ &\qquad{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \varphi_{1}(t)\varphi _{2}(t) \bigr)+I_{a,k}^{\alpha,r} \varphi_{1}(t)I_{a,k}^{\alpha,r}\varphi_{2}(t). \end{aligned}$$

(5)

Proof

For any $x,y\in[a,b]$ and $r\geq0$, we have

$$\begin{aligned}& \begin{aligned}[b] & \bigl(\varphi_{2}(y)-f(y) \bigr) \bigl(f(x)-\varphi_{1}(x) \bigr)+ \bigl(\varphi_{2}(x)-f(x) \bigr) \bigl(f(y)-\varphi _{1}(y) \bigr) \\ &\qquad{}- \bigl(\varphi_{2}(x)-f(x) \bigr) \bigl(f(x)- \varphi_{1}(x) \bigr)- \bigl(\varphi_{2}(y)-f(y) \bigr) \bigl(f(y)-\varphi _{1}(y) \bigr) \\ &\quad=f^{2}(x)+f^{2}(y)-2f(x)f(y)+\varphi_{2}(y)f(x)+ \varphi_{1}(x)f(y) \\ &\qquad{}-\varphi_{1}(x)\varphi_{2}(y)+\varphi_{2}(x)f(y)+ \varphi_{1}(y)f(x)-\varphi _{1}(y)\varphi_{2}(y) \\ &\qquad{}-\varphi_{2}(x)f(x)+\varphi_{1}(x) \varphi_{2}(x)-\varphi_{1}(x)f(x)-\varphi _{2}(y)f(y) \\ &\qquad{}+\varphi_{1}(y)\varphi_{2}(y)- \varphi_{1}(y)f(y) \end{aligned} \\& \quad\Rightarrow \\& \begin{aligned}[b] & \bigl(\varphi_{2}(y)-f(y) \bigr) \bigl(I_{a,k}^{\alpha ,r}f(t)-I_{a,k}^{\alpha,r} \varphi_{1}(t) \bigr)+ \bigl(I_{a,k}^{\alpha ,r} \varphi_{2}(t)-I_{a,k}^{\alpha,r}f(t) \bigr) \bigl(f(y)- \varphi _{1}(y) \bigr) \\ &\qquad{}-I_{a,k}^{\alpha,r} \bigl[ \bigl(\varphi_{2}(t)-f(t) \bigr) \bigl(f(t)-\varphi_{1}(t) \bigr) \bigr]- \bigl( \varphi_{2}(y)-f(y) \bigr) \bigl(f(y)-\varphi_{1}(y) \bigr) \frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac {\alpha}{k}}}{\Gamma_{k}(\alpha+k)} \\ &\quad=I_{a,k}^{\alpha,r}f^{2}(t)+f^{2}(y) \frac{(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)} -2f(y)I_{a,k}^{\alpha,r}f(t)+\varphi_{2}(y)I_{a,k}^{\alpha,r}f(t)+ \varphi _{2}(y)I_{a,k}^{\alpha,r}\varphi_{1}(t) \\ &\qquad{}+f(y)I_{a,k}^{\alpha,r}\varphi_{2}(t)+f(y)I_{a,k}^{\alpha,r} \varphi _{1}(t)+\varphi_{1}(y)I_{a,k}^{\alpha,r}f(t)- \varphi_{1}(y)I_{a,k}^{\alpha ,r}\varphi_{2}(t)-I_{a,k}^{\alpha,r} \bigl(\varphi_{2}(t)f(t) \bigr) \\ &\qquad{}+I_{a,k}^{\alpha,r} \bigl(\varphi_{1}(t) \varphi_{2}(t) \bigr)-I_{a,k}^{\alpha ,r} \bigl( \varphi_{1}(t)f(t) \bigr)-\varphi_{2}(y)f(y) \frac{(r+1)^{\frac {-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)} \\ &\qquad{}+\varphi_{1}(y)\varphi_{2}(y)\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac {\alpha}{k}}}{\Gamma_{k}(\alpha+k)}- \varphi_{1}(y)f(y)\frac{(r+1)^{\frac {-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}. \end{aligned} \end{aligned}$$

Multiplying both sides of the above equation by

$$\frac{(r+1)^{1-\frac{\beta}{k}}(t^{r+1}-y^{r+1})^{\frac{\beta}{k}-1} y^{r}}{k\Gamma_{k}(\beta)} $$

and integrating with respect to y over $(a,t)$, we obtain the required equality (5). □

Lemma 2.8

For $k>0$, let $r=0$ in Theorem  2.7, we get

$$\begin{aligned} &\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha }f^{2}(t)- \bigl[I_{a,k}^{\alpha}f(t) \bigr]^{2} \\ &\quad= \bigl(I_{a,k}^{\alpha}\varphi_{2}(t)-I_{a,k}^{\alpha}f(t) \bigr) \bigl(I_{a,k}^{\alpha }f(t)-I_{a,k}^{\alpha} \varphi_{1}(t) \bigr) \\ &\qquad{}-\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)} \bigl(I_{a,k}^{\alpha } \varphi_{2}(t)-I_{a,k}^{\alpha}f(t) \bigr) \bigl(I_{a,k}^{\alpha }f(t)-I_{a,k}^{\alpha} \varphi_{1}(t) \bigr) \\ &\qquad{}+\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha } \bigl( \varphi_{1}(t)f(t) \bigr)-I_{a,k}^{\alpha} \varphi_{1}(t)I_{a,k}^{\alpha}f(t) \\ &\qquad{}+\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha} \bigl(\varphi _{2}(t)f(t) \bigr)-I_{a,k}^{\alpha}\varphi_{2}(t)I_{a,k}^{\alpha}f(t) \\ &\qquad{}-\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha } \bigl( \varphi_{1}(t)\varphi_{2}(t) \bigr)+I_{a,k}^{\alpha} \varphi_{1}(t)I_{a,k}^{\alpha }\varphi_{2}(t). \end{aligned}$$

Corollary 2.9

For $k>0$, let $f\in[a,b]$. Suppose that $m\leq f(t)\leq M$ for all $t\in[a,b]$ and $m,M\in\mathbb{R}$. Then, for $r\geq0$ and $\alpha >0$, we have

$$\begin{aligned} &\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r}f^{2}(t)- \bigl[I_{a,k}^{\alpha,r}f(t) \bigr]^{2} \\ &\quad=-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl[ \bigl(M-f(t) \bigr) \bigl(f(t)-m \bigr) \bigr] \\ &\qquad{}+ \biggl[\frac{M(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}-I_{a,k}^{\alpha,r}f(t) \biggr]\\ &\qquad{}\times\biggl[I_{a,k}^{\alpha,r}f(t)-\frac{m(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)} \biggr]. \end{aligned}$$

Proof

This equality can be proved by using $\varphi_{1}(t)=m$ and $\varphi _{2}(t)=M$ in Theorem 2.7. □

Theorem 2.10

For $k>0$, let f and g be two integrable functions on $[a,b]$ and let $\varphi_{1}$, $\varphi_{2}$, $\psi_{1}$, and $\psi_{2}$ be four integrable functions satisfying the conditions (3) and (4) on $[a,b]$. Then for all $t\in[a,b]$, $r\geq0$, and $\alpha>0$

$$\begin{aligned} & \biggl\vert \frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(f(t)g(t) \bigr)-I_{a,k}^{\alpha ,r}f(t)I_{a,k}^{\alpha,r}g(t) \biggr\vert \\ &\quad\leq\sqrt{S_{k}^{r}(f,\varphi_{1}, \varphi_{2})S_{k}^{r}(g,\psi_{1}, \psi_{2})}, \end{aligned}$$

(6)

where

$$\begin{aligned} S_{k}^{r}(x,y,z)={}& \bigl(I_{a,k}^{\alpha,r}z(t)-I_{a,k}^{\alpha,r}x(t) \bigr) \bigl(I_{a,k}^{\alpha,r}x(t)-I_{a,k}^{\alpha,r}y(t) \bigr) \\ &{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(y(t)x(t) \bigr)-I_{a,k}^{\alpha ,r}y(t)I_{a,k}^{\alpha,r}x(t) \\ &{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(z(t)x(t) \bigr)-I_{a,k}^{\alpha ,r}z(t)I_{a,k}^{\alpha,r}x(t) \\ &{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(y(t)z(t) \bigr)+I_{a,k}^{\alpha ,r}y(t)I_{a,k}^{\alpha,r}z(t). \end{aligned}$$

Proof

Since f and g are two integrable functions on $[a,b]$ and satisfy the conditions (3) and (4), we define

$$\begin{aligned}& \begin{aligned}[b] B(x,y)&= \bigl[f(x)-f(y) \bigr] \bigl[g(x)-g(y) \bigr] \\ &=f(x)g(x)+f(y)g(y)-f(x)g(y)-f(y)g(x) \end{aligned} \end{aligned}$$

(7)

$$\begin{aligned}& \quad\Rightarrow \\& \begin{aligned}[b] &\frac{(r+1)^{2-\frac{2\alpha}{k}}}{2k^{2}\Gamma_{k}^{2}(\alpha)} \int_{a}^{t} \int _{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha}{k}-1} \bigl(t^{r+1}-y^{r+1} \bigr)^{\frac {\alpha}{k}-1} x^{r}y^{r}B(x,y)\,dx \,dy \\ &\quad=\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(f(t)g(t) \bigr)-I_{a,k}^{\alpha ,r}f(t)I_{r,k}^{\alpha}g(t). \end{aligned} \end{aligned}$$

(8)

Now by using the value of $B(x,y)$ from (7) to the left hand side of equality (8) and then applying the Cauchy-Schwarz inequality, we have

$$\begin{aligned} & \biggl(\frac{(r+1)^{2-\frac{2\alpha}{k}}}{2k^{2}\Gamma_{k}^{2}(\alpha)} \int _{a}^{t} \int_{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha }{k}-1} \bigl(t^{r+1}-y^{r+1} \bigr)^{\frac{\alpha}{k}-1} x^{r}y^{r}B(x,y)\,dx \,dy \biggr)^{2} \\ &\quad\leq\frac{(r+1)^{2-\frac{2\alpha}{k}}}{2k^{2}\Gamma_{k}^{2}(\alpha)} \int _{a}^{t} \int_{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha }{k}-1} \bigl(t^{r+1}-y^{r+1} \bigr)^{\frac{\alpha}{k}-1} x^{r}y^{r} \bigl[f(x)-f(y) \bigr]^{2}\,dx \,dy \\ &\qquad{}\times \frac{(r+1)^{2-\frac{2\alpha}{k}}}{2k^{2}\Gamma_{k}^{2}(\alpha)} \int _{a}^{t} \int_{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha }{k}-1} \bigl(t^{r+1}-y^{r+1} \bigr)^{\frac{\alpha}{k}-1} x^{r}y^{r} \bigl[g(x)-g(y) \bigr]^{2}\,dx \,dy. \end{aligned}$$

(9)

Now since

$$\bigl[f(x)-f(y) \bigr]^{2}=f^{2}(x)+f^{2}(y)-2f(x)f(y), $$

one can easily prove that

$$\begin{aligned} &\frac{(r+1)^{2-\frac{2\alpha}{k}}}{2k^{2}\Gamma_{k}^{2}(\alpha)} \int_{a}^{t} \int _{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha}{k}-1} \bigl(t^{r+1}-y^{r+1} \bigr)^{\frac {\alpha}{k}-1} x^{r}y^{r} \bigl[f(x)-f(y) \bigr]^{2}\,dx \,dy \\ &\quad=\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r}f^{2}(t)- \bigl(I_{a,k}^{\alpha,r}f(t) \bigr)^{2}. \end{aligned}$$

(10)

Similarly,

$$\begin{aligned} &\frac{(r+1)^{2-\frac{2\alpha}{k}}}{2k^{2}\Gamma_{k}^{2}(\alpha)} \int_{a}^{t} \int _{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha}{k}-1} \bigl(t^{r+1}-y^{r+1} \bigr)^{\frac {\alpha}{k}-1} x^{r}y^{r} \bigl[g(x)-g(y) \bigr]^{2}\,dx \,dy \\ &\quad=\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r}g^{2}(t)- \bigl(I_{a,k}^{\alpha,r}g(t) \bigr)^{2}. \end{aligned}$$

(11)

Using equations (10) and (11) into (9), we get

$$\begin{aligned} & \biggl(\frac{(r+1)^{2-\frac{2\alpha}{k}}}{2k^{2}\Gamma_{k}^{2}(\alpha)} \int _{a}^{t} \int_{a}^{t} \bigl(t^{r+1}-x^{r+1} \bigr)^{\frac{\alpha }{k}-1} \bigl(t^{r+1}-y^{r+1} \bigr)^{\frac{\alpha}{k}-1} x^{r}y^{r}B(x,y)\,dx \,dy \biggr)^{2} \\ &\quad\leq \biggl[\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha,r}f^{2}(t)- \bigl(I_{a,k}^{\alpha ,r}f(t) \bigr)^{2} \biggr] \\ &\qquad{}\times \biggl[\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha,r}g^{2}(t)- \bigl(I_{a,k}^{\alpha ,r}g(t) \bigr)^{2} \biggr]. \end{aligned}$$

(12)

Thus the equation (8) together with the inequality (12) implies that

$$\begin{aligned} & \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(f(t)g(t) \bigr)-I_{a,k}^{\alpha ,r}f(t)I_{a,k}^{\alpha,r}g(t) \biggr)^{2} \\ &\quad\leq \biggl[\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha,r}f^{2}(t)- \bigl(I_{a,k}^{\alpha ,r}f(t) \bigr)^{2} \biggr] \\ &\qquad{}\times \biggl[\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha,r}g^{2}(t)- \bigl(I_{a,k}^{\alpha ,r}g(t) \bigr)^{2} \biggr]. \end{aligned}$$

(13)

Now since

$$\bigl(\varphi_{2}(t)-f(t) \bigr) \bigl(f(t)-\varphi_{1}(t) \bigr)\geq0 $$

and

$$\bigl(\psi_{2}(t)-g(t) \bigr) \bigl(g(t)-\phi_{1}(t) \bigr) \geq0, $$

therefore,

$$\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(\varphi_{2}(t)-f(t) \bigr) \bigl(f(t)-\varphi_{1}(t) \bigr)\geq0, \quad t\in[a,b] $$

and

$$\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(\varphi_{2}(t)-f(t) \bigr) \bigl(f(t)-\varphi_{1}(t) \bigr)\geq0,\quad t\in[a,b]. $$

By Theorem 2.7, we have

$$\begin{aligned} &\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r}f^{2}(t)- \bigl[I_{a,k}^{\alpha,r}f(t) \bigr]^{2} \\ &\quad\leq \bigl(I_{a,k}^{\alpha,r}\varphi_{2}(t)-I_{a,k}^{\alpha ,r}f(t) \bigr) \bigl(I_{a,k}^{\alpha,r}f(t)-I_{a,k}^{\alpha,r} \varphi_{1}(t) \bigr) \\ &\qquad{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \varphi_{1}(t)f(t) \bigr)-I_{a,k}^{\alpha ,r} \varphi_{1}(t)I_{a,k}^{\alpha,r}f(t) \\ &\qquad{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \varphi_{2}(t)f(t) \bigr)-I_{a,k}^{\alpha ,r} \varphi_{2}(t)I_{a,k}^{\alpha,r}f(t) \\ &\qquad{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \varphi_{1}(t)\varphi _{2}(t) \bigr)+I_{a,k}^{\alpha,r} \varphi_{1}(t)I_{a,k}^{\alpha,r}\varphi_{2}(t) \\ &\quad=S_{k}^{r}(f,\varphi_{1}, \varphi_{2}). \end{aligned}$$

(14)

Similarly,

$$\begin{aligned} &\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r}g^{2}(t)- \bigl[I_{a,k}^{\alpha,r}g(t) \bigr]^{2} \\ &\quad\leq \bigl(I_{a,k}^{\alpha,r}\psi_{2}(t)-I_{a,k}^{\alpha ,r}g(t) \bigr) \bigl(I_{a,k}^{\alpha,r}g(t)-I_{a,k}^{\alpha,r} \psi_{1}(t) \bigr) \\ &\qquad{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \psi_{1}(t)g(t) \bigr)-I_{a,k}^{\alpha,r}\psi _{1}(t)I_{a,k}^{\alpha,r}g(t) \\ &\qquad{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \psi_{2}(t)g(t) \bigr)-I_{a,k}^{\alpha,r}\psi _{2}(t)I_{a,k}^{\alpha,r}g(t) \\ &\qquad{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \psi_{1}(t)\psi_{2}(t) \bigr)+I_{a,k}^{\alpha ,r} \psi_{1}(t)I_{a,k}^{\alpha,r}\psi_{2}(t) \\ &\quad=S_{k}^{r}(g,\psi_{1},\psi_{2}). \end{aligned}$$

(15)

Equations (14) and (15) together with inequality (13) yield inequality (6). □

Lemma 2.11

Put $r=0$, the inequality (6) reduces to

$$\begin{aligned} & \biggl\vert \frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha } \bigl(f(t)g(t) \bigr)-I_{a,k}^{\alpha}f(t)I_{a,k}^{\alpha}g(t) \biggr\vert \leq\sqrt{S_{k}(f,\varphi_{1},\varphi_{2})S_{k}(f, \psi_{1},\psi_{2})}, \end{aligned}$$

where

$$\begin{aligned} S_{k}(x,y,z)={}& \bigl(I_{a,k}^{\alpha}z(t)-I_{a,k}^{\alpha}x(t) \bigr) \bigl(I_{a,k}^{\alpha}x(t)-I_{a,k}^{\alpha}y(t) \bigr) \\ &{}+\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha} \bigl(y(t)x(t) \bigr)-I_{a,k}^{\alpha}y(t)I_{a,k}^{\alpha}x(t) \\ &{}+\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha} \bigl(z(t)x(t) \bigr)-I_{a,k}^{\alpha}z(t)I_{a,k}^{\alpha}x(t) \\ &{}-\frac{t^{\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha} \bigl(y(t)z(t) \bigr)+I_{a,k}^{\alpha}y(t)I_{a,k}^{\alpha}z(t). \end{aligned}$$

Example 2.12

For $k>0$, let f and g be two functions satisfying $t^{s}\leq f(t)\leq t^{s} +1$ and $t^{s}-1\leq g(t)\leq t^{s}$ for $t\in[a,b]$. Then for $r\geq0$, $\alpha>0$, we have

$$\begin{aligned} & \biggl\vert \frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(f(t)g(t) \bigr)-I_{a,k}^{\alpha ,r}f(t)I_{a,k}^{\alpha,r}g(t) \biggr\vert \leq\sqrt{S_{k}^{r} \bigl(f,t^{s},t^{s}+1 \bigr)S_{k}^{r} \bigl(g,t^{s}-1,t^{s} \bigr)}. \end{aligned}$$

Here,

$$\begin{aligned} &S_{k}^{r} \bigl(f,t^{s},t^{s}+1 \bigr)\\ &\quad= \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac {\alpha}{k}}}{\Gamma_{k}(\alpha+k)}+\frac{(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma_{k}(\frac{sk}{r+1}+k)}{\Gamma _{k}(\alpha+\frac{sk}{r+1}+k)}-I_{a,k}^{\alpha,r}f(t) \biggr) \\ &\qquad{}\times \biggl(I_{a,k}^{\alpha,r}f(t)-\frac{(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma_{k}(\frac{sk}{r+1}+k)}{\Gamma _{k}(\alpha+\frac{sk}{r+1}+k)} \biggr)+\frac{(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha ,r} \bigl(f(t)t^{s} \bigr) \\ &\qquad{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma _{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac{sk}{r+1}+k)}I_{a,k}^{\alpha ,r}f(t)+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl( \bigl(t^{s}+1 \bigr)f(t) \bigr) \\ &\qquad{}- \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma _{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac{sk}{r+1}+k)}+\frac {(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha +k)} \biggr)I_{a,k}^{\alpha,r}f(t) \\ &\qquad{}+ \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma _{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac{sk}{r+1}+k)} \biggr) \\ &\qquad{}\times\biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma _{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac{sk}{r+1}+k)}+ \frac {(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha +k)} \biggr) \\ &\qquad{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)} \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}+s}\Gamma_{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac {sk}{r+1}+k)}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}+2s}\Gamma_{k}(\frac{2sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac {2sk}{r+1}+k)} \biggr), \end{aligned}$$

and

$$\begin{aligned} &S_{k}^{r} \bigl(f,t^{s}-1,t^{s} \bigr)\\ &\quad= \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac {\alpha}{k}}}{\Gamma_{k}(\alpha+k)}-\frac{(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma_{k}(\frac{sk}{r+1}+k)}{\Gamma _{k}(\alpha+\frac{sk}{r+1}+k)}+I_{a,k}^{\alpha,r}g(t) \biggr) \\ &\qquad{}\times \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}+s}\Gamma_{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac {sk}{r+1}+k)}-I_{a,k}^{\alpha,r}g(t) \biggr)+\frac{(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha+k)}I_{a,k}^{\alpha ,r} \bigl( \bigl(t^{s}-1 \bigr)g(t) \bigr) \\ &\qquad{}- \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma _{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac{sk}{r+1}+k)}-\frac {(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha +k)} \biggr)I_{a,k}^{\alpha,r}g(t) \\ &\qquad{}+\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)}I_{a,k}^{\alpha,r} \bigl(t^{s}g(t) \bigr)-\frac{(r+1)^{\frac{-\alpha }{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma_{k}(\frac{sk}{r+1}+k)}{\Gamma _{k}(\alpha+\frac{sk}{r+1}+k)}I_{a,k}^{\alpha,r}g(t) \\ &\qquad{}+ \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma _{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac{sk}{r+1}+k)}-\frac {(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma_{k}(\alpha +k)} \biggr) \\ &\qquad{}\times\biggl( \frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}+s}\Gamma _{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac{sk}{r+1}+k)} \biggr) \\ &\qquad{}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha}{k}}}{\Gamma _{k}(\alpha+k)} \biggl(\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}+s}\Gamma_{k}(\frac{sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac {sk}{r+1}+k)}-\frac{(r+1)^{\frac{-\alpha}{k}}t^{(r+1)\frac{\alpha }{k}+2s}\Gamma_{k}(\frac{2sk}{r+1}+k)}{\Gamma_{k}(\alpha+\frac {2sk}{r+1}+k)} \biggr). \end{aligned}$$

Conclusions

The present research is the generalizations and extensions of Grüss type inequalities in the form of new symbol $k>0$. Finally, if take $k=1$, we have the classical Grüss type inequalities.