Solving singular equations of length eight over torsion-free groups

Mairaj Bibi; Sajid Ali; Muhammad Shoaib Arif; Kamaleldin Abodayeh; Mairaj Bibi; Sajid Ali; Muhammad Shoaib Arif; Kamaleldin Abodayeh

doi:10.3934/math.2023324

AIMS Mathematics

2023, Volume 8, Issue 3: 6407-6431. doi: 10.3934/math.2023324

Previous Article Next Article

Research article

Solving singular equations of length eight over torsion-free groups

1.
Department of Mathematics, COMSATS University Islamabad, Park Road, Islamabad, 45550, Pakistan
2.
Department of Mathematics and Sciences, College of Humanities and Sciences, Prince Sultan University, Riyadh, 11586, Saudi Arabia
3.
Department of Mathematics, Air University, PAF Complex E-9, Islamabad, 44000, Pakistan

Received: 16 April 2022 Revised: 31 July 2022 Accepted: 11 August 2022 Published: 03 January 2023
MSC : 20F70, 20F05, 20E06, 20F06

It was demonstrated by Bibi and Edjvet in ^[1] that any equation with a length of at most seven over torsion-free group can be solvable. This corroborates Levin's ^[2] assertion that any equation over a torsion-free group is solvable. It is demonstrated in this article that a singular equation of length eight over torsion-free groups is solvable.

Keywords:

Citation: Mairaj Bibi, Sajid Ali, Muhammad Shoaib Arif, Kamaleldin Abodayeh. Solving singular equations of length eight over torsion-free groups[J]. AIMS Mathematics, 2023, 8(3): 6407-6431. doi: 10.3934/math.2023324

Related Papers:

[1]	Nattapong Kamsrisuk, Donny Passary, Sotiris K. Ntouyas, Jessada Tariboon . Quantum calculus with respect to another function. AIMS Mathematics, 2024, 9(4): 10446-10461. doi: 10.3934/math.2024510
[2]	Xue-Xiao You, Muhammad Aamir Ali, Ghulam Murtaza, Saowaluck Chasreechai, Sotiris K. Ntouyas, Thanin Sitthiwirattham . Post-quantum Simpson's type inequalities for coordinated convex functions. AIMS Mathematics, 2022, 7(2): 3097-3132. doi: 10.3934/math.2022172
[3]	Saowaluck Chasreechai, Muhammad Aamir Ali, Surapol Naowarat, Thanin Sitthiwirattham, Kamsing Nonlaopon . On some Simpson's and Newton's type of inequalities in multiplicative calculus with applications. AIMS Mathematics, 2023, 8(2): 3885-3896. doi: 10.3934/math.2023193
[4]	Saad Ihsan Butt, Muhammad Nasim Aftab, Hossam A. Nabwey, Sina Etemad . Some Hermite-Hadamard and midpoint type inequalities in symmetric quantum calculus. AIMS Mathematics, 2024, 9(3): 5523-5549. doi: 10.3934/math.2024268
[5]	Xuexiao You, Fatih Hezenci, Hüseyin Budak, Hasan Kara . New Simpson type inequalities for twice differentiable functions via generalized fractional integrals. AIMS Mathematics, 2022, 7(3): 3959-3971. doi: 10.3934/math.2022218
[6]	Humaira Kalsoom, Muhammad Amer Latif, Muhammad Idrees, Muhammad Arif, Zabidin Salleh . Quantum Hermite-Hadamard type inequalities for generalized strongly preinvex functions. AIMS Mathematics, 2021, 6(12): 13291-13310. doi: 10.3934/math.2021769
[7]	Muhammad Uzair Awan, Muhammad Aslam Noor, Tingsong Du, Khalida Inayat Noor . On $\mathscr{M}$ -convex functions. AIMS Mathematics, 2020, 5(3): 2376-2387. doi: 10.3934/math.2020157
[8]	Maimoona Karim, Aliya Fahmi, Shahid Qaisar, Zafar Ullah, Ather Qayyum . New developments in fractional integral inequalities via convexity with applications. AIMS Mathematics, 2023, 8(7): 15950-15968. doi: 10.3934/math.2023814
[9]	Andrea Aglić Aljinović, Domagoj Kovačević, Mehmet Kunt, Mate Puljiz . Correction: Quantum Montgomery identity and quantum estimates of Ostrowski type inequalities. AIMS Mathematics, 2021, 6(2): 1880-1888. doi: 10.3934/math.2021114
[10]	Suphawat Asawasamrit, Muhammad Aamir Ali, Hüseyin Budak, Sotiris K. Ntouyas, Jessada Tariboon . Quantum Hermite-Hadamard and quantum Ostrowski type inequalities for $s$ -convex functions in the second sense with applications. AIMS Mathematics, 2021, 6(12): 13327-13346. doi: 10.3934/math.2021771

Abstract

1. Introduction

Simpson's rules are well-known methods for numerical integration and numerical estimation of definite integral. Thomas Simpson is credited with inventing this process (1710–1761). However, about 100 years earlier, Johannes Kepler used the same approximation, so this form is also known as Kepler's law. The three-point Newton-Cotes quadrature rule is included in Simpson's rule, so estimation based on three steps quadratic kernel is often referred to as Newton type results.

1) Simpson's quadrature formula (Simpson's 1/3 rule)

$\begin{equation*} \int_{\pi _{1}}^{\pi _{2}}\Pi (x)dx\approx \frac{\pi _{2}-\pi _{1}}{6}\left[ \Pi (\pi _{1})+4\Pi \left( \frac{\pi _{1}+\pi _{2}}{2}\right) +\Pi (\pi _{2}) \right] . \end{equation*}$

2) Simpson's second formula or Newton-Cotes quadrature formula (Simpson's 3/8 rule).

$\begin{equation*} \int_{\pi _{1}}^{\pi _{2}}\Pi (x)dx\approx \frac{\pi _{2}-\pi _{1}}{8}\left[ \Pi (\pi _{1})+3\Pi \left( \frac{2\pi _{1}+\pi _{2}}{3}\right) +3\Pi \left( \frac{\pi _{1}+2\pi _{2}}{3}\right) +\Pi (\pi _{2})\right] . \end{equation*}$

In the literature, there are several estimations linked to these quadrature laws, one of which is known as Simpson's inequality:

Theorem 1.1. Suppose that $\Pi :\left[\pi _{1}, \pi _{2}\right] \rightarrow \mathbb{R}$ is a four times continuously differentiable mapping on $\left(\pi _{1}, \pi _{2}\right),$ and let $\left \Vert \Pi ^{\left(4\right) }\right \Vert _{\infty } = \underset{x\in \left(\pi _{1}, \pi _{2}\right) }{ \sup }\left \vert \Pi ^{\left(4\right) }(x)\right \vert < \infty.$ Then, one has the inequality

$\begin{equation*} \left \vert \frac{1}{3}\left[ \frac{\Pi (\pi _{1})+\Pi (\pi _{2})}{2}+2\Pi \left( \frac{\pi _{1}+\pi _{2}}{2}\right) \right] -\frac{1}{\pi _{2}-\pi _{1} }\int_{\pi _{1}}^{\pi _{2}}\Pi (x)dx\right \vert \leq \frac{1}{2880}\left \Vert \Pi ^{\left( 4\right) }\right \Vert _{\infty }\left( \pi _{2}-\pi _{1}\right) ^{4}. \end{equation*}$

Many authors have concentrated on Simpson's type inequalities for different classes of functions in recent years. Since convexity theory is an effective and efficient method for solving a large number of problems that exist within various branches of pure and applied mathematics, some mathematicians have worked on Simpson's and Newton's type results for convex mappings. Dragomir et al. ^[1], presented new Simpson's type inequalities and their applications to numerical integration quadrature formulas. Furthermore, Alomari et al. in ^[2] derive some Simpson's type inequalities for $s$ -convex functions. Following that, in ^[3], Sarikaya et al. discovered variants of Simpson's type inequalities dependent on convexity. The authors given some Newton's type inequalities for harmonic and $p$ -harmonic convex functions in ^[4,5]. Iftikhar et al. also have new Newton's type inequalities for functions whose local fractional derivatives are generalized convex in ^[6].

On the other hand, in the domain of $q$ analysis, many works are being carried out as initiated by Euler in order to attain adeptness in mathematics that constructs quantum computing $q$ calculus considered as a relationship between physics and mathematics. In different areas of mathematics, it has numerous applications such as combinatorics, number theory, basic hypergeometric functions, orthogonal polynomials, and other sciences, as well as mechanics, the theory of relativity, and quantum theory ^[7,8]. 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 ^[9,10]. Apparently, Euler invented this important branch of mathematics. He used the $q$ parameter in Newton's work on infinite series. Later, in a methodical manner, the $q$ -calculus, calculus without limits, was firstly given by Jackson ^[11,12]. In 1966, Al-Salam ^[13] introduced a $q$ -analogue of the $q$ -fractional integral and $q$ -Riemann–Liouville fractional. Since then, related research has gradually increased. In particular, in 2013, Tariboon ^[14] introduced the $_{\pi _{1}}D_{q}$ -difference operator and $q_{\pi _{1}}$ -integral. In 2020, Bermudo et al. ^[15] introduced the notion of $^{\pi _{2}}D_{q}$ derivative and $q^{\pi _{2}}$ -integral. Sadjang ^[16] generalized to quantum calculus and introduced the notions of post-quantum calculus, or briefly $\left(p, q\right)$ -calculus. Soontharanon et al. ^[17] introduced the fractional $\left(p, q\right)$ -calculus later on. In ^[18], Tunç and Göv gave the post-quantum variant of $_{\pi _{1}}D_{q}$ -difference operator and $q_{\pi _{1}}$ -integral. Recently, in 2021, Chu et al. ^[19] introduced the notions of $^{\pi _{2}}D_{p, q}$ derivative and $\left(p, q\right) ^{\pi _{2}}$ -integral.

Many integral inequalities have been studied using quantum and post-quantum integrals for various types of functions. For example, in ^{[15,20,21,22,23,24,25,26,27]}, the authors used $_{\pi _{1}}D_{q}, ^{\pi _{2}}D_{q}$ -derivatives and $q_{\pi _{1}}, q^{\pi _{2}}$ -integrals to prove Hermite–Hadamard integral inequalities and their left–right estimates for convex and coordinated convex functions. In ^[28], 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 ^[29]. Khan et al. proved quantum Hermite–Hadamard inequality using the green function in ^[30]. Budak et al. ^[31], Ali et al. ^[32,33], and Vivas-Cortez et al. ^[34] developed new quantum Simpson's and quantum Newton's type inequalities for convex and coordinated convex functions. For quantum Ostrowski's inequalities for convex and co-ordinated convex functions, one can consult ^{[35,36,37,38]}. Kunt et al. ^[39] generalized the results of ^[22] and proved Hermite–Hadamard-type inequalities and their left estimates using $_{\pi _{1}}D_{p, q}$ difference operator and $\left(p, q\right) _{\pi _{1}}$ integral. Recently, Latif et al. ^[40] found the right estimates of Hermite–Hadamard type inequalities proved by Kunt et al. ^[39]. To prove Ostrowski's inequalities, Chu et al. ^[19] used the concepts of $^{\pi _{2}}D_{p, q}$ difference operator and $\left(p, q\right) ^{\pi _{2}}$ integral.

Inspired by this ongoing studies, we offer some new quantum parameterized Simpson's and Newton's type inequalities for convex functions using the notions of quantum derivatives and integrals.

The structure of this paper is as follows: Section 2 provides a quick review of the ideas of $q$ -calculus, as well as some related works. In Section 3, we present two integral identities that aid in the proof of the key conclusions. We prove quantum Simpson's and quantum Newton's inequalities in sections 4 and 5, respectively. Section 6 finishes with a few suggestions for future research.

2. Preliminaries of $q$ -calculus and some inequalities

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

$\begin{equation*} \left[ n\right] _{q} = \frac{1-q^{n}}{1-q} = \sum \limits_{k = 0}^{n-1}q^{k}, \ q\in \left( 0, 1\right) . \end{equation*}$

Jackson ^[11] defined the $q$ -integral of a given function $\Pi$ from $0$ to $\pi _{2}$ as follows:

$\begin{equation} \int \limits_{0}^{\pi _{2}}\Pi \left( x\right) \begin{array}{c} d_{q}x \end{array} = \left( 1-q\right) \pi _{2}\sum \limits_{n = 0}^{\infty }q^{n}\Pi \left( \pi _{2}q^{n}\right) , \text{ where }0 < q < 1 \end{equation}$

(2.1)

provided that the sum converges absolutely. Moreover, he defined the $q$ -integral of a given function over the interval $[\pi _{1}, \pi _{2}]$ as follows:

$\begin{equation*} \int \limits_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \begin{array}{c} d_{q}x \end{array} = \int \limits_{0}^{\pi _{2}}\Pi \left( x\right) \begin{array}{c} d_{q}x \end{array} -\int \limits_{0}^{\pi _{1}}\Pi \left( x\right) \begin{array}{c} d_{q}x \end{array} . \end{equation*}$

Definition 2.1. ^[14] We consider the mapping $\Pi :\left[\pi _{1}, \pi _{2}\right] \rightarrow \mathbb{R} .$ Then, the $q_{\pi _{1}}$ -derivative of $\Pi$ at $x\in \left[\pi _{1}, \pi _{2}\right]$ is defined by the the following expression

$\begin{equation} \begin{array}{c} _{\pi _{1}}D_{q}\Pi \left( x\right) \end{array} = \frac{\Pi \left( x\right) -\Pi \left( qx+\left( 1-q\right) \pi _{1}\right) }{\left( 1-q\right) \left( x-\pi _{1}\right) }, x\neq \pi _{1}. \end{equation}$

(2.2)

If $x = \pi _{1}$ , we define $_{\pi _{1}}D_{q}\Pi \left(\pi _{1}\right) = \lim_{x\rightarrow \pi _{1}} \begin{array}{l} _{\pi _{1}}D_{q}\Pi \left(x\right) \end{array}$ if it exists and it is finite.

Definition 2.2. ^[15] We consider the mapping $\Pi :\left[\pi _{1}, \pi _{2} \right] \rightarrow \mathbb{R} .$ Then, the $q^{\pi _{2}}$ -derivative of $\Pi$ at $x\in \left[\pi _{1}, \pi _{2}\right]$ is defined by

$\begin{equation} \begin{array}{c} ^{\pi _{2}}D_{q}\Pi \left( x\right) \end{array} = \frac{\Pi \left( qx+\left( 1-q\right) \pi _{2}\right) -\Pi \left( x\right) }{\left( 1-q\right) \left( \pi _{2}-x\right) }, x\neq \pi _{2}. \end{equation}$

(2.3)

If $x = \pi _{2}$ , we define $^{\pi _{2}}D_{q}\Pi \left(\pi _{2}\right) = \lim_{x\rightarrow \pi _{2}} \begin{array}{l} ^{\pi _{2}}D_{q}\Pi \left(x\right) \end{array}$ if it exists and it is finite.

Definition 2.3. ^[14] We consider the mapping $\Pi :\left[\pi _{1}, \pi _{2} \right] \rightarrow \mathbb{R}$ . Then, the $q_{\pi _{1}}$ -definite integral on $\left[\pi _{1}, \pi _{2} \right]$ is defined by

$\begin{eqnarray} \int \limits_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \begin{array}{c} _{\pi _{1}}d_{q}x \end{array} & = &\left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) \sum \limits_{n = 0}^{\infty }q^{n}\Pi \left( q^{n}\pi _{2}+\left( 1-q^{n}\right) \pi _{1}\right) \\ & = &\left( \pi _{2}-\pi _{1}\right) \int \limits_{0}^{1}\Pi \left( \left( 1-\tau \right) \pi _{1}+\tau \pi _{2}\right) \begin{array}{c} d_{q}\tau \end{array} . \end{eqnarray}$

(2.4)

Remark 2.1. If we set $\pi _{1} = 0$ in Definition 2.3, then we obtain $q$ -Jackson integral, which is given in expression (2.1).

In ^[22,27], the authors proved quantum Hermite-Hadamard type inequalities and their estimations by using the notions of $q_{\pi _{1}}$ -derivative and $q_{\pi _{1}}$ -integral.

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

Definition 2.4. ^[15] We consider the mapping $\Pi :\left[\pi _{1}, \pi _{2} \right] \rightarrow \mathbb{R}$ . Then, the $q^{\pi _{2}}$ -definite integral on $\left[\pi _{1}, \pi _{2} \right]$ is defined by

$\begin{eqnarray*} \int \limits_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \begin{array}{c} ^{\pi _{2}}d_{q}x \end{array} & = &\left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) \sum \limits_{n = 0}^{\infty }q^{n}\Pi \left( q^{n}\pi _{1}+\left( 1-q^{n}\right) \pi _{2}\right) \\ & = &\left( \pi _{2}-\pi _{1}\right) \int \limits_{0}^{1}\Pi \left( \tau \pi _{1}+\left( 1-\tau \right) \pi _{2}\right) \begin{array}{c} d_{q}\tau \end{array} . \end{eqnarray*}$

Theorem 2.1. ^[15] Let $\Pi :\left[\pi _{1}, \pi _{2}\right] \rightarrow \mathbb{R}$ be a convex function on $\left[\pi _{1}, \pi _{2}\right]$ and $0 < q < 1$ . Then, $q^{\pi _{2}}$ -Hermite-Hadamard inequalities are given as follows:

$\begin{equation} \Pi \left( \frac{\pi _{1}+q\pi _{2}}{\left[ 2\right] _{q}}\right) \leq \frac{ 1}{\pi _{2}-\pi _{1}}\int \limits_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \begin{array}[t]{l} ^{\pi _{2}}d_{q}x \end{array} \leq \frac{\Pi \left( \pi _{1}\right) +q\Pi \left( \pi _{2}\right) }{\left[ 2 \right] _{q}}. \end{equation}$

(2.5)

In ^[24], Budak proved the left and right bounds of the inequality (2.5).

3. Crucial identities

To obtain the key results of this paper, we prove three separate identities in this section.

Let's begin with the following crucial Lemma.

Lemma 3.1. If $\Pi :\left[\pi _{1}, \pi _{2}\right] \subset \mathbb{R} \rightarrow \mathbb{R}$ is a $q_{\pi _{1}}$ -differentiable function on $\left(\pi _{1}, \pi _{2}\right)$ such that $_{\pi _{1}}D_{q}\Pi$ is continuous and integrable on $\left[\pi _{1}, \pi _{2}\right]$ , then we have the following identity:

$\begin{eqnarray} &&q\lambda \Pi \left( \pi _{1}\right) +\left( 1-\mu q\right) \Pi \left( \pi _{2}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q+\pi _{2} }{\left[ 2\right] _{q}}\right) -\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x \\ & = &q\left( \pi _{2}-\pi _{1}\right) \\ &&\times \left[ \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left( t-\lambda \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t+\int_{\frac{1}{\left[ 2\right] _{q}}}^{1}\left( t-\mu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t\right] \end{eqnarray}$

(3.1)

where $q\in \left(0, 1\right).$

Proof. From Definition 2.1, we have

$\begin{equation} _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) = \frac{\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) -\Pi \left( qt\pi _{2}+\left( 1-qt\right) \pi _{1}\right) }{\left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) t}. \end{equation}$

(3.2)

By utilizing the properties of quantum integrals, we obtain

$\begin{eqnarray} &&\int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left( t-\lambda \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t+\int_{\frac{1}{\left[ 2\right] _{q}}}^{1}\left( t-\mu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \\ & = &\int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left( \mu -\lambda \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t+\int_{0}^{1}\left( t-\mu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \\ & = &\left( \mu -\lambda \right) \int_{0}^{\frac{1}{\left[ 2\right] _{q}}} \frac{\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) -\Pi \left( qt\pi _{2}+\left( 1-qt\right) \pi _{1}\right) }{\left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) t}d_{q}t \\ &&+\int_{0}^{1}\frac{\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) -\Pi \left( qt\pi _{2}+\left( 1-qt\right) \pi _{1}\right) }{\left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) }d_{q}t \\ &&-\mu \int_{0}^{1}\frac{\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) -\Pi \left( qt\pi _{2}+\left( 1-qt\right) \pi _{1}\right) }{ \left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) t}d_{q}t. \end{eqnarray}$

(3.3)

By Definition 2.3, we have the following equalities

$\begin{eqnarray} &&\int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\frac{\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) -\Pi \left( qt\pi _{2}+\left( 1-qt\right) \pi _{1}\right) }{\left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) t}d_{q}t \\ & = &\frac{1}{\pi _{2}-\pi _{1}}\left[ \sum\limits_{n = 0}^{\infty }\Pi \left( \frac{ q^{n}}{\left[ 2\right] _{q}}\pi _{2}+\left( 1-\frac{q^{n}}{\left[ 2\right] _{q}}\right) \pi _{1}\right) -\sum\limits_{n = 0}^{\infty }\Pi \left( \frac{q^{n+1}}{ \left[ 2\right] _{q}}\pi _{2}+\left( 1-\frac{q^{n+1}}{\left[ 2\right] _{q}} \right) \pi _{1}\right) \right] \\ & = &\frac{1}{\pi _{2}-\pi _{1}}\left[ \Pi \left( \frac{\pi _{1}q+\pi _{2}}{ \left[ 2\right] _{q}}\right) -\Pi \left( \pi _{1}\right) \right] , \end{eqnarray}$

(3.4)

(3.5)

and

