## Abstract

We prove a fixed point theorem and show its applications in investigations of the Hyers-Ulam type stability of some functional equations (in single and many variables) in Riesz spaces.

**MSC:**39B82, 47H10.

Skip to main content
# A fixed point theorem and the Hyers-Ulam stability in Riesz spaces

## Abstract

## 1 Introduction

## 2 Preliminaries

## 3 Main result

## 4 The Hyers-Ulam stability

## 5 Stability of the equation of homomorphism for the square symmetric groupoids

## References

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

### Authors’ contributions

## Rights and permissions

## About this article

### Cite this article

### Keywords

- Research
- Open Access
- Published:

*Advances in Difference Equations*
**volume 2013**, Article number: 138 (2013)

We prove a fixed point theorem and show its applications in investigations of the Hyers-Ulam type stability of some functional equations (in single and many variables) in Riesz spaces.

**MSC:**39B82, 47H10.

The Hyers-Ulam stability for functional, but also for difference, differential and integral equations, is a very quickly growing area of investigations (for more details and further references, see, *e.g.*, [1–7]; examples of some recent results can be found in [8–20]). It is related to the notions of shadowing (see, *e.g.*, [21–23]) as well as to the theories of perturbation (see, *e.g.*, [24, 25]) and optimization. The first known result on such stability is due to Pólya and Szegö [26] and reads as follows.

*For every real sequence*
{({a}_{n})}_{n\in \mathbb{N}}
*with*
{sup}_{n,m\in \mathbb{N}}|{a}_{n+m}-{a}_{n}-{a}_{m}|\le 1
*, there is a real number*
*ω*
*such that*
{sup}_{n\in \mathbb{N}}|{a}_{n}-\omega n|\le 1
*. Moreover,*
\omega ={lim}_{n\to \mathrm{\infty}}{a}_{n}/n
*.*

But it was Ulam (*cf.* [27, 28]) who in 1940 gave the main motivation for the study of that subject, at the University of Wisconsin, where he presented some unsolved problems and in particular the following one.

*Let*
{G}_{1}
*be a group and*
({G}_{2},d)
*a metric group. Given*
\epsilon >0
*, does there exist*
\delta >0
*such that if*
f:{G}_{1}\to {G}_{2}
*satisfies*
d(f(xy),f(x)f(y))<\delta
*for all*
x,y\in {G}_{1}
*, then a homomorphism*
T:{G}_{1}\to {G}_{2}
*exists with*
d(f(x),T(x))<\epsilon
*for all*
x,y\in {G}_{1}
*?*

In 1941 Hyers [27] published an answer to it, which is presented below in a bit generalized form (see, *e.g.*, [4]).

*Let*
(X,+)
*be a commutative semigroup,*
*Y*
*be a Banach space and*
\epsilon >0
*. Then for every*
g:X\to Y
*with*
{sup}_{x,y\in X}\parallel g(x+y)-g(x)-g(y)\parallel \le \epsilon
*there is a unique*
f:X\to Y
*such that*
{sup}_{x\in X}\parallel g(x)-f(x)\parallel \le \epsilon
*and*

f(x+y)=f(x)+f(y),\phantom{\rule{1em}{0ex}}x,y\in X.

(1)

By now we express that result simply saying that *the Cauchy functional equation* (1) *is Hyers-Ulam stable (or has the Hyers-Ulam stability) in the class of functions* {Y}^{X}.

The Hyers-Ulam stability in Riesz spaces have already been studied in [29] (with a direct method) and in [11] (with an application of the spectral representation theorem). The main motivation for this kind of investigations follows from the pretty natural concept to pose the stability problem for a given functional equation in the settings of an ordered structure as an alternative for the topological or metric ones. To preserve the spirit of the Hyers-Ulam stability, we do that in a way which allows to sustain the full coincidence with the classical notion in the simplest case of real functions.

The fixed point approach has been already applied in the investigation of the Hyers-Ulam stability, *e.g.*, in [8, 12, 13, 30–37] and it seems that Baker (see [30]) has used this tool for the first time in this field; for a survey on this subject, see [38]. In this paper we continue this direction following the approach presented in [12, 13, 31]. We start our paper with a natural fixed point theorem and next derive some stability results from it.

In this paper, as usual, ℕ, {\mathbb{N}}_{0}, ℝ and {\mathbb{R}}_{+} denote the sets of all positive integers, nonnegative integers, real numbers and nonnegative real numbers, respectively.

For the readers’ convenience, we quote basic definitions and properties concerning Riesz spaces (see [39]).

**Definition 1** (*cf.* [39], Definition 11.1 and Definition 22.1)

We say that a real linear space *L*, endowed with a partial order \le \subset {L}^{2}, is a *Riesz space* if sup\{x,y\} exists for all x,y\in L and

ax+y\le az+y,\phantom{\rule{1em}{0ex}}x,y,z\in X,x\le z,a\in {\mathbb{R}}_{+};

we define the absolute value of x\in L by the formula |x|:=sup\{x,-x\}\ge 0.

A Riesz space *L* is called *Archimedean* if, for each x\in L, the inequality x\le 0 holds whenever the set \{nx:n\in \mathbb{N}\} is bounded from above.

It is easily seen that in a Riesz space *L* we have |v|\ge 0 and \alpha u\le \beta u for every v,u\in L, u\ge 0, and \alpha ,\beta \in \mathbb{R}, \alpha \le \beta.

There are several types of convergence that may be defined according to the order structure. One of them is the *relatively uniform convergence* defined as follows.

**Definition 2** (*cf.* [39], Definition 39.1)

