Abstract

Malaria has produced health issues in many parts of the world. One of the reason is due to the recurrence phenomenon, which can happen years after the main infection has appeared in the human body. Furthermore, the fumigation intervention, which has become a major worry in several regions of the world, has yielded unsatisfactory results, as seen by the high number of cases reported each year in several African countries. We present a novel mathematical model that integrates tafenoquine treatments to prevent relapse in the human population and saturation fumigation to control mosquito populations in this study. The endemic threshold, also known as the basic reproduction number, is calculated analytically, as is the existence and local stability of the equilibrium points. Through careful investigation, we discovered that the malaria-free equilibrium is locally asymptotically stable if the basic reproduction number is less than one and unstable if it is greater than one. According to the sensitivity analysis, the utilization of tafenoquine treatment is inversely proportional to the basic reproduction number. Although our model never exhibits a backward bifurcation at the basic reproduction number equal to one, we have demonstrated that it is possible; when the basic reproduction number is greater than one, two stable malaria-endemic equilibrium can exist. As a result, when the basic reproduction number is more than one, the final state will be determined by the initial condition of the population. As a result, enormous temporal fumigation can shift the stability of our malaria model from a big endemic size to a smaller endemic size, which is more advantageous in terms of the malaria prevention strategy. Despite the fact that this is not a case study, the numerical results presented in this article are intended to support any theoretical analysis of current malaria eradication tactics in the field.

1. Introduction

Malaria is a vector-borne disease caused by the bite of a female mosquito that has been infected with Plasmodium. Of more than 100 species, only five Plasmodium species cause malaria, namely, Plasmodium vivax, Plasmodium malaria, Plasmodium falciparum, Plasmodium knowlesi, and Plasmodium ovale [1]. When this Plasmodium has entered the human bloodstream, it will attack several vital organs in the human body, especially the liver and red blood cells [2]. People who have been infected with malaria will show a variety of symptoms, including chills, fever, and headache, which can even result in death in most cases in the pediatric population.

Until now, there have been many interventions launched by governments in various countries in the world to tackle the spread of malaria. These interventions include the use of vaccines, treatment, use of insecticide-treated bed nets (ITN), and vector control with fumigation and larvicides [3]. Among these mentioned interventions, vector control with fumigation is considered as the most promising and easiest policy to implement [1]. However, several problems in its implementation arise, such as the tendency of mosquitoes to become resistant to fumigants when the intervention is not well controlled [4] or the problem of limited implementation costs. In some cases in the field, the high fumigation intensity needs to be reduced when infected people are too high. This is due to the difficulty of implementation in the field when intervention costs must also be allocated to treatment for infected individuals in the hospitals.

Vaccines for malaria have become one of the main concerns of governments in many parts of the world and the World Health Organization [5]. In 2021, the R21/Matrix-M vaccine has been investigated to be the second malaria vaccine, and it is stated that it has reached the minimum efficacy limit required by WHO, which is a minimum efficacy of 75% [6]. This type of vaccine has an efficacy level of 77% to reduce the chance of successful infection in humans due to an infected female Anopheles mosquito bite. In addition to vaccination, treatment interventions are also needed to prevent the severity or incidence of relapse in malaria patients. Until now, it was stated that primaquine was the primary drug used to avoid relapse in individuals infected with malaria. However, because this drug has to be taken on a regular basis (every 14 days), it has resulted in many treatments not being successful [7]. Therefore, MMV and GlaxoSmithKline (GSK) collaborated to develop a new malaria drug known as tafenoquine, which is a single dose treatment for preventing relapse in malaria-infected individuals [8].

