Post-Quantum Midpoint-Type Inequalities Associated with Twice-Differentiable Functions

Abstract

In this study, first we establish a $\left(p,q\right)$-integral identity involving the second $\left(p,q\right)$-derivative, and then, we use this result to prove some new midpoint-type inequalities for twice-$\left(p,q\right)$-differentiable convex functions. It is also shown that the newly established results are the refinements of the comparable results in the literature.

1. Introduction

In convex functions theory, the Hermite–Hadamard (HH) inequality is very important, which was discovered by C. Hermite and J. Hadamard independently (see [1] (p. 137)).

(1)$\Pi \left(\frac{{\pi }_1+{\pi }_2}{2}\right)\le \frac{1}{{\pi }_2-{\pi }_1}\underset{{\pi }_1}{\overset{{\pi }_2}{\int }}\Pi \left(\varkappa \right)d\varkappa \le \frac{\Pi \left({\pi }_1\right)+\Pi \left({\pi }_2\right)}{2}$

where $\Pi$ is a convex function. In the case of concave mappings, the above inequality is satisfied in reverse order. For more recent refinements of Inequality (1), one can consult [2,3].

On the other hand, several works in the field of q-analysis are being carried out, beginning with Euler, in order to achieve mastery of the mathematics that drives quantum computing. The link between physics and mathematics is referred to as q-calculus. It has a wide range of applications in mathematics, including number theory, combinatorics, orthogonal polynomials, basic hypergeometric functions, and other disciplines, as well as mechanics, relativity theory, and quantum theory [4,5]. Quantum calculus also has many applications in quantum information theory, which is an interdisciplinary area that encompasses computer science, information theory, philosophy, and cryptography, among other areas [6,7]. Euler is thought to be the inventor of this significant branch of mathematics. In Newton’s work on infinite series, he used the q-parameter. Jackson [8,9] was the first to present the q-calculus, who knew calculus without limits in a methodical manner. In 1966, Al-Salam [10] introduced a q-analogue of the q-fractional integral and q-Riemann–Liouville fractional. Since then, the related research has gradually increased. In particular, in 2013, Tariboon introduced the ${}_{{\pi }_1}{D}_q$-difference operator and $q_{{\pi }_1}$-integral in [11]. In 2020, Bermudo et al. introduced the notion of the ${}^{{\pi }_2}{D}_q$-derivative and $q^{{\pi }_2}$-integral in [12]. Sadjang generalized to quantum calculus and introduced the notions of post-quantum calculus or simply $\left(p,q\right)$-calculus in [13]. Soontharanon et al. [14] studied the concepts of fractional $\left(p,q\right)$-calculus later on. In [15], Tunç and Göv gave the post-quantum variant of the ${}_{{\pi }_1}{D}_q$-difference operator and $q_{{\pi }_1}$-integral. Recently, in 2021, Chu et al. introduced the notions of the ${}^{{\pi }_2}{D}_{p,q}$-derivative and ${\left(p,q\right)}^{{\pi }_2}$-integral in [16].

Many integral inequalities have been studied using quantum and post-quantum integrals for various types of functions. For example, in [17,18,19,20,21,22], the authors used ${}_{{\pi }_1}{D}_q{,}^{{\pi }_2}{D}_q$-derivatives and $q_{{\pi }_1},q^{{\pi }_2}$-integrals to prove HH integral inequalities and their left-right estimates for convex and coordinated convex functions. In [23], Noor et al. presented a generalized version of quantum integral inequalities. For generalized quasi-convex functions, Nwaeze et al. proved certain parameterized quantum integral inequalities in [24]. Khan et al. proved the quantum HH inequality using the Green function in [25]. Budak et al. [26], Ali et al. [27], and Vivas-Cortez et al. [28] developed new quantum Simpson and quantum Newton-type inequalities for convex and coordinated convex functions. For quantum Ostrowski inequalities for convex and coordinated convex functions, one can consult [29,30]. Kunt et al. [31] generalized the results of [19] and proved HH-type inequalities and their left estimates using the ${}_{{\pi }_1}{D}_{p,q}$-difference operator and ${\left(p,q\right)}_{{\pi }_1}$-integral. Recently, Latif et al. [32] found the right estimates of the HH-type inequalities proven by Kunt et al. [31]. To prove Ostrowski’s inequalities, Chu et al. [16] used the concepts of the ${}^{{\pi }_2}{D}_{p,q}$-difference operator and ${\left(p,q\right)}^{{\pi }_2}$-integral. Recently, Vivas-Cortez et al. [33] generalized the results of [12] and proved the HH-type inequalities and their left estimates using the ${}^{{\pi }_2}{D}_{p,q}$-difference operator and ${\left(p,q\right)}^{{\pi }_2}$-integral.

Inspired by the ongoing studies, we use the $(p,q)$-integral to develop some new post-quantum midpoint-type inequalities for $(p,q)$-differentiable convex functions. We also show that the newly developed inequalities are extensions of some previously known inequalities.

The following is the structure of this paper: Section 2 provides a brief overview of the fundamentals of q-calculus, as well as other related studies in this field. In Section 3, we go over the concepts of $(p,q)$-calculus, as well as some recent research in this field. The midpoint-type inequalities for twice $(p,q)$-differentiable functions via $(p,q)$-integrals are described in Section 4. The relationship between the findings reported here and similar findings in the literature is also taken into account. Section 5 concludes with some recommendations for future research.

2. Quantum Derivatives and Integrals

In this portion, we recall a few known definitions in q-calculus. Throughout the paper, we use real numbers p and q such that $0<q<p\le 1.$ Set the following notation (see [5]):

$\begin{array}{ccc}\hfill {\left[n\right]}_q& =& \frac{1-q^n}{1-q}=1+q+q^2+...+q^{n-1},\hfill \\ \hfill {\left(1-s\right)}_q^n& =& {\left(s,q\right)}_n=\prod _{i=0}^{n-1}\left(1-q^{i}s\right).\hfill \end{array}$

The q-Jackson integral of a mapping $\Pi$ from zero to ${\pi }_2$ was given by Jackson [9], which is defined as:

(2)$\underset{0}{\overset{{\pi }_2}{\int }}\Pi \left(\varkappa \right)\begin{array}{c}{d}_q\varkappa \end{array}=\left(1-q\right){\pi }_2\sum _{n=0}^{\infty }{q}^n\Pi \left({\pi }_2{q}^n\right)$

provided that the sum converges absolutely. Moreover, over the interval $[{\pi }_1,{\pi }_2],$ he gave the following integral of a mapping $\Pi$:

$\underset{{\pi }_1}{\overset{{\pi }_2}{\int }}\Pi \left(\varkappa \right)\begin{array}{c}{d}_q\varkappa \end{array}=\underset{0}{\overset{{\pi }_2}{\int }}\Pi \left(\varkappa \right)\begin{array}{c}{d}_q\varkappa \end{array}-\underset{0}{\overset{{\pi }_1}{\int }}\Pi \left(\varkappa \right)\begin{array}{c}{d}_q\varkappa \end{array}.$

Definition 1

([11]). The $q_{{\pi }_1}$-derivative of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ is defined as:

(3)$\begin{array}{c}{}_{{\pi }_1}{D}_q\Pi \left(\varkappa \right)\end{array}=\frac{\Pi \left(\varkappa \right)-\Pi \left(q\varkappa +\left(1-q\right){\pi }_1\right)}{\left(1-q\right)\left(\varkappa -{\pi }_1\right)},\varkappa \ne {\pi }_1.$

For $\varkappa ={\pi }_1$, we state ${}_{{\pi }_1}{D}_q\Pi \left({\pi }_1\right)={lim}_{\varkappa \to {\pi }_1}{}_{{\pi }_1}{D}_q\Pi \left(\varkappa \right)$ if it exists and it is finite.

Definition 2

([12]). The $q^{{\pi }_2}$-derivative of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ is given as:

(4)$\begin{array}{c}{}^{{\pi }_2}{D}_q\Pi \left(\varkappa \right)\end{array}=\frac{\Pi \left(q\varkappa +\left(1-q\right){\pi }_2\right)-\Pi \left(\varkappa \right)}{\left(1-q\right)\left({\pi }_2-\varkappa \right)},\varkappa \ne {\pi }_2.$

