• Original research
• Open access
• Published:

# On stability of the functional equation of p-Wright affine functions in (2, α)-Banach spaces

## Abstract

Stability of functional equations has recent applications in many fields. We show that the stability results obtained by J. Brzdęk and concerning the functional equation of the p-Wright affine function:

f(px1+(1−p)x2)+f((1−p)x1+px2)=f(x1)+f(x2),

can be proved also in (2, α)-Banach spaces, for some real number α(0,1). This is done using some fixed-point theorem.

## Introduction

The rabid development of the theory of functional equations has been strongly promoted by its applications in various fields, e.g., networks and communication (see, e.g., [4, 16, 17, 21, 31]). They have applications in computer graphics [29], in information theory [2, 28], in digital filtering [34], and in decision theory [1, 35]. Stability of functional equations is nowadays a popular subject with many interesting applications (see, e.g., [58, 12, 23, 30] for more details). Stability can be seen from different perspectives, see [30], and hundreds of researchers are dealing with such amazing topic. It has applications in optimization theory (see, e.g., [26]), it is somehow related to the notion of shadowing (see, e.g., [22]), and it has applications in the economy (see [13]).

The starting point of the stability of functional equations was due to S.M. Ulam who posed an open problem in 1940. The problem posed by Ulam can be stated as follows (see, e.g., [30]):

Let G1 be a group and (G2,d) a metric group. Given ε>0, does there exist δ>0 such that if g:G1G2 satisfies

$$d(g(xy),g(x)g(y))< \delta$$

for all x,yG1, then a homomorphism f:G1G2 exists such that

$$d(g(x),f(x))< \varepsilon,$$

for all x,yG1?

It should be noted that Hyers’s introduced a partial answer to Ulam’s problem in Banach spaces(see, e.g., [23]).

Stability is useful because it can be considered as an efficient tool for evaluating the error people usually face when replacing functions that satisfy some equations only approximately, by the exact solutions to those equations. Roughly speaking, an equation is said to be stable in some class of functions if any function from that class, satisfying the equation approximately (in some sense), is near (in some way) to an exact solution of the equation. In the last few decades, several stability problems of various (functional, difference, differential, integral) equations have been investigated by many mathematicians (see, e.g., [911, 24, 27] for more details), but mainly in classical spaces.

Since the notion of an approximate solution and the idea of nearness of two functions can be understood in many ways, depending on the needs and tools available in a particular situation. One of such non-classical measures of a distance can be introduced by the notion of a 2-norm. As far as we know, the concept of the linear 2-normed space was introduced first by Gähler et al. in [20], and it seems that the first work on the Hyers-Ulam stability of functional equations in complete 2-normed spaces (that is, 2-Banach spaces), see, e.g, [19]. See also [14, 33] for some details in 2-Banach spaces. In this article, we investigate the stability of the functional equation of the p-Wright affine functions investigated in [3] but in (2, α)-Banach spaces.

The article is organized as follows: in the “Preliminaries” section, we recall some definitions and the functional equation of our interest; the “Fixed-point theorem” section introduces the fixed-point theorem used in the stability; in the “Stability” section, we investigate the stability of the functional equation of the p-Wright affine functions; the “An observation on superstability” section introduces a simple observation on superstability; and the “Conclusion” section concludes our work.

## Preliminaries

Throughout the article, we use $$\mathbb {R}_{+}$$ to denote the set of nonnegative reals, $$\mathbb {R}$$ denotes the set of reals, $$\mathbb {N}$$ denotes the set of positive integers, and $$\mathbb {K}$$ to denote the field of real or complex numbers. Let 0<p<1 be a fixed real number. We say that a function f:

$$f:I \longmapsto \mathbb{R},$$

mapping a real nonempty interval I into the set of reals $$\mathbb {R}$$ is p-Wright convex provided (see, e.g., [15])

$$f(px_{1}+(1-p)x_{2})+f((1-p)x_{1}+px_{2}) \leq f(x_{1})+f(x_{2}),\,\, x_{1},x_{2} \in I.$$

If f satisfies the functional equation

$$f(px_{1}+(1-p)x_{2})+f((1-p)x_{1}+px_{2})=f(x_{1})+f(x_{2}),$$
(1)

