On the Stability of Quadratic Double Centralizers and Quadratic Multipliers: A Fixed Point Approach

We prove the superstability of quadratic double centralizers and of quadratic multipliers on Banach algebras by fixed point methods. These results show that we can remove the conditions of being weakly commutative and weakly without order which are used in the work of M. E. Gordji et al. (2011) for Banach algebras.

In 1940, Ulam [1] raised the following question concerning stability of group homomorphisms: under what condition does there exist an additive mapping near an approximately additive mapping? Hyers [2] answered the problem of Ulam for Banach spaces. He showed that for two Banach spaces and , if and such that

for all , then there exist a unique additive mapping such that

The work has been extended to quadratic functional equations. Consider to be a mapping such that is continuous in , for all . Assume that there exist constants and such that

Th. M. Rassias in [3] showed with the above conditions for , there exists a unique -linear mapping such that

Găvruţa then generalized the Rassias's result in [4].

A square norm on an inner product space satisfies the important parallelogram equality

Recall that the functional equation

is called quadratic functional equation. In addition, every solution of functional eqaution (1.6) is said to be a quadratic mapping. A Hyers-Ulam stability problem for the quadratic functional equation was proved by Skof [5] for mappings , where is a normed space and is a Banach space. Cholewa [6] noticed that the theorem of Skof is still true if the relevant domain is replaced by an abelian group. Indeed, Czerwik in [7] proved the Cauchy-Rassias stability of the quadratic functional equation. Since then, the stability problems of various functional equation have been extensively investigated by a number of authors (e.g, [8–13]).

One should remember that the functional equation is called stable if any approximately solution to the functional equation is near to a true solution of that functional equation, and is supersuperstable if every approximately solution is an exact solution of it (see [14]). Recently, the first and third authors in [15] investigated the stability of quadratic double centralizer: the maps which are quadratic and double centralizer. Later, Eshaghi Gordji et al. introduced a new concept of the quadratic double centralizer and the quadratic multipliers in [16], and established the stability of quadratic double centralizer and quadratic multipliers on Banach algebras. They also established the superstability for those which are weakly commutative and weakly without order. In this paper, we show that the hypothesis on Banach algebras being weakly commutative and weakly without order in [16] can be eliminated, and prove the superstability of quadratic double centralizers and quadratic multipliers on a Banach algebra by a method of fixed point.

A linear mapping is said to be left centralizer on if , for all . Similarly, a linear mapping satisfying , for all is called right centralizer on . A double centralizer on is a pair , where is a left centralizer, is a right centralizer and , for all . An operator is said to be a multiplier if , for all .

Throughout this paper, let be a complex Banach algebra. Recall that a mapping is a quadratic left centralizer if is a quadratic homogeneous mapping, that is is quadratic and , for all and , and , for all . A mapping is a quadratic right centralizer if is a quadratic homogeneous mapping and , for all . Also, a quadratic double centralizer of an algebra is a pair where is a quadratic left centralizer, is a quadratic right centralizer and , for all (see [16] for details).

It is proven in [8]; that for the vector spaces and and the fixed positive integer , the map is quadratic if and only if the following equality holds:

We thus can show that is quadratic if and only if for a fixed positive integer , the following equality holds:

Before proceeding to the main results, we will state the following theorem which is useful to our purpose.

Theorem 2.1 (The alternative of fixed point [17]).

Suppose that we are given a complete generalized metric space and a strictly contractive mapping with Lipschitz constant . Then for each given , either , for all , or else exists a natural number such that

(1), for all ,

(2)the sequence is convergent to a fixed point of ,

(3) is the unique fixed point of in the set ,

(4), for all .

Theorem 2.2.

Let be continuous mappings with (), and let be continuous in the first and second variables such that

for all and, for all . If there exists a constant , such that

for all , then there exists a unique double quadratic centralizer on satisfying

for all .

Proof.

From (2.4), it follows that

for all . Putting and replacing by in (2.3), we get

for all . By the above inequality, we have

for all . Consider the set and introduce the generalized metric on :

It is easy to show that is complete. Now, we define the linear mapping by

for all . Given , let be an arbitrary constant with , that is

for all . Substituting by in the inequality (2.12) and using (2.4) and (2.11), we have

for all . Hence, . Therefore, we conclude that , for all . It follows from (2.9) that

By Theorem 2.1, has a unique fixed point in the set . On the other hand,

for all . By Theorem 2.1 and (2.14), we obtain

that is, the inequality (2.5) is true, for all . Now, substitute and by and respectively, put and in (2.15). Dividing both sides of the resulting inequality by , and letting goes to infinity, it follows from (2.7) and (2.3) that

for all and . Putting in (2.17) we have

for all . Hence is a quadratic mapping.

Letting in (2.17), we get , for all and . We can show from (2.18) that for any rational number . It follows from the continuity of and that for each , . So,

for all and . Therefore, is quadratic homogeneous. Putting , in (2.3) and replacing by , we obtain

By (2.7), the right hand side of the above inequality tends to zero as . It follows from (2.15) that , for all . Therefore is a quadratic left centralizer. Also, one can show that there exists a unique mapping which satisfies

for all . The same manner could be used to show that is a quadratic right centralizer. If we substitute and by and in (2.3) respectively, and put , and divide both sides of the obtained inequality by , then we get

Passing to the limit as , and again from (2.7), we conclude that , for all . Therefore is a quadratic double centralizer on . This completes the proof of this theorem.

Now, we establish the superstability of double quadratic centralizers on Banach algebras as follows

Corollary 2.3.

Let with , let be continuous mappings with (), and let

for all and, for all . Then is a double quadratic centralizer on .

Proof.

The result follows from Theorem 2.2 by putting .

Assume that is a complex Banach algebra. Recall that a mapping is a quadratic multiplier if is a quadratic homogeneous mapping, and , for all (see [16]). We investigate the stability of quadratic multipliers.

Theorem 3.1.

Let be a continuous mapping with and let be a function which is continuous in the first and second variables such that

for all and all . Suppose exists a constant , , such that

for all . Then there exists a unique multiplier on satisfying

for all .

Proof.

It follows from (3.2) that

for all . Putting , in (3.1), we obtain

for all . Thus

for all . Now we set and introduce the generalized metric on as

It is easy to show that is complete. Consider the mapping defined by , for all . By the same reasoning as in the proof of Theorem 2.2, is strictly contractive on . It follows from (3.6) that . By Theorem 2.1, has a unique fixed point in the set . Let be the fixed point of . Then is the unique mapping with , for all such that there exists satisfying

for all . On the other hand, we have . Thus

for all . Hence

This implies the inequality (3.3). It follows from (3.1), (3.4) and (3.9) that

for all . Thus

for all and . Letting in (3.14), we have , for all and . Now, it follows from the proof of Theorem 2.1 and continuity of and that is -linear. If we substitute and by and in (3.1), respectively, and put and we divide the both sides of the obtained inequality by , we get

Passing to the limit as , and from (3.4) we conclude that , for all .

Using Theorem 3.1, we establish the superstability of quadratic multipliers on Banach algebras.

Corollary 3.2.

Let with , and be a continuous mapping with , and let

for all and, for all . Then is a quadratic multiplier on .

Proof.

The results follows from Theorem 3.1 by putting .

1. Ulam, SM: Problems in Modern Mathematics, John Wiley & Sons, New York, NY, USA (1940)

2. Hyers, DH: On the stability of the linear functional equation. Proceedings of the National Academy of Sciences of the United States of America. 27, 222–224 (1941). PubMed Abstract | Publisher Full Text | PubMed Central Full Text

3. Rassias, ThM: On the stability of the linear mapping in Banach spaces. Proceedings of the American Mathematical Society. 72(2), 297–300 (1978). Publisher Full Text

4. Găvruţa, P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. Journal of Mathematical Analysis and Applications. 184(3), 431–436 (1994). Publisher Full Text

5. Skof, F: Proprieta' locali e approssimazione di operatori. Rendiconti del Seminario Matematico e Fisico di Milano. 53, 113–129 (1983). Publisher Full Text

6. Cholewa, PW: Remarks on the stability of functional equations. Aequationes Mathematicae. 27(1-2), 76–86 (1984)

7. Czerwik, S: On the stability of the quadratic mapping in normed spaces. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 62, 59–64 (1992). Publisher Full Text

8. Eshaghi Gordji, M, Bodaghi, A: On the Hyers-Ulam-Rassias stability problem for quadratic functional equations. East Journal on Approximations. 16(2), 123–130 (2010)

9. Eshaghi Gordji, M, Moslehian, MS: A trick for investigation of approximate derivations. Mathematical Communications. 15(1), 99–105 (2010)

10. Eshaghi Gordji, M, Rassias, JM, Ghobadipour, N: Generalized Hyers-Ulam stability of generalized -derivations. Abstract and Applied Analysis. 2009, (2009)

11. Eshaghi Gordji, M, Khodaei, H: Solution and stability of generalized mixed type cubic, quadratic and additive functional equation in quasi-Banach spaces. Nonlinear Analysis: Theory, Methods & Applications. 71(11), 5629–5643 (2009). PubMed Abstract | Publisher Full Text

12. Kannappan, P: Quadratic functional equation and inner product spaces. Results in Mathematics. 27(3-4), 368–372 (1995)

13. Lee, JR, An, JS, Park, C: On the stability of quadratic functional equations. Abstract and Applied Analysis. 2008, (2008)

14. Baker, JA: The stability of the cosine equation. Proceedings of the American Mathematical Society. 80(3), 411–416 (1980). Publisher Full Text

15. Eshaghi Gordji, M, Bodaghi, A: On the stability of quadratic double centralizers on Banach algebras. Journal of Computational Analysis and Applications. 13(4), 724–729 (2011)

16. Eshaghi Gordji, M, Ramezani, M, Ebadian, A, Park, C: Quadratic double centralizers and quadratic multipliers. Annali dell'Università di Ferrara. In press

17. Diaz, JB, Margolis, B: A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bulletin of the American Mathematical Society. 74, 305–309 (1968). Publisher Full Text