Open Access

On periodic solutions of a class of k-dimensional systems of max-type difference equations

Advances in Difference Equations20162016:251

Received: 7 September 2016

Accepted: 20 September 2016

Published: 29 September 2016


Some sufficient conditions are given such that the following system of difference equations:
$$\begin{aligned} &x^{(1)}(n+1)=\max_{1\le j\le l_{1}} \bigl\{ f_{1j} \bigl(n,x^{(1)}(n),\ldots ,x^{(k)}(n)\bigr) \bigr\} , \\ &x^{(2)}(n+1)=\max_{1\le j\le l_{2}} \bigl\{ f_{2j} \bigl(n,x^{(1)}(n),\ldots ,x^{(k)}(n)\bigr) \bigr\} , \\ &\vdots \\ &x^{(k)}(n+1)=\max_{1\le j\le l_{k}} \bigl\{ f_{kj} \bigl(n,x^{(1)}(n),\ldots ,x^{(k)}(n)\bigr) \bigr\} , \end{aligned}$$
\(n\in {\mathbb {N}}_{0}\), where \(k\in {\mathbb {N}}\), \(l_{i}\in {\mathbb {N}}\), \(i=\overline {1,k}\), \(x^{(i)}(0)\in {\mathbb {R}}\), \(i=\overline {1,k}\), has a unique periodic solution attracting all the solutions to the system. Our main result considerably generalizes some recent results in the literature and simplifies their proofs.


max-type system of difference equations existence of periodic solutions global attractivity



1 Introduction

Max-type difference equations and systems have attracted some recent interest (see, for example, [117], and the references therein). Besides the usual interest in mathematics, one of the reasons for the interest is their potential application in control theory, neuroscience, and some other branches of science, which is under present investigation of some experts in the research fields. The problem of calculating the maximal output among several possible ones suggests a great applicable potential whenever there is such a situation in applications and/or theory. The boundedness character of, usually positive, solutions of the equations and systems is frequently studied as one of the basic problems in this area (see, for example, [1, 6, 7, 9, 11, 15]). The study of concrete symmetric and close to symmetric systems of difference equations essentially stems [18] and [19] by Papaschinopoulos and Schinas. The investigation of max-type systems in this direction was conducted, for example, in [68, 1316]. Many papers on max-type difference equations and systems deal with the problem of periodicity of their solutions (see, for example, [1, 3, 4, 7, 12, 13, 16, 17], and the references therein), while global attractivity results can be found, for example, in [2, 5, 10, 14]. For the solvability of some max-type systems see [20] (there has been a renewed interest in the topic, see, also [21] and numerous references therein). The majority of the above mentioned papers are on concrete max-type systems of difference equations, but there are a few dealing with some general systems, such as [13, 16], which are motivated by important note [12].

As usual, throughout the paper, \({\mathbb {N}}\) will denote the set of all natural numbers, i.e., the set \(\{1,2,3,\ldots\}\), \({\mathbb {N}}_{0}={\mathbb {N}}\cup\{0\}\), and \({\mathbb {R}}\) will denote the set of all real numbers. If \(k,l\in {\mathbb {N}}_{0}\) are such that \(k\le l\), then the notation \(i=\overline {k,l}\) will denote the set of all \(i\in {\mathbb {N}}_{0}\) such that \(k\le i\le l\).

