A Comprehensive Review of the Hermite–Hadamard Inequality Pertaining to Quantum Calculus

Abstract

A review of results on Hermite–Hadamard (H-H) type inequalities in quantum calculus, associated with a variety of classes of convexities, is presented. In the various classes of convexities this includes classical convex functions, quasi-convex functions, p-convex functions, $(p,s)$-convex functions, modified $(p,s)$-convex functions, $(p,h)$-convex functions, $tgs$-convex functions, $\eta$-quasi-convex functions, $\varphi$-convex functions, $(\alpha ,m)$-convex functions, $\varphi$-quasi-convex functions, and coordinated convex functions. Quantum H-H type inequalities via preinvex functions and Green functions are also presented. Finally, H-H type inequalities for $(p,q)$-calculus, h-calculus, and $(q-h)$-calculus are also included.

1. Introduction

The term Quantum Calculus in mathematics describes a form of calculus that proceeds without the concept of a limit. It is also referred to as q-calculus and is essentially constructed around the concept of finite difference re-scaling. It was first addressed at the beginning of the 18th century. Euler first developed the q-calculus and Jackson first presented the q-integral and q-derivative in Ref. [1] (see also Ref. [2]). There are many implementations of q-calculus in physics and mathematics, including orthogonal polynomials, quantum theory, mechanics, number theory, combinatorics, fundamental hypergeometric functions, and theory of relativity. For examples, see Refs. [3,4,5,6,7]. The basic understanding in addition to the underlying ideas of quantum theory are discussed and explored in the famous book by Cheung and Kac [8].

Tariboon and Ntouyas [9] created an entirely novel field of study, acquired numerous q-analogues of classical mathematical objects, and presented the notions of quantum calculus on finite intervals. They have, for example, extended some prominent integral inequalities to the q-calculus. This stimulated other investigators and, as a result, multiple innovative results via quantum equivalents of classical mathematical results were put forward in the literature.

In the domain of applied mathematics, fractional calculus encompasses the investigation and implementation of arbitrary order integrals and derivatives. Tariboon et al. [10] investigated a new operator, namely q-shifting operator ${}_{x_1}{\mathsf{\Phi }}_q\left(m\right)=qm+(1-q)x_1$ for analyzing new ideas related to fractional q-calculus. In addition, since numerous inequalities are crucial for mathematical analysis, which depends on inequalities, Tariboon et al. examined and discussed some q-integral inequalities in the frame of fractional calculus such as the q-Korkine equality, the q-Grüss, the q-Hölder, the fractional q-H-H, the q-Polya–Szeqö, and the q-Grüss–Chebyshev integral inequality on finite intervals. For details, see the monograph [11].

The $(p,q)$-calculus is an extended form of q-calculus. This calculus has a lot of importance and plays remarkable roles in physics and applied mathematics such as dynamical systems, mechanics, special functions, combinatorics, fractals, and number theory. In case of p$=1,$ this calculus collapses to the q-calculus.

Due to its numerous implementations in physics and mathematics, mathematical inequalities have significant implications in both of these fields. Convex functions are among the most important functions that have been utilized to analyze numerous intriguing inequalities, which is defined as:

Definition 1.

A function $\pi :I\to \mathbb{R}$ is called convex, if

$$\pi (\theta x_1+(1-\theta )x_2)\le \theta \pi \left(x_1\right)+(1-\theta )\pi \left(x_2\right)$$

for all $x_1,x_2\in I$ and $\theta \in [0,1].$

Hermite [12] and Hadamard [13] first introduced and investigated the H-H inequality. This inequality is considered one of the most important concepts in applied and pure mathematics, with diverse and significant applications. It holds a prominent place in the study of convexity and is widely recognized for its geometrical interpretation. The H-H inequality has been extensively explored in the literature, highlighting its importance and unique properties. Numerous scholars have contributed various ideas in the field of inequalities. Due to its widespread perspective in the field of science, this inequality has become a dynamic and highly intriguing topic, and it has been extensively discussed in the context of convex functions. This inequality states that if real valued function $\pi$ is convex on I and $x_1,x_2\in I$ with $x_1<x_2,$ then

$$\pi \left(\frac{x_1+x_2}{2}\right)\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right)dx\le \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}.$$

(1)

Dragomir and Aqarwal presented the following inequality associated with the right part of (1).

Theorem 1

([14]). Let $\pi :I^{\circ }\subset \mathbb{R}$ be a differentiable mapping on $I^{\circ },$ (the interior of an interval I), $x_1,x_2\in I^{\circ }$ with $x_1<x_2.$ If $|{\pi }^{\prime }|$ is convex on $[x_1,x_2],$ then

$$|\frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right)dx|\le \frac{(x_2-x_1)}{8}\left(\right|{\pi }^{\prime }\left(x_1\right)|+|{\pi }^{\prime }\left(x_2\right)\left|\right).$$

(2)

The goal of this study is to provide an in-depth and current overview of H-H-type inequalities for various types of convexities in the frame of quantum calculus. In each part and subsection, we initially describe the fundamental definitions of various types of convexities and quantum calculus, followed by the results on H-H inequalities. We anticipate that compiling practically all current H-H-type inequalities in one file will assist new researchers in the field in learning about prior work on the topic before creating new findings.

This survey is devoted to reviewing the results on H-H type inequalities in quantum calculus, which is associated with a variety of classes of convexities. This review article is constructed in the following manner. In Section 2 we introduce the reader to the basic concepts of q-calculus and summarize quantum H-H inequalities for many classes of convexities, including classical convex functions, quasi-convex functions, p-convex functions, $(p,s)$-convex functions, modified $(p,s)$-convex functions, $(p,h)$-convex functions, $tgs$-convex functions, $\eta$-quasi-convex functions, $\varphi$-convex functions, $(\alpha ,m)$-convex functions, $\varphi$-quasi-convex functions, and coordinated convex functions. Quantum H-H type inequalities via preinvex functions and Green functions are also presented. In Section 3, we present H-H inequalities via fractional quantum calculus, while in Section 4 we consider H-H inequalities regarding $(p,q)$-calculus. In Section 5, we include results for h-calculus and finally, in Section 6, we present the results on $q-h$-calculus.

It is crucial to consider that the primary goal of this review paper is to provide insight into the current state of the field, address evident gaps, highlight essential research, and potentially establish consensus in areas where it has not yet been achieved. The goal of this review paper is to provide a concise overview of the most recent advances in a specific field, namely convex analysis in the context of quantum calculus. Overall, the present level of knowledge on convexity is summarized in this review paper. It helps the reader comprehend the topic by discussing the findings reported in current research documents. The incorporation of relevant results is essential to demonstrate the progress in the field, as our goal is to present a more comprehensive and accurate review. However, lengthy proofs are excluded from this paper, and readers are instead directed to the respective article for more detailed information.

2. H-H Type Inequalities via Quantum Calculus

Here, we add some fundamental concepts of q-calculus.

Definition 2

([1]). Assume that $0<q<1$ and π is a function defined on a q-geometric set $I,$ i.e., $qt\in I,$ $\forall t\in I.$ Then the q-derivative is defined as

$$D_q\pi \left(t\right)=\frac{\pi \left(t\right)-\pi \left(qt\right)}{(1-q)t},t\in I\setminus \left\{0\right\},D_q\pi \left(0\right)=\underset{t\to 0}{lim}{D}_q\pi \left(t\right).$$

For $t\ge 0$ we set $J_t=\left\{t{q}^n:n\in \mathbb{N}\cup \left\{0\right\}\right\}\cup \left\{0\right\}$ and define the definite q-integral of a function $\pi :J_t\to \mathbb{R}$ by

$$I_q\pi \left(t\right)={\int }_0^t\pi \left(s\right)d_{q}s=\sum _{n=0}^{\infty }t(1-q)q^n\pi \left(t{q}^n\right)$$

provided that the series converges.

Now we extend the notions of the q-integral and q-derivative on finite intervals.

Definition 3

([15]). Assume that function $\pi :[x_1,x_2]\to \mathbb{R}$ is continuous. Then

$${\displaystyle {}_{x_1}{D}_q\pi \left(t\right)=\frac{\pi \left(t\right)-\pi (qt+(1-q)x_1)}{(1-q)(t-x_1)},t\ne x_1,{}_{x_1}{D}_q\pi \left(x_1\right)=\underset{t\to a}{lim}{}_{x_1}{D}_q\pi \left(t\right),}$$

is called the $q_{x_1}$-derivative of π at $t\in [x_1,x_2].$

Definition 4

([15]). The q-integral states that

$${\int }_{x_1}^t\pi \left(s\right)d_{q}s=(1-q)(t-x_1)\sum _{n=0}^{\infty }{q}^n\pi (q^{n}t+(1-q^n)x_1)$$

for $t\in I$, where π is a real-valued continuous function.

Quantum H-H type inequalities for $q_{x_1}$-integral and a variety of convex functions

In the following theorems we present quantum H-H type inequalities for many kinds of convex function. We start with results on classical convex and quasi-convex functions.

Definition 5

([16]). A real-valued function π is called quasi-convex, if

$$\pi (\theta x_1+(1-\theta )x_2)\le max\{\pi \left(x_1\right),\pi \left(x_2\right)\},$$

for all $x_1,x_2\in I$ and $\theta \in [0,1].$

Theorem 2

([17]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be differentiable and convex on $(x_1,x_2)$ and $0<q<1.$ Then

$$\pi \left(\frac{q{x}_1+x_2}{1+q}\right)\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}_{x_1}{d}_{q}t\le \frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}.$$

Note that when $q\to 1-$ the above inequality is reduced to classical H-H inequality (1).

Theorem 3

([17]). Assume that π is as in Theorem 2. Then we have

$$max\{I_1,I_2\}\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}_{x_1}{d}_{q}t\le \frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q},$$

where

$$\begin{array}{ccc}\hfill I_1& =& \pi \left(\frac{x_1+q{x}_2}{1+q}\right)+\frac{(1-q)(x_2-x_1)}{1+q}{\pi }^{\prime }\left(\frac{x_1+q{x}_2}{1+q}\right)\hfill \\ \hfill I_2& =& \pi \left(\frac{x_1+x_2}{2}\right)+\frac{(1-q)(x_2-x_1)}{2(1+q)}{\pi }^{\prime }\left(\frac{x_1+x_2}{2}\right).\hfill \end{array}$$

Theorem 4

([17]). Assume that function $\pi :[x_1,x_2]\to \mathbb{R}$ is q-differentiable on $(x_1,x_2)$, ${}_{x_1}{D}_q\pi$ is integrable and continuous on $[x_1,x_2]$ and $0<q<1.$ If $|{}_{x_1}{D}_q\pi |$ is convex on $[x_1,x_2]$, then

$$\begin{array}{ccc}& & |\pi \left(\frac{q{x}_1+x_2}{1+q}\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}_{x_1}{d}_{q}t|\hfill \\ & \le & q(x_2-x_1)\left[|{}_{x_1}{D}_q\pi \left(x_2\right)|\frac{3}{{(1+q)}^3(1+q+q^2)}+|{}_{x_1}{D}_q\pi \left(x_1\right)|\frac{-1+2q+2q^2}{{(1+q)}^3(1+q+q^2)}\right].\hfill \end{array}$$

Theorem 5

([17]). Assume that π is as in Theorem 4. If $|{}_{x_1}{D}_q{\pi |}^r$ is convex on $[x_1,x_2]$ for $r\ge 1,$ then

$$\begin{array}{ccc}& & |\pi \left(\frac{q{x}_1+x_2}{1+q}\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}_{x_1}{d}_{q}t|\hfill \\ & \le & q(x_2-x_1)\frac{1}{{(1+q)}^{3-\frac{3}{r}}}\left[\right({|{}_{x_1}{D}_q\pi \left(x_2\right)|}^r\frac{1}{{(1+q)}^3(1+q+q^2)}\hfill \\ & & +|{}_{x_1}{D}_q\pi \left(x_1\right){|}^r\frac{q}{{(1+q)}^2(1+q+q^2)}{)}^{\frac{1}{r}}({|{}_{x_1}{D}_q\pi \left(x_2\right)|}^r\frac{2}{{(1+q)}^3(1+q+q^2)}\hfill \\ & & +|{}_{x_1}{D}_q\pi \left(x_1\right){|}^r\frac{-1+q+q^2}{{(1+q)}^3(1+q+q^2)}{)}^{\frac{1}{r}}].\hfill \end{array}$$

Theorem 6

([17]). Assume that π is as in Theorem 4. If $|{}_{x_1}{D}_q{\pi |}^r$ is quasi-convex on $[x_1,x_2]$ for $r>1,$ then

$$\begin{array}{ccc}& & |\pi \left(\frac{q{x}_1+x_2}{1+q}\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}_{x_1}{d}_{q}t|\hfill \\ & \le & q(x_2-x_1)sup\left\{\right|{}_{x_1}{D}_q\pi \left(x_1\right)|,|{}_{x_1}{D}_q\pi \left(x_2\right)\left|\right\}[{\left(\frac{1}{{(1+q)}^{s+1}}\frac{1-q}{1-q^{s+1}}\right)}^{\frac{1}{s}}{\left(\frac{1}{1+q}\right)}^{\frac{1}{r}}\hfill \\ & & +{\left({\int }_{\frac{1}{1+q}}^1{\left(\frac{1}{q}-t\right)}^s{}_0{d}_{q}t\right)}^{\frac{1}{s}}{\left(\frac{q}{1+q}\right)}^{\frac{1}{r}}],\hfill \end{array}$$

