A new generalization of some quantum integral inequalities for quantum differentiable convex functions

Abstract

In this paper, we offer a new quantum integral identity, the result is then used to obtain some new estimates of Hermite–Hadamard inequalities for quantum integrals. The results presented in this paper are generalizations of the comparable results in the literature on Hermite–Hadamard inequalities. Several inequalities, such as the midpoint-like integral inequality, the Simpson-like integral inequality, the averaged midpoint–trapezoid-like integral inequality, and the trapezoid-like integral inequality, are obtained as special cases of our main results.

1 Introduction

The study of q-calculus was initiated in the early 20th century after the work of Jackson (1910) who defined an integral later known as the q-Jackson integral (see [16, 22, 23, 27, 28]). In q-calculus, the classical derivative is replaced by the q-difference operator to deal with nondifferentiable functions. For more discussion on this subject, we refer to [8, 21]. Applications of q-calculus can be found in various disciplines of mathematics and physics (see [13, 26, 36, 45]).

Many well-known integral inequalities, such as Hölder inequality, Hermite–Hadamard inequalities and Ostrowski inequality, Cauchy–Bunyakovsky–Schwarz inequality, Grüss inequality, Grüss–Chebysev inequality, and other integral inequalities, have been studied in the setup of q-calculus using the concept of classical convexity. For more results in this direction, we refer to [1–7, 10, 11, 14, 18–20, 24, 29–32, 34, 35, 37, 39–43, 46, 47].

The purpose of this paper is to prove several new quantum integral inequalities by applying the newly defined concept of a $q^{b}$-integral. We also discuss the relation of our results with comparable results existing in the literature.

The organization of this paper is as follows: In Sect. 2, a brief description of the concepts of q-calculus and some related works in this direction are given. In Sect. 3, the bounds of Hermite–Hadamard-type inequalities for the $q^{b}$-integrals are presented. In Sect. 4, several special cases of our main results are discussed. The relationship between the results presented herein and comparable results in the literature is also studied. Section 5 contains some conclusions and further directions for future research. We believe that the study initiated in this paper may inspire new research in this area.

2 Preliminaries of q-calculus and some inequalities

In this section, we first present some known definitions and related inequalities in the q-calculus. Set the following notation (see [28]):

$$ [ n ] _{q}=\frac{1-q^{n}}{1-q}=1+q+q^{2}+\cdots +q^{n-1},\quad q\in ( 0,1 ) . $$

Jackson [27] defined the q-Jackson integral of a given function f from 0 to b as follows:

$$ \int _{0}^{b}f ( x ) \,d_{q}x= ( 1-q ) b\sum_{n=0}^{\infty }q^{n}f \bigl( bq^{n} \bigr) ,\quad \text{where }0< q< 1, $$

(2.1)

provided that the sum converges absolutely.

Jackson [27] defined the q-Jackson integral of a given function over the interval $[a,b]$ as follows:

$$ \int _{a}^{b}f ( x ) \,d_{q}x= \int _{0}^{b}f ( x ) \,d_{q}x- \int _{0}^{a}f ( x ) \,d_{q}x. $$

Definition 1

([38])

Let $f: [ a,b ] \rightarrow \mathbb{R}$ be a function. The $q_{a}$-derivative of f at $x\in [ a,b ]$ is identified by the the following expression:

$$ _{a}D_{q}f ( x )= \frac{f ( x ) -f ( qx+ ( 1-q ) a ) }{ ( 1-q ) ( x-a ) },\quad x\neq a. $$

(2.2)

If $x=a$, we define ${}_{a}D_{q}f ( a ) =\lim_{x\rightarrow a}{} _{a}D_{q}f ( x )$ if it exists and is finite.

Definition 2

([15])

Let $f: [ a,b ] \rightarrow \mathbb{R}$ be a function. The $q^{b}$-derivative of f at $x\in [ a,b ]$ is given by

$$ {}^{b}D_{q}f ( x )= \frac{f ( qx+ ( 1-q ) b ) -f ( x ) }{ ( 1-q ) ( b-x ) },\quad x\neq b. $$

If $x=b$, we define ${}^{b}D_{q}f ( b ) =\lim_{x\rightarrow b}{} ^{b}D_{q}f ( x )$ if it exists and is finite.

Definition 3

([38])

Let $f: [ a,b ] \rightarrow \mathbb{R}$ be a function. Then, the $q_{a}$-definite integral on $[ a,b ]$ is defined by

$$\begin{aligned} \int _{a}^{b}f ( x ) {} _{a}\,d_{q}x =& ( 1-q ) ( b-a ) \sum _{n=0}^{\infty }q^{n}f \bigl( q^{n}b+ \bigl( 1-q^{n} \bigr) a \bigr) \\ =& ( b-a ) \int _{0}^{1}f \bigl( ( 1-t ) a+tb \bigr) \,d_{q}t. \end{aligned}$$

Alp et al. [11] proved the following $q_{a}$-Hermite–Hadamard inequalities for convex functions in the setting of quantum calculus:

Theorem 1

If $f: [ a,b ] \rightarrow \mathbb{R}$ is a convex differentiable function on $[ a,b ]$ and $0< q<1$. Then we have

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

(2.3)

In [11] and [33], the authors established some bounds for the left- and right-hand sides of the inequality (2.3).

On the other hand, Bermudo et al. [15] gave the following definition and obtained the related Hermite–Hadamard-type inequalities:

Definition 4

([15])

Let $f: [ a,b ] \rightarrow \mathbb{R}$ be a function. Then, the $q^{b}$-definite integral on $[ a,b ]$ is given by

$$\begin{aligned} \int _{a}^{b}f ( x ) {} ^{b}\,d_{q}x =& ( 1-q ) ( b-a ) \sum _{n=0}^{\infty }q^{n}f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) \\ =& ( b-a ) \int _{0}^{1}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t. \end{aligned}$$

Theorem 2

([15])

If $f: [ a,b ] \rightarrow \mathbb{R}$ is a convex, differentiable function on $[ a,b ]$ and $0< q<1$, then the q-Hermite–Hadamard inequalities are given as follows:

$$ f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \leq \frac{1}{b-a} \int _{a}^{b}f ( x ) {} ^{b}\,d_{q}x\leq \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}}. $$

(2.4)

From Theorems 1 and 2, one can obtain the following inequalities:

Corollary 1

([15])

For any convex function $f: [ a,b ] \rightarrow \mathbb{R}$ and $0< q<1$, we have

$$\begin{aligned} f \biggl( \frac{qa+b}{ [ 2 ] _{q}} \biggr) +f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \leq& \frac{1}{b-a} \biggl\{ \int _{a}^{b}f ( x ) {} _{a}\,d_{q}x+ \int _{a}^{b}f ( x ) {} ^{b}\,d_{q}x \biggr\} \\ \leq& f ( a ) +f ( b ) \end{aligned}$$

(2.5)

and

$$ f \biggl( \frac{a+b}{2} \biggr) \leq \frac{1}{2 ( b-a ) } \biggl\{ \int _{a}^{b}f ( x ) {} _{a}\,d_{q}x+ \int _{a}^{b}f ( x ) {} ^{b}\,d_{q}x \biggr\} \leq \frac{f ( a ) +f ( b ) }{2}. $$

(2.6)

We recall the following well-known inequality:

Theorem 3

(Hölder’s inequality, [12, p. 604])

Let $x>0$, $0< q<1$, $p_{1}>1$ be such that $\frac{1}{p_{1}}+\frac{1}{r_{1}}=1$. Then

$$ \int _{0}^{x} \bigl\vert f ( x ) g ( x ) \bigr\vert \,d_{q}x\leq \biggl( \int _{0}^{x} \bigl\vert f ( x ) \bigr\vert ^{p_{1}}\,d_{q}x \biggr) ^{\frac{1}{p_{1}}} \biggl( \int _{0}^{x} \bigl\vert g ( x ) \bigr\vert ^{r_{1}}\,d_{q}x \biggr) ^{\frac{1}{r_{1}}}. $$

3 Main results

In this section, we give some new estimates of Hermite–Hadamard-type inequalities for functions whose first $q^{b}$-derivatives in absolute value are convex.

Let’s start with the following useful lemma.

Lemma 1

If $f: [ a,b ] \subset \mathbb{R} \rightarrow \mathbb{R}$ is a $q^{b}$-differentiable function on $( a,b )$ such that ${}^{b}D_{q}f$ is continuous and integrable on $[ a,b ]$, then we have

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{\nu } ( qt+\gamma \nu - \gamma ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\nu }^{1} ( qt+\gamma \nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr), \end{aligned}$$

(3.1)

where $0< q<1$.

Proof

From Definition 2, it follows that

$$ {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) = \frac{f ( qta+ ( 1-qt ) b ) -f ( ta+ ( 1-t ) b ) }{ ( 1-q ) ( b-a ) t}. $$

By applying identical transformation, we obtain

$$\begin{aligned}& ( b-a ) \int _{0}^{\nu } ( qt+\gamma \nu -\gamma ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {}+ ( b-a ) \int _{\nu }^{1} ( qt+\gamma \nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \quad = ( b-a ) \int _{0}^{1} ( qt+\gamma \nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {}+ ( b-a ) \int _{0}^{\nu } ( 1-\gamma ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t. \end{aligned}$$

(3.2)

By the equality (2.1), we obtain

$$\begin{aligned}& \int _{0}^{\nu } {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \quad = \int _{0}^{\nu } \frac{f ( qta+ ( 1-qt ) b ) -f ( ta+ ( 1-t ) b ) }{ ( 1-q ) ( b-a ) t}\,d_{q}t \\& \quad =\frac{1}{b-a} \Biggl[ \sum_{n=0}^{\infty }f \bigl( q^{n+1} \nu a+ \bigl( 1-q^{n+1}\nu \bigr) b \bigr) - \sum_{n=0}^{ \infty }f \bigl( q^{n} \nu a+ \bigl( 1-q^{n}\nu \bigr) b \bigr) \Biggr] \\& \quad =\frac{1}{b-a} \bigl[ f ( b ) -f \bigl( \nu a+ ( 1- \nu ) b \bigr) \bigr] \end{aligned}$$

(3.3)

and

$$\begin{aligned}& \int _{0}^{1} {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \quad = \int _{0}^{1} \frac{f ( qta+ ( 1-qt ) b ) -f ( ta+ ( 1-t ) b ) }{ ( 1-q ) ( b-a ) t}\,d_{q}t \\& \quad =\frac{1}{b-a} \Biggl[ \sum_{n=0}^{\infty }f \bigl( q^{n+1}a+ \bigl( 1-q^{n+1} \bigr) b \bigr) -\sum _{n=0}^{\infty }f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) \Biggr] \\& \quad =\frac{1}{b-a} \bigl[ f ( b ) -f ( a ) \bigr] . \end{aligned}$$

(3.4)

It follows from (2.1) and Definition 4 that

$$\begin{aligned}& \int _{0}^{1}t ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \quad = \int _{0}^{1} \frac{f ( qta+ ( 1-qt ) b ) -f ( ta+ ( 1-t ) b ) }{ ( 1-q ) ( b-a ) }\,d_{q}t \\& \quad =\frac{1}{b-a} \Biggl[ \sum_{n=0}^{\infty }q^{n}f \bigl( q^{n+1}a+ \bigl( 1-q^{n+1} \bigr) b \bigr) -\sum _{n=0}^{\infty }q^{n}f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) \Biggr] \\& \quad =\frac{1}{b-a} \Biggl[ \frac{1}{q}\sum _{n=0}^{\infty }q^{n+1}f \bigl( q^{n+1}a+ \bigl( 1-q^{n+1} \bigr) b \bigr) -\sum _{n=0}^{ \infty }q^{n}f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) \Biggr] \\& \quad =\frac{1}{b-a} \Biggl[ \frac{1}{q}\sum _{n=0}^{\infty }q^{n}f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) - \frac{1}{q}f ( a ) -\sum_{n=0}^{\infty }q^{n}f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) \Biggr] \\& \quad =\frac{1}{b-a} \Biggl[ \biggl( \frac{1}{q}-1 \biggr) \sum_{n=0}^{ \infty }q^{n}f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) -\frac{1}{q}f ( a ) \Biggr] \\& \quad =\frac{1}{b-a} \biggl( \frac{1-q}{q} \biggr) \sum _{n=0}^{ \infty }q^{n}f \bigl( q^{n}a+ \bigl( 1-q^{n} \bigr) b \bigr) - \frac{1}{q ( b-a ) }f ( a ) \\& \quad =\frac{1}{q ( b-a ) ^{2}} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x-\frac{1}{q ( b-a ) }f ( a ) . \end{aligned}$$

