New quantum estimates in the setting of fractional calculus theory

Abstract

In this article, the investigation is centered around the quantum estimates by utilizing quantum Hahn integral operator via the quantum shift operator ${}_{\eta}\psi_{\mathfrak{q}}(\zeta)=\mathfrak{q}\zeta+(1-\mathfrak{q})\eta$, $\zeta\in[\mu,\nu]$, $\eta=\mu+\frac{\omega}{(1-\mathfrak{q})}$, $0<\mathfrak{q}<1$, $\omega\geq0$. Our strategy includes fractional calculus, Jackson’s $\mathfrak{q}$-integral, the main ideas of quantum calculus, and a generalization used in the frame of convex functions. We presented, in general, three types of fractional quantum integral inequalities that can be utilized to explain orthogonal polynomials, and exploring some estimation problems with shifting estimations of fractional order $\varrho_{1}$ and the $\mathfrak{q}$-numbers have yielded fascinating outcomes. As an application viewpoint, an illustrative example shows the effectiveness of $\mathfrak{q}$, ω-derivative for boundary value problem.

1 Introduction

Quantum difference operators have played a crucial role in the development of quantum calculus due to their fertile application, see [1–5]. Roughly speaking, a quantum calculus substitutes the classical derivative by a difference operator, which allows dealing with sets of nondifferentiable functions. In [6], Hahn a famous mathematician presented the Hahn difference operator $\mathcal{D}_{\mathfrak{q},\omega }$.

Suppose that $h_{1}$ defined on an interval $I\subseteq \mathbb{R}$ containing $\omega _{0}:= \frac{\omega }{1-\mathfrak{q}}$ is defined as

$$ \mathcal{D}_{\mathfrak{q},\omega }h_{1}(\zeta )= \textstyle\begin{cases} \frac{h_{1}(\mathfrak{q}\zeta +\omega )-h_{1}(\zeta )}{\zeta (\mathfrak{q}-1)+\omega }, & \zeta \neq \omega _{0}, \\ h_{1}^{\prime }(\omega _{0}),& \zeta = \omega _{0}, \end{cases} $$

(1.1)

provided that $h_{1}$ is differentiable at $\omega _{0}$, where $\mathfrak{q}\in (0,1)$ for some fixed $\omega \geq 0$.

The Hahn difference operator unifies (in the limit) the two most distinguished and extensively used quantum difference operators: the Jackson q-difference derivative $\mathcal{D}_{\mathfrak{q}}$ [7], where $\mathfrak{q}\in (0,1)$, defined by

$$ \mathcal{D}_{\mathfrak{q}}h_{1}(\zeta )= \textstyle\begin{cases} \frac{h_{1}(\zeta )-h_{1}(\mathfrak{q}\zeta )}{\zeta (1-\mathfrak{q})}, & \zeta \neq 0, \\ h_{1}^{\prime }(0),& \zeta =0, \end{cases} $$

(1.2)

provided that $h_{1}^{\prime }(0)$ exists for $\omega =0$, and the forward difference $\mathcal{D}_{\omega }$ for $\mathfrak{q}\rightarrow 1$ defined by

$$\begin{aligned} \mathcal{D}_{\omega }h_{1}(\zeta )= \frac{h_{1}(\zeta +\omega )-h_{1}(\zeta )}{\omega } \end{aligned}$$

(1.3)

for some fixed $\omega >0$. Hahn’s difference operator has been applied successfully in the construction of families of orthogonal polynomials as well as in approximation problems [8–13].

In [14], some concepts of fractional quantum calculus were introduced in terms of a $\mathfrak{q}$-shifting operator ${}_{\eta }\psi _{\mathfrak{q}}(\zeta )=\mathfrak{q}\zeta +(1- \mathfrak{q})\eta$.

Consider an interval $I=[\mu ,\nu ]\subseteq \mathbb{R}$. The two quantum numbers $0<\mathfrak{q}<1$, $\omega \geq 0$ can generate a point η of Hahn calculus on an interval $[\mu ,\nu ]$ by

$$ \eta =\mu +\frac{\omega }{1-\mathfrak{q}}, $$

which states that $\eta \in [\mu ,\nu ]$ for all consequences of our investigation. The quantum Hahn shifting operator is stated as

$$\begin{aligned} {}_{\eta }\psi _{\mathfrak{q}}( \zeta )=\mathfrak{q}\zeta +(1- \mathfrak{q})\eta ,\quad \zeta \in [\mu ,\nu ]. \end{aligned}$$

(1.4)

It follows that the iterated κ-times quantum shifting is introduced by

$$ {}_{\eta }\psi _{\mathfrak{q}}^{\kappa }(\zeta )={}_{\eta }\psi _{ \mathfrak{q}}^{\kappa -1} \bigl({}_{\eta } \psi _{\mathfrak{q}}(\zeta ) \bigr)= \mathfrak{q}^{\kappa }\zeta + \bigl(1- \mathfrak{q}^{\kappa } \bigr)\eta , $$

with ${}_{\eta }\psi _{\mathfrak{q}}^{0}(\zeta )=\zeta$ for $\zeta \in [\mu ,\nu ]$.

Let us demonstrate the preliminaries of quantum Hahn calculus on an interval $[\mu ,\nu ]$ which are the results in [15] modified according to (1.4).

Definition 1.1

Let $h_{1}$ be a function defined on $[\mu ,\nu ]$. The quantum Hahn difference operator is defined as

$$ _{\mu }\mathcal{D}_{\mathfrak{q},\omega }h_{1}( \zeta )= \textstyle\begin{cases} \frac{h_{1}(\zeta )-h_{1}(_{\eta }\psi _{\mathfrak{q}}(\zeta ))}{\zeta (\mathfrak{q}-1)+\omega }, & \zeta \neq \eta , \\ h_{1}^{\prime }(\eta ),& \zeta \neq \eta , \end{cases} $$

(1.5)

provided that $h_{1}$ is differentiable at η.

Definition 1.2

Assume that $h_{1}:[\mu ,\nu ]\rightarrow \mathbb{R}$ is a given function and two points $x,y\in [\mu ,\nu ]$. The $\mathfrak{q}$, ω-quantum Hahn integral of $h_{1}$ from x to y is defined by

$$\begin{aligned} \int _{x}^{y}h_{1}(s)_{\mu } \,d_{\mathfrak{q},\omega }s:= \int _{\eta }^{y}h_{1}(s)_{\mu } \,d_{\mathfrak{q},\omega }s- \int _{\eta }^{x}h_{1}(s)_{\mu } \,d_{\mathfrak{q},\omega }s, \end{aligned}$$

(1.6)

where

$$\begin{aligned} \int _{\eta }^{\zeta }h_{1}(s)_{\mu } \,d_{\mathfrak{q},\omega }s= \bigl[\zeta -_{\eta }\psi _{\mathfrak{q}}(\zeta ) \bigr]\sum_{i=0}^{ \infty } \mathfrak{q}^{i}h_{1} \bigl(_{\eta }\psi _{\mathfrak{q}}^{i}( \zeta ) \bigr) \end{aligned}$$

(1.7)

for $\zeta \in [\mu ,\nu ]$, provided that the series converge at $\zeta =x$ and $\zeta =y$. The function $h_{1}$ is said to be $\mathfrak{q}$, ω-integrable on $[\mu ,\nu ]$ if (1.7) exists for all $\zeta \in [\mu ,\nu ]$.

Before approaching the main definitions of fractional quantum Hahn calculus on $[\mu ,\nu ]$, we present the η-power function which is stated as follows:

$$ (n-m)_{\eta }^{(0)}=1,\qquad (n-m)_{\eta }^{(\kappa )}= \prod_{i=0}^{ \kappa -1} \bigl(n-{}_{\eta } \psi _{\mathfrak{q}}^{i}(m) \bigr),\quad \kappa \in \mathbb{N}\cup \{\infty \}. $$

Precisely, if $\alpha \in \mathbb{R}$, then

$$\begin{aligned} (n-m)_{\eta }^{(\alpha )}=\prod _{i=0}^{\infty } \frac{(n-{}_{\eta }\psi _{\mathfrak{q}}^{i}(m))}{ (n-{}_{\eta }\psi _{\mathfrak{q}}^{\alpha +i}(m))}, \end{aligned}$$