$\begin{eqnarray} &&\int_{0}^{1}\frac{\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) -\Pi \left( qt\pi _{2}+\left( 1-qt\right) \pi _{1}\right) }{\left( 1-q\right) \left( \pi _{2}-\pi _{1}\right) }d_{q}t \\ & = &\frac{1}{\pi _{2}-\pi _{1}}\left[ \sum\limits_{n = 0}^{\infty }q^{n}\Pi \left( q^{n}\pi _{2}+\left( 1-q^{n}\right) \pi _{1}\right) -\sum\limits_{n = 0}^{\infty }q^{n}\Pi \left( q^{n+1}\pi _{2}+\left( 1-q^{n+1}\right) \pi _{1}\right) \right] \\ & = &\frac{1}{\pi _{2}-\pi _{1}}\left[ \sum\limits_{n = 0}^{\infty }q^{n}\Pi \left( q^{n}\pi _{2}+\left( 1-q^{n}\right) \pi _{1}\right) -\frac{1}{q} \sum\limits_{n = 1}^{\infty }q^{n}\Pi \left( q^{n}\pi _{2}+\left( 1-q^{n}\right) \pi _{1}\right) \right] \\ & = &\frac{1}{\pi _{2}-\pi _{1}}\left[ \sum\limits_{n = 0}^{\infty }q^{n}\Pi \left( q^{n}\pi _{2}+\left( 1-q^{n}\right) \pi _{1}\right) -\frac{1}{q} \sum\limits_{n = 0}^{\infty }q^{n}\Pi \left( q^{n}\pi _{2}+\left( 1-q^{n}\right) \pi _{1}\right) +\frac{1}{q}\Pi \left( \pi _{2}\right) \right] \\ & = &\frac{1}{\pi _{2}-\pi _{1}}\left[ \frac{1}{q}\Pi \left( \pi _{2}\right) - \frac{1}{q\left( \pi _{2}-\pi _{1}\right) }\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right] . \end{eqnarray}$

(3.6)

If we substitute the computed integrals (3.4)–(3.6) in (3.3), we establish the required identity (3.1).

Remark 3.1. In Lemma 3.1, if we choose $\lambda = \frac{1}{\left[6\right] _{q}}$ and $\mu = \frac{\left[5\right] _{q}}{\left[6\right] _{q}}$ , then we have the following identity:

$\begin{align*} & \frac{1}{\left[ 6\right] _{q}}\left[ q\Pi \left( \alpha \right) +q^{2} \left[ 4\right] _{q}\Pi \left( \frac{q\pi _{1}+\pi _{2}}{\left[ 2\right] _{q} }\right) +\Pi \left( \pi _{2}\right) \right] -\frac{1}{\pi _{2}-\pi _{1}} \int \limits_{\pi _{1}}^{\pi _{2}}\Pi \left( s\right) \begin{array}{c} _{\pi _{1}}d_{q}s \end{array} \\ & = q\left( \pi _{2}-\pi _{1}\right) \\ & \times \left[ \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left( t-\frac{1}{ \left[ 6\right] _{q}}\right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t+\int_{\frac{1}{\left[ 2\right] _{q}} }^{1}\left( t-\frac{\left[ 5\right] _{q}}{\left[ 6\right] _{q}}\right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t\right] \end{align*}$

which is proved by Iftikhar et al. in ^[41].

Remark 3.2. In Lemma 3.1, if we choose $\lambda = \mu = \frac{1}{\left[2\right] _{q}}$ , then we obtain [42,Lemma 3.1].

Remark 3.3. In Lemma 3.1, if we choose $\lambda = 0$ and $\mu = \frac{1}{q}$ , then Lemma 3.1 reduces to [22,Lemma 11].

Remark 3.4. In Lemma 3.1, if we take the limit $q\rightarrow 1^{-},$ then we have [,Lemma 2.1 for $m = 1$ ].

Lemma 3.2. If $\Pi :\left[\pi _{1}, \pi _{2}\right] \subset \mathbb{R} \rightarrow \mathbb{R}$ is a $q_{\pi _{1}}$ -differentiable function on $\left(\pi _{1}, \pi _{2}\right)$ such that $_{\pi _{1}}D_{q}\Pi$ is continuous and integrable on $\left[\pi _{1}, \pi _{2}\right]$ , then we have the following identity:

$\begin{eqnarray} &&q\lambda \Pi \left( \pi _{1}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q\left[ 2\right] _{q}+\pi _{2}}{\left[ 3\right] _{q}} \right) \\ &&+q\left( \nu -\mu \right) \Pi \left( \frac{\pi _{1}q^{2}+\pi _{2}\left[ 2 \right] _{q}}{\left[ 3\right] _{q}}\right) +\left( 1-\nu q\right) \Pi \left( \pi _{2}\right) -\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x \\ & = &\left( \pi _{2}-\pi _{1}\right) q\left[ \int_{0}^{\frac{1}{\left[ 3\right] _{q}}}\left( t-\lambda \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t\right. \\ &&+\int_{\frac{1}{\left[ 3\right] _{q}}}^{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}\left( t-\mu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \\ &&\left. +\int_{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}^{1}\left( t-\nu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t\right] \end{eqnarray}$

(3.7)

where $q\in \left(0, 1\right).$

Proof. By the fundamental properties of quantum integrals, we have

$\begin{eqnarray*} &&\int_{0}^{\frac{1}{\left[ 3\right] _{q}}}\left( t-\lambda \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t+\int_{\frac{1}{\left[ 3\right] _{q}}}^{\frac{\left[ 2\right] _{q}}{ \left[ 3\right] _{q}}}\left( t-\mu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \\ &&+\int_{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}^{1}\left( t-\nu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \\ & = &\int_{0}^{\frac{1}{\left[ 3\right] _{q}}}\left( \mu -\lambda \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t+\int_{0}^{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}\left( \nu -\mu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \\ &&+\int_{0}^{1}\left( t-\nu \right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t. \end{eqnarray*}$

By applying the same steps in the proof of Lemma 3.1 for rest of this proof, one can obtain the desired identity (3.7).

Remark 3.5. If we take $\lambda = \frac{1}{\left[8\right] _{q}}$ , $\mu = \frac{1}{\left[2 \right] _{q}}$ , and $\nu = \frac{\left[7\right] _{q}}{\left[8\right] _{q}}$ in Lemma 3.2, then we obtain the following identity

$\begin{eqnarray*} &&\frac{1}{\left[ 8\right] _{q}}\left[ q\Pi \left( \pi _{1}\right) +\frac{ q^{3}\left[ 6\right] _{q}}{\left[ 2\right] _{q}}\Pi \left( \frac{\pi _{1}q \left[ 2\right] _{q}+\pi _{2}}{\left[ 3\right] _{q}}\right) +\frac{q^{2} \left[ 6\right] _{q}}{\left[ 2\right] _{q}}\Pi \left( \frac{\pi _{1}q^{2}+\pi _{2}\left[ 2\right] _{q}}{\left[ 3\right] _{q}}\right) +\Pi \left( \pi _{2}\right) \right] \\ &&-\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x \\ & = &q\left( \pi _{2}-\pi _{1}\right) \left[ \int_{0}^{\frac{1}{\left[ 3\right] _{q}}}\left( t-\frac{1}{\left[ 8\right] _{q}}\right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t\right. \\ &&+\int_{\frac{1}{\left[ 3\right] _{q}}}^{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}\left( t-\frac{1}{\left[ 2\right] _{q}}\right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \\ &&\left. +\int_{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}^{1}\left( t-\frac{\left[ 7\right] _{q}}{\left[ 8\right] _{q}}\right) \; _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) d_{q}t \right] \end{eqnarray*}$

which is proved by Erden et al. in ^[44].

Remark 3.6. If we take $\lambda = \mu = \nu = \frac{1}{\left[2\right] _{q}}$ , in Lemma 3.2, then we obtain [42,Lemma 3.1].

Corollary 3.1. If we take the limit $q\rightarrow 1^{-}$ in Lemma 3.2, then we obtain the following new identity

$\begin{eqnarray*} &&\lambda \Pi \left( \pi _{1}\right) +\left( \mu -\lambda \right) \Pi \left( \frac{2\pi _{1}+\pi _{2}}{3}\right) +\left( \nu -\mu \right) \Pi \left( \frac{\pi _{1}+2\pi _{2}}{3}\right) +\left( 1-\nu \right) \Pi \left( \pi _{2}\right) \\ &&-\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) dx \\ & = &\left( \pi _{2}-\pi _{1}\right) \left[ \int_{0}^{\frac{1}{3}}\left( t-\lambda \right) \Pi ^{\prime }\left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) dt+\int_{\frac{1}{3}}^{\frac{2}{3}}\left( t-\mu \right) \Pi ^{\prime }\left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) dt\right. \\ &&\left. +\int_{\frac{2}{3}}^{1}\left( t-\nu \right) \Pi ^{\prime }\left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) dt\right] \end{eqnarray*}$

For brevity, let us prove another lemma that will be used frequently in the main results.

Lemma 3.3. The following quantum integrals holds for $\lambda, \mu, \nu \geq 0$ :

$\begin{equation} \Omega _{11} = \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left \vert t-\lambda \right \vert d_{q}t = \frac{2\lambda ^{2}q}{\left[ 2\right] _{q}}+\frac{1}{ \left( \left[ 2\right] _{q}\right) ^{3}}-\frac{\lambda }{\left[ 2\right] _{q} } \end{equation}$

(3.8)

$\begin{equation} \Omega _{12} = \int_{\frac{1}{\left[ 2\right] _{q}}}^{1}\left \vert t-\mu \right \vert d_{q}t = \frac{2\mu ^{2}q}{\left[ 2\right] _{q}}+\frac{\left( \left[ 2\right] _{q}\right) ^{2}+1}{\left( \left[ 2\right] _{q}\right) ^{3}}- \frac{\mu \left( \left[ 2\right] _{q}+1\right) }{\left[ 2\right] _{q}} \end{equation}$

(3.9)

$\begin{equation} \Omega _{13} = \int_{0}^{\frac{1}{\left[ 3\right] _{q}}}\left \vert t-\lambda \right \vert d_{q}t = \frac{2\lambda ^{2}q}{\left[ 2\right] _{q}}+\frac{1}{ \left[ 2\right] _{q}\left( \left[ 3\right] _{q}\right) ^{2}}-\frac{\lambda }{ \left[ 3\right] _{q}} \end{equation}$

(3.10)

$\begin{equation} \Omega _{14} = \int_{\frac{1}{\left[ 3\right] _{q}}}^{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}\left \vert t-\mu \right \vert d_{q}t = \frac{2\mu ^{2}q}{\left[ 2\right] _{q}}-\frac{\mu \left( \left[ 2\right] _{q}+1\right) }{\left[ 3\right] _{q}}+\frac{\left( \left[ 2\right] _{q}\right) ^{2}+1}{ \left[ 2\right] _{q}\left( \left[ 3\right] _{q}\right) ^{2}} \end{equation}$

(3.11)

$\begin{equation} \Omega _{15} = \int_{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}} }^{1}\left \vert t-\nu \right \vert d_{q}t = \frac{2\nu ^{2}q}{\left[ 2\right] _{q}}-\frac{\nu \left( \left[ 2\right] _{q}+\left[ 3\right] _{q}\right) }{ \left[ 3\right] _{q}}+\frac{\left[ 2\right] _{q}}{\left( \left[ 3\right] _{q}\right) ^{2}}+\frac{1}{\left[ 2\right] _{q}} \end{equation}$

(3.12)

$\begin{equation} \Omega _{1} = \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}t\left \vert t-\lambda \right \vert d_{q}t = \frac{2\lambda ^{3}q^{2}}{\left[ 2\right] _{q}\left[ 3 \right] _{q}}+\frac{1}{\left( \left[ 2\right] _{q}\right) ^{3}\left[ 3\right] _{q}}-\frac{\lambda }{\left( \left[ 2\right] _{q}\right) ^{3}} \end{equation}$

(3.13)

$\begin{eqnarray} \Omega _{2} & = &\int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left( 1-t\right) \left \vert t-\lambda \right \vert d_{q}t \\ && \\ & = &\Omega _{11}-\Omega _{1} \\ && \\ & = &\frac{2\lambda ^{2}q}{\left[ 2\right] _{q}}-\frac{2\lambda ^{3}q^{2}}{ \left[ 2\right] _{q}\left[ 3\right] _{q}}-\frac{\lambda \left( \left( \left[ 2\right] _{q}\right) ^{2}-1\right) }{\left( \left[ 2\right] _{q}\right) ^{3}} +\frac{\left[ 3\right] _{q}-1}{\left( \left[ 2\right] _{q}\right) ^{3}\left[ 3\right] _{q}} \end{eqnarray}$

(3.14)

$\begin{eqnarray} \Omega _{3} & = &\int_{\frac{1}{\left[ 2\right] _{q}}}^{1}t\left \vert t-\mu \right \vert d_{q}t \\ && \\ & = &\frac{2\mu ^{3}q^{2}}{\left[ 2\right] _{q}\left[ 3\right] _{q}}+\frac{ 1+\left( \left[ 2\right] _{q}\right) ^{3}}{\left( \left[ 2\right] _{q}\right) ^{3}\left[ 3\right] _{q}}-\frac{\mu \left( \left( \left[ 2\right] _{q}\right) ^{2}+1\right) }{\left( \left[ 2\right] _{q}\right) ^{3}} \end{eqnarray}$

(3.15)

$\begin{eqnarray} \Omega _{4} & = &\int_{\frac{1}{\left[ 2\right] _{q}}}^{1}\left( 1-t\right) \left \vert t-\mu \right \vert d_{q}t = \\ && \\ & = &\Omega _{12}-\Omega _{3} \\ && \\ & = &\frac{2\mu ^{2}q}{\left[ 2\right] _{q}}-\frac{2\mu ^{3}q^{2}}{\left[ 2 \right] _{q}\left[ 3\right] _{q}}-\frac{\mu \left( \left( \left[ 2\right] _{q}\right) ^{3}-1\right) }{\left( \left[ 2\right] _{q}\right) ^{3}}+\frac{ \left[ 3\right] _{q}\left( 1+\left( \left[ 2\right] _{q}\right) ^{2}\right) -\left( \left[ 2\right] _{q}\right) ^{3}-1}{\left( \left[ 2\right] _{q}\right) ^{3}\left[ 3\right] _{q}} \end{eqnarray}$

(3.16)

$\begin{equation} \Omega _{5} = \int_{0}^{\frac{1}{\left[ 3\right] _{q}}}t\left \vert t-\lambda \right \vert d_{q}t = \frac{2\lambda ^{3}q^{2}}{\left[ 2\right] _{q}\left[ 3 \right] _{q}}+\frac{1}{\left( \left[ 3\right] _{q}\right) ^{4}}-\frac{ \lambda }{\left( \left[ 3\right] _{q}\right) ^{2}\left[ 2\right] _{q}} \end{equation}$

(3.17)

$\begin{eqnarray} \Omega _{6} & = &\int_{0}^{\frac{1}{\left[ 3\right] _{q}}}\left( 1-t\right) \left \vert t-\lambda \right \vert d_{q}t = \\ && \\ & = &\Omega _{13}-\Omega _{5} \\ && \\ & = &\frac{2\lambda ^{2}q}{\left[ 2\right] _{q}}-\frac{2\lambda ^{3}q^{2}}{ \left[ 2\right] _{q}\left[ 3\right] _{q}}+\frac{\lambda \left( 1-\left[ 2 \right] _{q}\left[ 3\right] _{q}\right) }{\left( \left[ 3\right] _{q}\right) ^{2}\left[ 2\right] _{q}}+\frac{\left( \left[ 3\right] _{q}\right) ^{2}- \left[ 2\right] _{q}}{\left( \left[ 3\right] _{q}\right) ^{4}\left[ 2\right] _{q}} \end{eqnarray}$

(3.18)

$\begin{equation} \Omega _{7} = \int_{\frac{1}{\left[ 3\right] _{q}}}^{\frac{\left[ 2\right] _{q} }{\left[ 3\right] _{q}}}t\left \vert t-\mu \right \vert d_{q}t = \frac{2\mu ^{3}q^{2}}{\left[ 2\right] _{q}\left[ 3\right] _{q}}+\frac{1+\left( \left[ 2 \right] _{q}\right) ^{3}}{\left( \left[ 3\right] _{q}\right) ^{4}}-\frac{\mu \left( \left( \left[ 2\right] _{q}\right) ^{2}+1\right) }{\left( \left[ 3 \right] _{q}\right) ^{2}\left[ 2\right] _{q}} \end{equation}$

(3.19)

$\begin{eqnarray} \Omega _{8} & = &\int_{\frac{1}{\left[ 3\right] _{q}}}^{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}\left( 1-t\right) \left \vert t-\mu \right \vert d_{q}t \\ & = &\Omega _{14}-\Omega _{7} \\ && \\ & = &\frac{2\mu ^{2}q}{\left[ 2\right] _{q}}-\frac{2\mu ^{3}q^{2}}{\left[ 2 \right] _{q}\left[ 3\right] _{q}}-\frac{\mu \left( \left( \left[ 2\right] _{q}\right) ^{2}\left( \left[ 3\right] _{q}-1\right) +\left[ 2\right] _{q} \left[ 3\right] _{q}\right) }{\left( \left[ 3\right] _{q}\right) ^{2}\left[ 2 \right] _{q}} \\ &&+\frac{\left( \left( \left[ 2\right] _{q}\right) ^{2}+1\right) \left( \left[ 3\right] _{q}\right) ^{3}-\left[ 2\right] _{q}-\left( \left[ 2\right] _{q}\right) ^{4}}{\left( \left[ 3\right] _{q}\right) ^{4}\left[ 2\right] _{q} } \end{eqnarray}$

(3.20)

$\begin{equation} \Omega _{9} = \int_{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}} }^{1}t\left \vert t-\nu \right \vert d_{q}t = \frac{2\nu ^{3}q^{2}}{\left[ 2 \right] _{q}\left[ 3\right] _{q}}-\frac{\nu \left( \left( \left[ 2\right] _{q}\right) ^{2}+\left( \left[ 3\right] _{q}\right) ^{2}\right) }{\left[ 2 \right] _{q}\left( \left[ 3\right] _{q}\right) ^{2}}+\frac{\left( \left[ 2 \right] _{q}\right) ^{3}+\left( \left[ 3\right] _{q}\right) ^{3}}{\left( \left[ 3\right] _{q}\right) ^{4}} \end{equation}$

(3.21)

$\begin{eqnarray} \Omega _{10} & = &\int_{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}} }^{1}\left( 1-t\right) \left \vert t-\nu \right \vert d_{q}t \end{eqnarray}$

