The Cauchy–Optimal Stability Results for Cauchy–Jensen Additive Mappings in the Fuzzy Banach Space and the Unital Fuzzy Banach Space

Abstract

In this article, we apply a new class of fuzzy control functions to approximate a Cauchy additive mapping in fuzzy Banach space (FBS). Further, considering the unital FBS (UFBS), we will investigate the isomorphisms defined in this space. By introducing several specific functions and choosing the optimal control function from among these functions, we evaluate the Cauchy–Optimal stability (C–O-stability) for all defined mappings.

1. Introduction

The topic of stability first started with Ulam’s famous question about additive mappings in 1940. After that, Hyers and Rassias, by expanding this topic, presented new definitions of stability for additive mappings and continuous maps, which were known as Hyers–Ulam and Hyers–Ulam–Rasias stability, respectively [1,2,3]. Since then, many researchers have conducted extensive research on the issue of stability for functional equations in different spaces. For example, in 1980, the stability of homomorphism equations was studied.

Researchers in [4] considered the function $\Delta :\mathcal{Q}\times \mathcal{Q}\to [0,\infty )$, which is defined as follows

$$\begin{array}{cc}\hfill & \tilde{\Delta }(\xi ,\varrho )=\sum _{\ell =0}^{\infty }{2}^{-\ell }\Delta (2^{\ell }\xi ,2^{\ell }\varrho )<\infty ,\mathrm{for}\mathrm{all}\xi ,\varrho \in \mathcal{Q},\hfill \end{array}$$

and in [5], considered the function $\Delta :\mathcal{M}\setminus \left\{0\right\}\times \mathcal{M}\setminus \left\{0\right\}\to [0,\infty )$, which is defined as follows

$$\begin{array}{cc}\hfill & \tilde{\Delta }(\xi ,\varrho )=\sum _{\ell =0}^{\infty }\frac{1}{3^{\ell }}\Delta (3^{\ell }x,3^{\ell }y)<\infty ,\mathrm{for}\mathrm{all}\xi ,\varrho \in \mathcal{M}\setminus \left\{0\right\},\hfill \end{array}$$

on the abelian group $\mathcal{Q}$ and the Banach space $\mathcal{M}$. They investigated the stability of two types of functions. In such a way that if for the function $\Psi :\mathcal{Q}\to \mathcal{M}$, we have $\parallel \Psi (\xi +\varrho )-\Psi \left(\xi \right)-\Psi \left(\varrho \right)\parallel \le \Delta (\xi ,\varrho )$, then there is a unique additive mapping such as $\Phi :\mathcal{Q}\to \mathcal{M}$ such that $\parallel \Psi \left(\xi \right)-\Phi \left(\xi \right)\parallel \le \frac{1}{2}\tilde{\Delta }(\xi ,\xi )$, and if for the function $\Psi :\mathcal{M}\to \mathcal{N}$, we have $\parallel 2\Psi \left(\frac{\xi +\varrho }{2}\right)-\Psi \left(\xi \right)-\Psi \left(\varrho \right)\parallel \le \Delta (\xi ,\varrho )$, then there is a unique additive mapping such as $\Phi :\mathcal{M}\to \mathcal{N}$ such that $\parallel \Psi \left(\xi \right)-\Psi \left(0\right)-\Phi \left(\xi \right)\parallel \le \frac{1}{3}\left(\tilde{\Delta }(\xi ,-\xi )+\tilde{\Delta }(-\xi ,3\xi )\right)$. Additionally, in [6,7,8,9,10,11,12], authors have investigated different equations using fixed point theory in classical and fuzzy spaces. In 1965, the theory of fuzzy sets was introduced in [13]. After that, this new theory was applied to classical concepts. The concept of the fuzzy norm was introduced by Katsaras in 1984 [14]. Moreover, Kramosil and Michalek (1975) introduced the new concept of fuzzy metric space and provided many results. In 1994, George and Veeramani introduced a stronger form of fuzzy metric space [15,16]. Afterward, many mathematicians studied fixed-point theorems in related spaces. In [10], the authors considered a nonlinear single fractional differential equation and applied an alternative fixed-point theorem to prove the existence of a unique solution and the multiple stability for the NS–ABC–FDE in the symmetric matrix-valued FBS in [17], considering fuzzy measure theory and matrix-valued fuzzy norm spaces, they study a differential system of non-autonomous cellular neural networks with mixed delays. Specific functions are among the most widely used functions in mathematics and other sciences, which have attracted the attention of many researchers today. These functions are used in various fields, such as physical sciences, engineering, probability theory, decision theory, artificial intelligence, pattern recognition, image processing, etc. The Mittag–Leffler function, Gauss hypergeometric function, Wright function, H-Fox function, and aggregation functions are the most important types of these functions. Since our effort in the stability issue is to achieve the best approximation, we achieve this important goal by selecting the most optimal function among these specific functions and using it as the control function [8,9,10]. In the following, we will explain the different parts of this article:

In the first section, we state all the basic concepts, including definitions, lemmas, and basic theorems needed for the main steps. In the second section, we do the main proofs. In this way, considering the vector spaces $\mathcal{M},\mathcal{N}$ and defining the function $\Psi :\mathcal{M}\to \mathcal{N}$, we consider the following equations

$$\begin{array}{c}\hfill \Psi (\frac{\xi +\varrho }{2}+\tau )+\Psi (\frac{\xi -\varrho }{2}+\tau )=\Psi \left(\xi \right)+2\Psi \left(\tau \right),\end{array}$$

(1)

$$\begin{array}{c}\hfill \Psi (\frac{\xi +\varrho }{2}+\tau )-\Psi (\frac{\xi -\varrho }{2}+\tau )=\Psi \left(\varrho \right),\end{array}$$

(2)

$$\begin{array}{c}\hfill 2\Psi (\frac{\xi +\varrho }{2}+\tau )=\Psi \left(\xi \right)+\Psi \left(\varrho \right)+2\Psi \left(\tau \right),\end{array}$$

(3)

for all $\xi ,\varrho ,\tau \in \mathcal{M}$ and show that the function $\Psi$ is an additive function. In the following, we prove the stability of functional Equations (1)–(3) by considering FBS. Additionally, all the proofs are done considering the UFBS for the isomorphisms defined in these spaces. In the third section, by choosing the aggregation function as the optimal control function, we investigate the O-stability of the functional equations. We end this article in the last section entitled Conclusion.

2. Basic Concepts

We first introduce the required spaces. These spaces are used in all parts of the article [6,8,10]. From here on, we consider ${\mathcal{S}}_1=[0,1]$, ${\mathcal{S}}_2=(0,\infty )$, ${\mathcal{S}}_3=[0,\mathrm{a}]$ and ${\mathcal{S}}_4=[0,\infty )$.

Definition 1. 

On the interval ${\mathcal{S}}_1$, we define ${\mathcal{G}}_{{\mathcal{S}}_1}$ as follows

