Some Fuzzy Inequalities for Harmonically s-Convex Fuzzy Number Valued Functions in the Second Sense Integral

Abstract

Many fields of mathematics rely on convexity and nonconvexity, especially when studying optimization issues, where it stands out for a variety of practical aspects. Owing to the behavior of its definition, the idea of convexity also contributes significantly to the discussion of inequalities. The concepts of symmetry and convexity are related and we can apply this because of the close link that has grown between the two in recent years. In this study, harmonic convexity, also known as harmonic s-convexity for fuzzy number valued functions (F-NV-Fs), is defined in a more thorough manner. In this paper, we extend harmonically convex F-NV-Fs and demonstrate Hermite–Hadamard (H.H) and Hermite–Hadamard Fejér (H.H. Fejér) inequalities. The findings presented here are summaries of a variety of previously published studies.

1. Introduction

A variety of scientific fields, including mathematical analysis, optimization, economics, finance, engineering, management science, and game theory, have greatly benefited from the active, interesting, and appealing field of convexity theory study. Numerous scholars study the idea of convex functions, attempting to broaden and generalize its various manifestations by using cutting-edge concepts and potent methods. Convexity theory offers a comprehensive framework for developing incredibly effective, fascinating, and potent numerical tools to approach and resolve a wide range of issues in both pure and practical sciences. Convexity has been developed, broadened, and extended in several sectors during recent years. Inequality theory has benefited greatly from the introduction of convex functions. Numerous studies have shown strong connections between the theories of inequality and convex functions.

Functional analysis, physics, statistics theory, and optimization theory all benefit from integral inequality. Only a handful of the applications of inequalities in research [1,2,3,4,5,6,7,8] include statistical difficulties, probability, and numerical quadrature equations. Convex analysis and inequalities have developed into an alluring, captivating, and attention-grabbing topic for researchers as a result of various generalizations, variants, extensions, wide-ranging perspectives, and applications; the reader can refer to [9,10,11,12,13,14,15]. Kadakal and Iscan recently presented n-polynomial convex functions, which are an extension of convexity [16].

A well-known particular instance of the harmonic mean is the power mean. In areas such as statistics, computer science, trigonometry, geometry, probability, finance, and electric circuit theory, it is frequently employed when average rates are sought. Since it equalizes the weights of each piece of data, the harmonic mean is the ideal statistic for rates and ratios. The harmonic convex set is defined by the harmonic mean. Shi [17] was the first to present the harmonic convex set in 2003. The harmonic and p-harmonic convex functions were introduced and explored for the first time by Anderson et al. [18] and Noor et al. [19], respectively. Awan et al. [20] introduced a new class known as n-polynomial harmonically convex function while maintaining their focus on extensions.

We learned that there is a certain class of function known as the exponential convex function and that there are many people working on this subject currently [21,22]. This information was motivated and encouraged by recent actions and research in the field of convex analysis. Convexity of the exponential type was described by Dragomir [23]. Dragomir’s work was continued by Awan et al. [24], who investigated and examined an entirely new family of exponentially convex functions. Kadakal and İşcan presented a fresh idea for exponential type convexity in [25]. The idea of n-polynomial harmonic exponential type convex functions was recently put out by Geo et al. [26]. In statistical learning, information sciences, data mining, stochastic optimization, and sequential prediction [27,28], and the references therein, the benefits and applications of exponential type convexity are used.

Additionally, symmetry and inequality have a direct relationship with convexity. Because of their close association, whatever one we focus on may be applied to the other, demonstrating the important relationship between convexity and symmetry, see [29]. The traditional ideas of convexity have been successfully extended in a number of instances. Weir and Mond, for instance, developed the category of preinvex functions. The concept of h-convexity, which also encompasses several other types of convex functions, was first presented by Varosanec [30]. Additionally, Varosanec has discovered a few h-convex function-related classical inequalities. Noor et al. [31] introduced the class of h-preinvex functions and pointed out that by considering multiple viable options for the real function h, other classes of preinvexity and classical convexity may be retrieved. In a similar work, they also created a number of entirely new Dragomir–Agarwal and Hermite–Hadamard inequalities. Cristescu et al. [32] were the first to introduce the class of (h1, h2)-convex functions, which they also investigated and covered some of its key aspects. By combining ideas from interval analysis and convex analysis, Zhao et al. [33] created a class of interval-valued h-convex functions and created several entirely new iterations of the Hermite–Hadamard inequality.

In order to construct the HH inequalities for harmonic convex functions, Iscan [34] first developed the idea of a harmonic convex set. By defining the Harmonic h-convex functions on the Harmonic convex set and expanding the HH inequalities that Iscan [34] developed, Mihai [35] advanced the concept of harmonic convex functions.

Keep in mind that fuzzy mappings are fuzzy functions with numeric values. On the other hand, Nanda and Kar [36] were the first to introduce the idea of convex F-NV-Fs. To this one step further, Khan et al. [37,38] recently proposed h-convex F-NV-Fs and (h 1,h 2)-convex F-NV-Fs and obtained some to offer new iterations of HH and fractional type of inequalities by employing fuzzy Riemann–Liouville fractional integrals and fuzzy Riemannian integrals, respectively. Similarly, using fuzzy order relations and fuzzy Riemann–Liouville fractional integrals, Sana and Khan et al. [39] developed new iterations of fuzzy fractional HH inequalities for harmonically convex F-NV-Fs. We direct the readers to [40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73] and the references therein for further information on generalized convex functions, fuzzy intervals, and fuzzy integrals.

We introduced a new generalization of harmonically convex functions known as harmonic s-convex F-NV-Fs in the second sense by fuzzy order relation. This work was motivated and inspired by ongoing research. We developed new iterations of the HH inequalities utilizing Riemann–Liouville fractional operators with the help of this class. In addition, we explored the applicability of our study in rare instances.

2. Preliminaries

We begin by recalling the basic notations and definitions. We define interval as

$$\left[{\mathfrak{X}}_{\ast },{\mathfrak{X}}^{\ast }\right]=\left\{\mathfrak{𝒾}\in ℝ:{\mathfrak{X}}_{\ast }\le \mathfrak{𝒾}\le {\mathfrak{X}}^{\ast }\mathrm{and}{\mathfrak{X}}_{\ast },{\mathfrak{X}}^{\ast }\in ℝ \right\},\mathrm{where}{\mathfrak{X}}_{\ast }\le {\mathfrak{X}}^{\ast }.$$

The collection of all closed and bounded intervals of $ℝ$ is denoted and defined as ${\mathcal{K}}_C=\left\{\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]:{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\in ℝ \mathrm{and} {\mathfrak{X}}_{\ast }\le {\mathfrak{X}}^{\ast }\right\}.$ If ${\mathfrak{X}}_{\ast }\ge 0$, then $\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]$ is called positive interval. The set of all positive intervals is denoted by ${\mathcal{K}}_C{}^{+}$ and defined as ${\mathcal{K}}_C{}^{+}=\left\{\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]:\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]\in {\mathcal{K}}_C \mathrm{and}{\mathfrak{X}}_{\ast }\ge 0\right\}.$

We now examine some of the properties of intervals using arithmetic operations. Let $\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right], \left[{\mathfrak{w}}_{\ast }, {\mathfrak{w}}^{\ast }\right]\in {\mathcal{K}}_C$ and $\rho \in ℝ$, then we have

$$\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]+\left[{\mathfrak{w}}_{\ast }, {\mathfrak{w}}^{\ast }\right]=\left[{\mathfrak{X}}_{\ast }+{\mathfrak{w}}_{\ast }, {\mathfrak{X}}^{\ast }+{\mathfrak{w}}^{\ast }\right],$$

$$\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]\times \left[{\mathfrak{w}}_{\ast }, {\mathfrak{w}}^{\ast }\right]=\left[\begin{array}{c}min\left\{{\mathfrak{X}}_{\ast }{\mathfrak{w}}_{\ast }, {\mathfrak{X}}^{\ast }{\mathfrak{w}}_{\ast }, {\mathfrak{X}}_{\ast }{\mathfrak{w}}^{\ast }, {\mathfrak{X}}^{\ast }{\mathfrak{w}}^{\ast }\right\},\hfill \\ max\left\{{\mathfrak{X}}_{\ast }{\mathfrak{w}}_{\ast }, {\mathfrak{X}}^{\ast }{\mathfrak{w}}_{\ast }, {\mathfrak{X}}_{\ast }{\mathfrak{w}}^{\ast }, {\mathfrak{X}}^{\ast }{\mathfrak{w}}^{\ast }\right\}\hfill \end{array}\right]$$

