Table of Contents Author Guidelines Submit a Manuscript
Abstract and Applied Analysis
Volume 2009, Article ID 907121, 11 pages
http://dx.doi.org/10.1155/2009/907121
Research Article

Functional Equations Related to Inner Product Spaces

1Department of Mathematics, Hanyang University, Seoul 133-791, South Korea
2National Institute for Mathematical Sciences, Daejeon 305-340, South Korea
3Department of Mathematics, Faculty of Sciences, University of Mohaghegh Ardabili, Ardabil 51664, Iran

Received 23 March 2009; Accepted 25 May 2009

Academic Editor: John Rassias

Copyright © 2009 Choonkil Park et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Let be real vector spaces. It is shown that an odd mapping satisfies for all if and only if the odd mapping is Cauchy additive. Furthermore, we prove the generalized Hyers-Ulam stability of the above functional equation in real Banach spaces.

1. Introduction

The stability problem of functional equations originated from a question of Ulam [1] concerning the stability of group homomorphisms. Hyers [2] gave the first affirmative partial answer to the question of Ulam for Banach spaces. Hyers' Theorem was generalized by Aoki [3] for additive mappings and by Th. M. Rassias [4] for linear mappings by considering an unbounded Cauchy difference. The paper of Th. M. 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 Th. M. Rassias' theorem was obtained by G vruta [5] by replacing the unbounded Cauchy difference by a general control function.

The functional equation, is called a quadratic functional equation . In particular, every solution of the quadratic functional equation is said to be a quadratic mapping . A generalized Hyers-Ulam stability problem for the quadratic functional equation was proved by Skof [6] for mappings , where is a normed space and is a Banach space. Cholewa [7] noticed that the theorem of Skof is still true if the relevant domain is replaced by an Abelian group. The generalized Hyers-Ulam stability of the quadratic functional equation has been proved by Czerwik [8], J. M. Rassias [9], G vruta [10], and others [11]. In [12], Th. M. Rassias proved that the norm defined over a real vector space is induced by an inner product if and only if for a fixed integer holds for all An operator extension of this norm equality is presented in [13]. For more information on the recent results on the stability of quadratic functional equation, see [14]. Inner product spaces, Cauchy equation, Euler-Lagrange-Rassias equations, and Ulam-G vruta-Rassias stability have been studied by several authors (see [1527]).

In [28], C. Park, Lee, and Shin proved that if an even mapping satisfies

then the even mapping is quadratic. Moreover, they proved the generalized Hyers-Ulam stability of the quadratic functional equation (1.3) in real Banach spaces.

Throughout this paper, assume that is a fixed positive integer, and are real normed vector spaces.

In this paper, we investigate the functional equation and prove the generalized Hyers-Ulam stability of the functional equation (1.4) in real Banach spaces.

2. Functional Equations Related to Inner Product Spaces

We investigate the functional equation (1.4).

Lemma 2.1. Let and be real vector spaces. An odd mapping satisfies for all if and only if the odd mapping is Cauchy additive, that is, for all .

Proof. Assume that satisfies (2.1).
Letting , in (2.1), we get
for all . Since is odd, for all and . So for all . Letting in (2.5), we get for all . Thus for all .
It is easy to prove the converse.

For a given mapping , we define for all .

We are going to prove the generalized Hyers-Ulam stability of the functional equation in real Banach spaces.Theorem 2.2. Let be a mapping satisfying for which there exists a function such that for all . Then there exists a unique Cauchy additive mapping satisfying (2.1) such that

for all .

Proof. Letting and in (2.9), we get for all . Replacing by in (2.11), we get for all . Let for all . It follows from (2.11) and (2.12) that for all . So for all . Hence for all nonnegative integers and with and all . It follows from (2.8) and (2.15) that the sequence is Cauchy for all . Since is complete, the sequence converges. So one can define the mapping by for all .
By (2.8) and (2.9),
for all . So . By Lemma 2.1, the mapping is Cauchy additive. Moreover, letting and passing the limit in (2.15), we get (2.10). So there exists a Cauchy additive mapping satisfying (2.1) and (2.10).
Now, let be another Cauchy additive mapping satisfying (2.1) and (2.10). Then we have
which tends to zero as for all . So we can conclude that for all . This proves the uniqueness of .
Corollary 2.3. Let and be positive real numbers, and let be a mapping such that for all . Then there exists a unique Cauchy additive mapping satisfying (2.1) such that for all .Proof. Define , and apply Theorem 2.2 to get the desired result.Corollary 2.4. Let be an odd mapping for which there exists a function satisfying (2.8) and (2.9). Then there exists a unique Cauchy additive mapping satisfying (2.1) such that or (alternative approximation) for all , where is defined in (2.8).Theorem 2.5. Let be a mapping satisfying for which there exists a function satisfying (2.9) such that for all . Then there exists a unique Cauchy additive mapping satisfying (2.1) such that for all .

Proof. It follows from (2.13) that for all . So for all nonnegative integers and with and all . It follows from (2.23) and (2.26) that the sequence is Cauchy for all . Since is complete, the sequence converges. So one can define the mapping by for all .
By (2.9) and (2.23),
for all . So . By Lemma 2.1, the mapping is Cauchy additive. Moreover, letting and passing the limit in (2.26), we get (2.24). So there exists a Cauchy additive mapping satisfying (2.1) and (2.24).
The rest of the proof is similar to the proof of Theorem 2.2.

Corollary 2.6. Let and be positive real numbers, and let be a mapping satisfying (2.19). Then there exists a unique Cauchy additive mapping satisfying (2.1) such that for all .Proof. Define , and apply Theorem 2.5 to get the desired result.Corollary 2.7. Let be an odd mapping for which there exists a function satisfying (2.9) and (2.23). Then there exists a unique Cauchy additive mapping satisfying (2.1) such that or (alternative approximation), for all , where is defined in (2.23).The following was proved in [28].Remark 2.8 ([28]). Let be a mapping satisfying for which there exists a function satisfying (2.9) such that for all . Then there exists a unique quadratic mapping satisfying (2.1) such that for all .

Note that Combining Theorem 2.2 and Remark 2.8, we obtain the following result.Theorem 2.9. Let be a mapping satisfying for which there exists a function satisfying (2.9) and (2.32). Then there exist a unique Cauchy additive mapping satisfying (2.1) and a unique quadratic mapping satisfying (2.1) such that for all , where and are defined in (2.8) and (2.32), respectively.Corollary 2.10. Let and be positive real numbers, and let be a mapping satisfying (2.19). Then there exist a unique Cauchy additive mapping satisfying (2.1) and a unique quadratic mapping satisfying (2.1) such that for all .Proof. Define , and apply Theorem 2.9 to get the desired result.The following was proved in [28].Remark 2.11 (see [28]). Let be a mapping satisfying for which there exists a function satisfying (2.9) such that for all . Then there exists a unique quadratic mapping satisfying (2.1) such that for all .

Note that

Combining Theorem 2.5 and Remark 2.11, we obtain the following result.Theorem 2.12. Let be a mapping satisfying for which there exists a function satisfying (2.9) and (2.23). Then there exist a unique Cauchy additive mapping satisfying (2.1) and a unique quadratic mapping satisfying (2.1) such that for all , where and are defined in (2.23) and (2.37), respectively.Corollary 2.13. Let and be positive real numbers, and let be a mapping satisfying (2.19). Then there exist a unique Cauchy additive mapping satisfying (2.1) and a unique quadratic mapping satisfying (2.1) such that for all .Proof. Define , and apply Theorem 2.12 to get the desired result.

Acknowledgment

The first author was supported by National Research Foundation of Korea (NRF-2009-0070788).

References

  1. S. M. Ulam, Problems in Modern Mathematics, John Wiley & Sons, New York, NY, USA, 1960.
  2. D. H. Hyers, “On the stability of the linear functional equation,” Proceedings of the National Academy of Sciences of the United States of America, vol. 27, pp. 222–224, 1941. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. T. Aoki, “On the stability of the linear transformation in Banach spaces,” Journal of the Mathematical Society of Japan, vol. 2, pp. 64–66, 1950. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. Th. M. Rassias, “On the stability of the linear mapping in Banach spaces,” Proceedings of the American Mathematical Society, vol. 72, no. 2, pp. 297–300, 1978. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. P. Găvruta, “A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings,” Journal of Mathematical Analysis and Applications, vol. 184, no. 3, pp. 431–436, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. F. Skof, “Proprietà locali e approssimazione di operatori,” Rendiconti del Seminario Matematico e Fisico di Milano, vol. 53, pp. 113–129, 1983. View at Google Scholar
  7. P. W. Cholewa, “Remarks on the stability of functional equations,” Aequationes Mathematicae, vol. 27, no. 1-2, pp. 76–86, 1984. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. S. Czerwik, “On the stability of the quadratic mapping in normed spaces,” Abhandlungen aus dem Mathematischen Seminar der UniversitHamburg, vol. 62, pp. 59–64, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. J. M. Rassias, “On the stability of the Euler-Lagrange functional equation,” Chinese Journal of Mathematics, vol. 20, no. 2, pp. 185–190, 1992. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. P. Găvruta, “On the Hyers-Ulam-Rassias stability of the quadratic mappings,” Nonlinear Functional Analysis and Applications, vol. 9, no. 3, pp. 415–428, 2004. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. D. H. Hyers, G. Isac, and Th. M. Rassias, Stability of Functional Equations in Several Variables, vol. 34 of Progress in Nonlinear Differential Equations and Their Applications, Birkhäuser, Boston, Mass, USA, 1998. View at MathSciNet
  12. Th. M. Rassias, “New characterizations of inner product spaces,” Bulletin des Sciences Mathétiques, vol. 108, no. 1, pp. 95–99, 1984. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. M. S. Moslehian and F. Zhang, “An operator equality involving a continuous field of operators and its norm inequalities,” Linear Algebra and Its Applications, vol. 429, no. 8-9, pp. 2159–2167, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. M. S. Moslehian, K. Nikodem, and D. Popa, “Asymptotic aspect of the quadratic functional equation in multi-normed spaces,” Journal of Mathematical Analysis and Applications, vol. 355, no. 2, pp. 717–724, 2009. View at Publisher · View at Google Scholar
  15. B. Bouikhalene and E. Elqorachi, “Ulam-Găvruta-Rassias stability of the Pexider functional equation,” International Journal of Applied Mathematics & Statistics, vol. 7, pp. 27–39, 2007. View at Google Scholar · View at MathSciNet
  16. P. Găvruta, “An answer to a question of John M. Rassias concerning the stability of Cauchy equation,” in Advances in Equations and Inequalities, Hardronic Mathical Series, pp. 67–71, Hadronic Press, Palm Harbor, Fla, USA, 1999. View at Google Scholar
  17. P. Găvruta, M. Hossu, D. Popescu, and C. Căprău, “On the stability of mappings and an answer to a problem of Th. M. Rassias,” Annales Math!tiques Blaise Pascal, vol. 2, no. 2, pp. 55–60, 1995. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. K.-W. Jun, H.-M. Kim, and J. M. Rassias, “Extended Hyers-Ulam stability for Cauchy-Jensen mappings,” Journal of Difference Equations and Applications, vol. 13, no. 12, pp. 1139–1153, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. K.-W. Jun and J. Roh, “On the stability of Cauchy additive mappings,” Bulletin of the Belgian Mathematical Society. Simon Stevin, vol. 15, no. 3, pp. 391–402, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  20. D. Kobal and P. Semrl, “Generalized Cauchy functional equation and characterizations of inner product spaces,” Aequationes Mathematicae, vol. 43, no. 2-3, pp. 183–190, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. Y.-S. Lee and S.-Y. Chung, “Stability of an Euler-Lagrange-Rassias equation in the spaces of generalized functions,” Applied Mathematics Letters of Rapid Publication, vol. 21, no. 7, pp. 694–700, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  22. P. Nakmahachalasint, “On the generalized Ulam-Găvruta-Rassias stability of mixed-type linear and Euler-Lagrange-Rassias functional equations,” International Journal of Mathematics and Mathematical Sciences, vol. 2007, Article ID 63239, 10 pages, 2007. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  23. C.-G. Park, “Stability of an Euler-Lagrange-Rassias type additive mapping,” International Journal of Applied Mathematics & Statistics, vol. 7, pp. 101–111, 2007. View at Google Scholar · View at MathSciNet
  24. A. Pietrzyk, “Stability of the Euler-Lagrange-Rassias functional equation,” Demonstratio Mathematica, vol. 39, no. 3, pp. 523–530, 2006. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  25. C.-G. Park and J. M. Rassias, “Hyers-Ulam stability of an Euler-Lagrange type additive mapping,” International Journal of Applied Mathematics & Statistics, vol. 7, pp. 112–125, 2007. View at Google Scholar · View at MathSciNet
  26. K. Ravi, M. Arunkumar, and J. M. Rassias, “Ulam stability for the orthogonally general Euler-Lagrange type functional equation,” International Journal of Mathematics and Statistics, vol. 3, no. A08, pp. 36–46, 2008. View at Google Scholar · View at MathSciNet
  27. K. Ravi and M. Arunkumar, “On the Ulam-Găvruta-Rassias stability of the orthogonally Euler-Lagrange type functional equation,” International Journal of Applied Mathematics & Statistics, vol. 7, pp. 143–156, 2007. View at Google Scholar · View at MathSciNet
  28. C. Park, J. Lee, and D. Shin, “Quadratic mappings associated with inner product spaces,” preprint.