Open Access

Orthogonal stability of functional equations with the fixed point alternative

Advances in Difference Equations20122012:173

https://doi.org/10.1186/1687-1847-2012-173

Received: 15 March 2012

Accepted: 10 September 2012

Published: 4 October 2012

Abstract

In this paper, we investigate the orthogonal stability of functional equations in orthogonality modules over a unital Banach algebra. Using a fixed point method, we prove the Hyers-Ulam stability of the orthogonally Jensen additive functional equation

2 f ( x + y 2 ) = f ( x ) + f ( y ) ,

the orthogonally Jensen quadratic functional equation

2 f ( x + y 2 ) + 2 f ( x y 2 ) = f ( x ) + f ( y ) ,

the orthogonally cubic functional equation

f ( 2 x + y ) + f ( 2 x y ) = 2 f ( x + y ) + 2 f ( x y ) + 12 f ( x ) ,

and the orthogonally quartic functional equation

f ( 2 x + y ) + f ( 2 x y ) = 4 f ( x + y ) + 4 f ( x y ) + 24 f ( x ) 6 f ( y )

for all x, y with x y , where is the orthogonality in the sense of Rätz.

MSC:39B55, 47H10, 39B52, 46H25.

Keywords

Hyers-Ulam stabilityorthogonally (Jensen additive, Jensen quadratic, cubic, quartic) functional equationfixed pointorthogonality module over Banach algebraorthogonality space

1 Introduction and preliminaries

Assume that X is a real inner product space and f : X R is a solution of the orthogonal Cauchy functional equation f ( x + y ) = f ( x ) + f ( y ) , where x , y = 0 . By the Pythagorean theorem, f ( x ) = x 2 is a solution of the conditional equation. Of course, this function does not satisfy the additivity equation everywhere. Thus the orthogonal Cauchy equation is not equivalent to the classic Cauchy equation on the whole inner product space.

Pinsker [1] characterized orthogonally additive functionals on an inner product space when the orthogonality is the ordinary one in such spaces. Sundaresan [2] generalized this result to arbitrary Banach spaces equipped with the Birkhoff-James orthogonality. The orthogonal Cauchy functional equation
f ( x + y ) = f ( x ) + f ( y ) , x y ,

in which is an abstract orthogonality relation, was first investigated by Gudder and Strawther [3]. They defined by a system consisting of five axioms and described the general semi-continuous real-valued solution of the conditional Cauchy functional equation. In 1985, Rätz [4] introduced a new definition of orthogonality by using more restrictive axioms than Gudder and Strawther. Moreover, he investigated the structure of orthogonally additive mappings. Rätz and Szabó [5] investigated the problem in a rather more general framework.

Let us recall the orthogonality in the sense of Rätz [4].

Suppose that X is a real vector space (algebraic module) with dim X 2 , and is a binary relation on X with the following properties:

( O 1 ) Totality of for zero: x 0 and 0 x for all x X ;

( O 2 ) Independence: if x , y X { 0 } and x y , then x and y are linearly independent;

( O 3 ) Homogeneity: if x , y X and x y , then α x β y for all α , β R ;

( O 4 ) Thalesian property: if P is a 2-dimensional subspace of X, x P and λ R + , which is the set of nonnegative real numbers, then there exists y 0 P such that x y 0 and x + y 0 λ x y 0 .

The pair ( X , ) is called an orthogonality space (resp., module). By an orthogonality normed space (normed module) we mean an orthogonality space (resp., module) having a normed (resp., normed module) structure.

Some interesting examples are as follows:
  1. (1)

    The trivial orthogonality on a vector space X defined by ( O 1 ) and, for any non-zero elements x , y X , x y if and only if x, y are linearly independent.

     
  2. (2)

    The ordinary orthogonality on an inner product space ( X , , ) given by x y if and only if x , y = 0 .

     
  3. (3)

    The Birkhoff-James orthogonality on a normed space ( X , ) defined by x y if and only if x + λ y x for all λ R .

     

The relation is called symmetric if x y implies that y x for all x , y X . Clearly, Examples (1) and (2) are symmetric, but Example (3) is not. It is remarkable to note, however, that a real normed space of a dimension greater than 2 is an inner product space if and only if the Birkhoff-James orthogonality is symmetric. There are several orthogonality notions on a real normed space such as Birkhoff-James, Boussouis, Singer, Carlsson, unitary-Boussouis, Roberts, Phythagorean, isosceles and Diminnie (see [612]).

The stability problem of functional equations originated from the following question of Ulam [13]: Under what condition is there an additive mapping near an approximately additive mapping? In 1941, Hyers [14] gave a partial affirmative answer to the question of Ulam in the context of Banach spaces. In 1978, Rassias [15] extended the theorem of Hyers by considering the unbounded Cauchy difference
f ( x + y ) f ( x ) f ( y ) ε ( x p + y p ) ( ε > 0 , p [ 0 , 1 ) ) .

