Sequential adaptive switching time optimization technique for maximum hands-off control problems

Sida Lin; Lixia Meng; Jinlong Yuan; Changzhi Wu; An Li; Chongyang Liu; Jun Xie; Sida Lin; Lixia Meng; Jinlong Yuan; Changzhi Wu; An Li; Chongyang Liu; Jun Xie

doi:10.3934/era.2024101

Electronic Research Archive

2024, Volume 32, Issue 4: 2229-2250. doi: 10.3934/era.2024101

Previous Article Next Article

Research article Special Issues

Sequential adaptive switching time optimization technique for maximum hands-off control problems

1.
Department of Applied Mathematics, School of Science, Dalian Maritime University, Dalian 116026, China
2.
Chongqing National Center for Applied Mathematics, Chongqing Normal University, Chongqing 404087, China
3.
School of Mathematical Sciences, Xiamen University, Xiamen 361005, China
4.
School of Mathematics and Information Science, Shandong Technology and Business University, Yantai 264005, China
5.
Yantai Key Laboratory of Big Data Modeling and Intelligent Computing, Yantai 264005, China
6.
Department of Basics, PLA Dalian Naval Academy, Dalian 116018, China

Received: 11 January 2024 Revised: 01 March 2024 Accepted: 13 March 2024 Published: 19 March 2024

In this paper, we consider maximum hands-off control problem governed by a nonlinear dynamical system, where the maximum hands-off control constraint is characterized by an $L^{0}$ norm. For this problem, we first approximate the $L^{0}$ norm constraint by a $L^{1}$ norm constraint. Then, the control parameterization together with sequential adaptive switching time optimization technique is proposed to approximate the optimal control problem by a sequence of finite-dimensional optimization problems. Furthermore, a smoothing technique is exploited to approximate the non-smooth maximum operator and an error analysis is investigated for this approximation. The gradients of the cost functional with respect to the decision variables in the approximate problem are derived. On the basis of these results, we develop a gradient-based optimization algorithm to solve the resulting optimization problem. Finally, an example is solved to demonstrate the effectiveness of the proposed algorithm.

Keywords:

maximum hands-off control,
control parameterization,
sequential adaptive switching time optimization technique,
smoothing technique,
error analysis

Citation: Sida Lin, Lixia Meng, Jinlong Yuan, Changzhi Wu, An Li, Chongyang Liu, Jun Xie. Sequential adaptive switching time optimization technique for maximum hands-off control problems[J]. Electronic Research Archive, 2024, 32(4): 2229-2250. doi: 10.3934/era.2024101

Related Papers:

[1]	Serap Özcan, Saad Ihsan Butt, Sanja Tipurić-Spužević, Bandar Bin Mohsin . Construction of new fractional inequalities via generalized $n$ -fractional polynomial $s$ -type convexity. AIMS Mathematics, 2024, 9(9): 23924-23944. doi: 10.3934/math.20241163
[2]	Hasan Kara, Hüseyin Budak, Mehmet Eyüp Kiriş . On Fejer type inequalities for co-ordinated hyperbolic ρ-convex functions. AIMS Mathematics, 2020, 5(5): 4681-4701. doi: 10.3934/math.2020300
[3]	Wei Gao, Artion Kashuri, Saad Ihsan Butt, Muhammad Tariq, Adnan Aslam, Muhammad Nadeem . New inequalities via n-polynomial harmonically exponential type convex functions. AIMS Mathematics, 2020, 5(6): 6856-6873. doi: 10.3934/math.2020440
[4]	Naila Mehreen, Matloob Anwar . Ostrowski type inequalities via some exponentially convex functions with applications. AIMS Mathematics, 2020, 5(2): 1476-1483. doi: 10.3934/math.2020101
[5]	Tekin Toplu, Mahir Kadakal, İmdat İşcan . On n-Polynomial convexity and some related inequalities. AIMS Mathematics, 2020, 5(2): 1304-1318. doi: 10.3934/math.2020089
[6]	Ghulam Farid, Saira Bano Akbar, Shafiq Ur Rehman, Josip Pečarić . Boundedness of fractional integral operators containing Mittag-Leffler functions via (s,m)-convexity. AIMS Mathematics, 2020, 5(2): 966-978. doi: 10.3934/math.2020067
[7]	M. Emin Özdemir, Saad I. Butt, Bahtiyar Bayraktar, Jamshed Nasir . Several integral inequalities for (α, s,m)-convex functions. AIMS Mathematics, 2020, 5(4): 3906-3921. doi: 10.3934/math.2020253
[8]	Anjum Mustafa Khan Abbasi, Matloob Anwar . Ostrowski type inequalities for exponentially s-convex functions on time scale. AIMS Mathematics, 2022, 7(3): 4700-4710. doi: 10.3934/math.2022261
[9]	Saad Ihsan Butt, Ahmet Ocak Akdemir, Muhammad Nadeem, Nabil Mlaiki, İşcan İmdat, Thabet Abdeljawad . $(m, n)$ -Harmonically polynomial convex functions and some Hadamard type inequalities on the co-ordinates. AIMS Mathematics, 2021, 6(5): 4677-4690. doi: 10.3934/math.2021275
[10]	Muhammad Uzair Awan, Nousheen Akhtar, Artion Kashuri, Muhammad Aslam Noor, Yu-Ming Chu . 2D approximately reciprocal ρ-convex functions and associated integral inequalities. AIMS Mathematics, 2020, 5(5): 4662-4680. doi: 10.3934/math.2020299

Abstract

1. Introduction and preliminaries

Calculus is a branch of mathematics which helps us to study the derivatives and integrals. The classical derivative was convoluted with the strength regulation kind kernel and eventually, this gave upward thrust to new calculus referred to as the quantum calculus. Quantum calculus (named $q$ -calculus) is the study of calculus without limits. In recent decades, the quantum calculus has become a powerful tool in numerous branches of mathematics and physics like $q$ -calculus, particularly $q$ -fractional calculus, $q$ -integral calculus, $q$ -transform analysis. Jackson ^[1] is the first researcher to define the $q$ -analogue of derivative and integral operator as well as provided its applications. It is imperative to mention that quantum integral inequalities are more practical and informative than their classical counterparts. It has been mainly due to the fact that quantum integral inequalities can describe the hereditary properties of the processes and phenomena under investigation. Historically the subject of quantum calculus can be traced back to Euler and Jacobi, but in recent decades it has experienced a rapid development, see ^{[2,3,4,5,6,7]}. As a result, new generalizations of the classical concepts of quantum calculus have been initiated and reviewed in many literature. Tariboon and Ntouyas ^[8,9] proposed the quantum calculus concepts on finite intervals and obtained several $q$ -analogues of classical mathematical objects. This inspired other researchers to establish numerous novel results concerning quantum analogs of classical mathematical results. Noor et al. ^[10] provided the $q$ -analogues of many known inequalities via the first order $q$ -differentiable convex functions. Humaira et al. ^[11] obtained a new generalized $q_1q_2$ -integral identity and established several new $q_1q_2$ -analogues of first order $q_1q_2$ -differentiable convex functions over finite rectangles. Wu et al. ^[12] gave a new corrected $q$ -analogue of the classical Simpson inequality for preinvex function. Deng et al. ^[13] obtained a new generalized $q$ -integral identity and found several new $q$ -analogues for twice $q$ -differentiable generalized $(s, m)$ -preinvex functions.

The theory of post quantum calculus denoted by $(p, q)$ -calculus is a natural generalization of the quantum calculus denoted by $q$ -calculus, which has been studied extensively. Recently, Tunç and Göv ^[14] studied the concept of $(p, q)$ -calculus on the intervals $[\chi_1, \chi_2]\subseteq\mathbb{R}$ , defined the $(p, q)$ -derivative and $(p, q)$ -integral and established their basic properties and integral inequalities. Integral inequalities ^{[15,16,17,18,19,20,21,22,23,24,25,26,27]} play an important role in understanding the universe, and they can be used to find the uniqueness and existence of the linear and nonlinear differential equations. While convexity is an indispensable tool in the study of inequality theory ^{[28,29,30,31,32,33,34,35,36,37,38]}.

It is well-known that the Hermite-Hadamard inequality ^{[39,40,41,42,43]} is one of the most important inequalities in the convex functions theory, which can be stated as follows.

Let $\mathcal{K}:\mathcal{I}\subset\mathbb{R}\rightarrow \mathbb{R}$ be a convex function. Then the double inequality

$\begin{equation} \mathcal{K}\left(\frac{\chi_1+\chi_2}{2}\right)\leq \frac{1}{\chi_2-\chi_1}\int_{\chi_1}^{\chi_2}\mathcal{K}(t)dt \leq \frac{ \mathcal{K}(\chi_1)+\mathcal{K}(\chi_2)}{2} \end{equation}$

(1.1)

holds for all $\chi_1, \chi_2\in \mathcal{I}$ with $\chi_1\neq\chi_2$ .

As the generalization and refinement of the Hermite-Hadamard inequality (1.1), the Ostrowski inequality ^[44] can be stated in Theorem 1.1.

Theorem 1.1. Let ${\mathcal{K}}:[\chi_1, \chi_2]\subseteq\mathbb{R}\rightarrow \mathbb{R}$ be continuous on $[\chi_{1}, \chi_{2}]$ and differentiable on $\left(\chi_{1}, \chi_{2} \right)$ such that $\left\vert {\mathcal{K}}^{\prime}\left(\tau\right) \right\vert \leq \mathcal{M}$ for all $\tau\in(\chi_{1}, \chi_{2})$ . Then the inequality

$\begin{equation} \left\vert {\mathcal{K}}(\varrho)-\frac{1}{\chi_{2} -\chi_{1} }\int_{\chi_{1} }^{\chi_{2} }{\mathcal{K}}\left( \tau \right) d\tau \right\vert \leq \left[ \frac{1}{4}+\frac{\left( \varrho-\frac{\chi_{1} +\chi_{2} }{2}\right) ^{2}}{\left( \chi_{2} -\chi_{1} \right) ^{2}}\right] \left( \chi_{2}-\chi_{1} \right) \mathcal{M} \end{equation}$

(1.2)

holds for all $\varrho\in \lbrack \chi_{1}, \chi_{2}]$ with the best possible constant $\frac{1}{4}$ .

Inequality (1.2) can be rewritten in its equivalent form

$\begin{equation*} \left\vert {\mathcal{K}}(\varrho)-\frac{1}{\chi_{2} -\chi_{1} }\int_{\chi_{1} }^{\chi_{2} }{\mathcal{K}}\left( \tau \right) d\tau \right\vert\leq \frac{\mathcal{M}}{\chi_{2} -\chi_{1} }\left[ \frac{\left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right)^{2}}{2}\right]. \end{equation*}$

Recently, the generalizations, variants and applications of the Ostrowski inequality have attracted the attention of many researchers.

Now, we discuss some connections between the class of convex functions and $s$ -type convex functions.

Definition 1.2. Let $s\in[0, 1]$ . Then the function $\mathcal{K}:\mathcal{I}\rightarrow\mathbb{R}$ is said to be a $s$ -type convex function on $\mathcal{I}$ if the inequality

$\begin{eqnarray} \mathcal{K}\big(\chi \varrho+(1-\chi)\rho\big)\leq \big[1-s(1-\chi)\big]\mathcal{K}(\varrho)+\big[1-s\chi\big]\mathcal{K}(\rho) \end{eqnarray}$

(1.3)

holds for all $\varrho, \rho\in\mathcal{I}$ and $\chi\in[0, 1].$

Remark 1. Definition 1.2 leads to the conclusion that

$(1)$ If we choose $s = 1,$ then we get classical convex function.

$(2)$ If we take $s = 0,$ then we have the definition of $P$ -function ^[45].

$(3)$ If $\mathcal{K}$ is $s$ -type convex function on $\mathcal{I},$ then the range of $\mathcal{K}$ is $[0, \infty).$

Indeed, let $\varrho\in\mathcal{I}$ . Then it follows from the $s$ -type convexity of $\mathcal{K}$ that

$\begin{eqnarray*} \mathcal{K}(\chi \eta_{1}+(1-\chi)\varrho)\leq\big[1-s(1-\chi)\big]\mathcal{K}(\eta_1)+\big[1-s\chi\big]\mathcal{K}(\varrho) \end{eqnarray*}$

for all $\eta_1\in\mathcal{I}$ and $\chi\in[0, 1].$ If we choose $\chi = 1,$ then we get

$\mathcal{K}(\eta_{1})\leq\mathcal{K}(\eta_{1})+(1-s)\mathcal{K}(\varrho)$

$\Rightarrow\quad(1-s)\mathcal{K}(\rho)\geq0\quad\Rightarrow\quad\quad\mathcal{K}(\varrho)\geq0$

for all $\varrho\in\mathcal{I}$ .

Proposition 1. Every non-negative convex function is also $s$ -type convex function.

Proof. The proof is clearly due to

$\begin{equation*} s(1-\chi)\leq(1-\chi), \quad \chi\geq s\chi \end{equation*}$

for all $\chi\in[0, 1]$ and $s\in[0, 1].$

Next, We recall the definition of $n$ -polynomial $s$ -type convex function.

Definition 1.3. Let $s\in[0, 1]$ and $n\in\mathbb{N}$ . Then the function $\mathcal{K}:\mathcal{I}\rightarrow\mathbb{R}$ is said to be a $n$ -polynomial $s$ -type convex function on $\mathcal{I}$ if the inequality

$\begin{eqnarray} \mathcal{K}\big(\chi \varrho+(1-\chi)\rho\big)\leq \frac{1}{n}\sum\limits_{i = 1}^{n}\big[1-(s(1-\chi))^{i}\big]\mathcal{K}(\varrho) +\frac{1}{n}\sum\limits_{i = 1}^{n}\big[1-(s\chi)^{i}\big]\mathcal{K}(\rho) \end{eqnarray}$

(1.4)

holds for $\varrho, \rho\in\mathcal{I}$ and $\chi\in[0, 1].$

Remark 2. From Definition 1.3, one has

$(1)$ If we choose $s = 0,$ then we get the $P$ -function ^[45].

$(2)$ If we take $s = 1,$ then we obtain the Definition given in ^[46].

$(3)$ If we choose $n = 1,$ then we obtain Definition 1.2.

$(4)$ If $\mathcal{K}$ is a $n$ -polynomial $s$ -type convex function, then the range of $\mathcal{K}$ is $[0, \infty).$

Remark 3. Every non-negative $n$ -polynomial convex function is also $n$ -polynomial $s$ -type convex function. Indeed

$\frac{1}{n}\sum\limits_{i = 1}^{n}\big[1-(s(1-\chi))^{i}\big]\geq\frac{1}{n}\sum\limits_{i = 1}^{n}\big[1-(1-\chi)^{i}\big]$

and

$\frac{1}{n}\sum\limits_{i = 1}^{n}\big[1-\chi^{i}\big]\leq\frac{1}{n}\sum\limits_{i = 1}^{n}\big[1-(s\chi)^{i}\big]$

for all $\chi\in[0, 1], \, \, n\in\mathbb{N}$ and $s\in[0, 1].$

In what follows, we suppose that $\chi_1, \chi_2, \chi_3, \chi_4 \in \mathbb{R}$ with $\chi_1 < \chi_2$ and $\chi_3 < \chi_4$ , $0 < q_k < p_k\leq1 \; (k = 1, 2)$ are constants, $\mathcal{N} = [\chi_1, \chi_2]\times[\chi_3, \chi_4]\subseteq\mathbb{R}^2$ is a rectangle and $\mathcal{N}^{\circ} = (\chi_1, \chi_2)\times(\chi_3, \chi_4)$ is the interior of $\mathcal{N}$ .

Definition 1.4. Let $\mathcal{K}: \mathcal{N} \rightarrow \mathbb{R}$ be a continuous function. Then the partial $(p_{1}, q_{1})$ -, $(p_{2}, q_{2})$ - and $(p_{1}p_{2}, q_{1}q_{2})$ -derivatives at $(z, w)\in \mathcal{N}$ are respectively defined by

$\begin{eqnarray} \frac{_{\chi_1}\partial _{p_{1}, q_{1}}\mathcal{K} (z, w)}{_{\chi_1}\partial _{p_{1}, q_{1}}z} && = \frac{\mathcal{K} (p_1z+(1-p_1)\chi_1 , w)-\mathcal{K} (q_1z+(1-q_1)\chi_1 , w)}{ (p_{1}-q_{1})\left( z-\chi _{1}\right) } \quad (z\neq \chi _{1}), \\ \frac{_{\chi_3}\partial _{p_{2}, q_{2}}\mathcal{K} (z, w)}{_{\chi_3}\partial _{p_{2}, q_{2}}w} && = \frac{\mathcal{K} (z, p_2w+(1-p_2)\chi_3 )-\mathcal{K} (z, q_2w+(1-q_2)\chi_3 )}{ (p_{2}-q_{2})\left( w-\chi _{3}\right) } \quad (w\neq \chi _{3}), \\ \frac{_{\chi_1, \chi_3}\partial _{p_{1}p_{2}, q_{1}q_{2}}^{2}\mathcal{K} (z, w)}{ \; _{\chi_1}\partial _{p_{1}, q_{1}}z\; {_{\chi_3}\partial _{p_{2}, q_{2}}w}} && = \frac{1 }{(p_{1}-q_{1})(p_{2}-q_{2})\left( z-\chi _{1}\right) \left( w-\chi _{3}\right) }\big[\mathcal{K} \left( q_1z+(1-q_1)\chi_1, q_2w+(1-q_2)\chi_3\right) \\ \\ &&- \mathcal{K} \left(q_1z+(1-q_1)\chi_1 , p_2w+(1-p_2)\chi_3\right) -\mathcal{K} (p_1z+(1-p_1)\chi_1 , q_2w+(1-q_2)\chi_3 ) \\ \\ &&+\mathcal{K} (p_1z+(1-p_1)\chi_1, p_2w+(1-p_2)\chi_3 )]. \end{eqnarray}$

Definition 1.5. Let $\mathcal{K}:\mathcal{N}\rightarrow\mathbb{R}$ be a continuous function. Then the definite $(p_1p_2, q_1q_2)$ -integral on $\mathcal{N}$ is defined by

$\begin{equation} \begin{split} &\int_{\chi_3}^{t}\int_{\chi_1}^{s}\mathcal{K}(z, w)\; {_{\chi_1}}d_{p_1, q_1}z\; {_{\chi_3}} d_{p_2, q_2}w = (p_1-q_1)(p_2-q_2)(s-\chi_1)(t-\chi_3) \\ &\times\sum\limits_{m = 0}^{\infty}\sum\limits_{n = 0}^{\infty}\frac{q_1^nq_2^m}{p_1^{n+1}p_2^{m+1}} \mathcal{K}\left(\frac{q_1^n}{p_1^{n+1}}s+\left(1-\frac{q_1^n}{ p_1^{n+1}}\right)\chi_1 , \frac{q_2^m}{p_2^{m+1}}t+\left(1-\frac{q_2^m}{p_2^{m+1}} \right)\chi_3\right) \end{split} \end{equation}$

(1.5)

for $(s, t)\in\mathcal{N}.$

Definition 1.6. For any real number $n$ , the $(p, q)$ -analogue is defined by

$\begin{equation*} [n]_{p, q} = \frac{p^{n}-q^{n}}{p-q}, \end{equation*}$

where $0 < q < p\leq1$ are constants.

In the present paper, we introduce new Definitions 1.7 and 1.8 for $(p_1p_2, q_1q_2)$ -differentiable function, and $(p, q)_{\chi_1}^{\chi_4}, \; (p, q)_{\chi_3}^{\chi_2}$ and $(p, q)^{\chi_2, \chi_4}$ integrals for two variables mappings over finite rectangles by using convex set. These new definitions will open new doors for convexity and $(p, q)$ -calculus for two variables functions over the finite rectangles in the plane $\mathbb{R}^2$ . We drive a key lemma for $(p_1p_2, q_1q_2)$ -integral. By making use of new identity, we will obtain estimates of integral inequality whose twice partial $(p_1p_2, q_1q_2)$ -derivatives in absolute value at certain powers are $n$ -polynomial $s$ -type convex function. We also discuss some new special cases of the main results. A briefly conclusion is given at the end.

Definition 1.7. Let $\mathcal{K} :\mathcal{N} \rightarrow \mathbb{R}$ be a continuous function. Then the partial $(p_{1}, q_{1})$ -, $(p_{2}, q_{2})$ - and $(p_{1}p_{2}, q_{1}q_{2})$ -derivatives at $(z, w)\in \mathcal{N}$ are respectively defined by

$\begin{eqnarray} \frac{^{\chi{_2}}\partial _{p_{1}, q_{1}}\mathcal{K} (z, w)}{^{\chi{_2}}\partial _{p_{1}, q_{1}}z} && = \frac{\mathcal{K} (p_1z+(1-p_1)\chi_2 , w)-\mathcal{K} (q_1z+(1-q_1)\chi_2 , w)}{ (p_{1}-q_{1})\left(\chi _{2}-z\right) } \quad (\chi _{2}\neq z), \\ \\ \frac{^{\chi{_4}}\partial _{p_{2}, q_{2}}\mathcal{K} (z, w)}{^{\chi{_4}}\partial _{p_{2}, q_{2}}w} && = \frac{\mathcal{K} (z, p_2w+(1-p_2)\chi_4 )-\mathcal{K} (z, q_2w+(1-q_2)\chi_4 )}{ (p_{2}-q_{2})\left( \chi _{4}-w\right) } \quad (\chi _{4}\neq w), \\ \\ \frac{_{\chi_{1}}^{\chi_{4}}\partial _{p_{1}p_{2}, q_{1}q_{2}}^{2}\mathcal{K} (z, w)}{ \; _{\chi{_1}}\partial _{p_{1}, q_{1}}z{\; ^{\chi{_4}}\partial _{p_{2}, q_{2}}w}} && = \frac{1}{ (p_{1}-q_{1})(p_{2}-q_{2})\left( z-\chi _{1}\right) \left( \chi _{4}-w\right) } \Big[\mathcal{K} \left( q_1z+(1-q_1)\chi_1, q_2w+(1-q_2)\chi_4\right) \\ \\ &&-\mathcal{K} \left(q_1z+(1-q_1)\chi_1 , p_2w+(1-p_2)\chi_4\right)-\mathcal{K} (p_1z+(1-p_1)\chi_1 , q_2w+(1-q_2)\chi_4 ) \\ \\ &&+\mathcal{K} (p_1z+(1-p_1)\chi_1, p_2w+(1-p_2)\chi_4 )\Big] \quad (z\neq \chi _{1}, \quad \chi _{4}\neq w), \\ \\ \frac{_{\chi_{3}}^{\chi_{2}}\partial _{p_{1}p_{2}, q_{1}q_{2}}^{2}\mathcal{K} (z, w)}{ \; ^{\chi_2}\partial _{p_{1}, q_{1}}z{\; _{\chi_3}\partial _{p_{2}, q_{2}}w}} && = \frac{1}{ (p_{1}-q_{1})(p_{2}-q_{2})\left(\chi _{2}-z\right) \left( w-\chi _{3}\right) }\Big[\mathcal{K} \left( q_1z+(1-q_1)\chi_2, q_2w+(1-q_2)\chi_3\right) \\ \\ &&-\mathcal{K} \left(q_1z+(1-q_1)\chi_2 , p_2w+(1-p_2)\chi_3\right) -\mathcal{K} (p_1z+(1-p_1)\chi_2 , q_2w+(1-q_2)\chi_3 ) \\ \\ &&+\mathcal{K} (p_1z+(1-p_1)\chi_2, p_2w+(1-p_2)\chi_3 )\Big]\quad (\chi _{2}\neq z, \quad w\neq \chi _{3}), \\ \\ \frac{^{\chi_{2}, \chi_{4}}\partial _{p_{1}p_{2}, q_{1}q_{2}}^{2}\mathcal{K} (z, w)}{ ^{\chi_{2}}\partial _{p_{1}, q_{1}}z{\; ^{\chi_{4}}\partial _{p_{2}, q_{2}}w}} && = \frac{}{ (p_{1}-q_{1})(p_{2}-q_{2})\left(\chi _{2}-z\right) \left( \chi _{4}-w\right) }\Big[\mathcal{K} \left( q_1z+(1-q_1)\chi_2, q_2w+(1-q_2)\chi_4\right) \\ \\ &&-\mathcal{K} \left(q_1z+(1-q_1)\chi_2 , p_2w+(1-p_2)\chi_4\right) -\mathcal{K} (p_1z+(1-p_1)\chi_2 , q_2w+(1-q_2)\chi_4 ) \\ \\ &&+\mathcal{K} (p_1z+(1-p_1)\chi_2, p_2w+(1-p_2)\chi_4 )\Big] \quad (\chi _{2}\neq z, \quad \chi _{4}\neq w). \end{eqnarray}$

Definition 1.8. Let $\mathcal{K}:\mathcal{N}\rightarrow\mathbb{R}$ be a continuous function. Then the definite $(p, q)_{\chi_1}^{\chi_4}, \; (p, q)_{\chi_3}^{\chi_2}$ and $(p, q)^{\chi_2, \chi_4}$ integrals on $\left[\chi_1, \chi_2\right] \times \left[\chi_3, \chi_4\right]$ are respectively defined by

$\begin{eqnarray} &&\int \limits_{t}^{\chi_{4}}\int \limits_{\chi_1}^{s}\mathcal{K}\left( z, w\right) \; {_{\chi_1}}d_{p_1, q_1}z\; {_{\chi_3}} d_{p_2, q_2}w \label{r2} = \left( p_1-q_{1}\right) \left( p_2-q_{2}\right) \left( s-\chi_{1}\right) \left( \chi_{4}-t\right) \\ &&\times \sum \limits_{m = 0}^{\infty }\sum \limits_{n = 0}^{\infty }\frac{q_1^nq_2^m}{p_1^{n+1}p_2^{m+1}} \mathcal{K}\left(\frac{q_1^n}{p_1^{n+1}}s+\left(1-\frac{q_1^n}{ p_1^{n+1}}\right)\chi_{1} , \frac{q_2^m}{p_2^{m+1}}t+\left(1-\frac{q_2^m}{p_2^{m+1}} \right)\chi_{4}\right), \end{eqnarray}$

$\begin{eqnarray} &&\int \limits_{\chi_{3}}^{t}\int \limits_{s}^{\chi_{2}}\mathcal{K}\left( z, w\right) \; {^{\chi_2}}d_{p_1, q_1}z\; {_{\chi_3}} d_{p_2, q_2}w \label{r3} \left( p_1-q_{1}\right) \left( p_2-q_{2}\right) \left( \chi_{2}-s\right) \left( t-\chi_{3}\right) \\ &&\times \sum \limits_{m = 0}^{\infty }\sum \limits_{n = 0}^{\infty }\frac{q_1^nq_2^m}{p_1^{n+1}p_2^{m+1}}\mathcal{K}\left(\frac{q_1^n}{p_1^{n+1}}s+\left(1-\frac{q_1^n}{ p_1^{n+1}}\right)\chi_{2} , \frac{q_2^m}{p_2^{m+1}}t+\left(1-\frac{q_2^m}{p_2^{m+1}} \right)\chi_3\right) \end{eqnarray}$

