- Research Article
- Open Access
- Published:

# On the Asymptoticity Aspect of Hyers-Ulam Stability of Quadratic Mappings

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 454875 (2011)

## Abstract

We investigate the Hyers-Ulam stability of the quadratic functional equation on restricted domains. Applying these results, we study of an asymptotic behavior of these quadratic mappings.

## 1. Introduction

The question concerning the stability of group homomorphisms was posed by Ulam [1]. Hyers [2] solved the case of approximately additive mappings on Banach spaces. Aoki [3] provided a generalization of the Hyers' theorem for additive mappings. In [4], Rassias generalized the result of Hyers for linear mappings by allowing the Cauchy difference to be unbounded (see also [5]). The result of Rassias has been generalized by Gvruţa [6] who permitted the norm of the Cauchy difference to be bounded by a general control function under some conditions. This stability concept is also applied to the case of various functional equations by a number of authors. For more results on the stability of functional equations, see [7–32]. We also refer the readers to the books [33–37].

It is easy to see that the function defined by with an arbitrary constant is a solution of the functional equation

So, it is natural that each equation is called a *quadratic functional* equation. In particular, every solution of the quadratic equation (1.1) is said to be a *quadratic function*. It is well known that a function between real vector spaces and is quadratic if and only if there exists a unique symmetric biadditive function such that for all (see [21, 33, 35]).

A stability theorem for the quadratic functional equation (1.1) was proved by Skof [38] for functions , where is a normed space and is a Banach space. Cholewa [11] noticed that the result of Skof holds (with the same proof) if is replaced by an abelian group . In [12], Czerwik generalized the result of Skof by allowing growth of the form for the norm of , where and . In 1998, Jung [39] investigated the Hyers-Ulam stability for additive and quadratic mappings on restricted domains (see also [40–42]). Rassias [43] investigated the Hyers-Ulam stability of mixed type mappings on restricted domains. In [44], the authors considered the asymptoticity of Hyers-Ulam stability close to the asymptotic derivability.

## 2. Stability of (1.1) on Restricted Domains

In this section, we investigate the Hyers-Ulam stability of the functional equation (1.1) on a restricted domain. As an application, we use the result to the study of an asymptotic behavior of that equation.

Theorem 2.1.

Given a real normed vector space and a real Banach space , let and with be fixed. If a mapping satisfies the inequality

for all such that , where , then there exists a unique quadratic mapping such that

for all with and . Moreover, if is measurable or if is continuous in for each fixed , then for all and .

Proof.

Letting in (2.1), we get

for all with . If we put with and in (2.1), we obtain

It follows from (2.3) and (2.4) that

for all with . Replacing by in (2.5), we infer the inequality

for all with and all integers . Therefore,

for all with and all integers . It follows from (2.7) that the sequence converges for all with . Let us denote for all with . It is clear that

for all with . Letting and in (2.7), we get

for all with .

Now, suppose that such that , then by (2.1) and the definition of , we obtain

We have to extend the mapping to the whole space . Given any with , let denote the largest integer such that . Consider the mapping defined by and

Let with and let . We have two cases.

Case 1.

If , we have from (2.8) that

Case 2.

If , then is the largest integer satisfying , and we have

Therefore, for all with . From the definition of and (2.8), it follows that for all . Now, suppose that with and choose a positive integer such that . By the definition of and its property, we have

So by the definition of , we have

for all with . Since , (2.15) holds true for . Let with . It follows from (2.1) and (2.15) that

Letting in (2.16), we get for all with . Since , the same is true for . So, is even and this implies that (2.16) is true for all . Therefore, is quadratic. By the definition when , thus (2.2) follows from (2.9). To prove the uniqueness of , let be another quadratic mapping satisfying (2.2) for all . Let with and choose a positive integer such that , then

for all . Since and are quadratic, we get

for all . Therefore, . Since , we have for all . The proof of our last assertion follows from the proof of Theorem 1 in [12].

We now introduce one of the fundamental results of fixed point theory by Margolis and Diaz.

Theorem 2.2 (see [22]).

Let be a complete generalized metric space and let be a strictly contractive mapping with Lipschitz constant . If there exists a nonnegative integer such that for some , then the following are true:

(1)the sequence converges to a fixed point of ,

(2) is the unique fixed point of in

(3) for all .

By using the idea of Cădariu and Radu [45], we applied a fixed point method to the investigation of the generalized Hyers-Ulam stability of the functional equation (1.1) on a restricted domain.

Theorem 2.3.

Given a real normed vector space and a real Banach space , let be fixed and let be a mapping which satisfies the inequality (2.1) for all , where is a function such that

for all , where is a constant number, then there exists a unique quadratic mapping such that

for all with , where

and for all . Moreover, if is measurable or if is continuous in for each fixed , then for all and .

Proof.

It follows from (2.20) that

for all . Let . Letting for in (2.1), we get the following inequalities:

It follows from (2.24) and (2.25) that

By (2.26) and (2.27), we have

It follows from (2.25) and (2.29) that

Using (2.28) and (2.30), we have

By (2.24), we get

Hence, we obtain from (2.31) and (2.32) that

So, it follows from (2.28) and (2.33) that

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

We assert that is a generalized complete metric space. Let be a Cauchy sequence in and be given, then there exists an integer such that for all . This implies that for all and all . Therefore, is a Cauchy sequence in for all . Since is a Banach space, converges for all . Thus, we can define a function by

Since

for all and all , we get for all . That is, the Cauchy sequence converges to in . Hence, is complete. We now consider the mapping defined by

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

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

for all . So . That is, is a strictly contractive on . It follows from (2.34) that . Therefore, according to Theorem 2.2, there exists a function such that the sequence converges to and . Indeed,

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

By (2.1), (2.23) and using the definition of , we get

for all . We will define a mapping such that . Similar to the proof of Theorem 2.1 for a given with , let denote the largest integer such that . Consider the mapping defined by and

Let with and let . We have two cases.

Case 1.

. Since for all , we have

Case 2.

If , then is the largest integer satisfying , and we have

Therefore, for all with . Using for all and the definition of , we get that for all . Now, suppose that with and choose a positive integer such that . By the definition of and its property, we have

So by the definition of , we have

for all with . Since , (2.48) holds true for . Let with , , . It follows from (2.1), (2.23), and (2.48) that

Since and for all , we conclude that (2.49) is true for all . Let with . Putting in (2.49), we get . Therefore, by letting in (2.49), we get for all with . Since , the same is true for . So, is even and this implies that (2.49) is true for all . Therefore, is quadratic. To prove the uniqueness of , let be another quadratic mapping satisfying (2.21), for all . Let with and choose a positive integer such that , then

for all . Since and are quadratic, we get

for all . Therefore, (2.23) implies that . Since , we have for all . Our last assertion is trivial in view of Theorem 2.1.

Corollary 2.4.

Given a real normed vector space and a real Banach space , let and with be fixed. Suppose that a mapping satisfies the inequality (2.1) for all , then there exists a unique quadratic mapping such that

for all with and . Moreover, if is measurable or if is continuous in for each fixed , then for all and .

Remark 2.5.

We may replace the condition (2.20) by

for all and . Using the direct method, there exists a unique quadratic mapping such that

for all with . For the case , where and , we have

Using ideas from the papers [39, 43], we prove the generalized Hyers-Ulam stability of (1.1) on restricted domains. We first prove the following lemma.

Lemma 2.6.

Given a real normed vector space and a real Banach space , let and be fixed. If a mapping satisfies the inequality

for all with , then

for all , where

Proof.

Assume that . If , then we choose a with . Otherwise, let

It is clear that and

Also

Therefore,

So, we get

So, satisfies (2.57) for all .

Theorem 2.7.

Given a real normed vector space and a real Banach space , let and with be given. Assume that a mapping satisfies the inequality (2.56) for all with , then there exists a unique quadratic mapping such that and

