Skip to content

Advertisement

  • Research
  • Open Access

Almost Jordan homomorphisms and Jordan derivations associated to the parametric-additive functional equation on fuzzy Banach algebras

  • 1,
  • 1,
  • 2,
  • 3 and
  • 4Email author
Advances in Difference Equations20122012:70

https://doi.org/10.1186/1687-1847-2012-70

  • Received: 29 February 2012
  • Accepted: 29 May 2012
  • Published:

Abstract

In this article, we establish the generalized Hyers-Ulam (or Hyers-Ulam-Rassais) stability of Jordan homomorphisms and Jordan derivations of the following parametric additive functional equation:

i = 1 m f ( x i ) = 1 2 m i = 1 m f m x i + j = 1 , j i m x j + f i = 1 m x i

for a fixed positive integer m with m ≥ 2, on fuzzy Banach algebras. The concept of Ulam-Hyers-Rassias stability originated from Rassias stability theorem that appeared in his article.

Mathematics Subject Classification: Primary, 46S40; Secondary, 39B52; 39B82; 26E50; 46S50; 46H25.

Keywords

  • Fuzzy normed space
  • Jordan homomorphism
  • Jordan derivation
  • generalized Hyers-Ulam stability

1. Introduction

The stability problem of functional equations originated from a question of Ulam [1] in 1940, concerning the stability of group homomorphisms. Let (G1, .) be a group and let (G2, *) be a metric group with the metric d(., .). Given ε > 0, does there exist a δ 0, such that if a mapping h: G1→ G2satisfies the inequality d(h(x.y), h(x) * h(y)) < δ for all x, y G1, then there exists a homomorphism H: G1→ G2with d(h(x), H(x)) < ε for all x G1? In the other words, under what condition does there exist a homomorphism near an approximate homomorphism? The concept of stability for functional equation arises when we replace the functional equation by an inequality which acts as a perturbation of the equation. In 1941, Hyers [2] gave the first affirmative answer to the question of Ulam for Banach spaces. Let f: E → E'' be a mapping between Banach spaces such that ||f(x+y)-f(x)-f(y)|| ≤ δ for all x, y E, and for some δ > 0. Then there exists a unique additive mapping T: E → E' such that ||f(x) - T(x)|| ≤ δ for all x E. Moreover if f(tx) is continuous in t for each fixed x E, then T is linear. In 1978, Rassias [3] proved the following theorem.

Theorem 1.1. Let f: E → E' be a mapping from a normed vector space E into a Banach space E' subject to the inequality
f ( x + y ) - f ( x ) - f ( y ) ϵ x p + y p
(1.1)
for all x, y E, where and p are constants with ε > 0 and p < 1. Then there exists a unique additive mapping T: E → E' such that
f ( x ) - T ( x ) 2 ϵ 2 - 2 p x p
(1.2)

for all x E. If p < 0 then inequality (1.1) holds for all x, y ≠ 0, and (1.2) for x ≠ 0. Also, if the function t f(tx) from into E' is continuous in real t for each fixed x E, then T is linear.

In 1991, Gajda [4] answered the question for the case p > 1, which was raised by Rassias. This new concept is known as the generalized Hyers-Ulam stability of functional equations.

Following [5], we give the employing notion of a fuzzy norm.

Let X be a real linear space. A function N: X × →[0, 1] (the so-called fuzzy subset) is said to be a fuzzy norm on X if for all x, y X and all a, b :

(N1) N(x, a) = 0 for a ≤ 0;

(N2) x = 0 if and only if N(x, a) = 1 for all a > 0;

(N3) N ( a x , b ) = N ( x , b | a | ) if a 0 ;

(N4) N(x + y, a + b) min{N(x, a), N(y, b)};

(N5) N(x, .) is non-decreasing function on and lim a→∞ N(x, a) = 1;

(N6) For x ≠ 0, N(x, .) is (upper semi) continuous on .

The pair (X, N) is called a fuzzy normed linear space. One may regard N(x, a) as the truth value of the statement "the norm of x is less than or equal to the real number a".

Example 1.2. Let (X, ||.||) be a normed linear space. Then
N ( x , a ) = a a + x , a > 0 , x X ; 0 , a 0 , x X

is a fuzzy norm on X.

Let (X, N) be a fuzzy normed linear space. Let {x n } be a sequence in X. Then {x n } is said to be convergent if there exists x X such that lim n→∞ N(x n - x, a) = 1 for all a > 0. In that case, x is called the limit of the sequence {x n } and we denote it by N - lim n→∞ x n = x. A sequence {x n } in X is called Cauchy if for each ε > 0 and each a there exists n0 such that for all n ≥ n0 and all p > 0, we have N(xn+p- xn, a) > 1 - ε. It is known that every convergent sequence in fuzzy normed space is Cauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed space is called a fuzzy Banach space.

Let X be an algebra and (X, N) be complete fuzzy normed space, the pair (X, N) is said to be a fuzzy Banach algebra if for every x, y X, a, b
N ( x y , a b ) max { N ( x , a ) , N ( y , b ) } .
(1.3)
Let (X, N) be a fuzzy Banach algebra and {x n }, {y n } be convergent sequences in (X, N) such that N - lim n→∞ x n = x and N - lim n→∞ y n = y. Then
N ( x n y n - x y , 2 t ) min { N ( ( x n - x ) y n , t ) , N ( x ( y n - y ) , t ) } min { N ( x n - x , t ) , N ( y n - y , t ) }

for all t > 0. Therefore N - lim n→∞ x n y n = xy.

The generalized Hyers-Ulam stability of different functional equations in random normed and fuzzy normed spaces has been recently studied in [69].

Definition 1.3. Suppose A and B are two Banach algebras. We say that a mapping h: A → B is a Jordan homomorphism if
h ( a + b ) = h ( a ) + h ( b ) , a n d h ( a 2 ) = h ( a ) 2

for all a, b A.

Definition 1.4. Suppose A is a Banach algebra. We say that a mapping d: A → A is a Jordan derivation if
d ( a + b ) = d ( a ) + d ( b ) , a n d d ( a 2 ) = a d ( a ) + d ( a ) a

for all a, b A.

The stability of different functional equations in various normed spaces and also on Banach algebras has been recently studied in [24, 629].

In the present article, we investigate the generalized Hyers-Ulam stability of Jordan homomorphisms and Jordan derivations of the following parametric-additive functional equation
i = 1 m f ( x i ) = i = 1 m f m x i + j = 1 , j i m x j + f i = 1 m x i 2 m
(1.4)

where m is a positive integer greater than 2, on fuzzy Banach algebras.

2. Main results

We start our work with the following theorem which can be regard as a general solution of functional Equation (1.4).

Theorem 2.1. Let V and W be real vector spaces. A mapping f: V → W satisfies in (1.4) if and only if f is additive.

