About this Journal Submit a Manuscript Table of Contents 
Discrete Dynamics in Nature and Society
Volume 2012 (2012), Article ID 746738, 20 pages
doi:10.1155/2012/746738
Research Article

Global Attractivity and Periodic Character of Difference Equation of Order Four

M. A. Obaid,1 E. M. Elsayed,1,2 and M. M. El-Dessoky1,2

1Mathematics Department, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
2Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt

Received 14 July 2012; Revised 2 September 2012; Accepted 17 September 2012

Academic Editor: Ibrahim Yalcinkaya

Copyright © 2012 M. A. Obaid 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

We investigate the global convergence result, boundedness, and periodicity of solutions of the recursive sequence , where the parameters , and are positive real numbers and the initial conditions , and are positive real numbers.

1. Introduction

Our goal in this paper is to investigate the global stability character, boundedness, and the periodicity of solutions of the recursive sequence where the parameters and are positive real numbers and the initial conditions , and are positive real numbers.

Recently there has been a lot of interest in studying the global attractivity, the boundedness character and the periodicity nature of nonlinear difference equations, see for example [1–15].

The study of the nonlinear rational difference equations of a higher order is quite challenging and rewarding, and the results about these equations offer prototypes towards the development of the basic theory of the global behavior of nonlinear difference equations of a big order, recently many researchers have investigated the behavior of the solution of difference equations—for example, in [3] Elabbasy et al. investigated the global stability, periodicity character and gave the solution of special case of the following recursive sequence: In [5] Elabbasy and Elsayed investigated the global stability character and boundedness of solutions of the recursive sequence Elsayed [11] investigated the global character of solutions of the nonlinear, fourth-order, rational difference equation Saleh and Aloqeili [16] investigated the difference equation Yang et al. [17] investigated the invariant intervals, the global attractivity of equilibrium points, and the asymptotic behavior of the solutions of the recursive sequence For some related work see [16–26].

Here, we recall some basic definitions and some theorems that we need in the sequel.

Let be some interval of real numbers and let be a continuously differentiable function. Then for every set of initial conditions , the difference equation has a unique solution .

Definition 1.1   (Equilibrium Point). A point is called an equilibrium point of (1.8) if That is, for is a solution of (1.8), or equivalently, is a fixed point of .

Definition 1.2   (Periodicity). A sequence is said to be periodic with period if for all .

Definition 1.3   (Stability). (i) The equilibrium point of (1.8) is locally stable if for every   ,  there exists   such that for all ,   ,   , with we have
(ii) The equilibrium point of (1.8) is locally asymptotically stable if is locally stable solution of (1.8) and there exists , such that for all , with we have
(iii) The equilibrium point of (1.8) is a global attractor if for all we have
(iv) The equilibrium point of (1.8) is globally asymptotically stable if is locally stable, and is also a global attractor of (1.8).
(v) The equilibrium point of (1.8) is unstable if is not locally stable.
The linearized equation of (1.8) about the equilibrium is the linear difference equation

Theorem A (see [18]). Assume that and . Then is a sufficient condition for the asymptotic stability of the difference equation

Theorem B (see [19]). Let be a continuous function, where is a positive integer, and where is an interval of real numbers. Consider the difference equation Suppose that satisfies the following conditions.(1)For each integer with ; the function is weakly monotonic in for fixed .(2)If is a solution of thmhje system then , where for each , we set Then there exists exactly one equilibrium of (1.18), and every solution of (1.18) converges to .
The paper proceeds as follows. In Section 2, we show that when then the equilibrium point of (1.1) is locally asymptotically stable. In Section 3 we prove that the solution is bounded and persists when and the solution of (1.1) is unbounded if . In Section 4 we prove that there exists a period two solution of (1.1). In Section 5 we prove that the equilibrium point of (1.1) is global attractor. Finally we give a numerical examples of some special cases of (1.1) and draw it by using Matlab.

2. Local Stability of the Equilibrium Point of (1.1)

This section deals with study of the local stability character of the equilibrium point of  (1.1).

Equation (1.1) has equilibrium point and is given by If , then the only positive equilibrium point of (1.1) is given by Let be a continuously differentiable function defined by Therefore, it follows that Then we see that Then the linearized equation of (1.1) about is whose characteristic equation is

Theorem 2.1. Assume that Then the positive equilibrium point of (1.1) is locally asymptotically stable.

Proof. It is follows by Theorem A that (2.6) is asymptotically stable if all roots of (2.7) lie in the open disc , that is, if and so Dividing the denominator and numerator by gives Suppose that We consider the following cases.
,   ,  and   . In this case we see from (2.11) that if and only if which is always true.
,   , and   It follows from (2.11) that if and only if which is satisfied by (2.8).
,   ,  and   .  We see from (2.11) that if and only if which is satisfied by (2.8).
,   ,  and   . It follows from (2.11) that if and only if which is satisfied by (2.8).
,   ,  and   .  We see from (2.11) that if and only if which is satisfied by (2.8).
,   , and   .  It follows from (2.11) that if and only if which is satisfied by (2.8).
,   , and   .  We see from (2.11) that if and only if which is satisfied by (2.8).
,   ,  and   .  It follows from (2.11) that if and only if which is always true. The proof is complete.

3. Boundedness of Solutions of (1.1)

Here we study the boundedness nature and persistence of solutions of (1.1).

Theorem 3.1. Every solution of (1.1) is bounded and persists if .

Proof. Let be a solution of (1.1). It follows from (1.1) that Then By using a comparison, we see that Thus the solution is bounded.
Now we wish to show that there exists such that The transformation will reduce (1.1) to the equivalent form or It follows that Thus we obtain From (3.3) and (3.9), we see that Therefore, every solution of (1.1) is bounded and persists.

Theorem 3.2. Every solution of (1.1) is unbounded if .

Proof. Let be a solution of (1.1). Then from (1.1) we see that We see that the right-hand side can be written as follows: and this equation is unstable because , and . Then by using ratio test is unbounded from above.

4. Existence of Periodic Solutions

In this section we study the existence of periodic solutions of (1.1). The following theorem states the necessary and sufficient conditions that this equation has periodic solutions of prime period two.

Theorem 4.1. Equation (1.1) has positive prime period two solutions if and only if (i) .

Proof. First suppose that there exists a prime period two solution of (1.1). We will prove that condition (i) holds.
We see from (1.1) that Then Subtracting (4.3) from (4.4) gives Since , it follows that Again, adding (4.3) and (4.4) yields or It follows by (4.6), (4.8) and the relation that Thus Now it is clear from (4.6) and (4.11) that and are the two distinct roots of the quadratic equation and so or Therefore, inequality (i) holds.
Second, suppose that inequality (i) is true. We will show that (1.1) has a prime period two solution.
Assume that where .
We see from inequality (i) that which is equivalent to Therefore,     and are distinct real numbers.
Set We wish to show that It follows from (1.1) that Dividing the denominator and numerator by gives Multiplying the denominator and numerator of the right side by gives where denotes to and   denotes to .
Multiplying the denominator and numerator of the right side by , we obtain Similarly as before one can easily show that Then it follows by induction that Thus (1.1) has the prime period two solution where and are the distinct roots of the quadratic equation (4.13) and the proof is complete.

5. Global Attractor of the Equilibrium Point of (1.1)

In this section, we investigate the global asymptotic stability of (1.1).

Lemma 5.1. For any values of the quotient ,  and the function defined by (2.3) has the monotonicity behavior in its three arguments.

Proof. The proof follows by some computations and it will be omitted.

Remark 5.2. It follows from (1.1), when , that
Whenever the quotients ,   and are not equal, we get the following result.

Theorem 5.3. The equilibrium point is a global attractor of (1.1) if one of the following statements holds:

Proof. Let be a solution of (1.1) and again let be a function defined by (2.3).
We will prove the theorem when case (1.1) is true, and the proof of the other cases is similar and so will be omitted.

Assume that (5.2) is true, then it is easy from the equations after (2.3) to see that the function is nondecreasing in and nonincreasing in and it is not clear what is going on with . So we consider the following two cases.

Case 1. Assume that the function is nondecreasing in .
Suppose that is a solution of the system   and   . Then from (1.1), we see that or Then Subtracting this two equations, we obtain under the conditions ,   we see that It follows by Theorem B that is a global attractor of (1.1) and then the proof is complete.

Case 2. Assumes that the function is nonincreasing in .
Suppose that is a solution of the system   and   . Then from (1.1), we see that or Then Subtracting these two equations we obtain Under the conditions ,   we see that It follows by Theorem B that is a global attractor of (1.1) and then the proof is complete.

6. Numerical Examples

For confirming the results of this paper, we consider numerical examples which represent different types of solutions to (1.1).

Example 6.1. We assume ,   ,  and   . See Figure 1.

746738.fig.001
Figure 1

Example 6.2 (see [Figure 2]). Since ,   ,  and   .

746738.fig.002
Figure 2

Example 6.3. We consider ,   ,   ,   ,   ,  and   . See Figure 3.

746738.fig.003
Figure 3

Example 6.4 (see [Figure 4]). Since , .

746738.fig.004
Figure 4

Example 6.5 (see [Figure 5]). It shows the solutions when ,

746738.fig.005
Figure 5