During the last decades, several stability problems of functional equations have been investigated in the spirit of Hyers-Ulam-Rassias. The readers refer to [1620] and references therein for detailed information on the stability of functional equations.

Ger and Sikorska [21] investigated the orthogonal stability of the Cauchy functional equation f ( x + y ) = f ( x ) + f ( y ) , namely they showed that, if f is a mapping from an orthogonality space X into a real Banach space Y and
f ( x + y ) f ( x ) f ( y ) ε

for all x , y X with x y and for some ε > 0 , then there exists exactly one orthogonally additive mapping g : X Y such that f ( x ) g ( x ) 16 3 ε for all x X .

The first author treating the stability of the quadratic equation was Skof [22] by proving that, if f is a mapping from a normed space X into a Banach space Y satisfying
f ( x + y ) + f ( x y ) 2 f ( x ) 2 f ( y ) ε

for some ε > 0 , then there is a unique quadratic mapping g : X Y such that f ( x ) g ( x ) ε 2 . Cholewa [23] extended Skof’s theorem by replacing X by an abelian group G. Skof’s result was later generalized by Czerwik [24] in the spirit of Hyers-Ulam-Rassias. The stability problem of functional equations has been extensively investigated by some mathematicians (see [2531]).

The orthogonally quadratic equation
f ( x + y ) + f ( x y ) = 2 f ( x ) + 2 f ( y ) , x y

was first investigated by Vajzović [32] when X is a Hilbert space, Y is the scalar field, f is continuous and means the Hilbert space orthogonality. Later, Drljević [33], Fochi [34], Moslehian [35, 36] and Szabó [37] generalized this result (see also [3840]).

In [41], Jun and Kim considered the following cubic functional equation:
f ( 2 x + y ) + f ( 2 x y ) = 2 f ( x + y ) + 2 f ( x y ) + 12 f ( x ) .
(1.1)

It is easy to show that the function f ( x ) = x 3 satisfies the functional equation (1.1), which is called a cubic functional equation, and every solution of the cubic functional equation is said to be a cubic mapping.

Let X be an orthogonality space and Y be a real Banach space. A mapping f : X Y is called orthogonally cubic if it satisfies the orthogonally cubic functional equation
f ( 2 x + y ) + f ( 2 x y ) = 2 f ( x + y ) + 2 f ( x y ) + 12 f ( x )
(1.2)

for all x, y with x y .

In [42], Lee et al. considered the following quartic functional equation:
f ( 2 x + y ) + f ( 2 x y ) = 4 f ( x + y ) + 4 f ( x y ) + 24 f ( x ) 6 f ( y ) .
(1.3)

It is easy to show that the function f ( x ) = x 4 satisfies the functional equation (1.3), which is called a quartic functional equation, and every solution of the quartic functional equation is said to be a quartic mapping (for the stability of the ACQ and quartic functional equations, see [26, 31] and others).

Let X be an orthogonality space and Y be a Banach space. A mapping f : X Y is called orthogonally quartic if it satisfies the orthogonally quartic functional equation
f ( 2 x + y ) + f ( 2 x y ) = 4 f ( x + y ) + 4 f ( x y ) + 24 f ( x ) 6 f ( y )
(1.4)

for all x, y with x y .

Let X be a set. A function d : X × X [ 0 , ] is called a generalized metric on X if d satisfies the following conditions:
  1. (1)

    d ( x , y ) = 0 if and only if x = y ;

     
  2. (2)

    d ( x , y ) = d ( y , x ) for all x , y X ;

     
  3. (3)

    d ( x , z ) d ( x , y ) + d ( y , z ) for all x , y , z X .

     

We recall a fundamental result in a fixed point theory.

Theorem 1.1 ([43, 44])

Let ( X , d ) be a complete generalized metric space and J : X X be a strictly contractive mapping with the Lipschitz constant α < 1 . Then, for each given element x X , either
d ( J n x , J n + 1 x ) =
for all nonnegative integers n or there exists a positive integer n 0 such that
  1. (1)

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

     
  2. (2)

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

     
  3. (3)

    y is the unique fixed point of J in the set Y = { y X d ( J n 0 x , y ) < } ;

     
  4. (4)

    d ( y , y ) 1 1 α d ( y , J y ) for all y Y .

     

In 1996, Isac and Rassias [45] were the first to provide applications of the stability theory of functional equations for the proof of new fixed point theorems with applications. By using fixed point methods, the stability problems of several functional equations have been extensively investigated by a number of authors (see [4655]).

