Dynamics of water eutrophication model with control

Abstract

In this work, we consider a water eutrophication model with impulsive dredging. We prove that all solutions of the investigated system are uniformly bounded. There exists globally asymptotically stable periodic solution of microorganism-extinction when some condition is satisfied. The condition for permanence of the system is also obtained. It is concluded that the approach of impulsive dredging provides a reliable theoretical basis for the management of water eutrophication.

1 Introduction

Due to human activities, there are more and more nutrients in water, which causes excessive reproduction of algae and other aquatic organisms, decrease in water transparency, dissolved oxygen reduction, deterioration of water quality, and so on. This kind of pollution phenomenon, which is caused by the change in the ecological balance of the whole water body, is called the eutrophication of water body [1].

Eutrophication occurs in ponds, reservoirs, lakes, and so on and it has attracted the attention of many experts and scholars in the early twentieth century. Especially in recent years, the study on the eutrophication of water body has become quite active like fuzzy mathematics, stochastic model, gray system, artificial intelligence, and other theoretical methods combined with computer technology [2–4]. For instance, based on the analysis of the present situation and causes of pollution in Chaohu, Li et al. [5] proposed specific measures for eutrophication control of Chaohu. Yu et al. [6] used three methods—Carlson comprehensive index method, Grey clustering method, and principal component analysis—to analyze the main factors of eutrophication, and they provided theoretical basis for controlling water pollution in Poyang Lake. In addition, many scholars [7–9] have studied the dynamics model of a single population in the polluted environment.

Many scholars have done in-depth research on the problems of eutrophication. But most of them studied the reasons and the prevention and treatment of water eutrophication from the technical aspects. Few researchers studied the problem of eutrophication from the viewpoint of biological dynamics. In this paper, we discuss water eutrophication with impulsive dredging.

2 Model formulation

In this paper, we consider the following eutrophication model with control:

$$ \left \{ \textstyle\begin{array}{l} \left . \textstyle\begin{array}{l} \frac{ds(t)}{dt} = \lambda - d_{1}s(t) - \beta s(t)x(t) \\ \frac{dx(t)}{dt} = \frac{\beta}{\delta} s(t)x(t) - d_{2}x(t) \end{array}\displaystyle \right \}\quad t \ne n\tau,t \ne(n + l)\tau, \\ \left . \textstyle\begin{array}{l} \Delta s(t) = \mu\\ \Delta x(t) = 0 \end{array}\displaystyle \right \}\quad t = n\tau, \\ \left . \textstyle\begin{array}{l} \Delta s(t) = - \mu_{1}s(t) \\ \Delta x(t) = - \mu_{2}x(t) \end{array}\displaystyle \right \}\quad t = (n + l)\tau,0 < l < 1,n = 1,2,\ldots, \end{array}\displaystyle \right . $$

(2.1)

where $s(t)$ denotes the concentration of nutrients in water. $x(t)$ denotes the concentration of microorganism in water. $\lambda> 0$ is the original concentration of nutrients $s(t)$ in water, $\beta> 0$ is called the transmission coefficient. $\frac{\beta}{\delta} > 0$ is called the transmission of $x(t)$ absorbed nutrients. $d_{1} > 0$ is called the loss of $s(t)$. $d_{2} > 0$ is called the death coefficient of $x(t)$. $\mu> 0$ is the increase amount of $s(t)$ at $t = n\tau$. $0 \le\mu_{1} < 1$, $0 \le \mu_{2} < 1$ respectively represent the dredging intensity of $s(t)$ and $x(t)$ at $t = (n + l)\tau$ ($0 < l < 1$), τ is the period of the impulsive effect.

3 Analyzing model

Let $R_{ +} = [0,\infty)$, The solution of system (2.1), denoted by $y(t) = (s(t),x(t))^{T}$, is a piecewise continuous function $y:R_{ +} \to R_{ +}^{2}$, $y(t)$ is continuous on $(n\tau,(n + l)\tau]$, $((n + l)\tau,(n + 1)\tau]$, ${n \in Z_{ +}}$ and $y(n\tau^{ +} ) = \lim_{t \to n\tau^{ +}} y(n\tau)$, $y((n + l)\tau^{ +} ) = \lim_{t \to(n + l)\tau^{ +}} y((n + l)\tau)$ exist. Obviously the global existence and uniqueness of the solutions of (2.1) are guaranteed by the smoothness of function y, which denotes the mapping defined by the right-hand side of system (2.1) (see [10]). Before discussing the main results, we will give some definitions, notations, and lemmas. Since $s(t) = 0$ whenever $s'(t) = \lambda$, $x(t) = 0$ whenever $x'(t) = 0$, and $s(n\tau^{ +} ) = s(n\tau) + \mu$, $\mu\ge0$, so we have the following.

