Hyers-Ulam-Rassias stability of \(n\)-Jordan \(\ast\)-homomorphisms on \(C^\ast\)-algebras (Q459204): Difference between revisions

The intention of the authors is to prove the following theorem. { Theorem 2.1.} Let \(A\) and \(B\) be two \(C^*\) algebras, let \(\delta\), \(\varepsilon\) \(p\) and \(q\) be real numbers such that \(p, q < 1\) or \(p,q > 1\) and \(q >0\). Assume that \(n \in \mathbb{N} \setminus \{1 \}\) and \(f: A \to B\) satisfies the functional inequalities \[ \|f(x + y) + f(x - y) - 2f(x) - 2f(y) \|_{B} \leq \varepsilon(\|x\|_{A}^{p} + \|y\|_{A}^{p}), \tag{1} \] \[ \|f(x^{n}) - f(x)^{n}\|_{B} \leq \delta\|x\|_{A}^{nq}, \tag{2} \] \[ \|f(x^*) - f(x)^*\|_{B} \leq \delta\|x^*\|_{A}^q \tag{3} \] for all \(x,y \in A\), where \(x \mapsto x^*\) is the involution in \(A\) (or in \(B\)). Then, there exists a unique linear function \(h: A \to B\) fulfilling the equations \[ h(x^n) = h(x)^n,\tag{4} \] \[ h(x^*) = h(x)^*\tag{5} \] and the inequality \[ \|f(x) - h(x)\|_{B} \leq \frac{2 \varepsilon}{|2 - 2^p|} \|x \|_{A}^p \tag{6} \] for all \(x \in A\). { Remark.} Let \(n \in \mathbb{N}\), \(n \neq 1\), \(p, q >1\), \(A = B = \mathbb{C}\), \(x^* = \bar{x}\) and \(f(x) = x^2\) for \(x \in \mathbb{C}\). We see that (1)--(3) hold for every \(\varepsilon > 0\), \(\delta > 0\) and \(x \in \mathbb{C}\). According to Theorem 2.1 there exists a unique linear function \(h\) fulfilling (4), (5) and (6) for every \(\varepsilon, x \in \mathbb{C}\). This implies that \[ h(x) = f(x) = x^2 \] for all \(x \in \mathbb{C}\). But it is impossible, by the linearity of \(h\). Therefore Theorem 2.1 is false.