 Research
 Open Access
 Published:
Orthogonal stability of an additivequartic functional equation with the fixed point alternative
Journal of Inequalities and Applications volume 2012, Article number: 83 (2012)
Abstract
Using the fixed point method, we prove the HyersUlam stability of the orthogonally additivequartic functional equation
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.
1 Introduction and preliminaries
Assume that X is a real inner product space and f:X\to \mathcal{R} 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.
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 BirkhoffJames orthogonality. The orthogonal Cauchy functional equation
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 semicontinuous realvalued solution of conditional Cauchy functional equation. In 1985, Rätz [4] 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ó [5] investigated the problem in a rather more general framework.
Let us recall the orthogonality in the sense of Rätz [4].
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 \alpha ,\beta \in \mathcal{R};
(O_{4}) the Thalesian property: if P is a 2dimensional subspace of X, x ∈ P and \lambda \in {\mathcal{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. By an orthogonality normed space we mean an orthogonality space having a normed structure.
Some interesting examples are

(i)
The trivial orthogonality on a vector space X defined by (O_{1}), and for nonzero 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 BirkhoffJames orthogonality on a normed space (X, ∥.∥) defined by x ⊥ y if and only if ∥x + λy∥ ≥ ∥x∥ for all \lambda \in \mathcal{R}.
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 BirkhoffJames orthogonality is symmetric. There are several orthogonality notions on a real normed space such as BirkhoffJames, Boussouis, Singer, Carlsson, unitaryBoussouis, Roberts, Phythagorean, isosceles and Diminnie (see [6–11]).
The stability problem of functional equations originated from the following question of Ulam [12]: Under what condition does there exist an additive mapping near an approximately additive mapping? In 1941, Hyers [13] gave a partial affirmative answer to the question of Ulam in the context of Banach spaces. In 1978, Rassias [14] 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 HyersUlam stability or HyersUlam stability of functional equations. During the last decades several stability problems of functional equations have been investigated in the spirit of HyersUlamRassias. The reader is referred to [15–18] and references therein for detailed information on stability of functional equations.
Ger and Sikorska [19] 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 [20] 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 : X → Y such that \u2225f\left(x\right)g\left(x\right)\u2225\le \frac{\epsilon}{2}. Cholewa [21] extended the Skof's theorem by replacing X by an abelian group G. The Skof's result was later generalized by Czerwik [22] in the spirit of HyersUlamRassias. The stability problem of functional equations has been extensively investigated by some mathematicians (see [23–27]).
The orthogonally quadratic equation
was first investigated by Vajzović [28] when X is a Hilbert space, Y is the scalar field, f is continuous and ⊥ means the Hilbert space orthogonality. Later, Drljević [29], Fochi [30], Moslehian [31, 32] and Szabό [33] 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)
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.1 [36, 37] 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) < ∞, ∀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 Xd\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 [38] 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 [39–45]).
In [46], Lee et al. considered the following quartic functional equation
It is easy to show that the function f(x) = x^{4} 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 HyersUlam stability of the orthogonally additivequartic functional equation
in orthogonality spaces for an odd mapping.
In Section 3, we prove the HyersUlam stability of the orthogonally additivequartic 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 additivequadratic functional equation: an odd mapping case
In this section, applying some ideas from [16, 19], we deal with the stability problem for the orthogonally additivequadratic functional equation
for all x, y ∈ X with x ⊥ y : an odd mapping case.
Definition 2.1 A mapping f : X → Y is called an orthogonally additive mapping if
for all x, y ∈ X with x ⊥ y.
Theorem 2.2 Let φ : X^{2} → [0, ∞) be a function such that there exists an α < 1 with
for all x, y ∈ X with x ⊥ y. Let f : X → Y be an odd mapping satisfying
for all x, y ∈ X with x ⊥ y. Then there exists a unique orthogonally additive mapping L : X → Y such that
for all x ∈ X.
Proof. Putting y = 0 in (4), we get
for all x ∈ X, since x ⊥ 0. So
for all x ∈ X.
Consider the set
and introduce the generalized metric on S:
where, as usual, inf ϕ = +∞. It is easy to show that (S, d) is complete (see [47]).
Now we consider the linear mapping J : S → S such that
for all x ∈ X.
Let g, h ∈ S be given such that d(g, h) = ε. Then
for all x ∈ X. Hence
for all x ∈ X. So d(g, h) = ε implies that d(Jg, Jh) ≤ αε. This means that
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 : X → Y satisfying the following:

(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
This implies that L is a unique mapping satisfying (8) such that there exists a μ ∈ (0, ∞) satisfying
for all 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)
for all 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{1}{44\alpha}.
This implies that the inequality (5) holds.
It follows from (3) and (4) that
for all x, y ∈ X with x ⊥ y. So
for all x, y ∈ X with x ⊥ y. Since f is odd, L is odd. Hence L : X → Y is an orthogonally additive mapping, i.e.,
for all x, y ∈ X with x ⊥ y. Thus L : X → Y 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 : X → Y be an odd mapping satisfying
for all x, y ∈ X with x ⊥ y. Then there exists a unique orthogonally additive mapping L : X → Y such that
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^{p1}and we get the desired result.
Theorem 2.4 Let f : X → Y be an odd mapping satisfying (4) for which there exists a function φ : X^{2} → [0,∞) such that
for all x, y ∈ X with x ⊥ y. Then there exists a unique orthogonally 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.
It follows from (6) that d\left(f,Jf\right)\le \frac{\alpha}{4}. So
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 : X → Y be an odd mapping satisfying (9). Then there exists a unique orthogonally additive mapping L : X → Y such that
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^{1p}and we get the desired result.
3 Stability of the orthogonally additivequartic functional equation: an even mapping case
In this section, applying some ideas from [16, 19], we deal with the stability problem for the orthogonally additivequartic functional equation given in the previous section: an even mapping case.
Definition 3.1 A mapping f : X → Y is called an orthogonally quartic mapping if
for all x, y ∈ X with x ⊥ y.
Theorem 3.2 Let φ : X^{2} → [0, ∞) be a function such that there exists an α < 1 with
for all x, y ∈ X with x ⊥ y. Let f : X → Y be an even mapping satisfying f(0) = 0 and (4). Then there exists a unique orthogonally quartic mapping P : X → Y such that
for all x ∈ X.
Proof. Putting y = 0 in (4), we get
for all 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. Now we consider the linear mapping J : S → S such that
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 : X → Y be an even mapping satisfying f(0) = 0 and (9). Then there exists a unique orthogonally quartic mapping P : X → Y such that
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^{p4}and we get the desired result.
Theorem 3.4 Let f : X → Y be an even mapping satisfying (4) and f(0) = 0 for which there exists a function φ : X^{2} → [0, ∞) such that
for all x, y ∈ X with x ⊥ y. There exists a unique orthogonally quartic mapping P : 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 (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 : X → Y be an even mapping satisfying f(0) = 0 and (9). Then there exists a unique orthogonally quartic mapping P : X → Y such that
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^{4p}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 > 4. Let f : X → Y be a mapping satisfying f(0) = 0 and (9). Then there exist an orthogonally additive mapping L : X → Y and an orthogonally quartic mapping P : X → Y such that
for all x ∈ X.
References
Pinsker AG: Sur une fonctionnelle dans l'espace de Hilbert. C R (Dokl) Acad Sci URSS, n Ser 1938, 20: 411–414.
Sundaresan K: Orthogonality and nonlinear functionals on Banach spaces. Proc Am Math Soc 1972, 34: 187–190.
Gudder S, Strawther D: Orthogonally additive and orthogonally increasing functions on vector spaces. Pac J Math 1975, 58: 427–436.
Rätz J: On orthogonally additive mappings. Aequationes Math 1985, 28: 35–49.
Rätz J, Szabó Gy: On orthogonally additive mappings IV . Aequationes Math 1989, 38: 73–85.
Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey I . Main properties Extracta Math 1988, 3: 1–15.
Alonso J, Benítez C: Orthogonality in normed linear spaces: a survey II . Relations between main orthogonalities Extracta Math 1989, 4: 121–131.
Birkhoff G: Orthogonality in linear metric spaces. Duke Math J 1935, 1: 169–172.
Carlsson SO: Orthogonality in normed linear spaces. Ark Mat 1962, 4: 297–318.
Diminnie CR: A new orthogonality relation for normed linear spaces. Math Nachr 1983, 114: 197–203.
James RC: Orthogonality and linear functionals in normed linear spaces. Trans Am Math Soc 1947, 61: 265–292.
Ulam SM: Problems in Modern Mathematics. Wiley, New York; 1960.
Hyers DH: On the stability of the linear functional equation. Proc Nat Acad Sci USA 1941, 27: 222–224.
Rassias ThM: On the stability of the linear mapping in Banach spaces. Proc Amer Math Soc 1978, 72: 297–300.
Czerwik S: Stability of Functional Equations of UlamHyersRassias Type. Hadronic Press, Palm Harbor, Florida 2003.
Hyers DH, Isac G, Rassias ThM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel; 1998.
Jung S: HyersUlamRassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor, Florida; 2001.
Rassias ThM: Functional Equations, Inequalities and Applications. Kluwer Academic Publishers, Dordrecht/Boston/London; 2003.
Ger R, Sikorska J: Stability of the orthogonal additivity. Bull Polish Acad Sci Math 1995, 43: 143–151.
Skof F: Proprietà locali e approssimazione di operatori. Rend Sem Mat Fis Milano 1983, 53: 113–129.
Cholewa PW: Remarks on the stability of functional equations. Aequationes Math 1984, 27: 76–86.
Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh Math Sem Univ Hamburg 1992, 62: 59–64.
Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific Publishing Company/New Jersey/London/Singapore/Hong Kong; 2002.
Park C, Park J: Generalized HyersUlam stability of an EulerLagrange type additive mapping. J Diff Equ Appl 2006, 12: 1277–1288.
Rassias ThM: On the stability of the quadratic functional equation and its applications. Studia Univ BabeşBolyai Math 1998, 43: 89–124.
Rassias ThM: The problem of S.M. Ulam for approximately multiplicative mappings. J Math Anal Appl 2000, 246: 352–378.
Rassias ThM: On the stability of functional equations in Banach spaces. J Math Anal Appl 2000, 251: 264–284.
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.
Drljević F: On a functional which is quadratic on A orthogonal vectors. Publ Inst Math (Beograd) 1986, 54: 63–71.
Fochi M: Functional equations in A orthogonal vectors. Aequationes Math 1989, 38: 28–40.
Moslehian MS: On the orthogonal stability of the Pexiderized quadratic equation. J Diff Equ Appl 2005, 11: 999–1004.
Moslehian MS: On the stability of the orthogonal Pexiderized Cauchy equation. J Math Anal Appl 2006, 318: 211–223.
Szabó Gy: Sesquilinearorthogonally quadratic mappings. Aequationes Math 1990, 40: 190–200.
Moslehian MS, Rassias ThM: Orthogonal stability of additive type equations. Aequationes Math 2007, 73: 249–259.
Paganoni L, Rätz J: Conditional function equations and orthogonal additivity. Aequationes Math 1995, 50: 135–142.
Cădariu L, Radu V: Fixed points and the stability of Jensen's functional equation. J Inequal Pure Appl Math 2003, 4(1):7. (Art. ID 4)
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.
Isac G, Rassias ThM: Stability of ψ additive mappings: appications to nonlinear analysis. Int J Math Math Sci 1996, 19: 219–228.
Cădariu L, Radu V: On the stability of the Cauchy functional equation: a fixed point approach. Grazer Math Ber 2004, 346: 43–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: 1–5. (Art. ID 749392)
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.
Mirzavaziri M, Moslehian MS: A fixed point approach to stability of a quadratic equation. Bull Braz Math Soc 2006, 37: 361–376.
Saadati R, Park C: NonArchimedean ℒfuzzy normed spaces and stability of functional equations. Comput Math Appl 2010, 60: 2488–2496.
Saadati R, Vaezpour SM, Park C: The stability of the cubic functional equation in various spaces. Math Commun 2011, 16: 131–145.
Radu V: The fixed point alternative and the stability of functional equations. Fixed Point Theory 2003, 4: 91–96.
Lee S, Im S, Hwang I: Quartic functional equations. J Math Anal Appl 2005, 307: 387–394.
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.
Acknowledgements
This work was supported by the Daejin University Research Grants in 2012.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors carried out the proof. All authors conceived of the study, and participated in its design and coordination. All authors 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.
About this article
Cite this article
Lee, S.J., Park, C. & Saadati, R. Orthogonal stability of an additivequartic functional equation with the fixed point alternative. J Inequal Appl 2012, 83 (2012). https://doi.org/10.1186/1029242X201283
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X201283
Keywords
 HyersUlam stability
 orthogonally additivequartic functional equation
 fixed point
 orthogonality space