On Ulam Stability of Functional Equations in 2-Normed Spaces—A Survey II

Abstract

Ulam stability is motivated by the following issue: how much an approximate solution of an equation differs from the exact solutions to the equation. It is connected to some other areas of investigation, e.g., optimization, approximation theory and shadowing. In this paper, we present and discuss the published results on such stability for functional equations in the classes of function-taking values in 2-normed spaces. In particular, we point to several pitfalls they contain and provide possible simple improvements to some of them. Thus we show that the easily noticeable symmetry between them and the analogous results proven for normed spaces is, in fact, mainly apparent. Our article complements the earlier similar review published in Symmetry (13(11), 2200) because it concerns the outcomes that have not been discussed in this earlier publication.

1. Introduction

The theory of stability in the sense of Ulam has become a popular subject of research, which goes in several directions and is somehow connected with issues studied in some other areas of mathematics, e.g., shadowing (see [1]), approximation theory and optimization. It mainly concerns various equations (difference, differential, integral, functional, etc.), and very roughly speaking, the following subject is investigated: how much an approximate solution to an equation differs from the exact solutions of it. It has been motivated by a problem formulated by Ulam in 1940 for the equation of group homomorphism, and the first answer to it was provided by Hyers in [2]. The question and the answer to it inspired many further papers, and we refer to [3,4,5] for further information on this subject.

It should be mentioned here that shortly after Hyers’ publication, a new wider approach in this area was suggested by T. Aoki [6]. The result of Aoki was later complemented in [7,8,9]. The main outcome that thus arose and is considered to be very representative of the Ulam stability reads as follows (see Theorem 3.5 of [10]).

Theorem 1.

Let W be a normed space, $W_0:=W\backslash \left\{0\right\}$, B be a Banach space and $\eta \ge 0$ and $r\ne 1$ be real numbers. Assume that $h:W\to B$ satisfies

$$\parallel h(x+y)-h\left(x\right)-h\left(y\right)\parallel \le {\eta (\parallel x\parallel }^r+{\parallel y\parallel }^r),x,y\in W_0.$$

(1)

Then there is a unique additive mapping $\alpha :W\to B$ with

$$\parallel h\left(x\right)-\alpha \left(x\right)\parallel \le \frac{{\eta \parallel x\parallel }^r}{|1-2^{r-1}|},x\in W_0.$$

(2)

Let us remember that a mapping $\alpha :W\to B$ is additive if it satisfies the Cauchy equation

$$\begin{array}{c}\hfill \alpha (x+y)=\alpha \left(x\right)+\alpha \left(y\right)\end{array}$$

(3)

for every $x,y\in W$ (here, W is a linear space as in Theorem 1).

Further, an example was provided in [9] showing that for $r=1$ an analogous result, as in Theorem 1, is not valid. Moreover, estimate (2) is optimal (see [11]) and, in the case $r<0$, each function $h:W\to B$ fulfilling (1) must be additive, and the completeness of B is not necessary for this situation (see Theorem 3.5 of [10] and [12]). For some examples of related results concerning the stability of modified versions of Equation (3) and their applications, we refer to [13].

The following abstract definition makes the notion of Ulam stability a bit more precise in the case of a general equation in k variables (${\mathbb{R}}_{+}$ denotes the set of nonnegative reals, and $A^B$ means a family of all functions mapping a set $B\ne \varnothing$ to a set $A\ne \varnothing$).

Definition 1.

Let $k\in \mathbb{N}$, $(E,\rho )$ be a metric space, $U\ne \varnothing$ be a set, ${\mathcal{D}}_0\subset \mathcal{D}\subset E^U$ and $\mathcal{V}\subset {\mathbb{R}}_{+}^{U^k}$ be nonempty, $\mathcal{S}:\mathcal{V}\to {\mathbb{R}}_{+}^U$, and ${\mathcal{F}}_1,{\mathcal{F}}_2:\mathcal{D}\to E^{U^k}$. The equation

$$\begin{array}{c}\hfill \left({\mathcal{F}}_1\psi \right)(t_1,\dots ,t_k)=\left({\mathcal{F}}_2\psi \right)(t_1,\dots ,t_k)\end{array}$$

(4)

is said to be $\mathcal{S}$-stable in ${\mathcal{D}}_0$ if, for any $\psi \in {\mathcal{D}}_0$ and $\delta \in \mathcal{V}$ with

$$\rho (\left({\mathcal{F}}_1\psi \right)(t_1,\dots ,t_k),\left({\mathcal{F}}_2\psi \right)(t_1,\dots ,t_k))\le \delta (t_1,\dots ,t_k),t_1,\dots ,t_k\in U,$$

there is a mapping $\varphi \in \mathcal{D}$ satisfying Equation (4) for all $t_1,\dots ,t_k\in U$ and such that $\rho \left(\varphi \right(t),\psi (t\left)\right)\le \left(\mathcal{S}\delta \right)\left(t\right)$ for $t\in U.$

If $\left(\mathcal{S}\delta \right)\left(t\right)=0$ for $\delta \in \mathcal{V}$ and $t\in U$, then we say that the equation is hyperstable in ${\mathcal{D}}_0$.

Note that Equation (4) is the Cauchy functional Equation (3) with $k=2$, $U=W$, $\left({\mathcal{F}}_1\alpha \right)(s,t)=\alpha (s+t)$ and $\left({\mathcal{F}}_2\alpha \right)(s,t)=\alpha \left(s\right)+\alpha \left(t\right)$ for $\alpha \in \mathcal{D}$ and $s,t\in U=W$.

Clearly, Theorem 1 states that for each real number $r\ne 1$, the Cauchy Equation (3) is $\mathcal{S}$-stable in ${\mathcal{D}}_0=\mathcal{D}=B^W$ with $\mathcal{S}:\mathcal{V}\to {\mathbb{R}}_{+}^U$ defined by

$$\left(\mathcal{S}{\delta }_{\eta }\right)\left(x\right):=\frac{1}{|2-2^r|}{\delta }_{\eta }(x,x)=\frac{{\eta \parallel x\parallel }^r}{|1-2^{r-1}|},{\delta }_{\eta }\in \mathcal{V},x\in W,$$

where

$${\delta }_{\eta }(x,y)={\eta (\parallel x\parallel }^r+{\parallel y\parallel }^r),x,y\in W,\eta \in {\mathbb{R}}_{+},$$

and

$$\mathcal{V}=\{{\delta }_{\eta }\in {\mathbb{R}}_{+}^{W\times W}:\eta \in {\mathbb{R}}_{+}\}.$$

However, if $r<0$, then a stronger property holds, i.e., the already mentioned result in [12] is valid, which states that Equation (3) is hyperstable in ${\mathcal{D}}_0=B^W$ (that is every $h:W\to B$ satisfying (1) is additive).

Very recently, a more precise outcome (but only for mappings taking values in the set of reals $\mathbb{R}$) has been proven in [14] using the technique of the Banach limit (as in [15]). Namely, the following has been obtained in Theorem 8 of [14] (cf. Remark 7 of [14]).

Theorem 2.

Let W be a normed space, $W_0:=W\backslash \left\{0\right\}$, $r,\mu ,\xi \in \mathbb{R}$, $r\ne 1$, and $\mu \le \xi$. Assume that $h:W\to \mathbb{R}$ satisfies the inequality

$$\begin{array}{c}\hfill {\mu (\parallel x\parallel }^r+{\parallel y\parallel }^r{)\le h(x+y)-h\left(x\right)-h\left(y\right)\le \xi (\parallel x\parallel }^r+{\parallel y\parallel }^r),x,y\in W_0.\end{array}$$

Then there is a unique additive mapping $\alpha :W\to \mathbb{R}$ such that, in the case $r<1$,

$$\begin{array}{c}\hfill \frac{\mu }{1-2^{r-1}}{\parallel x\parallel }^r\le \alpha \left(x\right)-h\left(x\right)\le \frac{\xi }{1-2^{r-1}}{\parallel x\parallel }^r,x\in W_0,\end{array}$$

(5)

and, in the case $r>1$,

$$\begin{array}{c}\hfill \frac{\mu }{2^{r-1}-1}{\parallel x\parallel }^r\le h\left(x\right)-\alpha \left(x\right)\le \frac{\xi }{2^{r-1}-1}{\parallel x\parallel }^r,x\in W_0.\end{array}$$

(6)

Moreover, if h is continuous at some point, then α is continuous.

Certainly, condition (1) can be replaced by various other inequalities of the form

$$\parallel h(x+y)-h\left(x\right)-h\left(y\right)\parallel \le \varphi (x,y),x,y\in W,$$

(7)

and we should mention here that, for instance, the inequality

$$\parallel h(x+y)-h\left(x\right)-h\left(y\right)\parallel \le {\eta \parallel x\parallel }^p{\parallel y\parallel }^q,x,y\in W\backslash \left\{0\right\},$$

(8)

with $p,q\in \mathbb{R}$ and $\eta >0$, was studied in [16,17] (see also [18]). Moreover, the stability of numerous other equations has been investigated in various ways, and we refer to [3,4,5,19] for more details and examples.

Very roughly, we can say (see Definition 1) that an equation is Ulam stable if, for every mapping fulfilling the equation approximately (in some sense), there is an accurate solution of the equation that is close to this mapping (in some way).

Clearly, the notions of an approximate solution and of the closeness of two mappings can be understood in different ways. Therefore, considering the Ulam stability for various ways of measuring distance makes sense. One non-classical distance-measuring method can be introduced by the concept of 2-norms, which was proposed in 1964 by Gähler (see [20,21]). Let us mention that a natural generalization of this concept is n-normed space (see, e.g., [22,23]), i.e., the 2-normed space is n-normed space with $n=2$. However, in this article, we limit ourselves only to the case of 2-normed spaces due to the large amount of material we present.

In this paper, we complement the content of [23], where the (less complicated) results from [24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39] have been surveyed. Here, we present and discuss the (more involved) outcomes on Ulam stability in 2-normed spaces provided in [40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58].

Some information on the solutions to functional equations considered in this paper can be found in monographs [59,60,61,62].

