Normalization proofs for the un-typed μμ-calculus

1.   Introduction

Quantum calculus or briefly $q$-calculus is a study of calculus without limits. Post-quantum or $(p, q)$-calculus is a generalization of $q$-calculus and it is the next step ahead of the $q$-calculus. Quantum Calculus is considered an incorporative subject between mathematics and physics, and many researchers have a particular interest in this subject. Quantum calculus has many applications in various mathematical fields such as orthogonal polynomials, combinatorics, hypergeometric functions, number theory and theory of differential equations etc. Many scholars researching in the field of inequalities have started to take interest in quantum calculus during the recent years and the active readers are referred to the articles ^{[2,3,7,8,9,11,12,16,17,21,24,25,27,28,29]} and the references cited in them for more information on this topic. The authors explore various integral inequalities in all of the papers mentioned above by using $q$-calculus and $(p, q)$-calculus for certain classes of convex functions.

In this paper, the main motivation is to study trapezoid type $(p, q)$-integral inequalities for convex and quasi-convex functions. In fact, we prove that the assumption of the differentiability of the mapping in the $(p, q)$ -Hermite-Hadamard type integral inequalities given in ^[12] can be eliminated. The relaxation of the differentiability of the mapping in the $(p, q)$-Hermite-Hadamard type integral inequalities proved in ^[12] also indicates the originality of results established in our research and these findings have some relationships with those results proved in earlier works.

2.   Preliminaries

The basic concepts and findings which will be used in order to prove our results are addressed in this section.

Let $I\subset\mathbb{R}$ be an interval of the set of real numbers. A function $f:I\rightarrow\mathbb{R}$ is called as a convex on $I$, if the inequality

holds for every $x, y\in I$ and $t\in\left[ 0, 1\right]$.

A $f:I\rightarrow\mathbb{R}$ known to be a quasi-convex function, if the inequality

holds for every $x, y\in I$ and $t\in\left[ 0, 1\right]$.

The following properties of convex functions are very useful to obtain our results.

Definition 2.1. ^[19] A function $f$ defined on $I$ has a support at $x_{0}\in I$ if there exists an affine function $A\left(x\right) = f\left(x_{0}\right) +m\left(x-x_{0}\right)$ such that $A\left(x\right) \leq f\left(x\right)$ for all $x\in I$. The graph of the support function $A$ is called a line of support for $f$ at $x_{0}$.

Theorem 2.1. ^[19] A function $f:\left(a, b\right) \rightarrow \mathbb{R}$ is a convex function if and only if there is at least one line of support for $f$ at each $x_{0}\in\left(a, b\right)$.

Theorem 2.2. ^[4] If $f:\left[ a, b\right] \rightarrow \mathbb{R}$ is a convex function, then $f$ is continuous on $\left(a, b\right)$.

Perhaps the most famous integral inequalities for convex functions are known as Hermite-Hadamard inequalities and are expressed as follows:

where the function $f:I\rightarrow \mathbb{R}$ is convex and $a, b\in I$ with $a < b$.

By using the following identity, Pearce and Pečarić proved trapezoid type inequalities related to the convex functions in ^[18] and ^[6]. Some trapezoid type inequalities related to quasi-convex functions are proved in ^[1] and ^[9].

Lemma 2.3. ^[6] Let $f:I^{\circ}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a differentiable mapping on $I^{\circ}$ ($I^{\circ}$ is the interior of $I$), $a, b\in I^{\circ}$ with $a < b$. If $f^{\prime}\in L\left[ a, b\right]$, then the following equality holds:

Some definitions and results for $\left(p, q\right)$-differentiation and $\left(p, q\right)$-integration of the function $f:\left[ a, b\right] \rightarrow \mathbb{R}$ in the papers ^[12,22,23].

Definition 2.2. Let $f:\left[ a, b\right] \rightarrow \mathbb{R}$ be a continuous function and $0 < q < p\leq1$, then $\left(p, q\right)$-derivative of $f$ at $t\in\left[ a, b\right]$ is characterized by the expression

