Skip to main content

Some results on quantum Hahn integral inequalities

Abstract

In this paper the quantum Hahn difference operator and the quantum Hahn integral operator are defined via the quantum shift operator \(_{\theta }\varPhi _{q}(t)=qt+(1-q)\theta \), \(t\in [a,b]\), \(\theta = \omega /(1-q)+a\), \(0< q<1\), \(\omega \ge 0\). Some new fractional integral inequalities are established by using the quantum Hahn integral for one and two functions bounded by quantum integrable functions. The Hermite–Hadamard type of ordinary and fractional quantum Hahn integral inequalities as well as the Pólya–Szegö type fractional Hahn integral inequalities and the Grüss–C̆ebyšev type fractional Hahn integral inequality are also presented.

Introduction and preliminaries

Let be f defined on an interval \(I\subseteq {\mathbb{R}}\) containing \(\omega _{0}:=\frac{\omega }{1-q}\). The Hahn difference operator \(D_{q,\omega }\), introduced in [1], is defined as

$$ D_{q,\omega }f(t)= \textstyle\begin{cases} \frac{f(qt+\omega )-f(t)}{t(q-1)+\omega }, & t\neq \omega _{0}, \\ f'(\omega _{0}), &t=\omega _{0}, \end{cases} $$
(1)

provided that f is differentiable at \(\omega _{0}\), where \(q\in (0,1)\) and \(\omega \ge 0\) are fixed.

The Hahn difference operator unifies (in the limit) the two most well-known and used quantum difference operators: the Jackson q-difference derivative \(D_{q}\) [2], where \(q\in (0,1)\), defined by

$$ D_{q}f(t)=\textstyle\begin{cases} \frac{f(t)-f(qt)}{t(1-q)}, &t\ne 0, \\ f'(0), &t=0, \end{cases} $$
(2)

provided that \(f'(0)\) exists, for \(\omega =0\), and the forward difference \(D_{\omega }\) for \(q\to 1\), defined by

$$ D_{\omega }f(t)=\frac{f(t+\omega )-f(t)}{\omega }, $$
(3)

where \(\omega >0\) is fixed. The Hahn difference operator is a successful tool for constructing families of orthogonal polynomials and investigating some approximation problems (cf. [3,4,5,6]). For some recent results to boundary value problems for Hahn difference operators, we refer to papers [7,8,9,10] and the references cited therein.

Let \([a,b]\subseteq {\mathbb{R}}\) be an interval. The two quantum numbers \(0< q<1\), \(\omega \geq 0\) can generate a point θ of Hahn calculus on an interval \([a,b]\) by

$$ \theta =\frac{\omega }{1-q}+a, $$
(4)

which means that \(\theta \in [a,b]\) for all results of our analysis. The quantum Hahn shifting operator is defined by

$$ _{\theta }\varPhi _{q}(t)=qt+(1-q)\theta , \quad t\in [a,b]. $$
(5)

It is easy to see that the iterated k-times quantum shifting is presented by

$$ _{\theta }\varPhi _{q}^{k}(t)={_{\theta }\varPhi _{q}^{k-1}}\bigl({_{\theta }\varPhi _{q}(t)} \bigr)=q^{k}t+\bigl(1-q^{k}\bigr)\theta , $$

with \({_{\theta }\varPhi _{q}^{0}(t)}=t\) for \(t\in [a,b]\). Let us state the definitions of quantum Hahn calculus on an interval \([a,b]\) which are the results in [11] modified according to notation (5).

Definition 1

Let f be a function defined on \([a,b]\). The quantum Hahn difference operator is defined by

$$ _{a}D_{q,\omega }f(t)= \textstyle\begin{cases} \frac{f(t)-f({_{\theta }\varPhi _{q}(t)})}{t-{_{\theta }\varPhi _{q}(t)}}, & t \neq \theta , \\ f'(\theta ), & t=\theta , \end{cases} $$
(6)

provided that f is differentiable at θ.

Definition 2

Assume \(f:[a,b]\rightarrow \mathbb{R}\) is a given function and two points \(c,d\in [a,b]\). The \(q_{,}\omega \)-quantum Hahn integral of f from c to d is defined by

$$ \int _{c}^{d}f(s){_{a}} \,d_{q,\omega }s:= \int _{\theta }^{d}f(s){_{a}} \,d_{q,\omega }s- \int _{\theta }^{c}f(s){_{a}} \,d_{q,\omega }s, $$
(7)

where

$$ \int _{\theta }^{t}f(s){_{a}} \,d_{q,\omega }s= \bigl[t-{_{\theta }\varPhi _{q}(t)} \bigr]\sum _{i=0}^{\infty }q^{i}f \bigl({_{\theta }\varPhi _{q}^{i}(t)}\bigr) $$
(8)

for \(t\in [a,b]\), provided that the series converge at \(t=c\) and \(t=d\). The function f is called q, ω-integrable on \([a,b]\) if (8) exists for all \(t\in [a,b]\).

Before going to state the definitions of fractional quantum Hahn calculus on an interval \([a,b]\), we should introduce the θ-power function which is defined by

$$ (n-m)_{\theta }^{(0)}=1, \qquad (n-m)_{\theta }^{(k)} = \prod_{i=0} ^{k-1} \bigl(n-{_{\theta }}\varPhi _{q}^{i}(m) \bigr), \quad k\in \mathbb{N}\cup \{\infty \}. $$
(9)

More generally, if \(\gamma \in {\mathbb{R}}\), then

$$ (n-m)^{(\gamma )}_{\theta }=\prod _{i=0}^{\infty }\frac{(n- {_{\theta }}\varPhi ^{i}_{q}(m))}{(n- {_{\theta }}\varPhi ^{\gamma +i}_{q}(m))}, $$
(10)

with \({_{\theta }}\varPhi ^{\sigma }_{q}(m)=q^{\sigma }m+(1-q^{\sigma }) \theta \), \(\sigma \in {\mathbb{R}}\).

The q-gamma function is defined by

$$ \varGamma _{q}(\gamma )=\frac{(1-q)^{(\gamma -1)}_{0}}{(1-q)^{\gamma -1}}, \quad \gamma \in \mathbb{R}\setminus \{0,-1,-2,\ldots \}. $$
(11)

Obviously, \(\varGamma _{q}(\gamma +1)=[\gamma ]_{q}\varGamma _{q}(\gamma )\), where \([x]_{q}=(1-q^{x})/(1-q)\), \(x\in {\mathbb{R}}\), is the quantum number or q-number.

Now the definitions of Riemann–Liouville type of fractional derivative and integral of quantum Hahn calculus on interval \([a,b]\) are presented in the following definitions. See [12].

Definition 3

The fractional quantum Hahn difference of Riemann–Liouville type of a function \(f:[a,b]\to {\mathbb{R}}\) of order \(\alpha \ge 0\) is defined by \(({_{a}}D_{q,\omega }^{0}f)(t)=f(t)\) and

$$ \bigl({_{a}}D_{q,\omega }^{\alpha } f\bigr) (t)= \frac{1}{\varGamma _{q}(n-\alpha )} {_{a}}D_{q,\omega }^{n} \int _{a}^{t}\bigl(t-{_{\theta }}\varPhi _{q}(s)\bigr)_{ \theta }^{(n-\alpha -1)}f(s){_{a}} \,d_{q,\omega }s, \quad \alpha >0, $$

where n is the smallest integer greater than or equal to α.

Definition 4

Let \(\alpha \geq 0\) and \(f:[a,b]\to {\mathbb{R}}\) be a function. The fractional quantum Hahn integral of Riemann–Liouville type is defined by \(({_{a}}I_{q,\omega }^{0} f)(t)=f(t)\) and

$$ \bigl({_{a}}I_{q,\omega }^{\alpha } f\bigr) (t)= \frac{1}{\varGamma _{q}(\alpha )} \int _{a}^{t}\bigl(t-{_{\theta }}\varPhi _{q}(s)\bigr)_{\theta }^{(\alpha -1)}f(s){_{a}} \,d_{q,\omega }s, \quad \alpha >0, t\in [a, b], $$

provided the right-hand side exists.

Theorem 1

[12] Let \(\alpha ,\beta \in {\mathbb{R}^{+}}\), \(\lambda \in (-1,\infty )\), and \(\theta \in [a,b]\). The following formulas hold:

  1. (i)

    \(({_{a}}I_{q,\omega }^{\alpha }(x-a)_{\theta }^{(\lambda )})(t)= \frac{\varGamma _{q}(\lambda +1)}{\varGamma _{q}(\alpha +\lambda +1)}(t-a)_{ \theta }^{(\alpha +\lambda )}\);

  2. (ii)

    \(({_{a}}D_{q,\omega }^{\alpha }(x-a)_{\theta }^{(\lambda )})(t)= \frac{\varGamma _{q}(\lambda +1)}{\varGamma _{q}(\lambda -\alpha +1)}(t-a)_{ \theta }^{(\lambda -\alpha )}\).

Fractional differential equations attracted much attention in recent years due to their widespread application in many fields of science and engineering, such as fluid flow, signal and image processing, fractals theory, control theory, electromagnetic theory, fitting of experimental data, optics, potential theory, biology, chemistry, diffusion, and viscoelasticity, etc; see [13,14,15]. One of the aspects which are nowadays very much popular among the scientists for research is the integral inequalities with applications. The applications of inequalities are very much common for fixed point theorems and existence and uniqueness of solutions for differential equations.

In this paper we prove some new quantum Hahn fractional integral inequalities by using the quantum Hahn integral. The main results are included in Sect. 2, where inequalities are obtained for quantum integrable functions bounded by quantum integrable functions as well as quantum Hermite–Hadamard type Hahn inequalities. In Sect. 3, inequalities are produced for two quantum integrable functions bounded by quantum integrable functions as well as the Pólya–Szegö type fractional Hahn integral inequalities and the Grüss–C̆ebyšev type fractional Hahn integral inequality.

Some results on fractional integral inequalities for one unknown function

Let the points \(\theta _{i}\in [a,b]\), \(i=1,2\), be defined by

$$ \theta _{i}=\frac{\omega _{i}}{1-q_{i}}+a $$
(12)

for quantum numbers \(0< q_{i}<1\) and \(\omega _{i}\geq 0\), \(i=1,2\).

Theorem 2

Let f be a \(q_{i}\), \(\omega _{i}\)-integrable function on \([a,b]\), \(i=1,2\). In addition, we assume that:

\((H_{1})\) :

There exist two \(q_{i}\), \(\omega _{i}\)-integrable functions \(\varphi _{i}\), \(i=1,2\), on \([a,b]\) such that:

$$ \varphi _{1}(t)\leq f(t)\leq \varphi _{2}(t) \quad \textit{for all } t\in [a,b]. $$

Then, for \(t\in [a,b]\), \(\alpha ,\beta >0\), \(0< q_{i}<1\), and \(\omega _{i}\geq 0\), \(i=1,2\), we have

$$ \begin{gathered}[b] \bigl({_{a}}I_{q_{2},\omega _{2}}^{\beta } \varphi _{2} \bigr) (t) \bigl({_{a}}I _{q_{1},\omega _{1}}^{\alpha }f \bigr) (t) + \bigl({_{a}}I_{q_{2}, \omega _{2}}^{\beta }f \bigr) (t) \bigl({_{a}}I_{q_{1},\omega _{1}}^{ \alpha }\varphi _{1} \bigr) (t) \\ \quad \geq \bigl({_{a}}I_{q_{2},\omega _{2}}^{\beta }\varphi _{2} \bigr) (t) \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha } \varphi _{1} \bigr) (t) + \bigl({_{a}}I_{q_{2},\omega _{2}}^{\beta }f \bigr) (t) \bigl({_{a}}I _{q_{1},\omega _{1}}^{\alpha }f \bigr) (t). \end{gathered} $$
(13)

