Skip to main content

Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras

Abstract

Eskandani and Vaezi proved the Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras associated with the following Pexiderized Jensen type functional equation

kf x + y k = f 0 ( x ) + f 1 ( y )

by using direct method. Using fixed point method, we prove the Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras. Moreover, we investigate the Pexiderized Jensen type functional inequality in proper Jordan CQ*-algebras.

Mathematics Subject Classification 2010: Primary, 17B40; 39B52; 47N50; 47L60; 46B03; 47H10.

1. Introduction and preliminaries

In 1940, Ulam [1] asked the first question on the stability problem. In 1941, Hyers [2] solved the problem of Ulam. This result was generalized by Aoki [3] for additive mappings and by Rassias [4] for linear mappings by considering an unbounded Cauchy difference. In 1994, a generalization of Rassias' Theorem was obtained by Găvruta [5]. Since then, several stability problems for various functional equations have been investigated by numerous mathematicians (see [625], M Eshaghi Gordji, unpublished work).

The Jensen equation is 2f x + y 2 =f ( x ) +f ( y ) , where f is a mapping between linear spaces. It is easy to see that a mapping f : XY between linear spaces with f(0) = 0 satisfies the Jensen equation if and only if it is additive [26]. Stability of the Jensen equation has been studied at first by Kominek [27].

We recall some basic facts concerning quasi *-algebras.

Definition 1.1. Let A be a linear space and let A0 be a *-algebra contained in A as a subspace. We say that A is a quasi *-algebra over A0 if

(i) the right and left multiplications of an element of A and an element of A0 are defined and linear;

(ii) x1(x2a) = (x1x2)a, (ax 1)x 2 = a(x1x2) and x1(ax2) = (x1a)x2 for all x1, x2 A0 and all a A;

(iii) an involution *, which extends the involution of A0, is defined in A with the property (ab)* = b*a* whenever the multiplication is defined.

Quasi *-algebras [28, 29] arise in natural way as completions of locally convex *-algebras whose multiplication is not jointly continuous; in this case one has to deal with topological quasi *-algebras.

A quasi *-algebra (A, A o ) is said to be a locally convex quasi *-algebra if in A a locally convex topology τ is defined such that

(i) the involution is continuous and the multiplications are separately continuous;

(ii) A o is dense in A[τ].

Throughout this article, we suppose that a locally convex quasi *-algebra (A, A0) is complete. For an overview on partial *-algebra and related topics we refer to [30].

In a series of articles [3135] many authors have considered a special class of quasi * algebras, called proper CQ*-algebras, which arise as completions of C*-algebras. They can be introduced in the following way:

Let A be a Banach module over the C*-algebra A0 with involution * and C*-norm || . ||0 such that A0 A. We say that (A, A0) is a proper CQ*-algebra if

(i) A0 is dense in A with respect to its norm || · ||;

(ii) (ab)* = b*a* whenever the multiplication is defined;

(iii) || y ||0= supa A, || a ||≤1|| ay || for all y A0.

Definition 1.2. A proper CQ*-algebra (A, A0), endowed with the Jordan product

zx= z x + x z 2

for all x A and all z A0, is called a proper Jordan CQ*-algebra.

Definition 1.3. Let (A, A0) be proper Jordan CQ*-algebras.

A -linear mapping δ: A0A is called a Jordan derivation if

δ ( x y ) =xδ ( y ) +δ ( x ) y

for all x, y A0.

Park and Rassias [36] investigated homomorphisms and derivations on proper JCQ*- triples.

Throughout this article, assume that k is a fixed positive integer.

Eskandani and Vaezi [37] proved the Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras associated with the following Pexiderized Jensen type functional equation

kf x + y k = f 0 ( x ) + f 1 ( y )

by using direct method.

In this article, using fixed point method, we prove the Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras.

Moreover, we investigate the Pexiderized Jensen type functional inequality in proper Jordan CQ*-algebras.

2. Derivations on proper Jordan CQ*-algebras

Throughout this section, assume that (A, A0) is a proper Jordan CQ*-algebra with C*-norm || · ||A0 and norm || · || A .

Theorem 2.1. Let φ : A0 × A0 → [0, + ∞) be a function such that

lim n 1 4 n φ ( 2 n x , 2 n y ) = 0
(2.1)

for all x, y A0 . Suppose that f, f0, f1 : A0A are mappings with f(0) = 0 and

| | μ f ( x ) - f 0 ( y ) - f 1 ( z ) | | A k f μ x + y + z k A
(2.2)
||f ( x y ) +x f 1 ( y ) + f 0 ( x ) y| | A φ ( x , y )
(2.3)

for all μ T 1 : { μ : | μ | = 1 } and all x, y, z A0. Then the mapping f : A0A is a Jordan derivation. Moreover,

f ( x ) = f 0 ( 0 ) - f 0 ( x ) = f 1 ( 0 ) - f 1 ( x )

for all x A0.

Proof. Letting x = yz = 0 in (2.2), we get f0(0) + f1(0) = 0.

Letting µ = 1, y = -x and z = 0 in (2.2), we get

f ( x ) = f 0 ( - x ) + f 1 (0) = f 0 ( - x ) - f 0 (0)
(2.4)

for all x A0. Similarly, we have

f ( x ) = f 1 (- x ) + f 0 (0) = f 1 (- x ) - f 1 (0)
(2.5)

for all x A0. By (2.2), we have

| | f ( x + y ) - f ( x ) - f ( y ) | | A = | | f ( x + y ) - ( f 0 ( - x ) + f 1 ( 0 ) ) - ( f 1 ( - y ) + f 0 ( 0 ) ) | | A = | | f ( x + y ) - f 0 ( - x ) - f 1 ( - y ) | | A = 0

for all x, y A0. So the mapping f : A0A is additive. Letting y = -µx and z = 0 in (2.2), we get

μf ( x ) = f 0 ( - μ x ) + f 1 ( 0 ) =f ( μ x )

for all x A0. By the same reasoning as in the proof of [[38], Theorem 2.1], the mapping f : A0A is -linear. By (2.1) and (2.3), we have

| | f ( x y ) - x f ( y ) - f ( x ) y | | A = lim n 1 4 n | | f ( 2 n x 2 n y ) - 2 n x ( f 1 ( - 2 n y ) - f 1 ( 0 ) ) - ( f 0 ( - 2 n x ) - f 0 ( 0 ) ) 2 n y | | A = lim n 1 4 n | | f ( 2 n x 2 n y ) - 2 n x f 1 ( - 2 n y ) - f 0 ( - 2 n x ) 2 n y | | A lim n φ ( - 2 n x , - 2 n y ) 4 n = 0

for all x, y A0. So

f ( x y ) = x f ( y ) + f ( x ) y

for all x, y A0. Therefore, the mapping f : A0A is a Jordan derivation.

Since f(-x) = -f(x) for all x A0, it follows from (2.4) that

f ( x ) = - f ( - x ) = - ( f 0 ( x ) - f 0 (0)) = f 0 (0) - f 0 ( x )

for all x A0. It follows from (2.5) that

f ( x ) = - f ( - x ) = - ( f 1 ( x ) - f 1 (0)) = f 1 (0) - f 1 ( x )

for all x A0. This completes the proof.

   □

Corollary 2.2. Let θ, r0, r1 be nonnegative real numbers with r0 + r1 < 2, and let f, f0, f1 : A0A be mappings satisfying f (0) = 0, (2.2) and

||f ( x y ) +x f 1 ( y ) + f 0 ( x ) y| | A θ||x| | A 0 r 0 ||y| | A 0 r 1

for all x, y A0. Then the mapping f : A0A is a Jordan derivation. Moreover,

f ( x ) = f 0 ( 0 ) - f 0 ( x ) = f 1 ( 0 ) - f 1 ( x )

for all x A0.

Proof. The proof follows from Theorem 2.1.

   □

Corollary 2.3. Let θ, r0, r1 be nonnegative real numbers with r < 2 and let f, f0, f1 : A0A be mappings satisfying f(0) = 0, (2.2) and

||f ( x y ) +x f 1 ( y ) + f 0 ( x ) y| | A θ ( | | x | | A 0 r + | | y | | A 0 r )

for all x, y A0. Then the mapping f : A0A is a Jordan derivation. Moreover,

f ( x ) = f 0 ( 0 ) - f 0 ( x ) = f 1 ( 0 ) - f 1 ( x )

for all x A.

3. Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras

We now introduce one of fundamental results of fixed point theory. For the proof, refer to [39, 40]. For an extensive theory of fixed point theorems and other nonlinear methods, the reader is referred to the book of Hyers et al. [8].

