Skip to main content

Theory and Modern Applications

Periodic solutions of a generalized system of piecewise linear difference equations

Abstract

In this article we consider the global behavior of the following system of piecewise linear difference equations: \(x_{n+1}=|x_{n}|-y_{n}-b\) and \(y_{n+1} = x_{n}+|y_{n}|\) where b is any positive real number and the initial condition \((x_{0}, y_{0})\) is an element of \(R^{2}\). By mathematical induction and direct computations we show that the solution to the system is eventually one of two particular prime period 3 solutions or the unique equilibrium solution.

1 Introduction

Recently there has been a surge of interest in systems of both rational and piecewise linear difference equations due to their practical applications in evolutionary biology, neural networks, and ecology [1–3]. There has been particular interest in the global behavior of systems of piecewise linear difference equations [1, 4–7].

We continue the trend by generalizing one of our recent papers [8]. In this paper we consider the behavior of the generalized system of piecewise linear difference equations,

$$ \left \{ \textstyle\begin{array}{l} x_{n+1} = | x_{n} | - y_{n} - b, \\ y_{n+1} = x_{n} + | y_{n} |, \end{array}\displaystyle \right .\quad n = 0, 1, \ldots, $$

where the parameter \(b \in(0, \infty)\) and the initial condition \((x_{0},y_{0} )\in R^{2}\). This system originated from a larger project at the University of Rhode Island which involves the following family of systems:

$$ \left \{ \textstyle\begin{array}{l} x_{n+1} = | x_{n} | + ay_{n} + b, \\ y_{n+1} = x_{n} + c| y_{n} |+d, \end{array}\displaystyle \right . \quad n = 0, 1, \ldots, $$

where the parameters \(a, b, c, d \in\{-1,0,1\}\) and the initial condition \((x_{0},y_{0} )\in R^{2}\). Each of the 81 systems in this family is designated a number N, where \(N = 27(a+1)+9(b+1)+3(c+1)+(d+1)+1\). The system considered in this paper is a generalized form of system number 8. Related work has been given recently in [8, 9].

Interest in the area began in 1984 when Devaney published his famous paper introducing the Gingerbreadman map:

$$ \left \{ \textstyle\begin{array}{l} x_{n+1} = |x_{n}| - y_{n} + 1, \\ y_{n+1} = x_{n}, \end{array}\displaystyle \right .\quad n = 0, 1, \ldots, $$

with initial the condition \((-0.1, 0)\). See [2, 3]. The Gingerbreadman map was Devaney’s response to the 1978 generalized Lozi equation. The Lozi equation,

$$ \left \{ \textstyle\begin{array}{l} x_{n+1} = -a|x_{n}| + y_{n} + 1, \\ y_{n+1} = bx_{n}, \end{array}\displaystyle \right .\quad n = 0, 1, \ldots, $$

with parameters \(a, b \in R\) and the initial condition \((x_{0}, y_{0}) \in R^{2}\), had been used to examine an attractor that was observed by Lorenz in the Hénon map, a non-linear system of difference equations,

$$ \left \{ \textstyle\begin{array}{l} x_{n+1} = -ax_{n}^{2} + y_{n} + 1, \\ y_{n+1} = bx_{n}, \end{array}\displaystyle \right .\quad n = 0, 1, \ldots, $$

with parameters \(a, b \in R\) and the initial condition \((x_{0}, y_{0}) \in R^{2}\) that modeled weather patterns [10–12]. We believe that our family of piecewise linear difference equations are the prototypes for more elaborate piecewise difference equations that, in many cases as in the Lozi equation, exhibit complicated behavior.

2 Preliminaries

The following definitions [2] are used in this paper. A difference equation of the first order is an equation of the form

$$ x_{n+1} = f(x_{n}),\quad n= 0,1, \ldots, $$
(1)

where f is a continuous function which maps some set J into J. The set J is usually an interval of real numbers, or a union of intervals, but it may even be a discrete set such as the set of integers.

A solution of (1) is a sequence \(\{x_{n}\}_{n = 0}^{\infty}\) which satisfies (1) for all \(n \geq0\). If we prescribe a set of initial conditions

$$x_{0} \in J, $$

then

$$\begin{aligned}& x_{1} = f(x_{0}), \\& x_{2} = f(x_{1}), \\& \ldots \end{aligned}$$

and so the solution \(\{x_{n}\}_{n = 0}^{\infty}\) of (1) exists for all \(n\geq0\) and is uniquely determined by the initial conditions.

A solution of (1) which is constant for all \(n\geq0\) is called an equilibrium solution of (1).

A solution \(\{x_{n}\}_{n = 0}^{\infty}\) of (1) is called periodic with period p (or a period p cycle) if there exists an integer \(p \geq1\) such that

$$ x_{n+p} = x_{n} \quad \mbox{for all } n\geq0. $$
(2)

We say that the solution is periodic with prime period p if p is the smallest positive integer for which (2) holds. In this case, a p-tuple

$$\left ( \textstyle\begin{array}{@{}c@{}} x_{n+1} \\ x_{n+2} \\ \vdots \\ x_{n+p} \end{array}\displaystyle \right ) $$

of any p consecutive values of the solution is called a p cycle of (1). A solution \(\{x_{n}\}_{n = 0}^{\infty}\) of (1) is called eventually periodic with period p if there exists an integer \(N \geq0\) such that \(\{x_{n}\}_{n = N}^{\infty}\) is periodic with period p.

We denote the absolute value of x by \(|x|\). So

$$|x| = \left \{ \textstyle\begin{array}{l@{\quad}l} x & \mbox{if } x \geq0 , \\ -x & \mbox{if } x < 0. \end{array}\displaystyle \displaystyle \right . $$

3 Main result

In this paper we consider the behavior of the system of piecewise linear difference equations,

$$ \left \{ \textstyle\begin{array}{l} x_{n+1} = | x_{n} | - y_{n} - b, \\ y_{n+1} = x_{n} + | y_{n} |, \end{array}\displaystyle \right .\quad n = 0, 1, \ldots, $$
(3)

where the parameter \(b \in(0, \infty)\) and the initial condition \(( x_{0},y_{0} ) \in R^{2} \).

Through extensive study of specific cases of b we found that system (3) has the unique equilibrium solution \(( \bar{x},\bar{y} ) = ( - \frac{ 2b }{ 5 }, -\frac{ b }{ 5 } ) \) and two period 3 cycles

$$P^{1}_{3} = \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 0, &-b \\ 0, & b \\ -2b, & b \end{array}\displaystyle \right ) \quad \mbox{and}\quad P^{2}_{3} = \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 0 , & - \frac{ b }{ 3 } \\ - \frac{ 2b }{ 3 } , & \frac{ b }{ 3 } \\ - \frac{ 2b }{ 3 } , & - \frac{ b }{ 3 } \end{array}\displaystyle \right ), $$

where

$$\left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} a_{1} , & b_{1} \\ a_{2}, & b_{2} \\ a_{3}, & b_{3} \end{array}\displaystyle \right ) $$

represents the consecutive solutions \((a_{1}, b_{1})\), \((a_{2}, b_{2})\), and \((a_{3}, b_{3})\) of the system.

The main result of this paper is as follows.

Set

$$\begin{aligned}& \mathcal{L}_{1} = \bigl\{ (0, y_{0})|y_{0} \geq0 \bigr\} , \\& \mathcal{L}_{2} = \bigl\{ (0, y_{0})|y_{0} \leq0 \bigr\} , \\& Q_{1} = \bigl\{ (x, y) \in\mathbf{R}\times\mathbf{R}|x \geq0\mbox{ and }y \geq0 \bigr\} , \\& Q_{2} = \bigl\{ (x, y)\in\mathbf{R}\times\mathbf{R}|x < 0 \mbox{ and } y \geq0 \bigr\} , \\& Q_{3} = \bigl\{ (x, y)\in\mathbf{R}\times\mathbf{R}|x < 0 \mbox{ and } y < 0 \bigr\} , \\& Q_{4} = \bigl\{ (x, y)\in\mathbf{R}\times\mathbf{R}|x \geq0 \mbox{ and } y < 0 \bigr\} . \end{aligned}$$

Theorem 1

Let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3) with \(b \in(0, \infty)\) and the initial condition \(( x_{0},y_{0} ) \in R^{2}\). Then the solution \(\{ (x_{n},y_{n})\}_{n=N}^{\infty}\) is the equilibrium solution \(( - \frac{ 2b }{ 5 }, -\frac{ b }{ 5 } )\) or eventually prime period 3 cycle \(P^{1}_{3}\) or \(P^{2}_{3} \).

In each lemma that follows we examine the separate sections of \(R^{2}\). The compilation of the sections addressed amount to all of \(R^{2}\) and so the proof of Theorem 1 is a direct consequence of the following lemmas.

Lemma 2

Let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3) and suppose that there exists an integer \(N\geq0\) such that \(y_{N} = -x_{N} -b \geq0\). Then \((x_{N+1}, y_{N+1}) = (0, -b)\), and so \(\{ (x_{n},y_{n})\}_{n=N+1}^{\infty}\) is the period 3 cycle \(P_{3}^{1}\).

Proof

We have

$$\begin{aligned}& x_{N+1} = |x_{N}|- y_{N} - b = -x_{N} -(-x_{N} -b) -b = 0 \quad \mbox{and} \\& y_{N+1} = x_{N} + |y_{N}| = x_{N} +(-x_{N} -b) =-b. \end{aligned}$$

Hence, \((x_{N+1}, y_{N+1})=(0, -b)\in P_{3}^{1}\). □

Lemma 3

Recall that \(\mathcal{L}_{1} = \{(0, y_{0})|y_{0} \geq0 \}\) and let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3). Suppose \((x_{0},y_{0}) \in \mathcal{L}_{1}\). Then \(\{ (x_{n},y_{n})\}_{n=2}^{\infty}\) is the prime period 3 cycle \(P_{3}^{1}\).

Proof

We have

$$\begin{aligned}& x_{1} = |x_{0}|- y_{0} - b = 0 -y_{0} -b = -y_{0} -b < 0\quad \mbox{and} \\& y_{1} = x_{0} + |y_{0}| = 0 + y_{0} =y_{0} \geq0. \end{aligned}$$

We see that \(y_{1} = -x_{1} -b\). It follows by Lemma 2, \((x_{2}, y_{2}) = (0, -b)\in P_{3}^{1}\). □

Lemma 4

Recall that \(\mathcal{L}_{2} = \{(0, y_{0})|y_{0} \leq0\}\) and let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3). Suppose \((x_{0},y_{0}) \in \mathcal{L}_{2}\). Then \(\{(x_{n},y_{n} ) \}_{n=0}^{\infty}\) is eventually either the prime period 3 cycle \(P_{3}^{1}\) or  \(P_{3}^{2}\).

Proof

We have

$$\begin{aligned}& x_{1} =|x_{0} |-y_{0}-b = -y_{0}-b \quad \mbox{and} \\& y_{1} =x_{0}+|y_{0} | = -y_{0} \geq0 . \end{aligned}$$

Case 1: Suppose \(y_{0}<-b\). Then \(x_{1}= -y_{0}-b>0\) and by direct computations \(x_{3} = 2y_{0} + 2b<0\) and \(y_{3} = -2y_{0}-3b\).

Case 1a: Suppose \(y_{0} \leq-\frac{3b}{2} \). Then \(y_{3}=-2y_{0}-3b \geq0\). In addition, we see that \(y_{3}=-x_{3}-b \geq0\). We now apply Lemma 2 and conclude that \((x_{4},y_{4} )=(0,-b) \in P_{3}^{1}\).

Case 1b: It remains to consider the case \(-\frac{3b}{2} < y_{0}<-b\). Then \(y_{3}=-2y_{0} - 3b < 0\).

For the sake of contradiction, assume that it is false that there exists an integer N such that \(\{(x_{n},y_{n} ) \}_{n=N}^{\infty}\) is either the prime period 3 cycle \(P_{3}^{1} \) or \(P_{3}^{2}\). It follows from Lemma 2 that when \(y_{n}=-x_{n}-b\), then \(y_{n}<0\) for every integer \(n \geq0\). It also follows from Lemma 3 that when \(x_{n}=0\), then \(y_{n}<0\) for every integer \(n \geq0\).

For each \(n\geq0\) let

$$ l_{n}=\frac{-2^{2n+3} b-b}{3\times2^{2n+1} },\qquad u_{n}=\frac{-2^{2n+2} b+b}{3\times2^{2n}} \quad \mbox{and} \quad \delta_{n}=\frac{2^{2n+2} b-b}{3} . $$

See Figure 1.

Figure 1
figure 1

Sequences \(\pmb{l_{n}}\) and \(\pmb{u_{n}}\) on the negative x -axis.

Observe that

$$\begin{aligned}& -\frac{3b}{2} =l_{0} < l_{1}< l_{2}< \cdots< - \frac{4b}{3} \quad \mbox{and}\quad \lim_{n \to\infty} l_{n} = - \frac{4b}{3} , \\& -b=u_{0}>u_{1}>u_{2}> \cdots>- \frac{4b}{3} \quad \mbox{and}\quad \lim_{n \to \infty} u_{n}=- \frac{4b}{3}. \end{aligned}$$

For each integer m such that \(m\geq1\), let \(\mathrm{P}(m)\) be the following statement: for \(y_{0}\in(l_{m-1},u_{m-1})\),

$$ x_{3m+1}=0 \quad \mbox{and}\quad y_{3m+1}=2^{2m} y_{0}+\delta_{m}. $$

If \(y_{0} \in[u_{m}, u_{m-1})\), then \(y_{3m+1} \geq0\), which will be a contradiction by Lemma 3.

If \(y_{0} \in(l_{m-1},u_{m})\), then \(y_{3m+1} < 0\), and so

$$\begin{aligned}& x_{3m+2}=-2^{2m}y_{0}-(\delta_{m}+b)< 0 \quad \mbox{and} \quad y_{3m+2}=-2^{2m}y_{0}- \delta_{m}>0 , \\& x_{3m+3}=2^{2m+1}y_{0}+2\delta_{m}< 0 \quad \mbox{and} \quad y_{3m+3}= -2^{2m+1} y_{0}-(2 \delta_{m}+b) . \end{aligned}$$