where ${\displaystyle \frac{1}{r}+\frac{1}{s}=1.}$

Theorem 7

([18]). Let function $\pi :I=[x_1,x_2]\subset \mathbb{R}\to \mathbb{R}$ be a twice q-differentiable on $I^{\circ }$ with ${}_{x_1}{D}_q^2\pi$ be integrable and continuous on I where $0<q<1.$ If ${|}_{x_1}{D}_q^2{\pi |}^r$ is convex on $[x_1,x_2]$ where $r\ge 1,$ then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{{(1+q)}^{2-\frac{1}{r}}}((1-q)\sum _{n=0}^{\infty }(q^{2n}-q^{3n}){(1-q^{n+1})}^r{{|}_{x_1}{D}_q^2\pi \left(x_1\right)|}^r\hfill \\ & & +(1-q)\sum _{n=0}^{\infty }(q^{3n}{(1-q^{n+1})}^r{{|}_{x_1}{D}_q^2\pi \left(x_2\right)|}^r{)}^{\frac{1}{r}}.\hfill \end{array}$$

Theorem 8

([18]). Assume that π is as in Theorem 7. If ${|}_{x_1}{D}_q^2{\pi |}^r$ is convex on $[x_1,x_2]$, then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{1+q}{\left[(1-q)\sum _{n=0}^{\infty }{q}^{2n}{(1-q^{n+1})}^p\right]}^{\frac{1}{p}}{\left(\frac{q^2{|}_{x_1}{D}_q^2\pi \left(x_1\right){|}^r+(1+q){{|}_{x_1}{D}_q^2\pi \left(x_2\right)|}^r}{(1+q)(1+q+q^2)}\right)}^{\frac{1}{r}},\hfill \end{array}$$

where $p,r>1,$ ${\displaystyle \frac{1}{p}+\frac{1}{r}=1}$.

Theorem 9

([19]). Assume that π is as in Theorem 7. If ${|}_{x_1}{D}_q^2{\pi |}^r$ is quasi-convex on $[x_1,x_2]$, then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{1+q}{\left(\frac{1}{1+q}\right)}^{1-\frac{1}{r}}{\left((1-q)\sum _{n=0}^{\infty }{q}^{2n}{(1-q^{n+1})}^{r}sup\left\{{|}_{x_1}{D}_q^2\pi \left(x_1\right){|}^r,{{|}_{x_1}{D}_q^2\pi \left(x_2\right)|}^r\right\}\right)}^{\frac{1}{r}},\hfill \end{array}$$

for $r\ge 1.$

Theorem 10

([19]). Assume that π is as in Theorem 7. If ${|}_{x_1}{D}_q^2{\pi |}^r$ is quasi-convex on $[x_1,x_2]$, then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{1+q}{\left((1-q)\sum _{n=0}^{\infty }{q}^{2n}{(1-q^{n+1})}^p\right)}^{\frac{1}{p}}{\left(\frac{sup\left\{{|}_{x_1}{D}_q^2\pi \left(x_1\right){|}^r,{{|}_{x_1}{D}_q^2\pi \left(x_2\right)|}^r\right\}}{1+q}\right)}^{\frac{1}{r}},\hfill \end{array}$$

where $p,r>1,$ ${\displaystyle \frac{1}{p}+\frac{1}{r}=1.}$

Theorem 11

([20]). Let function $\pi :I\subset \mathbb{R}\to \mathbb{R}$ be q-differentiable on the interior $I^{\circ }$ with ${}_{x_1}{D}_q$ be integrable and continuous on I. If ${|}_{x_1}{D}_q{|}^r$ is convex, then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi {\left(x\right)}_{x_1}{d}_{q}x-\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}|\hfill \\ & \le & \frac{q(x_2-x_1)}{1+q}{\left(\frac{q(2+q+q^3)}{{(1+q)}^3}\right)}^{1-\frac{1}{r}}[\frac{q(1+4q+q^2)}{(1+q+q^2){(1+q)}^3}{{|}_{x_1}{D}_q\pi \left(x_1\right)|}^r\hfill \\ & & +\frac{q(1+3q^2+2q^3)}{(1+q+q^2){(1+q)}^3}{{|}_{x_1}{D}_q\pi \left(x_2\right)|}^r{]}^{\frac{1}{r}},\hfill \end{array}$$

where $0<q<1$ and $r\ge 1$.

Theorem 12

([20]). Assume that π is as in Theorem 11. If function ${|}_{x_1}{D}_q{|}^r,$ $r\ge 1$ is convex, then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi {\left(x\right)}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q(x_2-x_1)}{1+q}{\left(\frac{q(2+q+q^3)}{{(1+q)}^3}\right)}^{\frac{1}{p}}[\frac{q(1+4q+q^2)}{(1+q+q^2){(1+q)}^3}{{|}_{x_1}{D}_q\pi \left(x_1\right)|}^r\hfill \\ & & +\frac{q(1+3q^2+2q^3)}{(1+q+q^2){(1+q)}^3}{{|}_{x_1}{D}_q\pi \left(x_2\right)|}^r{]}^{\frac{1}{r}},\hfill \end{array}$$

where $p,r>1,$ ${\displaystyle \frac{1}{p}+\frac{1}{r}=1}$.

Theorem 13

([20]). Assume that π is as in Theorem 11. If function ${|}_{x_1}{D}_q{|}^r,$ $r\ge 1$ is quasi-convex, then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi {\left(x\right)}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q(x_2-x_1)}{1+q}{\left(\frac{q(2+q+q^3)}{{(1+q)}^3}\right)}^{\frac{1}{p}}{\left[\frac{q(2+q+q^3)}{{(1+q)}^3}{[sup\{|}_{x_1}{D}_q\pi \left(x_1\right){|,|}_{x_1}{D}_q\pi \left(x_2\right)\left|\right\}]\right]}^{\frac{1}{r}},\hfill \end{array}$$

where $p,r>1,$ ${\displaystyle \frac{1}{p}+\frac{1}{r}=1}$.

Theorem 14

([20]). Assume that π is as in Theorem 11. If function ${|}_{x_1}{D}_q{|}^r,$ is quasi-convex, then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi {\left(x\right)}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2(x_2-x_1)(2+q+q^3)}{{(1+q)}^4}{\left[sup\left\{{|}_{x_1}{D}_q\pi \left(x_1\right)\right|,{|}_{x_1}{D}_q\pi \left(x_2\right)\left|\right\}]\right]}^{\frac{1}{r}},\hfill \end{array}$$

where $r>1$.

Theorem 15

([21]). Assume that real-valued function π is continuous on $I.$ If ${|}_{x_1}{D}_q\pi |$ is convex and integrable on $I^{\circ },$ then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2(x_2-x_1)}{(1+q+q^2){(1+q)}^4}\left[(1+4q+q^2){|}_{x_1}{D}_q\pi \left(x_2\right)|+q(1+3q^2+2q^3){|}_{x_1}{D}_q\pi \left(x_1\right)|\right].\hfill \end{array}$$

Theorem 16

([21]). Assume that $\pi :I=[x_1,x_2]\to \mathbb{R}$ is continuous. If ${|}_{x_1}{D}_q{\pi |}^r$ is convex and integrable on $I^{\circ },$ then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2(2+q+q^2)(x_2-x_1)}{{(1+q)}^4}{\left[\frac{(1+4q+q^2){|}_{x_1}{D}_q\pi \left(x_2\right){|}^r+(1+3q^2+2q^3){{|}_{x_1}{D}_q\pi \left(x_1\right)|}^r}{(1+q+q^2)(2+q+q^3)}\right]}^{\frac{1}{r}},\hfill \end{array}$$

where $r\ge 1$.

We continue with quantum H-H type inequalities for s-convex functions in the second sense.

Definition 6

([22]). A real-valued function π on $[0,\infty )$ is s-convex in the second sense if

$$\pi (\lambda x+(1-\lambda )y)\le {\lambda }^s\pi \left(x\right)+{(1-\lambda )}^s\pi \left(y\right),$$

for all $x,y\in [0,\infty ),$ $\lambda \in [0,1]$ and $s\in (0,1].$

Theorem 17

([23]). Let $\pi :[0,\infty )\to [0,\infty )$ be a continuous function which is s-convex in the second sense, $s>0,$ $0<q<1.$ If $x_1,x_2\in [0,\infty ),$ $x_1<x_2$ and π is q-differentiable on $[x_1,x_2],$ then

$$\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x\le \left[(1-q)\sum _{n=0}^{\infty }{q}^n{(1-q^n)}^s\right]\pi \left(x_1\right)+\left[(1-q)\sum _{n=0}^{\infty }{\left(q^{s+1}\right)}^n\right]\pi \left(x_2\right).$$

Theorem 18

([23]). Suppose that for $\pi :[x_1,x_2]\to \mathbb{R}$ the q-derivative exists on $(x_1,x_2)$ with $[0,\infty )\subset (x_1,x_2).$ If ${}_{x_1}{D}_q\pi$ is continuous and q-integrable on $[x_1,x_2],$ $x_1,x_2\in [0,\infty ),$ $x_1<x_2,$ $0<q<1$ and ${|}_{x_1}{D}_q{\pi |}^r$ is s-convex in the second sense, with $r\ge 1,$ then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi {\left(x\right)}_{x_1}{d}_{q}x-\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}|\hfill \\ & \le & \frac{q(x_2-x_1)}{1+q}{\left[\frac{2q}{{(1+q)}^2}\right]}^{1-\frac{1}{r}}{\left[I_1{(q,s)|}_{x_1}{D}_q\pi \left(x_1\right){|}^r+I_2(q,s){{|}_{x_1}{D}_q\pi \left(x_2\right)|}^r\right]}^{\frac{1}{r}},\hfill \end{array}$$

where

$$\begin{array}{ccc}\hfill I_1(q,s)& =& 2\frac{1-q}{1+q}\sum _{n=0}^{\infty }{q}^n(1-q^n){\left(1-\frac{q^n}{1+q}\right)}^s+(1-q)\sum _{n=0}^{\infty }{q}^n((1+q)q^n-1){(1-q^n)}^s,\hfill \\ \hfill I_2(q,s)& =& 2\frac{1-q}{1+q}\sum _{n=0}^{\infty }{q}^n(1-q^n){\left(\frac{q^n}{1+q}\right)}^s+(1-q)\sum _{n=0}^{\infty }{q}^n[(1+q)q^n-1)q^{ns}].\hfill \end{array}$$

Results of the q-H–H type inequalities for differentiable convex functions with a critical point are included in the next theorems.

Theorem 19

([24]). Assume that function $\pi :[x_1,x_2]\to \mathbb{R}$ is differentiable convex on $(x_1,x_2)$ and ${\pi }^{\prime }\left(c\right)=0$, for $0<q<1$ and $c\in (x_1,x_2)$. Then

$$max\{I_1,I_2,\}\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x\le \frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q},$$

where

$$\begin{array}{ccc}\hfill I_1& =& \pi \left(\frac{q(x_1+c)+(1-q)x_2}{1+q}\right)+{\pi }^{\prime }\left(\frac{q(x_1+c)+(1-q)x_2}{1+q}\right)\left(\frac{q(x_2-c)}{1+q}\right),\hfill \\ \hfill I_2& =& \pi \left(\frac{(1-q)x_1+q(c+x_2)}{1+q}\right)+{\pi }^{\prime }\left(\frac{(1-q)x_1+q(c+x_2)}{1+q}\right)\left(\frac{q(2x_1-x_2-c)+x_2-x_1}{1+q}\right).\hfill \end{array}$$

In the following we state results on H-H type quantum inequalities based on $tgs$-convex functions.

Definition 7

([25]). The non-negative real-valued function π is $tgs$-convex function on $I,$ if

$$\pi ((1-\theta )x_1+\theta x_2)\le \theta (1-\theta )[\pi \left(x_1\right)+\pi \left(x_2\right)],\forall x_1,x_2\in I,\theta \in [0,1].$$

Theorem 20

([26]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be $tgs$-convex. Then

$$2\pi \left(\frac{x_1+x_2}{2}\right)\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x\le \left(\frac{1}{1+q}-\frac{1}{1+q+q^2}\right)\left[\pi \left(x_1\right)+\pi \left(x_2\right)\right].$$

Theorem 21

([26]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be q-differentiable on $(x_1,x_2)$ with ${}_{x_1}{D}_q$ be integrable and continuous on $[x_1,x_2]$. If function ${|}_{x_1}{D}_q|$ is $tgs$-convex, then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x-\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}|\hfill \\ & \le & \frac{q^4(1-q)}{{(1+q)}^4(1+q+q^2)(1+q+q^2+q^3)}(x_2-x_1)\left[{|}_{x_1}{D}_q\pi \left(x_1\right){|+|}_{x_1}{D}_q\pi \left(x_2\right)|\right],\hfill \end{array}$$

where $0<q<1.$

Theorem 22

([26]). Assume that π is as in Theorem 21. If function ${|}_{x_1}{D}_q{|}^r,$ $r\ge 1,$ is $tgs$-convex, then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x-\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}|\hfill \\ & \le & \frac{q(x_2-x_1)}{1+q}{\left(\frac{2q}{{(1+q)}^2}\right)}^{1-\frac{1}{r}}\frac{q^3(1-q)}{{(1+q)}^3(1+q+q^2)(1+q+q^2+q^3)}\hfill \\ & & \times {\left[{|}_{x_1}{D}_q\pi \left(x_1\right){|}^r+{{|}_{x_1}{D}_q\pi \left(x_2\right)|}^r\right]}^{\frac{1}{r}}.\hfill \end{array}$$

The q-H-H type inequalities for double integrals are given next.

Theorem 23

([27]). Assume that $0<q<1$ and real-valued function π is convex on $[x_1,x_2]$. Then

$$\begin{array}{ccc}\hfill \pi \left(\frac{q{x}_1+x_2}{1+q}\right)& \le & \frac{1}{{(x_2-x_1)}^2}{\int }_{x_1}^{x_2}{\int }_{x_1}^{x_2}\pi \left(\frac{z+y}{2}\right){}_{x_1}{d}_{q}z{}_{x_1}{d}_{q}y\hfill \\ & \le & \frac{1}{{(x_2-x_1)}^2}{\int }_{x_1}^{x_2}{\int }_{x_1}^{x_2}\frac{1}{2}\left[\pi \left(\frac{\alpha z+\beta y}{\alpha +\beta }\right)+\pi \left(\frac{\beta z+\alpha y}{\alpha +\beta }\right)\right]{}_{x_1}{d}_{q}z{}_{x_1}{d}_{q}y\hfill \\ & \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(z\right){}_{x_1}{d}_{q}z,\hfill \end{array}$$

hold for all $\alpha ,\beta \ge 0$ with $\alpha +\beta >0.$

Theorem 24

([28]). Let π be as in Theorem 23. Then we have

$$\begin{array}{ccc}\hfill \pi \left(\frac{q{x}_1+x_2}{1+q}\right)& \le & \frac{1}{{(x_2-x_1)}^2}{\int }_{x_1}^{x_2}{\int }_{x_1}^{x_2}\pi (\theta x_1+(1-\theta )x_2){}_{x_1}{d}_{q}x{}_{x_1}{d}_{q}y\hfill \\ & \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x\hfill \\ & \le & \frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q},\hfill \end{array}$$

for all $\theta \in [0,1].$

Theorem 25

([28]). Assume that $0<q<1$ and real-valued function π is q-differentiable function on $[x_1,x_2]$. Then

$$\begin{array}{ccc}\hfill 0& \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x-\frac{1}{{(x_2-x_1)}^2}{\int }_{x_1}^{x_2}{\int }_{x_1}^{x_2}\pi (\theta x_1+(1-\theta )x_2){}_{x_1}{d}_{q}x{}_{x_1}{d}_{q}y\hfill \\ & \le & \theta \left[\frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi (qx+(1-q)x_1){}_{x_1}{d}_{q}x\right],\hfill \end{array}$$

for all  $\theta \in [0,1].$

Theorem 26

([28]). Let real-valued function π be a q-differentiable convex continuous, which is defined at the point ${\displaystyle \frac{q{x}_1+x_2}{1+q}\in (x_1,x_2)}$ and $0<q<1.$ Then

$$\begin{array}{ccc}\hfill 0& \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(\theta x+(1-\theta )\frac{q{x}_1+x_2}{1+q}\right){}_{x_1}{d}_{q}x\hfill \\ & \le & (1-\theta )\left[\frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi (qx+(1-q)x_1){}_{x_1}{d}_{q}x\right],\hfill \end{array}$$

for all $\theta \in [0,1].$

Theorem 27

([28]). Assume that π is as in Theorem 26. Then

$$\begin{array}{ccc}& & (1-\theta )\frac{(1-q)(x_2-x_1)}{1+q}{\pi }^{\prime }\left(\frac{x_1+q{x}_2}{1+q}\right)\hfill \\ & \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(\theta x+(1-\theta )\frac{q{x}_1+x_2}{1+q}\right){}_{x_1}{d}_{q}x\hfill \\ & \le & (1-\theta )\left[\frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi (qx+(1-q)x_1){}_{x_1}{d}_{q}x\right],\hfill \end{array}$$

for all $\theta \in [0,1].$

We will now give some results on quantum H-H type inequalities via $\eta$-quasiconvex functions.

Definition 8

([29]). A real-valued function π is called η-quasiconvex on $[x_1,x_2]$ with respect to $\eta :\mathbb{R}\times \mathbb{R}\to \mathbb{R}$ if

$$\pi (\theta x+(1-\theta \left)y\right)\le max\left\{\pi \right(y),\pi (y)+\eta (\pi \left(x\right),\pi \left(y\right)\left)\right\}$$

for all $x,y\in [x_1,x_2]$ and $\theta \in [0,1].$

Theorem 28

([30]). Assume that $0<q<1$ and a real-valued function π is q-differentiable on $(x_1,x_2),$ with ${}_{x_1}{D}_q\pi$ continuous on $[x_1,x_2]$. If ${|}_{x_1}{D}_q{\pi |}^r,$ $r\ge 1,$ is η-quasiconvex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\mu \pi \left(x_2\right)+(1-\mu )\pi \left(x_1\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \left\{\begin{array}{cc}{\displaystyle \frac{(1-\mu -\mu q)(x_2-x_1)}{1+q}{\left[{\mathcal{D}}_{x_1}^{x_2}\left({|}_{x_1}{D}_q{\pi |}^r;\eta \right)\right]}^{\frac{1}{r}},}\hfill & 0\le \mu \le 1-q,\hfill \\ {\displaystyle \frac{(2{\mu }^2+\mu (q-3)+1)(x_2-x_1)}{1+q}{\left[{\mathcal{D}}_{x_1}^{x_2}\left({|}_{x_1}{D}_q{\pi |}^r;\eta \right)\right]}^{\frac{1}{r}},}\hfill & 1-q<\mu \le 1,\hfill \end{array}\right.\hfill \end{array}$$

where ${\mathcal{D}}_{x_1}^{x_2}(f;\eta )=max\{\pi \left(x_1\right),\pi \left(x_1\right)+\eta (\pi \left(x_2\right),\pi \left(x_1\right))\}.$

Theorem 29

([30]). Assume that π is as in Theorem 28. If ${|}_{x_1}{D}_q{\pi |}^r,$ is η-quasiconvex on $[x_1,x_2],$ for $r>1$ with ${\displaystyle \frac{1}{s}+\frac{1}{r}=1,}$ then for all $\mu \in [0,1],$ we have

$$\begin{array}{ccc}& & |\mu \pi \left(x_2\right)+(1-\mu )\pi \left(x_1\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & (x_2-x_1){\left[{\mathsf{\Omega }}_q(1,\mu ,\nu )\right]}^{\frac{1}{r}}({\mathcal{D}}_{x_1}^{x_2}|{}_{x_1}{D}_q{\pi |}^s,\eta {\left)\right)}^{\frac{1}{s}},\hfill \end{array}$$

where ${\mathcal{D}}_{x_1}^{x_2}(f;\eta )=max\{\pi \left(x_1\right),\pi \left(x_1\right)+\eta (\pi \left(x_2\right),\pi \left(x_1\right))\}$ and ${\mathsf{\Omega }}_q(\lambda ,\mu ,\theta )={\int }_0^1{|q\tau -(1-\lambda \mu )|}^{\theta }{}_0{d}_q\tau .$

Following are the results on quantum H-H type inequalities concerning $\phi$-convex functions.

Definition 9

([31]). A real-valued function π is convex with respect to φ (or φ-convex) on $I,$ if

$$\pi (\theta x_1+(1-\theta )x_2)\le \pi \left(x_2\right)+\theta \phi (\pi \left(x_1\right),\pi \left(x_2\right)),$$

for all $x_1,x_2\in I$ and $\theta \in [0,1].$

Definition 10

([31]). A real-valued function π is φ-quasiconvex on $I,$ if

$$\pi (\theta x_1+(1-\theta )x_2)\le max\{\pi \left(x_2\right),\pi \left(x_2\right)+\phi (\pi \left(x_1\right),\pi \left(x_2\right))\},$$

for all $x_1,x_2\in I$ and $\theta \in [0,1].$

Theorem 30

([32]). Let $0<q<1$ and function $\pi :[x_1,x_2]\to \mathbb{R}$ be a twice q-differentiable on $(x_1,x_2)$ with ${}_{x_1}{D}_q^2\pi$ integrable and continuous on $[x_1,x_2].$ If ${|}_{x_1}{D}_q^2{\pi |}^m$ is φ-convex on $[x_1,x_2]$ for $m\ge 1,$ then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{{(1+q)}^{2-\frac{1}{m}}}((1-q)\sum _{n=0}^{\infty }{q}^{2n}{(1-q^{n+1})}^m{{|}_{x_1}{D}_q^2\pi \left(x_1\right)|}^m\hfill \\ & & +(1-q)\sum _{n=0}^{\infty }{q}^{3n}{(1-q^{n+1})}^m\phi \left({|}_{x_1}{D}_q^2\pi \left(x_2\right){|}^m,{{|}_{x_1}{D}_q^2\pi \left(x_1\right)|}^m\right){)}^{\frac{1}{m}}.\hfill \end{array}$$

Theorem 31

([32]). Assume that π is as in Theorem 30. If ${|}_{x_1}{D}_q^2{\pi |}^m$ is φ-convex on $[x_1,x_2]$ where $m,n\ge 1,$ ${\displaystyle \frac{1}{n}+\frac{1}{m}=1,}$ then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{1+q}{\left((1-q)\sum _{i=0}^{\infty }{q}^{2i}{(1-q^{i+1})}^n\right)}^{\frac{1}{n}}\hfill \\ & & \times {\left(\frac{{|}_{x_1}{D}_q^2\pi \left(x_2\right){|}^m}{1+q}+\frac{\phi \left({|}_{x_1}{D}_q^2\pi \left(x_2\right){|}^m,{{|}_{x_1}{D}_q^2\pi \left(x_1\right)|}^m\right)}{1+q+q^2}\right)}^{\frac{1}{m}}.\hfill \end{array}$$

We will provide in the next results on q-Hermite–Hadamard inequalities based on $(\alpha ,m)$-convex functions.

Definition 11

([33]). A function $\pi :[0,x_2]\to \mathbb{R}$ is called $(\alpha ,m)$-convex, if for every $x,y\in [0,x_2]$ and $\theta \in [0,1]$ one has

$$\pi (\theta x+m(1-\theta )y)\le {\theta }^{\alpha }\pi \left(x\right)+m(1-{\theta }^{\alpha })\pi \left(y\right),$$

where $(\alpha ,m)\in {[0,1]}^2.$

Theorem 32

([34]). Let function $\pi :[x_1,x_2]\subset \mathbb{R}\to \mathbb{R}$ be a twice q-differentiable on $(x_1,x_2),$ and ${}_{x_1}{D}_q^2\pi$ be integrable and continuous on $[x_1,x_2].$ If ${|}_{x_1}{D}_q^2\pi |$ is $(\alpha ,m)$-convex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2{(1-q)}^2}{(1+q)(1-q^{\alpha +2})(1-q^{\alpha +3})}\left[\left(\frac{(1-q^{\alpha +2})(1-q^{\alpha +3})}{(1-q^2)(1-q^3)}-1\right)\left|{}_{x_1}{D}_q^2\pi \left(x_1\right)\right|+m\left|{}_{x_1}{D}_q^2\pi \left(\frac{x_2}{m}\right)\right|\right].\hfill \end{array}$$

Theorem 33

([34]). Let π be as in Theorem 32. If ${|}_{x_1}{D}_q^2{\pi |}^r,$ $r>1,$ is $(\alpha ,m)$-convex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\frac{q\pi \left(x_1\right)+\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2{(1-q)}^2}{{(1+q)}^{2-\frac{1}{r}}(1+q+q^2)}{\left[\frac{(1-q^3)(1-q)}{(1-q^{\alpha +2})(1-q^{\alpha +3})}\right]}^{\frac{1}{r}}\hfill \\ & & \times {\left[\left(\frac{(1-q^{\alpha +2})(1-q^{\alpha +3})}{(1-q^2)(1-q^3)}-1\right){|}_{x_1}{D}_q^2\pi \left(x_1\right)|+m\left|{}_{x_1}{D}_q^2\pi \left(\frac{x_2}{m}\right)\right|\right]}^{\frac{1}{r}}.\hfill \end{array}$$

Now we define the $q^{x_2}$-derivative and $q^{x_2}$-integral of a function $\pi :[x_1,x_2]\to \mathbb{R},$ and present the corresponding H-H type quantum inequalities.

Definition 12

([35]). Assume $\pi :[x_1,x_2]\to \mathbb{R}$ is a continuous function. Then the expression

$${\displaystyle {}^{x_2}{D}_q\pi \left(t\right)=\frac{\pi \left(t\right)-\pi (qt+(1-q)x_2)}{(1-q)(t-x_2)},t\ne x_2,{}^{x_2}{D}_q\pi \left(x_1\right)=\underset{t\to b}{lim}{}^{x_2}{D}_q\pi \left(t\right),}$$

is called $q^{x_2}$-derivative of π at $t\in [x_1,x_2].$

Definition 13

([35]). The right q-integral of $\pi :[x_1,x_2]\to \mathbb{R}$ is given by

$${\int }_x^{x_2}\pi \left(t\right){}^{x_2}{d}_{q}t=(1-q)(x_2-x)\sum _{n=0}^{\infty }{q}^n\pi (q^{n}x+(1-q^n)x_2).$$

Quantum H-H type inequalities for $q^{x_2}$-integral.

Theorem 34

([35]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be convex on $(x_1,x_2)$ and $0<q<1.$ Then

$$\pi \left(\frac{x_1+q{x}_2}{1+q}\right)\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}^{x_2}{d}_{q}t\le \frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}.$$

