An investigation on boundary controllability for Sobolev-type neutral evolution equations of fractional order in Banach space

1.   Introduction

Hermite and Hadamard's inequality ^[1,2] is one of the most well-known inequalities in convex function theory, with a geometrical interpretation and numerous applications. The H·H inequality is defined as follows for the convex function $\varPsi :K\to \mathbb{R}$ on an interval $K = \left[{u}, \nu \right]$:

for all ${u}, \nu \in K.$

If f is concave, the inequalities in (1) hold in the reversed direction. We should point out that Hermite-Hadamard inequality is a refinement of the concept of convexity, and it follows naturally from Jensen's inequality. In recent years, the Hermite-Hadamard inequality for convex functions has gotten a lot of attention, and a lot of improvements and generalizations have been examined; see ^{[3,4,5,6,7,8,9,10,11,12]} and the references therein.

Interval analysis, on the other hand, is a subset of set-valued analysis, which is the study of sets in the context of mathematical analysis and topology. It was created as a way to deal with interval uncertainty, which can be found in many mathematical or computer models of deterministic real-world phenomena. Archimedes' method, which is used to calculate the circumference of a circle, is a historical example of an interval enclosure. Moore, who is credited with being the first user of intervals in computer mathematics, published the first book on interval analysis in 1966, see ^[13]. Following the publication of his book, a number of scientists began to research the theory and applications of interval arithmetic. Interval analysis is now a useful technique in a variety of fields that are interested in ambiguous data because of its applications. Computer graphics, experimental and computational physics, error analysis, robotics, and many other fields have applications.

In recent years, several major inequalities (Hermite-Hadamard, Ostrowski, etc.) for interval-valued functions have been studied. Chalco-Cano et al. used the Hukuhara derivative for interval-valued functions to construct Ostrowski type inequalities for interval-valued functions in ^[14,15]. For interval-valued functions, Román-Flores et al. established Minkowski and Beckenbach's inequalities in ^[18]. For the rest, see ^{[16,17,18,19,20]}. Inequalities, on the other hand, were investigated for the more generic set-valued maps. Sadowska, for example, presented the Hermite-Hadamard inequality in ^[21]. Other investigations can be found at ^[22,23].

Recently, Khan et al. ^[24] introduced the new class of convex fuzzy mappings is known as $\left({{h}}_{1}, {{h}}_{2}\right)$-convex F-I-V-Fs by means of FOR such that:

Let ${{h}}_{1}, {{h}}_{2}:\left[0, 1\right]\subseteq K = \left[{u}, \upsilon \right]\to {\mathbb{R}}^{+}$ such that ${{h}}_{1}, {{h}}_{2}\not\equiv 0$. Then F-I-V-F $\widetilde{\varPsi }:K = \left[{u}, \upsilon \right]\to {\mathbb{F}}_{C}\left(\mathbb{R}\right)$ is said to be $\left({{h}}_{1}, {{h}}_{2}\right)$-convex on $\left[{u}, \upsilon \right]$ if

for all ${w}, y\in \left[{u}, \upsilon \right], \xi \in \left[0, 1\right].$

And they also presented the following new version of H·H type inequality for $\left({{h}}_{1}, {{h}}_{2}\right)$-convex F-I-V-F involving fuzzy-interval Riemann integrals:

Let $\widetilde{\varPsi }:\left[{u}, \upsilon \right]\to {\mathbb{F}}_{0}$ be a $\left({{h}}_{1}, {{h}}_{2}\right)$-convex F-I-V-F with ${{h}}_{1}, {{h}}_{2}:[0, 1]\to {\mathbb{R}}^{+}$ and ${{h}}_{1}\left(\frac{1}{2}\right){{h}}_{2}\left(\frac{1}{2}\right)\ne 0.$ Then, from $\theta$-levels, we get the collection of I-V-Fs ${\varPsi }_{\theta }:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}$ are given by ${\varPsi }_{\theta }\left(\omega \right) = \left[{\varPsi }_{*}\left(\omega, \theta \right), {\varPsi }^{*}\left(\omega, \theta \right)\right]$ for all $\omega \in \left[{u}, \upsilon \right]$ and for all $\theta \in \left[0, 1\right]$. If $\widetilde{\varPsi }$ is fuzzy-interval Riemann integrable (in short, $FR$-integrable), then

