Skip to content

Advertisement

Open Access

A fixed point approach to the stability of an AQ-functional equation on β-Banach modules

Fixed Point Theory and Applications20122012:32

https://doi.org/10.1186/1687-1812-2012-32

Received: 17 November 2011

Accepted: 1 March 2012

Published: 1 March 2012

Abstract

Using the fixed point method, we prove the Hyers-Ulam stability of the following mixed additive and quadratic functional equation f (kx + y) + f(kx - y) = f(x + y) + f(x - y) + (k - 1) [(k + 2) f(x) + kf(-x)] (k , k ≠ 1) in β-Banach modules on a Banach algebra.

MR(2000) Subject Classification. 39B82; 39B52; 46H25.

Keywords

Hyers-Ulam stabilityAQ-functional equationBanach moduleunital Banach algebrageneralized metric spacefixed point method

1 Introduction

The study of stability problems for functional equations is related to a question of Ulam [1] concerning the stability of group homomorphisms and affirmatively answered for Banach spaces by Hyers [2]. The result of Hyers was generalized by Aoki [3] for approximate additive mappings and by Rassias [4] for approximate linear mappings by allowing the Cauchy difference operator CDf (x, y) = f (x + y) - [f(x) + f(y)] to be controlled by ϵ(x p + y p ). In 1994, a further generalization was obtained by Găvruţa [5], who replaced ϵ(x p + y p ) by a general control function φ(x,y). Rassias [6, 7] treated the Ulam-Gavruta-Rassias stability on linear and nonlinear mappings and generalized Hyers result. The reader is referred to the following books and research articles which provide an extensive account of progress made on Ulam's problem during the last seventy years (cf. [833]).

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

is related to a symmetric biadditive function [15]. It is natural that such equation is called a quadratic functional equation. In particular, every solution of the quadratic Equation (1.1) is said to be a quadratic function. It is well known that a function f between real vector spaces is quadratic if and only if there exists a unique symmetric biadditive function B such that f (x) = B (x,x) for all x (see [15]). The biadditive function B is given by B ( x , y ) = 1 4 f ( x + y ) + f ( x - y ) . In [34], Czerwik proved the Hyers-Ulam stability of the quadratic functional Equation (1.1). A Hyers-Ulam stability problem for the quadratic functional Equation (1.1) was proved by Skof for functions f : E1E2, where E1 is a normed space and E2 a Banach space (see [35]). Cholewa [36] noticed that the theorem of Skof is still true if the relevant domain E1 is replaced by an Abelian group. Grabiec in [37] has generalized the above mentioned results. Park and Rassias proved the Hyers-Ulam stability of generalized Apollonius type quadratic functional equation (see [18]). The quadratic functional equation and several other functional equations are useful to characterize inner product spaces (cf. [8, 24, 28, 29, 38]).

Now we consider a mapping f : XY satisfies the following additive-quadratic (AQ) functional equation, which is introduced by Eskandani et al. (see [11]),
f ( k x + y ) + f ( k x - y ) = f ( x + y ) + f ( x - y ) + ( k - 1 ) [ ( k + 2 ) f ( x ) + k f ( - x ) ]
(1.2)

for a fixed integer with k ≥ 2. It is easy to see that the function f (x) = ax2 + bx is a solution of the functional Equation (1.2). The main purpose of this article is to prove the Hyers-Ulam stability of an AQ-functional Equation (1.2) in β-normed left Banach modules on Banach algebras using the fixed point method.

2 Preliminaries

Let β be a real number with 0 < β ≤ 1 and let K denotes either or . Let X be a linear space over K . A real-valued function · β is called a β-norm on X if and only if it satisfies

(βN 1) x β = 0 if and only if x = 0;

(βN 2) λx β = |λ| β x β for all λ K and all x X;

(βN 3) x + y β x β + y β for all x, y X.

The pair (X, β ) is called a β-normed space (see [39]). A β-Banach space is a complete β-normed space.

For explicitly later use, we recall the following result by Diaz and Margolis [40].

Theorem 2.1 Let (Ω, d) be a complete generalized metric space and J : Ω → Ω be a strictly contractive mapping with Lipschitz constant L < 1, that is
d ( J x , J y ) L d ( x , y ) , x , y Ω .
Then, for each given x Ω, either
d ( J n x , J n + 1 x ) = , n 0 ,
or there exists a non-negative integer n 0 such that
  1. (1)

    d(J n x, J n+1 x) < ∞ for all nn 0;

     
  2. (2)

    the sequence {J n x} is converges to a fixed point y* of J;

     
  3. (3)

    y* is the unique fixed point of J in the set Ω * = y Ω | d J n 0 x , y < ;

     
  4. (4)

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

     

