Hindawi Publishing Corporation Advances in Difference Equations Volume 2008, Article ID 143723, 6 pages doi:10.1155/2008/143723 ResearchArticleThePeriodicCharacteroftheDifferenceEquation x n1 fx n−l1 ,x n−2k1 Taixiang Sun 1 and Hongjian Xi 2 1 Department of Mathematics, College of Mathematics and Information Science, Guangxi University, Nanning 530004, Guangxi, China 2 Department of Mathematics, Guangxi College of Finance and Economics, Nanning 530003, Guangxi, China Correspondence should be addressed to Taixiang Sun, stx1963@163.com Received 3 February 2007; Revised 18 September 2007; Accepted 27 November 2007 Recommended by H. Bevan Thompson In this paper, we consider the nonlinear difference equation x n1 fx n−l1 ,x n−2k1 , n 0, 1, , where k, l ∈{1, 2, } with 2k / l and gcd 2k, l1 and the initial values x −α ,x −α 1, ,x 0 ∈ 0, ∞ with α max{l − 1, 2k − 1}. We give sufficient conditions under which every positive solu- tion of this equation converges to a not necessarily prime 2-periodic solution, which extends and includes corresponding results obtained in the recent literature. Copyright q 2008 T. Sun and H. Xi. 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. 1. Introduction In this paper, we consider a nonlinear difference equation and deal with the question of whether every positive solution of this equation converges to a periodic solution. Recently, there has been a lot of interest in studying the global attractivity, the boundedness character, and theperiodic nature of nonlinear difference equations e.g., see 1, 2.In3, Grove et al. considered the following difference equation: x n1 p x n−2m1 1 x n−2r ,n 0, 1, , E1 where p ∈ 0, ∞ and the initial values x −α ,x −α1 , ,x 0 ∈ 0, ∞ with α max {2r, 2m 1}, and proved that every positive solution of E1 converges to not necessarily prime a2s- periodic solution with s gcd m 1, 2r 1.In4, Stevi ´ c investigated theperiodiccharacterof positive solutions ofthe following difference equation: x n1 1 x n−2s1 x n−2r1s1 ,n 0, 1, , E2 2 Advances in Difference Equations and proved that every positive solution of E2 converges to not necessarily prime a2s- periodic solution, which generalized the main result of 5. Furthermore, Stevi ´ c 6 studied theperiodiccharacterof positive solutions ofthe following difference equation: x n 1 k i1 α i x n−p i m j1 β j x n−q j ,n 1, 2, , E3 where α i , i ∈{1, ,k},andβ j , j ∈{1, ,m}, are positive numbers such that Σ k i1 α i Σ m j1 β j 1, and p i ,i∈{1, ,k},andq j ,j∈{1, ,m}, are natural n umbers such that p 1 <p 2 < ··· <p k and q 1 <q 2 < ··· <q m . For closely related results, see 7, 8. In this paper, we consider the more general equation x n1 f x n−l1 ,x n−2k1 ,n 0, 1, 2, , 1.1 where k,l ∈{1, 2, } with 2k / l and gcd 2k, l1, the initial values x −α ,x −α1 , ,x 0 ∈ 0, ∞ with α max {l − 1, 2k − 1},andf satisfies the following hypotheses: H 1 f ∈ CE×E, 0,∞ with ainf u,v∈E×E fu, v∈E,whereE ∈{0,∞, 0,∞}; H 2 fu, v is decreasing in u and increasing in v; H 3 there exists a decreasing function g ∈ Ca, ∞, a, ∞ such that i for any x>a, ggx x and x fgx,x; ii lim x→a gx∞ and lim x→∞ gxa. The main result of this paper is the following theorem. Theorem 1.1. Every positive solution of 1.1 converges to (not necessarily prime) a 2-periodic solu- tion. 2. Proof of Theorem 1.1 In this section, we will prove Theorem 1.1. Without loss of generality, we may assume l<2k the proof for the case l>2k is similar ;then {l, 2l, 3l, ,2kl} {0, 1, 2, ,2k − 1} mod 2k. 2.1 Lemma 2.1. Let {x n } ∞ n−α be a positive solution of 1.1. Then there exists a real number L ∈ a, ∞ such that L ≤ x n ≤ gL for all n ≥ 1. Furthermore, let lim sup x n M and lim inf x n m, then M gm and m gM. Proof. By H 1 and H 2 ,wehave x i f x i−l ,x i−2k >f x i−l 1,x i−2k ≥ a for every 1 ≤ i ≤ α 1. 2.2 Then there exists L ∈ a, ∞ with L<gL such that L ≤ x i ≤ gL for every 1 ≤ i ≤ α 1. 2.3 T. Sun and H. Xi 3 It follows from 2.3 and H 3 that gLf L, gL ≥ x α2 f x α2−l ,x α2−2k ≥ f gL,L L. 2.4 Inductively, it follows that L ≤ x n ≤ gL for all n ≥ 1. Let lim sup x n M and lim inf x n m, then there exist A, B, C, D ∈ m, M and seque- nces t n ≥ 1andr n ≥ 1 such that lim n→∞ x t n M, lim n→∞ x t n −l A, lim n→∞ x t n −2k B, lim n→∞ x r n m, lim n→∞ x r n −l C, lim n→∞ x r n −2k D. 2.5 Thus by 1.1, H 2 ,andH 3 ,wehave f gM,M M fA, B ≤ fm, M, f gm,m m fC, D ≥ fM, m, 2.6 from which it follows that gM ≥ m and gm ≤ M. Since g is decreasing, it follows that m g gm ≥ gM,M g gM ≤ gm. 2.7 Therefore, M g m and m gM. The proof is complete. Proof of Theorem 1.1. Let {x n } ∞ n−α be a positive solution of 1.1 with the initial conditions x 0 ,x −1 , ,x −α ∈ 0, ∞. It follows from Lemma 2.1 that a<lim inf x n m gM ≤ lim sup x n M<∞. 2.8 Obviously, every sequence L, gL,L,gL, 2.9 is a 2-periodic not necessarily prime solution of 1.1,whereL ∈{M, m}. By taking a subsequence, we may assume that there exists a sequence t n ≥ 2kl 1 such that lim n→∞ x t n M, lim n→∞ x t n −j A j ∈ gM,M for j ∈{1, 2, ,2kl}. 2.10 According to 1.1, 2.10,andH 3 ,weobtain f gM,M M f A l ,A 2k ≤ f gM,M , 2.11 from which it follows that A l gM,A 2k M. 2.12 4 Advances in Difference Equations In a similar fashion, we can obtain f gM,M M A 2k f A 2kl ,A 4k ≤ f gM,M , f M, gM gMA l f A 2l ,A l2k ≥ f M, gM , 2.13 from which it follows that A 4k A 2k A 2l M, A 2kl A l gM. 2.14 Inductively, we have A j2k M for j ∈{1, 2, ,l}, A jl gM for j ∈{1, 3, ,2k − 1}, A jl M for j ∈{0, 2, ,2k}, A jlr2k A jl for j ∈{0, 1, ,2k},r∈{0, 1, ,l},jl r2k ≤ 2kl. 2.15 For every r ∈{0, 1, 2, 3, ,2k − 1}, there exist j r ∈{0, 1, 2, 3, ,2k − 1} and p r ∈ {0, 1, ,l− 1} such that j r l 2kp r r, from which, with 2.15, it follows that A 2kl−1r A j r l M for r ∈{0, 2, 4, ,2k − 2}, gM for r ∈{1, 3, ,2k − 1}, 2.16 lim n→∞ x t n −2kl−1−j M for j ∈{0, 2, ,2k}, lim n→∞ x t n −2kl−1−j gM for j ∈{1, 3, ,2k − 1}. 2.17 In view of 2.17, for any 0 <ε<M− a, there exists some t β ≥ 4kl such that M − ε<x t β −2kl−1−j <M ε if j ∈{0, 2, ,2k}, gM ε <x t β −2kl−1−j <gM − ε if j ∈{1, 3, ,2k − 1}. 2.18 By 1.1 and 2.18,wehave x t β −2kl−11 f x t β −2kl−1−l1 ,x t β −2kl1 <f M − ε, gM − ε gM − ε. 2.19 Also 1.1, 2.18,and2.19 imply that x t β −2kl−12 f x t β −2kl−1−l2 ,x t β −2kl2 >f gM − ε,M− ε M − ε. 2.20 Inductively, it follows that x t β −2kl−12n >M− ε ∀n ≥ 0, x t β −2kl−12n1 <gM − ε ∀n ≥ 0. 2.21 T. Sun and H. Xi 5 Therefore, lim n→∞ x 2n M, lim n→∞ x 2n1 gM 2.22 or lim n→∞ x 2n gM, lim n→∞ x 2n1 M. 2.23 The proof is complete. Remark 2.2. 1 The proofs of Lemma 2.1 and Theorem 1.1 draw on ideas from the proofs of Theorems 2.1 and 2.2 in 6. 2 Consider the nonlinear difference equation x n1 f x n−ls1 ,x n−2ks1 ,n 0, 1, , 2.24 where s, k, l ∈{1, 2, } with 2k / l and gcd 2k, l1, the initial values x −α ,x −α1 , ,x 0 ∈ 0, ∞ with α max {ls − 1, 2ks − 1},andf satisfies H 1 –H 3 .Lety i n1 x nsi1 for every 0 ≤ i ≤ s − 1andn 0, 1, 2, ,then2.24 reduces to theequation y i n1 f y i n−l1 ,y i n−2k1 , 0 ≤ i ≤ s − 1,n 0, 1, 2, 2.25 It follows from Theorem 1.1 that for any 0 ≤ i ≤ s − 1, every positive solution oftheequation y i n1 fy i n−l1 ,y i n−2k1 converges to not necessarily prime a 2-periodic solution. Thus every positive solution of 2.24 converges to not necessarily prime a2s-periodic solution. 3. Examples To illustrate the applicability of Theorem 1.1, we present the following examples. Example 3.1. Consider theequation x n1 p m1 i1 x i n−2k1 m i0 x i n−2k1 x n−l1 ,n 0, 1, , 3.1 where m, k, l ∈{1, 2, } with 2k / l and gcd 2k, l1 and the initial values x −α ,x −α1 , , x 0 ∈ 0, ∞ with α max {l − 1, 2k − 1},0<p≤ 1. Let E 0, ∞ and fx, y p m1 i1 y i m i0 y i x x ≥ 0,y≥ 0,gx p x x>0. 3.2 6 Advances in Difference Equations It is easy to verify that H 1 –H 3 hold for 3.1. It follows from Theorem 1.1 that every solution of 3.1 converges to not necessarily prime a 2-periodic solution. Example 3.2. Consider theequation x n1 1 x m1 n−2k1 m i1 x i n−2k1 x n−l1 ,n 0, 1, , 3.3 where m, k, l ∈{1, 2, } with 2k / l and gcd 2k, l1 and the initial values x −α ,x −α1 , , x 0 ∈ 0, ∞ with α max {l − 1, 2k − 1}.LetE 0, ∞ and fx, y1 y m1 m i1 y i x x>0,y>0,gx x x − 1 x>1. 3.4 It is easy to verify that H 1 –H 3 hold for 3.3. It follows from Theorem 1.1 that every solution of 3.3 converges to not necessarily prime a 2-periodic solution. Acknowledgments The authors would like to thank the referees for some valuable and constructive comments and suggestions. The project is supported by NNSF of China 10461001 and NSF of Guangxi 0640205, 0728002. References 1 S. Stevo, “The recursive sequence x n1 gx n ,x n−1 /Ax n ,” Applied Mathematics Letters, vol. 15, no. 3, pp. 305–308, 2002. 2 R. DeVault, C. Kent, and W. Kosmala, “On the recursive sequence x n1 p x n−k /x n ,” Journal of Differ- ence Equations and Applications, vol. 9, no. 8, pp. 721–730, 2003. 3 E. A. Grove, G. Ladas, and M. Predescu, “On theperiodiccharacterofthe difference equation x n1 px n−2l x n−2k1 /1 x n−2l ,” Mathematical Sciences Research Journal, vol. 6, no. 5, pp. 221–233, 2002. 4 S. Stevi ´ c, “A note on periodiccharacterof a difference equation,” Journal of Difference Equations and Applications, vol. 10, no. 10, pp. 929–932, 2004. 5 W. T. Patula and H. D. Voulov, “On the oscillation and periodiccharacterof a third order rational difference equation,” Proceedings ofthe American Mathematical Society, vol. 131, no. 3, pp. 905–909, 2003. 6 S. Stevi ´ c, “On the recursive sequence x n 1 k i1 α i x n−p i / m j1 β j x n−q j ,” Discrete Dynamics in Nature and Society, vol. 2007, Article ID 39404, 7 pages, 2007. 7 T. Sun and H. Xi, “The periodiccharacterof positive solutions ofthe difference equation x n1 fx n ,x n−k ,” Computers & Mathematics with Applications, vol. 51, no. 9-10, pp. 1431–1436, 2006. 8 K. S. Berenhaut, J. D. Foley, and S. Stevi ´ c, “The global attractivity ofthe rational difference equation y n 1 y n−k /y n−m ,” Proceedings ofthe American Mathematical Society, vol. 135, no. 4, pp. 1133–1140, 2007. . Difference Equations Volume 2008, Article ID 14 3723, 6 pages doi :10 .11 55/2008 /14 3723 Research Article The Periodic Character of the Difference Equation x n 1 f x n−l 1 ,x n−2k 1 Taixiang Sun 1 and. lim n→∞ x 2n 1 M. 2.23 The proof is complete. Remark 2.2. 1 The proofs of Lemma 2 .1 and Theorem 1. 1 draw on ideas from the proofs of Theorems 2 .1 and 2.2 in 6. 2 Consider the nonlinear. lim x→∞ gxa. The main result of this paper is the following theorem. Theorem 1. 1. Every positive solution of 1. 1 converges to (not necessarily prime) a 2 -periodic solu- tion. 2. Proof of Theorem 1. 1 In