Preprint
Article

Some New Fractional Inequalities for Coordinated Convexity over Convex Set Pertaining to Fuzzy-Number Valued Settings Governed by Fractional Integrals

Altmetrics

Downloads

88

Views

24

Comments

0

A peer-reviewed article of this preprint also exists.

Submitted:

23 October 2023

Posted:

25 October 2023

You are already at the latest version

Alerts
Abstract
In this study, we first discover some new concept coordinated UD-convex mappings with fuzzy-number values. After that, we look into Hermite-Hadamard type inequalities via fuzzy-number-valued coordinated UD-convex fuzzy-number-valued mapping (coordinated UD-convex FNVM). In the case of coordinated UD-convex FNVM, novel conclusions are derived by making particular decisions in recently proven inequalities. Additionally, it is demonstrated that the recently discovered inequalities are expansions of comparable findings in the literature. It is important to note that the main outcomes are validated by nontrivial examples.
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

1. Introduction

One of the most well-known concepts in the field of function theory is the Hermite-Hadamard inequality, which was found by C. Hermite and J. Hadamard (and described in sources such as [1], [2] p.137). This inequality has several real-world applications in addition to its geometric interpretation.
The Hermite-Hadamard inequalities have been established by numerous mathematicians. It's important to note that the Hermite-Hadamard inequality, which naturally follows from Jensen's inequality, can be seen as a development of the idea of convexity. Recently, there has been renewed interest in the Hermite-Hadamard inequality for convex functions, leading to a wide range of improvements and expansions that have been thoroughly investigated (see, for example, publications like [3,4,5,6,7,8]).
Interval analysis is a crucial topic since it is used in math and computer models as one method of addressing interval uncertainty. Even though this theory has a long history going back to Archimedes' calculation of a circle's circumference, significant research on the subject was not published until the 1950s. The first book [9] on interval analysis was published in 1966 by Ramon E. Moore, who is credited with developing interval calculus. After that, other academics studied the theory and uses of interval analysis.
Furthermore, by taking into account interval-valued functions in [10,11,12,13], well-known inequality types as Ostrowski, Minkowski, and Beckenbach, as well as some of their applications, were supplied. Additionally, Budak et al. in [14] developed a few inequalities utilizing interval-valued Riemann-Liouville fractional integrals. The definition of interval-valued harmonically convex functions was provided by Liu et al. in [15], and as a result, they are able to derive several Hermite-Hadamard type inequalities, including interval fractional integrals. The authors provided a fuzzy integral-based variation of Jensen's inequality for interval-valued functions in [16] and [17] and demonstrated several integral inequalities, [18,19,20,21,22,23,24,25,26,27,28,29]. In their proofs of Hermite-Hadamard type inequalities for set-valued functions in [30] and [31,32], Mitroi et al. made use of general forms of interval-valued convex functions. Rom'an Flores et al. found a few Gronwal type inequalities for interval-valued functions in [33]. Zhao et al. showed many kinds of integral inequalities for interval-valued functions in [34,35].
In [36], Jleli and Samet discovered brand-new Hermite-Hadamard type inequality involving fractional integrals with regard to a different function. Fractional integrals of a function with respect to another function were first introduced by Tunc in [37]. The Riemann-Liouville and Hadamard fractional integrals were generalized into a single form by Katugompala's novel fractional integration. Budak and Agarwal used generalized fractional integrals, which generalize some significant fractional integrals like the Riemann-Liouville fractional integrals, the Hadamard fractional integrals, and the Katugampola fractional integrals in [38], to establish the Hermite-Hadamard-type inequalities for co-ordinated convex function. Interval-valued left- and right-sided generalized fractional double integrals were defined by Kara et al. [39]. Numerous authors have concentrated on interval-valued functions in recent years. The authors of [40] introduced the idea of interval-valued general convex functions and used it to demonstrate a number of novel Hermite-Hadamard type inequalities. A fractional version of Hermite-Hadamard type inequalities for interval-valued harmonically convex functions was also provided by the authors in [41]. Researchers recently expanded the idea of interval-valued convexity and described various types of U D -convexity for interval-valued functions in [42,43,44,45,46]. For U D -fuzzy-number-valued convex functions, they also discovered a large number of Hermite-Hadmard type inequalities.
To express the collection of all positive fuzzy numbers over the real numbers, we introduce the notation F 0 in the context of this article. The terms A [ ʋ ,   ȡ ] , I A [ ʋ ,   ȡ ] , and F A ʋ ,   ȡ refer to the set of all F N V M that are Riemann integrable real valued functions, Aumann’s integrable IV-Fs and fuzzy Aumann’s integrable on the interval [ ʋ ,   ȡ ] . The following theorem draws a link between functions that are integrable in the sense of Riemann ( A -integrable) and functions that are integrable in the sense of F A   . Additionally, the sign " F " is used to denote the up and down ( U D ) fuzzy inclusion relationship for Ɖ ~ and ~ belonging to F 0 , where ~ is thought of as a fuzzy subset of Ɖ ~ . If and only if for ƺ -levels, the conditions Ɖ ~ ƺ I ~ ƺ is met, this U D -inclusion is true. Integral fuzzy inequalities generated from F N V M s have recently attracted the attention of several academics:
Theorem 1
[35]: Assume that the UD -convex FNVM Ɣ ~ : ʋ , ȡ F 0 is Ι V M with Ɣ ƺ = Ɣ * , ƺ , Ɣ * , ƺ for all ʋ , ȡ and for all ƺ 0 , 1 . Then there are the disparities:
Ɣ ~ ʋ + ȡ 2 F 1 ȡ ʋ F A ʋ ȡ Ɣ ~ d F Ɣ ~ ȡ Ɣ ~ ʋ 2 .
We provide the ideas of generalized fractional integrals for two-variable F N V M s in order to demonstrate Hermite-Hadmard type inequalities for convex and coordinated convex functions, which are inspired by ongoing investigations. The main benefit of the newly established inequalities is that they can be converted into classical Hermite-Hadamard integral inequalities for coordinated U D -convex F N V M s as well as fuzzy Riemann-Liouville fractional Hermite-Hadamard, Hadamard, and Katugampola fractional Hermite-Hadamard inequalities without having to prove each one separately.
The format of this essay is as follows: A brief summary of the foundations of fuzzy-number-valued calculus and other relevant works in this area are presented in Section 2. In Section 3, we provide some generalized fractional integrals for U D -convex F N V M with two variables. For U D -convex F N V M , we create a novel Hermite-Hadamard type inequality. Several Hermite-Hadamard type inequalities for coordinated U D -convex F N V M are parented in Section 3. It is also taken into consideration how these findings compare to findings of a similar nature in the literature. Finally, Section 4 makes some suggestions for additional study.

2. Preliminaries

We will go through the fundamental terminologies and findings in this section, which aid in comprehending the ideas behind our fresh findings.
Definition 1 
([47,48]). Given Ɖ ~ F 0 , the level sets or cut sets are given by Ɖ ~ ƺ = R | Ɖ ~ > ƺ ƺ [ 0 ,   1 ] and by
Ɖ ~ 0 = R | Ɖ ~ > 0 .
These sets are known as ƺ -level sets or ƺ -cut sets of Ɖ ~ .
Proposition 1 ([49]).
Let Ɖ ~ , ~ F 0 . Then, relation F is given on F 0 by Ɖ ~ F ~ when and only when Ɖ ~ ƺ I ~ ƺ , for every ƺ [ 0 ,   1 ] , which are left- and right-order relations.
Proposition 2 ([46]).
Let Ɖ ~ , ~ F 0 . Then, relation F is given on F 0 by Ɖ ~ F ~ when and only when Ɖ ~ ƺ I ~ ƺ for every ƺ [ 0 ,   1 ] , which is t h e   U D - order relation on F 0 .
Remember the approaching notions, which are offered in the literature. If Ɖ ~ , ~ F 0 and t R , then, for every ƺ 0 ,   1 , the arithmetic operations addition “ , multiplication “ , and scaler multiplication “ are defined by
Ɖ ~ ~ ƺ = Ɖ ~ ƺ + ~ ƺ ,
Ɖ ~ ~ ƺ = Ɖ ~ ƺ ×   ~ ƺ ,
t Ɖ ~ ƺ = t Ɖ ~ ƺ ,
Equations (4) through (6) have immediate consequences for these outcomes.
Theorem 2 ([47]).
The space F 0 dealing with a supremum metric, i.e., for Ɖ ~ ,   ~ F 0
d Ɖ ~ , ~ = sup 0 ƺ 1 d H Ɖ ~ ƺ , ~ ƺ ,
is a complete metric space, where  H indicates the well-known Hausdorff metric on the space of intervals.
Theorem 3.
Let Ɣ ~ : [ ʋ , ȡ ] R F 0 be a F N V M , its Ι V M s are classified according to their ƺ -levels Ɣ ƺ : [ ʋ , ȡ ] R R I are given by Ɣ ƺ = Ɣ * , ƺ , Ɣ * , ƺ [ ʋ , ȡ ] and ƺ ( 0 , 1 ] . Then, Ɣ ~ is F A -integrable over [ ʋ , ȡ ] if and only if, Ɣ * , ƺ and Ɣ * , ƺ are both A -integrable over [ ʋ , ȡ ] . Moreover, if Ɣ ~ is F A -integrable over ʋ , ȡ , then
F A ʋ ȡ Ɣ ~ d ƺ = A ʋ ȡ Ɣ * , ƺ d , A ʋ ȡ Ɣ * , ƺ d = I A ʋ ȡ Ɣ ƺ d ,
  ƺ ( 0 ,   1 ] .     ƺ 0 ,   1 ,   F A ʋ ,   ȡ ,   ƺ denotes the collection of all F A -integrable F N V M s over [ ʋ ,   ȡ ] .
Fuzzy Aumann’s and fractional calculus on coordinates
Definition 2. [16,48]
Let Ɣ : ծ ,   ռ R I + be I V M and Ɣ I R ծ ,   ռ . Then interval Riemann-Liouville-type integrals of Ɣ are defined as
I ծ + ɤ Ɣ ψ = 1 Γ ɤ ծ ψ ψ t ɤ 1 Ɣ t d t ψ > ծ ,
I ռ ɤ Ɣ ψ = 1 Γ ɤ ψ ռ t ψ ɤ 1 Ɣ t d t ( ψ < ռ ) ,
where ɤ > 0 and Γ is the gamma function.
Recently, Allahviranloo et al. [49] introduced the fuzzy version of defined the fractional integral integrals such that:
Definition 3.
Let ɤ > 0 and L ծ ,   ռ , F 0 be the collection of all Lebesgue measurable F N V M s on [ ծ , ռ ] . Then, the fuzzy left and right Riemann-Liouville fractional integral of Ɣ ~ L ծ ,   ռ , F 0 with order ɤ > 0 are defined by
I ծ + ɤ Ɣ ~ ψ = 1 Γ ( ɤ ) ծ ψ ψ t ɤ 1 Ɣ ~ t d t , ψ > ծ ,
and
I ռ ɤ Ɣ ~ ψ = 1 Γ ( ɤ ) ψ ռ t ψ ɤ 1 Ɣ ~ t d t , ( ψ < ռ ) ,
respectively, where Γ ψ = 0 t ψ 1 e t d t is the Euler gamma function. The fuzzy left and right Riemann-Liouville fractional integral ψ based on left and right end point functions can be defined, that is
I ծ + ɤ Ɣ ~ ψ ƺ = 1 Γ ɤ ծ ψ ψ t ɤ 1 Ɣ ƺ t d t
= 1 Γ ( ɤ ) ծ ψ ψ t ɤ 1 Ɣ * t , ƺ , Ɣ * t , ƺ d t , ψ > ծ ,
where
I ծ + ɤ Ɣ * ψ , ƺ = 1 Γ ( ɤ ) ծ ψ ψ t ɤ 1 Ɣ * t , ƺ d t , ψ > ծ ,
and
I ծ + ɤ Ɣ * ψ , ƺ = 1 Γ ( ɤ ) ծ ψ ψ t ɤ 1 Ɣ * t , ƺ d t , ψ > ծ ,
The right Riemann-Liouville fractional integral, denoted by I ռ ɤ Ɣ ~ ψ ƺ , can also be defined using the left and right end point functions.
Theorem 4. [27]
Let Ɣ ~ : ʋ ,   ȡ F 0 be a U D -convex F N V M on ʋ ,   ȡ , whose ƺ -cuts set up the sequence of Ι V M s Ɣ ƺ : ʋ ,   ȡ R R C + are given by Ɣ ƺ ψ = Ɣ * ψ , ƺ , Ɣ * ψ , ƺ for all ψ ʋ ,   ȡ and for all ƺ 0 , 1 . If Ɣ ~ L ʋ ,   ȡ , F 0 , then
Ɣ ~ ʋ + ȡ 2 F Γ ɤ + 1 2 ȡ ʋ ɤ I ʋ + ɤ Ɣ ~ ȡ I ȡ ɤ Ɣ ~ ʋ F Ɣ ~ ʋ Ɣ ~ ȡ 2 .
Theorem 5. [27]
Let Ɣ ~ , J ~ : ʋ , ȡ F 0 be two U D -convex F N V M s. Then, from ƺ -cuts, we set up the sequence of Ι V M s Ɣ ƺ , J ƺ : ʋ , ȡ R R I + are given by Ɣ ƺ = Ɣ * , ƺ , Ɣ * , ƺ and J ƺ = J * , ƺ , J * , ƺ for all ʋ , ȡ and for all ƺ 0 , 1 . If Ɣ ~ J ~ L ʋ , ȡ , F 0 is fuzzy Riemann integrable, then
Γ ɤ + 1 2 ȡ ʋ ɤ I ʋ + ɤ Ɣ ~ ȡ J ~ ȡ I ȡ ɤ Ɣ ~ ʋ J ~ ʋ
F 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) M ~ ʋ , ȡ ɤ ( ɤ + 1 ) ( ɤ + 2 ) N ~ ʋ , ȡ ,
and
Ɣ ~ ʋ + ȡ 2 J ~ ʋ + ȡ 2 F Γ ɤ + 1 4 ȡ ʋ ɤ I ʋ + ɤ Ɣ ~ ȡ J ~ ȡ I ȡ ɤ Ɣ ~ ʋ J ~ ʋ
+ 1 2 1 2 ɤ ɤ + 1 ɤ + 2 M ~ ʋ , ȡ 1 2 ɤ ɤ + 1 ɤ + 2 N ~ ʋ , ȡ ,
where M ~ ʋ , ȡ = Ɣ ~ ʋ J ~ ʋ Ɣ ~ ȡ J ~ ȡ ,   N ~ ʋ , ȡ = Ɣ ~ ʋ J ~ ȡ Ɣ ~ ȡ J ~ ʋ , M ƺ ʋ , ȡ = M * ʋ , ȡ , ƺ , M * ʋ , ȡ , ƺ , and N ƺ ʋ , ȡ = N * ʋ , ȡ , ƺ , N * ʋ , ȡ , ƺ .
Interval and fuzzy Aumann's type integrals are defined as follows for coordinated I V M   Ɣ , ψ and coordinated F N V M   Ɣ ~ , ψ :
Theorem 6. [34]
Let Ɣ ~ : ծ , ռ × ʋ , ȡ R 2 F 0 be a F N V M on coordinates, whose ƺ -cuts set up the sequence of Ι V M s Ɣ ƺ : R 2 R I are given by Ɣ ƺ , ψ = Ɣ * , ψ , ƺ , Ɣ * , ψ , ƺ for all , ψ = ծ , ռ × ʋ , ȡ and for all ƺ 0 , 1 . Then Ɣ ~ is fuzzy double integrable ( F D -integrable) over if and only if Ɣ * , ƺ and Ɣ * , ƺ both are D -integrable over . Moreover, if Ɣ ~ is F D -integrable over , then
F D ծ ռ ʋ ȡ Ɣ ~ , ψ d ψ d   ƺ = D ծ ռ ʋ ȡ Ɣ * , ψ , ƺ d ψ d , D ծ ռ ʋ ȡ Ɣ * , ψ , ƺ d ψ d
= I D ծ ռ ʋ ȡ Ɣ ƺ , ψ d ψ d ,
for all ƺ 0 , 1 .
The family of all F D -integrable of F N V M s over coordinates and D -integrable functions over coordinates are denoted by F O and O ,     ƺ , for all ƺ 0 ,   1 .
Here is the main definition of fuzzy Riemann-Liouville fractional integral on the coordinates of the function Ɣ ~ , ψ by:
Definition 4. [29]
Let Ɣ ~ : F 0 and Ɣ ~ F O . The double fuzzy interval Riemann-Liouville-type integrals I ծ + , ʋ + ɤ , β , I ծ + , ȡ ɤ , β , I ռ , ʋ + ɤ , β , I ռ , ȡ ɤ , β of Ɣ order ɤ , β > 0 are defined by:
I ծ + , ʋ + ɤ , β Ɣ ~ , ψ = 1 Γ ɤ Γ β ծ ʋ ψ t ɤ 1 ψ s β 1 Ɣ ~ t , s d s d t , > ծ , ψ > ʋ ,
I ծ + , ȡ ɤ , β Ɣ ~ , ψ = 1 Γ ɤ Γ β ծ ψ ȡ t ɤ 1 s ψ β 1 Ɣ ~ t , s d s d t , ( > ծ , ψ < ȡ ) ,
I ռ , ʋ + ɤ , β Ɣ ~ , ψ = 1 Γ ɤ Γ β ռ ʋ ψ t ɤ 1 ψ s β 1 Ɣ ~ t , s d s d t , < ռ , ψ > ʋ ,
I ռ , ȡ ɤ , β Ɣ ~ , ψ = 1 Γ ɤ Γ β ռ ψ ȡ t ɤ 1 s ψ β 1 Ɣ ~ t , s d s d t , ( < ռ , ψ < ȡ ) .
Here is the newly defined concept of coordinated convexity over fuzzy number space in the codomain via U D -relation given by:
Definition 5. [34]
The F N V M Ɣ ~ : F 0 is referred to be coordinated U D -convex F N V M on   if
Ɣ ~ ε ծ + 1 ε ռ , s ʋ + 1 s ȡ
F ε s Ɣ ~ ծ , ʋ ε 1 s Ɣ ~ ծ , ȡ 1 ε s Ɣ ~ ռ , ʋ 1 ε 1 s Ɣ ~ ռ , ȡ ,
for all   ծ ,   ռ ,   ʋ , ȡ ,   and ε , s 0 ,   1 , where Ɣ ~ F 0 ~ . If inequality (23) is reversed, then Ɣ ~ is referred to be coordinate concave F N V M on .
Lemma 1. [34]
Let Ɣ ~ : F 0 be a coordinated F N V M on . Then, Ɣ ~ is coordinated U D -convex F N V M on if and only if there exist two coordinated U D -convex F N V M s Ɣ ~ : ʋ , ȡ F 0 , Ɣ ~ w = Ɣ ~ , w and Ɣ ~ ψ : ծ , ռ F 0 , Ɣ ~ ψ z = Ɣ ~ z , ψ .
Theorem 7. [34]
Let Ɣ ~ : F 0 be a F N V M on . Then, from ƺ -levels, we get the collection of Ι V M s Ɣ ƺ : R I + R I are given by
Ɣ ƺ , ψ = Ɣ * , ψ , ƺ , Ɣ * , ψ , ƺ ,
for all , ψ and for all ƺ 0 ,   1 . Then, Ɣ ~ is coordinated U D -convex F N V M on , if and only if, for all ƺ 0 ,   1 ,   Ɣ * , ψ ,   ƺ and Ɣ * , ψ ,   ƺ are coordinated convex and concave functions, respectively.
Example 1.
We consider the F N V M Ɣ ~ : 0 ,   1 × 0 ,   1 F 0 defined by,
Ɣ σ = σ ψ 5 ψ ,                           σ ψ ,   5 6 + e 6 + e ψ σ 6 + e 6 + e ψ 5 ,         σ 5 ,   6 + e 6 + e ψ 0             ,                               otherwise ,
Then, for each ƺ 0 ,   1 , we have Ɣ ƺ = 1 ƺ ψ + 5 ƺ , 1 ƺ 6 + e 6 + e ψ + 5 ƺ . Since endpoint functions Ɣ * , ψ , ƺ ,   Ɣ * , ψ , ƺ are coordinate concave functions for each ƺ 0 ,   1 . Hence, Ɣ ~ , ψ is coordinate U D -convex F N V M .
From Lemma 1 and Example 1, we can easily note that each U D -convex F N V M is coordinated U D -convex F N V M . But the converse is not true.
Remark 1.
If one assumes that Ɣ * , ψ , ƺ = Ɣ * , ψ , ƺ with ƺ = 1 , then Ɣ is referred to be as a coordinated convex function if Ɣ meets the stated inequality here, see [41]:
Ɣ ε ծ + 1 ε ռ , s ʋ + 1 s ȡ
ε s Ɣ ծ , ʋ + ε 1 s Ɣ ծ , ȡ + 1 ε s Ɣ ռ , ʋ + 1 ε 1 s Ɣ ռ , ȡ ,
Let one assumes that Ɣ * , ψ , ƺ Ɣ * , ψ , ƺ with ƺ = 1 and Ɣ * , ψ , ƺ is affine function and Ɣ * , ψ , ƺ is a concave function. If the stated inequality here, see [32:]
Ɣ ε ծ + 1 ε ռ , s ʋ + 1 s ȡ
ε s Ɣ ծ , ʋ + ε 1 s Ɣ ծ , ȡ + 1 ε s Ɣ ռ , ʋ + 1 ε 1 s Ɣ ռ , ȡ ,
is true.
Definition 6.
Let Ɣ ~ : F 0 be a F N V M on . Then, from ƺ -levels, we get the collection of IVMs Ɣ ƺ : R I + R I are given by
Ɣ ƺ , ψ = Ɣ * , ψ , ƺ , Ɣ * , ψ , ƺ ,
for all , ψ and for all ƺ 0 ,   1 . Then, Ɣ ~ is coordinated left- U D -convex (concave) F N V M on , if and only if, for all ƺ 0 ,   1 ,   Ɣ * , ψ ,   ƺ and Ɣ * , ψ ,   ƺ are coordinated convex (concave) and affine functions on , respectively.
Definition 7.
Let Ɣ ~ : F 0 be a F N V M on . Then, from ƺ -levels, we get the collection of IVMs Ɣ ƺ : R I + R I are given by
Ɣ ƺ , ψ = Ɣ * , ψ , ƺ , Ɣ * , ψ , ƺ ,
for all , ψ and for all ƺ 0 ,   1 . Then, Ɣ ~ is coordinated right- U D -convex (concave) F N V M on , if and only if, for all ƺ 0 ,   1 ,   Ɣ * , ψ ,   ƺ and Ɣ * , ψ ,   ƺ are coordinated affine and convex (concave) functions on , respectively.
Theorem 8.
Let be a coordinated convex set, and let Ɣ ~ : F 0 be a F N V M . Then, from ƺ -levels, we obtain the collection of IVMs Ɣ ƺ : R I + R I are given by
Ɣ ƺ , ψ = Ɣ * , ψ , ƺ , Ɣ * , ψ , ƺ ,
for all , ψ and for all ƺ 0 ,   1 . Then, Ɣ ~ is coordinated U D -concave F N V M on , if and only if, for all ƺ 0 ,   1 ,   Ɣ * , ψ ,   ƺ and Ɣ * , ψ ,   ƺ are coordinated concave and convex functions, respectively.
Proof. 
The demonstration of proof of Theorem 8 is similar to the demonstration proof of Theorem 7.
Example 2.
We consider the F N V M s Ɣ ~ : 0 ,   1 × 0 ,   1 F 0 defined by,
Ɣ ~ σ = σ 6 e 6 e ψ 6 e 6 e ψ 25 ,     σ 6 e 6 e ψ , 25 35 ψ σ 35 ψ 25 ,                         σ 25 , 35 ψ 0 ,                             otherwise .
Then, for each ƺ 0 ,   1 , we have Ɣ ƺ , ψ = 1 ƺ 6 e 6 e ψ + 25 ƺ , 35 1 ƺ ψ + 25 ƺ . Since endpoint functions Ɣ * , ψ , ƺ ,   Ɣ * , ψ , ƺ are coordinate concave and convex functions for each ƺ 0 ,   1 . Hence Ɣ ~ , ψ is coordinated U D -concave F N V M .
In the next results, to avoid confusion, we will not include the symbols ( R ) , ( I R ) , ( F R ) , ( I D ) , and ( F D ) before the integral sign.
The main goal of this article is to develop a number of original fractional coordinated integral inequalities for the Hermite-Hadamard types using an coordinated U D -concave F N V M . We acquired the most recent estimates for mappings whose products are coordinated U D -concave F N V M s using the fuzzy fractional operators.