If ${{h}}_{1}\left(\xi \right) = \xi$ and ${{h}}_{2}\left(\xi \right)\equiv 1,$ then from (3), we get following the result for convex F-I-V-F:

A one step forward, Khan et al. introduced new classes of convex and generalized convex F-I-V-F, and derived new fractional H·H type and H·H type inequalities for convex F-I-V-F ^[25], ${h}$-convex F-I-V-F ^[26], $\left({{h}}_{1}, {{h}}_{2}\right)$-preinvex F-I-V-F ^[27], log-s-convex F-I-V-Fs in the second sense ^[28], LR-log-${h}$-convex I-V-Fs ^[29], harmonically convex F-I-V-Fs ^[30], coordinated convex F-I-V-Fs ^[31] and the references therein. We refer to the readers for further analysis of literature on the applications and properties of fuzzy-interval, and inequalities and generalized convex fuzzy mappings, see ^{[32,33,34,35,36,37,38,39,40,41,42,43,44,45]} and the references therein.

The goal of this study is to complete the fuzzy Riemann integrals for interval-valued functions and use these integrals to get the Hermite-Hadamard inequality. These integrals are also used to derive Hermite-Hadamard type inequalities for harmonically convex F-I-V-Fs.

2.   Preliminaries

In this section, we recall some basic preliminary notions, definitions and results. With the help of these results, some new basic definitions and results are also discussed.

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

We write len $\left[{\omega }_{*}, {\omega }^{*}\right] = {\omega }^{*}-{\omega }_{*}$, If len $\left[{\omega }_{*}, {\omega }^{*}\right] = 0$ then, $\left[{\omega }_{*}, {\omega }^{*}\right]$ is called degenerate. In this article, all intervals will be non-degenerate intervals. The collection of all closed and bounded intervals of $\mathbb{R}$ is denoted and defined as ${\mathcal{K}}_{C} = \left\{\left[{\omega }_{*}, {\omega }^{*}\right]:{\omega }_{*}, {\omega }^{*}\in \mathbb{R}\;\mathrm{a}\mathrm{n}\mathrm{d}\;{\omega }_{*}\le {\omega }^{*}\right\}.$ If ${\omega }_{*}\ge 0$ then, $\left[{\omega }_{*}, {\omega }^{*}\right]$ is called positive interval. The set of all positive interval is denoted by ${{\mathcal{K}}_{C}}^{+}$ and defined as ${{\mathcal{K}}_{C}}^{+} = \left\{\left[{\omega }_{*}, {\omega }^{*}\right]:\left[{\omega }_{*}, {\omega }^{*}\right]\in {\mathcal{K}}_{C}\;\mathrm{a}\mathrm{n}\mathrm{d}\;{\omega }_{*}\ge 0\right\}.$

We'll now look at some of the properties of intervals using arithmetic operations. Let $\left[{\varrho }_{*}, {\varrho }^{*}\right], \left[{\mathcal{s}}_{*}, {\mathcal{s}}^{*}\right]\in {\mathcal{K}}_{C}$ and $\rho \in \mathbb{R}$, then we have

For $\left[{\varrho }_{*}, {\varrho }^{*}\right], \left[{\mathcal{s}}_{*}, {\mathcal{s}}^{*}\right]\in {\mathcal{K}}_{C},$ the inclusion "$\subseteq$" is defined by $\left[{\varrho }_{*}, {\varrho }^{*}\right]\subseteq \left[{\mathcal{s}}_{*}, {\mathcal{s}}^{*}\right]$, if and only if ${\mathcal{s}}_{*}\le {\varrho }_{*}$, ${\varrho }^{*}\le {\mathcal{s}}^{*}.$

Remark 2.1. The relation "${\le }_{I}$" defined on ${\mathcal{K}}_{C}$ by