For $\varkappa ={\pi }_2$, we state ${}^{{\pi }_2}{D}_q\Pi \left({\pi }_2\right)={lim}_{\varkappa \to {\pi }_2}{}^{{\pi }_2}{D}_q\Pi \left(\varkappa \right)$ if it exists and it is finite.

Definition 3

([11]). The $q_{{\pi }_1}$-definite integral of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ on $\left[{\pi }_1,{\pi }_2\right]$ is defined as:

(5)$\underset{{\pi }_1}{\overset{\varkappa }{\int }}\Pi \left(\tau \right)\begin{array}{c}{}_{{\pi }_1}{d}_q\tau \end{array}=\left(1-q\right)\left(\varkappa -{\pi }_1\right)\sum _{n=0}^{\infty }{q}^n\Pi \left(q^n\varkappa +\left(1-q^n\right){\pi }_1\right),\varkappa \in \left[{\pi }_1,{\pi }_2\right].$

On the other side, the following concept of the q-definite integral was stated by Bermudo et al. [12]:

Definition 4

([12]). The $q^{{\pi }_2}$-definite integral of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ on $\left[{\pi }_1,{\pi }_2\right]$ is given as:

(6)$\underset{\varkappa }{\overset{{\pi }_2}{\int }}\Pi \left(\tau \right)\begin{array}{c}{}^{{\pi }_2}{d}_q\tau \end{array}=\left(1-q\right)\left({\pi }_2-\varkappa \right)\sum _{n=0}^{\infty }{q}^n\Pi \left(q^n\varkappa +\left(1-q^n\right){\pi }_2\right),\varkappa \in \left[{\pi }_1,{\pi }_2\right].$

3. Post-Quantum Derivatives and Integrals

In this section, we review some fundamental notions and notations of $\left(p,q\right)$-calculus.

We set the notation (see [13]):

${\left[n\right]}_{p,q}=\frac{p^n-q^n}{p-q}.$

The ${\left[n\right]}_{p,q}!$, $\left[\begin{array}{c}n\\ k\end{array}\right]!$ and ${\left(1-s\right)}_{p,q}^n$ are called the ($p,q$)-factorial, ($p,q$)-binomial and $\left(p,q\right)$-power, respectively, and are expressed as (see [13]):

$\begin{array}{ccc}\hfill {\left[n\right]}_{p,q}!& =& \prod _{k=1}^n{\left[k\right]}_{p,q},n\ge 1,{\left[0\right]}_{p,q}!=1,\hfill \\ \hfill \left[\begin{array}{c}n\\ k\end{array}\right]!& =& \frac{{\left[n\right]}_{p,q}!}{{\left[n-k\right]}_{p,q}!{\left[k\right]}_{p,q}!}\hfill \end{array}$

and:

${\left(1-s\right)}_{p,q}^n=\prod _{i=0}^{n-1}\left(p^i-q^{i}s\right).$

Definition 5

([13]). The $\left(p,q\right)$-derivative of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ is given as:

(7)$D_{p,q}\Pi \left(\varkappa \right)=\frac{\Pi \left(p\varkappa \right)-\Pi \left(q\varkappa \right)}{\left(p-q\right)\varkappa },\varkappa \ne 0.$

Definition 6

([15]). The ${\left(p,q\right)}_{{\pi }_1}$-derivative of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ is given as:

(8)${}_{{\pi }_1}{D}_{p,q}\Pi \left(\varkappa \right)=\frac{\Pi \left(p\varkappa +\left(1-p\right){\pi }_1\right)-\Pi \left(q\varkappa +\left(1-q\right){\pi }_1\right)}{\left(p-q\right)\left(\varkappa -{\pi }_1\right)},\varkappa \ne {\pi }_1.$

For $\varkappa ={\pi }_1$, we state ${}_{{\pi }_1}{D}_{p,q}\Pi \left({\pi }_1\right)={lim}_{\varkappa \to {\pi }_1}{}_{{\pi }_1}{D}_{p,q}\Pi \left(\varkappa \right)$ if it exists and it is finite.

Definition 7

([16]). The ${\left(p,q\right)}^{{\pi }_2}$-derivative of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ is given as:

(9)${}^{{\pi }_2}{D}_{p,q}\Pi \left(\varkappa \right)=\frac{\Pi \left(q\varkappa +\left(1-q\right){\pi }_2\right)-\Pi \left(p\varkappa +\left(1-p\right){\pi }_2\right)}{\left(p-q\right)\left({\pi }_2-\varkappa \right)},\varkappa \ne {\pi }_2.$

For $\varkappa ={\pi }_2$, we state ${}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_2\right)={lim}_{\varkappa \to {\pi }_2}{}^{{\pi }_2}{D}_{p,q}\Pi \left(\varkappa \right)$ if it exists and it is finite.

Remark 1.

It is clear that if we use $p=1$ in (8) and (9), then the equalities (8) and (9) reduce to (3) and (4), respectively.

Definition 8

([13]). The definite ($p,q$)-integral of mapping Π on $\left[0,{\pi }_2\right]$ is stated as:

(10)${\int }_0^{{\pi }_2}\Pi \left(\tau \right)d_{p,q}\tau =\left(p-q\right){\pi }_2\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\Pi \left(\frac{q^n}{p^{n+1}}{\pi }_2\right).$

Moreover, the definite ($p,q$)-integral of mapping Π on $\left[{\pi }_1,{\pi }_2\right]$ is stated as:

$\underset{{\pi }_1}{\overset{{\pi }_2}{\int }}\Pi \left(\tau \right)\begin{array}{c}{d}_{p,q}\tau \end{array}=\underset{0}{\overset{{\pi }_2}{\int }}\Pi \left(\tau \right)\begin{array}{c}{d}_{p,q}\tau \end{array}-\underset{0}{\overset{{\pi }_1}{\int }}\Pi \left(\tau \right)\begin{array}{c}{d}_{p,q}\tau \end{array}.$

Definition 9

([15]). The definite ($p,q$)${}_{{\pi }_1}$-integral of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ on $\left[{\pi }_1,{\pi }_2\right]$ is stated as:

(11)${\int }_{{\pi }_1}^{\varkappa }\Pi \left(\tau \right){}_{{\pi }_1}{d}_{p,q}\tau =\left(p-q\right)\left(\varkappa -{\pi }_1\right)\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\Pi \left(\frac{q^n}{p^{n+1}}\varkappa +\left(1-\frac{q^n}{p^{n+1}}\right){\pi }_1\right).$

Definition 10

([16]). The definite ($p,q$)${}^{{\pi }_2}$-integral of mapping $\Pi :\left[{\pi }_1,{\pi }_2\right]\to \mathbb{R}$ on $\left[{\pi }_1,{\pi }_2\right]$ is stated as:

(12)${\int }_{\varkappa }^{{\pi }_2}\Pi \left(\tau \right){}^{{\pi }_2}{d}_{p,q}\tau =\left(p-q\right)\left({\pi }_2-\varkappa \right)\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\Pi \left(\frac{q^n}{p^{n+1}}\varkappa +\left(1-\frac{q^n}{p^{n+1}}\right){\pi }_2\right).$

Remark 2.

It is evident that if we pick $p=1$ in (11) and (12), then the equalities (11) and (12) change into (5) and (6), respectively.

Remark 3.

If we take ${\pi }_1=0$ and $\varkappa ={\pi }_2=1$ in (11), then we have:

${\int }_0^1\Pi \left(\tau \right){}_0{d}_{p,q}\tau =\left(p-q\right)\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\Pi \left(\frac{q^n}{p^{n+1}}\right).$

Similarly, by taking $\varkappa ={\pi }_1=0$ and ${\pi }_2=1$ in (12), then we obtain that:

${\int }_0^1\Pi \left(\tau \right){}^1{d}_{p,q}\tau =\left(p-q\right)\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\Pi \left(1-\frac{q^n}{p^{n+1}}\right).$

Lemma 1

([33]). We have the following equalities:

${\int }_{{\pi }_1}^{{\pi }_2}{\left({\pi }_2-\varkappa \right)}^{\alpha }{}^{{\pi }_2}{d}_{p,q}\varkappa =\frac{{\left({\pi }_2-{\pi }_1\right)}^{\alpha +1}}{{\left[\alpha +1\right]}_{p,q}}$