3. Main Results

Here is first result of coordinated integral inequalities for the Hermite-Hadamard type using the fuzzy fractional operators via coordinated U D -concave F N V M s.
Theorem 9.
Let Ɣ ~ : F 0 be a coordinate U D -convex F N V M on . Then, from ƺ -cuts, we set up the sequence of Ι V M s Ɣ ƺ : R I + are given by Ɣ ƺ , ψ = Ɣ * , ψ , ƺ ,   Ɣ * , ψ , ƺ for all , ψ and for all ƺ 0 ,   1 . If Ɣ ~ F O , then following inequalities holds:
Ɣ ~ ծ + ռ 2 ,   ʋ + ȡ 2 F Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ + ȡ 2 I ռ ɤ Ɣ ~ ծ , ʋ + ȡ 2 Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ~ ծ + ռ 2 , ȡ I ȡ β Ɣ ~ ծ + ռ 2 , ʋ
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ ,   β Ɣ ~ ռ , ȡ I ծ + , ȡ ɤ ,   β Ɣ ~ ռ , ʋ I ռ , ʋ + ɤ ,   β Ɣ ~ ծ , ȡ I ռ , ȡ ɤ ,   β Ɣ ~ ծ , ʋ
F Γ ɤ + 1 8 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ I ծ + ɤ Ɣ ~ ռ , ȡ I ռ ɤ Ɣ ~ ծ , ʋ I ռ ɤ Ɣ ~ ծ , ȡ
Γ β + 1 8 ȡ ʋ β I ʋ +   β Ɣ ~ ծ , ȡ I ȡ β Ɣ ~ ռ , ʋ I ʋ + β Ɣ ~ ռ , ȡ I ȡ β Ɣ ~ ռ , ʋ
F Ɣ ~ ծ , ʋ Ɣ ~ ռ , ʋ Ɣ ~ ծ , ȡ Ɣ ~ ռ , ȡ 4 .
If Ɣ coordinated concave F N V M then,
Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2 F Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ + ȡ 2 I ռ ɤ Ɣ ~ ծ , ʋ + ȡ 2 Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ~ ծ + ռ 2 , ȡ I ȡ β Ɣ ~ ծ + ռ 2 , ʋ
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ I ծ + , ȡ ɤ , β Ɣ ~ ռ , ʋ I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ
F Γ ɤ + 1 8 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ I ծ + ɤ Ɣ ~ ռ , ȡ I ռ ɤ Ɣ ~ ծ , ʋ I ռ ɤ Ɣ ~ ծ , ȡ
Γ β + 1 8 ȡ ʋ β I ʋ + β Ɣ ~ ծ , ȡ I ȡ β Ɣ ~ ռ , ʋ I ʋ + β Ɣ ~ ռ , ȡ I ȡ β Ɣ ~ ծ , ʋ
F Ɣ ~ ծ , ʋ Ɣ ~ ռ , ʋ Ɣ ~ ծ , ȡ Ɣ ~ ռ , ȡ 4 .
Proof. 
Let Ɣ ~ : ծ ,   ռ F 0 be a coordinated U D -convex F N V M . Then, by hypothesis, we have
4 Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2 F Ɣ ~ ε ծ + 1 ε ռ ,   ε ʋ + 1 ε ȡ Ɣ ~ 1 ε ծ + ε ռ ,   1 ε ʋ + ε ȡ .
By using Theorem 7, for every ƺ 0 ,   1 , we have
4 Ɣ * ծ + ռ 2 , ʋ + ȡ 2 , ƺ                                                                                                               Ɣ * ε ծ + 1 ε ռ , ε ʋ + 1 ε ȡ , ƺ + Ɣ * 1 ε ծ + ε ռ , 1 ε ʋ + ε ȡ , ƺ ,     4 Ɣ * ծ + ռ 2 , ʋ + ȡ 2 , ƺ                                                                                                             Ɣ * ε ծ + 1 ε ռ , ε ʋ + 1 ε ȡ , ƺ + Ɣ * 1 ε ծ + ε ռ , 1 ε ʋ + ε ȡ , ƺ .
By using Lemma 1, we have
2 Ɣ * , ʋ + ȡ 2 ,   ƺ Ɣ * ,   ε ʋ + 1 ε ȡ ,   ƺ + Ɣ * ,   1 ε ʋ + ε ȡ ,   ƺ ,     2 Ɣ * , ʋ + ȡ 2 ,   ƺ Ɣ * ,   ε ʋ + 1 ε ȡ ,   ƺ + Ɣ * ,   1 ε ʋ + ε ȡ , ƺ ,
and
2 Ɣ * ծ + ռ 2 , ψ ,   ƺ Ɣ * ε ծ + 1 ε ռ ,   ψ ,   ƺ + Ɣ * 1 ε ծ + t ռ ,   ψ ,   ƺ ,     2 Ɣ * ծ + ռ 2 , ψ ,   ƺ Ɣ * ε ծ + 1 ε ռ ,   ψ ,   ƺ + Ɣ * 1 ε ծ + t ռ ,   ψ , ƺ .
From (30) and (31), we have
2 Ɣ * , ʋ + ȡ 2 , ƺ , Ɣ * , ʋ + ȡ 2 , ƺ
I Ɣ * , ε ʋ + 1 ε ȡ , ƺ , Ɣ * , ε ʋ + 1 ε ȡ , ƺ
+ Ɣ * , 1 ε ʋ + ε ȡ , ƺ , Ɣ * , 1 ε ʋ + ε ȡ , ƺ ,
and
2 Ɣ * ծ + ռ 2 , ψ ,   ƺ , Ɣ * ծ + ռ 2 , ψ ,   ƺ
I Ɣ * ε ծ + 1 ε ռ ,   ψ ,   ƺ , Ɣ * ε ծ + 1 ε ռ ,   ψ ,   ƺ
+ Ɣ * ε ծ + 1 ε ռ ,   ψ ,   ƺ , Ɣ * ε ծ + 1 ε ռ ,   ψ , ƺ ,
It follows that
Ɣ ƺ , ʋ + ȡ 2 I Ɣ ƺ , ε ʋ + 1 ε ȡ + Ɣ ƺ , 1 ε ʋ + ε ȡ ,
and
Ɣ ƺ ծ + ռ 2 , ψ I Ɣ ƺ ε ծ + 1 ε ռ , ψ + Ɣ ƺ ε ծ + 1 ε ռ , ψ .
Since Ɣ ƺ , . and Ɣ ƺ . , ψ , both are coordinated U D -convex- Ι V M s, then from inequality (15), for every ƺ 0 ,   1 , inequalities (32) and (43) we have
Ɣ ƺ ʋ + ȡ 2 I Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ȡ + I ȡ β Ɣ ƺ ʋ I Ɣ ƺ ʋ + Ɣ ƺ ȡ 2 .
and
Ɣ ƺ ψ ծ + ռ 2 I Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ψ ռ + I ռ ɤ Ɣ ƺ ψ ծ I Ɣ ƺ ψ ծ + Ɣ ƺ ψ ռ 2
Since Ɣ ƺ w = Ɣ ƺ , w , then (34) can be written as
Ɣ ƺ , ʋ + ȡ 2 I Γ β + 1 2 ȡ ʋ β I ʋ + ɤ Ɣ ƺ , ȡ + I ȡ ɤ Ɣ ƺ , ʋ I Ɣ ƺ , ʋ + Ɣ ƺ , ȡ 2 .
That is
Ɣ ƺ , ʋ + ȡ 2 I β 2 ȡ ʋ β ʋ ȡ ȡ s β 1 Ɣ ƺ , s d s + ʋ ȡ s ʋ β 1 Ɣ ƺ , s d s I Ɣ ƺ , ʋ + Ɣ ƺ , ȡ 2 .
Multiplying double inequality (36) by ɤ ռ ɤ 1 2 ռ ծ ɤ and integrating with respect to over ծ ,   ռ , we have
ɤ 2 ռ ծ ɤ ծ ռ Ɣ ƺ , ʋ + ȡ 2 ռ ɤ 1 d
I ծ ռ ʋ ȡ ռ ɤ 1 ȡ s β 1 Ɣ ƺ , s d s d + ծ ռ ʋ ȡ ռ ɤ 1 s ʋ β 1 Ɣ ƺ , s d s d
I ɤ 4 ռ ծ ɤ ծ ռ ռ ɤ 1 Ɣ ƺ , ʋ d + ծ ռ ռ ɤ 1 Ɣ ƺ , ȡ d .
Again, multiplying double inequality (36) by ɤ ծ ɤ 1 2 ռ ծ ɤ and integrating with respect to over ծ ,   ռ , we have
ɤ 2 ռ ծ ɤ ծ ռ Ɣ ƺ , ʋ + ȡ 2 ռ ɤ 1 d
I ɤ β 4 ռ ծ ɤ ȡ ʋ β ծ ռ ʋ ȡ ծ ɤ 1 ȡ s β 1 Ɣ ƺ , s d s d
+ ɤ β 4 ռ ծ ɤ ȡ ʋ β ծ ռ ʋ ȡ ծ ɤ 1 s ʋ β 1 Ɣ ƺ , s d s d
I ɤ 4 ռ ծ ɤ ծ ռ ծ ɤ 1 Ɣ ƺ , ʋ d + ծ ռ ծ ɤ 1 Ɣ ƺ , ȡ d .
From (37), we have
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ + ȡ 2
I Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ ,   β Ɣ ƺ ռ , ȡ + I ռ , ʋ + ɤ ,   β Ɣ ƺ ռ , ʋ
I Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ + I ծ + ɤ Ɣ ƺ ռ , ȡ .
From (38), we have
Γ ɤ + 1 2 ռ ծ ɤ I ռ ɤ Ɣ ƺ ծ , ʋ + ȡ 2
I Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ ,   β Ɣ ƺ ծ , ȡ + I ռ , ȡ ɤ ,   β Ɣ ƺ ծ , ʋ
I Γ ɤ + 1 4 ռ ծ ɤ I ռ ɤ Ɣ ƺ ծ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ .
Since from ƺ -cuts, we obtain the collection of Ι V M s Ɣ ƺ : R I + , then we have
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ + ȡ 2
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ I ռ , ʋ + ɤ , β Ɣ ~ ռ , ʋ
F Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ I ծ + ɤ Ɣ ~ ռ , ȡ .
And
Γ ɤ + 1 2 ռ ծ ɤ I ռ ɤ Ɣ ~ ծ , ʋ + ȡ 2
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ
F Γ ɤ + 1 4 ռ ծ ɤ I ռ ɤ Ɣ ~ ծ , ʋ I ռ ɤ Ɣ ~ ծ , ȡ .
Similarly, since Ɣ ~ ψ z = Ɣ ~ z , ψ then, from the (35), (41) and (42), we have
Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ~ ծ + ռ 2 , ȡ
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ
F Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ~ ծ , ȡ I ʋ + β Ɣ ~ ռ , ȡ .
And
Γ β + 1 2 ȡ ʋ ɤ I ȡ β Ɣ ~ ծ + ռ 2 , ʋ
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ȡ ɤ , β Ɣ ~ ռ , ʋ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ
F Γ β + 1 4 ȡ ʋ β I ȡ β Ɣ ~ ծ , ʋ I ȡ β Ɣ ~ ռ , ʋ .
The second, third, and fourth inequalities of (28) will be the consequence of adding the inequalities (41), (42), (43) and (44).
Now, for any ƺ 0 ,   1 , we have inequality (15)'s left portion.
Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 I Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ + ռ 2 , ȡ + I ȡ β Ɣ ƺ ծ + ռ 2 , ʋ
And
Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 I Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ + ȡ 2 + I ռ ɤ Ɣ ƺ ծ , ʋ + ȡ 2 .
The following inequality is created by adding the two inequalities (45 and 46):
Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 I Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ + ȡ 2 + I ռ ɤ Ɣ ƺ ծ , ʋ + ȡ 2
+ Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ƺ ծ + ռ 2 , ȡ + I ȡ β Ɣ ƺ ծ + ռ 2 , ʋ .
Similarly, since we obtain the set of Ι V M s Ɣ ƺ : R I + for for ƺ 0 ,   1 , the inequality can be expressed as follows:
Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2
F Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ + ȡ 2 I ռ ɤ Ɣ ~ ծ , ʋ + ȡ 2 Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ~ ծ + ռ 2 , ȡ I ȡ β Ɣ ~ ծ + ռ 2 , ʋ .
The first inequality of (28) is this one.
Now, for any ƺ 0 ,   1 , we have inequality (15)'s right portion:
Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ + I ȡ β Ɣ ƺ ծ , ʋ I Ɣ ƺ ծ , ʋ + Ɣ ƺ ծ , ȡ 2 .
Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ռ , ȡ + I ȡ β Ɣ ƺ ռ , ʋ I Ɣ ƺ ռ , ʋ + Ɣ ƺ ռ , ȡ 2 .
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ʋ I Ɣ ƺ ծ , ʋ + Ɣ ƺ ռ , ʋ 2
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ I Ɣ ƺ ծ , ȡ + Ɣ ƺ ռ , ȡ 2
Summing inequalities (48), (49), (50) and (51), and then taking multiplication of the resultant with 1 4 , we have
Γ ɤ + 1 8 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ʋ + I ծ + ɤ Ɣ ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ
+ Γ β + 1 8 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ + I ȡ β Ɣ ƺ ծ , ʋ + I ʋ + β Ɣ ƺ ռ , ȡ + I ȡ β Ɣ ƺ ռ , ʋ
I Ɣ ƺ ծ , ʋ + Ɣ ƺ ծ , ȡ + Ɣ ƺ ռ , ʋ + Ɣ ƺ ռ , ȡ 4 .
Since we receive the collection of Ι V M s Ɣ ƺ : R I + from ƺ -cuts, we have
Γ ɤ + 1 8 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ I ռ ɤ Ɣ ~ ծ , ʋ I ծ + ɤ Ɣ ~ ռ , ȡ I ռ ɤ Ɣ ~ ծ , ȡ
Γ β + 1 8 ȡ ʋ β I ʋ + β Ɣ ~ ծ , ȡ I ȡ β Ɣ ~ ծ , ʋ I ʋ + β Ɣ ~ ռ , ȡ I ȡ β Ɣ ~ ռ , ʋ
F Ɣ ~ ծ , ʋ Ɣ ~ ծ , ȡ Ɣ ~ ռ , ʋ Ɣ ~ ռ , ȡ 4 .
This is the final inequality of (28) and the conclusion has been established.
Example 3.
We assume the F N V M s Ɣ ~ : 0 ,   2 × 0 ,   2 F 0 defined by,
Ɣ , ψ σ = σ 2 2 ψ 4 2 2 ψ ,         σ 2 2 ψ , 4 2 + 2 + ψ σ 2 + 2 + ψ 4 ,         σ 4 , 2 + 2 + ψ 0 ,                                     otherwise ,
then, for each ƺ 0 , 1 , we have Ɣ ƺ , ψ = 1 ƺ 2 2 ψ + 4 ƺ , 1 ƺ 2 + 2 + ψ + 4 ƺ . Since end point functions Ɣ * , ψ , ƺ ,   Ɣ * , ψ , ƺ are coordinate concave functions for each ƺ 0 , 1 . Hence Ɣ ~ , ψ is coordinate concave F N V M .
Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 = 1 ƺ + 4 ƺ , 9 1 ƺ + 4 ƺ ,
Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ + ȡ 2 I ռ ɤ Ɣ ~ ծ , ʋ + ȡ 2 Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ~ ծ + ռ 2 , ȡ I ȡ β Ɣ ~ ծ + ռ 2 , ʋ
= 1 ƺ 2 2 4 2 8 π + 4 ƺ , 1 ƺ 2 + 2 4 + 2 8 π + 4 ƺ
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ I ծ + , ȡ ɤ , β Ɣ ƺ ռ , ʋ I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ƺ ծ , ʋ
= 1 ƺ 33 8 2 2 2 π + π 8 + π 2 32 + 4 ƺ , 1 ƺ 33 8 + 2 + 2 2 π + π 8 + π 2 32 + 4 ƺ
Γ ɤ + 1 8 ռ ծ ɤ I ծ + ɤ Ɣ ~ ռ , ʋ I ծ + ɤ Ɣ ~ ռ , ȡ I ռ ɤ Ɣ ~ ծ , ʋ I ռ ɤ Ɣ ~ ծ , ȡ
Γ β + 1 8 ȡ ʋ β I ʋ + β Ɣ ~ ծ , ȡ I ʋ + β Ɣ ~ ռ , ȡ I ȡ β Ɣ ~ ծ , ʋ I ȡ β Ɣ ~ ռ , ʋ
= 34 2 + 2 4 π 24 8 2 1 ƺ + 4 ƺ , 34 2 + 2 + 4 π + 24 8 2 1 ƺ + 4 ƺ
Ɣ ƺ ʋ , ռ + Ɣ ƺ σ , ռ + Ɣ ƺ ʋ , ȡ + Ɣ ƺ σ , ȡ 4 = 1 ƺ 9 2 2 2 + 4 ƺ , 1 ƺ 9 2 + 2 2 + 4 ƺ .
That is
1 ƺ + 4 ƺ , 9 1 ƺ + 4 ƺ I 1 ƺ 2 2 4 2 8 π + 4 ƺ , 1 ƺ 2 + 2 4 + 2 8 π + 4 ƺ
I 1 ƺ 33 8 2 2 2 π + π 8 + π 2 32 + 4 ƺ , 1 ƺ 33 8 + 2 + 2 2 π + π 8 + π 2 32 + 4 ƺ
I 34 2 + 2 4 π 24 8 2 1 ƺ + 4 ƺ , 34 2 + 2 + 4 π + 24 8 2 1 ƺ + 4 ƺ
I 34 2 + 2 4 π 24 8 2 1 ƺ + 4 ƺ , .
Hence, Theorem 9 has been verified.
Remark 2.
If one assumes that ɤ = 1 and β = 1 , then from (28), as a result, there will be inequity, see [27]:
Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2
F   1 2 1 ռ ծ ծ ռ Ɣ ~ , ʋ + ȡ 2 d 1 ȡ ʋ ʋ ȡ Ɣ ~ ծ + ռ 2 , ψ d ψ F 1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ ~ , ψ d ψ d
F   1 4 ռ ծ ծ ռ Ɣ ~ , ʋ d ծ ռ Ɣ ~ , ȡ d   1 4 ȡ ʋ ʋ ȡ Ɣ ~ ծ , ψ d ψ ʋ ȡ Ɣ ~ ռ , ψ d ψ
F Ɣ ~ ծ , ʋ Ɣ ~ ռ , ʋ Ɣ ~ ծ , ȡ Ɣ ~ ռ , ȡ 4 .
If one assumes that  ɤ = 1 and β = 1 and Ɣ ~ is coordinated left- U D -convex, then from (28), as a result, there will be inequity, see [22]:
Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2
F   1 2 1 ռ ծ ծ ռ Ɣ ~ , ʋ + ȡ 2 d 1 ȡ ʋ ʋ ȡ Ɣ ~ ծ + ռ 2 , ψ d ψ F 1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ ~ , ψ d ψ d
F   1 4 ռ ծ ծ ռ Ɣ ~ , ʋ d ծ ռ Ɣ ~ , ȡ d   1 4 ȡ ʋ ʋ ȡ Ɣ ~ ծ , ψ d ψ ʋ ȡ Ɣ ~ ռ , ψ d ψ
F Ɣ ~ ծ , ʋ Ɣ ~ ռ , ʋ Ɣ ~ ծ , ȡ Ɣ ~ ռ , ȡ 4 .
If Ɣ * , ψ ,   ƺ Ɣ * , ψ ,   ƺ with ƺ = 1 , then from (28), we succeed in bringing about the upcoming inequity, see [21]:
Ɣ ծ + ռ 2 , ʋ + ȡ 2
Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ռ , ʋ + ȡ 2 + I ռ ɤ Ɣ ծ , ʋ + ȡ 2 + Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ծ + ռ 2 , ȡ + I ȡ β Ɣ ծ + ռ 2 , ʋ
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ծ , ʋ
Γ ɤ + 1 8 ռ ծ ɤ I ծ + ɤ Ɣ ռ , ʋ + I ծ + ɤ Ɣ ռ , ȡ + I ռ ɤ Ɣ ծ , ʋ + I ռ ɤ Ɣ ծ , ȡ .
+ Γ β + 1 8 ȡ ʋ β I ʋ + β Ɣ ծ , ȡ + I ȡ β Ɣ ծ , ʋ + I ʋ + β Ɣ ռ , ȡ + I ȡ β Ɣ ռ , ʋ
Ɣ ծ , ʋ + Ɣ ռ , ʋ + Ɣ ծ , ȡ + Ɣ ռ , ȡ 4 .
If Ɣ * , ψ ,   ƺ Ɣ * , ψ ,   ƺ with ƺ = 1 , the by (28), we succeed in bringing about the upcoming inequity, see [20]:
Ɣ ծ + ռ 2 , ʋ + ȡ 2
  1 2 1 ռ ծ ծ ռ Ɣ , ʋ + ȡ 2 d + 1 ȡ ʋ ʋ ȡ Ɣ ծ + ռ 2 , ψ d ψ