If \(y_{0} \in(l_{m-1},l_{m}]\), then \(y_{3m+3} \geq0\), which will be a contradiction by Lemma 2.

If \(y_{0} \in(l_{m},u_{m})\), then \(y_{3m+3} < 0\).

Note that \(y_{0}\) is now in \((l_{m},u_{m})\).

Claim 4.1

\(\mathrm{P}(m)\) is true for \(m\geq1\).

The proof of the Claim 4.1 will be by induction on m. We shall first show that \(\mathrm{P}(1)\) is true. Recall that \(x_{3} = 2y_{0}+2b < 0\) and \(y_{3} = -2y_{0} -3b < 0\) when \(y_{0}\in(l_{0}, u_{0})=(-\frac{3b}{2}, -b)\). Then

$$\begin{aligned}& x_{3(1)+1} = x_{4} = |x_{3}|- y_{3} - b = 0 , \\& y_{3(1)+1} = y_{4} = x_{3} + |y_{3}| =4y_{0}+5b =2^{2(1)}y_{0} +\delta _{1} . \end{aligned}$$

If \(y_{0} \in[u_{1}, u_{0})=[-\frac{5b}{4}, -b)\), then \(y_{3(1)+1} = 4y_{0} + 5b \geq0\). By Lemma 3 the solution is eventually one of the two prime period 3 solutions and we have a contradiction.

If \(y_{0} \in(l_{0}, u_{1})= (-\frac{3b}{2}, -\frac{5b}{4})\), then \(y_{3(1)+1} = 4y_{0} + 5b < 0\), and so

$$\begin{aligned}& x_{3(1)+2} = x_{5} = |x_{4}|- y_{4} - b = -4y_{0}-6b =-2^{2(1)}y_{0} -(\delta_{1}+b) < 0 , \\& y_{3(1)+2} = y_{5} = x_{4} + |y_{4}| =-4y_{0}-5b =-2^{2(1)}y_{0} -\delta _{1} > 0 , \\& x_{3(1)+3} = x_{6} = |x_{5}|- y_{5} - b = 8y_{0}+10b =2^{2(1)+1}y_{0} +2\delta_{1} < 0 , \\& y_{3(1)+3} = y_{6} = x_{5} + |y_{5}| =-8y_{0}-11b =-2^{2(1)+1}y_{0} -(2 \delta_{1}+b) . \end{aligned}$$

If \(y_{0} \in(l_{1-1}, l_{1}] = (l_{0}, l_{1}]= (-\frac{3b}{2}, -\frac {11b}{8}]\), then \(y_{3(1)+3}=-8y_{0}-11b \geq0\). By Lemma 2 the solution is eventually one of the two prime period 3 solutions and we have a contradiction.

If \(y_{0} \in(l_{1}, u_{1})= (-\frac{11b}{8}, -\frac{5b}{4})\), then \(y_{3(1)+3}=-8y_{0}-11b < 0\). Hence \(\mathrm{P}(1)\) is true.

Next, assume that \(\mathrm{P}(N)\) is true for some integer \(N > 1\). We shall show that \(\mathrm{P}(N+1)\) is true. Since \(\mathrm{P}(N)\) is true, \(x_{3N+3} = 2^{2N+1}y_{0} + 2\delta_{N} < 0\) and \(y_{3N+3} = -2^{2N+1}y_{0} - (2\delta _{N}+b) < 0\) when

$$y_{0} \in(l_{N}, u_{N})= \biggl( \frac{-2^{2N+3}b-b}{3\times2^{2N+1}}, \frac {-2^{2N+2}b+b}{3\times2^{2N}} \biggr). $$

Then

$$\begin{aligned}& x_{3(N+1)+1} = x_{3N+4} = |x_{3N+3}|- y_{3N+3} - b = 0 , \\& y_{3(N+1)+1} = y_{3N+4} = x_{3N+3} + |y_{3N+3}| =2^{2(N+1)}y_{0} +4\delta_{N}+b \\& \hphantom{y_{3(N+1)+1}}=2^{2(N+1)}y_{0} +\delta_{N+1}. \end{aligned}$$

Note that

$$\delta_{N+1} = {\frac{2^{2N+4}b-b}{3} = 4 \biggl(\frac {2^{2N+2}b-b}{3} \biggr)+\frac{3b}{3}} = 4\delta_{N}+b. $$

If \(y_{0} \in[u_{N+1}, u_{(N+1)-1}) = [u_{N+1}, u_{N})= [ {\frac {-2^{2N+4}b+b}{3\times2^{2N+2}}, \frac{-2^{2N+2}b+b}{3\times 2^{2N}}} )\), then

$$y_{3(N+1)+1} =2^{2(N+1)}y_{0} +\delta_{N+1} =2^{2(N+1)}y_{0} + \biggl(\frac {2^{2N+4}b-b}{3} \biggr) \geq0. $$

By Lemma 3 the solution is eventually a prime period 3 solution and we have a contradiction.

If \(y_{0} \in(l_{(N+1)-1}, u_{(N+1)}) = (l_{N}, u_{N+1})= ( {\frac {-2^{2N+3}b-b}{3\times2^{2N+1}} ,\frac{-2^{2N+4}b+b}{3\times2^{2N+2}} } )\), then

$$y_{3(N+1)+1} =2^{2(N+1)}y_{0} +\delta_{N+1} =2^{2(N+1)}y_{0} + \biggl(\frac {2^{2N+4}b-b}{3} \biggr) < 0, $$

so that

$$\begin{aligned}& x_{3(N+1)+2}= |x_{3N+4}|- y_{3N+4} - b= -2^{2(N+1)}y_{0} -(\delta _{N+1}+b) \\& \hphantom{x_{3(N+1)+2}}=-2^{2N+2}y_{0} + \biggl( {\frac{-2^{2N+4}b-2b}{3}} \biggr) < 0, \\& y_{3(N+1)+2}= x_{3N+4} + |y_{3N+4}|=-2^{2(N+1)}y_{0} -\delta _{N+1}> 0, \\& x_{3(N+1)+3}= |x_{3N+5}|- y_{3N+5} - b= 2^{2(N+1)+1}y_{0} +2\delta_{N+1}< 0, \\& y_{3(N+1)+3}= x_{3N+5} + |y_{3N+5}|=-2^{2(N+1)+1}y_{0} -(2\delta _{N+1}+b). \end{aligned}$$

If \(y_{0} \in(l_{(N+1)-1}, l_{N+1}] = (l_{N}, l_{N+1}] = { ( \frac {-2^{2N+3}b-b}{3\times2^{2N+1}}, \frac{-2^{2N+5}b-b}{3\times 2^{2N+3}} ]}\), then

$$y_{3(N+1)+3} =-2^{2(N+1)+1}y_{0} -(2\delta_{N+1}+b)= -2^{2N+3}y_{0} + \biggl(\frac{-2^{2N+5}b-b}{3} \biggr) \geq0. $$

By Lemma 2 the solution is eventually one of the two prime period 3 solutions and we have a contradiction.

