Next Article in Journal
Optical Inspection Systems for Axisymmetric Parts with Spatial 2D Resolution
Next Article in Special Issue
Some Properties Concerning the JL(X) and YJ(X) Which Related to Some Special Inscribed Triangles of Unit Ball
Previous Article in Journal
Individual Identification of Radar Emitters Based on a One-Dimensional LeNet Neural Network
Previous Article in Special Issue
Continuous Wavelet Transform of Schwartz Distributions in DL2(Rn), n ≥ 1
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Hermite–Hadamard Inclusions for Co-Ordinated Interval-Valued Functions via Post-Quantum Calculus

by
Jessada Tariboon
1,*,†,
Muhammad Aamir Ali
2,*,†,
Hüseyin Budak
3,† and
Sotiris K. Ntouyas
4,5,†
1
Intelligent and Nonlinear Dynamic Innovations Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok 10800, Thailand
2
Jiangsu Key Laboratory for NSLSCS, School of Mathematical Sciences, Nanjing Normal University, Nanjing 210023, China
3
Department of Mathematics, Faculty of Science and Arts, Düzce University, Düzce 81620, Turkey
4
Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece
5
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
*
Authors to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2021, 13(7), 1216; https://doi.org/10.3390/sym13071216
Submission received: 5 June 2021 / Revised: 30 June 2021 / Accepted: 3 July 2021 / Published: 7 July 2021
(This article belongs to the Special Issue Functional Equations and Inequalities 2021)

Abstract

:
In this paper, the notions of post-quantum integrals for two-variable interval-valued functions are presented. The newly described integrals are then used to prove some new Hermite–Hadamard inclusions for co-ordinated convex interval-valued functions. Many of the findings in this paper are important extensions of previous findings in the literature. Finally, we present a few examples of our new findings. Analytic inequalities of this nature and especially the techniques involved have applications in various areas in which symmetry plays a prominent role.

1. Introduction

The modern name for the study of calculus without limits is quantum calculus, or q-calculus. It has been studied since the early eighteenth century. Euler, a prominent mathematician, invented q-calculus, and F. H. Jackson [1] discovered the definite q-integral known as the q-Jackson integral in 1910. Orthogonal polynomials, combinatorics, number theory, simple hypergeometric functions, quantum theory, dynamics, and theory of relativity are only a few of the applications of quantum calculus in mathematics and physics; see, for example, [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19] and the references therein. V. Kac and P. Cheung’s book [20] discusses the fundamentals of quantum calculus as well as the basic theoretical terms.
J. Tariboon and S. K. Ntouyas [21] described and proved some of the properties of the q-derivative and q-integral of a continuous functions on finite intervals in 2013. Moreover, they proved Hermite–Hadamard-type inequalities and many others for convex functions in the setting of quantum calculus; for more information, see [22].
M. Tunç and E. Göv [23] presented the ( p , q ) -derivative and ( p , q ) -integral on finite intervals in 2016, proved some of their properties, and proved a number of integral inequalities using the ( p , q ) -calculus. Many researchers have recently begun working in this direction, based on the works of M. Tunç and E. Göv, and some further findings on the analysis of ( p , q ) -calculus can be found in [24,25,26,27].
In [28], S. S. Dragomir proved the following inequalities, which are Hermite–Hadamard type inequalities for co-ordinated convex functions on the rectangle from the plane R 2 .
Theorem 1.
Suppose that f : a , b × c , d R is co-ordinated convex; then we have the following inequalities:
f a + b 2 , c + d 2 1 2 1 b a a b f x , c + d 2 d x + 1 d c c d f a + b 2 , y d y 1 ( b a ) ( d c ) a b c d f ( x , y ) d y d x 1 4 1 b a a b f ( x , c ) d x + 1 b a a b f ( x , d ) d x + 1 d c c d f ( a , y ) d y + 1 d c c d f ( b , y ) d y f ( a , c ) + f ( a , d ) + f ( b , c ) + f ( b , d ) 4 .
The above inequalities are sharp. The inequalities in (1) hold in the reverse direction if the mapping f is a co-ordinated concave mapping.
The quantum variant of above inequality (1) was given by M. Kunt et al. in [29], S. Bermudo et al. [30] recently used q-calculus to describe new q b -derivative and q b -integral, as well as to give the Hermite–Hadamard inequality. H. Budak et al. [31] defined some new q b -integrals for co-ordinates and Hermite–Hadamard inequalities for co-ordinated convex functions as a result of this. F. Wannalookkhee et al. [32] in 2021 gave some new definitions of ( p , q ) b -integrals and used them to prove the following Hermite–Hadamard inequalities:
f q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 1 2 1 p 1 b a a p 1 b + 1 p 1 a f x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 x + 1 p 2 d c p 2 c + 1 p 2 d d f q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y 1 p 1 p 2 b a d c a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d f x , y d d p 2 , q 2 y a d p 1 , q 1 x 1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d f a , y d d p 2 , q 2 y + p 1 p 2 c + 1 p 2 d d f b , y d d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a f x , c a d p 1 , q 1 x + q 2 a p 1 b + 1 p 1 a f x , d a d p 1 , q 1 x q 1 p 2 f a , c + q 1 q 2 f a , d + p 1 p 2 f b , c + q 2 p 1 f b , d 2 p 1 , q 1 2 p 2 , q 2 ,
f p 1 a + q 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 1 2 1 p 1 b a p 1 a + 1 p 1 b b f x , q 2 c + p 2 d 2 p 2 , q 2 b d p 1 , q 1 x + 1 p 2 d c c p 2 d + 1 p 2 c f p 1 a + q 1 b 2 p 1 , q 1 , y c d p 2 , q 2 y 1 p 1 p 2 b a d c p 1 a + 1 p 1 b b c p 2 d + 1 p 2 c f x , y c d p 2 , q 2 y b d p 1 , q 1 x 1 2 p 2 2 p 1 , q 1 d c p 1 c p 2 d + 1 p 2 c f a , y c d p 2 , q 2 y + q 1 c p 2 d + 1 p 2 c f b , y c d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a q 2 p 1 a + 1 p 1 b b f x , c b d p 1 , q 1 x + p 2 p 1 a + 1 p 1 b b f x , d b d p 1 , q 1 x p 1 q 2 f a , c + p 1 p 2 f a , d + q 1 q 2 f b , c + q 1 p 2 f b , d 2 p 1 , q 1 2 p 2 , q 2 ,
f p 1 a + q 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 1 2 1 p 1 b a p 1 a + 1 p 1 b b f x , p 2 c + q 2 d 2 p 2 , q 2 b d p 1 , q 1 x + 1 p 2 d c p 2 c + 1 p 2 d d f p 1 a + q 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y 1 p 1 p 2 b a d c p 1 a + 1 p 1 b b p 2 c + 1 p 2 d d f x , y d d p 2 , q 2 y b d p 1 , q 1 x 1 2 p 2 2 p 1 , q 1 d c p 1 p 2 c + 1 p 2 d d f a , y d d p 2 , q 2 y + q 1 p 2 c + 1 p 2 d d f b , y d d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a p 2 p 1 a + 1 p 1 b b f x , c b d p 1 , q 1 x + q 2 p 1 a + 1 p 1 b b f x , d b d p 1 , q 1 x p 1 p 2 f a , c + p 1 q 2 f a , d + q 1 p 2 f b , c + q 1 q 2 f b , d 2 p 1 , q 1 2 p 2 , q 2 .

