Skip to main content

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.

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 [614]. In particular, impulsive differential equations are very important in the research of population migration phenomenon [1524]. 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 [2738].

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 [3943], 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.

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
figure1

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
figure2

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}\}\).

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
figure3

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
figure4

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
figure5

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
figure6

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

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
figure7

\(\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
figure8

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

Numerical simulations and conclusion

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
figure9

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)\).

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.

References

  1. 1.

    Andrew Sugden, EP: When to go,where to stop. Science 313, 775 (2006)

    Article  Google Scholar 

  2. 2.

    Skellam, JG: Random dispersal in theoretical populations. Bull. Math. Biol. 53(1), 135-165 (1991)

    Article  MATH  Google Scholar 

  3. 3.

    Levin, SA, Paine, RT: Disturbance, patch formation, and community structure. Proc. Natl. Acad. Sci. USA 71(7), 2744-2747 (1974)

    Article  MATH  Google Scholar 

  4. 4.

    Freedman, HI, Shukla, JB, Takeuchi, Y: Population diffusion in a two-patch environment. Math. Biosci. 95(1), 111-123 (1989)

    MathSciNet  Article  MATH  Google Scholar 

  5. 5.

    Zeng, GZ, Chen, LS, Chen, JF: Persistence and periodic orbits for two-species nonautonomous diffusion Lotka-Volterra models. Math. Comput. Model. 20(12), 69-80 (1994)

    MathSciNet  Article  MATH  Google Scholar 

  6. 6.

    Cheng, H, Zhang, T, Wang, F: Existence and attractiveness of order one periodic solution of a Holling I predator-prey model. Abstr. Appl. Anal. 2012, 1 (2012)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Liu, B, Tian, Y, Kang, B: Existence and attractiveness of order one periodic solution of a Holling II predator-prey model with state-dependent impulsive control. Int. J. Biomath. 5(3), 675 (2012)

    Google Scholar 

  8. 8.

    Meng, X, Wang, L, Zhang, T: Global dynamics analysis of a nonlinear impulsive stochastic chemostat system in a polluted environment. J. Appl. Anal. Comput. 6(3), 865-875 (2016)

    MathSciNet  Google Scholar 

  9. 9.

    Zhang, H, Jiao, J, Chen, L: Pest management through continuous and impulsive control strategies. Biosystems 90(2), 350-361 (2007)

    Article  Google Scholar 

  10. 10.

    Zhao, W, Li, J, Meng, X: Dynamical analysis of SIR epidemic model with nonlinear pulse vaccination and lifelong immunity. Discrete Dyn. Nat. Soc. 2015, 1-10 (2015)

    MathSciNet  Google Scholar 

  11. 11.

    Liu, B, Zhang, Y, Chen, L: Dynamic complexities of a Holling I predator-prey model concerning periodic biological and chemical control. Chaos Solitons Fractals 22(1), 123-134 (2004)

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Cheng, H, Zhang, T: A new predator-prey model with a profitless delay of digestion and impulsive perturbation on the prey. Appl. Math. Comput. 217(22), 9198-9208 (2011)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Huang, M, Liu, S, Song, X, Chen, L: Periodic solutions and homoclinic bifurcation of a predator-prey system with two types of harvesting. Nonlinear Dyn. 73, 815-826 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Yang, J, Tang, G, Tang, S: Modelling the regulatory system of a chemostat model with a threshold window. Math. Comput. Simul. 132, 220-235 (2017)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Zhang, T, Ma, W, Meng, X, Zhang, T: Periodic solution of a prey-predator model with nonlinear state feedback control. Appl. Math. Comput. 266, 95-107 (2015)

    MathSciNet  Google Scholar 

  16. 16.

    Zhang, T, Meng, X, Song, Y, Zhang, T: A stage-structured predator-prey SI model with disease in the prey and impulsive effects. Math. Model. Anal. 18(4), 505-528 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  17. 17.

    Braverman, E, Liz, E: Global stabilization of periodic orbits using a proportional feedback control with pulses. Nonlinear Dyn. 67(4), 2467-2475 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  18. 18.

    Zhang, T, Ma, W, Meng, X: Global dynamics of a delayed chemostat model with harvest by impulsive flocculant input. Adv. Differ. Equ. 2017, 115 (2017)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Zhang, S, Meng, X, Feng, T, Zhang, T: Dynamics analysis and numerical simulations of a stochastic non-autonomous predator-prey system with impulsive effects. Nonlinear Anal. Hybrid Syst. 26, 19-37 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Liu, G, Wang, X, Meng, X: Extinction and persistence in mean of a novel delay impulsive stochastic infected predator-prey system with jumps. Complexity 2017(3), Article ID 1950970 (2017)

    MathSciNet  Google Scholar 

  21. 21.

    Zhao, Z, Li, Z, Chen, L: Existence and global stability of periodic solution for impulsive predator-prey model with diffusion and distributed delay. J. Appl. Math. Comput. 33(1-2), 389-410 (2010)

    MathSciNet  Article  MATH  Google Scholar 

  22. 22.

    Li, Z, Chen, L, Liu, Z: Periodic solution of a chemostat model with variable yield and impulsive state feedback control. Appl. Math. Model. 36(3), 1255-1266 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  23. 23.

    Tian, Y, Sun, K, Chen, L: Modelling and qualitative analysis of a predator-prey system with state-dependent impulsive effects. Math. Comput. Simul. 82(2), 318-331 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    Liu, Q, Huang, L, Chen, L: A pest management model with state feedback control. Adv. Differ. Equ. 2016(1), 292 (2016)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Zhou, A, Sattayatham, P, Jiao, J: Dynamics of an SIR epidemic model with stage structure and pulse vaccination. Adv. Differ. Equ. 2016(1), 140 (2016)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Zou, L, Xiong, Z, Shu, Z: The dynamics of an eco-epidemic model with distributed time delay and impulsive control strategy. J. Franklin Inst. 348(9), 2332-2349 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  27. 27.

    Wang, J, Cheng, H, Meng, X, Pradeep, BSA: Geometrical analysis and control optimization of a predator-prey model with multi state-dependent impulse. Adv. Differ. Equ. 2017(1), 252 (2017)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Miao, A, Wang, X, Zhang, T, Wang, W, Sampath Aruna Pradeep, BG: Dynamical analysis of a stochastic SIS epidemic model with nonlinear incidence rate and double epidemic hypothesis. Adv. Differ. Equ. 2017(1), 226 (2017)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Tang, S, Chen, L: Global attractivity in a food-limited population model with impulsive effects. J. Math. Anal. Appl. 292(1), 211-221 (2004)

    MathSciNet  Article  MATH  Google Scholar 

  30. 30.

    Huang, M, Song, X, Li, J: Modelling and analysis of impulsive releases of sterile mosquitoes. J. Biol. Dyn. 11(1), 147-171 (2017)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Jiang, G, Lu, Q: Impulsive state feedback control of a predator-prey model. J. Comput. Appl. Math. 200(1), 193-207 (2007)

    MathSciNet  Article  MATH  Google Scholar 

  32. 32.

    Pang, G, Chen, L: Periodic solution of the system with impulsive state feedback control. Nonlinear Dyn. 78(1), 743-753 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    Zhao, L, Chen, L, Zhang, Q: The geometrical analysis of a predator-prey model with two state impulses. Math. Biosci. 238(2), 55-64 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  34. 34.

    Meng, X, Zhang, L: Evolutionary dynamics in a Lotka-Volterra competition model with impulsive periodic disturbance. Math. Methods Appl. Sci. 39(2), 177-188 (2016)

    MathSciNet  Article  MATH  Google Scholar 

  35. 35.

    Leng, X, Feng, T, Meng, X: Stochastic inequalities and applications to dynamics analysis of a novel SIVS epidemic model with jumps. J. Inequal. Appl. 2017(1), 138 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  36. 36.

    Miao, A, Jian, Z, Zhang, T, Pradeep, BGSA: Threshold dynamics of a stochastic SIR model with vertical transmission and vaccination. Comput. Math. Methods Med. 2017, Article ID 4820183 (2017)

    MathSciNet  Article  Google Scholar 

  37. 37.

    Liu, L, Meng, X: Optimal harvesting control and dynamics of two-species stochastic model with delays. Adv. Differ. Equ. 2017(1), 18 (2017)

    MathSciNet  Article  Google Scholar 

  38. 38.

    Jiang, Z, Zhang, T: Dynamical analysis of a reaction-diffusion phytoplankton-zooplankton system with delay. Chaos Solitons Fractals 104, 693-704 (2017)

    MathSciNet  Article  Google Scholar 

  39. 39.

    Jiao, J, Yang, X, Cai, S, Chen, L: Dynamical analysis of a delayed predator-prey model with impulsive diffusion between two patches. Math. Comput. Simul. 80(3), 522-532 (2009)

    MathSciNet  Article  MATH  Google Scholar 

  40. 40.

    Xu, W, Chen, L, Chen, S, Pang, G: An impulsive state feedback control model for releasing white-headed langurs in captive to the wild. Commun. Nonlinear Sci. Numer. Simul. 34, 199-209 (2016)

    MathSciNet  Article  Google Scholar 

  41. 41.

    Shi, X, Yang, J, Song, G: Study on a giant panda reintroduction state feedback control pulse model with diffusion between two patches. J. Appl. Math. Comput. 51(1), 271-285 (2016)

    MathSciNet  Article  MATH  Google Scholar 

  42. 42.

    Zhang, M, Song, G, Chen, L: A state feedback impulse model for computer worm control. Nonlinear Dyn. 85(3), 1561-1569 (2016)

    MathSciNet  Article  MATH  Google Scholar 

  43. 43.

    Sun, M, Liu, Y, Liu, S, Hu, Z, Chen, L: A novel method for analyzing the stability of periodic solution of impulsive state feedback model. Appl. Math. Comput. 273, 425-434 (2016)

    MathSciNet  Google Scholar 

  44. 44.

    Zhang, T, Meng, X, Liu, R, Zhang, T: Periodic solution of a pest management Gompertz model with impulsive state feedback control. Nonlinear Dyn. 78(2), 921-938 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  45. 45.

    Trzcinski, MK, Reid, ML: Intrinsic and extrinsic determinants of mountain pine beetle population growth. Agric. For. Entomol. 11(2), 185-196 (2009)

    Article  Google Scholar 

Download references

Acknowledgements

The paper was supported by the National Natural Science Foundation of China (No. 11371230, 11501331), Shandong Provincial Natural Science Foundation, China (No. S2015SF002), SDUST Research Fund (2014TDJH102), and Joint Innovative Center for Safe and Effective Mining Technology and Equipment of Coal Resources, Shandong Province of China.

Author information

Affiliations

Authors

Contributions

All authors read and approved the final manuscript.

Corresponding author

Correspondence to Huidong Cheng.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Li, Y., Cheng, H., Wang, J. et al. Dynamic analysis of unilateral diffusion Gompertz model with impulsive control strategy. Adv Differ Equ 2018, 32 (2018). https://doi.org/10.1186/s13662-018-1484-3

Download citation

MSC

  • 34C25
  • 34D20
  • 92B05
  • 34A37

Keywords

  • unilateral diffusion
  • order-one periodic solution
  • limit cycle
  • Gompertz model