Lemma 1

Suppose that $y ( t )$ is a solution of (2.1), with $y(0^{ +} ) \ge0$, then $y(t) \ge0$ for $t \ge0$ and further $y(t) > 0$, $t \ge0$ for $y(0^{ +} ) > 0$.

Lemma 2

(see [10, p. 23, Lemma 2.2])

Let the function $m \in \mathit{PC}' [ R^{ +},R ]$ satisfy the inequalities

$$\left \{ \textstyle\begin{array}{l@{\quad}l} m'(t) \le p(t)m(t) + q(t),&t \ge t_{0},t \ne t_{k},k = 1,2, \ldots, \\ m(t_{k}^{ +} ) \le d_{k}m(t_{k}) + b_{k},&t = t_{k}, \end{array}\displaystyle \right . $$

where $p, q \in\mathit{PC} [ R^{ +},R ]$, $d_{k} \ge0$, $b_{k}$ are constants, then

$$\begin{aligned} m(t) \le{}& m(t_{0})\prod _{t_{0} < t_{k} < t}d_{k}\exp \biggl( \int ^{t}_{t_{0}} p(s)\,ds\biggr) + \sum _{t_{0} < t_{k} < t} \biggl(\prod_{t_{0} < t_{k} < t}d_{j} \exp\biggl( \int^{t} _{t_{0}} p(s)\,ds\biggr)\biggr) b_{k} \\ &+ \int^{t}_{t_{0}} \prod_{s < t_{k} < t}d_{k} \exp\biggl( \int^{t} _{s} p(\sigma)d\sigma\biggr)q(s)\,ds,\quad t \ge t_{0}. \end{aligned} $$

Now, we show that all solutions of (2.1) are uniformly ultimately bounded.

Lemma 3

There exists a constant $M > 0$ such that $S ( t ) \le M$, $x ( t ) \le M$ for each solution $(s ( t ),x ( t ))$ of (2.1) with all t large enough.

Proof

Definition $V ( t ) = \frac{1}{\delta} s ( t ) + x ( t )$, $d = \min \{ d_{1},d_{2} \}$. Then $t \ne n\tau$, $t \ne(n + l)\tau$. We have

$$\begin{aligned} D^{ +} V(t) + dV(t) &= \frac{1}{\delta} \bigl(\lambda- d_{1}s(t) - \beta s(t)x(t)\bigr) + \frac{\beta}{\delta} s(t)x(t) - d_{2}x(t) + \frac{d}{\delta} s(t) + dx(t) \\ &= \frac{\lambda}{\delta} - \frac{d_{1} - d}{\delta} s(t) - (d_{2} - d)x(t) \\ &\le\frac{\lambda}{\delta}. \end{aligned} $$

When $t = n\tau$,

$$V\bigl(n\tau^{ +} \bigr) = \frac{1}{\delta} s\bigl(n\tau^{ +} \bigr) + x\bigl(n\tau^{ +} \bigr) = \frac{1}{\delta} \bigl(s(n\tau) + \mu\bigr) + x(n\tau) = \frac{1}{\delta} s(n\tau ) + x(n\tau) + \frac{\mu}{\delta} = V(n\tau) + \frac{\mu}{\delta}. $$

When $t = (n + l)\tau$,

$$\begin{aligned} V\bigl((n + l)\tau^{ +} \bigr) &= \frac{1}{\delta} s\bigl((n + l)\tau^{ +} \bigr) + x\bigl((n + l) \tau^{ +} \bigr) \\ &= \frac{1}{\delta} (1 - \mu_{1})s\bigl((n + l)\tau\bigr) + (1 - \mu_{2})x\bigl((n + l)\tau\bigr) \le V\bigl((n + l)\tau\bigr). \end{aligned} $$

By Lemma 2, for $t \in(n\tau,n + l)\tau]$, $t \in((n + l)\tau,(n + 1)\tau ]$, we have

