Skip to main content

# Global attractivity of a discrete cooperative system incorporating harvesting

## Abstract

A discrete cooperative model incorporating harvesting that takes the form

\begin{aligned}& x(k+1) = x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac {a_{1}x(k)}{y(k)+k_{1}} \biggr\} , \\& y(k+1) = y(k)\exp \biggl\{ r_{2}-b_{2}y(k)-\frac{a_{2}y(k)}{x(k)+k_{2}} \biggr\} \end{aligned}

is proposed and studied in this paper. By using the iterative method and the comparison principle of difference equations, a set of sufficient conditions which ensure the global attractivity of the interior equilibrium of the system is obtained. Numeric simulations show the feasibility of the main result.

## Introduction

In , Wei and Li proposed and studied the following cooperative system incorporating harvesting:

\begin{aligned} &\dot{x} = x \biggl(r_{1}-b_{1}x- \frac{a_{1}x}{y+k_{1}} \biggr)-Eqx, \\ &\dot{y} = y \biggl(r_{2}-b_{2}y-\frac{a_{2}y}{x+k_{2}} \biggr), \end{aligned}
(1.1)

where x and y denote the densities of two populations at time t. The parameters $$r_{1}$$, $$r_{2}$$, $$a_{1}$$, $$a_{2}$$, $$b_{1}$$, $$b_{2}$$, $$k_{1}$$, $$k_{2}$$, E, q are all positive constants. By applying the comparison theorem of differential equations and constructing a suitable Lyapunov function, they obtained sufficient conditions which ensure the persistent and stability of the positive equilibrium, respectively.

Recently, Xie et al.  revisited the dynamic behaviors of the system (1.1). By using the iterative method, they showed that the condition which ensures the existence of a unique positive equilibrium is enough to ensure the globally attractive of the positive equilibrium. Their result significantly improves the corresponding results of Wei and Li .

It is well known that the discrete time models governed by difference equations are more appropriate than the continuous ones when the populations have nonoverlapping generations; corresponding to system (1.1), we propose the following discrete cooperative model incorporating harvesting:

\begin{aligned} &x(k+1) = x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac {a_{1}x(k)}{y(k)+k_{1}} \biggr\} , \\ &y(k+1) = y(k)\exp \biggl\{ r_{2}-b_{2}y(k)-\frac{a_{2}y(k)}{x(k)+k_{2}} \biggr\} , \end{aligned}
(1.2)

where $$x(k)$$, $$y(k)$$ are the population density of the species x and y at k-generation. Throughout this paper, we assume that the coefficients of the system (1.2) satisfies:

(H1):

$$r_{i}$$, $$b_{i}$$, $$a_{i}$$, E, q, $$i=1, 2$$ are all positive constants, $$r_{1}>Eq$$.

We mention here that under the assumption (H1), system (1.2) admits a unique positive equilibrium $$(x^{*},y^{*})$$. Indeed, the positive equilibrium of system (1.2) satisfies

$$\left \{ \textstyle\begin{array}{l} r_{1}-Eq-b_{1}x-\frac{a_{1}x}{y+k_{1}}=0, \\ r_{2}-b_{2}y-\frac{a_{2}y}{x+k_{2}}=0, \end{array}\displaystyle \right .$$
(1.3)

which is equivalent to

$$\left \{ \textstyle\begin{array}{l} A_{1}x^{2}+A_{2}x+A_{3}=0, \\ B_{1}y^{2}+B_{2}y+B_{3}=0, \end{array}\displaystyle \right .$$
(1.4)

where

\begin{aligned} &A_{1} = b_{1}b_{2}k_{1}+a_{1}b_{2}+b_{1}r_{2}, \\ &A_{2} = b_{1}b_{2}k_{1}k_{2}+a_{1}b_{2}k_{2}+a_{2}b_{1}k_{1}+b_{1}k_{2}r_{2}+a_{1}a_{2}-(r_{1}-qE) (b_{2}k_{1}+r_{2}), \\ &A_{3} = -(r_{1}-Eq) (b_{2}k_{1}k_{2}+a_{2}k_{1}+k_{2}r_{2}), \\ &B_{1} = b_{1}b_{2}k_{2}+(r_{1}-Eq)b_{2}+a_{2}b_{1}, \\ &B_{2} = b_{1}b_{2}k_{1}k_{2}+a_{1}b_{2}k_{2}+a_{2}b_{1}k_{1}-b_{1}k_{2}r_{2}+a_{1}a_{2}+(r_{1}-qE) (b_{2}k_{1}-r_{2}), \\ &B_{3} = -r_{2} \bigl(b_{1}k_{1}k_{2}+(r_{1}-Eq)k_{1}+a_{1}k_{2} \bigr). \end{aligned}
(1.5)

From $$A_{1}>0$$, $$A_{3}<0$$, $$B_{1}>0$$, $$B_{3}<0$$ one could easily see that system (1.3) admits a unique positive solution

$$x^{*}=\frac{-A_{2}+\sqrt{A_{2}^{2}-4A_{1}A_{3}}}{2A_{1}}, \qquad y^{*}=\frac {-B_{2}+\sqrt{B_{2}^{2}-4B_{1}B_{3}}}{2B_{1}}.$$
(1.6)

The aim of this paper is, by further developing the analysis technique of Xie et al. , Yang et al. , and Chen and Teng , to obtain a set of sufficient conditions to ensure the global attractivity of the interior equilibrium of system (1.1). More precisely, we will prove the following result.

### Theorem 1.1

In addition to (H1), further assume that

(H2):

$$0< r_{1}-qE\leq1$$, $$r_{2}\leq1$$,

hold, then system (1.2) admits a unique positive equilibrium $$(x^{*},y^{*})$$ which is globally attractive.

The rest of the paper is arranged as follows. With the help of several useful lemmas, we will prove Theorem 1.1 in Section 2. Two examples together with their numeric simulations are presented in Section 3 to show the feasibility of our results. We end this paper by a brief discussion. For more work about cooperative systems, we can refer to  and the references therein.

## Global attractivity

We will give a strict proof of Theorem 1.1 in this section. To achieve this objective, we introduce several useful lemmas.

### Lemma 2.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 2.2



Assume that the sequence $$\{u(k) \}$$ satisfies

$$u(k+1)=u(k)\exp\bigl(\alpha-\beta u(k)\bigr),\quad k=1, 2,\ldots,$$

where α and β are positive constants and $$u(0)>0$$. Then:

1. (i)

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

2. (ii)

If $$\alpha\leq1$$, then $$u(k)\leq\frac{1}{\beta}$$, $$k=2,3,\ldots$$ .

### Lemma 2.3



Suppose that the functions $$f,g:Z_{+}\times[0,\infty)\rightarrow[0,\infty)$$ satisfy $$f(k,x)\leq g(k,x)$$ ($$f(k,x)\geq g(k,x)$$) for $$k\in Z_{+}$$ and $$x\in[0,\infty)$$ and $$g(k,x)$$ is nondecreasing with respect to x. If $$\{x(k) \}$$ and $$\{u(k) \}$$ are the nonnegative solutions of the following difference equations:

$$x(k+1)=f\bigl(k,x(k)\bigr),\qquad u(k+1)=g\bigl(k,u(k)\bigr),$$

respectively, and $$x(0)\leq u(0)$$ ($$x(0)\geq u(0)$$), then

$$x(k)\leq u(k)\qquad \bigl(x(k)\geq u(k)\bigr)\quad \textit{for all }k\geq0.$$

### Proof of Theorem 1.1

Let $$(x_{1}(k),x_{2}(k) )$$ be an arbitrary solution of system (1.2) with $$x_{1}(0)>0$$ and $$x_{2}(0)>0$$. Denote

\begin{aligned}& U_{1}=\limsup_{k\rightarrow+\infty}{x_{1}(k)}, \qquad V_{1}=\liminf_{k\rightarrow+\infty}{x_{1}(k)}, \\& U_{2}=\limsup_{k\rightarrow+\infty}{x_{2}(k)}, \qquad V_{2}=\liminf_{k\rightarrow+\infty}{x_{2}(k)}. \end{aligned}

We claim that $$U_{1}=V_{1}=x^{*}$$ and $$U_{2}=V_{2}=y^{*}$$.

From the first equation of system (1.1), we obtain

\begin{aligned} x(k+1) =&x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac {a_{1}x(k)}{y(k)+k_{1}} \biggr\} \\ \leq& x(k)\exp \bigl\{ r_{1}-Eq-b_{1}x(k) \bigr\} , \quad k=0, 1, 2,\ldots. \end{aligned}
(2.1)

Considering the auxiliary equation as follows:

$$u(k+1)=u(k)\exp \bigl\{ r_{1}-Eq-b_{1}u(k) \bigr\} ,\quad k=0, 1, 2,\ldots.$$
(2.2)

Because of $$0< r_{1}-Eq\leq1$$, according to (ii) of Lemma 2.2, we can obtain $$u(k)\leq\frac{1}{b_{1}}$$ for all $$k\geq2$$, where $$u(k)$$ is arbitrary positive solution of (2.2) with initial value $$u(0)>0$$. From Lemma 2.1, $$f(u)=u\exp(r_{1}-Eq-b_{1}u)$$ is nondecreasing for $$u\in(0,\frac{1}{b_{1}}]$$. According to Lemma 2.3 we can obtain $$x(k)\leq u(k)$$ for all $$k\geq2$$, where $$u(k)$$ is the solution of (2.2) with the initial value $$u(2)= x(2)$$. According to (i) of Lemma 2.2, we can obtain

$$U_{1}=\limsup_{k\rightarrow+\infty}{x(k)}\leq\lim _{k\rightarrow+\infty}{u(k)}=\frac{r_{1}-Eq}{b_{1}}.$$
(2.3)

From the second equation of system (1.2), we obtain

$$y(k+1)\leq y(k)\exp \bigl\{ r_{2}-b_{2}y(k) \bigr\} ,\quad k=0, 1, 2,\ldots.$$

Similar to the analysis of (2.1)-(2.3), we have

$$U_{2}=\limsup_{k\rightarrow+\infty}{y(k)}\leq \frac {r_{2}}{b_{2}}.$$
(2.4)

Then, for sufficiently small constant $$\varepsilon>0$$, without loss of generality, we may assume that $$\varepsilon<\frac{1}{2}\min \{ \frac{r_{1}-Eq}{ b_{1}+ \frac{a_{1} }{ k_{1}} }, \frac{r_{2}}{b_{2}+\frac{a_{2}}{k_{2}}} \}$$, it follows from (2.3) and (2.4) that there is an integer $$k_{1}>2$$ such that

$$x(k)< \frac{r_{1}-Eq}{b_{1}}+\varepsilon\stackrel{\mathrm {def}}{=}M_{1}^{x}, \qquad y(k)< \frac{r_{2}}{b_{2}}+\varepsilon\stackrel {\mathrm{def}}{=}M_{1}^{y}\quad \mbox{for all } k>k_{1}.$$
(2.5)

Equation (2.5) combined with the first equation of system (1.2) leads to

\begin{aligned} x(k+1) =&x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac {a_{1}x(k)}{y(k)+k_{1}} \biggr\} \\ \leq&x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac {a_{1}x(k)}{M_{1}^{y}+k_{1}} \biggr\} . \end{aligned}
(2.6)

Considering the auxiliary equation as follows:

$$u(k+1)=u(k)\exp \biggl\{ r_{1}-Eq-b_{1}u(k)- \frac{a_{1}u(k)}{M_{1}^{y} +k_{1}} \biggr\} ,\quad k=0, 1, 2,\ldots.$$
(2.7)

Because of $$0< r_{1}-Eq\leq1$$, according to (ii) of Lemma 2.2, we can obtain

$$u(k)\leq\frac{1}{b_{1}+\frac{a_{1} }{M_{1}^{y} +k_{1}}}$$

for all $$k\geq k_{1}$$, where $$u(k)$$ is arbitrary positive solution of (2.7) with initial value $$u(k_{1})>0$$. From Lemma 2.1,

$$f(u)=u\exp \biggl(r_{1}-Eq-b_{1}u-\frac{a_{1}u(k)}{M_{1}^{y} +k_{1}} \biggr)$$

is nondecreasing for

$$u\in \biggl(0,\frac{1}{b_{1}+\frac{a_{1} }{M_{1}^{y} +k_{1}}} \biggr].$$

According to Lemma 2.3 we can obtain $$x(k)\leq u(k)$$ for all $$k\geq k_{1}+1$$, where $$u(k)$$ is the solution of (2.7) with the initial value $$u(k_{1}+1)= x(k_{1}+1)$$. According to (i) of Lemma 2.2, we can obtain

$$U_{1}=\limsup_{k\rightarrow+\infty}{x(k)}\leq\lim _{k\rightarrow+\infty}{u(k)}=\frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ M_{1}^{y} +k_{1}}}.$$
(2.8)

Equation (2.5) combined with the second equation of system (1.2) leads to

\begin{aligned} y(k+1) =&y(k)\exp \biggl\{ r_{2}-b_{2}y(k)-\frac{a_{2}y(k)}{x(k)+k_{2}} \biggr\} \\ \leq& y(k)\exp \biggl\{ r_{2}-b_{2}y(k)-\frac{a_{2}y(k)}{ M_{1}^{x} +k_{2}} \biggr\} , \quad k>k_{1}. \end{aligned}
(2.9)

Similar to the analysis of (2.6)-(2.8), we can obtain

$$U_{2}=\limsup_{k\rightarrow+\infty}{y(k)}\leq\frac{r_{2} }{b_{2}+\frac{a_{2} }{ M_{1}^{x} +k_{2}}}.$$
(2.10)

Then, for sufficiently small constant $$\varepsilon>0$$, it follows from (2.8) and (2.10) that there is an integer $$k_{2}>k_{1}$$ such that, for all $$k>k_{2}$$,

\begin{aligned} &x(k) < \frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ M_{1}^{y} +k_{1}}} +\frac {\varepsilon}{2} \stackrel{\mathrm{def}}{=}M_{2}^{x}, \\ &y(k) < \frac{r_{2} }{b_{2}+\frac{a_{2} }{ M_{1}^{x} +k_{2}}}+\frac {\varepsilon}{2}\stackrel{\mathrm{def}}{=}M_{2}^{y}. \end{aligned}
(2.11)

Obviously,

$$M_{2}^{x} < M_{1}^{x}, \qquad M_{2}^{x} < M_{1}^{x}.$$
(2.12)

According to the first equation of system (1.2) and the positivity of $$y(k)$$, we can obtain

\begin{aligned} x(k+1) =&x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac {a_{1}x(k)}{y(k)+k_{1}} \biggr\} \\ \geq&x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac{a_{1}x(k)}{ k_{1}} \biggr\} . \end{aligned}
(2.13)

Considering the auxiliary equation as follows:

$$u(k+1)= u(k)\exp \biggl\{ r_{1}-Eq-b_{1}u(k)- \frac{a_{1}u(k)}{ k_{1}} \biggr\} .$$
(2.14)

Since $$0< r_{1}-Eq\leq1$$, according to (ii) of Lemma 2.2, we can obtain $$u(k)\leq\frac{1}{b_{1}+\frac{a_{1} }{ k_{1}}}$$ for all $$k\geq k_{2}$$, where $$u(k)$$ is arbitrary positive solution of (2.14) with initial value $$u(k_{2})>0$$. From Lemma 2.1, $$f(u)=u\exp \{ r_{1}-Eq -b_{1}u-\frac{a_{1}u(k)}{ k_{1}} \}$$ is nondecreasing for $$u\in (0,\frac{1}{b_{1}+\frac{a_{1} }{ k_{1}}} ]$$. According to Lemma 2.3 we can obtain $$x(k)\geq u(k)$$ for all $$k\geq k_{2}$$, where $$u(k)$$ is the solution of (2.14) with the initial value $$u(k_{2})= x(k_{2})$$. According to (i) of Lemma 2.2, we have

$$V_{1}=\liminf_{k\rightarrow+\infty}{x(k)}\geq\lim _{k\rightarrow+\infty}{u(k)}=\frac{r_{1}-Eq}{ b_{1}+\frac{a_{1} }{ k_{1}} }.$$
(2.15)

From the second equation of system (1.2) and the positivity of $$x(k)$$, we can obtain

$$y(k+1) \geq y(k)\exp \biggl\{ r_{2}-b_{2}y(k)- \frac{a_{2}y(k)}{ k_{2}} \biggr\} .$$
(2.16)

Similar to the analysis of (2.13)-(2.15), we have

$$V_{2}=\liminf_{k\rightarrow+\infty}{y(k)}\geq \frac {r_{2}}{b_{2}+\frac{a_{2}}{k_{2}}}.$$

Then, for the above $$\varepsilon>0$$, there is an integer $$k_{3}>k_{2}$$ such that, for all $$k>k_{3}$$,

\begin{aligned} &x(k) > \frac{r_{1}-Eq}{ b_{1}+\frac{a_{1} }{ k_{1}} }-\varepsilon \stackrel{ \mathrm{def}}{=}m_{1}^{x}, \\ &y(k) > \frac{r_{2}}{b_{2}+\frac{a_{2}}{k_{2}}} -\varepsilon\stackrel {\mathrm{def}}{=}m_{1}^{y}. \end{aligned}
(2.17)

Equation (2.17) combined with the first equation of system (1.2) leads to

$$x(k+1)\geq x(k)x(k)\exp \biggl\{ r_{1}-Eq-b_{1}x(k)- \frac {a_{1}x(k)}{m_{1}^{y}+k_{1}} \biggr\} ,\quad k>k_{3}.$$
(2.18)

Similar to the analysis of (2.13)-(2.15), we have

$$V_{1}=\liminf_{k\rightarrow+\infty}{x(k)}\geq\frac {r_{1}-Eq}{b_{1}+\frac{a_{1} }{m_{1}^{y}+k_{1}} }.$$
(2.19)

Equation (2.17) combined with the second equation of system (1.2) leads to

$$y(k+1) \geq y(k)\exp \biggl\{ r_{2}-b_{2}y(k)- \frac{a_{2}y(k)}{ m_{1}^{x}+k_{2}} \biggr\} , \quad k>k_{3}.$$
(2.20)

Similar to the analysis of (2.13)-(2.15), we can obtain

$$V_{2}=\liminf_{k\rightarrow+\infty}{y(k)}\geq\frac{r_{2} }{b_{2}+\frac{a_{2} }{ m_{1}^{x}+k_{2}}}.$$
(2.21)

Then, for the above $$\varepsilon>0$$, it follows from (2.19) and (2.21) that there is an integer $$k_{4}>k_{3}$$ such that, for all $$k>k_{4}$$,

\begin{aligned} &x(k) > \frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{m_{1}^{y}+k_{1}} }-\frac {\varepsilon}{2}\stackrel{ \mathrm{def}}{=}m_{2}^{x}, \\ &y(k) > \frac{r_{2} }{b_{2}+\frac{a_{2} }{ m_{1}^{x}+k_{2}}}-\frac {\varepsilon}{2}\stackrel{\mathrm{def}}{=}m_{2}^{y}. \end{aligned}
(2.22)

Obviously

$$m_{1}^{x}< m_{2}^{x}, \qquad m_{1}^{y}< m_{2}^{y}.$$
(2.23)

Continuing the above steps, we can get four sequences $$\{M_{k}^{x } \}$$, $$\{M_{k}^{y} \}$$, $$\{m_{k}^{x} \}$$, and $$\{m_{k}^{y} \}$$ such that

\begin{aligned} &M_{k}^{x} = \frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ M_{k-1}^{y} +k_{1}}} + \frac{\varepsilon}{k}, \\ &M_{k}^{y} = \frac{r_{2} }{b_{2}+\frac{a_{2} }{ M_{k-1}^{x} +k_{2}}}+\frac{\varepsilon}{k}; \end{aligned}
(2.24)

and

\begin{aligned} &m_{k}^{x} = \frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{m_{k-1}^{y}+k_{1}} }- \frac{\varepsilon}{k}, \\ &m_{k}^{y} = \frac{r_{2} }{b_{2}+\frac{a_{2} }{ m_{k-1}^{x}+k_{2}}}-\frac {\varepsilon}{k}. \end{aligned}
(2.25)

Clearly, we have

$$m_{k}^{x}\leq V_{1}\leq U_{1} \leq M_{k}^{x},\qquad m_{k}^{y}\leq V_{2}\leq U_{2} \leq M_{k}^{y},\quad k=0, 1, 2,\ldots.$$
(2.26)

Now, we will prove $$\{M_{k}^{x} \}$$, $$\{M_{k}^{y} \}$$ is monotonically decreasing, $$\{m_{k}^{x} \}$$, $$\{m_{k}^{y} \}$$ is monotonically increasing by means of inductive method.

First of all, from (2.12) and (2.23) it is clear that $$M_{2}^{x }< M_{1}^{x}$$, $$M_{2}^{y }< M_{1}^{y}$$, $$m_{2}^{x}>m_{1}^{x}$$, $$m_{2}^{y}>m_{1}^{y}$$. Now we assume that $$M_{i}^{x}< M_{i-1}^{x}$$, $$M_{i}^{y}< M_{i-1}^{y}$$ and $$m_{i}^{x}> m_{i-1}^{x}$$, $$m_{i}^{y}>m_{i-1}^{y}$$ hold, then

\begin{aligned} &b_{1}+\frac{a_{1} }{ M_{i-1}^{y} +k_{1}} < b_{1}+\frac{a_{1} }{ M_{i}^{y} +k_{1}}, \\ &b_{2}+\frac{a_{2} }{ M_{i-1}^{x} +k_{2}} < b_{2}+\frac{a_{2} }{ M_{i}^{x} +k_{2}}. \end{aligned}
(2.27)

From (2.27) and the expression of $$M_{i}^{x}$$, $$M_{i}^{y}$$, it immediately follows that

\begin{aligned}& M_{i+1}^{x}=\frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ M_{i}^{y} +k_{1}}} +\frac{\varepsilon}{i+1}< \frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ M_{i-1}^{y} +k_{1}}} +\frac{\varepsilon}{i}=M_{i}^{x}, \end{aligned}
(2.28)
\begin{aligned}& M_{i+1}^{y}=\frac{r_{2}}{b_{2}+\frac{a_{2} }{ M_{i}^{x} +k_{2}}} +\frac{\varepsilon}{i+1}< \frac{r_{2}}{b_{2}+\frac{a_{2} }{ M_{i-1}^{x} +k_{2}}} +\frac{\varepsilon}{i}=M_{i}^{y}. \end{aligned}
(2.29)

We also have

\begin{aligned} &b_{1}+\frac{a_{1} }{ m_{i-1}^{y} +k_{1}}>b_{1}+ \frac{a_{1} }{ m_{i}^{y} +k_{1}}, \\ &b_{2}+\frac{a_{2} }{ m_{i-1}^{x} +k_{2}}>b_{2}+\frac{a_{2} }{ m_{i}^{x} +k_{2}}. \end{aligned}
(2.30)

From (2.30) and the expression of $$m_{i}^{x}$$, $$m_{i}^{y}$$, it immediately follows that

\begin{aligned}& m_{i+1}^{x}=\frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ m_{i}^{y} +k_{1}}} -\frac{\varepsilon}{i+1}> \frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ m_{i-1}^{y} +k_{1}}} -\frac{\varepsilon}{i}=M_{i}^{x}, \end{aligned}
(2.31)
\begin{aligned}& m_{i+1}^{y}=\frac{r_{2}}{b_{2}+\frac{a_{2} }{ m_{i}^{x} +k_{2}}} -\frac{\varepsilon}{i+1}> \frac{r_{2}}{b_{2}+\frac{a_{2} }{ m_{i-1}^{x} +k_{2}}} -\frac{\varepsilon}{i}=m_{i}^{y}. \end{aligned}
(2.32)

Equations (2.27)-(2.32) show that $$\{M_{k}^{x} \}$$ and $$\{ M_{k}^{y} \}$$ are monotonically decreasing, $$\{m_{k}^{x} \}$$ and $$\{m_{k}^{y} \}$$ are monotonically increasing. Consequently, $$\lim_{k\rightarrow+\infty} \{M_{k}^{x } \}$$, $$\lim_{k\rightarrow+\infty} \{M_{k}^{y } \}$$, and $$\lim_{k\rightarrow+\infty} \{m_{k}^{x } \}$$, $$\lim_{k\rightarrow+\infty} \{m_{k}^{y } \}$$ both exist. Let

\begin{aligned}& \lim_{k\rightarrow+\infty}M_{k}^{x}=\overline{X},\qquad \lim_{k\rightarrow+\infty}m_{k}^{x}=\underline{X}, \end{aligned}
(2.33)
\begin{aligned}& \lim_{k\rightarrow+\infty}M_{k}^{y}=\overline{Y}, \qquad \lim_{k\rightarrow+\infty}m_{k}^{x}=\underline{Y}. \end{aligned}
(2.34)

From (2.24) and (2.25), we have

\begin{aligned}& \overline{X}=\frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{ \overline {Y}+k_{1}}}, \qquad \overline{Y}=\frac{r_{2} }{b_{2}+\frac{a_{2} }{ \overline{X} +k_{2}}}, \end{aligned}
(2.35)
\begin{aligned}& \underline{X}=\frac{r_{1}-Eq}{b_{1}+\frac{a_{1} }{\underline {Y}+k_{1}} },\qquad \underline{Y}=\frac{r_{2} }{b_{2}+\frac{a_{2} }{ \underline{X}+k_{2}}}. \end{aligned}
(2.36)

Equations (2.35) and (2.36) are equivalent to

\begin{aligned}& b_{1}\overline{X}+\frac{a_{1}\overline{X} }{ \overline {Y}+k_{1}}=r_{1}-Eq, \qquad b_{2}\overline{Y}+\frac{a_{2}\overline{Y} }{ \overline{X} +k_{2}}=r_{2}, \end{aligned}
(2.37)
\begin{aligned}& b_{1}\underline{X}+\frac{a_{1}\underline{X} }{ \underline {Y}+k_{1}}=r_{1}-Eq,\qquad b_{2}\underline{Y}+\frac{a_{2}\underline{Y} }{ \underline{X} +k_{2}}=r_{2}. \end{aligned}
(2.38)

Equations (2.37) and (2.38) show that $$(\overline{X}, \overline{Y})$$ and $$(\underline{X},\underline{Y})$$ are all solutions of system (1.3). however, under the assumption of Theorem 1.1, system (1.3) has unique positive solution $$(x^{*},y^{*})$$. Therefore

$$U_{1}=V_{1}=\lim_{k\rightarrow+\infty}{x(k)}=x^{*}, \qquad U_{2}=V_{2}=\lim_{k\rightarrow+\infty}{y(k)}=y^{*},$$
(2.39)

that is, $$E_{+}(x^{*},y^{*})$$ is globally attractive. This ends the proof of Theorem 1.1. □

## Examples

In this section, we shall give two examples to illustrate the feasibility of the main result.

### Example 3.1

Consider the following cooperative system:

\begin{aligned} &x(k+1) = x(k)\exp \biggl\{ 0.5-0.1\times1-0.3x(k)- \frac {0.1x(k)}{y(k)+1} \biggr\} , \\ &y(k+1) = y(k)\exp \biggl\{ 0.5-0.2y(k)-\frac{0.1y(k)}{x(k)+0.2} \biggr\} . \end{aligned}
(3.1)

Corresponding to system (1.2), we have $$r_{1}=0.5$$; $$r_{2}=0.5$$; $$b_{1}=0.3$$; $$b_{2}=0.2$$; $$a_{1}=0.1$$; $$a_{2}=0.1$$; $$E=1$$; $$q=0.1$$; $$k_{1}=1$$; $$k_{2}=0.2$$; by calculating, we see that the positive equilibrium $$E_{+}(x_{1}^{*},x_{2}^{*})\approx(1.193266964,1.839765589)$$, $$0< r_{1}-qE =0.5-0.1=0.4<1$$, $$r_{2} =0.5<1$$, thus the coefficients of system (3.1) satisfy (H1) and (H2) in Theorem 1.1. From Theorem 1.1, the unique positive equilibrium $$E_{+}(x_{1}^{*},x_{2}^{*})$$ is globally attractive. Numeric simulations also support our finding (see Figures 1 and 2). Figure 1 Figure 2

### Example 3.2

Consider the following competition system:

\begin{aligned} &x(k+1) = x(k)\exp \biggl\{ 1.5-0.1\times1-0.3x(k)- \frac {0.1x(k)}{y(k)+1} \biggr\} , \\ &y(k+1) = y(k)\exp \biggl\{ 1.5-0.2y(k)-\frac{0.1y(k)}{x(k)+0.2} \biggr\} . \end{aligned}
(3.2)

Here all the other coefficients are as that of Example 3.1, only we change $$r_{i}=0.5$$ to $$r_{i}=1.5$$, $$i=1, 2$$. By calculating, we see that the positive equilibrium $$E_{+}(x_{1}^{*},x_{2}^{*})\approx(4.474828147,6.775338254)$$, and $$r_{1}-qE =1.5-0.1=1.4>1$$, $$r_{2} =1.5>1$$, thus the coefficients of system (3.2) do not satisfy (H2) in Theorem 1.1, and the stability property of this positive equilibrium could not be judged by Theorem 1.1. However, numeric simulations (see Figures 3 and 4) show that in this case, the positive equilibrium still is globally attractive. Figure 3 Figure 4

## Discussion

In , Xie et al. studied the stability property of the system (1.1), their result shows that once the system (1.1) admits a unique positive equilibrium, it is globally attractive. In this paper, we try to consider the discrete type of system (1.1), we first establish the corresponding system (1.2), then, by developing the analysis technique of , we also obtain a set of sufficient conditions which ensure the global attractivity of the positive equilibrium. Our result shows that the intrinsic growth rate plays an important role in the stability property of the system.

It brings to our attention that conditions for the continuous system are very simple (one only requires $$r_{1}>qE$$), while conditions for the discrete one is very strong, since one requires $$r_{1}-qE\leq1$$ and $$r_{2}\leq1$$. This motivated us to study the case $$r_{i}>1$$, numeric simulation (Example 3.2) shows that in this case, the system still possible admits a unique globally attractive positive equilibrium, and we conjecture that Theorem 1.1 still holds under the condition $$r_{1}-Eq<2$$, $$r_{2}<2$$; we leave this for future study.

At the end of the paper, we would like to point out that one of the reviewers of this paper said ‘Population models with stochastic noises may also be important and interesting. In fact, many authors have studied stochastic population models with stochastic noises, for example, Beddington and May , Liu and Bai [32, 33]. I suggest the authors take stochastic noises into account in their future study.’ We do agree with the opinion of the reviewers, and we hope we could do some relevant work in the future.

## References

1. 1.

Wei, FY, Li, CY: Permanence and globally asymptotic stability of cooperative system incorporating harvesting. Adv. Pure Math. 3, 627-632 (2013)

2. 2.

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)

3. 3.

Yang, K, Xie, XD, Chen, FD: Global stability of a discrete mutualism model. Abstr. Appl. Anal. 2014, Article ID 709124 (2014)

4. 4.

Chen, GY, Teng, ZD: On the stability in a discrete two-species competition system. J. Appl. Math. Comput. 38, 25-36 (2012)

5. 5.

Li, YK, Xu, GT: Positive periodic solutions for an integrodifferential model of mutualism. Appl. Math. Lett. 14, 525-530 (2001)

6. 6.

Chen, LJ, Chen, LJ, Li, Z: Permanence of a delayed discrete mutualism model with feedback controls. Math. Comput. Model. 50, 1083-1089 (2009)

7. 7.

Chen, LJ, Xie, XD: Permanence of an n-species cooperation system with continuous time delays and feedback controls. Nonlinear Anal., Real World Appl. 12, 34-38 (2001)

8. 8.

Li, YK, Zhang, T: Permanence of a discrete N-species cooperation system with time-varying delays and feedback controls. Math. Comput. Model. 53, 1320-1330 (2011)

9. 9.

Chen, LJ, Xie, XD: Feedback control variables have no influence on the permanence of a discrete N-species cooperation system. Discrete Dyn. Nat. Soc. 2009, Article ID 306425 (2009)

10. 10.

Chen, FD, Liao, XY, Huang, ZK: The dynamic behavior of N-species cooperation system with continuous time delays and feedback controls. Appl. Math. Comput. 181, 803-815 (2006)

11. 11.

Chen, FD: Permanence of a discrete N-species cooperation system with time delays and feedback controls. Appl. Math. Comput. 186, 23-29 (2007)

12. 12.

Chen, FD: Permanence for the discrete mutualism model with time delays. Math. Comput. Model. 47, 431-435 (2008)

13. 13.

Chen, FD, Yang, JH, Chen, LJ, Xie, XD: On a mutualism model with feedback controls. Appl. Math. Comput. 214, 581-587 (2009)

14. 14.

Chen, FD, Xie, XD, Chen, XF: Dynamic behaviors of a stage-structured cooperation model. Commun. Math. Biol. Neurosci. 2015, Article ID 4 (2015)

15. 15.

Chen, FD, Xie, XX: Study on the Dynamic Behaviors of Cooperative System. Science Press, Beijing (2014)

16. 16.

Chen, FD, Pu, LQ, Yang, LY: Positive periodic solution of a discrete obligate Lotka-Volterra model. Commun. Math. Biol. Neurosci. 2015, Article ID 14 (2015)

17. 17.

Li, YK: Positive periodic solutions of a discrete mutualism model with time delays. Int. J. Math. Math. Sci. 2005(4), 499-506 (2005)

18. 18.

Liu, ZJ, Tan, RH, Chen, YP, Chen, LS: On the stable periodic solutions of a delayed two-species model of facultative mutualism. Appl. Math. Comput. 196, 105-117 (2008)

19. 19.

Li, XP, Yang, WS: Permanence of a discrete model of mutualism with infinite deviating arguments. Discrete Dyn. Nat. Soc. 2010, Article ID 931798 (2010)

20. 20.

Li, Z: Permanence for the discrete mutualism model with delays. J. Math. Study 43(1), 51-54 (2010)

21. 21.

Muhammadhaji, A, Teng, ZD: Global attractivity of a periodic delayed n-species model of facultative mutualism. Discrete Dyn. Nat. Soc. 2013, Article ID 580185 (2013)

22. 22.

Xu, CJ, Wu, YS: Permanence in a discrete mutualism model with infinite deviating arguments and feedback controls. Discrete Dyn. Nat. Soc. 2013, Article ID 397382 (2013)

23. 23.

Xie, XD, Chen, FD, Yang, K, Xue, Y: Global attractivity of an integrodifferential model of mutualism. Abstr. Appl. Anal. 2014, Article ID 928726 (2014)

24. 24.

Xie, XD, Miao, ZS, Xue, YL: Positive periodic solution of a discrete Lotka-Volterra commensal symbiosis model. Commun. Math. Biol. Neurosci. 2015, Article ID 2 (2015)

25. 25.

Wang, L, Wang, MQ: Ordinary Difference Equation. Xinjing University Press, Urmuqi (1989)

26. 26.

Yang, WS, Li, XP: Permanence of a discrete nonlinear N-species cooperation system with time delays and feedback controls. Appl. Math. Comput. 218, 3581-3586 (2011)

27. 27.

Xue, YL, Xie, XD, Chen, FD, Han, RY: Almost periodic solution of a discrete commensalism system. Discrete Dyn. Nat. Soc. 2015, Article ID 295483 (2015)

28. 28.

Miao, ZS, Xie, XD, Pu, LQ: Dynamic behaviors of a periodic Lotka-Volterra commensal symbiosis model with impulsive. Commun. Math. Biol. Neurosci. 2015, Article ID 3 (2015)

29. 29.

Wu, RX, Li, L, Zhou, XY: A commensal symbiosis model with Holling type functional response. J. Math. Comput. Sci. 16(3), 364-371 (2016)

30. 30.

Yang, K, Miao, ZS, Chen, FD, Xie, XD: Influence of single feedback control variable on an autonomous Holling-II type cooperative system. J. Math. Anal. Appl. 435(1), 874-888 (2016)

31. 31.

Beddington, JR, May, RM: Harvesting natural populations in a randomly fluctuating environment. Science 197, 463-465 (1997)

32. 32.

Liu, M, Bai, C: Analysis of a stochastic tri-trophic food-chain model with harvesting. J. Math. Biol. 73, 597-625 (2016)

33. 33.

Liu, M, Bai, C: Optimal harvesting of a stochastic mutualism model with Levy jumps. Appl. Math. Comput. 276, 301-309 (2016)

Download references

## Acknowledgements

The authors are grateful to anonymous referees for their excellent suggestions, which greatly improve the presentation of the paper. The research was supported by the Natural Science Foundation of Fujian Province (2015J01012, 2015J01019, 2015J05006) and the Scientific Research Foundation of Fuzhou University (XRC-1438).

## Author information

Authors

### Corresponding author

Correspondence to Xiangdong Xie.

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## 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.

Reprints and Permissions 