Abstract

We present a rigorous mathematical analysis of a deterministic model, for the transmission dynamics of hepatitis C, using a standard incidence function. The infected population is divided into three distinct compartments featuring two distinct infection stages (acute and chronic) along with an isolation compartment. It is shown that for basic reproduction number , the disease-free equilibrium is locally and globally asymptotically stable. The model also has an endemic equilibrium for . Uncertainty and sensitivity analyses are carried out to identify and study the impact of critical parameters on . In addition, we have presented the numerical simulations to investigate the influence of different important parameters on . Since we have a locally stable endemic equilibrium, optimal control is applied to the deterministic model to reduce the total infected population. Two different optimal control strategies (vaccination and isolation) are designed to control the disease and reduce the infected population. Pontryagin’s Maximum Principle is used to characterize the optimal controls in terms of an optimality system which is solved numerically. Numerical results for the optimal controls are compared against the constant controls and their effectiveness is discussed.

1. Introduction

Hepatitis C (HCV) is an important public health problem, as it is the common cause of liver diseases throughout the world [1]. The disease was first recognized in 1975 and its causative agent was identified in 1989. Hepatitis C is characterized by an acute (often asymptotic) stage, which, in most cases, is followed by a chronic stage that can result in cirrhosis and liver cancer. The hepatitis C virus (causative agent) is an enveloped RNA virus, which is further characterized to be a positive-sense single stranded virus belonging to the family Flaviviridae and is considerably small in size. Replication of the RNA-based virus involves the use of the enzyme RNA-dependent RNA polymerase (RdRP), which has a high error rate while going through this process. World Health Organization’s report suggests that around of the world population has been infected with HCV. The population infected with chronic HCV, who are at risk of developing liver cancer or cirrhosis, is estimated to be around 170 million. Furthermore, nearly 350,000 people die annually throughout the globe as a result of HCV-related liver diseases [2].

Hepatitis C can be characterized by two distinct stages: an acute stage and a chronic stage. Initially, infection by HCV causes an acute HCV which is usually asymptotic. Only about of the cases show mild symptoms like decreased appetite, nausea, fatigue, joint or muscle pains, and weight loss. In of the cases, the infection may resolve spontaneously. And the remaining of the people exposed to HCV progress to the chronic stage of the infection by developing a chronic infection, which can last for decades. During the starting years of infection, most people experience minimal or no symptoms at all. However, HCV becomes the main cause of liver cancer and cirrhosis after several years of living with it. About of chronic HCV patients die from liver cancer or cirrhosis and nearly develop cirrhosis over 30 years. Patients with cirrhosis are 20 times more likely to develop hepatocellular carcinoma, at the rate of each year. Moreover, of cirrhosis cases and of hepatocellular carcinoma cases worldwide are estimated to be caused by HCV [35].

Depending on the genotype of the HCV, the standard treatment of infected patients includes a combination of pegylated interferon (peg IFN-α) and the robust antiviral drug Ribavirin, for a period of 24 or 48 weeks [6]. The reaction to treatment also differs by genotype and lies between and for genotypes 2 and 3, while it is almost non existent for genotype 6. Recently, there have been promising treatment advances of genotype 1 using directly acting antiviral agents (DAAs). However, to prevent the infection, there is still a need to create effective vaccine strategy. Vaccines, which are used in preclinical and clinical trials, involve DNA-based proteins, recombinant proteins, synthetic peptide vaccines, and so forth. The future design of vaccines, along with the use and success of previously mentioned vaccines, has been discussed here [7]. However, no long-term immunity is granted in recovering from hepatitis C infection. So, this absence of acquired immunity must be shown in any model for hepatitis C. This is done by allowing recovered patients to become susceptible again.

Several studies have been carried out [813] and they are pertinent to our work. Most of these papers classify individuals in the population into different states and then formulate a system of ordinary differential equations (ODE) to analyze the time-evolution of each of these population states. Reade et al. [12] present an ODE model of infections with acute and chronic stages. Similarly, by Luo and Xiang, [10] a four state system was analyzed with exposed, acute and chronic states. Suna et al. [13] present a study on a SEIRS model where it was assumed that recovered individuals lose their infection-acquired immunity. Martcheva and Castillo-Chavez in [11] have formulated a model for hepatitis C lacking an exposed class and have discussed the stability of the equilibrium states.

We will formulate a five-state deterministic model with individuals in the population being classified as susceptible, acute, chronic, isolated, and recovered. Individuals suffering from acute and chronic stages of the infections are represented by acute and chronic states, respectively. The isolated state represents the chronically infected individuals getting isolated. The isolation of those with disease symptoms is probably the first infection control measure in recorded human history [14]. Over the decades, quarantine and isolation have been used to reduce the transmission of numerous emerging and reemerging human diseases such as leprosy, plague, cholera, typhus, yellow fever, smallpox, diphtheria, tuberculosis, measles, Ebola, pandemic influenza, and, more recently, SARS [1520].

Previous models of HCV, particularly the models calculating the threshold quantity basic reproduction number , have included the treatment and/or vaccination and have discussed the control of the disease by looking at the role of disease transmission parameters in the reduction of and the prevalence of the disease. However, these models did not account for time-dependent control strategies since their discussions are based on prevalence of the disease at equilibria. Optimal control theory has been employed to make decisions involving epidemic and biological models. The desired results and performance of the control functions depend on the different situations. Lenhart’s HIV models [21, 22] used optimal control to design the treatment strategies. Jung et al. [23] provide a very good example of deciding how to divide the efforts between two treatment strategies (case holding and case finding) of the two-strain TB model. Yan et al. [24] used an optimal isolation campaign to fight the SARS epidemic. Study control strategies produce valuable theoretical results which can be used to suggest or design epidemic control programs. Depending on a chosen goal (or goals), various objective criteria may be adopted.

Our model extends previous work done on modeling the spread of hepatitis C in several key ways. First, we introduce an isolation class and qualitatively assess the effects of this isolation class on the transmission dynamics. Quarantine of individuals suspected of being exposed to a disease and the isolation of those with disease symptoms constitute what probably is the first infection control measure since the beginning of recorded human history [14]. However, almost no analysis of the effects of an isolation class on diseases with a chronic stage has been done and, therefore, our paper will be one of the first attempts to study the effect of isolation on the spread of a disease with a chronic stage. In addition, we will model the force of infection by a proportionate mixing, with the possibility of secondary infections due to contact with individuals who belong to the acute, chronic, or isolation class. Furthermore, we consider the disease-induced death rates for HCV in our model and will also take into account the possibility of recovery at every stage of the disease. These features add to the complexity of our model and make it considerably more insightful from an epidemiological perspective than previous models [11, 25].

In the paper, Section 2 presents a rigorous mathematical analysis of the deterministic model. It is shown that for basic reproduction number , the disease-free equilibrium is locally and globally asymptotically stable. Further, the model has an endemic equilibrium, which exists if and persists in this case. The effect of using isolation on population is discussed using a threshold quantity. Sensitivity and uncertainty analyses are carried out to study the impact of crucial parameters on . The existence of a locally stable endemic equilibrium, in case of , encourages us to use a time-dependent optimal control strategy to prevent and control HCV. In Section 3, we designed two different optimal control strategies (vaccination and isolation) and performed numerical simulations to illustrate the effects of an optimal control strategy. Conclusion is presented in the last section.

2. Model Formulation and Steady State Analysis

2.1. Model Formulation

We formulate a five-state model with individuals classified as susceptible, acute, chronic, isolated and recovered. Hep C has an extremely slow progression that makes it difficult to characterize the natural history of the disease [3]. The following assumptions will therefore be made.(1)All infected individuals develop the acute form of Hep C first.(2)Individuals with either the acute or chronic form of Hep C are capable of transmitting the disease.(3)Individuals with the acute form of the disease either progress to the chronic form or recover naturally. Since the acute form of the disease is largely asymptomatic, there is little chance of treatment at this stage.(4)There is no permanent immunity against HCV after recovery; thus the recovered individuals move back to the susceptible.

In addition, the model will assume that the susceptible population has a constant recruitment rate and natural death rate . Susceptible individuals who get infected suffer from the acute form of hepatitis C and move to the compartment with the force of infection given by . Individuals in , in addition to the natural death rate , die at a disease-induced death rate . They also have a natural recovery rate of . Individuals with the acute form of the infection progress to the chronic form of the disease at a rate , in which case the individual is shifted to compartment . Individuals in , in addition to the natural death rate , also die at a disease-induced death rate . Furthermore, these individuals recover at a rate and thus move to the recovered compartment . Also, the individuals in compartment are isolated and moved to compartment at a rate . Individuals in , in addition to the natural death rate , also die at a disease-induced death rate . Isolated individuals can either recover at a rate or become acutely infected with HCV at a rate . The individuals in are prone to the natural death rate , or they become susceptible again and enter the compartment at a rate of . Recovery from HCV does not result in immunity.

