A New Approach to Involution in Fuzzy C^★-Algebra via Functional Inequality and Python Implementation

Abstract

This article explores the stability of involution in fuzzy C${}^{★}$-algebras through the use of a functional inequality. We present an approach to obtaining an approximate involution in fuzzy C${}^{★}$-algebras by utilizing a fixed-point method. Moreover, for greater clarity, we implemented Python code for the main theorem.

1. Introduction

Hyers–Ulam stability is a fundamental concept in the field of functional equations. The issue of the stability of functional equations arises from the question: “Is a function that approximately satisfies a functional equation also close to a function that exactly satisfies the same functional equation”. In the field of mathematics, the Hyers–Ulam theorem has been a topic of great interest and discussion among scholars. This concept was first introduced in 1940 by Stanislaw Ulam in his famous speech at the University of Wisconsin, where he presented a problem on the stability of functional equations [1]. This problem was solved by Donald Hyers in 1941 for additive mappings [2]. Hyers’s theorem was as follows:

Theorem 1 ([2]). 

Assume that U and V are Banach spaces, and let f be a mapping from U to V that satisfies the inequality

$$\parallel f(u+v)-f\left(u\right)-f\left(v\right)\parallel \le \delta$$

for some $\delta >0$ and all $u,v\in U$. Then, there exists a unique additive mapping $T:U\to V$ such that

$$\parallel T\left(u\right)-f\left(u\right)\parallel \le \delta$$

holds for every $u\in U$.

Ten years later, Takashi Aoki had a major impact on the development of the Hyers–Ulam stability theorem by introducing a modification to the control function, replacing $\delta$ with $K(\parallel x{\parallel }^p+\parallel y{\parallel }^p)$ for $K>0$ and $0\le p<1$ [3]. In a later development, Rassias extended the Hyers–Ulam stability theorem and Aoki’s results to linear mappings with different control functions [4].

Today, Hyers–Ulam stability has become an important topic of research in mathematics, as it has applications in several fields, including physics, engineering, economics, and computer science. The results of Hyers–Ulam stability have been extended to various types of functional equations, including quadratic, cubic, Jensen, differential, and integral equations, among others.

Many mathematicians have contributed to the development of the theory of Hyers–Ulam stability by proposing and proving new theorems. They have changed the type of functional equation, control function, and space in the Hyers–Ulam stability theorem to investigate and prove new conditions [5,6,7,8,9]. The Hyers–Ulam stability theorem has been used to prove many other results in different branches of mathematics.

In 1984, Katrasas introduced the concept of fuzzy norm spaces [10], where a fuzzy norm is defined in a linear space and the topological structure of the fuzzy vector is established. Several mathematicians have investigated fuzzy norms on linear spaces from a variety of perspectives over time. One important study [11] in 2003 added a fuzzy norm and created a fuzzy measure in the concept of Kramosil and Michalek [12]. They also formulated a theorem on decomposing a fuzzy norm into a set of crisp norms and examined certain features of fuzzy-normed spaces.

In recent times, there has been a surge in the study of functional equations stability in fuzzy-normed spaces. Researchers have explored several fuzzy stability outcomes relating to Cauchy, Jensen, simple quadratic, and cubic functional equations. Additionally, the concept of intuitionistic fuzzy-normed spaces has been introduced, and stability results in this area have also been examined.

An investigation into the relationship between Ulam’s stability and self-testing correcting programs has recently been carried out in [13]. Based on this research, we aim to implement Hyers–Ulam stability in fuzzy $C^{★}$ algebra by using the Python programming language.

Python is a high-level programming language that can be used in various ways. It has access to powerful libraries, such as Numpy, which enable efficient calculations in mathematics and science. Travis Oliphant founded the open-source Numpy project in 2005 [14] and a huge group of collaborators actively maintain and develop it today.

We will attempt to write Python code to implement the Hyers–Ulam stability concept. This explains Hyers–Ulam stability for specialists in the computer science and mathematics fields.

Definition 1. 

A function $d:U\times U\to [0,\infty ]$ is said to be a generalized metric on the set U if it satisfies the following properties:

(M₁) 

$d(u,v)=0$ if and only if $u=v$

(M₂) 

$d(u,v)=d(v,u)$ for all $u,v\in U$

(M₃) 

$d(u,w)\le d(u,v)+d(v,w)$ for all $u,v,w\in U$.

We now introduce one of the fundamental results of the fixed-point theory.

Theorem 2 ([15,16]). 

Suppose $(U,d)$ is a generalized complete metric space and let $G:U\to U$ be a strictly contractive operator with the Lipschitz constant $L<1$. Assume there exists a non-negative integer $n_0$ such that $d\left(G^{n_0+1}u,G^{n_0}u\right)<\infty$ for some $u\in U$. Then, the following conclusions hold:

(i) 

The sequence $\left\{G^{n}u\right\}$ converges to a fixed point $u_0$ of G,

(ii) 

The fixed point $u_0$ is unique in $V=\left\{v\in U\mid d\left(G^{n_0}u,v\right)<\infty \right\}$,

(iii) 

$\left(iii\right)$ For any $v\in V$, the inequality

$$d\left(v,u_0\right)\le \frac{1}{1-L}d(Gv,v),$$

holds.

Definition 2 ([11]). 

A fuzzy norm on a real vector space U is a function $N:U\times \mathbb{R}\to [0,1]$ that satisfies the following conditions for any $u,v\in U$ and $s,t\in \mathbb{R}$:

(N₁) 

$N(u,t)=0$ for all $t\le 0$;

(N₂) 

$u=0$ if and only if $N(u,t)=1$ for all $t>0$;

(N₃) 

$N(cu,t)=N(u,\frac{t}{\left|c\right|})$ if $c\ne 0$;

(N₄) 

$N(u+v,s+t)\ge min\left\{N\right(u,s),N(v,t\left)\right\}$;

(N₅) 

$N(u,.)$ is a non-decreasing function of $\mathbb{R}$ and ${lim}_{t\to \infty }N(u,t)=1$;

(N₆) 

For $u\ne 0$, $N(u,.)$ is continuous on $\mathbb{R}$.

The pair $(U,N)$ is then referred to as a fuzzy-normed vector space.

Definition 3. 

Consider a fuzzy-normed vector space $(U,N)$.

(1) 

A sequence $\left\{u_n\right\}$ in U is said to be convergent if there exists $u\in U$ such that for all $t>0$, ${lim}_{n\to \infty }N\left(u_n-u,t\right)=1$. The limit of $\left\{u_n\right\}$ is denoted as N-limit, i.e., $N-{lim}_{n\to \infty }{u}_n=u$.

(2) 

A sequence $\left\{u_n\right\}$ in U is called Cauchy if for every $ϵ>0$ and $t>0$, there exists $n_0\in \mathbb{N}$ such that for all $n\ge n_0$ and $p>0$, $N\left(u_{n+p}-u_n,t\right)>1-ϵ$.

It is a well-known fact that in a fuzzy-normed space, every convergent sequence is also Cauchy. If every Cauchy sequence in a fuzzy-normed space converges, then the fuzzy norm is said to be complete, and the fuzzy-normed space is referred to as a fuzzy Banach space. A mapping of $f:U\to V$ between two fuzzy-normed vector spaces U and V is said to be continuous at a point $u_0\in U$ if, for every sequence $\left\{u_n\right\}$ converging to $u_0$ in U, the sequence $\left\{f\left(u_n\right)\right\}$ converges to $f\left(u_0\right)$. If $f:U\to V$ is continuous at every point $u_0\in U$, then $f:U\to V$ is said to be continuous on U.

Definition 4 ([17]). 

Let U be an algebra and $(U,N)$ a fuzzy-normed space. The fuzzy-normed space $(U,N)$ is called a fuzzy-normed algebra if

$$N\left(u{u}^{\prime },st\right)\ge N(u,s)N\left(u^{\prime },t\right)\forall u,u^{\prime }\in U,s,t\in {\mathbb{R}}^{+}.$$

Complete fuzzy-normed algebra is called a fuzzy Banach algebra.

Example 1. 

Every normed algebra $(U,\parallel .\parallel )$ defines a fuzzy-normed algebra $(U,N)$, where N is defined by

$$N(u,t)=\frac{t}{t+\parallel u\parallel }\forall u\in U,\forall t>0.$$

This space is called the induced fuzzy-normed algebra.

Definition 5. 

Let U be a complex algebra. An involution on U is a function $★:U\to U$ defined by $a\mapsto a^{★}$, satisfying the following properties:

(i) 

${(\alpha a+\beta b)}^{★}=\overline{\alpha }{a}^{★}+\overline{\beta }{b}^{★}$ for all $a,b\in U$ and $\alpha ,\beta \in \mathbb{C}$;

(ii) 

${\left(ab\right)}^{★}=b^{★}{a}^{★}$ for all $a,b\in U$;

(iii) 

$a^{★★}=a$ for all $a\in U$.

If U is a complex algebra with an involution, then it is called a ★-algebra. A $C^{★}$-algebra is a Banach algebra with an involution ★ such that $\parallel a^{★}{a\parallel =\left|\right|a\left|\right|}^2$.

Definition 6 ([18]). 

Let U be an ★-algebra and $(U,N)$ a fuzzy-normed algebra. The fuzzy-normed algebra $(U,N)$ is called a fuzzy-normed ★-algebra if

$$N\left(a^{★},t\right)=N(a,t)\forall a\in U,\forall t\in {\mathbb{R}}^{+}.$$

A complete fuzzy-normed ★-algebra is called a fuzzy Banach ★-algebra.

Definition 7 ([18]). 

Let $(U,N)$ be a fuzzy Banach ★-algebra. Then $(U,N)$ is called a fuzzy $C^{★}$-algebra if

$$N\left(a^{★}a,st\right)=N\left(a^{★},s\right)N(a,t)\forall a\in U,\forall s,t\in {\mathbb{R}}^{+}.$$

2. Results

In this section, we will use the fixed-point theorem and functional inequalities to prove the existence of a unique involution for the fuzzy Banach algebra $(U,N)$. We will also demonstrate under what conditions this fuzzy Banach algebra can be transformed into a $C^{★}$-algebra. For this purpose, we will first prove two simple lemmas and then proceed to prove the main theorems.

Lemma 1. 

Let $F:U\to U$ be a mapping satisfying the following

$$N\left(F\left(2u\right)+F\left(2v\right)+2F\left(w\right),t\right)\ge N\left(F(u+v+w),\frac{t}{3}\right),$$

(1)

for all $u,v,w\in U$. Then, F is additive, i.e., $F(u+v)=F\left(u\right)+F\left(v\right)$, for all $u,v\in U$.

Proof. 

Putting $u=v=w=0$ in (1), we obtain

$$N\left(4F\left(0\right),t\right)\ge N\left(F\left(0\right),\frac{t}{3}\right)⟹N\left(F\left(0\right),\frac{t}{4}\right)\ge N\left(F\left(0\right),\frac{t}{3}\right),$$

