Dynamic analysis of unilateral diffusion Gompertz model with impulsive control strategy

Abstract

In this paper, we establish a unilateral diffusion Gompertz model of a single population in two patches in a theoretical way. Firstly, we prove the existence and uniqueness of an order-one periodic solution by the geometry theory of differential equations and the method of successor function. Secondly, we prove the stability of the order-one periodic solution by imitating the theory of the limit cycle of an ordinary differential equation. Finally, we verify the theoretical results by numerical simulations.

1 Introduction

Modern biologists think that the habitat has been deteriorated by an excessive exploitation of resource, and to dodge predators and find suitable habitat, the migration of population becomes necessary [1]. Many researchers focus on this phenomenon and have done a lot of work on it. Skellam [2] investigated the random-walk issue of biological migration and concluded that the balance of the system is related to the size of the habitat. In 1974, Levin and Paine [3] established models of plaque-migratory population dynamics and discussed the influence of the diffusion of population on its survival and extinction. With the development of the research concerned with population diffusion model, more and more people pay attention to diffusion systems. In 1989, Freedman et al. [4] discussed the diffusion system of a single population between two patches and showed that there exists a continuous global asymptotic stable state. In 1994, Zeng et al. [5] focused on the continuous time-diffusion systems and obtained that such a system has a positive and periodic solution.

However, in recent years people have found that the continuous time-diffusion model is not an appropriate description of certain biological phenomena. Some populations spread from one patch to another patch at a fixed time such as the seasonal migration of birds and fish migration. With this in mind, the mathematical model of diffusion with pulse has been established, which makes the research more significant [6–14]. In particular, impulsive differential equations are very important in the research of population migration phenomenon [15–24]. Jiao et al. [25] established a SIR model with pulse vaccination and proved the existence of a disease-free periodic solution, and a large pulse vaccination rate was a sufficient condition to eradicate the disease. Zou et al. [26] considered a population dynamic system with the delays and impulses and obtained sufficient conditions for the coexistence of two populations. For more applications of differential equations, see [27–38].

Recently, Jiao et al. [39] focused on the diffusion predator-prey model of population between two patches and proved that the diffusion rate of the pests and natural enemies in the patch greatly influenced the pest control. Xu et al. [40] established a diffusion model with pulse and proved that the pulse migration was beneficial to the balanced development of the white headed leaf monkey in the fragile environment. Shi et al. [41] built the diffusion system of giant panda in different patches and obtained conditions of pandas’ persistence and extinction. However, few researches have been conducted on the dynamics of unilateral diffusion of single population in two patches. Inspired by [39–43], we discuss the following unilateral diffusion Gompertz model [44, 45]:

$$ \textstyle\begin{cases} \left . \textstyle\begin{array}{l} {x'(t)=ax(t)\ln (\frac{ K}{x(t)} ),}\\ {y'(t)=-by(t),} \end{array}\displaystyle \right \}\quad x< \tau,\\ \left . \textstyle\begin{array}{l} {\triangle x(t)=-cx(t),}\\ {\triangle y(t)=cx(t),} \end{array}\displaystyle \right \}\quad x=\tau, \end{cases} $$

(1)

where $x(t)$ and $y(t)$ indicate the population densities in the two patches at time t, K is the maximum environmental carrying capacity, a is the birth rate of the population, b is the natural mortality of the population within patch two, $0< c<1$ is the migration rate of the population from patch one to patch two, and $0<\tau<K$ is the threshold. In our works, all the parameters are positive.

The paper is organized as follows. In Section 2, we recall some basic results about order-one periodic solutions. In Section 3, we discuss the existence and uniqueness of an order-one periodic solution of system (1) in terms of geometry theory of differential equations and monotonicity of successor function. The stability of an order-one periodic solution is discussed by imitating the theory of the limit cycle of an ordinary differential equation in Section 4. In Section 5, we verify the theoretical results by numerical simulation an make a conclusion.

2 Preliminaries

Definition 2.1

([43])

Consider the following state-dependent impulsive differential functions:

$$ \textstyle\begin{cases} \left . \textstyle\begin{array}{l} {x'(t)=P(x,y),}\\ {y'(t)=Q(x,y),} \end{array}\displaystyle \right \}\quad (x,y) \nsubseteq M_{I}\{x,y\},\\ \left . \textstyle\begin{array}{l} {\triangle x(t)= \xi(x,y),}\\ {\triangle y(t)= \zeta(x,y),} \end{array}\displaystyle \right \}\quad (x,y) \subseteq M_{I}\{x,y\}. \end{cases} $$

(2)

The dynamic system composed of a solution mapping defined by system (2) is called a semicontinuous dynamic system, denoted by $(\Omega,F,\varphi,M_{I})$, where the function φ is a continuous mapping that meets $\varphi(M_{I})=M_{I}^{+}$. For convenience, we denote by $M_{I}\{x,y\}$ and $M_{I}^{+}\{x,y\}$ the straight lines or curves in the plan $R_{2}^{+}=\{(x,y) | x \geq0,y \geq0 \}$, where $M_{I}\{x,y\}$ is called the impulse set, and $M_{I}^{+}\{x,y\}$ is called the phase set.

Remark 2.1

For system (1), we have $M_{I}\{x,y\}=\{ (x,y)\in R_{2}^{+}|x=\tau,y\geq0\}$ and $M_{I}^{+}\{x,y\} = \{(x,y)\in R_{2}^{+}|x=(1-c)\tau,y\geq0\}$. The impulse mapping is $\varphi: (x,y)\in M_{I}\rightarrow({(1-c)\tau}, {c\tau+y_{A}})\in R_{2}^{+}$.

Definition 2.2

([43])

As shown in Figure 1, the trajectory of system (1) beginning from point B intersects with $M_{I}$ at point $B^{\prime}$, then point $B^{\prime}$ jumps to point $B^{+}\in M_{I}^{+}$, and thus the successor function of point B is $f(B)={y_{B}}-{y_{B^{+}}}$.

Figure 1

Schematic diagram of successor point $\pmb{B^{+}}$ of point B .

Lemma 2.1

([43])

The successor function is continuous.

According to Lemma 2.1, we obtain the following conclusions.

Definition 2.3

([43])

If there exists a point B of system (1), then we say that the trajectory passing through point B is an order-one periodic solution of system (1) if $f(B)=0$.

Lemma 2.2

([43])

The system has an order-one periodic solution if there exist two points ${C}\in{M_{I}^{+}}$ and ${D}\in{M_{I}^{+}}$ such that the successor function ${f({C})f({D})}<0$.

Remark 2.2

This lemma is used to prove the existence of order-one periodic solution of system (1) in Section 3.

Lemma 2.3

([43])

If the successor function of system (1) is a monotonic function, then there exists a unique order-one periodic solution.

Remark 2.3

In Section 3, this lemma is used to prove the uniqueness of order-one periodic solution of system (1).

System (1) with neglected impulse ($c=0$) is of the form

$$ \textstyle\begin{cases} {x'(t)=ax(t)\ln (\frac{ K}{x(t)} ),}\\ {y'(t)=-by(t).} \end{cases} $$

(3)

Solving the equations

$$ \textstyle\begin{cases} {ax(t)\ln (\frac{ K}{x(t)} )=0,}\\ {-by(t)=0,} \end{cases} $$

(4)

we obtain one equilibrium $E^{*}(K,0)$. Thus, we have the following theorem.

Theorem 2.1

[43] System (3) has a boundary equilibrium, which is a locally stable node.

Proof

We discuss the stability of the equilibrium. The Jacobian of system (3) is

$$\begin{aligned} J_{0}= \left ( \begin{matrix} a\ln (\frac{K}{x} )-a & 0 \\ 0 & -b \end{matrix} \right ). \end{aligned}$$

At $E^{*}(K,0)$, we have

$$\begin{aligned} J_{E^{*}}=\left ( \begin{matrix} -a & 0 \\ 0 & -b \end{matrix} \right ) \end{aligned}$$

with characteristic roots $\lambda_{1}=-a$ and $\lambda_{2}=-b$. Obviously, $E^{*}(K,0)$ is a locally stable node. The proof is completed. □