In this paper we consider the following, quite general, max-type system of difference equations extending the one in [2] and related to the ones in [13, 16]:
$$\begin{aligned} &x^{(1)}(n+1)=\max_{1\le j\le l_{1}} \bigl\{ f_{1j}\bigl(n,x^{(1)}(n),\ldots ,x^{(k)}(n)\bigr) \bigr\} , \\ &\vdots \\ &x^{(i)}(n+1)=\max_{1\le j\le l_{i}} \bigl\{ f_{ij} \bigl(n,x^{(1)}(n),\ldots ,x^{(k)}(n)\bigr) \bigr\} , \\ &\vdots \\ &x^{(k)}(n+1)=\max_{1\le j\le l_{k}} \bigl\{ f_{kj} \bigl(n,x^{(1)}(n),\ldots ,x^{(k)}(n)\bigr) \bigr\} , \end{aligned}$$
\(n\in {\mathbb {N}}_{0}\), where \(k\in {\mathbb {N}}\), \(l_{i}\in {\mathbb {N}}\), \(i=\overline {1,k}\), \(x^{(i)}(0)\in {\mathbb {R}}\), \(i=\overline {1,k}\), and where the functions \(f_{ij}:{\mathbb {N}}_{0}\times {\mathbb {R}}^{k}\to {\mathbb {R}}\), \(i=\overline {1,k}\), \(j=\overline {1,l_{i}}\), are ω-periodic in the first variable, that is, satisfy the equalities
$$\begin{aligned} f_{ij}(n+\omega, u_{1},\ldots,u_{k})=f_{ij}(n, u_{1},\ldots ,u_{k}), \end{aligned}$$
for every \(n\in {\mathbb {N}}_{0}\) and \(u_{s}\in {\mathbb {R}}\), \(s=\overline {1,k}\), and some \(\omega\in {\mathbb {N}}\), and satisfy the following Lipschitz-type conditions:
$$\begin{aligned} \bigl|f_{ij}(n,u_{1},\ldots,u_{k})-f_{ij}(n,v_{1}, \ldots ,v_{k}) \bigr|\le\sum_{s=1}^{k}L_{ijs}|u_{s}-v_{s}| \end{aligned}$$
for every \(n\in {\mathbb {N}}_{0}\) and \(u_{s},v_{s}\in {\mathbb {R}}\), \(s=\overline {1,k}\), and for some \(L_{ijs}\ge0\), \(i,s=\overline {1,k}\), \(j=\overline {1,l_{i}}\), such that
$$\begin{aligned} \widehat{q}:=\max_{1\le i\le k, 1\le j\le l_{i}}\sum_{s=1}^{k}L_{ijs}< 1. \end{aligned}$$
By \({\mathbb {R}}^{k}_{\infty}\), we will denote the k-dimensional real vector space with the following norm:
$$\|\vec{a}\|_{{\mathbb {R}}^{k}_{\infty}}=\max_{i=\overline {1,k}}|a_{i}|, $$
where \(\vec{a}=(a_{1},\ldots,a_{k})\in {\mathbb {R}}^{k}\).
A solution \((\vec{x}(n))_{n\in {\mathbb {N}}_{0}}=(x^{(1)}(n),\ldots ,x^{(k)}(n))_{n\in {\mathbb {N}}_{0}}\) to system (1) is called eventually periodic with period \(\omega\in {\mathbb {N}}\) if there is \(n_{0}\in {\mathbb {N}}\) such that
$$x^{(i)}(n+\omega)=x^{(i)}(n), $$
for every \(n\ge n_{0}\) and \(i=\overline {1,k}\) (see, e.g., [12, 13, 16]). If \(n_{0}=0\), then such a solution to system (1) is called ω-periodic.
Let \(l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\) be the space of all ω-periodic vector sequences \(x=(\vec{x}(n))_{n\in {\mathbb {N}}_{0}}=(x^{(1)}(n),\ldots, x^{(k)}(n))_{n\in {\mathbb {N}}_{0}}\), with the following norm:
$$\begin{aligned} \|x\|_{\omega _{\infty}}=\max_{0\le n\le\omega-1}\bigl\| \vec{x}(n)\bigr\| _{{\mathbb {R}}^{k}_{\infty}}. \end{aligned}$$
It is well known that \(l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\) with norm (5) is a Banach space.

Recently, in [2], which was the motivation for this paper of ours, it was shown that, under some more restrictive conditions than the ones proposed here, for the case \(k=2\), max-type system (1) has a unique periodic solution with period ω and that every solution to the system converges to the periodic solution. A natural question is whether a related result holds for the case of k-dimensional system (1). In this paper we give a positive answer to the question. Moreover, we also present an elegant and considerably shorter proof of a more general result which includes the ones in [2].

One of the standard methods for showing the existence of a specific type of solutions of systems of difference equations is application of fixed point theorems. Various results of this type can be found, for example, in [22] and [23], and in the related references therein.

Assume that \((X,d)\) is a (non-empty) complete metric space and that operator \(A:X\to X\) is a contraction, that is, the following inequality holds:
$$\begin{aligned} d(Ax, Ay)\le qd(x,y), \end{aligned}$$
for every \(x,y\in X\) and some \(q\in[0,1)\). The Banach fixed point theorem says that under these conditions operator A has a unique fixed point, that is, a point \(x^{*}\in X\) such that \(A(x^{*})=x^{*}\).

