Some Certain Fuzzy Aumann Integral Inequalities for Generalized Convexity via Fuzzy Number Valued Mappings

Abstract

The topic of convex and nonconvex mapping has many applications in engineering and applied mathematics. The Aumann and fuzzy Aumann integrals are the most significant interval and fuzzy operators that allow the classical theory of integrals to be generalized. This paper considers the well-known fuzzy Hermite–Hadamard (HH) type and associated inequalities. With the help of fuzzy Aumann integrals and the newly introduced fuzzy number valued up and down convexity ($U\mathcal{D}$-convexity), we increase this mileage even further. Additionally, with the help of definitions of lower $U\mathcal{D}$-concave (lower $U\mathcal{D}$-concave) and upper $U\mathcal{D}$-convex (concave) fuzzy number valued mappings ($\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s), we have gathered a sizable collection of both well-known and new extraordinary cases that act as applications of the main conclusions. We also offer a few examples of fuzzy number valued $U\mathcal{D}$-convexity to further demonstrate the validity of the fuzzy inclusion relations presented in this study.

1. Introduction

Many fields make use of the convexity of functions such as game theory, variational science, mathematical programming theory, economics, and optimal control theory. Convex analysis, a brand-new mathematics branch, started taking shape in the 1960s. Many writers have employed related concepts of convexity during the past 20 years and generalized other inequalities, including h-convex functions (see References [1,2,3,4,5,6,7,8,9,10]), log convex functions (see References [11,12,13,14,15,16,17,18,19], and coordinated convex functions (see References [20,21]). Convexity is a fundamental term in optimization theory applied in operations research, economics, control theory, decision-making, and management. Several writers have expanded and generalized integral inequalities using various convex functions; see Refs. [22,23]. For more information, see [24,25,26,27,28,29,30,31,32,33] and references therein.

Calculating mistakes in a numerical analysis has always been difficult. The interval analysis has received a lot of attention as a novel method for resolving uncertainty issues because of its capacity to reduce calculation errors and make calculations meaningless. Set-valued analysis, a set-centric approach to mathematics and topology, includes interval analysis. It deals with interval variables rather than point variables, and the computation results are expressed as intervals; therefore, it removes mistakes that lead to incorrect conclusions. Moore [34] first adapted an interval analysis to automatic error analysis to deal with data uncertainty in 1966. The work garnered a lot of attention from academics and led to an improvement in calculation performance. They are helpful in many applications because of their capacity to be expressed as uncertain variables, including computer graphics [35], automatic error analysis [36], decision analysis [37], etc. There are numerous great applications and results for readers interested in interval analysis in other branches of mathematics; see References [38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53].

On the other hand, a generalized convexity mapping has the potential to solve a wide range of issues in both a nonlinear and pure analysis. Recently, well-known inequalities such as Jensen, Simpson, Opial, Ostrowski, Bullen, and the famous Hermite–Hadamard that are extended in the setting of interval-valued functions ($I\mathcal{V}\mathcal{M}$) have been constructed using a variety of related classes of convexity. Chalco-Cano [54] established interval-based inequalities for the Ostrowski type using a derivative of the Hukuhara type. Opial-type inequalities for $I\mathcal{V}\mathcal{M}$s were developed by Costa in [55]. The Minkowski inequalities for $I\mathcal{V}\mathcal{M}$s were one of the inequalities suggested by Beckenbach and Roman-Flores [56]. According to the literature assessment, the majority of authors used an inclusion connection, similarly to in 2018, to evaluate inequality. These inequalities were created by Zhao et al. [57] for the harmonic h-convex $I\mathcal{V}\mathcal{M}$s and the h-convex $I\mathcal{V}\mathcal{M}$s. The authors who came after used both harmonical ($h_1$, $h_2$)-convex functions and ($h_1$, $h_2$)-convex functions to create these inequalities; for more information, see Refs. [58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75].

Using the radius and interval midpoint, Bhunia and his co-author defined the center-radius order in 2014; see Ref. [76]. The following findings for the cr-h-convex, harmonically cr-h-convex, and cr-h-GL functions were developed in 2022 by Wei Liu and his co-authors; see References [77,78,79,80,81,82,83,84,85,86,87,88]. Our examination of the literature showed that inclusion and fuzzy inclusion relations are the main sources of the majority of these discrepancies. The fundamental benefit of the up and down fuzzy relation for up and down functions is that the inequality term generated by employing these conceptions is more exact, and the argument’s validity can be supported by intriguing examples of illustrated theorems. For further study related to interval-valued functions and fuzzy mappings, see [89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111].

This study provides an introduced class of convexity based on the fuzzy inclusion order and is known as $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s, and is inspired by Refs. [56,57]. We create new H.H. inequalities with the aid of these innovative ideas, and eventually, the Jensen inequality is developed. The study includes a variety of examples to help bolster the results reached.

The article is formatted as follows, in order: Section 2 gives some background information. Section 3 each provide an overview of the primary conclusions. A succinct conclusion is explored in Section 4.

2. Preliminaries

We recall a few definitions, which can be found in the literature and that will be relevant in the follow-up.

Let us consider that ${\mathbb{X}}_o$ is the space of all closed and bounded intervals of $ℝ$, and that $\mathcal{S}\in {\mathbb{X}}_o$ is given by

$$\mathcal{S}=\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]=\left\{\mathfrak{w}\in ℝ| {\mathcal{S}}_{*}\le \mathfrak{w}\le {\mathcal{S}}^{*}, {\mathcal{S}}_{*}, {\mathcal{S}}^{*}\in ℝ\right\},$$

(1)

If ${\mathcal{S}}_{*}={\mathcal{S}}^{*}$, then $\mathcal{S}$ is degenerate. In the follow-up, all intervals are considered non-degenerate. If ${\mathcal{S}}_{*}\ge 0$, then $\mathcal{S}$ is positive. We denote by ${\mathbb{X}}_o^{+}=\left\{\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]:\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]\in {\mathbb{X}}_o \mathrm{and} {\mathcal{S}}_{*}\ge 0\right\}$ the set of all positive intervals.

Let $ɷ\in ℝ$ and $ɷ\cdot \mathcal{S}$ be given by

$$ɷ\cdot \mathcal{S}=\left\{\begin{array}{c}\left[ɷ{\mathcal{S}}_{*}, ɷ{\mathcal{S}}^{*}\right] \mathrm{if} ɷ>0,\\ \left\{0\right\} \mathrm{if}f ɷ=0,\\ \left[ɷ{\mathcal{S}}^{*},ɷ{\mathcal{S}}_{*}\right] \mathrm{if} ɷ<0.\end{array}\right.$$

(2)

We consider the Minkowski sum, $\mathcal{S}+\mathcal{O}$, product, $\mathcal{S}\times \mathcal{O}$, and difference, $\mathcal{O}-\mathcal{S}$, for $\mathcal{S},\mathcal{O}\in {\mathbb{X}}_o$, as

$$\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]+\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]=\left[{\mathcal{O}}_{*}+{\mathcal{S}}_{*}, {\mathcal{O}}^{*}+{\mathcal{S}}^{*}\right],$$

(3)

$$\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]\times \left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]=\left[\min \left\{{\mathcal{O}}_{*}{\mathcal{S}}_{*}, {\mathcal{O}}^{*}{\mathcal{S}}_{*}, {\mathcal{O}}_{*}{\mathcal{S}}^{*}, {\mathcal{O}}^{*}{\mathcal{S}}^{*}\right\}, \max \left\{{\mathcal{O}}_{*}{\mathcal{S}}_{*}, {\mathcal{O}}^{*}{\mathcal{S}}_{*}, {\mathcal{O}}_{*}{\mathcal{S}}^{*}, {\mathcal{O}}^{*}{\mathcal{S}}^{*}\right\}\right]$$

(4)

$$\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]-\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]=\left[{\mathcal{O}}_{*}-{\mathcal{S}}^{*}, {\mathcal{O}}^{*}-{\mathcal{S}}_{*}\right].$$

(5)

Remark 1.

 

(i) For given $\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right], \left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]\in {ℝ}_I,$ the relation $“{\supseteq }_I”$, defined on ${ℝ}_I$ by

$$\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]{\supseteq }_I\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right] \mathrm{if} \mathrm{and} \mathrm{only} \mathrm{if} {\mathcal{S}}_{*}\le {\mathcal{O}}_{*}, {\mathcal{O}}^{*}\le {\mathcal{S}}^{*},$$

(6)

for all $\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right], \left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]\in {ℝ}_I,$ is a partial interval inclusion relation. Moreover, $\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]{\supseteq }_I\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]$ coincides with $\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]\supseteq \left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]$ on ${ℝ}_I.$ The relation $“{\supseteq }_I”$ is of UD order [105].

(ii) For given $\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right], \left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]\in {ℝ}_I,$ the relation $“{\le }_I”$, defined on ${ℝ}_I$ by $\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]{\le }_I\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]$ if and only if ${\mathcal{O}}_{*}\le {\mathcal{S}}_{*}, {\mathcal{O}}^{*}\le {\mathcal{S}}^{*}$ or ${\mathcal{O}}_{*}\le {\mathcal{S}}_{*}, {\mathcal{O}}^{*}<{\mathcal{S}}^{*}$, is a partial interval order relation. Plus, we have $\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]{\le }_I\left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]$ that coincides with $\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right]\le \left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]$ on ${ℝ}_I.$ The relation $“{\le }_I”$ is of the left and right (LR) type [104,105].

Given the intervals $\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right], \left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]\in {\mathbb{X}}_o,$ their Hausdorff–Pompeiu distance is

$$d_H\left(\left[{\mathcal{O}}_{*}, {\mathcal{O}}^{*}\right], \left[{\mathcal{S}}_{*}, {\mathcal{S}}^{*}\right]\right)=max\left\{\left|{\mathcal{O}}_{*}-{\mathcal{S}}_{*}\right|, \left|{\mathcal{O}}^{*}-{\mathcal{S}}^{*}\right|\right\}.$$

(7)

We have $\left({\mathbb{X}}_o,d_H\right)$ that is a complete metric space [94,102,103].

Definition 1

([93,94]). A fuzzy subset $L$ of $ℝ$ is a mapping $\tilde{\mathcal{S}}:ℝ\to \left[0,1\right]$, a denoted membership mapping of $L$. We adopt the symbol $₤$ to represent the set of all fuzzy subsets of $ℝ$.

Let us consider $\tilde{\mathcal{S}}\in ₤$. If the following properties hold, then $\tilde{\mathcal{S}}$ is a fuzzy number:

(1)

$\tilde{\mathcal{S}}$ is normal if there exists $\mathfrak{w}\in ℝ$ and $\tilde{\mathcal{S}}\left(\mathfrak{w}\right)=1;$

(2)