Proof. Setting x j = 0 in (1.4) (1 ≤ j ≤ m), we obtain
( m + 1 ) f ( 0 ) = 2 m 2 f ( 0 ) .
(2.1)
Since m ≥ 2, we have
f ( 0 ) = 0 .
(2.2)
Setting x1 = x, x j = 0 (2 ≤ j ≤ m) in (1.1), we obtain
f ( m x ) = m f ( x ) .
(2.3)
Putting x1 = x, x2 = y, x j = 0 (3 ≤ j ≤ m), we get
f ( m x + y ) + f ( m y + x ) + ( m - 1 ) f ( x + y ) = 2 m ( f ( x ) + f ( y ) ) .
(2.4)
Putting x1 = x, x j = y m - 1 (2 ≤ j ≤ m), we get
f ( m x + y ) + ( m - 1 ) f ( 2 y + x ) + f ( x + y ) = 2 m f ( x ) + ( m - 1 ) f y m - 1 .
(2.5)
Let x = 0 in (2.5), we obtain
2 m ( m - 1 ) f y m - 1 = 2 f ( y ) + ( m - 1 ) f ( 2 y ) .
(2.6)
So, (2.5) turns to following
f ( m x + y ) - ( m - 1 ) f ( 2 y + x ) + ( m - 2 ) f ( x + y ) = ( 2 m - 2 ) f ( y ) - ( m - 1 ) f ( 2 y ) .
(2.7)
From (2.4) and (2.7), we have
f ( m x + y ) - ( m - 1 ) f ( 2 y + x ) + f ( x + y ) = 2 m f ( x ) + 2 f ( y ) + ( m - 1 ) f ( 2 y ) .
(2.8)
Replacing x by y and y by x in (2.7) and comparing it with (2.8), we get
( m - 1 ) [ f ( 2 x + y ) + f ( 2 y + x ) ] - ( m - 3 ) f ( x + y ) = 2 [ f ( x ) + f ( y ) ] + ( m - 1 ) [ f ( 2 x ) + f ( 2 y ) ] .
(2.9)
Letting x = y in (2.4), (2.7), (2.9), respectively, we obtain
2 f ( ( m + 1 ) x ) + ( m - 1 ) f ( 2 x ) = 4 m f ( x ) ,
(2.10)
f ( ( m + 1 ) x ) + ( m - 1 ) f ( 3 x ) = ( 2 m + 2 ) f ( x ) + ( m - 2 ) f ( 2 x ) ,
(2.11)
f ( 3 x ) = f ( 2 x ) + f ( x ) .
(2.12)
From (2.10)-(2.12) we have
f ( 2 x ) = 2 f ( x ) .
(2.13)
Replacing f(2x) and f(2y) by their equivalents by using (2.13) in (2.9), we get
( m - 1 ) [ f ( 2 x + y ) + f ( 2 y + x ) ] - ( m - 3 ) f ( x + y ) = 2 m f ( x + y ) .
(2.14)
Replacing y by -x in (2.14), we get
f ( x ) = - f ( x ) .
(2.15)
Replacing x by x - y in (2.14), we get
( m - 1 ) [ f ( 2 x - y ) + f ( x + y ) ] - ( m - 3 ) f ( x ) = 2 m ( f ( x - y ) + f ( y ) ) .
(2.16)
Similarly, replacing y by y - x in (2.14), we obtain
( m - 1 ) [ f ( 2 y - x ) + f ( x + y ) ] - ( m - 3 ) f ( y ) =  2 m ( f ( x ) + f ( y - x ) ) .
(2.17)
Replacing y by -y and x by -x in (2.16) and (2.17), respectively, we obtain
( m - 1 ) [ f ( 2 x + y ) + f ( x - y ) ] - ( m - 3 ) f ( x ) = 2 m ( f ( x + y ) + f ( - y ) ) ,
(2.18)
( m - 1 ) [ f ( 2 y + x ) + f ( y - x ) ] - ( m - 3 ) f ( y ) =  2 m ( f ( x + y ) + f ( - x ) ) .
(2.19)
Adding both sides of (2.18) and (2.19) and using (2.15), we get
( m - 1 ) [ f ( 2 x + y ) + f ( 2 y + x ) ] + ( m + 3 ) [ f ( x ) + f ( y ) ] = 4 m f ( x + y ) .
(2.20)

Comparing (2.20) and (2.14), we obtain f(x + y) = f(x) + f(y) for all x, y V. So, if a mapping f satisfying (1.4) it must be additive. Conversely, let f: V → W be additive, it is clear that f satisfying (1.4) and the proof is complete. In this section we investigate the fuzzy stability of Jordan homomorphisms.

Theorem 2.2. Suppose (A, N) and (B, N) are two fuzzy Banach algebras and (C, N') be a fuzzy normed space. Let φ: A m → C be a function such that for some 0 < α < m,
N ( φ ( a 1 , , a m ) , t ) N α φ a 1 m , , a m m , t
(2.21)
for all a1 , . . . , a m A and all t > 0. If f: A → B is a mapping such that
N i = 1 m f ( a i ) - i = 1 m f m a i + j = 1 , j i m a j + f i = 1 m a j 2 m , t N ( φ ( a 1 , , a m ) , t )
(2.22)
and
N ( f ( a 2 ) - f ( a ) 2 , s ) N ( φ ( a , , a ) , s )
(2.23)
for all a1, . . . , a m A and all t, s > 0. Then there exists a unique Jordan homomorphism h: A → B such that
N ( f ( a ) - h ( a ) , t ) N ( φ ( a , 0 , , 0 ) , ( m - α ) t )
(2.24)

where a A and t > 0.

Proof. Letting a1 = a and a2 = ··· = a m = 0 in (2.22), we obtain
N ( m - 1 f ( m a ) - f ( a ) , m - 1 t ) N ( φ ( a , 0 , , 0 ) , t )
(2.25)
for all a A and all t > 0. Replacing a by m j a in (2.25), we have
N ( m - j - 1 f ( m j + 1 a ) - m - j f ( m j a ) , m - j - 1 t ) N ( φ ( m j a , 0 , , 0 ) , t ) N ( φ ( a , 0 , , 0 ) , α - j t )
(2.26)
for all a A, all t > 0 and any integer j ≥ 0. So
N f ( x ) - m - n f ( m n a ) , j = 0 n - 1 m - j - 1 α j t = N j = 0 n - 1 [ m - j - 1 ( m j + 1 a ) - m - j f ( m j a ) ] , j = 0 n - 1 m - j - 1 α j t min 0 j n - 1 { N ( m - j - 1 f ( m j + 1 a ) - m - j f ( m j a ) , m - j - 1 α j t ) } N ( φ ( a , 0 , , 0 ) , t )
(2.27)
which yields
N m - n - p f ( m n + p a ) - m - p f ( m p a ) , j = 0 n - 1 m - j - p - 1 α j t N ( φ ( m p a , 0 , , 0 ) , t ) N ( φ ( a , 0 , , 0 ) , α - p t )
for all a A, t > 0 and any integers n > 0, p ≥ 0. So
N m - n - p f ( m n + p a ) - m - p f ( m p a ) , j = 0 n - 1 m - j - p - 1 α j + p t N ( φ ( a , 0 , , 0 ) , t )
for all a A, t > 0 and any integers n > 0, p ≥ 0. Hence one obtains
N ( m - n - p f ( m n + p a ) - m - p f ( m p a ) , t ) N φ ( a , 0 , , 0 ) , t j = 0 n - 1 m - j - p - 1 α j + p
(2.28)
for all x X, t > 0 and any integers n > 0, p ≥ 0. Since, the series j = 0 + m - j α j is convergent series, we see by taking the limit p → ∞ in the last inequality that a sequence f ( m n a ) m n is a Cauchy sequence in the fuzzy Banach algebra (B, N) and so it converges in B. Therefore a mapping h: A → B defined by h ( a ) : = N - lim n f ( m n a ) m n is well defined for all a A. It means that
lim n N ( h ( a ) - m - n f ( m n a ) , t ) = 1
(2.29)
for all a A and all t > 0. In addition, it follows from (2.28) that
N ( f ( x ) - m - n f ( m n a ) , t ) N j = 0 n - 1 m - j - 1 α j φ ( a , 0 , , 0 ) , t = N φ ( a , 0 , , 0 ) , t j = 0 n - 1 m - j - 1 α j
for all a A and all t > 0. So
N ( f ( a ) - h ( a ) , t ) min { N ( f ( a ) - m - n f ( m n a ) , ( 1 - ϵ ) t ) , N ( h ( a ) - m - n f ( m n a ) , ϵ t ) } N j = 0 n - 1 m - j - 1 α j φ ( a , 0 , , 0 ) , t = N φ ( a , 0 , , 0 ) , t j = 0 n - 1 m - j - 1 α j N ( φ ( a , 0 , , 0 ) , ( m - α ) ϵ t )
for sufficiently large n and for all a A, t > 0 and ε with 0 < ε < 1. Since ε is arbitrary and N' is left continuous, we obtain N(f(a) - h(a), t) ≥ N' (φ(a, 0, . . . , 0), (m - α)t) for all a A and t > 0. It follows from (2.21) and (2.22) that
N 1 m n i = 1 m f ( m n a i ) - i = 1 m f m n + 1 a i + j = 1 , j i m m n a j + f i = 1 m m n a i 2 m n + 1 , t N ( φ ( m n a 1 , , m n a m ) , m n t ) N ( φ ( a 1 , , a m ) , m n α - n t )
for all a1, . . . , a m A, t > 0 and all n . Since limnN' (φ(a1, . . . , a m ), m n α -n t) = 1 and so
N 1 m n i = 1 m f ( m n a i ) - i = 1 m f m n + 1 a i + j = 1 , j i m m n a j + f i = 1 m m n a i 2 m n + 1 , t 1
for all a1, . . . , a m A and all t > 0. Therefore, we obtain in view of (2.29)
N i = 1 m h ( a i ) - i = 1 m h m a i + j = 1 , j i m a j + h i = 1 m a i 2 m , t min N i = 1 m h ( a i ) - i = 1 m h m a i + j = 1 , j i m a j + h i = 1 m a i 2 m - 1 m n i = 1 m f m n a i - i = 1 m f m n + 1 a i + j = 1 , j i m m n a j + f i = 1 m m n a i 2 m n + 1 , t 2 , N 1 m n i = 1 m f m n a i - i = 1 m f m n + 1 a i + j = 1 , j i m m n a j + f i = 1 m m n a i 2 m n + 1 , t 2 = N 1 m n i = 1 m f m n a i - i = 1 m f m n + 1 a i + j = 1 , j i m m n a j + f i = 1 m m n a i 2 m n + 1 , t 2 N φ ( a 1 , , a m ) , m n α - n t 2 1 as n

which implies i = 1 m h ( a i ) = i = 1 m h m a i + j = 1 , j i m a j + h i = 1 m a i 2 m for all a1, . . . , a m A. Thus h: A → B is a mapping satisfying the Equation (1.4) and the inequality (2.24). To prove the uniqueness, let there is another mapping k: A → B which satisfies the inequality (2.24).

Then, for all a A, we have
N ( h ( a ) - k ( a ) , t ) = N ( m - n h ( m n a ) - m - n k ( m n a ) , t ) min N m - n h ( m n a ) - m - n f ( m n a ) , t 2 , N m - n f ( m n a ) - m - n k ( m n a ) , t 2 N φ ( m n a , 0 , , 0 ) , m n ( m - α ) t 2 N φ ( a , 0 , , 0 ) , m n ( m - α ) t 2 α n 1 as  n
for all t > 0. Therefore h(a) = k(a) for all a A. Now we only need to show that h(a2) = h(a)2 for all a A. It follows from (2.24) that
N ( f ( m n a ) - h ( m n a ) , t ) N φ ( m n a , 0 , , 0 ) m - α , t N φ ( a , 0 , , 0 ) , ( m - α ) t α n
for all a A and all t > 0. Thus N m - n f m n a - m - n h m n a , m - n t N φ ( a , 0 , , 0 ) , ( m - α ) t α n for all a A and all t > 0. By the additivity of h it is easy to see that
N ( m - n f ( m n a ) - h ( a ) , t ) N φ ( a , 0 , , 0 ) , m n ( m - α ) t α n
(2.30)
for all a A and all t > 0. Letting n to infinity in (2.30) and using (N5), we see that
h ( a ) = N - lim n m - n f ( m n a ) , and h ( a 2 ) = N - lim n m - 2 n f ( m 2 n a 2 )
(2.31)
for all a A. Using inequality (2.23), we get
N ( f ( m 2 n a 2 ) - f ( m n a ) 2 , s ) N ( φ ( m n a , , m n a ) , s ) N ( α n φ ( a , , a ) , s )
for all a A and all s > 0. Thus
N f ( m 2 n a 2 ) - f ( m n a ) 2 m 2 n , s N φ ( a , , a ) , m 2 n s α n
(2.32)
for all a, b A and all s > 0. Letting n to infinity in (2.32) and using (N5), we see that
N - lim n f ( m 2 n a 2 ) - f ( m n a ) 2 m 2 n = 0 .
(2.33)
Applying (2.31) and (2.33), we have
h ( a 2 ) = N - lim n f ( m 2 n a 2 ) - f ( m n a ) 2 m 2 n = N - lim n f ( m 2 n a 2 ) - f ( m 2 n a 2 ) + f ( m n a ) 2 m 2 n = N - lim n f ( m n a ) 2 m 2 n = N - lim n f ( m n a ) m n 2 = h ( a ) 2
for all a A. To prove the uniqueness of h, assume that h' is another Jordan homomorphism satisfying (2.24). Since both h and h' are additive, we deduce that
N ( h ( a ) - h ( a ) , t ) = N ( h ( m n a ) - h ( m n a ) , m n t ) N φ ( m n a , 0 , , 0 ) m - α , m n t 2 N φ ( a , 0 , , 0 ) , m n ( m - α ) t 2 α n

for all a A and all t > 0. Letting n to infinity, we infer that N(h(a) - h'(a), t) = 1 for all a A and all t > 0. Hence (N2) implies that h(a) = h'(a) for all a A. □

Corollary 2.3. Suppose (A, N) and (B, N) are two fuzzy Banach algebras and (C, N') be a fuzzy normed space. If f: A → B is a mapping such that
N i = 1 m f ( a i ) - i = 1 m f m a i + j = 1 , j i m a j + f ( i = 1 m a i ) 2 m , t N θ i = 1 n a i r , t
(2.34)
and
N ( f ( a 2 ) - f ( a ) 2 , s ) N ( n θ a r , s )
(2.35)
for all a1, . . . , a n , a A and all t, s > 0. Then there exists a unique Jordan homomorphism h: A → B such that
N ( f ( a ) - h ( a ) , t ) N ( θ a r , ( m - 1 ) t )
(2.36)

where a A and t > 0.

Proof. Letting φ ( a 1 , , a n ) = θ i = 1 n a i r and α = 1. Applying Theorem 2.2, we obtain the desired results. □

3. Fuzzy stability of Jordan derivations

In this section we prove the stability of Jordan derivations on fuzzy Banach algebras.

Theorem 3.1. Let (A, N) be a fuzzy Banach algebra and (B, N') be a fuzzy normed space.

Let φ: A m → B be a function such that for some 0 < α < m,
N ( φ ( a 1 , , a m ) , t ) N α φ a 1 m , , a m m , t
(3.1)
for all a, b A and all t > 0. Suppose that f: A → A is a function such that
N i = 1 m f ( a i ) - i = 1 m f m a i + j = 1 , j i m a j + f ( i = 1 m a i ) 2 m , t N ( φ ( a 1 , , a m ) , t )
(3.2)
and
N ( f ( a 2 ) - a f ( a ) - f ( a ) a , s ) N ( φ ( a , , a ) , s )
(3.3)
for all a, b A and all t, s > 0. Then there exists a unique Jordan derivation d: A → A such that
N ( f ( a ) - d ( a ) , t ) N φ ( a , 0 , , a ) , ( m - α ) t
(3.4)

where a A and t > 0.

Proof. Proceeding as in the proof of Theorem 2.2, we find that there exists an additive function d: A → A satisfying (3.4). Now we only need to show that d satisfies d(a2) = ad(a) + d(a)a for all a A. The inequalities (3.1) and (3.4) imply that
N ( f ( m n a ) - d ( m n a ) , t ) N φ ( m n a , 0 , , 0 ) m - α , t N φ ( a , 0 , , 0 ) , ( m - α ) t α n
for all a A and all t > 0. Thus
N ( m - n f ( m n a ) - m - n d ( m n a ) , m - n t ) N φ ( a , 0 , , 0 ) , ( m - α ) t α n
for all a A and all t > 0. By the additivity of d it is easy to see that
N ( m - n f ( m n a ) - d ( a ) , t ) N φ ( a , 0 , , 0 ) , m n ( m - α ) t α n
(3.5)
for all a A and all t > 0. Letting n to infinity in (3.5) and using (N5), we get
d ( a ) = N - lim n m - n f ( m n a ) and d ( a 2 ) = N - lim n m - 2 n f ( m 2 n a 2 )
(3.6)
for all a A. Using (3.1) and (3.3), we get
N f ( m 2 n a 2 ) - ( m n a ) f ( m n a ) - f ( m n a ) ( m n a ) , s N ( φ ( m n a , 0 , , 0 ) , s ) N φ ( a , 0 , , 0 ) , s α n
(3.7)
for all a A and all s > 0. Let g: A × A → A be a function defined by g(a, a) = f(a2) - af(a) - f(a)a for all a A. Hence, (3.7) implies that
N - lim n m - n g ( m n a , m n a ) = 0 , and N - lim n m - 2 n g ( m n a , m n a ) = 0
(3.8)
for all a A. Since (A, N) is a fuzzy Banach algebra, applying (3.6) and (3.8), we get
d ( a 2 ) = N - lim n m - 2 n f ( m 2 n a 2 ) = N - lim n a m - n f ( m n a ) + m - n f ( m n a ) a + m - 2 n g ( m n a , m n a ) = a N - lim n m - n f ( m n a ) + N - lim n m - n f ( m n a ) a + N - lim n m - 2 n g ( m n a , m n a ) = a d ( a ) + d ( a ) a .
for all a A. To prove the uniqueness property of d, assume that d' is another Jordan derivation satisfying (3.4). Since both d and d' are additive we deduce that
N ( d ( a ) - d ( a ) , t ) = N ( d ( m n a ) - d ( m n a ) , m n t ) N φ ( m n a , 0 , , 0 ) , m n ( m - α ) t 2 N φ ( a , 0 , , 0 ) , m n ( m - α ) t 2 α n

for all a A and all t > 0. Letting n to infinity in the above inequality, we get N(d(a) - d'(a), t) = 1 for all a A and all t > 0. Hence d(a) = d'(a) for all a A. □

Corollary 3.2. Suppose (A, N) and (B, N) are two fuzzy Banach algebras and (C, N') be a fuzzy normed space. If f: A → B is a mapping such that
N i = 1 m f ( a i ) - i = 1 m f m a i + j = 1 , j i m a j + f ( i = 1 m a i ) 2 m , t N θ i = 1 n a i r , t
(3.9)
and
N ( f ( a 2 ) - f ( a ) 2 , s ) N ( n θ a r , s )
(3.10)
for all a1, . . . , a n , a A and all t, s > 0. Then there exists a unique Jordan homomorphism h: A → B such that
N ( f ( a ) - h ( a ) , t ) N θ a r , ( m 2 - 1 ) t m
(3.11)

where a A and t > 0.

Proof. Letting φ ( a 1 , , a n ) = θ i = 1 n a i r and α = 1 m . Applying Theorem 3.1, we get the desired results. □

4. Conclusion

We establish the generalized Hyers-Ulam stability of Jordan homomorphisms and Jordan derivations on fuzzy Banach algebras. We show that every approximately Jordan homomorphism (Jordan derivation) is near to an exact Jordan homomorphism (Jordan derivation).

Declarations

Acknowledgements

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

Authors’ Affiliations

(1)
Department of Mathematics, Yasouj University, Yasouj, 75914-353, Iran
(2)
Department of mathematics, Islamic Azad University, Bushehr Branch, Bushehr, Iran
(3)
Department of Mathematics, Semnan University, P. O. Box 35195-363, Semnan, Iran
(4)
Department of Mathematics, College of Natural Science, University of Seoul, Seoul, 130-743, Korea

References

  1. Ulam SM: A Collection of the Mathematical Problems. Interscience Publ., New York; 1960.Google Scholar
  2. Hyers DH: On the stability of the linear functional equation. Proc Natl Acad Sci 1941, 27: 222–224. 10.1073/pnas.27.4.222MathSciNetView ArticleMATHGoogle Scholar
  3. Rassias ThM: 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
  4. Gajda Z: On stability of additive mappings. Int J Math Math Sci 1991, 14: 431–434. 10.1155/S016117129100056XMathSciNetView ArticleMATHGoogle Scholar
  5. Bag T, Samanta SK: Finite dimensional fuzzy normed linear spaces. J Fuzzy Math 2003, 11(3):687–705.MathSciNetMATHGoogle Scholar
  6. Eshaghi Gordji M, Khodaei H: The fixed point method for fuzzy approximation of a functional equation associated with inner product spaces. Discr Dyn Nature Soc 2010, 2010: 15. (Article ID 140767). doi:10.1155/2010/140767MathSciNetMATHGoogle Scholar
  7. Ghobadipour N, Park C: Cubic-quartic functional equations in fuzzy normed spaces. Int J Nonlinear Anal Appl 2010, 1: 12–21.MATHGoogle Scholar
  8. Khodaei H, Kamyar M: Fuzzy approximately additive mappings. Int J Nonlinear Anal Appl 2010, 1(2):44–53.MATHGoogle Scholar
  9. Shakeri S, Saadati R, Park C: Stability of the quadratic functional equation in non-Archimedean -fuzzy normed spaces. Int J Nonlinear Anal Appl 2010, 1(2):72–83.MATHGoogle Scholar
  10. Bavand Savadkouhi M, Gordji ME, Rassias JM, Ghobadipour N: Approximate ternary Jordan derivations on Banach ternary algebras. J Math Phys 2009, 50: 042303. 10.1063/1.3093269MathSciNetView ArticleMATHGoogle Scholar
  11. 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
  12. Ebadian A, Ghobadipour N, Gordji ME: A fixed point method for perturbation of bimultipliers and Jordan bimultipliers in C * - ternary algebras. J Math Phys 2010, 51(1):10. doi:10.1063/1.3496391MathSciNetMATHGoogle Scholar
  13. Eshaghi Gordji M, Ghaemi MB, Kaboli Gharetapeh S, Shams S, Ebadian A: On the stability of J * - derivations. J Geom Phys 2010, 60(3):454–459. 10.1016/j.geomphys.2009.11.004MathSciNetView ArticleMATHGoogle Scholar
  14. Eshaghi Gordji M, Kaboli Gharetapeh S, Karimi T, Rashidi E, Aghaei M: Ternary Jordan derivations on C * - ternary algebras. J Comput Anal Appl 2010, 12(2):463–470.MathSciNetMATHGoogle Scholar
  15. Eshaghi Gordji M, Karimi T, Kaboli Gharetapeh S: Approximately n -Jordan homomorphisms on Banach algebras. J Ineq Appl 2009, 2009: 8. (Article ID 870843)MathSciNetMATHGoogle Scholar
  16. 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.012MathSciNetView ArticleMATHGoogle Scholar
  17. Eshaghi Gordji M, Rassias JM, Ghobadipour N: Generalized Hyers-Ulam stability of the generalized ( n , k )-derivations. Abstr Appl Anal 2009, 2009: 8. (Article ID 437931)MathSciNetMATHGoogle Scholar
  18. Farokhzad R, Hosseinioun SAR: Perturbations of Jordan higher derivations in Banach ternary algebras: an alternative fixed point approach. Int J Nonlinear Anal Appl 2010, 1(1):42–53.MATHGoogle Scholar
  19. Najati A, Kang JI, Cho YJ: Local stability of the pexiderized Cauchy and Jensen's equations in fuzzy Spaces. J Inequal Appl 2011, 2011: 78. 10.1186/1029-242X-2011-78MathSciNetView ArticleMATHGoogle Scholar
  20. Park C, Eshaghi Gordji M: Comment on "Approximate ternary Jordan derivations on Banach ternary algebras". J Math Phys 2010, 51: 044102. doi:10.1063/1.3299295. [Bavand Savadkouhi et al. J. Math. Phys. 50, 042303 (2009)] 10.1063/1.3299295MathSciNetView ArticleMATHGoogle Scholar
  21. Park C, Najati A: Generalized additive functional inequalities in Banach algebras. Int J Nonlinear Anal Appl 2010, 1(2):54–62.MATHGoogle Scholar
  22. Rassias ThM: Functional Equations, Inequalities and Applications. Kluwer Academic Publishers Company, Dordrecht; 2003.View ArticleGoogle Scholar
  23. Rassias ThM: Problem 16;2, Report of the 27th international symp. on functional equations Aequations Math 1990, 39: 292–293.Google Scholar
  24. Rassias ThM: On the stability of the quadratic functional equation and its applications. Studia Univ Babes-Bolyai 1998, XLIII: 89–124.MathSciNetMATHGoogle Scholar
  25. Rassias ThM: The problem of S.M. Ulam for approximately multiplicative mappings. J Math Anal Appl 2000, 246: 352–378. 10.1006/jmaa.2000.6788MathSciNetView ArticleMATHGoogle Scholar
  26. Rassias ThM: On the stability of functional equations in Banach spaces. J Math Anal Appl 2000, 251: 264–284. 10.1006/jmaa.2000.7046MathSciNetView ArticleMATHGoogle Scholar
  27. Rassias ThM, Semrl 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-1MathSciNetView ArticleMATHGoogle Scholar
  28. Rassias ThM, Semrl P: On the Hyers-Ulam stability of linear mappings. J Math Anal Appl 1993, 173: 325–338. 10.1006/jmaa.1993.1070MathSciNetView ArticleMATHGoogle Scholar
  29. Saadati R, Cho YJ, 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.034MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Kenary 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.

Advertisement