Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 179423, 10 pages http://dx.doi.org/10.1155/2013/179423 Research Article On the Period-Two Cycles of π₯π+1 = (πΌ + π½π₯π + πΎπ₯π−π)/(π΄ + π΅π₯π + πΆπ₯π−π) S. Atawna,1 R. Abu-Saris,2 I. Hashim,1 and E. S. Ismail1 1 2 School of Mathematical Sciences, The National of University of Malaysia, 43600 Bangi, Selangor, Malaysia Department of Basic Sciences, King Saud bin Abdulaziz University for Health Sciences, Riyadh 11426, Saudi Arabia Correspondence should be addressed to S. Atawna; s atawna@yahoo.com Received 2 January 2013; Revised 13 April 2013; Accepted 13 April 2013 Academic Editor: Douglas Anderson Copyright © 2013 S. Atawna et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We consider the higher order nonlinear rational difference equation π₯π+1 = (πΌ+π½π₯π +πΎπ₯π−π )/(π΄+π΅π₯π +πΆπ₯π−π ), π = 0, 1, 2, . . ., where the parameters πΌ, π½, πΎ, π΄, π΅, πΆ are positive real numbers and the initial conditions π₯−π , . . . , π₯−1 , π₯0 are nonnegative real numbers, π ∈ {1, 2, . . .}. We give a necessary and sufficient condition for the equation to have a prime period-two solution. We show that the period-two solution of the equation is locally asymptotically stable. 1. Introduction Recently, dynamics of nonnegative solutions of higher order rational difference equation has been an area of intense interest. Related to this subject, researches are done by Dehghan et al. [1–4], Zayed [5–7], Huang and Knopf [8, 9], Karatas [10, 11], and others. For the general theory of difference equations, one can refer to the monographes of KocicΜ and Ladas [12], Elaydi [13], Agarwal [14], KulenovicΜ and Ladas [15], and Camouzis and Ladas [16]. Other related results can be found in [17–24]. Our aim in this paper is to study the higher order nonlinear rational difference equation π₯π+1 = πΌ + π½π₯π + πΎπ₯π−π , π΄ + π΅π₯π + πΆπ₯π−π π = 0, 1, 2, . . . , (1) where the parameters πΌ, π½, πΎ, π΄, π΅, πΆ are positive real numbers and the initial conditions π₯−π , . . . , π₯−1 , π₯0 are nonnegative real numbers, π ∈ {1, 2, . . .}. Our concentration is on the periodic character of all positive solutions of (1). The periodic character of positive solutions of (1) for π = 1 has been investigated by the authors in [25]. They showed that the period-two solution of (1) for π = 1 is locally asymptotically stable if it exists. Motivated by the above results, our interest is now to study and generalize the previous results to the general case depicted in (1). The change of variable π₯π = πΎ π¦ πΆ π (2) reduces (1) to π¦π+1 = π + ππ¦π + π¦π−π , π§ + ππ¦π + π¦π−π π = 0, 1, 2, . . . , (3) where π= πΌπΆ , πΎ2 π΄ π§= , πΎ π= π½ , πΎ π΅ π= πΆ (4) are positive real numbers and the initial conditions π¦−π , . . . , π¦−1 , π¦0 are nonnegative real numbers. This paper is organized besides this introduction in three sections. In Section 2, we present some preliminaries and some results which can be mainly deduced from the general situation studied in [12–16, 26]. Our main results are 2 Abstract and Applied Analysis presented in Section 3; we give a necessary and sufficient condition for the equation to have a prime period-two solution, in addition to providing a necessary and sufficient conditions for the prime period-two solution of the equation to be locally asymptotically stable. In order to illustrate the results of the previous section and to support our theoretical discussion, we consider several numerical examples in Section 4; we use MATLAB to see how the behaviors of (1) look like. Finally, we conclude in Section 5 with suggestions for future research. 2. Preliminaries (ii) A solution {π₯π } of (6) is said to be periodic with prime period π if π is the least positive integer for which (11) holds. Definition 3. Let ππ = ππ (π₯, π₯, . . . , π₯) ππ’π (12) denote the partial derivatives of π(π’0 , π’1 , . . . , π’π ) evaluated at the equilibrium π₯ of (6). Then the equation π¦π+1 = π0 π¦π + π1 π¦π−1 + ⋅ ⋅ ⋅ + ππ π¦π−π , π = 0, 1, 2, . . . , (13) For the sake of self-containment and convenience, we recall the following definitions and results from [16]. Let πΌ be some interval of real numbers and let is called the linearized equation associated with (6) about the equilibrium point π₯. Its characteristic equation is π : πΌπ+1 σ³¨→ πΌ ππ+1 − π0 ππ − ⋅ ⋅ ⋅ − ππ−1 π − ππ = 0. (5) be a continuously differentiable function. Then for every set of initial conditions π₯−π , . . . , π₯−1 , π₯0 ∈ πΌ, the difference equation π₯π+1 = π (π₯π , π₯π−1 , . . . , π₯π−π ) , π = 0, 1, 2, . . . , (6) has a unique solution {π₯π }∞ π=−π . A solution of (6) that is constant for all π ≥ −π is called an equilibrium solution of (6). If π₯π = π₯ for π ≥ −π (7) Theorem 4 (linearized stability). (a) If all roots of (14) lie in the open unit disk |π| < 1, then the equilibrium π₯ of (6) is locally asymptotically stable. (b) If at least one of the roots of (14) has absolute value greater than one, then π₯ is unstable. The following result from [26] will become handy in the sequel. Lemma 5. If σ΅¨σ΅¨ σ΅¨σ΅¨π π σ΅¨σ΅¨ σ΅¨σ΅¨ 1 1 σ΅¨σ΅¨ σ΅¨σ΅¨ π π π σ΅¨σ΅¨ σ΅¨σ΅¨ 1 2 2 σ΅¨σ΅¨ , σ΅¨ π2 d d πΉπ = σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ d d ππ−1 σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ ππ−1 ππ σ΅¨σ΅¨σ΅¨ σ΅¨ is an equilibrium solution of (6), then π₯ is called an equilibrium point or simply an equilibrium of (6). Definition 1. (i) The equilibrium point π₯ of (6) is called locally stable if for every π > 0, there exists πΏ > 0 such that if π₯−π , . . . , π₯−1 , π₯0 ∈ πΌ, and |π₯−π −π₯|+⋅ ⋅ ⋅ , |π₯−1 −π₯|+|π₯0 −π₯| < πΏ, we have σ΅¨ σ΅¨σ΅¨ (8) σ΅¨σ΅¨π₯π − π₯σ΅¨σ΅¨σ΅¨ < π, ∀π ≥ −π. (ii) The equilibrium point π₯ of (6) is called locally asymptotically stable if it is locally stable, and if there exists πΎ > 0, if π₯−π , . . . , π₯−1 , π₯0 ∈ πΌ, and |π₯−π − π₯| + ⋅ ⋅ ⋅ , |π₯−1 − π₯| + |π₯0 − π₯| < πΏ, we have lim π₯ π→∞ π = π₯. = π₯. πΉπ = ππ πΉπ−1 − ππ−1 ππ−1 πΉπ−2 . Corollary 6. If (10) Definition 2. (i) A solution {π₯π } of (6) is said to be periodic with period π if π₯π+π = π₯π , ∀π ≥ −π. (11) (16) The aforementioned lemma leads to the following conclusion. (9) (iv) The equilibrium point π₯ of (6) is called globally asymptotically stable if it is locally stable and a global attractor. (v) The equilibrium point π₯ of (6) is called unstable if it is not stable. (15) then πΉπ satisfies the following recursive formula: (iii) The equilibrium point π₯ of (6) is called a global attractor if for every π₯−π , . . . , π₯−1 , π₯0 ∈ πΌ, we have lim π₯ π→∞ π (14) σ΅¨σ΅¨ σ΅¨σ΅¨ 0 1 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨−π 0 1 σ΅¨σ΅¨ σ΅¨σ΅¨ −π d d σ΅¨σ΅¨σ΅¨σ΅¨ , π·π = σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ d d 1σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ −π 0σ΅¨σ΅¨σ΅¨ σ΅¨ (17) 0 ππ/2 (18) then π·π = ππ·π−2 = { ππ π ππ πππ, ππ π ππ πVππ. 3. Main Result In this section, we give a necessary and sufficient condition for (1) to have a prime period-two solution. We show that the period-two solution of (1) is locally asymptotically stable. Abstract and Applied Analysis 3 Equation (3) has a unique positive equilibrium given by Subtracting (30) from (29), we have π§ (Φ − Ψ) = (π + 1) (Ψ − Φ) , 2 π¦= 1 + π − π§ + √(1 + π − π§) + 4π (π + 1) 2 (π + 1) . (19) so The linearized equation associated with (3) about the equilibrium is given by π§π+1 = π − ππ¦ 1−π¦ π§π + π§ , π§ + (π + 1) π¦ π§ + (π + 1) π¦ π−π π − ππ¦ 1−π¦ ππ − = 0. π§ + (π + 1) π¦ π§ + (π + 1) π¦ (Φ − Ψ) (π§ + π + 1) = 0 σ³¨⇒ Φ = Ψ or π§ + π = −1. (20) and its characteristic equation is ππ+1 − (21) Case 2 (k is odd). (a) If π + π§ ≥ 1, π + π§ ≥ 1, (22) Φ= (23) (24) if and only if π is odd and (1 − π − π§) [π (1 − π − π§) − (1 + 3π − π§)] π< , 4 π > 1. (25) (26) Ψ= π + πΦ + Φ . π§ + πΦ + Φ (35) Ψ (π§ + πΦ + Ψ) = π + πΦ + Ψ. (36) (37) But, π + π§ ≥ 1, this implies that Φ + Ψ ≤ 0 which contradicts the hypothesis that Φ, Ψ are distinct positive real numbers. (b) If (38) then in this case Φ and Ψ satisfy (27) Case 1 (k is even). In this case Φ and Ψ satisfy π + πΨ + Ψ , π§ + πΨ + Ψ (34) Φ (π§ + πΨ + Φ) = π + πΨ + Φ, (Φ + Ψ) = (1 − π§ − π) . is a prime period-two solution of (3); there are two cases to be considered. Φ= π + πΦ + Ψ . π§ + πΦ + Ψ π + π§ < 1, Proof. Assume that there exist distinct nonnegative real numbers Φ and Ψ, such that . . . , Φ, Ψ, Φ, Ψ, . . . Ψ= Subtracting (35) from (36), we have where the values of Φ and Ψ are the positive and distinct solutions of the quadratic equation π (1 − π§ − π) + π = 0, π−1 π + πΨ + Φ , π§ + πΨ + Φ Furthermore, then (3) has prime period-two solution . . . , Φ, Ψ, Φ, Ψ, . . . (33) then in this case Φ and Ψ satisfy then (3) has no nonnegative prime period-two solution. (b) If π + π§ < 1, (32) This contradicts the hypothesis that Φ and Ψ are distinct nonnegative real numbers. Also, π§ + π = −1 contradicts the hypothesis that π§ and π are positive real numbers. Theorem 7. (a) If π‘2 − (1 − π§ − π) π‘ + (31) Φ= π + πΨ + Φ , π§ + πΨ + Φ (39) Ψ= π + πΦ + Ψ . π§ + πΦ + Ψ (40) Moreover, (28) Furthermore, π§Φ + (π + 1) ΨΦ = π + (π + 1) Ψ, (29) π§Ψ + (π + 1) ΦΨ = π + (π + 1) Φ. (30) Φ (π§ + πΨ + Φ) = π + πΨ + Φ, (41) Ψ (π§ + πΦ + Ψ) = π + πΦ + Ψ. (42) Subtracting (41) from (42), we have (Φ + Ψ) = (1 − π§ − π) . (43) 4 Abstract and Applied Analysis Furthermore, one adds (41) to (42), makes use of (43), and then does some elementary algebraic manipulation; we have ΦΨ = π (1 − π§ − π) + π . π−1 where π§2 π§1 π§3 π§2 .. ( ) . π ( ... ) = ( ). π§π+1 π§π π + ππ§π+1 + π§1 π§π+1 ( π§ + ππ§π+1 + π§1 ) (44) Equation (44) leads to the following conclusion: π > 1, (45) that follows from the facts that ΦΨ > 0, 1 − π − π§ > 0. (46) Notice that when π = 1 then adding (41) to (42) gives 2π + 2π(1 − π − π§) = 0, which is impossible. Construct the quadratic equation π‘2 − (1 − π§ − π) π‘ + π (1 − π§ − π) + π = 0, π−1 π > 1. Now Φ and Ψ generate a period-two solution of (3) only if Φ Ψ ( ... ) (47) 2 (1−π§−π)± √(1−π§−π) −4 ((π (1−π§−π)+π) / (π−1)) 2 , (53) Φ Ψ So Φ and Ψ are the positive and distinct solutions of the above quadratic equation, that is, π‘= (52) is a fixed point of π2 , the second iterate of π. Furthermore, π > 1. (48) π1 (π§1 , π§2 , . . . , π§π+1 ) π§1 π2 (π§1 , π§2 , . . . , π§π+1 ) π§2 2 .. . . π ( . )=( ), . π§π ππ (π§1 , π§2 , . . . , π§π+1 ) π§π+1 ππ+1 (π§1 , π§2 , . . . , π§π+1 ) Theorem 8. Suppose (3) has a prime period-two solution. Then, the period-two solution is locally asymptotically stable. (54) Proof. To investigate the local stability of the two cycles . . . , Φ, Ψ, Φ, Ψ, . . . (49) where we first vectorize (3) by introducing the following change of variables: π1 (π§1 , π§2 , . . . , π§π+1 ) = π§3 , π§1 (π) = π¦π−π , π2 (π§1 , π§2 , . . . , π§π+1 ) = π§4 , π§2 (π) = π¦π−π+1 , .. . π§3 (π) = π¦π−π+2 , .. . ππ (π§1 , π§2 , . . . , π§π+1 ) = (50) ππ+1 (π§1 , π§2 , . . . , π§π+1 ) π§π (π) = π¦π−1 , = π§π+1 (π) = π¦π , and write (3) in the equivalent form: π§1 (π) π§1 (π + 1) π§2 (π + 1) π§2 (π) . .. ) = π ( ... ) , ( π§π (π + 1) π§π (π) π§π+1 (π + 1) π§π+1 (π) π + ππ§π+1 + π§1 π§ + ππ§π+1 + π§1 π = 0, 1, 2, . . . , (51) π + π ((π + ππ§π+1 + π§1 ) / (π§ + ππ§π+1 + π§1 )) + π§2 . π§ + π ((π + ππ§π+1 + π§1 ) / (π§ + ππ§π+1 + π§1 )) + π§2 (55) The prime period-two solution of (3) is asymptotically stable if the eigenvalues of the Jacobian matrix π½π2 , evaluated at Φ Ψ ( ... ) lie inside the unit disk. Φ Ψ Abstract and Applied Analysis 5 We have 0 0 0 0 0 0 ( ( Φ . . ( ( Ψ . . ( ( . 0 0 π½π2 ( .. ) = ( ( 1−Φ ( 0 Φ ( π§ + πΨ + Φ ( Ψ ( (π − πΨ) (1 − Φ) 1−Ψ (π§ + πΨ + Φ) (π§ + πΦ + Ψ) π§ + πΦ + Ψ ( 1 0 0 . . 0 0 1 0 . . 0 . . 1 . . . . . . . . . . . . . . . 0 0 0 ) ) . ) ) . ) ) 1 ). π − πΦ ) ) 0 0 . . . ) π§ + πΨ + Φ ) ) (π − πΦ) (π − πΨ) 0 0 . . . (π§ + πΨ + Φ) (π§ + πΦ + Ψ) ) (56) Now let π(π) = det(π½π2 − ππΌ) be the characteristic polynomial of π½π2 . Then, by the Laplace expansion in the (π + 1) row, σ΅¨σ΅¨ σ΅¨σ΅¨ −π 0 1 0 ⋅⋅⋅ ⋅⋅⋅ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 −π 0 1 ⋅⋅⋅ ⋅⋅⋅ 0 σ΅¨σ΅¨ σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 −π 0 1 ⋅ ⋅ ⋅ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ . . . . . . σ΅¨σ΅¨ .. .. .. .. .. d .. σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 0 0 −π ⋅ ⋅ ⋅ 1 π (π) = σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π − πΦ σ΅¨σ΅¨ 1 − Φ σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 0 ⋅ ⋅ ⋅ −π σ΅¨σ΅¨ σ΅¨σ΅¨ π§ + πΨ + Φ π§ + πΨ + Φ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ (π − πΨ) − Φ) (π − πΨ) (π − πΦ) (1 1 − Ψ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ (π§ + πΨ + Φ) (π§ + πΦ + Ψ) π§ + πΦ + Ψ 0 0 0 0 (π§ + πΨ + Φ) (π§ + πΦ + Ψ) − πσ΅¨σ΅¨σ΅¨ σ΅¨ σ΅¨ σ΅¨σ΅¨ 0 1 0 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ σ΅¨σ΅¨σ΅¨ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨−π 0 1 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ σ΅¨σ΅¨ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 −π 0 1 ⋅ ⋅ ⋅ σ΅¨σ΅¨ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ . (π − πΨ) (1 − Φ) σ΅¨σ΅¨ . . . . σ΅¨ .. .. .. d .. = − σ΅¨σ΅¨ σ΅¨σ΅¨ .. σ΅¨σ΅¨ (π§ + πΨ + Φ) (π§ + πΦ + Ψ) σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 0 −π ⋅ ⋅ ⋅ 1 σ΅¨ σ΅¨σ΅¨ π − πΦ σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ 0 0 0 ⋅ ⋅ ⋅ −π σ΅¨σ΅¨βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ π§ + πΨ + Φ σ΅¨σ΅¨σ΅¨ π΄π σ΅¨σ΅¨ σ΅¨σ΅¨ −π 1 0 ⋅⋅⋅ ⋅⋅⋅ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 1 ⋅⋅⋅ ⋅⋅⋅ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 −π 0 1 ⋅ ⋅ ⋅ 0 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 1 − Ψ σ΅¨σ΅¨σ΅¨ . . . . . σ΅¨σ΅¨ .. .. .. .. d .. + σ΅¨σ΅¨ σ΅¨σ΅¨ π§ + πΦ + Ψ σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 0 −π ⋅ ⋅ ⋅ 1 σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ 1 − Φ π − πΦ σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π§ + πΨ + Φ 0 0 ⋅ ⋅ ⋅ −π π§ + πΨ + Φ σ΅¨σ΅¨σ΅¨ σ΅¨βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββσ΅¨ π΅π σ΅¨σ΅¨ −π 0 1 0 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 0 σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ 0 −π 0 1 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 0 σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 −π 0 1 ⋅ ⋅ ⋅ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ (π − πΨ) (π − πΦ) . . . . . .. .. .. .. .. d 1 σ΅¨σ΅¨σ΅¨σ΅¨ . +( − π) σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ (π§ + πΨ + Φ) (π§ + πΦ + Ψ) σ΅¨σ΅¨ 0 0 0 0 −π ⋅ ⋅ ⋅ 0 σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 1 − Φ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ 0 0 0 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ −π σ΅¨σ΅¨ π§ + πΨ + Φ σ΅¨σ΅¨ σ΅¨βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ πΆπ (57) 6 Abstract and Applied Analysis However; by Lemma 5, Corollary 6, and the fact that π is odd, π΄π = Assume that 0 < Φ < Ψ. Then, by (39), π − πΦ π − πΦ π·π−1 + ππ·π−2 = ( ) π(π−1)/2 , π§ + πΨ + Φ π§ + πΨ + Φ π΅π = −ππ΄ π−1 + ( = −π [ 1−Φ ) π§ + πΨ + Φ (π/Φ) + π (Ψ/Φ) + 1 1 > . π§ + πΨ + Φ π§ + πΨ + Φ π§ + πΨ + Φ > 1. (63) Similarly, we observe that 1−Φ ), π§ + πΨ + Φ πΆπ = (−π)π + ( π§ + πΦ + Ψ > 1. (64) Furthermore, since π + π§ < 1, (43) implies the sum of Φ, Ψ is less than 1 and, a fortiori, each is less than 1. Indeed, we have 1−Φ ) π·π−1 π§ + πΨ + Φ 1 0 < Φ < min {Ψ, } < 1. 2 1−Φ = −π + ( ) π(π−1)/2 . π§ + πΨ + Φ π (58) 0 < π, π < 1. (π − πΨ) (1 − Φ) π (π) = − (π§ + πΨ + Φ) (π§ + πΦ + Ψ) π − πΦ ) π(π−1)/2 π§ + πΨ + Φ +( 1−Ψ 1−Φ ) [−π(π+1)/2 + ( )] π§ + πΦ + Ψ π§ + πΨ + Φ +( (π − πΨ) (π − πΦ) − π) (π§ + πΨ + Φ) (π§ + πΦ + Ψ) −( (Φ + Ψ) = (1 − π§ − π) > 0, ΦΨ = π (1 − π§ − π) + π π−1 (67) and the fact that π > 1, (68) π > 0, (69) π + πΏ < 1 + π. (70) we have to establish 1−Φ ) π(π−1)/2 ] π§ + πΨ + Φ (π − πΨ) (π − πΦ) ππ (π§ + πΨ + Φ) (π§ + πΦ + Ψ) First, we will establish inequality (69). To this end, observe that inequality (69) is equivalent to 1−Ψ 1−Φ + ) π(π+1)/2 π§ + πΦ + Ψ π§ + πΨ + Φ (π − πΦ) (π − πΨ) > 0, (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (1 − Ψ) (1 − Φ) + . (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (59) Hence, the characteristic polynomial is given by π (π) = ππ+1 − πππ − πΏπ(π+1)/2 + π = 0, (66) In addition, with understanding that ×( = ππ+1 − (65) With that in mind, it is clear that Therefore, × [−ππ + ( (62) Hence, π − πΦ 1−Φ π· + ππ·π−3 ] + ( ) π§ + πΨ + Φ π−2 π§ + πΨ + Φ = −π(π+1)/2 + ( 1= (60) (71) which is true if and only if π2 − ππ (Φ + Ψ) + π2 ΦΨ > 0, (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (72) which is true if and only if where π= (π − πΦ) (π − πΨ) , (π§ + πΦ + Ψ) (π§ + πΨ + Φ) πΏ= 1−Ψ 1−Φ + , π§ + πΨ + Φ βββββββββββββββββββββ π§ + πΦ + Ψ βββββββββββββββββββββ π π= π (1 − Φ) (1 − Ψ) = ππ. (π§ + πΨ + Φ) (π§ + πΦ + Ψ) π2 −ππ (1−π−π§)+π2 ((π (1−π−π§)+π) / (π−1)) > 0, (73) (π§+πΦ+Ψ) (π§+πΨ+Φ) (61) which is true if and only if π2 (π−1)−ππ (π−1) (1−π−π§)+ππ2 (1−π−π§)+ππ2 > 0, (π−1) (π§+πΦ+Ψ) (π§+πΨ+Φ) (74) Abstract and Applied Analysis 7 which is true if and only if 2 Now observe that the righthand side of (82) is 2 π (π − 1) − ππ (1 − π − π§) [π − 1 − π] + ππ > 0, (π − 1) (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (75) = π§2 + π§ (π + 1) (Ψ + Φ) which is true if and only if π2 (π − 1) + ππ (1 − π − π§) + ππ2 > 0, (π − 1) (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (76) which is clearly satisfied. Next we will establish inequality (70). Observe that inequality (70) is equivalent to (π − πΦ) (π − πΨ) − (1 − Φ) (1 − Ψ) < 1, (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (77) 2 + π(Ψ + Φ)2 + (π − 1) ΨΦ π (1 − π − π§) + π + π(1 − π − π§) + (π − 1) ( ) π−1 π2 − 1 + (π2 − 1) ΦΨ + (1 − ππ) (Φ + Ψ) (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (78) 2 (83) = π§2 + π (π − 1) + (1 − π − π§) × (π§ (π + 1) + π (1 − π − π§) + π (π − 1)) < 1, = π§2 + π (π − 1) + (1 − π − π§) (π − π + π§) which is true if and only if = π (π − 1) − π§ (π − 1) − (π − π) (1 − π − π§) 1−Φ 1−Ψ + π§ + πΨ + Φ π§ + πΦ + Ψ = π (π − 1) + π§ (1 − π) + π (1 − π) + π (1 − π) 2 + (π − 1 + (π − 1) (π + 1) = (π§ − π) (1 − π) + (π − π) (π − 1) × ((π (1 − π − π§) + π) / (π − 1)) (79) + (1 − ππ) (1 − π − π§)) = π§ − π − ππ§ + ππ + π2 − π − ππ + π. The lefthand side of (82) is −1 < 1, πΌπΌ = (1 − Φ) (π§ + πΦ + Ψ) which is true if and only if + (1 − Ψ) (π§ + πΨ + Φ) + π (π + 1) − π§ (π + 1) 1−Φ 1−Ψ + π§ + πΨ + Φ π§ + πΦ + Ψ + + π ((Ψ + Φ)2 − 2ΨΦ) + (1 + π2 ) ΨΦ 2 1−Ψ 1−Φ + π§ + πΨ + Φ π§ + πΦ + Ψ × ((π§ + πΦ + Ψ) (π§ + πΨ + Φ)) = π§2 + π§ (π + 1) (Ψ + Φ) = π§2 + π§ (π + 1) (1 − π − π§) which is true if and only if + + π (Ψ2 + Φ2 ) + (1 + π2 ) ΨΦ = π§2 + π§ (π + 1) (Ψ + Φ) 1−Ψ 1−Φ + π§ + πΨ + Φ π§ + πΦ + Ψ + πΌ = (π§ + πΨ + Φ) (π§ + πΦ + Ψ) 2 π − 1 + π (π + 1) + (1 − π − π§) (π + 1) < 1, (π§ + πΦ + Ψ) (π§ + πΨ + Φ) (80) 1−Φ 1−Ψ + π§ + πΨ + Φ π§ + πΦ + Ψ − 2ΦΨ + π (π + 1) − π§ (π + 1) (81) = 2π§ + (π + 1 − π§) (Φ + Ψ) − π(Ψ + Φ)2 (1 − Φ) (π§ + πΦ + Ψ) + π (π + 1) − π§ (π + 1) < (π§ + πΨ + Φ) (π§ + πΦ + Ψ) . = 2π§ + (π + 1 − π§) (Φ + Ψ) − π [(Ψ + Φ)2 − 2ΦΨ] − 2ΦΨ + π (π + 1) − π§ (π + 1) which is true if and only if + (1 − Ψ) (π§ + πΨ + Φ) − π (Ψ2 + Φ2 ) − 2ΦΨ + π (π + 1) − π§ (π + 1) = 2π§ + (π + 1 − π§) (Φ + Ψ) − π (Ψ2 + Φ2 ) which is true if and only if π (π + 1) − π§ (π + 1) + < 1, (π§ + πΦ + Ψ) (π§ + πΨ + Φ) = 2π§ + π (Φ + Ψ) + (Φ + Ψ) − π§ (Φ + Ψ) + 2 (π − 1) ΦΨ + π (π + 1) − π§ (π + 1) (82) = 2π§ + (π + 1 − π§) (Φ + Ψ) − π(Ψ + Φ)2 + 2 (π − 1) ( π (1 − π − π§) + π ) + π (π + 1) − π§ (π + 1) π−1 8 Abstract and Applied Analysis = 2π§ + 2π + (Φ + Ψ) [1 − π§ + π − π (Ψ + Φ) + 2π] π(1) > 0, we conclude that π(π₯) > 0 for all π₯ ≥ 1 which contradicts inequality (88). The proof is complete. + π (π + 1) − π§ (π + 1) = 2π§ + 2π + (1 − π − π§) (1 − π§ + π − π (1 − π − π§) + 2π) + π (π + 1) − π§ (π + 1) = 2π§ + 2π + (1 − π − π§) (1 − π§ + ππ + ππ§ + 2π) ππ+1 − + π (π + 1) − π§ (π + 1) = 3π + 1 + π − π§ + ππ + ππ + π§π − 2ππ§ 2 2 2 Remark 9. The characteristic equation of the linearized equation at the equilibrium solution is given by π − ππ¦ 1−π¦ ππ − = 0. π§ + (π + 1) π¦ π§ + (π + 1) π¦ (90) (84) Since the magnitude of the constant term is less than 1, the equation has at least one root inside the unit disk. As such, by the Stable Manifold Theorem, there is a manifold of solutions, of dimension bigger than or equal to 1, that converge to the equilibrium solution. Hence, the period-two solution cannot be globally asymptotically stable. (85) 4. Numerical Examples 2 − 2ππ§π + π§ − ππ§ − ππ − 2π − 2ππ§. Hence, inequality (70) is true if and only if 3π + 1 + π − π§ + ππ + ππ + π§π − 2ππ§ − 2ππ§π + π§2 − ππ§2 − ππ2 − 2π2 − 2ππ§ In order to illustrate the results of the previous section and to support our theoretical discussion, we consider several numerical examples generated by MATLAB. < π§ − π − ππ§ + ππ + π2 − π − ππ + π or equivalently 4π < π − ππ − ππ§ − 1 − 3π + π§ − ππ + ππ2 + ππ§π + π + 3π2 − π§π − π§π + ππ§π + ππ§2 + π§ + 3ππ§ − π§2 ⇐⇒ 4π < (1 − π − π§) [π − ππ − ππ§ − 1 − 3π + π§] π¦π+1 = ⇐⇒ 4π < (1 − π − π§) [π (1 − π − π§) − (1 + 3π − π§)] ⇐⇒ π < (1 − π − π§) [π (1 − π − π§) − (1 + 3π − π§)] , 4 Case 1 (k is even). For this case we consider the following example: (86) which is clearly satisfied (condition (25)). Now, by applying Theorem 4 we shall show that the zeros of π in (60) lie in the open unit disk |π| < 1. To do so, suppose to the contrary that π has a zero π such that |π| ≥ 1. Then, by the triangle inequality, 0.0001 + 0.4π¦π + π¦π−2 . 0.5 + 20π¦π + π¦π−2 The dynamics of (91) is shown in Figure 1, no prime periodtwo solution. Case 2 (k is odd). There are two cases to be considered. Subcase 2.1 (π + π§ ≥ 1). For this case we consider the following example: (|π|(π+1)/2 − π) (|π|(π+1)/2 − π) σ΅¨ σ΅¨ ≤ σ΅¨σ΅¨σ΅¨σ΅¨(π(π+1)/2 − π) (π(π+1)/2 − π)σ΅¨σ΅¨σ΅¨σ΅¨ = π|π|π . (87) π (|π|) = |π|π+1 − π|π|π − πΏ|π|(π+1)/2 + π ≤ 0. (88) Thus, However, by the Descartes’ Rule of Signs π has either two or no positive zeros. Furthermore, π (0) = π > 0, √π) < 0, π ( (π+1)/2 (89) π (1) = 1 + π − π − πΏ > 0, and so, by the Intermediate Value Theorem, π(π₯) has two positive zeros in the open interval (0, 1). Moreover, since (91) π¦π+1 = 0.01 + 0.5π¦π + π¦π−3 . 0.7 + 2π¦π + π¦π−3 (92) The dynamics of (92) is shown in Figure 2, no prime periodtwo solution. Subcase 2.2 (π + π§ < 1 and π < ((1 − π − π§)[π(1 − π − π§) − (1 + 3π − π§)]/4)). For this case we consider the following example: π¦π+1 = 0.01 + 0.4π¦π + π¦π−3 . 0.3 + 10π¦π + π¦π−3 (93) The dynamics of (93) is shown in Figure 3; it has prime period-two solution. Abstract and Applied Analysis 9 0.05 0.18 0.045 0.16 0.04 0.14 0.12 0.035 0.1 π¦π π¦π 0.03 0.025 0.06 0.02 0.04 0.015 0.01 0.08 0.02 0 20 40 60 80 100 120 0 0 20 40 60 80 100 120 π π π = 0.4, π = 20, π = 0.0001, π§ = 0.5 The equilibrium point = 0.042968 π = 0.4, π = 10, π = 0.01, π§ = 0.3 The equilibrium point = 0.10839 Figure 1: Dynamics of π¦π+1 = (0.0001 + 0.4π¦π + π¦π−2 )/(0.5 + 20π¦π + π¦π−2 ). Figure 3: Dynamics of π¦π+1 = (0.01+0.4π¦π +π¦π−3 )/(0.3+10π¦π +π¦π−3 ). afford the ELAS property; that is, the existence of a periodic solution implies its local asymptotic stability. 0.35 0.3 Acknowledgment 0.25 The authors are very grateful to the anonymous referees for carefully reading the paper and for their comments and valuable suggestions that lead to an improvement in the paper. π¦π 0.2 0.15 0.1 References 0.05 0 0 20 40 60 80 100 120 π π = 0.5, π = 2, π = 0.01, π§ = 0.7 The equilibrium point = 0.27863 Figure 2: Dynamics of π¦π+1 = (0.01+0.5π¦π +π¦π−3 )/(0.7+2π¦π +π¦π−3 ). 5. Conclusion In this paper, we showed that the period-two solution of the higher order nonlinear rational difference equation π₯π+1 = πΌ + π½π₯π + πΎπ₯π−π , π΄ + π΅π₯π + πΆπ₯π−π π = 0, 1, 2, . . . , (94) where the parameters πΌ, π½, πΎ, π΄, π΅, πΆ are positive real numbers and the initial conditions π₯−π , . . . , π₯−1 , π₯0 are nonnegative real numbers, π ∈ {1, 2, . . .}, is locally asymptotically stable if it exists. We consider the aforementioned result as a step forward in investigating bigger classes of difference equations which [1] M. Dehghan, M. J. Douraki, and M. Razzaghi, “Global stability of a higher order rational recursive sequence,” Applied Mathematics and Computation, vol. 179, no. 1, pp. 161–174, 2006. [2] M. Dehghan and R. Mazrooei-Sebdani, “The characteristics of a higher-order rational difference equation,” Applied Mathematics and Computation, vol. 182, no. 1, pp. 521–528, 2006. [3] M. Dehghan and R. Mazrooei-Sebdani, “Dynamics of a higherorder rational difference equation,” Applied Mathematics and Computation, vol. 178, no. 2, pp. 345–354, 2006. [4] M. Dehghan and N. Rastegar, “On the global behavior of a high-order rational difference equation,” Computer Physics Communications, vol. 180, no. 6, pp. 873–878, 2009. [5] E. M. E. Zayed, “Dynamics of the rational difference equation π₯π+1 = (ππ₯π + ππ₯π−π + ππ₯π + ππ₯π−π )/(π + ππ₯π π₯π−π ),” Communications on Applied Nonlinear Analysis, vol. 18, no. 4, pp. 39–56, 2011. [6] E. M. E. Zayed and M. A. El-Moneam, “On the rational recursive sequence π₯π+1 = ππ₯π + (π½π₯π + πΎπ₯π−π )/(ππ₯π π₯π+π ),” Communications on Applied Nonlinear Analysis, vol. 16, no. 3, pp. 91–106, 2009. [7] E. M. E. Zayed and M. A. El-Moneam, “On the rational recursive sequence π₯π+1 = (ππ₯π + ππ₯π−π + π½π₯π + πΎπ₯π−π )/(πΆπ₯π−π + ππ₯π−π ),” Acta Applicandae Mathematicae, vol. 111, no. 3, pp. 287– 301, 2010. 10 [8] Y. S. Huang and P. M. Knopf, “Boundedness of positive solutions of second-order rational difference equations,” Journal of Difference Equations and Applications, vol. 10, no. 11, pp. 935– 940, 2004. [9] Y. S. Huang and P. M. Knopf, “Boundedness and some convergence properties of the difference equation π₯π+1 = (πΎπ₯π−1 + πΏπ₯π−2 )/(π΅π₯π + π·π₯π2 ),” Journal of Difference Equations and Applications, vol. 18, no. 1, pp. 27–55, 2012. [10] R. Karatas, “Global behavior of a higher order difference equation,” Computers & Mathematics with Applications, vol. 60, no. 3, pp. 830–839, 2010. [11] R. Karatas and A. GelisΜ§ken, “Qualitative behavior of a rational difference equation,” Ars Combinatoria, vol. 100, pp. 321–326, 2011. [12] V. L. KocicΜ and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, vol. 256, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993. [13] S. N. Elaydi, An Introduction to Difference Equations, Springer, New York, NY, USA, 2nd edition, 1999. [14] R. P. Agarwal, Difference Equations and Inequalities: Theory, Methods, and Applications, vol. 228, Marcel Dekker, New York, NY, USA, 2nd edition, 2000. [15] M. R. S. KulenovicΜ and G. Ladas, Dynamics of second-Order Rational Difference Equations with Open Problem and Conjectures, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2002. [16] E. Camouzis and G. Ladas, Dynamics of Third-Order Rational Difference Equations with Open Problem and Conjectures, vol. 5, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2008. [17] R. Abu-Saris, C. CΜ§inar, and I. YalcΜ§inkaya, “On the asymptotic stability of π₯π+1 = (π + π₯π π₯π−π )/(π₯π + π₯π−π ),” Computers & Mathematics with Applications, vol. 56, no. 5, pp. 1172–1175, 2008. [18] K. S. Berenhaut and S. StevicΜ, “The global attractivity of a higher order rational difference equation,” Journal of Mathematical Analysis and Applications, vol. 326, no. 2, pp. 940–944, 2007. [19] Y.-H. Su and W.-T. Li, “Global attractivity of a higher order nonlinear difference equation,” Journal of Difference Equations and Applications, vol. 11, no. 10, pp. 947–958, 2005. [20] T. Sun and H. Xi, “Global asymptotic stability of a higher order rational difference equation,” Journal of Mathematical Analysis and Applications, vol. 330, no. 1, pp. 462–466, 2007. [21] Y. Wang, “On the dynamics of π₯π+1 = (π½π₯π + πΎπ₯π−π )/(ππ₯π + πΆπ₯π−π + πΌ),” Journal of Difference Equations and Applications, vol. 15, no. 10, pp. 949–961, 2009. [22] H. Xi and T. Sun, “Global behavior of a higher-order rational difference equation,” Advances in Difference Equations, Article ID 27637, 7 pages, 2006. [23] X.-X. Yan, W.-T. Li, and Z. Zhao, “Global asymptotic stability for a higher order nonlinear rational difference equations,” Applied Mathematics and Computation, vol. 182, no. 2, pp. 1819–1831, 2006. [24] Y. Yang and F. B. Lv, “Dynamics of a higher order rational difference equation,” Advanced Materials Research, vol. 216, pp. 50–55, 2011. [25] S. Atawna, R. Abu-Saris, and I. Hashim, “Local stability of period two cycles of second order rational difference equation,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 969813, 11 pages, 2012. [26] W. W. Hager, Applied Numerical Linear Algebra, Prentice-Hall International Editions, 1988. Abstract and Applied Analysis Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014