then we say that it is p-Wright affine (see [15]). Note that for p=1/2, Eq. (1) becomes the Jensen’s functional equation

$$f(\frac{x_{1}+x_{2}}{2})=\frac{f(x_{1})+f(x_{2})}{2}.$$

For p=1/3, Eq. (1) takes the form

$$f(2x_{1}+x_{2})+f(x_{1}+2x_{2})=f(3x_{1})+f(3x_{2}),$$

which has been investigated by Najati and Park in [32]. The cases of more arbitrary p were studied in [15] (see also [25]). We prove some results concerning the Hyers-Ulam stability of (1). The method of the proof of the main result corresponds to some observations in [12] and the main tool in it is a fixed point. Let us recall first (see, for instance, [18]) some definitions.

### Definition 1

By a linear 2-normed space, we mean a pair (X,.,.) such that X is an at least two-dimensional real linear space and

$$\|\cdot,\cdot\|:X\times X\rightarrow \mathbb{R}$$

is a function satisfying the following conditions:

1. (1)

x1,x2=0 if and only if x1 and x2 are linearly dependent;

2. (2)

x1,x2=x2,x1 for x1,x2X

3. (3)

x1,x2+x3x1,x2+x1,x3 for xiX,i=1,2,3

4. (4)

βx1,x2=|β|x1,x2 for $$\beta \in \mathbb {R}$$ and x1,x2X.

A generalized version of a linear 2-normed spaces is the (2,α)-normed space defined in the following manner:

### Definition 2

Let α be a fixed real number with 0<α≤1, and let X be a linear space over $$\mathbb {K}$$ with dimX>1. A function

$$\|.,.\|_{\alpha}:X\times X \rightarrow \mathbb{R}_{+}$$

is called a (2,α)-norm on X if and only if it satisfies the following conditions:

1. (C1)

x1,x2α=0 if and only if x1 and x2 are linearly dependent;

2. (C2)

x1,x2α=x2,x1α for x1,x2X

3. (C3)

x1,x2+x3αx1,x2α+x1,x3α for xiX,i=1,2,3

4. (C4)

λx1,x2α=|λ|αx1,x2α for $$\lambda \in \mathbb {R}$$ and x1,x2X

The pair (X,.,.α) is called a (2,α)-normed space.

### Definition 3

A sequence $$(x_{n})_{n\in \mathbb {N}}$$ of elements of a linear (2,α)-normed space X is called a Cauchy sequence if there are linearly independent y,zX such that

$${\lim}_{n,m\rightarrow \infty} \|x_{n}-x_{m},z\|_{\alpha}=0 ={\lim}_{n,m\rightarrow \infty}\|x_{n}-x_{m},y\|_{\alpha},$$

whereas $$(x_{n})_{n\in \mathbb {N}}$$ is said to be convergent if there exists an xX (called a limit of this sequence and denoted by $${\lim }_{n\rightarrow \infty } x_{n}$$) with

$${\lim}_{n,m\rightarrow \infty} \|x_{n}-x,y\|_{\alpha}=0, y\in X.$$

A linear (2,α)-normed space in which every Cauchy sequence is convergent is called a (2,α)-Banach space.

Let us also mention that in linear (2,α)-normed spaces, every convergent sequence has exactly one limit and the standard properties of the limit of a sum and a scalar product are valid. Next, it is easily seen that we have the following property.

### Lemma 1

If X is a linear (2,α)-normed space, x,y,zX, y,z are linearly independent, and

$$\|x,y\|_{\alpha}=0=\|x,z\|_{\alpha},$$

then x=0.

Let us yet recall a lemma from [33].

### Lemma 2

If X is a linear (2,α)-normed space and $$(x_{n})_{n\in \mathbb {N}}$$ is a convergent sequence of elements of X, then

$${\lim}_{n\rightarrow \infty}\|x_{n},z\|_{\alpha} =\|{\lim}_{n\rightarrow \infty}x_{n},z\|_{\alpha}, z\in X.$$

We introduce a simple example of a (2,α)-normed space.

### Example 1