The function $f$ is said to be $\left(p, q\right)$-differentiable on $\left[ a, b\right]$, if $\begin{array} [c]{c} _{a}D_{p, q}f\left(t\right) \end{array}$ exists for all $t\in\left[ a, b\right]$. It should be noted that

It is clear that if $p = 1$ in $\left(2.3\right)$, then

the $q$-derivative of the function $f$ defined on $\left[ a, b\right]$ (see ^{[16,21,25,26]}).

Remark 2.1. If one takes $a = 0$ in $\left(2.3\right)$, then $\begin{array} [c]{c} _{0}D_{p, q}f\left(t\right) = D_{p, q}f\left(t\right) \end{array}$, where $\begin{array} [c]{c} D_{p, q}f\left(t\right) \end{array}$ is the $\left(p, q\right)$-derivative of $f$ at $t\in\left[ 0, b\right]$ (see ^[5,10,20]) defined by the expression

Remark 2.2. If for $a = 0$ and $p = 1$ in $\left(2.3\right)$, then $\begin{array} [c]{c} _{0}D_{q}f\left(x\right) \end{array} = \begin{array} [c]{c} D_{q}f\left(t\right) \end{array}$, where $\begin{array} [c]{c} D_{q}f\left(t\right) \end{array}$ is the $q$-derivative of $f$ at $t\in\left[ 0, b\right]$ (see ^[15]) given by the expression

Definition 2.3. Let $f:\left[ a, b\right] \rightarrow \mathbb{R}$ be a continuous function and $0 < q < p\leq1$. The definite $\left(p, q\right)$-integral of the function $f$ on $\left[ a, b\right]$ is defined as

If $c\in\left(a, b\right)$, then the definite $\left(p, q\right)$-integral of the function $f$ on $\left[ c, b\right]$ is defined as

Remark 2.3. Let $p = 1$ be in $\left(2.7\right)$, then

the definite $q$-integral of the function $f$ defined on $\left[ a, b\right]$ (see ^{[16,21,25,26]}).

Remark 2.4. Suppose that $a = 0$ in $\left(2.7\right)$, then

the definite $\left(p, q\right)$-integral of $f$ on $\left[ 0, b\right]$ (see ^[20,22,23]). We notice that for $a = 0$ and $p = 1$ in $\left(2.7\right)$, then

is the definite $q$-integral of $f$ over the interval $\left[ 0, b\right]$ (see ^[15]).

Remark 2.5. When we take $a = 0$ and $p = 1$, then the existing definitions in the literature are obtained, hence the Definition 2.2 and Definition 2.3 are well defined.

Quantum trapezoid type inequalities are obtained by Noor et al.^[16] and Sudsutad ^[21] by applying the definition convex and quasi-convex functions on the absolute values of the $q$-derivative over the finite interval of the set of real numbers.

Lemma 2.4. Let $f:\left[ a, b\right] \subset \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function and $0 < q < 1$. If $\begin{array} [c]{c} _{a}D_{q}f \end{array}$ is a $q$-integrable function on $\left(a, b\right)$, then the equality holds:

The $\left(p, q\right)$-Hermite-Hadamard type inequalities were proved in ^[12].

Theorem 2.5. Let $f:\left[ a, b\right] \rightarrow \mathbb{R}$ be a convex differentiable function on $\left[ a, b\right]$ and $0 < q < p\leq1$. Then we have

In this paper, we remove the $(p, q)$-differentiability assumption of the function $f$ in Theorem 2.5 and establish $(p, q)$-analog of the Lemma 2.4 and Lemma 2.3. We obtain $(p, q)$-analog of the trapezoid type integral inequalities by applying the established identity, which generalize the inequalities given in ^{[1,6,9,16,18,21]}.

3.   Main results

