Abstract and Applied Analysis

Volume 2013 (2013), Article ID 198018, 10 pages

http://dx.doi.org/10.1155/2013/198018

## Stability of a Functional Equation Deriving from Quadratic and Additive Functions in Non-Archimedean Normed Spaces

^{1}Department of Mathematics, Garmsar Branch, Islamic Azad University, Garmsar, Iran^{2}Department of Mathematics, Hallym University, Chuncheon 200-702, Republic of Korea

Received 19 July 2013; Revised 27 August 2013; Accepted 7 September 2013

Academic Editor: Krzysztof Ciepliński

Copyright © 2013 Abasalt Bodaghi and Sang Og Kim. 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

We obtain the general solution of the generalized mixed additive and quadratic functional equation , is even; , is odd, for a positive integer . We establish the Hyers-Ulam stability for these functional equations in non-Archimedean normed spaces when is an even positive integer or .

#### 1. Introduction

The basic problem of the stability of functional equations was formulated by Ulam in 1940 in the following form. Suppose that a mapping satisfies the additive functional equation only approximately. Then does there exist an additive function which approximates ? (See also [1].) In 1941, Hyers [2] gave the following answer to this question for Banach spaces. The result of Hyers was generalized in 1950 by Aoki [3] for approximately additive mappings and in 1978 by Rassias [4] for approximately linear mappings, by considering the unbounded Cauchy differences. A further generalization was obtained by Găvruţa [5] in 1994, by replacing the Cauchy differences by a control function satisfying a very simple condition of convergence.

The Hyers-Ulam stability problem for the quadratic functional equation was first proved by Skof for a function , where is a normed space and is a Banach space [6]. One year later, Cholewa [7] demonstrated that Skof’s theorem is still true if relevant domain is replaced by an abelian group. After that, in [8], Czerwik proved the Hyers-Ulam stability of the quadratic functional equation (1) as a special case. In [9], it was shown that a mapping is quadratic if and only if for all . Also, is quadratic if and only if for all [10]. Cădariu and Radu investigated the stability of the Cauchy functional equation [11] and for the quadratic functional equation [12]. Stability problems of miscellaneous functional equations have been investigated by several authors during the last decades (see, e.g., [13–15]).

In [16], Eskandani et al. determined the general solution of the following mixed additive and quadratic functional equation:

They studied the Hyers-Ulam stability of (2) in non-Archimedean Banach modules over a unital Banach algebra. In [17], Najati and Moghimi established the general solution of the mixed type additive and quadratic functional equation and investigated the stability of this equation in quasi-Banach spaces. The stability of (3) in random normed spaces is proved in [18].

In this paper, we consider the following functional equations: where is an even positive integer and Indeed, (4) and (5) are different from (2) and (3). It is easily verified that the function is a solution of the functional equations (4) and (5). We show that these functional equations are mixed additive and quadratic mappings. We also prove the Hyers-Ulam stability problem for these equations. As a corollary, the hyperstability of (4) and (5) under some conditions in non-Archimedean normed spaces is shown as well.

#### 2. General Solution of (4) and (5)

To achieve our aim in this paper, we need the following lemma which is a fundamental tool.

Lemma 1. *Let and be real vector spaces. *(i)*If an odd mapping satisfies the functional equation (4), then is additive. *(ii)*If an odd mapping satisfies the functional equation (5), then is additive. *(iii)*If an even mapping satisfies the functional equation (4), then is quadratic. *(iv)*If an even mapping satisfies the functional equation (5), then is quadratic. *

*Proof. *(i) Letting in (4), we get for all . This equality implies that
for all . Replacing by in (6), we have
for all . Substituting by in (7), respectively, we obtain
for all . The equalities (7) and (8) show that

(ii) Suppose that satisfies (5). Similar to the part (i), by the oddness of , we have for all . Thus
for all . We substitute by in (10) and then by in (10); we get
for all . Then, by adding (11) to (12), we lead to
for all . Similar to the part (i), we can show that is additive.

(iii) By the assumption, the equality
holds for a fixed even positive integer . Putting in (14), we get . Once more, by letting in (14), we have
for all . Interchanging into in (14), respectively, we deduce that
for all . Plugging (15) into (16), we have for all and thus for all . Using the last equality and (14), we have
for all . Setting in (17), we obtain for all . Applying this equality and putting by in (17), we get
for all . This shows that is a quadratic mapping.

(iv) Suppose that satisfies (5). Replacing by and in (5), respectively, we have
for all . The equalities (19) and (20) imply that
for all . Now, the above equality is a special case of the part (iii) when .

In the following theorem, we solve (4) in which is an even positive integer and where is an odd positive integer.

Theorem 2. *Let and be real vector spaces. Then a mapping satisfies the functional equation (2) if and only if it satisfies
**
for all , where is a fixed positive integer with . *

*Proof. *Suppose that satisfies the functional equation (2). Putting in (2), we get . Replacing by and in (2), respectively, we have
Similar to the above, we get
Using the above method, we can deduce that
for all for which , and
Solving the above recurrence equations, we get
for all positive integers .

Conversely, assume that satisfies the functional equations (4) and (22) for each . Firstly, we assume that is even. For and for each , we have
for all . On the other hand,
for all . It follows from (29) and (30) that
for all . Since is an odd number, we have
for all . Also,
for all . Plugging (32) into (33) and using (31), we get
For the odd case , we have
for all . Also
for all . The comparison of (35) and (36) shows that
for all . For and for each , we have
for all . On the other hand,
for all . Now, by comparing (38) with (39) and applying (37), we obtain
for all . This completes the proof.

Theorem 3. *Let and be real vector spaces. A mapping satisfies either (4) or (5) if and only if there exist a symmetric biadditive mapping and an additive mapping such that for all . *

*Proof. *Assume that there exist a symmetric biadditive mapping and an additive mapping such that for all . A simple computation shows that the mappings and given by satisfy the functional equations (4) and (5). Therefore the mapping satisfies (4) and (5).

Conversely, we decompose into the even part and odd part by setting
for all . Obviously, for all . One can easily check that the mappings and satisfy (4) and (5). It follows from Lemma 1 that the mappings and are quadratic and additive, respectively. Since is quadratic, by [19], there exists a symmetric biadditive mapping such that for all . Thus for all , where for all .

#### 3. Hyers-Ulam Stability of (4) and (5)

We recall some basic facts concerning non-Archimedean spaces and some preliminary results.

By a non-Archimedean field, we mean a field equipped with a function (valuation) from into such that if and only if , , and for all . Clearly and for all .

Let be a vector space over a scalar field with a non-Archimedean nontrivial valuation . A function is a non-Archimedean norm (valuation) if it satisfies the following conditions: (i) if and only if ; (ii), ; (iii)the strong triangle inequality (ultrametric), namely, Then is called a non-Archimedean normed space. Due to the fact that a sequence is Cauchy if and only if converges to zero in a non-Archimedean normed space . By a complete non-Archimedean normed space, we mean one in which every Cauchy sequence is convergent.

In [20], Hensel discovered the -adic numbers as a number theoretical analogue of power series in complex analysis. The most interesting example of non-Archimedean normed spaces is -adic numbers. A key property of -adic numbers is that they do not satisfy the Archimedean axiom; for all , there exists an integer such that .

Let be a prime number. For any nonzero rational number in which and are coprime to the prime number . Consider the -adic absolute value on . It is easy to check that is a non-Archimedean norm on . The completion of with respect to which is denoted by is said to be the -adic number field. One should remember that if , then for all integers . The stability of some functional equations in non-Archimedean spaces was investigated, for instance, in [21–24] (see also [13, 25]).

Let be an even positive integer. We use the abbreviation for the given mapping as follows:

From now on, we assume that is a real vector space and is a complete non-Archimedean space unless otherwise stated explicitly. In the upcoming theorem, we prove the stability of functional equations (4) and (5).

Theorem 4. *Let be a function such that
**
for all . Suppose that is an odd mapping satisfying the inequality
**
for all , where is an even positive integer or . Then there exists a unique additive mapping such that
**
for all , where . *

*Proof. *We prove the result when is even; another case is similar. Putting in (46), we have
for all . Replacing by in (48) and then dividing both sides by , we get
for all and all nonnegative integers . Thus the sequence is Cauchy by (45) and (49). Completeness of the non-Archimedean space allows us to assume that there exists a mapping , so that
For each and nonnegative integers , we have
Taking that tends to approach infinity in (51) and applying (50), we can see that inequality (47) holds when is even. It follows from (45), (46), and (50) that for all ,
Hence, the mapping satisfies (4). Part (i) of Lemma 1 shows that the mapping is additive. Now, let be another additive mapping satisfying (47). Then we have
for all . This shows the uniqueness of .

We have the following result which is analogous to Theorem 4 for the functional equations (4) and (5). We include the proof for (4). The proof of (5) is similar.

Theorem 5. *Let be a function such that
**
for all . Suppose that is an odd mapping satisfying the inequality
**
for all , where is an even positive integer or . Then there exists a unique additive mapping such that
**
for all , where . *

*Proof. *We only obtain the result for the even integers. Similar to the proof of Theorem 4, we have
for all . If we replace by in inequality (57) and then multiply both sides of the result to , we get
for all and all nonnegative integers . Thus, we conclude from (54) and (58) that the sequence is Cauchy. Since the non-Archimedean normed space is complete, this sequence converges in to the mapping . Indeed,
Using induction and (57), one can show that
for all and nonnegative integers . Since the right-hand side of inequality (60) tends to be as to approach infinity, by applying (59), we deduce inequality (56). Now, similar to the proof of Theorem 4, we can complete the rest of the proof.

Corollary 6. *Let , and be positive real numbers such that and . Suppose that is a non-Archimedean normed space and is an odd mapping fulfilling
**
for all , where is an even positive integer or . Then there exists a unique additive mapping such that
**
for all . *

*Proof. *The result follows from Theorems 4 and 5 by letting .

In the next result, we prove the hyperstability of the functional equations (4) and (5) under some conditions. Recall that a functional equation is called *hyperstable* if every approximate solution is an exact one (see, e.g., [13, 26–29]).

Corollary 7. *Let , and be positive real numbers such that and . Suppose that is a non-Archimedean normed space and is an odd mapping fulfilling
**
for all , where is an even positive integer or . Then is an additive mapping. *

*Proof. *Taking in Theorems 4 and 5, we can obtain the desired result.

Theorem 8. *Let be a function such that
**
for all . Suppose that is an even mapping satisfying the inequality
**
for all , where is an even positive integer. Then there exists a unique quadratic mapping such that
**
for all , where . *

*Proof. *It follows from (64) that . Thus (65) implies that . Putting in (65) and interchanging into , we have
for all . Substituting by in (65), respectively, we get
for all . It follows from (67) and (68) that
for all . Thus we have
for all . Replacing by in (70) and then dividing both sides by , we get
for all and all nonnegative integers . Thus the sequence is Cauchy by (64) and (71). Since is complete, the sequence converges in for all . So one can define the mapping by
For each and nonnegative integers , we have
Taking to approach infinity in (73) and using (64) and (72), we find (66). Employing (64), (65), and (72), we obtain
Hence, the mapping satisfies (4). It follows from part (iii) of Lemma 1 that the mapping is quadratic. If is another quadratic mapping satisfying (66), then
for all . Therefore . This completes the proof of the uniqueness of .

Theorem 9. *Let be a function such that
**
for all . Suppose that is an even mapping satisfying and the inequality
**
for all , where is an even positive integer. Then there exists a unique quadratic mapping such that
**
for all , where . *

*Proof. *Similar to the proof of Theorem 8, we have
for all . Then we get
for all . Replacing by in (80) and multiplying both sides to , we get
for all and all nonnegative integers . Thus the sequence is Cauchy by (76). The completeness of implies that the mentioned sequence is convergent. So we consider the mapping by
For each and nonnegative integers , we have
Letting approach infinity in (83) and using (76) and (82), we can see that (78) holds. The rest of the proof is similar to the proof of Theorem 8.

Corollary 10. *Let , and be nonnegative real numbers and . Suppose that is a non-Archimedean normed space and is an even mapping fulfilling
**
for all , where is an even positive integer. Then there exists a unique quadratic mapping such that
**
for all . *

Theorem 11. *Let be a function such that
**
for all . Suppose that is an even mapping satisfying the inequality
**
for all . Then there exists a unique quadratic mapping such that
**
for all , where . *

*Proof. *Similar to the proof of Theorem 8, we can show that . Replacing by and in (87), respectively, we get
for all . Inequalities (89) and (90) imply that
for all . Interchanging into in (91), respectively, we obtain
for all . On the other hand, by putting in (87), we can deduce that
for all . It follows from (92) and (93) that
for all . Thus
for all . Substituting by in (95) and then dividing both sides by , we obtain
for all and all nonnegative integers . Thus the sequence is Cauchy by (86) and (96). The completeness of implies that the sequence is convergent. Define the mapping via
By a simple computation, one can show that
for all and for all . Taking to approach infinity in (98) and applying (86) and (97), we find (88). By (86), (87), and (97), we have
Hence, the mapping satisfies (5). It follows from part (iv) of Lemma 1 that the mapping is quadratic. Similar to the proof of Theorem 8, one can show that is unique.

Theorem 12. *Let be a function such that
**
for all . Suppose that is an even mapping satisfying the inequality
**
for all . Then there exists a unique quadratic mapping such that
**
where . *

*Proof. *Similar to the proof of Theorem 8, one can obtain
for all . Thus
for all . Substituting by in (104) and then multiplying both sides to , we have
for all and all nonnegative integers . The last inequality and (100) imply that the sequence is Cauchy. So, this sequence converges to the mapping . In other words,
We can also show that
for all and for all . Taking to approach infinity in (107) and applying (100) and (101), we see that inequality (102) holds. Now, similar to the proof of Theorem 8, one can show that is a unique quadratic mapping.

Corollary 13. *Let and be positive real numbers such that and . Suppose that is a non-Archimedean normed space and is an even mapping fulfilling
**
for all . Then there exists a unique quadratic mapping such that
**
for all . *

*Proof. *Letting in Theorems 11 and 12, one can obtain the required result.

#### Conflict of Interests

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

#### Acknowledgments

The authors express their sincere thanks to the reviewers for the careful and detailed reading of the paper and very helpful suggestions that improved the paper substantially.

#### References

- S. M. Ulam,
*Problems in Modern Mathematics*, Science Editions, chapter 6, John Wiley & Sons, New York, NY, USA, 1940. 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - St. 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. R. Lee, J. S. An, and C. Park, “On the stability of quadratic functional equations,”
*Abstract and Applied Analysis*, vol. 2008, Article ID 628178, 8 pages, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. E. Gordji and A. Bodaghi, “On the Hyers-Ulam-Rassias stability problem for quadratic functional equations,”
*East Journal on Approximations*, vol. 16, no. 2, pp. 123–130, 2010. View at Google Scholar · View at MathSciNet - L. Cădariu and V. Radu, “On the stability of the Cauchy functional equation: a fixed point approach,” in
*Iteration theory (ECIT '02)*, vol. 346 of*Grazer Mathematische Berichte*, pp. 43–52, Karl-Franzens-Universität Graz, Graz, Austria, 2004. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Cǎdariu and V. Radu, “Fixed points and the stability of quadratic functional equations,”
*Analele Universităţii de Vest din Timişoara, Seria Matematică-Informatică*, vol. 41, no. 1, pp. 25–48, 2003. View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at MathSciNet - G. Z. Eskandani, H. Vaezi, and Y. N. Dehghan, “Stability of a mixed additive and quadratic functional equation in non-Archimedean Banach modules,”
*Taiwanese Journal of Mathematics*, vol. 14, no. 4, pp. 1309–1324, 2010. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Najati and M. B. Moghimi, “Stability of a functional equation deriving from quadratic and additive functions in quasi-Banach spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 337, no. 1, pp. 399–415, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. S. Jin and Y. H. Lee, “On the stability of the functional equation deriving from quadratic and additive function in random normed spaces via fixed point method,”
*Journal of the Chungcheong Mathematical Society*, vol. 25, no. 1, pp. 51–63, 2012. View at Google Scholar - J. Aczel and J. Dhombres,
*Functional Equations in Several Variables*, vol. 31 of*Encyclopedia of Mathematics and Its Applications*, Cambridge University Press, Cambridge, UK, 1989. View at Publisher · View at Google Scholar · View at MathSciNet - K. Hensel, “Uber eine neue Begrndung der Theorie der algebraischen Zahlen,”
*Jahresbericht der Deutschen Mathematiker-Vereinigung*, vol. 6, no. 3, pp. 83–88, 1897. View at Google Scholar - L. M. Arriola and W. A. Beyer, “Stability of the Cauchy functional equation over $p$-adic fields,”
*Real Analysis Exchange*, vol. 31, no. 1, pp. 125–132, 2005. View at Google Scholar · View at MathSciNet - J. Brzdęk and K. Ciepliński, “A fixed point approach to the stability of functional equations in non-Archimedean metric spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 18, pp. 6861–6867, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Schwaiger, “Functional equations for homogeneous polynomials arising from multilinear mappings and their stability,”
*Annales Mathematicae Silesianae*, no. 8, pp. 157–171, 1994. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Z. Xu, “Stability of multi-Jensen mappings in non-Archimedean normed spaces,”
*Journal of Mathematical Physics*, vol. 53, no. 2, Article ID 023507, 9 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - A. Bodaghi, I. A. Alias, and M. H. Ghahramani, “Ulam stability of a quartic functional equation,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 232630, 9 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Brzdęk, “Stability of the equation of the
*p*-Wright affine functions,”*Aequationes Mathematicae*, vol. 85, no. 3, pp. 497–503, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - G. Maksa and Z. Páles, “Hyperstability of a class of linear functional equations,”
*Acta Mathematica*, vol. 17, no. 2, pp. 107–112, 2001. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Piszczek and J. Szczawińska, “Hyperstability of the drygas functional equation,”
*Journal of Function Spaces and Applications*, vol. 2013, Article ID 912718, 4 pages, 2013. View at Publisher · View at Google Scholar