Theory and Modern Applications

# Stability of a generalized quadratic functional equation in various spaces: a fixed point alternative approach

## Abstract

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

$\begin{array}{c}cf\left(\sum _{i=1}^{n}{x}_{i}\right)+\sum _{j=2}^{n}f\left(\sum _{i=0}^{n}{x}_{i}-\left(n+c-1\right){x}_{j}\right)\\ =\left(n+c-1\right)\left(f\left({x}_{1}\right)+c\sum _{i=2}^{n}f\left({x}_{i}\right)+\sum _{i

in various normed spaces.

2010 Mathematics Subject Classification: 39B52; 46S40; 34K36; 47S40; 26E50; 47H10; 39B82.

## 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 [25]).

A 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.,

$|r+s|\phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}|r|+|s|,\phantom{\rule{1em}{0ex}}\forall r,s\in K.$

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.

Let us consider a valuation which satisfies a stronger condition than the triangle inequality. If the triangle inequality is replaced by

$|r+s|\phantom{\rule{2.77695pt}{0ex}}\le max\left\{|r|,\phantom{\rule{2.77695pt}{0ex}}|s|\right\},\phantom{\rule{1em}{0ex}}\forall r,\phantom{\rule{2.77695pt}{0ex}}s\in K,$

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:

1. (i)

||x|| = 0 if and only if x = 0;

2. (ii)

||rx|| = |r| ||x|| (r K, x X);

3. (iii)

the strong triangle inequality

$\parallel x+y\parallel \phantom{\rule{2.77695pt}{0ex}}\le max\left\{\parallel x\parallel ,\phantom{\rule{2.77695pt}{0ex}}\parallel y\parallel \right\},\phantom{\rule{1em}{0ex}}\forall x,\phantom{\rule{2.77695pt}{0ex}}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

$\parallel {x}_{n}-{x}_{m}\parallel \phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}\epsilon$

for all n, mN.

(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

$\parallel {x}_{n}-x\parallel \phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}\epsilon$

for all nN. 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.

Pinsker [6] characterized orthogonally additive functionals on an inner product space when the orthogonality is the ordinary one in such spaces. Sundaresan [7] 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}}x\perp y,$

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 non-negative 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

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

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 + λ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 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 [1117]).

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

Ger and Sikorska [24] 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 $\parallel f\left(x\right)-g\left(x\right)\parallel \phantom{\rule{2.77695pt}{0ex}}\le \frac{16}{3}\epsilon$ for all x X.

The first author treating the stability of the quadratic equation was Skof [25] 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 $\parallel f\left(x\right)-g\left(x\right)\parallel \phantom{\rule{2.77695pt}{0ex}}\le \frac{\epsilon }{2}$. Cholewa [26] extended the Skof's theorem by replacing X by an abelian group G. The Skof's result was later generalized by Czerwik [27] in the spirit of Hyers-Ulam-Rassias. The stability problem of functional equations has been extensively investigated by some mathematicians (see [2832]).

The orthogonally quadratic equation

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

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

The stability problems of several functional equations have been extensively investigated by a number of authors, and there are many interesting results concerning this problem (see [3851]).

Katsaras [52] defined a fuzzy norm on a vector space to construct a fuzzy vector topological structure on the space. In particular, Bag and Samanta [53], following Cheng and Mordeson [54], gave an idea of fuzzy norm in such a manner that the corresponding fuzzy metric is of Karmosil and Michalek type [55]. They established a decomposition theorem of a fuzzy norm into a family of crisp norms and investigated some properties of fuzzy normed spaces [56].

Definition 1.3. (Bag and Samanta [53]) Let X be a real vector space. A function N : X × → 0[1]is called a fuzzy norm on X if for all x, y X and all s, t ,

(N 1) N(x, t) = 0 for t ≤ 0;

(N 2) x = 0 if and only if N(x, t) = 1 for all t > 0;

(N 3) $N\left(cx,\phantom{\rule{2.77695pt}{0ex}}t\right)=N\left(x,\frac{t}{|c|}\right)$ if c ≠ 0;

(N 4) N(x + y, c + t) ≥ min{N(x, s), N(y, t)};

(N 5) N(x,.) is a non-decreasing function of and lim t→∞ N(x, t) = 1;

(N 6) for x ≠ 0, N(x,.) is continuous on .

The pair (X, N) is called a fuzzy normed vector space. The properties of fuzzy normed vector space and examples of fuzzy norms are given in (see [57, 58]).

Example 1.1. Let (X, ||.||) be a normed linear space and α, β > 0. Then

$N\left(x,\phantom{\rule{2.77695pt}{0ex}}t\right)=\left\{\begin{array}{cc}\hfill \frac{\alpha t}{\alpha t+\beta ||x||}\hfill & \hfill t>0,x\in X\hfill \\ \hfill 0\hfill & \hfill t\le 0,x\in X\hfill \end{array}\right\$

is a fuzzy norm on X.

Definition 1.4. (Bag and Samanta [53]) Let (X, N) be a fuzzy normed vector space. A sequence {x n } in X is said to be convergent or converge if there exists an x X such that lim t→∞ N(x n - x, t) = 1 for all t > 0. In this case, x is called the limit of the sequence {x n } in X and we denote it by N - lim t→∞ x n = x.

Definition 1.5. (Bag and Samanta [53]) Let (X, N) be a fuzzy normed vector space. A sequence {x n } in X is called Cauchy if for each ε > 0 and each t > 0 there exists an n 0 such that for all nn 0 and all p > 0, we have N(x n+p - x n , t) > 1 - ε.

It is well known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed vector space is called a fuzzy Banach space.

We say that a mapping f : XY between fuzzy normed vector spaces X and Y is continuous at a point x X if for each sequence {x n } converging to x 0 X, then the sequence {f(x n )} converges to f(x 0). If f : XY is continuous at each x X, then f : XY is said to be continuous on X (see [56]).

Definition 1.6. 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 for all x, y X;

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.

Theorem 1.1. ([59, 60]) Let (X, d) be a complete generalized metric space and J : XY be a strictly contractive mapping with Lipschitz constant L < 1. Then, for all x X, either

$\mathsf{\text{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, J n+1 x) < ∞ for all n 0n 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=\left\{y\in X\phantom{\rule{2.77695pt}{0ex}}:\phantom{\rule{2.77695pt}{0ex}}d\left({J}^{{n}_{0}}x,\phantom{\rule{2.77695pt}{0ex}}y\right)<\infty \right\}$;

4. (4)

$d\left(y,\phantom{\rule{2.77695pt}{0ex}}{y}^{*}\right)\le \frac{1}{1-L}d\left(y,\phantom{\rule{2.77695pt}{0ex}}Jy\right)$ for all y Y.

In this paper, we consider the following generalized quadratic functional equation

$\begin{array}{ll}\hfill cf\left(\sum _{i=1}^{n}{x}_{i}\right)& +\sum _{j=2}^{n}f\left(\sum _{i=1}^{n}{x}_{i}-\left(n+c-1\right){x}_{j}\right)\phantom{\rule{2em}{0ex}}\\ =\phantom{\rule{2.77695pt}{0ex}}\left(n+c-1\right)\left(f\left({x}_{1}\right)+c\sum _{i=2}^{n}f\left({x}_{i}\right)+\sum _{i
(1)

and prove the Hyers-Ulam stability of the functional equation (1) in various normed spaces spaces.

This paper is organized as follows: In Section 2, we prove the Hyers-Ulam stability of the orthogonally quadratic functional equation (1) in non-Archimedean orthogonality spaces.

In Section 3, we prove the Hyers-Ulam stability of the quadratic functional equation (1) in fuzzy Banach spaces.

## 2. Stability of the orthogonally quadratic functional equation (1)

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 - n - c| ≠ 0, 1. In this section, applying some ideas from [22, 24], we deal with the stability problem for the orthogonally quadratic functional equation (1) for all x 1, ..., x n X with x 2 x i for all i = 1, 3, ..., n in non-Archimedean Banach spaces.

Theorem 2.1. Let φ : X n → [0, ∞) be a function such that there exists an α < 1 with

$\phi \left({x}_{1},\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)\le \phantom{\rule{2.77695pt}{0ex}}|2-c-n{|}^{2}\alpha \phi \left(\frac{{x}_{1}}{2-c-n},\dots ,\frac{{x}_{n}}{2-c-n}\right)$
(2)

for all x 1, ..., x n X with x 2 x i (i ≠ 2). Let f : XY be a mapping with f(0) = 0 and satisfying

(3)

for all x 1, ..., x n X with x 2 x i (i ≠ 2) and fixed positive real number c. Then there exists a unique orthogonally quadratic mapping Q : XY such that

$\parallel f\left(x\right)-Q\left(x\right){\parallel }_{Y}\phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}\frac{\phi \left(0,x,0,\dots ,0\right)}{|2-c-n{|}^{2}-|2-c-n{|}^{2}\alpha }$
(4)

for all x X.

Proof. Putting x 2 = x and x 1 = x 3 = · · · = x n = 0 in (3), we get

$\parallel f\left(\left(2-c-n\right)x\right)-{\left(2-c-n\right)}^{2}f\left(x\right){\parallel }_{Y}\phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}\phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)$
(5)

for all x X, since x 0. So

${∥\frac{f\left(\left(2-c-n\right)x\right)}{{\left(2-c-n\right)}^{2}}-f\left(x\right)∥}_{Y}\le \frac{\phi \left(0,x,0,\dots ,0\right)}{|2-c-n{|}^{2}}$
(6)

for all x X.

Consider the set

$S\phantom{\rule{2.77695pt}{0ex}}:=\left\{h\phantom{\rule{2.77695pt}{0ex}}:\phantom{\rule{2.77695pt}{0ex}}X\to Y;h\left(\mathsf{\text{0}}\right)=0\right\}$

and introduce the generalized metric on S:

$\mathsf{\text{d}}\left(g,\phantom{\rule{2.77695pt}{0ex}}h\right)=inf\phantom{\rule{2.77695pt}{0ex}}\left\{\mu \in {ℝ}_{+}:\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}\parallel g\left(x\right)-h\left(x\right){\parallel }_{Y}\phantom{\rule{2.77695pt}{0ex}}\le \mu \phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right),\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\forall x\in X\right\},$

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

Now we consider the linear mapping J : SS such that

$Jg\left(x\right):=\frac{1}{{\left(2-c-n\right)}^{2}}g\left(\left(2-c-n\right)x\right)$

for all x X.

Let g, h S be given such that d(g, h) = ε. Then,

$\parallel g\left(x\right)-h\left(x\right){\parallel }_{Y}\phantom{\rule{2.77695pt}{0ex}}\le \epsilon \phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)$

for all x X. Hence,

$\parallel Jg\left(x\right)-Jh\left(x\right){\parallel }_{Y}={∥\frac{g\left(\left(2-c-n\right)x\right)}{{\left(2-c-n\right)}^{2}}-\frac{h\left(\left(2-c-n\right)x\right)}{{\left(2-c-n\right)}^{2}}∥}_{Y}\le \alpha \in \phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)$

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

$\mathsf{\text{d}}\left(Jg,\phantom{\rule{2.77695pt}{0ex}}Jh\right)\le \alpha \mathsf{\text{d}}\left(g,\phantom{\rule{2.77695pt}{0ex}}h\right)$

for all g, h S.

It follows from (6) that $\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Jf\right)\le \frac{1}{|2-c-n{|}^{2}}$.

By Theorem 1.1, there exists a mapping Q : XY satisfying the following:

1. (1)

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

$Q\left(\left(2-c-n\right)x\right)={\left(2-c-n\right)}^{2}Q\left(x\right)$
(7)

for all x X. The mapping Q is a unique fixed point of J in the set

$M=\left\{g\in S:\mathsf{\text{d}}\left(h,\phantom{\rule{2.77695pt}{0ex}}g\right)<\infty \right\}.$

This implies that Q is a unique mapping satisfying (7) such that there exists a μ (0, ∞) satisfying

$\parallel f\left(x\right)-Q\left(x\right){\parallel }_{Y}\le \mu \phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)$

for all x X;

2. (2)

d(J n f, Q) → 0 as n → ∞. This implies the equality

$\underset{m\to \infty }{\mathrm{lim}}\frac{1}{{\left(2-c-n\right)}^{2m}}g\left({\left(2-c-n\right)}^{m}x\right)=Q\left(x\right)$

for all x X;

3. (3)

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Q\right)\le \frac{1}{1-\alpha }\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Jf\right)$, which implies the inequality

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Q\right)\le \frac{1}{|2-c-n{|}^{2}-|2-c-n{|}^{2}\alpha }.$

This implies that the inequality (4) holds.

It follows from (2) and (3) that

for all x 1, ..., x n X with x 2 x i . So Q satisfies (1) for all x 1, ..., x n X with x 2 x i . Hence, Q : XY is a unique orthogonally quadratic mapping satisfying (1), as desired.   □

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

Corollary 2.1. Let θ be a positive real number and p a real number with 0 < p < 1. Let f : XY be a mapping with f(0) = 0 and satisfying

(8)

for all x 1, ..., x n X with x 2 x i . Then there exists a unique orthogonally quadratic mapping Q : XY such that

$\parallel f\left(x\right)-Q\left(x\right)\parallel \phantom{\rule{2.77695pt}{0ex}}=\left\{\begin{array}{cc}\hfill \frac{|2-c-n{|}^{p}\theta \parallel x{||}^{p}}{|2-c-n{|}^{2+p}-|2-c-n{|}^{3}}\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}|2-c-n|\phantom{\rule{2.77695pt}{0ex}}<1\hfill \\ \hfill \frac{\theta \parallel x{\parallel }^{p}}{|2-c-n{|}^{2}-|2-c-n{|}^{p+1}}\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}|2-c-n|\phantom{\rule{2.77695pt}{0ex}}>1\hfill \end{array}\right\.$

for all x X.

Proof. The proof follows from Theorem 2.1 by taking $\phi \left({x}_{1},\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)=\theta \left({\sum }_{i=1}^{n}\parallel {x}_{i}{\parallel }^{p}\right)$ for all x 1, ..., x n X with x 2 x i . Then, we can choose

$\alpha =\left\{\begin{array}{cc}\hfill |2-c-n{|}^{1-p}\hfill & \hfill \mathsf{\text{if}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}|2-c-n|\phantom{\rule{2.77695pt}{0ex}}<1\hfill \\ \hfill |2-c-n{|}^{p-1}\hfill & \hfill \mathsf{\text{if}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}|2-c-n|\phantom{\rule{2.77695pt}{0ex}}>1\hfill \end{array}\right\.$

and we get the desired result.   □

Theorem 2.2. Let f : XY be a mapping with f(0) = 0 and satisfying (3) for which there exists a function φ : X n → [0, ∞) such that

$\phi \left({x}_{1},\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)\le \frac{\alpha \phi \left(\left(2-c-n\right){x}_{1},\dots ,\left(2-c-n\right){x}_{n}\right)}{|2-c-n{|}^{2}}$

for all x 1, ..., x n X with x 2 x i and fixed positive real number c. Then there exists a unique orthogonally quadratic mapping Q : XY such that

$\parallel f\left(x\right)-Q\left(x\right){\parallel }_{Y}\le \frac{\alpha \phi \left(0,x,0,\dots ,0\right)}{|2-c-n{|}^{2}-|2-c-n{|}^{2}\alpha }$
(9)

for all x X.

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

Now we consider the linear mapping J : SS such that

$Jg\left(x\right):={\left(2-c-n\right)}^{2}g\left(\frac{x}{2-c-n}\right)$

for all x X. Let g, h S be given such that d(g, h) = ε. Then,

$\parallel g\left(x\right)-h\left(x\right){\parallel }_{Y}\phantom{\rule{2.77695pt}{0ex}}\le \epsilon \phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)$

for all x X. Hence,

$\begin{array}{ll}\hfill \parallel Jg\left(x\right)-Jh\left(x\right){\parallel }_{Y}& ={∥{\left(2-c-n\right)}^{2}g\left(\frac{x}{2-c-n}\right)-{\left(2-c-n\right)}^{2}h\left(\frac{x}{2-c-n}\right)∥}_{Y}\phantom{\rule{2em}{0ex}}\\ \le \phantom{\rule{2.77695pt}{0ex}}|2-c-n{|}^{2}{∥g\left(\frac{x}{2-c-n}\right)-h\left(\frac{x}{2-c-n}\right)∥}_{Y}\phantom{\rule{2em}{0ex}}\\ \le \phantom{\rule{2.77695pt}{0ex}}|2-c-n{|}^{2}\phi \left(0,\phantom{\rule{2.77695pt}{0ex}}\frac{x}{2-c-n},\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)\phantom{\rule{2em}{0ex}}\\ \le \phantom{\rule{2.77695pt}{0ex}}|2-c-n{|}^{2}\frac{\alpha \epsilon }{|2-c-n{|}^{2}}\phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)\phantom{\rule{2em}{0ex}}\\ =\alpha \epsilon \phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)\phantom{\rule{2em}{0ex}}\end{array}$

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

$\mathsf{\text{d}}\left(Jg,\phantom{\rule{2.77695pt}{0ex}}Jh\right)\le \alpha \mathsf{\text{d}}\left(g,\phantom{\rule{2.77695pt}{0ex}}h\right)$

for all g, h S.

It follows from (5) that

$\begin{array}{ll}\hfill {∥f\left(x\right)-{\left(2-c-n\right)}^{2}f\left(\frac{x}{2-c-n}\right)∥}_{Y}\phantom{\rule{2.77695pt}{0ex}}& \le \phantom{\rule{2.77695pt}{0ex}}\phi \left(0,\phantom{\rule{2.77695pt}{0ex}}\frac{x}{2-c-n},\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)\phantom{\rule{2em}{0ex}}\\ \le \phantom{\rule{2.77695pt}{0ex}}\frac{\alpha }{|2-c-n{|}^{2}}\phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right).\phantom{\rule{2em}{0ex}}\end{array}$

So

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Jf\right)\le \frac{\alpha }{|2-c-n{|}^{2}}.$

By Theorem 1.1, there exists a mapping Q : XY satisfying the following:

1. (1)

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

$Q\left(\frac{x}{2-c-n}\right)=\frac{1}{{\left(2-c-n\right)}^{2}}Q\left(x\right)$
(10)

for all x X. The mapping Q is a unique fixed point of J in the set

$M=\left\{g\in S:\mathsf{\text{d}}\left(h,\phantom{\rule{2.77695pt}{0ex}}g\right)<\infty \right\}.$

This implies that Q is a unique mapping satisfying (10) such that there exists a μ (0, ∞) satisfying

$\parallel f\left(x\right)-Q\left(x\right){\parallel }_{Y}\phantom{\rule{2.77695pt}{0ex}}\le \mu \phi \left(0,\phantom{\rule{2.77695pt}{0ex}}x,\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}0\right)$

for all x X;

2. (2)

d(J n f, Q) → 0 as n → ∞. This implies the equality

$\underset{m\to \infty }{lim}{\left(2-c-n\right)}^{2m}g\left(\frac{x}{{\left(2-c-n\right)}^{m}}\right)=Q\left(x\right)$

for all x X;

3. (3)

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Q\right)\le \frac{1}{1-\alpha }\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Jf\right)$, which implies the inequality

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Q\right)\le \frac{\alpha }{|2-c-n{|}^{2}-|2-c-n{|}^{2}\alpha }.$

This implies that the inequality (9) holds.

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

Corollary 2.2. Let θ be a positive real number and p a real number with p > 1. Let f : XY be a mapping with f(0) = 0 and satisfying (8). Then there exists a unique orthogonally quadratic mapping Q : XY such that

$\parallel f\left(x\right)-Q\left(x\right)\parallel \phantom{\rule{2.77695pt}{0ex}}=\left\{\begin{array}{cc}\hfill \frac{|2-c-n{|}^{p}\theta ||x{||}^{p}}{|2-c-n{|}^{3}-|2-c-n{|}^{2+p}}\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}|2-c-n|<1\hfill \\ \hfill \frac{|2-c-n|\theta ||x{\parallel }^{p}}{|2-c-n{|}^{p+2}-|2-c-n{|}^{3}}\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}|2-c-n|>1\hfill \end{array}\right\.$

for all x X.

Proof. The proof follows from Theorem 2.2 by taking $\phi \left({x}_{1},\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)=\theta \left({\sum }_{i=1}^{n}\parallel {x}_{i}{\parallel }^{p}\right)$ for all x 1, ..., x n X with x 2 x i . Then, we can choose

$\alpha =\left\{\begin{array}{cc}\hfill |2-c-n{|}^{p-1}\hfill & \hfill \mathsf{\text{if}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}|2-c-n|\phantom{\rule{2.77695pt}{0ex}}<1\hfill \\ \hfill |2-c-n{|}^{1-p}\hfill & \hfill \mathsf{\text{if}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}|2-c-n|\phantom{\rule{2.77695pt}{0ex}}>1\hfill \end{array}\right\.$

and we get the desired result.   □

## 3. Fuzzy stability of the quadratic functional equation (1)

In this section, using the fixed point alternative approach, we prove the Hyers-Ulam stability of the functional equation (1) in fuzzy Banach spaces.

Throughout this section, assume that X is a vector space and that (Y, N) is a fuzzy Banach space. In the rest of the paper, let 2 - n - c > 1.

Theorem 3.1. Let φ : X n → [0, ∞) be a function such that there exists an α < 1 with

$\phi \left(\frac{{x}_{1}}{2-c-n},\dots ,\frac{{x}_{n}}{2-c-n}\right)\le \frac{\alpha }{{\left(2-c-n\right)}^{2}}\phi \left({x}_{1},\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)$
(11)

for all x 1, ..., x n X. Let f : XY be a mapping with f(0) = 0 and satisfying

(12)

for all x 1, ..., x n X and all t > 0. Then the limit

$Q\left(x\right)\phantom{\rule{2.77695pt}{0ex}}:=N-\underset{m\to \infty }{lim}{\left(2-c-n\right)}^{2m}f\left(\frac{x}{{\left(2-c-n\right)}^{m}}\right)$

exists for each x X and defines a unique quadratic mapping Q : XY such that

$N\left(f\left(x\right)-Q\left(x\right),\phantom{\rule{0.1em}{0ex}}t\right)\ge \frac{\left({\left(2-c-n\right)}^{2}-{\left(2-c-n\right)}^{2}\alpha \right)t}{\left({\left(2-c-n\right)}^{2}-{\left(2-c-n\right)}^{2}\alpha \right)t+\alpha \phi \left(0,x,0,\dots ,0\right)}.$
(13)

Proof. Putting x 2 = x and x 1 = x 3 = . . . = x n = 0 in (12), we have

$N\left(f\left(\left(2-c-n\right)x\right)-{\left(2-c-n\right)}^{2}f\left(x\right),t\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}$
(14)

for all x X and t > 0.

Replacing x by $\frac{x}{2-c-n}$ in (14), we obtain

$N\left(f\left(x\right)-{\left(2-c-n\right)}^{2}f\left(\frac{x}{2-c-n}\right),\phantom{\rule{2.77695pt}{0ex}}t\right)\ge \frac{t}{t+\phi \left(0,\frac{x}{2-c-n},0,\dots ,0\right)}.$
(15)

for all y X and t > 0.

By (15), we have

$N\left(f\left(x\right)-{\left(2-c-n\right)}^{2}f\left(\frac{x}{2-c-n}\right),\frac{\alpha t}{{\left(2-c-n\right)}^{2}}\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}.$
(16)

Consider the set

$S:=\left\{g:X\to Y;g\left(0\right)=0\right\}$

and the generalized metric d in S defined by

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}g\right)=\underset{\mu \in {ℝ}^{+}}{inf}\left\{N\left(g\left(x\right)-h\left(x\right),\phantom{\rule{2.77695pt}{0ex}}\mu t\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)},\phantom{\rule{2.77695pt}{0ex}}\forall x\in X,\phantom{\rule{2.77695pt}{0ex}}t>0\right\},$

where inf = +∞. It is easy to show that (S, d) is complete (see [[61], Lemma 2.1]).

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

$Jg\left(x\right):={\left(2-c-n\right)}^{2}g\left(\frac{x}{2-c-n}\right)$

for all x X. Let g, h S satisfy d(g, h) = ϵ. Then,

$N\left(g\left(x\right)-h\left(x\right),\phantom{\rule{2.77695pt}{0ex}}\epsilon t\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}$

for all x X and t > 0. Hence,

$\begin{array}{c}N\left(Jg\left(x\right)-Jh\left(x\right),\phantom{\rule{2.77695pt}{0ex}}\alpha \epsilon t\right)\\ =N\left({\left(2-c-n\right)}^{2}g\left(\frac{x}{2-c-n}\right)-{\left(2-c-n\right)}^{2}h\left(\frac{x}{2-c-n}\right),\phantom{\rule{2.77695pt}{0ex}}\alpha \epsilon t\right)\\ =N\left(g\left(\frac{x}{2-c-n}\right)-h\left(\frac{x}{2-c-n}\right),\phantom{\rule{2.77695pt}{0ex}}\frac{\alpha \epsilon t}{{\left(2-c-n\right)}^{2}}\right)\\ \ge \frac{\frac{\alpha t}{{\left(2-c-n\right)}^{2}}}{\frac{\alpha t}{{\left(2-c-n\right)}^{2}}+\phi \left(0,\frac{x}{2-c-n},0,\dots ,0\right)}\\ \ge \frac{\frac{\alpha t}{{\left(2-c-n\right)}^{2}}}{\frac{\alpha t}{{\left(2-c-n\right)}^{2}}+\frac{\alpha }{{\left(2-c-n\right)}^{2}}\phi \left(0,x,0,\dots ,0\right)}\\ =\frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}\end{array}$

for all x X and t > 0. Thus, d(g, h) = ϵ implies that d(Jg, Jh) ≤ αϵ. This means that

$\mathsf{\text{d}}\left(Jg,\phantom{\rule{2.77695pt}{0ex}}Jh\right)\le \alpha \mathsf{\text{d}}\left(g,\phantom{\rule{2.77695pt}{0ex}}h\right)$

for all g, h S. It follows from (16) that

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Jf\right)\le \frac{\alpha }{{\left(2-c-n\right)}^{2}}$

By Theorem 1.1, there exists a mapping Q : XY satisfying the following:

1. (1)

Q is a fixed point of J, that is,

$Q\left(\frac{x}{2-c-n}\right)=\frac{1}{{\left(2-c-n\right)}^{2}}Q\left(x\right)$
(17)

for all x X. The mapping Q is a unique fixed point of J in the set

$\Omega =\left\{h\in S:\mathsf{\text{d}}\left(g,\phantom{\rule{2.77695pt}{0ex}}h\right)<\infty \right\}.$

This implies that Q is a unique mapping satisfying (17) such that there exists μ (0, ∞) satisfying

$N\left(f\left(x\right)-Q\left(x\right),\phantom{\rule{2.77695pt}{0ex}}\mu t\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}$

for all x X and t > 0.

2. (2)

d(J m f, Q) → 0 as m → ∞. This implies the equality

for all x X.

3. (3)

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Q\right)\le \frac{\mathsf{\text{d}}\left(f,Jf\right)}{1-\alpha }$ with f Ω, which implies the inequality

$\mathsf{\text{d}}\left(f,\phantom{\rule{2.77695pt}{0ex}}Q\right)\le \frac{\alpha }{{\left(2-c-n\right)}^{2}\left(1-\alpha \right)}.$

This implies that the inequality (13) holds.

Using (11) and (12), we obtain

$\begin{array}{l}N{\left(2-c-n\right)}^{2m}\left[cf\left(\sum _{i=1}^{n}\frac{{x}_{i}}{{\left(2-c-n\right)}^{m}}\right)+\sum _{j=2}^{n}f\left(\sum _{i=1}^{n}\frac{{x}_{i}}{{\left(2-c-n\right)}^{m}}-\frac{\left(n+c-1\right){x}_{j}}{{\left(2-c-n\right)}^{m}}\right)\\ -\left(n+c-1\right)\left(f\left(\frac{{x}_{1}}{{\left(2-c-n\right)}^{m}}\right)+c\sum _{i=2}^{n}f\left(\frac{{x}_{i}}{{\left(2-c-n\right)}^{m}}\right)\\ +\sum _{i
(18)

for all x 1, ..., x n X, t > 0 and all n .

So by (11) and (18), we have

for all x 1, ..., x n X, t > 0 and all n . Since

$\underset{n\to \infty }{lim}\frac{\frac{t}{{\left(2-c-n\right)}^{2m}}}{\frac{t}{{\left(2-c-n\right)}^{2m}}+\frac{{\alpha }^{m}}{{\left(2-c-n\right)}^{2m}}\phi \left({x}_{1},\dots ,{x}_{n}\right)}=1$

for all x 1, ..., x n X and all t > 0, we deduce that

for all x 1, ..., x n X and all t > 0. Thus the mapping Q : XY satisfying (1), as desired. This completes the proof.   □

Corollary 3.1. Let θ ≥ 0 and let r be a real number with r > 1. Let X be a normed vector space with norm || · ||. Let f : XY be a mapping with f(0) = 0 and satisfying

(19)

for all x 1, ..., x n X and all t > 0. Then

$Q\left(x\right)\phantom{\rule{2.77695pt}{0ex}}:=N-\underset{m\to \infty }{lim}{\left(2-n-c\right)}^{2m}f\left(\frac{x}{{\left(2-n-c\right)}^{m}}\right)$

exists for each x X and defines a unique quadratic mapping Q : XY such that

$N\left(f\left(x\right)-Q\left(x\right),t\right)\ge \frac{\left({\left(2-c-n\right)}^{2r}-{\left(2-c-n\right)}^{2}\right)t}{\left({\left(2-c-n\right)}^{2r}-{\left(2-c-n\right)}^{2}\right)t+\theta \parallel x{\parallel }^{r}}$

for all x X and all t > 0.

Proof. The proof follows from Theorem 3.1 by taking

$\phi \left({x}_{1},\dots ,{x}_{n}\right):=\theta \left(\sum _{i=1}^{n}\parallel {x}_{i}{\parallel }^{r}\right)$

for all x 1, ..., x n X. Then, we can choose α = (2 - c - n)2-2rand we get the desired result.   □

Theorem 3.2. Let φ : X n → [0, ∞) be a function such that there exists an α < 1 with

$\phi \left(\left(2-c-n\right){x}_{1},\dots ,\left(2-c-n\right){x}_{n}\right)\le {\left(2-c-n\right)}^{2}\alpha \phi \left({x}_{1},\dots ,{x}_{n}\right)$
(20)

for all x 1, ..., x n X. Let f : XY be a mapping with f(0) = 0 and satisfying (12). Then the limit

$Q\left(x\right):=N-\underset{m\to \infty }{\mathrm{lim}}\frac{f\left({\left(2-c-n\right)}^{m}x\right)}{{\left(2-c-n\right)}^{2m}}$

exists for each x X and defines a unique quadratic mapping Q : XY such that

$N\left(f\left(x\right)-Q\left(x\right),t\right)\ge \frac{{\left(2-c-n\right)}^{2}\left(1-\alpha \right)t}{{\left(2-c-n\right)}^{2}\left(1-\alpha \right)t+\phi \left(0,x,0,\dots ,0\right)}$
(21)

Proof. Let (S, d) be the generalized metric space defined as in the proof of Theorem 3.1. Consider the linear mapping J : SS such that

$Jg\left(x\right):=\frac{1}{{\left(2-c-n\right)}^{2}}g\left(\left(2-c-n\right)x\right)$

for all x X. Let g, h S be such that d(g, h) = ϵ. Then,

$N\left(g\left(x\right)-h\left(x\right),\epsilon t\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}$

for all x X and t > 0. Hence,

$\begin{array}{c}N\left(Jg\left(x\right)-Jh\left(x\right),\alpha \epsilon t\right)=N\left(\frac{g\left(\left(2-c-n\right)x\right)}{{\left(2-c-n\right)}^{2}}-\frac{h\left(\left(2-c-n\right)x\right)}{{\left(2-c-n\right)}^{2}},\alpha \epsilon t\right)\\ =N\left(g\left(\left(2-c-n\right)x\right)-h\left(\left(2-c-n\right)x\right),{\left(2-c-n\right)}^{2}\alpha \epsilon t\right)\\ \ge \frac{{\left(2-c-n\right)}^{2}\alpha t}{{\left(2-c-n\right)}^{2}\alpha t+{\left(2-c-n\right)}^{2}\alpha \phi \left(0,x,0,\dots ,0\right)}\\ =\frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}\end{array}$

for all x X and t > 0. Thus, d(g, h) = ϵ implies that d(Jg, Jh) ≤ αϵ. This means that

$\mathsf{\text{d}}\left(Jg,Jh\right)\le \alpha \mathsf{\text{d}}\left(g,h\right)$

for all g, h S.

It follows from (14) that

$N\left(\frac{f\left(\left(2-c-n\right)x\right)}{{\left(2-c-n\right)}^{2}}-f\left(x\right),\frac{t}{{\left(2-c-n\right)}^{2}}\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}$

for all x X and t > 0. So $\mathsf{\text{d}}\left(f,Jf\right)\le \frac{1}{{\left(2-c-n\right)}^{2}}$.

By Theorem 1.1, there exists a mapping Q : XY satisfying the following:

1. (1)

Q is a fixed point of J, that is,

${\left(2-c-n\right)}^{2}Q\left(x\right)=Q\left(\left(2-c-n\right)x\right)$
(22)

for all x X. The mapping Q is a unique fixed point of J in the set

$\Omega =\left\{h\in S:\mathsf{\text{d}}\left(g,h\right)<\infty \right\}.$

This implies that Q is a unique mapping satisfying (22) such that there exists μ (0, ∞) satisfying

$N\left(f\left(x\right)-Q\left(x\right),\mu t\right)\ge \frac{t}{t+\phi \left(0,x,0,\dots ,0\right)}$

for all x X and t > 0.

2. (2)

d(J m f, Q) → 0 as m → ∞. This implies the equality

$\underset{m\to \infty }{\mathrm{lim}}N-\frac{f\left({\left(2-c-n\right)}^{m}x\right)}{{\left(2-c-n\right)}^{2m}}=Q\left(x\right)$

for all x X.

3. (3)

$\mathsf{\text{d}}\left(f,Q\right)\le \frac{\mathsf{\text{d}}\left(f,Jf\right)}{1-\alpha }$ with f Ω, which implies the inequality

$\mathsf{\text{d}}\left(f,Q\right)\le \frac{1}{{\left(2-c-n\right)}^{2}\left(1-\alpha \right)}.$

This implies that the inequality (21) holds.

The rest of the proof is similar to that of the proof of Theorem 3.1.   □

Corollary 3.2. Let θ ≥ 0 and let r be a real number with 0 < r < 1. Let X be a normed vector space with norm || · ||. Let f : XY be a mapping with f(0) = 0 and satisfying (19). Then the limit

$Q\left(x\right):=N-\underset{m\to \infty }{\mathrm{lim}}\frac{f\left({\left(2-c-n\right)}^{m}x\right)}{{\left(2-c-n\right)}^{2m}}$

exists for each x X and defines a unique quadratic mapping Q : XY such that

$N\left(f\left(x\right)-Q\left(x\right),t\right)\ge \frac{\left({\left(2-c-n\right)}^{2}-{\left(2-c-n\right)}^{2r}\right)t}{\left({\left(2-c-n\right)}^{2}-{\left(2-c-n\right)}^{2r}\right)t+\theta \parallel x{\parallel }^{r}}.$

for all x X and all t > 0.

Proof. The proof follows from Theorem 3.2 by taking

$\phi \left({x}_{1},\dots ,{x}_{n}\right):=\theta \left(\sum _{i=1}^{n}\parallel {x}_{i}{\parallel }^{r}\right)$

for all x 1, ..., x n X. Then, we can choose α = (2 - c - n)2r-2and we get the desired result.   □

## References

1. Hensel K: Ubereine news Begrundung der Theorie der algebraischen Zahlen. Jahresber Deutsch Math Verein 1897, 6: 83-88.

2. Deses D: On the representation of non-Archimedean objects. Topol Appl 2005, 153: 774-785. 10.1016/j.topol.2005.01.010

3. Katsaras AK, Beoyiannis A: Tensor products of non-Archimedean weighted spaces of continuous functions. Georgian Math J 1999, 6: 33-44. 10.1023/A:1022926309318

4. Khrennikov A: Non-Archimedean Analysis: Quantum Paradoxes, Dynamical Systems and Biological Models. In Mathematics and it's Applications. Volume 427. Kluwer Academic Publishers, Dordrecht; 1997.

5. Nyikos PJ: On some non-Archimedean spaces of Alexandrof and Urysohn. Topol Appl 1999, 91: 1-23. 10.1016/S0166-8641(97)00239-3

6. Pinsker AG: Sur une fonctionnelle dans l'espace de Hilbert. C R (Dokl) Acad Sci URSS, n Ser 1938, 20: 411-414.

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

8. Gudder S, Strawther D: Orthogonally additive and orthogonally increasing functions on vector spaces. Pacific J Math 1975, 58: 427-436.

9. Rätz J: On orthogonally additive mappings. Aequationes Math 1985, 28: 35-49. 10.1007/BF02189390

10. Rätz J, Szabó Gy: On orthogonally additive mappings IV . Aequationes Math 1989, 38: 73-85. 10.1007/BF01839496

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

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

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

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

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

16. James RC: Orthogonality in normed linear spaces. Duke Math J 1945, 12: 291-302. 10.1215/S0012-7094-45-01223-3

17. James RC: Orthogonality and linear functionals in normed linear spaces. Trans Amer Math Soc 1947, 61: 265-292. 10.1090/S0002-9947-1947-0021241-4

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

19. Hyers DH: On the stability of the linear functional eq. Proc Natl Acad Sci USA 1941, 27: 222-224. 10.1073/pnas.27.4.222

20. Rassias ThM: On the stability of the linear mapping in Banach spaces. Proc Amer Math Soc 1978, 72: 297-300. 10.1090/S0002-9939-1978-0507327-1

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

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

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

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

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

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

27. Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh Math Sem Univ Hamburg 1992, 62: 59-64. 10.1007/BF02941618

28. Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific Publishing Company, New Jersey, London, Singapore and Hong Kong; 2002.

29. 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/10236190600986925

30. Rassias JM: Solution of the Ulam stability problem for quartic mappings. Glas Mat Ser III 1999,34(54):243-252.

31. Rassias JM: Solution of the Ulam stability problem for cubic mappings. Glas Mat Ser III 2001,36(56):63-72.

32. Rassias ThM: The problem of S.M. Ulam for approximately multiplicative mappings. J Math Anal Appl 2000, 246: 352-378. 10.1006/jmaa.2000.6788

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

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

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

36. Szabó Gy: Sesquilinear-orthogonally quadratic mappings. Aequationes Math 1990, 40: 190-200. 10.1007/BF02112295

37. Paganoni P, Rätz J: Conditional function equations and orthogonal additivity. Aequationes Math 1995, 50: 135-142. 10.1007/BF01831116

38. Kenary HA: Non-Archimedean stability of Cauchy-Jensen type functional equation. Int J Nonlinear Anal Appl 2010, 1: 1-10.

39. Kenary HA, Shafaat Kh, Shafei M, Takbiri G: Hyers-Ulam-Rassias stability of the Appollonius quadratic mapping in RN-spaces. J Nonlinear Sci Appl 2011, 4: 110-119.

40. Cădariu L, Radu V: On the stability of the Cauchy functional equation: a fixed point approach. Grazer Math Ber 2004, 346: 43-52.

41. 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: 15. Art. ID 749392

42. Eshaghi Gordji M, Bavand Savadkouhi M: Stability of mixed type cubic and quartic functional equations in random normed spaces. J Inequal Appl 2009, 2009: 9. Art. ID 527462

43. Eshaghi Gordji M, Bavand Savadkouhi M, Park C: Quadratic-quartic functional equations in RN -spaces. J Inequal Appl 2009, 2009: 14. Art. ID 868423

44. Eshaghi-Gordji M, Kaboli-Gharetapeh S, Park C, Zolfaghri S: Stability of an additive-cubic-quartic functional equation. Adv Diff Equ 2009, 2009: 20. Art. ID 395693

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

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

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

48. Park C: Fixed points and Hyers-Ulam-Rassias stability of Cauchy-Jensen functional equations in Banach algebras. Fixed Point Theory Appl 2007, 2007: 15. Art. ID 50175

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

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

51. Schin SW, Ki D, Chang JC, Kim MJ: Random stability of quadratic functional equations: A fixed point approach. J Nonlinear Sci Appl 2011, 4: 37-49.

52. Katsaras AK: Fuzzy topological vector spaces. Fuzzy Sets Syst 1984, 12: 143-154. 10.1016/0165-0114(84)90034-4

53. Bag T, Samanta SK: Finite dimensional fuzzy normed linear spaces. J Fuzzy Math 2003, 11: 687-705.

54. Cheng SC, Mordeson JN: Fuzzy linear operators and fuzzy normed linear spaces. Bull Calcutta Math Soc 1994, 86: 429-436.

55. Karmosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kybernetica 1975, 11: 326-334.

56. Bag T, Samanta SK: Fuzzy bounded linear operators. Fuzzy Sets Syst 2005, 151: 523-547.

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

58. Mirmostafaee AK, Mirzavaziri M, Moslehian MS: Fuzzy stability of the Jensen functional equation. Fuzzy Sets Syst 2008, 159: 730-738. 10.1016/j.fss.2007.07.011

59. Cădariu L, Radu V: Fixed points and the stability of Jensen's functional equation. J Inequal Pure Appl Math 2003,4(1):15. Art. ID 4

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

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

## Author information

Authors

### Corresponding author

Correspondence to Choonkil Park.

### 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

Kenary, H.A., Park, C., Rezaei, H. et al. Stability of a generalized quadratic functional equation in various spaces: a fixed point alternative approach. Adv Differ Equ 2011, 62 (2011). https://doi.org/10.1186/1687-1847-2011-62

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1847-2011-62

### Keywords

• Hyers-Ulam stability
• fuzzy Banach space
• orthogonality
• non-Archimedean normed spaces
• fixed point method