1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ , ψ d ψ d
  1 4 ռ ծ ծ ռ Ɣ , ʋ d + ծ ռ Ɣ , ȡ d +   1 4 ȡ ʋ ʋ ȡ Ɣ ծ , ψ d ψ + ʋ ȡ Ɣ ռ , ψ d ψ
Ɣ ծ , ʋ + Ɣ ռ , ʋ + Ɣ ծ , ȡ + Ɣ ռ , ȡ 4 .
If Ɣ ~ is coordinated right- U D -convex and Ɣ * , ψ ,   ƺ = Ɣ * , ψ ,   ƺ with ƺ = 1 , then from (28), we succeed in bringing about the upcoming inequity, see [23]:
Ɣ ծ + ռ 2 , ʋ + ȡ 2
Γ ɤ + 1 4 ռ ծ ɤ I ծ + ɤ Ɣ ռ , ʋ + ȡ 2 + I ռ ɤ Ɣ ծ , ʋ + ȡ 2 + Γ β + 1 4 ȡ ʋ β I ʋ + β Ɣ ծ + ռ 2 , ȡ + I ȡ β Ɣ ծ + ռ 2 , ʋ
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ծ , ʋ
Γ ɤ + 1 8 ռ ծ ɤ I ծ + ɤ Ɣ ռ , ʋ Ɣ I ծ + ɤ Ɣ ռ , ȡ + I ռ ɤ Ɣ ծ , ʋ + I ռ ɤ Ɣ ծ , ȡ .
+ Γ β + 1 8 ȡ ʋ β I ʋ + β Ɣ ծ , ȡ + ~ I ȡ β Ɣ ծ , ʋ + I ʋ + β Ɣ ռ , ȡ + I ȡ β Ɣ ռ , ʋ
Ɣ ծ , ʋ + Ɣ ռ , ʋ + Ɣ ծ , ȡ + Ɣ ռ , ȡ 4 .
Theorem 10.
Let Ɣ ~ , J ~ : F 0 be a coordinate U D -convex F N V M s on . Then, from ƺ -cuts, we set up the sequence of Ι V M s Ɣ ƺ , J ƺ : R I + are given by Ɣ ƺ , ψ = Ɣ * , ψ , ƺ , Ɣ * , ψ , ƺ and J ƺ , ψ = J * , ψ , ƺ , J * , ψ , ƺ for all , ψ and for all ƺ 0 , 1 . If Ɣ ~ J ~ F O , then following inequalities holds:
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ J ~ ռ , ȡ I ծ + , ȡ ɤ , β Ɣ ~ ռ , ʋ J ~ ռ , ʋ
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ J ~ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ J ~ ծ , ʋ
F 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) K ~ ծ , ռ , ʋ , ȡ ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) L ~ ծ , ռ , ʋ , ȡ
1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β ( β + 1 ) ( β + 2 ) M ~ ծ , ռ , ʋ , ȡ β ( β + 1 ) ( β + 2 ) ɤ ( ɤ + 1 ) ( ɤ + 2 ) N ~ ծ , ռ , ʋ , ȡ .
If Ɣ ~ and J ~ are both coordinated concave F N V M s on , then inequality above can be expressed as follows:
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ J ~ ռ , ȡ I ծ + , ȡ ɤ , β Ɣ ~ ռ , ʋ J ~ ռ , ʋ
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ J ~ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ J ~ ծ , ʋ
F 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) K ~ ծ , ռ , ʋ , ȡ ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) L ~ ծ , ռ , ʋ , ȡ
1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β ( β + 1 ) ( β + 2 ) M ~ ծ , ռ , ʋ , ȡ β ( β + 1 ) ( β + 2 ) ɤ ( ɤ + 1 ) ( ɤ + 2 ) N ~ ծ , ռ , ʋ , ȡ ,
where
K ~ ծ , ռ , ʋ , ȡ = Ɣ ~ ծ , ʋ J ~ ծ , ʋ Ɣ ~ ռ , ʋ J ~ ռ , ʋ Ɣ ~ ծ , ȡ J ~ ծ , ȡ Ɣ ~ ռ , ȡ J ~ ռ , ȡ ,
L ~ ծ , ռ , ʋ , ȡ = Ɣ ~ ծ , ʋ J ~ ռ , ʋ Ɣ ~ ռ , ȡ J ~ ծ , ȡ Ɣ ~ ռ , ʋ J ~ ծ , ʋ Ɣ ~ ծ , ȡ J ~ ռ , ȡ ,
M ~ ծ , ռ , ʋ , ȡ = Ɣ ~ ծ , ʋ J ~ ծ , ȡ Ɣ ~ ռ , ʋ J ~ ռ , ȡ Ɣ ~ ծ , ȡ J ~ ծ , ʋ Ɣ ~ ռ , ȡ J ~ ռ , ʋ ,
N ~ ծ , ռ , ʋ , ȡ = Ɣ ~ ծ , ʋ J ~ ռ , ȡ Ɣ ~ ռ , ʋ J ~ ծ , ȡ Ɣ ~ ծ , ȡ J ~ ռ , ʋ Ɣ ~ ռ , ȡ J ~ ծ , ʋ ,
and for each ƺ 0 , 1 ,   K ~ ծ , ռ , ʋ , ȡ , L ~ ծ , ռ , ʋ , ȡ , M ~ ծ , ռ , ʋ , ȡ and N ~ ծ , ռ , ʋ , ȡ are defined as follows:
K ƺ ծ , ռ , ʋ , ȡ = K * ծ , ռ , ʋ , ȡ , ƺ , K * ծ , ռ , ʋ , ȡ , ƺ ,
L ƺ ծ , ռ , ʋ , ȡ = L * ծ , ռ , ʋ , ȡ , ƺ , L * ծ , ռ , ʋ , ȡ , ƺ ,
M ƺ ծ , ռ , ʋ , ȡ = M * ծ , ռ , ʋ , ȡ , ƺ , M * ծ , ռ , ʋ , ȡ , ƺ ,
N ƺ ծ , ռ , ʋ , ȡ = N * ծ , ռ , ʋ , ȡ , ƺ , N * ծ , ռ , ʋ , ȡ , ƺ .
Proof. 
Let Ɣ ~ and J ~ be two coordinated U D -convex F N V M s on ծ ,   ռ × ʋ ,   ȡ . Then
Ɣ ~ ε ծ + 1 ε ռ , s ʋ + 1 s ȡ
F ε s Ɣ ~ ծ , ʋ ε 1 s Ɣ ~ ծ , ȡ 1 ε s Ɣ ~ ռ , ʋ 1 ε 1 s Ɣ ~ ռ , ȡ ,
And
J ~ ε ծ + 1 ε ռ , s ʋ + 1 s ȡ
F ε s J ~ ծ , ʋ ε 1 s J ~ ծ , ȡ 1 ε s J ~ ռ , ʋ 1 ε 1 s J ~ ռ , ȡ .
Since  Ɣ ~ and J ~ both are coordinated U D -convex F N V M s, Lemma 1 states that
Ɣ ~ : ʋ , ȡ F 0 ,   Ɣ ~ ψ = Ɣ ~ , ψ ,   J ~ : ʋ , ȡ F 0 ,   J ~ ψ = J ~ , ψ ,
Since  Ɣ ~ , and J ~ are F N V M s, then by inequality (16), we have
Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ~ ȡ J ~ ȡ I ȡ β Ɣ ~ ʋ J ~ ʋ
F 1 2 β β + 1 β + 2 Ɣ ~ ʋ J ~ ʋ Ɣ ~ ȡ J ~ ȡ
β ( β + 1 ) ( β + 2 ) Ɣ ~ ʋ J ~ ȡ Ɣ ~ ȡ J ~ ʋ .
Now for all for all ƺ 0 ,   1 , we have
Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ȡ × J ƺ ȡ + I ȡ β Ɣ ƺ ʋ × J ƺ ʋ
I 1 2 β β + 1 β + 2 Ɣ ƺ ʋ × J ƺ ʋ + Ɣ ƺ ȡ × J ƺ ȡ
+ β ( β + 1 ) ( β + 2 ) Ɣ ƺ ʋ × J ƺ ȡ + Ɣ ƺ ȡ × J ƺ ʋ .
That is
β 2 ȡ ʋ β ʋ ȡ ȡ ψ β 1 Ɣ ƺ , ψ × J ƺ , ψ d ψ + ʋ ȡ ψ ʋ β 1 Ɣ ƺ , ψ × J ƺ , ψ d ψ
I 1 2 β β + 1 β + 2 Ɣ ƺ , ʋ × J ƺ , ʋ + Ɣ ƺ , ȡ × J ƺ , ȡ
+ β ( β + 1 ) ( β + 2 ) Ɣ ƺ , ʋ × J ƺ , ȡ + Ɣ ƺ , ȡ × J ƺ , ʋ .
Multiplying double inequality (61) by ɤ ռ ɤ 1 2 ռ ծ ɤ and integrating with respect to over ծ ,   ռ , we get
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ծ + , ȡ ɤ , β   Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
I Γ ɤ + 1 2 ռ ծ ɤ 1 2 β β + 1 β + 2 I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ Γ ɤ + 1 2 ռ ծ ɤ β ( β + 1 ) ( β + 2 ) I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ + I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ .
Again, multiplying double inequality (61) by ɤ ծ ɤ 1 2 ռ ծ ɤ and integrating with respect to over ծ ,   ռ , we gain
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
I Γ ɤ + 1 2 ռ ծ ɤ 1 2 β β + 1 β + 2 I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
+ Γ ɤ + 1 2 ռ ծ ɤ β ( β + 1 ) ( β + 2 ) I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ .
Summing (62) and (63), we have
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
I Γ ɤ + 1 2 ռ ծ ɤ 1 2 β β + 1 β + 2 I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
+ Γ ɤ + 1 2 ռ ծ ɤ 1 2 β β + 1 β + 2 I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
+ Γ ɤ + 1 2 ռ ծ ɤ β ( β + 1 ) ( β + 2 ) I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ
+ Γ ɤ + 1 2 ռ ծ ɤ β ( β + 1 ) ( β + 2 ) I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ .
Now, once more with the aid of integral inequality (16), we obtain the following relationship for the first two integrals on the right-hand side of (64):
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
I 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ʋ × J ƺ ռ , ʋ + Ɣ ƺ ռ , ʋ × J ƺ ծ , ʋ .
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
I 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ȡ × J ƺ ռ , ȡ + Ɣ ƺ ռ , ȡ × J ƺ ծ , ȡ .
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ
I 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ʋ × J ƺ ռ , ȡ + Ɣ ƺ ռ , ʋ × J ƺ ծ , ȡ .
And
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ
I 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ + Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ȡ × J ƺ ռ , ʋ + Ɣ ƺ ռ , ȡ × J ƺ ծ , ʋ .
From (65)-(68), inequality (64) we have
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
I 1 2 ɤ ɤ + 1 ɤ + 2 1 2 β β + 1 β + 2 K ƺ ծ , ռ , ʋ , ȡ + ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) L ƺ ծ , ռ , ʋ , ȡ
+ 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β ( β + 1 ) ( β + 2 ) M ƺ ծ , ռ , ʋ , ȡ + β ( β + 1 ) ( β + 2 ) ɤ ( ɤ + 1 ) ( ɤ + 2 ) N ƺ ծ , ռ , ʋ , ȡ .
Since we get the collection of Ι V M s Ɣ ƺ ,   J ƺ : R I + from ƺ -cuts, the aforementioned inequality can be expressed as an inequality (59). The conclusion has therefore been established.
Remark 3.
If one assumes that ɤ = 1 and β = 1 , then from (59), as a result, there will be inequity, see [28]:
1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ ~ , ψ J ~ , ψ d ψ d
F 1 9 K ~ ծ , ռ , ʋ , ȡ 1 18 L ~ ծ , ռ , ʋ , ȡ M ~ ծ , ռ , ʋ , ȡ 1 36 N ~ ծ , ռ , ʋ , ȡ .
If Ɣ ~ is coordinated left- U D -convex and one assumes that ɤ = 1 and β = 1 , then from (59), as a result, there will be inequity, see [22]:
1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ ~ , ψ J ~ , ψ d ψ d
F 1 9 K ~ ծ , ռ , ʋ , ȡ 1 18 L ~ ծ , ռ , ʋ , ȡ M ~ ծ , ռ , ʋ , ȡ 1 36 N ~ ծ , ռ , ʋ , ȡ .
If Ɣ * , ψ ,   ƺ Ɣ * , ψ ,   ƺ with ƺ = 1 then, by (59), we succeed in bringing about the upcoming inequity, see [21]:
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ռ , ȡ × J ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ռ , ʋ × J ռ , ʋ
+ Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ծ , ȡ × J ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ծ , ʋ × J ծ , ʋ
1 2 ɤ ɤ + 1 ɤ + 2 1 2 β β + 1 β + 2 K ծ , ռ , ʋ , ȡ + ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) L ծ , ռ , ʋ , ȡ
+ 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β ( β + 1 ) ( β + 2 ) M ծ , ռ , ʋ , ȡ + β ( β + 1 ) ( β + 2 ) ɤ ( ɤ + 1 ) ( ɤ + 2 ) N ծ , ռ , ʋ , ȡ .
If Ɣ * , ψ ,   ƺ Ɣ * , ψ ,   ƺ with ƺ = 1 , then by (59), we succeed in bringing about the upcoming inequity, see [20]:
1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ , ψ × J , ψ d ψ d
1 9 K ծ , ռ , ʋ , ȡ + 1 18 L ծ , ռ , ʋ , ȡ + M ծ , ռ , ʋ , ȡ + 1 36 N ծ , ռ , ʋ , ȡ .
If Ɣ * , ψ ,   ƺ = Ɣ * , ψ ,   ƺ and J * , ψ ,   ƺ = J * , ψ ,   ƺ with ƺ = 1 , then from (59), we succeed in bringing about the upcoming inequity, see [27]:
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ռ , ȡ × J ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ռ , ʋ × J ռ , ʋ
+ Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β + I ռ , ʋ + ɤ , β Ɣ ծ , ȡ × J ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ծ , ʋ × J ծ , ʋ
1 2 ɤ ɤ + 1 ɤ + 2 1 2 β β + 1 β + 2 K ծ , ռ , ʋ , ȡ + ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) L ծ , ռ , ʋ , ȡ
+ 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β ( β + 1 ) ( β + 2 ) M ծ , ռ , ʋ , ȡ + β ( β + 1 ) ( β + 2 ) ɤ ( ɤ + 1 ) ( ɤ + 2 ) N ծ , ռ , ʋ , ȡ .
Theorem 11.
Let Ɣ ~ , J ~ : F 0 be a coordinated U D -convex F N V M s on . Then, from ƺ -cuts, we set up the sequence of Ι V M s Ɣ ƺ , J ƺ : R I + are given by Ɣ ƺ , ψ = Ɣ * , ψ , ƺ , Ɣ * , ψ , ƺ and J ƺ , ψ = J * , ψ , ƺ , J * , ψ , ƺ for all , ψ and for all ƺ 0 , 1 . If Ɣ ~ J ~ F O , then following inequalities holds:
4 Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2 J ~ ծ + ռ 2 , ʋ + ȡ 2
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ J ~ ռ , ȡ I ծ + , ȡ ɤ , β Ɣ ~ ռ , ʋ J ~ ռ , ʋ
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ J ~ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ J ~ ծ , ʋ
ɤ 2 ɤ + 1 ɤ + 2 + β β + 1 β + 2 1 2 ɤ ɤ + 1 ɤ + 2 K ~ ծ , ռ , ʋ , ȡ
1 2 1 2 ɤ ɤ + 1 ɤ + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 L ~ ծ , ռ , ʋ , ȡ
1 2 1 2 β β + 1 β + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 M ~ ծ , ռ , ʋ , ȡ
1 4 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 N ~ ծ , ռ , ʋ , ȡ .
If Ɣ ~ and J ~ both are coordinate concave F N V M s on , then the inequality above can be expressed as follows
4 Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2 J ~ ծ + ռ 2 , ʋ + ȡ 2
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ J ~ ռ , ȡ I ծ + , ȡ ɤ , β Ɣ ~ ռ , ʋ J ~ ռ , ʋ
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ J ~ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ J ~ ծ , ʋ
ɤ 2 ɤ + 1 ɤ + 2 + β β + 1 β + 2 1 2 ɤ ɤ + 1 ɤ + 2 K ~ ծ , ռ , ʋ , ȡ
1 2 1 2 ɤ ɤ + 1 ɤ + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 L ~ ծ , ռ , ʋ , ȡ
1 2 1 2 β β + 1 β + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 M ~ ծ , ռ , ʋ , ȡ
1 4 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 N ~ ծ , ռ , ʋ , ȡ ,
where K ~ ծ , ռ , ʋ , ȡ , L ~ ծ , ռ , ʋ , ȡ , M ~ ծ , ռ , ʋ , ȡ and N ~ ծ , ռ , ʋ , ȡ are given in Theorem 10.
Proof. 
Since Ɣ ~ , J ~   : F 0 be two U D -convex F N V M s, then from inequality (17) and for each ƺ 0 ,   1 , we have
2 Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 × J ƺ ծ + ռ 2 , ʋ + ȡ 2
I ɤ 2 ռ ծ ɤ ծ ռ ռ ɤ 1 Ɣ ƺ , ʋ + ȡ 2 × J ƺ , ʋ + ȡ 2 d + ծ ռ ծ ɤ 1 Ɣ ƺ , ʋ + ȡ 2 × J ƺ , ʋ + ȡ 2 d
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ʋ + ȡ 2 × J ƺ ծ , ʋ + ȡ 2 + Ɣ ƺ ռ , ʋ + ȡ 2 × J ƺ ռ , ʋ + ȡ 2
+ 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ʋ + ȡ 2 × J ƺ ռ , ʋ + ȡ 2 + Ɣ ƺ ռ , ʋ + ȡ 2 × J ƺ ծ , ʋ + ȡ 2 ,
and
2 Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 × J ƺ ծ + ռ 2 , ʋ + ȡ 2
I β 2 ȡ ʋ β ʋ ȡ ȡ ψ β 1 Ɣ ƺ ծ + ռ 2 , ψ × J ƺ ծ + ռ 2 , ψ d ψ + ʋ ȡ ψ ʋ β 1 Ɣ ƺ ծ + ռ 2 , ψ × J ƺ ծ + ռ 2 , ψ d ψ
+ β β + 1 β + 2 Ɣ ƺ ծ + ռ 2 , ʋ × J ƺ ծ + ռ 2 , ʋ + Ɣ ƺ ծ + ռ 2 , ȡ × J ƺ ծ + ռ 2 , ȡ
+ 1 2 β β + 1 β + 2 Ɣ ƺ ծ + ռ 2 , ʋ × J ƺ ծ + ռ 2 , ȡ + Ɣ ƺ ծ + ռ 2 , ȡ × J ƺ ծ + ռ 2 , ʋ .
Adding (76) and (77), and then taking the multiplication of the resultant one by 2, we obtain:
By adding (76) and (77), multiplying the result by 2, we arrive at:
8 Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 × J ƺ ծ + ռ 2 , ʋ + ȡ 2
I ɤ 2 ռ ծ ɤ ծ ռ 2 ռ ɤ 1 Ɣ ƺ , ʋ + ȡ 2 × J ƺ , ʋ + ȡ 2 d + ծ ռ 2 ծ ɤ 1 Ɣ ƺ , ʋ + ȡ 2 × J ƺ , ʋ + ȡ 2 d
+ β 2 ȡ ʋ β ʋ ȡ 2 ȡ ψ β 1 Ɣ ƺ ծ + ռ 2 , ψ × J ƺ ծ + ռ 2 , ψ d ψ + ʋ ȡ 2 ψ ʋ β 1 Ɣ ƺ ծ + ռ 2 , ψ × J ƺ ծ + ռ 2 , ψ d ψ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) 2 Ɣ ƺ ծ , ʋ + ȡ 2 × J ƺ ծ , ʋ + ȡ 2 + 2 Ɣ ƺ ռ , ʋ + ȡ 2 × J ƺ ռ , ʋ + ȡ 2
+ 1 2 ɤ ɤ + 1 ɤ + 2 2 Ɣ ƺ ծ , ʋ + ȡ 2 × J ƺ ռ , ʋ + ȡ 2 + 2 Ɣ ƺ ռ , ʋ + ȡ 2 × J ƺ ծ , ʋ + ȡ 2
+ β β + 1 β + 2 2 Ɣ ƺ ծ + ռ 2 , ʋ × J ƺ ծ + ռ 2 , ʋ + 2 Ɣ ƺ ծ + ռ 2 , ȡ × J ƺ ծ + ռ 2 , ȡ
+ 1 2 β β + 1 β + 2 2 Ɣ ƺ ծ + ռ 2 , ʋ × J ƺ ծ + ռ 2 , ȡ + 2 Ɣ ƺ ծ + ռ 2 , ȡ × J ƺ ծ + ռ 2 , ʋ .
By Lemma 1, for each integral on the right-hand side of (78) and integral inequality (17) once more lead us to arrive at:
ɤ 2 ռ ծ ɤ ծ ռ 2 ռ ɤ 1 Ɣ ƺ , ʋ + ȡ 2 × J ƺ , ʋ + ȡ 2 d
I ɤ β 4 ռ ծ ɤ ȡ ʋ β ծ ռ ʋ ȡ ռ ɤ 1 ȡ ψ β 1 Ɣ ƺ , ψ d ψ d
+ ɤ β 4 ռ ծ ɤ ȡ ʋ β ծ ռ ʋ ȡ ռ ɤ 1 ψ ʋ β 1 Ɣ ƺ , ψ d ψ d
+ β β + 1 β + 2 ɤ 2 ռ ծ ɤ ծ ռ ռ ɤ 1 Ɣ ƺ , ʋ × J ƺ , ʋ + Ɣ ƺ , ȡ × J ƺ , ȡ d
+ 1 2 β β + 1 β + 2 ɤ 2 ռ ծ ɤ ծ ռ ռ ɤ 1 Ɣ ƺ , ʋ × J ƺ , ȡ + Ɣ ƺ , ȡ × J ƺ , ʋ d ,
= Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ծ + , ȡ ɤ , β   Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
+ Γ ɤ + 1 2 ռ ծ ɤ β β + 1 β + 2 I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ Γ ɤ + 1 2 ռ ծ ɤ 1 2 β ( β + 1 ) ( β + 2 ) I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ + I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ .
ɤ 2 ռ ծ ɤ ծ ռ 2 ծ ɤ 1 Ɣ ƺ , ʋ + ȡ 2 × J ƺ , ʋ + ȡ 2 d
I ɤ β 4 ռ ծ ɤ ȡ ʋ β ծ ռ ʋ ȡ ծ ɤ 1 ȡ ψ β 1 Ɣ ƺ , ψ d ψ d
+ ɤ β 4 ռ ծ ɤ ȡ ʋ β ծ ռ ʋ ȡ ծ ɤ 1 ψ ʋ β 1 Ɣ ƺ , ψ d ψ d
+ β β + 1 β + 2 ɤ 2 ռ ծ ɤ ծ ռ ծ ɤ 1 Ɣ ƺ , ʋ × J ƺ , ʋ + Ɣ ƺ , ȡ × J ƺ , ȡ d
+ 1 2 β β + 1 β + 2 ɤ 2 ռ ծ ɤ ծ ռ ծ ɤ 1 Ɣ ƺ , ʋ × J ƺ , ȡ + Ɣ ƺ , ȡ × J ƺ , ʋ d ,
= Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ռ , ȡ ɤ , β   Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
+ Γ ɤ + 1 2 ռ ծ ɤ β β + 1 β + 2 I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
+ Γ ɤ + 1 2 ռ ծ ɤ 1 2 β ( β + 1 ) ( β + 2 ) I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ .
β 2 ȡ ʋ β ʋ ȡ 2 ȡ ψ β 1 Ɣ ƺ ծ + ռ 2 , ψ × J ƺ ծ + ռ 2 , ψ d ψ
I Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
+ Γ β + 1 2 ȡ ʋ β ɤ ɤ + 1 ɤ + 2 I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ Γ β + 1 2 ȡ ʋ β 1 2 ɤ ɤ + 1 ɤ + 2 I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ռ , ȡ + I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ .
β 2 ȡ ʋ β ʋ ȡ 2 ψ ʋ β 1 Ɣ ƺ ծ + ռ 2 , ψ × J ƺ ծ + ռ 2 , ψ d ψ
I Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ȡ ɤ , β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ , ȡ ɤ , β   Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
+ Γ β + 1 2 ȡ ʋ β ɤ ɤ + 1 ɤ + 2 I ȡ β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + I ȡ β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
+ Γ β + 1 2 ȡ ʋ β 1 2 ɤ ɤ + 1 ɤ + 2 I ȡ β Ɣ ƺ ծ , ʋ × J ƺ ռ , ʋ + I ȡ β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ .
And
2 Ɣ ƺ ծ + ռ 2 , ʋ × J ƺ ծ + ռ 2 , ʋ
I Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
+ 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ʋ × J ƺ ռ , ʋ + Ɣ ƺ ռ , ʋ × J ƺ ծ , ʋ ,
2 Ɣ ƺ ծ + ռ 2 , ȡ × J ƺ ծ + ռ 2 , ȡ
I Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ȡ × J ƺ ռ , ȡ + Ɣ ƺ ռ , ȡ × J ƺ ծ , ȡ ,
2 Ɣ ƺ ծ + ռ 2 , ʋ × J ƺ ծ + ռ 2 , ȡ
I Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ + I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ
+ 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ʋ × J ƺ ռ , ȡ + Ɣ ƺ ռ , ʋ × J ƺ ծ , ȡ ,
2 Ɣ ƺ ծ + ռ 2 , ȡ × J ƺ ծ + ռ 2 , ʋ
I Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ
+ ɤ ( ɤ + 1 ) ( ɤ + 2 ) Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ + Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ
+ 1 2 ɤ ɤ + 1 ɤ + 2 Ɣ ƺ ծ , ȡ × J ƺ ռ , ʋ + Ɣ ƺ ռ , ȡ × J ƺ ծ , ʋ ,
2 Ɣ ƺ ծ , ʋ + ȡ 2 × J ƺ ծ , ʋ + ȡ 2
I Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ȡ β Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ
+ β β + 1 β + 2 Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
+ 1 2 β β + 1 β + 2 Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ ,
2 Ɣ ƺ ռ , ʋ + ȡ 2 × J ƺ ռ , ʋ + ȡ 2
I Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ȡ β Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ
+ β β + 1 β + 2 Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ 1 2 β β + 1 β + 2 Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ + Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ ,
2 Ɣ ƺ ծ , ʋ + ȡ 2 × J ƺ ռ , ʋ + ȡ 2
I Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ռ , ȡ + I ȡ β Ɣ ƺ ծ , ȡ × J ƺ ռ , ʋ
+ β β + 1 β + 2 Ɣ ƺ ծ , ʋ × J ƺ ռ , ʋ + Ɣ ƺ ծ , ȡ × J ƺ ռ , ȡ
+ 1 2 β β + 1 β + 2 Ɣ ƺ ծ , ʋ × J ƺ ռ , ȡ + Ɣ ƺ ծ , ȡ × J ƺ ռ , ʋ ,
and
2 Ɣ ƺ ռ , ʋ + ȡ 2 × J ƺ ծ , ʋ + ȡ 2
I Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ծ , ȡ + I ȡ β Ɣ ƺ ռ , ȡ × J ƺ ծ , ʋ
+ β β + 1 β + 2 Ɣ ƺ ռ , ʋ × J ƺ ծ , ʋ + Ɣ ƺ ռ , ȡ × J ƺ ծ , ȡ
+ 1 2 β β + 1 β + 2 Ɣ ƺ ռ , ʋ × J ƺ ծ , ȡ + Ɣ ƺ ռ , ȡ × J ƺ ծ , ʋ .
From inequalities (79) to (90), inequality (78) we have
8 Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 × J ƺ ծ + ռ 2 , ʋ + ȡ 2
I Γ ɤ + 1 Γ β + 1 2 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
+ 2 ɤ ɤ + 1 ɤ + 2 Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + Γ β + 1 2 ȡ ʋ β I ȡ β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + I ȡ β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
+ 2 1 2 ɤ ɤ + 1 ɤ + 2 Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ռ , ȡ + I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + Γ β + 1 2 ȡ ʋ β I ȡ β Ɣ ƺ ծ , ʋ × J ƺ ռ , ʋ + I ȡ β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
+ 2 β β + 1 β + 2 Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + Γ ɤ + 1 2 ռ ծ ɤ I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
+ 2 1 2 β ( β + 1 ) ( β + 2 ) Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ȡ + I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ʋ + Γ ɤ + 1 2 ռ ծ ɤ I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ
+ 2 ɤ ɤ + 1 ɤ + 2 β β + 1 β + 2 K ƺ ծ , ռ , ʋ , ȡ + + 1 2 ɤ ɤ + 1 ɤ + 2 2 β β + 1 β + 2 L ƺ ծ , ռ , ʋ , ȡ
+ 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) M ƺ ծ , ռ , ʋ , ȡ
+ 2 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) 1 2 β ( β + 1 ) ( β + 2 ) N ƺ ծ , ռ , ʋ , ȡ .
By Lemma 1, for each integral on the right-hand side of (91) and integral inequality (16) once more lead us to arrive at:
Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ Γ β + 1 2 ȡ ʋ β I ȡ β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + I ȡ β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
I 1 2 β ( β + 1 ) ( β + 2 ) K ƺ ծ , ռ , ʋ , ȡ + β ( β + 1 ) ( β + 2 ) M ƺ ծ , ռ , ʋ , ȡ .
Γ β + 1 2 ȡ ʋ β I ʋ + β Ɣ ƺ ծ , ȡ × J ƺ ռ , ȡ + I ʋ + β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ Γ β + 1 2 ȡ ʋ β I ȡ β Ɣ ƺ ծ , ʋ × J ƺ ռ , ʋ + I ȡ β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ
I 1 2 β ( β + 1 ) ( β + 2 ) L ƺ ծ , ռ , ʋ , ȡ + β ( β + 1 ) ( β + 2 ) N ƺ ծ , ռ , ʋ , ȡ .
Γ ɤ + 1 2 ռ ծ ɤ I ծ + ɤ Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ծ + ɤ Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ
+ Γ ɤ + 1 2 ռ ծ ɤ I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ
I 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) K ƺ ծ , ռ , ʋ , ȡ + ɤ ( ɤ + 1 ) ( ɤ + 2 ) L ƺ ծ , ռ , ʋ , ȡ .
Γ ɤ + 1 2 ռ ծ ɤ I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ
+ Γ ɤ + 1 2 ռ ծ ɤ I ռ ɤ Ɣ ƺ ծ , ʋ × J ƺ ծ , ȡ + I ռ ɤ Ɣ ƺ ծ , ȡ × J ƺ ծ , ʋ
I 1 2 ɤ ( ɤ + 1 ) ( ɤ + 2 ) M ƺ ծ , ռ , ʋ , ȡ + ɤ ( ɤ + 1 ) ( ɤ + 2 ) N ƺ ծ , ռ , ʋ , ȡ .
From (88) to (95), (91) we have
4 Ɣ ƺ ծ + ռ 2 , ʋ + ȡ 2 × J ƺ ծ + ռ 2 , ʋ + ȡ 2
I Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ƺ ռ , ȡ × J ƺ ռ , ȡ + I ծ + , ȡ ɤ , β Ɣ ƺ ռ , ʋ × J ƺ ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ƺ ծ , ȡ × J ƺ ծ , ȡ + I ռ , ȡ ɤ , β Ɣ ƺ ծ , ʋ × J ƺ ծ , ʋ
+ ɤ 2 ɤ + 1 ɤ + 2 + β β + 1 β + 2 1 2 ɤ ɤ + 1 ɤ + 2 K ƺ ծ , ռ , ʋ , ȡ
+ 1 2 1 2 ɤ ɤ + 1 ɤ + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 L ƺ ծ , ռ , ʋ , ȡ
+ 1 2 1 2 β β + 1 β + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 M ƺ ծ , ռ , ʋ , ȡ
+ 1 4 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 N ƺ ծ , ռ , ʋ , ȡ .
That is
4 Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2 J ~ ծ + ռ 2 , ʋ + ȡ 2
F Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ~ ռ , ȡ J ~ ռ , ȡ I ծ + , ȡ ɤ , β Ɣ ~ ռ , ʋ J ~ ռ , ʋ I ռ , ʋ + ɤ , β Ɣ ~ ծ , ȡ J ~ ծ , ȡ I ռ , ȡ ɤ , β Ɣ ~ ծ , ʋ J ~ ծ , ʋ
ɤ 2 ɤ + 1 ɤ + 2 + β β + 1 β + 2 1 2 ɤ ɤ + 1 ɤ + 2 K ~ ծ , ռ , ʋ , ȡ
1 2 1 2 ɤ ɤ + 1 ɤ + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 L ~ ծ , ռ , ʋ , ȡ
1 2 1 2 β β + 1 β + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 M ~ ծ , ռ , ʋ , ȡ
1 4 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 N ~ ծ , ռ , ʋ , ȡ .
The conclusion has therefore been established.
Remark 4.
If one assumes that ɤ = 1 and β = 1 , then from (74), as a result, there will be inequity, see [28]:
4 Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2 J ~ ծ + ռ 2 , ʋ + ȡ 2
F 1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ ~ , ψ J ~ , ψ d ψ d 5 36 K ~ ծ , ռ , ʋ , ȡ
7 36 L ~ ծ , ռ , ʋ , ȡ + ~ M ~ ծ , ռ , ʋ , ȡ 2 9 N ~ ծ , ռ , ʋ , ȡ .
If Ɣ ~ is coordinated left- U D -convex and one assumes that ɤ = 1 and β = 1 , then from (74), as a result, there will be inequity, see [22]:
4 Ɣ ~ ծ + ռ 2 , ʋ + ȡ 2 J ~ ծ + ռ 2 , ʋ + ȡ 2
F 1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ ~ , ψ J ~ , ψ d ψ d 5 36 K ~ ծ , ռ , ʋ , ȡ
7 36 L ~ ծ , ռ , ʋ , ȡ + ~ M ~ ծ , ռ , ʋ , ȡ 2 9 N ~ ծ , ռ , ʋ , ȡ .
If Ɣ * , ψ ,   ƺ Ɣ * , ψ ,   ƺ with ƺ = 1 , then from (74), we succeed in bringing about the upcoming inequity, see [20]:
4 Ɣ ծ + ռ 2 , ʋ + ȡ 2 × J ծ + ռ 2 , ʋ + ȡ 2
1 ռ ծ ȡ ʋ ծ ռ ʋ ȡ Ɣ , ψ × J , ψ d ψ d + 5 36 K ծ , ռ , ʋ , ȡ
+ 7 36 L ծ , ռ , ʋ , ȡ + M ծ , ռ , ʋ , ȡ + 2 9 N ծ , ռ , ʋ , ȡ .
If Ɣ * , ψ ,   ƺ Ɣ * , ψ ,   ƺ with ƺ = 1 , then from (74), we succeed in bringing about the upcoming inequity, see [21]:
4 Ɣ ծ + ռ 2 , ʋ + ȡ 2 × J ծ + ռ 2 , ʋ + ȡ 2
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ռ , ȡ × J ռ , ȡ + I ծ + , ȡ ɤ , β   Ɣ ռ , ʋ × J ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ծ , ȡ × J ծ , ȡ + I ռ , ȡ ɤ , β   Ɣ ծ , ʋ × J ծ , ʋ
+ ɤ 2 ɤ + 1 ɤ + 2 + β β + 1 β + 2 1 2 ɤ ɤ + 1 ɤ + 2 K ծ , ռ , ʋ , ȡ
+ 1 2 1 2 ɤ ɤ + 1 ɤ + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 L ծ , ռ , ʋ , ȡ
+ 1 2 1 2 β β + 1 β + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 M ծ , ռ , ʋ , ȡ
+ 1 4 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 N ծ , ռ , ʋ , ȡ
If Ɣ * , ψ ,   ƺ = Ɣ * , ψ ,   ƺ and J * , ψ ,   ƺ = J * , ψ ,   ƺ with ƺ = 1 , then from (74), we succeed in bringing about the upcoming inequity, see [27]:
4 Ɣ ծ + ռ 2 , ʋ + ȡ 2 × J ծ + ռ 2 , ʋ + ȡ 2
Γ ɤ + 1 Γ β + 1 4 ռ ծ ɤ ȡ ʋ β I ծ + , ʋ + ɤ , β Ɣ ռ , ȡ × J ռ , ȡ + I ծ + , ȡ ɤ , β   Ɣ ռ , ʋ × J ռ , ʋ + I ռ , ʋ + ɤ , β Ɣ ծ , ȡ × J ծ , ȡ + I ռ , ȡ ɤ , β   Ɣ ծ , ʋ × J ծ , ʋ
+ ɤ 2 ɤ + 1 ɤ + 2 + β β + 1 β + 2 1 2 ɤ ɤ + 1 ɤ + 2 K ծ , ռ , ʋ , ȡ
+ 1 2 1 2 ɤ ɤ + 1 ɤ + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 L ծ , ռ , ʋ , ȡ
+ 1 2 1 2 β β + 1 β + 2 + ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 M ծ , ռ , ʋ , ȡ
+ 1 4 ɤ ( ɤ + 1 ) ( ɤ + 2 ) β β + 1 β + 2 N ծ , ռ , ʋ , ȡ