(3.5)

Using (3.3), (3.4), and (3.5) in (3.2), we obtain the required identity. □

Remark 1

If we take $q\rightarrow 1^{-}$ in the Lemma 1, then we have [25, Lemma 2.1].

Before we present our main inequalities, we first give some calculated quantum integrals:

$$\begin{aligned}& A_{1q} ( \gamma ,\nu ) = \int _{0}^{\nu }t \vert qt+ \gamma \nu -\gamma \vert \,d_{q}t=\textstyle\begin{cases} \frac{\nu ^{3}q}{ [ 3 ] _{q}}- \frac{\nu ^{2}\gamma ( 1-\nu ) }{ [ 2 ] _{q}}+ \frac{2\gamma ^{3} ( 1-\nu ) ^{3}}{ ( [ 2 ] _{q} ) ( [ 3 ] _{q} ) }, & ( \gamma +q ) \nu >\gamma , \\ \frac{\nu ^{2}\gamma ( 1-\nu ) }{ [ 2 ] _{q}}- \frac{\nu ^{3}q}{ [ 3 ] _{q}}, & ( \gamma +q ) \nu \leq \gamma ,\end{cases}\displaystyle \\& B_{1q} ( \gamma ,\nu ) = \int _{0}^{\nu } ( 1-t ) \vert qt+\gamma \nu - \gamma \vert \,d_{q}t \\& \hphantom{B_{1q} ( \gamma ,\nu )}= \int _{0}^{\nu } \vert qt+\gamma \nu -\gamma \vert \,d_{q}t- \int _{0}^{\nu }t \vert qt+\gamma \nu -\gamma \vert \,d_{q}t \\& \hphantom{B_{1q} ( \gamma ,\nu )}=\textstyle\begin{cases} \frac{\nu ^{2}q+2\gamma ^{2} ( 1-\nu ) ^{2}+\nu ^{2}\gamma ( 1-\nu ) }{ [ 2 ] _{q}}-\nu \gamma ( 1-\nu ) -\frac{\nu ^{3}q}{ [ 3 ] _{q}}- \frac{2\gamma ^{3} ( 1-\nu ) ^{3}}{ ( [ 2 ] _{q} ) ( [ 3 ] _{q} ) }, & ( \gamma +q ) \nu >\gamma , \\ \nu \gamma ( 1-\nu ) - \frac{\nu ^{2}q+\nu ^{2}\gamma ( 1-\nu ) }{ [ 2 ] _{q}}+ \frac{\nu ^{3}q}{ [ 3 ] _{q}}, & ( \gamma +q ) \nu \leq \gamma ,\end{cases}\displaystyle \\& A_{2q} ( \gamma ,\nu ) = \int _{0}^{1}t \vert qt+ \gamma \nu -1 \vert \,d_{q}t=\textstyle\begin{cases} \frac{q}{ [ 3 ] _{q}}- \frac{1-\gamma \nu }{ [ 2 ] _{q}}+\frac{2 ( 1-\gamma \nu ) ^{3}}{ ( [ 2 ] _{q} ) ( [ 3 ] _{q} ) }, & \gamma \nu +q>1, \\ \frac{1-\gamma \nu }{ [ 2 ] _{q}}- \frac{q}{ [ 3 ] _{q}}, & \gamma \nu +q\leq 1,\end{cases}\displaystyle \\& B_{2q} ( \gamma ,\nu ) = \int _{0}^{1} ( 1-t ) \vert qt+\gamma \nu -1 \vert \,d_{q}t \\& \hphantom{B_{2q} ( \gamma ,\nu )}= \int _{0}^{1} \vert qt+\gamma \nu -1 \vert \,d_{q}t- \int _{0}^{1}t \vert qt+\gamma \nu -1 \vert \,d_{q}t \\& \hphantom{B_{2q} ( \gamma ,\nu )}=\textstyle\begin{cases} \frac{q+2 ( 1-\gamma \nu ) ^{2}+1-\gamma \nu }{ [ 2 ] _{q}}- ( 1-\gamma \nu ) -\frac{q}{ [ 3 ] _{q}}- \frac{2 ( 1-\gamma \nu ) ^{3}}{ ( [ 2 ] _{q} ) ( [ 3 ] _{q} ) }, & \gamma \nu +q>1, \\ 1-\gamma \nu -\frac{q+1-\gamma \nu }{ [ 2 ] _{q}}+ \frac{q}{ [ 3 ] _{q}}, & \gamma \nu +q\leq 1,\end{cases}\displaystyle \\& A_{3q} ( \gamma ,\nu ) = \int _{0}^{\nu }t \vert qt+ \gamma \nu -1 \vert \,d_{q}t=\textstyle\begin{cases} \frac{q\nu ^{3}}{ [ 3 ] _{q}}- \frac{\nu ^{2} ( 1-\gamma \nu ) }{ [ 2 ] _{q}}+ \frac{2 ( 1-\gamma \nu ) ^{3}}{ ( [ 2 ] _{q} ) ( [ 3 ] _{q} ) }, & \gamma \nu +q>1, \\ \frac{\nu ^{2} ( 1-\gamma \nu ) }{ [ 2 ] _{q}}- \frac{q\nu ^{3}}{ [ 3 ] _{q}}, & \gamma \nu +q\leq 1,\end{cases}\displaystyle \\& B_{3q} ( \gamma ,\nu ) = \int _{0}^{\nu } ( 1-t ) \vert qt+\gamma \nu -1 \vert \,d_{q}t \\& \hphantom{B_{3q} ( \gamma ,\nu )}= \int _{0}^{\nu } \vert qt+\gamma \nu -1 \vert \,d_{q}t- \int _{0}^{\nu }t \vert qt+\gamma \nu -1 \vert \,d_{q}t \\& \hphantom{B_{3q} ( \gamma ,\nu )}=\textstyle\begin{cases} \frac{\nu ^{2}+2 ( 1-\gamma \nu ) ^{2}+\nu ^{2} ( 1-\gamma \nu ) }{ [ 2 ] _{q}}- \nu ( 1-\gamma \nu ) - \frac{q\nu ^{3}}{ [ 3 ] _{q}}- \frac{2 ( 1-\gamma \nu ) ^{3}}{ ( [ 2 ] _{q} ) ( [ 3 ] _{q} ) }, & \gamma \nu +q>1, \\ \nu ( 1-\gamma \nu ) - \frac{q\nu ^{2}+\nu ^{2} ( 1-\gamma \nu ) }{ [ 2 ] _{q}}+ \frac{q\nu ^{3}}{ [ 3 ] _{q}}, & \gamma \nu +q\leq 1,\end{cases}\displaystyle \\& C_{1q} ( \gamma ,\nu ) = \int _{0}^{1} \vert qt+ \gamma \nu -1 \vert \,d_{q}t=\textstyle\begin{cases} \frac{q+2 ( 1-\gamma \nu ) ^{2}}{ [ 2 ] _{q}}- ( 1-\gamma \nu ) , & \gamma \nu +q>1, \\ ( 1-\gamma \nu ) -\frac{q}{ [ 2 ] _{q}}, & \gamma \nu +q\leq 1.\end{cases}\displaystyle \end{aligned}$$

Theorem 4

If $f: [ a,b ] \subset \mathbb{R} \rightarrow \mathbb{R}$ is a $q^{b}$-differentiable function on $( a,b )$ such that ${}^{b}D_{q}f$ is continuous and integrable on $[ a,b ]$, then we have the following inequality provided that $\vert {}^{b}D_{q}f \vert$ is convex on $[ a,b ]$:

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\& \quad \leq ( b-a ) \bigl[ \bigl(A_{1q} ( \gamma ,\nu ) +A_{2q} ( \gamma ,\nu ) -A_{3q} ( \gamma ,\nu ) \bigr) \big\vert {}^{b}D_{q}f ( a ) \bigl\vert \\& \qquad {} +\bigl(B_{1q} ( \gamma ,\nu ) +B_{2q} ( \gamma , \nu ) -B_{3q} ( \gamma ,\nu ) \bigr)\bigr\vert {}^{b}D_{q}f ( b ) \big\vert \bigr] , \end{aligned}$$

where $0< q<1$.

Proof

On taking the modulus in Lemma 1 and applying the convexity of $\vert {}^{b}D_{q}f \vert$, we obtain

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\& \quad \leq ( b-a ) \biggl[ \int _{0}^{\nu }\vert qt+ \gamma \nu -\gamma \vert \big\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \big\vert \,d_{q}t \\& \qquad {}+ \int _{\nu }^{1} \vert qt+\gamma \nu -1 \vert \bigl\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert \,d_{q}t \biggr] \\& \quad = ( b-a ) \biggl[ \int _{0}^{\nu } \vert qt+\gamma \nu -\gamma \vert \bigl\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert \,d_{q}t \\& \qquad {}+ \int _{0}^{1} \vert qt+ \gamma \nu -1 \vert \big\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \big\vert \,d_{q}t \\& \qquad {} - \int _{0}^{\nu }\vert qt+\gamma \nu -1 \vert \big\vert ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \big\vert \,d_{q}t \biggr] \\& \quad \leq ( b-a ) \biggl[ \bigl\vert {}^{b}D_{q}f ( a ) \bigr\vert \int _{0}^{\nu }t \vert qt+\gamma \nu - \gamma \vert \,d_{q}t+ \bigl\vert {}^{b}D_{q}f ( b ) \bigr\vert \int _{0}^{\nu } ( 1-t ) \vert qt+ \gamma \nu - \gamma \vert \,d_{q}t \\& \qquad {}+ \bigl\vert {}^{b}D_{q}f ( a ) \bigr\vert \int _{0}^{1}t \vert qt+\gamma \nu -1 \vert \,d_{q}t+ \bigl\vert {}^{b}D_{q}f ( b ) \bigr\vert \int _{0}^{1} ( 1-t ) \vert qt+\gamma \nu -1 \vert \,d_{q}t \\& \qquad {} - \bigl\vert {}^{b}D_{q}f ( a ) \bigr\vert \int _{0}^{\nu }t \vert qt+\gamma \nu -1 \vert \,d_{q}t- \bigl\vert {}^{b}D_{q}f ( b ) \bigr\vert \int _{0}^{\nu } ( 1-t ) \vert qt+\gamma \nu -1 \vert \,d_{q}t \biggr] \\& \quad = ( b-a ) \bigl[ \bigl(A_{1q} ( \gamma ,\nu ) +A_{2q} ( \gamma ,\nu ) -A_{3q} ( \gamma ,\nu ) \bigr) \vert {}^{b}D_{q}f ( a ) \bigl\vert \\& \qquad {} +\bigl(B_{1q} ( \gamma ,\nu ) +B_{2q} ( \gamma , \nu ) -B_{3q} ( \gamma ,\nu ) \bigr)\bigr\vert {}^{b}D_{q}f ( b ) \vert \bigr], \end{aligned}$$