Let X be a set. A function d : X × X → [0, ∞] is called a generalized metric on X if and only if d satisfies:

(GM1) d(x, y) = 0 if and only if x = y;

(GM2) d(x, y) = d(y, x) for all x, y X;

(GM3) d(x, z) ≤ d(x, y) + d(y, z) for all x, y, z X.

Note that the distinction between the generalized metric and the usual metric is that the range of the former is permitted to include the infinity.

Let (X, d) be a generalized metric space. An operator T : XX satisfies a Lipschitz condition with Lipschitz constant L if there exists a constant L ≥ 0 such that

d ( T x , T y ) Ld ( x , y )

for all x, y X. If the Lipschitz constant L is less than 1, then the operator T is called a strictly contractive operator.

We recall the following theorem by Diaz and Margolis [39].

Theorem 3.1. Suppose that we are given a complete generalized metric space (Ω, d) and a strictly contractive function T : Ω → Ω with Lipschitz constant L. Then for each given x Ω, either

d ( T m x , T m + 1 x ) =forallm0,

or other exists a natural number m 0 such that

d(Tmx, Tm+1x) <for all mm0;

the sequence {Tmx} is convergent to a fixed point y* of T;

y* is the unique fixed point of T in

Λ = { y Ω : d ( T m 0 x , y ) < } ;

d ( y , y * ) 1 1 - L d ( y , T y ) for all y Λ.

Now we prove the Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras by using fixed point method.

Theorem 3.2. Let f, f0, f1 : A0A be mappings with f(0) = 0 for which there exists a function φ: A 0 2 [ 0 , ) with φ(0, 0) = 0 such that

k f μ x + μ y k - μ f 0 ( x ) - μ f 1 ( y ) A φ ( x , y ) ,
(3.1)
k f x y k - x f 1 ( y ) - f 0 ( x ) y A φ ( x , y )
(3.2)

for all μ T 1 and all x, y A0. If there exists an L < 1 such that φ ( x , y ) 2Lφ ( x 2 , y 2 ) for all x, y A0, then there exists a unique Jordan derivation δ : A0A such that

| | f ( x ) - δ ( x ) | | A 1 2 k - 2 k L φ ( k x , k x ) , | | f 0 ( x ) - f 0 ( 0 ) - δ ( x ) | | A 1 2 - 2 L φ ( x , x )
(3.3)

for all x A0. Moreover, f0(x) - f0(0) = f1(x) - f1(0) for all x A0.

Proof. Letting x = y = 0 and µ = 1 in (3.1), we get f0(0) + f1(0) = 0.

Letting y = 0 and µ = 1 in (3.1), we get

k f x k = f 0 ( x ) + f 1 ( 0 ) = f 0 ( x ) - f 0 ( 0 )
(3.4)

for all x A0. Similarly, we get

k f y k = f 1 ( y ) + f 0 ( 0 ) = f 1 ( y ) - f 1 ( 0 )
(3.5)

for all y A0. Using (3.4) and (3.5), we get

f 0 ( x ) - f 0 ( 0 ) = f 1 ( x ) - f 1 ( 0 )

for all x A0.

Let H : A 0 → A be a mapping defined by

H ( x ) := f 0 ( x ) - f 0 ( 0 ) = f 1 ( x ) - f 1 ( 0 ) =kf x k

for all x A0. Then we have

||H ( μ x + μ y ) -μH ( x ) -μH ( y ) | | A φ ( x , y )
(3.6)

for all μ T 1 and x, y A0.

Consider the set

X:= { g : A 0 A }

and introduce the generalized metric on X:

d ( g , h ) = inf { C + : | | g ( x ) - h ( x ) | | A C φ ( x , x ) , x A 0 } .

It is easy to show that (X, d) is complete (see [[41], Lemma 2.1]).

Now we consider the linear mapping J : XX such that

Jg ( x ) := 1 2 g ( 2 x )

for all x A.

By [[41], Theorem 3.1],

d ( J g , J h ) Ld ( g , h )

for all g, h X.

Letting µ = 1 and y = x in (3.6), we get

||H ( 2 x ) -2H ( x ) ||φ ( x , x )
(3.7)

and so

||H ( x ) - 1 2 H ( 2 x ) || 1 2 φ ( x , x )

for all x A0. Hence d ( H , J H ) 1 2 .

By Theorem 3.1, there exists a mapping δ : A0A such that

  1. (1)

    δ is a fixed point of J, i.e.,

    δ ( 2 x ) =2δ ( x )
    (3.8)

for all x A0. The mapping δ is a unique fixed point of J in the set

Y= { g X : d ( f , g ) < } .

This implies that δ is a unique mapping satisfying (3.8) such that there exists C (0, ∞) satisfying

||H ( x ) -δ ( x ) | | A Cφ ( x , x )

for all x A0.

  1. (2)

    d(JnH, δ) → 0 as n → ∞. This implies the equality

    lim n H ( 2 n x ) 2 n = δ ( x )
    (3.9)

for all x A0.

  1. (3)

    d ( H , δ ) 1 1 - L d ( H , J H ) , which implies the inequality

    d ( H , δ ) 1 2 - 2 L .

This implies that the inequality (3.3) holds.

It follows from (3.6) and (3.9) that

| | δ ( μ x + μ y ) - μ δ ( x ) - μ δ ( y ) | | A = lim n 1 2 n | | H ( 2 n μ x + 2 n μ y ) - μ H ( 2 n x ) - μ H ( 2 n y ) | | A lim n 1 2 n φ ( 2 n x , 2 n y ) = 0

for μ T 1 and all x, y A0. So

δ ( μ x + μ y ) =μδ ( x ) +μδ ( y )

for μ T 1 and all x, y A0. By the same reasoning as in the proof of [[38], Theorem 2.1], the mapping δ : A0A is -linear.

It follows from φ ( x , y ) 2Lφ ( x 2 , y 2 ) that

lim n 1 4 n φ ( 2 n x , 2 n y ) 1 2 n φ ( 2 n x , 2 n y ) = 0
(3.10)

for all x, y A0.

It follows from (3.2) and (3.10) that

| | δ ( x y ) - x δ ( y ) - δ ( x ) y | | A lim n 1 4 n k f 4 n x y k - 2 n x ( f 1 ( 2 n y ) + f 0 ( 0 ) ) - ( f 0 ( 2 n x ) + f 1 ( 0 ) ) 2 n y A lim n 1 4 n k f 4 n x y k - 2 n x f 1 ( 2 n y ) - f 0 ( 2 n x ) 2 n y A lim n 1 4 n φ ( 2 n x , 2 n y ) = 0

for all x, y A0. Hence

δ ( x y ) =xδ ( y ) +δ ( x ) y

for all x, y A0. So δ : A0A is a Jordan derivation, as desired.

   □

Corollary 3.3. [[37], Theorem 3.1] Let be a nonnegative real number and r0, r1 positive real numbers with λ:= r0 + r1 < 1 and let f, f0, f1 : A0A be mappings with f (0) = 0 such that

k f μ x + μ y k - μ f 0 ( x ) - μ f 1 ( y ) A θ | | x | | A 0 r 0 | | y | | A 0 r 1 ,
(3.11)
k f x y k - x f 1 ( y ) - f 0 ( x ) y A θ | | x | | A 0 r 0 | | y | | A 0 r 1
(3.12)

for all μ T 1 and all x, y A0. Then there exists a unique Jordan derivation δ : A0A such that

| | f ( x ) - δ ( x ) | | A k λ - 1 θ 2 - 2 λ | | x | | A 0 λ , | | f 0 ( x ) - f 0 ( 0 ) - δ ( x ) | | A θ 2 - 2 λ | | x | | A 0 λ

for all x A0. Moreover, f0(x) - f0(0) = f1(x) - f1(0) for all x A0.

Proof. The proof follows from Theorem 3.2 by taking

φ ( x , y ) :=θ||x| | A 0 r 0 ||y| | A 0 r 1

for all x, y A. Letting L = 2λ-1, we get the desired result.

   □

Corollary 3.4. [[37], Theorem 3.4] Let θ, r be a nonnegative real numbers with 0 < r < 1, and let f, f0, f1 : A0A be mappings with f (0) = 0 such that

k f μ x + μ y k - μ f 0 ( x ) - μ f 1 ( y ) A θ ( | | x | | A 0 r + | | y | | A 0 r ) ,
(3.13)
k f x o y k - x o f 1 ( y ) - f 0 ( x ) o y A θ ( | | x | | A 0 r + | | y | | A 0 r )
(3.14)

for all μ T 1 and all x, y A0. Then there exists a unique Jordan derivation δ : A0A such that