2. Interval Calculus

In this section, we provide notation and background information on interval analysis. The space of all closed intervals of R is denoted by I c , and Δ is a bounded element of I c . We have the representation
Δ = Θ 1 ̲ , Θ 1 ¯ = R : Θ 1 ̲ Θ 1 ¯
where Θ 1 ̲ , Θ 1 ¯ R and Θ 1 ̲ Θ 1 ¯ . L Δ = Θ 1 ¯ Θ 1 ̲ can be used to express the length of the interval Δ = Θ 1 ̲ , Θ 1 ¯ . The left and right endpoints of interval Δ are denoted by the numbers Θ 1 ̲ and Θ 1 ¯ , respectively. The interval Δ is said to be degenerate when Θ 1 ̲ = Θ 1 ¯ , and the form Δ = Θ 1 = [ Θ 1 , Θ 1 ] is used. In addition, if Θ 1 ̲ > 0 , we can say Δ is positive, and if Θ 1 ¯ < 0 , we can say Δ is negative. I c + and I c denote the sets of all closed positive intervals and closed negative intervals of R , respectively. Between the intervals Δ and Λ , the Pompeiu–Hausdorff distance is defined by
d H Δ , Λ = d H Θ 1 ̲ , Θ 1 ¯ , Θ 2 ̲ , Θ 2 ¯ = max Θ 1 ̲ Θ 2 ̲ , Θ 1 ¯ Θ 2 ¯ .
I c , d is a complete metric space, as far as we know (see, [33]).
| Δ | denotes the absolute value of Δ , which is the maximum of the absolute values of its endpoints:
Δ = max Θ 1 ̲ , Θ 1 ¯ .
The following are the concepts for fundamental interval arithmetic operations for the intervals Δ and Λ :
Δ + Λ = Θ 1 ̲ + Θ 2 ̲ , Θ 1 ¯ + Θ 2 ¯ , Δ Λ = Θ 1 ̲ Θ 2 ¯ , Θ 1 ¯ Θ 2 ̲ , Δ · Λ = min U , max U where U = Θ 1 ̲ Θ 2 ̲ , Θ 1 ̲ Θ 2 ¯ , Θ 1 ¯ Θ 2 ̲ , Θ 1 ¯ Θ 2 ¯ , Δ / Λ = min V , max V where V = Θ 1 ̲ / Θ 2 ̲ , Θ 1 ̲ / Θ 2 ¯ , Θ 1 ¯ / Θ 2 ̲ , Θ 1 ¯ / Θ 2 ¯ and 0 Λ .
The interval Δ ’s scalar multiplication is defined by
μ Δ = μ Θ 1 ̲ , Θ 1 ¯ = μ Θ 1 ̲ , μ Θ 1 ¯ , μ > 0 ; 0 , μ = 0 ; μ Θ 1 ¯ , μ Θ 1 ̲ , μ < 0 ,
where μ R .
The opposite of the interval Δ is
Δ : = ( 1 ) Δ = [ Θ 1 ¯ , Θ 1 ̲ ] ,
where μ = 1 .
In general, Δ is not additive inverse for Δ , i.e., Δ Δ 0 .
Definition 1
([2]). For some kind of the intervals Δ, Λ I c , we denote the the H-difference of Δ and Λ as the Ω I c , and we have
Δ g Λ = Ω ( i ) Δ = Λ + Ω o r ( i i ) Λ = Δ + Ω .
It seems uncontroversial that
Δ g Λ = Θ 1 ̲ Θ 2 ̲ , Θ 1 ¯ Θ 2 ¯ , i f L Δ L Λ Θ 1 ¯ Θ 2 ¯ , Θ 1 ̲ Θ 2 ̲ , i f L Δ L Λ ,
where L Δ = Θ 1 ¯ Θ 1 ̲ and L Λ = Θ 2 ¯ Θ 2 ̲ .
The definitions of operations generate a large number of algebraic properties, enabling I c to be a quasilinear space (see [34]). The following are some of these characteristics (see [33,34,35,36]):
(1) (Law of associative under +) ( Δ + Λ ) + C = Δ + ( Λ + C ) for all Δ , Λ , C I c ,
(2) (Additivity element) Δ + 0 = 0 + Δ = Δ for all Δ I c ,
(3) (Law of commutative under +) Δ + Λ = Λ + Δ for all Δ , Λ I c ,
(4) (Law of cancellation under +) Δ + C = Λ + C Δ = Λ for all Δ , Λ , C I c ,
(5) (Law of associative under ×) ( Δ · Λ ) · C = Δ · ( Λ · C ) for all Δ , Λ , C I c ,
(6) (Law of commutative under ×) Δ · Λ = Λ · Δ for all Δ , Λ I c ,
(7) (Multiplicativity element) Δ · 1 = 1 · Δ for all Δ I c ,
(8) (The first law of distributivity) λ ( Δ + Λ ) = λ Δ + λ Λ for all Δ , Λ I c and all λ R ,
(9) (The second law of distributivity) ( λ + μ ) Δ = λ Δ + μ Δ for all Δ I c and all λ , μ R .
Aside from any of these characteristics, the distributive law does not always apply to intervals. As an example, Δ = [ 1 , 2 ] , Λ = [ 2 , 3 ] and C = [ 2 , 1 ] .
Δ · ( Λ + C ) = [ 0 , 4 ] ,
whereas
Δ · Λ + Δ · C = [ 2 , 5 ] .
Another distinct feature is the inclusion ⊆, which is described by
Δ Λ Θ 1 ̲ Θ 2 ̲ and Θ 1 ¯ Θ 2 ¯ .
In [37], Zhao et al. gave the notions about the co-ordinated convex interval-valued functions and inclusions of Hermite–Hadamard type.
Definition 2
([37]). A function F = F ̲ , F ¯ : a , b × c , d I c + is said to be co-ordinated convex interval-valued function if the following inclusion holds:
F ( t x + ( 1 t ) y , s u + ( 1 s ) w ) t s F ( x , u ) + t ( 1 s ) F ( x , w ) + s ( 1 t ) F ( y , u ) + ( 1 s ) ( 1 t ) F ( y , w ) ,
for all ( x , y ) , ( u , w ) a , b × c , d and s , t [ 0 , 1 ] .
Remark 1.
A function F = F ̲ , F ¯ : a , b × c , d I c + is said to be co-ordinated convex interval-valued function if and only if F ̲ and F ¯ are co-ordinated convex and concave, respectively.
Lemma 1
([37]). A function F : a , b × c , d I c + is an interval-valued convex on co-ordinates if and only if there exist two functions F x : [ c , d ] I c + , F x ( w ) = F ( x , w ) and F y : [ a , b ] I c + , F y ( u ) = F ( y , u ) are interval-valued convex.
It is easy to prove that an interval-valued convex function is an interval-valued co-ordinated convex, but the converse may not be true. For this, we can see the following example.
Example 1.
An interval-valued function F : [ 0 , 1 ] 2 I c + defined as F ( x , y ) = [ x y , ( 6 e x ) ( 6 e y ) ] is an interval-valued convex on co-ordinates, but it is not an interval-valued convex on [ 0 , 1 ] 2 .
For more recent inclusions of Hermite–Hadamard type for co-ordinated convex interval-valued functions one can read [37,38].