Theorem 35

([36]). Let function $\pi :[x_1,x_2]\subset \mathbb{R}\to \mathbb{R}$ be twice $q^{x_2}$-differentiable on $(x_1,x_2)$ such that ${}^{x_2}{D}_q^2\pi$ is integrable and continuous on $[x_1,x_2].$ If ${|}^{x_2}{D}_q^2\pi |$ is convex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{(1+q)(q^2+q+1)(q^3+q^2+q+1)}\left[{|}^{x_2}{D}_q^2\pi \left(x_1\right)|+q^2{|}^{x_2}{D}_q^2\pi \left(x_2\right)|\right],0<q<1.\hfill \end{array}$$

Theorem 36

([36]). Assume that π is as in Theorem 35. If ${|}^{x_2}{D}_q^2{\pi |}^p,$ $p>1,$ is convex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{{(1+q)}^{2-\frac{1}{p}}(q^2+q+1)}{\left(\frac{1}{(q^3+q^2+q+1)}\right)}^{\frac{1}{p}}{\left[{|}^{x_2}{D}_q^2\pi \left(x_1\right){|}^p+q^2{{|}^{x_2}{D}_q^2\pi \left(x_2\right)|}^p\right]}^{\frac{1}{p}},\hfill \end{array}$$

where $0<q<1.$

Theorem 37

([36]). Assume that π is as in Theorem 35. If ${|}^{x_2}{D}_q^2{\pi |}^p,$ $p>1,$ is convex on $[x_1,x_2],$ and ${\displaystyle \frac{1}{r}+\frac{1}{p}=1,}$ then

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(x_2-x_1)}^2}{1+q}{\left[(1-q)\sum _{n=0}^{\infty }{\left(q^n\right)}^{r+1}{(1-q^{n+1})}^r\right]}^{\frac{1}{r}}{\left(\frac{|{}^{x_2}{D}_q^2\pi \left(x_1\right){|}^p+{|{}^{x_2}{D}_q^2\pi \left(x_2\right)|}^p}{q+1}\right)}^{\frac{1}{p}}.\hfill \end{array}$$

Theorem 38

([37]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be q-differentiable on $(x_1,x_2)$ and $q\in (0,1).$ If ${}^{x_2}{D}_q^2\pi$ is integrable and continuous on $[x_1,x_2],$ and $|{}^{x_2}{D}_q^2\pi |$ is convex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(s\right){}^{x_2}{d}_{q}s-\pi \left(\frac{x_1+q{x}_2}{{\left[2\right]}_q}\right)|\hfill \\ & \le & \frac{{(x_2-x_1)}^2}{{\left[2\right]}_q^5{\left[3\right]}_q{\left[4\right]}_q}\left[(2q+4q^2+2q^3)|{}^{x_2}{D}_q^2\pi \left(x_1\right)|+(-q-q^2+2q^3+4q^4+3q^5+q^6)|{}^{x_2}{D}_q^2\pi \left(x_2\right)|\right].\hfill \end{array}$$

Theorem 39

([37]). Assume that π is as in Theorem 38. Then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(s\right){}^{x_2}{d}_{q}s-\pi \left(\frac{x_1+q{x}_2}{{\left[2\right]}_q}\right)|\hfill \\ & \le & \frac{q^3{(x_2-x_1)}^2}{{\left[2\right]}_q^{1+\frac{3}{r}+2+\frac{1}{s}}{[2s+1]}_q^{\frac{1}{s}}}{\left(|{}^{x_2}{D}_q^2\pi \left(x_1\right){|}^r+(2q+q^2){\left|{}^{x_2}{D}_q^2\pi \left(x_2\right)\right|}^r\right)}^{\frac{1}{r}}\hfill \\ & & +\frac{q^{\frac{1}{r}}{(x_2-x_1)}^2{\left(1-\frac{1}{{\left[2\right]}_q}\right)}_q^{2+\frac{1}{s}}}{{\left[2\right]}_q^{1+\frac{3}{r}}{[2s+1]}_q^{\frac{1}{s}}}{\left((2+q)|{}^{x_2}{D}_q^2\pi \left(x_1\right){|}^r+(q+q^2-1){\left|{}^{x_2}{D}_q^2\pi \left(x_2\right)\right|}^r\right)}^{\frac{1}{r}},\hfill \end{array}$$

where ${\displaystyle \frac{1}{r}+\frac{1}{s}=1.}$

Theorem 40

([38]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be convex differentiable on $[x_1,x_2]$ and $0<q<1.$ Then we have:

$$\begin{array}{ccc}\hfill \pi \left(\frac{q{x}_1+x_2}{{\left[2\right]}_q}\right)-\frac{(1-q)(x_2-x_1)}{{\left[2\right]}_q}{\pi }^{\prime }\left(\frac{q{x}_1+x_2}{{\left[2\right]}_q}\right)& \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\hfill \\ & \le & \frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{{\left[2\right]}_q}.\hfill \end{array}$$

Theorem 41

([38]). Let π be as in Theorem 40. Then we have:

$$\begin{array}{ccc}\hfill \pi \left(\frac{x_1+x_2}{2}\right)-\frac{(1-q)(x_2-x_1)}{2{\left[2\right]}_q}{\pi }^{\prime }\left(\frac{x_1+x_2}{2}\right)& \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\hfill \\ & \le & \frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{{\left[2\right]}_q}.\hfill \end{array}$$

Theorem 42

([38]). Let $\pi :[x_1,x_2]\to \mathbb{R}$ be a convex function on $[x_1,x_2]$ and $0<q<1.$ Then

$$\begin{array}{ccc}\hfill \pi \left(\frac{x_1+q{x}_2}{{\left[2\right]}_q}\right)& \le & \frac{1}{{(x_2-x_1)}^2}{\int }_{x_1}^{x_2}{\int }_{x_1}^{x_2}\pi (\theta x_1+(1-\theta )x_2){}^{x_2}{d}_{q}x{}^{x_2}{d}_{q}y\hfill \\ & \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\hfill \\ & \le & \frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{{\left[2\right]}_q},\hfill \end{array}$$

for all $\theta \in [0,1].$

Theorem 43

([39]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be differentiable and convex on $(x_1,x_2),$ $c\in (x_1,x_2)$ and $0<q<1.$ Then

$$\begin{array}{ccc}& & \pi \left(\frac{q(x_1+c)+(1-q)x_2}{1+q}\right)+{\pi }^{\prime }\left(\frac{q(x_1+c)+(1-q)x_2}{1+q}\right)\left(\frac{q(2x_2-x_1-c)+x_1-x_2}{1+q}\right)\hfill \\ & \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}^{x_2}{d}_{q}t\le \frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}.\hfill \end{array}$$

Theorem 44

([39]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be differentiable and convex on $(x_1,x_2),$ such that ${\pi }^{\prime }\left(c\right)=0$ for  $c\in (x_1,x_2)$ and $0<q<1.$ Then

$$\begin{array}{ccc}& & \pi \left(\frac{(1-q)x_1+q(c+x_2)}{1+q}\right)+{\pi }^{\prime }\left(\frac{(1-q)x_1+q(c+x_2)}{1+q}\right)\left(\frac{q(x_1-c)}{1+q}\right)\hfill \\ & \le & \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(t\right){}^{x_2}{d}_{q}t\le \frac{\pi \left(x_1\right)+q\pi \left(x_2\right)}{1+q}.\hfill \end{array}$$

The next results concern quantum $q^{x_2}$-H-H type inequalities for $(\alpha ,m)$-convex functions.

Theorem 45

([40]). Let function $\pi :I=[x_1,x_2]\subset \mathbb{R}\to \mathbb{R}$ be a twice $q^{x_2}$-differentiable on $(x_1,x_2)$ such that ${}^{x_2}{D}_q^2\pi$ is integrable and continuous on $[x_1,x_2].$ If ${|}^{x_2}{D}_q^2\pi |$ is $(\alpha ,m)$-convex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+q\pi \left(m{x}_2\right)}{1+q}-\frac{1}{m{x}_2-x_1}{\int }_{x_1}^{m{x}_2}\pi \left(x\right){}^{m{x}_2}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(m{x}_2-x_1)}^2}{1+q}\left[\frac{{[\alpha +3]}_q-q{[\alpha +2]}_q}{{[\alpha +3]}_q{[\alpha +2]}_q}\right|{}^{x_2}{D}_q^2\pi \left(x_1\right)|\hfill \\ & & +m\left(\frac{1}{{\left[3\right]}_q{\left[2\right]}_q}-\frac{{[\alpha +3]}_q-q{[\alpha +2]}_q}{{[\alpha +3]}_q{[\alpha +2]}_q}\right)\left|{}^{x_2}{D}_q^2\pi \left(x_2\right)\right|],\hfill \end{array}$$

where ${\displaystyle {\left[n\right]}_q=\frac{1-q^n}{1-q}.}$

Theorem 46

([40]). Assume that π is as in Theorem 45. If ${|}^{x_2}{D}_q^2{\pi |}^p,$ $p\ge 1,$ is $(\alpha ,m)$-convex on $[x_1,x_2],$ then

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+q\pi \left(m{x}_2\right)}{1+q}-\frac{1}{m{x}_2-x_1}{\int }_{x_1}^{m{x}_2}\pi \left(x\right){}^{m{x}_2}{d}_{q}x|\hfill \\ & \le & \frac{q^2{(m{x}_2-x_1)}^2}{{\left({\left[2\right]}_q\right)}^{2-\frac{1}{p}}\left(\right]3{{]}_q)}^{\frac{1}{p}}}\left(\frac{{[\alpha +3]}_q-q{[\alpha +2]}_q}{{[\alpha +3]}_q{[\alpha +2]}_q}\right|{}^{x_2}{D}_q^2\pi \left(x_1\right){|}^p\hfill \\ & & +m\left(\frac{1}{{\left[3\right]}_q{\left[2\right]}_q}-\frac{{[\alpha +3]}_q-q{[\alpha +2]}_q}{{[\alpha +3]}_q{[\alpha +2]}_q}\right)|{}^{x_2}{D}_q^2\pi \left(x_2\right){|}^p{)}^{\frac{1}{p}}.\hfill \end{array}$$

Quantum H-H type inequalities for $q_{x_1}$ and $q^{x_2}$-integrals.

Now, we give H-H inequalities involving left and right quantum integrals.

Theorem 47