Let us also add here that in this paper, $\mathbb{R}$ denotes a set of real numbers, ${\mathbb{R}}_0:=\mathbb{R}\backslash \left\{0\right\}$, $\mathbb{Q}$ denotes a set of rational numbers, $\mathbb{N}$ stands for the set of positive integers and ${\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$.

2. 2-Normed Spaces

The notion of 2-normed spaces was introduced by Gähler (see, e.g., [21,63]). We present this concept in a somewhat generalized form.

To avoid any ambiguities, let us start with definitions of the notions that we use.

Definition 2.

Given a field $\mathbb{K}$, we say that a mapping $|·|:\mathbb{K}\to {\mathbb{R}}_{+}$ is a valuation in $\mathbb{K}$ if, for all $a,b\in \mathbb{K}$,

(a) 

$\left|a\right|=0$ if and only if $a=0$;

(b) 

$\left|ab\right|=\left|a\right|\left|b\right|$;

(c) 

$|a+b|\le \left|a\right|+\left|b\right|$.

A valuation $|·|$ in field $\mathbb{K}$ is nontrivial if $\left|a\right|\notin \{0,1\}$ for some $a\in \mathbb{K}$.

If condition (c) is replaced by the following stronger inequality

(c’) 

$|a+b|\le max\left\{\right|a|,|b\left|\right\}$,

then we say that the valuation is non-Archimedean.

Definition 3.

Let $\mathbb{K}$ be a field with a nontrivial valuation $|·|:\mathbb{K}\to {\mathbb{R}}_{+}$ and X be a linear space over $\mathbb{K}$ with a dimension greater than 1.

We say (cf., e.g., [21,63]) that a mapping $\parallel ·,·\parallel :X\times X\to {\mathbb{R}}_{+}$ is a 2-norm in X if, for every $x_1,x_2,x_3\in X$ and $\beta \in \mathbb{K}$, the following four conditions are fulfilled:

(1) 

$\parallel x_1,x_2\parallel =0$ if and only if $x_1$ and $x_2$ are linearly dependent;

(2) 

$\parallel x_1,x_2\parallel =\parallel x_2,x_1\parallel$;

(3) 

$\parallel x_1,x_2+x_3\parallel \le \parallel x_1,x_2\parallel +\parallel x_1,x_3\parallel$;

(4) 

$\parallel \beta x_1,x_2\parallel =\left|\beta \right|\parallel x_1,x_2\parallel$.

If inequality (3) is replaced by the subsequent stronger condition

(3’) 

$\parallel x_1,x_2+x_3\parallel \le max\{\parallel x_1,x_2\parallel ,\parallel x_1,x_3\parallel \}$,

then we say that the 2-norm is non-Archimedean.

Let $\parallel ·,·\parallel :X\times X\to {\mathbb{R}}_{+}$ be a 2-norm in X. Then we say that a pair $(X,\parallel ·,·\parallel )$ is a 2-normed space. If $\mathbb{K}$ is the field of reals $\mathbb{R}$ and the valuation in $\mathbb{K}$ is the usual absolute value, then we say that $(X,\parallel ·,·\parallel )$ is a real 2-normed space; if $\mathbb{K}$ is the field of complex numbers $\mathbb{C}$ and the valuation in $\mathbb{K}$ is the usual complex modulus, then we say that $(X,\parallel ·,·\parallel )$ is a complex 2-normed space.

Definition 4.

A sequence ${\left(x_n\right)}_{n\in \mathbb{N}}$ in a 2-normed space X is a Cauchy sequence if there exist two linearly independent vectors $z_1,z_2\in X$ with

$$\underset{n,m\to \infty }{lim}\parallel x_n-x_m,z_i\parallel =0,i=1,2.$$

A sequence ${\left(x_n\right)}_{n\in \mathbb{N}}$ in a linear 2-normed space X is convergent if there is a vector $x\in X$ and two linearly independent vectors $z_1,z_2\in X$, such that

$$\underset{n\to \infty }{lim}\parallel x_n-x,z_i\parallel =0,i=1,2;$$

such vector x is called a limit of ${\left(x_n\right)}_{n\in \mathbb{N}}$ and we denote it by ${lim}_{n\to \infty }{x}_n$.

2-Banach space is a 2-normed space in which every Cauchy sequence is convergent.

Further, it should be remarked that in a 2-normed space, a limit of a sequence is unique. Next, the following property can be easily proven.

Lemma 1.

Let X be a 2-normed space, $x,y,z\in X$, and the vectors y and z be linearly independent. If

$$\parallel x,y\parallel =0=\parallel x,z\parallel ,$$

then $x=0$.

From the Cauchy–Schwarz inequality, it easily follows that if X is a real linear space with a dimension greater than 1, and $\langle ·,·\rangle$ is an inner product in X, then the mapping $\parallel ·,·\parallel :X^2\to {\mathbb{R}}_{+}$ given by

$$\begin{array}{c}\hfill \parallel x,y\parallel :=\sqrt{{\parallel x\parallel }^2{\parallel y\parallel }^2-{\langle x,y\rangle }^2},x,y\in X,\end{array}$$

(9)

fulfills conditions (1)–(4), i.e., it is a 2-norm in X. Further (see Proposition 2.3 of [41]), if $(X,\langle ·,·\rangle )$ is a real Hilbert space, then X is a 2-Banach space (with the 2-norm defined by (9)).

If an inner product in ${\mathbb{R}}^2$ is given by: $\langle (x_1,x_2),(y_1,y_2)\rangle =x_1{y}_1+x_2{y}_2$ for $(x_1,x_2)$, $(y_1,y_2)\in {\mathbb{R}}^2$, then the 2-norm depicted by formula (9) has the following form:

$$\begin{array}{c}\hfill \parallel (x_1,x_2),(y_1,y_2)\parallel :=|x_1{y}_2-x_2{y}_1|,(x_1,x_2),(y_1,y_2)\in {\mathbb{R}}^2.\end{array}$$

(10)

Finally, observe that the expressions

$${c\parallel ·,·\parallel }_1{+d\parallel ·,·\parallel }_2{,min\{c\parallel ·,·\parallel }_1{,d\parallel ·,·\parallel }_2{\},max\{c\parallel ·,·\parallel }_1{,d\parallel ·,·\parallel }_2\}$$

define 2-norms for any two 2-norms ${\parallel ·,·\parallel }_1$ and ${\parallel ·,·\parallel }_2$ in a real linear space X and every positive reals $c,d$.

3. Stability in 2-Normed Spaces

An analogue of Definition 1 for 2-normed spaces could be formulated as follows.

Definition 5.

Let $k\in \mathbb{N}$, $(Y,\parallel ·,·\parallel )$ be a 2-normed space, U be a nonempty set, $\mathcal{B}\subset {\mathbb{R}}^{U^k\times Y}$ and ${\mathcal{D}}_0\subset \mathcal{D}\subset Y^U$ be nonempty, $\mathcal{S}:\mathcal{B}\to {\mathbb{R}}^{U\times Y}$, and ${\mathcal{F}}_1,{\mathcal{F}}_2:\mathcal{D}\to Y^{U^k}$. Then Equation (4) is said to be $\mathcal{S}$-stable in ${\mathcal{D}}_0$ if, for any $\psi \in {\mathcal{D}}_0$ and $\delta \in \mathcal{B}$ such that

$$\begin{array}{c}\hfill \parallel \left({\mathcal{F}}_1\psi \right)(t_1,\dots ,t_k)-\left({\mathcal{F}}_2\psi \right)(t_1,\dots ,t_k),y\parallel \le \delta (t_1,\dots ,t_k,y),t_1,\dots ,t_k\in U,y\in Y,\end{array}$$

there is $\varphi \in \mathcal{D}$ satisfying (4) for all $t_1,\dots ,t_k\in U$ with

$$\parallel \varphi \left(t\right)-\psi \left(t\right),y\parallel \le \left(\mathcal{S}\delta \right)(t,y),t\in U,y\in Y.$$

If $\left(\mathcal{S}\delta \right)(t,y)=0$ for $\delta \in \mathcal{V}$, $t\in U$ and $y\in Y$, then we say that the equation is hyperstable in ${\mathcal{D}}_0$.

In this section, we present the Ulam stability results in 2-normed spaces that have been investigated for various interesting equations. In what follows, $(Y,\parallel ·,·\parallel )$ is always a real 2-Banach space and $(Y_1,\parallel ·,·\parallel )$ is a real 2-normed space.

We start with a result from [40] concerning the stability of a modification of the Cauchy functional equation, which is called the Pexider equation. This result is not actually covered by Definition 5, but it is easy to reformulate the definition accordingly. The outcome in [40] can be stated as follows (we reformulate it but preserve the assumptions given in [40]).

Theorem 3.

Let X be a normed linear space, $k\in \mathbb{N}$, $k>1$, and $\phi :X\times X\times X\to {\mathbb{R}}_{+}$ be a function such that, for all $x,y,z\in X$,

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{1}{k^n}\phi (k^{n}x,k^{n}y,z)=0,\end{array}$$

(11)

$$\begin{array}{c}\hfill {\tilde{M}}_k(x,z):=\sum _{n=0}^{\infty }\sum _{i=1}^{k-1}\frac{M(k^{n}x,i{k}^{n}x,z)}{k^n}<\infty ,\end{array}$$

(12)

where $M(x,y,z):=\phi (x,y,z)+\phi (0,y,z)+\phi (x,0,z)$. Let $f,g,h:X\to Y$ be mappings with

$$\begin{array}{c}\hfill f\left(0\right)=g\left(0\right)=h\left(0\right)=0,\end{array}$$

(13)

$$\begin{array}{c}\hfill \parallel f(x+y)-g\left(x\right)-h\left(y\right),z\parallel \le \phi (x,y,z),x,y,z\in X.\end{array}$$

(14)

Then there is a unique additive mapping $A_k:X\to Y$ such that

$$\parallel f\left(x\right)-A_k\left(x\right),z\parallel \le \frac{1}{k}{\tilde{M}}_k(x,z),x,z\in X.$$

Let us remind here that the additivity of $A_k$ means that

$$A_k(x+y)=A_k\left(x\right)+A_k\left(y\right),x,y\in X.$$

Remark 1.

First, it is clear that if Theorem 3 is to make sense, then either we must have $X=Y$, or (14) should have the form

$$\begin{array}{c}\hfill \parallel f(x+y)-g\left(x\right)-h\left(y\right),z\parallel \le \phi (x,y,z),x,y\in X,z\in Y,\end{array}$$

(15)

with $\phi :X\times X\times Y\to [0,+\infty )$ and (11) and (12) should be assumed for all $x,y\in X$ and $z\in Y$. Further, from the proof given in [40], it follows that the norm in X is not necessary; it is enough to assume that, e.g., X is a real linear space.

Below, we show that under a very weak assumption on $\phi$ (that is somewhat complementary to (11)), we obtain a result similar to Theorem 3, but with a better statement. To this end, we need the following hypothesis.

(L)

$(X,+)$ is a groupoid (which is not necessarily commutative), $Y_0$ is a linear subspace of $Y_1$, $\phi :X^2\times Y_0\to {\mathbb{R}}_{+}$ and, for every $x,y\in X$, there exist linearly independent $z_1,z_2\in Y_0$ and two real sequences ${\left({\xi }_n^1\right)}_{n\in \mathbb{N}},{\left({\xi }_n^2\right)}_{n\in \mathbb{N}}$ such that ${\xi }_n^i\ne 0$ for $i=1,2$, $n\in \mathbb{N}$, and

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{1}{{\xi }_n^i}\phi (x,y,{\xi }_n^i{z}_i)=0,i=1,2.\end{array}$$

(16)

Now we are in a position to prove the following.

Theorem 4.

Let hypothesis (L) be valid and $f,g,h:X\to Y_1$ fulfill the inequality

$$\begin{array}{c}\hfill \parallel f(x+y)-g\left(x\right)-h\left(y\right),z\parallel \le \phi (x,y,z),x,y\in X,z\in Y_0.\end{array}$$

(17)

Then, $f,g,h$ satisfy the Pexider equation

$$\begin{array}{c}\hfill f(x+y)=g\left(x\right)+h\left(y\right),x,y\in X.\end{array}$$

(18)

Moreover, if $(X,+)$ has a neutral element denoted by 0, then there exist a unique additive mapping $A:X\to Y_1$ and unique $u,v\in Y_1$ such that

$$\begin{array}{cc}\hfill f\left(x\right)=A\left(x\right)& +u+v,g\left(x\right)=A\left(x\right)+u,\hfill \\ \hfill h\left(x\right)& =A\left(x\right)+v,x\in X.\hfill \end{array}$$

(19)

In the particular case where (13) holds, we have $f=g=h=A$.

Proof. 

Fix $x,y\in X$. Then, according to hypothesis (L), there exist linearly independent $z_1,z_2\in Y_0$ and two real sequences ${\left({\xi }_n^1\right)}_{n\in \mathbb{N}},{\left({\xi }_n^2\right)}_{n\in \mathbb{N}}$ such that ${\xi }_n^i\ne 0$ for $i=1,2$, $n\in \mathbb{N}$, and condition (16) holds. Hence, by (17),

$$\begin{array}{c}\hfill \parallel f(x+y)-g\left(x\right)-h\left(y\right),{\xi }_n^i{z}_i\parallel \le \phi (x,y,{\xi }_n^i{z}_i),n\in \mathbb{N},i=1,2,\end{array}$$

which yields

$$\begin{array}{c}\hfill \parallel f(x+y)-g\left(x\right)-h\left(y\right),z_i\parallel \le \frac{1}{|{\xi }_n^i|}\phi (x,y,{\xi }_n^i{z}_i),n\in \mathbb{N},i=1,2.\end{array}$$

(20)

Letting $n\to \infty$ in (20), we get

$$\parallel f(x+y)-g\left(x\right)-h\left(y\right),z_i\parallel =0,i=1,2.$$

Since $z_1$ and $z_2$ are linearly independent, this yields $f(x+y)=g\left(x\right)+h\left(y\right)$ (see Lemma 1).

Thus we have shown that $f,g,h$ fulfill the Pexider equation

$$\begin{array}{c}\hfill f(x+y)=g\left(x\right)+h\left(y\right).\end{array}$$

(21)

The remaining part of the reasoning is very well known (see, e.g., [59,60]), but for the convenience of readers we present it.

First, putting $y=0$ and next $x=0$ in (21), we get $f\left(x\right)=g\left(x\right)+h\left(0\right)$ for $x\in X$ and $f\left(y\right)=g\left(0\right)+h\left(y\right)$ for $y\in X$, which implies that

$$\begin{array}{c}\hfill g\left(x\right)=f\left(x\right)-h\left(0\right),h\left(x\right)=f\left(x\right)-g\left(0\right),x\in X.\end{array}$$

(22)

Therefore, now (21) takes the form

$$\begin{array}{c}\hfill f(x+y)=f\left(x\right)-h\left(0\right)+f\left(y\right)-g\left(0\right),x,y\in X,\end{array}$$

(23)

whence

$$\begin{array}{c}\hfill f(x+y)-g\left(0\right)-h\left(0\right)=f\left(x\right)-g\left(0\right)-h\left(0\right)+f\left(y\right)-g\left(0\right)-h\left(0\right),x,y\in X.\end{array}$$

(24)

Define $A:X\to Y_1$ by $A\left(x\right)=f\left(x\right)-g\left(0\right)-h\left(0\right)$ for $x\in X$. Then, by (24), A is additive and it is easily seen that (19) holds with $u=g\left(0\right)$ and $v=h\left(0\right)$. It remains to show the uniqueness of u, v and A.

Therefore, suppose that $u_0,v_0\in X$ and additive $A_0:X\to Y_1$ are such that

$$\begin{array}{cc}\hfill f\left(x\right)=A_0\left(x\right)& +u_0+v_0,g\left(x\right)=A_0\left(x\right)+u_0,\hfill \\ \hfill h\left(x\right)& =A_0\left(x\right)+v_0,x\in X.\hfill \end{array}$$

(25)

Then $A\left(0\right)=0=A_0\left(0\right)$ and $A\left(x\right)+u=g\left(x\right)=A_0\left(x\right)+u_0$ for $x\in X$, whence with $x=0$ we get $u=u_0$ and consequently $A=A_0$. Analogously we obtain $v=v_0$.

Finally, if (13) holds, then from (19) we get $f=g=h=A$, because $u=h\left(0\right)$ and $v=g\left(0\right)$. □

In general, condition (16) cannot be derived from (11), but the next remark shows that hypothesis (L) holds for many natural examples of $\phi$.

Remark 2.

It is easy to check that given linearly independent vectors $y_1,y_2\in Y_1$, we can define a norm ${\parallel ·\parallel }_0$ in $Y_1$ by

$${\parallel z\parallel }_0:=\parallel y_1,z\parallel +\parallel y_2,z\parallel ,z\in Y_1.$$

Thus a 2-norm in $Y_1$ generates a very large family of norms in $Y_1$.

Let X and $Y_0$ be as in hypothesis (L). Define $\phi :X^2\times Y_0\to {\mathbb{R}}_{+}$ by

$$\phi (x,y,z)={\psi }_0(x,y){\parallel z\parallel }_0^r,x,y\in X,z\in Y_0,$$

where ${\parallel ·\parallel }_0$ is a norm in $Y_1$, ${\psi }_0:X^2\to {\mathbb{R}}_{+}$ is an arbitrary given mapping, $r\in {\mathbb{R}}_{+}$ and $r\ne 1$. Then φ satisfies hypothesis (L). Moreover, if $X=Y_1$, then hypothesis (L) is also fulfilled by φ given by one of the following two formulas:

$$\phi (x,y,z)={\psi }_1{(x,y)\parallel x,z\parallel }^r+{\psi }_2(x,y){\parallel y,z\parallel }^r,x,y\in X,z\in Y_0,$$

$$\phi (x,y,z)={\psi }_1{(x,y)\parallel x,z\parallel }^p{\parallel y,z\parallel }^q,x,y\in X,z\in Y_0,$$

where ${\psi }_1,{\psi }_2:X^2\to {\mathbb{R}}_{+}$ are arbitrary given mappings, $p,q,r\in {\mathbb{R}}_{+}$, $r\ne 1$ and $p+q\ne 1$.

However, there also exist numerous natural examples of φ that do not satisfy hypothesis (L) (with $Y_1=Y$) but fulfill the assumptions of Theorem 3 (the corrected versions of them). For instance, let ${\parallel ·\parallel }_0$ be a norm in Y and

$$\begin{array}{c}\hfill \phi (x,y,z)={\psi (x,y)\parallel z\parallel }_0,x,y\in X,z\in Y,\end{array}$$

(26)

with arbitrary given $\psi :X^2\to {\mathbb{R}}_{+}$. Then clearly, (L) does not hold for such φ with $Y_0=Y_1=Y$, and for

$$\psi (x,y)=c_1{\parallel x\parallel }_1^r+c_2{\parallel y\parallel }_2^r,x,y\in X,$$

or

$$\psi (x,y)=c_1{\parallel x\parallel }_1^p{\parallel y\parallel }_2^q,x,y\in X,$$

with some $c_1,c_2,p,q,r\in {\mathbb{R}}_{+}$, $r<1$, $p+q<1$ and some norms ${\parallel ·\parallel }_1$ and ${\parallel ·\parallel }_2$ in $X=Y$, mapping φ given by (26) satisfies conditions (11) and (12) for all $x,y,z\in X$.

A useful fixed point theorem for 2-Banach spaces has been proven in [41], and one of its direct applications is the Ulam stability result for a very general functional equation with a single variable. To present it, we need the following four hypotheses.

(H1)

S is a nonempty set, $Y_0\subset Y$ contains two linearly independent vectors, $j\in \mathbb{N}$, $f_i:S\to S$, $g_i:Y_0\to Y_0$ and $L_i:S\times Y_0\to {\mathbb{R}}_{+}$ for $i=1,\dots ,j$;

(H2)

$\Lambda :{{\mathbb{R}}_{+}}^{S\times Y_0}\to {{\mathbb{R}}_{+}}^{S\times Y_0}$ is an operator defined by

$$\begin{array}{c}\hfill \Lambda \delta (x,y):=\sum _{i=1}^j{L}_i(x,y)\delta (f_i\left(x\right),g_i\left(y\right)),\delta \in {{\mathbb{R}}_{+}}^{S\times Y_0},x\in S,y\in Y_0.\end{array}$$

(27)

(H3)

$\Psi :S\times Y^j\to Y$ satisfies the inequality

$$\parallel \Psi (x,y_1,...,y_j)-\Psi (x,z_1,...,z_j),y\parallel \le \sum _{i=1}^j{L}_i(x,y)\parallel y_i-z_i,g_i\left(y\right)\parallel$$

(28)

for any $x\in S$, $y\in Y_0$ and $(y_1,...,y_j),(z_1,...,z_j)\in Y^j$;

(H4)

$T:Y^S\to Y^S$ is defined by

$$\left(T\phi \right)\left(x\right):=\Psi (x,\phi \left(f_1\left(x\right)\right),...,\phi \left(f_j\left(x\right)\right)),\phi \in Y^S,x\in S.$$

(29)

Moreover, if $\Phi$ is a mapping from a nonempty set A into A, then ${\Phi }^n$ denotes the n-th iterate of $\Phi$ for each $n\in \mathbb{N}$, i.e., ${\Phi }^0\left(x\right)=x$ for all $x\in A$ and ${\Phi }^n\left(x\right)=\Phi \left({\Phi }^{n-1}\left(x\right)\right)$ for all $x\in A$ and $n\in \mathbb{N}$.

Now, we are in a position to present the subsequent result from Theorem 2 of [41].

Theorem 5.

Let hypotheses (H1)–(H4) be fulfilled, $\epsilon :S\times Y_0\to {\mathbb{R}}_{+}$ satisfy

$${\epsilon }^{*}(x,y):=\sum _{m=0}^{\infty }\left({\Lambda }^m\epsilon \right)(x,y)<\infty ,x\in S,y\in Y_0,$$

(30)

and $\phi :S\to Y$ be such that

$$\parallel \phi \left(x\right)-\Psi (x,\phi \left(f_1\left(x\right)\right),...,\phi \left(f_j\left(x\right)\right)),y\parallel \le \epsilon (x,y),x\in S,y\in Y_0.$$

(31)

Then, for every $x\in S$ the limit

$$\psi \left(x\right)=\underset{m\to \infty }{lim}\left(T^m\phi \right)\left(x\right)$$

(32)

exists and the function $\psi :S\to Y$, defined in this way, is the unique solution of the functional equation

$$\Psi (x,\psi \left(f_1\left(x\right)\right),...,\psi \left(f_j\left(x\right)\right))=\psi \left(x\right),x\in S,$$

(33)

such that

$$\parallel \phi \left(x\right)-\psi \left(x\right),y\parallel \le {\epsilon }^{*}(x,y),x\in S,y\in Y_0.$$

(34)

However, arguing analogously as in the first part of the proof of Theorem 4, under an assumption that it is a modified version of hypothesis (L), we can easily obtain the following complementary hyperstability result.

Theorem 6.

Let S be a nonempty set, $Y_0\subset Y_1$ contains two linearly independent vectors, $j\in \mathbb{N}$, $\Psi :S\times Y_1^j\to Y_1$, $f_1,\dots ,f_j:S\to S$, and $\epsilon :S\times Y_1\to {\mathbb{R}}_{+}$. Assume that for every $x\in X$ there exist linearly independent $z_1,z_2\in Y_0$ and two real sequences ${\left({\xi }_n^1\right)}_{n\in \mathbb{N}},{\left({\xi }_n^2\right)}_{n\in \mathbb{N}}$ such that ${\xi }_n^i\ne 0$ for $i=1,2$, $n\in \mathbb{N}$, and

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{1}{{\xi }_n^i}\epsilon (x,{\xi }_n^i{z}_i)=0,i=1,2.\end{array}$$

(35)

If $\psi :S\to Y_1$ satisfies the inequality

$$\parallel \psi \left(x\right)-\Psi (x,\psi \left(f_1\left(x\right)\right),...,\psi \left(f_j\left(x\right)\right)),y\parallel \le \epsilon (x,y),x\in S,y\in Y_0,$$

(36)

then (33) holds.

However the main stability results in [41] (motivated by the approach proposed in [64]) concerns the Cauchy equation

$$f(x+y)=f\left(x\right)+f\left(y\right)$$

and can be rewritten as follows.

Theorem 7.

Assume that $(G,+)$ is a commutative group, $AutG$ denotes the set of all automorphisms of $(G,+)$, $G_0:=G\backslash \left\{0\right\}\ne \varnothing$, $Y_0\subset Y$ contains two linearly independent vectors, $H:G_0^2\times Y_0\to {\mathbb{R}}_{+}$,

$$\mathcal{K}:=\left\{u\in AutG:u^{\prime }\in AutG\mathrm{and}\lambda \left(u^{\prime }\right)+\lambda \left(u\right)<1\right\}\ne \varnothing ,$$

and $\mathcal{V}\subset \mathcal{K}$ is nonempty and commutating (i.e., $\xi \circ \eta =\xi \circ \eta$ for every $\xi \circ \eta \in \mathcal{V}$), where, for any $u\in AutG$, $u^{\prime }\left(x\right)=x-u\left(x\right)$ for $x\in G$ and

$$\lambda \left(u\right):=inf\left\{t\in {\mathbb{R}}_{+}:H(u\left(x\right),u\left(y\right),z)\le tH(x,y,z)\mathrm{for}x,y\in G_0,z\in Y_0\right\}.$$

Let $f:G\to Y$ satisfy

$$\parallel f(x+y)-f\left(x\right)-f\left(y\right),z\parallel \le H(x,y,z),x,y\in G_0,z\in Y_0.$$

(37)

Then there is a unique additive mapping $T:G\to Y$ such that

$$\parallel f\left(x\right)-T\left(x\right),z\parallel \le H_{\mathcal{V}}(x,z),x\in G_0,z\in Y_0,$$

where

$$H_{\mathcal{V}}(x,z):=inf\left\{\frac{H(u^{\prime }\left(x\right),u\left(x\right),z)}{1-\lambda \left(u\right)-\lambda \left(u^{\prime }\right)}:u\in \mathcal{V}\right\},x\in G_0,z\in Y_0.$$

The following hyperstability result, given in Corollary 6.1 of [41], can be easily derived from Theorem 7.

Corollary 1.

Let $G,G_0,Y_0$ and H be as in Theorem 7. Assume that there is a nonempty and commutating $\mathcal{V}\subset \mathcal{K}$ such that

$$inf\{H(u^{\prime }x,ux,z):u\in \mathcal{V}\}=0,x\in G_0,z\in Y_0,$$

(38)

and

$$sup\{\lambda \left(u^{\prime }\right)+\lambda \left(u\right):u\in \mathcal{V}\}<1.$$

(39)

Then each function $f:G\to Y$ fulfilling inequality (37) is additive.

In the same way, as in the first part of the proof of Theorem 4, we can obtain the subsequent outcome that is complementary to Corollary 1.

Corollary 2.

Let hypothesis (L) be valid and $D\subset X^2$ be nonempty. Assume that $F:Y_1^2\to Y_1$ and $f:X\to Y_1$ satisfy

$$\parallel f(x+y)-F(f\left(x\right),f\left(y\right)),z\parallel \le \phi (x,y,z),(x,y)\in D,z\in Y_0.$$

(40)

Then

$$f(x+y)=F\left(f\right(x),f(y\left)\right),(x,y)\in D.$$

(41)

A somewhat different and more involved result on stability of the Cauchy equation has been obtained in [42], for functions mapping a nonempty subset X of an abelian semigroup $(S,+)$ into Y, under the assumption that there is $k_0\in \mathbb{N}$, $k_0>1$, with

$$mx,mx+1\in X,x\in X,m\in N_0:=\{k_0^n:n\in \mathbb{N}\},$$

(42)

where $1x=x$ and $(n+1)x=nx+x$ for $x\in S$, $n\in \mathbb{N}$. We present it below (the result in [42] has been formulated under an assumption on X a bit weaker than (42), but actually (42) is necessary there).

To this end, we write $\mathbb{R}y:=\{ay:a\in \mathbb{R}\}$ for every $y\in Y$. Let $A_1,A_2:S\to Y$ be additive mappings (i.e., $A_i(x+z)=A_i\left(x\right)+A_i\left(z\right)$ for every $x,z\in S$), and $C,D:Y\to Y$ be such that the set $D^{-1}(Y\backslash \mathbb{R}u)\cap C^{-1}(Y\backslash \mathbb{R}v)$ contains two linearly independent vectors for every $u,v\in Y$. Next, let $c,d\in {\mathbb{R}}_{+}$, $p,q\in (-\infty ,0)$, and $\psi :X^2\times Y\to \mathbb{R}$ satisfy the condition

$$\begin{array}{c}\hfill {\psi }_{m,i}^{*}(x,y)=\sum _{n=0}^{\infty }\left({\Lambda }_m^n{\psi }_{m,i}\right)(x,y)<\infty ,x\in X,y\in Y,i=1,2,m\in N_0,m>\kappa ,\end{array}$$

(43)

with some $\kappa \in \mathbb{N}$, where ${\psi }_{m,1}(x,y):=\psi (x,mx,y)$, ${\psi }_{m,2}(x,y):=\psi (mx,x,y)$, ${\Lambda }_m:{\mathbb{R}}_{+}^{X\times Y}\to {\mathbb{R}}_{+}^{X\times Y}$ is given by

$$\begin{array}{c}\hfill \left({\Lambda }_m\delta \right)(x,y):=\delta ((m+1)x,y)+\delta (mx,y),x\in X,y\in Y,\delta \in {\mathbb{R}}_{+}^{X\times Y},\end{array}$$

and ${\Lambda }_m^0\delta =\delta$, ${\Lambda }_m^n={\Lambda }_m\circ {\Lambda }_m^{n-1}$ for $\delta \in {\mathbb{R}}_{+}^{X\times Y}$, $n\in \mathbb{N}$.

Define $\Psi :X^2\times Y\to \mathbb{R}$ by

$$\Psi (x_1,x_2,y):=c\parallel A_1\left(x_1\right),C\left(y\right){\parallel }^p+d{\parallel A_2\left(x_2\right),D\left(y\right)\parallel }^q$$

when

$$\begin{array}{c}\hfill \parallel A_1\left(x_1\right),C\left(y\right)\parallel ·\parallel A_2\left(x_2\right),D\left(y\right)\parallel \ne 0,\end{array}$$

and $\Psi (x_1,x_2,y):=\psi (x_1,x_2,y)$ otherwise.

The main result in [42] reads as follows.

Theorem 8.

Assume that $f:X\to Y$ satisfies

$$\begin{array}{c}\hfill \parallel f(x_1+x_2)-f\left(x_1\right)-f\left(x_2\right),y\parallel \le \Psi (x_1,x_2,y)\end{array}$$

for all $y\in Y$ and for all $x_1,x_2\in X$ with $x_1+x_2\in X$. Then there is a unique $h:X\to Y$ such that

$$h(x_1+x_2)=h\left(x_1\right)+h\left(x_2\right),x_1,x_2\in X,x_1+x_2\in X,$$

and

$$\begin{array}{c}\hfill \parallel f\left(x\right)-h\left(x\right),y\parallel \le min\left\{c\parallel A_1{\left(x\right),C\left(y\right)\parallel }^p,d{\parallel A_2\left(x\right),D\left(y\right)\parallel }^q\right\}\end{array}$$

for every $x\in X$ and every $y\in Y$ with $\parallel A_1\left(x\right),C\left(y\right)\parallel ·\parallel A_2\left(x\right),D\left(y\right)\parallel \ne 0$.

Moreover,

$$\begin{array}{c}\hfill \parallel f\left(x\right)-h\left(x\right),y\parallel \le \underset{m\in N_0}{inf}{\psi }_{m,0}^{*}(x,y)\end{array}$$

for every $x\in X$ and for every $y\in Y$ with $\parallel A_1\left(x\right),C\left(y\right)\parallel ·\parallel A_2\left(x\right),D\left(y\right)\parallel =0$, where ${\psi }_{m,0}^{*}(x,y):=min\left\{{\psi }_{m,1}^{*}(x,y),{\psi }_{m,2}^{*}(x,y)\right\}$ and ${\psi }_{m,i}^{*}$ is defined by (43).

In [43], the authors applied the fixed point theorem from [41] to investigate, in the real 2-Banach spaces, the stability of a generalized Cauchy functional equation. The main result in [43] is somewhat similar to Theorem 7 ($AutG$ and $u^{\prime }$ have the same meaning) and can be written as follows.

Theorem 9.

Let $m,l\in \mathbb{N}$, $(G,+)$ be a commutative group such that $G_0:=G\backslash \left\{0\right\}\ne \varnothing$ and $mx\ne 0$, $lx\ne 0$ for $x\in G_0$, $Y_0$ be a subset of Y containing two linearly independent vectors, and $h:G_0\times G_0\times Y_0\to {\mathbb{R}}_{+}$ be such that

$$M\left(G\right):=\{u\in AutG:u^{\prime }\in AutG\mathrm{and}ms\left(u^{\prime }\right)+ls\left(u\right)<1\}\ne \varnothing$$

where

$$s\left(u\right):=inf\{t\in {\mathbb{R}}_{+}:h(u\left(x\right),u\left(y\right),z)\le th(x,y,z)\mathrm{for}\mathrm{all}x,y\in G_0,z\in Y_0\}$$

for $u\in AutG$. Suppose that $f:G\to Y$ fulfills the inequality

$$\parallel f(mx+ly)-mf\left(x\right)-lf\left(y\right),z\parallel \le h(mx,ly,z)$$

for all $x,y\in G_0$ and $z\in Y_0$. Then, for any nonempty $\mathcal{V}\subset M\left(G\right)$ with $u\circ v=v\circ u$ for $u,v\in \mathcal{V}$, there is a unique $T:G\to Y$ such that

$$f(mx+ly)=mf\left(x\right)+lf\left(y\right),x,y\in G_0,mx+ly\in G_0,$$

(44)

$$\parallel f\left(x\right)-T\left(x\right),z\parallel \le K(x,z),x\in G_0,z\in Y_0,$$

where

$$K(x,z):=inf\left\{\frac{h(x-lu(x),u(x),z)}{1-ms\left(u^{\prime }\right)-ls\left(u\right)}:u\in \mathcal{V}\right\}.$$

(45)

Actually, Theorem 9 has been formulated in Theorem 3.1 of [43] in a way suggesting that f satisfies

$$f(mx+ly)=mf\left(x\right)+lf\left(y\right)$$

for all $x,y\in G$, or at least for all $x,y\in G_0$; but from the proof of Theorem 3.1 of [43] it follows that only (44) has been shown there. Moreover, we have corrected a small mistake in the denominator of the fraction in (45).

Clearly, under hypothesis (L), we can derive from Corollary 2 a result that complements Theorem 9.

In [44], the author also used the fixed point theorem from [41] to investigate the Ulam stability of the following radical functional equation

$$f\left(\sqrt[4]{x^4+y^4}\right)=f\left(x\right)+f\left(y\right),x,y\in \mathbb{R}.$$

(46)

For information on solutions to equations of such type we refer to [65].

The stability result in Theorem 4.1 of [44] is following (we preserve its form as in [44]).

Theorem 10.

Assume that $h_1,h_2:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ are such that

$${\mathcal{M}}_0:=\{n\in \mathbb{N}:a_n:=s_1\left(n^4\right)s_2\left(n^4\right)+s_1(1+n^4)s_2(1+n^4)<1\}\ne \varnothing ,$$

where, for $i=1,2$ and $n\in \mathbb{N}$,

$$s_i\left(n\right):=inf\{t\in {\mathbb{R}}_{+}:h_i(n{x}^4,z)\le t{h}_i(x^4,z)\mathrm{for}x,z\in \mathbb{R}\}.$$

Suppose that $f:\mathbb{R}\to Y$ satisfies the inequality

$$\parallel f\left(\sqrt[4]{x^4+y^4}\right)-f\left(x\right)-f\left(y\right),z\parallel \le h_1(x^4,z)h_2(y^4,z),x,y,z\in \mathbb{R}.$$

(47)

Then there exists a unique additive function $T:\mathbb{R}\to Y$ such that

$$\parallel f\left(x\right)-T\left(x^4\right),z\parallel \le s_0{h}_1(x^4,z)h_2(y^4,z),x,z\in \mathbb{R},$$

where

$$s_0:=inf\left\{\frac{s_2\left(n^4\right)}{1-a_n}:n\in {\mathcal{M}}_0\right\}.$$

It is easily seen that there are several small mistakes in the theorem. Namely, the domains of $h_1,h_2$ should be $\mathbb{R}\times Y$, and z should belong to Y everywhere and not to $\mathbb{R}$.

The other stability result in Theorem 4.2 of [44] is analogous (with the same mistakes, which also occur in Corollaries 5.1–5.3 in [44]), but with $h_1(x^4,z)h_2(y^4,z)$ in (47) replaced by $h(x^4,z)+h(y^4,z)$ with some $h:{\mathbb{R}}^2\to \mathbb{R}$ satisfying similar assumptions as $h_i$ in Theorem 10.

Moreover, in this case, under hypothesis (L), we can derive from Corollary 2 a result that complements Theorem 10 and Theorem 4.2 of [44] (i.e., the corrected versions of them).

In [45], the authors investigated the stability of the functional equations

$$h\left(\sqrt{x^2+y^2}\right)=h\left(x\right)+h\left(y\right),$$

(48)

$$h\left(\sqrt{x^2+y^2}\right)+h\left(\sqrt{|x^2-y^2|}\right)=2h\left(x\right)+2h\left(y\right),$$

(49)

for function $h:\mathbb{R}\to Y$. They have proposed several interesting outcomes. We present below only one example of them (Theorem 3.2 of [45]) in a bit modified form to increase its readability. The other results in [45] are of similar type.

Theorem 11.

Let $\ell \in \{-1,1\}$, $\varphi :{\mathbb{R}}^3\to {\mathbb{R}}_{+}$ be such that

$$\begin{array}{cc}\hfill \widehat{\varphi }(x,z):=\sum _{i=\frac{1}{2}(1-\ell )}^{\infty }\sqrt{2}{}^{-3\ell i}(& \varphi \left(\sqrt{2}{}^{li}x,\sqrt{2}{}^{li}x,\sqrt{2}{}^{li}z\right)+\varphi \left(\sqrt{2}{}^{li+1}x,0,\sqrt{2}{}^{li}z\right)\hfill \\ \hfill & +\frac{1+\ell }{2}\varphi \left(0,0,\sqrt{2}{}^{li}z\right))<\infty \hfill \end{array}$$

(50)

for $x,z\in \mathbb{R}$,

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{1}{2^{\ell n}}\varphi \left(\sqrt{2}{}^{ln}x,\sqrt{2}{}^{ln}y,z\right)=0,x,y,z\in \mathbb{R},\end{array}$$

(51)

and $g:\mathbb{R}\to Y$ satisfy the condition

$$\begin{array}{c}\hfill g\left(\alpha x\right)=\alpha g\left(x\right),\alpha \in \mathbb{R}.\end{array}$$

(52)

Assume that $f:\mathbb{R}\to Y$ satisfies

$$\begin{array}{c}\hfill \parallel f\left(\sqrt{x^2+y^2}\right)-f\left(x\right)-f\left(y\right),g\left(z\right)\parallel \le \varphi (x,y,z),x,y,z\in \mathbb{R}.\end{array}$$

(53)

Then the limit

$$h\left(x\right):=\underset{n\to \infty }{lim}\frac{1}{2^{\ell n}}f\left(\sqrt{2}{}^{\ell n}x\right)$$

exists for every $x\in \mathbb{R}$ and $h:\mathbb{R}\to Y$ is a unique mapping satisfying Equation (48) for all $x,y\in \mathbb{R}$ and the inequality

$$\begin{array}{c}\hfill \parallel f\left(x\right)-h\left(x\right),g\left(z\right)\parallel \le \frac{1}{2}\widehat{\varphi }(x,z),x,z\in \mathbb{R}.\end{array}$$

(54)

Unfortunately, the assumptions on g are not sufficient in this theorem. Namely, it is necessary for the set $g\left(\mathbb{R}\right)$ to include at least two linearly independent vectors because otherwise, the statement is not true. In fact, if $g\left(\mathbb{R}\right)\subset \mathbb{R}v$ with some $v\in Y$, then for every mapping $f:\mathbb{R}\to Y$ with $f\left(\mathbb{R}\right)\subset \mathbb{R}v$ condition (53) holds with $\varphi (x,y,u)\equiv 0$, while f does not necessarily satisfy (48) for all $x,y\in \mathbb{R}$ (in this case $\widehat{\varphi }(x,z)\equiv 0$, whence (54) means that $f=h$).

Further, assumption (52) with a fixed $x\in \mathbb{R}\backslash \left\{0\right\}$ (it is not explained in [45] what is x in this assumption) simply means that $g\left(\alpha \right)=\alpha \frac{1}{x}g\left(x\right)$ for all $\alpha \in \mathbb{R}$, that is $g\left(X\right)\subset \mathbb{R}v$ with $v:=\frac{1}{x}g\left(x\right)\in Y$.

We should add here that the main reasoning in the proof of Theorem 3.2 of [45] can be modified in such a way that assumption (52) is superfluous; and then the final outcome is similar to Theorem 11, but with some formulas modified. We will publish this modified version (and some complementary results) in a separate article.

Moreover, note that under hypothesis (L), we can derive from Corollary 2 a result that complements Theorem 11 (in this modified form).

The other main stability outcomes in [45] for 2-normed spaces contain similar imperfections.

The other functional equations, for which stability has been investigated in [45] in 2-normed spaces (with similar doubts), are

$$h\left(\sqrt{x{x}^{*}+y{y}^{*}}\right)=h\left(x\right)+h\left(y\right),$$

(55)

$$h\left(\sqrt{x{x}^{*}+y{y}^{*}}\right)+h\left(\sqrt{x{x}^{*}-y{y}^{*}}\right)=2h\left(x\right)+2h\left(y\right),$$

(56)

for mappings h from a $C^{*}$-algebra $\mathcal{A}$ into Y, where $\sqrt{z}$ for $z\in \mathcal{A}$ denotes the unique positive element $u\in \mathcal{A}$ with $u^2=z$ (Equation (56) is considered for such $x,y\in \mathcal{A}$ that $x{x}^{*}-y{y}^{*}$ is a positive element).

In [46], the authors have investigated the stability of the functional equation

$$\begin{array}{c}\hfill F\left(\sqrt[p]{\sum _{i=1}^k{x}_i^p}\right)=\sum _{i=1}^{k}F\left(x_i\right),x_1,\dots ,x_k\in \mathbb{R},\end{array}$$

(57)

for functions $F:\mathbb{R}\to Y$, where $p,k\in \mathbb{N}\backslash \left\{1\right\}$ are fixed. The first main stability result in Theorem 3.1 of [46] reads as follows (some typos made in [46] have been corrected).

Theorem 12.

Let $h_1,\dots ,h_k:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ be such that

$$U:=\{n\in \mathbb{N}:{\alpha }_n:=\prod _{i=1}^k{\lambda }_i((k-1)n^p+1)+(k-1)\prod _{i=1}^k{\lambda }_i\left(n^p\right)<1\}\ne \varnothing$$

where

$${\lambda }_i\left(n\right):=inf\{t\in {\mathbb{R}}_{+}:h_i(n{x}^p,z)\le t{h}_i(x^p,z),x,z\in \mathbb{R}\},n\in \mathbb{N}.$$

Assume that $g:\mathbb{R}\to Y$ is surjective and $f:\mathbb{R}\to Y$ satisfies

$$\begin{array}{cc}\hfill \parallel f\left(\sqrt[p]{\sum _{i=1}^k{x}_i^p}\right)& -\sum _{i=1}^{k}f\left(x_i\right),g\left(z\right)\parallel \hfill \\ \hfill & \le \prod _{i=1}^k{h}_i(x_i^p,z),x_1,\dots ,x_k,z\in \mathbb{R}.\hfill \end{array}$$

(58)

Then there exists a unique solution $F:\mathbb{R}\to Y$ of Equation (57) such that

$$\parallel f\left(x\right)-F\left(x\right),g\left(z\right)\parallel \le {\lambda }_0\prod _{i=1}^k{h}_i(x^p,z),x,z\in \mathbb{R},$$

where

$${\lambda }_0:=\underset{n\in U}{inf}\left\{\frac{{\prod }_{i=1}^{k-1}{\lambda }_i\left(n^p\right)}{1-{\prod }_{i=1}^k{\lambda }_i((k-1)n^p+1)-(k-1){\prod }_{i=1}^k{\lambda }_i\left(n^p\right)}\right\}.$$

Below we show that for $k>2$, with a short reasoning, we can obtain an improved version of Theorem 12. Namely, we have the following.

Theorem 13.

Let $k>2$ and $h_1,\dots ,h_k:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ be such that there is $l\in \mathbb{N}$ with $1<l\le k$ and

$$U_l:=\{n\in \mathbb{N}:{\alpha }_n:=\prod _{i=1}^l{\lambda }_i((l-1)n^p+1)+(k-1)\prod _{i=1}^l{\lambda }_i(n^p)<1\}\ne \varnothing ,$$

where ${\lambda }_i\left(n\right)$ is defined as in Theorem 12. Assume that $g:\mathbb{R}\to Y$ is surjective and $f:\mathbb{R}\to Y$ fulfills inequality (58). Then f is a solution to Equation (57).

Proof. 

Since $U_l\ne \varnothing ,$ there is $n\in \mathbb{N}$ with ${\alpha }_n<1$, which means that ${\lambda }_i\left(n^p\right)<1$ for some $i\in \{1,\dots ,l\}$.

Suppose that $h_i(0,z)>0$ for some $z\in \mathbb{R}$. Then, taking $x=0$ in the definition of ${\lambda }_i\left(n\right)$, we see that we must have ${\lambda }_i\left(n\right)\ge 1$, which is a contradiction. Thus we have shown that $h_i(0,z)=0$ for $z\in \mathbb{R}$. Without a loss of generality, we can assume that $i=1$.

Now taking $x_1=\dots =x_{k-2}=0$ in (58) we get

$$\begin{array}{c}\hfill \parallel f\left(\sqrt[p]{\sum _{i=k-1}^k{x}_i^p}\right)-\sum _{i=k-1}^{k}f\left(x_i\right),g\left(z\right)\parallel \le 0,x_2,z\in \mathbb{R}.\end{array}$$

As g is surjective, this means that

$$\begin{array}{c}\hfill \parallel f\left(\sqrt[p]{\sum _{i=k-1}^k{x}_i^p}\right)-\sum _{i=k-1}^{k}f\left(x_i\right),u\parallel =0,x_{k-1},x_k\in \mathbb{R},u\in Y,\end{array}$$

(59)

and consequently (see Lemma 1)

$$\begin{array}{c}\hfill f\left(\sqrt[p]{x_1^p+x_2^p}\right)=f\left(x_1\right)+f\left(x_2\right),x_1,x_2\in \mathbb{R}.\end{array}$$

(60)

Since Equations (57) and (60) have the same solutions in the class of functions $f:\mathbb{R}\to Y$ (see Theorem 2.1 of [44]), this completes the proof. □

In Theorem 3.2 of [46], the authors obtained an outcome that is similar to Theorem 12 and reads as follows.

Theorem 14.

Let $h:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ be such that

$$U:=\left\{n\in \mathbb{N}:{\beta }_n:=\lambda \left((k-1)n^p+1\right)+(k-1)\lambda \left(n^p\right)<1\right\}\ne \varnothing ,$$

where

$$\begin{array}{c}\hfill \lambda \left(n\right):=inf\left\{t\in {\mathbb{R}}_{+}:h(n{x}^p,z)\le th(x^p,z)forx,z\in \mathbb{R}\right\},n\in \mathbb{N}.\end{array}$$

(61)

Assume that $g:\mathbb{R}\to Y$ is surjective and $f:\mathbb{R}\to Y$ satisfies

$$\begin{array}{cc}\hfill \parallel f\left(\sqrt[p]{\sum _{i=1}^k{x}_i^p}\right)& -\sum _{i=1}^{k}f\left(x_i\right),g\left(z\right)\parallel \le \sum _{i=1}^{k}h(x_i^p,z),x_1,\dots ,x_k,z\in \mathbb{R}.\hfill \end{array}$$

(62)

Then there exists a unique solution $F:\mathbb{R}\to Y$ of Equation (57) such that

$$\parallel f\left(x\right)-F\left(x\right),g\left(z\right)\parallel \le \eta h(x^p,z),x,z\in \mathbb{R},$$

where

$$\eta :=\underset{n\in U}{inf}\left\{\frac{1+(k-1)\lambda \left(n^p\right)}{1-\lambda ((k-1)n^p+1)-(k-1)\lambda \left(n^p\right)}\right\}.$$

Below we show that for $k>2$, by additional reasoning, we can obtain the following improved version of Theorem 14.

Theorem 15.

Let $h:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ be such that there is $l\in \mathbb{N}$ with $1<l\le k$ and

$$U_l:=\left\{n\in \mathbb{N}:{\beta }_n:=\lambda \left((l-1)n^p+1\right)+(l-1)\lambda \left(n^p\right)<1\right\}\ne \varnothing ,$$

where λ is given by (61). Assume that $g:\mathbb{R}\to Y$ is surjective and $f:\mathbb{R}\to Y$ satisfies (62). Then there exists a unique solution $F:\mathbb{R}\to Y$ of Equation (57) such that

$$\begin{array}{c}\hfill \parallel f\left(x\right)-F\left(x\right),g\left(z\right)\parallel \le {\eta }_{l}h(x^p,z),x,z\in \mathbb{R},\end{array}$$

(63)

where

$${\eta }_l:=\underset{n\in U}{inf}\left\{\frac{1+(l-1)\lambda \left(n^p\right)}{1-\lambda ((l-1)n^p+1)-(l-1)\lambda \left(n^p\right)}\right\}.$$

Proof. 

The case $l=k$ is just Theorem 14. Therefore, assume that $l<k$.

First, we prove that $h(0,z)=0$ for $z\in \mathbb{R}$. For the proof by contradiction, suppose that there is $z\in \mathbb{R}$ with $h(0,z)>0$. Then taking $x=0$ in the definition of $\lambda \left(n\right)$, we see that we must have $\lambda \left(n\right)\ge 1$ for $n\in \mathbb{N}$, which means that $U_l=\varnothing$ and, therefore, contradicts the assumptions.

Therefore, we have proven that $h(0,z)=0$ for $z\in \mathbb{R}$. Now taking $x_{l+1}=\dots =x_k=0$ in (58) we get

$$\begin{array}{c}\hfill \parallel f\left(\sqrt[p]{\sum _{i=1}^l{x}_i^p}\right)-\sum _{i=1}^{l}f\left(x_i\right),g\left(z\right)\parallel \le \sum _{i=1}^{l}h(x_i^p,z),x_1,\dots ,x_l,z\in \mathbb{R}.\end{array}$$

Now, by Theorem 14 with $k=l$, there exists a unique solution $F:\mathbb{R}\to Y$ of the equation

$$\begin{array}{c}\hfill F\left(\sqrt[p]{\sum _{i=1}^l{x}_i^p}\right)=\sum _{i=1}^{l}F\left(x_i\right),x_1,\dots ,x_l\in \mathbb{R},\end{array}$$

(64)

such that (63) holds. As Equations (57) and (60) have the same solutions in the class of mappings from $\mathbb{R}$ into Y (see Theorem 2.1 of [44]), this completes the proof. □

Please note that the form of Theorem 14 is quite simple for $l=2$. Moreover, if $L=\{l\in \{2,\dots ,k\}:U_l\ne \varnothing \}$, then in (63) we can replace ${\eta }_l$ by

$${\eta }_0:=\underset{l\in L}{inf}{\eta }_l.$$

In [47], the authors used the fixed point theorem from [41] to investigate the stability of the quadratic functional equation

$$\begin{array}{c}\hfill f(x+y)+f(x-y)=2f\left(x\right)+2f\left(y\right).\end{array}$$

(65)

The first main result in Theorem 2.1 of [47] reads as follows.

Theorem 16.

Let X be a normed space, $X_0:=X\backslash \left\{0\right\}$, and mappings $h_1,h_2:X_0\times X_0\to {\mathbb{R}}_{+}$ be such that

$$\begin{array}{cc}\hfill \mathcal{V}=\{n\in \mathbb{N}:{\alpha }_n=\frac{1}{2}{\lambda }_1(1+n){\lambda }_2(1+n)& +\frac{1}{2}{\lambda }_1(1-n){\lambda }_2(1-n)\hfill \\ \hfill & +{\lambda }_1\left(n\right){\lambda }_2\left(n\right)<1\}\ne \varnothing ,\hfill \end{array}$$

(66)

with

$${\lambda }_i\left(n\right):=inf\{t\in {\mathbb{R}}_{+}:h_i(nx,z)\le t{h}_i(x,z)forx,z\in X_0\},n\in \mathbb{N},i=1,2.$$

Assume that $g:X_0\to Y$ is a surjective mapping and $f:X\to Y$ satisfies

$$\begin{array}{c}\hfill \parallel f(x+y)+f(x-y)-2f\left(x\right)-2f\left(y\right),g\left(z\right)\parallel \le h_1(x,z)h_2(y,z)\end{array}$$

(67)

for all $x,y,z\in X_0$, such that $x+y\ne 0$ and $x-y\ne 0$. Then there exists a unique quadratic mapping $F:X\to Y$ such that

$$\begin{array}{c}\hfill \parallel f\left(x\right)-F\left(x\right),g\left(z\right)\parallel \le \eta h_1(x,z)h_2(x,z),x,z\in X_0,\end{array}$$

(68)

where

$$\eta =\underset{n\in \mathcal{V}}{inf}\left\{\frac{{\lambda }_2\left(n\right)}{2-{\lambda }_1(1+n){\lambda }_2(1+n)-{\lambda }_1(1-n){\lambda }_2(1-n)-2{\lambda }_1\left(n\right){\lambda }_2\left(n\right)}\right\}.$$

It is not sure what is meant in [47] by the statement that F is a quadratic mapping. It seems that it means the following condition

$$\begin{array}{c}\hfill F(x+y)+F(x-y)=2F\left(x\right)+2F\left(y\right),x,y\in X_0,x+y,x-y\in X_0,\end{array}$$

(69)

because in the proof of Theorem 2.1 in [47], the authors have only shown condition (69) for F. Moreover, it is not necessary to assume the existence of a norm in X (in Theorem 2.1 of [47], i.e., in our Theorem 16).

As a consequence of Theorem 2.1 of [47], the authors obtained several hyperstability outcomes, stating that under some additional assumptions on $h_1$ and $h_2$, every mapping $f:X\to Y$ satisfying (67) must fulfill (69) (with $F=f$).

Clearly, arguing analogously as in the first part of the proof of Theorem 4, we can obtain, for instance, the following theorem corresponding to Theorem 2.3 of [47].

Theorem 17.

Let $k>1$ be an integer, $\alpha \in \mathbb{R}$, $(X,+)$ be a group (not necessarily commutative), $g:X\to Y_1$, $g\left(kx\right)=\alpha g\left(x\right)$ for $x\in X$, $D\subset X^2$, and $\phi :X^3\to {\mathbb{R}}_{+}$ be such that for every $(x,y)\in D$, there exist $z_1,z_2\in X$ such that $g\left(z_1\right)$ and $g\left(z_2\right)$ are linearly independent and

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}{\alpha }^{-n}\phi (x,y,k^n{z}_i)=0,i=1,2.\end{array}$$

(70)

Assume that $f:X\to Y_1$ satisfies

$$\begin{array}{c}\hfill \parallel f(x+y)+f(x-y)-2f\left(x\right)-2f\left(y\right),g\left(z\right)\parallel \le \phi (x,y,z),(x,y)\in D,z\in X.\end{array}$$

(71)

Then

$$\begin{array}{c}\hfill f(x+y)+f(x-y)=2f\left(x\right)+2f\left(y\right),(x,y)\in D.\end{array}$$

(72)

Proof. 

Fix $(x,y)\in D$ and $i\in \{1,2\}$. Then there exist $z_1,z_2\in X$ such that $g\left(z_1\right)$ and $g\left(z_2\right)$ are linearly independent and (70) holds and, by (71), for $i=1,2$,

$$\begin{array}{cc}\hfill \parallel f(x+y)+f(x-y)-2f\left(x\right)-2f\left(y\right),g\left(k^n{z}_i\right)\parallel & \le \phi (x,y,k^n{z}_i)\hfill \end{array}$$

(73)

whence

$$\begin{array}{c}\hfill \parallel f(x+y)+f(x-y)-2f\left(x\right)-2f\left(y\right),g\left(z_i\right)\parallel \le {\alpha }^{-n}\phi (x,y,k^n{z}_i).\end{array}$$

