Open Access

Approximately cubic functional equations and cubic multipliers

  • Abasalt Bodaghi1Email author,
  • Idham Arif Alias2 and
  • Mohammad Hossein Ghahramani1
Journal of Inequalities and Applications20112011:53

https://doi.org/10.1186/1029-242X-2011-53

Received: 21 March 2011

Accepted: 13 September 2011

Published: 13 September 2011

Abstract

In this paper, we prove the Hyers-Ulam stability and the superstability for cubic functional equation by using the fixed point alternative theorem. As a consequence, we show that the cubic multipliers are superstable under some conditions.

2000 Mathematics Subject Classification: 39B82; 39B52.

Keywords

cubic functional equationmultiplierHyers-Ulam stabilitySuperstability

1. Introduction

The stability problem for functional equations is related to the following question originated by Ulam [1] in 1940, concerning the stability of group homomorphisms: Let (G1, .) be a group and let (G2, *) be a metric group with the metric d(., .). Given ε > 0, does there exist δ > 0 such that, if a mapping h : G1→ G2 satisfies the inequality d(h(x.y), h(x) * h(y)) < δ for all x, y G1, then there exists a homomorphism H : G1→ G2 with d(h(x), H(x)) < ε for all x G1?

In 1941, Hyers [2] gave a first affirmative answer to the question of Ulam for Banach spaces. Later, Rassias in [3] provided a remarkable generalization of the Hyers' result by allowing the Cauchy difference to be bounded for the first time, in the subject of functional equations and inequalities. Gǎvruta then generalized the Rassias' result in [4] for the unbounded Cauchy difference.

The functional equation
f ( x + y ) + f ( x - y ) = 2 f ( x ) + 2 f ( y )
(1.1)

is called quadratic functional equation. Also, every solution (for example f(x) = ax2) of functional Equation (1.1) is said to be a quadratic mapping. A Hyers-Ulam stability problem for the quadratic functional equation was proved by Skof [5] for mappings f : X Y , where X is a normed space and Y is a Banach space. Cholewa [6] noticed that the theorem of Skof is still true if the relevant domain X is replaced by an abelian group. In [7] Czerwik proved the Hyers-Ulam-Rassias stability of the quadratic functional equation. Several functional equations have been extensively investigated by a number of authors (for instances, [810]).

Jun and Kim [11] introduced the functional equation
f ( 2 x + y ) + f ( 2 x - y ) = 2 f ( x + y ) + 2 f ( x - y ) + 1 2 f ( x )
(1.2)

which is somewhat different from (1.1). It is easy to see that function f(x) = ax3 is a solution of (1.2). Thus, it is natural that Equation (1.2) is called a cubic functional equation and every solution of this cubic functional equation is said to be a cubic function. One year after that, they solved the generalized Hyers-Ulam-Rassias stability of a cubic functional equation f(x + 2y) + f(x - 2y) + 6f(x) = f(x + y) + 4f(x - y) in Jun and Kim [12]. Since then, a number of authors (for details see [13, 14]) proved the stability problems for cubic functional equation.

Recently, Bodaghi et al in [15] proved the superstability of quadratic double centralizers and of quadratic multipliers on Banach algebras by fixed point methods. Also, the stability and the superstability of cubic double centralizers of Banach algebras which are strongly without order had been established in Eshaghi Gordji et al. [16].

In this paper, we remove the condition strongly without order and investigate the generalized Hyers-Ulam-Rassias stability and the superstability by using the alternative fixed point for cubic functional Equation (1.2) and their correspondent cubic multipliers.

2. Stability of cubic function equations

Throughout this section, X is a normed vector space and Y is a Banach space. For the given mapping f : XY , we consider
D f ( x , y ) : = f ( 2 x + y ) + f ( 2 x - y ) - 2 f ( x + y ) - 2 f ( x - y ) - 12 f ( x )

for all x, y X.

We need the following known fixed point theorem, which is useful for our goals (an extension of the result was given in Turinici [17]).

Theorem 2.1. (The fixed point alternative [18]) Suppose that (Ω, d) a complete generalized metric space and let J : Ω Ω be a strictly contractive mapping with Lipschitz constant L < 1. Then for each element x Ω, either d ( J n x , J n + 1 x ) = for all n ≥ 0, or there exists a natural number n0such that:

(i) d ( J n x , J n + 1 x ) < for all n ≥ n0;

(ii) the sequence { J n x } is convergent to a fixed point y* of J ;

(iii) y* is the unique fixed point of J in the set
Λ = { y Ω : d ( J n 0 x , y ) < } ;

