Abstract
In this article, we establish the generalized Hyers-Ulam (or Hyers-Ulam-Rassais) stability of Jordan homomorphisms and Jordan derivations of the following parametric additive functional equation:
for a fixed positive integer m with m ≥ 2, on fuzzy Banach algebras. The concept of Ulam-Hyers-Rassias stability originated from Rassias stability theorem that appeared in his article.
Mathematics Subject Classification: Primary, 46S40; Secondary, 39B52; 39B82; 26E50; 46S50; 46H25.
Similar content being viewed by others
1. Introduction
The stability problem of functional equations originated from a question of Ulam [1] in 1940, concerning the stability of group homomorphisms. Let (G1, .) be a group and let (G2, *) be a metric group with the metric d(., .). Given ε > 0, does there exist a δ 0, such that if a mapping h: G1→ G2satisfies the inequality d(h(x.y), h(x) * h(y)) < δ for all x, y ∈ G1, then there exists a homomorphism H: G1→ G2with d(h(x), H(x)) < ε for all x ∈ G1? In the other words, under what condition does there exist a homomorphism near an approximate homomorphism? The concept of stability for functional equation arises when we replace the functional equation by an inequality which acts as a perturbation of the equation. In 1941, Hyers [2] gave the first affirmative answer to the question of Ulam for Banach spaces. Let f: E → E'' be a mapping between Banach spaces such that ||f(x+y)-f(x)-f(y)|| ≤ δ for all x, y E, and for some δ > 0. Then there exists a unique additive mapping T: E → E' such that ||f(x) - T(x)|| ≤ δ for all x ∈ E. Moreover if f(tx) is continuous in t ∈ ℝ for each fixed x ∈ E, then T is linear. In 1978, Rassias [3] proved the following theorem.
Theorem 1.1. Let f: E → E' be a mapping from a normed vector space E into a Banach space E' subject to the inequality
for all x, y ∈ E, where and p are constants with ε > 0 and p < 1. Then there exists a unique additive mapping T: E → E' such that
for all x ∈ E. If p < 0 then inequality (1.1) holds for all x, y ≠ 0, and (1.2) for x ≠ 0. Also, if the function t ↦ f(tx) from ℝ into E' is continuous in real t for each fixed x ∈ E, then T is linear.
In 1991, Gajda [4] answered the question for the case p > 1, which was raised by Rassias. This new concept is known as the generalized Hyers-Ulam stability of functional equations.
Following [5], we give the employing notion of a fuzzy norm.
Let X be a real linear space. A function N: X × ℝ→[0, 1] (the so-called fuzzy subset) is said to be a fuzzy norm on X if for all x, y ∈ X and all a, b ∈ ℝ:
(N1) N(x, a) = 0 for a ≤ 0;
(N2) x = 0 if and only if N(x, a) = 1 for all a > 0;
(N3) ;
(N4) N(x + y, a + b) ≥ min{N(x, a), N(y, b)};
(N5) N(x, .) is non-decreasing function on ℝ and lim a→∞ N(x, a) = 1;
(N6) For x ≠ 0, N(x, .) is (upper semi) continuous on ℝ.
The pair (X, N) is called a fuzzy normed linear space. One may regard N(x, a) as the truth value of the statement "the norm of x is less than or equal to the real number a".
Example 1.2. Let (X, ||.||) be a normed linear space. Then
is a fuzzy norm on X.
Let (X, N) be a fuzzy normed linear space. Let {x n } be a sequence in X. Then {x n } is said to be convergent if there exists x ∈ X such that lim n→∞ N(x n - x, a) = 1 for all a > 0. In that case, x is called the limit of the sequence {x n } and we denote it by N - lim n→∞ x n = x. A sequence {x n } in X is called Cauchy if for each ε > 0 and each a there exists n0 such that for all n ≥ n0 and all p > 0, we have N(xn+p- xn, a) > 1 - ε. It is known that every convergent sequence in fuzzy normed space is Cauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed space is called a fuzzy Banach space.
Let X be an algebra and (X, N) be complete fuzzy normed space, the pair (X, N) is said to be a fuzzy Banach algebra if for every x, y ∈ X, a, b ∈ ℝ
Let (X, N) be a fuzzy Banach algebra and {x n }, {y n } be convergent sequences in (X, N) such that N - lim n→∞ x n = x and N - lim n→∞ y n = y. Then
for all t > 0. Therefore N - lim n→∞ x n y n = xy.
The generalized Hyers-Ulam stability of different functional equations in random normed and fuzzy normed spaces has been recently studied in [6–9].
Definition 1.3. Suppose A and B are two Banach algebras. We say that a mapping h: A → B is a Jordan homomorphism if
for all a, b ∈ A.
Definition 1.4. Suppose A is a Banach algebra. We say that a mapping d: A → A is a Jordan derivation if
for all a, b ∈ A.
The stability of different functional equations in various normed spaces and also on Banach algebras has been recently studied in [2–4, 6–29].
In the present article, we investigate the generalized Hyers-Ulam stability of Jordan homomorphisms and Jordan derivations of the following parametric-additive functional equation
where m is a positive integer greater than 2, on fuzzy Banach algebras.
2. Main results
We start our work with the following theorem which can be regard as a general solution of functional Equation (1.4).
Theorem 2.1. Let V and W be real vector spaces. A mapping f: V → W satisfies in (1.4) if and only if f is additive.
Proof. Setting x j = 0 in (1.4) (1 ≤ j ≤ m), we obtain
Since m ≥ 2, we have
Setting x1 = x, x j = 0 (2 ≤ j ≤ m) in (1.1), we obtain
Putting x1 = x, x2 = y, x j = 0 (3 ≤ j ≤ m), we get
Putting x1 = x, (2 ≤ j ≤ m), we get
Let x = 0 in (2.5), we obtain
So, (2.5) turns to following
From (2.4) and (2.7), we have
Replacing x by y and y by x in (2.7) and comparing it with (2.8), we get
Letting x = y in (2.4), (2.7), (2.9), respectively, we obtain
From (2.10)-(2.12) we have
Replacing f(2x) and f(2y) by their equivalents by using (2.13) in (2.9), we get
Replacing y by -x in (2.14), we get
Replacing x by x - y in (2.14), we get
Similarly, replacing y by y - x in (2.14), we obtain
Replacing y by -y and x by -x in (2.16) and (2.17), respectively, we obtain
Adding both sides of (2.18) and (2.19) and using (2.15), we get
Comparing (2.20) and (2.14), we obtain f(x + y) = f(x) + f(y) for all x, y ∈ V. So, if a mapping f satisfying (1.4) it must be additive. Conversely, let f: V → W be additive, it is clear that f satisfying (1.4) and the proof is complete. In this section we investigate the fuzzy stability of Jordan homomorphisms.
Theorem 2.2. Suppose (A, N) and (B, N) are two fuzzy Banach algebras and (C, N') be a fuzzy normed space. Let φ: Am → C be a function such that for some 0 < α < m,
for all a1 , . . . , a m ∈ A and all t > 0. If f: A → B is a mapping such that
and
for all a1, . . . , a m ∈ A and all t, s > 0. Then there exists a unique Jordan homomorphism h: A → B such that
where a ∈ A and t > 0.
Proof. Letting a1 = a and a2 = ··· = a m = 0 in (2.22), we obtain
for all a ∈ A and all t > 0. Replacing a by mj a in (2.25), we have
for all a ∈ A, all t > 0 and any integer j ≥ 0. So
which yields
for all a ∈ A, t > 0 and any integers n > 0, p ≥ 0. So
for all a ∈ A, t > 0 and any integers n > 0, p ≥ 0. Hence one obtains
for all x ∈ X, t > 0 and any integers n > 0, p ≥ 0. Since, the series is convergent series, we see by taking the limit p → ∞ in the last inequality that a sequence is a Cauchy sequence in the fuzzy Banach algebra (B, N) and so it converges in B. Therefore a mapping h: A → B defined by is well defined for all a ∈ A. It means that
for all a ∈ A and all t > 0. In addition, it follows from (2.28) that
for all a ∈ A and all t > 0. So
for sufficiently large n and for all a ∈ A, t > 0 and ε with 0 < ε < 1. Since ε is arbitrary and N' is left continuous, we obtain N(f(a) - h(a), t) ≥ N' (φ(a, 0, . . . , 0), (m - α)t) for all a ∈ A and t > 0. It follows from (2.21) and (2.22) that
for all a1, . . . , a m ∈ A, t > 0 and all n ∈ ℕ. Since limn→∞N' (φ(a1, . . . , a m ), mnα-nt) = 1 and so
for all a1, . . . , a m ∈ A and all t > 0. Therefore, we obtain in view of (2.29)
which implies for all a1, . . . , a m ∈ A. Thus h: A → B is a mapping satisfying the Equation (1.4) and the inequality (2.24). To prove the uniqueness, let there is another mapping k: A → B which satisfies the inequality (2.24).
Then, for all a ∈ A, we have
for all t > 0. Therefore h(a) = k(a) for all a ∈ A. Now we only need to show that h(a2) = h(a)2 for all a ∈ A. It follows from (2.24) that
for all a ∈ A and all t > 0. Thus for all a ∈ A and all t > 0. By the additivity of h it is easy to see that
for all a ∈ A and all t > 0. Letting n to infinity in (2.30) and using (N5), we see that
for all a ∈ A. Using inequality (2.23), we get
for all a ∈ A and all s > 0. Thus
for all a, b ∈ A and all s > 0. Letting n to infinity in (2.32) and using (N5), we see that
Applying (2.31) and (2.33), we have
for all a ∈ A. To prove the uniqueness of h, assume that h' is another Jordan homomorphism satisfying (2.24). Since both h and h' are additive, we deduce that
for all a ∈ A and all t > 0. Letting n to infinity, we infer that N(h(a) - h'(a), t) = 1 for all a ∈ A and all t > 0. Hence (N2) implies that h(a) = h'(a) for all a ∈ A. □
Corollary 2.3. Suppose (A, N) and (B, N) are two fuzzy Banach algebras and (C, N') be a fuzzy normed space. If f: A → B is a mapping such that
and
for all a1, . . . , a n , a ∈ A and all t, s > 0. Then there exists a unique Jordan homomorphism h: A → B such that
where a ∈ A and t > 0.
Proof. Letting and α = 1. Applying Theorem 2.2, we obtain the desired results. □
3. Fuzzy stability of Jordan derivations
In this section we prove the stability of Jordan derivations on fuzzy Banach algebras.
Theorem 3.1. Let (A, N) be a fuzzy Banach algebra and (B, N') be a fuzzy normed space.
Let φ: Am → B be a function such that for some 0 < α < m,
for all a, b ∈ A and all t > 0. Suppose that f: A → A is a function such that
and
for all a, b ∈ A and all t, s > 0. Then there exists a unique Jordan derivation d: A → A such that
where a ∈ A and t > 0.
Proof. Proceeding as in the proof of Theorem 2.2, we find that there exists an additive function d: A → A satisfying (3.4). Now we only need to show that d satisfies d(a2) = ad(a) + d(a)a for all a ∈ A. The inequalities (3.1) and (3.4) imply that
for all a ∈ A and all t > 0. Thus
for all a ∈ A and all t > 0. By the additivity of d it is easy to see that
for all a ∈ A and all t > 0. Letting n to infinity in (3.5) and using (N5), we get
for all a ∈ A. Using (3.1) and (3.3), we get
for all a ∈ A and all s > 0. Let g: A × A → A be a function defined by g(a, a) = f(a2) - af(a) - f(a)a for all a ∈ A. Hence, (3.7) implies that
for all a ∈ A. Since (A, N) is a fuzzy Banach algebra, applying (3.6) and (3.8), we get
for all a ∈ A. To prove the uniqueness property of d, assume that d' is another Jordan derivation satisfying (3.4). Since both d and d' are additive we deduce that
for all a ∈ A and all t > 0. Letting n to infinity in the above inequality, we get N(d(a) - d'(a), t) = 1 for all a ∈ A and all t > 0. Hence d(a) = d'(a) for all a ∈ A. □
Corollary 3.2. Suppose (A, N) and (B, N) are two fuzzy Banach algebras and (C, N') be a fuzzy normed space. If f: A → B is a mapping such that
and
for all a1, . . . , a n , a ∈ A and all t, s > 0. Then there exists a unique Jordan homomorphism h: A → B such that
where a ∈ A and t > 0.
Proof. Letting and . Applying Theorem 3.1, we get the desired results. □
4. Conclusion
We establish the generalized Hyers-Ulam stability of Jordan homomorphisms and Jordan derivations on fuzzy Banach algebras. We show that every approximately Jordan homomorphism (Jordan derivation) is near to an exact Jordan homomorphism (Jordan derivation).
References
Ulam SM: A Collection of the Mathematical Problems. Interscience Publ., New York; 1960.
Hyers DH: On the stability of the linear functional equation. Proc Natl Acad Sci 1941, 27: 222–224. 10.1073/pnas.27.4.222
Rassias ThM: On the stability of the linear mapping in Banach spaces. Proc Am Math Soc 1978, 72: 297–300. 10.1090/S0002-9939-1978-0507327-1
Gajda Z: On stability of additive mappings. Int J Math Math Sci 1991, 14: 431–434. 10.1155/S016117129100056X
Bag T, Samanta SK: Finite dimensional fuzzy normed linear spaces. J Fuzzy Math 2003, 11(3):687–705.
Eshaghi Gordji M, Khodaei H: The fixed point method for fuzzy approximation of a functional equation associated with inner product spaces. Discr Dyn Nature Soc 2010, 2010: 15. (Article ID 140767). doi:10.1155/2010/140767
Ghobadipour N, Park C: Cubic-quartic functional equations in fuzzy normed spaces. Int J Nonlinear Anal Appl 2010, 1: 12–21.
Khodaei H, Kamyar M: Fuzzy approximately additive mappings. Int J Nonlinear Anal Appl 2010, 1(2):44–53.
Shakeri S, Saadati R, Park C: Stability of the quadratic functional equation in non-Archimedean ℒ-fuzzy normed spaces. Int J Nonlinear Anal Appl 2010, 1(2):72–83.
Bavand Savadkouhi M, Gordji ME, Rassias JM, Ghobadipour N: Approximate ternary Jordan derivations on Banach ternary algebras. J Math Phys 2009, 50: 042303. 10.1063/1.3093269
Cho YJ, Kang JI, Saadati R: Fixed points and stability of additive functional equations on the Banach algebras. J Comput Anal Appl 2012, 14: 1103–1111.
Ebadian A, Ghobadipour N, Gordji ME: A fixed point method for perturbation of bimultipliers and Jordan bimultipliers in C * - ternary algebras. J Math Phys 2010, 51(1):10. doi:10.1063/1.3496391
Eshaghi Gordji M, Ghaemi MB, Kaboli Gharetapeh S, Shams S, Ebadian A: On the stability of J * - derivations. J Geom Phys 2010, 60(3):454–459. 10.1016/j.geomphys.2009.11.004
Eshaghi Gordji M, Kaboli Gharetapeh S, Karimi T, Rashidi E, Aghaei M: Ternary Jordan derivations on C * - ternary algebras. J Comput Anal Appl 2010, 12(2):463–470.
Eshaghi Gordji M, Karimi T, Kaboli Gharetapeh S: Approximately n -Jordan homomorphisms on Banach algebras. J Ineq Appl 2009, 2009: 8. (Article ID 870843)
Eshaghi Gordji M, Najati A: Approximately J *-homomorphisms: a fixed point approach. J Geom Phys 2010, 60: 809–814. 10.1016/j.geomphys.2010.01.012
Eshaghi Gordji M, Rassias JM, Ghobadipour N: Generalized Hyers-Ulam stability of the generalized ( n , k )-derivations. Abstr Appl Anal 2009, 2009: 8. (Article ID 437931)
Farokhzad R, Hosseinioun SAR: Perturbations of Jordan higher derivations in Banach ternary algebras: an alternative fixed point approach. Int J Nonlinear Anal Appl 2010, 1(1):42–53.
Najati A, Kang JI, Cho YJ: Local stability of the pexiderized Cauchy and Jensen's equations in fuzzy Spaces. J Inequal Appl 2011, 2011: 78. 10.1186/1029-242X-2011-78
Park C, Eshaghi Gordji M: Comment on "Approximate ternary Jordan derivations on Banach ternary algebras". J Math Phys 2010, 51: 044102. doi:10.1063/1.3299295. [Bavand Savadkouhi et al. J. Math. Phys. 50, 042303 (2009)] 10.1063/1.3299295
Park C, Najati A: Generalized additive functional inequalities in Banach algebras. Int J Nonlinear Anal Appl 2010, 1(2):54–62.
Rassias ThM: Functional Equations, Inequalities and Applications. Kluwer Academic Publishers Company, Dordrecht; 2003.
Rassias ThM: Problem 16;2, Report of the 27th international symp. on functional equations Aequations Math 1990, 39: 292–293.
Rassias ThM: On the stability of the quadratic functional equation and its applications. Studia Univ Babes-Bolyai 1998, XLIII: 89–124.
Rassias ThM: The problem of S.M. Ulam for approximately multiplicative mappings. J Math Anal Appl 2000, 246: 352–378. 10.1006/jmaa.2000.6788
Rassias ThM: On the stability of functional equations in Banach spaces. J Math Anal Appl 2000, 251: 264–284. 10.1006/jmaa.2000.7046
Rassias ThM, Semrl P: On the behaviour of mappings which do not satisfy Hyers-Ulam stability. Proc Am Math Soc 1992, 114: 989–993. 10.1090/S0002-9939-1992-1059634-1
Rassias ThM, Semrl P: On the Hyers-Ulam stability of linear mappings. J Math Anal Appl 1993, 173: 325–338. 10.1006/jmaa.1993.1070
Saadati R, Cho YJ, Vahidi J: The stability of the quartic functional equation in various spaces. Comput Math Appl 2010, 60: 1994–2002. 10.1016/j.camwa.2010.07.034
Acknowledgements
Dong Yun Shin was supported by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2010-0021792).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors conceived of the study participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Azadi Kenary, H., Rezaei, H., Gheisari, Y. et al. Almost Jordan homomorphisms and Jordan derivations associated to the parametric-additive functional equation on fuzzy Banach algebras. Adv Differ Equ 2012, 70 (2012). https://doi.org/10.1186/1687-1847-2012-70
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2012-70