- Research
- Open Access
- Published:

# A discrete-time mathematical model of stage-structured mosquito populations

*Advances in Difference Equations*
**volume 2019**, Article number: 518 (2019)

## Abstract

This paper proposes a system of difference equations to model mosquito population. In this study, we develop and analyze the stage-structured models which consist of four distinct mosquito metamorphic stages: eggs, larvae, pupae, and adults. First, a model with constant birth rate is studied, and the inherent net reproduction number \(\Re _{0}\) of the model is derived. If \(\Re _{0}<1\), the extinction equilibrium is globally asymptotically stable. If \(\Re _{0}>1\), there exists a unique positive equilibrium which is uniformly persistent. When breeding is seasonal for a special case, it indicates that a unique globally asymptotically stable periodic solution is admitted when the net reproductive number is larger than one. When this value is less than one, the mosquito population goes to extinction. Finally, numerical simulations to demonstrate our findings and brief discussion are also provided.

## Introduction

The Asian tiger mosquito or forest day mosquito (Aedes albopictus), from the mosquito family Culicidae, is characterized by its black and white striped legs, small black and white body. It is native in the tropical and subtropical areas of Southeast Asia. Over the past few decades, this species has invaded many countries around the world through the increasing transport of goods and international travel [1]. It is a competent vector for more than 25 arboviruses, including dengue, Zika [2] and chikungunya [1], which was first reported in the Reunion Island in March 2005. For controlling the mosquito-borne diseases, the most traditional measures are to directly kill mosquitoes by spraying insecticides, reducing the source of larvae, and eliminating mosquitoes. On the one hand, although the current vector control strategies, including insecticide spraying and community-based source reduction, have taken some effect in a short time period, innovative prevention and control methods with long-term effect are still needed to control mosquito-borne disease. On the other hand, due to the lack of commercially available vaccines for dengue, Zika, and chikungunya, current mosquito-borne disease control methods focus on suppressing the prevalence of vectors and their capacity to transmit viruses [3, 4]. Developing tools to better understand the dynamics of mosquito populations and control them is a critical area of research.

The complete metamorphosis of the mosquito goes through four different stages of life cycle development, starting with the egg and hatching into larvae within a week under the right conditions. Larvae will use their tubes to breathe air by poking above the surface of the water and eat a bit of floating organic matter. Larvae molt four times totally when they grow and after the fourth molt, they are called pupae. Pupae also live near the surface of water and breathe through two horn-like tubes on their back, but pupae do not eat. When the skin splits after a few days from a pupa, an adult mosquito emerges [5]. Female mosquitoes then feed on human or animal blood to provide protein for their eggs. After biting, female mosquitoes rest while their eggs develop. Once eggs are fully developed, the females oviposit and then proceed to finding another blood meal to complete the mosquito feeding cycle [6]. The adults live for only a few weeks, and a full life-cycle of a mosquito takes about a month.

To have more realistic modelling of mosquitoes, we need to study stage structure, because the different stages respond to environment differently and regulate the population differently. Comparing the homogeneous stage-structured models, the latter model is more reasonable and realistic. Our goal is, after having a fundamental understanding of the dynamics for the mosquitoes, to have the mosquito models incorporated into disease transmission models for the mosquito-borne diseases [7]. There have been many elaborate works for the dynamical behavior of the transmission of mosquito-borne diseases [8,9,10], but many of these models do not take into account the metamorphic structure differences of mosquito populations. As we know, individuals differ in size or developmental stage, they also differ in their vital rates. Recently, continuous-time dynamical systems of stage-structured mosquito populations have been studied [9, 11]. However, since the experimental data of the detection of mosquito population in the field are discrete, we ought to establish a discrete model no matter considering the research background or the rationality of the model establishment. In this paper, our model is of discrete time and based on difference equations. The discrete model is referred to what we may call a discrete domain. The structure is indeed decomposed into parts called elements, and the set of such parts is what we call the discrete domain to which the discrete model is referred. Moreover, we consider stage-structured mosquito populations without distinguishing male and female individuals and assume that the mosquito dynamics follow the nonlinearity of Beverton–Holt type. Also, it should be noticed that interspecific competition and predation are rather rare events in mosquito populations. In this context, matrix models can describe population changes from one time step to the next. Commonly, it takes the form: \(x(t+1) = B(x(t))x(t)\), where \(x(t)\) is a vector of counts or densities at each stage at time *t*, and \(B(x(t))=(b_{ij})\) is a standard density-dependent population projection matrix detailing survival, maturation, and reproduction of existing individuals.

Recently, Lu and Li [12] studied the dynamics for mosquito population which included the discrete stage-structured model and formulated the following model:

where the mosquitoes are divided into four stages: eggs, larvae, pupae, and adults. \(E(t)\), \(L(t)\), \(P(t)\), \(A(t)\) denote the numbers of mosquitoes in every stage, respectively, at time *t*. The remaining coefficients are denoted as follows:

*b*, \(s_{0}\): rate of oviposition and survival probability;\(s_{e}\): hatching rate from eggs to larvae;

\(s_{l}\): pupation rate from larvae to pupae;

\(s_{p}\), \(s_{a}\): emergence rate from pupae to adults and density-dependent survival function of adults.

In the process of mathematical modeling, the inhibition of larva density on egg hatching is considered. They assume the surviving-adjusted hatching rate, denoted by \(s_{e}=s_{e}(L)\), to be a function of larvae *L*. These rates have the Beverton–Holt or Ricker-type form. It was shown by the analytical results that when the inherent net reproductive number is less than one, the trivial fixed point of system (1.1) is globally asymptotically stable, and is unstable if it is larger than one. However, for the unique positive fixed point, they only showed its local asymptotic stability under some conditions. Later, in 2017, Tian and Ruan [13] studied a free boundary problem for Aedes aegypti mosquito invasion, including the stage-structured mosquito population. Recently, Huang and Hu [14] developed a stage-structured model of delay differential equations that combines larval density-dependent competition with diapause eggs in order to compare the efficiency of different suppression strategies.

