#### Abstract

This work is aimed at formulating a mathematical model for the control of mosquito population using sterile insect technology (SIT). SIT is an environmental friendly method, which depends on the release of sterile male mosquitoes that compete with wild male mosquitoes and mate with wild female mosquitoes, which leads to the production of no offspring. The basic offspring number of the mosquitoes’ population was computed, after which we investigated the existence of two equilibrium points of the model. When the basic offspring number of the model , is less than or equal to 1, a mosquito extinction equilibrium point , which is often biologically unattainable, was shown to exits. On the other hand, if , we have the nonnegative equilibrium point which is shown to be both locally and globally asymptotically stable whenever . Local sensitivity analysis was then performed to know the parameters that should be targeted by control intervention strategies and result shows that female mating probability to be with the sterile male mosquitoes , mating rate of the sterile mosquito , and natural death rates of both aquatic and female mosquitoes have greater impacts on the reduction and elimination of mosquitoes from a population. Simulation of the model shows that enough release of sterile male mosquitoes into the population of the wild mosquitoes controls the mosquito population and as such can reduce the spread of mosquito borne disease such as Zika.

#### 1. Introduction

Zika virus is a disease that is always spread in human population by the bite of an infected mosquito. It was discovered in 1947 from a sentinel monkey in the Zika forest in Uganda [1]; it was later isolated from humans in Nigeria in 1954 [2, 3]. World Health organization declared Zika virus a public health emergency of public concern in February 2016. Research on Zika virus continues as close to 3.6 billion people are living in risk areas for transmission [1]. The most common way to contact Zika virus is from the bites of an infected mosquito. Two species of mosquitoes spread the virus to people, the yellow fever mosquitoes (Aedes aegypti) and the Asian tiger mosquitoes (Aedes albopictus). Both are native to Texas [4]. During the period of 1960-1980 human infections, typically accompanied by mild illness, were found across Africa and Asia. The first large outbreak of disease causing Zika infection occurred in the island of Yap, federated states of Micronesia in 2007, indicating that the virus had moved from southeast Asia across the pacific [5]. Zika belongs to the Flavivirus family, and it is transmitted through daytime-active Aedes mosquitoes, such as A. aegypti and A. albopictus [6]. The recent Zika outbreak in Brazil with over 1.5 million estimated cases from 2015 to 2016 received significant attention globally. The main reasons are its large number of infections, rapid transmission, and the increasing rate of reported microcephaly coincided with the infection. The incidence became public health emergency and followed by the warning announcement from the world health organization [7]. Among symptomatic patients, the most common symptoms include popular rash, fever, typically low-grade arthralgia, fatigue, nonpurulent conjunctivitis myalgia, and headache. While other symptoms like retroorbital pain, oadema, vomiting, sore throat, uveitis, and lymphadenopathy are less frequent [4]. A typical feature of Zika virus infection is the popular rash that is often pruriginous and starts on the face and or trunk and then spreads throughout the body but may be focal and fugacious [8–10]. The main aim of this research work is to formulate a mathematical that controls the population of mosquitoes that causes Zika disease. The objectives are as follows: (i)Formulate a mathematical model to control mosquito population(ii)To determine the basic offspring number of the mosquito population(iii)To determine equilibrium points of the models(iv)To investigate the local and global stability analysis of the equilibrium points(v)To conduct sensitivity analysis on the model to see which parameters should be targeted by control intervention strategy, which can lead to reduction and elimination of mosquitoes from a population with time(vi)To perform numerical simulations of the model to support the analysis

In this study, we divide the vector population into the aquatic class (eggs, larva, and pupae), while the nonaquatic is divided into the male mosquitoes , female mosquitoes not yet laying eggs , female nonsterile mosquitoes , sterile male mosquitoes , and sterile female mosquitoes .

The importance of this study cannot be overemphasized as humanity will welcome contributions for the curative and preventive measures of one of the world most silent killer infections in human history as the Zika virus transmits silently in the absence of severe disease thus allowing the infection to go undetected. The work of [11] presented a mathematical model for Zika virus cross infection between mosquitoes and human. A mathematical model for the transmission dynamics of Zika virus infection with combined vaccination and treatment intervention is formulated by [12], while [13] formulated a mathematical model on the prevention and control of Zika as a mosquitoborne and sexually transmitted disease. A mathematical model, analysis, and simulation of the spread of Zika with influence of sexual transmission and preventive measures are presented by [14]. A deterministic model for the transmission dynamic of Zika that takes into account the aquatic and nonaquatic stages of development is presented by [15, 16]. The work of [17] presented a dynamical model of asymptotical carrier of Zika virus with optimal control strategies; results show that the endemic equilibrium was investigated to be locally and globally stable whenever the basic reproduction number was greater than one . A dynamical model of the Zika virus with control strategies is presented by [18]; the Zika model was said to be locally asymptotically stable whenever the basic reproduction number for the disease free equilibrium and for the endemic equilibrium case. A theoretical model for Zika virus transmission is presented by [19]; the Pontryagin’s maximum principle was used to determine the necessary conditions for effective control of the disease. Since it is wise to control the mosquito population than the human population, we therefore present in this present work a mathematical model that reduces/eliminates mosquito population that transmits Zika infection.

