Skip to main content

q-Integral inequalities associated with some fractional q-integral operators

Abstract

In recent years fractional q-integral inequalities have been investigated by many authors. Therefore, the fractional q-integral inequalities have become one of the most powerful and far-reaching tools for the development of many branches of pure and applied mathematics. Here, we aim to establish some new fractional q-integral inequality by using fractional q-integral operators. Relevant connections of the results presented here with earlier ones are also pointed out.

Introduction and preliminaries

In recent years the study of fractional q-integral inequalities involving functions of independent variables has been an important research subject in mathematical analysis because the inequality technique is also one of the very useful tools in the study of special functions and theory of approximations. During the last two decades or so, several interesting and useful extensions of many of the fractional integral inequalities have been considered by several authors (see, for example, [112]; see also the very recent work [13]). The above-mentioned works have largely motivated our present study.

For our purpose, we begin by recalling the well-known celebrated functional considered by Chebyshev [14] and defined by

$$ T(f,g) := \frac{1}{b-a}\int_{a}^{b} f(x) g(x)\,dx- \biggl(\frac {1}{b-a}\int_{a}^{b} f(x)\,dx \biggr) \biggl(\frac{1}{b-a}\int_{a}^{b} g(x)\,dx \biggr), $$
(1.1)

where \(f(x)\) and \(g(x)\) are two integrable functions on \([a, b]\). If \(f(x)\) and \(g(x)\) are synchronous on \([a, b]\), i.e.,

$$ \bigl(f(x)-f(y) \bigr) \bigl(g(x)-g(y) \bigr)\geq0 $$
(1.2)

for any \(x, y \in[a, b]\), then \(T(f,g)\geq0\).

The functional (1.1) has attracted many researchers’ attention due to diverse applications in numerical quadrature, transform theory, probability and statistical problems. Among those applications, the functional (1.1) has also been employed to yield a number of integral inequalities (see, e.g., [1522]; for a very recent work, see also [23]).

In 1935, Grüss [24] proved the inequality

$$ \bigl\vert T(f, g)\bigr\vert \leq\frac{(M-m)(N-n)}{4}, $$
(1.3)

where \(f(x)\) and \(g(x)\) are two bounded functions, i.e.,

$$ m \leq f(x)\leq M,\qquad n \leq g(x)\leq N $$
(1.4)

for any \(m, M, n, N \in\mathbb{R}\) and \(x, y \in[a, b]\).

Pólya and Szegö [25] obtained the following inequality defined as

$$ \frac{\int_{a}^{b}f^{2}(x)\,dx \int_{a}^{b}g^{2}(x)\,dx}{(\int_{a}^{b}f(x)\,dx \int_{a}^{b}g(x)\,dx )^{2}}\leq\frac{1}{4} \biggl(\sqrt{\frac{MN}{mn}}+\sqrt{\frac{mn}{MN}} \biggr)^{2}, $$
(1.5)

provided f, g satisfy (1.4) and \(m, n>0\).

Similarly, Dragomir and Diamond proved that (see [26], p.28, Eq. 2.1)

$$ \bigl\vert T(f, g)\bigr\vert \leq\frac{ (M-m ) (N-n )}{4(b-a)^{2}\sqrt{mMnN}} \int_{a}^{b}f(x)\,dx \int_{a}^{b}g(x) \,dx, $$
(1.6)

where \(f(x)\) and \(g(x)\) are two positive integrable functions so that

$$ 0< m \leq f(x)\leq M< \infty,\qquad 0< n \leq g(x)\leq N< \infty $$
(1.7)

for a.e. \(x\in[a, b]\).

Recently, Anber and Dahmani [2], by using the Riemann-Liouville fractional integral, presented some interesting integral inequalities of Pólya and Szegö type. Here, motivated essentially by the above work, we aim at establishing certain (presumably) new Pólya-Szegö type q-inequalities associated with fractional q-integral operators.

For our purpose, we need the following definitions and some properties.

Definition 1

A real-valued function \(f(t)\) (\(t>0\)) is said to be in the space \(C_{\mu}^{n}\) (\(n, \mu\in\mathbb{R}\)) if there exists a real number \(p>\mu\) such that \(f^{(n)}(t)=t^{p} \phi (t)\), where \(\phi(t) \in C(0, \infty)\).

Here, for the case \(n=1\), we use a simpler notation \(C_{\mu}^{1}=C_{\mu}\).

Definition 2

Let \(\Re(\alpha)>0\), β and η be real or complex numbers. Then a q-analogue of Saigo’s fractional integral \(I^{\alpha,\beta,\eta}_{q}\) is given for \(|\frac{\tau}{t}|<1\) by (see [27], p.172, Eq. (2.1))

$$\begin{aligned} I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} :={}& \frac {t^{-\beta-1}}{\Gamma_{q}(\alpha)} \int_{0}^{t} (q \tau/t;q)_{\alpha-1} \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &{}\cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} f(\tau) \,d_{q} \tau. \end{aligned}$$
(1.8)

The integral operator\(I^{\alpha,\beta,\eta}_{q}\) includes both the q-analogues of the Riemann-Liouville and Erdélyi-Kober fractional integral operators given by the following relationships:

$$\begin{aligned} I^{\alpha}_{q} \bigl\{ f(t) \bigr\} :{}& \bigl(=I^{\alpha,-\alpha ,0}_{q} \bigl\{ f(t) \bigr\} \bigr) \\ & =\frac{t^{\alpha-1}}{\Gamma_{q}(\alpha)} \int_{0}^{t}(q \tau/t;q)_{\alpha-1}f(\tau)\,d_{q}\tau \quad(\alpha>0; 0< q< 1), \end{aligned}$$
(1.9)

and

$$\begin{aligned} I^{\eta, \alpha}_{q} \bigl\{ f(t) \bigr\} :{}& \bigl(=I^{\alpha,0, \eta}_{q} \bigl\{ f(t) \bigr\} \bigr) \\ & =\frac{t^{-\eta-1}}{\Gamma_{q}(\alpha)} \int_{0}^{t}(q \tau/t;q)_{\alpha-1} \tau^{\eta}f(\tau)\,d_{q}\tau \quad(\alpha>0; 0< q< 1), \end{aligned}$$
(1.10)

where \((a;q)_{\alpha}\) is the q-shifted factorial.

The q-shifted factorial \((a;q)_{n}\) is defined by

$$ (a;q)_{n}:= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1 &(n=0),\\ \prod_{k=0}^{n-1} \bigl(1-a q^{k} \bigr) & (n \in \mathbb{N}), \end{array}\displaystyle \right . $$
(1.11)

where \(a, q \in\mathbb{C}\), and it is assumed that \(a \ne q^{-m}\) (\(m \in{\mathbb{N}}_{0}\)).

The q-shifted factorial for negative subscript is defined by

$$ (a;q)_{-n}:= \frac{1}{ (1-a q^{-1} ) (1-a q^{-2}) \cdots (1-a q^{-n} ) }\quad (n \in{\mathbb{N}}_{0} ). $$
(1.12)

We also write

$$ (a;q)_{\infty}:= \prod _{k=0}^{\infty}\bigl(1-a q^{k} \bigr)\quad \bigl(a, q \in \mathbb{C}; |q|< 1\bigr). $$
(1.13)

It follows from (1.11), (1.12) and (1.13) that

$$ (a;q)_{n} = \frac{(a;q)_{\infty}}{(a q^{n};q )_{\infty}} \quad(n \in\mathbb{Z}), $$
(1.14)

which can be extended to \(n=\alpha\in\mathbb{C}\) as follows:

$$ (a;q)_{\alpha}= \frac{(a;q)_{\infty}}{ (a q^{\alpha};q )_{\infty}} \quad\bigl(\alpha\in \mathbb{C}; |q|< 1\bigr), $$
(1.15)

where the principal value of \(q^{\alpha}\) is taken.

For \(f(t) = t^{\mu}\) in (1.8), we get the known formula [28]

$$ I^{\alpha,\beta,\eta}_{q} \bigl\{ t^{\mu} \bigr\} := \frac {\Gamma_{q}(\mu+1)\Gamma_{q}(\mu-\beta+\eta+1)}{ \Gamma_{q}(\mu-\beta+1)\Gamma_{q}(\mu+\alpha+\eta+1)}x^{\mu-\beta}. $$
(1.16)

Lemma 1

(Choi and Agarwal [28])

Let \(0< q<1\) and \(f:[0, \infty) \to\mathbb{R}\) be a continuous function with \(f(t)\geq0\) for all \(t \in[0, \infty)\). Then we have the following inequalities:

  1. (i)

    The Saigo fractional q-integral operator of the function \(f(t)\) in (1.8)

    $$ I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \geq0 $$
    (1.17)

    for all \(\alpha>0\) and \(\beta, \eta\in\mathbb{R}\) with \(\alpha+ \beta>0\) and \(\eta<0\);

  2. (ii)

    The q-analogue of Riemann-Liouville fractional integral operator of the function \(f(t)\) of order α in (1.9)

    $$ I^{\alpha}_{q} \bigl\{ f(t) \bigr\} \geq0 $$
    (1.18)

    for all \(\alpha>0\);

  3. (iii)

    The q-analogue of Erdélyi-Kober fractional integral operator of the function \(f(t)\) in (1.10)

    $$ I^{\eta, \alpha}_{q} \bigl\{ f(t) \bigr\} \geq0 $$
    (1.19)

    for all \(\alpha>0\) and \(\eta\in\mathbb{R}\).

Certain fractional q-integral inequalities

In this section, we establish certain Pólya-Szegö type integral inequalities for the synchronous functions involving the hypergeometric fractional integral operator (1.8), some of which are presumably (new) ones. For our purpose, we begin with providing the following lemma involving a q-analogue of Saigo’s fractional integral operator.

Lemma 2

Let \(0< q<1\), u and v be two continuous and positive integrable functions on \([0, \infty)\) with

$$ 0< m_{1} \leq u(\tau)\leq M_{1}< \infty,\qquad 0< n_{1} \leq v(\tau)\leq N_{1}< \infty\quad \bigl(\tau\in[0,t], t>0 \bigr). $$
(2.1)

Then the following inequality holds true:

$$ \frac{ (I^{\alpha,\beta,\eta}_{q} \{u^{2}(t) \} ) (I^{\alpha,\beta,\eta}_{q} \{v^{2}(t) \} )}{ (I^{\alpha,\beta,\eta}_{q} \{u(t) \} \{v(t) \} )^{2}} \leq\frac{1}{4} \biggl(\sqrt{ \frac{M_{1}N_{1}}{m_{1}n_{1}}}+\sqrt {\frac{m_{1}n_{1}}{M_{1}N_{1}}} \biggr)^{2} $$
(2.2)

for all \(\alpha>0\), and \(\beta, \eta\in\mathbb{R}\) with \(\alpha+ \beta>0\), and \(\eta<0\).

Proof

From (2.1), for \(\tau\in[0,t]\), \(t>0\), we have

$$ \frac{u(\tau)}{v(\tau)}\leq\frac{m_{1}}{N_{1}}, $$
(2.3)

which yields

$$ \bigl(N_{1} u(\tau)-m_{1} v(\tau) \bigr) \leq0. $$
(2.4)

Analogously, we have

