 Research
 Open Access
 Published:
Stability analysis of a discrete competitive system with nonlinear interinhibition terms
Advances in Difference Equations volume 2017, Article number: 294 (2017)
Abstract
We propose and study a discrete competitive system of the following form:
We obtain some conditions for the local stability of the equilibria. Using the iterative method and the comparison principle of a difference equation, we also obtain a set of sufficient conditions that ensure the global stability of the interior equilibrium. Numeric simulations show the feasibility of the main results. Our results supplement and complement some known results.
Introduction
The aim of this paper is to investigate the dynamic behaviors of the following discrete competitive model:
where \(x_{i}(n)\) \((i=1,2)\) are the population density of the species \(x_{1}\) and \(x_{2}\) at the nth generation. \(r_{i}, a_{i}, b_{i},c_{i}\) \((i=1,2)\) are all positive constants, \(r_{i}, a_{i}, b_{i}\) \((i=1,2)\) represent the intrinsic growth rates, the rates of intraspecific competition of species \(x_{1}\) and \(x_{2}\), the rates of interspecific competition of species \(x_{1}\) and \(x_{2}\), respectively. We focus on the local and global stability properties of the system.
Chen and Teng [1] proposed and studied the dynamic behaviors of the following twospecies competitive system:
where \(x(n)\) and \(y(n)\) represent the population densities of the species x and y at the nth generation, respectively. \(r_{i},K_{i}\), and \(\mu_{i}\) \((i=1,2)\) are positive constants and represent the intrinsic growth rates, the carrying capacities, and the competition coefficients of species x and y, respectively. The authors investigated the local and global stability properties of the positive equilibrium of the system when the intraspecific and interspecific competition coefficients are both linear in system (1.2), and the assumption of linear changes made the analysis of dynamic behaviors relatively easy. However, a more practical model need to be characterized by nonlinearities.
Qin, Liu, and Chen [2] argued that a more plausible competition model should be nonlinear and proposed the following twospecies discrete competition model with nonlinear interspecific competition terms:
where \(r_{i}(n),a_{i}(n),b_{i}(n)\) \((i,j=1,2;i\neq j)\) are periodic sequences bounded above and below by positive constants. Set
where \(\{f(n)\}\) is a bounded sequence, and N is the set of nonnegative integer numbers.
Concerned with the persistent property and stability property of the system, the authors obtained the following results (Theorems 2.4 and 3.3 in [2]).
Theorem A
Suppose that
Then system (1.3) is permanent.
Theorem B
In addition to (1.4), assume further that
Then the positive periodic solution of system (1.3) is globally stable.
As a direct corollary of Theorems A and B, for the autonomous case of system (1.3) (i.e., all the coefficients of the system are positive constants), we have the following result.
Theorem C
Suppose that the following assumptions are satisfied:
Then the autonomous case of system (1.3) admits a global stable positive positive equilibrium.
Note that conditions (1.6) are sufficient conditions. We propose an interesting issue: whether the conditions are good enough or the conditions still have room to improve? To give some hint on this problem, let us consider the following example.
Example 1.1
where, correspondingly to system (1.3), we take \(r_{1}(n)=0.3, r_{2}(n)=0.2, a_{1}(n)=0.5, a_{2}(n)=0.1, b_{1}(n)=0.31, b_{2}(n)=0.4\). By simple computation it follows that
Hence, none of the conditions in Theorem C holds. However, numeric simulation (Figure 1) shows that system (1.7) admits a unique positive equilibrium, which is globally stable. Example 1.1 shows that Theorems A and B still have room to improve, or one may find out some other different conditions to ensure the global stability of the positive equilibrium. The success of Chen and Teng [1] and Qin, Liu, and Chen [2] stimulated us to propose a slightly more complicated system (1.1) and investigated the stability property of model (1.1).
On the other hand, Chen [3] studied the following competitive system:
where \(r_{i}, a_{i}, b_{i}\), \(i=1,2\), are all positive constants. Concerned with the stability property of the positive equilibrium of system (1.8), Chen obtained the following result.
Theorem D
Assume that the following inequalities hold:
Assume further that one of the following conditions holds:

(i)
$$\begin{aligned} a_{2}b_{2}+r_{2}\neq0; \end{aligned}$$(1.10)

(ii)
$$\begin{aligned} a_{2}b_{2}+r_{2}=0, \qquad a_{1}r_{2}a_{2}r_{1}>0. \end{aligned}$$(1.11)
Then system (1.8) admits a unique positive equilibrium on the rectangle \((0, \frac{r_{1}}{a_{1}})\times(0, \frac {r_{2}}{a_{2}})\), which is globally stable.
Here, condition (1.9) is natural, whereas conditions (1.10) and (1.11) seem very strange. By careful check of the conditions, we can see that if \(a_{2}b_{2}+r_{2}=0\), then, together with the second inequality in (1.9), we can easily obtain that
that is, (1.11) always holds. Hence, conditions (1.10) and (1.11) in Theorem D are unnecessary and may be dropped.
It is well known that, compared to the continuoustime systems, the discretetime ones are more difficult to deal with. Stimulated by the works of Chen and Teng [1], Qin, Liu, and Chen [2], and Chen [3], in this paper, we focus our attention on the dynamic behavior of system (1.1); more precisely, we investigate the local and global stability properties of the system. Throughout this paper, we assume that the coefficients of system (1.1) satisfy
Lemma 1.1
Assume that \((H_{1})\) holds. Then system (1.1) admits a unique positive equilibrium \((x^{*}_{1},x^{*}_{2})\) on the rectangle \((0, \frac{r_{1}}{a_{1}})\times(0, \frac{r_{2}}{a_{2}})\).
Proof
The positive equilibrium of system (1.1) is the solution of the equation system
which is equivalent to
where
Since we focus on the positive equilibrium of system (1.1), we only need to consider the case \(x_{1}>0, x_{2}>0\). To ensure the first equality in (1.12), \(x_{1}\) should lie in the interval \((0, \frac {r_{1}}{a_{1}})\). Similarly, to ensure the second equality of (1.12), \(x_{2}\) should lie in the interval \((0, \frac {r_{2}}{a_{2}})\). We will further investigate the positive equilibrium of system (1.1) on the rectangle \((0, \frac{r_{1}}{a_{1}})\times (0, \frac{r_{2}}{a_{2}})\).
Now let us consider the function
From \((H_{1})\) we have
and
Therefore, from the continuity of the function \(F(x_{1})\), \(F(x_{1})=0\) has at least one positive solution on the interval \((0, \frac {r_{1}}{a_{1}})\). We now prove that the equation \(F(x_{1})=0\) has at most one positive solution on the interval \((0, \frac {r_{1}}{a_{1}})\). We discuss this in three cases.
Case 1. If \(A_{1}>0\), then \(F(+\infty)=F(\infty)=+\infty \). Since \(F(0)<0\), it follows that \(F(x_{1})=0\) has at least one solution on the intervals \((\infty,0)\) and \((0,+\infty)\), respectively. Therefore \(F(x_{1})=0\) has only one solution on the interval \((0, \frac{r_{1}}{a_{1}})\);
Case 2. If \(A_{1}=0\), then, since \(F(x_{1})\) is a linear function of \(x_{1}\), \(F( \frac{r_{1}}{a_{1}})>0\), and \(F(0)<0\), it follows that \(F(x_{1})=0\) has only one solution on the interval \((0, \frac{r_{1}}{a_{1}})\);
Case 3. If \(A_{1}<0\), then \(F(+\infty)=\infty\), and since \(F( \frac{r_{1}}{a_{1}})>0\) and \(F(0)<0\), it follows that \(F(x_{1})\) has at least one solution on the intervals \((0, \frac{r_{1}}{a_{1}})\) and \(( \frac {r_{1}}{a_{1}},+\infty)\). So \(F(x_{1})=0\) has only one solution on the interval \((0, \frac{r_{1}}{a_{1}})\).
The above analysis shows that \(F(x_{1})=0\) has only one solution on the interval \((0, \frac{r_{1}}{a_{1}})\). We denote it as \(x^{*}_{1}\). Similarly, we can prove that there exists \(x^{*}_{2} \) in the interval \((0, \frac{r_{2}}{a_{2}})\) that satisfies \(B_{1}x_{2}^{2}+B_{2}x_{2}+B_{3}=0\). Then system (1.1) admits a unique positive equilibrium \((x^{*}_{1},x^{*}_{2})\) on the rectangle \((0, \frac{r_{1}}{a_{1}})\times(0, \frac {r_{2}}{a_{2}})\). This ends the proof of Lemma 1.1. □
The rest of the paper is arranged as follows. With the help of several useful lemmas, we investigate the local stability in Section 2 and prove the global stability result (Theorem 3.1) in Section 3. Four examples, together with their numeric simulations, are presented in Section 4 to show the feasibility of our results. We end this paper by a brief discussion. For more work about competitive systems, we can refer to [2, 4–23] and the references cited.
Local stability
We give a strict proof of the local stability in this section. From the biological background of system (1.1), we assume that initial values \(x_{1}(0)>0\) and \(x_{2}(0)>0\) in system (1.1). It is clear that any solution of system (1.1) is defined on \(N=\{0, 1, 2, \ldots\}\) and remains positive for all \(n\geq0\). Now let us state several useful lemmas.
Lemma 2.1
[1]
Consider the function \(F(\lambda )=\lambda^{2}+B\lambda+C\), where both B and C are constants. Suppose \(F(1)>0\) and let \(\lambda_{1},\lambda_{2}\) be two roots of the quadratic equation \(F(\lambda)=0\). Then we can easily prove that

1.
\(\vert \lambda_{1} \vert <1\) and \(\vert \lambda _{2} \vert <1\) if and only if \(F(1)>0\) and \(C<1\);

2.
\(\vert \lambda_{1} \vert >1\) and \(\vert \lambda _{2} \vert >1\) if and only if \(F(1)>0\) and \(C>1\);

3.
\(\vert \lambda_{1} \vert <1\) and \(\vert \lambda _{2} \vert >1\) if and only if \(F(1)<0\);

4.
\(\lambda_{1}=1\) and \(\vert \lambda_{2} \vert \neq1\) if and only if \(F(1)=0\) and \(B\neq0,2\);

5.
\(\lambda_{1}\) and \(\lambda_{2}\) are a pair of conjugate complex roots and \(\vert \lambda_{1} \vert = \vert \lambda_{2} \vert =1\) if and only if \(B^{2}4C<0\) and \(C=1\).
Here, if \(\lambda_{1}\) and \(\lambda_{2}\) are two roots of the characteristic equation \(F(\lambda)=\lambda^{2}+B\lambda +C=0\) of \(J(x,y)\), then we have the following definitions.

1.
If \(\vert \lambda_{1} \vert <1\) and \(\vert \lambda _{2} \vert <1\), then \(J(x,y)\) is called a sink and is locally asymptotic stable;

2.
If \(\vert \lambda_{1} \vert >1\) and \(\vert \lambda _{2} \vert >1\), then \(J(x,y)\) is called a source and is unstable;

3.
If \(\vert \lambda_{1} \vert >1\) and \(\vert \lambda _{2} \vert <1\) (or \(\vert \lambda _{1} \vert <1\) and \(\vert \lambda_{2} \vert >1\)), then \(J(x,y)\) is called a saddle and is unstable;

4.
If \(\lambda_{1}=1\) or \(\vert \lambda_{2} \vert =1\), then \(J(x,y)\) is called nonhyperbolic.
We first discuss the existence of the equilibria of model (1.1). Obviously, \(E_{1}(0,0)\), \(E_{2}( \frac{r_{1}}{a_{1}},0)\), and \(E_{3}(0, \frac {r_{2}}{a_{2}})\) are three equilibria of model (1.1). If \((H_{1})\) holds, system (1.1) admits a unique positive equilibrium \(E_{4}(x^{*}_{1},x^{*}_{2})\).
The Jacobian matrix of model (1.1) at an equilibrium \(E(x_{1},x_{2})\) is
where \(E^{*}=\exp{(r_{1}a_{1}x_{1} \frac{b_{1}x_{2}}{1+c_{2}x_{2}} )}\) and \(E_{*}=\exp{(r_{2}a_{2}x_{2} \frac {b_{2}x_{1}}{1+c_{1}x_{1}})}\). The corresponding characteristic equation of \(J(E)\) can be written as
Now we are in the position of discussing the local stability of the equilibria of model (1.1).
Case 1. For \(E_{1}(0,0)\), we have
Since two eigenvalues of \(J(E_{0})\) are \(\lambda_{1}=e^{r_{1}}>1\) and \(\lambda _{2}=e^{r_{2}}>1\), respectively, from Lemma 2.1 we obtain that \(E_{0}(0,0)\) is a source.
Case 2. For \(E_{2}( \frac{r_{1}}{a_{1}},0)\), we have
In view of \(a_{1}r_{2}b_{2}r_{1}+c_{1}r_{1}r_{2}>0\), from Lemma 2.1 we have the following conclusions:

1.
If \(0< r_{1}<2\), then \(E_{2}( \frac{r_{1}}{a_{1}},0)\) is a saddle.

2.
If \(r_{1}=2\), then \(E_{2}( \frac{r_{1}}{a_{1}},0)\) is nonhyperbolic.

3.
If \(r_{1}>2\), then \(E_{2}( \frac{r_{1}}{a_{1}},0)\) is a source.
Case 3. For \(E_{3}(0, \frac{r_{2}}{a_{2}})\), we have
In view of \(a_{2}r_{1}b_{1}r_{2}+c_{2}r_{1}r_{2}>0\), from Lemma 2.1 we have the following conclusions:

1.
If \(0< r_{2}<2\), then \(E_{3}(0, \frac{r_{2}}{a_{2}})\) is a saddle.

2.
If \(r_{2}=2\), then \(E_{3}(0, \frac{r_{2}}{a_{2}})\) is nonhyperbolic.

3.
If \(r_{2}>2\), then \(E_{3}(0, \frac{r_{2}}{a_{2}})\) is a source.
Case 4. For \(E_{4}(x^{*}_{1},x^{*}_{2})\), we have
The corresponding characteristic equation of \(J(E_{4})\) can be written as
where
and
Hence,
Obviously, if \(b_{1}b_{2}< a_{1}a_{2}(1+c_{1}x^{*}_{1})^{2}(1+c_{2}x^{*}_{2})^{2}\stackrel{\mathrm {def}}{=}{K_{1}}\), then \(F(1)>0\).
Furthermore, we have
Hence, if
then \(F(1)=0\). Assume that \(a_{1}x^{*}_{1}2>0\) and \(a_{2}x^{*}_{2}2>0\). If \(b_{1}b_{2}< K_{2}\), then we have \(F(1)>0\), and if \(b_{1}b_{2}>K_{2}\), then we have \(F(1)<0\).
On the other hand, we have
Hence, if
then \(\operatorname{det}J(E_{4})=1\). Assume that \(a_{1}a_{2}x^{*}_{1}x^{*}_{2}a_{1}x^{*}_{1}a_{2}x^{*}_{2}>0\). If \(b_{1}b_{2}>K_{3}\), then we have \(\operatorname{det}J(E_{4})<1\), and if \(b_{1}b_{2}< K_{3}\), then we have \(\operatorname{det}J(E_{4})>1\).
Now, we are concerned with the stability property of the positive equilibrium \(E_{4}(x^{*}_{1},x^{*}_{2})\). Assume that \(a_{1}x^{*}_{1}2>0, a_{2}x^{*}_{2}2>0\), and \(a_{1}a_{2}x^{*}_{1}x^{*}_{2}a_{1}x^{*}_{1}a_{2}x^{*}_{2}>0\). By simple calculation we have \(K_{1}>K_{3}>K_{2}\). Then from Lemma 2.1 it follows that:

1.
If \(b_{1}b_{2}< K_{2}\), then \(E_{4}(x^{*}_{1},x^{*}_{2})\) is a source.

2.
If \(K_{2}< b_{1}b_{2}< K_{1}\), then \(E_{4}(x^{*}_{1},x^{*}_{2})\) is a saddle.

3.
If \(K_{2}=b_{1}b_{2}< K_{1}\), then \(E_{4}(x^{*}_{1},x^{*}_{2})\) is nonhyperbolic.
Global stability
Previously, we have discussed the local stability of the equilibria of system (1.1). In this section, we give a set of sufficient conditions that ensure the global attractivity of the unique positive equilibrium on the rectangle \((0, \frac{r_{1}}{a_{1}})\times(0, \frac {r_{2}}{a_{2}})\).
Theorem 3.1
In addition to \((H_{1})\), further assume that
Then system (1.1) admits a unique positive equilibrium \((x^{*}_{1},x^{*}_{2})\), which is globally stable.
Now let us state several lemmas, which will be useful in the proof of Theorem 3.1.
Lemma 3.1
[1]
Let \(f(u)=u\exp(\alpha \beta u)\), where α and β are positive constants. Then \(f(u)\) is nondecreasing for \(u\in(0, \frac{1}{\beta}]\).
Lemma 3.2
[1]
Assume that the sequence \({u(n)}\) satisfies
where α and β are positive constants, and \(u(0)>0\). Then:

(i)
If \(\alpha<2\), then \(\lim_{n\rightarrow+\infty} u(n)= \frac{\alpha}{\beta}\).

(ii)
If \(\alpha\leq1\), then \(u(n)\leq\frac{1}{\beta}, n=2,3,\ldots\) .
Lemma 3.3
[15]
Suppose that the functions \(f,g: Z_{+}\times[0,\infty)\) satisfy \(f(n,x)\leq g(n,x) (f(n,x)\geq g(n,x))\) for \(n\in Z_{+}\) and \(g(n,x)\) is nondecreasing with respect to x. If \({u(n)}\) are the nonnegative solutions of the difference equations
respectively, and \(x(0)\leq u(0)\) \((x(0)\geq u(0))\), then
Proof of Theorem 3.1
Let \({(x_{1}(n),x_{2}(n))}\) be any positive solution of system (1.1). Denoting
we claim that, under the assumptions of Theorem 3.1, \(M_{1}=m_{1}=x^{*}_{1}\) and \(M_{2}=m_{2}=x^{*}_{2}\).
From the first equation of system (1.1) we obtain
Consider the following auxiliary equation:
By Lemma 3.2(ii), because of \(r_{1}\leq1\), we obtain \(u(n)\leq \frac{1}{a_{1}}\) for all \(n\geq2\), where \(u(n)\) is an arbitrary positive solution of (3.2) with initial value \(u(0)>0\). By Lemma 3.1, \(f(u)=u\exp(r_{1}a_{1}u)\) is nondecreasing for \(u\in (0, \frac{1}{a_{1}}]\). Based on Lemma 3.3, we obtain \(x_{1}(n)\leq u(n)\) for all \(n\geq2\), where \(u(n)\) is the solution of (3.2) with initial value \(u(2)=x_{1}(2)\). By Lemma 3.2(i) we obtain that
From the second equation of system (1.1) we obtain
Similarly to the analysis of (3.1)(3.3), we have
Then, for a sufficiently small constant \(\varepsilon>0\), without loss of generality, it follows from (3.3) and (3.4) that there exists an integer \(n_{1}>2\) such that, for all \(n>n_{1}\),
For \(n>n_{1}\), the second inequality of (3.5), combined with the first equation of system (1.1), leads to
Consider the auxiliary equation
Since \(r_{1}\leq1\), according to Lemma 3.2(ii), we obtain \(u(n)\leq \frac{1}{a_{1}}\) for all \(n\geq n_{1}\), where \(u(n)\) is an arbitrary positive solution of (3.7) with initial value \(u(n_{1})>0\). By Lemma 3.1, \(f(u)=u\exp(r_{1}a_{1}u \frac {b_{1}M^{(1)}_{2}}{1+c_{2}M^{(1)}_{2}})\) is nondecreasing for \(u\in (0, \frac{1}{a_{1}}]\). According to Lemma 3.3, we obtain \(x_{1}(n)\geq u(n)\) for all \(n\geq n_{1}\), where \(u(n)\) is the solution of (3.7) with the initial value \(u(n_{1})=x_{1}(n_{1})\). According to Lemma 3.2(i), we have
The first inequality of (3.5), combined with the second equation of system (1.1), leads to
Similarly to the analysis of (3.6)(3.8), we have
Then, for the above \(\varepsilon>0\), there exists an integer \(n_{2}>n_{1}\) such that, for all \(n>n_{2}\),
For \(n>n_{2}\), the second inequality of (3.10), combined with the first equation of system (1.1), leads to
Similarly to the analysis of (3.1)(3.3), we have
The first inequality of (3.10), combined with the second equation of system (1.1), leads to
Similarly to the analysis of (3.1)(3.3), we have
Then, for the above \(\varepsilon>0\), it follows from (3.12) and (3.14) that there exists an integer \(n_{3}>n_{2}\) such that, for all \(n>n_{3}\),
Obviously,
For \(n>n_{3}\), the second inequality of (3.15), combined with the first equation of system (1.1), leads to
Similarly to the analysis of (3.6)(3.8), we have
The first inequality of (3.15), combined with the second equation of system (1.1), leads to
Similarly to the analysis of (3.6)(3.8), we have
Then, for the above \(\varepsilon>0\), it follows from (3.18) and (3.19) that there exists an integer \(n_{4}>n_{3}\) such that, for all \(n>n_{4}\),
Obviously,
Continuing the above steps, we can get four sequences \(\{M^{(n)}_{i}\}, \{m^{(n)}_{i}\}, i=1,2, n=1,2,\ldots\) , such that, for \(n\geq2\),
Clearly, we have
Now, by means of the inductive method we will prove that \(\{ M^{(n)}_{1}\}, \{M^{(n)}_{2}\}\) are decreasing and \(\{m^{(n)}_{1}\} , \{m^{(n)}_{2}\}\) are increasing.
First of all, from (3.16) and (3.21) it is clear that
Let us assume that our claim is true for n, that is,
Again, since the function \(g(x)= \frac{bx}{1+cx}\ (b,c>0)\) is strictly increasing, we immediately obtain
These inequalities show that \({\{M^{(n)}_{1}\}}\) and \({\{M^{(n)}_{2}\} }\) are decreasing, \({\{m^{(n)}_{1}\}}\) and \({\{m^{(n)}_{2}\}}\) are increasing. Let
Letting \(n\rightarrow+\infty\) in (3.22), we obtain
Equations (3.26) and (3.27) are equivalent to
Equations (3.28) and (3.29) show that \((\bar {x}_{1},\bar {x}_{2})\) and \((\underline{x}_{1},\underline{x}_{2})\) are solutions of system (1.1). However, under the assumptions of Theorem 3.1, system (1.1) admits a unique positive solution \((x^{*}_{1},x^{*}_{2}) \). Therefore
Thus, the unique interior equilibrium \(E(x^{*}_{1},x^{*}_{2})\) is globally attractive. This completes the proof of Theorem 3.1. □
Numeric simulations
In this section, we give four examples to illustrate the feasibility of the main results.
Example 4.1
Consider the following competitive system:
Correspondingly to system (1.1), we have \(r_{1}=0.5,r_{2}=0.7, a_{1}=0.5,a_{2}=1.5, b_{1}=b_{2}=1, c_{1}=c_{2}=1\). By calculation we see that the positive equilibrium \(E(x^{*}_{1},x^{*}_{2})\approx (0.6667, 0.2000)\), \(r_{1}(a_{2}+c_{2}r_{2})= \frac {11}{10}>b_{1}r_{2}= \frac {7}{10}\), \(r_{2}(a_{1}+c_{1}r_{1})= \frac {7}{10}>b_{2}r_{1}= \frac{1}{2}\), \(r_{1}, r_{2}<1\). All the conditions of Theorem 3.1 are satisfied, and the unique positive equilibrium \(E(x^{*}_{1},x^{*}_{2})\) is globally attractive. Figure 2 also supports our finding. Figure 3 shows the bifurcation diagrams of species \(x_{1}\) with initial condition \((x(0), y(0))=(0.14, 0.19)\) and \(r_{1}=0.5:0.001:4\). The system undergoes a series of periodicdoubling bifurcations wherein a \(2^{k}\)cycle loses stability.
Example 4.2
Consider the following competitive system:
Correspondingly to system (1.1), we have \(r_{1}=0.4,r_{2}=0.2, a_{1}=0.3,a_{2}=0.1, b_{1}=0.1,b_{2}=0.3, c_{1}=c_{2}=1\). By calculation we see that the positive equilibrium \(E(x^{*}_{1},x^{*}_{2})\approx (1.25,0.33333)\), \(r_{1}(a_{2}+c_{2}r_{2})= \frac {3}{25}>b_{1}r_{2}= \frac {1}{50}\), \(r_{2}(a_{1}+c_{1}r_{1})= \frac {7}{50}>b_{2}r_{1}= \frac{3}{25}\), \(r_{1}, r_{2}<1\). All the conditions of Theorem 3.1 are satisfied, and the unique positive equilibrium \(E(x^{*}_{1},x^{*}_{2})\) is globally attractive. Figure 4 also supports our finding. Figure 5 shows the bifurcation diagrams of species \(x_{1}\) with initial condition \((x(0), y(0))=(0.14, 0.19)\) and \(r_{1}=0.4:0.001:4\). The system undergoes a series of periodicdoubling bifurcations wherein a \(2^{k}\)cycle loses stability.
Example 4.3
Consider the following competitive system:
Corresponding to system (1.1), we have \(r_{1}=0.3,r_{2}=0.2, a_{1}=0.5,a_{2}=0.1, b_{1}=0.1,b_{2}=0.4, c_{1}=c_{2}=1\). By calculating, we see that the positive equilibrium \(E(x^{*}_{1},x^{*}_{2})\approx (0.52297, 0.62645)\), \(r_{1}(a_{2}+c_{2}r_{2})= \frac {9}{100}>b_{1}r_{2}= \frac {1}{50}\), \(r_{2}(a_{1}+c_{1}r_{1})= \frac {4}{25}>b_{2}r_{1}= \frac{3}{25}\), \(r_{1}, r_{2}<1\). All the conditions of Theorem 3.1 are satisfied, and the unique positive equilibrium \(E(x^{*}_{1},x^{*}_{2})\) is globally attractive. Figure 6 also supports our finding. Figure 7 shows the bifurcation diagrams of species \(x_{1}\) with initial conditions \((x(0), y(0))=(0.14, 0.19)\) and \(r_{1}=0.3:0.001:4\). The system undergoes a series of periodicdoubling bifurcations wherein a \(2^{k}\)cycle loses stability.
Example 4.4
Considering the following competitive system:
Correspondingly to system (1.1), we have \(r_{1}=r_{2}=1.5, a_{1}=0.65,a_{2}=0.75, b_{1}=b_{2}=2, c_{1}=c_{2}=1\). By calculation we see that the positive equilibrium \(E(x^{*}_{1},x^{*}_{2})\approx (1.2736, 0.50624)\), \(r_{1}(a_{2}+c_{2}r_{2})= \frac {27}{8}>b_{1}r_{2}=3\), \(r_{2}(a_{1}+c_{1}r_{1})= \frac {129}{4}>b_{2}r_{1}=3\), \(r_{1}, r_{2}>1\). Condition \((H_{2})\) in Theorem 3.1 does not hold. However, numeric simulation (Figure 8) also shows that the system admits a unique positive equilibrium, which is globally attractive. Figure 9 shows the bifurcation diagrams of species \(x_{1}\) with initial condition \((x(0), y(0))=(0.14, 0.19)\) and \(r_{1}=1.5:0.001:4\). The system also undergoes a series of periodicdoubling bifurcations wherein a \(2^{k}\)cycle loses stability.
Examples 4.14.3 show that the coefficients satisfy the conditions of Theorem 3.1. In Example 4.1, we can verify that \(A_{1}>0\), which represents case 1 in Lemma 1.1, whereas Examples 4.2 and 4.3 represent cases 2 and 3 in Lemma 1.1, respectively (\(A_{1}=0\), \(A_{1}<0\)). As for Example 4.4, though the coefficients of system (4.4) do not satisfy \((H_{2})\) in Theorem 3.1, Figure 8 also implies that the positive equilibrium is still globally attractive.
Disscussion
Chen and Teng [1] studied the local and global stability of positive equilibrium of system (1.2). In this paper, we studied the dynamic behavior of system (1.1) adding the nonlinear interinhibition terms into the model. When \(c_{1}=c_{2}=0\), system (1.1) reduces to (1.2), and conditions reduce to \(r_{1}<1, r_{2}<1, a_{1}r_{2}>b_{2}r_{1}, a_{2}r_{1}>b_{1}r_{2}\), and those conditions are equivalent to the conditions \(r_{1}<1, r_{2}<1, 1\mu_{1}K_{1}>0, 1\mu _{2}K_{2}>0\) in [1].
From \((H_{1})\) we obtain \(r_{1}> \frac {b_{1}r_{2}}{a_{2}+r_{2}}\) and \(r_{2}> \frac{b_{2}r_{1}}{a_{1}+r_{1}}\). Our results show that the intrinsic growth rate plays an important role in the stability property of the system. We know that when the intrinsic growth rates of the two species are fixed, if the rates of interspecific competitive coefficients are small enough, then condition \((H_{1})\) always holds, and consequently, two species can coexist in a stable state. This means that smaller interspecific competitive coefficients have positive effect to the stability property of the system.
By developing the analysis technique of [3, 24] we also obtain a set of sufficient conditions that ensure the global attractivity of the positive equilibrium. We relax the conditions in [3] and [2]. Numeric simulations also support our findings. However, Example 4.4 does not satisfy all the conditions of Theorem 3.1, and the system still admits a unique globally stable positive equilibrium. We conjecture that the conditions \(r_{i}\leq1\) in Theorem 3.1 can be relaxed to \(0< r_{i}<2\ (i=1,2)\), that is, the conditions of Theorem 3.1 still have room to improve. However, at present, we have difficulty in proving this conjecture. With the change of \(r_{i}\), we found the bifurcations in the above figures, wherein a \(2^{k}\)cycle loses stability. We leave these two problems for future study.
References
 1.
Chen, GY, Teng, ZD: On the stability in a discrete twospecies competition system. J. Appl. Math. Comput. 38(1), 2539 (2012)
 2.
Qin, WJ, Liu, ZJ, Chen, YP: Permanence and global stability of positive periodic solutions of a discrete competitive system. Discrete Dyn. Nat. Soc. 2009, Article ID 830537 (2009)
 3.
Chen, BG: Global attractivity of a twospecies competitive system with nonlinear interinhibition terms. J. Math. Comput. Sci. 16, 481494 (2016)
 4.
Zhuo, XL, Zhang, FX: Stability for a new discrete ratiodependent predatorprey system. Qual. Theory Dyn. Syst. (2017). doi:10.1007/s1234601702281
 5.
Chen, FD, Wang, HN: Dynamic behaviors of a LotkaVolterra competitive system with infinite delays and single feedback control. J. Funct. Anal. 2016, Article ID 43 (2016)
 6.
Chen, FD, Xie, XD, Wang, HN: Global stability in a competition model of plankton allelopathy with infinite delay. J. Syst. Sci. Complex. 28(5), 10701079 (2015)
 7.
Wang, K, Zhu, YL: Global attractivity of positive periodic solution for a Volterra model. Appl. Math. Comput. 203(2), 493501 (2008)
 8.
Li, Z, Chen, FD: Extinction in periodic competitive stagestructured LotkaVolterra model with the effects of toxic substances. J. Comput. Appl. Math. 231(1), 143153 (2009)
 9.
Wang, QL, Liu, ZJ, Li, ZX: Existence and global asymptotic stability of positive almost periodic solutions of a twospecies competitive system. Int. J. Biomath. 7(04), 1450040 (2014)
 10.
Pu, LQ, Xie, XD, Chen, FD, Miao, ZS: Extinction in twospecies nonlinear discrete competitive system. Discrete Dyn. Nat. Soc. 2016, Article ID 2806405 (2016)
 11.
Wang, QL, Liu, ZJ: Uniformly asymptotic stability of positive almost periodic solutions for a discrete competitive system. J. Appl. Math. 2013, Article ID 182158 (2013)
 12.
Xie, XD, Chen, FD, Xue, YL: Note on the stability property of a cooperative system incorporating harvesting. Discrete Dyn. Nat. Soc. 2014, Article ID 327823 (2014)
 13.
Yang, K, Xie, XD, Chen, FD: Global stability of a discrete mutualism model. Abstr. Appl. Anal. 2014, Article ID 709124 (2014)
 14.
Xie, XD, Xue, YL, Wu, RX, Zhao, L: Extinction of a two species competitive system with nonlinear interinhibition terms and one toxin producing phytoplankton. Adv. Differ. Equ. 2016, Article ID 268 (2016)
 15.
Wang, L, Wang, MQ: Ordinary Difference Equations. XinJiang University Press, Urmuqi (1989)
 16.
Wang, XL, Du, ZJ, Liang, J: Existence and global attractivity of positive periodic solution to a LotkaVolterra model. Nonlinear Anal., Real World Appl. 11(5), 40544061 (2010)
 17.
Hu, ZY, Teng, ZD, Zhang, L: Stability and bifurcation analysis of a discrete predatorprey model with nonmonotonic functional response. Nonlinear Anal., Real World Appl. 12(4), 23562377 (2011)
 18.
Chen, FD, Xie, XD, Miao, ZS, Pu, LQ: Extinction in two species nonautonomous nonlinear competitive system. Appl. Math. Comput. 274(1), 119124 (2016)
 19.
Yu, SB: Permanence for a discrete competitive system with feedback controls. Commun. Math. Biol. Neurosci. 2015, Article ID 16 (2015)
 20.
Chen, FD, Chen, XY, Huang, SY: Extinction of a two species nonautonomous competitive system with BeddingtonDeAngelis functional response and the effect of toxic substances. Open Math. 14(1), 11571173 (2016)
 21.
Chen, LJ, Chen, FD: Extinction in a discrete LotkaVolterra competitive system with the effect of toxic substances and feedback controls. Int. J. Biomath. 8(01), 1550012 (2015)
 22.
Yang, K, Miao, ZS, Chen, FD, Xie, XD: Influence of single feedback control variable on an autonomous HollingII type cooperative system. J. Math. Anal. Appl. 435(1), 874888 (2016)
 23.
Han, RY, Xie, XD, Chen, FD: Permanence and global attractivity of a discrete pollination mutualism in plantpollinator system with feedback controls. Adv. Differ. Equ. 2016, Article ID 199 (2016)
 24.
Chen, FD, Wu, HL, Xie, XD: Global attractivity of a discrete cooperative system incorporating harvesting. Adv. Differ. Equ. 2016, Article ID 268 (2016)
Acknowledgements
The research was supported by the National Natural Science Foundation of China under Grant (11601085) and the Natural Science Foundation of Fujian Province (2015J01019).
Author information
Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there is no conflict of interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Cite this article
Chen, J., Xie, X. Stability analysis of a discrete competitive system with nonlinear interinhibition terms. Adv Differ Equ 2017, 294 (2017). https://doi.org/10.1186/s1366201713624
Received:
Accepted:
Published:
MSC
 34D23
 92B05
 34D40
Keywords
 local stability
 competitive
 global stability
 iterative method