$$\rho .\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]=\{\begin{array}{c}\left[\rho {\mathfrak{X}}_{\ast }, \rho {\mathfrak{X}}^{\ast }\right] \mathrm{if} \rho \ge 0,\hfill \\ \left[\rho {\mathfrak{X}}^{\ast },\rho {\mathfrak{X}}_{\ast }\right] \mathrm{if} \rho <0.\hfill \end{array}$$

For $\left[{\mathfrak{X}}_{\ast },{\mathfrak{X}}^{\ast }\right],\left[{\mathfrak{w}}_{\ast },{\mathfrak{w}}^{\ast }\right]\in {\mathcal{K}}_C,$ the inclusion $\text{“}\subseteq \text{”}$ is defined by

$$\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]\subseteq \left[{\mathfrak{w}}_{\ast }, {\mathfrak{w}}^{\ast }\right],\mathrm{if}\mathrm{and}\mathrm{only}\mathrm{if}{\mathfrak{w}}_{\ast }\le {\mathfrak{X}}_{\ast },{\mathfrak{X}}^{\ast }\le {\mathfrak{w}}^{\ast }.$$

(1)

Remark 1

[40]. The relation $“{\le }_I”$ is defined on ${\mathcal{K}}_C$ by

$$\left[{\mathfrak{X}}_{\ast }, {\mathfrak{X}}^{\ast }\right]{\le }_I\left[{\mathfrak{w}}_{\ast }, {\mathfrak{w}}^{\ast }\right]\mathrm{if}\mathrm{and}\mathrm{only}\mathrm{if}{\mathfrak{X}}_{\ast }\le {\mathfrak{w}}_{\ast }, {\mathfrak{X}}^{\ast }\le {\mathfrak{w}}^{\ast },$$

(2)

for all $\left[{\mathfrak{X}}_{\ast },{\mathfrak{X}}^{\ast }\right],\left[{\mathfrak{w}}_{\ast },{\mathfrak{w}}^{\ast }\right]\in {\mathcal{K}}_C,$ it is an order relation. For given $\left[{\mathfrak{X}}_{\ast },{\mathfrak{X}}^{\ast }\right],\left[{\mathfrak{w}}_{\ast },{\mathfrak{w}}^{\ast }\right]\in {\mathcal{K}}_C,$ we say that $\left[{\mathfrak{X}}_{\ast },{\mathfrak{X}}^{\ast }\right]{\le }_I\left[{\mathfrak{w}}_{\ast },{\mathfrak{w}}^{\ast }\right]$ if and only if ${\mathfrak{X}}_{\ast }\le {\mathfrak{w}}_{\ast },{\mathfrak{X}}^{\ast }\le {\mathfrak{w}}^{\ast }$ or ${\mathfrak{X}}_{\ast }\le {\mathfrak{w}}_{\ast },{\mathfrak{X}}^{\ast }<w^{\ast }$.

Moore [41] initially proposed the concept of Riemann integral for I-V-F, which is defined as follows:

Theorem 1

[41]. If $\mathfrak{S}:\left[\mu ,\nu \right]\subset ℝ\to {\mathcal{K}}_C$ is an I-V-F on such that $\mathfrak{S}(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }(\mathfrak{𝒾}), {\mathfrak{S}}^{\ast }(\mathfrak{𝒾})\right].$ Then $\mathfrak{S}$ is Riemann integrable over $\left[\mu ,\nu \right]$ if and only if, ${\mathfrak{S}}_{\ast }$ and ${\mathfrak{S}}^{\ast }$ both are Riemann integrable over $\left[\mu ,\nu \right]$ such that

$$\left(IR\right){{\displaystyle \int }}_{\mu }^{\nu }\mathfrak{S}(\mathfrak{𝒾})d\mathfrak{𝒾}=\left[\left(R\right){{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }(\mathfrak{𝒾})d\mathfrak{𝒾}, \left(R\right){{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }(\mathfrak{𝒾})d\mathfrak{𝒾}\right]$$

(3)

Let$\mathfrak{X}\in {\mathbb{F}}_0$be a real fuzzy number, if and only if$\phi$-cuts${\left[\mathfrak{X}\right]}^{\phi }$is a nonempty compact convex set of$ℝ$. This is represented by

$${\left[\mathfrak{X}\right]}^{\phi }=\left\{\mathfrak{𝒾}\in ℝ| \mathfrak{X}(\mathfrak{𝒾})\ge \phi \right\},$$

From these definitions, we have

$${\left[\mathfrak{X}\right]}^{\phi }=\left[{\mathfrak{X}}_{\ast }\left(\phi \right), {\mathfrak{X}}^{\ast }\left(\phi \right)\right],$$

where

$${\mathfrak{X}}_{\ast }\left(\phi \right)=inf\left\{\mathfrak{𝒾}\in ℝ| \mathfrak{X}(\mathfrak{𝒾})\ge \phi \right\},$$

$${\mathfrak{X}}^{\ast }\left(\phi \right)=sup\left\{\mathfrak{𝒾}\in ℝ| \mathfrak{X}(\mathfrak{𝒾})\ge \phi \right\}.$$

Proposition 1

[51]. Let $\mathfrak{X},\mathfrak{w}\in {\mathbb{F}}_0$. Then fuzzy order relation $“\preccurlyeq \text{”}$ is given on ${\mathbb{F}}_0$ by

$$\mathfrak{X}\preccurlyeq \mathfrak{w}\mathrm{if}\mathrm{and}\mathrm{only}\mathrm{if},{\left[\mathfrak{X}\right]}^{\phi }{\le }_I{\left[\mathfrak{w}\right]}^{\phi }\mathrm{for}\mathrm{all}\phi \in \left(0, 1\right],$$

(4)

It is a partial order relation.

We now use mathematical operations to examine some of the characteristics of fuzzy numbers. Let $\mathfrak{X},\mathfrak{w}\in {\mathbb{F}}_0$ and $\rho \in ℝ$, then we have

$${\left[\mathfrak{X}\widetilde{+}\mathfrak{w}\right]}^{\phi }={\left[\mathfrak{X}\right]}^{\phi }+{\left[\mathfrak{w}\right]}^{\phi },$$

(5)

$${\left[\mathfrak{X}\tilde{\times }\mathfrak{w}\right]}^{\phi }={\left[\mathfrak{X}\right]}^{\phi }\times {\left[\mathfrak{w}\right]}^{\phi },$$

(6)

$${\left[\rho .\mathfrak{X}\right]}^{\phi }=\rho .{\left[\mathfrak{X}\right]}^{\phi }$$

(7)

Definition 1

[49]. A fuzzy number valued map $\tilde{\mathfrak{S}}:K\subset ℝ\to {\mathbb{F}}_0$ is called F-NV-F. For each $\phi \in \left(0, 1\right]$ whose $\phi$-cuts define the family of I-V-Fs ${\mathfrak{S}}_{\phi }:K\subset ℝ\to {\mathcal{K}}_C$ are given by ${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$ for all $\mathfrak{𝒾}\in K.$ Here, for each $\phi \in \left(0, 1\right]$ the end point real functions ${\mathfrak{S}}_{\ast }\left(.,\phi \right), {\mathfrak{S}}^{\ast }\left(.,\phi \right):K\to ℝ$ are called lower and upper functions of $\tilde{\mathfrak{S}}$.

Definition 2

[49]. Let $\tilde{\mathfrak{S}}:\left[\mu , \nu \right]\subset ℝ\to {\mathbb{F}}_0$ be an F-NV-F. Then fuzzy integral of $\tilde{\mathfrak{S}}$ over $\left[\mu , \nu \right],$ denoted by $\left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\tilde{\mathfrak{S}}(\mathfrak{𝒾})d\mathfrak{𝒾}$, is given levelwise by

$${\left[\left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\tilde{\mathfrak{S}}(\mathfrak{𝒾})d\mathfrak{𝒾}\right]}^{\begin{array}{c} \\ \phi \end{array}}=\left(IR\right){{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\phi }(\mathfrak{𝒾})d\mathfrak{𝒾}=\left\{{{\displaystyle \int }}_{\mu }^{\nu }\mathfrak{S}\left(\mathfrak{𝒾},\phi \right)d\mathfrak{𝒾}:\mathfrak{S}\left(\mathfrak{𝒾},\phi \right)\in {ℛ}_{\left(\left[\mu , \nu \right], \phi \right)}\right\},$$

(8)

for all $\phi \in \left(0, 1\right],$ where ${ℛ}_{\left(\left[\mu , \nu \right], \phi \right)}$ denotes the collection of Riemannian integrable functions of I-V-Fs. $\tilde{\mathfrak{S}}$ is $FR$-integrable over $\left[\mu , \nu \right]$ if $\left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\tilde{\mathfrak{S}}(\mathfrak{𝒾})d\mathfrak{𝒾}\in {\mathbb{F}}_0.$ Note that, if ${\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)$ are Lebesgue-integrable, then $\mathfrak{S}$ is a fuzzy Aumann-integrable function over $\left[\mu , \nu \right]$.

Theorem 2

[49]. Let $\tilde{\mathfrak{S}}:\left[\mu , \nu \right]\subset ℝ\to {\mathbb{F}}_0$ be a F-NV-F whose $\phi$-cuts define the family of I-V-Fs ${\mathfrak{S}}_{\phi }:\left[\mu , \nu \right]\subset ℝ\to {\mathcal{K}}_C$ are given by ${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$ for all $\mathfrak{𝒾}\in \left[\mu , \nu \right]$ and for all $\phi \in \left(0, 1\right].$ Then $\tilde{\mathfrak{S}}$ is $FR$-integrable over $\left[\mu , \nu \right]$ if and only if ${\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)$ and ${\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)$ both are $R$-integrable over $\left[\mu , \nu \right]$. Moreover, if $\tilde{\mathfrak{S}}$ is $FR$-integrable over $\left[\mu , \nu \right],$ then

$$\begin{gathered} {\left[\left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\tilde{\mathfrak{S}}(\mathfrak{𝒾})d\mathfrak{𝒾}\right]}^{\begin{array}{c} \\ \phi \end{array}}=\left[\left(R\right){{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)d\mathfrak{𝒾}, \left(R\right){{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)d\mathfrak{𝒾}\right] \\ =\left(IR\right){{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\phi }(\mathfrak{𝒾})d\mathfrak{𝒾} \end{gathered}$$

(9)

for all $\phi \in \left(0, 1\right].$ For all $\phi \in \left(0, 1\right],$ $ℱ{ℛ}_{\left(\left[\mu , \nu \right], \phi \right)}$ denotes the collection of all $FR$-integrable F-NV-Fs over $\left[\mu , \nu \right]$.

Definition 3

[34]. A set $K=\left[\mu ,\upsilon \right]\subset {ℝ}^{+}=\left(0,\infty \right)$ is said to be a convex set, if, for all $\mathfrak{𝒾}, \mathfrak{𝓳}\in K, \xi \in \left[0, 1\right]$, we have

$$\frac{\mathfrak{𝒾}\mathfrak{𝓳}}{\xi \mathfrak{𝒾}+\left(1-\xi \right)\mathfrak{𝓳}}\in K.$$

(10)

Definition 4

[34]. The $\mathfrak{S}:\left[\mu , \upsilon \right]\to {ℝ}^{+}$ is called a harmonically convex function on $\left[\mu , \upsilon \right]$ if

$$\mathfrak{S}\left( \frac{\mathfrak{𝒾}\mathfrak{𝓳}}{\xi \mathfrak{𝒾}+\left(1-\xi \right)\mathfrak{𝓳}}\right)\le \left(1-\xi \right)\mathfrak{S}(\mathfrak{𝒾})+\xi \mathfrak{S}(\mathfrak{𝓳}),$$

(11)

for all $\mathfrak{𝒾}, \mathfrak{𝓳}\in \left[\mu , \upsilon \right], \xi \in \left[0, 1\right],$ where $\mathfrak{S}(\mathfrak{𝒾})\ge 0$ for all $\mathfrak{𝒾}\in \left[\mu , \upsilon \right].$ If (11) is reversed then, $\mathfrak{S}$ is called a harmonically concave function on $\left[\mu , \upsilon \right]$.

Definition 5

[36]. The positive real-valued function $\mathfrak{S}:\left[\mu , \upsilon \right]\to {ℝ}^{+}$ is called a harmonically $s$-convex function in the second sense on $\left[\mu , \upsilon \right]$ if

$$\mathfrak{S}\left( \frac{\mathfrak{𝒾}\mathfrak{𝓳}}{\xi \mathfrak{𝒾}+\left(1-\xi \right)\mathfrak{𝓳}}\right)\le {\left(1-\xi \right)}^s\mathfrak{S}(\mathfrak{𝒾})+{\xi }^s\mathfrak{S}(\mathfrak{𝓳}),$$

(12)

for all $\mathfrak{𝒾}, \mathfrak{𝓳}\in \left[\mu , \upsilon \right], \xi \in \left[0, 1\right],$ where $\mathfrak{S}(\mathfrak{𝒾})\ge 0$ for all $\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$ and $s\in \left[0, 1\right]$. If (12) is reversed then, $\mathfrak{S}$ is called a harmonically $s$-concave function in the second sense on $\left[\mu , \upsilon \right]$. The set of all harmonically $s$-convex (harmonically $s$-concave) functions is denoted by

$$HSX\left(\left[\mu , \upsilon \right], {ℝ}^{+},s\right) \left(HSV\left(\left[\mu , \upsilon \right], {ℝ}^{+}, s\right)\right).$$

Definition 6

[36]. The F-NV-F $\tilde{\mathfrak{S}}:\left[\mu , \upsilon \right]\to {\mathbb{F}}_0$ is called convex F-NV-F in the second sense on $\left[\mu , \upsilon \right]$ if

$$\tilde{\mathfrak{S}}\left(\left(1-\xi \right)\mathfrak{𝒾}+\xi \mathfrak{𝓳}\right)\preccurlyeq \left(1-\xi \right)\tilde{\mathfrak{S}}(\mathfrak{𝒾})\widetilde{+}\xi \tilde{\mathfrak{S}}(\mathfrak{𝓳}),$$

(13)

for all $\mathfrak{𝒾}, \mathfrak{𝓳}\in \left[\mu , \upsilon \right], \xi \in \left[0, 1\right],$ where $\mathfrak{S}(\mathfrak{𝒾})\ge 0$ for all $\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$ and $s\in \left[0, 1\right]$. If (13) is reversed then, $\tilde{\mathfrak{S}}$ is called concave F-NV-F on $\left[\mu , \upsilon \right]$. The set of all convex (concave) F-NV-Fs is denoted by

$$FSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0,s\right) \left(FSV\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)\right).$$

Definition 7

[39]. The F-NV-F $\tilde{\mathfrak{S}}:\left[\mu , \upsilon \right]\to {\mathbb{F}}_0$ is called harmonically convex F-NV-F on $\left[\mu , \upsilon \right]$ if

$$\tilde{\mathfrak{S}}\left( \frac{\mathfrak{𝒾}\mathfrak{𝓳}}{\xi \mathfrak{𝒾}+\left(1-\xi \right)\mathfrak{𝓳}}\right)\preccurlyeq \left(1-\xi \right)\tilde{\mathfrak{S}}(\mathfrak{𝒾})\widetilde{+}\xi \tilde{\mathfrak{S}}(\mathfrak{𝓳}),$$

(14)

for all $\mathfrak{𝒾}, \mathfrak{𝓳}\in \left[\mu , \upsilon \right], \xi \in \left[0, 1\right],$ where $\tilde{\mathfrak{S}}(\mathfrak{𝒾})\succcurlyeq \tilde{0}$, for all $\mathfrak{𝓳}\in \left[\mu , \upsilon \right].$ If (14) is reversed then, $\tilde{\mathfrak{S}}$ is called harmonically concave F-NV-F on $\left[\mu , \upsilon \right]$.

Definition 8.

The F-NV-F $\tilde{\mathfrak{S}}:\left[\mu , \upsilon \right]\to {\mathbb{F}}_0$ is called harmonically $s$-convex F-NV-F in the second sense on $\left[\mu , \upsilon \right]$ if

$$\tilde{\mathfrak{S}}\left( \frac{\mathfrak{𝒾}\mathfrak{𝓳}}{\xi \mathfrak{𝒾}+\left(1-\xi \right)\mathfrak{𝓳}}\right)\preccurlyeq {\left(1-\xi \right)}^s\tilde{\mathfrak{S}}(\mathfrak{𝒾})\widetilde{+}{\xi }^s\tilde{\mathfrak{S}}(\mathfrak{𝓳}),$$

(15)

for all $\mathfrak{𝒾}, \mathfrak{𝓳}\in \left[\mu , \upsilon \right], \xi \in \left[0, 1\right],$ where $\tilde{\mathfrak{S}}(\mathfrak{𝒾})\succcurlyeq \tilde{0}$, for all $\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$ and $s\in \left[0, 1\right]$. If (15) is reversed, then $\tilde{\mathfrak{S}}$ is called harmonically $s$-concave F-NV-F in the second sense on $\left[\mu , \upsilon \right]$. The set of all harmonically $s$-convex (harmonically $s$-concave) F-NV-F is denoted by

$$HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right) \left(HFSV\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)\right).$$

Theorem 3.

Let$\left[\mu , \upsilon \right]$be a harmonically convex set, and let$\tilde{\mathfrak{S}}:\left[\mu , \upsilon \right]\to {\mathbb{F}}_C(ℝ)$be a F-NV-F, whose$\phi$-cuts define the family of I-V-Fs${\mathfrak{S}}_{\phi }:\left[\mu , \upsilon \right]\subset ℝ\to {\mathcal{K}}_C^{+}\subset {\mathcal{K}}_C$are given by

$${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right], \forall \mathfrak{𝒾}\in \left[\mu , \upsilon \right].$$

(16)

for all$\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$,$\phi \in \left[0, 1\right]$. Then$\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right),$if and only if, for all$\in \left[0, 1\right],$ ${\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)$,${\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)\in HSX\left(\left[\mu , \upsilon \right], {ℝ}^{+},s\right).$

Proof. 

The proof is similar to the proof of Theorem 2.13, see [39]. □

Example 1.

We consider the F-NV-Fs $\tilde{\mathfrak{S}}:\left[0, 2\right]\to {\mathbb{F}}_C(ℝ)$ defined by

$$\tilde{\mathfrak{S}}(\mathfrak{𝒾})(\partial )=\{\begin{array}{c}\frac{\begin{array}{c}\partial \end{array}}{\sqrt{\mathfrak{𝒾}}} \partial \in \left[0, \sqrt{\mathfrak{𝒾}}\right]\\ \frac{2-\partial }{2\sqrt{\mathfrak{𝒾}}} \partial \in \left(\sqrt{\mathfrak{𝒾}}, 2\sqrt{\mathfrak{𝒾}}\right] \\ 0 \mathrm{otherwise},\end{array}$$

Then, for each $\phi \in \left[0,1\right],$ we have ${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[\phi \sqrt{\mathfrak{𝒾}},\left(2-\phi \right)\sqrt{\mathfrak{𝒾}}\right]$. Since ${\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)$, ${\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)$ $\in HSX\left(\left[\mu ,\upsilon \right],{ℝ}^{+},s\right)$ with $s=1$, for each $\phi \in \left[0,1\right]$. Hence $\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu ,\upsilon \right],{\mathbb{F}}_0,s\right)$.

Remark 2.

If $s=1$, then Definition 8 reduces to the Definition 7.

If ${\mathfrak{S}}_{\ast }\left(\mu , \phi \right)={\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)$ with $\phi =1$, then harmonically $s$-convex F-NV-F in the second sense reduces to the classical harmonically $s$-convex function in the second sense, see [36].

If ${\mathfrak{S}}_{\ast }\left(\mu , \phi \right)={\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)$ with $\phi =1$ and $s=1$, then harmonically $s$-convex F-NV-F in the second sense reduces to the classical harmonically convex function, see [34].

If ${\mathfrak{S}}_{\ast }\left(\mu , \phi \right)={\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)$ with $\phi =1$ and $s=0$ then harmonically $s$-convex F-NV-F in the second sense reduces to the classical harmonical $P$-convex function, see [36].

3. Fuzzy Hermite–Hadamard Inequalities

Two different sorts of inequalities are proven in this section. The first is H.H and their different forms, and the second is H.H. Fejér inequalities for convex F-NV-Fs with F-NV-Fs as the integrands.

Theorem 4.

Let$\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, whose$\phi$-cuts define the family of I-V-Fs${\mathfrak{S}}_{\phi }:\left[\mu , \upsilon \right]\subset ℝ\to {\mathcal{K}}_C^{+}$are given by${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$for all$\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$,$\phi \in \left[0, 1\right]$. If$\tilde{\mathfrak{S}}\in ℱ{ℛ}_{\left(\left[\mu , \upsilon \right], \phi \right)}$, then

$$2^{s-1}\tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \frac{\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)}{1+s}$$

(17)

If$\tilde{\mathfrak{S}}\in HFSV\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, then

$$2^{s-1}\tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\succcurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }{{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\succcurlyeq \frac{\tilde{\mathfrak{S}}\left(\mu \right)\widetilde{+}\tilde{\mathfrak{S}}\left(\upsilon \right)}{1+s}$$

(18)

Proof. 

Let $\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$. Then, by hypothesis, we have

$$2^s\tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq \tilde{\mathfrak{S}}\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)\widetilde{+}\tilde{\mathfrak{S}}\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }\right).$$

Therefore, for each $\phi \in \left[0, 1\right]$, we have

$$\begin{array}{c}{2}^s{\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\le {\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)+{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right), \\ 2^s{\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\le {\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)+{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon },\phi \right).\end{array}$$

Then

$$\begin{array}{c}{2}^s{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)d\xi \le {{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon },\phi \right)d\xi +{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)d\xi ,\\ 2^s{{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)d\xi \le {{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)d\xi +{{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon },\phi \right)d\xi .\end{array}$$

It follows that

$$\begin{array}{c}{2}^{s-1}{\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\upsilon }\frac{{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾},\\ 2^{s-1}{\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\upsilon }\frac{{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}.\end{array}$$

that is

$$2^{s-1}\left[{\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right), {\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\right]{\le }_I\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }\left[{{\displaystyle \int }}_{\mu }^{\upsilon }\frac{{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}, {{\displaystyle \int }}_{\mu }^{\upsilon }\frac{{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\right].$$

Thus,

$$2^{s-1} \tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}.$$

(19)

In a similar way as above, we have

$$\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \frac{\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)}{s+1}.$$

(20)

Combining (19) and (20), we have

$$2^{s-1}\tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }{{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \frac{\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)}{s+1}$$

Hence, the required result. □

Remark 3.

If $s=1$, then from (17) we acquire the following inequality, see [39]:

$$\tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \frac{\tilde{\mathfrak{S}}\left(\mu \right)\widetilde{+}\tilde{\mathfrak{S}}\left(\upsilon \right)}{2}.$$

If $s\equiv 0$, then from (17) we acquire the following inequality, see [36]:

$$\frac{1}{2}\tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \tilde{\mathfrak{S}}\left(\mu \right)\widetilde{+}\tilde{\mathfrak{S}}\left(\upsilon \right).$$

If ${\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)={\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)$ with $\phi =1$, then from (17) we achieve the following inequality, see [36]:

$$2^{s-1}\mathfrak{S}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(R\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\mathfrak{S}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\le \frac{1}{s+1}\left[\mathfrak{S}\left(\mu \right)+\mathfrak{S}\left(\upsilon \right)\right].$$

If ${\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)={\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)$ with $\phi =1$ and $s=1$, then from (17) we acquire the following inequality, see [34]:

$$\mathfrak{S}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(R\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\mathfrak{S}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\le \frac{\mathfrak{S}\left(\mu \right)+\mathfrak{S}\left(\upsilon \right)}{2}.$$

If ${\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)={\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)$ with $\phi =1$ and $s=0$, then from (17) we achieve the following inequality, see [36]:

$$\frac{1}{2}\mathfrak{S}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(R\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\mathfrak{S}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\le \mathfrak{S}\left(\mu \right)+\mathfrak{S}\left(\upsilon \right).$$

Theorem 5.

Let$\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, whose$\phi$-cuts define the family of I-V-Fs${\mathfrak{S}}_{\phi }:\left[\mu , \upsilon \right]\subset ℝ\to {\mathcal{K}}_C^{+}$are given by${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$for all$\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$,$\phi \in \left[0, 1\right]$. If$\tilde{\mathfrak{S}}\in ℱ{ℛ}_{\left(\left[\mu , \upsilon \right], \phi \right)}$, then

$$4^{s-1} \tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq {⪧}_2\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq {⪧}_1\preccurlyeq \frac{1}{s+1}\left[\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)\right]\left[\frac{1}{2}+\frac{1}{2^s}\right],$$

(21)

where

$${⪧}_1=\frac{1}{s+1}\left[\frac{\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)}{2} \widetilde{+} \tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\right],$$

$${⪧}_2=2^{s-2}\left[\tilde{\mathfrak{S}}\left(\frac{4\mu \upsilon }{\mu +3\upsilon }\right) \widetilde{+} \tilde{\mathfrak{S}}\left(\frac{4\mu \upsilon }{3\mu +\upsilon }\right)\right],$$

and

$${⪧}_1=\left[{⪧}_1{}_{\ast }, {⪧}_1{}^{\ast }\right],{⪧}_2=\left[{⪧}_2{}_{\ast }, {⪧}_2{}^{\ast }\right].$$

If$\tilde{\mathfrak{S}}\in HFSV\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, then inequality (21) is reversed.

Proof. 

Take $\left[\mu , \frac{2\mu \upsilon }{\mu +\upsilon }\right],$ we have

$$2^s\tilde{\mathfrak{S}}\left(\frac{\mu \frac{4\mu \upsilon }{\mu +\upsilon }}{\xi \mu +\left(1-\xi \right)\frac{2\mu \upsilon }{\mu +\upsilon }}+\frac{\mu \frac{4\mu \upsilon }{\mu +\upsilon }}{\left(1-\xi \right)\mu +\xi \frac{2\mu \upsilon }{\mu +\upsilon }}\right)\preccurlyeq \tilde{\mathfrak{S}}\left(\frac{\mu \frac{2\mu \upsilon }{\mu +\upsilon }}{\xi \mu +\left(1-\xi \right)\frac{2\mu \upsilon }{\mu +\upsilon }} \right)\widetilde{+}\tilde{\mathfrak{S}}\left(\frac{\mu \frac{2\mu \upsilon }{\mu +\upsilon }}{\left(1-\xi \right)\mu +\xi \frac{2\mu \upsilon }{\mu +\upsilon }}\right).$$

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

$$\begin{array}{c}{2}^s{\mathfrak{S}}_{\ast }\left(\frac{\mu \frac{4\mu \upsilon }{\mu +\upsilon }}{\xi \mu +\left(1-\xi \right)\frac{2\mu \upsilon }{\mu +\upsilon }}+\frac{\mu \frac{4\mu \upsilon }{\mu +\upsilon }}{\left(1-\xi \right)\mu +\xi \frac{2\mu \upsilon }{\mu +\upsilon }}, \phi \right)\le {\mathfrak{S}}_{\ast }\left(\frac{\mu \frac{2\mu \upsilon }{\mu +\upsilon }}{\xi \mu +\left(1-\xi \right)\frac{2\mu \upsilon }{\mu +\upsilon }}, \phi \right)+{\mathfrak{S}}_{\ast }\left(\frac{\mu \frac{2\mu \upsilon }{\mu +\upsilon }}{\left(1-\xi \right)\mu +\xi \frac{2\mu \upsilon }{\mu +\upsilon }}, \phi \right),\\ 2^s{\mathfrak{S}}^{\ast }\left(\frac{\mu \frac{4\mu \upsilon }{\mu +\upsilon }}{\xi \mu +\left(1-\xi \right)\frac{2\mu \upsilon }{\mu +\upsilon }}+\frac{\mu \frac{4\mu \upsilon }{\mu +\upsilon }}{\left(1-\xi \right)\mu +\xi \frac{2\mu \upsilon }{\mu +\upsilon }}, \phi \right)\le {\mathfrak{S}}^{\ast }\left(\frac{\mu \frac{2\mu \upsilon }{\mu +\upsilon }}{\xi \mu +\left(1-\xi \right)\frac{2\mu \upsilon }{\mu +\upsilon }}, \phi \right)+{\mathfrak{S}}^{\ast }\left(\frac{\mu \frac{2\mu \upsilon }{\mu +\upsilon }}{\left(1-\xi \right)\mu +\xi \frac{2\mu \upsilon }{\mu +\upsilon }}, \phi \right).\end{array}$$

In consequence, we obtain

$$\begin{array}{c}{2}^{s-2}{\mathfrak{S}}_{\ast }\left(\frac{4\mu \upsilon }{\mu +3\upsilon }, \phi \right)\le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\frac{2\mu \upsilon }{\mu +\upsilon }}\frac{{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾},\\ 2^{s-2}{\mathfrak{S}}^{\ast }\left(\frac{4\mu \upsilon }{\mu +3\upsilon }, \phi \right)\le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\frac{2\mu \upsilon }{\mu +\upsilon }}\frac{{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}.\end{array}$$

that is

$$2^{s-2}\left[{\mathfrak{S}}_{\ast }\left(\frac{4\mu \upsilon }{\mu +3\upsilon }, \phi \right), {\mathfrak{S}}^{\ast }\left(\frac{4\mu \upsilon }{\mu +3\upsilon }, \phi \right)\right]{\le }_I\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }\left[{{\displaystyle \int }}_{\mu }^{\frac{2\mu \upsilon }{\mu +\upsilon }}\frac{{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}, {{\displaystyle \int }}_{\mu }^{\frac{2\mu \upsilon }{\mu +\upsilon }}\frac{{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\right].$$

It follows that

$$2^{s-2}\tilde{\mathfrak{S}}\left(\frac{4\mu \upsilon }{\mu +3\upsilon }\right)\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\frac{2\mu \upsilon }{\mu +\upsilon }}\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}.$$

(22)

In a similar way as above, we have

$$2^{s-2}\tilde{\mathfrak{S}}\left(\frac{4\mu \upsilon }{3\mu +\upsilon }\right)\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\frac{2\mu \upsilon }{\mu +\upsilon }}^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}.$$

(23)

Combining (22) and (23), we have

$$2^{s-2}\left[\tilde{\mathfrak{S}}\left(\frac{4\mu \upsilon }{\mu +3\upsilon }\right)\widetilde{+}\tilde{\mathfrak{S}}\left(\frac{4\mu \upsilon }{3\mu +\upsilon }\right)\right]\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}.$$

(24)

Therefore, for every $\phi \in \left[0, 1\right]$, by using Theorem 4, we have

$$\begin{array}{c}{4}^{s-1}{\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\le 4^{s-1} \left[\frac{1}{2^s}{\mathfrak{S}}_{\ast }\left(\frac{4\mu \upsilon }{\mu +3\upsilon }, \phi \right)+\frac{1}{2^s}{\mathfrak{S}}_{\ast }\left(\frac{4\mu \upsilon }{3\mu +\upsilon }, \phi \right)\right],\\ 4^{s-1}{\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\le 4^{s-1}\left[\frac{1}{2^s}{\mathfrak{S}}^{\ast }\left(\frac{4\mu \upsilon }{\mu +3\upsilon }, \phi \right)+\frac{1}{2^s}{\mathfrak{S}}^{\ast }\left(\frac{4\mu \upsilon }{3\mu +\upsilon }, \phi \right)\right],\\ ={⪧}_2{}_{\ast },\\ ={⪧}_2{}^{\ast },\\ \le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\begin{array}{c} \\ \upsilon \end{array}}\frac{{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}, \\ \le \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } {{\displaystyle \int }}_{\mu }^{\upsilon }\frac{{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾},\\ \le \frac{1}{s+1}\left[\frac{{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)}{2}+{\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\right], \\ \le \frac{1}{s+1}\left[\frac{{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)}{2}+{\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon }, \phi \right)\right],\\ ={⪧}_1{}_{\ast },\\ ={⪧}_1{}^{\ast },\\ \le \frac{1}{s+1}\left[\frac{{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)}{2}+\frac{1}{2^s}\left({\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\right)\right], \\ \le \frac{1}{s+1}\left[\frac{{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)}{2}+\frac{1}{2^s}\left({\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)\right)\right],\\ =\frac{1}{s+1}\left[{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\right]\left[\frac{1}{2}+\frac{1}{2^s}\right], \\ =\frac{1}{s+1}\left[{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)\right]\left[\frac{1}{2}+\frac{1}{2^s}\right],\end{array}$$

that is

$$4^{s-1} \tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\preccurlyeq {⪧}_2\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq {⪧}_1\preccurlyeq \frac{1}{s+1}\left[\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)\right]\left[\frac{1}{2}+\frac{1}{2^s}\right]$$

□

Theorem 6.

Let$\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$and$\tilde{\mathcal{Q}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, whose$\phi$-cuts${\mathfrak{S}}_{\phi }, {\mathcal{Q}}_{\phi }:\left[\mu , \upsilon \right]\subset ℝ\to {\mathcal{K}}_C^{+}$are defined by${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$and${\mathcal{Q}}_{\phi }(\mathfrak{𝒾})=\left[{\mathcal{Q}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathcal{Q}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$for all$\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$,$\phi \in \left[0, 1\right]$, respectively. If$\tilde{\mathfrak{S}}\tilde{\times }\tilde{\mathcal{Q}}\in ℱ{ℛ}_{\left(\left[\mu , \upsilon \right], \phi \right)}$, then

$$\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon } \frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})\tilde{\times }\tilde{\mathcal{Q}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \tilde{\Lambda }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi \widetilde{+} \tilde{\partial }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi ,$$

where$\tilde{\Lambda }\left(\mu ,\upsilon \right)=\tilde{\mathfrak{S}}\left(\mu \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\upsilon \right),$ $\tilde{\partial }\left(\mu ,\upsilon \right)=\tilde{\mathfrak{S}}\left(\mu \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\upsilon \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\mu \right),$and${\Lambda }_{\phi }\left(\mu ,\upsilon \right)=\left[{\Lambda }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right), {\Lambda }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\right]$and${\partial }_{\phi }\left(\mu ,\upsilon \right)=\left[{\partial }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right), {\partial }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\right]$.

Proof. 

Since $\tilde{\mathfrak{S}}, \tilde{\mathcal{Q}}$ are harmonically $s$-convex F-NV-Fs, then for each, we have

$$\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\le {\xi }^s{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right), \\ {\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\le {\xi }^s{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right). \end{array}$$

and

$$\begin{array}{c}{\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\le {\xi }^s{\mathcal{Q}}_{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right), \\ {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\le {\xi }^s{\mathcal{Q}}^{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right). \end{array}$$

From the definition of harmonically $s$-convexity of F-NV-Fs, it follows that $\tilde{\mathfrak{S}}(\mathfrak{𝒾})\succcurlyeq \tilde{0}$ and $\tilde{\mathcal{Q}}(\mathfrak{𝒾})\succcurlyeq \tilde{0}$, so

$$\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le \left({\xi }^s{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\right)\left({\xi }^s{\mathcal{Q}}_{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right)\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}={\mathfrak{S}}_{\ast }\left(\mu , \phi \right)\times {\mathcal{Q}}_{\ast }\left(\mu , \phi \right)\left[{\xi }^s\cdot {\xi }^s\right]+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right)\left[{\left(1-\xi \right)}^s{\left(1-\xi \right)}^s\right]\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+{\mathfrak{S}}_{\ast }\left(\mu , \phi \right){\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right){\xi }^s{\left(1-\xi \right)}^s+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}_{\ast }\left(\mu , \phi \right){\left(1-\xi \right)}^s\cdot {\xi }^s,\hfill \\ {\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le \left({\xi }^s{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)\right)\left({\xi }^s{\mathcal{Q}}^{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right)\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}={\mathfrak{S}}^{\ast }\left(\mu , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\mu , \phi \right)\left[{\xi }^s\cdot {\xi }^s\right]+{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right)\left[{\left(1-\xi \right)}^s{\left(1-\xi \right)}^s\right]\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right){\xi }^s{\left(1-\xi \right)}^s+{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\mu , \phi \right){\left(1-\xi \right)}^s{\xi }^s.\hfill \end{array}$$

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

$$\begin{array}{c}{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)=\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }{{\displaystyle \int }}_{\mu }^{\upsilon }\frac{{\mathfrak{S}}_{\ast }\left(𝒾, \phi \right)\times {\mathcal{Q}}_{\ast }\left(𝒾, \phi \right)}{{𝒾}^2}d𝒾\\ \le \left({\mathfrak{S}}_{\ast }\left(\mu , \phi \right)\times {\mathcal{Q}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right)\right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi \\ +\left({\mathfrak{S}}_{\ast }\left(\mu , \phi \right)\times {\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}_{\ast }\left(\mu , \phi \right)\right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi , \\ {{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)=\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }{{\displaystyle \int }}_{\mu }^{\upsilon }\frac{{\mathfrak{S}}^{\ast }\left(𝒾, \phi \right)\times {\mathcal{Q}}^{\ast }\left(𝒾, \phi \right)}{{𝒾}^2}d𝒾\\ \le \left({\mathfrak{S}}^{\ast }\left(\mu , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right)\right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi \\ +\left({\mathfrak{S}}_{\ast }\left(\mu , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right)+{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\times {\mathcal{Q}}^{\ast }\left(\mu , \phi \right)\right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi .\end{array}$$

It follows that

$$\begin{array}{c}\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }{{\displaystyle \int }}_{\mu }^{\upsilon }{\mathfrak{S}}_{\ast }\left(𝒾, \phi \right)\times {\mathcal{Q}}_{\ast }\left(𝒾, \phi \right)d𝒾\le {\Lambda }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+{\partial }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi , \\ \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu }{{\displaystyle \int }}_{\mu }^{\upsilon }{\mathfrak{S}}^{\ast }\left(𝒾, \phi \right)\times {\mathcal{Q}}^{\ast }\left(𝒾, \phi \right)d𝒾\le {\Lambda }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+{\partial }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi , \end{array}$$

that is

$$\begin{array}{c}\frac{\mu \upsilon }{\upsilon -\mu }\left[{{\displaystyle \int }}_{\mu }^{\upsilon }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\mathfrak{𝒾}, \phi \right)d\mathfrak{𝒾}, {{\displaystyle \int }}_{\mu }^{\upsilon }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)d\mathfrak{𝒾}\right]\\ {\le }_I\left[{\Lambda }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right), {\Lambda }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\right]{{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi \\ +\left[{\partial }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right), {\partial }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\right]{{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi .\end{array}$$

Thus,

$$\frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon } \frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})\tilde{\times }\tilde{\mathcal{Q}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \tilde{\Lambda }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi \widetilde{+} \tilde{\partial }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi .$$

□

Theorem 7.

Let$\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$,$\tilde{\mathcal{Q}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, whose$\phi$-cuts${\mathfrak{S}}_{\phi }, {\mathcal{Q}}_{\phi }:\left[\mu , \upsilon \right]\subset ℝ\to {\mathcal{K}}_C^{+}$are defined by${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$and${\mathcal{Q}}_{\phi }(\mathfrak{𝒾})=\left[{\mathcal{Q}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathcal{Q}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$for all$\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$,$\phi \in \left[0, 1\right]$, respectively. If$\tilde{\mathfrak{S}}\tilde{\times }\tilde{\mathcal{Q}}\in ℱ{ℛ}_{\left(\left[\mu , \upsilon \right], \phi \right)}$, then

$$2^{2s-1} \tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\tilde{\times }\tilde{\mathcal{Q}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)$$

$$\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon } \frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})\tilde{\times }\tilde{\mathcal{Q}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}+\tilde{\Lambda }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi \widetilde{+} \tilde{\partial }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi ,$$

where$\tilde{\Lambda }\left(\mu ,\upsilon \right)=\tilde{\mathfrak{S}}\left(\mu \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\upsilon \right),$ $\tilde{\partial }\left(\mu ,\upsilon \right)=\tilde{\mathfrak{S}}\left(\mu \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\upsilon \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\upsilon \right)\tilde{\times }\tilde{\mathcal{Q}}\left(\mu \right),$and${\Lambda }_{\phi }\left(\mu ,\upsilon \right)=\left[{\Lambda }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right), {\Lambda }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\right]$and${\partial }_{\phi }\left(\mu ,\upsilon \right)=\left[{\partial }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right), {\partial }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\right]$.

Proof. 

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

$$\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right) \\ {\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)\end{array}$$

$$\begin{array}{c}\le 2^{2s}\left[\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right]\\ +2^{2s}\left[\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\end{array}\right],\\ \le 2^{2s}\left[\begin{array}{c}{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right]\\ +2^{2s}\left[\begin{array}{c}{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\end{array}\right],\\ \le 2^{2s}\left[\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right]\\ +2^{2s}\left[\begin{array}{c}\left({\xi }^s{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\right)\\ \times \left({\left(1-\xi \right)}^s{\mathcal{Q}}_{\ast }\left(\mu , \phi \right)+{\xi }^s{\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right)\right)\\ +\left({\left(1-\xi \right)}^s{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\xi }^s{\mathfrak{S}}_{\ast }\left(\upsilon , \phi \right)\right)\\ \times \left({\xi }^s{\mathcal{Q}}_{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathcal{Q}}_{\ast }\left(\upsilon , \phi \right)\right)\end{array}\right],\\ \le 2^{2s}\left[\begin{array}{c}{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon } \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right]\\ +2^{2s}\left[\begin{array}{c}\left({\xi }^s{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)\right)\\ \times \left({\left(1-\xi \right)}^s{\mathcal{Q}}^{\ast }\left(\mu , \phi \right)+{\xi }^s{\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right)\right)\\ +\left({\left(1-\xi \right)}^s{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\xi }^s{\mathfrak{S}}^{\ast }\left(\upsilon , \phi \right)\right)\\ \times \left({\xi }^s{\mathcal{Q}}^{\ast }\left(\mu , \phi \right)+{\left(1-\xi \right)}^s{\mathcal{Q}}^{\ast }\left(\upsilon , \phi \right)\right)\end{array}\right],\\ =2^{2s}\left[\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right]\\ +2^{2s}\left[\begin{array}{c}\left\{{\xi }^s\cdot {\xi }^s+{\left(1-\xi \right)}^s{\left(1-\xi \right)}^s\right\}{\partial }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\\ +\left\{{\xi }^s{\left(1-\xi \right)}^s+{\left(1-\xi \right)}^s{\xi }^s\right\}{\Lambda }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\end{array}\right],\\ =2^{2s}\left[\begin{array}{c}{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\\ +{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right]\\ +2^{2s}\left[\begin{array}{c}\left\{{\xi }^s\cdot {\xi }^s+{\left(1-\xi \right)}^s{\left(1-\xi \right)}^s\right\}{\partial }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\\ +\left\{{\xi }^s{\left(1-\xi \right)}^s+{\left(1-\xi \right)}^s{\xi }^s\right\}{\Lambda }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right)\end{array}\right],\end{array}$$

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

$$\begin{array}{c}{2}^{2s-1} {\mathfrak{S}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)\times {\mathcal{Q}}_{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)\le \frac{1}{\upsilon -\mu } \left(R\right){{\displaystyle \int }}_{\mu }^{\upsilon }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)\times {\mathcal{Q}}_{\ast }\left(\mathfrak{𝒾},\phi \right)d\mathfrak{𝒾}\\ +{\Lambda }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi \\ +{\partial }_{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi ,\\ 2^{2s-1} {\mathfrak{S}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)\times {\mathcal{Q}}^{\ast }\left(\frac{2\mu \upsilon }{\mu +\upsilon },\phi \right)\le \frac{1}{\upsilon -\mu } \left(R\right){{\displaystyle \int }}_{\mu }^{\upsilon }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\times {\mathcal{Q}}^{\ast }\left(\mathfrak{𝒾},\phi \right)d\mathfrak{𝒾} \\ +{\Lambda }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi \\ +{\partial }^{\ast }\left(\left(\mu ,\upsilon \right), \phi \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi ,\end{array}$$

that is

$$\begin{array}{c}{2}^{2s-1} \tilde{\mathfrak{S}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\tilde{\times }\tilde{\mathcal{Q}}\left(\frac{2\mu \upsilon }{\mu +\upsilon }\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\preccurlyeq \frac{\begin{array}{c} \\ \mu \upsilon \end{array}}{\upsilon -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\upsilon } \frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})\tilde{\times }\tilde{\mathcal{Q}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}+\tilde{\Lambda }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s{\left(1-\xi \right)}^{s}d\xi \widetilde{+} \tilde{\partial }\left(\mu ,\upsilon \right){{\displaystyle \int }}_0^1{\xi }^s\cdot {\xi }^{s}d\xi .\hfill \end{array}$$

The theorem has been proved.

The right fuzzy H.H. Fejér inequality, which is connected to the right part of the classical H.H. Fejér inequality for harmonically s-convex F-NV-Fs via fuzzy order relations, is the first inequality we will develop. □

Theorem 8

(Second fuzzy $H.H.$ Fejér inequality). Let $\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, whose $\phi$-cuts define the family of I-V-Fs ${\mathfrak{S}}_{\phi }:\left[\mu , \upsilon \right]\subset ℝ\to {\mathcal{K}}_C^{+}$ are given by ${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$ for all $\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$, $\phi \in \left[0, 1\right]$. If $\tilde{\mathfrak{S}}\in ℱ{ℛ}_{\left(\left[\mu , \upsilon \right], \phi \right)}$ and $\nabla :\left[\mu , \upsilon \right]\to ℝ, \nabla \left(\frac{1}{\frac{1}{\mu }+\frac{1}{\upsilon }-\frac{1}{\mathfrak{𝒾}}}\right)=\nabla (\mathfrak{𝒾})\ge 0,$ then

$$\frac{\mu \upsilon }{\nu -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}\preccurlyeq \left[\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\nu \right)\right]{{\displaystyle \int }}_0^1{\xi }^s\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi .$$

(25)

If $\tilde{\mathfrak{S}}\in HFSV\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, then inequality (25) is reversed.

Proof. 

Let $\mathfrak{S}$ be a $s$-convex F-NV-F. Then, for each $\phi \in \left[0, 1\right],$ we have

$$\begin{array}{l}{\mathfrak{S}}_{\ast }\left(\frac{\mu v}{(1-\xi )\mu +\xi v},\phi \right)\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)\\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le \left({\xi }^s{\mathfrak{S}}_{\ast }(\mu ,\phi )+{(1-\xi )}^s{\mathfrak{S}}_{\ast }(v,\phi )\right)\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right),\\ {\mathfrak{S}}^{\ast }\left(\frac{\mu v}{(1-\xi )\mu +\xi v},\phi \right)\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)\\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le \left({\xi }^s{\mathfrak{S}}^{\ast }(\mu ,\phi )+{(1-\xi )}^s{\mathfrak{S}}^{\ast }(v,\phi )\right)\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right).\end{array}$$

(26)

and

$$\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu v}{\xi \mu +(1-\xi )v},\phi \right)\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le \left({(1-\xi )}^s{\mathfrak{S}}_{\ast }(\mu ,\phi )+{\xi }^s{\mathfrak{S}}_{\ast }(v,\phi )\right)\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right),\hfill \\ {\mathfrak{S}}^{\ast }\left(\frac{\mu v}{\xi \mu +(1-\xi )v},\phi \right)\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le \left({(1-\xi )}^s{\mathfrak{S}}^{\ast }(\mu ,\phi )+{\xi }^s{\mathfrak{S}}^{\ast }(v,\phi )\right)\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right).\hfill \end{array}$$

(27)

After adding (26) and (27), and integrating over $\left[0, 1\right],$ we obtain

$$\begin{array}{c}{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu v}{(1-\xi )\mu +\xi v},\phi \right)\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu v}{\xi \mu +(1-\xi )v},\phi \right)\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le {{\displaystyle \int }}_0^1\left[\begin{array}{c}{\mathfrak{S}}_{\ast }(\mu ,\phi )\left\{\begin{array}{c}{\xi }^s\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)\\ +{(1-\xi )}^s\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)\end{array}\right\}\\ +{\mathfrak{S}}_{\ast }(v,\phi )\left\{\begin{array}{c}{(1-\xi )}^s\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)\\ +{\xi }^s\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)\end{array}\right\}\end{array}\right]d\xi ,\hfill \\ {{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu v}{(1-\xi )\mu +\xi v},\phi \right)\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+{{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu v}{\xi \mu +(1-\xi )v},\phi \right)\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le {{\displaystyle \int }}_0^1\left[\begin{array}{c}{\mathfrak{S}}^{\ast }(\mu ,\phi )\left\{\begin{array}{c}{\xi }^s\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)\\ +{(1-\xi )}^s\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)\end{array}\right\}\\ +{\mathfrak{S}}^{\ast }(v,\phi )\left\{\begin{array}{c}{(1-\xi )}^s\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)\\ +{\xi }^s\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)\end{array}\right\}\end{array}\right]d\xi .\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=2{\mathfrak{S}}_{\ast }(\mu ,\phi ){{\displaystyle \int }}_0^1{\xi }^s\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+2{\mathfrak{S}}_{\ast }(v,\phi ){{\displaystyle \int }}_0^1{\xi }^s\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)d\xi ,\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=2{\mathfrak{S}}^{\ast }(\mu ,\phi ){{\displaystyle \int }}_0^1{\xi }^s\nabla \left(\frac{\mu v}{(1-\xi )\mu +\xi v}\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+2{\mathfrak{S}}^{\ast }(v,\phi ){{\displaystyle \int }}_0^1{\xi }^s\nabla \left(\frac{\mu v}{\xi \mu +(1-\xi )v}\right)d\xi .\hfill \end{array}$$

Since $\nabla$ is symmetric, then

$$\begin{array}{c}=2\left[{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\nu , \phi \right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}{\xi }^s\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)\end{array}d\xi ,\\ =2\left[{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}^{\ast }\left(\nu , \phi \right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}{\xi }^s\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)\end{array}d\xi .\end{array}$$

(28)

since

$$\begin{array}{l}{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }\right)d\xi \\ \hspace{1em}\hspace{1em}\hspace{1em}={{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right), \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=\frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}\\ {{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }\right)d\xi \\ \hspace{1em}\hspace{1em}\hspace{1em}={{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right), \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=\frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾}, \phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}. \end{array}$$