$\tilde{\mathcal{S}}$ is upper semi-continuous on $ℝ$ if for a $\mathfrak{w}\in ℝ$ there exists $\epsilon >0$ and $\delta >0$ yielding $\tilde{\mathcal{S}}\left(\mathfrak{w}\right)-\tilde{\mathcal{S}}\left(y\right)<\epsilon$ for all $y\in ℝ$ with $\left|\mathfrak{w}-y\right|<\delta ;$

(3)

$\tilde{\mathcal{S}}$ is a fuzzy convex, meaning that $\tilde{\mathcal{S}}\left(\left(1-ɷ\right)\mathfrak{w}+ɷy\right)\ge \min \left(\tilde{\mathcal{S}}\left(\mathfrak{w}\right), \tilde{\mathcal{S}}\left(y\right)\right),$ for all $\mathfrak{w},y\in ℝ,$ and $ɷ\in \left[0, 1\right]$;

(4)

$\tilde{\mathcal{S}}$ is compactly supported, which means that $\mathrm{cl}\left\{\mathfrak{w}\in ℝ\left| \tilde{\mathcal{S}}\left(\mathfrak{w}\right)\right.⟩0\right\}$ is compact.

The symbol ${₤}_o$ will be adopted to designate the set of all fuzzy numbers of $ℝ$.

Definition 2.

([93,94]). For $\tilde{\mathcal{S}}\in {₤}_o$, the $ʚ$-level, or $ʚ$-cut, sets of $\tilde{\mathcal{S}}$ are ${\left[\tilde{\mathcal{S}}\right]}^{ʚ}=\left\{\mathfrak{w}\in ℝ\left| \tilde{\mathcal{S}}\left(\mathfrak{w}\right)\right.⟩ʚ\right\}$ for all $ʚ\in \left[0, 1\right]$, and ${\left[\tilde{\mathcal{S}}\right]}^0=\left\{\mathfrak{w}\in ℝ\left| \tilde{\mathcal{S}}\left(\mathfrak{w}\right)\right.⟩0\right\}$.

Proposition 1.

([96]). Let $\tilde{\mathcal{S}},\tilde{\mathcal{O}}\in {₤}_o$. The relation $“{\le }_{\mathbb{F}}”$, defined on ${₤}_o$ by

$$\tilde{\mathcal{S}}{\le }_{\mathbb{F}}\tilde{\mathcal{O}} \mathrm{when} \mathrm{and} \mathrm{only} \mathrm{when} {\left[\tilde{\mathcal{S}}\right]}^{ʚ}{\le }_I{\left[\tilde{\mathcal{O}}\right]}^{ʚ}, \mathrm{for} \mathrm{every} ʚ\in \left[0, 1\right],$$

(8)

is a LR order relation.

Proposition 2.

([79]). Let $\tilde{\mathcal{S}},\tilde{\mathcal{O}}\in {₤}_o$. The relation $“{\supseteq }_{\mathbb{F}}”$, defined on ${₤}_o$ by

$$\tilde{\mathcal{S}}{\supseteq }_{\mathbb{F}}\tilde{\mathcal{O}} \mathrm{when} \mathrm{and} \mathrm{only} \mathrm{when} {\left[\tilde{\mathcal{S}}\right]}^{ʚ}{\supseteq }_I{\left[\tilde{\mathcal{O}}\right]}^{ʚ}, \mathrm{for} \mathrm{every} ʚ\in \left[0, 1\right],$$

(9)

is an UD order relation.

If $\tilde{\mathcal{S}},\tilde{\mathcal{O}}\in {₤}_o$ and $ʚ\in ℝ$, then, for every $ʚ\in \left[0, 1\right]$,

$${\left[\tilde{\mathcal{S}}\oplus \tilde{\mathcal{O}}\right]}^{ʚ}={\left[\tilde{\mathcal{S}}\right]}^{ʚ}+{\left[\tilde{\mathcal{O}}\right]}^{ʚ},$$

(10)

$${\left[\tilde{\mathcal{S}}\otimes \tilde{\mathcal{O}}\right]}^{ʚ}={\left[\tilde{\mathcal{S}}\right]}^{ʚ}\times {\left[ \tilde{\mathcal{O}}\right]}^{ʚ},$$

(11)

$${\left[ɷ\odot \tilde{\mathcal{S}}\right]}^{ʚ}=ʚ.{\left[\tilde{\mathcal{S}}\right]}^{ʚ}$$

(12)

result from Equations (4)–(6), respectively.

Theorem 1

([94]). For $\tilde{\mathcal{S}}, \tilde{\mathcal{O}}\in {₤}_o$, the supremum metric

$$d_{\infty }\left(\tilde{\mathcal{S}}, \tilde{\mathcal{O}}\right)=\underset{0\le ʚ\le 1}{\sup }{d}_H\left({\left[\tilde{\mathcal{S}}\right]}^{ʚ}, {\left[\tilde{\mathcal{O}}\right]}^{ʚ}\right)$$

(13)

is a complete metric space, where $H$ stands for the Hausdorff metric on a space of intervals.

Theorem 2

([94,95]). If $\mathcal{H}:\left[\mathfrak{b},z\right]\subset ℝ\to {\mathbb{X}}_o$ is an $I\mathcal{V}\mathcal{M}$ satisfying $\mathcal{H}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w}\right), {\mathcal{H}}^{*}\left(\mathfrak{w}\right)\right]$, then $\mathcal{H}$ is Aumann integrable (IA-integrable) over $\left[\mathfrak{b},z\right]$ when and only when ${\mathcal{H}}_{*}\left(\mathfrak{w}\right)$ and ${\mathcal{H}}^{*}\left(\mathfrak{w}\right)$ are integrable over $\left[\mathfrak{b},z\right]$, meaning

$$\left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)d\mathfrak{w}=\left[{{\displaystyle \int }}_{\mathfrak{b}}^{\begin{array}{c} \\ z\end{array}}{\mathcal{H}}_{*}\left(\mathfrak{w}\right)d\mathfrak{w}, {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}\right)d\mathfrak{w}\right]$$

(14)

Definition 3

([104]). Let $\tilde{\mathcal{H}}:\mathbb{I}\subset ℝ\to {₤}_o$ be a $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$. The family of $I\mathcal{V}\mathcal{M}$s, for every $ʚ\in \left[0, 1\right]$, is ${\mathcal{H}}_{ʚ}:\mathbb{I}\subset ℝ\to {\mathbb{X}}_o$ satisfying ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for every $\mathfrak{w}\in \mathbb{I}.$ For every $ʚ\in \left[0, 1\right],$ the lower and upper mappings of ${\mathcal{H}}_{ʚ}$ are the endpoint real-valued mappings ${\mathcal{H}}_{*}\left(·,ʚ\right), {\mathcal{H}}^{*}\left(·,ʚ\right):\mathbb{I}\to ℝ$.

Definition 4

([104]). Let $\tilde{\mathcal{H}}:\mathbb{I}\subset ℝ\to {₤}_o$ be a $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$. Then, $\tilde{\mathcal{H}}\left(\mathfrak{w}\right)$ is continuous at $\mathfrak{w}\in \mathbb{I},$ if for every $ʚ\in \left[0, 1\right],$ ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)$ is continuous when and only when ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)$ and ${\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)$ are continuous at $\mathfrak{w}\in \mathbb{I}.$

Definition 5

([95]). Let $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\subset ℝ\to {₤}_o$ be a $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$. The fuzzy Aumann integral ($FA$-integral) of $\tilde{\mathcal{H}}$ over $\left[\mathfrak{b}, z\right]$ is

$${\left[\left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}\right]}^{\begin{array}{c} \\ ʚ\end{array}}=\left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)d\mathfrak{w}=\left\{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}:\mathcal{H}\left(\mathfrak{w},ʚ\right)\in S\left({\mathcal{H}}_{ʚ}\right)\right\},$$

(15)

where $S\left({\mathcal{H}}_{ʚ}\right)=\left\{\mathcal{H}\left(.,ʚ\right)\to ℝ:\mathcal{H}\left(.,ʚ\right) is integrable, and \mathcal{H}\left(\mathfrak{w},ʚ\right)\in {\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)\right\},$for every $ʚ\in \left[0, 1\right].$ Moreover, $\tilde{\mathcal{H}}$ is $\left(FA\right)$-integrable over $\left[\mathfrak{b}, z\right]$ if $\left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}\in {₤}_o.$

Theorem 3

[96]. Let $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\subset ℝ\to {₤}_o$ be a $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$, whose $ʚ$-levels define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b}, z\right]\subset ℝ\to {\mathbb{X}}_o$ satisfying ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for every $\mathfrak{w}\in \left[\mathfrak{b}, z\right]$ and $ʚ\in \left[0, 1\right].$ $\tilde{\mathcal{H}}$ is $\left(FA\right)$-integrable over $\left[\mathfrak{b}, z\right]$ when and only when ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)$ and ${\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)$ are integrable over $\left[\mathfrak{b}, z\right]$. Moreover, if $\tilde{\mathcal{H}}$ is $\left(FA\right)$-integrable over $\left[\mathfrak{b}, z\right]$, then we have

$${\left[\left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}\right]}^{\begin{array}{c} \\ ʚ\end{array}}=\left[{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}, {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}\right]=\left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)d\mathfrak{w}$$

(16)

for every $ʚ\in \left[0, 1\right].$

Breckner discussed the coming emerging idea of interval-valued convexity in [97].

An I∙V∙M $\mathcal{H}:\mathbb{I}=\left[\mathfrak{b}, z\right]\to {\mathcal{X}}_o$ is called convex I∙V∙M if

$$\mathcal{H}\left(ɷ\mathfrak{w}+\left(1-ɷ\right)s\right)\supseteq ɷ\mathcal{H}\left(\mathfrak{w}\right)+\left(1-ɷ\right)\mathcal{H}\left(s\right),$$

(17)

for all $\mathfrak{w}, y\in \left[\mathfrak{b}, z\right], ɷ\in \left[0, 1\right]$, where ${\mathcal{X}}_o$ is the collection of real-valued intervals. If (17) is reversed, then $\mathcal{H}$ is called concave.

Definition 6

([89]). The $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\to {₤}_o$ is called convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on$\left[\mathfrak{b}, z\right]$ if

$$\tilde{\mathcal{H}}\left(ɷ\mathfrak{w}+\left(1-ɷ\right)s \right){\le }_{\mathbb{F}}ɷ\odot \tilde{\mathcal{H}}\left(\mathfrak{w}\right)\oplus \left(1-ɷ\right)\odot \tilde{\mathcal{H}}\left(s\right),$$

(18)

for all$\mathfrak{w}, s\in \left[\mathfrak{b}, z\right], ɷ\in \left[0, 1\right],$ where $\tilde{\mathcal{H}}\left(\mathfrak{w}\right){\ge }_{\mathbb{F}}\tilde{0}$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right].$ If (18) is reversed, then $\tilde{\mathcal{H}}$ is called concave $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b}, z\right]$. $\tilde{\mathcal{H}}$ is affine if and only if it is both convex and concave $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$.

