#### Abstract

The release of transgenic mosquitoes to interact with wild ones is a promising method for controlling malaria. How to effectively release transgenic mosquitoes to prevent malaria is always a concern for researchers. This paper investigates two methods of releasing transgenic mosquitoes and proposes two epidemic models involving malaria patients, anopheles, wild mosquitoes, and transgenic mosquitoes based on system of continuous differential equations. A basic reproduction number is defined for the models and it serves as a threshold parameter that predicts whether malaria will spread. By theoretical analysis of the dynamic behaviors of the models and numerical simulations, it is verified that malaria can be effectively controlled by the opportune release of transgenic mosquitoes; that is, when , malaria will disappear; when , malaria will become an endemic disease in the target field.

#### 1. Introduction

Malaria is an infectious mosquito-borne disease. No vaccine and no specific drugs are available for malaria because plasmodium which causes malaria have become increasingly resistant to drugs. An effective way to prevent malaria is to control mosquitoes. Therefore, scientists hope to use genetic engineering technology to release transgenic mosquitoes which cannot transmit malaria to cut off malaria transmission chains [1–4].

But function laws of transgenic mosquitoes released to prevent malaria transmission can only be acquired from a large number of experimental data in consideration of the influence on other species, ecological environment, possible risks, and involvement [4–6]. Therefore, it has a practical significance to establish dynamic models which can reflect the change laws of many factors and study the dynamic behaviors of the models to recognize the role of transgenic mosquitoes in malaria transmission in terms of all statuses of releasing transgenic mosquitoes.

Many researchers have made a lot of theoretical researches on the role of transgenic mosquitoes in decreasing anopheles and preventing malaria transmission. Some wonderful mathematical models are presented. For example, the possibilities of replacing wild mosquitoes with transgenic ones released in different ways were considered, malaria transmission model was established, and the existence and stability of the disease-free equilibrium points were discussed with the aid of Floquet theory in [7]. The epidemic dynamic models of malaria for sawtooth animals were established and behaviors of each infection stage were discussed with numerical simulations in [8]. The detailed analysis and discussion on how to prevent malaria by mathematical models were presented in [9]. Li has long been engaged in the research in this field. He mainly investigated the impact of the environment, wild mosquitoes, genetically modified mosquitoes, and so forth and formulated the stage-structured discrete-time and continuous-time mathematical models for interacting wild and transgenic mosquito populations [10–14].

However, at present, many existing models are generally limited to discuss the role of population characters of two classes of mosquitoes, technology development, and the environmental factors that prevent malaria and do not consider other more factors, such as infected patients. For the analysis of the infected population controlled by transgenic mosquitoes in malaria transmission, these works are not enough. In order to better investigate the actual role of transgenic mosquitoes in malaria transmission and make the models more realistic, according to the current international research results which have been obtained, we establish a population dynamic model and an epidemic dynamic model involving patients, anopheles, wild mosquitoes, and transgenic mosquitoes released in two different ways based on systems of differential equations. With the aid of qualitative theory, we study behaviors of these models with numerical simulations and provide the conditions under which equilibriums of these models are asymptotically stable. Based on the researches on modeling dynamical behaviors, the impacts of various parameters changes in the models on malaria transmission and the two methods of releasing transgenic mosquitoes on controlling the amount of malaria patients in practice are investigated with numerical simulations.

This paper is organized as follows. In Section 2, we firstly assume that transgenic mosquitoes are released at a fixed proportion and interact with wild mosquitoes. Secondly, we assume that transgenic mosquitoes are released at a changeable proportion. Then the existence of all possible equilibriums is investigated and their stabilities are studied. In Section 3, numerical simulations are supplemented to demonstrate the results in Section 2. In Section 4, the brief discussions of our findings and prospects are presented.

#### 2. The Models and Stability Analyses

In 1927, Kermack and Mckendrick established an epidemic model, namely, KM model [15]. In this paper, based on KM assumptions and the epidemic model in [16, 17], we will formulate and discuss two dynamic models with male transgenic mosquitoes which do not suck blood [18] released in two different ways.

##### 2.1. The Dynamic Model with Transgenic Mosquitoes Released at a Fixed Proportion

For simplicity, we first consider the model with transgenic mosquitoes released into the field of mosquitoes at a fixed proportion. We assume that the population size in the target field is large and KM assumptions of epidemic model are met. The proportion at which transgenic mosquitoes are released is a constant . Then, we can establish a system of differential equations: where ,,,, are positive constants. The descriptions of these parameters in system (1) are shown in Table 1.

Let . System (1) has a unique equilibrium for and the endemic equilibrium exists if and only if ; here For system (1), we can obtain the following conclusion.

Theorem 1. *(i) The equilibrium is locally asymptotically stable if . (ii) The endemic equilibrium is locally asymptotically stable and is unstable if ; here is the same as that in (2).*

*Proof. *(i) The linearization form of system (1) about is
The corresponding characteristic equation of (3) is
Solving (4), we can get two characteristic roots:

From (5), it is easy to see when , the real parts of (5) are all negative. Therefore, the equilibrium is locally asymptotically stable. It implies that malaria will eventually disappear. When , is saddle point; it is unstable.

(ii) Linearizing system (1) about yields
The corresponding characteristic equation of (6) is
Solving (7), we can get two characteristic roots
where

From (2) and (9), it follows that
Therefore, if , the real parts of (8) are all negative, which indicates that the endemic equilibrium is locally asymptotically stable. It implies that malaria will be popular in the target field, but it will not be massively diffusive. Hence, Theorem 1 is completed.

*Remark 2. *When , system (1) becomes the model in [16]. From above results, when , we can see that malaria are prevented effectively by releasing transgenic mosquitoes. From , as long as we increase the value of or , that is, increase transgenic mosquitoes or decrease anopheles, malaria can be prevented in the target field.

##### 2.2. The Dynamic Model with Transgenic Mosquitoes Released at a Changeable Proportion

Releasing transgenic mosquitoes at a fixed proportion is more difficult than being carried out in reality and also does not accord with the actual situation. Therefore, in this section we introduce a changeable proportion , which is the proportion of transgenic mosquitoes to mosquito population at time . At time , the proportion of anopheles is and the proportion of susceptible mosquitoes is . is the proportion of infected persons; then is the proportion of susceptible persons. Similarly, we can establish the following model: where ,,,,,,, are constants. The description of these parameters in system (11) is shown in Table 2.

Assume that , system (11) has four fixed points which are malaria-free equilibriums , , and endemic equilibriums and , respectively; here

*Remark 3. *When , we can still obtain (13), but and the expressions of (12) are very complicated.

For system (11), since the equilibrium and endemic equilibrium are not meaningful for reality, we just consider the stability of the equilibrium and . Taking , for system (11), we can obtain the following conclusion.

Theorem 4. *Assuming that and which implies the birth rate of the transgenic mosquitoes is larger than the death rate, one has *(i)*the equilibrium is locally asymptotically stable if ,*(ii)*the endemic equilibrium is locally asymptotically stable if ; here are the same as those in (12) and (13).*

*Proof. *The matrix corresponding to the linearization form of system (11) on is
Its characteristic equation is
Solving the above equation, we can get its characteristic roots
From (13) and , we have
If Re, system (11) is locally asymptotically stable on . In fact, from (13) and in (16), we have
That is to say, Re. Therefore, system (11) is locally asymptotically stable on . It implies that malaria and anopheles will eventually disappear.

Now we consider behaviors of the local asymptotical stability of system (11) on which is a positive root under the condition .

The matrix corresponding to the linearization form of system (11) on is
The characteristic equation of this matrix is
Solving the characteristic equation, we can get its characteristic roots:
where

From (13) and (21), we have
Re is equivalent to
By the condition and the above inequality, we have
Therefore, system (11) is locally asymptotically stable about . The proof of Theorem 4 is completed.

*Remark 5. *When , taking , for system (11), the conclusions of Theorem 4 are still valid, but the proofs are more complicated. So we will verify them with numerical simulations in the following section.

*Remark 6. *From the above discussion, we can see that releasing transgenic mosquitoes into wild mosquitoes in the target field can prevent malaria. When , we can make the proportions of patients and anopheles steady and malaria will not be massively popular. Most importantly, when , there will be only transgenic mosquitoes; patients and anopheles will disappear. That is to say, we can eventually eradicate malaria. It is easy to see when we are unable to change the traditional infection rate and death rate; as long as we increase the amount of transgenic mosquitoes and the birth rate of transgenic mosquitoes bred by wild mosquitoes, then malaria can be eliminated.

#### 3. Numerical Simulations

Here mainly for system (11), especially for , we verify its results with numerical simulations. Assume that the amounts of persons and mosquitoes in an isolated target field are constants. According to the discussions in [8, 11, 19–21] and empirical data, we let the parameters in system (11) take the following ranges as in Table 3.

At the beginning, we assume that there is no patients; the proportion of anopheles and the proportion of transgenic mosquitoes are 0.3 and 0.2, respectively. That is to say, the initial values of system (11) are . We take parameter values as , , , , , , and . According to these parameter values, we have The corresponding result of numerical simulation is shown in Figure 1.

From Theorem 4 and the above parameter values, it is easy to know that system (11) should be stable on . From Figure 1, we can see that the simulation result is consistent with the result of Theorem 4. From the curve for anopheles, we can see that releasing the transgenic mosquitoes can effectively reduce anopheles. It follows that releasing the transgenic mosquitoes suppresses the outbreak of malaria in a relatively short time. As to why the patient and anopheles do not disappear immediately after a sharp drop in a short time, that is, it takes a long time that their amounts reach to zero, we think that the male transgenic mosquitoes cannot compete with some excellent wild male mosquitoes and they cannot capture the “heart” of all female anopheles in a short time or mating is a probability event. There is always mating between wild male mosquitoes and female anopheles. But after transgenic mosquitoes released control the rest of anopheles to a very small amount, the anopheles will die themselves one month later due to their limited lifetime. It can be considered that anopheles have been eliminated.

Take and keep other parameter values unchanged. That is, we assume that the decrement rate of anopheles due to transgenic male mosquito bred by transgenic mosquito and anopheles is decreased. According to the values, we have The corresponding result of numerical simulation is shown in Figure 2.

From Theorem 4 and the above parameter values, it is easy to know that system (11) should be stable about which is an endemic equilibrium. From Figure 2, we can see that the simulation result is also consistent with result of Theorem 4 and parameter has a distinct impact on the reduction of anopheles. When we decrease , the reduction speed of anopheles becomes significantly slow.

When , take and keep other parameter values in the first numerical simulation unchanged. We have The corresponding result of numerical simulation is shown in Figure 3.

Take and and keep other values unchanged; we have The corresponding result of numerical simulation is shown in Figure 4.

From Figure 3, we can see that , and as . From Figure 4 we can see that , , as . That is to say, when , the results of Theorem 4 remain valid.

Take , , and and keep other values unchanged; we have The corresponding result of numerical simulation is shown in Figure 5.

Set and and keep other values unchanged; we have The corresponding result of numerical simulation is shown in Figure 6.

For the above two numerical simulations, we increase the value of ; that is to say, we assume that the efficiency of patient infecting mosquito by biting is greater. From Figures 5 and 6, we can see that anopheles will become more and the decreasing speed of patients will become relatively slow. But malaria and anopheles will still disappear eventually. That is to say, for and , when , , , and as .

#### 4. Conclusion and Prospect

In this paper we firstly establish system (1) with transgenic mosquitoes released at a fixed proportion and then establish system (11) with transgenic mosquitoes released at a changeable proportion. For these models, we obtain a disease-free equilibrium and an endemic equilibrium. We prove theoretically and verify our conclusions of Theorems 1 and 4 with numerical simulations. For and , we do not theoretically prove the conclusions of Theorem 4, but we verify them with simulations. From Figures 3, 4, 5, and 6, we can see our results are also valid. We also have a unified conclusion for system (1) and system (11). That is, if or , it implies that malaria will be eliminated; if or , malaria will become an epidemic disease in the target field.

The models in this paper are simpler and more ideal. For example, we do not take the incubation period of malaria into account and only consider the one-time delivery of transgenic mosquitoes. The factors involved in our models are incomplete and we only considered the local asymptotic stabilities of systems. In order to make up for these deficiencies and establish more realistic models, we think that we can choose different birth function according to the actual situation and take more factors into account, such as susceptible, wild mosquito population, recovered patients, latency period, and environmental factor.

Although our dynamic models have many disadvantages, they are continuous differential equations compared with the existing models which were discrete-differential equations that only considered the competition between two classes of mosquito populations. In addition, our epidemic models for transgenic mosquitoes released at changeable proportion are considered by few researchers. Two models in this paper are consistent with the actual situation and they are relatively complete, various, and comprehensive for the research and applications of transgenic mosquito in malaria transmission.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This work is supported by Hunan Provincial Natural Science Foundation of China (12jj4012) and Research Project of National University of Defense Technology (JC12-02-01).