Mathematically, the model is as follows: where The descriptions of variables and parameters of model (1) are as follows.Variable: Total population: Population of susceptible individuals: Population of individuals with acute Hep C: Population of individuals with chronic Hep C: Population of isolated individuals: Population of recovered individuals.Parameter: Recruitment rate: Natural death rate: Disease-induced death rate for individuals with acute Hep C: Disease-induced death rate for individuals with chronic Hep C: Disease-induced death rate for isolated individuals: Recovery rate of isolations: Fraction of isolated that becomes susceptibles: Progression rate from acute to chronic: Isolation rate of chronic individuals: Natural recovery rate for acute individuals: Recovery rate for chronic individuals: Progression rate of recovered individuals to susceptible individuals: Effective contact rate: Modification parameter for reduction in infectiousness of acute individuals: Modification parameter for reduction in infectiousness of quarantined individuals.

Since (1) is a model for human populations, all the associated parameters are nonnegative. Furthermore, the following result holds and can be proved easily.

Lemma 1. The variables of model (1) are nonnegative for all time . In other words, solutions of the system (1) with positive initial data will exist and remain positive for all . Moreover, the closed set is positively invariant and global attractor.

Since the region is positively invariant and global attractor, it is sufficient to consider the dynamics of the flow generated by model (1) (Figure 1) in region , where the model is considered to be epidemiologically and mathematically well posed.

2.2. Disease-Free Equilibrium (DFE)

In this section, we discuss the existence and stability of the disease-free equilibrium (DFE).

2.2.1. Local Stability

Model (1) has a disease-free equilibrium DFE, obtained by setting the right-hand sides of the equations in (1) to zero, given by The local stability property of will be determined using the next generation operator method described in [26]. The nonnegative matrix , of the new infection terms, and the -matrix, , of the transition terms associated with model (1), are given by

The eigenvalues of matrix are

It follows that the basic reproduction number is given by where The basic reproduction number is interpreted as the average number of new infections that one infectious individual can produce if introduced into a population composed of susceptible individuals. Susceptible individuals acquire infection following contact with either an acute (), chronic (), or isolated () individual. The number of infections produced by an acutely infected individual (near the DFE) is given by the product of the infection rate of an acute individual () and the average duration in the acute class (). Furthermore, the number of infections produced by a chronically infected individual (near the DFE) is given by the product of the infection rate of a chronic individual (), the average duration in the chronic C class (), and the probability that an acute individual survives and progresses to the chronic stage . Similarly, the number of infections produced by an isolated individual (near the DFE) is given by the product of the infection rate of an isolated individual (), the average duration in the isolated class (), and the probability that an acute individual survives and progresses to the isolated stage . Finally, we observe that a fraction of newly infected individuals will reenter the acute class. Thus, the average number of new infections generated by a single infectious individual is given by The local stability of the DFE holds due to Theorem 2 of [26].

Lemma 2. The DFE, , of model (1) is locally asymptotically stable if and unstable if .

Lemma 2.2 implies that with , a small influx of infectious individuals will not lead to a large outbreak of the disease. To ensure that disease elimination is independent of the initial sizes of subpopulations, it is necessary to show that the DFE is globally asymptotically stable if . This is explored below.

2.2.2. Global Stability

Theorem 3. The DFE of model (1), given by (4), is globally asymptotically stable whenever .

Proof. Consider the following Lyapunov function: where Clearly is positive definite. We have Thus, It follows that for 1 with if and only if or . Hence, is a Lyapunov function on .
The largest invariant set in is the singleton . According to the LaSalle Invariance Principle, is globally asymptotically stable in if . This means that, with , every solution to the system (1) with initial conditions in approaches as :

The epidemiological implication of the above result is that the disease can be eliminated from the population if the basic reproduction number can be brought down to and maintained at a value less than unity (i.e., the condition is sufficient and necessary for disease elimination). Figure 2 depicts numerical results by simulating model (1) using various initial conditions with . It is evident from the simulation that all initial solutions converged to DFE, , in-line with Theorem 3.

2.3. Endemic Equilibrium

In this section the existence and stability of endemic equilibrium of model (1) will be discussed. We define endemic equilibrium to be those fixed points of the system (1) in which at least one of the infected compartments of the model is nonzero.