Definition 7

([105]). The $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\to {₤}_o$ is called $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on$\left[\mathfrak{b}, z\right]$ if

$$\tilde{\mathcal{H}}\left(ɷ\mathfrak{w}+\left(1-ɷ\right)s\right){\supseteq }_{\mathbb{F}}ɷ\odot \tilde{\mathcal{H}}\left(\mathfrak{w}\right)\oplus \left(1-ɷ\right)\odot \tilde{\mathcal{H}}\left(s\right),$$

(19)

for all$\mathfrak{w}, s\in \left[\mathfrak{b}, z\right], ɷ\in \left[0, 1\right],$ where $\tilde{\mathcal{H}}\left(\mathfrak{w}\right){\ge }_{\mathbb{F}}\tilde{0}$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right].$ If (19) is reversed then, $\tilde{\mathcal{H}}$ is called $U\mathcal{D}$-concave $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b}, z\right]$. $\tilde{\mathcal{H}}$ is $U\mathcal{D}$-affine $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ if and only if it is both $U\mathcal{D}$-convex and $U\mathcal{D}$-concave $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$.

Theorem 4

([105]). Let $\tilde{\mathcal{H}}:\left[\mathfrak{b},z\right]\to {₤}_o$ be a $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$, whose $ʚ$-cuts define the family of inteval-valued mappings ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b},z\right]\to {\mathcal{X}}_o^{+}\subset {\mathcal{X}}_o$ are given by

$${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right],$$

(20)

for all $\mathfrak{w}\in \left[\mathfrak{b},z\right]$ and for all $ʚ\in \left[0, 1\right]$. Then, $\tilde{\mathcal{H}}$ is $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right],$ if and only if, for all $ʚ\in \left[0, 1\right],$ ${\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)$ is a convex mapping and ${\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)$ is a concave mapping.

Remark 2.

If ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\ne {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)$ and $ʚ = 1$, then we obtain the inequality (17).

If ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)={\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)$ and $ʚ = 1$, then we obtain the classical definition of convex mappings.

Now we have obtained some new definitions from the literature which will be helpful to investigate some classical and new results as special cases of main results.

Definition 8.

([79]). Let $\tilde{\mathcal{H}}:\left[\mathfrak{b},z\right]\to {₤}_o$ be a $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$, whose $ʚ$-cuts define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b},z\right]\to {\mathcal{X}}_o^{+}\subset {\mathcal{X}}_o$ are given by

$${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right],$$

(21)

for all $\mathfrak{w}\in \left[\mathfrak{b},z\right]$ and for all $ʚ\in \left[0, 1\right]$. Then, $\tilde{\mathcal{H}}$ is lower $U\mathcal{D}$-convex (concave) $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right],$ if and only if, for all $ʚ\in \left[0, 1\right],$ ${\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)$ is a convex (concave) mapping and ${\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)$ is an affine mapping.

Definition 9.

([79]). Let $\tilde{\mathcal{H}}:\left[\mathfrak{b},z\right]\to {₤}_o$ be a $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$, whose $ʚ$-cuts define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b},z\right]\to {\mathcal{X}}_o^{+}\subset {\mathcal{X}}_o$ are given by

$${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right],$$

(22)

for all $\mathfrak{w}\in \left[\mathfrak{b},z\right]$ and for all $ʚ\in \left[0, 1\right]$. Then, $\mathcal{H}$ is upper $U\mathcal{D}$-convex (concave) $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right],$ if and only if, for all $ʚ\in \left[0, 1\right],$ ${\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)$ is an affine mapping and ${\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)$ is a convex (concave) mapping.

Remark 3.

Both concepts “$U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$” and classical “convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$, see [41]” behave alike when $\tilde{\mathcal{H}}$ is lower $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$.

3. Fuzzy Number Hermite–Hadamard Inequalities

In this section, we propose Hermite–Hadamard and Hermite–Hadamard–Fejér inequalities for $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s, and verify with the help of nontrivial examples.

Theorem 5.

Let $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\to {₤}_o$ be a $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b}, z\right],$ whose $ʚ$-cuts define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b}, z\right]\subset ℝ\to {\mathcal{X}}_o^{+}$ are given by ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right]$ and for all $ʚ\in \left[0, 1\right]$. If $\tilde{\mathcal{H}}\in \mathcal{F}{\mathcal{A}}_{\left(\left[\mathfrak{b}, z\right], ʚ\right)}$, then

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{H}}\left(\mathfrak{b}\right) \oplus \tilde{\mathcal{H}}\left(z\right)}{2}.$$

(23)

If $\tilde{\mathcal{H}}\left(\mathfrak{w}\right)$ concave $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$, then (23) is reversed.

Proof. 

Let $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\to {₤}_o$ be a $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$. Then, by hypothesis, we have

$$2\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\tilde{\mathcal{H}}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)\oplus \tilde{\mathcal{H}}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right).$$

Therefore, for every $ʚ\in \left[0, 1\right]$, we have

$$\begin{array}{c}2{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\le {\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)+{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right), \\ 2{\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\ge {\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)+{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz,ʚ\right).\end{array}$$

Then

$$\begin{array}{c}2{{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)dɷ\le {{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z,ʚ\right)dɷ+{{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)dɷ, \\ 2{{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)dɷ\ge {{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)dɷ+{{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz,ʚ\right)dɷ.\end{array}$$

It follows that

$$\begin{array}{c}{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\le \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w},\\ {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\ge \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}.\end{array}$$

That is

$$\left[{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right), {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\right]{\supseteq }_I\frac{1}{z-\mathfrak{b}}\left[{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}, {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}\right].$$

Thus,

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}} \odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}.$$

(24)

In a similar way as above, we have

$$\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{H}}\left(\mathfrak{b}\right) \oplus \tilde{\mathcal{H}}\left(z\right)}{2}.$$

(25)

Combining (24) and (25), we have

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{H}}\left(\mathfrak{b}\right) \oplus \tilde{\mathcal{H}}\left(z\right)}{2}.$$

Hence, the required result. □

Remark 4.

The following are some exceptional cases which can be obtained from inequality (23):

If one lays $\mathcal{H}$ is lower $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right],$ then one acquires the following coming inequality, see [90]:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right){\le }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}} \odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)d\mathfrak{w}{\le }_{\mathbb{F}}\frac{\mathcal{H}\left(\mathfrak{b}\right)\oplus \mathcal{H}\left(z\right)}{2}$$

(26)

If one takes $\mathcal{H}$ is lower $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right]$ and $ʚ =$, then one achieves the following coming inequality, see [98]:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right){\le }_I\frac{1}{z-\mathfrak{b}} \left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)d\mathfrak{w}{\le }_I\frac{\mathcal{H}\left(\mathfrak{b}\right)+\mathcal{H}\left(z\right)}{2}$$

(27)

Let $ʚ = 1$. Then, from Theorem 5, we acquire the following inequality, see [99]:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right)\supseteq \frac{1}{z-\mathfrak{b}} \left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)d\mathfrak{w}\supseteq \frac{\mathcal{H}\left(\mathfrak{b}\right)+\mathcal{H}\left(z\right)}{2}.$$

(28)

Let $ʚ =$ and ${\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)={\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)$. Then, from Theorem 5, we achieve the classical Hermite–Hadamard inequality.

Example 1.

Let $\mathfrak{w}\in \left[2,3\right]$, and the $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]=\left[2, 3\right]\to {₤}_o,$ defined by

$$\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\left(\theta \right)=\left\{\begin{array}{c}\frac{\theta -2+{\mathfrak{w}}^{\frac{1}{2}}}{1-{\mathfrak{w}}^{\frac{1}{2}}} \theta \in \left[2-{\mathfrak{w}}^{\frac{1}{2}}, 3\right],\\ \frac{ 2+{\mathfrak{w}}^{\frac{1}{2}}-\theta }{{\mathfrak{w}}^{\frac{1}{2}}-1} \theta \in \left(3, 2+{\mathfrak{w}}^{\frac{1}{2}}\right],\\ 0 \mathit{otherwise},\end{array}\right.$$

(29)

Then, for each $ʚ\in \left[0, 1\right],$ we have ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ,\left(1-ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ\right]$. Since left and right end point mappings ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)=\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ,$ and ${\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)=\left(1-ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ$, are convex and concave mappings, respectively, for each $ʚ\in \left[0, 1\right]$, then $\tilde{\mathcal{H}}\left(\mathfrak{w}\right)$ is $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$. We clearly see that $\tilde{\mathcal{H}}\in L\left(\left[\mathfrak{b}, z\right],{₤}_o\right)$ and

$${\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)={\mathcal{H}}_{*}\left(\frac{5}{2}, ʚ\right)=\left(1-ʚ\right)\frac{4-\sqrt{10}}{2}+3ʚ,$$

$${\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)={\mathcal{H}}^{*}\left(\frac{5}{2}, ʚ\right)=\left(1-ʚ\right)\frac{4+\sqrt{10}}{2}+3ʚ.$$

Note that

$$\begin{gathered} \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}={{\displaystyle \int }}_2^3\left(\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ\right)d\mathfrak{w} \\ \approx 0.4215\left(1-ʚ\right)+3ʚ, \end{gathered}$$

$$\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}={{\displaystyle \int }}_2^3\left(\left(1+ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ\right)d\mathfrak{w}\approx 3.58\left(1-ʚ\right)+3ʚ,$$

and

$$\frac{{\mathcal{H}}_{*}\left(\mathfrak{b},ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)}{2}=\left(1-ʚ\right)\left(\frac{4-\sqrt{2}-\sqrt{3}}{2}\right)+3ʚ,$$

$$\frac{{\mathcal{H}}^{*}\left(\mathfrak{b},ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)}{2}=\left(1-ʚ\right)\left(\frac{4+\sqrt{2}+\sqrt{3}}{2}\right)+3ʚ.$$

Therefore,

$$\begin{gathered} \left[\left(1-ʚ\right)\frac{4-\sqrt{10}}{2}+3ʚ,\left(1-ʚ\right)\frac{4+\sqrt{10}}{2}+3ʚ\right]{\supseteq }_I\left[\frac{843}{2000}\left(1-ʚ\right)+3ʚ,\frac{179}{50}\left(1-ʚ\right)+3ʚ\right] \\ {\supseteq }_I\left[\left(1-ʚ\right)\left(\frac{4-\sqrt{2}-\sqrt{3}}{2}\right)+3ʚ,\left(1-ʚ\right)\left(\frac{4+\sqrt{2}+\sqrt{3}}{2}\right)+3ʚ\right], \end{gathered}$$

Hence,

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{H}}\left(\mathfrak{b}\right)\oplus \tilde{\mathcal{H}}\left(z\right)}{2},$$