$${\mathcal{G}}_{{\mathcal{S}}_1}=\mathrm{diag}\mathrm{g}\left({\mathcal{S}}_1\right)=\left\{\mathrm{diag}[{\mathrm{g}}_1,\cdots ,{\mathrm{g}}_j]=\left[\begin{array}{ccc}{\mathrm{g}}_1& & \\ & \ddots & \\ & & {\mathrm{g}}_j\end{array}\right],{\mathrm{g}}_1,\dots ,{\mathrm{g}}_j\in {\mathcal{S}}_1\right\},$$

such that for any $\mathrm{g},\mathrm{k}\in {\mathcal{G}}_{{\mathcal{S}}_1}$, we have $\mathrm{g}=\mathrm{diag}[{\mathrm{g}}_1,\cdots ,{\mathrm{g}}_j]$, $\mathrm{k}=\mathrm{diag}[{\mathrm{k}}_1,\cdots ,{\mathrm{k}}_j]$, $\mathrm{diag}[1,\dots ,1]=\mathbf{1}$ and $\mathrm{diag}[0,\dots ,0]=\mathbf{0}$. Further, $\mathrm{g}⪯\mathrm{k}$ means that ${\mathrm{g}}_{\iota }\le {\mathrm{k}}_{\iota }$ for every $\iota =1,\dots ,j$.

Definition 2. 

We consider the mapping ⊛ from ${\mathcal{G}}_{{\mathcal{S}}_1}\times {\mathcal{G}}_{{\mathcal{S}}_1}$ to ${\mathcal{G}}_{{\mathcal{S}}_1}$. If for each $\mathrm{g},\mathrm{k},\mathrm{h},\mathrm{l}\in {\mathcal{G}}_{{\mathcal{S}}_1}$ we have $\mathrm{g}⊛\mathbf{1}=\mathrm{g}$, $\mathrm{g}⊛\mathrm{k}=\mathrm{k}⊛\mathrm{g}$, $\mathrm{g}⊛(\mathrm{k}⊛\mathrm{h})=(\mathrm{g}⊛\mathrm{k})⊛\mathrm{h}$, $\mathrm{g}⪯\mathrm{k}and\mathrm{h}⪯\mathrm{l}\mathit{implies}\mathit{that}\mathrm{g}⊛\mathrm{h}⪯\mathrm{k}⊛\mathrm{l}$, we say that ⊛ is a generalized t-norm or briefly GTN. Additionally, we consider sequences $\left\{{\mathrm{g}}_j\right\}$ and $\left\{{\mathrm{k}}_j\right\}$ that converge to $\mathrm{g}$ and $\mathrm{k}$. If we have ${lim}_{\mathrm{m}}({\mathrm{g}}_j⊛{\mathrm{k}}_j)=\mathrm{g}⊛\mathrm{k}$, then ⊛ is a CGTN.

There are different types of CGTN—minimum CGTN, product CGTN, and Lukasiewicz CGTN can be mentioned among the most important of them. In this work, we choose the minimum CGTN ${⊛}_M:{\mathcal{G}}_{{\mathcal{S}}_1}\times {\mathcal{G}}_{{\mathcal{S}}_1}\to {\mathcal{G}}_{{\mathcal{S}}_1}$, which is defined as follows:

$$\mathrm{g}{⊛}_M\mathrm{k}=\mathrm{diag}[{\mathrm{g}}_1,\cdots ,{\mathrm{g}}_j]{⊛}_{\mathrm{M}}\mathrm{diag}[{\mathrm{k}}_1,\cdots ,{\mathrm{k}}_j]=\mathrm{diag}[min\{{\mathrm{g}}_1,{\mathrm{k}}_1\},\cdots ,min\{{\mathrm{g}}_j,{\mathrm{k}}_j\}].$$

We also provide the definition of product CGTN and Lukasiewicz CGTN as follows:

$$\begin{array}{cc}\hfill \mathrm{g}{⊛}_P\mathrm{k}& =\mathrm{diag}[{\mathrm{g}}_1,\cdots ,{\mathrm{g}}_j]{⊛}_{\mathrm{P}}\mathrm{diag}[{\mathrm{k}}_1,\cdots ,{\mathrm{k}}_j]=\mathrm{diag}[{\mathrm{g}}_1.{\mathrm{k}}_1,\cdots ,{\mathrm{g}}_j.{\mathrm{k}}_j\}],\hfill \\ \hfill \mathrm{g}{⊛}_L\mathrm{k}& =\mathrm{diag}[{\mathrm{g}}_1,\cdots ,{\mathrm{g}}_j]{⊛}_{\mathrm{L}}\mathrm{diag}[{\mathrm{k}}_1,\cdots ,{\mathrm{k}}_j]\hfill \\ \hfill & =\mathrm{diag}[max\{{\mathrm{g}}_1+{\mathrm{k}}_1-1,0\},\cdots ,max\{{\mathrm{g}}_j+{\mathrm{k}}_j-1,0\}].\hfill \end{array}$$

In the following, we provide examples of these CGTNs.

Example 1. 

(${⊛}_M$) $\mathrm{diag}[0,\frac{1}{10},\frac{1}{100}]{⊛}_{\mathrm{M}}\mathrm{diag}[\frac{1}{5},1,\frac{1}{4}]=\mathrm{diag}[0,\frac{1}{10},\frac{1}{100}];$

• (${⊛}_P$) $\mathrm{diag}[0,\frac{1}{10},\frac{1}{100}]{⊛}_{\mathrm{P}}\mathrm{diag}[\frac{1}{5},1,\frac{1}{4}]=\mathrm{diag}[0,\frac{1}{10},\frac{1}{400}];$
• (${⊛}_L$) $\mathrm{diag}[0,\frac{1}{10},\frac{1}{100}]{⊛}_{\mathrm{L}}\mathrm{diag}[\frac{1}{5},1,\frac{1}{4}]=\mathrm{diag}[0,\frac{1}{10},0].$

In the following, we will define the features of the matrix-type fuzzy functions and the matrix-type fuzzy norms spaces.

Definition 3. 

The MVFF $\Delta :{\mathcal{S}}_3\times {\mathcal{S}}_2\to {\mathcal{G}}_{{\mathcal{S}}_1}$ is increasing and continuous, ${lim}_{\varsigma \to +\infty }\Delta (\xi ,\varsigma )=\mathbf{1}$ for every $\xi \in {\mathcal{S}}_3$ and $\varsigma \in {\mathcal{S}}_2$, $\mathcal{X}\precsim \Delta$ if and only if $\mathcal{X}(\xi ,\varsigma )⪯\Delta (\xi ,\varsigma ),$ for all $\varsigma \in {\mathcal{S}}_2$ and $\xi \in {\mathcal{S}}_3$ where $\mathcal{X}$ is the MVFF and ⪯ is the relation defined for this type of function.

Definition 4. 

Consider the linear space $\mathcal{Y}$, CGTN ⊛ and the MVFF ${{\rm Y}}_{\mathcal{Y}}:\mathcal{S}\times {\mathcal{S}}_2\to {\mathcal{G}}_{{\mathcal{S}}_1}$, we define $(\mathcal{Y},{{\rm Y}}_{\mathcal{Y}},⊛)$, which is called an MVFN-S and has the following properties,

