Research Article | Open Access

Volume 2009 |Article ID 608976 | https://doi.org/10.1155/2009/608976

Fangkuan Sun, Xiaofan Yang, Chunming Zhang, "On the Recursive Sequence ", Discrete Dynamics in Nature and Society, vol. 2009, Article ID 608976, 8 pages, 2009. https://doi.org/10.1155/2009/608976

# On the Recursive Sequence

Academic Editor: Guang Zhang
Received15 Dec 2008
Accepted07 May 2009
Published01 Jul 2009

#### Abstract

This paper studies the dynamic behavior of the positive solutions to the difference equation , , where , and are positive real numbers, and the initial conditions are arbitrary positive numbers. We establish some results regarding the stability and oscillation character of this equation for .

#### 1. Introduction

In recent years, there has been intense interest in the dynamic behavior of the positive solutions to a class of difference equations of the form where and are positive real numbers. Now, let us make a brief review on the advances in this class of difference equations.

In 1999, Amleh et al.  studied the second-order rational difference equation

Later, Berenhaut and Stević , Stević , and El-Owaidy et al.  extended this work to the following more general second-order difference equation:

On the other hand, DeVault et al.  investigated the following higher-order version of (1.2):

By combining (1.3) and (1.4), Berenhaut and Stević  examined a larger class of difference equations, which are of the form

Very recently, Berenhaut et al.  studied the following generalization of (1.5):

For some related work, the interested reader is referred to [1, 3, 819].

Inspired by the previous work and by the work owing to Stević , this paper studies the behavior of the recursive equation We establish some interesting results regarding the stability and oscillation character of this equation for .

#### 2. Stability Character

In this section we investigate the stability character of the positive solutions to (1.7).

A point is an equilibrium point of (1.7) if and only if it is a root for the function that is,

Lemma 2.1. Let , then (1.7) has a unique equilibrium point .

Proof
Case 1. . Then .Case 2. . Then defined by (2.1) is decreasing on and increasing on . Since and , then has a unique zero .Case 3. . Since is increasing on and , then has a unique zero .

Lemma 2.2. Let . Assume that is the equilibrium point of (1.7). If , then is locally asymptotically stable.

Proof. By the Linearized Stability Theorem , is locally asymptotically stable if and only if . A simple calculations shows that where is defined by (2.1). Then since , we have and . The proof is complete.

Lemma 2.3. If , then every positive solution to (1.7) is bounded.

Proof. Note that each can be written in the form for some and . From (1.7) and since for every , we have that for every and . Let be the solution to the difference equation
From (2.4) and by induction we see that . Hence it is enough to prove that the sequences are bounded.
Since the function is increasing and concave for , it follows that there is a unique fixed point of the equation and that the function satisfies
Using this fact it is easy to see that if , the sequence is nondecreasing and bounded from above by , and if , it is nonincreasing and bounded from below by . Hence for every , each of the sequences is bounded. The claimed result follows.

Lemma 2.4 (see ). Let be distinct nonnegative integers. Consider the difference equation Suppose satisfies the following conditions. is a continuous function that is nondecreasing in the first argument and is nonincreasing in the second argument.The system has a unique solution .Then is the global attractor of all solutions to (2.7).

Theorem 2.5. Let , then the unique equilibrium to (1.7) is globally asymptotically stable.

Proof. By Lemma 2.3, there must exist positive constants and such that . Let , it is easy to verify that holds. In addition, if then Assume that , then or .
In case , we have , which contradicts with (2.10).
In case , we have , again a contradiction.
Thus . By Lemma 2.4, the required result follows.

Theorem 2.6. Let and . Then every positive solution to (1.7) converges to the unique equilibrium .

Proof. By Lemma 2.3, every positive solution to (1.7) is bounded, which implies that there are finite and . Assume that . Taking the and in (1.7), it follows that From this and , it follows that yielding
Define function . Since we deduce that is increasing, and thus (2.13) cannot hold. Therefore we have , which implies the result.

Theorem 2.7. Let , and . Then every positive solution to (1.7) converges to the unique equilibrium .

Proof. From (2.11) we have Consequently, we obtain . Suppose that , we get where , leading to
This implies that , which is a contradiction. Hence, .

#### 3. Oscillation Character

In this section we investigate the oscillation character of the positive solutions to (1.7).

Theorem 3.1. Let be a positive solution to (1.7). Then either consists of a single semicycle or oscillates about the equilibrium with semicycles having at most terms.

Proof. Suppose that has at least two semicycles. Then there exists such that either or . Assume that . (The argument for the case is similar and is omitted). Now suppose that the positive semicycle beginning with the term has terms. Then and so This completes the proof.

Theorem 3.2. Suppose that is even and let be a solution to (1.7), which has consecutive semicycles of length one, then every semicycle after this point is of length one.

Proof. There exists such that either or We prove the former case. The proof for the latter is similar and is omitted. Now, we have
The result then follows by induction.

Lemma 3.3. Let . Then (1.7) has no nontrivial periodic solutions of (not necessarily prime) period .

Proof. Suppose that is a positive solution to (1.7) satisfying for all , then implies that for all . The proof is complete.

Theorem 3.4. Assume that . Let be a positive solution to (1.7), which consists of a single semicycle, then converges to the equilibrium .

Proof. Suppose (the case for is similar and is omitted) for all , then implying that and so From here it is clear that for there exists such that But then is a periodic solution of (not necessarily prime) period . By Lemma 3.3 the result holds.

#### Acknowledgments

The author is grateful to the anonymous referees for their valuable comments and suggestions. This work was supported by the Natural Science Foundation of China (no. 10771227) and the Project for New Century Excellent Talents of Educational Ministry of China (no. NCET-05-0759).

1. A. M. Amleh, E. A. Grove, G. Ladas, and D. A. Georgiou, “On the recursive sequence ${x}_{n+1}=\alpha +{x}_{n-1}/{x}_{n}$,” Journal of Mathematical Analysis and Applications, vol. 233, no. 2, pp. 790–798, 1999. View at: Publisher Site | Google Scholar | MathSciNet
2. K. S. Berenhaut and S. Stević, “The behaviour of the positive solutions of the difference equation ${x}_{n}=A+{\left({x}_{n-2}/{x}_{n-1}\right)}^{p}$,” Journal of Difference Equations and Applications, vol. 12, no. 9, pp. 909–918, 2006. View at: Publisher Site | Google Scholar | MathSciNet
3. S. Stević, “On the recursive sequence ${x}_{n+1}=\alpha +{x}_{n-1}^{p}/{x}_{n}^{p}$,” Journal of Applied Mathematics & Computing, vol. 18, no. 1-2, pp. 229–234, 2005.
4. H. M. El-Owaidy, A. M. Ahmed, and M. S. Mousa, “On asymptotic behaviour of the difference equation ${x}_{n+1}=\alpha +{x}_{n-1}^{p}/{x}_{n}^{p}$,” Journal of Applied Mathematics & Computing, vol. 12, no. 1-2, pp. 31–37, 2003.
5. R. DeVault, C. Kent, and W. Kosmala, “On the recursive sequence ${x}_{n+1}=p+{x}_{n-k}/{x}_{n}$,” Journal of Difference Equations and Applications, vol. 9, no. 8, pp. 721–730, 2003.
6. K. S. Berenhaut and S. Stević, “A note on positive non-oscillatory solutions of the difference equation ${x}_{n+1}=\alpha +{x}_{n-k}^{p}/{x}_{n}^{p}$,” Journal of Difference Equations and Applications, vol. 12, no. 5, pp. 495–499, 2006. View at: Publisher Site | Google Scholar | MathSciNet
7. K. S. Berenhaut, J. D. Foley, and S. Stević, “The global attractivity of the rational difference equation ${y}_{n}=A+{\left({y}_{n-m}/{y}_{n-k}\right)}^{p}$,” Proceedings of the American Mathematical Society, vol. 136, no. 1, pp. 103–110, 2008. View at: Publisher Site | Google Scholar | MathSciNet
8. R. M. Abu-Saris and R. DeVault, “Global stability of ${y}_{n+1}=A+{y}_{n}/{y}_{n-k}$,” Applied Mathematics Letters, vol. 16, no. 2, pp. 173–178, 2003. View at: Google Scholar | MathSciNet
9. R. DeVault, G. Ladas, and S. W. Schultz, “On the recursive sequence ${x}_{n+1}=A/{x}_{n}+1/{x}_{n-1}$,” Proceedings of the American Mathematical Society, vol. 126, no. 11, pp. 3257–3261, 1998. View at: Publisher Site | Google Scholar | MathSciNet
10. R. DeVault, W. Kosmala, G. Ladas, and S. W. Schultz, “Global behavior of ${y}_{n+1}=\left(p+{y}_{n-k}\right)/\left(q{y}_{n}+{y}_{n-k}\right)$,” Nonlinear Analysis: Theory, Methods & Applications, vol. 47, no. 7, pp. 4743–4751, 2001. View at: Google Scholar | MathSciNet
11. V. L. Kocić and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, vol. 256 of Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993. View at: MathSciNet
12. M. Saleh and M. Aloqeili, “On the rational difference equation ${y}_{n+1}=A+{y}_{n}/{y}_{n-k}$,” Applied Mathematics and Computation, vol. 177, no. 1, pp. 189–193, 2006. View at: Publisher Site | Google Scholar | MathSciNet
13. S. Stević, “On monotone solutions of some classes of difference equations,” Discrete Dynamics in Nature and Society, vol. 2006, Article ID 53890, 9 pages, 2006.
14. S. Stević, “On the recursive sequence ${x}_{n+1}=A+{x}_{n}^{p}/{x}_{n-1}^{p}$,” Discrete Dynamics in Nature and Society, vol. 2007, Article ID 34517, 9 pages, 2007. View at: Publisher Site | Google Scholar
15. S. Stević, “On the recursive sequence ${x}_{n+1}=A+{x}_{n}^{p}/{x}_{n-1}^{r}$,” Discrete Dynamics in Nature and Society, vol. 2007, Article ID 40963, 9 pages, 2007. View at: Publisher Site | Google Scholar | MathSciNet
16. F. Sun, “On the asymptotic behavior of a difference equation with maximum,” Discrete Dynamics in Nature and Society, vol. 2008, Article ID 243291, 6 pages, 2008.
17. T. Sun and H. Xi, “Global behavior of the nonlinear difference equation ${x}_{n+1}=f\left({x}_{n-s},{x}_{n-t}\right)$,” Journal of Mathematical Analysis and Applications, vol. 311, no. 2, pp. 760–765, 2005. View at: Publisher Site | Google Scholar | MathSciNet
18. X. Yang, Y. Yang, and J. Luo, “On the difference equation ${x}_{n}=\left(p+{x}_{n-s}\right)/\left(q{x}_{n-t}+{x}_{n-s}\right)$,” Applied Mathematics and Computation, vol. 189, no. 1, pp. 918–926, 2007. View at: Publisher Site | Google Scholar | MathSciNet
19. Y. Yang and X. Yang, “On the difference equation ${x}_{n}=\left(p{x}_{n-s}+{x}_{n-t}\right)/\left(q{x}_{n-s}+{x}_{n-t}\right)$,” Applied Mathematics and Computation, vol. 203, no. 2, pp. 903–907, 2008. View at: Publisher Site | Google Scholar | MathSciNet