(3.22)

$\begin{eqnarray} && \\ & = &\Omega _{15}-\Omega _{9} \\ && \\ & = &\frac{2\upsilon ^{2}q}{\left[ 2\right] _{q}}-\frac{2\upsilon ^{3}q^{2}}{ \left[ 2\right] _{q}\left[ 3\right] _{q}}-\frac{\upsilon \left( \left( \left[ 3\right] _{q}\right) ^{2}\left( \left[ 2\right] _{q}-1\right) +\left( \left[ 2\right] _{q}\right) ^{2}\left( \left[ 3\right] _{q}-1\right) \right) }{ \left( \left[ 3\right] _{q}\right) ^{2}\left[ 2\right] _{q}} \end{eqnarray}$

(3.23)

$\begin{eqnarray} &&+\frac{\left( \left[ 3\right] _{q}\right) ^{2}\left( \left[ 2\right] _{q}- \left[ 3\right] _{q}\right) -\left( \left[ 2\right] _{q}\right) ^{3}}{\left( \left[ 3\right] _{q}\right) ^{4}} \end{eqnarray}$

(3.24)

Proof. By the definition of $q$ -integral, we have

$\begin{eqnarray*} \Omega _{1} & = &\int_{0}^{\frac{1}{\left[ 2\right] _{q}}}t\left \vert t-\lambda \right \vert d_{q}t \\ && \\ & = &\int_{0}^{\lambda }t\left( \lambda -t\right) d_{q}t+\int_{\lambda }^{ \frac{1}{\left[ 2\right] _{q}}}t\left( t-\lambda \right) d_{q}t \\ && \\ & = &2\int_{0}^{\lambda }t\left( \lambda -t\right) d_{q}t+\int_{0}^{\frac{1}{ \left[ 2\right] _{q}}}t\left( t-\lambda \right) d_{q}t \\ && \\ & = &\frac{2\lambda ^{3}q^{2}}{\left[ 2\right] _{q}\left[ 3\right] _{q}}+\frac{ 1}{\left( \left[ 2\right] _{q}\right) ^{3}\left[ 3\right] _{q}}-\frac{ \lambda }{\left( \left[ 2\right] _{q}\right) ^{3}} \end{eqnarray*}$

and so

$\begin{equation*} \Omega _{1} = \frac{2\lambda ^{3}q^{2}}{\left[ 2\right] _{q}\left[ 3\right] _{q}}+\frac{1}{\left( \left[ 2\right] _{q}\right) ^{3}\left[ 3\right] _{q}}- \frac{\lambda }{\left( \left[ 2\right] _{q}\right) ^{3}}. \end{equation*}$

This gives the proof of the equality (3.13). The others can be calculated in similar way.

4. Generalizations of Simpson's type inequalities for quantum integrals with two parameters

In this section, we prove a new generalization of quantum Simpson's, Midpoint and Trapezoid type inequalities for quantum differentiable convex functions.

Theorem 4.1. We assume that the given conditions of Lemma 3.1 hold. If the mapping $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert$ is convex on $\left[\pi _{1}, \pi _{2}\right]$ , then the following inequality holds:

$\begin{eqnarray} &&\left \vert q\lambda \Pi \left( \pi _{1}\right) +\left( 1-\mu q\right) \Pi \left( \pi _{2}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q+\pi _{2}}{\left[ 2\right] _{q}}\right) -\frac{1}{\pi _{2}-\pi _{1}} \int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right \vert \\ &\leq &q\left( \pi _{2}-\pi _{1}\right) \left[ \left( \Omega _{1}+\Omega _{3}\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert +\left( \Omega _{2}+\Omega _{4}\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert \right] \end{eqnarray}$

(4.1)

where $\Omega _{1}$ - $\Omega _{4}$ are given in (3.13)-(3.16), respectively.

Proof. By taking the modulus in Lemma 3.1 and using the convexity of $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert$ , we obtain

$\begin{eqnarray*} &&q\lambda \Pi \left( \pi _{1}\right) +\left( 1-\mu q\right) \Pi \left( \pi _{2}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q+\pi _{2} }{\left[ 2\right] _{q}}\right) -\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x \\ &\leq &q\left( \pi _{2}-\pi _{1}\right) \\ &&\times \left[ \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left \vert t-\lambda \right \vert \left \vert _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) \right \vert d_{q}t+\int_{\frac{1}{ \left[ 2\right] _{q}}}^{1}\left \vert t-\mu \right \vert \left \vert _{\pi _{1}}D_{q}\Pi \left( t\pi _{2}+\left( 1-t\right) \pi _{1}\right) \right \vert d_{q}t\right] \\ &\leq &\left( \pi _{2}-\pi _{1}\right) q\left[ \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert \left \{ \int_{0}^{\frac{1 }{\left[ 2\right] _{q}}}t\left \vert t-\lambda \right \vert d_{q}t+\int_{ \frac{1}{\left[ 2\right] _{q}}}^{1}t\left \vert t-\mu \right \vert d_{q}t\right \} \right. \\ &&\left. +\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert \left \{ \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left( 1-t\right) \left \vert t-\lambda \right \vert d_{q}t+\int_{\frac{1}{\left[ 2\right] _{q} }}^{1}\left( 1-t\right) \left \vert t-\mu \right \vert d_{q}t\right \} \right] \\ & = &\left( \pi _{2}-\pi _{1}\right) q\left[ \left( \Omega _{1}+\Omega _{3}\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert +\left( \Omega _{2}+\Omega _{4}\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert \right] \end{eqnarray*}$

which is the desired inequality.

Remark 4.1. If we take the limit $q\rightarrow 1^{-}$ in Theorem 4.1, then we have [,Theorem 2.1 for $s = m = 1$ ].

Remark 4.2. If we assume $\lambda = \mu = \frac{1}{\left[2\right] _{q}}$ in Theorem 4.1, then we obtain [42,Theorem 4.1].

Remark 4.3. In Theorem 4.1, if we choose $\lambda = 0$ and $\mu = \frac{1}{q}$ , then Theorem 4.1 reduces to [22,Theorem 13].

Remark 4.4. If we assume $\lambda = \frac{1}{\left[6\right] _{q}}$ and $\mu = \frac{\left[5\right] _{q}}{\left[6\right] _{q}}$ in Theorem 4.1, then we obtain the following inequality

where

$\begin{eqnarray*} A_{1}\left( q\right) & = &\frac{2q^{2}\left[ 2\right] _{q}^{2}+\left[ 6\right] _{q}^{2}\left( \left[ 6\right] _{q}-\left[ 3\right] _{q}\right) }{\left[ 2 \right] _{q}^{3}\left[ 3\right] _{q}\left[ 6\right] _{q}^{3}}, \\ B_{1}\left( q\right) & = &2\frac{q\left[ 3\right] _{q}\left[ 6\right] _{q}-q^{2}}{\left[ 2\right] _{q}\left[ 3\right] _{q}\left[ 6\right] _{q}^{3}} +\frac{1}{\left[ 2\right] _{q}^{3}}\left( \frac{q+q^{2}}{\left[ 3\right] _{q} }-\frac{q^{2}+2q}{\left[ 6\right] _{q}}\right) , \\ A_{2}\left( q\right) & = &\frac{2q^{2}\left[ 5\right] _{q}^{3}}{\left[ 2\right] _{q}\left[ 3\right] _{q}\left[ 6\right] _{q}^{3}}+\frac{\left[ 6\right] _{q}\left( 1+\left[ 2\right] _{q}^{3}\right) -\left[ 3\right] _{q}\left[ 5 \right] _{q}\left( 1+\left[ 2\right] _{q}^{2}\right) }{\left[ 2\right] _{q}^{3}\left[ 3\right] _{q}\left[ 6\right] _{q}}, \\ B_{2}\left( q\right) & = &2\frac{q\left[ 5\right] _{q}^{2}\left[ 6\right] _{q} \left[ 3\right] _{q}-q^{2}\left[ 5\right] _{q}^{3}}{\left[ 2\right] _{q} \left[ 3\right] _{q}\left[ 6\right] _{q}^{3}}+\frac{q^{2}}{\left[ 2\right] _{q}\left[ 3\right] _{q}}-\frac{q\left[ 5\right] _{q}}{\left[ 2\right] _{q} \left[ 6\right] _{q}} \\ &&-\frac{1}{\left[ 2\right] _{q}^{3}}\left[ \frac{\left[ 5\right] _{q}\left( 2q+q^{2}\right) }{\left[ 6\right] _{q}}-\frac{q+q^{2}}{\left[ 3\right] _{q}} \right] \end{eqnarray*}$

which is proved by Ifitikhar et al. ^[41].

Theorem 4.2. We assume that the given conditions of Lemma 3.1 hold. If the mapping $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert ^{p_{1}}$ , $p_{1}\geq 1$ is convex on $\left[\pi _{1}, \pi _{2}\right]$ , then the following inequality holds:

$\begin{eqnarray} &&\left \vert \lambda q\Pi \left( \pi _{1}\right) +\left( 1-\mu q\right) \Pi \left( \pi _{2}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q+\pi _{2}}{\left[ 2\right] _{q}}\right) -\frac{1}{\pi _{2}-\pi _{1}} \int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right \vert \\ && \\ &\leq &\left( \pi _{2}-\pi _{1}\right) q\left[ \Omega _{11}^{1-\frac{1}{p_{1} }}\left( \Omega _{1}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\Omega _{2}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}}\right. \\ && \\ &&\left. +\Omega _{12}^{1-\frac{1}{p_{1}}}\left( \Omega _{3}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\Omega _{4}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}}\right] \end{eqnarray}$

(4.2)

where $\Omega _{11},$ $\Omega _{12}$ and $\Omega _{1}$ - $\Omega _{4}$ are given in (3.8), (3.9), and (3.13)–(3.16), respectively.

Proof. By taking the modulus in Lemma 3.1 and using the power mean inequality, we have

By using the convexity of $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert ^{p_{1}}$ , we have

$\begin{eqnarray*} &&\left \vert \lambda q\Pi \left( \pi _{1}\right) +\left( 1-\mu q\right) \Pi \left( \pi _{2}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q+\pi _{2}}{\left[ 2\right] _{q}}\right) -\frac{1}{\pi _{2}-\pi _{1}} \int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right \vert \\ &\leq &\left( \pi _{2}-\pi _{1}\right) q\left[ \left( \int_{0}^{\frac{1}{ \left[ 2\right] _{q}}}\left \vert t-\lambda \right \vert d_{q}t\right) ^{1- \frac{1}{p_{1}}}\right. \\ &&\times \left( \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}\int_{0}^{\frac{1}{\left[ 2\right] _{q}}}t\left \vert t-\lambda \right \vert d_{q}t+\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\int_{0}^{\frac{1}{\left[ 2\right] _{q}} }\left( 1-t\right) \left \vert t-\lambda \right \vert d_{q}t\right) ^{\frac{1 }{p_{1}}} \\ &&+\left( \int_{\frac{1}{\left[ 2\right] _{q}}}^{1}\left \vert t-\mu \right \vert d_{q}t\right) ^{1-\frac{1}{p_{1}}} \\ &&\left. \times \left( \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}\int_{\frac{1}{\left[ 2\right] _{q}} }^{1}t\left \vert t-\mu \right \vert d_{q}t+\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\int_{\frac{1}{\left[ 2\right] _{q}}}^{1}\left( 1-t\right) \left \vert t-\mu \right \vert d_{q}t\right) ^{ \frac{1}{p_{1}}}\right] \\ & = &\left( \pi _{2}-\pi _{1}\right) q\left[ \Omega _{11}^{1-\frac{1}{p_{1}} }\left( \Omega _{1}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\Omega _{2}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}}\right. \\ &&\left. +\Omega _{12}^{1-\frac{1}{p_{1}}}\left( \Omega _{3}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\Omega _{4}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}}\right] \end{eqnarray*}$

and the proof is completed.

Remark 4.5. If we take the limit $q\rightarrow 1^{-}$ in Theorem 4.2, then we have [,Theorem 2.3 for $s = m = 1$ ].

Remark 4.6. If we assume $\lambda = \mu = \frac{1}{\left[2\right] _{q}}$ in Theorem 4.2, then we obtain [42,Theorem 4.2].

Remark 4.7. If we assume $\lambda = \frac{1}{\left[6\right] _{q}}$ and $\mu = \frac{\left[5\right] _{q}}{\left[6\right] _{q}}$ in Theorem 4.2, then we obtain the following inequality