For x=(x1,x2), $$y=(y_{1},y_{2})\in X=\mathbb {R}^{2}$$, the (2,α)-norm on X is defined by

$$\|x,y\|_{\alpha}=|x_{1}y_{2}-x_{2}y_{1}|^{\alpha},$$

where α is a fixed real number with 0<α≤1.

The main tool used in this article is the following fixed-point theorem. It is a version of theorem 1 in [10]. In order to write it, we need the following assumptions.

## Fixed-point theorem

Let us introduce the following three assumptions:

1. (A1)

E is a nonempty set, (Y,.,.α) is a (2,α)-Banach space, Y0 is a subset of Y containing two linearly independent vectors, $$j \in \mathbb {N}$$,

$$f_{i}:E \rightarrow E, \,\, g_{i}:Y_{0}\rightarrow Y_{0}, \,\,\text{and}\,\,\, L_{i}:E\times Y_{0} \rightarrow \mathbb{R}_{+} \,\, \text{for} \,\, i = 1,\cdots, j;$$
2. (A2)

T:YEYE is an operator satisfying the inequality

$$\begin{array}{*{20}l} \| \mathrm{T}\xi(x)- \mathrm{T} \mu(x),y \|_{\alpha} &\;\leq \sum\limits_{i=1}^{j}L_{i}(x,y) \| \xi(f_{i}(x))-\mu(f_{i}(x)),g_{i}(y)\|_{\alpha}, \\ &\; \xi,\mu \in Y^{E}, \,x \in E, y\in Y_{0} \end{array}$$
(2)
3. (A3)

$$\Lambda :{\mathbb {R}}^{E\times Y_{0}}\rightarrow {\mathbb {R}}^{E\times Y_{0}}$$ is an operator defined by

$$\begin{array}{*{20}l} \Lambda \delta(x,y)&\;:=\sum\limits_{i=1}^{j}L_{i}(x,y) \delta(f_{i}(x),g_{i}(y)), \delta \in {\mathbb{R}}^{E\times Y_{0}}, \\ &\;x \in E, \,\,\,y\in Y_{0} \end{array}$$
(3)

Now, its the position to present the abovementioned fixed-point theorem.

### Theorem 1

Let hypotheses (A1)–(A3) hold and function

$$\varepsilon: E\times Y_{0} \rightarrow \mathbb{R}_{+} \,\, \text{and}\,\, \varphi: E \rightarrow Y$$

fulfill the following two conditions:

$$\|\mathrm{T} \varphi(x)-\varphi(x),y\|_{\alpha} \leq \varepsilon(x,y),\,\, x\in E,\,\, y\in Y_{0}$$
(4)
$$\varepsilon^{*}(x,y):=\sum\limits_{i=1}^{\infty} (\Lambda^{l} \varepsilon)(x,y) < \infty, \,\, x\in E,y\in Y_{0}$$
(5)

Then, there exists a unique fixed point ψ of T for which

$$\|\varphi(x)-\psi(x),y\|_{\alpha} \leq \varepsilon^{*}(x,y),\,\, x\in E,\,\, y\in Y_{0}.$$
(6)

Moreover,

$$\psi(x)={\lim}_{l\rightarrow \infty}(\mathrm{T}^{l}\varphi)(x), \,\, x\in E.$$
(7)

We skip the proof as it is illustrated in [12].

## Stability

In this section, we introduce the main result in this article that concerns the stability of Eq. (1); it corresponds in particular to some results in [12].

### Theorem 2

Let (A1) be valid, $$p\in \mathbb {K}, A,k\in (0,\infty), |p|^{\alpha k}+|1-p|^{\alpha k}<1$$, and

$$g:E \rightarrow Y$$

satisfy

$$\begin{array}{*{20}l} \|g(px_{1}+(1-p)x_{2})+g((1-p)x_{1}+px_{2})&-g(x_{1})-g(x_{2}),y \|_{\alpha} \\ \leq A\left(\|x_{1},y\|_{\alpha}^{k}+\|x_{2},y\|_{\alpha}^{k}\right)&,\,\, x_{1},x_{2} \in E, y\in Y_{0}. \end{array}$$
(8)

Then there exists a unique solution G:XY of Eq. (1) such that