| | f ( x ) - δ ( x ) | | A 2 k r - 1 θ 2 - 2 r | | x | | A 0 r , | | f 0 ( x ) - f 0 ( 0 ) - δ ( x ) | | A 2 θ 2 - 2 r | | x | | A 0 r

for all x A0. Moreover, f0(x) - f0(0) = f1(x) - f1(0) for all x A0.

Proof. The proof follows from Theorem 3.2 by taking

φ ( x , y ) :=θ ( | | x | | A 0 r + | | y | | A 0 r )

for all x, y A. Letting L = 2r- 1, we get the desired result.

   □

Theorem 3.5. Let f, f0, f1 : A0A be mappings with f(0) = f0(0) = f1(0) = 0 for which there exists a function φ : A 0 2 [ 0 , ) satisfying (3.1) and (3.2). If there exists an L < 1 such that φ ( x , y ) L 4 φ ( 2 x , 2 y ) for all x, y A0, then there exists a unique Jordan derivationδ: A0A such that

| | f ( x ) - δ ( x ) | | A L 4 k - 4 k L φ ( k x , k x ) , | | f 0 ( x ) - δ ( x ) | | A L 4 - 4 L φ ( x , x )
(3.15)

for all x A0. Moreover, f0(x) = f1(x) for all x A0.

Proof. Let (X, d) be the generalized metric space defined in the proof of Theorem 3.2.

Now we consider the linear mapping J : XX such that

Jg ( x ) :=2g x 2

for all x X.

Let H ( x ) := f 0 ( x ) = f 1 ( x ) =kf ( x k ) for all x A0. It follows from (3.7) that

H ( x ) - 2 H x 2 φ x 2 , x 2 L 4 φ ( x , y )

for all x A0. Thus d ( H , J H ) L 4 . One can show that there exists a mapping δ : A0A such that

d ( H , δ ) L 4 - 4 L .

Hence we obtain the inequality (3.15).

It follows from φ ( x , y ) L 4 φ ( 2 x , 2 y ) that

lim n 4 n φ x 2 n , y 2 n =0

for all x, y A0. So

| | δ ( x y ) - x δ ( y ) - δ ( x ) y | | A lim n 4 n k f 4 n x y 4 n k - x 2 n f 1 y 2 n - f 0 x 2 n y 2 n A lim n 4 n φ x 2 n , y 2 n = 0

for all x, y A0. Hence

δ ( x y ) =xδ ( y ) +δ ( x ) y

for all x, y A0. So δ : A0A is a Jordan derivation, as desired.

The rest of the proof is similar to the proof of Theorem 3.2.

   □

Corollary 3.6. [[37], Theorem 3.2] Let θ be a nonnegative real number and r0, r1 positive real numbers with λ:= r0 + r1 > 2 and let f, f0, f1 : A0A be mappings satisfying f(0) = f0(0) = f1(0) = 0, (3.11) and (3.12). Then there exists a unique Jordan derivation δ: A0A such that

| | f ( x ) - δ ( x ) | | A k λ - 1 θ 2 λ - 4 | | x | | A 0 λ | | f i ( x ) - δ ( x ) | | A θ 2 λ - 4 | | x | | A 0 λ

for all x A0. Moreover, f0(x) = f1(x) for all x A0.

Proof. The proof follows from Theorem 3.3 by taking

φ ( x , y ) :=θ||x| | A 0 r 0 ||y| | A 0 r 1

for all x, y A. Letting L = 22-λ, we get the desired result.

   □

Corollary 3.7. [[37], Theorem 3.3] Let θ, r be nonnegative real numbers with r > 2, and let f, f0, f1 : A0A be mappings satisfying f (0) = f0(0) = f1(0) = 0, (3.13) and (3.14). Then there exists a unique Jordan derivation δ : A0A such that

| | f ( x ) - δ ( x ) | | A 2 k r - 1 θ 2 r - 4 | | x | | A 0 r , | | f 0 ( x ) - δ ( x ) | | A 2 θ 2 r - 4 | | x | | A 0 r

for all x A0. Moreover, f0(x) = f1(x) for all x A0.

Proof. The proof follows from Theorem 3.3 by taking

φ ( x , y ) :=θ ( | | x | | A 0 r + | | y | | A 0 r )

for all x, y A. Letting L = 22-r, we get the desired result.

   □

References

  1. 1.

    Ulam SM: A Collection of the Mathematical Problems. Interscience Publ., New York; 1960.

    Google Scholar 

  2. 2.

    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

    MathSciNet  Article  Google Scholar 

  3. 3.

    Aoki T: On the stability of the linear transformation in Banach spaces. J Math Soc Japan 1950, 2: 64–66. 10.2969/jmsj/00210064

    MathSciNet  Article  Google Scholar 

  4. 4.

    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 

  5. 5.

    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

    MathSciNet  Article  Google Scholar 

  6. 6.

    Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, New Jersey; 2002.

    Google Scholar 

  7. 7.

    Czerwik S: Stability of Functional Equations of Ulam-Hyers-Rassias Type. Hadronic Press, Inc., Palm Harbor; 2003.

    Google Scholar 

  8. 8.

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

    Google Scholar 

  9. 9.

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

    MathSciNet  Article  Google Scholar 

  10. 10.

    Jung S: Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor; 2001.

    Google Scholar 

  11. 11.

    Eshaghi Gordji M, Ghaemi MB, Kaboli Gharetapeh S, Shams S, Ebadian A: On the stability of J* -derivations. J Geom Phys 2010, 60: 454–459. 10.1016/j.geomphys.2009.11.004

    MathSciNet  Article  Google Scholar 

  12. 12.

    Eshaghi Gordji M, Najati A: Approximately J* -homomorphisms: a fixed point approach. J Geom Phys 2010, 60: 809–814. 10.1016/j.geomphys.2010.01.012

    MathSciNet  Article  Google Scholar 

  13. 13.

    Baktash E, Cho Y, Jalili M, Saadati R, Vaezpour SM: On the stability of cubic mappings and quadratic mappings in random normed spaces. J Inequal Appl 2008, 2008: 11. Article ID 902187

    MathSciNet  Article  Google Scholar 

  14. 14.

    Cho Y, Eshaghi Gordji M, Zolfaghari S: Solutions and stability of generalized mixed type QC functional equations in random normed spaces. J Inequal Appl 2010, 2010: 16. Article ID 403101

    MathSciNet  Google Scholar 

  15. 15.

    Cho Y, Kang J, Saadati R: Fixed points and stability of additive functional equations on the Banach algebras. J Comput Anal Appl 2012, 14: 1103–1111.

    MathSciNet  Google Scholar 

  16. 16.

    Cho Y, Park C, Saadati R: Functional inequalities in non-Archimedean Banach spaces. Appl Math Lett 2010, 60: 1994–2002.

    MathSciNet  Google Scholar 

  17. 17.

    Cho Y, Saadati R: Lattice non-Archimedean random stability of ACQ functional equation. Adv Diff Equ 2011, 2011: 31. 10.1186/1687-1847-2011-31

    MathSciNet  Article  Google Scholar 

  18. 18.

    Najati A, Cho Y: Generalized Hyers-Ulam stability of the pexiderized Cauchy functional equation in non-Archimedean spaces. Fixed Point Theory Appl 2011, 2011: 11. Article ID 309026 10.1186/1687-1812-2011-11

    MathSciNet  Article  Google Scholar 

  19. 19.

    Najati A, Kang J, Cho Y: Local stability of the pexiderized Cauchy and Jensen's equations in fuzzy spaces. J Inequal Appl 2011, 2011: 78. 10.1186/1029-242X-2011-78

    MathSciNet  Article  Google Scholar 

  20. 20.

    Park C, Cho Y, Kenary HA: Orthogonal stability of a generalized quadratic functional equation in non-Archimedean spaces. J Computat Anal Appl 2012, 14: 526–535.

    MathSciNet  Google Scholar 

  21. 21.

    Park C, Rassias TM: Isomorphisms in unital C* -algebras. Int J Nonlinear Anal Appl 2010, 1: 1–10.

    MathSciNet  Google Scholar 

  22. 22.

    Saadati R, Cho Y, 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

    MathSciNet  Article  Google Scholar 

  23. 23.

    Rassias TM: On a modified Hyers-Ulam sequence. J Math Anal Appl 1991, 158: 106–113. 10.1016/0022-247X(91)90270-A

    MathSciNet  Article  Google Scholar 

  24. 24.

    Rassias TM: On the stability of functional equations and a problem of Ulam. Acta Appl Math 2000, 62: 23–130. 10.1023/A:1006499223572

    MathSciNet  Article  Google Scholar 

  25. 25.

    Rassias TM, Semrl P: On the Hyers-Ulam stability of linear mappings. J Math Anal Appl 1993, 173: 325–338. 10.1006/jmaa.1993.1070

    MathSciNet  Article  Google Scholar 

  26. 26.

    Parnami JC, Vasudeva HL: On Jensen's functional equation. Aequationes Math 1992, 43: 211–218. 10.1007/BF01835703

    MathSciNet  Article  Google Scholar 

  27. 27.

    Kominek Z: On a local stability of the Jensen functional equation. Demonstratio Math 1989, 22: 499–507.

    MathSciNet  Google Scholar 

  28. 28.

    Lassner G: Topological algebras and their applications in quantum statistics. Wiss Z Karl-Marx-Univ Leipzig, Math-Natur Reihe 1981, 30: 572–595.

    MathSciNet  Google Scholar 

  29. 29.

    Lassner G, Lassner GA: Quasi*-algebras and twisted product. Publ RIMS Kyoto Univ 1989, 25: 279–299. 10.2977/prims/1195173612

    MathSciNet  Article  Google Scholar 

  30. 30.

    Antoine JP, Inoue A, Trapani C: Partial *-Algebras and Their Operator Realizations. Kluwer, Dordrecht; 2002.

    Google Scholar 

  31. 31.

    Bagarello F, Inoue A, Trapani C: Some classes of topological quasi *-algebras. Proc Am Math Soc 2001, 129: 2973–2980. 10.1090/S0002-9939-01-06019-1

    MathSciNet  Article  Google Scholar 

  32. 32.

    Bagarello F, Morchio G: Dynamics of mean-field spin models from basic results in abstract differential equations. J Stat Phys 1992, 66: 849–866. 10.1007/BF01055705

    MathSciNet  Article  Google Scholar 

  33. 33.

    Bagarello F, Trapani C: States and representations of CQ* -algebras. Ann Inst H Poincaré 1994, 61: 103–133.

    MathSciNet  Google Scholar 

  34. 34.

    Bagarello F, Trapani C: CQ*-algebras: Structure properties. Publ Res Inst Math Sci 1996, 32: 85–116. 10.2977/prims/1195163181

    MathSciNet  Article  Google Scholar 

  35. 35.

    Bagarello F, Trapani C: Morphisms of certain Banach C* -modules. Publ Res Inst Math Sci 2000, 36: 681–705. 10.2977/prims/1195139642

    MathSciNet  Article  Google Scholar 

  36. 36.

    Park C, Rassias TM: Homomorphisms and derivations in proper JCQ* -triples. J Math Anal Appl 2008, 337: 1404–1414. 10.1016/j.jmaa.2007.04.063

    MathSciNet  Article  Google Scholar 

  37. 37.

    Eskandani GZ, Vaezi H: Hyers-Ulam-Rassias stability of derivations in proper Jordan CQ* -algebras. Discr Contin Dyn Syst 2011, 31: 1469–1477.

    MathSciNet  Article  Google Scholar 

  38. 38.

    Park C: Homomorphisms between Poisson JC* -algebras. Bull Braz Math Soc 2005, 36: 79–97. 10.1007/s00574-005-0029-z

    MathSciNet  Article  Google Scholar 

  39. 39.

    Diaz JB, Margolis B: A fixed point theorem of the alternative for contractions on the generalized complete metric space. Bull Am Math Soc 1968, 74: 305–309. 10.1090/S0002-9904-1968-11933-0

    MathSciNet  Article  Google Scholar 

  40. 40.

    Rus IA: Principles and Applications of Fixed Point Theory. Dacia, Cluj-Napoca; 1979.

    Google Scholar 

  41. 41.

    Cădariu L, Radu V: Fixed points and the stability of Jensen's functional equation. J Inequal Pure Appl Math 2003, 4(1):4.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

Choonkil Park was supported by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2009-0070788). Dong Yun Shin was supported by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2010-0021792).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Dong Yun Shin.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Park, C., Eskandani, G.Z., Vaezi, H. et al. Hyers-Ulam stability of derivations on proper Jordan CQ*-algebras. J Inequal Appl 2012, 114 (2012). https://doi.org/10.1186/1029-242X-2012-114

Download citation

Keywords

  • Hyers-Ulam stability
  • proper Jordan CQ*-algebra
  • Jordan derivation
  • fixed point method