1 Introduction

The purpose of this article is to investigate the global attractivity of the equilibrium point, and the asymptotic behavior of the solutions of the following difference equation

x n + 1 = a x n - l x n - k b x n - p - c x n - q , n = 0 , 1 , ,
(1)

where the initial conditions x -r , x -r+1, x -r+2,..., x 0 are arbitrary positive real numbers, r = max{l, k, p, q} is nonnegative integer and a, b, c are positive constants: Moreover, we obtain the form of the solution of some special cases of Equation 1 and some numerical simulations to the equation are given to illustrate our results.

Let us introduce 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 I ,

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

x n + 1 = f ( x n , x n - 1 , , x n - k ) , n = 0 , 1 , ,
(2)

has a unique solution { x n } n = - k [ 1 ] .

A point x ̄ I is called an equilibrium point of Equation 2 if

x ̄ = f ( x ̄ , x ̄ , , x ̄ ) .

That is, x n = x ̄ for n ≥ 0, is a solution of Equation 2, or equivalently, x ̄ is a fixed point of f.

Definition 1 (Stability)

  1. (i)

    The equilibrium point 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, x 0I with

    | x - k - x ̄ | + | x - k + 1 - x ̄ | + + | x 0 - x ̄ | < δ ,

we have

| x n - x ̄ | < ε for all n - k .
  1. (ii)

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

    | x - k - x ̄ | + | x - k + 1 - x ̄ | + + | x 0 - x ̄ | < γ ,

we have

lim n x n = x ̄ .
  1. (iii)

    The equilibrium point x ̄ of Equation 2 is global attractor if for all x -k , x -k+1,..., x -1, x 0I, we have

    lim n x n = x ̄ .
  2. (iv)

    The equilibrium point x ̄ of Equation 2 is globally asymptotically stable if x ̄ is locally stable and x ̄ is also a global attractor of Equation 2.

  3. (v)

    The equilibrium point x ̄ of Equation 2 is unstable if x ̄ is not locally stable.

The linearized equation of Equation 2 about the equilibrium x ̄ is the linear difference equation

y n + 1 = i = 0 k f ( x ̄ , x ̄ , , x ̄ ) x n - i y n - i .
(3)

Theorem A [2]

Assume that p, qR and k ∈ {0, 1, 2,...}. Then

| p | + | q | < 1 ,

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

x n + 1 + p x n + q x n - k = 0 , n = 0 , 1 , .

Remark 1 Theorem A can be easily extended to a general linear equations of the form

x n + k + p 1 x n + k - 1 + + p k x n = 0 , n = 0 , 1 , ,
(4)

where p 1, p 2,..., p k R and k ∈ {1, 2,...}. Then Equation 4 is asymptotically stable provided that

i = 1 k | p i | < 1 .

Definition 2

(Fibonacci Sequence) The sequence { F m } m = 0 = { 1 , 2 , 3 , 5 , 8 , 1 3 , } i.e. F m = F m-1 + F m-2, m ≥ 0, F -2 = 0, F -1 = 1 is called Fibonacci Sequence.

The nature of many biological systems naturally leads to their study by means of a discrete variable. Particular examples include population dynamics and genetics. Some elementary models of biological phenomena, including a single species population model, harvesting of fish, the production of red blood cells, ventilation volume and blood CO2 levels, a simple epidemics model and a model of waves of disease that can be analyzed by difference equations are shown in [3]. Recently, there has been interest in so-called dynamical diseases, which correspond to physiological disorders for which a generally stable control system becomes unstable. One of the first papers on this subject was that of Mackey and Glass [4]. In that paper they investigated a simple first order difference-delay equation that models the concentration of blood-level CO2. They also discussed models of a second class of diseases associated with the production of red cells, white cells, and platelets in the bone marrow.

The study of the nonlinear rational difference equations of a higher order is quite challenging and rewarding, and the results about these equations offer prototypes towards the development of the basic theory of the global behavior of nonlinear difference equations of a big order, recently, many researchers have investigated the behavior of the solution of difference equations for example: Elabbasy et al. [5] investigated the global stability, periodicity character and gave the solution of special case of the following recursive sequence

x n + 1 = a x n - b x n c x n - d x n - 1 .

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

x n + 1 = α x n - k β + γ i = 0 k x n - i .

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

x n + 1 = α x n + β x n - 1 + γ x n - 2 A x n + B x n - 1 + C x n - 2 .

El-Metwally et al. [8] investigated the asymptotic behavior of the population model:

x n + 1 = α + β x n - 1 e - x n ,

where α is the immigration rate and β is the population growth rate.

Yang et al. [9] investigated the invariant intervals, the global attractivity of equilibrium points and the asymptotic behavior of the solutions of the recursive sequence

x n + 1 = a x n - 1 + b x n - 2 c + d x n - 1 x n - 2 .

Cinar [10, 11] has got the solutions of the following difference equations

x n + 1 = x n - 1 1 + a x n x n - 1 , x n + 1 = x n - 1 - 1 + a x n x n - 1 .

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

x n + 1 = x n - 1 a - x n x n - 1 .

Yalçinkaya [13] studied the following nonlinear difference equation

x n + 1 = α + x n - m x n k .

For some related work see [129].

The article proceeds as follows. In Sect. 2 we show that when 2a |b - c| + a(b + c) < (b - c)2, then the equilibrium point of Equation 1 is locally asymptotically stable. In Sect. 3 we prove that the equilibrium point of Equation 1 is global attractor. In Sect. 4 we give the solutions of some special cases of Equation 1 and give a numerical examples of each case and draw it by using Matlab 6.5.

2 Local stability of Equation 1

In this section we investigate the local stability character of the solutions of Equation 1. Equation 1 has a unique positive equilibrium point and is given by

x ¯ = a x ¯ 2 b x ¯ - c x ¯ ,

if ab-c, bc, then the unique equilibrium point is x ̄ =0.

Let f : (0, )4 → (0, ∞) be a function defined by

f ( u , v , w , s ) = a u v b w - c s .
(5)

Therefore, it follows that

f u ( u , v , w , s ) = a v ( b w - c s ) , f v ( u , v , w , s ) = a u ( b w - c s ) ,
f w ( u , v , w , s ) = - b a u v ( b w - c s ) 2 , f s ( u , v , w , s ) = c a u v ( b w - c s ) 2 ,

we see that

f u ( x ̄ , x ̄ , x ̄ , x ̄ ) = a ( b - c ) , f v ( x ̄ , x ̄ , x ̄ , x ̄ ) = a ( b - c ) ,
f w ( x ̄ , x ̄ , x ̄ , x ̄ ) = - a b ( b - c ) 2 , f s ( x ̄ , x ̄ , x ̄ , x ̄ ) = a c ( b - c ) 2 .

The linearized equation of Equation 1 about x ̄ is

y n + 1 + a ( b - c ) y n - 1 + a ( b - c ) y n - k - a b ( b - c ) 2 y n - p + a c ( b - c ) 2 y n - q = 0 .
(6)

Theorem 1

Assume that

a ( 3 ζ η ) < ( b c ) 2 .

where ζ = max{b, c}, η = min{b, c}. Then the equilibrium point of Equation 1 is locally asymptotically stable.

Proof: It is follows by Theorem A that Equation 6 is asymptotically stable if

a ( b - c ) + a ( b - c ) + a b ( b - c ) 2 + a b ( b - c ) 2 < 1 ,

or

2 a ( b - c ) + a ( b + c ) ( b - c ) 2 < 1 ,

and so

2 a | b - c | + a ( b + c ) < ( b - c ) 2 .

The proof is complete.

3 Global attractivity of the equilibrium point of Equation 1

In this section we investigate the global attractivity character of solutions of Equation 1.

We give the following two theorems which is a minor modification of Theorem A.0.2 in [1].

Theorem 2

Let [a, b] be an interval of real numbers and assume that

f : [ a , b ] k + 1 [ a , b ] ,

is a continuous function satisfying the following properties:

  1. (i)

    f(x 1, x 2,...., x k+1) is non-increasing in one component (for example x t ) for each x r (rt) in [a, b] and non-decreasing in the remaining components for each x t in [a, b].

  2. (ii)

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

M = f(M, M,...,M, m, M,...,M, M) and m = f(m, m,...,m, M, m,...m, m) implies

m = M .

Then Equation 2 has a unique equilibrium x ̄ [ a , b ] and every solution of Equation 2 converges to x ̄

Proof: Set

m 0 = a and M 0 = b ,

and for each i = 1, 2,...set

m i = f ( m i - 1 , m i - 1 , , m i - 1 , M i - 1 , m i - 1 , , m i - 1 , m i - 1 ) ,

and

M i = f ( M i - 1 , M i - 1 , , M i - 1 , m i - 1 , M i - 1 , , M i - 1 , M i - 1 ) .

Now observe that for each i ≥ 0,

a = m 0 m 1 m i M i M 1 M 0 = b ,

and

m i x p M i for p ( k + 1 ) i + 1 .

Set

m = lim x m i and M = lim i M i .

Then

M lim i sup x i lim inf i x i m

and by the continuity of f,

M = f(M, M,...,M, m, M,...,M, M) and m = f(m, m,...,m, M, m,...m, m).

In view of (ii),

m = M = x ̄ ,

from which the result follows.

Theorem 3

Let [a, b] be an interval of real numbers and assume that

f : [ a , b ] k + 1 [ a , b ] ,

is a continuous function satisfying the following properties:

  1. (i)

    f(x 1, x 2,...,x k+1) is non-increasing in one component (for example x t ) for each x r (rt) in [a, b] and non-increasing in the remaining components for each x t in [a, b].

  2. (ii)

    If (m, M)∈[a, b] × [a, b] is a solution of the system

M = f(m, m,...,m, M, m,...m, m) and m = f(M, M,...,M, m, M,...,M, M)' implies

m = M .

Then Equation 2 has a unique equilibrium x ̄ [ a , b ] and every solution of Equation 2 converges to x ̄

Proof: As the proof of Theorem 2 and will be omitted.

Theorem 4

The equilibrium point x ̄ of Equation 1 is global attractor if ca.

Proof: Let p, q are a real numbers and assume that f: [ p , q ] 4 [ p , q ] be a function defined by Equation 5, then we can easily see that the function f(u, v, w, s) increasing in s and decreasing in w.

Case (1) If bw-cs > 0, then we can easily see that the function f(u, v, w, s)

increasing in u, v, s and decreasing in w.

Suppose that (m, M) is a solution of the system

M = f(m, m, M, m) and M = f(M, M, m, M).

Then from Equation 1, we see that

m = a m 2 b M - c m , M = a M 2 b m - c M ,
b M = c m + a m , b m = c M + a M ,

then

( M - m ) ( b + c + a ) = 0 .

Thus

M = m .

It follows by Theorem 2 that x ̄ is a global attractor of Equation 1 and then the proof is complete.

Case (2) If bw-cs < 0, then we can easily see that the function f(u, v, w, s) decreasing in u, v, w and increasing in s.

Suppose that (m, M) is a solution of the system

M = f(m, m, m, M) and m = f(M, M, M, m).

Then from Equation 1, we see that

M = a m 2 b m - c M , m = a M 2 b M - c m ,
b m M - c M 2 = a m 2 , b m M - c m 2 = a M 2 ,

then

( M 2 - m 2 ) ( c - a ) = 0 , a c .

Thus,

M = m .

It follows by the Theorem 3 that x ̄ is a global attractor of Equation 1 and then the proof is complete.

4 Special cases of Equation 1

4.1 Case (1)

In this section we study the following special case of Equation 1

x n + 1 = x n x n - 1 x n - x n - 1 ,
(7)

where the initial conditions x -1, x 0 are arbitrary positive real numbers.

Theorem 5

Let { x n } n = - 1 be a solution of Equation 7. Then for n = 0, 1,...

x n = ( - 1 ) n h k F n - 1 k - F n - 2 h ,

where x -1 = k, x 0 = h and F n-1 , F n-2are the Fibonacci terms.

Proof: For n = 0 the result holds. Now suppose that n > 0 and that our assumption holds for n-1, n-2. That is;

x n - 2 = ( - 1 ) n - 2 h k F n - 3 k - F n - 4 h , x n - 1 = ( - 1 ) n - 1 h k F n - 2 k - F n - 3 h .

Now, it follows from Equation 7 that

x n = x n - 1 x n - 2 x n - 1 - x n - 2 = ( - 1 ) n - 1 h k F n - 2 k - F n - 3 h ( - 1 ) n - 2 h k F n - 3 k - F n - 4 h ( - 1 ) n - 1 h k F n - 2 k - F n - 3 h - ( - 1 ) n - 2 h k F n - 3 k - F n - 4 h (1) = ( - 1 ) n - 1 h k F n - 2 k - F n - 3 h - 1 F n - 3 k - F n - 4 h 1 F n - 2 k - F n - 3 h + 1 F n - 3 k - F n - 4 h = ( - 1 ) n h k ( F n - 2 k - F n - 3 h + F n - 3 k - F n - 4 h ) (2) = ( - 1 ) n h k F n - 1 k - F n - 2 h . n (3) (4) 

Hence, the proof is completed.

For confirming the results of this section, we consider numerical example for x -1 = 11, x 0 = 4 (see Figure 1), and for x -1 = 6, x 0 = 15 (see Figure 2), since the solutions take the forms {6, -12, 4, -3, 1.714286, -1.090909, .6666667, -.4137931, .2553191,....}, {-60, 10, -8.571428, 4.615385, -3, 1.818182, -1.132075, .6976744,...}.

Figure 1
figure 1

This figure shows the solution of x n + 1 = x n x n - 1 x n - x n - 1 , where x -1 = 11, x 0 = 4.

Figure 2
figure 2

This figure shows the solution of x n + 1 = x n x n - 1 x n - x n - 1 , for x -1 = 6, x 0 = 15.

4.2 Case (2)

In this section we study the following special case of Equation 1

x n + 1 = x n - 1 x n - 2 x n - 1 - x n - 2 ,
(8)

where the initial conditions x -2, x -1, x 0 are arbitrary positive real numbers.

Theorem 6

Let { x n } n = - 2 be a solution of Equation 8. Then x 1 = r k k - r , for n = 1, 2,...

x n + 1 = h k r g n - 4 h k + g n - 3 k r + g n - 2 h r ,

where x -2 = r, x -1 = k, x 0 = h, { g m } m = 0 = { 1 , - 2 , 0 , 3 , - 2 , - 3 , } , i.e., g m = g m-2+ g m-3, m ≥ 0, g -3 = 0, g -2 = -1, g -1 = 1.

Proof: For n = 1, 2 the result holds. Now suppose that n > 1 and that our assumption holds for n - 1, n - 2. That is;

x n - 2 = h k r g n - 7 h k + g n - 6 k r + g n - 5 h r , x n - 1 = h k r g n - 6 h k + g n - 5 k r + g n - 4 h r . Now, it follows from Equation 8 that

x n + 1 = x n - 1 x n - 2 x n - 1 - x n - 2 (1) = h k r g n - 6 h k + g n - 5 k r + g n - 4 h r h k r g n - 7 h k + g n - 6 k r + g n - 5 h r h k r g n - 6 h k + g n - 5 k r + g n - 4 h r - h k r g n - 7 h k + g n - 6 k r + g n - 5 h r (2) = h k r ( g n - 7 h k + g n - 6 k r + g n - 5 h r - g n - 6 h k + g n - 5 k r + g n - 4 h r ) (3) = h k r g n - 4 h k + g n - 3 k r + g n - 2 h r . (4) (5)

Hence, the proof is completed.

Assume that x -2 = 8, x -1 = 15, x 0 = 7, then the solution will be {17.14286, -13.125, 11.83099, 7.433628, -6.222222, -20, 3.387097, -9.032259,...}(see Figure 3).

Figure 3
figure 3

This figure shows the solution of x n + 1 = x n - 1 x n - 2 x n - 1 - x n - 2 , where x -2 = 8, x -1 = 15, x 0 = 7.

The proof of following cases can be treated similarly.

4.3 Case (3)

Let x -2 = r, x -1 = k, x 0 = h, i = 0 - 1 A i =1 and F 2i-1, F 2i , F 2i+1(where i = 0 to n) are the Fibonacci terms. Then the solution of the difference equation

x n + 1 = x n - 1 x n - 2 x n - x n - 2 ,
(9)

is given by

x 2 n = h i = 0 n - 1 ( F 2 i - 1 h - F 2 i r ) i = 0 n - 1 ( F 2 i + 1 r - F 2 i h ) , x 2 n + 1 = k r i = 0 n - 1 ( F 2 i + 1 r - F 2 i h ) i = 0 n ( F 2 i - 1 h - F 2 i r ) ,n=0,1,....

Figure 4 shows the solution when x -2 = 9, x -1 = 12, x 0 = 17.

Figure 4
figure 4

This figure shows the solution of x n + 1 = x n - 1 x n - 2 x n - x n - 2 , when x -2 = 9, x -1 = 12, x 0 = 17.

4.4 Case (4)

Let x -2 = r, x -1 = k, x 0 = h. Then the solution of the following difference equation

x n + 1 = x n - 1 x n x n - x n - 2
(10)

is given by

x 2 n - 1 = h h - r n k , x 2 n = h n + 1 r n , n = 0 , 1 , .

Figure 5 shows the solution when x - 2= 21, x - 1= 6, x 0 = 3.

Figure 5
figure 5

This figure shows the solution of x n + 1 = x n - 1 x n x n - x n - 2 , where x -2 = 21, x -1 = 6, x 0 = 3.

4.5 Case (5)

Let x - 2= r, x - 1= k, x 0 = h. Then the solution of the following difference equation

x n + 1 = x n - 1 x n x n - 1 - x n - 2 ,
(11)

is given by

x 4 n = h ( h k ) 2 n ( r k ( h - k ) ( k - r ) ) n , x 4 n + 1 = ( h k ) 2 n + 1 ( r k ( h - k ) ) n ( k - r ) n + 1 ,
x 4 n + 2 = h ( h k ) 2 n + 1 ( ( h - k ) ( k - r ) ) n + 1 ( r k ) n , x 4 n + 3 = ( h k ) 2 n ( r ( h - k ) ( k - r ) ) n + 1 k n , n = 0 , 1 , .

Figure 6 shows the solution when x - 2= 9, x - 1= 5, x 0 = 4.

Figure 6
figure 6

This figure shows the solution of x n + 1 = x n - 1 x n x n - 1 - x n - 2 , for x -2 = 9, x -1 = 5, x 0 = 4.

Figure 7 shows the solution when x - 2= .9, x - 1= 5, x 0 = .4.

Figure 7
figure 7

This figure shows the solution of x n + 1 = x n - 1 x n x n - 1 - x n - 2 , when x -2 = 0.9, x -1 = 5, x 0 = 0.4.

4.6 Case (6)

Let x - 2= r, x - 1= k, x 0 = h, Then the solution of the following difference equation

x n + 1 = x n - 2 x n x n - x n - 2 ,
(12)

is given by

x n = h k r u n - 3 h r + u n - 2 h k + u n - 1 k r , n = 0 , 1 , ,

Where { u m } m = 0 = { - 1 , 1 , 0 , - 1 , 2 , - 2 , 1 , 1 , - 3 , } i. e. u m = u m-1- u m-3, m ≥ 0, u -3 = 0, u -2 = 0, u -1 = 1.

Figure 8 shows the solution when x -2 = 11, x -1 = 6, x 0 = 17.

Figure 8
figure 8

This figure shows the solution of x n + 1 = x n - 2 x n x n - x n - 2 , where x -2 = 11, x -1 = 6, x 0 = 17.

4.7 Case (7)

Let x -2 = r, x -1 = k, x 0 = h and F n-1F, n-2, F n are the Fibonacci terms.

Then the solution of the following difference equation

x n + 1 = x n - 2 x n x n - 1 - x n - 2 ,
(13)

is given by

x 2 n = h k r ( F n - 2 k - F n - 1 r ) ( F n - 2 h - F n - 1 k ) ,
x 2 n + 1 = h k r ( F n - 1 k - F n r ) ( F n - 2 h - F n - 1 k ) , n = 0 , 1 , .

Figure 9 shows the solution when x - 2= 8, x - 1= 5, x 0 = 0.9.

Figure 9
figure 9

This figure shows the solution of x n + 1 = x n - 2 x n x n - 1 - x n - 2 when x -2 = 8, x -1 = 5, x 0 = 0.9.