$$\|g(x)-G(x),y \|_{\alpha} \leq \frac{A\|x,y\|_{\alpha}^{k}}{1-|p|^{\alpha k}-|1-p|^{\alpha k}}, x\in E$$
(9)

and G is given by

$$G(x):= g(0)+ {\lim}_{n\rightarrow \infty}\left(\mathrm{T}^{n}g_{0}\right)(x),\,\, x\in E,$$
(10)

where g0 and T are defined by (13) and (14). Moreover, G is the unique solution of Eq. (1) such that there exists a constant M(0,) with

$$\|g(x)-G(x),y\|_{\alpha}\leq M \|x,y\|_{\alpha}^{k},\,\, x\in E, y\in Y_{0}$$
(11)

### Proof

Note that (8) with x2=0 gives

$$\begin{array}{*{20}l} \|g(px_{1})+g((1-p)x_{1})-g(x_{1})-g(0),y \|_{\alpha} & \\ \leq A\left(\|x_{1},y\|_{\alpha}^{k}+\|y\|_{\alpha}^{k}\right),\,\, x_{1} \in E, y\in Y_{0} &\end{array}$$
(12)

Write

$$g_{0}(x_{1})=g(x_{1})-g(0),\,\, x_{1} \in E$$
(13)

and

$$\mathrm{T} \xi(x_{1})=\xi(px_{1})+\xi((1-p)x_{1}),\,\, x_{1}\in E, \xi\in Y^{E}.$$
(14)

Then (12) implies the inequality

$$\begin{array}{*{20}l} \|g_{0}(px_{1})+g_{0}((1-p)x_{1})&\;-g(x_{1})-g(0),y \|_{\alpha} \\ &\;\leq A (\|x_{1},y\|_{\alpha}^{k}),\,\, x_{1}\in E \end{array}$$
(15)

which means that

$$\|\mathrm{T} g_{0}(x_{1})-g_{0}(x_{1}),y \|_{\alpha} \leq A \left(\|x_{1},y\|_{\alpha}^{k}\right),\,\, x_{1}\in E.$$
(16)

Further, note that (A3) holds with k=2, f1(x)=px,f2(x)=(1−p)x,Li(x)=1 for i=1,2,xE. Define Λ as in (A3). Clearly, with $$\varepsilon (x):= A(\|x_{1},y\|_{\alpha }^{k})$$ for xE, we have

$$\begin{array}{*{20}l} \varepsilon^{*}(x_{1}):=\sum\limits_{n=0}^{\infty} (\Lambda^{n} \varepsilon)(x_{1}) &\; \\ \leq A (\|x_{1},y\|_{\alpha}^{k})\sum\limits_{n=0}^{\infty} &\;(|p|^{\alpha k}+|1-p|^{\alpha k})^{n} \\ =\frac{A(\|x_{1},y\|_{\alpha}^{k})}{1-|p|^{\alpha k}-|1-p|^{\alpha k}}&\;,\,\, x_{1}\in E. \end{array}$$
(17)

Hence, according to Theorem 2, there exists a unique solution G0:XY of the equation

$$G_{0}(x_{1})=G_{0}(px_{1})+G_{0}((1-p)x_{1}), \,\, x_{1} \in E$$
(18)

such that

$$\|g_{0}(x_{1})-G_{0}(x_{1}),y\|_{\alpha} \leq \frac{A\left(\|x_{1},y\|_{\alpha}^{k}\right)}{1-|p|^{\alpha k}-|1-p|^{\alpha k}}, \,\, x_{1}\in E;$$
(19)

moreover,

$$G_{0}(x_{1}):={\lim}_{n\rightarrow \infty}(\mathrm{T}^{n}g_{0})(x_{1}), \,\, x_{1}\in E.$$
(20)

Now we show that, for every $$x_{1}, x_{2} \in E, n \in \mathbb {N}_{0}$$ (nonnegative integers),