The idea in the paper is to define a natural operator on the metric (in fact, normed) space \((l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k}),\|\cdot\|_{\omega _{\infty}})\), which will be a contraction, so that by using the Banach fixed point theorem can be shown the existence of a fixed point, which will be a unique periodic solution to system (1). For proving the global attractivity of all solutions to system (1) to the periodic one is essentially used a related stronger condition to (6), for which there is not needed any fixed point theorem, but just some estimates.

2 Main result and some remarks

In this section we prove the main result of this paper, and we also give some remarks related to the proof of the main result and conditions posed in it.

Theorem 1

Consider system (1), where \(k\in {\mathbb {N}}\), \(l_{i}\in {\mathbb {N}}\), \(i=\overline {1,k}\), \(x^{(i)}(0)\in {\mathbb {R}}\), \(i=\overline {1,k}\), the functions \(f_{ij}:{\mathbb {N}}_{0}\times {\mathbb {R}}^{k}\to {\mathbb {R}}\), \(i=\overline {1,k}\), \(j=\overline {1,l_{i}}\), satisfy conditions (2) and (3) with some nonnegative constants \(L_{ijs}\), \(i,s=\overline {1,k}\), \(j=\overline {1,l_{i}}\), satisfying condition (4). Then system (1) has a unique ω-periodic solution attracting all the solutions to the system.


For brevity, from now on we will write system (1) in the following form:
$$\begin{aligned} x^{(i)}(n+1)=\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n, \vec{x}(n)\bigr)\bigr\} ,\quad n\in {\mathbb {N}}_{0}, i=\overline {1,k}. \end{aligned}$$
Let c be a real number such that
$$\begin{aligned} 0< c\le\frac{1-\widehat{q}}{2}, \end{aligned}$$
and write system (1) in the following form:
$$\begin{aligned} x^{(i)}(n+1)=cx^{(i)}(n)+\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{x}(n)\bigr)-cx^{(i)}(n)\bigr\} , \end{aligned}$$
for \(n\in {\mathbb {N}}_{0}\) and \(i=\overline {1,k}\).
On the family of all vector sequences, we define the operators \(T_{i}\), \(i=\overline {1,k}\), as follows:
$$\begin{aligned} T_{i}(z) (n)=\max_{1\le j\le l_{i}}\bigl\{ f_{ij} \bigl(n,\vec{z}(n)\bigr)-cz^{(i)}(n)\bigr\} , \end{aligned}$$
for \(n\in {\mathbb {N}}_{0}\) and \(i=\overline {1,k}\).
$$\begin{aligned} T(z) (n)= \Biggl(\sum_{s=1}^{\omega }\frac {c^{-s}T_{1}(z)(n+s-1)}{c^{-\omega }-1},\ldots,\sum_{s=1}^{\omega }\frac {c^{-s}T_{k}(z)(n+s-1)}{c^{-\omega }-1} \Biggr), \end{aligned}$$
for \(n\in {\mathbb {N}}_{0}\).
Since the functions \(f_{ij}\), \(i=\overline {1,k}\), \(j=\overline {1,l_{i}}\), are ω-periodic in the first variable it immediately follows that \(T_{i}(z)(n+\omega)=T_{i}(z)(n)\), for every \(n\in {\mathbb {N}}_{0}\) and \(i=\overline {1,k}\), and consequently one obtains
$$T(z) (n+\omega)=T(z) (n),\quad n\in {\mathbb {N}}_{0}, $$
for every \(z\in l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\).

This means that the operator T maps the Banach space \(l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\) into itself.