([41]). Let function $\pi :[x_1,x_2]\subset \mathbb{R}\to \mathbb{R}$ be q-differentiable such that ${}_{x_1}{D}_q\pi$ and ${}^{x_2}{D}_q\pi$ are integrable and continuous on $[x_1,x_2].$ If ${}_{x_1}{D}_q\pi$ and ${}^{x_2}{D}_q\pi$ are convex, then:

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}-\frac{1}{2(x_2-x_1)}\left[{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]|\hfill \\ & \le & \frac{q(x_2-x_1)}{2{\left[3\right]}_q}\left[|{}_{x_1}{D}_q\pi \left(x_2\right)|+|{}^{x_2}{D}_q\pi \left(x_1\right)|+\frac{q^2\left(\right|{}_{x_1}{D}_q\pi \left(x_1\right)|+|{}^{x_2}{D}_q\pi \left(x_2\right)\left|\right)}{{\left[2\right]}_q}\right].\hfill \end{array}$$

Theorem 48

([41]). Let π be as in Theorem 47. If $|{}_{x_1}{D}_q\pi {|}^{p_1}|$ and $|{}^{x_2}{D}_q{\pi |}^{p_1},$ $p_1\ge 1,$ are convex, then:

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}-\frac{1}{x_2-x_1}\left[{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]|\hfill \\ & \le & \frac{q(x_2-x_1)}{2{\left[2\right]}_q}[{\left(\frac{{\left[2\right]}_q|{}_{x_1}{D}_q\pi \left(x_2\right){|}^{p_1}+q^2{\left|{}_{x_1}{D}_q\pi \left(x_1\right)\right|}^{p_1}}{{\left[3\right]}_q}\right)}^{\frac{1}{p_1}}\hfill \\ & & +{\left(\frac{{\left[2\right]}_q|{}^{x_2}{D}_q\pi \left(x_1\right){|}^{p_1}+q^2{\left|{}^{x_2}{D}_q\pi \left(x_2\right)\right|}^{p_1}}{{\left[3\right]}_q}\right)}^{\frac{1}{p_1}}].\hfill \end{array}$$

Theorem 49

([41]). Assume that π is as in Theorem 47. If $|{}^{x_2}{D}_q\pi |$ and $|{}_{x_1}{D}_q\pi |$ are convex, then:

$$\begin{array}{ccc}& & |\pi \left(\frac{x_1+x_2}{2}\right)-\frac{1}{2(x_2-x_1)}\left[{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]|\hfill \\ & \le & \frac{x_2-x_1}{2}\left[\right|{}_{x_1}{D}_q\pi \left(x_2\right)|\frac{3}{4({\left[4\right]}_q+q{\left[2\right]}_q)}+\left|{}_{x_1}{D}_q\pi \left(x_1\right)\right|\frac{5q^2+4q-2q^3-1}{4({\left[4\right]}_q+q{\left[2\right]}_q)}\hfill \\ & & +|{}^{x_2}{D}_q\pi \left(x_1\right)|\frac{3}{4({\left[4\right]}_q+q{\left[2\right]}_q)}+\left|{}^{x_2}{D}_q\pi \left(x_2\right)\right|\frac{5q^2+4q-2q^3-1}{4({\left[4\right]}_q+q{\left[2\right]}_q)}].\hfill \end{array}$$

Theorem 50

([42]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be convex. Then

$$\pi \left(\frac{x_1+x_2}{2}\right)\le \frac{1}{x_2-x_1}\left[{\int }_{x_1}^{\frac{x_1+x_2}{2}}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\frac{x_1+x_2}{2}}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]\le \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}.$$

Theorem 51

([42]). Let $\pi :[x_1,x_2]\to \mathbb{R}$ and ${}_{x_1}{D}_q\pi$ and ${}^{x_2}{D}_q\pi$ be continuous and integrable on $[x_1,x_2].$ If $|{}_{x_1}{D}_q\pi |$ and $|{}^{x_2}{D}_q\pi |$ are convex, then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}\left[{\int }_{x_1}^{\frac{x_1+x_2}{2}}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\frac{x_1+x_2}{2}}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]-\pi \left(\frac{x_1+x_2}{2}\right)|\hfill \\ & \le & \frac{x_2-x_1}{8{\left[2\right]}_q{\left[3\right]}_q}\left[q{\left[2\right]}_q|{}^{x_2}{D}_q\pi \left(x_1\right)|+q({\left[3\right]}_q+q^2)\left|{}^{x_2}{D}_q\pi \left(x_2\right)\right|\right]\hfill \\ & & +\frac{x_2-x_1}{8{\left[2\right]}_q{\left[3\right]}_q}\left[q({\left[3\right]}_q+q^2)|{}_{x_1}{D}_q\pi \left(x_1\right)|+q{\left[2\right]}_q\left|{}_{x_1}{D}_q\pi \left(x_2\right)\right|\right].\hfill \end{array}$$

Theorem 52

([42]). Assume that π is as in Theorem 51. If $|{}_{x_1}{D}_q{\pi |}^s$ and $|{}^{x_2}{D}_q{\pi |}^s,$ $s\ge 1$ are convex, then

$$\begin{array}{ccc}& & |\frac{1}{x_2-x_1}\left[{\int }_{x_1}^{\frac{x_1+x_2}{2}}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\frac{x_1+x_2}{2}}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]-\pi \left(\frac{x_1+x_2}{2}\right)|\hfill \\ & \le & \frac{q(x_2-x_1)}{4{\left[2\right]}_q}[{\left(\frac{{\left[2\right]}_q|{}^{x_2}{D}_q\pi \left(x_1\right){|}^s+({\left[3\right]}_q+q^2){\left|{}^{x_2}{D}_q\pi \left(x_2\right)\right|}^s}{2{\left[3\right]}_q}\right)}^{\frac{1}{s}}\hfill \\ & & +{\left(\frac{({\left[3\right]}_q+q^2)|{}_{x_1}{D}_q\pi \left(x_1\right){|}^s+{\left[2\right]}_q{\left|{}_{x_1}{D}_q\pi \left(x_2\right)\right|}^s}{2{\left[3\right]}_q}\right)}^{\frac{1}{s}}].\hfill \end{array}$$

Theorem 53

([42]). Let π be as in Theorem 51. If $|{}_{x_1}{D}_q\pi |$ and $|{}^{x_2}{D}_q\pi |$ are convex, then

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}-\frac{1}{x_2-x_1}\left[{\int }_{x_1}^{\frac{x_1+x_2}{2}}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\frac{x_1+x_2}{2}}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]|\hfill \\ & \le & \frac{x_2-x_1}{8{\left[2\right]}_q{\left[3\right]}_q}\left[|{}^{x_2}{D}_q\pi \left(x_1\right)|+({\left[3\right]}_q+q+q^2)\left|{}^{x_2}{D}_q\pi \left(x_2\right)\right|\right]\hfill \\ & & +\frac{x_2-x_1}{8{\left[2\right]}_q{\left[3\right]}_q}\left[({\left[3\right]}_q+q+q^2)|{}_{x_1}{D}_q\pi \left(x_1\right)|+|{}_{x_1}{D}_q\pi \left(x_2\right)|\right].\hfill \end{array}$$

Theorem 54

([42]). Assume that π is as in Theorem 51. If $|{}_{x_1}{D}_q{\pi |}^s$ and $|{}^{x_2}{D}_q{\pi |}^s,$ $s>1$ are convex, then

$$\begin{array}{ccc}& & |\frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}-\frac{1}{x_2-x_1}\left[{\int }_{x_1}^{\frac{x_1+x_2}{2}}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\frac{x_1+x_2}{2}}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]|\hfill \\ & \le & \frac{x_2-x_1}{4}{\left({\int }_0^1{(1-qt)}^r{d}_{q}t\right)}^{\frac{1}{r}}[{\left(\frac{|{}^{x_2}{D}_q\pi \left(x_1\right){|}^s+({\left[2\right]}_q+q){\left|{}^{x_2}{D}_q\pi \left(x_2\right)\right|}^s}{2{\left[2\right]}_q}\right)}^{\frac{1}{s}}\hfill \\ & & +{\left(\frac{({\left[2\right]}_q+q)|{}_{x_1}{D}_q\pi \left(x_1\right){|}^s+{\left|{}_{x_1}{D}_q\pi \left(x_2\right)\right|}^s}{2{\left[3\right]}_q}\right)}^{\frac{1}{s}}],\hfill \end{array}$$

where ${\displaystyle \frac{1}{s}+\frac{1}{r}=1.}$

Theorem 55

([43]). Let the real valued function π be s-convex in the second sense and $x_1,x_2\in {\mathbb{R}}^{+}$ with $x_1<x_2.$ If $f\in L_1[x_1,x_2],$ then for $s\in (0,1]:$

$$2^{s-1}\pi \left(\frac{x_1+x_2}{2}\right)\le \frac{1}{2(x_2-x_1)}\left[{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]\le \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{{[s+1]}_q}.$$

The following H-H type inequalities depend on a parameter.

Theorem 56

([44]). Let function $\pi :{\mathbb{R}}^{+}\to \mathbb{R}$ be convex on $[x_1,x_2]$ with $x_1<x_2.$ Then

$$\begin{array}{ccc}\hfill \pi \left(\frac{x_1+x_2}{2}\right)& \le & \frac{1}{2\lambda (x_2-x_1)}\left[{\int }_{x_1}^{\lambda x_2+(1-\lambda )x_1}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\lambda x_1+(1-\lambda )x_2}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right]\hfill \\ & \le & \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2},\hfill \end{array}$$

for all $\lambda \in (0,1].$

Theorem 57

([44]). Let function $\pi :{\mathbb{R}}^{+}\to \mathbb{R}$ be a convex on $[x_1,x_2]$ with $x_1<x_2.$ Then

$$\begin{array}{ccc}\hfill \pi \left(\frac{x_1+x_2}{2}\right)& \le & \frac{1}{2}\left[\pi \left(\frac{x_1+q{x}_2}{{\left[2\right]}_q}\right)+\pi \left(\frac{q{x}_1+x_2}{{\left[2\right]}_q}\right)\right]\hfill \\ & \le & \frac{1+q^2}{2q\lambda {\left[2\right]}_q(x_2-x_1)}\left({\int }_{x_1}^{\lambda x_2+(1-\lambda )x_1}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\lambda x_1+(1-\lambda )x_2}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right)\hfill \\ & & -\frac{1-q}{q{\left[2\right]}_q}[\pi (\lambda x_1+(1-\lambda )x_2)+\pi ((1-\lambda x_1)+\lambda x_2]\hfill \\ & \le & \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2},\hfill \end{array}$$

for all $\lambda \in (0,1].$

Theorem 58

([44]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be q differentiable, with ${}_{x_1}{D}_q\pi$ and ${}^{x_2}{D}_q\pi$ be q-integrable and continuous over $[x_1,x_2].$ If $|{}_{x_1}{D}_q\pi$| and $|{}^{x_2}{D}_q\pi |$ are convex on $[x_1,x_2]$, then

$$\begin{array}{ccc}& & |\frac{1}{2\lambda (x_2-x_1)}\left({\int }_{x_1}^{\lambda x_2+(1-\lambda )x_1}\pi \left(x\right){}_{x_1}{d}_{q}x+{\int }_{\lambda x_1+(1-\lambda )x_2}^{x_2}\pi \left(x\right){}^{x_2}{d}_{q}x\right)\hfill \\ & & -\frac{1}{2}\left[\pi (\lambda x_2+(1-\lambda )x_1)+\pi (\lambda x_1+(1-\lambda )x_2)\right]|\hfill \\ & \le & \frac{\lambda q(x_2-x_1)}{2{\left[2\right]}_q{\left[3\right]}_q}\left[({\left[3\right]}_q-\lambda {\left[2\right]}_q)\left[|{}^{x_2}{D}_q\pi \left(x_2\right)|+|{}_{x_1}{D}_q\pi \left(x_1\right)|\right]\right]\hfill \\ & & +\lambda {\left[2\right]}_q\left[|{}^{x_2}{D}_q\pi \left(x_1\right)|+|{}_{x_1}{D}_q\pi \left(x_2\right)|\right],\hfill \end{array}$$

for all $\lambda \in (0,1].$

Now we present q-H-H integral inequalities regarding the family of $p,$ $(p,s)$ and extended sort of $(p,s)$-convex functions.

Definition 14

([45]). A function $\pi :I\subset (0,\infty )\to \mathbb{R}$ is called p-convex, if

$$\pi \left({[\theta x_1^p+(1-\theta )x_2^p]}^{\frac{1}{p}}\right)\le \theta \pi \left(x_1\right)+(1-\theta )\pi \left(x_2\right),$$

for all $x_1,x_2\in I$ and $\theta \in [0,1].$

Theorem 59

([46]). Let $\pi :I\subset (0,\infty )\to \mathbb{R}$ be p-convex on $I^{\circ },$ $x_1^p,x_2^p\in I$ with with $x_1^p<x_2^p$ and $p>0,$ $q\in (0,1).$ Then

$$\begin{array}{ccc}\hfill \pi \left({\left(\frac{x_1^p+x_2^p}{2}\right)}^{\frac{1}{p}}\right)& \le & \frac{1}{2(x_2^p-x_1^p)}\left[{\int }_{x_1^p}^{x_2^p}\pi \left(x_2^{\frac{1}{p}}\right){}_{x_1^p}{d}_q{x}_2+{\int }_{x_1^p}^{x_2^p}\pi \left(x_2^{\frac{1}{p}}\right){}^{x_2^p}{d}_q{x}_2\right]\hfill \\ & \le & \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2}.\hfill \end{array}$$

Definition 15

([46]). A real-valued function π is $(p,s)$-convex function, if

$$\pi \left({\left(\theta x_1^p+(1-\theta )x_2^p\right)}^{\frac{1}{p}}\right)\le {\theta }^s\pi \left(x_1\right)+{(1-\theta )}^s\pi \left(x_2\right),$$

for all $x_1,x_2\in I,$ $p>0,$ $s\in (0,1]$ and $\theta \in [0,1].$

Theorem 60

([46]). Let the real-valued function π be $(p,s)$-convex on $I^{\circ },$ $x_1^p,x_2^p\in I$ with $x_1^p<x_2^p.$ Then

$$\begin{array}{ccc}\hfill 2^s\pi \left({\left(\frac{x_1^p+x_2^p}{2}\right)}^{\frac{1}{p}}\right)& \le & \frac{1}{(x_2^p-x_1^p)}\left[{\int }_{x_1^p}^{x_2^p}\pi \left(x_2^{\frac{1}{p}}\right){}_{x_1^p}{d}_q{x}_2+{\int }_{x_1^p}^{x_2^p}\pi \left(x_2^{\frac{1}{p}}\right){}^{x_2^p}{d}_q{x}_2\right]\hfill \\ & \le & [\pi \left(x_1\right)+\pi \left(x_2\right)]\left(\frac{1}{{[s+1]}_q}+{\int }_0^1{(1-\tau )}^s{d}_q\tau \right).\hfill \end{array}$$

where $p>0,$ $q\in (0,1)$ and $s\in (0,1].$

Theorem 61

([46]). Let the real-valued function π be modified type $(p,s)$-convex on $I^{\circ },$ $x_1^p,x_2^p\in I$ with $x_1^p<x_2^p.$ Then