(iv) d ( y , y * ) 1 1 - L d ( y , J y ) for all y Λ.

Theorem 2.2. Let f : X → Y be a mapping with f(0) = 0, and let ψ : X × X → [0, ∞) be a function satisfying
lim n ψ ( 2 n x , 2 n y ) 8 n = 0
(2.1)
and
| | D f ( x , y ) | | ψ ( x , y )
(2.2)
for all x, y X. If there exists L (0, 1) such that
ψ ( 2 x , 0 ) 8 L ψ ( x , 0 )
(2.3)
for all x X, then there exists a unique cubic mapping C : X → Y such that
| | f ( x ) - C ( x ) | | L 2 ( 1 - L ) ψ ( x , 0 )
(2.4)

for all x X.

Proof: We consider the set Ω := {g : XY | g(0) = 0} and introduce the generalized metric on Ω as follows:
d ( g 1 , g 2 ) : = inf { C ( 0 , ) : | | g 1 ( x ) - g 2 ( x ) | | C ψ ( x , 0 ) for all x X }
if there exists such constant C, and d(g1, g2) = ∞, otherwise. One can prove that the metric space (Ω, d) is complete. Now, we define the mapping J : Ω Ω by
J g ( x ) = 1 8 g ( 2 x ) , ( x X ) .
If g1, g2 Ω such that d(g1, g2) < C, by definition of d and J , we have
1 8 g 1 ( 2 x ) - 1 8 g 2 ( 2 x ) 1 8 C ψ ( 2 x , 0 )
for all x X. By using (2.3), we get
1 8 g 1 ( 2 x ) - 1 8 g 2 ( 2 x ) C L ψ ( x , 0 )
for all x X. The above inequality shows that d ( J g 1 , J g 2 ) L d ( g 1 , g 2 ) for all g1, g2 Ω. Hence, J is a strictly contractive mapping on Ω with Lipschitz constant L. Putting y = 0 in (2.2), using (2.3), and dividing both sides of the resulting inequality by 16, we have
1 8 f ( 2 x ) - f ( x ) 1 1 6 ψ ( x , 0 ) 1 2 L ψ x 2 , 0
for all x X. Thus, d ( f , J f ) L 2 < . By Theorem 2.1, the sequence { J n f } converges to a fixed point C : XY in the set Ω1 = {g Ω; d(f, g) < ∞}, that is
C ( x ) = lim n f ( 2 n x ) 8 n
(2.5)
for all x X. By Theorem 2.1, we have
d ( f , C ) d ( f , J f ) 1 - L L 2 ( 1 - L ) .
(2.6)
It follows from (2.6) that (2.4) holds for all x X. Substituting x, y by 2 n x, 2 n y in (2.2), respectively, and applying (2.1) and (2.5), we have
| | D C ( x , y ) | | = lim n 1 8 n | | D f ( 2 n x , 2 n y ) | | (1) lim n 1 8 n ψ ( 2 n x , 2 n y ) = 0 (2) (3)

for all x X. Therefore C is a cubic mapping, which is unique. □

Corollary 2.3. Let p and λ be non-negative real numbers such that p < 3. Suppose that f : XY is a mapping satisfying
| | D f ( x , y ) | | λ ( | | x | | p + | | y | | p )
(2.7)
for all x, y X. Then, there exists a unique cubic mapping C : XY such that
| | f ( x ) - C ( x ) | | 2 p λ 2 ( 8 - 2 p ) | | x | | p
(2.8)

for all x X.

Proof: The result follows from Theorem 2.2 by using ψ(x, y) = λ(||x|| p + ||y|| p ). □

Now, we establish the superstability of cubic mapping on Banach spaces.

Corollary 2.4. Let p, q, λ be non-negative real numbers such that p, q (3, ∞). Suppose a mapping f : XY satisfies
| | D f ( x , y ) | | λ | | x | | q | | y | | p
(2.9)

for all x, y X. Then, f is a cubic mapping on X.

Proof: Letting x = y = 0 in (2.9), we get f(0) = 0. Once more, if we put x = 0 in (2.9), we have f(2x) = 8f(x) for all x X. It is easy to see that by induction, we have f(2 n x) = 8 n f(x), and so f ( x ) = f ( 2 n x ) 8 n for all x X and n . Now, it follows from Theorem 2.2 that f is a cubic mapping. □

Note that in Corollary 2.4, if p + q (0, 3) and p > 0 such that the inequality (2.9) holds, then by applying ψ(x, y) = λ||x|| p ||y|| q in Theorem 2.2, f is again a cubic mapping.

Theorem 2.5. Let f : XY be a mapping with f(0) = 0, and let ψ : X × X → [0, ∞) be a function satisfying
lim n 8 n ψ x 2 n , y 2 n = 0
(2.10)
and
| | D f ( x , y ) | | ψ ( x , y )
(2.11)
for all x, y X. If there exists L (0, 1) such that
ψ ( x , 0 ) 1 8 L ψ ( 2 x , 0 )
(2.12)
for all x X, then there exists a unique cubic mapping C : XY such that
| | f ( x ) - C ( x ) | | L 1 6 ( 1 - L ) ψ ( x , 0 )
(2.13)

for all x X.

Proof: We consider the set Ω := {g : XY | g(0) = 0} and introduce the generalized metric on Ω:
d ( g 1 , g 2 ) : = inf { C ( 0 , ) : | | g 1 ( x ) - g 2 ( x ) | | C ψ ( x , 0 ) x X }
if there exists such constant C, and d(g1, g2) = ∞, otherwise. It is easy to show that (Ω, d) is complete. We will show that the mapping J : Ω Ω defined by J g ( x ) = 8 g x 2 ; (x X) is strictly contractive. For given g1, g2 Ω such that d(g1, g2) < C, we have
8 g 1 x 2 - 8 g 2 ( x 2 ) 1 8 C ψ ( 2 x , 0 )
for all x X. By using (2.12), we obtain
8 g 1 x 2 - 8 g 2 x 2 C L ψ ( x , 0 )
for all x X. It follows from the last inequality that d ( J g 1 , J g 2 ) L d ( g 1 , g 2 ) for all g1, g2 Ω. Hence, J is a strictly contractive mapping on Ω with Lipschitz constant L. By putting y = 0 and replacing x by x 2 in (2.11) and using (2.12), then by dividing both sides of the resulting inequality by 2, we have
8 f ( x 2 ) - f ( x ) 1 2 ψ x 2 , 0 1 1 6 L ψ ( x , 0 )
for all x X. Hence, d ( f , J f ) L 1 6 < . By applying the fixed point alternative, there exists a unique mapping C : XY in the set Ω1 = {g Ω; d(f, g) < ∞} such that
C ( x ) = lim n 8 n f x 2 n
(2.14)
for all x X. Again, Theorem 2.1 shows that
d ( f , C ) d ( f , J f ) 1 - L L 1 6 ( 1 - L )
(2.15)
where the inequality (2.15) implies the relation (2.13). Replacing x, y by 2 n x, 2 n y in (2.11), respectively, and using (2.10) and (2.14), we conclude
| | D C ( x , y ) | | = lim n 8 n D f x 2 n , y 2 n (1) lim n 8 n ψ x 2 n , y 2 n = 0 (2) (3)

for all x X. Therefore C is a cubic mapping. □

Corollary 2.6. Let p and λ be non-negative real numbers such that p > 3. Suppose that f : XY is a mapping satisfying
| | D f ( x , y ) | | λ ( | | x | | p + | | y | | p )
for all x, y X. Then there exists a unique cubic mapping C : XY such that
| | f ( x ) - C ( x ) | | λ 2 ( 2 p - 8 ) | | x | | p

for all x X.

Proof: It is enough to let ψ(x, y) = λ(||x|| p + ||y|| p ) in Theorem 2.5. □

Corollary 2.7. Let p, q, λ be non-negative real numbers such that p + q (0, 3) and p > 0. Suppose a mapping f : X → Y satisfies
| | D f ( x , y ) | | λ | | x | | q | | y | | p
(2.16)

for all x, y X. Then, f is a cubic mapping on X.

Proof: If we put x = y = 0 in (2.16), we get f(0) = 0. Again, putting x = 0 in (2.16), we conclude that f ( x ) = 8 f x 2 , and thus f ( x ) = 8 n f x 2 n for all x X and n . Now, we can obtain the desired result by Theorem 2.5. □

One should remember that if a mapping f : XY satisfies the inequality (2.16), where p, q, λ be non-negative real numbers such that p + q > 3 and p > 0, then it is obvious that f is a cubic mapping on X by putting ψ(x, y) = λ||x|| p ||y|| q in Theorem 2.5.

3. Stability of cubic multipliers

In this section, we investigate the Hyers-Ulam stability and the superstability of cubic multipliers.

Definition 3.1. A cubic multiplier on an algebra A is a cubic mapping T : AA such that aT(b) = T(a)b for all a, b A.

The following example introduces a cubic multiplier on Banach algebras.

Example. Let (A, ||·||) be a Banach algebra. Then, we take B = A × A × A × A × A × A = A6. Let a = (a1, a2, a3, a4, a5, a6) be an arbitrary member of B where we define | | | a | | | = i = 1 6 | | a i | | . It is easy to see (B, |||·|||)) is a Banach space. For two elements a = (a1, a2, a3, a4, a5, a6) and b = (b1, b2, b3, b4, b5, b6) of B, we define ab = (0, a1b4, a1b5 + a2b6, 0, a4b6, 0). It is easy to show that B is a Banach algebra. We define T : BB by T(a) = a3 for all a B. It is shown in Eshaghi Gordji et al. [16] that T is a cubic multiplier on A.

Theorem 3.2. Let f : AA be a mapping with f(0) = 0 and let ψ: A4 → [0, ∞) be a function such that
| | D f ( x , y ) + f ( z ) w - z f ( w ) | | ψ ( x , y , z , w )
(3.1)
for all x, y, z, w A. If there exists a constant L (0, 1) such that
ψ ( 2 x , 2 y , 2 z , 2 w ) 8 L ψ ( x , y , z , w )
(3.2)
for all x, y, z, w A, then there exists a unique cubic multiplier T on A satisfying
| | f ( x ) - T ( x ) | | L 2 ( 1 - L ) ψ ( x , x , 0 , 0 )
(3.3)

for all x A.

Proof. It follows from the relation (3.2) that
lim n ψ ( 2 n x , 2 n y , 2 n z , 2 n w ) 8 n = 0
(3.4)

for all x, y, z, w A.

Putting y = z = w = 0 in (3.1), we obtain
| | 2 f ( 2 x ) - 1 6 f ( x ) | | ψ ( x , 0 , 0 , 0 )
for all x A. Thus,
1 8 f ( 2 x ) - f ( x ) 1 1 6 ψ ( x , 0 , 0 , 0 )
(3.5)

for all x A.

Now, similar to the proof of theorems in previous section, we consider the set X := {h : AA | h(0) = 0} and introduce the generalized metric on X as:
d ( h 1 , h 2 ) : =  inf { C + : | | h 1 ( x ) - h 2 ( x ) | | C ψ ( x , 0 , 0 , 0 )  for all x A }
if there exists such constant C, and d(h1, h2) = ∞, otherwise. The metric space (X, d) is complete, and by the same reasoning as in the proof of Theorem 2.2, the mapping Φ: XX defined by Φ ( h ) ( x ) = 1 8 h ( 2 x ) ; (x A) is strictly contractive on X and has a unique fixed point T such that lim n d ( Φ n f , T ) = 0 , i.e.,
T ( x ) = lim n f ( 2 n x ) 8 n
(3.6)
for all x A. By Theorem 2.1, we have
d ( f , T ) d ( f , Φ f ) 1 - L L 2 ( 1 - L ) .
(3.7)
The proof of Theorem 2.2 shows that T is a cubic mapping. If we substitute z and w by 2 n z and 2 n w in (3.1), respectively, and put x = y = 0 and we divide the both sides of the obtained inequality by 24n, we get
z f ( 2 n w ) 8 n - f ( 2 n z ) 8 n w ψ ( 0 , 0 , 2 n z , 2 n w ) 2 4 n .

Passing to the limit as n and from (3.4), we conclude that zT(w) = T(z)w for all z, w A. □

Corollary 3.3. Let r, θ be non-negative real numbers with r < 3 and let f : AA be a mapping with f(0) = 0 such that
| | D f ( x , y ) + f ( z ) w - z f ( w ) | | θ ( | | x | | r + | | y | | r + | | z | | r + | | w | | r )
for all x, y, z, w A. Then, there exists a unique cubic multiplier T on A satisfying
| | f ( x ) - T ( x ) | | 2 r - 1 θ 8 - 2 r | | x | | r

for all x A.

Proof. The proof follows from Theorem 3.2 by taking
ψ ( x , y , z , w ) = θ ( | | x | | r + | | y | | r + | | z | | r + | | w | | r )

for all x, y, z, w A. □

Now, we have the following result for the superstability of cubic multipliers.

Corollary 3.4. Let r j (1 ≤ j ≤ 4). θ be non-negative real numbers with j = 1 4 r j < 3 and let f: AA be a mapping with f (0) = 0 such that
| | D f ( x , y ) + f ( z ) w - z f ( w ) | | θ ( | | x | | r 1 | | y | | r 2 | | z | | r 3 | | w | | r 4 )

for all x, y, z, w A. Then, f is a cubic multiplier on A.

Proof. It is enough to let ψ ( x , y , z , w ) = θ ( | | x | | r 1 | | y | | r 2 | | z | | r 3 | | w | | r 4 ) in Theorem 3.2. □

Declarations

Acknowledgements

The authors sincerely thank the anonymous reviewer for his careful reading, constructive comments and fruitful suggestions to improve the quality of the manuscript. The first and third author would like to thank Islamic Azad University of Garmsar for financial support.

Authors’ Affiliations

(1)
Department of Mathematics, Garmsar Branch, Islamic Azad University
(2)
Institute for Mathematical Research, University Putra Malaysia

References

  1. Ulam SM: Problems in Modern Mathematics. Volume chapt. VI. science edition. Wiley, New York; 1940.Google Scholar
  2. Hyers DH: On the stability of the linear functional equation. Proc Natl Acad Sci 1941, 27: 222–224. 10.1073/pnas.27.4.222MathSciNetView ArticleGoogle Scholar
  3. Rassias ThM: On the stability of the linear mapping in Banach spaces. Proc Am Math Soc 1978, 72: 297–300. 10.1090/S0002-9939-1978-0507327-1View ArticleGoogle Scholar
  4. Gǎvruta P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J Math Anal Appl 1994, 184: 431–436. MR1281518 (95e:47089) 10.1006/jmaa.1994.1211MathSciNetView ArticleGoogle Scholar
  5. Skof F: Propriet locali e approssimazione di operatori. Rend Sem Math Fis Milano 1983, 53: 113–129. 10.1007/BF02924890MathSciNetView ArticleGoogle Scholar
  6. Cholewa PW: Remarks on the stability of functional equations. Aequ Math 1984, 27: 76–86. 10.1007/BF02192660MathSciNetView ArticleGoogle Scholar
  7. Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh Math Sem Univ Hamburg 1992, 62: 59–64. MR1182841 (94e:39026) 10.1007/BF02941618MathSciNetView ArticleGoogle Scholar
  8. Eshaghi Gordji M, Bodaghi A: On the Hyers-Ulam-Rasias stability problem for quadratic functional equations. East Journal of Approximations 2010,16(2):123–130.MathSciNetGoogle Scholar
  9. Eshaghi Gordji M, Bodaghi A: On the stability of quadratic double centralizers on Banach algebras. J Comput Anal Appl 2011,13(4):724–729.MathSciNetGoogle Scholar
  10. Lee J, An J, Park C: On the stability of qudratic functional equations. Abstr Appl Anal 2008, 2008: 1–9.MathSciNetView ArticleGoogle Scholar
  11. Jun KW, Kim HM: The generalized Hyers-Ulam-Rassias stability of a cubic functional equation. J Math Anal Appl 2002, 274: 867–878. 10.1016/S0022-247X(02)00415-8MathSciNetView ArticleGoogle Scholar
  12. Jun KW, Kim HM: On the Hyers-Ulam-Rassias stability of a general cubic functional equation. Math Inequal Appl 2003,6(2):289–302.MathSciNetGoogle Scholar
  13. Chang IS, Jun KW, Jung YS: The modified Hyers-Ulam-Rassias stability of a cubic type functional equation. Math Inequal Appl 2005,8(4):675–683.MathSciNetGoogle Scholar
  14. Najati A: The generalized Hyers-Ulam-Rassias stability of a cubic functional equation. Turk J Math 2007, 31: 395–408.MathSciNetGoogle Scholar
  15. Bodaghi A, Alias IA, Eshaghi Gordji M: On the stability of quadratic double centralizers and quadratic multipliers: a fixed point approach. J Inequal Appl 2011,2011(Article ID 957541):9.Google Scholar
  16. Eshaghi Gordji M, Shams S, Ramezani M, Ebadian A: Approximately cubic double centralizers. Nonlinear Func Anal Appl 2010,15(3):503–512.MathSciNetGoogle Scholar
  17. Turinici M: Sequentially iterative processes and applications to Volterra functional equations. Ann Univ Mariae-Curie Sklodowska (Sect A) 1978, 32: 127–134.MathSciNetGoogle Scholar
  18. Diaz JB, Margolis B: A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull Am Math Soc 1968, 74: 305–309. 10.1090/S0002-9904-1968-11933-0MathSciNetView ArticleGoogle Scholar

Copyright

© Bodaghi et al; licensee Springer. 2011

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.