This paper is organized as follows. In Section 2, we prove the Hyers-Ulam stability of the orthogonally Jensen additive functional equation in orthogonality modules over a unital Banach algebra. In Section 3, we prove the Hyers-Ulam stability of the orthogonally Jensen quadratic functional equation in orthogonality modules over a unital Banach algebra. In Section 4, we prove the Hyers-Ulam stability of the orthogonally cubic functional equation (1.2) in orthogonality modules over a unital Banach algebra. In Section 5, we prove the Hyers-Ulam stability of the orthogonally quartic functional equation (1.4) in orthogonality modules over a unital Banach algebra.

Throughout this paper, assume that ( X , ) is an orthogonality module over a unital Banach algebra A and that ( Y , Y ) is a real Banach module over A. Let A 1 : = { u A u = 1 } , and e be the unity of A.

2 Stability of the orthogonally Jensen additive functional equation

In this section, applying some ideas from [18, 21], we deal with the stability problem for the orthogonally Jensen additive functional equation
2 f ( x + y 2 ) = f ( x ) + f ( y )

for all x , y X with x y .

Definition 2.1 An additive mapping f : X Y is called an A-additive mapping if f ( a x ) = a f ( x ) for all a A and x X .

Theorem 2.2 Let φ : X 2 [ 0 , ) be a function such that there exists an α < 1 with
φ ( x , y ) 2 α φ ( x 2 , y 2 )
(2.1)
for all x , y X with x y . Let f : X Y be a mapping satisfying f ( 0 ) = 0 and
2 a f ( x + y 2 ) f ( a x ) f ( a y ) Y φ ( x , y )
(2.2)
for all a A 1 and all x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-additive mapping L : X Y such that
f ( x ) L ( x ) Y α 1 α φ ( x , 0 )
(2.3)

for all x X .

Proof Putting y = 0 and a = e in (2.2), we get
2 f ( x 2 ) f ( x ) Y φ ( x , 0 )
(2.4)
for all x X since x 0 . So, we have
f ( x ) 1 2 f ( 2 x ) Y 1 2 φ ( 2 x , 0 ) α φ ( x , 0 )
(2.5)
for all x X . Consider the set
S : = { h : X Y }
and introduce the generalized metric on S:
d ( g , h ) = inf { μ R + : g ( x ) h ( x ) Y μ φ ( x , 0 ) , x X } ,

where, as usual, inf ϕ = + . It is easy to show that ( S , d ) is complete (see [50]).

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 1 2 g ( 2 x )
for all x X . Let g , h S be given such that d ( g , h ) = ε . Then we have
g ( x ) h ( x ) Y φ ( x , 0 )
for all x X . Hence,
J g ( x ) J h ( x ) Y = 1 2 g ( 2 x ) 1 2 h ( 2 x ) Y α φ ( x , 0 )
for all x X . So, d ( g , h ) = ε implies that d ( J g , J h ) α ε . This means that
d ( J g , J h ) α d ( g , h )
for all g , h S . It follows from (2.5) that d ( f , J f ) α . By Theorem 1.1, there exists a mapping L : X Y satisfying the following:
  1. (1)
    L is a fixed point of J, i.e.,
    L ( 2 x ) = 2 L ( x )
    (2.6)
     
for all x X . The mapping L is a unique fixed point of J in the set
M = { g S : d ( h , g ) < } .
This implies that L is a unique mapping satisfying (2.6) such that there exists a μ ( 0 , ) satisfying
f ( x ) L ( x ) Y μ φ ( x , 0 )
for all x X ;
  1. (2)
    d ( J n f , L ) 0 as n . This implies the equality
    lim n 1 2 n f ( 2 n x ) = L ( x )
     
for all x X ;
  1. (3)
    d ( f , L ) 1 1 α d ( f , J f ) , which implies the inequality
    d ( f , L ) α 1 α .
     

This implies that inequality (2.3) holds.

Let a = e in (2.2). It follows from (2.1) and (2.2) that
2 L ( x + y 2 ) L ( x ) L ( y ) Y = lim n 1 2 n 2 f ( 2 n 1 ( x + y ) ) f ( 2 n x ) f ( 2 n y ) Y lim n 1 2 n φ ( 2 n x , 2 n y ) lim n 2 n α n 2 n φ ( x , y ) = 0
for all x , y X with x y . So,
2 L ( x + y 2 ) L ( x ) L ( y ) = 0

for all x , y X with x y . Hence, L : X Y is an orthogonally Jensen additive mapping.

Let y = 0 in (2.2). It follows from (2.1) and (2.2) that
2 a L ( x 2 ) L ( a x ) Y = lim n 1 2 n 2 a f ( 2 n 1 x ) f ( 2 n a x ) Y lim n 1 2 n φ ( 2 n x , 0 ) lim n 2 n α n 2 n φ ( x , 0 ) = 0
for all x X . So, we have
2 a L ( x 2 ) L ( a x ) = 0
for all x X , and hence
L ( a x ) = 2 a L ( x 2 ) = a L ( x )
for all a A 1 and x X . By the same reasoning as in the proof of Theorem in [15], we can show that L : X Y is R -linear since the mapping f ( t x ) is continuous in t R for each x X . For each a A with a 0 , we have
L ( a x ) = L ( a a a x ) = a L ( a a x ) = a a a L ( x ) = a L ( x )

for all x X . Thus L : X Y is a unique orthogonally Jensen A-additive mapping satisfying (2.3). This completes the proof. □

From now on, in corollaries, assume that ( X , ) is an orthogonality normed module over a unital Banach algebra A.

Corollary 2.3 Let θ be a positive real number and p be a real number with 0 < p < 1 . Let f : X Y be a mapping satisfying f ( 0 ) = 0 and
2 a f ( x + y 2 ) f ( a x ) f ( a y ) Y θ ( x p + y p )
(2.7)
for all a A 1 and x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-additive mapping L : X Y such that
f ( x ) L ( x ) Y 2 p θ 2 2 p x p

for all x X .

Proof The proof follows from Theorem 2.2 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 p 1 and we get the desired result. □

Theorem 2.4 Let f : X Y be a mapping satisfying (2.2) and f ( 0 ) = 0 for which there exists a function φ : X 2 [ 0 , ) such that
φ ( x , y ) α 2 φ ( 2 x , 2 y )
for all x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-additive mapping L : X Y such that
f ( x ) L ( x ) Y 1 1 α φ ( x , 0 )
(2.8)

for all x X .

Proof Let ( S , d ) be the generalized metric space defined in the proof of Theorem 2.2.

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 2 g ( x 2 )
for all x X . It follows from (2.4) that d ( f , J f ) 1 . So,
d ( f , L ) 1 1 α .

Thus we obtain inequality (2.8). The rest of the proof is similar to the proof of Theorem 2.2. This completes the proof. □

Corollary 2.5 Let θ be a positive real number and p be a real number with p > 1 . Let f : X Y be a mapping satisfying f ( 0 ) = 0 and (2.7). If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-additive mapping L : X Y such that
f ( x ) L ( x ) Y 2 p θ 2 p 2 x p

for all x X .

Proof The proof follows from Theorem 2.4 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 1 p and we get the desired result. □

3 Stability of the orthogonally Jensen quadratic functional equation

In this section, applying some ideas from [18, 21], we deal with the stability problem for the orthogonally Jensen quadratic functional equation
2 f ( x + y 2 ) + 2 f ( x y 2 ) = f ( x ) + f ( y )

for all x , y X with x y .

Definition 3.1 A quadratic mapping f : X Y is called an A-quadratic mapping if f ( a x ) = a 2 f ( x ) for all a A and x X .

Theorem 3.2 Let φ : X 2 [ 0 , ) be a function such that there exists an α < 1 with
φ ( x , y ) 4 α φ ( x 2 , y 2 )
(3.1)
for all x , y X with x y . Let f : X Y be a mapping satisfying f ( 0 ) = 0 and
2 a 2 f ( x + y 2 ) + 2 a 2 f ( x y 2 ) f ( a x ) f ( a y ) Y φ ( x , y )
(3.2)
for all a A 1 and x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-quadratic mapping Q : X Y such that
f ( x ) Q ( x ) Y α 1 α φ ( x , 0 )
(3.3)

for all x X .

Proof Putting y = 0 and a = e in (3.2), we get
4 f ( x 2 ) f ( x ) Y φ ( x , 0 )
(3.4)
for all x X , since x 0 . So, we have
f ( x ) 1 4 f ( 2 x ) Y 1 4 φ ( 2 x , 0 ) α φ ( x , 0 )
(3.5)
for all x X . By the same reasoning as in the proof of Theorem 2.2, one can obtain an orthogonally Jensen quadratic mapping Q : X Y defined by
lim n 1 4 n f ( 2 n x ) = Q ( x )

for all x X .

Let ( S , d ) be the generalized metric space defined in the proof of Theorem 2.2.

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 1 4 g ( 2 x )
for all x X . It follows from (3.5) that d ( f , J f ) α . So,
d ( f , Q ) α 1 α .
Thus we obtain inequality (3.3). Let y = 0 in (3.2). It follows from (3.1) and (3.2) that
4 a 2 Q ( x 2 ) Q ( a x ) Y = lim n 1 4 n 4 a 2 f ( 2 n 1 x ) f ( 2 n a x ) Y lim n 1 4 n φ ( 2 n x , 0 ) 4 n α n 4 n φ ( x , 0 ) = 0
for all x X . So, we have
4 a 2 Q ( x 2 ) Q ( a x ) = 0
for all x X , and hence
Q ( a x ) = 4 a 2 Q ( x 2 ) = a 2 Q ( x )
for all a A 1 and x X . By the same reasoning as in the proof of [[15], Theorem], we can show that, for each t R , Q : X Y satisfies Q ( t x ) = t 2 Q ( x ) all x X since the mapping f ( t x ) is continuous in t R for each x X . For each a A with a 0 , we have
Q ( a x ) = Q ( a a a x ) = a 2 Q ( a a x ) = a 2 a 2 a 2 Q ( x ) = a 2 Q ( x )

for all x X . Thus Q : X Y is a unique orthogonally Jensen A-quadratic mapping satisfying (3.3). This completes the proof. □

Corollary 3.3 Let θ be a positive real number and p be a real number with 0 < p < 2 . Let f : X Y be a mapping satisfying
2 a 2 f ( x + y 2 ) + 2 a 2 f ( x y 2 ) f ( a x ) f ( a y ) Y θ ( x p + y p )
(3.6)
for all a A 1 and x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-quadratic mapping Q : X Y such that
f ( x ) Q ( x ) Y 2 p θ 4 2 p x p

for all x X .

Proof The proof follows from Theorem 3.2 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 p 2 and we get the desired result. □

Theorem 3.4 Let f : X Y be a mapping satisfying (3.2) and f ( 0 ) = 0 for which there exists a function φ : X 2 [ 0 , ) such that
φ ( x , y ) α 4 φ ( 2 x , 2 y )
for all x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-quadratic mapping Q : X Y such that
f ( x ) Q ( x ) Y 1 1 α φ ( x , 0 )
(3.7)

for all x X .

Proof Let ( S , d ) be the generalized metric space defined in the proof of Theorem 2.2.

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 4 g ( x 2 )

for all x X . It follows from (3.4) that d ( f , J f ) 1 . So, we obtain inequality (3.7). The rest of the proof is similar to the proofs of Theorems 2.2 and 3.2. □

Corollary 3.5 Let θ be a positive real number and p be a real number with p > 2 . Let f : X Y be a mapping satisfying (3.6). If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally Jensen A-quadratic mapping Q : X Y such that
f ( x ) Q ( x ) Y 2 p θ 2 p 4 x p

for all x X .

Proof The proof follows from Theorem 3.4 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 2 p and we get the desired result. □

4 Stability of the orthogonally cubic functional equation

In this section, applying some ideas from [18, 21], we deal with the stability problem for the orthogonally cubic functional equation
f ( 2 x + y ) + f ( 2 x y ) = 2 f ( x + y ) + 2 f ( x y ) + 12 f ( x )

for all x , y X with x y .

Definition 4.1 A cubic mapping f : X Y is called an A-cubic mapping if f ( a x ) = a 3 f ( x ) for all a A and x X .

Theorem 4.2 Let φ : X 2 [ 0 , ) be a function such that there exists an α < 1 with
φ ( x , y ) 8 α φ ( x 2 , y 2 )
for all x , y X with x y . Let f : X Y be a mapping satisfying f ( 0 ) = 0 and
(4.1)
for all a A 1 and x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-cubic mapping C : X Y such that
f ( x ) C ( x ) Y 1 16 16 α φ ( x , 0 )

for all x X .

Proof Putting y = 0 and a = e in (4.1), we get
2 f ( 2 x ) 16 f ( x ) Y φ ( x , 0 )
(4.2)
for all x X since x 0 . So, we have
f ( x ) 1 8 f ( 2 x ) Y 1 16 φ ( x , 0 )

for all x X .

Let ( S , d ) be the generalized metric space defined in the proof of Theorem 2.2.

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 1 8 g ( 2 x )

for all x X . The rest of the proof is similar to the proofs of Theorems 2.2 and 3.2. This completes the proof. □

Corollary 4.3 Let θ be a positive real number and p be a real number with 0 < p < 3 . Let f : X Y be a mapping satisfying
(4.3)
for all a A 1 and x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-cubic mapping C : X Y such that
f ( x ) C ( x ) Y θ 2 ( 8 2 p ) x p

for all x X .

Proof The proof follows from Theorem 4.2 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 p 3 and we get the desired result. □

Theorem 4.4 Let f : X Y be a mapping satisfying (4.1) and f ( 0 ) = 0 for which there exists a function φ : X 2 [ 0 , ) such that
φ ( x , y ) α 8 φ ( 2 x , 2 y )
for all x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-cubic mapping C : X Y such that
f ( x ) C ( x ) Y α 16 16 α φ ( x , 0 )
(4.4)

for all x X .

Proof Let ( S , d ) be the generalized metric space defined in the proof of Theorem 2.2.

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 8 g ( x 2 )

for all x X . It follows from (4.2) that d ( f , J f ) α 16 . So, we obtain inequality (4.4). The rest of the proof is similar to the proofs of Theorems 2.2 and 3.2. □

Corollary 4.5 Let θ be a positive real number and p be a real number with p > 3 . Let f : X Y be a mapping satisfying (4.3). If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-cubic mapping C : X Y such that
f ( x ) C ( x ) Y θ 2 ( 2 p 8 ) x p

for all x X .

Proof The proof follows from Theorem 4.4 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 3 p and we get the desired result. □

5 Stability of the orthogonally quartic functional equation

Applying some ideas from [18, 21], we deal with the stability problem for the orthogonally quartic functional equation
f ( 2 x + y ) + f ( 2 x y ) = 4 f ( x + y ) + 4 f ( x y ) + 24 f ( x ) 6 f ( y )

for all x , y X with x y .

Definition 5.1 A quartic mapping f : X Y is called an A-quartic mapping if f ( a x ) = a 4 f ( x ) for all a A and x X .

Theorem 5.2 Let φ : X 2 [ 0 , ) be a function such that there exists an α < 1 with
φ ( x , y ) 16 α φ ( x 2 , y 2 )
for all x , y X with x y . Let f : X Y be a mapping satisfying f ( 0 ) = 0 and
(5.1)
for all a A 1 and x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-quartic mapping P : X Y such that
f ( x ) P ( x ) Y 1 32 32 α φ ( x , 0 )

for all x X .

Proof Putting y = 0 and a = e in (5.1), we get
2 f ( 2 x ) 32 f ( x ) Y φ ( x , 0 )
(5.2)
for all x X , since x 0 . So, we have
f ( x ) 1 16 f ( 2 x ) Y 1 32 φ ( x , 0 )

for all x X .

Let ( S , d ) be the generalized metric space defined in the proof of Theorem 2.2.

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 1 16 g ( 2 x )

for all x X . The rest of the proof is similar to the proofs of Theorems 2.2 and 3.2. □

Corollary 5.3 Let θ be a positive real number and p be a real number with 0 < p < 4 . Let f : X Y be a mapping satisfying
(5.3)
for all a A 1 and x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-quartic mapping P : X Y such that
f ( x ) P ( x ) Y θ 2 ( 16 2 p ) x p

for all x X .

Proof The proof follows from Theorem 5.2 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 p 4 and we get the desired result. □

Theorem 5.4 Let f : X Y be a mapping satisfying (5.1) and f ( 0 ) = 0 for which there exists a function φ : X 2 [ 0 , ) such that
φ ( x , y ) α 16 φ ( 2 x , 2 y )
for all x , y X with x y . If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-quartic mapping P : X Y such that
f ( x ) P ( x ) Y α 32 32 α φ ( x , 0 )
(5.4)

for all x X .

Proof Let ( S , d ) be the generalized metric space defined in the proof of Theorem 2.2.

Now, we consider the linear mapping J : S S such that
J g ( x ) : = 16 g ( x 2 )

for all x X . It follows from (5.2) that d ( f , J f ) α 32 . So, we obtain inequality (5.4). The rest of the proof is similar to the proofs of Theorems 2.2 and 3.2. □

Corollary 5.5 Let θ be a positive real number and p be a real number with p > 4 . Let f : X Y be a mapping satisfying (5.3). If, for each x X , the mapping f ( t x ) is continuous in t R , then there exists a unique orthogonally A-quartic mapping P : X Y such that
f ( x ) P ( x ) Y θ 2 ( 2 p 16 ) x p

for all x X .

Proof The proof follows from Theorem 5.4 by taking φ ( x , y ) = θ ( x p + y p ) for all x , y X with x y . Then we can choose α = 2 4 p and we get the desired result. □

6 Conclusions

Using a fixed point method, we have proved the Hyers-Ulam stability of the orthogonally Jensen additive functional equation, of the orthogonally Jensen quadratic functional equation, of the orthogonally cubic functional equation and of the orthogonally quartic functional equation in orthogonality modules over a unital Banach algebra.

Declarations

Authors’ Affiliations

(1)
Department of Mathematics, Research Institute for Natural Sciences, Hanyang University
(2)
Department of Mathematics Education and the RINS, Gyeongsang National University
(3)
Department of Mathematics, Daejin University

References

  1. Pinsker AG: Sur une fonctionnelle dans l’espace de Hilbert. C. R. (Dokl.) Acad. Sci. URSS 1938, 20: 411–414.MATHGoogle Scholar
  2. Sundaresan K: Orthogonality and nonlinear functionals on Banach spaces. Proc. Am. Math. Soc. 1972, 34: 187–190. 10.1090/S0002-9939-1972-0291835-XMathSciNetView ArticleMATHGoogle Scholar
  3. Gudder S, Strawther D: Orthogonally additive and orthogonally increasing functions on vector spaces. Pac. J. Math. 1975, 58: 427–436. 10.2140/pjm.1975.58.427MathSciNetView ArticleMATHGoogle Scholar
  4. Rätz J: On orthogonally additive mappings. Aequ. Math. 1985, 28: 35–49. 10.1007/BF02189390View ArticleMathSciNetMATHGoogle Scholar
  5. Rätz J, Szabó G: On orthogonally additive mappings, IV. Aequ. Math. 1989, 38: 73–85. 10.1007/BF01839496View ArticleMathSciNetMATHGoogle Scholar
  6. Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey, I. Main properties. Extr. Math. 1988, 3: 1–15.MathSciNetGoogle Scholar
  7. Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey, II. Relations between main orthogonalities. Extr. Math. 1989, 4: 121–131.MathSciNetGoogle Scholar
  8. Birkhoff G: Orthogonality in linear metric spaces. Duke Math. J. 1935, 1: 169–172. 10.1215/S0012-7094-35-00115-6MathSciNetView ArticleMATHGoogle Scholar
  9. Carlsson SO: Orthogonality in normed linear spaces. Ark. Mat. 1962, 4: 297–318. 10.1007/BF02591506MathSciNetView ArticleMATHGoogle Scholar
  10. Cho Y, Diminnie CR, Freese RW, Andalafte EZ: Isosceles orthogonal triples in linear 2-normed spaces. Math. Nachr. 1992, 157: 225–234.MathSciNetView ArticleMATHGoogle Scholar
  11. Diminnie CR: A new orthogonality relation for normed linear spaces. Math. Nachr. 1983, 114: 197–203. 10.1002/mana.19831140115MathSciNetView ArticleMATHGoogle Scholar
  12. James RC: Orthogonality and linear functionals in normed linear spaces. Trans. Am. Math. Soc. 1947, 61: 265–292. 10.1090/S0002-9947-1947-0021241-4View ArticleMathSciNetGoogle Scholar
  13. Ulam SM: Problems in Modern Mathematics. Wiley, New York; 1960.MATHGoogle Scholar
  14. Hyers DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27: 222–224. 10.1073/pnas.27.4.222MathSciNetView ArticleMATHGoogle Scholar
  15. Rassias TM: 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 ArticleMathSciNetMATHGoogle Scholar
  16. Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, Singapore; 2002.View ArticleMATHGoogle Scholar
  17. Czerwik S: Stability of Functional Equations of Ulam-Hyers-Rassias Type. Hadronic Press, Palm Harbor; 2003.MATHGoogle Scholar
  18. Hyers DH, Isac G, Rassias TM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel; 1998.View ArticleMATHGoogle Scholar
  19. Jung S: Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor; 2001.MATHGoogle Scholar
  20. Rassias TM: Functional Equations, Inequalities and Applications. Kluwer Academic, Dordrecht; 2003.View ArticleMATHGoogle Scholar
  21. Ger R, Sikorska J: Stability of the orthogonal additivity. Bull. Pol. Acad. Sci., Math. 1995, 43: 143–151.MathSciNetMATHGoogle Scholar
  22. Skof F: Proprietà locali e approssimazione di operatori. Rend. Semin. Mat. Fis. Milano 1983, 53: 113–129. 10.1007/BF02924890MathSciNetView ArticleGoogle Scholar
  23. Cholewa PW: Remarks on the stability of functional equations. Aequ. Math. 1984, 27: 76–86. 10.1007/BF02192660MathSciNetView ArticleMATHGoogle Scholar
  24. Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh. Math. Semin. Univ. Hamb. 1992, 62: 59–64. 10.1007/BF02941618MathSciNetView ArticleMATHGoogle Scholar
  25. Cho Y, Park C, Rassias TM, Saadati R: Inner product spaces and functional equations. J. Comput. Anal. Appl. 2011, 13: 296–304.MathSciNetMATHGoogle Scholar
  26. Cho Y, Saadati R: Lattice non-Archimedean random stability of ACQ functional equation. Adv. Differ. Equ. 2011., 2011: Article ID 31Google Scholar
  27. Najati A, Kang J, Cho Y: Local stability of the Pexiderized Cauchy and Jensen’s equations in fuzzy spaces. J. Inequal. Appl. 2011., 2011: Article ID 78Google Scholar
  28. Rassias TM: On the stability of the quadratic functional equation and its applications. Stud. Univ. Babeş-Bolyai, Math. 1998, 43: 89–124.MathSciNetMATHGoogle Scholar
  29. Rassias TM: The problem of S.M. Ulam for approximately multiplicative mappings. J. Math. Anal. Appl. 2000, 246: 352–378. 10.1006/jmaa.2000.6788MathSciNetView ArticleMATHGoogle Scholar
  30. Rassias TM: On the stability of functional equations in Banach spaces. J. Math. Anal. Appl. 2000, 251: 264–284. 10.1006/jmaa.2000.7046MathSciNetView ArticleMATHGoogle Scholar
  31. Saadati R, Cho Y, Vahidi J: The stability of the quartic functional equation in various spaces. Comput. Math. Appl. 2010, 60: 1994–2002. 10.1016/j.camwa.2010.07.034MathSciNetView ArticleMATHGoogle Scholar
  32. Vajzović F: Über das Funktional H mit der Eigenschaft: ( x , y ) = 0 H ( x + y ) + H ( x y ) = 2 H ( x ) + 2 H ( y ) . Glas. Mat. 1967, 2(22):73–81.MATHGoogle Scholar
  33. Drljević F: On a functional which is quadratic on A -orthogonal vectors. Publ. Inst. Math. (Belgr.) 1986, 54: 63–71.MathSciNetMATHGoogle Scholar
  34. Fochi M: Functional equations in A -orthogonal vectors. Aequ. Math. 1989, 38: 28–40. 10.1007/BF01839491MathSciNetView ArticleMATHGoogle Scholar
  35. Moslehian MS: On the orthogonal stability of the Pexiderized quadratic equation. J. Differ. Equ. Appl. 2005, 11: 999–1004. 10.1080/10236190500273226MathSciNetView ArticleMATHGoogle Scholar
  36. Moslehian MS: On the stability of the orthogonal Pexiderized Cauchy equation. J. Math. Anal. Appl. 2006, 318: 211–223. 10.1016/j.jmaa.2005.05.052MathSciNetView ArticleMATHGoogle Scholar
  37. Szabó G: Sesquilinear-orthogonally quadratic mappings. Aequ. Math. 1990, 40: 190–200. 10.1007/BF02112295View ArticleMathSciNetMATHGoogle Scholar
  38. Moslehian MS, Rassias TM: Orthogonal stability of additive type equations. Aequ. Math. 2007, 73: 249–259. 10.1007/s00010-006-2868-0MathSciNetView ArticleMATHGoogle Scholar
  39. Park C, Cho Y, Kenary HA: Orthogonal stability of a generalized quadratic functional equation in non-Archimedean spaces. J. Comput. Anal. Appl. 2012, 14: 526–535.MathSciNetMATHGoogle Scholar
  40. Park C: Orthogonal stability of an additive-quadratic functional equation. Fixed Point Theory Appl. 2011., 2011: Article ID 66Google Scholar
  41. Jun K, Kim H: 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 ArticleMATHGoogle Scholar
  42. Lee S, Im S, Hwang I: Quartic functional equations. J. Math. Anal. Appl. 2005, 307: 387–394. 10.1016/j.jmaa.2004.12.062MathSciNetView ArticleMATHGoogle Scholar
  43. Diaz J, 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 ArticleMATHGoogle Scholar
  44. Cădariu L, Radu V: Fixed points and the stability of Jensen’s functional equation. J. Inequal. Pure Appl. Math. 2003., 4(1): Article ID 4MATHGoogle Scholar
  45. Isac G, Rassias TM: Stability of ψ -additive mappings: applications to nonlinear analysis. Int. J. Math. Math. Sci. 1996, 19: 219–228. 10.1155/S0161171296000324MathSciNetView ArticleMATHGoogle Scholar
  46. Najati A, Cho Y: Generalized Hyers-Ulam stability of the pexiderized Cauchy functional equation in non-Archimedean spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 309026Google Scholar
  47. Park C: Fixed points and Hyers-Ulam-Rassias stability of Cauchy-Jensen functional equations in Banach algebras. Fixed Point Theory Appl. 2007., 2007: Article ID 50175Google Scholar
  48. Park C: Generalized Hyers-Ulam-Rassias stability of quadratic functional equations: a fixed point approach. Fixed Point Theory Appl. 2008., 2008: Article ID 493751Google Scholar
  49. Radu V: The fixed point alternative and the stability of functional equations. Fixed Point Theory 2003, 4: 91–96.MathSciNetMATHGoogle Scholar
  50. Miheţ D, Radu V: On the stability of the additive Cauchy functional equation in random normed spaces. J. Math. Anal. Appl. 2008, 343: 567–572. 10.1016/j.jmaa.2008.01.100MathSciNetView ArticleMATHGoogle Scholar
  51. Cădariu L, Radu V: On the stability of the Cauchy functional equation: a fixed point approach. Grazer Math. Ber. 2004, 346: 43–52.MathSciNetMATHGoogle Scholar
  52. 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: Article ID 749392Google Scholar
  53. Cho Y, Kang J, Saadati R: Fixed points and stability of additive functional equations on the Banach algebras. J. Comput. Anal. Appl. 2012, 14: 1103–1111.MathSciNetMATHGoogle Scholar
  54. Jung Y, Chang I: The stability of a cubic type functional equation with the fixed point alternative. J. Math. Anal. Appl. 2005, 306: 752–760. 10.1016/j.jmaa.2004.10.017MathSciNetView ArticleMATHGoogle Scholar
  55. Mirzavaziri M, Moslehian MS: A fixed point approach to stability of a quadratic equation. Bull. Braz. Math. Soc. 2006, 37: 361–376. 10.1007/s00574-006-0016-zMathSciNetView ArticleMATHGoogle Scholar

Copyright

© Park et al.; 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.