If \(y_{0} \in(l_{N+1}, u_{N+1}) = { ( \frac{-2^{2N+5}b-b}{3\times 2^{2N+3}}, \frac{-2^{2N+4}b+b}{3\times2^{2N+2}} )}\), then

$$y_{3(N+1)+3} =-2^{2(N+1)+1}y_{0} -(2\delta_{N+1}+b)= -2^{2N+3}y_{0} + \biggl(\frac{-2^{2N+5}b-b}{3} \biggr) < 0. $$

Hence, \(\mathrm{P}(N+1)\) is true. By mathematical induction, we can conclude that \(\mathrm{P}(m)\) is true for all integers \(m \geq1\). We can infer that any solution with initial condition in \(\{(0, y)| -\frac{3b}{2}< y < -b\} - \{(0, -\frac{4b}{3})\}\) is eventually the prime period 3 cycle \(P_{3}^{1}\).

Note that

$$\lim_{n \to\infty} l_{n} = - \frac{4b}{3} = \lim _{n \to\infty} u_{n}. $$

We also note that if \((x_{0}, y_{0}) = { (0, -\frac{4b}{3} )}\), then by direct computations

$$ (x_{3}, y_{3}) = \biggl(-\frac{2b}{3}, - \frac{b}{3} \biggr) \in P_{3}^{2}. $$

We can conclude that in Case 1, every solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\).

Case 2: Suppose \(-b \leq y_{0} \leq0\). Then \(x_{1}= -y_{0}-b \leq0\) and so

$$\begin{aligned}& x_{2}=|x_{1} |-y_{1}-b= y_{0}+b+y_{0}-b=2y_{0}< 0, \\& y_{2}=x_{1}+|y_{1} |= -y_{0}-b-y_{0}=-2y_{0}-b. \end{aligned}$$

Case 2a: Suppose \(-b\leq y_{0} \leq-\frac{b}{2}\). Then \(y_{2}=-2y_{0}-b \geq 0\). In addition, we see that \(y_{2}=-x_{2}-b \geq0\). We now apply Lemma 2 and conclude that \((x_{3},y_{3} )=(0,-b) \in P_{3}^{1}\).

Case 2b: Suppose \(-\frac{b}{2} < y_{0} \leq0\). Then \(y_{2}=-2y_{0}-b<0\), and so

$$\begin{aligned}& x_{3}=|x_{2} |-y_{2}-b= -2y_{0}+2y_{0}+b-b=0, \\& y_{3}=x_{2}+|y_{2} |= 2y_{0}+2y_{0}+b=4y_{0}+b. \end{aligned}$$

Case 2bi: Suppose \(-\frac{b}{4} \leq y_{0} \leq0\). Then \(y_{3}=4y_{0}+b \geq 0\). We now apply Lemma 3 and conclude that \((x_{5},y_{5} )=(0,-b)\in P_{3}^{1}\).

Case 2bii: It remains to consider the case \(-\frac{b}{2}< y_{0}<-\frac{b}{4}\).

For the sake of contradiction, assume that it is false that there exists an integer N such that \(\{(x_{n},y_{n} ) \}_{n=N}^{\infty}\) is either the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\). It follows from Lemma 2 that when \(y_{n}=-x_{n}-b\), then \(y_{n}<0\) for every integer \(n\geq0\). It also follows from Lemma 3 that when \(x_{n}=0\), then \(y_{n}<0\) for every integer \(n \geq0\).

For each \(n\geq1\) let

$$\mathfrak{l}_{n}=\frac{-2^{2n-1} b-b}{3\times2^{2n-1} },\qquad \mathfrak {u}_{n}=\frac{-2^{2n}b+b}{3\times2^{2n} }, \qquad \alpha_{n}= \frac{2^{2n} b-b}{3}. $$

Observe that

$$\begin{aligned}& -\frac{b}{2}=\mathfrak{l}_{1}< \mathfrak{l}_{2}< \mathfrak{l}_{3}< \cdots< -\frac {b}{3} \quad \mbox{and}\quad \lim _{n \to\infty}\mathfrak{l}_{n}=-\frac{b}{3}, \\& -\frac{b}{4}=\mathfrak{u}_{1}>\mathfrak{u}_{2}> \mathfrak{u}_{3}>\cdots>-\frac {b}{3}\quad \mbox{and}\quad \lim _{n \to\infty}\mathfrak{u}_{n}=-\frac{b}{3}. \end{aligned}$$

For each integer m such that \(m \geq1\), let \(\mathrm{Q}(m)\) be the following statement: for \(y_{0}\in(\mathfrak{l}_{m},\mathfrak{u}_{m} )\),

$$\begin{aligned}& x_{3m+1} =-2^{2m} y_{0}-(\alpha_{m}+b)< 0 \quad \mbox{and}\quad y_{3m+1}=-2^{2m} y_{0}- \alpha_{m}>0, \\& x_{3m+2}=2^{2m+1} y_{0}+2\alpha_{m}< 0 \quad \mbox{and}\quad y_{3m+2}=-2^{2m+1} y_{0}-(2 \alpha_{m}+b). \end{aligned}$$

If \(y_{0} \in(\mathfrak{l}_{m}, \mathfrak{l}_{m+1}]\), then \(y_{3m+2} \geq 0\), which will be a contradiction by Lemma 2.

If \(y_{0} \in(\mathfrak{l}_{m+1}, \mathfrak{u}_{m})\), then \(y_{3m+2} < 0\), and so

$$ x_{3m+3}=0 \quad \mbox{and}\quad y_{3m+3}=2^{2m+2} y_{0}+(4\alpha_{m}+b). $$

If \(y_{0} \in[\mathfrak{u}_{m+1}, \mathfrak{u}_{m})\), then \(y_{3m+3} \geq0\), which will be a contradiction by Lemma 3.

If \(y_{0} \in(\mathfrak{l}_{m+1}, \mathfrak{u}_{m+1})\), then \(y_{m+3} < 0\).

Note that \(y_{0}\) is now in \((\mathfrak{l}_{m+1},\mathfrak{u}_{m+1})\).

The proof is similar to Case 1b, so it will be omitted. Note that

$$\lim_{n \to\infty} \mathfrak{l}_{n} = - \frac{b}{3} = \lim_{n \to\infty } \mathfrak{u}_{n} $$

and that \((0, -\frac{b}{3})\in P_{3}^{2}\). So the solution is eventually one of the two prime period 3 solutions.  □

Lemma 5

Let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3) where the initial condition \(( x_{0},y_{0} ) \in Q_{1} = \{(x, y)\in\mathbf{R}\times\mathbf{R}|x \geq 0\textit{ and }y \geq0 \}\). Then the solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\).

Proof

Let \((x_{0}, y_{0}) \in Q_{1}\). Then

$$\begin{aligned}& x_{1} = |x_{0}|- y_{0} - b = x_{0} -y_{0} -b , \\& y_{1} = x_{0} + |y_{0}| = x_{0} + y_{0} \geq0 . \end{aligned}$$