(74)

Letting $n\to \infty$ in (74), by (70) we get

$$\begin{array}{c}\hfill \parallel f(x+y)+f(x-y)-2f\left(x\right)-2f\left(y\right),g\left(z_i\right)\parallel =0,i=1,2.\end{array}$$

As vectors $z_1$ and $z_2$ are linearly independent, this implies that $f(x+y)+f(x-y)=2f\left(x\right)+2f\left(y\right)$ (see Lemma 1), which completes the proof. □

In view of Remark 2, it is easy to find numerous examples of functions $\phi$ and g satisfying the assumptions of Theorem 17.

The other main result in [47] (Theorem 2.2) is analogous with Theorem 16, but with inequality (67) replaced by

$$\begin{array}{c}\hfill \parallel f(x+y)+f(x-y)-2f\left(x\right)-2f\left(y\right),g\left(z\right)\parallel \le h(x,z)+h(y,z),\end{array}$$

(75)

where $h:X_0^2\to \mathbb{R}$ satisfies analogous assumptions as $h_1$ and $h_2$ in Theorem 16. The ambiguities regarding Theorem 2.2 of [47] are similar as for Theorem 2.1 of [47].

The authors in [48] obtained stability results for the functional equations

$$f(x+y,z+w)+f(x-y,z-w)=2f(x,z)+2f(y,w),$$

(76)

$$f(x+y,z-w)+f(x-y,z+w)=2f(x,z)+2f(y,w),$$

(77)

$$f(x+y,z-w)+f(x-y,z+w)=2f(x,z)-2f(y,w).$$

(78)

The main outcome in [48] for Equation (76) (i.e., Theorem 2.1 of [48]) can be written as follows.

Theorem 18.

Let X be a normed space, $p\in (0,2)$, $ϵ,\delta ,\eta \in {\mathbb{R}}_{+}$, and let $f:X\times X\to Y$ be a surjective mapping such that

$$\begin{array}{cc}\hfill \parallel f(x+y,z+w)& +f(x-y,z-w)-2f(x,z)-2f(y,w),f(u,v)\parallel \hfill \\ \hfill & \le ϵ+{\delta (\parallel x\parallel }^p+{\parallel y\parallel }^p+{\parallel z\parallel }^p+{\parallel w\parallel }^p)+\eta (\parallel u\parallel +\parallel v\parallel )\hfill \end{array}$$

(79)

for all $x,y,z,w,u,v\in X$. Then there exists a unique mapping $F:X^2\to Y$ satisfying (76) for all $x,y,z,w,u,v\in X$ such that

$$\parallel f(x,y)-F(x,y),f(u,v)\parallel \le \frac{ϵ}{3}+\frac{2\delta }{4-2^p}{(\parallel x\parallel }^p+{\parallel y\parallel }^p)+\frac{\eta }{3}(\parallel u\parallel +\parallel v\parallel )$$

