Skip to main content

New general Grüss-type inequalities over σ-finite measure space with applications

Abstract

In this paper, we establish some new integral inequalities involving general kernels. We obtain the related broad range of fractional integral inequalities. Also, we apply the Young inequality to find new forms of inequalities for generalized kernels. These new and motivated results generalize the results for fractional integrals such that fractional integral of a function with respect to an increasing function, Riemann–Lioville fractional integrals, Erdélyi–Kober fractional integrals, Hadamard fractional integrals, generalized factional integral integrals in addition to the corresponding k-fractional integrals.

Introduction

Fractional calculus deals with the study of derivative and integral operators of fractional order. This field is as important as calculus itself. In the last few decades, it attracted many researchers, who produced remarkable work (see, e.g., [13, 6, 7, 913, 18]). In particular, the uniqueness of solutions for fractional partial differential equations can be established by using fractional integral inequalities.

The Grüss inequality connects the integral of the product of two functions with the product of their integrals. Our main purpose in this paper is showing some new modifications of the Grüss inequality by using a general kernel. The Grüss inequality is one of the most fascinating inequalities and stated in the following theorem.

Theorem 1.1

([5])

Let be a set of real numbers, let \(m,M, n,N \in \Re \), and let \(\varOmega,\varUpsilon:[\tau _{1},\tau _{2}]\rightarrow \Re \)be two positive functions such that \(m\leq \varOmega (\mu )\leq M\)and \(n\leq \varUpsilon (\mu )\leq N\)for \(\mu \in [\tau _{1},\tau _{2}]\). Then

$$\begin{aligned} &\biggl\vert \frac{1}{\tau _{2}-\tau _{1}} \int _{\tau _{1}}^{\tau _{2}} \varOmega (\mu )\varUpsilon (\mu )\,d \mu \\ &\qquad{} - \frac{1}{(\tau _{2}-\tau _{1})^{2}} \int _{\tau _{1}}^{\tau _{2}} \varOmega (\mu )\,d\mu \int _{\tau _{1}}^{\tau _{2}}\varUpsilon (\mu )\,d \mu \biggr\vert \\ &\quad \leq \frac{1}{4}(M-m) (N-n), \end{aligned}$$
(1.1)

where the constant \(\frac{1}{4}\)cannot be improved.

Let \((\Delta, \varSigma,\mu )\) be a measure space with positive σ-finite measure, let \(k: \Delta \times \Delta \to {\mathbb{R}}\) be a nonnegative function, and let

$$ \varTheta (x)= \int _{\Delta } k(x,y) \,d\mu (y),\quad x \in \Delta. $$
(1.2)

Throughout this paper, we suppose \(\varTheta (x)>0\) a.e. on Δ.

Let \(U(k)\) denote the class of functions \(\varLambda: \Delta \to {\mathbb{R}}\) with the representation

$$ \overline{\varLambda }(x)= \int _{\Delta }k(x,y)\varLambda (y)\,d\mu (y), $$

where \(\overline{\varLambda }:\Delta \rightarrow \mathbb{R}\) is a measurable function.

Definition 1.2

Let \(f\in L_{1}([a,b])\) (the Lebesgue measure). The left-sided and right-sided Riemann–Liouville fractional integrals \(I_{a^{+}}^{\alpha }f\) and \(I_{b^{-}}^{\alpha }f\) of order \(\alpha >0\) are defined by