${\int }_{{\pi }_1}^{{\pi }_2}{\left(\varkappa -{\pi }_1\right)}^{\alpha }{}_{{\pi }_1}{d}_{p,q}\varkappa =\frac{{\left({\pi }_2-{\pi }_1\right)}^{\alpha +1}}{{\left[\alpha +1\right]}_{p,q}}$

where $\alpha \in \mathbb{R}-\{-1\}.$

4. Post-Quantum Midpoint-Type Inequalities

In this section, we prove some new midpoint-type inequalities for twice-$\left(p,q\right)$-differentiable mappings via the $\left(p,q\right)$-integral.

Let us begin with the following lemma.

Lemma 2.

Let $\Pi :I=\left[{\pi }_1,{\pi }_2\right]\to R$ be a $(p,q)$-differentiable function on the interior of I. If ${}^{{\pi }_2}{D}_{p,q}^2\Pi$ is continuous and integrable on $I,$ then the following equality holds:

(13) $\begin{array}{ccc}& & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2){}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)d_{p,q}t\right.\hfill \\ & & \left.+\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)d_{p,q}t\right]\hfill \\ & =& \frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right).\hfill \end{array}$

Proof. 

Consider from Definition 7:

$\begin{array}{ccc}& & {}^{{\pi }_2}{D}_{p,q}^2\Pi \left(t{\pi }_1+(1-t){\pi }_2\right)\hfill \\ & =& {}^{{\pi }_2}{D}_{p,q}\left[\frac{\Pi \left(qt{\pi }_1+(1-qt){\pi }_2\right)-\Pi \left(pt{\pi }_1+(1-pt){\pi }_2\right)}{(p-q)({\pi }_2-{\pi }_1)t}\right]\hfill \\ & =& \frac{p\Pi \left(q^{2}t{\pi }_1+(1-q^{2}t){\pi }_2\right)-\left({\left[2\right]}_{p,q}\right)\Pi \left(pqt{\pi }_1+(1-pqt){\pi }_2\right)+q\Pi \left(p^{2}t{\pi }_1+(1-p^{2}t){\pi }_2\right)}{pq{(p-q)}^2{({\pi }_2-{\pi }_1)}^2{t}^2}.\hfill \end{array}$

From Definition 8, we have:

$\begin{array}{ccc}& & \underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)d_{p,q}t\hfill \\ & & +\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2){}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)d_{p,q}t\hfill \\ & =& \underset{0}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)d_{p,q}t\hfill \\ & & +\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2){}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)d_{p,q}t\hfill \\ & =& \frac{1}{q{(p-q)}^2{({\pi }_2-{\pi }_1)}^2}\hfill \\ & & \times \underset{0}{\overset{1}{\int }}\frac{{(1-qt)}_{p,q}^2}{t^2}\left(\begin{array}{c}p\Pi \left(q^{2}t{\pi }_1+(1-q^{2}t){\pi }_2\right)-{\left[2\right]}_{p,q}\Pi \left(pqt{\pi }_1+(1-pqt){\pi }_2\right)\\ +q\Pi \left(p^{2}t{\pi }_1+(1-p^{2}t){\pi }_2\right)\end{array}\right)d_{p,q}t\hfill \\ & & +\frac{1}{pq{(p-q)}^2{({\pi }_2-{\pi }_1)}^2}\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}\frac{(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2)}{t^2}\hfill \\ & & \times \left(\begin{array}{c}p\Pi \left(q^{2}t{\pi }_1+(1-q^{2}t){\pi }_2\right)-{\left[2\right]}_{p,q}\Pi \left(pqt{\pi }_1+(1-pqt){\pi }_2\right)\\ +q\Pi \left(p^{2}t{\pi }_1+(1-p^{2}t){\pi }_2\right)\end{array}\right)d_{p,q}t\hfill \\ & =& \frac{1}{q{(p-q)}^2{({\pi }_2-{\pi }_1)}^2}\left(I_1+\frac{1}{p}{I}_2\right).\hfill \end{array}$

We calculate the integrals $I_1$ and $I_2$ by using the Definition 10. Let us consider:

$\begin{array}{ccc}& & I_1\hfill \\ & =& \underset{0}{\overset{1}{\int }}\frac{{(1-qt)}_{p,q}^2}{t^2}\left(\begin{array}{c}p\Pi \left(q^{2}t{\pi }_1+(1-q^{2}t){\pi }_2\right)-{\left[2\right]}_{p,q}\Pi \left(pqt{\pi }_1+(1-pqt){\pi }_2\right)\\ +q\Pi \left(p^{2}t{\pi }_1+(1-p^{2}t){\pi }_2\right)\end{array}\right)d_{p,q}t\hfill \\ & =& (p-q)\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^{2n}}{p^{2(n+1)}}}\left[p\Pi \left(q^2\frac{q^n}{p^{n+1}}{\pi }_1+(1-q^2\frac{q^n}{p^{n+1}}){\pi }_2\right)\right.\hfill \\ & & -{\left[2\right]}_{p,q}\Pi \left(pq\frac{q^n}{p^{n+1}}{\pi }_1+(1-pq\frac{q^n}{p^{n+1}}){\pi }_2\right)\hfill \\ & & \left.+q\Pi \left(p^2\frac{q^n}{p^{n+1}}{\pi }_1+(1-p^2\frac{q^n}{p^{n+1}}){\pi }_2\right)\right]\hfill \\ & =& (p-q)\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\left[p\Pi \left(\frac{q^{n+2}}{p^{n+1}}{\pi }_1+(1-\frac{q^{n+2}}{p^{n+1}}){\pi }_2\right)\right.\hfill \\ & & -{\left[2\right]}_{p,q}\Pi \left(\frac{q^{n+1}}{p^n}{\pi }_1+(1-\frac{q^{n+1}}{p^n}){\pi }_2\right)\hfill \\ & & \left.+q\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& (p-q)\left[p\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\Pi \left(\frac{q^{n+2}}{p^{n+1}}{\pi }_1+(1-\frac{q^{n+2}}{p^{n+1}}){\pi }_2\right)\right.\hfill \\ & & -{\left[2\right]}_{p,q}\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\Pi \left(\frac{q^{n+1}}{p^n}{\pi }_1+(1-\frac{q^{n+1}}{p^n}){\pi }_2\right)\hfill \\ & & \left.+q\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& (p-q)\left[p\sum _{n=2}^{\infty }\frac{{(1-q\frac{q^{n-2}}{p^{n-1}})}_{p,q}^2}{\frac{q^{n-2}}{p^{n-1}}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right.\hfill \\ & & -{\left[2\right]}_{p,q}\sum _{n=1}^{\infty }\frac{{(1-q\frac{q^{n-1}}{p^n})}_{p,q}^2}{\frac{q^{n-1}}{p^n}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\hfill \\ & & \left.+q\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& (p-q)\left[p\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^{n-2}}{p^{n-1}})}_{p,q}^2}{\frac{q^{n-2}}{p^{n-1}}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right.\hfill \\ & & -p\frac{{(1-q\frac{q^{-2}}{p^{-1}})}_{p,q}^2}{\frac{q^{-2}}{p^{-1}}}\Pi \left(p{\pi }_1+(1-p){\pi }_2\right)-p\frac{{(1-q{q}^{-1})}_{p,q}^2}{q^{-1}}\Pi \left(q{\pi }_1+(1-q){\pi }_2\right)\hfill \\ & & -{\left[2\right]}_{p,q}\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^{n-1}}{p^n})}_{p,q}^2}{\frac{q^{n-1}}{p^n}}\Pi \left(\frac{q^n}{p^{n-1}}+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\hfill \\ & & +{\left[2\right]}_{p,q}\frac{{(1-q{q}^{-1})}_{p,q}^2}{q^{-1}}\Pi \left(p{\pi }_1+(1-p){\pi }_2\right)\hfill \\ & & \left.+q\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& (p-q)\left[p\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^{n-2}}{p^{n-1}})}_{p,q}^2}{\frac{q^{n-2}}{p^{n-1}}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right.\hfill \\ & & -{\left[2\right]}_{p,q}\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^{n-1}}{p^n})}_{p,q}^2}{\frac{q^{n-1}}{p^n}}\Pi \left(\frac{q^n}{p^{n-1}}+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\hfill \\ & & \left.+q\sum _{n=0}^{\infty }\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& (p-q)\sum _{n=0}^{\infty }\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\hfill \\ & & \times \left(p\frac{{(1-q\frac{q^{n-2}}{p^{n-1}})}_{p,q}^2}{\frac{q^{n-2}}{p^{n-1}}}-{\left[2\right]}_{p,q}\frac{{(1-q\frac{q^{n-1}}{p^n})}_{p,q}^2}{\frac{q^{n-1}}{p^n}}+q\frac{{(1-q\frac{q^n}{p^{n+1}})}_{p,q}^2}{\frac{q^n}{p^{n+1}}}\right)\hfill \\ & =& q(p-q){\left(p-q\right)}^2{\left[2\right]}_{p,q}\left[\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\Pi \left(\frac{q^n}{p^{n-1}}{\pi }_1+(1-\frac{q^n}{p^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& \frac{q{\left(p-q\right)}^2{\left[2\right]}_{p,q}}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa \hfill \end{array}$

Now, consider:

$\begin{array}{ccc}\hfill I_2& =& \underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}\frac{(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2)}{t^2}\left(\begin{array}{c}p\Pi \left(q^{2}t{\pi }_1+(1-q^{2}t){\pi }_2\right)\\ -{\left[2\right]}_{p,q}\Pi \left(pqt{\pi }_1+(1-pqt){\pi }_2\right)\\ +q\Pi \left(p^{2}t{\pi }_1+(1-p^{2}t){\pi }_2\right)\end{array}\right)d_{p,q}t\hfill \\ & =& \frac{(p-q)}{{\left[2\right]}_{p,q}}\sum _{n=0}^{\infty }\frac{q^n}{p^{n+1}}\frac{\left(p^2{q}^3{\left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}^2-{(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}})}_{p,q}^2\right)}{{\left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}^2}\hfill \\ & & \times \left(p\Pi \left(q^2\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}{\pi }_1+(1-q^2\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}){\pi }_2\right)\right.\hfill \\ & & \left.-{\left[2\right]}_{p,q}\Pi \left(pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}{\pi }_1+(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}){\pi }_2\right)\right)\hfill \\ & & +q\Pi \left(p^2\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}{\pi }_1+(1-p^2\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}){\pi }_2\right)\hfill \\ & =& \frac{(p-q)}{{\left[2\right]}_{p,q}}\sum _{n=0}^{\infty }\frac{\left(p^2{q}^3{\left(\frac{q^n}{p^{n+1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}_{p,q}^2\right)}{\frac{q^n}{p^{n+1}}}\hfill \\ & & \times \left(p\Pi \left(\frac{q^{n+2}}{{\left[2\right]}_{p,q}{p}^{n+1}}{\pi }_1+(1-\frac{q^{n+2}}{{\left[2\right]}_{p,q}{p}^{n+1}}){\pi }_2\right)\right.\hfill \\ & & -{\left[2\right]}_{p,q}\Pi \left(\frac{q^{n+1}}{{\left[2\right]}_{p,q}{p}^n}{\pi }_1+(1-\frac{q^{n+1}}{{\left[2\right]}_{p,q}{p}^n}){\pi }_2\right)\hfill \\ & & \left.+q\Pi \left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}{\pi }_1+(1-\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}){\pi }_2\right)\right)\hfill \\ & =& \frac{(p-q)}{{\left[2\right]}_{p,q}}\left[\sum _{n=0}^{\infty }\frac{p\left(p^2{q}^3{\left(\frac{q^n}{p^{n+1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}_{p,q}^2\right)}{\frac{q^n}{p^{n+1}}}\right.\hfill \\ & & \times \Pi \left(\frac{q^{n+2}}{{\left[2\right]}_{p,q}{p}^{n+1}}{\pi }_1+(1-\frac{q^{n+2}}{{\left[2\right]}_{p,q}{p}^{n+1}}){\pi }_2\right)\hfill \\ & & -\sum _{n=0}^{\infty }\frac{{\left[2\right]}_{p,q}\left(p^2{q}^3{\left(\frac{q^n}{p^{n+1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}_{p,q}^2\right)}{\frac{q^n}{p^{n+1}}}\hfill \\ & & \times \Pi \left(\frac{q^{n+1}}{{\left[2\right]}_{p,q}{p}^n}{\pi }_1+(1-\frac{q^{n+1}}{{\left[2\right]}_{p,q}{p}^n}){\pi }_2\right)\hfill \\ & & +\sum _{n=0}^{\infty }\frac{q\left(p^2{q}^3{\left(\frac{q^n}{p^{n+1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}_{p,q}^2\right)}{\frac{q^n}{p^{n+1}}}\hfill \\ & & \left.\times \Pi \left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}{\pi }_1+(1-\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& \frac{(p-q)}{{\left[2\right]}_{p,q}}\left[\sum _{n=0}^{\infty }\frac{p\left(p^2{q}^3{\left(\frac{q^{n-2}}{p^{n-1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{n-2}}{{\left[2\right]}_{p,q}{p}^{n-1}}\right)}_{p,q}^2\right)}{\frac{q^{n-2}}{p^{n-1}}}\right.\hfill \\ & & \times \Pi \left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}{\pi }_1+(1-\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}){\pi }_2\right)\hfill \\ & & -\frac{p\left(p^2{q}^3{\left(\frac{q^{-2}}{p^{-1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{-2}}{{\left[2\right]}_{p,q}{p}^{-1}}\right)}_{p,q}^2\right)}{\frac{q^{-2}}{p^{-1}}}\hfill \\ & & \times \Pi \left(\frac{p}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{p}{{\left[2\right]}_{p,q}}){\pi }_2\right)\hfill \\ & & -\frac{p\left(p^2{q}^3{\left(q^{-1}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{-1}}{{\left[2\right]}_{p,q}}\right)}_{p,q}^2\right)}{q^{-1}}\hfill \\ & & \times \Pi \left(\frac{q}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{q}{{\left[2\right]}_{p,q}}){\pi }_2\right)\hfill \\ & & -\sum _{n=0}^{\infty }\frac{{\left[2\right]}_{p,q}\left(p^2{q}^3{\left(\frac{q^{n-1}}{p^n}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{n-1}}{{\left[2\right]}_{p,q}{p}^n}\right)}_{p,q}^2\right)}{\frac{q^{n-1}}{p^n}}\hfill \\ & & \times \Pi \left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}{\pi }_1+(1-\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}){\pi }_2\right)\hfill \\ & & +\frac{{\left[2\right]}_{p,q}\left(p^2{q}^3{\left(q^{-1}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{-1}}{{\left[2\right]}_{p,q}}\right)}_{p,q}^2\right)}{q^{-1}}\hfill \\ & & \times \Pi \left(\frac{p}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{p}{{\left[2\right]}_{p,q}}){\pi }_2\right)\hfill \\ & & +\sum _{n=0}^{\infty }\frac{q\left(p^2{q}^3{\left(\frac{q^n}{p^{n+1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}_{p,q}^2\right)}{\frac{q^n}{p^{n+1}}}\hfill \\ & & \left.\times \Pi \left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}{\pi }_1+(1-\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}){\pi }_2\right)\right]\hfill \\ & =& \frac{(p-q)}{{\left[2\right]}_{p,q}}\sum _{n=0}^{\infty }\Pi \left(\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}{\pi }_1+(1-\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n-1}}){\pi }_2\right)\hfill \\ & & \times \left(\frac{p\left(p^2{q}^3{\left(\frac{q^{n-2}}{p^{n-1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{n-2}}{{\left[2\right]}_{p,q}{p}^{n-1}}\right)}_{p,q}^2\right)}{\frac{q^{n-2}}{p^{n-1}}}\right.\hfill \\ & & -\frac{{\left[2\right]}_{p,q}\left(p^2{q}^3{\left(\frac{q^{n-1}}{p^n}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{n-1}}{{\left[2\right]}_{p,q}{p}^n}\right)}_{p,q}^2\right)}{\frac{q^{n-1}}{p^n}}\hfill \\ & & \left.+\frac{q\left(p^2{q}^3{\left(\frac{q^n}{p^{n+1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^n}{{\left[2\right]}_{p,q}{p}^{n+1}}\right)}_{p,q}^2\right)}{\frac{q^n}{p^{n+1}}}\right)\hfill \\ & & +\frac{(p-q)}{{\left[2\right]}_{p,q}}\Pi \left(\frac{p}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{p}{{\left[2\right]}_{p,q}}){\pi }_2\right)\hfill \\ & & \times \left(-\frac{p\left(p^2{q}^3{\left(\frac{q^{-2}}{p^{-1}}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{-2}}{{\left[2\right]}_{p,q}{p}^{-1}}\right)}_{p,q}^2\right)}{\frac{q^{-2}}{p^{-1}}}\right.\hfill \\ & & +\frac{{\left[2\right]}_{p,q}\left(p^2{q}^3{\left(q^{-1}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{-1}}{{\left[2\right]}_{p,q}}\right)}_{p,q}^2\right)}{q^{-1}}\hfill \\ & & \left.-\frac{p\left(p^2{q}^3{\left(q^{-1}\right)}^2-{\left[2\right]}_{p,q}^2{\left(1-pq\frac{q^{-1}}{{\left[2\right]}_{p,q}}\right)}_{p,q}^2\right)}{q^{-1}}\Pi \left(\frac{q}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{q}{{\left[2\right]}_{p,q}}){\pi }_2\right)\right)\hfill \\ & =& \frac{(p-q)}{{\left[2\right]}_{p,q}}\left[-pq\left(p-q\right){\left[2\right]}_{p,q}^2\Pi \left(\frac{p}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{p}{{\left[2\right]}_{p,q}}){\pi }_2\right)\right]\hfill \\ & =& -pq{(p-q)}^2{\left[2\right]}_{p,q}\Pi \left(\frac{p}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{p}{{\left[2\right]}_{p,q}}){\pi }_2\right)\hfill \\ & & \frac{1}{q{(p-q)}^2{({\pi }_2-{\pi }_1)}^2}\left(I_1+\frac{1}{p}{I}_2\right)\hfill \\ & =& \frac{1}{q{(p-q)}^2{({\pi }_2-{\pi }_1)}^2}\left[\frac{q{\left(p-q\right)}^2{\left[2\right]}_{p,q}}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa \right.\hfill \\ & & \left.-q{(p-q)}^2{\left[2\right]}_{p,q}\Pi \left(\frac{p}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{p}{{\left[2\right]}_{p,q}}){\pi }_2\right)\right]\hfill \\ & =& \frac{{\left[2\right]}_{p,q}}{{\left({\pi }_2-{\pi }_1\right)}^2}\left(\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p}{{\left[2\right]}_{p,q}}{\pi }_1+(1-\frac{p}{{\left[2\right]}_{p,q}}){\pi }_2\right)\right).\hfill \end{array}$