(1.8)

with ${}_{\eta }\psi _{\mathfrak{q}}^{\varsigma }(m)=\mathfrak{q}^{\varsigma }m+(1- \mathfrak{q}^{\varsigma })\eta$, $\varsigma \in \mathbb{R}$.

The $\mathfrak{q}$-gamma function can be defined as

$$\begin{aligned} \varGamma _{\mathfrak{q}}(\alpha )= \frac{(1-\mathfrak{q})_{0}^{(\alpha -1)}}{(1-\mathfrak{q})^{\alpha -1}}, \quad \alpha \in \mathbb{R}\setminus \{0,-1,-2,\ldots\}. \end{aligned}$$

(1.9)

Obviously, $\varGamma _{\mathfrak{q}}(\alpha +1)=[\alpha ]_{\mathfrak{q}}\varGamma _{ \mathfrak{q}}(\alpha )$, where $[c]_{\mathfrak{q}}=\frac{(1-\mathfrak{q}^{c})}{1-\mathfrak{q}}$, $c\in \mathbb{R}$, where $\mathfrak{q}$ is the quantum number.

Now we consider the concept of Riemann–Liouville type of fractional derivative and integral of quantum Hahn calculus on an interval $[\mu ,\nu ]$ which is proposed by [16].

Definition 1.3

([16])

Suppose that a function $h_{1}:[\mu ,\nu ]\rightarrow \mathbb{R}$ is said to be fractional quantum Hahn derivative of Riemann–Liouville type of order $\varrho _{1}\geq 0$ if

$$\begin{aligned} \bigl({}_{\mu }\mathcal{D}_{\mathfrak{q},\omega }^{\varrho _{1}}h_{1} \bigr) ( \zeta )=\frac{1}{\varGamma _{\mathfrak{q}}(n-\varrho _{1})} {}_{\mu } \mathcal{D}_{\mathfrak{q},\omega }^{n} \int _{\mu }^{\zeta } \bigl( \zeta -{}_{\eta } \psi _{\mathfrak{q}}(s) \bigr)_{\eta }^{(n-\varrho _{1}-1)}h_{1}(s)_{ \mu } \,d_{\mathfrak{q},\omega }, \end{aligned}$$

(1.10)

where n is the smallest integer greater than or equal to $\varrho _{1}$.

Definition 1.4

([16])

Suppose that a function $h_{1}:[\mu ,\nu ]\rightarrow \mathbb{R}$ is said to be fractional quantum Hahn integral of Riemann–Liouville type of order $\varrho _{1}\geq 0$ if

$$\begin{aligned} \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q},\omega }^{\varrho _{1}}h_{1} \bigr) ( \zeta )=\frac{1}{\varGamma _{\mathfrak{q}}(\varrho _{1})} \int _{ \mu }^{\zeta } \bigl(\zeta -{}_{\eta } \psi _{\mathfrak{q}}(s) \bigr)_{\eta }^{( \varrho _{1}-1)}h_{1}(s)_{\mu } \,d_{\mathfrak{q},\omega },\quad \varrho _{1}>0, \zeta \in [\mu ,\nu ]. \end{aligned}$$

(1.11)

Also, $({}_{\mu }\mathcal{I}_{\mathfrak{q},\omega }^{0}h_{1})(\zeta )=h_{1}( \zeta )$ and provided the right-hand side exists.

Theorem 1.5

([16])

Let$\varrho _{1},\varrho _{2}\in \mathbb{R}^{+}$, $\vartheta \in (-1, \infty )$, and$\eta \in [\mu ,\nu .]$The following formula hold:

$$\begin{aligned}& \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q},\omega }^{\varrho _{1}}(z- \mu )_{\eta }^{(\vartheta )} \bigr) (\zeta )= \frac{\varGamma _{\mathfrak{q}}(\vartheta +1)}{\varGamma _{\mathfrak{q}}(\varrho _{1}+\vartheta +1)}( \zeta -\mu )_{\eta }^{(\varrho _{1}+\vartheta )}, \\& \bigl({}_{\mu }\mathcal{D}_{\mathfrak{q},\omega }^{\varrho _{1}}(z- \mu )_{\eta }^{(\vartheta )} \bigr) (\zeta )= \frac{\varGamma _{\mathfrak{q}}(\vartheta +1)}{\varGamma _{\mathfrak{q}}(\varrho _{1}-\vartheta +1)}( \zeta -\mu )_{\eta }^{(\varrho _{1}-\vartheta )}. \end{aligned}$$

Fractional calculus has increased a great deal of consideration from analysts because of their expertise to increase certifiable issues utilized in different fields of science and engineering. Various physical phenomena in signal processing, control theory, electrochemistry of erosion, potential theory, acoustics, and electromagnetic are absolutely displayed by the utilization of its applications [17–19]. The utilities of variants have gained considerable importance among researchers for fixed point theorems and existence and uniqueness of solutions for differential equations. Numerous numerical and analytical methods have been recommended for the advancement of integral inequalities [20–39].

Tariboon et al. [40] expounded the concept of $\mathfrak{q}$-derivatives over the definite interval $[\mu ,\nu ]\subset \mathbb{R}$ and contemplated several versions on quantum analogues, for example, $\mathfrak{q}$-Cauchy–Schwarz inequality, the $\mathfrak{q}$-Grüss–Chebyshev integral inequality, the $\mathfrak{q}$-Grüss inequality, and other integral inequalities by classical convexity.

In this study we derive several new variants via quantum Hahn fractional integral operator concerning convex functions, reverse Minkowski and reverse Hölder inequalities via quantum Hahn integral operator. The concept is relatively new and appears to have opened new doors of research towards different areas of research including meteorology, quantum mechanics, biosciences, chaos, image processing, power-law, biochemistry, physics, and several others. The integral inequalities by quantum Hahn integral operator can focus on a predetermined number of complex problems on one hand, and on the other hand their applications can likewise catch various sorts of complexities. In this manner assembling these three speculations can help us to comprehend the complexities of existing nature in a vastly improved manner. Quantum fractional integrals have fascinated the attention of practically all scientists from various fields of science. It is noted that the quantum fractional estimate is able to appreciate some kind of self-similarities.

2 Some new generalizations by fractional quantum Hahn integral operator

Assume that for quantum numbers $0<\mathfrak{q}_{i}<1$, $\omega _{i}\geq 0$, $i=1,2$, and the points $\eta _{i}\in [\mu ,\nu ]$, $i=1,2$, can be defined as

$$ \eta _{i}= \frac{\omega _{i}+(1-\mathfrak{q}_{i})\mu }{1-\mathfrak{q}_{i}}. $$

Theorem 2.1

Let$f_{1}$and$h_{1}$be two$\mathfrak{q}_{1}$, $\omega _{1}$-integrable functions defined on$[\mu ,\nu ]$, and$f_{1}\leq h_{1}$on$[\mu ,\nu ]$. If$\frac{f_{1}}{h_{1}}$is decreasing, $f_{1}$is increasing on$[\mu ,\nu ]$, then, for any convex functionΘhaving$\varTheta (0)=0$, the inequality

$$ \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ f_{1}(\xi ) ] }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ h_{1}(\xi ) ] } \geq \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ \varTheta ( f_{1}(\xi ) ) ] }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ \varTheta ( h_{1}(\xi ) ) ] } $$

(2.1)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1},>0$, $0<\mathfrak{q}_{1}<1$, and$\omega _{1}\geq 0$.

Proof

Since Θ is convex having $\varTheta (0)=0$, then $\frac{\varTheta (\xi )}{\xi }$ is increasing. This and the fact that $f_{1}(\xi )\leq h_{1}(\xi )$ gives

$$\begin{aligned} \frac{\varTheta (f_{1}(\xi ))}{f_{1}(\xi )}\leq \frac{\varTheta (h_{1}(\xi ))}{h_{1}(\xi )}. \end{aligned}$$

Also, $f_{1}$ and $\frac{\varTheta (\xi )}{\xi }$ are increasing, then the function $\frac{\varTheta (f_{1}(\xi ))}{f_{1}(\xi )}$ is also increasing. Clearly $\frac{f_{1}(\xi )}{h_{1}(\xi )}$ is decreasing. Thus, for all $\lambda ,\rho \in {}[ \mu ,\xi )$, we have