• ${{\rm Y}}_{\mathcal{Y}}(\xi ,\varsigma )=\mathbf{1}$ if and only if $\xi =0$ for $\varsigma \in {\mathcal{S}}_2$;
• ${{\rm Y}}_{\mathcal{Y}}(ϵ\xi ,\varsigma )={{\rm Y}}_{\mathcal{Y}}(\xi ,\frac{\varsigma }{\left|ϵ\right|})$ for all $\xi \in \mathcal{Y}$ and $\gamma \ne 0\in \mathbb{C}$;
• ${{\rm Y}}_{\mathcal{Y}}(\xi +\varrho ,\varsigma +\beta )⪰{{\rm Y}}_{\mathcal{Y}}(\xi ,\varsigma )⊛{{\rm Y}}_{\mathcal{Y}}(\xi ,\beta )$ for all $\xi \in \mathcal{Y}$ and any $\varsigma ,\beta \in {\mathcal{S}}_2$;
• ${lim}_{\varsigma \to +\infty }{{\rm Y}}_{\mathcal{Y}}(\xi ,\varsigma )=\mathbf{1}$ for any $\varsigma \in {\mathcal{S}}_2$.

When an MVFN-S is complete, we denote it by MVFB-S.

In the following, we investigate optimal stability by introducing a new optimal control function. For this purpose, we go to the definition of the aggregation function. Next, we provide a brief introduction of the special functions used in the optimal control function [6].

Definition 5. 

If for any $({\xi }_1,\cdots ,{\xi }_{\mathrm{m}}),({\varrho }_1,\cdots ,{\varrho }_{\mathrm{m}})\in {\mathbb{R}}^{\mathrm{m}}$ and $\iota \in \{1,\cdots ,\mathrm{m}\},$ and an idempotent function ${\mathrm{z}}^{\left(\mathrm{m}\right)}:{\mathbb{R}}^{\mathrm{m}}⟶\mathbb{R}$, we have ${\xi }_{\iota }\le {\varrho }_{\iota }⟹{\mathrm{z}}^{\left(\mathrm{m}\right)}({\xi }_1,\cdots ,{\xi }_{\mathrm{m}})\le {\mathrm{z}}^{\left(\mathrm{m}\right)}({\varrho }_1,\cdots ,{\varrho }_{\mathrm{m}})$, then the $\mathrm{m}$-ary ${\mathrm{z}}^{\left(\mathrm{m}\right)}$ is a generalized aggregation function where $\mathrm{m}\in \mathbb{N}$. For $\mathrm{m}=1$ and each $\xi \in \mathbb{R}$, we have ${\mathrm{z}}^{\left(1\right)}\left(\xi \right)=\xi$ and for the convenience of writing we can remove $\mathrm{m}$ ($\mathrm{m}$ indicates the number of function variables).

The famous functions, i.e., arithmetic mean function, projection function, order statistic function, median function, and minimum and maximum functions, are among the important functions of aggregation type. In [6], the authors showed a control function made by minimum aggregation function is the optimal controller. The minimum (MIN) is the smallest generalized aggregation function, and it is defined as follows

$$\begin{array}{cc}\hfill MIN\left(\xi \right)& =O{S}_1\left(\xi \right)=min\{{\xi }_1,\cdots ,{\xi }_j\}=\underset{\iota =1}{\overset{\mathrm{m}}{\bigwedge }}{\xi }_{\iota }.\hfill \\ \hfill \end{array}$$

(4)

Therefore, by studying [6,10], we consider the following function as the optimal controller:

$$\begin{array}{cc}\hfill \mathit{MIN}\left(\Omega (\xi ,\varsigma )\right)=\mathrm{diag}& \left[MIN(\Omega (\xi ,\varsigma \left)\right),\cdots ,MIN(\Omega (\xi ,\varsigma \left)\right)\right].\hfill \end{array}$$

(5)

where

$$\begin{array}{cc}\hfill & \Omega (\xi ,\varsigma )=\left({\mathbb{W}}_{E_{\lambda ,\mu }},{\mathbb{W}}_{W_{\lambda ,\mu }},{\mathbb{W}}_{{}_2{F}_1},{\mathbb{W}}_{H_{{\sigma }_2,{\sigma }_4}^{{\sigma }_3,{\sigma }_1}},{\mathbb{W}}_{exp}\right).\hfill \end{array}$$

(6)

In the proofs, we use the symbol ${\Omega }_{{\mathit{OS}}_{\mathbf{1}}}(\xi ,\varsigma )$ instead of the control function $\mathit{MIN}\left(\Omega (\xi ,\varsigma )\right)$. Additionally, all the variables in the above function are considered as $\frac{-\parallel \xi \parallel }{\varsigma }$. In the following, we introduce special functions used in ${\Omega }_{{\mathit{OS}}_{\mathbf{1}}}(\xi ,\varsigma )$ function [6,10].

Definition 6. 

The real exponential function is defined by the following power series

$$\begin{array}{c}\hfill {\mathbb{W}}_{exp}\left(\xi \right))=\sum _{j=0}^{\infty }\frac{{\xi }^j}{j!},{\mathbb{W}}_{exp}\left(1\right)=\sum _{j=0}^{\infty }\frac{1}{j!}\end{array}$$

(7)

since the radius of convergence of this power series is infinite, this definition is, in fact, applicable to all complex numbers $z\in \mathbb{C}$.

Definition 7. 

For $\lambda ,\mu \in \mathbb{C}$, $Re\left(\lambda \right),Re\left(\mu \right)>0$, the Mittag-Leffler functions are defined as follows

$${\mathbb{W}}_{E_{\lambda }}\left(\xi \right)=\sum _{j=0}^{\infty }\frac{{\xi }^j}{\Gamma (j\lambda +1)},{\mathbb{W}}_{E_{\lambda ,\mu }}\left(\xi \right)=\sum _{j=0}^{\infty }\frac{{\xi }^j}{\Gamma (j\lambda +\mu )},$$

where $\Gamma (.)$ is the famous gamma function and ${\mathbb{W}}_{{\mathrm{U}}_{\lambda }}$, ${\mathbb{W}}_{E_{\lambda ,\mu }}$ are the one- and two-parameter Mittag-Leffler functions, respectively.

Definition 8. 

For $\lambda >-1,\mu >0,\xi \in \mathbb{R}$, the Wright function is defined as follows

$${\mathbb{W}}_{W_{\lambda ,\mu }}\left(\xi \right)=\sum _{j=0}^{\infty }\frac{{\xi }^j}{j!\Gamma (\lambda j+\mu )},$$

such that it is of the $1/(1+\sigma )$ order.

Definition 9. 

H-Fox function for $0\le {\sigma }_1\le {\sigma }_2$, $1\le {\sigma }_3\le {\sigma }_4$, $\{{\mathrm{b}}_{\iota },{\mathrm{c}}_{\iota }\}\in \mathbb{C}$ and $\{{\mathrm{d}}_{\iota },{\mathrm{e}}_{\iota }\}\in {\mathbb{R}}^{+}$ is defined as follows