$$\begin{array}{ccc}\hfill 2^s\pi \left({\left(\frac{x_1^p+x_2^p}{2}\right)}^{\frac{1}{p}}\right)& \le & \frac{1}{(x_2^p-x_1^p)}\left[{\int }_{x_1^p}^{x_2^p}\pi \left(x_2^{\frac{1}{p}}\right){}_{x_1^p}{d}_q{x}_2+(2^s-1){\int }_{x_1^p}^{x_2^p}\pi \left(x_2^{\frac{1}{p}}\right){}^{x_2^p}{d}_q{x}_2\right]\hfill \\ & \le & \left(\frac{2}{{[s+1]}_q}-1\right)[\pi \left(x_2\right)-\pi \left(x_1\right)]+2^s\left(\frac{\pi \left(x_1\right)-\pi \left(x_2\right)}{{[s+1]}_q}+\pi \left(x_2\right)\right),\hfill \end{array}$$

where $p>0,$ $q\in (0,1)$ and $s\in (0,1].$

Next, we present q-H-H integral inequalities pertaining to $(p,h)$-convex functions.

Definition 16

([47]). A function $\pi :I\to \mathbb{R}$ is called a $(p,h)$-convex function, if it is non-negative and

$$\pi \left({[\theta x_1^p+(1-\theta )x_2^p]}^{\frac{1}{p}}\right)\le h\left(t\right)\pi \left(x_1\right)+h(1-\theta )\pi \left(x_2\right)$$

for any $x_1,x_2\in I$ and $\theta \in [0,1].$

Theorem 62

([48]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be q-integrable and $(p,h)$-convex. Then

$$\begin{array}{ccc}\hfill \frac{1}{h\left(\frac{1}{2}\right)}\pi \left({\left[\frac{x_1^p+x_2^p}{2}\right]}^{\frac{1}{p}}\right)& \le & \frac{1}{x_2^p-x_1^p}\left\{{\int }_{x_1^p}^{x_2^p}\pi \left(x^{\frac{1}{p}}\right){}_{x_1^p}{d}_{q}x+{\int }_{x_1^p}^{x_2^p}\pi \left(x^{\frac{1}{p}}\right){}^{x_2^p}{d}_{q}x\right\}\hfill \\ & \le & [\pi \left(x_1\right)+\pi \left(x_2\right)]\left({\int }_0^{1}h\left(t\right)d_{q}t+{\int }_0^{1}h(1-t)d_{q}t\right).\hfill \end{array}$$

Quantum H-H-Mercer type inequalities.

In the following theorems we present a quantum version of the H-H-Mercer inequalities.

Theorem 63

([49]). For a convex function $\pi :[x_1,x_2]\to \mathbb{R},$ then

$$\begin{array}{ccc}\hfill \pi \left(x_1+x_2-\frac{x+y}{2}\right)& \le & \pi \left(x_1\right)+\pi \left(x_2\right)-\frac{1}{y-x}\left[{\int }_x^{\frac{x+y}{2}}\pi \left(u\right){}_x{d}_{q}u+{\int }_{\frac{x+y}{2}}^y\pi \left(u\right){}^y{d}_{q}u\right]\hfill \\ & \le & \pi \left(x_1\right)+\pi \left(x_2\right)-\pi \left(\frac{x+y}{2}\right)\hfill \end{array}$$

and

$$\begin{array}{ccc}& & \pi \left(x_1+x_2-\frac{x+y}{2}\right)\hfill \\ & \le & \frac{1}{y-x}\left[{\int }_{x_1+x_2-y}^{x_1+x_2-\frac{x+y}{2}}\pi \left(u\right){}_{x_1+x_2-y}{d}_{q}u+{\int }_{\frac{x_1+x_2-x+y}{2}}^{x_1+x_2-x}\pi \left(u\right){}^{x_1+x_2-x}{d}_{q}u\right]\hfill \\ & \le & \frac{\pi (x_1+x_2-x)+\pi (x_1+x_2-y)}{2}\hfill \\ & \le & \pi \left(x_1\right)+\pi \left(x_2\right)-\frac{\pi \left(x\right)+\pi \left(y\right)}{2},\hfill \end{array}$$

for all $x,y\in [x_1,x_2]$ and $x<y.$

Theorem 64

([49]). Assume that $\pi :[x_1,x_2]\to \mathbb{R}$ is q-differentiable and ${}_{x_1}{D}_q\pi ,$ ${}^{x_2}{D}_q\pi$ are q-integrable and continuous. If $|{}_{x_1}{D}_q\pi |,$ $|{}^{x_2}{D}_q\pi |$ are convex, then

$$\begin{array}{ccc}& & |\frac{1}{y-x}\left[{\int }_{x_1+x_2-y}^{x_1+x_2-\frac{x+y}{2}}\pi \left(u\right){}_{x_1+x_2-y}{d}_{q}u+{\int }_{\frac{x_1+x_2-x+y}{2}}^{x_1+x_2-x}\pi \left(u\right){}^{x_1+x_2-x}{d}_{q}u\right]\hfill \\ & & -\pi \left(x_1+x_2-\frac{x+y}{2}\right)|\hfill \\ & \le & \frac{y-x}{4}[\frac{q}{{\left[2\right]}_q}\left(|{}^{x_2}{D}_q\pi \left(x_1\right)|+|{}^{x_2}{D}_q\pi \left(x_2\right)|\right)\hfill \\ & & -\left(\frac{q({\left[3\right]}_q+q^2)}{2{\left[2\right]}_q{\left[3\right]}_q}|{}^{x_2}{D}_q\pi \left(x\right)|+\frac{q}{2{\left[3\right]}_q}|{}^{x_2}{D}_q\pi \left(y\right)|\right)\hfill \\ & & +\frac{q}{{\left[2\right]}_q}\left(|{}_{x_1}{D}_q\pi \left(x_1\right)|+|{}_{x_1}{D}_q\pi \left(x_2\right)|\right)-\left(\frac{q({\left[3\right]}_q+q^2)}{2{\left[2\right]}_q{\left[3\right]}_q}|{}_{x_1}{D}_q\pi \left(y\right)|+\frac{q}{2{\left[3\right]}_q}|{}_{x_1}{D}_q\pi \left(x\right)|\right)],\hfill \end{array}$$

for all $x,y\in [x_1,x_2]$ and $x<y.$

Quantum H-H type inequalities for ${}_{x_1}{T}_q$ and ${}^{x_2}{T}_q$ integrals.

Here, we add some new q-H-H type inequalities pertaining to convex functions utilizing the idea of q-integral.

Definition 17

([50]). Let $\pi :J\to \mathbb{R}$ be continuous. For $0<q<1$ we define the ${}_{x_1}{T}_q$-integral as

$${\int }_{x_1}^{x_2}\pi \left(s\right){}_{x_1}{d}_q^{T}s=\frac{(1-q)(x_2-x_1)}{2q}\left[(1+q)\sum _{n=1}^{\infty }{q}^n\pi (q^n{x}_2+(1-q^n)x_1)-\pi \left(x_2\right)\right].$$

Theorem 65

([50]). Let function $\pi :[x_1,x_2]\to \mathbb{R}$ be convex and differentiable on $[x_1,x_2]$ and $0<q<1.$ Then

$$max\{I_1,I_2,I_3\}\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_q^{T}x\le \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2},$$

where

$$\begin{array}{ccc}\hfill I_1& =& \pi \left(\frac{x_1+x_2}{2}\right),\hfill \\ \hfill I_2& =& \pi \left(\frac{q{x}_1+x_2}{1+q}\right)+\frac{(q-1)(x_2-x_1)}{2(1+q)}{\pi }^{\prime }\left(\frac{q{x}_1+x_2}{1+q}\right),\hfill \\ \hfill I_3& =& \pi \left(\frac{x_1+q{x}_2}{1+q}\right)+\frac{(1-q)(x_2-x_1)}{2(1+q)}{\pi }^{\prime }\left(\frac{x_1+q{x}_2}{1+q}\right).\hfill \end{array}$$

Next, we examine a new idea of quantum integral, the ${}^{x_2}{T}_q$-integral, and we present H-H type inequalities for this new integral.

Definition 18

([51]). Let $\pi :J\to \mathbb{R}$ be continuous. For $0<q<1$ we define the ${}^{x_2}{T}_q$-integral as

$${\int }_{x_1}^{x_2}\pi \left(s\right){}^{x_2}{d}_q^{T}s=\frac{(1-q)(x_2-x_1)}{2q}\left[(1+q)\sum _{n=1}^{\infty }{q}^n\pi (q^n{x}_1+(1-q^n)x_2)-\pi \left(x_1\right)\right].$$

Theorem 66

([51]). Assume that function $\pi :[x_1,x_2]\to \mathbb{R}$ is differentiable convex on $[x_1,x_2]$ and $0<q<1.$ Then

$$max\{I_1,I_2,I_3\}\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_q^{T}x\le \frac{\pi \left(x_1\right)+\pi \left(x_2\right)}{2},$$

where

$$\begin{array}{ccc}\hfill I_1& =& \pi \left(\frac{x_1+x_2}{2}\right),\hfill \\ \hfill I_2& =& \pi \left(\frac{q{x}_1+x_2}{1+q}\right)+\frac{(q-1)(x_2-x_1)}{2(1+q)}{\pi }^{\prime }\left(\frac{q{x}_1+x_2}{1+q}\right),\hfill \\ \hfill I_3& =& \pi \left(\frac{x_1+q{x}_2}{1+q}\right)+\frac{(1-q)(x_2-x_1)}{2(1+q)}{\pi }^{\prime }\left(\frac{x_1+q{x}_2}{1+q}\right).\hfill \end{array}$$

In the next theorem we give a ${}_{x_1}{T}_q$ and ${}^{x_2}{T}_q$  H-H type integral inequality for s-convexity.

Theorem 67

([52]). Assume that a real-valued function π is s-convex in the second manner with $s\in (0,1].$ Then

$$\begin{array}{ccc}\hfill 2^s\pi \left(\frac{x_1+x_2}{2}\right)& \le & \frac{1}{x_2-x_1}\left[{\int }_{x_1}^{x_2}\pi \left(x\right){}_{x_1}{d}_q^{T}x+{\int }_{x_1}^{x_2}\pi \left(x\right){}^{x_2}{d}_q^{T}x\right]\hfill \\ & \le & \left[\pi \left(x_1\right)+\pi \left(x_2\right)\right]\left[\frac{1}{2q}\left(\frac{1+q}{{[s+1]}_q}-1+q\right)+{\int }_0^1{(1-\xi )}^s{}_0{d}_q^T\xi \right].\hfill \end{array}$$

Quantum H-H type inequalities involving coordinated convex functions.

Definition 19

([53]). A function $\pi :\Delta =[x_1,x_2]\times [c_1,d_1]\to \mathbb{R}$ will be called coordinated convex on Δ, for all $\theta ,s\in [0,1]$ and $(x,y),(u,w)\in \Delta ,$ if

$$\begin{array}{ccc}& & \pi (\theta x+(1-\theta )y,su+(1-s\left)w\right)\hfill \\ & \le & \theta s\pi (x,u)+s(1-\theta )\pi (y,u)+\theta (1-s)\pi (x,w)+(1-\theta )(1-s)\pi (y,w).\hfill \end{array}$$

Quantum H-H’s type inequalities pertaining to coordinated convex functions are given in the next.

Theorem 68

([54]). Let $\pi :[x_1,x_2]\times [c_1,d_1]\subset {\mathbb{R}}^2\to \mathbb{R}$ be convex on coordinates on $[x_1,x_2]\times [c_1,d_1].$ Then, for all $q_1,q_2\in (0,1),$, we have

