- Open Access
Approximation of homomorphisms and derivations on non-Archimedean random Lie -algebras via fixed point method
© Kang and Saadati; licensee Springer 2012
- Received: 18 April 2012
- Accepted: 15 October 2012
- Published: 29 October 2012
In this paper, using fixed point methods, we prove the generalized Hyers-Ulam stability of random homomorphisms in random -algebras and random Lie -algebras and of derivations on non-Archimedean random C∗-algebras and non-Archimedean random Lie C∗-algebras for an m-variable additive functional equation.
MSC:39A10, 39B52, 39B72, 46L05, 47H10, 46B03.
- additive functional equation
- fixed point
- non-Archimedean random space
- homomorphism in -algebras and Lie -algebras
- generalized Hyers-Ulam stability
- derivation on -algebras and Lie -algebras
if and only if ;
for any , , ;
- (iii)the strong triangle inequality (ultrametric) holds; namely
holds, a sequence is Cauchy if and only if converges to zero in a non-Archimedean normed space. By a complete non-Archimedean normed space, we mean the one in which every Cauchy sequence is convergent.
For any nonzero rational number x, there exists a unique integer such that , where a and b are integers not divisible by p. Then defines a non-Archimedean norm on ℚ. The completion of ℚ with respect to the metric is denoted by , which is called the p-adic number field.
If, in addition, for , then is a non-Archimedean -algebra.
The stability problem of functional equations was originated from a question of Ulam  concerning the stability of group homomorphisms. Let be a group and let be a metric group (a metric which is defined on a set with a group property) with the metric . Given , does there exist a such that if a mapping satisfies the inequality for all , then there is a homomorphism with for all If the answer is affirmative, we would say that the equation of a homomorphism is stable (see also [4–6]).
if and only if ;
for all ;
for all .
Theorem 1.1 
the sequence converges to a fixed point of J;
is the unique fixed point of J in the set ;
for all .
Definition 2.1 
T is commutative and associative;
T is continuous;
for all ;
whenever and for all .
Typical examples of continuous t-norms are , and (the Lukasiewicz t-norm).
Definition 2.2 
A non-Archimedean random normed space (briefly, NA-RN-space) is a triple , where X is a vector space, T is a continuous t-norm, and μ is a mapping from X into such that the following conditions hold:
(RN1) for all if and only if ;
(RN2) for all , ;
(RN3) for all and all .
for all , and is the minimum t-norm. This space is called the induced random normed space.
Definition 2.3 
A non-Archimedean random normed algebra is a non-Archimedean random normed space with an algebraic structure such that
(RN-4) for all and all , in which is a continuous t-norm.
This space is called an induced non-Archimedean random normed algebra.
Let and be non-Archimedean random normed algebras. An ℝ-linear mapping is called a homomorphism if for all .
An ℝ-linear mapping is called a derivation if for all .
If, in addition, for and , then is a non-Archimedean random -algebra.
A sequence in X is said to be convergent to x in X if, for every and , there exists a positive integer N such that whenever .
A sequence in X is called a Cauchy sequence if, for every and , there exists a positive integer N such that whenever .
An RN-space is said to be complete if and only if every Cauchy sequence in X is convergent to a point in X.
Throughout this section, assume that is a non-Archimedean random -algebra with the norm and that ℬ is a non-Archimedean random -algebra with the norm .
for all and all .
Note that a ℂ-linear mapping is called a homomorphism in non-Archimedean random -algebras if H satisfies and for all .
We prove the generalized Hyers-Ulam stability of homomorphisms in non-Archimedean random -algebras for the functional equation .
for all and .
for all and .
It is easy to show that is a generalized complete metric space (see ).
From this it is easy to see that for all , that is, J is a self-function of Ω with the Lipschitz constant L.
for all since .
By a similar method to the above, we get for all and all . Thus, one can show that the mapping is ℂ-linear.
for all . So, for all . Thus, is a homomorphism satisfying (3.7) as desired.
Also by (3.3), (3.10), (3.11) and by a similar method, we have . □
for all and .
for all , and , we get the desired result. □
We prove the generalized Hyers-Ulam stability of derivations on non-Archimedean random -algebras for the functional equation .
for all and .
on , is called a Lie non-Archimedean random -algebra.
Definition 4.1 Let and ℬ be random Lie -algebras. A ℂ-linear mapping is called a non-Archimedean Lie -algebra homomorphism if for all .
Throughout this section, assume that is a non-Archimedean random Lie -algebra with the norm and that ℬ is a non-Archimedean random Lie -algebra with the norm .
We prove the generalized Hyers-Ulam stability of homomorphisms in non-Archimedean random Lie -algebras for the functional equation .
for all , all and . If there exists an and (3.4), (3.5), and (3.6) hold, then there exists a unique homomorphism such that (3.7) holds.
for all . Thus, is a Lie -algebra homomorphism satisfying (3.7), as desired. □
for all and .
Proof The proof follows from Theorem 4.2 and a method similar to Corollary 3.2. □
Definition 4.4 Let be a non-Archimedean random Lie -algebra. A ℂ-linear mapping is called a Lie derivation if for all .
We prove the generalized Hyers-Ulam stability of derivations on non-Archimedean random Lie -algebras for the functional equation .
for all . If there exists an and (3.4), (3.5), and (3.6) hold, then there exists a unique Lie derivation such that (3.7) holds.
for all .
for all . Thus, is a Lie derivation satisfying (3.7). □
- Eshaghi Gordji M, Alizadeh Z: Stability and superstability of ring homomorphisms on non-Archimedean Banach algebras. Abstr. Appl. Anal. 2011., 2011: Article ID 123656. doi:10.1155/2011/123656Google Scholar
- Shilkret, N: Non-Archimedean Banach algebras. PhD thesis, Polytechnic University, ProQuest LLC (1968)MATHGoogle Scholar
- Ulam SM: A Collection of the Mathematical Problems. Interscience, New York; 1960.MATHGoogle Scholar
- O’Regan D, Rassias JM, Saadati R:Approximations of ternary Jordan homomorphisms and derivations in multi- ternary algebras. Acta Math. Hung. 2012, 134(12):99–114.MathSciNetView ArticleMATHGoogle Scholar
- Rassias JM: On approximation of approximately linear mappings by linear mappings. J. Funct. Anal. 1982, 46: 126–130. 10.1016/0022-1236(82)90048-9MathSciNetView ArticleMATHGoogle Scholar
- Rassias TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72: 297–300. 10.1090/S0002-9939-1978-0507327-1View ArticleMathSciNetMATHGoogle Scholar
- 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/S0002-9904-1968-11933-0MathSciNetView ArticleMATHGoogle Scholar
- Zamani Eskandani G: On the Hyers-Ulam-Rassias stability of an additive functional equation in quasi-Banach spaces. J. Math. Anal. Appl. 2008, 345(1):405–409. 10.1016/j.jmaa.2008.03.039MathSciNetView ArticleMATHGoogle Scholar
- Chang SS, Cho YJ, Kang SM: Nonlinear Operator Theory in Probabilistic Metric Spaces. Nova Science Publishers, New York; 2001.MATHGoogle Scholar
- 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.MathSciNetMATHGoogle Scholar
- Cho YJ, Park C, Saadati R: Functional inequalities in non-Archimedean in Banach spaces. Appl. Math. Lett. 2010, 60: 1994–2002.MathSciNetMATHGoogle Scholar
- Cho YJ, Saadati R, Vahidi J:Approximation of homomorphisms and derivations on non-Archimedean Lie -algebras via fixed point method. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 373904Google Scholar
- Azadi Kenary H, Jang SY, Park C: A fixed point approach to the Hyers-Ulam stability of a functional equation in various normed spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 67Google Scholar
- Azadi Kenary H, Rezaei H, Talebzadeh S, Park C:Stability for the Jensen equation in -algebras: a fixed point alternative approach. Adv. Differ. Equ. 2012., 2012: Article ID 17Google Scholar
- Miheţ D: The probabilistic stability for a functional equation in a single variable. Acta Math. Hung. 2009, 123: 249–256. 10.1007/s10474-008-8101-yView ArticleMathSciNetMATHGoogle Scholar
- Miheţ D: The fixed point method for fuzzy stability of the Jensen functional equation. Fuzzy Sets Syst. 2009, 160: 1663–1667. 10.1016/j.fss.2008.06.014View ArticleMathSciNetMATHGoogle Scholar
- Miheţ 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.100MathSciNetView ArticleMATHGoogle Scholar
- Najati A, Cho YJ: Generalized Hyers-Ulam stability of the pexiderized Cauchy functional equation in non-Archimedean spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 309026Google Scholar
- Park C, Cho YJ, Kenary HA: Orthogonal stability of a generalized quadratic functional equation in non-Archimedean spaces. J. Comput. Anal. Appl. 2012, 14: 526–535.MathSciNetMATHGoogle Scholar
- Schweizer B, Sklar A: Probabilistic Metric Spaces. North-Holland, New York; 1983.MATHGoogle Scholar
- Sherstnev AN: On the notion of a random normed space. Dokl. Akad. Nauk SSSR 1963, 149: 280–283. (in Russian)MathSciNetMATHGoogle Scholar
- Mirmostafaee AK: Perturbation of generalized derivations in fuzzy Menger normed algebras. Fuzzy Sets Syst. 2012, 195: 109–117.MathSciNetView ArticleMATHGoogle Scholar
- 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 4Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.