for all $t>0$. After applying $N\left(5\right)$ and $N\left(6\right)$, it can be deduced that the value of $N\left(F\left(0\right),t\right)$ is 1. It means that $F\left(0\right)=0$. Letting $v:=-u$ and $w=0$ in (1) so we have

$$N(F\left(2u\right)+F(-2u),t)\ge N\left(F\left(0\right),\frac{t}{3}\right)=1,$$

thus $F(-u)=-F\left(u\right)$. Next, putting $w:=-u$ and $v=0$ in (1), we get

$$N(F\left(2u\right)+2F(-u),t)\ge N\left(F\left(0\right),\frac{t}{3}\right)=1,$$

therefore $F\left(2u\right)=2F\left(u\right)$. Finally, replacing w by $-u-v$ in (1), we have

$$N(F\left(2u\right)+F\left(2v\right)+2F(-(u+v),t)\ge N\left(2F(u+v-u-v),\frac{t}{3}\right)=1,$$

so, $F\left(2u\right)+F\left(2v\right)=-2F(-(u+v\left)\right)$, i.e., F is additive.  □

Lemma 2. 

Let $F:U\to U$ be a mapping satisfying

$$N\left(F\left(2u\right)+\overline{\mu }F\left(2v\right)+2F\left(w\right),t\right)\ge N\left(F(u+\mu v+w),\frac{t}{3}\right),$$

(2)

for all $\mu \in {{\displaystyle \mathbb{T}}}^1:=\{z\in \mathbb{C}:|z|=1\}$, and for every $u,v,w\in U$, then F is $\mathbb{C}-$linear.

Proof. 

We prove that $F\left(\alpha u\right)=\overline{\alpha }F\left(u\right)$ for all $\alpha \in \mathbb{C}$. If $\mu =1$ in (2), then F is additive by Lemma 1. Substituting $u,v,w$ by $\mu u,-v,0$ in (2), respectively. We have

$$N\left(F\left(2\mu u\right)+\overline{\mu }F(-2u),t\right)\ge N\left(F(\mu u-\mu u+0),\frac{t}{3}\right)=1,$$

therefore,

$$F\left(2\mu u\right)+\overline{\mu }F(-2u)=0⟶F\left(2\mu u\right)=-\overline{\mu }F(-2u),$$

that is, $F\left(\mu u\right)=\overline{\mu }F\left(u\right)$ for all $\mu \in {\mathbb{T}}^1$ and $u\in U$. We know that

$$\left|\mu \right|=|\overline{\mu }|=1,\frac{\mu +\overline{\mu }}{2}=t\left(\mathrm{real}\mathrm{part}\mathrm{of}\mu \right),$$

so $\left|t\right|=\left|\frac{\mu +\overline{\mu }}{2}\right|\le 1$. Thus, for all real number t with $\left|t\right|\le 1$ and $u\in U$, we get

$$F\left(2tu\right)=F(\mu u+\overline{\mu }u)=F\left(\mu u\right)+F\left(\overline{\mu }u\right)=\mu F\left(u\right)+\overline{\mu }F\left(u\right)=2tF\left(u\right)$$

for all $\mu \in {\mathbb{T}}^1$ and $u\in U$. So, $F\left(tu\right)=tF\left(u\right)$ for all $u\in U$ and $\left|t\right|\le 1$. Moreover, It is a known fact that if $F\left(2u\right)=2F\left(u\right)$, then it follows that $F\left(2^{n}u\right)=2^{n}F\left(u\right)$ for any positive integer n. Additionally, by utilizing the Archimedean property, we can determine that, for any real number t, there exists a positive integer n such that $\left|t\right|\le 2^n$. Hence,

$$F\left(tu\right)=F\left(2^n·\frac{t}{2^n}u\right)=2^{n}F\left(\frac{t}{2^n}u\right)=2^n·\frac{t}{2^n}F\left(u\right)=tF\left(u\right),$$

for all $t\in \mathbb{R}$. Suppose that $\alpha \in \mathbb{C}$ be an arbitrary complex number. Therefore, $\alpha =t+is$ for some real numbers $t,s$. Since $\left|i\right|=1$, so $F\left(iu\right)=iF\left(u\right)$ for all $u\in U$. Finally, we get

$$\begin{array}{cc}\hfill F\left(\alpha u\right)=F\left(\right(t+is\left)u\right)& =F(tu+isu)=F\left(tu\right)+F\left(isu\right)\left(F\mathrm{is}\mathrm{additive}\right)\hfill \\ \hfill & =tF\left(u\right)+sF\left(iu\right)=tF\left(u\right)+\overline{i}sF\left(u\right)=tF\left(u\right)-isF\left(u\right)=\overline{\alpha }F\left(u\right),\hfill \end{array}$$

Then, F is $\mathbb{C}-$linear.  □

Theorem 3. 

Let $\phi :U^3\to (0,\infty )$ and $\Phi :U^2\to [0,\infty )$ be functions such that there exists an $L<1$ with

$$\phi (u,v,w)\le \frac{L}{2}\phi (2u,2v,2w),$$

(3)

and

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}{4}^n\Phi (\frac{u}{2^n},\frac{v}{2^n})=0,\end{array}$$

(4)

for all $u,v,w\in U$. In addition, assume $F:U\to U$ to be an odd function satisfying

$$\begin{array}{c}\hfill N\left(F\left(2u\right)+\overline{\mu }F\left(2v\right)+2F\left(w\right),t\right)\ge min\left\{N\left(2F(u+\mu v+w),\frac{t}{3}\right),\frac{t}{t+\phi (u,v,w)}\right\},\end{array}$$

(5)

for all $u,v,w\in U$ and $t>0$. Moreover, suppose that

$$\begin{array}{c}\hfill N(F\left(uv\right)-F\left(v\right)F\left(u\right),t)\ge \frac{t}{t+\Phi (u,v)},\end{array}$$

(6)

and

$$\begin{array}{c}\hfill N-\underset{k\to \infty }{lim}{2}^{k}F\left(2^{-k}(N-\underset{m\to \infty }{lim}{2}^{m}F\left(2^{-m}u\right))\right)=u\end{array}$$

(7)

for all $u,v\in U$ and $t>0$ and all $\mu \in {\mathbb{T}}^1$. Then there exists a unique involution $A:U\to U$ such that

$$A\left(u\right):=N-\underset{k\to \infty }{lim}{2}^{k}F\left(\frac{u}{2^k}\right)$$

(8)

and

$$N(F\left(u\right)-A\left(u\right),t)\ge \frac{(2-2L)t}{(2-2L)t+\phi (0,u,-u)}$$

(9)

for all $u\in U$ and $t>0$.

Theorem 4. 

Under the assumptions of Theorem (3), if

$$N([N(F\left(u\right),t)-N(u,t)]u,t)\ge \frac{t}{t+\phi (u,u,0)}$$

(10)

Then, $(U,N)$ is fuzzy Banach $★-$algebra. Moreover, if

$$N([N(F\left(u\right)·u,st)-N(F\left(u\right),s)·N(u,t)]u,t)\ge \frac{t}{t+\phi (u,u,0)}$$

(11)

Then $(U,N)$ is fuzzy $C^{★}$-algebra with involution $u^{★}=A\left(u\right)$ for all $u\in U$. Furthermore, if

$$\begin{array}{c}\hfill N(F\left(u\right)-u,t)\ge \frac{t}{t+\Phi (u,u)},\end{array}$$

(12)

then u is self-adjoint element of U.

Proof of Theorem 3. 

Replacing $\mu ,u,v,w$ by $1,0,2u,-2u$ in (5), we have

$$\begin{array}{cc}\hfill N\left(F\right(0\left)\right)+F\left(4u\right)+2F(-2u),t)\ge & min\left\{N(2F\left(0\right),\frac{t}{3}),\frac{t}{t+\phi (0,2u,-2u)}\right\}\hfill \\ \hfill & =\frac{t}{t+\phi (0,2u,-2u)},\hfill \end{array}$$

therefore,

$$\begin{array}{c}\hfill N(F\left(4u\right)-2F\left(2u\right),t)\ge \frac{t}{t+\phi (0,2u,-2u)},\end{array}$$

(13)

for all $u\in U$ and $t>0$. So

$$\begin{array}{c}\hfill N\left(F\left(2u\right)-2F\left(u\right),t\right)\ge \frac{t}{t+\phi (0,u,-u)},\end{array}$$

for all $u\in U$ and $t>0$. We define the set $\mathcal{S}$ and introduce the function $d:\mathcal{S}\times \mathcal{S}\to [0,\infty )$ as follows.

$$\begin{array}{cc}\hfill & S:\{G:U\to U|G\left(0\right)=0\}\hfill \\ \hfill d(G,H)=& inf\left\{\lambda \in {\mathbb{R}}^{+}:N(G\left(u\right)-H\left(u\right),\lambda t)\ge \frac{t}{t+\phi (0,u,-u)}\right\},\hfill \end{array}$$

(14)

where, as usual, $inf\varnothing =+\infty$. The proof that $(\mathcal{S},d)$ is a generalized complete metric space has been investigated in ([19]). Now we consider the linear mapping $\Pi :\mathcal{S}\to \mathcal{S}$ such that

$$\begin{array}{c}\hfill \Pi G\left(u\right):=2G\left({\displaystyle \frac{u}{2}}\right)\end{array}$$

for all $u\in U$. We prove that $\Pi :G\to G$ is a strictly contractive mapping with Lipschitz constant L. For this purpose, Let $G,H\in \mathcal{S}$ be given such that $d(G,H)=ϵ$. So, according to the definition of metric d in (14), we have

$$\begin{array}{c}\hfill N(G\left(u\right)-H\left(u\right),ϵt)\ge \frac{t}{t+\phi (0,u,-u)}\end{array}$$

for all $u\in U$ and $t>0$. Therefore,

$$\begin{array}{cc}\hfill N(\Pi G(u)-\Pi H(u),Lϵt)& =N\left(2G\left({\displaystyle \frac{u}{2}}\right)-2H\left({\displaystyle \frac{u}{2}}\right),Lϵt\right)\hfill \\ \hfill & =N\left(G\left(\frac{u}{2}\right)-H\left(\frac{u}{2}\right),\frac{L}{2}ϵt\right)\hfill \\ \hfill & \ge \frac{\frac{Lt}{2}}{\frac{Lt}{2}+\phi (0,\frac{u}{2},-\frac{u}{2})}\hfill \\ \hfill & \ge \frac{\frac{Lt}{2}}{\frac{Lt}{2}+\frac{L}{2}\phi (0,u,-u)}\left(\mathrm{by}\mathrm{definition}\mathrm{of}\phi \right)\hfill \end{array}$$

for all $u\in U$ and $t>0$. Then, assuming $d(G,H)=ϵ$, we have proved that $d(\Pi G,\Pi H)=Lϵ$. This means that

$$d(\Pi G,\Pi H)\le Ld(G,H),$$

for all $G,H\in \mathcal{S}$. Therefore $\Pi$ is a strictly contractive mapping with Lipschitz constant L. Replacing u by $\frac{u}{4}$ in (13) and applying (3), we obtain

$$N\left(F\left(u\right)-2F\left(\frac{U}{2}\right),t\right)\ge \frac{t}{t+\phi (0,\frac{u}{2},\frac{-u}{2})}\ge \frac{t}{t+\frac{L}{2}\phi (0,u,-u)}$$

Substituting $\frac{Lt}{2}$ by t in the above inequality, we obtain

$$N\left(F\left(u\right)-2F\left(\frac{U}{2}\right),\frac{Lt}{2}\right)\ge \frac{t}{t+\phi (0,u,-u)}$$

for all $u\in U$ and $t>0$. Therefore,

$$d(F,\Pi F)<\frac{L}{2}.$$

(15)

The conditions of Theorem (2) are satisfied. Hence,

(I)

There exists a mapping $A:U\to U$ such that it is a fixed point $\Pi$. This means that

$$A\left(\frac{u}{2}\right)=\frac{1}{2}A\left(u\right),$$

(16)

for all $u\in U$. The mapping A is a unique fixed point of $\Pi$ in the set

$$\mathrm{\Gamma }:\{G\in \mathcal{S}:d(F,G)<\infty \}.$$

This suggests that $A:U\to U$ is a unique mapping satisfying (16), furthermore, there exists a $\lambda \in (0,\infty )$ satisfying

$$N(F\left(u\right)-A\left(u\right),\lambda t)\ge \frac{t}{t+\phi (0,u,-u)}$$

for all $u\in U.$

(II)

$d({\Pi }^{n}F,A)\to 0$ as $n\to \infty$. This suggests that

$$A\left(u\right)=\underset{n\to \infty }{lim}{2}^{n}F\left(2^{-n}u\right)$$

(17)

for every $u\in U$.

(III)

$d(F,A)\le \frac{d(F,\Pi F)}{1-L}$. By (15), we have

$$\begin{array}{c}\hfill d(F,A)\le \frac{L}{2-2L}.\end{array}$$

This suggests that (9) is held. Replacing $u,v,w$ by $\frac{u}{2^n},\frac{v}{2^n},\frac{w}{2^n}$, respectively, in (5); therefore,

$$\begin{array}{c}N(2^{n}F(\frac{2u}{2^n})+\overline{\mu }{2}^{n}F(\frac{2v}{2^n})+2^{n}2F(\frac{w}{2^n}),2^{n}t)\\ \hspace{1em}\hspace{1em}\hspace{1em}\ge min\left\{N(2^{n+1}F(\frac{u}{2^n}+\mu \frac{v}{2^n}+\frac{w}{2^n}),\frac{2^{n}t}{3}),\frac{t}{t+\phi (\frac{u}{2^n},\frac{v}{2^n},\frac{w}{2^n})}\right\},\end{array}$$

for all $u,v,w\in U$ and $t>0$. Replacing t by $\frac{t}{2^n}$, we thus obtain

$$\begin{array}{c}N(2^{n}F(\frac{2u}{2^n})+\overline{\mu }{2}^{n}F(\frac{2v}{2^n})+2^{n}2F(\frac{w}{2^n}),t)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\ge min\left\{N(2^{n+1}F(\frac{u}{2^n}+\mu \frac{v}{2^n}+\frac{w}{2^n}),\frac{t}{3}),\frac{\frac{t}{2^n}}{\frac{t}{2^n}+\phi (\frac{u}{2^n},\frac{v}{2^n},\frac{w}{2^n})}\right\},\hfill \end{array}$$

(18)

for all $u,v,w\in U$ and $t>0$. Note that, by using (3), we obtain

$$\begin{array}{c}\hfill \phi \left(\frac{u}{2},\frac{v}{2},\frac{w}{2}\right)\le \frac{L}{2}\phi (u,v,w).\end{array}$$

Putting $u,v,w$ by $\frac{u}{2},\frac{v}{2},\frac{w}{2}$ in the above inequality, such that

$$\begin{array}{c}\hfill \phi \left(\frac{u}{2^2},\frac{v}{2^2},\frac{w}{2^2}\right)\le \frac{L}{2}\phi \left(\frac{u}{2},\frac{v}{2},\frac{w}{2}\right)\le \frac{L^2}{2^2}\phi (u,v,w).\end{array}$$

By continuing this process, we have

$$\begin{array}{c}\hfill \phi \left(\frac{u}{2^n},\frac{v}{2^n},\frac{w}{2^n}\right)\le \frac{L^n}{2^n}\phi (u,v,w).\end{array}$$

Therefore

$$\begin{array}{c}\hfill \frac{\frac{t}{2^n}}{\frac{t}{2^n}+\phi (\frac{u}{2^n},\frac{v}{2^n},\frac{w}{2^n})}\ge \frac{\frac{t}{2^n}}{\frac{t}{2^n}+\frac{L^n}{2^n}\phi (u,v,w)}=\frac{t}{t+L^n\phi (u,v,w)}.\end{array}$$

Thus,

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{\frac{t}{2^n}}{\frac{t}{2^n}+\phi (\frac{u}{2^n},\frac{v}{2^n},\frac{w}{2^n})}>1.\end{array}$$

By passing $n\to \infty$ in (18) and using (17), we obtain

$$\begin{array}{c}\hfill N(A\left(2u\right)+\overline{\mu }A\left(2v\right)+2A\left(w\right),t)\ge N(2A(u+\mu v+w),\frac{t}{3}),\end{array}$$

for all $u,v,w\in U$, $t>0$ and $\mu \in {\mathbb{T}}^1$. By Lemma (2), the mapping $A:U\to U$ is $\mathbb{C}$-linear. We replace $\frac{u}{2^n},\frac{v}{2^n}$ with $u,v$, respectively, in (6). Hence,

$$\begin{array}{c}\hfill N\left(F(\frac{u}{2^n}\frac{v}{2^n})-F(\frac{v}{2^n})F(\frac{u}{2^n}),t\right)\ge \frac{t}{t+\Phi (\frac{u}{2^n},\frac{v}{2^n})},\end{array}$$

therefore,

$$\begin{array}{c}\hfill N\left(4^{n}F(\frac{u}{2^n}·\frac{v}{2^n})-2^{n}F(\frac{v}{2^n})·2^{n}F(\frac{u}{2^n}),4^{n}t\right)\ge \frac{t}{t+\Phi (\frac{u}{2^n},\frac{v}{2^n})},\end{array}$$

so,

$$\begin{array}{c}\hfill N\left(F(\frac{u}{2^n}\frac{v}{2^n})-F(\frac{v}{2^n})F(\frac{u}{2^n}),t\right)\ge \frac{\frac{t}{4^n}}{\frac{t}{4^n}+\Phi (\frac{u}{2^n},\frac{v}{2^n})}.\end{array}$$

Passing $n\to \infty$ and applying (4) and (17), we get

$$\begin{array}{c}\hfill N\left(A\right(u·v)-A(v\left)A\right(u),t)\ge 1⟶A(u·v)=A\left(v\right)A\left(u\right).\end{array}$$

Furthermore, by (7) we have

$$\begin{array}{c}\hfill A\left(A\left(u\right)\right)=N-\underset{k\to \infty }{lim}{2}^{k}f\left(2^{-k}(N-\underset{m\to \infty }{lim}{2}^{m}f\left(2^{-m}u\right))\right)=u.\end{array}$$

We proved that $A:U\to U$ is $\mathbb{C}-$linear, $A(u·v)=A\left(v\right)·A\left(u\right)$ and $A\left(A\right(u\left)\right)=u$. These mean that A is involution.  □

Proof of Theorem 4. 

Putting $u=\frac{u}{2^n}$ in (10), we obtain

$$\begin{array}{c}\hfill N\left(\left[N(2^{n}F\left(\frac{u}{2^n}\right),2^{n}t)-N(\frac{u}{2^n},t)\right]\frac{u}{2^n},t\right)\ge \frac{t}{t+\phi (\frac{u}{2^n},\frac{u}{2^n},0)},\mathrm{for}\mathrm{all}t>0,u\in U\end{array}$$

therefore,

$$\begin{array}{c}\hfill N\left(\left[N(2^{n}F\left(\frac{u}{2^n}\right),2^{n}t)-N(u,2^{n}t)\right]u,2^{n}t\right)\ge \frac{t}{t+\phi (\frac{u}{2^n},\frac{u}{2^n},0)},\end{array}$$

so,

$$\begin{array}{cc}\hfill N\left(\left[N(2^{n}F\left(\frac{u}{2^n}\right),t)-N(u,t)\right]u,t\right)& \ge \frac{\frac{t}{2^n}}{\frac{t}{2^n}+\phi (\frac{u}{2^n},\frac{u}{2^n},0)}\hfill \\ \hfill & \ge \frac{t}{t+L^n\phi (u,u,0)},\hfill \end{array}$$

by passing $n\to \infty$, we have

$$\begin{array}{c}\hfill N\left(\right[N\left(A\right(u),t)-N(u,t)]u,t)\ge 1⟶N\left(A\right(u),t)-N(u,t)]u=0,\end{array}$$

for all $u\in U$ and $t>0$. This suggests that $N\left(A\right(u),t)=N(u,t)$. Then, $(U,N)$ is fuzzy Banach $★-$algebra.

Next, we suppose that A satisfies in (11), so we obtain

$$\begin{array}{c}\hfill N\left(\left[N(2^{n}F\left(\frac{u}{2^n}\right)·u,2^{2n}st)-N(2^{n}F\left(\frac{u}{2^n}\right),2^{n}s)·N(u,2^{n}t)\right]u,2^{n}t\right)\ge \frac{t}{t+\phi (\frac{u}{2^n},\frac{u}{2^n},0)},\end{array}$$

for all $u\in U$ and $t,s>0$. Thus,

$$\begin{array}{cc}\hfill N\left(\left[N(2^{n}F\left(\frac{u}{2^n}\right)·u,st)-N(2^{n}F\left(\frac{u}{2^n}\right),s)·N(u,t)\right]u,t\right)& \ge \frac{\frac{t}{2^n}}{\frac{t}{2^n}+\phi (\frac{u}{2^n},\frac{u}{2^n},0)},\hfill \\ \hfill & \ge \frac{t}{t+L^n\phi (u,u,0)},\hfill \end{array}$$

for every $u\in U$ and $t,s>0$. By passing $n\to \infty$, we have

$$\begin{array}{cc}\hfill N\left(\right[N\left(A\right(u)·u,st)-N\left(A\right(u),s)·N(u,t)]u,t)& \ge 1.\hfill \end{array}$$

This means that

$$N\left(A\right(u)·u,st)=N\left(A\right(u),s)·N(u,t)$$

for all $u\in U$ and $t>0$. Therefore, U is a $C^{★}$-algebra with involution $u^{★}=A\left(u\right)$ for all $u\in U$. Moreover, replacing u with $\frac{u}{2^n}$ in (12), we obtain

$$\begin{array}{c}\hfill N\left(2^{n}F\left(\frac{u}{2^n}\right)-u,2^{n}t\right)\ge \frac{t}{t+\Phi (\frac{u}{2^n},\frac{u}{2^n})},\end{array}$$

therefore

$$\begin{array}{c}\hfill N\left(2^{n}F\left(\frac{u}{2^n}\right)-u,t\right)\ge \frac{\frac{t}{2^n}}{\frac{t}{2^n}+\Phi (\frac{u}{2^n},\frac{u}{2^n})},\end{array}$$

by passing $n\to \infty$ and using (4), we have

$$\begin{array}{c}\hfill N(A\left(u\right)-u,t)=1⟶u^{★}=A\left(u\right)=u\end{array}$$

it means that u is self-adjoint element of U.  □

Corollary 1. 

Let $p>1,q>2$. Suppose that $\eta ,{\eta }^{\prime }:U\to [0,\infty )$ are functions such that

$$\begin{array}{cc}\hfill & \eta \left(\frac{u}{2}\right)={\left(\frac{1}{2}\right)}^p\eta \left(u\right)\hfill \end{array}$$

(19)

$$\begin{array}{cc}\hfill & {\eta }^{\prime }\left(\frac{u}{2}\right)={\left(\frac{1}{2}\right)}^q{\eta }^{\prime }\left(u\right)\hfill \end{array}$$

(20)

for all $u\in U$. Suppose that $F:U\to U$ is a odd function that satisfies

$$\begin{array}{c}\hfill N(F\left(2u\right)+\overline{\mu }F\left(2v\right)+2F\left(w\right),t)\ge \frac{t}{t+\eta \left(u\right)+\eta \left(v\right)+\eta \left(w\right)}\end{array}$$

(21)

for all $u,v,w\in U$. Moreover, assume that

$$\begin{array}{c}\hfill N(F\left(uv\right)-F\left(v\right)F\left(u\right),t)\ge \frac{t}{t+{\eta }^{\prime }\left(u\right)+{\eta }^{\prime }\left(u\right)},\end{array}$$

(22)

and

$$\begin{array}{c}\hfill N-\underset{k\to \infty }{lim}{2}^{k}F\left(2^{-k}(N-\underset{m\to \infty }{lim}{2}^{m}F\left(2^{-m}u\right))\right)=u\end{array}$$

(23)

for all $u,v\in U$ and $t>0$ and all $\mu \in {\mathbb{T}}^1$. Then, there exists a unique involution $A:U\to U$ such that

$$A\left(x\right):=N-\underset{k\to \infty }{lim}{2}^{k}F\left(\frac{x}{2^k}\right)$$

(24)

and

$$N(F\left(u\right)-A\left(u\right),t)\ge \frac{(2^p-4)t}{(2^p-4)t+\eta \left(2u\right)+\eta (-2u)}$$

(25)

for all $u\in U$ and $t>0$.

Proof. 

We define $\phi :U^3\to (0,\infty )$ and $\Phi :U^2\to [0,\infty )$ by

$$\begin{array}{cc}\hfill & \phi (u,v,w)=\eta \left(u\right)+\eta \left(v\right)+\eta \left(w\right)\mathrm{for}\mathrm{all}u,v,w\in U,\hfill \\ \hfill & \Phi (u,v)={\eta }^{\prime }\left(u\right)+{\eta }^{\prime }\left(v\right)\mathrm{for}\mathrm{all}u,v\in U.\hfill \end{array}$$

From (19), we have

$$\begin{array}{cc}\hfill \phi (2u,2v,2w)& =\eta \left(2u\right)+\eta \left(2v\right)+\eta \left(2w\right)\hfill \\ \hfill & =2^p\left[\eta \left(u\right)+\eta \left(v\right)+\eta \left(w\right)\right]\hfill \\ \hfill & =2^p\phi (u,v,w),\hfill \end{array}$$

for all $u,v,w\in U$. Therefore,

$$\begin{array}{cc}\hfill \phi (u,v,w)& =\frac{1}{2^p}\phi (2u,2v,2w)\hfill \\ \hfill & =\frac{2^{1-p}}{2}\phi (2u,2v,2w),\hfill \end{array}$$

we put $L:=2^{1-p}$, since $p>1$, so $L<1$. On the other

$$\begin{array}{cc}\hfill \underset{n\to \infty }{lim}{4}^n\Phi (\frac{u}{2^n},\frac{v}{2^n})=& \underset{n\to \infty }{lim}{4}^n\left[{\eta }^{\prime }\left(\frac{u}{2^n}\right)+{\eta }^{\prime }\left(\frac{v}{2^n}\right)\right]\hfill \\ \hfill =& \underset{n\to \infty }{lim}{4}^n\left[{\left(\frac{1}{2}\right)}^{nq}\left[{\eta }^{\prime }\left(u\right)+{\eta }^{\prime }\left(v\right)\right]\right]\hfill \\ \hfill =& \underset{n\to \infty }{lim}{2}^{n(2-q)}\left[{\eta }^{\prime }\left(u\right)+{\eta }^{\prime }\left(v\right)\right]=0,\sin \mathrm{ce}q>2.\hfill \end{array}$$

By Theorem (3), there exists a unique involution $A:U\to U$ such that

$$\begin{array}{cc}\hfill N\left(f\right(u)-A(u),t)& \ge \frac{(2-{2.2}^{1-p})t}{(2-{2.2}^{1-p})t+2^p\left(\eta \left(0\right)+\eta \left(u\right)+\eta (-u)\right)}\hfill \\ \hfill & =\frac{(2-2^{2-p})t}{(2-2^{2-p})t+2^p\left(\eta \left(u\right)+\eta (-u)\right)}\hfill \\ \hfill & =\frac{(2^p-4)t}{(2^p-4)t+\eta \left(2u\right)+\eta (-2u)},\mathrm{for}\mathrm{all}u\in U,t>0\hfill \end{array}$$

Note that $\eta \left(2u\right)=2^p\eta \left(u\right)$.  □

3. Implement Python Code for Theorem 3

In this part, the Python code of Theorem (3) is provided. The purpose of writing the code is to first increase the clarity of the Theorem (3) by providing a practical representation of the assumptions and structure of the theorem. Secondly, it is to make a connection between the two topics of Hyers–Ulam stability and the field of computer science. In this code, the user is asked to enter N, F, $\phi$, and $\Phi$ functions.

• import numpy as np

• def $N(u,t)$:
    return # The user defines the fuzzy-normed algebra N.

• def $\phi (u,v,w)$:
    return # The user defines the $\phi$ function, for example: return (u + v + w)**2 - 4*(u*v + v*w + w*u).

• def $\Phi (u,v)$:
    return # The user defines the $\Phi$ function, for example: return np.exp(u) ∗ np.exp(2*v).

• def $F\left(u\right)$:
    return # The user defines the F function, for example: return np.sin(u).

• def check_limit$(\Phi ,u,v)$:
    n = 1
    while True:
      term = 4**n * $\Phi$(u/(2**n), v/(2**n))
      if np.abs(term) < 1e-10:
        return True
      if n > 1e5:
        return False
      n = n + 1

• def inequality (5)$(u,v,w,t,\mu =\mathrm{None})$: # the execution of inequality (5)
    return # True if inequality (5) holds, False otherwise

• def inequality (6)$(u,v,t)$: # the execution of inequality (6)
    return # True if inequality (6) holds, False otherwise

• def Equation (7)$\left(u\right)$: # the execution of Equation (7)
    return # True if Equation (7) holds, False otherwise

• def inequality (9)$\left(u\right)$: # the execution of inequality (9)
    return # True if inequality (9) holds, False otherwise

• def check_assumptions$(L,U,{\mathbb{T}}^1)$: # Check if the assumptions of the theorem are satisfied,
    for $u,v,w\in U$:
      if $\phi (u,v,w)>(L/2)\ast \phi (2\ast u,2\ast v,2\ast w)$:
        return False
    for $u,v\in U$:
      if not check_limit($\Phi$, u, v):
        return False
    for $u,v,w\in U$:
      t = # The user defines the number t
      for $\mu \in {\mathbb{T}}^1$:
        if not inequality (5) ($u,v,w,t,\mu$):
          return False
    for $u,v\in U$:
      t = # The user defines the number t
      if not inequality (6) ($u,v,t$):
        return False
    for $u\in U$:
      if not Equation (7)(u):
        return False
      return True

• def A(u,t): # Define the function A
    k = 0
    tolerance = # The user enter tolerance
    while True:
      A_k = $2^k\ast F(u/\left(2^k\right))$
      A_k_next = $2^{(k+1)}\ast F(u/\left(2^{(k+1)}\right))$
      if N(A_k − A_k_next, t) > tolerance:
        break
      k = k + 1
    return A_k

• L = # The user defines the number L
  U = # define the set of values to check the assumptions
  ${\mathbb{T}}^1$ = # define the ${\mathbb{T}}^1$
  t = # The user enter any t > 0

• if check_assumptions ($L,U,{\mathbb{T}}^1$):
    print(f“{A(u,t)} is a unique involution”)
    print(f“ A satisfies in {inequality (9)(u)}”)
  else:
    print(“The conditions of the Theorem are not upheld”)

In this code, we first import the Numpy library so that we can use mathematical functions throughout the code. Now, we define the function of two variables N, the function of three variables $\phi$, the function of two variables $\Phi$, and the function F. These functions are given to the system by the user. To check assumption (4), we define the function “check_limit$(\Phi ,u,v)$”. This function has three variables and checks the limit of the function $\Phi$ at infinity. In the following, inequality (5) is defined. It takes five arguments $u,v,w,t$, and an optional $\mu$ argument. Then, the inequalities (6), (9), and Equation (7) have been defined by the functions “def inequality (6)$(u,v,t)$”, “def Equation (7)$\left(u\right)$” and “def inequality (9)$\left(u\right)$”, respectively.

Now, we will check whether the assumptions of the Theorem (3) are valid. For this purpose, we define the function “def check_assumptions$(L,U,{\mathbb{T}}^1)$”. The task of this function is to check the validity of all five assumptions of the Theorem (3).

In “$defA(u,t)$”, we define the function A and check whether A is a Cauchy sequence. Note that since U is Banach space the Cauchyness of the sequence guarantees its convergence. We have defined the necessary functions. Now, to run the code, we first define the values of L, U, T, and t and call the function “check_assumptions” ($L,U,{\mathbb{T}}^1$). If this function is true, A is declared as an involution that applies to the inequality (9).

4. Conclusions

In this article, we first investigated the stability of Hyers–Ulam involution in fuzzy $C^{★}$-algebras using functional inequality and the fixed-point method. We then implemented the code of the main theorem in Python with the aim of making the theorem clearer and making the connection between Hyers–Ulam stability and computer science. We hope to make Hyers–Ulam stability more accessible to researchers in mathematics and computer science and to encourage further research on the connection between these two fields.