$$ \biggl( \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}- \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )} \biggr) \biggl( \frac{f_{1}(\rho )}{h_{1}(\rho )}-\frac{f_{1}(\lambda )}{h_{1}(\lambda )} \biggr) \geq 0. $$

(2.2)

It follows that

$$ \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )} \frac{f_{1}(\rho )}{h_{1}(\rho )}+\frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )} \frac{f_{1}(\lambda )}{h_{1}(\lambda )}-\frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )} \frac{f_{1}(\rho )}{h_{1}(\rho )}- \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}\frac{f_{1}(\lambda )}{h_{1}(\lambda )}\geq 0. $$

(2.3)

Multiplying (2.3) by $h_{1}(\lambda )h_{1}(\rho )$, we have

$$\begin{aligned}& \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}f_{1}(\rho )h_{1}(\lambda )+ \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}f_{1}(\lambda )h_{1}(\rho ) \\& \quad{} -\frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}f_{1}( \rho )h_{1}( \lambda )- \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}f_{1}(\lambda )h_{1}( \rho )\geq 0. \end{aligned}$$

(2.4)

Multiplying (2.4) by $\frac{ (\xi -{}_{\lambda _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration with respect to λ on $[\mu ,\xi )$, one obtains

$$\begin{aligned}& \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )} f_{1}( \rho )h_{1}(\lambda ) \,d_{\mathfrak{q}_{1},\omega _{1}}\lambda \\& \quad {} + \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}f_{1}(\lambda )h_{1}(\rho ) \,d_{\mathfrak{q}_{1},\omega _{1}} \lambda \\& \quad {} - \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}f_{1}(\rho )h_{1}( \lambda ) \,d_{\mathfrak{q}_{1},\omega _{1}}\lambda \\& \quad {}- \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}f_{1}(\lambda )h_{1}( \rho )\,d_{\mathfrak{q}_{1},\omega _{1}}\lambda \geq 0. \end{aligned}$$

(2.5)

From this it follows that

$$\begin{aligned} & f_{1}(\rho ){}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \biggr) + \biggl( \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}h_{1}(\rho ) \biggr) {}_{\mu } \mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( f_{1}(\xi ) \bigr) \\ &\quad {}- \biggl( \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}f_{1}(\rho ) \biggr) {}_{\mu }\mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( h_{1}(\xi ) \bigr) -h_{1}(\rho ){}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}f_{1}( \xi ) \biggr) \geq 0. \end{aligned}$$

(2.6)

Again, multiplying both sides of (2.6) by $\frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\rho ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\rho \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration with respect to ρ on $[\mu ,\xi )$, one obtains

$$\begin{aligned} & {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( f_{1}(\xi ) \bigr){}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \biggr) +{}_{\mu }\mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \biggr) {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \bigl( f_{1}(\xi ) \bigr) \\ &\quad \geq {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( h_{1}(\xi ) \bigr) {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \bigl( \varTheta \bigl(f_{1}(\xi ) \bigr) \bigr) +{}_{ \mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( \varTheta \bigl(f_{1}(\xi ) \bigr) \bigr) {}^{\varPhi } \mathcal{T}_{0,\xi }^{ \delta ,\varsigma } \bigl( h_{1}(\xi ) \bigr) . \end{aligned}$$

(2.7)

It follows that

$$ \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( f_{1}(\xi ) ) }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( h_{1}(\xi ) )} \geq \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( \varTheta ( f_{1}(\xi ) ) ) }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )} ( h_{1}(\xi ) ) ) }. $$

(2.8)

Now, since $f_{1}\leq h_{1}$ on $[\mu ,\nu ]$ and $\frac{\varTheta (\xi )}{\xi }$ is an increasing function, for $\lambda ,\rho \in {}[ \mu ,\xi )$, we have

$$ \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}\leq \frac{\varTheta ( h_{1}(\lambda ) ) }{ h_{1}(\lambda )}. $$

(2.9)

Multiplying both sides of (2.9) by $\frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration with respect to λ on $[\mu ,\xi )$, one obtains

$$\begin{aligned} & \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )} h_{1}( \lambda )\,d_{\mathfrak{q}_{1},\omega _{1}}\lambda \\ &\quad \leq \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( h_{1}(\lambda ) ) }{h_{1}(\lambda )}h_{1}(\lambda )\,d_{\mathfrak{q}_{1},\omega _{1}} \lambda , \end{aligned}$$

(2.10)

which, in view of (2.7), can be written as

$$ {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \biggr) \leq {}_{\mu } \mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( \varTheta \bigl( h_{1}( \lambda ) \bigr) \bigr) . $$

(2.11)

Hence, from (2.8) and (2.11), we get (2.1). □

Theorem 2.2

Let$f_{1}$and$h_{1}$be two$\mathfrak{q}_{i}$, $\omega _{i}$-integrable functions defined on$[\mu ,\nu ],i=1,2$and$f_{1}\leq h_{1}$on$[\mu ,\nu ]$. If$\frac{f_{1}}{h_{1}}$is decreasing, $f_{1}$is increasing on$[\mu ,\nu ]$, then for any convex functionΘhaving$\varTheta (0)=0$, the inequality

$$ \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ f_{1}(\xi ) ] {}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} [ \varTheta ( h_{1} (\xi ) ) ] +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} [ f_{1}(\xi ) ] {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ \varTheta ( h_{1}(\xi ) ) ] }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ h_{1}(\xi ) ] {}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} [ \varTheta ( f_{1}(\xi ) ) ] +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} [ h_{1}(\xi ) ] {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ \varTheta ( f_{1}(\xi ) ) ] }\geq 1 $$

(2.12)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1},\varrho _{2}>0$, $0<\mathfrak{q}_{i}<1$, and$\omega _{i}\geq 0$, $i=1,2$.

Proof

Since $f_{1}$ is increasing along with the function $\frac{\varTheta (f_{1}(\xi ))}{f_{1}(\xi )}$, using the convexity of Θ having $\varTheta (0)=0$, the function $\frac{\varTheta (\xi )}{\xi }$ is increasing.

Thus, for all $\lambda ,\rho \in [\mu ,\xi )$.

Multiplying (2.6) by $\frac{ (\xi -{}_{\eta _{2}}\psi _{\mathfrak{q}_{2}}(\rho ) )_{\eta _{2}}^{(\varrho _{2}-1)}}{\varGamma _{\mathfrak{q}_{2}}(\varrho _{2})}$, $\rho \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{2}$, $\omega _{2}$-integration with respect to ρ on $[\mu ,\xi )$, one obtains

$$\begin{aligned}& {}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \bigl( f_{1}(\xi ) \bigr){}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \biggr) \\& \qquad{} +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{ \varrho _{2}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \biggr) {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \bigl( f_{1}(\xi ) \bigr) \\& \quad \geq {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \bigl( h_{1}(\xi ) \bigr) {}_{\mu }\mathcal{I}_{ \mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \biggl( \frac{ \varTheta ( f_{1}(\xi ) )}{f_{1}(\xi )}f_{1}(\xi ) \biggr) \\& \qquad{} +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \biggl( \frac{ \varTheta ( f_{1}(\xi ) )}{f_{1}(\xi )}f_{1}(\xi ) \biggr) {}_{\mu } \mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \bigl( h_{1}(\xi ) \bigr) . \end{aligned}$$

(2.13)

Now, since $f_{1}\leq h_{1}$ on $[\mu ,\nu ]$ and $\frac{\varTheta (\xi )}{\xi }$ is an increasing function, for $\lambda ,\rho \in {}[ \mu ,\xi )$, we have

$$ \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}\leq \frac{\varTheta ( h_{1}(\lambda ) ) }{h_{1}(\lambda )}. $$

(2.14)

Multiplying both sides of (2.14) by $\frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration with respect to λ on $[\mu ,\xi )$, one obtains

$$\begin{aligned}& \begin{gathered}[b] \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\lambda ) ) }{ f_{1}(\lambda )}h_{1}(\lambda )\,d_{\mathfrak{q}_{1},\omega _{1}} \lambda \\ \quad \leq \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( h_{1}(\lambda ) ) }{h_{1}(\lambda )}h_{1}(\lambda )\,d_{\mathfrak{q}_{1},\omega _{1}} \lambda , \end{gathered} \end{aligned}$$