Case 1: Suppose \(x_{1} = x_{0}-y_{0}-b\geq0 \). Then, by direct computations, \(x_{4} = 0\) and so \((x_{4}, y_{4}) \in \mathcal{L}_{1} \cup\mathcal{L}_{2}\). By Lemmas 3 and 4 the solution \(\{ (x_{n},y_{n})\}_{n=0}^{\infty }\) is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\).

Case 2: Suppose \(x_{1} = x_{0}-y_{0}-b < 0\). Then by direct computations \(x_{3} = 0\) and so \((x_{3}, y_{3}) \in\mathcal{L}_{1} \cup\mathcal{L}_{2}\). By Lemmas 3 and 4 the solution \(\{ (x_{n},y_{n})\}_{n=0}^{\infty }\) is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\). □

Lemma 6

Let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3) where the initial condition \(( x_{0},y_{0} ) \in Q_{2} = \{(x, y)\in\mathbf{R}\times\mathbf{R}|x < 0 \textit{ and } y \geq0 \}\). Then the solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\).

Proof

Suppose \((x_{0}, y_{0}) \in Q_{2}\). Then

$$\begin{aligned}& x_{1} = |x_{0}|- y_{0} - b = -x_{0} -y_{0} -b, \\& y_{1} = x_{0} + |y_{0}| = x_{0} + y_{0} . \end{aligned}$$

If \(x_{1} = -x_{0} -y_{0} -b< 0\) and \(y_{1} = x_{0} + y_{0} \geq0\), then by Lemma 2, \((x_{2}, y_{2}) = (0, -b)\in P_{3}^{1}\).

If \(x_{1} = -x_{0} -y_{0} -b < 0\) and \(y_{1} = x_{0} + y_{0} < 0\), then \(x_{2} = |x_{1}|-y_{1}-b = 0\). So \((x_{2}, y_{2}) \in \mathcal{L}_{1} \cup\mathcal {L}_{2}\). By Lemmas 3 and 4 the solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\).

If \(x_{1} = -x_{0} -y_{0} -b\geq0\) and \(y_{1} = x_{0} + y_{0} < 0\), then by direct computations \(x_{5} = 0\). Thus, \((x_{5}, y_{5})\in\mathcal{L}_{1} \cup\mathcal{L}_{2}\). By Lemmas 3 and 4 the solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\). Please note that we cannot have the case \(x_{1} \geq0\) and \(y_{1} \geq0\). Hence from all the possible cases one infers that the solution is eventually a prime period 3 cycle. □

Lemma 7

Let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3) where the initial condition \(( x_{0},y_{0} ) \in Q_{4} = \{(x, y)\in\mathbf{R}\times\mathbf{R}|x \geq 0 \textit{ and } y < 0 \}\). Then the solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\).

Proof

Suppose \((x_{0}, y_{0}) \in Q_{4}\). Then

$$\begin{aligned}& x_{1} = |x_{0}|- y_{0} - b = x_{0} -y_{0} -b, \\& y_{1} = x_{0} + |y_{0}| = x_{0} - y_{0} > 0. \end{aligned}$$

If \(x_{1} = x_{0} -y_{0} -b \geq0\), then \((x_{1}, y_{1}) \in Q_{1}\). By Lemma 5 the solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\).

If \(x_{1} = x_{0} -y_{0} -b < 0\), then \((x_{1}, y_{1}) \in Q_{2}\). By Lemma 6 the solution is eventually the prime period 3 cycle \(P_{3}^{1}\) or \(P_{3}^{2}\). □

Lemma 8

Let \(\{ (x_{n},y_{n})\}_{n=0}^{\infty}\) be a solution to system (3) where the initial condition \(( x_{0},y_{0} ) \in Q_{3} = \{(x, y)\in\mathbf{R}\times\mathbf{R}|x < 0 \textit{ and } y < 0 \}\). Then the solution \(\{ (x_{n},y_{n})\} _{n=N}^{\infty}\) is the equilibrium solution or eventually prime period 3 cycle \(P^{1}_{3}\) or \(P^{2}_{3} \).

Proof

If \((x_{0},y_{0}) = ( - \frac{ 2b }{ 5 }, -\frac{ b }{ 5 } )\), then the solution \(\{ (x_{n},y_{n}) \}_{n=0}^{\infty}\) is the equilibrium solution. So suppose \((x_{0},y_{0}) \in Q_{3} \backslash \{ ( - \frac{ 2b }{ 5 }, -\frac{ b }{ 5 } ) \}\). It suffices to show that there exists an integer \(N \geq 0\) such that \(\{ (x_{n},y_{n}) \}_{n=N}^{\infty}\) is either the period 3 cycle \(P^{1}_{3} \) or the period 3 cycle \(P^{2}_{3} \).

For the sake of contradiction, assume that it is false that the solution \(\{(x_{n}, y_{n})\}_{n=0}^{\infty}\) is eventually prime period 3 cycle, which means that there exists an integer \(N \geq0\) such that \(\{ (x_{n},y_{n}) \}_{n=N}^{\infty}\) is either the period 3 cycle \(P^{1}_{3} \) or the period 3 cycle \(P^{2}_{3} \). It follows from the previous lemmas that \(x_{n} < 0\) and \(y_{n} < 0\) for every integer \(n \geq0\).

Case 1: Suppose further that \(x_{0} < -\frac{b}{2}\) and \(y_{0}<0\). Then by direct computations \(y_{2} = -2x_{0} - b > 0\), which is a contradiction because \((x_{2}, y_{2}) \notin Q_{3}\).

Case 2: Suppose \(x_{0} \geq-\frac{b}{2}\) and \(y_{0} < -\frac{b}{4}\). Then by direct computations \(y_{4}= -4y_{0}-b > 0\), which is a contradiction because \((x_{4}, y_{4}) \notin Q_{3}\).

Case 3: Suppose \(x_{0} \geq-\frac{3b}{8}\) and \(y_{0} > -\frac {b}{4}\). Then by direct computations \(y_{6}= 8x_{0}+3b > 0 \), which is a contradiction because \((x_{6}, y_{6}) \notin Q_{3}\).

Case 4: Suppose \(x_{0} < -\frac{3b}{8}\) and \(y_{0} \geq-\frac {3b}{16}\). Then by direct computations \(y_{8} = 16y_{0}+3b > 0 \), which is a contradiction because \((x_{8}, y_{8}) \notin Q_{3}\).

It remains to consider the case \(-\frac{b}{2}< x_{0} < -\frac{3b}{8}\) and \(-\frac{b}{4} < y_{0} < -\frac{3b}{16} \). For each integer \(n \geq 1\), let

$$\begin{aligned}& a_{n} = \frac{ -2^{4n-2}b-b}{5\times2^{4n-3}},\qquad b_{n} = \frac{-2^{4n}b+b}{5\times2^{4n-1}},\qquad c_{n} = \frac{-2^{4n-2}b-b}{5\times2^{4n-2}}, \\& d_{n} = \frac{-2^{4n}b+b}{5\times2^{4n}}\quad \mbox{and} \quad \delta_{n} = \frac{ 2^{4n}b-b}{5}. \end{aligned}$$

See Figure 2.

$$\begin{aligned}& -\frac{b}{2} = a_{1} < a_{2} < \cdots< - \frac{2b}{5} \quad \mbox{and} \quad \lim_{{n} \rightarrow\infty}{a_{n}}=- \frac{2b}{5}, \\& -\frac{3b}{8} = b_{1} > b_{2} > \cdots> - \frac{2b}{5} \quad \mbox{and} \quad \lim_{{n} \rightarrow \infty}{b_{n}}=- \frac{2b}{5}, \\& -\frac{b}{4} = c_{1} < c_{2} < \cdots< - \frac{b}{5} \quad \mbox{and}\quad \lim_{{n} \rightarrow \infty}{c_{n}}=- \frac{b}{5}, \\& -\frac{3b}{16} = d_{1} > d_{2} > \cdots> - \frac{b}{5} \quad \mbox{and} \quad \lim_{{n} \rightarrow \infty}{d_{n}}=- \frac{b}{5}. \end{aligned}$$

There exists a unique integer n such that \((x_{0},y_{0})\in (a_{n},b_{n})\times(c_{n},d_{n})\).

Figure 2
figure 2

Sequences \(\pmb{a_{n}}\) , \(\pmb{b_{n}}\) , \(\pmb{c_{n}}\) , and \(\pmb{d_{n}}\) in the third quadrant.

Recall that by assumption \(x_{n}<0\) and \(y_{n}<0\) for every integer \(n \geq 1\). Suppose that \(x_{0} \in(a_{1}, b_{1})= { (-\frac{b}{2}, -\frac {3b}{8} )} \) and \(y_{0} \in(c_{1}, d_{1})= { (-\frac{b}{4} , -\frac {3b}{16} )}\).

For each integer n with \(n\geq1\), let \(\mathcal{R}(n)\) be the following statement: for \(x_{0} \in(a_{n}, b_{n})\) and \(y_{0} \in(c_{n}, d_{n})\),

$$\begin{aligned}& x_{8n+1}= -2^{4n}x_{0} -2^{4n}y_{0}-(3 \delta_{n}+b),\qquad y_{8n+1}= 2^{4n}x_{0} -2^{4n}y_{0}+\delta_{n}, \\& x_{8n+2}= 2^{4n+1}y_{0}+2\delta_{n}, \qquad y_{8n+2}= -2^{4n+1}x_{0} -(4 \delta_{n}+b), \\& x_{8n+3}= 2^{4n+1}x_{0} -2^{4n+1}y_{0}+2 \delta_{n},\qquad y_{8n+3}= 2^{4n+1}x_{0} +2^{4n+1}y_{0}+(6\delta_{n}+b), \\& x_{8n+4}= -2^{4n+2}x_{0}-(8\delta_{n}+2b), \qquad y_{8n+4}= -2^{4n+2}y_{0} -(4 \delta_{n}+b), \\& x_{8n+5}= 2^{4n+2}x_{0} +2^{4n+2}y_{0}+(12 \delta_{n}+2b),\qquad y_{8n+5}= -2^{4n+2}x_{0} +2^{4n+2}y_{0}-(4\delta_{n}+b), \\& x_{8n+6}= -2^{4n+3}y_{0}-(8\delta_{n}+2b), \qquad y_{8n+6}= 2^{4n+3}x_{0} +(16 \delta_{n}+3b), \\& x_{8n+7}= -2^{4n+3}x_{0} +2^{4n+3}y_{0}-(8 \delta_{n}+2b), \\& y_{8n+7}= -2^{4n+3}x_{0} -2^{4n+3}y_{0}-(24\delta_{n}+5b), \\& x_{8n+8}= 2^{4n+4}x_{0}+(32\delta_{n}+6b), \qquad y_{8n+8}= 2^{4n+4}y_{0} +(16 \delta_{n}+3b). \end{aligned}$$

Now, \(x_{0} \in(a_{n+1}, b_{n+1})\) and \(y_{0} \in(c_{n+1}, d_{n+1})\), otherwise we have a contradiction.

Claim 8.1

\(\mathcal{R}(n)\) is true for \(n \geq1\).

The proof of the Claim 8.1 will be by induction on n. We shall first show that \(\mathcal{R}(1)\) is true. We have \(x_{0} \in(a_{1}, b_{1}) = { (-\frac{b}{2}, -\frac{3b}{8} )} \) and \(y_{0} \in(c_{1}, d_{1}) = { (-\frac{b}{4} , -\frac{3b}{16} )}\).

Suppose further that \(x_{0} \in(a_{1}, a_{2}] = { (-\frac{b}{2}, -\frac {13b}{32} ]} \) and \(y_{0} \in(c_{1}, d_{1}) = { (-\frac{b}{4} , -\frac{3b}{16} )}\).

Hence

$$\begin{aligned}& x_{8(1)+1} = x_{9} = -16x_{0}-16y_{0}-10b = -2^{4(1)}x_{0}-2^{4(1)}y_{0}-(3 \delta_{1} +b) , \\& y_{8(1)+1} = y_{9} = 16x_{0}-16y_{0}+3b = 2^{4(1)}x_{0}-2^{4(1)}y_{0}+ \delta_{1} , \\& x_{8(1)+2} = x_{10} = 32y_{0}+6b = 2^{4(1)+1}y_{0}+2\delta_{1} , \\& y_{8(1)+2} = y_{10} = -32x_{0}-13b = -2^{4(1)+1}x_{0}-(4\delta_{1}+b) \geq0 , \end{aligned}$$

which is a contradiction.

Suppose further that \(x_{0} \in(a_{2}, b_{1}) = { (-\frac{13b}{32}, -\frac{3b}{8} )} \) and \(y_{0} \in(c_{1}, c_{2}] = { (-\frac{b}{4} , -\frac{13b}{64} ]}\).

Hence

$$\begin{aligned}& x_{8(1)+3} = x_{11} = 32x_{0}-32y_{0}+6b = 2^{4(1)+1}x_{0}-2^{4(1)+1}y_{0}+2 \delta_{1} , \\& y_{8(1)+3} = y_{11} = 32x_{0}+32y_{0}+19b = 2^{4(1)+1}x_{0}+2^{4(1)+1}y_{0}+(6 \delta_{1}+b) , \\& x_{8(1)+4} = x_{12} = -64x_{0}-26b = -2^{4(1)+2}x_{0}-(8\delta _{1}+2b) , \\& y_{8(1)+4} = y_{12} = -64y_{0}-13b = -2^{4(1)+2}y_{0}-(4\delta_{1}+b) \geq0 , \end{aligned}$$

which is a contradiction.

Suppose further that \(x_{0} \in[b_{2}, b_{1}) = { [-\frac{51b}{128}, -\frac{3b}{8} )} \) and \(y_{0} \in(c_{2}, d_{1}) = { (-\frac {13b}{64} , -\frac{3b}{16} )}\).

Hence

$$\begin{aligned}& x_{8(1)+5} = x_{13} = 64x_{0}+64y_{0}+38b = 2^{4(1)+2}x_{0}+2^{4(1)+2}y_{0}+(12 \delta_{1}+2b) , \\& y_{8(1)+5} = y_{13} = -64x_{0}+64y_{0}-13b =-2^{4(1)+2}x_{0}+2^{4(1)+2}y_{0}-(4 \delta_{1}+b) , \\& x_{8(1)+6} = x_{14} = -128y_{0}-26b = -2^{4(1)+3}y_{0}-(8\delta_{1} +2b) , \\& y_{8(1)+6} = y_{14} = 128x_{0}+51b = 2^{4(1)+3}x_{0}+(16\delta _{1}+3b) \geq0 , \end{aligned}$$