and

$\begin{eqnarray} &&\int \limits_{t}^{\chi_{4}}\int \limits_{s}^{\chi_{2}}\mathcal{K}\left( z, w\right) \; {^{\chi_2}}d_{p_1, q_1}z\; {^{\chi_4}} d_{p_2, q_2}w \label{r4} \left( p_1-q_{1}\right) \left( p_2-q_{2}\right) \left( \chi_{2}-s\right) \left( \chi_{4}-t\right) \\ &&\times \sum \limits_{m = 0}^{\infty }\sum \limits_{n = 0}^{\infty }\frac{q_1^nq_2^m}{p_1^{n+1}p_2^{m+1}}\mathcal{K}\left(\frac{q_1^n}{p_1^{n+1}}s+\left(1-\frac{q_1^n}{ p_1^{n+1}}\right)\chi_{2} , \frac{q_2^m}{p_2^{m+1}}t+\left(1-\frac{q_2^m}{p_2^{m+1}} \right)\chi_4\right) \end{eqnarray}$

for $\left(s, t\right) \in \left[\chi_1, \chi_2\right] \times \left[\chi_3, \chi_4\right].$

2. A key lemma

Lemma 2.1. Let $\mathcal{K}:\mathcal{N} \rightarrow \mathbb{R}$ be a twice partial $(p_1p_2, q_1q_2)$ -differentiable function on $\mathcal{N} ^{\mathrm{o}}$ such that the partial $(p_1p_2, q_1q_2)$ -derivatives $\frac{_{\chi_1, \chi_3}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1} \partial_{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}$ , $\frac{_{\chi_1}^{\chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}$ , $\frac{_{\chi_3}^{\chi_2}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}$ and $\frac{\; ^{\chi_2, \chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}$ are continuous and integrable on $\mathcal{N}$ . Then one has the equality

$\begin{align} & \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{p_1(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){\; _{\chi_{1}}} d_{p_1, {q}_{1}}u+\int_{p_1\varrho+(1-p_1)\chi_2 }^{\chi_2}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u\right] \\&-\frac{1}{p_2(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v){ \; _{\chi_{3}}}d_{p_2, {q}_{2}}v+\int_{p_2\rho+(1-p_2)\chi_4 }^{\chi_{4}}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v\right]+\mathcal{A} \\ & = \Delta\Big\{(\varrho-\chi_{1} )^{2}(\rho-\chi_{3} )^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{1}, \chi_{3}} \partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )}{\; _{\chi_{1}}\partial _{p_1, {q}_{1}}z{\; _{\chi_{3}}\partial _{p_2, {q}_{2}}w}} \; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ & +(\varrho-\chi_{1} )^{2}(\chi_{4} -\rho)^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{1}}^{\chi_{4}} \partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{4} )}{\; _{\chi_{1}}\partial _{p_1, {q}_{1}}z{\; ^{\chi_{4}}\partial _{p_2, {q}_{2}}w}} \; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ & +(\chi_{2} -\varrho)^{2}(\rho-\chi_{3} )^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{3}}^{\chi_{2}} \partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{3} )}{\; _{\chi_{3}}\partial _{p_1, {q}_{1}}z{\; ^{\chi_{2}}\partial _{p_2, {q}_{2}}w}} \; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ & +(\chi_{2} -\varrho)^{2}(\chi_{4} -\rho)^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; ^{\chi_{2}, \chi_{4}}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{4} )}{\; ^{\chi_{2}}\partial _{p_1, {q}_{1}}z{\; ^{\chi_{4}}\partial _{p_2, {q}_{2}}w}}\; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w\Big\}, \end{align}$

(2.1)

where

$\begin{eqnarray} \mathcal{A }&& = \frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(u, v){\; _{\chi_{1}}}d_{p_1, {q}_{1}}u\; {_{\chi_{3}}}d_{p_2, {q}_{2}}v\\&& +\frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\int_{p_2\rho+(1-p_2)\chi_{4} }^{\chi_4}\mathcal{K}(u, v){\; _{\chi_{1}}}d_{p_1, {q}_{1}}u{\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v \\ &&+\frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{p_1\varrho+(1-p_1)\chi_{2} }^{\chi_2}\int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(u, v){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u{\; _{\chi_{3}}}d_{p_2, {q}_{2}}v\\&& +\frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{p_1\varrho+(1-p_1)\chi_{2} }^{\chi_2}\int_{p_2\rho+(1-p_2)\chi_{4} }^{\chi_4}\mathcal{K}(u, v){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u{\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v \end{eqnarray}$

for all $\varrho, \rho \in \mathcal{N}$ and $\Delta = \frac{{q}_{1}{q}_{2}}{\left(\chi_{2} -\chi_{1} \right) \left(\chi_{4} -\chi_{3} \right) }.$

Proof. We consider the integral

By the definition of partial $(p_1p_2, {q}_{1}{q}_{2})$ -derivative and definite $(p_1p_2, {q}_{1}{q}_{2})_{\chi_1, \chi_3}$ -integral, we have

$\begin{eqnarray} &&\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{1}, \chi_{3}} \partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )}{\; _{\chi_{1}}\partial _{p_1, {q}_{1}}z{\; _{\chi_{3}}\partial _{p_2, {q}_{2}}w}} \; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ && = \frac{1}{(1-{q}_{1})(1-{q}_{2})(\varrho-\chi_{1} )(\rho-\chi_{3} )} \\ &&\times \Bigg[ \int_{0}^{1}\int_{0}^{1}\mathcal{K}(z{q}_{1}\varrho+(1-z{q}_{1})\chi_{1} , w{q}_{2}\rho+(1-w{q}_{2})\chi_{3} )\; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ &&-\int_{0}^{1}\int_{0}^{1}\mathcal{K}(z{q}_{1}\varrho+(1-z{q}_{1})\chi_{1} , wp_2\rho+(1-wp_2)\chi_{3} )\; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ &&-\int_{0}^{1}\int_{0}^{1}\mathcal{K}(zp_1\varrho+(1-zp_1)\chi_{1} , w{q}_{2}\rho+(1-w{q}_{2})\chi_{3} )\; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ &&+\int_{0}^{1}\int_{0}^{1}\mathcal{K}(zp_1\varrho+(1-zp_1)\chi_{1} , wp_2\rho+(1-wp_2)\chi_{3} )\; {_{0}}d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w\Big]\\ && = \frac{1}{(\varrho-\chi_{1} )(\rho-\chi_{3} )}\\ &&\times\Bigg[ \sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n+1}{p}_{2}^{m+1}}\mathcal{K}\left(\frac{{q}_{1}^{n+1}}{{p}_{1}^{n+1}}\varrho+\left(1-\frac{{q}_{1}^{n+1}}{{p}_{1}^{n+1}}\right)\chi_{1} , \frac{{q}_{2}^{m+1}}{{p}_{2}^{m+1}}\rho+\left(1-\frac{{q}_{2}^{m+1}}{{p}_{2}^{m+1}}\right)\chi_{3} \right) \\ &&-\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n+1}{p}_{2}^{m+1}}\mathcal{K}\left(\frac{{q}_{1}^{n+1}}{{p}_{1}^{n+1}}\varrho+\left(1-\frac{{q}_{1}^{n+1}}{{p}_{1}^{n+1}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right )\\ &&-\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n+1}{p}_{2}^{m+1}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n+1}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n+1}}\right)\chi_{1} , \frac{{q}_{2}^{m+1}}{{p}_{2}^{m+1}}\rho+\left(1-\frac{{q}_{2}^{m+1}}{{p}_{2}^{m+1}}\right)\chi_{3} \right) \\ &&+\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n+1}{p}_{2}^{m+1}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \Bigg]\\ && = \frac{1}{{q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 1}^{\infty }\sum\limits_{m = 1}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \\ && -\frac{1}{p_2{q}_{1}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 1}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \\ &&-\frac{1}{p_1{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 1}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right)\\&&+\frac{1}{p_1p_2(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) . \\ \end{eqnarray}$

(2.2)

Note that

$\begin{eqnarray} &&\frac{1}{{q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 1}^{\infty }\sum\limits_{m = 1}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \\ && = -\frac{\mathcal{K}\left( \varrho, \rho\right) }{{q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}-\frac{1}{ {q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 0}^{\infty }\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \rho\right) \\ &&-\frac{1}{{q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{m = 0}^{\infty }\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\mathcal{K}\left(\varrho , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right)+\frac{1}{{q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )} \\ &&\times\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right), \end{eqnarray}$

(2.3)

$\begin{eqnarray} && -\frac{1}{p_2{q}_{1}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 1}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \\ && \\ && = \frac{1}{p_2{q}_{1}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{m = 0}^{\infty }\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\mathcal{K}\left(\varrho , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) -\frac{1}{p_2{q}_{1}(\varrho-\chi_{1} )(\rho-\chi_{3} )} \\ && \\ &&\times\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \end{eqnarray}$

(2.4)

and

$\begin{eqnarray} && \\ && -\frac{1}{p_1{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 1}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \\ && \\ && = \frac{1}{p_1{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}\sum\limits_{n = 0}^{\infty }\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \rho\right) -\frac{1}{p_1{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )} \\ && \\ &&\times\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right). \end{eqnarray}$

(2.5)

Utilizing (2.3)–(2.5) in (2.2), we get

$\begin{eqnarray} &&\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{1}, \chi_{3}}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}}{\; _{\chi_{1}}\partial _{p_1, {q}_{1}}z{\; _{\chi_{3}}\partial _{p_2, {q}_{2}}w}}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )\; {_{0}} d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ \\ && = -\frac{\mathcal{K}\left( \varrho, \rho\right) }{{q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )}-\frac{ \left( p_2-{q}_{2}\right) (\rho-\chi_{3} )}{p_2{q}_{1}{q}_{2}(\varrho-\chi_{1} )(\rho-\chi_{3} )^{2}} \sum\limits_{m = 0}^{\infty }\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\mathcal{K}\left(\varrho , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \\ \\ &&-\frac{\left( p_1-{q}_{1}\right) (\varrho-\chi_{1} )}{p_1{q}_{1}{q}_{2}(\varrho-\chi_{1} )^{2}(\rho-\chi_{3} )}\sum\limits_{n = 0}^{\infty }\frac{{q}_{1}^{n}}{{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \rho\right) \\ \\ &&+\frac{\left( p_1-{q}_{1}\right) \left( p_2-{q}_{2}\right) (\varrho-\chi_{1} )(\rho-\chi_{3} )}{ p_1p_2{q}_{1}{q}_{2}(\varrho-\chi_{1} )^{2}(\rho-\chi_{3} )^{2}}\sum\limits_{n = 0}^{\infty }\sum\limits_{m = 0}^{\infty }\frac{{q}_{1}^{n}{q}_{2}^{m}}{{p}_{1}^{n}{p}_{2}^{m}}\mathcal{K}\left(\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\varrho+\left(1-\frac{{q}_{1}^{n}}{{p}_{1}^{n}}\right)\chi_{1} , \frac{{q}_{2}^{m}}{{p}_{2}^{m}}\rho+\left(1-\frac{{q}_{2}^{m}}{{p}_{2}^{m}}\right)\chi_{3}\right) \end{eqnarray}$

and

(2.6)

Multiplying both sides of equality (2.6) by $\Delta(\varrho-\chi_{1})^{2}(\rho-\chi_{3})^{2}$ leads to

$\begin{eqnarray} &&\Delta(\varrho-\chi_{1} )^{2}(\rho-\chi_{3} )^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{1}, \chi_{3}}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}}{\; _{\chi_{1}}\partial _{p_1, {q}_{1}}z{\; _{\chi_{3}}\partial _{p_2, {q}_{2}}w}}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )\; {_{0}} d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ && \\ && = -\frac{(\varrho-\chi_{1} )(\rho-\chi_{3} )}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\mathcal{K}\left( \varrho, \rho\right) -\frac{\varrho-\chi_{1} }{p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v){_{0}}d_{p_2, {q}_{2}}v \\ && \\ &&-\frac{\rho-\chi_{3} }{p_1\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) )}\int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){_{0}}d_{p_1, {q}_{1}}u \\ && \\ &&+\frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(u, v){_{0}}d_{p_1, {q}_{1}}u{_{0}}d_{p_2, {q}_{2}}v. \end{eqnarray}$

(2.7)

Similarly, calculating the remaining integrals and by using definition 1.8 we get

$\begin{eqnarray} &&\Delta(\varrho-\chi_{1} )^{2}(\chi_{4} -\rho)^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{1}}^{\chi_{4}}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}}{\; _{\chi_{1}}\partial _{p_1, {q}_{1}}z{\; ^{\chi_{4}}\partial _{p_2, {q}_{2}}w}}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{4} )\; {_{0}} d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ && \\ && = -\frac{(\varrho-\chi_{1} )(\chi_{4} -\rho)}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\mathcal{K}\left( \varrho, \rho\right) -\frac{\varrho-\chi_{1} }{p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\int_{p_2\rho+(1-p_2)\chi_{4} }^{\chi_4}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v \\ && \\ &&-\frac{\chi_{4} -\rho}{p_1\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) )} \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){\; _{\chi_1}}d_{p_1, {q}_{1}}u \\ && \\ &&+\frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\int_{p_2\rho+(1-p_2)\chi_{4}}^{\chi_4}\mathcal{K}(u, v){\; _{\chi_{1}}}d_{p_1, {q}_{1}}u{\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v, \end{eqnarray}$

(2.8)

$\begin{eqnarray} &&\Delta(\chi_{2} -\varrho)^{2}(\rho-\chi_{3} )^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; _{\chi_{3}}^{\chi_{2}}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}}{\; ^{\chi_{2}}\partial _{p_1, {q}_{1}}z{\; _{\chi_{3}}\partial _{p_2, {q}_{2}}w}}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )\; {_{0}} d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ && \\ && = -\frac{(\chi_{2} -\varrho)(\rho-\chi_{3} )}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\mathcal{K}\left( \varrho, \rho\right) -\frac{\chi_{2} -\varrho}{p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v)\; {_{\chi_{3}}}d_{p_2, {q}_{2}}v \\ && \\ &&-\frac{\rho-\chi_{3} }{p_1\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) )}\int_{p_1\varrho+(1-p_1)\chi_{2} }^{\chi_2}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u \\ && \\ &&+\frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\chi_{2} }^{p_1\varrho+(1-p_1)\chi_1}\int_{p_2\rho+(1-p_2)\chi_{2} }^{\chi_2}\mathcal{K}(u, v)\; {^{\chi_{2}}}d_{p_1, {q}_{1}}u\; {_{\chi_{3}}}d_{p_2, {q}_{2}}v, \end{eqnarray}$