$$\left \{ \textstyle\begin{array}{l@{\quad}l} D^{ +} V(t) \le- dV(t) + \frac{\lambda}{\delta},&t \ne n\tau,t \ne(n + l)\tau, \\ V(t^{ +} ) = V(t) + \frac{\mu}{\delta},&t = n\tau, \\ V(t^{ +} ) \le V(t),&t = (n + l)\tau, \end{array}\displaystyle \right . $$

then

$$\begin{aligned} V(t) &\le V(0)\exp( - dt) + \int_{0}^{t} \frac{\lambda}{\delta} \exp \bigl( - d(t - s)\bigr)\,ds + \sum_{0 < n\tau< t} \frac{\mu}{\delta} \exp \bigl( - d(t - n\tau )\bigr) \\ &\to\frac{\lambda}{\delta d} + \frac{\mu\exp(d\tau)}{\delta(\exp (d\tau) - 1)},\quad\text{as }t \to\infty. \end{aligned} $$

So $V(t)$ is uniformly ultimately bounded. Hence, by the definition of $V(t)$, there exists a constant $M > 0$ such that $S ( t ) \le M$, $x ( t ) \le M$ for t large enough. The proof is complete. □

If $x ( t ) = 0$, we have the following subsystem of (3.1):

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} s'(t) = \lambda- d_{1}s(t),&t \ne n\tau,t \ne(n + l)\tau, \\ \Delta s(t) = \mu,&t = n\tau, \\ \Delta s(t) = - \mu_{1}s(t),&t = (n + l)\tau, \\ s(0^{ +} ) = s(0) > 0. \end{array}\displaystyle \right . $$

(3.1)

We can easily obtain the analytic solution of (3.1) between pulses as follows:

$$ s(t) = \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{d_{1}}[\lambda- (\lambda- d_{1}s(n\tau^{ +} ))e^{ - d_{1}(t - n\tau)}],&t \in(n\tau,(n + l)\tau], \\ \frac{1}{d_{1}}[\lambda- (\lambda- d_{1}s((n + l)\tau^{ +} ))e^{ - d_{1}(t - (n + l)\tau)}],&t \in((n + l)\tau,(n + 1)\tau]. \end{array}\displaystyle \right . $$

(3.2)

Considering the third equation of (3.1), we have

$$ s\bigl((n + l)\tau^{ +} \bigr) = \frac{1 - \mu_{1}}{d_{1}}\bigl[\lambda- \bigl( \lambda- d_{1}s\bigl(n\tau^{ +} \bigr)\bigr)e^{ - d_{1}l\tau} \bigr]. $$

(3.3)

Considering the fifth equation of (3.1), we also have

$$ s\bigl((n + 1)\tau^{ +} \bigr) = \frac{1}{d_{1}}\bigl[\lambda- \bigl(\lambda- d_{1}s\bigl((n + l)\tau^{ +} \bigr) \bigr)e^{ - d_{1}(1 - l)\tau} \bigr] + \mu. $$

(3.4)

Substituting (3.3) into (3.4), we have

$$ \begin{aligned}[b] s\bigl((n + 1)\tau^{ +} \bigr) = {}& \frac{\lambda}{d_{1}} - \frac{\lambda e^{ - d_{1}(1 - l)\tau}}{d_{1}} + \frac{\lambda(1 - \mu_{1})e^{ - d_{1}(1 - l)\tau}}{d_{1}} \\ & - \frac{\lambda(1 - \mu_{1})e^{ - d_{1}\tau}}{d_{1}} + (1 - \mu_{1})s\bigl(n\tau^{ +} \bigr)e^{ - d_{1}\tau} + \mu. \end{aligned} $$

(3.5)

Equation (3.1) has one fixed point as follows:

$$ s^{*} = \frac{\lambda- \lambda\mu_{1}e^{ - d_{1}(1 - l)\tau} - \lambda(1 - \mu_{1})e^{ - d_{1}\tau} + \mu d_{1}}{d_{1}[1 - (1 - \mu_{1})e^{ - d_{1}\tau} ]}. $$

(3.6)

Then the periodic solution of (3.1) is