Based on an extensive review of current knowledge on mosquito biology, we estimate the seasonal oviposition rate that changes with the environmental conditions. Egg is treated by dividing one time unit into favorable (rainy season) and unfavorable (dry season) seasons during which adults will either not reproduce, or produce eggs that do not hatch. These lead us to considering the following discrete-time mathematical model to describe the dynamics of Aedes aegypti mosquito population, based on systems of difference equations:

The state variables \(E(t)\), \(L(t)\), \(P(t)\), and \(A(t)\) represent the numbers of eggs, larvae, pupae, adults, respectively, at time *t*. The parameter \(b(t)\) is the average number of eggs produced per female adult in one time unit, while \(\gamma _{i}\) (\(i=1,2,3\)) represents the rate (in one time unit) of eggs that hatch into larvae, larvae develop into pupae, and pupae that become adult mosquitoes, respectively. Hence, we assume \(0<\gamma _{i}\leq 1\) for \(i=1,2,3\). The function \(s_{i}\) (\(i=1,2,4\)) is the nonlinear survivorship rate of stage *i*. Since the pupae do not eat, we shall assume the survivorship rate from pupae to adults to be constant denoted by \(s_{3}\), and \(0< s_{3}<1\). Specially, interspecific competition and predation are rather rare events in the population dynamics of mosquitoes. Thus, we also assume that each stage of population only competes with themselves and are mutually independent. While only female mosquitoes are involved in the transmission of vector-borne diseases, this model ignores males. Furthermore, the mosquito survival rate in each stage \(s_{i}\) has the following properties:

Clearly, \((H_{1})\) is satisfied by the Beverton–Holt dynamics given by \(s_{i}(x)=\alpha _{i}k_{i}/(k_{i}+\alpha _{i} x)\) for \(i=1,2,4\). It represents that the surviving rates of hatching, pupation, and adult stage are all decreasing, but the total numbers of eggs, pupae, and adults are increasing and saturating to fixed numbers as the number of individuals increases [12]. Here, we are mainly interested in analysing model (1.2) for two cases. In the first case, we assume that \(b(t)=b\), independent of *t*, is a positive constant, while in the second case, we assume that \(b(t)\) is periodic with period 2. In this paper, our aim is to investigate the dynamical properties of a discrete stage-structured mosquito population with stage specific competition.

The remainder of this paper is organized as follows. In Sect. 2, we analyze global dynamical properties of the difference equation model when breeding is a constant, including basic reproductive number, existence of equilibria, stability of mosquito-free equilibrium \(E_{0}\), as well as persistence of positive equilibrium \(E_{1}\). In Sect. 3, we study a special case when breeding is seasonal with period-2 birth rates and provide the conditions on the inherent net reproductive number that lead to the population reaching a globally asymptotically stable two-cycle or going to extinction. In Sect. 4, some numerical simulations are presented to interpret the behaviour of the model, and we explain our main results biologically. Meanwhile, we show numerically for the case where density-dependent vital rate has the Ricker-type form, which reveals much more complex dynamics. A short discussion on research results is also given in this section.

## Constant birth

In this section, we consider system (1.2) where breeding is continuous. That is, for the remainder of this section, we assume that \(b(t)=b\) is a positive constant. Thus, system (1.2) can be written as the following difference equation:

Here, \(x(t)=(E(t),L(t),P(t),A(t))^{T}\), and the projection matrix *B* that maps the density at time *t* to the density at time \(t+1\) has the form

This allows us to determine the steady state values by solving the system of equations

In population dynamic applications, we are interested in solutions with non-negative components \(E(t)\geq 0\), \(L(t)\geq 0\), \(P(t)\geq 0\), \(A(t)\geq 0\). Let \({\mathbb{R}_{+}^{4}}\doteq (0,+\infty )\times (0,+ \infty )\times (0,+\infty )\times (0,+\infty )\). It must be pointed out that the solution of system (1.2) remains non-negative. System (1.2) will always have a trivial steady state \(E_{0}=(0,0,0,0)\), where all four of the population classes are zero. From \((H_{1})\), we obtain that system (1.2) or (2.1) has the property: if \(x\leq y\), \(B(x)\geq B(y)\), where vector and matrix inequalities hold componentwise.

We shall use the techniques in [15,16,17] to find the net reproductive number \(\Re _{0}\) of the population. Notice that the inherent projection matrix is \(B(0)=G+T(0)\), where the transition matrix \(T(0)\) is

and the fertility matrix *G* is

Thus, the net reproductive number is the positive, simple, and strictly dominant eigenvalue of the matrix \(G(I-T(0))^{-1}\). Through direct calculations, we know that

where \(\eta _{1}=1-(1-\gamma _{1})a_{1}\), \(\eta _{2}=1-(1-\gamma _{2})a _{2}\), \(\eta _{3}=1-(1-\gamma _{3})s_{3}\). Thus,

It is easily seen that

It is worth noting that we use the notation \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})\) to indicate the dependency of \(\Re _{0}\) on \(\gamma _{1}\), \(\gamma _{2}\), and \(\gamma _{3}\). Furthermore, if system (1.2) has a nontrivial interior steady state \(E_{1}=( \widetilde{E},\widetilde{L},\widetilde{P},\widetilde{A})\), where all stages have positive density, then *Ẽ*-component of a nontrivial steady state must satisfy

where

Since \(F'(\widetilde{E})<0\) and \(\lim_{\widetilde{E}\rightarrow \infty }F(\widetilde{E})=0\), we see that if

which is equivalent to \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})>1\), then system (1.2) has a nontrivial unique interior steady state \(E_{1}=(\widetilde{E},\widetilde{L},\widetilde{P},\widetilde{A})\). Furthermore, we shall show that system (1.2) is point dissipative. In fact, with assumption \((H_{1})\), we obtain

Let \(\overline{P(t+1)}\) satisfy the recursion \(\overline{P(t+1)}=\gamma _{2} \widehat{a_{2}}+s_{3}\overline{P(t)}\). Then it is easy to see that \(\overline{P(t+1)}=\gamma _{2} \widehat{a_{2}}\sum_{j=0}^{t-1}s_{3}^{j}+s_{3}^{t} \overline{P(0)}\) and \(\overline{P(t)}\) converges at \(t\rightarrow \infty \). Since \(0\leq P(t)\leq \overline{P(t)}\), \(P(t)\) is bounded as \(t\rightarrow \infty \). Assume that \(P(t)\leq M\), \(\forall t=0,1,2, \ldots \) . Then, it follows from system (1.2) that

Upon the positivity and boundedness of solutions for model (1.2), we claim the following result.

### Lemma 2.1

*Let*
\((E(t), L(t), P(t), A(t))\)*be the solution of model* (1.2). *Then the positive octant*
\(\{(E(t)>0, L(t)>0, P(t)>0, A(t)>0) \}\)*is invariant*, *the sequence*
\((E(t), L(t), P(t), A(t))\), \(t\geq 0\)*is ultimately bounded for as*
\(t\rightarrow \infty \). *That is to say*, *there is a compact set*
\(\varGamma \in \mathbb{R}_{+}^{4}\)*such that every forward solution sequence of* (1.2) *enters**Γ**in at most two time steps*, *and remain in**Γ**forever after*.

### Proof

The first part is obvious. As for the boundedness of solutions to model (1.2), we denote

This implies that the compact set *Γ* is positively invariant and all the solutions are non-negative and ultimately bounded.

The following results can be verified by direct calculations.

- (i)
If \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})<1\), then (1.2) always has a unique extinction equilibrium \(E_{0}=(0,0,0,0)\).

- (ii)
If \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})>1\), then (1.2) has a nontrivial equilibria, denoted by \(E_{1}=( \widetilde{E},\widetilde{L},\widetilde{P},\widetilde{A})\).

Thus, \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})\), which indicates the average number of offspring produced per individual, plays a key role in determining the existence and stability of equilibria of model (1.2). Now, we prove the following stability result for (1.2). Notice that an equilibrium is globally asymptotically stable on \(\mathbb{R}^{4}_{+}\) if it is locally asymptotically stable on \(\mathbb{R}^{4}_{+}\) and if \((E(0),L(0),P(0),A(0)) \in \mathbb{R}_{+}^{4}\) implies that \((E(t),L(t),P(t),A(t))\) tends to the equilibrium as \(t\rightarrow \infty \). □

### Theorem 2.1

*If*
\(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})<1\), *then the extinction equilibrium*
\(E_{0}\)*of model* (1.2) *is globally asymptotically stable*. *Moreover*, \(E_{0}\)*is unstable if*
\(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})>1\).

### Proof

The proof is similar to that of [18,19,20] with some minor modifications. Since \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})<1\), system (1.2) only has a trivial steady state \(E_{0}=(0, 0, 0, 0)\). Define the map \(P:\mathbb{R}_{+}^{4}\rightarrow \mathbb{R}_{+}^{4}\) for the right-hand side of system (1.2). To calculate the stability of \(E_{0}\), we need to linearize model (1.2) about steady state \(E_{0}\) and evaluate the resulting Jacobian matrix

Then the eigenvalues of \(JP(E_{0})\) have magnitude less than one, and hence, equilibrium \(E_{0}\) is locally asymptotically stable.

We next establish global asymptotic stability of \(E_{0}\). Note that the inherent projection matrix \(B(0)\) of system (1.2) is non-negative, irreducible, and primitive. It has positive, simple, and strictly dominant eigenvalues *r*. Moreover, since \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})<1\), it follows from [16] that \(r<1\) and \(\lim_{t\rightarrow \infty }B^{t}(0)=0\). Thus, for any \(x(0)\), we have \(0\leq x(1)=B(x(0))x(0)\leq B(0)x(0)\), and repeating this we get that \(0\leq x(t)\leq B^{t}(0)x(0)\rightarrow 0\) as \(t\rightarrow \infty \). Hence, \(E_{0}\) is globally asymptotically stable. That is to say, if the extinction steady state is stable, the mosquito population can not persist.

In addition, when \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})>1\), it follows from Theorem 1.1.3 in [16] that \(B(0)\) has a positive strictly dominant eigenvalue greater than one. That is, the linearization of (1.2) at \(E_{0}\) has a positive eigenvalue greater than one, which means trivial fixed point \(E_{0}\) is unstable. □

### Theorem 2.2

*If*
\(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})>1\), *then system* (1.2) *is uniformly persistent*.

### Proof

Assume \(\Re _{0}(\gamma _{1},\gamma _{2},\gamma _{3})>1\), let *f* be the map on the right-hand side of (1.2) from \(\mathbb{R}_{+}^{4}\) to \(\mathbb{R}_{+}^{4}\), and *D* denotes the boundary of *Γ* defined in (2.5). Since \(\operatorname{int} \mathbb{R}_{+}^{4}\) is positively invariant for system (1.2), it follows from Lemma 2.1 that \(f^{t}(\varGamma \backslash D)\subset \varGamma \backslash D\), where \(f^{t}(x)\) denotes the *t*th iteration of *x* under *f*. Moreover, employing Theorem 2.1 in [21] and Lemma 2.1, we know that there exists a global attractor *X* in *Γ*.

Let \(M={(0,0,0,0)}\) be the maximal compact invariant set in *X*, and \(\varGamma \backslash M\) is positively invariant. In order to prove if \(r>1\), system (1.2) is uniformly persistent, which is equivalent to saying that *M* is a uniform repeller.

In the following, we will construct a continuous function \(Q: \mathbb{R}_{+}^{4}\rightarrow \mathbb{R}_{+}\) satisfying the conditions:

- (1)
\(Q(x)=0\) for \(x\in M\);

- (2)
there exists a neighborhood

*U*of*M*such that \(\forall x\in U\backslash M\), \(\exists n>0\), such that \(Q(f^{n}(x))>Q(x)\).

Since \(B(0)\) is non-negative and irreducible, it has a dominant eigenvalue \(r>1\), which has a corresponding positive left eigenvector \(\theta >0\),

Let \(r^{*}\in (1,r)\) such that \(\theta ^{T}B(0)>r^{*}\theta ^{T}\). Furthermore, there exists a neighbourhood *U* of *M* by the continuity of \(B(x)\) such that

Define \(Q:\mathbb{R}_{+}^{4}\rightarrow \mathbb{R}_{+}\) as follows:

Then \(Q(x)=0\) for \(x\in U\) iff \(x\in M\), and positive elsewhere in *U*. Moreover,

Hence, (1.2) is uniformly persistent. This implies that there exists a positive number \(\rho \in \mathbb{R}_{+}^{4}\) such that, for every solution \((E(t),L(t),P(t),A(t))\), we have

for all non-zero orbits in \(\mathbb{R}_{+}^{4}\). This completes the proof. □

In the following, we describe the situation when all translating rates equal one. Namely, \(\gamma _{1}=\gamma _{2}=\gamma _{3}=1\). That is, we include a term that describes the survivorship of population from generation to generation. To proceed further, we review the relevant existing results on the \(k+1\)-order nonlinear difference equation before we formulate the problem that we subsequently study.

where \(F\in C(I^{k+1},{\mathbb{R}})\) and *I* is an open interval of \(\mathbb{R}\).

### Lemma 2.2

*Let*
\(x^{*}\in I\)*be an equilibrium of* (2.7). *Suppose that**F**satisfies the following two conditions*:

- (1)
*F**is non*-*decreasing in each of its arguments*; - (2)
*F**satisfies*\((u-x^{*})[F(u,u,\ldots ,u)-u]<0\)*for all*\(u\in I\backslash {x^{*}}\).

*Then equilibrium point*
\(x^{*}\)*is a global attractor of all solutions of equation* (2.7).

The analysis given below focuses on the case of the following system of difference equations:

We first observe that (2.8) has a trivial steady state \(E_{0}\). It is easily seen that a nontrivial constant equilibrium \((\overline{E}, \overline{L},\overline{P},\overline{A})\) must be an equilibrium that has all positive components. The A-component of a nontrivial steady state must satisfy

Consequently, equation (2.8) has a coexistence steady state \(E^{*}=(\overline{E},\overline{L},\overline{P},\overline{A})\), where all stages have positive density if and only if

where \(\overline{E}=b\overline{A}\), \(\overline{L}=s_{1}(b\overline{A})b \overline{A}\), \(\overline{P}=s_{2}(s_{1}(b\overline{A})b\overline{A})s _{1}(b\overline{A})b\overline{A}\). The interior steady state is unique whenever it exists. Specially, if we consider the inhibition of larvae density on the egg hatching, namely \(s_{1}=s_{1}(L)\), then system (2.8) is the same as (1.1) in [12]. Consequently, we can use the stability information about the steady states to understand the asymptotic dynamics of our model.

### Theorem 2.3

*If*
\(\Re _{0}(1,1,1)=\frac{bs_{3}a_{1}a_{2}}{1-a_{4}}>1\), *then* (2.8) *has a unique equilibrium*
\(E^{*}=(\overline{E},\overline{L}, \overline{P},\overline{A})\)*which is globally asymptotically stable in the interior of*
\(\mathbb{R}_{+}^{4}\).

### Proof

Since \(\Re _{0}(1,1,1)>1\), it is clear that \(E^{*}\) exists by the above analysis. We now turn our attention to equilibrium point \(E^{*}\). First, we prove that \(E^{*}\) is locally asymptotically stable. To calculate the local stability of \(E^{*}\), the linearization of (2.8) about \(E^{*}\) yields the Jacobian matrix

where \(J_{21}=s_{1}^{\prime }(\overline{E})\overline{E}+s_{1}(\overline{E})>0\), \(J_{32}=s_{2}^{\prime }(\overline{L})\overline{L}+s_{2}(\overline{L})>0\), and \(J_{44}=s_{4}^{\prime }(\overline{A})\overline{A}+s_{4}(\overline{A})>0\). Furthermore, at equilibrium \(E^{*}\), the characteristic equation for the corresponding linearized model of (2.8) is

To show local asymptotic stability of \(E^{*}\), we need to show that the following inequalities hold:

Since *A̅* satisfies (2.9), \(\overline{E}=b\overline{A}\), \(\overline{L}=s_{1}(\overline{E})\overline{E}\), and \(\overline{P}=s _{2}(\overline{L})\overline{L}\), we have by (2.9) that

Substituting the above expression of 1 into \(f(1)\), and with the assumptions of \((H_{1})\), we have

It is also clear that

as \(J_{44}>0\). Next, we prove the third inequality

Note that the term inside the absolute value on the left-hand side of equation (2.12) is negative, yielding

Because of equation (2.12) and \(b,s_{3},J_{21},J_{32},J_{44}>0\), condition (iv) becomes

Since (i) has been satisfied, then

At last, we proceed to verifying the last inequality (v). For convenience, we denote \(m=-bs_{3}J_{21}J_{32}\), \(n=-J_{44}\). Then (v) is equal to

Since \(-1< m<0\), \(n<0\), we have \(1-m>0\). Then (v) is satisfied if \((1+m)^{2}(1-m)+n^{2}m>0\). However, by \(f(1)=1+m+n>0\), we obtain

This implies that \(E^{*}\) is locally asymptotically stable.

In what follows, we show the convergence of equilibrium \(E^{*}\). Notice that (2.8) can be converted into the following scalar difference equation:

Since \(bs_{3}a_{1}a_{2}+a_{4}>1\), (2.13) admits a unique positive steady state *A̅*. It is sufficient to prove that *A̅* is globally attracting for (2.13) in \((0,\infty )\).

Let

we obtain

for all \(E,L,P,A>0\). Moreover,

for \(A>0\) and \(A\neq \overline{A}\). Hence *A̅* is globally attracting for (2.13) in the interior of \(\mathbb{R}_{+}^{4}\). By using Lemma 2.2, equilibrium \(E^{*}\) is globally attracting for (2.8). This concludes the proof of this theorem. □

Furthermore, we also know that system (2.8) is uniform in the parameters for a perturbation around \(\gamma _{1}=\gamma _{2}=\gamma _{3}=1\).

### Theorem 2.4

*If*
\(\Re _{0}(1,1,1)=\frac{bs_{3}a_{1}a_{2}}{1-a_{4}}>1\), *then the extinction equilibrium for system* (2.8) *is a repeller*, *uniform in the parameter*
\(\gamma =(\gamma _{1},\gamma _{2}, \gamma _{3})\)*near*
\((1,1,1)\). *That is*, *there is an open neighbourhood*
\(U_{0}\)*of* 0 *in*
\(\mathbb{R}_{+}^{4}\), *and positive constants*
\(c_{i}\in (0,1)\), \(i=1,2,3\), *such that*, *for every*
\(x(0)\neq 0\)*and every*
\(\gamma \in [c_{1},1]\times [c_{2},1]\times [c_{3},1]\), *there is some*
\(N(x(0),\gamma )\geq 0\)*such that*

*where*
\(x(t)=(E(t),L(t),P(t),A(t))\), \(f(x(t))\)*denotes the right*-*hand side of system* (2.8), *and*
\(f^{n}(x)\)*denotes the**nth iteration of**x**under**f*.

### Proof

The proof is similar to that of Ackleh ([19], Lemma 5) with some minor modifications, so we omit it here. □

## Seasonal breeding

In this section, we assume that breeding of the mosquito population is seasonal. Furthermore, to make the model mathematically tractable, we only consider a case for (2.8) with \(b=b(t)\). That is to say, all survived individuals move into the subsequent stage within one time step. Then the model equations become

We know that there are times when the environment is suitable for mosquitoes to lay, and to escape harsh environment, the adults do not lay eggs or eggs do not hatch. All their life processes drop to a very low level. Additionally, we assume in model (3.1) that the function \(b(t)\) is periodic with period 2. Specifically, we let \(b(0)=\widehat{b}\), \(b(1)=0\), \(b(2)=\widehat{b}\), \(b(3)=0,\ldots \) . In other words, if the time unit is half a day and a full cycle consists of one day, the mosquito population gives birth only half the day, while in the other half there is no birth. Let \((E(0), L(0), P(0), A(0)) \in \mathbb{R}_{+}^{4}\backslash \{(0,0,0,0)\}\) be given. It is easy to see that \((E(t), L(t), P(t), A(t))\in \mathbb{R}_{+}^{4} \backslash \{(0,0,0,0)\}\) for \(t>0\). Moreover, from system (3.1), we get

Hence, if \((E(0), L(0), P(0), A(0))\) is a part of two-cycle, with a little algebra one can show that \(E(2)=b(1)A(1)=0\), \(L(2)=s_{1}( \widehat{b}A(0))\widehat{b}A(0)\), \(P(2)=s_{2}(L(1))L(1)=0\), and

If \(A(0)\neq 0\), then \(A(0)\) must satisfy

Let

It follows that

for all \(A>0\) and \(s_{i}\) satisfies \((H1)\) for \(i=1,2,4\). Moreover, using similar calculations as before, one can show that \(H(0)= \widehat{b}a_{1}a_{2}s_{3}+a_{4}^{2}\), \(\lim_{A\rightarrow \infty }H(A)=0\), and \(H^{\prime }(A)<0\). Denote \(A(0)=A^{*}\), and thus, we conclude that (3.2) has a positive solution \(A^{*}\) if and only if

which is equivalent to

where \(\widehat{\Re }_{0}\) is the inherent net reproductive number for the seasonal mosquito population. Let \(L(0)=L^{*}\), therefore (3.1) has a unique two-cycle

if and only if (3.4) holds, where \(A^{*}\) satisfies

and

Here, it is worth noting that system (3.1) is a periodic system. In the next theorem, we summarize the main stability results for linear non-autonomous system (3.1). To facilitate the proof of the theorem, we first establish a stability result that is of independent interest, following the analysis of Saber Elaydi [22].

For the autonomous (time-independent) linear system \(x(n+1)=Bx(n)\), the eigenvalues of *B* determine the stability properties of the system. But for a periodic system \(x(n+1)=B(n)x(n)\), the eigenvalues of \(B(n)\) do not play any role in the determination of the stability properties of the system. Instead, the Floquet multipliers of \(B(n)\) determine those properties. Considering the following periodic system:

we now give a simple but powerful criterion for asymptotic stability of system (3.6).

### Lemma 3.1

*The steady state solution of equation* (3.6) *is asymptotically stable if and only if each eigenvalue of*
\(C=B(N-1)B(N-2)\cdots B(0)\)*has modulus less than* 1.

### Theorem 3.1

*For*
\(t=0,1,2,\ldots \) , *and*
\(b(2t)=\widehat{b}>0\), \(b(2t+1)=0\). *Assume that*
\((H1)\)*holds*. *Then the following statements hold*:

- (i)
*If*\(\widehat{\Re }_{0}<1\),*then*\(\widehat{E}_{0}=(0,0,0,0)\)*is globally asymptotically stable*. - (ii)
*If*\(\widehat{\Re }_{0}>1\),*then there exists a unique nontrivial two*-*cycle for system*(3.1)*which is globally asymptotically stable*.

### Proof

We divide the proof into the two cases.

First, we start by proving (i). By using Lemma 3.1, since system (3.1) is periodic with period two, the local stability of \(\widehat{E}_{0}\) can be determined by establishing the eigenvalues of the projection matrix over a full cycle

Denote the resulting product matrix by \(A_{0}\), then the characteristic polynomial associated with this matrix is given by

Then the eigenvalues of \(A_{0}\) are 0 and the roots of equation

We conclude from [22] that the roots of (3.7) lie inside the unit disk if and only if

or, equivalently,

If condition (3.8) holds, then \(\widehat{E}_{0}\) is locally asymptotically stable. However, (3.8) can reduce to \(a_{4}^{2}<1- \widehat{b}a_{1}a_{2}s_{3}<2\) as \(a_{4}>0\). Note that \(\widehat{b}>0\), \(s_{3}>0\), and \(a_{1},a_{2}>0\) under assumption \((H_{1})\), we know \(1-\widehat{b}a_{1}a_{2}s_{3}<2\) is trivially true. Furthermore, the left-hand side of inequality is satisfied by \(\widehat{\Re }_{0}<1\). Then (3.8) holds. Therefore, \(\widehat{E}_{0}\) is locally asymptotically stable.

The next step is to establish the global attractivity of \(\widehat{E} _{0}\) by virtue of a simple comparison method. From system (3.1), we see that \(E(2t+1)=\widehat{b}A(2t)\), \(E(2t+2)=0\), \(L(2t+1)=0\), \(P(2t+2)=0\), which implies that

i.e.,

for \(t\geq 1\). Letting \(n+i=2(t+i)\) for \(i\geq 0\), consider the following linear system of difference equations:

with \(M(1)=L(2)\), \(N(1)=A(2)\).

From this, we get that the eigenvalues of the above coefficient matrix satisfy

Similar to the above analysis, all the eigenvalues have modulus less than 1, and using a simple comparison method, we have \(\lim_{n\rightarrow \infty } M(n)=\lim_{n\rightarrow \infty } N(n)=0\). Thus, \(\lim_{n\rightarrow \infty } L(2t+2)=\lim_{n\rightarrow \infty } A(2t+2)=0\) and, as a result, \(\lim_{n\rightarrow \infty } E(2t+1)\leq \widehat{b} \lim_{n\rightarrow \infty } A(2t)=0\), \(\lim_{n\rightarrow \infty } P(2t+1)\leq a_{2} \lim_{n\rightarrow \infty } L(2t)=0\), and \(\lim_{n\rightarrow \infty } A(2t+1)\leq a_{4} \lim_{n\rightarrow \infty } A(2t)=0\). Consequently, we know that \(\widehat{E}_{0}\) is globally attracting of system (3.1). Therefore, \(\widehat{E}_{0}\) is globally asymptotically stable.

From the above analysis, we have known that (3.1) has a unique two-cycle

if and only if \(\widehat{\Re }_{0}>1\) holds, and

In the following, we show that the two-cycle is globally asymptotically stable.

To prove (ii), we first prove that the two-cycle is locally asymptotically stable. Recall that its stability depends on the eigenvalues of the product of the matrices

where

Denote the resulting product matrix by \(A_{1}\). Then the characteristic polynomial associated with this matrix is given by

Then the eigenvalues of \(A_{1}\) are 0 and the roots of equation \(\lambda ^{2}-Ba_{44}\lambda -\widehat{b}s_{3} a_{32}C=0\). In order to show that the two-cycle is locally asymptotically stable, it is necessary and sufficient that

which reduces to \(Ba_{44}<1-\widehat{b}s_{3} a_{32}C<2\) as \(B,a_{44}>0\). Note that \(\widehat{b}, s_{3}>0\) and \(a_{32}, C>0\) under assumption \((H_{1})\), we know \(1-\widehat{b}s_{3} a_{32}C<2\) is always true. Therefore, we only need to prove

Replacing 1 by the right-hand side of equilibrium equation (3.5), we have

Notice that the last three terms in the above expression are all positive, and the first two terms can be combined to yield a positive term \(-\widehat{b}s_{3}s_{2}(L^{*})s_{1}^{\prime }(\widehat{b}A ^{*})\widehat{b}A^{*}\) by (3.10). Therefore (3.11) holds and the two-cycle is locally asymptotically stable.

To finish the proof of (ii), it remains to show that the two-cycle is globally attracting in the interior of \(\mathbb{R}_{+}^{4}\). The proof is similar to the proof of Sect. 2. Let \((E(0),L(0),P(0),A(0)) \in \mathbb{R}_{+}^{4}\backslash \{(0,0,0,0)\}\) be given. Note that

for \(t\geq 1\). From this, we get

Let \(n+i=2(t+i)\) for \(i\geq 0\), we obtain

for \(n\geq 1\), which is equivalent to the following second-order scalar equation:

Let the right-hand side of (3.14) be denoted by \(q(x,y)\), i.e.,

Then

and

Furthermore, (3.14) admits a unique interior steady state \(A^{*}\) since \(\widehat{b}a_{1}a_{2}s_{3}+a_{4}^{2}>1\). It is easy to see that

Employing the results of Lemma 2.2, we have the following result, \(\lim_{t\rightarrow \infty }L(2t)=L^{*}\), \(\lim_{t\rightarrow \infty }A(2t)=A^{*}\). That is to say, the even subsequence \((E(2t),L(2t),P(2t),A(2t))\) of the solution converges to \((0, L^{*}, 0, A^{*})\). Meanwhile, it follows from (3.12) and (3.13), we obtain \(\lim_{t\rightarrow \infty }E(2t+1)= \widehat{b}A^{*}\), \(\lim_{t\rightarrow \infty }P(2t+1)=s_{2}(L ^{*})L^{*}\), and \(\lim_{t\rightarrow \infty }A(2t+1)=s_{4}(A ^{*})A^{*}\), and thereby the odd subsequence \((E(2t+1),L(2t+1),P(2t+1),A(2t+1))\) converges to \((\widehat{b}A^{*}, 0, s_{2}(L^{*})L^{*}, s_{4}(A^{*})A^{*})\). Since \((E(0),L(0),P(0),A(0))\neq (0,0,0,0)\) is arbitrary, we get that the two-cycle solution is globally attracting in the interior of \(\mathbb{R}_{+} ^{4}\). Hence, the two-cycle is globally asymptotically stable. □

### Remark 3.1

For system (3.6), every local stability property of the zero solution implies the corresponding global stability property.

## Simulations, biological explanations, and discussions

In order to interpret the conclusions from a quantitative perspective, the dynamics of the mosquito population by numerical simulations will be analyzed in the following. In this section, we use MATLAB technical computing software to find the numerical solutions of model (1.2) and analyze the effect of basic reproduction number \(\Re _{0}\) and \(\widehat{\Re }_{0}\).

With parameter values given in Fig. 1, the breeding of mosquito population is continuous, if \(b=9\), the inherent net reproductive number \(\Re _{0}=0.9370<1\) (see Fig. 1(a)). Thus, Theorem 2.1 indicates that mosquito-free equilibrium \(E_{0}\) is globally asymptotically stable, and the mosquito population goes extinct. Meanwhile, this result shows that the mosquito population can be eliminated by controlling birth rate of adults. If \(b=12\), the inherent net reproductive number \(\Re _{0}=1.2493>1\). While we are only to show the persistence of the positive fixed point for model (1.2) with the Beverton–Holt form survival functions, the stability seems global.

Next, we analyze numerically the global dynamics of system (1.2) for \(\gamma _{1}=\gamma _{2}=\gamma _{3}=1\).

Figure 1(b) shows that if the inherent net reproductive number \(\Re _{0}(1,1,1)=1.8>1\), the trivial fixed point becomes unstable, and there exists an interior steady state, \(E_{1}=(30,70,82,210)\), which is globally asymptotically stable. It means that the mosquito population exists despite the low birth rates of adults in this case.

Figure 2 indicates that for model (3.1), when the breeding of the mosquito population is seasonal with 2-cycle, i.e., \(b(2t)=\widehat{b}\), \(b(2t+1)=0\). As \(\widehat{b}=2.5\), the inherent net reproductive number \(\widehat{\Re }_{0}=0.8333<1\), \(\widehat{E}_{0}\) is globally asymptotically stable and the mosquito population can be eliminated. As \(\widehat{b}=4\), \(\widehat{\Re }_{0}=1.3333>1\), a stable 2-cycle appears which is globally asymptotically stable and the mosquito population can be established. Comparing the results with those above, we know that period 2 birth rates are not advantageous for low birth rates of the mosquito population. Furthermore, we remark that model (3.1) admits a periodic solution which illustrates our mathematical result of Theorem 3.1.

With all parameter values given in Fig. 1, \(s_{2}(L)\) has the Ricker-type nonlinearity such that \(s_{2}(L)=a_{2}e^{-L/k_{2}}\) and \(E(0)=L(0)=P(0)=A(0)=10\). Figure 3 shows that for model (1.2), the breeding of the mosquito population is a constant. As \(b=8\), the inherent net reproductive number \({\Re }_{0}=0.8329<1\), mosquito-free equilibrium \(\widetilde{E}_{0}\) is globally asymptotically stable. As \(b=13\), \({\Re }_{0}=1.3534>1\), \(\widetilde{E}_{0}\) becomes unstable and \(\widetilde{E}_{1}=(4.29,5.71,20,114.2)\), the system is globally asymptotically stable. We find that the solution curve is the same as in Fig. 1. It means that the changing larval survival rate has little effect on the stability of equilibrium state.

To conclude, our numerical simulations demonstrate when the function \(s_{i}(x)\) has the Ricker-type form such that \(s_{i}(x)=a_{i}e^{-x/k _{i}}\), \(i=1,2,4\), complex behavior emerges on the dynamic of the mosquito population. Here, we use the following set of parameters for the model of (1.2): \(a_{1}=0.7\), \(a _{2}=0.4\), \(s_{3}=0.68\), \(a_{4}=0.2\), \(k_{1}=300\), \(k_{2}=350\), \(k_{4}=500\), \(\gamma _{1}=0.8\), \(\gamma _{2}=0.8\), \(\gamma _{3}=0.8\), and let *b* vary, but keep all \({\Re }_{0}>1\) and \({\Re }_{0}\) increasing. The periodic oscillations appear as expected. The larger the \({\Re }_{0}\), the larger the amplitude of solution, for different values of \({\Re }_{0}\), the dynamical behavior of solutions changes. As \(b=12\), \({\Re }_{0}=2.1391\). The positive fixed point is globally asymptotically stable. As \(b=70\), \({\Re }_{0}=12.4780\). The solution appears to oscillate. As \(b=100\), \({\Re }_{0}=17.8257\), and a cycle with period exists. As \(b=200\), \({\Re }_{0}=35.6514\), and the system exhibits chaotic behavior. All populations shown in the figures are only eggs for clearer views.

Mosquito-borne diseases are a major public health concern because they cause substantial mortality and morbidity worldwide. An effective way to prevent these diseases is to control mosquitoes. Hence, it is crucial to study the population dynamics of mosquitoes and to devise effective and realistic methods for controlling mosquito population in communities. To build a theoretical framework, we developed and analysed discrete-time models for mosquitoes, including the four distinct stages with time-dependent(independent) birth rates and nonlinear survivorship rates.

For model (1.2), we show that for continuous or seasonal breeding, extinction or coexistence depends on the inherent net reproductive number. First, continuous breeding is assumed and the asymptotic behavior of the resulting autonomous model is fully analyzed. It is shown that the unique interior equilibrium is uniformly persistent when the inherent net reproductive number is greater than one. Furthermore, if we assume the transition rate from the previous to the next state, i.e., \(\gamma _{1}=\gamma _{2}=\gamma _{3}=1\), the unique interior equilibrium is globally asymptotically stable. However, when the inherent net reproductive is less than one, the mosquito population becomes extinct. In addition, we also show that the system is uniformly persistent in the parameters with a perturbation around \(\gamma _{1}=\gamma _{2}=\gamma _{3}=1\). Then, we fully analyze the model with a seasonal breeding birth rate for the above special case. That is to say, all survived individuals move into the following stage within one time step, respectively, a seasonal breeding birth rate with period two is assumed. It is proved that for this non-autonomous model a period two solution is globally asymptotically stable when the inherent net reproductive number is greater than one, and when the inherent net reproductive number is less than one, the population becomes extinct. The outcomes rely on reducing the model to a higher-order scalar difference equation and applying the result on monotone scalar difference equations from [22].

Finally, numerical simulations are also provided to demonstrate these theoretical results. Moreover, in order to study the effects of survivorship functions which are strong non-linearities as opposed to weak non-linearities, we consider the dynamical properties for a case with the Ricker-type form survival functions in our model. In this case, the dynamics are complicated and the behaviour of the solutions is captured primarily through simulations. In Fig. 4, we consider Ricker-type survivorship functions with a constant birth, we use the following Ricker-type survivorship functions: \(s_{i}(x)=a_{i}e^{-x/k_{i}}\) for \(i=1,2,4\). The parameter values and initial conditions are set in Fig. 4. We see that the Ricker-type survivorship functions result in much richer dynamics than those with the Beverton–Holt functions, including chaotic dynamics. We also plan to incorporate this investigation into the mosquito-borne disease. Mathematical analysis will be more challenging, but this is exactly what we need. Our objective is to find the best strategies for the releases of sterile mosquitoes to prevent and control the mosquito-borne diseases.

## References

- 1.
Moulay, D., Aziz Alaoui, M.A., Cadivel, M.: The chikungunya disease: modelling, vector and transmission global dynamics. Math. Biosci.

**229**(1), 50–63 (2010) - 2.
Balsacchino, F., Caputo, B., Chandre, F.: Control methods against invasive Aedes mosquitoes in Europe: a review. Pest Manag. Sci.

**71**(11), 1471–1485 (2015) - 3.
Faraji, A., Unlu, I.: The eye of the tiger, the thrill of the fight: effective larval and adult control measures against the Asian tiger mosquito, Aedes albopictus(diptera: culicidae), in North America. J. Med. Entomol.

**53**(5), 1029–1047 (2016) - 4.
Zheng, B., Yu, J., Xi, Z.: The annual abundance of dengue and Zika vector Aedes albopictus and its stubbornness to suppression. Ecol. Model.

**387**, 38–48 (2018) - 5.
Becker, N.: Mosquitoes and Their Control. Kluwer Academic, New York (2003)

- 6.
Chitnis, N., Hyman, J.M., Cushing, J.M.: Determining important parameters in the spread of malaria through the sensitivity analysis of a mathematical model. Bull. Math. Biol.

**70**(5), 1272–1296 (2008) - 7.
Li, J.: New revised simple models for interactive wild and sterile mosquito population and their dynamics. J. Biol. Dyn.

**11**(2), 316–333 (2017) - 8.
Li, J.: Discrete-time models with mosquitoes carrying genetically-modified bacteria. Math. Biosci.

**240**(1), 35–44 (2012) - 9.
Traoré, B., Sangaré, B., Traoré, S.: A mathematical model of malaria transmission with structured vector population and seasonality. J. Appl. Math.

**2017**, Article ID 6754097 (2017) - 10.
Koutou, O., Traoré, B., Sangaré, B.: Mathematical modeling of malaria transmission global dynamics: taking into account the immature stages of the vectors. Adv. Differ. Equ.

**2018**, 220 (2018) - 11.
Lutambi, A.M., Penny, M.A., Smith, T.: Mathematical modelling of mosquito dispersal in a heterogeneous environment. Math. Biosci.

**241**(2), 198–216 (2013) - 12.
Lu, J., Li, J.: Dynamics of stage-structured discrete mosquito population models. J. Appl. Anal. Comput.

**1**(1), 53–67 (2011) - 13.
Tian, C., Ruan, S.: A free boundary problem for Aedes aegypti mosquito invasion. Appl. Math. Model.

**46**, 203–217 (2017) - 14.
Huang, M., Hu, L., Zheng, B.: Comparing the efficiency of Wolbachia driven Aedes mosquito suppression strategies. J. Appl. Anal. Comput.

**9**(1), 211–230 (2019) - 15.
Caswell, H.: Matrix Population Models. Sinauer, Sunderland (2001)

- 16.
Cushing, J.M.: An Introduction to Structured Population Dynamics. Society for Industrial and Applied Mathematics, Philadelphia (1998)

- 17.
Cushing, J.M., Yicang, Z.: The net reproductive value and stability in matrix population models. Nat. Resour. Model.

**8**(4), 297–333 (1994) - 18.
Ackleh, A.S., Jang, J.: A discrete two-stage population model: continuous versus seasonal reproduction. J. Differ. Equ. Appl.

**13**(4), 261–274 (2007) - 19.
Ackleh, A.S., Leenheer, P.D.: Discrete three-stage population model: persistence and global stability results. J. Biol. Dyn.

**2**(4), 415–427 (2008) - 20.
Ackleh, A.S., Chiquet, R.A.: The global dynamics of a discrete juvenile-adult model with continuous and seasonal reproduction. J. Biol. Dyn.

**3**(2–3), 101–115 (2009) - 21.
Hale, J.K., Waltman, P.: Persistence in infinite-dimensional systems. SIAM J. Math. Anal.

**20**(2), 388–395 (1989) - 22.
Elaydi, S.: An Introduction to Difference Equations, 3rd edn. Springer, New York (2005)

### Acknowledgements

We are thankful to the editor and the anonymous reviewers for many valuable suggestions to improve this paper.

### Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

### Funding

This work was supported by the National Natural Science Foundation of China (Nos. 11771104, 11871171), Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi (2019L0964). The authors, therefore, acknowledge with thanks NNSF, STIP for financial support.

## Author information

### Affiliations

### Contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

### Corresponding author

Correspondence to Zhiming Guo.

## 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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Xing, Y., Liu, J. & Guo, Z. A discrete-time mathematical model of stage-structured mosquito populations.
*Adv Differ Equ* **2019, **518 (2019). https://doi.org/10.1186/s13662-019-2449-x

Received:

Accepted:

Published:

### Keywords

- Global stability
- Net reproductive number
- Extinction
- Persistence
- Mosquito population dynamics