Next Article in Journal
Asymmetric Interface: User Interface of Asymmetric Virtual Reality for New Presence and Experience
Previous Article in Journal
Simulation-Based Positioning of Circular Economy Manager’s Skills in Construction Projects
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Two-Variable Quantum Integral Inequalities of Simpson-Type Based on Higher-Order Generalized Strongly Preinvex and Quasi-Preinvex Functions

1
School of Mathematical Sciences, Zhejiang University, Hangzhou 310027, China
2
Department of Mathematics, Government College University, Faisalabad 38000, Pakistan
3
Zhejiang Province Key Laboratory of Quantum Technology and Device, Department of Physics, Zhejiang University, Hangzhou 310027, China
4
Department of Mathematics, Huzhou University, Huzhou 313000, China
5
Department of Mathematics, Cankaya University, 06530 Ankara, Turkey
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(1), 51; https://doi.org/10.3390/sym12010051
Submission received: 4 December 2019 / Accepted: 20 December 2019 / Published: 26 December 2019

Abstract

:
In this paper, we present a new definition of higher-order generalized strongly preinvex functions. Moreover, it is observed that the new class of higher-order generalized strongly preinvex functions characterize various new classes as special cases. We acquire a new q 1 q 2 -integral identity, then employing this identity, we establish several two-variable q 1 q 2 -integral inequalities of Simpson-type within a class of higher-order generalized strongly preinvex and quasi-preinvex functions. Finally, the utilities of our numerical approximations have concrete applications.

1. Introduction

Quantum calculus or q-calculus is regularly known as “calculus with no limits”, and was first expounded by Jackson in the early the twentieth century, although the historical backdrop of quantum calculus can be traced back to some much earlier work done by Euler and Jacobi et al. (see [1]). Numerous problems require utilizing quantum analytics which incorporates both q-derivatives and q-integrals. Over the ongoing decade, the examination of q-calculus has captivated in light of a legitimate concern from some analylsts, since it has been found to have plenty of utilities in mathematics and physics. The precept goal of q-calculus is that it acts as a bridge between mathematics and physics, and it is a significant tool for researchers working in analytic number theory, special functions, quantum mechanics or mathematical inequalities. In q-calculus, we obtain the q-analogues of mathematical objects which can be recaptured as q 1 . q-calculus has potential applications in pure and applied mathematics. In pure mathematics, q-calculus has been implemented in mathematical inequalities to unify q-derivative and q-integral versions of inequalities. For certain examinations on q-calculus see [2,3,4,5,6,7,8].
The concept of convexity has been extended in several directions, since these generalized versions have significant applications in different fields of pure and applied sciences. One of the convincing examples on extensions of convexity is the introduction of invex function, which was introduced by Hanson [9]. Weir et al. [10] proposed the idea of preinvex functions and implemented it to the establishment of sufficient optimality conditions and duality in nonlinear programming. Mohan et al. [11] introduced the well-known condition C.
Due to recent advancements in convexity, Polyak [12], introduced the generalization of convex functions, the so-called strongly convex functions. It is play a crucial role in optimization theory and other fields. For example, Karmardian [13] employed strongly convex functions to discuss the unique existence of a solution of the nonlinear complementarity problems. Strongly convex functions also have significant contribution in the convergence analysis of the iterative methods for solving variational inequalities and equilibrium problems; see Zu and Marcotte [14]. Nikodem and Pales [15] investigated the characterization of the inner product spaces using strongly convex functions, which can be viewed as a novel and innovative application. Qu and Li [16] investigated the exponential stability of primal-dual gradient dynamics using the concept of strongly convex functions. Rashid et al. [17] have derived Hermite–Hadamard type inequalities for various classes of strongly convex functions, which provide upper and lower estimates for the integrand. For moreapplications in the real world and antimatroids, see References [18,19,20,21,22,23,24,25,26,27] and the references therein.
The classical Simpson inequality is described as follows: The function Ψ : [ ξ 1 , ξ 2 ] R is a four times continuously differentiable, and | | Ψ ( 4 ) | | = sup z ξ 1 , ξ 2 Ψ 4 z < . Then, one has following inequality:
1 3 Ψ ( ξ 1 ) + Ψ ( ξ 2 ) 2 + 2 Ψ ξ 1 + ξ 2 2 1 ξ 2 ξ 1 ξ 1 ξ 2 Ψ ( z ) d z ξ 2 ξ 1 4 2880 Ψ ( 4 ) .
For more details on inequalities, we refer the interested reader to [28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45] and the references cited therein.
The main idea of this research is to introduce several q-integral inequalities of Simpson-type within a class of higher-order generalized strongly preinvex functions on co-ordinates. The quantum integral Simpson type inequality for convex function on co-ordinates is presented by Humaira et al. in [25] and is described as follows
Lemma 1.
If a function Ψ : Λ R 2 R is a mixed partial q 1 q 2 -differentiable function over Λ o (the interior of Λ) with ξ 1 , ξ 3 q 1 , q 2 2 h ( z , w ) ξ 1 q 1 z ξ 3 q 2 w being continuous and integrable on [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] Λ o with 0 < q k < 1 and 1 k 2 , then the one has equality:
Ψ ξ 1 , ξ 3 + ξ 4 2 + Ψ ξ 2 , ξ 3 + ξ 4 2 + 4 Ψ ξ 1 + ξ 2 2 , ξ 3 + ξ 4 2 + Ψ ξ 1 + ξ 2 2 , ξ 3 + Ψ ξ 1 + ξ 2 2 , ξ 4 9 + Ψ ( ξ 1 , ξ 3 ) + Ψ ( ξ 2 , ξ 3 ) + Ψ ( ξ 1 , ξ 4 ) + Ψ ( ξ 2 , ξ 4 ) 36 1 6 ( ξ 2 ξ 1 ) ξ 1 ξ 2 Ψ ( x , ξ 3 ) + 4 Ψ x , ξ 3 + ξ 4 2 + Ψ ( x , ξ 4 ) 0 d q 1 x 1 6 ( ξ 4 ξ 3 ) ξ 3 ξ 4 Ψ ( ξ 1 , y ) + 4 Ψ ξ 1 + ξ 2 2 , y + Ψ ( ξ 2 , y ) 0 d q 2 y + 1 ( ξ 2 ξ 1 ) ( ξ 4 ξ 3 ) ξ 1 ξ 2 ξ 3 ξ 4 Ψ ( x , y ) 0 d q 2 y 0 d q 1 x
= ( ξ 2 ξ 1 ) ( ξ 4 ξ 3 ) 0 1 0 1 P ( z , q 1 ) T ( w , q 2 ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ( 1 z ) ξ 1 + z ξ 2 , ( 1 w ) ξ 3 + w ξ 4 ) ξ 1 q 1 z ξ 3 q 2 w 0 d q 1 z 0 d q 2 w ,
where
P ( z , q 1 ) = q 1 z 1 6 , z 0 , 1 2 , q 1 z 5 6 , z [ 1 2 , 1 ) ,
and
T ( w , q 2 ) = q 2 w 1 6 , w [ 0 , 1 2 ) , q 2 w 5 6 , w [ 1 2 , 1 ) .
In this study, a new concept of higher-order generalized strongly preinvex and quasi-preinvex functions are introduced in this paper. These new concepts take into account the q-calculus. These novelties are a combination of an auxiliary result based on identity which correlates with the q 1 q 2 -integral. New results are presented and new theorems are established. In addition to this the numerical approximations for the new Definitions 6 and 7 in q-calculus are presented. The newly introduced numerical approximation is used to solve problems in fluid mechanics, aerodynamics, and antimatrioids. The new definition could open new doors of investigation toward preinvexity and q-calculus.

2. Formulations and Basic Facts

Let us recall the formulations and basic facts which are firmly concerned to this paper.
Mititelu [30] defined the notion of invex sets as follows:
Definition 1
([30]). If Ω η R n and η ( . , . ) : R n × R n R n be a continuous bifunction, then Ω η R n is said to be invex set
ξ 1 + τ η ( ξ 2 , ξ 1 ) Ω η , ξ 1 , ξ 2 Ω η , τ [ 0 , 1 ] .
The invex set Ω η is also known as the η -connected set. Note that, if η ( ξ 1 , ξ 2 ) = ξ 2 ξ 1 , this means that every convex set is an invex set, but the converse is not true.
The concept of preinvex functions was introduced by Weir and Mond [10] as follows:
Definition 2
([10]). A function Ψ : Ω η R n R is said to be preinvex if
Ψ ξ 1 + τ η ( ξ 2 , ξ 1 ) ( 1 τ ) Ψ ( ξ 1 ) + τ Ψ ( ξ 2 )
for all ξ 1 , ξ 2 Ω η , τ [ 0 , 1 ] .
For current research on preinvex functions, concerned readers are referred to [4,8,9,10,11,30,46].
The notion of strongly preinvex functions was introduced by Noor et al. [47].
Definition 3.
A function Ψ : Ω η R n R is said to be a strongly preinvex for modulus μ > 0 if
Ψ ξ 1 + τ η ( ξ 2 , ξ 1 ) ( 1 τ ) Ψ ( ξ 1 ) + τ Ψ ( y ) μ τ ( 1 τ ) η ( ξ 2 , ξ 1 ) 2
for all ξ 1 , ξ 2 Ω η , τ [ 0 , 1 ] .
Here, we introduce a new definition which combines the preinvex functions and the strongly preinvex functions given above.
Definition 4.
A function Ψ : Ω η R n R is said to be a higher-order generalized strongly preinvex for modulus μ 0 with order θ > 0 if
Ψ ξ 1 + τ η ( ξ 2 , ξ 1 ) ( 1 τ ) Ψ ( ξ 1 ) + τ Ψ ( y ) μ τ ( 1 τ ) η ( ξ 2 , ξ 1 ) θ
for all ξ 1 , ξ 2 Ω η , τ [ 0 , 1 ] .
We now discuss some special cases.
(I) Choosing μ = 0 , then the class of generalized strongly preinvex functions reduces to the class of preinvex functions as defined in Definition 2.
(II) Choosing θ = 2 , then the generalized higher-order strongly preinvex function becomes generalized strongly preinvex functions, that is,
Definition 5.
A function Ψ : Ω η R n R is said to be a generalized strongly preinvex for modulus μ 0 if
Ψ ξ 1 + τ η ( ξ 2 , ξ 1 ) ( 1 τ ) Ψ ( ξ 1 ) + τ Ψ ( y ) μ τ ( 1 τ ) η ( ξ 2 , ξ 1 ) 2
for all ξ 1 , ξ 2 Ω η , τ [ 0 , 1 ] .
(III) Choosing η ( ξ 2 , ξ 1 ) = ξ 2 ξ 1 , then we obtain the higher-order generalized strongly convex function
Definition 6.
A function Ψ : Ω η R n R is said to be a higher-order generalized strongly convex for modulus μ 0 with order θ > 0 if
Ψ ( 1 τ ) ξ 1 + τ ξ 2 ( 1 τ ) Ψ ( ξ 1 ) + τ Ψ ( y ) μ τ ( 1 τ ) ξ 2 ξ 1 θ
for all ξ 1 , ξ 2 Ω η , τ [ 0 , 1 ] .
Definition 7.
A function Ψ : Ω η R n R is said to be a higher-order generalized strongly quasi-preinvex for modulus μ 0 with order θ > 0 if
Ψ ξ 1 + τ η ( ξ 2 , ξ 1 ) max ( Ψ ( ξ 1 ) , Ψ ( ξ 2 ) ) μ τ ( 1 τ ) η ( ξ 2 , ξ 1 ) θ
for all ξ 1 , ξ 2 Ω η , τ [ 0 , 1 ] .
For appropriate and suitable choice of the bifunction η ( ξ 2 , ξ 1 ) , θ and μ one can obtain various new and known classes of higher-order generalized strongly preinvex and quasi-preinvex functions. This shows that the higher-order generalized strongly preinvex and quasi-preinvex functions involving the bifunction η ( ξ 2 , ξ 1 ) is quite a general and unifying one. One can explore the applications of higher-order generalized strongly preinvex and quasi-preinvex function; however, this is another direction for further research.
Recall some basic definitions and properties on q-analogue for single and double variables. Let V = [ ξ 1 , ξ 2 ] R with constant 0 < q < 1 and let U = [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] R 2 with constants 0 < q k < 1 , 1 k 2 .
Tariboon et al. [2,3] introduced the formula of q-derivative, q-integral and related properties for one variable function, as follows:
Definition 8.
Assume that a mapping Ψ : V R is continuous and s V . Then one has q-derivative of Ψ on V at s is defined as
ξ 1 D q Ψ ( s ) = Ψ ( s ) Ψ ( q s + ( 1 q ) ξ 1 ) ( 1 q ) ( s ξ 1 ) , s ξ 1 .
It is obvious that
lim s ξ 1 ξ 1 D q Ψ ( s ) = ξ 1 D q Ψ ( ξ 1 ) .
we say that Ψ is said to be q-differentiable over V , moreover ξ 1 D q Ψ ( s ) exists s V .
Note that if ξ 1 = 0 in (3), then 0 D q Ψ = D q Ψ, where D q Ψ is a well-defined q-derivative of Ψ ( s ) , that is explained as
D q Ψ ( s ) = Ψ ( s ) Ψ ( q s ) ( 1 q ) ( s ) .
Definition 9.
Suppose that a continuous mapping is Ψ : V R is q-differentiable and is denoted by ξ 1 D q 2 Ψ , if
ξ 1 D q 2 Ψ = ξ 1 D q ξ 1 D q Ψ .
Similarly, a higher-order q-differentiable is defined as ξ 1 D q n Ψ : V R .
Definition 10.
Assume that a mapping Ψ : V R is continuous. Then the q-integral on V is defined by
ξ 1 s Ψ ( z ) ξ 1 d q z = ( 1 q ) ( s ξ 1 ) n = 0 q n Ψ ( q n s + ( 1 q n ) ξ 1 )
for s V .
Moreover if ξ 1 = 0 into (4), then we get the following formula of the q-integral, which is denoted as
0 s Ψ ( z ) 0 d q z = ( 1 q ) s n = 0 q n Ψ ( q n s )
Theorem 1.
Assume that a mapping Ψ : V R is continuous, then the following properties hold:
( i ) ξ 1 D q ξ 1 s Ψ ( z ) ξ 1 d q z = Ψ ( s ) ; ( i i ) ξ 1 s ξ 1 D q Ψ ( z ) ξ 1 d q z = Ψ ( s ) ; ( i i i ) ξ 2 s ξ 1 D q Ψ ( z ) ξ 1 d q z = Ψ ( s ) Ψ ( ξ 2 ) , ξ 2 ( ξ 1 , s ) .
Theorem 2.
Assuming that a mapping Ψ : V R is continuous and a R , we have the following properties:
( i ) ξ 1 s Ψ 1 ( z ) + Ψ 2 ( z ) ξ 1 d q z = ξ 1 s Ψ 1 ( z ) ξ 1 d q z + ξ 1 s Ψ 2 ( z ) ξ 1 d q z ( i i ) ξ 1 s ( a Ψ 1 ( z ) ) ξ 1 d q z = a ξ 1 s Ψ 1 ( z ) ξ 1 d q z .
Humaira et al. [45] developed the theory of quantum integral inequalities for two-variables functions and introduced q 1 q 2 -Simpson-type form inequalities for two-variables functions over finite rectangles.
Definition 11.
Assume that a mapping of two variables Ψ : U R is continuous. Then partial q 1 -derivative, q 2 -derivative and q 1 q 2 -derivative at ( z , w ) [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] are, respectively, defined as:
ξ 1 q 1 Ψ ( z , w ) ξ 1 q 1 z = Ψ ( z , w ) Ψ ( q 1 z + ( 1 q 1 ) ξ 1 , w ) ( 1 q 1 ) ( z ξ 1 ) , z ξ 1 , ξ 3 q 2 Ψ ( z , w ) ξ 3 q 2 w = Ψ ( z , w ) Ψ ( z , q 2 w + ( 1 q 2 ) ξ 3 ) ( 1 q 2 ) ( w ξ 3 ) , w ξ 3 , ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( z , w ) ξ 1 q 1 z ξ 3 q 2 w = 1 ( 1 q 1 ) ( 1 q 2 ) ( z ξ 1 ) ( w ξ 3 ) × [ Ψ ( q 1 z + ( 1 q 1 ) ξ 1 , q 2 w + ( 1 q 2 ) ξ 3 ) Ψ ( q 1 z + ( 1 q 1 ) ξ 1 , w ) Ψ ( z , q 2 w + ( 1 q 2 ) ξ 3 ) + Ψ ( z , w ) ] , z ξ 1 , w ξ 3 .
The function Ψ : U R is called partially q 1 - q 2 - and q 1 q 2 -differentiable on [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] if ξ 1 q 1 Ψ ( z , w ) ξ 1 q 1 z , ξ 3 q 2 Ψ ( z , w ) ξ 3 q 2 w and ξ 1 , ξ 3 q 1 q 2 2 Ψ ( z , w ) ξ 1 q 1 z ξ 3 q 2 w exist for all ( z , w ) [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] .
Definition 12.
Assume that a mapping of two variables Ψ : U R is continuous. Then the definite q 1 q 2 -integral on [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] are described as
ξ 3 t ξ 1 s Ψ ( z , w ) ξ 1 d q 1 z ξ 3 d q 2 w = ( 1 q 1 ) ( 1 q 2 ) ( s ξ 1 ) ( t ξ 3 ) × m = 0 n = 0 q 1 n q 2 m Ψ q 1 n s + 1 q 1 n ξ 1 , q 2 m t + 1 q 2 m ξ 3
for ( s , t ) [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] .
Theorem 3.
Assume that a mapping of two variables Ψ : U R is continuous, then the following properties hold:
( i ) ξ 1 , ξ 3 q 1 , q 2 2 ξ 1 q 1 s ξ 3 q 2 t ξ 4 t ξ 1 s Ψ ( z , w ) ξ 1 d q 1 z ξ 3 d q 2 w = Ψ ( s , t ) ( i i ) ξ 3 t ξ 1 s ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( z , w ) ξ 1 q 1 z ξ 3 q 2 w ξ 1 d q 1 z ξ 3 d q 2 w = Ψ ( s , t )
( i i i ) t 1 t s 1 s ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( z , w ) ξ 1 q 1 z ξ 3 q 2 w ξ 1 d q 1 z ξ 3 d q 2 w = Ψ ( s , t ) Ψ ( s , t 1 ) Ψ ( s 1 , t ) + Ψ ( s 1 , t 1 ) , ( s 1 , t 1 ) ( ξ 1 , s ) × ( ξ 4 , t ) .
Theorem 4.
Assume that Ψ 1 , Ψ 2 : U R are continuous mappings of two variables. Then the following properties hold for ( s , t ) [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] ,
( i ) ξ 3 t ξ 1 s Ψ 1 ( z , w ) + Ψ 2 ( z , w ) ξ 1 d q 1 z ξ 4 d q 2 w = ξ 3 t ξ 1 s Ψ 1 ( z , w ) ξ 1 d q 1 z ξ 3 d q 2 w + ξ 3 t ξ 1 s Ψ 2 ( z , w ) ξ 1 d q 1 z ξ 3 d q 2 w . ( i i ) ξ 3 t ξ 1 s a Ψ ( z , w ) ξ 1 d q 1 z ξ 3 d q 2 w = a ξ 3 t ξ 1 s Ψ ( z , w ) ξ 1 d q 1 z ξ 3 d q 2 w .

