- Research Article
- Open access
- Published:
Global Dynamics of a Competitive System of Rational Difference Equations in the Plane
Advances in Difference Equations volume 2009, Article number: 132802 (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:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ1_HTML.gif)
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 non-hyperbolic. 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 non-hyperbolic 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 non-existence of period-two 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 first-order system of difference equations of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ2_HTML.gif)
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 coordinate-wise strictly monotone.
If , we denote with
, the four quadrants in
relative to
, that is,
, and so on. Define the South-East partial order
on
by
if and only if
and
. Similarly, we define the North-East 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 South-East partial order, that is if the following holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ3_HTML.gif)
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 non-hyperbolic 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 Lotka-Volterra 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 period-two 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 non-hyperbolic) 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 period-two points. In the latter case, the set of endpoints of
is a minimal period-two orbit of
.
Corollary 1.6.
If has no fixed point nor periodic points of minimal period-two 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 Perron-Frobenius 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.
Assume the hypotheses of Theorem 1.5, and let be the curve whose existence is guaranteed by Theorem 1.5. If the endpoints of
belong to
, then
separates
into two connected components, namely
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ4_HTML.gif)
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 period-two solutions, local injectivity of map at the equilibrium point and
condition.
2.1. Equilibrium Points
The equilibrium points of system (1.1) satisfy
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ5_HTML.gif)
First equation of System (2.1) gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ6_HTML.gif)
Second equation of System (2.1) gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ7_HTML.gif)
Now, using (2.2), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ8_HTML.gif)
This implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ9_HTML.gif)
which is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ10_HTML.gif)
Solutions of (2.6) are
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ11_HTML.gif)
Now, (2.2) gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ12_HTML.gif)
The equilibrium points are:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ13_HTML.gif)
where are given by the above relations.
Note that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ14_HTML.gif)
The discriminant of (2.6) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ15_HTML.gif)
The criteria for the existence of equilibrium points are summarized in Table 1 where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ16_HTML.gif)
2.2. Condition
and Period-Two 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.
The map associated to system (1.1) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ17_HTML.gif)
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ18_HTML.gif)
then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ19_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ20_HTML.gif)
Equations (2.15) and (2.16) are equivalent, respectively, to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ21_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ22_HTML.gif)
Now, using (2.17) and (2.18), we have the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ23_HTML.gif)
Lemma 2.2.
System (1.1) has no minimal period-two solution.
Proof.
Set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ24_HTML.gif)
Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ25_HTML.gif)
Period-two solution satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ26_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ27_HTML.gif)
We show that this system has no other positive solutions except equilibrium points.
Equations (2.22) and (2.23) are equivalent, respectively, to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ28_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ29_HTML.gif)
Equation (2.24) implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ30_HTML.gif)
Equation (2.25) implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ31_HTML.gif)
Using (2.26), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ32_HTML.gif)
Putting (2.28) into (2.27), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ33_HTML.gif)
This is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ34_HTML.gif)
Putting (2.30) into (2.24), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ35_HTML.gif)
or
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ36_HTML.gif)
From (2.31), we obtain fixed points. In the sequel, we consider (2.32).
Discriminant of (2.32) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ37_HTML.gif)
Real solutions of (2.32) exist if and only if The solutions are given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ38_HTML.gif)
Using (2.30), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ39_HTML.gif)
Claim.
Assume Then
-
(i)
for all values of parameters,
-
(ii)
for all values of parameters,
Proof.
() Assume
Then it is obvious that the claim
is true. Now, assume
Then
if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ40_HTML.gif)
which is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ41_HTML.gif)
This is true since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ42_HTML.gif)
() Assume
Then it is obvious that
. Now, assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ43_HTML.gif)
Then if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ44_HTML.gif)
This is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ45_HTML.gif)
Using (2.39), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ46_HTML.gif)
which implies that the inequality (2.41) is true.
Now, the proof of the Lemma 2.2 follows from the Claim .
Lemma 2.3.
The map associated to System (1.1) satisfies the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ47_HTML.gif)
Proof.
By using (2.1), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ48_HTML.gif)
First equation implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ49_HTML.gif)
Second equation implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ50_HTML.gif)
Note the following
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ51_HTML.gif)
Using (2.47), Equations (2.45) and (2.46), respectively, become
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ52_HTML.gif)
Note that System (2.48) is linear homogeneous system in and
The determinant of System (2.48) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ53_HTML.gif)
Using (2.1), the determinant of System (2.48) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ54_HTML.gif)
This implies that System (2.48) has only trivial solution, that is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ55_HTML.gif)
3. Linearized Stability Analysis
The Jacobian matrix of the map has the following form:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ56_HTML.gif)
The value of the Jacobian matrix of at the equilibrium point is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ57_HTML.gif)
The determinant of (3.2) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ58_HTML.gif)
The trace of (3.2) is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ59_HTML.gif)
The characteristic equation has the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ60_HTML.gif)
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.
The equilibrium is a saddle point if and only if the following conditions are satisfied:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ61_HTML.gif)
The first condition is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ62_HTML.gif)
This implies the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ63_HTML.gif)
Notice the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ64_HTML.gif)
That is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ65_HTML.gif)
Similarly,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ66_HTML.gif)
Now, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ67_HTML.gif)
This is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ68_HTML.gif)
The last condition is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ69_HTML.gif)
which is true since and
The second condition is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ70_HTML.gif)
This is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ71_HTML.gif)
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.
From (3.5) at we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ72_HTML.gif)
The first equation implies that either both eigenvalues are positive or the smaller one is negative.
Consider the numerator of the right-hand side of the second equation. We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ73_HTML.gif)
where
(a) If then the smaller root is negative, that is,
If then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ74_HTML.gif)
From the last inequality statements and
follow.
We now perform a similar analysis for the other cases in Table 1.
Theorem 3.2.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ75_HTML.gif)
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.
The equilibrium is a sink if the following condition is satisfied:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ76_HTML.gif)
The condition is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ77_HTML.gif)
This implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ78_HTML.gif)
Now, we prove that is a sink.
We have to prove that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ79_HTML.gif)
Notice the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ80_HTML.gif)
Similarly,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ81_HTML.gif)
Now, condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ82_HTML.gif)
becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ83_HTML.gif)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ84_HTML.gif)
which is true. (see Theorem 3.1.)
Condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ85_HTML.gif)
is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ86_HTML.gif)
This implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ87_HTML.gif)
We have to prove that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ88_HTML.gif)
Using (2.2), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ89_HTML.gif)
This is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ90_HTML.gif)
which is always true since and the left side is always negative, while the right side is always positive.
Notice that conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ91_HTML.gif)
imply that is a saddle point.
From (3.5) at we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ92_HTML.gif)
The first equation implies that either both eigenvalues are positive or the smaller one is negative.
Consider the numerator of the right-hand side of the second equation. We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ93_HTML.gif)
We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ94_HTML.gif)
Inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ95_HTML.gif)
is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ96_HTML.gif)
which is obvious if . Then inequality (3.41) holds. This confirms
The other cases follow from (3.41).
Theorem 3.3.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ97_HTML.gif)
Then there exists a unique positive equilibrium point
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ98_HTML.gif)
which is non-hyperbolic. The following holds.
-
(a)
If
then
and
-
(b)
If
then
and
Proof.
Evaluating the Jacobian matrix (3.2) at equilibrium we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ99_HTML.gif)
The characteristic equation of is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ100_HTML.gif)
which is simplified to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ101_HTML.gif)
Solutions of (3.46) are
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ102_HTML.gif)
Note that can be written in the following form:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ103_HTML.gif)
Note that
The corresponding eigenvectors, respectively, are
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ104_HTML.gif)
Note that the denominator of (3.48) is always positive.
Consider numerator of (3.48)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ105_HTML.gif)
From
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ106_HTML.gif)
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ107_HTML.gif)
Substituting from (3.52) in (3.50), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ108_HTML.gif)
Now, (3.48) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ109_HTML.gif)
establishing the proof of the theorem.
Now, we consider the special case of System (1.1) when
In this case system (1.1) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ110_HTML.gif)
Equilibrium points are solutions of the following system:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ111_HTML.gif)
The second equation implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ112_HTML.gif)
Now, the first equation implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ113_HTML.gif)
The map associated to System (3.55) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ114_HTML.gif)
The Jacobian matrix of the map has the following form:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ115_HTML.gif)
The value of the Jacobian matrix of at the equilibrium point is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ116_HTML.gif)
The determinant of (3.61) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ117_HTML.gif)
The trace of (3.61) is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ118_HTML.gif)
Theorem 3.4.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ119_HTML.gif)
Then there exists a unique positive equilibrium point
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ120_HTML.gif)
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.
We check the conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ121_HTML.gif)
Condition is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ122_HTML.gif)
This implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ123_HTML.gif)
Condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ124_HTML.gif)
is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ125_HTML.gif)
Hence is a saddle point.
Now,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ126_HTML.gif)
The first equation implies that either both eigenvalues are positive or the smaller one is less then zero. The second equation implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ127_HTML.gif)
establishing the proof of theorem.
4. Global Behavior
Theorem 4.1.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ128_HTML.gif)
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.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ129_HTML.gif)
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.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ130_HTML.gif)
Then system (1.1) has a unique equilibrium which is non-hyperbolic. 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.
First we prove that for all points the following holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ131_HTML.gif)
Observe that is actually an arbitrary point on the curve
, which represents one of two equilibrium curves for system (1.1).
Indeed,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ132_HTML.gif)
Now we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ133_HTML.gif)
The last inequality is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ134_HTML.gif)
This is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ135_HTML.gif)
which always holds since the discriminant of the quadratic polynomial on the left-hand side is zero.
Note that and
for
Monotonicity of the map implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ136_HTML.gif)
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
Now, take any point Then there exists point
such that
By using monotonicity of the map
we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ137_HTML.gif)
Letting in (4.10), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ138_HTML.gif)
Now, we consider By choosing
such that
, we note that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ139_HTML.gif)
By using monotonicity of the map we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ140_HTML.gif)
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
Now, take any point in
. Then there is point
such that
Using monotonicity of the map
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ141_HTML.gif)
Since, is asymptotic to
then
Theorem 4.4.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ142_HTML.gif)
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.
Assume
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ143_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ144_HTML.gif)
or
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ145_HTML.gif)
Then system (1.1) does not possess an equilibrium point. Its global behavior is described as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ146_HTML.gif)
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).
Consider the second equation of system (1.1). That is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ147_HTML.gif)
Note the following
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ148_HTML.gif)
Now, consider equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ149_HTML.gif)
Its solution is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ150_HTML.gif)
Since then letting
we obtain that
Now, (4.21) implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ151_HTML.gif)
This means that sequence is bounded for
In order to prove the global behavior in this case, we decompose System (1.1) into the system of even-indexed and odd-indexed terms as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ152_HTML.gif)
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 period-two 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
In this case System (1.1) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ153_HTML.gif)
The map associated to System (4.26) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ154_HTML.gif)
Equilibrium curves and
can be given explicitly as the following functions of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ155_HTML.gif)
It is obvious that these two curves do not intersect, which means that System (4.26) does not possess an equilibrium point.
Similarly, as in the proof of Theorem 4.3, for all points the following holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ156_HTML.gif)
Indeed,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ157_HTML.gif)
Now, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ158_HTML.gif)
The last inequality is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ159_HTML.gif)
which always holds.
Monotonicity of implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ160_HTML.gif)
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
Now, take any point Then there exists point
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ161_HTML.gif)
Monotonicity of implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ162_HTML.gif)
Set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ163_HTML.gif)
Then, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ164_HTML.gif)
Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ165_HTML.gif)
we conclude, using the inequalities (4.37), that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F132802/MediaObjects/13662_2009_Article_1164_Equ166_HTML.gif)
Similarly, we can prove the case
References
Camouzis E, Kulenović MRS, Ladas G, Merino O: Rational systems in the plane. Journal of Difference Equations and Applications 2009,15(3):303-323. 10.1080/10236190802125264
Kulenović MRS, Merino O: Global bifurcation for discrete competitive systems in the plane. Discrete and Continuous Dynamical Systems. Series B 2009,12(1):133-149.
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 period-doubling bifurcations. Advances in Dynamical Systems and Applications 2008,3(2):229-249.
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):71-84.
Clark D, Kulenović MRS: A coupled system of rational difference equations. Computers & Mathematics with Applications 2002,43(6-7):849-867. 10.1016/S0898-1221(01)00326-1
Clark D, Kulenović MRS, Selgrade JF: Global asymptotic behavior of a two-dimensional difference equation modelling competition. Nonlinear Analysis. Theory, Methods & Applications 2003,52(7):1765-1776. 10.1016/S0362-546X(02)00294-8
Franke JE, Yakubu A-A: Mutual exclusion versus coexistence for discrete competitive systems. Journal of Mathematical Biology 1991,30(2):161-168. 10.1007/BF00160333
Franke JE, Yakubu A-A: Geometry of exclusion principles in discrete systems. Journal of Mathematical Analysis and Applications 1992,168(2):385-400. 10.1016/0022-247X(92)90167-C
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.
Hirsch MW, Smith H: Monotone dynamical systems. In Handbook of Differential Equations: Ordinary Differential Equations. Vol. II. Elsevier, Amsterdam, The Netherlands; 2005:239-357.
Kulenović MRS, Merino O: Competitive-exclusion versus competitive-coexistence for systems in the plane. Discrete and Continuous Dynamical Systems. Series B 2006,6(5):1141-1156.
Kulenović MRS, Nurkanović M: Asymptotic behavior of a system of linear fractional difference equations. Journal of Inequalities and Applications 2005, (2):127-143.
Kulenović MRS, Nurkanović M: Asymptotic behavior of a competitive system of linear fractional difference equations. Advances in Difference Equations 2006, 2006:-13.
Smith HL: Invariant curves for mappings. SIAM Journal on Mathematical Analysis 1986,17(5):1053-1067. 10.1137/0517075
Smith HL: Periodic competitive differential equations and the discrete dynamics of competitive maps. Journal of Differential Equations 1986,64(2):165-194. 10.1016/0022-0396(86)90086-0
Smith HL: Periodic solutions of periodic competitive and cooperative systems. SIAM Journal on Mathematical Analysis 1986,17(6):1289-1318. 10.1137/0517091
Smith HL: Planar competitive and cooperative difference equations. Journal of Difference Equations and Applications 1998,3(5-6):335-357. 10.1080/10236199708808108
Smith HL: Non-monotone systems decomposable into monotone systems with negative feedback. Journal of Differential Equations 2006, 53: 747-758.
de Mottoni P, Schiaffino A: Competition systems with periodic coefficients: a geometric approach. Journal of Mathematical Biology 1981,11(3):319-335. 10.1007/BF00276900
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Kalabušić, S., Kulenović, M.R.S. & Pilav, E. Global Dynamics of a Competitive System of Rational Difference Equations in the Plane. Adv Differ Equ 2009, 132802 (2010). https://doi.org/10.1155/2009/132802
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/132802