(2.9)

$\begin{eqnarray} &&\Delta(\chi_{2} -\varrho)^{2}(\chi_{4} -\rho)^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{\; ^{\chi_{2}, \chi_{4}}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}}{\; ^{\chi_{2}}\partial _{p_1, {q}_{1}}z{\; ^{\chi_{4}}\partial _{p_2, {q}_{2}}w}}\mathcal{K}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{4} )\; {_{0}} d_{p_1, {q}_{1}}z\; {_{0}}d_{p_2, {q}_{2}}w \\ && \\ && = -\frac{(\chi_{2} -\varrho)(\chi_{4} -\rho)}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\mathcal{K}\left( \varrho, \rho\right) -\frac{\chi_{2} -\varrho}{p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) }\int_{p_2\rho+(1-p_2)\chi_{4} }^{\chi_4}\mathcal{K}(\varrho, v)\; {^{\chi_{4}}}d_{p_2, {q}_{2}}v \\ && \\ &&-\frac{\chi_{4} -\rho}{p_1\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) )} \int_{p_1\varrho+(1-p_1)\chi_{2} }^{\chi_2}\mathcal{K}(u, \rho)\; {^{\chi_{2}}}d_{p_1, {q}_{1}}u \\ && \\ &&+\frac{1}{p_1p_2\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{p_1\varrho+(1-p_1)\chi_{2} }^{\chi_4}\int_{p_2\rho+(1-p_2)\chi_{4} }^{\chi_4}\mathcal{K}(u, v)\; {^{\chi_{2}}}d_{p_1, {q}_{1}}u\; {^{\chi_{4}}}d_{p_2, {q}_{2}}v. \end{eqnarray}$

(2.10)

From (2.7)–(2.10) and (2.1), we derive the desired result of Lemma 2.1.

Remark 4. Taking $p_k = 1$ for $k = 1, 2$ we get

$\begin{align} & \mathcal{K}\left( \varrho,\rho\right) -\frac{1}{(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{\varrho}\mathcal{K}(u,\rho){~_{\chi_{1}}}% d_{{q}_{1}}u+\int_{\varrho }^{\chi_2}\mathcal{K}(u,\rho){~^{\chi_{2}}}d_{{q}_{1}}u\right] \notag \\&-\frac{1}{(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{\rho}\mathcal{K}(\varrho,v){% ~_{\chi_{3}}}d_{{q}_{2}}v+\int_{\rho }^{\chi_{4}}\mathcal{K}(\varrho,v){~^{\chi_{4}}}d_{{q}_{2}}v\right]+\mathcal{W} \notag \\ & =\Delta\Big\{(\varrho-\chi_{1} )^{2}(\rho-\chi_{3} )^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{~_{\chi_{1},\chi_{3}}% \partial _{q_1,{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} ,w\rho+(1-w)\chi_{3} )}{~_{\chi_{1}}\partial _{{q}_{1}}z{~_{\chi_{3}}\partial _{{q}_{2}}w}}% ~{_{0}}d_{ {q}_{1}}z~{_{0}}d_{{q}_{2}}w \notag \\ & +(\varrho-\chi_{1} )^{2}(\chi_{4} -\rho)^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{~_{\chi_{1}}^{\chi_{4}}% \partial _{q_1,{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} ,w\rho+(1-w)\chi_{4} )}{~_{\chi_{1}}\partial _{{q}_{1}}z{~^{\chi_{4}}\partial _{{q}_{2}}w}}% ~{_{0}}d_{{q}_{1}}z~{_{0}}d_{{q}_{2}}w \notag \\ & +(\chi_{2} -\varrho)^{2}(\rho-\chi_{3} )^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{~_{\chi_{3}}^{\chi_{2}}% \partial _{q_1,{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{2} ,w\rho+(1-w)\chi_{3} )}{~_{\chi_{3}}\partial _{{q}_{1}}z{~^{\chi_{2}}\partial _{{q}_{2}}w}}% ~{_{0}}d_{{q}_{1}}z~{_{0}}d_{{q}_{2}}w \notag \\ & +(\chi_{2} -\varrho)^{2}(\chi_{4} -\rho)^{2}\int_{0}^{1}\int_{0}^{1}zw\frac{~^{\chi_{2},\chi_{4}}\partial _{q_1,{q}_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{2} ,w\rho+(1-w)\chi_{4} )}{~^{\chi_{2}}\partial _{{q}_{1}}z{~^{\chi_{4}}\partial _{{q}_{2}}w}}~{_{0}}d_{ {q}_{1}}z~{_{0}}d_{{q}_{2}}w\Big\}, \end{align}$

(2.11)

where

$\begin{eqnarray} \mathcal{W }&& = \frac{1}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\chi_{1} }^{\varrho}\int_{\chi_{3} }^{\rho}\mathcal{K}(u, v){\; _{\chi_{1}}}d_{{q}_{1}}u\; {_{\chi_{3}}}d_{{q}_{2}}v\\&& +\frac{1}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\chi_{1} }^{\varrho}\int_{\rho }^{\chi_4}\mathcal{K}(u, v){\; _{\chi_{1}}}d_{{q}_{1}}u{\; ^{\chi_{4}}}d_{{q}_{2}}v \\ &&+\frac{1}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\varrho}^{\chi_2}\int_{\chi_{3} }^{\rho}\mathcal{K}(u, v){\; ^{\chi_{2}}}d_{{q}_{1}}u{\; _{\chi_{3}}}d_{{q}_{2}}v\\&& +\frac{1}{\left( \chi_{2} -\chi_{1} \right) \left( \chi_{4} -\chi_{3} \right) } \int_{\varrho}^{\chi_2}\int_{\rho }^{\chi_4}\mathcal{K}(u, v){\; ^{\chi_{2}}}d_{{q}_{1}}u{\; ^{\chi_{4}}}d_{{q}_{2}}v. \end{eqnarray}$

3. $(p_1p_2, q_1q_2)$ -Ostrowski type inequalities for function with two variables

In this section, we introduce $(p_1p_2, q_1q_2)$ -Ostrowski inequalities by using $n$ -polynomial $s$ -type convex function on the co-ordinates.

Theorem 3.1. Suppose that $n\in\mathbb{N}$ , $s\in[0, 1]$ and all the assumptions of Lemma 2.1 are true. If $\left\vert\frac{_{\chi_1, \chi_3}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2}$ , $\left\vert\frac{_{\chi_1}^{\chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2}$ , $\left\vert\frac{_{\chi_3}^{\chi_2}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2}$ and $\left\vert\frac{\; ^{\chi_2, \chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2}$ are $n$ -polynomial $s$ -type convex functions on the co-ordinates on $\mathcal{N}$ for $\tau_1, \tau_2 > 1$ with $\frac{1}{\tau_1}+\frac{1}{\tau_2} = 1$ and $\left\vert\frac{_{\chi_1, \chi_3}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(\varrho, \rho)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\left\vert\frac{_{\chi_1}^{\chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\left\vert\frac{_{\chi_3}^{\chi_2}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\left\vert\frac{\; ^{\chi_2, \chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\varrho, \rho\in \mathcal{N}$ , then the following inequality holds

$\begin{eqnarray} &&\left\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{p_1(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){\; _{\chi_{1}}} d_{p_1, {q}_{1}}u+\int_{p_1\varrho+(1-p_1)\chi_2 }^{\chi_2}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u\right] \right. \\ &&\left. -\frac{1}{p_2(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v){ \; _{\chi_{3}}}d_{p_2, {q}_{2}}v+\int_{p_2\rho+(1-p_2)\chi_4 }^{\chi_{4}}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v\right]+\mathcal{A} \right\vert \\ &&\leq\frac{ \Delta\mathcal{M}\sqrt[\tau_2]{\left(\mathcal{C}_{p_1, q_{1}}+\mathcal{D}_{p_1, q_{1}}\right)(\mathcal{C}_{p_2, q_{2}}+\mathcal{D}_{p_2, q_{2}})}\left[ \left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}\right] \left[ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}\right]}{\sqrt[\tau_1]{[1+\tau_1]_{p_1, q_1}[1+\tau_1]_{p_2, q_2}}} , \\ \end{eqnarray}$

(3.1)

where

$\begin{align*} \mathcal{C}_{p_k, q_{k}} & = 1-\frac{(p_k-q_k)}{n}\sum\limits_{i = 1}^{n}\sum\limits_{e = 0}^{\infty}s^i\frac{q_{k}^{e}}{p_{k}^{e+1}}\left(1-\frac{q_{k}^{e}}{p_{k}^{e+1}}\right)^i, \\ \\ \mathcal{D}_{p_k, q_{k}} & = 1-\frac{1}{n}\sum\limits_{i = 1}^{n}s^i\left( \frac{p_k-q_k}{p^{i+1}_k-q^{i+1}_k}\right) \end{align*}$

for $k = 1, 2$ and $\Delta, \, \mathcal{A}$ are defined in Lemma 2.1.

Proof. Taking absolute value on both sides of (2.1), by applying Hölder inequality for double integrals and utilizing the fact that $\left\vert \frac{\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K}}{\partial _{p_1, {q}_{1}}z{\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2}$ is $n$ -polynomial $s$ -type convex on co-ordinates, we get the following inequality

$\begin{eqnarray} &&\left\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{p_1(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){\; _{\chi_{1}}} d_{p_1, {q}_{1}}u+\int_{p_1\varrho+(1-p_1)\chi_2 }^{\chi_2}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u\right] \right. \\ &&\left. -\frac{1}{p_2(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v){ \; _{\chi_{3}}}d_{p_2, {q}_{2}}v+\int_{p_2\rho+(1-p_2)\chi_4 }^{\chi_{4}}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v\right]+\mathcal{A} \right\vert\\&&\leq \Delta\left(\int_{0}^{1}\int_{0}^{1}z^{\tau_1}w^{\tau_1} {_{0}}d_{p_1, {q}_{1}}z{_{0}} d_{p_2, {q}_{2}}w\right)^{\frac{1}{\tau_1}} \\&&\times\Big\{(\varrho-\chi_{1} )^{2}(\rho-\chi_{3} )^{2}\left(\int_{0}^{1} \int_{0}^{1}\left\vert \frac{_{\chi_1, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2} \mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau_2} {\; _{0}}d_{p_1, {q}_{1}}z{\; _{0}} d_{p_2, {q}_{2}}w\right) ^{\frac{1}{\tau_2}} \end{eqnarray}$

$\begin{eqnarray} &&+(\varrho-\chi_{1} )^{2}(\chi_{4} -\rho)^{2}\left( \int_{0}^{1}\int_{0}^{1}\left\vert \frac{_{\chi_1}^{\chi_4}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{4} )}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau_2} \; {_{0}}d_{p_1, {q}_{1}}z{\; _{0}}d_{p_2, {q}_{2}}w\right)^{\frac{1}{\tau_2}} \\ &&+(\chi_{2} -\varrho)^{2}(\rho-\chi_{3} )^{2}\left( \int_{0}^{1}\int_{0}^{1}\left\vert \frac{_{\chi_3}^{\chi_2}\partial _{p_1p_2, q_{1}q_{2}}^{2} \mathcal{K}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{3} )}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau_2} \; {_{0}}d_{p_1, {q}_{1}}z{\; _{0}}d_{p_2, {q}_{2}}w\right)^{\frac{1}{\tau_2}} \\ &&+(\chi_{2} -\varrho)^{2}(\chi_{4} -\rho)^{2}\left( \int_{0}^{1}\int_{0}^{1}\left\vert \frac{^{\chi_2, \chi_4} \partial _{p_1p_2, q_{1}q_{2}}^{2} \mathcal{K}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{4} )}{^{\chi_2}\partial _{p_1, {q}_{1}}z{^{\chi_4}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau_2} \; {_{0}}d_{p_1, {q}_{1}}z{\; _{0}}d_{p_2, {q}_{2}}w\right)^{\frac{1}{\tau_2}} \Bigg\}. \end{eqnarray}$

Considering first integral

$\begin{eqnarray} &&\int_{0}^{1}\int_{0}^{1}\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )}{_{\chi_1} \partial _{p_1, {q}_{1}}z{_{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ && \leq\int_{0}^{1}\left\{ \int_{0}^{1}\left[ \begin{array}{c} \frac{1}{n}\sum_{i = 1}^{n} \left[1-(s(1-z))^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\varrho, w\rho+(1-w)\chi_{3} )}{_{\chi_{1}}\partial _{p_1, q_{1}}z _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau_2} \\ +\frac{1}{n}\sum_{i = 1}^{n}\left[1-(sz)^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\chi_1, w\rho+(1-w)\chi_{3} )}{_{\chi_{1}}\partial _{p_1, q_{1}}z _{\chi_{1}}\partial _{p_2, q_{2}}w}\right\vert^{\tau_2} \end{array} \right] {_{0}}d_{p_1, q_{1}}z\right\} {_{0}}d_{p_2, q_{2}}w. \\ \end{eqnarray}$

(3.2)

Computing the $(p_1, q_{1})$ -integral on the right-hand side of (3.2), we have

$\begin{eqnarray*} && \leq \int_{0}^{1}\left[ \begin{array}{c} \frac{1}{n}\sum_{i = 1}^{n}\left[1-(s(1-z))^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\varrho, w\rho+(1-w)\chi_{3} )}{_{\chi_{1}}\partial _{p_1, q_{1}}z_{\chi_3} \partial _{p_2, q_{2}}w}\right\vert^{\tau_2} \\ +\frac{1}{n}\sum_{i = 1}^{n}\left[1-(sz)^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\chi_1, w\rho+(1-w)\chi_{3} )}{_{\chi_{1}}\partial _{p_1, q_{1}}z _{\chi_{1}}\partial _{p_2, q_{2}}w}\right\vert^{\tau_2} \end{array} \right] {_{0}}d_{p_1, q_{1}}z. \end{eqnarray*}$

