Table of Contents Author Guidelines Submit a Manuscript
Journal of Function Spaces
Volume 2016, Article ID 5636101, 7 pages
http://dx.doi.org/10.1155/2016/5636101
Research Article

On the Stability of Quadratic Functional Equations in -Spaces

College of Mathematics and Information Science, Hebei Normal University and Hebei Key Laboratory of Computational Mathematics and Applications, Shijiazhuang 050024, China

Received 7 April 2016; Revised 22 May 2016; Accepted 27 June 2016

Academic Editor: Krzysztof Ciepliński

Copyright © 2016 Xiuzhong Yang. 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

The Hyers-Ulam-Rassias stability of quadratic functional equation and orthogonal stability of the Pexiderized quadratic functional equation in -spaces are proved.

1. Introduction

In 1940, Ulam [1] proposed the following stability problem: given metric group , number and mapping which satisfies inequality for all in , do automorphism of and constant , depending only on , such that for all in , exist? If the answer is affirmative, we call equation of automorphism stable. One year later, Hyers [2] provided a positive partial answer to Ulam’s problem. In 1978, a generalized version of Hyers’ result was proved by Rassias in [3]. Since then, the stability problems of several functional equations have been extensively investigated by a number of authors [417]. In fact, we also refer the readers to the paper [18] for recent developments in Ulam’s type stability, [19] for recent developments of the conditional stability of the homomorphism equation and books, and [8, 20] for the general understanding of the stability theory.

Another important stability problem is orthogonal stability, which is closely related to the notion of orthogonality spaces; we know that a number of definitions of orthogonality in vector spaces, in addition to the usual one for inner product spaces, have appeared in the literature during the past half century. Many of these are mentioned in an article by Drljević [21]. Perhaps the best known of these is the “Birkhoff-James” orthogonality (see James [22]) for real normed vector spaces, where is orthogonal to meaning that for all . In giving his axiomatic definition of orthogonality, Rätz in a 1985 paper [23] modified the definition given on pp. 427-428 of Gudder and Strawther [24] and arrived at the following.

Definition 1. Suppose that is a real vector space with and is a binary relation on with the following properties:(O1)Totality of for zero: ,   for all .(O2)Independence: if ,  , then are linearly independent.(O3)Homogeneity: if ,  , then for all .(O4)The Thalesian property: Let be a 2-dimensional subspace of . If and , then there exists such that and .The pair is called an orthogonality space.

Rätz points out that this definition is more restrictive than that given by Gudder and Strawther [24], but he showed that his definition includes the following basic examples.

Example 2. The trivial orthogonality on vector space is defined by (O1), and for nonzero elements ,  , if and only if are linearly independent.

Example 3. The ordinary orthogonality on inner product space is given by if and only if .

Example 4. The Birkhoff-James orthogonality on a normed space is defined by if and only if for all .

It is well-known that two orthogonal vectors can not be commutated, and it is necessary to introduce the following definition.

Definition 5. Relation is called symmetric if implies that for all .

Clearly, Examples 2 and 3 are symmetric, but Example 4 is not. It is remarkable to note, however, that a real normed space of dimension greater than or equal to 3 is an inner product space if and only if the Birkhoff-James orthogonality is symmetric. Some notions of orthogonally additive or orthogonally quadratic function equation are given as follows.

Definition 6. Let be a vector space (an orthogonality space) and be an abelian group. Mapping is called (orthogonally) additive if it satisfies the so-called (orthogonal) additive functional equation:for all with .

Definition 7. Mapping is said to be (orthogonally) quadratic if it satisfies the so-called (orthogonally) Jordan-von Neumann quadratic function equation: for all with .

The orthogonal quadratic equation (2) was first investigated by Vajzović [25] when is a Hilbert space, is the scalar field, is continuous, and means the Hilbert space orthogonality. Later Drljević [21], Fochi [26], and Szabó [27] generalized this result. One of the significant conditional equations is the so-called orthogonally quadratic functional equation of Pexider type: Moslehian [28] considered the stability of this equation in the spirit of Hyers-Ulam under certain conditions. We will examine the stability of this equation in more general setting such that the target spaces are -spaces or complete -normed spaces. We have obtained some results which generalize work of Moslehian [28] and will be presented in Section 3. First, we recall some notions of -spaces and -normed spaces; for detailed understanding of the properties of the above spaces, the readers are required to read the book [29].

Definition 8. Let be a linear space over that denotes either complex or real numbers. A nonnegative valued function defined on is called -norm (or briefly a norm) if it satisfies the following conditions:(n1) if and only if .(n2) for all , .(n3).(n4) provided .(n5) provided .(n6) provided ,  .A linear space equipped with -norm is called -space which will be denoted by or . A complete -space is called -space.

Definition 9. Let be a linear space over that denotes either complex or real numbers and . A nonnegative valued function defined on is called -norm if it satisfies the following conditions:(n1) if and only if .(n2) for all .(n3).A linear space equipped with -norm is called -normed space, which will be denoted by or briefly .

Remark 10. It is clear that -normed space is a special -space, and when , -normed space become normed space. Comparing with the normed space, -space does not possess good metric properties, and the study of the stability of functional equations becomes more difficult.

There are many forms of the quadratic functional equation among them of great interest to us is the following:

The purpose of this paper is to study the stability or orthogonal stability of equations in -space or -normed space. Section 2 is devoted to the study of stability of (4) in more general setting such that the target spaces are -spaces or complete -normed spaces. In Section 3, we focus on the study of orthogonal stability of (3) under the condition that the target spaces are -spaces or complete -normed space; some open problems are also proposed.

Throughout this paper, let be a real -normed space or orthogonality space, and be complete -spaces or -normed space. Also , , and stand for the set of all real numbers, real numbers, or complex numbers and natural numbers, respectively.

2. On the Hyers-Ulam-Rassias Stability of (4)

From now on, let be a real vector space and let be -space in which there exists such that for all , unless we give any specific reference. We will investigate the Hyers-Ulam-Rassias stability problem for functional equation (4). Thus, we find the condition that there exists a true quadratic function near an approximately quadratic function.

Theorem 11. Let be a real vector space and be -space in which there exists such that for all , and let be a function such that converges and for all . Suppose that satisfies for all Then, there exists unique quadratic function which satisfies (4) and the inequality for all . Function is given by for all .

Proof. Putting in (7), we haveIt follows that for all . Replacing by in (11) and by the assumption on norm, we get Hence, for all . Using the induction on positive integer , we obtain that for all . In order to prove convergence of sequence , replace by to find that, for ,Since the right hand side of the inequality tends to 0 as tends to infinity, sequence is a Cauchy sequence. Therefore, we may define for all . By letting in (14), we arrive at formula (8). To show that satisfies (4), replace by , respectively; then, it follows thatTaking the limit as , we find that satisfies (4) for all . To prove the uniqueness of quadratic function subject to (8), let us assume that there exists quadratic function which satisfies (4) and inequality (8). Obviously, we have and for all and . Hence, it follows from (8) that for all . By letting in the preceding inequality, we immediately find the uniqueness of . This completes the proof of the theorem.

Corollary 12. Let be a real vector space and be a complete -normed space , and let be a function such that converges andfor all . Suppose that satisfies for all Then, there exists unique quadratic function which satisfies (4) and inequality for all . Function is given by for all .

3. On the Orthogonal Stability of (3)

Applying some ideas from [30], we deal with the conditional stability problem of the following equation:where is odd and is symmetric. Throughout this section, denotes an orthogonality space in the sense of Rätz and is a real -space or -Banach space . First, we give a technical lemma.

Lemma 13. If fulfills for all with and is symmetric, then is orthogonally additive.

Proof. Assume that for all with Putting , we get ,  . Let . Then, and so . Hence, Thus,Therefore, is orthogonally additive.

Remark 14. Rätz gave example to demonstrate that there exists odd mapping from an orthogonality space into a uniquely 2-divisible group (i.e., an abelian group in which map ,   is bijective) satisfying ,  , such that . He considered and ,  

Theorem 15. Let be an orthogonality space, and be -space in which there exists such that for all . Suppose that is symmetric on and are mappings fulfilling for some and for all with . Assume that is odd, and . Then, there exist one additive mapping and one quadratic mapping such that for all .

