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 Then where the constant \(\frac{1}{4}\) is sharp and \(\varphi, \Phi, \psi, \Psi \in \mathbb {R}\).
$$\varphi< f(x)< \Phi \quad \mbox{and}\quad \psi< g(x)< \Psi \quad\mbox{for all } x \in[a,b]. $$
$$\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)
Anzeige
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 where Γ is the Euler gamma function.
$$\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}$$
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 where Γ is the Euler gamma function.
$$\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}$$
Anzeige
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: where is called the Pochhammer k-symbol. The integral representation of the gamma k-function is
$$ \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^{-}, $$
$$\begin{aligned} (x)_{n,k} = x(x + k) (x + 2k) \cdots \bigl(x + (n -1)k \bigr), \quad n \geq1, \end{aligned}$$
$$\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: where \(\Gamma_{k}\) is the Euler gamma k-function.
$$\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}$$
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 where \(\Gamma_{k}\) is the Euler gamma k-function.
$$\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)
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
Then the inequality
holds true.
$$\begin{aligned} {\varphi}_{1}(t)\leq f(t)\leq{\varphi}_{2}(t), \quad \forall t\in[a,b]. \end{aligned}$$
(3)
$$\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}$$
Proof
From inequality (3), for all \(x,y\in[a,b]\), we have This implies that By multiplying both sides of above inequality with and then integrating it with respect to x and y from a to t, we obtain the required inequality. □
$$\bigl(\varphi_{2}(x)-f(x) \bigr) \bigl(f(y)-\varphi_{1}(y) \bigr)\geq0. $$
$$\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}$$
$$\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)} $$
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 The required inequality can be proved by using the above inequality and following the steps of Theorem 2.1. □
$$\bigl(M-f(x) \bigr) \bigl(f(y)-m \bigr)\geq0. $$
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
Then the following inequalities hold:
$$\begin{aligned} \psi_{1}(t)\leq g(t)\leq\psi_{2}(t),\quad \forall t\in[a,b]. \end{aligned}$$
(4)
(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 then By multiplying both sides of above inequality with and then integrating with respect to x and y over \((a,t)\), we obtain (i).
$$\begin{aligned} \bigl(\varphi_{2}(x)-f(x) \bigr) \bigl(g(y)-\psi_{1}(y) \bigr)\geq0, \end{aligned}$$
$$\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}$$
$$\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)} $$
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
Then we have
$$m\leq f(t)\leq M, \qquad n\leq g(t)\leq N, \quad \forall t\in[a,b]. $$
$$\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 Multiplying both sides of the above equation by and integrating with respect to y over \((a,t)\), we obtain the required equality (5). □
$$\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}$$
$$\frac{(r+1)^{1-\frac{\beta}{k}}(t^{r+1}-y^{r+1})^{\frac{\beta}{k}-1} y^{r}}{k\Gamma_{k}(\beta)} $$
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\)
where
$$\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)
$$\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
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 Now since one can easily prove that Similarly,
$$\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)
$$\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)
$$\bigl[f(x)-f(y) \bigr]^{2}=f^{2}(x)+f^{2}(y)-2f(x)f(y), $$
$$\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)
$$\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 Thus the equation (8) together with the inequality (12) implies that Now since and therefore, and By Theorem 2.7, we have Similarly, Equations (14) and (15) together with inequality (13) yield inequality (6). □
$$\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)
$$\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)
$$\bigl(\varphi_{2}(t)-f(t) \bigr) \bigl(f(t)-\varphi_{1}(t) \bigr)\geq0 $$
$$\bigl(\psi_{2}(t)-g(t) \bigr) \bigl(g(t)-\phi_{1}(t) \bigr) \geq0, $$
$$\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] $$
$$\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]. $$
$$\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)
$$\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)
Lemma 2.11
Put
\(r=0\), the inequality (6) reduces to
where
$$\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}$$
$$\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 Here, and
$$\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}$$
$$\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}$$
$$\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.
Acknowledgements
The authors would like to express profound gratitude to referees and the editor for deeper review of this paper and their valuable advice. The authors are also pleased to pay special thanks to Dr. Mumtaz Ahmad for his support in this research.
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.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors SM and SI contributed and approved equally to the writing of this paper.