Furthermore, by Theorem 2.1 we have that $E^{*}(K,0)$ is locally stable (see Figure 2).

Figure 2

Phase diagram of system ( 3 ) with $\pmb{a=0.5}$, $\pmb{K=5}$, $\pmb{b=-0.4}$.

In this paper, we restrict ourselves to the biologically meaningful region $F=\{(x,y)| {x\geq0},{y\geq0}\}$.

3 Existence and uniqueness of order-one periodic solution of system (1)

In this section, we prove the existence and uniqueness of order-one periodic solution of system (1) by geometry theory of differential equations and monotonicity of successor function. As shown in Figure 3, the x-isoline ${\frac{dx}{dt}}=0$ of system (1) intersects with x-axis at point $E^{*}(K,0)$, and the trajectory passing through point E intersects with impulse set $M_{I}$ at point $E^{\prime}(\tau,h)$, and then $E^{\prime}(\tau,h)$ jumps to the phase set at point $E^{+}((1-c)\tau,h+c\tau)$. By the same method we obtain $M^{+}((1-c)\tau,c\tau)$, which is the successor point of M, and the impulse set $M_{I}\{x,y\}$ and the phase set $M_{I}^{+}\{x,y\}$ intersect with x-axis at points $M'$ and M, respectively.

Figure 3

The successor function of point E is negative.

Lemma 3.1

If $h<{\frac{a\tau\ln (\frac{K}{x} )}{b}}$, then $k_{{E^{\prime}}{E^{+}}}< k_{E^{\prime}}$.

Proof

By computing two slopes

$$\begin{gathered} k_{{E^{\prime}}{E^{+}}}=\frac {{y_{E^{\prime}}}-{y_{E^{+}}}}{{x_{E^{\prime}}}-{x_{E^{+}}}}=\frac{c\tau }{(1-c)\tau-\tau}=-1, \\ k_{E^{\prime}}={\frac{dy}{dx}} \bigg|_{E^{\prime}(\tau,h)}= \biggl({ \frac {dy}{dt}}\cdot{\frac{dt}{dx}} \biggr) \bigg|_{E^{\prime}(\tau,h)}= \frac {-bh}{a\tau\ln (\frac{K}{\tau} )}, \end{gathered} $$

we get that if $k_{{E^{\prime}}{E^{+}}}< k_{E^{\prime}}$, then $-1<\frac {-bh}{a\tau\ln (\frac{K}{\tau} )}$, The proof is completed. □

Remark 3.1

The point $E^{+}$ is under the point E when the slope of the trajectory of system (1) at the point $E'$ is greater than the slope of the line $E'E^{+}$, and so we prove that the successor function of point E is negative.

Lemma 3.2

If $h>\frac{aK}{ec}$, then the straight line $E'E^{+}$ is not a cutting line of system (1).

Proof

The derivative of straight line $E'E^{+}:L=y+x-h-\tau$ is

$$\begin{aligned} {\frac{dL}{dt}} \bigg|_{L=0} =& \biggl({\frac{dy}{dt}}+{ \frac{dx}{dt}} \biggr) \bigg|_{t=0} \\ =& \biggl[-cy+ax\ln \biggl(\frac{K}{x} \biggr) \biggr] \bigg|_{t=0} \\ =& -ch-c(\tau-x)+ax\ln \biggl(\frac{K}{x} \biggr). \end{aligned}$$

Since $\tau>x$, we have

$${\frac{dL}{dt}} \bigg|_{L=0}\leq-ch+ax\ln \biggl(\frac{K}{x} \biggr)< 0, $$

that is,

$$ax\ln \biggl(\frac{K}{x} \biggr)< ch. $$

Let $f(x)=ax\ln (\frac{K}{x} )=0$. Then we get a maximum $x=\frac{K}{e}$. That is to say, if $h>\frac{aK}{ec}$, then ${\frac {dL}{dt}} |_{L=0}<0$, and the trajectory $EE^{\prime}$ of system (1) cannot occur as shown in the situation (see Figure 4). The proof is completed.

Figure 4

The trajectory of system ( 1 ) cannot be so.

 □

Theorem 3.1

System (1) has an order-one periodic solution if $\frac{aK}{ec}< h<\frac{a\tau\ln (\frac{K}{\tau } )}{b}$ (see Figure 5).

Figure 5

The order-one periodic solution of system ( 1 ).

Proof

According to Lemmas 3.1 and 3.2, if the point $E^{+}$ is under the point E, then the condition $\frac {aK}{ec}< h<\frac{a\tau\ln (\frac{K}{\tau} )}{b}$ is satisfied. The successor function of point E is

$$f(E)=y_{E^{+}}-y_{E}< 0. $$

On the other hand, we choose any point in the pulse set such that the successor function is positive. Based on the condition $\dot {x}|_{y=0}>0$, we can choose a point $M((1-c)\tau,0)\in M_{I}\{x,y\}$ and its trajectory passing through the point $M'(\tau,0)$ along a straight line. Then point $M'$ jumps to point $M^{+}$ owing to impulsive effect, and thus the successor function of point M is

$$f(M)=y_{M^{+}}-y_{M}=c\tau>0. $$

In summary, according to Lemma 2.2, in the pulse set $M_{I}^{+}\{x,y\}$, there exists a point B between the points E and M such that $f(B)=0$, that is, system (1) has an order-one periodic solution. □

Theorem 3.2

System (1) has a unique order-one periodic solution if $\frac{aK}{ec}< h<\frac{a\tau\ln (\frac{K}{\tau} )}{b}$ and the successor function of system (1) is monotonic.

Proof

In the phase set ${M_{I}}^{+}$, we choose any two points $F(x_{F},y_{F})$ and $J(x_{J},y_{J})$ between point $M(x_{M},y_{M})$ and point $E(x_{E},y_{E})$ so that the point $J(x_{J},y_{J})$ is under the point $F(x_{F},y_{F})$, and thus their trajectories intersect at points $F'(x_{F'},y_{F'})$ and $J'(x_{J'},y_{J'})$ with impulse set $M_{I}$, respectively, and $y_{F}>y_{J}$ (see Figure 6).

Figure 6

System ( 1 ) has a unique order-one solution.

We obtain

$$y_{F'}-y_{F}= \int_{(1-c)\tau}^{\tau}\frac{dy}{dx}\,dx= \int^{\tau }_{(1-c)\tau}\frac{-by_{F}}{ax\ln (\frac{K}{x} )}\,dx $$

and

$$y_{J'}-y_{J}= \int_{(1-c)\tau}^{\tau}\frac{dy}{dx}\,dx= \int^{\tau }_{(1-c)\tau}\frac{-by_{J}}{ax\ln (\frac{K}{x} )}\,dx, $$

because $y_{F}>y_{J}$. Then

$$\begin{gathered} \int^{\tau}_{(1-c)\tau}\frac{-by_{F}}{ax\ln (\frac{K}{x} )}\,dx< \int^{\tau}_{(1-c)\tau}\frac{-by_{J}}{ax\ln (\frac{K}{x} )}\,dx, \\ y_{F'}-y_{F}< y_{J'}-y_{J}, \end{gathered} $$

and the successor functions of point F and point J are as follows:

$$\begin{gathered} f(F)=y_{F'}-y_{F}, \\ f(J)=y_{J'}-y_{J}, \\ f(F)-f(J)=(y_{F'}-y_{F})-(y_{J'}-y_{J})< 0. \end{gathered} $$

Because the successor function of system (1) is monotonic, an order-one periodic solution of system (1) is unique. The proof is completed. □

4 Stability of the order-one periodic solution

Definition 4.1

([42] (Ω limit set))

On the positive half-trajectory of system denoted by $g(p,T^{+}), T^{+}=(0,+\infty)$, let $\{0\leq{t_{1}}<{t_{2}}<\cdots<{t_{n}}<\cdots\}$ be a time series such that $\lim_{n\rightarrow+\infty}t_{n}=+\infty$. If $P^{*}$ is a limit point of the point range ${g(p,t_{n})}$, $n=1,2,\ldots$ , then we say that $P^{*}$ is an Ω limit point. The set of all Ω limit points is called the Ω limit set.

Definition 4.2

([42])

Suppose $\Gamma'$ is an order-one periodic solution of semicontinuous dynamic system. This periodic solution is called stable if it has a sufficiently small neighborhood $\bigcup(\Gamma')$ such that the Ω limit set of trajectories starting from any point $Q\in\bigcup(\Gamma')$ is $\Gamma'$.

According to Section 3, we obtain that system (1) has a unique periodic solution. Based on [42, 43], using a similar method, we choose any point $A'\in{M_{I}}^{+}$, and the path that consists of the curve $\widehat{A'B'C'}$ and the segment of line $C'A'$ is an order-one periodic solution, and we denote it by $\Gamma^{\prime}$. Then we choose a point series $\{T_{0}^{*}, T_{1}^{*},\dots, T_{k}^{*}, T_{k+1}^{*}\}$, where $T_{i+1}^{*}$ is the subsequent point of $T_{i}^{*}$, $i=0,1,\dots,k,\ldots$ . Build the coordinates on $M_{I}^{+}$. The support of the coordinate of $A'$ is 0. Denote by $t_{0}, t_{1}, \ldots, t_{k}, t_{k+1}$ the coordinates of the point series $T_{0}^{*}, T_{1}^{*}, \ldots, T_{k}^{*}, T_{k+1}^{*}$, where $t_{k}=-d_{k}$ when $A^{\prime}$ is on right side of $T_{k}^{*}$, otherwise, $t_{k}=d_{k}$ when $A^{\prime}$ is on left side of $T_{k}^{*}$, and the distance between $T_{k}^{*}$ and $A'$ is $d_{k}$ (see Figure 7).

Figure 7

$\pmb{T_{1},T_{2},\ldots,T_{k},T_{k+1},\ldots}$ are the subsequent points of $\pmb{T_{0},T_{1},\ldots,T_{k},T_{k+1},\ldots}$  , respectively.

Proposition 4.1

([43])

For system (1), there exists an order-one periodic solution such that its trajectory is through the point $A'$ in the phase set $M_{I}^{+}$. For any point $T_{0}^{*}$ sufficiently close to the point $A^{\prime}$, there exists a point series $T_{0}^{*}, T_{1}^{*}, \ldots, T_{k}^{*}, T_{k+1}^{*}, \ldots \rightarrow A^{\prime} (k\rightarrow\infty)$, that is, $t_{0}, t_{1}, \ldots, t_{k}, t_{k+1}, \ldots \rightarrow 0$, and thus the order-one periodic solution of system (1) is stable. If $t_{i}<0$ ($t_{i}>0$) for $i=0,1,\ldots ,k,\ldots$ , then the order-one periodic solution is unidirectionally stable.

Using the result in [43] and a similar method as in [42], we can prove the following results, which will prove the main result of Theorem 4.3. The main idea is to set up a rectangular coordinate to debate the theorems for ascertain the stability of order-one periodic solution.

For system (1), we have a hypothesis that the equations $P(x,y)$ and $Q(x,y)$ have any order partial derivatives, where the partial derivatives of P and Q are denoted by $P_{x_{n}}$, $P_{y_{n}}$, $Q_{x_{n}}$, $Q_{y_{n}}$. We assume that the closed orbit $\Gamma'$ is an order-one periodic solution of system (1), where $A'\in M_{I}^{+}\{x,y\}$ and $C'\in M_{I}\{x,y\}$. Suppose that the period from $A'$ to $C'$ is T, so T is also the period of $\Gamma'$. In the area very close to $\Gamma'$, we build a new coordinate system $(s,n)$. The length of the arc connecting the point $A^{\prime}$ and the corresponding point is the coordinate s, and the length of the normal line segment is coordinate n, and we suppose downside as the negative direction. Letting s be the parameter, the function of $\widehat{A'B'C'}$ is

$$ \textstyle\begin{cases} {x=\varphi(s),}\\ {y=\phi(s).} \end{cases} $$

(5)

Suppose the coordinate of point $A'$ is $(\varphi(s),\phi(s))$. Then, let the normal line of trajectory $\Gamma'$ pass through $A'$, and let it intersect the trajectory starting from $C'$ at $D_{k}$. The curve $\widehat{D_{k}'ET_{k+1}D_{k+1}'}$ will tend to the $\Gamma'(A'B'C'A')$ as $k\rightarrow+\infty$. Then the periodic solution $\Gamma'$ is stable (see Figure 8). Thus, the relation between the orthogonal coordinate $(s,n)$ and rectangular coordinate $(x,y)$ of point $A'$ is

$$ \textstyle\begin{cases} {x=\varphi(s)-n\phi'(s),}\\ {y=\phi(s)+n\varphi'(s),} \end{cases} $$

(6)

where

$$ \textstyle\begin{cases} {\varphi'(s)=\frac{dx}{dt} |_{A'}=\frac{P_{0}}{\sqrt {P_{0}^{2}+Q_{0}^{2}}},}\\ {\phi'(s)=\frac{dy}{dt} |_{A'}=\frac{Q_{0}}{\sqrt {P_{0}^{2}+Q_{0}^{2}}},} \end{cases} $$

(7)

$P_{0}$ and $Q_{0}$ represent the values of the functions P and Q at point $A'$, respectively, that is,

$$\begin{gathered} P_{0}=P\bigl(\varphi(s),\phi(s)\bigr), \\ Q_{0}=Q\bigl(\varphi(s),\phi(s)\bigr). \end{gathered} $$

Figure 8

Establish coordinate system $\pmb{(s; n)}$ on point A .

From systems (2) and (5) we have

$$\frac{dy}{dx}=\frac{\phi'(s)+\varphi'(s)\frac{dn}{ds}+n\varphi ^{\prime\prime}(s)}{\varphi'(s)-\phi'(s)\frac{dn}{ds}-n\phi^{\prime\prime}(s)}=\frac {Q(\varphi(s)-n\phi'(s),\phi(s)+n\varphi'(s))}{P(\varphi(s)-n\phi '(s),\phi(s)+n\varphi'(s))}. $$

Then we have

$$ {\frac{dn}{ds}=\frac{Q\varphi'-P\phi'-n(P\varphi^{\prime\prime}+Q\phi ^{\prime\prime})}{P\varphi'+Q\phi'}}\triangleq F(s,n). $$

(8)

We know that $n=0$ is a solution of system (8). The function $F(s,n)$ has continuous order-one partial derivative with respect to n, and we get

$$ \frac{dn}{ds}=F_{n}'(s,n)|_{n=0} \cdot n+o(n). $$

(9)

Because $P_{0}{\varphi^{\prime\prime}}+Q_{0}{\phi^{\prime\prime}}=0$, if $n=0$ (see [43]), then we get

$$\frac{dn}{ds}\triangleq H\bigl(s'\bigr)n, $$

where $H(x)$ denotes the curvature of orbit at point $A^{\prime}$ for system (2). Therefore the linear approximate function of system (9) is

$$\frac{dn}{ds}=H(s)n, $$

and thus the solution is

$$ n=n_{0}e^{\int_{0}^{s}H(s')\,ds'}. $$

(10)

Theorem 4.1

([43])

If k is the length of arc $\widehat{A'B'C'}$ which is a segment of the one-order periodic solution $\Gamma'$ of system (2), then the order-one periodic solution $\Gamma'$ is stable (unstable) when

$$ \int^{k}_{0}H(s)\,ds< 0\ (>0). $$

(11)

Theorem 4.2

([43])

Assume that the area neared by an order-one periodic solution trajectory $\Gamma^{\prime}$ is convex. If

$$\int_{0}^{T}(P_{x_{0}}+Q_{y_{0}})\,dt< 0, $$

then $\Gamma^{\prime}$ is stable.

Proof

Because $ds=\sqrt{P_{0}^{2}+Q_{0}^{2}}\,dt$, we have

$$\begin{aligned} \int_{0}^{k}H(s)\,ds =& \int_{0}^{T}\frac {P_{0}^{2}Q_{y_{0}}-P_{0}Q_{0}(P_{y_{0}}+Q_{x_{0}})+Q_{0}^{2}Q_{y_{0}}}{P_{0}^{2}+Q_{0}^{2}}\,dt \\ =& \int_{0}^{T} \biggl[P_{x_{0}}+Q_{y_{0}}- \frac {P_{0}^{2}P_{x_{0}}+P_{0}Q_{0}(P_{y_{0}}+Q_{x_{0}})+Q_{0}^{2}Q_{y_{0}}}{P_{0}^{2}+Q_{0}^{2}} \biggr]\,dt \\ =& \int_{0}^{T}(P_{x_{0}}+Q_{y_{0}})\,dt- \frac{1}{2} \int_{0}^{T}\frac {d}{dt}\bigl[\ln \bigl(P_{0}^{2}+Q_{0}^{2} \bigr) \bigr]\,dt. \end{aligned}$$

Because $\Gamma^{\prime}$ is the order-one periodic solution trajectory, we have

$$\frac{1}{2} \int_{0}^{T}\frac{d}{dt}\bigl[\ln \bigl(P_{0}^{2}+Q_{0}^{2} \bigr) \bigr]\,dt=0. $$

If

$$\int_{0}^{T}(P_{x_{0}}+Q_{y_{0}})\,dt< 0, $$

then $\int_{0}^{k}H(s)<0$. By Theorem 4.1, $\Gamma^{\prime}$ is stable. The proof is completed. □

Thus, we get the following conclusions.

Theorem 4.3

([43])

The order-one periodic solution $\Gamma'$ of system (1) is stable if

$$\int_{0}^{T} \biggl(\frac{\partial P}{\partial x}+ \frac{\partial Q}{\partial y} \biggr)\,dt< 0. $$

Proof

Based on the Bendixson-Dulac theorem (see, e.g., [43]), we can find that system (1) is the topological equivalence system of the following system (12). Let $v(x,y)=\frac{1}{x}$; then

$$ \textstyle\begin{cases} {\dot{x}=p(x,y)v(x,y)=a\ln (\frac{K}{x} )=p_{1}(x,y),}\\ {\dot{y}=q(x,y)v(x,y)=\frac{-by}{x}=q_{1}(x,y).} \end{cases} $$

(12)

Thus

$$\frac{\partial p_{1}}{\partial x}+\frac{\partial q_{1}}{\partial y}=-\frac{a}{x}-\frac{b}{x}= \frac{-a-b}{x}< 0. $$

Therefore the order-one periodic solution of system (1) is stable. The proof is completed. □

5 Numerical simulations and conclusion

5.1 Numerical simulations

In Sections 3 and 4, we have proved that system (1) has a unique stable order-one periodic solution. Here we give an example to verify the results.

Let $a=0.5$, $K=5$, $b=0.4$, $c=0.8$, and let the initial condition be $x_{0}=5$, $y=2$. By Theorems 3.1, 3.2, and 4.3 system (1) has a unique stable order-one periodic solution. The numerical simulation conforms the result; see Figure 9.

Figure 9

The numerical simulation of system ( 1 ). (a) Phase portrait of $x(t)$ and $y(t)$ on $\tau=3.65$. (b) Time series of $x(t)$. (c) Time series of $y(t)$.

5.2 Conclusion

In the previous studies, we always used the Poincaré theorem to prove the stability of order-one periodic solution. However, this method is not suitable for all systems.

In this paper, we compare the slope of pulse line and the trajectory at the pulse point. We get the condition that the successor function is negative, and we prove that system (1) has an order-one periodic solution.

Secondly, we use the monotonicity of the successor function, the geometric theory of differential equations, and the definition of the successor function to prove the uniqueness of an order-one periodic solution.

Finally, we consider a new method to prove the stability of an order-one periodic solution. In Proposition 4.1, the unidirectional stability of an order-one periodic solution can be used to determine that there is no closed orbit around the order-one periodic solution. Using the method of approximating time, we get the same conclusion of the limit cycle theory. So we rewrite Theorem 4.1 to Theorem 4.3. This method solves the problem that the subsequent function is difficult to calculate in the Cartesian coordinate system and also makes the problem simple.

Our main purpose is to prove the existence, uniqueness, and stability of an order-one periodic solution of system (1). However, does there exist a periodic solution for the migration of two- or multipopulation? If it does, then is the periodic solution stable? We leave these for our future work.