which completes the proof. □

Remark 2

Under the assumptions of Theorem 4 with $q\rightarrow 1^{-}$, we have [25, Corollary 2.3].

Theorem 5

Suppose that $f: [ a,b ] \subset \mathbb{R} \rightarrow \mathbb{R}$ is a $q^{b}$-differentiable function on $( a,b )$ and ${}^{b}D_{q}f$ is continuous and integrable on $[ a,b ]$. If $\vert {}^{b}D_{q}f \vert ^{p_{1}}, p_{1}> 1$, is convex on $[ a,b ]$, then we have following inequality:

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\& \quad \leq ( b-a ) \bigl( C_{1q}(\gamma ,\nu ) \bigr) ^{1- \frac{1}{p_{1}}} \bigl( A_{2q}(\gamma ,\nu ) \big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}}+B_{2q}( \gamma ,\nu )\big\vert {}^{b}D_{q}f ( b ) \big\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ ( b-a ) \nu ^{1-\frac{1}{p_{1}}} \biggl( \frac{\nu ^{2}}{ [ 2 ] _{q}} \big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}}+\frac{\nu ( [ 2 ] _{q}-\nu ) }{ [ 2 ] _{q}} \big\vert {}^{b}D_{q}f ( b ) \big\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}}, \end{aligned}$$

where $0< q<1$.

Proof

Taking the modulus in Lemma 1 and applying the well-known power-mean inequality for quantum integrals, we have

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\& \quad = ( b-a ) \biggl\vert \int _{0}^{\nu } ( qt+\gamma \nu -\gamma ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {}+ \int _{\nu }^{1} ( qt+\gamma \nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr\vert \\& \quad = ( b-a ) \biggl\vert \int _{0}^{1} ( qt-\gamma \nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {}+ \int _{0}^{\nu } ( 1-\gamma ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr\vert \\& \quad \leq ( b-a ) \int _{0}^{1} \vert qt-\gamma \nu -1 \vert \big\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \big\vert \,d_{q}t \\& \qquad {}+ ( b-a ) ( 1-\gamma ) \int _{0}^{\nu } \big\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \big\vert \,d_{q}t \\& \quad \leq ( b-a ) \biggl( \int _{0}^{1} \vert qt+ \gamma \nu -1 \vert \,d_{q}t \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \int _{0}^{1} \bigl\vert qt+\gamma \nu -1 \big\vert \big\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{p_{1}}\,d_{q}t \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ ( b-a ) ( 1-\gamma ) \biggl( \int _{0}^{ \nu }1\,d_{q}t \biggr) ^{1-\frac{1}{p_{1}}} \biggl( \int _{0}^{ \nu } \bigl\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{p_{1}}\,d_{q}t \biggr) ^{\frac{1}{p_{1}}}. \end{aligned}$$

By the convexity of $\vert {}^{b}D_{q}f \vert ^{p_{1}}$, we have

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) {}^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\& \quad \leq ( b-a ) \biggl( \int _{0}^{1} \vert qt+ \gamma \nu -1 \vert \,d_{q}t \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \bigl\vert {}^{b}D_{q}f ( a ) \bigr\vert ^{p_{1}} \int _{0}^{1}t \vert qt+\gamma \nu -1 \vert \,d_{q}t \\& \qquad {}+ \bigl\vert {}^{b}D_{q}f ( b ) \bigr\vert ^{p_{1}} \int _{0}^{1} ( 1-t ) \vert qt+\gamma \nu -1 \vert \,d_{q}t \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ ( b-a ) ( 1-\gamma ) \biggl( \int _{0}^{ \nu }1\,d_{q}t \biggr) ^{1-\frac{1}{p_{1}}} \\& \qquad {}\times \biggl( \int _{0}^{\nu } \bigl\vert {}^{b}D_{q}f ( a ) \bigr\vert ^{p_{1}} \int _{0}^{\nu }t\,d_{q}t+ \bigl\vert {}^{b}D_{q}f ( b ) \bigr\vert ^{p_{1}} \int _{0}^{ \nu } ( 1-t ) \,d_{q}t \biggr) ^{\frac{1}{p_{1}}} \\& \quad = ( b-a ) \bigl( C_{1q}(\gamma ,\nu ) \bigr) ^{1- \frac{1}{p_{1}}} \bigl( A_{2q}(\gamma ,\nu ) \big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}}+B_{2q}(\gamma ,\nu ) \big\vert {}^{b}D_{q}f ( b ) \big\vert ^{p_{1}} \bigr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ ( b-a ) \nu ^{1-\frac{1}{p_{1}}} \biggl( \frac{\nu ^{2}}{ [ 2 ] _{q}} \big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}}+\frac{\nu ( [ 2 ] _{q}-\nu ) }{ [ 2 ] _{q}} \big\vert {}^{b}D_{q}f ( b ) \big\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}}, \end{aligned}$$

which completes the proof. □

Remark 3

If we take $q\rightarrow 1^{-}$ in Theorem 5, then we have [25, Theorem 2.2].

Theorem 6

Let $f: [ a,b ] \subset \mathbb{R} \rightarrow \mathbb{R}$ be a $q^{b}$-differentiable function on $( a,b )$ and ${}^{b}D_{q}f$ a continuous and integrable function on $[ a,b ]$. If $\vert {}^{b}D_{q}f \vert ^{p_{1}}$ is convex on $[ a,b ]$ for some $p_{1}>1$ and $\frac{1}{r_{1}}+\frac{1}{p_{1}}=1$, then we have

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\& \quad \leq ( b-a ) \bigl( u_{1q}(\gamma ,\nu ) \bigr) ^{ \frac{1}{r_{1}}} \biggl( \frac{ \vert {}^{b}D_{q}f ( a ) \vert ^{p_{1}}+q \vert {}^{b}D_{q}f ( b ) \vert ^{p_{1}}}{ [ 2 ] _{q}} \biggr) ^{\frac{1}{p_{1}}} \\& \qquad {}+ ( b-a ) \nu ^{\frac{1}{r_{1}}} \biggl( \frac{\nu ^{2}}{ [ 2 ] _{q}} \big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}}+\frac{\nu ( [ 2 ] _{q}-\nu ) }{ [ 2 ] _{q}} \big\vert {}^{b}D_{q}f ( b ) \big\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}}, \end{aligned}$$