$$ I_{a^{+}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{a}^{x}f(y) (x-y)^{ \alpha -1}\,dy \quad(x>a) $$

and

$$ I_{b^{-}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{x}^{b}f(y) (y-x)^{ \alpha -1}\,dy\quad (x< b), $$

where Γ is the gamma function.

Diaz et al. [4] defined the gamma k-function as follows.

Definition 1.3

The function \(\varGamma _{k}\), a generalization of the classical gamma function, is defined as follows:

$$ \varGamma _{k}(t)=\lim_{n\rightarrow \infty } \frac{n!k^{n}(nk)^{\frac{t}{k}-1}}{(t)_{n,k}}, \quad k>0, \mathfrak{R}(t)>0, $$

where \((t)_{n,k}=t(t+k)(t+2k)\ldots , (t+(n-1)k), n\geq 1\), is the Pochhammer k symbol. Its integral representation is given by

$$ \varGamma _{k}(t)= \int _{0}^{\infty }x^{t-1}e^{\frac{-x^{k}}{k}}\,dx,\quad \mathfrak{R}(t)>0. $$
(1.3)

In particular, for \(k=1\), \(\varGamma _{1}(t)=\varGamma (t)\).

Definition 1.4

([12])

Let \(f\in L_{1}([a,b])\) (the Lebesgue measure). The left-sided and right-sided Riemann–Liouville fractional integrals \(I_{a^{+}}^{\alpha,k}f\) and \(I_{b^{-}}^{\alpha,k}f\) of order \(\alpha,k>0\) are defined by

$$ I_{a^{+}}^{\alpha,k}f(x)=\frac{1}{k\varGamma _{k}(\alpha )} \int _{a}^{x}f(y) (x-y)^{\frac{\alpha }{k}-1}\,dy \quad (x>a) $$

and

$$ I_{b^{-}}^{\alpha,k}f(x)=\frac{1}{k\varGamma _{k}(\alpha )} \int _{x}^{b}f(y) (y-x)^{\frac{\alpha }{k}-1}\,dy\quad (x< b), $$

where \(\varGamma _{k}(\alpha )\) is the k-gamma function.

Definition 1.5

([10])

Let \((a,b), -\infty \leq a < b \leq \infty \), be a finite or infinite interval of the real line , and let \(\alpha >0\). Let g be an increasing and positive monotone function on \((a,b]\). The left- and right-sided fractional integrals of a function f with respect to g in \([a,b]\) are given by

$$ I_{a+;g}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{a}^{x} \frac{g'(t)f(t)\,dt}{[g(x)-g(t)]^{1-\alpha }},\quad x>a, $$

and

$$ I_{b-;g}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{x}^{b} \frac{g'(t)f(t)\,dt}{[g(t)-g(x)]^{1-\alpha }},\quad x< b. $$

A more general form of Definition 1.5 is as follows.

Definition 1.6

Let \(k>0\), let \((a,b), -\infty \leq a < b \leq \infty \), be a finite or infinite interval of the real line , and let \(\alpha >0\). Let g be an increasing and positive monotone function on \((a,b]\). The left- and right-sided fractional integrals of a function f with respect to g of order \(\alpha,k>0\) in \([a,b]\) are given by

$$ I_{a+;g}^{\alpha,k}f(x)=\frac{1}{\varGamma _{k}(\alpha )} \int _{a}^{x} \frac{g'(t)f(t)\,dt}{[g(x)-g(t)]^{1-\frac{\alpha }{k}}},\quad x>a, $$

and

$$ I_{b-;g}^{\alpha,k}f(x)=\frac{1}{\varGamma (\alpha )} \int _{x}^{b} \frac{g'(t)f(t)\,dt}{[g(t)-g(x)]^{1-\frac{\alpha }{k}}},\quad x< b. $$

Now we continue with the definition of Hadamard-type fractional integrals.

Definition 1.7

Let \((a,b)\) be a finite or infinite interval of the half-axis \(\Re _{+}\), and and \(\alpha >0\). The left-sided and right-sided Hadamard-type fractional integrals of order \(\alpha >0\) are given by

$$ J_{a_{+}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{a}^{x} \biggl(\log \frac{x}{y} \biggr)^{\alpha -1} \frac{f(y)\,dy}{y},\quad x>a, $$

and

$$ J_{b_{-}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{x}^{b} \biggl(\log \frac{y}{x} \biggr)^{\alpha -1} \frac{f(y)\,dy}{y},\quad x< b, $$

respectively.

The generalized Hadamard-type fractional integrals are defined as follows.

Definition 1.8

Let \((a,b)\) be a finite or infinite interval of \(\mathbb{R^{+}}\), and let \(\alpha >0\). The left- and right-sided Hadamard-type fractional integrals of order \(\alpha >0\) are given by

$$ J_{a_{+}}^{\alpha }f(x)=\frac{1}{\varGamma _{k}(\alpha )} \int _{a}^{x} \biggl(\log \frac{x}{y} \biggr)^{\frac{\alpha }{k}-1} \frac{f(y)\,dy}{y},\quad x>a, $$

and

$$ J_{b_{-}}^{\alpha }f(x)=\frac{1}{\varGamma _{k}(\alpha )} \int _{x}^{b} \biggl(\log \frac{y}{x} \biggr)^{\frac{\alpha }{k}-1} \frac{f(y)\,dy}{y},\quad x< b, $$

respectively.

Note that Hadamard fractional integrals of order α are a particular case of the left- and right-sided fractional integrals of a function f with respect to the function \(g(x)=\log (x)\) in \([a,b]\), where \(0\leq a < b \leq \infty \).

Now we present the definition of the Erdélyi–Kober-type fractional integrals. Some of these definitions and results were presented in Samko et al. [16].

Definition 1.9

Let \((a, b)\)\((0 \leq a < b \leq \infty )\) be a finite or infinite interval of the half-axis \({\mathbb{R}}^{+}\). Let \(\alpha > 0, \sigma > 0\), and \(\eta \in {\mathbb{R}}\). We consider the left- and right-sided integrals of order \(\alpha \in {\mathbb{R}}\) defined by

$$ I_{a_{+};\sigma;\eta }^{\alpha }f(x)= \frac{\sigma x^{-\sigma (\alpha +\eta )}}{\varGamma (\alpha )} \int _{a}^{x} \frac{t^{\sigma \eta +\sigma -1}f(t)\,dt}{(x^{\sigma }-t^{\sigma })^{1-\alpha }} $$
(1.4)

and

$$ I_{b_{-};\sigma;\eta }^{\alpha }f(x)= \frac{\sigma x^{\sigma \eta }}{\varGamma (\alpha )} \int _{x}^{b} \frac{t^{\sigma (1-\eta -\alpha )-1} f(t)\,dt}{(t^{\sigma }-x^{\sigma })^{1-\alpha }}, $$
(1.5)

respectively. Integrals (1.4) and (1.5) are called the Erdélyi–Kober-type fractional integrals.

Main results

The first main result is given in the following:

Theorem 2.1

Let \((\Delta,\varSigma,\mu )\)be a measure space with positive σ-finite measure, let \(k: \Delta \times \Delta \to {\mathbb{R}}\)be a nonnegative function, and let \(\varOmega \in U(k)\)be a positive function on \([0,\infty )\). Suppose that the exist integrable functions \(\varPsi _{1}, \varPsi _{2}\)on \([0,\infty )\), such that

$$\begin{aligned} \varPsi _{1}(\xi )\leq \varOmega (\xi )\leq \varPsi _{2}(\xi ) \end{aligned}$$
(2.1)

for all \(\xi \in [0,\infty )\). Then

$$\begin{aligned} \overline{\varPsi }_{1}(\xi )\overline{\varOmega }(\xi )+\overline{\varPsi }_{2}( \xi )\overline{\varOmega }(\xi ) \geq \overline{\varPsi }_{1}(\xi ) \overline{\varPsi }_{2}(\xi )+ \overline{\varOmega }(\xi )\overline{\varOmega }( \xi ). \end{aligned}$$
(2.2)

Proof

Using (2.1), for all \(\gamma \geq 0\) and \(\delta \geq 0\), we have

$$\begin{aligned}{} [\varPsi _{2}(\gamma )-\varOmega (\gamma )] \bigl[\varOmega (\delta )-(\varPsi _{1}) ( \delta )\bigr]\geq 0. \end{aligned}$$

Then

$$\begin{aligned} \varPsi _{2}(\gamma )\varOmega (\delta ) +\varPsi _{1}(\delta )\varOmega (\gamma ) \geq \varPsi _{1}(\delta ) \varPsi _{2}(\gamma )+\varOmega (\gamma )\varOmega ( \delta ). \end{aligned}$$
(2.3)

Multiplying both sides of (2.3) by \(k(\xi,\gamma )\) and integrating the resulting identity with respect to γ over Δ, we get

$$\begin{aligned} &\varOmega (\delta ) \int _{\Delta }k(\xi,\gamma ) \varPsi _{2}( \gamma )\,d\mu (\gamma ) +\varPsi _{1}(\delta ) \int _{\Delta }k( \xi,\gamma ) \varOmega (\gamma )\,d\mu (\gamma ) \\ &\quad\geq \varPsi _{1}(\delta ) \int _{\Delta }k(\xi,\gamma ) \varPsi _{2}( \gamma )\,d\mu (\gamma ) +\varOmega (\delta ) \int _{\Delta }k(\xi, \gamma ) \varOmega (\gamma )\,d\mu (\gamma ), \end{aligned}$$

which can be written as

$$\begin{aligned} \varOmega (\delta )\overline{\varPsi }_{2}(\xi ) + \varPsi _{1}(\delta ) \overline{\varOmega }(\xi ) \geq \varPsi _{1}(\delta )\overline{\varPsi }_{2}( \xi ) +\varOmega ( \delta )\overline{\varOmega }(\xi ). \end{aligned}$$
(2.4)

Now multiplying both sides of (2.4) by \(k(\xi,\delta )\) and integrating the resulting identity with respect to δ over Δ, we get

$$\begin{aligned} \overline{\varPsi }_{1}(\xi )\overline{\varOmega }(\xi )+\overline{ \varPsi }_{2} ( \xi )\overline{\varOmega }(\xi ) \geq \overline{\varPsi }_{1}(\xi ) \overline{\varPsi }_{2}(\xi )+\overline{ \varOmega } (\xi )\overline{\varOmega } ( \xi ). \end{aligned}$$

This completes the proof. □

Corollary 2.2

Let \(m,M\in \Re \), with \(m< M\), and let \(\xi >0\). Let Ω be a positive function such that \(m\leq \varOmega (\xi )\leq M\). Then

$$\begin{aligned} m\varTheta (\xi )\overline{\varOmega }(\xi )+M\varTheta (\xi )\overline{ \varOmega }( \xi ) \geq mM \varTheta (\xi )\varTheta (\xi )+\overline{\varOmega }( \xi ) \overline{\varOmega }(\xi ), \end{aligned}$$

where

$$ \varTheta (\xi )= \int _{\Delta } k(\xi,\gamma ) \,d\mu _{2}( \gamma ),\quad \xi \in \Delta. $$
(2.5)

Remark 2.3

Applying Theorem 2.1 and Corollary 2.2 with \(\Delta =(a,b)\), \(d\mu (\gamma )=d\gamma \), and \(d\mu (\delta )=d\delta \), we have

$$ k(x,y)= \textstyle\begin{cases} \frac{g'(y)}{k\varGamma _{k}(\alpha )(g(x)-g(y))^{1-\frac{\alpha }{k}}}, & {a\leq y\leq x}, \\ 0, & {x< y\leq b.} \end{cases} $$
(2.6)

We get that \(\varTheta (x)=\frac{1}{\varGamma _{k}(\alpha +k)}(g(x)-g(a))^{ \frac{\alpha }{k}}\). Substituting \(\overline{\varPsi }_{1}=I_{a+;g}^{\alpha,k}\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a+;g}^{\alpha,k}\varPsi _{2}\), and \(\overline{\varOmega }=I_{a+;g}^{\alpha,k}\varOmega \), we get Theorem 2.1 and Corollary 2.3 of [15], respectively. In particular, taking \(k=1\), we get Theorem 2.11 and Corollary 2.14 of [8], respectively.

Remark 2.4

Applying Theorem 2.1 and Corollary 2.2 with \(\Delta =(a,b)\), \(d\mu (\gamma )=d\gamma \), and \(d\mu (\delta )=d\delta \), we have

$$ k(x,y)= \textstyle\begin{cases} \frac{1}{k\varGamma _{k}(\alpha )(x-y)^{1-\frac{\alpha }{k}}}, & {a\leq y\leq x}, \\ 0, & {x< y\leq b.} \end{cases} $$
(2.7)

We get that \(\varTheta (x)=\frac{1}{\varGamma _{k}(\alpha +k)}(x-a)^{\frac{\alpha }{k}}\). Substituting \(\overline{\varPsi }_{1}=I_{a^{+}}^{\alpha,k}\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a^{+}}^{\alpha,k}\varPsi _{2}\), and \(\overline{\varOmega }=I_{a^{+}}^{\alpha,k}\varOmega \) in Corollary 2.2, we get Corollary 2.2 of [15], respectively. Moreover, taking \(k=1\), we get Theorem 2 and Corollary 3 of [17], respectively.

Remark 2.5

Applying Theorem 2.1 and Corollary 2.2 with \(\Delta =(a,b)\), \(d\mu (\gamma )=d\gamma \), and \(d\mu (\delta )=d\delta \), we have

$$ k(x,y)=\textstyle\begin{cases} \frac{1}{yk\varGamma _{k}(\alpha )(\log x-\log y)^{1-\frac{\alpha }{k}}}, & {a\leq y\leq x}, \\ 0,& {x< y\leq b.} \end{cases} $$
(2.8)

We get that \(\varTheta (\xi )=\frac{1}{\varGamma _{k}(\alpha +k)}(\log \xi -\log a)^{ \frac{\alpha }{k}}\). Substituting \(\overline{\varPsi }_{1}=J_{a_{+}}^{\alpha }\varPsi _{1}\), \(\overline{\varPsi }_{2}=J_{a_{+}}^{\alpha }\varPsi _{2}\), and \(\overline{\varOmega }=J_{a_{+}}^{\alpha }\varOmega \), we get the results for the Hadamard-type fractional integrals.

Remark 2.6

Applying Theorem 2.1 and Corollary 2.2 with \(\Delta =(a,b)\), \(d\mu (\gamma )=d\gamma \), and \(d\mu (\delta )=d\delta \), we have

$$ k(x,y)=\textstyle\begin{cases} \frac{1}{\varGamma (\alpha )} \frac{\sigma x^{-\sigma (\alpha +\eta )}}{(x^{\sigma }-y^{\sigma })^{1-\alpha }}y^{\sigma \eta +\sigma -1}, & {a\leq y\leq x}, \\ 0, & {x< y\leq b.} \end{cases} $$
(2.9)

We get that \(\varTheta (x)=\frac{1}{\varGamma (\alpha +1)} (1- (\frac{a}{x} )^{\sigma } )^{\alpha } _{2}F_{1}(\alpha,-\eta;\alpha +1;1- (\frac{a}{x} )^{\sigma })\). Substituting \(\overline{\varPsi }_{1}=I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{2}\), and \(\overline{\varOmega }=I_{a_{+};\sigma;\eta }^{\alpha }\varOmega \), we get the results for Erdélyi–Kober fractional integral.

Theorem 2.7

Let \((\Delta,\varSigma,\mu )\)be a measure space with positive σ-finite measure, let \(k: \Delta \times \Delta \to {\mathbb{R}}\)be a non-egative function, let \(\varOmega, \varPsi _{1}, \varPsi _{2}, \varphi _{1}, \varphi _{2}, \varUpsilon \in U(k) \), and let Ω and ϒ be positive functions on \([0,\xi )\). Suppose that (2.1) holds and there exist integrable functions \(\varphi _{1}\)and \(\varphi _{2}\)on \([0,\xi )\)such that

$$\begin{aligned} \varphi _{1}(\xi )\leq \varUpsilon (\xi )\leq \varphi _{1}(\xi ). \end{aligned}$$
(2.10)

Then the following inequalities hold:

$$\begin{aligned} &\mathrm{(a)}\quad\overline{\varphi }_{1}(\xi )\overline{\varOmega }(\xi )+ \overline{\varPsi }_{2}(\xi )\overline{\varUpsilon }(\xi ) \geq \overline{\varphi }_{2}(\xi )\overline{\varPsi }_{2}(\xi )+ \overline{\varOmega } (\xi )\overline{\varUpsilon }(\xi ), \\ &\mathrm{(b)}\quad\overline{\varPsi }_{1}(\xi )\overline{\varUpsilon }(\xi )+ \overline{\varphi }_{2}(\xi )\overline{\varOmega }(\xi ) \geq \overline{ \varPsi }_{1}(\xi )\overline{\varphi }_{2}(\xi ) + \overline{ \varOmega } (\xi )\overline{\varUpsilon }(\xi ), \\ &\mathrm{(c)}\quad\overline{\varPsi }_{2}(\xi )\varphi _{2}(\xi )+ \overline{\varOmega }( \xi )\overline{\varUpsilon }(\xi ) \geq \overline{\varPsi }_{2}(\xi ) \overline{\varUpsilon }(\xi )_{2}(\xi )+ \overline{\varOmega } (\xi ) \overline{\varphi }(\xi ), \\ &\mathrm{(d})\quad\overline{\varPsi }_{1}(\xi )\overline{\varphi }_{1}( \xi )+ \overline{\varOmega }(\xi )\overline{\varUpsilon }(\xi ) \geq \overline{ \varPsi }_{1}( \xi )\overline{\varUpsilon }(\xi )+\overline{\varphi }_{1} (\xi ) \overline{\varOmega }(\xi ). \end{aligned}$$

Proof

For all \(\xi \in [0,\infty )\), from (2.1) and (2.10) it follows that

$$ \bigl[\varPsi _{2}(\gamma )-\varOmega (\gamma ))\bigr] \bigl[( \varUpsilon ) (\delta )-\varphi _{1}( \delta ))\bigr]\geq 0. $$

Then

$$\begin{aligned} \varPsi _{2}(\gamma ) (\varUpsilon ) (\delta ) +\varphi _{1}(\delta )\varOmega ( \gamma )\geq \varphi _{1}(\delta ) \varPsi _{2}(\gamma )+ \varOmega (\gamma ) \varUpsilon (\delta ). \end{aligned}$$

Multiplying both sides by \(k(\xi,\gamma )\) and integrating the resulting identity with respect to γ over the interval Δ, we have that

$$\begin{aligned} &\varUpsilon (\delta ) \int _{\Delta }k(\xi,\gamma ) \varPsi _{2}( \gamma )\,d\mu (\gamma ) +\varphi _{1}(\delta ) \int _{\Delta }k( \xi,\gamma ) \varOmega (\gamma )\,d\mu (\gamma ) \\ &\quad\geq \varphi _{1}(\delta ) \int _{\Delta }k(\xi,\gamma ) \varPsi _{2}(\gamma )\,d\mu (\gamma ) +\varUpsilon (\delta ) \int _{ \Delta }k(\xi,\gamma ) \varOmega (\gamma )\,d\mu (\gamma ), \end{aligned}$$

which can be written as

$$\begin{aligned} \varUpsilon (\delta )\overline{\varPsi }_{2}(\xi ) +\varphi _{1}(\delta ) \overline{\varOmega }(\xi )\geq \varphi _{1}( \delta )\overline{\varPsi }_{2}( \xi ) +\varUpsilon (\delta )\overline{ \varOmega }(\xi ). \end{aligned}$$

Again multiplying both sides by \(k(\xi,\delta )\) and integrating the resulting identity with respect to δ over Δ, we have that

$$\begin{aligned} \overline{\varphi }_{1}(\xi )\overline{\varOmega } (\xi )+\overline{ \varPsi }_{2} (\xi )\overline{\varUpsilon } (\xi ) \geq \overline{ \varphi }_{1} (\xi ) \overline{\varPsi }_{2} (\xi )+ \overline{\varOmega } (\xi ) \overline{\varUpsilon }(\xi ) \end{aligned}$$

This completes the proof of part (a).

To prove parts (b)–(d), we will use the following inequalities:

$$\begin{aligned} &\bigl(\varphi _{2}(\gamma )-\varUpsilon (\gamma )\bigr) \bigl( \varOmega (\delta )-\varPsi _{1}( \delta )\bigr)\geq 0, \\ &\bigl(\varPsi _{2}(\gamma )-\varOmega (\gamma )\bigr) \bigl( \varUpsilon (\delta )-\varphi _{2}( \delta )\bigr)\geq 0, \\ &\bigl(\varPsi _{1}(\gamma )-\varOmega (\gamma )\bigr) \bigl( \varUpsilon (\delta )-\varphi _{1}( \delta )\bigr)\geq 0. \end{aligned}$$

 □

Corollary 2.8

Let the assumptions of Theorem 2.7be satisfied. Suppose that there exist real constants \(m,M,n,N\)such that \(m\leq \varOmega (\xi )\leq M\)and \(n\leq \varUpsilon (\xi )\leq N\)for all \(\xi \in [0,\infty )\). Then

$$\begin{aligned} &\mathrm{(a)}\quad n\varTheta (\xi )\overline{\varOmega }(\xi )+M\varTheta (\xi ) \overline{ \varUpsilon }(\xi ) \geq nM\varTheta (\xi )\varTheta (\xi )+ \overline{\varOmega } (\xi )\overline{\varUpsilon }(\xi ), \\ &\mathrm{(b)}\quad m\varTheta (\xi )\varUpsilon (\xi )+N\varTheta (\xi )\varOmega (\xi ) \geq mN \varTheta (\xi )m\varTheta (\xi )+\overline{\varOmega } (\xi ) \overline{ \varUpsilon }(\xi ), \\ &\mathrm{(c)}\quad NM\varTheta (\xi )\varTheta (\xi )+\overline{\varOmega }(\xi ) \overline{ \varUpsilon }(\xi ) \geq M\varTheta (\xi )\overline{\varUpsilon }(\xi )+N \varTheta (\xi )\overline{\varOmega }(\xi ), \\ &\mathrm{(d)}\quad nm\varTheta (\xi )\varTheta (\xi )\overline{\varphi }_{1}(\xi ) + \overline{\varOmega }(\xi )\overline{\varUpsilon }(\xi ) \geq m\varTheta (\xi ) \overline{\varUpsilon }(\xi )+nm\varTheta (\xi )\overline{\varOmega }(\xi ), \end{aligned}$$

where \(\varTheta (\xi )\)is defined by (2.5).

Remark 2.9

Choosing the kernel \(k(x,y)\) defined by (2.6) and substituting \(\overline{\varPsi }_{1}=I_{a+;g}^{\alpha,k}\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a+;g}^{\alpha,k}\varPsi _{2}\), and \(\overline{\varOmega }=I_{a+;g}^{\alpha,k}\varOmega \) in Theorem 2.7 and Corollary 2.8, we get Theorem 2.5 and Corollary 2.6 of [15], respectively. In particular, taking \(k=1\), we get Theorem 2.15 and Corollary 2.16 of [8], respectively.

Remark 2.10

Choosing the kernel \(k(x,y)\) defined by (2.7) and substituting \(\overline{\varPsi }_{1}=I_{a^{+}}^{\alpha,k}\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a^{+}}^{\alpha,k}\varPsi _{2}\), and \(\overline{\varOmega }=I_{a^{+}}^{\alpha,k}\varOmega \) in Theorem 2.7 and Corollary 2.8, we get Theorem 2.5 and Corollary 2.6 of [15], respectively. In particular, by taking \(k=1\) Theorem 2.7 leads to Theorem 2.15 of [17].

Remark 2.11

Choosing the kernel \(k(x,y)\) defined by (2.8) and \(\varTheta (\xi )=\frac{1}{\varGamma _{k}(\alpha +k)}(\log \xi -\log a)^{ \frac{\alpha }{k}}\) and substituting \(\overline{\varPsi }_{1}=J_{a_{+}}^{\alpha }\varPsi _{1}\), \(\overline{\varPsi }_{2}=J_{a_{+}}^{\alpha }\varPsi _{2}\), and \(\overline{\varOmega }=J_{a_{+}}^{\alpha }\varOmega \) in Theorem 2.7 and Corollary 2.8, we get the inequalities for Haadmard-type fractional integrals.

Remark 2.12

Choosing the kernel \(k(x,y)\) defined by (2.9) and

$$ \varTheta (\xi )=\frac{1}{\varGamma (\alpha +1)} \biggl(1- \biggl(\frac{a}{x} \biggr)^{\sigma } \biggr)^{\alpha } _{2}F_{1}\biggl( \alpha,-\eta;\alpha +1;1- \biggl(\frac{a}{x} \biggr)^{\sigma }\biggr) $$

and substituting \(\overline{\varPsi }_{1}=(I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{1})\), \(\overline{\varPsi }_{2}=(I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{2})\), and \(\overline{\varOmega }=(I_{a_{+};\sigma;\eta }^{\alpha }\varOmega )\) in Theorem 2.7 and Corollary 2.8, we get the result for the Erdélyi–Kober fractional integral.

Lemma 2.13

Let \((\Delta,\varSigma,\gamma )\)be a measure space with positive σ-finite measure, let \(k: \Delta \times \Delta \to {\mathbb{R}}\)be a nonnegative function, and let \(\varOmega, \varPsi _{1}, \varPsi _{2}\in U(k) \)be such that Ω is positive on \([0,\infty ) \)and \(\varPsi _{1}, \varPsi _{2}\)are integrable on \([0,\infty )\). Then

$$\begin{aligned} &\varTheta (\xi )\overline{\varOmega ^{2}}(\xi )-\bigl(\overline{ \varOmega }(\xi )\bigr)^{2} \\ &\quad=\bigl(\overline{\varPsi }_{2}(\xi )-\overline{\varOmega }(\xi ) \bigr) \bigl( \overline{\varOmega }(\xi )-\overline{\varPsi }_{1}(\xi ) \bigr) -\varTheta (\xi ) \bigl( \overline{\varPsi }_{2}(\xi )-\overline{ \varOmega }(\xi )\bigr) \bigl(\overline{\varOmega }( \xi )-\overline{\varPsi }_{1}(\xi )\bigr) \\ &\qquad{}+\varTheta (\xi )\overline{\varPsi _{1}(\xi ) \varOmega (\xi )}- \overline{\varPsi }_{1}(\xi )\overline{\varOmega }(\xi ) +\varTheta ( \xi ) \overline{\varPsi _{2}(\xi ) \varOmega (\xi )}-\overline{\varPsi }_{2}(\xi ) \overline{\varOmega }(\xi ) \\ &\qquad{}-\varTheta (\xi )\overline{\varPsi _{1}(\xi ) \varPsi _{2}(\xi )}+ \overline{\varPsi }_{1}(\xi )\overline{\varPsi }_{2}(\xi ), \end{aligned}$$

where \(\varTheta (\xi )\)is defined by (2.5).

Proof

Since \(\gamma,\delta >0\), we have

$$\begin{aligned} &\bigl(\varPsi _{2}(\delta )-\varOmega (\delta )\bigr) \bigl( \varOmega (\gamma )-\varPsi _{1}( \gamma )\bigr)+\bigl(\varPsi _{2}(\gamma )-\varOmega (\gamma )\bigr) \bigl(\varOmega (\delta )- \varPsi _{1}(\delta )\bigr) \\ &\qquad{}-\bigl(\varPsi _{2}(\gamma )-\varOmega (\gamma )\bigr) \bigl( \varOmega (\delta )-\varPsi _{1}( \delta )\bigr) -\bigl(\varPsi _{2}(\delta )-\varOmega (\delta )\bigr) \bigl(\varOmega (\delta )- \varPsi _{1}(\delta )\bigr) \\ &\quad= \varOmega ^{2}(\gamma ) +\bigl(\varOmega (\delta ) \bigr)^{2}-2 \varOmega (\gamma ) \varOmega (\delta ) + \varPsi _{2}(\delta )\varOmega (\gamma )+\varPsi _{1}( \gamma ) \varOmega (\delta ) \\ &\qquad{}-\varPsi _{1}(\gamma )\varPsi _{2}(\delta )+\varPsi _{2}(\delta )\varOmega ( \delta ) +\varPsi _{1}(\delta ) \varOmega (\gamma )-\varPsi _{1}(\delta )\varPsi _{2}( \gamma ) \\ &\qquad{}-\varPsi _{2}(\delta )\varOmega (\gamma )+ \varPsi _{1}( \gamma )\varPsi _{2}( \gamma ) -\varPsi _{1}(\gamma ) \varOmega (\gamma )-\varPsi _{2}(\delta ) \varOmega (\delta ) \\ &\qquad{}+\varPsi _{1}(\delta )\varPsi _{2}(\delta )-\varPsi _{1}(\delta )\varOmega ( \delta ). \end{aligned}$$

Multiplying both sides by \(k(\xi,\gamma )\) and integrating with respect to the variable γ over Δ, we get

$$\begin{aligned} &\bigl(\varPsi _{2}(\delta )-\varOmega (\delta )\bigr) \bigl( \overline{\varOmega }(\xi )- \overline{\varPsi }_{1}(\xi )\bigr)+\bigl( \overline{\varPsi }_{2}(\xi )- \overline{\varOmega }(\xi )\bigr) \bigl( \varOmega (\delta )-\varPsi _{1}(\delta )\bigr) \\ &\qquad{}-\overline{\bigl(\varPsi _{2}(\gamma )-\varOmega (\gamma )\bigr) \bigl(\varOmega (\delta )-\varPsi _{1}(\delta )\bigr)} -\bigl(\varPsi _{2}(\delta )-\varOmega (\delta )\bigr) \bigl(\varOmega (\delta )- \varPsi _{1}( \delta )\bigr)\varTheta (\xi ) \\ &\quad= \overline{\varOmega ^{2}}(\gamma ) +\varTheta (\xi )\varOmega ^{2}(\delta )-2 \overline{\varOmega }(\xi )\varOmega (\delta ) + \varPsi _{2}(\delta ) \overline{\varOmega }(\xi )+\overline{\varPsi }_{1}(\xi )\varOmega (\delta ) \\ &\qquad{}-\overline{\varPsi }_{1}(\xi )\varPsi _{2}(\delta )+ \overline{\varPsi }_{2}( \xi )\varOmega (\delta ) +\varPsi _{1}(\delta )\overline{\varOmega }(\xi )- \varPsi _{1}( \delta )\overline{\varPsi }_{2}(\xi ) \\ &\qquad{}-\overline{\varPsi _{2}(\xi )\varOmega (\xi )}+ \overline{\varPsi _{1}(\xi )\varPsi _{2}(\xi )}\varTheta (\xi ) - \overline{ \varPsi _{1}(\xi )\varOmega (\xi )}-\varPsi _{2}(\delta ) \varOmega ( \delta )\varTheta (\xi ) \\ &\qquad{}+\varTheta (\xi )\varPsi _{1}(\delta )\varPsi _{2}(\delta )-\varPsi _{1}( \delta )\varOmega (\delta )\varTheta (\xi ). \end{aligned}$$

Again multiplying both sides by \(k(\xi,\delta )\) and integrating with respect to the variable δ over Δ, we get

$$\begin{aligned} &\bigl(\overline{\varPsi }_{2}(\xi )-\overline{\varOmega }(\xi ) \bigr) \bigl( \overline{\varOmega }(\xi )-\overline{\varPsi }_{1}(\xi ) \bigr) +\bigl(\overline{\varPsi }_{2}( \xi )-\overline{\varOmega }(\xi ) \bigr) \bigl(\overline{\varOmega }(\xi )- \overline{\varPsi }_{1}(\xi ) \bigr) \\ &\qquad{}-\varTheta (\xi ) \overline{\bigl(\varPsi _{2}(\xi )-\varOmega (\xi )\bigr) \bigl(\varOmega (\xi )-\varPsi _{1}(\xi )\bigr)} -\bigl( \overline{\varPsi }_{2}(\xi )-\overline{\varOmega }(\xi )\bigr) \bigl( \overline{\varOmega }(\xi )-\overline{\varPsi }_{1}(\xi )\bigr) \varTheta (\xi ) \\ &\qquad= \overline{\varOmega ^{2}}(\xi )\varTheta (\xi )+ \varTheta (\xi ) \varOmega ^{2}( \xi )-2 \overline{\varOmega }(\xi )\overline{\varOmega }(\xi ) + \overline{\varPsi }_{2}(\xi )\overline{\varOmega }(\xi )+ \overline{\varPsi }_{1}( \gamma )\overline{\varOmega }(\xi ) \\ &\qquad{}-\overline{\varPsi }_{1}(\xi )\overline{\varPsi }_{2}(\xi )+\overline{\varPsi }_{2}( \xi )\overline{\varOmega }(\xi ) +\overline{ \varPsi }_{1}(\xi ) \overline{\varOmega }(\xi )-\overline{\varPsi }_{1}(\xi )\overline{\varPsi }_{2}( \xi ) \\ &\qquad{}-\varTheta (\xi )\overline{\varPsi _{2}(\xi )\varOmega (\xi )}+ \overline{\varPsi _{1}(\xi )\varPsi _{2}(\xi )}\varTheta (\xi ) -\varTheta (\xi ) \overline{\varPsi _{1}(\xi )\varOmega (\xi )}- \overline{\varPsi _{2}(\xi )\varOmega (\xi )}\varTheta (\xi ) \\ &\qquad{}+\varTheta (\xi )\overline{\varPsi _{1}(\xi )\varPsi _{2}(\xi )}- \overline{\varPsi _{1}(\xi )\varOmega (\xi )} \varTheta (\xi ). \end{aligned}$$

This completes the proof. □

Corollary 2.14

Let \(m< M\), \(k>0\), and let Ω be a positive function on \([0,\xi )\)such that \(m\leq \varOmega (\xi )\leq M\). Then

$$\begin{aligned} &\varTheta (\xi ) \bigl(\overline{\varOmega ^{2}}(\xi )\bigr)-\bigl( \overline{\varOmega }(\xi )\bigr)^{2} \\ &\quad = \bigl(M\varTheta (\xi )-\overline{\varOmega }(\xi ) \bigr) \bigl( \overline{ \varOmega }(\xi )-m\varTheta (\xi ) \bigr) -\varTheta (\xi ) \bigl( \overline{ \bigl(M-\varOmega (\xi )\bigr) \bigl(\varOmega (\xi )-m\bigr)}\bigr), \end{aligned}$$

where \(\varTheta (\xi )\)is defined by (2.5).

Remark 2.15

Taking the kernel \(k(x,y)\) defined by (2.6) and substituting \(\overline{\varPsi }_{1}=I_{a+;g}^{\alpha,k}\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a+;g}^{\alpha,k}\varPsi _{2}\), \(\overline{\varOmega }=I_{a+;g}^{\alpha,k}\varOmega \), \(\overline{\varPsi _{1}\varOmega }=I_{a+;g}^{\alpha,k}\varPsi _{1}\varOmega \), \(\overline{\varPsi _{2}\varOmega }=I_{a+;g}^{\alpha,k}\varPsi _{2}\varOmega \), \(\overline{\varPsi _{1}\varPsi _{2}}=I_{a+;g}^{\alpha,k}\varPsi _{1}\varPsi _{2}\), and \(\overline{(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}(\xi ))}=I_{a+;g}^{ \alpha,k}(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}( \xi ))\) in Theorem 2.13 and Corollary 2.14, we get Lemma 2.9 and Corollary 2.11 of [15], respectively. In particular, by taking \(k=1\) we get Theorem 2.19 and Corollary 2.11 of [8], respectively.

