Open Access

Dynamics of a system of rational third-order difference equation

Advances in Difference Equations20122012:136

https://doi.org/10.1186/1687-1847-2012-136

Received: 5 April 2012

Accepted: 27 July 2012

Published: 6 August 2012

Abstract

In this paper, we study the dynamical behavior of positive solution for a system of a rational third-order difference equation

x n + 1 = x n 2 B + y n 2 y n 1 y n , y n + 1 = y n 2 A + x n 2 x n 1 x n , n = 0 , 1 , ,

where A , B ( 0 , ) , x 2 , x 1 , x 0 ( 0 , ) ; y 2 , y 1 , y 0 ( 0 , ) .

MSC:39A10.

Keywords

difference equation local behavior unstable

1 Introduction

Rational difference equations that are the ratio of two polynomials are one of the most important and practical classes of nonlinear difference equations. Marwan Aloqeili [1] investigated the stability character, semicycle behavior of the solution of the difference equation x n + 1 = x n 1 / ( a x n 1 x n ) . These difference equations appear naturally as discrete analogues and as numerical solutions of differential and delay differential equations having applications in biology, ecology, physics, etc.[2, 11]. Also, Cinar [3] investigated the global behavior of all positive solutions of the rational second-order difference equation
x n + 1 = x n 1 1 + x n x n 1 , n = 0 , 1 , .
Similarly Shojaei, Saadati, and Adibi [4] investigated the stability and periodic character of the rational third-order difference equation
x n + 1 = α x n 2 β + γ x n 2 x n 1 x n , n = 0 , 1 , ,

where the parameters α, β, γ, and the initial conditions x 2 , x 1 , x 0 are real numbers. Related difference equations readers can refer to the references [57].

Papaschinopoulos and Schinas [8] studied the system of two nonlinear difference equations
x n + 1 = A + y n x n p , y n + 1 = A + x n y n q , n = 0 , 1 , ,
(1)

where p, q are positive integers.

Clark and Kulenovic [9, 10] investigated the system of rational difference equations
x n + 1 = x n a + c y n , y n + 1 = y n b + d x n , n = 0 , 1 , ,
(2)

where a , b , c , d ( 0 , ) , and the initial conditions x 0 and y 0 are arbitrary nonnegative numbers.

Our aim in this paper is to investigate the solutions, stability character, and asymptotic behavior of the system of difference equations
x n + 1 = x n 2 B + y n 2 y n 1 y n , y n + 1 = y n 2 A + x n 2 x n 1 x n , n = 0 , 1 , ,
(3)

where A , B ( 0 , ) , and the initial conditions x 2 , x 1 , x 0 ( 0 , ) ; y 2 , y 1 , y 0 ( 0 , ) .

2 Preliminaries

Let I x , I y be some intervals of real number and f : I x 3 × I y 3 I x , g : I x 3 × I y 3 I y be continuously differentiable functions. Then for every initial conditions ( x i , y i ) I x × I y ( i = 2 , 1 , 0 ), the system of difference equations
{ x n + 1 = f ( x n , x n 1 , x n 2 , y n , y n 1 , y n 2 ) , y n + 1 = g ( x n , x n 1 , x n 2 , y n , y n 1 , y n 2 ) , n = 0 , 1 , 2 , ,
(4)

has a unique solution { ( x n , y n ) } n = 2 . A point ( x ¯ , y ¯ ) I x × I y is called an equilibrium point of (4) if x ¯ = f ( x ¯ , x ¯ , x ¯ , y ¯ , y ¯ , y ¯ ) , y ¯ = g ( x ¯ , x ¯ , x ¯ , y ¯ , y ¯ , y ¯ ) , i.e., ( x n , y n ) = ( x ¯ , y ¯ ) for all n 0 .

Let I x , I y be some intervals of real numbers; interval I x × I y is called invariant for system (4) if, for all n > 0 ,
x 2 , x 1 , x 0 I x , y 2 , y 1 , y 0 I y x n I x , y n I y .
Definition 2.1 Assume that ( x ¯ , y ¯ ) be a fixed point of system (4). Then
  1. (i)

    ( x ¯ , y ¯ ) is said to be stable relative to I x × I y if for every ε > 0 , there exists δ > 0 such that for any initial conditions ( x i , y i ) I x × I y ( i = 2 , 1 , 0 ), with i = 2 0 | x i x ¯ | < δ , i = 2 0 | y i y ¯ | < δ , implies | x n x ¯ | < ε , | y n y ¯ | < ε .

     
  2. (ii)

    ( x ¯ , y ¯ ) is called an attractor relative to I x × I y if for all ( x i , y i ) I x × I y ( i = 2 , 1 , 0 ), lim n x n = x ¯ , lim n y n = y ¯ .

     
  3. (iii)

    ( x ¯ , y ¯ ) is called asymptotically stable relative to I x × I y if it is stable and an attractor.

     
  4. (iv)

    Unstable if it is not stable.

     

Theorem 2.1 ([11])

Assume that X ( n + 1 ) = F ( X ( n ) ) , n = 0 , 1 , , is a system of difference equations and X ¯ is the equilibrium point of this system, i.e., F ( X ¯ ) = X ¯ . If all eigenvalues of the Jacobian matrix J F , evaluated at X ¯ lie inside the open unit disk | λ | < 1 , then X ¯ is locally asymptotically stable. If one of them has a modulus greater than one, then X ¯ is unstable.

Theorem 2.2 ([12])

Assume that X ( n + 1 ) = F ( X ( n ) ) , n = 0 , 1 , , is a system of difference equations and X ¯ is the equilibrium point of this system, the characteristic polynomial of this system about the equilibrium point X ¯ is P ( λ ) = a 0 λ n + a 1 λ n 1 + + a n 1 λ + a n = 0 , with real coefficients and a 0 > 0 . Then all roots of the polynomial p ( λ ) lie inside the open unit disk | λ | < 1 if and only if
Δ k > 0 for k = 1 , 2 , , n ,
(5)
where Δ k is the principal minor of order k of the n × n matrix
Δ n = [ a 1 a 3 a 5 0 a 0 a 2 a 4 0 0 a 1 a 3 0 0 0 0 a n ] .

3 Main results

Consider the system (3), if A < 1 , B < 1 , system (3) has equilibrium ( 0 , 0 ) and ( 1 A 3 , 1 B 3 ) . In addition, if A < 1 , B = 1 , then system (3) has an equilibrium point ( 1 A 3 , 0 ) , and if A = 1 , B < 1 , then system (3) has an equilibrium point ( 0 , 1 B 3 ) . Finally, if A > 1 and B > 1 , ( 0 , 0 ) is the unique equilibrium point.

Theorem 3.1 Let ( x n , y n ) be positive solution of system (3), then for all k 0 ,
(i) 0 x n { x 2 B k + 1 , n = 3 k + 1 ; x 1 B k + 1 , n = 3 k + 2 ; x 0 B k + 1 , n = 3 k + 3 ; (ii) 0 y n { y 2 A k + 1 , n = 3 k + 1 ; y 1 A k + 1 , n = 3 k + 2 ; y 0 A k + 1 , n = 3 k + 3 .
(6)
Proof This assertion is true for k = 0 . Assume that it is true for k = m , for k = m + 1 , we have

This completes our inductive proof. □

Corollary 3.1 If A > 1 , B > 1 , then by Theorem 3.1 { ( x n , y n ) } converges exponentially to the equilibrium point ( 0 , 0 ) .

Theorem 3.2 If
A > 1 , B > 1 .
(7)

Then the equilibrium ( 0 , 0 ) is locally asymptotically stable.

Proof We can easily obtain that the linearized system of (3) about the equilibrium ( 0 , 0 ) is
Φ n + 1 = D Φ n ,
(8)
where
Φ n = ( x n x n 1 x n 2 y n y n 1 y n 2 ) , D = ( 0 0 1 B 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 A 0 0 0 1 0 0 0 0 0 0 1 0 ) .
The characteristic equation of (8) is
f ( λ ) = ( λ 3 + 1 A ) ( λ 3 + 1 B ) = 0 .
(9)

This shows that all the roots of the characteristic equation lie inside unit disk. So the unique equilibrium ( 0 , 0 ) is locally asymptotically stable. □

Theorem 3.3 If
A < 1 , B < 1 .
(10)
Then
  1. (i)

    the equilibrium ( 0 , 0 ) is locally unstable,

     
  2. (ii)

    the positive equilibrium ( x ¯ , y ¯ ) = ( 1 A 3 , 1 B 3 ) is locally unstable.

     
Proof (i) From (9), we have that all the roots of characteristic equation lie outside unit disk. So the unique equilibrium ( 0 , 0 ) is locally unstable.
  1. (ii)
    We can easily obtain that the linearized system of (3) about the equilibrium ( 0 , 0 ) is
    Φ n + 1 = G Φ n ,
    (11)
     
where
Φ n = ( x n x n 1 x n 2 y n y n 1 y n 2 ) , G = ( 0 0 1 B α α α 1 0 0 0 0 0 0 1 0 0 0 0 β β β 0 0 1 A 0 0 0 1 0 0 0 0 0 0 1 0 ) ,
in which α = ( 1 A ) ( 1 B ) 2 3 , β = ( 1 A ) 2 ( 1 B ) 3 . The characteristic equation of (11) is
P ( λ ) = λ 6 α β λ 4 ( 2 α β + 1 A 1 B ) λ 3 3 α β λ 2 2 α β λ α β + 1 A B .
(12)
From (12), we have
Δ 6 = [ 0 ( 2 α β + 1 A 1 B ) 2 α β 0 0 0 1 α β 3 α β α β + 1 A B 0 0 0 0 ( 2 α β + 1 A 1 B ) 2 α β 0 0 0 0 α β 3 α β α β + 1 A B 0 0 0 0 ( 2 α β + 1 A 1 B ) 2 α β 0 0 0 0 0 3 α β α β + 1 A B ] .

It is clear that not all of Δ k > 0 , k = 1 , 2 , , 6 . Therefore, by Theorem 2.2, the positive equilibrium ( x ¯ , y ¯ ) = ( 1 A 3 , 1 B 3 ) is locally unstable. □

Theorem 3.4 Consider system (3), and suppose that (10) holds. Then the following statements are true, for i = 2 , 1 , 0 ,
  1. (i)

    ( x i , y i ) ( 0 , 1 A 3 ) × ( 1 B 3 , + ) ( x n , y n ) ( 0 , 1 A 3 ) × ( 1 B 3 , + ) ;

     
  2. (ii)

    ( x i , y i ) ( 1 A 3 , + ) × ( 0 , 1 B 3 ) ( x n , y n ) ( 1 A 3 , + ) × ( 0 , 1 B 3 ) .

     
Proof (i) Let ( x i , y i ) ( 0 , 1 A 3 ) × ( 1 B 3 , + ) ( i = 2 , 1 , 0 ), from system (3), we have
x 1 = x 2 B + y 2 y 1 y 0 < x ¯ B + y ¯ 3 = x ¯ , y 1 = y 2 A + x 2 x 1 x 0 < y ¯ A + x ¯ 3 = y ¯ .
(13)
We prove by induction that
( x n , y n ) ( 0 , 1 A 3 ) × ( 1 B 3 , + ) .
(14)
Suppose that (14) is true for n = k > 1 . Then from (3), we have
x k + 1 = x k 2 B + y k 2 y k 1 y k < x ¯ B + y ¯ 3 = x ¯ , y k + 1 = y k 2 A + x k 2 x k 1 x k < y ¯ A + x ¯ 3 = y ¯ .
(15)

Therefore, (14) is true. This completes the proof of (i). Similarly, we can obtain the proof of (ii). Hence, it is omitted. □

4 Conclusion and future work

Since the system of the difference equation (3) is the extension of the third-order equation in [4] in the six-dimensional space. In this paper, we investigated the local behavior of solutions of the system of difference equation (3) using linearization. But as we saw linearization do not say anything about the global behavior and fails when the eigenvalues have modulus one. Some powerful tools such as semiconjugacy and weak contraction in [4] cannot be used to analyze global behavior of system (3). The global behavior of the system (3) will be next our aim to study.

Declarations

Acknowledgements

The authors would like to thank the editor and anonymous reviewers for their helpful comments and valuable suggestions, which have greatly improved the quality of this paper. This work is partially supported by the Scientific Research Foundation of Guizhou Provincial Science and Technology Department ([2011]J2096).

Authors’ Affiliations

(1)
Guizhou Key Laboratory of Economics System Simulation, School of Mathematics and Statistics, Guizhou University of Finance and Economics
(2)
Department of Mathematics, Hunan City University
(3)
Computer and Information Science Department, Hunan Institute of Technology

References

  1. Marwan A: Dynamics of a rational difference equation. Appl. Math. Comput. 2006, 176: 768–774. 10.1016/j.amc.2005.10.024MathSciNetView ArticleGoogle Scholar
  2. Agop M, Rusu I: El Naschie’s self-organization of the patterns in a plasma discharge: experimental and theoretical results. Chaos Solitons Fractals 2007, 34: 172–186. 10.1016/j.chaos.2006.04.017View ArticleGoogle Scholar
  3. Cinar C:On the positive solutions of the difference equation x n + 1 = x n 1 1 + x n x n 1 . Appl. Math. Comput. 2004, 150: 21–24. 10.1016/S0096-3003(03)00194-2MathSciNetView ArticleGoogle Scholar
  4. Shojaei M, Saadati R, Adibi H: Stability and periodic character of a rational third order difference equation. Chaos Solitons Fractals 2009, 39: 1203–1209. 10.1016/j.chaos.2007.06.029MathSciNetView ArticleGoogle Scholar
  5. Cinar C:On the solutions of the difference equation x n + 1 = x n 1 1 + x n x n 1 . Appl. Math. Comput. 2004, 158: 793–797. 10.1016/j.amc.2003.08.139MathSciNetView ArticleGoogle Scholar
  6. Cinar C:On the difference equation x n + 1 = x n 1 1 + x n x n 1 . Appl. Math. Comput. 2004, 158: 813–816. 10.1016/j.amc.2003.08.122MathSciNetView ArticleGoogle Scholar
  7. Cinar C:On the positive solutions of the difference equation x n + 1 = x n 1 1 + a x n x n 1 . Appl. Math. Comput. 2004, 158: 809–812. 10.1016/j.amc.2003.08.140MathSciNetView ArticleGoogle Scholar
  8. Papaschinopoulos G, Schinas CJ: On a system of two nonlinear difference equations. J. Math. Anal. Appl. 1998, 219: 415–426. 10.1006/jmaa.1997.5829MathSciNetView ArticleGoogle Scholar
  9. Clark D, Kulenovic MRS: A coupled system of rational difference equations. Comput. Math. Appl. 2002, 43: 849–867. 10.1016/S0898-1221(01)00326-1MathSciNetView ArticleGoogle Scholar
  10. Clark D, Kulenovic MRS, Selgrade JF: Global asymptotic behavior of a two-dimensional difference equation modelling competition. Nonlinear Anal. 2003, 52: 1765–1776. 10.1016/S0362-546X(02)00294-8MathSciNetView ArticleGoogle Scholar
  11. Sedaghat H: Nonlinear Difference Equations: Theory with Applications to Social Science Models. Kluwer Academic, Dordrecht; 2003.View ArticleGoogle Scholar
  12. Kocic, VL, Ladas, G: Global Behavior of Nonlinear Difference Equations of Higher Order with Applications. Kluwer Academic, Dordrecht (1993)View ArticleGoogle Scholar

Copyright

© Zhang et al.; licensee Springer 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.