for all $\left[{\varrho }_{*}, {\varrho }^{*}\right], \left[{\mathcal{s}}_{*}, {\mathcal{s}}^{*}\right]\in {\mathcal{K}}_{C},$ it is an order relation, see ^[41]. For given $\left[{\varrho }_{*}, {\varrho }^{*}\right], \left[{\mathcal{s}}_{*}, {\mathcal{s}}^{*}\right]\in {\mathcal{K}}_{C},$ we say that $\left[{\varrho }_{*}, {\varrho }^{*}\right]{\le }_{I}\left[{\mathcal{s}}_{*}, {\mathcal{s}}^{*}\right]$ if and only if ${\varrho }_{*}{\le \mathcal{s}}_{*}, {\varrho }^{*}{\le \mathcal{s}}^{*}$ or ${\varrho }_{*}{\le \mathcal{s}}_{*}, {\varrho }^{*}{ < \mathcal{s}}^{*}$.

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

Theorem 2.2. ^[13] If $\varPsi :[{u}, \nu]\subset \mathbb{R}\to {\mathcal{K}}_{C}$ is an I-V-F on such that $\varPsi \left({w}\right) = \left[{\varPsi }_{*}\left({w}\right), {\varPsi }^{*}\left({w}\right)\right].$ Then $\varPsi$ is Riemann integrable over $[{u}, \nu]$ if and only if, ${\varPsi }_{*}$ and ${\varPsi }^{*}$ both are Riemann integrable over $\left[{u}, \nu \right]$ such that

Let $\mathbb{R}$ be the set of real numbers. A mapping $\widetilde{\zeta }:\mathbb{R}\to \left[\mathrm{0, 1}\right]$ called the membership function distinguishes a fuzzy subset set $\mathcal{A}$ of $\mathbb{R}$. This representation is found to be acceptable in this study. $\mathbb{F}\left(\mathbb{R}\right)$ also stand for the collection of all fuzzy subsets of $\mathbb{R}$.

A real fuzzy interval $\widetilde{\zeta }$ is a fuzzy set in $\mathbb{R}$ with the following properties:

(1) $\widetilde{\zeta }$ is normal i.e. there exists ${w}\in \mathbb{R}$ such that $\widetilde{\zeta }\left({w}\right) = 1;$

(2) $\widetilde{\zeta }$ is upper semi continuous i.e., for given ${w}\in \mathbb{R},$ for every ${w}\in \mathbb{R}$ there exist $\epsilon >0$ there exist $\delta >0$ such that $\widetilde{\zeta }\left({w}\right)-\widetilde{\zeta }\left(y\right) < \epsilon$ for all $y\in \mathbb{R}$ with $\left|{w}-y\right| < \delta;$

(3) $\widetilde{\zeta }$ is fuzzy convex i.e., $\widetilde{\zeta }\left(\left(1-\xi \right){w}+\xi y\right)\ge min\left(\widetilde{\zeta }\left({w}\right), \widetilde{\zeta }\left(y\right)\right), \; \forall \; {w}, y\in \mathbb{R}$ and $\xi \in [0, 1]$;

(4) $\widetilde{\zeta }$ is compactly supported i.e., $cl\left\{{w}\in \mathbb{R}|\widetilde{\zeta }\left({w}\right)>0\right\}$ is compact.

The collection of all real fuzzy intervals is denoted by ${\mathbb{F}}_{0}$.

Let $\widetilde{\zeta }\in {\mathbb{F}}_{0}$ be real fuzzy interval, if and only if, $\theta$-levels ${\left[\widetilde{\zeta }\right]}^{\theta}$ is a nonempty compact convex set of $\mathbb{R}$. This is represented by

from these definitions, we have

where

Thus a real fuzzy interval $\widetilde{\zeta }$ can be identified by a parametrized triples

These two end point functions ${\zeta }_{*}\left(\theta\right)$ and ${\zeta }^{*}\left(\theta\right)$ are used to characterize a real fuzzy interval as a result.

Proposition 2.3. ^[18] Let $\widetilde{\zeta }, \widetilde{\varTheta }\in {\mathbb{F}}_{0}$. Then fuzzy order relation "$\preccurlyeq$" given on ${\mathbb{F}}_{0}$ by

it is partial order relation.

We'll now look at some of the properties of fuzzy intervals using arithmetic operations. Let $\widetilde{\zeta }, \widetilde{\varTheta }\in {\mathbb{F}}_{0}$ and $\rho \in \mathbb{R}$, then we have

For $\psi \in {\mathbb{F}}_{0}$ such that $\widetilde{\zeta } = \widetilde{\varTheta }\widetilde{+}\widetilde{\psi },$ we have the existence of the Hukuhara difference of $\widetilde{\zeta }$ and $\widetilde{\varTheta }$, which we call the H-difference of $\widetilde{\zeta }$ and $\widetilde{\varTheta }$, and denoted by $\widetilde{\zeta }\widetilde{-}\widetilde{\varTheta }$. If H-difference exists, then

Definition 2.4. ^[38] A fuzzy-interval-valued map $\widetilde{\varPsi }:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathbb{F}}_{0}$ is called F-I-V-F. For each $\theta\in (0, 1],$ whose $\theta$-levels define the family of I-V-Fs ${\varPsi }_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}$ are given by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ for all ${w}\in \left[{u}, \upsilon \right].$ Here, for each $\theta\in (0, 1],$ the end point real functions ${\varPsi }_{*}\left(., \theta\right), {\varPsi }^{*}\left(., \theta\right):\left[{u}, \upsilon \right]\to \mathbb{R}$ are called lower and upper functions of $\widetilde{\varPsi }$.

The following conclusions can be drawn from the preceding literature review ^[38,39,40]:

Definition 2.5. Let $\widetilde{\varPsi }:[{u}, \nu]\subset \mathbb{R}\to {\mathbb{F}}_{0}$ be an F-I-V-F. Then fuzzy integral of $\widetilde{\varPsi }$ over $\left[{u}, \nu \right],$ denoted by $\left(FR\right){\int }_{{u}}^{\nu }\widetilde{\varPsi }\left({w}\right)d{w}$, it is given level-wise by

for all $\theta\in (0, 1],$ where ${\mathcal{R}}_{\left(\left[{u}, { }\nu \right], \theta\right)}$ denotes the collection of Riemannian integrable functions of I-V-Fs. $\widetilde{\varPsi }$ is $FR$-integrable over $[{u}, \nu]$ if $\left(FR\right){\int }_{{u}}^{\nu }\widetilde{\varPsi }\left({w}\right)d{w}\in {\mathbb{F}}_{0}.$ Note that, if ${\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)$ are Lebesgue-integrable, then $\varPsi$ is fuzzy Aumann-integrable function over $[{u}, \nu]$, see ^[18,39,40].

Theorem 2.6. Let $\widetilde{\varPsi }:[{u}, \nu]\subset \mathbb{R}\to {\mathbb{F}}_{0}$ be a F-I-V-F, whose $\theta$-levels define the family of I-V-Fs ${\varPsi }_{\theta}:[{u}, \nu]\subset \mathbb{R}\to {\mathcal{K}}_{C}$ are given by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ for all ${w}\in [{u}, \nu]$ and for all $\theta\in (0, 1].$ Then $\widetilde{\varPsi }$ is $FR$-integrable over $[{u}, \nu]$ if and only if, ${\varPsi }_{*}\left({w}, \theta\right)$ and ${\varPsi }^{*}\left({w}, \theta\right)$ both are $R$-integrable over $[{u}, \nu]$. Moreover, if $\widetilde{\varPsi }$ is $FR$-integrable over $\left[{u}, \nu \right],$ then

for all $\theta\in (0, 1].$ For all $\theta\in \left(0, 1\right], {\mathcal{F}\mathcal{R}}_{\left(\left[{u}, \nu \right], \theta\right)}$ denotes the collection of all $FR$-integrable F-I-V-Fs over $[{u}, \nu]$.

Definition 2.7. ^[42] A set $K = \left[{u}, \upsilon \right]\subset {\mathbb{R}}^{+} = \left(0, \infty \right)$ is said to be convex set, if, for all ${w}, y\in K, \xi \in \left[\mathrm{0, 1}\right]$, we have

Definition 2.8. ^[42] The $\varPsi :\left[{u}, \upsilon \right]\to {\mathbb{R}}^{+}$ is called harmonically convex function on $\left[{u}, \upsilon \right]$ if

for all ${w}, y\in \left[{u}, \upsilon \right], \xi \in \left[0, 1\right],$ where $\varPsi \left({w}\right)\ge 0$ for all ${w}\in \left[{u}, \upsilon \right].$ If (13) is reversed then, $\varPsi$ is called harmonically concave F-I-V-F on $\left[{u}, { }\upsilon \right]$.

Definition 2.11. ^[30] The F-I-V-F $\widetilde{\varPsi }:\left[{u}, \upsilon \right]\to {\mathbb{F}}_{0}$ is called harmonically convex F-I-V-F on $\left[{u}, \upsilon \right]$ if

for all ${w}, y\in \left[{u}, \upsilon \right], \xi \in \left[0, 1\right],$ where $\widetilde{\varPsi }\left({w}\right)\succcurlyeq \widetilde{0}$, for all ${w}\in \left[{u}, \upsilon \right].$ If (14) is reversed then, $\widetilde{\varPsi }$ is called harmonically concave F-I-V-F on $\left[{u}, { }\upsilon \right]$.

Definition 2.12. The F-I-V-F $\widetilde{\varPsi }:\left[{u}, \upsilon \right]\to {\mathbb{F}}_{0}$ is called harmonically convex F-I-V-F on $\left[{u}, \upsilon \right]$ if

for all ${w}, y\in \left[{u}, \upsilon \right], \xi \in \left[0, 1\right],$ where $\widetilde{\varPsi }\left({w}\right)\succcurlyeq \widetilde{0}$, for all ${w}\in \left[{u}, \upsilon \right]$. If (15) is reversed then, $\widetilde{\varPsi }$ is called harmonically concave F-I-V-F on $\left[{u}, { }\upsilon \right]$. The set of all harmonically convex (harmonically concave) F-I-V-F is denoted by

Theorem 2.13. Let $\left[{u}, { }\upsilon \right]$ be harmonically convex set, and let $\widetilde{\varPsi }:\left[{u}, \upsilon \right]\to {\mathbb{F}}_{C}\left(\mathbb{R}\right)$ be a F-I-V-F, whose $\theta$-levels define the family of I-V-Fs ${\varPsi }_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}\subset {\mathcal{K}}_{C}$ are given by

for all ${w}\in \left[{u}, \upsilon \right]$, $\theta\in \left[0, 1\right]$. Then, $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right),$ if and only if, for all $\in \left[0, 1\right], \; {\varPsi }_{*}\left({w}, \theta\right)$, ${\varPsi }^{*}\left({w}, \theta\right)\in HSX\left(\left[{u}, \upsilon \right], {\mathbb{R}}^{+}\right).$

Proof. The demonstration of proof is similar to proof of Theorem 2.12, see ^[26].

Example 2.14. We consider the F-I-V-Fs $\widetilde{\varPsi }:[0, 2]\to {\mathbb{F}}_{C}\left(\mathbb{R}\right)$ defined by,

Then, for each $\theta\in \left[0, 1\right],$ we have ${\varPsi }_{\theta}\left({w}\right) = \left[\theta\sqrt{{w}}, (2-\theta)\sqrt{{w}}\right]$. Since ${\varPsi }_{*}\left({w}, \theta\right)$, ${\varPsi }^{*}\left({w}, \theta\right) \; \in HSX\left(\left[{u}, \upsilon \right], {\mathbb{R}}^{+}\right)$, for each $\theta\in [0, 1]$. Hence $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$.

Remark 2.15. If ${\mathcal{T}}_{*}\left({u}, \theta\right) = {\mathcal{T}}^{*}\left(\upsilon, \theta\right)$ with $\theta = 1$, then harmonically convex F-I-V-F reduces to the classical harmonically convex function, see ^[42].

3.   Fuzzy-interval fractional Hermite-Hadamard inequalities

In this section, we will prove two types of inequalities. First one is 𝐻.𝐻 and their variant forms, and the second one is H·H Fejér inequalities for convex F-I-V-Fs where the integrands are F-I-V-Fs.

Theorem 3.1. Let $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, whose $\theta$-levels define the family of I-V-Fs ${\varPsi }_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}$ are given by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ for all ${w}\in \left[{u}, \upsilon \right]$, $\theta\in \left[0, 1\right]$. If $\widetilde{\varPsi }\in {\mathcal{F}\mathcal{R}}_{\left(\left[{u}, \upsilon \right], \theta\right)}$, then

If $\widetilde{\varPsi }\in HFSV\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, then

Proof. Let $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right),$. Then, by hypothesis, we have

Therefore, for each $\theta\in [0, 1]$, we have

Then

It follows that

That is

Thus,

In a similar way as above, we have

Combining (19) and (20), we have

Hence, the required result.

Remark 3.2. If ${\varPsi }_{*}\left({w}, \theta\right) = {\varPsi }^{*}\left({w}, \theta\right)$ with $\theta = 1$, then Theorem 3.1 reduces to the result for classical harmonically convex function, see ^[42]:

Example 3.3. We consider the FIVFs $\widetilde{\varPsi }:[0, 2]\to {\mathbb{F}}_{C}\left(\mathbb{R}\right),$ as in Example 2.14. Then, for each $\theta\in \left[0, 1\right],$ we have ${\varPsi }_{\theta}\left({w}\right) = \left[\theta\sqrt{{w}}, (2-\theta)\sqrt{{w}}\right]$ is harmonically convex FIVF. Since, ${\varPsi }_{*}\left({w}, \theta\right) = \theta\sqrt{{w}}, \; {\varPsi }^{*}\left({w}, \theta\right) = (2-\theta)\sqrt{{w}}$. We now compute the following:

for all $\theta\in \left[0, 1\right].$ That means

Similarly, it can be easily show that

for all $\theta\in \left[0, 1\right],$ such that

From which, we have

that is

Hence,

Theorem 3.4. Let $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, whose $\theta$-levels define the family of I-V-Fs ${\varPsi }_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}$ are given by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ for all ${w}\in \left[{u}, \upsilon \right]$, $\theta\in \left[0, 1\right]$. If $\widetilde{\varPsi }\in {\mathcal{F}\mathcal{R}}_{\left(\left[{u}, \upsilon \right], \theta\right)}$, then

where

and ${⪧}_{1} = \left[{{⪧}_{1}}_{*}, {{⪧}_{1}}^{*}\right]$, ${⪧}_{2} = \left[{{⪧}_{2}}_{*}, {{⪧}_{2}}^{*}\right].$ If $\widetilde{\varPsi }\in HFSV\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, then inequality (21) is reversed.

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

Therefore, for every $\theta\in [0, 1]$, we have

In consequence, we obtain

That is

It follows that

In a similar way as above, we have

Combining (22) and (23), we have

Therefore, for every $\theta\in [0, 1]$, by using Theorem 3.1, we have

that is

Theorem 3.5. Let $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$ and $\widetilde{\mathcal{P}}\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, whose $\theta$-levels ${\varPsi }_{\theta}, {\mathcal{P}}_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}$ are defined by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ and ${\mathcal{P}}_{\theta}\left({w}\right) = \left[{\mathcal{P}}_{*}\left({w}, \theta\right), {\mathcal{P}}^{*}\left({w}, \theta\right)\right]$ for all ${w}\in \left[{u}, \upsilon \right]$, $\theta\in \left[0, 1\right]$, respectively. If $\widetilde{\varPsi }\widetilde{\times }\widetilde{\mathcal{P}}\in {\mathcal{F}\mathcal{R}}_{\left(\left[{u}, \upsilon \right], \theta\right)}$, then

where $\widetilde{\mathcal{M}}\left({u}, \upsilon \right) = \widetilde{\varPsi }\left({u}\right)\widetilde{\times }\widetilde{\mathcal{P}}\left({u}\right)\widetilde{+}\widetilde{\varPsi }\left(\upsilon \right)\widetilde{\times }\widetilde{\mathcal{P}}\left(\upsilon \right), \; \widetilde{\mathcal{N}}\left({u}, \upsilon \right) = \widetilde{\varPsi }\left({u}\right)\widetilde{\times }\widetilde{\mathcal{P}}\left(\upsilon \right)\widetilde{+}\widetilde{\varPsi }\left(\upsilon \right)\widetilde{\times }\widetilde{\mathcal{P}}\left({u}\right),$ and ${\mathcal{M}}_{\theta}\left({u}, \upsilon \right) = \left[{\mathcal{M}}_{*}\left(\left({u}, \upsilon \right), \theta\right), {\mathcal{M}}^{*}\left(\left({u}, \upsilon \right), \theta\right)\right]$ and ${\mathcal{N}}_{\theta}\left({u}, \upsilon \right) = \left[{\mathcal{N}}_{*}\left(\left({u}, \upsilon \right), \theta\right), {\mathcal{N}}^{*}\left(\left({u}, \upsilon \right), \theta\right)\right].$

Proof. Since $\widetilde{\varPsi }, \widetilde{\mathcal{P}}$ are harmonically convex F-I-V-Fs then, for each $\theta\in \left[0, 1\right]$ we have

And

From the definition of harmonically convexity of F-I-V-Fs it follows that $\widetilde{\varPsi }\left({w}\right)\succcurlyeq \widetilde{0}$ and $\widetilde{\mathcal{P}}\left({w}\right)\succcurlyeq \widetilde{0}$, so

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

It follows that,

that is

Thus,

Theorem 3.6. Let $\widetilde{\varPsi }, \widetilde{\mathcal{P}}\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, whose $\theta$-levels ${\varPsi }_{\theta}, {\mathcal{P}}_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}$ are defined by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ and ${\mathcal{P}}_{\theta}\left({w}\right) = \left[{\mathcal{P}}_{*}\left({w}, \theta\right), {\mathcal{P}}^{*}\left({w}, \theta\right)\right]$ for all ${w}\in \left[{u}, \upsilon \right]$, $\theta\in \left[0, 1\right]$, respectively. If $\widetilde{\varPsi }\widetilde{\times }\widetilde{\mathcal{P}}\in {\mathcal{F}\mathcal{R}}_{\left(\left[{u}, \upsilon \right], \theta\right)}$, then

where $\widetilde{\mathcal{M}}\left({u}, \upsilon \right) = \widetilde{\varPsi }\left({u}\right)\widetilde{\times }\widetilde{\mathcal{P}}\left({u}\right)\widetilde{+}\widetilde{\varPsi }\left(\upsilon \right)\widetilde{\times }\widetilde{\mathcal{P}}\left(\upsilon \right), \; \widetilde{\mathcal{N}}\left({u}, \upsilon \right) = \widetilde{\varPsi }\left({u}\right)\widetilde{\times }\widetilde{\mathcal{P}}\left(\upsilon \right)\widetilde{+}\widetilde{\varPsi }\left(\upsilon \right)\widetilde{\times }\widetilde{\mathcal{P}}\left({u}\right),$ and ${\mathcal{M}}_{\theta}\left({u}, \upsilon \right) = \left[{\mathcal{M}}_{*}\left(\left({u}, \upsilon \right), \theta\right), {\mathcal{M}}^{*}\left(\left({u}, \upsilon \right), \theta\right)\right]$ and ${\mathcal{N}}_{\theta}\left({u}, \upsilon \right) = \left[{\mathcal{N}}_{*}\left(\left({u}, \upsilon \right), \theta\right), {\mathcal{N}}^{*}\left(\left({u}, \upsilon \right), \theta\right)\right].$

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

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

that is

The theorem has been proved.

First, we will purpose the following inequality linked with the right part of the classical $H-H$ Fejér inequality for harmonically convex F-I-V-Fs through fuzzy order relation, which is said to be 2nd fuzzy $H-H$ Fejér inequality.

Theorem 3.7. (Second fuzzy $H-H$ Fejér inequality) Let $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, whose $\theta$-levels define the family of I-V-Fs ${\varPsi }_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}$ are given by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ for all ${w}\in \left[{u}, \upsilon \right]$, $\theta\in \left[0, 1\right]$. If $\widetilde{\varPsi }\in {\mathcal{F}\mathcal{R}}_{\left(\left[{u}, \upsilon \right], \theta\right)}$ and $\nabla :\left[{u}, \upsilon \right]\to \mathbb{R}, \nabla \left(\frac{1}{\frac{1}{{u}}+\frac{1}{\upsilon }-\frac{1}{{w}}}\right) = \nabla \left({w}\right)\ge 0,$ then

If $\widetilde{\varPsi }\in HFSV\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, then inequality (25) is reversed.

Proof. Let $\varPsi$ be a harmonically convex F-I-V-F. Then, for each $\theta\in \left[0, 1\right],$ we have

And

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

Since $\nabla$ is symmetric, then

Since

From (28) and (29), we have

that is

hence

this concludes the proof.

Next, we construct first H·H Fejér inequality for harmonically convex F-I-V-F, which generalizes first $H-H$ Fejér inequality for harmonically convex function.

Theorem 3.8. (First fuzzy fractional $H-H$ Fejér inequality) Let $\widetilde{\varPsi }\in HFSX\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, whose $\theta$-levels define the family of I-V-Fs ${\varPsi }_{\theta}:\left[{u}, \upsilon \right]\subset \mathbb{R}\to {\mathcal{K}}_{C}^{+}$ are given by ${\varPsi }_{\theta}\left({w}\right) = \left[{\varPsi }_{*}\left({w}, \theta\right), {\varPsi }^{*}\left({w}, \theta\right)\right]$ for all ${w}\in \left[{u}, \upsilon \right]$, $\theta\in \left[0, 1\right]$. If $\widetilde{\varPsi }\in {\mathcal{F}\mathcal{R}}_{\left(\left[{u}, \nu \right], \theta\right)}$ and $\nabla :\left[{u}, \upsilon \right]\to \mathbb{R}, \nabla \left(\frac{1}{\frac{1}{{u}}+\frac{1}{\upsilon }-\frac{1}{{w}}}\right) = \nabla \left({w}\right)\ge 0,$ then

If $\widetilde{\varPsi }\in HFSV\left(\left[{u}, \upsilon \right], {\mathbb{F}}_{0}\right)$, then inequality (30) is reversed.

Proof. Since $\varPsi$ is a harmonically convex, then for $\theta\in \left[0, 1\right],$ we have

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

Since

From (32) and (33), we have

From which, we have

that is

Then we complete the proof.

Remark 3.9. If $\nabla \left({w}\right) = 1$, then from Theorems 3.7 and 3.8, we obtain inequality (17). If ${\varPsi }_{*}\left({w}, \theta\right) = {\varPsi }^{*}\left({w}, \theta\right)$ with $\theta = 1,$ then Theorems 3.7 and 3.8 reduce to classical first and second classical $H-H$ Fejér inequality for classical harmonically convex function.

4.   Conclusions and future plan

Several novel conclusions in convex analysis and associated optimization theory can be obtained using this new class of functions known as harmonically convex F-I-V. The main findings include some new bounds with error estimations via fuzzy Riemann integrals. All of these papers aim to provide new estimations and optimal approaches. But, the main motivation of this paper is that we obtained new method by using fuzzy integrals for harmonically convex F-I-V-Fs calculus. The authors anticipate that this study may inspire more research in a variety of pure and applied sciences fields.

Acknowledgments

The authors would like to thank the Rector, COMSATS University Islamabad, Islamabad, Pakistan, for providing excellent research and academic environments and this work was supported by Taif University Researches Supporting Project number (TURSP-2020/326), Taif University, Taif, Saudi Arabia, and the authors T. Abdeljawad and B. Abdalla would like to thank Prince Sultan University for APC and for the support through the TAS research lab.

Authors' contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflict of interest

The authors declare that they have no competing interests.