for all .

Proof.

By Lemma 2.6, satisfies (2.57) for all . Letting in (2.57), we get

for all , where

We can use the argument given in the proof of Theorem 2.1 to arrive the inequality

for all and all integers . It follows from (2.67) that the sequence converges for all . So, we can define the mapping by for all . Letting and in (2.67), we get (2.64).

For the case and in Theorem 2.7, it is obvious that our inequality (2.64) is sharper than the corresponding inequalities of Jung [39] and Rassias [43].

Skof [38] has proved an asymptotic property of the additive mappings, and Jung [39] has proved an asymptotic property of the quadratic mappings (see also [41]). Using the method in [39], the proof of the following corollary follows from Theorem 2.7 by letting and .

Corollary 2.8 (see [39]).

Given a real normed vector space and a real Banach space , a mapping satisfies (1.1) if and only if the asymptotic condition

holds true.

## 3. -Asymptotically Quadratic Mappings

We apply our results to the study of -asymptotical derivatives. Let be a real normed vector space and let be a real Banach space . Let be arbitrary.

Definition 3.1.

A mapping is called *-asymptotically close* to a mapping if and only if .

Definition 3.2.

A mapping is called *-asymptotically derivable* if the mapping is -asymptotically close to a quadratic mapping . In this case, we say that is a -asymptotical derivative of .

Definition 3.3.

A mapping is called *-asymptotically quadratic* if and only if, for every , there exists such that

for all with .

Definition 3.4.

A mapping is called *quadratic outside a ball* if there exists such that for all with .

We have the following result.

Theorem 3.5.

If is quadratic outside a ball and is -asymptotically close to , then is -asymptotically quadratic.

The following result follows from Corollary 2.4.

Corollary 3.6.

If is quadratic outside a ball and is -asymptotically close to , then has a -asymptotical derivative.

## 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: 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-1Bourgin DG: Classes of transformations and bordering transformations.

*Bulletin of the American Mathematical Society*1951, 57: 223–237. 10.1090/S0002-9904-1951-09511-7Gă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.1211Bae J-H, Park W-G: On stability of a functional equation with variables.

*Nonlinear Analysis: Theory, Methods & Applications*2006, 64(4):856–868. 10.1016/j.na.2005.06.028Bae J-H, Park W-G: On a cubic equation and a Jensen-quadratic equation.

*Abstract and Applied Analysis*2007, 2007:-10.Bae J-H, Park W-G: A functional equation having monomials as solutions.

*Applied Mathematics and Computation*2010, 216(1):87–94. 10.1016/j.amc.2010.01.006Bae J-H, Park W-G: Approximate bi-homomorphisms and bi-derivations in -ternary algebras.

*Bulletin of the Korean Mathematical Society*2010, 47(1):195–209. 10.4134/BKMS.2010.47.1.195Cholewa PW: Remarks on the stability of functional equations.

*Aequationes Mathematicae*1984, 27(1–2):76–86.Czerwik S: On the stability of the quadratic mapping in normed spaces.

*Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg*1992, 62: 59–64. 10.1007/BF02941618Faĭziev VA, Rassias ThM, Sahoo PK: The space of -additive mappings on semigroups.

*Transactions of the American Mathematical Society*2002, 354(11):4455–4472. 10.1090/S0002-9947-02-03036-2Forti GL: An existence and stability theorem for a class of functional equations.

*Stochastica*1980, 4(1):23–30. 10.1080/17442508008833155Forti GL: Hyers-Ulam stability of functional equations in several variables.

*Aequationes Mathematicae*1995, 50(1–2):143–190. 10.1007/BF01831117Grabiec A: The generalized Hyers-Ulam stability of a class of functional equations.

*Publicationes Mathematicae Debrecen*1996, 48(3–4):217–235.Hyers DH, Rassias ThM: Approximate homomorphisms.

*Aequationes Mathematicae*1992, 44(2–3):125–153. 10.1007/BF01830975Isac 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/S0161171296000324Jordan P, von Neumann J: On inner products in linear, metric spaces.

*Annals of Mathematics*1935, 36(3):719–723. 10.2307/1968653Jun K-W, Lee Y-H: On the Hyers-Ulam-Rassias stability of a Pexiderized quadratic inequality.

*Mathematical Inequalities & Applications*2001, 4(1):93–118.Kannappan P: Quadratic functional equation and inner product spaces.

*Results in Mathematics*1995, 27(3–4):368–372.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-0Najati 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, 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-G: 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-4Park W-G, Bae J-H: On a Cauchy-Jensen functional equation and its stability.

*Journal of Mathematical Analysis and Applications*2006, 323(1):634–643. 10.1016/j.jmaa.2005.09.028Park W-G, Bae J-H: A functional equation originating from elliptic curves.

*Abstract and Applied Analysis*2008, 2008:-10.Park W-G, Bae J-H: Approximate behavior of bi-quadratic mappings in quasinormed spaces.

*Journal of Inequalities and Applications*2010, 2010:-8.Rassias ThM: On a modified Hyers-Ulam sequence.

*Journal of Mathematical Analysis and Applications*1991, 158(1):106–113. 10.1016/0022-247X(91)90270-ARassias ThM: On the stability of functional equations and a problem of Ulam.

*Acta Applicandae Mathematicae*2000, 62(1):23–130. 10.1023/A:1006499223572Rassias ThM: On the stability of functional equations in Banach spaces.

*Journal of Mathematical Analysis and Applications*2000, 251(1):264–284. 10.1006/jmaa.2000.7046Aczél J, Dhombres J:

*Functional Equations in Several Variables, Encyclopedia of Mathematics and Its Applications*.*Volume 31*. Cambridge University Press, Cambridge, UK; 1989:xiv+462.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, 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.Rassia ThM (Ed):

*Functional Equations, Inequalities and Applications*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003:x+224.Skof F: Proprieta' locali e approssimazione di operatori.

*Rendiconti del Seminario Matematico e Fisico di Milano*1983, 53(1):113–129. 10.1007/BF02924890Jung S-M: On the Hyers-Ulam stability of the functional equations that have the quadratic property.

*Journal of Mathematical Analysis and Applications*1998, 222(1):126–137. 10.1006/jmaa.1998.5916Jung S-M: Stability of the quadratic equation of Pexider type.

*Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg*2000, 70: 175–190. 10.1007/BF02940912Jung S-M, Kim B: On the stability of the quadratic functional equation on bounded domains.

*Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg*1999, 69: 293–308. 10.1007/BF02940881Jung S-M, Sahoo PK: Hyers-Ulam stability of the quadratic equation of Pexider type.

*Journal of the Korean Mathematical Society*2001, 38(3):645–656.Rassias JM: On the Ulam stability of mixed type mappings on restricted domains.

*Journal of Mathematical Analysis and Applications*2002, 276(2):747–762. 10.1016/S0022-247X(02)00439-0Hyers DH, Isac G, Rassias ThM: On the asymptoticity aspect of Hyers-Ulam stability of mappings.

*Proceedings of the American Mathematical Society*1998, 126(2):425–430. 10.1090/S0002-9939-98-04060-XCădariu L, Radu V: On the stability of the Cauchy functional equation: a fixed point approach. In

*Iteration Theory (ECIT '02), Grazer Math. Ber.*.*Volume 346*. Karl-Franzens-Univ. Graz, Graz, Austria; 2004:43–52.

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

Rahimi, A., Najati, A. & Bae, JH. On the Asymptoticity Aspect of Hyers-Ulam Stability of Quadratic Mappings.
*J Inequal Appl* **2010**, 454875 (2011). https://doi.org/10.1155/2010/454875

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/454875

### Keywords

- Functional Equation
- Quadratic Mapping
- Cauchy Sequence
- Large Integer
- Real Banach Space