Let denote an arbitrary endemic equilibrium of model (1) so that . Solving the equations of model (1) at steady state gives where

Consider . Then, using and (15) from above we have the following endemic states: where Hence, we have the following result.

Lemma 4. Model (1) has endemic equilibria, given by (15), whenever .

Now, we address the question of uniform persistence of the infected population.

Theorem 5. If , then the disease is uniformly persistent: there exists an such that for all solutions of (1) with , , and .

Proof. Let . Thus, is the set of all disease-free states of (1) and it can be easily verified that is positively invariant. Let . Since both and are positively invariant, is also positively invariant. Also note that and attracts all the solutions in . So, . The equations for the infected components of (1) can be written as where , . It is clear that . Also it is easy to check that is irreducible. We will apply Lemma A.4 in [27] to show that is a uniform weak repeller. Since is a steady state solution, we can consider it to be a periodic orbit of period . , the fundamental matrix of the solutions for (20), is . Since the spectral radius of , the spectral radius of . So condition 2 of Lemma A.4 is satisfied. Taking , we get which is a primitive matrix, because is irreducible, as mentioned in Theorem A.12(i) [28]. This satisfies the condition 1 of Lemma A.4. Thus, is a uniform weak repeller and disease is weakly persistent. is trivially closed and bounded relative to and hence, compact. Therefore, by Theorem 1.3 [29], we have that is a uniform strong repeller and disease is uniformly persistent.

The epidemiological implication of Theorem 5 is that the disease will persist in the population whenever . Numerical simulation results, depicted in Figure 3 using different initial conditions, shows convergence of solutions to the in-line with Theorem 5.

2.4. Sensitivity Analysis

The asymptotic dynamics of the model are completely determined by the threshold quantity , which determines the prevalence of the disease. Since we have a deterministic model, the only uncertainty is generated by the input variation and parameters. Therefore, we present parameter-related global uncertainty and sensitivity analyses on . Parameter estimates can be uncertain because of many reasons including natural variation, error in measurements, or a lack of measuring techniques. Uncertainty analysis qualitatively decides which parameters are most influential in the model output ( in our case) and quantifies the degree of confidence in the existing data and parameter estimation. On the other hand, the sensitivity analysis identifies critical model parameters and quantifies the impact of each input parameter on the value of an output, in the presence of other input parameters.

Ideally, uncertainty and sensitivity analyses should be performed simultaneously. Here we use the Latin-hypercube sampling based method to quantify uncertainty and sensitivity of as a function of 12 model parameters (, , , , , , , , , , and ). For the sensitivity analysis, partial rank correlation coefficient (PRCC) measures the impact of the parameters on the output variable. PRCC provides a measure of monotonicity after the removal of the linear effects of all but one variable. PRCC method uses the rank transformation of the data (i.e., replacing the values with their ranks) to reduce the effects of nonlinearity. The Rank Correlation Coefficient (RCC) indicates the degree of monotonicity between the input and output variables. The resultant data are considered partially in some sense, that is, partial rank correlation coefficients (PRCC) are computed that take into account the correlations among other input variables. The basic reproduction number is the output measure in the sensitivity and uncertainty analyses.

The assumed distributions of the model parameters used in the two analyses are mentioned in the appendix. Our estimate of for Hep C from uncertainty analysis is 1.33 with CI (1.1, 1.95) as shown in Figure 4. The probability that is . This suggests that Hep C will get endemic under the preset conditions. However, the time taken to reach that state could be large.

The sensitivity analysis suggests that the most significant (PRCC values above 0.5 or below −0.5 in Figure 5) sensitivity parameters to are , , , and . This suggests that these parameters need to be estimated with precision to capture the transmission dynamics of the Hep C. The analyses further suggest that the isolation strategy aimed to reduce the infected population yields the desired result.

Since we are interested in the influence of critical model parameters on the basic reproductive number and hence the prevalence of chronic Hep C, we conduct numerical simulation to investigate it. In order to qualitatively measure the effect of isolation on the transmission dynamics of Hep C, a threshold analysis of the parameter associated with the isolation of chronically infected individuals is discussed (). We computed the partial derivative of with respect to this parameter.

For the case of the isolation of chronically infected individuals, it is easy to see that which simplifies to where Now we have where Thus, the isolation of chronically infected individuals will reduce and, therefore, reduce disease burden (new infections, mortality, etc.) if does not exceed the threshold (which is the rate of transfer of individuals out of the isolation state). This case is presented in Figure 6(a).

On the other hand, if , then the use of isolation (of chronically infected individuals) will increase , and, consequently, increase disease burden (hence, the use of isolation is detrimental to the community in this case). This case is presented in Figure 6(b). This important result is summarized below.

Lemma 6. The use of isolation of the chronically infected individuals will have positive (negative) population-level impact if .

Now we present the simulations of the critical parameters (as identified by sensitivity analysis) and . Figure 7 presents the dependence of the basic reproductive number on the parameters and , where denotes the isolation rate of chronic and denotes the progression rate to chronic from acute. From the contour plot, we see that if is larger, then is always greater than one, which implies that it is important to control the acute Hep C. Figure 7(b) shows that the basic reproductive number may be less than one if and can be restricted to a range, leading to the potential extinction of the disease.

The dependence of basic reproductive number on the recovery rate , isolation rate , and effective contact rate is explored in Figure 8. From Figure 8(a), it is clear that high isolation rate with low effective contact will result in smaller value of . Furthermore, is very sensitive to and basic reproductive number increases sharply when is slightly increased. Therefore, keeping the effective contact rate low will result in disease extinction. In Figure 8(b), larger recovery rate of chronic individuals results in smaller values of . However, still the increases as increases but smoothly and not sharply as seen in Figure 8(a).

3. Optimal Control Strategies

Pontryagin and Boltyanskii [30] formulated the optimal control theory for models with underlying dynamics defined by a system of ordinary differential equations. The theory, application areas, and the numerical methods have progressed considerably. Pontryagin’s Maximum Principle allows us to adjust the control in a model to achieve the desired results. The control parameters are mostly functions of time appearing as coefficients in the model.

Optimal control theory has been employed to make decisions involving epidemic and biological models. The desired results and performance of the control functions depend on the different situations. Lenhart’s HIV models [21, 22] used optimal control to design the treatment strategies. Jung et al. [23] provide a very good example of deciding how to divide the efforts between two treatment strategies (case holding and case finding) of the two-strain TB model. Yan et al. [24] used an optimal isolation strategy to fight the SARS epidemic. In [31] Joshi formulated two control functions as coefficients of the ODE system representing treatment effects in a two-drug regime in an HIV immunology model. The goal was to maximize the concentration of T cells while minimizing the toxic effects of the drug. The analytic and numerical results illustrated the level of two drugs to be used over the chosen time interval. The required balancing effect between two competing goals was well predicted by optimal control theory. Behncke [32] studied SIR models including vaccination, isolation, and health promotion campaign and obtained analytical results for optimal control. The optimal control intervention policies for stochastic epidemic models were treated by Clancy [33].

Pontryagin’s Maximum Principle appends an adjoint system of differential equations with terminal boundary conditions to the original model (state system) of differential equations, in the attempt to characterize an optimal control. The optimality system, which characterizes the optimal controls, consists of the differential equations of the original model (state system) along with the adjoint differential equations (adjoint system). The adjoint system has the same number of equations as in the state system. The adjoint functions behave very similar to the Lagrange multipliers (appending constraints to the function of several variables to be maximized or minimized). The adjoint variables maximize or minimize the state variables with respect to the desired objective functional. The details of the necessary conditions for the adjoint and optimal controls are presented here [30, 34, 35]. For the application of these results see [21].

Optimal control techniques are used to optimize the models given by system of differential equations. While formulating an optimal control problem, deciding how and where to introduce the control (through vaccination, drug treatment etc.) in the system of differential equation is very important. The formulation of the optimal control problem must be a reasonable and practical representation of the situation to be considered. The form of the optimal control depends heavily on the system being analyzed and the objective functional to be optimized. We will consider a quadratic dependence on the control in the objective functional.

The questions of the existence and uniqueness of the optimal control in an optimality system can be dealt with using the Lipschitz properties of the differential equations [30, 34]. For a detailed example, see the work of Fister et al. [21] and Fleming and Rishel [34]. After establishing the existence and the uniqueness results, we can confidently continue to numerically solve the optimality system to get the desired optimal control.

In this section, we consider two different time-dependent control strategies to prevent and control the spread of Hep C in the population. The first strategy is to introduce vaccination to our population and see the effects on the prevalence of the Hep C. We introduce a vaccination control, which is a function of time, in our model of differential equations to minimize the population of infected individual while keeping the cost of the vaccination to minimum through objective functional. Next strategy introduces control function for the isolation rate of chronically infected individuals to minimize the total infected population. The objective functional was designed carefully to minimize the infected population and the cost of the isolation facility.

3.1. Vaccination Control

The use of vaccination is an important disease control and prevention measure. Optimal vaccination control strategy for an SIR model has been devised using dynamic programming technique [36]. Also the optimal control strategies have been investigated for TB control [23, 37]. We have analyzed the dynamics of the model without vaccination in the last section which had a locally stable equilibrium. In this section we will explore the effects of a vaccination campaign on our deterministic model of Hep C by including vaccination. After including vaccination the model is given as follows: where In addition to the dynamics of the original model (1), now the susceptible population is being vaccinated at per capita rate (vaccine coverage rate). The vaccination rate includes both the medical inoculation and the educational campaigns to prevent Hep C. We also have to consider the partial efficiency of the vaccine, due to which only fraction of the vaccinated susceptible individuals go to the recovered class ( is the vaccine efficacy). The remaining () fraction of the vaccinated susceptible individuals goes to the acute class as a result of their contact with the infected individuals. When , it means that the vaccine has no effect at all and when , the vaccine is perfectly effective.

It is well understood that in order to eradicate an epidemic we have to vaccinate a large fraction of the susceptible population. Take the example of smallpox, its eradication was achieved after an intensive worldwide vaccination campaign and a very high vaccination rate [38]. However, in some infectious diseases such as measles and TB, the disease persists despite the extensive usage of vaccine, mainly because of low vaccine efficacy [39] and vaccination campaigns that could not reach everyone. Different vaccination policies have been implemented in different parts of the world. Practically, the cost of vaccine is a very important factor influencing the policy. Hence, we need to find a balance between the rate of vaccinating susceptible individuals and the cost of the vaccination. Now we design an optimal vaccination strategy to minimize an objective functional that takes into account both the cost and the number of infectious individuals. Now let the vaccination rate be given as function of time in model (26). The control set is The goal is to minimize the cost function defined as This performance specification involves the numbers of individuals of acute, chronic, and isolated, respectively, as well as the cost of applying vaccination control (). This cost also includes the cost for organization and management of vaccine and so forth. Hence, the cost function should be nonlinear. In this paper, a quadratic function is implemented for measuring the control cost [2124]. The coefficients , , , and are balancing cost factors due to scales and importance of the four parts of the objective function. We need to find an optimal control such that The existence of a solution to the optimal control problem can be obtained by verifying sufficient conditions. We refer to the conditions in Theorem III.4.1 and its corresponding corollary in [34]. The boundedness of solutions to the system (26) for the finite time interval is needed to establish these conditions. Pontryagin’s Maximum Principle [30] provides the necessary conditions to be satisfied by the optimal vaccination . This principle reduces (26), (28), and (29) into a problem of minimizing pointwise a Hamiltonian, , with respect to : where represents the right hand side of model’s (26) th differential equation. Using Pontryagin’s Maximum principle [30] and the optimal control existence result from [34], we have the following.

Theorem 7. There exists a unique optimal which minimizes over . Also, there exists adjoint system of ’s such that
The transversality condition gives The vaccination control is characterized as

Proof. Clearly the integrand of is convex with respect to . Also the solutions of (26) are bounded as for all time. Also it is easily verifiable that the state system (26) has the Lipschitz property with respect to the state variables. With these properties and using Corollary 4.1 of [34], we have the existence of the optimal control.
Since we have the existence of the optimal vaccination control, using Pontryagin’s Maximum Principle, we obtain evaluated at the optimal control, which results in the stated adjoint system (32). The optimality condition is Therefore, on the set , we obtain Considering the bounds on , we have the characterizations of the optimal control as in (35). Clearly the state and the adjoint functions are bounded. Also it is easily verifiable that state system and adjoint system have Lipschitz structure with respect to the corresponding variables; we obtain the uniqueness of the optimal control for sufficiently small time [30, 34]. The uniqueness of the optimal control pair follows from the uniqueness of the optimality system, which consists of (26) and (32), with characterizations (35). There is a restriction on the length of the time interval in order to guarantee the uniqueness of the optimality system. This restriction on the length of the time interval is due to the opposite time orientations of (26) and (32); the state problem has initial values and the adjoint problem has final values. For example, see [21]. This restriction is very common in control problems [22].

The following optimality system, consisting of 10 equations, characterizes the optimal vaccination control as defined in above theorem. It consists of five equations of (26) with initial condition and five equations of (32) with transversality condition .

Next, we discuss the numerical solutions of the optimality system and the corresponding optimal control pairs and the parameters. The optimal vaccination strategy is obtained by solving the optimality system (26) and (32), consisting of 10 ODEs from the state and adjoint equations. An iterative method is used for solving the optimality system. We start to solve the state equations with a guess for the control over the simulated time using a forward fourth-order Runge-Kutta scheme. The adjoint functions have final time conditions. Because of this transversality condition on the adjoint functions (32), the adjoint equations are solved by a backward fourth-order Runge-Kutta scheme using the current iteration solution of the state equations. Then, the controls are updated by using a convex combination of the previous control and the value from the characterizations in (35). This process is repeated and iteration is stopped if the values of unknowns at the previous iteration are very close to the ones at the present iteration.

Numerical solutions to the optimal system (26) and (32) are carried out using MATLAB and are presented here. The parameter values and the initial conditions are given in the appendix. The parameter values used have when the model without control is considered. Thus, the disease is not expected to die out without intervention strategies.

Figure 9(a) represents the control strategy to be employed for the optimal results. This control strategy minimizes both the cost and the infected population . It is well understood that in order to eradicate an epidemic, a large fraction of susceptible population needs to be vaccinated. Therefore, an upper bound of was chosen for vaccination control . The optimal control is at its upper bound during the first 60 days and then is steadily decreasing to 0. In fact, at the beginning of simulated time, the optimal control is staying at its upper bound in order to vaccinate as many susceptible individuals as possible to prevent the individuals from getting infected. The steady decrease of the is determined by the balance between the cost of the infected individuals and the cost of the controls. Figure 9(b) shows the total infected population for the optimal vaccination control, constant vaccination, and without control. It is easy to see that the optimal control is much more effective for reducing the number of infected individuals and decreasing the time-span of the epidemic. As normally expected, in the early phase of the epidemic breakouts, keeping the vaccination controls at their upper bound will directly lead to the decrease of the number of the infected people.

Figure 10 shows the cost associated with the optimal and constant control strategy. It is clear that the cost of optimal strategy is much less than the cost of constant strategy. In fact the costs differ by order of magnitude of ten. Figure 11 represents the population sizes of the distinct infected states (acute, chronic, and isolated) and with optimal control strategy, population sizes go to minimum in short period of time.

3.2. Isolation Control

Several approaches to Hep C vaccine development have now been studied and include synthetic peptides, DNA [40], recombinant E1 and E2 proteins [41], and prime-boost strategies [42]. Success of these approaches has been limited for a number of reasons including: the delivery of a limited number of protective viral epitopes, the inclusion of incorrectly folded recombinant proteins, the limited humoral and cell mediated responses that are associated with DNA vaccines, and the use of adjuvants with relatively poor potency. It is also now apparent that vaccine inducing strong T cell responses alone may not be sufficient to prevent hepatitis C infection [40]. An effective preventive vaccine against Hep C will, therefore, need to induce strong neutralizing and cellular immune responses [7].

Since an effective vaccine is not available against all the genotypes of Hep C, we have to look for alternate strategies to control the spread of Hep C. The quarantine and isolation of those individuals with disease symptoms constitute what is probably the first infection control measure since the beginning of recorded human history [14]. In our model of Hep C, the isolation compartment was introduced to investigate the effect on the infected population size and results were discussed in the last section. Now we can attempt to control the isolation rate of the chronically infected individuals in order to control the Hep C. This section will explore the effects of isolation control rate, of chronically infected individuals, on the total size of the infected population. The model including the required control is as follows: where

In addition to the dynamics of the original model (1), now we have a control parameter for the isolation rate of the chronically infected individuals labeled as . The control represents the fraction of the chronically infected individuals that are being isolated in order to decrease the rate of the spread of infection.

Now we design an optimal control strategy to minimize an objective functional that takes into account both the cost and the number of infectious individuals. Now let the isolation rate be for model (39). The control set is The objective functional is defined as where we want to minimize the infectious individuals, while also keeping the cost of the isolation facilities low. , , , and are the weight parameters. We need to find an optimal control such that Pontryagin’s Maximum Principle [30] provides the necessary conditions to be satisfied by the optimal vaccination . This principle reduces (39), (41), and (42) into a problem of minimizing pointwise a Hamiltonian , with respect to , defined as where represents the right hand side of model’s (39) th differential equation. Using Pontryagin’s Maximum Principle [30] and the optimal control existence result from [34], we have the following.

Theorem 8. There exists a unique optimal control which minimizes over . Also, there exists adjoint system of ’s such that where and all other s are given above.
The transversality condition is The optimal treatment control pair is characterised as

The proof is identical to the proof of Theorem 7.

In this case the system of 10 differential equations, as stated above, characterizes the optimal treatment control pair, consisting of five equations of system (39) and five equations of system (45).

Now, we discuss the numerical solutions of the optimality system and the corresponding optimal control pair and the parameters. The optimal treatment strategy is obtained by solving the optimality system (39) and (45), consisting of 10 ODEs from the state and adjoint system. The method is discussed in the last section.

Figure 12(a) represents the optimal isolation strategy to be employed to minimize the cost and the infected population. Considering the practical constraints, an upper bound of was chosen for the optimal isolation control . The optimal control is at its upper bound during the first 70 days and then is steadily decreasing to 0. In fact, at the beginning of simulated time, the optimal control is staying at its upper bound in order to isolate as many chronically infected individuals as possible to prevent the infected population from increasing. The steady decrease of is determined by the balance between the cost of the infected individuals and the cost of the controls. Figure 12(b) shows the total infected population for the optimal control, constant control, and without control. It is clear that with the use of an optimal control strategy the disease can be eradicated in a short period of time. Figure 13 shows the cost associated with the optimal and constant control strategy. It is clear that the cost of optimal strategy is much less than the cost of constant strategy and in fact differs by order of magnitude of tens. Figure 14 represents the population sizes of the distinct infected states (acute, chronics and isolated) and with optimal control strategy, population sizes go to minimum in short period of time.

4. Conclusions

This paper has discussed the transmission dynamics of the Hep C and eventually formulated an optimal control strategy to prevent disease spread. At first, a deterministic epidemic model for the spread of Hep C, which incorporates the possibility of an isolation state, is formulated. Global analysis of the equilibrium solution is performed. The existence of a disease-free equilibrium and an endemic equilibrium is shown. It is further demonstrated that the disease-free equilibrium is globally asymptotically stable for values of the basic reproduction number (). The disease uniformly persists when . In addition, it is shown that the endemic equilibrium is locally asymptotically stable for values of the basic reproduction number () assuming constant total population. It is also shown that numerical simulations of the deterministic model agree with the theoretical results. Finally, the sensitivity and uncertainty analyses were performed along with numerical simulations to study the influence of vital parameters on the disease spread.

The model is most sensitive to the control variables (proportion of chronic population being isolated) and (effective contact rate); given the nature of the disease, controlling the isolation parameter (i.e., devising an effective isolation strategy) seems to be the most workable solution.

Since we have a stable endemic equilibrium, we formulated (time-dependent) optimal control strategies to fight Hep C. We considered the two most effective strategies known to prevent disease spread, vaccination and isolation separately. Absence of an effective vaccine against all known genotypes of Hep C made us consider vaccination and isolation strategy separately. We assumed that the vaccination not only includes medical vaccination, but also the education and awareness schemes about Hep C.

The numerical results show that the proportion that is isolated optimally with respect to time has a higher favorable impact (as compared to implementing a high but constant isolation rate) on keeping the cost of disease control low. However, it should be pointed out that the ideal time varying optimal strategy might not be applied easily. Still, it does provide a basis on which can be designed practical quasioptimal control strategies.

Next we consider the possibility of an effective vaccine becoming available for Hep C. We formulate a possible optimal time varying vaccination strategy; our analysis shows that it is not required to vaccinate a constant proportion of the susceptible population over time, but rather the optimal policy (being cost effective) is to start with vaccinating a constant proportion of the susceptibles and then progressively reducing the fraction of the susceptibles vaccinated.

Although the early diagnosis and treatment of Hep C virus infection are desirable to prevent spread of infection and to reduce the risk of progression of disease, the majority of acute individuals are asymptomatic and most infected persons are unaware of their exposure to the virus. More public awareness of Hep C may also increase the recovery from acute stage in the model. The goal of therapy is to prevent complications and death from the infection. Therapy along with an effective isolation strategy can greatly reduce the prevalence of Hep C.

Appendix

Parameter Values

Sensitivity analysis is shown in Table 1.

Disease-free  equilibrium: , , , , , , , , , , , , .

Endemic equilibrium: ; all other values are the same.

Optimal  vaccination  control: , , , , , , , , , , , , , , , , , , , , , .

Optimal isolation control: , , , , , .

Conflict of Interests

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