# Orthogonally additive-additive and orthogonally quadratic-quadratic functional equation in orthogonality spaces

- Choonkil Park
^{1}, - Gwang Hui Kim
^{2}, - Jung Rye Lee
^{3}and - Dong Yun Shin
^{4}Email author

**2012**:139

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

© Park et al; licensee Springer. 2012

**Received: **13 December 2011

**Accepted: **15 June 2012

**Published: **15 June 2012

## Abstract

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

for all *x*, *y*, *z* with *x* ⊥ *y*, in orthogonality Banach spaces and in non-Archimedean orthogonality Banach spaces.

**Mathematics Subject Classification (2010)**: Primary 39B55, 46S10, 39B72, 39B52, 54E40, 47H10, 47S10, 26E30, 12J25, 46H25.

## Keywords

## 1. Introduction and preliminaries

In 1897, Hensel [1] introduced a normed space which does not have the Archimedean property. It turned out that non-Archimedean spaces have many nice applications (see [2–5]).

*valuation*is a function | · | from a field

*K*into [0, ∞) such that 0 is the unique element having the 0 valuation,

*|rs|*=

*|r|*·

*|s|*and the triangle inequality holds, i.e.,

A field *K* is called a *valued field* if *K* carries a valuation. Throughout this paper, we assume that the base field is a valued field, hence call it simply a field. The usual absolute values of ℝ and ℂ are examples of valuations.

then the function | · | is called a *non-Archimedean valuation*, and the field is called a *non-Archimedean field*. Clearly |1| = | - 1| = 1 and |*n*| ≤ 1 for all *n* ∈ ℕ. A trivial example of a non-Archimedean valuation is the function *| · |* taking everything except for 0 into 1 and |0| = 0.

**Definition 1.1**. Let

*X*be a vector space over a field

*K*with a non-Archimedean valuation | · |. A function || · ||:

*X*→ [0, ∞) is said to be a

*non-Archimedean norm*if it satisfies the following conditions:

- (i)
||

*x*|| = 0 if and only if*x*= 0; - (ii)
||

*rx*|| =*|r|*||*x*|| (*r*∈*K*,*x*∈*X*); - (iii)the strong triangle inequality$\u2225x+y\u2225\le \text{max}\left\{\u2225x\u2225,\u2225y\u2225\right\},\phantom{\rule{1em}{0ex}}\forall x,y\in X$

holds. Then (*X*, || · ||) is called a *non-Archimedean normed space*.

**Definition 1.2**.

- (i)Let {
*x*_{ n }} be a sequence in a non-Archimedean normed space*X*. Then the sequence {*x*_{ n }} is called*Cauchy*if for a given*ε*> 0 there is a positive integer*N*such that$\u2225{x}_{n}-{x}_{m}\u2225\le \epsilon $

*n*,

*m*≥

*N*.

- (ii)Let {
*x*_{ n }} be a sequence in a non-Archimedean normed space*X*. Then the sequence {*x*_{ n }} is called*convergent*if for a given*ε*> 0 there are a positive integer*N*and an*x*∈*X*such that$\u2225{x}_{n}-x\u2225\le \epsilon $

*n*≥

*N*. Then we call

*x*∈

*X*a limit of the sequence {

*x*

_{ n }}, and denote by lim

_{n→∞}

*x*

_{ n }=

*x*.

- (iii)
If every Cauchy sequence in

*X*converges, then the non-Archimedean normed space*X*is called a*non-Archimedean Banach space*.

Assume that X is a real inner product space and *f*: *X* → ℝ 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*) *=* ||*x*||^{2} 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.

in which ⊥ is an abstract orthogonality relation, was first investigated by Gudder and Strawther [8]. 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 [9] 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ó [10] investigated the problem in a rather more general framework.

Let us recall the orthogonality in the sense of Rätz; cf. [9].

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

(*O* 1) totality of ⊥ for zero: *x* ⊥ 0, 0 ⊥ *x* for all *x* ∈ *X*;

(*O*_{2}) independence: if *x*, *y* ∈ *X* - {0}, *x* ⊥ *y*, then *x*, *y* are linearly independent;

(*O*_{3}) homogeneity: if *x*, *y* ∈ *X*, *x* ⊥ *y*, then *αx* ⊥ *β y* for all *α*, *β* ∈ ℝ;

(*O*_{4}) the Thalesian property: if *P* is a 2-dimensional subspace of *X*, *x* ∈ *P* and *λ* ∈ ℝ_{+}, 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. By an orthogonality normed space we mean an orthogonality space having a normed structure.

- (i)
The trivial orthogonality on a vector space

*X*defined by (*O*_{1}), and for non-zero elements*x*,*y*∈*X*,*x*⊥*y*if and only if*x*,*y*are linearly independent. - (ii)
The ordinary orthogonality on an inner product space (

*X*, 〈.,.〉) given by*x*⊥*y*if and only if 〈*x, y*〉 = 0. - (iii)
The Birkhoff-James orthogonality on a normed space (

*X*, ||.||) defined by*x*⊥*y*if and only if ||*x*+*λy*|| ≥ ||*x*|| for all*λ*∈ ℝ.

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 ¿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 [11–18]).

The stability problem of functional equations originated from the following question of Ulam [19]: *Under what condition does there exist an additive mapping near an approximately additive mapping?* In 1941, Hyers [20] gave a partial affirmative answer to the question of Ulam in the context of Banach spaces. In 1978, Rassias [21] 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 reader is referred to [22–25] and references therein for detailed information on stability of functional equations.

Ger and Sikorska [26] 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*: *X* → *Y* such that $\u2225f\left(x\right)-g\left(x\right)\u2225\le \frac{16}{3}\epsilon $ for all *x* ∈ *X*.

The first author treating the stability of the quadratic equation was Skof [27] 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 $\u2225f\left(x\right)-g\left(x\right)\u2225\le \frac{\epsilon}{2}$. Cholewa [28] extended the Skof's theorem by replacing *X* by an abelian group *G*. The Skof's result was later generalized by Czerwik [29] in the spirit of Hyers-Ulam-Rassias. The stability problem of functional equations has been extensively investigated by some mathematicians (see [30–46]).

was first investigated by Vajzović [47] when *X* is a Hilbert space, *Y* is the scalar field, *f* is continuous and ⊥ means the Hilbert space orthogonality. Later, Drljević [48], Fochi [49] and Szabó [50] generalized this result. See also [51].

*X*be a set. A function

*d*:

*X*×

*X*→ [0, ∞] is called a

*generalized metric*on

*X*if

*d*satisfies

- (1)
*d*(*x*,*y*) = 0 if and only if*x*=*y*; - (2)
*d*(*x*,*y*) =*d*(*y*,*x*) for all*x*,*y*∈*X*; - (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.3**. [52, 53]

*Let*(

*X*,

*d*)

*be a complete generalized metric space and let J*:

*X*→

*X be a strictly contractive mapping with Lipschitz constant α*< 1.

*Then for each given element x*∈

*X*,

*either*

*for all nonnegative integers n or there exists a positive integer n*

_{ 0 }

*such that*

- (1)
*d*(*J*^{ n }*x*,*J*^{ n }^{+1}*x*) < ∞*for all n*≥*n*_{0}; - (2)
*the sequence*{*J*^{ n }*x*}*converges to a fixed point y* of J;* - (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)
$d\left(y,{y}^{*}\right)\le \frac{1}{1-\alpha}d\left(y,Jy\right)$

*for all y*∈*Y*.

In 1996, Isac and Rassias [54] 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 [55–63]).

in orthogonality spaces for an odd mapping. In Sect. 3, we prove the Hyers-Ulam stability of the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation (1.1) in orthogonality spaces for an even mapping. In Sect. 4, we prove the Hyers-Ulam stability of the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation (1.1) in non-Archimedean orthogonality spaces for an odd mapping. In Sect. 5, we prove the Hyers-Ulam stability of the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation (1.1) in non-Archimedean orthogonality spaces for an even mapping.

## 2. Stability of the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation in orthogonality spaces: an odd mapping case

Throughout this section, assume that (*X*, ⊥) is an orthogonality space and that (*Y*, ||.||_{
Y
}) is a real Banach space.

for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y* in orthogonality spaces: an odd mapping case.

*f*is an odd mapping with

*Df*(

*x*,

*y*,

*z*) = 0, then

*x*,

*y*∈

*X*with

*x*⊥

*y*and

for all *x*, *z* ∈ *X*. That is, *f* is additive and orthogonally additive.

**Definition 2.1**. An odd mapping

*f*:

*X*→

*Y*is called an

*orthogonally additive-additive mapping*if

for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*.

**Theorem 2.2**.

*Let φ*:

*X*

^{3}→ [0, ∞)

*be a function such that there exists an α*< 1

*with*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Let f*:

*X*→

*Y be an odd mapping satisfying*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Then there exists a unique orthogonally additive-additive mapping L*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. Putting

*y*=

*z*= 0 in (2.2), we get

*x*∈

*X*, since

*x*⊥ 0. So

for all *x* ∈ *X*.

*S*:

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

*J*:

*S*→

*S*such that

for all *x* ∈ *X*.

*g*,

*h*∈

*S*be given such that

*d*(

*g*,

*h*) =

*ε*. Then

*x*∈

*X*. Hence

*x*∈

*X*. So

*d*(

*g*,

*h*) =

*ε*implies that

*d*(

*Jg*,

*Jh*) ≤

*αε*. This means that

for all *g*, *h* ∈ *S*.

It follows from (2.5) that *d*(*f*, *Jf*) ≤ *α*.

*L*:

*X*→

*Y*satisfying the following:

- (1)
*L*is a fixed point of*J*, i.e.,$L\left(2x\right)=2L\left(x\right)$(2.6)

*x*∈

*X*. The mapping

*L*is a unique fixed point of

*J*in the set

*L*is a unique mapping satisfying (2.6) such that there exists a

*μ*∈ (0, ∞) satisfying

*x*∈

*X*;

- (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)$

*x*∈

*X*;

- (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{\alpha}{1-\alpha}.$

This implies that the inequality (2.3) holds.

*x*,

*y*,

*z*∈

*X*with

*x*⊥

*y*. So

for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*. Since *f* is odd, *L* is odd. Hence *L*: *X* → *Y* is an orthogonally additive-additive mapping. Thus *L*: *X* → *Y* is a unique orthogonally additive-additive mapping satisfying (2.3), 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*:

*X*→

*Y be an odd mapping satisfying*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Then there exists a unique orthogonally additive-additive mapping L*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem 2.2 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y*||^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *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 an odd mapping satisfying (2.2) for which there exists a function φ*:

*X*

^{3}→ [0, ∞)

*such that*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Then there exists a unique orthogonally additive-additive mapping L*:

*X*→

*Y such that*

*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

for all *x* ∈ *X*.

*d*(

*f*,

*Jf*) ≤ 1. So

Thus we obtain the inequality (2.8).

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: X*→

*Y be an odd mapping satisfying*(2.7).

*Then there exists a unique orthogonally additive-additive mapping L: X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem 2.4 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y*||^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*. Then we can choose *α* = 2^{l-}^{
p
}and we get the desired result. □

## 3. Stability of the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation in orthogonality spaces: an even mapping case

Throughout this section, assume that (*X*, ⊥) is an orthogonality space and that (*Y*, ||.||_{
Y
}) is a real Banach space.

In this section, applying some ideas from [23, 26], we deal with the stability problem for the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation *Df*(*x*, *y*, *z*) = 0, given in the previous section, in orthogonality spaces: an even mapping case.

*f*is an even mapping with

*Df*(

*x*,

*y*,

*z*) = 0, then

*x*,

*y*∈

*X*with

*x*⊥

*y*and

for all *x*, *z* ∈ *X*. That is, *f* is quadratic and orthogonally quadratic.

**Definition 3.1**. An even mapping

*f*:

*X*→

*Y*is called an

*orthogonally quadratic-quadratic mapping*if

for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*.

**Theorem 3.2**.

*Let φ*:

*X*

^{3}→ [0, ∞)

*be a function such that there exists an α <*1

*with*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Let f: X*→

*Y be an even mapping satisfying f*(0) = 0

*and (2.2). Then there exists a unique orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. Putting

*y*=

*z =*0 in (2.2), we get

*x*∈

*X*, since

*x*⊥ 0. So

for all *x* ∈ *X*.

*Q*:

*X*→

*Y*defined by

for all *x* ∈ *X*.

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

*J*:

*S*→

*S*such that

for all *x* ∈ *X*.

*d*(

*f*,

*Jf*) ≤

*α*. So

So we obtain the inequality (3.1). Thus *Q*: *X* → *Y* is a unique orthogonally quadratic- quadratic mapping satisfying (3.1), as desired. □

**Corollary 3.3**.

*Let θ be a positive real number and p a real number with*0 <

*p*< 2.

*Let f*:

*X*→

*Y be an even mapping satisfying f*(0) = 0

*and (2.7). Then there exists a unique orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem 3.2 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y*||^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *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 an even mapping satisfying (2.2) and f*(0) = 0

*for which there exists a function φ*:

*X*

^{3}→ [0, ∞)

*such that*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y. Then there exists a unique orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*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

for all *x* ∈ *X*.

It follows from (3.2) that *d*(*f*, *Jf*) ≤ 1. So we obtain the inequality (3.4).

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 a real number with p*> 2.

*Let f*:

*X*→

*Y be an even mapping satisfying f*(0) = 0

*and (2.7). Then there exists a unique orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem 3.4 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y*||^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*. Then we can choose *α* = 2^{2-}^{
p
}and 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*> 2.

*Let f*:

*X*→

*Y be a mapping satisfying f*(0) = 0

*and (2.7). Then there exist an orthogonally additive-additive mapping L*:

*X*→

*Y and an orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*for all x* ∈ *X*.

## 4. Stability of the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation in non-Archimedean orthogonality spaces: an odd mapping case

Throughout this section, assume that (*X*, ⊥) is a non-Archimedean orthogonality space and that (*Y*, ||.||_{
Y
}) is a real non-Archimedean Banach space. Assume that |2| ≠ 1.

In this section, applying some ideas from [23, 26], we deal with the stability problem for the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation *Df*(*x*, *y*, *x*) = 0, given in the second section, in non-Archimedean orthogonality spaces: an odd mapping case.

**Theorem 4.1**.

*Let φ*:

*X*

^{3}→ [0, ∞)

*be a function such that there exists an α*< 1

*with*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Let f: X*→

*Y be an odd mapping satisfying*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y. Then there exists a unique orthogonally additive-additive mapping L*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. Putting

*y*=

*z*= 0 in (4.1), we get

*x*∈

*X*, since

*x*⊥ 0. So

for all *x* ∈ *X*.

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

*J*:

*S*→

*S*such that

for all *x* ∈ *X*.

It follows from (4.4) that *d*(*f*, *Jf*) ≤ *α*. Thus we obtain the inequality (4.2).

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

From now on, in corollaries, assume that (*X*, ⊥) is a non-Archimedean orthogonality normed space.

**Corollary 4.2**.

*Let θ be a positive real number and p a real number with*0 <

*p*< 1.

*Let f*:

*X*→

*Y be an odd mapping satisfying (2.7). Then there exists a unique orthogonally additive-additive mapping L*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem 4.1 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y*||^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*. Then we can choose *α* = |2|^{1-}^{
p
}and we get the desired result. □

**Theorem 4.3**.

*Let f: X*→

*Y be an odd mapping satisfying (4.1) for which there exists a function φ*:

*X*

^{3}→ [0, ∞)

*such that*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Then there exists a unique orthogonally additive-additive mapping L*:

*X*→

*Y such that*

*for all x* ∈ *X*.

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

*J*:

*S*→

*S*such that

for all *x* ∈ *X*.

*d*(

*f*,

*Jf*) ≤ 1. So

Thus we obtain the inequality (4.5).

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

**Corollary 4.4**.

*Let θ be a positive real number and p a real number with p*> 1.

*Let f: X*→

*Y be an odd mapping satisfying (2.7). Then there exists a unique orthogonally additive-additive mapping L*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem4.3 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y||*^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*. Then we can choose *α* = |2|^{
p
}^{-1} and we get the desired result. □

## 5. Stability of the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation in non-Archimedean orthogonality spaces: an even mapping case

Throughout this section, assume that (*X*, ⊥) is a non-Archimedean orthogonality space and that (*Y*, ||.||_{
Y
}) is a real non-Archimedean Banach space. Assume that |2| ≠ 1.

In this section, applying some ideas from [23, 26], we deal with the stability problem for the orthogonally additive-additive and orthogonally quadratic-quadratic functional equation *Df*(*x*, *y*, *z*) = 0, given in the second section, in non-Archimedean orthogonality spaces: an even mapping case.

**Theorem 5.1**.

*Let φ*:

*X*

^{3}→ [0, ∞)

*be a function such that there exists an α*< 1

*with*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y. Let f: X*→

*Y be an even mapping satisfying f*(0) = 0

*and (4.1). Then there exists a unique orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. Putting

*y*=

*z*= 0 in (4.1), we get

*x*∈

*X*, since

*x*⊥ 0. So

for all *x* ∈ *X*.

*Q*:

*X*→

*Y*defined by

for all *x* ∈ *X*.

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

*J*:

*S*→

*S*such that

for all *x* ∈ *X*.

*d*(

*f*,

*J f*) ≤

*α*. So

So we obtain the inequality (5.1). Thus *Q*: *X* → *Y* is a unique orthogonally quadratic- quadratic mapping satisfying (5.1), as desired. □

**Corollary 5.2**.

*Let θ be a positive real number and p a real number with*0 <

*p*< 2.

*Let f*:

*X*→

*Y be an even mapping satisfying f*(0) = 0

*and (2.7). Then there exists a unique orthogonally quadratic-quadratic mapping Q: X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem 5.1 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y*||^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*. Then we can choose *α* = |2|^{2-}^{
p
}and we get the desired result. □

**Theorem 5.3**.

*Let f: X*→

*Y be an even mapping satisfying (4.1) and f*(0) = 0

*for which there exists a function φ*:

*X*

^{3}→ [0, ∞)

*such that*

*for all x*,

*y*,

*z*∈

*X with x*⊥

*y*.

*Then there exists a unique orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*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

for all *x* ∈ *X*.

It follows from (5.2) that *d*(*f*, *Jf*) ≤ 1. So we obtain the inequality (5.4).

The rest of the proof is similar to the proofs of Theorems 2.2 and 5.1. □

**Corollary 5.4**.

*Let θ be a positive real number and p a real number with p >*2.

*Let f*:

*X*→

*Y be an even mapping satisfying f*(0) = 0

*and (2.7). Then there exists a unique orthogonally quadratic-quadratic mapping Q: X*→

*Y such that*

*for all x* ∈ *X*.

*Proof*. The proof follows from Theorem 5.3 by taking *φ*(*x*, *y*, *z*) = *θ*(||*x*||^{
p
}+ ||*y*||^{
p
}+ ||*z*||^{
p
}) for all *x*, *y*, *z* ∈ *X* with *x* ⊥ *y*. Then we can choose *α* = |2|^{
p
}^{-2} and we get the desired result. □

The above corollaries can be summarized as follows:

**Theorem 5.5**.

*Assume that*(

*X*, ⊥)

*is a non-Archimedean orthogonality normed space. Let θ be a positive real number and p a real number with*0 <

*p*< 1

*(respectively p*> 2

*). Let f*:

*X*→

*Y be a mapping satisfying f*(0) = 0

*and (2.7). Then there exist an orthogonally additive-additive mapping L*:

*X*→

*Y and an orthogonally quadratic-quadratic mapping Q*:

*X*→

*Y such that*

*for all x* ∈ *X*.

## Declarations

### Acknowledgements

C. Park was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2012R1A1A2004299). D. Y. Shin was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2010-0021792).

## Authors’ Affiliations

## References

- Hensel K: Ubereine news Begrundung der Theorie der algebraischen Zahlen.
*Jahresber Deutsch Math Verein*1897, 6: 83–88.Google Scholar - Deses D: On the representation of non-Archimedean objects.
*Topology Appl*2005, 153: 774–785. 10.1016/j.topol.2005.01.010MathSciNetView ArticleGoogle Scholar - Katsaras AK, Beoyiannis A: Tensor products of non-Archimedean weighted spaces of continuous functions.
*Georgian Math J*1999, 6: 33–44. 10.1023/A:1022926309318MathSciNetView ArticleGoogle Scholar - Khrennikov A: Non-Archimedean analysis: quantum paradoxes, dynamical systems and biological models. In
*Mathematics and its Applications*.*Volume 427*. Kluwer, Dordrecht; 1997.Google Scholar - Nyikos PJ: On some non-Archimedean spaces of Alexandrof and Urysohn.
*Topol Appl*1999, 91: 1–23. 10.1016/S0166-8641(97)00239-3MathSciNetView ArticleGoogle Scholar - Pinsker AG: Sur une fonctionnelle dans l'espace de Hilbert.
*C R (Dokl) Acad Sci URSS*1938, 20: 411–414.Google Scholar - Sundaresan K: Orthogonality and nonlinear functionals on Banach spaces.
*Proc Am Math Soc*1972, 34: 187–190. 10.1090/S0002-9939-1972-0291835-XMathSciNetView ArticleGoogle Scholar - Gudder S, Strawther D: Orthogonally additive and orthogonally increasing functions on vector spaces.
*Pac J Math*1975, 58: 427–436.MathSciNetView ArticleGoogle Scholar - Rätz J: On orthogonally additive mappings.
*Aequ Math*1985, 28: 35–49. 10.1007/BF02189390View ArticleGoogle Scholar - Rätz J, Szabó G: On orthogonally additive mappings
*IV*.*Aequ Math*1989, 38: 73–85. 10.1007/BF01839496View ArticleGoogle Scholar - Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey
*I*.*Main properties Extr Math*1988, 3: 1–15.Google Scholar - Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey
*II*. Relations between main orthogonalities.*Extr Math*1989, 4: 121–131.Google Scholar - Birkhoff G: Orthogonality in linear metric spaces.
*Duke Math J*1935, 1: 169–172. 10.1215/S0012-7094-35-00115-6MathSciNetView ArticleGoogle Scholar - Carlsson SO: Orthogonality in normed linear spaces.
*Ark Mat*1962, 4: 297–318. 10.1007/BF02591506MathSciNetView ArticleGoogle Scholar - Diminnie CR: A new orthogonality relation for normed linear spaces.
*Math Nachr*1983, 114: 197–203. 10.1002/mana.19831140115MathSciNetView ArticleGoogle Scholar - Cho Y, Diminnie CR, Freese RW, Andalafte EZ: Isosceles orthogonal triples in linear 2-normed spaces.
*Math Nachr*1992, 157: 225–234.MathSciNetView ArticleGoogle Scholar - James RC: Orthogonality in normed linear spaces.
*Duke Math J*1945, 12: 291–302. 10.1215/S0012-7094-45-01223-3MathSciNetView ArticleGoogle Scholar - 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 ArticleGoogle Scholar - Ulam SM:
*Problems in Modern Mathematics.*Wiley, New York; 1960.Google Scholar - 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 ArticleGoogle Scholar - 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 ArticleGoogle Scholar - Czerwik S:
*Stability of Functional Equations of Ulam-Hyers-Rassias Type.*Hadronic Press, Palm Harbor; 2003.Google Scholar - Hyers DH, Isac G, Rassias TM:
*Stability of Functional Equations in Several Variables.*Birkhäuser, Basel; 1998.View ArticleGoogle Scholar - Jung S:
*Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis.*Hadronic Press, Palm Harbor; 2001.Google Scholar - Rassias TM:
*Functional Equations, Inequalities and Applications.*Kluwer, Dordrecht, Boston; 2003.View ArticleGoogle Scholar - Ger R, Sikorska J: Stability of the orthogonal additivity.
*Bull Pol Acad Sci Math*1995, 43: 143–151.MathSciNetGoogle Scholar - Skof F: Proprietà locali e approssimazione di operatori.
*Rend Sem Mat Fis Milano*1983, 53: 113–129. 10.1007/BF02924890MathSciNetView ArticleGoogle Scholar - Cholewa PW: Remarks on the stability of functional equations.
*Aequ Math*1984, 27: 76–86. 10.1007/BF02192660MathSciNetView ArticleGoogle Scholar - Czerwik S: On the stability of the quadratic mapping in normed spaces.
*Abh Math Sem Univ Hamburg*1992, 62: 59–64. 10.1007/BF02941618MathSciNetView ArticleGoogle Scholar - Czerwik S:
*Functional Equations and Inequalities in Several Variables.*World Scientific Publishing Company, London; 2002.Google Scholar - Park C, Park J: Generalized Hyers-Ulam stability of an Euler-Lagrange type additive mapping.
*J Differ Equ Appl*2006, 12: 1277–1288. 10.1080/10236190600986925View ArticleGoogle Scholar - Eshaghi Gordji M, Savadkouhi MB: Stability of a mixed type cubic-quartic functional equation in non-Archimedean spaces.
*Appl Math Lett*2010, 23: 1198–1202. 10.1016/j.aml.2010.05.011MathSciNetView ArticleGoogle Scholar - Eshaghi Gordji M, Savadkouhi MB: Stability of cubic and quartic functional equations in non-Archimedean spaces.
*Acta Appl Math*2010, 110: 1321–1329. 10.1007/s10440-009-9512-7MathSciNetView ArticleGoogle Scholar - Gordji Eshaghi, Khodaei H, Khodabakhsh R: General quartic-cubic-quadratic functional equation in non-Archimedean normed spaces.
*UPB Sci Bull A*2010, 72(3):69–84.Google Scholar - Eshaghi Gordji M, Khodaei H, Khodabakhsh R: On approximate
*n*-ry derivations.*Int J Geom Methods Mod Phys*2011, 8: 485–500. 10.1142/S0219887811005245MathSciNetView ArticleGoogle Scholar - Eshaghi Gordji M, Ghaemi MB, Kaboli Gharetapeh S, Shams S, Ebadian A: On the stability of
*J*∗-derivations.*J Geom Phys*2010, 60: 454–459. 10.1016/j.geomphys.2009.11.004MathSciNetView ArticleGoogle Scholar - Eshaghi Gordji M, Alizadeh Z: Stability and superstability of ring homomorphisms on non-Archimedean Banach algebras.
*Abstr Appl Anal*2011., 2011: Article ID 123656Google Scholar - Cho Y, Park C, Rassias TM, Saadati R: Inner product spaces and functional equations.
*J Comput Anal Appl*2011, 13: 296–304.MathSciNetGoogle Scholar - 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.MathSciNetGoogle Scholar - 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 ArticleGoogle Scholar - Cho Y, Park C, Rassias TM, Saadati R: Inner product spaces and functional equations.
*J Comput Anal Appl*2011, 13: 296–304.MathSciNetGoogle Scholar - Mohammadi M, Cho Y, Park C, Vetro P, Saadati R: Random stability of an additive-quadratic-quartic functional equation.
*J Inequal Appl*2010., 2010: Article ID 754210Google Scholar - Baktash E, Cho Y, Jalili M, Saadati R, Vaezpour SM: On the stability of cubic mappings and quadratic mappings in random normed spaces.
*J Inequal Appl*2008., 2008: Article ID 902187Google Scholar - Rassias TM: On the stability of the quadratic functional equation and its applications.
*Stud Univ Babeş-Bolyai Math*1998, 43: 89–124.Google Scholar - 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 ArticleGoogle Scholar - Rassias TM: On the stability of functional equations in Banach spaces.
*J Math Anal Appl*2000, 251: 264–284. 10.1006/jmaa.2000.7046MathSciNetView ArticleGoogle Scholar - Vajzović F: Über das Funktional
*H*mit der Eigenschaft: (*x*,*y*) = 0 ⇒*H*(*x*+*y*) +*H*(*x*-*y*) = 2*H*(*x*) + 2*H*(*y*).*Glasnik Mat Ser III*1967, 2(22):73–81.MathSciNetGoogle Scholar - Drljević F: On a functional which is quadratic on
*A*-orthogonal vectors.*Publ Inst Math (Beograd)*1986, 54: 63–71.Google Scholar - Fochi M: Functional equations in
*A*-orthogonal vectors.*Aequ Math*1989, 38: 28–40. 10.1007/BF01839491MathSciNetView ArticleGoogle Scholar - Szabó G: Sesquilinear-orthogonally quadratic mappings.
*Aequ Math*1990, 40: 190–200. 10.1007/BF02112295View ArticleGoogle Scholar - Paganoni L, Rätz J: Conditional function equations and orthogonal additivity.
*Aequ Math*1995, 50: 135–142. 10.1007/BF01831116View ArticleGoogle Scholar - 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 4Google Scholar - 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 ArticleGoogle Scholar - Isac G, Rassias TM: Stability of
*ψ*-additive mappings: Appications to nonlinear analysis.*Internat J Math Math Sci*1996, 19: 219–228. 10.1155/S0161171296000324MathSciNetView ArticleGoogle Scholar - Cădariu L, Radu V: On the stability of the Cauchy functional equation: a fixed point approach.
*Grazer Math Ber*2004, 346: 43–52.Google Scholar - 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 - 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 ArticleGoogle Scholar - Park C: Fixed points and Hyers-Ulam-Rassias stability of Cauchy-Jensen functional equations in Ba-nach algebras.
*Fixed Point Theory Appl*2007., 2007: Article ID 50175Google Scholar - Eshaghi Gordji M, Najati A: Approximately
*J*∗-homomorphisms: a fixed point approach.*J Geom Phys*2010, 60: 809–814. 10.1016/j.geomphys.2010.01.012MathSciNetView ArticleGoogle Scholar - 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 - 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.MathSciNetGoogle Scholar - 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 - Radu V: The fixed point alternative and the stability of functional equations.
*Fixed Point Theory*2003, 4: 91–96.MathSciNetGoogle Scholar - 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 ArticleGoogle Scholar

## Copyright

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.