(2.15)

which, in view of (2.7), can be written as

$$ {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \biggr) \leq {}_{\mu } \mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \biggl( \frac{ \varTheta ( h_{1}(\xi ) )}{h_{1}(\xi )}h_{1}( \xi ) \biggr) . $$

(2.16)

Hence from (2.11), (2.13), and (2.16), we get our desired result. □

We further have the subsequent main result.

Theorem 2.3

Let$f_{1}$, $h_{1}$, and$\mathcal{W}$be three$\mathfrak{q}_{1}$, $\omega _{1}$-integrable functions defined on$[\mu ,\nu ]$, $i=1,2$, and$f_{1}\leq h_{1}$on$[\mu ,\nu ]$. If$\frac{f_{1}}{h_{1}}$is decreasing, $f_{1}$is increasing on$[\mu ,\nu ]$, then, for any convex functionΘhaving$\varTheta (0)=0$, the inequality

$$ \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ f_{1}(\xi ) ] }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ h_{1}(\xi ) ] } \geq \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ \varTheta ( f_{1}(\xi ) ) \mathcal{W} ( \xi ) ] }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} [ \varTheta ( h_{1}(\xi ) ) \mathcal{W} ( \xi ) ] } $$

(2.17)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1}>0$, $0<\mathfrak{q}_{1}<1$, and$\omega _{1}\geq 0$.

Proof

Since $f_{1}\leq h_{1}$ on $[\mu ,\nu ]$ and $\frac{\varTheta (\xi )}{\xi }$ is an increasing function, for $\lambda ,\rho \in {}[ \mu ,\xi )$, we have

$$ \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}\leq \frac{\varTheta ( h_{1}(\lambda ) ) }{h_{1}(\lambda )}. $$

(2.18)

Multiplying both sides of (2.18) by $\frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}h_{1}( \lambda )\mathcal{W}(\lambda )$, $\lambda \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration with respect to λ on $[\mu ,\xi )$, we get

$$\begin{aligned}& \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\lambda ) ) }{ f_{1}(\lambda )}h_{1}(\lambda )\mathcal{W}(\lambda ) \,d_{\mathfrak{q}_{1}, \omega _{1}}\lambda \\& \quad \leq \int _{\mu }^{\xi } \frac{ (\xi -{}_{\eta _{1}}\psi _{\mathfrak{q}_{1}}(\lambda ) )_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( h_{1}(\lambda ) ) }{h_{1}(\lambda )}h_{1}(\lambda )\mathcal{W}(\lambda ) \,d_{\mathfrak{q}_{1}, \omega _{1}}\lambda , \end{aligned}$$

(2.19)

which, in view of (2.7), can be written as

$$ {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi )\mathcal{W}(\xi ) \biggr) \leq {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( \varTheta \bigl( h_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr) . $$

(2.20)

Also, since Θ is convex with $\varTheta (0)=0$, the function $\frac{\varTheta (\xi )}{\xi }$ is increasing. As $f_{1}$ is increasing, so is the function $\frac{\varTheta (f_{1}(\xi ))}{f_{1}(\xi )}$. Obviously, the function $\frac{f_{1}(\xi )}{h_{1}(\xi )}$ is decreasing for all $\lambda ,\rho \in {}[ \mu ,\xi )$, we have

$$ \biggl( \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}\mathcal{W}(\lambda )- \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )} \mathcal{W}(\rho ) \biggr) \bigl( f_{1}(\rho )h_{1}( \lambda )-f_{1}(\lambda )h_{1}(\rho ) \bigr) \geq 0. $$

(2.21)

It follows that

$$\begin{aligned} &\frac{\varTheta ( f_{1}(\lambda ) ) \mathcal{W}(\lambda )}{f_{1}(\lambda )}f_{1}(\rho )h_{1}(\lambda )+ \frac{\varTheta ( f_{1}(\rho ) ) \mathcal{W}(\rho )}{f_{1}(\rho )}f_{1}( \lambda ) h_{1}(\rho ) \\ &\quad {}- \frac{\varTheta ( f_{1}(\rho ) ) \mathcal{W}(\rho )}{f_{1}(\rho )}f_{1}( \rho )h_{1}( \lambda )- \frac{\varTheta ( f_{1}(\lambda ) ) \mathcal{W}(\lambda )}{f_{1}(\lambda )}f_{1}( \lambda )h_{1}( \rho )\geq 0. \end{aligned}$$

(2.22)

Multiplying (2.22) by $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, one obtains

$$\begin{aligned} & \int _{\mu }^{\xi } \frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}f_{1}(\rho )h_{1}(\lambda ) \mathcal{W}(\lambda )\,d_{ \mathfrak{q}_{1},\omega _{1}}\lambda \\ &\quad {}+ \int _{\mu }^{\xi } \frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}f_{1}(\lambda )h_{1}(\rho ) \mathcal{W}(\rho )\,d_{ \mathfrak{q}_{1},\omega _{1}}\lambda \\ &\quad {}- \int _{\mu }^{\xi } \frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\rho ) )}{f_{1}(\rho )}f_{1}(\rho )h_{1}( \lambda ) \mathcal{W}(\rho )\,d_{\mathfrak{q}_{1},\omega _{1}}\lambda \\ &\quad {}- \int _{\mu }^{\xi } \frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}f_{1}(\lambda )h_{1}(\rho ) \mathcal{W}(\lambda )\,d_{ \mathfrak{q}_{1},\omega _{1}}\lambda \geq 0. \end{aligned}$$

(2.23)

From this it follows that

$$\begin{aligned}& f_{1}(\rho ) {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi ) \mathcal{W}(\xi ) \biggr) \\& \quad{} + \biggl( \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}h_{1}(\rho )\mathcal{W}(\rho ) \biggr) {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( f_{1}( \xi ) \bigr) \\& \quad{} - \biggl( \frac{\varTheta ( f_{1}(\rho ) ) }{f_{1}(\rho )}f_{1}(\rho )\mathcal{W}(\rho ) \biggr) {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( h_{1}( \xi ) \bigr) \\& \quad {}-h_{1}(\rho ) {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}f_{1}(\xi )\mathcal{W}(\xi ) \biggr) \geq 0. \end{aligned}$$

(2.24)

Again, multiplying both sides of (2.24) by $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\rho ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\rho \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to ρ on $[\mu ,\xi )$, one obtains

$$\begin{aligned}& {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( f_{1}(\xi ) \bigr){}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi )\mathcal{W}(\xi ) \biggr) \\& \qquad{} +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi )\mathcal{W}(\xi ) \biggr) {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( f_{1}( \xi ) \bigr) \\& \quad \geq {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( h_{1}(\xi ) \bigr) {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \bigl( \varTheta f_{1}(\xi )\mathcal{W}(\xi ) \bigr) \\& \qquad{} +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \bigl( \varTheta f_{1}(\xi )\mathcal{W}(\xi ) \bigr) {}_{ \mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( h_{1}( \xi ) \bigr) . \end{aligned}$$

(2.25)

It follows that

$$ \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( f_{1}(\xi ) ) }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( f_{1}(\xi ) ) } \geq \frac{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( \varTheta ( f_{1}(\xi ) ) \mathcal{W}(\xi ) ) }{{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} ( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )} ( h_{1}(\xi ) ) \mathcal{W}(\xi ) ) }. $$

(2.26)

Hence from (2.20) and (2.26), we get our required result. □

Theorem 2.4

Let$f_{1}$, $h_{1}$, and$\mathcal{W}$be three$\mathfrak{q}_{i}$, $\omega _{i}$-integrable functions defined on$[\mu ,\nu ],i=1,2$, and$f_{1}\leq h_{1}$on$[\mu ,\nu ]$. If$\frac{f_{1}}{h_{1}}$is decreasing, $f_{1}$is increasing on$[\mu ,\nu ]$, then, for any convex functionΘhaving$\varTheta (0)=0$, the inequality

