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.
Similar content being viewed by others
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
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
provided that \(h_{1}^{\prime }(0)\) exists for \(\omega =0\), and the forward difference \(\mathcal{D}_{\omega }\) for \(\mathfrak{q}\rightarrow 1\) defined by
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
which states that \(\eta \in [\mu ,\nu ]\) for all consequences of our investigation. The quantum Hahn shifting operator is stated as
It follows that the iterated κ-times quantum shifting is introduced by
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
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
where
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:
Precisely, if \(\alpha \in \mathbb{R}\), then
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
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
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
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:
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
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
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
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
It follows that
Multiplying (2.3) by \(h_{1}(\lambda )h_{1}(\rho )\), we have
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
From this it follows that
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
It follows that
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
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
which, in view of (2.7), can be written as
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
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
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
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
which, in view of (2.7), can be written as
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
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
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
which, in view of (2.7), can be written as
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
It follows that
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
From this it follows that
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
It follows that
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
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
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
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
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
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
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
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
Similarly, it can be written as
In contrast, as \(mf_{1}(\lambda )\leq h_{1}(\lambda )\), it follows
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
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
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
Now, utilizing the Minkowski inequality to the right-hand side of (3.7), one obtains
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
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
Taking product on both sides of (4.2) by \(h_{1}^{\frac{1}{p}}(\lambda )\), it follows that
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
Consequently, we have
In contrast, as \(\theta _{1}f_{1}(\lambda )\leq h_{1}(\lambda )\), therefore we have
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
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
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
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
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
It follows that
In contrast, using \(0<\theta _{1}\leq \frac{h_{1}(\lambda )}{f_{1}(\lambda )}\), \(\mu < \lambda <\xi \), we have
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
Now, taking into account Young’s inequality, we get
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
With the aid of (4.12) and (4.14) into (4.16), one obtains
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
and
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
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
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
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
Proof
Suppose that the given system has the following solution:
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
which concludes
□
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.
References
Liang, S., Samei, M.E.: Some theorems of existence of solutions for fractional hybrid q-difference inclusion. J. Adv. Math. Stud. 12(1), 63–76 (2019)
Liang, S., Samei, M.E.: New approach to solutions of a class of singular fractional q-differential problem via quantum calculus. Adv. Differ. Equ. 2020, 14 (2020). https://doi.org/10.1186/s13662-019-2489-2
Samei, M.E.: Existence of solutions for a system of singular sum fractional q-differential equations via quantum calculus. Adv. Differ. Equ. 2020, 23 (2020). https://doi.org/10.1186/s13662-019-2480-y
Samei, M.E., Ranjbar, G.K., Hedayati, V.: Existence of solutions for equations and inclusions of multi-term fractional q-integro-differential with non-separated and initial boundary conditions. J. Inequal. Appl. 2019, 273 (2019). https://doi.org/10.1186/s13660-019-2224-2
Samei, M.E., Ranjbar, G.K., Hedayati, V.: Existence of solutions for a class of Caputo fractional q-difference inclusion on multifunctions by computational results. Kragujev. J. Math. 45(4), 543–570 (2021)
Hahn, W.: Uber Orthogonalpolynome, die q-Differenzenlgleichungen genugen. Math. Nachr. 2, 4–34 (1949)
Jackson, F.H.: q-Difference equations. Am. J. Math. 32, 305–314 (1910)
Brikshavana, T., Sitthiwirattham, T.: On fractional Hahn calculus. Adv. Differ. Equ. 2017, 354 (2017)
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)
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, Universite Nationale du Benin, Benin (1998)
Kwon, K.H., Lee, D.W., Park, S.B., Yoo, B.H.: Hahn class orthogonal polynomials. Kyungpook Math. J. 38, 259–281 (1998)
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)
Ntouyas, S.K., Samei, M.E.: Existence and uniqueness of solutions for multi-term fractional q-integro- differential equations via quantum calculus. Adv. Differ. Equ. 2019, 475 (2019). https://doi.org/10.1186/s13662-019-2414-8
Tariboon, J., Ntouyas, S.K., Agarwal, P.: New concepts of fractional quantum calculus and applications to impulsive fractional q-difference equations. Adv. Differ. Equ. 2015, Article ID 18 (2015). https://doi.org/10.1186/s13662-014-0348-8
Tariboon, J., Ntouyas, S.K., Sudsutad, W.: New concepts of Hahn calculus and impulsive Hahn difference equations. Adv. Differ. Equ. 2016, 255 (2016)
Wang, Y., Liu, Y., Hou, C.: New concepts of fractional Hahn’s \(\mathfrak{q}\), ω-derivative of Riemann-Liouville type and Caputo type and applications. Adv. Differ. Equ. 2018, 292 (2018)
Baleanu, D., Jafari, H., Khan, H., Johnston, S.J.: Results for mild solution of fractional coupled hybrid boundary value problems. Open Math. 13(1), 601–608 (2015)
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)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Liu, W., Ngo, Q.-A., Huy, V.N.: Several interesting integral inequalities. J. Math. Inequal. 3(2), 201–212 (2009)
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)
Khan, H., Abdeljawad, T., Tunç, C., Alkhazzan, A., Khan, A.: Minkowski’s inequality for the AB-fractional integral operator. J. Inequal. Appl. 2019, 96 (2019). https://doi.org/10.1186/s13660-019-2045-3
Khan, H., Tunc, C., Baleanu, D., Khan, A., Alkhazzan, A.: Inequalities for n-class of functions using the Saigo fractional integral operator. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113, 2407–2420 (2019)
Khan, H., Tunc, C., Khan, A.: Green function’s properties and existence theorems for nonlinear singular-delay-fractional differential equations. Discrete Contin. Dyn. Syst., Ser. S (2020). https://doi.org/10.3934/dcdss.2020139
Khan, H., Khan, A., Abdeljawad, T., Alkhazzan, A.: Existence results in Banach space for a nonlinear impulsive system. Adv. Differ. Equ. 2019, 18 (2019)
Khan, H., Khan, A., Chen, W., Shah, K.: Stability analysis and a numerical scheme for fractional Klein–Gordon equations. Math. Methods Appl. Sci. 42(2), 723–732 (2018)
Brahim, K., Taf, S., Nefzi, B.: New integral inequalities in quantum calculus. Int. J. Anal. Appl. 7, 50–58 (2015)
Bougoffa, L.: On Minkowski and Hardy integral inequalities. J. Inequal. Pure Appl. Math. 7(2), Article ID 60 (2006)
Dahmani, Z.: On Minkowski and Hermite-Hadamard integral inequalities via fractional integral. Ann. Funct. Anal. 1, 51–58 (2010)
Rashid, S., Jarad, F., Noor, M.A.: Gruss-type integrals inequalities via generalized proportional fractional operators. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 93 (2020). https://doi.org/10.1007/s13398-020-00823-5
Rashid, S., Jarad, F., Noor, M.A., Kalsoom, H., Chu, Y.-M.: Inequalities by means of generalized proportional fractional integral operators with respect to another function. Mathematics 7, 1225 (2020). https://doi.org/10.3390/math7121225
Rashid, S., Kalsoom, H., Hammouch, Z., Ashraf, R., Baleanu, D., Chu, Y.-M.: New multi-parametrized estimates having pth-order differentiability in fractional calculus for predominating h-convex functions in Hilbert space. Symmetry 12(2), 222 (2020). https://doi.org/10.3390/sym12020222
Rashid, S., Latif, M.A., Hammouch, Z., Chu, Y.-M.: Fractional integral inequalities for strongly h-preinvex functions for a kth order differentiable functions. Symmetry 11, 1448 (2019). https://doi.org/10.3390/sym11121448
Rashid, S., Noor, M.A., Noor, K.I., Chu, Y.-M.: Ostrowski type inequalities in the sense of generalized K-fractional integral operator for exponentially convex functions. AIMS Math. 5(3), 2629–2645 (2020). https://doi.org/10.3934/math.2020171
Adil Khan, M., Begum, S., Khurshid, Y., Chu, Y.-M.: Ostrowski type inequalities involving conformable fractional integrals. J. Inequal. Appl. 2018, Article ID 70 (2018)
Adil Khan, M., Chu, Y.-M., Kashuri, A., Liko, R., Ali, G.: Conformable fractional integrals versions of Hermite–Hadamard inequalities and their generalizations. J. Funct. Spaces 2018, Article ID 6928130 (2018)
Adil Khan, M., Iqbal, A., Suleman, M., Chu, Y.-M.: Hermite–Hadamard type inequalities for fractional integrals via Green’s function. J. Inequal. Appl. 2018, Article ID 161 (2018)
Adil Khan, M., Khurshid, Y., Du, T.-S., Chu, Y.-M.: Generalization of Hermite–Hadamard type inequalities via conformable fractional integrals. J. Funct. Spaces 2018, Article ID 5357463 (2018)
Khurshid, Y., Adil Khan, M., Chu, Y.-M., Khan, Z.A.: Hermite–Hadamard–Fejér inequalities for conformable fractional integrals via preinvex functions. J. Funct. Spaces 2019, Article ID 3146210 (2019)
Asawasamrit, S., Sudprasert, C., Ntouyas, S.K., Tariboon, J.: Some results on quantum Hahn integral inequalities. J. Inequal. Appl. 2019, 54 (2019)
Acknowledgements
None.
Availability of data and materials
None
Funding
None
Author information
Authors and Affiliations
Contributions
All authors contributed equally. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rashid, S., Hammouch, Z., Ashraf, R. et al. New quantum estimates in the setting of fractional calculus theory. Adv Differ Equ 2020, 383 (2020). https://doi.org/10.1186/s13662-020-02843-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02843-2