 Research
 Open access
 Published:
Fixed points and stability of functional equations in fuzzy ternary Banach algebras
Journal of Inequalities and Applications volume 2013, Article number: 166 (2013)
Abstract
By using Diaz and Margolis fixed point theorem, we establish the generalized HyersUlamRassias stability of the ternary homomorphisms and ternary derivations between fuzzy ternary Banach algebras associated to the following (m,n)CauchyJensen additive functional equation:
MSC:39B52, 46S40, 26E50.
1 Introduction
A classical question in the theory of functional equations is the following:
When is it true that a function which approximately satisfies a functional equation ℰ must be close to an exact solution of ℰ?
If the problem admits a solution, we say that the equation ℰ is stable. Such a problem was formulated by Ulam [1] in 1940 and solved in the next year for the Cauchy functional equation by Hyers [2]. Since Hyers, many authors have studied the stability theory for functional equations. The result of Hyers was extended by Aoki [3] in 1950, by considering the unbounded Cauchy differences. Also, Hyers’ theorem was generalized by Rassias [4] for linear mappings by considering an unbounded Cauchy difference.
Theorem 1.1 (TM Rassias)
Let f:E\to {E}^{\prime} be a mapping from a normed vector space E into a Banach space {E}^{\prime} subject to the following inequality:
for all x,y\in E, where ϵ and p are constants with \u03f5>0 and 0\le p<1. Then the limit L(x)={lim}_{n\to \mathrm{\infty}}\frac{f({2}^{n}x)}{{2}^{n}} exists for all x\in E, and L:E\to {E}^{\prime} is the unique additive mapping which satisfies
for all x\in E. Also, if for each x\in E, the function f(tx) is continuous in t\in \mathbb{R}, then L is linear.
Găvruta [5] generalized the Rassias’ result. Beginning around the year 1980, the stability problems of several functional equations and approximate homomorphisms have been extensively investigated by a number of authors, and there are many interesting results concerning this problem (see [6–29]).
Katsaras [30] defined a fuzzy norm on a vector space to construct a fuzzy vector topological structure on the space. Some mathematicians have defined fuzzy norms on a vector space from various points of view (see [31, 32]). In particular, Bag and Samanta [33], following Cheng and Mordeson [34], gave an idea of a fuzzy norm in such a manner that the corresponding fuzzy metric is of Karmosil and Michalek type [35]. They established a decomposition theorem of a fuzzy norm into a family of crisp norms and investigated some properties of fuzzy normed spaces [36].
Now, we consider a mapping f:X\to Y satisfying the following functional equation, which is introduced by Rassias and Kim [37] (see also [38]):
for all {x}_{1},\dots ,{x}_{n}\in X, where m,n\in \mathbb{N} are fixed integers with n\ge 2 and 1\le m\le n. Especially, we observe that, in the case m=1, equation (1.1) yields the Cauchy additive equation
Also, we observe that, in the case m=n, equation (1.1) yields the Jensen additive equation
Therefore, equation (1.1) is a generalized form of the CauchyJensen additive equation and thus every solution of equation (1.1) may be analogously called the general (m,n)CauchyJensen additive. For the case m=2, the authors have established new theorems about the UlamHyersRassias stability in quasiβnormed spaces [37].
Let X and Y be linear spaces. For each m with 1\le m\le n, a mapping f:X\to Y satisfies equation (1.1) for all n\ge 2 if and only if f(x)f(0)=A(x) is Cauchy additive, where f(0)=0 if m<n. In particular, we have f((nm+1)x)=(nm+1)f(x) and f(mx)=mf(x) for all x\in X.
Definition 1.1 Let X be a real vector space. A function N:X\times \mathbb{R}\to [0,1] is called a fuzzy norm on X if for all x,y\in X and s,t\in \mathbb{R},
(N1) N(x,t)=0 for t\le 0;
(N2) x=0 if and only if N(x,t)=1 for all t>0;
(N3) N(cx,t)=N(x,\frac{t}{c}) if c\ne 0;
(N4) N(x+y,s+t)\ge min\{N(x,s),N(y,t)\};
(N5) N(x,\cdot ) is a nondecreasing function of ℝ and {lim}_{t\to \mathrm{\infty}}N(x,t)=1;
(N6) for any x\ne 0, N(x,\cdot ) is continuous on ℝ.
Example 1.1 Let (X,\parallel \cdot \parallel ) be a normed linear space and \beta >0. Then
is a fuzzy norm on X.
Definition 1.2 Let (X,N) be a fuzzy normed vector space. A sequence \{{x}_{n}\} in X is said to be convergent if there exists x\in X such that
for all t>0. In this case, x is called the limit of the sequence \{{x}_{n}\} in X, which is denoted by N{lim}_{t\to \mathrm{\infty}}{x}_{n}=x.
Definition 1.3 Let (X,N) be a fuzzy normed vector space. A sequence \{{x}_{n}\} in X is called a Cauchy sequence if for each \u03f5>0 and each t>0, there exists {n}_{0}\in \mathbb{N} such that, for all n\ge {n}_{0} and p>0,
It is well known that every convergent sequence in a fuzzy normed vector space is a Cauchy sequence. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed vector space is called a fuzzy Banach space.
We say that a mapping f:X\to Y between fuzzy normed vector spaces X and Y is continuous at a point x\in X if for each sequence \{{x}_{n}\} converging to {x}_{0}\in X, the sequence \{f({x}_{n})\} converges to f({x}_{0}). If f:X\to Y is continuous at each x\in X, then f:X\to Y is said to be continuous on X (see [36]).
Ternary algebraic operations were considered in the nineteenth century by several mathematicians such as Cayley [39] who introduced the notion of cubic matrix which in turn was generalized by Kapranov, Gelfand and Zelevinskii in 1990 [40]. The comments on physical applications of ternary structures can be found in [41–45].
Definition 1.4 Let X be a ternary algebra and (X,N) be a fuzzy normed space.