Thus, the proof is complete. □

Remark 4.

In Lemma 2, if we set $p=1$, then we obtain the following identity:

$\begin{array}{ccc}& & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_q}\left[\underset{0}{\overset{\frac{1}{{\left[2\right]}_q}}{\int }}{q}^3{t}^2\begin{array}{c}{}^{{\pi }_2}{D}_q^2\Pi \left(t{\pi }_1+\left(1-t\right){\pi }_2\right)\end{array}{d}_{q}t\right.\hfill \\ & & \left.+\underset{\frac{1}{{\left[2\right]}_q}}{\overset{1}{\int }}{(1-qt)}_q^2\begin{array}{c}{}^{{\pi }_2}{D}_q^2\Pi \left(t{\pi }_1+\left(1-t\right){\pi }_2\right)\end{array}{d}_{q}t\right]\hfill \\ & =& \frac{1}{{\pi }_2-{\pi }_1}\underset{{\pi }_1}{\overset{{\pi }_2}{\int }}\Pi \left(\varkappa \right)\begin{array}{c}{}^{{\pi }_2}{d}_q\varkappa \hfill \end{array}-\Pi \left(\frac{{\pi }_1+q{\pi }_2}{{\left[2\right]}_q}\right).\hfill \end{array}$

This was proven by Ali et al. in [18] (Lemma 5).

Theorem 1.

Suppose that the assumptions of Lemma 2 hold. If ${|}^{{\pi }_2}{D}_{p,q}\Pi |$ is convex on $[{\pi }_1,{\pi }_2],$ then we have the inequality:

(14) $\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\Theta }_1\left(p,q\right){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right)|+{\Theta }_2\left(p,q\right){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right)|\right],\hfill \end{array}$

where:

$\begin{array}{ccc}\hfill {\Theta }_1\left(p,q\right)& =& \frac{p^3{\left[2\right]}_{p,q}\left(p^3{\left[2\right]}_{p,q}^2-p^2-q^2\right)}{{\left[2\right]}_{p,q}^3{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}},\hfill \\ \hfill {\Theta }_2\left(p,q\right)& =& \frac{{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}\left((1-2p)({\left[2\right]}_{p,q}^2-1)+q{\left[2\right]}_{p,q}\right)}{{\left[2\right]}_{p,q}^3{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}}\hfill \\ & & +\frac{\left(p^3{q}^2{\left[2\right]}_{p,q}^2+p^3{\left[2\right]}_{p,q}^2{\left[4\right]}_{p,q}-p{\left[2\right]}_{p,q}{\left[4\right]}_{p,q}-q{\left[4\right]}_{p,q}\right)}{{\left[2\right]}_{p,q}^2{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}}.\hfill \end{array}$

Proof. 

By taking the modulus of (13), we have:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|d_{p,q}t\right.\hfill \\ & & \left.+\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|d_{p,q}t\right].\hfill \end{array}$

Now, by using the convexity of ${|}^{{\pi }_2}{D}_{p,q}\Pi |,$ we have:

(15)$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}\left(\begin{array}{c}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)t{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right)|\\ +(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)(1-t){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right)|\end{array}\right)d_{p,q}t\right.\hfill \\ & & \left.+\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}\left(p{(1-qt)}_{p,q}^2{t|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right)|+p{(1-qt)}_{p,q}^2(1-t){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right)|\right)d_{p,q}t\right].\hfill \end{array}$

Now, we compute the integrals appearing on the right side of (15) using Lemma 1. We have:

(16)$\begin{array}{ccc}& & \underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)t{d}_{p,q}t\hfill \\ & =& \underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}\left((p^2-p)t+p{q}^3{t}^3\right)d_{p,q}t=\frac{{\left[2\right]}_{p,q}{\left[4\right]}_{p,q}(p^2-p)+p{q}^3}{{\left[2\right]}_{p,q}^4{\left[4\right]}_{p,q}},\hfill \end{array}$

(17)$\begin{array}{ccc}& & \underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)(1-t)d_{p,q}t\hfill \\ & =& \underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}\left(-p{q}^3{t}^3+p{q}^3{t}^2-(p^2-p)t+(p^2-p)\right)d_{p,q}t\hfill \\ & =& \frac{-p{q}^3{\left[3\right]}_{p,q}+p{q}^3{\left[2\right]}_{p,q}{\left[4\right]}_{p,q}-(p^2-p)({\left[2\right]}_{p,q}^2-1){\left[2\right]}_{p,q}{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}}{{\left[2\right]}_{p,q}^4{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}},\hfill \end{array}$

(18)$\begin{array}{ccc}& & \underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^{2}t{d}_{p,q}t\hfill \\ & =& \underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}\left(p{q}^3{t}^3-pq{\left[2\right]}_{p,q}{t}^2+p^{2}t\right)d_{p,q}t\hfill \\ & =& \frac{\begin{array}{c}p{q}^3{\left[3\right]}_{p,q}({\left[2\right]}_{p,q}^4-1)-pq{\left[2\right]}_{p,q}^2{\left[4\right]}_{p,q}({\left[2\right]}_{p,q}^3-1)\\ +p^2{\left[2\right]}_{p,q}{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}({\left[2\right]}_{p,q}^2-1)\end{array}}{{\left[2\right]}_{p,q}^4{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}},\hfill \end{array}$