$$ \frac{n_{1}}{M_{1}}\leq\frac{u(\tau)}{v(\tau)}, $$
(2.5)

from which one has

$$ \bigl(n_{1} u(\tau)-M_{1} v(\tau) \bigr) \leq0. $$
(2.6)

Multiplying (2.4) and (2.6), we obtain

$$ (M_{1}N_{1}+m_{1}n_{1} )u(\tau) v(\tau)\geq M_{1}m_{1}v^{2}( \tau)+N_{1}n_{1}u^{2}(\tau). $$
(2.7)

Now, multiplying both sides of (2.7) by

$$\frac{t^{-\beta-1}}{\Gamma_{q}(\alpha)} (q \tau/t;q)_{\alpha-1} \sum _{m=0}^{\infty}\frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} $$

and taking q-integration of the resulting inequality with respect to τ from 0 to t with the aid of Definition 2, we get

$$ (M_{1}N_{1}+m_{1}n_{1} )I^{\alpha,\beta,\eta}_{q} \bigl\{ {u}(t) v (t) \bigr\} \geq M_{1}m_{1}I^{\alpha,\beta,\eta}_{q} \bigl\{ v^{2}(t) \bigr\} +N_{1}n_{1}I^{\alpha,\beta,\eta}_{q} \bigl\{ u^{2}(t) \bigr\} . $$
(2.8)

Applying the AM-GM inequality, i.e., \(a+b\geq2\sqrt{ab}\), \(a,b\in\mathbb{R}^{+}\), we have

$$ (M_{1}N_{1}+m_{1}n_{1} )I^{\alpha,\beta,\eta}_{q} \bigl\{ {u}(t) v (t) \bigr\} \geq 2\sqrt {M_{1}m_{1}I^{\alpha,\beta,\eta}_{q} \bigl\{ v^{2}(t) \bigr\} N_{1}n_{1}I^{\alpha,\beta,\eta}_{q} \bigl\{ u^{2}(t) \bigr\} .} $$
(2.9)

This implies that after little simplification

$$ \frac{I^{\alpha,\beta,\eta}_{q} \{u^{2}(t) \} I^{\alpha,\beta ,\eta}_{q} \{v^{2}(t) \}}{ \{I^{\alpha,\beta,\eta}_{q} \{u(t) v(t) \} \}^{2}} \leq \frac{1}{4} \biggl( \sqrt{\frac {M_{1}N_{1}}{m_{1}n_{1}}}+\sqrt{\frac{m_{1}n_{1}}{M_{1}N_{1}}} \biggr)^{2}. $$
(2.10)

This completes the proof of Lemma 2. □

Theorem 1

Let \(0< q<1\), f and g be two positive integrable functions on \([0, \infty)\) and m, M, n, N be positive real numbers with inequality (2.1) holds. Then the following inequality holds true:

$$\begin{aligned} & \biggl\vert \frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f(t) g(t) \bigr\} \biggr\vert \\ &\quad \leq\frac{ (M-m ) (N-n )}{4\sqrt{mMnN}}I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} I^{\alpha,\beta,\eta }_{q} \bigl\{ g(t) \bigr\} \end{aligned}$$
(2.11)

for all \(\alpha>0\), and \(\beta, \eta\in\mathbb{R}\) with \(\alpha+ \beta>0\), and \(\eta<0\).

Proof

Let f and g be two positive integrable functions on \([0,\infty)\). Then, for all \(\tau, \rho\in(0, t)\) with \(t> 0\), we have

$$ A(\tau, \rho)= \bigl(f(\tau)-f(\rho) \bigr) \bigl(g( \tau)-g(\rho) \bigr), $$
(2.12)

or, equivalently,

$$ A(\tau, \rho)= f(\tau)g(\tau)+f(\rho)g(\rho) - f( \tau)g(\rho)-f(\rho )g(\tau). $$
(2.13)

Now, multiplying both sides of (2.13) by

$$\frac{t^{-\beta-1}}{\Gamma_{q}(\alpha)} (q \tau/t;q)_{\alpha-1} \sum _{m=0}^{\infty}\frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} $$

and taking q-integration of the resulting inequality with respect to τ from 0 to t with the aid of Definition 2, we get

$$\begin{aligned} &\frac{t^{-\beta-1}}{\Gamma_{q}(\alpha)} \int_{0}^{t} (q \tau/t;q)_{\alpha-1} \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{}\cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} A(\tau,\rho) \,d_{q} \tau \\ &\quad = I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) g(t) \bigr\} +\frac{\Gamma (1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}f(\rho)g(\rho) \\ &\qquad{} - g(\rho)I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} -f( \rho)I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} . \end{aligned}$$
(2.14)

Again, multiplying both sides of (2.14) by

$$\frac{t^{-\beta-1}}{\Gamma_{q}(\alpha)} (q \rho/t;q)_{\alpha-1} \sum _{m=0}^{\infty}\frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\rho/t-1 )^{m}_{q} $$

and taking q-integration of the resulting inequality with respect to ρ from 0 to t and using (1.8), we get

$$\begin{aligned} & \frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int_{0}^{t} \int_{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} A(\tau ,\rho) \,d_{q} \tau \,d_{q}\rho \\ &\quad = 2\frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f(t) g(t) \bigr\} -2 I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) g(t) \bigr\} . \end{aligned}$$
(2.15)

By using the Cauchy-Schwarz inequality for double integrals, we have