Remark 2.16

Taking the kernel \(k(x,y)\) defined by (2.7) and substituting \(\overline{\varPsi }_{1}=I_{a^{+}}^{\alpha,k}\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a^{+}}^{\alpha,k}\varPsi _{2}\), \(\overline{\varOmega }=I_{a^{+}}^{\alpha,k}\varOmega \), \(\overline{\varPsi _{1}\varOmega }=I_{a^{+}}^{\alpha,k}\varPsi _{1}\varOmega \), \(\overline{\varPsi _{2}\varOmega }=I_{a^{+}}^{\alpha,k}\varPsi _{2}\varOmega \), \(\overline{\varPsi _{1}\varPsi _{2}}=I_{a^{+}}^{\alpha,k}\varPsi _{1}\varPsi _{2}\), and \(\overline{(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}(\xi ))}=I_{a^{+}}^{ \alpha,k}(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}( \xi ))\) in Lemma 2.13, we get Corollary 2.10 of [15]. In particular, by taking \(k=1\) Lemma 2.13 and Corollary 2.14 become Lemma 7 and Corollary 8 of [17], respectively.

Remark 2.17

Taking the kernel \(k(x,y)\) defined by (2.8) and substituting \(\varTheta (\xi )=\frac{1}{\varGamma _{k}(\alpha +k)}\times (\log \xi -\log a)^{ \frac{\alpha }{k}}\), \(\overline{\varPsi }_{1}=J_{a_{+}}^{\alpha }\varPsi _{1}\), \(\overline{\varPsi }_{2}=J_{a_{+}}^{\alpha }\varPsi _{2}\), \(\overline{\varOmega }=J_{a_{+}}^{\alpha }\varOmega \), and \(\overline{(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}(\xi ))}=J_{a_{+}}^{ \alpha }(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}(\xi ))\) in Theorem 2.7 and Corollary 2.8, we get the inequalities for Hadamard fractional integrals.

