Theory and Modern Applications

# Dynamics and behavior of a higher order rational recursive sequence

## Abstract

In this article we study the global convergence result, boundedness, and periodicity of solutions of the difference equation

${x}_{n+1}\phantom{\rule{0.3em}{0ex}}=a{x}_{n-s}+\frac{b{x}_{n-l}+c{x}_{n-k}}{d{x}_{n-l}+e{x}_{n-k}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}n=0,1,\phantom{\rule{2.77695pt}{0ex}}\dots ,$

where the parameters a, b, c, d and e are positive real numbers and the initial conditions x-t, x-t+1, . . . , x-1 and x0 are positive real numbers where t = max{s, l, k}.

Mathematics Subject Classification: 39A10.

## 1 Introduction

Difference equations appear as natural descriptions of observed evolution phenomena because most measurements of time evolving variables are discrete and as such these equations are in their own right important mathematical models. More importantly, difference equations also appear in the study of discretization methods for differential equations. Several results in the theory of difference equations have been obtained as more or less natural discrete analogues of corresponding results of differential equations.

The study of rational difference equations of order greater than one is quite challenging and rewarding because some prototypes for the development of the basic theory of the global behavior of nonlinear difference equations of order greater than one come from the results for rational difference equations. However, there have not been any effective general methods to deal with the global behavior of rational difference equations of order greater than one so far. Therefore, the study of rational difference equations of order greater than one is worth further consideration.

Recently there has been a lot of interest in studying the global attractivity, boundedness character, periodicity and the solution form of nonlinear difference equations. For some results in this area, for example: Agarwal and Elsayed [1] studied the global stability, periodicity character and gave the solution form of some special cases of the recursive sequence

${x}_{n+1}=a{x}_{n}+\frac{b{x}_{n}{x}_{n-3}}{c{x}_{n-2}+d{x}_{n-3}}.$

Aloqeili [2] obtained the form of the solutions of the difference equation

${x}_{n+1}=\frac{{x}_{n-1}}{a-{x}_{n}{x}_{n-1}}\phantom{\rule{2.77695pt}{0ex}}.$

Elabbasy et al. [3] investigated the global stability character, boundedness and the periodicity of solutions of the difference equation

${x}_{n+1}=\frac{\alpha {x}_{n}+\beta {x}_{n-1}+\gamma {x}_{n-2}}{A{x}_{n}+B{x}_{n-1}+C{x}_{n-2}}.$

Elabbasy et al. [4] get the dynamics such that the global stability, periodicity character and gave the solution of special case of the following recursive sequence

${x}_{n+1}=a{x}_{n}-\frac{b{x}_{n}}{c{x}_{n}-d{x}_{n-1}}.$

Elabbasy et al. [5] investigated the behavior of the difference equation especially global stability, boundedness, periodicity character and gave the solution of some special cases of the difference equation

${x}_{n+1}=\frac{\alpha {x}_{n-k}}{\beta +\gamma {\prod }_{i=0}^{k}{x}_{n-i}}.$

El-Metwally et al. [6] dealed with the following difference equation

${y}_{n+1}=\frac{{y}_{n-\left(2k+1\right)}+p}{{y}_{n-\left(2k+1\right)}+q{y}_{n-2l}}.$

Saleh and Aloqeili [7] investigated the difference equation

${y}_{n+1}=A+\frac{{y}_{n}}{{y}_{n-k}}.$

Simsek et al. [8] obtained the solution of the difference equation

${x}_{n+1}=\frac{{x}_{n-3}}{1+{x}_{n-1}}.$

Yalçınkaya [9, 10] considered the dynamics of the difference equations

${x}_{n+1}=\frac{a{x}_{n-k}}{b+c{x}_{n}^{p}},\phantom{\rule{1em}{0ex}}{x}_{n+1}=\alpha +\frac{{x}_{n-m}}{{x}_{n}^{k}}.$

Zayed and El-Moneam [11, 12] studied the behavior of the following rational recursive sequences

${x}_{n+1}=a{x}_{n}-\frac{b{x}_{n}}{c{x}_{n}-d{x}_{n-k}},\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}{x}_{n+1}=\frac{\alpha +\beta {x}_{n}+\gamma {x}_{n-1}}{A+B{x}_{n}+C{x}_{n-1}}.$

Other related results on rational difference equations can be found in [145].

${x}_{n+1}=a{x}_{n-s}+\frac{b{x}_{n-l}+c{x}_{n-k}}{d{x}_{n-l}+e{x}_{n-k}},$
(1)

where the parameters a, b, c, d and e are positive real numbers and the initial conditions x-t, x-t+1, . . . , x-1 and x0 are positive real numbers where t = max{s, l, k}.

## 2 Some basic properties and definitions

Here, we recall some basic definitions and some theorems that we need in the sequel.

Let I be some interval of real numbers and let

$F:{I}^{k+1}\to I,$

be a continuously differentiable function. Then for every set of initial conditions x-k, x-k+1, . . . , x0 I, the difference equation

${x}_{n+1}=F\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}{x}_{n-1},\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}{x}_{n-k}\right),\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}n=0,1,\dots ,$
(2)

has a unique solution ${\left\{{x}_{n}\right\}}_{n=-k}^{\infty }$.

Definition 1 (Equilibrium point)

A point $\stackrel{̄}{x}\in I$ is called an equilibrium point of Equation (2) if

$\stackrel{̄}{x}=F\left(\stackrel{̄}{x},\stackrel{̄}{x},\phantom{\rule{2.77695pt}{0ex}}\dots ,\stackrel{̄}{x}\right).$

That is, ${x}_{n}=\stackrel{̄}{x}$ for n ≥ 0, is a solution of Equation (2), or equivalently, $\stackrel{̄}{x}$ is a fixed point of F.

Definition 2 (Periodicity)

A sequence ${\left\{{x}_{n}\right\}}_{n=-k}^{\infty }$ is said to be periodic with period p if xn+p= x n for all n-k.

Definition 3 (Stability)

1. (i)

The equilibrium point $\stackrel{̄}{x}$ of Equation (2) is locally stable if for every ε > 0, there exists δ > 0 such that for all x -k , x-k+1, . . . , x-1, x0 I with

$|{x}_{-k}-\stackrel{̄}{x}|+|{x}_{-k+1}-\stackrel{̄}{x}|+\phantom{\rule{0.3em}{0ex}}\cdots \phantom{\rule{0.3em}{0ex}}+\phantom{\rule{0.3em}{0ex}}|{x}_{0}-\stackrel{̄}{x}|\phantom{\rule{0.3em}{0ex}}<\delta ,$

we have

1. (ii)

The equilibrium point $\stackrel{̄}{x}$ of Equation (2) is locally asymptotically stable if $\stackrel{̄}{x}$ is locally stable solution of Equation (2) and there exists γ > 0, such that for all x-k, x-k+1, . . . , x-1, x0 I with

$|{x}_{-k}-\stackrel{̄}{x}|+|{x}_{-k+1}-\stackrel{̄}{x}|+\cdots +|{x}_{0}-\stackrel{̄}{x}|\phantom{\rule{0.3em}{0ex}}<\gamma ,$

we have

$\underset{n\to \infty }{lim}{x}_{n}=\stackrel{̄}{x}.$
1. (iii)

The equilibrium point $\stackrel{̄}{x}$ of Equation (2) is global attractor if for all x -k , x-k+1, . . . , x-1, x0 I, we have

$\underset{n\to \infty }{lim}{x}_{n}=\stackrel{̄}{x}.$
2. (iv)

The equilibrium point $\stackrel{̄}{x}$ of Equation (2) is globally asymptotically stable if $\stackrel{̄}{x}$ is locally stable, and $\stackrel{̄}{x}$ is also a global attractor of Equation (2).

3. (v)

The equilibrium point $\stackrel{̄}{x}$ of Equation (2) is unstable if $\stackrel{̄}{x}$ is not locally stable.

The linearized equation of Equation (2) about the equilibrium $\stackrel{̄}{x}$ is the linear difference equation

${y}_{n+1}=\sum _{i=0}^{k}\frac{\partial F\left(\stackrel{̄}{x},\stackrel{̄}{x},\dots ,\stackrel{̄}{x}\right)}{\partial {x}_{n-i}}{y}_{n-i}.$
(3)

Theorem A: [34] Assume that p i R, i = 1, 2, . . . and k {0, 1, 2, . . . }. Then

$\sum _{i=1}^{k}|{p}_{i}|\phantom{\rule{0.3em}{0ex}}<\phantom{\rule{0.3em}{0ex}}1,$
(4)

is a sufficient condition for the asymptotic stability of the difference equation

${y}_{n+k}+{p}_{1}{y}_{n+k-1}+\cdots +{p}_{k}{y}_{n}=0,\phantom{\rule{1em}{0ex}}n=0,1,\phantom{\rule{2.77695pt}{0ex}}\dots$

Consider the following equation

(5)

The following two theorems will be useful for the proof of our results in this article.

Theorem B: [35] Let [α, β] be an interval of real numbers and assume that

$g:{\left[\alpha ,\phantom{\rule{2.77695pt}{0ex}}\beta \right]}^{3}\to \left[\alpha ,\phantom{\rule{2.77695pt}{0ex}}\beta \right],$

is a continuous function satisfying the following properties:

1. (a)

g(x, y, z) is non-decreasing in x and y in [α, β] for each z [α, β], and is non-increasing in z [α, β] for each x and y in [α, β];

2. (b)

If (m, M) [α, β] × [α, β] is a solution of the system

$M=g\left(M\text{,}\phantom{\rule{0.3em}{0ex}}M\text{,}\phantom{\rule{0.3em}{0ex}}m\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}m=g\left(m,\phantom{\rule{0.3em}{0ex}}m,\phantom{\rule{0.3em}{0ex}}M\right),$

then

$m=M.$

Then Equation (5) has a unique equilibrium $\stackrel{̄}{x}\in \left[\alpha ,\beta \right]$ and every solution of Equation (5) converges to $\stackrel{̄}{x}$.

Theorem C: [35] Let [α, β] be an interval of real numbers and assume that

$g:{\left[\alpha ,\phantom{\rule{2.77695pt}{0ex}}\beta \right]}^{3}\to \left[\alpha ,\phantom{\rule{2.77695pt}{0ex}}\beta \right],$

is a continuous function satisfying the following properties:

1. (a)

g(x, y, z) is non-decreasing in x and z in [α, β] for each y [α, β], and is non-increasing in y [α, β] for each x and z in [α, β];

2. (b)

If (m, M) [α, β] × [α, β] is a solution of the system

$M=g\left(M,m,M\right)\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}m=g\left(m,M,m\right),$

then

$m=M.$

Then Equation (5) has a unique equilibrium $\stackrel{̄}{x}\in \left[\alpha ,\beta \right]$ and every solution of Equation (5) converges to $\stackrel{̄}{x}$.

The article proceeds as follows. In Section 3 we show that the equilibrium point of Equation (1) is locally asymptotically stable when 2 |(be - dc)| < (d + e)(b + c). In Section 4 we prove that the solution is bounded when a < 1 and the solution of Equation (1) is unbounded if a > 1. In Section 5 we prove that the there exists a period two solution of Equation (1). In Section 6 we prove that the equilibrium point of Equation (1) is global attractor. Finally, we give numerical examples of some special cases of Equation (1) and draw it by using Matlab.

## 3 Local Stability of the equilibrium point of Equation (1)

This section deals with study the local stability character of the equilibrium point of Equation (1).

Theorem 1 Assume that

$\text{2}|\left(be-dc\right)|\phantom{\rule{0.3em}{0ex}}<\left(d+e\right)\left(b+c\right).$

Then the positive equilibrium point of Equation (1) is locally asymptotically stable.

Proof. Equation (1) has equilibrium point and is given by

$\stackrel{̄}{x}=a\stackrel{̄}{x}+\frac{b+c}{d+e}.$

If a < 1, then the only positive equilibrium point of Equation (1) is given by

$\stackrel{̄}{x}=\frac{b+c}{\left(1-a\right)\left(d+e\right)}.$

Let f: (0, )3 → (0, ) be a continuous function defined by

$f\left(u,\phantom{\rule{2.77695pt}{0ex}}v,\phantom{\rule{2.77695pt}{0ex}}w\right)=au+\frac{bv+cw}{dv+ew}.$
(6)

Therefore it follows that

$\begin{array}{c}\frac{\partial f\left(u,v,w\right)}{\partial u}=\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}a,\hfill \\ \frac{\partial f\left(u,v,w\right)}{\partial v}=\phantom{\rule{0.3em}{0ex}}\frac{\left(be\phantom{\rule{0.3em}{0ex}}-\phantom{\rule{0.3em}{0ex}}dc\right)w}{{\left(dv\phantom{\rule{0.3em}{0ex}}+\phantom{\rule{0.3em}{0ex}}ew\right)}^{2}},\hfill \\ \frac{\partial f\left(u,v,w\right)}{\partial w}=\phantom{\rule{0.3em}{0ex}}\frac{\left(dc\phantom{\rule{0.3em}{0ex}}-\phantom{\rule{0.3em}{0ex}}be\right)u}{{\left(dv\phantom{\rule{2.77695pt}{0ex}}+\phantom{\rule{0.3em}{0ex}}ew\right)}^{2}}.\hfill \end{array}$

Then we see that

$\begin{array}{c}\frac{\partial f\left(\stackrel{̄}{x},\stackrel{̄}{x},\stackrel{̄}{x}\right)}{\partial u}\phantom{\rule{2.77695pt}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}a=-{a}_{2},\hfill \\ \frac{\partial f\left(\stackrel{̄}{x},\stackrel{̄}{x},\stackrel{̄}{x}\right)}{\partial v}\phantom{\rule{2.77695pt}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}\frac{\left(be-dc\right)}{{\left(d+e\right)}^{2}\stackrel{̄}{x}}=\frac{\left(be-dc\right)\left(1-a\right)}{\left(d+e\right)\left(b+c\right)}=-{a}_{1},\hfill \\ \frac{\partial f\left(\stackrel{̄}{x},\stackrel{̄}{x},\stackrel{̄}{x}\right)}{\partial w}\phantom{\rule{2.77695pt}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}\frac{\left(dc-be\right)}{{\left(d+e\right)}^{2}\stackrel{̄}{x}}=\frac{\left(dc-be\right)\left(1-a\right)}{\left(d+e\right)\left(b+c\right)}=-{a}_{0}.\hfill \end{array}$

Then the linearized equation of Equation (1) about $\stackrel{̄}{x}$ is

(7)

whose characteristic equation is

${\lambda }^{k+1}+{a}_{2}{\lambda }^{k-s}+{a}_{1}{\lambda }^{k-l}+{a}_{0}=0.$
(8)

It follows by Theorem A that, Equation (7) is asymptotically stable if all roots of Equation (8) lie in the open disc |λ| < 1 that is if

$\begin{array}{c}\hfill |{a}_{2}|+|{a}_{1}|+|{a}_{0}|<1.\hfill \\ \hfill |a|+\left|\frac{\left(be-dc\right)\left(1-a\right)}{\left(d+e\right)\left(b+c\right)}\right|+\left|\frac{\left(dc-be\right)\left(1-a\right)}{\left(d+e\right)\left(b+c\right)}\right|<1,\hfill \end{array}$

and so

$2\left|\frac{\left(be-dc\right)\left(1-a\right)}{\left(d+e\right)\left(b+c\right)}\phantom{\rule{0.3em}{0ex}}\right|<\phantom{\rule{0.3em}{0ex}}\left(1-a\right),\phantom{\rule{1em}{0ex}}a<1,$

or

$2|be-dc|\phantom{\rule{0.3em}{0ex}}<\phantom{\rule{0.3em}{0ex}}\left(d+e\right)\left(b+c\right).$

The proof is complete.

## 4 Existence of bounded and unbounded solutions of Equations (1)

Here we study the boundedness nature of solutions of Equation (1).

Theorem 2 Every solution of Equation (1) is bounded if a < 1.

Proof. Let ${\left\{{x}_{n}\right\}}_{n=-t}^{\infty }$ be a solution of Equation (1). It follows from Equation (1) that

${x}_{n+1}=a{x}_{n-s}+\frac{b{x}_{n-l}+c{x}_{n-k}}{d{x}_{n-l}+e{x}_{n-k}}=a{x}_{n-s}+\frac{b{x}_{n-l}}{d{x}_{n-l}+e{x}_{n-k}}+\frac{c{x}_{n-k}}{d{x}_{n-l}+e{x}_{n-k}}.$

Then

By using a comparison, we can write the right hand side as follows

${y}_{n+1}=a{y}_{n-s}+\frac{b}{d}+\frac{c}{e},$

then

${y}_{sn+i}={a}^{n}{y}_{s+i}+\phantom{\rule{0.3em}{0ex}}\text{constant},\phantom{\rule{0.1em}{0ex}}i=0,1,\dots ,s,$

and this equation is locally asymptotically stable because a < 1, and converges to the equilibrium point $\mathit{ȳ}=\frac{be+cd}{de\left(1-a\right)}$.

Therefore

$\underset{n\to \infty }{limsup}{x}_{n}\le \frac{be+cd}{de\left(1-a\right)}.$

Thus the solution is bounded.

Theorem 3 Every solution of Equation (1) is unbounded if a > 1.

Proof. Let ${\left\{{x}_{n}\right\}}_{n=-t}^{\infty }$ be a solution of Equation (1). Then from Equation (1) we see that

We see that the right hand side can write as follows

${y}_{n+1}=a{y}_{n-s}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}⇒\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}{y}_{sn+i}={a}^{n}{y}_{s+i},\phantom{\rule{1em}{0ex}}i=0,1,\phantom{\rule{2.77695pt}{0ex}}\dots ,\phantom{\rule{2.77695pt}{0ex}}s,$

and this equation is unstable because a > 1, and $\underset{n\to \infty }{lim}\phantom{\rule{0.3em}{0ex}}{y}_{n}\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}\infty$. Then by using ratio test ${\left\{{x}_{n}\right\}}_{n=-t}^{\infty }$ is unbounded from above.

## 5 Existence of periodic solutions

In this section we study the existence of periodic solutions of Equation (1). The following theorem states the necessary and sufficient conditions that this equation has periodic solutions of prime period two.

Theorem 4 Equation (1) has positive prime period two solutions if and only if

$\left(i\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\left(b-c\right)\phantom{\rule{0.3em}{0ex}}\left(d-e\right)\phantom{\rule{0.3em}{0ex}}\left(1+a\right)\phantom{\rule{0.3em}{0ex}}+4\left(bae+cd\right)>0,\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}d>e,\phantom{\rule{0.3em}{0ex}}b>c\phantom{\rule{0.3em}{0ex}}and\phantom{\rule{0.3em}{0ex}}l-odd,\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}k,s-even.$
$\left(ii\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\left(c-b\right)\phantom{\rule{0.3em}{0ex}}\left(e-d\right)\phantom{\rule{0.3em}{0ex}}\left(1+a\right)+4\left(acd+be\right)>0,\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}e>d,c>b\phantom{\rule{0.3em}{0ex}}and\phantom{\rule{0.3em}{0ex}}k-odd,\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}l,s-even.$
$\left(iii\right)\phantom{\rule{2.77695pt}{0ex}}\left(c-b\right)\left(d-e\right)-4be\phantom{\rule{2.77695pt}{0ex}}>\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}d>e,\phantom{\rule{2.77695pt}{0ex}}c>b,\phantom{\rule{2.77695pt}{0ex}}a<1,\phantom{\rule{2.77695pt}{0ex}}and\phantom{\rule{2.77695pt}{0ex}}k,\phantom{\rule{2.77695pt}{0ex}}s-odd,\phantom{\rule{2.77695pt}{0ex}}l-even.$
$\left(iv\right)\phantom{\rule{2.77695pt}{0ex}}\left(b-c\right)\left(e-d\right)-4cd\phantom{\rule{2.77695pt}{0ex}}>\phantom{\rule{2.77695pt}{0ex}}0,\phantom{\rule{2.77695pt}{0ex}}e>d,\phantom{\rule{2.77695pt}{0ex}}b>c,\phantom{\rule{2.77695pt}{0ex}}a<1,\phantom{\rule{2.77695pt}{0ex}}and\phantom{\rule{2.77695pt}{0ex}}l,\phantom{\rule{2.77695pt}{0ex}}s-odd,\phantom{\rule{2.77695pt}{0ex}}k-even.$

Proof. We prove that when l- odd, k, s- even (the other cases are similar and will be omitted.)

First suppose that there exists a prime period two solution

of Equation (1). We will prove that Condition (i) holds.

We see from Equation (1) when l- odd, k- even that

$p=aq+\frac{bp+cq}{dp+eq},$

and

$q=ap+\frac{bq+cp}{dq+ep}.$

Then

$d{p}^{2}+epq=adpq+ae{q}^{2}+bp+cq,$
(9)

and

$d{q}^{2}+epq=adpq+ae{p}^{2}+bq+cp.$
(10)

Subtracting (9) from (10) gives

$d\left({p}^{2}-{q}^{2}\right)=-ae\left({p}^{2}-{q}^{2}\right)+\left(b-c\right)\left(p-q\right).$

Since pq, it follows that

$p+q=\frac{\left(b-c\right)}{\left(d+ae\right)}.$
(11)

Again, adding (9) and (10) yields

$\begin{array}{c}d\left({p}^{2}+{q}^{2}\right)+2epq=2adpq+ae\left({p}^{2}+{q}^{2}\right)+\left(b+c\right)\left(p+q\right),\\ \left(d-ae\right)\phantom{\rule{0.3em}{0ex}}\left({p}^{2}+{q}^{2}\right)+2\left(e-ad\right)pq=\left(b+c\right)\phantom{\rule{0.3em}{0ex}}\left(p+q\right).\end{array}$
(12)

It follows by (11), (12) and the relation

that

$2\left(e-d\right)\phantom{\rule{0.3em}{0ex}}\left(1+a\right)pq=\frac{2\left(bae+cd\right)\left(b-c\right)}{{\left(d+ae\right)}^{2}}.$

Thus

$pq=\frac{\left(bae+cd\right)\left(b-c\right)}{{\left(d+ae\right)}^{2}\left(e-d\right)\left(1+a\right)}.$
(13)

Now it is clear from Equations (11) and (13) that p and q are the two distinct roots of the quadratic equation

$\begin{array}{c}\hfill {t}^{2}-\left(\frac{\left(b-c\right)}{\left(d+ae\right)}\right)t+\left(\frac{\left(bae+cd\right)\left(b-c\right)}{{\left(d+ae\right)}^{2}\left(e-d\right)\left(1+a\right)}\right)\phantom{\rule{2.77695pt}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}0,\\ \hfill \left(d+ae\right){t}^{2}-\left(b-c\right)t+\left(\frac{\left(bae+cd\right)\left(b-c\right)}{\left(d+ae\right)\left(e-d\right)\left(1+a\right)}\right)=0,\end{array}$
(14)

and so

${\left[b-c\right]}^{2}-\frac{4\left(bae+cd\right)\left(b-c\right)}{\left(e-d\right)\left(1+a\right)}>0,$

or

$\begin{array}{c}\phantom{\rule{1em}{0ex}}{\left[b-c\right]}^{2}+\frac{4\left(bae+cd\right)\left(b-c\right)}{\left(d-e\right)\left(1+a\right)}>0.\\ \left(b-c\right)\left(d-e\right)\left(1+a\right)+4\left(bae+cd\right)>0.\end{array}$

Therefore inequalities (i) holds.

Second suppose that inequalities (i) is true. We will show that Equation (1) has a prime period two solution.

Assume that

$p=\frac{b-c+\zeta }{2\left(d+ae\right)},$

and

$q=\frac{b-c-\zeta }{2\left(d+ae\right)},$

where $\zeta =\sqrt{{\left[b-c\right]}^{2}-\frac{4\left(bae+cd\right)\left(b-c\right)}{\left(e-d\right)\left(1+a\right)}}$.

We see from inequalities (i) that

$\left(b-c\right)\left(d-e\right)\left(1+a\right)+4\left(bae+cd\right)>0,\phantom{\rule{2.77695pt}{0ex}}b>c,\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}d>e,$

which equivalents to

${\left(b-c\right)}^{2}>\frac{4\left(bae+cd\right)\left(b-c\right)}{\left(e-d\right)\left(1+a\right)}.$

Therefore p and q are distinct real numbers.

Set

We wish to show that

It follows from Equation (1) that

${x}_{1}=aq+\frac{bp+cq}{dp+eq}=a\left(\frac{b-c-\zeta }{2\left(d+ae\right)}\right)+\frac{b\left(\frac{b-c+\zeta }{2\left(d+ae\right)}\right)+c\left(\frac{b-c-\zeta }{2\left(d+ae\right)}\right)}{d\left(\frac{b-c+\zeta }{2\left(d+ae\right)}\right)+e\left(\frac{b-c-\zeta }{2\left(d+ae\right)}\right)}.$

Dividing the denominator and numerator by 2(d + ae) gives

$\begin{array}{cc}\hfill {x}_{1}\phantom{\rule{2.77695pt}{0ex}}& =\frac{ab-ac-a\zeta }{2\left(d+ae\right)}+\frac{b\left(b-c+\zeta \right)+c\left(b-c-\zeta \right)}{d\left(b-c+\zeta \right)+e\left(b-c-\zeta \right)}\hfill \\ =\frac{ab-ac-a\zeta }{2\left(d+ae\right)}+\frac{\left(b-c\right)\left[\left(b+c\right)+\zeta \right]}{\left(d+e\right)\left(b-c\right)+\left(d-e\right)\zeta }.\hfill \end{array}$

Multiplying the denominator and numerator of the right side by (d + e)(b - c) - (d - e)ζ gives

Multiplying the denominator and numerator of the right side by (1 + a) we obtain

$\begin{array}{cc}\hfill {x}_{1}& =\frac{ab-ac-a\zeta }{2\left(d+ae\right)}+\frac{\left(b-c\right)\left[\left(dc+eb\right)\left(1+a\right)-2\left(bae+cd\right)\right]+\zeta \left(1+a\right)\left(eb-cd\right)}{2\left[ed\left(b-c\right)\left(1+a\right)+\left(e-d\right)\left(bae+cd\right)\right]}\hfill \\ =\phantom{\rule{2.77695pt}{0ex}}\frac{ab-ac-a\zeta }{2\left(d+ae\right)}+\frac{\left(b-c\right)\left(eb-dc\right)\left(1-a\right)+\zeta \left(1+a\right)\left(eb-cd\right)}{2\left[ed\left(b-c\right)\left(1+a\right)+\left(e-d\right)\left(bae+cd\right)\right]}\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}\frac{ab-ac-a\zeta }{2\left(d+ae\right)}+\frac{\left(eb-dc\right)\left\{\left(b-c\right)\left(1-a\right)+\zeta \left(1+a\right)\right\}}{2\left(eb-cd\right)\left(d+ae\right)}\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}\frac{ab-ac-a\zeta }{2\left(d+ae\right)}+\frac{\left(b-c\right)\left(1-a\right)+\zeta \left(1+a\right)}{2\left(d+ae\right)}\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}\frac{ab-ac-a\zeta +\left(b-c\right)\left(1-a\right)+\zeta \left(1+a\right)}{2\left(d+ae\right)}=\frac{b-c+\zeta }{2\left(d+ae\right)}=p.\hfill \end{array}$

Similarly as before one can easily show that

${x}_{2}=q.$

Then it follows by induction that

Thus Equation (1) has the prime period two solution

$\dots ,p,q,p,q,\phantom{\rule{2.77695pt}{0ex}}\dots ,$

where p and q are the distinct roots of the quadratic equation (14) and the proof is complete.

Lemma 5 If l, k, s- even. Then there exists a prime period two solutions if and only if a = -1.

Proof. First suppose that there exists a prime period two solution

then we see from Equation (1) that when l, k, s- even

$p=aq+\frac{b+c}{d+e},$
(15)

and

$q=ap+\frac{b+c}{d+e}.$
(16)

Subtracting (15) from (16) gives

$p-q=-a\left(p-q\right).$

Since pq, it follows that

$a=-1.$

Again, adding (15) and (16) yields

$p+q=\frac{b+c}{d+e}.$

If we take

$p=\frac{b}{d+e},\phantom{\rule{1em}{0ex}}q=\frac{c}{d+e},\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}if\phantom{\rule{1em}{0ex}}b\ne c.$

Set

We wish to show that

It follows from Equation (1) that

${x}_{1}=aq+\frac{bq+cq}{dq+eq}=a\left(\frac{c}{d+e}\right)+\frac{b+c}{d+e}=\frac{-c}{d+e}+\frac{b+c}{d+e}=\frac{b}{d+e}=p.$

Similarly as before one can easily show that

${x}_{2}=q.$

Then it follows by induction that

Thus Equation (1) has the prime period two solution

and the proof is complete.

Lemma 6 If l, k- odd, s- even. Then there exists a positive prime period two solutions if and only if a = -1.

Proof. The proof as the previous Lemma and it will be omitted.

## 6 Global attractivity of the equilibrium point of Equation (1)

In this section we investigate the global asymptotic stability of Equation (1).

Lemma 7 For any values of the quotient $\frac{b}{d}$ and $\frac{c}{e}$, the function f (u, v, w) defined by Equation (6) has the monotonicity behavior in its two arguments.

Proof. The proof follows by some computations and it will be omitted.

Theorem 8 The equilibrium point $\stackrel{̄}{x}$ is a global attractor of Equation (1) if one of the following statements holds

$\left(1\right)\phantom{\rule{0.3em}{0ex}}be\ge dc\phantom{\rule{0.1em}{0ex}}and\phantom{\rule{0.1em}{0ex}}c\ge b.$
(17)
$\left(2\right)\phantom{\rule{0.3em}{0ex}}be\le dc\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}and\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}c\le b.$
(18)

Proof. Let α and β be a real numbers and assume that g: [α, β]3 → [α, β] be a function defined by

$g\left(u,\phantom{\rule{2.77695pt}{0ex}}v,\phantom{\rule{2.77695pt}{0ex}}w\right)=au+\frac{bv+cw}{dv+ew}.$

Then

$\begin{array}{c}\frac{\partial g\left(u,v,w\right)}{\partial u}\phantom{\rule{2.77695pt}{0ex}}=a,\hfill \\ \frac{\partial g\left(u,v,w\right)}{\partial v}\phantom{\rule{2.77695pt}{0ex}}=\frac{\left(be-dc\right)w}{{\left(dv+ew\right)}^{2}},\hfill \\ \frac{\partial g\left(u,v,w\right)}{\partial w}\phantom{\rule{2.77695pt}{0ex}}=\frac{\left(dc-be\right)u}{{\left(dv+ew\right)}^{2}}.\hfill \end{array}$

We consider the two cases:-

Case (1) Assume that (17) is true, then we can easily see that the function g(u, v, w) increasing in u, v and decreasing in w.

Suppose that (m, M) is a solution of the system M = g(M, M, m) and m = g(m, m, M). Then from Equation (1), we see that

$M=aM+\frac{bM+cm}{dM+em},\phantom{\rule{1em}{0ex}}m=am+\frac{bm+cM}{dm+eM},$

or

$M\left(1-a\right)=\frac{bM+cm}{dM+em},\phantom{\rule{1em}{0ex}}m\left(1-a\right)=\frac{bm+cM}{dm+eM},$

then

$d\left(1-a\right){M}^{2}+e\left(1-a\right)Mm=bM+cm,\phantom{\rule{1em}{0ex}}d\left(1-a\right){m}^{2}+e\left(1-a\right)Mm=bm+cM.$

Subtracting this two equations we obtain

$\left(M-m\right)\left\{d\left(1-a\right)\left(M+m\right)+\left(c-b\right)\right\}=0,$

under the conditions cb, a < 1, we see that

$M=m.$

It follows by Theorem B that $\stackrel{̄}{x}$ is a global attractor of Equation (1) and then the proof is complete.

Case (2) Assume that (18) is true, let α and β be a real numbers and assume that g: [α, β]3 → [α, β] be a function defined by $g\left(u,\phantom{\rule{2.77695pt}{0ex}}v,\phantom{\rule{2.77695pt}{0ex}}w\right)=au+\frac{bv+cw}{dv+ew}$, then we can easily see that the function g(u, v, w) increasing in u, w and decreasing in v.

Suppose that (m, M) is a solution of the system M = g(M, m, M) and m = g(m, M, m). Then from Equation (1), we see that

$M=aM+\frac{bm+cM}{dm+eM},\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}m=am+\frac{bM+cm}{dM+em},$

or

$M\left(1-a\right)=\frac{bm+cM}{dm+eM},\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}m\left(1-a\right)=\frac{bM+cm}{dM+em},$

then

$d\left(1-a\right)Mm+e\left(1-a\right){M}^{2}=bm+cM,\phantom{\rule{1em}{0ex}}d\left(1-a\right)mM+e\left(1-a\right){m}^{2}=bM+cm.$

Subtracting we obtain

$\left(M-m\right)\left\{e\left(1-a\right)\left(M+m\right)+\left(b-c\right)\right\}=0,$

under the conditions bc, a < 1, we see that

$M=m.$

It follows by Theorem C that $\stackrel{̄}{x}$ is a global attractor of Equation (1) and then the proof is complete.

## 7 Numerical examples

For confirming the results of this article, we consider numerical examples which represent different types of solutions to Equation (1).

Example 1. We assume l = 3, k = 4, s = 0, x-4 = 4, x-3 = 13, x- 2= 9, x-1 = 15, x0 = 2, a = 0.9, b = 5, c = 2, d = 3, e = 1. See Figure 1.

Example 2. See Figure 2, since l = 3, k = 4, s = 2, x-4 = 3, x-3 = 11, x-2 = 9, x-1 = 5, x0 = 7, a = 0.8, b = 5, c = 4, d = 3, e = 2.

Example 3. We consider l = 2, k = 3, s = 4, x-3 = 7, x-3 = 1, x-2 = 4, x-1 = 11, x0 = 3, a = 1.5, b = 2, c = 3, d = 3, e = 2. See Figure 3.

Example 4. See Figure 4, since l = 1, k = 3, s = 2, x-3 = b/(d+e), x-2 = c/(d+e), x-1 = b/(d + e), x0 = c/(d + e), a = - 1, b = 5, c = 6, d = 3, e = 4.

Example 5. Figure 5 shows the solutions when l = 1, k = 2, s = 0, a = 0.8, b = 0.5, c = 0.2, d = 5, e = 0.6, x-2 = q, x-1 = p, x0 = q.

## References

1. Agarwal RP, Elsayed EM: On the solution of fourth-order rational recursive sequence. Adv Stud Contemp Math 2010, 20(4):525–545.

2. Aloqeili M: Dynamics of a rational difference equation. Appl Math Comp 2006, 176(2):768–774. 10.1016/j.amc.2005.10.024

3. Elabbasy EM, El-Metwally H, Elsayed EM: Global attractivity and periodic character of a fractional difference equation of order three. Yokohama Math J 2007, 53: 89–100.

4. Elabbasy EM, El-Metwally H, Elsayed EM:On the difference equation ${x}_{n+1}=a{x}_{n}-\frac{b{x}_{n}}{c{x}_{n}-d{x}_{n-1}}$. Adv Differ Equ 2006, 2006: 1–10.

5. Elabbasy EM, El-Metwally H, Elsayed EM:On the difference equations ${x}_{n+1}=\frac{\alpha {x}_{n-k}}{\beta +\gamma {\mathsf{\Pi }}_{i=0}^{k}{x}_{n-i}}$. J Conc Appl Math 2007, 5(2):101–113.

6. El-Metwally H, Grove EA, Ladas G, McGrath :On the difference equation${y}_{n+1}=\frac{{y}_{n-\left(2k+1\right)}+p}{{y}_{n-\left(2k+1\right)}+q{y}_{n-2l}}$. In Proceedings of the 6th ICDE. Taylor and Francis, London; 2004.

7. Saleh M, Aloqeili M:On the difference equation${x}_{n+1}=A+\frac{{x}_{n}}{{x}_{n-k}}$. Appl Math Comput 2005, 171: 862–869. 10.1016/j.amc.2005.01.094

8. Simsek D, Cinar C, Yalcinkaya I:On the recursive sequence${x}_{n+1}=\frac{{x}_{n-3}}{1+{x}_{n-1}}$. Int J Contemp Math Sci 2006, 1(10):475–480.

9. Yalçınkaya I:On the difference equation${x}_{n+1}=\alpha +\frac{{x}_{n-m}}{{x}_{n}^{k}}$. Discr Dyn Nat Soc 2008, 2008: 8.

10. Yalçınkaya I, Cinar C:On the dynamics of the difference equation${x}_{n+1}=\frac{a{x}_{n-k}}{b+c{x}_{n}^{p}}$. Fasciculi Mathematici 2009, 42: 133–139.

11. Zayed EME, El-Moneam MA:On the rational recursive sequence ${x}_{n+1}=\frac{\alpha +\beta {x}_{n}+\gamma {x}_{n-1}}{A+B{x}_{n}+C{x}_{n-1}}$. Commun Appl Nonlinear Anal 2005, 12(4):15–28.

12. Zayed EME, El-Moneam MA:On the rational recursive sequence${x}_{n+1}=a{x}_{n}-\frac{b{x}_{n}}{c{x}_{n}-d{x}_{n-k}}$. Commun Appl Nonlinear Anal 2008, 15: 47–57.

13. Agarwal RP: Difference Equations and Inequalities, 1st edn. 2nd edition. Marcel Dekker, New York (1992); 2000.

14. Cinar C:On the positive solutions of the difference equation${x}_{n+1}=\frac{a{x}_{n-1}}{1+b{x}_{n}{x}_{n-1}}$. Appl Math Comp 2004, 156: 587–590. 10.1016/j.amc.2003.08.010

15. Cinar C:On the positive solutions of the difference equation${x}_{n+1}=\frac{{x}_{n-1}}{-1+a{x}_{n}{x}_{n-1}}$. Appl Math Comp 2004, 158(3):793–797. 10.1016/j.amc.2003.08.139

16. Elabbasy EM, El-Metwally H, Elsayed EM: On the periodic nature of some max-type difference equations. Int J Math Math Sci 2005, 2005(14):2227–2239. 10.1155/IJMMS.2005.2227

17. Elabbasy EM, El-Metwally H, Elsayed EM: Global behavior of the solutions of difference equation. Adv Diff Equ 2011, 2011: 28. 10.1186/1687-1847-2011-28

18. Elabbasy EM, El-Metwally H, Elsayed EM: Some properties and expressions of solutions for a class of nonlinear difference equation. Utilitas Math 2012, 87: 93–110.

19. Elabbasy EM, Elsayed EM: Dynamics of a rational difference equation. Chinese Ann Math Ser B 2009, 30(2):187–198. 10.1007/s11401-007-0456-9

20. Elabbasy EM, Elsayed EM: Global attractivity and periodic nature of a difference equation. World Appl Sci J 2011, 12(1):39–47.

21. El-Metwally H: Global behavior of an economic model. Chaos Solitons Fract 2007, 33: 994–1005. 10.1016/j.chaos.2006.01.060

22. El-Metwally H, El-Afifi MM: On the behavior of some extension forms of some population models. Chaos Solitons Fract 2008, 36: 104–114. 10.1016/j.chaos.2006.06.043

23. Elsayed EM: A solution form of a class of rational difference equations. Int J Nonlinear Sci 2009, 8(4):402–411.

24. Elsayed EM: Behavior of a rational recursive sequences. Studia Univ "Babes-Bolyai" Mathematica 2011, LVI(1):27–42.

25. Elsayed EM:On the difference equation${x}_{n+1}=\frac{{x}_{n-5}}{-1+{x}_{n-2}{x}_{n-5}}$. Int J Contemp Math Sci 2008, 3(33):1657–1664.

26. Elsayed EM: On the Global attractivity and the solution of recursive sequence. Studia Scientiarum Mathematicarum Hungarica 2010, 47(3):401–418. 10.1556/SScMath.2009.1139

27. Elsayed EM: Solution and attractivity for a rational recursive sequence. Discr Dyn Nat Soc 2011, 2011: 17 (Article ID 982309).

28. Elsayed EM: Qualitative behavior of difference equation of order three. Acta Scientiarum Mathematicarum (Szeged) 2009, 75(1–2):113–129.

29. Elsayed EM: Qualitative behavior of difference equation of order two. Math Comput Model 2009, 50: 1130–1141. 10.1016/j.mcm.2009.06.003

30. Elsayed EM: Solutions of rational difference system of order two. Math Comput Model 2012, 55: 378–384. 10.1016/j.mcm.2011.08.012

31. Elsayed EM: On the solution of some difference equations. Eur J Pure Appl Math 2011, 4(3):287–303.

32. Elsayed EM: On the dynamics of a higher order rational recursive sequence. Commun Math Anal 2012, 12(1):117–133.

33. Elsayed EM, El-Dessoky MM, Alotaibi A: On the solutions of a general system of difference equations. Discr Dyn Nat Soc 2012, 2012: 12. (Article ID 892571)

34. Kocic VL, Ladas G: Global Behavior of Nonlinear Difference Equations of Higher Order with Applications. Kluwer Academic Publishers Dordrecht; 1993.

35. Kulenovic MRS, Ladas G: Dynamics of Second Order Rational Difference Equations with Open Problems and Conjectures. Chapman & Hall/CRC Press, Boca Raton; 2001.

36. Rafiq A: Convergence of an iterative scheme due to Agarwal et al. Rostock Math Kolloq 2006, 61: 95–105.

37. Saleh M, Abu-Baha S: Dynamics of a higher order rational difference equation. Appl Math Comput 2006, 181: 84–102. 10.1016/j.amc.2006.01.012

38. Saleh M, Aloqeili M: On the difference equation${y}_{n+1}=A+\frac{{y}_{n}}{{y}_{n-k}}$with A < 0. Appl Math Comput 2006, 176(1):359–363. 10.1016/j.amc.2005.09.023

39. Touafek N, Elsayed EM: On the solutions of systems of rational difference equations. Math Comput Model 2012, 55: 1987–1997. 10.1016/j.mcm.2011.11.058

40. Wang C, Wang S, Li L, Shi Q: Asymptotic behavior of equilibrium point for a class of nonlinear difference equation. Adv Diff Equ 2009, 2009: 8.

41. Wang C, Shi Q, Wang S: Asymptotic behavior of equilibrium point for a family of rational difference equation. Adv Diff Equ 2010, 2010: 10.

42. Wang C, Wang S, Wang Z, Gong H, Wang R: Asymptotic stability for a class of nonlinear difference equation. Discr Dyn Nat Soc 2010, 2010: 10.

43. Wang C, Wang S, Wang W: Global asymptotic stability of equilibrium point for a family of rational difference equations. Appl Math Lett 2011, 24(5):714–718. 10.1016/j.aml.2010.12.013

44. Yalçınkaya I: On the global asymptotic stability of a second-order system of difference equations. Discr Dyn Nat Soc 2008, 2008: 12.

45. Yalçınkaya I, Cinar C, Atalay M: On the solutions of systems of difference equations. Adv Diff Equ 2008, 2008: 9.

## Acknowledgements

This article was funded by the Deanship of Scientific Research (DSR), the King Abdulaziz University, Jeddah. The authors, therefore, acknowledge with thanks DSR technical and financial support.

## Author information

Authors

### Corresponding author

Correspondence to Elsayed M Elsayed.

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

Reprints and Permissions

Elsayed, E.M., El-Dessoky, M.M. Dynamics and behavior of a higher order rational recursive sequence. Adv Differ Equ 2012, 69 (2012). https://doi.org/10.1186/1687-1847-2012-69