$\begin{eqnarray*} &&\left \vert \frac{1}{\left[ 6\right] _{q}}\left[ q\Pi \left( \alpha \right) +q^{2}\left[ 4\right] _{q}\Pi \left( \frac{q\pi _{1}+\pi _{2}}{\left[ 2\right] _{q}}\right) +\Pi \left( \pi _{2}\right) \right] -\frac{1}{\pi _{2}-\pi _{1}}\int \limits_{\pi _{1}}^{\pi _{2}}\Pi \left( s\right) \begin{array}{c} _{\pi _{1}}d_{q}s \end{array} \right \vert \\ &\leq &q\left( \pi _{2}-\pi _{1}\right) \left[ \left( \frac{2q}{\left[ 2 \right] _{q}\left[ 6\right] _{q}^{2}}+\frac{q^{3}\left[ 3\right] _{q}-q}{ \left[ 6\right] _{q}\left[ 2\right] _{q}^{3}}\right) ^{1-\frac{1}{p_{1}} }\right. \\ &&\times \left( A_{1}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+B_{1}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{ \frac{1}{p_{1}}} \\ &&+\left( 2q\frac{\left[ 5\right] _{q}^{2}}{\left[ 2\right] _{q}\left[ 6 \right] _{q}^{2}}+\frac{1}{\left[ 2\right] _{q}}-\frac{\left[ 5\right] _{q}}{ \left[ 6\right] _{q}}-\frac{\left[ 5\right] _{q}\left[ 2\right] _{q}^{2}- \left[ 6\right] _{q}}{\left[ 6\right] _{q}\left[ 2\right] _{q}^{3}}\right) ^{1-\frac{1}{p_{1}}} \\ &&\times \left( A_{2}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+B_{2}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{ \frac{1}{p_{1}}} \end{eqnarray*}$

where $A_{1}\left(q\right), \; A_{2}\left(q\right), \; B_{1}\left(q\right) \, \$ and $B_{2}\left(q\right)$ are defined in Remark 4.4. The above inequality is proved by Ifitikhar et al. ^[41].

Remark 4.8. In Theorem 4.2, if we choose $\lambda = 0$ and $\mu = \frac{1}{q}$ , then Theorem 4.2 reduces to [22,Theorem 16].

Theorem 4.3. We assume that the given conditions of Lemma 3.1 hold. If the mapping $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert ^{p_{1}}$ , $p_{1} > 1$ is convex on $\left[\pi _{1}, \pi _{2}\right]$ , then the following inequality holds:

$\begin{eqnarray} &&\left \vert \lambda q\Pi \left( \pi _{1}\right) +\left( 1-\mu q\right) \Pi \left( \pi _{2}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q+\pi _{2}}{\left[ 2\right] _{q}}\right) -\frac{1}{\pi _{2}-\pi _{1}} \int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right \vert \\ &\leq &\left( \pi _{2}-\pi _{1}\right) q\left[ \Omega _{16}^{\frac{1}{r_{1}} }\left( \frac{\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}}+\frac{\left( \left( \left[ 2\right] _{q}\right) ^{2}-1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}}\right) ^{\frac{1}{p_{1}}}\right. \\ &&\left. +\Omega _{17}^{\frac{1}{r_{1}}}\left( \frac{\left( \left( \left[ 2 \right] _{q}\right) ^{2}-1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}}+ \frac{\left( \left( \left[ 2\right] _{q}\right) ^{3}-2\left( \left[ 2\right] _{q}\right) ^{2}+1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}} \right) ^{\frac{1}{p_{1}}}\right] \end{eqnarray}$

(4.3)

where $p_{1}^{-1}+r_{1}^{-1} = 1$ and

$\begin{equation*} \Omega _{16} = \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left \vert t-\lambda \right \vert ^{r_{1}}d_{q}t, \Omega _{17} = \int_{\frac{1}{\left[ 2 \right] _{q}}}^{1}\left \vert t-\mu \right \vert ^{r_{1}}d_{q}t \end{equation*}$

Proof. By taking the modulus in Lemma 3.1 and using the Hölder inequality, we have

Since $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert ^{p_{1}}$ is convex on $\left[\pi _{1}, \pi _{2}\right]$ , we have

$\begin{eqnarray*} &&\left \vert \lambda q\Pi \left( \pi _{1}\right) +\left( 1-\mu q\right) \Pi \left( \pi _{2}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q+\pi _{2}}{\left[ 2\right] _{q}}\right) -\frac{1}{\pi _{2}-\pi _{1}} \int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right \vert \\ &\leq &q\left( \pi _{2}-\pi _{1}\right) \\ &&\times \left[ \left( \int_{0}^{\frac{1}{\left[ 2\right] _{q}}}\left \vert t-\lambda \right \vert ^{r_{1}}d_{q}t\right) ^{\frac{1}{r_{1}}}\left( \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}\int_{0}^{\frac{1}{\left[ 2\right] _{q}}}td_{q}t+\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\int_{0}^{\frac{1}{ \left[ 2\right] _{q}}}\left( 1-t\right) d_{q}t\right) ^{\frac{1}{p_{1}} }\right. \\ &&\left. +\left( \int_{\frac{1}{\left[ 2\right] _{q}}}^{1}\left \vert t-\mu \right \vert ^{r_{1}}d_{q}t\right) ^{\frac{1}{r_{1}}}\left( \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}\int_{\frac{1 }{\left[ 2\right] _{q}}}^{1}td_{q}t+\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\int_{\frac{1}{\left[ 2\right] _{q}} }^{1}\left( 1-t\right) d_{q}t\right) ^{\frac{1}{p_{1}}}\right] \\ & = &\left( \pi _{2}-\pi _{1}\right) q\left[ \Omega _{16}^{\frac{1}{r_{1}} }\left( \frac{\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}}+\frac{\left( \left( \left[ 2\right] _{q}\right) ^{2}-1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}}\right) ^{\frac{1}{p_{1}}}\right. \\ &&\left. +\Omega _{17}^{\frac{1}{r_{1}}}\left( \frac{\left( \left( \left[ 2 \right] _{q}\right) ^{2}-1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}}+ \frac{\left( \left( \left[ 2\right] _{q}\right) ^{3}-2\left( \left[ 2\right] _{q}\right) ^{2}+1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}}{\left( \left[ 2\right] _{q}\right) ^{3}} \right) ^{\frac{1}{p_{1}}}\right] . \end{eqnarray*}$

This completes the proof.

Remark 4.9. If we take the limit $q\rightarrow 1^{-}$ in Theorem 4.3, then Theorem 4.3 becomes [,Theorem 2.2 for $s = m = 1$ ].

Remark 4.10. If we assume $\lambda = \mu = \frac{1}{\left[2\right] _{q}}$ in Theorem 4.3, then we obtain [27,Theorem 3.3].

Remark 4.11. If we assume $\lambda = \frac{1}{\left[6\right] _{q}}$ and $\mu = \frac{\left[5\right] _{q}}{\left[6\right] _{q}}$ in Theorem 4.3, then we obtain the following inequality

$\begin{eqnarray*} &&\left \vert \frac{1}{\left[ 6\right] _{q}}\left[ q\Pi \left( \alpha \right) +q^{2}\left[ 4\right] _{q}\Pi \left( \frac{q\pi _{1}+\pi _{2}}{\left[ 2\right] _{q}}\right) +\Pi \left( \pi _{2}\right) \right] -\frac{1}{\pi _{2}-\pi _{1}}\int \limits_{\pi _{1}}^{\pi _{2}}\Pi \left( s\right) \begin{array}{c} _{\pi _{1}}d_{q}s \end{array} \right \vert \\ &\leq &q\left( \pi _{2}-\pi _{1}\right) \left[ \left( \frac{q^{2r_{1}}\left[ 4\right] _{q}^{r_{1}}}{\left[ 2\right] _{q}^{r_{1}+1}\left[ 6\right] _{q}^{r_{1}}}\right) ^{\frac{1}{r_{1}}}\right. \\ &&+\left( \frac{\left[ 2\right] _{q}^{r_{1}+1}\left[ 5\right] _{q}^{r_{1}}-q^{r_{1}}\left[ 4\right] _{q}^{r_{1}}}{\left[ 2\right] _{q}^{r_{1}+1}\left[ 6\right] _{q}^{r_{1}}}\right) ^{\frac{1}{r_{1}}} \\ &&\left. \times \left( \frac{q^{2}+2q}{\left[ 2\right] _{q}^{3}}\left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\frac{ q^{3}+q^{2}-q}{\left[ 2\right] _{q}^{3}}\left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}}\right] \end{eqnarray*}$

which is established by Iftikhar et al. in ^[41].

Remark 4.12. In Theorem 4.2, if we choose $\lambda = 0$ and $\mu = \frac{1}{q}$ , then Theorem 4.3 reduces to [22,Theorem 18].

5. Generalizations of Newton's type inequalities for quantum integrals with three parameters

Some new generalized versions of quantum Newton's and Trapezoid type inequalities for quantum differentiable convex functions are offered in this section.

Theorem 5.1. We assume that the given conditions of Lemma 3.2 hold. If the mapping $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert$ is convex on $\left[\pi _{1}, \pi _{2}\right]$ , then the following inequality holds:

(5.1)

where $\Omega _{5}$ - $\Omega _{10}$ are given in (3.17)-(3.22), respectively.

Proof. By considering Lemma 3.2 and applying the same method that used in the proof of Theorem 4.1, then we can obtain the desired inequality (5.1).

Remark 5.1. If we assume $\lambda = \mu = \nu = \frac{1}{\left[2\right] _{q}}$ in Theorem 5.1, then we obtain [42,Theorem 4.1].

Corollary 5.1. If we take the limit $q\rightarrow 1^{-}$ in Theorem 5.1, then we obtain the following inequality

where

$\begin{equation*} \Omega _{5}^{\ast } = \int_{0}^{\frac{1}{3}}t\left \vert t-\lambda \right \vert dt = \frac{\lambda ^{3}}{3}+\frac{1}{81}-\frac{\lambda }{18}, \end{equation*}$

$\begin{equation} \Omega _{6}^{\ast } = \int_{0}^{\frac{1}{3}}\left( 1-t\right) \left \vert t-\lambda \right \vert dt = \frac{18\lambda ^{2}-5\lambda +1}{18}-\frac{1}{81}- \frac{\lambda ^{3}}{3}, \notag \end{equation}$

$\begin{equation*} \Omega _{7}^{\ast } = \int_{\frac{1}{3}}^{\frac{2}{3}}t\left \vert t-\mu \right \vert dt = \frac{\mu ^{3}}{3}-\frac{5\mu }{18}+\frac{1}{9} \end{equation*}$

$\begin{equation} \Omega _{8}^{\ast } = \int_{\frac{1}{3}}^{\frac{2}{3}}\left( 1-t\right) \left \vert t-\mu \right \vert dt = \frac{18\mu ^{2}+5+5\mu }{18}-\mu -\frac{1}{9}- \frac{\mu ^{3}}{3} \notag \end{equation}$

$\begin{equation*} \Omega _{9}^{\ast } = \int_{\frac{2}{3}}^{1}t\left \vert t-\nu \right \vert dt = \frac{\nu ^{3}}{3}-\frac{13\nu }{18}+\frac{35}{81}, \end{equation*}$

$\begin{equation*} \Omega _{10}^{\ast } = \int_{\frac{2}{3}}^{1}\left( 1-t\right) \left \vert t-\nu \right \vert dt = \frac{18\nu ^{2}+13+13\nu }{18}-\frac{5\nu }{3}-\frac{ 35}{81}-\frac{\nu ^{3}}{3} \end{equation*}$

Remark 5.2. If we take $\lambda = \frac{1}{\left[8\right] _{q}}$ , $\mu = \frac{ 1}{\left[2\right] _{q}}$ , and $\nu = \frac{\left[7\right] _{q}}{\left[8 \right] _{q}}$ in Theorem 5.1, then we obtain the following inequality

where

