Skip to main content

Orthogonal stability of functional equations with the fixed point alternative

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

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

the orthogonally Jensen quadratic functional equation

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

the orthogonally cubic functional equation

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

and the orthogonally quartic functional equation

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

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

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

1 Introduction and preliminaries

Assume that X is a real inner product space and f:XR 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),xy,

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 dimX2, and is a binary relation on X with the following properties:

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

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

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

( O 4 ) Thalesian property: if P is a 2-dimensional subspace of X, xP 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,yX, xy if and only if x, y are linearly independent.

  2. (2)

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

  3. (3)

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

The relation is called symmetric if xy implies that yx for all x,yX. 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,yX with xy and for some ε>0, then there exists exactly one orthogonally additive mapping g:XY such that f(x)g(x) 16 3 ε for all xX.

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:XY 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(xy)=2f(x)+2f(y),xy

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(2x+y)+f(2xy)=2f(x+y)+2f(xy)+12f(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:XY is called orthogonally cubic if it satisfies the orthogonally cubic functional equation

f(2x+y)+f(2xy)=2f(x+y)+2f(xy)+12f(x)
(1.2)

for all x, y with xy.

In [42], Lee et al. considered the following quartic functional equation:

f(2x+y)+f(2xy)=4f(x+y)+4f(xy)+24f(x)6f(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:XY is called orthogonally quartic if it satisfies the orthogonally quartic functional equation

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

for all x, y with xy.

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,yX;

  3. (3)

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

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:XX be a strictly contractive mapping with the Lipschitz constant α<1. Then, for each given element xX, 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={yXd( J n 0 x,y)<};

  4. (4)

    d(y, y ) 1 1 α d(y,Jy) for all yY.

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 :={uAu=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

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

for all x,yX with xy.

Definition 2.1 An additive mapping f:XY is called an A-additive mapping if f(ax)=af(x) for all aA and xX.

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,yX with xy. Let f:XY 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,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-additive mapping L:XY such that

f ( x ) L ( x ) Y α 1 α φ(x,0)
(2.3)

for all xX.

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 xX since x0. So, we have

f ( x ) 1 2 f ( 2 x ) Y 1 2 φ(2x,0)αφ(x,0)
(2.5)

for all xX. Consider the set

S:={h:XY}

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:SS such that

Jg(x):= 1 2 g(2x)

for all xX. Let g,hS be given such that d(g,h)=ε. Then we have

g ( x ) h ( x ) Y φ(x,0)

for all xX. Hence,

J g ( x ) J h ( x ) Y = 1 2 g ( 2 x ) 1 2 h ( 2 x ) Y αφ(x,0)

for all xX. So, d(g,h)=ε implies that d(Jg,Jh)αε. This means that

d(Jg,Jh)αd(g,h)

for all g,hS. It follows from (2.5) that d(f,Jf)α. By Theorem 1.1, there exists a mapping L:XY satisfying the following:

  1. (1)

    L is a fixed point of J, i.e.,

    L(2x)=2L(x)
    (2.6)

for all xX. 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 xX;

  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 xX;

  1. (3)

    d(f,L) 1 1 α d(f,Jf), 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,yX with xy. So,

2L ( x + y 2 ) L(x)L(y)=0

for all x,yX with xy. Hence, L:XY 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 xX. So, we have

2aL ( x 2 ) L(ax)=0

for all xX, and hence

L(ax)=2aL ( x 2 ) =aL(x)

for all a A 1 and xX. By the same reasoning as in the proof of Theorem in [15], we can show that L:XY is R-linear since the mapping f(tx) is continuous in tR for each xX. For each aA with a0, we have

L(ax)=L ( a a a x ) =aL ( a a x ) =a a a L(x)=aL(x)

for all xX. Thus L:XY 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:XY 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,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-additive mapping L:XY such that

f ( x ) L ( x ) Y 2 p θ 2 2 p x p

for all xX.

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

Theorem 2.4 Let f:XY be a mapping satisfying (2.2) and f(0)=0 for which there exists a function φ: X 2 [0,) such that

φ(x,y) α 2 φ(2x,2y)

for all x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-additive mapping L:XY such that

f ( x ) L ( x ) Y 1 1 α φ(x,0)
(2.8)

for all xX.

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

Now, we consider the linear mapping J:SS such that

Jg(x):=2g ( x 2 )

for all xX. It follows from (2.4) that d(f,Jf)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:XY be a mapping satisfying f(0)=0 and (2.7). If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-additive mapping L:XY such that

f ( x ) L ( x ) Y 2 p θ 2 p 2 x p

for all xX.

Proof The proof follows from Theorem 2.4 by taking φ(x,y)=θ( x p + y p ) for all x,yX with xy. 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

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

for all x,yX with xy.

Definition 3.1 A quadratic mapping f:XY is called an A-quadratic mapping if f(ax)= a 2 f(x) for all aA and xX.

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,yX with xy. Let f:XY 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,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-quadratic mapping Q:XY such that

f ( x ) Q ( x ) Y α 1 α φ(x,0)
(3.3)

for all xX.

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 xX, since x0. So, we have

f ( x ) 1 4 f ( 2 x ) Y 1 4 φ(2x,0)αφ(x,0)
(3.5)

for all xX. By the same reasoning as in the proof of Theorem 2.2, one can obtain an orthogonally Jensen quadratic mapping Q:XY defined by

lim n 1 4 n f ( 2 n x ) =Q(x)

for all xX.

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

Now, we consider the linear mapping J:SS such that

Jg(x):= 1 4 g(2x)

for all xX. It follows from (3.5) that d(f,Jf)α. 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 xX. So, we have

4 a 2 Q ( x 2 ) Q(ax)=0

for all xX, and hence

Q(ax)=4 a 2 Q ( x 2 ) = a 2 Q(x)

for all a A 1 and xX. By the same reasoning as in the proof of [[15], Theorem], we can show that, for each tR, Q:XY satisfies Q(tx)= t 2 Q(x) all xX since the mapping f(tx) is continuous in tR for each xX. For each aA with a0, we have

Q(ax)=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 xX. Thus Q:XY 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:XY 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,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-quadratic mapping Q:XY such that

f ( x ) Q ( x ) Y 2 p θ 4 2 p x p

for all xX.

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

Theorem 3.4 Let f:XY be a mapping satisfying (3.2) and f(0)=0 for which there exists a function φ: X 2 [0,) such that

φ(x,y) α 4 φ(2x,2y)

for all x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-quadratic mapping Q:XY such that

f ( x ) Q ( x ) Y 1 1 α φ(x,0)
(3.7)

for all xX.

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

Now, we consider the linear mapping J:SS such that

Jg(x):=4g ( x 2 )

for all xX. It follows from (3.4) that d(f,Jf)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:XY be a mapping satisfying (3.6). If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally Jensen A-quadratic mapping Q:XY such that

f ( x ) Q ( x ) Y 2 p θ 2 p 4 x p

for all xX.

Proof The proof follows from Theorem 3.4 by taking φ(x,y)=θ( x p + y p ) for all x,yX with xy. 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(2x+y)+f(2xy)=2f(x+y)+2f(xy)+12f(x)

for all x,yX with xy.

Definition 4.1 A cubic mapping f:XY is called an A-cubic mapping if f(ax)= a 3 f(x) for all aA and xX.

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,yX with xy. Let f:XY be a mapping satisfying f(0)=0 and

(4.1)

for all a A 1 and x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-cubic mapping C:XY such that

f ( x ) C ( x ) Y 1 16 16 α φ(x,0)

for all xX.

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 xX since x0. So, we have

f ( x ) 1 8 f ( 2 x ) Y 1 16 φ(x,0)

for all xX.

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

Now, we consider the linear mapping J:SS such that

Jg(x):= 1 8 g(2x)

for all xX. 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:XY be a mapping satisfying

(4.3)

for all a A 1 and x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-cubic mapping C:XY such that

f ( x ) C ( x ) Y θ 2 ( 8 2 p ) x p

for all xX.

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

Theorem 4.4 Let f:XY be a mapping satisfying (4.1) and f(0)=0 for which there exists a function φ: X 2 [0,) such that

φ(x,y) α 8 φ(2x,2y)

for all x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-cubic mapping C:XY such that

f ( x ) C ( x ) Y α 16 16 α φ(x,0)
(4.4)

for all xX.

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

Now, we consider the linear mapping J:SS such that

Jg(x):=8g ( x 2 )

for all xX. It follows from (4.2) that d(f,Jf) α 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:XY be a mapping satisfying (4.3). If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-cubic mapping C:XY such that

f ( x ) C ( x ) Y θ 2 ( 2 p 8 ) x p

for all xX.

Proof The proof follows from Theorem 4.4 by taking φ(x,y)=θ( x p + y p ) for all x,yX with xy. 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(2x+y)+f(2xy)=4f(x+y)+4f(xy)+24f(x)6f(y)

for all x,yX with xy.

Definition 5.1 A quartic mapping f:XY is called an A-quartic mapping if f(ax)= a 4 f(x) for all aA and xX.

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,yX with xy. Let f:XY be a mapping satisfying f(0)=0 and

(5.1)

for all a A 1 and x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-quartic mapping P:XY such that

f ( x ) P ( x ) Y 1 32 32 α φ(x,0)

for all xX.

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 xX, since x0. So, we have

f ( x ) 1 16 f ( 2 x ) Y 1 32 φ(x,0)

for all xX.

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

Now, we consider the linear mapping J:SS such that

Jg(x):= 1 16 g(2x)

for all xX. 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:XY be a mapping satisfying

(5.3)

for all a A 1 and x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-quartic mapping P:XY such that

f ( x ) P ( x ) Y θ 2 ( 16 2 p ) x p

for all xX.

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

Theorem 5.4 Let f:XY be a mapping satisfying (5.1) and f(0)=0 for which there exists a function φ: X 2 [0,) such that

φ(x,y) α 16 φ(2x,2y)

for all x,yX with xy. If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-quartic mapping P:XY such that

f ( x ) P ( x ) Y α 32 32 α φ(x,0)
(5.4)

for all xX.

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

Now, we consider the linear mapping J:SS such that

Jg(x):=16g ( x 2 )

for all xX. It follows from (5.2) that d(f,Jf) α 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:XY be a mapping satisfying (5.3). If, for each xX, the mapping f(tx) is continuous in tR, then there exists a unique orthogonally A-quartic mapping P:XY such that

f ( x ) P ( x ) Y θ 2 ( 2 p 16 ) x p

for all xX.

Proof The proof follows from Theorem 5.4 by taking φ(x,y)=θ( x p + y p ) for all x,yX with xy. 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.

References

  1. 1.

    Pinsker AG: Sur une fonctionnelle dans l’espace de Hilbert. C. R. (Dokl.) Acad. Sci. URSS 1938, 20: 411–414.

    MATH  Google Scholar 

  2. 2.

    Sundaresan K: Orthogonality and nonlinear functionals on Banach spaces. Proc. Am. Math. Soc. 1972, 34: 187–190. 10.1090/S0002-9939-1972-0291835-X

    MathSciNet  Article  MATH  Google Scholar 

  3. 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.427

    MathSciNet  Article  MATH  Google Scholar 

  4. 4.

    Rätz J: On orthogonally additive mappings. Aequ. Math. 1985, 28: 35–49. 10.1007/BF02189390

    Article  MathSciNet  MATH  Google Scholar 

  5. 5.

    Rätz J, Szabó G: On orthogonally additive mappings, IV. Aequ. Math. 1989, 38: 73–85. 10.1007/BF01839496

    Article  MathSciNet  MATH  Google Scholar 

  6. 6.

    Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey, I. Main properties. Extr. Math. 1988, 3: 1–15.

    MathSciNet  Google Scholar 

  7. 7.

    Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey, II. Relations between main orthogonalities. Extr. Math. 1989, 4: 121–131.

    MathSciNet  Google Scholar 

  8. 8.

    Birkhoff G: Orthogonality in linear metric spaces. Duke Math. J. 1935, 1: 169–172. 10.1215/S0012-7094-35-00115-6

    MathSciNet  Article  MATH  Google Scholar 

  9. 9.

    Carlsson SO: Orthogonality in normed linear spaces. Ark. Mat. 1962, 4: 297–318. 10.1007/BF02591506

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

    Cho Y, Diminnie CR, Freese RW, Andalafte EZ: Isosceles orthogonal triples in linear 2-normed spaces. Math. Nachr. 1992, 157: 225–234.

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Diminnie CR: A new orthogonality relation for normed linear spaces. Math. Nachr. 1983, 114: 197–203. 10.1002/mana.19831140115

    MathSciNet  Article  MATH  Google Scholar 

  12. 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-4

    Article  MathSciNet  Google Scholar 

  13. 13.

    Ulam SM: Problems in Modern Mathematics. Wiley, New York; 1960.

    MATH  Google Scholar 

  14. 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.222

    MathSciNet  Article  MATH  Google Scholar 

  15. 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-1

    Article  MathSciNet  MATH  Google Scholar 

  16. 16.

    Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, Singapore; 2002.

    Book  MATH  Google Scholar 

  17. 17.

    Czerwik S: Stability of Functional Equations of Ulam-Hyers-Rassias Type. Hadronic Press, Palm Harbor; 2003.

    MATH  Google Scholar 

  18. 18.

    Hyers DH, Isac G, Rassias TM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel; 1998.

    Book  MATH  Google Scholar 

  19. 19.

    Jung S: Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor; 2001.

    MATH  Google Scholar 

  20. 20.

    Rassias TM: Functional Equations, Inequalities and Applications. Kluwer Academic, Dordrecht; 2003.

    Book  MATH  Google Scholar 

  21. 21.

    Ger R, Sikorska J: Stability of the orthogonal additivity. Bull. Pol. Acad. Sci., Math. 1995, 43: 143–151.

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Skof F: Proprietà locali e approssimazione di operatori. Rend. Semin. Mat. Fis. Milano 1983, 53: 113–129. 10.1007/BF02924890

    MathSciNet  Article  Google Scholar 

  23. 23.

    Cholewa PW: Remarks on the stability of functional equations. Aequ. Math. 1984, 27: 76–86. 10.1007/BF02192660

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh. Math. Semin. Univ. Hamb. 1992, 62: 59–64. 10.1007/BF02941618

    MathSciNet  Article  MATH  Google Scholar 

  25. 25.

    Cho Y, Park C, Rassias TM, Saadati R: Inner product spaces and functional equations. J. Comput. Anal. Appl. 2011, 13: 296–304.

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Cho Y, Saadati R: Lattice non-Archimedean random stability of ACQ functional equation. Adv. Differ. Equ. 2011., 2011: Article ID 31

    Google Scholar 

  27. 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 78

    Google Scholar 

  28. 28.

    Rassias TM: On the stability of the quadratic functional equation and its applications. Stud. Univ. Babeş-Bolyai, Math. 1998, 43: 89–124.

    MathSciNet  MATH  Google Scholar 

  29. 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.6788

    MathSciNet  Article  MATH  Google Scholar 

  30. 30.

    Rassias TM: On the stability of functional equations in Banach spaces. J. Math. Anal. Appl. 2000, 251: 264–284. 10.1006/jmaa.2000.7046

    MathSciNet  Article  MATH  Google Scholar 

  31. 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.034

    MathSciNet  Article  MATH  Google Scholar 

  32. 32.

    Vajzović F: Über das Funktional H mit der Eigenschaft: (x,y)=0H(x+y)+H(xy)=2H(x)+2H(y) . Glas. Mat. 1967, 2(22):73–81.

    MATH  Google Scholar 

  33. 33.

    Drljević F: On a functional which is quadratic on A -orthogonal vectors. Publ. Inst. Math. (Belgr.) 1986, 54: 63–71.

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Fochi M: Functional equations in A -orthogonal vectors. Aequ. Math. 1989, 38: 28–40. 10.1007/BF01839491

    MathSciNet  Article  MATH  Google Scholar 

  35. 35.

    Moslehian MS: On the orthogonal stability of the Pexiderized quadratic equation. J. Differ. Equ. Appl. 2005, 11: 999–1004. 10.1080/10236190500273226

    MathSciNet  Article  MATH  Google Scholar 

  36. 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.052

    MathSciNet  Article  MATH  Google Scholar 

  37. 37.

    Szabó G: Sesquilinear-orthogonally quadratic mappings. Aequ. Math. 1990, 40: 190–200. 10.1007/BF02112295

    Article  MathSciNet  MATH  Google Scholar 

  38. 38.

    Moslehian MS, Rassias TM: Orthogonal stability of additive type equations. Aequ. Math. 2007, 73: 249–259. 10.1007/s00010-006-2868-0

    MathSciNet  Article  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  40. 40.

    Park C: Orthogonal stability of an additive-quadratic functional equation. Fixed Point Theory Appl. 2011., 2011: Article ID 66

    Google Scholar 

  41. 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-8

    MathSciNet  Article  MATH  Google Scholar 

  42. 42.

    Lee S, Im S, Hwang I: Quartic functional equations. J. Math. Anal. Appl. 2005, 307: 387–394. 10.1016/j.jmaa.2004.12.062

    MathSciNet  Article  MATH  Google Scholar 

  43. 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-0

    MathSciNet  Article  MATH  Google Scholar 

  44. 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 4

    MATH  Google Scholar 

  45. 45.

    Isac G, Rassias TM: Stability of ψ -additive mappings: applications to nonlinear analysis. Int. J. Math. Math. Sci. 1996, 19: 219–228. 10.1155/S0161171296000324

    MathSciNet  Article  MATH  Google Scholar 

  46. 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 309026

    Google Scholar 

  47. 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 50175

    Google Scholar 

  48. 48.

    Park C: Generalized Hyers-Ulam-Rassias stability of quadratic functional equations: a fixed point approach. Fixed Point Theory Appl. 2008., 2008: Article ID 493751

    Google Scholar 

  49. 49.

    Radu V: The fixed point alternative and the stability of functional equations. Fixed Point Theory 2003, 4: 91–96.

    MathSciNet  MATH  Google Scholar 

  50. 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.100

    MathSciNet  Article  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  52. 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 749392

    Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  54. 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.017

    MathSciNet  Article  MATH  Google Scholar 

  55. 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-z

    MathSciNet  Article  MATH  Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Jung Rye Lee.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.

Rights and permissions

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

Reprints and Permissions

About this article

Cite this article

Park, C., Cho, Y.J. & Lee, J.R. Orthogonal stability of functional equations with the fixed point alternative. Adv Differ Equ 2012, 173 (2012). https://doi.org/10.1186/1687-1847-2012-173

Download citation

Keywords

  • Hyers-Ulam stability
  • orthogonally (Jensen additive, Jensen quadratic, cubic, quartic) functional equation
  • fixed point
  • orthogonality module over Banach algebra
  • orthogonality space