- Research Article
- Open access
- Published:

# Fixed Points and Stability of a Generalized Quadratic Functional Equation

*Journal of Inequalities and Applications*
**volumeÂ 2009**, ArticleÂ number:Â 193035 (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*

for all , then there is a homomorphism with

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*

*for some* *and all* . *Then there exists a unique additive mapping* *such that*

*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

for all , where and are constants with and . Then the limit

exists for all and is the unique additive mapping which satisfies

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 [5â€“7]).

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

for all . Then there exists a unique additive mapping satisfying

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

is called a *quadratic functional equation.* Quadratic functional equations were used to characterize inner product spaces [9â€“11]. 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

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:

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, 20â€“47]). We also refer the readers to the books [48â€“51].

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

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

and using the fixed point method (see [24, 25, 38, 53â€“55]), 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 :

for all .

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

Proposition 2.1.

A mapping satisfies

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

for all . It follows from (2.1) that for all Hence

for all We decompose into the even part and the odd part by putting

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

for all Letting in (2.5), we get

for all . It follows from (2.2), (2.5), and (2.7) that

for all Therefore,

for all . So is quadratic. We claim that For this, it follows from (2.2) and (2.6) that

for all . So

for all . Letting in (2.11), we get for all . So it follows from (2.11) that

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

for all . Hence satisfies (2.1).

Corollary 2.2.

Let be a mapping satisfying

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

for all . So is -quadratic. Letting in (2.15), we get

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

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

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

for all .

Proof.

It follows from that

for all .

Letting in (2.19), we get

for all and all . Hence

for all and all . Let We introduce a generalized metric on as follows:

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

Now we consider the mapping defined by

Let and let be an arbitrary constant with . From the definition of , we have

for all . By the assumption and the last inequality, we have

for all . So

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,

and for all . Also is the unique fixed point of in the set and

that is, the inequality (2.20) holds true for all . It follows from the definition of , (2.19), and (2.21) that

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

Since is quadratic and is linear,

for all So is quadratic. Also is measurable since it is the pointwise limit of the sequence

It follows from [48, Corollary 10.2] that for all Then

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

for all and all . If for each the mapping is continuous in , then there exists a unique -quadratic mapping such that

for all .

Proof.

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

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

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

for all .

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

for all .

Corollary 2.6.

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

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

for all and all . Let be a constant such that the mapping

satisfying for all If for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying

for all .

Proof.

Since it follows from (2.19) that and

for all and all . Therefore,

for all and all . Letting and replacing by and by in (2.47), we get

for all , where

Letting in (2.48), we get

for all Hence

for all Let We introduce a generalized metric on as follows:

Now we consider the mapping defined by

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

for all .

Proof.

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

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

for all and all . Let be a constant such that the mapping

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

for all .

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

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

satisfying for all If for each the mapping is continuous in , then there exists a unique -quadratic mapping satisfying

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

for all and all . By Theorem 2.7, there exists a unique -quadratic mapping satisfying

for all . We get from (2.62) that

for all and all , where

Hence

for all . Letting in (2.66), we get

for all . Therefore,

for all . Let We introduce a generalized metric on as follows:

Now we consider the mapping defined by

Similar to the proof of Theorem 2.3, we deduce that the sequence converges to a fixed point of which is quadratic and

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

for all .

Proof.

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

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

for all and all . Let be a constant such that the mapping

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

for all . Hence

for all .

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

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

where is a positive real number. Consider the function by the formula

where It is clear that is continuous and bounded by on . We prove that

for all To see this, if or then

Now suppose that Then there exists a nonnegative integer such that

Therefore,

Hence

for all From the definition of and (2.83), we have

Therefore, satisfies (2.81). Let be a quadratic function such that

for all Then there exists a constant such that for all (see [57]). So we have

for all Let with If , then for all So

which contradicts (2.88).

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.

## References

Ulam SM:

*A Collection of Mathematical Problems, Interscience Tracts in Pure and Applied Mathematics, no. 8*. Interscience, New York, NY, USA; 1960:xiii+150.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.222Aoki 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/00210064Rassias 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-1Rassias 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-9Rassias JM:

**On approximation of approximately linear mappings by linear mappings.***Bulletin des Sciences MathÃ©matiques*1984,**108**(4):445â€“446.Rassias JM:

**Solution of a problem of Ulam.***Journal of Approximation Theory*1989,**57**(3):268â€“273. 10.1016/0021-9045(89)90041-5GÄƒ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.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.Amir D:

*Characterizations of Inner Product Spaces, Operator Theory: Advances and Applications*.*Volume 20*. BirkhÃ¤user, Basel, Switzerland; 1986:vi+200.Jordan P, von Neumann J:

**On inner products in linear, metric spaces.***Annals of Mathematics*1935,**36**(3):719â€“723. 10.2307/1968653Kannappan P:

**Quadratic functional equation and inner product spaces.***Results in Mathematics*1995,**27**(3â€“4):368â€“372.Skof F:

**Local properties and approximation of operators.***Rendiconti del Seminario Matematico e Fisico di Milano*1983,**53**(1):113â€“129. 10.1007/BF02924890Cholewa PW:

**Remarks on the stability of functional equations.***Aequationes Mathematicae*1984,**27**(1â€“2):76â€“86.Rassias JM:

**On the stability of the Euler-Lagrange functional equation.***Chinese Journal of Mathematics*1992,**20**(2):185â€“190.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/BF02941618Grabiec A:

**The generalized Hyers-Ulam stability of a class of functional equations.***Publicationes Mathematicae Debrecen*1996,**48**(3â€“4):217â€“235.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.Rassias JM:

**On the stability of the general Euler-Lagrange functional equation.***Demonstratio Mathematica*1996,**29**(4):755â€“766.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.Bourgin DG:

**Classes of transformations and bordering transformations.***Bulletin of the American Mathematical Society*1951,**57:**223â€“237. 10.1090/S0002-9904-1951-09511-7CÄƒ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.CÄƒdariu L, Radu V:

**Remarks on the stability of monomial functional equations.***Fixed Point Theory*2007,**8**(2):201â€“218.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.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.Forti GL:

**On an alternative functional equation related to the Cauchy equation.***Aequationes Mathematicae*1982,**24**(2â€“3):195â€“206.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/BF02941612Forti GL:

**Hyers-Ulam stability of functional equations in several variables.***Aequationes Mathematicae*1995,**50**(1â€“2):143â€“190. 10.1007/BF01831117GÄƒ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.1211GÄƒ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.7539GÄƒvruÅ£a P:

**On the Hyers-Ulam-Rassias stability of the quadratic mappings.***Nonlinear Functional Analysis and Applications*2004,**9**(3):415â€“428.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.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.052Jun 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-9Jun 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.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/10236190701464590Jung 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.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.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-zMoslehian MS, Rassias ThM:

**Stability of functional equations in non-Archimedean spaces.***Applicable Analysis and Discrete Mathematics*2007,**1**(2):325â€“334. 10.2298/AADM0702325MNajati A:

**Hyers-Ulam stability of an -Apollonius type quadratic mapping.***Bulletin of the Belgian Mathematical Society. Simon Stevin*2007,**14**(4):755â€“774.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.048Najati 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.104Najati 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.009Najati 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/10236190701466546Park 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-4Ravi 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.Czerwik S:

*Functional Equations and Inequalities in Several Variables*. World Scientific, River Edge, NJ, USA; 2002:x+410.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.Jung S-M:

*Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis*. Hadronic Press, Palm Harbor, Fla, USA; 2001:ix+256.Rassias ThM (Ed):

*Functional Equations, Inequalities and Applications*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003:x+224.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-0Radu V:

**The fixed point alternative and the stability of functional equations.***Fixed Point Theory*2003,**4**(1):91â€“96.Rassias JM:

**Alternative contraction principle and Ulam stability problem.***Mathematical Sciences Research Journal*2005,**9**(7):190â€“199.Rassias JM:

**Alternative contraction principle and alternative Jensen and Jensen type mappings.***International Journal of Applied Mathematics & Statistics*2006,**4**(M06):1â€“10.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/S0161171296000324Kurepa S:

**On the quadratic functional.***Publications de l'Institut MathÃ©matique de l'AcadÃ©mie Serbe des Sciences*1961,**13:**57â€“72.

## 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.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Najati, A., Park, C. Fixed Points and Stability of a Generalized Quadratic Functional Equation.
*J Inequal Appl* **2009**, 193035 (2009). https://doi.org/10.1155/2009/193035

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2009/193035