$$ \tilde{s}(t) = \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{d_{1}}[\lambda- (\lambda - d_{1}s^{*})e^{ - d_{1}(t - n\tau)}],&t \in[ n\tau,(n + l)\tau ), \\ \frac{1}{d_{1}}[\lambda- (\lambda- d_{1}s^{**})e^{ - d_{1}(t - (n + l)\tau)}],&t \in [ (n + l)\tau,(n + 1)\tau ). \end{array}\displaystyle \right . $$

(3.7)

Here $s^{*}$ is determined as (3.6), $s^{**}$ is defined as

$$ s^{**} = \frac{1 - \mu_{1}}{d_{1}}\bigl[\lambda- \bigl(\lambda- d_{1}s^{*}\bigr)e^{ - d_{1}l\tau} + d_{1}(1 - \mu_{1})s^{ *} e^{ - d_{1}l\tau} \bigr]. $$

(3.8)

It is similar to reference [8], we can obtain the following lemma.

Lemma 4

System (3.1) has a positive periodic solution $\tilde{s}(t)$. For every solution $s(t)$ of system (3.1), we have $s(t) \to\tilde{s}(t)$ as $t \to\infty$.

4 The dynamics

From the above discussion, we know that system (2.1) has a microorganism-extinction periodic solution $(\tilde{s}(t),0)$. So we can have the following theorem.

Theorem 1

If

$$ \ln\frac{1}{1 - \mu_{2}} > \frac{\lambda\tau}{d_{1}} - \frac{\lambda- d_{1}s^{ *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}l\tau} \bigr) - \frac{\lambda- d_{1}s^{ * *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}(1 - l)\tau} \bigr)e^{ - d_{1}\tau} - d_{2}\tau $$

(4.1)

holds, then the microorganism-extinction periodic solution $(\tilde{s}(t),0)$ of system (2.1) is globally asymptotically stable.

Proof

First we prove the local stability. Defining $S(t) = s(t) - \tilde{s}(t)$, $X(t) = x(t)$, we have the following linearly similar system for (2.1) which concerns one periodic solution $(\tilde{s}(t),0)$:

$$\left ( \textstyle\begin{array}{c} S'(t) \\ X'(t) \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c@{\quad}c} - d_{1} & \beta\tilde{s}(t) \\ 0 & \frac{\beta}{\delta} \tilde{s}(t) - d_{2} \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{c} S(t) \\ X(t) \end{array}\displaystyle \right ). $$

It is easy to obtain the fundamental solution matrix

$$\Phi(t) = \left ( \textstyle\begin{array}{c@{\quad}c} e^{ - d_{1}t} & * \\ 0 & \exp(\int_{0}^{t} (\frac{\beta}{\delta} \tilde{s}(s) - d_{2})\,ds ) \end{array}\displaystyle \right). $$

There is no need to calculate the exact form of ∗ as it is not required in the analysis that follows. The linearization of the third and fourth equations of (2.1) is as follows:

$$\left ( \textstyle\begin{array}{c} S(n\tau^{ +} ) \\ X(n\tau^{ +} ) \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c@{\quad}c} 1 & 0 \\ 0 & 1 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{c} S(n\tau) \\ X(n\tau) \end{array}\displaystyle \right ). $$

The linearization of the fifth and sixth equations of (2.1) is as follows:

$$\left ( \textstyle\begin{array}{c} S((n + l)\tau^{ +} ) \\ X((n + l)\tau^{ +} ) \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c@{\quad}c} 1 - \mu_{1} & 0 \\ 0 & 1 - \mu_{2} \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{c} S((n + l)\tau) \\ X((n + l)\tau) \end{array}\displaystyle \right ). $$

The stability of the periodic solution $(\tilde{s}(t),0)$ is determined by the eigenvalues of

$$M = \left ( \textstyle\begin{array}{c@{\quad}c} 1 & 0 \\ 0 & 1 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{c@{\quad}c} 1 - \mu_{1} & 0 \\ 0 & 1 - \mu_{2} \end{array}\displaystyle \right )\phi(\tau) $$

which are

$$\lambda_{1} = (1 - \mu_{1})e^{ - d_{1}t} < 1,\qquad \lambda_{2} = (1 - \mu_{2})\exp\biggl( \int_{0}^{\tau} \biggl(\frac{\beta}{\delta} \tilde{s}(s) - d_{2}\biggr)\,ds\biggr). $$

According to the Floquet theory [11], if $\vert \lambda_{2} \vert < 1$, i.e.,

