Next Article in Journal
Existence of Semi Linear Impulsive Neutral Evolution Inclusions with Infinite Delay in Frechet Spaces
Previous Article in Journal
Higher Order Methods for Nonlinear Equations and Their Basins of Attraction
Previous Article in Special Issue
Cost Effectiveness Analysis of Optimal Malaria Control Strategies in Kenya
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Optimal Control and Treatment of Infectious Diseases. The Case of Huge Treatment Costs

Department of Economics, University of Foggia, Largo Papa Giovanni Paolo II, Foggia 71121, Italy
Mathematics 2016, 4(2), 21; https://doi.org/10.3390/math4020021
Submission received: 30 December 2015 / Revised: 7 March 2016 / Accepted: 21 March 2016 / Published: 1 April 2016
(This article belongs to the Special Issue Optimal Control and Management of Infectious Diseases)

Abstract

:
The representation of the cost of a therapy is a key element in the formulation of the optimal control problem for the treatment of infectious diseases. The cost of the treatment is usually modeled by a function of the price and quantity of drugs administered; this function should be the cost as subjectively perceived by the decision-maker. Nevertheless, in literature, the choice of the cost function is often simply done to make the problem more tractable. A specific problem is also given by very expensive therapies in the presence of a very high number of patients to be treated. Firstly, we investigate the optimal treatment of infectious diseases in the simplest case of a two-class population (susceptible and infectious people) and compare the results coming from five different shapes of cost functions. Finally, a model for the treatment of the HCV virus using the blowing-up cost function is investigated. Some numerical simulations are also given.

1. Introduction

According to [1], the main scope of mathematical modeling in epidemiology is “to develop models that will assist the decision-making process by helping to evaluate the consequences of choosing one of the alternative strategies available. Thus, mathematical models of the dynamics of a communicable disease can have a direct bearing on the choice of an immunization program, the optimal allocation of scarce resources, or the best combination of control or eradication techniques”. Starting from the seminal paper by Kermack and McKendrick [2], a huge literature on dynamic models for infectious diseases has been produced as evidenced by the numerous books on the subject (see, e.g., [3,4,5,6,7]). Mathematical models of epidemics usually consist of a system of differential equations governing the dynamics of the relevant state variables (susceptible, infective, recovered, etc.). The differential equations can be ordinary, delay, partial or stochastic, according to the particular model or disease investigated. Equilibria and their stability, as well as the asymptotic behavior of the solutions are usually investigated.
A very interesting issue in the study of epidemic models is to identify therapeutic strategies that minimize the relevant negative features of the disease at the minimum cost. This naturally leads to the formulation and investigation of optimal control problems.
Confining ourselves to the epidemic compartment models, a typical optimal control problem consists of the minimization of the infected part of a population by the administration of a therapy to a part of the infected population. However, therapy is usually costly, and this poses a dilemma to the social planner.
The main tools to solve optimal control problems are a number of necessary and sufficient conditions characterizing the optimal solutions. Among the classical books on the optimal control theory, we cite [8,9]. More recently, optimal control monographs specifically oriented to the solution of biological and epidemic problems appeared (see, e.g., [10,11]).
The representation of the cost of a therapy is a key element in the formulation of the optimal control problem for the treatment of infectious diseases. For example, in the administration of a drug for a certain number of patients, the most natural way to introduce the cost would be c o s t = ( p r i c e o f t h e d r u g s a d m i n i s t e r e d ) × ( n u m b e r o f t r e a t e d p a t i e n t s ) (monetary cost). However, in epidemic models, as well as in other economic applications, the cost is usually modeled by a function representing the cost as subjectively perceived by the decision-maker. This approach stems from the so-called utility theory, firstly introduced in a systematic way in the fundamental book [12].
On the other hand, the choice of the cost function is often simply done to make the problem more tractable.
If we denote by u ( t ) the fraction of a population P ( t ) treated by some drug and by p the unitary cost of the therapy, then the (monetary) cost of the treatment should be c M = p u ( t ) P ( t ) . However, in many papers, that cost is simply represented by u or by u 2 without any reference to the price or to the number of people treated. This seems a little bit surprising and needs at least further investigation.
A specific problem is also given by extremely expensive therapies in the presence of a very high number of patients to be healed. To treat all infected patients would mean sometimes spending all or a very large part of the national budget allocated to health. this is the case, for example, of the treatment of hepatitis C virus (HCV) by a costly drug, such as sofosbuvir. Such a choice is impractical or, in other words, has a cost (in terms of utility) that is infinite. A cost function incorporating such characteristics may be appropriate in this case.
The rest of the paper is organized as follows. In Section 2, we investigate the optimal treatment of an infected population in the simplest case of a two-class population (susceptible and infectious people), comparing the results coming from five different kinds of cost functions.
In Section 3, we discuss a model for the treatment of the HCV virus using the blowing-up cost function and illustrate the result by some numerical simulations.
All of the proofs of the theorems are placed in Appendix B.

2. Comparing Different Cost Functions