$$\begin{array}{ccc}& & \pi \left(\frac{x_1{q}_1+x_2}{1+q_1},\frac{c_1{q}_2+d_1}{1+q_2}\right)\hfill \\ & \le & \frac{1}{2}\left[\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x,\frac{c_1{q}_2+d_1}{1+q_2}\right){}_{x_1}{d}_{q_1}x+\frac{1}{d_1-c_1}{\int }_{c_1}^{d_1}\pi \left(\frac{x_1{q}_1+x_2}{1+q_1},y\right){}_{c_1}{d}_{q_2}y\right]\hfill \\ & \le & \frac{1}{(x_2-x_1)(d_1-c_1)}{\int }_{x_1}^{x_2}{\int }_{c_1}^{d_1}\pi (x,y){}_{c_1}{d}_{q_2}y{}_{x_1}{d}_{q_1}x\hfill \\ & \le & \frac{q_1}{2(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_1,y){}_{c_1}{d}_{q_2}y+\frac{1}{2(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_2,y){}_{c_1}{d}_{q_2}y\hfill \\ & & +\frac{q_2}{2(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,c_1){}_{x_1}{d}_{q_1}x+\frac{1}{2(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,d_1){}_{x_1}{d}_{q_1}x\hfill \\ & \le & \frac{q_1{q}_2\pi (x_1,c_1)+q_1\pi (x_1,d_1)+q_2\pi (x_2,c_1)+\pi (x_2,d_1)}{(1+q_1)(1+q_2)}.\hfill \end{array}$$

Theorem 69

([55]). Assume that π is as in Theorem 68. Then for all $q_1,q_2\in (0,1),$ we have

$$\begin{array}{ccc}& & \pi \left(\frac{x_1{q}_1+x_2}{1+q_1},\frac{c_1+d_1{q}_2}{1+q_2}\right)\hfill \\ & \le & \frac{1}{2}\left[\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\pi \left(x,\frac{c_1+d_1{q}_2}{1+q_2}\right){}_{x_1}{d}_{q_1}x+\frac{1}{d_1-c_1}{\int }_{c_1}^{d_1}\pi \left(\frac{x_1{q}_1+x_2}{1+q_1},y\right){}^{d_1}{d}_{q_2}y\right]\hfill \\ & \le & \frac{1}{(x_2-x_1)(d_1-c_1)}{\int }_{x_1}^{x_2}{\int }_{c_1}^{d_1}\pi (x,y){}^{d_1}{d}_{q_2}y{}_{x_1}{d}_{q_1}x\hfill \\ & \le & \frac{q_1}{2(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_1,y){}^{d_1}{d}_{q_2}y+\frac{1}{2(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_2,y){}^{d_1}{d}_{q_2}y\hfill \\ & & +\frac{1}{2(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,c_1){}_{x_1}{d}_{q_1}x+\frac{q_2}{2(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,d_1){}_{x_1}{d}_{q_1}x\hfill \\ & \le & \frac{q_1\pi (x_1,c_1)+q_1{q}_2\pi (x_1,d_1)+\pi (x_2,c_1)+q_2\pi (x_2,d_1)}{(1+q_1)(1+q_2)}.\hfill \end{array}$$

Theorem 70

([56]). Assume that function $\pi :\Delta \to \mathbb{R}$ is a coordinated convex. Then

$$\begin{array}{ccc}\hfill \pi \left(\frac{x_1+x_2}{2},\frac{c_1+d_1}{2}\right)& \le & \frac{1}{(x_2-x_1)(d_1-c_1)}[{\int }_{x_1}^{\frac{x_1+x_2}{2}}{\int }_{c_1}^{\frac{c_1+d_1}{2}}\pi (x,y){}^{\frac{c_1+d_1}{2}}{d}_{q_2}y{}^{\frac{x_1+x_2}{2}}{d}_{q_1}x\hfill \\ & & +{\int }_{x_1}^{\frac{x_1+x_2}{2}}{\int }_{\frac{c_1+d_1}{2}}^{d_1}\pi (x,y){}_{}^{\frac{c_1+d_1}{2}}{d}_{q_2}y{}^{\frac{x_1+x_2}{2}}{d}_{q_1}x\hfill \\ & & +{\int }_{\frac{x_1+x_2}{2}}^{x_2}{\int }_{c_1}^{\frac{c_1+d_1}{2}}\pi (x,y){}^{\frac{c_1+d_1}{2}}{d}_{q_2}y{}_{\frac{x_1+x_2}{2}}{d}_{q_1}x\hfill \\ & & +{\int }_{\frac{x_1+x_2}{2}}^{x_2}{\int }_{\frac{c_1+d_1}{2}}^{d_1}\pi (x,y){}_{\frac{c_1+d_1}{2}}{d}_{q_2}y{}_{\frac{x_1+x_2}{2}}{d}_{q_1}x]\hfill \\ & \le & \frac{1}{4}\left[\pi (x_1,c_1)+\pi (x_1,d_1)+\pi (x_2,c_1)+\pi (x_2,d_1)\right].\hfill \end{array}$$

Theorem 71

([56]). Assume that function $\pi :\Delta \to \mathbb{R}$ is a coordinated convex. Then

$$\begin{array}{ccc}\hfill \pi \left(\frac{x_1+x_2}{2},\frac{c_1+d_1}{2}\right)& \le & \frac{1}{(x_2-x_1)(d_1-c_1)}[{\int }_{x_1}^{\frac{x_1+x_2}{2}}{\int }_{c_1}^{\frac{c_1+d_1}{2}}\pi (x,y){}_{c_1}{d}_{q_2}y{}_{x_1}{d}_{q_1}x\hfill \\ & & +{\int }_{x_1}^{\frac{x_1+x_2}{2}}{\int }_{\frac{c_1+d_1}{2}}^{d_1}\pi (x,y){}^{d_1}{d}_{q_2}y{}_{x_1}{d}_{q_1}x\hfill \\ & & +{\int }_{\frac{x_1+x_2}{2}}^{x_2}{\int }_{c_1}^{\frac{c_1+d_1}{2}}\pi (x,y){}_{c_1}{d}_{q_2}y{}^{x_2}{d}_{q_1}x\hfill \\ & & +{\int }_{\frac{x_1+x_2}{2}}^{x_2}{\int }_{\frac{c_1+d_1}{2}}^{d_1}\pi (x,y){}^{d_1}{d}_{q_2}y{}^{x_2}{d}_{q_1}x]\hfill \\ & \le & \frac{1}{4}\left[\pi (x_1,c_1)+\pi (x_1,d_1+\pi (x_2,c_1)+\pi (x_2,d_1)\right].\hfill \end{array}$$

In what follows we introduce q-partial derivatives and definite q-integrals for the functions of two variables.

Definition 20

([57]). Let $\pi :\Delta =[x_1,x_2]\times [c_1,d_1]\subset {\mathbb{R}}^2\to \mathbb{R}$ be a continuous function of two variables and $0<q_1<1,0<q_2<1.$ The partial $q_1$-derivatives, $q_2$-derivatives, and $q_1{q}_2$-derivatives at $(x,y)\in [x_1,x_2]\times [c_1,d_1]$ can be defined as follows:

$$\begin{array}{ccc}\hfill \frac{{}_{x_1}{\partial }_{q_1}\pi (x,y)}{{}_{x_1}{\partial }_{q_1}x}& =& \frac{\pi (q_{1}x+(1-q_1)x_1,y)-\pi (x,y)}{(1-q_1)(x-x_1)},x\ne x_1,\hfill \\ \hfill \frac{{}_{c_1}{\partial }_{q_2}\pi (x,y)}{{}_{c_1}{\partial }_{q_2}y}& =& \frac{\pi (x,q_{2}y+(1-q_2)c_1)-\pi (x,y)}{(1-q_2)(y-c_1)},y\ne c_1,\hfill \\ \hfill \frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x,y)}{{}_{x_1}{\partial }_{q_1}x{}_{c_1}{\partial }_{q_2}y}& =& \frac{1}{(1-q_1)(1-q_2)(y-c_1)(x-x_1)}\hfill \\ & & \times \left[\pi \right(q_{1}x+(1-q_1)x_1,q_{2}y+(1-q_2)c_1)\hfill \\ & & -\pi (q_{1}x+(1-q_1)x_1,y)-\pi (x,q_{2}y+(1-q_2)c_1)\hfill \\ & & +\pi (x,y)],x\ne x_1,y\ne c_1.\hfill \end{array}$$

Definition 21

([57]). Let $\pi :\Delta =[x_1,x_2]\times [c_1,d_1]\subset {\mathbb{R}}^2\to \mathbb{R}$ be a continuous function of two variables and $0<q_1<1,0<q_2<1.$ The partial $q_1$-derivatives, $q_2$-derivatives, and $q_1{q}_2$-derivatives at $(x,y)\in [x_1,x_2]\times [c_1,d_1]$ can be defined as follows:

$$\begin{array}{ccc}\hfill {\int }_{c_1}^y{\int }_{x_1}^x\pi (x,y){}_{x_1}{d}_{q_1}{}_{c_1}{d}_{q_2}y& =& (1-q_1)(1-q_2)(x-x_1)(y-c_1)\hfill \\ & & \times \sum _{m=0}^{\infty }\sum _{n=0}^{\infty }{q}_1^n{q}_2^m\pi (q_1^{n}x+(1-q_1^n)x_1,q_2^{m}y+(1-q_2^m)c_1)\hfill \end{array}$$

for $(x,y)\in [x_1,x_2]\times [c_1,d_1].$

We present in the following H-H-type inequalities for functions of two variables that are convex on the coordinates.

Theorem 72

([57]). Let $\pi :\Delta =[x_1,x_2]\times [c_1,d_1]\subset {\mathbb{R}}^2\to \mathbb{R}$ be convex on the coordinates on $[x_1,x_2]\times [c_1,d_1].$ Then the following inequalities hold:

$$\begin{array}{ccc}& & \pi \left(\frac{x_1+x_2}{2},\frac{c_1+d_1}{2}\right)\hfill \\ & \le & \frac{1}{2(x_2-x_1)}{\int }_{x_1}^{x_2}\pi \left(x,\frac{c_1+d_1}{2}\right){}_{x_1}{d}_{q_1}x+\frac{1}{2(d_1-c_1)}{\int }_{c_1}^{d_1}\left(\frac{x_1+x_2}{2},y\right){}_{c_1}{d}_{q_2}y\hfill \\ & \le & \frac{1}{2(x_2-x_1)(d_1-c_1)}{\int }_{x_1}^{x_2}{\int }_{c_1}^{d_1}\pi (x,y){}_{c_1}{d}_{q_2}y{}_{x_1}{d}_{q_1}x\hfill \\ & \le & \frac{q_1}{2(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_1,y){}_{c_1}{d}_{q_2}y+\frac{1}{2(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_2,y){}_{c_1}{d}_{q_2}y\hfill \\ & & +\frac{1}{2(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,d_1){}_{x_1}{d}_{q_1}x+\frac{q_2}{2(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,c_1){}_{x_1}{d}_{q_1}x\hfill \\ & \le & \frac{q_1{q}_2\pi (x_1,c_1)+q_1\pi (x_1,d_1)+q_2\pi (x_2,c_1)+\pi (x_2,d_1)}{(1+q_1)(1+q_2)}.\hfill \end{array}$$

Theorem 73

([57]). Let $\pi :\mathsf{\Lambda }\subseteq {\mathbb{R}}^2\to \mathbb{R}$ be a twice partially $q_1{q}_2$-differentiable function on ${\mathsf{\Lambda }}^{\circ }$ with $0<q_1<1$ and $0<q_2<1.$ If partial $q_1{q}_2$-derivative ${\displaystyle \frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x,y)}{{}_{x_1}{\partial }_{q_1}x{}_{c_1}{\partial }_{q_2}y}}$ is continuous and integrable on $[x_1,x_2]\times [c_1,d_1]\subseteq {\mathsf{\Lambda }}^{\circ }$ and ${\displaystyle |\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x,y)}{{}_{x_1}{\partial }_{q_1}x{}_{c_1}{\partial }_{q_2}y}{|}^r}$ is convex on the coordinates on $[x_1,x_2]\times [c_1,d_1]$ for $r\ge 1,$ then the following inequality holds:

$$\begin{array}{ccc}& & |\frac{q_1{q}_2\pi (x_1,c_1)+q_1\pi (x_1,d_1)+q_2\pi (x_2,c_1)+\pi (x_2,d_1)}{(1+q_1)(1+q_2)}\hfill \\ & & -\frac{q_2}{(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,c_1){}_{x_1}{d}_{q_1}x-\frac{1}{(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,d_1){}_{x_1}{d}_{q_1}x\hfill \\ & & -\frac{q_1}{(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_1,y){}_{c_1}{d}_{q_2}y-\frac{1}{(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_2,y){}_{c_1}{d}_{q_2}y\hfill \\ & & +\frac{1}{(x_2-x_1)(d_1-c_1)}{\int }_{x_1}^{x_2}{\int }_{c_1}^{d_1}\pi (x,y){}_{c_1}{d}_{q_2}y{}_{x_1}{d}_{q_1}x|\hfill \\ & \le & \frac{q_1{q}_2(x_2-x_1)(d_1-c_1)}{(1+q_1)(1+q_2)}{\left({\mathsf{\Phi }}_{q_1}{\mathsf{\Phi }}_{q_2}\right)}^{1-\frac{1}{r}}\hfill \\ & & \times \left\{{\mathsf{\Psi }}_{q_1}{\mathsf{\Psi }}_{q_2}\right|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_1,c_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}{|}^r+Q_{q_2}{\mathsf{\Psi }}_{q_1}|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_2,c_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}{|}^r\hfill \\ & & +Q_{q_1}{\mathsf{\Psi }}_{q_2}|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_1,d_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}{|}^r+Q_{q_1}{Q}_{q_2}|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_2,d_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}{|}^r{\}}^{\frac{1}{r}},\hfill \end{array}$$

where

$$\begin{array}{ccc}\hfill {\mathsf{\Phi }}_q& =& {\int }_0^1\left|\right(1-(1+q)t|{}_0{d}_{q}t,\hfill \\ \hfill {\mathsf{\Psi }}_q& =& {\int }_0^1(1-t)|1-(1+q)t|{}_0{d}_{q}t,\hfill \\ \hfill Q_q& =& {\int }_0^{1}t|1-(1+q)t|{}_0{d}_{q}t.\hfill \end{array}$$

The next result is for quasi-convex functions on coordinates on $[x_1,x_2]\times [c_1,d_1].$

Definition 22

([57]). A function $\pi :\Delta \to \mathbb{R}$ is said to be quasi-convex on the coordinates on Δ, for all $t,s\in [0,1]$ and $(x,y),(u,v)\in \Delta ,$ if the following inequality holds:

$$\pi (ty+(1-t)x,sv+(1-s\left)u\right)\le sup\left\{\pi \right(x,y),\pi (x,v),\pi (u,y),\pi (u,v\left)\right\}.$$

Theorem 74

([57]). Let $\pi :\mathsf{\Lambda }\subseteq {\mathbb{R}}^2\to \mathbb{R}$ be a twice partially $q_1{q}_2$-differentiable function on ${\mathsf{\Lambda }}^{\circ }$ with $0<q_1<1$ and $0<q_2<1.$ If partial $q_1{q}_2$-derivative ${\displaystyle \frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x,y)}{{}_{x_1}{\partial }_{q_1}x{}_{c_1}{\partial }_{q_2}y}}$ is continuous and integrable on $[x_1,x_2]\times [c_1,d_1]\subseteq {\mathsf{\Lambda }}^{\circ }$ and ${\displaystyle |\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x,y)}{{}_{x_1}{\partial }_{q_1}x{}_{c_1}{\partial }_{q_2}y}{|}^r}$ is quasi-convex on coordinates on $[x_1,x_2]\times [c_1,d_1]$ for $r\ge 1,$ then the following inequality holds:

$$\begin{array}{ccc}& & |\frac{q_1{q}_2\pi (x_1,c_1)+q_1\pi (x_1,d_1)+q_2\pi (x_2,c_1)+\pi (x_2,d_1)}{(1+q_1)(1+q_2)}\hfill \\ & & -\frac{q_2}{(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,c_1){}_{x_1}{d}_{q_1}x-\frac{1}{(1+q_2)(x_2-x_1)}{\int }_{x_1}^{x_2}\pi (x,d_1){}_{x_1}{d}_{q_1}x\hfill \\ & & -\frac{q_1}{(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_1,y){}_{c_1}{d}_{q_2}y-\frac{1}{(1+q_1)(d_1-c_1)}{\int }_{c_1}^{d_1}\pi (x_2,y){}_{c_1}{d}_{q_2}y\hfill \\ & & +\frac{1}{(x_2-x_1)(d_1-c_1)}{\int }_{x_1}^{x_2}{\int }_{c_1}^{d_1}\pi (x,y){}_{c_1}{d}_{q_2}y{}_{x_1}{d}_{q_1}x|\hfill \\ & \le & \frac{q_1{q}_2(x_2-x_1)(d_1-c_1)}{(1+q_1)(1+q_2)}\left(\frac{4q_1{q}_2}{{(1+q_1)}^2{(1+q_2)}^2}\right)\hfill \\ & & \times sup\left\{\left|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_1,c_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}\right|,\left|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_2,c_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}\right|,\left|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_1,d_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}\right|,\left|\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi (x_2,d_1)}{{}_{x_1}{\partial }_{q_1}t{}_{c_1}{\partial }_{q_2}s}\right|\right\}.\hfill \end{array}$$

Theorem 75

([58]). Let $\pi :\mathsf{\Lambda }\subseteq {\mathbb{R}}^2\to \mathbb{R}$ be a twice partially $q_1{q}_2$-differentiable function on ${\mathsf{\Lambda }}^{\circ }.$ If ${\displaystyle \frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi }{{}_{x_1}{\partial }_{q_1}u{}_{c_1}{\partial }_{q_2}w}}$ is continuous and integrable on $[x_1,x_2]\times [c_1,d_1]\subseteq {\mathsf{\Lambda }}^{\circ }$ and ${\displaystyle |\frac{{}_{x_1,c_1}{\partial }_{q_1,q_2}^2\pi }{{}_{x_1}{\partial }_{q_1}u{}_{c_1}{\partial }_{q_2}w}{|}^r}$ is convex on the coordinates on $[x_1,x_2]\times [c_1,d_1]$ for $r>0,$ then the following inequality holds:

$$\begin{array}{ccc}& & |\pi \left(\frac{x_1{q}_1+x_2}{1+q_1},\frac{c_1{q}_2+d_1}{1+q_2}\right)-\frac{1}{(x_2-x_1)}{\int }_{x_1}^{x_2}\pi \left(u,\frac{c_1{q}_2+d_1}{1+q_2}\right){}_{x_1}{d}_{q_1}u\hfill \\ & & -\frac{1}{(d_1-c_1)}{\int }_{c_1}^{d_1}\pi \left(\frac{x_1{q}_1+x_2}{1+q_1},w\right){}_{c_1}{d}_{q_2}w\hfill \\ & & +\frac{1}{(x_2-x_1)(d_1-c_1)}{\int }_{x_1}^{x_2}{\int }_{c_1}^{d_1}\pi (u,w){}_{c_1}{d}_{q_2}w{}_{x_1}{d}_{q_1}u\hfill \\ & \le & q_1{q}_2(x_2-x_1)(d_1-c_1){\left({\int }_0^1{\int }_0^1{|k(u,w)}^p{}_0{d}_{q_2}w{}_0{d}_{q_1}u\right)}^{\frac{1}{p}}\hfill \\ & & \times \left[\frac{1}{(1+q_1)(1+q_2)}\right\{q_1{q}_2|\frac{{}_{x_1,c_1}{\partial }_{q_1{q}_2}^2\pi (x_1,c_1)}{{}_{x_1}{\partial }_{q_1}u{}_{c_1}{\partial }_{q_2}w}{|}^r+q_1|\frac{{}_{x_1,c_1}{\partial }_{q_1{q}_2}^2\pi (x_1,d_1)}{{}_{x_1}{\partial }_{q_1}u{}_{c_1}{\partial }_{q_2}w}{|}^r\hfill \\ & & +q_2|\frac{{}_{x_1,c_1}{\partial }_{q_1{q}_2}^2\pi (x_2,c_1)}{{}_{x_1}{\partial }_{q_1}u{}_{c_1}{\partial }_{q_2}w}{|}^r+|\frac{{}_{x_1,c_1}{\partial }_{q_1{q}_2}^2\pi (x_2,d_1)}{{}_{x_1}{\partial }_{p_1,q_1}t{}_{c_1}{\partial }_{p_2,q_2}w}{|}^r\}{]}^{\frac{1}{r}},\hfill \end{array}$$

where ${\displaystyle \frac{1}{p}+\frac{1}{r}=1}$ and

$$k(u,w)=\left\{\begin{array}{cc}uw,\hfill & (u,w)\in \left[0,\frac{1}{1+q_1}\right]\times \left[0,\frac{1}{1+q_2}\right]\hfill \\ u\left(w-\frac{1}{q_2}\right),\hfill & (u,w)\in \left[0,\frac{1}{1+q_1}\right]\times \left(\frac{1}{1+q_2},1\right]\hfill \\ w\left(u-\frac{1}{q_1}\right),\hfill & (u,w)\in \left(\frac{1}{1+q_1},1\right]\times \left[0,\frac{1}{1+q_2}\right]\hfill \\ \left(u-\frac{1}{q_1}\right)\left(w-\frac{1}{q_2}\right),\hfill & (u,w)\in \left(\frac{1}{1+q_1},1\right]\times \left(\frac{1}{1+q_2},q\right].\hfill \end{array}\right.$$

Quantum H-H type inequalities in the manner of Green functions.

In the next theorems we show quantum H-H type inequalities via Green functions.

Theorem 76

([59]). Let $\psi \in C^2\left([x_1,x_2]\right)$ be twice differentiable convex on $(x_1,x_2)$ such that $\psi \left(x\right)=\psi \left(x_1\right)+(x-x_1){\psi }^{\prime }\left(x_2\right)+{\int }_{x_1}^{x_2}G(x,\mu ){\psi }^{″}\left(\mu \right)d\mu ,$ $G(x,u)=\left\{\begin{array}{cc}{x}_1-u,\hfill & x_1\le u\le x,\hfill \\ x_1-x,\hfill & x\le u\le x_2.\hfill \end{array}\right.$ If $0<q<1,$ then:

$$\psi \left(\frac{q{x}_1+x_2}{q+1}\right)\le \frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\psi \left(x\right){}_{x_1}{d}_{q}x\le \frac{q\psi \left(x_1\right)+\psi \left(b\right)}{q+1}.$$

Theorem 77

([59]). Assume that function $\psi \in C^2\left([x_1,x_2]\right)$ is convex as in the previous Theorem 76. Then:

(i) 

If $|{\psi }^{″}|$ is non-decreasing, then

$$|\frac{q\psi \left(x_1\right)+\psi \left(x_2\right)}{q+1}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\psi \left(x\right){}_{x_1}{d}_{q}x|\le \left|{\psi }^{″}\left(x_2\right)\right|\left[\frac{q{(x_2-x_1)}^2}{6(1+q)}\right].$$

(ii) 

If $|{\psi }^{″}|$ is non-increasing, then

$$|\frac{q\psi \left(x_1\right)+\psi \left(x_2\right)}{q+1}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\psi \left(x\right){}_{x_1}{d}_{q}x|\le \left|{\psi }^{″}\left(x_1\right)\right|\left[\frac{q{(x_2-x_1)}^2}{6(1+q)}\right].$$

(iii) 

If $|{\psi }^{″}|$ is convex, then

$$\begin{array}{c}\hfill |\frac{q\psi \left(x_1\right)+\psi \left(x_2\right)}{q+1}-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\psi \left(x\right){}_{x_1}{d}_{q}x|\le max\left\{\right|{\psi }^{″}\left(x_1\right)|,|{\psi }^{″}\left(x_2\right)\left|\right\}\left[\frac{q{(x_2-x_1)}^2}{6(1+q)}\right].\end{array}$$

Theorem 78

([59]). Assume that function $\psi \in C^2\left([x_1,x_2]\right)$ is convex, as in Theorem 76. Then:

(i) 

If $|{\psi }^{″}|$ is non-decreasing, then

$$\begin{array}{ccc}& & |{\psi }^{″}\left(\frac{q{x}_1+x_2}{1+q}\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\psi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & |{\psi }^{″}\left(x_2\right)|\left[\frac{{(q{x}_1+x_2)}^2}{2{(1+q)}^2}-x_1\frac{q{x}_1+x_2}{1+q}+\frac{q{(x_2-x_1)}^2}{{(1+q)}^2}-\frac{{(x_2-x_1)}^2}{3(q+1)}\right]\hfill \\ & & -\frac{|{\psi }^{″}\left(x_2\right)|}{6(x_2-x_1)}[2x_1^3+x_2^3-3x_1{x}_2^2].\hfill \end{array}$$

(ii) 

If $|{\psi }^{″}|$ is non-increasing, then

$$\begin{array}{ccc}& & |{\psi }^{″}\left(\frac{q{x}_1+x_2}{1+q}\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\psi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & |{\psi }^{″}\left(x_1\right)|\left[\frac{{(q{x}_1+x_2)}^2}{2{(1+q)}^2}-x_1\frac{q{x}_1+x_2}{1+q}+\frac{q{(x_2-x_1)}^2}{{(1+q)}^2}-\frac{{(x_2-x_1)}^2}{3(q+1)}\right]\hfill \\ & & -\frac{|{\psi }^{″}\left(x_2\right)|}{6(x_2-x_1)}[2x_1^3+x_2^3-3x_1{x}_2^2].\hfill \end{array}$$

(iii) 

If $|{\psi }^{″}|$ is convex, then

$$\begin{array}{ccc}& & |{\psi }^{″}\left(\frac{q{x}_1+x_2}{1+q}\right)-\frac{1}{x_2-x_1}{\int }_{x_1}^{x_2}\psi \left(x\right){}_{x_1}{d}_{q}x|\hfill \\ & \le & max\left\{\right|{\psi }^{″}\left(x_1\right)|,|{\psi }^{″}\left(x_2\right)\left|\right\}\left[\frac{{(q{x}_1+x_2)}^2}{2{(1+q)}^2}-x_1\frac{q{x}_1+x_2}{1+q}+\frac{q{(x_2-x_1)}^2}{{(1+q)}^2}-\frac{{(x_2-x_1)}^2}{3(q+1)}\right]\hfill \\ & & -min\left\{\right|{\psi }^{″}\left(x_1\right)|,|{\psi }^{″}\left(x_2\right)\left|\right\}\left[\frac{2x_1^3+x_2^3-3x_1{x}_2^2}{6(x_2-x_1)}\right].\hfill \end{array}$$

Quantum H-H type inequalities in the mode of preinvex functions.

The following theorems deal with preinvex functions.

Definition 23

([60]). A real-valued set K is said to be an invex with respect to $\eta :K\times K\to {\mathbb{R}}^n,$ if for all $x,y\in K,$ we have

$$x+\theta \eta (y,x)\in K.$$

Definition 24

([60]). A real-valued function π is called preinvex with respect to η if

$$\pi (x+\theta \eta (y,x\left)\right)\le (1-\theta )\pi \left(x\right)+\theta \pi \left(y\right),$$

for all $x,y\in K,$ and $\theta \in [0,1].$

Condition C. Assume that real-valued subset A is invex subset with respect to $\eta :A\times A\to {\mathbb{R}}^n.$ Then η verifies the condition C if for all $x,y\in A$ and $\theta \in [0,1],$

$$\eta (y,y+\theta \eta (x,y\left)\right)=-$$