Open Access

Approximate homomorphisms and derivations on random Banach algebras

Journal of Inequalities and Applications20122012:157

https://doi.org/10.1186/1029-242X-2012-157

Received: 2 March 2012

Accepted: 25 June 2012

Published: 5 July 2012

Abstract

The motivation of this paper is to investigate the stability of homomorphisms and derivations on random Banach algebras.

MSC:39B82, 39B52.

Keywords

random normed algebra generalized Hyers-Ulam stability random homomorphism random derivation generalized additive functional equation

1 Introduction and preliminaries

The study of stability problems originated from a famous talk Under what condition does there exist a homomorphism near an approximate homomorphism? given by S. M. Ulam [38] in 1940. Next year, in 1941, D. H. Hyers [15] answered affirmatively the question of Ulam for additive mappings between Banach spaces.

Aoki [3] and Rassias [26] provided a generalization of the Hyers theorem for additive and linear functions respectively, by allowing the Cauchy difference to be unbounded.

Theorem 1.1 (Th. M. Rassias)

Let X be a normed space, Y be a Banach space and f : X Y be a function such that
f ( x + y ) f ( x ) f ( y ) ε ( x p + y p )
(1.1)
for all x , y X , where ε and p are constants with ε > 0 and p < 1 . Then there exists a unique additive function A : X Y satisfying
f ( x ) A ( x ) ε x p / ( 1 2 p 1 )
(1.2)

for all x X . If p < 0 , then the inequality (1.1) holds for x , y 0 and (1.2) for x 0 . Also, if for each fixed x X the function t f ( t x ) is continuous in t R , then A is linear.

The above theorem had a lot of influence on the development of the generalization of the Hyers-Ulam stability concept during the last three decades. This new concept is known as generalized Hyers-Ulam stability or Hyers-Ulam-Rassias stability of functional equations (see [7, 16]). Furthermore, Gǎvruta [13] provided a generalization of Rassias’ theorem which allows the Cauchy difference to be controlled by a general unbounded function.

During the last three decades, a number of papers and research monographs have been published on various generalizations and applications of the generalized Hyers-Ulam stability to a number of functional equations and mappings (see [4, 6, 8, 9, 12, 1719, 24] and [2734]). We also refer the readers to the books [1, 7, 10, 16, 20, 21, 28].

Recently, Khodaei and Rassias [22] introduced the generalized additive functional equation
k = 2 n ( i 1 = 2 k i 2 = i 1 + 1 k + 1 i n k + 1 = i n k + 1 n ) f ( i = 1 , i i 1 , , i n k + 1 n a i x i r = 1 n k + 1 a i r x i r ) + f ( i = 1 n a i x i ) = 2 n 1 a 1 f ( x 1 ) ,
(1.3)

where a 1 , , a n Z { 0 } with a 1 ± 1 , and they established a general solution and the generalized Hyers-Ulam stability for the functional equation (1.3) in various spaces. They proved that a function f between real vector spaces X and Y is a solution of (1.3) if and only if f is additive.