Now we estimate the following expressions:
$$\bigl\vert T_{i}(x) (n)-T_{i}(y) (n)\bigr\vert =\Bigl\vert \max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{x}(n) \bigr)-cx^{(i)}(n)\bigr\} -\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{y}(n)\bigr)-cy^{(i)}(n)\bigr\} \Bigr\vert , $$
for \(n\in {\mathbb {N}}_{0}\) and \(i=\overline {1,k}\).
For each \(i\in\{1,\ldots,k\}\), there are \(j_{0},j_{1}\in\{1,\ldots,l_{i}\} \) (\(j_{0}=j_{0}(i),j_{1}=j_{1}(i)\)), such that
$$\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{x}(n)\bigr)\bigr\} =f_{ij_{0}}\bigl(n,\vec{x}(n)\bigr) $$
$$\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{y}(n)\bigr)\bigr\} =f_{ij_{1}}\bigl(n,\vec{y}(n)\bigr), $$
which implies
$$\begin{aligned} \bigl\vert T_{i}(x) (n)-T_{i}(y) (n)\bigr\vert =\bigl\vert f_{ij_{0}}\bigl(n,\vec{x}(n)\bigr)-cx^{(i)}(n)-f_{ij_{1}} \bigl(n,\vec{y}(n)\bigr)+cy^{(i)}(n)\bigr\vert . \end{aligned}$$
If, for some \(i\in\{1,\ldots, k\}\),
$$f_{ij_{0}}\bigl(n,\vec{x}(n)\bigr)-cx^{(i)}(n)-f_{ij_{1}} \bigl(n,\vec{y}(n)\bigr)+cy^{(i)}(n)\ge0, $$
then from (12), the choice of \(j_{1}\), and (3), we have
$$\begin{aligned} \bigl\vert T_{i}(x) (n)-T_{i}(y) (n)\bigr\vert &=f_{ij_{0}}\bigl(n,\vec{x}(n)\bigr)-cx^{(i)}(n)-f_{ij_{1}} \bigl(n,\vec{y}(n)\bigr)+cy^{(i)}(n) \\ &\le f_{ij_{0}}\bigl(n,\vec{x}(n)\bigr)-cx^{(i)}(n)-f_{ij_{0}} \bigl(n,\vec{y}(n)\bigr)+cy^{(i)}(n) \\ &\le\sum_{s=1}^{k}L_{ij_{0}s}\bigl\vert x^{(s)}(n)-y^{(s)}(n)\bigr\vert +c\bigl\vert x^{(i)}(n)-y^{(i)}(n)\bigr\vert \\ &\le \Biggl(c+\sum_{s=1}^{k}L_{ij_{0}s} \Biggr)\bigl\Vert \vec{x}(n)-\vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}. \end{aligned}$$
On the other hand, if for some \(i\in\{1,\ldots, k\}\),
$$f_{ij_{0}}\bigl(n,\vec{x}(n)\bigr)-cx^{(i)}(n)-f_{ij_{1}} \bigl(n,\vec{y}(n)\bigr)+cy^{(i)}(n)\le0, $$
then from (12), the choice of \(j_{0}\), and (3), we have
$$\begin{aligned} \bigl\vert T_{i}(x) (n)-T_{i}(y) (n)\bigr\vert &=f_{ij_{1}}\bigl(n,\vec{y}(n)\bigr)-cy^{(i)}(n)-f_{ij_{0}} \bigl(n,\vec{x}(n)\bigr)+cx^{(i)}(n) \\ &\le f_{ij_{1}}\bigl(n,\vec{y}(n)\bigr)-cy^{(i)}(n)-f_{ij_{1}} \bigl(n,\vec{x}(n)\bigr)+cx^{(i)}(n) \\ &\le\sum_{s=1}^{k}L_{ij_{1}s}\bigl\vert x^{(s)}(n)-y^{(s)}(n)\bigr\vert +c\bigl\vert x^{(i)}(n)-y^{(i)}(n)\bigr\vert \\ &\le \Biggl(c+\sum_{s=1}^{k}L_{ij_{1}s} \Biggr)\bigl\Vert \vec{x}(n)-\vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}. \end{aligned}$$
From (4), (13), and (14) it follows that
$$\begin{aligned} \bigl\vert T_{i}(x) (n)-T_{i}(y) (n)\bigr\vert \le(c+ \widehat{q}) \bigl\Vert \vec{x}(n)-\vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}, \end{aligned}$$
for every \(n\in {\mathbb {N}}_{0}\) and \(i=\overline {1,k}\).
Using (11) and (15), we have
$$\begin{aligned} \bigl\Vert T(x) (n)-T(y) (n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}} &=\max _{i=\overline {1,k}} \Biggl|\sum_{s=1}^{\omega }\frac {c^{-s}(T_{i}(x)(n+s-1)-T_{i}(y)(n+s-1))}{c^{-\omega }-1} \Biggr| \\ &\le(c+\widehat{q})\sum_{s=1}^{\omega }\frac{c^{-s}}{c^{-\omega }-1}\bigl\Vert \vec{x}(n)-\vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}} \\ &=\frac{c+\widehat{q}}{1-c}\bigl\Vert \vec{x}(n)-\vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}, \end{aligned}$$
for every \(n\in {\mathbb {N}}_{0}\) and \(x,y\in l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\).
By taking the supremum in (16) over the set \(\{n : 0\le n\le \omega -1\}\), we get
$$\begin{aligned} \|Tx-Ty\|_{\omega _{\infty}}\le q_{1}\|x-y\|_{\omega _{\infty}}, \end{aligned}$$
for every \(x,y\in l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\), where
$$q_{1}:=\frac{c+\widehat{q}}{1-c}< 1, $$
due to condition (8).
This means that the operator T is a contraction on \(l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\). Hence, by the Banach fixed point theorem it follows that there is a unique fixed point \(z\in l^{\infty}_{\omega}({\mathbb {N}}_{0}^{k})\) of T, that is,
$$\begin{aligned} z^{(i)}(n)=\sum_{s=1}^{\omega }\frac {c^{-s}T_{i}(z)(n+s-1)}{c^{-\omega }-1}, \quad n\in {\mathbb {N}}_{0}, i=\overline {1,k}, \end{aligned}$$
holds. By using (18), some calculation and ω-periodicity of z, it is not difficult to see that z is also a solution to system (1), which proves the first statement in the theorem.
Let x be a solution to system (1) and z be the ω-periodic solution to the system, then by using the change of variables \(y=x-z\) the system becomes
$$\begin{aligned} y^{(i)}(n+1)=\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n, \vec{y}(n)+\vec{z}(n)\bigr)\bigr\} -\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{z}(n)\bigr)\bigr\} , \end{aligned}$$
for every \(n\in {\mathbb {N}}_{0}\) and \(i=\overline {1,k}\).
For each \(i\in\{1,\ldots,k\}\), there are \(j_{2},j_{3}\in\{1,\ldots,k\}\) (\(j_{2}=j_{2}(i), j_{3}=j_{3}(i)\)), such that
$$\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{y}(n)+\vec{z}(n) \bigr)\bigr\} =f_{ij_{2}}\bigl(n,\vec{y}(n)+\vec{z}(n)\bigr) $$
$$\max_{1\le j\le l_{i}}\bigl\{ f_{ij}\bigl(n,\vec{z}(n)\bigr)\bigr\} =f_{ij_{3}}\bigl(n,\vec{z}(n)\bigr), $$
which implies
$$\begin{aligned} y^{(i)}(n+1)=f_{ij_{2}}\bigl(n,\vec{y}(n)+\vec{z}(n) \bigr)-f_{ij_{3}}\bigl(n,\vec{z}(n)\bigr). \end{aligned}$$
If for some \(i\in\{1,\ldots, k\}\),
$$f_{ij_{2}}\bigl(n,\vec{y}(n)+\vec{z}(n)\bigr)-f_{ij_{3}}\bigl(n,\vec{z}(n)\bigr)\ge0, $$
then from (20), the choice of \(j_{3}\) and (3), we have
$$\begin{aligned} \bigl\vert y^{(i)}(n+1)\bigr\vert &=f_{ij_{2}}\bigl(n,\vec{y}(n)+\vec{z}(n)\bigr)-f_{ij_{3}}\bigl(n,\vec{z}(n)\bigr) \\ &\le f_{ij_{2}}\bigl(n,\vec{y}(n)+\vec{z}(n)\bigr)-f_{ij_{2}}\bigl(n, \vec{z}(n)\bigr) \\ &\le\sum_{s=1}^{k}L_{ij_{2}s}\bigl\vert y^{(s)}(n)\bigr\vert \le \Biggl(\sum_{s=1}^{k}L_{ij_{2}s} \Biggr)\bigl\Vert \vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}. \end{aligned}$$
On the other hand, if, for some \(i\in\{1,\ldots, k\}\),
$$f_{ij_{2}}\bigl(n,\vec{y}(n)+\vec{z}(n)\bigr)-f_{ij_{3}}\bigl(n,\vec{z}(n)\bigr)\le0, $$
then from (20), the choice of \(j_{2}\), and (3), we have
$$\begin{aligned} \bigl\vert y^{(i)}(n+1)\bigr\vert &=f_{ij_{3}} \bigl(n,\vec{z}(n)\bigr)-f_{ij_{2}}\bigl(n,\vec{y}(n)+\vec{z}(n)\bigr) \\ &\le f_{ij_{3}}\bigl(n,\vec{z}(n)\bigr)-f_{ij_{3}}\bigl(n,\vec{y}(n)+ \vec{z}(n)\bigr) \\ &\le\sum_{s=1}^{k}L_{ij_{3}s}\bigl\vert y^{(s)}(n)\bigr\vert \\ &\le \Biggl(\sum_{s=1}^{k}L_{ij_{3}s} \Biggr)\bigl\| \vec{y}(n)\bigr\| _{{\mathbb {R}}^{k}_{\infty}}. \end{aligned}$$
From (21) and (22) it easily follows that
$$\bigl\Vert \vec{y}(n+1)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}\le\widehat{q} \bigl\Vert \vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}},\quad n\in {\mathbb {N}}_{0}, $$
from which one obtains
$$\begin{aligned} \bigl\Vert \vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}\le\widehat{q}^{n} \bigl\Vert \vec{y}(0)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}, \quad n\in {\mathbb {N}}_{0}. \end{aligned}$$
From (23) and the fact \(\widehat{q}\in[0,1)\), it follows that
$$\lim_{n\to\infty}\bigl\Vert \vec{y}(n)\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}=0, $$
from which the second statement of the theorem follows, finishing the proof of the theorem. □

