Discrete Dynamics in Nature and Society

Volume 2009 (2009), Article ID 608976, 8 pages

http://dx.doi.org/10.1155/2009/608976

## On the Recursive Sequence

College of Computer Science, Chongqing University, Chongqing 400044, China

Received 15 December 2008; Accepted 7 May 2009

Academic Editor: Guang Zhang

Copyright © 2009 Fangkuan Sun 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.

#### 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. [1] studied the second-order rational difference equation

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

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

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

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

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

Inspired by the previous work and by the work owing to Stević [15], 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 [11],
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 [18]). *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).

#### References

- 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 · View at Google Scholar · View at MathSciNet - K. S. Berenhaut and S. Stević, “The behaviour of the positive solutions of the difference equation ${x}_{n}=A+{({x}_{n-2}/{x}_{n-1})}^{p}$,”
*Journal of Difference Equations and Applications*, vol. 12, no. 9, pp. 909–918, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - 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. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at Google Scholar · View at MathSciNet - K. S. Berenhaut, J. D. Foley, and S. Stević, “The global attractivity of the rational difference equation ${y}_{n}=A+{({y}_{n-m}/{y}_{n-k})}^{p}$,”
*Proceedings of the American Mathematical Society*, vol. 136, no. 1, pp. 103–110, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - 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 · View at MathSciNet - 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 · View at Google Scholar · View at MathSciNet - R. DeVault, W. Kosmala, G. Ladas, and S. W. Schultz, “Global behavior of ${y}_{n+1}=(p+{y}_{n-k})/(q{y}_{n}+{y}_{n-k})$,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 47, no. 7, pp. 4743–4751, 2001. View at Google Scholar · View at MathSciNet - 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 - 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 · View at Google Scholar · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at Google Scholar - 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 · View at Google Scholar · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Sun and H. Xi, “Global behavior of the nonlinear difference equation ${x}_{n+1}=f({x}_{n-s},{x}_{n-t})$,”
*Journal of Mathematical Analysis and Applications*, vol. 311, no. 2, pp. 760–765, 2005. View at Publisher · View at Google Scholar · View at MathSciNet - X. Yang, Y. Yang, and J. Luo, “On the difference equation ${x}_{n}=(p+{x}_{n-s})/(q{x}_{n-t}+{x}_{n-s})$,”
*Applied Mathematics and Computation*, vol. 189, no. 1, pp. 918–926, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Yang and X. Yang, “On the difference equation ${x}_{n}=(p{x}_{n-s}+{x}_{n-t})/(q{x}_{n-s}+{x}_{n-t})$,”
*Applied Mathematics and Computation*, vol. 203, no. 2, pp. 903–907, 2008. View at Publisher · View at Google Scholar · View at MathSciNet