Next Article in Journal
Implementing CCTV-Based Attendance Taking Support System Using Deep Face Recognition: A Case Study at FPT Polytechnic College
Previous Article in Journal
A Robust Hybrid Iterative Linear Detector for Massive MIMO Uplink Systems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Quantum Analogs of Ostrowski-Type Inequalities for Raina’s Function correlated with Coordinated Generalized Φ-Convex Functions

1
College of Civil Engineering, Hunan University, Changsha 410082, China
2
School of Mathematical Sciences, Zhejiang University, Hangzhou 310027, China
3
Department of Mathematics, Government College University, Faisalabad 38000, Pakistan
4
Zhejiang Province Key Laboratory of Quantum Technology and Device, Department of Physics, Zhejiang University, Hangzhou 310027, China
5
Department of Mathematics, SBK Women University, Quetta 87300, Pakistan
6
Department of Mathematics, Huzhou University, Huzhou 313000, China
7
Department of Mathematics, Cankaya University, 06530 Ankara, Turkey
8
Institute of Space Sciences, 077125 Magurele-Bucharest, Romania
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(2), 308; https://doi.org/10.3390/sym12020308
Submission received: 5 January 2020 / Revised: 7 February 2020 / Accepted: 18 February 2020 / Published: 21 February 2020

Abstract

:
In this paper, the newly proposed concept of Raina’s function and quantum calculus are utilized to anticipate the quantum behavior of two variable Ostrowski-type inequalities. This new technique is the convolution of special functions with hypergeometric and Mittag–Leffler functions, respectively. This new concept will have the option to reduce self-similitudes in the quantum attractors under investigation. We discuss the implications and other consequences of the quantum Ostrowski-type inequalities by deriving an auxiliary result for a q 1 q 2 -differentiable function by inserting Raina’s functions. Meanwhile, we present a numerical scheme that can be used to derive variants for Ostrowski-type inequalities in the sense of coordinated generalized Φ -convex functions with the quantum approach. This new scheme of study for varying values of parameters with the involvement of Raina’s function yields extremely intriguing outcomes with an illustrative example. It is supposed that this investigation will provide new directions for the capricious nature of quantum theory.

1. Introduction

Quantum calculus is the non-limited analysis of calculus, and it is also recognized as q-calculus. We get the initial mathematical formulas in q-calculus as q reaches 1 . The analysis of q-calculus was initiated by Euler ( 1707 1783 ) . Subsequently, Jackson [1] launched the idea of q-integrals in a systematic way. The aforementioned results led to an intensive investigation on q-calculus in the Twentieth Century. The idea of q-calculus is used in numerous areas of mathematics and physics especially in orthogonal polynomials, number theory, hypergeometric functions, mechanics, and the theory of relativity. Tariboon et al. [2,3] discovered the idea of q-derivatives on ξ 1 , ξ 2 of R and unified and modified numerous new concepts of classical convexity. In the last few years, the topic of q-calculus has become an interesting topic for many researchers, and several new results have been established in the literature; see for instance [4,5,6,7,8,9] and the references cited therein.
The feasibility of the new approach of consecutive articulation and the arrangement of issues of deciding the spatial stress-strain state, volume damageability state, and multicriteria states of deformable frameworks, all the while experiencing the activity of volume distortion under tension-compression or bending and local loading under contact connection with grinding created with the utilities of q-calculus based on several functions for bounding volumetric damageable areas in tribo-fatigue and mechanothermodynamic systems, have been established in the literature; see for instance [10,11,12,13,14,15,16,17] and the references cited therein.
Integral inequalities are considered a fabulous tool for constructing the qualitative and quantitative properties in the field of pure and applied mathematics. A continuous growth of interest has occurred in order to meet the requirements of the need for fertile applications of these inequalities. Such inequalities were studied by many researchers who in turn used various techniques for the sake of exploring and offering these inequalities [18,19,20,21,22,23,24,25,26,27]. In many practical problems, it is important to bound one quantity by another quantity. The classical inequalities such as Ostrowski’s inequality are very useful for this purpose. In recent years, many authors proved numerous inequalities associated with the functions of bounded variation, Lipschitzian, monotone, absolutely continuous, convex functions, s-convex and h-convex functions, and n-times differentiable mappings with error estimates with some special means, and some numerical quadrature was done. For the latest consequences, modifications, counterparts, generalizations, and novelty of Ostrowski-type inequalities, see [28,29,30,31].
The following integral inequality was presented by Ostrowski [32].
Theorem 1.
Suppose that a function Ψ : W R R is continuous on [ ξ 1 , ξ 2 ] and differentiable on ξ 1 , ξ 2 , whose derivative Ψ : ξ 1 , ξ 2 R is bounded on ξ 1 , ξ 2 , i.e., Ψ τ M . Then, one has the inequality:
Ψ ( ϱ ) 1 ξ 2 ξ 1 ξ 1 ξ 2 Ψ τ d τ 1 4 + ϱ ξ 1 + ξ 2 2 2 ξ 2 ξ 1 2 ξ 2 ξ 1 M ,
for all ϱ [ ξ 1 , ξ 2 ] . The constant 1 4 is the best possible in the sense that it cannot be replaced by a smaller constant.
The inequality (1) can be written in equivalent form as:
Ψ ( ϱ ) 1 ξ 2 ξ 1 ξ 1 ξ 2 Ψ τ d τ M ξ 2 ξ 1 ϱ ξ 1 2 + ξ 2 ϱ 2 2 .
In [33], the classical Ostrowski-type inequality for coordinated convex functions was established via the following equality:
Theorem 2.
Suppose that a function Ψ : W R 2 R is a second-order partial derivative over W o , and let [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] W o with ξ 1 , ξ 2 , ξ 3 , ξ 4 W o such that ξ 1 < ξ 2 , ξ 3 < ξ 4 . If 2 Ψ z w L [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] , then one has the equality:
Ψ ϱ , ρ + 1 ξ 2 ξ 1 ξ 4 ξ 3 ξ 1 ξ 2 ξ 3 ξ 4 Ψ ( u , v ) d u d v A = ( ϱ ξ 1 ) 2 ( ρ ξ 3 ) 2 ξ 2 ξ 1 ξ 4 ξ 3 0 1 0 1 z w 2 z w Ψ ( z ϱ + ( 1 z ) ξ 1 , w ρ + ( 1 w ) ξ 3 ) d z d w ( ϱ ξ 1 ) 2 ( ξ 4 ρ ) 2 ξ 2 ξ 1 ξ 4 ξ 3 0 1 0 1 z w 2 z w Ψ ( z ϱ + ( 1 z ) ξ 1 , w ρ + ( 1 w ) ξ 4 ) d z d w
( ξ 2 ϱ ) 2 ( ρ ξ 3 ) 2 ξ 2 ξ 1 ξ 4 ξ 3 0 1 0 1 z w 2 z w Ψ ( z ϱ + ( 1 z ) ξ 2 , w ρ + ( 1 w ) ξ 3 ) d z d w + ( ξ 2 ϱ ) 2 ( ξ 4 ρ ) 2 ξ 2 ξ 1 ξ 4 ξ 3 0 1 0 1 z w 2 z w Ψ ( z ϱ + ( 1 z ) ξ 2 , w ρ + ( 1 w ) ξ 4 ) d z d w
for all ϱ , ρ W ,
A = 1 ξ 4 ξ 3 ξ 3 ξ 4 Ψ ( ϱ , v ) d v + 1 ξ 2 ξ 1 ξ 1 ξ 2 Ψ ( u , ρ ) d u .
Noor et al. [34] proposed the quantum estimates for Ostrowski-type inequalities based on the convexity function of one variable, which are associated with the equality below.
Theorem 3.
Suppose that a function Ψ : W R is continuous with q ( 0 , 1 ) . If ξ 1 D q Ψ is an integrable function on W o , ξ 1 , ξ 2 W o such that ξ 1 < ξ 2 , then one has the equality:
Ψ ϱ 1 ξ 2 ξ 1 ξ 1 ξ 2 Ψ ( u ) ξ 1 d q u = q ( ϱ ξ 1 ) 2 ξ 2 ξ 1 0 1 z ξ 1 D q Ψ 1 z ξ 1 + z ϱ 0 d q z + q ( ξ 2 ϱ ) 2 ξ 2 ξ 1 0 1 z ξ 1 D q Ψ 1 z ξ 2 + z ϱ 0 d q z .
The following inequality of the q-Hermite–Hadamard type for coordinated convex functions on a rectangle from the plane R 2 , see [35].
Theorem 4.
Let Ψ : W = [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] R 2 R be convex on the coordinates on W with q 1 , q 2 ( 0 , 1 ) and ξ 1 < ξ 2 , ξ 3 < ξ 4 . Then, one has the inequalities:
Ψ q 1 ξ 1 + ξ 2 1 + q 1 , q 2 ξ 3 + ξ 4 1 + q 2 1 2 1 ξ 2 ξ 1 ξ 1 ξ 2 Ψ z , q 2 ξ 3 + ξ 4 1 + q 2 0 d q 1 z + 1 ξ 3 ξ 4 ξ 3 ξ 4 Ψ q 1 ξ 1 + ξ 2 1 + q 1 , w 0 d q 2 w 1 ( ξ 1 ξ 2 ) ( ξ 3 ξ 4 ) ξ 1 ξ 2 ξ 3 ξ 4 Ψ ( z , w ) 0 d q 1 z 0 d q 2 w 1 4 1 ( 1 + q 1 ) ( ξ 2 ξ 1 ) q 2 ξ 1 ξ 2 Ψ ( z , ξ 3 ) 0 d q 1 z + ξ 1 ξ 2 Ψ ( z , ξ 4 ) 0 d q 1 z + 1 ( 1 + q 2 ) ( ξ 3 ξ 4 ) q 1 ξ 3 ξ 3 Ψ ( ξ 1 , w ) 0 d q 2 w + ξ 3 ξ 4 Ψ ( ξ 2 , w ) 0 d q 2 w q 1 q 2 Ψ ( ξ 1 , ξ 3 ) + q 2 Ψ ( ξ 2 , ξ 3 ) + q 1 Ψ ( ξ 1 , ξ 4 ) + Ψ ( ξ 2 , ξ 4 ) ( 1 + q 1 ) ( 1 + q 2 ) .
For several recent results on different types of inequalities for functions that satisfy different kinds of convexity on the coordinates on the rectangle from the plane R 2 , we refer the reader to [36,37,38,39,40].
Our present paper was inspired by the above-mentioned literature, and the principal intention of this research is to introduced the idea of a new class of a coordinated generalized Φ -convex set and a coordinated generalized Φ -convex function by using Raina’s function and presenting some preliminaries related to quantum calculus. q-calculus for functions of one and two variables over finite rectangles in the plane will be introduced. Moreover, we derive an identity for q 1 q 2 differentiable by involving Raina’s functions. Applying this new identity, we develop some new quantum analogs of Ostrowski inequalities for a coordinated generalized Φ -convex function. Furthermore, we derive some special cases (hypergeometric and Mittag–Leffler functions), on the specific values of Raina’s function parameters. The ideas and techniques of the paper may open a new venue for further research in this field.

2. Preliminaries

In this section, we recall some previously known concepts and also introduce the notion of a coordinated generalized Φ -convex set and coordinated generalized Φ -convex function by using Raina’s function.
Suppose that J is a finite interval of real numbers. A function Ψ : J R is said to be convex if,
Ψ ( τ x + ( 1 τ ) z ¯ ) τ Ψ ( x ) + ( 1 τ ) Ψ ( z ¯ )
holds for all x , z ¯ J and τ [ 0 , 1 ] .
A modification for convex functions on W , which are also known as coordinated convex functions, was introduced by Dragomir [41], which is stated below:
Definition 1.
Suppose that a function Ψ : W : = [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] R 2 R is said to be convex on the coordinates on Δ with ξ 1 < ξ 2 and ξ 3 < ξ 4 if the partial functions:
Ψ τ x + 1 τ z ¯ , γ y + 1 γ w ¯ τ γ Ψ x , y + τ 1 γ Ψ x , w ¯ + 1 τ γ Ψ z ¯ , y + 1 τ 1 γ Ψ z ¯ , w ¯
hold for all τ , γ [ 0 , 1 ] and ( x , y ) , ( z ¯ , w ¯ ) Δ .
R.K.Raina, in [42], introduced the following class:
F α , λ ν s = F α , λ ν 0 , ν 1 , s = l = 0 ν l Γ α l + λ s l ,
where α , λ > 0 , s < R and:
ν = ν 0 , ν 1 , ν l ,
is a bounded sequence of R + . Moreover, taking α = 1 , λ = 0 in (6) and:
ν l = ϕ l ψ l φ l for l = 0 , 1 , 2 , 3 ,
where ϕ , ψ , and φ are parameters and may be real or complex values (provided that φ = 0 , 1 , 2 , ) , and the symbol b l denotes the quantity:
b l = Γ b + l Γ b = b b + 1 b + l 1 , l = 0 , 1 , 2 , ,
while its domain is restrict as | s | 1 (with s C ), then we obtain the following hypergeometric function,
F α , λ ν s = F ϕ , ψ ; φ ; s = l = 0 ϕ l ψ l l ! φ l s l .
Moreover, if ν = ( 1 , 1 , ) with α = ϕ , ( R e ( ϕ ) > 0 ) , λ = 1 , and its domain is restricted as s C in (6), then we obtain the following Mittag–Leffler function:
E φ s = l = 0 1 Γ 1 + φ l s l .
Finally, we introduce a new definition that combines the coordinated convex function and Raina’s function described above.
Definition 2.
Let α , λ > 0 and ν = ν 0 , ν 1 , ν l , be a bounded sequence of R + . A nonempty set W is called a coordinated generalized Φ-convex set where:
Ψ z ¯ + τ F α , λ ν x z ¯ , w ¯ + γ F α , λ ν y w ¯ W
holds for all τ , γ [ 0 , 1 ] , ( x , y ) , ( z ¯ , w ¯ ) W , and F α , λ ν . is Raina’s function.
Definition 3.
Let α , λ > 0 and ν = ν 0 , ν 1 , ν l , be a bounded sequence of R + . If a function Ψ : W : = [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] R 2 R is satisfied, the expiration below:
Ψ z ¯ + τ F α , λ ν x z ¯ , w ¯ + γ F α , λ ν y w ¯ τ γ Ψ x , y + τ 1 γ Ψ x , w ¯ + 1 τ γ Ψ z ¯ , y + 1 τ 1 γ Ψ z ¯ , w ¯
holds for all τ , γ [ 0 , 1 ] and ( x , y ) , ( z ¯ , w ¯ ) W , then Ψ is called a coordinated generalized Φ-convex function.
Remark 1.
Letting F α , λ ν x z ¯ = x z ¯ > 0 and F α , λ ν y w ¯ = y w ¯ > 0 in Definition 7, we get Definition 5.
This is reminiscent of some basic concepts and characteristics in the q-analog for single and double variables.
Let W = [ ξ 1 , ξ 2 ] R , and let B = [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] R 2 with constants q , q k ( 0 , 1 ) , k = 1 , 2 .
Tariboon and Ntouyas [2,3] established the idea of the q-derivative, q-integral, and properties for the finite interval, which was presented as:
Definition 4.
Let a function Ψ : W R be continuous and s W . Then, one has the q-derivative of Ψ on W at s 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 ) ,
and we call the function Ψ q-differentiable over W ; moreover, ξ 1 D q Ψ ( s ) exists ∀ s W .
Note that if ξ 1 = 0 in (8), then 0 D q Ψ = D q Ψ, where D q Ψ is the well-defined q-derivative of Ψ ( s ) , explained as:
D q Ψ ( s ) = Ψ ( s ) Ψ ( q s ) ( 1 q ) ( s ) .
Definition 5.
Let a function Ψ : W R be continuous, and it is denoted by ξ 1 D q 2 Ψ , given that ξ 1 D q 2 Ψ is q-differentiable from W R defined by:
ξ 1 D q 2 Ψ = ξ 1 D q ξ 1 D q Ψ .
In addition, the higher order q-differentiable is described as ξ 1 D q n Ψ : W R .
Definition 6.
Let a function Ψ : W R be continuous. Then, the q-integral on W is described as:
ξ 1 s Ψ ( z ) ξ 1 d q z = ( 1 q ) ( s ξ 1 ) n = 0 q n Ψ ( q n s + ( 1 q n ) ξ 1 ) , s V .
Furthermore, if ξ 1 = 0 in (9), then we have one of formulae of the q-integral, which is pointed out as:
0 s Ψ ( z ) 0 d q z = ( 1 q ) s n = 0 q n Ψ ( q n s ) .
Theorem 5.
Let a function Ψ : W R be continuous, then one has that 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 6.
Let a function Ψ : W R be continuous and a R , then 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 .
The theory of quantum integral inequalities for two variable functions was developed by Humaira et al. [35].
Definition 7.
Let a function of two variables Ψ : B R be continuous. Then, the 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 Ψ : B 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 8.
Let a function of two variables Ψ : B R be continuous. Then, the definite q 1 q 2 -integral on [ ξ 1 , ξ 2 ] × [ ξ 3 , ξ 4 ] is 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 7.
Let a function of two variables Ψ : B R be continuous, then the following properties holds:
( 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 8.
Suppose that Ψ 1 , Ψ 2 : B 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. A Key Lemma

We first establish the following identity, which is helpful for proving our main results.
Lemma 1.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] Q o where α , λ > 0 , and ν = ( ν ( 0 ) , , ν ( l ) ) are the bounded sequence of positive real numbers with 0 < q 1 , q 2 < 1 , then one has the equality:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = q 1 q 2 [ F α , λ ν ( ϱ ξ 1 ) ] 2 [ F α , λ ν ( ρ ξ 3 ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F α , λ ν ( ϱ ξ 1 ) ] 2 [ F α , λ ν ( ξ 4 ρ ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F α , λ ν ( ξ 2 ϱ ) ] 2 [ F α , λ ν ( ρ ξ 3 ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F α , λ ν ( ξ 2 ϱ ) ] 2 [ F α , λ ν ( ξ 4 ρ ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w ,
where:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = Ψ ϱ , ρ + 1 F α , λ ν ( ξ 4 ξ 3 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( ϱ , v ) 0 d q 2 v + ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( ϱ , v ) 0 d q 2 v + 1 F α , λ ν ( ξ 2 ξ 1 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) Ψ ( u , ρ ) 0 d q 1 u + ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) Ψ ( u , ρ ) 0 d q 1 u T ,
and:
T = 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
Proof. 
Consider:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w .
By the definition of partial q 1 q 2 -derivatives and definite q 1 q 2 -integrals, we have:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w = 1 ( 1 q 1 ) ( 1 q 2 ) F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) × 0 1 0 1 Ψ ( ξ 1 + z q 1 F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w q 2 F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w 0 1 0 1 Ψ ( ξ 1 + z q 1 F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w 0 1 0 1 Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w q 2 F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w + 0 1 0 1 Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w = 1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 1 m = 1 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) 1 q 1 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 1 m = 0 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 m = 1 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) + 1 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) .
We observe that:
1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 1 m = 1 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) = Ψ ϱ , ρ q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) 1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 q n Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ρ ) 1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) m = 0 q 2 m ( ϱ , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) + 1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) )
1 q 1 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 1 m = 0 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) , = 1 q 1 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) m = 0 q 2 m Ψ ( ϱ , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) 1 q 1 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) )
and:
1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 m = 1 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) = 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 q 1 n Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ρ ) 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) n = 0 m = 0 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) .
Utilizing (12)–(14) in (11), we get:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w = Ψ ϱ , ρ q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) 1 q 2 F α , λ ν ( ρ ξ 3 ) q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) 2 m = 0 q 2 m ( ϱ , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) 1 q 1 F α , λ ν ( ϱ ξ 1 ) q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) n = 0 q n Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ρ ) + 1 q 1 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 n = 0 m = 0 q 1 n q 2 m Ψ ( ξ 1 + q 1 n F α , λ ν ( ϱ ξ 1 ) , ξ 3 + q 2 m F α , λ ν ( ρ ξ 3 ) ) .
Furthermore:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w = Ψ ϱ , ρ q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) 1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) 2 ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( ϱ , v ) 0 d q 2 v
1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) Ψ ( u , ρ ) 0 d q 1 u + 1 q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
Multiplying both sides of Equality (15) by q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 , then we acquire:
q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w = F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ρ ξ 3 ) F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 Ψ ϱ , ρ F α , λ ν ϱ ξ 1 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( ϱ , v ) 0 d q 2 v F α , λ ν ρ ξ 3 ξ 2 ξ 1 ξ 4 ξ 3 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , ρ ) 0 d q 1 u + 1 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
Similarly, we calculate the remainingintegrals:
q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ξ 4 ρ ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w = F α , λ ν ( ϱ ξ 1 ) F α , λ ν ( ξ 4 ρ ) F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 Ψ ϱ , ρ F α , λ ν ϱ ξ 1 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( ϱ , v ) 0 d q 2 v + F α , λ ν ξ 4 ρ F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) Ψ ( u , ρ ) 0 d q 1 u + 1 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w = F α , λ ν ( ξ 2 ϱ ) F α , λ ν ( ρ ξ 3 ) F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 Ψ ϱ , ρ F α , λ ν ξ 2 ϱ F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( ϱ , v ) 0 d q 2 v F α , λ ν ρ ξ 3 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ) ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) Ψ ( u , ρ ) 0 d q 1 u + 1 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ξ 4 ρ ) 2 ξ 2 ξ 1 ξ 4 ξ 3 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w = F α , λ ν ( ξ 2 ϱ ) F α , λ ν ( ξ 4 ρ ) F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 Ψ ϱ , ρ F α , λ ν ξ 2 ϱ F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( ϱ , v ) 0 d q 2 v F α , λ ν ξ 4 ρ F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ) ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) Ψ ( u , ρ ) 0 d q 1 u + 1 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
From (16)–(19) in (10), we derive the desired result of Lemma 1. ☐
Corollary 1.
Setting q 1 , q 2 1 in Lemma 1, we obtain the following new equality:
O ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = [ F α , λ ν ( ϱ ξ 1 ) ] 2 [ F α , λ ν ( ρ ξ 3 ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) d z d w [ F α , λ ν ( ϱ ξ 1 ) ] 2 [ F α , λ ν ( ξ 4 ρ ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) d z d w F α , λ ν ( ξ 2 ϱ ) 2 [ F α , λ ν ( ρ ξ 3 ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) d z d w [ F α , λ ν ( ξ 2 ϱ ) ] 2 [ F α , λ ν ( ξ 4 ρ ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) d z d w ,
O ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = Ψ ϱ , ρ + 1 F α , λ ν ( ξ 4 ξ 3 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( ϱ , v ) d v + ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( ϱ , v ) d v + 1 F α , λ ν ( ξ 2 ξ 1 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) Ψ ( u , ρ ) d u + ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) Ψ ( u , ρ ) d u A ,
and:
A = 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , v ) d z d w + 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 1 ξ 1 + F α , λ ν ( ϱ ξ 1 ) ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( u , v ) d z d w + 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) ξ 3 ξ 3 + F α , λ ν ( ρ ξ 3 ) Ψ ( u , v ) d z d w + 1 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) ξ 2 ξ 2 + F α , λ ν ( ϱ ξ 2 ) ξ 4 ξ 4 + F α , λ ν ( ρ ξ 4 ) Ψ ( u , v ) d z d w .

4. Main Results

Theorem 9.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] Q o where α , λ > 0 and ν = ( ν ( 0 ) , , ν ( l ) ) are the bounded sequence of positive real numbers with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , then the following inequality holds:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M F α , λ ν ϱ ξ 1 2 + F α , λ ν ξ 2 ϱ 2 1 + q 1 F α , λ ν ξ 2 ξ 1 F α , λ ν ρ ξ 3 2 + F α , λ ν ξ 4 ρ 2 1 + q 2 F α , λ ν ξ 4 ξ 3 .
Proof. 
Taking the absolute value on both sides of (10) and utilizing the coordinated generalized Φ -convex of q 1 , q 2 2 q 1 z q 2 w Ψ , we get the following inequality:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = q 1 q 2 [ F α , λ ν ( ϱ ξ 1 ) ] 2 [ F α , λ ν ( ρ ξ 3 ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F α , λ ν ( ϱ ξ 1 ) ] 2 [ F α , λ ν ( ξ 4 ρ ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 [ F α , λ ν ( ρ ξ 3 ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F α , λ ν ( ξ 2 ϱ ) ] 2 [ F α , λ ν ( ξ 4 ρ ) ] 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w .
Taking the first integral:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) 0 1 0 1 z 2 w 2 0 d q 1 z 0 d q 2 w + q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ξ 3 ) 0 1 0 1 z 2 w 1 w 0 d q 1 z 0 d q 2 w + q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 , ρ ) 0 1 0 1 w 2 z 1 z 0 d q 1 z 0 d q 2 w + q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 , ξ 3 ) 0 1 0 1 z w 1 z 1 w 0 d q 1 z 0 d q 2 w .
By using Definition 8, we get:
0 1 0 1 z 2 w 2 0 d q 1 z 0 d q 2 w = 1 1 + q 1 2 + q 1 1 + q 2 2 + q 2 , 0 1 0 1 z 2 w 1 w 0 d q 1 z 0 d q 2 w = q 2 2 1 + q 2 1 + q 1 2 + q 1 1 + q 2 2 + q 2 , 0 1 0 1 w 2 z 1 z 0 d q 1 z 0 d q 2 w = q 1 2 1 + q 1 1 + q 1 2 + q 1 1 + q 2 2 + q 2 , 0 1 0 1 z w 1 z 1 w 0 d q 1 z 0 d q 2 w = q 1 2 q 2 2 1 + q 1 1 + q 2 1 + q 1 2 + q 1 1 + q 2 2 + q 2
and:
q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , ϱ , ρ Q .
Hence, from (21), we get:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M .
Analogously, we also have:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M ,
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M ,
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M .
Now, by making use of the inequalities (22)–(25) and the fact that:
F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 + F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ξ 4 ρ ) 2 + F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ρ ξ 3 ) 2 + F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ξ 4 ρ ) 2 = F α , λ ν ϱ ξ 1 2 + F α , λ ν ξ 2 ϱ 2 F α , λ ν ρ ξ 3 2 + F α , λ ν ξ 4 ρ 2 ,
we get the inequality (20). This completes the proof. ☐
Corollary 2.
Setting q 1 , q 2 1 in Theorem 9, we obtain the following new inequality:
O ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ M F α , λ ν ϱ ξ 1 2 + F α , λ ν ξ 2 ϱ 2 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ρ ξ 3 2 + F α , λ ν ξ 4 ρ 2 2 F α , λ ν ξ 4 ξ 3 .
Theorem 10.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] Q o where α , λ > 0 and ν = ( ν ( 0 ) , , ν ( l ) ) are the bounded sequence of positive real numbers with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] , σ , τ > 1 , 1 τ + 1 σ = 1 and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , then the following inequality holds:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M 1 q 1 1 q 1 σ + 1 1 q 2 1 q 2 σ + 1 σ × F α , λ ν ϱ ξ 1 2 + F α , λ ν ξ 2 ϱ 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ρ ξ 3 2 + F α , λ ν ξ 4 ρ 2 F α , λ ν ξ 4 ξ 3 .
Proof. 
Taking the absolute value on both sides of (10) and applying the Hölder inequality for double integrals, we have that the inequality holds:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ 0 1 0 1 z σ w σ 0 d q 1 z 0 d q 2 w 1 σ q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ξ 4 ρ ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ξ 4 ρ ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ .
Using the coordinated generalized Φ -convex of q 1 , q 2 2 q 1 z q 2 w Ψ τ , we get that the following inequality holds:
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) τ 0 1 0 1 z w 0 d q 1 z 0 d q 2 w + q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ξ 3 ) τ 0 1 0 1 z 1 w 0 d q 1 z 0 d q 2 w + q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 , ρ ) τ 0 1 0 1 w 1 z 0 d q 1 z 0 d q 2 w + q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 , ξ 3 ) τ 0 1 0 1 1 z 1 w 0 d q 1 z 0 d q 2 w .
By using Definition 8, we get:
0 1 0 1 z w 0 d q 1 z 0 d q 2 w = 1 1 + q 1 1 + q 2 , 0 1 0 1 z 1 w 0 d q 1 z 0 d q 2 w = q 2 1 + q 1 1 + q 2 , 0 1 0 1 w 1 z 0 d q 1 z 0 d q 2 w = q 1 1 + q 1 1 + q 2 , 0 1 0 1 1 z 1 w 0 d q 1 z 0 d q 2 w = q 1 q 2 1 + q 1 1 + q 2
and:
q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , ϱ , ρ Q .
Hence, from (27), we get:
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w M τ .
Similarly, we also have the following inequalities:
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w M τ ,
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w M τ ,
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w M τ
and using the fact that:
0 1 0 1 z σ w σ 0 d q 1 z 0 d q 2 w = 1 q 1 1 q 1 σ + 1 1 q 2 1 q 2 σ + 1
and the above inequalities in (27), we get (26). This completes the proof of the theorem. ☐
Corollary 3.
Setting q 1 , q 2 1 in Theorem 10, we obtain the following new inequality:
O ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M 1 1 + σ 2 σ F α , λ ν ϱ ξ 1 2 + F α , λ ν ξ 2 ϱ 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ρ ξ 3 2 + F α , λ ν ξ 4 ρ 2 F α , λ ν ξ 4 ξ 3 .
Theorem 11.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] Q o where α , λ > 0 and ν = ( ν ( 0 ) , , ν ( l ) ) are the bounded sequence of positive real numbers with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] , τ 1 and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , then the following inequality holds:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M ( 1 + q 1 ) ( 1 + q 2 ) F α , λ ν ϱ ξ 1 2 + F α , λ ν ξ 2 ϱ 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ρ ξ 3 2 + F α , λ ν ξ 4 ρ 2 F α , λ ν ξ 4 ξ 3 .
Proof. 
Taking the absolute value on both sides of (10) and applying the power mean inequality for double integrals, we have that the inequality holds:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ 0 1 0 1 z w 0 d q 1 z 0 d q 2 w 1 1 τ q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ξ 4 ρ ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ξ 4 ρ ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ .
By a similar argument as in Theorem 9 that q 1 , q 2 2 q 1 z q 2 w Ψ τ is coordinated generalized Φ -convex on Q :
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M τ , 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M τ , 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M τ
and:
0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 1 + q 1 1 + q 2 M τ .
Now, by utilizing the above inequalities and the fact that:
0 1 0 1 z w 0 d q 1 z 0 d q 2 w = 1 ( 1 + q 1 ) ( 1 + q 2 ) ,
in (28), this completes the proof of the theorem. ☐
Corollary 4.
Setting q 1 , q 2 1 in Theorem 10, we obtain the following new inequality:
O ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ M 4 F α , λ ν ϱ ξ 1 2 + F α , λ ν ξ 2 ϱ 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ρ ξ 3 2 + F α , λ ν ξ 4 ρ 2 F α , λ ν ξ 4 ξ 3 .
Theorem 12.
For ϱ , ρ Q , and assume that a function h : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] Q o where α , λ > 0 and ν = ( ν ( 0 ) , , ν ( l ) ) are the bounded sequence of positive real numbers with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-concave on the coordinates on [ ξ 1 , ξ 1 + F α , λ ν ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F α , λ ν ( ξ 4 ξ 3 ) ] , σ , τ > 1 , 1 τ + 1 σ = 1 , then the following inequality holds:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 F α , λ ν ( ξ 2 ξ 1 ) F α , λ ν ( ξ 4 ξ 3 ) 1 q 1 1 q 1 σ + 1 1 q 2 1 q 2 σ + 1 σ × F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ + F α , λ ν ( ξ 4 ρ ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ + F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ρ ξ 3 ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ + F α , λ ν ( ξ 4 ρ ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ .
Proof. 
Taking the absolute value on both sides of (10) and applying the Hölder inequality for double integrals, we have that the inequality holds:
Ω q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ 0 1 0 1 z σ w σ 0 d q 1 z 0 d q 2 w 1 σ q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ϱ ξ 1 ) 2 F α , λ ν ( ξ 4 ρ ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ + q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ρ ξ 3 ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ
+ q 1 q 2 F α , λ ν ( ξ 2 ϱ ) 2 F α , λ ν ( ξ 4 ρ ) 2 F α , λ ν ξ 2 ξ 1 F α , λ ν ξ 4 ξ 3 × 0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 τ .
Since q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ -concave on the coordinates on Q , so an application of (4) with the inequalities in reversed direction gives us the following inequalities:
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 2 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , q 2 ρ + ξ 3 1 + q 2 τ 0 d q 1 z + 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , ξ 3 + w F α , λ ν ( ρ ξ 3 ) τ 0 d q 2 w q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ ,
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w 1 2 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ξ 1 + z F α , λ ν ( ϱ ξ 1 ) , q 2 ρ + ξ 4 1 + q 2 τ 0 d q 1 z + 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , ξ 4 + w F α , λ ν ( ρ ξ 4 ) τ 0 d q 2 w q 1 , q 2 2 q 1 z q 2 w h q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ ,
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 3 + w F α , λ ν ( ρ ξ 3 ) ) τ 0 d q 1 z 0 d q 2 w 1 2 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , q 2 ρ + ξ 3 1 + q 2 τ 0 d q 1 z + 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , ξ 3 + w F α , λ ν ( ρ ξ 3 ) τ 0 d q 2 w q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ
and:
0 1 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , ξ 4 + w F α , λ ν ( ρ ξ 4 ) ) τ 0 d q 1 z 0 d q 2 w
1 2 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ ξ 2 + z F α , λ ν ( ϱ ξ 2 ) , q 2 ρ + ξ 4 1 + q 2 τ 0 d q 1 z + 0 1 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , ξ 4 + w F α , λ ν ( ρ ξ 4 ) τ 0 d q 2 w q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ .
By making use of (29)–(32) in (28), the proof of Theorem 12 is complete. ☐

5. Quantum Estimates Using the Hypergeometric and Mittag–Leffler Functions

As stated in the Preliminaries Section, for suitable values of parameters α , λ , and ν in Raina’s function (6), by using the new form of Raina’s function (6), we can establish results for the hypergeometric function and the Mittag–Leffler function as special cases.

5.1. For the Hypergeometric Function

Taking α = 1 , λ = 0 , and:
ν l = ϕ l ψ l φ l for l = 0 , 1 , 2 , 3 ,
then from Lemma 1, Theorems 9–12, the following results hold.
Lemma 2.
Suppose that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , and let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 , then one has the equality:
Υ q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = q 1 q 2 [ F ( ϕ , ψ ; φ ; ϱ ξ 1 ) ] 2 [ F ϕ , ψ ; φ ; ρ ξ 3 ] 2 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F ϕ , ψ ; φ ; ϱ ξ 1 , ξ 3 + w F ϕ , ψ ; φ ; ρ ξ 3 ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F ( ϕ , ψ ; φ ; ϱ ξ 1 ) ] 2 [ F ( ϕ , ψ ; φ ; ξ 4 ρ ) ] 2 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z F ϕ , ψ ; φ ; ϱ ξ 1 , ξ 4 + w F ( ϕ , ψ ; φ ; ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F ( ϕ , ψ ; φ ; ξ 2 ϱ ) ] 2 [ F ϕ , ψ ; φ ; ρ ξ 3 ] 2 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F ( ϕ , ψ ; φ ; ϱ ξ 2 ) , ξ 3 + w F ϕ , ψ ; φ ; ρ ξ 3 ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ F ( ϕ , ψ ; φ ; ξ 2 ϱ ) ] 2 [ F ( ϕ , ψ ; φ ; ξ 4 ρ ) ] 2 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 × 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z F ( ϕ , ψ ; φ ; ϱ ξ 2 ) , ξ 4 + w F ( ϕ , ψ ; φ ; ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w ,
where:
Υ q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = Ψ ϱ , ρ + 1 F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ξ 3 ξ 3 + F ( ϕ , ψ ; φ ; ρ ξ 3 ) Ψ ( ϱ , v ) 0 d q 2 v + ξ 4 ξ 4 + F ( ϕ , ψ ; φ ; ρ ξ 4 ) Ψ ( ϱ , v ) 0 d q 2 v + 1 F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ξ 1 ξ 1 + F ( ϕ , ψ ; φ ; ϱ ξ 1 ) Ψ ( u , ρ ) 0 d q 1 u + ξ 2 ξ 2 + F ( ϕ , ψ ; φ ; ϱ ξ 2 ) Ψ ( u , ρ ) 0 d q 1 u C
and:
C = 1 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 ξ 1 ξ 1 + F ( ϕ , ψ ; φ ; ϱ ξ 1 ) ξ 3 ξ 3 + F ϕ , ψ ; φ ; ρ ξ 3 Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 ξ 1 ξ 1 + F ( ϕ , ψ ; φ ; ϱ ξ 1 ) ξ 4 ξ 4 + F ϕ , ψ ; φ ; ρ ξ 4 Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 ξ 2 ξ 2 + F ( ϕ , ψ ; φ ; ϱ ξ 2 ) ξ 3 ξ 3 + F ϕ , ψ ; φ ; ρ ξ 3 Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ξ 4 ξ 3 ξ 2 ξ 2 + F ( ϕ , ψ ; φ ; ϱ ξ 2 ) ξ 4 ξ 4 + F ϕ , ψ ; φ ; ρ ξ 4 Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
Theorem 13.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ] , σ , τ > 1 , 1 τ + 1 σ = 1 and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , then the following inequality holds:
Υ q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M 1 q 1 1 q 1 σ + 1 1 q 2 1 q 2 σ + 1 σ × F ϕ , ψ ; φ ; ϱ ξ 1 2 + F ϕ , ψ ; φ ; ξ 2 ϱ 2 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ρ ξ 3 2 + F ϕ , ψ ; φ ; ξ 4 ρ 2 F ϕ , ψ ; φ ; ξ 4 ξ 3 .
Theorem 14.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ] , τ 1 and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , then the following inequality holds
Υ q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M ( 1 + q 1 ) ( 1 + q 2 ) × F ϕ , ψ ; φ ; ϱ ξ 1 2 + F ϕ , ψ ; φ ; ξ 2 ϱ 2 F ϕ , ψ ; φ ; ξ 2 ξ 1 F ϕ , ψ ; φ ; ρ ξ 3 2 + F ϕ , ψ ; φ ; ξ 4 ρ 2 F ϕ , ψ ; φ ; ξ 4 ξ 3 .
Theorem 15.
For ϱ , ρ Q , and assume that a function h : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-concave on the coordinates on [ ξ 1 , ξ 1 + F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) ] , σ , τ > 1 , 1 τ + 1 σ = 1 , then the following inequality holds:
Υ q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 F ( ϕ , ψ ; φ ; ξ 2 ξ 1 ) F ( ϕ , ψ ; φ ; ξ 4 ξ 3 ) 1 q 1 1 q 1 σ + 1 1 q 2 1 q 2 σ + 1 σ × F ( ϕ , ψ ; φ ; ϱ ξ 1 ) 2 F ( ϕ , ψ ; φ ; ρ ξ 3 ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ + F ( ϕ , ψ ; φ ; ξ 4 ρ ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ + F ( ϕ , ψ ; φ ; ξ 2 ϱ ) 2 F ( ϕ , ψ ; φ ; ρ ξ 3 ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ + F ( ϕ , ψ ; φ ; ξ 4 ρ ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ .

5.2. For the Mittag–Leffler Function

Taking ν = ( 1 , 1 , ) with α = ϕ , R e ( ϕ ) > 0 and λ = 1 , then from Lemma 1, Theorems 9–12, the following results hold.
Lemma 3.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 , then one has the equality:
Π q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = q 1 q 2 [ E φ ( ϱ ξ 1 ) ] 2 [ E φ ( ρ ξ 3 ) ] 2 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z E φ ( ϱ ξ 1 ) , ξ 3 + w E φ ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ E φ ( ϱ ξ 1 ) ] 2 [ E φ ( ξ 4 ρ ) ] 2 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 1 + z E φ ( ϱ ξ 1 ) , ξ 4 + w E φ ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ E φ ( ξ 2 ϱ ) ] 2 [ E φ ( ρ ξ 3 ) ] 2 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z E φ ( ϱ ξ 2 ) , ξ 3 + w E φ ( ρ ξ 3 ) ) 0 d q 1 z 0 d q 2 w q 1 q 2 [ E φ ( ξ 2 ϱ ) ] 2 [ E φ ( ξ 4 ρ ) ] 2 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) 0 1 0 1 z w q 1 , q 2 2 q 1 z q 2 w Ψ ( ξ 2 + z E φ ( ϱ ξ 2 ) , ξ 4 + w E φ ( ρ ξ 4 ) ) 0 d q 1 z 0 d q 2 w ,
where:
Π q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ = Ψ ϱ , ρ + 1 E φ ( ξ 4 ξ 3 ) ξ 3 ξ 3 + E φ ( ρ ξ 3 ) Ψ ( ϱ , v ) 0 d q 2 v + ξ 4 ξ 4 + E φ ( ρ ξ 4 ) Ψ ( ϱ , v ) 0 d q 2 v + 1 E φ ( ξ 2 ξ 1 ) ξ 1 ξ 1 + E φ ( ϱ ξ 1 ) Ψ ( u , ρ ) 0 d q 1 u + ξ 2 ξ 2 + E φ ( ϱ ξ 2 ) Ψ ( u , ρ ) 0 d q 1 u D
and:
D = 1 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) ξ 1 ξ 1 + E φ ( ϱ ξ 1 ) ξ 3 ξ 3 + E φ ( ρ ξ 3 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) ξ 1 ξ 1 + E φ ( ϱ ξ 1 ) ξ 4 ξ 4 + E φ ( ρ ξ 4 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) ξ 2 ξ 2 + E φ ( ϱ ξ 2 ) ξ 3 ξ 3 + E φ ( ρ ξ 3 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v + 1 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) ξ 2 ξ 2 + E φ ( ϱ ξ 2 ) ξ 4 ξ 4 + E φ ( ρ ξ 4 ) Ψ ( u , v ) 0 d q 1 u 0 d q 2 v .
Theorem 16.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] Q o where α , λ > 0 , and ν = ( ν ( 0 ) , , ν ( l ) ) are the bounded sequence of positive real numbers with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , then the following inequality holds:
Π q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M E φ ϱ ξ 1 2 + E φ ξ 2 ϱ 2 1 + q 1 E φ ξ 2 ξ 1 E φ ρ ξ 3 2 + E φ ξ 4 ρ 2 1 + q 2 E φ ξ 4 ξ 3 .
Theorem 17.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] , σ , τ > 1 , 1 τ + 1 σ = 1 and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , ϱ , ρ Q , then the following inequality holds:
Π q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M 1 q 1 1 q 1 σ + 1 1 q 2 1 q 2 σ + 1 σ E φ ϱ ξ 1 2 + E φ ξ 2 ϱ 2 E ϕ ξ 2 ξ 1 E ϕ ρ ξ 3 2 + E φ ξ 4 ρ 2 E φ ξ 4 ξ 3 .
Theorem 18.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-convex on the coordinates on [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] , τ 1 and q 1 , q 2 2 q 1 z q 2 w Ψ ( ϱ , ρ ) M , then the following inequality holds:
Π q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 M ( 1 + q 1 ) ( 1 + q 2 ) × E φ ϱ ξ 1 2 + E φ ξ 2 ϱ 2 E ϕ ξ 2 ξ 1 E ϕ ρ ξ 3 2 + E φ ξ 4 ρ 2 E φ ξ 4 ξ 3 .
Theorem 19.
For ϱ , ρ Q , and assume that a function Ψ : Q R 2 R is the second-order partial q 1 q 2 -derivatives over Q o , then let the second-order partial q 1 q 2 -derivatives be continuous and integrable over [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] Q o with 0 < q 1 , q 2 < 1 . If q 1 , q 2 2 q 1 z q 2 w Ψ τ is generalized Φ-concave on the coordinates on [ ξ 1 , ξ 1 + E φ ( ξ 2 ξ 1 ) ] × [ ξ 3 , ξ 3 + E φ ( ξ 4 ξ 3 ) ] , σ , τ > 1 , 1 τ + 1 σ = 1 , then the following inequality holds:
Π q 1 q 2 ξ 1 , ξ 2 , ξ 3 , ξ 4 Ψ q 1 q 2 E φ ( ξ 2 ξ 1 ) E φ ( ξ 4 ξ 3 ) 1 q 1 1 q 1 σ + 1 1 q 2 1 q 2 σ + 1 σ × E φ ( ϱ ξ 1 ) 2 E φ ( ρ ξ 3 ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ + E φ ( ξ 4 ρ ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 1 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ + E φ ( ξ 2 ϱ ) 2 E φ ( ρ ξ 3 ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 3 1 + q 2 τ + E φ ( ξ 4 ρ ) 2 q 1 , q 2 2 q 1 z q 2 w Ψ q 1 ϱ + ξ 2 1 + q 1 , q 2 ρ + ξ 4 1 + q 2 τ .

6. Example

Example 1.
Let a function Ψ ( ϱ , ρ ) = ϱ ρ be the second-order partial 1 2 , 1 3 -derivatives over Q o , and let the second-order partial 1 2 , 1 3 -derivatives be continuous and integrable over [ 0 , F α , λ ν ( 1 0 ) ] × [ 0 , F α , λ ν ( 2 0 ) ] Q o where α , λ > 0 and ν = ( ν ( 0 ) , , ν ( l ) ) are the bounded sequence of positive real numbers. If 1 2 , 1 3 2 1 2 z 1 3 w Ψ is generalized Φ-convex on the coordinates on [ 0 , F α , λ ν ( 1 0 ) ] × [ 0 , F α , λ ν ( 2 0 ) ] and M = 0 . 68 , then all assumptions of Theorem 9 are satisfied.
Clearly,
| Ω 1 2 1 3 0 , 1 , 0 , 2 Ψ | = | ϱ ρ + ϱ F α , λ ν ( 2 0 ) 0 F α , λ ν ( ρ 0 ) v 0 d 1 3 v + 2 2 + F α , λ ν ( ρ 2 ) v 0 d 1 3 v + ρ F α , λ ν ( 1 0 ) 0 F α , λ ν ( ϱ 0 ) u 0 d 1 2 u + 1 1 + F α , λ ν ( ϱ 1 ) u 0 d 1 2 u A | 1 12 M F α , λ ν ϱ 0 2 + F α , λ ν 1 ϱ 2 F α , λ ν 1 0 F α , λ ν ρ 0 2 + F α , λ ν 2 ρ 2 F α , λ ν 2 0
and:
A = 1 F α , λ ν ( 1 0 ) F α , λ ν ( 2 0 ) [ 0 F α , λ ν ( ϱ 0 ) 0 F α , λ ν ( ρ 0 ) u v 0 d 1 2 u 0 d 1 3 + 0 F α , λ ν ( ϱ 0 ) 2 2 + F α , λ ν ( ρ 2 ) u v 0 d 1 2 u 0 d 1 3 v + 1 1 + F α , λ ν ( ϱ 1 ) 0 F α , λ ν ( ρ 0 ) u v 0 d 1 2 u 0 d 1 3 v + 1 1 + F α , λ ν ( ϱ 1 ) 2 2 + F α , λ ν ( ρ 2 ) u v 0 d 1 2 u 0 d 1 3 v ] ,
where F α , λ ν ( . ) is Raina’s function and having the property F α , λ ν ( a , b ) = b a > 0 .
We get our required inequality by using Definition 8, the above property, and taking suitable choice of ϱ , ρ Q in (33).

7. Conclusions

The endurance of any area of research, pure and applied mathematics, relies on the capability of the specialists progressing in the direction of yet-to-be-addressed inquiries and to update the existing hypothesis and practice. The idea of quantum calculus and special functions has seen numerous variations since it was originated by Leibniz and Newton. Several generalizations are predominantly because of the fact that analysts might want to explore a new scheme of study, and they have to comprehend its tendency and dissect and anticipate it well. The prediction requires its utilities in the real world. Quantum theory known as the theory with no limits is frequently used to find consequences in various scientific studies. Over the idea of the quantum and special function, a novel study was proposed in the past [43] wherein the ideas of quantum and special functions were joined to acquire the new outcomes. We suggested in this paper coordinated generalized Φ -convexity with new quantum estimates of Ostrowski-type variants to be arrived at utilizing the innovative technique. We considered various cases in the present research study. The first was associated with a useful identity, and the second one was related to the main results correlated with the coordinated generalized Φ -convexity with new quantum estimates of Ostrowski-type variants, while the last one was quantum estimates associated with hypergeometric and Mittag–Leffler functions. Our consequences are helpful for resolving integral equations’ construction for the system of interacting n bodies subject to mixed boundary conditions; see [10,11,12,13,14]. We omitted their proof, and the details are left to the interested reader. For each section, we derived an innovative numerical scheme that required all precision necessities and being simultaneously simpler to execute. To observe both of these novelties of the quantum and Raina’s function alongside new recommended numerical schemes under certain conditions, we thought about some intrigued readers. We exhibited several special cases for changing the parametric values of Raina’s function. These new investigations will be displayed in future research work being handled by the authors of the present paper.

Author Contributions

Conceptualization, H.K. and S.R.; methodology, M.I. and F.S.; software, H.K. and S.R.; validation, M.I. and S.R.; formal analysis, H.-H.C.; investigation, H.-H.C.; M.I. and D.B.; resources, M.I.; Y.-M.C. and H.-H.C.; data curation, H.-H.C.; writing—original draft preparation, H.K.; writing—review and editing, H.-H.C.; and S.R.; visualization, Y.-M.C. and D.B.; supervision, Y.-M.C. and D.B. All authors have read and agreed to the published version of the manuscript.

Funding

The work is supported by the Natural Science Foundation of China (Grant Numbers 61673169, 11301127, 11701176, 11626101, and 11601485) and The Natural Science Foundation of Huzhou City (Grant No. 2018YZ07).

Acknowledgments

The Chinese Government is acknowledged for providing a full scholarship for Ph.D. studies to Miss Humaira Kalsoom.

Conflicts of Interest

The authors declare that they have no competing interests.

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; Volume 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. Kalsoom, H.; Latif, M.A.; Junjua, M.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]
  9. 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. [Google Scholar] [CrossRef] [Green Version]
  10. Sosnovskiy, L.A.; Sherbakov, S.S. On the Development of Mechanothermodynamics as a New Branch of Physics. Entropy 2019, 21, 1188. [Google Scholar] [CrossRef] [Green Version]
  11. Sosnovskiy, L.A.; Sherbakov, S.S. A model of mechanothermodynamic entropy in tribology. Entropy 2017, 19, 115. [Google Scholar] [CrossRef]
  12. Sherbakov, S.S.; Zhuravkov, M.A. Interaction of several bodies as applied to solving tribo-fatigue problems. Acta Mech. 2013, 224, 1541–1553. [Google Scholar] [CrossRef]
  13. Sherbakov, S.S.; Zhuravkov, M.A.; Sosnovskiy, L.A. Contact interaction, volume damageability and multicriteria limiting states of multielement tribo-fatigue systems. In Selected Problems on Experimental Mathematics; Wydawnictwo Politechniki Slaskiej: Gliwice, Poland, 2017; pp. 17–38. [Google Scholar]
  14. Shcherbakov, S.S. Spatial stress-strain state of tribofatigue system in roll–shaft contact zone. Strength Mater. 2013, 45, 35–43. [Google Scholar] [CrossRef]
  15. 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 2019, 7, 1225. [Google Scholar] [CrossRef] [Green Version]
  16. Rafeeq, S.; Kalsoom, K.; Hussain, S.; Rashid, S.; Chu, Y.M. Delay dynamic double integral inequalities on time scales with applications. Adv. Differ. Equ. 2020, 1, 1–32. [Google Scholar] [CrossRef] [Green Version]
  17. Rashid, S.; Kalsoom, H.; Hammouch, Z.; Ashraf, R.; Baleanu, D.; Chu, Y.M. New Multi-Parametrized Estimates Having pth-Order Differentiability in Fractional Calculus for Predominating -Convex Functions in Hilbert Space. Symmetry 2020, 12, 222. [Google Scholar] [CrossRef] [Green Version]
  18. Kirmaci, U.S. Inequalities for differentiable mappings and applications to special means of real numbers to midpoint formula. Appl. Math. Comput. 2004, 147, 137–146. [Google Scholar] [CrossRef]
  19. Dragomir, S.S.; Agarwal, R.P. Two inequalities for differentiable mappings and applications to special means of real numbers and to Trapezoidal formula. Appl. Math. Lett. 1998, 11, 91–95. [Google Scholar] [CrossRef] [Green Version]
  20. Kirmaci, U.S.; Ozdemir, M.E. On some inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula. Appl. Math. Comput. 2004, 153, 361–368. [Google Scholar] [CrossRef]
  21. 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]
  22. 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]
  23. 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]
  24. Kalsoom, H.; Hussain, S.; Rashid, S. Hermite-Hadamard Type Integral Inequalities for Functions Whose Mixed Partial Derivatives Are Co-ordinated Preinvex. Punjab Univ. J. Math. 2020, 52, 63–76. [Google Scholar]
  25. Doming, N.; Rashid, S.; Akdemir, A.O.; Baleanue, 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]
  26. Rashid, S.; Abdeljawed, 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]
  27. Rashid, S.; Noor, M.A.; Noor, K.I.; Safdar, F.; Chu, Y.-M. Hermite-Hadamard inequalities for the class of convex functions on time scale. Mathematics 2019, 7, 956. [Google Scholar] [CrossRef] [Green Version]
  28. Barnett, N.S.; Dragomir, S.S. An Ostrowski-type inequality for double integrals and applications for cubature formulae. Soochow J. Math. 2001, 27, 109–114. [Google Scholar]
  29. Cerone, P.; Dragomir, S.S. Ostrowski-type inequalities for functions whose derivatives satisfy certain convexity assumptions. Demonstratio Math. 2004, 37, 299–308. [Google Scholar] [CrossRef] [Green Version]
  30. Latif, M.A.; Dragomir, S.S.; Matouk, A.E. New inequalites of Ostrowski-type for co-ordinated s-convex functions via fractional integrals. J. Fractional. Calc. Appl. 2013, 4, 22–36. [Google Scholar]
  31. Latif, M.A.; Dragomir, S.S. New Ostrowski-type inequalites for co-ordinated s-convex functions in the second sense. Le Matematiche 2012, LXVII, 57–72. [Google Scholar]
  32. Ostrowski, A.M. Über die absolutabweichung einer differentiebaren funktion von ihrem in- tegralmitelwert, Comment. Math. Helv. 1938, 10, 226–227. [Google Scholar] [CrossRef]
  33. Latif, M.A.; Hussain, S.; Dragomir, S.S. New Ostrowski-type inequalities for co-ordinated convex functions. TJMM 2012, 4, 125–136. [Google Scholar]
  34. Noor, M.A.; Awan, M.U.; Noor, I.K. Quantum Ostrowski inequalities for q–differentiable convex functions. J. Math. Inequal. 2016, 10, 1013–1018. [Google Scholar] [CrossRef]
  35. 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]
  36. Bai, S.P.; Qi, F.; Wang, S.H. Some new integral inequalities of Hermite-Hadamard type for (α, m, P)-convex functions on co-ordinates. J. Appl. Anal. Comput. 2016, 6, 171–178. [Google Scholar]
  37. Latif, M.A.; Alomari, M. Hadamard-type inequalities for product two convex functions on the co-ordinates. Int. Math. 2009, 4, 2327–2338. [Google Scholar]
  38. Matloka, M. On some Hadamard-type inequalities for (h1,h2)-preinvex functions on the co-ordinates. J. Inequal. Appl. 2013, 227. [Google Scholar]
  39. Özdemir, M.E.; Akdemir, A.O.; Tunc, M. On some Hadamard-type inequalities for co-ordinated convex functions. arXiv 2012, arXiv:1203.4327. [Google Scholar]
  40. Xi, B.Y.; Qi, F. Some new integral inequalities of Hermite-Hadamard type for (log,(α, m))-convex functions on co-ordinates. Stud. Univ. Babeş-Bolyai Math. 2015, 60, 509–525. [Google Scholar]
  41. Dragomir, S.S. On Hadamard’s inequality for convex functions on the co-ordinates in a rectangle from the plane. Taiwan. J. Math. 2001, 4, 775–788. [Google Scholar] [CrossRef]
  42. Raina, R.K. On generalized Wright’s hypergeometric functions and fractional calculus operators. East Asian Math. J. 2005, 21, 191–203. [Google Scholar]
  43. Vivas-Cortez, M.J.; Kashuri, A.; Liko, R.; Hernández Hernández, J.E. Quantum Estimates of Ostrowski Inequalities for Generalized ϕ-Convex Functions. Symmetry 2019, 12, 1513. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Chu, H.-H.; Kalsoom, H.; Rashid, S.; Idrees, M.; Safdar, F.; Chu, Y.-M.; Baleanu, D. Quantum Analogs of Ostrowski-Type Inequalities for Raina’s Function correlated with Coordinated Generalized Φ-Convex Functions. Symmetry 2020, 12, 308. https://doi.org/10.3390/sym12020308

AMA Style

Chu H-H, Kalsoom H, Rashid S, Idrees M, Safdar F, Chu Y-M, Baleanu D. Quantum Analogs of Ostrowski-Type Inequalities for Raina’s Function correlated with Coordinated Generalized Φ-Convex Functions. Symmetry. 2020; 12(2):308. https://doi.org/10.3390/sym12020308

Chicago/Turabian Style

Chu, Hong-Hu, Humaira Kalsoom, Saima Rashid, Muhammad Idrees, Farhat Safdar, Yu-Ming Chu, and Dumitru Baleanu. 2020. "Quantum Analogs of Ostrowski-Type Inequalities for Raina’s Function correlated with Coordinated Generalized Φ-Convex Functions" Symmetry 12, no. 2: 308. https://doi.org/10.3390/sym12020308

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