Impact Factor 0.297

Open Access

# Solution and Stability of a Mixed Type Additive, Quadratic, and Cubic Functional Equation

DOI: 10.1155/2009/826130

Accepted: 26 June 2009

Published: 17 August 2009

## Abstract

We obtain the general solution and the generalized Hyers-Ulam-Rassias stability of the mixed type additive, quadratic, and cubic functional equation .

## 1. Introduction

The stability problem of functional equations originated from a question of Ulam [1] in 1940, concerning the stability of group homomorphisms. Let be a group, and let be a metric group with the metric Given , does there exist a , such that if a mapping satisfies the inequality for all , then there exists a homomorphism with for all ? In other words, under what condition does there exist a homomorphism near an approximate homomorphism?

In 1941, Hyers [2] gave a first affirmative answer to the question of Ulam for Banach spaces. Let be a mapping between Banach spaces such that
(11)
for all and for some Then there exists a unique additive mapping such that
(12)

for all Moreover if is continuous in for each fixed then is linear (see also [3]). In 1950, Aoki [4] generalized Hyers' theorem for approximately additive mappings. In 1978, Th. M. Rassias [5] provided a generalization of Hyers' theorem which allows the Cauchy difference to be unbounded. This new concept is known as Hyers-Ulam-Rassias stability of functional equations (see [224]).

The functional equation
(13)

is related to symmetric biadditive function. In the real case it has among its solutions. Thus, it has been called quadratic functional equation, and each of its solutions is said to be a quadratic function. Hyers-Ulam-Rassias stability for the quadratic functional equation (1.3) was proved by Skof for functions , where is normed space and Banach space (see [2528]).

The following cubic functional equation was introduced by the third author of this paper, J. M. Rassias [29, 30] (in 2000-2001):
(14)
Jun and Kim [13] introduced the following cubic functional equation:
(15)

and they established the general solution and the generalized Hyers-Ulam-Rassias stability for the functional equation (1.5).

The function satisfies the functional equation (1.5), which explains why it is called cubic functional equation.

Jun and Kim proved that a function between real vector spaces and is a solution of (1.5) if and only if there exists a unique function such that for all and is symmetric for each fixed one variable and is additive for fixed two variables (see also [3133]).

We deal with the following functional equation deriving from additive, cubic and quadratic functions:
(16)

It is easy to see that the function is a solution of the functional equation (1.6). In the present paper we investigate the general solution and the generalized Hyers-Ulam-Rassias stability of the functional equation (1.6).

## 2. General Solution

In this section we establish the general solution of functional equation (1.6).

Theorem 2.1.

Let , be vector spaces, and let be a function. Then satisfies (1.6) if and only if there exists a unique additive function , a unique symmetric and biadditive function and a unique symmetric and 3-additive function such that for all .

Proof.

Suppose that for all , where is additive, is symmetric and biadditive, and is symmetric and 3-additive. Then it is easy to see that satisfies (1.6). For the converse let satisfy (1.6). We decompose into the even part and odd part by setting
(21)
for all By (1.6), we have
(22)
for all This means that satisfies (1.6), that is,
(23)
Now putting in (2.3), we get . Setting in (2.3), by evenness of we obtain
(24)
Replacing by in (2.3), we obtain
(25)
Comparing (2.4) with (2.5), we get
(26)
By utilizing (2.5) with (2.6), we obtain
(27)
Hence, according to (2.6) and (2.7), (2.3) can be written as
(28)
With the substitution in (2.8), we have
(29)
Replacing by in above relation, we obtain
(210)
Setting instead of in (2.8), we get
(211)
Interchanging and in (2.11), we get
(212)
If we subtract (2.12) from (2.11) and use (2.10), we obtain
(213)
which, by putting and using (2.7), leads to
(214)
Let us interchange and in (2.14). Then we see that
(215)
and by adding (2.14) and (2.15), we arrive at
(216)
Replacing by in (2.8), we obtain
(217)
Let us Interchange and in (2.17). Then we see that
(218)
Thus by adding (2.17) and (2.18), we have
(219)
Replacing by in (2.11) and using (2.7) we have
(220)
and interchanging and in (2.20) yields
(221)
If we add (2.20) to (2.21), we have
(222)
Interchanging and in (2.8), we get
(223)
and by adding the last equation and (2.8) with (2.19), we get
(224)
Now according to (2.22) and (2.24), it follows that
(225)
From the substitution in (2.25) it follows that
(226)
Replacing by in (2.25) we have
(227)
and interchanging and yields
(228)
By adding (2.27) and (2.28) and then using (2.25) and (2.26), we lead to
(229)
If we compare (2.16) and (2.29), we conclude that
(230)
This means that is quadratic. Thus there exists a unique quadratic function such that for all On the other hand we can show that satisfies (1.6), that is,
(231)
Now we show that the mapping defined by is additive and the mapping defined by is cubic. Putting in (2.31), then by oddness of we have
(232)
Hence (2.31) can be written as
(233)
From the substitution in (2.33) it follows that
(234)
Interchange and in (2.33), and it follows that
(235)
With the substitutions and in (2.35), we have
(236)
Replace by in (2.34). Then we have
(237)
Replacing by in (2.37) gives
(238)
Interchanging and in (2.38), we get
(239)
If we add (2.38) to (2.39), we have
(240)
Replacing by in (2.36) gives
(241)
By comparing (2.40) with (2.41), we arrive at
(242)
Replacing by in (2.42) gives
(243)
With the substitution in (2.43), we have
(244)
and replacing by gives
(245)
Let us interchange and in (2.45). Then we see that
(246)
If we add (2.45) to (2.46), we have
(247)
Adding (2.42) to (2.47) and using (2.33) and (2.35), we obtain
(248)
for all The last equality means that
(249)
for all Therefore the mapping is additive. With the substitutions and in (2.35), we have
(250)
Let be the additive mapping defined above. It is easy to show that is cubic-additive function. Then there exists a unique function and a unique additive function such that for all and is symmetric and 3-additive. Thus for all , we have
(251)

This completes the proof of theorem.

The following corollary is an alternative result of Theorem 2.1.

Corollary 2.2.

Let , be vector spaces, and let be a function satisfying (1.6). Then the following assertions hold.
1. (a)

If is even function, then is quadratic.

2. (b)

If is odd function, then is cubic-additive.

## 3. Stability

We now investigate the generalized Hyers-Ulam-Rassias stability problem for functional equation (1.6). From now on, let be a real vector space, and let be a Banach space. Now before taking up the main subject, given , we define the difference operator by
(31)
for all We consider the following functional inequality:
(32)

for an upper bound

Theorem 3.1.

Let be fixed. Suppose that an even mapping satisfies and
(33)
for all If the upper bound is a mapping such that
(34)
and that
(35)
for all then the limit
(36)
exists for all and is a unique quadratic function satisfying (1.6), and
(37)

for all

Proof.

Let Putting in (3.3), we get
(38)
for all On the other hand by replacing by in (3.3), it follows that
(39)
for all Combining (3.8) and (3.9), we lead to
(310)
for all With the substitution in (3.10) and then dividing both sides of inequality by 2, we get
(311)
Now, using methods similar as in [8, 34, 35], we can easily show that the function defined by for all is unique quadratic function satisfying (1.6) and (3.7). Let Then by (3.10) we have
(312)

for all And analogously, as in the case , we can show that the function defined by is unique quadratic function satisfying (1.6) and (3.7).

Theorem 3.2.

Let be fixed. Let is a mapping such that
(313)
and that
(314)

for all

Suppose that an odd mapping satisfies
(315)

for all

Then the limit
(316)
exists, for all and is a unique additive function satisfying (1.6), and
(317)

for all

Proof.

Let set in (3.15). Then by oddness of we have
(318)
for all Replacing by in (3.15) we get
(319)
Combining (3.18) and (3.19), we lead to
(320)
for all Putting and for all Then we get
(321)

for all Now, in a similar way as in [8, 34, 35], we can show that the limit exists, for all and is the unique function satisfying (1.6) and (3.17). If , then the proof is analogous.

Theorem 3.3.

Let be fixed. Suppose that an odd mapping satisfies
(322)
for all If the upper bound is a mapping such that
(323)
and that for all then the limit
(324)
exists, for all and is a unique cubic function satisfying (1.6) and
(325)

for all

Proof.

We prove the theorem for When we have a similar proof. It is easy to see that satisfies (3.20). Set then by putting in (3.20), it follows that
(326)

for all By using (3.26), we may define a mapping as for all Similar to Theorem 3.1, we can show that is the unique cubic function satisfying (1.6) and (3.25).

Theorem 3.4.

Suppose that an odd mapping satisfies
(327)
for all If the upper bound is a mapping such that
(328)
and that for all then there exists a unique cubic function and a unique additive function such that
(329)

for all

Proof.

By Theorems 3.2 and 3.3, there exist an additive mapping and a cubic mapping such that
(330)
for all Combine the two equations of (3.30) to obtain
(331)
for all So we get (3.29) by letting and for all To prove the uniqueness of and let be another additive and cubic maps satisfying (3.29). Let , and let So
(332)
for all Since
(333)
then
(334)
for all Hence (3.32) implies that
(335)

for all On the other hand and are cubic, then Therefore by (3.35) we obtain that for all Again by (3.35) we have for all

Theorem 3.5.

Suppose that an odd mapping satisfies
(336)
for all If the upper bound is a mapping such that
(337)
and that for all then there exist a unique cubic function and a unique additive function such that
(338)

for all

Proof.

The proof is similar to the proof of Theorem 3.4.

Now we establish the generalized Hyers-Ulam-Rassias stability of functional equation (1.6) as follows.

Theorem 3.6.

Suppose that a mapping satisfies and for all If the upper bound is a mapping such that
(339)
and that for all then there exist a unique additive function a unique quadratic function and a unique cubic function such that
(340)

for all .

Proof.

Let for all Then and for all Hence in view of Theorem 3.1 there exists a unique quadratic function satisfying (3.7). Let for all Then and for all From Theorem 3.4, it follows that there exist a unique cubic function and a unique additive function satisfying (3.29). Now it is obvious that (3.40) holds true for all and the proof of theorem is complete.

Corollary 3.7.

Let Suppose that a mapping satisfies and
(341)
for all Then there exist a unique additive function a unique quadratic function and a unique cubic function satisfying
(342)

for all

Proof.

It follows from Theorem 3.6 by taking for all .

Theorem 3.8.

Suppose that satisfies and for all If the upper bound is a mapping such that
(343)
and that for all then there exists a unique additive function a unique quadratic function and a unique cubic function such that
(344)

for all .

By Theorem 3.8, we are going to investigate the following stability problem for functional equation (1.6).

Corollary 3.9.

Let Suppose that satisfies and
(345)
for all then there exist a unique additive function a unique quadratic function and a unique cubic function satisfying
(346)

for all .

By Corollary 3.9, we solve the following Hyers-Ulam stability problem for functional equation (1.6).

Corollary 3.10.

Let be a positive real number. Suppose that a mapping satisfies and for all then there exist a unique additive function a unique quadratic function and a unique cubic function such that
(347)

for all .

## Declarations

### Acknowledgments

The authors would like to express their sincere thanks to referees for their invaluable comments. The first author would like to thank the Semnan University for its financial support. Also, the fourth author would like to thank the office of gifted students at Semnan University for its financial support.

## Authors’ Affiliations

(1)
Department of Mathematics, Semnan University
(2)
Department of Mathematics, Payame Noor University of Mashhad
(3)
Section of Mathematics and Informatics, Pedagogical Department, National and Capodistrian University of Athens

## References

1. Ulam SM: Problems in Modern Mathematics. John Wiley & Sons, New York, NY, USA; 1940.Google Scholar
2. 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.
3. Bourgin DG: Classes of transformations and bordering transformations. Bulletin of the American Mathematical Society 1951, 57: 223-237. 10.1090/S0002-9904-1951-09511-7
4. Aoki 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/00210064
5. Rassias 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-1
6. Aczé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.
7. Cholewa PW: Remarks on the stability of functional equations. Aequationes Mathematicae 1984,27(1-2):76-86.
8. Forti G-L: Comments on the core of the direct method for proving Hyers-Ulam stability of functional equations. Journal of Mathematical Analysis and Applications 2004,295(1):127-133. 10.1016/j.jmaa.2004.03.011
9. Gajda Z: On stability of additive mappings. International Journal of Mathematics and Mathematical Sciences 1991,14(3):431-434. 10.1155/S016117129100056X
10. Gă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.1211
11. 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.222
12. Isac G, Rassias ThM:On the Hyers-Ulam stability of -additive mappings. Journal of Approximation Theory 1993,72(2):131-137. 10.1006/jath.1993.1010
13. Jun K-W, Kim H-M: The generalized Hyers-Ulam-Rassias stability of a cubic functional equation. Journal of Mathematical Analysis and Applications 2002,274(2):267-278.
14. Maligranda L: A result of Tosio Aoki about a generalization of Hyers-Ulam stability of additive functions—a question of priority. Aequationes Mathematicae 2008,75(3):289-296. 10.1007/s00010-007-2892-8
15. Rassias JM: On a new approximation of approximately linear mappings by linear mappings. Discussiones Mathematicae 1985, 7: 193-196.
16. Rassias JM: On approximation of approximately linear mappings by linear mappings. Bulletin des Sciences Mathématiques. Deuxième Série 1984,108(4):445-446.
17. Rassias JM: Complete solution of the multi-dimensional problem of Ulam. Discussiones Mathematicae 1994, 14: 101-107.
18. Rassias JM: On the stability of a multi-dimensional Cauchy type functional equation. In Geometry, Analysis and Mechanics. World Scientific, River Edge, NJ, USA; 1994:365-376.Google Scholar
19. Rassias JM: Solution of a stability problem of Ulam. In Functional Analysis, Approximation Theory and Numerical Analysis. World Scientific, River Edge, NJ, USA; 1994:241-249.
20. Rassias JM: Solution of a stability problem of Ulam. Discussiones Mathematicae 1992, 12: 95-103.
21. Rassias JM: Solution of a problem of Ulam. Journal of Approximation Theory 1989,57(3):268-273. 10.1016/0021-9045(89)90041-5
22. Rassias 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-9
23. Rassias ThM (Ed): Functional Equations and Inequalities, Mathematics and Its Applications. Volume 518. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2000:xii+336.Google Scholar
24. Rassias 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.7046
25. Grabiec A: The generalized Hyers-Ulam stability of a class of functional equations. Publicationes Mathematicae Debrecen 1996,48(3-4):217-235.
26. Rassias JM, Rassias MJ: Refined Ulam stability for Euler-Lagrange type mappings in Hilbert spaces. International Journal of Applied Mathematics & Statistics 2007, 7: 126-132.
27. Rassias JM: On the stability of the Euler-Lagrange functional equation. Chinese Journal of Mathematics 1992,20(2):185-190.
28. Skof F: Proprieta' locali e approssimazione di operatori. Rendiconti del Seminario Matematico e Fisico di Milano 1983, 53: 113-129. 10.1007/BF02924890
29. Rassias JM: Solution of the Ulam stability problem for cubic mappings. Glasnik Matematički. Serija III 2001,36(56)(1):63-72.Google Scholar
30. Rassias JM: Solution of the Ulam problem for cubic mappings. Analele Universităţii din Timişoara. Seria Matematică-Informatică 2000,38(1):121-132.
31. Gordji ME: Stability of a functional equation deriving from quartic and additive functions. to appear in Bulletin of the Korean Mathematical Society
32. Gordji ME, Ebadian A, Zolfaghari S: Stability of a functional equation deriving from cubic and quartic functions. Abstract and Applied Analysis 2008, 2008:-17.Google Scholar
33. Gordji ME, Khodaei H: Solution and stability of generalized mixed type cubic, quadratic and additive functional equation in quasi-Banach spaces. Nonlinear Analysis: Theory, Methods & Applications 2009, 71: 5629-5643. 10.1016/j.na.2009.04.052
34. Brzdęk J, Pietrzyk A: A note on stability of the general linear equation. Aequationes Mathematicae 2008,75(3):267-270. 10.1007/s00010-007-2894-6
35. Pietrzyk A: Stability of the Euler-Lagrange-Rassias functional equation. Demonstratio Mathematica 2006,39(3):523-530.