$$\begin{array}{*{20}l} \|\mathrm{T}^{n} g_{0}(px_{1}+(1-p)x_{2})+\mathrm{T}^{n} g_{0}((1-p)x_{1}+px_{2})& -\mathrm{T}^{n} g(x_{1})-\mathrm{T}^{n} g(x_{2}),y \|_{\alpha} \\ \leq A(|p|^{\alpha k}+|1-p|^{\alpha k})^{n} \left(\|x_{1},y\|_{\alpha}^{k}+\|x_{2},y\|_{\alpha}^{k}\right), & \,\, x_{1},x_{2} \in E, y\in Y_{0} \end{array}$$
(21)

It is easy to see that the case n=0 is just (8). Next, fix $$m \in \mathbb {N}_{0}$$ and assume that (21) holds for every x1,x2E with n=m. Then

$$\begin{array}{*{20}l} \|\mathrm{T}^{m+1} g_{0}(px_{1}+(1-p)x_{2})&\;+\mathrm{T}^{m+1} g_{0}((1-p)x_{1}+px_{2}) \\ -\mathrm{T}^{m+1} g(x_{1})-\mathrm{T}^{m+1}&\; g(x_{2}),y \|_{\alpha}=\|\mathrm{T}^{m} g_{0}(p(px_{1}+(1-p)x_{2})) \\ +\mathrm{T}^{m} g_{0}((1-p)(px_{1}&\;+(1-p)x_{2}))+\mathrm{T}^{m}g_{0}(p((1-p)x_{1}+px_{2})) \\ +\mathrm{T}^{m} &\;g_{0}((1-p)(1-p)x_{1}+px_{2}))-\mathrm{T}^{m} g_{0}(px_{1}) \\ -\mathrm{T}^{m} &\;g_{0}((1-p)x_{1})-\mathrm{T}^{m} g_{0}(px_{2})-\mathrm{T}^{m} g_{0}((1-p)x_{2}),y \|_{\alpha} \end{array}$$
(22)

which is clearly

$$\begin{array}{*{20}l} \leq \|\mathrm{T}^{m} g_{0}(ppx_{1}+(1-p)px_{2})+&\;\mathrm{T}^{m} g_{0}((1-p)px_{1}+ppx_{2})-\mathrm{T}^{m} g_{0}(px_{1}) \\ -\mathrm{T}^{m} g_{0}(px_{2}),y\|_{\alpha}+\|\mathrm{T}&\;^{m} g_{0}(p(1-p)x_{1}+(1-p)(1-p)x_{2}) \\ +\mathrm{T}^{m}g_{0}((1-p)(1-p)&\;x_{1}+p(1-p)x_{2}) \\ -\mathrm{T}^{m} g_{0}((1-p)x_{1})&\;-\mathrm{T}^{m} g_{0}(p(1-p)x_{2}),y\|_{\alpha} \\ \leq A (|p|^{\alpha k}+&\;|1-p|^{\alpha k})^{m} \left((p\|x_{1},y\|_{\alpha})^{k}+(p\|x_{2},y\|_{\alpha})^{k}\right) \\ +(|p|^{\alpha k}+|1-p|^{\alpha k})&\;^{m} \left(((1-p)\|x_{1},y\|_{\alpha})^{k}+((1-p)\|x_{2},y\|_{\alpha})^{k}\right) \\ =(|p|^{\alpha k}+|1-p|^{\alpha k})&\;^{m} \left((\|x_{1},y\|_{\alpha})^{k}+(\|x_{2},y\|_{\alpha})^{k}\right), \\ &\; x_{1},x_{2} \in E, y\in Y_{0}. \end{array}$$
(23)

Thus, by induction, we have shown that (21) holds for every x1,x2E and $$n\in \mathbb {N}_{0}$$. Letting n in (21), we obtain that

$$\begin{array}{*{20}l} G_{0}(px_{1}+(1-p)x_{2})&\;+ G_{0}((1-p)x_{1}+px_{2})=G_{0}(x_{1}) \\ &\; +G_{0}(x_{2}), \,\, x_{1},x_{2} \in E \end{array}$$
(24)

Write G(x1):=G0(x1)+g(0) for x1E. Then it is easily seen that

$$\begin{array}{*{20}l} G(px_{1}+(1-p)x_{2})&\;+ G((1-p)x_{1}+px_{2})=G(x_{1}) \\ &\;+G(x_{2}), \,\, x_{1},x_{2} \in E \end{array}$$
(25)

and (9) holds. It remains to show the uniqueness of G. So suppose that M0(0,) and G1:XY is a solution to (1) with

$$\|g(x_{1})-G_{1}(x_{1}),y\|_{\alpha}\leq M_{0}\|x_{1},y\|_{\alpha}, \,\, x_{1}\in E, y\in Y_{0}$$
(26)

Note that

$$G(0)=g(0)=G_{1}(0),$$
$$G_{1}(px_{1})+G_{1}((1-p)x_{1})=G_{1}(x_{1})+G_{1}(0),\,\, x_{1}\in E,$$
(27)
$$G(px_{1})+G((1-p)x_{1})=G(x_{1})+G(0), \,\, x_{1}\in E,$$
(28)

and, by (9),

$$\begin{array}{*{20}l} \|G(x_{1})-G_{1}(x_{1}),y\|_{\alpha} \leq \frac{(M+A)\|x_{1},y\|_{\alpha}^{k}}{1-|p|^{\alpha k}-|1-p|^{\alpha k}} & \\ =(M+A)\|x_{1},y\|_{\alpha}^{k} \sum\limits_{n=j}^{\infty} (|p|^{\alpha k}+|1-p|^{\alpha k})^{n}, \,\, x_{1}\in E &\end{array}$$
(29)

The case j=0 is exactly (29). So fix $$l\in \mathbb {N}_{0}$$ and assume that (29) holds for j=l. Then, in view of (27) and (28),

$$\begin{array}{*{20}l} \|G(x_{1})-G_{1}(x_{1}),y\|_{\alpha} &\; \\ =\|G(px_{1})+G((1-p)x_{1})&\;-G_{1}(px_{1})-G_{1}((1-p)x_{1}),y\|_{\alpha}, \\ \leq \|G(px_{1})-G_{1}(px_{1}),y\|_{\alpha}&\;+\|G((1-p)x_{1})-G_{1}((1-p)x_{1}),y\|_{\alpha} \\ \leq (M+A)(\|p\|_{\alpha}^{k}\|x_{1},y\|_{\alpha}^{k}&\; +\|(1-p)\|_{\alpha}^{k}\|x_{1},y\|_{\alpha}^{k}) \sum\limits_{n=l}^{\infty}(|p|^{\alpha k}+|1-p|^{\alpha k})^{n}, \\ \leq (M+A)\|x_{1},y\|_{\alpha}^{k} &\;\sum\limits_{n=l+1}^{\infty}(|p|^{\alpha k}+|1-p|^{\alpha k})^{n}, \,\, x_{1}\in E, y\in Y_{0} \end{array}$$

Thus, we have shown (29). Now, letting j in (29), we get G1=G. □

## An observation on superstability

The following is a very simple observation on the superstability of Eq. (1) complements Theorem 2.

### Theorem 3

Let (A1) be valid, $$p\in \mathbb {F}, A,k\in (0,\infty), |p|^{2\alpha k}+|1-p|^{2\alpha k}<1$$, and

$$g:E \rightarrow Y$$

satisfy

$$\|g(px_{1}+(1-p)x_{2})+g((1-p)x_{1}+px_{2})-g(x_{1})-g(x_{2}),y\|_{\alpha} \leq A \|x_{1},y\|_{\alpha}^{k} \|x_{2},y\|_{\alpha}^{k},$$
(30)

for every x1,x2E,yY0. Then g is a solution to (1).

### Proof

It is easy to see that (30) with x2=0 gives

$$g(x_{1})=g(px_{1})+g((1-p)x_{1})-g(0),\,\, x_{1}\in E$$
(31)

We show that, for every x1,x2E, $$y\in Y_{0}, n\in \mathbb {N}_{0},$$

$$\begin{array}{*{20}l} \| g(px_{1}+(1-p)x_{2})+g((1-p)x_{1}+px_{2}) -g(x_{1})-g(x_{2}),y\|_{\alpha} & \\ \leq A \left(|p|^{\alpha 2k}+|1-p|^{\alpha 2k}\right)^{n} \|x_{1},y\|_{\alpha}^{k} \|x_{2},y\|_{\alpha}^{k},\,\, &\end{array}$$
(32)

