Abstract
Using fixed point methods, we prove the generalized Hyers-Ulam stability of homomorphisms in -algebras and Lie -algebras and also of derivations on -algebras and Lie -algebras for the Jensen-type functional equation .
1. Introduction and Preliminaries
The stability problem of functional equations originated from a question of Ulam [1] concerning the stability of group homomorphisms. Hyers [2] gave a first affirmative partial answer to the question of Ulam for Banach spaces. Hyers' theorem was generalized by Aoki [3] for additive mappings and by Rassias [4] for linear mappings by considering an unbounded Cauchy difference. The paper of Rassias [4] has provided a lot of influence in the development of what we call generalized Hyers-Ulam stability of functional equations. A generalization of the Rassias theorem was obtained by GΔvruΕ£a [5] by replacing the unbounded Cauchy difference by a general control function in the spirit of Rassias' approach. In 1982, Rassias [6] followed the innovative approach of the Rassias' theorem [4] in which he replaced the factor by for with The stability problems of several functional equations have been extensively investigated by a number of authors and there are many interesting results concerning this problem (see [4, 7β27]).
We recall a fundamental result in fixed point theory.
Let be a set. A function is called a generalized metric on if satisfies
(1) if and only if (2) for all (3) for all
Theorem 1.1 (see [28, 29]). Let be a complete
generalized metric space and let be a strictly
contractive mapping with Lipschitz constant Then for each given element either for all nonnegative integers or there exists
a positive integer such that
(1) for all (2)the sequence converges to a
fixed point of (3) is the unique
fixed point of in the set (4) for all
By the using fixed point method, the stability problems of several functional equations have been extensively investigated by a number of authors (see [17, 30β33]).
This paper is organized as follows: in Sections 2 and 3, using the fixed point method, we prove the generalized Hyers-Ulam stability of homomorphisms in -algebras and of derivations on -algebras for the Jensen-type functional equation.
In Sections 4 and 5, using the fixed point method, we prove the generalized Hyers-Ulam stability of homomorphisms in Lie -algebras and of derivations on Lie -algebras for the Jensen-type functional equation.
2. Stability of Homomorphisms in -Algebras
Throughout this section, assume that is a -algebra with norm and that is a -algebra with norm
For a given mapping we definefor all and all
Note that a -linear mapping is called a homomorphism in -algebras if satisfies and for all
We prove the generalized Hyers-Ulam stability of homomorphisms in -algebras for the functional equation
Theorem 2.1. Let be a mapping
for which there exists a function such
that for all and all If there exists an such that for all then there exists a unique -algebra homomorphism such
that for all Proof. It
follows from thatfor all
Consider the setand introduce the generalized metric on :It is easy to show that is complete.
Now we consider the linear mapping such thatfor all
By [28, Theorem 3.1],for all
Letting and in (2.2), we getfor all Sofor all Hence
By Theorem 1.1, there exists a mapping such that
(1) is a fixed
point of that is,for all The mapping is a unique
fixed point of in the setThis implies that is a unique
mapping satisfying (2.13) such that there
exists satisfyingfor all (2) as This implies the equalityfor all (3) which implies the inequalityThis implies that the
inequality (2.5) holds.
It follows from(2.2),(2.6), and (2.16) thatfor all Sofor all Letting and in (2.19), we getfor all So the mapping is Cauchy
additive, that is, for all
Letting in (2.2), we getfor all and all By a similar method to above, we getfor all and all Thus one can show that the mapping is -linear.
It follows from
(2.3) thatfor all Sofor all
It follows from
(2.4) thatfor all Sofor all
Thus is a -algebra
homomorphism satisfying (2.5), as desired.Corollary 2.2. Let and be nonnegative
real numbers, and let be a mapping
such that for all and all Then there exists a unique -algebra
homomorphism such
that for all Proof. The proof follows from Theorem 2.1
by takingfor all Then and we get the
desired result.
Theorem 2.3. Let be a mapping
for which there exists a function satisfying (2.2),
(2.3), and (2.4). If there exists
an such that for all then there exists a unique -algebra
homomorphism such
that for all Proof. We
consider the linear mapping such thatfor all
It follows from
(2.11) thatfor all Hence
By Theorem 1.1, there exists a mapping such that
(1) is a fixed
point of that is,for all The mapping is a unique
fixed point of in the setThis implies that is a unique
mapping satisfying (2.35) such that
there exists satisfyingfor all (2) as This implies the equalityfor all (3) which implies the inequalitywhich implies that the inequality (2.32) holds.
The rest of the proof is similar to the proof of
Theorem 2.1.Corollary 2.4. Let and be nonnegative
real numbers, and let be a mapping
satisfying (2.27), (2.28) and
(2.29). Then there exists a unique -algebra
homomorphism such
that for all Proof. The
proof follows from Theorem 2.3 by takingfor all Then and we get the
desired result.
Theorem 2.5. Let be an odd
mapping for which there exists a function satisfying (2.2),
(2.3), (2.4) and (2.6). If there exists an such that for all then there exists a unique -algebra
homomorphism such
that for all Proof. Consider
the setand introduce the generalized metric on :It is easy to show that is complete.
Now we consider the linear mapping such thatfor all
By [28, Theorem 3.1],for all
Letting and relpacing by in (2.2), we getfor all Sofor all Hence
By Theorem 1.1, there exists a mapping such that
(1) is a fixed
point of that is,for all The mapping is a unique
fixed point of in the setThis implies that is a unique
mapping satisfying (2.49) such that
there exists satisfyingfor all (2) as This implies the equalityfor all (3) which implies the inequalityThis implies that the inequality(2.42) holds.
The rest of the proof is similar to the proof of
Theorem 2.1.Corollary 2.6. Let and be nonnegative
real numbers, and let be an odd
mapping such that for all and all Then there exists a unique -algebra
homomorphism such
that for all Proof. The
proof follows from Theorem 2.5 by takingfor all Then and we get the
desired result.
Theorem 2.7. Let be an odd
mapping for which there exists a function satisfying (2.2),
(2.3) and (2.4). If there exists
an such that for all then there exists a unique -algebra
homomorphism such
that for all Proof. We
consider the linear mapping such thatfor all
It follows from
(2.47) thatfor all Hence
By Theorem 1.1, there exists a mapping such that
(1) is a fixed
point of that is,for all The mapping is a unique
fixed point of in the setThis implies that is a unique
mapping satisfying (2.60) such that
there exists satisfyingfor all (2) as This implies the equalityfor all (3) which implies the inequalitywhich implies that the
inequality (2.57) holds.
The rest of the proof is similar to the proof of
Theorem 2.1.Corollary 2.8. Let and be nonnegative
real numbers, and let be an odd
mapping satisfying (2.54). Then there exists a unique -algebra
homomorphism such
that for all Proof. The
proof follows from Theorem 2.7 by takingfor all Then and we get the
desired result.
3. Stability of Derivations on -Algebras
Throughout this section, assume that is a -algebra with norm
Note that a -linear mapping is called a derivation on if satisfies for all
We prove the generalized Hyers-Ulam stability of derivations on -algebras for the functional equation
Theorem 3.1. Let be a mapping
for which there exists a function such
that for all and all If there exists an such that for all Then there exists a unique derivation such
that for all Proof. By the
same reasoning as the proof of Theorem 2.1, there exists a unique involutive -linear mapping satisfying (3.3). The mapping is given
byfor all
It follows from
(3.2) thatfor all Sofor all Thus is a derivation
satisfying (3.3).Corollary 3.2. Let and be nonnegative
real numbers, and let be a mapping
such that for all and all Then there exists a unique derivation such
that for all Proof. The
proof follows from Theorem 3.1 by takingfor all Then and we get the
desired result.
Theorem 3.3. Let be a mapping for which there exists a function satisfying (3.1) and (3.2). If there exists an such that for all then there exists a unique derivation such that for all Proof. The proof is similar to the proofs of Theorems 2.3 and 3.1.Corollary 3.4. Let and be nonnegative real numbers, and let be a mapping satisfying (3.7) and (3.8). Then there exists a unique derivation such that for all Proof. The proof follows from Theorem 3.3 by takingfor all Then and we get the desired result.Remark 3.5. For inequalities controlled by the product of powers of norms, one can obtain similar results to Theorems 2.5 and 2.7 and Corollaries 2.6 and 2.8.
4. Stability of Homomorphisms in Lie -Algebras
A -algebra endowed with the Lie product on is called a Lie -algebra (see [13β15]).
Definition 4.1. Let and be Lie -algebras. A -linear mapping is called a Lie -algebra homomorphism if for all
Throughout this section, assume that is a Lie -algebra with norm and that is a Lie -algebra with norm
We prove the generalized Hyers-Ulam stability of homomorphisms in Lie -algebras for the functional equation
Theorem 4.2. Let be a mapping
for which there exists a function satisfying (2.2) such that for all If there exists an such that for all then there exists a unique Lie -algebra
homomorphism satisfying (2.5).Proof. By the same reasoning as the proof
of Theorem 2.1, there exists a unique -linear mapping satisfying (2.5). The mapping is given
byfor all
It follows from
(4.1) thatfor all Sofor all
Thus is a Lie -algebra
homomorphism satisfying (2.5), as
desired.Corollary 4.3. Let and be nonnegative
real numbers, and let be a mapping
satisfying (2.27) such
that for all Then there exists a unique Lie -algebra
homomorphism satisfying (2.30).Proof. The
proof follows from Theorem 4.2 by takingfor all Then and we get the
desired result.
Theorem 4.4. Let be a mapping for which there exists a function satisfying (2.2) and (4.1). If there exists an such that for all then there exists a unique Lie -algebra homomorphism satisfying (2.32).Proof. The proof is similar to the proofs of Theorems 2.3 and 4.2.Corollary 4.5. Let and be nonnegative real numbers, and let be a mapping satisfying (2.27) and (4.5). Then there exists a unique Lie -algebra homomorphism satisfying (2.40).Proof. The proof follows from Theorem 4.4 by takingfor all Then and we get the desired result.Remark 4.6. For inequalities controlled by the product of powers of norms, one can obtain similar results to Theorems 2.5 and 2.7 and Corollaries 2.6 and 2.8.
5. Stability of Lie Derivations on -Algebras
Definition 5.1. Let be a Lie -algebra. A -linear mapping is called a Lie derivation if for all
Throughout this section, assume that is a Lie -algebra with norm
We prove the generalized Hyers-Ulam stability of derivations on Lie -algebras for the functional equation
Theorem 5.2. Let be a mapping
for which there exists a function satisfying (3.1) such that for all If there exists an such that for all Then there exists a unique Lie derivation satisfying (3.3).Proof. By the same reasoning as the proof
of Theorem 2.1, there exists a unique involutive -linear mapping satisfying (3.3). The mapping is given
byfor all
It follows from
(5.1) thatfor all Sofor all Thus is a derivation
satisfying (3.3).Corollary 5.3. Let and be nonnegative
real numbers, and let be a mapping
satisfying (3.7) such
that for all Then there exists a unique Lie derivation satisfying (3.9).Proof. The
proof follows from Theorem 5.2 by takingfor all Then and we get the
desired result.
Theorem 5.4. Let be a mapping for which there exists a function satisfying (3.1) and (5.1). If there exists an such that for all then there exists a unique Lie derivation satisfying (3.11).Proof. The proof is similar to the proofs of Theorems 2.3 and 5.2.Corollary 5.5. Let and be nonnegative real numbers, and let be a mapping satisfying (3.7) and (5.5). Then there exists a unique Lie derivation satisfying (3.12).Proof. The proof follows from Theorem 5.4 by takingfor all Then and we get the desired result.Remark 5.6. For inequalities controlled by the product of powers of norms, one can obtain similar results to Theorems 2.5 and 2.7 and Corollaries 2.6 and 2.8.
Acknowledgment
The first author was supported by the R & E program of KOSEF in 2008.