Skip to main content

Theory and Modern Applications

Dynamics of a two-dimensional system of rational difference equations of Leslie--Gower type

Abstract

We investigate global dynamics of the following systems of difference equations

x n + 1 = α 1 + β 1 x n A 1 + y n y n + 1 = γ 2 y n A 2 + B 2 x n + y n , n = 0 , 1 , 2 ,

where the parameters α 1, β 1, A 1, γ 2, A 2, B 2 are positive numbers, and the initial conditions x 0 and y 0 are arbitrary nonnegative numbers. We show that this system has rich dynamics which depends on the region of parametric space. We show that the basins of attractions of different locally asymptotically stable equilibrium points or non-hyperbolic equilibrium points are separated by the global stable manifolds of either saddle points or non-hyperbolic equilibrium points. We give examples of a globally attractive non-hyperbolic equilibrium point and a semi-stable non-hyperbolic equilibrium point. We also give an example of two local attractors with precisely determined basins of attraction. Finally, in some regions of parameters, we give an explicit formula for the global stable manifold.

Mathematics Subject Classification (2000)

Primary: 39A10, 39A11 Secondary: 37E99, 37D10

1 Introduction

In this paper, we study the global dynamics of the following rational system of difference equations

x n + 1 = α 1 + β 1 x n A 1 + y n y n + 1 = γ 2 y n A 2 + B 2 x n + y n , n = 0 , 1 , 2 ,
(1)

where the parameters α 1, β 1, A 1, γ 2, A 2, B 2 are positive numbers and initial conditions x 0 and y 0 are arbitrary nonnegative numbers.

System (1) was mentioned in [1] as one of three systems of Open Problem 3, which asked for a description of the global dynamics of some rational systems of difference equations. In notation used to label systems of linear fractional difference equations used in [1], System (1) is referred to as (29, 38). This system is dual to the system where the roles of x n and y n are interchanged, which is labeled as (29, 38) in [1], and so all results proven here extend to the latter system. In this paper, we provide a precise description of the global dynamics of the System (1). We show that System (1) may have between zero and three equilibrium points, which may have different local character. If System (1) has one equilibrium point, then this point is either locally asymptotically stable or saddle point or non-hyperbolic equilibrium point. If System (1) has two equilibrium points, then they are either locally asymptotically stable and non-hyperbolic, or locally asymptotically stable and saddle point. If System (1) has three equilibrium points, then two of equilibrium points are locally asymptotically stable and the third point, which is between these two points in southeast ordering defined below, is a saddle point. The major problem for global dynamics of the System (1) is determining the basins of attraction of different equilibrium points. The difficulty in analyzing the behavior of all solutions of the System (1) lies in the fact that there are many regions of parameters where this system possesses different equilibrium points with different local character and that in several cases, the equilibrium point is non-hyperbolic. However, all these cases can be handled by using recent results from [2].

System (1) is a competitive system, and our results are based on recent results about competitive systems in the plane, see [2, 3]. System (1) can be used as a mathematical model for competition in population dynamics. In fact, second equation in (1) is of Leslie-Gower type, and first equation can be considered to be of Leslie-Gower type with stocking which is represented with the term α 1, see [46].

In the next section, we present some general results about competitive systems in the plane. Section 3 contains some basic facts such as the non-existence of period-two solution of System (1). Section 4 analyzes local stability which is fairly complicated for this system. Finally, Section 5 gives global dynamics for all values of parameters.

2 Preliminaries

A first-order system of difference equations

x n + 1 = f ( x n , y n ) y n + 1 = g ( x n , y n ) , n = 0 , 1 , 2 ,
(2)

where S 2, (f, g): SS, f, g are continuous functions is competitive if f(x, y) is non-decreasing in x and non-increasing in y, and g(x, y) is non-increasing in x and non-decreasing in y. If both f and g are non-decreasing in x and y, the System (2) is cooperative. Competitive and cooperative maps are defined similarly. Strongly competitive systems of difference equations or strongly competitive maps are those for which the functions f and g are coordinate-wise strictly monotone.

Competitive and cooperative systems have been investigated by many authors, see [2, 3, 519]. Special attention to discrete competitive and cooperative systems in the plane was given in [2, 3, 57, 10, 12, 17, 20]. One of the reasons for paying special attention to two-dimensional discrete competitive and cooperative systems is their applicability and the fact that many examples of mathematical models in biology and economy which involve competition or cooperation are models which involve two species. Another reason is that the theory of two-dimensional discrete competitive and cooperative systems is very well developed, unlike such theory for three and higher dimensional systems. Part of the reason for this situation is de Mottoni and Schiaffino theorem given below, which provides relatively simple scenarios for possible behavior of many two-dimensional discrete competitive and cooperative systems. However, this does not mean that one cannot encounter chaos in such systems as has been shown by Smith, see [17].

If v = (u, v) 2, we denote with Q l (v), ℓ {1, 2, 3, 4}, the four quadrants in 2 relative to v, i.e., Q 1 (v) = {(x, y) 2: xu, yv}, Q 2 (v) = {(x, y) 2: xu, yv}, and so on. Define the South-East partial order se on 2 by (x, y) se (s, t) if and only if xs and yt. Similarly, we define the North-East partial order ne on 2 by (x, y) ne (s, t) if and only if xs and yt. For A 2 and x 2, define the distance from x to A as dist(x, A) = inf{||x-y||: y A}. By int A, we denote the interior of a set A.

It is easy to show that a map F is competitive if it is non-decreasing with respect to the South-East partial order, that is, if the following holds:

x 1 y 1 s e x 2 y 2 F x 1 y 1 s e F x 2 y 2 .
(3)

For standard definitions of attracting fixed point, saddle point, stable manifold, and related notions see [11].

We now state three results for competitive maps in the plane. The following definition is from [17].

Definition 1 Let S be a nonempty subset of 2. A competitive map T : SS is said to satisfy condition (O+) if for every x, y in S , T(x) ne T (y) implies x ne y, and T is said to satisfy condition (O-) if for every x, y in S , T(x) ne T (y) implies y ne x.

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 [14, 15] generalized the proof to competitive and cooperative maps.

Theorem 1 Let S be a nonempty subset of 2 . If T is a competitive map for which (O+) holds then for all x S, {T n (x)} is eventually componentwise monotone. If the orbit of x has compact closure, then it converges to a fixed point of T. If instead (O-) holds, then for all x S, {T 2n(x)} is eventually componentwise monotone. If the orbit of x has compact closure in S , then its omega limit set is either a period-two orbit or a fixed point.

The following result is from [17], with the domain of the map specialized to be the cartesian product of intervals of real numbers. It gives a sufficient condition for conditions (O+) and (O-).

Theorem 2 Let 2 be the cartesian product of two intervals in . Let T: be a C 1 competitive map. If T is injective and det J T (x) > 0 for all x then T satisfies (O+). If T is injective and det J T (x) < 0 for all x then T satisfies (O-).

The following result is a direct consequence of the Trichotomy Theorem of Dancer and Hess, see [3] and [21] and is helpful for determining the basins of attraction of the equilibrium points.

Corollary 1 If the nonnegative cone of is a generalized quadrant in n , and if T has no fixed points inu 1 , u 2other than u 1 and u 2 , then the interior ofu 1 , u 2is either a subset of the basin of attraction of u 1 or a subset of the basin of attraction of u 2.

Next result is well-known global attractivity result that holds in partially ordered Banach spaces as well, see [21].

Theorem 3 Let T be a monotone map on a closed and bounded rectangular region 2 . Suppose that T has a unique fixed point e ̄ in . Then e ̄ is a global attractor of T on .

The following theorems were proved by Kulenović and Merino [2] 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 1 while the other has an arbitrary value. These results are useful for determining basins of attraction of fixed points of competitive maps.

Theorem 4 Let T be a competitive map on a rectangular region 2 . Let x ¯ be a fixed point of T such that Δ: = ∩ int ( Q 1 ( x ¯ ) Q 3 ( x ¯ ) ) is nonempty (i.e., x ¯ is not the NW or SE vertex of ), and T is strongly competitive on Δ. Suppose that the following statements are true.

  1. a.

    The map T has a C 1 extension to a neighborhood of x ¯ .

  2. b.

    The Jacobian J T ( x ¯ ) of T at x ¯ has real eigenvalues λ , μ such that 0 < |λ| < μ, where |λ| < 1, and the eigenspace E λ associated with λ is not a coordinate axis.

Then there exists a curve C through x ¯ that is invariant and a subset of the basin of attraction of x ¯ , such that C is tangential to the eigenspace E λ at x ¯ , and C is the graph of a strictly increasing continuous function of the first coordinate on an interval. Any endpoints of C in the interior of are either fixed points or minimal period-two points. In the latter case, the set of endpoints of C is a minimal period-two orbit of T.

The situation where the endpoints of C are boundary points of is of interest. The following result gives a sufficient condition for this case.

Theorem 5 For the curve C of Theorem 4 to have endpoints in ∂, it is sufficient that at least one of the following conditions is satisfied.

  1. i.

    The map T has no fixed points nor periodic points of minimal period-two in Δ.

  2. ii.

    The map T has no fixed points in Δ, det J T ( x ¯ ) >0, and T ( x ¯ ) = x has no solutions x Δ.

  3. iii.

    The map T has no points of minimal period-two in Δ, det J T ( x ¯ ) <0, and T ( x ) = x ¯ has no solutions x Δ.

The next result is useful for determining basins of attraction of fixed points of competitive maps.

Theorem 6 (A) Assume the hypotheses of Theorem 4, and let C be the curve whose existence is guaranteed by Theorem 4. If the endpoints of C belong to ∂, then C separates into two connected components, namely

W - : = { x \ C : y C w i t h x s e y } and W + : = { x \ C : y C w i t h y s e x } ,
(4)

such that the following statements are true.

  1. (i)

    W - is invariant, and dist ( T n ( x ) , Q 2 ( x ̄ ) ) 0asnforevery x W _ .

  2. (ii)

    W + is invariant, and dist ( T n ( x ) , Q 4 ( x ¯ ) ) 0asnforevery x W + .

  3. (B)

    If, in addition to the hypotheses of part (A), x ¯ is an interior point of and T is C 2 and strongly competitive in a neighborhood of x ¯ , then T has no periodic points in the boundary of ( Q 1 ( x ¯ ) Q 3 ( x ¯ ) ) except for x ¯ , and the following statements are true.

  4. (iii)

    For every x W - there exists n 0 such that T n (x) int Q 2 ( x ¯ ) for n ≥ n 0.

  5. (iv)

    For every x W + there exists n 0 such that T n (x) int Q 4 ( x ¯ ) for n ≥ n 0.

If T is a map on a set and if x ¯ is a fixed point of T, the stable set W s ( x ¯ ) of x ¯ is the set { x : T n x x ¯ } and unstable set W u ( x ¯ ) of x ¯ is the set

{ x : there exists { x n } n = - 0 s .t . T ( x n ) = x n + 1 , x 0 = x , and lim n - x n = x ¯ }

When T is non-invertible, the set W s ( x ¯ ) may not be connected and made up of infinitely many curves, or W u ( x ¯ ) may not be a manifold. The following result gives a description of the stable and unstable sets of a saddle point of a competitive map. If the map is a diffeomorphism on , the sets W s ( x ¯ ) and W u ( x ¯ ) are the stable and unstable manifolds of x ¯ .

Theorem 7 In addition to the hypotheses of part (B) of Theorem 6, suppose that μ > 1 and that the eigenspace E μ associated with μ is not a coordinate axis. If the curve C of Theorem 4 has endpoints in ∂, then C is the stable set W s ( x ¯ ) of x ¯ , and the unstable set W u ( x ¯ ) of x ̄ is a curve in that is tangential to E μ at x ¯ and such that it is the graph of a strictly decreasing function of the first coordinate on an interval. Any endpoints of W u ( x ¯ ) in are fixed points of T.

The following result gives information on local dynamics near a fixed point of a map when there exists a characteristic vector whose coordinates have negative product and such that the associated eigenvalue is hyperbolic. This is a well-known result, valid in much more general setting that we include it here for completeness. A point (x, y) is a subsolution if T(x, y) se (x, y), and (x, y) is a supersolution if (x, y) se T(x, y). An order interval 〚(a, b), (c, d)〛 is the cartesian product of the two compact intervals [a, c] and [b, d].

Theorem 8 Let T be a competitive map on a rectangular set 2 with an isolated fixed point x ¯ such that int  ( Q 2 ( x ̄ ) Q 4 ( x ̄ ) ) . Suppose T has a C 1 extension to a neighborhood of x ¯ . Let v = (v(1), v(2)) 2 be an eigenvector of the Jacobian of T at x ¯ , with associated eigenvalue μ . If v(1)v(2) < 0, then there exists an order interval which is also a relative neighborhood of x ¯ such that for every relative neighborhood U of x ¯ the following statements are true.

  1. i.

    If μ > 1, then U int  Q 2 ( x ¯ ) contains a subsolution and U int  Q 4 ( x ¯ ) contains a supersolution. In this case for every int  ( Q 2 ( x ¯ ) Q 4 ( x ¯ ) ) there exists N such that T n (x) for n ≥ N.

  2. ii.

    If μ < 1, then U int  Q 2 ( x ¯ ) contains a supersolution and U int  Q 4 ( x ¯ ) contains a subsolution. In this case T n ( x ) x ¯ for every x .

3 Some basic facts

In this section, we give some basic facts about the nonexistence of period-two solutions, local injectivity of the map T at the equilibrium point, and boundedness of solutions. See [22] for similar analysis.

3.1 Equilibrium points

The equilibrium points ( x ¯ , ȳ) of System (1) satisfy

x ̄ = α 1 + β 1 x ̄ A 1 + ȳ , ȳ = γ 2 ȳ A 2 + B 2 x ̄ + ȳ .
(5)

Solutions of System (5) are:

  1. (i)

    ȳ=0, x ̄ = α 1 A 1 - β 1 , A 1 > β 1, i.e. E 1 = α 1 A 1 - β 1 , 0 . Thus, the equilibrium point E 1 = α 1 A 1 - β 1 , 0 exists if A 1 > β 1.

  2. (ii)

    If ȳ0, then using System (5), we obtain

    ȳ = γ 2 - A 2 - B 2 x ̄ , x ̄ 2 B 2 - x ̄ ( γ 2 + A 1 - A 2 - β 1 ) + α 1 = 0 .
    (6)

Solutions of System (6) are:

x ̄ 3 , 2 = γ 2 + A 1 - A 2 - β 1 ± D 0 2 B 2 , ȳ 2 , 3 = γ 2 - A 2 - A 1 + β 1 ± D 0 2 ,
(7)

where D 0 = (γ 2 - A 2 + A 1 - β 1)2 - 4B 2 α 1 which gives a pair of the equilibrium points E 2 = ( x ̄ 2 , ȳ 2 ) and E 3 = ( x ̄ 3 , ȳ 3 ) .

The criteria for the existence of the three equilibrium points are summarized in Table 1.

Table 1 The equilibrium points of System (1).

3.2 Injectivity

Lemma 1 Assume that ( x ̄ , ȳ ) is an equilibrium of the map T. Then the following holds:

  1. 1)

    If

    B 2 > A 2 β 1 α 1 , A 1 ( B 2 α 1 - A 2 β 1 ) γ 2 - ( B 2 α 1 + ( A 1 - A 2 ) β 1 ) ( A 1 A 2 - β 1 A 2 + B 2 α 1 ) = 0 ,
    (8)

then T x , A 1 A 2 β 1 + x A 1 B 2 β 1 B 2 α 1 - A 2 β 1 = ( x ̄ , ȳ ) for all x ≥ 0, where

( x ̄ , ȳ ) = x ̄ , A 1 A 2 β 1 + x ̄ A 1 B 2 β 1 B 2 α 1 - A 2 β 1 = B 2 α 1 + A 2 β 1 A 1 B 2 , - A 2 β 1 2 + A 1 A 2 β 1 + B 2 α 1 β 1 B 2 α 1 - A 2 β 1 .

That is the line

= x , A 1 A 2 β 1 + x A 1 B 2 β 1 B 2 α 1 - A 2 β 1 : x 0

is invariant, equilibrium ( x ̄ , ȳ ) and for (x, y) the following holds T ( x , y ) = ( x ̄ , ȳ ) , that is every point of this line is mapped to the equilibrium point ( x ̄ , ȳ ) .

1.i) If ( B 2 α 1 - A 2 β 1 ) 2 - A 1 2 B 2 α 1 >0 then ( x ̄ , ȳ ) = E 3 .

1.ii) If ( B 2 α 1 - A 2 β 1 ) 2 - A 1 2 B 2 α 1 <0 then ( x ̄ , ȳ ) = E 2 .

1.iii) If ( B 2 α 1 - A 2 β 1 ) 2 - A 1 2 B 2 α 1 =0 then ( x ̄ , ȳ ) = E 3 = E 2 .

  1. 2)

    If

    B 2 A 2 β 1 α 1 o r A 1 B 2 α 1 - A 2 β 1 γ 2 - B 2 α 1 + A 1 - A 2 β 1 A 1 A 2 - β 1 A 2 + B 2 α 1 0 ,

then the following holds.

T ( x , y ) = ( x ̄ , ȳ ) ( x , y ) = ( x ̄ , ȳ ) .

Proof T ( x , y ) = ( x ̄ , ȳ ) is equivalent to

α 1 + β 1 x A 1 + y , γ 2 y A 2 + B 2 x + y = ( x ̄ , ȳ ) .
(9)

Since ( x ̄ , ȳ ) is the equilibrium point of the map T then System (9) is equivalent to

α 1 + β 1 x A 1 + y , γ 2 y A 2 + B 2 x + y = α 1 + β 1 x ̄ A 1 + ȳ , γ 2 ȳ A 2 + B 2 x ̄ + ȳ .
(10)

System (10) is equivalent to

- y α 1 + ȳ α 1 - y x ̄ β 1 + x ȳ β 1 + x A 1 β 1 - x ̄ A 1 β 1 = 0
(11)
y A 2 γ 2 - ȳ A 2 γ 2 + y x ̄ B 2 γ 2 - x ȳ B 2 γ 2 = 0 .
(12)

Equation 11 implies

y = ȳ α 1 + x ȳ β 1 + x A 1 β 1 - x ̄ A 1 β 1 α 1 + x ̄ β 1 .

and Equation 12 is equivalent to

x - x ̄ - ȳ B 2 α 1 + ȳ A 2 β 1 + A 1 A 2 β 1 + x ̄ A 1 B 2 β 1 γ 2 = 0 .
(13)

We conclude the following: If - ȳ B 2 α 1 + ȳ A 2 β 1 + A 1 A 2 β 1 + x ̄ A 1 B 2 β 1 0, then x= x ̄ and y=ȳ.

On the other hand, if - ȳ B 2 α 1 + ȳ A 2 β 1 + A 1 A 2 β 1 + x ̄ A 1 B 2 β 1 =0, since ( x ̄ , ȳ ) is the equilibrium of the map T, then

B 2 > A 2 β 1 α 1 , ȳ = - A 1 A 2 + x ̄ B 2 β 1 A 2 β 1 - B 2 α 1

and

( x ̄ , ȳ ) = α 1 + β 1 x ̄ A 1 + ȳ , γ 2 ȳ A 2 + B 2 x ̄ + ȳ .

Using these equations, we have

x ̄ = B 2 α 1 - A 2 β 1 A 1 B 2 , ȳ = β 1 - A 1 A 2 + β 1 A 2 - B 2 α 1 A 2 β 1 - B 2 α 1

and

A 1 B 2 α 1 - A 2 β 1 γ 2 - B 2 α 1 + A 1 - A 2 β 1 A 1 A 2 - β 1 A 2 + B 2 α 1 = 0 ,
(14)

which completes the proof of lemma.

3.3 Period-two solutions

In this section, we prove that System (1) has no minimal period-two solutions which will be essential for application of Theorem 4 and Corollary 6.

Lemma 2 System (1) has no minimal period-two solution.

Proof Period-two solution satisfies T 2(x, y) = (x, y), that is

T 2 ( x , y ) = α 1 + β 1 α 1 + x β 1 y + A 1 A 1 + y γ 2 y + A 2 + x B 2 , y γ 2 2 y + A 2 + x B 2 y + A 1 A 2 + B 2 α 1 + x β 1 y + A 1 + y γ 2 = ( x , y ) .

This is equivalent to

- ( y + A 2 + x B 2 ) ( - x β 1 2 - α 1 β 1 + ( y + A 1 ) ( x A 1 - α 1 ) ) + x y ( y + A 1 ) γ 2 ( y + A 1 ) ( A 1 ( y + A 2 + x B 2 ) + y γ 2 ) = 0

and

y y + A 1 γ 2 2 - y y + A 1 γ 2 + - y - A 2 - x B 2 y + A 1 A 2 + B 2 α 1 + x β 1 y + A 2 + x B 2 y + A 1 A 2 + B 2 α 1 + x β 1 + y y + A 1 γ 2 = 0 ,

which is equivalent to

y + A 2 + x B 2 - x β 1 2 - α 1 β 1 + y + A 1 x A 1 - α 1 + x y y + A 1 γ 2 = 0
(15)
y y + A 1 γ 2 2 - y y + A 1 γ 2 + - y - A 2 - x B 2 y + A 1 A 2 + B 2 α 1 + x β 1 = 0
(16)

If y = 0, we substitute in (15) to obtain the first fixed point, that is x= α 1 A 1 - β 1 i x=- A 2 B 2 . Assume

y + A 1 γ 2 2 - y y + A 1 γ 2 + - y - A 2 - x B 2 y + A 1 A 2 + B 2 α 1 + x β 1 = 0 .
(17)

From (17) we calculate x 2. We have

x 2 = - y + A 1 A 2 2 + y 2 + A 1 y + x B 2 + B 2 α 1 + x y + β 1 A 2 B 2 2 β 1 - x B 2 2 α 1 + y B 2 α 1 + x β 1 + y + A 1 y - γ 2 γ 2 B 2 2 β 1 .
(18)

Put (18) into (15), we have that (15) is equivalent to

y + A 1 = 0
(19)

or

A 1 y + A 1 - β 1 2 γ 2 2 + y β 1 2 + x B 2 β 1 - A 1 y + A 1 γ 2 + - y - A 2 - x B 2 - A 2 β 1 2 + B 2 α 1 β 1 + A 1 y + A 1 A 2 + B 2 α . 1 = 0
(20)

If (19) holds, then we obtain a negative solution. Now, assume that (20) holds. We have

x = A 1 y + A 1 - β 1 2 γ 2 2 - y A 1 y + A 1 - β 1 2 γ 2 B 2 A 2 A 1 2 + y A 2 + B 2 α 1 A 1 - β 1 - B 2 α 1 + A 2 β 1 + y γ 2 + - y - A 2 - A 2 β 1 2 + B 2 α 1 β 1 + A 1 y + A 1 A 2 + B 2 α 1 B 2 A 2 A 1 2 + y A 2 + B 2 α 1 A 1 - β 1 - B 2 α 1 + A 2 β 1 + y γ 2 .
(21)

Put (21) into (18), we obtain that (18) is equivalent to

- y 2 + - A 1 - A 2 + β 1 + γ 2 y - B 2 α 1 + β 1 A 2 - γ 2 + A 1 γ 2 - A 2 = 0
(22)

or

- A 2 + γ 2 A 1 2 + β 1 - A 2 A 1 + β 1 γ 2 y 2 - A 1 + β 1 A 1 - A 2 + β 1 - γ 2 × B 2 α 1 + A 1 A 2 + γ 2 - β 1 A 2 + γ 2 y + A 1 + β 1 2 γ 2 B 2 α 1 + A 1 A 2 + γ 2 - β 1 A 2 + γ 2 = 0 .
(23)

If (22) holds, we obtain the fixed points. So, we assume that (23) holds. Set

Δ : = A 1 + β 1 2 B 2 α 1 + A 1 - β 1 A 2 + γ 2 × B 2 α 1 + A 1 - β 1 A 2 + γ 2 A 1 - A 2 + β 1 - γ 2 2 + 4 γ 2 A 2 + γ 2 A 1 A 1 - A 2 + β 1 + β 1 γ 2 .
(24)

If Δ ≥ 0 and A 1(A 1 - A 2 + β 1) + β 1 γ 2 ≠ 0 hold, we obtain the real solution of the form

y 1 = - ( Δ 1 - Δ ) 2 A 2 + γ 2 A 1 A 1 - A 2 + β 1 + β 1 γ 2 y 2 = - ( Δ 1 + Δ ) 2 A 2 + γ 2 A 1 A 1 - A 2 + β 1 + β 1 γ 2

where

Δ 1 : = A 1 + β 1 A 1 - A 2 + β 1 - γ 2 B 2 α 1 + A 1 - β 1 A 2 + γ 2 .

Substituting this into (21), we have that the corresponding solutions are

x 1 = ( Δ 2 - Δ ) 2 B 2 A 1 + β 1 A 1 A 1 - A 2 + β 1 + β 1 γ 2 x 2 = ( Δ 2 + Δ ) 2 B 2 A 1 + β 1 A 1 A 1 - A 2 + β 1 + β 1 γ 2

where

Δ 2 : = A 1 + β 1 - A 1 + β 1 γ 2 2 - A 1 + β 1 2 + B 2 α 1 γ 2 + - A 1 + A 2 - β 1 A 2 A 1 + β 1 - B 2 α 1 .
(25)

   □

Claim 1 Assume Δ ≥ 0. Then we have:

  1. a)

    If x 1 ≥ 0 then y 1 < 0.

  2. b)

    If x 2 ≥ 0 then y 2 < 0.

Proof. Since T : [0, ∞)2 → [0, ∞)2, T(x 1, y 1) = (x 2, y 2) and T(x 2, y 2) = (x 1, y 1), it is obvious that if (x i , y i ) [0, ∞)2 holds then T(x i , y i ) [0, ∞)2 for i = 1, 2. It is enough to show that the assumptions (x 1, y 1), (x 2, y 2) [0, ∞)2 and T(x 1, y 1) = (x 2, y 2) ≠ (x 1, y 1) lead to a contradiction.

Indeed, if A 1(A 1 - A 2 + β 1) + β 1 γ 2 > 0 then (x 1, y 1) se (x 2, y 2). Since T is strongly competitive map then (x 2, y 2) = T(x 1, y 1) << se T(x 2, y 2) = (x 1, y 1) which is impossible since (x 1, y 1) se (x 2, y 2).

If A 1(A 1 - A 2 + β 1) + β 1 γ 2 < 0 then (x 2, y 2) se (x 1, y 1) Similarly, we have the same conclusion if A 1(A 1 - A 2 + β 1) + β 1 γ 2 = 0.   □

3.4 Boundedness of solutions

Lemma 3 Assume that y 0 = 0, x 0 + . Then the following statements are true.

  1. (i)

    If A 1 > β 1 then y n =0 x n α 1 A 1 - β 1 , n → ∞.

  2. (ii)

    If A 1 < β 1 then y n = 0, x n → ∞, n → ∞.

  3. (iii)

    If A 1 = β 1, then x n = x 0 + α 1 A 1 n and y n = 0, x n → ∞.

Assume that y 0 ≠ 0 and ( x 0 , y 0 ) 2 + . Then the following statements are true.

  1. (iv)

    x n + 1 α 1 A 1 + β 1 A 1 x n for all n = 0, 1, 2,...

  2. (v)

    y n γ 2, nN, y n + 1 C γ 2 A 2 n and

  3. (a)

    x n α 1 A 1 - β 1 , A 1 > β 1.

  4. (b)

    x n α 1 A 1 - β 1 +ε, ε > 0, A 1 > β 1.

  5. (c)

    If γ 2 < A 2 then y n → 0, n → ∞

Proof. Take y 0 = 0 and x 0 +. Then, we have y n = 0, for all n , and

x n + 1 = α 1 A 1 + β 1 A 1 x n .
(26)

Solution of Equation 26 is

x n = c β 1 A 1 n + α 1 A 1 - β 1
(27)

From y n + 1 = γ 2 y n A 2 + B 2 x n + y n it follows that y n + 1 γ 2 A 2 y n , y n+1γ 2, n ≥ 0. The proof of Lemma 3 follows from (27).   □

4 Linearized stability analysis

The map T associated to System (1) is given by

T ( x , y ) = α 1 + β 1 x A 1 + y , γ 2 y A 2 + B 2 x + y .

The Jacobian matrix of the map T has the form:

J T = β 1 A 1 + y - α 1 + β 1 x ( A 1 + y ) 2 - B 2 γ 2 y ( A 2 + B 2 x + y ) 2 γ 2 A 2 + γ 2 B 2 x ( A 2 + B 2 x + y ) 2 .
(28)

The value of the Jacobian matrix of T at the equilibrium point E= ( x ̄ , ȳ ) is

J T ( x ̄ , ȳ ) = β 1 A 1 + ȳ - x ̄ A 1 + ȳ - B 2 ȳ A 2 + B 2 x ̄ + ȳ γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 .
(29)

The determinant of (29) is given by

det J T ( x ̄ , ȳ ) = β 1 A 1 + ȳ γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 - x ̄ A 1 + ȳ B 2 ȳ A 2 + B 2 x ̄ + ȳ .

The trace of (29) is

Tr J T ( x ̄ , ȳ ) = β 1 A 1 + ȳ + γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 .

The characteristic equation has the form

λ 2 λ ( β 1 A 1 + y ¯ + γ 2 A 2 + γ 2 B 2 x ¯ ( A 2 + B 2 x ¯ + y ¯ ) ) + β 1 ( γ 2 A 2 + γ 2 B 2 x ¯ ) ( A 1 + y ¯ ) ( A 2 + B 1 x ¯ + y ¯ ) 2 B 1 x ¯ y ¯ ( A 1 + y ¯ ) ( A 2 + B 2 x ¯ + y ¯ ) = 0.

Theorem 9 Assume that A 1 > β 1. Then there exists the equilibrium point E 1 and:

  1. (i)

    E 1 is locally asymptotically stable if γ 2 - A 2 < B 2 α 1 A 1 - β 1 .

  2. (ii)

    E 1 is a saddle point if γ 2 - A 2 > B 2 α 1 A 1 - β 1 . The eigenvalues are

    λ 1 = β 1 A 1 , λ 2 = ( A 1 - β 1 ) γ 2 B 2 α 1 + A 2 ( A 2 - β 1 ) .

The corresponding eigenvectors, respectively, are

v 1 = ( 1 , 0 ) , v 2 = α 1 A 1 ( A 1 - β 1 ) β 1 α 1 - ( A 1 - β 1 ) A 1 A 2 + B 2 α 1 - A 2 β 1 , 1 .
  1. (iii)

    E 1 is non-hyperbolic if γ 2 - A 2 = B 2 α 1 A 1 - β 1 . The eigenvalues are λ 1 = β 1 A 1 , λ 2 = 1. The corresponding eigenvectors are - α 1 ( A 1 - β 1 ) 2 , 1 and (1, 0).

Proof. Evaluating Jacobian (29) at the equilibrium point E 1(α 1/(A 1 - β 1), 0),

J T ( E 1 ) = β 1 A 1 - α 1 A 1 ( A 1 - β 1 ) 0 ( A 1 - β 1 ) γ 2 A 2 ( A 1 - β 1 ) + B 2 α 1 .
(30)

The determinant of (30) is given by

det J T ( x ̄ , ȳ ) = β 1 γ 2 ( A 1 - β 1 ) A 1 [ A 2 ( A 1 - β 1 ) + B 2 α 1 ] .

The trace of (30) is

Tr J T ( x ̄ , ȳ ) = β 1 A 1 + ( A 1 - β 1 ) γ 2 A 2 ( A 1 - β 1 ) + B 2 α 1 .

The characteristic equation associated to System (1) at E 1 has the form

β 1 A 1 - λ ( A 1 - β 1 ) γ 2 A 2 ( A 1 - β 1 ) + B 2 α 1 - λ = 0 .
(31)

From Equation 31 we have

λ 1 = β 1 A 1 , λ 2 = ( A 1 - β 1 ) γ 2 A 2 ( A 1 - β 1 ) + B 2 α 1 .
  1. (i)

    If A 1 > β 1 and γ 2 - A 2 < B 2 α 1 A 1 - β 1 then λ 1 < 1 and λ 2 < 1. Hence, E 1 is a sink.

  2. (ii)

    If A 1 > β 1 and γ 2 - A 2 > B 2 α 1 A 1 - β 1 . Then λ 1 < 1, and λ 2 < 1. Hence, E 1 is a saddle.

  3. (iii)

    If A 1 > β 1 and γ 2 - A 2 = B 2 α 1 A 1 - β 1 . Then, using Equation 31, we have that λ 1 < 1 and λ 2 < 1.

From (30) we obtain the eigenvectors that correspond to these eigenvalues.   □

We now perform a similar analysis for the other cases in table.

Theorem 10 Assume

A 1 > β 1 , A 1 + A 2 < β 1 + γ 2 , A 1 - β 1 γ 2 - A 2 B 2 < α 1 < A 1 - A 2 - β 1 + γ 2 2 4 B 2 .

Then E 1, E 2, E 3 exist and:

  1. (i)

    Equilibrium E 1 is locally asymptotically stable.

  2. (ii)

    Equilibrium E 3 is a saddle point. The eigenvalues are

    λ 1 = - ȳ 3 A 1 + ȳ 3 + γ 2 A 1 + β 1 + ȳ 3 - D 2 γ 2 A 1 + ȳ 3

and

λ 2 = - ȳ 3 A 1 + ȳ 3 + γ 2 A 1 + β 1 + ȳ 3 + D 2 γ 2 ( A 1 + ȳ 3 ) ,

and |λ 1| < 1, |λ 2| > 1, where

D = ȳ 3 2 A 1 + ȳ 3 2 - 2 γ 2 ȳ 3 A 1 - β 1 - 2 B 2 x ̄ 3 + ȳ 3 A 1 + ȳ 3 + γ 2 2 A 1 - β 1 + ȳ 3 2 .

The corresponding eigenvectors, respectively, are

v 1 = - ȳ 3 A 1 + ȳ 3 + γ 2 A 1 - β 1 + ȳ 3 + D , 2 B 2 ȳ 3 A 1 + ȳ 3 v 2 = - ȳ 3 A 1 + ȳ 3 + γ 2 A 1 - β 1 + ȳ 3 - D , 2 B 2 ȳ 3 A 1 + ȳ 3 .
  1. (iii)

    Equilibrium E 2 is locally asymptotically stable.

Proof. By Theorem 9 (i) holds.

Equilibrium E 3 is a saddle if and only if the following conditions are satisfied

| Tr J T ( x ̄ , ȳ ) | > | 1 + det J T ( x ̄ , ȳ ) | and Tr 2 J T ( x ̄ , ȳ ) - 4 det J T ( x ̄ , ȳ ) > 0 .

The first condition is equivalent to

β 1 A 1 + ȳ + γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 > 1 + β 1 ( A 1 + ȳ ) γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 - B 2 x ̄ ȳ ( A 1 + ȳ ) ( A 2 + B 2 x ̄ + ȳ )

which is equivalent to

β 1 ( A 2 + B 2 x ¯ + y ¯ ) 2 + ( A 1 + y ¯ ) ( γ 2 A 2 + γ 2 B 2 x ¯ ) > ( A 1 + y ¯ ) ( A 2 + B 2 x ¯ + y ¯ ) 2 + β 1 γ 2 ( A 2 + B 2 x ¯ ) B 2 x ¯ y ¯ ( A 2 + B 2 x ¯ + y ¯ ) .

This is equivalent to

( A 2 + B 2 x ̄ + ȳ ) 2 ( β 1 - A 1 - ȳ ) + γ 2 ( A 2 + B 2 x ̄ ) ( A 1 + ȳ - β 1 ) > - B 2 x ̄ ȳ ( A 2 + B 2 x ̄ + ȳ ) γ 2 2 ( β 1 - A 1 - ȳ ) + γ 2 ( A 2 + B 2 x ̄ ) ( A 1 + ȳ - β 1 ) > - B 2 γ 2 x ̄ ȳ ( A 1 - β 1 + ȳ ) ( A 2 + B 2 x ̄ - γ 2 ) > - B 2 x ̄ ȳ ( β 1 - A 1 - ȳ ) ( A 2 + B 2 x ̄ - γ 2 ) < B 2 x ̄ ȳ .

We have to prove that ( β 1 - A 1 - ȳ 3 ) ( A 2 + B 2 x ̄ 3 - γ 2 ) < B 2 x ̄ 3 ȳ 3 . Notice that

β 1 - A 1 - ȳ 3 = - B 2 x ̄ 2 and A 2 + B 2 x ̄ 3 - γ 2 = - ȳ 3 .

Now,

( β 1 - A 1 - ȳ 3 ) ( A 2 + B 2 x ̄ 3 - γ 2 ) < B 2 x ̄ 3 ȳ 3

is equivalent to B 2 x ̄ 2 ȳ 3 < B 2 x ̄ 3 ȳ 3 . This implies x ̄ 2 < x ̄ 3 which is true. Condition

Tr 2 J T ( x ̄ , ȳ ) - 4 det J T ( x ̄ , ȳ ) > 0

is equivalent to

β 1 A 1 + ȳ - γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 2 + 4 B 2 x ̄ ȳ ( A 1 + ȳ ) ( A 2 + B 2 x ̄ + ȳ ) > 0

which is clearly satisfied. Hence, E 3 is a saddle.

Now, we prove that E 2 is locally asymptotically stable. Notice that

| Tr J T ( x ̄ , ȳ ) | < 1 + det J T ( x ̄ , ȳ ) < 2

implies x ̄ 3 > x ̄ 2 which is true.

The second condition is equivalent to

β 1 ( A 1 + ȳ ) γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 - B 2 x ̄ ȳ ( A 1 + ȳ ) ( A 2 + B 2 x ̄ + ȳ ) < 1 .

This implies the following

β 1 γ 2 ( A 2 + B 2 x ¯ ) B 2 x ¯ y ¯ ( A 2 + B 2 x ¯ + y ¯ ) < ( A 1 + y ¯ ) ( A 2 + B 2 x ¯ + y ¯ ) 2 .

Now, using Equation 5, we obtain

β 1 γ 2 ( γ 2 - ȳ ) - B 2 x ̄ ȳ γ 2 < ( A 1 + ȳ ) γ 2 2 - ( β 1 ȳ + B 2 x ̄ ȳ ) < ( A 1 - β 1 + ȳ ) γ 2

which is true, since the left side is always negative, while the right side is always positive.

Theorem 11 Assume

A 1 > β 1 , A 1 + A 2 < β 1 + γ 2 , α 1 = A 1 - A 2 - β 1 + γ 2 2 4 B 2 .

Then E 1(α 1/(A 1 - β 1), 0) and E 2 = E 3 = γ 2 - A 2 + A 1 - β 1 2 B 2 , γ 2 - A 2 - A 1 + β 1 2 exist and

  1. (i)

    Equilibrium E 1 is locally asymptotically stable.

  2. (ii)

    Equilibrium E 2 is non-hyperbolic. The eigenvalues are

    λ 1 = 1 , λ 2 = A 1 2 - A 2 2 + 2 A 2 β 1 - β 1 2 + 2 A 2 γ 2 + 2 β 1 γ 2 - γ 2 2 2 γ 2 ( A 1 - A 2 + β 1 + γ 2 ) .

The corresponding eigenvectors are

( - 1 B 2 , 1 ) , 2 γ 2 ( A 1 - A 2 - β 1 + γ 2 ) B 2 ( - A 1 - A 2 + β 1 + γ 2 ) ( A 1 - A 2 + β 1 + γ 2 ) , 1 .

Proof. By Theorem 9, E 1 is locally asymptotically stable.

Now, we prove that E 2 is non-hyperbolic.

Evaluating Jacobian (29) at the equilibrium point E 2 = γ 2 - A 2 + A 1 - β 1 2 B 2 , γ 2 - A 2 - A 1 + β 1 2 ,

J T ( E 2 ) = β 1 A 1 + ȳ - x ̄ A 1 + ȳ - B 2 ȳ γ 2 A 2 + B 2 x ̄ γ 2 = 2 β 1 A 1 + γ 2 - A 2 + β 1 - γ 2 + A 2 - A 1 + β 1 B 2 ( A 1 + γ 2 - A 2 + β 1 ) - B 2 ( γ 2 - A 2 - A 1 + β 1 ) 2 γ 2 A 2 + γ 2 + A - 1 - β 1 2 γ 2 .
(32)

The eigenvalues of (32) are

λ 1 = 1 , and λ 2 = A 1 2 - A 2 2 + 2 A 2 β 1 - β 1 2 + 2 A 2 γ 2 + 2 β 1 γ 2 - γ 2 2 2 γ 2 ( A 1 - A 1 + β 1 + γ 2 ) .

Notice that |λ 2| < 1. Hence, E 2 is non-hyperbolic.

Theorem 12 Assume

A 1 > β 1 , A 2 < γ 2 < A 1 + A 2 - β 1 , A 1 - β 1 γ 2 - A 2 B 2 < α 1 A 1 - A 2 - β 1 + γ 2 2 4 B 2 A 1 > β 1 , A 2 > γ 2 , α 1 A 1 - A 2 - β 1 + γ 2 2 4 B 2 , A 1 + γ 2 A 2 + β 1 A 1 > β 1 , A 2 = γ 2 , α 1 A 1 - A 2 - β 1 + γ 2 2 4 B 2 A 1 > β 1 , α 1 > A 1 - A 2 - β 1 + γ 2 2 4 B 2

Then there exists a unique equilibrium E 1 (α 1/(A 1 - β),0) which is locally asymptotically stable.

Proof. Observe that the assumption of Theorem 12 implies that the y coordinates of the equilibrium E 2 and E 3 are less then zero. By Theorem 9 E 1 is locally asymptotically stable.

Theorem 13 Assume

A 1 > β 1 , A 2 < γ 2 , α 1 < A 1 - β 1 γ 2 - A 2 B 2 .

Then then there exist two equilibrium points E 1 and E 2. E 1 is a saddle point. The eigenvalues are

λ 1 = β 1 A 1 , λ 2 = ( A 1 - β 1 ) γ 2 B 2 α 1 + A 2 ( A 2 - β 1 ) .

The corresponding eigenvectors, respectively, are

v 1 = ( 1 , 0 ) , v 2 = α 1 A 1 ( A 1 - β 1 ) β 1 α 1 - ( A 1 - β 1 ) A 1 A 2 + B 2 α 1 - A 2 β 1 , 1 .

The equilibrium E 2 is locally asymptotically stable.

Proof. By Theorem 9 (ii), E 1 is a saddle point.

Now, we check the sign of coordinates of the equilibrium point E 2. We have that x ̄ 2 >0, since all parameters are positive. Consider ȳ 2 . Since

A 1 - A 2 - β 1 + γ 2 2 4 B 2 - A 1 - β 1 γ 2 - A 2 B 2 = A 1 + A 2 - β 1 - γ 2 2 4 B 2 > 0 ,

we have that (γ 2 - A 2 + A 1 - β 1)2 - 4α 1 B 2 > 0.

ȳ 1 > 0 γ 2 - A 2 + β 1 - A 1 + ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 α 1 B 2 > 0 .

This implies

( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 α 1 B 2 > ( A 1 - β 1 ) - ( γ 2 - A 2 ) .
(33)

From Equation 33, we see that inequality is always true if A 1 - β 1 < γ 2 - A 2. If A 1 - β 1 > γ 2 - A 2, then

( γ 2 A 2 ) 2 + 2 ( γ 2 A 2 ) ( A 1 β 1 ) + ( A 1 β 1 ) 2 4 α 1 B 1 > ( A 1 β 1 ) 2 2 ( A 1 β 1 ) ( γ 2 A 2 ) ( γ 2 A 2 ) ( A 1 β 1 ) > α 1 B 2

which is true, since A 1 - β 1 > B 2 α 1 γ 2 - A 2 . So, in both cases x ̄ 2 >0 and ȳ 2 >0.

Notice, that x ̄ 3 >0. Now, we check the sign of ȳ 3 . Assume that ȳ 3 >0. Then, we have

ȳ 2 > 0 ( γ 2 - A 2 ) - ( A 1 - β 1 ) > ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 α 1 B 2 . ( γ 2 - A 2 ) ( A - 1 - β 1 ) < α 1 B 2 .

This is a contradiction with the assumption of theorem and so E 3 is not in considered domain.

By Theorem 10, E 2 is a locally asymptotically stable.

Theorem 14 Assume

A 1 > β 1 , A 1 + A 2 < β 1 + γ 2 , α 1 = A 1 - β 1 γ 2 - A 2 B 2 .

Then there exist two equilibrium points E 1 E 3 = α 1 A 1 - β 1 , 0 and E 2 = α 1 γ 2 - A 2 , γ 2 - A 2 - A 1 + β 1 2 , and E 1 ≡ E 3 is non-hyperbolic. The eigenvalues are λ 1 = β 1 A 1 , λ 2 = 1. The corresponding eigenvectors are - α 1 ( A 1 - β 1 ) 2 , 1 and (1. 0) The equilibrium point E 2 is locally asymptotically stable.

Proof. By Theorem 10, E 2 is locally asymptotically stable. By Theorem 9 (iii), E 1 is non-hyperbolic.

Now, we consider the special case of System (1) when A 1 = β 1.

In this case, System (1) becomes

x n + 1 = α 1 + A 1 x n A 1 + y n y n + 1 = γ 2 y n A 2 + B 2 x n + y n , n = 0 , 1 , 2 ,
(34)

The map T associated to System (34) is given by

T ( x , y ) = α 1 + A 1 x A 1 + y , γ 2 y A 2 + B 2 x + y .

The Jacobian matrix of the map T has the form:

J T = A 1 A 1 + y - α 1 + A 1 x ( A 1 + y ) 2 - β 2 γ 2 y ( A 2 + B 2 x + y ) 2 γ 2 A 2 + γ 2 B 2 x ( A 2 + B 2 x + y ) 2 .
(35)

The value of the Jacobian matrix of T at the equilibrium point E= ( x ̄ , ȳ ) is

J T ( x ̄ , ȳ ) = A 1 A 1 + ȳ - x ̄ A 1 + ȳ - B 2 ȳ A 2 + B 2 x ̄ + ȳ γ 2 A 2 + γ 2 B 2 x ̄ ( A 2 + B 2 x ̄ + ȳ ) 2 = A 1 A 1 + ȳ - x ̄ A 1 + ȳ - B 2 ȳ γ 2 A 2 + B 2 x ̄ γ 2 .
(36)

The characteristic equation of T at ( x ̄ , ȳ ) has the form

λ 2 - λ A 1 A 1 + ȳ + A 2 + B 2 x ̄ γ 2 + A 1 A 1 + ȳ A 2 + B 2 x ̄ γ 2 - B 2 x ̄ ȳ ( A 1 + ȳ ) γ 2 = 0 .

Equilibrium points satisfy the following System

x ̄ = α 1 + A 1 x ̄ A 1 + ȳ ȳ = γ 2 ȳ A 2 + B 2 x ̄ + ȳ n = 0 , 1 ,
(37)

Notice, if ȳ=0, then using the first equation of System (37 we obtain α 1 = 0 which is impossible. If ȳ0 then, using System (37), we obtain

ȳ = γ 2 - A 2 - B 2 x ̄ 0 = B 2 x ̄ 2 - x ̄ ( γ 2 - A 2 ) + α 1 .

and the equilibrium points are:

E 3 = γ 2 - A 2 + ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 B 2 , γ 2 - A 2 - ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 , E 2 = γ 2 - A 2 - ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 B 2 , γ 2 - A 2 + ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 .

We prove the following.

Theorem 15 Assume

A 1 = β 1 .

Then the following statements hold.

  1. (i)

    If γ 2 > A 2, (γ 2 - A 2)2 - 4B 2 α 1 > 0 then System (34) has two positive equilibrium points

    E 3 = γ 2 - A 2 + ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 B 2 , γ 2 - A 2 - ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2

    and

    E 2 = γ 2 - A 2 - ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 B 2 , γ 2 - A 2 + ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 .

    E 3 is a saddle point. The eigenvalues are

    λ 1 = - ȳ 3 ( A 1 + ȳ 3 ) + γ 2 ( 2 A 1 + ȳ 3 ) - F 2 γ 2 ( A 1 + ȳ 3 ) , | λ 1 | < 1 λ 2 = - ȳ 3 ( A 1 + ȳ 3 ) + γ 2 ( 2 A 1 + ȳ 3 ) + F 2 γ 2 ( A 1 + ȳ 3 ) , λ 2 > 1 ,

    where

    F = ȳ 3 2 ( A 1 + ȳ 3 ) 2 - 2 γ 2 ȳ 3 ( ȳ 3 - 2 B 2 x ̄ 3 ) ( A 1 + ȳ 3 ) + γ 2 2 ȳ 3 2 .

    The corresponding eigenvectors are

    v 1 = ( - ȳ 3 ( A 1 + ȳ 3 ) + γ 2 ȳ 3 + F , 2 B 2 ȳ 3 ( A 1 + ȳ 3 ) ) , v 2 = ( - ȳ 3 ( A 1 + ȳ 3 ) + γ 2 ȳ 3 - F , 2 B 2 ȳ 3 ( A 1 + ȳ 3 ) ) .

    The equilibrium E 2 is locally asymptotically stable.

  2. (ii)

    If γ 2 > A 2 , (γ 2 - A 2)2 - 4B 2 α 1 > 0 then System (34) has a unique equilibrium point E= γ 2 - A 2 2 B 2 , γ 2 - A 2 2 which is non-hyperbolic. The eigenvalues are λ 1 = 1 and λ 2 = 2 A 1 A 2 - A 2 2 + 2 A 1 γ 2 + 2 A 2 γ 2 - γ 2 2 2 γ 2 ( 2 A 1 - A 2 + γ 2 ) . The corresponding eigenvectors are:(-1/B 2, 1) and 2 γ 2 B 2 ( 2 A 1 - A 2 + γ 2 ) , 1 .

  3. (iii)

    If γ 2 < A 2 and (γ 2 - A 2)2 - 4B 2 α 1 ≥ 0 or (γ 2 - A 2)2 - 4B 2 α 1 > 0 then System (34) has no equilibrium points.

Proof. (i) First, notice that under these assumptions, E 3 and E 2 are positive. Now, we prove that E 3 is a saddle point.

The equilibrium point E 3 is a saddle if and only if the following conditions are satisfied

| Tr J T ( x ̄ , ȳ ) | > | 1 + det J T ( x ̄ , ȳ ) | and Tr 2 J T ( x ̄ , ȳ ) - 4 det J T ( x ̄ , ȳ ) > 0 .

The first condition is equivalent to

A 1 A 1 + ȳ + A 2 + B 2 x ̄ γ 2 > 1 + A 1 ( A 2 + B 2 x ̄ ) γ 2 ( A 1 + ȳ ) - B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) ,

which is equivalent to

A 1 γ 2 + ( A 1 + ȳ ) ( A 2 + B 2 x ̄ ) > γ 2 ( A 1 + ȳ ) + A 1 ( A 1 + B 2 x ̄ ) - B 2 x ̄ ȳ ,

and this is equivalent to

γ 2 - A 2 < 2 B 2 x ̄ .

In the case of equilibrium E 3, this condition becomes

γ 2 - A 2 < 2 B 2 x ̄ 3 γ 2 - A 2 < γ 2 - A 2 + ( γ 2 - A 2 ) 2 - 4 B 2 α 1 ( γ 2 - A 2 ) 2 - 4 B 2 α 1 > 0 ,

which is true.

The second condition becomes

A 1 A 1 + ȳ + A 2 + B 2 x ̄ γ 2 2 - 4 A 1 ( A 2 + B - 2 x ̄ ) γ 2 ( A 1 + ȳ ) + 4 B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) = A 1 A 1 + ȳ - A 2 + B 2 x ̄ γ 2 2 + 4 B 2 x ̄ ȳ γ 2 ( A 1 + ȳ )

which is greater then zero. Hence, E 3 is a saddle.

Now, we prove that E 2 is locally asymptotically stable. The equilibrium point E 2 is locally asymptotically stable if the following is satisfied

| Tr J T ( x ̄ , ȳ ) | < 1 + det J T ( x ̄ , ȳ ) < 2 .

The first condition is equivalent to

A 1 A 1 + ȳ + A 2 + B 2 x ̄ γ 2 < 1 + A 1 ( A 2 + B 2 x ̄ ) γ 2 ( A 1 + ȳ ) - B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) .

This implies

A 1 γ 2 + ( A 1 + ȳ ) ( A 2 + B 2 x ̄ ) < γ 2 ( A 1 + ȳ ) + A 1 ( A 2 + B 2 x ̄ ) - B 2 x ̄ ȳ

which is equivalent to γ 2 - A 2 >2 B 2 x ̄ . In the case of the equilibrium point E 2, we have

γ 2 - A 2 > γ 2 - A 2 - ( γ 2 - A 2 ) 2 - 4 B 2 α 1 - ( γ 2 - A 2 ) 2 - 4 B 2 α 1 < 0

which is true.

The second condition is equivalent to

A 1 ( A 2 + B 2 x ̄ ) γ 2 ( A 1 + ȳ ) - B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) < 1 .

This implies

A 1 ( A 2 + B 2 x ̄ ) - B 2 x ̄ ȳ < γ 2 ( A 1 + ȳ ) A 1 ( A 2 - γ 2 + B 2 x ̄ ) < ȳ ( γ 2 + B 2 x ̄ ) .

Notice that

A 2 - γ 2 + B 2 x ̄ 2 = A 2 - γ 2 - ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 = - γ 2 - A 2 + ( γ 2 - A 2 ) 2 - 4 B 2 α 1 2 = - ȳ 2 .

Now, condition A 1 ( A 2 - γ 2 + B 2 x ̄ ) <ȳ ( γ 2 + B - 2 x ̄ ) becomes - A 1 ȳ 2 < ȳ 2 ( γ 2 + B 2 x ̄ 2 ) - A 1 < γ 2 + B 2 x ̄ 2 which is true. Hence, E 2 is locally asymptotically stable.

(ii) The characteristic equation associated to System (37) at E has the form

λ 2 - λ 2 A 1 2 A 1 + γ 2 - A 2 + A 2 + γ 2 2 γ 2 + A 1 γ 2 - ( γ 2 - A 2 ) 2 2 γ 2 ( 2 A 1 + γ 2 - A 2 ) = 0 .
(38)

Solutions of Equation (38) are λ 1 = 1 and λ 2 = 2 A 1 A 2 - A 2 2 + 2 A 1 γ 2 + 2 A 2 γ 2 - γ 2 2 2 γ 2 ( 2 A 1 - A 2 + γ 2 ) .

The corresponding eigenvectors are (-1/B 2, 1) and 2 γ 2 B 2 ( 2 A 1 - A 2 + γ 2 ) , 1 .

If γ 2 < A 2 and (γ 2 - A 2)2 - 4B 2 α 1 ≥ 0 then x ̄ 2 <0 and x ̄ 3 <0.

Theorem 16 Assume

A 1 < β 1 , γ 2 > A 2 , γ 2 - A 2 > β 1 - A 1 and ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 > 0 .

Then there exist two positive equilibrium points

E 2 = γ 2 - A 2 + A 1 - β 1 - ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2 B 2 , γ 2 - A 2 - A 1 + β 1 + ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2

and

E 3 = γ 2 - A 2 + A 1 - β 1 + ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2 B 2 , γ 2 - A 2 + β 1 - A 1 - ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2 .

E 2 is locally asymptotically stable and E 3 is a saddle. The eigenvalues of characteristic equation at E 3 are

λ 1 = - ȳ 3 A 1 + ȳ 3 + γ 2 A 1 + β 1 + ȳ 3 D 2 γ 2 A 1 + ȳ 3 ,

where

D = ȳ 3 2 A 1 + ȳ 3 2 - 2 γ 2 ȳ 3 A 1 - β 1 - 2 B 2 x ̄ 3 + ȳ 3 A 1 + ȳ 3 + γ 2 2 A 1 - β 1 + ȳ 3 2 .

The corresponding eigenvectors are

v 1 , 2 = - ȳ 3 A 1 + ȳ 3 + γ 2 A 1 - β 1 + ȳ 3 ± D , 2 B 2 ȳ 3 A 1 + ȳ 3 .

Proof. Now, we prove that E 2 is a sink. We check the condition | Tr J T ( x ̄ , ȳ ) |<1+det J T ( x ̄ , ȳ ) <2. The first condition is equivalent to

β 1 A 1 + ȳ + A 2 + B 2 x ̄ γ 2 < 1 + β 1 ( A 2 + B 2 x ̄ ) γ 2 ( A 1 + ȳ ) - B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) .

This implies

β 1 γ 2 + ( A 1 + ȳ ) ( A 2 + B 2 x ̄ ) < γ 2 ( A 1 + ȳ ) + β 1 ( A 2 + B 2 x ̄ ) - B 2 x ̄ ȳ γ 2 ( β 1 - A 1 - ȳ ) + ( A 2 + B 2 x ̄ ) ( A 1 + ȳ - β 1 ) < - B 2 x ̄ ȳ ( A 1 - β 1 + ȳ ) ( A 2 + B 2 x ̄ - γ 2 ) < - B 2 x ̄ ȳ ȳ ( A 1 - β 1 + ȳ ) > B 2 x ̄ ȳ ( A 1 - β 1 + ȳ ) > B 2 x ̄ .

So, we have to prove

( A 1 - β 1 + ȳ 2 ) > B 2 x ̄ 2 .
(39)

Note that

A 1 - β 1 + ȳ 2 = A 1 - β 1 + γ 2 - A 2 + β 1 - A 1 + ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2 = A 1 - β 1 + γ 2 - A 2 + ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2 B 2 B 2 = B 2 x ̄ 3 .

Now, (39) becomes B 2 x ̄ 3 > B 2 x ̄ 2 x ̄ 3 > x ̄ 2 which is true.

The second condition is equivalent to

β 1 ( A 2 + B 2 x ̄ ) γ 2 ( A 1 + ȳ ) - B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) < 1 .

This implies β 1 ( γ 2 - ȳ ) - B 2 x ̄ ȳ< γ 2 ( A 1 + ȳ ) . Using equations of equilibrium points, we obtain ȳ 2 ( β 1 + B 2 x ̄ 2 ) > γ 2 ( β 1 - A 1 - ȳ 2 ) and

β 1 + B 2 x ̄ 2 = β 1 + γ 2 - A 2 + A 1 - β 1 - ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2 = γ 2 - A 2 + A 1 + β 1 - ( γ 2 - A 2 + A 1 - β 1 ) 2 - 4 B 2 α 1 2 > 0 .

On the other hand, we have

v 1 , 2 = ( y ¯ 3 ( A 1 + y ¯ 3 ) + γ 2 ( A 1 β 1 + y ¯ 3 ) ± D , 2 B 2 y ¯ 3 ( A 1 + y ¯ 3 ) ) .

since γ 2 - A 2 > β 1 - A 1. Hence, E 2 is locally asymptotically stable.

Now, we prove that E 3 is a saddle.

The equilibrium point E 3 is a saddle if and only if the following conditions are satisfied

| Tr J T ( x ̄ , ȳ ) | > | 1 + det J T ( x ̄ , ȳ ) | and T r 2 J T ( x ̄ , ȳ ) - 4 det J T ( x ̄ , ȳ ) > 0 .

Note that the first condition is equivalent to B 2 x ̄ 3 > B 2 x ̄ 2 x ̄ 3 > x ̄ 2 which is true.

The second condition becomes

β 1 A 1 + ȳ + A 2 + B 2 x ̄ γ 2 2 - 4 β 1 ( A 2 + B 2 x ̄ ) ( A 1 + ȳ ) γ 2 + 4 B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) = β 1 A 1 + ȳ - A 2 + B 2 x ̄ γ 2 2 + 4 B 2 x ̄ ȳ γ 2 ( A 1 + ȳ ) > 0 .

Hence, E 3 is a saddle.   □

Theorem 17 Assume

A 1 < β 1 , γ 2 > A 2 , γ 2 - A 2 > β 1 - A 1 and ( γ 2 + A 1 - A 2 - β 1 ) 2 - 4 α 1 B 2 = 0 .

Then there exists a unique equilibrium point E 2 E 3 =E= γ 2 - A 2 + A 1 - β 1 2 B 2 , γ 2 - A 2 + β 1 - A 1 2 which is non-hyperbolic. The eigenvalues are:

λ 1 = 1 and λ 2 = A 1 2 - A 2 2 + 2 A 2 β 1 - β 1 2 + 2 A 2 γ 2 + 2 β 1 γ 2 - γ 2 2 2 γ 2 ( A 1 - A 2 + β 1 + γ 2 ) .

The corresponding eigenvectors are:

- 1 B 2 , 1 , and 2 γ 2 ( A 1 - A 2 - β 1 + γ 2 ) B 2 ( - A 1 - A 2 + β 1 + γ 2 ) ( A 1 - A 2 + β 1 + γ 2 ) , 1 .

Proof. The value of the Jacobian matrix of T at the equilibrium point E= ( x ̄ , ȳ ) is

J T ( x ̄ , ȳ ) = 2 β 1 γ 2 - A 2 + β 1 + A 1 γ 2 - A 2 + A 1 - β 1 B 2 ( A 1 + γ 2 - A 2 + β 1 ) - B 2 ( γ 2 - A 2 + β 1 - A 1 ) 2 γ 2 A 2 + γ 2 + A 1 - β 1 2 γ 2 .
(40)

The characteristic equation is given by

λ 2 - λ 2 β 1 γ 2 - A 2 + β 1 + A 1 + A 2 + γ 2 + A 1 - β 1 2 γ 2 + β 1 ( A 2 + γ 2 + A 1 - β 1 ) γ 2 ( γ 2 - A 2 + β 1 + A 1 ) - ( γ 2 - A 2 + β 1 - A 1 ) ( γ 2 - A 2 + A 1 - β 1 ) 2 γ 2 ( A 1 + γ 2 - A 2 + β 1 ) = 0 .
(41)

Solutions of Equation (41) are:

λ 1 = 1 and λ 2 = A 1 2 - A 2 2 + 2 A 2 β 1 - β 1 2 + 2 A 2 γ 2 + 2 β 1 γ 2 - γ 2 2 2 γ 2 ( A 1 - A 2 + β 1 + γ 2 ) .

By using (40), we obtain the corresponding eigenvectors.

5 Global behavior

Theorem 18 Table 2 describes the global behavior of System (1).

Table 2 Global behavior of System (1).

Proof. Throughout the proof of theorem will denote se .

( i , i = 1 , 4 ¯ ) By Theorem 9, E 1 is locally asymptotically stable. Consider M(t) = (0, t) for tγ 2 - A 2. Since M ( t ) -T ( M ( t ) ) = - α 1 t + A 1 , t t + A 2 - γ 2 t + A 2 , we have M(t) T(M(t)) for tγ 2 - A 2. By induction, T n M(t) T n+1(M(t))) E 1 for all n = 0,1,2,... because M(t) E 1 for all t ≥ 0. By monotonicity and boundedness, the sequence {T n (M(t))} has to converge to the unique equilibrium E 1. Consider N(u) = (u, 0) for u ≥ 0. Lemma 3 implies T n (N(u)) → E 1 as n → ∞. Take any point (x, y) [0, +∞)×[0, +∞). Then there exists t*, u* ≥ 0, such that M(t*) (x, y) (x, y) N(u*). The monotonicity of the map T implies T n M(t*)) T n ((x, y)) T n (N(u*)). Since T n M(t*)), T n (N(u*)) → E 1 as n → ∞, then T n ((x, y)) → E 1. This completes the proof.

(5) The first part of this theorem is proven in Theorem 9. The rest of the proof is similar to the proof of part ( ( i , i = 1 , 4 ¯ ) ).

(6) By Lemma 3 y 0 = 0 implies y n = 0, n , and x n α 1 A 1 - β 1 , n → ∞, which shows that x-axis is a subset of the basin of attraction of E 1.

Furthermore, every solution of (1) enters and stays in the box (E 2) and so we can restrict our attention to solutions that starts in (E 2). Clearly, the set Q 2(E 2) ∩ (E 2) is an invariant set with a single equilibrium point E 2 and by Theorem 3, every solution that starts there is attracted to E 2. In view of Corollary 1, the interior of rectangle 〚E 2, E 1〛 is attracted to either E 1 or E 2, and because E 2 is the local attractor, it is attracted to E 2. If ( x , y ) A=\ ( [ [ E 2 , E 1 ] ] ( Q 2 ( E 2 ) ) { ( x , 0 ) : x 0 } ) , then there exist the points (x u , y u ) AQ 4(E 2) and (x l , y l ) Q 2(E 2) ∩ such that (x l , y l ) se (x, y) se (x u , y u ). Consequently, T n ((x l , y l )) se T n ((x, y)) se T n ((x u , y u )) for all n = 1,2,... and so T n ((x, y)) → E 2 as n → ∞, which completes the proof.

(7) The first part of this Theorem is proven in Theorem 13.

Now, we prove a global result.

J T ( E 1 ) = β 1 A 1 - α 1 A 1 A 1 - β 1 0 A 1 - β 1 γ 2 A 1 A 2 - β 1 A 2 + B 2 α 1
(42)

The eigenvalues of J T (E 1) are given by λ 1 = β 1 A 1 and λ 2 = A 1 - β 1 γ 2 A 1 A 2 - β 1 A 2 + B 2 α 1 and so

A 2 < γ 2 , α 1 < A 1 - β 1 γ 2 - A 2 B 2 λ 2 > 1 , A 1 > β 1 λ 1 < 1 .

The eigenvector of T at E 1 that corresponds to the eigenvalue λ 1 < 1 is (1, 0).

The rest of the proof is similar to the proof of part (6).

(8, 9) The first part of theorem follows from Theorems 15 and 16. If parameters α 1 β 1, A 1, γ2, A 2 and B 2 do not satisfy the condition (8) of Lemma 1, then the map T defined on the set = + 2 , satisfies all conditions of Theorems 4, 6-8. This implies that there exists the global stable manifold W s (E 3) that separates the first quadrant into two invariant regions W -(E 3) (above the stable manifold) and W +(E 3) (below the stable manifold) which are connected. Now, we show that each orbit starting in the region W +(E 3) is asymptotic to (∞,0). Indeed, set T 1 ( x , y ) = α 1 + β 1 x A 1 + y , T 2 ( x , y ) = γ 2 y A 2 + B 2 x + y . Take x = (x 0, y 0) W +(E 3) ∩ (+, -), where (+, -) = {(x, y) : T 1(x, y) > x, T 2(x, y) < y}. As is known, see [12], the set (+, -) is invariant. We have

T 1 ( x 0 , y 0 ) = α 1 + β 1 x 0 A 1 + y 0 > x 0 , T 2 ( x 0 , y 0 ) = γ 2 y 0 A 2 + B 2 x 0 + y 0 < y 0 ,

which implies the following

( x 0 , y 0 ) s e ( T 1 ( x 0 , y 0 ) , T 2 ( x 0 , y 0 ) ) ( x 0 , y 0 ) s e T ( x 0 , y 0 ) .

By monotonicity, T(x 0, y 0) se T 2 (x 0, y 0) and by induction, T n (x 0, y 0) se T n+1(x 0, y 0). This implies that sequence {x n } is non-decreasing and {y n } is non-increasing. Since, {y n } is bounded from above, hence it must converges. Now lim n→ ∞y n = 0 since otherwise (x n , y n ) will converge to another limit which is strictly south-east of E 3, which is impossible. By Lemma 3, x n → ∞. By Theorems 6-8 for all (x, y) W +(E 3), there exists n 0 > 0 such that T n ((x, y)) int(Q 4(E 3) ∩ ), n > n 0. We see that for all (x, y) int(Q 4(E 3)) ∩ ), there exists (x l , y l ) W +(E 3) ∩ (+, -) such that (x l , y l ) (x, y). By monotonicity T n ((x l , y l )) T n ((x, y)) (∞, 0). This implies T n ((x, y)) → (∞, 0) as n → ∞.

Now, we show that each orbit starting in the region W -(E 3) converges to E 2. By Theorem 6, for all (x, y) W -(E 3), there exists n 0 > 0 such that, T n ((x, y)) int(Q 2(E 3) ∩ ), n > n 0. Set M(t) = (0, t) By part ( ( i , i = 1 , 4 ¯ ) ), for t ≥ γ 2 - A 2, we have M ( t ) T ( M ( t ) ) E 2 .. By using monotonicity, T n (M(t)) → E 2 as n → ∞. By Corollary 1, the interior of rectangle 〚E 2, E 3〛 is attracted to either E 2 or E 3, and because E 2 is local attractor, it is attracted to E 2. If (x, y) int(Q 2(E 3) ∩ ), then there exist the points (x r , y r ) E 2, E 3〛 and t* ≥ γ2 - A 2, such that M(t*) se (x, y) se (x r , y r ). Consequently, T n (M(t*)) se T n ((x, y)) se T n ((x r , y r )) for all n = 1, 2,... and so T n ((x, y)) → E 2 as n → ∞.

Now, assume that parameters α 1, β 1, A 1, γ 2, A 2, and B 2 satisfy the condition (8) and inequality 1.i) of Lemma 1. Then the set

= x , A 1 A 2 β 1 + x A 1 B 2 β 1 B 2 α 1 - A 2 β 1 : x 0

is invariant and contains the equilibrium point E 3, and T(x, y) = E 3 for (x, y) . In view of the uniqueness of global stable manifold, we conclude that W s (E 3) = . Take any point (x, y) W +(E 3). Then there exists the point (x l , y l ) such that (x l , y l ) << se (x, y). Since, the map T is strongly competitive, then E 3 = T(x l , y l ) << se T(x, y). This implies T(x, y) int(Q 4(E 3) ∩ ). Similarly, if (x, y) W -(E 3), then T(x, y) int(Q 2(E 3) ∩ ). The rest of the proof is similar to the proof of the first case. This completes the proof.

(10) The first part of the theorem follows from Theorem 10. If parameters α 1, β 1, A 1, γ 2, A 2, and B 2 do not satisfy the condition (8) of Lemma 1, then the map T, defined on the set = + 2 ,, satisfies all conditions of Theorems 4, 6-8. This implies that there exists the global stable manifold W s (E 3) that separates the first quadrant into two invariant regions W +(E 3) (below the stable manifold) and W -(E 3) (above the stable manifold) which are connected.

Using Theorems 6, 7, and 8, we have that for all (x, y) W +(E 3), there exists n 0 > 0 such that for n > n 0, T n ((x, y)) int(Q 4(E 3) ∩ ), and for all (x, y) W -(E 3), there exists n 1 > 0 such that for all n > n 1, T n ((x, y)) int(Q 2(E 3) ∩ ). Now, we show that each orbit starting in the region int(Q 4(E 3)) converges to E 1, and each orbit starting in the region int(Q 2(E 3)) converges to E 2.

Take 0 ≤ t ≤ (γ2 - A 2)/B 2, U(t) = (t,-A 2 - tB 2 + γ2). It is easy to see that the following holds

U ( x ̄ ) = E = E 2 = E 3 E 1 where x ̄ = x 2 = x 3 and U ( t ) - T ( U ( t ) ) = - - A 1 + A 2 + 2 t B 2 + β 1 - γ 2 2 4 B 2 A 1 - A 2 - t B 2 + γ 2 , 0 .

Since x 2 and x 3 are solutions of the equation B 2 t 2 + (-A 1 + A 2 + β 1 - γ2) t + α 1 = 0 and the following inequality holds A 2 + tB 2 - γ 2 < 0, we have that U(t) se T(U(t)) for 0 ≤ tx 2 and x 3t ≤ (γ 2 - A 2)/B 2 and T(U(t))) se U(t) for x 2tx 3.

By using monotonicity of T, we have that for 0 ≤ t < x 2, T n (U(t)) T n+1(U(t)) E 2, and for x 2t < x 3, E 2 T n+1(U(t)) T n (U(t)) E 3. This implies T n (U(t)) → E 2 as n → ∞. Similarly, for x 3t ≤ (γ 2 - A 2)/B 2, we have E 3 T n (U(t)) T n+1(U(t)) E 1. This implies T n (U(t)) → E 1 as n → ∞. By using the property of points U(t) and N(u), we have that for each point (x, y) int(Q 4(E 3) ∩ ), there exits x 3 < t* < (γ 2 - A 2)/B 2 and u* > 0 such that U(t*) (x, y) N(u*). By using monotonicity of T, we have T n (U(t*)) T n ((x, y)) T n (N(u*))). This implies T n ((x, y)) → E 1 as n → ∞. Furthermore, for each point (x, y) int(Q 2(E 3) ∩ ), there exist t 1 > 0 and t 2, x 2 < t 2 < x 3 such that M(t 1) (x, y) U(t 2). By using monotonicity of T, we have T n (M(t 1)) T n ((x, y)) T n (U(t 2)). This implies T n ((x, y)) → E 2 as n → ∞.

Now, assume that parameters α 1, A 1, γ 2, A 2, and B 2 satisfy the condition (8) and inequality 1.i) of Lemma 1. Then the set

= x , A 1 A 2 β 1 + x A 1 B 2 β 1 B 2 α 1 - A 2 β 1 : x 0

is invariant and contains the equilibrium point E 3 and T(x, y) = E 3 for (x, y) I. In view of the uniqueness of global stable manifold, we conclude that W s (E 3) = . Take any point (x, y) W +(E 3), then there exists the point (x l , y l ) such that (x l , y l ) << se (x, y). Since, the map T is strongly competitive, then E 3 = T(x l , y l ) << se T(x, y). This implies T(x, y) int(Q 4(E 3) ∩ ). Similarly, if (x, y) W -(E 3), then T(x, y) int(Q 2(E 3) ∩ ). The rest of the proof is similar to the proof of the first case. This completes the proof.

(11) The first part of theorem follows from Theorems 15 and 16. If parameters α 1 , β 1 , A 1 2, A 2, and B 2 do not satisfy the condition (8) of Lemma 1, then the map T, defined on the set = + 2 ,, satisfies all conditions of Theorems 4, 6, and 8. This implies that there exists an invariant curve C, which is a subset of the basin of attraction of the equilibrium point E, which separates the first quadrant into two invariant regions, W +(E) (below the stable manifold) and W -(E) (above the stable manifold) which are connected.

By Theorems 6 and 7 and 8 for all (x, y) W +(E), there exists n 0 > 0 such that T n ((x, y)) int(Q 4(E) ∩ ) for n > n 0. For all (x, y) W -(E), there exists n 1 > 0 such that for all n > n 1, T n ((x, y)) int(Q 2(E) ∩ ). Now, we show that each orbit starting in the region int(Q 4 (E)) converges to E 1, and each orbit starting in the region int(Q 2(E)) converges E.

Now, for 0 ≤ t ≤ (γ 2 - A 2)/B 2, take U(t) = (t,-A 2 - tB 2 + γ2) Since α 1 = (A 1 - A 2 - β 1 + γ 2)2/(4B 2), it is easy to see that the following holds

U ( x ̄ ) = E = E 2 = E 3 E 1 where x ̄ = x 2 = x 3 and U ( t ) - T ( U ( t ) ) = - - A 1 + A 2 + 2 t B 2 + β 1 - γ 2 2 4 B 2 A 1 - A 2 - t B 2 + γ 2 , 0 .

Since A 2 + tB 2 - γ2 < 0, we have U ( t ) s e T ( U ( t ) ) for 0 ≤ t ≤ (γ 2 - A 2)/B 2.

By using monotonicity of T, we have that T n ( U ( t ) ) T n + 1 ( U ( t ) ) E for 0t< x ̄ . This implies T n (U(t)) → E as n → ∞. Similarly, for x ̄ t< ( γ 2 - A 2 ) B 2 , E T n ( U ( t ) ) T n + 1 ( U ( t ) ) E 1 . This implies T n (U(t)) → E 1 as n → ∞. By using the property of the points U(t) and N(u), we have that for each point (x, y) int(Q 4(E) ∩ ), there exist x ̄ < t * < ( γ 2 - A 2 ) B 2 and u* > 0 such that U ( t * ) ( x , y ) N ( u * ) . By using monotonicity of T, we have that T n ( U ( t * ) ) T n ( ( x , y ) ) T n ( N ( u * ) ) ) . This implies T n ((x, y)) → E 1 as n → ∞. Furthermore, for each point (x, y) int(Q 2(E) ∩ ) there exists t 1 > 0 such that M ( t 1 ) ( x , y ) E. By using monotonicity of T, we have T n ( M ( t 1 ) ) T n ( ( x , y ) ) E. This implies T n ((x, y)) → E as n → ∞.

Now, assume that parameters α1, β 1, A 1, γ 2, A 2, and B 2 satisfy the condition (8) and inequality 1.i) of Lemma 1. The proof of Theorem is similar to the proof of Theorem in the regions (9) and (10).

(12, 13) The first part of theorem follows from Theorems 15 and 17. If parameters α 1, β 1, A 1 γ 2, A 2, and B 2 do not satisfy (8) of Lemma 1, then the map T, defined on the set = + 2 , satisfies all conditions of Theorems 4,6, and 8. This implies that there exists an invariant curve C, which is a subset of the basin of attraction of the equilibrium point E, and which separates the first quadrant into two invariant regions, W +(E) (below the stable manifold) and W -(E) (above the stable manifold) which are connected.

By Theorems 6 and 8 for all (x, y) W +(E), there exists n 0 > 0 such that T n ((x, y)) int(Q 4(E) ∩ ) for n > n 0, and for all (x, y) C -(E), there exists n 1 > 0 such that T n ((x, y)) int(Q 2(E) ∩ ) for all n > n 1. Now, we show that each orbit starting in the region int(Q 4(E)) is asymptotic to (∞, 0) and each orbit starting in the region int(Q 2(E)) converges to E.

Since α 1 = (A 1 - A 2 β 1 + γ 2)2/(4B 2), for 0 ≤ t ≤ (γ 2 - A 2)/B 2, we have U(t) = (t, -A 2 - tB 2 + γ 2). It is easy to see

U ( x ̄ ) = E = E 2 = E 3 where x ̄ = x 2 = x 3 and U ( t ) - T ( U ( t ) ) = - - A 1 + A 2 + 2 t B 2 + β 1 - γ 2 2 4 B 2 A 1 - A 2 - t B 2 + γ 2 , 0 .

Since A 2 + tB 2 - γ 2 < 0, for 0 ≤ t ≤ (γ 2 - A 2)/B 2, we have U ( t ) s e T ( U ( t ) ) .

By using monotonicity of T, we have E T n ( U ( t ) ) T n + 1 ( U ( t ) ) E 1 0t< x ̄ . This implies T n (U(t)) → E as n → ∞. Similarly, E T n ( U ( t ) ) T n + 1 ( U ( t ) ) ( , 0 ) for x ̄ < t * < ( γ 2 - A 2 ) B 2 . This implies T n (U(t)) → (∞, 0) as n → ∞. For each point (x, y) int(Q 4(E 3) ∩ ), there exists x ̄ < t * < ( γ 2 - A 2 ) B 2 such that U ( t * ) ( x , y ) ( , 0 ) . 0t< x ̄ . By monotonicity of T, we have T n ( U ( t * ) ) T n ( ( x , y ) ) ( , 0 ) . This implies T n ((x, y)) → (∞, 0) as n → ∞. Furthermore, for each point (x, y) int(Q 2(E 3) ∩ ), there exists t 1 > 0 such that U ( t * ) ( x , y ) N ( u * ) . By monotonicity of T, we have T n ( M ( t 1 ) ) T n ( ( x , y ) ) E. This implies T n ((x, y)) → E as n → ∞.

If parameters α 1, β 1, A 1, γ 2, A 2, and B 2 satisfy the condition (8) and inequality 1.i) of Lemma 1, then the proof of Theorem is similar to the proof of parts (9) and (10). This completes the proof of Theorem in the regions 12, 13. This is an example of semistable non-hyperbolic equilibrium point.

i , i = 1 4 , 1 7 ¯ Assumptions of this theorem imply that equilibrium does not exist. Set M (t) = (0, t) for tγ 2 - A 2. Since M ( t ) -T ( M ( t ) ) = - α 1 t + A 1 , t t + A 2 - γ 2 t + A 2 , we have M(t) T(M(t)) for tγ 2 - A 2. By using monotonicity T n (M(t)) T n+1(M(t))), for all n = 0, 1, 2,... Set ( x n * , y n * ) = T n ( M ( t ) ) . This implies that { y n * } is non-increasing and bounded, hence it has to converge. Set lim n y n * = y * . Since { x n * } is unbounded and non-decreasing, we have that x n * . By using the second equation of the System (1), we see that y * =0. Take any point (x, y) [0, ∞)2. Then there exists t*, such that M(t*) (x, y) (∞, 0). By using monotonicity, T n (M(t*)) (T n ((x, y)) (∞, 0) as Since T n (M(t*)) → (∞, 0) as n → ∞, we obtain T n ((x, y)) → (∞, 0) as n → ∞, as which completes the proof of theorem.

References

  1. Camouzis E, Kulenović MRS, Ladas G, Merino O: Rational systems in the plane. J Differ Equ Appl 2009, 15: 303-323. 10.1080/10236190802125264

    Article  Google Scholar 

  2. Kulenović MRS, Merino O: Invariant manifolds for competitive discrete systems in the plane. Int J Bifurcat Chaos 2010, 20: 2471-2486. 10.1142/S0218127410027118

    Article  Google Scholar 

  3. Kulenović MRS, Merino O: Global bifurcation for competitive systems in the plane. Discret Cont Dyn Syst B 2009, 12: 133-149.

    Article  Google Scholar 

  4. AlSharawi Z, Rhouma M: Coexistence and extinction in a competitive exclusion Leslie/Gower model with harvesting and stocking. J Differ Equ Appl 2009, 15: 1031-1053. 10.1080/10236190802459861

    Article  MathSciNet  Google Scholar 

  5. Cushing JM, Levarge S, Chitnis N, Henson SM: Some discrete competition models and the competitive exclusion principle. J Differ Equ Appl 2004, 10: 1139-1152. 10.1080/10236190410001652739

    Article  MathSciNet  Google Scholar 

  6. Kulenović MRS, Nurkanović M: Asymptotic behavior of a linear fractional system of difference equations. J Inequal Appl 2005, 127-143.

    Google Scholar 

  7. Clark D, Kulenović MRS, Selgrade JF: Global asymptotic behavior of a two dimensional difference equation modelling competition. Nonlinear Anal TMA 2003, 52: 1765-1776. 10.1016/S0362-546X(02)00294-8

    Article  Google Scholar 

  8. Hirsch MW: Systems of differential equations which are competitive or cooperative. I Limits Sets SIAM J Math Anal 1982,13(2):167-179.

    Article  Google Scholar 

  9. Hirsch M, Smith H: Monotone dynamical systems. In Handbook of Differential Equations: Ordinary Differential Equations. Volume II. Edited by: Canada A, Drabek P, Fonda A. Elsevier, Amsterdam; 2005:239-357.

    Google Scholar 

  10. Kalabušić S, Kulenović MRS, Pilav E: Global dynamics of a competitive system of rational difference equations in the plane. Adv Differ Equ 2009, 30. Article ID 132802

    Google Scholar 

  11. Kulenović MRS, Merino O: Discrete Dynamical Systems and Difference Equations with Mathematica. Chapman & Hall/CRC Press, Boca Raton; 2002.

    Chapter  Google Scholar 

  12. Kulenović MRS, Merino O: Competitive-exclusion versus competitive-coexistence for systems in the plane. Discret Cont Dyn Syst Ser B 2006, 6: 1141-1156.

    Article  Google Scholar 

  13. Leonard WJ, May R: Nonlinear aspects of competition between species. SIAM J Appl Math 1975, 29: 243-275. 10.1137/0129022

    Article  MathSciNet  Google Scholar 

  14. Smith HL: Invariant curves for mappings. SIAM J Math Anal 1986, 17: 1053-1067. 10.1137/0517075

    Article  MathSciNet  Google Scholar 

  15. Smith HL: Periodic competitive differential equations and the discrete dynamics of competitive maps. J Differ Equ 1986, 64: 165-194. 10.1016/0022-0396(86)90086-0

    Article  Google Scholar 

  16. Smith HL: Periodic solutions of periodic competitive and cooperative systems. SIAM J Math Anal 1986, 17: 1289-1318. 10.1137/0517091

    Article  MathSciNet  Google Scholar 

  17. Smith HL: Planar competitive and cooperative difference equations. J Differ Equ Appl 1998, 3: 335-357. 10.1080/10236199708808108

    Article  Google Scholar 

  18. Smith HL: Non-monotone systems decomposable into monotone systems with negative feedback. J Math Biol 2006, 53: 747-758. 10.1007/s00285-006-0004-3

    Article  MathSciNet  Google Scholar 

  19. Takáč P: Domains of attraction of generic ω -limit sets for strongly monotone discrete-time semigroups. J Reine Angew Math 1992, 423: 101-173.

    MathSciNet  Google Scholar 

  20. de Mottoni P, Schiaffino A: Competition systems with periodic coefficients: a geometric approach. J Math Biol 1981, 11: 319-335. 10.1007/BF00276900

    Article  MathSciNet  Google Scholar 

  21. Hess P: Periodic-Parabolic Boundary Value Problems and Positivity. In Pitman Research Notes in Mathematics Series. Volume 247. Longman Scientific & Technical, Harlow; 1991.

    Google Scholar 

  22. Kocic V, Ladas G: Global Behavior of Nonlinear Difference Equations of Higher Order with Applications. Kluwer, Dordreht; 1993.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to MRS Kulenović.

Additional information

6 Competing interests

The authors declare that they have no competing interests.

7 Authors' contributions

All authors contributed equally to the manuscript and read and approved the final draft.

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.

Reprints and permissions

About this article

Cite this article

Kalabušić, S., Kulenović, M. & Pilav, E. Dynamics of a two-dimensional system of rational difference equations of Leslie--Gower type. Adv Differ Equ 2011, 29 (2011). https://doi.org/10.1186/1687-1847-2011-29

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2011-29

Keywords