Remark 1

If for some fixed \(i,j\in\{1,\ldots,k\}\) the corresponding function \(f_{ij}\) does not contain all variables \(u_{1},u_{2},\ldots,u_{k}\), but only some of them, say \(u_{1},\ldots,u_{m}\), where \(m< k\), then the function \(f_{ij}\) which maps the set \({\mathbb {N}}_{0}\times {\mathbb {R}}^{m}\) to \({\mathbb {R}}\) can be regarded, in a natural way, as a function from the set \({\mathbb {N}}_{0}\times {\mathbb {R}}^{k}\) into \({\mathbb {R}}\), by using the following extension:
$$\widetilde{f}_{ij}(n,u_{1},\ldots,u_{k})=f_{ij}(n,u_{1}, \ldots,u_{m}), $$
for every \(n\in {\mathbb {N}}_{0}\), \(u_{i}\in {\mathbb {R}}\), \(i=\overline {1,k}\).

Such a situation appears in [2] where all the involved functions are defined on the set \({\mathbb {N}}_{0}\times {\mathbb {R}}\), but they can be naturally prolonged on the set \({\mathbb {N}}_{0}\times {\mathbb {R}}^{2}\) as suggested above.

Remark 2

It is interesting to note that we cannot choose \(c=0\) in the proof of the first statement in Theorem 1. Namely, if we do this, then the operators \(T_{i}\), \(i=\overline {1,k}\), become
$$T_{i}(z) (n)=\max_{1\le j\le l_{i}}\bigl\{ f_{ij} \bigl(n,\vec{z}(n)\bigr)\bigr\} ,\quad n\in {\mathbb {N}}_{0}, i=\overline {1,k}, $$
and a natural choice for the operator T is
$$T=(T_{1},\ldots,T_{k}). $$
From the proof of Theorem 1 with \(c=0\), for T such chosen, it is easily seen that (see (15))
$$\bigl\Vert T(x)-T(y)\bigr\Vert _{\omega _{\infty}}\le\hat{q}\|x-y \|_{\omega _{\infty}}, $$
for every \(x,y\in l^{\infty}_{\omega }({\mathbb {N}}_{0}^{k})\).
Hence, the operator \(T:l^{\infty}_{\omega }({\mathbb {N}}_{0}^{k})\to l^{\infty}_{\omega }({\mathbb {N}}_{0}^{k})\) is a contraction. By the Banach fixed point theorem it follows that there is a unique \(z\in l^{\infty}_{\omega }({\mathbb {N}}_{0}^{k})\) such that \(T(z)=z\), that is,
$$z^{(i)}(n+1)=z^{(i)}(n), $$
for every \(n\in {\mathbb {N}}_{0}\) and \(i=\overline {1,k}\), which is, in fact, the existence of a constant vector solution to (1).
Let \((\vec{c})_{n\in {\mathbb {N}}_{0}}= ((c_{1},\ldots,c_{k}) )_{n\in {\mathbb {N}}_{0}}\) be a constant solution to (1). Then for each \(i\in\{ 1,\ldots,k\}\) there is a \(j_{i}\in\{1,\ldots,l_{i}\}\) such that
$$c_{i}=f_{ij_{i}}(n,\vec{c}), $$
for every \(n\in {\mathbb {N}}_{0}\), from which it follows that the values of functions \(f_{ij_{i}}\) are independent of n. Note that due to the periodicity of \(f_{ij_{i}}\) the variable n can essentially take only the values from the set \(\{0, 1, \ldots, \omega -1\}\). This suggests that the following closely related result, which could be known, holds.

