The Ulam Stability Problem for the Functional Equation f(x⋆g(y))=f(x)f(y)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(x\star g(y))=f(x)f(y)$$\end{document}

We present a solution of Ulam’s stability problem for the functional equation f(x⋆g(y))=f(x)f(y)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(x\star g(y))=f(x)f(y)$$\end{document} with vector-valued map f.


Introduction
In 1940 S. M. Ulam at the University of Wisconsin proposed the following problem: "Give conditions in order for a linear mapping near an approximately linear mapping to exist". In 1968 S. U. Ulam proposed the more general problem: "When is it true that by changing a little the hypotheses of a theorem one can still assert that the thesis of the theorem remains true or approximately true?" (see [8]). In 1978, Gruber [4] reformulated his question by posing a more general stability problem: "Suppose a mathematical object satisfies a certain property approximately. Is it then possible to approximate this object by objects, satisfying the property exactly?". This initiated a broad research program on the stability problem in theory of functional equations; for more information the reader may consult [5]. In [6] Najdecki considered the Ulam stability problem for the functional equation and proved the following version of the Baker superstability result [1] 62 Theorem 1 (Najdecki). Let (X, ) be a semigroup, g : X → X, f : X → K, where K ∈ {R, C}, and let ε ≥ 0. If Considering K n as an algebra (with multiplication by coordinates) Najdecki [6] proved also Theorem 2 (Najdecki). Let (X, ) be a semigroup, g : X → X, F : X → K n and let ε ≥ 0. If where P : K n → I and Q : K n → J are natural projections.
These studies was continued by Chung [2]. In the paper of Najdecki [6] we find the following statement: "We present a very short and simple proof that a similar result (similar to the results obtained by Ger andŠemrl [3]) is valid for function F : X → K n satisfying (with any norm in K n ) the following more general condition: Also Chung [2] states: "Generalizing the result of Ger andŠemrl [1], Najdecki [2] proved the stability of the functional equation in the class of functions F : X → K n ". But in the paper by Ger andŠemrl [3] we find the following two more general theorems for vector-valued functions.

Theorem 3 (Ger -Šemrl). Let (S, +) be a semigroup and let A be a commutative semisimple complex Banach algebra. Assume that the mapping
Then f is exponential, i.e., Theorem 4 (Ger -Šemrl). Let (S, +) be a semigroup and let A be a commutative C -algebra. Assume that ε ≥ 0 and that a mapping f : S → A satisfies for all x, y ∈ S. Then there exists a commutative C -algebra B such that The following question appears: can we really get the results obtained by Ger andŠemrl [3] also for the stability problem of the equation f (x g(y)) = f (x)f (y)? In the paper we give a positive answer to this question.

Main Results
As the analog of Theorem 3 we prove Then f and g satisfy Proof. By assumption (a) there is a constant ε > 0 such that Let ϕ be a fixed element of the set Φ A of all nonzero linear multiplicative functionals on A. Then, using the fact that ϕ = 1, we get for all x, y ∈ S. Since (ϕ • f )(S) is unbounded Najdecki's result (Theorem 1) shows that the function ϕ • f satisfies Eq. (1) which means that f (x g(y)) − f (x)f (y) ∈ ker ϕ, for all x, y ∈ S. Thus, for x, y ∈ S, for all x, y ∈ S and ends the proof.
If we assume that a semigroup S is commutative we can prove more. Namely, we can show the counterpart of Shtern's theorem (see [7]) for the stability of our functional equation.
Then the pair (f, g) satisfies Proof. Let ε be a positive constant such that Then for x, y, z ∈ S we have This means that the S-orbit of the element f (x)f (y) − f (x g(y)) is bounded and assumption (B) implies that which ends the proof.
Let us point out that this theorem generalizes the previously proven theorem in the case of the commutative semigroup S.
Proof. Let b be a nonzero element of A. Then, since the algebra A is semisimple, there is a linear multiplicative functional φ such that φ(b) = 0. By con- Therefore, for every nonzero b ∈ A, S-orbit O S (b) is unbounded and by Theorem 6 the pair (f, g) satisfies This ends the proof.
As the analogue of Theorem 4 we prove the following Theorem 7. Let (S, ) be a semigroup and let A be a commutative C -algebra. Assume that ε ≥ 0, g : S → S, f : S → A and for all x, y ∈ S. Then there exists a commutative C -algebra B such that Proof. Let G : A → C 0 (Δ) be the Gelfand transform of A onto the algebra of all complex continuous functions on a locally compact Hausdorff space Δ which vanish at infinity. Then the Gelfand map G (by the commutative Gelfand-Naimark theorem) is an isometric -isomorphism from A onto C 0 (Δ). So, we can identify the algebra A with the algebra C 0 (Δ). Moreover, using our assumption and the fact that the Gelfand transform G is an isometric -isomorphism, for every t ∈ Δ, we see that It gives us that for every t ∈ Δ the complex-valued map satisfies inequality from Najdecki's Theorem 1. By Najdecki's result (Theorem 1) we known that for every t ∈ Δ either (G ) on S or satisfies the functional equation Then and, by continuity of the function (G • f )(x)(·) on Δ, the set Δ x is a closed subset of Δ, for every x ∈ S. Therefore the set Δ b is a closed subset of Δ.
Putting Δ s = cl(Δ \ Δ b ) and using Najdecki's theorem together with the continuity of the function (G • f )(x)(·) on Δ, for every x ∈ S, we obtain G(f (x g(y)))(t) = G(f (x))(t)G(f (y))(t), x,y ∈ S, for every t ∈ Δ s . Consequently we get a commutative C -algebra C 0 (Δ s ) for which the map G • f satisfies our functional equation and a commutative C -algebra C 0 (Δ b ) for which the map G • f is bounded (by 1+ √ 1+4ε 2 ). Let B be a commutative C -algebra defined by B = C 0 (Δ 1 ) ⊕ C 0 (Δ 2 ) with the norm given by u ⊕ v = max{ u , v }, for u ⊕ v ∈ B. Because a map F defined as follows is an isometric -homomorphism (from C 0 (Δ) into B) we can regarded on A as a C -subalgebra of B (the map F • G is an isometric -homomorphism from A into B). Taking I = C 0 (Δ s ) ⊕ {0} and J = {0} ⊕ C 0 (Δ b ), in comparison to previous observations, the proof is finished.