which is a contradiction.

Suppose further that \(x_{0} \in(a_{2}, b_{2}) = { (-\frac{13b}{32}, -\frac{51b}{128} )} \) and \(y_{0} \in[d_{2}, d_{1}) = { [-\frac {51b}{256} , -\frac{3b}{16} )}\).

Hence

$$\begin{aligned}& x_{8(1)+7} = x_{15} = -128x_{0}+128y_{0}-26b = -2^{4(1)+3}x_{0}+2^{4(1)+3b}y_{0}-(8 \delta_{1}+2b) , \\& y_{8(1)+7} = y_{15} = -128x_{0}-128y_{0}-77b =-2^{4(1)+3}x_{0}-2^{4(1)+3b}y_{0}-(24 \delta_{1}+5b), \\& x_{8(1)+8} = x_{16} = 256x_{0}+102b = 2^{4(1)+4}x_{0}+(32\delta _{1}+6b) , \\& y_{8(1)+8} = y_{16} = 256y_{0}+51b = 2^{4(1)+4}y_{0}+(16\delta _{1}+3b) \geq0, \end{aligned}$$

which is a contradiction.

So we have \(x_{0} \in(a_{2}, b_{2}) = { (-\frac{13b}{32}, -\frac {51b}{128} )} \) and \(y_{0} \in(c_{2}, d_{2}) = { (-\frac{13b}{64} , -\frac{51b}{256} )}\). Hence \(\mathcal{R} (1)\) is true.

Suppose \(\mathcal{R}(N)\) is true. We shall show that \(\mathcal{R}(N+1)\) is true. Since \(\mathcal{R}(N)\) is true, we know

$$ x_{8N+8} = 2^{4N+4}x_{0}+(32\delta_{N}+6b), \qquad y_{8N+8} = 2^{4n+4}y_{0} +(16 \delta_{N}+3b) . $$

Recall that

$$\begin{aligned}& x_{0} \in(a_{N+1}, b_{N+1}) = { \biggl( \frac{ -2^{4N+2}b-b}{5\times 2^{4N+1}},\frac{-2^{4N+4}b+b}{5\times2^{4N+3}} \biggr)} \quad \mbox{and} \\& y_{0} \in (c_{N+1}, d_{N+1}) = { \biggl( \frac{-2^{4N+2}b-b}{5\times2^{4N+2}}, \frac {-2^{4N+4}b+b}{5\times2^{4N+4}} \biggr)}. \end{aligned}$$

Suppose \(x_{0} \in(a_{(N+1)}, a_{(N+1)+1}] = (a_{N+1}, a_{N+2}] = { (\frac{ -2^{4N+2}b-b}{5\times2^{4N+1}}, \frac{-2^{4N+6}b-b}{5\times 2^{4N+5}} ]} \), and \(y_{0} \in(c_{N+1}, d_{N+1}) = { (\frac {-2^{4N+2}b-b}{5\times2^{4N+2}}, \frac{-2^{4N+4}b+b}{5\times 2^{4N+4}} )}\).

Hence

$$\begin{aligned}& x_{8(N+1)+1} = x_{8N+9} = -2^{4(N+1)}x_{0}-2^{4(N+1)}y_{0}-(48 \delta_{N} + 10b), \\& \hphantom{x_{8(N+1)+1}} = -2^{4(N+1)}x_{0}-2^{4(N+1)}y_{0}-(3 \delta_{N+1} + b) , \\& y_{8(N+1)+1} = y_{8N+9} = 2^{4(N+1)}x_{0}-2^{4(N+1)}y_{0}+16 \delta_{N} + 3b, \\& \hphantom{y_{8(N+1)+1}} = 2^{4(N+1)}x_{0}-2^{4(N+1)}y_{0}+ \delta_{N+1}. \end{aligned}$$

Note that

$$16\delta_{N} + 3b = 2^{4} \biggl(\frac{2^{2N}b-b}{5} \biggr)+\frac{15b}{5} = {\frac{2^{4N+4}b-b}{5} =\delta_{N+1}}. $$

Hence

$$\begin{aligned}& x_{8(N+1)+2} = x_{8N+10} = 2^{4(N+1)+1}y_{0}+2 \delta_{N+1} , \\& y_{8(N+1)+2} = y_{8N+10} = -2^{4(N+1)+1}x_{0}-(4 \delta_{N+1} + b). \end{aligned}$$

We see that

$$y_{8(N+1)+2} = -2^{4(N+1)+1}x_{0}-(4\delta_{N+1} + b) = -2^{4N+5}x_{0} + { \biggl(\frac{-2^{4N+6}b-b}{5} \biggr)} \geq0, $$

which is a contradiction.

Next suppose \(x_{0} \in(a_{(N+1)+1}, b_{N+1}) = { (\frac{ -2^{4N+6}b-b}{5\times2^{4N+5}},\frac{-2^{4N+4}b+b}{5\times 2^{4N+3}} )} \) and \(y_{0} \in(c_{N+1}, c_{(N+1)+1}] = { (\frac {-2^{4N+2}b-b}{5\times2^{4N+2}}, \frac{-2^{4N+6}b-b}{5\times 2^{4N+6}} ]}\).

Hence

$$\begin{aligned}& x_{8(N+1)+3} = x_{8N+11} = 2^{4(N+1)+1}x_{0}-2^{4(N+1)+1}y_{0}+2 \delta _{N+1} , \\& y_{8(N+1)+3} = y_{8N+11} = 2^{4(N+1)+1}x_{0}+2^{4(N+1)+1}y_{0}+(6 \delta _{N+1} + b) , \\& x_{8(N+1)+4} = x_{8N+12} = -2^{4(N+1)+2}x_{0}-(8 \delta_{N+1}+2b) , \\& y_{8(N+1)+4} = y_{8N+12} = -2^{4(N+1)+2}y_{0}-(4 \delta_{N+1} + b) . \end{aligned}$$

We see that

$$y_{8(N+1)+4} = -2^{4(N+1)+2}y_{0}-(4\delta_{N+1} + b)= -2^{4N+6}y_{0} - { \biggl(\frac{2^{4N+6}b+b}{5} \biggr)} \geq0, $$

which is a contradiction.

Next suppose \(x_{0} \in[b_{(N+1)+1}, b_{N+1}) = { [\frac{ -2^{4N+8}b+b}{5\times2^{4N+7}},\frac{-2^{4N+4}b+b}{5\times 2^{4N+3}} )} \) and \(y_{0} \in(c_{(N+1)+1}, d_{N+1}) = { (\frac {-2^{4N+6}b-b}{5\times2^{4N+6}}, \frac{-2^{4N+4}b+b}{5\times 2^{4N+4}} )}\).

Hence