Throughout this section let $I\subset \mathbb{R}$ be an interval, $a, b\in I^{\circ}$ ($I^{\circ}$ is the interior of $I$) with $a < b$ (in other words $\left[ a, b\right] \subset I^{\circ}$) and $0 < q < p\leq1$ are constants. Let us start proving the inequalities $\left(2.13\right)$, with the lighter conditions for the function $f$.

Theorem 3.1. Let $f:I\rightarrow \mathbb{R}$ be a convex function on $I$ and $a, b\in I^{\circ}$ with $a < b$, then the following inequalities hold:

Proof. Since $f$ is convex function on the interval $I$, by Theorem 2.2 $f$ is continuous on $I^{\circ}$ and $\left[ a, b\right] \subset I^{\circ}$, the function $\ f$ is continuous on $\left[ a, b\right]$. By using Theorem 2.1, there is at least one line of support for $f$ at each $x_{0} \in\left(a, b\right)$. Since $x_{0} = \frac{qa+pb}{p+q}\in\left(a, b\right)$, using Definition 2.1

For all $x\in\left[ a, b\right]$ and some $m\in\left[ f_{-}^{\prime}\left(\frac{qa+pb}{p+q}\right), f_{+}^{\prime}\left(\frac{qa+pb}{p+q}\right) \right]$. In the proof of the Theorem 2.5 the authors used the tangent line at the point of $x_{0} = \frac{qa+pb}{p+q}$. Similarly, using the inequality $\left(3.2\right)$ and a similar method with the proof of the Theorem 2.5 we have $\left(3.1\right)$ but we omit the details. Thus the proof is accomplished.

We will use the following identity to prove trapezoid type $\left(p, q\right)$-integral inequalities for convex and quasi-convex functions.

Lemma 3.2. Let $f:I^{\circ}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function on $I^{\circ}$ and $a, b\in I^{\circ}$ with $a < b$. If $\begin{array} [c]{c} _{a}D_{p, q}f \end{array}$ is continuous on $\left[ a, b\right]$, then the equality:

holds.

Proof. Since $f$ is continuous on $I^{\circ}$ and $a, b\in I^{\circ}$, the function $f$ is continuous on $\left[ a, b\right]$. Hence, clearly $a < pb+\left(1-p\right) a\leq b$ for $0 < p\leq1$ and $\left[ a, pb+\left(1-p\right) a\right] \subset\left[ a, b\right]$. Hence $f$ is continuous on $\left[ a, pb+\left(1-p\right) a\right]$ and hence according to the condition of the Definition 2.3, the function $f$ is $\left(p, q\right)$-integrable on $\left[ a, pb+\left(1-p\right) a\right]$. This means that the $\left(p, q\right)$-integral

is well defined and exists.

Since $f$ is continuous on $\left[ a, b\right]$. Hence from Definition 2.2, $f$ is $\left(p, q\right)$-differentiable on $\left[ a, b\right]$. Thus the $\left(p, q\right)$-derivative of $f$ given by the expression

is well defined and exists.

Since $\left(1-\left(p+q\right) t\right)$ is continuous on $\left[ 0, 1\right]$ and $\begin{array} [c]{c} _{a}D_{p, q}f \end{array}$ is continuous on $\left[ a, b\right]$, then

is continuous on $\left[ 0, 1\right]$ and from Definition 2.3. Thus $\left(1-\left(p+q\right) t\right) \begin{array} [c]{c} _{a}D_{p, q}f\left(tb+\left(1-t\right) a\right) \end{array}$ is $\left(p, q\right)$-integrable on $\left[ 0, 1\right]$ and the $\left(p, q\right)$-integral

is well defined and exists.

By using $\left(2.7\right)$ and $\left(3.4\right)$, we get

This completes the proof.

Remark 3.1. The subsequent observations are important to note from the result of Lemma 3.2:

1. If $p = 1$, we recapture Lemma 2.4,

2. If $p = 1$ and $q\rightarrow1^{-}$, we recapture Lemma 2.3.

We can now prove some quantum estimates of $\left(p, q\right)$-trapezoidal integral inequalities by using convexity and quasi-convexity of the absolute values of the $\left(p, q\right)$-derivatives.

Theorem 3.3. Let $f:I^{\circ}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function on $I^{\circ}$ and $a, b\in I^{\circ}$ with $a < b$ such that $\begin{array} [c]{c} _{a}D_{p, q}f \end{array}$ is continuous on $\left[ a, b\right]$ and $0 < q < p\leq1$. If $\left\vert \begin{array} [c]{c} _{a}D_{p, q}f \end{array} \right\vert ^{r}$ is a convex function on $\left[ a, b\right]$ for $r\geq1$, then

holds, where

and

Proof. Taking absolute value on both sides of $\left(3.3\right)$, applying the power-mean inequality and by using the convexity of $\left\vert _{a}D_{p, q}f\right\vert ^{r}$ for $r\geq1$, we obtain

We evaluate the definite ($p, q$)-integrals as follows

and

Making use of $\left(3.7\right)$, $\left(3.8\right)$ and $\left(3.9\right)$ in $\left(3.6\right)$, gives us the desired result $\left(3.5\right)$. The proof is thus accomplished.

Corollary 3.1. We can get the following subsequent results from $\left(3.5\right)$ proved in Theorem 3.3:

$(1).$ Suppose $p = 1$ and $r = 1$, then we acquire the inequality proved in [21,Theorem 4.1] (see also [13,inequality $(5)$]):

$(2).$ Letting $p = 1$, provides the inequality established in [16,Theorem 3.2] (see also ^[14], [21,Theorem 4.2] and ^[13]):

$(3).$ Taking $p = 1$ and letting $q\rightarrow1^{-}$, gives the inequality proved in [18,Theorem 1]:

$(4).$ Suppose $r = 1$, $p = 1$ and letting $q\rightarrow1^{-}$, we obtain the inequality proved in [6,Theorem 2.2]:

Theorem 3.4. Let $f:I^{\circ}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function on $I^{\circ}$ and $a, b\in I^{\circ}$ with $a < b$. If $\begin{array} [c]{c} _{a}D_{p, q}f \end{array}$ is continuous on $\left[ a, b\right]$, $0 < q < p\leq1$ and$\left\vert \begin{array} [c]{c} _{a}D_{p, q}f \end{array} \right\vert ^{r}$ is a convex function on $\left[ a, b\right]$ for $r > 1$, then

where

and $\frac{1}{r}+\frac{1}{s} = 1$.

Proof. Taking absolute value on both sides of $\left(3.3\right)$, applying the Hölder inequality and using the convexity of $\left\vert \begin{array} [c]{c} _{a}D_{p, q}f \end{array} \right\vert ^{r}$ for $r > 1$, we get

We evaluate the definite $\left(p, q\right)$-integrals as follows

and

By using the values of the above definite $\left(p, q\right)$-integrals in $\left(3.15\right)$, we get what is required.

Corollary 3.2. In Theorem 3.4;

$(1).$ If we take $p = 1$, then

$(2).$ If we take $p = 1$ and letting $q\rightarrow1^{-}$, then

Remark 3.5. The inequality $\left(3.17\right)$ has been established in [6,Theorem 2.3].

Theorem 3.5. Let $f:I^{\circ}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function on $I^{\circ}$ and $a, b\in I^{\circ}$ with $a < b$. Suppose that $\begin{array} [c]{c} _{a}D_{p, q}f \end{array}$ is continuous on $\left[ a, b\right]$, $0 < q < p\leq1$ and $\left\vert \begin{array} [c]{c} _{a}D_{p, q}f \end{array} \right\vert ^{r}$ is a convex function on $\left[ a, b\right]$ for $r > 1$, then

