Permanence and global attractivity of a discrete pollination mutualism in plant-pollinator system with feedback controls

Abstract

In this paper, we propose a discrete pollination mutualism in a plant-pollinator system with the Beddington-DeAngelis functional response and feedback controls. By applying the comparison theorem of a difference equation and constructing some suitable Lyapunov functions, sufficient conditions are obtained for the permanence and the extinction of the system. Moreover, under some suitable conditions, we show that the solution of the system is globally attractive. The paper ends by some numerical simulations and a brief discussion.

Introduction

In theoretical ecology, there are several famous functional responses in the ecosystem, which we refer to as Holling type-I, type-II, type-III, type-IV, Monod-Haldane type, and Hassel-Verley type functional response etc. Some authors studied the ecosystem with different types of functional responses. Beddington [1] and DeAngelis et al. [2] first proposed a predator dependent functional response (known as the B-D functional response). After that, a lot of scholars did work on the ecosystems with the Beddington-DeAngelis functional response. Chen and You [3] studied the permanence, extinction, and periodic solution of the periodic predator-prey system with a Beddington-DeAngelis functional response and stage structure for prey. Xiao [4] analyzed the existence and uniqueness of the positive equilibrium and its global asymptotic stability by using the qualitative methods of ordinary differential equation. In [5], the author focused on the uniform persistence, local stability, and global stability for a Beddington-DeAngelis type stage structures predator-prey model. Furthermore, Chen et al. [6] with the help of a fluctuation lemma obtained a set of new conditions on the global asymptotic stability of the boundary solution.

In the ecological system, we know that it is more appropriate to use a discrete dynamic model to describe these systems when the populations have a short life or non-overlapping generations. Recently, Wu [7, 8] studied the permanence and global stability of a discrete competition feedback-control system with a Beddington-DeAngelis functional response, moreover, she generalized it to n species,

$$ \begin{aligned} &x_{1}(t+1) = x_{1}(t)\exp \biggl\{ r_{1}(t)-a_{1}(t)x_{1}(t)- \frac{c_{1}(t)x_{2}(t)}{ 1+x_{1}(t)+n(t)x_{2}(t)} -b_{1}(t)u_{1}(t) \biggr\} , \\ &x_{2}(t+1) = x_{2}(t)\exp \biggl\{ r_{2}(t)-a_{2}(t)x_{2}(t)- \frac{c_{2}(t)x_{1}(t)}{ 1+x_{1}(t)+n(t)x_{2}(t)} -b_{2}(t)u_{2}(t) \biggr\} , \\ &\Delta u_{1}(t) = d_{1}(t)-p_{1}(t)u_{1}(t)+q_{1}(t)x_{1}(t), \\ &\Delta u_{2}(t) = d_{2}(t)-p_{2}(t)u_{2}(t)+q_{2}(t)x_{2}(t). \end{aligned} $$

(1.1)

Li et al. [9] proposed a discrete predator-prey systems with a Beddington-DeAngelis functional response and feedback controls as follows:

$$ \begin{aligned} &x(k+1) = x(k)\exp \biggl\{ a(k)-b(k)x(k)- \frac{c(k)y(k)}{ \alpha(k)+\beta(k)x(k)+\gamma(k)y(k)} -e_{1}(k)u_{1}(k) \biggr\} , \\ &y(k+1) = y(k)\exp \biggl\{ -d(k)+ \frac{f(k)x(k)}{ \alpha(k)+\beta(k)x(k)+\gamma(k)y(k)}-e_{2}(k)u_{2}(k) \biggr\} , \\ &\Delta u_{1}(k) = -\eta_{1}(k)u_{1}(k)+q_{1}(k)x(k), \\ &\Delta u_{2}(k) = -\eta_{2}(k)u_{2}(k)+q_{2}(k)y(k). \end{aligned} $$

(1.2)

By applying the comparison theorem of a difference equation, they obtained sufficient conditions to the permanence of the system.

Recently, Wang et al. [10] studied the interactions between pollinators, nectar robbers, defensive plants and non-defensive plants. Among them, the plant-pollinator system is described by a cooperative model with the Beddington-DeAngelis functional response,

$$ \begin{aligned} &\frac{dx}{dt} = x \biggl(r_{1}-d_{1}x+ \frac{\alpha _{12} y}{1+ax+by} \biggr), \\ &\frac{dy}{dt} = y \biggl(-r_{2}+ \frac{\alpha _{21}x}{1+ax+by} \biggr), \end{aligned} $$

(1.3)

where x and y denote population densities of non-defensive plants and pollinators, respectively. $r_{1}$ represents the intrinsic growth rate of the plants and $r_{1}/d_{1}$ is their carrying capacity in the absence of visitors. $r_{2}$ denotes the pollinators’ per capita mortality rate. Since the Beddington-DeAngelis functional response represents a positive effect of the pollinators on the plants, $\alpha_{12}$ can be regarded as the plants’ efficiency in translating the plant-pollinator interactions into fitness. Similarly, $\alpha _{21}$ represents the corresponding value for the pollinators. The authors analyzed the global stability of the positive equilibrium of the system.

On the other hand, as was pointed out by Huo and Li [11], ecosystems in the real world are continuously disrupted by unpredictable forces which can result in changes in the biological parameters. For having a more accurate description of such a system, scholars introduced the feedback control into the ecosystems. Moreover, discrete time models, governed by difference equations, are more appropriate than the continuous ones. The above phenomena motivated us to propose and study the discrete non-autonomous pollination mutualism in a plant-pollinator system with a Beddington-DeAngelis functional response and feedback controls as follows:

$$ \begin{aligned} &x_{1}(n+1) = x_{1}(n)\exp \biggl\{ r_{1}(n)-d_{1}(n)x_{1}(n)+ \frac {\alpha_{12}(n)x_{2}(n)}{ 1+a(n)x_{1}(n)+b(n)x_{2}(n)} -e_{1}(n)u_{1}(n) \biggr\} , \\ &x_{2}(n+1) = x_{2}(n)\exp \biggl\{ -r_{2}(n)+ \frac{\alpha_{21}(n)x_{1}(n)}{ 1+a(n)x_{1}(n)+b(n)x_{2}(n)} -e_{2}(n)u_{2}(n) \biggr\} , \\ &\Delta u_{1}(n) = -\eta_{1}(n)u_{1}(n)+q_{1}(n)x_{1}(n), \\ &\Delta u_{2}(n) = -\eta_{2}(n)u_{2}(n)+q_{2}(n)x_{2}(n), \end{aligned} $$

(1.4)

where $x_{i}(n)$ ($i=1,2$) is the density of $x_{i}$ species at the nth generation and $u_{i}(n)$ ($i=1,2$) is the feedback-control variable. The coefficients $r_{i}(n)$, $d_{1}(n)$, $a(n)$, $b(n)$, $\alpha _{ij}(n)$, $e_{i}(n)$, $\eta_{i}(n)$, $q_{i}(n)$ ($i,j=1,2$, $i\neq j$) are all bounded nonnegative sequences.

Throughout this paper, we use the following notations for any bounded sequence $\{f(n)\}$:

$$f^{u}=\sup_{n\in N}{f(n)}, \qquad f^{l}=\inf _{n\in N}{f(n)}, $$

and assume that $0<\eta^{l}_{i}\leq\eta^{u}_{i}<1$ ($i=1,2$).

According to the biological background of system (1.4), we only consider the solution of the system (1.4) with the following initial conditions:

$$x_{i}(0)>0; \qquad u_{i}(0)>0, \quad i=1,2. $$

It is easy to prove that the solution of the system (1.4) which satisfies the initial condition is positive.

We mention here that, as far as the system (1.4) is concerned, whether the system is to persist is a question that we need to solve. Furthermore whether the feedback-control variables have influence on the extinction and the stability of the system or not is an interesting problem. The aim of this paper is to solve the above questions.

The remainder of the paper is organized as follows: in Section 2, we introduce some useful lemmas and obtain the sufficient conditions to guarantee the permanence and the extinction of system (1.4). In Section 3, a set of sufficient conditions which ensure the stability of the system are obtained. In Section 4, we give some examples to illustrate our results, and we end this paper by a brief discussion.

Permanence

In this section, we establish a permanence result for system (1.4). First, let us state several lemmas which will be useful in proving the main results.

Now let us consider the first order difference equation

$$ y(n+1)=Ay(n)+B, \quad n=1,2,\ldots, $$

(2.1)

where A and B are positive constants.

Lemma 2.1

[12]

Assume that $|A|<1$, for any initial value $y(0)$, there exists a unique solution $y(n)$ of (2.1) which can be expressed as follows:

$$ y(n)=A^{n}\bigl(y(0)-y^{\ast}\bigr)+y^{\ast}, $$

(2.2)

where $y^{\ast}=B/(1-A)$. Thus, for any solution $y(n)$ of system (2.1),

$$ \lim_{n\rightarrow+\infty} y(n)=y^{\ast}. $$

(2.3)

Lemma 2.2

[12]

Let $n\in N^{+}_{n_{0}}=\{n_{0}, n_{0}+1,\ldots,n_{0}+l,\ldots\}$, $r\geq0$. For any fixed n, $g(n,r)$ is a nondecreasing function with respect to r, and for $n\geq n_{0}$, the following inequalities hold:

$$ y(n+1)\leq g\bigl(n,y(n)\bigr), \qquad u(n+1)\geq g\bigl(n,u(n) \bigr). $$

(2.4)

If $y(n_{0})\leq u(n_{0})$, then $y(n)\leq u(n)$ for all $n\geq n_{0}$.

Now let us consider the following single species discrete model:

$$ N(n+1)=N(n)\exp\bigl(a(n)-b(n)N(n)\bigr), $$

(2.5)

where $a(n)$ and $b(n)$ are strictly positive sequences of real numbers defined for $n\in N=\{0,1,2,\ldots\}$ and $0< a^{l}\leq a^{u}$, $0< b^{l}\leq b^{u}$. We have the following lemma.

Lemma 2.3

Any solution of system (2.5) with initial condition $N(0)>0$ satisfies

$$ m\leq \liminf_{n\rightarrow+\infty}N(n)\leq \limsup_{n\rightarrow+\infty}N(n) \leq M, $$

(2.6)

where

$$ M=\frac{1}{b^{l}}\exp\bigl(a^{u}-1\bigr), \qquad m= \frac{a^{l}}{b^{u}}\exp\bigl(a^{l}-b^{u}M\bigr). $$

(2.7)

Lemma 2.4

[13]

Let $x(n)$ and $b(n)$ be nonnegative sequences defined on N and $c\geq0$ is a constant. If

$$ x(n)\leq c+ \sum^{n-1}_{s=0}b(s)x(s), \quad \textit{for } n\in N, $$

(2.8)

then

$$ x(n)\leq c \prod^{n-1}_{s=0}\bigl[1+b(s) \bigr],\quad \textit{for } n\in N. $$

(2.9)

Lemma 2.5

[14]

Assume that $A>0$ and $y(0)>0$, and further suppose that

$$y(n+1)\leq Ay(n)+B(n), \quad n=1,2,\ldots. $$

Then, for any integer $k\leq n$,

$$y(n)\leq A^{k}y(n-k)+ \sum^{k-1}_{i=0}A^{i}B(n-i-1). $$

Proposition 2.6

Assume that

$$ -r^{l}_{2}+\frac{\alpha^{u}_{21}}{a^{l}}>0 $$

(2.10)

holds, then

$$\limsup_{n\rightarrow+\infty}x_{i}(n)\leq M_{i},\qquad \limsup_{n\rightarrow+\infty}u_{i}(n)\leq W_{i}, \quad i=1,2, $$

where

$$\begin{aligned}& M_{1}= \frac{1}{d^{l}_{1}}\exp\biggl\{ r^{u}_{1}+ \frac{\alpha^{u}_{12}}{b^{l}}-1\biggr\} , \\& M_{2}=\exp\biggl\{ 2\biggl(-r^{l}_{2}+ \frac{\alpha^{u}_{21}}{a^{l}}\biggr)\biggr\} , \\& W_{i}= \frac{r^{u}_{i}M_{i}}{\eta^{l}_{i}}\quad (i=1,2). \end{aligned}$$

Proof

Let $(x_{1}(n), x_{2}(n),u_{1}(n),u_{2}(n))$ be any positive solution of system (1.4), it follows from the first equation of system (1.4) that

$$x_{1}(n+1)\leq x_{1}(n)\exp \biggl\{ r_{1}(n)-d_{1}(n)x_{1}(n)+ \frac {\alpha_{12}(n)}{ b(n)} \biggr\} . $$

By applying Lemmas 2.2 and 2.3, we have

$$ \limsup_{n\rightarrow+\infty}x_{1}(n)\leq \frac {1}{d^{l}_{1}}\exp \biggl\{ r^{u}_{1}+ \frac{\alpha^{u}_{12}}{b^{l}}-1\biggr\} \stackrel{ \mathrm {def}}{=}M_{1}. $$

(2.11)

Let $x_{2}(n)=\exp\{v(n)\}$, then

$$\begin{aligned} v(n+1) \leq&v(n)+ \biggl(-r^{l}_{2}+ \frac{\alpha ^{u}_{21}}{a^{l}} \biggr) \\ =& \sum^{n}_{s=0}c(s)v(s)+ \biggl(-r^{l}_{2}+ \frac {\alpha^{u}_{21}}{a^{l}} \biggr), \end{aligned}$$

(2.12)

where

$$c(s)=\left \{ \textstyle\begin{array}{l@{\quad}l} 0,&0\leq s \leq n-1, \\ 1,&s=n. \end{array}\displaystyle \right . $$

Condition (2.10) shows that Lemma 2.4 could be applied to (2.12), it immediately follows that

$$v(n+1)\leq2\biggl(-r^{l}_{2}+ \frac{\alpha^{u}_{21}}{a^{l}}\biggr). $$

This is

$$ \limsup_{n\rightarrow+\infty}x_{2}(n)\leq\exp \biggl\{ 2 \biggl(-r^{l}_{2}+ \frac{\alpha^{u}_{21}}{a^{l}}\biggr) \biggr\} \stackrel{\mathrm {def}}{=}M_{2}. $$

(2.13)

For any small enough positive constant ε, it follows from (2.11) and (2.13) that there exists a large enough $N_{0}$ such that

$$ x_{i}(n)\leq M_{i\varepsilon}, \quad \forall n\geq N_{0}, i=1,2. $$

(2.14)

From the third and fourth equations of the system (1.4) and (2.14), we can obtain

$$\begin{aligned}& u_{1}(n+1) \leq \bigl(1-\eta^{l}_{1} \bigr)u_{1}(n)+q^{u}_{1}M_{1\varepsilon}, \\& u_{2}(n+1) \leq \bigl(1-\eta^{l}_{2} \bigr)u_{1}(n)+q^{u}_{2}M_{2\varepsilon}. \end{aligned}$$

By applying Lemmas 2.1 and 2.2, it immediately follows that

$$\begin{aligned}& \limsup_{n\rightarrow+\infty}u_{1}(n) \leq \frac{q^{u}_{1}M_{1\varepsilon}}{\eta^{l}_{1}}, \\& \limsup_{n\rightarrow+\infty}u_{2}(n) \leq \frac{q^{u}_{2}M_{2\varepsilon}}{\eta^{l}_{2}}. \end{aligned}$$

Setting $\varepsilon\rightarrow0$ in the above inequalities leads to

$$\begin{aligned}& \limsup_{n\rightarrow+\infty}u_{1}(n) \leq \frac{q^{u}_{1}M_{1}}{\eta^{l}_{1}} \stackrel{\mathrm{def}}{=}W_{1}, \\& \limsup_{n\rightarrow+\infty}u_{2}(n) \leq \frac{q^{u}_{2}M_{2}}{\eta^{l}_{2}} \stackrel{\mathrm{def}}{=}W_{2}. \end{aligned}$$

This completes the proof of Proposition 2.6. □

Theorem 2.7

In addition to (2.10), assume further that

$$ -r^{u}_{2}+ \frac{\alpha^{l}_{21}m_{1}}{1+a^{u}m_{1}}-e^{u}_{1}W_{2}>0, $$

(2.15)

then the system (1.4) is permanent.

Proof

By applying Proposition 2.6, it is easy to see that, to end the proof of Theorem 2.7, it is enough to show that under the conditions of Theorem 2.7,

$$\liminf_{n\rightarrow+\infty}x_{i}(n)\geq m_{i},\qquad \liminf_{n\rightarrow+\infty}u_{i}(n)\geq w_{i}, \quad i=1,2. $$

From Proposition 2.6, we know that for the above ε, there exists a $N_{1}>N_{0}$ such that

$$ x_{i}(n)\leq M_{i\varepsilon}, \qquad u_{i}(n)\leq W_{i\varepsilon}, \quad i=1,2 \mbox{ for all } n>N_{1}. $$

(2.16)

From the first equation of system (1.4) and (2.16), we have

$$\begin{aligned} x_{1}(n+1) \geq& x_{1}(n)\exp\bigl\{ r^{l}_{1}-d^{u}_{1} M_{1\varepsilon }-e^{u}_{1}W_{1\varepsilon}\bigr\} \\ \geq& x_{1}(n)\exp\bigl\{ -d^{u}_{1} M_{1\varepsilon}-e^{u}_{1}W_{1\varepsilon}\bigr\} \\ \stackrel{\mathrm{def}}{=}& x_{1}(n)\exp\{D_{\varepsilon}\} \end{aligned}$$

for all $n>N_{1}$, where $D_{\varepsilon}=-d^{u}_{1} M_{1\varepsilon }-e^{u}_{1}W_{1\varepsilon}$. So for $n\geq k$ we have

$$x_{1}(n-k)\leq x_{1}(n)\exp\{-D_{\varepsilon}k\}. $$

From the third equation of system (1.4), we have

$$\begin{aligned} u_{1}(n+1) \leq&\bigl(1-\eta^{l}_{1}\bigr) u_{1}(n)+ q^{u}_{1}x_{1}(n) \\ \stackrel{\mathrm{def}}{=}& Au_{1}(n)+B(n), \end{aligned}$$

where $A=1-\eta^{l}_{1}$, $B=q^{u}_{1}x_{1}(n)$. Then Lemma 2.5 implies that, for any $n\geq k$,

$$\begin{aligned} u_{1}(n) \leq& A^{k}u_{1}(n-k)+ \sum ^{k-1}_{i=0}A^{i}B(n-i-1) \\ =&A^{k}u_{1}(n-k)+ \sum^{k-1}_{i=0}A^{i}q^{u}_{1}x_{1}(n-i-1) \\ \leq& A^{k}u_{1}(n-k)+q^{u}_{1}x_{1}(n) \sum^{k-1}_{i=0}A^{i}\exp\bigl\{ -D_{\varepsilon}(i+1)\bigr\} . \end{aligned}$$

Note that

$$0\leq A^{k}u_{1}(n-k)\leq A^{k}W_{1\varepsilon} \rightarrow0,\quad k\rightarrow+\infty. $$

We can choose $N_{2}=\max\{N_{1}, \frac{\ln P_{1}}{\ln{A}} \}+1$, where $P_{1}= \frac{r^{u}_{1}}{e^{u}_{1}W_{1\varepsilon}}$. As $n>N_{2}$, we have $r^{l}_{1}-e^{u}_{1}A^{N_{2}}W_{1\varepsilon}>0$, then we get

$$\begin{aligned} u_{1}(n) \leq& A^{N_{2}}u_{1}(n-N_{2})+q^{u}_{1}x_{1}(n) \sum^{N_{2}-1}_{i=0}A^{i}\exp\bigl\{ -D_{\varepsilon}(i+1)\bigr\} \\ \leq& A^{N_{2}}W_{1\varepsilon}+q^{u}_{1}x_{1}(n) \sum^{N_{2}-1}_{i=0}A^{i}\exp\bigl\{ -D_{\varepsilon}(i+1)\bigr\} \\ \stackrel{\mathrm{def}}{=}&A^{N_{2}}W_{1\varepsilon}+G_{\varepsilon}x_{1}(n), \end{aligned}$$

where $G_{\varepsilon}=q^{u}_{1} \sum^{N_{2}-1}_{i=0}A^{i}\exp\{ -D_{\varepsilon}(i+1)\}$.

Considering the first equation of system (1.4), we have

$$\begin{aligned} x_{1}(n+1) \geq& x_{1}(n)\exp\bigl\{ r^{l}_{1}-d^{u}_{1}x_{1}(n)-e^{u}_{1}u_{1}(n) \bigr\} \\ \geq& x_{1}(n)\exp\bigl\{ r^{l}_{1}-e^{u}_{1} \bigl(A^{N_{2}}W_{1\varepsilon }+G_{\varepsilon}x_{1}(n) \bigr)- d^{u}_{1}x_{1}(n)\bigr\} \\ =& x_{1}(n)\exp\bigl\{ r^{l}_{1}-e^{u}_{1} A^{N_{2}}W_{1\varepsilon}- \bigl(e^{u}_{1}G_{\varepsilon}+d^{u}_{1} \bigr)x_{1}(n)\bigr\} \\ \stackrel{\mathrm{def}}{=}&x_{1}(n)\exp\bigl\{ E_{1\varepsilon}- E_{2\varepsilon}x_{1}(n)\bigr\} , \end{aligned}$$

where $E_{1\varepsilon}=r^{l}_{1}-e^{u}_{1} A^{N_{2}}W_{1\varepsilon}$, $E_{2\varepsilon}=e^{u}_{1}G_{\varepsilon}+d^{u}_{1}$.

By applying Lemmas 2.2 and 2.3, it immediately follows that

$$ \liminf_{n\rightarrow+\infty}x_{1}(n)\geq \frac{E_{1\varepsilon}}{E_{2\varepsilon}} \exp \{E_{1\varepsilon}-E_{2\varepsilon}M_{1}\}. $$

(2.17)

Setting $\varepsilon\rightarrow0$ in (2.17) leads to

$$ \liminf_{n\rightarrow+\infty}x_{1}(n)\geq \frac{E_{1}}{E_{2}} \exp \{E_{1}-E_{2}M_{1}\}\stackrel{\mathrm{def}}{=}m_{1}. $$

(2.18)

Then we assume that $\varepsilon<\frac{1}{2}m_{1}$, from (2.18) we know that there exists a large enough $N_{2}>N_{1}$ such that

$$ x_{1}(n)\geq m_{1\varepsilon}, \quad \forall n\geq T_{2}. $$

(2.19)

From the second equation of system (1.4), (2.16), and (2.19), we have

$$\begin{aligned} x_{2}(n+1) =&x_{2}(n)\exp \biggl\{ -r_{2}(n)+ \frac{\alpha_{21}(n)}{a(n)}- \frac{\alpha_{21}(n)}{a(n)} \\ &{}\times \biggl( \frac{1+b(n)x_{2}(n)}{ 1+a(n)x_{1}(n)+b(n)x_{2}(n)} \biggr) -e_{2}(n)u_{2}(n) \biggr\} \\ \geq& x_{2}(n)\exp \biggl\{ -r_{2}(n)+ \frac{\alpha_{21}(n)}{a(n)}- \frac{\alpha_{21}(n)}{a(n) (1+a(n)m_{1\varepsilon} )} \\ &{} -e_{2}(n)W_{2\varepsilon}- \frac{\alpha_{21}(n)b(n)}{ a(n) (1+a(n)m_{1\varepsilon} )}x_{2}(n) \biggr\} \\ =& x_{2}(n)\exp \biggl\{ -r_{2}(n)+ \frac{\alpha _{21}(n)m_{1\varepsilon}}{ 1+a(n)m_{1\varepsilon}}-e_{2}(n)W_{2\varepsilon} \\ &{}- \frac{\alpha_{21}(n)b(n)}{ a(n) (1+a(n)m_{1\varepsilon} )}x_{2}(n) \biggr\} \end{aligned}$$

(2.20)

for all $n>N_{2}$.

By applying Lemmas 2.2 and 2.3, it immediately follows that

$$\begin{aligned} \liminf_{n\rightarrow+\infty}x_{2}(n) \geq& \frac{ [ ( \frac{\alpha ^{l}_{21}m_{1\varepsilon}}{1+a^{u}m_{1\varepsilon}} )-r^{u}_{2}-e^{u}_{2}W_{2\varepsilon} ] (a^{l}(1+a^{l}m_{1\varepsilon}) )}{\alpha^{u}_{21}b^{u}} \\ &{}\times \exp \biggl\{ \frac{\alpha^{l}_{21}m_{1\varepsilon}}{ 1+a^{u}m_{1\varepsilon}}-r^{u}_{2}-e^{u}_{2}W_{2\varepsilon}- \frac{\alpha^{u}_{21}b^{u}}{ a^{l}(1+a^{l}m_{1\varepsilon})}M_{2} \biggr\} . \end{aligned}$$

Setting $\varepsilon\rightarrow0$, we have

$$\begin{aligned} \liminf_{n\rightarrow+\infty}x_{2}(n) \geq& \frac{ [ ( \frac{\alpha^{l}_{21}m_{1}}{1+a^{u}m_{1}} )-r^{u}_{2}-e^{u}_{2}W_{2} ] (a^{l}(1+a^{l}m_{1}))}{\alpha^{u}_{21}b^{u}} \\ &{}\times \exp \biggl\{ \frac{\alpha^{l}_{21}m_{1}}{ 1+a^{u}m_{1}}-r^{u}_{2}-e^{u}_{2}W_{2}- \frac{\alpha^{u}_{21}b^{u}}{ a^{l}(1+a^{l}m_{1})}M_{2} \biggr\} \stackrel{\mathrm{def}}{=}m_{2}. \end{aligned}$$

(2.21)

Without loss of generality, we may assume that $\varepsilon<(1/2)\min\{ m_{1},m_{2}\}$. It follows from (2.18) and (2.21) that there exists a large enough $N_{3}>N_{2}$, such that

$$ x_{i}\geq m_{i\varepsilon}, \quad i=1,2, \forall n\geq N_{3}. $$

(2.22)

From the third and fourth equations of the system (1.4) and (2.22), we have

$$\begin{aligned}& u_{1}(n+1) \geq \bigl(1-\eta^{u}_{1} \bigr)u_{1}(n)+q^{l}_{1}m_{1\varepsilon}, \\& u_{2}(n+1) \geq \bigl(1-\eta^{u}_{2} \bigr)u_{1}(n)+q^{l}_{2}m_{2\varepsilon}. \end{aligned}$$

By applying Lemmas 2.1 and 2.2, it immediately follows that

$$\begin{aligned}& \liminf_{n\rightarrow+\infty}u_{1}(n) \geq \frac{q^{l}_{1}m_{1\varepsilon}}{\eta^{u}_{1}}, \\& \liminf_{n\rightarrow+\infty}u_{2}(n) \geq \frac{q^{l}_{2}m_{2\varepsilon}}{\eta^{u}_{2}}. \end{aligned}$$

Setting $\varepsilon\rightarrow0$ in the above inequalities leads to

$$\begin{aligned}& \liminf_{n\rightarrow+\infty}u_{1}(n) \geq \frac{q^{l}_{1}m_{1}}{\eta^{u}_{1}} \stackrel{\mathrm{def}}{=}w_{1}, \\& \liminf_{n\rightarrow+\infty}u_{2}(n) \geq \frac{q^{l}_{2}m_{2}}{\eta^{u}_{2}} \stackrel{\mathrm{def}}{=}w_{2}. \end{aligned}$$

This completes the proof. □

Theorem 2.8

Assume that the inequality

$$ r^{l}_{2}> \frac{\alpha^{u}_{21}}{a^{l}} $$

(2.23)

holds. Let $(x_{1}(n), x_{2}(n),u_{1}(n),u_{2}(n))$ be any positive solution of system (1.4), then $x_{2}(n)\rightarrow0$, $u_{2}(n)\rightarrow0$ as $n\rightarrow+\infty$.

Proof

Equation (2.23) is equivalent to the following inequality:

$$ -r^{l}_{2}+ \frac{\alpha^{u}_{21}}{a^{l}}< 0. $$

(2.24)

From (2.24), there exists a $\delta>0$ such that

$$ -r^{l}_{2}+ \frac{\alpha^{u}_{21}}{a^{l}}< -\delta< 0. $$

(2.25)

Let $(x_{1}(n), x_{2}(n),u_{1}(n),u_{2}(n))$ be any positive solution of system (1.4). For any $q\in N$, according to the second equation of system (1.4), we obtain

$$\begin{aligned} \ln \frac{x_{2}(q+1)}{x_{2}(q)} =&-r_{2}(q)+ \frac{\alpha_{21}(q)x_{1}(q)}{ 1+a(q)x_{1}(q)+b(q)x_{2}(q)}-e_{2}(q)u_{2}(q) \\ \leq&r_{2}(q)+ \frac{\alpha_{21}(q)x_{1}(q)}{ 1+a(q)x_{1}(q)+b(q)x_{2}(q)} \\ \leq& -r^{l}_{2}+ \frac{\alpha^{u}_{21}}{a^{l}}< -\delta< 0. \end{aligned}$$

Summating both sides of the above inequalities from 0 to $n-1$, we obtain

$$ \ln \frac{x_{2}(n)}{x_{2}(0)}< -\delta n, $$

(2.26)

then

$$ x_{2}(n)< x_{2}(0)\exp\{-\delta n\}. $$

(2.27)

From (2.27), $x_{2}(n)\rightarrow0$ as $n\rightarrow+\infty$.

Further, consider the fourth equation of system (1.4). Applying Lemma 2.3 in [15], we easily obtain $u_{2}(n)\rightarrow0$ as $n\rightarrow+\infty$. This completes the proof of Theorem 2.8. □

Theorem 2.9

Assume that (2.23) holds, and further assume that

$$ \begin{aligned} &\eta^{l}_{1}>e^{u}_{1}, \\ &\min \biggl[d^{l}_{1}, \frac{2}{M_{1}}-d^{u}_{1} \biggr]>q^{u}_{1}, \end{aligned} $$

(2.28)

then, for any two positive solutions $(x_{1}(n),x_{2}(n),u_{1}(n),u_{2}(n))$ and $(x^{\ast}_{1}(n),x^{\ast}_{2}(n), u^{\ast}_{1}(n),u^{\ast}_{2}(n))$ of the system, we have

$$\lim_{n\rightarrow+\infty}\bigl(x_{1}(n)-x^{\ast}_{1}(n) \bigr)=0,\qquad \lim_{n\rightarrow+\infty}\bigl(u_{1}(n)-u^{\ast}_{1}(n) \bigr)=0. $$

Proof

By conditions (2.28), there exist a positive constant ε and δ such that

$$ \begin{aligned} &\eta^{l}_{1}-e^{u}_{1}> \delta, \\ &\min \biggl[d^{l}_{1}, \frac{2}{M_{1\varepsilon}}-d^{u}_{1} \biggr]-q^{u}_{1}>\delta. \end{aligned} $$

(2.29)

From Theorems 2.7 and 2.8, for the above ε, there exists $N_{4}>N_{3}$ such that

$$m_{i\varepsilon} \leq x_{1}(n), \qquad x^{\ast}_{1}(n) \leq M_{i\varepsilon},\qquad x_{2}(n)\leq\varepsilon. $$

Using the mean value theorem, one has

$$ \ln x_{1}(n)-\ln x^{\ast}_{1}(n)= \frac{1}{\theta(n)}\bigl(x_{1}(n)- x^{\ast}_{1}(n) \bigr), $$

(2.30)

where $\theta(n)$ is between $x_{1}(n)$ and $x^{\ast}_{1}(n)$.

Now we define

$$V_{1}(n)=\bigl\vert \ln x_{1}(n)-\ln x^{\ast}_{1}(n)\bigr\vert ,\qquad V_{2}(n)=\bigl\vert u_{1}(n)-u^{\ast}_{1}(n)\bigr\vert . $$

From the first equation of the system, we have

$$\begin{aligned} \Delta V_{1}(n) =&\bigl\vert \ln x_{1}(n+1)-\ln x^{\ast}_{1}(n+1)\bigr\vert -\bigl\vert \ln x_{1}(n)-\ln x^{\ast}_{1}(n)\bigr\vert \\ \leq& \bigl\vert \ln x_{1}(n)-\ln x^{\ast}_{1}(n)-d_{1}(n) \bigl(x_{1}(n)-x^{\ast}_{1}(n)\bigr) \bigr\vert \\ &{}- \bigl\vert \ln x_{1}(n)-\ln x^{\ast}_{1}(n)\bigr\vert +\alpha_{12}(n) \biggl\vert \frac{x_{2}(n)}{1+a(n)x_{1}(n)+b(n)x_{2}(n)} \\ &{}- \frac{x^{\ast}_{2}(n)}{1+a(n)x^{\ast}_{1}(n)+b(n)x^{\ast}_{2}(n)}\biggr\vert + e_{1}(n)\bigl\vert u_{1}(n)-u^{\ast}_{1}(n)\bigr\vert \\ \leq& -\biggl( \frac{1}{\theta(n)}- \biggl\vert \frac{1}{\theta(n)}-d_{1}(n) \biggr\vert \biggr)\bigl\vert x_{1}(n)-x^{\ast}_{1}(n) \bigr\vert \\ &{}+e^{u}_{1}\bigl\vert u_{1}(n)-u^{\ast}_{1}(n) \bigr\vert +\alpha^{u}_{12} \frac{x_{2}(n)+x^{\ast}_{2}(n)}{1+a^{l}m_{1\varepsilon} +b^{l}\varepsilon}. \end{aligned}$$

(2.31)

From the third equation of the system, we have

$$\begin{aligned} \Delta V_{2}(n) =&\bigl\vert u_{1}(n+1)-u^{\ast}_{1}(n+1) \bigr\vert -\bigl\vert u_{1}(n)-u^{\ast}_{1}(n) \bigr\vert \\ \leq& -\eta^{l}_{1}\bigl\vert u_{1}(n)-u^{\ast}_{1}(n) \bigr\vert +q^{u}_{1}\bigl\vert x_{1}(n)-x^{\ast}_{1}(n) \bigr\vert . \end{aligned}$$

(2.32)

Now we define a Lyapunov function as follows:

$$V(n)=V_{1}(n)+V_{2}(n). $$

From (2.31) and (2.32), we have

$$\begin{aligned} \Delta V(n) \leq&-\biggl\{ \min\biggl[d^{l}_{1}, \frac{2}{M_{1\varepsilon}}-d^{u}_{1}\biggr] -q^{u}_{1} \biggr\} \bigl\vert x_{1}(n)-x^{\ast}_{1}(n)\bigr\vert -\bigl\{ \eta^{l}_{1}-e^{u}_{1} \bigr\} \\ &{}\times\bigl\vert u_{1}(n)-u^{\ast}_{1}(n) \bigr\vert +\alpha^{u}_{12} \frac{x_{2}(n)+x^{\ast}_{2}(n)}{1+a^{l}m_{1\varepsilon} +b^{l}\varepsilon} \\ \leq& -\delta\bigl(\bigl\vert x_{1}(n)-x^{\ast}_{1}(n) \bigr\vert +\bigl\vert u_{1}(n)-u^{\ast}_{1}(n) \bigr\vert \bigr)+\alpha^{u}_{12} \frac{x_{2}(n)+x^{\ast}_{2}(n)}{1+a^{l}m_{1\varepsilon} +b^{l}\varepsilon}. \end{aligned}$$

Summating both sides of the above inequalities from $N_{4}$ to n, we have

$$\begin{aligned} \sum^{n}_{p=N_{4}}\bigl(V(p+1)-V(p)\bigr) \leq& -\delta \sum^{n}_{p=N_{4}} \bigl(\bigl\vert x_{1}(n)-x^{\ast}_{1}(n)\bigr\vert +\bigl\vert u_{1}(n)-u^{\ast}_{1}(n)\bigr\vert \bigr) \\ &{} + \frac{\alpha^{u}_{12}}{1+a^{l}m_{1\varepsilon} +b^{l}\varepsilon} \sum^{n}_{p=N_{4}} \bigl(x_{2}(n)+x^{\ast}_{2}(n)\bigr). \end{aligned}$$

Hence

$$\begin{aligned}& V(n+1)+\delta \sum^{n}_{p=N_{4}} \bigl(\bigl\vert x_{1}(n)-x^{\ast}_{1}(n)\bigr\vert +\bigl\vert u_{1}(n)-u^{\ast}_{1}(n)\bigr\vert \bigr) \\& \quad \leq V(N_{4}) + \frac{\alpha^{u}_{12}}{1+a^{l}m_{1\varepsilon} +b^{l}\varepsilon} \sum ^{n}_{p=N_{4}}\bigl(x_{2}(n)+x^{\ast}_{2}(n) \bigr). \end{aligned}$$

From Theorem 2.8, we have $\sum^{+\infty }_{n=0}x_{2}(n)<+\infty$ and $\sum^{+\infty}_{n=0}x^{\ast}_{2}(n)<+\infty$. We notice that $V(N_{4})$ is bounded. So from the above inequalities, we have

$$\sum^{n}_{p=N_{4}} \bigl(\bigl\vert x_{1}(n)-x^{\ast}_{1}(n)\bigr\vert +\bigl\vert u_{1}(n)-u^{\ast}_{1}(n)\bigr\vert \bigr)\leq+ \infty. $$

Therefore

$$\sum^{+\infty}_{p=N_{4}} \bigl(\bigl\vert x_{1}(n)-x^{\ast}_{1}(n)\bigr\vert +\bigl\vert u_{1}(n)-u^{\ast}_{1}(n)\bigr\vert \bigr)\leq+ \infty. $$

This means that

$$\lim_{n\rightarrow+\infty} \bigl(\bigl\vert x_{1}(n)-x^{\ast}_{1}(n) \bigr\vert +\bigl\vert u_{1}(n)-u^{\ast}_{1}(n) \bigr\vert \bigr)=0. $$

Consequently

$$\begin{aligned}& \lim_{n\rightarrow+\infty}\bigl(x_{1}(n)-x^{\ast}_{1}(n) \bigr)=0, \\& \lim_{n\rightarrow+\infty}\bigl(u_{1}(n)-u^{\ast}_{1}(n) \bigr)=0. \end{aligned}$$

This completes the proof of Theorem 2.9. □

Global attractivity

In this section, we will consider the stability of the system (1.4).

Theorem 3.1

In addition to the conditions of Theorem  2.7, assume that the following condition holds:

$$ \left \{ \textstyle\begin{array}{l} \chi_{1}=\max \{ |1-d^{l}_{1}m_{1}- \frac{a^{l}\alpha^{l}_{12}m_{1}m_{2}}{\Delta(n,M_{1},m_{2})} |, |1-d^{u}_{1}M _{1}- \frac{a^{u}\alpha^{u}_{12}M_{1}M_{2}}{\Delta(n,m_{1},M_{2})} | \} \\ \hphantom{\chi_{1}={}}{}+\alpha^{u}_{12} [ \frac{M_{2}}{\Delta(n,m_{1},m_{2})} + \frac{a^{u}M_{1}M_{2}}{\Delta(n,M_{1},m_{2})} ]+e^{u}_{1}< 1, \\ \chi_{2}=\max \{ |1- \frac{b^{l}\alpha^{l}_{21}m_{1}m_{2}}{\Delta(n,m_{1},M_{2})} |, |1- \frac{b^{u}\alpha^{u}_{21}M_{1}M_{2}}{\Delta(n,M_{1},m_{2})} | \} \\ \hphantom{\chi_{2}={}}{}+\alpha^{u}_{21} [ \frac{M_{1}}{\Delta(n,m_{1},m_{2})} + \frac{b^{u}M_{1}M_{2}}{\Delta(n,m_{1},M_{2})} ] +e^{u}_{2}< 1, \\ \chi_{3}=1-\eta^{l}_{1}+q^{u}_{1}M_{1}< 1, \\ \chi_{4}=1-\eta^{l}_{2}+q^{u}_{2}M_{2}< 1, \end{array}\displaystyle \right . $$

(3.1)

where $m_{i}$, $M_{i}$, $i=1,2$, are defined as before and

$$\Delta\bigl(n,x_{1}(n),x_{2}(n)\bigr)= \bigl[1+a(n)x_{1}(n)+b(n)x_{2}(n)\bigr] \bigl[1+a(n)x^{\ast}_{1}(n)+b(n)x^{\ast}_{2}(n) \bigr], $$

then the solution $(x_{1}(n),x_{2}(n),u_{1}(n),u_{2}(n))$ of the system (1.4) is globally attractive.

Proof

Let $(x_{1}(n),x_{2}(n),u_{1}(n),u_{2}(n))$ and $(x^{\ast}_{1}(n),x^{\ast}_{2}(n),u^{\ast}_{1}(n),u^{\ast}_{2}(n))$ be any two positive solutions of the system (1.4), let

$$W_{i}(n)=\bigl\vert \ln x_{i}(n)-\ln x^{\ast}_{i}(n) \bigr\vert , \qquad V_{i}(n)=\bigl\vert u_{i}(n)-u^{\ast}_{i}(n) \bigr\vert ,\quad i=1,2. $$

So from the first equation of the system, we have

$$\begin{aligned} W_{1}(n+1) =&\operatorname{sgn}\bigl(x_{1}(n)-x^{\ast}_{1}(n) \bigr) \biggl\{ \ln x_{1}(n)+r_{1}(n)-d_{1}(n)x_{1}(n) \\ &{} + \frac{\alpha_{12}(n)x_{2}(n)}{ 1+a(n)x_{1}(n)+b(n)x_{2}(n)}-e_{1}(n)u_{1}(n)-\ln x^{\ast}_{1}(n) \\ &{} -\biggl[r_{1}(n)-d_{1}(n)x^{\ast}_{1}(n) + \frac{\alpha_{12}(n)x^{\ast}_{2}(n)}{ 1+a(n)x^{\ast}_{1}(n)+b(n)x^{\ast}_{2}(n)} -e_{1}(n)u^{\ast}_{1}(n) \biggr] \biggr\} \\ \leq& \bigl\vert \bigl(\ln x_{1}(n)-\ln x^{\ast}_{1}(n) \bigr)-d_{1}(n) \bigl(x_{1}(n)-x^{\ast}_{1}(n) \bigr)\bigr\vert +e^{u}_{1}V_{1}(n) \\ &{}+\alpha^{u}_{12}\operatorname{sgn}\bigl(x_{1}(n)-x^{\ast}_{1}(n) \bigr) \times \biggl\{ \frac{x_{2}(n)}{ 1+a(n)x_{1}(n)+b(n)x_{2}(n)} \\ &{}- \frac{x^{\ast}_{2}(n)}{ 1+a(n)x^{\ast}_{1}(n)+b(n)x^{\ast}_{2}(n)} \biggr\} . \end{aligned}$$

(3.2)

In a similar way, we get

$$\begin{aligned} W_{2}(n+1) \leq& \bigl\vert \ln x_{2}(n)-\ln x^{\ast}_{2}(n)\bigr\vert +e^{u}_{2}V_{2}(n)+ \alpha ^{u}_{21}\operatorname{sgn}\bigl(x_{2}(n)-x^{\ast}_{2}(n) \bigr) \\ &{}\times \biggl\{ \frac{x_{1}(n)}{ 1+a(n)x_{1}(n)+b(n)x_{2}(n)}- \frac{x^{\ast}_{1}(n)}{ 1+a(n)x^{\ast}_{1}(n)+b(n)x^{\ast}_{2}(n)} \biggr\} . \end{aligned}$$

(3.3)

Also, one has

$$ \begin{aligned} &V_{1}(n+1)\leq\bigl(1-\eta^{l}_{1} \bigr)V_{1}(n)+q^{u}_{1}\bigl\vert x_{1}(n)-x^{\ast}_{1}(n)\bigr\vert , \\ &V_{2}(n+1)\leq\bigl(1-\eta^{l}_{2} \bigr)V_{1}(n)+q^{u}_{2}\bigl\vert x_{2}(n)-x^{\ast}_{2}(n)\bigr\vert . \end{aligned} $$

(3.4)

We have

$$\begin{aligned} \bigl\vert x_{i}(n)- x^{\ast}_{i}(n)\bigr\vert =&\bigl\vert \exp\bigl(\ln x_{i}(n)\bigr)-\exp\bigl(\ln x^{\ast}_{i}(n)\bigr)\bigr\vert \\ =&\exp\bigl(\xi_{i}(n)\bigr)\bigl\vert \ln x_{i}(n)-\ln x^{\ast}_{i}(n)\bigr\vert \\ =&\exp\bigl(\xi_{i}(n)\bigr)W_{i}, \quad i=1,2, \end{aligned}$$

where $\xi_{i}(n)$ between $\ln x_{i}(n)$ and $\ln x^{\ast}_{i}(n)$.

As follows from the above equation, we have

$$ \begin{aligned} &W_{1}(n+1) \leq \bigl\vert \bigl(\ln x_{1}(n)-\ln x^{\ast}_{1}(n)\bigr)-d_{1}(n) \bigl(x_{1}(n)-x^{\ast}_{1}(n)\bigr)\bigr\vert +e^{u}_{1}V_{1}(n) \\ &\hphantom{W_{1}(n+1) \leq{}}{}+\alpha^{u}_{12} \frac{\vert x_{2}(n)-x^{\ast}_{2}(n)\vert }{ \Delta(n,x_{1}(n),x_{2}(n))}+a^{u} \alpha^{u}_{12}x^{\ast}_{1}(n) \frac{\vert x_{2}(n)-x^{\ast}_{2}(n)\vert }{ \Delta(n,x_{1}(n),x_{2}(n))} \\ &\hphantom{W_{1}(n+1) \leq{}}{}-a(n)\alpha_{12}(n)x^{\ast}_{2}(n) \frac{\vert x_{1}(n)-x^{\ast}_{1}(n)\vert }{ \Delta(n,x_{1}(n),x_{2}(n))} \\ &\hphantom{W_{1}(n+1)}\leq \bigl\vert 1-d_{1}(n)\exp\bigl( \xi_{1}(n)\bigr)\bigr\vert W_{1}(n)+e^{u}_{1}V_{1}(n) \\ &\hphantom{W_{1}(n+1) \leq{}}{}+\alpha^{u}_{12} \frac{\exp(\xi_{2}(n))W_{2}(n)}{ \Delta(n,x_{1}(n),x_{2}(n))}+a^{u} \alpha^{u}_{12}x^{\ast}_{1}(n) \frac{\exp(\xi_{2}(n))W_{2}(n)}{ \Delta(n,x_{1}(n),x_{2}(n))} \\ &\hphantom{W_{1}(n+1) \leq{}}{}-a(n)\alpha_{12}(n)x^{\ast}_{2}(n) \frac{\exp(\xi_{1}(n))W_{1}(n)}{ \Delta(n,x_{1}(n),x_{2}(n))}, \\ &W_{2}(n+1) \leq W_{2}(n)+b^{u} \alpha^{u}_{21}x^{\ast}_{2}(n) \frac{\exp (\xi_{1}(n))W_{1}(n)}{ \Delta(n,x_{1}(n),x_{2}(n))}+e^{u}_{2}V_{2}(n) \\ &\hphantom{W_{2}(n+1) \leq{}}{}+ \alpha^{u}_{21}\frac{\exp(\xi_{1}(n))W_{1}(n)}{ \Delta(n,x_{1}(n),x_{2}(n))} -b(n)\alpha_{21}(n)x^{\ast}_{1}(n) \frac{\exp(\xi_{2}(n))W_{2}(n)}{ \Delta(n,x_{1}(n),x_{2}(n))}, \\ &V_{1}(n+1) \leq \bigl(1-\eta^{l}_{1} \bigr)V_{1}(n)+q^{u}_{1}\exp\bigl( \xi_{1}(n)\bigr)W_{1}, \\ &V_{2}(n+1) \leq \bigl(1-\eta^{l}_{2} \bigr)V_{2}(n)+q^{u}_{2}\exp\bigl( \xi_{2}(n)\bigr)W_{2}. \end{aligned} $$

(3.5)

By (3.1), we can choose a $\varepsilon>0$ such that

$$ \left \{ \textstyle\begin{array}{l} \chi^{\varepsilon}_{1}=\max \{ |1-d^{l}_{1}m_{1\varepsilon}- \frac{a^{l}\alpha^{l}_{12}m_{1\varepsilon}m_{2\varepsilon}}{\Delta(n,M_{1\varepsilon},m_{2\varepsilon})} |, |1-d^{u}_{1}M _{1\varepsilon}- \frac{a^{u}\alpha^{u}_{12}M_{1\varepsilon}M_{2\varepsilon}}{\Delta(n,m_{1\varepsilon},M_{2\varepsilon})} | \} \\ \hphantom{\chi^{\varepsilon}_{1}={}}{}+\alpha^{u}_{12} [ \frac{M_{2\varepsilon}}{\Delta(n,m_{1\varepsilon},m_{2\varepsilon})} + \frac{a^{u}M_{1\varepsilon}M_{2\varepsilon}}{\Delta(n,M_{1\varepsilon},m_{2\varepsilon})} ]+e^{u}_{1}< 1, \\ \chi^{\varepsilon}_{2}=\max \{ |1- \frac{b^{l}\alpha^{l}_{21}m_{1\varepsilon}m_{2\varepsilon}}{\Delta(n,m_{1\varepsilon},M_{2\varepsilon})} |, |1- \frac{b^{u}\alpha^{u}_{21}M_{1\varepsilon}M_{2\varepsilon}}{\Delta(n,M_{1\varepsilon},m_{2\varepsilon})} | \} \\ \hphantom{\chi^{\varepsilon}_{2}={}}{}+\alpha^{u}_{21} [ \frac{M_{1\varepsilon}}{\Delta(n,m_{1\varepsilon},m_{2\varepsilon})} + \frac{b^{u}M_{1\varepsilon}M_{2\varepsilon}}{\Delta(n,m_{1\varepsilon},M_{2\varepsilon})} ] +e^{u}_{2}< 1, \\ \chi^{\varepsilon}_{3}=1-\eta^{l}_{1}+q^{u}_{1}M_{1\varepsilon}< 1, \\ \chi^{\varepsilon}_{4}=1-\eta^{l}_{2}+q^{u}_{2}M_{2\varepsilon}< 1. \end{array}\displaystyle \right . $$

(3.6)

In view of Theorem 2.7, there exists $N_{4}>N_{3}$ such that

$$\begin{aligned}& m_{i\varepsilon} \leq x_{i}(n),\qquad x^{\ast}_{i}(n)\leq M_{i\varepsilon}, \\& w_{i\varepsilon} \leq u_{i}(n),\qquad u^{\ast}_{i}(n)\leq W_{i\varepsilon}, \\& m_{i\varepsilon} \leq\exp\bigl(\xi_{i}(n)\bigr)\leq M_{i\varepsilon}, \quad i=1,2. \end{aligned}$$

It follows from (3.6) that

$$ \begin{aligned} &W_{1}(n+1)\leq\max\biggl\{ \biggl\vert 1-d^{l}_{1}m_{1\varepsilon}- \frac{a^{l}\alpha^{l}_{12}m_{1\varepsilon}m_{2\varepsilon}}{ \Delta(n,M_{1\varepsilon},m_{2\varepsilon})}\biggr\vert ,\biggl\vert 1-d^{u}_{1}M _{1\varepsilon}- \frac{a^{u}\alpha^{u}_{12}M_{1\varepsilon}M_{2\varepsilon}}{ \Delta(n,m_{1\varepsilon},M_{2\varepsilon})}\biggr\vert \biggr\} \\ &\hphantom{W_{1}(n+1)\leq{}}{}\times W_{1}(n)+\alpha^{u}_{12} \biggl[ \frac{M_{2\varepsilon}}{ \Delta(n,m_{1\varepsilon},m_{2\varepsilon})} + \frac{a^{u}M_{1\varepsilon}M_{2\varepsilon}}{ \Delta(n,M_{1\varepsilon},m_{2\varepsilon})} \biggr]W_{2}(n)+e^{u}_{1}(n)V_{1}(n), \\ &W_{2}(n+1)\leq\max\biggl\{ \biggl\vert 1- \frac{b^{l}\alpha^{l}_{21}m_{1\varepsilon}m_{2\varepsilon}}{ \Delta(n,m_{1\varepsilon},M_{2\varepsilon})}\biggr\vert ,\biggl\vert 1- \frac{b^{u}\alpha^{u}_{21}M_{1\varepsilon}M_{2\varepsilon}}{ \Delta(n,M_{1\varepsilon},m_{2\varepsilon})}\biggr\vert \biggr\} W_{2}(n) \\ &\hphantom{W_{2}(n+1)\leq{}}{}+\alpha^{u}_{21}\biggl[ \frac{M_{1\varepsilon}}{ \Delta(n,m_{1\varepsilon},m_{2\varepsilon})} + \frac{b^{u}M_{1\varepsilon}M_{2\varepsilon}}{ \Delta(n,m_{1\varepsilon},M_{2\varepsilon})} \biggr]W_{1}(n)+e^{u}_{2}(n)V_{2}(n), \\ &V_{1}(n+1)\leq\bigl(1-\eta^{l}_{1}(n) \bigr)V_{1}(n)+q^{u}_{1}(n) (M+ \varepsilon)W_{1}(n), \\ &V_{2}(n+1)\leq\bigl(1-\eta^{l}_{2}(n) \bigr)V_{2}(n)+q^{u}_{2}(n) (M+ \varepsilon)W_{2}(n). \end{aligned} $$

(3.7)

Let $\chi=\max\{\chi^{\varepsilon}_{1},\chi^{\varepsilon}_{2}, \chi^{\varepsilon}_{3},\chi^{\varepsilon}_{4}\}$, then $0<\chi<1$. It follows from (3.7) that

$$\begin{aligned}& \max\bigl\{ W_{1}(n+1),W_{2}(n+1),V_{1}(n+1),V_{2}(n+1) \bigr\} \\& \quad \leq\chi\max\bigl\{ W_{1}(n),W_{2}(n),V_{1}(n),V_{2}(n) \bigr\} \end{aligned}$$

for $n>N_{4}$. Then we have

$$\begin{aligned}& \max\bigl\{ W_{1}(n+1),W_{2}(n+1),V_{1}(n+1),V_{2}(n+1) \bigr\} \\& \quad \leq\chi^{n-N_{4}}\max\bigl\{ W_{1}(n),W_{2}(n),V_{1}(n),V_{2}(n) \bigr\} . \end{aligned}$$

Thus

$$\lim_{n\rightarrow+\infty}W_{i}(n)=0, \qquad \lim _{n\rightarrow+\infty}V_{i}(n)=0, \quad i=1,2. $$

This completes the proof. □

Examples

In the section, we present some examples showing the feasibility of our main results.

Example 4.1

Consider the following system:

$$ \begin{aligned} &x_{1}(n+1) = x_{1}(n)\exp \biggl\{ 1-0.2x_{1}(n)+ \frac{(0.9+0.1\cos (n))x_{2}(n)}{ 1+x_{1}(n)+x_{2}(n)} -0.1u_{1}(n) \biggr\} , \\ &x_{2}(n+1) = x_{2}(n)\exp \biggl\{ -0.5+ \frac{(1.45+0.05\sin(n))x_{1}(n)}{ 1+x_{1}(n)+x_{2}(n)}-0.2u_{2}(n) \biggr\} , \\ &\Delta u_{1}(n) = -0.8u_{1}(n)+0.2x_{1}(n), \\ &\Delta u_{2}(n) = -0.5u_{2}(n)+0.1x_{2}(n). \end{aligned} $$

(4.1)

Through a simple computation, we have

$$-r^{l}_{2}+\frac{\alpha^{u}_{21}}{a^{l}}=1>0. $$

So Proposition 2.6 holds, moreover,

$$-r^{u}_{2}+ \frac{\alpha^{l}_{21}m_{1}}{1+a^{u}m_{1}}-e^{u}_{1}W_{2} \approx 0.0474>0. $$

Therefore the conditions of Theorem 2.7 hold. Then the system (4.1) has permanence.

Numeric simulation (Figure 1) also supports this finding.

Figure 1

Dynamics behavior of the solution $\pmb{{(x_{1}(n),x_{2}(n),u_{1}(n),u_{2}(n))}}$ to the system ( 4.1 ) with the initial conditions $\pmb{(x_{1}(0),x_{2}(0),u_{1}(0),u_{2}(0))= (1.4,0.2,1.2,0.9), (3.2, 2.1,4.6,2.5), \mbox{and }(5.8,3.9,0.8,4.2)}$ , respectively.

Example 4.2

Consider the following system:

$$\begin{aligned}& x_{1}(n+1) = x_{1}(n)\exp \biggl\{ 0.15+0.05 \cos(n)-2.5x_{1}(n) \\& \hphantom{x_{1}(n+1) ={}}{}+ \frac{(0.6+0.1\cos(n))x_{2}(n)}{ 1+x_{1}(n)+2x_{2}(n)}-0.6\cos(n)u_{1}(n) \biggr\} , \\& x_{2}(n+1) = x_{2}(n)\exp \biggl\{ -0.5+ \frac{0.1\sin(n)x_{1}(n)}{ 1+x_{1}(n)+2x_{2}(n)}-0.3\cos(n)u_{2}(n) \biggr\} , \\& \Delta u_{1}(n) = -0.8u_{1}(n)+0.3x_{1}(n), \\& \Delta u_{2}(n) = -0.4u_{2}(n)+0.1x_{2}(n). \end{aligned}$$

(4.2)

Through a simple computation, we have

$$\begin{aligned}& r^{l}_{2}=0.5>0.1= \frac{\alpha^{u}_{21}}{a^{l}}, \\& \eta^{l}_{1}=0.8>0.6=e^{u}_{1}, \\& \min \biggl[d^{l}_{1}, \frac{2}{M_{1}}-d^{u}_{1} \biggr]=2.5>0.3=q^{u}_{1}. \end{aligned}$$

Therefore the conditions of Theorems 2.8 and 2.9 hold. Then the species $x_{2}$ is extinct and the species $x_{1}$ has global stability.

Numeric simulation (Figure 2) also supports this finding.

Figure 2

Dynamics behavior of the solution $\pmb{{(x_{1}(n),x_{2}(n),u_{1}(n),u_{2}(n))}}$ of the system ( 4.2 ) with the initial conditions $\pmb{(x_{1}(0),x_{2}(0),u_{1}(0),u_{2}(0))= (0.05,0.07,0.01,0.04), (0.06, 0.045,0.032,0.021), \mbox{and } (0.04,0.028,0.042,0.008)}$ , respectively.

Conclusion

In this paper, we proposed a discrete non-autonomous plant-pollinator system with the Beddington-DeAngelis functional response and feedback controls. As we see it, plants can build a cooperative interaction with pollinators by providing a reward for the pollinators’ services. From Theorem 2.7, we discover that when $\alpha_{21}(n)$ is large enough, then (2.10) must hold, that is, the system (1.4) has an upper bound. We know that $\alpha_{21}(n)$ represents the pollinators’ efficiency in translating plant-pollinator interactions into fitness. In other words, when the efficiency of the pollinators is large enough, the system has an upper bound. What is more, when the coefficient $e_{1}(n)$ is small enough, then the system has permanence. That is, when the interference of the plant is small, the system is to persist. From Theorem 2.8, it is obvious that when $r_{2}(n)$ is large enough, $x_{2}(n)$ will contribute to extinction. That is, if the mortality is large enough, then the population will go to extinction. From Theorem 2.9, we known that when $e_{1}(n)$ is small enough, then the partial species is globally stable. That is, if the feedback control is small enough, the population may remain stable. Wang et al. [10] have shown that the system (1.3) is globally stable, and our work shows that the feedback controls have no influence on the attractivity of the system. The obtained results may be helpful to maintain the plant-pollinator cooperation and provide insight in the mechanisms by which pollination mutualism could persist and we have global attractivity, which may be helpful for understanding the complexity of these systems.