(3.6)

where $0< q<1$ and

$$ u_{1q}(\gamma ,\nu )= \int _{0}^{1} \vert qt+\gamma \nu -1 \vert ^{r_{1}}\,d_{q}t. $$

Proof

Taking the modulus in the Lemma 1 and applying well-known Hölder’s inequality for quantum integrals, we obtain

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\ & \quad = ( b-a ) \biggl\vert \int _{0}^{\nu } ( qt+\gamma \nu -\gamma ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\ & \qquad {}+ \int _{\nu }^{1} ( qt+\gamma \nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr\vert \\ & \quad = ( b-a ) \biggl\vert \int _{0}^{1} ( qt-\gamma \nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\ & \qquad {}+ \int _{0}^{\nu } ( 1-\gamma ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr\vert \\ & \quad \leq ( b-a ) \int _{0}^{1} \vert qt-\gamma \nu -1 \vert \big\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \big\vert \,d_{q}t \\ & \qquad {}+ ( b-a ) ( 1-\gamma ) \int _{0}^{\nu } \big\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \big\vert \,d_{q}t \\ & \quad \leq ( b-a ) \biggl( \int _{0}^{1} \vert qt+ \gamma \nu -1 \vert ^{r_{1}}\,d_{q}t \biggr) ^{\frac{1}{r_{1}}} \biggl( \int _{0}^{1} \bigl\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{p_{1}}\,d_{q}t \biggr) ^{ \frac{1}{p_{1}}} \\ & \qquad {}+ ( b-a ) ( 1-\gamma ) \biggl( \int _{0}^{ \nu }1^{r_{1}}\,d_{q}t \biggr) ^{\frac{1}{r_{1}}} \biggl( \int _{0}^{ \nu } \bigl\vert {}^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{p_{1}}\,d_{q}t \biggr) ^{\frac{1}{p_{1}}}. \end{aligned}$$

Using the fact that $\vert {}^{b}D_{q}f \vert ^{p_{1}}$ is convex, we have

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] - ( 1-\gamma ) f \bigl( \nu a+ ( 1- \nu ) b \bigr) \biggr\vert \\ & \quad \leq ( b-a ) \biggl( \int _{0}^{1} \vert qt+ \gamma \nu -1 \vert ^{r_{1}}\,d_{q}t \biggr) ^{\frac{1}{r_{1}}} \\ & \qquad {}\times \biggl( \big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}} \int _{0}^{1}t\,d_{q}t+ \bigl\vert {}^{b}D_{q}f ( b ) \bigr\vert ^{p_{1}} \int _{0}^{1} ( 1-t ) \,d_{q}t \biggr) ^{ \frac{1}{p_{1}}} \\ & \qquad {}+ ( b-a ) ( 1-\gamma ) \biggl( \int _{0}^{ \nu }1^{r_{1}}\,d_{q}t \biggr) ^{\frac{1}{r_{1}}} \\ & \qquad {}\times \biggl( \big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}} \int _{0}^{\nu }t\,d_{q}t+ \bigl\vert {}^{b}D_{q}f ( b ) \bigr\vert ^{p_{1}} \int _{0}^{ \nu } ( 1-t ) \,d_{q}t \biggr) ^{\frac{1}{p_{1}}} \\ & \quad = ( b-a ) \bigl( u_{1q}(\gamma ,\nu ) \bigr) ^{ \frac{1}{r_{1}}} \biggl( \frac{ \vert {}^{b}D_{q}f ( a ) \vert ^{p_{1}}+q \vert {}^{b}D_{q}f ( b ) \vert ^{p_{1}}}{ [ 2 ] _{q}} \biggr) ^{\frac{1}{p_{1}}} \\ & \qquad {}+ ( b-a ) \nu ^{\frac{1}{r_{1}}} \biggl( \frac{\nu ^{2}}{ [ 2 ] _{q}}\big\vert {}^{b}D_{q}f ( a ) \big\vert ^{p_{1}}+\frac{\nu ( [ 2 ] _{q}-\nu ) }{ [ 2 ] _{q}} \big\vert {}^{b}D_{q}f ( b ) \big\vert ^{p_{1}} \biggr) ^{\frac{1}{p_{1}}}, \end{aligned}$$

which completes the proof. □

Remark 4

On taking limit as $q\rightarrow 1^{-}$ in Theorem 6, we have [25, Theorem 2.8].

4 Special cases

In this section, we discus special cases of our main results and the relationship between the results presented herein and comparable results in the literature.

Remark 5

From Lemma 1, we have following observations:

• (i) If we take $\nu =0$, then we obtain following new identity:

  $$\begin{aligned}& ( b-a ) \int _{0}^{1} ( qt-1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x-f ( b ) . \end{aligned}$$

  (4.1)

• (ii) By setting $\nu =1$ in Lemma 1, we obtain following new identity:

  $$\begin{aligned}& ( b-a ) \int _{0}^{1}qt ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x-f ( a ) . \end{aligned}$$

  (4.2)

• (iii) Set $\nu =\frac{1}{ [ 2 ] _{q}}$ to obtain the following new identity:

  $$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{ \frac{1}{ [ 2 ] _{q}}} \biggl( qt- \frac{\gamma q}{ [ 2 ] _{q}} \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\frac{1}{ [ 2 ] _{q}}}^{1} \biggl( qt+ \frac{\gamma }{ [ 2 ] _{q}}-1 \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}}- ( 1-\gamma ) f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) . \end{aligned}$$

  (4.3)

Remark 6

In the following, we give the different variants of Lemma 1.

(i) If we set $\gamma =0$, in Lemma 1, we have following new identity:

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{\nu }qt ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t+ \int _{\nu }^{1} ( qt-1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x-f \bigl( \nu a+ ( 1-\nu ) b \bigr) . \end{aligned}$$

(4.4)

Specifically, for $\nu =\frac{1}{ [ 2 ] _{q}}$, we have following midpoint-like identity given in [17, Lemma 2]:

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{ \frac{1}{ [ 2 ] _{q}}}qt ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t+ \int _{ \frac{1}{ [ 2 ] _{q}}}^{1} ( qt-1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x-f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) . \end{aligned}$$

(ii) Taking $\gamma =\frac{1}{3}$ in Lemma 1, we have following new identity:

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{\nu } \biggl( qt+\frac{1}{3} \nu -\frac{1}{3} \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\nu }^{1} \biggl( qt+\frac{1}{3} \nu -1 \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{1}{3} \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) +2f \bigl( \nu a+ ( 1-\nu ) b \bigr) \bigr] . \end{aligned}$$

(4.5)

Specifically, for $\nu =\frac{1}{ [ 2 ] _{q}}$, we have Simpson-like integral identity given as follows:

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{ \frac{1}{ [ 2 ] _{q}}} \biggl( qt- \frac{q}{3 ( [ 2 ] _{q} ) } \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\frac{1}{ [ 2 ] _{q}}}^{1} \biggl( qt+ \frac{1}{3 ( [ 2 ] _{q} ) }-1 \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{1}{3} \biggl[ \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}}+2f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \biggr] . \end{aligned}$$

(4.6)

(iii) If we set $\gamma =\frac{1}{2}$ in Lemma 1, then we have following new identity:

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{\nu } \biggl( qt+\frac{1}{2} \nu -\frac{1}{2} \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\nu }^{1} \biggl( qt+\frac{1}{2} \nu -1 \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{1}{2} \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) +f \bigl( \nu a+ ( 1-\nu ) b \bigr) \bigr] . \end{aligned}$$

(4.7)

Specifically, for $\nu =\frac{1}{ [ 2 ] _{q}}$, we get following averaged midpoint–trapezoid-type integral identity:

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{ \frac{1}{ [ 2 ] _{q}}} \biggl( qt- \frac{q}{2 ( [ 2 ] _{q} ) } \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\frac{1}{ [ 2 ] _{q}}}^{1} \biggl( qt+ \frac{1}{2 ( [ 2 ] _{q} ) }-1 \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{1}{2} \biggl[ \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}}+f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \biggr] . \end{aligned}$$

(4.8)

(iv) By setting $\gamma =1$ in Lemma 1,we have following new identity

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{\nu } ( qt+\nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\nu }^{1} ( qt+\nu -1 ) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \bigl[ \nu f ( a ) + ( 1-\nu ) f ( b ) \bigr] . \end{aligned}$$

(4.9)

Specifically, for $\nu =\frac{1}{ [ 2 ] _{q}}$, we have following trapezoid-like integral identity given in [17, Lemma 1]:

$$\begin{aligned}& ( b-a ) \biggl[ \int _{0}^{ \frac{1}{ [ 2 ] _{q}}} \biggl( qt+ \frac{1}{ [ 2 ] _{q}}-1 \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \\& \qquad {} + \int _{\frac{1}{ [ 2 ] _{q}}}^{1} \biggl( qt+ \frac{1}{ [ 2 ] _{q}}-1 \biggr) ^{b}D_{q}f \bigl( ta+ ( 1-t ) b \bigr) \,d_{q}t \biggr] \\& \quad =\frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}}. \end{aligned}$$

Corollary 2

Under the assumptions of Theorem 4with $\nu =\frac{1}{ [ 2 ] _{q}}$, we have following new inequality:

$$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \gamma \biggl[ \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}} \biggr] - ( 1-\gamma ) f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \biggr\vert \\& \quad \leq ( b-a ) \biggl[ \biggl( A_{1q} \biggl( \gamma , \frac{1}{ [ 2 ] _{q}} \biggr) +A_{2q} \biggl( \gamma , \frac{1}{ [ 2 ] _{q}} \biggr) -A_{3q} \biggl( \gamma , \frac{1}{ [ 2 ] _{q}} \biggr) \biggr) \vert {}^{b}D_{q}f ( a ) \biggl\vert \\& \qquad {} + \biggl( B_{1q} \biggl( \gamma , \frac{1}{ [ 2 ] _{q}} \biggr) +B_{2q} \biggl( \gamma , \frac{1}{ [ 2 ] _{q}} \biggr) -B_{3q} \biggl( \gamma , \frac{1}{ [ 2 ] _{q}} \biggr) \biggr) \biggr\vert {}^{b}D_{q}f ( b ) \vert \biggr] . \end{aligned}$$

(4.10)

Remark 7

We now deduce some more inequalities from Corollary 2.

