Skip to main content

Hyperstability of Cauchy and Jensen functional equations in 2-normed spaces

Abstract

In this article, with simple and short proofs without applying fixed point theorems, some hyperstability results corresponding to the functional equations of Cauchy and Jensen are presented in 2-normed spaces. We also obtain some results on hyperstability for the general linear functional equation \(f(ax+by)=Af(x)+Bf(y)+C\).

1 Introduction

The stability problem of functional equations has been stimulated by Ulam [28]. In fact, he was the first to raise the stability problem of homomorphisms between groups. The first answer to Ulam’s question was given by Hyers [16]. The hyperstability and stability issues for many functional equations have been considered by several mathematicians. For more information and further references in this research area, we refer the reader to references [1, 2, 6, 10, 1720, 22, 27].

Let us recall one of the classic theorems about the stability of Cauchy functional equation \(\varphi (x+y)=\varphi (x)+\varphi (y)\).

Theorem 1.1

[4, 7, 15, 16, 25, 26] Suppose that X is a normed space and Y is a Banach space. Let \(\varepsilon \geqslant 0\) and \(p\neq 1\) be a real number. If a function \(f:X\to Y\) satisfies

$$ \bigl\Vert f(x+y)-f(x)-f(y) \bigr\Vert \leqslant \varepsilon \bigl( \Vert x \Vert ^{p}+ \Vert y \Vert ^{p}\bigr),\quad x,y\in X \setminus \{0\}, $$

then there exists a unique additive function \(A:X\to Y\) such that

$$ \bigl\Vert f(x)-A(x) \bigr\Vert \leqslant \frac{2\varepsilon}{ \vert 2-2^{p} \vert } \Vert x \Vert ^{p},\quad x \in X\setminus \{0\}. $$

The inequality \(\|f(x+y)-f(x)-f(y)\|\leqslant \varepsilon \|x\|^{p}\|y\|^{q}\), where \(p,q\) are real numbers with \(p+q\in [0,1)\), was investigated by J. M. Rassias [23, 24]. Brzdȩk [8] provided a complement for this result in the case \(p+q<0\) by using a fixed point theorem. A short and simple proof was provided in [21] for Brzdȩk’s result. Additionally, some further results concerning hyperstability of the Cauchy and Jensen functional equations can be found in [21]. Brzdȩk [9] presented two possible extensions of the results in [8] to the case of n-normed spaces. The main tool in his proof [9, Theorem 3] is a fixed point theorem.

In this paper, we investigate some results of [3, 8, 9, 21] to the case of 2-normed spaces with simple proofs. In addition, we obtain more results regarding the hyperstability of functional equations in 2-normed spaces.

Now, we summarize some facts about 2-normed spaces from [12]. Concepts of 2-metric spaces and 2-normed spaces were introduced by Gähler [13, 14].

Definition 1.2

Let \(\mathcal{Y}\) be a real linear space with \(\dim \mathcal{Y}\geqslant 2\). A function \(\|.,.\|:\mathcal{Y}\times \mathcal{Y}\to \mathbb{R}\) is said to be a 2-norm on \(\mathcal{Y}\) provided \(\|.,.\|\) satisfies the following four conditions:

  1. (i)

    \(\|x,y\|=0\) if and only if x and y are linearly dependent;

  2. (ii)

    \(\|\alpha x,y\|=|\alpha |\|x,y\|\);

  3. (iii)

    \(\|x,y\|=\|y,x\|\);

  4. (iv)

    \(\|x,y+z\|\leqslant \|x,y\|+\|x,z\|\);

for all \(x,y,z\in \mathcal{Y}\) and \(\alpha \in \mathbb{R}\). In this case \((\mathcal{Y},\|.,.\|)\) is called a 2-normed space. Obviously, it follows from \((ii)-(iv)\) that \(\|x,y\|\geqslant 0\) for each \(x,y\in \mathcal{Y}\).

Definition 1.3

A sequence \(\{y_{n}\}\) in a 2-normed space \((\mathcal{Y},\|.,.\| )\) is called a convergent sequence if there exists \(y\in \mathcal{Y}\) such that

$$\begin{aligned} \lim_{n\rightarrow \infty} \Vert y_{n}-y,z \Vert =0 \end{aligned}$$

for all \(z\in \mathcal{Y}\).

We refer the readers to [5, 11], which provide a survey of the existing literature on Ulam stability concerning functional equations in 2-normed spaces.

2 Superstability results in 2-normed spaces

In this section, we present certain superstability findings related to Cauchy and Jensen functional equations within 2-normed spaces. It is worth mentioning that some stability findings regarding these equations in such spaces are documented in [5].

We start this section with the following key lemmas.

Lemma 2.1

Suppose that \(\mathcal{Y}\) is a 2-normed space and \(u,v\in \mathcal{Y}\) are linearly independent elements. If \(x\in \mathcal{Y}\) and \(\|x,u\|=\|x,v\|=0\), then \(x=0\).

Proof

Since \(\|x,u\|=\|x,v\|=0\), there exist scalars \(\lambda , \mu \) such that \(x=\lambda u\) and \(x=\mu v\). Then \(\lambda u-\mu v=0\), and consequently, \(\lambda =\mu =0\). This yields \(x=0\). □

Lemma 2.2

Let \(\mathcal{Y}\) be a 2-normed space and \(\varphi :\mathcal{Y}\times \mathcal{Y}\to \mathcal{Y}\) be a function such that \(\|\varphi (x,y),z\|=0\) for all \(x,y,z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\neq 0\). Then \(\varphi (x,y)=0\) for all \(x,y\in \mathcal{Y}\setminus \{0\}\).

Proof

Let \(x,y\in \mathcal{Y}\setminus \{0\}\). We can choose linearly independent elements \(v,w\in \mathcal{Y}\) such that \(\|x,v\|\|y,v\|\|x,w\|\|y,w\|\neq 0\). Then

$$ \bigl\Vert \varphi (x,y),v \bigr\Vert =0 \quad\text{and}\quad \bigl\Vert \varphi (x,y),w \bigr\Vert =0. $$

Thus there exist scalars \(\lambda , \mu \) such that \(\varphi (x,y)=\lambda v\) and \(\varphi (x,y)=\mu w\). So, \(\lambda v-\mu w=0\), and we conclude that \(\lambda =\mu =0\). Therefore \(\varphi (x,y)=0\), and this completes the proof. □

Now we present the main results of this section. Throughout this section \(\delta ,\varepsilon \geqslant 0\) and \(p,q,r,s\) are real numbers whose restrictions are specified in theorems.