Remark 2.18

Taking the kernel \(k(x,y)\) defined by (2.9) and substituting \(\varTheta (x)= \frac{1}{\varGamma (\alpha +1)} (1- (\frac{a}{x} )^{\sigma } )^{\alpha } _{2}F_{1}(\alpha,-\eta;\alpha +1;1- (\frac{a}{x} )^{\sigma })\), \(\overline{\varPsi }_{1}=I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{1}\), \(\overline{\varPsi }_{2}=I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{2}\), \(\overline{\varOmega }=I_{a_{+};\sigma;\eta }^{\alpha }\varOmega \), and \(\overline{(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}(\xi ))}=I_{a_{+}; \sigma;\eta }^{\alpha }(\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )- \varPsi _{1}(\xi ))\) in Theorem 2.7 and Corollary 2.8, we get the result for the Erdélyi–Kober fractional integral.

Theorem 2.19

Let \((\Delta,\varSigma,\gamma )\)be a measure spaces with positive σ-finite measure, let \(k: \Delta \times \Delta \to {\mathbb{R}}\)be a nonnegative function, and let \(\varOmega, \varPsi _{1}, \varPsi _{2}, \varphi _{1}, \varphi _{2}, \varUpsilon \in U(k)\)be integrable functions on \([0,\xi )\). If conditions (2.1) and (2.10) are satisfied, then