(19)$\begin{array}{ccc}& & \underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2(1-t)d_{p,q}t\hfill \\ & =& p\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}\left(-q^3{t}^3+\left(pq+q^2+q^3\right)t^2-\left(pq+p+q^2\right)t+p\right)d_{p,q}t\hfill \\ & =& p\left[\frac{\begin{array}{c}-q^3\left({\left[2\right]}_{p,q}^4-1\right){\left[3\right]}_{p,q}+(pq+q^2+q^3){\left[2\right]}_{p,q}{\left[4\right]}_{p,q}\left({\left[2\right]}_{p,q}^3-1\right)\\ -(pq+p+q^2){\left[2\right]}_{p,q}{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}\left({\left[2\right]}_{p,q}^2-1\right)+p{\left[2\right]}_{p,q}^3{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}\left({\left[2\right]}_{p,q}-1\right)\end{array}}{{\left[2\right]}_{p,q}^4{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}}\right].\hfill \end{array}$

Thus, we obtain the required inequality (14) by using the calculated integrals (16)–(19) in (15). □

Remark 5.

In Theorem 1, if we set $p=1$, then we obtain the following inequality:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{{\pi }_1}{\overset{{\pi }_2}{\int }}\Pi \left(\varkappa \right)\begin{array}{c}{}^{{\pi }_2}{d}_q\varkappa \hfill \end{array}-\Pi \left(\frac{{\pi }_1+q{\pi }_2}{{\left[2\right]}_q}\right)\right|\hfill \\ & & \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_q^5{\left[3\right]}_q{\left[4\right]}_q}\left[\left(2q+4q^2+2q^3\right)\left|\begin{array}{c}{}^{{\pi }_2}{D}_q^2\Pi \left({\pi }_1\right)\end{array}\right|\right.\hfill \\ & & \\ & & \left.+\left(-q-q^2+2q^3+4q^4+3q^5+q^6\right)\left|\begin{array}{c}{}^{{\pi }_2}{D}_q^2\Pi \left({\pi }_2\right)\end{array}\right|\right].\hfill \end{array}$

This was proven by Ali et al. [18] (Theorem 3).

Theorem 2.

Suppose that the assumptions of Lemma 2 hold. If ${|}^{{\pi }_2}{D}_{p,q}{\Pi |}^r$, $r\ge 1$ is convex on $[{\pi }_1,{\pi }_2],$ then we have the inequality:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\Theta }_7^{1-\frac{1}{r}}\left(p,q\right){\left({\Theta }_3\left(p,q\right){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r+{\Theta }_4\left(p,q\right){{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right)|}^r\right)}^{\frac{1}{r}}\right.\hfill \\ & & \left.+{\Theta }_8^{1-\frac{1}{r}}\left(p,q\right){\left({\Theta }_5\left(p,q\right){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r+{\Theta }_6\left(p,q\right){{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right)|}^r\right)}^{\frac{1}{r}}\right],\hfill \end{array}$

where:

$\begin{array}{ccc}\hfill {\Theta }_3\left(p,q\right)& =& \frac{{\left[2\right]}_{p,q}{\left[4\right]}_{p,q}(p^2-p)+p{q}^3}{{\left[2\right]}_{p,q}^4{\left[4\right]}_{p,q}},\hfill \\ \hfill {\Theta }_4\left(p,q\right)& =& \frac{-p{q}^3{\left[3\right]}_{p,q}+p{q}^3{\left[2\right]}_{p,q}{\left[4\right]}_{p,q}-(p^2-p)({\left[2\right]}_{p,q}^2-1){\left[2\right]}_{p,q}{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}}{{\left[2\right]}_{p,q}^4{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}},\hfill \\ \hfill {\Theta }_5\left(p,q\right)& =& \frac{\begin{array}{c}p{q}^3{\left[3\right]}_{p,q}({\left[2\right]}_{p,q}^4-1)-pq{\left[2\right]}_{p,q}^2{\left[4\right]}_{p,q}({\left[2\right]}_{p,q}^3-1)\\ +p^2{\left[2\right]}_{p,q}{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}({\left[2\right]}_{p,q}^2-1)\end{array}}{{\left[2\right]}_{p,q}^4{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}},\hfill \\ \hfill {\Theta }_6\left(p,q\right)& =& p\left[\frac{\begin{array}{c}-q^3\left({\left[2\right]}_{p,q}^4-1\right){\left[3\right]}_{p,q}+(pq+q^2+q^3){\left[2\right]}_{p,q}{\left[4\right]}_{p,q}\left({\left[2\right]}_{p,q}^3-1\right)\\ -(pq+p+q^2){\left[2\right]}_{p,q}{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}\left({\left[2\right]}_{p,q}^2-1\right)+p{\left[2\right]}_{p,q}^3{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}\left({\left[2\right]}_{p,q}-1\right)\end{array}}{{\left[2\right]}_{p,q}^4{\left[3\right]}_{p,q}{\left[4\right]}_{p,q}}\right],\hfill \\ \hfill {\Theta }_7\left(p,q\right)& =& \frac{{\left[2\right]}_{p,q}^2{\left[3\right]}_{p,q}\left(p^2-p\right)+p{q}^3}{{\left[2\right]}_{p,q}^3{\left[3\right]}_{p,q}},\hfill \\ \hfill {\Theta }_8\left(p,q\right)& =& \frac{p{q}^3\left({\left[2\right]}_{p,q}^3-1\right)}{{\left[3\right]}_{p,q}{\left[2\right]}_{p,q}^3}+\frac{pq\left(1-{\left[2\right]}_{p,q}^2\right)}{{\left[2\right]}_{p,q}^2}+\frac{p^2\left({\left[2\right]}_{p,q}-1\right)}{{\left[2\right]}_{p,q}}.\hfill \end{array}$

Proof. 

By taking the modulus of (13) and applying the power mean inequality, we have:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|d_{p,q}t\right.\hfill \\ & & \left.+\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|d_{p,q}t\right]\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)d_{p,q}t\right)}^{1-\frac{1}{r}}\right.\hfill \\ & & \times {\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2){\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|}^r{d}_{p,q}t\right)}^{\frac{1}{r}}\hfill \\ & & \left.+{\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2{d}_{p,q}t\right)}^{1-\frac{1}{r}}{\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2{\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|}^r{d}_{p,q}t\right)}^{\frac{1}{r}}\right].\hfill \end{array}$

Applying the convexity of ${|}^{{\pi }_2}{D}_{p,q}{\Pi |}^r$, $r\ge 1$, we have:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)d_{p,q}t\right)}^{1-\frac{1}{r}}\right.\hfill \\ & & \times {\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)\left[{t|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_1\right){|}^r+\left(1-t\right){{|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_2\right)|}^r\right]d_{p,q}t\right)}^{\frac{1}{r}}\hfill \\ & & +{\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2{d}_{p,q}t\right)}^{1-\frac{1}{r}}\hfill \\ & & \left.\times {\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2\left[{t|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_1\right){|}^r+\left(1-t\right){{|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_2\right)|}^r\right]d_{p,q}t\right)}^{\frac{1}{r}}\right]\hfill \\ & =& \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\Theta }_7^{1-\frac{1}{r}}\left(p,q\right){\left({\Theta }_3\left(p,q\right){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r+{\Theta }_4\left(p,q\right){{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right)|}^r\right)}^{\frac{1}{r}}\right.\hfill \\ & & \left.+{\Theta }_8^{1-\frac{1}{r}}\left(p,q\right){\left({\Theta }_5\left(p,q\right){|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r+{\Theta }_6\left(p,q\right){{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right)|}^r\right)}^{\frac{1}{r}}\right].\hfill \end{array}$

Thus, the proof is complete. □

Remark 6.

In Theorem 2, if we set $p=1$, then Theorem 2 becomes Theorem 5 in [18].

Theorem 3.

Suppose that the assumptions of Lemma 2 hold. If ${|}^{{\pi }_2}{D}_{p,q}{\Pi |}^r$, $r>1$ is convex on $[{\pi }_1,{\pi }_2],$ then we have the inequality:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\Theta }_9^{\frac{1}{s}}\left(p,q\right){\left(\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r}{{\left[2\right]}_{p,q}^3}+\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right){|}^r\left({\left[2\right]}_{p,q}^2-1\right)}{{\left[2\right]}_{p,q}^3}\right)}^{\frac{1}{r}}\right.\hfill \\ & & \left.+{\Theta }_{10}^{\frac{1}{s}}\left(p,q\right){\left(\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r\left({\left[2\right]}_{p,q}^2-1\right)}{{\left[2\right]}_{p,q}^3}+\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right){|}^r\left({\left[2\right]}_{p,q}^3-2{\left[2\right]}_{p,q}^2+1\right)}{{\left[2\right]}_{p,q}^3}\right)}^{\frac{1}{r}}\right],\hfill \end{array}$