The complexity of malaria has attracted the attention of many researchers to take part in efforts to understand the mechanism of spread and the best intervention for malaria. This is due to the complexity of its infection mechanism, such as recurrence phenomena (relapse, reinfection, and recrudescence), to the problem of the most appropriate intervention. Among these researches, mathematical modeling would play an essential role. Many authors have introduced mathematical models to understand how malaria spreads among human and mosquito populations. The first mathematical model for malaria was introduced by Ross in the early 19th century [9], where he introduced the mechanism of malaria transmission involving mosquito and human populations in his model. Ross’ research was then continued by Macdonald [10] where he introduced the concept of basic reproduction number in his model. Since then, many mathematical models have been introduced by researchers to understand various important factors in the spread of malaria. Authors in [11] proposed a malaria model considering immunological memory which boost protection of reinfection phenomenon. Two host types in malaria transmission are discussed by author in [12]. Furthermore, a two-age class model for malaria transmission is discussed in [13]. A periodic biting rate of malaria mosquitoes is modelled by author in [14]. They used Floquet theory to analyze the stability of their model. Recently, author in [15] proposed a malaria model with optimal control on saturated treatment rate. Another new strategy of transmission blocking drugs for malaria is modelled by Wu and Hu in [16]. They found that increasing the transmission blocking drugs is a more pronounced effect compared to treatment intervention. Another important factors have been discussed through mathematical models such as vector-bias effect [15, 17], relapse [18, 19], reinfection [20, 21], fumigation [15, 22], temperature and seasonality [2325], impact of Wolbachia [26], and coinfection [27]. However, the best that we know, there is no mathematical model considering the impact of potential new treatment (tafenoquine) into their model.

In this paper, we introduce and investigate a new mathematical model on malaria transmission. In this model, we divide the human population into five epidemiological classes based on their health status while the mosquito population into two epidemiological classes. Several vital factors were introduced into our model: the effect of a potential new treatment for malaria to prevent relapse; vector-bias phenomena where mosquitoes are more attracted to bite the infected individuals; and fumigation intervention which depends on the number of infected individuals at time . We perform our mathematical analysis to show the existence of a forward bifurcation and forward hysteresis phenomena on our model, which allows the possibility of existence of three different endemic equilibrium, where two of them is locally stable. Based on this phenomenon, we show from a numerical simulation that a massive fumigation intervention in a limited time window can change the dynamic direction of the system from a large endemic equilibrium to a smaller endemic point. We also show a sensitivity analysis to determine the most influential parameter to our model.

This paper is organized as follows. We formulate our model in Section 2. The stability of the malaria-free equilibrium point and the form of the respected basic reproduction number are shown in Section 3. In Section 4, we analyze the existence of the malaria-endemic equilibrium point. In addition, we show the possible forward hysteresis from our model in this section. Some numerical experiments on the proposed model are shown in Section 5. Finally, some relevant conclusions are given in the last section.

2. Mathematical Model Formulation

The proposed dynamic model for malaria transmission in this article is inspired by our previous work in [15], by taking into account two important factors. The first factor involved in our new model is the involvement of a malaria relapse prevention drug intervention (for example, tafenoquine [28]). The second factor involves fumigation intervention which is not a monotonous function. We assume that when the number of humans infected with malaria is approaching the outbreak, the intervention given can be quite large. However, when the number of infected people continues to grow, efforts for fumigation will be reduced because of the difficulty of intervention during the outbreak.

This model divides the human population based on their health status and whether they received any malaria treatment or not. Hence, let human population be divided into five epidemiological classes: susceptible , latent , infected , exposed treated , and recovered . On the other hand, we classify mosquito population only into two classes: susceptible and infected . The latent individual is an individual who has already been exposed to malaria and has Plasmodium in their lever. If an individual in gets treated with tafenoquine to prevent relapse, then they will be classified into the class of . Only infected individual () can transmit the Plasmodium into the susceptible mosquito. Based on this assumption, we have the total human population which is given by and the total mosquito population is given by

The malaria model is governed by the following system of ordinary differential equations: where and are the infection rate in human and mosquito population, respectively, while presents the fumigation effectiveness factors.