$\begin{eqnarray*} A_{3}\left( q\right) & = &\frac{2q^{2}\left[ 3\right] _{q}^{3}+\left[ 8\right] _{q}^{2}\left( \left[ 8\right] _{q}\left[ 2\right] _{q}-\left[ 3\right] _{q}^{2}\right) }{\left[ 8\right] _{q}^{3}\left[ 3\right] _{q}^{4}\left[ 2 \right] _{q}}, \\ B_{3}\left( q\right) & = &2\frac{q\left[ 8\right] _{q}\left[ 3\right] _{q}-q^{2}}{\left[ 8\right] _{q}^{3}\left[ 2\right] _{q}\left[ 3\right] _{q}} +\frac{\left[ 3\right] _{q}^{2}-\left[ 2\right] _{q}}{\left[ 3\right] _{q}^{4}\left[ 2\right] _{q}} \\ &&+\frac{1-\left[ 3\right] _{q}\left[ 2\right] _{q}}{\left[ 8\right] _{q} \left[ 3\right] _{q}^{2}\left[ 2\right] _{q}}, \\ A_{4}\left( q\right) & = &\frac{2q^{2}}{\left[ 2\right] _{q}^{4}\left[ 3\right] _{q}}+\frac{\left[ 2\right] _{q}^{2}\left( 1+\left[ 2\right] _{q}^{3}\right) -\left[ 3\right] _{q}^{2}\left( 1+\left[ 2\right] _{q}^{2}\right) }{\left[ 3 \right] _{q}^{4}\left[ 2\right] _{q}^{2}}, \\ B_{4}\left( q\right) & = &\frac{2q}{\left[ 2\right] _{q}^{3}}-\frac{q}{\left[ 3 \right] _{q}^{2}}-\frac{q^{2}}{\left[ 3\right] _{q}^{2}}-A_{4}\left( q\right) , \\ && \\ A_{5}\left( q\right) & = &\frac{2q^{2}\left[ 7\right] _{q}^{3}}{\left[ 8\right] _{q}^{3}\left[ 2\right] _{q}\left[ 3\right] _{q}}+\frac{\left[ 2\right] _{q} \left[ 8\right] _{q}\left( \left[ 2\right] _{q}^{3}+\left[ 3\right] _{q}^{3}\right) -\left[ 7\right] _{q}\left[ 3\right] _{q}^{2}\left( \left[ 2 \right] _{q}^{2}+\left[ 3\right] _{q}^{2}\right) }{\left[ 3\right] _{q}^{4} \left[ 8\right] _{q}\left[ 2\right] _{q}}, \end{eqnarray*}$

and

$\begin{eqnarray*} B_{5}\left( q\right) & = &2\frac{q\left[ 7\right] _{q}^{2}\left[ 8\right] _{q} \left[ 3\right] _{q}-q^{2}\left[ 7\right] _{q}^{3}}{\left[ 8\right] _{q}^{3} \left[ 2\right] _{q}\left[ 3\right] _{q}}+\frac{q^{2}}{\left[ 2\right] _{q} \left[ 3\right] _{q}}-\frac{q\left[ 7\right] _{q}}{\left[ 2\right] _{q}\left[ 8\right] _{q}} \\ &&+\frac{\left[ 2\right] _{q}\left( \left[ 3\right] _{q}^{2}-\left[ 2\right] _{q}^{2}\right) }{\left[ 3\right] _{q}^{4}}-\frac{\left( q+q^{2}\right) \left[ 7\right] _{q}\left[ 2\right] _{q}}{\left[ 3\right] _{q}^{2}\left[ 8 \right] _{q}}. \end{eqnarray*}$

Theorem 5.2. We assume that the given conditions of Lemma 3.2 hold. If the mapping $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert ^{p_{1}}$ , $p_{1}\geq 1$ is convex on $\left[\pi _{1}, \pi _{2}\right]$ , then the following inequality holds:

(5.2)

where $\Omega _{5}$ - $\Omega _{10}$ and $\Omega _{13}$ - $\Omega _{15}$ are given in (3.17)–(3.22) and (3.10)–(3.12), respectively. The above inequality established by Erden et al. in ^[44].

Proof. By applying the steps used in the proof of Theorem 4.2 and taking into account Lemma 3.2, we can obtain the required inequality (5.2).

Corollary 5.2. If we take the limit $q\rightarrow 1^{-}$ in Theorem 5.2, then we obtain the following inequality

$\begin{eqnarray*} &&\left \vert \lambda \Pi \left( \pi _{1}\right) +\left( \mu -\lambda \right) \Pi \left( \frac{2\pi _{1}+\pi _{2}}{3}\right) +\left( \nu -\mu \right) \Pi \left( \frac{\pi _{1}+2\pi _{2}}{3}\right) +\left( 1-\nu \right) \Pi \left( \pi _{2}\right) \right. \\ &&\left. -\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) dx\right \vert \\ &\leq &\left( \pi _{2}-\pi _{1}\right) q\left[ \Theta _{11}^{1-\frac{1}{p_{1} }}\left( \Omega _{5}^{\ast }\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\Omega _{6}^{\ast }\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{ p_{1}}}\right. \\ &&+\Theta _{12}^{1-\frac{1}{p_{1}}}\left( \left( \Omega _{7}^{\ast }\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\Omega _{8}^{\ast }\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}}\right) \\ &&\left. +\Theta _{13}^{1-\frac{1}{p_{1}}}\left( \Omega _{9}^{\ast }\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+\Omega _{10}^{\ast }\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}}\right] \end{eqnarray*}$

where $\Omega _{5}^{\ast }$ - $\Omega _{10}^{\ast }$ are defined in Corollary 5.1 and

$\begin{equation*} \Theta _{11} = \int_{0}^{\frac{1}{3}}\left \vert t-\lambda \right \vert dt = \lambda ^{2}+\frac{1}{9\left[ 2\right] _{q}}-\frac{\lambda }{3}, \end{equation*}$

$\begin{equation*} \Theta _{12} = \int_{\frac{1}{3}}^{\frac{2}{3}}\left \vert t-\mu \right \vert dt = \frac{18\mu ^{2}+5}{18}-\mu , \end{equation*}$

$\begin{equation*} \Theta _{13} = \int_{\frac{2}{3}}^{1}\left \vert t-\nu \right \vert dt = \frac{ 18\nu ^{2}+13}{18}-\frac{5\nu }{3}. \end{equation*}$

Remark 5.3. If we take $\lambda = \frac{1}{\left[8\right] _{q}}$ , $\mu = \frac{1}{\left[2 \right] _{q}}$ , and $\nu = \frac{\left[7\right] _{q}}{\left[8\right] _{q}}$ in Theorem 5.2, then we obtain the following inequality

$\begin{eqnarray*} &&\left \vert \frac{1}{\left[ 8\right] _{q}}\left[ q\Pi \left( \pi _{1}\right) +\frac{q^{3}\left[ 6\right] _{q}}{\left[ 2\right] _{q}}\Pi \left( \frac{\pi _{1}q\left[ 2\right] _{q}+\pi _{2}}{\left[ 3\right] _{q}} \right) +\frac{q^{2}\left[ 6\right] _{q}}{\left[ 2\right] _{q}}\Pi \left( \frac{\pi _{1}q^{2}+\pi _{2}\left[ 2\right] _{q}}{\left[ 3\right] _{q}} \right) +\Pi \left( \pi _{2}\right) \right] \right. \\ &&\left. -\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right \vert \\ &\leq &q\left( \pi _{2}-\pi _{1}\right) \left[ \left( \frac{2q}{\left[ 8 \right] _{q}^{2}\left[ 2\right] _{q}}+\frac{\left[ 8\right] _{q}-\left[ 3 \right] _{q}\left[ 2\right] _{q}}{\left[ 3\right] _{q}^{2}\left[ 2\right] _{q}\left[ 8\right] _{q}}\right) ^{1-\frac{1}{p_{1}}}\right. \\ &&\times \left( A_{3}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+B_{3}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{ \frac{1}{p_{1}}} \\ &&+\left( \frac{2q}{\left[ 2\right] _{q}^{3}}+\frac{q}{\left[ 3\right] _{q}^{2}\left[ 2\right] _{q}}+\frac{1-\left[ 3\right] _{q}\left[ 2\right] _{q}}{\left[ 3\right] _{q}^{2}\left[ 2\right] _{q}}\right) ^{1-\frac{1}{p_{1} }} \\ &&\times \left( A_{4}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+B_{4}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{ \frac{1}{p_{1}}} \\ &&+\left( 2\frac{q\left[ 7\right] _{q}^{2}}{\left[ 8\right] _{q}^{2}\left[ 2 \right] _{q}}+\frac{\left[ 3\right] _{q}^{2}+\left[ 2\right] _{q}^{2}}{\left[ 2\right] _{q}\left[ 3\right] _{q}^{2}}-\frac{\left[ 7\right] _{q}\left( \left[ 3\right] _{q}+\left[ 2\right] _{q}\right) }{\left[ 8\right] _{q}\left[ 3\right] _{q}}\right) ^{1-\frac{1}{p_{1}}} \\ &&\times \left( A_{5}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}+B_{5}\left( q\right) \left \vert \; _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}\right) ^{ \frac{1}{p_{1}}} \end{eqnarray*}$

where $A_{3}\left(q\right) -A_{5}\left(q\right)$ and $B_{3}\left(q\right) -B_{5}\left(q\right)$ are given in Remark 5.2. The above inequality established by Erden et al. in ^[44].

Remark 5.4. If we assume $\lambda = \mu = \nu = \frac{1}{\left[2\right] _{q}}$ in Theorem 5.2, then we obtain [42,Theorem 4.2].

Theorem 5.3. We assume that the given conditions of Lemma 3.2 hold. If the mapping $\left \vert _{\pi _{1}}D_{q}\Pi \right \vert ^{p_{1}}$ , $p_{1} > 1$ is convex on $\left[\pi _{1}, \pi _{2}\right]$ , then the following inequality holds:

$\begin{eqnarray} &&\left \vert q\lambda \Pi \left( \pi _{1}\right) +q\left( \mu -\lambda \right) \Pi \left( \frac{\pi _{1}q\left[ 2\right] _{q}+\pi _{2}}{\left[ 3 \right] _{q}}\right) +q\left( \nu -\mu \right) \Pi \left( \frac{\pi _{1}q^{2}+\pi _{2}\left[ 2\right] _{q}}{\left[ 3\right] _{q}}\right) \right. \\ &&\left. +\left( 1-\nu q\right) \Pi \left( \pi _{2}\right) -\frac{1}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\Pi \left( x\right) \; _{\pi _{1}}d_{q}x\right \vert \\ &\leq &\left( \pi _{2}-\pi _{1}\right) q\left[ \Omega _{18}^{\frac{1}{r_{1}} }\left( \frac{\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}}{\left( \left[ 3\right] _{q}\right) ^{2}\left[ 2\right] _{q}}+ \frac{\left( \left[ 2\right] _{q}\left[ 3\right] _{q}-1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}}{\left( \left[ 3\right] _{q}\right) ^{2}\left[ 2\right] _{q}}\right) ^{\frac{1}{p_{1} }}\right. \\ &&+\Omega _{19}^{\frac{1}{r_{1}}}\left( \frac{\left( \left( \left[ 2\right] _{q}\right) ^{2}-1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}}{\left( \left[ 3\right] _{q}\right) ^{2} \left[ 2\right] _{q}}+\frac{\left( \left( \left[ 2\right] _{q}\right) ^{2}\left( \left[ 3\right] _{q}-1\right) -\left[ 3\right] _{q}\left[ 2\right] _{q}+1\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}}{3\left[ 2\right] _{q}}\right) ^{\frac{1}{p_{1}}} \\ &&\left. +\Omega _{20}^{\frac{1}{r_{1}}}\left( \begin{array}{c} \frac{\left( \left( \left[ 3\right] _{q}\right) ^{2}-\left( \left[ 2\right] _{q}\right) ^{2}\right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}}{\left( \left[ 3\right] _{q}\right) ^{2} \left[ 2\right] _{q}} \\ +\frac{\left( \left( \left[ 3\right] _{q}\right) ^{2}\left( \left[ 2\right] _{q}-1\right) -\left( \left[ 2\right] _{q}\right) ^{2}\left( \left[ 3\right] _{q}-1\right) \right) \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}}{\left( \left[ 3\right] _{q}\right) ^{2}\left[ 2\right] _{q}} \end{array} \right) ^{\frac{1}{p_{1}}}\right] \end{eqnarray}$