Proof. Put in (26). We can do this because of (O1). Then, Therefore, Similarly, by putting in (26), we get for all . Hence, for all with . Fix . By (O4), there exists such that and . Since is symmetric, too. Using inequality (31) and the oddness of , we get So that It is not hard to see that for all . In fact, It follows from that (34) holds for . Assume that (34) holds for , when . Replacing by in (34), we getHence, So, formula (34) is proved. Replacing by in inequality (34), we have which implies that is a Cauchy sequence in -space , and exists and map is well defined odd map from into satisfying For all with , by applying inequality (31) and (O3), we obtain If , then we deduce that for all with . Moreover, . Using Lemma 13, we conclude that is an orthogonally additive mapping. By Corollary of [23], is of form with additive and quadratic. If there are another quadratic mapping and another additive mapping satisfying the required inequalities in our theorem and , then for all . Using the fact that additive mappings are odd and quadratic mappings are even, we obtainHence, Letting tends to we infer that . Similarly, for all . Hence,for all . Taking the limit as , we conclude that . Using (30) and (39), we infer that, for all ,

Corollary 16. Let be an orthogonality space, and be -Banach space. Suppose that is symmetric on and are mappings fulfilling for some and for all with . Assume that is odd, and . Then, there exist one additive mapping and one quadratic mapping , such that for all .

Remark 17. (i) If for some number , then inequality (30) implies that , . Hence, ,  . So ,  .
(ii) Similarly, if for some number , then it follows from (29) that for all .

As far as the author knows, unlike orthogonally additive maps (see Corollary of [23]), there is no characterization for orthogonally quadratic maps. Every orthogonally quadratic mapping into a uniquely 2-divisible abelian group is even. In fact, , so = . Therefore, . For all , we have and hence .

Thus, . There are some characterizations of orthogonally quadratic maps in various notions of orthogonality. For example, if -orthogonality on Hilbert space is defined by , where is a bounded self-adjoint operator on , then, as shown by Fochi, every -orthogonally quadratic functional is quadratic if (see [26, 27]).

To conclude this paper, we propose the following problem.

Problem. Let be an orthogonality space, and be -space in which there exists such that for all . Suppose that is symmetric on and are mappings fulfillingfor some and for all with . Assume that is even, and . Does there exist an orthogonally quadratic mapping , under certain conditions such that for some scalars and for all ?

Competing Interests

The author declares that there are no competing interests regarding the publication of this paper.

Acknowledgments

The paper is supported by the National Natural Science Foundation of China (Grant no. 11371119), the Key Foundation of Education Department of Hebei Province (Grant no. ZD2016023), and by Natural Science Foundation of Education Department of Hebei Province (Grant no. Z2014031).

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 Publisher · View at Google Scholar · View at MathSciNet
  3. T. 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 MathSciNet
  4. Z. Gajda, “On stability of additive mappings,” International Journal of Mathematics and Mathematical Sciences, vol. 14, no. 3, pp. 431–434, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. P. Găvruţa, “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 MathSciNet · View at Scopus
  6. R. Ger and J. Sikorska, “Stability of the orthogonal additivity,” Bulletin of the Polish Academy of Sciences Mathematics, vol. 43, no. 2, pp. 143–151, 1995. View at Google Scholar · View at MathSciNet
  7. S.-M. Jung and J. M. Rassias, “A fixed point approach to the stability of a functional equation of the spiral of Theodorus,” Fixed Point Theory and Applications, vol. 2008, Article ID 945010, 7 pages, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  8. P. L. Kannappan, Functional Equations and Inequalities with Applications, Springer, New York, NY, USA, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  9. C. G. Park, “On the stability of the orthogonally quartic functional,” Bulletin of the Iranian Mathematical Society, vol. 3, no. 1, pp. 63–70, 2005. View at Google Scholar
  10. C. Park and J. M. Rassias, “Stability of the Jensen-type functional equation in C-algebras: a fixed point approach,” Abstract and Applied Analysis, vol. 2009, Article ID 360432, 17 pages, 2009. View at Publisher · View at Google Scholar
  11. J. M. Rassias and M. J. Rassias, “Asymptotic behavior of alternative Jensen and Jensen type functional equations,” Bulletin des Sciences Mathématiques, vol. 129, no. 7, pp. 545–558, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  12. L. G. Wang, B. Liu, and R. Bai, “Stability of a mixed type functional equation on multi-Banach spaces: a fixed point approach,” Fixed Point Theory and Applications, vol. 2010, Article ID 283827, 9 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  13. B. Xu and J. Brzdęk, “Hyers-Ulam stability of a system of first order linear recurrences with constant coefficients,” Discrete Dynamics in Nature and Society, vol. 2015, Article ID 269356, 5 pages, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. B. Xu, J. Brzdęk, and W. Zhang, “Fixed-point results and the Hyers-Ulam stability of linear equations of higher orders,” Pacific Journal of Mathematics, vol. 273, no. 2, pp. 483–498, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  15. X. Yang, L. Chang, and G. Liu, “Orthogonal stability of mixed additive-quadratic Jensen type functional equation in multi-Banach spaces,” Advances in Pure Mathematics, vol. 5, no. 6, pp. 325–332, 2015. View at Publisher · View at Google Scholar
  16. X. Yang, L. Chang, G. Liu, and G. Shen, “Stability of functional equations in (n,β)-normed spaces,” Journal of Inequalities and Applications, vol. 2015, article 112, 18 pages, 2015. View at Publisher · View at Google Scholar
  17. X. Zhao, X. Yang, and C.-T. Pang, “Solution and stability of a general mixed type cubic and quartic functional equation,” Journal of Function Spaces and Applications, vol. 2013, Article ID 673810, 8 pages, 2013. View at Publisher · View at Google Scholar
  18. N. Brillouët-Belluot, J. Brzdęk, and K. Ciepliński, “On some recent developments in Ulam's type stability,” Abstract and Applied Analysis, vol. 2012, Article ID 716936, 41 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  19. J. Brzdęk, W. Fechner, M. S. Moslehian, and J. Sikorska, “Recent developments of the conditional stability of the homomorphism equation,” Banach Journal of Mathematical Analysis, vol. 9, no. 3, pp. 278–326, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. S.-M. Jung, Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis, vol. 48 of Springer Optimization and Its Applications, Springer, New York, NY, USA, 2011.
  21. F. Drljević, “On a functional which is quadratic on A-orthogonal vectors,” Publications de lInstitutetut Mathématique, vol. 54, pp. 63–71, 1986. View at Google Scholar
  22. R. C. James, “Orthogonality and linear functionals in normed linear spaces,” Transactions of the American Mathematical Society, vol. 61, pp. 265–292, 1947. View at Publisher · View at Google Scholar · View at MathSciNet
  23. J. Rätz, “On orthogonally additive mappings,” Aequationes Mathematicae, vol. 28, no. 1-2, pp. 35–49, 1985. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. S. Gudder and D. Strawther, “Orthogonally additive and orthogonally increasing functions on vector spaces,” Pacific Journal of Mathematics, vol. 58, no. 2, pp. 427–436, 1975. View at Publisher · View at Google Scholar · View at MathSciNet
  25. F. Vajzović, “Über das funktional h mit der eigenschaft: (x,y)=0H(x+y)+H(x-y)=2H(x)+2H(y),” Glasnik Matematicki Series III, vol. 2, no. 22, pp. 73–81, 1967. View at Google Scholar
  26. M. Fochi, “Functional equations in A-orthogonal vectors,” Aequationes Mathematicae, vol. 38, no. 1, pp. 28–40, 1989. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  27. G. Szabó, “Sesquilinear-orthogonally quadratic mappings,” Aequationes Mathematicae, vol. 40, no. 2-3, pp. 190–200, 1990. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  28. M. S. Moslehian, “On the orthogonal stability of the pexiderized quadratic equation,” Journal of Difference Equations and Applications, vol. 11, no. 11, pp. 999–1004, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  29. S. Rolewicz, Metric Linear Spaces, Polish Scientific Publishers, Warsaw, Poland, 1972. View at MathSciNet
  30. S.-M. Jung and P. K. Sahoo, “Hyers-Ulam stability of the quadratic equation of Pexider type,” Journal of the Korean Mathematical Society, vol. 38, no. 3, pp. 645–656, 2001. View at Google Scholar · View at MathSciNet · View at Scopus