In this section, we wish to highlight the role played by different cost expressions on the solutions of the optimal control problem. For this purpose, it seems appropriate to test various cost functions on the simplest epidemic model proposed in the literature: the Susceptible-Infective-Susceptible (SIS) model. This model is appropriate for certain types of bacterial diseases, such as gonorrhea and meningitis (see [13]).
Let us consider a population of N individuals, divided into two classes: the class S of those who are healthy, but susceptible to contracting the infection, and the class I of those who have contracted the infection and can transmit it to the susceptible individuals through interpersonal contacts. It is N = S + I . In order to make the problem simple and meaningful at the same time, we neglect the demographic processes and assume that the transmission coefficient is normalized to one, so that the dynamics of S and I is governed by the system of differential equations:
d S d t = - I S N , d I d t = I S N .
Adding the two equation in Equation (1), we have d N / d t = 0 , so that N is constant.
In the rest of this section, we are interested in the “worst” case in which the total population is infected. Hence, let us assume that:
I ( 0 ) = 1 ; S ( 0 ) = 0 .
Then N ( t ) = 1 for any t 0 . It follows that:
S ( t ) = 1 - I ( t ) , t 0 .
System (1) reduces to the scalar equation:
d I d t = ( 1 - I ) I .
Equation (2) has only one stable feasible equilibrium I = 1 .
Assume that a fraction u ( t ) [ 0 , 1 ] of the infected population is treated, at the time t, by some drug. Then, some of the healed infectives become susceptibles again. System (1) becomes:
d S d t = - I S + α u ( t ) I , d I d t = I S - α u ( t ) I ,
where α 0 measures the effectiveness of the treatment. Again, in Equation (3), it is S = 1 - I , so that:
d I d t = 1 - I - α u ( t ) I .
A social planner wishes to minimize the number of infectives at the minimum cost. Let us assume that, during any period of length τ, the budget of the social planner for the total health expenses is given by B ^ τ . The monetary cost of the treatment borne by the social planner is c M = p u ( t ) I ( t ) , where p is the cost of treating the entire population. Nevertheless, this cost is perceived through a cost function:
c ( u , I ) 0
which is not decreasing in its arguments.
We solve the following optimal control problem:
min 0 u 1 0 1 k 1 I ( t ) + k 2 c u ( t ) , I ( t ) d t + k 3 I ( 1 ) .
The constants k 1 , k 2 and k 3 could be considered as values that will balance the units of measurements and also indicate the importance of one type of aim over the others (see also [14]). For the sake of simplicity, in this section, we assume k 1 = k 2 = k 3 = 1 .
Setting:
J ( u ) = - 0 1 I ( t ) + c u ( t ) , I ( t ) d t - I ( 1 ) ,
Equation (4) turns into the following maximization problem:
max 0 u 1 J ( u ) ,
subject to the constraints:
d I d t = 1 - I - α u I , I ( 0 ) = 1 ,
and:
B ^ - p u ( t ) I ( t ) 0 .
In the rest of the section, we assume that:
B ^ - p 0 ,
so that Equation (7) is always satisfied and can be left out.
We apply, in the subsequent analysis, the maximum Pontryagin principle (see Theorem 12 in the Appendix).
Theorem 1 (Necessary conditions). 
Let ( I * ( t ) , u * ( t ) ) be an admissible pair which solves Problems (5) and (6). Then, a continuous and piecewise continuously differentiable function λ ( t ) exists, such that for all t [ 0 , 1 ] :
H ( I * ( t ) , u * ( t ) , λ ( t ) ) H ( I * ( t ) , u , λ ( t ) )
for all u [ 0 , 1 ] , where H is defined by:
H ( I , u , λ ) = - I - c ( u , I ) + λ 1 - I - α u I .
Except at the points of discontinuities of u * ( t ) , it is:
d λ d t = - H * / I ,
where:
H * / I = H ( I * ( t ) , u * ( t ) , λ ( t ) ) I .
Hence:
d λ d t ( t ) = 1 + c I ( u * ( t ) , I * ( t ) ) - λ ( t ) 1 - α u * ( t ) - 2 I * ( t ) .
Furthermore, the following transversality condition is satisfied:
λ ( 1 ) = - 1 .
Note that:
H u = - c u - α λ I ,
and that Equation (9) is equivalent to:
H u ( I * ( t ) , u * ( t ) , λ ( t ) ) 0 ; if u * ( t ) = 0 , H u ( I * ( t ) , u * ( t ) , λ ( t ) ) = 0 ; if 0 < u * ( t ) < 1 , H u ( I * ( t ) , u * ( t ) , λ ( t ) ) 0 ; if u * ( t ) = 1 .
We consider five cost functions as listed below:
  • c 1 = p u , linear state independent cost (LSI);
  • c 2 = p u I , linear state dependent cost (LSD);
  • c 3 = p 2 u 2 , quadratic state independent cost (QSI);
  • c 4 = p 2 u 2 I 2 , quadratic state dependent cost (QSD);
  • c 5 = B ^ p u I B ^ - p u I , blowing-up state dependent cost (BSD).
The LSI and especially QSI cost functions are very frequently used in the literature (see, e.g., [15] LSI and [16,17,18,19,20] QSI). They do not depend on the number of people treated, and this in some cases may sound rather strange. LSD and QSD cost represent linear and quadratic monetary costs, respectively. LSD costs are used, e.g., in [21,22].
A specific problem is given by extremely costly therapies in the presence of a very high number of patients to be treated. To treat all infected patients would mean sometimes spending all or a very large part of the national budget allocated to health. Such a choice is impractical or, in other words, has a cost (in terms of utility) that is infinite. The BSD cost function incorporates such characteristics. It approximates monetary costs when they are small and tends to infinity as the monetary costs approach the available budget.
We prove the following result:
Theorem 2. 
Let c = c k , k = 1 , . . . , 5 .
  • If k = 1 , 2 , 5 , then u * ( t ) 0 satisfies the maximum principle for Problems (5) and (6) if and only if:
    p α .
  • If k = 3 , 4 , then it is never optimal to set u ( t ) = 0 , and then, u * ( t ) > 0 , t [ 0 , 1 ] .
Theorem 2 establishes that if the cost function is LSI, or LSD, or BSD, then it could be optimal to not treat any infected people provided that the ratio price/effectiveness is too high. By contrast, if the cost function is quadratic, then it is convenient to treat a positive fraction of the infected population at any time, no matter the price of the drugs nor their effectiveness.
Now, we characterize the optimal solutions by means of the maximum principle for the five different cost functions proposed above. In particular, we will establish conditions on the parameter, such that the treatment of the total infected populations is optimal at any time.

2.1. Linear Density Independent Costs