$$\biggl\vert (1 - \mu_{2})\exp\biggl( \int_{0}^{\tau} \biggl(\frac{\beta}{\delta} \tilde{s}(t) - d_{2}\biggr)\,dt \biggr) \biggr\vert < 1, $$

that is,

$$\ln\frac{1}{1 - \mu_{2}} > \frac{\lambda\tau}{d_{1}} - \frac{\lambda- d_{1}s^{ *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}l\tau} \bigr) - \frac{\lambda- d_{1}s^{ * *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}(1 - l)\tau} \bigr)e^{ - d_{1}\tau} - d_{2}\tau $$

holds, then $(\tilde{s}(t),0)$ is locally stable.

The following work is to prove the global attraction. Choose $\varepsilon> 0$ such that

$$\rho= (1 - \mu_{2})\exp\biggl( \int_{0}^{\tau} \biggl[ \frac{\beta}{\delta} \bigl( \tilde{s}(s) - \varepsilon\bigr) - d_{2} \biggr]\,ds \biggr) < 1. $$

From the first equation of (2.1), we notice that $\frac{ds(t)}{dt} \le\lambda- d_{1}s(t)$. So we consider the following impulsive differential equations:

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{dy(t)}{dt} = \lambda- d_{1}y(t),&t \ne n\tau,t \ne(n + l)\tau, \\ \Delta y(t) = \mu,&t = n\tau, \\ \Delta y(t) = - \mu_{2}y(t),&t = (n + l)\tau. \end{array}\displaystyle \right . $$

(4.2)

From Lemma 2 and the comparison theorem of impulsive differential equations (see Theorem 3.1.1 in [11]), we have $s(t) \le y(t)$, and, $y(t) \to \tilde{s}(t)$, as $t \to\infty$, that is,

$$ s(t) \le y(t) \le\tilde{s}(t) + \varepsilon $$

(4.3)

for all t large enough. For convenience, we may assume (4.3) holds for all $t > 0$. From (2.1) and (4.3), we get

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{dx(t)}{dt} \le\frac{\beta}{\delta} (\tilde{s}(t) + \varepsilon)x(t) - d_{2}x(t),&t \ne n\tau, t \ne(n + l)\tau, \\ \Delta x(t) = 0,& t = n\tau, \\ \Delta x(t) = - \mu_{2}x(t),&t = (n + l)\tau. \end{array}\displaystyle \right . $$

(4.4)

So

$$x\bigl((n + 1)\tau\bigr) \le x\bigl(n\tau^{ +} \bigr) (1 - \mu_{2})\exp\biggl( \int_{n\tau}^{(n + 1)\tau} \biggl[ \frac{\beta}{\delta} \bigl( \tilde{s}(s) - \varepsilon\bigr) - d_{2} \biggr]\,ds \biggr). $$

Hence

$$x\bigl((n + l)\tau\bigr) \le x\bigl(0^{ +} \bigr)\rho^{n} $$

and $x((n + l)\tau) \to0$, as $t \to\infty$, therefore $x(t) \to0$, as $t \to \infty$.

In what follows, we prove that $s(t) \to\tilde{s}(t)$, as $t \to \infty$, let $0 < \varepsilon\le d_{1}$, there must exist $t_{0} > 0$ such that $t \ge t_{0}$, $0 < x(t) < \varepsilon$. Without loss of generality, we assume that $0 < x(t) < \varepsilon$ for all $t > 0$, then, for system (2.1), we have

$$ \lambda- (d_{1} + \varepsilon)s(t) \le\frac{ds(t)}{dt} \le\lambda- d_{1}s(t). $$

(4.5)

Then we have $z_{1}(t) \le s(t) \le z_{2}(t)$ and $z_{1}(t) \to \tilde{s}(t)$, $z_{2}(t) \to\tilde{s}(t)$ as $t \to\infty$. While $z_{1}(t)$ and $z_{2}(t)$ are the solutions of

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{dz_{1}(t)}{dt} = \lambda- (d_{1} + \varepsilon)z_{1}(t),&t \ne n\tau,t \ne(n + l)\tau, \\ \Delta z_{1}(t) = \mu,&t = n\tau, \\ \Delta z_{1}(t) = - \mu_{1}z_{1}(t),&t = (n + l)\tau \end{array}\displaystyle \right . $$

(4.6)

and

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{dz_{2}(t)}{dt} = \lambda- d_{1}z_{2}(t),&t \ne n\tau,t \ne(n + l)\tau, \\ \Delta z_{2}(t) = \mu,&t = n\tau, \\ \Delta z_{2}(t) = - \mu_{1}z_{2}(t),&t = (n + l)\tau, \end{array}\displaystyle \right . $$

(4.7)

respectively

$$ z_{1}(t) = \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{d_{1} + \varepsilon} [\lambda - (\lambda- (d_{1} + \varepsilon)z_{1}^{*})e^{ - (d_{1} + \varepsilon)(t - n\tau)}],&t \in[ n\tau,(n + l)\tau ), \\ \frac{1}{d_{1} + \varepsilon} [\lambda- (\lambda- (d_{1} + \varepsilon )z_{1}^{**})e^{ - (d_{1} + \varepsilon)(t - (n + l)\tau)}],&t \in [ (n + l)\tau,(n + 1)\tau ). \end{array}\displaystyle \right . $$

(4.8)

Here $z_{1}^{*}$ and $z_{1}^{**}$ are defined as

$$z_{1}^{*} = \frac{\lambda- \lambda\mu_{1}e^{ - (d_{1} + \varepsilon )(1 - l)\tau} - \lambda(1 - \mu_{1})e^{ - (d_{1} + \varepsilon)\tau} + (d_{1} + \varepsilon)\mu}{(d_{1} + \varepsilon)[1 - (1 - \mu_{1})e^{ - (d_{1} + \varepsilon)\tau} ]} $$

and

$$z_{1}^{**} = \frac{\lambda- \mu_{1}}{(d_{1} + \varepsilon)}\bigl[\lambda- \bigl( \lambda- (d_{1} + \varepsilon)z_{1}^{*} \bigr)e^{ - (d_{1} + \varepsilon )l\tau} \bigr]. $$

Therefore, for any $\varepsilon_{1} > 0$, there exists $t_{1}$, $t > t_{1}$, such that

$$z_{1}(t) - \varepsilon_{1} < s(t) < \tilde{s}(t) + \varepsilon_{1}. $$

Let $\varepsilon\to0$, so we have

$$\tilde{s}(t) - \varepsilon_{1} < s(t) < \tilde{s}(t) + \varepsilon_{1} $$

for t large enough, which implies $s(t) \to\tilde{s}(t)$ as $t \to \infty$. This completes the proof. □

The following work is to investigate the permanence of system (2.1). Before starting this work, we should give the following definition.

Definition 1

System (2.1) is said to be permanent if there are constants $m,M > 0$ (independent of the initial value) and a finite time $T_{0}$ such that for all solutions $(s ( t ),x ( t ))$ with all initial values $s ( 0^{ +} ) > 0$, $x ( 0^{ +} ) > 0$, $m \le s ( t ) \le M$, $m \le x ( t ) \le M$ hold for all $t \ge T_{0}$. Here $T_{0}$ may depend on the initial values $(s ( 0^{ +} ),x ( 0^{ +} ))$.

Theorem 2

Let $(s ( t ),x ( t ))$ be any solution of system (2.1). If

$$\ln\frac{1}{1 - \mu_{2}} < \frac{\lambda\tau}{d_{1}} - \frac{\lambda- d_{1}s^{ *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}l\tau} \bigr) - \frac{\lambda- d_{1}s^{ * *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}(1 - l)\tau} \bigr)e^{ - d_{1}\tau} - d_{2}\tau $$

holds, then system (2.1) is permanent.

Proof

Let $(s ( t ),x ( t ))$ be a solution of (2.1) with $s ( 0 ) > 0$, $x ( 0 ) > 0$. By Lemma 3, we have proved there exists a constant of $M > 0$ such that $s(t) \le M$, $x(t) \le M$ for t large enough. We may assume $s(t) \le M$, $x(t) \le M$ for $t \ge0$. Thus we only need to find $m_{1} > 0$ and $\varepsilon_{3}$ such that $x(t) \ge m_{1}$ for t large enough. Otherwise, we can select $m_{3} > 0$ small enough and prove $x(t) < m_{3}$ does not hold for $t \ge0$. By the condition of Theorem 2, let

$$\sigma= \int_{n\tau}^{(n + 1)\tau} \biggl(\frac{\beta}{\delta} \bigl(\tilde {z}(t) - \varepsilon_{1}\bigr) - d_{2}\biggr) \,dt > 0. $$

We will prove that $x(t) < m_{3}$ cannot hold for $t \ge0$. Otherwise,

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{ds(t)}{dt} \ge\lambda- (d_{1} + \beta m_{3})s(t),&t \ne n\tau,t \ne(n + l)\tau, \\ \Delta s(t) = \mu,&t = n\tau, \\ \Delta s(t) = - \mu_{1}s(t),&t = (n + l)\tau. \end{array}\displaystyle \right . $$

(4.9)

By Lemma 3, we have $s(t) \ge z(t)$ and $z(t) \to\tilde{z}(t)$, $t \to \infty$, where $z(t)$ is the solution of

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{dz(t)}{dt} = \lambda- (d_{1} + \beta m_{3})z(t),&t \ne n\tau,t \ne(n + l)\tau, \\ \Delta z(t) = \mu,&t = n\tau, \\ \Delta s(t) = - \mu_{1}z(t),&t = (n + l)\tau \end{array}\displaystyle \right . $$

(4.10)

and

$$ \tilde{z}(t) = \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{(d_{1} + \beta m_{3})}[\lambda- (\lambda- (d_{1} + \beta m_{3})z^{*})e^{ - (d_{1} + \beta m_{3})(t - n\tau)}],&t \in [ n\tau,(n + l)\tau ), \\ \frac{1}{(d_{1} + \beta m_{3})}[\lambda- (\lambda- (d_{1} + \beta m_{3})z^{**})e^{ - (d_{1} + \beta m_{3})(t - (n + l)\tau)}],&t \in [ (n + l)\tau,(n + 1)\tau ). \end{array}\displaystyle \right . $$

(4.11)

Here $z^{*}$ and $z^{**}$ are defined as

$$z^{*} = \frac{\lambda(1 - \mu_{1}e^{ - (d_{1} + \beta m_{3})(1 - l)\tau } ) - \lambda(1 - \mu_{1})e^{ - (d_{1} + \beta m_{3})\tau} ) + (d_{1} + \beta m_{3})\mu}{(d_{1} + \beta m_{3})[1 - (1 - \mu_{1})e^{ - (d_{1} + \beta m_{3})\tau} ]} $$

and

$$z^{**} = \frac{1 - \mu_{1}}{(d_{1} + \beta m_{3})}\bigl[\lambda- \bigl(\lambda- (d_{1} + \beta m_{3})z^{*}\bigr)e^{ - (d_{1} + \beta m_{3})l\tau} \bigr]. $$

Therefore, there exists $T_{1} > 0$ such that

$$s(t) \ge z(t) \ge\tilde{z}(t) - \varepsilon_{1}, $$

and

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{dx(t)}{dt} \ge(\frac{\beta}{\delta} (\tilde{z}(t) - \varepsilon_{1}) - d_{2})x(t),&t \ne n\tau, t \ne(n + l)\tau, \\ \Delta x(t) = 0,&t = n\tau, \\ \Delta x(t) = - \mu_{2}x(t),&t = (n + l)\tau \end{array}\displaystyle \right . $$

(4.12)

for $t \ge T_{1}$. Let $N_{1} \in N$ and $N_{1}\tau> T$. Integrating (4.12) on $(n\tau,(n + 1)\tau]$ ($n \ge N_{1}$), we have

$$\begin{aligned} x\bigl((n + 1)\tau\bigr) &\ge(1 - \mu_{2})x \bigl(n\tau^{ +} \bigr)\exp\biggl( \int_{n\tau}^{(n + 1)\tau} \biggl(\frac{\beta}{\delta} \bigl( \tilde{z}(t) - \varepsilon_{1}\bigr) - d_{2}\biggr) \,dt \biggr) \\ &= (1 - \mu_{2})x\bigl(n\tau^{ +} \bigr) {e}^{\sigma}. \end{aligned} $$

Then $x((N_{1} + K)\tau) \ge(1 - \mu_{2})^{K}x(N_{1}\tau^{ +} ){e}^{K\sigma} \to\infty$, as $K \to\infty$, which is a contradiction to the boundedness of $x(t)$. Hence there exists $t_{1} > 0$ such that $x(t) \ge m_{3}$.

Thus, we can also obtain that $\frac{ds(t)}{dt} \ge\lambda- (d_{1} + \beta M)s(t)$, then the following comparatively impulsive differential equation is

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{dz_{3}(t)}{dt} = \lambda- (d_{1} + \beta M)z_{3}(t),&t \ne n\tau,t \ne(n + l)\tau, \\ \Delta z_{3}(t) = \mu,&t = n\tau, \\ \Delta z_{3}(t) = - \mu_{2}z_{3}(t),&t = (n + l)\tau. \end{array}\displaystyle \right . $$

(4.13)

Similar to (3.7), we have

$$ \tilde{z}_{3}(t) = \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{(d_{1} + \beta M)}[\lambda- (\lambda- (d_{1} + \beta M)z_{3}^{*})e^{ - (d_{1} + \beta M)(t - n\tau)}],&t \in [ n\tau,(n + l)\tau ), \\ \frac{1}{(d_{1} + \beta M)}[\lambda- (\lambda- (d_{1} + \beta M)z_{3}^{**})e^{ - (d_{1} + \beta M)(t - (n + l)\tau)}],&t \in [ (n + l)\tau,(n + 1)\tau ). \end{array}\displaystyle \right . $$

(4.14)

Here $z_{3}^{*}$ and $z_{3}^{**}$ are defined as

$$z_{3}^{*} = \frac{\lambda(1 - \mu_{1}e^{ - (d_{1} + \beta m_{3})(1 - l)\tau} ) - \lambda(1 - \mu_{1})e^{ - (d_{1} + \beta m_{3})\tau} ) + (d_{1} + \beta m_{3})\mu}{(d_{1} + \beta m_{3})[1 - (1 - \mu_{1})e^{ - (d_{1} + \beta m_{3})\tau} ]} $$

and

$$z_{3}^{**} = \frac{1 - \mu_{1}}{(d_{1} + \beta m_{3})}\bigl[\lambda- \bigl( \lambda- (d_{1} + \beta m_{3})z^{*} \bigr)e^{ - (d_{1} + \beta m_{3})l\tau} \bigr]. $$

For any $\varepsilon_{4}$ small enough, we obtain

$$z_{3}(t) > \tilde{z}_{3}(t) - \varepsilon_{4}. $$

From the comparison theorem of impulsive differential equations, we have

$$s(t) > z_{3}(t) > \tilde{z}_{3}(t) - \varepsilon_{4} > \bigl(z_{3}^{*}(t) + z_{3}^{**}(t) \bigr) - \varepsilon_{4} = m_{4}, $$

i.e., $s(t) > m_{4}$. This completes the proof. □

Remark

Let

$$F(\tau) = \ln\frac{1}{1 - \mu_{2}} - \frac{\lambda\tau}{d_{1}} - \frac{\lambda- d_{1}s^{ *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}l\tau} \bigr) - \frac{\lambda- d_{1}s^{ * *}}{d_{1}^{2}}\bigl(1 - e^{ - d_{1}(1 - l)\tau} \bigr)e^{ - d_{1}\tau} - d_{2}\tau. $$

We easily know $F(0) = \frac{1}{\ln(1 - \mu_{2})} > 0$, $F(\tau) \to- \infty$ as $\tau\to\infty$, and $F''(\tau) > 0$, so $F(\tau) = 0$ has a unique positive root, denoted by $\tau_{\max}$. From Theorems 1 and 2, we know $\tau_{\max}$ is a threshold. If $\tau< \tau_{\max}$, the microorganism-extinction periodic solution $(s(t),0)$ of (2.1) is globally asymptotically stable. If $\tau< \tau_{\max}$, system (2.1) is permanent.

5 Discussion

In this paper, according to the actual situation, we discussed the impulsive dredging at a fixed time. The global asymptotic stability of the microorganism-extinction periodic solution $(s(t),0)$ of (2.1) is discussed and the condition for the permanence of the system is also obtained. From Theorems 1 and 2, we can deduce that there must exist a threshold $\mu_{2}^{ *}$. If $\mu_{2} > \mu_{2}^{ *}$, the microorganism-extinction periodic solution $(s(t),0)$ of (2.1) is globally asymptotically stable. If $\mu_{2} < \mu_{2}^{ *}$, system (2.1) is permanent. Our results indicate that the impulsive dredging and the period of impulsive dredging play an important role in water eutrophication management.