Let *L* be a Riesz space and e\in L. A sequence {\{{f}_{n}\}}_{n\in \mathbb{N}} in *L* is said to *converge* *e-uniformly* to an element f\in L whenever, for every \epsilon >0, there exists a positive integer {n}_{0} such that |f-{f}_{n}|\le \epsilon e holds for all n\ge {n}_{0}. A sequence {\{{f}_{n}\}}_{n\in \mathbb{N}} in *L* is called *e-uniform Cauchy sequence* whenever, for every \epsilon >0, there exists a positive integer {n}_{1} such that |{f}_{m}-{f}_{n}|\le \epsilon e holds for all m,n\ge {n}_{1}.

Let us point out (see [[39], p.252]) that in a Riesz space *L* that is Archimedean, the *e*-uniform limit of a sequence in it, if exists, is unique and the fact that {\{{f}_{n}\}}_{n\in \mathbb{N}} converges *e*-uniformly to *f* will be denoted by {lim}_{n\to \mathrm{\infty}}^{e}{f}_{n}=f (in particular, if v\in L and {f}_{n}\ge v for n\in \mathbb{N}, then f\ge v).

**Definition 3** The series {\sum}_{i=0}^{\mathrm{\infty}}{a}_{i} in a Riesz space *L* is said to *converge* *e-uniformly* (for a given e\in L) to an element S\in L whenever the sequence {S}_{n}:={\sum}_{i=0}^{n}{a}_{i} converges *e*-uniformly to *S*. If *L* is Archimedean, then we write {\sum}_{i=0}^{\mathrm{\infty}}{a}_{i}\stackrel{e}{=}S.

**Definition 4** (*cf.* [39], Definition 39.3)

A Riesz space *L* is called *e-uniformly complete* (with a given e\in L) whenever every *e*-uniform Cauchy sequence has an *e*-uniform limit.

There is a large class of spaces satisfying the above conditions. In particular, every Dedekind *σ*-complete space (that is such that any non-empty at most countable subset which is bounded from above has a supremum) is an Archimedean *e*-uniformly complete space for every e\ge 0 (see [[39], pp.125, 252, 253]).

In what follows *X* is a nonempty set and *Y* is an Archimedean *u*-uniformly complete Riesz space for some given u\in Y.

We start that part with a lemma that is quite elementary. However, since we use it several times, we present it with a proof for the convenience of readers.

**Lemma 1** *Let* *L* *be an Archimedean Riesz space and* e\in L. *The sequence of rests* {r}_{n}\stackrel{e}{:=}{\sum}_{i=n+1}^{\mathrm{\infty}}{a}_{i} *of an* *e*-*uniformly convergent series* {\sum}_{i=0}^{\mathrm{\infty}}{a}_{i} *in* *L* *is* *e*-*uniformly convergent to* 0.

*Proof* Let us observe that |{\sum}_{i=n+1}^{m}{a}_{i}-S+{S}_{n}|=|{S}_{m}-{S}_{n}-S+{S}_{n}|=|{S}_{m}-S|. Consequently, {\sum}_{i=n+1}^{\mathrm{\infty}}{a}_{i}\stackrel{e}{=}S-{S}_{n}\in L as {S}_{m} converges *e*-uniformly to *S* and, therefore, {r}_{n} is well defined. Moreover, we have {lim}_{n\to \mathrm{\infty}}^{e}{r}_{n}={lim}_{n\to \mathrm{\infty}}^{e}(S-{S}_{n})=0\in L. □

The following two hypotheses will be useful.

(H1) Mappings {f}_{1},\dots ,{f}_{k}:X\to X and {L}_{1},\dots ,{L}_{k}:X\to {\mathbb{R}}_{+} are given and \mathcal{J}:{Y}^{X}\to {Y}^{X} is an operator satisfying the inequality

|(\mathcal{J}a)(t)-(\mathcal{J}b)(t)|\le \sum _{i=1}^{k}{L}_{i}(t)|a({f}_{i}(t))-b({f}_{i}(t))|,\phantom{\rule{1em}{0ex}}a,b\in {Y}^{X},t\in X.

(2)

(H2) \mathrm{\Lambda}:{Y}^{X}\to {Y}^{X} is a linear operator given by

(\mathrm{\Lambda}\delta )(t):=\sum _{i=1}^{k}{L}_{i}(t)\delta ({f}_{i}(t)),\phantom{\rule{1em}{0ex}}\delta \in {Y}^{X},t\in X.

(3)

Observe that Λ is monotone with respect to the pointwise ordering (because {L}_{i} is nonnegative). Our main theorem reads as follows.

**Theorem 1** *Let us assume that hypotheses* (H1) *and* (H2) *are fulfilled and that functions* \phi ,\epsilon ,S:X\to Y *satisfy the conditions*

|(\mathcal{J}\phi )(t)-\phi (t)|\le \epsilon (t),\phantom{\rule{1em}{0ex}}t\in X,

(4)

\sum _{n=0}^{\mathrm{\infty}}\left({\mathrm{\Lambda}}^{n}\epsilon \right)(t)\stackrel{u}{=}S(t),\phantom{\rule{1em}{0ex}}t\in X.

(5)

*Then*
\mathcal{J}
*has a unique fixed point*
\psi \in {Y}^{X}
*with*

|\phi (t)-\psi (t)|\le S(t),\phantom{\rule{1em}{0ex}}t\in X.

(6)

*Moreover*,

\psi (t)={\underset{n\to \mathrm{\infty}}{lim}}^{u}\left({\mathcal{J}}^{n}\phi \right)(t),\phantom{\rule{1em}{0ex}}t\in X.

(7)

*Proof* The proof is somewhat similar to the proof of [[12], Theorem 1], but since there are also significant differences between them, we present it here.

First we show by induction that

|\left({\mathcal{J}}^{n}\phi \right)(t)-\left({\mathcal{J}}^{n+1}\phi \right)(t)|\le \left({\mathrm{\Lambda}}^{n}\epsilon \right)(t),\phantom{\rule{1em}{0ex}}t\in X.

(8)

For n=0, (8) and (4) coincide. So, let us suppose that (8) holds for a fixed n\in \mathbb{N}. Using (2) and the definition of Λ (*i.e.*, (3)), we have