Proposition 1

Consider the system of equations
$$\begin{aligned} c_{i}=\max_{1\le j\le l_{i}}\bigl\{ g_{ij}(\vec{c})\bigr\} ,\quad i=\overline {1,k}, \end{aligned}$$
where \(k\in {\mathbb {N}}\), \(l_{i}\in {\mathbb {N}}\), \(i=\overline {1,k}\), the functions \(g_{ij}:{\mathbb {R}}^{k}\to {\mathbb {R}}\), \(i=\overline {1,k}\), \(j=\overline {1,l_{i}}\), satisfy the following Lipschitz-type conditions:
$$\begin{aligned} \bigl\vert g_{ij}(u_{1},\ldots,u_{k})-g_{ij}(v_{1}, \ldots,v_{k})\bigr\vert \le \sum_{s=1}^{k} \widehat{L}_{ijs}\vert u_{s}-v_{s}\vert \end{aligned}$$
for every \(u_{s},v_{s}\in {\mathbb {R}}\), \(s=\overline {1,k}\), and for some nonnegative numbers \(\widehat{L}_{ijs}\), \(i,s=\overline {1,k}\), \(j=\overline {1,l_{i}}\), such that
$$\begin{aligned} q_{1}:=\max_{1\le i\le k, 1\le j\le l_{i}}\sum_{s=1}^{k} \widehat{L}_{ijs}< 1. \end{aligned}$$
Then system (24) has a unique solution in \({\mathbb {R}}^{k}\).