$$\begin{aligned} \bigl\vert \varTheta (\xi )\overline{\varOmega (\xi ) \varUpsilon (\xi )}- \overline{\varOmega }(\xi )\overline{\varUpsilon }(\xi ) \bigr\vert \leq \sqrt{T( \varOmega,\varPsi _{1},\varPsi _{2})T(\varUpsilon,\varphi _{1},\varphi _{2})}, \end{aligned}$$
(2.11)

where

$$\begin{aligned} T(\varOmega,\varPsi _{1},\varPsi _{2})={}&\bigl(\overline{ \varPsi }_{2}(\xi )- \overline{\varOmega }(\xi )\bigr) \bigl(\overline{ \varOmega }(\xi )-\overline{\varPsi }_{1}( \xi )\bigr) +\varTheta (\xi )\overline{\varPsi _{1}(\xi )\varOmega (\xi )}- \overline{\varPsi }_{1}(\xi )\overline{\varOmega }(\xi ) \\ &{}+\varTheta (\xi )\overline{\varPsi _{2}(\xi )\varOmega (\xi )}- \overline{\varPsi }_{2}(\xi )\overline{\varOmega }(\xi ) +\overline{ \varPsi }_{1}( \xi )\overline{\varPsi }_{2}(\xi )-\varTheta ( \xi ) \overline{\varPsi _{1}(\xi )\varPsi _{2}(\xi )}, \end{aligned}$$