The per capita of birth on humans and mosquitoes is denoted by and , respectively. The natural death rate of humans and mosquitoes is given by and , respectively. Furthermore, parameters and present medical treatment intervention with tafenoquine and vector control with fumigation, respectively. Letbe the proportion of exposed individuals who get tafenoquine and succeeded in avoiding relapse afterduration of treatment. On the other hand, we assume that the proportion of individuals in failed in treatment. Hence, we have as the transition from to due to treatment failure, where is the incubation period of Plasmodium with the effect of tafenoquine. We denote that the recovery rate from malaria is , while is the duration of temporal immunity.

We construct the force of infection in human as follows. Let be the average bite per mosquito per day. In our model, we take into account the preference of mosquito to be more attracted to bite infected human, rather than noninfected human. This phenomenon is commonly known as “vector-bias” phenomenon [29]. Based on this “vector-biased” assumption, the probability of a mosquito encountering a susceptible human is given by , where is the vector-bias parameter. Hence, total bite of all mosquito per day is given by . Assuming as the probability that the bite of infected mosquito succeeded in infecting susceptible human, then present the total of susceptible human who get infected by malaria per time. Since and are constant parameters with a dimension of and , respectively, we assume . Therefore, we have that

Using a similar approach, let be the probability of successful infection in mosquitoes; the force of infection on mosquitoes is given by

where with a dimension of and for and , respectively.

Now, we construct our fumigation term . We assume that the fumigation intervention depends on the number of infected individuals. Indicators of the endemic of malaria in the field can not be seen from the number of infected mosquitoes, but it can be identified by the high number of infected individuals which is reported in the media. When the number of infected individuals increases, then the intensity of fumigation will increase. However, when the number of infected individuals increases more significantly, then the effectiveness of fumigation will decrease since the policymaker may concentrate more on the number of infected individuals in the hospital, which makes them overwhelmed to control vector population in the field. Hence, we assume that should have the following properties: (i)When the number of the infected individual is zero, then the fumigation intervention is zero. Hence, we have (ii)The fumigation intervention increases at the beginning when the number of infected individual start to increase but will decrease when the number of infected individual is sufficiently large. Hence, we have that for and for . Note that denote the critical number of when the policymaker is already overwhelmed to conduct an effective fumigation intervention in the field

Based on the above assumption, we model our fumigation intervention as where is the saturated coefficient.

According to the mentioned assumptions on the infection and fumigation functions, system (3) now is read as

with a nonnegative initial conditions given at time . Figure 1 depicts the flow chart of our malaria transmission model. Biological interpretation and the unity of all parameters in system (7) are given in Table 1.

Let system (7) have an initial condition in the following set:

To describe the feasible solution of system (7) and its biological interpretation, we have the following theorem.

Theorem 1. For initial values in (8), malaria model in system (7) has a unique solution and remains in for all time .

Proof. Please see Appendix A for the proof.

3. Malaria-Free Equilibrium and the Basic Reproduction Number

The first equilibrium point of our model is the malaria-free equilibrium point. This equilibrium present a situation where all nonsusceptible population do not exist in the equilibrium condition. For this reason, let , , , and , and then, malaria-free equilibrium is obtained by the following subsystem:

Taking the right hand side of the above system, it follows that the malaria-free equilibrium of system (7) is given by

To conduct further analysis on the qualitative behaviour of our model, it is important to determine the related basic reproduction number of our proposed model. In many epidemiological models, basic reproduction number holds an important role in determining that the diseases die out or exist in the population [3438]. Basic reproduction number is defined as the expected number of secondary cases caused by one primary case during infection period in a completely susceptible population [39, 40]. The basic reproduction number is calculated using the next-generation matrix approach [41]. From system (7), we have that the infected compartments consist of , , , and . The Jacobian matrix of subsystem of infected compartment on system (7) evaluated in can be written as , where