(5.3)

where $p_{1}^{-1}+r_{1}^{-1} = 1$ and

$\begin{equation*} \Omega _{18} = \int_{0}^{\frac{1}{\left[ 3\right] _{q}}}\left \vert t-\lambda \right \vert ^{r_{1}}d_{q}t, \; \Omega _{19} = \int_{\frac{1}{\left[ 3\right] _{q} }}^{\frac{\left[ 2\right] _{q}}{\left[ 3\right] _{q}}}\left \vert t-\mu \right \vert ^{r_{1}}d_{q}t, \; \Omega _{20} = \int_{\frac{\left[ 2\right] _{q}}{ \left[ 3\right] _{q}}}^{1}\left \vert t-\nu \right \vert ^{r_{1}}d_{q}t. \end{equation*}$

Proof. By applying the steps used in the proof of Theorem 4.3 and taking into account Lemma 3.2, we can obtain the required inequality (5.3).

Remark 5.5. If we assume $\lambda = \mu = \frac{1}{\left[2\right] _{q}}$ in Theorem 5.3, then we obtain [27,Theorem 3.3].

Remark 5.6. If we take $\lambda = \frac{1}{\left[8\right] _{q}}$ , $\mu = \frac{1}{\left[2 \right] _{q}}$ , and $\nu = \frac{\left[7\right] _{q}}{\left[8\right] _{q}}$ in Theorem 5.3, then we obtain the following inequality

$\begin{eqnarray*} &&\times \left( \frac{q^{2}+2}{\left[ 3\right] _{q}^{2}\left[ 2\right] _{q}} \left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}+ \frac{q\left[ 3\right] _{q}\left[ 2\right] _{q}-\left( q^{2}+2q\right) }{ \left[ 3\right] _{q}^{2}\left[ 2\right] _{q}}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{p_{1}}} \\ &&+\left( \frac{q^{7r_{1}}}{\left[ 8\right] _{q}^{r_{1}}}-\frac{\left[ 2 \right] _{q}\left( \left[ 7\right] _{q}\left[ 3\right] _{q}-\left[ 8\right] _{q}\left[ 2\right] _{q}\right) ^{r_{1}}}{\left[ 8\right] _{q}^{r_{1}}\left[ 3\right] _{q}^{r_{1}+1}}\right) ^{\frac{1}{r_{1}}} \\ &&\left. \times \left( \frac{\left[ 3\right] _{q}^{2}-\left[ 2\right] _{q}^{2}}{\left[ 3\right] _{q}^{2}\left[ 2\right] _{q}}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{1}\right) \right \vert ^{p_{1}}+\frac{q^{2}\left[ 3\right] _{q}\left[ 2\right] _{q}+\left[ 2\right] _{q}^{2}-\left[ 3\right] _{q}^{2}}{\left[ 3\right] _{q}^{2}\left[ 2\right] _{q}}\left \vert _{\pi _{1}}D_{q}\Pi \left( \pi _{2}\right) \right \vert ^{p_{1}}\right) ^{\frac{1}{ p_{1}}}\right] \end{eqnarray*}$

which is proved by Iftikhar et al. in ^[41].

6. Conclusions

To sum up, we provided some generalisations of quantum Simpson's and quantum Newton's inequalities for quantum differentiable convex functions with two and three parameters, respectively. It is important to note that by considering the limit $q\rightarrow 1^{-}$ and different special choices of the involved parameters in our key results, our results transformed into some new and well-known results. We believe that it is an interesting and innovative problem for future researchers who can obtain similar inequalities for different types of convexity and quantum integrals.

Acknowledgments

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

Conflict of interest

The authors declare no conflict of interest.

References

[1]	M. Bibi, M. Edjvet, Solving equations of length seven over torsion-free groups, J. Group Theory, 21 (2018), 147–164. https://doi.org/10.1515/jgth-2017-0032 doi: 10.1515/jgth-2017-0032
[2]	F. Levin, Solutions of equations over groups, Bull. Amer. Math. Soc., 68 (1962), 603–604. https://doi.org/10.1090/S0002-9904-1962-10868-4 doi: 10.1090/S0002-9904-1962-10868-4
[3]	M. I. Prischschipov, On small length equations over torsion-free groups, Int. J. Algebr. Comput., 4 (1994), 575–589. https://doi.org/10.1142/S0218196794000166 doi: 10.1142/S0218196794000166
[4]	W. A. Bogley, S. J. Pride, Aspherical relative presentations, P. Edinburgh Math. Soc., 35 (1992), 1–39. https://doi.org/10.1017/S0013091500005290 doi: 10.1017/S0013091500005290
[5]	R. C. Lyndon, P. E. Schupp, Combinatorial group theory, Springer-Verlag, Heidelberg, 1977.
[6]	S. V. Ivanov, A. A. Klyachko, Solving equations of length at most six over torsion-free groups, J. Group Theory, 3 (2006), 329–337. https://doi.org/10.1515/jgth.2000.026 doi: 10.1515/jgth.2000.026
[7]	J. R. Stallings, A graph-theoretic lemma and group-embeddings, Combinatorial Group Theory and Topology, Princeton University Press, 111 (2016), 145–156.
[8]	J. Howie, On pairs of 2-complexes and systems of equations over groups, J. Reine Angew. Math., 324 (1981), 165–174. https://doi.org/10.1515/crll.1981.324.165 doi: 10.1515/crll.1981.324.165
[9]	M. Gerstenhaber, D. S. Rothaus, The solution of sets of equations over groups, P. Natl. A. Sci. USA, 48 (1962), 1531–1533. https://doi.org/10.1073/pnas.48.9.1531 doi: 10.1073/pnas.48.9.1531
[10]	A. Evangelidou, The solution of length five equations over groups, Commun. Algebra, 35 (2007). https://doi.org/10.1080/00927870701247039
[11]	M. Edjvet, On the asphericity of one relator relative presentations, P. Roy. Soc. Edinb., 124 (1994), 713–728. https://doi.org/10.1017/S0308210500028614 doi: 10.1017/S0308210500028614
[12]	J. Howie, On the asphericity of ribbon disc complements, Trans. Amer. Math. Soc., 289 (1985), 281–302. https://doi.org/10.1090/S0002-9947-1985-0779064-8 doi: 10.1090/S0002-9947-1985-0779064-8
[13]	A. Clifford, R. Z. Goldstein, Equations with torsion-free coefficients, P. Edinb. Math. Soc., 43 (2000), 295–307. https://doi.org/10.1017/S0013091500020939 doi: 10.1017/S0013091500020939
[14]	A. A. Klyachko, A funny property of sphere and equations over groups, Commun. Algebra, 21 (1993), 2555–2575. https://doi.org/10.1080/00927879308824692 doi: 10.1080/00927879308824692
[15]	S. J. Pride, Involutary presentations with applications to Coxeter groups, NEC-groups and groups of Kanevskiĭ, J. Algebra, 120 (1989), 200–223. https://doi.org/10.1016/0021-8693(89)90195-6 doi: 10.1016/0021-8693(89)90195-6
[16]	J. Huebschmann, Cohomology theory of aspherical groups and of small cancellation groups, J. Pure Appl. Algebra, 14 (1979), 137–143. https://doi.org/10.1016/0022-4049(79)90003-3 doi: 10.1016/0022-4049(79)90003-3
[17]	M. Edjvet, Equations over groups and a theorem of Higman, Neumann, and Neumann, P. London Math. Soc., 62 (1991), 563–589. https://doi.org/10.1112/plms/s3-62.3.563 doi: 10.1112/plms/s3-62.3.563
[18]	W. A. Bogley, Local collapses for diagrammatic reducibility, Topology and Combinatorial Group Theory, Lecture Notes in Mathematics, Springer, Berlin, Heidelberg, 1440 (1990). https://doi.org/10.1007/BFb0084447
[19]	S. G. Brick, Normal-convexity and equations over groups, Invent. Math., 94 (1988), 81–104. https://doi.org/10.1007/BF01394345 doi: 10.1007/BF01394345
[20]	R. Brown, J. Huebschmann, Identities among relations in low-dimensional topology, London Mathematical Society Lecture Note Series, 48 (1982).
[21]	D. J. Collins, J. Huebschmann, Spherical diagrams and identities among relations, Math. Ann., 261 (1982), 155–183. https://doi.org/10.1007/BF01456216 doi: 10.1007/BF01456216
[22]	D. J. Collins, J. Perraud, Cohomology and finite subgroups of small cancellation quotients of free products, Math. Proc. Cambridge Philos. Soc., 97 (1985), 243–259. https://doi.org/10.1017/S0305004100062800 doi: 10.1017/S0305004100062800
[23]	E. J. Fennessey, S. J. Pride, Equivalences of two-complexes, with applications to NEC-groups, Math. Proc. Cambridge Philos. Soc., 106 (1989), 215–228. https://doi.org/10.1017/S0305004100078038 doi: 10.1017/S0305004100078038
[24]	S. M. Gersten, Reducible diagrams and equations over groups, Essays in Group Theory, Mathematical Sciences Research Institute Publications, Springer, New York, 8 (1987). https://doi.org/10.1007/978-1-4613-9586-7_2

This article has been cited by:

1.	Muhammad Uzair Awan, Sadia Talib, Artion Kashuri, Ibrahim Slimane, Kamsing Nonlaopon, Y. S. Hamed, Some new (p, q)-Dragomir–Agarwal and Iyengar type integral inequalities and their applications, 2022, 7, 2473-6988, 5728, 10.3934/math.2022317
2.	Lulu Zhang, Yu Peng, Tingsong Du, On multiplicative Hermite–Hadamard- and Newton-type inequalities for multiplicatively (P,m)-convex functions, 2024, 534, 0022247X, 128117, 10.1016/j.jmaa.2024.128117

Reader Comments

Your name:*

Email:*
© 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)