It is easy to see that the case n=0 is just (30). Next, fix $$m\in \mathbb {N}_{0}$$ and assume that (32) holds for every x1,x2E, with n=m. Then, by (31),

$$\begin{array}{*{20}l} \| g(px_{1}+(1-p)x_{2})+g((1-p)x_{1}+px_{2})-g(x_{1})-g(x_{2}),y\|_{\alpha} & \\ =\| g(p(px_{1}+(1-p)x_{2}))+g((1-p)(px_{1}+(1-p)x_{2})) & \\ +g(p((1-p)x_{1}+px_{2}))+g((1-p)((1-p)x_{1}+px_{2}))& \\ -g(px_{1})-g((1-p)x_{1})-g(px_{2})-g((1-p)x_{2}),y \|_{\alpha}& \end{array}$$
(33)

which is clearly

$$\begin{array}{*{20}l} \leq A \left(|p|^{\alpha 2k}+|1-p|^{\alpha 2k}\right)^{m} \|p\|_{\alpha}^{k} \|x_{1},y\|_{\alpha}^{k} \|p\|_{\alpha}^{k} \|x_{2},y \|_{\alpha}^{k} & \\ +A\left(|p|^{\alpha 2k}+|1-p|^{\alpha 2k}\right)^{m} \|1-p\|_{\alpha}^{k} \|x_{1},y\|_{\alpha}^{k} &\|1-p\|_{\alpha}^{k} \|x_{2},y \|_{\alpha}^{k} \\ =A \left(|p|^{\alpha 2k}+|1-p|^{\alpha 2k}\right)^{m+1} \|x_{1},y\|_{\alpha}^{k}& \|x_{2},y \|_{\alpha}^{k} \end{array}$$
(34)

for every x1,x2E,yY0. Therefore, by induction, we have shown that (32) holds for every x1,x2E and $$n\in \mathbb {N}_{0}$$. Letting n in (32), we obtain that g is a solution to (1). □

## Conclusion

In this paper, we managed to generalize some recent results concerning the stability of the functional equation of the p-Wright affine functions in (2, α)-Banach spaces, for some real number α(0,1]. The main tool in the investigation is a fixed-point theory. This work may be further generalized to be in (n, α)-Banach spaces, for some natural number n.

## References

1. Abbas, A. E., Aczél, J.: The role of some functional equations in decision analysis. Decis. Anal. 7(2), 215–228 (2010).

2. Aczél, J.: Notes on generalized information functions. Aequationes Math. 22(1), 97–107 (1981).

3. Brzdėk, J.: Stability of the equation of the p-Wright affine functions. Aequationes Math. 85, 497–503 (2013).

4. Brzdėk, J., El-hady, E., Förg-Rob, W., Zbigniew, L.: A note on solutions of a functional equation arising in a queuing model for a LAN gateway. Aequationes Math. 90(4), 671–681 (2016).

5. Brzdęk, J., Cadariu, L., Ciepliński, K.: Fixed point theory and the Ulam stability. J. Funct. Spaces. 2014, 16 (2014). Article ID 829419.

6. Brzdėk, J., Ciepliński, K., Leśniak, Z.: On Ulam’s type stability of the linear equation and related issues. Discret. Dyn. Nat. Soc. 2014, 14 (2014). Article ID 536791.

7. Brzdėk, J., Popa, D., Raṡa, I.: Hyers–Ulam stability with respect to gauges. J. Math. Anal. Appl. 453(1), 620–628 (2017).

8. Brzdėk, J., Popa, D., Raṡa, I., Xu, B.: Ulam stability of operators, mathematical analysis and its applications, vol. 1. Academic Press, Elsevier (2018).

9. Brzdėk, J., Ciepliński, K.: A fixed point approach to the stability of functional equations in non-Archimedean metric spaces. Nonlinear Anal. 74, 6861–6867 (2011).

10. Brzdėk, J., Chudziak, J., Pales, Zs.: A fixed point approach to stability of functional equations. Nonlinear Anal. 74, 6728–6732 (2011).

11. Brzdėk, J., Ciepliński, K.: Hyperstability and superstability. Abstr. Appl. Anal.2013 (2013). Art ID 401756.

12. Brzdėk, J., Ciepliński, K.: On a fixed point theorem in 2-Banach spaces and some of its applications. Acta Math. Sci. 38(2), 377–390 (2018).

13. Castillo, E., Ruiz-Cobo, M. R.: Functional equations and, modelling in science and engineering. Marcel Dekker, New York (1992).

14. Chung, S. C., Park, W. G.: Hyers-Ulam stability of functional equations in 2-Banach spaces. Int. J. Math. Anal. (Ruse). 6(17/20), 951–961 (2012).

15. Daróczy, Z., Lajkó, K., Lovas, R., Maksa, G., Páles, Z.: Functional equations involving means. Acta Math. Hung. 116(1-2), 79–87 (2007).

16. El-hady, E., Brzdėk, J., Nassar, H.: On the structure and solutions of functional equations arising from queueing models. Aequationes Math. 91(3), 445–477 (2017).

17. El-hady, E., Förg-Rob, W., Nassar, H.: On a functional equation arising from a network model. Appl. Math. 11(2), 363–372 (2017).

18. Freese, R. W., Cho, Y. J.: Geometry of linear 2-normed spaces. Nova Science Publishers, Inc, Hauppauge (2001).

19. Gao, J.: On the stability of the linear mapping in 2−normed spaces. Nonlinear Funct. Anal. Appl. 14(5), 801–807 (2009).

20. Gähler, S.: Lineare 2-normierte Räume. Math. Nachr. 28(1-2), 1–43 (1964).

21. Guillemin, F., Knessl, C., van Leeuwaarden, J.: Wireless three-hop networks with stealing {II}: exact solutions through boundary value problems. Queueing Syst. 74(2-3), 235–272 (2013).

22. Hayes, W., Jackson, K. R.: A survey of shadowing methods for numerical solutions of ordinary differential equations. Appl. Numer. Math. 53, 299–321 (2005).

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

24. Hyers, D. H., Isac, G., Rassias, Th. M.: Stability of functional equations in several variables. Birkhäuser, Boston (1998).

25. Jarczyk, W., Sablik, M.: Duplicating the cube and functional equations. Results Math. 26, 324–335 (1994).

26. Jung, S. -M., Popa, D., Rassias, M. T.: On the stability of the linear functional equation in a single variable on complete metric groups. J. Glob. Optim. 59(1), 165–171 (2014).

27. Jung, S. M.: Hyers-Ulam-Rassias stability of functional equations in nonlinear analysis. Springer, New York (2011).

28. Maksa, G.: The general solution of a functional equation related to the mixed theory of information. Aequationes Math. 22(1), 90–96 (1981).

29. Monreal, A., Tomás, M. S.: On some functional equations arising in computer graphics. Aequationes Math. 55(1-2), 61–72 (1998).

30. Moszner, Z.: Stability has many names. Aequationes Math. 90(5), 983–999 (2016).

31. Nassar, H., El-Hady, E.: Closed-form solution of a LAN gateway queueing model, contributions in mathematics and engineering. Springer, Cham (2016).

32. Najati, A., Park, C.: Stability of homomorphisms and generalized derivations on Banach algebras. J. Inequal. Appl., 1–12 (2009).

33. Park, W. G.: Approximate additive mappings in 2-Banach spaces and related topics. J. Math. Anal. 376(1), 193–202 (2011).

34. Sahoo, P. K., Székelyhidi, L.: On a functional equation related to digital filtering. Aequationes Math. 62(3), 280–285 (2001).

35. Sundberg, C., Wagner, C.: A functional equation arising in multi-agent statistical decision theory. Aequationes Math. 32(1), 32–37 (1987).

## Author information

Authors

### Contributions

The author worked on the results and also read and approved the final manuscript.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

### Publisher’s Note

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

## Rights and permissions

Reprints and permissions

El-hady, Es. On stability of the functional equation of p-Wright affine functions in (2, α)-Banach spaces. J Egypt Math Soc 27, 21 (2019). https://doi.org/10.1186/s42787-019-0024-y