Approximately \(J^*\)-homomorphisms: a fixed point approach (Q967485): Difference between revisions

Using fixed point methods, the authors prove the stability and superstability of \(J^*\)-homomorphisms between \(J^*\)-algebras for the Jensen-type functional equation \(f \left ({{x+y}\over 2} \right ) + f \left ({{x-y}\over 2} \right ) = f(x) \). One of the main results of the paper is the following: Let \(A\) and \(B\) be \(J^*\)-algebras and let \(f : A \to B\) be a mapping with \(f(0) = 0\) for which there exists a function \(\phi : A^3 \to [0, \infty )\) such that \[ \left \| \mu f \left ( {{x+zz^* z + y} \over 2} \right ) + \mu f \left ( {{x+zz^* z - y} \over 2} \right ) - f (\mu x) - \mu f(z) f(z)^* f(z) \right\| \leq \phi (x, y, z) \] for all \(\mu \in \mathbb{T} := \left \{ \mu \in \mathbb{C} \, \, | \,\, |\mu | = 1 \right \}\) and all \(x, y, z \in A\). If there exists a constant \(0 < L < 1\) such that \[ \phi (x, y, z) \leq 2 L \, \phi \left ( {x \over 2}, {y \over 2}, {z \over 2} \right ) \] for all \(x, y, z \in A\), then there exists a unique \(J^*\)-homomorphism \(h : A \to B\) such that \[ \| f(x) - h(x) \| \leq {1 \over {1 - L}} \, \phi (x, 0, 0) , \quad \forall \, x \in A . \]