\begin{array}{c}|\left({\mathcal{J}}^{n+1}\phi \right)(t)-\left({\mathcal{J}}^{n+2}\phi \right)(t)|\hfill \\ \phantom{\rule{1em}{0ex}}\le \sum _{i=1}^{k}{L}_{i}(t)|\left({\mathcal{J}}^{n}\phi \right)({f}_{i}(t))-\left({\mathcal{J}}^{n+1}\phi \right)({f}_{i}(t))|\hfill \\ \phantom{\rule{1em}{0ex}}\le \sum _{i=1}^{k}{L}_{i}(t)\left({\mathrm{\Lambda}}^{n}\epsilon \right)({f}_{i}(t))\hfill \\ \phantom{\rule{1em}{0ex}}=\left({\mathrm{\Lambda}}^{n+1}\epsilon \right)(t),\phantom{\rule{1em}{0ex}}t\in X,\hfill \end{array}

which completes the proof of (8). Therefore, for n,k\in \mathbb{N}, we get

|\left({\mathcal{J}}^{n}\phi \right)(t)-\left({\mathcal{J}}^{n+k}\phi \right)(t)|\le \sum _{i=n}^{n+k-1}\left({\mathrm{\Lambda}}^{i}\epsilon \right)(t),\phantom{\rule{1em}{0ex}}t\in X.

(9)

This, according to (5) and Lemma 1, means that {({(\mathcal{J}\phi )}^{n}(t))}_{n\in \mathbb{N}} is a *u*-uniform Cauchy sequence for any t\in X, and therefore *u*-uniformly convergent, as *Y* is *u*-uniformly complete. Let us denote by \psi (t) its relative uniform limit. Using (9) with n=0, we have

|\phi (t)-\left({\mathcal{J}}^{k}\phi \right)(t)|\le \sum _{i=0}^{k-1}\left({\mathrm{\Lambda}}^{i}\epsilon \right)(t),\phantom{\rule{1em}{0ex}}t\in X.

(10)

Write {S}_{k-1}(t):={\sum}_{i=0}^{k-1}({\mathrm{\Lambda}}^{i}\epsilon )(t) for k\in \mathbb{N} and t\in X. By the triangle inequality and (10), for any k\in \mathbb{N} and t\in X, we obtain

\begin{array}{rcl}|\phi (t)-\psi (t)|& \le & |\phi (t)-\left({\mathcal{J}}^{k}\phi \right)(t)|+|\left({\mathcal{J}}^{k}\phi \right)(t)-\psi (t)|\\ \le & {S}_{k-1}(t)+|\left({\mathcal{J}}^{k}\phi \right)(t)-\psi (t)|\\ \le & |{S}_{k-1}(t)-S(t)|+|\left({\mathcal{J}}^{k}\phi \right)(t)-\psi (t)|+S(t).\end{array}

From the *u*-uniform convergence of {({(\mathcal{J}\phi )}^{k}(t))}_{k\in \mathbb{N}} to \psi (t) and {({S}_{k-1}(t))}_{k\in \mathbb{N}} to S(t), for t\in X, we derive

|\phi (t)-\psi (t)|\le S(t)+\frac{1}{n}u,\phantom{\rule{1em}{0ex}}n\in \mathbb{N},t\in X,

(11)

which results in (6) as *Y* is Archimedean.

We will show that *ψ* is a fixed point of \mathcal{J}. Having applied (2) with a=\psi and b={\mathcal{J}}^{n-1}\phi, for any t\in X, one has

|(\mathcal{J}\psi )(t)-\mathcal{J}\left({\mathcal{J}}^{n-1}\phi \right)(t)|\le \sum _{i=1}^{k}{L}_{i}(t)|\psi ({f}_{i}(t))-{\mathcal{J}}^{n-1}\phi ({f}_{i}(t))|,\phantom{\rule{1em}{0ex}}n\in \mathbb{N}.

(12)

Next, using the triangle inequality |(\mathcal{J}\psi )(t)-\psi (t)|\le |(\mathcal{J}\psi )(t)-({\mathcal{J}}^{n}\phi )(t)|+|({\mathcal{J}}^{n}\phi )(t)-\psi (t)| (for n\in \mathbb{N}, t\in X), we infer that

|(\mathcal{J}\psi )(t)-\psi (t)|\le \frac{1}{m}u(\sum _{i=1}^{k}{L}_{i}(t)+1),\phantom{\rule{1em}{0ex}}t\in X,m\in \mathbb{N},

(13)

which means that \mathcal{J}\psi =\psi as *Y* is Archimedean.

For the proof of the uniqueness of *ψ*, assume that {\psi}_{1},{\psi}_{2}\in {Y}^{X} are two fixed points of \mathcal{J} satisfying

|\phi (t)-{\psi}_{i}(t)|\le S(t),\phantom{\rule{1em}{0ex}}t\in X,i=1,2.

(14)

At first let us observe that for every n\in \mathbb{N}, we get

|\left({\mathcal{J}}^{n}{\psi}_{1}\right)(t)-\left({\mathcal{J}}^{n}{\psi}_{2}\right)(t)|\le 2\sum ^{\mathrm{\infty}}\left({\mathrm{\Lambda}}^{i}\epsilon \right)(t),\phantom{\rule{1em}{0ex}}t\in X.

(15)

In fact, for n=0 inequality (15) follows directly from (14). Now assume that (15) holds for a given n\in \mathbb{N}. Then, by (12), for every t\in X, we have