$$\begin{aligned}& x_{8(N+1)+5} = x_{8N+13} = 2^{4(N+1)+2}x_{0}+2^{4(N+1)+2}y_{0}+12 \delta _{N+1}+2b , \\& y_{8(N+1)+5} = y_{8N+13} = -2^{4(N+1)+2}x_{0}+2^{4(N+1)+2}y_{0}-(4 \delta_{N+1} + b), \\& x_{8(N+1)+6} = x_{8N+14} = -2^{4(N+1)+3}y_{0}-(8 \delta_{N+1}+2b) , \\& y_{8(N+1)+6} = y_{8N+14} = 2^{4(N+1)+3}x_{0}+(16 \delta_{N+1} + 3b). \end{aligned}$$

We see that

$$\begin{aligned} y_{8(N+1)+6} =& 2^{4(N+1)+3}x_{0}+(16\delta_{N+1} + 3b) \\ =& 2^{4N+7}x_{0} + { \biggl(\frac{2^{4N+8}b-b}{5} \biggr)} \geq0, \end{aligned}$$

which is a contradiction.

Next suppose \(x_{0} \in(a_{(N+1)+1}, b_{(N+1)+1}) = { (\frac{ -2^{4N+6}b-b}{5\times2^{4N+5}},\frac{-2^{4N+8}b+b}{5\times 2^{4N+7}} )} \) and \(y_{0} \in[d_{(N+1)+1}, d_{N+1}) = { [\frac {-2^{4N+8}b+b}{5\times2^{4N+8}}, \frac{-2^{4N+4}b+b}{5\times 2^{4N+4}} )}\).

Hence

$$\begin{aligned}& x_{8(N+1)+7} = x_{8N+15}= -2^{4(N+1)+3}x_{0}+2^{4(N+1)+3}y_{0}-(8 \delta_{N+1}+2b), \\& y_{8(N+1)+7} = y_{8N+15}= -2^{4(N+1)+3}x_{0}-2^{4(N+1)+3}y_{0}-(24 \delta_{N+1} + 5b), \\& x_{8(N+1)+8} = x_{8N+16}= 2^{4(N+1)+4}x_{0}+(32 \delta_{N+1}+6b), \\& y_{8(N+1)+8} = y_{8N+16}= 2^{4(N+1)+4}y_{0}+(16 \delta_{N+1} + 3b). \end{aligned}$$

We see that

$$y_{8(N+1)+8} = 2^{4(N+1)+4}y_{0}+(16\delta_{N+1} + 3b)= 2^{4N+8}y_{0} + { \biggl(\frac{2^{4N+8}b-b}{5} \biggr)} \geq0, $$

which is a contradiction and so \(\mathcal{R}(N+1)\) is true.

Thus the proof is complete. That is we showed by mathematical induction that \(\mathcal{R}(n)\) is true for every integer \(n \geq1\). Therefore for any initial condition \((x_{0}, y_{0})\in Q_{3}\backslash\{ (-\frac {2b}{5}, -\frac{b}{5} )\}\) there exists a natural number N so that \((x_{N}, y_{N})\notin Q_{3}\backslash\{ (-\frac{2b}{5}, -\frac {b}{5} )\}\), which allows us to apply previous lemmas to conclude that the solution is eventually the prime period 3 cycle \(P^{1}_{3}\) or \(P^{2}_{3} \).

Note that

$$\lim_{n \to\infty} a_{n} = -\frac{2b}{5} = \lim _{n \to\infty} b_{n} \quad \mbox{and}\quad \lim _{n \to\infty} c_{n} = -\frac{b}{5} = \lim _{n \to\infty } d_{n}. $$

We also note that \({ (-\frac{2b}{5}, -\frac{b}{5} )}\) is the equilibrium solution.  □

4 Discussion and conclusion

The system of piecewise linear difference equations examined in this paper was created as a prototype to understand the global behavior of systems like the Lozi equation. Although there has been some progress in examining the behavior of the Lozi equation [4], it still remains an enigma. We believe that this paper contributes broadly to the overall understanding of systems whose global behavior still remains unknown.

We utilized mathematical induction, proof by contradiction, and direct computations to show that every solution of system (3) is eventually either one of the two prime period 3 solutions or the equilibrium solution. We believe that investigating these types of systems of piecewise linear difference equations will give us the germ of generality that is required to understand systems with a more complicated behavior.

References

  1. Chua, LO, Yang, L: Cellular neural networks: applications. IEEE Trans. Circuits Syst. 38, 1273-1290 (1991)

    MathSciNet  Google Scholar 

  2. Grove, EA, Ladas, G: Periodicities in Nonlinear Difference Equations. Chapman & Hall/CRC, New York (2005)

    MATH  Google Scholar 

  3. Kulenovic, MRS, Merino, O: Discrete Dynamical Systems and Difference Equations with Mathematica. Chapman & Hall/CRC, New York (2002)

    Book  MATH  Google Scholar 

  4. Botella-Soler, V, Castelo, JM, Oteo, JA, Ros, J: Bifurcations in the Lozi map. J. Phys. A, Math. Theor. 44, 305101 (2011)

    Article  MathSciNet  Google Scholar 

  5. Devaney, RL: A piecewise linear model of the zones of instability of an area-preserving map. Physica D 10, 387-393 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  6. Devaney, RL: The Gingerbreadman. Algorithms 3, 15-16 (1992)

    Google Scholar 

  7. Feuer, J: Two classes of piecewise-linear difference equations with a periodic parameter and eventual periodicity. J. Differ. Equ. Appl. 14, 309-319 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  8. Grove, EA, Lapierre, E, Tikjha, W: On the global behavior of \(x_{n+1} = |x_{n}| - y_{n} - 1\) and \(y_{n+1} = x_{n} + |y_{n}|\). CUBO 14, 125-166 (2012)

    Article  MathSciNet  Google Scholar 

  9. Lapierre, EG, Lenbury, Y, Tikjha, W: On the global character of the system of piecewise linear difference equations \(x_{n+1} = |x_{n}| - y_{n} - 1\) and \(y_{n+1} = x_{n} - |y_{n}|\). Adv. Differ. Equ. 2010, Article ID 573281 (2010)

    Article  MathSciNet  Google Scholar 

  10. Henon, M: A two-dimensional mapping with a strange attractor. Commun. Math. Phys. 50, 69-77 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  11. Lozi, R: Un attracteur étrange du type attracteur de Hénon. J. Phys. Colloq. 39(C5), C5-9-C5-10 (1978)

    Article  Google Scholar 

  12. Peitgen, HO, Saupe, D (eds.): The Science of Fractal Images. Springer, New York (1988)

    MATH  Google Scholar 

Download references

Acknowledgements

The research was supported by the Thailand Research Fund (MRG5580088) National Research Council of Thailand and Pibulsongkram Rajabht University. The first and third author are supported by the Centre of Excellence in Mathematics, CHE, Thailand.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wirot Tikjha.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors carried out the proof. WT coordinated the work of the team and orchestrated the proof’s design. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tikjha, W., Lapierre, E. & Lenbury, Y. Periodic solutions of a generalized system of piecewise linear difference equations. Adv Differ Equ 2015, 248 (2015). https://doi.org/10.1186/s13662-015-0585-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0585-5

Keywords