where and present the transmission and transition terms. Using formula in [41], we have the next-generation matrix of system (7) which is given by where is the transpose of , with

Note that each column of can be spanned by each column of . Hence, the basic reproduction number of system (7) is given by

More example on the method of next-generation matrix method to determine the basic reproduction number in various epidemiological models can be seen in [4244]. The above expression can be rewritten as a multiplication between four important component on malaria transmission on system (7) as follows.

where present the number of new latent infected human per infection period of , present the number of new infected mosquitoes per infection period of , present the ratio of mosquitoes and human, and present the impact of tafenoquine intervention.

According to Theorem 2 in [45], we have the following theorem regarding the local stability criteria of the malaria-free equilibrium of system (7).

Theorem 2. The malaria-free equilibrium of system (7) is locally asymptotically stable if and unstable if .

3.1. Sensitivity Analysis on the Basic Reproduction Number

In many mathematical epidemiology models, understanding the impact of key parameters in determining the size of the basic reproduction number is essential to find the best optimal strategy. Therefore, we study the normalized sensitivity analysis of the basic reproduction number using the following formula [30]: where is any key parameter in malaria model in system (7). In our paper, we are only interested in the following parameters: , , , , , , , , , , , and . Furthermore, we do not show the partial derivative of these parameters since it has a long expressions. Using parameter values as in Table 1, , , and ; the normalized sensitivity of is given in Table 2 and visualized in Figure 2.

The normalized indices in Table 2 are a nondimensional value, which present the percentage change of for each increase value of parameter for . For an example, since , then increasing probability of individuals in to succeed in treatment for 10% will reduce for 6.477%. On the other hand, since , then increasing for 10% will increase for . From Figure 2, we can see that , , , , and are proportional to . Increasing these mentioned values will increase . On the other hand, parameters , , , and are inversely proportional to . Therefore, increasing the value of , , , and will reduce . In addition, we can see that fumigation , rate of loss of immunity , and saturated parameter do not affect . Figure 2 shows the most to the less influential parameter to in descending order, from left to the right.

Figure 3 shows the level set of with respect to , , and . From Figure 3(a), we can see that increasing the value of reduces . It means that more people succeed due to treatment with tafenoquine; then, the possibility to achieve malaria-free equilibrium is bigger. Same interpretation to the rate of treatment . We can see that more intense intervention of tafenoquine will reduce . In addition, we can see clearly that better quality of tafenoquine will reduce the burden of intervention in providing tafenoquine treatment to achieve malaria-free conditions. The effect of vector-bias on the success of tafenoquine intervention to reduce can be seen in Figure 3(b). We can see that more bias the mosquito to be more preferring infected human will increase the , which makes the intervention of tafenoquine should be given more intense to reduce the value of .

4. The Malaria-Endemic Equilibrium

4.1. Existence of Malaria-Endemic Equilibrium

The malaria-endemic equilibrium of system (7) is given by where

with , , , and . Note that is taken from the positive root of the following polynomial:

where is the set of parameter in system (7), and

while , , , , and have a complex form to be written in this article. It can be seen that whenever , then , , , and are also positive. On the other hand, is always positive since (see the proof of Theorem 1). On the other hand, since and (see the proof of Theorem 1), then we can guarantee that is also positive.

From the expression of polynomial in (19), is always negative since , , while another coefficient is difficult to be determined, whether it was positive or negative. Hence, using the Descartes rules of sign [46], there exists at least one positive root of polynomial (19) whenever . According to this result and the expression of , we have the following result.

Theorem 3. System (7) has at least one malaria-endemic equilibrium point if .

Since polynomial in (19) is a six-degree polynomial, it is possible that system (7) have more than one malaria-endemic equilibrium point. We use Descartes rules of sign [46] to analyze the maximum possibility of positive root of polynomial in (19). The result is given in Table 3 for the case when , and Table 4 for the case when .

From Table 2, we can confirm the result in Theorem 3 that we always have at least one malaria-endemic equilibrium when . If , then we always have an odd number possibility of the positive root of polynomial (19), i.e., 1, 3, or 5 positive roots. On the other hand, malaria-endemic equilibrium is possible to vanish only when . However, we still possible to have 2, 4, or 6 positive roots of polynomial (19) when .

4.2. Bifurcation Analysis

In this section, we perform the bifurcation analysis of our proposed malaria model in system (7). To do this analysis, we use the well-known Castillo-Song bifurcation theorem [47] (please see [4851] for more examples on the use of this theorem on epidemiological models). First, for numerical calculation purposes, let us redefine our proposed system (7) as follows: where for present , , , , , , and , respectively, Next, we determine our bifurcation parameter to replace . By solving with respect to , we obtain the bifurcation parameter, namely, , as follows:

The linearization of of system (22) at is given by with

The Jacobian matrix has a simple zero eigenvalue, and the other three eigenvalues are explicitly negative , while the other three is coming from the root of the following polynomial: where

Since , then for are positive. Since all the coefficients of are positive, then all other three eigenvalues of are negative. Therefore, we can continue using the center manifold theory to analyze the bifurcation phenomena at . Next, we use the Castillo-Chavez and Song theorem [47] to analyze the bifurcation phenomena of system (7) at .

First, we calculate the right and left eigenvector of with respect to the zero eigenvalue. The right eigenvector is given by , with

On the other hand, the left eigenvector is given by where

It is obvious that . Furthermore, and are one degree functions. Thus, we only need to consider the second-order partial derivative of and . By algebraic computation, we obtain the following second-order partial derivatives which have nonzero values after substituting the .

For the bifurcation indicators, we calculate for system (22) which is expressed by

We can confirm that is always negative (please see the expression of in Appendix D). Meanwhile, is given by

Since all parameters are positive, and , then we have that . According to Castillo-Chavez and Song theorem [47], since the quantity of is negative and is positive, then system (22)) indicates a forward bifurcation at . We state the result in the following theorem.

Theorem 4. System (7) always exhibits a forward bifurcation at .

4.3. Numerical Experiments on Theorem 4

In this section, we show the numerical interpretation of Theorem 4. The first numerical experiment is for the bifurcation diagram of system (7), which is given in Figure 4. We use parameter values as mentioned in Table 1, except that it states differently. With this set of parameter values, we have when . For the case of , , and , the bifurcation diagram is shown in Figure 4(a). It can be seen that the forward bifurcation phenomenon appears, which indicates there always exists a unique endemic equilibrium point when , and no endemic equilibrium when . Furthermore, we can see that the malaria-endemic equilibrium is always stable (solid red) when . The autonomous simulation for various initial conditions is shown in Figure 5. We use Runge-Kutta adaptive step size method in MATLAB to run the autonomous simulation in this article [52] (please see [53] for further detail on the method and its algorithm). It can be seen that when , then the solution from all different initial conditions tends to the malaria-free equilibrium point (Figure 5). On the other hand, when , then all trajectories tend to the malaria-endemic equilibrium (Figure 6).

The autonomous simulation of system (7) when forward hysteresis (Figure 4(b)) appears is given in Figures 7 and 8. The numerical results is using the same parameter values as in Figure 4(b). We only conduct two cases for this scenario, namely, when but close to one in which only one stable malaria-endemic appears (Figure 7) and when two stable malaria-endemic equilibrium appears (Figure 8) when , but not too far from 1. In the first case, as shown in Figure 7, we can see that all trajectories from all different initial conditions tend to the same malaria-endemic equilibrium. However, when hysteresis starts to appear, which causes two stable malaria-endemic equilibrium, the solutions will tend to two different stable malaria-endemic equilibrium points, depending on their initial conditions. We can see that when the initial condition is close enough to the bigger malaria-endemic equilibrium (blue curve), then the solution tends to the bigger size of malaria-endemic equilibrium. The same thing happens when the initial value of infection is small enough, and then, the solution leads to the smallest stable malaria-endemic equilibrium. These simulation results indicate that fumigation may trigger the existence of multiple stable malaria-endemic equilibrium for some value when . Figure 9 confirms the statement. It can be seen that an increase in fumigation rate increases the interval when multiple stable malaria-endemic equilibrium appears.

5. Autonomous Simulation

From the previous mathematical analysis, we found that our proposed malaria model always exhibits a forward bifurcation at . These results indicate that the basic reproduction number becomes the only endemic indicator on our proposed model. However, our model may show a multiple stable endemic equilibrium when . This phenomenon is called a forward hysteresis [54]. We found that this phenomenon was affected by the intensity of fumigation and the level of population awareness . Furthermore, our sensitivity analysis indicates how important is the intervention of tafenoquine to prevent the occurrence of relapse and fumigation to control the number of Anopheles mosquitoes in the environment. To visualize our mentioned results, we perform several numerical simulations on our autonomous simulations for several scenarios.

5.1. Effect of Vector-Bias

In malaria transmission, vector-bias has an important role in determining the endemic condition of the population [29]. The larger the vector-bias values, the more mosquito attracted to hunt infected humans for their meal. Figure 10 depicts the dynamic of the solution of our malaria model in (7) for several values of vector-bias parameter. We use the same parameter values as in Table 2, except , , , and varying from 1 to 5. With these parameters, is always larger than 1, which makes the solution of system (7) tends to the malaria-endemic equilibrium. We can see that an increased value of the vector-bias parameter at the malaria-endemic equilibrium situation will increase the total population in infected humans but reduce the size of the infected mosquito population. This means that the more Anopheles mosquitoes attracted to bite infected humans than healthy humans can negatively impact the human population, where the endemic size can increase. Therefore, efforts to control the mosquito population are essential in this situation.

5.2. Effect of Fumigation Saturation Parameter

The first autonomous simulation was conducted to show the impact of the fumigation saturation parameter . As we mentioned before, a smaller value indicates a more prepared community to the increasing number of infected individuals. From the expression of in (15), it can be seen that does not appear in . Hence, we conclude that does not impact the size of . However, as we have shown in Figure 11, a smaller value of reduces the size of total infected humans and mosquitoes in the malaria-endemic equilibrium point. Therefore, it can be concluded that although the level of community readiness to carry out fumigation does not affect the final state of population (endemic or not), it is clear that the higher the community readiness (the smaller the value of ), then the smaller the total size of the infected population in malaria-endemic equilibrium.

5.3. Effect of Different Fumigation Strategy

As we have mentioned in sensitivity analysis on , we find that fumigation does not affect the size of , but it can reduce the size of malaria-endemic equilibrium when fumigation intervention increases, as shown in Figure 12.

Now, we conduct our simulation with three different scenarios, based on the measured fumigation control depending on the implementation time. In the 1st and the 2nd scenarios, we choose to be changed depending on the time interval, using the following step function:

while the 3rd scenario when for all time . The result is given in Figure 13. We can see from Figure 13 that when there exist two stable malaria-endemic equilibrium points, then proper fumigation intervention may change the direction of stability of the system, which in our numerical experiment is from the large endemic size into small endemic size. When the improvement of fumigation is given too early (2nd scenario), then after the fumigation intervention loosened back into , then the dynamic of total infected human goes back to the large endemic size. On the other hand, when the intervention is given several times after the first implementation (1st scenario), then the dynamic of total infected humans is continuously going to the small endemic equilibrium. Based on this, it is necessary to consider the time for implementing an appropriate increase in fumigation intervention so that the solution dynamics can be directed to a smaller endemic point if the bistability phenomenon appears.

6. Conclusions

Malaria has long been a critical health problem in various parts of the world. Every year, hundreds of millions of people are at risk of becoming infected with malaria, with the majority of cases occurring in Africa. The disease is spread due to the bite of a female Anopheles mosquito and is caused by five different types of Plasmodium. Different types of Plasmodium that infect give different symptoms/serious illness that appears in patients with malaria. Various interventions have been and are being researched, such as vaccination, treatment, vector control with fumigation, and use of insecticide-treated bed net. The high number of cases in various parts of the world until now indicates that our understanding of malaria is still not sufficient to help us optimally control the spread of malaria.

In this research, we introduce a new malaria model that considers two important factors: the use of a new treatment (tafenoquine) to prevent relapse and a saturated fumigation function. The fundamental properties, the existence and stability criteria of the equilibrium points, and how they relate to the basic reproduction number are analyzed in detail. We use Descartes’s rule of signs to show a possible number of malaria-endemic equilibrium points when the basic reproduction is less or larger than one. We find that it is possible to have more than one endemic equilibrium when the basic reproduction number is larger than one. Our bifurcation analysis shows how our model consistently exhibits a forward bifurcation at the basic reproduction number equal to one. However, our numerical simulations show forward bifurcation phenomena with hysteresis. This phenomenon results in the emergence of three malaria-endemic equilibrium for a basic reproduction number larger than one.

Our sensitivity analysis shows that tafenoquine has a big potential to control the spread of malaria by preventing the possibility of exposed individuals from relapsing. Furthermore, we also find that although fumigation does not affect the basic reproduction number, it can reduce the number of infected individuals at malaria-endemic equilibrium. Furthermore, a numerical investigation on implementing a high intensity of fumigation in a short time intervention interval may lead to a final switching condition if the forward with hysteresis phenomena appears. We find that when fumigation is implemented in a proper time interval, the direction of endemic equilibrium can be “kicked down” into the smaller size of malaria-endemic equilibrium, which is easier to control with other intervention strategies. We hope that the results of our research in this article can provide another perspective in evaluating the possibility of implementing tafenoquine and fumigation in the field.

Appendix

A. Proof of Theorem 1

We proof our theorem by analyzing the behaviour of each variables on it boundary planes. From malaria model in system (7), we have the dynamics on the boundary of as follows.

It can be seen that all the rates of variables are nonnegative on the boundary of . Therefore, if we start in the interior of the nonnegative , we shall always remain in this region in view that the direction of the vector field is inward on the boundary planes. Thus, the nonnegativity of all solutions of system (7) is guaranteed.

Next, we continue to show the uniqueness solution of system (7) by showing the boundedness of and . Adding the first five equations in system (7) together, we get

Solving the above differential equations with respect to and with a positive initial condition gives

Hence, if we take , then we have that is eventually bounded by . To be precise, we have that the biological feasible region of human population of system (7) is

For mosquito population, by adding the last two equation in system (7), we have

Solving the above expression with respect to and with positive initial condition , we get

Hence, if we take , we have that is eventually bounded by . Hence, the biological feasible region of mosquito population is

Hence, the proof is complete.

B. Possible Positive Root of Polynomial (7) when

For an example, substitute parameter values as in Figure 4(b) and to polynomial in (19), we have which is the case number 22. Solve with respect to , and then, we have 3 positive roots of , i.e., 1.91, 6.23, and 53.6.

C. Possible Positive Root of Polynomial (7) when

For an example, substituting parameter values as in Figure 4(a) and to polynomial in (19), we have

which is the case number 64. Solve with respect to , and then, we have no positive roots.

D. Expression of

where with

Since and are negative, then we have .

Data Availability

No data were used to support this study.

Conflicts of Interest

The author declares that there are no known competing financial interests or personal relationships which have or could be perceived to have influenced the work reported in this article.

Acknowledgments

This research is funded by the Universitas Indonesia with PUTI Q2 research grant scheme 2022 (ID: NKB-649/UN2.RST/HRP.05.00/2022).