\begin{array}{c}|\left({\mathcal{J}}^{n+1}{\psi}_{1}\right)(t)-\left({\mathcal{J}}^{n+1}{\psi}_{2}\right)(t)|\hfill \\ \phantom{\rule{1em}{0ex}}=|\left(\mathcal{J}\left({\mathcal{J}}^{n}{\psi}_{1}\right)\right)(t)-\left(\mathcal{J}\left({\mathcal{J}}^{n}{\psi}_{2}\right)\right)(t)|\hfill \\ \phantom{\rule{1em}{0ex}}\le \sum _{i=1}^{k}{L}_{i}(t)|\left({\mathcal{J}}^{n}{\psi}_{1}\right)({f}_{i}(t))-\left({\mathcal{J}}^{n}{\psi}_{2}\right)({f}_{i}(t))|\hfill \\ \phantom{\rule{1em}{0ex}}\le 2\sum _{i=1}^{k}{L}_{i}(t)\sum _{j=n}^{\mathrm{\infty}}\left({\mathrm{\Lambda}}^{j}\epsilon \right)({f}_{i}(t))\hfill \\ \phantom{\rule{1em}{0ex}}=2\sum _{j=n}^{\mathrm{\infty}}\sum _{i=1}^{k}{L}_{i}(t)\left({\mathrm{\Lambda}}^{j}\epsilon \right)({f}_{i}(t))\hfill \\ \phantom{\rule{1em}{0ex}}=2\sum _{j=n+1}^{\mathrm{\infty}}\left({\mathrm{\Lambda}}^{j}\epsilon \right)(t).\hfill \end{array}

Thus we have proved (15). Letting n\to \mathrm{\infty} and taking into account Lemma 1, we infer that {\psi}_{1}={\psi}_{2}. □

**Remark 1** If in (2) we take k=1, {f}_{1}(x)=x and {L}_{1}(x)=\lambda \in [0,1) for x\in X, then Theorem 1 becomes a result corresponding to the classical Banach contraction principle.

**Remark 2** We can associate to a given u\in Y an extended (*i.e.*, admitting the infinite value) norm on *Y* denoted by {\parallel \cdot \parallel}_{u} and defined by

{\parallel v\parallel}_{u}:=inf\{\lambda \in {\mathbb{R}}_{+}:|v|\le \lambda u\},\phantom{\rule{1em}{0ex}}v\in Y.

From Theorem 1 we can easily deduce the following corollary.

**Corollary 1** *Let hypothesis* (H1) *be fulfilled*, {\mathrm{\Lambda}}_{0}:{\mathbb{R}}_{+}^{X}\to {\mathbb{R}}_{+}^{X} *be a linear operator given by*

({\mathrm{\Lambda}}_{0}\delta )(t):=\sum _{i=1}^{k}{L}_{i}(t)\delta ({f}_{i}(t)),\phantom{\rule{1em}{0ex}}\delta \in {\mathbb{R}}_{+}^{X},t\in X,

(16)

*and functions*
\phi :X\to Y
*and*
{\epsilon}_{0}:X\to {\mathbb{R}}_{+}
*satisfy the conditions*

{\parallel (\mathcal{J}\phi )(t)-\phi (t)\parallel}_{u}\le {\epsilon}_{0}(t),\phantom{\rule{1em}{0ex}}t\in X,

(17)

{S}_{0}(t):=\sum _{n=0}^{\mathrm{\infty}}\left({\mathrm{\Lambda}}_{0}^{n}{\epsilon}_{0}\right)(t)<\mathrm{\infty},\phantom{\rule{1em}{0ex}}t\in X.

(18)

*Then*
\mathcal{J}
*has a unique fixed point*
\psi \in {Y}^{X}
*with*

{\parallel \phi (t)-\psi (t)\parallel}_{u}\le {S}_{0}(t),\phantom{\rule{1em}{0ex}}t\in X.

(19)

*Moreover*, *ψ* *is given by* (7).

*Proof* Define S,\epsilon :X\to Y by S(t):={S}_{0}(t)u and \epsilon (t):={\epsilon}_{0}(t)u for t\in X. Next let \mathrm{\Lambda}:{Y}^{X}\to {Y}^{X} be given by (3). Then it is easily seen that (4) and (5) are valid. Consequently, in view of Theorem 1, \mathcal{J} has a unique fixed point \psi \in {Y}^{X} such that (6) holds; moreover, *ψ* is given by (7). Clearly, (6) and (19) are equivalent, whence we derive the statement concerning the uniqueness of *ψ*. □

In the simplest case k=1, Theorem 1 yields at once the following corollary concerning the Hyers-Ulam stability of a quite general functional equation

\psi (t)=F(t,\psi (\xi (t)))

(20)

in the class of functions {Y}^{X}, with given F:X\times Y\to Y and \xi :X\to X.

**Corollary 2** *Let* F:X\times Y\to Y, \xi :X\to X, \lambda :X\to {\mathbb{R}}_{+}, \phi ,\epsilon ,S:X\to Y,

|F(t,u)-F(t,v)|\le \lambda (t)|u-v|,\phantom{\rule{1em}{0ex}}t\in X,u,v\in Y,

(21)

S(t)\stackrel{u}{=}\epsilon (t)+\sum _{n=0}^{\mathrm{\infty}}\left(\prod _{i=0}^{n}\lambda ({\xi}^{i}(t))\right)\epsilon ({\xi}^{n+1}(t)),\phantom{\rule{1em}{0ex}}t\in X,

(22)

*and*

|\phi (t)-F(t,\phi (\xi (t)))|\le \epsilon (t),\phantom{\rule{1em}{0ex}}t\in X.

(23)

*Then there is a unique solution* \psi \in {Y}^{X} *of functional equation* (20) *such that*

|\psi (t)-\phi (t)|\le S(t),\phantom{\rule{1em}{0ex}}t\in X.

(24)

*Moreover*, *ψ* *is given by* (7) *with* (\mathcal{T}g)(t)=F(t,g(\xi (t))) *for* g\in {Y}^{X}, t\in X.

*Proof* Use Theorem 1 with k=1, {f}_{1}=\xi, {L}_{1}=\lambda, and (\mathcal{J}g)(t)=F(t,g(\xi (t))) for g\in {Y}^{X}, t\in X. □