In this section, we assume that:
c u ( t ) , I ( t ) = p u ( t ) .
Then:
J ( u ) = - 0 1 I ( t ) + p u ( t ) d t - I ( 1 ) .
The Hamiltonian is:
H = - I - p u + λ 1 - I - α u ( t ) I .
It is:
H u = - p - α λ I .
It follows from the maximum principle that:
u * ( t ) = 0 if p + α λ ( t ) I ( t ) > 0 , u ^ ( t ) ] 0 , 1 [ if p + α λ ( t ) I ( t ) = 0 , 1 if p + α λ ( t ) I ( t ) < 0 .
The adjoint equation is:
d λ d t = 1 - λ 1 - α u - 2 I ,
with λ ( 1 ) = - 1 .
Theorem 3. 
u * ( t ) 1 satisfies the maximum principle if and only if:
p ψ 1 ( α ) ,
where:
ψ 1 ( α ) = e α ( α - 1 ) α e α - e if α 1 , 1 2 if α = 1 .
Theorem 4. 
Let:
ψ 1 ( α ) < p < α ,
and let:
σ 1 ( t ) = p + α ( α - 1 ) α e α t ( e t - 2 e ) - α e 2 t + 2 α e t + 1 - e 2 ( α - 1 ) α e α t - α e t + e ( α - 1 ) 2 if α 1 , p + t e 2 t - 2 t e t + 1 - e 2 ( t e t + e ) 2 if α = 1 .
A unique solution t ¯ ] 0 , 1 [ of the equation σ 1 ( t ) = 0 exists. Moreover:
u * ( t ) = 1 if 0 t < t ¯ , 0 if t ¯ < t 1 .
Figure 1 illustrates the different optimal policies with respect to the price p and to the effectiveness α.

2.2. Linear Density Dependent Costs

In this section, we assume that:
c u ( t ) , I ( t ) = p u ( t ) I ( t ) .
Then:
J ( u ) = - 0 1 I ( t ) + p u ( t ) I ( t ) d t - I ( 1 ) .
The Hamiltonian is:
H = - I - p u I + λ 1 - I - α u ( t ) I .
It is:
H u = - p I - α λ I .
It follows that:
u * ( t ) = 0 if p + α λ ( t ) > 0 , u ^ ( t ) ] 0 , 1 [ if p + α λ ( t ) = 0 , 1 if p + α λ ( t ) < 0 .
The adjoint equation is:
d λ d t = 1 + p u - λ 1 - α u - 2 I ,
with λ ( 1 ) = - 1 .
Theorem 5. 
u * ( t ) 1 satisfies the maximum principle if and only if 0 p < α , for any α > 0 .
If p α , we know from Theorem 2 that u * 0 satisfies the maximum principle. Nevertheless, there is a value ψ 2 ( α ) , such that for α < p < ψ 2 ( α ) , there is also a bang-bang control, which satisfies the maximum principle and which turns out to be the optimal solution. For the sake of simplicity, we illustrate this point confining ourselves to the case α = 1 .
Theorem 6. 
Let α = 1 .
  • If 1 < p < p ^ 1 . 379 , then the equation:
    σ 2 ( t ) p + ( 3 t 2 - 4 t - 1 ) - 2 e t 2 e - t ( 1 + t 2 ) = 0
    has two solutions t 1 and t 2 in ] 0 , 1 [ . Moreover, the functions:
    u ^ j ( t ) = 1 if 0 t < t j , 0 if t j < t 1 , j = 1 , 2 ,
    satisfy the maximum principle.
  • If p p ^ , then u * ( t ) 0 is the optimal control.
The linear density independent LDI and linear density dependent LDD cost function cases exhibit interesting differences. In both cases, it is optimal to not treat at all the infective population provided that p is large enough, that is treatment is too costly. If p < α , then in the LDD case, it is optimal to treat the total infective population, while in the LDI case, this is true only if p < ψ 1 ( α ) < α . The reason lies in the fact that the cost of the treatment (in terms of utility function) is taken as c 1 = p u ( t ) in the LDI case and c 2 = p u ( t ) I ( t ) in the LDD case. Since I ( t ) 1 , it follows that c 1 > c 2 .

2.3. Quadratic Density Independent Costs

In this section, we assume that:
c u ( t ) , I ( t ) = p 2 u 2 ( t ) .
Then:
J ( u ) = - 0 1 I ( t ) + p 2 u 2 ( t ) d t - I ( 1 ) .
The Hamiltonian is:
H = - I - p 2 u 2 + λ 1 - I - α u ( t ) I
and:
H u = - 2 p 2 u - α λ I .
The adjoint equation is:
d λ d t = 1 - λ 1 - α u - 2 I ,
with λ ( 1 ) = - 1 .
Let:
u ^ ( t ) = - α λ ( t ) I ( t ) 2 p 2 .
Since from Equation (18), it can be proven that λ ( t ) < 0 for any t [ 0 , 1 ] , it follows that u ^ ( t ) > 0 for any t [ 0 , 1 ] . Therefore, it is never optimum to set u ( t ) = 0 . It follows that:
u * ( t ) = u ^ ( t ) if σ 3 ( t ) > 0 , 1 if σ 3 ( t ) 0 ,
where:
σ 3 ( t ) = 2 p 2 + α λ ( t ) I ( t ) .
Theorem 7. 
u * ( t ) 1 satisfies the maximum principle if and only if 0 p < ψ 3 ( α ) for any α > 0 , where:
ψ 3 ( α ) = e α ( α - 1 ) 2 ( α e α - e ) if α 1 , 1 2 if α = 1 .
Note that ψ 1 ( α ) < ψ 3 ( α ) if 0 α < 1 and α > α ^ , where α ^ 1 . 613 . For these values of α, the set of prices for which it is optimal to treat the whole infected population is larger in the case of QDI compared to the LDI case. The opposite happens when 1 < α < α ^ .
We conclude this section with the following:
Theorem 8. 
Let
p ψ 3 ( α ) ; α > 0 .
Then, a unique solution t ¯ ] 0 , 1 [ of the equation σ 3 ( t ) = 0 exists. Moreover:
u * ( t ) = 1 if 0 t < t ¯ , u ^ ( t ) if t ¯ < t 1 .
Figure 2 illustrates the different optimal policies with respect to the price p and to the effectiveness α.

2.4. Quadratic Density Dependent Costs

In this section, we assume that:
c u ( t ) , I ( t ) = p 2 u 2 ( t ) I 2 ( t ) .
Then:
J ( u ) = - 0 1 I ( t ) + p 2 u 2 ( t ) I 2 ( t ) d t - I ( 1 ) .
The Hamiltonian is:
H = - I - p 2 u 2 I 2 + λ 1 - I - α u ( t ) I ,
and:
H u = - 2 p 2 u I 2 - α λ I .
The adjoint equation is:
d λ d t = 1 + 2 p 2 u 2 I - λ 1 - α u - 2 I ,
with λ ( 1 ) = - 1 .
Let:
u ^ ( t ) = - α λ ( t ) 2 p 2 I ( t ) .
Since from Equation (19), it can be proven that λ ( t ) < 0 for any t [ 0 , 1 ] , it follows that u ^ ( t ) > 0 for any t [ 0 , 1 ] . Therefore, it is never optimum to set u ( t ) = 0 . It follows that:
u * ( t ) = u ^ ( t ) if σ 4 ( t ) > 0 , 1 if σ 4 ( t ) 0 ,
where:
σ 4 ( t ) = 2 p 2 I ( t ) + α λ ( t ) .
Theorem 9. 
u * ( t ) 1 satisfies the maximum principle if and only if p < ψ 4 ( α ) for any α > 0 , where:
ψ 4 ( α ) = α α e 2 α + α e α + 1 ( α - 3 ) + e 2 α 2 e 2 α - 2 α e α + 1 + e 2 ( α 2 - 2 α + 2 ) if α 1 , 15 5 0 . 774 if α = 1 .
Figure 3 illustrates the different optimal policies with respect to the price p and to the effectiveness α.

2.5. Blowing up Costs

As said above, to treat all infected patients would mean sometimes spending all or a very large part of the national budget allocated to health. Such a choice would have a cost (in terms of utility) that is infinite. A cost function incorporating such characteristics is the following one (note that if the monetary cost p u I is small, then: B ^ p u I B ^ - p u I p u I ):
c u ( t ) , I ( t ) = B ^ p u I B ^ - p u I .
Then:
J ( u ) = - 0 1 I ( t ) + B ^ p u I B ^ - p u I d t - I ( 1 ) .
The Hamiltonian is:
H = - I - B ^ p u I B ^ - p u I + λ 1 - I - α u ( t ) I ,
and:
H u = - B ^ 2 p I ( B ^ - p u I ) 2 - α λ I .
Let:
u ^ ( t ) = B ^ - p α λ + α λ α p λ I .
The adjoint equation is:
d λ d t = 1 + B ^ 2 p u ( B ^ - p u I ) 2 - λ 1 - α u - 2 I .
The characterization of the case in which full treatment is optimal is, in principle, possible also in this case. However, due to the presence of one more parameter in the functional J, the computations are really cumbersome. To make the results readable, we restrict our further analysis to the case:
α = 1 .
Theorem 10. 
Let:
k = B ^ / p ; k 1 .
Let:
L ( k ) = min 3 ( k - 1 ) 2 ( 2 k - 1 ) 4 k 3 , ( 2 k - 1 ) 2 4 k 2 .
Then u * ( t ) 1 satisfies the maximum principle if and only if:
p L ( k ) .
Note that L ( k ) is increasing and lim k + L ( k ) = 1 .
As an immediate consequence of the previous theorem, we have:
Theorem 11. 
If:
L ( k ) < p < 1 ,
then:
u * ( t ) = u ^ ( t ) .
Remark 1. 
Assumption (8) is necessary to obtain some of the results illustrated in the subsections above. If the price exceeds the budget, that is if p > B ^ , then Theorem 2 still holds.
Moreover, it is never optimal to treat the entire population at any time. In fact at time t = 0 , it is I = 1 , so that the budget constraint requires B ^ - p u 0 . Hence, u ( 0 ) B ^ p < 1 .
Let t ^ be characterized by u ( t ^ ) = 1 and B ^ - p I ( t ^ ) = 0 . It could be guessed that, if t ^ < 1 , then an optimal policy should be to use the entire budget for t [ 0 , t ^ ] and then to switch to u * = 1 .
This is possible for all of the cost structure introduced above, except for blowing up costs. In such a case, in fact, to use the entire budget leads the cost function to infinity. Nevertheless, it can be easily proven that in the BSD case, if B ^ < p < 1 , then u ^ satisfies the maximum principle.
Remark 2. 
Note that Inequality (20) does not provide an explicit dependence of p with respect to the budget. Since k = B ^ p , it seems more meaningful to write Equation (20) as:
p L ( B ^ p ) .
Finally, Theorems 9 and 10 and Remark 1 are illustrated in Figure 4.

3. The Hepatitis C Control

Let us consider a four-dimensional model with acute and chronic stages presented in [23]. The epidemic is transmitted through people’s direct contacts. We suppose that the disease has an exposed period, and then, the patients enter into the acute stage, and finally, they undergo the chronic stage. The patients have no immunity after recovering and become susceptible again. We divide the population into four classes: S-susceptible, E-exposed, I-infected with acute hepatitis C and V-infected with chronic hepatitis C. The total number at time t is N ( t ) = S ( t ) + E ( t ) + I ( t ) + V ( t ) .
The basic assumptions are:
  • The birth rate of the population is b > 0 , and the death rate is d > 0 .
  • The disease cannot be transmitted during the exposure period.
  • Only the acute and chronic stages are differentiated. Patients with either acute or chronic infections are capable of transmitting the disease. Once a person contacts a susceptible individual, he or she must be infected.
  • Each acutely infective and each chronically infective makes β > 0 and γ > 0 contacts per unit time, and then, the numbers of contacting susceptible individuals per unit time are, respectively, β S / N and γ S / N . Hence, the incidences caused by acutely infective and by chronically-infective people are, respectively, β S I / N and γ S V / N .
  • ϵ > 0 and k > 0 are, respectively, the rate of progression to the acute stage from the exposed and the rate of progression to the chronic stage.
  • ξ > 0 is the recovery rate for the chronic state.
  • The acute stage of infection is short and often asymptomatic, and there is no possibility for treatment during this state.
  • Since the disease-induced death rate is relatively low, it is ignored.
Under the assumptions above, we deal with the following model:
S ˙ ( t ) = b N - ( β I + γ V ) S N - d S + ξ V , E ˙ ( t ) = ( β I + γ V ) S N - d E - ϵ E , I ˙ ( t ) = ϵ E - ( d + k ) I V ˙ ( t ) = k I - ( d + ξ ) V .
Summing the equations of System (21), we obtain N ˙ ( t ) = ( b - d ) N . To simplify the subsequent analysis, we assume that:
d = b .
Then, N is constant in time, and we set N ( t ) = N ( 0 ) = 1 for each t 0 . System (21) becomes:
S ˙ ( t ) = b - ( β I + γ V ) S - b S + ξ V , E ˙ ( t ) = ( β I + γ V ) S - b E - ϵ E , I ˙ ( t ) = ϵ E - ( b + k ) I , V ˙ ( t ) = k I - ( b + ξ ) V ,
with initial conditions:
S ( 0 ) = S 0 0 , E ( 0 ) = E 0 0 , I ( 0 ) = I 0 0 , V ( 0 ) = V 0 0 ,
and:
S 0 + E 0 + I 0 + V 0 = 1 .
Assume that a fraction u ( t ) [ 0 , 1 ] of the chronic infected individuals V is treated at time t. Then, a further progression from the class V to the class S occurs at a rate α u ( t ) , where α > 0 measures the effectiveness of the treatment. System (22) becomes:
S ˙ ( t ) = b - ( β I + γ V ) S - b S + ( ξ + α u ( t ) ) V , E ˙ ( t ) = ( β I + γ V ) S - b E - ϵ E , I ˙ ( t ) = ϵ E - ( b + k ) I , V ˙ ( t ) = k I - ( b + ξ + α u ( t ) ) V .
Let p > 0 be the cost of treating the entire population, so that the monetary cost at time t for the treatment of the fraction u ( t ) of the chronic infected individuals V is given by p u ( t ) V ( t ) .
The social planner wishes to minimize the infected population at the minimum cost. Let B ^ be defined as in Section 2. Obviously, it must be:
B ^ - p u ( t ) V ( t ) 0 .
In the following, we assume that:
B ^ p .
Hence, Equation (23) is fulfilled for any u and V and can be dropped out. Let:
J ( u ) = - 0 t 1 A E ( t ) + B I ( t ) + C V ( t ) + D c u ( t ) , V ( t ) d t - A 1 E ( t 1 ) - B 1 I ( t 1 ) - C 1 V ( t 1 ) ,
where c ( u , V ) is the cost function in terms of the utility function. We assume that c ( u , V ) is a non-negative smooth function and that it is increasing in its arguments.
A, B, C and D are the (non-negative) weights that the optimizer assigns to the different objects he or she wishes to maximize. It is A + B + C + D = 1 . A 1 , B 1 , C 1 are the non-negative coefficients of the scrap values.
The government solves the following optimal control problem:
max 0 u 1 J ( u ) ,
subject to Equation (23) and with initial conditions:
S ( 0 ) = S 0 0 ; E ( 0 ) = E 0 0 , I ( 0 ) = I 0 0 , V ( 0 ) = V 0 0 ; S 0 + E 0 + I 0 + V 0 = 1 .
An optimal control problem for the treatment of HCV virus is also investigated in [24].
We characterize the optimal solution by using the maximum principle. The Hamiltonian H is given by:
H = - ( A E + B I + C V + D c ) + λ 1 ( b N - ( β I + γ V ) S - b S + ( ξ + α u ( t ) ) V ) + λ 2 ( ( β I + γ V ) S - b E - ϵ E ) + λ 3 ( ϵ E - ( b + k ) I ) + λ 4 ( k I - ( b + ξ + α u ( t ) ) V ) .
Since the treatment of the HCV-infected population is really expensive for the health social system, it seems appropriate to model the cost function as a blowing-up function. Let:
c ( u , V ) = B ^ p u V B ^ - p u V .
It is:
H u = - D B ^ 2 p ( B ^ - p u V ) 2 + ( λ 1 - λ 4 ) α V .
H S = ( λ 2 - λ 1 ) ( β I + γ V ) - b λ 1 , H E = - A + λ 3 ϵ - λ 2 ( b + ϵ ) , H I = - B + ( λ 2 - λ 1 ) β S - λ 3 ( b + k ) + λ 4 k , H V = - C - D B ^ 2 p u ( B ^ - p u V ) 2 + ( λ 2 - λ 1 ) γ S + λ 1 ( ξ + α u ) - λ 4 ( b + ξ + α u ) .
The adjoint equations are given by:
λ 1 t = - ( λ 2 - λ 1 ) ( β I + γ V ) + b λ 1 , λ 2 t = A - λ 3 ϵ + λ 2 ( b + ϵ ) , λ 3 t = B - ( λ 2 - λ 1 ) β S + λ 3 ( b + k ) - λ 4 k , λ 4 t = C + D B ^ 2 p u ( B ^ - p u V ) 2 - ( λ 2 - λ 1 ) γ S - λ 1 ( ξ + α u ) + λ 4 ( b + ξ + α u ) ,
with terminal conditions:
λ 1 ( t 1 ) = 0 , λ 2 ( t 1 ) = - A 1 , λ 3 ( t 1 ) = - B 1 , λ 4 ( t 1 ) = - C 1 .
If λ 1 ( t ) - λ 4 ( t ) 0 ) , then H / u < 0 ; otherwise, the equation H / u = 0 has a solution:
u ^ ( t ) = B ^ - D B ^ 2 p ( λ 1 - λ 4 ) α p V .
Therefore, the maximum principle gives:
u * ( t ) = 0 if ( λ 1 ( t ) - λ 4 ( t ) ) 0 ) or u ^ ( t ) 0 , u ^ ( t ) if ( λ 1 ( t ) - λ 4 ( t ) ) > 0 ) and 0 < u ^ ( t ) < 1 , 1 if ( λ 1 ( t ) - λ 4 ( t ) ) > 0 ) and u ^ ( t ) 1 .

Numerical Experiments

In this section, we illustrate some numerical simulations of the solution of the optimal HCV treatment problem. We use a fourth-order Runge–Kutta solver for the system of differential equations.
Let:
b = 0 , β = 1 , γ = 1 , ϵ = 2 , k = 5 , ξ = 0 . 01 ; A = 0 . 2 , B = 0 . 2 , C = 0 . 2 , D = 0 . 4 ; A 1 = B 1 = C 1 = 1 ; t 1 = 1 ; S 0 = E 0 = I 0 = 0 , V 0 = 1 .
In this scenario, we assume that initially, the total population is infected and is at the chronic stage. In order to emphasize the role of the treatment on the population dynamics, we neglect births and deaths setting b = 0 .
The cost functional assigns the same weight 0 . 2 to the objective of minimizing the number of exposed, acute and chronic individuals. The scrap values are equally weighted.
As we mentioned above, the treatment of some infectious diseases is extremely costly, and this is the case of hepatitis C, for example. Therefore, in our simulations, we assume that the treatment of the total infected population at the initial time would require the entire budget and a consequent infinite disutility for the social planner. Precisely, we assume:
B ^ = 1 ; p = 1 .
If α α ^ 0 . 4 , then it is optimal to not treat any person, that is u * ( t ) 0 . The population remains at the equilibrium V ( t ) 1 .
If α = 0 . 5 , then it is optimal to not treat any individual at the beginning and to start the treatment (and to increase it in time) at a time t ¯ 0 . 7 , reaching at the final time t = 1 the 10 % of the chronic population treated. The total infected population at the final time is greater than 99 % . The percentage of the total budget used for the treatment goes from zero to 10 % (see Figure 5).
If the effectiveness α is equal to one, then it is optimal to treat an increasing percentage of the chronic population, starting with 20 % and terminating with 50 % . The total infected population at the final time is around 80 % . The percentage of the total budget used for the treatment goes from 20 % to 38 % (see Figure 6).
If α = 5 , then it is optimal to treat an increasing percentage of the chronic population, starting with 45 % and treating the total chronic population after a short time ( t 0 . 2 ). The total infected population at the final time is around 10 % . The percentage of the total budget used for the treatment starts at 45 % and approximates 5 % at the end, reaching a maximum of around 50 % at t 0 . 2 (see Figure 7).
If α = 100 (that is extremely effective drugs), then the treatment of the total chronic population is still not immediate and starts after a very short time. The total infected population rapidly tends to zero while the percentage of the total budget used for the treatment starts at 45 % and approximates zero at the end, reaching a maximum of around 50 % (see Figure 8).
Figure 9 and Figure 10 illustrate again the case α = 1 , but with E ( 0 ) = 1 and I ( 0 ) = 1 , respectively.

4. Conclusions

A very interesting issue in the study of epidemic models is to identify therapeutic strategies that minimize the relevant negative features of the disease at the minimum cost. The shape of the cost function significantly affects the choice of the optimal treatment. In this paper we compared five different cost functions, testing them on the SIS model: linear and quadratic density independent; linear and quadratic density dependent; blowing-up. The last one is particularly appropriate in the case of extremely expensive therapies and in the presence of a very high number of patients to be healed. Consequently, we discussed a model for the treatment of the HCV virus using the blowing-up cost function and illustrated the result by some numerical simulations. In this paper the price of the treatment is exogenously given. Strategic interactions between pharmaceutical companies and public authorities constitute an interesting issue which will be investigated in a subsequent paper.

Acknowledgments

The author would like to thank the anonymous referees for their helpful suggestions and remarks, which have greatly improved the manuscript.

Conflicts of Interest

The author declares no conflict of interest.

Appendix A. Theoretical Results

In this section, we provide necessary conditions for the solutions of optimal control problems (see, e.g., ([8]).
Consider the following problem:
max u [ 0 , 1 ] t 0 t 1 f 0 ( x ( t ) , u ( t ) ) d t + g ( x ( t 1 ) ) ( t 0 , t 1 fixed ) ,
subject to the vector differential equation and the initial condition:
x ˙ ( t ) = f ( x ( t ) , u ( t ) ) , x ( t 0 ) = x 0 ( x 0 fixed ) ,
and to the terminal condition:
x ( t 1 ) free .
g is referred to as a scrap value function and is assumed to be a C 1 function.
Assume that f i and f i / x j are continuous with respect to all of their variables. We call ( x ( t ) , u ( t ) ) an admissible pair if u ( t ) is piecewise continuous, x ( t ) is continuous and piecewise continuously differentiable and Equations (A2) and (A3) are satisfied.
Theorem 12 (Necessary conditions: the maximum principle). 
Let ( x * ( t ) , u * ( t ) ) be an admissible pair, which solves Problems (A1)–(A3). Then, there exist a number λ 0 and vector functions λ ( t ) = ( λ 1 ( t ) , . . . , λ n ( t ) ) , where λ ( t ) is continuous and piecewise continuously differentiable, such that for all t [ t 0 , t 1 ] :
( λ 0 , λ 1 ( t ) , . . . , λ n ( t ) ) ( 0 , 0 , . . . , 0 ) ,
H ( x * ( t ) , u * ( t ) , λ ( t ) ) H ( x * ( t ) , u , λ ( t ) ) ,
for all u [ 0 , 1 ] , where H is defined by:
H ( x , u , λ ) = λ 0 f 0 ( x , u ) + i = 1 n λ i f i ( x , u ) .
Except at the points of discontinuities of u * ( t ) , for i = 1 , . . . , n :
λ ˙ i ( t ) = - H * / x i , i = 1 , . . . , n , a l m o s t e v e r y w h e r e ,
where:
H * / x i = H ( x * ( t ) , u * ( t ) , λ ( t ) ) x i .
Furthermore:
λ 0 = 0 o r λ 0 = 1 ,
and the following transversality conditions are satisfied:
λ j ( t 1 ) = λ 0 g ( x * ( t 1 ) ) x j .

Appendix B. Proofs of the Theorems

Proof of Theorem 2. 
We apply Theorem 12 in the Appendix A.
We check the necessary conditions for u * ( t ) 0 . The state equations become d I / d t = 1 - I I , and because of the initial condition I ( 0 ) = 1 , it follows that I * ( t ) = 1 , t [ 0 , 1 ] .
Note that ( c k / I ) ( 0 , 1 ) = 0 , k = 1 , . . . , 5 . Substituting in Equation (11), we obtain:
d λ d t = 1 + λ , t [ 0 , 1 ] ,
with final condition λ ( 1 ) = - 1 . It follows that λ ( t ) = - 1 ; t [ 0 , 1 ] . From Equation (13), we have that u * ( t ) = 0 satisfies the necessary condition if:
H u I * ( t ) = 1 , u * ( t ) = 0 , λ ( t ) = - 1 0 ) 0 , t [ 0 , 1 ] ,
or, from Equation (12),
- c u ( 0 , 1 ) + α 0 , t [ 0 , 1 ] .
It is:
c k u ( 0 , 1 ) = p if k = 1 , 2 , 5 ; 0 if k = 3 , 4 .
It follows that Equation (B1) is satisfied for p α if k = 1 , 2 , 5 , and it is never satisfied if k = 3 , 4 .  ☐
Proof of Theorem 3. 
We check the necessary conditions for u * ( t ) 1 . The state equations become:
d I d t = 1 - α - I I ,
and, because of the initial condition I ( 0 ) = 1 , it follows that:
I ( t ) = ( 1 - α ) e t e t - α e α t if α 1 , 1 t + 1 if α = 1 , t [ 0 , 1 ] .
Substituting I ( t ) in:
d λ d t = 1 - λ ( 1 - α - 2 I ) ,
with final condition λ ( 1 ) = - 1 , we obtain:
λ ( t ) = e - ( α + 1 ) t α e α t - e t e α t α e α + 1 ( α - 2 ) + e 2 + α e 2 α + t - α e α + t + 1 ( 1 - α ) ( α e α - e ) 2 if α 1 , ( t + 1 ) ( t - 3 ) 4 if α = 1 , t [ 0 , 1 ] .
It is:
H u = - p - α λ I .
u * ( t ) = 1 satisfies the necessary condition if:
H u 0 , t [ 0 , 1 ]
or:
- p - α λ I 0 , t [ 0 , 1 ] .
Replacing Equations (B2) and (B3) in Equation (B4), we obtain:
p ϕ ( t ; α ) , t [ 0 , 1 ] ,
where:
ϕ ( t ; α ) = α e - α t e α t α e α + 1 ( α - 2 ) + e 2 + α e 2 α + t - α e α + t + 1 ( α e α - e ) 2 if α 1 , 3 - t 4 if α = 1 , t [ 0 , 1 ] .
Note that lim α 1 ϕ ( t ; α ) = ϕ ( t ; 1 ) . Since ϕ is decreasing with respect to t, Equation (B5) is equivalent to:
p ϕ ( 1 ; α ) ψ 1 ( α ) ,
where:
ψ 1 ( α ) = e α ( α - 1 ) α e α - e if α 1 , 1 2 if α = 1 .
Proof of Theorem 4. 
It is easy to prove that σ 1 is strictly increasing in [ 0 , 1 ] and, as a consequence of Assumption (15), σ 1 ( 0 ) < 0 and σ 1 ( 1 ) > 0 . It follows that a unique solution t ¯ ] 0 , 1 [ of the equation σ 1 ( t ) = 0 exists.
Now, we prove that u * ( t ) defined in Equation (17) satisfies the necessary conditions. It is:
d I d t = 1 - I - α I if 0 t < t ¯ , 1 - I I if t ¯ < t 1 ,
with I ( 0 ) = 1 . The adjoint equation is:
d λ d t = 1 - λ 1 - α - 2 I if 0 t < t ¯ , 1 - λ 1 - 2 I if t ¯ < t 1 ,
with λ ( 1 ) = - 1 . Solving Equations (B6) and (B7), we obtain that:
p + α λ ( t ) I ( t ) = σ 1 ( t ) ,
where σ 1 is defined in Equation (16). The thesis then follows from Equation (14).  ☐
Proof of Theorem 5. 
We check the necessary conditions for u * ( t ) 1 . The state equations become:
d I d t = 1 - α - I I ,
and, because of the initial condition I ( 0 ) = 1 , it follows that:
I ( t ) = ( 1 - α ) e t e t - α e α t if α 1 , 1 t + 1 if α = 1 , t [ 0 , 1 ] .
Substituting in:
d λ d t = 1 + p - λ ( 1 - α - 2 I )
and using the final condition λ ( 1 ) = - 1 , it follows that:
λ ( t ) = e - ( α + 1 ) t α e α t - e t e α t α e α + 1 ( α - p - 2 ) + e 2 ( 1 + p ) + α e 2 α + t ( 1 + p ) - α e α + t + 1 ( α + p ) ( 1 - α ) ( α e α - e ) 2 if α 1 , ( t + 1 ) ( ( 1 + 2 p ) t - ( 3 + 2 p ) ) 4 if α = 1 . t 0 , 1 .
It is:
H u = - p I - α λ I .
u * ( t ) = 1 satisfies the necessary conditions if:
H u 0 , t [ 0 , 1 ] ,
or:
- p - α λ 0 , t [ 0 , 1 ] .
Replacing Equation (B9) in Equation (B10), we obtain:
p ϕ ( t ; α ) ; t [ 0 , 1 ] ,
where:
ϕ ( t ; α ) = - α e - ( α + 1 ) t α e α t - e t e α t α e α + 1 ( α - p - 2 ) + e 2 ( 1 + p ) + α e 2 α + t ( 1 + p ) - α e α + t + 1 ( α + p ) ( 1 - α ) ( α e α - e ) 2 if α 1 , - ( t + 1 ) ( ( 1 + 2 p ) t - ( 3 + 2 p ) ) 4 if α = 1 .
Note that lim α 1 ϕ ( t ; α ) = ϕ ( t ; 1 ) . It can be proven that ϕ is increasing with respect to t [ 0 , 1 ] or ϕ is increasing and then decreasing with respect to t [ 0 , 1 ] . Then, ϕ ( · ; α ) takes its minimum at t = 0 or at t = 1 . Therefore, Equation (B11) is equivalent to:
p min ϕ ( 0 ; α ) , ϕ ( 1 ; α ) .
It is ϕ ( 1 ; α ) = α and ϕ ( 0 ) - ϕ ( 1 ) > 0 if and only if p > ψ 2 ( α ) , where:
ψ 2 ( α ) = e α α ( α - 1 ) α e α - e if α 1 , 1 2 if α = 1 .
Therefore, Equation (B12) is equivalent to:
p < ϕ ( 0 ; α ) if p ψ 2 ( α ) , p < α if p > ψ 2 ( α ) .
Since it is easy to show that for any p α , it is also p < ϕ ( 0 ; α ) , we conclude that Equation (B10) is fulfilled for any p < α .  ☐
Proof of Theorem 6. 
We look for solutions u ^ of the maximum principle, such that:
u ^ ( t ) = 1 if 0 t < t ¯ , 0 if t ¯ < t 1 .
Solving the state and the adjoint equations and requiring the continuity of λ ( t ) at t = t ¯ , we obtain:
λ ( t ¯ ) = 3 t ¯ 2 - 4 t ¯ - 1 - 2 e - t ¯ + 1 t ¯ 2 ( 1 + t ¯ ) 2 .
The equation σ 2 ( t ¯ ) = p + λ ( t ¯ ) = 0 has two solutions t 1 , t 2 ] 0 , 1 [ for p ] 1 , p ^ [ . This completes the proof.  ☐
Lemma 13. 
σ 3 ( t ) is an increasing function.
Proof. 
σ 3 ( t ) = 2 p 2 + α μ ( t ) , where μ ( t ) = λ ( t ) I ( t ) . Then, it is sufficient to prove that μ is an increasing function. By:
d I d t = 1 - I - α u ( t ) I
and:
d λ d t = 1 - λ 1 - α u - 2 I
we have:
d μ d t = λ d I d t + I d λ d t = λ ( 1 - I - α u ( t ) I ) + I ( 1 - λ 1 - α u - 2 I ) = I ( 1 + μ ) .
It follows that:
d μ 1 + μ = I .
Integrating between t and one and using μ ( 1 ) = - I ( 1 ) , we have:
1 + μ ( t ) = ( 1 - I ( 1 ) ) e - t 1 I ( s ) d s .
Since 0 I 1 , we have that:
d μ d t 0 .
Proof of Theorem 7. 
u * ( t ) 1 satisfies the maximum principle if and only if σ 3 ( t ) < 0 for any t [ 0 , 1 ] . Since σ 3 is increasing, this is equivalent to requiring σ 3 ( 1 ) < 0 . I ( t ) can be computed as in the Theorem 5 leading to Formula (B8). Hence:
I ( 1 ) = ( 1 - α ) e e - α e α if α 1 , 1 2 if α = 1 , t 0 , 1 .
σ 3 ( 1 ) < 0 means 2 p 2 - α I ( 1 ) < 0 or p < ψ 3 ( α ) .  ☐
Proof of Theorem 8. 
It is an immediate consequence of the proof of Theorem 7.  ☐
Proof of Theorem 9. 
We check the necessary conditions for u * ( t ) 1 . The state equations become:
d I d t = 1 - α - I I ,
and because of the initial condition I ( 0 ) = 1 , it follows that:
I ( t ) = ( 1 - α ) e t e t - α e α t if α 1 , 1 t + 1 if α = 1 , t [ 0 , 1 ] .
The adjoint equation, since u * 1 , is:
d λ d t = 1 + 2 p 2 I - λ ( 1 - α - 2 I ) ,
with final condition λ ( 1 ) = - 1 . It follows that:
λ ( t ) = M ( t , α , p ) ( 1 - α ) ( α e α - e ) 2 if α 1 , p 2 ( t 2 + 2 t - 3 ) + t 2 - 2 t - 3 4 if α = 1 , t [ 0 , 1 ] ,
where:
M = M 1 + M 2 + M 3 ,
with:
M 1 = α e α t - t + 1 α e α ( α - 2 ) - e ( α p 2 - p 2 - 1 ) ,
M 2 = e α ( 1 - t ) + t α e α ( e p 2 - p 2 - 1 ) - e ( α ( 2 p 2 - 1 ) - 2 p 2 ) ,
M 3 = α 2 e 2 α + 2 α e α + 1 ( 1 - α ) + e 2 ( 2 α p 2 - 2 p 2 - 1 ) .
u * ( t ) = 1 satisfies the necessary condition if:
H u 0 , t [ 0 , 1 ] ,
or:
σ 4 ( t ) 2 p 2 I ( t ) + α λ ( t ) 0 , t [ 0 , 1 ] .
Replacing Equations (B13) and (B14) in Equation (B15), we obtain:
p ϕ ( t ; α ) , t [ 0 , 1 ] ,
where:
ϕ ( t ; α ) = P ( t ; α ) Q ( t ; α ) if α 1 , ( 3 - t ) ( t + 1 ) 2 t 3 + 3 t 2 - t + 5 if α = 1 ,
and:
P = α ( α e α t - e t ) 2 e α t ( α e α + 1 ( α + 2 ) + e 2 ) + α e 2 α + t - α e α + t + 1 ,
Q = ( α - 1 ) ( Q 1 + Q 2 + Q 3 ) ,
Q 1 = α 3 e 3 α t + 2 - 3 α 2 e 2 α t + t + 2 ,
Q 2 = e α t α 2 e 2 ( α + t ) ( α - 2 ) + 2 α e α + 2 t + 1 ( 2 - α ) + 2 e 2 t + 2 ( 2 α - 1 ) ,
Q 3 = α 2 e 2 α + 3 t - 2 α e α + 3 t + 1 .
Note that lim α 1 ϕ ( t ; α ) = ϕ ( t ; 1 ) . It can be proven that ϕ is increasing with respect to t [ 0 , 1 ] or ϕ is increasing and then decreasing with respect to t [ 0 , 1 ] . Then, ϕ ( · ; α ) takes its minimum at t = 0 or t = 1 . Therefore, Equation (B16) is equivalent to:
p min ϕ ( 0 ; α ) , ϕ ( 1 ; α ) .
It is easy to prove that ϕ ( 0 ; α ) ϕ ( 1 ; α ) for any α 0 , so that Equation (B17) reduces to:
p ϕ ( 0 ; α ) ψ 4 ( α ) .
Proof of Theorem 10. 
u * ( t ) 1 satisfies the maximum principle if u ^ 1 for any t [ 0 , 1 ] and the pair ( I * ( t ) , u * ( t ) ) satisfies the state and the adjoint equations with the initial and terminal condition, respectively. Solving the state equation (with u = u * = 1 and initial condition I ( 0 ) = 1 ), we have:
I * ( t ) = 1 t + 1 , t [ 0 , 1 ] .
Solving the adjoint equation (with λ ( 1 ) = - 1 ), we obtain:
λ ( t ) = ( t + 1 ) 2 B ^ 2 ( t + 1 ) 2 p ( t - 1 ) + t - 3 + B ^ p ( 3 - t 2 ) + p 2 ( t - 3 ) 4 ( 2 B ^ - p ) ( B ^ ( t + 1 ) - p ) .
Note that u ^ 1 means:
p B ^ 2 + ( B ^ - p I * ) 2 λ 0 .
Substituting the values of I * and λ in the previous inequality, we have that it is equivalent to:
p < ϕ ( t ; k ) , t [ 0 , 1 ] ,
where:
ϕ ( t ; k ) = ( 3 - t ) 2 k 3 ( t + 1 ) 2 - k 2 ( t + 1 ) ( t + 5 ) + 2 k ( t + 2 ) - 1 4 k 2 ( t + 1 ) k ( t 2 + 1 ) - t .
It can be proven that ϕ is increasing with respect to t [ 0 , 1 ] or ϕ is increasing and then decreasing with respect to t [ 0 , 1 ] . Then, ϕ ( · ; k ) takes its minimum at t = 0 or t = 1 . Therefore, we need:
p min ϕ ( 0 ; k ) , ϕ ( 1 ; k ) = L ( k ) .

References

  1. Bailey, N.T.J. The Mathematical Theory of Infectious Diseases; Griifin: London, UK, 1975. [Google Scholar]
  2. Kermack, W.; McKendrick, A. Contributions to the mathematical theory of epidemics. Proc. R. Soc. Ser. A I 1927, 115, 700–721. [Google Scholar] [CrossRef]
  3. Anderson, R.M.; May, R.M. Infectious Diseases of Humans. Dynamics and Control; Oxford University Press: Oxford, UK, 1991. [Google Scholar]
  4. Busenberg, S.; Cooke, K. Vertically Transmitted Diseases: Models and Dynamics; Springer: Berlin, Germnay; Heidelberg, Germnay, 1993. [Google Scholar]
  5. Capasso, V. Mathematical Structures of Epidemic Systems; Springer-Verlag: Berlin, Germnay, 1993. [Google Scholar]
  6. Brauer, F.; van den Driessche, P.; Wu, J. Mathematical Epidemiology; Springer-Verlag: Berlin, Germany, 2008. [Google Scholar]
  7. Martcheva, M. An Introduction to Mathematical Epidemiology; Springer-Verlag: New York, NY, USA, 2015. [Google Scholar]
  8. Seierstad, A.; Sydsaeter, J.K. Optimal Control Theory with Economic Applications; Elsevier: Amsterdam, The Netherlands, 1987. [Google Scholar]
  9. Sethi, S.P.; Thompson, G.L. Optimal Control Theory—Applications to Management Science and Economics; Springer: New York, NY, USA, 2006. [Google Scholar]
  10. Lenhart, S.; Workman, J.T. Optimal Control Applied to Biological Models; Chapman & Hall/CRC: Boca Raton, FL, USA, 2007. [Google Scholar]
  11. Anita, S.; Arnautu, V.; Capasso, V. An Introduction to Optimal Control Problems in Life Sciences and Economics; Birkhauser: New York, NY, USA, 2011. [Google Scholar]
  12. Von Neumann, J.; Morgenstern, O. Theory of Games and Economic Behaviour; Princeton University Press: Princeton, NJ, USA, 1944. [Google Scholar]
  13. Hethcote, H.W. Three basic epidemiological models. In Applied Mathematical Ecology; Levin, S.A., Hallam, T.G., Gross, L.J., Eds.; Springer: Berlin, Germnay; Heidelberg, Germnay, 1989; pp. 119–144. [Google Scholar]
  14. Kassa, S.M.; Hove-Musekwa, S.D. Optimal control of allocation of resources and the economic growth in HIV-infected communities. Opt. Control Appl. Methods 2014, 35, 627–646. [Google Scholar] [CrossRef]
  15. Francis, P.J. Optimal tax/subsidy combinations for the flu season. J. Econ. Dyn. Control 2004, 28, 2037–2054. [Google Scholar] [CrossRef]
  16. Buonomo, B.; Vergas-De-Leon, C. Effects of Mosquitoes Host Choice on Optimal Intervention Strategies for Malaria Control. Acta Appl. Math. 2014, 132, 127–138. [Google Scholar] [CrossRef]
  17. Jung, E.; Iwami, S.; Takeuci, Y.; Jo, T.C. Optimal control strategy for prevention of avian influenza pandemic. J. Theor. Biol. 2009, 260, 220–229. [Google Scholar] [CrossRef] [PubMed]
  18. Rodrigues, H.S.; Monteiro, M.T.T.; Torres, D.F.M. Vaccination models and optimal control startegies to dengue. Math. Biosci. 2014, 247, 1–12. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  19. Jana, S.; Haldar, P.; Kar, T.K. Optimal control and stability analysis of an epidemic model. Chaos Solitons Fractals 2016, 83, 67–81. [Google Scholar] [CrossRef]
  20. Lashari, A.A.; Zaman, G. Optimal control of a vector borne disease with horizontal transmission. Nonlinear Anal. Real World Appl. 2012, 13, 203–212. [Google Scholar] [CrossRef]
  21. Posny, D.; Wang, J.; Mukandavire, Z.; Modnak, C. Analyzing transmission dynamics of cholera with public health. Math. Biosci. 2015, 264, 38–53. [Google Scholar] [CrossRef] [PubMed]
  22. Neilan, R.L.M.; Schaefer, E.; Gaff, H.; Fister, K.R. Modeling Optimal Intervention Strategies for Cholera. Bull. Math. Biol. 2010, 72, 2004–2018. [Google Scholar]
  23. Yuan, J.; Yang, Z. Global stability of an SEI model with acute and chronic stages. J. Comput. Appl. Math. 2008, 213, 465–476. [Google Scholar] [CrossRef]
  24. Okosun, K.O.; Makinde, O.D. Optimal control analysis of hepatitis C virus with acute and chronic stages in the presence of treatment and infected immigrants. Int. J. Biomath. 2014. [Google Scholar] [CrossRef]
Figure 1. Optimal treatment: the linear density independent (LDI) case.
Figure 1. Optimal treatment: the linear density independent (LDI) case.
Mathematics 04 00021 g001
Figure 2. Optimal treatment: the quadratic density independent (QDI) case.
Figure 2. Optimal treatment: the quadratic density independent (QDI) case.
Mathematics 04 00021 g002
Figure 3. Optimal treatment: the quadratic density dependent (QDD) case.
Figure 3. Optimal treatment: the quadratic density dependent (QDD) case.
Mathematics 04 00021 g003
Figure 4. Optimal treatment: the blowing-up state dependent (BSD) case. α = 1 .
Figure 4. Optimal treatment: the blowing-up state dependent (BSD) case. α = 1 .
Mathematics 04 00021 g004
Figure 5. Optimal treatment of an infectious disease with chronic stage.
Figure 5. Optimal treatment of an infectious disease with chronic stage.
Mathematics 04 00021 g005
Figure 6. Optimal treatment of an infectious disease with chronic stage.
Figure 6. Optimal treatment of an infectious disease with chronic stage.
Mathematics 04 00021 g006
Figure 7. Optimal treatment of an infectious disease with chronic stage.
Figure 7. Optimal treatment of an infectious disease with chronic stage.
Mathematics 04 00021 g007
Figure 8. Optimal treatment of an infectious disease with chronic stage.
Figure 8. Optimal treatment of an infectious disease with chronic stage.
Mathematics 04 00021 g008
Figure 9. Optimal treatment of an infectious disease with chronic stage.
Figure 9. Optimal treatment of an infectious disease with chronic stage.
Mathematics 04 00021 g009
Figure 10. Optimal treatment of an infectious disease with chronic stage.
Figure 10. Optimal treatment of an infectious disease with chronic stage.
Mathematics 04 00021 g010

Share and Cite

MDPI and ACS Style

Di Liddo, A. Optimal Control and Treatment of Infectious Diseases. The Case of Huge Treatment Costs. Mathematics 2016, 4, 21. https://doi.org/10.3390/math4020021

AMA Style

Di Liddo A. Optimal Control and Treatment of Infectious Diseases. The Case of Huge Treatment Costs. Mathematics. 2016; 4(2):21. https://doi.org/10.3390/math4020021

Chicago/Turabian Style

Di Liddo, Andrea. 2016. "Optimal Control and Treatment of Infectious Diseases. The Case of Huge Treatment Costs" Mathematics 4, no. 2: 21. https://doi.org/10.3390/math4020021

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop