Global Dynamics of a Competitive System of Rational Difference Equations in the Plane
 S. Kalabušić^{1},
 M. R. S. Kulenović^{2}Email author and
 E. Pilav^{1}
DOI: 10.1155/2009/132802
© S. Kalabušić et al 2009
Received: 26 August 2009
Accepted: 8 December 2009
Published: 26 January 2010
Abstract
We investigate global dynamics of the following systems of difference equations , , , where the parameters , , , , and are positive numbers and initial conditions and are arbitrary nonnegative numbers such that . We show that this system has rich dynamics which depend on the part of parametric space. We show that the basins of attractions of different locally asymptotically stable equilibrium points are separated by the global stable manifolds of either saddle points or of nonhyperbolic equilibrium points.
1. Introduction and Preliminaries
In this paper, we study the global dynamics of the following rational system of difference equations:
where the parameters and are positive numbers and initial conditions and are arbitrary numbers. System (1.1) was mentioned in [1] as a part of Open Problem 3 which asked for a description of global dynamics of three specific competitive systems. According to the labeling in [1], system (1.1) is called . In this paper, we provide the precise description of global dynamics of system (1.1). We show that system (1.1) has a variety of dynamics that depend on the value of parameters. We show that system (1.1) may have between zero and two equilibrium points, which may have different local character. If system (1.1) has one equilibrium point, then this point is either locally saddle point or nonhyperbolic. If system (1.1) has two equilibrium points, then the pair of points is the pair of a saddle point and a sink. The major problem is determining the basins of attraction of different equilibrium points. System (1.1) gives an example of semistable nonhyperbolic equilibrium point. The typical results are Theorems 4.1 and 4.5 below.
System (1.1) is a competitive system, and our results are based on recent results developed for competitive systems in the plane; see [2, 3]. In the next section, we present some general results about competitive systems in the plane. The third section deals with some basic facts such as the nonexistence of periodtwo solution of system (1.1). The fourth section analyzes local stability which is fairly complicated for this system. Finally, the fifth section gives global dynamics for all values of parameters.
Let and be intervals of real numbers. Consider a firstorder system of difference equations of the form
where
When the function is increasing in and decreasing in and the function is decreasing in and increasing in , the system (1.2) is called competitive. When the function is increasing in and increasing in and the function is increasing in and increasing in the system (1.2) is called cooperative. A map that corresponds to the system (1.2) is defined as . Competitive and cooperative maps, which are called monotone maps, are defined similarly. Strongly competitive systems of difference equations or maps are those for which the functions and are coordinatewise strictly monotone.
If , we denote with , the four quadrants in relative to , that is, , and so on. Define the SouthEast partial order on by if and only if and . Similarly, we define the NorthEast partial order on by if and only if and . For and , define the distance from to as . By we denote the interior of a set .
It is easy to show that a map is competitive if it is nondecreasing with respect to the SouthEast partial order, that is if the following holds:
Competitive systems were studied by many authors; see [4–19], and others. All known results, with the exception of [4, 6, 10], deal with hyperbolic dynamics. The results presented here are results that hold in both the hyperbolic and the nonhyperbolic cases.
We now state three results for competitive maps in the plane. The following definition is from [18].
Definition 1.1.
Let be a nonempty subset of . A competitive map is said to satisfy condition ( ) if for every , in , implies , and is said to satisfy condition ( ) if for every , in , implies .
The following theorem was proved by de Mottoni and Schiaffino [20] for the Poincaré map of a periodic competitive LotkaVolterra system of differential equations. Smith generalized the proof to competitive and cooperative maps [15, 16].
Theorem 1.2.
Let be a nonempty subset of . If is a competitive map for which ( ) holds, then for all , is eventually componentwise monotone. If the orbit of has compact closure, then it converges to a fixed point of . If instead ( ) holds, then for all , is eventually componentwise monotone. If the orbit of has compact closure in , then its omega limit set is either a periodtwo orbit or a fixed point.
The following result is from [18], with the domain of the map specialized to be the Cartesian product of intervals of real numbers. It gives a sufficient condition for conditions ( ) and ( ).
Theorem 1.3 (Smith [18]).
Let be the Cartesian product of two intervals in . Let be a competitive map. If is injective and for all then satisfies ( ). If is injective and for all then satisfies ( ).
Theorem 1.4.
Let be a monotone map on a closed and bounded rectangular region Suppose that has a unique fixed point in Then is a global attractor of on
The following theorems were proved by Kulenović and Merino [3] for competitive systems in the plane, when one of the eigenvalues of the linearized system at an equilibrium (hyperbolic or nonhyperbolic) is by absolute value smaller than while the other has an arbitrary value. These results are useful for determining basins of attraction of fixed points of competitive maps.
Our first result gives conditions for the existence of a global invariant curve through a fixed point (hyperbolic or not) of a competitive map that is differentiable in a neighborhood of the fixed point, when at least one of two nonzero eigenvalues of the Jacobian matrix of the map at the fixed point has absolute value less than one. A region is rectangular if it is the Cartesian product of two intervals in .
Theorem 1.5.
Let be a competitive map on a rectangular region . Let be a fixed point of such that is nonempty (i.e., is not the NW or SE vertex of , and is strongly competitive on . Suppose that the following statements are true.
 (a)
The map has a extension to a neighborhood of .
 (b)
The Jacobian matrix of at has real eigenvalues , such that , where , and the eigenspace associated with is not a coordinate axis.
Then there exists a curve through that is invariant and a subset of the basin of attraction of , such that is tangential to the eigenspace at , and is the graph of a strictly increasing continuous function of the first coordinate on an interval. Any endpoints of in the interior of are either fixed points or minimal periodtwo points. In the latter case, the set of endpoints of is a minimal periodtwo orbit of .
Corollary 1.6.
If has no fixed point nor periodic points of minimal periodtwo in , then the endpoints of belong to .
For maps that are strongly competitive near the fixed point, hypothesis b. of Theorem 1.5 reduces just to . This follows from a change of variables [18] that allows the PerronFrobenius Theorem to be applied to give that, at any point, the Jacobian matrix of a strongly competitive map has two real and distinct eigenvalues, the larger one in absolute value being positive, and that corresponding eigenvectors may be chosen to point in the direction of the second and first quadrants, respectively. Also, one can show that in such case no associated eigenvector is aligned with a coordinate axis.
The following result gives a description of the global stable and unstable manifolds of a saddle point of a competitive map. The result is the modification of Theorem 1.7 from [12].
Theorem 1.7.
In addition to the hypotheses of Theorem 1.5, suppose that and that the eigenspace associated with is not a coordinate axis. If the curve of Theorem 1.5 has endpoints in , then is the global stable manifold of , and the global unstable manifold is a curve in that is tangential to at and such that it is the graph of a strictly decreasing function of the first coordinate on an interval. Any endpoints of in are fixed points of .
The next result is useful for determining basins of attraction of fixed points of competitive maps.
Theorem 1.8.
such that the following statements are true.
 (i)
is invariant, and as for every .
 (ii)
is invariant, and as for every .
If, in addition, is an interior point of and is and strongly competitive in a neighborhood of , then has no periodic points in the boundary of except for , and the following statements are true.
 (iii)
For every there exists such that for .
 (iv)
For every there exists such that for .
2. Some Basic Facts
In this section we give some basic facts about the nonexistence of periodtwo solutions, local injectivity of map at the equilibrium point and condition.
2.1. Equilibrium Points
The equilibrium points of system (1.1) satisfy
First equation of System (2.1) gives
Second equation of System (2.1) gives
Now, using (2.2), we obtain
This implies
which is equivalent to
Solutions of (2.6) are
Now, (2.2) gives
The equilibrium points are:
where are given by the above relations.
Note that
The discriminant of (2.6) is given by
Table 1









No equilibrium 

No equilibrium 

No equilibrium 

2.2. Condition and PeriodTwo Solution
In this section we prove three lemmas.
Lemma 2.1.
System (1.1) satisfies either or Consequently, the second iterate of every solution is eventually monotone.
Proof.
Lemma 2.2.
System (1.1) has no minimal periodtwo solution.
Proof.
We show that this system has no other positive solutions except equilibrium points.
From (2.31), we obtain fixed points. In the sequel, we consider (2.32).
Claim.
Assume Then
 (i)
for all values of parameters,
 (ii)
for all values of parameters,
Proof.
which implies that the inequality (2.41) is true.
Now, the proof of the Lemma 2.2 follows from the Claim .
Lemma 2.3.
Proof.
3. Linearized Stability Analysis
The Jacobian matrix of the map has the following form:
The value of the Jacobian matrix of at the equilibrium point is
The determinant of (3.2) is given by
The trace of (3.2) is
The characteristic equation has the form
Theorem 3.1.
Assume that Then there exists a unique positive equilibrium which is a saddle point, and the following statements hold.
 (a)
If then and
 (b)
If and then and
 (c)
If and then and
 (d)
If and then and
Proof.
which is true since and
establishing the proof of Theorem 3.1.
Since the map is strongly competitive, the Jacobian matrix (3.2) has two real and distinct eigenvalues, with the larger one in absolute value being positive.
The first equation implies that either both eigenvalues are positive or the smaller one is negative.
where
(a) If then the smaller root is negative, that is,
From the last inequality statements and follow.
We now perform a similar analysis for the other cases in Table 1.
Theorem 3.2.
Then exist. is a saddle point; is a sink. For the eigenvalues of the following holds.
 (a)
If then
 (b)
If and then
 (c)
If and then
Proof.
Note that if and then and which implies , which is a contradiction.
Now, we prove that is a sink.
which is true. (see Theorem 3.1.)
which is always true since and the left side is always negative, while the right side is always positive.
imply that is a saddle point.
The first equation implies that either both eigenvalues are positive or the smaller one is negative.
which is obvious if . Then inequality (3.41) holds. This confirms The other cases follow from (3.41).
Theorem 3.3.
which is nonhyperbolic. The following holds.
 (a)
If then and
 (b)
If then and
Proof.
Note that
Note that the denominator of (3.48) is always positive.
establishing the proof of the theorem.
Now, we consider the special case of System (1.1) when
In this case system (1.1) becomes
Equilibrium points are solutions of the following system:
The second equation implies
Now, the first equation implies
The map associated to System (3.55) is given by
The Jacobian matrix of the map has the following form:
The value of the Jacobian matrix of at the equilibrium point is
The determinant of (3.61) is given by
The trace of (3.61) is
Theorem 3.4.
of system (1.1), which is a saddle point. The following statements hold.
 (a)
If then and
 (b)
If then and
Proof.
We prove that is a saddle point.
Hence is a saddle point.
establishing the proof of theorem.
4. Global Behavior
Theorem 4.1.
Then system (1.1) has a unique equilibrium point which is a saddle point. Furthermore, there exists the global stable manifold that separates the positive quadrant so that all orbits below this manifold are asymptotic to and all orbits above this manifold are asymptotic to All orbits that start on are attracted to The global unstable manifold is the graph of a continuous, unbounded, strictly decreasing function.
Proof.
The existence of the global stable manifold with the stated properties follows from Theorems 1.5, 1.7, and 1.8 and Lemmas 2.1 and 2.2.
Theorem 4.2.
Then system (1.1) has two equilibrium points: which is a saddle point and which is a sink. Furthermore, there exists the global stable manifold that separates the positive quadrant so that all orbits below this manifold are asymptotic to and all orbits above this manifold are attracted to equilibrium All orbits that start on are attracted to The global unstable manifold is the graph of a continuous, unbounded, strictly decreasing function with end point
Proof.
The existence of the global stable manifold with the stated properties follows from Theorems 1.5, 1.7, and 1.8 and Lemmas 2.1 and 2.2.
Theorem 4.3.
Then system (1.1) has a unique equilibrium which is nonhyperbolic. The sequences , and are eventually monotonic. Every solution that starts in is asymptotic to and every solution that starts in is asymptotic to the equilibrium Furthermore, there exists the global stable manifold that separates the positive quadrant into three invariant regions, so that all orbits below this manifold are asymptotic to and all orbits that start above this manifold are attracted to the equilibrium All orbits that start on are attracted to
Proof.
The existence of the global stable manifold with the stated properties follows from Theorems 1.5, 1.7, and 1.8 and Lemmas 2.1 and 2.2.
Observe that is actually an arbitrary point on the curve , which represents one of two equilibrium curves for system (1.1).
which always holds since the discriminant of the quadratic polynomial on the lefthand side is zero.
Note that and for
Set Then the sequence is increasing and bounded by coordinate of the equilibrium, and the sequence is decreasing and bounded by coordinate of the equilibrium. This implies that converges to the equilibrium as
Set Then the sequence is increasing, and the sequence is decreasing and bounded by coordinate of equilibrium and has to converge. If converges, then has to converge to the equilibrium, which is impossible. This implies that Since then
Since, is asymptotic to then
Theorem 4.4.
Then system (1.1) has a unique equilibrium which is a saddle point. Furthermore, there exists the global stable manifold that separates the positive quadrant so that all orbits below this manifold are asymptotic to and all orbits above this manifold are asymptotic to All orbits that start on are attracted to The global stable manifold is the graph of a continuous, unbounded, strictly increasing function.
Proof.
The existence of the global stable manifold with the stated properties follows from Theorems 1.5, 1.7, and 1.8 and Lemmas 2.1 and 2.2.
Theorem 4.5.
Proof.
If the conditions of this theorem are satisfied, then (2.6) implies that there is no real (if the first condition of this theorem is satisfied) or positive equilibrium points (if the second condition of this theorem is satisfied).
This means that sequence is bounded for
for .
Lemma 2.1 implies that subsequences and are eventually monotone.
Since sequence is bounded, then the subsequences and must converge. If the sequences and would converge to finite numbers, then the solution of (1.1) would converge to the periodtwo solution, which is impossible by Lemma 2.2. Thus at least one of the subsequences and tends to . Assume that as . In view of third equation of (4.25), and in view of first equation of (4.25), which by fourth equation of (4.25) implies that as .
Now, we prove the case when and
It is obvious that these two curves do not intersect, which means that System (4.26) does not possess an equilibrium point.
which always holds.
Set Then the sequence is increasing and the sequence is decreasing. Since is decreasing and then it has to converge. If converges, then has to converge to the equilibrium, which is impossible. This implies that The second equation of System (4.26) implies that
Similarly, we can prove the case
Authors’ Affiliations
References
 Camouzis E, Kulenović MRS, Ladas G, Merino O: Rational systems in the plane. Journal of Difference Equations and Applications 2009,15(3):303323. 10.1080/10236190802125264MATHMathSciNetView ArticleGoogle Scholar
 Kulenović MRS, Merino O: Global bifurcation for discrete competitive systems in the plane. Discrete and Continuous Dynamical Systems. Series B 2009,12(1):133149.MATHMathSciNetView ArticleGoogle Scholar
 Kulenović MRS, Merino O: Invariant manifolds for competitive discrete systems in the plane. to appear in International Journal of Bifurcation and Chaos, http://arxiv.org/abs/0905.1772v1 to appear in International Journal of Bifurcation and Chaos,
 Burgić Dž, Kalabušić S, Kulenović MRS: Nonhyperbolic dynamics for competitive systems in the plane and global perioddoubling bifurcations. Advances in Dynamical Systems and Applications 2008,3(2):229249.MathSciNetGoogle Scholar
 Burgić Dž, Kulenović MRS, Nurkanović M: Global dynamics of a rational system of difference equations in the plane. Communications on Applied Nonlinear Analysis 2008,15(1):7184.MATHMathSciNetGoogle Scholar
 Clark D, Kulenović MRS: A coupled system of rational difference equations. Computers & Mathematics with Applications 2002,43(67):849867. 10.1016/S08981221(01)003261MATHMathSciNetView ArticleGoogle Scholar
 Clark D, Kulenović MRS, Selgrade JF: Global asymptotic behavior of a twodimensional difference equation modelling competition. Nonlinear Analysis. Theory, Methods & Applications 2003,52(7):17651776. 10.1016/S0362546X(02)002948MATHMathSciNetView ArticleGoogle Scholar
 Franke JE, Yakubu AA: Mutual exclusion versus coexistence for discrete competitive systems. Journal of Mathematical Biology 1991,30(2):161168. 10.1007/BF00160333MATHMathSciNetView ArticleGoogle Scholar
 Franke JE, Yakubu AA: Geometry of exclusion principles in discrete systems. Journal of Mathematical Analysis and Applications 1992,168(2):385400. 10.1016/0022247X(92)90167CMATHMathSciNetView ArticleGoogle Scholar
 GarićDemirović M, Kulenović MRS, Nurkanović M: Global behavior of four competitive rational systems of difference equations in the plane. Discrete Dynamics in Nature and Society 2009, 2009:34.Google Scholar
 Hirsch MW, Smith H: Monotone dynamical systems. In Handbook of Differential Equations: Ordinary Differential Equations. Vol. II. Elsevier, Amsterdam, The Netherlands; 2005:239357.Google Scholar
 Kulenović MRS, Merino O: Competitiveexclusion versus competitivecoexistence for systems in the plane. Discrete and Continuous Dynamical Systems. Series B 2006,6(5):11411156.MATHMathSciNetView ArticleGoogle Scholar
 Kulenović MRS, Nurkanović M: Asymptotic behavior of a system of linear fractional difference equations. Journal of Inequalities and Applications 2005, (2):127143.
 Kulenović MRS, Nurkanović M: Asymptotic behavior of a competitive system of linear fractional difference equations. Advances in Difference Equations 2006, 2006:13.Google Scholar
 Smith HL: Invariant curves for mappings. SIAM Journal on Mathematical Analysis 1986,17(5):10531067. 10.1137/0517075MATHMathSciNetView ArticleGoogle Scholar
 Smith HL: Periodic competitive differential equations and the discrete dynamics of competitive maps. Journal of Differential Equations 1986,64(2):165194. 10.1016/00220396(86)900860MATHMathSciNetView ArticleGoogle Scholar
 Smith HL: Periodic solutions of periodic competitive and cooperative systems. SIAM Journal on Mathematical Analysis 1986,17(6):12891318. 10.1137/0517091MATHMathSciNetView ArticleGoogle Scholar
 Smith HL: Planar competitive and cooperative difference equations. Journal of Difference Equations and Applications 1998,3(56):335357. 10.1080/10236199708808108MATHMathSciNetView ArticleGoogle Scholar
 Smith HL: Nonmonotone systems decomposable into monotone systems with negative feedback. Journal of Differential Equations 2006, 53: 747758.MATHGoogle Scholar
 de Mottoni P, Schiaffino A: Competition systems with periodic coefficients: a geometric approach. Journal of Mathematical Biology 1981,11(3):319335. 10.1007/BF00276900MATHMathSciNetView ArticleGoogle 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.