**Example 1** If there is \alpha \in {\mathbb{R}}_{+} such that (in Corollary 2) \lambda (t)\le \alpha for t\in X, then clearly we get S(t)\le {\sum}_{n=0}^{\mathrm{\infty}}{\alpha}^{n}\epsilon ({\xi}^{n}(t)) for t\in X, provided {\sum}_{n=0}^{\mathrm{\infty}}{\alpha}^{n}\epsilon ({\xi}^{n}(t)) is *u*-uniformly convergent in *Y*. Moreover, in the case where \epsilon (f(t))\le \beta \epsilon (t) for all t\in X and some \beta \in {\mathbb{R}}_{+} with \alpha \beta <1 (*e.g.*, when \alpha <1 and *ε* is a constant function), S(t)\le \frac{1}{1-\alpha \beta}\epsilon (t) for t\in S. This means that Corollary 2 implies some analogues of the results in [30] for the Riesz spaces.

Analogously, from Corollary 1 we obtain the following.

**Corollary 3** *Let* F:X\times Y\to Y, \xi :X\to X, {\epsilon}_{0},\lambda :X\to {\mathbb{R}}_{+}, \phi :X\to Y, (21) *holds*,

{S}_{0}(t):={\epsilon}_{0}(t)+\sum _{n=0}^{\mathrm{\infty}}\left(\prod _{i=0}^{n}\lambda ({\xi}^{i}(t))\right){\epsilon}_{0}({\xi}^{n+1}(t))<\mathrm{\infty},\phantom{\rule{1em}{0ex}}t\in X,

(25)

{\parallel \phi (t)-F(t,\phi (\xi (t)))\parallel}_{u}\le {\epsilon}_{0}(t),\phantom{\rule{1em}{0ex}}t\in X.

(26)

*Then there is a unique solution* \psi \in {Y}^{X} *of equation* (20) *such that*

{\parallel \psi (t)-\phi (t)\parallel}_{u}\le {S}_{0}(t),\phantom{\rule{1em}{0ex}}t\in X.

(27)

*Moreover*, *ψ* *is given by* (7).

**Example 2** If (in Corollaries 2 and 3) F(t,v)=b(t)v+H(t) for t\in X, v\in Y with some b:X\to \mathbb{R}, \xi :X\to X and H:X\to Y, then we get stability results for the equation

\mathrm{\Phi}(t)=b(t)\mathrm{\Phi}(\xi (t))+H(t)

corresponding to [[40], Theorem 2.1 and Corollary 2.4], from which we can easily derive stability results analogous to [[41], Theorem 2.1] (provided 0\notin b(X)) for the equation

\mathrm{\Phi}(\xi (t))=\frac{\mathbf{1}}{b(t)}\mathrm{\Phi}(t)-\frac{H(t)}{b(t)}.

We also can use Theorem 1 and Corollary 1 to deal with the stability of a bit more involved equations with any number of unknown functions, *e.g.*, as follows.

**Corollary 4** *Let* k,m\in \mathbb{N}, {L}_{1},\dots ,{L}_{k}:X\to {\mathbb{R}}_{+}, G:X\times {Y}^{m}\to Y, {f}_{1},\dots ,{f}_{k},{g}_{1},\dots ,{g}_{m}:X\to X, \mathrm{\Phi}:X\times {Y}^{k}\to Y *and*

|\mathrm{\Phi}(t,{u}_{1},\dots ,{u}_{k})-\mathrm{\Phi}(t,{v}_{1},\dots ,{v}_{k})|\le \sum _{i=1}^{k}{L}_{i}(t)|{u}_{i}-{v}_{i}|,\phantom{\rule{1em}{0ex}}{u}_{i},{v}_{i}\in Y,t\in X.

(28)

*Suppose that functions*
\phi ,\epsilon ,{\mu}_{1},\dots ,{\mu}_{m}:X\to Y
*satisfy the inequality*

|\phi (t)-\mathrm{\Phi}(t,\phi ({f}_{1}(t)),\dots ,\phi ({f}_{k}(t)))-G(t,{\mu}_{1}({g}_{1}(t)),\dots ,{\mu}_{m}({g}_{m}(t)))|\le \epsilon (t),\phantom{\rule{1em}{0ex}}t\in X,

*and* (5) *holds with* Λ *given by* (3). *Then there exists a unique* \psi :X\to Y *satisfying inequality* (24), *which solves the equation*

\psi (t)=\mathrm{\Phi}(t,\psi ({f}_{1}(t)),\dots ,\psi ({f}_{k}(t)))+G(t,{\mu}_{1}({g}_{1}(t)),\dots ,{\mu}_{m}({g}_{m}(t))).

(29)

*Moreover*,

\psi (t)={\underset{n\to \mathrm{\infty}}{lim}}^{u}\left({T}_{0}^{n}\phi \right)(t),\phantom{\rule{1em}{0ex}}t\in X,

(30)

*where* ({T}_{0}h)(t):=\mathrm{\Phi}(t,h({f}_{1}(t)),\dots ,h({f}_{k}(t)))+G(t,{\mu}_{1}({g}_{1}(t)),\dots ,{\mu}_{m}({g}_{m}(t))) *for* h\in {Y}^{X}, t\in X.

*Proof* It is enough to use Theorem 1 with \mathcal{J}={T}_{0}. □

**Corollary 5** *Let* k,m\in \mathbb{N}, {L}_{1},\dots ,{L}_{k}:X\to {\mathbb{R}}_{+}, G:X\times {Y}^{m}\to Y, {f}_{1},\dots ,{f}_{k},{g}_{1},\dots ,{g}_{m}:X\to X, *and* \mathrm{\Phi}:X\times {Y}^{k}\to Y *satisfy* (28). *Suppose that functions* \phi ,{\mu}_{1},\dots ,{\mu}_{m}:X\to Y *and* \epsilon :X\to {\mathbb{R}}_{+} *are such that*

{\parallel \phi (t)-\mathrm{\Phi}(t,\phi ({f}_{1}(t)),\dots ,\phi ({f}_{k}(t)))-G(t,{\mu}_{1}({g}_{1}(t)),\dots ,{\mu}_{m}({g}_{m}(t)))\parallel}_{u}\le \epsilon (t),\phantom{\rule{1em}{0ex}}t\in X,

*and* (18) *holds with* {\mathrm{\Lambda}}_{0} *given by* (16). *Then there exists a unique* \psi :X\to Y *satisfying inequality* (27) *and equation* (29). *Moreover*, *ψ* *is given by* (30).

*Proof* It is enough to use Corollary 1 with \mathcal{J}={T}_{0}. □

In the next part we supply an example of a result concerning the Hyers-Ulam stability of functional equations in several variables.

Let *T* be a nonempty set. A binary operation \star :{T}^{2}\to T is square symmetric provided

(x\star y)\star (x\star y)=(x\star x)\star (y\star y),\phantom{\rule{1em}{0ex}}x,y\in T

(see, *e.g.*, [18, 42–45]). If (T,+) is a commutative semigroup, {\gamma}_{0}\in T and \alpha ,\beta :T\to T are endomorphisms with \alpha \circ \beta =\beta \circ \alpha (for instance, \alpha ={\beta}^{n} for an n\in {\mathbb{N}}_{0}), then it is easy to check that \ast :{T}^{2}\to T, given by

x\ast y:=\alpha (x)+\beta (y)+{\gamma}_{0},\phantom{\rule{1em}{0ex}}x,y\in T,

is square symmetric. So, it is easily seen that the following two very well-known functional equations

\begin{array}{c}f(x+y)=f(x)+f(y)\phantom{\rule{1em}{0ex}}\text{(Cauchy)},\hfill \\ f\left(\frac{x+y}{2}\right)=\frac{f(x)+f(y)}{2}\phantom{\rule{1em}{0ex}}\text{(Jensen)}\hfill \end{array}

are particular examples of homomorphism equations for square symmetric groupoids. Moreover, we have a very particular case of a square symmetric operation when *T* is a linear space over a field \mathbb{K} and ∗ is defined by

s\ast t:=Cs+Dt+u,\phantom{\rule{1em}{0ex}}s,t\in T,

(31)

with some fixed C,D\in \mathbb{K} and u\in T. So, the general linear functional equation

f(Cx+Dy+u)=Af(x)+Bf(y)+c

(for instance, with some fixed A,B\in \mathbb{K}, c\in T and for functions f\in {T}^{T}) is also an example of a homomorphism equation for some square symmetric groupoids.

The next corollary provides an example of stability result for the functional equation of homomorphism for square symmetric groupoids, which corresponds to some outcomes in [18, 42–44].

**Corollary 6** *Let* C,D\in \mathbb{R}, C\ne -D, S,\phi :X\to Y, \chi :{X}^{2}\to Y, w\in Y, \star :{X}^{2}\to X *be a square symmetric binary operation*, *and let* \rho :X\to X *be given by* \rho (t):=t\star t *for* t\in X,

|\phi (s\star t)-C\phi (s)-D\phi (t)-w|\le \chi (s,t),\phantom{\rule{1em}{0ex}}s,t\in X,

(32)

S(t)\stackrel{u}{=}\sum _{n=0}^{\mathrm{\infty}}{|C+D|}^{-n-1}\chi ({\rho}^{n}(t),{\rho}^{n}(t)),\phantom{\rule{1em}{0ex}}t\in X,

(33)

*and*

{\underset{n\to \mathrm{\infty}}{lim}}^{u}{|C+D|}^{-n}\chi ({\rho}^{n}(t),{\rho}^{n}(s))=0,\phantom{\rule{1em}{0ex}}s,t\in X.

(34)

*Then there exists a unique solution*
\mathrm{\Phi}\in {Y}^{X}
*of the functional equation*

\mathrm{\Phi}(s\star t)=C\mathrm{\Phi}(s)+D\mathrm{\Phi}(t)+w

(35)

*such that*

|\phi (t)-\mathrm{\Phi}(t)|\le S(t),\phantom{\rule{1em}{0ex}}t\in X.

(36)

*Moreover*,

\mathrm{\Phi}(t)={\underset{n\to \mathrm{\infty}}{lim}}^{u}[{(C+D)}^{-n}\phi ({\rho}^{n}(t))-\sum _{i=1}^{n}{(C+D)}^{-i}w],\phantom{\rule{1em}{0ex}}t\in X.

(37)

*Proof* Take s=t in (32). Then we get

|\phi (\rho (s))-(C+D)\phi (s)-w|\le \chi (s,s),\phantom{\rule{1em}{0ex}}s\in X,

(38)

and consequently

|{(C+D)}^{-1}\phi (\rho (s))-{(C+D)}^{-1}w-\phi (s)|\le {|C+D|}^{-1}\chi (s,s),\phantom{\rule{1em}{0ex}}s\in X.

(39)

Hence (21) and (23) hold with \xi =\rho and

F(t,v):={(C+D)}^{-1}(v-w),\phantom{\rule{2em}{0ex}}\epsilon (t):={|C+D|}^{-1}\chi (t,t),\phantom{\rule{2em}{0ex}}\lambda (t):={|C+D|}^{-1}

(40)

for v\in Y, t\in X. Now, if S:X\to Y is defined by (22), then it is easily seen that (33) holds. Consequently, according to Corollary 2, there exists a unique solution \mathrm{\Phi}\in {Y}^{X} of the equation

\phi (\rho (s))=(C+D)\phi (s)+w

(41)

such that condition (36) is fulfilled. Moreover, Φ is given by (37).

Now we show that Φ is a solution of equation (35). To this end, fix s,t\in X and n\in {\mathbb{N}}_{0}. Then {\rho}^{n}(s\star t)={\rho}^{n}(s)\star {\rho}^{n}(t), whence by (32),

\begin{array}{c}|C{\mathcal{T}}^{n}\phi (s)+D{\mathcal{T}}^{n}\phi (t)+w-{\mathcal{T}}^{n}\phi (s\star t)|\hfill \\ \phantom{\rule{1em}{0ex}}=|C({(C+D)}^{-n}\phi ({\rho}^{n}(s))-\sum _{i=1}^{n}{(C+D)}^{-i}w)\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+D({(C+D)}^{-n}\phi ({\rho}^{n}(t))-\sum _{i=1}^{n}{(C+D)}^{-i}w)+w\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}-({(C+D)}^{-n}\phi ({\rho}^{n}(s\star t))-\sum _{i=1}^{n}{(C+D)}^{-i}w)|\hfill \\ \phantom{\rule{1em}{0ex}}\le {|C+D|}^{-n}|C\phi ({\rho}^{n}(s))+D\phi ({\rho}^{n}(t))+w-\phi ({\rho}^{n}(s)\star {\rho}^{n}(t))|\hfill \\ \phantom{\rule{1em}{0ex}}\le {|C+D|}^{-n}\chi ({\rho}^{n}(s),{\rho}^{n}(t)).\hfill \end{array}

This means that Φ satisfies (35) (in view of (34) and (37)).

Since \mathrm{\Phi}\in {X}^{S} is the unique solution of functional equation (41) fulfilling (36), and every solution of (35) satisfies (41), we also obtain the statement concerning the uniqueness of Φ. □

**Corollary 7** *Let* C,D\in \mathbb{R}, C\ne -D, \phi :X\to Y, {\chi}_{0}:{X}^{2}\to {\mathbb{R}}_{+}, w\in Y, \star :{X}^{2}\to X *be a square symmetric binary operation*, *let* \rho :X\to X *be given by* \rho (t):=t\star t *for* t\in X,

{\parallel \phi (s\star t)-C\phi (s)-D\phi (t)-w\parallel}_{u}\le {\chi}_{0}(s,t),\phantom{\rule{1em}{0ex}}s,t\in X,

(42)

{S}_{0}(t):=\sum _{n=0}^{\mathrm{\infty}}\frac{{\chi}_{0}({\rho}^{n}(t),{\rho}^{n}(t))}{{|C+D|}^{n+1}}<\mathrm{\infty},\phantom{\rule{1em}{0ex}}t\in X

(43)

*and*

\underset{n\to \mathrm{\infty}}{lim}\frac{{\chi}_{0}({\rho}^{n}(s),{\rho}^{n}(t))}{{|C+D|}^{n}}=0,\phantom{\rule{1em}{0ex}}s,t\in X.

(44)

*Then there is a unique solution* \mathrm{\Phi}\in {Y}^{X} *of equation* (35) *such that*

{\parallel \phi (t)-\mathrm{\Phi}(t)\parallel}_{u}\le {S}_{0}(t),\phantom{\rule{1em}{0ex}}t\in X.

(45)

*Moreover*, Φ *is given by* (37).

*Proof* We argue as in the proof of Corollary 1. Namely, define S:X\to Y and \chi :{X}^{2}\to Y by S(t):={S}_{0}(t)u and \chi (t):={\chi}_{0}(t)u for t\in X. Then (42)-(44) imply (32)-(34). Hence, by Corollary 6, there exists a unique solution \mathrm{\Phi}\in {Y}^{X} of functional equation (35) such that (36) holds; in particular, Φ is given by (37). Clearly (36) and (45) are equivalent, so we also obtain the statement on the uniqueness of Φ. □

In the very particular case where C=D=1 and functions *χ* and {\chi}_{0} are constant, Corollaries 6 and 7 yield analogues of the classical result of Hyers [27].

Agarwal RP, Xu B, Zhang W: Stability of functional equations in single variable.

*J. Math. Anal. Appl.*2003, 288: 852-869. 10.1016/j.jmaa.2003.09.032Brillouët-Belluot N, Brzdęk J, Ciepliński K: On some recent developments in Ulam’s type stability.

*Abstr. Appl. Anal.*2012., 2012: Article ID 716936Czerwik S:

*Functional Equations and Inequalities in Several Variables*. World Scientific, River Edge; 2002.Hyers DH, Isac G, Rassias TM Progress in Nonlinear Differential Equations and Their Applications 34. In

*Stability of Functional Equations in Several Variables*. Birkhäuser, Boston; 1998.Jung S-M:

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

*Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis*. Springer, New York; 2011.Moszner Z: On the stability of functional equations.

*Aequ. Math.*2009, 77: 33-88. 10.1007/s00010-008-2945-7Badora R, Brzdęk J: A note on a fixed point theorem and the Hyers-Ulam stability.

*J. Differ. Equ. Appl.*2012, 18: 1115-1119. 10.1080/10236198.2011.559165Batko B: On the stability of an alternative functional equation.

*Math. Inequal. Appl.*2005, 8: 685-691.Batko B: Stability of an alternative functional equation.

*J. Math. Anal. Appl.*2008, 339: 303-311. 10.1016/j.jmaa.2007.07.001Batko B, Tabor J: Stability of the generalized alternative Cauchy equation.

*Abh. Math. Semin. Univ. Hamb.*1999, 69: 67-73. 10.1007/BF02940863Brzdęk J, Chudziak J, Palés Z: A fixed point approach to stability of functional equations.

*Nonlinear Anal.*2011, 74: 6728-6732. 10.1016/j.na.2011.06.052Brzdęk J, Ciepliński K: A fixed point approach to the stability of functional equations in non-Archimedean metric spaces.

*Nonlinear Anal.*2011, 74: 6861-6867. 10.1016/j.na.2011.06.050Forti G-L: Comments on the core of the direct method for proving Hyers-Ulam stability of functional equations.