$$\begin{array}{c}\hfill {\mathbb{W}}_{H_{{\sigma }_2,{\sigma }_4}^{{\sigma }_3,{\sigma }_1}}\left(\xi \right)={\mathbb{W}}_{H_{{\sigma }_2,{\sigma }_4}^{{\sigma }_3,{\sigma }_1}}\left[\xi |\begin{array}{c}{({\mathrm{b}}_{\iota },{\mathrm{d}}_{\iota })}_{\iota =1,\cdots ,{\sigma }_2}\hfill \\ {({\mathrm{c}}_{\iota },{\mathrm{e}}_{\iota })}_{\iota =1,\cdots ,{\sigma }_2}\hfill \end{array}\right]=\frac{1}{2\pi i}{\int }_{\mathcal{A}}{H}_{{\sigma }_2,{\sigma }_4}^{{\sigma }_3,{\sigma }_1}\left(\varsigma \right){\xi }^{\varsigma }d\mathrm{t},\end{array}$$

(8)

where $\mathcal{A}\in \mathbb{C}$ is a path that is deleted and ${\mathcal{R}}_1\left(\varsigma \right)={\prod }_{\iota =1}^{{\sigma }_1}\Gamma ({\mathrm{c}}_{\iota }-{\varrho }_{\iota }\varsigma )$, ${\mathcal{R}}_2\left(\varsigma \right)={\prod }_{\iota =1}^{{\sigma }_3}\Gamma (1-{\mathrm{b}}_{\iota }+{\xi }_{\iota }\varsigma )$, ${\mathcal{R}}_3\left(\varsigma \right)={\prod }_{\iota ={\sigma }_3+1}^{{\sigma }_3}\Gamma (1-{\mathrm{c}}_{\iota }+{\varrho }_{\iota }\varsigma )$, ${\mathcal{R}}_4\left(\varsigma \right)={\prod }_{\iota ={\sigma }_1+1}^{{\sigma }_2}\Gamma ({\mathrm{b}}_{\iota }-{\xi }_{\iota }\varsigma )$ and ${\xi }^{\varsigma }=exp\left\{\varsigma \right(log\left|\xi \right|+iarg\xi \left)\right\}$. For these functions, there is a condition that ${\sigma }_1=0$ if and only if ${\mathcal{R}}_2\left(\varsigma \right)=1$, ${\sigma }_3={\sigma }_4$ if and only if ${\mathcal{R}}_3\left(\varsigma \right)=1$ and ${\sigma }_1={\sigma }_2$ if and only if ${\sigma }_4\left(\varsigma \right)=1$. Further, $H_{{\sigma }_2,{\sigma }_4}^{{\sigma }_3,{\sigma }_1}\left(\varsigma \right)=\frac{{\mathcal{R}}_1\left(\varsigma \right){\mathcal{R}}_2\left(\varsigma \right)}{{\mathcal{R}}_3\left(\varsigma \right){\mathcal{R}}_4\left(\varsigma \right)}$.

Definition 10. 

Considering $\mathit{p},\mathit{q},\mathit{r}>0$, the Gauss hypergeometric function ${\mathbb{W}}_{{}_2{F}_1}:{\mathbb{R}}^3\times {\mathcal{S}}_3⟶{\mathcal{S}}_2$ is defined as follows

$${\mathbb{W}}_{{}_2{F}_1}(\mathit{p},\mathit{q},\mathit{r};\xi )=\sum _{j=0}^{\infty }\frac{{\left(\mathit{p}\right)}_j{\left(\mathit{q}\right)}_j}{{\left(\mathit{r}\right)}_j}\frac{{\xi }^j}{j!}=\frac{\Gamma \left(\mathit{r}\right)}{\Gamma \left(\mathit{p}\right)\Gamma \left(\mathit{q}\right)}\sum _{j=0}^{\infty }\frac{\Gamma (\mathit{p}+j)\Gamma (\mathit{q}+j)}{\Gamma (\mathit{r}+j)}\frac{{\xi }^j}{j!}.$$

These functions are used in all the theorems presented in Section 4.

Considering the two vector spaces $\mathcal{M}$ and $\mathcal{N}$ along with FNS, for all $\xi ,\varrho ,\tau \in \mathcal{M}$, we define the following equations by considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$:

$$\begin{array}{c}\hfill {\mathcal{L}}_{1\Psi }(\xi ,\varrho ,\tau )=\Psi (\frac{\xi +\varrho }{2}+\tau )+\Psi (\frac{\xi -\varrho }{2}+\tau )-\Psi \left(\xi \right)-2\Psi \left(\tau \right),\end{array}$$

(9)

$$\begin{array}{c}\hfill {\mathcal{L}}_{2\Psi }(\xi ,\varrho ,\tau )=\Psi (\frac{\xi +\varrho }{2}+\tau )-\Psi (\frac{\xi -\varrho }{2}+\tau )-\Psi \left(\varrho \right),\end{array}$$

(10)

$$\begin{array}{c}\hfill {\mathcal{L}}_{3\Psi }(\xi ,\varrho ,\tau )=2\Psi (\frac{\xi +\varrho }{2}+\tau )-\Psi \left(\xi \right)-\Psi \left(\varrho \right)-2\Psi \left(\tau \right).\end{array}$$

(11)

For the field $\mathbb{F}\left(\mathbb{R}\mathrm{or}\mathbb{C}\right)$, we consider two UFBSs, ${\mathcal{E}}_1$ and ${\mathcal{E}}_2$ along with the unique terms ${\mathrm{E}}^{\prime },\mathrm{E}$, and FNSs. For each $\delta \in \mathbb{F}$ and all $\xi ,\varrho ,\tau \in {\mathcal{E}}_1$ and for the mapping $\Psi :{\mathcal{E}}_1\to {\mathcal{E}}_2$, we consider the following equation

$$\begin{array}{c}\hfill {\mathrm{U}}_{\delta }\Psi (\xi ,\varrho ,\tau ):=\Psi (\frac{\delta \xi +\delta \varrho }{2}+\delta \tau )+\delta \Psi (\frac{\xi -\varrho }{2}+\tau )-\delta \Psi \left(\xi \right)-2\delta \Psi \left(\tau \right).\end{array}$$

(12)

We assume that ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}:{\mathcal{M}}^3\times {\mathcal{S}}_2\to {\mathcal{S}}_4$ is a function that for all $\xi ,\varrho ,\tau \in \mathcal{M}$, we define in the following 4 cases:

$$\begin{array}{c}\hfill \tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{\xi }{2^{\ell }},\frac{\varrho }{2^{\ell }},\frac{\tau }{2^{\ell }}),\frac{\varsigma }{{\sum }_{\ell =1}^{\infty }{2}^{\ell }}\right)<\infty ,\end{array}$$

(13)

$$\begin{array}{c}\hfill \tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((2^{\ell }\xi ,2^{\ell }\varrho ,2^{\ell }\tau ),\frac{\varsigma }{{\sum }_{\ell =0}^{\infty }\frac{1}{2^{\ell }}}\right)<\infty ,\end{array}$$

