arxiv:math/ v1 [math.fa] 31 Dec 2005

Transcription

1 arxiv:math/0600v [math.fa] 3 Dec 005 ON THE STABILITY OF θ-derivations ON JB -TRIPLES Choonkil Baak, and Mohammad Sal Moslehian Abstract. We introduce the concept of θ-derivations on JB -triples, and prove the Hyers Ulam Rassias stability of θ-derivations on JB -triples.. Introduction The original motivation to introduce the class of nonassociative algebras known as Jordan algebras came from quantum mechanics (see [8]). Let H be a complex Hilbert space, regarded as the state space of a quantum mechanical system. Let L(H) be the real vector space of all bounded self-adjoint linear operators on H, interpreted as the (bounded) observables of the system. In 93, Jordan observed that L(H) is a (nonassociative) algebra via the anticommutator product x y := xy+yx. This is a typical example of a (special) Jordan algebra. A commutative algebra B with product x y (not necessarily given by an anticommutator) is called a Jordan algebra if x (x y) = x (x y) holds for all x,y B. A complex Jordan algebra B with a product x y, and a conjugate-linear algebra involution x x is called a JB -algebra if B carries a Banach space norm satisfying x = x, x y x y and {xx x} = x 3 for all x,y B. Here {xyz} := (x y) z+(y z) x (x z) y denotes the Jordan triple product of x,y,z B (see [, ]). The Jordan triple product of a JB -algebra leads us to a more general algebraic structure, the so-called JB -triple, which turns out to be appropriate for most 99 Mathematics Subject Classification. 39B5, 39B8, 47B48, 7Cxx. Key words and phrases. Hyers Ulam Rassais stability, θ-derivation, JB -triple. The first author was supported by Korea Research Foundation Grant KRF C00009.

2 C. BAAK, M. S. MOSLEHIAN applications to analysis. By a (complex) JB -triple we mean a complex Banach space J with a continuous triple product {,, } : J J J J which is linear in the outer variables and conjugate linear in the middle variable, and has the following properties: (i) (commutativity) {x,y,z} = {z,y,x}; (ii) (Jordan identity) L(a,b){x,y,z}= {L(a,b)x,y,z} {x,l(b,a)y,z}+{x,y,l(a,b)z} for all a,b,x,y,z, J in which L(a,b)x := {a,b,x}; (iii) For all a J the operator L(a,a) is hermitian, i.e. e itl(a,a) =, and has positive spectrum in the Banach algebra B(J); (iv) {x,x,x} = x 3 for all x J. TheclassofJB -triplescontainsallc -algebrasvia{x,y,z} = xy z+zy x. Every JB -algebra is a JB -triple under the triple product {x,y,z} := (x y ) z +(y z) x (x z) y. Conversely, every JB -triple J with an element e satisfying {e,e,z} = z for all z J, is a unital JB -algebra equipped with the product x y := {x,e,y} and the involution x := {e,x,e}; cf. [9, 0, 6]. The stability problem of functional equations originated from a question of S.M. Ulam [7] concerning the stability of group homomorphisms: Let (G, ) be a group and let (G,,d) be a metric group with the metric d(, ). Given ǫ > 0, does there exist a δ(ǫ) > 0 such that if a mapping h : G G satisfies the inequality d(h(x y),h(x) h(y)) < δ for all x,y G, then there is a homomorphism H : G G with d(h(x),h(x)) < ǫ for all x G? If the answer is affirmative, we would say that the equation of homomorphism H(x y) = H(x) H(y) is stable. The concept of stability for a functional equation

3 θ-derivations ON JB -TRIPLES 3 arises when we replace the functional equation by an inequality which acts as a perturbation of the equation. Thus the stability question of functional equations is that how do the solutions of the inequality differ from those of the given functional equation? D.H. Hyers [0] gave a first affirmative answer to the question of Ulam in the context of Banach spaces with: Let E and E be Banach spaces. Assume that f : E E satisfies f(x + y) f(x) f(y) ǫ for all x,y E and some ǫ 0. Then there exists a unique additive mapping T : E E such that f(x) T(x) ε for all x E. Now assume that E and E are real normed spaces with E complete, f : E E is a mapping such that for each fixed x E, the mapping t f(tx) is continuous on R, and let there exist ε 0 and p such that for all x,y E. f(x+y) f(x) f(y) ε( x p + y p ) It was shown by Th. M. Rassias [3] for p [0,) (and indeed p < ) and by Z. Gajda [7] following the same approach as in [3] for p > that there exists a unique linear map T : E E such that f(x) T(x) ǫ p x p for all x E. It is shown that there is no analogue of Th.M. Rassias result for p = (see [7, 5]) The inequality f(x+y) f(x) f(y) ε( x p + y p ) has provided a lot of influence in the development of what is now known as Hyers Ulam Rassias stability of functional equations; cf. [5, 6,, 3, 4]. In 99, Găvruta [8] proved the following. Theorem.. Let G be an abelian group and X be a Banach space. Denote by ϕ : G G [0, ) a function such that ϕ(x,y) = jϕ(j x, j y) <

4 4 C. BAAK, M. S. MOSLEHIAN for all x,y G. Suppose that f : G X is a mapping satisfying f(x+y) f(x) f(y) ϕ(x,y) for all x,y G. Then there exists a unique additive mapping T : G X such that f(x) T(x) ϕ(x,x) for all x G. It is easy to see that Theorem. is still valid if (see also []). ϕ(x,y) = j ϕ( j x, j y) < j= Since then the topic of approximate mappings or the stability of functional equations was studied by several mathematicians; [, 3, 5] and references therein. In particular, Jun and Lee proved the following theorem; cf. [, Theorems & 6]. Theorem.. Denote by ϕ : X X [0, ) a function such that ϕ(x,y) = 3 jϕ(3j x,3 j y) < ( resp. ϕ(x,y) = 3 j ϕ(3 j x,3 j y) < ) for all x,y X. Suppose that f : X Y is a mapping with f(0) = 0 satisfying f( x+y ) f(x) f(y) ϕ(x,y) for all x,y X. Then there exists a unique additive mapping T : X Y such that f(x) T(x) 3 ( ϕ(x, x)+ ϕ( x,3x) ) for all x X. ( resp. f(x) T(x) ϕ( x 3, x 3 )+ ϕ( x 3,x),)