$$\begin{aligned}& \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl[ f_{1}(\xi ) \bigr] {}_{\mu }\mathcal{I}_{\mathfrak{q}_{2}, \omega _{2}}^{\varrho _{2}} \bigl[ \varTheta \bigl( f_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr] +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{2}, \omega _{2}}^{\varrho _{2}} \bigl[ f_{1}(\xi ) \bigr] {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl[ \varTheta \bigl( f_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr] \bigr) \\& \quad {}\Bigm/ \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}} \bigl[ h_{1}(\xi ) \bigr] {}_{\mu }\mathcal{I}_{ \mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \bigl[ \varTheta \bigl( f_{1}( \xi ) \bigr) \mathcal{W}(\xi ) \bigr] \\& \quad {}+{}_{\mu }\mathcal{I}_{ \mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \bigl[ h_{1}(\xi ) \bigr] {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl[ \varTheta \bigl( f_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr] \bigr)\geq 1 \end{aligned}$$

(2.27)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1},\varrho _{2}>0$, $0<\mathfrak{q}_{i}<1$, and$\omega _{i}\geq 0$, $i=1,2$.

Proof

Multiplying both sides of (2.24) by $\frac{(\xi -{}_{\eta _{2}}\varPsi _{\mathfrak{q}_{2}}(\rho ))_{\eta _{2}}^{(\varrho _{2}-1)}}{\varGamma _{\mathfrak{q}_{2}}(\varrho _{2})}$, $\rho \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{2}$, $\omega _{2}$-integration of the resulting inequality with respect to ρ on $[\mu ,\xi )$, one obtains

$$\begin{aligned} &{}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \bigl( f_{1}(\xi ) \bigr){}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1} (\xi )}h_{1}(\xi )\mathcal{W}(\xi ) \biggr) \\ &\qquad {} +{}_{\mu }\mathcal{I}_{ \mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi )\mathcal{W}(\xi ) \biggr) {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( f_{1}( \xi ) \bigr) \\ &\quad \geq {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( h_{1}(\xi ) \bigr) {}_{\mu }\mathcal{I}_{\mathfrak{q}_{2}, \omega _{2}}^{\varrho _{2}} \bigl( \varTheta \bigl( f_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr) \\ &\qquad {} +{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \bigl( \varTheta \bigl( f_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr) {}_{\mu }\mathcal{I}_{\mathfrak{q}_{2}, \omega _{2}}^{\varrho _{2}} \bigl( h_{1}(\xi ) \bigr) . \end{aligned}$$

(2.28)

Now, since $f_{1}\leq h_{1}$ on $[\mu ,\nu ]$ and $\frac{\varTheta (\xi )}{\xi }$ is an increasing function, for $\lambda ,\rho \in {}[ \mu ,\xi )$, we have

$$ \frac{\varTheta ( f_{1}(\lambda ) ) }{f_{1}(\lambda )}\leq \frac{\varTheta ( h_{1}(\lambda ) ) }{h_{1}(\lambda )}. $$

(2.29)

Multiplying both sides of (2.29) by $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}h_{1}( \lambda )\mathcal{W}(\lambda )$, $\lambda \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, one obtains

$$ {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi )\mathcal{W}(\xi ) \biggr) \leq {}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl( \varTheta \bigl( h_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr) . $$

(2.30)

Similarly, multiplying both sides of (2.29) by $\frac{(\xi -{}_{\eta _{2}}\varPsi _{\mathfrak{q}_{2}}(\rho ))_{\eta _{2}}^{(\varrho _{2}-1)}}{\varGamma _{\mathfrak{q}_{2}}(\varrho _{2})}f_{1}( \rho )\mathcal{W}(\lambda )$, $\rho \in [\mu ,\xi )$ and taking the $\mathfrak{q}_{2}$, $\omega _{2}$-integration of the resulting inequality with respect to ρ on $[\mu ,\xi )$, one obtains

$$ {}_{\mu }\mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \biggl( \frac{\varTheta ( f_{1}(\xi ) ) }{f_{1}(\xi )}h_{1}(\xi )\mathcal{W}(\xi ) \biggr) \leq {}_{\mu } \mathcal{I}_{\mathfrak{q}_{2},\omega _{2}}^{\varrho _{2}} \bigl( \varTheta \bigl( h_{1}(\xi ) \bigr) \mathcal{W}(\xi ) \bigr) . $$

(2.31)

Hence from (2.28), (2.30), and (2.31), we get our desired result. □

3 New estimates for reverse Minkowski inequality by fractional quantum Hahn integral operator

This segment comprises our principal involvement of establishing the proof of the reverse Minkowski inequalities via fractional quantum Hahn integral operator defined in (1.11).

Theorem 3.1

For$p\geq 1$and$\omega _{1}\geq 0$, let$f_{1}$and$h_{1}$be two$\mathfrak{q}_{1}$, $\omega _{1}$-integrable functions defined on$[0,\infty )$such that, for all$\xi >\mu$, ${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}h_{1}^{p}(\xi )<\infty$and${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi )<\infty$. If$0<\theta _{1}\leq \frac{h_{1}(\lambda )}{f_{1}(\lambda )}\leq \theta _{2}$for$\theta _{1},\theta _{2}\in \mathbb{R}^{+}$and for all$\lambda \in [\mu ,\xi ]$, then

$$\begin{aligned}& \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}}+ \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}} \\& \quad \leq \frac{1+\theta _{2}(\theta _{1}+2)}{(\theta _{1}+1)(\theta _{2}+1)} \bigl({}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr)^{\frac{1}{p}} \end{aligned}$$

(3.1)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1}>0$, and$0<\mathfrak{q}_{1}<1$.

Proof

By the suppositions mentioned in Theorem 3.1, $\frac{h_{1}(\lambda )}{f_{1}(\lambda )}\leq \theta _{2}$, $\mu \leq \lambda \leq \xi$, it tends to be composed

$$\begin{aligned} (M+1)^{p}h_{1}^{p}( \lambda )\leq M^{p} \bigl(h_{1}(\lambda )+f_{1}( \lambda ) \bigr)^{p}. \end{aligned}$$

(3.2)

If we multiply both sides of (3.2) with $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and take the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, we obtain

$$\begin{aligned}& \frac{(M+1)^{p}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \int _{\mu }^{\xi } \bigl(\xi -{}_{\eta _{1}} \varPsi _{\mathfrak{q}_{1}}( \lambda ) \bigr)_{\eta _{1}}^{(\varrho _{1}-1)}{h_{1}^{p}( \lambda )}\,d \lambda _{\mathfrak{q}_{1},\omega _{1}} \\& \quad \leq \frac{M^{p}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \int _{\mu }^{\xi } \bigl(\xi -{}_{\eta _{1}} \varPsi _{\mathfrak{q}_{1}}( \lambda ) \bigr)_{\eta _{1}}^{(\varrho _{1}-1)}{ \bigl(h_{1}(\lambda )+f_{1}( \lambda ) \bigr)^{p}}\,d\lambda _{\mathfrak{q}_{1},\omega _{1}}. \end{aligned}$$

(3.3)

Similarly, it can be written as

$$\begin{aligned} \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}}\leq \frac{\theta _{2}}{\theta _{2}+1} \bigl( {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr)^{\frac{1}{p}}. \end{aligned}$$

(3.4)

In contrast, as $mf_{1}(\lambda )\leq h_{1}(\lambda )$, it follows

$$\begin{aligned} \biggl(1+\frac{1}{\theta _{1}} \biggr)^{p}f_{1}^{p}( \lambda )\leq \biggl( \frac{1}{\theta _{1}} \biggr)^{p} \bigl(h_{1}(\lambda )+f_{1}(\lambda ) \bigr)^{p}. \end{aligned}$$

(3.5)

Again, if we multiply both sides of (3.5) with $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and take the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, we obtain

$$\begin{aligned} \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}}\leq \frac{1}{\theta _{1}+1} \bigl({}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr)^{\frac{1}{p}}. \end{aligned}$$

(3.6)

Thus adding (3.4) and (3.6) yields the desired inequality. □

Inequality (3.1) is referred to as the reverse Minkowski inequality by fractional quantum Hahn integral operator.

Theorem 3.2

For$p\geq 1$and$\omega _{1}\geq 0$, let$f_{1}$and$h_{1}$be two$\mathfrak{q}_{1}$, $\omega _{1}$-integrable functions defined on$[0,\infty )$such that, for all$\xi >\mu$, ${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}h_{1}^{p}(\xi )<\infty$and${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi )<\infty$. If$0<\theta _{1}\leq \frac{h_{1}(\lambda )}{f_{1}(\lambda )}\leq \theta _{2}$for$\theta _{1},\theta _{2}\in \mathbb{R}^{+}$and for all$\lambda \in [\mu ,\xi ]$, then the inequality

$$\begin{aligned}& \begin{gathered}[b] \bigl({}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{2}{p}}+ \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi ) \bigr)^{\frac{2}{p}} \\ \quad \leq \biggl(\frac{(\theta _{1}+1)(\theta _{2}+1)}{\theta _{2}}-2 \biggr) \bigl({}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}} \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}}\end{gathered} \end{aligned}$$

(3.7)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1}>0$, and$0<\mathfrak{q}_{1}<1$.

Proof

The product of inequalities (3.4) and (3.6) yields

$$\begin{aligned}& \biggl(\frac{(\theta _{1}+1)(\theta _{2}+1)}{\theta _{2}}-2 \biggr) \bigl( {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}} \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}} \\& \quad \leq \bigl[ \bigl({}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr)^{\frac{1}{p}} \bigr]^{2}. \end{aligned}$$

(3.8)

Now, utilizing the Minkowski inequality to the right-hand side of (3.7), one obtains

$$\begin{aligned}& \bigl[ \bigl({}_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr)^{\frac{1}{p}} \bigr]^{2} \\& \quad \leq \bigl[{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}h_{1}^{p}( \xi ) )^{\frac{1}{p}}+{}_{\mu }\mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi ) )^{ \frac{1}{p}} \bigr]^{2} \\& \quad \leq {}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) )^{\frac{2}{p}}+{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) )^{\frac{2}{p}}+2 \bigl[{}_{ \mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) )^{\frac{1}{p}} \bigr] \bigl[{}_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) )^{\frac{1}{p}} \bigr]. \end{aligned}$$

(3.9)

Thus, from inequalities (3.8) and (3.9), we attain inequality (3.7). □

4 New bounds for reverse Hölder inequality by fractional quantum Hahn integral operator

This section is dedicated to deriving bounds for reverse Hölder inequalities regarding fractional quantum Hahn integral operator.

Theorem 4.1

For$p,q\geq 1$with$\frac{1}{p}+\frac{1}{q}=1$and$\omega _{1}\geq 0$, let$f_{1}$and$h_{1}$be two$\mathfrak{q}_{1}$, $\omega _{1}$-integrable functions defined on$[0,\infty )$such that, for all$\xi >\mu$, ${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}h_{1}^{p}(\xi )<\infty$and${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi )<\infty$. If$0<\theta _{1}\leq \frac{h_{1}(\lambda )}{f_{1}(\lambda )}\leq \theta _{2}$for$\theta _{1},\theta _{2}\in \mathbb{R}^{+}$and for all$\lambda \in [\mu ,\xi ]$, then the inequality

$$\begin{aligned} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}f_{1}^{q}( \xi ) \bigr)^{\frac{1}{q}} \leq \biggl(\frac{\theta _{2}}{\theta _{1}} \biggr)^{\frac{1}{pq}} \bigl(_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{ \frac{1}{p}}( \xi )f_{1}^{\frac{1}{q}}(\xi ) \bigr) \end{aligned}$$

(4.1)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1}>0$, and$0<\mathfrak{q}_{1}<1$.

Proof

Under the given suppositions $\frac{h_{1}(\lambda )}{f_{1}(\lambda )}\leq \theta _{2}$, $r_{1} \leq \eta \leq y$, we have

$$\begin{aligned} f_{1}^{\frac{1}{q}}(\lambda )\geq \theta _{2}^{\frac{-1}{q}}h_{1}^{ \frac{1}{q}}( \lambda ). \end{aligned}$$

(4.2)

Taking product on both sides of (4.2) by $h_{1}^{\frac{1}{p}}(\lambda )$, it follows that

$$\begin{aligned} h_{1}^{\frac{1}{p}}(\lambda )f_{1}^{\frac{1}{q}}(\lambda )\geq \theta _{2}^{\frac{-1}{q}}h_{1}( \lambda ). \end{aligned}$$

(4.3)

If we multiply both sides of (4.3) with $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and take the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, we obtain

$$\begin{aligned}& \frac{\theta _{2}^{\frac{-1}{q}}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \int _{\mu }^{\xi } \bigl(\xi -{}_{\eta _{1}} \varPsi _{\mathfrak{q}_{1}}( \lambda ) \bigr)_{\eta _{1}}^{(\varrho _{1}-1)}{h_{1}( \lambda )\,d\lambda _{ \mathfrak{q}_{1},\omega _{i}}} \\& \quad \leq \frac{1}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \int _{\mu }^{\xi } \bigl(\xi -{}_{\eta _{1}} \varPsi _{\mathfrak{q}_{1}}( \lambda ) \bigr)_{\eta _{1}}^{(\varrho _{1}-1)}{ h_{1}^{\frac{1}{p}}( \lambda )f_{1}^{\frac{1}{q}}( \lambda )\,d\lambda _{\mathfrak{q}_{1}, \omega _{i}}}. \end{aligned}$$

(4.4)

Consequently, we have

$$\begin{aligned} \theta _{2}^{-\frac{1}{pq}} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)^{\frac{1}{p}}\leq \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{ \frac{1}{p}}( \xi )f_{1}^{\frac{1}{q}}(\xi ) \bigr)^{\frac{1}{p}}. \end{aligned}$$

(4.5)

In contrast, as $\theta _{1}f_{1}(\lambda )\leq h_{1}(\lambda )$, therefore we have

$$\begin{aligned} \theta _{1}^{\frac{1}{p}}f_{1}^{\frac{1}{p}}( \lambda )\leq h_{1}^{ \frac{1}{p}}(\lambda ). \end{aligned}$$

(4.6)

Again, if we multiply both sides of (4.6) by $f_{1}^{\frac{1}{q}}(\lambda )$ and invoke the relation $\frac{1}{p}+\frac{1}{q}=1$, it yields

$$\begin{aligned} \theta _{1}^{\frac{1}{p}}f_{1}( \lambda )\leq h_{1}^{\frac{1}{p}}( \lambda )f_{1}^{\frac{1}{q}}( \lambda ). \end{aligned}$$

(4.7)

If we multiply both sides of (4.7) with $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and take the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, we obtain

$$\begin{aligned} \theta _{1}^{\frac{1}{pq}} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}f_{1}( \xi ) \bigr)^{\frac{1}{q}}\leq \bigl(_{ \mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{ \frac{1}{p}}( \xi )f_{1}^{\frac{1}{q}}(\xi ) \bigr)^{\frac{1}{q}}. \end{aligned}$$

(4.8)

Multiplying (4.5) and (4.8), the required inequality (4.1) can be concluded. □

Theorem 4.2

For$p,q\geq 1$with$\frac{1}{p}+\frac{1}{q}=1$and$\omega _{1}\geq 0$, let$f_{1}$and$h_{1}$be two$\mathfrak{q}_{i}$, $\omega _{i}$-integrable functions defined on$[0,\infty )$such that, for all$\xi >\mu$, ${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}h_{1}^{p}(\xi )<\infty$and${}_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{p}( \xi )<\infty$. If$0<\theta _{1}\leq \frac{h_{1}(\lambda )}{f_{1}(\lambda )}\leq \theta _{2}$for$\theta _{1},\theta _{2}\in \mathbb{R}^{+}$and for all$\lambda \in [\mu ,\xi ]$, then the inequality

$$\begin{aligned} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}( \xi )f_{1}(\xi ) \bigr) \leq& \frac{2^{p-1}\theta _{2}^{p}}{p(\theta _{2}+1)^{p}} \bigl(_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl(h_{1}^{p}+f_{1}^{p} \bigr) ( \xi ) \bigr) \\ &{} + \frac{2^{q-1}}{p(\theta _{1}+1)^{p}} \bigl(_{\mu }\mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}} \bigl(h_{1}^{q}+f_{1}^{q} \bigr) ( \xi ) \bigr) \end{aligned}$$

(4.9)

holds for$\xi \in [\mu ,\nu ]$, $\varrho _{1}>0$, and$0<\mathfrak{q}_{1}<1$.

Proof

By the given assumption $\frac{h_{1}(\lambda )}{f_{1}(\lambda )}<\theta _{2}$, we have

$$\begin{aligned} (\theta _{2}+1)^{p}h_{1}^{p}( \lambda )\leq \theta _{2}^{p}(h_{1}+f_{1})^{p}( \lambda ). \end{aligned}$$

(4.10)

If we multiply both sides of (4.10) with $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and take the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, we obtain

$$\begin{aligned}& \begin{gathered}[b] \frac{(\theta _{2}+1)^{p}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \int _{\mu }^{\xi } \bigl(\xi -{}_{\eta _{1}} \varPsi _{\mathfrak{q}_{1}}( \lambda ) \bigr)_{\eta _{1}}^{(\varrho _{1}-1)} {h_{1}^{p}(\lambda )\,d \lambda _{\mathfrak{q}_{1},\omega _{i}}} \\ \quad \leq \frac{\theta _{2}^{p}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})} \int _{\mu }^{\xi } \bigl(\xi -{}_{\eta _{1}} \varPsi _{\mathfrak{q}_{1}}( \lambda ) \bigr)_{\eta _{1}}^{(\varrho _{1}-1)}{(h_{1}+f_{1})^{p}( \lambda )\,d \lambda _{\mathfrak{q}_{1},\omega _{i}}}. \end{gathered} \end{aligned}$$

(4.11)

It follows that

$$\begin{aligned} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)\leq \frac{\theta _{2}^{p}}{(\theta _{2}+1)^{p}} \bigl(_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr). \end{aligned}$$

(4.12)

In contrast, using $0<\theta _{1}\leq \frac{h_{1}(\lambda )}{f_{1}(\lambda )}$, $\mu < \lambda <\xi$, we have

$$\begin{aligned} (\theta _{1}+1)^{q}f_{1}^{q}( \lambda )\leq (h_{1}+f_{1})^{q}(\lambda ). \end{aligned}$$

(4.13)

Again, if we multiply both sides of (4.13) with $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and take the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, we obtain

$$\begin{aligned} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{q}( \xi ) \bigr)\leq \frac{1}{(\theta _{1}+1)^{q}} \bigl(_{\mu } \mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{q}( \xi ) \bigr). \end{aligned}$$

(4.14)

Now, taking into account Young’s inequality, we get

$$\begin{aligned} h_{1}(\lambda )f_{1}( \lambda )\leq \frac{h_{1}^{p}(\lambda )}{p}+ \frac{f_{1}^{q}(\lambda )}{q}. \end{aligned}$$

(4.15)

Now, if we multiply both sides of (4.15) with $\frac{(\xi -{}_{\eta _{1}}\varPsi _{\mathfrak{q}_{1}}(\lambda ))_{\eta _{1}}^{(\varrho _{1}-1)}}{\varGamma _{\mathfrak{q}_{1}}(\varrho _{1})}$, $\lambda \in [\mu ,\xi )$ and take the $\mathfrak{q}_{1}$, $\omega _{1}$-integration of the resulting inequality with respect to λ on $[\mu ,\xi )$, we obtain

$$\begin{aligned} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}f_{1}) ( \xi ) \bigr)\leq \frac{1}{p} \bigl(_{\mu } \mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}}h_{1}^{p}( \xi ) \bigr)+ \frac{1}{q} \bigl(_{ \mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{q}( \xi ) \bigr). \end{aligned}$$

(4.16)

With the aid of (4.12) and (4.14) into (4.16), one obtains

$$\begin{aligned}& \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}f_{1}) ( \xi ) \bigr) \\& \quad \leq \frac{1}{p} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{ \varrho _{1}}h_{1}^{p}( \xi ) \bigr)+ \frac{1}{q} \bigl(_{\mu }\mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}f_{1}^{q}( \xi ) \bigr) \\& \quad \leq \frac{\theta _{2}^{p}}{p(\theta _{2}+1)^{p}} \bigl(_{\mu } \mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr) \\& \qquad {}+ \frac{1}{q(\theta _{1}+1)^{q}} \bigl(_{\mu }\mathcal{I}_{ \mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{q}( \xi ) \bigr). \end{aligned}$$

(4.17)

Using the inequality $(a_{1}+a_{2})^{s}\leq 2^{s-1}(a_{1}^{s}+a_{2}^{s})$, $s>1$, $a_{1},a_{2}>0$, one can obtain

$$\begin{aligned} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{p}( \xi ) \bigr)\leq 2^{p-1} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \bigl(h_{1}^{p}+f_{1}^{p} \bigr) (\xi ) \bigr) \end{aligned}$$

(4.18)

and

$$\begin{aligned} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1},\omega _{1}}^{\varrho _{1}}(h_{1}+f_{1})^{q}( \xi ) \bigr)\leq 2^{q-1} \bigl(_{\mu }\mathcal{I}_{\mathfrak{q}_{1}, \omega _{1}}^{\varrho _{1}} \bigl(h_{1}^{q}+f_{1}^{q} \bigr) (\xi ) \bigr). \end{aligned}$$

(4.19)

Hence the proof of (4.9) can be concluded from (4.17), (4.18), and (4.19) collectively. □

5 Application

This section is devoted to the application of $\mathfrak{q}$, ω-derivative equations concerning the nonlocal $\mathfrak{q}$, ω-integral boundary value problem of nonlinear fractional equations

$$\begin{aligned}& \bigl({}_{\mu }\mathcal{D}_{\mathfrak{q},\omega }^{\varrho _{1}}p \bigr) (\xi )+f_{1} \bigl(\mathfrak{q}\xi +\omega ,p(\mathfrak{q}\xi +\omega ) \bigr)=0, \end{aligned}$$

(5.1)

$$\begin{aligned}& p(\mu )=0,\qquad p(\nu )=\vartheta \bigl({}_{\mu }\mathcal{I}_{ \mathfrak{q},\omega }^{\varrho _{2}}p \bigr) ( \sigma ), \end{aligned}$$

(5.2)

where $\vartheta >0$ is a parameter with the assumption that $f_{1}$ is a real-valued continuous function, where $0<\sigma <1$, $\mathfrak{q}\in (0,1)$, $1\leq \varrho _{1}\leq 3$, $0< \varrho _{2}\leq 3$. Also, ${}_{\mu }\mathcal{D}_{\mathfrak{q},\omega }^{\varrho _{1}}$ denotes the quantum Hahn $\mathfrak{q}$, ω-derivative operator of order $\varrho _{1}$.

Example 5.1

Suppose that a real-valued continuous function u is the unique solution for the boundary value problem

$$\begin{aligned} \bigl({}_{\mu }\mathcal{D}_{{1}/{2},\omega }^{\varrho _{1}}p \bigr) ( \zeta )+u({\zeta }/{2}+\eta )=0,\quad 1\leq \varrho _{1}\leq 3, \end{aligned}$$

with the assumption that $z=\varGamma _{{1}/{2}}(\varrho _{1}+\varrho _{2})(\nu -\mu )_{\eta }^{( \varrho _{1}-1)}-\eta \varGamma _{{1}/{2}}(\varrho _{1})(\sigma -\mu )_{ \eta }^{\varrho _{1}+\varrho _{2}-1}>0$ subject to the boundary condition

$$ p(\mu )=0,\qquad p(\nu )=\vartheta \bigl({}_{\mu } \mathcal{I}_{ \mathfrak{q},\omega }^{\varrho _{2}}p \bigr) (\sigma ),\quad 0< \varrho _{2}\leq 3, 0< \sigma < 1, $$

is given by $p(\zeta )=\int _{\mu }^{\nu }\mathcal{Y} (\zeta ,{}_{\eta } \psi _{{1}/{2}}(\lambda ) )u({\lambda }/{2}+\eta )\,d_{{1}/{2},\omega } \lambda$, $\zeta \in [\mu ,\nu ]$, where