$$\begin{aligned} & \Biggl\vert \frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int_{0}^{t} \int_{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} A(\tau ,\rho) \,d_{q} \tau \,d_{q}\rho\Biggr\vert \\ &\quad \leq \Biggl[\frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int _{0}^{t} \int_{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum _{m=0}^{\infty}\frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ & \qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} f^{2}(\tau) \,d_{q} \tau \,d_{q}\rho \\ &\qquad{} +\frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int_{0}^{t} \int _{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} f^{2}(\tau) \,d_{q} \tau \,d_{q}\rho \\ &\qquad{} -2\frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int_{0}^{t} \int _{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} g^{2}(\tau) \,d_{q} \tau \,d_{q}\rho \\ &\qquad{} +\frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int_{0}^{t} \int _{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} g^{2}(\tau) \,d_{q} \tau \,d_{q}\rho \\ &\qquad{} -2\frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int_{0}^{t} \int _{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum_{m=0}^{\infty} \frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} g(\tau ) g(\rho) \,d_{q} \tau \,d_{q}\rho \Biggr]^{\frac{1}{2}}. \end{aligned}$$
(2.16)

Applying Definition 2, we get

$$\begin{aligned} & \Biggl\vert \frac{t^{-2(\beta+1)}}{\Gamma_{q}^{2}(\alpha)} \int _{0}^{t} \int_{0}^{t} (q \tau/t;q)_{\alpha-1} (q \rho/t;q)_{\alpha -1} \Biggl\{ \sum _{m=0}^{\infty}\frac{ (q^{\alpha+\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \\ &\qquad{} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom {m}{2}} \Biggr\} ^{2} (\tau/t-1 )^{m}_{q} (\rho/t-1 )^{m}_{q} A(\tau ,\rho) \,d_{q} \tau \,d_{q}\rho\Biggr\vert \\ &\quad \leq2 \biggl[\frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f^{2}(t) \bigr\} - \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \bigr)^{2} \biggr]^{\frac{1}{2}} \\ &\qquad{} \cdot \biggl[\frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\alpha,\beta,\eta }_{q} \bigl\{ g^{2}(t) \bigr\} - \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} \bigr)^{2} \biggr]^{\frac{1}{2}}. \end{aligned}$$
(2.17)

By applying Lemma 2, we get

$$\begin{aligned} & \frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta} I^{\alpha,\beta,\eta }_{q} \bigl\{ f^{2}(t) \bigr\} \\ &\quad\leq \frac{1}{4} \biggl(\sqrt{\frac {M}{m}}+\sqrt{\frac{m}{M}} \biggr)^{2} \bigl( \bigl\{ I^{\alpha,\beta,\eta }_{q} f(t) \bigr\} \bigr)^{2} \\ &\quad = \frac{(M+m)^{2}}{4mM} \bigl(I^{\alpha,\beta,\eta }_{q} \bigl\{ f(t) \bigr\} \bigr)^{2}. \end{aligned}$$
(2.18)

After little simplification, we get

$$\begin{aligned} &\frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f^{2}(t) \bigr\} - \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \bigr)^{2} \\ &\quad \leq \biggl(\frac{(M+m)^{2}}{4mM}-1 \biggr) \bigl(I^{\alpha ,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \bigr)^{2} \end{aligned}$$
(2.19)

or

$$\begin{aligned} & \frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f^{2}(t) \bigr\} - \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \bigr)^{2} \\ & \quad\leq \frac{(M-m)^{2}}{4mM} \bigl(I^{\alpha,\beta,\eta }_{q} \bigl\{ f(t) \bigr\} \bigr)^{2}. \end{aligned}$$
(2.20)

Similarly, we get

$$\begin{aligned} & \frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta} I^{\alpha,\beta,\eta }_{q} \bigl\{ g^{2}(t) \bigr\} - \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} \bigr)^{2} \\ &\quad \leq \frac{(N-n)^{2}}{4nN} \bigl(I^{\alpha,\beta,\eta }_{q} \bigl\{ g(t) \bigr\} \bigr)^{2}. \end{aligned}$$
(2.21)

Finally, by adding (2.14), (2.17), (2.20) and (2.21), side by side, we arrive at the desired result (2.11). □

In the sequel, we can present another inequality involving the q-fractional integral operator given in (1.8), asserted by the following lemma.

Lemma 3

Let \(0< q<1\), u and v be two continuous and positive integrable functions on \([0, \infty)\) with (2.1) holds. Then the following inequality holds true:

$$ \frac{ (I^{\alpha,\beta,\eta}_{q} \{u^{2}(t) \} ) (I^{\gamma,\delta,\zeta}_{q} \{v^{2}(t) \} )}{ (I^{\alpha,\beta,\eta}_{q} \{u(t) \} \{v(t) \} ) (I^{\gamma,\delta,\zeta}_{q} \{u(t) \} \{v(t) \} )} \leq\frac{1}{4} \biggl(\sqrt{ \frac {M_{1}N_{1}}{m_{1}n_{1}}}+\sqrt{\frac{m_{1}n_{1}}{M_{1}N_{1}}} \biggr)^{2} $$
(2.22)

for all \(\alpha,\gamma>0\), and \(\beta, \eta,\delta,\zeta\in \mathbb{R}\) with \(\alpha+ \beta>0\), \(\gamma+\delta>0\), and \(\eta,\zeta<0\).

Proof

To prove Lemma 2, we start from the condition

$$ \frac{m_{1}}{N_{1}}\leq\frac{u(\tau)}{v(\tau)}\quad \bigl(\tau\in [0,t], t>0 \bigr), $$
(2.23)

we get

$$ \frac{m_{1}}{N_{1}} \bigl(v^{2}(\tau) \bigr) \leq u(\tau) v(\tau)\quad \bigl(\tau\in[0,t], t>0 \bigr). $$
(2.24)

Now, multiplying both sides of (2.24) by