and

$$\begin{aligned} T(\varUpsilon,\varphi _{1},\varphi _{2})={}&\bigl(\overline{ \varphi }_{2}(\xi )- \overline{\varUpsilon }(\xi )\bigr) \bigl( \overline{\varUpsilon }(\xi )- \overline{\varphi }_{1}(\xi )\bigr)+ \varTheta (\xi )\overline{\varphi }_{1}( \xi )\overline{\varUpsilon }( \xi )-\overline{\varphi }_{1}(\xi ) \overline{\varUpsilon }(\xi ) \\ &{}+\varTheta (\xi )\overline{\varphi _{2}(\xi )\varUpsilon (\xi )}- \overline{\varphi }_{2}(\xi )\overline{\varUpsilon }(\xi ) + \overline{ \varphi }_{1}(\xi )\overline{\varphi }_{2}(\xi )-\varTheta ( \xi ) \overline{\varphi _{1}(\xi )\varphi _{2}(\xi )}, \end{aligned}$$

with \(\varTheta (\xi )\)defined by (2.5).

Proof

Let \(\xi >0\), \(\gamma,\delta \in [0,\xi ]\), let Ω, ϒ be two positive functions on \([0,\infty )\) such that conditions (2.1) and (2.10) are satisfied, and let \(T(\gamma,\delta )\) be defined by

$$\begin{aligned} T(\gamma,\delta )=\bigl(\varOmega (\gamma )-\varOmega (\delta ) \bigr) \bigl(\varUpsilon ( \gamma )-\varUpsilon (\delta )\bigr). \end{aligned}$$
(2.12)

Multiplying both sides (2.12) by \(\frac{1}{2}k(\xi,\gamma )k(\xi,\delta )\) and integrating with respect to the variables γ and δ over Δ and Δ, we get

$$\begin{aligned} \frac{1}{2} \int _{\Delta } \int _{\Delta }k(\xi,\delta )k( \xi,\gamma )T(\gamma,\delta )\,d\mu (\gamma ) \,d\mu (\delta ) =\varTheta ( \xi )\overline{\varOmega (\xi ) \varUpsilon (\xi )}-\overline{\varOmega }(\xi ) \overline{\varUpsilon }(\xi ). \end{aligned}$$
(2.13)

Applying the Cauchy–Schwarz inequality, we get

$$\begin{aligned} & \biggl(\frac{1}{2} \int _{\Delta } \int _{\Delta }k( \xi,\gamma )k(\xi,\delta ) \bigl(\varOmega (\gamma )-\varOmega (\delta )\bigr) \bigl( \varUpsilon (\gamma )-\varUpsilon (\delta ) \bigr)\,d\mu (\gamma ) \,d\mu (\delta ) \biggr)^{2} \\ &\quad\leq \int _{\Delta } \int _{\Delta }k(\xi,\gamma )k( \xi,\delta ) \bigl(\varOmega (\gamma )-\varOmega (\delta )\bigr)^{2}\,d\mu (\gamma ) \,d \mu (\delta ) \\ &\qquad{}\times \int _{\Delta } \int _{\Delta }k(\xi,\gamma )k( \xi,\delta ) \bigl(\varUpsilon ( \gamma )-\varUpsilon (\delta )\bigr)^{2} \,d\mu ( \gamma ) \,d\mu ( \delta ). \end{aligned}$$
(2.14)

From (2.13) and (2.14) we get

$$\begin{aligned} \bigl(\varTheta (\xi )\overline{\varOmega (\xi )\varUpsilon (\xi )}-\varOmega ( \xi ) \varUpsilon (\xi )\bigr)^{2}\leq \bigl(\varTheta (\xi )\overline{ \varOmega ^{2}}(\xi )-\bigl( \overline{\varOmega }(\xi ) \bigr)^{2}\bigr) \bigl(\varTheta (\xi )\overline{\varUpsilon ^{2}}( \xi )-\overline{\varUpsilon }(\xi )^{2}\bigr). \end{aligned}$$

Since \((\varPsi _{2}(\xi )-\varOmega (\xi ))(\varOmega (\xi )-\varPsi _{1}(\xi ))\geq 0\) and \((\varphi _{2}(\xi )-\varUpsilon (\xi ))(\varUpsilon (\xi )-\varphi _{1}( \xi ))\geq 0\), we have

$$ \varTheta (\xi ) \overline{\bigl(\varPsi _{2}(\xi )-\varOmega (\xi ) \bigr) \bigl(\varOmega (\xi )-\varPsi _{1}(\xi )\bigr)} \geq 0 $$

and

$$ \varTheta (\xi ) \overline{\bigl(\varphi _{2}(\xi )-\varUpsilon (\xi ) \bigr) \bigl(\varUpsilon (\xi )-\varphi _{1}(\xi )\bigr)} \geq 0. $$

Thus from Lemma 2.13 we have

$$\begin{aligned} &\varTheta (\xi )\overline{\varOmega ^{2}}(\xi )- \bigl(\overline{\varOmega }(\xi )\bigr)^{2} \\ &\quad\leq \bigl(\overline{\varPsi }_{2}(\xi )-\overline{\varOmega }(\xi ) \bigr) \bigl( \overline{\varOmega }(\xi )-\overline{\varPsi }_{1}(\xi ) \bigr)+\varTheta (\xi ) \overline{\varPsi _{1}(\xi )\varOmega (\xi )} \overline{\varPsi }_{1}(\xi ) \overline{\varOmega }(\xi ) \\ &\qquad{}+\varTheta (\xi )\overline{\varPsi _{2}(\xi )\varOmega (\xi )}- \overline{\varPsi }_{2}(\xi )\overline{\varOmega }(\xi ) + \overline{ \varPsi }_{1}( \xi )\overline{\varPsi }_{2}(\xi )-\varTheta ( \xi ) \overline{\varPsi _{1}(\xi )\varPsi _{2}(\xi )} \\ &\quad=T(\varOmega,\varPsi _{1},\varPsi _{2}) \end{aligned}$$
(2.15)

and

$$\begin{aligned} &\varTheta (\xi )\overline{\varUpsilon ^{2}}(\xi )- \bigl(\overline{\varUpsilon }( \xi )\bigr)^{2} \\ &\quad\leq \bigl(\overline{\varphi }_{2}(\xi )-\overline{\varUpsilon }(\xi )\bigr) \bigl( \overline{\varUpsilon }(\xi )-\overline{\varphi }_{1}( \xi )\bigr)+\varTheta (\xi ) \overline{\varphi _{1}(\xi )\varUpsilon ( \xi )}-\overline{\varphi }_{1}( \xi )\overline{\varUpsilon }(\xi ) \\ &\qquad{}+\varTheta (\xi )\overline{\varphi _{2}(\xi )\varUpsilon (\xi )}- \overline{\varphi }_{2}(\xi )\overline{\varUpsilon }(\xi ) + \overline{ \varphi }_{1}(\xi )\overline{\varphi }_{2}(\xi )-\varTheta ( \xi ) \overline{\varphi _{1}(\xi )\varphi _{2}(\xi )} \\ &\quad=T(\varUpsilon,\varphi _{1},\varphi _{2}). \end{aligned}$$
(2.16)

Therefore inequality (2.11) follows from (2.15) and (2.16). This completes the proof. □

Corollary 2.20

Let \(m,M,n,N\in \Re \), \(T(\varOmega,\varPsi _{1},\varPsi _{2})=T(\varOmega,m,M)\), and \(T(\varUpsilon,\varphi _{1},\varphi _{2})= T(\varUpsilon,n,N)\). Then inequality (2.11) reduces to

$$\begin{aligned} \bigl\vert \varTheta (\xi )\overline{\varOmega (\xi )\varUpsilon (\xi )}- \overline{\varOmega }(\xi )\overline{\varUpsilon }(\xi ) \bigr\vert \leq \bigl( \varTheta (\xi ) \bigr)^{2}(M-m) (N-n). \end{aligned}$$

Remark 2.21