and Theorem 5 is verified.

Theorem 6.

Let $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\to {₤}_o$ be a $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b}, z\right],$ whose $ʚ$-cuts define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b}, z\right]\subset ℝ\to {\mathcal{X}}_o^{+}$ are given by ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right]$ and for all $ʚ\in \left[0, 1\right]$. If $\tilde{\mathcal{H}}\in \mathcal{F}{\mathcal{A}}_{\left(\left[\mathfrak{b}, z\right], ʚ\right)}$, then

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}} {\mathfrak{T}}_2{\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}{\mathfrak{T}}_1{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{H}}\left(\mathfrak{b}\right) \oplus \tilde{\mathcal{H}}\left(z\right)}{2},$$

(30)

where

$${\mathfrak{T}}_1=\frac{\frac{\tilde{\mathcal{H}}\left(\mathfrak{b}\right) \oplus \tilde{\mathcal{H}}\left(z\right)}{2} \oplus \tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right)}{2}, {\mathfrak{T}}_2=\frac{\tilde{\mathcal{H}}\left(\frac{3\mathfrak{b}+z}{4}\right) \oplus \tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+3z}{4}\right)}{2}$$

and ${\mathfrak{T}}_1=\left[{\mathfrak{T}}_1{}_{*}, {\mathfrak{T}}_1{}^{*}\right]$, ${\mathfrak{T}}_2=\left[{\mathfrak{T}}_2{}_{*}, {\mathfrak{T}}_2{}^{*}\right].$

Proof. 

Take $\left[\mathfrak{b}, \frac{\mathfrak{b}+z}{2}\right],$ we have

$$2\tilde{\mathcal{H}}\left(\frac{ɷ\mathfrak{b}+\left(1-ɷ\right)\frac{\mathfrak{b}+z}{2}}{2}+\frac{\left(1-ɷ\right)\mathfrak{b}+ɷ\frac{\mathfrak{b}+z}{2}}{2}\right){\supseteq }_{\mathbb{F}}\tilde{\mathcal{H}}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)\frac{\mathfrak{b}+z}{2} \right)\oplus \tilde{\mathcal{H}}\left(\left(1-ɷ\right)\mathfrak{b}+ɷ\frac{\mathfrak{b}+z}{2}\right).$$

Therefore, for every $ʚ\in \left[0, 1\right]$, we have

$$\begin{array}{c}2{\mathcal{H}}_{*}\left(\frac{ɷ\mathfrak{b}+\left(1-ɷ\right)\frac{\mathfrak{b}+z}{2}}{2}+\frac{\left(1-ɷ\right)\mathfrak{b}+ɷ\frac{\mathfrak{b}+z}{2}}{2}, ʚ\right)\le {\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)\frac{\mathfrak{b}+z}{2}, ʚ\right)+{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷ\frac{\mathfrak{b}+z}{2}, ʚ\right),\\ 2{\mathcal{H}}^{*}\left(\frac{ɷ\mathfrak{b}+\left(1-ɷ\right)\frac{\mathfrak{b}+z}{2}}{2}+\frac{\left(1-ɷ\right)\mathfrak{b}+ɷ\frac{\mathfrak{b}+z}{2}}{2}, ʚ\right)\ge {\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)\frac{\mathfrak{b}+z}{2}, ʚ\right)+{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷ\frac{\mathfrak{b}+z}{2},ʚ\right).\end{array}$$

In consequence, we obtain

$$\begin{array}{c}\frac{{\mathcal{H}}_{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right)}{2}\le \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^{\frac{\mathfrak{b}+z}{2}}{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w},\\ \frac{{\mathcal{H}}^{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right)}{2}\ge \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^{\frac{\mathfrak{b}+z}{2}}{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}.\end{array}$$

That is

$$\frac{\left[{\mathcal{H}}_{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right), {\mathcal{H}}^{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right)\right]}{2}\le \frac{1}{z-\mathfrak{b}}\left[{{\displaystyle \int }}_{\mathfrak{b}}^{\frac{\mathfrak{b}+z}{2}}{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}, {{\displaystyle \int }}_{\mathfrak{b}}^{\frac{\mathfrak{b}+z}{2}}{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}\right].$$

It follows that

$$\frac{\tilde{\mathcal{H}}\left(\frac{3\mathfrak{b}+z}{4}\right)}{2}{\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^{\frac{\mathfrak{b}+z}{2}}\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}.$$

(31)

In a similar way as above, we have

$$\frac{\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+3z}{4}\right)}{2}{\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\frac{\mathfrak{b}+z}{2}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}.$$

(32)

Combining (31) and (32), we have

$$\frac{\left[\tilde{\mathcal{H}}\left(\frac{3\mathfrak{b}+z}{4}\right)\oplus \tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+3z}{4}\right)\right]}{2}{\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}.$$

By using Theorem 5, we have

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right)=\tilde{\mathcal{H}}\left(\frac{1}{2}.\frac{3\mathfrak{b}+z}{4}+\frac{1}{2}.\frac{\mathfrak{b}+3z}{4}\right).$$

Therefore, for every $ʚ\in \left[0, 1\right]$, we have

$$\begin{array}{c}{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)={\mathcal{H}}_{*}\left(\frac{1}{2}.\frac{3\mathfrak{b}+z}{4}+\frac{1}{2}.\frac{\mathfrak{b}+3z}{4}, ʚ\right)\\ {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)={\mathcal{H}}^{*}\left(\frac{1}{2}.\frac{3\mathfrak{b}+z}{4}+\frac{1}{2}.\frac{\mathfrak{b}+3z}{4}, ʚ\right),\end{array}$$

$$\begin{array}{c}\le \left[\frac{1}{2}{\mathcal{H}}_{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right)+\frac{1}{2}{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+3z}{4}, ʚ\right)\right]\\ \ge \left[\frac{1}{2}{\mathcal{H}}^{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right)+\frac{1}{2}{\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+3z}{4}, ʚ\right)\right],\end{array}$$

$$\begin{array}{c}\le \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w} \\ \ge \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w},\end{array}$$

$$\begin{array}{c}={\mathfrak{T}}_2{}_{*}\\ ={\mathfrak{T}}_2{}^{*},\end{array}$$

$$\begin{array}{c}\le \frac{1}{2}\left[\frac{{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)}{2}+{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\right]\\ \ge \frac{1}{2}\left[\frac{{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)}{2}+{\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\right],\end{array}$$

$$\begin{array}{c}={\mathfrak{T}}_1{}_{*}\\ ={\mathfrak{T}}_1{}^{*},\end{array}$$

$$\begin{array}{c}\le \frac{1}{2}\left[\frac{{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)}{2}+\frac{{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)}{2}\right]\\ \ge \frac{1}{2}\left[\frac{{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)}{2}+\frac{{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)}{2}\right],\end{array}$$

$$\begin{array}{c}=\frac{{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)}{2}\\ =\frac{{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)}{2},\end{array}$$

that is

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}} {\mathfrak{T}}_2{\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}{\mathfrak{T}}_1{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{H}}\left(\mathfrak{b}\right) \oplus \tilde{\mathcal{H}}\left(z\right)}{2},$$

hence, the result follows. □

Example 2.

We consider the $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]=\left[2, 3\right]\to {₤}_o$ defined by, ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ,\left(1+ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ\right],$ as in Example 1, then $\tilde{\mathcal{H}}\left(\mathfrak{w}\right)$ is $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ and satisfying (10). We have ${\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)=\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ$ and ${\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)=\left(1+ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+3ʚ$. We now compute the following

$$\begin{array}{c}\frac{{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)}{2}=\frac{4+2ʚ-\left(1-ʚ\right)\left(\sqrt{2}+\sqrt{3}\right)}{2}\\ \frac{{\mathcal{H}}^{*}\left(\mathfrak{b},ʚ\right) \widetilde{+} {\mathcal{H}}^{*}\left(z,ʚ\right)}{2}=\frac{4+10ʚ+\left(1+ʚ\right)\left(\sqrt{2}+\sqrt{3}\right)}{2},\end{array}$$

$$\begin{array}{c}{\mathfrak{T}}_1{}_{*}=\frac{\frac{{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)}{2}+{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)}{2}=\frac{8+4ʚ-\left(1-ʚ\right)\left(\sqrt{2}+\sqrt{3}+\sqrt{2}\times \sqrt{5}\right)}{4}\\ {\mathfrak{T}}_1{}^{*}=\frac{\frac{{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)}{2}+{\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)}{2}=\frac{8+20ʚ+\left(1+ʚ\right)\left(\sqrt{2}+\sqrt{3}+\sqrt{2}\times \sqrt{5}\right)}{4},\end{array}$$

$$\begin{array}{c}{\mathfrak{T}}_2{}_{*}=\frac{{\mathcal{H}}_{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right)+{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+3z}{4}, ʚ\right)}{2}=\frac{5+7ʚ-\sqrt{11}\left(1-ʚ\right)}{4} \\ {\mathfrak{T}}_2{}^{*}=\frac{{\mathcal{H}}^{*}\left(\frac{3\mathfrak{b}+z}{4}, ʚ\right)+{\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+3z}{4}, ʚ\right)}{2}=\frac{11+23ʚ+\sqrt{11}\left(1+ʚ\right)}{4},\end{array}$$

Then we obtain that

$$\begin{gathered} \left(1-ʚ\right)\frac{4-\sqrt{10}}{2}+3ʚ\le \frac{5+7ʚ-\sqrt{11}\left(1-ʚ\right)}{4}\le \frac{843}{2000}\left(1-ʚ\right)+3ʚ \\ \le \frac{8+4ʚ-\left(1-ʚ\right)\left(\sqrt{2}+\sqrt{3}+\sqrt{2}\times \sqrt{5}\right)}{4}\le \left(1-ʚ\right)\left(\frac{4-\sqrt{2}-\sqrt{3}}{2}\right)+3ʚ \\ \left(1+ʚ\right)\frac{4+\sqrt{10}}{2}+3ʚ\ge \frac{11+23ʚ+\sqrt{11}\left(1+ʚ\right)}{4}\ge \frac{179}{50}\left(1+ʚ\right)+3ʚ \\ \ge \frac{8+20ʚ+\left(1+ʚ\right)\left(\sqrt{2}+\sqrt{3}+\sqrt{2}\times \sqrt{5}\right)}{4}\ge \left(1+ʚ\right)\left(\frac{4+\sqrt{2}+\sqrt{3}}{2}\right)+3ʚ. \end{gathered}$$

Hence, Theorem 6 is verified.

We now obtain some HH-inequalities for the product of $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s. These inequalities are refinements of some known inequalities, see [57].

Theorem 7.