for all $x,y,u,v\in X$.

Actually, it has been assumed in Theorem 2.1 of [48] that $ϵ>0$, but it is easily seen that the theorem is also true for $ϵ=0$; this can be deduced from Theorem 2.1 of [48] (i.e., from our Theorem 18) with $ϵ\to 0$, or from the proof of it.

Similar results have been obtained in [48] for Equations (77) and (78).

In [49], the author applied the fixed point theorem in [41] to study the stability of the subsequent functional equation (of the p-Wright affine functions)

$$g(p{x}_1+(1-p)x_2)+g((1-p)x_1+p{x}_2)=g\left(x_1\right)+g\left(x_2\right),$$

(80)

with a fixed $p\in \mathbb{R}$ and a mapping g from a nonempty set $E\subset Y$ into Y. The main stability result in [49] can be written as follows.

Theorem 19.

Let $E\subset Y$ be nonempty, $Y_0\subset Y$ contain two linearly independent vectors, $p\in \mathbb{R}$, $A,k\in (0,\infty )$,

$${\left|p\right|}^k+{|1-p|}^k<1,$$

$$p{x}_1+(1-p)x_2\in E,x_1,x_2\in E,$$

and $g:E\to Y$ satisfy

$$\begin{array}{cc}\hfill \parallel g(p{x}_1+(1-p)x_2)& +g((1-p)x_1+p{x}_2)-g\left(x_1\right)-g\left(x_2\right),y\parallel \hfill \\ \hfill & \le A(\parallel x_1{,y\parallel }^k+\parallel x_2,y{\parallel }^k),x_1,x_2\in E,y\in Y_0.\hfill \end{array}$$

(81)

Then there exists a unique mapping $G:E\to Y$ such that

$$G(p{x}_1+(1-p)x_2)+G((1-p)x_1+p{x}_2)=G\left(x_1\right)+G\left(x_2\right),x,y\in E,$$

(82)

$$\parallel g\left(x\right)-G\left(x\right),y\parallel \le \frac{A\parallel x,y\parallel }{1-{\left|p\right|}^k-{|1-p|}^k},x\in E,y\in Y_0.$$

Moreover, G is the unique mapping fulfilling (82) such that there exists a constant $M\in (0,\infty )$ with

$$\parallel g\left(x\right)-G\left(x\right),y\parallel \le {M\parallel x,y\parallel }^k,x\in E,y\in Y_0.$$

However, under an additional assumption of $Y_0$, in the case $k\ne 1$, we can obtain the following better result.

Theorem 20.

Let E be a nonempty subset of a real linear space X, $D\subset E^2$ be nonempty, $p\in \mathbb{R}$, $A_1,A_2,k\in \mathbb{R}$, and $Y_0\subset Y_1$ be such that there exist two linearly independent vectors $z_1,z_2\in Y_1$ and $l_1,l_2\in \mathbb{R}\backslash \left\{0\right\}$ such that $|l_i{|}^{k-1}>1$ and $l_i^n{z}_i\in Y_0$ for $i=1,2$ and $n\in \mathbb{N}$. Assume that $g:E\to Y_1$ satisfies the inequality

$$\begin{array}{cc}\hfill \parallel g(p{x}_1+(1-p)x_2)+g((1-p)x_1+p{x}_2)& -g\left(x_1\right)-g\left(x_2\right),y\parallel \hfill \\ \hfill & \le A_1\parallel x_1{,y\parallel }^k+A_2{\parallel x_2,y\parallel }^k\hfill \end{array}$$

(83)

for every $y\in Y_0$ and every $(x_1,x_2)\in D$ such that $p{x}_1+(1-p)x_2\in E$. Then

$$\begin{array}{c}\hfill g(p{x}_1+(1-p)x_2)+g((1-p)x_1+p{x}_2)=g\left(x_1\right)+g\left(x_2\right)\end{array}$$

(84)

for every $(x_1,x_2)\in D$ such that $p{x}_1+(1-p)x_2\in E$.

Proof. 

Fix $(x_1,x_2)\in D$ such that $p{x}_1+(1-p)x_2\in E$. Then, for each $n\in \mathbb{N}$ and $i=1,2$, we have $l_i^n{z}_i\in Y_0$ and, by (83),

$$\begin{array}{cc}\hfill \parallel g(p{x}_1+(1-p)x_2)& +g((1-p)x_1+p{x}_2)-g\left(x_1\right)-g\left(x_2\right),l_i^n{z}_i\parallel \hfill \\ \hfill & \le A_1\parallel x_1,l_i^n{z}_i{\parallel }^k+A_2{\parallel x_2,l_i^n{z}_i\parallel }^k,\hfill \end{array}$$

(85)

whence

$$\begin{array}{cc}\hfill \parallel g(p{x}_1+(1-p)x_2)& +g((1-p)x_1+p{x}_2)-g\left(x_1\right)-g\left(x_2\right),z_i\parallel \hfill \\ \hfill & \le l_i^{(k-1)n}\left(A_1\parallel x_1,z_i{\parallel }^k+A_2{\parallel x_2,z_i\parallel }^k\right).\hfill \end{array}$$

(86)

Letting $n\to \infty$ in (86), we get

$$\begin{array}{c}\hfill \parallel g(p{x}_1+(1-p)x_2)+g((1-p)x_1+p{x}_2)-g\left(x_1\right)-g\left(x_2\right),z_i\parallel =0\end{array}$$

for $i=1,2$. Since $z_1$ and $z_2$ are linearly independent vectors, this means that $g(p{x}_1+(1-p)x_2)+g((1-p)x_1+p{x}_2)-g\left(x_1\right)-g\left(x_2\right)=0$ (see Lemma 1), which completes the proof. □

The first main stability result in [50] can be rewritten as follows.

Theorem 21.

Let a and b be nonzero rational numbers, $h_1,h_2:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ be two functions such that

$$\begin{array}{cc}\hfill \mathcal{U}:=\{n\in \mathbb{N}:{\alpha }_n=2a^2{\lambda }_1\left(\frac{n+1}{a}\right)& {\lambda }_2\left(\frac{n+1}{a}\right)+2b^2{\lambda }_1\left(\frac{-n}{b}\right){\lambda }_2\left(\frac{-n}{b}\right)\hfill \\ \hfill +{\lambda }_1& (2n+1){\lambda }_2(2n+1)<1\}\ne \varnothing ,\hfill \end{array}$$

(87)

where

$${\lambda }_i\left(\rho \right):=inf\{t\in {\mathbb{R}}_{+}:h_i(\rho x^3,z)\le t{h}_i(x^3,z)forx,z\in \mathbb{R}\}$$

for every $\rho \in \mathbb{R}$ and $i=1,2$. Assume that $g:\mathbb{R}\to Y$ is a surjective mapping with $g\left(0\right)=0$, $f:\mathbb{R}\to Y$ satisfies

$$\begin{array}{c}\hfill \parallel f\left(\sqrt[3]{a{x}^3+b{y}^3}\right)+f\left(\sqrt[3]{a{x}^3-b{y}^3}\right)-2a^{2}f\left(x\right)-2b^{2}f\left(y\right),g\left(z\right)\parallel \le h_1(x^3,z)h_2(y^3,z)\end{array}$$

(88)

for all $x,y,z\in {\mathbb{R}}_0:=\mathbb{R}\backslash \left\{0\right\}$, and $f\left(0\right)=(a^2+b^2)f\left(0\right)$. Then there exists a unique function $T:{\mathbb{R}}_0\to Y$ satisfying

$$T\left(\sqrt[3]{a{x}^3+b{y}^3}\right)+T\left(\sqrt[3]{a{x}^3-b{y}^3}\right)=a^{2}T\left(x\right)+2b^{2}T\left(y\right),x,y\in {\mathbb{R}}_0,$$

(89)

and such that

$$\parallel f\left(x\right)-T\left(x\right),g\left(z\right)\parallel \le \beta h_1(x^3,z)h_2(x^3,z),x,z\in {\mathbb{R}}_0,$$

where

$$\beta =inf\left\{\frac{1}{1-{\alpha }_n}{\lambda }_1\left(\frac{n+1}{a}\right){\lambda }_2\left(\frac{-n}{b}\right):n\in \mathcal{U}\right\}.$$

It is not clear why in the above result a and b are assumed in [50] to be rational numbers and not just reals because it is not necessary for the proof.

Note that also for Equation (89), we can easily prove a result analogous to Theorem 17.

The other main stability result in [50] is analogous to Theorem 21, but with $h_1(x^3,z)h_2(y^3,z)$ in (88) replaced by $h(x^3,z)+h(y^3,z)$, where $h:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ fulfills an analogous assumption as $h_1$ and $h_2$. General remarks on solutions to equations similar to (89) can be found in [66].

In [51], the authors used the fixed point approach to investigate the stability of the functional equation

$$f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)=f\left(x\right)+2f\left(z\right).$$

(90)

The main stability result in [51] can be rewritten as follows.

Theorem 22.

Let $Y_0:=Y\backslash \left\{0\right\}$, E be a real linear space, $E_0:=E\backslash \left\{0\right\}$ and $h_1,h_2,h_3:{\mathbb{R}}^2\to {\mathbb{R}}_{+}$ be such that the set

$$\mathcal{U}:=\{n\in \mathbb{N}:{\lambda }_1(1+n){\lambda }_2(1+n){\lambda }_3(1+n)+{\lambda }_1\left(n\right){\lambda }_2\left(n\right){\lambda }_3\left(n\right)<1\}$$

is nonempty, where

$${\lambda }_i\left(n\right)=inf\{t\in {\mathbb{R}}_{+}:h_i(nx,w)\le t{h}_i(x,w)forx\in E_0,w\in Y_0\}$$

for all $n\in \mathbb{N}$ and $i=1,2,3$. Assume that $f:E\to Y$ satisfies

$$\parallel f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-2f\left(z\right)-f\left(x\right),w\parallel \le h_1(x,w)h_2(y,w)h_3(z,w)$$

for all $w\in Y_0$ and all $x,y,z\in E_0$ such that $x+y\ne -2z$ and $x-y\ne -2z$. Then there exists a unique $F:E_0\to Y$ such that

$$F\left(\frac{x+y}{2}+z\right)+F\left(\frac{x-y}{2}+z\right)=F\left(x\right)+2F\left(z\right)$$

for all $x,y,z\in E_0$ with $x+y\ne -2z$, $x-y\ne -2z$ and

$$\parallel f\left(x\right)-F\left(x\right),w\parallel \le \eta h_1(x,w)h_2(x,w)h_3(x,w),x\in E_0,w\in Y_0,$$

where

$$\eta =inf\left\{\frac{{\lambda }_1\left(n\right){\lambda }_2\left(n\right)}{1-{\lambda }_1(1+n){\lambda }_2(1+n){\lambda }_3(1+n)-{\lambda }_1\left(n\right){\lambda }_2\left(n\right){\lambda }_3\left(n\right)}:n\in \mathcal{U}\right\}.$$

(91)

Using ideas already applied earlier, we can obtain, e.g., the improved version of Theorem 22 given below. To this end, we need the following hypothesis, similar to hypothesis (L) (used in Theorem 4).

(L’)

$Y_0$ is a linear subspace of $Y_1$, E is a real linear space, $D\subset E^3$ is nonempty, $\phi :E^3\times Y_0\to {\mathbb{R}}_{+}$ and, for every $(x,y,z)\in D$, there exist linearly independent $w_1,w_2\in Y_0$ and two real sequences ${\left({\xi }_n^1\right)}_{n\in \mathbb{N}},{\left({\xi }_n^2\right)}_{n\in \mathbb{N}}$ such that ${\xi }_n^i\ne 0$ for $i=1,2$, $n\in \mathbb{N}$, and

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{1}{{\xi }_n^i}\phi (x,y,z,{\xi }_n^i{w}_i)=0,i=1,2.\end{array}$$

(92)

Theorem 23.

Let (L’) be valid. Assume that $f:E\to Y$ satisfies

$$\begin{array}{c}\hfill \parallel f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-2f\left(z\right)-f\left(x\right),w\parallel \le \phi (x,y,z,w)\end{array}$$

(93)

for all $w\in Y_0$ and all $(x,y,z)\in D$. Then (90) holds for all $(x,y,z)\in D$.

Proof. 

Fix $(x,y,z)\in D$. Then, according to hypothesis (L’), there exist linearly independent $z_1,z_2\in Y_0$ and two real sequences ${\left({\xi }_n^1\right)}_{n\in \mathbb{N}},{\left({\xi }_n^2\right)}_{n\in \mathbb{N}}$ such that ${\xi }_n^i\ne 0$ for $i=1,2$, $n\in \mathbb{N}$, and condition (92) holds. Hence, by (93), for all $n\in \mathbb{N}$ and $i=1,2$

$$\begin{array}{c}\hfill \parallel f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-2f\left(z\right)-f\left(x\right),{\xi }_n^i{w}_i\parallel \le \phi (x,y,z,{\xi }_n^{i}w),\end{array}$$

which yields

$$\begin{array}{c}\hfill \parallel f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-2f\left(z\right)-f\left(x\right),w_i\parallel \le \frac{1}{|{\xi }_n^i|}\phi (x,y,z,{\xi }_n^i{w}_i).\end{array}$$

(94)

Letting $n\to \infty$ in the inequality (94), on account of (92) we get

$$\parallel f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-2f\left(z\right)-f\left(x\right),w_i\parallel =0,i=1,2.$$

This implies (90) because $z_1$ and $z_2$ are linearly independent (see Lemma 1). □

In the next section, we present the stability results obtained for non-Archimedean 2-normed spaces.

4. Stability in Non-Archimedean 2-Normed Spaces

In [52], the authors have investigated the stability of the following functional inequality

$$\parallel f\left(x\right)+f\left(y\right)+f\left(az\right),w\parallel \le \parallel f(x+y)-f\left(az\right),w\parallel ,$$

for mapping f from a non-Archimedean 2-normed space into a non-Archimedean 2-Banach space, where a is a fixed non-zero integer. The first main stability result given in Theorem 2.2 of [52] can be written as follows.

Theorem 24.

Let X be a non-Archimedean 2-normed space and Y be a non-Archimedean 2-Banach space. Assume that $\varphi :X^3\to {\mathbb{R}}_{+}$ is such that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{\varphi ({(-2)}^{n}x,{(-2)}^{n}y,{(-2)}^{n}z)}{{\left|2\right|}^n}=0,x,y,z\in X,\end{array}$$

(95)

and the limit

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}max\left\{\frac{\varphi ({(-2)}^{k}x,{(-2)}^{k}x,{(-2)}^{k+1}\frac{x}{a})}{{\left|2\right|}^{k-1}}:0\le k\le n-1\right\}\end{array}$$

(96)

exists for all $x\in X$. Let $f:X\to Y$ be such that $f\left(0\right)=0$ and

$$\begin{array}{c}\hfill \parallel f\left(x\right)+f\left(y\right)+f\left(az\right),w\parallel \le \parallel f(x+y)-f(-az),w\parallel +\varphi (x,y,z),\\ \hfill x,y,z\in X,w\in Y.\end{array}$$

(97)

Then there exists an additive mapping $A:X\to Y$ such that

$$\begin{array}{c}\hfill \parallel f\left(x\right)-A\left(x\right),w\parallel \le \underset{n\to \infty }{lim}max\left\{\frac{\varphi ({(-2)}^{k}x,{(-2)}^{k}x,{(-2)}^{k+1}\frac{x}{a})}{{\left|2\right|}^{k-1}}:0\le k\le n-1\right\}\end{array}$$

(98)

for all $x\in X$ and $w\in Y$. Moreover, if for every $x\in X$

$$\underset{k\to \infty }{lim}\underset{n\to \infty }{lim}max\left\{\frac{\varphi ({(-2)}^{i}x,{(-2)}^{i}x,{(-2)}^{i+1}\frac{x}{a})}{{\left|2\right|}^i}:k\le i\le k+n-1\right\}=0,$$

then A is a unique additive mapping satisfying (98).

It seems that the authors assume in [52] that X and Y are over the same field $\mathbb{K}$ (but this is not precisely stated there). It is not clear why X is assumed to be a non-Archimedean 2-normed space because in the proof of Theorem 2.2 of [52], it is enough to assume that X is a linear space over a field in which $a\ne 0$. Moreover, it is necessary to assume that the characteristic of $\mathbb{K}$ is neither 3 nor 2 (this first property has been used without assuming it in the proof of Theorem 2.1 of [52], which, in turn, has been applied in the proof of Theorem 2.2 of [52]). Moreover, additional reasoning leads to the following improved result.

Theorem 25.

Let X and Y be as depicted above. Assume that $\varphi :X^3\to {\mathbb{R}}_{+}$ and $f:X\to Y$ satisfy (97). Then f is additive, i.e., $f(x+y)=f\left(x\right)+f\left(y\right)$ for every $x,y\in X$.

Proof. 

Since the valuation in $\mathbb{K}$ is assumed to be nontrivial (see Definition 3), there exists $b\in \mathbb{K}$ with $\left|b\right|>1$. Therefore, by (97), for every $n\in \mathbb{N}$, $x,y,z\in X$ and $w\in Y$ we get

$$\begin{array}{cc}\hfill {\left|b\right|}^n\parallel f\left(x\right)+f\left(y\right)+f\left(az\right),w\parallel & =\parallel f\left(x\right)+f\left(y\right)+f\left(az\right),b^{n}w\parallel \hfill \\ \hfill & \le \parallel f(x+y)-f(-az),b^{n}w\parallel +\varphi (x,y,z)\hfill \\ \hfill & ={\left|b\right|}^n\parallel f(x+y)-f(-az),w\parallel +\varphi (x,y,z),\hfill \end{array}$$

which implies that

$$\begin{array}{c}\hfill \parallel f\left(x\right)+f\left(y\right)+f\left(az\right),w\parallel \le {\parallel f(x+y)-f(-az),w\parallel +\left|b\right|}^{-n}\varphi (x,y,z)\end{array}$$

and consequently (with $n\to \infty$)

$$\begin{array}{c}\hfill \parallel f\left(x\right)+f\left(y\right)+f\left(az\right),w\parallel \le \parallel f(x+y)-f(-az),w\parallel .\end{array}$$

Note yet taking $x=y=z=0$ in the last inequality we have $3f\left(0\right)=0$, whence $f\left(0\right)=0$. Hence, by Theorem 24 with $\varphi (x,y,z)=0$ for all $x,y,z\in X$, we obtain the statement. □

The other stability result in Theorem 2.3 of [52] is similar to Theorem 24, with analogous ambiguities, and it can be improved in a similar way.

In [53], results analogous to Theorem 24 have been obtained for the inequalities

$$\parallel f(x+y)-f\left(x\right)-f\left(y\right),w\parallel \le \parallel \rho \left(2f\left(\frac{x+y}{2}\right)-f\left(x\right)-f\left(y\right)\right),w\parallel ,$$

$$\parallel 2f\left(\frac{x+y}{2}\right)-f\left(x\right)-f\left(y\right),w\parallel \le \parallel \rho \left(f(x+y)-f\left(x\right)-f\left(y\right)\right),w\parallel$$

for functions f mapping a non-Archimedean 2-normed space X into a non-Archimedean 2-Banach space Y over a field $\mathbb{F}$ with a non-Archimedean nontrivial valuation $|·|$, where $\rho \in \mathbb{F}$ is fixed and $\left|\rho \right|<1$ (actually the 2-norm in X seems to be superfluous in the proofs of the main results presented in Theorems 2.3, 2.5, 3.3 and 3.5 of [53], while some norms are necessary in X and Y in the corollaries following them).

Those results given in Theorems 2.3, 2.5, 3.3 and 3.5 of [53] can be improved with the analogous reasoning as in the proof of Theorem 25 and, therefore, we only present those modified versions (without proof) below. Namely, we have the following theorem.