$$\begin{aligned} & \frac{t^{-\delta-1}}{ (\Gamma_{q}(\gamma) )} (q \rho/t;q)_{\gamma-1} \sum _{n=0}^{\infty}\frac{ (q^{\gamma+\delta };q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}}\\ &\quad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom{n}{2}} (\rho/t-1 )^{n}_{q}\quad \bigl(\rho\in (0,t ) ; t>0\bigr), \end{aligned}$$

and integrating with respect to ρ from 0 to t, we get

$$ \frac{m_{1}}{N_{1}}I^{\gamma,\delta,\zeta, \nu}_{t} \bigl\{ v^{2}(t) \bigr\} \leq I^{\gamma,\delta,\zeta, \nu}_{t} \bigl\{ u(t) v(t) \bigr\} . $$
(2.25)

Multiplying (2.24) and (2.25), we get the desired result (2.22). This completes the proof of Lemma 2. □

Theorem 2

Let \(0< q<1\), f and g be two positive integrable functions on \([0, \infty)\) and there exist positive real numbers m, n, M, N with inequality (2.1) holds. Then we have

$$\begin{aligned} & \biggl\vert \frac{\Gamma(1-\delta+\zeta)}{ \Gamma(1-\delta)\Gamma(1+\gamma+\zeta)} t^{-\delta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f(t) g(t) \bigr\} + \frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\gamma,\delta,\zeta }_{q} \bigl\{ f(t) g(t) \bigr\} \\ &\qquad{} -I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} I^{\gamma,\delta,\zeta}_{q} \bigl\{ g(t) \bigr\} - I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} I^{\gamma,\delta,\zeta }_{q} \bigl\{ f(t) \bigr\} \biggr\vert \\ &\quad \leq\frac{ (M-m ) (N-n )}{2\sqrt{mMnN}}I^{\alpha ,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} I^{\gamma,\delta,\zeta}_{q} \bigl\{ g(t) \bigr\} \end{aligned}$$
(2.26)

for all \(\alpha,\gamma>0\), and \(\beta, \eta,\delta,\zeta\in \mathbb{R}\) with \(\alpha+ \beta>0\), \(\gamma+\delta>0\), and \(\eta,\zeta<0\).

Proof

Multiplying both sides of (2.14) by

$$\begin{aligned} & \frac{t^{-\delta-1}}{ (\Gamma_{q}(\gamma) )} (q \rho/t;q)_{\gamma-1}\sum _{n=0}^{\infty}\frac{ (q^{\gamma+\delta };q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}}\\ &\quad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom{n}{2}} (\rho/t-1 )^{n}_{q} \quad\bigl(\rho\in (0,t ) ; t>0\bigr), \end{aligned}$$

and integrating with respect to ρ from 0 to t, we get

$$\begin{aligned} & \frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma_{q}(\gamma)\Gamma _{q}(\alpha)} \int_{0}^{t} \int_{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha+\beta };q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha};q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom{n}{2}} (\rho/t-1 )^{n}_{q} A(\tau,\rho) \,d_{q}\tau \,d_{q} \rho \\ &\quad = \frac{\Gamma(1-\delta+\zeta)}{ \Gamma(1-\delta)\Gamma(1+\gamma+\zeta)} t^{-\delta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f(t) g(t) \bigr\} +\frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\gamma,\delta,\zeta }_{q} \bigl\{ f(t) g(t) \bigr\} \\ &\qquad{}- I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} I^{\gamma,\delta,\zeta }_{q} \bigl\{ g(t) \bigr\} -I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} I^{\gamma,\delta,\zeta}_{q} \bigl\{ f(t) \bigr\} . \end{aligned}$$
(2.27)

By using the Cauchy-Schwarz inequality for double integrals, we have

$$\begin{aligned} & \Biggl\vert \frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma_{q}(\gamma )\Gamma_{q}(\alpha)} \int_{0}^{t} \int_{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} A(\tau,\rho) \,d_{q}\tau \,d_{q} \rho\Biggr\vert \\ &\quad \leq \Biggl[ \frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma _{q}(\gamma)\Gamma_{q}(\alpha)} \int_{0}^{t} \int_{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} f^{2}(\rho) \,d_{q}\tau \,d_{q}\rho \\ &\qquad{} +\frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma_{q}(\gamma)\Gamma_{q}(\alpha )} \int_{0}^{t} \int _{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} f^{2}(\tau) \,d_{q}\tau \,d_{q}\rho \\ &\qquad{} -2 \frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma _{q}(\gamma)\Gamma_{q}(\alpha)} \int_{0}^{t} \int _{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ & \qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} f(\tau) f(\rho) \,d_{q}\tau \,d_{q}\rho \Biggr]^{\frac{1}{2}} \\ & \qquad{}\cdot \Biggl[\frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma _{q}(\gamma)\Gamma_{q}(\alpha)} \int _{0}^{t} \int_{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{} \cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} g^{2}(\rho) \,d_{q}\tau \,d_{q}\rho \\ &\qquad{} +\frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma_{q}(\gamma)\Gamma_{q}(\alpha )} \int_{0}^{t} \int _{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} g^{2}(\tau) \,d_{q}\tau \,d_{q}\rho \\ &\qquad{} -2 \frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma _{q}(\gamma)\Gamma_{q}(\alpha)} \int_{0}^{t} \int _{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} g(\tau) g(\rho) \,d_{q}\tau \,d_{q}\rho \Biggr]^{\frac{1}{2}}. \end{aligned}$$
(2.28)

Applying Definition 2, we get