where $\frac{1}{s}+\frac{1}{r}=1,$

${\Theta }_9\left(p,q\right)={\int }_0^{\frac{1}{{\left[2\right]}_{p,q}}}{(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)}^s{d}_{p,q}t$

and:

${\Theta }_{10}\left(p,q\right)=\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}{p}^s{(1-qt)}_{p,q}^{2s}{d}_{p,q}t.$

Proof. 

By taking the modulus of (13) and applying Hölder’s inequality, we have:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|d_{p,q}t\right.\hfill \\ & & \left.+\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}p{(1-qt)}_{p,q}^2\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|d_{p,q}t\right]\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}{(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)}^s{d}_{p,q}t\right)}^{\frac{1}{s}}\right.\hfill \\ & & \times {\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}{\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|}^r{d}_{p,q}t\right)}^{\frac{1}{r}}\hfill \\ & & \left.+{\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}{p}^s{(1-qt)}_{p,q}^{2s}{d}_{p,q}t\right)}^{\frac{1}{s}}{\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}{\left|{}^{{\pi }_2}{D}_{p,q}^2\Pi (t{\pi }_1+(1-t){\pi }_2)\right|}^r{d}_{p,q}t\right)}^{\frac{1}{r}}\right].\hfill \end{array}$

Applying the convexity of ${|}^{{\pi }_2}{D}_{p,q}{\Pi |}^r$, $r>1$, we have:

$\begin{array}{ccc}& & \left|\frac{1}{{\pi }_2-{\pi }_1}\underset{p^2{\pi }_1+(1-p^2){\pi }_2}{\overset{{\pi }_2}{\int }}\Pi {\left(\varkappa \right)}^{{\pi }_2}{d}_{p,q}\varkappa -\Pi \left(\frac{p{\pi }_1+q{\pi }_2}{{\left[2\right]}_{p,q}}\right)\right|\hfill \\ & \le & \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}{(p^2{q}^3{t}^2-{(1-pqt)}_{p,q}^2+p{(1-qt)}_{p,q}^2)}^s{d}_{p,q}t\right)}^{\frac{1}{s}}\right.\hfill \\ & & \times {\left(\underset{0}{\overset{\frac{1}{{\left[2\right]}_{p,q}}}{\int }}\left[{t|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_1\right){|}^r+\left(1-t\right){{|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_2\right)|}^r\right]d_{p,q}t\right)}^{\frac{1}{r}}\hfill \\ & & \left.+{\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}{p}^s{(1-qt)}_{p,q}^{2s}{d}_{p,q}t\right)}^{\frac{1}{s}}{\left(\underset{\frac{1}{{\left[2\right]}_{p,q}}}{\overset{1}{\int }}\left[{t|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_1\right){|}^r+\left(1-t\right){{|}^{{\pi }_2}{D}_{p,q}\Pi \left({\pi }_2\right)|}^r\right]d_{p,q}t\right)}^{\frac{1}{r}}\right]\hfill \\ & =& \frac{{\left({\pi }_2-{\pi }_1\right)}^2}{{\left[2\right]}_{p,q}}\left[{\Theta }_9^{\frac{1}{s}}\left(p,q\right){\left(\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r}{{\left[2\right]}_{p,q}^3}+\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right){|}^r\left({\left[2\right]}_{p,q}^2-1\right)}{{\left[2\right]}_{p,q}^3}\right)}^{\frac{1}{r}}\right.\hfill \\ & & \left.+{\Theta }_{10}^{\frac{1}{s}}\left(p,q\right){\left(\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_1\right){|}^r\left({\left[2\right]}_{p,q}^2-1\right)}{{\left[2\right]}_{p,q}^3}+\frac{{|}^{{\pi }_2}{D}_{p,q}^2\Pi \left({\pi }_2\right){|}^r\left({\left[2\right]}_{p,q}^3-2{\left[2\right]}_{p,q}^2+1\right)}{{\left[2\right]}_{p,q}^3}\right)}^{\frac{1}{r}}\right].\hfill \end{array}$

Thus, the proof is complete. □

Remark 7.

In Theorem 3, if we set $p=1$, then Theorem 3 becomes Theorem 4 in [18].

5. Concluding Remarks

In this work, we established some new midpoint-type $\left(p,q\right)$-integral inequalities for twice-$\left(p,q\right)$-differentiable convex functions. In the last twenty-five years, quantum calculus (or q-calculus) has served as a link between mechanics and physics. Physicists make up the majority of scientists who utilize q-calculus today. Many scientists, in fact, employ q-calculus as a mathematical model in their studies. In the theory of quantum gravity, q can be thought of as a parameter connected to the exponential of the cosmological constant. Quantum gravity can be divided into two types:

• (i). There is no gravity when $q=1$, which is the situation of classical quantum mechanics;

• (ii). When $q\ne 0$, we have quantum mechanics, in which the energy density of the vacuum is non-zero.

Other areas of study in physics and related fields where q-calculus is being employed include: (1) the q-Coulomb problem and the q-hydrogen atom; (2) quantum hydrodynamics; (3) the Wess–Zumino model; (4) string theory; (5) Electroweak interaction; (6) Knot theory; (7) quantum cardiodynamics; (8) special relativity; (9) Newtonian quantum gravity; (10) quantum field theory; (11) elementary particle physics and chemical physics; (12) molecular and nuclear spectroscopy; (13) general relativity.

For several other applications of q-calculus in physics, one can read [4]. A good book on “Quantum Gravity” [34] is recommended for those interested in these topics. The fact that fluid dynamics resemble quantum physics is no coincidence. In truth, quantum physics and classical physics can both reflect various parts of the same physical process; for example, see [35].

Author Contributions

Conceptualization, T.S., G.M., M.A.A., C.P., I.B.S. and P.A.; methodology, T.S., G.M., M.A.A., C.P., I.B.S. and P.A.; validation, T.S., G.M., M.A.A., C.P., I.B.S. and P.A.; investigation, T.S., G.M., M.A.A., C.P., I.B.S. and P.A.; writing—original draft preparation, T.S., G.M., M.A.A., C.P., I.B.S. and P.A.; writing—review and editing, T.S., G.M., M.A.A., C.P., I.B.S. and P.A.; supervision, T.S. and M.A.A.; funding acquisition, T.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by King Mongkut’s University of Technology North Bangkok, Contract No. KMUTNB-63-KNOW-22.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

We thank the Referees and Editor for their valuable comments. The third author is thankful to Ch. Sohail Tariq (Project Director GCUF Sahiwal Campus) and Ch. Faraz Hanif (Project Director GCUF Sahiwal Campus) for providing good research environment at GCUF Sahiwal Campus.

Conflicts of Interest

The authors declare no conflict of interest.

Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

1. Pečarić, J.E.; Proschan, F.; Tong, Y.L. Convex Functions, Partial Orderings and Statistical Applications; Academic Press: Boston, MA, USA, 1992.