3. Auxiliary Result

Lemma 2.
Assume that Ψ : Λ R 2 R is a mixed partial q 1 q 2 -differentiable function on Λ o (the interior of Λ) with ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ being continuous and integrable on [ ξ 1 , ξ 1 + η 1 ξ 2 , ξ 1 ] × [ ξ 3 , ξ 3 + η 2 ξ 4 , ξ 3 ] Λ o for η 1 ξ 2 , ξ 1 , η 2 ξ 4 , ξ 3 > 0 and q 1 , q 2 ( 0 , 1 ) , then one has the following equality:
Γ Ψ ( ξ 1 , ξ 2 , ξ 3 , ξ 4 ; q 1 , q 2 ) = 1 9 Ψ ξ 1 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + Ψ ξ 1 + η 1 ξ 2 , ξ 1 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + 4 Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , ξ 3 + Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , ξ 3 + η 2 ξ 4 , ξ 3 + 1 36 Ψ ( ξ 1 , ξ 3 ) + Ψ ( ξ 1 + η 1 ξ 2 , ξ 1 , ξ 3 ) + Ψ ( ξ 1 , ξ 3 + η 2 ξ 4 , ξ 3 ) + Ψ ( ξ 1 + η 1 ξ 2 , ξ 1 , ξ 3 + η 2 ξ 4 , ξ 3 ) 1 6 η 1 ( ξ 2 , ξ 1 ) ξ 1 ξ 1 + η 1 ξ 2 , ξ 1 Ψ ( x , ξ 3 ) + 4 Ψ x , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + Ψ ( x , ξ 3 + η 2 ξ 4 , ξ 3 ) 0 d q 1 x 1 6 η 2 ( ξ 4 , ξ 3 ) ξ 3 ξ 3 + η 2 ξ 4 , ξ 3 Ψ ( ξ 1 , y ) + 4 Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , y + Ψ ( ξ 1 + η 1 ξ 2 , ξ 1 , y ) 0 d q 2 y + 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) ξ 1 ξ 1 + η 1 ξ 2 , ξ 1 ξ 3 ξ 3 + η 2 ξ 4 , ξ 3 Ψ ( x , y ) 0 d q 2 y 0 d q 1 x = K 0 1 0 1 Π 1 ( ϱ , q 1 ) Π 2 ( ρ , q 2 ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η 1 ( ξ 2 , ξ 1 ) , ξ 3 + ρ η 2 ( ξ 4 , ξ 3 ) ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ ,
where
Π 1 ( ϱ , q 1 ) = q 1 ϱ 1 6 , i f 0 ϱ < 1 2 , q 1 ϱ 5 6 , i f 1 2 ϱ 1 ,
Π 2 ( ρ , q 2 ) = q 2 ρ 1 6 , i f 0 ρ < 1 2 , q 2 ρ 5 6 , i f 1 2 ρ 1 ,
and K = η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) .
Proof. 
Now, we consider
0 1 2 0 1 2 q 1 ϱ 1 6 q 2 ρ 1 6 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η 1 ( ξ 2 , ξ 1 ) , ξ 3 + ρ η 2 ( ξ 4 , ξ 3 ) ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ + 0 1 2 1 2 1 q 1 ϱ 1 6 q 2 ρ 5 6 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η 1 ( ξ 2 , ξ 1 ) , ξ 3 + ρ η 2 ( ξ 4 , ξ 3 ) ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ + 1 2 1 0 1 2 q 1 ϱ 5 6 q 2 ρ 1 6 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η ( ξ 2 , ξ 1 ) , ξ 3 + ρ η 2 ( ξ 4 , ξ 3 ) ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ + 1 2 1 1 2 1 q 1 ϱ 5 6 q 2 ρ 5 6 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η ( ξ 2 , ξ 1 ) , ξ 3 + ρ η 2 ( ξ 4 , ξ 3 ) ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ .
By the definition of partial q 1 q 2 -derivatives and definite q 1 q 2 -integrals, we have
0 1 2 0 1 2 q 1 ϱ 1 6 q 2 ρ 1 6 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η 1 ( ξ 2 , ξ 1 ) , ξ 3 + ρ η 2 ( ξ 4 , ξ 3 ) ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ = 1 ( 1 q 1 ) ( 1 q 2 ) η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) 0 1 2 0 1 2 q 1 ϱ 1 6 q 2 ρ 1 6 ϱ ρ × Ψ ( ξ 1 + ϱ q 1 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + ρ q 2 η 2 ( ξ 4 , ξ 3 ) ) Ψ ( ξ 1 + ϱ q 1 η 1 ( ξ 2 , ξ 1 ) , ρ ) Ψ ( ϱ , ξ 3 + ρ q 2 η 2 ( ξ 4 , ξ 3 ) ) + Ψ ( ϱ , ρ ) 0 d q 1 ϱ 0 d q 2 ρ .
We observe that
1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) m = 0 q 2 m Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) + 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , q 2 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 0 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = q 2 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) m = 0 q 2 m Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) q 2 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , q 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 1 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = q 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 q 1 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , q 1 q 2 η 2 ( ξ 4 , ξ 3 ) η 1 ( ξ 2 , ξ 1 ) n = 0 m = 0 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , ξ 3 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 + 1 6 η 1 ( ξ 2 , ξ 1 ) ( ξ 4 ξ 3 ) n = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 q 2 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , + 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , q 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 1 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = q 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 + n = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 q 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 q 1 n Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ ξ 1 , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) m = 0 q 2 m Ψ ξ 1 , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , q 2 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 0 q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = q 2 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) m = 0 q 2 m Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) + m = 0 q 2 m Ψ ξ 1 , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) + q 2 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 1 q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 + 1 6 η 1 ( ξ 2 , ξ 1 ) ( ξ 4 ξ 3 ) m = 0 q 2 m Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) + 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , q 2 m 2 ξ 4 + 1 q 2 m 2 ξ 3 , q 2 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 q 2 m Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = Ψ ( ξ 1 , ξ 3 ) 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) + 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 0 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ ξ 1 , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 1 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , ξ 3 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 1 m = 1 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) , 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) = 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 + 1 36 η 1 ( ξ 2 , ξ 1 ) ( ξ 4 ξ 3 ) n = 1 m = 1 Ψ ξ 1 + q 1 n 2 η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m 2 η 2 ( ξ 4 , ξ 3 ) .
Similarly, in the same way we can compute the outcomes of the rest of the three q 1 q 2 -integrals, respectively, and by adding all of the q 1 q 2 -integrals we get the following result:
0 1 0 1 Π 1 ( ϱ , q 1 ) Π 2 ( ρ , q 2 ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η 1 ( ξ 2 , ξ 1 ) , ξ 3 + ρ η 2 ( ξ 4 , ξ 3 ) ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ = 1 9 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 3 , ξ 4 ) Ψ ξ 1 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + Ψ ξ 1 + η 1 ξ 2 , ξ 1 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + 4 Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , ξ 3 + Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , ξ 3 + η 2 ξ 4 , ξ 3 + 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 3 , ξ 4 ) Ψ ( ξ 1 , ξ 3 ) + Ψ ( ξ 1 + η 1 ξ 2 , ξ 1 , ξ 3 ) + Ψ ( ξ 1 , ξ 3 + η 2 ξ 4 , ξ 3 ) + Ψ ( ξ 1 + η 1 ξ 2 , ξ 1 , ξ 3 + η 2 ξ 4 , ξ 3 ) 1 q 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 3 , ξ 4 ) n = 0 q 1 n Ψ ξ 1 + q 1 n η 1 ( ξ 2 , ξ 1 ) , ξ 3 + 4 n = 0 q 1 n Ψ ξ 1 + q 1 n η 1 ( ξ 2 , ξ 1 ) , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 + n = 0 q 1 n Ψ ξ 1 + q 1 n η 1 ( ξ 2 , ξ 1 ) , ξ 3 + η 2 ( ξ 4 , ξ 3 )
1 q 2 6 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) m = 0 q 2 m Ψ ξ 1 , ξ 3 + q 2 m η 2 ( ξ 4 , ξ 3 ) + 4 m = 0 q 2 m Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , ξ 3 + q 2 m η 2 ( ξ 4 , ξ 3 ) + m = 0 q 2 m Ψ ξ 2 , ξ 3 + q 2 m η 2 ( ξ 4 , ξ 3 ) + ( 1 q 1 ) ( 1 q 2 ) η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) n = 0 m = 0 Ψ ξ 1 + q 1 n η 1 ( ξ 2 , ξ 1 ) , ξ 3 + q 2 m η 2 ( ξ 4 , ξ 3 ) . = 1 9 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 3 , ξ 4 ) Ψ ξ 1 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + Ψ ξ 1 + η 1 ξ 2 , ξ 1 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + 4 Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , 2 ξ 3 + η 2 ξ 4 , ξ 3 2 + Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , ξ 3 + Ψ 2 ξ 1 + η 1 ξ 2 , ξ 1 2 , ξ 3 + η 2 ξ 4 , ξ 3 + 1 36 η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 3 , ξ 4 ) Ψ ( ξ 1 , ξ 3 ) + Ψ ( ξ 1 + η 1 ξ 2 , ξ 1 , ξ 3 ) + Ψ ( ξ 1 , ξ 3 + η 2 ξ 4 , ξ 3 ) + Ψ ( ξ 1 + η 1 ξ 2 , ξ 1 , ξ 3 + η 2 ξ 4 , ξ 3 ) 1 6 η 1 2 ( ξ 2 , ξ 1 ) η 2 ( ξ 4 , ξ 3 ) ξ 1 ξ 1 + η 1 ( ξ 2 , ξ 1 ) Ψ ( x , ξ 3 ) + 4 Ψ x , 2 ξ 3 + η 2 ( ξ 4 , ξ 3 ) 2 + Ψ ( x , ξ 3 ) 0 d q 1 x 1 6 η 1 ( ξ 2 , ξ 1 ) η 2 2 ( ξ 3 , ξ 3 ) ξ 3 ξ 3 + η 2 ( ξ 4 , ξ 3 ) Ψ ( ξ 1 , y ) + 4 Ψ 2 ξ 1 + η 1 ( ξ 2 , ξ 1 ) 2 , y + Ψ ( ξ 2 , y ) 0 d q 1 y + 1 η 1 2 ( ξ 2 , ξ 1 ) η 2 2 ( ξ 3 , ξ 3 ) ξ 1 ξ 1 + η 1 ( ξ 2 , ξ 1 ) ξ 3 ξ 3 + η 2 ( ξ 4 , ξ 3 ) Ψ ( x , y ) 0 d q 1 x 0 d q 1 y .
By multiplying both sides of (7) by η 1 ( ξ 2 , ξ 1 ) η 2 ( ξ 3 , ξ 4 ) , we get the desired result. □

4. Main Results

In order to provide compact demonstration, we are capable to determine the two-variables q 1 q 2 -integral inequalities of Simpson-type involving the class higher-order generalized strongly preinvex and quasi-preinvex functions.
Theorem 5.
Assume that Ψ : Λ R 2 R is a mixed partial q 1 q 2 -differentiable function on Λ o (the interior of Λ) with ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ being continuous and integrable on [ ξ 1 , ξ 1 + η 1 ξ 2 , ξ 1 ] × [ ξ 3 , ξ 3 + η 2 ξ 4 , ξ 3 ] Λ o for η 1 ξ 2 , ξ 1 , η 2 ξ 4 , ξ 3 > 0 and q 1 , q 2 ( 0 , 1 ) . If ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ is a coordinated higher-order generalized strongly preinvex function, then one has following inequality:
Γ Ψ ( ξ 1 , ξ 2 , ξ 3 , ξ 4 ; q 1 , q 2 ) K A q 1 + D q 1 A q 2 + D q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + A q 1 + D q 1 B q 2 + E q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + B q 1 + E q 1 A q 2 + D q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + B q 1 + E q 1 B q 2 + E q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + μ 1 C q 1 + F q 1 μ 2 C q 2 + F q 2 η 1 σ ( ξ 2 , ξ 1 ) η 2 σ ( ξ 4 , ξ 3 ) ,
where A q k , B q k , C q k , D q k , E q k , and F q k are given by
A q k = 1 4 q k 3 24 1 + q k 1 + q k + q k 2 , 0 < q k < 1 3 , 1 k 2 , 1 + 12 q k + 12 q k 2 + 36 q k 3 216 1 + q k 1 + q k + q k 2 , 1 3 q k < 1 , 1 k 2 ,
B q k = 1 2 q k 2 q k 2 24 1 + q k 1 + q k + q k 2 , 0 < q k < 1 3 , 1 k 2 , 18 q k + 18 q k 2 7 216 1 + q k 1 + q k + q k 2 , 1 3 q k < 1 , 1 k 2 ,
C q k = 1 2 q k 2 q k 3 4 q k 4 48 1 + q k 1 + q k 2 1 + q k + q k 2 , 0 < q k < 1 3 , 1 k 2 , 108 q k 4 + 54 q k 3 + 12 q k 2 + 54 q k 17 1296 1 + q k 1 + q k 2 1 + q k + q k 2 , 1 3 q k < 1 , 1 k 2 ,
D q k = 5 + 8 q + 8 q k 2 8 q k 3 24 1 + q k 1 + q k + q k 2 , 0 < q k < 5 6 , 1 k 2 , 12 q k + 12 q k 2 + 5 216 1 + q k 1 + q k + q k 2 , 5 6 q k < 1 , 1 k 2 ,
E q k = 5 2 q k 2 q k 2 8 1 + q k 1 + q k + q k 2 , 0 < q k < 5 6 , 1 k 2 , 18 q k + 18 q k 2 + 25 216 1 + q k 1 + q k + q k 2 , 5 6 q k < 1 , 1 k 2 ,
F q k = 5 2 q k + 28 q k 2 2 q k 3 12 q k 4 48 1 + q k 1 + q k 2 1 + q k + q k 2 , 0 < q k < 5 6 , 1 k 2 , 108 q k 4 54 q k 3 + 96 q k 2 54 q k + 115 1296 1 + q k 1 + q k 2 1 + q k + q k 2 , 5 6 q k < 1 , 1 k 2 ,
Proof. 
Utilizing Lemma 2 and the fact that ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , w ) ξ 1 q 1 ϱ ξ 3 q 2 ρ is a coordinated higher-order generalized strongly preinvex function, we have
Γ Ψ ( ξ 1 , ξ 2 , ξ 3 , ξ 4 ; q 1 , q 2 ) K × 0 1 0 1 Π 1 ( ϱ , q 1 ) Π 2 ( w , q 2 ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η 1 ξ 2 , ξ 1 , ξ 3 + w η 2 ξ 4 , ξ 3 ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 w K 0 1 | Π 2 ( w , q 2 ) | 0 1 | Π 1 ( ϱ , q 1 ) | ( 1 ϱ ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 + w η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + ϱ ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ( ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ μ 1 ϱ ( 1 ϱ ) η 1 σ ( ξ 2 , ξ 1 ) 0 d q 1 ϱ 0 d q 2 ρ .
Computing the q 1 -integral on the right-hand side of (8), we have
0 1 | Π 1 ( ϱ , q 1 ) | ( 1 ϱ ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + ϱ ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ μ 1 ϱ ( 1 ϱ ) η 1 σ ( ξ 2 , ξ 1 ) 0 d q 1 ϱ = 0 1 2 q 1 ϱ 1 6 ( 1 ϱ ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + ϱ ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ μ 1 ϱ ( 1 ϱ ) η 1 σ ( ξ 2 , ξ 1 ) 0 d q 1 ϱ + 1 2 1 q 1 ϱ 5 6 ( 1 ϱ ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + ϱ ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ μ 1 ϱ ( 1 ϱ ) η 1 σ ( ξ 2 , ξ 1 ) 0 d q 1 ϱ
= ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 1 2 ( 1 ϱ ) q 1 ϱ 1 6 0 d q 1 ϱ + 1 2 1 ( 1 ϱ ) q 1 ϱ 5 6 0 d q 1 ϱ + ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 1 2 ϱ q 1 ϱ 1 6 0 d q 1 ϱ + 1 2 1 ϱ q 1 ϱ 5 6 0 d q 1 ϱ μ 1 η 1 σ ( ξ 2 , ξ 1 ) 0 1 2 ϱ ( 1 ϱ ) q 1 ϱ 1 6 0 d q 1 ϱ + 1 2 1 ϱ ( 1 ϱ ) q 1 ϱ 5 6 0 d q 1 ϱ .
In view of the Definitions 11 and 12, we get
A q k = 0 1 2 ( 1 ϱ ) q k ϱ 1 6 0 d q k ϱ = 1 4 q k 3 24 1 + q k 1 + q k + q k 2 , 0 < q k < 1 3 , 1 k 2 , 1 + 12 q k + 12 q k 2 + 36 q k 3 216 1 + q k 1 + q k + q k 2 , 1 3 q k < 1 , 1 k 2 ,
B q k = 0 1 2 ϱ q k ϱ 1 6 0 d q k ϱ = 1 2 q k 2 q k 2 24 1 + q k 1 + q k + q k 2 , 0 < q k < 1 3 , 1 k 2 , 18 q k + 18 q k 2 7 216 1 + q k 1 + q k + q k 2 , 1 3 q k < 1 , 1 k 2 ,
C q k = 0 1 2 ϱ ( 1 ϱ ) q k ϱ 1 6 0 d q k ϱ = 1 2 q k 2 q k 3 4 q k 4 48 1 + q k 1 + q k 2 1 + q k + q k 2 , 0 < q k < 1 3 , 1 k 2 , 108 q k 4 + 54 q k 3 + 12 q k 2 + 54 q k 17 1296 1 + q k 1 + q k 2 1 + q k + q k 2 , 1 3 q k < 1 , 1 k 2 ,
D q k = 1 2 1 ( 1 ϱ ) q k ϱ 5 6 0 d q k ϱ = 5 + 8 q + 8 q k 2 8 q k 3 24 1 + q k 1 + q k + q k 2 , 0 < q k < 5 6 , 1 k 2 , 12 q k + 12 q k 2 + 5 216 1 + q k 1 + q k + q k 2 , 5 6 q k < 1 , 1 k 2 ,
E q k = 1 2 1 ϱ q k ϱ 5 6 0 d q k ϱ = 5 2 q k 2 q k 2 8 1 + q k 1 + q k + q k 2 , 0 < q k < 5 6 , 1 k 2 , 18 q k + 18 q k 2 + 25 216 1 + q k 1 + q k + q k 2 , 5 6 q k < 1 , 1 k 2 ,
F q k = 1 2 1 ϱ ( 1 ϱ ) q k ϱ 5 6 0 d q k ϱ = 5 2 q k + 28 q k 2 2 q k 3 12 q k 4 48 1 + q k 1 + q k 2 1 + q k + q k 2 , 0 < q k < 5 6 , 1 k 2 , 108 q k 4 54 q k 3 + 96 q k 2 54 q k + 115 1296 1 + q k 1 + q k 2 1 + q k + q k 2 , 5 6 q k < 1 , 1 k 2 ,
= A q 1 + D q 1 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + B q 1 + E q 1 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ μ 1 C q 1 + F q 1 η 1 2 ( ξ 2 , ξ 1 ) .
Putting the above calculations into (8), we obtain
K 0 1 | Π 2 ( ρ , q 2 ) | A q 1 + D q 1 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + B q 1 + E q 1 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ μ 1 C q 1 + F q 1 η 1 2 ( ξ 2 , ξ 1 ) 0 d q 2 ρ .
Similarly, by computing the q 2 -integral, by using Definitions 11 and 12 on the right-hand side of (9), we have
K A q 1 + D q 1 A q 2 + D q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + A q 1 + D q 1 B q 2 + E q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + B q 1 + E q 1 A q 2 + D q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + B q 1 + E q 1 B q 2 + E q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ + μ 1 C q 1 + F q 1 μ 2 C q 2 + F q 2 η 1 σ ( ξ 2 , ξ 1 ) η 2 σ ( ξ 4 , ξ 3 ) .
Hence, we deduce the required result. □
Theorem 6.
Assume that Ψ : Λ R 2 R is a mixed partial q 1 q 2 -differentiable function on Λ o (the interior of Λ) with ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ being continuous and integrable on [ ξ 1 , ξ 1 + η 1 ξ 2 , ξ 1 ] × [ ξ 3 , ξ 3 + η 2 ξ 4 , ξ 3 ] Λ o for η 1 ξ 2 , ξ 1 , η 2 ξ 4 , ξ 3 > 0 and q 1 , q 2 ( 0 , 1 ) . If ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ is a coordinated higher-order generalized strongly preinvex function where τ > 1 , then one has the following inequality:
Γ Ψ ( ξ 1 , ξ 2 , ξ 3 , ξ 4 ; q 1 , q 2 ) K G q 1 + H q 1 G q 2 + H q 2 1 1 τ × A q 1 + D q 1 A q 2 + D q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + A q 1 + D q 1 B q 2 + E q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + B q 1 + E q 1 A q 2 + D q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + B q 1 + E q 1 B q 2 + E q 2 ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + μ 1 C q 1 + F q 1 μ 2 C q 2 + F q 2 η 1 σ ( ξ 2 , ξ 1 ) η 2 σ ( ξ 4 , ξ 3 ) 1 τ ,
where
G q k = 1 2 q k 12 1 + q k , 0 < q k < 1 3 , 1 k 2 , 6 q k 1 36 1 + q k , 1 3 q k < 1 , 1 k 2 ,
H q k = 5 4 q k 12 1 + q k , 0 < q k < 5 6 , 1 k 2 , 4 q k 5 12 1 + q k , 5 6 q k < 1 , 1 k 2 ,
and A q k , B q k , C q k , D q k , E q k , and F q k are given by the same expressions as described in Theorem 5.
Proof. 
Utilizing Lemma 2, the Hölder inequality and the fact that ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ is a coordinated higher-order generalized strongly preinvex function, we have
Γ Ψ ( ξ 1 , ξ 2 , ξ 3 , ξ 4 ; q 1 , q 2 ) K × 0 1 0 1 Π 1 ( ϱ , q 1 ) Π 2 ( ρ , q 2 ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 + ϱ η 1 ξ 2 , ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ .
K 0 1 0 1 | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ 1 1 τ × 0 1 0 1 | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | ( 1 ϱ ) ( 1 ρ ) ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + ( 1 ϱ ) ρ ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 1 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + ( 1 ρ ) ϱ ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + ϱ ρ ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ξ 2 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + μ 1 ϱ ( 1 ϱ ) μ 2 ρ ( 1 ρ ) η 1 σ ( ξ 2 , ξ 1 ) η 2 σ ( ξ 4 , ξ 3 ) 1 τ 0 d q 1 ϱ 0 d q 2 ρ .
In view of Definitions 11 and 12, we get
G q k = 0 1 2 q k ϱ 1 6 0 d q k ϱ = 1 2 q k 12 1 + q k , 0 < q k < 1 3 , 1 k 2 , 6 q k 1 36 1 + q k , 1 3 q k < 1 , 1 k 2 ,
H q k = 1 2 1 q k ϱ 5 6 0 d q k ϱ = 5 4 q k 12 1 + q k , 0 < q k < 5 6 , 1 k 2 , 4 q k 5 12 1 + q k , 5 6 q k < 1 , 1 k 2 ,
and obtain the integral expressions of A q k , B q k , C q k , D q k , E q k , and F q k , which have the same formulas as those given in Theorem 5.
We observe that
0 1 0 1 | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ = 0 1 | Π 1 ( ϱ , q 1 ) | 0 d q 1 ϱ 0 1 | Π 2 ( ρ , q 2 ) | 0 d q 2 ρ = G q 1 + H q 1 G q 2 + H q 2 , 0 1 0 1 ( 1 ϱ ) ( 1 ρ ) | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ = 0 1 ( 1 ϱ ) | Π 1 ( ϱ , q 1 ) | 0 d q 1 ϱ 0 1 ( 1 ρ ) | Π 2 ( ρ , q 2 ) | 0 d q 2 ρ = A q 1 + D q 1 A q 2 + D q 2 , 0 1 0 1 ( 1 ϱ ) ρ | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ = 0 1 ( 1 ϱ ) | Π 1 ( ϱ , q 1 ) | 0 d q 1 ϱ 0 1 ρ | Π 2 ( ρ , q 2 ) | 0 d q 2 ρ = A q 1 + D q 1 B q 2 + E q 2 , 0 1 0 1 ϱ ( 1 ρ ) | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ = 0 1 ϱ | Π 1 ( ϱ , q 1 ) | 0 d q 1 ϱ 0 1 ( 1 ρ ) | Π 2 ( ρ , q 2 ) | 0 d q 2 ρ = B q 1 + E q 1 A q 2 + D q 2 ,
0 1 0 1 ϱ ρ | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ = 0 1 ϱ | Π 1 ( ϱ , q 1 ) | 0 d q 1 ϱ 0 1 ρ | Π 2 ( ρ , q 2 ) | 0 d q 2 ρ B q 2 + E q 2 A q 2 + D q 2 , 0 1 0 1 ϱ ρ ( 1 ϱ ) ( 1 ρ ) | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ = 0 1 ϱ ( 1 ϱ ) | Π 1 ( ϱ , q 1 ) | 0 d q 1 ϱ 0 1 ρ ( 1 ρ ) | Π 2 ( ρ , q 2 ) | 0 d q 2 ρ = C q 1 + F q 1 C q 2 + F q 2 .
Utilizing the values of the above q 1 q 2 -integrals, we get our required inquality. □
Theorem 7.
Assume that Ψ : Λ R 2 R is a mixed partial q 1 q 2 -differentiable function on Λ o (the interior of Λ) with ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ being continuous and integrable on [ ξ 1 , ξ 1 + η 1 ξ 2 , ξ 1 ] × [ ξ 3 , ξ 3 + η 2 ξ 4 , ξ 3 ] Λ o for η 1 ξ 2 , ξ 1 , η 2 ξ 4 , ξ 3 > 0 and q 1 , q 2 ( 0 , 1 ) . If ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ is a coordinated higher-order generalized strongly quasi-preinvex function where τ > 1 , then one has the following inequality
Γ Ψ ( ξ 1 , ξ 2 , ξ 3 , ξ 4 ; q 1 , q 2 ) K G q 1 + H q 1 G q 2 + H q 2 1 1 τ × max ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 1 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ , ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 1 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ , ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 2 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ , ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 2 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ × G q 1 + H q 1 G q 2 + H q 2 + μ 1 C q 1 + F q 1 μ 2 C q 2 + F q 2 η 1 σ ( ξ 2 , ξ 1 ) η 2 σ ( ξ 4 , ξ 3 ) 1 τ 0 d q 1 ϱ 0 d q 2 ρ ,
where C q k , F q k and G q k , H q k are given by the same expressions as described in Theorems 5 and 6.
Proof. 
Utilizing Lemma 2, the Hölder inequality and the fact that ξ 1 , ξ 3 q 1 , q 2 2 Ψ ( ϱ , ρ ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ is a coordinated higher-order generalized strongly quasi-preinvex function, we have
Γ Ψ ( ξ 1 , ξ 2 , ξ 3 , ξ 4 ; q 1 , q 2 ) K × 0 1 0 1 Π 1 ( ϱ , q 1 ) Π 2 ( ρ , q 2 ) ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 1 + ϱ η 1 ξ 2 , ξ 1 , ξ 3 + ρ η 2 ξ 4 , ξ 3 ξ 1 q 1 ϱ ξ 3 q 2 ρ 0 d q 1 ϱ 0 d q 2 ρ .
K 0 1 0 1 | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | 0 d q 1 ϱ 0 d q 2 ρ 1 1 τ × 0 1 0 1 | Π 1 ( ϱ , q 1 ) | | Π 2 ( ρ , q 2 ) | max ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 1 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ , ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 1 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ , ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 2 , ξ 3 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ , ξ 1 , ξ 3 q 1 , q 2 2 h ( ξ 2 , ξ 4 ) ξ 1 q 1 ϱ ξ 3 q 2 ρ τ + μ 1 ϱ ( 1 ϱ ) μ 2 ρ ( 1 ρ ) η 1 σ ( ξ 2 , ξ 1 ) η 2 σ ( ξ 4 , ξ 3 ) 1 τ 0 d q 1 ϱ 0 d q 2 ρ ,
and can obtain the integral expressions of C q k , F q k and G q k , H q k , which have the same formulae as those given in Theorems 5 and 6. This completes our result. □

5. Conclusions

A new concept of higher-order generalized strongly preinvex functions with different kind of preinvexities is presented. Meanwhile, we establish an identity connected with two-variable q 1 q 2 -differentiable functions. Further, We derived several new consequences for the Simpson-type integral inequities by using the coordinated higher-order generalized strongly preinvex and quasi-preinvex function concerning quantum integrals. Here, we emphasize that all the derived outcomes in the present paper endured preserving for strongly preinvex functions, certainly, which can be seen by the unique values of σ = 2 , μ = 0 and η = ( ξ 2 , ξ 1 ) .The newly introduced numerical approximation can be used to solve problems in fluid mechanics and aerodynamics. We hope that the novel strategies of this paper will inspire researchers working in functional analysis (regarding uniform smoothness of norms in Banach space) [48], probability and statistics (by assessing the human behavior in mathematical psychology) [19]. This is a new path for future research.

Author Contributions

Conceptualization and Writing—original draft by H.K. Writing—review and editing by S.R. and D.B. Formal analysis by M.I. and Funding acquisition, Validation by Y.-M.C. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by Zhejiang University, China.

Acknowledgments

The first author Humaira Kalsoom would like to express sincere thanks to the Chinese Government for providing full scholarship for PhD studies.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

  1. Jackson, F.H. On a q-definite integrals. Quart. J. Pure Appl. Math. 1910, 4, 193–203. [Google Scholar]
  2. Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Inequal. Appl. 2014, 121, 13. [Google Scholar] [CrossRef] [Green Version]
  3. Tariboon, J.; Ntouyas, S.K. Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 282, 282–301. [Google Scholar] [CrossRef] [Green Version]
  4. Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012. [Google Scholar]
  5. Kac, V.; Cheung, P. Quantum Calculus; Springer: New York, NY, USA, 2003; p. 652. [Google Scholar]
  6. Gauchman, H. Integral inequalities in q–calculus. Comput. Math. Appl. 2004, 47, 281–300. [Google Scholar] [CrossRef] [Green Version]
  7. Deng, Y.; Awan, M.U.; Wu, S. Quantum integral inequalities of Simpson-type for strongly preinvex functions. Mathematics 2019, 7, 751. [Google Scholar] [CrossRef] [Green Version]
  8. Deng, Y.; Kalsoom, H.; Wu, S. Some new quantum Hermite-Hadamard-type estimates within a class of generalized (s,m)-preinvex functions. Symmetry 2019, 11, 1283. [Google Scholar] [CrossRef] [Green Version]
  9. Hanson, M.A. On sufficiency of the Kuhn-Tucker conditions. J. Math. Anal. Appl. 1981, 80, 545–550. [Google Scholar] [CrossRef] [Green Version]
  10. Weir, T.; Mond, B. Preinvex functions in multi objective optimization. J. Math. Anal. Appl. 1986, 136, 29–38. [Google Scholar] [CrossRef] [Green Version]
  11. Mohan, S.R.; Neogy, S.K. On invex sets and preinvex functions. J. Math. Anal. Appl. 1995, 189, 901–908. [Google Scholar] [CrossRef] [Green Version]
  12. Polyak, B.T. Existence theorems and convergence of minimizing sequences in extremum problems with restrictions. Soviet Math. Dokl. 1966, 7, 2–75. [Google Scholar]
  13. Karamardian, S. The nonlinear complementarity problems with applications, Part 2. J. Optim. Theory Appl. 1969, 4, 167–181. [Google Scholar] [CrossRef]
  14. Zu, D.L.; Marcotte, P. Co-coercivity and its role in the convergence of iterative schemes for solving variational inequalities. SIAM J. Optim. 1996, 6, 714–726. [Google Scholar]
  15. Nikodem, K.; Pales, Z.S. Characterizations of inner product spaces by strongly convex functions. Banach J. Math. Anal. 2011, 1, 83–87. [Google Scholar] [CrossRef]
  16. Qu, G.; Li, N. On the exponentially stability of primal-dual gradeint dynamics. IEEE Control Syst. Lett. 2019, 3, 43–48. [Google Scholar] [CrossRef] [Green Version]
  17. Rashid, S.; Latif, M.A.; Hammouch, Z.; Chu, M.-Y. Fractional integral inequalities for strongly h-preinvex functions for a kth order differentiable functions. Symmetry 2019, 11, 1448. [Google Scholar] [CrossRef] [Green Version]
  18. Adamek, M. On a problem connected with strongly convex functions. Math. Inequal. Appl. 2016, 19, 1287–1293. [Google Scholar] [CrossRef] [Green Version]
  19. Paul, G.; Yao, D.D. Monotone Structure in Discrete Event Systems; Wiley Series in Probability and Statistics; Wiley-Interscience: New York, NY, USA, 1994; ISBN 978-0-471-58041-6. [Google Scholar]
  20. Angulo, H.; Gimenez, J.; Moeos, A.M.; Nikodem, K. On strongly h-convex functions. Ann. Funct. Anal. 2011, 2, 85–91. [Google Scholar] [CrossRef]
  21. Azcar, A.; Gimnez, J.; Nikodem, K.; Snchez, J.L. On strongly midconvex functions. Opuscula Math. 2011, 31, 15–26. [Google Scholar] [CrossRef]
  22. Lara, T.; Merentes, N.; Quintero, R.; Rosales, E. On strongly m-convex functions. Math. Aeterna 2015, 5, 521–535. [Google Scholar]
  23. Rashid, S.; Jarad, F.; Noor, M.A.; Kalsoom, H.; Chu, Y.-M. Inequalities by means of generalized proportional fractional integral operators with respect to another function. Mathematics 2010, 7, 1225. [Google Scholar] [CrossRef] [Green Version]
  24. Kalsoom, H.; Latif, M.A.; Junjua, M.U.D.; Hussain, S.; Shahzadi, G. Some (p,q)-estimates of Hermite–Hadamard-type inequalities for co-ordinated convex and quasi-convex functions. Mathematics 2019, 8, 683. [Google Scholar] [CrossRef] [Green Version]
  25. Kalsoom, H.; Wu, J.; Hussain, S.; Latif, M.A. Simpson’s type inequalities for co-ordinated convex functions on quantum calculus. Symmetry 2019, 11, 768. [Google Scholar] [CrossRef] [Green Version]
  26. Zafar, F.; Kalsoom, H.; Hussain, N. Some inequalities of Hermite-Hadamard type for n-times differentiable (ρ,m)-geometrically convex functions. J. Nonlinear Sci. Appl. 2015, 8, 201–217. [Google Scholar] [CrossRef] [Green Version]
  27. Kalsoom, H.; Hussain, S. Some Hermite-Hadamard type integral inequalities whose n-times differentiable functions are s-logarithmically convex functions. Punjab Univ. J. Math. 2019, 2019, 65–75. [Google Scholar]
  28. Alomari, M.; Darus, M.; Dragomir, S.S. New inequalities of Simpson’s type for s-convex functions with applications. RGMIA Res. Rep. Coll. 2009, 12, 1–18. [Google Scholar]
  29. Dragomir, S.S.; Agarwal, R.P.; Cerone, P. On Simpson’s inequality and applications. J. Ineq. Appl. 2000, 5, 533–579. [Google Scholar] [CrossRef] [Green Version]
  30. Hudzik, H.; Maligranda, L. Some remarks on s-convex functions. Aequ. Math. 1994, 48, 100–111. [Google Scholar] [CrossRef]
  31. Sarikaya, M.Z.; Set, E.; Özdemir, M.E. On new inequalities of Simpson’s type for convex functions. Comput. Math. Appl. 2016, 60, 2191–2199. [Google Scholar] [CrossRef] [Green Version]
  32. Adil Khan, M.; Chu, Y.-M.; Kashuri, A.; Liko, R.; Ali, G. Conformable fractional integrals versions of Hermite-Hadamard inequalities and their generalizations. J. Funct. Spaces. 2018, 2018, 6928130. [Google Scholar] [CrossRef] [Green Version]
  33. Song, Y.-Q.; Adil Khan, M.; Zaheer Ullah, S.; Chu, Y.-M. Integral inequalities involving strongly convex functions. J. Funct. Spaces. 2018, 2018, 6595921. [Google Scholar] [CrossRef]
  34. Adil Khan, M.; Iqbal, A.; Suleman, M.; Chu, Y.-M. Hermite–Hadamard type inequalities for fractional integrals via Green’s function. J. Inequal. Appl. 2018, 2018, 161. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  35. Adil Khan, M.; Khurshid, Y.; Du, T.-S.; Chu, Y.-M. Generalization of Hermite-Hadamard type inequalities via conformable fractional integrals. J. Funct. Spaces. 2018, 2018, 5357463. [Google Scholar] [CrossRef]
  36. Zaheer Ullah, S.; Adil Khan, M.; Chu, Y.-M. A note on generalized convex functions. J. Inequal. Appl. 2019, 2019, 291. [Google Scholar] [CrossRef]
  37. Rashid, S.; Noor, M.A.; Noor, K.I.; Safdar, F.; Chu, Y.-M. Hermite-Hadamard type inequalities for the class of convex functions on time scale. Mathematics 2019, 7, 756. [Google Scholar] [CrossRef] [Green Version]
  38. Nie, D.; Rashid, S.; Akdemir, A.O.; Baleanu, D.; Liu, J.-B. On some new weighted inequalities for differentiable exponentially convex and exponentially quasi-convex functions with applications. Mathematics. 2019, 7, 727. [Google Scholar] [CrossRef] [Green Version]
  39. Rashid, S.; Noor, M.A.; Noor, K.I. Inequalities pertaining fractional approach through exponentially convex functions. Fractal Fract. 2019, 3, 37. [Google Scholar] [CrossRef] [Green Version]
  40. Rashid, S.; Noor, M.A.; Noor, K.I.; Akdemir, A.O. Some new generalizations for exponentially s-convex functions and inequalities via fractional operators. Fractal Fract. 2019, 3, 24. [Google Scholar] [CrossRef] [Green Version]
  41. Rashid, S.; Noor, M.A.; Noor, K.I. New Estimates for Exponentially Convex Functions via Conformable Fractional Operator. Fractal Fract. 2019, 3, 19. [Google Scholar] [CrossRef] [Green Version]
  42. Rashid, S.; Noor, M.A.; Noor, K.I. Some generalize Riemann-Liouville fractional estimates involving functions having exponentially convexity property. Punjab. Univ. J. Math. 2019, 51, 1–15. [Google Scholar]
  43. Rashid, S.; Noor, M.A.; Noor, K.I. Fractional exponentially m-convex functions and inequalities. Inter. J. Anal. Appl. 2019, 17, 464–478. [Google Scholar]
  44. Rashid, S.; Abdeljawad, T.; Jarad, F.; Noor, M.A. Some estimates for generalized Riemann-Liouville fractional integrals of exponentially convex functions and their applications. Mathematics 2019, 7, 807. [Google Scholar] [CrossRef] [Green Version]
  45. Rashid, S.; Akdemir, A.O.; Jarad, F.; Noor, M.A.; Noor, K.I. Simpson’s type integral inequalities for k-fractional integrals and their applications. AIMS. Math. 2019, 4, 1087–1100. [Google Scholar] [CrossRef]
  46. Craven, B.D. Duality for generalized convex fractional programs. In Generalized Convexity in Optimization and Economics; Schaible, S., Ziemba, T., Eds.; Academic Press: San Diego, CA, USA, 1981; pp. 473–489. [Google Scholar]
  47. Noor, M.A.; Noor, K.I. Some characterizations of strongly preinvex functions. J. Math. Anal. Appl. 2006, 316, 697–706. [Google Scholar] [CrossRef] [Green Version]
  48. Bynum, W.L. Weak parallelogram laws for Banach spaces. Can. Math. Bull. 1976, 19, 269–275. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Kalsoom, H.; Rashid, S.; Idrees, M.; Chu, Y.-M.; Baleanu, D. Two-Variable Quantum Integral Inequalities of Simpson-Type Based on Higher-Order Generalized Strongly Preinvex and Quasi-Preinvex Functions. Symmetry 2020, 12, 51. https://doi.org/10.3390/sym12010051

AMA Style

Kalsoom H, Rashid S, Idrees M, Chu Y-M, Baleanu D. Two-Variable Quantum Integral Inequalities of Simpson-Type Based on Higher-Order Generalized Strongly Preinvex and Quasi-Preinvex Functions. Symmetry. 2020; 12(1):51. https://doi.org/10.3390/sym12010051

Chicago/Turabian Style

Kalsoom, Humaira, Saima Rashid, Muhammad Idrees, Yu-Ming Chu, and Dumitru Baleanu. 2020. "Two-Variable Quantum Integral Inequalities of Simpson-Type Based on Higher-Order Generalized Strongly Preinvex and Quasi-Preinvex Functions" Symmetry 12, no. 1: 51. https://doi.org/10.3390/sym12010051

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop