Ulam Stability of a Functional Equation in Various Normed Spaces

In this note, we study the Ulam stability of a general functional equation in four variables. Since its particular case is a known equation characterizing the so-called bi-quadratic mappings (i.e., mappings which are quadratic in each of their both arguments), we get in consequence its stability, too. We deal with the stability of the considered functional equations not only in classical Banach spaces, but also in 2-Banach and complete non-Archimedean normed spaces. To obtain our outcomes, the direct method is applied.


Introduction
Let us recall that one of the most known and prominent functional equations is the quadratic equation q(x + y) + q(x − y) = 2q(x) + 2q(y). (1) This functional equation, which is also called the Jordan-von Neumann equation, is useful, among others, in some characterizations of inner product spaces. For more information about it and its applications we refer the reader to, for example, [1,2]. Let us finally mention that by a quadratic mapping we mean each solution of Equation (1). Let X and Y be linear spaces over fields F and K, respectively. Assume, moreover, that a 1 , a 2 , a 3 , a 4 , b 1 , b 2 , b 3 , b 4 ∈ F and C 11 , C 12 , C 21 , C 22 ∈ K are given scalars.
We consider the following functional equation in four variables where f : X 2 → Y and x 1 , x 2 , y 1 , y 2 ∈ X.
which was investigated in [3]. This equation characterizes the so-called bi-quadratic mappings, i.e., functions f : X 2 → Y which are quadratic in each of their arguments.
The question about an error we commit replacing an object possessing some properties by an object fulfilling them only approximately is natural and interesting in many scientific investigations. To deal with it one can use the notion of the Ulam stability.
As it is well-known, the problem of the stability of homomorphisms was posed by S.M. Ulam in 1940. A year later, its solution in the case of Banach spaces (let us mention here that Ulam asked about metric groups) was presented by D.H. Hyers. Another very important example is a question concerning the stability of isometries. This problem was investigated for instance in [4][5][6][7] (see also [8] for more information and references on this subject).
Let us recall that an equation is called Ulam stable provided, roughly speaking, each mapping fulfilling our equation "approximately" is "near" to its actual solution.
In recent years, the Ulam type stability of various objects has been studied by many researchers (for more information on this notion as well as its applications we refer the reader to [1,[8][9][10][11][12][13]). In particular, the stability of Equation (3) was investigated in [3].
In this note, the Ulam stability of Equation (2) is shown. Moreover, we apply our main results (Theorems 1 and 2) to get some stability outcomes on functional Equation (3).
Let us finally mention that as the concept of the nearness of two mappings may be obviously understood in various ways, we deal with the stability of the mentioned functional equations in three types of spaces. Let us also point out that in two of them non-standard measures of the distance occur (the ones given by a 2-norm and a non-Archimedean norm, respectively).
In what follows, N stands, as usual, for the set of all positive integers and we put N 0 := N ∪ {0}.

Results
In this section, we present our main results. Roughly speaking, they show that Equation (2) is Ulam stable in three classes of spaces.

Stability in Banach Spaces
We start with Banach spaces.

Theorem 1.
Assume that Y is a Banach space, ε > 0 and (4) for x 1 , x 2 , y 1 , y 2 ∈ X, then there is a mapping F : X 2 → Y fulfilling Equation (2) and Proof. Put Let us first note that (5) and (6) with x 2 = x 1 and y 2 = y 1 give and consequently and thus for each (x 1 , is a Cauchy sequence. Using the fact that Y is a Banach space we conclude that this sequence is convergent, which allows us to define Putting now l = 0 and letting p → ∞ in (9) we see that i.e., condition (7) is satisfied. Let us next observe that from (6) we get for x 1 , x 2 , y 1 , y 2 ∈ X and k ∈ N 0 . Letting now k → ∞ and applying definition (10) we deduce that for x 1 , x 2 , y 1 , y 2 ∈ X, and thus we see that the mapping F : X 2 → Y is a solution of functional Equation (2).

Stability in 2-Banach Spaces
Next, we deal with 2-Banach spaces.
Let us recall (see for example [14,15]) that the a 2-normed space was defined by S. Gähler in 1964. Assume that X is an at least two-dimensional real linear space. We say that a mapping ·, · : X × X → [0, ∞) is a 2-norm provided it satisfies the following four conditions: x, y = 0 ⇐⇒ x and y are linearly dependent, x, y = y, x , x, y + z ≤ x, y + x, z , αx, y = |α| x, y for any α ∈ R, x, y, z ∈ X. By a linear 2-normed space we mean a pair (X, ·, · ). Now, we quote some useful definitions and a few known properties of 2-norms. Let (x k ) k∈N be a sequence of elements of a linear 2-normed space (X, ·, · ). It is said to be a Cauchy sequence if there exist linearly independent y, z ∈ X with lim n,m→∞ On the other hand, (x n ) n∈N is called convergent provided there is an x ∈ X for which lim k→∞ x k − x, y = 0, y ∈ X.
In the latter case we say that the element x is the limit of the sequence (x k ) k∈N and denote it by lim k→∞ x k . Obviously each convergent sequence possesses a unique limit. Moreover, the limit has the standard properties.
By a 2-Banach space we mean a linear 2-normed space such that each its Cauchy sequence is convergent.
We will also use the following known facts.

Remark 1.
Assume that (X, ·, · ) is a 2-normed space and (x k ) k∈N is a sequence of elements of X. Then: (i) if x ∈ X and x, y = 0, y ∈ X, Next, we show the Ulam stability of Equation (2). For some other recent stability outcomes on various functional equations in 2-Banach spaces we refer the reader to [14][15][16][17][18].
Proof. Let C be as in the proof of Theorem 1 and fix l, p ∈ N 0 with l < p. One can show that and therefore for each (x 1 , is a Cauchy sequence. By the fact that Y is a 2-Banach space we infer that this sequence is convergent, and thus we can define the function F : X 2 → Y by (10). Next, putting l = 0 and letting p → ∞ in (14), and using Remark 1 we see that which means that condition (13) is satisfied. Now, observe that by (12) we have for x 1 , x 2 , y 1 , y 2 ∈ X, z ∈ Y and k ∈ N 0 . Consequently, letting k → ∞ and using (10) and Remark 1 we finally conclude that the function F fulfils Equation (2).

Stability in Complete Non-Archimedean Normed Spaces
Finally, we will consider the case of complete non-Archimedean normed spaces. In order to do this, let us first recall (see for instance [10,14,19,20]) some basic definitions and facts concerning such spaces.
A field F equipped with a mapping | · | : F → [0, ∞), which is called a valuation, satisfying |r| = 0 ⇐⇒ r = 0, |rs| = |r||s|, r, s ∈ F and |r + s| ≤ max{|r|, |s|}, r, s ∈ F is said to be a non-Archimedean field. Let F be a field. The mapping | · | : F → [0, ∞) given by |x| := 0, x = 0, 1, x = 0 is a valuation, which is called trivial. However, the most important examples of non-Archimedean fields are p-adic numbers. The reason is that they appear in physicists' research connected with quantum physics, p-adic strings and superstrings. Let us also mention that in any non-Archimedean field we have Assume that X is a linear space over a non-Archimedean field F equipped with a non-trivial valuation | · |. A mapping · : X → [0, ∞) fulfilling the following conditions: is said to be a non-Archimedean norm. By a non-Archimedean normed space we mean a pair (X, · ). It is well-known that in any non-Archimedean normed space the mapping d : x, y ∈ X is a metric on X. Moreover, the addition, the scalar multiplication as well as the non-Archimedean norm are continuous functions. Let (x k ) k∈N be a sequence of elements of a non-Archimedean normed space. It is known that it is Cauchy if and only if We can now formulate our last outcome concerning the Ulam stability of Equation (2). Let us mention that some other results on the Ulam type stability of several functional equations in non-Archimedean spaces can be found for instance in [10,14,19,20].
Proof. Assume that C is as in the proof of Theorem 1.
Let us first note that inequality (8) is satisfied, and therefore (see the remarks before Theorem 3) for each (x 1 , y 1 ) ∈ X 2 , f ((2a 1 ) k x 1 ,(2b 1 ) k y 1 ) C k k∈N 0 is a Cauchy sequence. The fact that the space Y is complete now shows that this sequence is convergent, and thus we can define the mapping F : X 2 → Y by (10).
Letting now k → ∞ and applying definition (10) we conclude that condition (15) holds true. Finally, proceeding as in the proof of Theorem 1, we show that F is a solution of functional Equation (2). stability of various equations, not only the functional ones. More information and references both on them as well as on a few other efficient approaches to the Ulam stability of functional equations can be found, for instance, in [21].