References

  1. R. P. Agarwal and E. M. Elsayed, “On the solution of fourth-order rational recursive sequence,” Advanced Studies in Contemporary Mathematics, vol. 20, no. 4, pp. 525–545, 2010.
  2. E. M. Elabbasy, H. El-Metwally, and E. M. Elsayed, “Some properties and expressions of solutions for a class of nonlinear difference equation,” Utilitas Mathematica, vol. 87, pp. 93–110, 2012.
  3. E. M. Elabbasy, H. El-Metwally, and E. M. Elsayed, “On the difference equation xn+1=axn−(bxn)/(cxn−dxn−1),” Advances in Difference Equations, vol. 2006, Article ID 82579, 10 pages, 2006.
  4. E. M. Elabbasy, H. El-Metwally, and E. M. Elsayed, “Global behavior of the solutions of difference equation,” Advances in Difference Equations, vol. 2011, article 28, 2011.
  5. E. M. Elabbasy and E. M. Elsayed, “On the global attractivity of difference equation of higher order,” Carpathian Journal of Mathematics, vol. 24, no. 2, pp. 45–53, 2008.
  6. E. M. Elabbasy and E. M. Elsayed, “Global attractivity and periodic nature of a difference equation,” World Applied Sciences Journal, vol. 12, no. 1, pp. 39–47, 2011.
  7. E. M. Elsayed, “On the solution of some difference equations,” European Journal of Pure and Applied Mathematics, vol. 4, no. 3, pp. 287–303, 2011.
  8. E. M. Elsayed, “Dynamics of a recursive sequence of higher order,” Communications on Applied Nonlinear Analysis, vol. 16, no. 2, pp. 37–50, 2009.
  9. E. M. Elsayed, “Solution and attractivity for a rational recursive sequence,” Discrete Dynamics in Nature and Society, vol. 2011, Article ID 982309, 17 pages, 2011. View at Publisher · View at Google Scholar
  10. E. M. M. Elsayed, “Behavior of a rational recursive sequences,” Studia. Universitatis Babeş-Bolyai Mathematica, vol. 56, no. 1, pp. 27–42, 2011.
  11. E. M. Elsayed, “On the global attractivity and the solution of recursive sequence,” Studia Scientiarum Mathematicarum Hungarica, vol. 47, no. 3, pp. 401–418, 2010. View at Publisher · View at Google Scholar
  12. E. M. Elsayed, “On the dynamics of a higher-order rational recursive sequence,” Communications in Mathematical Analysis, vol. 12, no. 1, pp. 117–133, 2012.
  13. E. M. Elsayed, “Dynamics of recursive sequence of order two,” Kyungpook Mathematical Journal, vol. 50, no. 4, pp. 483–497, 2010. View at Publisher · View at Google Scholar
  14. E. M. Elsayed, “Solutions of rational difference systems of order two,” Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 378–384, 2012. View at Publisher · View at Google Scholar · View at Scopus
  15. E. A. Grove and G. Ladas, Periodicities in Nonlinear Difference Equations, vol. 4, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2005.
  16. M. Saleh and M. Aloqeili, “On the rational difference equation xn+1=A+xn/xn-K,” Applied Mathematics and Computation, vol. 171, no. 2, pp. 862–869, 2005. View at Publisher · View at Google Scholar
  17. X. Yang, W. Su, B. Chen, G. M. Megson, and D. J. Evans, “On the recursive sequence xn+1=(axn−1+bxn−2)/(c+dxn−1xn−2),” Applied Mathematics and Computation, vol. 162, no. 3, pp. 1485–1497, 2005. View at Publisher · View at Google Scholar
  18. V. L. Kocić and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, vol. 256, Kluwer Academic Publishers Group, Dordrecht, The Netherlands, 1993.
  19. M. R. S. Kulenović and G. Ladas, Dynamics of Second Order Rational Difference Equations With Open Problems and Conjectures, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2002.
  20. T. Sun and H. Xi, “On convergence of the solutions of the difference equation xn+1=1+xn−1/xn,” Journal of Mathematical Analysis and Applications, vol. 325, no. 2, pp. 1491–1494, 2007. View at Publisher · View at Google Scholar
  21. N. Touafek and E. M. Elsayed, “On the solutions of systems of rational difference equations,” Mathematical and Computer Modelling, vol. 55, no. 7-8, pp. 1987–1997, 2012. View at Publisher · View at Google Scholar · View at Scopus
  22. I. Yalçinkaya, “On the difference equation xn+1=α+xn−m/xnk,” Discrete Dynamics in Nature and Society. An International Multidisciplinary Research and Review Journal, Article ID 805460, 8 pages, 2008.
  23. X. Yang, X. Liu, and L. Wang, “Stability of a generalized Putnam equation,” Applied Mathematics Letters, vol. 22, no. 4, pp. 565–568, 2009. View at Publisher · View at Google Scholar
  24. X. Yang, D. J. Evans, and G. M. Megson, “Global asymptotic stability in a class of Putnam-type equations,” Nonlinear Analysis A, vol. 64, no. 1, pp. 42–50, 2006. View at Publisher · View at Google Scholar
  25. X. Yang, “Global asymptotic stability in a class of generalized Putnam equations,” Journal of Mathematical Analysis and Applications, vol. 322, no. 2, pp. 693–698, 2006. View at Publisher · View at Google Scholar
  26. E. M. E. Zayed and M. A. El-Moneam, “On the rational recursive sequence xn+1=axn−(bxn)/(cxn+dxn−k),” Communications on Applied Nonlinear Analysis, vol. 15, no. 2, pp. 47–57, 2008.