Let $\tilde{\mathcal{H}},\widetilde{{\rm T}} :\left[\mathfrak{b}, z\right]\to {₤}_o$ be two $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s on $\left[\mathfrak{b}, z\right]$, whose $ʚ$-cuts ${\mathcal{H}}_{ʚ}, {{\rm T}}_{ʚ}:\left[\mathfrak{b}, z\right]\subset ℝ\to {\mathcal{X}}_o^{+}$ are defined by ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ and ${{\rm T}}_{ʚ}\left(\mathfrak{w}\right)=\left[{{\rm T}}_{*}\left(\mathfrak{w},ʚ\right), {{\rm T}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right]$ and for all $ʚ\in \left[0, 1\right]$. If $\tilde{\mathcal{H}}\otimes \widetilde{{\rm T}}\in \mathcal{F}{\mathcal{A}}_{\left(\left[\mathfrak{b}, z\right], ʚ\right)}$, then

$$\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{M}}\left(\mathfrak{b},z\right)}{3}\oplus \frac{\tilde{\mathcal{N}}\left(\mathfrak{b},z\right)}{6}.$$

(33)

where $\tilde{\mathcal{M}}\left(\mathfrak{b},z\right)=\tilde{\mathcal{H}}\left(\mathfrak{b}\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{b}\right)\oplus \tilde{\mathcal{H}}\left(z\right)\otimes \widetilde{{\rm T}}\left(z\right),$ $\tilde{\mathcal{N}}\left(\mathfrak{b},z\right)=\tilde{\mathcal{H}}\left(\mathfrak{b}\right)\otimes \widetilde{{\rm T}}\left(z\right)\oplus \tilde{\mathcal{H}}\left(z\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{b}\right),$ and ${\mathcal{M}}_{ʚ}\left(\mathfrak{b},z\right)=\left[{\mathcal{M}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right), {\mathcal{M}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\right]$ and ${\mathcal{N}}_{ʚ}\left(\mathfrak{b},z\right)=\left[{\mathcal{N}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right), {\mathcal{N}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\right].$

Proof. 

Since $\tilde{\mathcal{H}},\widetilde{{\rm T}}\in \mathcal{F}{\mathcal{A}}_{\left(\left[\mathfrak{b}, z\right]\right)}$, then we have

$$\begin{gathered} {\mathcal{H}}_{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\le \varsigma {\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){\mathcal{H}}_{*}\left(z, ʚ\right), \\ {\mathcal{H}}^{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\ge \varsigma {\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){\mathcal{H}}^{*}\left(z, ʚ\right). \end{gathered}$$

And

$$\begin{gathered} {{\rm T}}_{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\le \varsigma {{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){{\rm T}}_{*}\left(z, ʚ\right), \\ {{\rm T}}^{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\ge \varsigma {{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){{\rm T}}^{*}\left(z, ʚ\right). \end{gathered}$$

From the definition of $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s, it follows that $\tilde{0}{\le }_{\mathbb{F}}\tilde{\mathcal{H}}\left(\mathfrak{w}\right)$ and $\tilde{0}{\le }_{\mathbb{F}}\widetilde{{\rm T}}\left(\mathfrak{w}\right)$, so

$$\begin{gathered} {\mathcal{H}}_{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\times {{\rm T}}_{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right) \\ \le \left(\varsigma {\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){\mathcal{H}}_{*}\left(z, ʚ\right)\right)\times \left(\varsigma {{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){{\rm T}}_{*}\left(z, ʚ\right)\right) \\ ={\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\times \right){{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right){\varsigma }^2+{\mathcal{H}}_{*}\left(z, ʚ\right)\times {{\rm T}}_{*}\left(z, ʚ\right){\varsigma }^2 \\ +{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)\times {{\rm T}}_{*}\left(z, ʚ\right)\varsigma \left(1-\varsigma \right)+{\mathcal{H}}_{*}\left(z, ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right)\varsigma \left(1-\varsigma \right) \\ {\mathcal{H}}^{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\times {{\rm T}}^{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right) \\ \ge \left(\varsigma {\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){\mathcal{H}}^{*}\left(z, ʚ\right)\right)\times \left(\varsigma {{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right)+\left(1-\varsigma \right){{\rm T}}^{*}\left(z, ʚ\right)\right) \\ ={\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right){\varsigma }^2+{\mathcal{H}}^{*}\left(z, ʚ\right)\times {{\rm T}}^{*}\left(z, ʚ\right){\varsigma }^2 \\ +{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right){{\rm T}}^{*}\times \left(z, ʚ\right)\varsigma \left(1-\varsigma \right)+{\mathcal{H}}^{*}\left(z, ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right)\varsigma \left(1-\varsigma \right), \end{gathered}$$

Integrating both sides of the above inequality over [0, 1], we get

$$\begin{gathered} {{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\times {{\rm T}}_{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)d\varsigma \\ =\frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w} \\ \le \left({\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)\times {{\rm T}}_{*}\left(z, ʚ\right)\right){{\displaystyle \int }}_0^1{\varsigma }^{2}d\varsigma \\ +\left({\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)\times {{\rm T}}_{*}\left(z, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right)\right){{\displaystyle \int }}_0^1\varsigma \left(1-\varsigma \right)d\varsigma , \\ {{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)\times {{\rm T}}^{*}\left(\varsigma \mathfrak{b}+\left(1-\varsigma \right)z, ʚ\right)d\varsigma \\ =\frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w} \\ \ge \left({\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)\times {{\rm T}}^{*}\left(z, ʚ\right)\right){{\displaystyle \int }}_0^1{\varsigma }^{2}d\varsigma \\ +\left({\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)\times {{\rm T}}^{*}\left(z, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right)\right){{\displaystyle \int }}_0^1\varsigma \left(1-\varsigma \right)d\varsigma . \end{gathered}$$

It follows that,

$$\begin{gathered} \frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{w}, ʚ\right)dw\le {\mathfrak{B}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right){{\displaystyle \int }}_0^1{\varsigma }^{2}d\varsigma +{ℭ}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right){{\displaystyle \int }}_0^1\varsigma \left(1-\varsigma \right)d\varsigma , \\ \frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}\ge {\mathfrak{B}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right){{\displaystyle \int }}_0^1{\varsigma }^{2}d\varsigma +{ℭ}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right){{\displaystyle \int }}_0^1\varsigma \left(1-\varsigma \right)d\varsigma , \end{gathered}$$

that is

$$\frac{1}{z-\mathfrak{b}}\left[{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}, {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{w}, ʚ\right)d\mathfrak{w}\right]$$

$${\supseteq }_I\left[\frac{{\mathfrak{B}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{3}, \frac{{\mathfrak{B}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{3}\right]+\left[\frac{{ℭ}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{6}, \frac{{ℭ}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{6}\right].$$

Thus,

$$\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\frac{\tilde{\mathcal{M}}\left(\mathfrak{b},z\right)}{3}\oplus \frac{\tilde{\mathcal{N}}\left(\mathfrak{b},z\right)}{6}.$$

And the theorem has been established. □

Example 3.

Let $\left[\mathfrak{b},z\right]=\left[0,2\right],$and the $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s $\mathcal{H},{\rm T}:\left[\mathfrak{b}, z\right]=\left[0,2\right]\to {₤}_o,$ defined by

$$\mathcal{H}\left(\mathfrak{w}\right)\left(\theta \right)=\left\{\begin{array}{c}\frac{\theta }{\mathfrak{w}} \theta \in \left[0, \mathfrak{w}\right],\\ \frac{2\mathfrak{w}-\theta }{\mathfrak{w}} \theta \in \left(\mathfrak{w}, 2\mathfrak{w}\right],\\ 0 \mathit{otherwise},\end{array}\right.$$

$${\rm T}\left(\mathfrak{w}\right)\left(\theta \right)=\left\{\begin{array}{c}\frac{\theta -\mathfrak{w}}{2-\mathfrak{w}} \theta \in \left[\mathfrak{w}, 2\right],\\ \frac{ 8-e^{\mathfrak{w}}-\theta }{8-e^{\mathfrak{w}}-2} \theta \in \left(2, 8-e^{\mathfrak{w}}\right],\\ 0 \mathit{otherwise}.\end{array}\right.$$

Then, for each $ʚ\in \left[0, 1\right],$ we have ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[ʚ\mathfrak{w},\left(2-ʚ\right)\mathfrak{w}\right]$ and ${{\rm T}}_{ʚ}\left(\mathfrak{w}\right)=\left[\left(1-ʚ\right)\mathfrak{w}+2ʚ,\left(1-ʚ\right)\left(8-e^{\mathfrak{w}}\right)+2ʚ\right].$ Since left and right end point mappings ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)=ʚ\mathfrak{w},$ and ${\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)=\left(2-ʚ\right)\mathfrak{w}$, are convex and concave mappings, respectively, and ${{\rm T}}_{*}\left(\mathfrak{w},ʚ\right)=\left(1-ʚ\right)\mathfrak{w}+2ʚ$ and ${{\rm T}}^{*}\left(\mathfrak{w}, ʚ\right)=\left(1-ʚ\right)\left(8-e^{\mathfrak{w}}\right)+2ʚ$ are convex and concave mappings, respectively, for each $ʚ\in \left[0, 1\right]$, then $\tilde{\mathcal{H}}\left(\mathfrak{w}\right)$ and $\widetilde{{\rm T}}\left(\mathfrak{w}\right)$ both are $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s. We clearly see that $\tilde{\mathcal{H}}\otimes \widetilde{{\rm T}}\in L\left(\left[\mathfrak{b}, z\right],{₤}_o\right)$ and

$$\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}=\frac{1}{2}\underset{0}{\overset{2}{{\displaystyle \int }}} \left(ʚ\left(1-ʚ\right){\mathfrak{w}}^2+2{ʚ}^2\mathfrak{w}\right)d\mathfrak{w}=\frac{2}{3}ʚ\left(2+ʚ\right),$$

$$\frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}=\frac{1}{2}\underset{0}{\overset{2}{{\displaystyle \int }}}\left(\left(1-ʚ\right)\left(2-ʚ\right)\mathfrak{w}\left(8-e^{\mathfrak{w}}\right)+2ʚ\left(2-ʚ\right)\mathfrak{w}\right)d\mathfrak{w}$$

$$\approx \frac{\left(2-ʚ\right)}{2}\left(\frac{1903}{250}-\frac{903}{250}ʚ\right).$$

Note that

$${\Delta }_{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{b}\right)\times {{\rm T}}_{*}\left(\mathfrak{b}\right)+{\mathcal{H}}_{*}\left(z\right)\times {{\rm T}}_{*}\left(z\right)\right]=4ʚ,$$

$${\Delta }^{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}^{*}\left(\mathfrak{b}\right)\times {{\rm T}}^{*}\left(\mathfrak{b}\right)+{\mathcal{H}}^{*}\left(z\right)\times {{\rm T}}^{*}\left(z\right)\right]=2\left(2-ʚ\right)\left[\left(1-ʚ\right)\left(8-e^2\right)+2ʚ\right],$$

$${\nabla }_{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{b}\right)\times {{\rm T}}_{*}\left(z\right)+{\mathcal{H}}_{*}\left(z\right)\times {{\rm T}}_{*}\left(\mathfrak{b}\right)\right]=4{ʚ}^2,$$

$${\nabla }_{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}^{*}\left(\mathfrak{b}\right)\times {{\rm T}}^{*}\left(z\right)+{\mathcal{H}}^{*}\left(z\right)\times {{\rm T}}^{*}\left(\mathfrak{b}\right)\right]=2\left(2-ʚ\right)\left(7-5ʚ\right).$$

Therefore, we have

$$\frac{1}{3}{\Delta }_{ʚ}\left(\mathfrak{b},z\right)+\frac{1}{6}{\nabla }_{ʚ}\left(\mathfrak{b},z\right)$$

$$=\frac{1}{3}\left[4ʚ,2\left(2-ʚ\right)\left[\left(1-ʚ\right)\left(8-e^2\right)+2ʚ\right]\right]+\frac{1}{3}\left[2{ʚ}^2,\left(2-ʚ\right)\left(7-5ʚ\right)\right]$$

$$=\frac{1}{3}\left[2ʚ\left(2+ʚ\right),\left(2-ʚ\right)\left[2\left(1-ʚ\right)\left(8-e^2\right)-ʚ+7\right]\right].$$

It follows that

$$[\frac{2}{3}ʚ\left(1+2ʚ\right),\frac{\left(2-ʚ\right)}{2}\left(\frac{1903}{250}-\frac{903}{250}ʚ\right)]{\supseteq }_I\frac{1}{3}\left[2ʚ\left(2+ʚ\right),\left(2-ʚ\right)\left[2\left(1-ʚ\right)\left(8-e^2\right)-ʚ+7\right]\right],$$

and Theorem 7 has been demonstrated.

Theorem 8.

Let $\tilde{\mathcal{H}},\widetilde{{\rm T}} :\left[\mathfrak{b}, z\right]\to {₤}_o$ be two $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s, whose $ʚ$-cuts define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}, {{\rm T}}_{ʚ}:\left[\mathfrak{b}, z\right]\subset ℝ\to {\mathcal{X}}_o^{+}$ are given by ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ and ${{\rm T}}_{ʚ}\left(\mathfrak{w}\right)=\left[{{\rm T}}_{*}\left(\mathfrak{w},ʚ\right), {{\rm T}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right]$ and for all $ʚ\in \left[0, 1\right]$, respectively. If $\tilde{\mathcal{H}}\otimes \widetilde{{\rm T}}\in \mathcal{F}{\mathcal{A}}_{\left(\left[\mathfrak{b}, z\right], ʚ\right)}$, then

$$2 \tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right)\otimes \widetilde{{\rm T}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{w}\right)d\mathfrak{w}\oplus \frac{\tilde{\mathcal{M}}\left(\mathfrak{b},z\right)}{6}\oplus \frac{\tilde{\mathcal{N}}\left(\mathfrak{b},z\right)}{3}.$$

(34)

where $\tilde{\mathcal{M}}\left(\mathfrak{b},z\right)=\tilde{\mathcal{H}}\left(\mathfrak{b}\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{b}\right)\oplus \tilde{\mathcal{H}}\left(z\right)\otimes \widetilde{{\rm T}}\left(z\right),$ $\tilde{\mathcal{N}}\left(\mathfrak{b},z\right)=\tilde{\mathcal{H}}\left(\mathfrak{b}\right)\otimes \widetilde{{\rm T}}\left(z\right)\oplus \tilde{\mathcal{H}}\left(z\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{b}\right),$ and ${\mathcal{M}}_{ʚ}\left(\mathfrak{b},z\right)=\left[{\mathcal{M}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right), {\mathcal{M}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\right]$ and ${\mathcal{N}}_{ʚ}\left(\mathfrak{b},z\right)=\left[{\mathcal{N}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right), {\mathcal{N}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\right].$

Proof. 

By hypothesis, for each $ʚ\in \left[0, 1\right],$ we have

$$\begin{gathered} {\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\times {{\rm T}}_{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right) \\ {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\times {{\rm T}}^{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right) \end{gathered}$$

$$\begin{gathered} \le \frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right] \\ +\frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right], \\ \ge \frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right] \\ +\frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right], \end{gathered}$$

$$\begin{gathered} \le \frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right] \\ +\frac{1}{4}\left[\begin{array}{c}\left(ɷ{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+\left(1-ɷ\right){\mathcal{H}}_{*}\left(z, ʚ\right)\right)\\ \times \left(\left(1-ɷ\right){{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right)+ɷ{{\rm T}}_{*}\left(z, ʚ\right)\right)\\ +\left(\left(1-ɷ\right){\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+ɷ{\mathcal{H}}_{*}\left(z, ʚ\right)\right)\\ \times \left(ɷ{{\rm T}}_{*}\left(\mathfrak{b}, ʚ\right)+\left(1-ɷ\right){{\rm T}}_{*}\left(z, ʚ\right)\right)\end{array}\right], \\ \ge \frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right] \\ +\frac{1}{4}\left[\begin{array}{c}\left(ɷ{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+\left(1-ɷ\right){\mathcal{H}}^{*}\left(z, ʚ\right)\right)\\ \times \left(\left(1-ɷ\right){{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right)+ʚ{{\rm T}}^{*}\left(z, ʚ\right)\right)\\ +\left(\left(1-ɷ\right){\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+ʚ{\mathcal{H}}^{*}\left(z, ʚ\right)\right)\\ \times \left(ɷ{{\rm T}}^{*}\left(\mathfrak{b}, ʚ\right)+\left(1-ɷ\right){{\rm T}}^{*}\left(z, ʚ\right)\right)\end{array}\right], \end{gathered}$$

$$\begin{gathered} =\frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right] \\ +\frac{1}{2}\left[\begin{array}{c}\left\{{ɷ}^2+{\left(1-ɷ\right)}^2\right\}{\mathcal{N}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\\ +\left\{ɷ\left(1-ɷ\right)+\left(1-ɷ\right)ɷ\right\}{\mathcal{M}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\end{array}\right], \\ =\frac{1}{4}\left[\begin{array}{c}{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\times {{\rm T}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\\ +{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\times {{\rm T}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\end{array}\right] \\ +\frac{1}{2}\left[\begin{array}{c}\left\{{ɷ}^2+{\left(1-ɷ\right)}^2\right\}{\mathcal{N}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\\ +\left\{ɷ\left(1-ɷ\right)+\left(1-ɷ\right)ɷ\right\}{\mathcal{M}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)\end{array}\right]. \end{gathered}$$

Taking integration over $\left[0, 1\right],$ we have

$$\begin{gathered} 2 {\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\times {{\rm T}}_{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\le \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}+\frac{{\mathcal{M}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{6}+\frac{{\mathcal{N}}_{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{3}, \\ 2 {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\times {{\rm T}}^{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\ge \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}+\frac{{\mathcal{M}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{6}+\frac{{\mathcal{N}}^{*}\left(\left(\mathfrak{b},z\right), ʚ\right)}{3}, \end{gathered}$$

that is

$$2 \tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right)\otimes \widetilde{{\rm T}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\otimes \widetilde{{\rm T}}\left(\mathfrak{w}\right)d\mathfrak{w} \oplus \frac{\tilde{\mathcal{M}}\left(\mathfrak{b},z\right)}{6}\oplus \frac{\tilde{\mathcal{N}}\left(\mathfrak{b},z\right)}{3}.$$

Hence, the required result. □

Example 4.

We consider the $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s $\tilde{\mathcal{H}}, \widetilde{{\rm T}}:\left[\mathfrak{b}, z\right]=\left[0, 2\right]\to {₤}_o$. Then, for each $ʚ\in \left[0, 1\right],$ we have ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[ʚ\mathfrak{w},\left(2-ʚ\right)\mathfrak{w}\right]$ and ${{\rm T}}_{ʚ}\left(\mathfrak{w}\right)=\left[\left(1-ʚ\right)\mathfrak{w}+2ʚ,\left(1-ʚ\right)\left(8-e^{\mathfrak{w}}\right)+2ʚ\right],$ as in Example 3, then $\tilde{\mathcal{H}}$ and $\widetilde{{\rm T}}$ both are $U\mathcal{D}$-convex mappings. We have ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)=ʚ\mathfrak{w},$ ${\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)=\left(2-ʚ\right)\mathfrak{w}$ and ${{\rm T}}_{*}\left(\mathfrak{w},ʚ\right)=\left(1-ʚ\right)\mathfrak{w}+2ʚ$, ${{\rm T}}^{*}\left(\mathfrak{w}, ʚ\right)=\left(1-ʚ\right)\left(8-e^{\mathfrak{w}}\right)+2ʚ$, then

$$\begin{gathered} 2{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\times {{\rm T}}_{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)=2ʚ\left(1+ʚ\right), \\ 2{\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)\times {{\rm T}}^{*}\left(\frac{\mathfrak{b}+z}{2},ʚ\right)=2\left[16-20ʚ+6{ʚ}^2+\left(2-3ʚ+{ʚ}^2\right)e\right], \end{gathered}$$

$$\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\times {{\rm T}}_{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}=\frac{1}{2}\underset{0}{\overset{2}{{\displaystyle \int }}} \left(ʚ\left(1-ʚ\right){\mathfrak{w}}^2+2{ʚ}^2\mathfrak{w}\right)d\mathfrak{w}=\frac{4}{3}ʚ\left(3-ʚ\right),$$

$$\frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\times {{\rm T}}^{*}\left(\mathfrak{w},ʚ\right)d\mathfrak{w}=\frac{1}{2}\underset{0}{\overset{2}{{\displaystyle \int }}}\left(\left(1-ʚ\right)\left(2-ʚ\right)\mathfrak{w}\left(8-e^{\mathfrak{w}}\right)+2ʚ\left(2-ʚ\right)\mathfrak{w}\right)d\mathfrak{w}$$

$$\approx \frac{\left(2-ʚ\right)}{2}\left(\frac{1903}{250}-\frac{903}{250}ʚ\right).$$

$${\Delta }_{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{b}\right)\times {{\rm T}}_{*}\left(\mathfrak{b}\right)+{\mathcal{H}}_{*}\left(z\right)\times {{\rm T}}_{*}\left(z\right)\right]=4ʚ,$$

$${\Delta }^{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}^{*}\left(\mathfrak{b}\right)\times {{\rm T}}^{*}\left(\mathfrak{b}\right)+{\mathcal{H}}^{*}\left(z\right)\times {{\rm T}}^{*}\left(z\right)\right]=2\left(2-ʚ\right)\left[\left(1-ʚ\right)\left(8-e^2\right)+2ʚ\right],$$

$${\nabla }_{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{b}\right)\times {{\rm T}}_{*}\left(z\right)+{\mathcal{H}}_{*}\left(z\right)\times {{\rm T}}_{*}\left(\mathfrak{b}\right)\right]=4{ʚ}^2,$$

$${\nabla }_{*}\left(\mathfrak{b},z\right)=\left[{\mathcal{H}}^{*}\left(\mathfrak{b}\right)\times {{\rm T}}^{*}\left(z\right)+{\mathcal{H}}^{*}\left(z\right)\times {{\rm T}}^{*}\left(\mathfrak{b}\right)\right]=2\left(2-ʚ\right)\left(7-5ʚ\right).$$

Therefore, we have

$$\frac{1}{6}{\Delta }_{ʚ}\left(\left(\mathfrak{b},z\right), ʚ\right)+\frac{1}{3}{\nabla }_{ʚ}\left(\left(\mathfrak{b},z\right), ʚ\right)$$

$$=\frac{1}{3}\left[2ʚ,\left(2-ʚ\right)\left[\left(1-ʚ\right)\left(8-e^2\right)+2ʚ\right]\right]+\frac{2}{3}\left[2{ʚ}^2,\left(2-ʚ\right)\left(7-5ʚ\right)\right]$$

$$=\frac{1}{3}\left[2ʚ\left(1+2ʚ\right),\left(2-ʚ\right)\left[\left(1-ʚ\right)\left(8-e^2\right)-8ʚ+14\right]\right].$$

It follows that

$$2\left[ʚ\left(1+ʚ\right),\left[16-20ʚ+6{ʚ}^2+\left(2-3ʚ+{ʚ}^2\right)e\right]\right]{\supseteq }_I\left[\frac{2}{3}ʚ\left(2+ʚ\right),\frac{\left(2-ʚ\right)}{2}\left(\frac{1903}{250}-\frac{903}{250}ʚ\right)\right]$$

$$+\frac{1}{3}\left[2ʚ\left(1+2ʚ\right),\left(2-ʚ\right)\left[\left(1-ʚ\right)\left(8-e^2\right)-8ʚ+14\right]\right],$$

and Theorem 8 has been demonstrated.

We now give HH-Fejér inequalities for $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s. Firstly, we obtain the second HH-Fejér inequality for $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$.

Theorem 9.

Let $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\to {₤}_o$ be a $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ with $\mathfrak{b}<z$, whose $ʚ$-cuts define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b}, z\right]\subset ℝ\to {\mathcal{X}}_o^{+}$ are given by ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right]$ and for all $ʚ\in \left[0, 1\right]$. If $\tilde{\mathcal{H}}\in \mathcal{F}{\mathcal{A}}_{\left(\left[\mathfrak{b}, z\right], ʚ\right)}$ and $\mathfrak{B}:\left[\mathfrak{b}, z\right]\to ℝ, \mathfrak{B}\left(\mathfrak{w}\right)\ge 0,$ symmetric with respect to $\frac{\mathfrak{b}+z}{2},$ then

$$\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)\odot \mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\left[\mathcal{H}\left(\mathfrak{b}\right)\oplus \mathcal{H}\left(z\right)\right]\odot {{\displaystyle \int }}_0^1ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ.$$

(35)

Proof. 

Let $\tilde{\mathcal{H}}$ be a $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$. Then, for each $ʚ\in \left[0, 1\right],$ we have

$$\begin{gathered} {\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)B\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right) \\ \le \left(ɷ{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+\left(1-ɷ\right){\mathcal{H}}_{*}\left(z, ʚ\right)\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right), \\ {\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)\ge \left(ɷ{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+\left(1-ɷ\right){\mathcal{H}}^{*}\left(z, ʚ\right)\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right). \end{gathered}$$

(36)

And

$$\begin{gathered} {\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)B\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right) \\ \le \left(\left(1-ɷ\right){\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+ɷ{\mathcal{H}}_{*}\left(z, ʚ\right)\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right), \\ {\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right) \\ \ge \left(\left(1-ɷ\right){\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+ɷ{\mathcal{H}}^{*}\left(z, ʚ\right)\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right). \end{gathered}$$

(37)

After adding (36) and (37), and integrating over $\left[0, 1\right],$ we get

$$\begin{gathered} {{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ \\ +{{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ \le {{\displaystyle \int }}_0^1\left[\begin{array}{c}{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)\left\{ɷ\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)+\left(1-ɷ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\right\}\\ +{\mathcal{H}}_{*}\left(z, ʚ\right)\left\{\left(1-ɷ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)+ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\right\}\end{array}\right]dɷ, \\ {{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ +{{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ \\ \ge {{\displaystyle \int }}_0^1\left[\begin{array}{c}{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)\left\{ɷ\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)+\left(1-ɷ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\right\}\\ +{\mathcal{H}}^{*}\left(z, ʚ\right)\left\{\left(1-ɷ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)+ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\right\}\end{array}\right]dɷ, \end{gathered}$$

$$\begin{gathered} =2{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right){{\displaystyle \int }}_0^1\begin{array}{c}ɷB\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)\end{array}dɷ+2{\mathcal{H}}_{*}\left(z, ʚ\right){{\displaystyle \int }}_0^1\begin{array}{c}ɷB\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ, \\ =2{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right){{\displaystyle \int }}_0^1\begin{array}{c}ɷB\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)\end{array}dɷ+2{\mathcal{H}}^{*}\left(z, ʚ\right){{\displaystyle \int }}_0^1\begin{array}{c}ɷB\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ. \end{gathered}$$

Since $\mathfrak{B}$ is symmetric, then

$$\begin{gathered} {{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ \\ +{{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ \\ \le 2\left[{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}ɷB\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ, \\ {{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ +{{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ \\ \ge 2\left[{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}ɷB\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ. \end{gathered}$$

(38)

Since

$$\begin{gathered} {{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ \\ ={{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ=\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w} \\ {{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ ={{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ=\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w} \end{gathered}$$

(39)

Then from (38), we have

$$\begin{gathered} \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}\le \left[{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ, \\ \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w} \ge \left[{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ, \end{gathered}$$

that is

$$\left[\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}, \frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}\right]$$

$$\begin{gathered} {\supseteq }_I[{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+ \\ {\mathcal{H}}^{*}\left(z, ʚ\right)]{{\displaystyle \int }}_0^1\begin{array}{c}ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ, \end{gathered}$$

hence

$$\frac{1}{z-\mathfrak{b}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\odot \mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}{\supseteq }_{\mathbb{F}}\left[\tilde{\mathcal{H}}\left(\mathfrak{b}\right)\oplus \tilde{\mathcal{H}}\left(z\right)\right]\odot {{\displaystyle \int }}_0^1ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ.$$

Next, we construct first HH-Fejér inequality for $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$, which generalizes first HH-Fejér inequalities for classical convex mapping. □

Theorem 10.

Let $\tilde{\mathcal{H}}:\left[\mathfrak{b}, z\right]\to {₤}_o$ be a $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ with $\mathfrak{b}<z$, whose $ʚ$-cuts define the family of $I\mathcal{V}\mathcal{M}$s ${\mathcal{H}}_{ʚ}:\left[\mathfrak{b}, z\right]\subset ℝ\to {\mathcal{X}}_o^{+}$ are given by ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right), {\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]$ for all $\mathfrak{w}\in \left[\mathfrak{b}, z\right]$ and for all $ʚ\in \left[0, 1\right]$. If $\tilde{\mathcal{H}}\in \mathcal{F}{\mathcal{A}}_{\left(\left[\mathfrak{b}, z\right], ʚ\right)}$ and $\mathfrak{B}:\left[\mathfrak{b}, z\right]\to ℝ, \mathfrak{B}\left(\mathfrak{w}\right)\ge 0,$ symmetric with respect to $\frac{\mathfrak{b}+z}{2},$ and ${{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}>0$, then

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\odot \mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}.$$

(40)

Proof. 

Since $\tilde{\mathcal{H}}$ is a $U\mathcal{D}$-convex, then for $ʚ\in \left[0, 1\right],$ we have

$$\begin{gathered} {\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\le \frac{1}{2}\left({\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)+{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\right), \\ {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\ge \frac{1}{2}\left({\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)+{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\right), \end{gathered}$$

(41)

Since $\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)=\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)$, then by multiplying (41) by $\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)$ and integrating it with respect to $ɷ$ over $\left[0, 1\right],$ we obtain

$$\begin{gathered} {\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right){{\displaystyle \int }}_0^1\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ \le \frac{1}{2}\left(\begin{array}{c}{{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ\\ +{{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ\end{array}\right), \\ {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right){{\displaystyle \int }}_0^1\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ \ge \frac{1}{2}\left(\begin{array}{c}{{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ\\ +{{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ\end{array}\right). \end{gathered}$$

(42)

Since

$$\begin{gathered} {{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ;\right)z\right)dɷ \\ ={{\displaystyle \int }}_0^1{\mathcal{H}}_{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ=\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w} \\ {{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz, ʚ\right)\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ ={{\displaystyle \int }}_0^1{\mathcal{H}}^{*}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z, ʚ\right)\mathfrak{B}\left(ɷ\mathfrak{b}+\left(1-ɷ\right)z\right)dɷ=\frac{1}{z-\mathfrak{b}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}. \end{gathered}$$

(43)

Then from (43), we have

$$\begin{gathered} {\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\le \frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}, \\ {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\ge \frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}, \end{gathered}$$

from which, we have

$$\begin{gathered} \left[{\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right), {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)\right] \\ {\supseteq }_I\frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}}\left[{{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}, {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}\right], \end{gathered}$$

that is

$$\tilde{\mathcal{H}}\left(\frac{\mathfrak{b}+z}{2}\right){\supseteq }_{\mathbb{F}}\frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}} \odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\tilde{\mathcal{H}}\left(\mathfrak{w}\right)\odot \mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}.$$

This completes the proof. □

Remark 5.

From Theorem 9 and Theorem 10, we clearly see that:

If $\mathcal{W}\left(\mathfrak{w}\right)=1$, then we acquire the inequality (23).

If $\mathcal{H}$ is lower $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right],$ then we acquire the following coming inequality, see [90]:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right){\le }_{\mathbb{F}}\frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}}\odot \left(FA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)\odot \mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}{\le }_{\mathbb{F}}\frac{\mathcal{H}\left(\mathfrak{b}\right)\oplus \mathcal{H}\left(z\right)}{2}.$$

(44)

If $\mathcal{H}$ is lower $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right]$ with $ʚ =$, then from (35) and (40) we acquire the following coming inequality, see [99]:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right){\le }_I\frac{1}{z-\mathfrak{b}} \left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)d\mathfrak{w}{\le }_I\frac{\mathcal{H}\left(\mathfrak{b}\right)+\mathcal{H}\left(z\right)}{2}.$$

(45)

If $\mathcal{H}$ is lower $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ on $\left[\mathfrak{b},z\right]$ with $ʚ =$, then from (35) and (40) we acquire the following coming inequality, see [99]:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right){\le }_I\frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}} \left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)\mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}{\le }_I\frac{\mathcal{H}\left(\mathfrak{b}\right)+\mathcal{H}\left(z\right)}{2}.$$

(46)

Let $ʚ =$. Then from (35) and (40), we acquire the following inequality, see [56]:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right)\supseteq \frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}} \left(IA\right){{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)\mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}\supseteq \frac{\mathcal{H}\left(\mathfrak{b}\right)+\mathcal{H}\left(z\right)}{2}.$$

(47)

Let $ʚ=1$ and ${\mathcal{H}}_{*}\left(\mathfrak{w}, ʚ\right)={\mathcal{H}}^{*}\left(\mathfrak{w}, ʚ\right)$. Then, from(35) and (40), we obtain the following classical Fejér inequality:

$$\mathcal{H}\left(\frac{\mathfrak{b}+z}{2}\right)\le \frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}}{{\displaystyle \int }}_{\mathfrak{b}}^z\mathcal{H}\left(\mathfrak{w}\right)\mathcal{W}\left(\mathfrak{w}\right)d\mathfrak{w}\le \frac{\mathcal{H}\left(\mathfrak{b}\right)+\mathcal{H}\left(z\right)}{2}.$$

(48)

Example 5.

We consider the $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$ $\mathcal{H}:\left[0, 2\right]\to {₤}_I$ defined by

$$\mathcal{H}\left(\mathfrak{w}\right)\left(\theta \right)=\left\{\begin{array}{c}\frac{\theta -2+{\mathfrak{w}}^{\frac{1}{2}}}{\frac{3}{2}-2-{\mathfrak{w}}^{\frac{1}{2}}} \theta \in \left[2-{\mathfrak{w}}^{\frac{1}{2}}, \frac{3}{2}\right],\\ \frac{2+{\mathfrak{w}}^{\frac{1}{2}}-\theta }{2+{\mathfrak{w}}^{\frac{1}{2}}-\frac{3}{2}} \theta \in \left(\frac{3}{2}, 2+{\mathfrak{w}}^{\frac{1}{2}}\right],\\ 0 \mathit{otherwise},\end{array}\right.$$

Then, for each $ʚ\in \left[0, 1\right],$ we have ${\mathcal{H}}_{ʚ}\left(\mathfrak{w}\right)=\left[\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ,\left(1+ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ\right]$. Since end point mappings ${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right),$ and ${\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)$ are convex and concave mappings, respectively, for each $ʚ\in \left[0, 1\right]$, then $\mathcal{H}\left(\mathfrak{w}\right)$ is $U\mathcal{D}$-convex $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$. If

$$\mathfrak{B}\left(\mathfrak{w}\right)=\left\{\begin{array}{c}\sqrt{\mathfrak{w}}, \sigma \in \left[0,1\right],\\ \sqrt{2-\mathfrak{w}}, \sigma \in \left(1, 2\right], \end{array}\right.$$

then $\mathfrak{B}\left(2-\mathfrak{w}\right)=\mathfrak{B}\left(\mathfrak{w}\right)\ge 0$, for all $\mathfrak{w}\in \left[0, 2\right]$.

Since${\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)=\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ$and ${\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)=\left(1+ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ$. Now

we compute the following:

$$\begin{array}{c}\frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\right]\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}=\frac{1}{2}{{\displaystyle \int }}_0^2\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\right]\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}\\ =\frac{1}{2}{{\displaystyle \int }}_0^1\left[{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\right]\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}+\frac{1}{2}{{\displaystyle \int }}_1^2{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w},\\ \frac{1}{z-\mathfrak{b}}{{\displaystyle \int }}_{\mathfrak{b}}^z\left[{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}=\frac{1}{2}{{\displaystyle \int }}_0^2\left[{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}\\ =\frac{1}{2}{{\displaystyle \int }}_0^1\left[{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\right]\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}+\frac{1}{2}{{\displaystyle \int }}_1^2{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w},\end{array}$$

$$\begin{gathered} =\frac{1}{2}{{\displaystyle \int }}_0^1\left[\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ\right]\left(\sqrt{\mathfrak{w}}\right)d\mathfrak{w}+\frac{1}{2}{{\displaystyle \int }}_1^2\left[\left(1-ʚ\right)\left(2-{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ\right]\left(\sqrt{2-\mathfrak{w}}\right)d\mathfrak{w} \\ =\frac{1}{4}\left[\frac{13}{3}-\frac{\pi }{2}\right]+ʚ\left[\frac{\pi }{8}-\frac{1}{12}\right], \\ =\frac{1}{2}{{\displaystyle \int }}_0^1\left[\left(1+ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ\right]\left(\sqrt{\mathfrak{w}}\right)d\mathfrak{w}+\frac{1}{2}{{\displaystyle \int }}_1^2\left[\left(1+ʚ\right)\left(2+{\mathfrak{w}}^{\frac{1}{2}}\right)+\frac{3}{2}ʚ\right]\left(\sqrt{2-\mathfrak{w}}\right)d\mathfrak{w} \\ =\frac{1}{4}\left[\frac{19}{3}+\frac{\pi }{2}\right]+ʚ\left[\frac{\pi }{8}+\frac{31}{12}\right]. \end{gathered}$$

(49)

And

$$\begin{gathered} \left[{\mathcal{H}}_{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}_{*}\left(z, ʚ\right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}ɷB\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)\end{array}dɷ \\ =\left[4\left(1-ʚ\right)-\sqrt{2}\left(1-ʚ\right)+3ʚ\right]\left[{{\displaystyle \int }}_0^{\frac{1}{2}}ɷ\sqrt{2ɷ}dɷ+{{\displaystyle \int }}_{\frac{1}{2}}^1ɷ\sqrt{2\left(1-ɷ\right)}dɷ\right] \\ =\frac{1}{3}\left(4\left(1-ʚ\right)-\sqrt{2}\left(1-ʚ\right)+3ʚ\right), \\ \left[{\mathcal{H}}^{*}\left(\mathfrak{b}, ʚ\right)+{\mathcal{H}}^{*}\left(z, ʚ\right)\right]{{\displaystyle \int }}_0^1ɷ\mathfrak{B}\left(\left(1-ɷ\right)\mathfrak{b}+ɷz\right)dɷ \\ =\left[4\left(1+ʚ\right)+\sqrt{2}\left(1+ʚ\right)+3ʚ\right]\left[{{\displaystyle \int }}_0^{\frac{1}{2}}ɷ\sqrt{2ɷ}dɷ+{{\displaystyle \int }}_{\frac{1}{2}}^1ɷ\sqrt{2\left(1-ɷ\right)}dɷ\right] \\ =\frac{1}{3}\left(4\left(1+ʚ\right)+\sqrt{2}\left(1+ʚ\right)+3ʚ\right). \end{gathered}$$

(50)

From (49) and (50), we have

$$\left[\frac{1}{4}\left[\frac{13}{3}-\frac{\pi }{2}\right]+ʚ\left[\frac{\pi }{4}-\frac{7}{6}\right], \frac{1}{4}\left[\frac{19}{3}+\frac{\pi }{2}\right]+ʚ\left[\frac{\pi }{4}+\frac{25}{6}\right]\right]$$

$${\supseteq }_I\left[\frac{1}{3}\left(4\left(1-ʚ\right)-\sqrt{2}\left(1-ʚ\right)+3ʚ\right), \frac{1}{3}\left(4\left(1+ʚ\right)+\sqrt{2}\left(1+ʚ\right)+3ʚ\right)\right], \mathrm{for} \mathrm{all} ʚ\in \left[0, 1\right].$$

Hence, Theorem 9 is verified.

For Theorem 10, we have

$$\begin{gathered} {\mathcal{H}}_{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)={\mathcal{H}}_{*}\left(1, ʚ\right)=\frac{2+ʚ}{2}, \\ {\mathcal{H}}^{*}\left(\frac{\mathfrak{b}+z}{2}, ʚ\right)={\mathcal{H}}^{*}\left(1, ʚ\right)=\frac{3\left(2+3ʚ\right)}{2}, \end{gathered}$$

$${{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}={{\displaystyle \int }}_0^{\begin{array}{c} \\ 1\end{array}}\sqrt{\mathfrak{w}}d\mathfrak{w}+{{\displaystyle \int }}_1^2\sqrt{2-\mathfrak{w}}d\mathfrak{w}=\frac{4}{3},$$

(51)

$$\begin{array}{c}\frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}_{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}=\frac{3}{8}\left[\frac{13}{3}-\frac{\pi }{2}\right]+\frac{3ʚ}{2}\left[\frac{\pi }{8}-\frac{1}{12}\right], \\ \frac{1}{{{\displaystyle \int }}_{\mathfrak{b}}^z\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}} {{\displaystyle \int }}_{\mathfrak{b}}^z{\mathcal{H}}^{*}\left(\mathfrak{w},ʚ\right)\mathfrak{B}\left(\mathfrak{w}\right)d\mathfrak{w}=\frac{3}{8}\left[\frac{19}{3}+\frac{\pi }{2}\right]+\frac{3ʚ}{2}\left[\frac{\pi }{8}+\frac{31}{12}\right].\end{array}$$

(52)

From (51) and (52), we have

$$\left[\frac{2+ʚ}{2}, \frac{3\left(2+3ʚ\right)}{2}\right]{\supseteq }_{\mathrm{I}}\left[\frac{3}{8}\left[\frac{13}{3}-\frac{\mathsf{\pi }}{2}\right]+\frac{3ʚ}{2}\left[\frac{\mathsf{\pi }}{8}-\frac{1}{12}\right], \frac{3}{8}\left[\frac{19}{3}+\frac{\mathsf{\pi }}{2}\right]+\frac{3ʚ}{2}\left[\frac{\mathsf{\pi }}{8}+\frac{31}{12}\right]\right].$$

Hence, Theorem 10 has been verified.

4. Conclusions

This paper provides the introduced class $U\mathcal{D}$-convex concept for $\mathcal{F}\mathcal{N}\mathcal{V}\mathcal{M}$s. The H.H. and Jensen-type inequalities were developed utilizing this idea and a fuzzy-inclusion relation. This study expands on several recent findings made by Zhao et al. [56,57] and the writers who came after them, Refs. [61,62]. Furthermore, some nontrivial cases are provided to verify our primary conclusions’ accuracy. In the future, it will be fascinating to look into how analogous inequalities are established for other convexity types and by employing various integral operators. Our study of interval integral operator-type integral inequalities will broaden their practical applications because integral operators are widely used in engineering technology, such as various forms of mathematical modeling, and because different integral operators are suitable for different forms of practical problems. Convex optimization theory may take a new turn as a result of this idea. Other researchers working on a range of scientific subjects may probably find the idea useful.