(29)

From (28) and (29), we have

$$\begin{array}{c}\frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}\hfill \\ \hspace{1em}\le \left[{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\nu , \phi \right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}{\xi }^s\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)\end{array}d\xi ,\hfill \\ \frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}\hfill \\ \hspace{1em}\le \left[{\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}^{\ast }\left(\nu , \phi \right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}{\xi }^s\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)\end{array}d\xi ,\hfill \end{array}$$

that is

$$\begin{array}{c}\left[\frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}, \frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}\right]\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em} {\le }_I\left[{\mathfrak{S}}_{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}_{\ast }\left(\nu , \phi \right), {\mathfrak{S}}^{\ast }\left(\mu , \phi \right)+{\mathfrak{S}}^{\ast }\left(\nu , \phi \right)\right]{{\displaystyle \int }}_0^1\begin{array}{c}{\xi }^s\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)\end{array}d\xi ,\hfill \end{array}$$

hence

$$\frac{\mu \upsilon }{\nu -\mu } \left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}\preccurlyeq \left[\tilde{\mathfrak{S}}\left(\mu \right) \widetilde{+} \tilde{\mathfrak{S}}\left(\nu \right)\right]{{\displaystyle \int }}_0^1{\xi }^s\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi ,$$

This concludes the proof. □