In the sequel we adopt the usual terminology, notations and conventions of the theory of random normed spaces, as in [36, 37]. Throughout this paper, let Δ + be the space of distribution functions, that is,
Δ + : = { F : R { , } [ 0 , 1 ] : F is left-continuous , non-decreasing on R , F ( 0 ) = 0 and F ( + ) = 1 }
and the subset D + Δ + is the set
D + = { F Δ + : l F ( + ) = 1 } ,
where, l f ( x ) denotes the left limit of the function f at the point x. The space Δ + is partially ordered by the usual point-wise ordering of functions, i.e., F G if and only if F ( t ) G ( t ) for all t R . The maximal element for Δ + in this order is the distribution function given by
ε 0 ( t ) = { 0 , if t 0 , 1 , if t > 0 .

Definition 1.2 ([36])

A function T : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is a continuous triangular norm (briefly, a t-norm) if T satisfies the following conditions:
  1. (a)

    T is commutative and associative;

     
  2. (b)

    T is continuous;

     
  3. (c)

    T ( a , 1 ) = a for all a [ 0 , 1 ] ;

     
  4. (d)

    T ( a , b ) T ( c , d ) whenever a c and b d for all a , b , c , d [ 0 , 1 ] .

     

Typical examples of continuous t-norms are T P ( a , b ) = a b , T M ( a , b ) = min ( a , b ) and T L ( a , b ) = max ( a + b 1 , 0 ) (the Łukasiewicz t-norm).

Recall (see [14]) that if T is a t-norm and { x n } is a given sequence of numbers in [ 0 , 1 ] T i = 1 n x i is defined recurrently by
T i = 1 n x i = { x 1 , if n = 1 , T ( T i = 1 n 1 x i , x n ) , if n 2 .

T i = n x i is defined as T i = 1 x n + i .

It is known [14] that for the Łukasiewicz t-norm the following implication holds:
lim n ( T L ) i = 1 x n + i = 1 n = 1 ( 1 x n ) < .

Definition 1.3 ([37])

A random normed space (briefly, RN-space) is a triple ( X , μ , T ) , where X is a vector space, T is a continuous t-norm, and μ is a function from X into D + such that, the following conditions hold:

(RN1) μ x ( t ) = ε 0 ( t ) for all t > 0 if and only if x = 0 ;

(RN2) μ α x ( t ) = μ x ( t | α | ) for all x X , α 0 ;

(RN3) μ x + y ( t + s ) T ( μ x ( t ) , μ y ( s ) ) for all x , y X and t , s 0 .

Definition 1.4 Let ( X , μ , T ) be a RN-space.
  1. (1)

    A sequence { x n } in X is said to be convergent to x in X if, for every ϵ > 0 and λ > 0 , there exists a positive integer N such that μ x n x ( ϵ ) > 1 λ whenever n N .

     
  2. (2)

    A sequence { x n } in X is called Cauchy if, for every ϵ > 0 and λ > 0 , there exists a positive integer N such that μ x n x m ( ϵ ) > 1 λ whenever n m N .

     
  3. (3)

    A RN-space ( X , μ , T ) is said to be complete if and only if every Cauchy sequence in X is convergent to a point in X. A complete RN-space is said to be a random Banach space.

     

Theorem 1.5 ([36])

If ( X , μ , T ) is a RN-space and { x n } is a sequence such that x n x , then lim n μ x n ( t ) = μ x ( t ) almost everywhere.

Definition 1.6 A random normed algebra is a random normed space with algebraic structure such that (RN4) μ x y ( t s ) = μ x ( t ) μ y ( s ) for all x , y X and all t , s > 0 .

Definition 1.7 Let ( X , μ , T ) and ( Y , μ , T ) be random normed algebras:
  1. (i)

    An additive mapping H : X Y is called a random homomorphism if H ( x y ) = H ( x ) H ( y ) for all x , y X .

     
  2. (ii)

    An additive mapping D : X Y is called a random derivation if D ( x y ) = D ( x ) y x D ( y ) for all x , y X .

     

The theory of random normed spaces is important as a generalization of the deterministic result of linear normed spaces and also in the study of random operator equations. The random normed spaces may also provide us with the appropriate tools to study the geometry of nuclear physics and have an important application in quantum particle physics. The generalized Hyers-Ulam stability of different functional equations in random and fuzzy normed spaces and random and fuzzy normed algebras has been recently studied in Alsina [2], Miheţ et al. [23], Baktash et al. [5], Saadati et al. [35], Gordji et al. [11], and Park et al. [25].

In this paper, we prove the generalized Hyers-Ulam stability of random homomorphisms and random derivations associated with the generalized additive functional equation (1.3) in random Banach algebras.

2 Main results

We use the following abbreviation for a given function f:
D f ( x 1 , , x n , a , b ) = k = 2 n ( i 1 = 2 k i 2 = i 1 + 1 k + 1 i n k + 1 = i n k + 1 n ) f ( i = 1 , i i 1 , , i n k + 1 n a i x i r = 1 n k + 1 a i r x i r ) + f ( i = 1 n a i x i ) 2 n 1 a 1 f ( x 1 ) + f ( a b ) f ( a ) f ( b ) .
Theorem 2.1 Let X be a real algebra, ( Y , Λ , T ) be a random Banach algebra and ξ : X n + 2 D + ( n N , n 2 and ξ ( x 1 , , x n , a , b ) denoted by ξ x 1 , , x n , a , b ) be a function such that
lim m ξ a 1 m x 1 , , a 1 m x n , a 1 m a , a 1 m b ( | a 1 | m t ) = 1
(2.1)
for all x 1 , , x n , a , b X , t > 0 and
lim m T = 1 ( ξ a 1 m + 1 x , 0 , , 0 ( 2 n 1 | a 1 | m + 1 t ) ) = 1
(2.2)
for all x X and all t > 0 . Suppose that f : X Y is a function satisfying
Λ D f ( x 1 , , x n , a , b ) ( t ) ξ x 1 , , x n , a , b ( t )
(2.3)
for all x 1 , , x n , a , b X and t > 0 . Then there exists a unique homomorphism H : X Y such that
Λ f ( x ) H ( x ) ( t ) T = 1 ( ξ a 1 1 x , 0 , , 0 ( 2 n 1 | a 1 | t ) )
(2.4)

for all x X and t > 0 .

Proof Putting x 1 = x and a = b = x i = 0 ( i = 2 , , n ) in (2.3), we obtain that
Λ ( k = 2 n ( i 1 = 2 k i 2 = i 1 + 1 k + 1 i n k + 1 = i n k + 1 n ) f ( a 1 x ) + f ( a 1 x ) 2 n 1 a 1 f ( x ) ) ( t ) ξ x , 0 , , 0 ( t )
for all x X and t > 0 , that is,
Λ ( ( n 1 n 1 ) + ( n 1 n 2 ) + + ( n 1 1 ) + 1 ) f ( a 1 x ) 2 n 1 a 1 f ( x ) ( t ) ξ x , 0 , , 0 ( t )
for all x X and t > 0 . It follows from the last inequality that
Λ ( 1 + = 1 n 1 ( n 1 ) ) f ( a 1 x ) 2 n 1 a 1 f ( x ) ( t ) ξ x , 0 , , 0 ( t )
for all x X and t > 0 ; hence by using the relation 1 + = 1 n 1 ( n 1 ) = 2 n 1 , we have
Λ 2 n 1 f ( a 1 x ) 2 n 1 a 1 f ( x ) ( t ) ξ x , 0 , , 0 ( t )
for all x X and t > 0 . So we have
Λ f ( a 1 m x ) a 1 m f ( x ) ( t ) T = 1 m ( ξ a 1 1 x , 0 , , 0 ( 2 n 1 | a 1 | t ) )
for all x X and t > 0 . We can show that the sequence { f ( a 1 m x ) a 1 m } is convergent. Therefore, one can define the function H : X Y by
H ( x ) : = lim m 1 a 1 m f ( a 1 m x )
for all x X . Now, if we put a = b = 0 , and replace x 1 , , x n with a 1 m x 1 , , a 1 m x n in (2.3) respectively, it follows that
Λ D f ( a 1 m x 1 , , a 1 m x n , 0 , 0 ) a 1 m ( t ) ξ a 1 m x 1 , , a 1 m x n , 0 , 0 ( | a 1 | m t )
(2.5)

for all x 1 , , x n X and all t > 0 . By letting m in (2.5), we have D H ( x 1 , , x n , 0 , 0 ) = 0 ; thus H satisfies (1.3). Hence the function H : X Y is additive (see also [22]). For the uniqueness property of H, see paper [22].

Finally, we show that H is multiplicative. Since H ( a 1 m x ) = a 1 m H ( x ) for all x X and m N , from (2.1) it follows that
Λ H ( a b ) H ( a ) H ( b ) ( t ) = Λ 1 a 1 m H ( a 1 m a b ) H ( a ) H ( b ) ( t ) = lim m Λ 1 a 1 2 m f ( a 1 2 m a b ) 1 a 1 2 m f ( a 1 m a ) f ( a 1 m b ) ( t ) = lim m Λ D f ( 0 , 0 , , 0 , a 1 m a , a 1 m b ) a 1 2 m ( t ) lim m ξ 0 , 0 , , 0 , a 1 m a , a 1 m b ( | a 1 | 2 m t ) = 1

for all a , b X and all t > 0 . Therefore, there exists a unique random homomorphism H : X Y satisfying (2.4). □

In the following theorem, we establish the stability of derivations on random Banach algebras. We use the following abbreviation for a given function f:
Δ f ( x 1 , , x n , a , b ) = k = 2 n ( i 1 = 2 k i 2 = i 1 + 1 k + 1 i n k + 1 = i n k + 1 n ) f ( i = 1 , i i 1 , , i n k + 1 n a i x i r = 1 n k + 1 a i r x i r ) + f ( i = 1 n a i x i ) 2 n 1 a 1 f ( x 1 ) + f ( a b ) f ( a ) b a f ( b ) .
Theorem 2.2 Let ( X , Λ , T ) be a random Banach algebra and ξ : X n + 2 D + be a function such that (2.1) and (2.2) hold for all x , x 1 , , x n , a , b X and all t > 0 . Suppose that f : X X is a function satisfying
Λ Δ f ( x 1 , , x n , a , b ) ( t ) ξ x 1 , , x n , a , b ( t )
(2.6)
for all x 1 , , x n , a , b X and t > 0 . Then there exists a unique derivation D : X X such that
Λ f ( x ) D ( x ) ( t ) T = 1 ( ξ a 1 1 x , 0 , , 0 ( 2 n 1 | a 1 | t ) )
(2.7)

for all x X and t > 0 .

Proof By the same reasoning as in the proof of Theorem 2.1, the sequence { f ( a 1 m x ) a 1 m } is convergent for all x X , and the function D : X X defined by
D ( x ) : = lim m 1 a 1 m f ( a 1 m x )

for all x X , is a unique additive function which satisfies (2.7). We have to show that D : X X is a derivation.

Since D ( a 1 m x ) = a 1 m D ( x ) for all x X and m N , from (2.1) it follows that
Λ D ( a b ) D ( a ) b a D ( b ) ( t ) = Λ 1 a 1 m D ( a 1 m a b ) 1 a 1 m D ( a ) a 1 m b a 1 m a 1 a 1 m D ( b ) ( t ) = lim m Λ 1 a 1 2 m f ( a 1 2 m a b ) 1 a 1 2 m f ( a 1 m a ) a 1 m b 1 a 1 2 m a 1 m a f ( a 1 m b ) ( t ) = lim m Λ Δ f ( 0 , 0 , , 0 , a 1 m a , a 1 m b ) a 1 2 m ( t ) lim m ξ 0 , 0 , , 0 , a 1 m a , a 1 m b ( | a 1 | 2 m t ) = 1

for all a , b X and all t > 0 . This means that D is a derivation on X. □

Author’s contributions

All authors read and approved the final manuscript.

Declarations

Authors’ Affiliations

(1)
Department of Mathematics, Islamic Azad University
(2)
Department of Mathematics, Payame Noor University
(3)
Department of Mathematics, Semnan University
(4)
Department of Mathematics, Yasouj University

References

  1. Aczél J, Dhombres J: Functional Equations in Several Variables. Cambridge University Press, Cambridge; 1989.View ArticleGoogle Scholar
  2. Alsina C: On the stability of a functional equation arising in probabilistic normed spaces. In General Inequalities, vol. 5, Oberwolfach, 1986. Birkhäuser, Basel; 1987:263–271.Google Scholar
  3. Aoki T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 1950, 2: 64–66. 10.2969/jmsj/00210064View ArticleGoogle Scholar
  4. Baker JA: The stability of certain functional equations. Proc. Am. Math. Soc. 1991, 112: 729–732. 10.1090/S0002-9939-1991-1052568-7View ArticleGoogle Scholar
  5. Baktash E, Cho YJ, Jalili M, Saadati R, Vaezpour SM: On the stability of cubic mappings and quadratic mappings in random normed spaces. J. Inequal. Appl. 2008., 2008:Google Scholar
  6. Cholewa PW: Remarks on the stability of functional equations. Aequ. Math. 1984, 27: 76–86. 10.1007/BF02192660MathSciNetView ArticleGoogle Scholar
  7. Czerwik P: Functional Equations and Inequalities in Several Variables. World Scientific, Singapore; 2002.View ArticleGoogle Scholar
  8. Eshaghi Gordji M, Khodaei H: Solution and stability of generalized mixed type cubic, quadratic and additive functional equation in quasi-Banach spaces. Nonlinear Anal. 2009, 71: 5629–5643. 10.1016/j.na.2009.04.052MathSciNetView ArticleGoogle Scholar
  9. Eshaghi Gordji M, Khodaei H: On the generalized Hyers-Ulam-Rassias stability of quadratic functional equations. Abstr. Appl. Anal. 2009., 2009:Google Scholar
  10. Eshaghi Gordji M, Khodaei H: Stability of Functional Equations. Lap Lambert Academic Publishing, Saarbrücken; 2010.Google Scholar
  11. Eshaghi Gordji, M, Ghobadipour, N, Najati, A, Ebadian, A: Almost Jordan homomorphisms and Jordan derivations on fuzzy Banach algebras. Proyecciones (in press)Google Scholar
  12. Gajda Z: On stability of additive mappings. Int. J. Math. Math. Sci. 1991, 14: 431–434. 10.1155/S016117129100056XMathSciNetView ArticleGoogle Scholar
  13. Gǎvruta P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 1994, 184: 431–436. 10.1006/jmaa.1994.1211MathSciNetView ArticleGoogle Scholar
  14. Hadžić O, Pap E, Budincević M: Countable extension of triangular norms and their applications to the fixed point theory in probabilistic metric spaces. Kybernetika 2002, 38(3):363–381.MathSciNetGoogle Scholar
  15. Hyers DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27: 222–224. 10.1073/pnas.27.4.222MathSciNetView ArticleGoogle Scholar
  16. Hyers DH, Isac G, Rassias TM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel; 1998.View ArticleGoogle Scholar
  17. Hyers DH, Rassias TM: Approximate homomorphisms. Aequ. Math. 1992, 44: 125–153. 10.1007/BF01830975MathSciNetView ArticleGoogle Scholar
  18. Hyers DH, Isac G, Rassias TM: Topics in Nonlinear Analysis and Applications. World Scientific, Singapore; 1997.View ArticleGoogle Scholar
  19. Isac G, Rassias TM: Stability of ψ -additive mappings: applications to nonlinear analysis. Int. J. Math. Math. Sci. 1996, 19: 219–228. 10.1155/S0161171296000324MathSciNetView ArticleGoogle Scholar
  20. Jung S-M: Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor; 2001.Google Scholar
  21. Jung S-M: Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis. Springer, Heidelberg; 2011.View ArticleGoogle Scholar
  22. Khodaei H, Rassias TM: Approximately generalized additive functions in several variables. Int. J. Nonlinear Anal. Appl. 2010, 1: 22–41.Google Scholar
  23. Miheţ D, Saadati R, Vaezpour SM: The stability of an additive functional equation in Menger probabilistic φ -normed spaces. Math. Slovaca 2011, 61: 817–826. 10.2478/s12175-011-0049-7MathSciNetGoogle Scholar
  24. Park C, Eshaghi Gordji M, Khodaei H: A fixed point approach to the Cauchy-Rassias stability of general Jensen type quadratic-quadratic mappings. Bull. Korean Math. Soc. 2010, 47: 987–996. 10.4134/BKMS.2010.47.5.987MathSciNetView ArticleGoogle Scholar
  25. Park C, Lee JR, Shin DY: Generalized Ulam-Hyers stability of random homomorphisms in random normed algebras associated with the Cauchy functional equation. Appl. Math. Lett. 2012, 25: 200–205. 10.1016/j.aml.2011.08.018MathSciNetView ArticleGoogle Scholar
  26. 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 ArticleGoogle Scholar
  27. Rassias TM: New characterization of inner product spaces. Bull. Sci. Math. 1984, 108: 95–99.MathSciNetGoogle Scholar
  28. Rassias TM: Functional Equations, Inequalities and Applications. Kluwer Academic, Dordrecht; 2003.View ArticleGoogle Scholar
  29. Rassias TM: On the stability of the quadratic functional equation and its applications. Stud. Univ. Babeş-Bolyai, Math. 1998, XLIII: 89–124.Google Scholar
  30. Rassias TM: The problem of S. M. Ulam for approximately multiplicative mappings. J. Math. Anal. Appl. 2000, 246: 352–378. 10.1006/jmaa.2000.6788MathSciNetView ArticleGoogle Scholar
  31. Rassias TM: On the stability of functional equations in Banach spaces. J. Math. Anal. Appl. 2000, 251: 264–284. 10.1006/jmaa.2000.7046MathSciNetView ArticleGoogle Scholar
  32. Rassias TM: On the stability of functional equations and a problem of Ulam. Acta Appl. Math. 2000, 62: 23–130. 10.1023/A:1006499223572MathSciNetView ArticleGoogle Scholar
  33. Rassias TM, Šemrl 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-1View ArticleGoogle Scholar
  34. Rassias TM, Šemrl P: On the Hyers-Ulam stability of linear mappings. J. Math. Anal. Appl. 1993, 173: 325–338. 10.1006/jmaa.1993.1070MathSciNetView ArticleGoogle Scholar
  35. Saadati R, Vaezpour SM, Cho YJ: A note on the “On the stability of cubic mappings and quadratic mappings in random normed spaces”. J. Inequal. Appl. 2009., 2009:Google Scholar
  36. Schweizer B, Sklar A: Probabilistic Metric Spaces. Elsevier, Amsterdam; 1983.Google Scholar
  37. Šerstnev AN: On the notion of a random normed space. Dokl. Akad. Nauk SSSR 1963, 149: 280–283. in RussianMathSciNetGoogle Scholar
  38. Ulam SM: Problems in Modern Mathematics. Wiley, New York; 1964. Chapter VIGoogle Scholar

Copyright

© Madadian et al.; licensee Springer 2012

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.