2. Khan, M.B.; Zaini, H.G.; Treanta, S.; Soliman, M.S.; Nanlaopon, K. Riemann-Liouville Fractional Integral Inequalities for Generalized Pre=Invex Functions of Interval-Valued Settings Based upon Pseudo Order Relation. Mathematics; 2022; 10, 204. [DOI: https://dx.doi.org/10.3390/math10020204]

3. Khan, M.B.; Treanta, S.; Soliman, M.S.; Zaini, H.G.; Nanlaopon, K. Some Hadamard-Fejer Type Inequalities for LR-Convex Interval-Valued Functions. Fractal Fract.; 2022; 6, 6. [DOI: https://dx.doi.org/10.3390/fractalfract6010006]

4. Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012.

5. Kac, V.; Cheung, P. Quantum Calculus; Springer: Berlin/Heidelberg, Germany, 2001.

6. Benatti, F.; Fannes, M.; Floreanini, R.; Petritis, D. Quantum Information, Computation and Cryptography: An Introductory Survey of Theory, Technology and Experiments; Springer Science and Business Media: Berlin/Heidelberg, Germany, 2010.

7. Bokulich, A.; Jaeger, G. Philosophy of Quantum Information Theory and Entaglement; Cambridge Uniersity Press: Cambridge, UK, 2010.

8. Ernst, T. The History of Q-Calculus And New Method; Department of Mathematics, Uppsala University: Uppsala, Sweden, 2000.

9. Jackson, F.H. On a q-definite integrals. Q. J. Pure Appl. Math.; 1910; 41, pp. 193-203.

10. Al-Salam, W. Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc.; 1966; 15, pp. 135-140. [DOI: https://dx.doi.org/10.1017/S0013091500011469]

11. Tariboon, J.; Ntouyas, S.K. Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ.; 2013; 2013, pp. 1-19. [DOI: https://dx.doi.org/10.1186/1687-1847-2013-282]

12. Bermudo, S.; Kórus, P.; Valdés, J.N. On q-Hermite–Hadamard inequalities for general convex functions. Acta Math. Hung.; 2020; 162, pp. 364-374. [DOI: https://dx.doi.org/10.1007/s10474-020-01025-6]

13. Sadjang, P.N. On the fundamental theorem of (p,q)-calculus and some (p,q)-Taylor formulas. Results Math.; 2018; 73, pp. 1-21.

14. Soontharanon, J.; Sitthiwirattham, T. On Fractional (p,q)-Calculus. Adv. Differ. Equ.; 2020; 2020, pp. 1-18. [DOI: https://dx.doi.org/10.1186/s13662-020-2512-7]

15. Tunç, M.; Göv, E. Some integral inequalities via (p,q)-calculus on finite intervals. RGMIA Res. Rep. Coll.; 2016; 19, pp. 1-12. [DOI: https://dx.doi.org/10.2298/FIL2105421T]

16. Chu, Y.-M.; Awan, M.U.; Talib, S.; Noor, M.A.; Noor, K.I. New post quantum analogues of Ostrowski-type inequalities using new definitions of left–right (p,q)-derivatives and definite integrals. Adv. Differ. Equ.; 2020; 2020, pp. 1-15. [DOI: https://dx.doi.org/10.1186/s13662-020-03094-x]

17. Ali, M.A.; Budak, H.; Abbas, M.; Chu, Y.-M. Quantum Hermite–Hadamard-type inequalities for functions with convex absolute values of second q^b-derivatives. Adv. Differ. Equ.; 2021; 2021, pp. 1-12. [DOI: https://dx.doi.org/10.1186/s13662-020-03163-1]

18. Ali, M.A.; Alp, N.; Budak, H.; Chu, Y.-M.; Zhang, Z. On some new quantum midpoint type inequalities for twice quantum differentiable convex functions. Open Math.; 2021; 19, pp. 427-439. [DOI: https://dx.doi.org/10.1515/math-2021-0015]

19. Alp, N.; Sarikaya, M.Z.; Kunt, M.; İşcan, İ. q-Hermite Hadamard inequalities and quantum estimates for midpoint type inequalities via convex and quasi-convex functions. J. King Saud Univ.-Sci.; 2018; 30, pp. 193-203. [DOI: https://dx.doi.org/10.1016/j.jksus.2016.09.007]

20. Budak, H. Some trapezoid and midpoint type inequalities for newly defined quantum integrals. Proyecciones; 2021; 40, pp. 199-215. [DOI: https://dx.doi.org/10.22199/issn.0717-6279-2021-01-0013]

21. Budak, H.; Ali, M.A.; Tarhanaci, M. Some new quantum Hermite–Hadamard-like inequalities for coordinated convex functions. J. Optim. Theory Appl.; 2020; 186, pp. 899-910. [DOI: https://dx.doi.org/10.1007/s10957-020-01726-6]

22. Noor, M.A.; Noor, K.I.; Awan, M.U. Some quantum estimates for Hermite–Hadamard inequalities. Appl. Math. Comput.; 2015; 251, pp. 675-679. [DOI: https://dx.doi.org/10.1016/j.amc.2014.11.090]

23. Noor, M.A.; Noor, K.I.; Awan, M.U. Some quantum integral inequalities via preinvex functions. Appl. Math. Comput.; 2015; 269, pp. 242-251. [DOI: https://dx.doi.org/10.1016/j.amc.2015.07.078]

24. Nwaeze, E.R.; Tameru, A.M. New parameterized quantum integral inequalities via η-quasiconvexity. Adv. Differ. Equ.; 2019; 2019, pp. 1-12. [DOI: https://dx.doi.org/10.1186/s13662-019-2358-z]

25. Khan, M.A.; Noor, M.; Nwaeze, E.R.; Chu, Y.-M. Quantum Hermite–Hadamard inequality by means of a Green function. Adv. Differ. Equ.; 2020; 2020, pp. 1-20.

26. Budak, H.; Erden, S.; Ali, M.A. Simpson and Newton type inequalities for convex functions via newly defined quantum integrals. Math. Meth. Appl. Sci.; 2020; 44, pp. 378-390. [DOI: https://dx.doi.org/10.1002/mma.6742]

27. Ali, M.A.; Budak, H.; Zhang, Z.; Yildrim, H. Some new Simpson’s type inequalities for co-ordinated convex functions in quantum calculus. Math. Meth. Appl. Sci.; 2021; 44, pp. 4515-4540. [DOI: https://dx.doi.org/10.1002/mma.7048]

28. Vivas-Cortez, M.; Ali, M.A.; Kashuri, A.; Sial, I.B.; Zhang, Z. Some New Newton’s Type Integral Inequalities for Co-Ordinated Convex Functions in Quantum Calculus. Symmetry; 2020; 12, 1476. [DOI: https://dx.doi.org/10.3390/sym12091476]

29. Ali, M.A.; Chu, Y.-M.; Budak, H.; Akkurt, A.; Yildrim, H. Quantum variant of Montgomery identity and Ostrowski-type inequalities for the mappings of two variables. Adv. Differ. Equ.; 2021; 2021, pp. 1-26. [DOI: https://dx.doi.org/10.1186/s13662-020-03195-7]

30. Ali, M.A.; Budak, H.; Akkurt, A.; Chu, Y.-M. Quantum Ostrowski type inequalities for twice quantum differentiable functions in quantum calculus. Open Math.; 2021; 19, pp. 440-449. [DOI: https://dx.doi.org/10.1515/math-2021-0020]

31. Kunt, M.; İşcan, İ.; Alp, N.; Sarikaya, M.Z. (p,q)-Hermite–Hadamard inequalities and (p,q)-estimates for midpoint inequalities via convex quasi-convex functions. Rev. Real Acad. Cienc. Exactas Físicas Nat. Ser. A Matemáticas; 2018; 112, pp. 969-992. [DOI: https://dx.doi.org/10.1007/s13398-017-0402-y]

32. Latif, M.A.; Kunt, M.; Dragomir, S.S.; İşcan, İ. Post-quantum trapezoid type inequalities. AIMS Math.; 2020; 5, pp. 4011-4026. [DOI: https://dx.doi.org/10.3934/math.2020258]

33. Vivas-Cortez, M.; Ali, M.A.; Budak, H.; Kalsoom, H.; Agarwal, P. Some New Hermite–Hadamard and Related Inequalities for Convex Functions via (p,q)-Integral. Entropy; 2021; 23, 828. [DOI: https://dx.doi.org/10.3390/e23070828] [PubMed: https://www.ncbi.nlm.nih.gov/pubmed/34209714]

34. Rovelli, C. Quantum Gravity; Cambridge Monograph on Mathematical Physics Cambridge University Press: Cambridge, UK, 2004.

35. Sengar, R.S.; Sharma, M.; Trivedi, A. Fractional calculus applied in solving instability phenomenon in fluid dynamics. Int. J. Civ. Eng. Technol.; 2015; 6, pp. 34-44.