4. Conclusions and Future Plans

In this study, Hermite-Hadamard type inequalities for coordinated U D -convex F N V M were established. These inequalities are very important in the field of inequalities because the findings in this research constitute an expansion of a number of earlier findings. A coordinated fuzzy-number-valued convexity is a novel type of class and by using this class and other fractional integrals, new fractional inequalities can be found that is available to interested authors.

Author Contributions

Conceptualization, M.B.K.; validation, A.C; formal analysis, A.C; investigation, M.B.K. and T.S.; resources, M.B.K. and T.S.; writing—original draft, M.B.K. and T.S.; writing—review and editing, M.B.K. and A.M.A..; visualization, T.S., A.M.A.; supervision, T.S. and A.M.A.; project administration, T.S. and A.C.; All authors have read and agreed to the published version of the manuscript.

Funding

The research was funded by University of Oradea, Romania.

Data Availability Statement

Not applicable.

Acknowledgments

The Rector of Transilvania University of Brasov, 29 Eroilor Boulevard, 500036 Brasov, Romania, is acknowledged by the authors for offering top-notch research and academic environments.

Conflicts of Interest

The authors claim to have no conflicts of interest.

References

  1. Peˇcari´c, J. E.; Proschan, F.; Tong, Y. L. Convex Functions, Partial Orderings and Statistical Applications, Academic Press, Boston, 1992.
  2. Dragomir, S. S.; Pearce, C. E. M. Selected Topics on Hermite–Hadamard Inequalities and Applications, RGMIA Monographs, Victoria University, 2000.
  3. Aldawish, I.; Jleli, M.; Samet, B. On Hermite–Hadamard-Type Inequalities for Functions Satisfying Second-Order Differential Inequalities. Axioms, 2023, 12(5), 443. [CrossRef]
  4. Chen, F. A note on Hermite–Hadamard inequalities for products of convex functions, Journal of Applied Mathematics, 2013, 2013 Article ID 935020, 5 pages. [CrossRef]
  5. Dragomir, S. S.; Pecaric, J.; Persson, L. E. Some inequalities of Hadamard type, Soochow J. Math., 1995, 21, 335–341.
  6. Pavic, Z. Improvements of the Hermite–Hadamard inequality, Journal of Inequalities and Applications, 2015, 2015, 222. [CrossRef]
  7. Samet, B. A convexity concept with respect to a pair of functions. Numerical Functional Analysis and Optimization, 2022, 43(5), 522–540. [CrossRef]
  8. Tseng, K. L.; Hwang, S. R. New Hermite–Hadamard inequalities and their applications, Filomat, 2016, 30(14), 3667–3680. [CrossRef]
  9. Moore, R. E. Interval analysis. Prentice-Hall, Englewood Cliffs, 1966.
  10. Chalco-Cano, Y.; Flores-Franuliˇc, A.; Rom´an-Flores, H. Ostrowski type inequalities for interval-valued functions using generalized Hukuhara derivative. Comput. Appl. Math. 2012, 31, 457–472.
  11. Chalco-Cano, Y.; Lodwick, W. A.; Condori-Equice, W. Ostrowski type inequalities and applications in numerical integration for interval-valued functions. Soft Computing, 2015, 19, 3293–3300. [CrossRef]
  12. Flores-Franuliˇc, A.; Chalco-Cano, Y.; Rom´an-Flores, H. An Ostrowski type inequality for interval-valued functions. In 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS) (2013), IEEE, 1459–1462.
  13. Rom´an-Flores, H.; Chalco-Cano, Y.; Lodwick, W. A. Some integral inequalities for interval-valued functions. Comput. Appl. Math., 2018, 37, 1306–1318.
  14. Budak, H.; Tunc, T.; Sarikaya, M. Z. Fractional Hermite-Hadamard-type inequalities for interval-valued functions. Proc. Amer. Math. Soc., 2020, 148, 705–718. [CrossRef]
  15. Liu, X.; Ye, G.; Zhao, D.; Liu, W. Fractional Hermite-Hadamard type inequalities for interval-valued functions. J. Inequal. Appl., 2019, 2019, 1–11. [CrossRef]
  16. Costa, T. M. Jensen’s inequality type integral for fuzzy-interval-valued functions. Fuzzy Sets and Systems, 2017, 327, 31–47. [CrossRef]
  17. Costa, T. M.; Rom´an-Flores, H. Some integral inequalities for fuzzy-interval-valued functions. Inform. Sci., 2017, 420, 110–125.
  18. Budak, H., Tunc, T., Sarikaya, M.Z. Fractional Hermite-Hadamard type inequalities for interval-valued functions. Proc. Am. Math. Soc. 2020, 148(2), 705–718. [CrossRef]
  19. Khan, M.B.; Mohammed, P.O.; Noor, M.A.; Hamed, Y.S. New Hermite-Hadamard inequalities in fuzzy-interval fractional calculus and related inequalities. Symmetry 2021, 13, 673. [CrossRef]
  20. Zhao, D.F.; Ali, M.A.; Murtaza, G. On the Hermite-Hadamard inequalities for interval-valued coordinated convex functions. Adv. Differ. Equ. 2020, 2020, 570. [CrossRef]
  21. Budak, H.; Kara, H.; Ali, M.A.; Khan, S.; Chu, Y. Fractional Hermite-Hadamard-type inequalities for interval-valued co-ordinated convex functions. Open Mathematics, 2021, 19(1), 1081-1097. [CrossRef]
  22. Khan, M.B.; Mohammed, P.O.; Noor, M.A.; Abuahalnaja, K. Fuzzy integral inequalities on coordinates of convex fuzzy interval-valued functions. Math. Biosci. Eng., 2021, 18(5), 6552-6580. [CrossRef]
  23. Sarikaya, M.Z. On the Hermite-Hadamard-type inequalities for co-ordinated convex function via fractional integrals. Integral Transforms Spec. Funct. 2013, 25(2), 134–147. [CrossRef]
  24. Dragomir, S.S. On the Hadamard’s inequality for convex functions on the co-ordinates in a rectangle from the plane. Taiwan. J. Math. 2001, 5, 775–788.
  25. Lupulescu, V. Fractional calculus for interval-valued functions. Fuzzy Sets Sys., 2015, 265, 63–85. [CrossRef]
  26. Allahviranloo, T.; Salahshour, S.; Abbasbandy, S. Explicit solutions of fractional differential equations with uncertainty. Soft Comput. 2012, 16, 297–302. [CrossRef]
  27. Budak, H.; Sarikaya, M.Z. Hermite-Hadamard type inequalities for products of two co-ordinated convex mappings via fractional integrals. Int. J. Appl. Math. Stat., 2019, 58(4), 11–30.
  28. Khan, M. B., Althobaiti, A., Lee, C. C., Soliman, M. S., & Li, C. T. Some New Properties of Convex Fuzzy-Number-Valued Mappings on Coordinates Using Up and Down Fuzzy Relations and Related Inequalities. Mathematics, 2023, 11(13), 2851. [CrossRef]
  29. Khan, M. B., Santos-García, G., Zaini, H. G., Treanță, S., & Soliman, M. S. Some new concepts related to integral operators and inequalities on coordinates in fuzzy fractional calculus. Mathematics, 2022, 10(4), 534. [CrossRef]
  30. Mitroi, F.-C.; Nikodem, K.; Wasowicz, S. Hermite–Hadamard inequalities for convex set-valued functions. Demonstr. Math., 2013, 46, 655–662. [CrossRef]
  31. Osuna-G´omez, R.; Jim´enez-Gamero, M. D.; Chalco-Cano, Y.; Rojas-Medar, M. A. Hadamard and Jensen inequalities for s-convex fuzzy processes. In Soft methodology and random information systems. Springer, Berlin/Heidelberg, 2004, pp. 645–652.
  32. Nikodem, K.; Sanchez, J. L.; Sanchez, L. Jensen and Hermite-Hadamard inequalities for strongly convex set-valued maps. Mathematica Aeterna, 2014, 4, 979–987.
  33. Rom´an-Flores, H.; Chalco-Cano, Y.; Silva, G. N. A note on gronwall type inequality for interval-valued functions. In 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS) (2013), IEEE, pp. 1455–1458.
  34. Zhao, D.; An, T.; Ye, G.; Liu, W. Chebyshev type inequalities for interval-valued functions. Fuzzy Sets and Systems, 2020, 396, 82–101. [CrossRef]
  35. Zhao, D.; Ye, G.; Liu, W.; Torres, D. F. M. Some inequalities for interval-valued functions on time scales. Soft Computing, 2019, 23, 6005–6015. [CrossRef]
  36. Jleli, M.; Samet, B. On Hermite-Hadamard type inequalities via fractional integrals of a function with respect to another function. J. Nonlinear Sci. Appl. 2016, 9, 1252–1260.
  37. Tunc, T. Hermite-Hadamard type inequalities for interval-valued fractional integrals with respect to another function, Mathematica Slovaca, 2022, 72(6), 1501–1512. [CrossRef]
  38. Budak, H.; Agarwal, P. On Hermite-Hadamard-type inequalities for coordinated convex mappings utilizing generalized fractional integrals. In International workshop on Advanced Theory and Applications of Fractional Calculus (2018), Springer, pp. 227-249.
  39. 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. [CrossRef]
  40. Zhao, D.; Ali, M. A.; Kashuri, A.; Budak, H.; Sarikaya, M. Z. Hermite-Hadamard-type inequalities for the interval-valued approximately h-convex functions via generalized fractional integrals. J. Inequal. Appl., 2020, 2020, 1–38. [CrossRef]
  41. Budak, H.; Bilisik, C. C.; Kashuri, A.; Ali, M. A. Hermite-Hadamard Type Inequalities for the Interval-Valued Harmonically h-Convex Functions Via Fractional Integrals. Appl. Math. E-Notes, 2021, 21, 12–32.
  42. Khan, M. B.; Mohammed, P. O.; Noor, M. A.; Baleanu, D.; Guirao, J. L.G. Some new fractional estimates of inequalities for LR-P-convex interval-valued functions by means of pseudo order relation. Axioms, 2021, 10, 175.
  43. Khan, M. B.; Mohammed, P. O.; Noor, M. A.; Hamed, Y. S. New Hermite-Hadamard inequalities in fuzzy-interval fractional calculus and related inequalities. Symmetry, 2021, 13, 673. [CrossRef]
  44. Khan, M. B.; Noor, M. A.; Abdeljawad, T.; Mousa, A. A. A.; Abdalla, B.; Alghamdi, S. M. LR-preinvex intervalvalued functions and Riemann-Liouville fractional integral inequalities. Fractal and Fractional, 2021, 5, 243. [CrossRef]
  45. Khan, M. B.; Srivastava, H. M.; Mohammed, P. O.; Guirao, J. L.; Jawa, T. M. Fuzzy-interval inequalities for generalized preinvex fuzzy interval valued functions. Math. Biosci. Eng., 2022, 19, 812–835. [CrossRef]
  46. Sana, G.; Khan, M. B.; Noor, M. A.; Mohammed, P. O. Chu, Y.-M. Harmonically convex fuzzy-interval-valued functions and fuzzy-interval Riemann-Liouville fractional integral inequalities. Int. J. Comput. Intell. Syst., 2021, 14 1809–1822. [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated