Journal of Function Spaces
Volume 2016 (2016), Article ID 8746728, 7 pages
http://dx.doi.org/10.1155/2016/8746728

Research Article

A Fixed Point Approach to the Stability of an Additive-Quadratic-Cubic-Quartic Type Functional Equation

Yang-Hi Lee¹ and Soon-Mo Jung²

¹Department of Mathematics Education, Gongju National University of Education, Gongju 32553, Republic of Korea
²Mathematics Section, College of Science and Technology, Hongik University, Sejong 30016, Republic of Korea

Received 4 December 2015; Accepted 17 March 2016

Academic Editor: Zbigniew Leśniak

Copyright © 2016 Yang-Hi Lee and Soon-Mo Jung. 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.

By applying a fixed point approach, we investigate the stability problems for an AQCQ functional equation of the form

1. Introduction

In 1940, Ulam [1] posed the problem concerning the stability of group homomorphisms. In the following year, Hyers [2] gave an affirmative answer to Ulam’s problem for additive mappings between Banach spaces. Thereafter, many mathematicians came to deal with this subject (cf. [3, 4]).

We now consider the following functional equation:

The mappings are solutions of this functional equation, where are real constants.

The stability problems of (1) were investigated by Lee et al. [5]. Indeed, they proved the stability of the equation by dividing the relevant mapping into the additive, quadratic, cubic, and quartic parts and applying the fixed point method to each part separately. Unfortunately, they could not prove the uniqueness of the exact solution of (1) which approximates the (given) mapping that is a solution of the perturbed equation of (1).

In this paper, we will show that every solution of functional equation (1) is an AQCQ mapping (see below for the definition of AQCQ mapping) and we introduce a strictly contractive mapping which allows us to use the fixed point theory in the sense of Cădariu and Radu (see [6–8]). In a different way from Lee et al. [5], we do not split the (given) mapping which satisfies the perturbed equation of (1) and we apply the fixed point method to construct the explicit form of the exact solution of (1) near the (given) mapping by

or

where we denote by and the odd and even parts of , respectively.

Using this method, we can prove the uniqueness of the exact solution of (1) near the (given) mapping.

Throughout this paper, let denote the set of all positive integers and let denote the set of all nonnegative integers.

2. Preliminaries

We recall the fixed point theorem of Diaz and Margolis [9].

Theorem 1. Assume that is a complete generalized metric space and is a strictly contractive mapping with the Lipschitz constant . It then holds that, for each , either for all or there exists such that

(i) for all ;(ii)the sequence is convergent to a fixed point of ;(iii) is the unique fixed point of in ;(iv) for all .

Throughout this paper, let and be real vector spaces, let be a real normed space, and let be a real Banach space.

For a given mapping , we use the following abbreviations:

for all . Each solution of , , , and is called an additive mapping, a quadratic mapping, a cubic mapping, and a quartic mapping, respectively. Every mapping is called an AQCQ mapping (additive-quadratic-cubic-quartic mapping) if can be expressed by the sum of an additive mapping, a quadratic mapping, a cubic mapping, and a quartic mapping.

The following lemmas have been proved in [10].

Lemma 2 ([10], Theorem 2.3). If is an odd mapping satisfying for all , then there exists a cubic mapping and an additive mapping such that for all .

Lemma 3 ([10], Theorem 2.4). If is an even mapping satisfying the equalities for all and for all , then is a quadratic mapping.

In the following theorem, we investigate the general solution of the functional equation .

Theorem 4. A mapping satisfies for all if and only if is an AQCQ mapping.

Proof. First, we assume that a mapping satisfies for all . Then, the odd part satisfies the equalities

for all . It follows from Lemma 2 that is a cubic-additive mapping.
Let and for all . By a direct calculation and using the assumption that for all , we obtain and

that is,

for all . Using these equalities, we further get the equalities and which imply the equalities and for all . Hence, by (7) and the fact that , Lemma 3 implies that is quadratic. Moreover, is quartic because of for all . Since

for all , is an AQCQ mapping.
Conversely, assume that are mappings such that the equalities , , , , and hold for all . Then the equalities , , , , , , , and hold for all . From the above equalities, we obtain the equalities

for all , which imply that

for all .

3. Main Results

Throughout this section, let be a real vector space and let be a real Banach space.

In the following theorems, we can prove the generalized Hyers-Ulam stability of the functional equation (1) by using a fixed point approach.

Theorem 5. Let be a mapping, for which there exists a mapping such that the inequality

holds for all , , and let . If there exists a constant such that satisfies the condition

for all , , then there exists a unique solution of (1) satisfying the inequality

for all , where . In particular, is represented by

for all .

Proof. Let be the set of all functions with . We introduce a generalized metric on by

It is not difficult to see that is a generalized complete metric space (see [11, 12]).
We now consider the mapping , which is defined by

for all . We assert that the equality

holds for all and . Equality (17) is true if . We assume that (17) is true for some . Then we have

for all and , which we can obtain from (17) provided we replace with .
Let and let be an arbitrary constant with . From the definition of , we have

for all , which implies that

for any . That is, is a strictly contractive self-mapping of with the Lipschitz constant .
Moreover, by a long calculation and (11), we see that

for all . It means that by the definition of . Therefore, according to Theorem 1 and , the sequence converges to the unique fixed point of in the set , which is represented by (14) for all .
Notice that

which implies (13).
By the definition of , together with (11) and (12), we have

for all ; that is, is a solution of the functional equation (1). Notice that if is a solution of the functional equation (1), then the equality

implies that is a fixed point of .

In the following theorem, we replace condition (12) for with another (25) and prove the generalized Hyers-Ulam stability of AQCQ equation (1) by applying a fixed point approach.

Theorem 6. Let be a mapping, for which there exists a mapping such that inequality (11) holds for all , and let . If there exists a constant such that satisfies the condition

for all , then there exists a unique solution of (1) satisfying the inequality

for all . In particular, is represented by

for all .

Proof. Let be the set defined in the proof of Theorem 5. We now consider the mapping defined by

for all . We assert that the equality

holds for all and . Equality (29) is obviously true when . We assume that (29) holds for some . Then we have

for all and , which we get from (29) when we replace by .
Let and let be an arbitrary constant with . From the definition of , we have

for all , which implies that

for any . That is, is a strictly contractive self-mapping of with the Lipschitz constant .
Moreover, by (11), we see that

for all , which implies that

by the definition of .
Therefore, according to Theorem 1, the sequence converges to the unique fixed point of in the set , which is represented by (27) for all . Notice that

which implies (26).
By definition of , together with (11) and (25), we have

for all ; that is, is a solution of the functional equation (1). Notice that if is a solution of the functional equation (1), then the equality

implies that is a fixed point of .

Competing Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Authors’ Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final paper.

Acknowledgments

Soon-Mo Jung was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. 2013R1A1A2005557).

References

S. M. Ulam, A Collection of Mathematical Problems, Interscience, New York, NY, USA, 1960.

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.

P. Găvruta, “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.

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.

J. R. Lee, J.-h. Kim, and C. Park, “A fixed point approach to the stability of an additive-quadratic-cubic-quartic functional equation,” Fixed Point Theory and Applications, vol. 2010, Article ID 185780, 16 pages, 2010.

L. Cădariu and V. Radu, “Fixed points and the stability of Jensen's functional equation,” Journal of Inequalities in Pure and Applied Mathematics, vol. 4, no. 1, article 4, 2003.

L. Cădariu and V. Radu, “Fixed points and the stability of quadratic functional equations,” Analele Universitatii din Timisoara, Seria Matematică-Informatică, vol. 41, pp. 25–48, 2003.

L. Cădariu and V. Radu, “On the stability of the Cauchy functional equation: a fixed point approach,” in Iteration Theory, vol. 346 of Grazer Mathematische Berichte, pp. 43–52, Karl-Franzens-Universitäet, Graz, Graz, Austria, 2004.

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.

Y.-H. Lee, “On the generalized Hyers-Ulam stability of the generalized polynomial function of degree 3,” Tamsui Oxford Journal of Mathematical Sciences, vol. 24, no. 4, pp. 429–444, 2008.

S.-M. Jung, “A fixed point approach to the stability of a Volterra integral equation,” Fixed Point Theory and Applications, vol. 2007, Article ID 57064, 9 pages, 2007.

S.-M. Jung and T.-S. Kim, “A fixed point approach to the stability of the cubic functional equation,” Boletín de la Sociedad Matemática Mexicana, vol. 12, no. 1, pp. 51–57, 2006.