*J. Math. Anal. Appl.*2004, 295: 127-133. 10.1016/j.jmaa.2004.03.011Forti G-L: Elementary remarks on Ulam-Hyers stability of linear functional equations.

*J. Math. Anal. Appl.*2007, 328: 109-118. 10.1016/j.jmaa.2006.04.079Forti G-L, Sikorska J: Variations on the Drygas equation and its stability.

*Nonlinear Anal.*2011, 74: 343-350. 10.1016/j.na.2010.08.004Jabłoński W, Reich L: Stability of the translation equation in rings of formal power series and partial extensibility of one-parameter groups of truncated formal power series.

*Osterreich. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II*2006, 215: 127-137.Páles Z: Hyers-Ulam stability of the Cauchy functional equation on square-symmetric groupoids.

*Publ. Math. (Debr.)*2001, 58: 651-666.Popa D: Hyers-Ulam-Rassias stability of a linear recurrence.

*J. Math. Anal. Appl.*2005, 309: 591-597. 10.1016/j.jmaa.2004.10.013Sikorska J: On a direct method for proving the Hyers-Ulam stability of functional equations.

*J. Math. Anal. Appl.*2010, 372: 99-109. 10.1016/j.jmaa.2010.06.056Hayes W, Jackson KR: A survey of shadowing methods for numerical solutions of ordinary differential equations.

*Appl. Numer. Math.*2005, 53: 299-321. 10.1016/j.apnum.2004.08.011Palmer K Mathematics and Its Applications 501. In

*Shadowing in Dynamical Systems. Theory and Applications*. Kluwer Academic, Dordrecht; 2000.Pilyugin SY Lectures Notes in Mathematics 1706. In

*Shadowing in Dynamical Systems*. Springer, Berlin; 1999.Chang KW, Howes FA:

*Nonlinear Singular Perturbation Phenomena: Theory and Application*. Springer, Berlin; 1984.Lin Z-C, Zhou M-R:

*Perturbation Methods in Applied Mathematics*. Jiangsu Education Press, Nanjing; 1995.Pólya G, Szegö G:

*Aufgaben und Lehrsätze aus der Analysis I*. Springer, Berlin; 1925.Hyers DH: On the stability of the linear functional equation.

*Proc. Natl. Acad. Sci. USA*1941, 27: 222-224. 10.1073/pnas.27.4.222Ulam SM:

*Problems in Modern Mathematics*. Wiley, New York; 1964. science ed.Polat F: Approximate Riesz algebra-valued derivations.

*Abstr. Appl. Anal.*2012., 2012: Article ID 240258Baker JA: The stability of certain functional equations.

*Proc. Am. Math. Soc.*1991, 112: 729-732. 10.1090/S0002-9939-1991-1052568-7Cǎdariu L, Găvruţa L, Găvruţa P: Fixed points and generalized Hyers-Ulam stability.

*Abstr. Appl. Anal.*2012., 2012: Article ID 712743. doi:10.1155/2012/712743Cǎdariu L, Radu V: Fixed point methods for the generalized stability of functional equations in a single variable.

*Fixed Point Theory Appl.*2008., 2008: Article ID 749392. doi:10.1155/2008/749392Găvruţa P, Găvruţa L: A new method for the generalized Hyers-Ulam-Rassias stability.

*Int. J. Nonlinear Anal. Appl.*2010, 1(2):11-18.Jung S-M: A fixed point approach to the stability of isometries.

*J. Math. Anal. Appl.*2007, 329: 879-890. 10.1016/j.jmaa.2006.06.098Jung S-M, Kim T-S: A fixed point approach to the stability of the cubic functional equation.

*Bol. Soc. Mat. Mexicana*2006, 12: 51-57.Jung Y-S, Chang I-S: The stability of a cubic type functional equation with the fixed point alternative.

*J. Math. Anal. Appl.*2005, 306: 752-760. 10.1016/j.jmaa.2004.10.017Mirzavaziri M, Moslehian MS: A fixed point approach to stability of a quadratic equation.

*Bull. Braz. Math. Soc.*2006, 37: 361-376. 10.1007/s00574-006-0016-zCiepliński K: Applications of fixed point theorems to the Hyers-Ulam stability of functional equations - a survey.

*Ann. Funct. Anal.*2012, 3: 151-164.Luxemburg WAJ, Zaanen AC:

*Riesz Spaces*. North-Holland, Amsterdam; 1971.Brzdęk J, Popa D, Xu B: Selections of set-valued maps satisfying a linear inclusion in a single variable.

*Nonlinear Anal.*2011, 74: 324-330. 10.1016/j.na.2010.08.047Trif T: On the stability of a general gamma-type functional equation.

*Publ. Math. (Debr.)*2002, 60: 47-61.Kim GH: On the stability of functional equations with square-symmetric operation.

*Math. Inequal. Appl.*2001, 4: 257-266.Kim GH: Addendum to ‘On the stability of functional equations on square-symmetric groupoid’.

*Nonlinear Anal.*2005, 62: 365-381. 10.1016/j.na.2004.12.003Páles Z, Volkmann P, Luce RD: Hyers-Ulam stability of functional equations with a square-symmetric operation.

*Proc. Natl. Acad. Sci. USA*1998, 95: 12772-12775. 10.1073/pnas.95.22.12772Tabor J, Tabor J: Stability of the Cauchy functional equation in metric groupoids.

*Aequ. Math.*2008, 76: 92-104. 10.1007/s00010-007-2912-8

The authors declare that they have no competing interests.

All authors contributed equally to the manuscript. All authors have read and approved the final version of the manuscript.

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Batko, B., Brzdęk, J. A fixed point theorem and the Hyers-Ulam stability in Riesz spaces.
*Adv Differ Equ* **2013**, 138 (2013). https://doi.org/10.1186/1687-1847-2013-138

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2013-138

- Hyers-Ulam type stability
- fixed point
- Riesz space
- square symmetric groupoid