$$\widehat{M}:=\max_{1\le i\le k, 1\le j\le l_{i}}\bigl\vert g_{ij}(\vec{0}) \bigr\vert , $$
and the operator \(T=(T_{1},\ldots,T_{k})\) be defined on \({\mathbb {R}}^{k}\) as follows:
$$T(\vec{u})= \Bigl(\max_{1\le j\le l_{1}}\bigl\{ g_{1j}(\vec{u}) \bigr\} ,\ldots, \max_{1\le j\le l_{k}}\bigl\{ g_{kj}(\vec{u})\bigr\} \Bigr). $$
Then by using (25) and (26), we have
$$\begin{aligned} \bigl\Vert T(\vec{u})\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}} &=\max _{i=\overline {1,k}} \Bigl\vert \max_{1\le j\le l_{i}}\bigl\{ g_{ij}(\vec{u})\bigr\} \Bigr\vert \le\max_{1\le i\le k,1\le j\le l_{i}} \bigl\{ \bigl\vert g_{ij}(\vec{0})\bigr\vert +\bigl\vert g_{ij}(\vec{u})-g_{ij}(\vec{0})\bigr\vert \bigr\} \\ &\le\max_{1\le i\le k, 1\le j\le l_{i}} \Biggl\{ \widehat{M}+\sum _{s=1}^{k}\widehat{L}_{ijs}|u_{s}| \Biggr\} \\ &\le\widehat{M}+q_{1}\|\vec{u}\|_{{\mathbb {R}}^{k}_{\infty}}. \end{aligned}$$
$$r=\frac{\widehat{M}}{1-q_{1}}. $$
Then from (27) it follows that T maps the closed ball \(B_{r}=\{ \vec{u}\in {\mathbb {R}}^{k}: \|\vec{u}\|_{{\mathbb {R}}^{k}_{\infty}}\le r\}\) into itself.
On the other hand, similar to the proof of Theorem 1, one obtains
$$\begin{aligned} \bigl\Vert T(\vec{u})-T(\vec{v})\bigr\Vert _{{\mathbb {R}}^{k}_{\infty}}\le q_{1} \Vert \vec{u}-\vec{v}\Vert _{{\mathbb {R}}^{k}_{\infty}}, \end{aligned}$$
for every \(\vec{u},\vec{v}\in {\mathbb {R}}^{k}\), that is, \(T:B_{r}\to B_{r}\) is a contraction.

Hence, by the Banach fixed point theorem it follows that there is a unique fixed point of the operator, that is, a unique solution to system (24) in \(B_{r}\). Due to (28) it is also a unique solution in \({\mathbb {R}}^{k}\). □


Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

