Basins of attraction of period-two solutions of monotone difference equations

We investigate the global character of the difference equation of the form xn+1=f(xn,xn−1),n=0,1,…\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x_{n+1} = f(x_{n}, x_{n-1}),\quad n=0,1, \ldots $$\end{document} with several period-two solutions, where f is increasing in all its variables. We show that the boundaries of the basins of attractions of different locally asymptotically stable equilibrium solutions or period-two solutions are in fact the global stable manifolds of neighboring saddle or non-hyperbolic equilibrium solutions or period-two solutions. As an application of our results we give the global dynamics of three feasible models in population dynamics which includes the nonlinearity of Beverton-Holt and sigmoid Beverton-Holt types.


Introduction
Let I be some interval of real numbers and let f ∈ C  [I × I, I] be such that f (I × I) ⊆ K where K ⊆ I is a compact set.Let x , xSW , xNE ∈ I, x < xSW < xNE be three equilibrium points of the difference equation where f is a continuous and increasing function in both variables.There are several global attractivity results for equation () which give the sufficient conditions for all solutions to approach a unique equilibrium.We list three such results.
The first theorem, which has also been very useful in applications to mathematical biology, was really motivated by a problem in [].
Theorem  (See [] and [], p.) Let I ⊆ [, ∞) be some interval and assume that f ∈ C[I × I, (, ∞)] satisfies the following conditions: (i) f (x, y) is non-decreasing in each of its arguments; (ii) equation () has a unique positive equilibrium point x and the function f (x, x) satisfies the negative feedback condition Theorems  and  were extended to a kth order difference equation where the right hand side is a non-decreasing function of all its variables; see [, ].
The following result has been obtained in [].

Theorem  Let I ⊆ R and let f ∈ C[I × I, I] be a function which increases in both variables.
Then for every solution of equation () the subsequences {x n } ∞ n= and {x n+ } ∞ n=- of even and odd terms of the solution do exactly one of the following: (i) Eventually they are both monotonically increasing.
(ii) Eventually they are both monotonically decreasing.
(iii) One of them is monotonically increasing and the other is monotonically decreasing.
Remark  Theorem  is actually a special case of Theorem .Indeed () implies that there exist a and b, a < x < b such that f (a, a) > a, f (b, b) < b, which in view of monotonicity of f implies that and so all conditions of Theorem  are satisfied.Furthermore, Theorem  is a special case of Theorem  if we additionally assume non-existence of period-two solutions and singular points on the boundary of the region which may be the limiting points of the solutions of equation ().See [] for higher order versions of Theorems  and .None of these results provide any information as regards the basins of attraction of different equilibrium solutions or period-two solutions when there exist several equilibrium solutions and periodtwo solutions.Theorem  has been applied to many equations, see [, ] and references therein, but so far no example of equation () with a function f increasing in both variables which has stable equilibrium points and stable period-two solutions has been exhibited.
In this paper we give several such examples for difference equations of the type where f i , i = ,  are continuous and increasing functions.Many difference equations in mathematical biology are of the form (); see [] and references therein.As we have shown in [] if the first order difference equation x n+ = f  (x n ) has two equilibrium points the corresponding delay difference equation x n+ = f  (x n- ) has one period-two solution.Now if f  dominates f  in equation () then one may expect equation () will have period-two solution as well, which we show in this paper.Similarly if the difference equation x n+ = f  (x n ) has k equilibrium points the corresponding delay difference equation x n+ = f  (x n- ) has k(k -)/ period-two solutions, and if f  dominates f  in equation () then we show that equation () has a period-two solution as well.
In [] the authors consider the difference equation () with several equilibrium points under the condition of the nonexistence of minimal period-two solutions and determine the basins of attraction of different equilibrium solutions.In this paper we consider equation () which has three equilibrium points and up to three minimal period-two solutions which are in North-East ordering.More precisely, we will give sufficient conditions for the precise description of the basins of attraction of different equilibrium points and periodtwo solutions.The results can be immediately extended to the case of any number of the equilibrium points and the period-two solutions by replicating our main results.An application of our results gives a precise description of the basis of attraction of all attractors of several difference equations, which are feasible models in population dynamics.Precisely, we illustrate our results with applications to three difference equations where all functions are linear, Beverton-Holt or sigmoid Beverton-Holt.In fact, our general results here are motivated by equations () and ().Our results give first examples of difference equations with coexisting stable equilibrium solutions and stable period-two solutions.

Preliminaries
We now give some basic notions about monotone maps in the plane and connection between equation () and the monotone map.
Consider a map T on a nonempty set S ⊂ R  , and let ē ∈ S. The point ē ∈ S is called a fixed point if T(ē) = ē.An isolated fixed point is a fixed point that has a neighborhood with no other fixed points in it.A fixed point ē ∈ S is an attractor if there exists a neighborhood U of ē such that T n (x) → ē as n → ∞ for x ∈ U ; the basin of attraction is the set of all x ∈ S such that T n (x) → ē as n → ∞.A fixed point ē is a global attractor on a set K if ē is an attractor and K is a subset of the basin of attraction of ē.If T is differentiable at a fixed point ē, and if the Jacobian J T (ē) has one eigenvalue with modulus less than one and a second eigenvalue with modulus greater than one, ē is said to be a saddle.If one of the eigenvalues of T has absolute values  and a second eigenvalue has modulus greater (resp.less) than one, then ē is said to be a non-hyperbolic of stable (resp.unstable) type.See [] for additional definitions (stable and unstable manifolds, asymptotic stability).
Consider a partial ordering on R  .Two points v, w ∈ R  are said to be related if v w or w v. Also, a strict inequality between points may be defined as v ≺ w if v w and v = w.A stronger inequality may be defined as A map T on a nonempty set S ⊂ R  is a continuous function T : S → S. The map T is monotone if v w implies T(v) T(w) for all v, w ∈ S, and it is strongly monotone on S if v ≺ w implies that T(v) T(w) for all v, w ∈ S. The map is strictly monotone on S if v ≺ w implies that T(v) ≺ T(w) for all v, w ∈ S. Clearly, being related is invariant under iteration of a strongly monotone map.
Throughout this paper we shall use the North-East ordering for which the positive cone is the first quadrant, i.e. this partial ordering is defined by A map T on a nonempty set S ⊂ R  which is monotone with respect to the North-East ordering is called cooperative and a map monotone with respect to the South-East ordering If T is differentiable map on a nonempty set S, a sufficient condition for T to be strongly monotonic with respect to the NE ordering is that the Jacobian matrix at all points x has the sign configuration provided that S is open and convex.For x ∈ R  , define Q (x) for = , . . .,  to be the usual four quadrants based at x and numbered in a counterclockwise direction, for example, The (open) ball of radius r centered at x is denoted with B(x, r).If K ⊂ R  and r > , write K + B(, r) := {x : x = k + y for some k ∈ K and y ∈ B(, r)}.If x ∈ [-∞, ∞]  is such that x y for every y in a set Y, we write x Y.The inequality Y x is defined similarly.
The next result in [] is stated for order-preserving maps on R n and it also holds in ordered Banach spaces [].
Theorem  For a nonempty set R ⊂ R n and a partial order on R n , let T : R → R be an order-preserving map, and let a, b ∈ R be such that a ≺ b and ta, bu ⊂ R. If a T(a) and T(b) b, then ta, bu is an invariant set and: i.There exists a fixed point of T in ta, bu.ii.If T is strongly order preserving, then there exists a fixed point in ta, bu which is stable relative to ta, bu.iii.If there is only one fixed point in ta, bu, then it is a global attractor in ta, bu and therefore asymptotically stable relative to ta, bu.
The following result is a direct consequence of the trichotomy theorem of Dancer and Hess; see [, ].
Corollary  If the non-negative cone of a partial ordering is a generalized quadrant in R n , and if T has no fixed points in tu  , u  u other than u  and u  , then the interior of tu  , u  u is either a subset of the basin of attraction of u  or a subset of the basin of attraction of u  .
We say that f is strongly increasing in both arguments if it is increasing, differentiable, and has both partial derivatives positive in a considered set.The connection between the theory of monotone maps and the asymptotic behavior of equation () follows from the fact that if f is strongly increasing, then a map associated to equation () is a cooperative map on I × I while the second iterate of a map associated to equation () is a strictly cooperative map on I × I.
Set x n- = u n and x n = v n in equation () to obtain the equivalent system Then F maps I × I into itself and is a cooperative map.The second iterate T := F  is given by and it is clearly strictly cooperative on I × I.
If D  g(u, v) and D  g(u, v) denote the partial derivatives of a function g(u, v) with respect to u and v, the Jacobian matrix of T is The determinant of () is given by To check injectivity of T we set . By using the monotonicity of f we conclude that The theory of monotone maps has been extensively developed at the level of ordered Banach spaces and applied to many types of equations such as ordinary, partial, and discrete types; see [-].In particular, [] has an extensive updated bibliography of different aspects of the theory of monotone maps.The theory of monotone discrete maps is more specialized and so one should expect stronger results in this case.An excellent review of the basic results is given in [, ].In particular, two-dimensional discrete maps are studied in great detail and very precise results which describe the global dynamics and the basins of attractions of equilibrium points and period-two solutions as well as global stable manifolds are given in [, , -].

Main results
Let I be some interval of real numbers and let f ∈ C  [I × I, I] be strongly increasing function.Assume that for (x  , y  ) ∈ I × I there exists n  such that be three equilibrium points of the difference equation () where the equilibrium points x and xNE are locally asymptotically stable and xSW is unstable.Then the map F has three equilibrium solutions E  (x  , x ), E SW (x SW , xSW ), and E NE (x NE , xNE ) such that E  ne E SW ne E NE where the equilibrium points E  and E NE are locally asymptotically stable and E SW is unstable.By Theorem  all solutions converge to either equilibrium solutions or to the period-two solutions.As is well known [, ] the periodtwo solutions are the points in the South-East ordering, which means that they belong to Q  (E SW ) ∪ Q  (E SW ).In the following discussion, we will assume that all period-two solu- Let B(E  ) be the basin of attraction of E  and B(E NE ) be the basin of attraction of E NE with respect to the map T.
The proof of (ii) is similar and we skip it.
The proof of the following lemma for a cooperative map is the same as the proof of Claims  and  in [] for competitive maps, so we skip it (see Figure ).

Lemma  Let C +
 and C -  be the sets defined above.Then the sets are invariant under the map T and they are the graphs of continuous strictly decreasing functions.
By Lemma  it remains to determine the behavior of the orbits of initial conditions (x  , y  ) such that (x  , ỹ ) ne (x  , y  ) (x  , ȳ ) for some (x  , ỹ Proof By assumption the map T has three equilibrium point namely E  , E SW , and E NE such that E  ne E SW ne E NE .In this case, E  and E NE are locally asymptotically stable and E SW is a saddle point.Since f is strongly increasing then the map T is strongly cooperative on [U  , ∞)  .It follows from the Perron-Frobenius theorem and a change of variables [] that, at each point, the Jacobian matrix of a strongly cooperative 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 quadrant, respectively.Also, one can show that if the map is strongly cooperative then no eigenvector is aligned with a coordinate axis.Hence, all conditions of Theorems  and  in [] for cooperative map T are satisfied, which yields the existence of the global stable manifold W s (E SW ) and the global unstable manifold W u (E SW ), where W s (E SW ) is passing through the point E SW , and it is a graph of a decreasing function.The curve W u (E SW ) is the graph of an increasing function.Let

Take (x  , y
Proof The characterization of B(E  ) and B(E NE ) follows as in Theorem .
The existence of the curves C  (E SW ) and C  (E SW ) passing through the point E SW which are the graphs of decreasing functions follows from Lemma .Assume that (x E  , y E  ) ∈ C  (E SW ).Since C  (E SW ) is an invariant set and there are no period-two solutions we must have  Theorem  Assume that equation () has three equilibrium points U  ≤ x < xSW < xNE where the equilibrium points x and xNE are locally asymptotically stable.Further, assume that there exists a minimal period-two solution {  ,  } which is a saddle point such that (  ,  ) ∈ int(Q  (E SW )).In this case there exist four continuous curves W s (  ,  ), W s (  ,  ), W u (  ,  ), W u (  ,  ), where W s (  ,  ), W s (  ,  ) are passing through the point E SW and are graphs of decreasing functions.The curves W u (  ,  ), W u (  ,  ) are the graphs of increasing functions and are starting at E  .Every solution which starts below W s (  ,  ) ∪ W s (  ,  ) in the North-East ordering converges to E  and every solution which starts above W s (  ,  ) ∪ W s (  ,  ) in the North-East ordering converges to E NE , i.e.W s (  ,  ) = Proof The map T is cooperative and all conditions of Theorems  and  in [] are satisfied, which yields the existence of the global stable manifolds W s (  ,  ), W s (  ,  ) and the global unstable manifolds W u (  ,  ), W u (  ,  ) where W s (  ,  ), W s (  ,  ) are passing through the point E SW , and they are graphs of decreasing functions.Let Now, we consider the dynamical scenario when there exist three minimal period-two solutions.
Theorem  Assume that equation () has three equilibrium points U  ≤ x < xSW < xNE where the equilibrium points x and xNE are locally asymptotically stable and xSW is a repeller.Further, assume that there exist three minimal period-two solutions { i , i }, such that ( i , i ) ∈ int(Q  (E SW )), i = , , , where {  ,  } and {  ,  } are the saddle points and {  ,  } is locally asymptotically stable.In this case there exist four continuous curves W s (  ,  ), W s (  ,  ), W s (  ,  ), W s (  ,  ) where W s (  ,  ), W s (  ,  ), W s (  ,  ), W s (  ,  ) are passing through the point E SW and are graphs of decreasing functions.Every solution which starts below W s (  ,  ) ∪ W s (  ,  ) in the North-East ordering converges to E  and every solution which starts above W s (  ,  ) ∪ W s (  ,  ) in the North-East ordering converges to E NE .Every solution which starts above W s (  ,  ) ∪ W s (  ,  ) and below W s (  ,  ) ∪ W s (  ,  ) in the North-East ordering converges to {  ,  }.In other words, the set of the initial condition Q  = {(x - , x  )} is the union of five disjoint basins of attraction, namely Proof All conditions of Theorems  and  in [] for the cooperative map T are satisfied, which yields the existence of the global stable manifolds W s (  ,  ), W s (  ,  ), W s (  ,  ), W s (  ,  ), which are passing through the point E SW , and they are graphs of decreasing functions.Since T is a cooperative map it can be seen that (  ,  ) ne (  ,  ) ne (  ,  ) or (  ,  ) ne (  ,  ) ne (  ,  ).Assume (  ,  ) ne (  ,  ) ne (  ,  ).As in the proof of Theorem  one can see that So, we assume that (x . This completes the proof.Now, we consider two dynamical scenarios when there exists a minimal period-two solution { , } which is a non-hyperbolic of stable type (i.e. if μ  and μ  are eigenvalues of J T ( , ) then μ  =  and |μ  | < ).
Theorem  Assume that equation () has three equilibrium points U  ≤ x < xSW < xNE where the equilibrium points x and xNE are locally asymptotically stable and xSW is a repeller or non-hyperbolic equilibrium point.Further, assume that there exist two minimal period-two solutions { , } and {  ,  }, where { , } is a non-hyperbolic period-two solution of the stable type and {  ,  } is a saddle point, and ( , ) ne (  ,  ) (see Figure (a)).In this case there exist four continuous curves W s (  ,  ), W s (  ,  ), C s ( , ), C s ( , ) which are passing through the point E SW and which are graphs of decreasing functions.The set

Thus, we have C(
Proof Since { , } is a non-hyperbolic period-two solution of the stable type and {  ,  } is a saddle point, all conditions of Theorems  and  in [] for the cooperative map T are satisfied, which yields the existence of the global stable manifolds W s (  ,  ), W s (  ,  ) and invariant curves C( , ), C( , ) which are passing through the point E SW , and they are graphs of decreasing functions.Take (x  , y  ) such that (x  , y  ) ne (x E  , y E  ) for some (x The proof of the following result is similar to the proof of Theorem  and will be omitted.

Theorem  Assume that equation () has three equilibrium points U  ≤ x < xSW < xNE
where the equilibrium points x and xNE are locally asymptotically stable and xSW is a repeller or non-hyperbolic equilibrium point.Further, assume that there exist two minimal period-two solutions { , } and {  ,  }, where { , } is a non-hyperbolic period-two solution of the stable type and {  ,  } is a saddle point, and (  ,  ) ne ( , ) (see Figure (b)).In this case there exist four continuous curves W s (  ,  ), W s (  ,  ), C s ( , ), C s ( , ) where W s (  ,  ), W s (  ,  ), C( , ), C( , ) are passing through the point E SW , which are graphs of decreasing functions.The set Q

Examples
In this section we give an application of our results in establishing global dynamics of some equations from mathematical biology.We present two cases in detail.All three models are of the types where f i , i = ,  are transition functions, considered by many researchers in mathematical biology [].The most common transition functions in modeling are linear, Beverton-Holt (f (u) = au +u ), and sigmoid Beverton-Holt (f (u) = au σ +u σ , σ ≥ ).The case when both transition functions are Beverton-Holt functions was treated in [] and we prove that in this case there are no period-two solutions and so every solution converges to an equilibrium.However, in all other cases for any other combination of transition functions the periodtwo solutions exist and play an important role in the dynamics.

Example 1:
In this part we apply Theorems - to describe the global dynamics of the difference equation in the title.

.. The equilibrium points
We consider the difference equation where A, B >  and the initial conditions x - , x  are non-negative.In view of the above restriction on the initial conditions of equation (), the equilibrium points of equation () are the nonnegative solutions of the equation Now we have the following result.
Lemma  The following holds: Next, we investigate the stability of the nonnegative equilibrium points of equation ().Set and observe that f u (u, v) >  and f v (u, v) > .The next three lemmas are straightforward.
Lemma  Assume that A, B > .Then the equilibrium point x  is locally asymptotically stable.

Lemma  Assume that A + B ≥ . Then the equilibrium point x NE is locally asymptotically stable if A + B >  and non-hyperbolic if
Proof It can be seen that and Then the proof follows from Theorem .. in [] and the fact that Lemma  Assume that A + B ≥ .Then the equilibrium point x SW is: Proof It can be seen that Then the proof follows from Theorem .. in [] and the fact that

.. Period-two solutions
Next, we investigate the existence and stability of the positive minimal period-two solutions of equation ().Let {φ, ψ} be a minimal period-two solution of equation ().Then which is equivalent to and By eliminating ψ from () and () we obtain and by eliminating φ from () and () we obtain where Since (A + B)xx  - =  for any x different from the equilibrium point, the minimal period-two solutions are solutions of the equation Then the following holds: Proof The proof of (a) follows from Descartes' rule of signs.
The discrimination matrix [, ] of f (x) and f (x) is given by Let D k denote the determinant of the submatrix of Discr( f ), formed by the first k row and the first k columns, for k = , . . ., m.By a straightforward calculation one can see that The rest of the proof follows from Theorem  in [].

.. The global behavior
In this section we describe the global behavior of equation () which has three equilibrium points x , xSW , xNE ∈ I such that  = x < xSW < xNE where the equilibrium points x and xNE are locally asymptotically stable and xSW is unstable.Further, x n < A + B for all n ≥ .
One can see that all minimal period-two solutions of () belong to int(Q  (E SW ) ∪ Q  (E SW )).
Lemma  If A + B <  then there exists a unique equilibrium point x  =  which is globally asymptotically stable.
Proof The proof follows from Theorem  and the fact that x n < A + B for n ≥ .

Theorem 
by Lemma , the equilibrium point x SW is a saddle point.By Lemma  there are no minimal period-two solutions so the rest of the proof follows from Theorem .
(ii) By our assumptions we have  > .By Lemmas  and  the equilibrium points x  and x NE are locally asymptotically stable.In view of () and Lemma  the equilibrium point x SW is a repeller.Since the discriminant of polynomial f (x) is Dis( f ) = D  =  similarly as in Theorem  of [] one can see that all period-two solutions are hyperbolic.In view of Lemma  we see that ) such that T n (x  , y  ) → (φ  , ψ  ) as n → ∞.By Lemma  there exists only one minimal periodtwo solution, which implies that {φ  , ψ  } is a saddle point.The rest of the proof follows from Theorem .
(iv) Since  > , by Lemmas  and  the equilibrium points x  and x NE are locally asymptotically stable.Since by Lemma  the equilibrium point x SW is a repeller.By Lemma  there exist two minimal period-two solutions.Let g(x, y) = f (y, x) and h(x, y) = f (f (y, x), y).Then period-two curves, that is, the curves of which the intersection is a period-two solution, are given by Taking derivatives of g(x, y) = x and h(x, y) = y with respect to x we get .
One can see that where p(μ) is the characteristic equation of the matrix By Lemma , suppose that {φ  , ψ  } is a minimal period-two solution such that {φ  , ψ  } are roots of multiplicity two of () and {φ  , ψ  } are roots of multiplicity one of ().In view of Lemma  in [] we have y is non-hyperbolic of the stable type then the rest of the proof follows from Theorem .

Example 2:
In this part we apply Theorems - to describe the global dynamics of difference equation in the title.

.. The equilibrium points
We consider the difference equation where A, B >  and the initial conditions x - , x  are non-negative.In view of the above restriction on the initial conditions of equation (), the equilibrium points of equation () are the positive solutions of the equation Now we have the following result.
Lemma  The equilibrium points of equation () satisfy: , and .
Next, we investigate the stability of the equilibrium points of equation ().Set Proof The proof follows from Theorem .. in [] and the fact that where p = f u (x NE , x NE ) and q = f u (x NE , x NE ).
Lemma  Assume that A < .Then the equilibrium point x SW is: Proof The proof follows from Theorem .. in [] and the fact that where p = f u (x SW , x SW ) and q = f u (x SW , x SW ).

.. Period-two solutions
Next, we investigate the existence and stability of the positive minimal period-two solutions of equation ().Let {φ, ψ} be a minimal period-two solution of equation ().Then The proof of the following lemma is similar to the proof of Lemma , so we skip it.Proof By using the difference inequalities method [], the proof follows from the fact that x n ≥ v n for n >  where x  = v  and v n = Av n- for n > .

Lemma 
Theorem  Assume that A <  and B  -(A -)  > .Then the following holds: (x -x) f (x, x)x <  for every x ∈ I -{x}.(  ) Then every positive solution of equation () with initial conditions in I converges to x. Theorem  Let [a, b] be an interval of real numbers and assume that f : [a, b] × [a, b] → [a, b] is a continuous function satisfying the following properties: (a) f (x, y) is non-decreasing in each of its arguments; (b) equation () has a unique equilibrium x ∈ [a, b].Then every solution of equation () converges to x.

Figure 1
Figure 1 Visual illustration of Lemma 2.
The rest of the proof follows from Lemma .See Figure (a) for its visual illustration.Theorem  Assume that equation () has no minimal period-two solutions and there exist three equilibrium points x < xSW < xNE where the equilibrium points x and xNE are locally asymptotically stable and xSW is non-hyperbolic.Then there exist two continuous curves C  (E SW ) and C  (E SW ) passing through the point E SW , which are the graphs of decreasing functions.The set of the initial condition Q  = {(x - , x  )} is the union of three disjoint basins of attraction, namely Q Figure (b) for the visual illustration of this result.Now, we consider the dynamical scenarios when there exists a minimal period-two solution which is a saddle point (see Figure (a)).
(a) Consider equation ().Then all its real roots are positive numbers.Furthermore, equation () has up to three minimal period-two solutions.(b) If i > , for all  ≤ i ≤  and >  then equation () has six real roots.Consequently, equation () has three minimal period-two solutions.(c) If i ≤  for some  ≤ i ≤  and  > , >  then equation () has two distinct real roots and two pairs of conjugate imaginary roots.Consequently, equation () has one minimal period-two solution.(d) If i >  for all  ≤ i ≤ j - and i <  for all j ≤ i ≤  for some  ≤ j ≤  and  < , >  then equation () has four distinct real roots and one pair of conjugate imaginary roots.Consequently, equation () has two minimal period-two solutions.(e) If i ≤ , i+ ≥  for some  ≤ i ≤  and  < , >  then equation () has three pairs of conjugate imaginary roots.Consequently, equation () has no minimal period-two solution.(f ) Assume that = , and  =  and  = .(f.)If (  ≤  and  ≥ ) or (  ≤  and  > ) then equation () has no real roots and has two distinct pairs of conjugate imaginary roots, one of them of multiplicity one and the other one of multiplicity two.Consequently, equation () has no minimal period-two solutions.(f.)If  >  and  >  and  >  then equation () has four distinct real roots, two of them are multiplicity two and other two of multiplicity one and has no conjugate imaginary roots.Consequently, equation () has two minimal period-two solutions.
which is true if and only if φ = ψ and -Aψ -Aψφ  -Bφ  + φ  + φ = , () -Aψ  φ -Aφ -Bψ  + ψ  + ψ = .()By eliminating ψ from () and () we obtainφ Aφ  + A + Bφφ  - g(φ) = ,and by eliminating φ from () and () we obtainψ Aψ  + A + Bψψ  - g(ψ) = ,whereg(x) = (A + )x  -(A + )Bx  + (A + )x  A  + B  +  -A  + A +  Bx  + x  A  + A  + AB  + A +  -A(A + )Bx + A  (A + ).Since (A -)x  + Bx + A - =  for any x different from the equilibrium point, the minimal period-two solutions are solutions of the equation g(x) = .() Let= A  + A  + A  B  + A  -A  B  + A  + AB  -AB  + A -B  + ,  = -A  -B  +  ,  = -A  + A  + A  B  -A  B  + A  B  -A  B  -A  + A  B  -A  + AB  -AB  + A -B  +  ,  = A  + A + A  B  -A  + A  B  -A  + A  B  + A  B  -A  -A  B  + ,A  B  + A  + A  B  + A  B  + ,A  B  + A  + A  B  + A  B  -A  B  -A  + A  B  + A  B  -A  B  + A  B  -A  + A  B  -A  B  + A  B  + A  B  -A  -AB  + AB  -AB  + A + B  -B  + ,  = - -A  + A  -A  + A  -B  -AB  + A  B  + A  B  + A  B  + A  B  -A  B  + B  + AB  -A  B  + A  B  -A  B  -AB  -A  B  ,  = -A  -A  + A  B  + A  + AB  -A -B  +  .Then the following holds: (a) Consider equation ().Then all its real roots are positive numbers.Furthermore, equation () has up to three minimal period-two solutions.(b) If i > , for all  ≤ i ≤  and >  then equation () has six real roots.Consequently, equation () has three minimal period-two solutions.(c) If i ≤  for some  ≤ i ≤  and  > , >  then equation () has two distinct real roots and two pairs of conjugate imaginary roots.Consequently, equation () has one minimal period-two solutions.(d) If i >  for all  ≤ i ≤ j - and i <  for all j ≤ i ≤  for some  ≤ j ≤  and  < , >  then equation () has four distinct real roots and one pair of conjugate imaginary roots.Consequently, equation () has two minimal period-two solutions.(e) If i ≤ , i+ ≥  for some  ≤ i ≤  and  < , >  then equation () has three pairs of conjugate imaginary roots.Consequently, equation () has no minimal period-two solution.(f ) Assume that = ,  = ,  = .(f.)If (  ≤ ,  ≥ ) or (  ≤ ,  > )then equation () has no real roots and has two distinct pairs of conjugate imaginary roots one of them is of multiplicity one and the other one of multiplicity two.Consequently, equation () has no minimal period-two solutions.(f.)If  > ,  > ,  >  then equation () has four distinct real roots, two of them are of multiplicity two and the other two of multiplicity one and has no conjugate imaginary roots.Consequently, equation () has two minimal period-two solutions...The global behavior In this section we describe the global behavior of equation ().Equation () has three equilibrium points x , xSW , xNE ∈ I such that  = x < xSW < xNE where the equilibrium points x and xNE are locally asymptotically stable and xSW is unstable.One can see that all minimal period two solutions of () belong to int(Q  (E SW ) ∪ Q  (E SW )).Let u n+ = Au n + B. By mathematical induction, it is easy to see that x n≤ u n for n >  if x  ≤ u  .Since u n = u  A n + B( -A n )  -A , A =  and u n = u  + nB, A = ,we obtain u n → B -A as n → ∞ if A < .Thus, we conclude that the interval [, B -A + ] where >  attracts all solutions, when A < .Lemma  If A ≥  then there exists a unique equilibrium point x  =  and every solution {x n } satisfies lim n→∞ x n = ∞.
Assume that A + B > .Then the following holds: (i) If i ≤  and i+ ≥  for some  ≤ i ≤  and  < , >  then equation () has three equilibrium points such that  = x < xSW < xNE where x  and x NE are locally asymptotically stable and x SW is saddle point and has no period-two solution.The global behavior of equation () is described by Theorem .For example, this happens for A = . and B = ..(ii) If i ≤  for some  ≤ i ≤  and  > , >  then equation () has three equilibrium points such that  = x < xSW < xNE where x  and x NE are locally asymptotically stable and x SW is repeller and one period-two solution {φ  , ψ  } which is a saddle point.The global behavior of equation () is described by Theorem .For example, this happens for A = . and B = ..(iii) If i > , for all  ≤ i ≤  and >  then equation () has three equilibrium points such that  = x < xSW < xNE where x  and x NE are locally asymptotically stable and x SW is repeller and three minimal period-two solutions {φ  , ψ  }, {φ  , ψ  }, and {φ  , ψ  } such that (φ  , ψ  ) ne (φ  , ψ  ) ne (φ  , ψ  ) where {φ  , ψ  }, and {φ  , ψ  } are saddle points and {φ  , ψ  } is locally asymptotically stable.The global behavior of equation () is described by Theorem .For example, this happens for A = . and B = ..(iv) If = ,  > ,  > ,  > ,  >  then equation () has three equilibrium points such that  = x < xSW < xNE where x  and x NE are locally asymptotically stable and x SW is repeller and two minimal period-two solutions {φ  , ψ  } and {φ  , ψ  } such that (φ  , ψ  ) ne (φ  , ψ  ) where either {φ  , ψ  } is non-hyperbolic and {φ  , ψ  } is a saddle point or {φ  , ψ  } is a saddle point and {φ  , ψ  } is non-hyperbolic.If period-two solution which is non-hyperbolic is of stable type then the global behavior of equation () is described by Theorems  and .For example, this happens for A = . and B = ..
The next three lemmas are straightforward.Lemma  Assume that A, B > .Then the equilibrium point x  of equation () is locally asymptotically stable if A < , non-hyperbolic if A = , and a saddle point if A > .
Lemma  Assume that A < .If B  -(A -)  >  then the equilibrium point x NE of equation () is locally asymptotically stable and non-hyperbolic if B