$$\begin{aligned}& \mathcal{Y} \bigl(\zeta ,{}_{\eta }\psi _{{1}/{2}}(\lambda ) \bigr)=y \bigl( \zeta ,{}_{\eta }\psi _{{1}/{2}}(\lambda ) \bigr)+ \frac{\vartheta (\zeta -\mu )^{\varrho _{1}-1}_{\eta }}{z}\mathcal{A} \bigl( \sigma ,{}_{\eta }\psi _{{1}/{2}}(\lambda ) \bigr), \\& y \bigl(\zeta ,{}_{\eta }\psi _{{1}/{2}}(\lambda ) \bigr)= \frac{1}{\varGamma _{1/2}(\varrho _{1})} \textstyle\begin{cases} \frac{(\zeta -\mu )_{\eta }^{(\varrho _{1}-1)}}{(\nu -\mu )_{\eta }^{(\varrho _{1}-1)}}( \nu -{}_{\eta }\psi _{1/2}(\lambda ))_{\eta }^{(\varrho _{1}-1)}-( \zeta -{}_{\eta }\psi _{1/2}(\lambda ))_{\eta }^{(\varrho _{1}-1)}, \\ \quad \mu \leq {}_{\eta }\psi _{1/2}(\lambda )\leq \zeta \leq \nu , \\ \frac{(\zeta -\mu )_{\eta }^{(\varrho _{1}-1)}}{(\nu -\mu )_{\eta }^{(\varrho _{1}-1)}}( \nu -{}_{\eta }\psi _{1/2}(\lambda ))_{\eta }^{(\varrho _{1}-1)},\quad \mu \leq {}_{\eta }\psi _{1/2}(\lambda )\leq \zeta \leq \nu , \end{cases}\displaystyle \\& \mathcal{A} \bigl(\sigma ,{}_{\eta }\psi _{{1}/{2}}( \lambda ) \bigr)= \textstyle\begin{cases} \frac{1}{\varGamma _{1/2}(\varrho _{1})} \frac{(\sigma -\mu )_{\eta }^{(\varrho _{1}-1)}}{(\nu -\mu )_{\eta }^{(\varrho _{1}-1)}}( \nu -{}_{\eta }\psi _{1/2}(\lambda ))_{\eta }^{(\varrho _{1}-1)}-( \sigma -{}_{\eta }\psi _{1/2}(\lambda ))_{\eta }^{(\varrho _{1}-1)}, \\ \quad \mu \leq {}_{\eta }\psi _{1/2}(\lambda )\leq \sigma \leq \nu , \\ \frac{(\sigma -\mu )_{\eta }^{(\varrho _{1}-1)}}{(\nu -\mu )_{\eta }^{(\varrho _{1}-1)}}( \nu -{}_{\eta }\psi _{1/2}(\lambda ))_{\eta }^{(\varrho _{1}-1)},\quad \mu \leq {}_{\eta }\psi _{1/2}(\lambda )\leq \sigma \leq \nu . \end{cases}\displaystyle \end{aligned}$$

Proof

Suppose that the given system has the following solution:

$$\begin{aligned} p(\zeta ) =&a_{1}(\zeta -\mu )_{\eta }^{(\varrho _{1}-1)}+a_{2}( \zeta - \mu )_{\eta }^{(\varrho _{1}-2)} \\ &{}-\frac{1}{\varGamma _{1/2}(\varrho _{1})} \int _{\mu }^{\zeta } \bigl(\zeta -{}_{\eta } \psi _{1/2}(\lambda ) \bigr)_{\eta }^{(\varrho _{1}-1)}u({ \lambda }/{2}+\eta )\,d_{1/2,\omega } \lambda , \end{aligned}$$

(5.3)

where $a_{1}$, $a_{2}$ are free of $\zeta ,\zeta \in [\mu ,\nu ]$. Given that $p(\mu )=0$, we have $a_{2}=0$. Under the boundary condition $p(\nu )=\vartheta ({}_{\mu }\mathcal{I}_{\mathfrak{q},\omega }^{ \varrho _{2}}p )(\sigma )$, we obtain

$$\begin{aligned} a_{1} =&\frac{\varGamma _{1/2}(\varrho _{1}+\varrho _{2})}{z} \biggl\{ \frac{1}{\varGamma _{1/2}(\varrho _{1})} \int _{\mu }^{\nu } \bigl( \nu -{}_{\eta } \psi _{1/2}(\lambda ) \bigr)_{\eta }^{(\varrho _{1}-1)}u({ \lambda }/{2}+\eta )\,d_{1/2,\omega }\lambda \\ &{} -\frac{\vartheta }{\varGamma _{1/2}(\varrho _{1}+\varrho _{2})} \int _{\mu }^{\sigma } \bigl(\sigma -{}_{\eta } \psi _{1/2}( \lambda ) \bigr)_{\eta }^{(\varrho _{1}+\varrho _{2}-1)}u({ \lambda }/{2}+ \eta )\,d_{1/2,\omega }\lambda \biggr\} , \end{aligned}$$

which concludes

$$\begin{aligned} p(\zeta ) =& \frac{\varGamma _{1/2}(\varrho _{1}+\varrho _{2})(\zeta -\mu )_{\eta }^{(\varrho _{1}-1)}}{z} \biggl\{ \frac{1}{\varGamma _{1/2}(\varrho _{1})} \int _{\mu }^{\nu } \bigl(\nu -{}_{\eta } \psi _{1/2}(\lambda ) \bigr)_{\eta }^{(\varrho _{1}-1)}u({ \lambda }/{2}+\eta )\,d_{1/2,\omega }\lambda \\ &{} -\frac{\vartheta }{\varGamma _{1/2}(\varrho _{1}+\varrho _{2})} \int _{\mu }^{\sigma } \bigl(\sigma -{}_{\eta } \psi _{1/2}( \lambda ) \bigr)_{\eta }^{(\varrho _{1}+\varrho _{2}-1)}u({ \lambda }/{2}+ \eta )\,d_{1/2,\omega }\lambda \biggr\} \\ &{} -\frac{1}{\varGamma _{1/2}(\varrho _{1})} \int _{\mu }^{ \zeta } \bigl(\zeta -{}_{\eta } \psi _{1/2}(\lambda ) \bigr)_{\eta }^{(\varrho _{1}-1)}u( \lambda /2+\eta )\,d_{1/2,\omega }\lambda \\ =& \int _{\mu }^{\nu }y \bigl(\zeta ,{}_{\eta } \psi _{1/2}(\lambda ) \bigr)u( \lambda /2+\eta )\,d_{1/2,\omega } \lambda \\ &{} +\frac{\vartheta (\zeta -\mu )_{\eta }^{(\varrho _{1}-1)}}{z} \int _{\mu }^{\nu }\mathcal{A} \bigl(\sigma ,{}_{\eta }\psi _{1/2}( \lambda ) \bigr)u(\lambda /2+\eta ) \,d_{1/2,\omega }\lambda \\ =& \int _{\mu }^{\nu }\mathcal{Y} \bigl(\zeta ,{}_{\eta }\psi _{1/2}( \lambda ) \bigr)u(\lambda /2+\eta ) \,d_{1/2,\omega }\lambda . \end{aligned}$$

 □

6 Conclusion

We suggested in this paper quantum calculus and fractional calculus conditions under which a Hahn integral operator with these new generalizations is reached using the quantum Hahn integral operator strategy. We supposed three various cases in the present research study. First is concerned with convex functions, the second one has identified reverse Minkowski inequalities, and the last one is the reverse Hölder inequalities. In each case, we presented several new generalizations that meet prerequisites and simultaneously are simpler to actualize. It is important that at the limit case, that is, when $\varrho _{1}=1$, $q\rightarrow 1$, and $\omega =0$, we get classical integral inequalities from these quantum Hahn integral operators. It is hence evident that this new approach which we call fractional quantum calculus is better than both quantum and fractional calculus. We presented an example in Riemann–Liouville type $\mathfrak{q}$, ω-derivative in the boundary value problem to show the applicability of the proposed operator. Also, to catch more complexities of the attractors under scrutiny in the present research work, new examinations and applications can be investigated with some positive and new results in different fields of science, optics, and fractal theory. These new investigations will be displayed in future research work being prepared by the scientist of the present paper.