Proof

From condition \((H_{1})\), for all \(\tau , \rho \in [a,b]\), we obtain

$$ \bigl(\varphi _{2}(\tau )-f(\tau ) \bigr) \bigl(f(\rho )-\varphi _{1}( \rho ) \bigr)\geq 0, $$

which yields

$$\begin{aligned} \varphi _{2}(\tau )f(\rho )+\varphi _{1}( \rho )f(\tau )\geq \varphi _{1}( \rho )\varphi _{2}(\tau )+f(\tau )f(\rho ). \end{aligned}$$
(14)

Multiplying both sides of (14) by \((t -{ _{\theta _{1}}} \varPhi _{q_{1}}(\rho ) )_{\theta _{1}}^{(\alpha -1)}/\varGamma _{q_{1}}( \alpha )\), \(\rho \in [a,t)\) and taking the \(q_{1}\), \(\omega _{1}\)-integration with respect to ρ on \([a,t)\), we obtain

$$\begin{aligned}& \varphi _{2}(\tau ) \int _{a}^{t}\frac{ (t -{ _{\theta _{1}}}\varPhi _{q_{1}}(\rho ) )_{\theta _{1}}^{(\alpha -1)}}{\varGamma _{q_{1}}( \alpha )}f(\rho ) {_{a}}\,d_{q_{1},\omega _{1}}\rho +f(\tau ) \int _{a} ^{t}\frac{ (t -{ _{\theta _{1}}}\varPhi _{q_{1}}(\rho ) )_{ \theta _{1}}^{(\alpha -1)}}{\varGamma _{q_{1}}(\alpha )}\varphi _{1}(\rho ) {_{a}}\,d_{q_{1},\omega _{1}}\rho \\& \quad \geq \varphi _{2}(\tau ) \int _{a}^{t}\frac{ (t -{ _{\theta _{1}}} \varPhi _{q_{1}}(\rho ) )_{\theta _{1}}^{(\alpha -1)}}{\varGamma _{q_{1}}( \alpha )}\varphi _{1}(\rho ){_{a}}\,d_{q_{1},\omega _{1}}\rho \\& \qquad {}+f(\tau ) \int _{a}^{t}\frac{ (t -{ _{\theta _{1}}}\varPhi _{q_{1}}(\rho ) ) _{\theta _{1}}^{(\alpha -1)}}{\varGamma _{q_{1}}(\alpha )}f(\rho ){_{a}}\,d_{q_{1},\omega _{1}}\rho , \end{aligned}$$

which leads to

$$\begin{aligned}& \varphi _{2}(\tau ) \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr) (t)+f( \tau ) \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha } \varphi _{1} \bigr) (t) \\& \quad \geq \varphi _{2}(\tau ) \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha } \varphi _{1} \bigr) (t) +f(\tau ) \bigl({_{a}}I_{q_{1},\omega _{1}}^{ \alpha }f \bigr) (t). \end{aligned}$$
(15)

Multiplying both sides of (15) by \((t -{ _{\theta _{2}}} \varPhi _{q_{2}}(\tau ) )_{\theta _{2}}^{(\beta -1)}/\varGamma _{q_{2}}( \beta )\), \(\tau \in [a,t)\) and taking the \(q_{2}\), \(\omega _{2}\)-integration with respect to τ on \([a,t)\), we get the desired result in (13). □

Corollary 1

Let \(\varphi _{1}\) and \(\varphi _{2}\) be polynomial θ-power functions defined by

$$ \varphi _{1}(t)=\sum_{i=0}^{n}c_{i}(t-a)^{(i)}_{\theta _{1}}, \qquad \varphi _{2}(t)=\sum_{j=0}^{m}d_{j}(t-a)^{(j)}_{\theta _{2}}, $$

satisfying \((H_{1})\). Then, for \(t\in [a,b]\), \(\alpha ,\beta >0\), \(0< q_{i}<1\), and \(\omega _{i}\geq 0\), \(i=1,2\), we have

$$\begin{aligned}& \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr) (t) \sum _{j=0} ^{m}d_{j} \frac{\varGamma _{q_{2}}(j+1)}{\varGamma _{q_{2}}(\beta +j+1)}(t-a)^{( \beta +j)}_{\theta _{2}} \\& \qquad {}+ \bigl({_{a}}I_{q_{2},\omega _{2}}^{\beta }f \bigr) (t) \sum_{i=0} ^{n}c_{i} \frac{\varGamma _{q_{1}}(i+1)}{\varGamma _{q_{1}}(\alpha +i+1)}(t-a)^{( \alpha +i)}_{\theta _{1}} \\& \quad \geq \Biggl(\sum_{j=0}^{m}d_{j} \frac{\varGamma _{q_{2}}(j+1)}{\varGamma _{q _{2}}(\beta +j+1)}(t-a)^{(\beta +j)}_{\theta _{2}} \Biggr) \Biggl(\sum _{i=0}^{n}c_{i} \frac{\varGamma _{q_{1}}(i+1)}{\varGamma _{q_{1}}(\alpha +i+1)}(t-a)^{(\alpha +i)}_{\theta _{1}} \Biggr) \\& \qquad {}+ \bigl({_{a}}I_{q_{2},\omega _{2}}^{\beta }f \bigr) (t) \bigl({_{a}}I _{q_{1},\omega _{1}}^{\alpha }f \bigr) (t). \end{aligned}$$

Corollary 2

Let f be a \(q_{i}\), \(\omega _{i}\)-integrable function on \([a,b]\), \(i=1,2\), satisfying

\((H_{2})\) :

\(m\leq f(t)\leq M\) for all \(t\in [a,b]\) and \(m, M\in \mathbb{R}\).

Then, for \(\alpha , \beta >0\), we have the following estimate:

$$ M \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr) (t)+m \bigl({_{a}}I _{q_{2},\omega _{2}}^{\beta }f \bigr) (t) \geq mM + \bigl({_{a}}I_{q _{2},\omega _{2}}^{\beta }f \bigr) (t) \bigl({_{a}}I_{q_{1},\omega _{1}} ^{\alpha }f \bigr) (t). $$

Further, if \(\alpha =\beta \), \(q_{1}=q_{2}\), and \(\omega _{1}=\omega _{2}\), then the following inequality holds:

$$ (M+m) \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr) (t) \geq mM + \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr)^{2}(t). $$

Theorem 3

Assume that:

\((H_{3})\) :

\(0<\varphi _{1}(t)\leq f(t)\leq \varphi _{2}(t)\) for all \(t\in [a,b]\).

Then the following inequalities

$$\begin{aligned} &\frac{(t-a)^{(\beta )}_{\theta _{2}}}{\varGamma _{q_{2}}(\beta +1)} \bigl({_{a}}I _{q_{1},\omega _{1}}^{\alpha }f^{2} \bigr) (t)+\frac{(t-a)^{(\alpha )} _{\theta _{1}}}{\varGamma _{q_{1}}(\alpha +1)} \bigl({_{a}}I_{q_{2},\omega _{2}}^{\beta }\varphi _{2}^{2} \bigr) (t) \\ & ~~~~~~ \geq 2 \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr) (t) \bigl({_{a}}I _{q_{2},\omega _{2}}^{\beta }\varphi _{2} \bigr) (t) \end{aligned}$$
(16)

and

$$\begin{aligned} &\frac{(t-a)^{(\beta )}_{\theta _{2}}}{\varGamma _{q_{2}}(\beta +1)} \bigl({_{a}}I _{q_{1},\omega _{1}}^{\alpha }\varphi _{1}^{2} \bigr) (t)+ \frac{(t-a)^{( \alpha )}_{\theta _{1}}}{\varGamma _{q_{1}}(\alpha +1)} \bigl({_{a}}I_{q _{2},\omega _{2}}^{\beta }f^{2} \bigr) (t) \\ & ~~~~~~ \geq 2 \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }\varphi _{1} \bigr) (t) \bigl({_{a}}I_{q_{2},\omega _{2}}^{\beta }f \bigr) (t) \end{aligned}$$
(17)

are fulfilled.

Proof

From the well-known inequality

$$ \frac{a}{b}+\frac{b}{a}\geq 2, \quad a,b\in {\mathbb{R}}^{+}, $$

we can write

$$ \frac{\varphi _{2}(\tau )}{f(\rho )}+\frac{f(\rho )}{\varphi _{2}( \tau )}\geq 2, $$