(14)

$$\begin{array}{c}\hfill \tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{3^{\ell }}{2^{\ell }}\xi ,\frac{3^{\ell }}{2^{\ell }}\varrho ,\frac{3^{\ell }}{2^{\ell }}\tau ),\frac{\varsigma }{{\sum }_{\ell =0}^{\infty }\frac{2^{\ell }}{3^{\ell }}}\right)<\infty ,\end{array}$$

(15)

$$\begin{array}{c}\hfill \tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{2^{\ell }}{3^{\ell }}\xi ,\frac{2^{\ell }}{3^{\ell }}\varrho ,\frac{2^{\ell }}{3^{\ell }}\tau ),\frac{\varsigma }{{\sum }_{\ell =1}^{\infty }\frac{3^{\ell }}{2^{\ell }}}\right)<\infty ,\end{array}$$

(16)

and we consider these functions to prove our results.

3. C–O-Stability for CJAM and Isomorphisms in FBS and UFBS

Theorem 1 

([7]). Let $\mathcal{M}$ and $\mathcal{N}$ be vector spaces. If a mapping $\Psi :\mathcal{M}\to \mathcal{N}$ satisfies (1)–(3), then the mapping Ψ is Cauchy additive (CA).

Proof. 

If we put $\xi =\varrho$ in (1), (2), and (3) respectively, we have

$$\begin{array}{cc}\hfill & \Psi (\xi +\tau )+\Psi \left(\tau \right)=\Psi \left(\xi \right)+2\Psi \left(\tau \right),\hfill \end{array}$$

(17)

$$\begin{array}{cc}\hfill & \Psi (\xi +\tau )-\Psi \left(\tau \right)=\Psi \left(\xi \right),\hfill \end{array}$$

(18)

$$\begin{array}{cc}\hfill & 2\Psi (\xi +\tau )=2\Psi \left(\xi \right)+2\Psi \left(\tau \right),\hfill \end{array}$$

(19)

for all $\xi ,\tau \in \mathcal{M}$. Therefore, in all three cases above, we conclude that $\Psi (\xi +\tau )=\Psi \left(\xi \right)+\Psi \left(\tau \right)$ and this means that $\Psi :\mathcal{M}\to \mathcal{N}$ is CA. □

Proposition 1 

([7]). If $\Psi :\mathcal{M}\to \mathcal{N}$ are the functions used in theorem 1, then these functions are of Cauchy–Jensen additive mapping (CJAM) type. If we write $\xi =\varrho$ and $\tau =0$ in (3), then we have the following Cauchy–Jensen additive mapping (CJAM), respectively

$$\begin{array}{cc}\hfill \Psi (\xi +\tau )& =\Psi \left(\xi \right)+\Psi \left(\tau \right),\hfill \\ \hfill 2\Psi \left(\frac{\xi +\varrho }{2}\right)& =\Psi \left(\xi \right)+\Psi \left(\varrho \right).\hfill \end{array}$$

Theorem 2. 

Considering the mapping $\Psi :\mathcal{M}\to Y$ and function (13), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right),\end{array}$$

(20)

then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that for all $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰\tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\xi ,\xi ,\xi ),2\varsigma \right).\end{array}$$

(21)

Proof. 

In the assumption of (20), we put $\xi =\varrho =\tau$. Therefore, for all $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(2\xi \right)-2\Psi \left(\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\xi ,\xi ),\varsigma \right).\end{array}$$

(22)

Then, for each $\xi \in \mathcal{M}$

$${{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-2\Psi \left(\frac{\xi }{2}\right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{\xi }{2},\frac{\xi }{2},\frac{\xi }{2}),\varsigma \right),$$

therefore, for all $\xi \in \mathcal{M}$ and for each $\kappa \in {\mathbb{Z}}^{+}$ and $\gamma \in {\mathbb{Z}}^{+}$ with $\kappa >\gamma$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(2^{\gamma }\Psi \left(\frac{\xi }{2^{\gamma }}\right)-2^{\kappa }\Psi \left(\frac{\xi }{2^{\kappa }}\right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{\xi }{2^{\ell }},\frac{\xi }{2^{\ell }},\frac{\xi }{2^{\ell }})\frac{\varsigma }{{\sum }_{\ell =\gamma +1}^{\kappa }{2}^{\ell -1}}\right).\end{array}$$

(23)

Therefore, according to (13) and (23), for all $\xi \in \mathcal{M}$, the sequence $\{2^{\alpha }\Psi \left(\frac{\xi }{2^{\alpha }}\right)\}$ is a Cauchy sequence, and since $\mathcal{N}$ is complete, the convergence of this sequence is the result. Therefore, for each $\xi \in \mathcal{M}$, we define the mapping $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ as $\mathcal{H}\left(\xi \right)={lim}_{\alpha \to \infty }{2}^{\alpha }\Psi \left(\frac{\xi }{2^{\alpha }}\right)$. Due to equations (13) and (20), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, we get

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{\mathcal{H}}(\xi ,\varrho ,\tau ),\varsigma \right)=\underset{\alpha \to \infty }{lim}{{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(\frac{\xi }{2^{\alpha }},\frac{\varrho }{2^{\alpha }},\frac{\tau }{2^{\alpha }}),\frac{\varsigma }{2^{\alpha }}\right)⪰\underset{\alpha \to \infty }{lim}{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{\xi }{2^{\alpha }},\frac{\varrho }{2^{\alpha }},\frac{\tau }{2^{\alpha }}),\frac{\varsigma }{2^{\alpha }}\right)=\mathbf{1},\end{array}$$

and then, ${\mathcal{L}}_{\mathcal{H}}(\xi ,\varrho ,\tau )=0$. Now, using Theorem 1, we conclude that $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ is a CAM. If we consider (23) and assume that $\gamma =0$ and we get limit when $m\to \infty$, we reach (21). Next, we prove the uniqueness of $\mathcal{H}$. For this purpose, we consider another CJAM $\Phi :\mathcal{M}\to \mathcal{N}$ and assume that it applies to (21). Therefore, we have the following inequality for every $\xi \in \mathcal{M}$, which tends to zero when $\alpha \to \infty$,

$$\begin{array}{cc}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\mathcal{H}\left(\xi \right)-\Phi \left(\xi \right),2\varsigma \right)& ={{\rm Y}}_{\mathcal{Y}}\left(\mathcal{H}\left(\frac{\xi }{2^{\alpha }}\right)-\Phi \left(\frac{\xi }{2^{\alpha }}\right),\frac{2\varsigma }{2^{\alpha }}\right)\hfill \end{array}$$

(24)

$$\begin{array}{cc}\hfill & ⪰{{\rm Y}}_{\mathcal{Y}}\left(\mathcal{H}\left(\frac{\xi }{2^{\alpha }}\right)-\Psi \left(\frac{\xi }{2^{\alpha }}\right),\frac{\varsigma }{2^{\alpha }}\right)⊛{{\rm Y}}_{\mathcal{Y}}\left(\Phi \left(\frac{\xi }{2^{\alpha }}\right)-\Psi \left(\frac{\xi }{2^{\alpha }}\right),\frac{\varsigma }{2^{\alpha }}\right)\hfill \end{array}$$

(25)

$$\begin{array}{cc}\hfill & ⪰\tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }}),\frac{\varsigma }{2^{\alpha }}\right)⊛\tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\frac{\xi }{2^n},\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }}),\frac{\varsigma }{2^{\alpha }}\right)\hfill \end{array}$$

(26)

$$\begin{array}{cc}\hfill & ⪰\tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }}),\frac{\varsigma }{2^{\alpha }}\right),\hfill \end{array}$$

(27)

and this means $\mathcal{H}\left(\xi \right)=\Phi \left(\xi \right)$. □

Theorem 3. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (14), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if (20) is established, then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that it applies to (21).

Proof. 

Using (22) and for each $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\frac{1}{2}\Psi \left(2\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\xi ,\xi ),2\varsigma \right),\end{array}$$

therefore, for all $\xi \in \mathcal{M}$ and for each $\kappa ,\gamma \in {\mathbb{Z}}^{+}$ with $\kappa >\gamma$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\frac{1}{2^{\gamma }}\Psi \left(2^{\gamma }\xi \right)-\frac{1}{2^{\kappa }}\Psi \left(2^{\kappa }\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((2^{\ell }\xi ,2^{\ell }\xi ,2^{\ell }\xi ),\frac{\varsigma }{{\sum }_{\ell =\gamma }^{\kappa -1}\frac{1}{2^{\ell +1}}}\right).\end{array}$$

(28)

Therefore, according to (14) and (28), for all $\xi \in \mathcal{M}$, the sequence $\{\frac{1}{2^{\alpha }}\Psi \left(2^{\alpha }\xi \right)\}$ is a Cauchy sequence, and since $\mathcal{N}$ is complete, the convergence of this sequence is the result. Therefore, for each $\xi \in \mathcal{M}$, we define the mapping $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ as $\mathcal{H}\left(\xi \right):={lim}_{\alpha \to \infty }\frac{1}{2^{\alpha }}\Psi \left(2^{\alpha }\xi \right)$. Due to the (14) and (20), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, we get

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{\mathcal{H}}(\xi ,\varrho ,\tau ),\varsigma \right)=\underset{\alpha \to \infty }{lim}{{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(2^{\alpha }\xi ,2^{\alpha }\varrho ,2^{\alpha }\tau ),2^{\alpha }\varsigma \right)⪰\underset{\alpha \to \infty }{lim}{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((2^{\alpha }\xi ,2^{\alpha }\varrho ,2^{\alpha }\tau ),2^{\alpha }\varsigma \right)=\mathbf{1},\end{array}$$

and then, ${\mathcal{L}}_{\mathcal{H}}(\xi ,\varrho ,\tau )=0$. Now, using Theorem 1, we conclude that $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ is a CAM. If we consider (28) and assume that $\gamma =0$ and we get limit when $\kappa \to \infty$, we reach (21). To prove the uniqueness, we repeat all the steps taken in Theorem 2, and the proof is finished. □

Theorem 4. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (15), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if (20) is established, then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that for all $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰\tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\xi ,0,\xi ),3\varsigma \right).\end{array}$$

(29)

Proof. 

In the assumption of (20), we put $\xi =\tau ,\varrho =0$. Therefore, for all $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(2\Psi \left(\frac{3}{2}\xi \right)-3\Psi \left(\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,0,\xi ),\varsigma \right).\end{array}$$

(30)

Then, for each $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\frac{2}{3}\Psi \left(\frac{3}{2}\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,0,\xi ),3\varsigma \right),\end{array}$$

and therefore, for all $\xi \in \mathcal{M}$ and for each $\kappa \in {\mathbb{Z}}^{+}$ and $\gamma \in {\mathbb{Z}}^{+}$ with $\kappa >\gamma$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\frac{2^{\gamma }}{3^{\gamma }}\Psi \left(\frac{3^{\gamma }}{2^{\gamma }}\xi \right)-\frac{2^{\kappa }}{3^{\kappa }}\Psi \left(\frac{3^{\kappa }}{2^{\kappa }}\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{3^{\ell }}{2^{\ell }}\xi ,0,\frac{3^{\ell }}{2^{\ell }}\xi ),\frac{\varsigma }{{\sum }_{\ell =\gamma }^{\kappa -1}\frac{2^{\ell }}{3^{\ell +1}}}\right).\end{array}$$

(31)

Therefore, according to (15) and (31), for all $\xi \in \mathcal{M}$, the sequence $\{\frac{2^{\alpha }}{3^{\alpha }}\Psi \left(\frac{3^{\alpha }}{2^{\alpha }}\xi \right)\}$ is a Cauchy sequence, and since $\mathcal{N}$ is complete, the convergence of this sequence is the result. Therefore, for each $\xi \in \mathcal{M}$, we define the mapping $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ as $\mathcal{H}\left(\xi \right):={lim}_{\alpha \to \infty }\frac{2^{\alpha }}{3^{\alpha }}\Psi \left(\frac{3^{\alpha }}{2^{\alpha }}\xi \right)$. To continue the proof, we repeat all the steps taken in Theorem 2, and the proof is finished. □

Theorem 5. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (16), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if (20) is established, then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that it applies to (29).

Proof. 

Using (30) and for each $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\frac{3}{2}\Psi \left(\frac{2}{3}\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{2}{3}\xi ,0,\frac{2}{3}\xi ),2\varsigma \right),\end{array}$$

therefore, for all $\xi \in \mathcal{M}$ and for each $\kappa ,\gamma \in {\mathbb{Z}}^{+}$ with $\kappa >\gamma$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\frac{3^{\gamma }}{2^{\gamma }}\Psi \left(\frac{2^{\gamma }}{3^{\gamma }}\xi \right)-\frac{3^{\kappa }}{2^{\kappa }}\Psi \left(\frac{2^{\kappa }}{3^{\kappa }}\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{2^{\ell }}{3^{\ell }}\xi ,0,\frac{2^{\ell }}{3^{\ell }}\xi ),\frac{\varsigma }{{\sum }_{\ell =\gamma +1}^{\kappa }\frac{3^{\ell -1}}{2^{\ell }}}\right).\end{array}$$

(32)

Therefore, according to (16) and (32), for all $\xi \in \mathcal{M}$, the sequence $\{\frac{3^{\alpha }}{2^{\alpha }}\Psi \left(\frac{2^{\alpha }}{3^{\alpha }}\xi \right)\}$ is a Cauchy sequence, and since $\mathcal{N}$ is complete, the convergence of this sequence is the result. Therefore, for each $\xi \in \mathcal{M}$, we define the mapping $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ as $\mathcal{H}\left(\xi \right)={lim}_{\alpha \to \infty }\frac{3^{\alpha }}{2^{\alpha }}\Psi \left(\frac{2^{\alpha }}{3^{\alpha }}\xi \right)$. To continue the proof, we repeat all the steps taken in Theorem 2, and the proof is finished. □

