# Convergence Results on a Second-Order Rational Difference Equation with Quadratic Terms

- D. M. Chan
^{1}, - C. M. Kent
^{1}Email author and - N. L. Ortiz-Robinson
^{1}

**2009**:985161

https://doi.org/10.1155/2009/985161

© D. M. Chan et al. 2009

**Received: **6 March 2009

**Accepted: **20 June 2009

**Published: **19 July 2009

## Abstract

We investigate the global behavior of the second-order difference equation , where initial conditions and all coefficients are positive. We find conditions on under which the even and odd subsequences of a positive solution converge, one to zero and the other to a nonnegative number; as well as conditions where one of the subsequences diverges to infinity and the other either converges to a positive number or diverges to infinity. We also find initial conditions where the solution monotonically converges to zero and where it diverges to infinity.

## Keywords

## 1. Introduction and Preliminaries

- (i)
Let and . Then for each positive solution , one of the subsequences, , , diverges to infinity and the other to a positive number that can be arbitrarily large depending on initial values. Further there, are positive initial values for which the corresponding solution, , increases monotonically to infinity.

- (ii)
Let and . Then for each positive solution , one of the subsequences, , , converges to zero and the other to a nonnegative number. Further, there are positive initial values for which the corresponding solution, , decreases monotonically to zero.

We note that the following results address and solve the first five conjectures posed by Sedaghat in [10].

## 2. Results

Theorem 2.1.

Proof.

Starting with (2.1), let the function be defined as . Note that for , is a decreasing function since . Also note that and . Hence has a unique positive fixed point .

We next compute the expression and simplify, it including canceling the common factor from the numerator and denominator, thereby obtaining the following:

Note that since , and . Thus the numerator of has one and only one sign change. Therefore, by Descartes' rule of signs, the numerator of has exactly one positive root, .

In addition, we see that and so, given that is the only positive root of the numerator of , we have for . Thus, since and is continuous, we must have for . Therefore,

We consider two cases depending on the initial value for (2.1).

Thus, Since is the only positive fixed point of , then we must have and

The argument is similar to that in Case 1 in showing and In both cases, the solution, , of (2.1) is divided into even and odd subsequences, and , where one subsequence converges monotonically to zero and the other to infinity.

We now go back to (1.1) by inferring the behavior of from . To do this we first consider . Without loss of generality, we will assume that and so and .

Next, observe that

Hence, result (i) is true.

Now consider . Then for all , and so for all . Induction then gives us for all . We thus have one of the following:

Thus the result (ii) is true and this completes the proof.

Lemma 2.2.

- (1)
- (2)
- (3)
- (4)

Proof.

where Statements 1 and 2 and the continuity of (Property (P1) hold. Finally, Statement 4 follows immediately from Statement 3 and Property (P4).

In the first three results, we characterize the convergence of the odd and even subsequences of solutions of (1.1).

Theorem 2.3.

Let and in (1.1). Then for each positive solution, , one of the subsequences, , , converges to zero and the other to a nonnegative number.

Proof.

Consider (1.1) with , , and . Then it follows from Lemma 2.2 that for each positive solution of (1.1), , one of the subsequences, , , converges to zero and the other to a nonnegative number.

Theorem 2.4.

Let and in (1.1). Then for each positive solution , one of the subsequences, , , diverges to infinity and the other to a positive number or diverges to infinity.

Proof.

Then , and so it follows from Lemma 2.2 that for each positive solution of (2.16), , one of the subsequences, , , converges to zero and the other to a nonnegative number. Hence, for each positive solution of (1.1), , one of the subsequences, , , diverges to infinity and the other to a positive number or diverges to infinity.

In the following results, we show the existence of monotonic solutions for (1.1). As with Theorem 2.1 we use the substitution

Theorem 2.5.

Let and in (1.1). Then there are positive initial values for which the corresponding solutions, , decrease monotonically to zero.

Proof.

Set Given Descartes' rule of signs, we have that there exists a unique positive equilibrium, , where and Recall that and let for all . Then for all . It follows from induction that for all . Since , , with , decreases monotonically to zero.

Theorem 2.6.

Let and in (1.1). Then there are positive initial values for which the corresponding solution, , increases monotonically to infinity.

Proof.

As in the previous proof, an equilibrium equation for (2.1) satisfies (2.17). Setting we obtain from Descartes' rule of signs, a unique positive equilibrium, , where and Recall that and let for all . Then for all . It follows from induction that for all . Since , , with , increases monotonically to infinity.

## Authors’ Affiliations

## References

- Amleh AM, Camouzis E, Ladas G:
**On second-order rational difference equation—I.***Journal of Difference Equations and Applications*2007,**13**(11):969-1004. 10.1080/10236190701388492MathSciNetView ArticleMATHGoogle Scholar - Amleh AM, Camouzis E, Ladas G:
**On second-order rational difference equation—II.***Journal of Difference Equations and Applications*2008,**14**(2):215-228. 10.1080/10236190701761482MathSciNetView ArticleMATHGoogle Scholar - Huang YS, Knopf PM:
**Boundedness of positive solutions of second-order rational difference equations.***Journal of Difference Equations and Applications*2004,**10**(11):935-940. 10.1080/10236190412331285360MathSciNetView ArticleMATHGoogle Scholar - Kosmala WA, Kulenović MRS, Ladas G, Teixeira CT:
**On the recursive sequence**.*Journal of Mathematical Analysis and Applications*2000,**251**(2):571-586. 10.1006/jmaa.2000.7032MathSciNetView ArticleMATHGoogle Scholar - Kulenović MRS, Ladas G:
*Dynamics of Second Order Rational Difference Equations with Open Problems and Conjectures*. Chapman & Hall/CRC, Boca Raton, Fla, USA; 2002:xii+218.MATHGoogle Scholar - Kulenović MRS, Ladas G, Prokup NR:
**On the recursive sequence**.*Journal of Difference Equations and Applications*2000,**6**(5):563-576. 10.1080/10236190008808246MathSciNetView ArticleMATHGoogle Scholar - Kulenović MRS, Ladas G, Sizer WS:
**On the recursive sequence**.*Mathematical Sciences Research Hot-Line*1998,**2**(5):1-16.MathSciNetMATHGoogle Scholar - Kulenović MRS, Merino O:
**Global attractivity of the equilibrium of**for .*Journal of Difference Equations and Applications*2006,**12**(1):101-108. 10.1080/10236190500410109MathSciNetView ArticleMATHGoogle Scholar - Ladas G:
**On the recursive sequence**.*Journal of Difference Equations and Applications*1995,**1**(3):317-321. 10.1080/10236199508808030MathSciNetView ArticleMATHGoogle Scholar - Sedaghat H:
**Open problems and conjectures.***Journal of Difference Equations and Applications*2008,**14**(8):889-897. 10.1080/10236190802054118MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.