which leads to

$$ \varphi _{2}^{2}(\tau )+f^{2}( \rho )\geq 2 f(\rho )\varphi _{2}(\tau ). $$
(18)

Multiplying both sides of (18) by \((t -{ _{\theta _{1}}} \varPhi _{q_{1}}(\rho ) )_{\theta _{1}}^{(\alpha -1)}/\varGamma _{q_{1}}( \alpha )\), \(\rho \in [a,t)\) and applying \(q_{1}\), \(\omega _{1}\)-integration, we deduce the inequality

$$ \frac{(t-a)^{(\alpha )}_{\theta _{1}}}{\varGamma _{q_{1}}(\alpha +1)} \varphi _{2}^{2}(\tau )+ \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f ^{2} \bigr) (t) \geq 2\varphi _{2}(\tau ) \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr) (t). $$

By multiplying both sides of the last inequality with \((t - { _{\theta _{2}}}\varPhi _{q_{2}}(\tau ) )_{\theta _{2}}^{(\beta -1)}/ \varGamma _{q_{2}}(\beta )\), \(\tau \in [a,t)\) and applying \(q_{2}\), \(\omega _{2}\)-integration, we obtain the result in (16).

To prove (17), we use the fact that

$$ \frac{\varphi _{1}(\rho )}{f(\tau )}+\frac{f(\tau )}{\varphi _{1}( \rho )}\geq 2. $$

By the same method, we get inequality in (17). The proof is completed. □

Corollary 3

Suppose that:

\((H_{4})\) :

\(0< m\leq f(t)\leq M\) for all \(t\in [a,b]\).

Then the inequalities

$$\begin{aligned}& \frac{(t-a)^{(\beta )}_{\theta _{2}}}{\varGamma _{q_{2}}(\beta +1)} \bigl({_{a}}I _{q_{1},\omega _{1}}^{\alpha }f^{2} \bigr) (t)+M^{2}\frac{(t-a)^{( \alpha )}_{\theta _{1}}(t-a)^{(\beta )}_{\theta _{2}}}{\varGamma _{q_{1}}( \alpha +1)\varGamma _{q_{2}}(\beta +1)} \\& \quad \geq 2M\frac{(t-a)^{(\beta )}_{\theta _{2}}}{\varGamma _{q_{2}}(\beta +1)} \bigl({_{a}}I_{q_{1},\omega _{1}}^{\alpha }f \bigr) (t) \end{aligned}$$
(19)

and

$$\begin{aligned}& m^{2}\frac{(t-a)^{(\beta )}_{\theta _{2}}(t-a)^{(\alpha )}_{\theta _{1}}}{\varGamma _{q_{2}}(\beta +1)\varGamma _{q_{1}}(\alpha +1)}+\frac{(t-a)^{( \alpha )}_{\theta _{1}}}{\varGamma _{q_{1}}(\alpha +1)} \bigl({_{a}}I_{q _{2},\omega _{2}}^{\beta }f^{2} \bigr) (t) \\& \quad \geq 2m \frac{(t-a)^{(\alpha )}_{\theta _{1}}}{\varGamma _{q_{1}}(\alpha +1)} \bigl({_{a}}I _{q_{2},\omega _{2}}^{\beta }f \bigr) (t) \end{aligned}$$
(20)

are true.

Theorem 4

Let \(f(t)\), \(\varphi _{1}(t)\), and \(\varphi _{2}(t)\) be \((q,\omega )\)-integrable functions on \([a,b]\) satisfying \((H_{3})\). Then, for \(\alpha ,\beta ,\gamma >0\), we have the inequality

$$\begin{aligned}& \bigl({_{a}}I_{q,\omega }^{\alpha }\varphi _{2}^{2} \bigr) (t) \bigl({_{a}}I _{q,\omega }^{\beta }f^{2} \bigr) (t) \bigl({_{a}}I_{q,\omega }^{ \gamma } \varphi _{2}^{2} \bigr) (t) + \bigl({_{a}}I_{q,\omega }^{ \alpha }f^{2} \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\beta }\varphi _{1}f \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\gamma } \varphi _{1}\varphi _{2} \bigr) (t) \\& \qquad {}+ \bigl({_{a}}I_{q,\omega }^{\alpha }\varphi _{2}f \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\beta } \varphi _{1}^{2} \bigr) (t) \bigl({_{a}}I _{q,\omega }^{\gamma }\varphi _{1}\varphi _{2} \bigr) (t) \\& \qquad {} + \bigl({_{a}}I _{q,\omega }^{\alpha }\varphi _{2}f \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\beta } \varphi _{1}f \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\gamma } \varphi _{1}^{2} \bigr) (t) \\& \quad \ge \bigl({_{a}}I_{q,\omega }^{\alpha }\varphi _{2}^{2} \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\beta } \varphi _{1}f \bigr) (t) \bigl({_{a}}I _{q,\omega }^{\gamma } \varphi _{1}\varphi _{2} \bigr) (t) \\& \qquad {} + \bigl({_{a}}I _{q,\omega }^{\alpha }\varphi _{2}f \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\beta }f^{2} \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\gamma }\varphi _{1}\varphi _{2} \bigr) (t) \\& \qquad {}+ \bigl({_{a}}I_{q,\omega }^{\alpha }\varphi _{2}f \bigr) (t) \bigl({_{a}}I _{q,\omega }^{\beta } \varphi _{1}f \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\gamma } \varphi _{2}^{2} \bigr) (t) \\& \qquad {}+ \bigl({_{a}}I_{q,\omega } ^{\alpha }f^{2} \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\beta }\varphi _{1}^{2} \bigr) (t) \bigl({_{a}}I_{q,\omega }^{\gamma } \varphi _{1} ^{2} \bigr) (t). \end{aligned}$$
(21)

Proof

From \((H_{3})\), we know that

$$ \frac{\varphi _{2}(\rho )}{f(\rho )}\geq 1,\qquad \frac{f(\tau )}{ \varphi _{1}(\tau )} \geq 1\quad \text{and}\quad \frac{\varphi _{2}( \eta )}{ \varphi _{1}(\eta )}\geq 1. $$

Hence, we get the fact that

$$ \biggl(\frac{\varphi _{2}(\rho )}{f(\rho )}-\frac{\varphi _{1}(\tau )}{f( \tau )} \biggr) \biggl(\frac{f(\tau )}{\varphi _{1}(\tau )}- \frac{ \varphi _{1}(\eta )}{\varphi _{2}(\eta )} \biggr) \biggl(\frac{\varphi _{2}(\eta )}{ \varphi _{1}(\eta )}-\frac{f(\rho )}{\varphi _{2}(\rho )} \biggr) \geq 0. $$

It follows that

$$\begin{aligned}& \varphi _{2}^{2}(\rho )f^{2}(\tau )\varphi _{2}^{2}(\eta ) + f^{2}( \rho )\varphi _{1}(\tau )f(\tau )\varphi _{1}(\eta )\varphi _{2}(\eta ) \\& \qquad {}+ \varphi _{2}(\rho )f(\rho )\varphi _{1}^{2}( \tau )\varphi _{1}( \eta )\varphi _{2}(\eta ) +\varphi _{2}(\rho )f(\rho )\varphi _{1}( \tau )f(\tau )\varphi _{1}^{2}(\eta ) \\& \quad \geq \varphi _{2}^{2}(\rho )\varphi _{1}( \tau )f(\tau )\varphi _{1}( \eta )\varphi _{2}(\eta ) + \varphi _{2}(\rho )f(\rho )f^{2}(\tau ) \varphi _{1}(\eta )\varphi _{2}(\eta ) \\& \qquad {}+ \varphi _{2}(\rho )f(\rho )\varphi _{1}(\tau )f(\tau )\varphi _{2} ^{2}(\eta ) + f^{2}(\rho ) \varphi _{1}^{2}(\tau )\varphi _{1}^{2}( \eta ). \end{aligned}$$

Using the method to prove Theorem 2, we obtain the inequality in (21), which finishes the proof. □

Corollary 4

Suppose that the \((q,\omega )\)-integrable function f satisfies \((H_{4})\). Then, for \(t\in [a,b]\), we have

$$\begin{aligned}& \bigl(M^{4}-m^{4}\bigr) \bigl({_{a}}I_{q,\omega }^{\alpha }f^{2} \bigr) (t) \biggl(\frac{(t-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \biggr) ^{2} \\& \quad \geq m^{2}M^{2}(M-m) \bigl({_{a}}I_{q,\omega }^{\alpha }f \bigr) (t) \biggl(\frac{(t-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \biggr) ^{2} \\& \qquad {}+ mM\bigl(M^{2}-m^{2}\bigr) \bigl({_{a}}I_{q,\omega }^{\alpha }f \bigr)^{2}(t)\frac{(t-a)^{( \alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \\& \qquad {} + mM(M-m) \bigl({_{a}}I_{q,\omega }^{\alpha }f^{2} \bigr) (t) \bigl({_{a}}I _{q,\omega }^{\alpha }f \bigr) (t) \frac{(t-a)^{(\alpha )}_{\theta }}{ \varGamma _{q}(\alpha +1)}. \end{aligned}$$
(22)

Next, we will prove the Hermite–Hadamard type of quantum Hahn integral inequality. Let \([a,b]\subset {\mathbb{R}}\) with \(\theta \in [a,b]\) be a given interval containing a point θ. Now we claim that

$$ \frac{(b+qa-\omega )}{1+q}\in [a,b]. $$
(23)

Since \(\theta \in [a,b]\), we have \(a+\omega /(1-q)\in [a,b]\), which yields \(\omega \leq (1-q)(b-a)\). Hence we obtain

$$\begin{aligned} b- \biggl(\frac{b+qa-\omega }{1+q} \biggr) =& \frac{q(b-a)+\omega }{1+q} \leq \frac{(b-a)}{1+q} \leq b-a, \end{aligned}$$

which implies that (23) holds.

From Example 3.12, page 9 in [11], we get the following formula:

$$\begin{aligned} \int _{a}^{b}t\,{_{a}} \,d_{q,\omega }t =& \int _{a}^{b}\bigl((t-a)+a\bigr)\,{_{a}} \,d_{q,\omega }t \\ =&\frac{(b-a)^{2}-\omega (b-a)}{1+q}+a(b-a) \\ =&(b-a) \biggl(\frac{b+qa-\omega }{1+q} \biggr). \end{aligned}$$
(24)

Theorem 5

Let \(f:[a,b]\to \mathbb{R}\) be a convex differentiable function on \((a,b)\), and quantum numbers \(0< q<1\), \(\omega \geq 0\) with \(\theta \in [a,b]\). Then we have

$$\begin{aligned} f \biggl(\frac{b+qa-\omega }{1+q} \biggr) \leq& \frac{1}{(b-a)} \int _{a} ^{b}f(t){_{a}} \,d_{q,\omega }t \\ \leq& \biggl[\frac{qf(a)+f(b)}{1+q}- \omega \biggl(\frac{f(b)-f(a)}{(b-a)(1+q)} \biggr) \biggr]. \end{aligned}$$
(25)

Proof

From the fact that f is a differentiable function on \((a,b)\) and (23), we have that \(f'((b+qa-\omega )/(1+q))\) exists. Since f is convex, that is,

$$ f\bigl((1-\lambda )a+\lambda b\bigr)\leq (1-\lambda )f(a)+\lambda f(b) $$
(26)

for all \(\lambda \in [0,1]\), we set a tangent line under the curve of f by

$$ h(t)=f \biggl(\frac{b+qa-\omega }{1+q} \biggr)+f' \biggl( \frac{b+qa- \omega }{1+q} \biggr) \biggl(t-\frac{b+qa-\omega }{1+q} \biggr), $$

which leads to \(h(t)\leq f(t)\) for all \(t\in [a,b]\). By taking the \((q,\omega )\)-integration and using (24), we have

$$\begin{aligned} \int _{a}^{b}h(t) {_{a}} \,d_{q,\omega }t =& \int _{a}^{b} \biggl[f \biggl(\frac{b+qa- \omega }{1+q} \biggr)+f' \biggl(\frac{b+qa-\omega }{1+q} \biggr) \biggl(t- \frac{b+qa- \omega }{1+q} \biggr) \biggr] {_{a}}\,d_{q,\omega }t \\ =&(b-a)f \biggl(\frac{b+qa-\omega }{1+q} \biggr) \\ &{}+f' \biggl( \frac{b+qa- \omega }{1+q} \biggr) \biggl[ \int _{a}^{b} t{_{a}}\,d_{q,\omega }t -(b-a) \biggl(\frac{b+qa-\omega }{1+q} \biggr) \biggr] \\ =&(b-a)f \biggl(\frac{b+qa-\omega }{1+q} \biggr) \\ &{}+f' \biggl( \frac{b+qa- \omega }{1+q} \biggr) \biggl[(b-a) \biggl(\frac{b+qa-\omega }{1+q} \biggr) -(b-a) \biggl(\frac{b+qa-\omega }{1+q} \biggr) \biggr] \\ =&(b-a)f \biggl(\frac{b+qa-\omega }{1+q} \biggr)\leq \int _{a}^{b}f(t) {_{a}} \,d_{q,\omega }t. \end{aligned}$$
(27)

On the other hand, we set the line connected between the points \((a,f(a))\) and \((b,f(b))\) by

$$ k(t)=f(a)+ \biggl(\frac{f(b)-f(a)}{b-a} \biggr) (t-a), $$
(28)

which follows from (26) that \(f(t)\leq k(t)\) for all \(t\in [a,b]\). Applying the \((q,\omega )\)-integration on both sides of (28), one has

$$\begin{aligned} \int _{a}^{b}k(t){_{a}} \,d_{q,\omega }t =& \int _{a}^{b} \biggl[f(a)+ \biggl( \frac{f(b)-f(a)}{b-a} \biggr) (t-a) \biggr] {_{a}}\,d_{q,\omega }t \\ =&(b-a)f(a)+ \biggl(\frac{f(b)-f(a)}{b-a} \biggr) \biggl(\frac{(b-a)^{2}- \omega (b-a)}{1+q} \biggr) \\ =&(b-a) \biggl[\frac{qf(a)+f(b)}{1+q}-\omega \biggl(\frac{f(b)-f(a)}{(b-a)(1+q)} \biggr) \biggr] \\ \geq & \int _{a}^{b}f(t){_{a}} \,d_{q,\omega }t. \end{aligned}$$
(29)

Combining inequalities (27)–(29), we have inequalities (25). This completes the proof. □

Remark 1

If \(\omega =0\), then (25) is reduced to

$$ f \biggl(\frac{b+qa}{1+q} \biggr)\leq \frac{1}{(b-a)} \int _{a}^{b}f(t) \,{_{a}} \,d_{q,\omega }t\leq \biggl[\frac{qf(a)+f(b)}{1+q} \biggr], $$
(30)

which appeared in [16].

Example 1

Let \(\alpha >0\) be the order of quantum Hahn fractional integral. Then, by Theorem 1, we obtain

$$\begin{aligned} {_{a}}I_{q,\omega }^{\alpha }(x) (b) =&{_{a}}I_{q,\omega }^{\alpha }(x-a+a) (b) \\ =&{_{a}}I_{q,\omega }^{\alpha }(x-a) (b)+a{_{a}}I_{q,\omega }^{\alpha }(1) (b) \\ =&\frac{1}{\varGamma _{q}(\alpha +2)}(b-a)^{(\alpha +1)}_{\theta }+\frac{a}{ \varGamma _{q}(\alpha +1)}(b-a)^{(\alpha )}_{\theta }. \end{aligned}$$

Since

$$ (b-a)^{(\alpha )}_{\theta }=\frac{(b-{_{\theta }}\varPhi _{q}^{0}(a))(b- {_{\theta }}\varPhi _{q}^{1}(a))(b-{_{\theta }}\varPhi _{q}^{2}(a))(b-{_{ \theta }}\varPhi _{q}^{3}(a))\cdots }{(b-{_{\theta }}\varPhi _{q}^{\alpha }(a))(b- {_{\theta }}\varPhi _{q}^{\alpha +1}(a))(b-{_{\theta }}\varPhi _{q}^{\alpha +2}(a))(b- {_{\theta }}\varPhi _{q}^{\alpha +3}(a))\cdots }, $$

we get the fact that \((b-a)^{(\alpha )}_{\theta }(b-{_{\theta }}\varPhi _{q}^{\alpha }(a))=(b-a)^{(\alpha +1)}_{\theta }\). Thus, we have

$$ {_{a}}I_{q,\omega }^{\alpha }(x) (b)=\frac{(b-a)^{(\alpha )}_{\theta }}{ \varGamma _{q}(\alpha +1)} \biggl(\frac{(b-{_{\theta }}\varPhi _{q}^{\alpha }(a))}{[ \alpha +1]_{q}}+a \biggr). $$

Now, we claim that the point

$$ \Delta := \frac{(b-{_{\theta }}\varPhi _{q}^{\alpha }(a))}{[\alpha +1]_{q}}+a\in [a,b]. $$
(31)

Indeed, we will show that \(b-\Delta \leq b-a\). By direct computation with \(\omega \leq (1-q)(b-a)\), we have

$$\begin{aligned} b-\Delta =&b- \biggl[\frac{(b-{_{\theta }}\varPhi _{q}^{\alpha }(a))}{[ \alpha +1]_{q}}+a \biggr] \\ =& \frac{(b-a)(1-q^{\alpha +1}) - (b-a)(1-q) + (1-q^{\alpha })\omega }{1-q^{\alpha +1}} \\ \leq & \frac{(b-a)(1-q^{\alpha +1}) - (b-a)(1-q) + (1-q^{\alpha })(1-q)(b-a)}{1-q ^{\alpha +1}} \\ =& \frac{(b-a)(1-q^{\alpha })}{1-q^{\alpha +1}} \\ \leq & b-a, \end{aligned}$$

which implies that (31) holds.

Now we are in a position to prove the Hermite–Hadamard type of quantum Hahn integral inequality.

Theorem 6

Let the function f and the constants q, ω, θ be as in Theorem 5. Then, for \(\alpha >0\), we have

$$\begin{aligned} f \biggl(\frac{(b-{_{\theta }}\varPhi _{q}^{\alpha }(a))}{[\alpha +1]_{q}}+a \biggr) \leq& \frac{\varGamma _{q}(\alpha +1)}{(b-a)_{\theta }^{(\alpha )}} \bigl({_{a}}I _{q,\omega }^{\alpha }f \bigr) (b) \\ \leq & \biggl[ \frac{q[\alpha ]_{q}f(a)+f(b)}{[\alpha +1]_{q}}-\frac{ \omega [\alpha ]_{q}}{[\alpha +1]_{q}} \biggl(\frac{f(b)-f(a)}{b-a} \biggr) \biggr]. \end{aligned}$$
(32)

Proof

To get the fractional quantum Hahn Hermite–Hadamard inequality, we will use a method similar to that in Theorem 5. Firstly, we define a function \(h^{*}(t)\) by

$$ h^{*}(t)=f (\Delta )+f' (\Delta ) (t- \Delta ), $$

where \(\Delta \in [a,b]\) is defined in (31). For \(\alpha >0\), by taking the fractional \((q,\omega )\)-integral of order α with Example 1, we get

$$\begin{aligned} \bigl({_{a}}I_{q,\omega }^{\alpha }h^{*} \bigr) (b) =&f (\Delta ) \bigl({_{a}}I_{q,\omega }^{\alpha }(1) \bigr) (b)+f' (\Delta ) \bigl[ \bigl({_{a}}I_{q,\omega }^{\alpha }t \bigr) (b)-\Delta \bigl({_{a}}I _{q,\omega }^{\alpha }(1) \bigr) (b) \bigr] \\ =&\frac{(b-a)_{\theta }^{(\alpha )}}{\varGamma _{q}(\alpha +1)}f(\Delta )+f' (\Delta ) \biggl[ \frac{(b-a)_{\theta }^{(\alpha +1)}}{ \varGamma _{q}(\alpha +1)}\Delta - \Delta \frac{(b-a)_{\theta }^{(\alpha )}}{\varGamma _{q}(\alpha +1)} \biggr] \\ =& \frac{(b-a)_{\theta }^{(\alpha )}}{\varGamma _{q}(\alpha +1)}f(\Delta ) \\ \leq & \bigl({_{a}}I_{q,\omega }^{\alpha }f \bigr) (b). \end{aligned}$$
(33)

In the next step, we use the line \(k(t)\) over the curve of f which is defined in (28). By the fractional \((q,\omega )\)-integral of order α and Theorem 1, one has

$$\begin{aligned} \bigl({_{a}}I_{q,\omega }^{\alpha }k \bigr) (b) =&f(a) \bigl({_{a}}I _{q,\omega }^{\alpha }(1) \bigr) (b) + \biggl(\frac{f(b)-f(a)}{b-a} \biggr) \bigl({_{a}}I_{q,\omega }^{\alpha }(t-a) \bigr) (b) \\ =& \frac{(b-a)_{\theta }^{(\alpha )}}{\varGamma _{q}(\alpha +1)}f(a) + \biggl(\frac{f(b)-f(a)}{b-a} \biggr)\frac{(b-a)_{\theta }^{(\alpha +1)}}{ \varGamma _{q}(\alpha +2)} \\ =& \frac{(b-a)_{\theta }^{(\alpha )}}{\varGamma _{q}(\alpha +1)} \biggl[ f(a) + \frac{(f(b)-f(a))(b-{_{\theta }}\varPhi _{q}^{\alpha }(a))}{(b-a)[ \alpha +1]_{q}} \biggr] \\ =& \frac{(b-a)_{\theta }^{(\alpha )}}{\varGamma _{q}(\alpha +1)} \biggl[ \frac{q[\alpha ]_{q}f(a)+f(b)}{[\alpha +1]_{q}}-\frac{\omega [\alpha ]_{q}}{[\alpha +1]_{q}} \biggl( \frac{f(b)-f(a)}{b-a} \biggr) \biggr] \\ \geq & \bigl({_{a}}I_{q,\omega }^{\alpha }f \bigr) (b). \end{aligned}$$
(34)

Combining both of inequalities (33)–(34), we obtain the desired result in (32). The proof is completed. □

Remark 2

If \(\alpha =1\), then inequality (32) is reduced to (25). If \(\omega =0\), then (32) is reduced to

$$ f \biggl(\frac{b+q[\alpha ]_{q}a}{[\alpha +1]_{q}} \biggr)\leq \frac{ \varGamma _{q}(\alpha +1)}{(b-a)_{a}^{(\alpha )}} \bigl({_{a}}I_{q}^{ \alpha }f \bigr) (b)\leq \frac{q[\alpha ]_{q}f(a)+f(b)}{[\alpha +1]_{q}}, $$
(35)

which corrects the result in Theorem 3.3 [17], where \((b-a)_{a}^{(\alpha )}\) is defined by (10) with \(\theta =a\). In addition, if \(\alpha =1\), then (35) is also reduced to (30).

Some results on fractional integral inequalities for two unknown functions

In this section, we prove some fractional integral inequalities for two unknown functions. Let g be a \((q,\omega )\)-integrable function on \([a,b]\). Assume that:

\((H_{5})\) :

There exist \(\psi _{1}\) and \(\psi _{2}\) \((q,\omega )\)-integrable functions on \([a,b]\) such that

$$ \psi _{1}(t)\leq g(t)\leq \psi _{2}(t)\quad \text{for all } t\in [a,b]. $$

Theorem 7

Let \((H_{1})\) with \(q_{i}=q\), \(\omega _{i}=\omega \), \(i=1,2\), and \((H_{5})\) hold. Then, for \(\alpha ,\beta >0\), the fractional Hahn integral inequalities are true on \([a,b]\):

  1. (i)

    \(({_{a}}I_{q,\omega }^{\alpha }f )(t) ({_{a}}I_{q, \omega }^{\beta }\psi _{2} )(t)+ ({_{a}}I_{q,\omega }^{ \alpha }\varphi _{1} )(t) ({_{a}}I_{q,\omega }^{\beta }g )(t)\geq ({_{a}}I_{q,\omega }^{\alpha }f )(t) ({_{a}}I _{q,\omega }^{\beta }g )(t)+ ({_{a}}I_{q,\omega }^{\alpha }\varphi _{1} )(t) ({_{a}}I_{q,\omega }^{\beta }\psi _{2} )(t) \).

  2. (ii)

    \(({_{a}}I_{q,\omega }^{\alpha }g )(t) ({_{a}}I_{q, \omega }^{\beta }\varphi _{2} )(t)+ ({_{a}}I_{q,\omega } ^{\alpha }\psi _{1} )(t) ({_{a}}I_{q,\omega }^{\beta }f )(t)\geq ({_{a}}I_{q,\omega }^{\alpha }g )(t) ({_{a}}I _{q,\omega }^{\beta }f )(t)+ ({_{a}}I_{q,\omega }^{\alpha }\psi _{1} )(t) ({_{a}}I_{q,\omega }^{\beta }\varphi _{2} )(t) \).

  3. (iii)

    \(({_{a}}I_{q,\omega }^{\alpha }\psi _{1} )(t) ({_{a}}I _{q,\omega }^{\beta }\varphi _{1} )(t)+ ({_{a}}I_{q,\omega }^{\alpha }g )(t) ({_{a}}I_{q,\omega }^{\beta }f )(t)\geq ({_{a}}I_{q,\omega }^{\alpha }g )(t) ({_{a}}I _{q,\omega }^{\beta }\varphi _{1} )(t)+ ({_{a}}I_{q,\omega }^{\alpha }\psi _{1} )(t) ({_{a}}I_{q,\omega }^{\beta }f )(t) \).

  4. (iv)

    \(({_{a}}I_{q,\omega }^{\alpha }g )(t) ({_{a}}I_{q, \omega }^{\beta }f )(t)+ ({_{a}}I_{q,\omega }^{\alpha } \psi _{2} )(t) ({_{a}}I_{q,\omega }^{\beta }\varphi _{2} )(t)\geq ({_{a}}I_{q,\omega }^{\alpha }\psi _{2} )(t) ({_{a}}I _{q,\omega }^{\beta }f )(t)+ ({_{a}}I_{q,\omega }^{\alpha }g )(t) ({_{a}}I_{q,\omega }^{\beta }\varphi _{2} )(t) \).

Proof

To prove (i), from \((H_{1})\) and \((H_{5})\), we use the fact

$$ \bigl(\psi _{2}(\tau )-g(\tau )\bigr) \bigl(f(\rho )-\varphi _{1}(\rho )\bigr)\geq 0, $$

which yields

$$ \psi _{2}(\tau )f(\rho )+\varphi _{1}(\rho )g(\tau )\geq g(\tau )f( \rho )+\psi _{2}(\tau )\varphi _{1}(\rho ). $$

By multiplying both sides of the above inequality with \((t - { _{\theta }}\varPhi _{q}(\rho ) )_{\theta }^{(\alpha -1)}/\varGamma _{q}(\alpha )\), \(\rho \in [a,t)\) and applying the Hahn \((q,\omega )\)-integration, we have

$$ \psi _{2}(\tau ) \bigl({_{a}}I_{q,\omega }^{\alpha }f \bigr) (t)+g( \tau ) \bigl({_{a}}I_{q,\omega }^{\alpha } \varphi _{1} \bigr) (t) \geq g(\tau ) \bigl({_{a}}I_{q,\omega }^{\alpha }f \bigr) (t)+\psi _{2}(\tau ) \bigl({_{a}}I_{q,\omega }^{\alpha } \varphi _{1} \bigr) (t). $$

Multiplying both sides of the last inequality by \((t -{ _{ \theta }}\varPhi _{q}(\tau ) )_{\theta }^{(\beta -1)}/\varGamma _{q}( \beta )\), \(\tau \in [a,t)\) and taking the \((q,\omega )\)-integration with respect to τ on \([a,t)\), we get to inequality (i).

Finally, for proving (ii)–(iv), we use inequalities \((\varphi _{2}(\tau )-f(\tau ))(g(\rho )-\psi _{1}(\rho ))\geq 0\), \((\varphi _{1}( \tau )-f(\tau ))(\psi _{1}(\rho )-g(\rho ))\geq 0\), and \((f(\tau )- \varphi _{2}(\tau ))(g(\rho )-\psi _{2}(\rho ))\geq 0\), \(\tau ,\rho \in [a,b]\), respectively. This completes the proof. □

Theorem 8

Suppose that \((H_{3})\) holds and assume that:

\((H_{6})\) :

\(0<\psi _{1}(t)\leq g(t)\leq \psi _{2}(t)\) for all \(t\in [a,b]\).

Then the following inequalities:

  1. (v)

    \(({_{a}}I_{q,\omega }^{\alpha }\psi _{1}\psi _{2}f^{2} )(t) ({_{a}}I_{q,\omega }^{\alpha }\varphi _{1}\varphi _{2}g^{2} )(t) \leq \frac{1}{4} ( ({_{a}}I_{q,\omega }^{\alpha } (\varphi _{1}\psi _{1}+\varphi _{2}\psi _{2} )fg )(t) )^{2} \),

  2. (vi)

    \(({_{a}}I_{q,\omega }^{\alpha }\varphi _{1}\varphi _{2} )(t) ({_{a}}I_{q,\omega }^{\alpha }f^{2} )(t) ({_{a}}I _{q,\omega }^{\beta }\psi _{1}\psi _{2} )(t) ({_{a}}I_{q, \omega }^{\beta }g^{2} )(t) \leq \frac{1}{4} ( ({_{a}}I_{q,\omega }^{\alpha } \varphi _{1}f )(t) ({_{a}}I_{q,\omega }^{\beta }\psi _{1}g )(t)+ ({_{a}}I_{q,\omega }^{\alpha }\varphi _{2}f )(t) ({_{a}}I _{q,\omega }^{\beta }\psi _{2}g )(t) )^{2} \),

are satisfied.

Proof

For \(\tau \in [a,t]\), \(t>a\), we find that

$$ A:= \biggl(\frac{\varphi _{2}(\tau )}{\psi _{1}(\tau )}-\frac{f(\tau )}{g( \tau )} \biggr)\geq 0 $$
(36)

and

$$ B:= \biggl(\frac{f(\tau )}{g(\tau )}-\frac{\varphi _{1}(\tau )}{\psi _{2}(\tau )} \biggr)\geq 0. $$
(37)

Multiplying above two inequalities, that is,

$$ AB= \biggl(\frac{\varphi _{2}(\tau )}{\psi _{1}(\tau )}-\frac{f(\tau )}{g( \tau )} \biggr) \biggl( \frac{f(\tau )}{g(\tau )}-\frac{\varphi _{1}( \tau )}{\psi _{2}(\tau )} \biggr)\geq 0, $$

we obtain

$$ \bigl(\varphi _{1}(\tau )\psi _{1}(\tau )+ \varphi _{2}(\tau )\psi _{2}( \tau ) \bigr)f(\tau )g(\tau ) \geq \psi _{1}(\tau )\psi _{2}(\tau )f ^{2}(\tau )+\varphi _{1}(\tau )\varphi _{2}(\tau )g^{2}( \tau ). $$
(38)

Next multiplying both sides of (38) by \((t -{ _{ \theta }}\varPhi _{q}(\tau ) )_{\theta }^{(\alpha -1)}/\varGamma _{q}( \alpha )\) and \((q,\omega )\)-integrating with respect to τ from 0 to t, we have

$$ \bigl({_{a}}I_{q,\omega }^{\alpha } (\varphi _{1} \psi _{1}+\varphi _{2}\psi _{2} )fg \bigr) (t) \geq \bigl({_{a}}I_{q,\omega }^{ \alpha }\psi _{1} \psi _{2}f^{2} \bigr) (t)+ \bigl({_{a}}I_{q,\omega } ^{\alpha }\varphi _{1}\varphi _{2}g^{2} \bigr) (t). $$

By using the AM–GM inequality, that is, \(x+y\geq 2\sqrt{xy}\), \(x,y\in {\mathbb{R}^{+}}\), we obtain

$$ \bigl({_{a}}I_{q,\omega }^{\alpha } (\varphi _{1} \psi _{1}+\varphi _{2}\psi _{2} )fg \bigr) (t) \geq 2\sqrt{ \bigl({_{a}}I_{q, \omega }^{\alpha }\psi _{1}\psi _{2}f^{2} \bigr) (t) \bigl({_{a}}I_{q, \omega }^{\alpha }\varphi _{1} \varphi _{2}g^{2} \bigr) (t)}. $$

To prove \((vi)\), we use the fact that

$$ \biggl(\frac{\varphi _{2}(\tau )}{\psi _{1}(\rho )}-\frac{f(\tau )}{g( \rho )} \biggr) \biggl(\frac{f(\tau )}{g(\rho )}- \frac{\varphi _{1}( \tau )}{\psi _{2}(\rho )} \biggr)\geq 0 $$

for \(\tau ,\rho \in [a,b]\), which implies

$$\begin{aligned}& \varphi _{1}(\tau )f(\tau )\psi _{1}(\rho )g(\rho )+ \varphi _{2}(\tau )f( \tau )\psi _{2}(\rho )g(\rho )\\& \quad \geq \psi _{1}(\rho )\psi _{2}(\rho )f^{2}( \tau )+ \varphi _{1}(\tau )\varphi _{2}(\tau )g^{2}(\rho ). \end{aligned}$$

By the method used in Theorem 7 with AM–GM inequality, we get the requested inequality in \((vi)\). The proof is completed. □

Corollary 5

Assume that \((H_{4})\) holds and also the following condition is satisfied:

\((H_{7})\) :

\(0< n\leq g(t)\leq N\) for all \(t\in [a,b]\).

Then we get the Pólya–Szegö type fractional Hahn integral inequalities:

  1. (vii)

    \(\frac{ ({_{a}}I_{q,\omega }^{\alpha }f^{2} )(t) ({_{a}}I _{q,\omega }^{\alpha }g^{2} )(t)}{ ( ({_{a}}I_{q, \omega }^{\alpha }fg )(t) )^{2}} \leq \frac{1}{4} (\sqrt{ \frac{mn}{MN}}+\sqrt{\frac{MN}{mn}} )^{2}\).

  2. (viii)

    \(\frac{(t-a)_{\theta }^{(\alpha +\beta )}}{\varGamma _{q}(\alpha +1)\varGamma _{q}(\beta +1)}\frac{ ({_{a}}I_{q,\omega }^{\alpha }f^{2} )(t) ({_{a}}I_{q,\omega }^{\beta }g^{2} )(t)}{ ( ({_{a}}I _{q,\omega }^{\alpha }f )(t) ({_{a}}I_{q,\omega }^{\beta }g )(t) ) ^{2}} \leq \frac{1}{4} (\sqrt{\frac{mn}{MN}}+\sqrt{ \frac{MN}{mn}} )^{2}\).

Lemma 1

([18])

If A and B are nonnegative constants, then

$$ A^{\lambda }+(\lambda -1)B^{\lambda }-\lambda AB^{\lambda -1}\geq 0 \quad \textit{for } \lambda >1, $$
(39)

and

$$ A^{\lambda }+(\lambda -1)B^{\lambda }-\lambda AB^{\lambda -1}\leq 0 \quad \textit{for } 0< \lambda < 1, $$
(40)

where the equality holds if and only if \(A=B\).

Theorem 9

Suppose that the assumptions of Theorem 8 hold. Then, for \(t\in [a,b]\), we have

$$\begin{aligned}& \bigl({_{a}}I_{q,\omega }^{\alpha } (\varphi _{2}\psi _{2}g-\psi _{1}\psi _{2}f )^{\lambda } \bigr) (t)+(\lambda -1) \bigl({_{a}}I _{q,\omega }^{\alpha } (\psi _{1}\psi _{2}f-\varphi _{1}\psi _{1}g ) ^{\lambda } \bigr) (t) \\& \quad \geq \lambda \bigl({_{a}}I_{q,\omega }^{\alpha } ( \varphi _{2} \psi _{2}g-\psi _{1}\psi _{2}f ) (\psi _{1}\psi _{2}f-\varphi _{1}\psi _{1}g )^{\lambda -1} \bigr) (t),\quad \lambda >1, \end{aligned}$$
(41)

and

$$\begin{aligned}& \bigl({_{a}}I_{q,\omega }^{\alpha } (\varphi _{2}\psi _{2}g-\psi _{1}\psi _{2}f )^{\lambda } \bigr) (t)+(\lambda -1) \bigl({_{a}}I _{q,\omega }^{\alpha } (\psi _{1}\psi _{2}f-\varphi _{1}\psi _{1}g ) ^{\lambda } \bigr) (t) \\& \quad \leq \lambda \bigl({_{a}}I_{q,\omega }^{\alpha } ( \varphi _{2} \psi _{2}g-\psi _{1}\psi _{2}f ) (\psi _{1}\psi _{2}f-\varphi _{1}\psi _{1}g )^{\lambda -1} \bigr) (t), \quad 0< \lambda < 1. \end{aligned}$$
(42)

Proof

Set the constants A, B as in (36)–(37), respectively. For any \(\lambda >1\), we obtain from Lemma 1 that

$$\begin{aligned} & \biggl(\frac{\varphi _{2}(\tau )g(\tau )-\psi _{1}(\tau )f(\tau )}{ \psi _{1}(\tau )g(\tau )} \biggr)^{\lambda }+(\lambda -1) \biggl( \frac{ \psi _{2}(\tau )f(\tau )-\varphi _{1}(\tau )g(\tau )}{\psi _{2}(\tau )g( \tau )} \biggr)^{\lambda } \\ & ~~~~~~~~~~ \geq \lambda \biggl(\frac{\varphi _{2}(\tau )g(\tau )-\psi _{1}(\tau )f( \tau )}{\psi _{1}(\tau )g(\tau )} \biggr) \biggl( \frac{\psi _{2}(\tau )f( \tau )-\varphi _{1}(\tau )g(\tau )}{\psi _{2}(\tau )g(\tau )} \biggr) ^{\lambda -1}. \end{aligned}$$

Multiplying both sides by \((\psi _{1}(\tau )\psi _{2}(\tau )g(\tau ))^{ \lambda }\), we have

$$\begin{aligned} & \bigl(\varphi _{2}(\tau )\psi _{2}(\tau )g(\tau )-\psi _{1}(\tau )\psi _{2}(\tau )f(\tau ) \bigr)^{\lambda }+( \lambda -1) \bigl(\psi _{1}( \tau )\psi _{2}(\tau )f(\tau )- \varphi _{1}(\tau )\psi _{1}(\tau )g( \tau ) \bigr)^{\lambda } \\ & ~~ \geq \lambda \bigl(\varphi _{2}(\tau )\psi _{2}(\tau )g(\tau )-\psi _{1}(\tau )\psi _{2}(\tau )f(\tau ) \bigr) \bigl(\psi _{1}(\tau )\psi _{2}(\tau )f(\tau )-\varphi _{1}(\tau )\psi _{1}(\tau )g(\tau ) \bigr) ^{\lambda -1}, \end{aligned}$$

which implies inequality (41) by multiplying by \((t - { _{\theta }}\varPhi _{q}(\tau ) )_{\theta }^{(\alpha -1)}/\varGamma _{q}(\alpha )\) and applying Hahn \((q,\omega )\)-integration. In a similar way, the proof of inequality (42) can be obtained. The proof is completed. □

Corollary 6

If \((H_{4})\) and \((H_{7})\) hold, then we get

$$\begin{aligned} & \bigl({_{a}}I_{q,\omega }^{\alpha } (MNg-nNf )^{\lambda } \bigr) (t)+(\lambda -1) \bigl({_{a}}I_{q,\omega }^{\alpha } (nNf-mng ) ^{\lambda } \bigr) (t) \\ & ~~ \geq \lambda \bigl({_{a}}I_{q,\omega }^{\alpha } (MNg-nNf ) (nNf-mng )^{\lambda -1} \bigr) (t), \quad \lambda >1, \end{aligned}$$

and

$$\begin{aligned} & \bigl({_{a}}I_{q,\omega }^{\alpha } (MNg-nNf )^{\lambda } \bigr) (t)+(\lambda -1) \bigl({_{a}}I_{q,\omega }^{\alpha } (nNf-mng ) ^{\lambda } \bigr) (t) \\ & ~~ \leq \lambda \bigl({_{a}}I_{q,\omega }^{\alpha } (MNg-nNf ) (nNf-mng )^{\lambda -1} \bigr) (t), \quad 0< \lambda < 1. \end{aligned}$$

In particular case, if \(M=N\), \(m=n\), and \(\lambda =2\), we have

$$\begin{aligned}& \bigl(M^{2}+m^{2} \bigr)^{2} \bigl({_{a}}I_{q,\omega }^{\alpha }g ^{2} \bigr) (t)+4m^{2}M^{2} \bigl({_{a}}I_{q,\omega }^{\alpha }f^{2} \bigr) (t) \\& \quad \geq 4 \bigl(mM^{3}+m^{3}M \bigr) \bigl({_{a}}I_{q,\omega }^{\alpha }fg \bigr) (t). \end{aligned}$$

Next, we are going to prove the Grüss–C̆ebyšev type fractional Hahn \((q,\omega )\)-integral inequality on the interval \([a,b]\). Let us prove the fractional \((q,\omega )\)-Korkine equality on the interval \([a,b]\).

Lemma 2

Let \(f,g:[a,b] \rightarrow \mathbb{R}\) be \((q,\omega )\)-integrable functions. Then, for \(0< q<1\), \(\omega \geq 0\), \(\theta \in [a,b]\), and \(\alpha >0\), we have

$$\begin{aligned}& \frac{1}{2} \bigl\{ {_{a}}I_{q,\omega }^{2\alpha } \bigl(f(s)-f(r)\bigr) \bigl(g(s)-g(r)\bigr) \bigr\} (b) \\& \quad = \frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \bigl({_{a}}I _{q,\omega }^{\alpha }fg \bigr) (b) - \bigl({_{a}}I_{q,\omega }^{ \alpha }f \bigr) (b) \bigl({_{a}}I_{q,\omega }^{\alpha }g \bigr) (b). \end{aligned}$$
(43)

Proof

From Definitions 2 and 4, we have

$$\begin{aligned}& \bigl\{ {_{a}}I_{q,\omega }^{2\alpha }\bigl(f(s)-f(r)\bigr) \bigl(g(s)-g(r)\bigr) \bigr\} (b) \\& \quad =\frac{1}{\varGamma ^{2}_{q}(\alpha )} \int _{a}^{b} \int _{a}^{b}\bigl(b-{_{ \theta }}\varPhi _{q}(s)\bigr)_{\theta }^{(\alpha -1)}\bigl(b-{_{\theta }} \varPhi _{q}(r)\bigr)_{ \theta }^{(\alpha -1)} \\& \qquad {} \times \bigl(f(s)-f(r)\bigr) \bigl(g(s)-g(r)\bigr) {_{a}} \,d_{q,\omega }s{_{a}}\,d_{q, \omega }r \\& \quad =\frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \Biggl(\frac{b- {_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )}\sum _{i=0}^{\infty }q ^{i}\bigl(b-{_{\theta }} \varPhi ^{i+1}_{q}(b)\bigr)_{\theta }^{(\alpha -1)}f \bigl({_{ \theta }}\varPhi ^{i}_{q}(b)\bigr)g \bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \qquad {} - \Biggl(\frac{b-{_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )}\sum_{i=0}^{\infty }q^{i} \bigl(b-{_{\theta }}\varPhi ^{i+1}_{q}(b) \bigr)_{\theta }^{( \alpha -1)}f\bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \qquad {} \times \Biggl(\frac{b-{_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )} \sum_{i=0}^{\infty }q^{i} \bigl(b-{_{\theta }}\varPhi ^{i+1}_{q}(b) \bigr)_{\theta } ^{(\alpha -1)}g\bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \qquad {} - \Biggl(\frac{b-{_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )}\sum_{i=0}^{\infty }q^{i} \bigl(b-{_{\theta }}\varPhi ^{i+1}_{q}(b) \bigr)_{\theta }^{( \alpha -1)}g\bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \qquad {} \times \Biggl(\frac{b-{_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )} \sum_{i=0}^{\infty }q^{i} \bigl(b-{_{\theta }}\varPhi ^{i+1}_{q}(b) \bigr)_{\theta } ^{(\alpha -1)}f\bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \qquad {} +\frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \Biggl(\frac{b- {_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )}\sum _{i=0}^{\infty }q ^{i}\bigl(b-{_{\theta }} \varPhi ^{i+1}_{q}(b)\bigr)_{\theta }^{(\alpha -1)}f \bigl({_{ \theta }}\varPhi ^{i}_{q}(b)\bigr)g \bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \quad =\frac{2(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \Biggl(\frac{b- {_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )}\sum _{i=0}^{\infty }q ^{i}\bigl(b-{_{\theta }} \varPhi ^{i+1}_{q}(b)\bigr)_{\theta }^{(\alpha -1)}f \bigl({_{ \theta }}\varPhi ^{i}_{q}(b)\bigr)g \bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \qquad {} -2 \Biggl(\frac{b-{_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )} \sum_{i=0}^{\infty }q^{i} \bigl(b-{_{\theta }}\varPhi ^{i+1}_{q}(b) \bigr)_{\theta } ^{(\alpha -1)}f\bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \qquad {} \times \Biggl(\frac{b-{_{\theta }}\varPhi _{q}(b)}{\varGamma _{q}(\alpha )} \sum_{i=0}^{\infty }q^{i} \bigl(b-{_{\theta }}\varPhi ^{i+1}_{q}(b) \bigr)_{\theta } ^{(\alpha -1)}g\bigl({_{\theta }}\varPhi ^{i}_{q}(b)\bigr) \Biggr) \\& \quad = \frac{2(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \bigl({_{a}}I _{q,\omega }^{\alpha }fg \bigr) (b) - 2 \bigl({_{a}}I_{q,\omega }^{ \alpha }f \bigr) (b) \bigl({_{a}}I_{q,\omega }^{\alpha }g \bigr) (b), \end{aligned}$$

which is (2), as desired. The proof is completed. □

The following example is needed to prove our next result.

Example 2

Let \(f(t)=t^{2}\) and \(g(t)=t\), \(t\in [a,b]\). Then the fractional Hahn \((q,\omega )\)-integral of order \(\alpha >0\) of \(f(t)\) from a to b is

$$\begin{aligned} \bigl({_{a}}I_{q,\omega }^{\alpha }f \bigr) (b) =& \bigl({_{a}}I _{q,\omega }^{\alpha }(t-a+a)^{2} \bigr) (b) \\ =& \bigl({_{a}}I_{q,\omega }^{\alpha }(t-a)^{2} \bigr) (b) + 2a \bigl({_{a}}I_{q,\omega }^{\alpha }(t-a) \bigr) (b) + a^{2} \bigl({_{a}}I _{q,\omega }^{\alpha }(1) \bigr) (b) \\ =& \frac{\varGamma _{q}(3)}{\varGamma _{q}(\alpha +3)}(b-a)^{(\alpha +2)} _{\theta } + \frac{2a}{\varGamma _{q}(\alpha +2)}(b-a)^{(\alpha +1)}_{ \theta } +\frac{a^{2}}{\varGamma _{q}(\alpha +1)}(b-a)^{(\alpha )}_{ \theta } \\ =& \frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \biggl[ \frac{ \varGamma _{q}(3)(b-{_{\theta }}\varPhi ^{\alpha +1}_{q}(a))(b-{_{\theta }} \varPhi ^{\alpha }_{q}(a))}{[\alpha +2]_{q}[\alpha +1]_{q}} + \frac{2a(b- {_{\theta }}\varPhi ^{\alpha }_{q}(a))}{[\alpha +1]_{q}} +a^{2} \biggr]. \end{aligned}$$

In addition, from Example 1, the square of \(({_{a}}I _{q,\omega }^{\alpha }g )(b)\) is

$$\begin{aligned} \bigl[ \bigl({_{a}}I_{q,\omega }^{\alpha }g \bigr) (b) \bigr]^{2} =& \biggl[\frac{1}{\varGamma _{q}(\alpha +2)}(b-a)^{(\alpha +1)}_{\theta } +\frac{a}{ \varGamma _{q}(\alpha +1)}(b-a)^{(\alpha )}_{\theta } \biggr]^{2} \\ =& \biggl[\frac{(b-{_{\theta }}\varPhi ^{\alpha }_{q}(a))(b-a)^{(\alpha )}_{\theta }}{[\alpha +1]_{q}\varGamma _{q}(\alpha +1)} +\frac{a(b-a)^{( \alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \biggr]^{2} \\ =& \frac{(b-a)^{2(\alpha )}_{\theta }}{\varGamma ^{2}_{q}(\alpha +1)} \biggl[\frac{(b-{_{\theta }}\varPhi ^{\alpha }_{q}(a))^{2}}{[\alpha +1]^{2}} + \frac{2a(b-{_{\theta }}\varPhi ^{\alpha }_{q}(a))}{[\alpha +1]_{q}} + a ^{2} \biggr]. \end{aligned}$$

Theorem 10

Let \(f,g:[a,b] \rightarrow \mathbb{R}\) be \(L_{1}\), \(L_{2}\)-Lipschitzian \((q,\omega )\)-integrable functions, that is,

$$ \begin{gathered} \bigl\vert f(s)-f(r) \bigr\vert \leq L_{1} \vert s-r \vert , \\ \bigl\vert g(s)-g(r) \bigr\vert \leq L_{2} \vert s-r \vert \end{gathered} $$
(44)

for all \(s,r \in [a,b]\), \(L_{1},L_{2}>0\). Then, for \(0< q<1\), \(\omega \geq 0\), \(\theta \in [a,b]\), and \(\alpha >0\), the following inequality holds:

$$\begin{aligned}& \frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \bigl({_{a}}I _{q,\omega }^{\alpha }fg \bigr) (b) - \bigl({_{a}}I_{q,\omega }^{ \alpha }f \bigr) (b) \bigl({_{a}}I_{q,\omega }^{\alpha }g \bigr) (b) \\& \quad \leq L_{1}L_{2}\frac{q[\alpha ]_{q} (b-a)^{2(\alpha )}_{\theta }(b- {_{\theta }}\varPhi ^{\alpha }_{q}(a))^{2}}{[\alpha +1]^{2}_{q}[\alpha +2]_{q} \varGamma ^{2}_{q}(\alpha +1)}. \end{aligned}$$
(45)

Proof

From inequalities (44), we have

$$\begin{aligned} \bigl\vert \bigl(f(s)-f(r)\bigr) \bigl(g(s)-g(r)\bigr) \bigr\vert \leq L_{1}L_{2}(s-r)^{2} \end{aligned}$$

for all \(s,r \in [a,b]\). Taking the double fractional Hahn \((q,\omega )\)-integration of order α with respect to \(s,r \in [a,b]\), we get

$$\begin{aligned}& \bigl({_{a}}I_{q,\omega }^{2\alpha } \bigl\vert \bigl(f(s)-f(r)\bigr) \bigl(g(s)-g(r)\bigr) \bigr\vert \bigr) (b) \\& \quad \leq L_{1}L_{2} \bigl({_{a}}I_{q,\omega }^{2\alpha }(s-r)^{2} \bigr) (b) \\& \quad =L_{1}L_{2} \biggl[\frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}( \alpha +1)} \bigl({_{a}}I_{q,\omega }^{\alpha }s^{2} \bigr) (b) - 2 \bigl({_{a}}I_{q,\omega }^{\alpha }s \bigr) (b) \bigl({_{a}}I_{q, \omega }^{\alpha }r \bigr) (b) \\& \qquad {} +\frac{(b-a)^{(\alpha )}_{\theta }}{ \varGamma _{q}(\alpha +1)} \bigl({_{a}}I_{q,\omega }^{\alpha } r^{2} \bigr) (b) \biggr] \\& \quad = 2L_{1}L_{2} \biggl[\frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}( \alpha +1)} \bigl({_{a}}I_{q,\omega }^{\alpha }s^{2} \bigr) (b) - \bigl( \bigl({_{a}}I_{q,\omega }^{\alpha }s \bigr) (b) \bigr)^{2} \biggr]. \end{aligned}$$
(46)

Applying the results from Example 2, it follows that

$$\begin{aligned}& \frac{(b-a)^{(\alpha )}_{\theta }}{\varGamma _{q}(\alpha +1)} \bigl({_{a}}I _{q,\omega }^{\alpha }s^{2} \bigr) (b) - \bigl( \bigl({_{a}}I_{q, \omega }^{\alpha }s \bigr) (b) \bigr)^{2} \\& \quad = \frac{(b-a)^{2(\alpha )}_{\theta }(b-{_{\theta }}\varPhi ^{\alpha } _{q}(a))}{[\alpha +1]_{q}\varGamma ^{2}_{q}(\alpha +1)} \biggl[ \frac{ \varGamma _{q}(3)(b-{_{\theta }}\varPhi ^{\alpha +1}_{q}(a))}{[\alpha +2]_{q}} - \frac{(b-{_{\theta }}\varPhi ^{\alpha }_{q}(a))}{[\alpha +1]_{q}} \biggr] \\& \quad = \frac{(b-a)^{2(\alpha )}_{\theta }(b-{_{\theta }}\varPhi ^{\alpha } _{q}(a))}{[\alpha +1]_{q}\varGamma ^{2}_{q}(\alpha +1)} \biggl[\frac{q(b-a)(1-q)(1-q ^{\alpha })}{(1-q^{\alpha +1})(1-q^{\alpha +2})} + \frac{q\omega (-q ^{2\alpha }+2q^{\alpha }- 1)}{(1-q^{\alpha +1})(1-q^{\alpha +2})} \biggr] \\& \quad = \frac{q[\alpha ]_{q} (b-a)^{2(\alpha )}_{\theta }(b-{_{\theta }} \varPhi ^{\alpha }_{q}(a))^{2}}{[\alpha +1]^{2}_{q}[\alpha +2]_{q}\varGamma ^{2}_{q}(\alpha +1)}. \end{aligned}$$
(47)

Hence, (46) and (47) lead to

$$ \bigl({_{a}}I_{q,\omega }^{2\alpha } \bigl\vert \bigl(f(s)-f(r)\bigr) \bigl(g(s)-g(r)\bigr) \bigr\vert \bigr) (b) \leq 2L_{1}L_{2}\frac{q[\alpha ]_{q} (b-a)^{2(\alpha )}_{\theta }(b- {_{\theta }}\varPhi ^{\alpha }_{q}(a))^{2}}{[\alpha +1]^{2}_{q}[\alpha +2]_{q} \varGamma ^{2}_{q}(\alpha +1)}. $$
(48)

Applying Lemma 2 to (48), we deduce the desired inequality in (45). This completes the proof. □

Remark 3

If \(\alpha = 1\), \(q\rightarrow 1\), and \(\omega =0\), then (45) is reduced to the classical Grüss–C̆ebyšev integral inequality as follows:

$$ \biggl\vert \frac{1}{b-a} \int ^{b}_{a} f(s)g(s) \,ds - \biggl( \frac{1}{b-a} \int ^{b}_{a} f(s) \,ds \biggr) \biggl( \frac{1}{b-a} \int ^{b}_{a} g(s) \,ds \biggr) \biggr\vert \leq \frac{L_{1}L_{2}(b-a)^{2}}{12}. $$

References

  1. Hahn, W.: Über Orthogonalpolynome, die q-Differenzenlgleichungen genügen. Math. Nachr. 2, 434 (1949)

    Google Scholar 

  2. Jackson, F.H.: q-Difference equations. Am. J. Math. 32, 305–314 (1910)

    Article  Google Scholar 

  3. Brikshavana, T., Sitthiwirattham, T.: On fractional Hahn calculus. Adv. Differ. Equ. 2017, 354 (2017)

    MathSciNet  Article  Google Scholar 

  4. Costas-Santos, R.S., Marcellan, F.: Second structure relation for q-semiclassical polynomials of the Hahn Tableau. J. Math. Anal. Appl. 329, 206–228 (2007)

    MathSciNet  Article  Google Scholar 

  5. Foupouagnigni, M.: Laguerre-Hahn orthogonal polynomials with respect to the Hahn operator: fourth-order difference equation for the rth associated and the Laguerre-Freud equations recurrence coefficients. Ph.D. Thesis, Université Nationale du Bénin, Bénin (1998)

  6. Kwon, K.H., Lee, D.W., Park, S.B., Yoo, B.H.: Hahn class orthogonal polynomials. Kyungpook Math. J. 38, 259–281 (1998)

    MathSciNet  MATH  Google Scholar 

  7. Patanarapeelert, N., Sitthiwirattham, T.: Existence results for fractional Hahn difference and fractional Hahn integral boundary value problems. Discrete Dyn. Nat. Soc. 2017, Article ID 7895186 (2017)

    MathSciNet  Article  Google Scholar 

  8. Khan, H., Tunc, C., Alkhazan, A., Ameen, B., Khan, A.: A generalization of Minkowski’s inequality by Hahn integral operator. J. Taibah Univ. Sci. 12(5), 506–513 (2018)

    Article  Google Scholar 

  9. Annaby, M.H., Hamza, A.E., Aldwoah, K.A.: Hahn difference operator and associated Jackson–Nörlund integrals. J. Optim. Theory Appl. 154, 133–153 (2012)

    MathSciNet  Article  Google Scholar 

  10. Malinowska, A.B., Torres, D.: The Hahn quantum variational calculus. J. Optim. Theory Appl. 147, 419–442 (2010)

    MathSciNet  Article  Google Scholar 

  11. Tariboon, J., Ntouyas, S.K., Sudsutad, W.: New concepts of Hahn calculus and impulsive Hahn difference equations. Adv. Differ. Equ. 2016, 255 (2016)

    MathSciNet  Article  Google Scholar 

  12. Wang, Y., Liu, Y., Hou, C.: New concepts of fractional Hahn’s q, ω-derivative of Riemann-Liouville type and Caputo type and applications. Adv. Differ. Equ. 2018, 292 (2018)

    MathSciNet  Article  Google Scholar 

  13. Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

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

    Book  Google Scholar 

  15. Sabatier, J., Agrawal, O.P., Machado, J.A.T. (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    MATH  Google Scholar 

  16. Alp, N., Sarikaya, M.Z., Kunt, M., İşcan, İ.: q-Hermite Hadamard inequalities and quantum estimates for midpoint type inequalities via convex and quasi-convex functions. J. King Saud Univ., Sci. 30, 193–203 (2018)

    Article  Google Scholar 

  17. Sudsutad, W., Ntouyas, S.K., Tariboon, J.: Integral inequalities via fractional quantum calculus. J. Inequal. Appl. 2016, 81 (2016)

    MathSciNet  Article  Google Scholar 

  18. Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities, 2nd edn. Cambridge Univ. Press, Cambridge (1988)

    MATH  Google Scholar 

Download references

Availability of data and materials

Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.

Funding

This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-60-ART-066.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jessada Tariboon.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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

Asawasamrit, S., Sudprasert, C., Ntouyas, S.K. et al. Some results on quantum Hahn integral inequalities. J Inequal Appl 2019, 154 (2019). https://doi.org/10.1186/s13660-019-2101-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-019-2101-z

MSC

  • 39A10
  • 39A13
  • 39A70

Keywords

  • Hahn difference operator
  • Hahn integral operator
  • Hahn difference inequalities
  • Hermite–Hadamard quantum Hahn integral inequality
  • Pólya–Szegö type fractional Hahn integral inequalities
  • Grüss–C̆ebyšev type fractional Hahn integral inequality