Next, we construct the first H.H. Fejér inequality for harmonically s-convex F-NV-F, which generalizes the first H.H. Fejér inequality for a harmonically convex function.

Theorem 9.

(First fuzzy fractionalH.H. Fejér inequality) Let$\tilde{\mathfrak{S}}\in HFSX\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, whose$\phi$-cuts define the family of I-V-Fs${\mathfrak{S}}_{\phi }:\left[\mu , \upsilon \right]\subset ℝ\to {\mathcal{K}}_C^{+}$are given by${\mathfrak{S}}_{\phi }(\mathfrak{𝒾})=\left[{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right), {\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\right]$for all$\mathfrak{𝒾}\in \left[\mu , \upsilon \right]$,$\phi \in \left[0, 1\right]$. If$\tilde{\mathfrak{S}}\in ℱ{ℛ}_{\left(\left[\mu , \nu \right], \phi \right)}$and$\nabla :\left[\mu , \upsilon \right]\to ℝ, \nabla \left(\frac{1}{\frac{1}{\mu }+\frac{1}{\upsilon }-\frac{1}{\mathfrak{𝒾}}}\right)=\nabla (\mathfrak{𝒾})\ge 0,$then

$$2^{s-1} \tilde{\mathfrak{S}}\left(\frac{2\mu \nu }{\mu +\nu }\right){{\displaystyle \int }}_{\mu }^{\nu }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}$$