Theorem 2.3

Suppose that \(\mathcal{Y}\) is a 2-normed space and \(E\subseteq \mathcal{Y}\setminus \{0\}\) is a nonempty set. Let \(p+q\neq 1\) and \(\varphi :\mathcal{Y}\times \mathcal{Y}\to \mathcal{Y}\) satisfy

$$ \bigl\Vert \varphi (x,y),z \bigr\Vert \leqslant \textstyle\begin{cases} \delta +\varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}, & \textit{p+q< 1;} \\ \varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}, & \textit{p+q>1}, \end{cases} $$
(2.1)

for all \(x,y\in E\) and \(z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\neq 0\). Then

$$ \varphi (x,y)=0,\quad x,y\in E. $$

Proof

Two cases arise according to whether \(p+q<1\) or \(p+q>1\).

Case I: \(p+q<1\). Replacing z by nz in (2.1), we infer that

$$ \bigl\Vert \varphi (x,y),z \bigr\Vert \leqslant \frac{\delta}{n}+ \frac{n^{p+q}}{n} \varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q} $$

for all \(x,y\in E\) and \(z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\neq 0\). Allowing n tend to infinity in the last inequality, one obtains \(\|\varphi (x,y),z\|=0\) for all \(x,y\in E\) and \(z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\neq 0\). By Lemma 2.2, we conclude \(\varphi (x,y)=0\), as desired.

Case II: \(p+q>1\). Replacing z by \(\frac{z}{n}\) in (2.1), we infer that

$$ \bigl\Vert \varphi (x,y),z \bigr\Vert \leqslant \frac{n}{n^{p+q}}\varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q} $$

for all \(x,y\in E\) and \(z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\neq 0\). Now, with an argument similar to the previous case, the proof is complete. □

Corollary 2.4

Suppose that \(\mathcal{Y}\) is a 2-normed space and \(E\subseteq \mathcal{Y}\setminus \{0\}\) is a nonempty set. Let \(p+q\neq 1\) and \(f,g,h:E\to \mathcal{Y}\) be functions satisfying

$$ \bigl\Vert f(x+y)-g(x)-h(y),z \bigr\Vert \leqslant \textstyle\begin{cases} \delta +\varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}, & \textit{p+q< 1;} \\ \varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}, & \textit{p+q>1}, \end{cases} $$

for every \(z\in \mathcal{Y}\) and \(x,y\in E\) with \(x+y\in E\) and \(\|x,z\|\|y,z\|\neq 0\). Then

$$ f(x+y)=g(x)+h(y),\quad x,y\in E, x+y\in E. $$

Theorems 2.1 and 2.2 of [3] can be easily obtained from the following corollary.

Corollary 2.5

Suppose that \(\mathcal{Y}\) is a 2-normed space and \(E\subseteq \mathcal{Y}\setminus \{0\}\) is a nonempty set. Let \(p+q\neq 1\) and \(f:E\to \mathcal{Y}\) satisfy

$$ \biggl\Vert 2f \biggl(\frac{x+y}{2} \biggr)-f(x)-f(y),z \biggr\Vert \leqslant \textstyle\begin{cases} \delta +\varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}, & \textit{p+q< 1;} \\ \varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}, & \textit{p+q>1}, \end{cases} $$

for every \(z\in \mathcal{Y}\) and \(x,y\in E\) with \(\frac{x+y}{2}\in E\) and \(\|x,z\|\|y,z\|\neq 0\). Then

$$ 2f \biggl(\frac{x+y}{2} \biggr)=f(x)+f(y),\quad x,y\in E, \frac{x+y}{2}\in E. $$

Remark 2.6

It should be noted that in the case of \(p+q=1\), none of the conditions \(C_{1}\) and \(C_{2}\) in Theorem 2.2 of [3] are fulfilled.

Brzdȩk [9, Theorem 3] proved a version of the following theorem by using a fixed point theorem. Here we present, without using the fixed point theorem, a short and simple proof.

Theorem 2.7

Suppose that \((X,\|.\|_{*})\) is a normed space and \(\mathcal{Y}\) is a 2-normed space. Let \(u,v\in \mathcal{Y}\) be linearly independent elements and \(\mu :\mathcal{Y}_{0}\to (0,+\infty )\), where \(\mathcal{Y}_{0}:=\mathcal{Y}\setminus \{0\}\). Assume that \(E\subseteq X\setminus \{0\}\) is a nonempty with this property: for every \(x\in E\), there is an integer \(m_{x}>0\) such that \(nx\in E\) for each integer \(n\geqslant m_{x}\). Let \(p+q<0\). Then a function \(f:X\to \mathcal{Y}\) fulfills

$$ \bigl\Vert f (x+y )-f(x)-f(y),z \bigr\Vert \leqslant \Vert x \Vert _{*}^{p} \Vert y \Vert _{*}^{q} \mu (z),\quad x,y,x+y\in E, z\in \{u,v\}, $$
(2.2)

if and only if \(f(x+y)=f(x)+f(y)\) for all \(x,y\in E\) with \(x+y\in E\).

Proof

It is clear that if f is additive on E, then f satisfies (2.2). For the converse implication, we can assume that \(p<0\). Let \(x,y\in E\) with \(x+y\in E\). By hypothesis, we can find an integer \(m>0\) such that \(nx, ny, n(x+y)\in E\) for each \(n\geqslant m\). By (2.2), we have

$$\begin{aligned} &\bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert \leqslant n^{p} \Vert x \Vert _{*}^{p+q} \mu (z), \\ &\bigl\Vert f(ny+y)-f(ny)-f(y),z \bigr\Vert \leqslant n^{p} \Vert y \Vert _{*}^{p+q} \mu (z), \\ &\bigl\Vert f\bigl(n(x+y)+(x+y)\bigr)-f\bigl(n(x+y)\bigr)-f(x+y),z \bigr\Vert \leqslant n^{p} \Vert x+y \Vert _{*}^{p+q}\mu (z) \end{aligned}$$

for all \(z\in \{u,v\}\). Allowing n tend to infinity in the above three inequalities, we get

$$\begin{aligned} &\lim_{n\to \infty} \bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert =0, \\ &\lim_{n\to \infty} \bigl\Vert f(ny+y)-f(ny)-f(y),z \bigr\Vert =0, \\ &\lim_{n\to \infty} \bigl\Vert f\bigl(n(x+y)+(x+y)\bigr)-f \bigl(n(x+y)\bigr)-f(x+y),z \bigr\Vert =0. \end{aligned}$$

Then

$$\begin{aligned} &\bigl\Vert f(x+y)-f(x)-f(y),z \bigr\Vert \\ &\quad\leqslant \lim _{n\to \infty} \bigl\Vert f(x+y)+f\bigl(n(x+y)\bigr)-f \bigl(n(x+y)+(x+y)\bigr),z \bigr\Vert \\ &\qquad{} +\lim_{n\to \infty} \bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert \\ &\qquad{} +\lim_{n\to \infty} \bigl\Vert f(ny+y)-f(ny)-f(y),z \bigr\Vert \\ &\qquad{} +\lim_{n\to \infty} \bigl\Vert f\bigl(n(x+y)+(x+y) \bigr)-f(nx+x)-f(ny+y),z \bigr\Vert \\ &\qquad{} +\lim_{n\to \infty} \bigl\Vert f(nx)+f(ny)-f\bigl(n(x+y)\bigr),z \bigr\Vert \\ &\quad\leqslant \lim_{n\to \infty}\bigl[(n+1)^{p+q}+n^{p+q} \bigr] \Vert x \Vert _{*}^{p} \Vert y \Vert _{*}^{q} \mu (z)=0 \end{aligned}$$

for all \(z\in \{u,v\}\). This ends the proof. □

Theorem 2.8

Let \((X,\|.\|_{*})\) be a normed space, \(\mathcal{Y}\) be a 2-normed space, \(X_{0}:= X\setminus \{0\}\), \(\mathcal{Y}_{0}:=\mathcal{Y}\setminus \{0\}\), and \(\mu :\mathcal{Y}_{0}:\to (0,+\infty )\). Suppose that \(u,v\in \mathcal{Y}\) are linearly independent elements and a function \(f:X\to \mathcal{Y}\) fulfills

$$ \biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-f(y),z \biggr\Vert \leqslant \varepsilon \Vert x \Vert _{*}^{p} \Vert y \Vert _{*}^{q}\mu (z) $$
(2.3)

for all \(z\in \{u,v\}\) and \(x,y\in X_{0}\), where \(\min \{p,q\}<0\) and \(r\neq 0,1\). Then

$$ rf \biggl(\frac{x+y}{r} \biggr)=f(x)+(r-1)f \biggl(\frac{y}{r-1} \biggr),\quad x,y\in X_{0},x+y\in X_{0}. $$

Proof

We may assume that \(p<0\). Let \(x, y\in X_{0}\) and \(x+y\in X_{0}\). Then there is an integer \(m>0\) such that for all \(n\geqslant m\), (2.3) yields

$$\begin{aligned} &\biggl\Vert rf \biggl(\frac{nx+x}{r} \biggr)-f(nx)-f(x),z \biggr\Vert \leqslant \varepsilon n^{p} \Vert x \Vert _{*}^{p+q} \mu (z), \\ &\biggl\Vert rf \biggl(\frac{\frac{y}{r-1}+nx+(x+y)}{r^{2}} \biggr)-f \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr)-f \biggl(\frac{x+y}{r} \biggr),z \biggr\Vert \leqslant \varepsilon \biggl\Vert \frac{\frac{y}{r-1}+nx}{r} \biggr\Vert _{*}^{p} \biggl\Vert \frac{x+y}{r} \biggr\Vert _{*}^{q}\mu (z) \end{aligned}$$

for all \(z\in \{u,v\}\). Allowing \(n\to \infty \) in the above inequalities, one obtains

$$\begin{aligned} &f(x)=\lim_{n\to \infty} \biggl[rf \biggl(\frac{nx+x}{r} \biggr)-f(nx) \biggr], \\ &f \biggl(\frac{x+y}{r} \biggr)=\lim_{n\to \infty} \biggl[rf \biggl( \frac{\frac{y}{r-1}+nx+(x+y)}{r^{2}} \biggr)-f \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr) \biggr]. \end{aligned}$$

Then

$$\begin{aligned} & \biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-(r-1)f \biggl( \frac{y}{r-1} \biggr),z \biggr\Vert \\ &\quad=\lim_{n\to \infty} \biggl\Vert \biggl[r^{2}f \biggl( \frac{\frac{y}{r-1}+nx+(x+y)}{r^{2}} \biggr)-rf \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr) \biggr] - \biggl[rf \biggl( \frac{nx+x}{r} \biggr)-f(nx) \biggr] \\ &\qquad{} -(r-1)f \biggl(\frac{y}{r-1} \biggr),z \biggr\Vert \\ &\quad\leqslant \vert r \vert \limsup_{n\to \infty} \biggl\Vert rf \biggl( \frac{\frac{y}{r-1}+nx+x+y}{r^{2}} \biggr)-f \biggl(\frac{nx+x}{r} \biggr)-f \biggl( \frac{y}{r-1} \biggr),z \biggr\Vert \\ &\qquad{} +\limsup_{n\to \infty} \biggl\Vert rf \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr)-f(nx)-f \biggl(\frac{y}{r-1} \biggr),z \biggr\Vert \quad\text{(by (2.3))} \\ &\quad\leqslant \limsup_{n\to \infty}\varepsilon \biggl[ \vert r \vert \biggl( \frac{n+1}{r} \biggr)^{p}+n^{p} \biggr] \Vert x \Vert _{*}^{p} \biggl\Vert \frac{y}{r-1} \biggr\Vert _{*}^{q}\mu (z)=0 \end{aligned}$$

for all \(z\in \{u,v\}\). Therefore

$$ rf \biggl(\frac{x+y}{r} \biggr)=f(x)+(r-1)f \biggl(\frac{y}{r-1} \biggr) $$

for all \(x,y\in X_{0}\) with \(x+y\in X_{0}\). □

By using the idea of proving Theorem 2.8, one can obtain the following result.

Theorem 2.9

Let \((X,\|.\|_{*})\) be a normed space, \(\mathcal{Y}\) be a 2-normed space, \(X_{0}:= X\setminus \{0\}\), \(\mathcal{Y}_{0}:=\mathcal{Y}\setminus \{0\}\), and \(\mu :\mathcal{Y}_{0}:\to (0,+\infty )\). Suppose that \(u,v\in \mathcal{Y}\) are linearly independent elements and a function \(f:X\to \mathcal{Y}\) fulfills

$$ \biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-f(y),z \biggr\Vert \leqslant \Vert x \Vert _{*}^{p} \Vert y \Vert _{*}^{q}\bigl(\varepsilon \Vert x+y \Vert _{*}^{s}+\delta \Vert x-y \Vert _{*}^{s} \bigr) \mu (z) $$
(2.4)

for all \(z\in \{u,v\}\) and \(x,y\in X_{0}\) with \(x\pm y\in X_{0}\), where \(\min \{p+s,q+s\}<0\) and \(r\neq 0,1\). Then

$$ rf \biggl(\frac{x+y}{r} \biggr)=f(x)+(r-1)f \biggl(\frac{y}{r-1} \biggr),\quad x,y\in X_{0}, x+y\in X_{0}. $$

The following gives a result on hyperstability of the Jensen function defined on a restricted domain.

Corollary 2.10

Let \((X,\|.\|_{*})\) be a normed space, \(\mathcal{Y}\) be a 2-normed space, \(E\subseteq X\setminus \{0\}\) be a nonempty set with \(E+E\subseteq E\cap 2E\), and \(\mu :\mathcal{Y}_{0}:=\mathcal{Y}\setminus \{0\}\to (0,+\infty )\). Let \(u,v\in \mathcal{Y}\) be linearly independent elements. Assume that a function \(f:E\to \mathcal{Y}\) fulfills one of the following inequalities:

  1. (i)

    \(\min \{p,q\}<0\) and \(\Vert Jf(x,y),z \Vert \leqslant \varepsilon \|x\|_{*}^{p}\|y\|_{*}^{q} \mu (z), z\in \{u,v\}\) and \(x,y\in E\);

  2. (ii)

    \(\min \{p+s,q+s\}<0\) and \(\Vert Jf(x,y),z \Vert \leqslant \|x\|_{*}^{p}\|y\|_{*}^{q}( \varepsilon \|x+y\|_{*}^{s}+\delta \|x-y\|_{*}^{s})\mu (z)\)

for all \(z\in \{u,v\}\) and \(x,y\in E\) with \(x\pm y\in X_{0}\), where \(Jf(x,y)=2f (\frac{x+y}{2} )-f(x)-f(y)\). Then f is Jensen on E, i.e.,

$$ 2f \biggl(\frac{x+y}{2} \biggr)=f(x)+f(y),\quad x,y\in E. $$

Proof

Applying the proof of Theorem 2.8 for the case \(r=2\), one obtains the desired result. □

For the case \(r=1\), we have the following.

Theorem 2.11

Let X be a linear space, \(\mathcal{Y}\) be a 2-normed space, \(E\subseteq X\setminus \{0\}\) be a nonempty set with \(E+E\subseteq E\), and \(\mu :\mathcal{Y}\setminus \{0\}\to (0,+\infty )\). Let \(u,v\in \mathcal{Y}\) be linearly independent elements and \(\varphi :X\times X\to [0,+\infty )\) be a function satisfying

$$ \lim_{m\to \infty}\varphi (mx,y)=0\quad \Bigl(\textit{resp. } \lim _{m \to \infty}\varphi (x,my)=0 \Bigr), x,y\in E. $$

Assume that a function \(f:X\to \mathcal{Y}\) fulfills the inequality

$$ \bigl\Vert f(x+y)-f(x)-f(y),z \bigr\Vert \leqslant \varphi (x,y)\mu (z) $$
(2.5)

for all \(z\in \{u,v\}\) and \(x,y\in E\). Then

$$ f(x+y)=f(x)+f(y),\quad x,y\in E. $$

Proof

We may assume that \(\lim_{m\to \infty}\varphi (mx,y)=0\) for all \(x,y\in E\). Let \(x, y\in E\). Then (2.5) yields

$$\begin{aligned} &\bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert \leqslant \varphi (nx,x)\mu (z), \\ &\bigl\Vert f \bigl(nx+(x+y) \bigr)-f(nx)-f(x+y),z \bigr\Vert \leqslant \varphi (nx, x+y)\mu (z) \end{aligned}$$

for all \(z\in \{u,v\}\) and positive integers n. Allowing \(n\to \infty \) in the above inequalities, one obtains

$$\begin{aligned} &\lim_{n\to \infty} \bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert =0, \\ &\lim_{n\to \infty} \bigl\Vert f(x+y)-f (nx+x+y )+f(nx),z \bigr\Vert =0 \end{aligned}$$

for all \(z\in \{u,v\}\). Then

$$\begin{aligned} \bigl\Vert f(x+y)-f(x)-f(y),z \bigr\Vert \leqslant{}& \lim _{n\to \infty} \bigl\Vert f(x+y)-f (nx+x+y )+f(nx),z \bigr\Vert \\ & {}+\lim_{n\to \infty} \bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert \\ &{} +\lim_{n\to \infty} \bigl\Vert f (nx+x+y )-f(nx+x)-f(y),z \bigr\Vert \\ \leqslant{}& \lim_{n\to \infty}\varphi \bigl((n+1)x,y\bigr)\mu (z)=0 \end{aligned}$$

for all \(z\in \{u,v\}\). Therefore \(f(x+y)=f(x)+f(y)\) for all \(x,y\in E\). □

Corollary 2.12

Let \((X,\|.\|_{*})\) be a normed space, \(\mathcal{Y}\) be a 2-normed space, \(E\subseteq X\setminus \{0\}\) be a nonempty set with \(E+E\subseteq E\), and \(\mu :\mathcal{Y}\setminus \{0\}\to (0,+\infty )\). Take \(\delta ,\varepsilon \geqslant 0\) and let \(p,q,s\) be real numbers. Assume that \(u,v\in \mathcal{Y}\) are linearly independent elements and a function \(f:X\to \mathcal{Y}\) fulfills one of the following inequalities:

  1. (i)

    \(\Vert Df(x,y),z \Vert \leqslant \varepsilon \|x\|_{*}^{p}\|y\|_{*}^{q} \mu (z), \min \{p,q\}<0\),

  2. (ii)

    \(\Vert Df(x,y),z \Vert \leqslant \|x\|_{*}^{p}\|y\|_{*}^{q} ( \varepsilon \|x+y\|^{s}+\delta \|x-y\|^{s} )\mu (z), \min \{p+s,q+s\}<0\)

for all \(z\in \{u,v\}\) and \(x,y\in E\), where \(Df(x,y)=f(x+y)-f(x)-f(y)\). Then f is additive on E.

Theorem 2.13

Let \(\mathcal{Y}\) be a 2-normed space and \(f:\mathcal{Y}\to \mathcal{Y}\). Suppose that \(r\neq 0\) and

$$ \biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-f(y),z \biggr\Vert \leqslant \varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q} $$
(2.6)

for all \(x,y,z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\neq 0\). Then we have the following assertions:

  1. (i)

    if \(\min \{p,q\}<0\) and \(r\neq 1\), then

    $$ rf \biggl(\frac{x+y}{r} \biggr)=f(x)+(r-1)f \biggl(\frac{y}{r-1} \biggr),\quad x,y, x+y\neq 0; $$
  2. (ii)

    if \(p+q\neq 1\), then

    $$\begin{aligned} &rf \biggl(\frac{x+y}{r} \biggr)=f(x)+f(y),\quad x,y\neq 0; \\ &2f \biggl(\frac{x+y}{2} \biggr)=f(x)+f(y),\quad x,y, x+y\neq 0. \end{aligned}$$

Proof

We may assume that \(p<0\). Let \(x, y,z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\|x+y,z\|\neq 0\). We can choose m such that \(\Vert \frac{y}{r-1}+nx,z \Vert \neq 0\) for all \(n\geqslant m\). Then (2.6) yields

$$\begin{aligned} &\biggl\Vert rf \biggl(\frac{nx+x}{r} \biggr)-f(nx)-f(x),z \biggr\Vert \leqslant \varepsilon n^{p} \Vert x,z \Vert ^{p+q}, \\ &\biggl\Vert rf \biggl(\frac{\frac{y}{r-1}+nx+(x+y)}{r^{2}} \biggr)-f \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr)-f \biggl(\frac{x+y}{r} \biggr),z \biggr\Vert \leqslant \varepsilon \biggl\Vert \frac{\frac{y}{r-1}+nx}{r},z \biggr\Vert ^{p} \biggl\Vert \frac{x+y}{r},z \biggr\Vert ^{q}. \end{aligned}$$

Allowing n tend to infinity in the above inequalities, one obtains

$$\begin{aligned} &\lim_{n\to \infty} \biggl\Vert rf \biggl(\frac{nx+x}{r} \biggr)-f(nx)-f(x),z \biggr\Vert =0, \\ &\lim_{n\to \infty} \biggl\Vert rf \biggl( \frac{\frac{y}{r-1}+nx+(x+y)}{r^{2}} \biggr)-f \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr)-f \biggl(\frac{x+y}{r} \biggr),z \biggr\Vert =0. \end{aligned}$$

Then

$$\begin{aligned} & \biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-(r-1)f \biggl( \frac{y}{r-1} \biggr),z \biggr\Vert \\ &\quad\leqslant \lim_{n\to \infty} \vert r \vert \biggl\Vert -rf \biggl( \frac{\frac{y}{r-1}+nx+(x+y)}{r^{2}} \biggr)+f \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr)+f \biggl( \frac{x+y}{r} \biggr),z \biggr\Vert \\ &\qquad{} +\lim_{n\to \infty} \biggl\Vert rf \biggl(\frac{nx+x}{r} \biggr)-f(nx)-f(x),z \biggr\Vert \\ &\qquad{} + \vert r \vert \limsup_{n\to \infty} \biggl\Vert rf \biggl( \frac{\frac{y}{r-1}+nx+x+y}{r^{2}} \biggr)-f \biggl(\frac{nx+x}{r} \biggr)-f \biggl( \frac{y}{r-1} \biggr),z \biggr\Vert \\ &\qquad{} +\limsup_{n\to \infty} \biggl\Vert -rf \biggl( \frac{\frac{y}{r-1}+nx}{r} \biggr)+f(nx)+f \biggl(\frac{y}{r-1} \biggr),z \biggr\Vert \quad\text{(by (2.6))} \\ &\quad\leqslant \limsup_{n\to \infty}\varepsilon \biggl[ \vert r \vert \biggl( \frac{n+1}{r} \biggr)^{p}+n^{p} \biggr] \Vert x,z \Vert ^{p} \biggl\Vert \frac{y}{r-1},z \biggr\Vert ^{q}=0. \end{aligned}$$

Therefore

$$ \biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-(r-1)f \biggl( \frac{y}{r-1} \biggr),z \biggr\Vert =0 $$

for all \(x, y,z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\|x+y,z\|\neq 0\).

Let \(x,y\in \mathcal{Y}\) such that \(x, y, x+y\neq 0\). Since \(\dim \mathcal{Y}\geqslant 2\), there exist linearly independent elements \(z,w\in \mathcal{Y}\) such that \(\|x,z\|\|y,z\|\|x+y,z\|\|x,w\|\|y,w\|\|x+y,w\|\neq 0\). Indeed, if \(x,y\) are linearly independent, we let \(z=2x+y\) and \(w=x+2y\). If \(x,y\) are not linearly independent, there exists \(z\in \mathcal{Y}\) such that \(x,z\) are linearly independent, and we put \(w=x+z\). Consequently,

$$\begin{aligned} &\biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-(r-1)f \biggl( \frac{y}{r-1} \biggr),z \biggr\Vert =0, \\ &\biggl\Vert rf \biggl(\frac{x+y}{r} \biggr)-f(x)-(r-1)f \biggl( \frac{y}{r-1} \biggr),w \biggr\Vert =0. \end{aligned}$$

Thus, we infer

$$ rf \biggl(\frac{x+y}{r} \biggr)=f(x)+(r-1)f \biggl(\frac{y}{r-1} \biggr) $$

for all \(x,y\in \mathcal{Y}\) such that \(x, y, x+y\neq 0\). This proves (i).

The claims in (ii) are derived from Theorem 2.3. □

In Theorem 2.13, the case \(r=1\) is left out. So we now consider the case \(r=1\).

Theorem 2.14

Let \(\mathcal{Y}\) be a 2-normed space and \(f:\mathcal{Y}\to \mathcal{Y}\). Suppose that \(\min \{p,q\}<0\) and

$$ \bigl\Vert f (x+y )-f(x)-f(y),z \bigr\Vert \leqslant \varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q} $$
(2.7)

for all \(x,y,z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\neq 0\). Then f is additive on \(\mathcal{Y}\).

Proof

We may assume that \(p<0\). Let \(x,y,z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\|x+y,z\|\neq 0\). Then (2.7) yields

$$\begin{aligned} &\bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert \leqslant n^{p} \varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}, \\ &\bigl\Vert f \bigl(nx+(x+y) \bigr)-f(nx)-f(x+y),z \bigr\Vert \leqslant n^{p} \varepsilon \Vert x,z \Vert ^{p} \Vert x+y,z \Vert ^{q}. \end{aligned}$$

Allowing n tending to infinity in the above inequalities, one gets

$$\begin{aligned} &\lim_{n\to \infty} \bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert =0, \\ &\lim_{n\to \infty} \bigl\Vert f \bigl(nx+(x+y) \bigr)-f(nx)-f(x+y),z \bigr\Vert =0. \end{aligned}$$

Then

$$\begin{aligned} \bigl\Vert f(x+y)-f(x)-f(y),z \bigr\Vert \leqslant{}& \lim _{n\to \infty} \bigl\Vert f(x+y)-f \bigl(nx+(x+y) \bigr)+f(nx),z \bigr\Vert \\ &{} +\lim_{n\to \infty} \bigl\Vert f(nx+x)-f(nx)-f(x),z \bigr\Vert \\ &{} +\lim_{n\to \infty} \bigl\Vert f \bigl(nx+(x+y) \bigr)-f(nx+x)-f(y),z \bigr\Vert \\ \leqslant{}& \lim_{n\to \infty}(n+1)^{p}\varepsilon \Vert x,z \Vert ^{p} \Vert y,z \Vert ^{q}=0. \end{aligned}$$

Therefore

$$ \bigl\Vert f(x+y)-f(x)-f(y), z \bigr\Vert =0 $$

for all \(x,y,z\in \mathcal{Y}\) with \(\|x,z\|\|y,z\|\|x+y,z\|\neq 0\). With a proof similar to the argument of Theorem 2.13, we conclude that f is additive on \(\mathcal{Y}\). So the proof is complete. □

3 Hyperstability of the general linear functional equation

In this section, \((X,\|.\|_{*})\) denotes a normed space over the field \(\mathbb{F}\), \(\mathcal{Y}\) is a 2-normed space over the field \(\mathbb{K}\), and \(\mu :\mathcal{Y}\setminus \{0\}\to (0,+\infty )\). We also assume that \(A,B\in \mathbb{K}\), \(a, b\in \mathbb{F}\setminus \{0\}\), and \(C\in \mathcal{Y}\) are fixed.

Theorem 3.1

Let \(d>0\) and \(u,v\in \mathcal{Y}\) be linearly independent elements. Let \(\varphi : X\times X \rightarrow [0,+\infty )\) and \(f:X\to \mathcal{Y}\) be functions such that

$$ \lim_{m\to \infty}\varphi (mx,my)=0,\qquad \lim _{m\to \infty} \varphi \bigl(a^{-1}(m+1)x,-b^{-1}mx \bigr)=0,\quad x,y\in X\setminus \{0\}, $$
(3.1)

and

$$ \bigl\Vert f(ax+by)-Af(x)-Bf(y)-C,z \bigr\Vert \leqslant \varphi (x,y)\mu (z) $$
(3.2)

for all \(x,y\in E_{d}:=\{w\in X:~\|w\|_{*}\geqslant d\}\) and \(z\in \{u,v\}\). Then f satisfies

$$\begin{aligned} \begin{aligned} &Af(x)+Bf\bigl(-ab^{-1}x\bigr)=(A+B)f(0),\quad x\in X, \\ &f(ax+by)=Af(x)+Bf(y)+C, \qquad (1-A-B)f(0)=C,\quad x,y\in X\setminus \{0\}. \end{aligned} \end{aligned}$$
(3.3)

Proof

Replacing y by \(-b^{-1}mx\) and x by \(a^{-1}(m+1)x\) in (3.2), we have

$$ \bigl\Vert f(x)-Af\bigl(a^{-1}(m+1)x\bigr)-Bf \bigl(-b^{-1}mx\bigr)-C,z \bigr\Vert \leqslant \varphi \bigl(a^{-1}(m+1)x,-b^{-1}mx\bigr) \mu (z) $$
(3.4)

for all \(x\in X\setminus \{0\}, z\in \{u,v\}\) and positive integer \(m\geqslant n\), where \(a^{-1}(n+1)x, b^{-1}nx\in E_{d}\). Allowing \(m\to \infty \) in (3.4) and using (3.1), one obtains

$$ \lim_{m\to \infty} \bigl\Vert f(x)-Af \bigl(a^{-1}(m+1)x\bigr)-Bf\bigl(-b^{-1}mx\bigr)-C,z \bigr\Vert =0 $$
(3.5)

for all \(x\in X\setminus \{0\}\) and \(z\in \{u,v\}\). Let \(x\in X\setminus \{0\}\), then (3.1) and (3.5) yield

$$\begin{aligned} & \bigl\Vert Af(x)+Bf\bigl(-ab^{-1}x\bigr)-(A+B)f(0),z \bigr\Vert \\ &\quad \leqslant \lim_{m\to \infty} \bigl\Vert Af(x)-A^{2}f \bigl(a^{-1}(m+1)x\bigr)-ABf\bigl(-b^{-1}mx\bigr)-AC,z \bigr\Vert \\ &\qquad{} + \lim_{m\to \infty} \bigl\Vert Bf\bigl(-ab^{-1}x \bigr)-ABf\bigl(-b^{-1}(m+1)x\bigr)-B^{2}f\bigl(ab^{-2}mx \bigr)-BC,z \bigr\Vert \\ &\qquad{} + \lim_{m\to \infty} \bigl\Vert A^{2}f \bigl(a^{-1}(m+1)x\bigr)+ABf\bigl(-b^{-1}(m+1)x\bigr)+AC-Af(0),z \bigr\Vert \\ &\qquad{} + \lim_{m\to \infty} \bigl\Vert ABf\bigl(-b^{-1}mx \bigr)+B^{2}f\bigl(ab^{-2}mx\bigr)+BC-Bf(0),z \bigr\Vert \\ &\quad\leqslant \vert A \vert \lim_{m\to \infty}\varphi \bigl(a^{-1}(m+1)x,-b^{-1}(m+1)x\bigr) \mu (z) \\ & \qquad{}+ \vert B \vert \lim_{m\to \infty}\varphi \bigl(-b^{-1}mx,ab^{-2}mx \bigr)\mu (z)=0 \end{aligned}$$

for all \(z\in \{u,v\}\). Then

$$ Af(x)+Bf\bigl(-ab^{-1}x\bigr)=(A+B)f(0),\quad x\in X. $$
(3.6)

Replace y by \(-amx\) and x by \(bmx\) in (3.2) to obtain

$$ \bigl\Vert f(0)-Af(bmx)-Bf(-amx)-C,z \bigr\Vert \leqslant \varphi (bmx,-amx)\mu (z) $$
(3.7)

for all \(x\in X\setminus \{0\}\), \(z\in \{u,v\}\) and positive integer \(m\geqslant n\), where \(anx, bnx\in E_{d}\). On the other hand, replacing x by \(bmx\) in (3.6), we get

$$ (A+B)f(0)=Af(bmx)+Bf(-amx),\quad x\in X. $$

Therefore, (3.7) becomes as follows:

$$ \bigl\Vert f(0)-(A+B)f(0)-C,z \bigr\Vert \leqslant \varphi (bmx,-amx)\mu (z),\quad z \in \{u,v\}. $$

Letting \(m\to \infty \) in the inequality above, we get

$$ (1-A-B)f(0)=C. $$

This shows that (3.5) holds true for all \(x\in X\). To prove (3.3), let \(x,y\in X\setminus \{0\}\). By applying (3.5), we have

$$\begin{aligned} & \bigl\Vert f(ax+by)-Af(x)-Bf(y)-C,z \bigr\Vert \\ &\quad \leqslant \lim_{m\to \infty} \bigl\Vert f(ax+by)-Af \bigl(a^{-1}(m+1) (ax+by)\bigr)-Bf\bigl(-b^{-1}m(ax+by) \bigr)-C,z \bigr\Vert \\ & \qquad{}+\lim_{m\to \infty} \bigl\Vert -Af(x) +A^{2}f \bigl(a^{-1}(m+1)x\bigr)+ABf\bigl(-b^{-1}mx\bigr)+AC,z \bigr\Vert \\ & \qquad{}+\lim_{m\to \infty} \bigl\Vert -Bf(y)+ABf\bigl(a^{-1}(m+1)y \bigr)+B^{2}f\bigl(-b^{-1}my\bigr)+BC,z \bigr\Vert \\ &\qquad{} + \lim_{m\to \infty} \bigl\Vert Af\bigl(a^{-1}(m+1) (ax+by)\bigr)-A^{2}f\bigl(a^{-1}(m+1)x\bigr)\\ &\qquad{}-ABf \bigl(a^{-1}(m+1)y\bigr)-AC,z \bigr\Vert \\ &\qquad{} +\lim_{m\to \infty} \bigl\Vert Bf\bigl(-b^{-1}m(ax+by) \bigr)-ABf\bigl(-b^{-1}mx\bigr)-B^{2}f\bigl(-b^{-1}my \bigr)-BC,z \bigr\Vert \\ &\quad\leqslant \vert A \vert \lim_{m\to \infty}\varphi \bigl(a^{-1}(m+1)x,-a^{-1}(m+1)y\bigr) \mu (z) \\ &\qquad{} + \vert B \vert \lim_{m\to \infty}\varphi \bigl(-b^{-1}mx,-b^{-1}my \bigr)\mu (z)=0, z\in \{u,v\}. \end{aligned}$$

Thus f satisfies (3.3) for all \(x,y\in X\setminus \{0\}\). □

Corollary 3.2

Let \(d>0, \varepsilon ,\delta \geqslant 0\) and \(p,q,s\) be real numbers. Put \(Gf(x,y):=f(ax+by)-Af(x)-Bf(y)-C\) for a given function \(f:X\to \mathcal{Y}\). Suppose that \(u, v\in \mathcal{Y}\) are linearly independent elements. Then we have the following assertions:

  1. (i)

    if \(p,q<0\) and \(\|Gf(x,y),z\|\leqslant \varepsilon (\|x\|_{*}^{p}+\|y\|_{*}^{q})\mu (z)\) for all \(x,y\in E_{d}\) and \(z\in \{u,v\}\), then

    $$\begin{aligned} &f(ax+by)=Af(x)+Bf(y)+C, x,y\in X\setminus \{0\}, \\ &Af(x)+Bf\bigl(-ab^{-1}x\bigr)=(A+B)f(0), x\in X. \end{aligned}$$

    If \(a\pm b\neq 0\) and f satisfies one of the following inequalities:

  2. (ii)

    \(p+s,q+s<0\) and

    $$\begin{aligned} &\bigl\Vert Gf(x,y),z \bigr\Vert \leqslant \bigl( \Vert x \Vert _{*}^{p}+ \Vert y \Vert _{*}^{q} \bigr) \bigl(\varepsilon \Vert x+y \Vert _{*}^{s}+\delta \Vert x-y \Vert _{*}^{s}\bigr)\mu (z),\\ &\quad x,y\in E_{d}, x\pm y \neq 0, z\in \{u,v\}; \end{aligned}$$
  3. (iii)

    \(p+q+s<0\) and

    $$ \bigl\Vert Gf(x,y),z \bigr\Vert \leqslant \Vert x \Vert _{*}^{p} \Vert y \Vert _{*}^{q} \bigl(\varepsilon \Vert x+y \Vert _{*}^{s}+ \delta \Vert x-y \Vert _{*}^{s}\bigr)\mu (z),\quad x,y\in E_{d}, x\pm y\neq 0, z \in \{u,v\}, $$

    then f satisfies

    $$ f(ax+by)=Af(x)+Bf(y)+C,\quad x,y\in X\setminus \{0\}, x\pm y\neq 0. $$

Corollary 3.3

Let \(u,v\in \mathcal{Y}\) be linearly independent elements. Then each function \(f:X\to \mathcal{Y}\) fulfills one of the following statements:

  1. (i)

    \(f(ax+by)=Af(x)+Bf(y)+C, x,y\in X\setminus \{0\}\).

  2. (ii)

    \(\limsup_{\min \{\|x\|_{*},\|y\|_{*}\}\to \infty}\|f(ax+by)-Af(x)-Bf(y)-C,u \|\|x\|_{*}^{p}\|y\|_{*}^{q}=+\infty \), or \(\limsup_{\min \{\|x\|_{*},\|y\|_{*}\}\to \infty}\|f(ax+by)-Af(x)-Bf(y)-C,v \|\|x\|_{*}^{p}\|y\|_{*}^{q}=+\infty \) for all real numbers \(p, q\) with \(p+q>0\).

Corollary 3.4

Let \(u,v\in \mathcal{Y}\) be linearly independent elements. Then each function \(f:X\to \mathcal{Y}\) fulfills one of the following statements:

  1. (i)

    \(f(ax+by)=Af(x)+Bf(y)+C, x,y\in X\setminus \{0\}\);

  2. (ii)

    \(\limsup_{\min \{\|x\|_{*},\|y\|_{*}\}\to \infty} \frac{\|x\|_{*}^{p}\|y\|_{*}^{q}}{\|x\|_{*}^{p}+\|y\|_{*}^{q}}\|f(ax+by)-Af(x)-Bf(y)-C,u \|=+\infty \), or \(\limsup_{\min \{\|x\|_{*},\|y\|_{*}\}\to \infty} \frac{\|x\|_{*}^{p}\|y\|_{*}^{q}}{\|x\|_{*}^{p}+\|y\|_{*}^{q}}\|f(ax+by)-Af(x)-Bf(y)-C,v \|=+\infty \), for all real positive numbers \(p, q\).

Data availability

Not applicable.

References

  1. Aczél, J., Dhombres, J.: Functional Equations in Several Variables. Cambridge University Press, Cambridge (1989)

    Book  Google Scholar 

  2. Adam, M.: Alienation of the quadratic and additive functional equations. Anal. Math. 45, 449–460 (2019)

    Article  MathSciNet  Google Scholar 

  3. Almahalebi, M., Kabbaj, S., Kim, G.H.: On the hyperstability of Jensen functional equation in 2-Banach spaces. Fixed Point Theory 20(2), 417–429 (2019)

    Article  MathSciNet  Google Scholar 

  4. Aoki, T.: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 2, 64–66 (1950)

    Article  MathSciNet  Google Scholar 

  5. Bahyrycz, A., Brzdȩk, J., El-hady, E.-S., Lesniak, Z.: On Ulam stability of functional equations in 2-normed spaces—a survey. Symmetry 13, 2200 (2021)

    Article  Google Scholar 

  6. Bahyrycz, A., Piszczek, M.: Hyperstability of the Jensen functional equation. Acta Math. Hung. 142, 353–365 (2014)

    Article  MathSciNet  Google Scholar 

  7. Bourgin, D.G.: Classes of transformations and bordering transformations. Bull. Am. Math. Soc. 57, 223–237 (1951)

    Article  MathSciNet  Google Scholar 

  8. Brzdȩk, J.: A hyperstability result for the Cauchy equation. Bull. Aust. Math. Soc. 89(1), 33–40 (2014)

    Article  MathSciNet  Google Scholar 

  9. Brzdȩk, J., El-hady, E.-S.: On hyperstability of the Cauchy functional equation in n-Banach spaces. Mathematics 8(11), 1886 (2020)

    Article  Google Scholar 

  10. Czerwik, S.: Functional Equations and Inequalities in Several Variables. World Scientific, New Jersey (2002)

    Book  Google Scholar 

  11. El-hady, E., Brzdȩk, J.: On Ulam stability of functional equations in 2-normed spaces—a survey II. Symmetry 14, 1365 (2022)

    Article  Google Scholar 

  12. Freese, R.W., Cho, Y.J.: Geometry of linear 2-normed spaces. Nova Publishers

  13. Gähler, S.: 2-metrische Räume und ihre topologische Struktur. Math. Nachr. 26, 115–148 (1963)

    Article  MathSciNet  Google Scholar 

  14. Gähler, S.: Linear 2-normiete Räume. Math. Nachr. 28, 1–43 (1965)

    Article  Google Scholar 

  15. Gajda, Z.: On stability of additive mappings. Int. J. Math. Math. Sci. 14, 431–434 (1991)

    Article  MathSciNet  Google Scholar 

  16. Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941)

    Article  MathSciNet  Google Scholar 

  17. Hyers, D.H., Isac, G., Rassias, T.M.: Stability of Functional Equations in Several Variables. Birkhäuser, Basel (1998)

    Book  Google Scholar 

  18. Jung, S.-M.: Hyers–Ulam–Rassias Stability of Functional Equations in Nonlinear Analysis. Springer, New York (2011)

    Book  Google Scholar 

  19. Kannappan, P.: Functional Equations and Inequalities with Applications. Springer, New York (2009)

    Book  Google Scholar 

  20. Khosravi, B., Moghimi, M.B., Najati, A.: Asymptotic aspect of Drygas, quadratic and Jensen functional equations in metric Abelian groups. Acta Math. Hung. 155(2), 248–265 (2018)

    Article  MathSciNet  Google Scholar 

  21. Moghimi, M.B., Najati, A.: Some hyperstability and stability results for the Cauchy and Jensen equations. J. Inequal. Appl. 2022, Article ID 97 (2022)

    Article  MathSciNet  Google Scholar 

  22. Molaei, D., Najati, A.: Hyperstability of the general linear equation on restricted domains. Acta Math. Hung. 149(1), 238–253 (2016)

    Article  MathSciNet  Google Scholar 

  23. Rassias, J.M.: On approximation of approximately linear mappings by linear mappings. J. Funct. Anal. 46(1), 126–130 (1982)

    Article  MathSciNet  Google Scholar 

  24. Rassias, J.M.: On a new approximation of approximately linear mappings by linear mappings. Discuss. Math. 7, 193–196 (1985)

    MathSciNet  Google Scholar 

  25. Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)

    Article  MathSciNet  Google Scholar 

  26. Rassias, T.M.: On a modified Hyers–Ulam sequence. J. Math. Anal. Appl. 158, 106–113 (1991)

    Article  MathSciNet  Google Scholar 

  27. Saejung, S., Senasukh, J.: On stability and hyperstability of additive equations on a commutative semigroup. Acta Math. Hung. 159, 358–373 (2019)

    Article  MathSciNet  Google Scholar 

  28. Ulam, S.M.: Problems in Modern Mathematics (Science Editions). Wiley, New York (1964)

    Google Scholar 

Download references

Acknowledgements

The authors would like to thank the reviewers for the detailed and valuable suggestions that helped to improve the original manuscript to its present form.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

AN and YKY prepared the first draft of the manuscript, and all authors provided comments on earlier versions of the manuscript. AN and YKY contributed to the concept and design of the study. The final version of the manuscript was approved by all authors. AN supervised this project.

Corresponding authors

Correspondence to Abbas Najati or Masho Jima Kabeto.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Najati, A., Yengejeh, Y.K., Tamilvanan, K. et al. Hyperstability of Cauchy and Jensen functional equations in 2-normed spaces. J Inequal Appl 2024, 49 (2024). https://doi.org/10.1186/s13660-024-03116-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-024-03116-2

Mathematics Subject Classification

Keywords