5 θ-derivations ON JB -TRIPLES 5 There are several various generalizations of the notion of derivation. It seems that they are first appeared in the framework of pure algebra(see[]). Recently they have been treated in the Banach algebra theory (see [4]). In addition, the stability of these derivations is extensively studied by the present authors and others; see [4, 6, 8, 9] and references therein. In this paper, using some ideas from [], we introduce the notion of θ-derivations on JB -algebras as a generalization of derivations on JB -triples [9] and prove the Hyers Ulam Rassais stability of θ-derivations on JB -triples. Our result may be considered as a generalization of those of [0].. Stability of θ-derivations Throughout this section, let J be a complex JB -triple with norm. Definition.. Let θ : J J be a C-linear mapping. A C-linear mapping D : J J is called a θ-derivation on J if D({xyz}) = {D(x)θ(y)θ(z)} +{θ(x)d(y)θ(z)} +{θ(x)θ(y)d(z)} for all x,y,z J. In particular, D := 3 θ gives rise a JB -homomorphism on J. Hence our results can be regarded as an extension of those of [0]. Note that if D is a derivation on a JB -algebra then every derivation D can be represented as D +id where D and D are -preserving derivations. Theorem.. Let f,h : J J be mappings with f(0) = h(0) = 0 for which there exists a function ϕ : J 3 [0, ) such that (.) ϕ(x,y,z) := x, j y, j z) <, jϕ(j (.) f(µx+y) µf(x) f(y) ϕ(x,y,0), (.3) h(µx+y) µh(x) h(y) ϕ(x,y,0), f({xyz}) {f(x)h(y)h(z)} {h(x)f(y)h(z)} (.4) {h(x)h(y)f(z)} ϕ(x, y, z),

6 6 C. BAAK, M. S. MOSLEHIAN for all x,y,z J and all µ S := {λ C λ = }. Then there exist unique C-linear mappings D,θ : J J such that (.5) (.6) f(x) D(x) ϕ(x,x,0), h(x) θ(x) ϕ(x,x,0) for all x J. Moreover, D : J J is a θ-derivation on J. Proof. Let µ = S and z = 0 in (.) and (.3). It follows from Theorem. that there exist unique additive mappings D,θ : J J satisfying (.5) and (.6). The additive mappings D,θ : J J are given by (.7) (.8) D(x) = lim x), l lf(l θ(x) = lim l lh(l x) for all x J. Let µ S. Set y = 0 in (.). Then f(µx) µf(x) ϕ(x,0,0), for all x J. So that l (f(µ l x) µf( l x)) l ϕ( l x,0,0), for all x J. Since the right hand side tends to zero as n, we have D(µx) = lim l f( l µx) l = lim l µf( l x) l = µd(x) for all µ and all x J. Obviously, D(0x) = 0 = 0D(x). Next, let λ = α +iα C, where α,α R. Let γ = α α,γ = α α, in which r denotes the greatest integer less than or equal to the number r. Then 0 γ i <, ( i ) and by using Remark.. of [7] one can represent γ i as

7 θ-derivations ON JB -TRIPLES 7 γ i = µ i,+µ i, in which µ i,j S, ( i,j ). Since D is additive we infer that D(λx) = D(α x)+id(α x) = α D(x)+D(γ x)+i ( α D(x)+D(γ x) ) = ( α D(x)+ D(µ,x+µ, x) ) +i ( α D(x)+ D(µ,x+µ, x) ) = ( α D(x)+ µ,d(x)+ µ,d(x) ) +i( α D(x)+ µ,d(x)+ µ,d(x) ) = α D(x)+iα D(x) = λd(x). for all x J. So that the additive mappings D : J J is C-linear. A similar argument shows that θ is C-linear. It follows from (.4) that 3l f(3l {xyz}) {f( l x)h( l y)h( l z)} {h( l x)f( l y)h( l z)} {h( l x)h( l y)f( l z)} 3lϕ(l x, l y, l z) lϕ(l x, l y, l z), which tends to zero as l for all x,y,z J by (.). By (.7) and (.8), D({xyz}) = {D(x)θ(y)θ(z)} +{θ(x)d(y)θ(z)} +{θ(x)θ(y)d(z)} for all x,y,z J. So the additive mapping D : J J is a θ-derivation on J. Remark. It is easy to verify that the theorem is true if ϕ(x,y) := j ϕ( j x, j y) <. j= Corollary.. Let f,h : J J be mappings with f(0) = h(0) = 0 for which there exist constants ǫ 0 and p such that f(µx+y) µf(x) f(y) ǫ( x p + y p ), h(µx+y) µh(x) h(y) ǫ( x p + y p ), f({xyz}) {f(x)h(y)h(z)} {h(x)f(y)h(z)} {h(x)h(y)f(z)} ǫ( x p + y p + z p )

8 8 C. BAAK, M. S. MOSLEHIAN for all x,y,z J and all µ S. Then there exist unique C-linear mappings D,θ : J J such that f(x) D(x) h(x) θ(x) ǫ p x p, ǫ p x p for all x J. Moreover, D : J J is a θ-derivation on J. Proof. Define ϕ(x,y,z) = ǫ( x p + y p + z p ), and apply Theorem. and the remark following the theorem. Theorem.3. Let f,h : J J be mappings with f(0) = h(0) = 0 for which there exists a function ϕ : J 3 [0, ) satisfying (.4) such that ϕ(x,y,z) := 3 jϕ(3j x,3 j y,3 j z) <, (.9) (.0) f( µx+y ) µf(x) f(y) ϕ(x,y,0), h( µx+y ) µh(x) h(y) ϕ(x,y,0) for all x,y,z J and all µ S. Then there exist unique C-linear mappings D,θ : J J such that (.) (.) f(x) D(x) 3( ϕ(x, x,0)+ ϕ( x,3x,0) ), h(x) θ(x) 3 ( ϕ(x, x,0)+ ϕ( x,3x,0) ) for all x J. Moreover, D : J J is a θ-derivation on J. Proof. Let z = 0 in (.9) and (.0). It follows from Theorem. that there exist unique additive mappings D,θ : J J satisfying (.) and (.). The additive mappings D,θ : J J are given by for all x J. D(x) = lim x), l 3 lf(3l θ(x) = lim x) l 3 lh(3l The rest of the proof is similar to the proof of Theorem..

9 θ-derivations ON JB -TRIPLES 9 Corollary.4. Let f,h : J J be mappings with f(0) = h(0) = 0 for which there exist constants ǫ 0 and p [0,) such that f( µx+y ) µf(x) f(y) ǫ( x p + y p ), h( µx+y ) µh(x) h(y) ǫ( x p + y p ), f({xyz}) {f(x)h(y)h(z)} {h(x)f(y)h(z)} {h(x)h(y)f(z)} ǫ( x p + y p + z p ) for all x,y,z J and all µ S. Then there exist unique C-linear mappings D,θ : J J such that f(x) D(x) 3+3p 3 3 pǫ x p, h(x) θ(x) 3+3p 3 3 pǫ x p for all x J. Moreover, D : J J is a θ-derivation on J. Proof. Define ϕ(x,y,z) = ǫ( x p + y p + z p ), and apply Theorem.3. Theorem.5. Let f,h : J J be mappings with f(0) = h(0) = 0 for which there exists a function ϕ : J 3 [0, ) satisfying (.9), (.0) and (.4) such that (.6) 3 3j ϕ( x y z 3 j, 3 j, 3 j) < for all x,y,z J. Then there exist unique C-linear mappings D,θ : J J such that (.7) (.8) f(x) D(x) ϕ( x 3, x 3,0)+ ϕ( x 3,x,0), h(x) θ(x) ϕ( x 3, x 3,0)+ ϕ( x 3,x,0) for all x J, where ϕ(x,y,z) := 3 j ϕ( x y z 3 j, 3 j, 3 j)

10 0 C. BAAK, M. S. MOSLEHIAN for all x,y,z J. Moreover, D : J J is a θ-derivation on J. Proof. By Theorem., it follows from (.6), (.9) and (.0) that there exist unique additive mappings D,θ : J J satisfying (.7) and (.8). The additive mappings D,θ : J J are given by (.9) (.0) for all x J. D(x) = lim l 3 l f( x 3 l), θ(x) = lim l 3 l h( x 3 l) ByasimilarmethodtotheproofofTheorem.,onecanshowthatD,θ : J J are C-linear mappings. It follows from (.4) that 3 3l f( {xyz} 3 3l ) {f( x 3 l)h( y 3 l)h( z 3 l)} {h(x 3 l)f(y 3 l)h( z 3 l)} {h( x 3 l)h( y 3 l)f( z 3 l)} 33l ϕ( x 3 l, y 3 l, z 3 l), which tends to zero as l for all x,y,z J by (.6). By (.9) and (.0), D({xyz}) = {D(x)θ(y)θ(z)} +{θ(x)d(y)θ(z)} +{θ(x)θ(y)d(z)} for all x,y,z J. So the additive mapping D : J J is a θ-derivation on J. Corollary.6. Let f,h : J J be mappings with f(0) = h(0) = 0 for which there exist constants ǫ 0 and p (3, ) such that f( µx+y ) µf(x) f(y) ǫ( x p + y p ), h( µx+y ) µh(x) h(y) ǫ( x p + y p ), f({xyz}) {f(x)h(y)h(z)} {h(x)f(y)h(z)} {h(x)h(y)f(z)} ǫ( x p + y p + z p ) for all x,y,z J and all µ S. Then there exist unique C-linear mappings D,θ : J J such that f(x) D(x) 3p +3 3 p 3 ǫ x p, h(x) θ(x) 3p +3 3 p 3 ǫ x p

11 θ-derivations ON JB -TRIPLES for all x J. Moreover, D : J J is a θ-derivation on J. Proof. Define ϕ(x,y,z) = ǫ( x p + y p + z p ), and apply Theorem.5. Definition.. Let θ : J J be a C-linear mapping. A C-linear mapping D : J J is called a Jordan θ-derivation on J if D({xxx}) = {D(x)θ(x)θ(x)} +{θ(x)d(x)θ(x)} +{θ(x)θ(x)d(x)} holds for all x J. Problem.. Is every Jordan θ-derivation a θ-derivation? References. M. Ashraf, S.M. Wafa, and A. AlShammakh, On generalized (θ, φ)-derivations in rings, Internat. J. Math. Game Theo. Algebra (00), C. C. Baak, H.Y. Chu and M.S. Moslehian, On the Cauchy Rassias inequality and linear n-inner product preserving mappings, Math. Inequ. Appl (to appear). 3. C. Baak and M.S. Moslehian, On the stability of J -homomorphisms, Nonlinear Anal. TMA 63 (005), C. Baak and M.S. Moslehian, Generalized (θ, φ)-derivations on Banach algebras, preprint. 5. S. Czerwik, Functional Equations and Inequalities in Several Variables, World Scientific Publishing Co. Inc., River Edge, NJ, S. Czerwik, Stability of Functional Equations of Ulam Hyers Rassias Type, Hadronic Press, Palm Harbor, Florida, S.Z. Gajda, On stability of additive mappings, Internat. J. Math. Math. Sci 4 (99), P. Găvruta, A generalization of the Hyers Ulam Rassias stability of approximately additive mappings, J. Math. Anal. Appl. 84 (994), T. Ho, J. Martinez-Moreno, A.M. Peralta and B. Russo, Derivations on real and complex JB -triples, J. London Math. Soc. 65 (00), D.H. Hyers, On the stability of the linear functional equation, Pro. Nat l. Acad. Sci. U.S.A. 7 (94), 4.. D.H. Hyers, G. Isac and Th.M. Rassias,, Stability of Functional Equations in Several Variables, Birkhäuser, Basel, K. Jun, and Y. Lee, A generalization of the Hyers Ulam Rassias stability of Jensen s equation, J. Math. Anal. Appl. 38 (999), S. Jung, Hyers Ulam Rassias Stability of Functional Equations in Mathematical Analysis, Hadronic Press, Palm Harbor, Florida, M. Mirzavaziri and M.S. Moslehian, Automatic continuity of σ-derivations on C -algebras, Proc. Amer. Math. Soc. (to appear). 5. M.S. Moslehian, Approximately vanishing of topological cohomology groups, J. Math. Anal. Appl. (to appear). 6. M.S. Moslehian, Approximate (σ-τ)-contractibility, Nonlinear Funct. Anal. Appl. (to appear). 7. G.J. Murphy, C -algebras and Operator Theory, Acad. Press, C. Park, Lie -homomorphisms between Lie C -algebras and Lie -derivations on Lie C - algebras, J. Math. Anal. Appl. 93 (004),

12 C. BAAK, M. S. MOSLEHIAN 9. C. Park, Homomorphisms between C -algebras, linear -derivations on a C -algebra and the Cauchy Rassias stability, Nonlinear Funct. Anal. Appl. 0 (005), C. Park, Approximate homomorphisms on JB -triples, J. Math. Anal. Appl. 306 (005), C. Park, Linear -derivations on JB -algebras, Acta Math. Sci. Ser. B Engl. Ed. 5 (005), C. Park, Homomorphisms between Poisson JC -algebras, Bull. Braz. Math. Soc. 36 (005), Th.M. Rassias, On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 7 (978), Th.M. Rassias, On the stability of functional equations and a problem of Ulam, Acta Appl. Math. 6 (000), Th.M. Rassias and P. Šemrl, On the behavior of mappings which do not satisfy Hyers Ulam stability, Proc. Amer. Math. Soc 4 (99), B. Russo, Structure of JB -triples, In Jordan Algebras, Proc. Oberwolfach Conf. 99 (W. Kaup, K. McCrimmon and H. Petersson, eds.), Walter de Gruyter, Berlin, 994, pp S.M. Ulam, Problems in Modern Mathematics, Wiley, New York, H. Upmeier, Jordan Algebras in Analysis, Operator Theory, and Quantum Mechanics, Regional Conference Series in Mathematics No. 67, Amer. Math. Soc., Providence, 987. Department of Mathematics, Chungnam National University, Daejeon , South Korea; Department of Mathematics, Ferdowsi University, P.O. Box 59, Mashhad 9775, Iran address: cgpark@cnu.ac.kr; moslehian@ferdowsi.um.ac.ir