(30)

If$\tilde{\mathfrak{S}}\in HFSV\left(\left[\mu , \upsilon \right], {\mathbb{F}}_0, s\right)$, then inequality (30) is reversed.

Proof. 

Since $\mathfrak{S}$ is a $s$-convex, then for $\phi \in \left[0, 1\right],$ we have

$$\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right)\le \frac{1}{2^s}\left(\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)+{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right) \hfill \\ \\ {\mathfrak{S}}^{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right)\le \frac{1}{2^s}\left(\begin{array}{c}{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)+{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\end{array}\right), \hfill \\ \end{array}$$

(31)

By multiplying (31) by $\nabla \left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }\right)=\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)$ and integrate it by $\xi$ over $\left[0, 1\right],$ we obtain

$$\begin{array}{c}{\mathfrak{S}}_{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right){{\displaystyle \int }}_0^1\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\le \frac{1}{2^s}\left(\begin{array}{c}{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \\ +{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \end{array}\right)\hfill \\ {\mathfrak{S}}^{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right){{\displaystyle \int }}_0^1\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}\le \frac{1}{2^s}\left(\begin{array}{c}{{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \\ +{{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \end{array}\right)\hfill \end{array}$$

(32)

since

$$\begin{array}{c}{{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}={{\displaystyle \int }}_0^1{\mathfrak{S}}_{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi ,\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}=\frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}, \hfill \\ {{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\xi \mu +\left(1-\xi \right)\upsilon }\right)d\xi \hfill \\ \hspace{1em}\hspace{1em}={{\displaystyle \int }}_0^1{\mathfrak{S}}^{\ast }\left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }, \phi \right)\nabla \left(\frac{\mu \upsilon }{\left(1-\xi \right)\mu +\xi \upsilon }\right)d\xi ,\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}=\frac{\mu \upsilon }{\nu -\mu } {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾},\hfill \end{array}$$

(33)

From (32) and (33), we have

$$\begin{array}{c} \\ {\mathfrak{S}}_{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right) \le \frac{2^{1-s}}{{{\displaystyle \int }}_{\mu }^{\nu }\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}} {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}, \\ {\mathfrak{S}}^{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right) \le \frac{2^{1-s}}{{{\displaystyle \int }}_{\mu }^{\nu }\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}} {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}.\end{array}$$

From which, we have

$$\begin{array}{c}\left[{\mathfrak{S}}_{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right),\hspace{1em}\hspace{1em}{\mathfrak{S}}^{\ast }\left(\frac{2\mu \nu }{\mu +\nu }, \phi \right)\right]\hfill \\ \hspace{1em}\hspace{1em}{\begin{array}{c}\begin{array}{c}\le \end{array}\end{array}}_I\frac{2^{1-s}}{{{\displaystyle \int }}_{\mu }^{\nu }\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}}\left[ {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}_{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}, {{\displaystyle \int }}_{\mu }^{\nu }{\mathfrak{S}}^{\ast }\left(\mathfrak{𝒾},\phi \right)\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}\right],\hfill \end{array}$$

that is

$$2^{s-1} \tilde{\mathfrak{S}}\left(\frac{2\mu \nu }{\mu +\nu }\right){{\displaystyle \int }}_{\mu }^{\nu }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}d\mathfrak{𝒾}\preccurlyeq \left(FR\right){{\displaystyle \int }}_{\mu }^{\nu }\frac{\tilde{\mathfrak{S}}(\mathfrak{𝒾})}{{\mathfrak{𝒾}}^2}\nabla (\mathfrak{𝒾})d\mathfrak{𝒾}$$

Then we complete the proof. □

Remark 4.

If $\nabla (\mathfrak{𝒾})=1$, then from (25) and (30), we acquire the inequality (17).

If $s=1$, then from (25) and (30), we acquire the inequality for harmonically convex F-NV-Fs, see [39].

If ${\mathfrak{S}}_{\ast }\left(\mu ,\phi \right)={\mathfrak{S}}^{\ast }\left(\mu , \phi \right)$ with $\phi =1$ and $s=1,$ from (25) and (30), we acquire the inequality for a classical harmonically convex function.

4. Conclusions

We presented the idea of fuzzy number valued harmonically s-convex functions in this study. Some new fuzzy Hermite–Hadamard type integral inequalities are produced using this new class. A number of exceptional instances are thoroughly deduced. We also provide some instances to demonstrate the effectiveness and validity of our findings. These findings are novel in the literature, as far as we know. The class of fuzzy number valued harmonically s-convex functions has many uses in mathematics, including convex analysis, fuzzy theory, special functions, related optimization theory, and mathematical inequalities. These applications may encourage further study in a variety of fields of the pure and applied sciences.