$$\begin{aligned} & \Biggl\vert \frac{t^{-\delta-1}t^{-\beta-1}}{\Gamma_{q}(\gamma )\Gamma_{q}(\alpha)} \int _{0}^{t} \int_{0}^{t} (q \rho/t;q)_{\gamma-1} (q \tau/t;q)_{\alpha-1} \\ &\qquad{}\cdot \sum_{m=0}^{\infty} \sum _{n=0}^{\infty}\frac{ (q^{\alpha +\beta};q )_{m} (q^{-\eta};q )_{m}}{ (q^{\alpha };q )_{m} (q;q)_{m}} \frac{ (q^{\gamma+\delta};q )_{n} (q^{-\zeta};q )_{n}}{ (q^{\gamma};q )_{n} (q;q)_{n}} \cdot q^{(\eta-\beta)m} (-1)^{m} q^{-\binom{m}{2}} (\tau/t-1 )^{m}_{q} \\ &\qquad{} \cdot q^{(\zeta-\delta)n} (-1)^{n} q^{-\binom {n}{2}} (\rho/t-1 )^{n}_{q} A(\tau,\rho) \,d_{q}\tau \,d_{q} \rho\Biggr\vert \\ &\quad \leq2 \biggl[\frac{\Gamma(1-\delta+\zeta)}{ \Gamma(1-\delta)\Gamma(1+\gamma+\zeta)} t^{-\delta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f^{2}(t) \bigr\} +\frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\gamma,\delta,\zeta }_{q} \bigl\{ f^{2}(t) \bigr\} \\ &\qquad{} - 2I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} I^{\gamma,\delta ,\zeta}_{q} \bigl\{ f(t) \bigr\} \biggr]^{\frac{1}{2}} \\ &\qquad{} \cdot \biggl[\frac{\Gamma(1-\delta+\zeta)}{ \Gamma(1-\delta)\Gamma(1+\gamma+\zeta)} t^{-\delta}I^{\alpha,\beta,\eta }_{q} \bigl\{ g^{2}(t) \bigr\} +\frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\gamma,\delta,\zeta }_{t} \bigl\{ g^{2}(t) \bigr\} \\ &\qquad{} - 2I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} I^{\gamma,\delta ,\zeta}_{q} \bigl\{ g(t) \bigr\} \biggr]^{\frac{1}{2}}. \end{aligned}$$
(2.29)

Applying Definition 2, we get

$$\begin{aligned} & \frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\gamma,\delta,\zeta }_{q} \bigl\{ f^{2}(t) \bigr\} - I^{\gamma,\delta,\zeta}_{q} \bigl\{ f(t) \bigr\} I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \\ &\quad \leq \frac{(M-m)^{2}}{4mM} \bigl(I^{\gamma,\delta,\zeta}_{q} \bigl\{ f(t) \bigr\} \bigr) \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \bigr), \end{aligned}$$
(2.30)

and

$$\begin{aligned} & \frac{\Gamma(1-\delta+\zeta)}{ \Gamma(1-\delta)\Gamma(1+\gamma+\zeta)} t^{-\delta}I^{\alpha,\beta,\eta }_{q} \bigl\{ f^{2}(t) \bigr\} - I^{\gamma,\delta,\zeta}_{q} \bigl\{ f(t) \bigr\} I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \\ &\quad \leq \frac{(M-m)^{2}}{4mM} \bigl(I^{\gamma,\delta,\zeta}_{q} \bigl\{ f(t) \bigr\} \bigr) \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ f(t) \bigr\} \bigr). \end{aligned}$$
(2.31)

Similarly, for the function \(g(t)\), we get

$$\begin{aligned} & \frac{\Gamma(1-\beta+\eta)}{ \Gamma(1-\beta)\Gamma(1+\alpha+\eta)} t^{-\beta}I^{\gamma,\delta,\zeta }_{q} \bigl\{ g^{2}(t) \bigr\} - I^{\gamma,\delta,\zeta}_{q} \bigl\{ g(t) \bigr\} I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} \\ &\quad \leq \frac{(M-m)^{2}}{4mM} \bigl(I^{\gamma,\delta,\zeta}_{q} \bigl\{ g(t) \bigr\} \bigr) \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} \bigr), \end{aligned}$$
(2.32)

and

$$\begin{aligned} & \frac{\Gamma(1-\delta+\zeta)}{ \Gamma(1-\delta)\Gamma(1+\gamma+\zeta)} t^{-\delta}I^{\alpha,\beta,\eta }_{q} \bigl\{ g^{2}(t) \bigr\} - I^{\gamma,\delta,\zeta}_{q} \bigl\{ g(t) \bigr\} I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} \\ &\quad \leq \frac{(M-m)^{2}}{4mM} \bigl(I^{\gamma,\delta,\zeta}_{q} \bigl\{ g(t) \bigr\} \bigr) \bigl(I^{\alpha,\beta,\eta}_{q} \bigl\{ g(t) \bigr\} \bigr). \end{aligned}$$
(2.33)

Finally, in view of (2.27) to (2.33), we arrive at the desired result (2.26). This completes the proof of Theorem 2. □

Remark 1

It may be noted that the inequality in (2.26) when \(\zeta=\eta\) reduces immediately to that in (2.11).

Special cases and concluding remarks

By virtue of the unified nature of Saigo’s fractional q-integral operator (1.8), a large number of new and known integral inequalities involving q-analogues of the Riemann-Liouville and Erdélyi-Kober fractional integral operators are seen to follow as special cases of our main result. Indeed, by suitably specializing the values of parameters α, β, η (and γ, δ, ζ in addition of Theorem 2), inequalities (2.11) and (2.26) in Theorems 1 and 2, respectively, would yield further Grüss type integral inequalities involving the above-mentioned integral operators.

If we put \(\beta= 0\) (and \(\delta=0\) in addition in Theorem 2), using (1.10), inequalities (2.11) and (2.26) gives the following results involving q-analogues of the Erdélyi-Kober fractional integral operators, which are believed to be new.

Corollary 1

Let \(0< q<1\), f and g be two positive integrable functions on \([0, \infty)\) and m, M, n, N be positive real numbers with inequality (2.1) holds. Then the following inequality holds true:

$$\begin{aligned} \biggl\vert \frac{\Gamma(1+\eta)}{ \Gamma(1+\alpha+\eta)} I^{\eta,\alpha}_{q} \bigl\{ f(t) g(t) \bigr\} \biggr\vert \leq\frac{ (M-m ) (N-n )}{4\sqrt {mMnN}}I^{\eta,\alpha}_{q} \bigl\{ f(t) \bigr\} I^{\eta,\alpha}_{q} \bigl\{ g(t) \bigr\} \end{aligned}$$
(3.1)

for all \(\alpha>0\), and \(\eta\in\mathbb{R}\) with \(\eta<0\).

Corollary 2

Let \(0< q<1\), f and g be two positive integrable functions on \([0, \infty)\) and there exist positive real numbers m, n, M, N with inequality (2.1) holds. Then we have

$$\begin{aligned} & \biggl\vert \frac{\Gamma(1+\zeta)}{ \Gamma(1+\gamma+\zeta)} I^{\eta,\alpha}_{q} \bigl\{ f(t) g(t) \bigr\} +\frac{\Gamma(1+\eta)}{ \Gamma(1+\alpha+\eta)} I^{\zeta,\gamma}_{q} \bigl\{ f(t) g(t) \bigr\} \\ &\qquad{} -I^{\eta,\alpha}_{q} \bigl\{ f(t) \bigr\} I^{\zeta ,\gamma}_{q} \bigl\{ g(t) \bigr\} - I^{\eta,\alpha}_{0,t} \bigl\{ g(t) \bigr\} I^{\zeta,\gamma}_{q} \bigl\{ f(t) \bigr\} \biggr\vert \\ &\quad \leq\frac{ (M-m ) (N-n )}{2\sqrt{mMnN}}I^{\eta ,\alpha}_{0,t} \bigl\{ f(t) \bigr\} I^{\zeta,\gamma}_{q} \bigl\{ g(t) \bigr\} \end{aligned}$$
(3.2)

for all \(\alpha,\gamma>0\), and \(\eta,\zeta\in\mathbb{R}\) with \(\eta,\zeta<0\).

Similarly, if we set \(\eta=0\) and replace β by −α in Theorem 1 (and \(\zeta=0\) and replace δ by −γ in addition in Theorem 2), using (1.9), inequalities (2.11) and (2.26) gives the following results involving q-analogues of the Riemann-Liouville and Erdélyi-Kober fractional integral operators, which are also believed to be new.

Corollary 3

Let \(0< q<1\), f and g be two positive integrable functions on \([0, \infty)\) and m, M, n, N be positive real numbers with inequality (2.1) holds. Then the following inequality holds true:

$$\begin{aligned} & \biggl\vert \frac{1}{ \Gamma(1+\alpha)} t^{\alpha}I^{\alpha}_{q} \bigl\{ f(t) g(t) \bigr\} \biggr\vert \leq\frac{ (M-m ) (N-n )}{4\sqrt {mMnN}}I^{\alpha}_{q} \bigl\{ f(t) \bigr\} I^{\alpha}_{q} \bigl\{ g(t) \bigr\} \end{aligned}$$
(3.3)

for all \(\alpha>0\).

Corollary 4

Let \(0< q<1\), f and g be two positive integrable functions on \([0, \infty)\) and there exist positive real numbers m, n, M, N with inequality (2.1) holds. Then we have

$$\begin{aligned} & \biggl\vert \frac{1}{ \Gamma(1+\gamma)} t^{\gamma}I^{\alpha}_{q} \bigl\{ f(t) g(t) \bigr\} + \frac{1}{ \Gamma(1+\alpha)} t^{\alpha}I^{\gamma}_{q} \bigl\{ f(t) g(t) \bigr\} \\ &\qquad{} -I^{\alpha}_{q} \bigl\{ f(t) \bigr\} I^{\gamma }_{q} \bigl\{ g(t) \bigr\} - I^{\alpha}_{q} \bigl\{ g(t) \bigr\} I^{\gamma}_{q} \bigl\{ f(t) \bigr\} \biggr\vert \\ &\quad \leq\frac{ (M-m ) (N-n )}{2\sqrt{mMnN}}I^{\alpha }_{q} \bigl\{ f(t) \bigr\} I^{\gamma}_{q} \bigl\{ g(t) \bigr\} \end{aligned}$$
(3.4)

for all \(\alpha,\gamma>0\).

We conclude this paper by emphasizing, again, that our main result here, being of a very general nature, can be specialized to yield numerous interesting fractional integral inequalities including q-analogues of some known results (see, for example [13]).

References

  1. 1.

    Anastassiou, G: q-Fractional inequalities. CUBO 13, 61-71 (2011)

    MATH  MathSciNet  Article  Google Scholar 

  2. 2.

    Anastassiou, GA: Fractional Differentiation Inequalities. Springer, Dordrecht (2009)

    Google Scholar 

  3. 3.

    Cerone, P, Dragomir, SS: A refinement of the Grüss inequality and applications. Tamkang J. Math. 38, 37-49 (2007)

    MATH  MathSciNet  Google Scholar 

  4. 4.

    Choi, J, Agarwal, P: Some new Saigo type fractional integral inequalities and their q-analogues. Abstr. Appl. Anal. 2014, Article ID 579260 (2014)

    MathSciNet  Google Scholar 

  5. 5.

    Choi, J, Agarwal, P: Certain fractional integral inequalities involving hypergeometric operators. East Asian Math. J. 30, 283-291 (2014)

    Article  Google Scholar 

  6. 6.

    Choi, J, Agarwal, P: Certain new pathway type fractional integral inequalities. Honam Math. J. 36, 437-447 (2014)

    MathSciNet  Google Scholar 

  7. 7.

    Choi, J, Agarwal, P: Certain integral transform and fractional integral formulas for the generalized Gauss hypergeometric functions. Abstr. Appl. Anal. 2014, Article ID 735946 (2014)

    MathSciNet  Google Scholar 

  8. 8.

    Mazouzi, S, Qi, F: On an open problem regarding an integral inequality. J. Inequal. Pure Appl. Math. 4(2), 31 (2003)

    MathSciNet  Google Scholar 

  9. 9.

    Mitrinović, DS, Pečarić, JE, Fink, AM: Classical and New Inequalities in Analysis. Mathematics and Its Applications (East European Series), vol. 61. Kluwer Academic, Dordrecht (1993)

    Google Scholar 

  10. 10.

    Pachpatte, BG: On multidimensional Grüss type integral inequalities. J. Inequal. Pure Appl. Math. 3(2), 27 (2002)

    MathSciNet  Google Scholar 

  11. 11.

    Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999)

    Google Scholar 

  12. 12.

    Zhu, C, Yang, W, Zhao, Q: Some new fractional q-integral Grüss-type inequalities and other inequalities. J. Inequal. Appl. 2012, Article ID 299 (2012)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Anber, A, Dahmani, Z: New integral results using Pólya-Szegö inequality. Acta Comment. Univ. Tartu Math. 17(2), 171-178 (2013)

    MATH  MathSciNet  Google Scholar 

  14. 14.

    Chebyshev, PL: Sur les expressions approximatives des integrales definies par les autres prises entre les mêmes limites. Proc. Math. Soc. Charkov 2, 93-98 (1882)

    Google Scholar 

  15. 15.

    Anastassiou, GA: Advances on Fractional Inequalities. Springer Briefs in Mathematics. Springer, New York (2011)

    Google Scholar 

  16. 16.

    Belarbi, S, Dahmani, Z: On some new fractional integral inequalities. J. Inequal. Pure Appl. Math. 10(3), 86 (2009) (electronic)

    MathSciNet  Google Scholar 

  17. 17.

    Dahmani, Z, Mechouar, O, Brahami, S: Certain inequalities related to the Chebyshev’s functional involving a type Riemann-Liouville operator. Bull. Math. Anal. Appl. 3(4), 38-44 (2011)

    MathSciNet  Google Scholar 

  18. 18.

    Dragomir, SS: Some integral inequalities of Grüss type. Indian J. Pure Appl. Math. 31(4), 397-415 (2000)

    MATH  MathSciNet  Google Scholar 

  19. 19.

    Kalla, SL, Rao, A: On Grüss type inequality for hypergeometric fractional integrals. Matematiche 66(1), 57-64 (2011)

    MathSciNet  Google Scholar 

  20. 20.

    Lakshmikantham, V, Vatsala, AS: Theory of fractional differential inequalities and applications. Commun. Appl. Anal. 11, 395-402 (2007)

    MATH  MathSciNet  Google Scholar 

  21. 21.

    Öǧünmez, H, Özkan, UM: Fractional quantum integral inequalities. J. Inequal. Appl. 2011, Article ID 787939 (2011)

    Article  Google Scholar 

  22. 22.

    Sulaiman, WT: Some new fractional integral inequalities. J. Math. Anal. 2(2), 23-28 (2011)

    MathSciNet  Google Scholar 

  23. 23.

    Wang, G, Agarwal, P, Chand, M: Certain Grüss type inequalities involving the generalized fractional integral operator. J. Inequal. Appl. 2014, Article ID 147 (2014)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Grüss, G: Über das Maximum des absoluten Betrages von \(\frac{1}{b-a}\int_{a}^{b}f(x) g(x)\,dx-\frac{1}{(b-a)^{2}}\int_{a}^{b}f(x)\, dx\int_{a}^{b}g(x)\,dx\). Math. Z. 39, 215-226 (1935)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Pólya, G, Szegö, G: Aufgaben und Lehrsatze aus der Analysis. Band 1. Die Grundlehren der mathmatischen Wissenschaften, vol. 19. Springer, Berlin (1925)

    Google Scholar 

  26. 26.

    Dragomir, SS, Diamond, NT: Integral inequalities of Grüss type via Pólya-Szegö and Shisha-Mond results. East Asian Math. J. 19(1), 27-39 (2003)

    MATH  Google Scholar 

  27. 27.

    Garg, M, Chanchlani, L: q-Analogues of Saigo’s fractional calculus operators. Bull. Math. Anal. Appl. 3(4), 169-179 (2011)

    MathSciNet  Google Scholar 

  28. 28.

    Choi, J, Agarwal, P: Some new Saigo type fractional integral inequalities and their q-analogues. Abstr. Appl. Anal. 2014, Article ID 579260 (2014)

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to express their deep thanks for the reviewers’ helpful comments.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Praveen Agarwal.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally in this article. They read and approved the final manuscript.

Rights and permissions

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Agarwal, P., Dragomir, S.S., Park, J. et al. q-Integral inequalities associated with some fractional q-integral operators. J Inequal Appl 2015, 345 (2015). https://doi.org/10.1186/s13660-015-0860-8

Download citation

MSC

  • 26D10
  • 26A33
  • 26D15

Keywords

  • integral inequalities
  • Chebyshev functional
  • Riemann-Liouville fractional integral operator
  • Pólya-Szegö type inequalities
  • hypergeometric fractional integral operator