Theorem 6. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (13), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if for all $\xi ,\varrho ,\tau \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{2\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right),\end{array}$$

(33)

then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to Y$ such that it applies to (21).

Proof. 

In the (33), we put $\xi =\varrho =\tau$. Therefore, for all $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(2\xi \right)-2\Psi \left(\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\xi ,\xi ),\varsigma \right).\end{array}$$

(34)

To continue the proof, all the steps we have to go through are similar to the steps of Theorem 2. □

Theorem 7. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (14), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if (33) is established, then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that it applies to (21).

Proof. 

Using (34) and for each $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\frac{1}{2}\Psi \left(2\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\xi ,\xi ),2\varsigma \right),\end{array}$$

the continuation of the proof process is similar to the proof process of Theorems 2 and 3. □

Theorem 8. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (14), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if for all $\xi ,\varrho ,\tau \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{3\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right),\end{array}$$

(35)

then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that for all $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰\tilde{{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}}\left((\xi ,\xi ,\xi ),4\varsigma \right).\end{array}$$

(36)

Proof. 

In the (35), we put $\xi =\varrho =\tau$. Therefore, for all $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(2\xi \right)-2\Psi \left(\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\xi ,\xi ),2\varsigma \right).\end{array}$$

(37)

The continuation of the proof process is similar to the proof process of Theorem 2. □

Theorem 9. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (14), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if (35) is established, then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that it applies to (36).

Proof. 

Using (37) and for each $\xi \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\frac{1}{2}\Psi \left(2\xi \right),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\xi ,\xi ),4\varsigma \right),\end{array}$$

the continuation of the proof process is similar to the proof process of Theorems 2 and 3. □

Theorem 10. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (15), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if (35) is established, then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that it applies to (29).

Proof. 

All the steps we have to go through to prove this theorem are similar to the steps of Theorems 2 and 4. □

Theorem 11. 

Considering the mapping $\Psi :\mathcal{M}\to \mathcal{N}$ and function (16), for each $\xi ,\varrho ,\tau \in \mathcal{M}$, if (35) is established, then, there exists a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$ such that it applies to (29).

Proof. 

All the steps we have to go through to prove this theorem are similar to the steps of Theorems 2, 4, and 5. □

Theorem 12. 

Considering the bijective multiplicative mapping $\Psi :{\mathcal{E}}_1\to {\mathcal{E}}_2$ and the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}:{\mathcal{E}}_1^3\times {\mathcal{S}}_2\to {\mathcal{S}}_4$ which satisfies (13), if for every $\delta \in \mathbb{F}$ and for all $\xi ,\varrho ,\tau \in \mathcal{M}$, we have

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathrm{U}}_{\delta }\Psi (\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right),\end{array}$$

(38)

and

$$\begin{array}{c}\hfill \underset{\alpha \to \infty }{lim}{2}^{\alpha }\Psi \left(\frac{\mathrm{E}}{2^{\alpha }}\right)={\mathrm{E}}^{\prime },\end{array}$$

(39)

then, the BMM Ψ is an isomorphism.

Proof. 

To start the proof, we consider hypothesis (38) with $\delta =1$. According to Theorem 2, for every $\xi \in {\mathcal{E}}_1$, there exists a unique AM $\mathcal{H}:{\mathcal{E}}_1\to {\mathcal{E}}_2$ with the mapping

$$\begin{array}{c}\hfill \mathcal{H}\left(\xi \right)=\underset{\alpha \to \infty }{lim}{2}^{\alpha }\Psi \left(\frac{\xi }{2^{\alpha }}\right),\end{array}$$

(40)

such that it holds in (21). For all $\delta \in \mathbb{F}$ and each $\xi ,\varrho ,\tau \in {\mathcal{E}}_1$, using (38) and (39), we get

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathrm{U}}_{\delta }\mathcal{H}(\xi ,\xi ,\xi ),\varsigma \right)=\underset{n\to \infty }{lim}\left({\mathrm{U}}_{\delta }\Psi (\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }}),\frac{\varsigma }{2^{\alpha }}\right)⪰\underset{\alpha \to \infty }{lim}{\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }},\frac{\xi }{2^{\alpha }}),\frac{\varsigma }{2^{\alpha }}\right)=\mathbf{1}.\end{array}$$

Therefore, ${\mathrm{U}}_{\delta }\mathcal{H}(\xi ,\xi ,\xi )=0$ and for all $\delta \in \mathbb{F}$ and all $\xi \in {\mathcal{E}}_1$, $\mathcal{H}\left(2\delta \xi \right)=2\delta \mathcal{H}\left(\xi \right)$. Considering that $\mathcal{H}$ is additive, for every $\delta \in \mathbb{F}$ and all $\xi \in {\mathcal{E}}_1$, we have $\mathcal{H}\left(\delta \xi \right)=\delta \mathcal{H}\left(\xi \right)$ and this means that $\mathcal{H}:{\mathcal{E}}_1\to {\mathcal{E}}_2$ is an $\mathbb{F}$-linear mapping. Now we use the multiplicative property of $\Psi$. As a result, for each $\xi ,\varrho \in {\mathcal{E}}_1$, we have

$$\begin{array}{c}\hfill \mathcal{H}\left(\xi \varrho \right)=\underset{\alpha \to \infty }{lim}{2}^{\alpha }\Psi \left(\frac{\xi \varrho }{2^{\alpha }}\right)=\underset{\alpha \to \infty }{lim}{2}^{\alpha }\Psi \left(\frac{\xi }{2^{\alpha }}\right)\Psi \left(\varrho \right)=\mathcal{H}\left(\xi \right)\Psi \left(\varrho \right).\end{array}$$

(41)

In the following, according to (39), we have

$$\begin{array}{c}\hfill \mathcal{H}\left(\mathrm{E}\right)=\underset{\alpha \to \infty }{lim}{2}^{\alpha }\Psi \left(\frac{\mathrm{E}}{2^{\alpha }}\right)={\mathrm{E}}^{\prime },\end{array}$$

(42)

and according to (41) and (42), for every $\xi \in {\mathcal{E}}_1$, we get $\mathcal{H}\left(\xi \right)=\mathcal{H}\left(\mathrm{E}\xi \right)=\mathcal{H}\left(\mathrm{E}\right)\Psi \left(\xi \right)={\mathrm{E}}^{\prime }\Psi \left(\xi \right)=\Psi \left(\xi \right)$. Therefore, the BMM $\Psi$ is an isomorphism. □

4. C–O–M-Stability for CJAM and Isomorphisms in FBS and UFBS

In this section, in Theorems 13–22, the function $\Psi$ from $\mathcal{M}$ to $\mathcal{N}$, and also $\xi ,\varrho ,\tau \in \mathcal{M}$.

Theorem 13. 

If we have the following condition for every $\eta ,\xi \in {\mathbb{R}}^{+}$ and $\eta >1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\xi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{3\phi }{2^{\eta }-2}{\left|\right|\xi \left|\right|}^{\eta },\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right)$ and put it in Theorem 2. □