(1)
The fuzzy normed space (X,N) is called a ternary fuzzy normed algebra if
N([xyz],stu)\ge N(x,s)N(y,t)N(z,u)
for all x,y,z\in X and s,t,u>0;

(2)
A complete ternary fuzzy normed algebra is called a ternary fuzzy Banach algebra.
Example 1.2 Let (X,\parallel \cdot \parallel ) be a ternary normed (Banach) algebra. Let
Then N(x,t) is a fuzzy norm on X and (X,N) is a ternary fuzzy normed (Banach) algebra.
Definition 1.5 Let (X,N) and (Y,{N}^{\prime}) be two ternary fuzzy normed algebras.

(1)
A ℂlinear mapping H:(X,N)\to (Y,{N}^{\prime}) is called a ternary homomorphism if
H([xyz])=[H(x)H(y)H(z)]
for all x,y,z\in X;

(2)
A ℂlinear mapping D:(X,N)\to (X,N) is called a ternary fuzzy derivation if
D([xyz])=[D(x)yz]+[xD(y)z]+[xyD(z)]
for all x,y,z\in X.
We apply the following theorem on weighted spaces (see [46–49]).
Theorem 1.2 (The generalized fixed point theorem of Diaz and Margolis)
Let (X,d) be a complete metric space and T:X\to X be a contraction, i.e., there exists \alpha \in [0,1) such that
for all x,y\in X. Then there exists a unique a\in X such that Ta=a. Moreover, a={lim}_{n\to \mathrm{\infty}}{T}^{n}x and
for all x\in X.
Throughout this paper, we suppose that X is a ternary fuzzy normed algebra and Y is a ternary fuzzy Banach algebra. Moreover, we assume that {n}_{0}\in \mathbb{N} is a positive integer and {\mathbb{T}}_{\frac{1}{{n}_{o}}}^{1}:=\{{e}^{i\theta}:0\le \theta \le \frac{2\pi}{{n}_{o}}\}. For the convenience, we use the following abbreviation for a given mapping f:X\to Y:
2 Main results
In this section, by using the idea of Gavruta and Gavruta [14], we prove the generalized HyersUlamRassias stability of ternary homomorphisms related to functional equation (1.1) on ternary fuzzy Banach algebras (see also [50]).
Theorem 2.1 Let n\ge 3 and \phi :{X}^{n}\to [0,\mathrm{\infty}) be a mapping such that there exists L<\frac{1}{{(nm+1)}^{n2}} such that
for all {x}_{1},\dots ,{x}_{n}\in X. Let f:X\to Y with f(0)=0 be a mapping satisfying
and
for all \mu \in {\mathbb{T}}_{\frac{1}{{n}_{o}}}^{1}, {x}_{1},\dots ,{x}_{n},a,b,c\in X and t>0. Then there exists a unique ternary homomorphism H:X\to Y such that
for all x\in X and t>0.
Proof Letting \mu =1 and putting {x}_{1}={x}_{2}=\cdots ={x}_{n}=x in (2.1), we have
for all x\in X and t>0. Set {S}_{0}:=\{h:X\to Y:h(0)=0\} and define a mapping {d}_{0}:{S}_{0}\times {S}_{0}\to [0,\mathrm{\infty}] by
where inf\mathrm{\varnothing}=+\mathrm{\infty}. Also, put S:=\{h\in {S}_{0}:{d}_{0}(h,f)<\mathrm{\infty}\}. Suppose that d is the restriction of {d}_{0} on S\times S. By using the same technique in the proof of Theorem 3.2 [50], we can show that (S,d) is a complete metric space. Now, we define a mapping J:S\to S by
for all x\in X. It is easy to see that d(Jg,Jh)\le Ld(g,h) for all g,h\in S. This implies that
Thus, by Banach’s fixed point theorem (Theorem 1.2), J has a unique fixed point H:X\to Y in S satisfying
for all x\in X. This implies that H is a unique mapping with (2.5) such that there exists \mu \in (0,\mathrm{\infty}) satisfying
for all x\in X and t>0.
Moreover, we have d({J}^{p}f,H)\to 0 as p\to \mathrm{\infty}, which implies
for all x\in X. Thus it follows from (2.1) and (2.6) that
for all \mu \in {\mathbb{T}}_{\frac{1}{{n}_{o}}}^{1} and {x}_{1},\dots ,{x}_{n}\in X. This means that H:X\to Y is additive. By using the same technique as in the proof of Theorem 2.1 [51], we can show that H is ℂlinear. On the other hand, by (2.2), we have
for all a,b,c\in X and t>0, where
Then we have, as p\to +\mathrm{\infty},
for all a,b,c\in X and t>0. So, it follows that
for all a,b,c\in X and t>0. Hence we have H([abc])=[H(a)H(b)H(c)] for all a,b,c\in X. This means that H is a ternary homomorphism. This completes the proof. □
Theorem 2.2 Let \phi :{X}^{n}\to [0,\mathrm{\infty}) be a mapping such that there exists L<1 with
for all {x}_{1},{x}_{2},\dots ,{x}_{n}\in X. Let f:X\to Y be a mapping with f(0)=0 satisfying (2.1). Then the limit H(x):=N\text{}{lim}_{p\to \mathrm{\infty}}\frac{f({(nm+1)}^{p}x)}{{(nm+1)}^{p}} exists for all x\in X and H:X\to Y is defined as a ternary homomorphism such that
for all x\in X and t>0.
Proof Let (S,d) be the metric space defined as in the proof of Theorem 2.1. Consider the mapping T:S\to S defined by Tg(x):=\frac{g((nm+1)x)}{nm+1} for all x\in X. One can show that d(g,h)=\u03f5 implies that d(Tg,Th)\le L\u03f5 for all positive real numbers ϵ. This means that T is a contraction on (S,d). The mapping
is the unique fixed point of T in S and H has the following property:
for all x\in X. This implies that H is a unique mapping satisfying (2.8) such that there exists \mu \in (0,\mathrm{\infty}) satisfying N(f(x)H(x),\mu t)\ge \frac{t}{t+\phi (x,\dots ,x)} for all x\in X and t>0.
The rest of the proof is similar to the proof of Theorem 2.1. This completes the proof. □
Now, we investigate the HyersUlamRassias stability of ternary derivations in ternary fuzzy Banach algebras.
Theorem 2.3 Let X be a fuzzy Banach algebra. Let \phi :{X}^{n}\to [0,\mathrm{\infty}) be a function such that there exists L<\frac{1}{{(nm+1)}^{n2}} with
for all {x}_{1},\dots ,{x}_{n}\in X. Let f:X\to X be a mapping with f(0)=0 satisfying (2.1) and
for all a,b,c\in X and t>0. Then D(x):=N\text{}{lim}_{p\to \mathrm{\infty}}\frac{f(\frac{x}{{(nm+1)}^{p}})}{{(nm+1)}^{p}} exists for all x\in X and D:X\to X is defined as a unique ternary derivation such that
for all x\in X and t>0.
Proof By the same reasoning as that in the proof of Theorem 2.1, the mapping D:X\to X is a unique ℂlinear mapping which satisfies (2.10).
Now, we show that D is a ternary derivation. By (2.9), we have
for all a,b,c\in X and t>0. Then we have
for all a,b,c\in X and t>0. So, we have
for all a,b,c\in X and t>0. Hence we have D([abc])=[D(a)bc]+[aD(b)c]+[abD(c)] for all a,b,c\in X . This means that D is a ternary derivation. This completes the proof. □
Theorem 2.4 Let X be a fuzzy Banach algebra. Let \phi :{X}^{n}\to [0,\mathrm{\infty}) be a function such that there exists L<1 with
for all {x}_{1},{x}_{2},\dots ,{x}_{n}\in X. Let f:X\to X be a mapping with f(0)=0 satisfying (2.1) and (2.9). Then the limit D(x):=N\text{}{lim}_{p\to \mathrm{\infty}}\frac{f({(nm+1)}^{p}x)}{{(nm+1)}^{p}} exists for all x\in X and D:X\to X is defined as a ternary derivation such that
for all x\in X and t>0.
References
Ulam SM: A Collection of the Mathematical Problems. Interscience, New York; 1960.
Hyers DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27: 222–224. 10.1073/pnas.27.4.222
Aoki T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 1950, 2: 64–66. 10.2969/jmsj/00210064
Rassias TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72: 297–300. 10.1090/S00029939197805073271
Gǎvruta P: A generalization of the HyersUlamRassias stability of approximately additive mappings. J. Math. Anal. Appl. 1994, 184: 431–436. 10.1006/jmaa.1994.1211
Bourgin DG: Classes of transformations and bordering transformations. Bull. Am. Math. Soc. 1951, 57: 223–237. 10.1090/S000299041951095117
Cădariu L, Radu V: Fixed points and the stability of Jensen’s functional equation. J. Inequal. Pure Appl. Math. 2003., 4(1): Article ID 4
Cădariu L, Radu V: Fixed points and the stability of quadratic functional equations. An. Univ. Timişoara, Ser. Mat. Inform 2003, 41: 25–48.
Czerwik S: The stability of the quadratic functional equation. In Stability of Mappings of HyersUlam Type. Edited by: Rassias TM, Tabor J. Hadronic Press, Florida; 1994:81–91.
Eshaghi Gordji M, Rassias JM, Ghobadipour N:Generalized HyersUlam stability of generalized(N,K)derivations. Abstr. Appl. Anal. 2009., 2009: Article ID 437931
Eshaghi Gordji M, Ghaemi MB, Kaboli Gharetapeh S, Shams S, Ebadian A:On the stability of{J}^{\ast}derivations. J. Geom. Phys. 2010, 60: 454–459. 10.1016/j.geomphys.2009.11.004
Eshaghi Gordji M, Najati A:Approximately{J}^{\ast}homomorphisms: a fixed point approach. J. Geom. Phys. 2010, 60: 809–814. 10.1016/j.geomphys.2010.01.012
Rassias JM, Jun KW, Kim HM:Approximate(m,n)CauchyJensen additive mappings in {C}^{\ast}algebras. Acta Math. Sin. 2011, 27(10):1907–1922. 10.1007/s1011401101794
Gǎvruta P, Gǎvruta L: A new method for the generalized HyersUlamRassias stability. Int. J. Nonlinear Anal. Appl. 2010, 1: 11–18.
Khodaei H, Rassias TM: Approximately generalized additive functions in several variables. Int. J. Nonlinear Anal. Appl. 2010, 1: 22–41.
Cholewa PW: Remarks on the stability of functional equations. Aequ. Math. 1984, 27: 76–86. 10.1007/BF02192660
Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh. Math. Semin. Univ. Hamb. 1992, 62: 239–248.
Saadati R, Vaezpour M, Cho YJ: A note to paper ‘On the stability of cubic mappings and quartic mappings in random normed spaces’. J. Inequal. Appl. 2009., 2009: Article ID 214530
Saadati R, Zohdi MM, Vaezpour SM: Nonlinear L random stability of an ACQ functional equation. J. Inequal. Appl. 2011., 2011: Article ID 194394
Azadi Kenary H, Rezaei H, Ghaffaripour A, Talebzadeh S, Park C, Lee JR: Fuzzy HyersUlam stability of an additive functional equation. J. Inequal. Appl. 2011., 2011: Article ID 140
Park C, Lee JR, Rassias TM, Saadati R: Fuzzy ^{∗}homomorphisms and fuzzy ^{∗}derivations in induced fuzzy {C}^{\ast}algebras. Math. Comput. Model. 2011, 54: 2027–2039. 10.1016/j.mcm.2011.05.012
Park C, Eshaghi Gordji M, Cho YJ: Stability and superstability of generalized quadratic ternary derivations on nonArchimedean ternary Banach algebras: a fixed point approach. Fixed Point Theory Appl. 2012., 2012: Article ID 97
Cho YJ, Kang SM, Sadaati R: Nonlinear random stability via fixedpoint method. J. Appl. Math. 2012., 2012: Article ID 902931
Cho YJ, Park C, Saadati R: Functional inequalities in nonArchimedean Banach spaces. Appl. Math. Lett. 2010, 23: 1238–1242. 10.1016/j.aml.2010.06.005
Cho YJ, Saadati R, Vahidi J:Approximation of homomorphisms and derivations on nonArchimedean Lie{C}^{\ast}algebras via fixed point method. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 373904
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
Saadati R, Park C: NonArchimedean L fuzzy normed spaces and stability of functional equations. Comput. Math. Appl. 2010, 60: 2488–2496. 10.1016/j.camwa.2010.08.055
Saadati R, Vaezpour SM, Park C: The stability of the cubic functional equation in various spaces. Math. Commun. 2011, 16: 131–145.
Rassias TM: On the stability of functional equations in Banach spaces. J. Math. Anal. Appl. 2000, 251: 264–284. 10.1006/jmaa.2000.7046
Katsaras AK: Fuzzy topological vector spaces. Fuzzy Sets Syst. 1984, 12: 143–154. 10.1016/01650114(84)900344
Felbin C: Finitedimensional fuzzy normed linear space. Fuzzy Sets Syst. 1992, 48: 239–248. 10.1016/01650114(92)903385
Park C: Fuzzy stability of a functional equation associated with inner product spaces. Fuzzy Sets Syst. 2009, 160: 1632–1642. 10.1016/j.fss.2008.11.027
Bag T, Samanta SK: Finite dimensional fuzzy normed linear spaces. J. Fuzzy Math. 2003, 11: 687–705.
Cheng SC, Mordeson JN: Fuzzy linear operators and fuzzy normed linear spaces. Bull. Calcutta Math. Soc. 1994, 86: 429–436.
Karmosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kybernetica 1975, 11: 326–334.
Bag T, Samanta SK: Fuzzy bounded linear operators. Fuzzy Sets Syst. 2005, 151: 513–547. 10.1016/j.fss.2004.05.004
Rassias JM, Kim H: Generalized HyersUlam stability for general additive functional equations in quasi β normed spaces. J. Math. Anal. Appl. 2009, 356: 302–309. 10.1016/j.jmaa.2009.03.005
Azadi Kenary H: NonArchimedean stability of CauchyJensen type functional equation. J. Nonlinear Anal. Appl. 2011, 1: 1–10.
Cayley A: On the 34 concomitants of the ternary cubic. Am. J. Math. 1981, 4: 1–15.
Kapranov M, Gelfand IM, Zelevinskii A: Discrimininants, Resultants and Multidimensional Determinants. Birkhauser, Berlin; 1994.
Abramov V, Kerner R, Liivapuu O, Shitov S: Algebras with ternary law of composition and their realization by cubic matrices. J. Gen. Lie Theory Appl. 2009, 3: 77–94. 10.4303/jglta/S090201
Kerner R: Ternary and nonassociative structures. Int. J. Geom. Methods Mod. Phys. 2008, 5: 1265–1294. 10.1142/S0219887808003326
Kerner R: The cubic chessboard. Geometry and physics. Class. Quantum Gravity 1997, 14: 203–225. 10.1088/02649381/14/1A/017
Sewell GL: Quantum Mechanics and Its Emergent Macrophysics. Princeton University Press, Princeton; 2002.
Zettl H: A characterization of ternary rings of operators. Adv. Math. 1983, 48: 117–143. 10.1016/00018708(83)90083X
Diaz J, Margolis B: A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull. Am. Math. Soc. 1968, 74: 305–309. 10.1090/S000299041968119330
Mihet D, Radu V: On the stability of the additive Cauchy functional equation in random normed spaces. J. Math. Anal. Appl. 2008, 343: 567–572. 10.1016/j.jmaa.2008.01.100
Park C, Lee JR, Rassias TM, Saadati R: Fuzzy ^{∗}homomorphisms and fuzzy ^{∗}derivations in induced fuzzy{C}^{\ast} algebras. Math. Comput. Model. 2011, 54: 2027–2039. 10.1016/j.mcm.2011.05.012
Radu V: The fixed point alternative and the stability of functional equations. Fixed Point Theory 2003, 4: 91–96.
Eshaghi Gordji, M, Moradlou, F: Approximate Jordan derivations on Hilbert {C}^{\ast}moduls. Fixed Point Theory (to appear)
Eshaghi Gordji M: Nearly involutions on Banach algebras; a fixed point approach. Fixed Point Theory 2011, 12: 341–348.
Acknowledgements
The second author of this work was partially supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant No. 20120008170).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors 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
Asgari, G., Cho, Y., Lee, Y. et al. Fixed points and stability of functional equations in fuzzy ternary Banach algebras. J Inequal Appl 2013, 166 (2013). https://doi.org/10.1186/1029242X2013166
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2013166