##### 1.1. Sterile Insect Technology (SIT)

Around the world, farmers fight the same battles against insects and other pests that not only damage their crops, causing high losses, but also transmit diseases to millions of livestock and humans. At the same time, many insects are becoming resistant to insecticides, while consumers are more aware of the negative effects of pesticides on public health, beneficial organisms, and the environment. Chemicals have been and are still extensively used all over the world to control wild mosquitoes’ population. However, in the long run, mosquitoes can develop resistance to chemical products. Besides, [7] only allows a limited number of insecticides in view of polluting disasters. As a viable alternative, nonpolluting method is presented in this work. The sterile insect technique is an environmentally friendly insect pest control method involving the mass-rearing and sterilization, using radiation, of a target pest, followed by the systematic area-wide release of the sterile males by air over defined areas, where they mate with wild females resulting in no offspring and a declining pest population. The sterile insect technique is among the most environment friendly insect pest control methods ever developed. Irradiation, such as with gamma rays and X-rays, is used to sterilize mass-reared insects so that, while they remain sexually competitive, they cannot produce offspring [15, 20]. The sterile insect technology (SIT) is a type of control for mosquitoes that does not harm the environment. Millions of male mosquitoes are produced in a special factory, sterilized with radiation, and then released into the field (endemic areas) at regular intervals; there they mate with their wild females and as a result there are no offspring as they lay eggs without hatching [20]. If sufficient sterile males are released, the next generation will have fewer wild mosquitos’ population and as such the mosquito’s population is being controlled [21].

#### 2. Model Assumptions

The following assumptions were made in the cause of the model formulation: (1)The mating competitiveness of both sterilized and nonsterilized mosquitoes are not equal, that is, (2)Vector population is divided into the aquatic class (eggs, larva, and pupae), while the nonaquatic is divided into the male mosquitoes (nonsterile male mosquitoes) , female mosquitoes (females not yet laying eggs) , female nonsterile mosquitoes (those who could lay eggs and hatch due to mating with nonsterile male mosquitoes) , sterile male mosquitoes , and female sterile mosquitoes (those mosquitoes who could lay eggs but do not hatch due to mating with sterile male mosquitoes) (3)Eggs, larva, and pupae are considered the aquatic stage of mosquitoes with the same death rate assumed for all(4)The aquatic mosquitoes have a density dependent death rate, which is a nonlinear decreasing function; nonlinear function is appropriate for population whose growth can be impeded (delayed) by space or resources [15](5)The nonaquatic mosquitoes do not have the same death rate with the Aquatic mosquitoes(6)The female mosquitoes do not have the same death rate with the male mosquitoes

##### 2.1. Model Formulation and Procedures

The mosquito life cycle is generally divided into two stages, the aquatic and nonaquatic classes.

The population is divided into six compartments consisting of the aquatic mosquitoes (), male mosquitoes , female mosquitoes not yet laying eggs , female nonsterile mosquitoes , female sterile mosquitoes , and sterile male mosquitoes ,

The aquatic stage of the mosquitoes which consists of eggs, larva, and pupae population increases from the oviposition by reproductive mosquitoes. It reduces due to natural death of the mosquitoes at the rate of and by density dependence death rate of .

The female mosquitoes is recruited at the rate of ,where is the maturity rate of aquatic mosquitoes to adult mosquitoes and is the proportion of emerging females; it is reduced by the mating rate at the level of for female mosquitoes to be with wild male mosquitoes or sterile male mosquitoes with mating probabilities and respectively. The population is reduced finally by natural death at the rate of .

The male mosquitoes is recruited by the proportion of the emerging male mosquitoes that mature to adult mosquitoes at the rate , which also reduces by natural death .

The female nonsterile mosquitoes population is increased by the female mosquitoes probability to mate with the wild male mosquitoes which is given by the rate , with mating rate of .This population is reduced by natural death at the rate of .

The female sterile mosquitoes population is increased by the wild female mosquitoes probability to mate with the sterile mosquitoes which is given by the rate , with mating rate of .The class reduces by natural death at the rate of.

The sterile male mosquitoes are released into the population at the rate . However due to some environmental and geographical factors that may affect the mixing of sterile and wild mosquitoes, such as location of mosquitoes breeding site, it is convenient to assume that only a fraction of the released mosquitoes will join wild mosquitoes population. Secondly, because of the differences in physiology of wild and sterile mosquitoes, a parameter is used to capture the mean mating competitiveness of sterile mosquitoes, so that the actual number of sterile male mosquitoes competing with wild mosquitoes is , and as such, the available injected sterile male mosquitoes into the wild population of mosquitoes that can competitively mate with wild female mosquitoes is . The population reduces by natural death at the rate of .

##### 2.2. Mathematical Model

The mathematical equations that incorporate the above assumptions are given by

The aquatic mosquitoes population () can be considered having logistic growth with carrying capacity () so that . When the population of the aquatic mosquitoes’ class is higher than its carrying capacity the growth rate becomes negative, that is, the population goes down. When the population is equal to its carrying capacity () then the growth rate becomes stagnated. The population grows when it is less than its carrying capacity.

Secondly, the released sterile male mosquitoes’ population can be decoupled from the model (1). Since it is independent of other compartments, the size of its population is controlled by human intervention, and as such, it is independent from the rest of the population. The population has the solution of the form: where is the released sterile male mosquito at time .

##### 2.3. Model Variables

Descriptions of the model variables used is presented in Table 1 below:

##### 2.4. Model Parameters

Descriptions of the model parameters used are presented in Table 2 below.

#### 3. Analysis of the Mosquito Model

##### 3.1. Basic Offspring Number of the Mosquito Population ()

This is denoted by (). It is defined as the number of offspring produced by a single female mosquito that mates with a nonsterile male mosquito in its entire lifespan [15].

An oviposition occurs after a wild male mosquito mates with a female mosquito, which fertilizes and lays eggs. The mean duration spent in aquatic stage by mosquito is given by where is the maturity rate of the aquatic mosquitoes in adult mosquitoes. is the fraction of aquatic mosquitoes that become females, then the probability that an egg survives the aquatic stage and becomes an adult female mosquito is given by

Also, the mean duration spent by a female mosquito in the female not yet laying eggs mosquitoes class () is given by . The rate at which a mosquito in () class moves to the nonsterile female mosquitoes () through mating with the male mosquito () class is then given by

Similarly, the average lifespan of the nonsterile female mosquitoes () class during its life time is given by where is the oviposition rate. To get the basic offspring number of the mosquito population; we multiply equations (3), (4), and (5) together.

The basic offspring number of the mosquito population is given by

The biological implication of is that, the mosquito population persist, otherwise if then the mosquito population goes to extinction and the human to vector or vector to human transmission can be eliminated.

##### 3.2. Existence of Equilibria in Mosquito Population

Solving equation (1) by setting the right hand side of the equation to zero, we have the following equilibria represented by

From the first equation of (1), which represents the aquatic class, we have that substituting the expression of in equation (8) we have: where equation (10) represents the basic offspring number of the mosquito population, hence: similarly, we have where the roots of are controlled by the magnitude and value of .

Now, by Substituting into (7) we have a positive equilibrium point of the model in terms of the basic offspring number of the mosquito

If , the only biologically meaningful root of equation (13) is , which corresponds to the trivial equilibrium given by

This is also called the mosquito extinction equilibrium, which is of no use due to the absence of mosquitoes in the population. On the other hand, if , the system has equation (13) as the nonzero (positive) equilibrium point, where

##### 3.3. Local Stability Analysis of the Nonnegative Equilibrium Point of the Model

Theorem 1. *The nonnegative equilibrium point of the mosquito population model is locally asymptotically stable if .*

*Proof. *To show this, we obtain the Jacobian matrix () of the model (1) and then we use the properties of eigenvalues or the principle of -matrix to check for its stability.

The Jacobian of model (1) is given as
By substituting the expression for the aquatic mosquito population which is given by into the Jacobian matrix (J) in (16), we have that () can be expressed as:
The characteristics equation of the system (17) is expressed as, where are the eigenvalues and () is the identity matrix for system (17).

The eigenvalues were computed using maple 2015, result shows that or negative if _{,}, ,, and .

Since all the eigenvalues have negative real parts, we therefore conclude using the principle of -matrix that the nonnegative equilibrium point of the model is locally asymptotically stable provided . This result epidemiologically implies that the mosquito population will grow or persist with respect to the initial condition (population) of the mosquito.

##### 3.4. Global Stability Analysis of the Nonnegative Equilibrium Point of the Model

Theorem 2. *if the nonnegative equilibrium point of the model (1) is globally asymptotically stable.*

*Proof. *To establish the global stability of this equilibrium , we construct the following Lyapunov function following the method used in [22].
The derivative of along the solution path of (1) by direct calculation gives
where
Thus,
Then,
Therefore,
Now, we have that
Collecting the positive and negative terms, we obtained , where () represent the positive terms and () represent the negative terms
Similarly,
Therefore, if , then will be negative definite along the solution path of the system. Thus, this implies that and only at a point where
Therefore, the largest compact set is just the singleton set where is the nonnegative equilibrium point of the model. Now according to LaSalle’s invariant principle, it means that the is globally asymptotically stable in hence will be stable if .This result epidemiologically implies that the mosquito population will grow or persist in respective of the initial population.

#### 4. Sensitivity Analysis of the Model

Sensitivity analysis is performed on the model to know which parameters should be targeted towards control intervention strategies, that is to say, which parameter value should be increased or decreased in order to reduce or control the population of mosquito. It is a tool applied to study the change of an output of a model due to change in the input parameters [15].

Mathematically, the normalized sensitivity index of the mosquito basic offspring number with respect to is given by . The sensitivity index of the remaining parameters can be computed in the same way as that of . Using the data in Table 3, we provide in Table 4 the sensitivity index of the parameters.

#### 5. Simulations and Discussion of Results

The values tabulated in Table 3 above are used for the model simulation using MATLAB 7.0.

##### 5.1. Discussions of Results

Using parameter values in Table 3, some numerical simulations for the model given by (1) are presented. Figure 1 shows the impact of mating probability of female mosquitoes with sterile male mosquitoes on the total population of female mosquitoes, where an increase in such probability tremendously reduces the population of female mosquitoes. Similar dynamics is observed on the total population of female nonsterile mosquito population as depicted in Figure 2. On the other hand, increase in the mating probability of female mosquitoes with wild male mosquitoes increases the population of female nonsterile mosquitoes as presented by Figure 3, while it reduces the population of female sterile mosquitoes as shown in Figure 4. Total mosquito population (both males and females) is the function of female mosquito mating probability and mating rate of sterile male mosquitoes which are presented by Figure 5 (where the population reduces with increase in the female mosquito mating probability) and Figure 6 (with total population increasing as mating rate of sterile male mosquitoes reduces), respectively. Thus, the numerical simulations conform with the expected biological behavior of both male and female mosquito populations in the presence of sterilization.

The basic results are therefore enumerated below: (i)The nonnegative equilibrium point of the model was confirmed to be locally and globally asymptotically stable if This result epidemiologically implies that the mosquito population will grow with respect of and in respect to the initial population of the mosquitoes(ii)An increase in the female mosquito mating probability to be with the wild male increases the population of the female nonsterile mosquitoes as seen in Figure 3(iii)An increase in the female mosquito mating probability to be with the sterile male reduces the population of the female mosquitoes, female nonsterile mosquitoes, and sterile female mosquito as seen in Figures 1, 2, and 4, respectively(iv)An increase in the female mosquito mating probability to be with the sterile male reduces the population of the total mosquito as seen in Figure 5(v)An increase in the mating rate of the sterile mosquitoes also reduces the population of the total mosquito population as seen in Figure 6(vi)Increasing the female mating probability to be with the sterile male mosquitoes , the mating rate of the sterile mosquito and the natural death rates of both the aquatic and female mosquitoes reduce the value of the basic mosquito offspring number , thereby, leading to the reduction and elimination of mosquitoes from a population with time

#### 6. Conclusion

In this article, we formulated a mathematical model that controls the mosquito population using the sterile insect technology. The research major findings are as follows: (i)The nonnegative equilibrium point of the model was confirmed to be locally and globally asymptotically stable if (ii)An increase in the female mosquito mating probability to be with the sterile male reduces the population of the female mosquitoes, nonsterile female mosquitoes, and sterile female mosquito(iii)An increase in the female mosquito mating probability to be with the sterile male reduces the population of the total mosquito(iv)An increase in the mating rate of the sterile mosquitoes also reduces the population of the total mosquito population(v)Results from sensitivity analysis shows that the female mating probability to be with the sterile male mosquitoes, the mating rate of the sterile mosquito, and the natural death rates of both the aquatic and female mosquitoes are the most effective parameters for the control of mosquito population(vi)Conclusively, releasing sufficient number of the sterile mosquitoes into the wild mosquito population reduces the population of the wild mosquitoes

#### Data Availability

I used hypothetical data in which the sources are dully acknowledged.

#### Conflicts of Interest

The authors declare no conflict of interest in this research.

#### Acknowledgments

Atokolo, William (the corresponding author) is grateful to the management of Kogi State University, Anyigba, for granting him study leave for this research.