In view of the Definitions 1.4 for $k = 1, 2$ , we get

$\begin{align*} \mathcal{C}_{p_k, q_{k}} = \frac{1}{n}\sum\limits_{i = 1}^{n}\int_{0}^{1}\left[1-(s(1-z))^i\right]{_{0}}d_{p_k, q_{k}}z & = 1-\frac{(p_k-q_k)}{n}\sum\limits_{i = 1}^{n}\sum\limits_{e = 0}^{\infty}s^i\frac{q_{k}^{e}}{p_{k}^{e+1}}\left(1-\frac{q_{k}^{e}}{p_{k}^{e+1}}\right)^i, \\ \\ \mathcal{D}_{p_k, q_{k}} = \frac{1}{n}\sum\limits_{i = 1}^{n}\int_{0}^{1}\left[1-(sz)^i\right]{_{0}}d_{p_k, q_{k}}z & = 1-\frac{1}{n}\sum\limits_{i = 1}^{n}s^i\left( \frac{p_k-q_k}{p^{i+1}_k-q^{i+1}_k}\right) . \end{align*}$

Putting the above calculations into (3.2), we obtain

$\begin{eqnarray} && \leq\int_{0}^{1}\left[ \begin{array}{c} \mathcal{C}_{p_1, q_{1}}\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\varrho, w\rho+(1-w)\chi_{3} )}{_{\chi_{1}}\partial _{p_1, q_{1}}z _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau_2} \\ +\mathcal{D}_{p_1, q_{1}}\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\chi_1, w\rho+(1-w)\chi_{3} )}{_{\chi_{1}}\partial _{p_1, q_{1}}z _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau_2} \end{array} \right] {_{0}}d_{p_2, q_{2}}w. \end{eqnarray}$

(3.3)

Similarly, by computing the $(p_2, q_{2})$ -integral, utilizing the fact $\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K(\varrho, \rho)}}{_{\chi_{1}}\partial _{p_1, {q}_{1}}z{_{\chi_3}\partial _{p_2, {q}_{2}}w}}{}\right\vert \leq \mathcal{M}, \varrho, \rho\in \mathcal{N}$ on the right-hand side of (3.3), we have

$\begin{align} &\int_{0}^{1}\int_{0}^{1}\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-w)\chi_{1} , w\rho+(1-w)\chi_{3} )}{\; _{\chi_{1}} \partial _{p_1, {q}_{1}}z{_{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau_2}(\mathcal{C}_{p_1, q_{1}}+\mathcal{D}_{p_1, q_{1}})(\mathcal{C}_{p_2, q_{2}}+\mathcal{D}_{p_2, q_{2}}). \end{align}$

(3.4)

Analogously, we get

$\begin{align} &\int_{0}^{1}\int_{0}^{1}\left\vert \frac{_{\chi_{1}}^{\chi_4}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-w)\chi_{1} , \chi_{4}+w\rho+(1-w)\chi_{4} )}{\; _{\chi_{1}} \partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau_2}(\mathcal{C}_{p_1, q_{1}}+\mathcal{D}_{p_1, q_{1}})(\mathcal{C}_{p_2, q_{2}}+\mathcal{D}_{p_2, q_{2}}) \end{align}$

(3.5)

$\begin{align} &\int_{0}^{1}\int_{0}^{1}\left\vert \frac{_{\chi_3}^{\chi_2}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{3} )}{ \; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau_2}(\mathcal{C}_{p_1, q_{1}}+\mathcal{D}_{p_1, q_{1}})(\mathcal{C}_{p_2, q_{2}}+\mathcal{D}_{p_2, q_{2}}) \end{align}$

(3.6)

and

$\begin{align} &\int_{0}^{1}\int_{0}^{1}\left\vert \frac{^{\chi_2, \chi_4}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-z)\chi_{2} , \chi_{4}+w\rho+(1-w)\chi_{4} )}{ ^{\chi_2}\partial _{p_1, {q}_{1}}z{^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau_2} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau_2}(\mathcal{C}_{p_1, q_{1}}+\mathcal{D}_{p_1, q_{1}})(\mathcal{C}_{p_2, q_{2}}+\mathcal{D}_{p_2, q_{2}}). \end{align}$

(3.7)

Now by making use of the inequalities $\left(3.4\right)$ – $\left(3.7\right)$ and using the fact that

$\begin{equation*} \int_{0}^{1}\int_{0}^{1}z^{\tau_1 }w^{\tau_1 }{_{0}}d_{p_1, {q}_{1}}z{_{0}} d_{p_2, {q}_{2}}w = \frac{1}{[1+\tau_1]_{p_1, q_1}[1+\tau_1]_{p_2, q_2}} , \end{equation*}$

we get the desired inequality $\left(3.1\right)$ . This completes the proof.

Corollary 1. I. Taking $p_k = 1$ for $k = 1, 2$ in Theorem 3.1, we get

$\begin{eqnarray} &&\Big\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{\varrho}\mathcal{K}(u, \rho){\; _{\chi_1}} d_{{q}_{1}}u+\int_{\varrho }^{\chi_{2}}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{{q}_{1}}u\right] \\&&-\frac{1}{(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{\rho}\mathcal{K}(\varrho, v){ \; _{\chi_3}}d_{{q}_{2}}v+\int_{\rho }^{\chi_{4}}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{{q}_{2}}v\right]+\mathcal{W} \Big\vert \\ &&\leq\frac{ \Delta\mathcal{M}\sqrt[\tau_2]{\left(\mathcal{C}_{q_{1}}+\mathcal{D}_{q_{1}}\right)(\mathcal{C}_{q_{2}}+\mathcal{D}_{q_{2}})}\left[ \left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}\right] \left[ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}\right]}{\sqrt[\tau_1]{[1+\tau_1]_{q_1}[1+\tau_1]_{q_2}}} , \end{eqnarray}$

where

$\begin{align*} \mathcal{C}_{q_{k}} & = 1-\frac{(1-q_k)}{n}\sum\limits_{i = 1}^{n}\sum\limits_{e = 0}^{\infty}s^iq_{k}^{e}\left(1-q_{k}^{e}\right)^i, \\ \mathcal{D}_{q_{k}} & = 1-\frac{1}{n}\sum\limits_{i = 1}^{n}s^i\left( \frac{1-q_k}{1-q^{i+1}_k}\right) \end{align*}$

and $\Delta, \, \mathcal{W}$ are defined in Remark 4.

II. Taking $q_k\rightarrow1^-$ for $k = 1, 2$ in part I, we get

$\begin{eqnarray} &&\Big\vert \mathcal{K}\left( \varrho, \rho\right) +\frac{1}{(\chi_{2} -\chi_{1})(\chi_{4} -\chi_{3}) }\int_{\chi_{1} }^{\chi_{2}}\int_{\chi_{3} }^{\chi_{4}}\mathcal{K}(u, v)dvdu-\mathcal{Q} \Big\vert \\ &&\leq\frac{ \mathcal{M}\sqrt[\tau_2]{\left( \frac{2}{n}\sum_{i = 1}^{n}\left( \frac{i+1-s^i}{{i+1}}\right)\right) ^2}}{\sqrt[\tau_1]{{(1+\tau_1)^2}}}\left[ \frac{\left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}}{\chi_2-\chi_1}\right] \left[\frac{ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}}{\chi_4-\chi_3}\right], \end{eqnarray}$

where

$\mathcal{Q} = \frac{1}{\chi_{2} -\chi_{1}}\int_{\chi_{1} }^{\chi_{2}}\mathcal{K}(u, \rho)du+\frac{1}{\chi_{4} -\chi_{3} }\int_{\chi_{3} }^{\chi_{4}}\mathcal{K}(\varrho, v)dv.$

Remark 5. Taking $n = s = 1$ in part II of Corollary 1, we obtain Theorem 4 of ^[47].

Theorem 3.2. Suppose that $n\in\mathbb{N}$ , $s\in[0, 1]$ and all the assumptions of Lemma 2.1 holds. If $\left\vert\frac{_{\chi_1, \chi_3}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau}$ , $\left\vert\frac{_{\chi_1}^{\chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau}$ , $\left\vert\frac{_{\chi_3}^{\chi_2}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau}$ and $\left\vert\frac{\; ^{\chi_2, \chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau}$ are $n$ -polynomial $s$ -type convex functions on the co-ordinates on $\mathcal{N}$ for $\tau\geq 1$ , and $\left\vert\frac{_{\chi_1, \chi_3}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(\varrho, \rho)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\left\vert\frac{_{\chi_1}^{\chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\left\vert\frac{_{\chi_3}^{\chi_2}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\left\vert\frac{\; ^{\chi_2, \chi_4}\partial _{p_1{p}_{2}, q_1{q}_{2}}^{2}\mathcal{K}(z, w)}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert\leq \mathcal{M}$ , $\varrho, \rho\in \mathcal{N}$ , then the following inequality holds

$\begin{eqnarray} &&\left\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{p_1(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){\; _{\chi_{1}}} d_{p_1, {q}_{1}}u+\int_{p_1\varrho+(1-p_1)\chi_2 }^{\chi_2}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u\right] \right. \\ &&\left. -\frac{1}{p_2(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v){ \; _{\chi_{3}}}d_{p_2, {q}_{2}}v+\int_{p_2\rho+(1-p_2)\chi_4 }^{\chi_{4}}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v\right]+\mathcal{A} \right\vert \\ &&\leq \frac{\Delta\mathcal{M} \sqrt[\tau]{\left(\mathcal{A}_{p_1, q_{1}}+\mathcal{B}_{p_1, q_{1}}\right)(\mathcal{A}_{p_2, q_{2}}+\mathcal{B}_{p_2, q_{2}})}\left[ \left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}\right] \left[ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}\right]}{\left[ (p_1+q_1)(p_2+q_2)\right] ^{1-\frac{1}{\tau}}} , \\ \end{eqnarray}$

(3.8)

where

$\begin{align*} \mathcal{A}_{p_k, q_{k}}& = \frac{1}{p_k+q_{k}}-\frac{(p_k-q_k)}{n}\sum\limits_{i = 1}^{n}\sum\limits_{e = 0}^{\infty}s^i\frac{q_{k}^{2e}}{p_{k}^{2e+2}}\left(1-\frac{q_{k}^{e}}{p_{k}^{e+1}}\right)^i, \\ \\ \mathcal{B}_{p_k, q_{k}} & = \frac{1}{p_k+q_{k}}-\frac{1}{n}\sum\limits_{i = 1}^{n}s^i\left( \frac{p_k-q_k}{p^{i+2}_k-q^{i+2}_k}\right) \end{align*}$

for $k = 1, 2$ and $\Delta, \, \mathcal{A}$ are defined in Lemma 2.1.

Proof. Taking absolute value on both sides of (2.1), by applying power mean inequality for double integrals, we get the following inequality

$\begin{eqnarray} &&\left\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{p_1(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){_{0}} d_{p_1, {q}_{1}}u+\int_{\chi_{2} }^{p_1\varrho+(1-p_1)\chi_2}\mathcal{K}(u, \rho){_{0}}d_{p_1, {q}_{1}}u\right] \right. \\ &&\left. -\frac{1}{p_2(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v){ _{0}}d_{p_2, {q}_{2}}v+\int_{\chi_{4} }^{p_2\rho+(1-p_2)\chi_4}\mathcal{K}(\varrho, v){_{0}}d_{p_2, {q}_{2}}v\right]+\mathcal{A} \right\vert \\ &&\leq \Delta\left(\int_{0}^{1}\int_{0}^{1}zw {_{0}}d_{p_1, {q}_{1}}z{_{0}} d_{p_2, {q}_{2}}w\right)^{1-\frac{1}{\tau}} \\&&\times\Big\{(\varrho-\chi_{1} )^{2}(\rho-\chi_{3} )^{2}\left(\int_{0}^{1} \int_{0}^{1}zw\left\vert \frac{_{\chi_1, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2} \mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau} {\; _{0}}d_{p_1, {q}_{1}}z{\; _{0}} d_{p_2, {q}_{2}}w\right) ^{\frac{1}{\tau}} \end{eqnarray}$

$\begin{eqnarray} &&+(\varrho-\chi_{1} )^{2}(\chi_{4} -\rho)^{2}\left( \int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{_{\chi_1}^{\chi_4}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{4} )}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau} \; {_{0}}d_{p_1, {q}_{1}}z{\; _{0}}d_{p_2, {q}_{2}}w\right)^{\frac{1}{\tau}} \\ &&+(\chi_{2} -\varrho)^{2}(\rho-\chi_{3} )^{2}\left( \int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{_{\chi_3}^{\chi_2}\partial _{p_1p_2, q_{1}q_{2}}^{2} \mathcal{K}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{3} )}{\; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau} \; {_{0}}d_{p_1, {q}_{1}}z{\; _{0}}d_{p_2, {q}_{2}}w\right)^{\frac{1}{\tau}} \\ &&+(\chi_{2} -\varrho)^{2}(\chi_{4} -\rho)^{2}\left( \int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{^{\chi_2, \chi_4} \partial _{p_1p_2, q_{1}q_{2}}^{2} \mathcal{K}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{4} )}{^{\chi_2}\partial _{p_1, {q}_{1}}z{^{\chi_4}\partial _{p_2, {q}_{2}}w}} \right\vert^{\tau} \; {_{0}}d_{p_1, {q}_{1}}z{\; _{0}}d_{p_2, {q}_{2}}w\right)^{\frac{1}{\tau}} \Bigg\}. \end{eqnarray}$

Considering first integral

$\begin{eqnarray} &&\int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K}(z\varrho+(1-z)\chi_{1} , w\rho+(1-w)\chi_{3} )}{ \; _{\chi_{1}}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ && \leq\int_{0}^{1}w\left\{ \int_{0}^{1}z\left[ \begin{array}{c} \frac{1}{n}\sum_{i = 1}^{n} \left[1-(s(1-z))^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\varrho, w\rho+(1-w)\chi_{3} )}{\; _{\chi_{1}}\partial _{p_1, q_{1}}z \; _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau} \\ +\frac{1}{n}\sum_{i = 1}^{n}\left[1-(sz)^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\chi_1, w\rho+(1-w)\chi_{3} )}{\; _{\chi_{1}}\partial _{p_1, q_{1}}z \; _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau} \end{array} \right] {_{0}}d_{p_1, q_{1}}z\right\} {_{0}}d_{p_2, q_{2}}w. \\ \end{eqnarray}$

(3.9)

Computing the $(p_1, q_{1})$ -integral on the right-hand side of (3.9), we have

$\begin{eqnarray*} && \leq \int_{0}^{1}z\left[ \begin{array}{c} \frac{1}{n}\sum_{i = 1}^{n} \left[1-(s(1-z))^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\varrho, w\rho+(1-w)\chi_{3} )}{\; _{\chi_{1}}\partial _{p_1, q_{1}}z \; _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau} \\ +\frac{1}{n}\sum_{i = 1}^{n}\left[1-(sz)^i\right]\left\vert \frac{_{\chi_{1}, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\chi_1, w\rho+(1-w)\chi_{3} )}{\; _{\chi_{1}}\partial _{p_1, q_{1}}z \; _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau} \end{array} \right] {_{0}}d_{p_1, q_{1}}z. \end{eqnarray*}$

In view of the Definitions 1.5 fpr $k = 1, 2,$ we get

$\begin{align*} \mathcal{A}_{p_k, q_{k}} = \frac{1}{n}\sum\limits_{i = 1}^{n}\int_{0}^{1}z\left[1-(s(1-z))^i\right]{_{0}}d_{p_k, q_{k}}z & = \frac{1}{p_k+q_{k}}-\frac{(p_k-q_k)}{n}\sum\limits_{i = 1}^{n}\sum\limits_{e = 0}^{\infty}s^i\frac{q_{k}^{2e}}{p_{k}^{2e+2}}\left(1-\frac{q_{k}^{e}}{p_{k}^{e+1}}\right)^i, \\ \\ \mathcal{B}_{p_k, q_{k}} = \frac{1}{n}\sum\limits_{i = 1}^{n}\int_{0}^{1}z\left[1-(sz)^i\right]{_{0}}d_{p_k, q_{k}}z & = \frac{1}{p_k+q_{k}}-\frac{1}{n}\sum\limits_{i = 1}^{n}s^i\left( \frac{p_k-q_k}{p^{i+2}_k-q^{i+2}_k}\right) . \end{align*}$

Putting the above calculations into (3.9), we obtain

$\begin{eqnarray} && \leq\int_{0}^{1}w\left[ \begin{array}{c} \mathcal{A}_{p_1, q_{1}}\left\vert \frac{_{\chi_1, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\varrho, w\rho+(1-w)\chi_{3} )}{\; _{\chi_1}\partial _{p_1, q_{1}}z \; _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau} \\ +\mathcal{B}_{p_1, q_{1}}\left\vert \frac{_{\chi_1, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K} (\chi_1, w\rho+(1-w)\chi_{3} )}{\; _{\chi_1}\partial _{p_1, q_{1}}z \; _{\chi_3}\partial _{p_2, q_{2}}w}\right\vert^{\tau} \end{array} \right] {_{0}}d_{p_2, q_{2}}w. \end{eqnarray}$

(3.10)

Similarly, by computing the $(p_2, q_{2})$ -integral, utilizing the fact $\left\vert \frac{_{\chi_1, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}\mathcal{K(\varrho, \rho)}}{\; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}{}\right\vert\leq \mathcal{M}, \varrho, \rho\in \mathcal{N}$ on the right-hand side of (3.10), we have

$\begin{align} &\int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{_{\chi_1, \chi_3}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-w)\chi_{1} , w\rho+(1-w)\chi_{3} )}{ \; _{\chi_1}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau}(\mathcal{A}_{p_1, q_{1}}+\mathcal{B}_{p_1, q_{1}})(\mathcal{A}_{p_2, q_{2}}+\mathcal{B}_{p_2, q_{2}}). \end{align}$

(3.11)

Analogously, we get

$\begin{align} &\int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{_{\chi_{1}}^{\chi_4}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-w)\chi_{1} , \chi_{4}+w\rho+(1-w)\chi_{4} )}{\; _{\chi_{1}} \partial _{p_1, {q}_{1}}z{\; ^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau}(\mathcal{A}_{p_1, q_{1}}+\mathcal{B}_{p_1, q_{1}})(\mathcal{A}_{p_2, q_{2}}+\mathcal{B}_{p_2, q_{2}}), \end{align}$

(3.12)

$\begin{align} &\int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{_{\chi_3}^{\chi_2}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-z)\chi_{2} , w\rho+(1-w)\chi_{3} )}{ \; ^{\chi_2}\partial _{p_1, {q}_{1}}z{\; _{\chi_3}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau}(\mathcal{A}_{p_1, q_{1}}+\mathcal{B}_{p_1, q_{1}})(\mathcal{A}_{p_2, q_{2}}+\mathcal{B}_{p_2, q_{2}}) \end{align}$

(3.13)

and

$\begin{align} &\int_{0}^{1}\int_{0}^{1}zw\left\vert \frac{^{\chi_2, \chi_4}\partial _{p_1p_2, q_{1}q_{2}}^{2}{\mathcal{K}}(z\varrho+(1-z)\chi_{2} , \chi_{4}+w\rho+(1-w)\chi_{4} )}{ ^{\chi_2}\partial _{p_1, {q}_{1}}z{^{\chi_4}\partial _{p_2, {q}_{2}}w}}\right\vert^{\tau} {_{0}}d_{p_1, {q}_{1}}z{_{0}}d_{p_2, {q}_{2}}w \\ &\leq\mathcal{M}^{\tau}(\mathcal{A}_{p_1, q_{1}}+\mathcal{B}_{p_1, q_{1}})(\mathcal{A}_{p_2, q_{2}}+\mathcal{B}_{p_2, q_{2}}). \end{align}$

(3.14)

Now by making use of the inequalities $\left(3.11\right)$ – $\left(3.14\right)$ and the fact that

$\begin{equation*} \int_{0}^{1}\int_{0}^{1}zw{_{0}}d_{p_1, {q}_{1}}z{ _{0}}d_{p_2, {q}_{2}}w = \frac{1}{(p_1+{q}_{1})(p_2+{q}_{2})}, \end{equation*}$

we get the desired inequality $\left(3.8\right)$ . This completes the proof.

Corollary 2. I. Taking $\tau = 1$ in Theorem 3.2, we get

$\begin{eqnarray} &&\left\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{p_1(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{p_1\varrho+(1-p_1)\chi_1}\mathcal{K}(u, \rho){\; _{\chi_{1}}} d_{p_1, {q}_{1}}u+\int_{p_1\varrho+(1-p_1)\chi_2 }^{\chi_2}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{p_1, {q}_{1}}u\right] \right. \\ &&\left. -\frac{1}{p_2(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{p_2\rho+(1-p_2)\chi_3}\mathcal{K}(\varrho, v){ \; _{\chi_{3}}}d_{p_2, {q}_{2}}v+\int_{p_2\rho+(1-p_2)\chi_4 }^{\chi_{4}}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{p_2, {q}_{2}}v\right]+\mathcal{A} \right\vert \\ &&\leq \Delta\mathcal{M}\left(\mathcal{A}_{p_1, q_{1}}+\mathcal{B}_{p_1, q_{1}}\right)(\mathcal{A}_{p_2, q_{2}}+\mathcal{B}_{p_2, q_{2}})\left[ \left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}\right] \left[ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}\right] . \end{eqnarray}$

II. Taking $p_k = 1$ for $k = 1, 2$ in Theorem 3.2, we obtain

$\begin{eqnarray} &&\Big\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{1}{(\chi_{2} -\chi_{1}) }\left[ \int_{\chi_{1} }^{\varrho}\mathcal{K}(u, \rho){\; _{\chi_1}} d_{{q}_{1}}u+\int_{\varrho }^{\chi_{2}}\mathcal{K}(u, \rho){\; ^{\chi_{2}}}d_{{q}_{1}}u\right] \\&&-\frac{1}{(\chi_{4} -\chi_{3}) }\left[ \int_{\chi_{3} }^{\rho}\mathcal{K}(\varrho, v){ _{\chi_3}}d_{{q}_{2}}v+\int_{\rho }^{\chi_{4}}\mathcal{K}(\varrho, v){\; ^{\chi_{4}}}d_{{q}_{2}}v\right]+\mathcal{W} \Big\vert \\ &&\leq \frac{\Delta\mathcal{M} \sqrt[\tau]{\left(\mathcal{A}_{q_{1}}+\mathcal{B}_{q_{1}}\right)(\mathcal{A}_{q_{2}}+\mathcal{B}_{q_{2}})}}{\left[ (1+q_1)(1+q_2)\right] ^{1-\frac{1}{\tau}}}\left[ \left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}\right] \left[ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}\right] , \end{eqnarray}$

where

$\begin{align*} \mathcal{A}_{q_{k}}& = \frac{1}{1+q_{k}}-\frac{1-q_k}{n}\sum\limits_{i = 1}^{n}\sum\limits_{e = 0}^{\infty}s^iq_{k}^{2e}\left(1-q_{k}^{e}\right)^i, \\ \mathcal{B}_{q_{k}} & = \frac{1}{1+q_{k}}-\frac{1}{n}\sum\limits_{i = 1}^{n}s^i\left( \frac{1-q_k}{1-q^{i+2}_k}\right), \end{align*}$

and $\Delta, \, \mathcal{W}$ are defined in Remark 4.

III. Taking $p_k = 1$ for $k = 1, 2$ , and $q_k\rightarrow1^-$ in part II, we get

$\begin{eqnarray} &&\Big\vert \mathcal{K}\left( \varrho, \rho\right) +\frac{1}{(\chi_{2} -\chi_{1})(\chi_{4} -\chi_{3}) }\int_{\chi_{1} }^{\chi_{2}}\int_{\chi_{3} }^{\chi_{4}}\mathcal{K}(u, v)dvdu-\mathcal{Q} \Big\vert \\ \\ &&\leq\mathcal{M}4^{\frac{1}{\tau}-1}\left(\frac{1}{n}\sum\limits_{i = 1}^{n} \frac{i^2+5i+6-6s^i}{2(i+1)(i+2)}\right)^{\frac{2}{\tau}} \left[ \frac{\left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}}{\chi_2-\chi_1}\right] \left[\frac{ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}}{\chi_4-\chi_3}\right] , \end{eqnarray}$

where $\mathcal{Q}$ is defined in part II of Corollary 1.

IV. Taking $n = 1 = s$ in part III, we have the following inequality

$\begin{eqnarray} &&\Big\vert \mathcal{K}\left( \varrho, \rho\right) +\frac{1}{(\chi_{2} -\chi_{1})(\chi_{4} -\chi_{3}) }\int_{\chi_{1} }^{\chi_{2}}\int_{\chi_{3} }^{\chi_{4}}\mathcal{K}(u, v)dvdu-\mathcal{Q} \Big\vert \\ &&\leq \frac{\mathcal{M}}{4}\left[ \frac{\left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}}{\chi_2-\chi_1}\right] \left[\frac{ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}}{\chi_4-\chi_3}\right] , \end{eqnarray}$

where $\mathcal{Q}$ is defined in part II of Corollary 1.

4. Application to special means

Let $k\in \mathbb{R}\backslash\left\lbrace -1, 0 \right\rbrace$ , and $\varphi_1$ and $\varphi_2$ be two distinct positive real numbers. Then the generalized logarithmic mean $\mathcal{L}_{k}(\varphi_1, \varphi_2)$ is defined by

$\begin{equation*} \mathcal{L}_{k}(\varphi_1 , \varphi_2 ) = \left( \frac{\varphi_2 ^{k+1}-\varphi_1 ^{k+1}}{ (k+1)(\varphi_2 -\varphi_1 )}\right) ^{\frac{1}{k}}. \end{equation*}$

Proposition 2. If $m, k > 1$ and $\chi_1, \chi_2, \chi_3, \chi_4$ are positive real numbers such that $\chi_1 < \chi_2$ and $\chi_3 < \chi_4$ , then one has

$\begin{eqnarray} \label{eq.3.1} &&\Big\vert \varrho^m\times\rho^k -\frac{\rho^k}{(\chi_{2} -\chi_{1}) }\left[ \mathcal{L}^m_{m}(\varrho, \chi_1)+\mathcal{L}^m_{m}(\chi_2, \varrho)\right] -\frac{\varrho^k}{(\chi_{4} -\chi_{3}) }\left[\mathcal{L}^k_{k}(\rho, \chi_3)+ \mathcal{L}^k_{k}(\chi_4, \rho)\right]\\&&+\frac{1}{(\chi_2-\chi_1)(\chi_4-\chi_3)} \left(\mathcal{L}^m_{m}(\varrho, \chi_1)+\mathcal{L}^m_{m}(\chi_2, \varrho)\right)\left(\mathcal{L}^k_{k}(\ \rho, \chi_3)+ \mathcal{L}^k_{k}(\chi_4, \rho)\right) \Big\vert \\ \\ &&\leq\frac{ \mathcal{M}\ }{(1+\tau_1)^\frac{2}{\tau_1}}\left[\frac{ \left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}}{\chi_2-\chi_1}\right] \left[\frac{\left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}}{\chi_4-\chi_3} \right] . \end{eqnarray}$

Proof. Let $\mathcal{K}(\varrho, \rho) = \varrho^m\times\rho^k$ for $m, k > 1$ . Then, we have

$\int_{\chi_{1} }^{\varrho}u^m\times\rho^k{\; _{\chi_1}} d_{{q}_{1}}u = \rho^k\left[\frac{1-q_1}{1-q_1^{m+1}}\right]\left(\frac{\varrho^{m+1}-\chi_1^{m+1}}{\varrho-\chi_1}\right),$

$\int_{\varrho }^{\chi_{2}}u^m\times\rho^k{\; ^{\chi_2}} d_{{q}_{1}}u = \rho^k\left[\frac{1-q_1}{1-q_1^{m+1}}\right]\left(\frac{\chi_2^{m+1}-\varrho^{m+1}}{\chi_2-\varrho}\right),$

$\int_{\chi_{3} }^{\rho}\varrho^m\times v^k{ \; _{\chi_3}}d_{{q}_{2}}v = \varrho^m\left[\frac{1-q_2}{1-q_2^{k+1}}\right]\left(\frac{\rho^{k+1}-\chi_3^{k+1}}{\ \rho-\chi_3}\right),$

$\int_{\rho }^{\chi_{4}}\varrho^m\times v^k{\; ^{\chi_{4}}}d_{{q}_{2}}v = \varrho^m\left[\frac{1-q_2}{1-q_2^{k+1}}\right]\left(\frac{\chi_4^{k+1}-\rho^{k+1}}{\chi_4-\rho}\right),$

$\int_{\chi_{1} }^{\varrho}\int_{\chi_{3} }^{\rho}u^m\times v^k{\; _{\chi_{1}}}d_{{q}_{1}}u\; {_{\chi_{3}}}d_{{q}_{2}}v = \left[\frac{1-q_1}{1-q_1^{m+1}}\right] \left[\frac{1-q_2}{1-q_2^{k+1}}\right]\left(\frac{\varrho^{m+1}-\chi_1^{m+1}}{\varrho-\chi_1}\right)\left(\frac{\rho^{k+1}-\chi_3^{k+1}}{\rho-\chi_3}\right),$

$\int_{\chi_{1} }^{\varrho}\int_{\rho }^{\chi_4}u^m\times v^k{\; _{\chi_{1}}}d_{{q}_{1}}u{\; ^{\chi_{4}}}d_{{q}_{2}}v = \left[\frac{1-q_1}{1-q_1^{m+1}}\right] \left[\frac{1-q_2}{1-q_2^{k+1}}\right]\left(\frac{\varrho^{m+1}-\chi_1^{m+1}}{\varrho-\chi_1}\right)\left(\frac{\chi_4^{k+1}-\rho^{k+1} }{\chi_4-\rho}\right),$

$\int_{\varrho}^{\chi_2}\int_{\chi_{3} }^{\rho}u^m\times v^k{\; ^{\chi_{2}}}d_{{q}_{1}}u{\; _{\chi_{3}}}d_{{q}_{2}}v = \left[\frac{1-q_1}{1-q_1^{m+1}}\right] \left[\frac{1-q_2}{1-q_2^{k+1}}\right]\left(\frac{\chi_2^{m+1}-\varrho^{m+1}}{\chi_2-\varrho}\right) \left(\frac{\rho^{k+1}-\chi_3^{k+1}}{\rho-\chi_3}\right)$

and

$\int_{\varrho}^{\chi_2}\int_{\rho }^{\chi_4}u^m\times v^k{\; ^{\chi_{2}}}d_{{q}_{1}}u{\; ^{\chi_{4}}}d_{{q}_{2}}v = \left[\frac{1-q_1}{1-q_1^{m+1}}\right] \left[\frac{1-q_2}{1-q_2^{k+1}}\right]\left(\frac{\chi_2^{m+1}-\varrho^{m+1}}{\chi_2-\varrho}\right) \left(\frac{\chi_4^{k+1}-\rho^{k+1}}{\chi_4-\rho}\right).$

It follows from part I of Corollary 1 that

$\begin{eqnarray} &&\Big\vert \mathcal{K}\left( \varrho, \rho\right) -\frac{\rho^k}{(\chi_{2} -\chi_{1}) }\left[\frac{1-q_1}{1-q_1^{m+1}}\right]\left[ \left(\frac{\varrho^{m+1}-\chi_1^{m+1}}{\varrho-\chi_1}\right)+\left(\frac{\chi_2^{m+1}-\varrho^{m+1}}{\chi_2-\varrho}\right)\right] \\&&-\frac{\varrho^k}{(\chi_{4} -\chi_{3}) }\left[\frac{1-q_2}{1-q_2^{k+1}}\right]\left[\left(\frac{\rho^{k+1}-\chi_3^{k+1}}{\ \rho-\chi_3}\right)+\left(\frac{\chi_4^{k+1}-\rho^{k+1}}{\chi_4-\rho}\right)\right]+\mathcal{Z} \Big\vert \\ \\ &&\leq\frac{ \Delta\mathcal{M}\sqrt[\tau_2]{\left(\mathcal{C}_{q_{1}}+\mathcal{D}_{q_{1}}\right) (\mathcal{C}_{q_{2}}+\mathcal{D}_{q_{2}})}\left[ \left( \varrho-\chi_{1} \right) ^{2}+\left( \chi_{2} -\varrho\right) ^{2}\right] \left[ \left( \rho-\chi_{3} \right) ^{2}+\left( \chi_{4} -\rho\right) ^{2}\right]}{\sqrt[\tau_1]{[1+\tau_1]_{q_1}[1+\tau_1]_{q_2}}} , \end{eqnarray}$

where

$\begin{align*} &&\mathcal{Z} = \frac{1}{(\chi_2-\chi_1)(\chi_4-\chi_3)}\left[\frac{1-q_1}{1-q_1^{m+1}}\right] \left[\frac{1-q_2}{1-q_2^{k+1}}\right]\Bigg[\left(\frac{\varrho^{m+1}-\chi_1^{m+1}}{\varrho-\chi_1}\right) \left(\frac{\rho^{k+1}-\chi_3^{k+1}}{\rho-\chi_3}\right)\\&&+\left(\frac{\varrho^{m+1}-\chi_1^{m+1}} {\varrho-\chi_1}\right)\left(\frac{\chi_4^{k+1}-\rho^{k+1} }{\chi_4-\rho}\right)+\left(\frac{\chi_2^{m+1}-\varrho^{m+1}}{\chi_2-\varrho}\right) \left(\frac{\rho^{k+1}-\chi_3^{k+1}}{\rho-\chi_3}\right)\\ &&+\left(\frac{\chi_2^{m+1}-\varrho^{m+1}}{\chi_2-\varrho}\right)\left(\frac{\chi_4^{k+1}-\rho^{k+1}}{\chi_4-\rho}\right)\Bigg], \end{align*}$

Remark 6. Applying the same idea as in Proposition 2 and using Theorems 3.1, 3.2 and their corresponding corollaries, and choosing suitable functions, for example $\mathcal{K}(\varrho, \rho) = \varrho^m\times\rho^{k}, \, m, k > 1$ and $\varrho, \rho > 0; \; \mathcal{K}(\varrho, \rho) = \frac{1}{\varrho\rho}, \, \varrho, \rho > 0; \; \mathcal{K}(\varrho, \rho) = e^{\varrho+\rho}, \, \varrho, \rho\in \mathbb{R},$ and so on, we can obtain other new interesting inequalities for special means. We omit their proofs and the details are left to the interested readers.

5. Conclusions

In this paper, we have defined several new partial post quantum derivatives and integrals for the functions with two variables, provided some new generalizations in the frame of a new class of convex functions named $n$ -polynomial $s$ -type convex functions, found a new version $(p_1p_2, q_1q_2)$ -Ostrowski type inequality via the class of $n$ -polynomial $s$ -type convex functions on co-ordinates, established a twice partial integral identitity involving $(p_1p_2, q_1q_2)$ -differentiable functions, and generalized the Ostrowski type inequality. Our results are the generalizations of many previous known results, and our ideas and approach may lead to a lot of follow-up research.

Acknowledgments

The authors would like to thank the anonymous referees for their valuable comments and suggestions, which led to considerable improvement of the article.

This work was supported by the National Natural Science Foundation of China (Grant Nos. 11971142, 61673169, 11701176, 11871202).

Conflict of interest

The authors declare that they have no competing interests.

References

[1]	M. Nagahara, D. E. Quevedo, D. Nesic, Maximum hands-off control: a paradigm of control effort minimization, IEEE Trans. Autom. Control, 61 (2016), 735–747. https://doi.org/10.1109/TAC.2015.2452831 doi: 10.1109/TAC.2015.2452831
[2]	J. Huang, Y. Shi, Guaranteed cost control for multi-sensor networkedcontrol systems using historical data, in 2012 American Control Conference (ACC), (2012), 4927–4932. https://doi.org/10.1109/ACC.2012.6315279
[3]	D. L. Donoho, Compressed sensing, IEEE Trans. Inf. Theory, 52 (2006), 1289–1306. https://doi.org/10.1109/TIT.2006.871582 doi: 10.1109/TIT.2006.871582
[4]	J. Wu, F. Liu, L. C. Jiao, X. Wang, Compressive sensing SAR image reconstruction based on Bayesian framework and evolutionary computation, IEEE Trans. Image Process., 20 (2011), 1904–1911. https://doi.org/10.1109/TIP.2010.2104159 doi: 10.1109/TIP.2010.2104159
[5]	L. Wang, Q. Wang, J. Wang, X. Zhang, Fast band-limited sparse signal reconstruction algorithms for big data processing, IEEE Sens. J., 23 (2023), 13084–13099. https://doi.org/10.1109/JSEN.2023.3268295 doi: 10.1109/JSEN.2023.3268295
[6]	Y. Shi, Y. Gao, S. Liao, D. Zhang, Y. Gao, D. Shen, A learning based CT prostate segmentation method via joint transductive feature selection and regression, Neurocomputing, 173 (2016), 317–331. https://doi.org/10.1016/j.neucom.2014.11.098 doi: 10.1016/j.neucom.2014.11.098
[7]	S. Weng, Editorial: spectroscopy, imaging and machine learning for crop stress, Front. Plant Sci., 14 (2023). https://doi.org/10.3389/fpls.2023.1240738 doi: 10.3389/fpls.2023.1240738
[8]	S. Wang, H. Chen, W. Kong, X. Wu, Y. Qian, K. Wei, A modified FGL sparse canonical correlation analysis for the identification of Alzheimer's disease biomarkers, Electron. Res. Arch., 31 (2023), 882–903. https://doi.org/10.3934/era.2023044 doi: 10.3934/era.2023044
[9]	F. Xu, Z. Lu, Z. Xu, An efficient optimization approach for a cardinality-constrained index tracking problem, Optim. Methods Software, 31 (2016), 258–271. https://doi.org/10.1080/10556788.2015.1062891 doi: 10.1080/10556788.2015.1062891
[10]	S. Bahmani, P. T. Boufounos, B. Raj, Learning model-based sparsity via projected gradient descent, IEEE Trans. Inf. Theory, 62 (2016), 2092–2099. https://doi.org/10.1109/TIT.2016.2515078 doi: 10.1109/TIT.2016.2515078
[11]	S. N. Negahban, P. Ravikumar, M. J. Wainwright, B. Yu, A unified framework for high-dimensional analysis of M-estimators with decomposable regularizers, Stat. Sci., 27 (2012), 538–557. https://doi.org/10.1214/12-STS400 doi: 10.1214/12-STS400
[12]	E. J. Candes, T. Tao, Decoding by linear programming, IEEE Trans. Inf. Theory, 51 (2005), 4203-4215. https://doi.org/10.1109/TIT.2005.858979 doi: 10.1109/TIT.2005.858979
[13]	S. Foucart, M. J. Lai, Sparsest solutions of underdetermined linear systems via $l_{q}$ minimization for $0 \le q \le 1$ , Appl. Comput. Harmon. Anal., 26 (2009), 395–407. https://doi.org/10.1016/j.acha.2008.09.001 doi: 10.1016/j.acha.2008.09.001
[14]	R. Chartrand, V. Staneva, Restricted isometry properties and nonconvex compressive sensing, Inverse Probl., 24 (2008), 035020. https://doi.org/10.1088/0266-5611/24/3/035020 doi: 10.1088/0266-5611/24/3/035020
[15]	G. Gasso, A. Rakotomamonjy, S. Canu, Recovering sparse signals with a certain family of nonconvex penalties and DC programming, IEEE Trans. Signal Process., 57 (2009), 4686–4698. https://doi.org/10.1109/TSP.2009.2026004 doi: 10.1109/TSP.2009.2026004
[16]	H. A. L. Thi, H. M. Le, P. D. Tao, Feature selection in machine learning: an exact penalty approach using a difference of convex function algorithm, Mach. Learn., 101 (2015), 163–186. https://doi.org/10.1007/s10994-014-5455-y doi: 10.1007/s10994-014-5455-y
[17]	W. Peng, T. Gu, Y. Zhuang, Z. He, C. Han, Pattern synthesis with minimum mainlobe width via sparse optimization, Digital Signal Process., 128 (2022), 103632. https://doi.org/10.1016/j.dsp.2022.103632 doi: 10.1016/j.dsp.2022.103632
[18]	J. Liang, X. Zhu, C. Yue, Z. Li, B. Qu, Performance analysis on knee point selection methods for multi-objective sparse optimization problems, in 2018 IEEE Congress on Evolutionary Computation (CEC), (2018), 1–8. https://doi.org/10.1109/CEC.2018.8477915
[19]	X. Xiu, Z. Miao, W. Liu, A sparsity-aware fault diagnosis framework focusing on accurate isolation, IEEE Trans. Ind. Inf., 19 (2022), 1356–1365. https://doi.org/10.1109/TII.2022.3180070 doi: 10.1109/TII.2022.3180070
[20]	C. V. Rao, Sparsity of linear discrete-Time optimal control problems with $L^{1}$ objectives, IEEE Trans. Autom. Control, 63 (2017), 513–517. https://doi.org/10.1109/TAC.2017.2732286 doi: 10.1109/TAC.2017.2732286
[21]	M. Babazadeh, Regularization for optimal sparse control structures: a primal-dual framework, in 2021 American Control Conference (ACC), (2021), 3850–3855. https://doi.org/10.23919/ACC50511.2021.9482729
[22]	P. Benner, H. $Faßbender$ , On the numerical solution of large-scale sparse discrete-time Riccati equations, Adv. Comput. Math., 35 (2011), 119–147. https://doi.org/10.1007/s10444-011-9174-7 doi: 10.1007/s10444-011-9174-7
[23]	F. S. Aktacs, O. Ekmekcioglu, M. C. Pinar, Provably optimal sparse solutions to overdetermined linear systems with non-negativity constraints in a least-squares sense by implicit enumeration, Optim. Eng., 22 (2021), 2505–2535. https://doi.org/10.1007/s11081-021-09676-2 doi: 10.1007/s11081-021-09676-2
[24]	B. Polyak, A. Tremba, Sparse solutions of optimal control via Newton method for under-determined systems, J. Global Optim., 76 (2020), 613–623. https://doi.org/10.1007/s10898-019-00784-z doi: 10.1007/s10898-019-00784-z
[25]	D. Kalise, K. Kunisch, Z. Rao, Infinite horizon sparse optimal control, J. Optim. Theory Appl., 172 (2017), 481–517. https://doi.org/10.1007/s10957-016-1016-9 doi: 10.1007/s10957-016-1016-9
[26]	P. Budhraja, A. S. A. Dilip, Maximum hands-off control for a class of nonlinear systems, in 2021 29th Mediterranean Conference on Control and Automation (MED), (2021), 1003–1006. https://doi.org/10.1109/MED51440.2021.9480171
[27]	W. Ji, Optimal control problems with time inconsistency, Electron. Res. Arch., 31 (2023), 492–508. https://doi.org/10.3934/era.2023024 doi: 10.3934/era.2023024
[28]	P. Yu, S. Tan, J. Guo, Y. Song, Data-driven optimal controller design for sub-satellite deployment of tethered satellite system, Electron. Res. Arch., 32 (2024), 505–522. https://doi.org/10.3934/era.2024025 doi: 10.3934/era.2024025
[29]	K. L. Teo, B. Li, C. Yu, V. Rehbock, Applied and Computational Optimal Control: A Control Parametrization Approach, Springer: Optimization and Its Applications, 2021. https://doi.org/10.1007/978-3-030-69913-0
[30]	S. Su, M. Shao, C. Yu, K. L. Teo, On the correlation of local collocation and control parameterization methods, J. Ind. Manage. Optim., 2024. https://doi.org/10.3934/jimo.2024004 doi: 10.3934/jimo.2024004
[31]	Q. Lin, R. Loxton, K. L. Teo, The control parameterization method for nonlinear optimal control: a survey, J. Ind. Manage. Optim., 10 (2014), 275–309. https://doi.org/10.3934/jimo.2014.10.275 doi: 10.3934/jimo.2014.10.275
[32]	C. Xu, H. Li, Two-grid methods of finite element approximation for parabolic integro-differential optimal control problems, Electron. Res. Arch., 31 (2023), 4818–4842. https://doi.org/10.3934/era.2023247 doi: 10.3934/era.2023247
[33]	Y. Yuan, C. Liu, Optimal control for the coupled chemotaxis-fluid models in two space dimensions, Electron. Res. Arch., 29 (2021), 4269–4296. https://doi.org/10.3934/era.2021085 doi: 10.3934/era.2021085
[34]	Z. Z. Tao, B. Sun, A feedback design for numerical solution to optimal control problems based on Hamilton-Jacobi-Bellman equation, Electron. Res. Arch., 29 (2021), 3429–3447. https://doi.org/10.3934/era.2021046 doi: 10.3934/era.2021046
[35]	X. Pang, H. Song, X. Wang, J. Zhang, Efficient numerical methods for elliptic optimal control problems with random coefficient, Electron. Res. Arch., 28 (2020), 1001–1022. https://doi.org/10.3934/era.2020053 doi: 10.3934/era.2020053
[36]	H. W. J. Lee, K. L. Teo, X. Q. Cai, An optimal control approach to nonlinear mixed integer programming problems, Comput. Math. Appl., 36 (1998), 87–105. https://doi.org/10.1016/S0898-1221(98)00131-X doi: 10.1016/S0898-1221(98)00131-X
[37]	A. Siburian, V. Rehbock, Numerical procedure for solving a class of singular optimal control problems, Optim. Methods Software, 19 (2004), 413–426. https://doi.org/10.1080/10556780310001656637 doi: 10.1080/10556780310001656637
[38]	G. Vossen, Switching time optimization for bang-bang and singular controls, J. Optim. Theory Appl., 144 (2010), 409–429. https://doi.org/10.1007/s10957-009-9594-4 doi: 10.1007/s10957-009-9594-4
[39]	X. Zhu, C. Yu, K. L. Teo, Sequential adaptive switching time optimization technique for optimal control problems, Automatica, 146 (2022), 110565. https://doi.org/10.1016/j.automatica.2022.110565 doi: 10.1016/j.automatica.2022.110565
[40]	C. Liu, R. Loxton, K. L. Teo, S. Wang, Optimal state-delay control in nonlinear dynamic systems, Automatica, 135 (2022), 109981. https://doi.org/10.1016/j.automatica.2021.109981 doi: 10.1016/j.automatica.2021.109981
[41]	C. Liu, Z. Gong, C. Yu, S. Wang, K. L. Teo, Optimal control computation for nonlinear fractional time-delay systems with state inequality constraints, J. Optim. Theory Appl., 191 (2021), 83–117. https://doi.org/10.1007/s10957-021-01926-8 doi: 10.1007/s10957-021-01926-8
[42]	C. Liu, C. Yu, Z. Gong, H. T. Cheong, K. L. Teo, Numerical computation of optimal control problems with Atangana CBaleanu fractional derivatives, J. Optim. Theory Appl., 197 (2023), 798–816. https://doi.org/10.1007/s10957-023-02212-5 doi: 10.1007/s10957-023-02212-5
[43]	C. Yu, K. H. Wong, An enhanced control parameterization technique with variable switching times for constrained optimal control problems with control-dependent time-delayed arguments and discrete time-delayed arguments, J. Comput. Appl. Math., 427 (2023), 115106. https://doi.org/10.1016/j.cam.2023.115106 doi: 10.1016/j.cam.2023.115106
[44]	D. Wu, Y. Chen, C. Yu, Y. Bai, K. L. Teo, Control parameterization approach to time-delay optimal control problems: a survey, J. Ind. Manage. Optim., 19 (2023), 3750–3783. https://doi.org/10.3934/jimo.2022108 doi: 10.3934/jimo.2022108
[45]	D. Wu, Y. Bai, F. Xie, Time-scaling transformation for optimal control problem with time-varying delay, Discrete Contin. Dyn. Syst. - Ser. S, 13 (2020), 1683–1695. https://doi.org/10.3934/dcdss.2020098 doi: 10.3934/dcdss.2020098
[46]	P. Liu, X. Li, X. Liu, Y. Hu, An improved smoothing technique-based control vector parameterization method for optimal control problems with inequality path constraints, Optim. Control. Appl. Methods, 38 (2017), 586–600. https://doi.org/10.1002/oca.2273 doi: 10.1002/oca.2273

This article has been cited by:

1.	Muhammad Uzair Awan, Sadia Talib, Muhammad Aslam Noor, Yu-Ming Chu, Khalida Inayat Noor, On post quantum estimates of upper bounds involving twice $(p,q)$ -differentiable preinvex function, 2020, 2020, 1029-242X, 10.1186/s13660-020-02496-5
2.	Shu-Bo Chen, Saima Rashid, Muhammad Aslam Noor, Zakia Hammouch, Yu-Ming Chu, New fractional approaches for n-polynomial P-convexity with applications in special function theory, 2020, 2020, 1687-1847, 10.1186/s13662-020-03000-5
3.	Yu-Ming Chu, Muhammad Uzair Awan, Sadia Talib, Muhammad Aslam Noor, Khalida Inayat Noor, New post quantum analogues of Ostrowski-type inequalities using new definitions of left–right $(p,q)$ -derivatives and definite integrals, 2020, 2020, 1687-1847, 10.1186/s13662-020-03094-x
4.	Saad Ihsan Butt, Muhammad Umar, Saima Rashid, Ahmet Ocak Akdemir, Yu-Ming Chu, New Hermite–Jensen–Mercer-type inequalities via k-fractional integrals, 2020, 2020, 1687-1847, 10.1186/s13662-020-03093-y
5.	Hua Wang, Humaira Kalsoom, Hüseyin Budak, Muhammad Idrees, Ahmet Ocak Akdemir, q -Hermite–Hadamard Inequalities for Generalized Exponentially s , m ; η -Preinvex Functions, 2021, 2021, 2314-4785, 1, 10.1155/2021/5577340
6.	Humaira Kalsoom, Muhammad Aamir Ali, Muhammad Idrees, Praveen Agarwal, Muhammad Arif, Adrian Neagu, New Post Quantum Analogues of Hermite–Hadamard Type Inequalities for Interval-Valued Convex Functions, 2021, 2021, 1563-5147, 1, 10.1155/2021/5529650
7.	Humaira Kalsoom, Miguel Vivas-Cortez, Muhammad Idrees, Praveen Agarwal, New Parameterized Inequalities for η-Quasiconvex Functions via (p, q)-Calculus, 2021, 23, 1099-4300, 1523, 10.3390/e23111523
8.	Saad Ihsan Butt, Hüseyin Budak, Muhammad Tariq, Muhammad Nadeem, Integral inequalities for n ‐polynomial s ‐type preinvex functions with applications , 2021, 44, 0170-4214, 11006, 10.1002/mma.7465
9.	Humaira Kalsoom, Miguel Vivas-Cortez, Muhammad Amer Latif, Trapezoidal-Type Inequalities for Strongly Convex and Quasi-Convex Functions via Post-Quantum Calculus, 2021, 23, 1099-4300, 1238, 10.3390/e23101238
10.	YONGFANG QI, GUOPING LI, FRACTIONAL OSTROWSKI TYPE INEQUALITIES FOR (s,m)-CONVEX FUNCTION WITH APPLICATIONS, 2023, 31, 0218-348X, 10.1142/S0218348X23501281

Reader Comments

Your name:*

Email:*
© 2024 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)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Electronic Research Archive

1.1 1.7

Metrics

Article views(1527) PDF downloads(105) Cited by(0)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Electronic Research Archive

Sequential adaptive switching time optimization technique for maximum hands-off control problems

Related Papers:

Abstract

1. Introduction and preliminaries

2. A key lemma

3. $(p_1p_2, q_1q_2)$ -Ostrowski type inequalities for function with two variables

4. Application to special means

5. Conclusions

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Catalog

Abstract

1. Introduction and preliminaries

2. A key lemma

3. $(p_1p_2, q_1q_2)$ -Ostrowski type inequalities for function with two variables

4. Application to special means

5. Conclusions

Acknowledgments

Conflict of interest

References

Electronic Research Archive

Sequential adaptive switching time optimization technique for maximum hands-off control problems

Related Papers:

Abstract

1. Introduction and preliminaries

2. A key lemma

3. (p1p2,q1q2) (p_1p_2, q_1q_2) -Ostrowski type inequalities for function with two variables

4. Application to special means

5. Conclusions

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Abstract

1. Introduction and preliminaries

2. A key lemma

3. (p1p2,q1q2) (p_1p_2, q_1q_2) -Ostrowski type inequalities for function with two variables

4. Application to special means

5. Conclusions

Acknowledgments

Conflict of interest

References

3. $(p_1p_2, q_1q_2)$ -Ostrowski type inequalities for function with two variables

3. $(p_1p_2, q_1q_2)$ -Ostrowski type inequalities for function with two variables