 Research
 Open Access
 Published:
Global dynamics of cubic second order difference equation in the first quadrant
Advances in Difference Equationsvolume 2015, Article number: 176 (2015)
Abstract
We investigate the global behavior of a cubic second order difference equation \(x_{n+1}=Ax_{n}^{3}+ Bx_{n}^{2}x_{n1}+Cx_{n}x_{n1}^{2}+Dx_{n1}^{3}+Ex_{n}^{2} +Fx_{n}x_{n1}+Gx_{n1}^{2}+Hx_{n}+Ix_{n1}+J\), \(n=0,1,\ldots\) , with nonnegative parameters and initial conditions. We establish the relations for the local stability of equilibriums and the existence of periodtwo solutions. We then use this result to give global behavior results for special ranges of the parameters and determine the basins of attraction of all equilibrium points. We give a class of examples of second order difference equations with quadratic terms for which a discrete version of the 16th Hilbert problem does not hold. We also give the class of second order difference equations with quadratic terms for which the Julia set can be found explicitly and represent a planar quadratic curve.
Introduction and preliminaries
In this paper we study the global dynamics of the following polynomial difference equation:
where the parameters A, B, C, D, E, F, G, H, I, J are nonnegative numbers with condition \(A+B+C+D>0\) and initial conditions \(x_{1}\) and \(x_{0}\) are arbitrary nonnegative numbers. The condition \(A+B+C+D>0\) is necessary in order to avoid the quadratic case, which was completely studied in [1]. Polynomial difference equations and corresponding maps have been studied in both the real and the complex domain and many results have been obtained; see [1–3]. One of the major problems in the dynamics of polynomial maps is determining the basin of attraction of the point at ∞ and in particular the boundary of that basin known as the Julia set. In [1] we precisely determined the Julia set for a second order quadratic polynomial equation, that is, (1) where \(A+B+C+D=0\), and we obtained the global dynamics in the interior of the Julia set, which includes all the point for which solutions are not asymptotic to the point at ∞. It turned out that the Julia set for (1), where \(A+B+C+D=0\), is the union of the stable manifolds of some saddle equilibrium points or nonhyperbolic equilibrium points or periodtwo points. The asymptotic formulas for these manifolds were obtained in [4]. The advantage of our results is that these manifolds are continuous decreasing functions of which the parametrization is simple and so their asymptotic formulas can easily be derived by using the method of undetermined coefficients.
In this paper we restrict our attention to nonnegative initial conditions and nonnegative parameters, which will make our results more special but also more precise and applicable. Our results are based on a number of theorems which hold for monotone difference equations, which will be described in the next section. Our principal tool is the theory of monotone maps, and in particular cooperative maps, which guarantee the existence and uniqueness of the stable and unstable manifolds for the fixed points and periodic points. Our results can be extended to (1) to hold in the whole plane, when \(B=C=E=F=G=0\).
Remark 1
The following result is a consequence of our results in [1]: If \(A=B=C=D=E=H=J=0\), \(F=G>0\) and \(I<1\), then (1), which reduces to the quadratic second order difference equation
has infinitely many minimal periodtwo solutions, which are given by
The curve \(\mathcal{H}\) separates the first quadrant into two regions: the region below the curve \(\mathcal{H}\) is the basin of attraction of \(E_{0} (0,0 ) \) and the region above the curve is the basin of attraction of point at infinity. Thus, the curve \(\mathcal{H}\) is the Julia set for (1) in this case. This result shows that the discrete version of the 16th Hilbert problem does not hold, which is the problem if there exists a quadratic system of difference equations in the plane with an infinite number of periodic solutions. It is well known that in the case of quadratic systems of differential equations the number of periodic solutions is finite; see [5, 6]. In this paper we give the explicit formula for the Julia set for a whole class of difference equations with cubic terms. The Julia set consists of an infinite number of periodtwo solutions and thus provides the whole class of examples of the second order difference equations with the cubic terms with an infinite number of a periodtwo solutions; see Theorem 17.
The rest of this section presents some results as regards monotone difference equations in the plane. The second section presents the local stability analysis of the equilibrium solutions. The third section describes the local stability analysis of the periodtwo points in all cases. The fourth section gives the global dynamics, which includes the basins of attraction of all equilibrium points and the periodtwo points. Some Mathematica outputs are given in the Appendix.
Consider the difference equation
where f is a continuous and increasing function in both variables.
Here we list some of the results that will be needed in this paper. The first result was obtained in [7] and it was extended to the case of higher order difference equations and systems in [8, 9].
Theorem 1
Let \(f:[a,b]\times [ a,b]\rightarrow [ a,b] \) be a continuous function satisfying the following properties:

(i)
\(f(x,y)\) is nondecreasing in each of its arguments, i.e. \(x\rightarrow f(x,y)\) is nondecreasing for every y and \(y\rightarrow f(x,y)\) is nondecreasing for every x;

(ii)
(2) has a unique equilibrium \(\overline{x}\in [ a,b]\).
Then every solution of (2) converges to \(\overline{x}\).
The following result was obtained in [10].
Theorem 2
Let \(I\subseteq\mathbb{R}\) be an interval (finite or infinite) and let \(f\in C[I\times I,I]\) be a function which increases in both variables. Then for every solution of (2) the subsequences \(\{x_{2n}\}_{n=0}^{\infty}\) and \(\{x_{2n+1}\} _{n=1}^{\infty}\) 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.
As a consequence of Theorem 2 every bounded solution of (1) approaches either an equilibrium solution or periodtwo solution or the singular point on the boundary and every unbounded solution is asymptotic to the point at infinity in a monotonic way; see [11]. Thus the major problem in the dynamics of (1) is the problem of determining the basins of attraction of three different types of attractors: the equilibrium solutions, periodtwo solution(s), and the point(s) at infinity. The following two results can be proved by using the techniques of the proof of Theorem 11 in [12].
Theorem 3
Consider (2) where \(I\subseteq\mathbb{R}\) is an interval (finite or infinite) and \(f\in C[I\times I,I]\) is an increasing function in its arguments and assume that there is no minimal periodtwo solution. Assume that \(E_{1}(x_{1},y_{1})\) and \(E_{2}(x_{2},y_{2})\) are two consecutive equilibrium points in NorthEast ordering that satisfy
and that \(E_{1}\) is a local attractor and \(E_{2}\) is a saddle point or a nonhyperbolic point with second characteristic root in the interval \((1,1)\), with the neighborhoods where f is strictly increasing. Then the basin of attraction \(\mathcal{B}(E_{1})\) of \(E_{1}\) is the region below the global stable manifold \(\mathcal{W}^{s}(E_{2})\). More precisely
The basin of attraction \(\mathcal{B}(E_{2})=\mathcal{W}^{s}(E_{2})\) is exactly the global stable manifold of \(E_{2}\). The global stable manifold extends to the boundary of the domain of (2). If there exists a periodtwo solution, then the end points of the global stable manifold are exactly the periodtwo solution.
Also, we will use the following theorem from [12].
Theorem 4
Consider (2) where \(I\subseteq\mathbb{R}\) is an interval (finite or infinite) and \(f\in C[I\times I,I]\) is an increasing function in its arguments and assume that there is no minimal periodtwo solution. Assume that \(E_{1}(x_{1},y_{1})\), \(E_{2}(x_{2},y_{2})\), and \(E_{3}(x_{2},y_{2})\) are three consecutive equilibrium points in NorthEast ordering that satisfy
and that \(E_{1}\) and \(E_{3}\) are saddle points with the neighborhoods where f is strictly increasing, and \(E_{2}\) is a local attractor. Then the basin of attraction \(\mathcal{B}(E_{2})\) of \(E_{2}\) is the region between the global stable manifolds \(\mathcal{W}^{s}(E_{1})\) and \(\mathcal{W}^{s}(E_{3})\). More precisely
The basins of attraction \(\mathcal{B}(E_{1})=\mathcal{W}^{s}(E_{1})\) and \(\mathcal{B}(E_{1})=\mathcal{W}^{s}(E_{1})\) are exactly the global stable manifolds of \(E_{1}\) and \(E_{3}\).
The following result gives the necessary and sufficient condition for the local stability of (2) when f is nondecreasing in all its arguments; see [13].
Theorem 5
Let
be the standard linearization about the equilibrium \(\overline{x}\) of (2) where \(p_{i}={\partial f}/{\partial x_{ni}}(\bar{x},\bar{x})\geq0\), \(i=0,1\). Then the equilibrium \(\overline{x}\) of (2) is one of the following:

(a)
locally asymptotically stable if \(p_{0}+p_{1}<1\),

(b)
nonhyperbolic and locally stable if \(p_{0}+p_{1}=1\),

(c)
unstable if \(p_{0}+p_{1}>1\).
Let \(f_{1}(x):=a_{n} x^{n}+a_{n1}x^{n1}+\cdots+a_{1}x+a_{0}\) and \(g_{1}(x):=b_{m} x^{m}+b_{m1}x^{m1}+\cdots+b_{1}x+b_{0}\) be two polynomials of degrees n and m, respectively. Their resultant (see [14–16]) \(\operatorname{Res}(f_{1},g_{1})\) is the determinant of the \((m+n)\times(m+n)\) Sylvester matrix given by
The following theorem is from [14].
Theorem 6
Assume that \(f_{1},g_{1}\in\mathbb{R}[x]\) and \(n,m\geq1\). Then the following hold:

(i)
The discriminant of \(f_{1}\) is given by
$$\operatorname{Dis}(f_{1})=(1)^{n(n1)/2}\frac{1}{a_{n}}\operatorname{Res} \bigl(f_{1},f_{1}'\bigr) $$and
$$\operatorname{Dis}(f_{1}\cdot g_{1})= \operatorname{Dis}(f_{1})\operatorname{Dis}(g_{1})\operatorname{Res}(f_{1},g_{1})^{2}, $$where \(f_{1}'\) is the derivative of \(f_{1}\).

(ii)
\(\operatorname{Dis}(f_{1}) = 0 \Leftrightarrow f_{1}\) has a double root in \(\mathbb{C}\): Equivalently, \(f_{1}\) has n distinct roots in \(\mathbb{C}\) if and only if the discriminant is ≠0.
For two bivariate polynomials \(f,g \in\mathbb{R}[x,y]\), Theorem 7 in [14, 15] holds.
Theorem 7
Let \(f (x,y),g(x,y) \in\mathbb{R}[x,y]\) where
and let \(r(x) = \operatorname{Res}_{y}( f ,g) \in\mathbb{R}[x]\) be the resultant of f and g with respect to the variable y. Then:

(a)
f and g have a nontrivial common factor if and only if r is identically zero.

(b)
If f and g are coprime (do not have a common factor), the following conditions are equivalent:

\(\alpha\in\mathbb{C}\) is a root of r.

\(f_{n}(\alpha) = g_{m}(\alpha) = 0\) or there is \(\beta\in\mathbb {C}\) with \(f (\alpha,\beta) = 0 = g(\alpha,\beta) = 0\).


(c)
For all \((\alpha,\beta)\in\mathbb{C}\times\mathbb{C}\): if \(f(\alpha,\beta) = 0 = g(\alpha,\beta)= 0\), then \(r(\alpha) = 0\).
We list some results when solution \(\{ x_{n} \} \) of (1) tends to the point at infinity in a monotonic way.
Theorem 8
If \(H+I>1\), then every solution \(\{ x_{n} \} \) of (1) satisfies \(\lim_{n\rightarrow\infty}x_{n}=\infty\).
Proof
If \(\{ x_{n} \} \) is a solution of (1), then \(\{ x_{n} \} \) satisfies the inequality
which in view of the result on difference inequalities, see Theorem 1.4.1 in [17], implies that \(x_{n}\geq y_{n}\), \(n\geq1\), where \(\{ y_{n} \} \) is a solution of the initial value problem
Consequently,
where
which implies \(\lim_{n\rightarrow\infty}x_{n}=\infty\). □
Theorem 9
If \(J\geq1\), then every solution \(\{ x_{n} \} \) of (1) satisfies \(\lim_{n\rightarrow \infty}x_{n}=\infty\).
Proof
Let \(J\geq1\) and set \(A+B+C+D+E+F+G+H+I=\alpha>0\). If \(\{ x_{n} \} \) is a solution of (1), then \(x_{n}>J\) for \(n\geq1\), and by using the fact that the function
is increasing in both variables we obtain the following result:
and
Continuing in this way we obtain
which implies \(x_{2n+1}\rightarrow\infty\) and \(x_{2n+2}\rightarrow \infty\). □
Theorem 10
If \(A+B+C+D+E+F+G+H+I > 1\) or \(J>0\) and \(A+B+C+D+E+F+G+H+I\geq1\), then the box \([ 1,\infty ) ^{2}\) is a part of the basin of attraction of the point at infinity of (1).
Proof
Set
and
Clearly, the function \(f ( x,y ) \) is increasing in both variables. If \(x,y\in [ 1,\infty ) \), then
Since the initial conditions \(x_{1},x_{0}\in [ 1,\infty ) \),
An immediate application of mathematical induction yields
for all \(n\geq1\). If \(k>1\), then \(k^{n}\rightarrow\infty\) and if \(k=1\) then \(k^{n1}+k^{n2}+\cdots+1\rightarrow\infty\). In both cases we get \(x_{2n1}\rightarrow\infty\) and \(x_{2n}\rightarrow\infty\). □
Theorem 11
If \(( H+I1 ) ^{2}<4J ( E+F+G ) \), then every solution \(\{ x_{n} \} \) of (1) satisfies \(\lim_{n\rightarrow\infty}x_{n}=\infty\).
Proof
If \(\{ x_{n} \} \) is a solution of (1), then \(\{ x_{n} \} \) satisfies the inequality
which in view of the result on difference inequalities, see Theorem 1.4.1 in [17], implies that \(x_{n}\geq y_{n}\), \(n\geq1\) where \(\{ y_{n} \} \) is a solution of the initial value problem
Equation (5) has no equilibrium solutions if and only if
In view of the results for (5) in [1], see Lemma 2, there is no prime periodtwo solution when \(( H+I1 ) ^{2}\leq4J ( E+F+G ) \) or \(E\geq G\) or \(H+I>1\). So if there is no equilibrium point and there is no prime periodtwo solution of (5), then every solution \(\{ y_{n} \} \) of (5) satisfies \(\lim_{n\rightarrow\infty}y_{n}=\infty\), which implies \(\lim_{n\rightarrow\infty}x_{n}=\infty\). □
Remark 2
Theorems 8, 9, 10, and 11 describe the parametric region which is the part of the basin of attraction of the point at ∞ called the escape region. The remaining part of the escape region will be described more precisely in the next sections. We will precisely describe the boundary of the escape region in all situations when the equilibrium points and periodtwo points are hyperbolic. In particular, we will describe the manifold that solutions will be following on their way to ∞. In general, it is clear from the proof of Theorem 11 that the escape region of (5) is a subset of the escape region of (1). In the subsequent sections we will consider global dynamics of (5) in the complement of the parametric region described by Theorems 8, 9, 10, and 11.
Local stability analysis of equilibrium solutions
The equilibrium solutions of (1) are the nonnegative solutions of the equation
Define the function \(g ( x ) \) such that
so the nonnegative solutions of \(g ( x ) =0\) are the nonnegative equilibrium solutions of (1).
The case \(J>0\)
Since \(g ( \infty ) =\infty\) and \(g ( 0 ) =J>0\), we always have one negative root, which means that there are at most two nonnegonnegative equilibrium solutions. The first derivative of \(g ( x ) \) is
Denote by Δ the discriminant of quadratic equation \(g^{\prime} ( x ) =0\), that is,
We have:
(i) If \(\Delta<0\), then \(g^{\prime} ( x ) >0\) for all x and the function \(g ( x ) \) is monotonically increasing, which implies that there is no nonnegative root of \(g ( x ) =0\).
(ii) If \(\Delta=0\), then
Thus, \(g ( x ) >0\) for all \(x\geq0\), which implies that (6) has no positive solutions.
(iii) If \(\Delta>0\), then for the roots \(x_{1,2}=\frac{ 2 ( E+F+G ) \pm\sqrt{\Delta}}{6 ( A+B+C+D ) }\) (\(x_{1}< x_{2}\)) of \(g^{\prime} ( x ) =0\) we get the following:
which means that at least \(x_{1}\) is negative, and
From (10) we see that the following statements hold:

If \(H+I>1\), then (6) has no positive solutions.

If \(H+I=1\), then \(x_{2}=0\) and \(g(x)\geq g ( x_{2} ) =J>0\) so there is no positive solution of \(g ( x ) =0\).

If \(H+I<1\), then \(x_{2}>0\), \(g^{\prime} ( x ) <0\) for \(x\in ( x_{1},x_{2} ) \) so \(g ( x_{1} ) >g ( 0 ) =J>g ( x_{2} ) \) and:
(a) If \(g ( x_{2} ) \in ( 0,J ) \) there is no positive solution of \(g ( x ) =0\).
(b) If \(g ( x_{2} ) =0\) there is one positive solution \(\overline{x} =x_{2}\) of \(g ( x ) =0\). This case is possible, for example when the values of parameters are
(c) If \(g ( x_{2} ) <0\) there are two positive solutions \(\overline{x} _{1}\in ( 0,x_{2} ) \) and \(\overline{x}_{2}\in ( x_{2},+\infty ) \) of \(g ( x ) =0\). The calculation of \(g ( x_{2} )\) gives
and
After a straightforward calculation we get
where
Also, a straightforward calculation yields
The case \(J=0\)
In this case (6) becomes
so we always have the zero equilibrium. Denote by \(\Delta_{0}\) discriminant of quadratic equation
that is
The following statements are immediate:
(i) If \(\Delta_{0}<0\), then the zero equilibrium is the only equilibrium.
(ii) If \(\Delta_{0}=0\), then a solution of the quadratic equation (12) is given by
If \(E+F+G>0\) there is no positive solution. \(E+F+G=0\) implies \(H+I=1\), and again the zero equilibrium is the only equilibrium.
(iii) If \(\Delta_{0}>0\), then for equilibriums \(\overline{x}_{1,2}=\frac{ ( E+F+G ) \pm\sqrt{\Delta_{0}}}{ 2 ( A+B+C+D ) }\) (\(\overline{x}_{1}<\overline {x}_{2} \)) we have \(\overline{x}_{1}<0\) and
Now, we see that the following statements hold:

(a)
If \(H+I>1\), then (12) has no positive solutions.

(b)
If \(H+I=1\), then \(\overline{x}_{2}=0\), and there is no positive equilibrium solutions.

(c)
If \(H+I<1\), then the only positive equilibrium solution is \(\overline{x}_{2}\).
The equilibrium solutions \(\bar{x}\) of (1) satisfy the cubic equation (6). This immediately shows that there exists a zero equilibrium \(\bar{x}=0\) if and only if \(J=0\). The linearized equation at the zero equilibrium is
In view of Theorem 5 and the local stability theorem from [7] we obtain the following result on the local stability of the zero equilibrium.
Proposition 1
The zero equilibrium of (1) is one of the following:

(a)
locally asymptotically stable if \(H+I<1\),

(b)
nonhyperbolic and locally stable if \(H+I=1\),

(c)
unstable if \(H+I>1\),

(d)
a saddle point if \(H>I1\),

(e)
a repeller if \(1I< H< I1\).
A necessary condition for the existence of the positive equilibrium(s) is \(H+I<1\). The linearized equation at the positive equilibrium solutions \(\overline{x}\) is
where
and
Now,
where \(g ( x ) \) is given by (7). Let \(x_{1}\) and \(x_{2}\) (\(x_{1}< x_{2} \)) be the roots of \(g^{\prime} ( x ) =0\). By applying Theorem 5 and the local stability theorem from [7] we obtain the following result on the local stability of the positive equilibrium(s).
Proposition 2
The positive equilibrium solution of (1) is one of the following:

(a)
locally asymptotically stable if \(p+q<1\),

(b)
nonhyperbolic and locally stable if \(p+q=1\),

(c)
unstable if \(p+q>1\),

(d)
a saddle point if \(p>q1\),

(e)
a repeller if \(1q< p< q1\).
The next theorems will describe the local stability for the positive equilibrium(s) in more detail.
Theorem 12
Let \(J\in ( 0,\infty ) \) and \(H+I<1\), then:

(a)
If \(g ( x_{2} ) <0\), then there are two positive equilibrium solutions \(\overline{x}_{1}\in ( 0,x_{2} ) \) and \(\overline{x}_{2}\in ( x_{2},+\infty ) \) of (1). Furthermore, \(\overline{x}_{1}\) is locally asymptotically stable and \(\overline{x}_{2}\) is unstable.

(b)
If \(g ( x_{2} ) =0\), then there is one positive equilibrium solution \(\overline{x}=x_{2}\), which is nonhyperbolic and locally stable.
Proof
(a) When \(x\in ( 0,x_{2} ) \), then \(g^{\prime} ( x ) <0\), and for \(\overline{x}_{1}\in ( 0,x_{2} ) \) we get
so by applying Theorem 5 we see that \(\overline{x}_{1}\) is locally asymptotically stable. When \(x\in ( x_{2},+\infty ) \) then \(g^{\prime} ( x ) >0\), and for \(\overline{x}_{2}\in ( x_{2},+\infty ) \) we get
so by applying Theorem 5 we see that \(\overline{x}_{2}\) is unstable. By using the Proposition 2 we obtain the following result:

\(\overline{x}_{2}\) is a saddle point if \(qp<1\),

\(\overline{x}_{2}\) is a repeller if \(qp>1\).
It remains to determine \(qp\) for equilibrium \(\overline{x}_{2}\):
(b) In this case we have
and Theorem 5 implies that \(\overline{x_{2}}\) is nonhyperbolic and locally stable. □
Theorem 13
If \(J=0\) and \(H+I<1\) and \(\Delta_{0}\) is given by (13), then the only positive equilibrium
of (1) is unstable.
Proof
In this case (1) has three equilibrium solutions \(\overline{x}_{}\in ( \infty,x_{1} ) \), \(\overline{x}=0\), and \(\overline{x}_{+}\in ( x_{2},\infty ) \), where \(x_{1}\) and \(x_{2}\) (\(x_{1}< x_{2} \)) are the roots of \(g^{\prime} ( x ) =0\). Now we have
so by applying Theorem 5 we see that \(\overline{x}_{+}\) is unstable. By using Proposition 2 we obtain the following result:

\(\overline{x}_{+}\) is saddle point if \(qp<1\);

\(\overline{x}_{+}\) is repeller if \(qp>1\).
It remains to determine \(qp\) for equilibrium \(\overline{x}_{+}\):
□
Example 1
It has been shown in [12] that the difference equation
has one positive equilibrium \(\overline{x}_{+}=\frac{\sqrt{2}}{2}\), which is a saddle point. The difference equation
such that \(D>5A+3B+C\) has one positive equilibrium \(\overline {x}_{+}=\frac{1}{ 2 ( A+B+C+D ) }\). As
the positive equilibrium is a repeller.
Local stability of periodtwo solutions
Periodtwo solutions \(\ldots,\Phi,\Psi,\Phi,\Psi,\ldots\) satisfy the system:
It is clear that if there is a periodtwo solution it has to be \(I\leq1\). Also, for \(H+I>1\) or \(J\geq1\) or \(( H+I1 ) ^{2}<4J ( E+F+G ) \) we have seen that \(x_{n}\rightarrow\infty\) (see Theorems 8, 9, 10, and 11) so interesting dynamics for our system happens in the parametric region \(H+I\leq1\), \(J<1\) and \(( H+I1 ) ^{2}\geq4J ( E+F+G ) \), which will be our main objective in the sequel. As the system (16), (17) is symmetric, which means that if \(( \Phi ,\Psi ) \) is a solution of the system (16), (17), then also \(( \Psi,\Phi ) \) is a solution of the system (16), (17); then we assume without a loss of generality that \(0\leq\Phi<\Psi\). By subtracting (16) and (17), and using the fact that \(\Psi\Phi>0\), we get
By summing (16) and (17) we get
If we set \(\Phi+\Psi=x>0\) and \(\Phi\Psi=y\geq0\), then (18) and (19) yields another system
One can see that the special cases when the periodtwo solutions do not exist are
or
This immediately leads to the following result.
Theorem 14
Let \(D\leq A\), \(A+C\leq B+D\) (or \(C+D\leq A+B\)), \(G\leq E \), \(J\in ( 0,1 ) \), and \(H+I<1\). If \(\Delta\leq0\) or \(\Delta>0\) and \(g ( x_{2} ) \in ( 0,J ) \), then every solution \(\{ x_{n} \} \) of (1) satisfies \(\lim_{n\rightarrow\infty}x_{n}=\infty\). Here \(g ( x ) \) and Δ are defined by (7) and (9), respectively, and \(x_{2}\) is the greater root of equation \(g^{\prime} ( x ) =0\).
Proof
Since \(H+I<1\), \(D\leq A\), \(A+C\leq B+D\) (or \(C+D\leq A+B\)), and \(G\leq E\), we see that (18) implies that the periodtwo solutions do not exist. If \(\Delta\leq0\) or \(\Delta>0\) and \(g ( x_{2} ) \in ( 0,J ) \), then there is no positive solution of \(g ( x ) =0\), so there are no positive equilibriums of (1). As a consequence of Theorem 2 every bounded solution of (1) approaches either an equilibrium solution or a periodtwo solution and every unbounded solution is asymptotic to the point at infinity in a monotonic way. Hence, every solution \(\{ x_{n} \} \) of (1) satisfies \(\lim_{n\rightarrow\infty} x_{n}=\infty\). □
Remark 3
If \(D\leq A\), \(A+C\leq B+D \) (\(\Rightarrow C\leq B \)), \(G\leq E\), then a periodtwo solution does not exist, so if there exists an unstable positive equilibrium of (1) we obtain
which implies that the positive equilibrium is a saddle point. In this case a global result follows from Theorem 3.
Set
and write (1) in the equivalent form:
Let the function \(f ( u,v ) \) be defined by (4) and let T be a map on \([ 0,\infty ) \times [ 0,\infty ) \) defined by \(T ( u,v ) = ( v,f ( v,u ) ) \), that is,
Then \(( \Phi,\Psi ) \) is a fixed point of \(T^{2}\), the second iterate of T. It is clear that if \(( \Phi,\Psi ) \) is a fixed point of \(T^{2}\), then \(( \Psi,\Phi ) \) is also a fixed point of \(T^{2}\). Furthermore,
where
The periodtwo solution is locally asymptotically stable if the eigenvalues of the Jacobian matrix \(J_{T^{2}}\), evaluated at \(( \Phi,\Psi )\), lie inside the unit disk. By definition
By computing the partial derivatives of g and h and by using the fact that \(g ( \Phi,\Psi ) =f ( \Psi,\Phi ) =\Phi\), we find the following identities:
and
where
Set
and
By applying the linearized stability theorem, the periodtwo solution \(( \Phi,\Psi ) \) is locally asymptotically stable if \(\vert \mathcal{S}\vert <1+\mathcal{D}\) and \(\mathcal{D}<1\), that is,
and
which implies the following lemma.
Lemma 1
The eigenvalues of the Jacobian matrix of \(J_{T^{2}}\) at a periodtwo solution are nonnegative numbers.
In order to solve system of equations (20) and (21), we consider two different cases.
(i) If \(A+C=B+D\), then (20) becomes the quadratic equation
If \(D\leq A\) and \(G\leq E\), then the periodtwo solutions do not exist, so at least one of the following inequalities is true:
Also, \(H+I<1\) implies \(IH1<2H\leq0\). The solutions of the quadratic equation (28) are given by
(a) If \(D>A\), then \(( DA ) ( IH1 ) <0\) and
is the only positive solution of (28).
(b) If \(D< A\), then (28) can be written as
It is clear that \(E< G\). As
when \(( EG ) ^{2}>4 ( AD ) ( HI+1 ) \) we have two positive solutions given by (29). If \(( EG ) ^{2}=4 ( AD ) ( HI+1 ) \), then we have one positive solution
(c) If \(D=A\), then \(B=C\), and (28) becomes the linear equation
If \(G=E\), then \(I=H+1\Rightarrow I\geq1\). Case \(H=0\) and \(I=1\) implies \(J=0\), so (16) and (17) become the same equation,
which is impossible for positive Φ, Ψ. For positive parameter H we have \(H+I>2H+1>1\), so there is no minimal periodtwo solution. If \(G\neq E\), then
in which case we get \(G>E\).
In all the above cases, when \(2 ( E+GF ) + ( 3A+3DBC ) x\neq0\), y is given by
(ii) If \(A+C\neq B+D\), then (20) gives
and, finally, from (21) we get the following cubic equation:
where
Remark 4
Equation (31) shows that (1) can have at most three periodtwo solutions. Lemma 3 gives an upper bound of the number of periodtwo solutions of equation (1) in some special cases. Equation (31) can be solved but its solutions are very complicated and would depend on 10 parameters. In the remaining part of the paper we will work under the assumptions that (1) has between zero and three periodtwo solutions and we will present the global dynamics in all possible cases. In particular, Theorem 20 describes a global dynamics in the case when (1) has one or three periodtwo solutions, while Theorem 21 gives a global dynamics in the case when (1) has zero or two periodtwo solutions. The existence of at least one periodtwo solution is guaranteed by Theorem 19.
Global behavior
In this section we present the global dynamics of (1) in different parametric regions.
The case that there exists a minimal periodtwo solution on the coordinate axes (\(\Phi=0\) and \(\Psi>0\))
In this section we consider the special case when \(\Phi=0\) and \(\Psi >0\). Equation (16) implies
Since \(\Psi>0\), we get \(A=E=H=J=0\). Now, from (17) we obtain
If \(I=1\), then we must have \(D=G=0\) and \(\Psi\in\mathbb{R}^{+}\). If \(I<1\), then Ψ is a positive solution of (4), that is,
Also, if \(D=0\) and \(I<1\), then
The case: \(A=D=E=G=H=J=0\), \(I=1\)
If \(A=D=E=G=H=J=0\) and \(I=1\), then \(( \Phi ,\Psi ) = ( 0,t ) \) where \(t\in\mathbb{R}^{+}\) is a periodtwo solution of the difference equation
All other minimal periodtwo solutions \(( \Phi,\Psi ) \) are solutions of the system
One can show that this system has no other positive solutions except \(( \Phi ,\Psi ) = ( 0,t ) \) where
Since \(b c= ( a1 ) ( d1 ) \) or \(\mathcal {S}=1+\mathcal{D} \), the periodtwo solution is nonhyperbolic. The global behavior of this equation is described in Section 8 and, in this case, every solution goes to infinity.
The case: \(A=E=H=J=0\) and \(I<1\)
If \(A=E=H=J=0\) and \(I<1\), then \(( \Phi,\Psi ) = ( 0,\frac{G+\sqrt{G^{2}+4D ( 1I ) }}{2D} ) \) is the periodtwo solution of the difference equation
All other minimal periodtwo solutions \(( \Phi,\Psi ) \) are solutions of the system
Since \(H+I<1\), there are locally stable zero equilibrium and positive unstable equilibrium. It is useful to note that if \(B=D\) and \(F=G\), then \(( \Phi,\Psi ) = ( 0,\frac{F+\sqrt{F^{2}+4B ( 1I ) }}{2B} ) \) is also a solution of the equation
In this case every point on the curve
is a periodtwo solution of (34) except the equilibrium point \(( \overline {x}_{+},\overline{x} _{+} ) \).
One can see that for \(( \Phi,\Psi ) = ( 0,\frac{G+\sqrt {G^{2}+4D ( 1I ) }}{2D} ) \)
Now, we have
and
Thus
After some calculation we find
and for the positive equilibrium \(\overline{x}_{+}\) we obtain

It is clear that if \(B\Psi^{2}+F\Psi+I>1\), then \(( a1 ) ( d1 ) >0=bc\) and \(ad>1\) or \(\mathcal{S}<1+\mathcal{D}\) and \(\mathcal{D}>1\), which implies \(( \Phi,\Psi ) = ( 0,\frac{G+ \sqrt{G^{2}+4D ( 1I ) }}{2D} ) \) is a repeller. For example, if \(B=D\) and \(F>G\) or \(B>D\) and \(F=G\), then \(qp1<0\), which implies that the positive equilibrium \(\overline{x}_{+}\) is a saddle point.

In the case when \(B\Psi^{2}+F\Psi+I=1\), then \(( a1 ) ( d1 ) =0=bc\) or \(\mathcal{S}=1+\mathcal{D}\), which implies that the periodtwo solution \(( \Phi,\Psi ) = ( 0,\frac{G+\sqrt{ G^{2}+4D ( 1I ) }}{2D} ) \) is a nonhyperbolic point. A special case when this holds is \(B=D\) and \(G=F\). In this case every point on the curve (35) is a periodtwo solution of (34), except the equilibrium point, Since \(qp1=0\), the positive equilibrium \(\overline{x}_{+}\) is a nonhyperbolic point. Also, the points \(( \Phi,\Psi ) = \{ ( 0,\frac{F+\sqrt{F^{2}+4B ( 1I ) }}{2B} ) , ( \frac{F+\sqrt{F^{2}+4B ( 1I ) }}{ 2B},0 ) \} \) are the endpoints of the curve (35) in the first quadrant.

If \(B\Psi^{2}+F\Psi+I<1\), then \(( a1 ) ( d1 ) <0=bc\) or \(\mathcal{S}>1+\mathcal{D}\), which implies that the periodtwo solution \(( \Phi ,\Psi ) = ( 0,\frac{G+\sqrt{G^{2}+4D ( 1I ) }}{2D} ) \) is a saddle point. That is true for example if \(B=D\) and \(F< G\) or \(B>D\) and \(F=G\), then \(qp1>0\), which implies that the positive equilibrium \(\overline{x}_{+}\) is a repeller.
One can prove that if \(B=D\), \(F\neq G\) or \(F=G\), \(B\neq D\) the map T has no other minimal periodtwo solutions except \(( \Phi,\Psi ) = ( 0,\frac{G+\sqrt{G^{2}+4D ( 1I ) }}{2D} )\). This leads to the following result.
Theorem 15
Let \(A=E=H=J=0\) and \(I<1\), \(D>0\), then (34) has locally stable zero equilibrium and the positive equilibrium \(\overline{x}_{+}\). The following statements hold:
(a) If \(B=D\), \(F< G\) or \(B>D\), \(F=G\), then the positive equilibrium \(\overline{x}_{+}\) is a repeller and there exists the periodtwo solution which is a saddle point. In this case there exist four continuous curves \(\mathcal{W}^{s}(P_{1})\), \(\mathcal{W}^{s}(P_{2})\), \(\mathcal{W}^{u}(P_{1})\), and \(\mathcal{W}^{u}(P_{2})\), with \(P_{1}=(\Phi ,\Psi)\) and \(P_{2}=(\Psi,\Phi)\), where \(\mathcal{W}^{s}(P_{1})\) and \(\mathcal{W} ^{s}(P_{2})\) are passing through the point \(E_{+}=(\bar{x}_{+},\bar{x}_{+})\) and they are graphs of decreasing functions. The curves \(\mathcal{W} ^{u}(P_{1})\) and \(\mathcal{W}^{u}(P_{2})\) are the graphs of increasing functions which are starting at \(E_{0} ( 0,0 ) \). Every solution \(\{ x_{n} \} \) which starts below \(\mathcal{W}^{s}(P_{1})\cup \mathcal{W}^{s}(P_{2})\) in the NorthEast ordering converges to \(E_{0}\) and every solution \(\{ x_{n} \} \) which starts above \(\mathcal{W} ^{s}(P_{1})\cup\mathcal{W}^{s}(P_{2})\) in the NorthEast ordering satisfies \(\lim_{n\rightarrow\infty} x_{n}=\infty\). (See Figure 1(a).)
(b) If \(B=D\), \(F>G\) or \(B>D\), \(F=G\), then the positive equilibrium \(\overline{x}_{+}\) is a saddle point and there exists the periodtwo solution which is a repeller. Global behavior of (34) is described by Theorem 3 where we set \(E_{1}(0,0)\) and \(E_{2}(\overline{x}_{+},\overline {x}_{+})\). (See Figure 1(b).)
(c) If \(B=D\) and \(F=G\), then every point on the curve (35), which is passing through the equilibrium \(E=(\bar{x}_{+},\bar{x}_{+})\), is a periodtwo solution of (34) except point E. Periodtwo solutions and the positive equilibrium \(\overline{x}_{+}\) are nonhyperbolic points, while the zero equilibrium is locally stable. The curve (35) divides the first quadrant into two regions. The region below (35) in the first quadrant is a basin of attraction of the zero equilibrium and the region above the (35) in the first quadrant is a basin of attraction of point at infinity. (See Figure 1(c).)
Proof
(a) The existence of four curves \(\mathcal{W} ^{s}(P_{1})\), \(\mathcal{W}^{s}(P_{2})\), \(\mathcal{W}^{u}(P_{1})\), and \(\mathcal{W}^{u}(P_{2})\) with the described properties is guaranteed by Theorems 1 and 4 of [18] applied to the map \(T^{2}\) given by (23). The global result follows from Theorem 3.
(b) All conditions of Theorem 3 are satisfied, which implies the proof.
(c) It was already noticed that every point on the curve (35) is a nonhyperbolic periodtwo solution of (34) and points
are the endpoints of (35) in the first quadrant. It is also known that the positive equilibrium \(\overline{x}_{+}\) is a nonhyperbolic point. This implies that the curve (35) which is passing through the point \(E=(\bar {x}_{+},\bar{x}_{+})\) is not a global stable manifold. Since the curve (35) is the boundary of the basin of attraction of the points at infinity, it is a Julia set. Let \(\mathcal{V}\) denote the matrix
Then \(4\det\mathcal{V}=4B^{2}C^{2}\) and by the wellknown result as regards the identification of the quadratic curves, we obtain the following statements:

if \(\det\mathcal{V}>0\Leftrightarrow2B>C\), then \(\mathcal{U}\) is either an ellipse or a circle if \(C=0\),

if \(\det\mathcal{V}<0\Leftrightarrow2B<C\), then \(\mathcal{U}\) is a hyperbole,

if \(\det\mathcal{V}=0 \Leftrightarrow2B=C\), then \(\mathcal {U}\) is union of two parallel lines.
We avoid the cases when \(\mathcal{U}\) is one point set or empty set. As a consequence of \(I<1\) and the fact that the curve (35) has endpoints in the first quadrant we conclude that the point \(( 0,0 ) \) is always below the curve (35). It remains to describe global behavior of (34) when \(B=D\) and \(F=G\). If an initial point \(( x_{1},x_{0} ) \) is below the curve (35), then
As \(x_{n+1}= ( B ( x_{n}^{2}+x_{n1}^{2} ) +Cx_{n}x_{n1}+F ( x_{n}+x_{n1} ) +I ) x_{n1}\), then
Thus the point \(( x_{2},x_{1} ) \) is below the curve (35) and
Now
Continuing in this way, we obtain \(( 0,0 ) \preceq _{ne}\cdots\preceq _{ne} ( x_{3},x_{4} ) \preceq_{ne} ( x_{1},x_{2} ) \preceq_{ne} ( x_{1},x_{0} ) \). Hence, both of the subsequences \(\{ x_{2n} \} \) and \(\{x_{2n+1}\}\) are decreasing, which implies \(x_{2n}\rightarrow0\) and \(x_{2n+1}\rightarrow0\). If we start at the point \(( x_{1},x_{0} ) \) above the curve (35), then
Now the proof is very similar and will be omitted. In this case both of the subsequences \(\{ x_{2n} \} \) and \(\{x_{2n+1}\}\) are increasing, which implies \(x_{2n}\rightarrow\infty\) and \(x_{2n+1}\rightarrow\infty\).
If \(2B=C\), then
Since \(F^{2}+4B ( 1I ) >0\), \(\mathcal{U}\) is the union of two parallel lines. If we want to obtain two intersecting lines it has to be \(2B< C\) and a straightforward calculation gives another condition \(F^{2}+ ( 2B+C ) ( 1I ) =0\), which is not true. □
The case: \(A=D=E=H=J=0\) and \(I<1\)
If \(A=D=E=H=J=0\) and \(I<1\), then \(( \Phi ,\Psi ) = ( 0,\frac{1I}{G} ) \) is the periodtwo solution of the difference equation
and the periodtwo solution \(( \Phi,\Psi ) \) satisfies the system
As \(H+I<1\), there are locally stable zero equilibrium and positive unstable equilibrium. If \(B=0\) and \(F=G\) we obtain the special case where \(( \Phi,\Psi ) \) is the solution of the equation
Thus every point on the curve \(Cxy+F ( x+y ) +I1=0\) is a periodtwo solution of (36) except the equilibrium point \(( \overline{x}_{+},\overline{x}_{+} ) \).
One can see that in this case we obtain
Now,
and
Therefore,
and for the positive equilibrium \(\overline{x}_{+}\) we have

If \(B ( 1I ) +G ( FG ) >0\), then \(\mathcal{S} \mathcal{D}1<0\), \(\mathcal{D}>2I>1\), and the periodtwo solution \(( \Phi ,\Psi ) = ( 0,\frac{1I}{G} ) \) is a repeller. For example, if \(F>G\), \(B\geq0\) or \(F=G\), \(e B>0\), then \(qp1<0\) and the positive equilibrium \(\overline{x}_{+}\) is a saddle point.

If \(B ( 1I ) +G ( FG ) =0\), then \(\mathcal{S} \mathcal{D}1=0\) and the periodtwo solution \(( \Phi,\Psi ) = ( 0,\frac{1I}{G} ) \) is a nonhyperbolic point. For example if \(F=G\) and \(B=0\), then the positive equilibrium \(\overline{x}_{+}\) is a nonhyperbolic point and every point on the curve \(Cxy+F ( x+y ) +I1=0\) is a periodtwo solution of (36), except \(( \overline{x} _{+},\overline{x}_{+} ) \). The points \(( \Phi,\Psi ) = \{ ( 0,\frac{1I}{G} ) , ( \frac{1I}{G},0 ) \} \) are the endpoints of the curve \(Cxy+F ( x+y ) +I1=0\) in the first quadrant.

If \(B ( 1I ) +G ( FG ) <0\), then \(\mathcal{S} \mathcal{D}1>0\) and the periodtwo solution \(( \Phi,\Psi ) = ( 0,\frac{1I}{G} ) \) is a saddle point and \(B ( 1I ) +G ( FG ) <0\). For example if \(F< G\) and \(B=0\), then \(qp1>0\) and the positive equilibrium \(\overline{x}_{+}\) is repeller.
One can prove that in this case the map T has no other minimal periodtwo solutions except \(( \Phi,\Psi ) = ( 0,\frac{G+\sqrt{G^{2}+4D ( 1I ) }}{2D} )\). This leads to the following theorem.
Theorem 16
Let \(A=D=E=H=J=0\) and \(I<1\), then (36) has locally stable zero equilibrium and the positive equilibrium \(\overline{x}_{+}\). The following statements hold:
(a) If \(B=0\) and \(F< G\), then the positive equilibrium \(\overline{x}_{+}\) is repeller and there exists the periodtwo solution which is a saddle point. In this case there exist four continuous curves \(\mathcal{W} ^{s}(P_{1})\), \(\mathcal{W}^{s}(P_{2})\), \(\mathcal{W}^{u}(P_{1})\), and \(\mathcal{W}^{u}(P_{2})\). The curves \(\mathcal{W}^{s}(P_{1})\) and \(\mathcal{W}^{s}(P_{2})\) are passing through the point \(E_{+}=(\bar{x}_{+},\bar{x}_{+})\) and they are graphs of decreasing functions. The curves \(\mathcal{W}^{u}(P_{1})\) and \(\mathcal{W} ^{u}(P_{2})\) are the graphs of increasing functions and are starting at \(E_{0} ( 0,0 ) \). Every solution \(\{ x_{n} \} \) which starts below \(\mathcal{W}^{s}(P_{1})\cup\mathcal{W}^{s}(P_{2})\) in the NorthEast ordering converges to \(E_{0}\) and every solution \(\{ x_{n} \} \) which starts above \(\mathcal{W}^{s}(P_{1})\cup\mathcal{W} ^{s}(P_{2})\) in the NorthEast ordering satisfies \(\lim_{n\rightarrow\infty}x_{n}=\infty\). (See Figure 1(a).)
(b) If \(F>G\), \(B\geq0\) or \(F=G\), \(B>0\), then the positive equilibrium \(\overline{x}_{+}\) is a saddle point and there exists the periodtwo solution which is repeller. Global behavior of (34) is described by Theorem 3 where we set \(E_{1}(0,0)\) and \(E_{2}(\overline{x}_{+},\overline {x}_{+})\). (See Figure 1(b).)
(c) If \(F=G\) and \(B=0\), then every point on the curve \(\mathcal{J}_{1}=Cxy+F ( x+y ) +I=1\), which is passing through the point \(E=(\bar{x} _{+},\bar{x}_{+})\), is a periodtwo solution of (36) except E. All periodtwo solutions and the positive equilibrium \(\overline{x}_{+}\) are nonhyperbolic points and the zero equilibrium is locally stable. The curve \(\mathcal{J}_{1}\) divides the first quadrant into two regions. The region below \(\mathcal{J}_{1}\) in the first quadrant is the basin of attraction of the zero equilibrium and the region above \(\mathcal{J}_{1}\) in the first quadrant is the basin of attraction of point at infinity. (See Figure 1(c).)
Proof
(a) The existence of four curves \(\mathcal{W} ^{s}(P_{1})\), \(\mathcal{W}^{s}(P_{2})\), \(\mathcal{W}^{u}(P_{1})\), and \(\mathcal{W}^{u}(P_{2})\) with the described properties is guaranteed by Theorems 1 and 4 of [18] applied to the map \(T^{2}\) given by (23). The global result follows from Theorem 3.
(b) All conditions of Theorem 3 are satisfied and the proof follows from Theorem 3.
(c) The facts that every point on the curve \(\mathcal{J}_{1}\) is a nonhyperbolic periodtwo solution of (36), except \(( \overline {x}_{+},\overline{x} _{+} ) \), and that the points \(( \Phi,\Psi ) = \{ ( 0, \frac{1I}{G} ) , ( \frac{1I}{G},0 ) \} \) are the endpoints of \(\mathcal{J}_{1}\) in the first quadrant were proven earlier. This implies that the curve \(\mathcal{J}_{1}\), which is passing through the point \(E=(\bar{x}_{+},\bar {x}_{+})\) is not a global stable manifold of E. It remains to describe global behavior of (36) when \(F=G\) and \(B=0\). Since \(I<1\) and the curve has endpoints in the first quadrant, the point \(( 0,0 ) \) is always below the curve. If the point \(( x_{1},x_{0} ) \) is below the Julia set \(\mathcal{J}_{1}\), then
As \(x_{n+1}= ( Cx_{n}x_{n1}+F ( x_{n}+x_{n1} ) +I ) x_{n1}\), we have
Thus the point \(( x_{1},x_{2} ) \) is below \(\mathcal{J}_{1}\) too and
Now
Continuing in this way, we obtain \(( 0,0 ) \preceq _{ne}\cdots\preceq _{ne} ( x_{3},x_{4} ) \preceq_{ne} ( x_{1},x_{2} ) \preceq_{ne} ( x_{1},x_{0} ) \). Hence, both subsequences \(\{ x_{2n} \} \) and \(\{x_{2n+1}\}\) are decreasing, which implies \(x_{2n}\rightarrow0\) and \(x_{2n+1}\rightarrow0\). If we start at the point \(( x_{1},x_{0} ) \) above \(\mathcal{J}_{1}\), then
which, in a similar way as above implies \(( x_{1},x_{0} ) \preceq_{ne} ( x_{1},x_{2} ) \preceq_{ne} \ldots\) . In this case both subsequences \(\{ x_{2n} \} \) and \(\{ x_{2n+1}\}\) are increasing, which implies that \(x_{2n}\rightarrow\infty\) and \(x_{2n+1}\rightarrow\infty\). □
The special cases studied in Theorem 16 leads to the following general result.
Theorem 17
Consider the difference equation
where P is a symmetric polynomial function with nonnegative coefficients. If we assume that \(P ( 0,0 ) <1\), then the curve \(P ( x,y ) =1\) is the Julia set and separates the first quadrant into two regions: the region below the curve is the basin of attraction of \(E_{0} ( 0,0 ) \) and the region above the curve is the basin of attraction of a point at infinity.
Proof
Equilibrium points of (37) are solutions of the equation
which implies that (37) has zero equilibrium. Let \(h ( x ) =P ( x,x ) 1\). Then
and we see that the equation \(P ( x,x ) =1\) has exactly one positive equilibrium \(\overline{x}_{+}\). As a consequence of the symmetry we have \(\frac{\partial P}{\partial x} ( x,y ) =\frac{\partial P}{ \partial y} ( y,x ) \) and
where p and q denote partial derivatives of function \(g ( x,y ) =yP ( x,y ) \) evaluated at the equilibrium \(\overline{x}\). For the zero equilibrium we get
and by applying Proposition 2, the zero equilibrium is locally asymptotically stable. Similarly, in the case of the positive equilibrium \(\overline{x}_{+}\), we get
and
By applying Proposition 2 the positive equilibrium \(\overline{x} _{+}\) is unstable nonhyperbolic point. The periodtwo solution \(\{ \Phi ,\Psi \} \), where \(0\leq\Phi<\Psi\), satisfies the system
Since \(\Psi>0\), we have \(P ( \Phi,\Psi ) =1\) and \(P ( \Psi,\Phi ) =P ( \Phi,\Psi ) =1\). Hence, every point of the set \(\mathcal{J}_{2}= \{ ( x,y ) :P ( x,y ) =1 \} \) is a periodtwo solution of (37) except the equilibrium point \(( \overline{x}_{+}, \overline{x}_{+} ) \). If we start at the point \(( x_{0},x_{1} ) \) below the curve \(\mathcal{J}_{2}\), then
and from the fact that \(P ( x,y ) \) is an increasing function in both variables we obtain the following:
Therefore the point \(( x_{2},x_{1} ) \) is also below \(\mathcal {J}_{2}\) and
So
Continuing in this way, we obtain \(( 0,0 ) \preceq _{ne}\cdots\preceq _{ne} ( x_{3},x_{4} ) \preceq_{ne} ( x_{1},x_{2} ) \preceq_{ne} ( x_{1},x_{0} ) \). Hence, both subsequences \(\{ x_{2n} \} \) and \(\{x_{2n+1}\}\) are decreasing, which implies \(x_{2n}\rightarrow0\) and \(x_{2n+1}\rightarrow0\). If we start at the point \(( x_{1},x_{0} ) \) above \(\mathcal{J}_{2}\), then
The proof of the remaining case is similar and will be omitted. In this case both subsequences \(\{ x_{2n} \} \) and \(\{x_{2n+1}\}\) are increasing, which implies \(x_{2n}\rightarrow\infty\) and \(x_{2n+1}\rightarrow\infty\). □
The Case: \(J=0\), \(H+I\geq1\)
Next we consider the case where \(J=0\) and \(H+I\geq1\). In this case (1) has exactly one equilibrium which is the zero equilibrium, which in view of Proposition 1 is unstable.
The following result describes a global dynamics of (1) in this case.
Theorem 18
Consider (1) under the conditions \(J=0\) and \(H+I\geq1\). The global behavior of solutions of (1) is as follows:

(a)
If \(1H< I\leq1\) and (1) does not possess a periodtwo solution, then every solution \(\{x_{n}\}\) of (1) satisfies \(\lim_{n\rightarrow\infty }x_{n}=\infty\);

(b)
If \(1H=I\leq1\), then every solution \(\{x_{n}\}\) of (1) is either a periodtwo solution or it satisfies \(\lim_{n\rightarrow\infty}x_{n}=\infty\);

(c)
If \(1+H< I\) and (1) does not possess a periodtwo solution, then every solution \(\{x_{n}\}\) of (1) satisfies \(\lim_{n\rightarrow\infty }x_{n}=\infty\).
Proof
(a) In view of Theorem 3 there exist the global stable manifold \(W^{s}(0,0)\) and the global unstable manifold \(W^{u}(0,0)\), where \(W^{s}(0,0)\) is a graph of continuous decreasing curve and \(W^{u}(0,0)\) is a graph of continuous increasing curve and both manifolds are invariant sets. The only decreasing curve in the first quadrant \(Q_{1}\) passing through \((0,0)\) is the union of the coordinate axes, but this set is clearly not an invariant set, which means that \(W^{s}(0,0)\) is not a part of \(Q_{1}\). On the other hand \(W^{u}(0,0)\) exists and all solutions are asymptotic to \(W^{u}(0,0)\). Thus if (1) does not possess a periodtwo solution, then every solution \(\{x_{n}\}\) of (1) satisfies \(\lim_{n\rightarrow\infty} x_{n}=\infty\).
(b) Assume that \(\{x_{n}\}\) is not a minimal periodtwo solution of (1). Then \(\{x_{n}\}\) is eventually monotone or the subsequences \(\{x_{2n}\}\) and \(\{x_{2n+1}\}\) are eventually monotone. If \(\{x_{n}\}\) is eventually decreasing, then \(x_{n}< x_{n1}\) for all \(n\geq K \), which implies \(x_{n+1}\geq Hx_{n}+Ix_{n1}>(H+I)x_{n}=x_{n}\), which is a contradiction. If the subsequences \(\{x_{2n}\}\) and \(\{x_{2n+1}\}\) are eventually monotone, then without loss of generality we can assume that \(\{x_{2n}\}\) is eventually nondecreasing and \(\{x_{2n+1}\}\) is eventually nonincreasing. In this case \(x_{2n}\rightarrow\infty\), which would imply that \(x_{2n+1}\rightarrow\infty\), which is a contradiction. Thus the remaining possibility is that \(\{x_{n}\}\) is eventually increasing, which implies that \(x_{n}\rightarrow\infty\) as \(n\rightarrow\infty\). Another way of proving the global behavior in the case when the equilibrium point E is nonhyperbolic was used in [18, 19]. To complete this we will find the image of \(E+t\mathbf{v}\), where \(t>0\) and v is the eigenvector that corresponds to the eigenvalue 1, under the map T. Since \(E+t\mathbf{v}=(t,t)\), we have
By using the condition \(H+I1=0\), we have
which implies \(E+t\mathbf{v}\preceq_{ne}T(E+t\mathbf{v})\) for every \(t>0\). This shows that every point in \(\mathbf{u} \in(\bar{x},\infty)^{2}\) is a supersolution for the map T, that is, \(\mathbf{u} \preceq_{ne} T(\mathbf{u})\), see [18], and so every solution tends to ∞.
(c) In view of \(I>1+H\) from (1) we have \(x_{n+1}>Ix_{n1}\), which implies \(x_{n+1}>I^{k}x_{1}\) or \(x_{n+1}>I^{k}x_{0}\) for some k such that \(k\rightarrow\infty\) as \(n\rightarrow\infty\). Consequently every solution \(\{x_{n}\}\) of (1) satisfies \(\lim_{n\rightarrow\infty} x_{n}=\infty\). □
The case of two equilibrium points and a finite number of hyperbolic minimal periodtwo solutions
In this section we present the global dynamics of (1) in the parametric regions where there exist two distinct equilibrium points \(E_{}(\bar{x}_{},\bar{x}_{})\) and \(E_{+}(\bar{x}_{+},\bar{x}_{+})\), such that \(E_{}\ll_{ne} E_{+}\), which holds if and only if
and a finite number of periodtwo solutions which are hyperbolic. In this case, we prove that the Julia set is the union of the stable manifolds of some saddle periodtwo points and separates the first quadrant into two regions: the region below the curve is the basin of attraction of \(E_{}\) and the region above the curve is the basin of attraction of the point at infinity.
Let \(T^{2}(x,y)=(g(x,y),h(x,y))\) where \(g(x,y)=f(y,x)\) and \(h(x,y)=f(f(y,x),y)\). Then the periodtwo curves, that is, the curves of which the intersection is a periodtwo solution, are given by
Let
It is easy to see that \(f(y,x)=x\) and \(f(x,y)=y\) if and only if \(\tilde {F}(x,y)=\tilde{G}(x,y)=0\). We can view \(\tilde{F}\) and \(\tilde{G}\) as polynomials in y with coefficients in \(\mathbb{R}[x]\) and as polynomials in x with coefficients in \(\mathbb{R}[y]\). Let \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})\) and \(\operatorname{Res}_{y}(\tilde{F},\tilde{G})\) be resultants (see [14, 15]) of the polynomials \(\tilde{F}(x,y)\) and \(\tilde{G}(x,y)\) with respect to the variables x and y, respectively.
The following lemma gives some properties of \(\tilde{F}(x,y)\), \(\tilde {G}(x,y)\), \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})\), and \(\operatorname{Res}_{y}(\tilde{F},\tilde{G})\).
Lemma 2
The following hold:

(i)
\(\tilde{F}(x,y)=\tilde{G}(y,x)\) and \(\operatorname{deg}_{x} (\tilde{F})=\operatorname{deg}_{y} (\tilde{G})\leq3\), and \(\operatorname{deg}_{y} (\tilde{F})=\operatorname{deg}_{x} (\tilde{G})\leq3\), where the indices indicate in which variable we consider that polynomial.

(ii)
If \(s(y)=\operatorname{Res}_{x}(\tilde{F},\tilde{G})\) and \(r(x)=\operatorname{Res}_{y}(\tilde {F},\tilde{G})\), then \(r(x)=(1)^{\operatorname{deg}_{x}(\tilde{F})\cdot \operatorname{deg}_{x}(\tilde {G})} s(x)\).
Proof

(i)
The proof follows from the fact \(\tilde{F}(x,y)=f(y,x)x\) and \(\tilde{G}(x,y)=f(x,y)y\).

(ii)
Let \(\tilde{F}(x,y):=\sum_{i=0}^{3} a_{i}(y)x^{i}\) and \(\tilde{G}(x,y):=\sum_{i=0}^{3} b_{i}(y)x^{i}\). Since \(\tilde{F}(x,y)=\tilde {G}(y,x)\), we obtain \(\tilde{F}(x,y):=\sum_{i=0}^{3} b_{i}(x)y^{i} \) and \(\tilde{G}(x,y):=\sum_{i=0}^{3} a_{i}(x)y^{i}\). From this and the definition of the Sylvester matrix we get \(r(x)=(1)^{\operatorname{deg}_{x}(\tilde{F})\cdot \operatorname{deg}_{x}(\tilde{G})} s(x)\).
□
Let \(P_{i}\), \(i=2,3,4,5\) be the polynomials in the Appendix. The following lemma gives us information as regards the number of minimal periodtwo solutions.
Lemma 3
Assume that \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})=P_{1}(y) P(y)\not\equiv0\). Then there exist at most \(\lfloor \operatorname{deg}(P)/2\rfloor\) isolated minimal periodtwo solutions. Let \(\sharp PS\) denote the number of isolated minimal periodtwo solution. The following statements are true:

(i)
If \(A>0\) and \(D>0\), then \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})=P_{1}(y) P_{2}(y)\). If \(P_{2}\not\equiv0\), then \(\sharp PS\leq3\).

(ii)
If \(A=0\) and \(D>0\), then \(\operatorname{Res}_{x}(\tilde{F},\tilde {G})=D^{3\operatorname{deg}_{x} (\tilde{G})}P_{1}(y)P_{2}(y)\). If \(P_{2}\not\equiv0\), then \(\sharp PS\leq3\).

(iii)
If \(D=0\) and \(A>0\), then \(\operatorname{Res}_{x}(\tilde{F},\tilde {G})=(1)^{\operatorname{deg}_{x} (\tilde{F})}A^{3\operatorname{deg}_{x} (\tilde{F})}P_{1}(y)P_{2}(y)\). If \(P_{2}\not\equiv0\), then \(\sharp PS\leq3\).

(iv)
If \(A=D=0\), \(C+B>0\), \(C+G>0\), and \(B+E>0\), then \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})=P_{1}(y)P_{3}(y)\). If \(P_{3}\not\equiv0\), then \(\sharp PS\leq2\).

(v)
If \(A=D=0\), \(B=E=0\), and \(C>0\), then \(\operatorname{Res}_{x}(\tilde{F},\tilde {G})=P_{1}(y)P_{4}(y)\). If \(P_{4}\not\equiv0\), then \(\sharp PS\leq1\).

(vi)
If \(A=D=0\), \(C=G=0\), and \(B>0\), then \(\operatorname{Res}_{x}(\tilde{F},\tilde {G})=P_{1}(y)P_{5}(y)\). If \(P_{5}\not\equiv0\), then \(\sharp PS\leq1\).
Proof
Suppose that \(\{\Phi,\Psi\}\) is a minimal periodtwo solution (\(\Phi\neq\Psi\)). Then \(\tilde{F}(\Phi,\Psi)=\tilde{G}(\Psi ,\Phi)=0\), Lemma 2, and Theorem 7 imply \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})(\Psi) =\operatorname{Res}_{y}(\tilde{F},\tilde{G})(\Phi)=0\), and we see that \(P(\Phi)=P(\Psi)=0\). This implies that there exist at most \(\lfloor \operatorname{deg}(P)/2\rfloor\) isolated minimal periodtwo solutions. By using the package Mathematica, one can see that the statements (i)(vi) are true. □
The following lemma gives the necessary conditions under which an isolated periodtwo solution is nonhyperbolic.
Lemma 4
Assume that \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})=P_{1}(y)P(y)\not \equiv0\) (i.e. \(P(y)\not\equiv0\)). Then the following statements hold:

(i)
If (1) has a nonhyperbolic periodtwo solution, then \(\operatorname{Dis}(P)=0\).

(ii)
If (1) has a nonhyperbolic equilibrium point, then
$$\operatorname{Dis}(P_{1}\cdot P)=\operatorname{Dis}(P_{1}) \operatorname{Dis}(P)\operatorname{Res}(P_{1},P)^{2}=0, $$where \(\operatorname{Dis}(P_{1})\) is given in the Appendix.
Proof
(i) Suppose that \((\Phi,\Psi)\) is a nonhyperbolic minimal periodtwo solution. This implies that \(\tilde{F}(\Phi,\Psi)=0\), \(\tilde {G}(\Phi,\Psi)=0\). By Theorem 7 we have \(P_{1}(\Phi)P(\Phi )=0\). Since Φ is not an equilibrium point, we obtain \(P_{1}(\Phi)\neq 0\) and \(P(\Phi)=0\). Taking derivatives of \(g(x, y) = x\) and \(h(x, y) = y\) with respect to x we get
One can see that
where \(p(\mu)\) is the characteristic equation of the matrix
By Lemma 1 we have \(\mu_{1},\mu_{2}\geq0\). Since \((\Phi ,\Psi)\) is a nonhyperbolic minimal periodtwo solution, we have \(\mu _{1}=1\) or \(\mu_{2}=1\). This implies \(y'_{\tilde{F}}(\Phi)y'_{\tilde {G}}(\Phi)=0\). Since \(P\not\equiv0\), by Theorem 7 the curves \(\mathcal{C}_{\tilde{F}}\) and \(\mathcal{C}_{\tilde{G}}\) have no common components. In view of Lemmas 6 and 7 from [20], the curves \(\mathcal{C}_{F}\) and \(\mathcal{C}_{G}\) intersect tangentially at \((\Phi ,\Psi)\) (i.e. \(y'_{\tilde{F}}(\Phi)y'_{\tilde{G}}(\Phi)= 0\)) if and only if Φ is zero of \(P_{1}(y)P(y)\) of multiplicity greater than one. Since \(P_{1}(\Phi)\neq0\), Φ is a zero of \(P(y)\) of multiplicity greater than one. By Theorem 6, \(P(y)\) has zero of multiplicity greater than one if and only if the discriminant \(\operatorname{Dis}(P)\) is equal to zero, from which the proof follows.
(ii) Suppose that \(\bar{x}\) is a nonhyperbolic equilibrium point. This implies that \(\tilde{F}(\bar{x},\bar{x})=0\), \(\tilde{G}(\bar {x},\bar{x})=0\). Similarly, as in (i), we have \(P_{1}(\bar{x})P(\bar {x})=0\). Since \(J_{T^{2}}(\bar{x},\bar{x})= (J_{T}(\bar{x},\bar {x}) )^{2}\), we see that all eigenvalues that correspond to \(J_{T^{2}}(\bar{x},\bar{x})\) are nonnegative. Since \(\bar{x}\) is a nonhyperbolic equilibrium point, we have \(\mu_{1}=1\) or \(\mu_{2}=1\). This implies \(y'_{\tilde{F}}(\bar{x})y'_{\tilde{G}}(\bar{x})=0\). Similarly, as in (i), we see that
□
Let \(\mathcal{B}(E_{})\) be the basin of attraction of \(E_{}(\bar{x}_{},\bar{x}_{})\) and \(\mathcal{B}(\infty,\infty)\) be the basin of attraction of \((\infty,\infty)\). The following lemma is true.
Lemma 5
If \(E_{+}\) is nonhyperbolic, then the following statements hold:

(i)
If \(Q_{1}(E_{+})=\{(x,y): x\geq\bar{x}_{+} \textit{ and } y\geq\bar{x}_{+}\}\), then \(\operatorname{int}( Q_{1}(E_{+}))\subset\mathcal{B}(\infty,\infty)\).

(ii)
If \(Q_{3}(E_{+})=\{(x,y): 0\leq x\leq\bar{x}_{+} \textit{ and } 0\leq y\leq\bar {x}_{+}\}\), then \(\operatorname{int}(Q_{3}(E_{+}))\subset\mathcal{B}(\bar{x}_{},\bar{x}_{})\).
Proof
Assume that \((x_{0},y_{0})\in \operatorname{int}(Q_{3}(E_{+}))\). By Theorem 6 [18] there exists \((\tilde{x}_{0},\tilde{x}_{1})\in \operatorname{int}(Q_{3}(E_{+}))\) such that \((x_{0},y_{0})\preceq_{ne}(\tilde{x}_{0},\tilde{x}_{1})\) and \((\bar {x}_{},\bar{x}_{})\preceq_{ne}(\tilde{x}_{0},\tilde{x}_{1})\), and \(T(\tilde {x}_{0},\tilde{x}_{1})\preceq_{ne}(\tilde{x}_{0},\tilde{x}_{1})\). By monotonicity of T we obtain \(T^{i+1}(\tilde{x}_{0},\tilde {x}_{1})\preceq_{ne}T^{i}(\tilde{x}_{0},\tilde{x}_{1})\prec_{ne} E_{+}\), which implies \(T^{n}(\tilde{x}_{0},\tilde{x}_{1})\to(\bar{x}_{},\bar{x}_{})\) as \(n\to\infty\). Since \((0,0)\preceq_{ne}T(0,0)\) we have \(T^{i}(0,0)\preceq _{ne}T^{i+1}(0,0)\prec_{ne} (\bar{x}_{},\bar{x}_{})\), which implies \(T^{n}(0,0)\to(\bar{x}_{},\bar{x}_{})\) as \(n\to\infty\). Similarly, one can prove \(\operatorname{int}( Q_{1}(E_{+}))\subset\mathcal{B}(\infty,\infty)\). □
In view of Theorem 2 it is easy to see that \(\{ T^{n}(x_{0},y_{0})\}\) is either asymptotic to \((\infty,\infty)\) or converges to a periodtwo solution, for all \((x_{0},y_{0})\in\mathcal{R}=[0,\infty)^{2}\). In view of Lemma 3 we can suppose that \(\operatorname{Res}_{x}(\tilde{F},\tilde{G})=P_{1}(y) P(y)\), \(P\in\mathbb{R} [y]\). If \(P\not\equiv0\) and \(\operatorname{\operatorname{Dis}}(P_{1}\cdot P)=\operatorname{Dis}(P_{1}) \operatorname{Dis}(P)\operatorname{Res}(P_{1},P)^{2}\neq0\), then by Theorem 12 and Lemma 4 we see that \(E_{+}(\bar{x}_{+},\bar {x}_{+})\) is a repeller or a saddle point and all minimal periodtwo solutions are hyperbolic. By Lemma 5 we see that \(\operatorname{int}(Q_{3}(E_{+}))\subset\mathcal {B}(\bar{x}_{},\bar{x}_{})\) and \(\operatorname{int}( Q_{1}(E_{+}))\subset\mathcal{B}(\infty,\infty)\). Let \(\mathcal{S}_{1}\) denote the boundary of \(\mathcal{B}(\bar{x}_{},\bar{x}_{})\) considered as a subset of \(Q_{2}(E)\) and \(\mathcal{S}_{2}\) denote the boundary of \(\mathcal{B}(\bar{x}_{},\bar{x}_{})\) considered as a subset of \(Q_{4}(E_{+})\). It is easy to see that \(E_{+}\in\mathcal{S}_{1}\), \(E_{+}\in\mathcal{S}_{2}\) and \(T(\mathcal{R})\subset \operatorname{int}(\mathcal{R})\).
The proof of the following lemma for a cooperative map is the same as the proof of Claims 1 and 2 [21] for a competitive map, so we skip it.
Lemma 6
Suppose that \(P\not\equiv0\) and \(\operatorname{Dis}(P_{1}\cdot P)\neq0\). Let \(\mathcal {S}_{1}\) and \(\mathcal{S}_{2}\) be the sets defined as above. Then

(a)
If \((x_{0},y_{0})\in\mathcal{B}(\bar{x}_{},\bar{x}_{})\), then \((x_{1},y_{1})\in\mathcal{B}(\bar{x}_{},\bar{x}_{})\) for all \((x_{1},y_{1})\preceq_{ne} (x_{0},y_{0})\).

(b)
If \((x_{0},y_{0})\in\mathcal{S}_{1}\cup\mathcal{S}_{2}\), then \((x_{1},y_{1})\in \operatorname{int}(\mathcal{B}(\bar{x}_{},\bar{x}_{}))\) for all \((x_{1},y_{1})\ll_{ne} (x_{0},y_{0})\).

(c)
\(\mathcal{S}_{1} \cap \operatorname{int}(Q_{2}(E_{+}))\neq\emptyset\) and \(\mathcal {S}_{2} \cap \operatorname{int}(Q_{4}(E_{+}))\neq\emptyset\).

(d)
\(T(\mathcal{S}_{1}\cup\mathcal{S}_{2})\subseteq\mathcal {S}_{1}\cup\mathcal{S}_{2}\).

(e)
\((x_{0},y_{0}), (x_{1},y_{1})\in\mathcal{S}_{1}\cup\mathcal {S}_{2}\Rightarrow(x_{0},y_{0})\ll_{se} (x_{1},y_{1})\textit{ or } (x_{1},y_{1})\ll _{se} (x_{0},y_{0})\).

(f)
\(\mathcal{S}_{1}\cup\mathcal{S}_{2}\) is the graph of continuous strictly decreasing function.
Theorem 19
Suppose that \(P\not\equiv0\) and \(\operatorname{Dis}(P_{1}\cdot P)\neq0\). If \(E_{+} \) is a repeller, then there exists at least one minimal periodtwo solution \(\{(\phi,\psi),(\psi,\phi)\}\), which is a saddle point, such that \((\phi,\psi)\ll_{se}E_{+}\ll_{se} (\psi,\phi)\).
Proof
In view of Lemma 6 we see that \((\mathcal{S}_{1}\cup \mathcal{S}_{2},\ll_{se})\) is a totally ordered set which is invariant under T. If \((x_{0},y_{0})\in(\mathcal{S}_{1}\cup\mathcal{S}_{2})\setminus \{E_{+}\}\), then \(\{T^{(2n)}(x_{0},y_{0})\}\) is eventually componentwise monotone. Since \(\mathcal{S}_{1}\cup\mathcal{S}_{2}\) is the graph of a continuous strictly decreasing function, there exists a minimal periodtwo solution \(\{(\Phi,\Psi),(\Psi,\Phi)\} \in(\mathcal{S}_{1}\cup\mathcal {S}_{2})\setminus\{E_{+}\}\) such that \(T^{(2n)}(x_{0},y_{0})\to(\Phi,\Psi)\) as \(n\to\infty\). Since \(\mathcal {S}_{1}\cup\mathcal{S}_{2}=\partial\mathcal{B}(\bar{x}_{},\bar{x}_{})\) is a closed set, we see that \(\{(\Phi,\Psi),(\Psi,\Phi)\}\) belongs to \((\mathcal {S}_{1}\cup\mathcal{S}_{2})\setminus\{E_{+}\}\). By Lemma 4 all periodtwo solutions are hyperbolic. Since \(\{(\Phi,\Psi),(\Psi,\Phi )\}\in\partial\mathcal{B}(\bar{x}_{},\bar{x}_{})\), it is not locally asymptotically stable. Thus \(\{(\Phi,\Psi),(\Psi,\Phi)\}\) must be a saddle point. □
Corollary 1
Suppose that \(P\not\equiv0\) and \(\operatorname{Dis}(P_{1}\cdot P)\neq0\). If \(E_{+}(\bar {x}_{+},\bar{x}_{+})\) is a repeller, then \(\operatorname{int}(Q_{2}(E_{+})) \cup \operatorname{int}(Q_{4}(E_{+}))\) contains one or three distinct minimal periodtwo solutions. If T has one minimal periodtwo solution \(\{ (\Phi_{1},\Psi_{1}),(\Psi_{1},\Phi_{1})\}\), then it is a saddle point and \((\Phi _{1},\Psi_{1})\ll_{se} E_{+} \ll_{se}(\Psi_{1},\Phi_{1})\). If T has three minimal periodtwo solutions \(\{(\Phi_{i},\Psi_{i}), (\Psi_{i},\Phi_{i})\} _{i=1}^{3}\), then they are ordered in the SouthEast ordering. If \((\Phi _{3},\Psi_{3})\ll_{se}(\Phi_{2},\Psi_{2})\ll_{se}(\Phi_{1},\Psi_{1})\ll_{se} E_{+} \ll _{se}(\Psi_{1},\Phi_{1})\ll_{se}(\Psi_{2},\Phi_{2})\ll_{se}(\Psi_{3},\Phi_{3})\), then odd indexed periodtwo points are saddles and even indexed periodtwo points are repellers.
Proof
By Lemma 4 all equilibrium points and minimal periodtwo solutions are hyperbolic. In view of Theorem 7 we see that \(\tilde{F}\) and \(\tilde{G}\) have no common component. From Lemma 3 the number of minimal periodtwo solutions is at most three. In view of Theorem 19, T has at least one minimal periodtwo solution, which is a saddle point. Assume that T has two minimal periodtwo solutions \(\{(\Phi_{1},\Psi_{1}),(\Psi_{1},\Phi_{1})\}\) and \(\{(\Phi_{2},\Psi_{2}),(\Psi _{2},\Phi_{2})\}\). Assume that \(\{(\Phi_{1},\Psi_{1}),(\Psi_{1},\Phi_{1})\}\) is a saddle point and \((\Phi_{1},\Psi_{1})\ll_{se} E_{+} \ll_{se}(\Psi_{1},\Phi_{1})\). Further, suppose that \((\Phi_{2},\Psi_{2})\ll_{se}(\Phi_{1},\Psi_{1})\ll_{se} E_{+} \ll_{se}(\Psi_{1},\Phi_{1})\ll_{se}(\Psi_{2},\Phi_{2})\). The map \(T^{2}\) satisfies all conditions of Theorem 3, which yields the existence of the global stable manifolds \(\mathcal{W}^{s}(\{(\Phi_{1},\Psi_{1}),(\Psi_{1},\Phi_{1})\} )\), the union of two curves \(\mathcal{W}^{s}(\Phi_{1},\Psi_{1})\) and \(\mathcal{W}^{s}((\Psi_{1},\Phi_{1}))\) that have a common endpoint \(E_{+}\). Then \(\mathcal{W}^{s}(\Phi_{1},\Psi_{1})\) has the second endpoint at \((\Phi _{2},\Psi_{2})\) and \(\mathcal{W}^{s}(\Psi_{1},\Phi_{1})\) has the second endpoint at \((\Psi_{2},\Phi_{2})\). Furthermore, the minimal periodtwo solution \(\{(\Phi_{2},\Psi_{2}),(\Psi _{2},\Phi_{2})\}\) is a repeller. Since the global stable manifold is unique, the set \((\mathcal{S}_{1}\cap Q_{2}(\Phi_{2},\Psi_{2}))\cup(\mathcal {S}_{2}\cap Q_{4}(\Psi_{2},\Phi_{2}))\) is invariant under T. Similarly, as in Theorem 19, one can prove that \(\operatorname{int}(Q_{2}(\Phi_{2},\Psi_{2}))\cup \operatorname{int}(Q_{4}(\Psi_{2},\Phi_{2}))\) contains exactly one minimal periodtwo solution, which is a saddle point. Hence, if T has two minimal periodtwo solutions, then there exists a third minimal periodtwo solution. This proves the lemma. If \((\Phi_{1},\Psi_{1})\ll_{se}(\Phi_{2},\Psi _{2})\ll_{se} E_{+} \ll_{se}(\Psi_{2},\Phi_{2})\ll_{se}(\Psi_{1},\Phi_{1})\) the proof is similar and will be omitted. □
Corollary 2
Assume that \(P\not\equiv0\) and \(\operatorname{Dis}(P_{1}\cdot P)\neq0\). If \(E_{+}(\bar {x}_{+},\bar{x}_{+})\) is a saddle point, then \(\operatorname{int}(Q_{2}(E_{+})) \cup \operatorname{int}(Q_{4}(E_{+}))\) contains either zero or two minimal periodtwo solutions \(\{(\Phi_{i},\Psi_{i}),(\Psi_{i},\Phi_{i})\}\), \(i=1,2\), which are ordered to the SouthEast ordering. If there exist two minimal periodtwo solutions such that \((\Phi_{2},\Psi_{2})\ll_{se}(\Phi _{1},\Psi_{1})\ll_{se} E_{+} \ll_{se}(\Psi_{1},\Phi_{1})\ll_{se}(\Psi_{2},\Phi_{2})\), then an even indexed periodtwo point is a saddle and an odd indexed periodtwo point is a repeller.
Proof
The proof is similar to the proof of Corollary 1 and it will be omitted. □
Theorem 20
Suppose that \(P\not\equiv0\) and \(\operatorname{Dis}(P_{1}\cdot P)\neq0\). If \(E_{+}(\bar {x}_{+},\bar{x}_{+})\) is a repeller, then \(\operatorname{int}(Q_{2}(E_{+}))\cup \operatorname{int}(Q_{4}(E_{+}))\) contains one or three minimal periodtwo solutions \(\{(\Phi_{i},\Psi_{i}), (\Psi_{i},\Phi_{i})\}_{i=1}^{2n+1}\), where \(n=0\) or \(n=1\), such that \((\Phi_{i+1},\Psi_{i+1})\ll_{se} (\Phi_{i},\Psi_{i})\ll_{se} E_{+}\) and \(E_{+}\ll_{se}(\Psi_{i},\Phi_{i})\ll_{se} (\Psi_{i+1},\Phi_{i+1})\), and \((\Psi_{i},\Phi_{i})=T(\Phi_{i},\Psi_{i})\). Furthermore, the odd indexed periodtwo points are saddles and the even indexed periodtwo points are repellers and the following hold:
(i) If there exists one minimal periodtwo solution \(\{(\Phi _{1},\Psi_{1}),(\Psi_{1},\Phi_{1})\}\), the global stable manifolds is given by
where \(\mathcal{W}^{s}(\Phi_{1},\Psi_{1})\) and \(\mathcal{W}^{s}(\Psi _{1},\Phi_{1})\) are the graphs of a continuous strictly decreasing functions with common endpoint at \(E_{+}\) and \(\mathcal{W}^{s}(\Psi_{1},\Phi _{1})=T (\mathcal{W}^{s}(\Phi_{1},\Psi_{1}) )\). The Julia set is the curve
that separates \(\mathcal{R} =\{(x_{1},x_{0}):x_{1}\geq0,x_{0}\geq0\}\) into two components \(\mathcal{W}^{}\) and \(\mathcal{W}^{+}\), which are basins of attraction of \(E_{}(\bar{x}_{},\bar {x}_{})\) and \((\infty,\infty)\), respectively, where
The global unstable manifold is given by
where \(\mathcal{W}^{u}(\Phi_{1},\Psi_{1})\) and \(\mathcal{W}^{u}(\Psi_{1},\Phi _{1})\) are the graphs of continuous strictly increasing functions such that \(\mathcal{W}^{u}(\Psi_{1},\Phi_{1})=T (\mathcal{W}^{u}(\Phi _{1},\Psi_{1}) )\), with common endpoint at \(E_{}\). See Figure 2(a) for visual illustration.
(ii) If there exist three minimal periodtwo solutions, the global stable manifolds are given by
where \(\mathcal{W}^{s}(\Phi_{2 k+1},\Psi_{2 k+1})\) and \(\mathcal{W}^{s}(\Psi_{2 k+1},\Phi_{2 k+1})\), \(k=0,1\) are the graphs of a continuous strictly decreasing function such that \(\mathcal{W}^{s}(\Psi_{2 k+1},\Phi_{2 k+1})=T (\mathcal{W}^{s}(\Phi_{2 k+1},\Psi_{2 k+1}) )\), with endpoints at \(E_{+}\), and \((\Phi_{2}, \Psi_{2})\), \((\Psi_{2},\Phi_{2})\). The Julia set is the curve
that separates \(\mathcal{R} =\{(x_{1},x_{0}):x_{1}\geq0,x_{0}\geq0\}\) into two components \(\mathcal{W}^{}\) and \(\mathcal{W}^{+}\), which are basins of attraction of \(E_{}\) and \((\infty,\infty)\), respectively, where
The global unstable manifolds are given by
where \(\mathcal{W}^{u}(\Phi_{2 k+1},\Psi_{2 k+1})\) and \(\mathcal{W}^{u}(\Psi_{2 k+1},\Phi_{2 k+1})\) are the graphs of continuous strictly increasing functions such that \(\mathcal{W}^{u}(\Psi_{2 k+1},\Phi_{2 k+1})=T (\mathcal{W}^{u}(\Phi_{2 k+1},\Psi_{2 k+1}) )\), with common endpoints at \(E_{}\).
Proof
In view of Corollary 1 the set \(\operatorname{int}(Q_{2}(E_{+}))\cup \operatorname{int}(Q_{4}(E_{+}))\) contains an odd number of minimal periodtwo solutions \(\{(\Phi_{i},\Psi_{i}),(\Psi_{i},\Phi_{i})\}\), \(i=1,\ldots,2 n+1\) (\(n=0\) or \(n=1\)), such that \((\Phi_{i+1},\Psi_{i+1})\ll_{ne} (\Phi_{i},\Psi_{i})\ll_{ne} E_{+}\) and \(E_{+}\ll_{ne}(\Psi_{i},\Phi_{i})\ll_{ne} (\Psi_{i+1},\Phi_{i+1})\) and \((\Psi_{i},\Phi_{i})=T(\Phi_{i},\Psi_{i})\). Furthermore, the odd indexed periodtwo points are saddles and the even indexed periodtwo points are repellers. The map \(T^{2}\) satisfies all conditions of Theorems 1, 2, and 4 [18], which yields the existence of the global stable and unstable manifolds with the above properties. In view of Theorems 1, 2, and 4 [18] for \((x_{0},y_{0})\in\mathcal{W^{}}\cap \mathcal{R}\) there exists \(n_{0}>0\) such that
and for \((x_{0},y_{0})\in \mathcal{W^{+}}\cap\mathcal{R}\) there exists \(n_{1}>0\) such that
which completes the proof. □
Theorem 21
Suppose that \(P\not\equiv0\) and \(\operatorname{Dis}(P_{1}\cdot P)\neq0\). If \(E_{+}(\bar {x}_{+},\bar{x}_{+})\) is a saddle point, then either T has no minimal periodtwo solution or \(\operatorname{int}(Q_{2}(E_{+}))\cup \operatorname{int}(Q_{4}(E_{+}))\) contains two distinct minimal periodtwo solutions and the following hold:
(a) If T has no minimal periodtwo solution, then there exist two continuous curves \(\mathcal{W}^{s}(E_{+})\) and \(\mathcal{W}^{u}(E_{+})\), both passing through the point \(E_{+}(\bar{x}_{+},\bar{x}_{+})\), such that \(\mathcal{W}^{s}(E_{+})\) is a graph of a decreasing function and \(\mathcal{W}^{u}(E_{+})\) is a graph of an increasing function. The first quadrant of the initial condition \(Q_{1}= \{(x_{1},x_{0}):x_{1}\geq0,x_{0}\geq0\}\) is the union of three disjoint basins of attraction, namely
where \(\mathcal{B}(E_{+})=\mathcal{W}^{s}(E_{+})\), and
In addition, for every \((x_{1},x_{0})\in Q_{1}\setminus W^{s}(E_{+})\) every solution is asymptotic to \(W^{u}(E_{+})\). See Figure 2(b) for visual illustration.
(b) If \(\operatorname{int}(Q_{2}(E_{+}))\cup \operatorname{int}(Q_{4}(E_{+}))\) contains two minimal periodtwo solutions \(\{(\Phi_{1},\Psi_{1}), (\Psi_{1},\Phi_{1})\}\) and \(\{(\Phi _{2},\Psi_{2}),(\Psi_{2},\Phi_{2})\}\) such that \((\Psi_{2},\Phi_{2})\ll_{se}(\Phi _{1},\Psi_{1})\ll_{se} E_{+} \ll_{se}(\Psi_{1},\Phi_{1})\ll_{se}(\Psi_{2},\Phi_{2})\) then \(\{(\Phi_{1},\Psi_{1}),(\Psi_{1},\Phi_{1})\}\) is a repeller and \(\{(\Phi _{2},\Psi_{2}),(\Psi_{2},\Phi_{2})\}\) is a saddle point.
The global stable manifold of \(\{(\Phi_{2},\Psi_{2}),(\Psi_{2},\Phi_{2})\}\) is given by
where \(\mathcal{W}^{s}(\Phi_{2},\Psi_{2})\) and \(\mathcal{W}^{s}(\Psi _{2},\Phi_{2})\) are the graphs of a continuous strictly decreasing functions such that \(\mathcal{W}^{s}(\Psi_{2},\Phi_{2})=T (\mathcal {W}^{s}(\Phi_{2},\Psi_{2}) )\), with the first endpoints at \((\Phi_{1},\Psi_{1})\) and \((\Psi_{1}, \Phi_{1})\), respectively. The second endpoints of \(\mathcal{W}^{s}(\Phi _{2},\Psi_{2})\) and \(\mathcal{W}^{s}(\Psi_{2},\Phi_{2})\) belong to the boundary of \(\mathcal{R}\). The global stable manifold \(\mathcal {W}^{s}(E_{+})\) of \(E_{+}\) is a graph of a continuous strictly decreasing function with endpoint at \((\Phi_{1},\Psi_{1})\) and \((\Psi_{1},\Phi _{1})\) The Julia set is the curve
that separates \(\mathcal{R}\) into two components \(\mathcal{W}^{}\) and \(\mathcal{W}^{+}\), which are the basins of attraction of \((\bar{x}_{},\bar {x}_{})\) and \((\infty,\infty)\), respectively, where
Further, we have
The global unstable manifold of \(\{(\Phi_{2},\Psi_{2}),(\Psi_{2},\Phi_{2})\}\) is given by
where \(\mathcal{W}^{u}(\Phi_{2},\Psi_{2})\) and \(\mathcal{W}^{u}(\Psi_{2},\Phi_{2})\) are the graphs of continuous strictly increasing functions such that \(\mathcal{W}^{u}(\Psi_{2},\Phi_{2})=T (\mathcal{W}^{u}(\Phi_{2},\Psi _{2}) )\), with endpoints at \((\bar{x}_{},\bar{x}_{})\) and \((\infty,\infty)\). The global unstable manifold \(\mathcal{W}^{u}(E_{+})\) of \(E_{+}\) is the graph of a continuous strictly increasing function such that \(\mathcal{W}^{u}(\Phi_{2},\Psi_{2})\) and \(\mathcal{W}^{u}(\Psi_{2},\Phi _{2})\), and \(\mathcal{W}^{u}(E_{+})\) have a common endpoint at \((\bar {x}_{},\bar{x}_{})\).
Proof
The proof is similar to the proof of Theorem 20 and it will be omitted. □
All figures are generated by the software package Dynamics 3 [22].
References
 1.
Bektešević, J, Kulenović, MRS, Pilav, E: Global dynamics of quadratic second order difference equation in the first quadrant. Appl. Math. Comput. 227, 5065 (2014)
 2.
Bedford, E: Complex Hénon maps with semiparabolic fixed points. J. Differ. Equ. Appl. 16, 425426 (2010)
 3.
Bedford, E, Smillie, J: Real polynomial diffeomorphisms with maximal entropy: tangencies. Ann. Math. (2) 160(1), 126 (2004)
 4.
Bektešević, J, Kulenović, MRS, Pilav, E: Asymptotic approximations of the stable and unstable manifolds of fixed points of a twodimensional cubic map. Int. J. Difference Equ. 10, 3958 (2015)
 5.
Écalle, J: Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac. Actualités Mathématiques. Current Mathematical Topics. Hermann, Paris (1992) (in French)
 6.
Ilyashenko, Y: Centennial history of Hilbert’s 16th problem. Bull. Am. Math. Soc. (N.S.) 39(3), 301354 (2002)
 7.
Kulenović, MRS, Ladas, G: Dynamics of Second Order Rational Difference Equations with Open Problems and Conjectures. Chapman & Hall/CRC, Boca Raton (2001)
 8.
Kulenović, MRS, Merino, O: A global attractivity result for maps with invariant boxes. Discrete Contin. Dyn. Syst., Ser. B 6, 97110 (2006)
 9.
Nussbaum, RL: Global stability, two conjectures and Maple. Nonlinear Anal. TMA 66, 10641090 (2007)
 10.
Amleh, AM, Camouzis, E, Ladas, G: On the dynamics of a rational difference equation. Part I. Int. J. Difference Equ. 3, 135 (2008)
 11.
Jašarević, S, Kulenović, MRS: Basins of attraction of equilibrium and boundary points of secondorder difference equations. J. Differ. Equ. Appl. 20, 947959 (2014)
 12.
Brett, A, Kulenović, MRS: Basins of attraction of equilibrium points of monotone difference equations. Sarajevo J. Math. 5(18), 211233 (2009)
 13.
Janowski, EA, Kulenović, MRS: Attractivity and global stability for linearizable difference equations. Comput. Math. Appl. 57, 15921607 (2009)
 14.
Janson, S: Resultant and discriminant of polynomials (2010). http://www2.math.uu.se/~svante/papers/
 15.
Walker, RJ: Algebraic Curves. Princeton University Press, Princeton (1950)
 16.
Kirwan, F: Complex Algebraic Curves. London Mathematical Society Student Texts. Cambridge University Press, Cambridge (1992)
 17.
Camouzis, E, Ladas, G: Dynamics of ThirdOrder Rational Difference Equations with Open Problems and Conjectures. Advances in Discrete Mathematics and Applications, vol. 5. Chapman & Hall/CRC, Boca Raton (2008)
 18.
Kulenović, MRS, Merino, O: Invariant manifolds for competitive discrete systems in the plane. Int. J. Bifurc. Chaos Appl. Sci. Eng. 20(8), 24712486 (2010)
 19.
GarićDemirović, M, Kulenović, MRS, Nurkanović, M: Basins of attraction of equilibrium points of second order difference equations. Appl. Math. Lett. 25, 21102115 (2012)
 20.
Basu, S, Merino, O: On the behavior of solutions of a system of difference equations. Commun. Appl. Nonlinear Anal. 16(1), 89101 (2009)
 21.
Hadžiabdić, V, Kulenović, MRS, Pilav, E: Dynamics of a competitive system of rational difference equations with quadratic terms. Adv. Differ. Equ. 2014, 301 (2014)
 22.
Kulenović, MRS, Merino, O: Discrete Dynamical Systems and Difference Equations with Mathematica. Chapman & Hall/CRC, Boca Raton (2002)
Acknowledgements
The authors are grateful to two anonymous referees for a number of helpful and constructive suggestions, which improved the presentation of results.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors, JB, MRSK, and EP, contributed to each part of this work equally and read and approved the final version of the manuscript.
Appendix: Values of coefficients \(p_{i}\) for \(i=0,\ldots,6\), and \(\operatorname{Dis}(P_{1})\)
Appendix: Values of coefficients \(p_{i}\) for \(i=0,\ldots,6\), and \(\operatorname{Dis}(P_{1})\)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
MSC
 39A10
 39A11
 65L12
 65L20
 37E99
 37D10
Keywords
 basin of attraction
 competitive map
 global stable manifold
 monotonicity
 periodtwo solution