• Research
• Open Access

# Orthogonal stability of an additive-quartic functional equation with the fixed point alternative

Journal of Inequalities and Applications20122012:83

https://doi.org/10.1186/1029-242X-2012-83

• Accepted: 12 April 2012
• Published:

## Abstract

Using the fixed point method, we prove the Hyers-Ulam stability of the orthogonally additive-quartic functional equation

$\begin{array}{ll}\hfill f\left(2x+y\right)+f\left(2x-y\right)& =4f\left(x+y\right)+4f\left(x-y\right)\phantom{\rule{2em}{0ex}}\\ +10f\left(x\right)+14f\left(-x\right)-3f\left(y\right)-3f\left(-y\right)\phantom{\rule{2em}{0ex}}\end{array}$

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

AMS Subject Classification: Primary, 39B55; 47H10; 39B52; 46H25.

## Keywords

• Hyers-Ulam stability
• fixed point
• orthogonality space

## 1 Introduction and preliminaries

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

Pinsker  characterized orthogonally additive functionals on an inner product space when the orthogonality is the ordinary one in such spaces. Sundaresan  generalized this result to arbitrary Banach spaces equipped with the Birkhoff-James orthogonality. The orthogonal Cauchy functional equation
$f\left(x+y\right)=f\left(x\right)+f\left(y\right),\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}x\perp y,$

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

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

Suppose X is a real vector space with dim X ≥ 2 and is a binary relation on X with the following properties:

(O1) totality of for zero: x 0, 0 x for all x X;

(O2) independence: if x, y X - {0}, x y, then x, y are linearly independent;

(O3) homogeneity: if x, y X, x y, then αx βy for all $\alpha ,\beta \in ℛ$;

(O4) the Thalesian property: if P is a 2-dimensional subspace of X, x P and $\lambda \in {ℛ}_{+}$, which is the set of nonnegative real numbers, then there exists y0 P such that x y0 and x + y0 λx - y0.

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

Some interesting examples are
1. (i)

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

2. (ii)

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

3. (iii)

The Birkhoff-James orthogonality on a normed space (X, .) defined by x y if and only if x + λyx for all $\lambda \in ℛ$.

The relation is called symmetric if x y implies that y x for all x, y X. Clearly examples (i) and (ii) are symmetric but example (iii) is not. It is remarkable to note, however, that a real normed space of 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 ).

The stability problem of functional equations originated from the following question of Ulam : Under what condition does there exist an additive mapping near an approximately additive mapping? In 1941, Hyers  gave a partial affirmative answer to the question of Ulam in the context of Banach spaces. In 1978, Rassias  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)). The result of Rassias has provided a lot of influence in the development of what we now call generalized Hyers-Ulam stability or Hyers-Ulam stability of functional equations. During the last decades several stability problems of functional equations have been investigated in the spirit of Hyers-Ulam-Rassias. The reader is referred to  and references therein for detailed information on stability of functional equations.

Ger and Sikorska  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 some ε > 0, then there exists exactly one orthogonally additive mapping g : XY such that $∥f\left(x\right)-g\left(x\right)∥\le \frac{16}{3}\epsilon$ for all x X.

The first author treating the stability of the quadratic equation was Skof  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) - 2f(x) - 2f(y)ε for some ε > 0, then there is a unique quadratic mapping g : XY such that $∥f\left(x\right)-g\left(x\right)∥\le \frac{\epsilon }{2}$. Cholewa  extended the Skof's theorem by replacing X by an abelian group G. The Skof's result was later generalized by Czerwik  in the spirit of Hyers-Ulam-Rassias. The stability problem of functional equations has been extensively investigated by some mathematicians (see ).

$f\left(x+y\right)+f\left(x-y\right)=2f\left(x\right)+2f\left(y\right),\phantom{\rule{1em}{0ex}}x\perp y$

was first investigated by Vajzović  when X is a Hilbert space, Y is the scalar field, f is continuous and means the Hilbert space orthogonality. Later, Drljević , Fochi , Moslehian [31, 32] and Szabό  generalized this result. See also [34, 35].

Let X be a set. A function d : X × X → [0, ∞] is called a generalized metric on X if d satisfies
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 fixed point theory.

Theorem 1.1 [36, 37] Let (X, d) be a complete generalized metric space and let J : XX be a strictly contractive mapping with Lipschitz constant α < 1. Then for each given element x X, either
$d\left({J}^{n}x,\phantom{\rule{2.77695pt}{0ex}}{J}^{n+1}x\right)=\infty$
for all nonnegative integers n or there exists a positive integer n 0 such that
1. (1)

d(J n x, Jn+1x) < ∞, nn0;

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=\left\{y\in X|d\left({J}^{{n}_{0}}x,y\right)<\infty \right\}$;

4. (4)

$d\left(y,y*\right)\le \frac{1}{1-\alpha }d\left(y,Jy\right)$ for all y Y.

In 1996, Isac and Rassias  were the first to provide applications of 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 ).

In , Lee et al. considered the following quartic functional equation
$f\left(2x+y\right)+f\left(2x-y\right)=4f\left(x+y\right)+4f\left(x-y\right)+24f\left(x\right)-6f\left(y\right).$
(1)

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

This paper is organized as follows: In Section 2, we prove the Hyers-Ulam stability of the orthogonally additive-quartic functional equation
$\begin{array}{ll}\hfill f\left(2x+y\right)+f\left(2x-y\right)& =4f\left(x+y\right)+4f\left(x-y\right)\phantom{\rule{2em}{0ex}}\\ +10f\left(x\right)+14f\left(-x\right)-3f\left(y\right)-3f\left(-y\right)\phantom{\rule{2em}{0ex}}\end{array}$
(2)

in orthogonality spaces for an odd mapping.

In Section 3, we prove the Hyers-Ulam stability of the orthogonally additive-quartic functional equation (2) in orthogonality spaces for an even mapping.

Throughout this paper, assume that (X, ) is an orthogonality space and that (Y, . Y ) is a real Banach space.

## 2 Stability of the orthogonally additive-quadratic functional equation: an odd mapping case

In this section, applying some ideas from [16, 19], we deal with the stability problem for the orthogonally additive-quadratic functional equation
$\begin{array}{c}Df\left(x,y\right):=f\left(2x+y\right)+f\left(2x-y\right)-4f\left(x+y\right)-4f\left(x-y\right)\\ -10f\left(x\right)-14f\left(-x\right)+3f\left(y\right)+3f\left(-y\right)\end{array}$

for all x, y X with x y : an odd mapping case.

Definition 2.1 A mapping f : XY is called an orthogonally additive mapping if
$f\left(2x+y\right)+f\left(2x-y\right)=4f\left(x+y\right)+4f\left(x-y\right)-4f\left(x\right)$

for all x, y X with x y.

Theorem 2.2 Let φ : X2 → [0, ∞) be a function such that there exists an α < 1 with
$\phi \left(x,y\right)\le 2\alpha \phi \left(\frac{x}{2},\frac{y}{2}\right)$
(3)
for all x, y X with x y. Let f : XY be an odd mapping satisfying
${∥Df\left(x,y\right)∥}_{Y}\le \phi \left(x,y\right)$
(4)
for all x, y X with x y. Then there exists a unique orthogonally additive mapping L : XY such that
${∥f\left(x\right)-L\left(x\right)∥}_{Y}\le \frac{1}{4-4\alpha }\phi \left(x,0\right)$
(5)

for all x X.

Proof. Putting y = 0 in (4), we get
${∥2f\left(2x\right)-4f\left(x\right)∥}_{Y}\le \phi \left(x,0\right)$
(6)
for all x X, since x 0. So
${∥f\left(x\right)-\frac{1}{2}f\left(2x\right)∥}_{Y}\le \frac{1}{4}\phi \left(x,0\right)$
(7)

for all x X.

Consider the set
$S:=\left\{h:X\to Y\right\}$
and introduce the generalized metric on S:
$d\left(g,h\right)=\text{inf}\left\{\mu \in {ℛ}_{+}:{∥g\left(x\right)-h\left(x\right)∥}_{Y}\le \mu \phi \left(x,0\right),\phantom{\rule{1em}{0ex}}\forall x\in X\right\},$

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

Now we consider the linear mapping J : SS such that
$Jg\left(x\right):=\frac{1}{2}g\left(2x\right)$

for all x X.

Let g, h S be given such that d(g, h) = ε. Then
${∥g\left(x\right)-h\left(x\right)∥}_{Y}\le \phi \left(x,0\right)$
for all x X. Hence
${∥Jg\left(x\right)-Jh\left(x\right)∥}_{Y}={∥\frac{1}{2}g\left(2x\right)-\frac{1}{2}h\left(2x\right)∥}_{Y}\le \alpha \phi \left(x,0\right)$
for all x X. So d(g, h) = ε implies that d(Jg, Jh) ≤ αε. This means that
$d\left(Jg,Jh\right)\le \alpha d\left(g,h\right)$

for all g, h S.

It follows from (7) that $d\left(f,Jf\right)\le \frac{1}{4}$.

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\left(2x\right)=2L\left(x\right)$
(8)

for all x X. The mapping L is a unique fixed point of J in the set
$M=\left\{g\in S:d\left(h,g\right)<\infty \right\}.$
This implies that L is a unique mapping satisfying (8) such that there exists a μ (0, ∞) satisfying
${∥f\left(x\right)-L\left(x\right)∥}_{Y}\le \mu \phi \left(x,0\right)$
for all x X;
1. (2)
d(J n f, L) → 0 as n → ∞. This implies the equality
$\underset{n\to \infty }{\text{lim}}\frac{1}{{2}^{n}}f\left({2}^{n}x\right)=L\left(x\right)$

for all x X;
1. (3)
$d\left(f,L\right)\le \frac{1}{1-\alpha }d\left(f,Jf\right)$, which implies the inequality
$d\left(f,L\right)\le \frac{1}{4-4\alpha }.$

This implies that the inequality (5) holds.

It follows from (3) and (4) that
$\begin{array}{ll}\hfill {∥DL\left(x,y\right)∥}_{Y}& =\underset{n\to \infty }{\text{lim}}\frac{1}{{2}^{n}}{∥Df\left({2}^{n}x,{2}^{n}y\right)∥}_{Y}\phantom{\rule{2em}{0ex}}\\ \le \underset{n\to \infty }{\text{lim}}\frac{1}{{2}^{n}}\phi \left({2}^{n}x,{2}^{n}y\right)\le \underset{n\to \infty }{\text{lim}}\frac{{2}^{n}{\alpha }^{n}}{{2}^{n}}\phi \left(x,y\right)=0\phantom{\rule{2em}{0ex}}\end{array}$
for all x, y X with x y. So
$DL\left(x,y\right)=0$
for all x, y X with x y. Since f is odd, L is odd. Hence L : XY is an orthogonally additive mapping, i.e.,
$L\left(2x+y\right)+L\left(2x-y\right)=4L\left(x+y\right)+4L\left(x-y\right)-4L\left(x\right)$

for all x, y X with x y. Thus L : XY is a unique orthogonally additive mapping satisfying (5), as desired.

From now on, in corollaries, assume that (X, ) is an orthogonality normed space.

Corollary 2.3 Let θ be a positive real number and p a real number with 0 < p < 1. Let f : XY be an odd mapping satisfying
${∥Df\left(x,y\right)∥}_{Y}\le \theta \left({∥x∥}^{p}+{∥y∥}^{p}\right)$
(9)
for all x, y X with x y. Then there exists a unique orthogonally additive mapping L : XY such that
${∥f\left(x\right)-L\left(x\right)∥}_{Y}\le \frac{\theta }{2\left(2-{2}^{p}\right)}{∥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 α = 2p-1and we get the desired result.

Theorem 2.4 Let f : XY be an odd mapping satisfying (4) for which there exists a function φ : X2 → [0,∞) such that
$\phi \left(x,y\right)\le \frac{\alpha }{2}\phi \left(2x,2y\right)$
for all x, y X with x y. Then there exists a unique orthogonally additive mapping L : XY such that
${∥f\left(x\right)-L\left(x\right)∥}_{Y}\le \frac{\alpha }{4-4\alpha }\phi \left(x,0\right)$
(10)

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 : SS such that
$Jg\left(x\right):=2g\left(\frac{x}{2}\right)$

for all x X.

It follows from (6) that $d\left(f,Jf\right)\le \frac{\alpha }{4}$. So
$d\left(f,L\right)\le \frac{\alpha }{4-4\alpha }.$

Thus we obtain the inequality (10).

The rest of the proof is similar to the proof of Theorem 2.2.

Corollary 2.5 Let θ be a positive real number and p a real number with p > 1. Let f : XY be an odd mapping satisfying (9). Then there exists a unique orthogonally additive mapping L : XY such that
${∥f\left(x\right)-L\left(x\right)∥}_{Y}\le \frac{\theta }{2\left({2}^{p}-2\right)}{∥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 α = 21-pand we get the desired result.

## 3 Stability of the orthogonally additive-quartic functional equation: an even mapping case

In this section, applying some ideas from [16, 19], we deal with the stability problem for the orthogonally additive-quartic functional equation given in the previous section: an even mapping case.

Definition 3.1 A mapping f : XY is called an orthogonally quartic mapping if
$f\left(2x+y\right)+f\left(2x-y\right)=4f\left(x+y\right)+4f\left(x-y\right)+24f\left(x\right)-6f\left(y\right)$

for all x, y X with x y.

Theorem 3.2 Let φ : X2 → [0, ∞) be a function such that there exists an α < 1 with
$\phi \left(x,y\right)\le 16\alpha \phi \left(\frac{x}{2},\frac{y}{2}\right)$
for all x, y X with x y. Let f : XY be an even mapping satisfying f(0) = 0 and (4). Then there exists a unique orthogonally quartic mapping P : XY such that
${∥f\left(x\right)-P\left(x\right)∥}_{Y}\le \frac{1}{32-32\alpha }\phi \left(x,0\right)$

for all x X.

Proof. Putting y = 0 in (4), we get
${∥2f\left(2x\right)-32f\left(x\right)∥}_{Y}\le \phi \left(x,0\right)$
(11)
for all x X, since x 0. So
${∥f\left(x\right)-\frac{1}{16}f\left(2x\right)∥}_{Y}\le \frac{1}{32}\phi \left(x,0\right)$

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 : SS such that
$Jg\left(x\right):=\frac{1}{16}g\left(2x\right)$

for all x X.

The rest of the proof is similar to the proof of Theorem 2.2.

Corollary 3.3 Let θ be a positive real number and p a real number with 0 < p < 4. Let f : XY be an even mapping satisfying f(0) = 0 and (9). Then there exists a unique orthogonally quartic mapping P : XY such that
${∥f\left(x\right)-P\left(x\right)∥}_{Y}\le \frac{\theta }{2\left(16-{2}^{p}\right)}{∥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 α = 2p-4and we get the desired result.

Theorem 3.4 Let f : XY be an even mapping satisfying (4) and f(0) = 0 for which there exists a function φ : X2 → [0, ∞) such that
$\phi \left(x,y\right)\le \frac{\alpha }{16}\phi \left(2x,2y\right)$
for all x, y X with x y. There exists a unique orthogonally quartic mapping P : XY such that
${∥f\left(x\right)-P\left(x\right)∥}_{Y}\le \frac{\alpha }{32-32\alpha }\phi \left(x,0\right)$
(12)

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 : SS such that
$Jg\left(x\right):=16g\left(\frac{x}{2}\right)$

for all x X.

It follows from (11) that $d\left(f,Jf\right)\le \frac{\alpha }{32}$. So we obtain the inequality (12).

The rest of the proof is similar to the proof of Theorem 2.2.

Corollary 3.5 Let θ be a positive real number and p a real number with p > 4. Let f : XY be an even mapping satisfying f(0) = 0 and (9). Then there exists a unique orthogonally quartic mapping P : XY such that
${∥f\left(x\right)-P\left(x\right)∥}_{Y}\le \frac{\theta }{2\left({2}^{p}-16\right)}{∥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 α = 24-pand we get the desired result.

Let ${f}_{o}\left(x\right)=\frac{f\left(x\right)-f\left(-x\right)}{2}$ and ${f}_{e}\left(x\right)=\frac{f\left(x\right)+f\left(-x\right)}{2}$. Then f o is an odd mapping and f e is an even mapping such that f = f o + f e .

The above corollaries can be summarized as follows:

Theorem 3.6 Assume that (X, ) is an orthogonality normed space. Let θ be a positive real number and p a real number with 0 < p < 1 or p > 4. Let f : XY be a mapping satisfying f(0) = 0 and (9). Then there exist an orthogonally additive mapping L : XY and an orthogonally quartic mapping P : XY such that
${∥f\left(x\right)-L\left(x\right)-P\left(x\right)∥}_{Y}\le \left(\frac{1}{\left|2-{2}^{p}\right|}+\frac{1}{\left|16-{2}^{p}\right|}\right)\frac{\theta }{2}{∥x∥}^{p}$

for all x X.

## Declarations

### Acknowledgements

This work was supported by the Daejin University Research Grants in 2012.

## Authors’ Affiliations

(1)
Department of Mathematics, Daejin University, Kyeonggi, 487-711, Korea
(2)
Department of Mathematics, Research Institute for Natural Sciences, Hanyang University, Seoul, 133-791, South Korea
(3)
Department of Mathematics and Computer Science, Iran University of Science and Technology, Behshahr, Iran

## References 