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

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

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

for all and for some Then there exists a unique additive mapping such that

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 [2–24]).

The functional equation

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 [25–28]).

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

Jun and Kim [13] introduced the following cubic functional equation:

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 [31–33]).

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

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).

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

for all By (1.6), we have

for all This means that satisfies (1.6), that is,

Now putting in (2.3), we get . Setting in (2.3), by evenness of we obtain

Replacing by in (2.3), we obtain

Comparing (2.4) with (2.5), we get

By utilizing (2.5) with (2.6), we obtain

Hence, according to (2.6) and (2.7), (2.3) can be written as

With the substitution in (2.8), we have

Replacing by in above relation, we obtain

Setting instead of in (2.8), we get

Interchanging and in (2.11), we get

If we subtract (2.12) from (2.11) and use (2.10), we obtain

which, by putting and using (2.7), leads to

Let us interchange and in (2.14). Then we see that

and by adding (2.14) and (2.15), we arrive at

Replacing by in (2.8), we obtain

Let us Interchange and in (2.17). Then we see that

Thus by adding (2.17) and (2.18), we have

Replacing by in (2.11) and using (2.7) we have

and interchanging and in (2.20) yields

If we add (2.20) to (2.21), we have

Interchanging and in (2.8), we get

and by adding the last equation and (2.8) with (2.19), we get

Now according to (2.22) and (2.24), it follows that

From the substitution in (2.25) it follows that

Replacing by in (2.25) we have

and interchanging and yields

By adding (2.27) and (2.28) and then using (2.25) and (2.26), we lead to

If we compare (2.16) and (2.29), we conclude that

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,

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

Hence (2.31) can be written as

From the substitution in (2.33) it follows that

Interchange and in (2.33), and it follows that

With the substitutions and in (2.35), we have

Replace by in (2.34). Then we have

Replacing by in (2.37) gives

Interchanging and in (2.38), we get

If we add (2.38) to (2.39), we have

Replacing by in (2.36) gives

By comparing (2.40) with (2.41), we arrive at

Replacing by in (2.42) gives

With the substitution in (2.43), we have

and replacing by gives

Let us interchange and in (2.45). Then we see that

If we add (2.45) to (2.46), we have

Adding (2.42) to (2.47) and using (2.33) and (2.35), we obtain

for all The last equality means that

for all Therefore the mapping is additive. With the substitutions and in (2.35), we have

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

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.

(a)If is even function, then is quadratic.

(b)If is odd function, then is cubic-additive.

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

for all We consider the following functional inequality:

for an upper bound

Theorem 3.1.

Let be fixed. Suppose that an even mapping satisfies and

for all If the upper bound is a mapping such that

and that

for all then the limit

exists for all and is a unique quadratic function satisfying (1.6), and

for all

Proof.

Let Putting in (3.3), we get

for all On the other hand by replacing by in (3.3), it follows that

for all Combining (3.8) and (3.9), we lead to

for all With the substitution in (3.10) and then dividing both sides of inequality by 2, we get

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

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

and that

for all

Suppose that an odd mapping satisfies

for all

Then the limit

exists, for all and is a unique additive function satisfying (1.6), and

for all

Proof.

Let set in (3.15). Then by oddness of we have

for all Replacing by in (3.15) we get

Combining (3.18) and (3.19), we lead to

for all Putting and for all Then we get

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

for all If the upper bound is a mapping such that

and that for all then the limit

exists, for all and is a unique cubic function satisfying (1.6) and

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

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

for all If the upper bound is a mapping such that

and that for all then there exists a unique cubic function and a unique additive function such that

for all

Proof.

By Theorems 3.2 and 3.3, there exist an additive mapping and a cubic mapping such that

for all Combine the two equations of (3.30) to obtain

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

for all Since

then

for all Hence (3.32) implies that

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

for all If the upper bound is a mapping such that

and that for all then there exist a unique cubic function and a unique additive function such that

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

and that for all then there exist a unique additive function a unique quadratic function and a unique cubic function such that

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

for all Then there exist a unique additive function a unique quadratic function and a unique cubic function satisfying

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

and that for all then there exists a unique additive function a unique quadratic function and a unique cubic function such that

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

for all then there exist a unique additive function a unique quadratic function and a unique cubic function satisfying

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

for all .

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.

1. Ulam, SM: Problems in Modern Mathematics, John Wiley & Sons, New York, NY, USA (1940)

2. Hyers, DH, Isac, G, Rassias, ThM: Stability of Functional Equations in Several Variables, Progress in Nonlinear Differential Equations and Their Applications, 34,p. vi+313. Birkhäuser, Boston, Mass, USA (1998)

3. Bourgin, DG: Classes of transformations and bordering transformations. Bulletin of the American Mathematical Society. 57, 223–237 (1951). Publisher Full Text

4. Aoki, T: On the stability of the linear transformation in Banach spaces. Journal of the Mathematical Society of Japan. 2, 64–66 (1950). Publisher Full Text

5. Rassias, ThM: On the stability of the linear mapping in Banach spaces. Proceedings of the American Mathematical Society. 72(2), 297–300 (1978). Publisher Full Text

6. Aczél, J, Dhombres, J: Functional Equations in Several Variables, Encyclopedia of Mathematics and Its Applications,p. xiv+462. Cambridge University Press, Cambridge, UK (1989)

7. Cholewa, PW: Remarks on the stability of functional equations. Aequationes Mathematicae. 27(1-2), 76–86 (1984)

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. 295(1), 127–133 (2004). Publisher Full Text

9. Gajda, Z: On stability of additive mappings. International Journal of Mathematics and Mathematical Sciences. 14(3), 431–434 (1991). Publisher Full Text

10. Găvruţa, P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. Journal of Mathematical Analysis and Applications. 184(3), 431–436 (1994). Publisher Full Text

11. Hyers, DH: On the stability of the linear functional equation. Proceedings of the National Academy of Sciences of the United States of America. 27, 222–224 (1941). PubMed Abstract | Publisher Full Text | PubMed Central Full Text

12. Isac, G, Rassias, ThM: On the Hyers-Ulam stability of -additive mappings. Journal of Approximation Theory. 72(2), 131–137 (1993). Publisher Full Text

13. Jun, K-W, Kim, H-M: The generalized Hyers-Ulam-Rassias stability of a cubic functional equation. Journal of Mathematical Analysis and Applications. 274(2), 267–278 (2002)

14. Maligranda, L: A result of Tosio Aoki about a generalization of Hyers-Ulam stability of additive functions—a question of priority. Aequationes Mathematicae. 75(3), 289–296 (2008). Publisher Full Text

15. Rassias, JM: On a new approximation of approximately linear mappings by linear mappings. Discussiones Mathematicae. 7, 193–196 (1985)

16. Rassias, JM: On approximation of approximately linear mappings by linear mappings. Bulletin des Sciences Mathématiques. Deuxième Série. 108(4), 445–446 (1984)

17. Rassias, JM: Complete solution of the multi-dimensional problem of Ulam. Discussiones Mathematicae. 14, 101–107 (1994)

18. Rassias, JM: On the stability of a multi-dimensional Cauchy type functional equation. Geometry, Analysis and Mechanics, pp. 365–376. World Scientific, River Edge, NJ, USA (1994)

19. Rassias, JM: Solution of a stability problem of Ulam. Functional Analysis, Approximation Theory and Numerical Analysis, pp. 241–249. World Scientific, River Edge, NJ, USA (1994)

20. Rassias, JM: Solution of a stability problem of Ulam. Discussiones Mathematicae. 12, 95–103 (1992)

21. Rassias, JM: Solution of a problem of Ulam. Journal of Approximation Theory. 57(3), 268–273 (1989). Publisher Full Text

22. Rassias, JM: On approximation of approximately linear mappings by linear mappings. Journal of Functional Analysis. 46(1), 126–130 (1982). Publisher Full Text

23. Rassias ThM (ed.): Functional Equations and Inequalities, Mathematics and Its Applications,p. xii+336. Kluwer Academic Publishers, Dordrecht, The Netherlands (2000)

24. Rassias, ThM: On the stability of functional equations in Banach spaces. Journal of Mathematical Analysis and Applications. 251(1), 264–284 (2000). Publisher Full Text

25. Grabiec, A: The generalized Hyers-Ulam stability of a class of functional equations. Publicationes Mathematicae Debrecen. 48(3-4), 217–235 (1996)

26. Rassias, JM, Rassias, MJ: Refined Ulam stability for Euler-Lagrange type mappings in Hilbert spaces. International Journal of Applied Mathematics & Statistics. 7, 126–132 (2007). PubMed Abstract | Publisher Full Text

27. Rassias, JM: On the stability of the Euler-Lagrange functional equation. Chinese Journal of Mathematics. 20(2), 185–190 (1992)

28. Skof, F: Proprieta' locali e approssimazione di operatori. Rendiconti del Seminario Matematico e Fisico di Milano. 53, 113–129 (1983). Publisher Full Text

29. Rassias, JM: Solution of the Ulam stability problem for cubic mappings. Glasnik Matematički. Serija III. 36(56)(1), 63–72 (2001)

30. Rassias, JM: Solution of the Ulam problem for cubic mappings. Analele Universităţii din Timişoara. Seria Matematică-Informatică. 38(1), 121–132 (2000). PubMed Abstract

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)

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. 71, 5629–5643 (2009). PubMed Abstract | Publisher Full Text

34. Brzdęk, J, Pietrzyk, A: A note on stability of the general linear equation. Aequationes Mathematicae. 75(3), 267–270 (2008). Publisher Full Text

35. Pietrzyk, A: Stability of the Euler-Lagrange-Rassias functional equation. Demonstratio Mathematica. 39(3), 523–530 (2006)