Research Article | Open Access

Hark-Mahn Kim, Kil-Woung Jun, Eunyoung Son, "Generalized Hyers-Ulam Stability of Quadratic Functional Inequality", *Abstract and Applied Analysis*, vol. 2013, Article ID 564923, 8 pages, 2013. https://doi.org/10.1155/2013/564923

# Generalized Hyers-Ulam Stability of Quadratic Functional Inequality

**Academic Editor:**Krzysztof CiepliĆski

#### Abstract

We establish the general solution of the functional inequality and then investigate the generalized Hyers-Ulam stability of this inequality in Banach spaces and in non-Archimedean Banach spaces.

#### 1. Introduction

The stability problem of functional equations originated from a question of Ulam [1] in 1940, concerning the stability of group homomorphisms.

We are given a group and a metric group with metric . Given , does there exist a number such that if satisfies for all , then a homomorphism exists with for all ?

Hyers [2] gave a first affirmative partial answer to the question of Ulam for Banach spaces by using, so called, direct method. Hyersâ theorem was generalized by Aoki [3] for additive mappings and by Rassias [4] for linear mappings by considering an unbounded Cauchy difference. A generalization of the Rassiasâ theorem was obtained by GÄvruta [5] by replacing the unbounded Cauchy difference by a general control function in the spirit of the Rassiasâ approach.

Let and be vector spaces. A mapping is called quadratic if and only if it is a solution of the quadratic functional equation: for all . It is well known that a function between real vector spaces is quadratic if and only if there exists a unique symmetric biadditive function such that for all , where the mapping is given by ([6, 7]). The Hyers-Ulam stability of the quadratic functional equation (1) was first proved by Skof [8] for functions , where is a normed space and is a Banach space. Cholewa [9] noticed that Skofâs theorem is also valid if is replaced by an abelian group. In 1992, Czerwik [10] proved the generalized Hyers-Ulam stability of quadratic functional equation (1) in the spirit of Rassias approach by using direct method [11].

The generalized Hyers-Ulam stability of the above quadratic functional equation and of two functional equations of quadratic type was obtained by CÄdariu and Radu [12, 13] by using fixed point method (see also [14, 15]).

GilĂĄnyi [16] and RĂ€tz [17] proved that for a function mapping from an abelian group divisible by 2 into an inner product space , the functional inequality implies the Jordan-von Neumann functional equation

Fechner [18] and GilĂĄnyi [19] have proved the generalized Hyers-Ulam stability of the functional inequality (2). Park et al. [20] have investigated the generalized Hyers-Ulam stability of functional inequalities associated with Jordan-von Neumann type additive functional equations, and Kim et al. [21] have proved the generalized Hyers-Ulam stability of Jensen functional inequality in -Banach spaces. The stability problems of several functional equations and inequalities have been extensively investigated by a number of authors and there are many interesting results concerning the stability of various functional equations and inequalities [6, 22].

In 2001, Bae and Kim [23] investigated the Hyers-Ulam stability of the quadratic functional equation which is equivalent to the original quadratic functional equation (1). Now, let us turn our attention to investigate the generalized stability problem of the following quadratic functional inequality:

In this paper, we make an attempt to establish the generalized Hyers-Ulam stability of a new quadratic functional inequality (5) by using fixed point method and direct method. In Section 2, we establish the general solution of the functional inequality (5). And then we prove the generalized Hyers-Ulam stability of the functional inequality (5) in Banach spaces by using fixed point method. In Section 3, we verify the generalized Hyers-Ulam stability of the functional inequality (5) in Banach spaces by using direct method. In Section 4, we investigate the generalized Hyers-Ulam stability of the functional inequality (5) in non-Archimedean Banach spaces by using fixed point method. In Section 5, we prove the generalized Hyers-Ulam stability of the functional inequality (5) in non-Archimedean Banach spaces by using direct method.

#### 2. Stability of **(5)** by Fixed Point Method

In [24], Rassias introduced the following equality: for a fixed integer . Let , be real vector space. It has been proved that if a mapping satisfies for all with , then the mapping is realized as the sum of an additive mapping and a quadratic mapping [25]. Park [25] and Jang et al. [26] have proved the generalized Hyers-Ulam stability of the functional equation (7). In particular, if and even function satisfies (7), then it is easy to see that satisfies the equation for all . Thus, we first consider the general solution of functional equation (8) to verify the general solution of functional inequality (5).

Lemma 1. *Let both and be vector spaces. A function satisfies (8) if and only if is quadratic.*

*Proof. *If we put in (8), then we have . Letting in (8), we have for all . Similarly, we can easily show that and for all . Replacing by in (8), we get for all . Substituting for in (8), we obtain
for all . Switching with in (9) yields
for all . Adding (9) to (10) and using (8), we arrive at
for all . Letting in (8), we obtain
for all . Switching with in (12) and using the evenness of , one gets
for all . Adding (12) to (13) and using (8), we have
for all . Putting and in (8), we get
for all . From (14) and (15), it follows that
for all . By (11) and (16), we obtain
for all . Letting and in (17), we have
for all . Interchanging for in (18) and using the evenness of , one gets
for all . Substituting for in (18), we get by virtue of (19)
which yields
for all . Thus, the mapping is quadratic.

The proof of the converse is trivial.

Now, we present the general solution of the functional inequality (5) by using Lemma 1.

Lemma 2. *Let both and be vector spaces. A mapping satisfies the functional inequality (5) for all if and only if is quadratic.*

*Proof. *Let satisfy the functional inequality (5). If we replace in (5) by , then we have . Replacing by in (5), we obtain
for all . Letting and in (5), we get
for all . Putting in (22) yields
for all . From (23) and (24), we have for all . Thus, it follows from (22) that
for all . So is quadratic by Lemma 1.

The proof of the converse is trivial.

Let be a set. A function is called a generalized metric on if satisfies the following:(1) if and only if ;(2) for all ;(3) for all .

Before taking up the main subject, we recall the fixed point theorem from [14].

Theorem 3 (see [14]). *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 positive 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 .*

In this part, let be a normed space and a Banach space.

Theorem 4. *Suppose that a mapping with satisfies the functional inequality
**
for all and that there exists a constant with for which the perturbing function satisfies
**
for all . Then, there exists a unique quadratic mapping given by (, resp.) such that
**
for all .*

*Proof. *Replacing by in (27), we obtain
for all . Letting and in (27), we get
for all . Putting in (30) yields
for all . From (31) and (32), it follows that
and so
for all .

Consider the set of mappings
and introduce the generalized metric on :
where, as usual, . It is easy to show that is a complete generalized metric space (see the proof of Theorem 3.1 of [27]).

Now we consider a linear mapping such that
for all . Then it is well-known that is a strictly contractive mapping with Lipschitz constant , and it follows from (34) that . By Theorem 3, there exists a mapping satisfying the following.(1) is a fixed point of , that is, for all . The mapping is a unique fixed point of in the set . This implies that is a unique fixed point of such that there exists a satisfying
for all .(2) as . This implies the equality for all .(3), which implies that the inequality (29) holds.

Now, we show that the mapping is quadratic. It follows from (27) and (28) that
for all . Thus, it follows from Lemma 2 that the mapping is quadratic, as desired.

We obtain the following corollary concerning the stability for approximate mappings controlled by a sum of powers of norms.

Corollary 5. *Let be a real number and a positive real number with . If a mapping with satisfies the inequality
**
for all , then we can find a unique quadratic mapping satisfying the inequality
**
for all . *

#### 3. Stability of **(5)** by Direct Method

**(5)**

We now investigate stability problem of the quadratic functional inequality (5) with perturbed control function . In this section, let be a normed space and a Banach space.

Theorem 6. *Suppose that a mapping with satisfies the functional inequality (27) and that the perturbing function satisfies
**
for all . Then, there exists a unique quadratic mapping defined by (, resp.) such that
**
for all .*

*Proof. *It follows from (33) that
for all . Therefore, we prove from inequality (44) that for any integers and with
for all . Since the right-hand side of (45) tends to zero as , we obtain that the sequence is Cauchy for all . Because of the fact that is complete, it follows that the sequence converges in . Therefore, we can define a mapping as

Moreover, letting and taking in (45), we get the desired inequality (43).

It follows from (27) and (42) that
for all . So the mapping is quadratic.

Next, let be another quadratic mapping satisfying (43). Then, we have
for all and all . Taking the limit as , we conclude that for all . This completes the proof.

We obtain the following corollary concerning the stability for approximate mappings controlled by a sum of powers of norms.

Corollary 7. *Let be a real number and a positive real number with or for all . If a mapping with satisfies the inequality
**
for all , then we can find a unique quadratic mapping satisfying the inequality
**
for all . *

#### 4. Stability of **(5)** in Non-Archimedean Spaces by Fixed Point Method

**(5)**

A non-Archimedean valuation in a field is a function : with the following:(i) if and only if ;(ii) for all ;(iii) for all .

Any field endowed with a non-Archimedean valuation is said to be a non-Archimedean field; in any such field we have and for all .

*Definition 8. *Let X be a linear space over a field with a non-Archimedean nontrivial valuation . A function is said to be a non-Archimedean norm if it satisfies the following conditions:(i) if and only if ;(ii), for all and ;(iii), for all .Then is called a non-Archimedean normed space.

*Definition 9. *Let be a sequence in a non-Archimedean normed space .(1) A sequence in a non-Archimedean space is a Cauchy sequence if the sequence converges to zero.(2) The sequence is said to be convergent if, for any , there are a positive integer and such that
Then the point is called the limit of the sequence , which is denoted by .(3) If every Cauchy sequence in converges, then the non-Archimedean normed space is called a non-Archimedean Banach space.

In 2007, Moslehian and Rassias [28] proved the generalized Hyers-Ulam stability of the Cauchy and quadratic functional equations in non-Archimedean normed spaces. Some papers [29, 30] on the stability of various functional equations in non-Archimedean normed spaces have been published after their stability results.

In this section, assume that is a non-Archimedean normed space and that is a non-Archimedean Banach space. Now, we are going to investigate the stability of the functional inequality (5) in non-Archimedean Banach space by using fixed point method.

Theorem 10. *Suppose that a mapping with satisfies the functional inequality (27) and that there exists a constant with for which the perturbing function satisfies
**
for all . Then, there exists a unique quadratic mapping given by (, resp.) such that
**
for all , where for all .*

*Proof. *From (31) and (32), we get by using the non-Archimedean norm

and so
for all . Applying the similar argument to the corresponding proof of Theorem 4 on the complete generalized metric space , we get the desired result.

We obtain the following corollary concerning the stability for approximate mappings controlled by a sum of powers of norms.

Corollary 11. *Let be a real number and a positive real number with . If a mapping with satisfies the inequality
**
for all , then we can find a unique quadratic mapping satisfying the inequality
**
for all . *

#### 5. Stability of **(5)** in Non-Archimedean Spaces by Direct Method

**(5)**

Now, we are going to investigate the stability of the functional inequality (5) in non-Archimedean Banach space by direct method. In this section, assume that is a non-Archimedean normed space and that is a non-Archimedean Banach space.

Theorem 12. *Suppose that a mapping with satisfies the functional inequality (27) and that is a function such that
**
for all and
**
exists for all , where
**
for all . Then there exists a quadratic mapping defined by , (, resp.) such that
**
for all . Moreover, if
**
for all , then is a unique quadratic mapping satisfying (61). *

*Proof. *Replacing by and dividing by in (55), we have
for all . It follows from (58) and (63) that the sequence is Cauchy for all , and the sequence converges in the non-Archimedean Banach space . Therefore, we can define a mapping as
Applying the similar argument to the corresponding proof of Theorem 6, we get the required result.

Corollary 13. *Letââ be a function satisfying (i) â for all and (ii) .**Suppose that with satisfies the inequality
**
for all and for some . Then there exists a unique quadratic mapping such that
**
for all .*

*Proof. *Letting , we obtain
for all . It follows from (60) that
By direct calculation,
exists and
holds for all . Applying Theorem 12, we conclude that
for all .

Corollary 14. *Let be a function satisfying (i) for all and (ii) .**Suppose that a mapping with satisfies the inequality
**
for all and for some . Then there exists a unique quadratic mapping such that
**
for all .*

#### Acknowledgment

This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. 2012R1A1A2008139).

#### References

- S. M. Ulam,
*A Collection of Mathematical Problems*, Interscience, New York, NY, USA, 1960. View at: MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. Aczél and J. Dhombres,
*Functional Equations in Several Variables*, vol. 31 of*Encyclopedia of Mathematics and Its Applications*, Cambridge University Press, Cambridge, Mass, USA, 1989. View at: Publisher Site | MathSciNet - D. H. Hyers and T. M. Rassias, âApproximate homomorphisms,â
*Aequationes Mathematicae*, vol. 44, no. 2-3, pp. 125â153, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - F. Skof, âLocal properties and approximation of operators,â
*Rendiconti del Seminario Matematico e Fisico di Milano*, vol. 53, pp. 113â129, 1983. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. W. Cholewa, âRemarks on the stability of functional equations,â
*Aequationes Mathematicae*, vol. 27, no. 1-2, pp. 76â86, 1984. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. Czerwik, âOn the stability of the quadratic mapping in normed spaces,â
*Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg*, vol. 62, pp. 59â64, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. Cǎdariu and V. Radu, âFixed points and the stability of quadratic functional equations,â
*Analele Universitǎţii de Vest din Timişoara*, vol. 41, no. 1, pp. 25â48, 2003. View at: Google Scholar | Zentralblatt MATH | MathSciNet - L. C. Cădariu and V. Radu, âOn the stability of the Cauchy functional equation: a fixed point approch,â
*Grazer Mathematische Berichte*, vol. 346, pp. 43â52, 2004. View at: Google Scholar - J. B. Diaz and B. Margolis, âA fixed point theorem of the alternative, for contractions on a generalized complete metric space,â
*Bulletin of the American Mathematical Society*, vol. 74, pp. 305â309, 1968. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - K. Ciepliński, âApplications of fixed point theorems to the Hyers-Ulam stability of functional equations—a survey,â
*Annals of Functional Analysis*, vol. 3, no. 1, pp. 151â164, 2012. View at: Google Scholar | Zentralblatt MATH | MathSciNet - A. Gilányi, âEine zur Parallelogrammgleichung äquivalente Ungleichung,â
*Aequationes Mathematicae*, vol. 62, no. 3, pp. 303â309, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. Rätz, âOn inequalities associated with the Jordan-von Neumann functional equation,â
*Aequationes Mathematicae*, vol. 66, no. 1-2, pp. 191â200, 2003. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - W. Fechner, âStability of a functional inequality associated with the Jordan-von Neumann functional equation,â
*Aequationes Mathematicae*, vol. 71, no. 1-2, pp. 149â161, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. Gilányi, âOn a problem by K. Nikodem,â
*Mathematical Inequalities & Applications*, vol. 5, no. 4, pp. 707â710, 2002. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - C. Park, Y. S. Cho, and M.-H. Han, âFunctional inequalities associated with Jordan-von Neumann-type additive functional equations,â
*Journal of Inequalities & Applications*, vol. 2007, Article ID 41820, 13 pages, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - H.-M. Kim, K.-W. Jun, and E. Son, âHyers-Ulam stability of Jensen functional inequality in $p$-Banach spaces,â
*Abstract and Applied Analysis*, vol. 2012, Article ID 270954, 16 pages, 2012. View at: Publisher Site | Google Scholar | MathSciNet - 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. View at: Publisher Site | MathSciNet - J.-H. Bae and H.-M. Kim, âOn the generalized Hyers-Ulam stability of a quadratic mapping,â
*Far East Journal of Mathematical Sciences*, vol. 3, no. 4, pp. 599â608, 2001. View at: Google Scholar | Zentralblatt MATH | MathSciNet - T. M. Rassias, âOn characterizations of inner product spaces and generalizations of the H. Bohr inequality,â in
*Topics in Mathematical Analysis*, T. M. Rassias, Ed., vol. 11, pp. 803â819, World Scientific, Singapore, 1989. View at: Google Scholar | Zentralblatt MATH | MathSciNet - C. Park, âFixed points, inner product spaces, and functional equations,â
*Fixed Point Theory and Applications*, vol. 2010, Article ID 713675, 14 pages, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. Jang, C. Park, and H. A. Kenary, âFixed points and fuzzy stability of functional equations related to inner product,â
*Journal of Nonlinear Analysis and Application*, vol. 2012, Article ID 00109, 15 pages, 2012. View at: Publisher Site | Google Scholar - S.-M. Jung and Z.-H. Lee, âA fixed point approach to the stability of quadratic functional equation with involution,â
*Fixed Point Theory and Applications*, vol. 2008, Article ID 732086, 11 pages, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. S. Moslehian and T. M. Rassias, âStability of functional equations in non-Archimedean spaces,â
*Applicable Analysis and Discrete Mathematics*, vol. 1, no. 2, pp. 325â334, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. J. Cho, C. Park, and R. Saadati, âFunctional inequalities in non-Archimedean Banach spaces,â
*Applied Mathematics Letters*, vol. 23, no. 10, pp. 1238â1242, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. Brzdęk and K. Ciepliński, âA fixed point theorem and the Hyers-Ulam stability in non-Archimedean spaces,â
*Journal of Mathematical Analysis and Applications*, vol. 400, no. 1, pp. 68â75, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet

#### Copyright

Copyright © 2013 Hark-Mahn Kim 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.