The following Lemma 2.2 and Theorem 2.3 about solutions of Equation (1.2) have been proved in [11].

Lemma 2.2 (1) If an odd mapping f : XY satisfies (1.2) for all x, y X, then f is additive.
  1. (2)

    If an even mapping f : XY satisfies (1.2) for all x, y X, then f is quadratic.

     

Theorem 2.3 A mapping f : XY satisfies (1.2) for all x, y X if and only if there exist a symmetric bi-additive mapping B : X × XY and an additive mapping A: XY such that f (x) = B(x, x) + A(x) for all x X.

3 Main results

Throughout this section, let B be a unital Banach algebra with norm | |, B1 := {b B| |b| = 1}, X be a β-normed left B-module and Y be a β-normed left Banach B-module, and let k , k ≠ 1 be a fixed integer. For a given mapping f : XY, we define the difference operators
D b f ( x , y ) : = f ( k b x + b y ) + f ( k b x - b y ) - b f ( x + y ) - b f ( x - y ) - ( k - 1 ) b [ ( k + 2 ) f ( x ) + k f ( - x ) ]
and
D ̃ b f ( x , y ) : = f ( k b x + b y ) + f ( k b x - b y ) - b 2 f ( x + y ) - b 2 f ( x - y ) - ( k - 1 ) b 2 [ ( k + 2 ) f ( x ) + k f ( - x ) ]

for all x,y X and b B1.

Theorem 3.1 Let φ : X2 → [0, ∞) be a function such that
lim n 1 k n β φ ( k n x , k n y ) = 0
(3.1)
for all x, y X. Let f : XY be an odd mapping such that
D b f ( x , y ) β φ ( x , y )
(3.2)
for all x,y X and all b B1. If there exists a Lipschitz constant 0 < L < 1 such that
φ ( k x , 0 ) k β L φ ( x , 0 )
(3.3)
for all x X, then there exists a unique additive mapping A: XY such that
f ( x ) - A ( x ) β 1 ( 2 k ) β ( 1 - L ) φ ( x , 0 )
(3.4)

for all x X. Moreover, if f (tx) is continuous in t for each fixed x X, then A is B-linear, i.e., A(bx) = bA(x) for all x X and all b B.

Proof Letting b = 1 and y = 0 in (3.2), we get
f ( k x ) - k f ( x ) β 1 2 β φ ( x , 0 )
(3.5)
for all x X. Consider the set Ω := {g | g : XY,g(0) = 0} and introduce the generalized metric on Ω:
d ( g , h ) = inf { C ( 0 , ) | g ( x ) - h ( x ) β C φ ( x , 0 ) , x X } .
(3.6)
It is easy to show that (Ω, d) is a complete generalized metric space (see [10, Theorem 2.5]). We now define a function J : Ω → Ω by
( J g ) ( x ) = 1 k g ( k x ) , g Ω , x X .
(3.7)
Let g, h Ω and C [0, ∞] be an arbitrary constant with d (g, h) < C, by the definition of d, it follows
g ( x ) - h ( x ) β C φ ( x , 0 ) , x X .
(3.8)
By the given hypothesis and the last inequality, one has
1 k g ( k x ) - 1 k h ( k x ) β C L φ ( x , 0 ) , x X .
(3.9)
Hence, it holds that d (Jg, Jh) < Ld(g, h). It follows from (3.5) that d(Jf, f)<1/(2k) β < ∞. Therefore, by Theorem 2.1, J has a unique fixed point A : XY in the set Ω* = {g Ω | d (f, g) < ∞} such that
A ( x ) : = lim n ( J n f ) ( x ) = lim n 1 k n f ( k n x )
(3.10)
and A(kx) = kA(x) for all x X :Also,
d ( A , f ) 1 1 - L d ( J f , f ) 1 ( 2 k ) β ( 1 - L ) .
(3.11)

This means that (3.4) holds for all x X.

Now we show that A is additive. By (3.1), (3.2), and (3.10), we have
D 1 A ( x , y ) β = lim n 1 k n D 1 f ( k n x , k n y ) β = lim n 1 k n β D 1 f ( k n x , k n y ) β lim n 1 k n β φ ( k n x , k n y ) = 0
that is,
A ( k x + y ) + A ( k x - y ) = A ( x + y ) + A ( x - y ) + ( k - 1 ) [ ( k + 2 ) A ( x ) + k A ( - x ) ]

for all x, y X. Therefore by Lemma 2.2, we get that the mapping A is additive.

Moreover, if f (tx) is continuous in t for each fixed x X, then by the same reasoning as in the proof of [4]A is -linear. Letting y = 0 in (3.2), we get
2 f ( k b x ) - 2 k b f ( x ) β φ ( x , 0 )
(3.12)
for all x X and all b B1. By definition of A, (3.1) and (3.12), we obtain
2 A ( k b x ) - 2 k b A ( x ) β = lim n 1 k n β 2 f ( k n + 1 b x ) - 2 k b f ( k n x ) β lim n 1 k n β φ ( k n x , 0 ) = 0
for all x X and all b B1. So A (kbx) - kbA (x) = 0 for all x X and all b B1. Since A is additive, we get A(bx) = bA(x) for all x X and all b B1 {0}. Now, let a B\{0}. Since A is -linear,
A ( b x ) = A b b b x = b A b b x = b b b A ( x ) = b A ( x )

for all x X and all b B. This proves that A is B-linear.

Corollary 3.2 Let 0 < r < 1 and δ, θ be non-negative real numbers, and let f : XY be an odd mapping for which
D b f ( x , y ) β δ + θ ( x β r + y β r )
(3.13)
for all x, y X and b B1. Then there exists a unique additive mapping A : XY such that
f ( x ) - A ( x ) β 1 2 β ( k β - k β r ) δ + 1 2 β ( k β - k β r ) θ x β r

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear.

Proof The proof follows from Theorem 3.1 by taking φ ( x , y ) = δ + θ x β r + y β r for all x, y X. We can choose L = kβ(r-1)to get the desired result.

The Hyers-Ulam stability for the case of r = 1 was excluded in Corollary 3.2. In fact, the functional Equation (1.2) is not stable for r = 1 in (3.13) as we shall see in the following example, which is a modification of the example of Gajda [41] for the additive functional inequality (see also [20]).

Example 3.3 Let ϕ : be defined by
ϕ ( x ) = x , for x < 1 , 1 , for x 1 .
Consider the function f : be defined by
f ( x ) = m = 0 α - m ϕ ( α m x )
for all x , where α > k. Let
D μ f ( x , y ) : = f ( k μ x + μ y ) + f ( k μ x - μ y ) - μ f ( x + y ) - μ f ( x - y ) - ( k - 1 ) μ [ ( k + 2 ) f ( x ) + k f ( - x ) ]
for all x, y and μ T : = λ | λ = 1 . Then f satisfies the functional inequality
D μ f ( x , y ) 2 α 2 ( k 2 + 1 ) α - 1 ( x + y )
(3.14)

for all x, y , but there do not exist an additive function A : and a constant d > 0 such that |f (x) - A(x)| < d |x| for all x .

It is clear that f is bounded by α α - 1 on . If |x| + |y| = 0 or x + y 1 α , then
D μ f ( x , y ) 2 α 2 ( k 2 + 1 ) α - 1 x + y .
Now suppose that 0 < x + y < 1 α . Then there exists an integer n ≥ 1 such that
1 α n + 1 x + y < 1 α n .
(3.15)
Hence
α m k μ x ± μ y < 1 , α m x ± y < 1 , α m x < 1
for all m = 0,1,..., n - 1. From the definition of f and (3.15), we obtain that
D μ f ( x , y ) = m = n α - m ϕ ( α m ( k μ x + μ y ) ) + m = n α - m ϕ ( α m ( k μ x - μ y ) ) - μ m = n α - m ϕ ( α m ( x + y ) ) - μ m = n α - m ϕ ( α m ( x - y ) ) - ( k - 1 ) μ ( k + 2 ) m = n α - m ϕ ( α m x ) + k m = n α - m ϕ ( - α m x ) 2 α 2 ( k 2 + 1 ) α - 1 ( x + y )
Therefore, f satisfies (3.14). Now, we claim that the functional Equation (1.2) is not stable for r = 1 in Corollary 3.2. Suppose on the contrary that there exist an additive function A : and a constant d > 0 such that |f(x) - A(x)| ≤ d |x| for all x . Then there exists a constant c such that A(x) = cx for all rational numbers x. So we obtain that
f ( x ) d + c x
(3.16)
for all rational numbers x. Let s with s + 1 > d + |c|. If x is a rational number in (0, α-s), then α m x (0,1) for all m = 0,1,..., s, and for this x we get
f ( x ) = m = 0 ϕ ( α m x ) α m m = 0 s ϕ ( α m x ) α m = ( s + 1 ) x > d + c x ,

which contradicts (3.16).

Corollary 3.4 Let t, s > 0 such that λ := t + s < 1 and δ, θ be non-negative real numbers, and let f :XY be an odd mapping for which
D b f ( x , y ) β δ + θ x β t y β s + x β λ + y β λ
for all x, y X and b B1. Then there exists a unique additive mapping A : XY such that
f ( x ) - A ( x ) β 1 2 β ( k β - k β λ ) δ + 1 2 β ( k β - k β λ ) θ x β λ

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear.

Proof The proof follows from Theorem 3.1 by taking φ ( x , y ) = δ + θ x β r y β s + x β λ + y β λ for all x, y X. We can choose L = kβ(λ-1)to get the desired result.

The Hyers-Ulam stability for the case of λ = 1 was excluded in Corollary 3.4. Similar to Theorem 3.1, one can obtain the following theorem.

Theorem 3.5 Let φ : X2 → [0, ∞) be a function such that
lim n k n β φ x k n , y k n = 0
for all x,y X. Let f : XY be an odd mapping such that
D b f ( x , y ) β φ ( x , y )
for all x,y X and all b B1. If there exists a Lipschitz constant 0 < L < 1 such that φ(x, 0) ≤ k-βL φ (kx, 0) for all x X, then there exists a unique additive mapping A: XY such that
f ( x ) - A ( x ) β L ( 2 k ) β ( 1 - L ) φ ( x , 0 )

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear.

As applications for Theorems 3.5, one can get the following Corollaries 3.6 and 3.7.

9

Corollary 3.6 Let r > 1 and θ be a non-negative real number, and let f : XY be an odd mapping for which
D b f ( x , y ) β θ x β r + y β r
for all x,y X and b B1. Then there exists a unique additive mapping A : XY such that
f ( x ) - A ( x ) β 1 2 β ( k β r - k β ) θ x β r

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear.

Corollary 3.7 Let t, s > 0 such that λ := t + s > 1 and θ be a non-negative real number, and let f :XY be an odd mapping for which
D b f ( x , y ) β θ x β t y β s + x β λ + y β λ
for all x,y X and b B1. Then there exists a unique additive mapping A : XY such that
f ( x ) - A ( x ) β 1 2 β ( k β λ - k β ) θ x β λ

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear.

Theorem 3.8 Let φ : X2 → [0, ∞) be a function such that
lim n 1 k 2 n β φ ( k n x , k n y ) = 0
(3.17)
for all x,y X. Let f : XY be an even mapping such that
D ̃ b f ( x , y ) β φ ( x , y )
(3.18)
for all x,y X and all b B1. If there exists a Lipschitz constant 0 < L < 1 such that
φ ( k x , 0 ) k 2 β L φ ( x , 0 )
(3.19)
for all x X, then there exists a unique quadratic mapping Q:XY such that
f ( x ) - Q ( x ) β 1 ( 2 k 2 ) β ( 1 - L ) φ ( x , 0 )
(3.20)

for all x X. Moreover, if f (tx) is continuous in t for each fixed x X, then Q is B-quadratic, i.e., Q(bx) = b2Q(x) for all x X and all b B.

Proof Letting b = 1 and y = 0 in (3.18), we get
f ( k x ) - k 2 f ( x ) β 1 2 β φ ( x , 0 )
(3.21)
for all x X. Consider the set Ω := {g | g : XY, g(0) = 0} and introduce the generalized metric on Ω:
d ( g , h ) = inf C ( 0 , ) | g ( x ) - h ( x ) β C φ ( x , 0 ) , x X .
It is easy to show that (Ω, d) is a complete generalized metric space. We now define a function J : Ω → Ω by
( J g ) ( x ) = 1 k 2 g ( k x ) , g Ω , x X .
Let g, h Ω and C [0, ∞] be an arbitrary constant with d(g, h) < C, by the definition of d, it follows
g ( x ) - h ( x ) β C φ ( x , 0 ) , x X .
By the given hypothesis and the last inequality, one has
1 k 2 g ( k x ) - 1 k 2 h ( k x ) β C L φ ( x , 0 ) , x X .
Hence, it holds that d(Jg, Jh) ≤ Ld(g, h). It follows from (3.21) that d(Jf, f) ≤ 1/(2k2) ß < ∞. Therefore, by Theorem 2.1, J has a unique fixed point Q : XY in the set Ω* = {g Ω | d(f, g) < ∞} such that
Q ( x ) : = lim n ( J n f ) ( x ) = lim n 1 k 2 n f ( k n x )
(3.22)
and Q(kx) = k2Q(x) for all x X. Also,
d ( Q , f ) 1 1 - L d ( J f , f ) 1 ( 2 k 2 ) β ( 1 - L ) .

This means that (3.20) holds for all x X.

The mapping Q is quadratic because as follows it satisfies in Equation (1.2):
D ̃ 1 Q ( x , y ) β = lim n 1 k 2 n D ̃ 1 f ( k n x , k n y ) β = lim n 1 k 2 n β D ̃ 1 f ( k n x , k n y ) β lim n 1 k 2 n β φ ( k n x , k n y ) = 0 ,

for all x,y X, therefore by Lemma 2.2, it is quadratic.

Moreover, if f(tx) is continuous in t for each fixed x X, then by the same reasoning as in the proof of [4]Q is -quadratic. Letting y = 0 in (3.18), we get
2 f ( k b x ) - 2 k 2 b 2 f ( x ) β φ ( x , 0 )
(3.23)
for all x X and all b B1. By definition of Q, (3.17) and (3.23), we obtain
2 Q ( k b x ) - 2 k 2 b 2 Q ( x ) β = lim n 1 k 2 n β 2 f ( k n + 1 b x ) - 2 k 2 b 2 f ( k n x ) β lim n 1 k 2 n β φ ( k n x , 0 ) = 0
for all x X and all b B1. So Q (kbx) - k2b2Q(x) = 0 for all x X and all b B1. Since Q(kx) = k2Q(x), we get Q(bx) = b2Q(x) for all x X and all b B1 {0}. Now, let b B\{0}. Since Q is -quadratic,
Q ( b x ) = Q b 1 b x = b 2 Q b b x = b 2 b b 2 Q ( x ) = b 2 Q ( x )

for all x X and all b B. This proves that Q is B-quadratic.

Corollary 3.9 Let 0 < r < 2 and δ, θ be non-negative real numbers, and let f : XY be an even mapping for which
D ̃ b f ( x , y ) β δ + θ x β r + y β r
for all x,y X and be B1. Then there exists a unique quadratic mapping Q:XY such that
f ( x ) - Q ( x ) β 1 2 β ( k 2 β - k β r ) δ + 1 2 β ( k 2 β - k β r ) θ x β r

for all x X. Moreover, if f (tx) is continuous in t for each fixed x X, then Q is B-quadratic.

The following example shows that the Hyers-Ulam stability for the case of r = 2 was excluded in Corollary 3.9.

Example 3.10 Let ϕ : be defined by
ϕ ( x ) = x 2 , for x < 1 , 1 , for x 1 .
Consider the function f : be defined by
f ( x ) = m = 0 α - 2 m ϕ ( α m x )
for all x , where α > k. Let
D ̃ μ f ( x , y ) : = f ( k μ x + μ y ) + f ( k μ x - μ y ) - μ 2 f ( x + y ) - μ 2 f ( x - y ) - ( k - 1 ) μ 2 ( k + 2 ) f ( x ) + k f ( - x )
for all x, y and μ T : = λ | λ = 1 . Then f satisfies the functional inequality
D ̃ μ f ( x , y ) 2 ( k 2 + 1 ) α 4 α 2 - 1 x 2 + y 2
(3.24)

for all x, y , but there do not exist a quadratic function Q : and a constant d > 0 such that |f(x) - Q(x)| ≤ d |x|2 for all x .

It is clear that f is bounded by α 2 α 2 - 1 on . If |x|2 + |y|2 = 0 or x 2 + y 2 1 α 2 , then
D ̃ μ f ( x , y ) 2 α 4 ( k 2 + 1 ) α 2 - 1 x 2 + y 2 .
Now suppose that 0 < x 2 + y 2 < 1 α 2 . Then there exists an integer n ≥ 1 such that
1 α 2 ( n + 2 ) x 2 + y 2 < 1 α 2 ( n + 1 ) .
(3.25)
Hence
α m k μ x ± μ y < 1 , α m x ± y < 1 , α m x < 1
for all m = 0,1,..., n - 1. From the definition of f and the inequality (3.25), we obtain that
D ̃ μ f ( x , y ) = m = n α - 2 m ϕ ( α m ( k μ x + μ y ) ) + m = n α - 2 m ϕ ( α m ( k μ x - μ y ) ) - μ 2 m = n α - 2 m ϕ ( α m ( x + y ) ) - μ 2 m = n α - 2 m ϕ ( α m ( x - y ) ) - ( k - 1 ) μ 2 ( k + 2 ) m = n α - 2 m ϕ ( α m x ) + k m = n α - 2 m ϕ ( - α m x ) 2 ( k 2 + 1 ) α 2 ( 1 - n ) α 2 - 1 2 ( k 2 + 1 ) α 4 α 2 - 1 x 2 + y 2
Therefore, f satisfies (3.24). Now, we claim that the functional Equation (1.2) is not stable for r = 2 in Corollary 3.9. Suppose on the contrary that there exist a quadratic function Q : and a constant d > 0 such that |f(x) - Q(x)| ≤ d |x|2 for all x . Then there exists a constant c such that Q(x) = cx2 for all rational numbers x. So we obtain that
f ( x ) d + c x 2
(3.26)
for all rational numbers x. Let s with s + 1 > d + |c|. If x is a rational number in (0, α-s), then α m x (0,1) for all m = 0,1,..., s, and for this x we get
f ( x ) = m = 0 ϕ ( α m x ) α 2 m m = 0 s ϕ ( α m x ) α 2 m = ( s + 1 ) x 2 > d + c x 2 ,

which contradicts (3.26).

Similar to Corollary 3.9, one can obtain the following corollary.

Corollary 3.11 Lett, s > 0 such that λ := t + s < 2 and δ, θ be non-negative real numbers, and let f :XY be an even mapping for which
D ̃ b f ( x , y ) β δ + θ x β t y β s + x β λ + y β λ
for all x,y X and b B1. Then there exists a unique quadratic mapping Q:XY such that
f ( x ) - Q ( x ) β 1 2 β ( k 2 β - k β λ ) δ + 1 2 β ( k 2 β - k β λ ) θ x β λ

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then Q is B-quadratic.

Similar to Theorem 3.8, one can obtain the following theorem.

Theorem 3.12 Let φ : X2 → [0, ∞) be a function such that
lim n k 2 n β φ x k n , y k n = 0
for all x, y X. Let f : XY be an even mapping such that
D ̃ b f ( x , y ) β φ ( x , y )
for all x, y X and all b B1. If there exists a Lipschitz constant 0 < L < 1 such that φ(x, 0) ≤ k-2βL φ(kx, 0) for all x X, then there exists a unique quadratic mapping Q:XY such that
f ( x ) - Q ( x ) β L ( 2 k 2 ) β ( 1 - L ) φ ( x , 0 )

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then Q is B-quadratic.

We now prove our main theorem in this section.

Theorem 3.13 Let φ : X2 → [0, ∞) be a function such that
lim n 1 k n β φ ( k n x , k n y ) = 0
(3.27)
for all x, y X. Let f : XY be a mapping such that
D b f ( x , y ) β φ ( x , y ) a n d D ̃ b f ( x , y ) β φ ( x , y )
(3.28)
for all x, y X and all b B1. If there exists a Lipschitz constant 0 < L < 1 such that
φ ( k x , 0 ) k β L φ ( x , 0 )
(3.29)
for all x X, then there exist a unique additive mapping A: XY and a unique quadratic mapping Q:XY such that
f ( x ) - A ( x ) - Q ( x ) β 2 1 - 2 β k β ( 1 - L ) φ ( x , 0 ) + φ ( - x , 0 )
(3.30)

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear and Q is B-quadratic.

Proof If we decompose f into the even and the odd parts by putting
f e ( x ) = f ( x ) + f ( - x ) 2 and f o ( x ) = f ( x ) - f ( - x ) 2
(3.31)
for all x X, then f(x) = f e (x) + f o (x). Let ψ(x,y) = [φ(x,y) + φ(-x, -y)]/2 β , then by (3.27)-(3.29) and (3.31) we have
lim n 1 k n β ψ k n x , k n y = 0 , ψ ( k x , 0 ) k β L ψ ( x , 0 ) , D b f o ( x , y ) β ψ ( x , y ) , D ̃ b f e ( x , y ) β ψ ( x , y ) .
Hence by Theorems 3.1 and 3.8, there exist a unique additive mapping A : XY and a unique quadratic mapping Q : XY such that
f o ( x ) - A ( x ) β 1 ( 2 k ) β ( 1 - L ) ψ ( x , 0 ) , f e ( x ) - Q ( x ) β 1 ( 2 k 2 ) β ( 1 - L ) ψ ( x , 0 )
for all x X. Therefore
f ( x ) - A ( x ) - Q ( x ) β f o ( x ) - A ( x ) β + f e ( x ) - Q ( x ) β 1 ( 2 k ) β ( 1 - L ) ψ ( x , 0 ) + 1 ( 2 k 2 ) β ( 1 - L ) ψ ( x , 0 ) 2 ( 2 k ) β ( 1 - L ) ψ ( x , 0 ) = 2 1 - 2 β k β ( 1 - L ) φ ( x , 0 ) + φ ( - x , 0 )

for all x X.

Corollary 3.14 Let 0 < r < 1 and δ, θ be non-negative real numbers, and let f : XY be a mapping for which
D b f ( x , y ) β δ + θ x β r + y β r a n d D ̃ b f ( x , y ) β δ + θ x β r + y β r
for all x,y X and be B1. Then there exist a unique additive mapping A : XY and a unique quadratic mapping Q: XY such that
f ( x ) - A ( x ) - Q ( x ) β 2 2 ( 1 - β ) k β - k β r δ + θ x β r

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear and Q is B-quadratic.

Similar to Theorem 3.13, one can obtain the following theorem.

Theorem 3.15 Let φ: X2 → [0, ∞) be a function such that
lim n k 2 n β φ x k n , y k n = 0
for all x,y X. Let f : XY be a mapping such that
D b f ( x , y ) β φ ( x , y ) a n d D ̃ b f ( x , y ) β φ ( x , y )
for all x, y X and all b B1. If there exists a Lipschitz constant 0 < L < 1 such that
φ ( x , 0 ) k - 2 β L φ ( k x , 0 )
for all x X, then there exist a unique additive mapping A: XY and a unique quadratic mapping Q: XY such that
f ( x ) - A ( x ) - Q ( x ) β 2 1 - 2 β L k β ( 1 - L ) φ ( x , 0 ) + φ ( - x , 0 )

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear and Q is B-quadratic.

Corollary 3.16 Let r > 2 and θ be a non-negative real number, and let f : XY be a mapping for which
D b f ( x , y ) β θ x β r + y β r a n d D ̃ b f ( x , y ) β θ x β r + y β r
for all x,y X and b B1. Then there exist a unique additive mapping A : XY and a unique quadratic mapping Q:XY such that
f ( x ) - A ( x ) - Q ( x ) β 2 2 ( 1 - β ) k β k r β - k 2 β θ x β r

for all x X. Moreover, if f(tx) is continuous in t for each fixed x X, then A is B-linear and Q is B-quadratic.

Declarations

Acknowledgements

The authors would like to express their sincere thanks to the referees for giving useful suggestions for the improvement of this article. T. Z. Xu was supported by the National Natural Science Foundation of China (NNSFC)(Grant No. 11171022).

Authors’ Affiliations

(1)
School of Mathematics, Beijing Institute of Technology, Beijing, People's Republic of China
(2)
Pedagogical Department E.E., Section of Mathematics and Informatics, National and Capodistrian University of Athens, Athens, Greece

References

  1. Ulam SM: A Collection of the Mathematical Problems. Interscience, New York; 1960.Google Scholar
  2. Hyers DH: On the stability of the linear functional equation. Proc Nat Acad Sci USA 1941, 27: 222–224. 10.1073/pnas.27.4.222MathSciNetView ArticleGoogle Scholar
  3. Aoki T: On the stability of the linear transformation in Banach spaces. J Math Soc Japan 1950, 2: 64–66. 10.2969/jmsj/00210064MATHMathSciNetView ArticleGoogle Scholar
  4. 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-1MATHView ArticleGoogle Scholar
  5. Găvruţa P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J Math Anal Appl 1994, 184: 431–436. 10.1006/jmaa.1994.1211MATHMathSciNetView ArticleGoogle Scholar
  6. Rassias JM: On approximation of approximately linear mappings by linear mappings. J Funct Anal 1982, 46: 126–130. 10.1016/0022-1236(82)90048-9MATHMathSciNetView ArticleGoogle Scholar
  7. Rassias JM: On approximation of approximately linear mappings by linear mappings. Bull des Sci Math 1984, 108: 445–446.MATHGoogle Scholar
  8. Aczél J, Dhombres J: Functional Equations in Several Variables. Cambridge Univ. Press, Cambridge; 1989.View ArticleGoogle Scholar
  9. Agarwal RP, Xu B, Zhang W: Stability of functional equations in single variable. J Math Anal Appl 2003, 288: 852–869. 10.1016/j.jmaa.2003.09.032MATHMathSciNetView ArticleGoogle Scholar
  10. Cădariu L, Radu V: On the stability of the Cauchy functional equation: A fixed point approach. Grazer Math Ber 2004, 346: 43–52.MATHGoogle Scholar
  11. Eskandani GZ, Găvruţa P, Rassias JM, Zarghami R: Generalized Hyers-Ulam stability for a general mixed functional equation in quasi- β -normed spaces. Mediterr J Math 2011, 8: 331–348. 10.1007/s00009-010-0082-8MATHMathSciNetView ArticleGoogle Scholar
  12. Gordji ME, Khodaei H, Najati A: Fixed points and quartic functional equations in β -Banach modules. Results Math 2011.Google Scholar
  13. Gordji ME, Khodaei H, Rassias ThM: Fixed points and stability for quadratic mappings in β -normed left Banach modules on Banach algebras. Results Math 2011.Google Scholar
  14. Forti GL: Hyers-Ulam stability of functional equations in several variables. Aequationes Math 1995, 50: 143–190. 10.1007/BF01831117MATHMathSciNetView ArticleGoogle Scholar
  15. Kannappan Pl: Quadratic functional equation and inner product spaces. Results Math 1995, 27: 368–372.MATHMathSciNetView ArticleGoogle Scholar
  16. Moradlou F, Vaezi H, Park C: Fixed points and stability of an additive functional equation of n -Apollonius type in C *-algebras. Abstract Appl Anal 2008, 2008: 13. Article ID 672618MathSciNetView ArticleGoogle Scholar
  17. Moszner Z: On the stability of functional equations. Aequationes Math 2009, 77: 33–88. 10.1007/s00010-008-2945-7MATHMathSciNetView ArticleGoogle Scholar
  18. Park C, Rassias ThM: Hyers-Ulam stability of a generalized quadratic Apollonius type mapping. J Math Anal Appl 2006, 322: 371–381. 10.1016/j.jmaa.2005.09.027MATHMathSciNetView ArticleGoogle Scholar
  19. Radu V: The fixed point alternative and the stability of functional equations. Fixed Point Theory 2003, 4: 91–96.MATHMathSciNetGoogle Scholar
  20. Xu TZ, Rassias JM, Rassias MJ, Xu WX: A fixed point approach to the stability of quintic and sextic functional equations in quasi- β -normed spaces. J Inequal Appl 2010, 2010: 23. Article ID 423231Google Scholar
  21. Xu TZ, Rassias JM, Xu WX: A fixed point approach to the stability of a general mixed additive-cubic equation on Banach modules. Acta Math Sci Ser B, in press.Google Scholar
  22. Brzdęk J: On approximately additive functions. J Math Anal Appl 2011, 381: 299–307. 10.1016/j.jmaa.2011.02.048MATHMathSciNetView ArticleGoogle Scholar
  23. Brzd¸ek J: On the quotient stability of a family of functional equations. Nonlinear Anal 2009, 71: 4396–4404. 10.1016/j.na.2009.02.123MathSciNetView ArticleGoogle Scholar
  24. Hyers DH, Isac G, Rassias ThM: Stability of Functional Equations in Several Variables. Birkhauser, Boston, Basel, Berlin; 1998.View ArticleGoogle Scholar
  25. Hyers DH, Rassias ThM: Approximate homomorphisms. Aequationes Math 1992, 44: 125–153. 10.1007/BF01830975MATHMathSciNetView ArticleGoogle Scholar
  26. Isac G, Rassias ThM: Stability of ψ -additive mappings: applications to non-linear analysis. Int J Math Math Sci 1996, 19: 219–228. 10.1155/S0161171296000324MATHMathSciNetView ArticleGoogle Scholar
  27. Jung SM: Hyers-Ulam stability of zeros of polynomials. Appl Math Lett 2011, 24: 1322–1325. 10.1016/j.aml.2011.03.002MATHMathSciNetView ArticleGoogle Scholar
  28. Jung SM: Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis. Springer, New York; 2011.View ArticleGoogle Scholar
  29. Kannappan Pl: Functional Equations and Inequalities with Applications. Springer, New York; 2009.View ArticleGoogle Scholar
  30. Kenary HA, Jang SY, Park C: A fixed point approach to the Hyers-Ulam stability of a functional equation in various normed spaces. Fixed Point Theory Appl 2011.Google Scholar
  31. Ciepliński K: Stability of the multi-Jensen equation. J Math Anal Appl 2010, 363: 249–254. 10.1016/j.jmaa.2009.08.021MATHMathSciNetView ArticleGoogle Scholar
  32. Saadati R, Vaezpour SM, Park C: The stability of the cubic functional equation in various spaces. Math Commun 2011, 16: 131–145.MATHMathSciNetGoogle Scholar
  33. Cădariu L, Radu V: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory Appl 2008., 2008: Art ID 749392Google Scholar
  34. Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh Math Sem Univ Hamburg 1992, 62: 59–64. 10.1007/BF02941618MATHMathSciNetView ArticleGoogle Scholar
  35. Skof F: Local properties and approximations of operators. Rend Sem Mat Fis Milano 1983, 53: 113–129. 10.1007/BF02924890MATHMathSciNetView ArticleGoogle Scholar
  36. Cholewa PW: Remarks on the stability of functional equations. Aequationes Math 1984, 27: 76–86. 10.1007/BF02192660MATHMathSciNetView ArticleGoogle Scholar
  37. Grabiec A: The generalized Hyers-Ulam stability of a class of functional equations. Publ Math Debrecen 1996, 48: 217–235.MATHMathSciNetGoogle Scholar
  38. Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific Publishing Company, New Jersey, London, Singapore, Hong Kong; 2002.Google Scholar
  39. Balachandran VK: Topological Algebras. Narosa Publishing House, New Delhi; 1999.Google Scholar
  40. Diaz JB, Margolis B: A fixed point theorem of the alternative for the contractions on generalized complete metric space. Bull Am Math Soc 1968, 74: 305–309. 10.1090/S0002-9904-1968-11933-0MATHMathSciNetView ArticleGoogle Scholar
  41. Gajda Z: On stability of additive mappings. Int J Math Math Sci 1991, 14: 431–434. 10.1155/S016117129100056XMATHMathSciNetView ArticleGoogle Scholar

Copyright

© Xu and Rassias; licensee Springer. 2012

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.

Advertisement