Theorem 26.

Let X and Y be as depicted above. Let $\varphi :X^2\to {\mathbb{R}}_{+}$ and $f:X\to Y$ satisfy one of the following two inequalities

$$\begin{array}{c}\hfill \parallel f(x+y)-f\left(x\right)-f\left(y\right),w\parallel \le \parallel \rho \left(2f\left(\frac{x+y}{2}\right)-f\left(x\right)-f\left(y\right)\right),w\parallel +\varphi (x,y),\\ \hfill x,y\in X,w\in Y,\end{array}$$

$$\begin{array}{c}\hfill \parallel \rho \left(2f\left(\frac{x+y}{2}\right)-f\left(x\right)-f\left(y\right)\right),w\parallel \le \parallel \rho \left(f(x+y)-f\left(x\right)-f\left(y\right)\right),w\parallel +\varphi (x,y),\\ \hfill x,y\in X,w\in Y.\end{array}$$

Then, f is additive.

In [54], the authors considered the Ulam stability of the following system of functional equations

$$\begin{array}{ll}f(a{x}_1+b{x}_2,y,z)+f(a{x}_1-b{x}_2,y,z)=& 2af(x_1,y,z),\hfill \end{array}$$

(99)

$$\begin{array}{ll}f(x,a{y}_1+b{y}_2,z)+f(x,a{y}_1-b{y}_2,z)=& a{b}^2\left(f(x,y_1+y_2,z)+f(x,y_1-y_2,z)\right)\\ & +2a(a^2-b^2)f(x,y_1,z),\end{array}$$

(100)

$$\begin{array}{ll}f(x,y,a{z}_1+b{z}_2)+f(x,y,a{z}_1-b{z}_2)=& a^2{b}^2\left(f(x,y,z_1+z_2)+f(x,y,z_1-z_2)\right)\hfill \\ \hfill & +2a^2(a^2-b^2)f(x,y,z_1)\hfill \\ \hfill & -2b^2(a^2-b^2)f(x,y,z_2)\hfill \end{array}$$

(101)

for functions f mapping a non-Archimedean normed space X into a non-Archimedean 2-Banach space Y, where $a,b$ are nonzero integers and $a\ne \pm 1,\pm b$. Namely, under some additionally, rather involved, assumptions on functions ${\varphi }_1,{\varphi }_2,{\varphi }_3:X^3\to {\mathbb{R}}_{+}$, they have studied the inequalities

$$\begin{array}{c}\hfill \parallel Q_1(x,y_1,y_2,z),w\parallel \le {\varphi }_1(x_1,x_2,y,z),x_1,x_2,y,z\in X,w\in Y,\end{array}$$

(102)

$$\begin{array}{c}\hfill \parallel Q_2(x,y_1,y_2,z),w\parallel \le {\varphi }_2(x,y_1,y_2,z),x,y_1,y_2,z\in X,w\in Y,\end{array}$$

(103)

$$\begin{array}{c}\hfill \parallel Q_3(x,y,z_1,z_2),w\parallel \le {\varphi }_3(x,y,z_1,z_2),x,y,z_1,z_2\in X,w\in Y,\end{array}$$

(104)

where

$$\begin{array}{cc}\hfill Q_1(x_1,x_2,y,z):=& f(a{x}_1+b{x}_2,y,z)+f(a{x}_1-b{x}_2,y,z)-2af(x_1,y,z),\hfill \\ \hfill Q_2(x,y_1,y_2,z):=& f(x,a{y}_1+b{y}_2,z)+f(x,a{y}_1-b{y}_2,z)\hfill \\ \hfill & -a{b}^2\left(f(x,y_1+y_2,z)+f(x,y_1-y_2,z)\right)\hfill \\ \hfill & -2a(a^2-b^2)f(x,y_1,z),\hfill \\ \hfill Q_3(x,y,z_1,z_2):=& f(x,y,a{z}_1+b{z}_2)+f(x,y,a{z}_1-b{z}_2)\hfill \\ \hfill & -a^2{b}^2\left(f(x,y,z_1+z_2)+f(x,y,z_1-z_2)\right)\hfill \\ \hfill & -2a^2(a^2-b^2)f(x,y,z_1)+2b^2(a^2-b^2)f(x,y,z_2).\hfill \end{array}$$

We do not present nor discuss those results here because the reasoning, which we have applied already several times, shows that the following (better than in [54]) outcome is true.

Theorem 27.

Let Y be a non-Archimedean normed space over a field $\mathbb{F}$ with a nontrivial valuation $|·|$. Let $(X,+)$ be a group (not necessarily commutative), a and b be integers, $\varphi :X^4\to {\mathbb{R}}_{+}$ and $f:X\to Y$ satisfy the system of inequalities (102)–(104). Then f fulfills Equations (99)–(101) for all $x,x_1,x_2,y,y_1,y_2,z,z_1,z_2\in X$.

Proof. 

Since the valuation in $\mathbb{F}$ is nontrivial, there exists $c\in \mathbb{F}$ with $\left|c\right|>1$. Therefore, by (102), for every $n\in \mathbb{N}$, $x_1,x_2,y,z\in X$ and $w\in Y$ we get

$$\begin{array}{c}\hfill {\left|c\right|}^n\parallel Q_1(x_1,x_2,y,z),w\parallel =\parallel Q_1(x_1,x_2,y,z),c^{n}w\parallel \le \varphi (x_1,x_2,y,z),\end{array}$$

whence

$$\begin{array}{c}\hfill \parallel Q_1(x_1,x_2,y,z){,w\parallel \le \left|c\right|}^{-n}\varphi (x_1,x_2,y,z),\end{array}$$

which (with $n\to \infty$) yields $Q_1(x_1,x_2,y,z)=0$ (see Lemma 1).

Analogously, we show that Equations (100) and (101) hold for all $x,y,y_1,y_2,z,z_1,z_2\in X$. □

5. Stability in $(\mathbf{2},\mathbf{\beta })$-Normed Spaces

In this section, we consider the Ulam stability results obtained for $(2,\beta )$-normed spaces. Let us start with a suitable definition (see [55,56]).

Definition 6.

Let $\beta \in (0,\infty )$, $\mathbb{K}$ be a field with a valuation $|·|:\mathbb{K}\to {\mathbb{R}}_{+}$ and let X be a linear space over $\mathbb{K}$ with a dimension greater than 1.

We say that a mapping $\parallel ·,·\parallel :X\times X\to {\mathbb{R}}_{+}$ is a $(2,\beta )$-norm in X if, for every $x_1,x_2,x_3\in X$ and $\alpha \in \mathbb{K}$, conditions (1)–(3) of Definition 3 are fulfilled and

(4’) 

$\parallel \alpha x_1,x_2{\parallel =\left|\alpha \right|}^{\beta }\parallel x_1,x_2\parallel$.

Let $\parallel ·,·\parallel :X\times X\to {\mathbb{R}}_{+}$ be a $(2,\beta )$-norm in X. Then we say that a pair $(X,\parallel ·,·\parallel )$ is a $(2,\beta )$-normed space. If $\mathbb{K}$ is the field of reals $\mathbb{R}$ and the valuation in $\mathbb{K}$ is the usual absolute value, then we say that $(X,\parallel ·,·\parallel )$ is a real linear $(2,\beta )$-normed space; if $\mathbb{K}$ is the field of complex numbers $\mathbb{C}$ and the valuation in $\mathbb{K}$ is the usual complex modulus, then we say that $(X,\parallel ·,·\parallel )$ is a complex $(2,\beta )$-normed space.

The notions of the Cauchy sequence, limit of a sequence, convergent sequence and $(2,\beta )$-Banach space are defined in the same way as for the 2-normed spaces.

Let $\beta \in (0,1]$ and $(X,\parallel ·,·\parallel )$ be a 2-normed space. Define ${\parallel ·,·\parallel }^{*}:X^2\to {\mathbb{R}}_{+}$ by

$${\parallel x,z\parallel }^{*}={\parallel x,z\parallel }^{\beta },x,z\in X.$$

Then it is very easy to check that $(X,\parallel ·,·{\parallel }^{*})$ is a $(2,\beta )$-normed space.

The stability of functional equations in $(2,\beta )$-Banach spaces has been considered in [55,56]. The main result in [55] reads as follows.

Theorem 28.

Let ${\mathbb{R}}_0:=\mathbb{R}\backslash \left\{0\right\}$, β be a fixed real number with $0<\beta \le 1$, $(X,\parallel ·{\parallel }_{\beta })$ be a $(2,\beta )$-Banach space and let $h_1,h_2:{\mathbb{R}}_0\times X\to {\mathbb{R}}_{+}$ be such that the set

$${\mathcal{M}}_0:=\left\{n\in N_2:a_n:=2^{\beta }{s}_{1,2}\left(n^3\right)+2^{\beta }{s}_{1,2}(n^3-1)+2^{\beta }{s}_{1,2}(2n^3-1)<1\right\}$$

is nonempty, where $s_{1,2}\left(n\right)=s_1\left(n\right)s_2\left(n\right)$ and

$$s_i\left(n\right):=inf\left\{t\in {\mathbb{R}}_{+}:h_i(n{x}^3,z)\le t{h}_i(x^3,z)forx\in {\mathbb{R}}_0,z\in X\right\}$$

for $i=1,2$ and $n\in \mathbb{N}$. Suppose that $f:\mathbb{R}\to X$ is such that $f\left(0\right)=0$ and

$$\parallel f\left(\sqrt[3]{x^3+y^3}\right)+f\left(\sqrt[3]{x^3-y^3}\right)-2f\left(x\right)-2f\left(y\right),z{\parallel }_{\beta }\le h_1(x^3,z)h_2(y^3,z)$$

for all $x,y\in {\mathbb{R}}_0$ and $z\in X$. Then there exists a unique $Q:\mathbb{R}\to X$ such that

$$Q(x+y)+Q(x-y)=2Q\left(x\right)+2Q\left(y\right),x,y\in {\mathbb{R}}_0,$$

and

$$\parallel f\left(x\right)-Q\left(x^3\right){,z\parallel }_{\beta }\le s_0{h}_1(x^3,z)h_2(x^3,z),(x,z)\in {\mathbb{R}}_0\times X,$$

where

$$s_0:=inf\left\{\frac{1}{1-a_n}{s}_1\left(n^3\right)s_2(n^3-1):n\in {\mathcal{M}}_0\right\}.$$

We can easily obtain a result complementary to this theorem, e.g., arguing analogously as in the proof of Theorem 17.

In [56], the author has proven a stability result for $(2,\beta )$-Banach spaces very similar to Theorem 19, and we can easily obtain an improved version of it analogous to Theorem 20.

In [45], the authors have investigated the stability of the functional equations

$$f\left(\sqrt{a{x}^2+b{y}^2}\right)=af\left(x\right)+bf\left(y\right),$$

(105)

$$f\left(\sqrt{c{x}^2+c{y}^2}\right)+f\left(\sqrt{|c{x}^2-d{y}^2|}\right)=2c^{2}f\left(x\right)+2d^{2}f\left(y\right),$$

(106)

with fixed positive reals $a,b,c,d$ such that $a+b\ne 1$ and $c^2+d^2\ne 1$ and for mappings f from $\mathbb{R}$ into a $(2,\beta )$-normed space Y. They have presented several interesting outcomes, but with similar imperfections as depicted in connection with Theorem 11.

6. Stability in Random 2-Normed Spaces

Finally, let us mention that in [57,58] the authors provided some Ulam stability results in random 2-normed spaces. Their forms are quite involved and go beyond the scope of this article, so we omit them. Let us only add that in [57], the stability of the pexiderized quadratic functional equation of the form

$$f(x+y)+f(x-y)=2g\left(x\right)+2h\left(y\right)$$

has been studied and in [58], the authors presented some stability results for the cubic functional equation

$$f(2x+y)+f(2x-y)=2f(x+y)+2f(x-y)+12f\left(x\right).$$

7. Conclusions

It can roughly be said that an equation (e.g., difference, differential, functional, integral) is Ulam stable if every function satisfying it approximately (in a given sense) must be (in some way) close to an accurate solution of the equation. Since the notions of ‘approximate solution’ and ‘closeness of two functions’ can be understood in various ways (see, e.g., [67]), such stability can also be considered in 2-normed spaces.

In this paper, we have presented and discussed the results on Ulam stability in 2-normed spaces provided in articles [40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58]. In this way, we complement the paper [23], where the results from [24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39] have been surveyed. We have shown how to supplement or improve several of these results. We also have pointed to various traps and mistakes that we have noticed in some of these papers.

Finally, let us mention that a natural generalization of the 2-normed space is the n-normed space. In our future work, we will prepare a similar survey (on Ulam stability in n-normed spaces) of the outcomes contained in [68,69,70,71,72,73,74,75,76,77,78,79,80,81,82] and in any papers on this subject still to be published.