Skip to main content

Approximate homomorphisms and derivations on random Banach algebras

Abstract

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

MSC:39B82, 39B52.

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 andf:XYbe a function such that

f ( x + y ) f ( x ) f ( y ) ε ( x p + y p )
(1.1)

for allx,yX, where ε and p are constants withε>0andp<1. Then there exists a unique additive functionA:XYsatisfying

f ( x ) A ( x ) ε x p / ( 1 2 p 1 )
(1.2)

for allxX. Ifp<0, then the inequality (1.1) holds forx,y0and (1.2) forx0. Also, if for each fixedxXthe functiontf(tx)is continuous intR, 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., FG if and only if F(t)G(t) for all tR. 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 ac and bd for all a,b,c,d[0,1].

Typical examples of continuous t-norms are T P (a,b)=ab, T M (a,b)=min(a,b) and T L (a,b)=max(a+b1,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 xX, α0;

(RN3) μ x + y (t+s)T( μ x (t), μ y (s)) for all x,yX and t,s0.

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 nN.

  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 nmN.

  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 (ts)= μ x (t) μ y (s) for all x,yX and all t,s>0.

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

  1. (i)

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

  2. (ii)

    An additive mapping D:XY is called a random derivation if D(xy)=D(x)yxD(y) for all x,yX.

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 + (nN, n2andξ( 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,bX, t>0and

lim m T = 1 ( ξ a 1 m + 1 x , 0 , , 0 ( 2 n 1 | a 1 | m + 1 t ) ) =1
(2.2)

for allxXand allt>0. Suppose thatf:XYis 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,bXandt>0. Then there exists a unique homomorphismH:XYsuch that

Λ f ( x ) H ( x ) (t) T = 1 ( ξ a 1 1 x , 0 , , 0 ( 2 n 1 | a 1 | t ) )
(2.4)

for allxXandt>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 xX 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 xX 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 xX 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 xX 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 xX 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:XY by

H(x):= lim m 1 a 1 m f ( a 1 m x )

for all xX. 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 DH( x 1 ,, x n ,0,0)=0; thus H satisfies (1.3). Hence the function H:XY 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 xX and mN, 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,bX and all t>0. Therefore, there exists a unique random homomorphism H:XY 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 allx, x 1 ,, x n ,a,bXand allt>0. Suppose thatf:XXis 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,bXandt>0. Then there exists a unique derivationD:XXsuch that

Λ f ( x ) D ( x ) (t) T = 1 ( ξ a 1 1 x , 0 , , 0 ( 2 n 1 | a 1 | t ) )
(2.7)

for allxXandt>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 xX, and the function D:XX defined by

D(x):= lim m 1 a 1 m f ( a 1 m x )

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

Since D( a 1 m x)= a 1 m D(x) for all xX and mN, 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,bX and all t>0. This means that D is a derivation on X. □

Author’s contributions

All authors read and approved the final manuscript.

References

  1. Aczél J, Dhombres J: Functional Equations in Several Variables. Cambridge University Press, Cambridge; 1989.

    Book  Google 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/00210064

    Article  Google Scholar 

  4. Baker JA: The stability of certain functional equations. Proc. Am. Math. Soc. 1991, 112: 729–732. 10.1090/S0002-9939-1991-1052568-7

    Article  Google 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/BF02192660

    Article  MathSciNet  Google Scholar 

  7. Czerwik P: Functional Equations and Inequalities in Several Variables. World Scientific, Singapore; 2002.

    Book  Google 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.052

    Article  MathSciNet  Google 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)

  12. Gajda Z: On stability of additive mappings. Int. J. Math. Math. Sci. 1991, 14: 431–434. 10.1155/S016117129100056X

    Article  MathSciNet  Google 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.1211

    Article  MathSciNet  Google 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.

    MathSciNet  Google 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.222

    Article  MathSciNet  Google Scholar 

  16. Hyers DH, Isac G, Rassias TM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel; 1998.

    Book  Google Scholar 

  17. Hyers DH, Rassias TM: Approximate homomorphisms. Aequ. Math. 1992, 44: 125–153. 10.1007/BF01830975

    Article  MathSciNet  Google Scholar 

  18. Hyers DH, Isac G, Rassias TM: Topics in Nonlinear Analysis and Applications. World Scientific, Singapore; 1997.

    Book  Google 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/S0161171296000324

    Article  MathSciNet  Google 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.

    Book  Google 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-7

    MathSciNet  Google 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.987

    Article  MathSciNet  Google 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.018

    Article  MathSciNet  Google 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-1

    Article  Google Scholar 

  27. Rassias TM: New characterization of inner product spaces. Bull. Sci. Math. 1984, 108: 95–99.

    MathSciNet  Google Scholar 

  28. Rassias TM: Functional Equations, Inequalities and Applications. Kluwer Academic, Dordrecht; 2003.

    Book  Google 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.6788

    Article  MathSciNet  Google 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.7046

    Article  MathSciNet  Google 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:1006499223572

    Article  MathSciNet  Google 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-1

    Article  Google 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.1070

    Article  MathSciNet  Google 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 Russian

    MathSciNet  Google Scholar 

  38. Ulam SM: Problems in Modern Mathematics. Wiley, New York; 1964. Chapter VI

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to M Eshaghi Gordji.

Additional information

Competing interests

The authors declare that they have no competing interests.

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.

Reprints and permissions

About this article

Cite this article

Madadian, M., Ebadian, A., Eshaghi Gordji, M. et al. Approximate homomorphisms and derivations on random Banach algebras. J Inequal Appl 2012, 157 (2012). https://doi.org/10.1186/1029-242X-2012-157

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords