## Journal of Inequalities and Applications

Impact Factor 0.791

Open Access

# Fixed Points and Stability of a Generalized Quadratic Functional Equation

Journal of Inequalities and Applications20092009:193035

DOI: 10.1155/2009/193035

Accepted: 11 February 2009

Published: 24 February 2009

## Abstract

Using the fixed point method, we prove the generalized Hyers-Ulam stability of the generalized quadratic functional equation in Banach modules, where are nonzero rational numbers with .

## 1. Introduction

The stability problem of functional equations originated from a question of Ulam [1] concerning the stability of group homomorphisms: let be a group and let be a metric group with the metric . Given , does there exist such that if a mapping satisfies the inequality
(1.1)
for all , then there is a homomorphism with
(1.2)

for all

Hyers [2] gave a first affirmative answer to the question of Ulam for Banach spaces. Let and be Banach spaces. Assume that satisfies
(1.3)
for some and all . Then there exists a unique additive mapping such that
(1.4)

for all .

Aoki [3] and Th. M. Rassias [4] provided a generalization of the Hyers' theorem for additive and linear mappings, respectively, by allowing the Cauchy difference to be unbounded.

Theorem 1.1 (Th. M. Rassias [4]).

Let be a mapping from a normed vector space into a Banach space subject to the inequality
(1.5)
for all , where and are constants with and . Then the limit
(1.6)
exists for all and is the unique additive mapping which satisfies
(1.7)

for all . If , then the inequality (1.5) holds for and (1.7) for . Also, if for each the mapping is continuous in , then is - linear.

Theorem 1.2 (J. M. Rassias [57]).

Let be a real normed linear space and let be a real Banach space. Assume that is a mapping for which there exist constants and such that and satisfies the functional inequality
(1.8)
for all . Then there exists a unique additive mapping satisfying
(1.9)

for all . If, in addition, is a mapping such that the transformation is continuous in for each fixed then is linear.

In 1994, a generalization of Theorems 1.1 and 1.2 was obtained by Găvruţa [8], who replaced the bounds and by a general control function .

The functional equation
(1.10)
is called a quadratic functional equation. Quadratic functional equations were used to characterize inner product spaces [911]. In particular, every solution of the quadratic equation (1.10) is said to be a quadratic mapping. It is well known that a mapping between real vector spaces is quadratic if and only if there exists a unique symmetric biadditive mapping such that for all (see [9, 12]). The biadditive mapping is given by
(1.11)
The generalized Hyers-Ulam stability problem for the quadratic functional equation (1.10) was proved by Skof for mappings where is a normed space and is a Banach space (see [13]). Cholewa [14] noticed that the theorem of Skof is still true if the relevant domain is replaced by an Abelian group. J. M. Rassias [15] and Czerwik [16], proved the stability of the quadratic functional equation (1.10). Grabiec [17] has generalized these results mentioned above. J. M. Rassias [18] introduced and investigated the stability problem of Ulam for the Euler-Lagrange quadratic mappings:
(1.12)

In addition, J. M. Rassias [19] generalized the Euler-Lagrange quadratic mapping (1.12) and investigated its stability problem. The Euler-Lagrange quadratic mapping (1.12) has provided a lot of influence in the development of general Euler-Lagrange quadratic equations (mappings) which is now known as Euler-Lagrange-Rassias quadratic functional equations (mappings).

Jun and Lee [20] proved the generalized Hyers-Ulam stability of a pexiderized quadratic equation. 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 [8, 2047]). We also refer the readers to the books [4851].

Let be a set. A function is called a generalized metric on if satisfies

(i) if and only if ,

(ii) for all ,

(iii) for all

We recall the following theorem by Margolis and Diaz.

Theorem 1.3 (see [52]).

Let be a complete generalized metric space and let be a strictly contractive mapping with Lipschitz constant . Then for each given element , either
(1.13)

for all nonnegative integers or there exists a nonnegative 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 .

Throughout this paper, we assume that are nonzero rational numbers with and that is a unital Banach algebra with unit , norm , and . Assume that is a normed left -module and is a (unit linked) Banach left -module. A quadratic mapping is called -quadratic if for all and all .

In this paper, we investigate an -quadratic mapping associated with the generalized quadratic functional equation
(1.14)

and using the fixed point method (see [24, 25, 38, 5355]), we prove the generalized Hyers-Ulam stability of -quadratic mappings in Banach -modules associated with the functional equation (1.14). In 1996, Isac and Th. M. Rassias [56] were the first to provide applications of stability theory of functional equations for the proof of new fixed point theorems with applications.

For convenience, we use the following abbreviation for a given and a mapping :
(1.15)

for all .

## 2. Fixed Points and Stability of the Generalized Quadratic Functional Equation (1.14)

Proposition 2.1.

A mapping satisfies
(2.1)

for all if and only if is quadratic.

Proof.

Let satisfy (2.1). Since letting in (2.1), we get . Letting in (2.1), we get
(2.2)
for all . It follows from (2.1) that for all Hence
(2.3)
for all We decompose into the even part and the odd part by putting
(2.4)
for all It is clear that for all It is easy to show that the mappings and satisfy (2.2) and (2.3). Thus we have
(2.5)
(2.6)
for all Letting in (2.5), we get
(2.7)
for all . It follows from (2.2), (2.5), and (2.7) that
(2.8)
for all Therefore,
(2.9)
for all . So is quadratic. We claim that For this, it follows from (2.2) and (2.6) that
(2.10)
for all . So
(2.11)
for all . Letting in (2.11), we get for all . So it follows from (2.11) that
(2.12)

for all . Replacing by and by in (2.12), we infer that is additive. To complete the proof we have two cases.

Case 1 ( ).

Since is additive and satisfies (2.1), letting and replacing by in (2.1), we get for all . Since , we get

Case 2 ( ).

Since is additive and satisfies (2.2), we have for all . Since , we get

Hence and this proves that is quadratic.

Conversely, let be quadratic. Then there exists a unique symmetric biadditive mapping such that for all and
(2.13)
for all (see [9, 12]). Hence
(2.14)

for all . Hence satisfies (2.1).

Corollary 2.2.

Let be a mapping satisfying
(2.15)

for all and all If for each the mapping is continuous in , then is -quadratic.

Proof.

Let By Proposition 2.1, is quadratic. Thus is -quadratic. Let and let be a sequence of rational numbers such that Since is -quadratic and the mapping is continuous in for each , we have
(2.16)
for all . So is -quadratic. Letting in (2.15), we get
(2.17)
for all and all It is clear that (2.17) is also true for For each element Since is -quadratic and for all and all we have
(2.18)

for all and all So the -quadratic mapping is also -quadratic. This completes the proof.

Now we prove the generalized Hyers-Ulam stability of -quadratic mappings in Banach -modules.

Theorem 2.3.

Let be a mapping with for which there exists a function such that
(2.19)
for all and all . Let be a constant such that for all If for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying
(2.20)

for all .

Proof.

It follows from that
(2.21)

for all .

Letting in (2.19), we get
(2.22)
for all and all . Hence
(2.23)
for all and all . Let We introduce a generalized metric on as follows:
(2.24)

It is easy to show that is a generalized complete metric space [24].

Now we consider the mapping defined by
(2.25)
Let and let be an arbitrary constant with . From the definition of , we have
(2.26)
for all . By the assumption and the last inequality, we have
(2.27)
for all . So
(2.28)
for any . It follows from (2.23) (by letting ) that . According to Theorem 1.3, the sequence converges to a fixed point of , that is,
(2.29)
and for all . Also is the unique fixed point of in the set and
(2.30)
that is, the inequality (2.20) holds true for all . It follows from the definition of , (2.19), and (2.21) that
(2.31)
for all and all . By Proposition 2.1 (by letting ), the mapping is quadratic. Let be a continuous linear functional. For any , we consider the mapping defined by
(2.32)
Since is quadratic and is linear,
(2.33)
for all So is quadratic. Also is measurable since it is the pointwise limit of the sequence
(2.34)
It follows from [48, Corollary 10.2] that for all Then
(2.35)

for all Hence for all and all By Corollary 2.2, the mapping is -quadratic.

Corollary 2.4.

Let and be nonnegative real numbers such that and let be a mapping satisfying the inequality
(2.36)
for all and all . If for each the mapping is continuous in , then there exists a unique -quadratic mapping such that
(2.37)

for all .

Proof.

Letting and in (2.36), we get Now, the proof follows from Theorem 2.3 by taking
(2.38)

for all . Then we can choose and we get the desired result.

Remark 2.5.

Let be a mapping with for which there exists a function such that
(2.39)
for all and all . Let be a constant such that for all . By a similar method to the proof of Theorem 2.3, one can show that if for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying
(2.40)

for all .

For the case (where are nonnegative real numbers and with , there exists a unique -quadratic mapping satisfying
(2.41)

for all .

Corollary 2.6.

Let and let be nonnegative real numbers such that and let be a mapping satisfying the inequality
(2.42)

for all and all . If for each the mapping is continuous in , then is -quadratic.

Theorem 2.7.

Let be an even mapping for which there exists a function satisfying (2.19) and
(2.43)
for all and all . Let be a constant such that the mapping
(2.44)
satisfying for all If for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying
(2.45)

for all .

Proof.

Since it follows from (2.19) that and
(2.46)
for all and all . Therefore,
(2.47)
for all and all . Letting and replacing by and by in (2.47), we get
(2.48)
for all , where
(2.49)
Letting in (2.48), we get
(2.50)
for all Hence
(2.51)
for all Let We introduce a generalized metric on as follows:
(2.52)
Now we consider the mapping defined by
(2.53)

Similar to the proof of Theorem 2.3, we deduce that the sequence converges to a fixed point of which is -quadratic. Also is the unique fixed point of in the set and satisfies (2.45).

Corollary 2.8.

Let and let be nonnegative real numbers and let be an even mapping satisfying the inequality (2.36) for all and all . If for each the mapping is continuous in , then there exists a unique -quadratic mapping such that
(2.54)

for all .

Proof.

Letting and in (2.36), we get Now the proof follows from Theorem 2.7 by taking
(2.55)

for all . Then we can choose and we get the desired result.

Remark 2.9.

Let be an even mapping with for which there exists a function such that
(2.56)
for all and all . Let be a constant such that the mapping
(2.57)
satisfying for all By a similar method to the proof of Theorem 2.7, one can show that if for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying
(2.58)

for all .

For the case (where are nonnegative real numbers and , there exists a unique -quadratic mapping satisfying
(2.59)

for all .

Corollary 2.10.

Let and let be nonnegative real numbers such that and let be an even mapping satisfying the inequality (2.42) for all and all . If for each the mapping is continuous in , then is -quadratic.

We may omit the evenness of the mapping in Theorem 2.7.

Theorem 2.11.

Let be a mapping for which there exists a function satisfying (2.19) and (2.43) for all and all . Let be a constant such that the mapping
(2.60)
satisfying for all If for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying
(2.61)

for all .

Proof.

Since it follows from (2.19) that We decompose into the even part and the odd part It follows from (2.19) that
(2.62)
for all and all . By Theorem 2.7, there exists a unique -quadratic mapping satisfying
(2.63)
for all . We get from (2.62) that
(2.64)
for all and all , where
(2.65)
Hence
(2.66)
for all . Letting in (2.66), we get
(2.67)
for all . Therefore,
(2.68)
for all . Let We introduce a generalized metric on as follows:
(2.69)
Now we consider the mapping defined by
(2.70)
Similar to the proof of Theorem 2.3, we deduce that the sequence converges to a fixed point of which is quadratic and
(2.71)

Also is odd since is odd. Therefore, since is quadratic too. Now (2.61) follows from (2.63) and (2.71).

Corollary 2.12.

Let and let be nonnegative real numbers and let be a mapping satisfying the inequality (2.36) for all and all . If for each the mapping is continuous in , then there exists a unique -quadratic mapping such that
(2.72)

for all .

Proof.

Letting and in (2.36), we get Now the proof follows from Theorem 2.11 by taking
(2.73)

for all . Then we can choose and we get the desired result.

Remark 2.13.

Let be a mapping with for which there exists a function such that
(2.74)
for all and all . Let be a constant such that the mapping
(2.75)
satisfying for all By a similar method to the proof of Theorem 2.11, one can show that if for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying
(2.76)
for all . Hence
(2.77)

for all .

For the case (where are nonnegative real numbers and , there exists a unique -quadratic mapping satisfying
(2.78)

for all .

For the case , we have the following counterexample which is a modification of the example of Czerwik [16].

Example 2.14.

Let be defined by
(2.79)
where is a positive real number. Consider the function by the formula
(2.80)
where It is clear that is continuous and bounded by on . We prove that
(2.81)
for all To see this, if or then
(2.82)
Now suppose that Then there exists a nonnegative integer such that
(2.83)
Therefore,
(2.84)
Hence
(2.85)
for all From the definition of and (2.83), we have
(2.86)
Therefore, satisfies (2.81). Let be a quadratic function such that
(2.87)
for all Then there exists a constant such that for all (see [57]). So we have
(2.88)
for all Let with If , then for all So
(2.89)

Corollary 2.15.

Let and let be nonnegative real numbers such that and let be a mapping satisfying the inequality (2.42) for all and all . If for each the mapping is continuous in , then is -quadratic.

## Declarations

### Acknowledgments

The authors would like to thank the referees for bringing some useful references to their attention. The second author was supported by Korea Research Foundation Grant KRF-2008-313-C00041.

## Authors’ Affiliations

(1)
Department of Science, University of Mohaghegh Ardabili
(2)
Department of Mathematics, Hanyang University

## References

1. Ulam SM: A Collection of Mathematical Problems, Interscience Tracts in Pure and Applied Mathematics, no. 8. Interscience, New York, NY, USA; 1960:xiii+150.Google Scholar
2. Hyers DH: On the stability of the linear functional equation. Proceedings of the National Academy of Sciences of the United States of America 1941,27(4):222–224. 10.1073/pnas.27.4.222
3. Aoki T: On the stability of the linear transformation in Banach spaces. Journal of the Mathematical Society of Japan 1950, 2: 64–66. 10.2969/jmsj/00210064
4. Rassias ThM: On the stability of the linear mapping in Banach spaces. Proceedings of the American Mathematical Society 1978,72(2):297–300. 10.1090/S0002-9939-1978-0507327-1
5. Rassias JM: On approximation of approximately linear mappings by linear mappings. Journal of Functional Analysis 1982,46(1):126–130. 10.1016/0022-1236(82)90048-9
6. Rassias JM: On approximation of approximately linear mappings by linear mappings. Bulletin des Sciences Mathématiques 1984,108(4):445–446.
7. Rassias JM: Solution of a problem of Ulam. Journal of Approximation Theory 1989,57(3):268–273. 10.1016/0021-9045(89)90041-5
8. Găvruţa P: On the stability of some functional equations. In Stability of Mappings of Hyers-Ulam Type, Hadronic Press Collection of Original Articles. Hadronic Press, Palm Harbor, Fla, USA; 1994:93–98.Google Scholar
9. Aczél J, Dhombres J: Functional Equations in Several Variables with Applications to Mathematics, Information Theory and to the Natural and Social Sciences, Encyclopedia of Mathematics and Its Applications. Volume 31. Cambridge University Press, Cambridge, UK; 1989:xiv+462.
10. Amir D: Characterizations of Inner Product Spaces, Operator Theory: Advances and Applications. Volume 20. Birkhäuser, Basel, Switzerland; 1986:vi+200.
11. Jordan P, von Neumann J: On inner products in linear, metric spaces. Annals of Mathematics 1935,36(3):719–723. 10.2307/1968653
12. Kannappan P: Quadratic functional equation and inner product spaces. Results in Mathematics 1995,27(3–4):368–372.
13. Skof F: Local properties and approximation of operators. Rendiconti del Seminario Matematico e Fisico di Milano 1983,53(1):113–129. 10.1007/BF02924890
14. Cholewa PW: Remarks on the stability of functional equations. Aequationes Mathematicae 1984,27(1–2):76–86.
15. Rassias JM: On the stability of the Euler-Lagrange functional equation. Chinese Journal of Mathematics 1992,20(2):185–190.
16. Czerwik S: On the stability of the quadratic mapping in normed spaces. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1992,62(1):59–64. 10.1007/BF02941618
17. Grabiec A: The generalized Hyers-Ulam stability of a class of functional equations. Publicationes Mathematicae Debrecen 1996,48(3–4):217–235.
18. Rassias JM: On the stability of the non-linear Euler-Lagrange functional equation in real normed linear spaces. Journal of Mathematical and Physical Sciences 1994,28(5):231–235.
19. Rassias JM: On the stability of the general Euler-Lagrange functional equation. Demonstratio Mathematica 1996,29(4):755–766.
20. Jun K-W, Lee Y-H: On the Hyers-Ulam-Rassias stability of a Pexiderized quadratic inequality. Mathematical Inequalities & Applications 2001,4(1):93–118.
21. Bourgin DG: Classes of transformations and bordering transformations. Bulletin of the American Mathematical Society 1951, 57: 223–237. 10.1090/S0002-9904-1951-09511-7
22. Cădariu L, Radu V: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory and Applications 2008, 2008:-15.Google Scholar
23. Cădariu L, Radu V: Remarks on the stability of monomial functional equations. Fixed Point Theory 2007,8(2):201–218.
24. Cădariu L, Radu V: On the stability of the Cauchy functional equation: a fixed point approach. In Iteration Theory (ECIT '02), Grazer Mathematische Berichte. Volume 346. Karl-Franzens-Universität Graz, Graz, Austria; 2004:43–52.Google Scholar
25. Cădariu L, Radu V: Fixed points and the stability of Jensen's functional equation. Journal of Inequalities in Pure and Applied Mathematics 2003,4(1, article 4):1–7.
26. Forti GL: On an alternative functional equation related to the Cauchy equation. Aequationes Mathematicae 1982,24(2–3):195–206.
27. Forti GL: The stability of homomorphisms and amenability, with applications to functional equations. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1987,57(1):215–226. 10.1007/BF02941612
28. Forti GL: Hyers-Ulam stability of functional equations in several variables. Aequationes Mathematicae 1995,50(1–2):143–190. 10.1007/BF01831117
29. Găvruţa P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. Journal of Mathematical Analysis and Applications 1994,184(3):431–436. 10.1006/jmaa.1994.1211
30. Găvruţa P: On a problem of G. Isac and Th. M. Rassias concerning the stability of mappings. Journal of Mathematical Analysis and Applications 2001,261(2):543–553. 10.1006/jmaa.2001.7539
31. Găvruţa P: On the Hyers-Ulam-Rassias stability of the quadratic mappings. Nonlinear Functional Analysis and Applications 2004,9(3):415–428.
32. Jun K-W, Kim H-M: On the Hyers-Ulam stability of a difference equation. Journal of Computational Analysis and Applications 2005,7(4):397–407.
33. Jun K-W, Kim H-M: Stability problem of Ulam for generalized forms of Cauchy functional equation. Journal of Mathematical Analysis and Applications 2005,312(2):535–547. 10.1016/j.jmaa.2005.03.052
34. Jun K-W, Kim H-M: Stability problem for Jensen-type functional equations of cubic mappings. Acta Mathematica Sinica 2006,22(6):1781–1788. 10.1007/s10114-005-0736-9
35. Jun K-W, Kim H-M: Ulam stability problem for a mixed type of cubic and additive functional equation. Bulletin of the Belgian Mathematical Society. Simon Stevin 2006,13(2):271–285.
36. Jun K-W, Kim H-M, Rassias JM: Extended Hyers-Ulam stability for Cauchy-Jensen mappings. Journal of Difference Equations and Applications 2007,13(12):1139–1153. 10.1080/10236190701464590
37. Jung S-M, Kim T-S: A fixed point approach to the stability of the cubic functional equation. Boletín de la Sociedad Matemática Mexicana 2006,12(1):51–57.
38. Jung S-M, Rassias JM: A fixed point approach to the stability of a functional equation of the spiral of Theodorus. Fixed Point Theory and Applications 2008, 2008:-7.Google Scholar
39. Mirzavaziri M, Moslehian MS: A fixed point approach to stability of a quadratic equation. Bulletin of the Brazilian Mathematical Society 2006,37(3):361–376. 10.1007/s00574-006-0016-z
40. Moslehian MS, Rassias ThM: Stability of functional equations in non-Archimedean spaces. Applicable Analysis and Discrete Mathematics 2007,1(2):325–334. 10.2298/AADM0702325M
41. Najati A: Hyers-Ulam stability of an -Apollonius type quadratic mapping. Bulletin of the Belgian Mathematical Society. Simon Stevin 2007,14(4):755–774.
42. Najati A: On the stability of a quartic functional equation. Journal of Mathematical Analysis and Applications 2008,340(1):569–574. 10.1016/j.jmaa.2007.08.048
43. Najati A, Moghimi MB: Stability of a functional equation deriving from quadratic and additive functions in quasi-Banach spaces. Journal of Mathematical Analysis and Applications 2008,337(1):399–415. 10.1016/j.jmaa.2007.03.104
44. Najati A, Park C: Hyers-Ulam-Rassias stability of homomorphisms in quasi-Banach algebras associated to the Pexiderized Cauchy functional equation. Journal of Mathematical Analysis and Applications 2007,335(2):763–778. 10.1016/j.jmaa.2007.02.009
45. Najati A, Park C: The Pexiderized Apollonius-Jensen type additive mapping and isomorphisms between -algebras. Journal of Difference Equations and Applications 2008,14(5):459–479. 10.1080/10236190701466546
46. Park C: On the stability of the linear mapping in Banach modules. Journal of Mathematical Analysis and Applications 2002,275(2):711–720. 10.1016/S0022-247X(02)00386-4
47. Ravi K, Arunkumar M, Rassias JM: Ulam stability for the orthogonally general Euler-Lagrange type functional equation. International Journal of Mathematics and Statistics 2008,3(A08):36–46.
48. Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, River Edge, NJ, USA; 2002:x+410.
49. Hyers DH, Isac G, Rassias ThM: Stability of Functional Equations in Several Variables, Progress in Nonlinear Differential Equations and Their Applications. Volume 34. Birkhäuser, Boston, Mass, USA; 1998:vi+313.
50. Jung S-M: Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor, Fla, USA; 2001:ix+256.
51. Rassias ThM (Ed): Functional Equations, Inequalities and Applications. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003:x+224.
52. 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 1968, 74: 305–309. 10.1090/S0002-9904-1968-11933-0
53. Radu V: The fixed point alternative and the stability of functional equations. Fixed Point Theory 2003,4(1):91–96.
54. Rassias JM: Alternative contraction principle and Ulam stability problem. Mathematical Sciences Research Journal 2005,9(7):190–199.
55. Rassias JM: Alternative contraction principle and alternative Jensen and Jensen type mappings. International Journal of Applied Mathematics & Statistics 2006,4(M06):1–10.
56. Isac G, Rassias ThM: Stability of -additive mappings: applications to nonlinear analysis. International Journal of Mathematics and Mathematical Sciences 1996,19(2):219–228. 10.1155/S0161171296000324
57. Kurepa S: On the quadratic functional. Publications de l'Institut Mathématique de l'Académie Serbe des Sciences 1961, 13: 57–72.