where $\gamma_{1}\left(p, q\right)$, $\gamma_{2}\left(p, q\right)$ are defined as in Theorem 3.3 and $\frac{1}{r}+\frac{1}{s} = 1$.

Proof. Taking absolute value on both sides of $\left(3.3\right)$, applying the Hölder inequality and using the convexity of $\left\vert \begin{array} [c]{c} _{a}D_{p, q}f \end{array} \right\vert ^{r}$ for $r > 1$, we have that

Making use of $\left(3.7\right)$, $\left(3.8\right)$ and $\left(3.9\right)$ in $\left(3.19\right)$, gives us the desired result $\left(3.18\right)$. The proof is thus accomplished.

Corollary 3.3. The following results are the consequences of Theorem 3.5:

$(1).$ Taking $p = 1$, we obtain the inequality proved in [16,Theorem 3.3] (see also [14,inequality (8)]):

$(2).$ Taking $p = 1$ and letting $q\rightarrow1^{-}$, we obtain the inequality proved in [18,Theorem 1]:

Some results related for quasi-convexity are presented in the following theorems.

Theorem 3.6. Let $f:I^{\circ}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function on $I^{\circ}$ and $a, b\in I^{\circ}$ with $a < b$. If $\begin{array} [c]{c} _{a}D_{p, q}f \end{array}$ is continuous on $\left[ a, b\right]$, where $0 < q < p\leq1$ and $\left\vert \begin{array} [c]{c} _{a}D_{p, q}f \end{array} \right\vert ^{r}$ is a quasi-convex function on $\left[ a, b\right]$ $r\geq1$, then

Proof. Taking absolute value on both sides of $\left(3.3\right)$, applying the power mean inequality and using the quasi-convexity of $\left\vert _{a}D_{p, q}f\right\vert ^{r}$ on $\left[ a, b\right]$ for $r\geq1$, we have that

From $\left(3.7\right)$, we have

Hence the inequality $\left(3.22\right)$ is established.

Corollary 3.4. In Theorem 3.6

$(1).$ If we let $p = 1$, then:

$(2).$ If we take $p = 1$ and letting $q\rightarrow1^{-}$, then:

Remark 3.3. From the results of Corollary 4, we can observe the following consequences

$(1).$ The result of the inequality $\left(3.23\right)$ has also been obtained in [16,Theorem 3.4] (see also [14,inequality (9)]),

$(2).$ The result of the inequality $\left(3.24\right)$ was established in [1,Theorem 6] and [9,Theorem 1].

Theorem 3.7. Let $f:I^{\circ}\subset \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function on $I^{\circ}$ and $a, b\in I^{\circ}$ with $a < b$. If $\begin{array} [c]{c} _{a}D_{p, q}f \end{array}$ is continuous on $\left[ a, b\right]$, where $0 < q < p\leq1$ and $\left\vert \begin{array} [c]{c} _{a}D_{p, q}f \end{array} \right\vert ^{r}$ is a quasi-convex function on $\left[ a, b\right]$ for $r > 1$, then:

where $\gamma_{3}\left(p, q;s\right)$ is as defined in Theorem 3.4 and $\frac{1}{r}+\frac{1}{s} = 1$.

Proof. Taking absolute value on both sides of $\left(3.3\right)$, applying the Hölder inequality and using the quasi-convexity of $\left\vert _{a}D_{p, q}f\right\vert ^{r}$ on $\left[ a, b\right]$ for $r > 1$, we have that

The inequality $\left(3.25\right)$ is proved.

Corollary 3.5. In Theorem 3.7;

$(1).$ If $p = 1$, then we obtain the inequality proved in [9,Theorem 2]:

$(2).$ If $p = 1$ and letting $q\rightarrow1^{-}$, then:

acknowledgement

The authors would like to thank the referee for his/her careful reading of the manuscript and for making valuable suggestions.

Conflict of interest

The authors declare to have no conflict of interest.