Mathematical Institute of the Serbian Academy of Sciences
Operator Theory and Applications Research Group, Department of Mathematics, King Abdulaziz University


  1. Berenhaut, K, Foley, J, Stević, S: Boundedness character of positive solutions of a max difference equation. J. Differ. Equ. Appl. 12(12), 1193-1199 (2006) MathSciNetView ArticleMATHGoogle Scholar
  2. Dekkar, I, Touafek, N: Existence and global attractivity of periodic solutions in a max-type system of difference equations. Turk. J. Math. (2016, in press) Google Scholar
  3. Iričanin, BD, Touafek, N: On a second-order max-type system of difference equations. Indian J. Math. 54(1), 119-142 (2012) MathSciNetMATHGoogle Scholar
  4. Kent, CM, Kustesky, M, Nguyen, AQ, Nguyen, BV: Eventually periodic solutions of \(x_{n+1}=\max\{A_{n}/x_{n}, B_{n}/x_{n-1}\}\) when the parameters are two cycles. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 10(1-3), 33-49 (2003) MathSciNetMATHGoogle Scholar
  5. Liu, W, Stević, S: Global attractivity of a family of nonautonomous max-type difference equations. Appl. Math. Comput. 218, 6297-6303 (2012) MathSciNetMATHGoogle Scholar
  6. Papaschinopoulos, G, Hatzifilippidis, V: On a max difference equation. J. Math. Anal. Appl. 258, 258-268 (2001) MathSciNetView ArticleMATHGoogle Scholar
  7. Papaschinopoulos, G, Schinas, C, Hatzifilippidis, V: Global behavior of the solutions of a max-equation and of a system of two max-equations. J. Comput. Anal. Appl. 5, 237-254 (2003) MathSciNetMATHGoogle Scholar
  8. Stefanidou, G, Papaschinopoulos, G, Schinas, C: On a system of max difference equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 14(6), 885-903 (2007) MathSciNetMATHGoogle Scholar
  9. Stević, S: Boundedness character of a class of difference equations. Nonlinear Anal. TMA 70, 839-848 (2009) MathSciNetView ArticleMATHGoogle Scholar
  10. Stević, S: Global stability of a difference equation with maximum. Appl. Math. Comput. 210, 525-529 (2009) MathSciNetMATHGoogle Scholar
  11. Stević, S: On a generalized max-type difference equation from automatic control theory. Nonlinear Anal. TMA 72, 1841-1849 (2010) MathSciNetView ArticleMATHGoogle Scholar
  12. Stević, S: Periodicity of max difference equations. Util. Math. 83, 69-71 (2010) MathSciNetMATHGoogle Scholar
  13. Stević, S: On some periodic systems of max-type difference equations. Appl. Math. Comput. 218, 11483-11487 (2012) MathSciNetMATHGoogle Scholar
  14. Stević, S: On positive solutions of some classes of max-type systems of difference equations. Appl. Math. Comput. 232C, 445-452 (2014) MathSciNetGoogle Scholar
  15. Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: Boundedness character of a max-type system of difference equations of second order. Electron. J. Qual. Theory Differ. Equ. 2014, Article ID 45 (2014) MathSciNetView ArticleMATHGoogle Scholar
  16. Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: Eventual periodicity of some systems of max-type difference equations. Appl. Math. Comput. 236C, 635-641 (2014) MathSciNetMATHGoogle Scholar
  17. Sun, T, Xi, H, Han, C, Qin, B: Dynamics of the max-type difference equation \(x_{n}=\max\{1/x_{n-m},A_{n}/x_{n-r}\}\). J. Appl. Math. Comput. 38(1-2), 173-180 (2012) MathSciNetView ArticleGoogle Scholar
  18. Papaschinopoulos, G, Schinas, CJ: On the behavior of the solutions of a system of two nonlinear difference equations. Commun. Appl. Nonlinear Anal. 5(2), 47-59 (1998) MathSciNetMATHGoogle Scholar
  19. Papaschinopoulos, G, Schinas, CJ: Invariants for systems of two nonlinear difference equations. Differ. Equ. Dyn. Syst. 7(2), 181-196 (1999) MathSciNetMATHGoogle Scholar
  20. Stević, S: Solutions of a max-type system of difference equations. Appl. Math. Comput. 218, 9825-9830 (2012) MathSciNetMATHGoogle Scholar
  21. Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: Solvability of nonlinear difference equations of fourth order. Electron. J. Differ. Equ. 2014, Article ID 264 (2014) MathSciNetView ArticleMATHGoogle Scholar
  22. Agarwal, RP: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Dekker, New York (2000) MATHGoogle Scholar
  23. Diblik, J, Schmeidel, E: On the existence of solutions of linear Volterra difference equations asymptotically equivalent to a given sequence. Appl. Math. Comput. 218, 9310-9320 (2012) MathSciNetMATHGoogle Scholar


© Stević 2016