Human African trypanosomiasis (HAT), commonly known as sleeping sickness, is a neglected tropical vector-borne disease caused by trypanosome protozoa. It is transmitted by bites of infected tsetse fly. In this paper, we first present the vector-host model which describes the general transmission dynamics of HAT. In the tsetse fly population, the HAT is modelled by three compartments, while in the human population, the HAT is modelled by four compartments. The next-generation matrix approach is used to derive the basic reproduction number, , and it is also proved that if , the disease-free equilibrium is globally asymptotically stable, which means the disease dies out. The disease persists in the population if the value of . Furthermore, the optimal control model is determined by using the Pontryagin’s maximum principle, with control measures such as education, treatment, and insecticides used to optimize the objective function. The model simulations confirm that the use of the three control measures is very efficient and effective to eliminate HAT in Africa.

1. Introduction

Human African trypanosomiasis (HAT), commonly known as sleeping sickness, is a vector-borne tropical disease which is caused by Trypanosoma brucei protozoa species. It is one of the neglected tropical diseases which affect people in sub-Saharan Africa, specifically those living in rural areas. HAT is caused by two species of protozoa which are Trypanosoma brucei gambiense (TBG), which causes the chronic form of HAT in central and western Africa, and Trypanosoma brucei rhodesiense (TBR), which causes the acute form of the disease in eastern and southern Africa [1]. The HAT disease has killed millions of people since the beginning of century and it is transmitted from one individual to another by tsetse flies (genus ); TBG is transmitted by riverine tsetse species, while TBR is transmitted by savanna tsetse species [1]. Rhodesiense HAT is an acute disease that can lead to death if not treated within 6 months, while gambiense HAT is a slow chronic progressive disease which causes death with an average duration of 3 years [2]. The signs and symptoms for both forms of HAT are not specific and their appearances vary from one person to another; at the first stage of HAT, the disease is not severe and the signs and symptoms such as intermittent fever, headache, pruritus, lymphadenopathies, asthenia, anemia, cardiac disorders, endocrine disturbances, musculoskeletal pains, and hepatosplenomegaly may be observed, while in the second stage of HAT, sleep disorders and neuropsychiatric disorders are likely to dominate. The HAT disease can be treated by using drugs such as suramin, eflornithine, melarsoprol, and pentamidine.

The disease is reported to affect about 37 sub-Saharan African countries; it affects much rural areas where there are suitable environments for the tsetse flies to live and reproduce, and the periurban areas can also be affected. The transmission of HAT can occur during human activities such as hunting, farming, as well as fishing [3]. The transmission of HAT needs the reservoir; reservoir is a species that can permanently maintain the pathogen and from which the pathogen can be transmitted to the target population [4]. Rhodesiense HAT is zoonotic which requires a nonhuman reservoir (animals) for maintaining its population, while in gambiense HAT, humans act as key reservoir [4].

Mathematical models have been used to study the transmission and effective control of diseases simply and cheaply with no need of expensive and complicated experiments [5]. So far, different models have been developed and formulated by different researchers. One of the important modelling work on HAT was done by Rogers [6]; the model explained the mathematical framework on transmission of HAT in multiple host populations [6]. Rogers’ model was generalized by Hargrove et al [7], and a new parameter which allows the tsetse flies to feed off multiple hosts was introduced. The model compared the effectiveness of two methods used to control HAT: insecticide-treated cattle and the use of trypanocide drugs to treat cattle. They found out that treating cattle with insecticides is more effective and a cheaper approach to control HAT than using trypanocide drugs. Kajunguri [8] developed a model which was based on a constant population with a fixed number of domestic animals, human, and tsetse flies in one of the villages in West Africa. The major findings of their model estimated that the cattle population contributes to about of the total TBR transmission, while the rest is the contribution of human population in transmission of the disease. The study by Kajunguri [8], which also formulated a multihost model, was used to study the control of tsetse flies and TBR in southern Uganda. They found out that the effective application of insecticides brings about a cost-effective method of control and eliminating the disease. They realized that using insecticides for controlling HAT is more effective and efficient in the area where there are few wild hosts.

Due to low mortality rate of the disease and poverty of its sufferers, the efforts toward the control of HAT has reduced. Most attention is given to popular diseases such as HIV/AIDS, tuberculosis, malaria, and ebola, although the disease is still a threat to the lives of sub-Saharan African people. Moreover, very few studies have been carried out on applying optimal control theory to HAT transmission models. In this paper, we use optimal control theory to study the transmission dynamics of HAT diseases by using education, treatment, and insecticides as the control measures.

The rest of this paper is outlined as follows: Section 2 represents the vector-host model and the underlying assumptions. In section 3, the model equilibria and stabilities are determined, whereas in Section 4, the optimal control model is analyzed by modifying the previous one to control the HAT by using control measures (education, insecticides, and treatment). In addition, the numerical simulations for the optimal control model are done in this section and we use the results obtained to compare the efforts of each control measure to control the HAT in Africa. Finally, we provide the conclusion in Section 5.

2. Model Formulation

In this section, the vector-host model as well as the necessary differential equations to describe the transmission of HAT from tsetse fly to human and vice versa are developed. The transmission of HAT in the human population is modelled using four subclasses: Susceptible , Exposed , Infectious , and Recovered . The total human population, , is thus defined by

The transmission of HAT in the vector (tsetse flies) population is also divided into Susceptible (), Exposed (), and Infectious (). The total population of the tsetse flies, , is also defined by

We assume a constant population for both host and vector. It is also assumed that the tsetse fly cannot recover from the disease and the infected tsetse fly remains infectious throughout the rest of its life; there is no disease-induced death rate for tsetse flies and the recruitment rates are assumed to be constant due to birth and immigration.

In our model, the recruitment rate of hosts and vectors are represented by and , respectively. The susceptible host gets the disease when bitten by infectious tsetse fly, and susceptible tsetse fly gets the disease when it bites an infectious human at the rate a. The natural mortality rate for humans and vectors are represented by and , respectively. The parameter ω represents the disease-induced death rate for humans, while and are the force of infection for humans and vectors, respectively. The parameter σ represents per capita rate of a vector becoming infectious, and the rest of the parameters are explained in Table 1. Assuming that the transmission per bite from infectious tsetse fly to human is a, then the rate of infection per susceptible human is given byand also if we further assume that a is the tsetse-fly biting rate, that is, the average number of bites per tsetse fly per unit, then the rate of infection per susceptible tsetse fly can be represented by

From the model diagram in Figure 1, the following differential equations are derived:

From system (5), the dimensionless technique is used to derive another equivalent differential equation; we denote , , , , , , and and substitute in system (5), to obtain the following new equivalent equations:

Table 1 shows the description of the model parameters and variables.

2.1. Positivity and Boundedness of the Solutions

In this subsection, we show that system (6) is epidemiologically and mathematically well defined in the positive invariant region:

Theorem 1. There exists a domain D in which the solution is contained and bounded.

Proof. We provide the proof following the idea by Olaniyi and Obabiyi [9]. Given the solution set with the positive initial conditions , we define

The derivatives of and with respect to time along the solution of system (6) for human and tsetse flies, respectively, are obtained by

From these differential equations, it follows that and . We obtain the solutions as follows:

By taking the limits of both and above as , we obtain and ; hence, the solutions are contained in the region D. This implies that all solutions of the human and tsetse fly population are contained in the region D and are nonnegative; this guarantees that the positive invariant region for system (6) exists and is given by

3. Model Equilibria and Stability Analysis

In this section, we give the model equilibria, the basic reproduction number, , and the stabilities at both disease-free and endemic equilibrium.

3.1. Disease-Free Equilibrium (DFE)

The DFE in system (6) is when there are no HAT infections within the human and tsetse fly population. Thus, the existence of the DFE is given by

3.2. Endemic Equilibrium (EE)

The EE is the nontrivial equilibrium point at which the HAT disease persists in both human and tsetse fly population. Thus, the EE is obtained as follows: whereand the term

3.3. Basic Reproduction Number,

The basic reproduction number, , is defined as the number of secondary infections caused by one infected host or vector in a completely susceptible population [10]. The next-generation matrix approach as done by Van den Driessche and Watmough in [5, 11] is applied to derive

By denoting matrix and , where , the spectral radius of the next-generation matrix gives the value of :

The spectral radius gives

One infected human in a population of susceptible vectors will cause infected vectors; likewise, one infected vector in a population will cause infected humans [5]. Therefore, the basic reproduction number can be rewritten as , where and . Thus, can also be defined as the square root of the product of the number of infected humans in the susceptible population caused by one infected tsetse fly in its infectious lifetime and the number of infected tsetse flies caused by one infected human during the infectious period [12].

3.4. Local Stability of Disease-Free Equilibrium (DFE)

Theorem 2. If , the DFE given by is locally asymptotically stable in the region defined by (7), and it is unstable when .

Proof. The DFE is locally stable if all eigenvalues of Jacobian matrix are negative. The matrix has all eigenvalues negative only if the trace of and determinant of . By linearizing system (6) around , we obtain the following Jacobian matrix:

The trace of matrix is such that

Using the basic properties of matrix algebra as in [13], it is clear that the eigenvalues and of the matrix have negative real parts. The reduced matrix is

From matrix , the eigenvalue has negative real part. The remaining matrix is further reduced by using the reduction techniques, and we obtain

Using the properties of matrix algebra, the matrix has eigenvalue which has negative real part. We further reduce to a matrix by using the same reduction techniques. The matrix is

From the reduced matrix, the trace is negative and the determinant is

Sincethen, by letting , we find our determinant as

The value of can be seen to be positive because all the parameters are positive. As a result, the determinant in (24) is positive if and only if . Therefore, the DFE is locally stable if .

3.5. Global Stability of Disease-Free Equilibrium (DFE)

To show that the DFE is globally stable, we apply Lyapunov’s theorem in [5].

Theorem 3. The DFE defined by is globally asymptotically stable in the region defined by (7) if . Otherwise unstable if .

Proof. We define Lyapunov’s function assatisfying system (6), where are to be determined and and . We first show that for all . It is enough to check that

The function such that has minimum value equal to zero when ; hence, for all . Thus, Lyapunov’s function . The function V is radially unbounded because as , the function . We now take the derivative of V with respect to time and use system (6) to replace the derivatives in the right hand side such that

The terms with are ignored because if are globally stable, then at any time t and the DFE for system (6) is globally stable. Taking , , , and , the derivative of V with respect to time becomes

The terms and are positive because if we suppose , we have for all and since and , then is negative. Thus, we have for all .

Thus, the largest compact invariant set in D is the singleton set . Hence, system (6) is globally asymptotically stable.

3.6. Local Stability of Endemic Equilibrium (EE)

Theorem 4. The unique endemic equilibrium defined by is locally asymptotically stable in the region defined by (7) if , but is unstable if .

Proof. We give the proof of this theorem based on the approach used by Olaniyi and Obabiyi [9, 14]. From the points defined in (12), since all values are positive, we express the value of in terms of to obtainwhere

Since the basic reproduction number , if we letthen we can find as

The value of B is clearly positive because all parameters are positive. Hence, if and only if , implying that the is locally asymptotically stable if .

3.7. Global Stability of Endemic Equilibrium (EE)

To show the global stability of the , we use Lyapunov’s theorem together with the following lemma.

Lemma 1. Suppose that are n positive numbers. Then, their arithmetic mean is greater than or equal to the geometric mean, that is .

Theorem 5. The EE defined by is globally asymptotically stable if , otherwise unstable.

Proof. The proof is based on the idea as explained by Martcheva [5]. We define Lyapunov’s function assatisfying system (6) with to be determined. The function V is nonnegative for all and radially unbounded.

We need to prove that for all . We find the derivative of V with respect to time and replace the derivatives with system (6). We also ignore the terms because if are globally stable, then at any time t and is globally stable:

We now substitute and at the endemic equilibrium and then simplify and put similar terms together to obtain

We suppose and and multiply and divide the same equilibrium value to some of the fractions to obtain

We choose such that and choose such that . Now, and because and , respectively. We now obtain

Suppose and . We then substitute and simplify to get

From Lemma 1, the terms

Therefore, for all , implying that the endemic equilibrium is globally asymptotically stable if .

4. Analysis of Optimal Control Model

In this section, we formulate the optimal control model by modifying system (6) to an optimal control problem. We thus define some linear functions , for . It is important to note that controls are fully effective when and not effective when . The forces of infection and , which correspond to the human and vector population, respectively, are reduced by the factor , where measures the level of success obtained due to the effort of educating people on the dangers of exposing their skin, and encouraging them to wear long sleeves and long pants during the day to minimize tsetse fly-human contacts. The factor represents the effort of treatment to control the disease, and the factor also represents the effort of using insecticides to ensure that the breeding sites of the tsetse fly are minimized. Hence, taking into account the assumptions and extensions made, we try to find the most effective strategy that reduces the HAT infection in the population at a very minimum cost. With the use of bounded Lebesgue measurable control, we define the objective function to be minimized as

Thus, the dynamics of the controls that minimizes the objective function is given bysubject to the initial conditions . The associated effective reproduction number for (41) denoted by is obtained as

The goal is to minimize the exposed and infectious human populations , the exposed and infectious vector populations , and the cost of implementing the control by the use of possible . The functional objective includes the social cost which relates to the resources that are needed for educating people on personal protection , the application of treatment , and spraying of tsetse fly operations . The quantities and , respectively, represent the associated cost with minimizing the exposed and infected human population, while and also represent the cost associated with minimizing the exposed and infected vectors, respectively. The quantity is the time period of intervention. As explained in [15], the costs corresponding to and are linear, while the cost control functions and should be nonlinear and take a quadratic form. Therefore, we seek to minimize the objective function over the given time interval . Pontryagin’s maximum principle is used to solve this optimal control problem and the derivation of the necessary conditions. The Lagrangian of the optimal control problem is given by

To determine the Lagrangian minimum value, we define the Hamiltonian, H, for the control problem aswhere are adjoint variables or costate variables. The differential equations of adjoint variables are obtained by taking the partial derivatives of the Hamiltonian equation with respect to the state variables, which gives

Theorem 6. Given the optimal controls and the solutions of the corresponding state equations (41) and (40) which minimize over the region , then there exist adjoint variables satisfyingand the optimal solution is given by

Proof. The Pontryagin’s maximum principle described in [16, 17] is applied. Corollary 4.1 in [17] shows the existence of an optimal control due to the convexity of the integrand J with respect to , and Lipschitz property of the state system with respect to the state variables. By using the optimal conditionswe obtain,

Solving (49), we have

As stated earlier, the lower and upper boundaries for the control parameters are 0 and 1, respectively. If , then and if , then , otherwise . Therefore, for the control parameters , we obtain the optimum value of the function .

4.1. Optimal Control Simulations

The Octave programming language is used to simulate the optimal control model using the set of parameters obtained from previously reported studies and datasets, which have been cited. Some of these parameters are assumed for the sake of illustrations. Table 2 represents the values of the model parameters used for simulations. The following initial conditions were considered:and the weight constants were assumed to be

Figures 2 and 3 represent the control profiles at different values of , and , while the rest of the plots are the graphs of infectious human and vector population plotted against time in days and they represent the effect of optimal controls , and in reducing the number of individuals infected. From Figure 4, we observe that the use of treatment and insecticides only has a significant impact in reducing the number of infectious individuals and they show that this strategy is effective to control tsetse flies and infected human populations. In Figure 5, we observe that the use of education and insecticides reduce the number of infectious individuals but the results depicted in Figure 5(a) shows that this strategy is not effective and efficient to control the infectious human population. From Figure 6, we observe that the use of education and treatment reduces the number of infectious individuals but the results from Figure 6(b) shows that this strategy is not effective and efficient to control the population of infectious tsetse flies. Lastly, the results depicted from Figure 7 shows that the strategy of using education, treatment, and insecticides is very efficient and effective to reduce the number of infected individuals. Therefore, the use of education, treatment, and insecticides simultaneously is very efficient and effective to eliminate HAT in Africa.

In epidemiology, a reproduction number less than unity implies that the disease can be eradicated in the long run. Hence, choosing suitable parameters for the controls , and , it was observed that the effective reproduction numbers obtained for Figures 27 were 0.0075, 0.00013, 0.044, 0.000075, 0.0075, 0.00013, 0.044, and 0.000075, respectively. This shows that incorporating all the control measures, that is, educating individuals, giving treatment, and applying insecticides, is an effective method to help reduce the number secondary infections in the population which corresponds with eradicating the disease in the long run.

5. Conclusion

In this paper, we studied and analyzed the model for transmission of HAT, and determined the basic reproduction number. The local and global stabilities of disease-free equilibrium and endemic equilibrium were also proved. For the optimal control model, education, treatment, and insecticides as control measures were used to optimize the objective function defined by Equation (40). The numerical simulations of the optimal control model show that the best strategy to reduce the number of infected individuals is through the use of education, treatment, and insecticides. This is the effective and efficient method to eliminate the disease. Furthermore, the national authorities, nongovernmental organizations (NGOs), and stakeholders must not lose their interest in controlling the disease because neglecting this disease may cause rapid reoccurrence and much effect to the people who are at risk.

Data Availability

The secondary data supporting this research are from previously reported studies and datasets, which have been cited. The processed data are available in cited references.

Conflicts of Interest

The authors declare that they have no conflicts of interest.


The authors thank the support from Next Einstein Initiative of the African Institute for Mathematical Sciences, Ghana (Annual Grant for Graduate Studies) and MasterCard Foundation.