Taking the kernel \(k(x,y)\) defined by (2.6) and substituting \(\overline{\varOmega }=I_{a+;g}^{\alpha,k}\varOmega \), \(\overline{\varUpsilon }=I_{a+;g}^{\alpha,k}\varUpsilon \), and \(\overline{\varOmega \varUpsilon }=I_{a+;g}^{\alpha,k}\varOmega \varUpsilon \) in Theorem 2.19 and Corollary 2.20, we get Theorem 2.13 and Corollary 2.14 of [15], respectively. In particular, choosing \(k=1\), Theorem 2.13 and and Corollary 2.14 lead to Theorem 2.23 and Corollary 2.26 of [8], respectively.

Remark 2.22

Taking the kernel \(k(x,y)\) defined by (2.7) and substituting \(\overline{\varOmega }_{1}=I_{a^{+}}^{\alpha,k}\varOmega \), \(\overline{\varUpsilon }=I_{a^{+}}^{\alpha,k}\varUpsilon \), and \(\overline{\varOmega \varUpsilon }=I_{a^{+}}^{\alpha,k}\varOmega \varUpsilon \) in Theorem 2.19 and Corollary 2.20, we get the results for the Riemann–Liouville integral. In particular, taking \(k=1\), Theorem 2.19 gives Theorem 9 of [17], and Corollary 2.20 gives Remark 10 of [17].

Remark 2.23

Taking the kernel \(k(x,y)\) defined by (2.8) and substituting \(\varTheta (\xi )=\frac{1}{\varGamma _{k}(\alpha +k)}\times (\log \xi -\log a)^{ \frac{\alpha }{k}}\), \(\overline{\varOmega }=J_{a_{+}}^{\alpha }\varOmega \), \(\overline{\varUpsilon }=J_{a_{+}}^{\alpha }\varPsi _{2}\), and \(\overline{\varOmega \varUpsilon }=J_{a_{+}}^{\alpha }\varOmega \varUpsilon \) in Theorem 2.19 and Corollary 2.20, we get the inequalities for Hadamard fractional integrals.

Remark 2.24

Taking the kernel \(k(x,y)\) defined by (2.9) and substituting \(\varTheta (x)=\frac{1}{\varGamma (\alpha +1)} (1- (\frac{a}{x} )^{\sigma } )^{\alpha } _{2}F_{1}(\alpha,-\eta;\alpha +1;1- (\frac{a}{x} )^{\sigma })\), \(\overline{\varPsi }_{1}=(I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{1})\)\(\overline{\varPsi }_{2}=(I_{a_{+};\sigma;\eta }^{\alpha }\varPsi _{2})\), and \(\overline{\varOmega }=(I_{a_{+};\sigma;\eta }^{\alpha }\varOmega )\) in Theorem 2.19 and Corollary 2.20, we get the result for the Erdélyi–Kober-type fractional integral.

Theorem 2.25

Let \(k>0\), and let Ω and ϒ be positive functions defined on \([0,\infty )\). Then the following inequalities hold:

$$\begin{aligned} &1.\quad q \overline{\varOmega ^{p}} (\xi )+p \overline{\varUpsilon ^{q}}(\xi )\geq pq\frac{1}{\varTheta (\xi )} \overline{\varUpsilon }(\xi ) \overline{\varOmega }(\xi ), \\ &2.\quad q \overline{\varOmega ^{p}}(\xi )\overline{\varUpsilon ^{p}}(\xi )+p \overline{\varOmega ^{q}}(\xi )\overline{ \varUpsilon ^{q}}(\xi )\geq pq\bigl( \overline{\varOmega (\xi ) \varUpsilon (\xi )}\bigr)^{2}, \\ &3.\quad q \overline{\varOmega ^{p}}(\xi )\overline{\varUpsilon ^{p}}(\xi )+p \overline{\varOmega ^{q}}(\xi )\overline{ \varUpsilon ^{q}}(\xi ) \geq pq \overline{\varOmega (\xi )\varUpsilon ^{p-1}(\xi )} \overline{\varOmega (\xi )\varUpsilon ^{q-1}(\xi )}, \\ &4.\quad q \overline{\varOmega ^{p}}(\xi )\overline{\varUpsilon ^{q}}(\xi )+p \overline{\varOmega ^{p}}(\xi )\overline{ \varUpsilon ^{q}}(\xi ) \geq pq \overline{\varOmega ^{p-1}(\xi )\varUpsilon ^{q-1}(\xi )} \overline{\varOmega (\xi )\varUpsilon (\xi )}, \\ &5.\quad q \overline{\varOmega ^{p}}(\xi ) \overline{\varUpsilon ^{2}} (\xi )+p \overline{\varOmega ^{2}}(\xi )\overline{ \varUpsilon ^{q}} (\xi ) \geq pq \overline{\varOmega (\xi )\varUpsilon (\xi )} \overline{\varOmega ^{\frac{2}{q}}(\xi )\varUpsilon ^{\frac{2}{p}}(\xi )}, \\ &6.\quad q \overline{\varOmega ^{2}} (\xi )\overline{\varUpsilon ^{q}}(\xi )+p \overline{\varOmega ^{p}}(\xi )\overline{ \varUpsilon ^{2}}(\xi )\geq pq \overline{\varOmega ^{\frac{2}{p}}(\xi ) \varUpsilon ^{\frac{2}{q}}(\xi )} \overline{\varOmega ^{p-1}(\xi ) \varUpsilon ^{q-1}(\xi )}, \\ &7.\quad q \overline{\varOmega ^{2}(\xi )\varUpsilon ^{q}(\xi )}+p \overline{\varOmega ^{2}(\xi )\varUpsilon ^{p}} (\xi ) \geq pq \frac{1}{\varTheta (\xi )} \overline{\varOmega ^{\frac{2}{p}}(\xi )\varUpsilon ^{q-1}(\xi )} \overline{ \varOmega ^{\frac{2}{q}}(\xi )\varUpsilon ^{p-1}(\xi )}, \end{aligned}$$

where \(\varTheta (\xi )\)is defined by (2.5).

Proof

By Young’s inequality we have

$$ \frac{a^{p}}{p}+\frac{a^{q}}{q}\geq ab\ \biggl(a,b\geq 0,p,q>1, \frac{1}{p}+ \frac{1}{q}=1\biggr). $$

Taking \(a=\varOmega (\gamma )\) and \(b=\varUpsilon (\delta )\), we have

$$ \frac{(\varOmega (\gamma ))^{p}}{p}+\frac{(\varUpsilon (\delta ))^{q}}{q} \geq \varOmega (\gamma )\varUpsilon ( \delta ) $$

for all \(\varOmega (\gamma ),\varUpsilon (\delta )\geq 0\).

Multiplying by \(k(\xi,\gamma )\) and integrating with respect to γ over the interval Δ, we get

$$\begin{aligned} \int _{\Delta }k(\xi,\gamma )\frac{\varOmega ^{p}(\gamma )}{p}\,d \mu (\gamma ) + \int _{\Delta }k(\xi,\gamma ) \frac{\varUpsilon ^{q}(\delta )}{q}\,d\mu (\gamma ) \geq \int _{ \Delta }k(\xi,\gamma )\varOmega (\gamma )\varUpsilon (\delta )\,d\mu (\gamma ), \end{aligned}$$

which becomes

$$ \frac{1}{p}\overline{\varOmega ^{p}}(\xi )+\frac{1}{q} \varUpsilon ^{q}( \delta )\varTheta (\xi )\geq \varUpsilon (\delta ) \overline{\varOmega }(\xi ). $$

Again multiplying by \(k(\xi,\delta )\) and integrating with respect to the variable δ over the interval Δ, we get

$$ \frac{1}{p}\overline{\varOmega ^{p}}(\xi )\varTheta (\xi )+ \frac{1}{q} \overline{\varUpsilon ^{q}}(\xi )\varTheta (\xi ) \geq \overline{\varUpsilon }( \xi )\overline{\varOmega }(\xi ), $$

which implies that

$$ \frac{1}{p}\overline{\varOmega ^{p}}(\xi )+\frac{1}{q} \overline{\varUpsilon ^{q}}(\delta )\geq \frac{1}{\varTheta (\xi )} \overline{ \varUpsilon }(\xi )\overline{\varOmega }(\xi ). $$

This completes the proof of part (a).

The remaining inequalities can be proved using Young’s inequality in a similar manner by taking:

$$\begin{aligned} &2.\quad a=\varOmega (\gamma ) (\varUpsilon ) (\delta ) \quad\text{and}\quad b=\varOmega ( \delta )\varUpsilon (\gamma ), \\ &3.\quad a=\frac{\varOmega (\gamma )}{\varUpsilon (\gamma )}\quad\text{and}\quad b= \frac{\varOmega (\delta )}{\varUpsilon (\delta )},\quad \varUpsilon (\gamma ) \varUpsilon (\delta )\ne 0, \\ &4.\quad a=\frac{\varOmega (\delta )}{\varOmega (\gamma )}\quad\text{and}\quad b= \frac{\varUpsilon (\delta )}{\varUpsilon (\gamma )},\quad \varOmega (\gamma ) \varUpsilon (\delta )\ne 0, \\ &5.\quad a=\varOmega (\gamma )\varUpsilon ^{\frac{2}{p}}(\delta ) \quad\text{and}\quad b= \varOmega ^{\frac{2}{q}}(\delta )\varUpsilon (\gamma ), \\ &6.\quad a=\frac{\varOmega ^{\frac{2}{p}}(\gamma )}{\varOmega (\delta )} \quad\text{and}\quad b= \frac{\varUpsilon ^{\frac{2}{q}}(\gamma )}{\varUpsilon (\gamma )},\quad \varOmega ( \delta )\varUpsilon (\delta )\ne 0, \\ &7.\quad a=\frac{\varOmega ^{\frac{2}{p}}(\gamma )}{\varUpsilon (\delta )} \quad\text{and}\quad b= \frac{\varOmega ^{\frac{2}{q}}(\delta )}{\varUpsilon (\gamma )},\quad \varUpsilon ( \gamma )\varUpsilon (\delta )\ne 0. \end{aligned}$$

 □

Example 2.26

Let \(k>0\), and let \(\varphi _{2}(\gamma )\) be a positive function on \([0,\infty )\), and let \(m=\min_{0\leq \gamma \leq \xi } \frac{\varOmega (\gamma )}{\varUpsilon (\gamma )} \) and \(M=\max_{0\leq \gamma \leq \xi } \frac{\varOmega (\gamma )}{\varUpsilon (\gamma )} \). Then we have

$$\begin{aligned} 0\leq \overline{\varOmega ^{2}}(\xi )\overline{ \varUpsilon ^{2}}(\xi )\leq \frac{(m+M)^{2}}{4mM}\bigl(\overline{\varOmega (\xi )\varUpsilon (\xi )}\bigr)^{2}. \end{aligned}$$
(2.17)

Proof

From the min and max conditions we have that

$$ \biggl(\frac{\varOmega (\gamma )}{\varUpsilon (\gamma )} -m \biggr) \biggl(M- \frac{\varOmega (\gamma )}{\varUpsilon (\gamma )} \biggr) \varUpsilon ^{2}( \gamma )\geq 0 $$

and

$$ \varOmega ^{2}(\gamma )+mM\varUpsilon ^{2}(\gamma )\leq (m+M)\varOmega ( \gamma )\varUpsilon (\gamma ). $$

Multiplying by \(k(\xi,\gamma )\) and integrating with respect to the variable γ over the interval Δ, we get

$$\begin{aligned} & \int _{\Delta }k(\xi,\gamma )\varOmega ^{2}(\gamma )\,d\mu ( \gamma )+mM \int _{\Delta }k(\xi,\gamma )\varUpsilon ^{2}(\gamma )\,d \mu (\gamma ) \\ &\quad\leq (m+M) \int _{\Delta }k(\xi,\gamma )\varOmega (\gamma ) \varUpsilon (\gamma )\,d\mu (\gamma ). \end{aligned}$$

This implies that

$$\begin{aligned} \overline{\varOmega ^{2}}(\xi )+mM\overline{\varUpsilon ^{2}}(\xi )\leq (m+M) \overline{\varOmega (\xi ) (\varUpsilon ) (\xi )}. \end{aligned}$$
(2.18)

Alternatively, it follows from

$$ \bigl(\sqrt{\overline{\varOmega ^{2}}(\xi )}-\sqrt{mM \overline{ \varUpsilon ^{2}}(\xi )} \bigr)^{2}\geq 0 $$

that

$$\begin{aligned} 2\sqrt{\overline{\varOmega ^{2}}(\xi )}\sqrt{mM \overline{\varUpsilon ^{2}}( \xi )}\leq \overline{\varOmega ^{2}}(\gamma )+mM\overline{\varUpsilon ^{2}}( \gamma ). \end{aligned}$$
(2.19)

Therefore from (2.18) and (2.19) it follows that

$$ 4mM\overline{\varOmega ^{2}}(\xi )\overline{\varUpsilon ^{2}}(\xi )\leq (m+M)^{2}\bigl( \overline{\varOmega (\xi ) ( \varUpsilon ) (\xi )}\bigr)^{2}, $$

and the proof is complete. □

Remark 2.27

Applications for the discussed fractional integrals can be given, but we omit the details.

Concluding remarks

Recently, Rahman [14], Rashid [15], and Kacar [8] studied a broad range of Grüss-type inequalities for different kinds of fractional integrals. Although papers [14, 15], and [8] are connected in the sense that one generalizes another, we observe that there may be a great generalization that covers all possible kinds of fractional integrals mentioned in these papers. Therefore we introduced a special class of transformations that involve general kernels over σ-finite measure and prove all the results. Motivated by the above, we successfully presented certain elegant inequalities, which generalize all the previous results.

References

  1. 1.

    Akman, T., Yildiz, B., Baleanu, D.: New discretization of Caputo–Fabrizio derivative. Comput. Appl. Math. 37(3), 3307–3333 (2018)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Anastassiou, G.A.: Fractional Differentiation Inequalities. Springer, Berlin (2009)

    Google Scholar 

  3. 3.

    Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus: Models and Numerical Methods. World Scientific, Hackensack (2012)

    Google Scholar 

  4. 4.

    Diaz, R., Pariguan, E.: On hypergeometric functions and Pochhammer k-symbol. Divulg. Mat. 15, 179–192 (2007)

    MathSciNet  MATH  Google Scholar 

  5. 5.

    Grüss, G.: Uber das Maximum des absoluten Betrages \(\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(1), 215–226 (1935)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

    Google Scholar 

  7. 7.

    Jarad, F., Abdeljawad, T., Baleanu, B.: On the generalized fractional derivatives and their Caputo modification. J. Nonlinear Sci. Appl. 10(5), 2607–2619 (2017)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Kacar, E., Kacar, Z., Yildirim, H.: Integral inequalities for Riemann–Liouville fractional integrals of a function with respect to another function. Iran. J. Math. Sci. Inform. 13(1), 1–13 (2018)

    MathSciNet  Google Scholar 

  9. 9.

    Katugampola, U.N.: New approach to generalized fractional integral. Appl. Math. Comput. 218, 860–865 (2011)

    MathSciNet  MATH  Google Scholar 

  10. 10.

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

    Google Scholar 

  11. 11.

    Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity. Imperial College Press, London (2010)

    Google Scholar 

  12. 12.

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

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Oliveira, D.S., de Oliveira, E.C.: Hilfer–Katugampola fractional derivatives. Comput. Appl. Math. 37, 3672–3690 (2018). https://doi.org/10.1007/s40314-017-0536-8

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Rahman, G., Nisar, K.S., Abdeljawad, T.: Certain Hadamard proportional fractional integral inequalities. Mathematics 8, 504 (2020)

    Article  Google Scholar 

  15. 15.

    Rashid, S., Jarad, F., Noor, M.A., Noor, K.I., Baleanu, D., Liu, J.: On Grüss inequalities within generalized k-fractional integrals. Adv. Differ. Equ. 2020, 203 (2020)

    Article  Google Scholar 

  16. 16.

    Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993)

    Google Scholar 

  17. 17.

    Tariboon, J., Ntouyas, S.K., Sudsutad, W.: Some new Riemann–Liouville fractional integral inequalities. Int. J. Math. Math. Sci. 2014, Article ID 869434 (2014)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Tomovski, Z., Hilfer, R., Srivastava, H.M.: Fractional and operational calculus with generalized fractional derivative operators and Mittag-Leffler type functions. Integral Transforms Spec. Funct. 21(11), 797–814 (2010)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The corresponding author Thabet Abdeljawad would like to thank Prince Sultan University for funding this work through the research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM), group number RG-DES-2017-01-17. All authors are thankful to the anonymous referees for their useful comments and suggestions.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

Affiliations

Authors

Contributions

The authors have worked equally when writing this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Thabet Abdeljawad.

Ethics declarations

Competing interests

The authors declare no conflict of interest.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Iqbal, S., Adil Khan, M., Abdeljawad, T. et al. New general Grüss-type inequalities over σ-finite measure space with applications. Adv Differ Equ 2020, 468 (2020). https://doi.org/10.1186/s13662-020-02933-1

Download citation

MSC

  • 26D15
  • 26D10
  • 26A33
  • 34B27

Keywords

  • Grüss-type inequalities
  • Kernel
  • Fractional integrals
  • Young’s inequality