3. Basics of Quantum and Post-Quantum Calculus

In this section, we review some necessary definitions about q and p , q -calculus for real-valued and interval-valued functions. Moreover, here and further, we use the following notations with 0 < q < p 1 :
n q = q n 1 q 1 = 1 + q + q 2 + + q n 1 , n p , q = p n q n p q = p n 1 + p n 2 q + p n 3 q 2 + + q n 1 .
Definition 3
([23]). For a function f : a , b R , the definite ( p , q ) a -integral of f is stated as:
a x f t a d p , q t = p q x a n = 0 q n p n + 1 f q n p n + 1 x + 1 q n p n + 1 a
where 0 < q < p 1 and x a , p b + 1 p a .
Definition 4
([24]). For a function f : a , b R , the definite ( p , q ) b -integral of f is stated as:
x b f t b d p , q t = p q b x n = 0 q n p n + 1 f q n p n + 1 x + 1 q n p n + 1 b
with 0 < q < p 1 and x p a + 1 p b , b .
Remark 2.
If f is a symmetric function, that is, f ( t ) = f ( b + a t ) , for t [ a , b ] , then we have
a p b + ( 1 p ) a f ( t ) a d p . q t = p a + ( 1 p ) b b f ( t ) b d p , q t .
Definition 5
([26,32]). For a function f : a , b × c , d R ,
1. 
The p , q a d integral of f is given as:
a x y d f t , s d d p 2 , q 2 s a d p 1 , q 1 t = p 1 q 1 p 2 q 2 x a d y × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 f q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 a , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 d ,
where x , y a , p 1 b + 1 p 1 a × p 2 c + 1 p 2 d , d .
2. 
The p , q c b integral of f is given as:
x b c y f t , s c d p 2 , q 2 s b d p 1 , q 1 t = p 1 q 1 p 2 q 2 b x y c × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 f q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 b , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 c
where x , y p 1 a + 1 p 1 a , b × c , p 2 d + 1 p 2 c .
3. 
The p , q b d integral of f is given as:
x b y d f t , s d d p 2 , q 2 s b d p 1 , q 1 t = p 1 q 1 p 2 q 2 b x d y × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 f q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 b , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 d ,
where x , y p 1 a + 1 p 1 b , b × p 2 c + 1 p 2 d , d .
4. 
The p , q a c integral of f is given as:
a x c y f t , s c d p 2 , q 2 s a d p 1 , q 1 t = p 1 q 1 p 2 q 2 x a y c × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 f q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 a , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 c
where x , y a , p 1 b + 1 p 1 c × c , p 2 d + 1 p 2 c .
Recently, in [39], the authors gave the notions of quantum integral for the interval-valued functions and stated the following:
Definition 6
([39]). For an interval-valued function F = F ̲ , F ¯ : a , b I c , the I q a -definite integral is defined by
a x F s a d q I s = 1 q x a n = 0 q n F q n x + 1 q n a
for all x a , b .
Definition 7
([40]). For an interval-valued function F = F ̲ , F ¯ : a , b I c , the I q b -definite integral is defined by
x b F s b d q I s = 1 q b x n = 0 q n F q n x + 1 q n b
for all x a , b .
In [41], Ali et al. gave the post-quantum version of Definition 7 and defined it as:
Definition 8.
For an interval-valued function F = F ̲ , F ¯ : a , b I c , the I p , q b -definite integral is defined by
x b F s b d p , q I s = p q b x n = 0 q n p n + 1 F q n p n + 1 x + 1 q n p n + 1 b
for all x p a + 1 p b , b .
In [40], Ali et al. gave the co-ordinated version of the quantum integrals for interval-valued functions and defined it as:
Definition 9
([40]). Suppose that F = F ̲ , F ¯ : a , b × c , d I c is an interval-valued function. Then, the definite q a c , q a d , q c b and q b d integrals on a , b × c , d are defined by
a x c y F t , s c d q 2 I s a d q 1 I t = 1 q 1 1 q 2 x a y c × n = 0 m = 0 q 1 n q 2 m F q 1 n x + 1 q 1 n a , q 2 m y + 1 q 2 m c , a x y d F t , s d d q 2 I s a d q 1 I t = 1 q 1 1 q 2 x a d y × n = 0 m = 0 q 1 n q 2 m F q 1 n x + 1 q 1 n a , q 2 m y + 1 q 2 m d , x b c y F t , s c d q 2 I s     b d q 1 I t = 1 q 1 1 q 2 b x y c × n = 0 m = 0 q 1 n q 2 m F q 1 n x + 1 q 1 n b , q 2 m y + 1 q 2 m c
and
x b y d F t , s d d q 2 I s     b d q 1 I t = 1 q 1 1 q 2 b x d y × n = 0 m = 0 q 1 n q 2 m F q 1 n x + 1 q 1 n b , q 2 m y + 1 q 2 m d
respectively, for x , y a , b × c , d .
Remark 3.
It is very easy to observe that
a b c d F t , s   c d q 2 I s     a d q 1 I t = a b c d F t , s   d d q 2 I s     a d q 1 I t = a b c d F t , s   c d q 2 I s     b d q 1 I t = a b c d F t , s   d d q 2 I s     b d q 1 I t = a b c d F t , s   d I s     d I t
by taking the limits q 1 , q 2 1 (see, [42]).
Now, we define I p , q -integrals for the functions of two variables as:
Definition 10.
For an interval-valued function F = F ̲ , F ¯ : a , b × c , d I c ,
1. 
The I p , q a d integral of F is given as:
a x y d F t , s d d p 2 , q 2 I s a d p 1 , q 1 I t = p 1 q 1 p 2 q 2 x a d y × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 F q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 a , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 d ,
where x , y a , p 1 b + 1 p 1 a × p 2 c + 1 p 2 d , d .
2. 
The I p , q c b integral of F is given as:
x b c y F t , s c d p 2 , q 2 I s b d p 1 , q 1 I t = p 1 q 1 p 2 q 2 b x y c × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 F q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 b , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 c
where x , y p 1 a + 1 p 1 a , b × c , p 2 d + 1 p 2 c .
3. 
The I p , q a c integral of F is given as:
a x c y F t , s c d p 2 , q 2 I s a d p 1 , q 1 I t = p 1 q 1 p 2 q 2 x a y c × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 F q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 a , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 c
where x , y a , p 1 b + 1 p 1 c × c , p 2 d + 1 p 2 c .
4. 
The I p , q b d integral of F is given as:
x b y d F t , s d d p 2 , q 2 I s b d p 1 , q 1 I t = p 1 q 1 p 2 q 2 b x d y × n = 0 m = 0 q 1 n p 1 n + 1 q 2 m p 2 m + 1 F q 1 n p 1 n + 1 x + 1 q 1 n p 1 n + 1 b , q 2 m p 2 m + 1 y + 1 q 2 m p 2 m + 1 d ,
where x , y p 1 a + 1 p 1 b , b × p 2 c + 1 p 2 d , d .
Example 2.
Define an interval-valued mapping F = F ̲ , F ¯ : 0 , 1 × 0 , 1 I c by F t , s = t 2 s 2 , t s . Then, by Definition 10, for p 1 = p 2 = 3 4 and q 1 = q 2 = 1 2 , we have
1. 
From I p , q a d -integral:
0 3 4 1 4 1 F t , s 1 d 3 4 , 1 2 I s 0 d 3 4 , 1 2 I t = 1 4 1 4 3 4 3 4 × n = 0 m = 0 4 3 4 3 2 3 n 2 3 m 2 3 2 n . 1 2 3 m 2 , 2 3 n 1 2 3 m = 0.0729 , 0.135 .
2. 
From I p , q c b -integral:
1 4 1 0 3 4 F t , s 0 d 3 4 , 1 2 I s 1 d 3 4 , 1 2 I t = 1 4 1 4 3 4 3 4 × n = 0 m = 0 4 3 4 3 2 3 n 2 3 m 2 3 2 m . 1 2 3 n 2 , 2 3 m 1 2 3 n = 0.0729 , 0.135 .
3. 
From I p , q a c -integral:
0 3 4 0 3 4 F t , s 0 d 3 4 , 1 2 I s 0 d 3 4 , 1 2 I t = 1 4 1 4 3 4 3 4 × n = 0 m = 0 4 3 4 3 2 3 n 2 3 m 2 3 2 n . 2 3 2 m , 2 3 n . 2 3 m = 0.1262 , 0.2025 .
4. 
From I p , q b d -integral
1 4 1 1 4 1 F t , s 1 d 3 4 , 1 2 I s 1 d 3 4 , 1 2 I t = 1 4 1 4 3 4 3 4 × n = 0 m = 0 4 3 4 3 2 3 n 2 3 m 1 2 3 n 2 1 2 3 m 2 , 1 2 3 n 1 2 3 n = 0.0421 , 0.09 .

4. Some New p , q -Hermite–Hadamard Inclusions

In this section, we deal with the Hermite–Hadamard-type inclusions for co-ordinated convex interval-valued functions using the newly defined interval-valued p , q -integrals in the last section.
Theorem 2.
Let F = F ̲ , F ¯ : a , b × c , d I c + be a co-ordinated convex interval-valued function on a , b × c , d . Then, the following inclusions of Hermite–Hadamard type hold for p , q a d -integral:
F q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 1 2 1 p 1 b a a p 1 b + 1 p 1 a F x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 I x + 1 p 2 d c p 2 c + 1 p 2 d d F q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 I y 1 p 1 p 2 b a d c a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F x , y d d p 2 , q 2 I y a d p 1 , q 1 I x 1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I y + p 1 p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + q 2 a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x q 1 p 2 F a , c + q 1 q 2 F a , d + p 1 p 2 F b , c + q 2 p 1 F b , d 2 p 1 , q 1 2 p 2 , q 2 .
Proof. 
Since F = F ̲ , F ¯ : a , b × c , d I c + is a co-ordinated convex interval-valued function on co-ordinates a , b × c , d , F ̲ and F ¯ are co-ordinated convex and concave on co-ordinates a , b × c , d , respectively. Hence, from co-ordinated convexity of F ̲ and using (2), we have
F ̲ q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 1 2 1 p 1 b a a p 1 b + 1 p 1 a F ̲ x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 x + 1 p 2 d c p 2 c + 1 p 2 d d F ̲ q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y 1 p 1 p 2 b a d c a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F ̲ x , y d d p 2 , q 2 y a d p 1 , q 1 x 1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F ̲ a , y d d p 2 , q 2 y + p 1 p 2 c + 1 p 2 d d F ̲ b , y d d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F ̲ x , c a d p 1 , q 1 x + q 2 a p 1 b + 1 p 1 a F ̲ x , d a d p 1 , q 1 x q 1 p 2 F ̲ a , c + q 1 q 2 F ̲ a , d + p 1 p 2 F ̲ b , c + q 2 p 1 F ̲ b , d 2 p 1 , q 1 2 p 2 , q 2 .
From co-ordinated concavity of F ¯ and again using (2), we have
F ¯ q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 1 2 1 p 1 b a a p 1 b + 1 p 1 a F ¯ x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 x + 1 p 2 d c p 2 c + 1 p 2 d d F ¯ q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y 1 p 1 p 2 b a d c a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F ¯ x , y d d p 2 , q 2 y a d p 1 , q 1 x 1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F ¯ a , y d d p 2 , q 2 y + p 1 p 2 c + 1 p 2 d d F ¯ b , y d d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F ¯ x , c a d p 1 , q 1 x + q 2 a p 1 b + 1 p 1 a F ¯ x , d a d p 1 , q 1 x q 1 p 2 F ¯ a , c + q 1 q 2 F ¯ a , d + p 1 p 2 F ¯ b , c + q 2 p 1 F ¯ b , d 2 p 1 , q 1 2 p 2 , q 2 .
Now, from the inequalities (12) and (13), we have following inclusions:
F q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 = F ̲ q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 , F ¯ q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 1 2 1 p 1 b a a p 1 b + 1 p 1 a F ̲ x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 x , a p 1 b + 1 p 1 a F ¯ x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 x + 1 p 2 d c p 2 c + 1 p 2 d d F ̲ q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y , p 2 c + 1 p 2 d d F ¯ q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y = 1 2 1 p 1 b a a p 1 b + 1 p 1 a F x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 I x + 1 p 2 d c p 2 c + 1 p 2 d d F q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 I y ,
1 2 1 p 1 b a a p 1 b + 1 p 1 a F x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 I x + 1 p 2 d c p 2 c + 1 p 2 d d F q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 I y = 1 2 1 p 1 b a a p 1 b + 1 p 1 a F ̲ x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 x , a p 1 b + 1 p 1 a F ¯ x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 x + 1 p 2 d c p 2 c + 1 p 2 d d F ̲ q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y , p 2 c + 1 p 2 d d F ¯ q 1 a + p 1 b 2 p 1 , q 1 , y d d p 2 , q 2 y 1 p 1 p 2 b a d c × a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F ̲ x , y d d p 2 , q 2 y a d p 1 , q 1 x , a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F ¯ x , y d d p 2 , q 2 y a d p 1 , q 1 x = 1 p 1 p 2 b a d c a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F x , y d d p 2 , q 2 I y a d p 1 , q 1 I x ,
1 p 1 p 2 b a d c a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F x , y d d p 2 , q 2 I y a d p 1 , q 1 I x = 1 p 1 p 2 b a d c × a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F ̲ x , y d d p 2 , q 2 y a d p 1 , q 1 x , a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F ¯ x , y d d p 2 , q 2 y a d p 1 , q 1 x 1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F ̲ a , y d d p 2 , q 2 y , p 2 c + 1 p 2 d d F ¯ a , y d d p 2 , q 2 y + p 1 p 2 c + 1 p 2 d d F ̲ b , y d d p 2 , q 2 y , p 2 c + 1 p 2 d d F ¯ b , y d d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F ̲ x , c a d p 1 , q 1 x , a p 1 b + 1 p 1 a F ¯ x , c a d p 1 , q 1 x + q 2 a p 1 b + 1 p 1 a F ̲ x , d a d p 1 , q 1 x , a p 1 b + 1 p 1 a F ¯ x , d a d p 1 , q 1 x = 1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I y + p 1 p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + q 2 a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x
and
1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I y + p 1 p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I y
+ 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + q 2 a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x = 1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F ̲ a , y d d p 2 , q 2 y , p 2 c + 1 p 2 d d F ¯ a , y d d p 2 , q 2 y + p 1 p 2 c + 1 p 2 d d F ̲ b , y d d p 2 , q 2 y , p 2 c + 1 p 2 d d F ¯ b , y d d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F ̲ x , c a d p 1 , q 1 x , a p 1 b + 1 p 1 a F ¯ x , c a d p 1 , q 1 x + q 2 a p 1 b + 1 p 1 a F ̲ x , d a d p 1 , q 1 x , a p 1 b + 1 p 1 a F ¯ x , d a d p 1 , q 1 x 1 2 p 1 , q 1 2 p 2 , q 2 q 1 p 2 F ̲ a , c , F ¯ a , c + q 1 q 2 F ̲ a , d , F ¯ a , d + p 1 p 2 F ̲ b , c , F ¯ b , c + q 2 p 1 F ̲ b , d , F ¯ b , d = q 1 p 2 F a , c + q 1 q 2 F a , d + p 1 p 2 F b , c + q 2 p 1 F b , d 2 p 1 , q 1 2 p 2 , q 2 .
We obtain the required result (11) by combining the inclusions (14)–(17). □
Remark 4.
In Theorem 2, if F ̲ = F ¯ , then inclusions (11) reduce to inequalities (2).
Remark 5.
In Theorem 2, if we set p 1 = p 2 = 1 , then Theorem 2 becomes ([40], Theorem 12).
Theorem 3.
Let F = F ̲ , F ¯ : a , b × c , d I c + be a co-ordinated convex interval-valued function on a , b × c , d . The following inclusions of Hermite–Hadamard type hold for I p , q c b -integral:
F p 1 a + q 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 1 2 1 p 1 b a p 1 a + 1 p 1 b b F x , q 2 c + p 2 d 2 p 2 , q 2 b d p 1 , q 1 I x + 1 p 2 d c c p 2 d + 1 p 2 c F p 1 a + q 1 b 2 p 1 , q 1 , y c d p 2 , q 2 I y 1 p 1 p 2 b a d c p 1 a + 1 p 1 b b c p 2 d + 1 p 2 c F x , y c d p 2 , q 2 I y b d p 1 , q 1 I x 1 2 p 2 2 p 1 , q 1 d c p 1 c p 2 d + 1 p 2 c F a , y c d p 2 , q 2 I y + q 1 c p 2 d + 1 p 2 c F b , y c d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a q 2 p 1 a + 1 p 1 b b F x , c b d p 1 , q 1 I x + p 2 p 1 a + 1 p 1 b b F x , d b d p 1 , q 1 I x p 1 q 2 F a , c + p 1 p 2 F a , d + q 1 q 2 F b , c + q 1 p 2 F b , d 2 p 1 , q 1 2 p 2 , q 2 .
for all q 1 , q 2 0 , 1 .
Proof. 
If we follow the concepts used in the proof of Theorem 2 by taking into account the inclusions (3), the desired inclusions (18) can be attained. □
Remark 6.
In Theorem 3, if F ̲ = F ¯ , then inclusions (18) reduce to inequalities (3).
Remark 7.
In Theorem 3, if we set p 1 = p 2 = 1 , then Theorem 3 becomes ([40], Theorem 13).
Theorem 4.
Let F = F ̲ , F ¯ : a , b × c , d I c + be a co-ordinated convex interval-valued function on a , b × c , d . The following inclusions of Hermite–Hadamard type hold for I p , q b d -integral:
F p 1 a + q 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 1 2 1 p 1 b a p 1 a + 1 p 1 b b F x , p 2 c + q 2 d 2 p 2 , q 2 b d p 1 , q 1 I x + 1 p 2 d c p 2 c + 1 p 2 d d F p 1 a + q 1 b 2 p 1 , q 1 , y d d p 2 , q 2 I y 1 p 1 p 2 b a d c p 1 a + 1 p 1 b b p 2 c + 1 p 2 d d F x , y d d p 2 , q 2 I y b d p 1 , q 1 I x 1 2 p 2 2 p 1 , q 1 d c p 1 p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I y + q 1 p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a p 2 p 1 a + 1 p 1 b b F x , c b d p 1 , q 1 I x + q 2 p 1 a + 1 p 1 b b F x , d b d p 1 , q 1 I x p 1 p 2 F a , c + p 1 q 2 F a , d + q 1 p 2 F b , c + q 1 q 2 F b , d 2 p 1 , q 1 2 p 2 , q 2 .
Proof. 
Following arguments similar to those in the proof of Theorem 2 by taking into account the inclusions (4), the desired inclusion (19) can be attained. □
Remark 8.
In Theorem 4, if F ̲ = F ¯ , then inclusions (19) reduce to inequalities (4).
Remark 9.
In Theorem 4, if we set p 1 = p 2 = 1 , then Theorem 4 becomes ([40], Theorem 14).
Theorem 5.
Let F = F ̲ , F ¯ : a , b × c , d I c + be a co-ordinated convex interval-valued function on a , b × c , d . The following inclusions of Hermite–Hadamard type hold for I p , q a c -integral:
F q 1 a + p 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 1 2 1 p 1 b a a p 1 b + 1 p 1 a F x , q 2 c + p 2 d 2 p 2 , q 2 a d p 1 , q 1 I x + 1 p 2 d c c p 2 d + 1 p 2 c F q 1 a + p 1 b 2 p 1 , q 1 , y c d p 2 , q 2 I y 1 p 1 p 2 b a d c a p 1 b + 1 p 1 a c p 2 d + 1 p 2 c F x , y c d p 2 , q 2 I y a d p 1 , q 1 I x 1 2 p 2 2 p 1 , q 1 d c q 1 c p 2 d + 1 p 2 c F a , y c d p 2 , q 2 I y + p 1 c p 2 d + 1 p 2 c F b , y c d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a q 2 a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + p 2 a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x q 1 q 2 F a , c + q 1 p 2 F a , d + p 1 q 2 F b , c + p 1 p 2 F b , d 2 p 1 , q 1 2 p 2 , q 2 .
Proof. 
Following arguments similar to those in the proof of Theorem 2 and the concepts of inequalities (2)–(4), by taking into account the I p , q a c -integral, the desired inclusion can be attained. □
Remark 10.
In Theorem 5, if F ̲ = F ¯ , then we have the following inequality:
F q 1 a + p 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 1 2 1 p 1 b a a p 1 b + 1 p 1 a F x , q 2 c + p 2 d 2 p 2 , q 2 a d p 1 , q 1 x + 1 p 2 d c c p 2 d + 1 p 2 c F q 1 a + p 1 b 2 p 1 , q 1 , y c d p 2 , q 2 y 1 p 1 p 2 b a d c a p 1 b + 1 p 1 a c p 2 d + 1 p 2 c F x , y c d p 2 , q 2 y a d p 1 , q 1 x 1 2 p 2 2 p 1 , q 1 d c q 1 c p 2 d + 1 p 2 c F a , y c d p 2 , q 2 y + p 1 c p 2 d + 1 p 2 c F b , y c d p 2 , q 2 y + 1 2 p 1 2 p 2 , q 2 b a q 2 a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 x + p 2 a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 x q 1 q 2 F a , c + q 1 p 2 F a , d + p 1 q 2 F b , c + p 1 p 2 F b , d 2 p 1 , q 1 2 p 2 , q 2 .
This can be found as a special case in [26].
Remark 11.
In Theorem 5, if we set p 1 = p 2 = 1 , then Theorem 4 becomes ([40], Theorem 11).
Corollary 1.
Let F = F ̲ , F ¯ : a , b × c , d I c + be a co-ordinated convex interval-valued function on a , b × c , d . The following inclusions of Hermite–Hadamard type hold for I p , q a c , I p , q a d , I p , q c b and I p , q b d -integrals:
1 4 F q 1 a + p 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 + F p 1 a + q 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 + F p 1 a + q 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 + F q 1 a + p 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 1 8 p 1 b a a p 1 b + 1 p 1 a F x , q 2 c + p 2 d 2 p 2 , q 2 + F x , p 2 c + q 2 d 2 p 2 , q 2 a d p 1 , q 1 I x + p 1 a + 1 p 1 b b F x , q 2 c + p 2 d 2 p 2 , q 2 + F x , p 2 c + q 2 d 2 p 2 , q 2 b d p 1 , q 1 I x + 1 8 p 2 d c c p 2 d + 1 p 2 c F q 1 a + p 1 b 2 p 1 , q 1 , y + F p 1 a + q 1 b 2 p 1 , q 1 , y c d p 2 , q 2 I y + p 2 c + 1 p 2 b d F q 1 a + p 1 b 2 p 1 , q 1 , y + F p 1 a + q 1 b 2 p 1 , q 1 , y d d p 2 , q 2 I y 1 4 p 1 p 2 b a d c a p 1 b + 1 p 1 a c p 2 d + 1 p 2 c F x , y c d p 2 , q 2 I y a d p 1 , q 1 I x + a p 1 b + 1 p 1 a p 2 c + 1 p 2 b d F x , y d d p 1 , q 1 I y a d p 1 , q 1 I x
+ p 1 a + 1 p 1 b b c p 2 d + 1 p 2 c F x , y c d p 2 , q 2 I y b d p 1 , q 1 I x + p 1 a + 1 p 1 b b p 2 c + 1 p 2 b d F x , y d d p 2 , q 2 I y b d p 1 , q 1 I x q 2 8 p 1 2 p 1 , q 1 b a a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x + p 1 a + 1 p 1 b b F x , c b d p 1 , q 1 I x + p 1 a + 1 p 1 b b F x , d b d p 1 , q 1 I x + p 2 8 p 1 2 p 1 , q 1 b a a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x + p 1 a + 1 p 1 b b F x , c b d p 1 , q 1 I x + p 1 a + 1 p 1 b b F x , d b d p 1 , q 1 I x + q 1 8 p 2 2 p 2 , q 2 d c c p 2 d + 1 p 2 c F a , y c d p 2 , q 2 I y + c p 2 d + 1 p 2 c F b , y c d p 2 , q 2 I y + p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I x + p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I x + p 1 8 p 2 2 p 2 , q 2 d c c p 2 d + 1 p 2 c F a , y c d p 2 , q 2 I y + c p 2 d + 1 p 2 c F b , y c d p 2 , q 2 I y + p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I x + p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I x       p 1 p 2 + q 1 q 2 + p 1 q 2 + p 2 q 1 4 2 p 1 , q 1 2 p 2 , q 2 F a , c + F a , d + F b , c + F b , d .
Remark 12.
In Corollary 1, if we set F ̲ = F ¯ , then Corollary 1 becomes ([32], Corollary 1).
Remark 13.
In Corollary 1, if we set p 1 = p 2 = 1 , then Corollary 1 reduces to ([40], Corollary 3).

5. Examples

Example 3.
We define a convex interval-valued function F = F ̲ , F ¯ : I c + by F t , s = t 2 s 2 , t s . From Theorem 2, for p 1 = p 2 = 3 4 and q 1 = q 2 = 3 4 , we have
F q 1 a + p 1 b p 1 + q 1 , p 2 c + q 2 d p 2 + q 2 = 36 625 , 6 25 ,
1 2 1 p 1 b a a p 1 b + 1 p 1 a F x , p 2 c + q 2 d p 2 + q 2 a d p 1 , q 1 I x + 1 p 2 d c p 2 c + 1 p 2 d d F q 1 a + p 1 b p 1 + q 1 , y d d p 1 , q 1 I x = 207 2375 , 6 25 ,
1 p 1 p 2 b a d c a p 1 b + 1 p 1 a p 2 c + 1 p 2 d d F x , y d d p 2 , q 2 y a d p 1 , q 1 x = 234 1805 , 6 25 ,
1 2 p 2 2 p 1 , q 1 d c q 1 p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I y + p 1 p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a p 2 a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + q 2 a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x = 252 1425 , 6 25
and
q 1 p 2 F a , c + q 1 q 2 F a , d + p 1 p 2 F b , c + q 2 p 1 F b , d 2 p 1 , q 1 2 p 2 , q 2 = 6 25 , 6 25 .
It is obvious that
36 625 , 6 25 207 2375 , 6 25 234 1805 , 6 25 252 1425 , 6 25 6 25 , 6 25
which shows that the results of Theorem 2 are correct.
Example 4.
We define a convex interval-valued function F = F ̲ , F ¯ : I c + by F t , s = t 2 s 2 , t s . From Theorem 3, for p 1 = p 2 = 3 4 and q 1 = q 2 = 3 4 , we have
F p 1 a + q 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 = 36 625 , 6 25 ,
1 2 1 p 1 b a p 1 a + 1 p 1 b b F x , q 2 c + p 2 d 2 p 2 , q 2 b d p 1 , q 1 I x + 1 p 2 d c c p 2 d + 1 p 2 c F p 1 a + q 1 b 2 p 1 , q 1 , y c d p 2 , q 2 I y = 207 2375 , 6 25 ,
1 p 1 p 2 b a d c p 1 a + 1 p 1 b b c p 2 d + 1 p 2 c F x , y c d p 2 , q 2 I y b d p 1 , q 1 I x = 234 1805 , 6 25 ,
1 2 p 2 2 p 1 , q 1 d c p 1 c p 2 d + 1 p 2 c F a , y c d p 2 , q 2 I y + q 1 c p 2 d + 1 p 2 c F b , y c d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a q 2 p 1 a + 1 p 1 b b F x , c b d p 1 , q 1 I x + p 2 p 1 a + 1 p 1 b b F x , d b d p 1 , q 1 I x = 252 1425 , 6 25
and
p 1 q 2 F a , c + p 1 p 2 F a , d + q 1 q 2 F b , c + q 1 p 2 F b , d 2 p 1 , q 1 2 p 2 , q 2 = 6 25 , 6 25 .
It is obvious that
36 625 , 6 25 207 2375 , 6 25 234 1805 , 6 25 252 1425 , 6 25 6 25 , 6 25
which shows that the results of Theorem 3 are correct.
Example 5.
We define a convex interval-valued function F = F ̲ , F ¯ : I c + by F t , s = t 2 s 2 , t s . From Theorem 4, for p 1 = p 2 = 3 4 and q 1 = q 2 = 3 4 , we have
F p 1 a + q 1 b 2 p 1 , q 1 , p 2 c + q 2 d 2 p 2 , q 2 = 16 625 , 4 25 ,
1 2 1 p 1 b a p 1 a + 1 p 1 b b F x , p 2 c + q 2 d 2 p 2 , q 2 b d p 1 , q 1 I x + 1 p 2 d c p 2 c + 1 p 2 d d F p 1 a + q 1 b 2 p 1 , q 1 , y d d p 2 , q 2 I y = 104 2375 , 4 25 ,
1 p 1 p 2 b a d c p 1 a + 1 p 1 b b p 2 c + 1 p 2 d d F x , y d d p 2 , q 2 I y b d p 1 , q 1 I x = 676 9025 , 4 25 ,
1 2 p 2 2 p 1 , q 1 d c p 1 p 2 c + 1 p 2 d d F a , y d d p 2 , q 2 I y + q 1 p 2 c + 1 p 2 d d F b , y d d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a p 2 p 1 a + 1 p 1 b b F x , c b d p 1 , q 1 I x + q 2 p 1 a + 1 p 1 b b F x , d b d p 1 , q 1 I x = 52 475 , 4 25
and
p 1 p 2 F a , c + p 1 q 2 F a , d + q 1 p 2 F b , c + q 1 q 2 F b , d 2 p 1 , q 1 2 p 2 , q 2 = 4 25 , 4 25 .
It is obvious that
16 625 , 4 25 104 2375 , 4 25 676 9025 , 4 25 52 475 , 4 25 4 25 , 4 25
which shows that the results of Theorem 4 are correct.
Example 6.
We define a convex interval-valued function F = F ̲ , F ¯ : I c + by F t , s = t 2 s 2 , t s . From Theorem 5, for p 1 = p 2 = 3 4 and q 1 = q 2 = 3 4 , we have
F q 1 a + p 1 b 2 p 1 , q 1 , q 2 c + p 2 d 2 p 2 , q 2 = 81 625 , 9 25 ,
1 2 1 p 1 b a a p 1 b + 1 p 1 a F x , q 2 c + p 2 d 2 p 2 , q 2 a d p 1 , q 1 I x + 1 p 2 d c c p 2 d + 1 p 2 c F q 1 a + p 1 b 2 p 1 , q 1 , y c d p 2 , q 2 I y = 81 475 , 9 25 ,
1 p 1 p 2 b a d c a p 1 b + 1 p 1 a c p 2 d + 1 p 2 c F x , y c d p 2 , q 2 I y a d p 1 , q 1 I x = 81 361 , 9 25 ,
1 2 p 2 2 p 1 , q 1 d c q 1 c p 2 d + 1 p 2 c F a , y c d p 2 , q 2 I y + p 1 c p 2 d + 1 p 2 c F b , y c d p 2 , q 2 I y + 1 2 p 1 2 p 2 , q 2 b a q 2 a p 1 b + 1 p 1 a F x , c a d p 1 , q 1 I x + p 2 a p 1 b + 1 p 1 a F x , d a d p 1 , q 1 I x = 27 95 , 9 25
and
q 1 q 2 F a , c + q 1 p 2 F a , d + p 1 q 2 F b , c + p 1 p 2 F b , d 2 p 1 , q 1 2 p 2 , q 2 = 9 25 , 9 25 .
It is obvious that
81 625 , 9 25 81 475 , 9 25 81 361 , 9 25 27 95 , 9 25 9 25 , 9 25
which shows that the results of Theorem 5 are right.

6. Conclusions

In this work, for interval-valued functions of two variables, we defined ( p , q ) -integrals. We have used newly described integrals to prove the Hermite–Hadamard-type inclusions for co-ordinated convex interval-valued functions. Other researchers’ previously reported findings are deduced as special cases of our results for p = 1 , q 1 and F ̲ = F ¯ . Finally, some examples are given to demonstrate the findings of this article. Results for the case of symmetric interval-valued functions can be obtained by applying the concept in Remark 2, which will be studied in future work. We will look at some further refinements of the Hermite–Hadamard inclusions as well as other well-known mathematical inclusions using ( p , q ) -integrals in the future.

Author Contributions

Conceptualization, J.T., M.A.A., H.B., S.K.N.; Formal analysis, J.T., M.A.A., H.B., S.K.N.; Funding acquisition, J.T.; Methodology, J.T., M.A.A., H.B., S.K.N. All authors have read and agreed to the published version of the manuscript.

Funding

This research was supported by the Thailand Research Fund under the project RSA6180059.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Jackson, D.O.; Fukuda, T.; Dunn, O.; Majors, E. On q-definite integrals. Quart. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  2. Ahmad, B. Boundary-value problems for nonlinear third-order q-difference equations. Electron. J. Differ. Equ. 2011, 2011, 1–7. [Google Scholar] [CrossRef] [Green Version]
  3. Ahmad, B.; Alsaedi, A.; Ntouyas, S.K. A study of second-order q-difference equations with boundary conditions. Adv. Differ. Equ. 2012, 2012, 35. [Google Scholar] [CrossRef] [Green Version]
  4. Ahmad, B.; Ntouyas, S.K.; Purnaras, I.K. Existence results for nonlinear q-difference equations with nonlocal boundary conditions. Commun. Appl. Nonlinear Anal. 2012, 19, 59–72. [Google Scholar]
  5. Ahmad, B.; Ntouyas, S.K.; Purnaras, I.K. Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, 2012, 140. [Google Scholar] [CrossRef] [Green Version]
  6. Annaby, M.H.; Mansour, Z.S. q-Fractional Calculus and Equations; Springer: Berlin, Germany, 2012; Volume 2056. [Google Scholar]
  7. Aral, A.; Gupta, V.; Agarwal, R.P. Applications of q-Calculus in Operator Theory; Springer: New York, NY, USA, 2013. [Google Scholar]
  8. Bangerezako, G. Variational q-calculus. J. Math. Anal. Appl. 2004, 289, 650–665. [Google Scholar] [CrossRef] [Green Version]
  9. Bangerezako, G. Variational calculus on q-nonuniform lattices. J. Math. Anal. Appl. 2005, 306, 161–179. [Google Scholar] [CrossRef] [Green Version]
  10. Bohner, M.; Guseinov, G.S. The h-Laplace and q-Laplace transforms. J. Math. Anal. Appl. 2010, 365, 75–92. [Google Scholar] [CrossRef] [Green Version]
  11. Bukweli-Kyemba, J.D.; Hounkonnou, M.N. Quantum deformed algebras: Coherent states and special functions. arXiv 2013, arXiv:1301.0116. [Google Scholar]
  12. Dobrogowska, A.; Odzijewicz, A. Second order q-difference equations solvable by factorization method. J. Comput. Appl. Math. 2006, 193, 319–346. [Google Scholar] [CrossRef] [Green Version]
  13. Ernst, T. The History of q-Calculus and a New Method; Citeseer: University Park, PA, USA, 2000. [Google Scholar]
  14. Ernst, T. A Comprehensive Treatment of q-Calculus; Springer Science & Business Media: Berlin, Germany, 2012. [Google Scholar]
  15. Exton, H. q-Hypergeometric Functions and Applications; Horwood: Bristol, UK, 1983. [Google Scholar]
  16. Ferreira, R. Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 2010, 70. [Google Scholar]
  17. Gasper, G.; Rahman, M. Some systems of multivariable orthogonal q-Racah polynomials. Ramanujan J. 2007, 13, 389–405. [Google Scholar] [CrossRef] [Green Version]
  18. Gauchman, H. Integral inequalities in q-calculus. Comput. Math. Appl. 2004, 47, 281–300. [Google Scholar] [CrossRef] [Green Version]
  19. Jackson, F.H. q-difference equations. Am. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
  20. Kac, V.; Cheung, P. Quantum Calculus; Springer Science & Business Media: Berlin, Germany, 2001. [Google Scholar]
  21. Tariboon, J.; Ntouyas, S.K. Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 2013, 282. [Google Scholar] [CrossRef] [Green Version]
  22. Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Ineq. Appl. 2014, 2014, 121. [Google Scholar] [CrossRef] [Green Version]
  23. Tunç, M.; Göv, E. Some integral inequalities via (p,q)-calculus on finite intervals. RGMIA Res. Rep. Coll. 2016, 19, 95. [Google Scholar]
  24. Vivas-Cortez, M.; Ali, M.A.; Budak, H.; Kalsoom, H.; Agarwal, P. Post-quantum Hermite-Hadamard inequalities involving newly defined (p,q)-integral. Entropy 2021, 23, 828. [Google Scholar] [CrossRef]
  25. Chu, Y.-M.; Awan, M.U.; Talib, S.; Noor, M.A.; Noor, K.I. New post quantum analogues of Ostrowski-type inequalities using new definitions of left-right (p,q)-derivatives and definite integrals. Adv. Differ. Equ. 2020, 2020, 634. [Google Scholar] [CrossRef]
  26. Kalsoom, H.; Rashid, S.; Idrees, M.; Safdar, F.; Akram, S.; Baleanu, D.; Chu, Y.-M. Post quantum integral inequalities of Hermite-Hadamard-type associated with co-ordinated higher-order generalized strongly pre-invex and quasi-pre-invex mappings. Symmetry 2020, 12, 443. [Google Scholar] [CrossRef] [Green Version]
  27. Kunt, M.; İŞcan, İ.; Alp, N.; Sarikaya, M. (p,q)-Hermite-Hadamard inequalities and (p,q)-estimates for midpoint type inequalities via convex and quasi-convex functions. RACSAM 2018, 112, 969–992. [Google Scholar] [CrossRef]
  28. Dragomir, S.S. On the Hadamard’s inequlality for convex functions on the co-ordinates in a rectangle from the plane. Taiwanese J. Math. 2001, 5, 775–788. [Google Scholar] [CrossRef]
  29. Kunt, M.; Latif, M.A.; İŞcan, İ.; Dragomir, S.S. Quantum Hermite-Hadamard type inequality and some estimates of quantum midpoint type inequalities for double integrals. Sigma J. Eng. Nat. Sci. 2019, 37, 207–223. [Google Scholar]
  30. Bermudo, S.; Kórus, P.; Valdés, J.E.N. On q-Hermite–Hadamard inequalities for general convex functions. Acta Math. Hungar. 2020, 162, 364–374. [Google Scholar] [CrossRef]
  31. Budak, H.; Ali, M.A.; Tarhanaci, M. Some new quantum Hermite–Hadamard-like inequalities for coordinated convex functions. J. Optim. Theory Appl. 2020, 186, 899–910. [Google Scholar] [CrossRef]
  32. Wannalookkhee, F.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K. On Hermite-Hadamard type inequalities for coordinated convex functions via (p,q)-calculus. Mathematics 2021, 9, 698. [Google Scholar] [CrossRef]
  33. Aubin, J.-P.; Cellina, A. Differential Inclusions: Set-Valued Maps and Viability Theory; Springer Science & Business Media: Berlin/Heidelberg, Germany; New York, NY, USA; Tokyo, Japan, 2012. [Google Scholar]
  34. Markov, S. On the algebraic properties of convex bodies and some applications. J. Convex Anal. 2000, 7, 129–166. [Google Scholar]
  35. Lupulescu, V. Fractional calculus for interval-valued functions. Fuzzy Sets Syst. 2015, 265, 63–85. [Google Scholar] [CrossRef]
  36. Moore, R.E. Interval Analysis; Prentice-Hall: Englewood Cliffs, NJ, USA, 1966. [Google Scholar]
  37. Zhao, D.; Ali, M.A.; Murtaza, G.; Zhang, Z. On the Hermite-Hadamard inequalities for interval-valued co-ordinated convex functions. Adv. Differ. Equ. 2020, 2020, 570. [Google Scholar] [CrossRef]
  38. Kara, H.; Ali, M.A.; Budak, H. Hermite-Hadamard-type inequalities for interval-valued coordinated convex functions involving generalized fractional integrals. Math. Methods Appl. Sci. 2021, 44, 104–123. [Google Scholar] [CrossRef]
  39. Lou, T.; Ye, G.; Zhao, D.; Liu, W. Iq-calculus and Iq-Hermite–Hadamard inequalities for interval-valued functions. Adv. Differ. Equ. 2020, 2020, 446. [Google Scholar] [CrossRef]
  40. Ali, M.A.; Budak, H.; Kara, H.; Qaisar, S. Iq-Hermite-Hadamard inclusions for the interval-valued functions of two variables. Preprint.
  41. Ali, M.A.; Budak, H.; Murtaza, G.; Chu, Y.-M. Post-quantum Hermite-Hadamard type inequalities for interval-valued convex functions. J. Ineq. Appl. 2021, 2021, 84. [Google Scholar] [CrossRef]
  42. Zhao, D.F.; An, T.Q.; Ye, G.J.; Liu, W. Chebyshev type inequalities for interval-valued functions. Fuzzy Sets Syst. 2020, 396, 82–101. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Tariboon, J.; Ali, M.A.; Budak, H.; Ntouyas, S.K. Hermite–Hadamard Inclusions for Co-Ordinated Interval-Valued Functions via Post-Quantum Calculus. Symmetry 2021, 13, 1216. https://doi.org/10.3390/sym13071216

AMA Style

Tariboon J, Ali MA, Budak H, Ntouyas SK. Hermite–Hadamard Inclusions for Co-Ordinated Interval-Valued Functions via Post-Quantum Calculus. Symmetry. 2021; 13(7):1216. https://doi.org/10.3390/sym13071216

Chicago/Turabian Style

Tariboon, Jessada, Muhammad Aamir Ali, Hüseyin Budak, and Sotiris K. Ntouyas. 2021. "Hermite–Hadamard Inclusions for Co-Ordinated Interval-Valued Functions via Post-Quantum Calculus" Symmetry 13, no. 7: 1216. https://doi.org/10.3390/sym13071216

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