Theorem 14. 

If we have the following condition for every ${\eta }_1,{\eta }_2,{\eta }_3,\phi \in {\mathbb{R}}^{+}$ and ${\eta }_1+{\eta }_2+{\eta }_3>1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{\phi }{2^{{\eta }_1+{\eta }_2+{\eta }_3}-2}{\left|\right|\xi \left|\right|}^{{\eta }_1+{\eta }_2+{\eta }_3},\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right)$ and put it in Theorem 2. □

Theorem 15. 

If we have the following condition for every $\eta ,\phi \in {\mathbb{R}}^{+}$ and $\eta <1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{3\phi }{2-2^{\eta }}{\left|\right|\xi \left|\right|}^{\eta },\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right)$ and put it in Theorem 3. □

Theorem 16. 

If we have the following condition for every ${\eta }_1,{\eta }_2,{\eta }_3,\phi \in {\mathbb{R}}^{+}$ and ${\eta }_1+{\eta }_2+{\eta }_3<1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{\phi }{2-2^{{\eta }_1+{\eta }_2+{\eta }_3}}{\left|\right|\xi \left|\right|}^{{\eta }_1+{\eta }_2+{\eta }_3},\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right)$ and put it in Theorem 3. □

Theorem 17. 

If we have the following condition for every $\eta ,\phi \in {\mathbb{R}}^{+}$ and $\eta <1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{1\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill \left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{2^{\eta +1}\phi }{3·2^{\eta }-2·3^{\eta }}{\left|\right|\xi \left|\right|}^{\eta },\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right)$ and put it in Theorem 4. □

Theorem 18. 

If we have the following condition for every $\eta ,\phi \in {\mathbb{R}}^{+}$ and $\eta >1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{H}}_{1\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{2^{\eta +1}\phi }{2·3^{\eta }-3·2^{\eta }}{\left|\right|\xi \left|\right|}^{\eta },\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right)$ and put it in Theorem 5. □

Theorem 19. 

If we have the following condition for every $\eta ,\phi \in {\mathbb{R}}^{+}$ and $\eta >1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{3\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{3\phi }{2^{\eta +1}-4}{\left|\right|\xi \left|\right|}^{\eta },\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right)$ and put it in Theorem 8. □

Theorem 20. 

If we have the following condition for every ${\eta }_1,{\eta }_2,{\eta }_3,\phi \in {\mathbb{R}}^{+}$ and ${\eta }_1+{\eta }_2+{\eta }_3>1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{3\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{\phi }{2^{{\eta }_1+{\eta }_2+{\eta }_3+1}-4}{\left|\right|\xi \left|\right|}^{{\eta }_1+{\eta }_2+{\eta }_3},\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right)$ and put it in Theorem 8. □

Theorem 21. 

If we have the following condition for every $\eta ,\phi \in {\mathbb{R}}^{+}$ and $\eta <1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{3\Psi }(\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{3\phi }{4-2^{\eta +1}}{\left|\right|\xi \left|\right|}^{\eta },\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right)$ and put it in Theorem 9. □

Theorem 22. 

If we have the following condition for every ${\eta }_1,{\eta }_2,{\eta }_3,\phi \in {\mathbb{R}}^{+}$ and ${\eta }_1+{\eta }_2+{\eta }_3<1$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathcal{L}}_{3\Psi }(\xi ,\varrho ,\tau ),\right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right),\end{array}$$

then, we can say that there is a unique AM $\mathcal{H}:\mathcal{M}\to \mathcal{N}$, such that for every $\xi \in \mathcal{M}$

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left(\Psi \left(\xi \right)-\mathcal{H}\left(\xi \right),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\frac{\phi }{4-2^{{\eta }_1+{\eta }_2+{\eta }_3+1}}{\left|\right|\xi \left|\right|}^{{\eta }_1+{\eta }_2+{\eta }_3},\varsigma \right).\end{array}$$

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right)$ and put it in Theorem 9. □

Theorem 23. 

We consider the BMM function $\Psi :{\mathcal{E}}_1\to {\mathcal{E}}_2$ such that for every $\delta \in \mathbb{F}$ and all $\xi ,\varrho ,\tau \in {\mathcal{E}}_1$, it applies to the following inequalities

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathrm{U}}_{\delta }\Psi (\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right),\end{array}$$

(43)

$$\begin{array}{c}\hfill \underset{\alpha \to \infty }{lim}{2}^{\alpha }\Psi \left(\frac{\mathrm{E}}{2^{\alpha }}\right)={\mathrm{E}}^{\prime },\end{array}$$

(44)

where $\eta ,\phi \in {\mathbb{R}}^{+}$ and $\eta >1$. Then the BMM Ψ is an isomorphism.

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi \left(\right|\left|\xi \right|{|}^{\eta }+\left|\right|\varrho |{|}^{\eta }+|\left|\tau \right|{|}^{\eta }),\varsigma \right)$ and put it in Theorem 12. □

Theorem 24. 

We consider the BMM function $\Psi :{\mathcal{E}}_1\to {\mathcal{E}}_2$ such that for every $\delta \in \mathbb{F}$ and all $\xi ,\varrho ,\tau \in {\mathcal{E}}_1$, it applies to the following inequalities

$$\begin{array}{c}\hfill {{\rm Y}}_{\mathcal{Y}}\left({\mathrm{U}}_{\delta }\Psi (\xi ,\varrho ,\tau ),\varsigma \right)⪰{\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right),\end{array}$$

(45)

$$\begin{array}{c}\hfill \underset{\alpha \to \infty }{lim}{2}^{\alpha }\Psi \left(\frac{\mathrm{E}}{2^{\alpha }}\right)={\mathrm{E}}^{\prime },\end{array}$$

(46)

where ${\eta }_1,{\eta }_2,{\eta }_3,\phi \in {\mathbb{R}}^{+}$ and ${\eta }_1+{\eta }_2+{\eta }_3>1$. Then the BMM Ψ is an isomorphism.

Proof. 

To prove it, it is enough to define the function ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)$ as ${\Delta }_{{\mathit{OS}}_{\mathbf{1}}}\left((\xi ,\varrho ,\tau ),\varsigma \right)={\Omega }_{{\mathit{OS}}_{\mathbf{1}}}\left(\phi ·{\left|\right|\xi \left|\right|}^{{\eta }_1}·{\left|\right|\varrho \left|\right|}^{{\eta }_2}·{\left|\right|\tau \left|\right|}^{{\eta }_3},\varsigma \right)$ and put it in Theorem 12. □

5. Conclusions

The issue of the stability of equations has attracted the attention of many authors in the last few decades. In this article, we have tried to present a generalization of previous works in this field. For this purpose, we have first defined a new space called the matrix value fuzzy Banach spaces. In the stability of equations, the goal is to obtain the best approximation. Since the control function plays an important role in this field, we have selected the best and most optimal controller from among the specific functions. Choosing the aggregation control function brings us closer to the appropriate approximation. We have done all these proofs for functional Equations (1)–(3) and isomorphisms in FBS and UFBS.