• (i) By putting $\gamma =0$ in Corollary 2, we obtain following midpoint-type inequality [17, Theorem 5]:

  $$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x-f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \biggr\vert \\& \quad \leq ( b-a ) \biggl[ \vert {}^{b}D_{q}f ( a ) \vert \frac{3q}{( [ 2 ] _{q})^{3} ( [ 3 ] _{q} ) }+ \vert {}^{b}D_{q}f ( b ) \vert \frac{-q+2q^{2}+q^{3}}{ ( [ 2 ] _{q} ) ^{3} ( [ 3 ] _{q} ) } \biggr] . \end{aligned}$$

• (ii) If we take $\gamma =\frac{1}{3}$ in Corollary 2, then we get following Simpson’s-type inequality:

  $$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{1}{3} \biggl[ \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}}+2f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \biggr] \biggr\vert \\& \quad \leq ( b-a ) \biggl[ \biggl( A_{1q} \biggl( \frac{1}{3}, \frac{1}{ [ 2 ] _{q}} \biggr) +A_{2q} \biggl( \frac{1}{3}, \frac{1}{ [ 2 ] _{q}} \biggr) -A_{3q} \biggl( \frac{1}{3}, \frac{1}{ [ 2 ] _{q}} \biggr) \biggr) \vert {}^{b}D_{q}f ( a ) \biggl\vert \\& \qquad {} + \biggl( B_{1q} \biggl( \frac{1}{3}, \frac{1}{ [ 2 ] _{q}} \biggr) +B_{2q} \biggl( \frac{1}{3},\frac{1}{ [ 2 ] _{q}} \biggr) -B_{3q} \biggl( \frac{1}{3},\frac{1}{ [ 2 ] _{q}} \biggr) \biggr) \biggr\vert {}^{b}D_{q}f ( b ) \vert \biggr] . \end{aligned}$$

  (4.11)

  Specifically for $q\rightarrow 1^{-}$, we have following inequality given by Alomori et al. [9, Corollary 1]:

  $$ \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x )\,dx- \frac{1}{3} \biggl[ \frac{f ( a ) +f ( b ) }{2}+2f \biggl( \frac{a+b}{2} \biggr) \biggr] \biggr\vert \leq \frac{5 ( b-a ) }{72} \bigl[ \bigl\vert f^{\prime } ( b ) \bigr\vert + \bigl\vert f^{\prime } ( a ) \bigr\vert \bigr] . $$

• (iii) Take $\gamma =\frac{1}{2}$ in Corollary 2 to obtain the following averaged midpoint–trapezoid-type inequality:

  $$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{1}{2} \biggl[ \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}}+f \biggl( \frac{a+qb}{ [ 2 ] _{q}} \biggr) \biggr] \biggr\vert \\& \quad \leq ( b-a ) \biggl[ \biggl( A_{1q} \biggl( \frac{1}{2}, \frac{1}{ [ 2 ] _{q}} \biggr) +A_{2q} \biggl( \frac{1}{2}, \frac{1}{ [ 2 ] _{q}} \biggr) -A_{3q} \biggl( \frac{1}{2}, \frac{1}{ [ 2 ] _{q}} \biggr) \biggr) \big\vert {}^{b}D_{q}f ( a ) \big\vert \\& \qquad {} + \biggl( B_{1q} \biggl( \frac{1}{2}, \frac{1}{ [ 2 ] _{q}} \biggr) +B_{2q} \biggl( \frac{1}{2},\frac{1}{ [ 2 ] _{q}} \biggr) -B_{3q} \biggl( \frac{1}{2},\frac{1}{ [ 2 ] _{q}} \biggr) \biggr) \big\vert {}^{b}D_{q}f ( b ) \big\vert \biggr] . \end{aligned}$$

  (4.12)

  Specifically, for $q\rightarrow 1^{-}$, we obtain the following inequality in [44, Corollary 3.4]:

  $$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x )\,dx- \frac{1}{2} \biggl[ \frac{f ( a ) +f ( b ) }{2}+f \biggl( \frac{a+b}{2} \biggr) \biggr] \biggr\vert \\& \quad \leq \frac{b-a}{16} \bigl[ \bigl\vert f^{\prime } ( b ) \bigr\vert + \bigl\vert f^{\prime } ( a ) \bigr\vert \bigr] . \end{aligned}$$

• (iv) If we take $\gamma =1$ in Corollary 2, then we obtain following trapezoid-type integral inequality:

  $$\begin{aligned}& \biggl\vert \frac{1}{b-a} \int _{a}^{b}f ( x ) ^{b}\,d_{q}x- \frac{f ( a ) +qf ( b ) }{ [ 2 ] _{q}} \biggr\vert \\& \quad \leq ( b-a ) \biggl[ \big\vert {}^{b}D_{q}f ( a ) \big\vert \frac{q^{2} ( 1+4q+q^{2} ) }{ ( [ 2 ] _{q} ) ^{4} ( [ 3 ] _{q} ) }+ \big\vert {}^{b}D_{q}f ( b ) \big\vert \frac{q^{2} ( 1+3q^{2}+2q^{3} ) }{ ( [ 2 ] _{q} ) ^{4} ( [ 3 ] _{q} ) } \biggr] , \end{aligned}$$

  which is given by Budak in [17, Theorem 3].

Remark 8

Under the assumptions of Theorems 5 and 6 with $\nu =\frac{1}{ [ 2 ] _{q}}$, we may choose $\gamma =0$, $\gamma =\frac{1}{3}$, $\gamma =\frac{1}{2}$, and $\gamma =1$, to obtain the midpoint-like integral inequality, the Simpson-like integral inequality, the averaged midpoint–trapezoid-like integral inequality and the trapezoid-like integral inequality, respectively.

5 Conclusions

In this paper, some new bounds of Hermite–Hadamard inequalities for convex functions by applying the notions of the newly defined $q^{b}$-integral and $q^{b}$-derivative are obtained. It is shown that the results proved herein are generalizations of the existing comparable results in the literature, like the results proved in [9, 17, 25, 44]. It is an interesting and new problem that the upcoming researchers can offer similar inequalities for different kinds of convexity in their future work.