Subject Areas: Mathematical Analysis, Numerical Mathematics, Ordinary Differential Equation
Still a daunting hurdle for the scientists of infectious diseases is the unfounded clear medical literature for the absolute eradication of the human immune deficiency virus (HIV), a primary route of the dreaded disease called Acquired Immune Deficiency Syndrome (AIDS). In the circumstance, suppression and prevention of HI-virus and its associated infectious diseases have become an inevitable remedy in the annals of study into the cure for HIV/AIDS. Further hindrance to the achievable goals from both clinical trials and scientific researches is the multiplicity of new cases of HIV/AIDS and its affiliated infectious diseases.
The formulation and analysis of HI-virus and its allies significantly revolve round the parameters with which the models are formulated. Therefore, evaluation (or estimation) of the parameters is of paramount importance. Attempts in this direction by a number of researchers  -  include the use of 3-Dimensional (3D)―Ordinary Differential Equations (ODEs), with most models presented as optimal control problems. Visible constraints from outcomes of these works have been the indistinguishable nature of the infected CD4+ T cells from the uninfected CD4+ T cells  .
In this present paper, we presuppose two infectious parasitoid-pathogenic induced HIV infections. The study is formulated as a 5-Dimensional (5D)―ODE model aimed at investigating the compatibility of optimal control strategy for the treatment of HIV and its allies of infections. Use as treatment factor is reverse transcriptase inhibitor (RTI) with the blood plasma (CD4+ T cells) as the prime host. Unlike several other studies conducted using 3-Dimensional differential equations, on a single HIV infection, the novelty of this present paper lies in the enhance formulation of 5-Dimensional mathematical model, propose to investigate the parameter estimation of dual HIV―pathogen induced infection. Thus, the objective is in the investigation of the compatibility of optimal control strategy for the estimation of model parameters of dual HIV―pathogen infection. Therefore, the present work does not only accounts to establish the compatibility of application of optimal control in parameter estimation of dual infectious diseases but also, accounts for viral load de-replication and de-transmutation of pathogen resistivity through varying of model parameters. The model explores numerical method via discretization techniques (method), with numerical illustrations using Range-Kutter of order of precision 4, in Mathcad platform.
Exceptional works on parameter estimations include: virus clearance rate and death rates of infected CD4+ T cells   ; the analysis based on the quasi-steady state of the asymptomatic period before it is disturbed by chemotherapy  . The model  investigated the optimal control strategy for a full determined HIV model aimed at clinical testing and monitoring of HIV/AIDS diseases. In that study, demonstrated was the CD4+ T cells measurement and viral load count, using reverse transcriptase inhibitor (RTI) as single treatment. Other notable models involving discretization methods for parameter estimations could be found in    . The deployment of highly antiretroviral therapy (HAART) regimen in the treatment and suppression of viral replication and immune system recovery were studied by    . The study  had discussed on the impact of numerical stability of the treatment of vertical transmitted HIV/AIDS infections; while global convergence and impact of multistage and Padé techniques for iterative chain model were contained in  .
The scope of this work is characterized by four subsections, which includes: introductory aspect as in Section 1. The material and methods of the model, which includes: System modalities as a problem statement, discretization technique and model parameter variation constitute Section 2. Section 3 is covered by a number of numerical illustrations and discussion, while the last Section 4 is devoted to conclusion and recommended remarks. The study is anticipated to throw more insight to compatibility of optimal control strategy in 5D-model in the treatment of dual infectivity.
2. Material and Methods
We present in this section, the statement of the problem and model formulation followed by the discretization technique used, as well as model parameter variation of the system.
2.1. Problem Statement and Model Formulation
In our presupposition to study the compatibility of optimal control strategy for the treatment of dual HIV―pa- thogen induced infection; we bring to relation, ordinary differential equation in mathematical modeling, structured as problem statement solvable possibly by discretization method.
We construct our model from a considered population density consisting of five different subpopulations, giving rise to a set of five ordinary differential equations captured from the pictorial representation of Figure 1.
Physiologically, we let denote the uninfected CD4+ T cells, -HIV virus (viral load), -parasitoid- pathogen; then for virus-infected CD4+ T cells and pathogen-infected CD4+ T cells, we shall denote by and respectively. The biological description of the parameters with which these variables interact and its corresponding ODE’s are defined as in Table 1, thereof:
The differential equation of the model is derived as follows:
and satisfying all the variables and parameters as defined in Table 2.
Biologically, Equations (2.1) assumed a relatively steady viral level during the asymptomatic stage of HIV and pathogen infection known as “set-point”. At this initial set-point, the body develops an immune system called, the innate immune system, which act as antibodies against HIV-infection and pathogen barrier preventing mechanism. However, the replication of viral load and the rapid adaptivity of pathogen make it impossible for easy detection and subsequently neutralize this innate immune system, which then leads to gradual full blown AIDS    . It is known that for most HIV patients, and, which also holds for and  .
Table 1. Biological description of HIV―pathogenic infection model.
Figure 1. Pictorial representation of HIV―pathogenic infection model.
Table 2. Variables and parameters values of optimal control for model (2.1).
Furthermore, it can be shown mathematically from Equation (2.1), that the amount of and in the set-point are given by the equilibrium of virus and parasitoid-pathogen depicted
Thus, model (2.1) adequately reflected the disease progression from initial infection to an asymptomatic stage  .
2.2. Discretization Technique
The discretization method which is aimed at estimating all the parameters of HIV and pathogen as involved in our basic model (2.1) is applied here. The method affords us the opportunity to transform and study the compatibility of equations as in model (2.1) into solvable discrete form. Clearly, with discretization method, we aim to estimate (or measure) all the twelve parameters in model (2.1). None-the-less, we shall deliberately omit the va-
riables and at the set-point (initial stage) of our parameter estimation in view of the following limitations:
1) The microscopically indistinguishable nature of infected cells from the uninfected cells which leads to development of state estimator is a factor  .
2) Extreme high cost of quantification of these infected cells at the set-point is another factor  .
3) The number of infected CD4+ T cells at the set-point is found to be too small (negligible) compared to the number of healthy CD4+ T cells  .
4) At the set-point, treatments are certainly not administered from the first hour/day or even weeks of initial infection. Therefore, estimation of parameters starts with setting and, to be able to obtain desired interval for drugs administration.
Therefore, we see from Equation (2.1) that the first and second derivatives becomes
which is the equation representing the progression of infection at the asymptomatic stage.
Equations (2.3) accounts for the model parameters without and. Biologically, these clearly indicate that infection of CD4+ T cells by viral load and parasitoid pathogen (and) at set point through asymptomatic stage are indistinguishable from healthy CD4+ T cells and are insignificant. Hence, the death rates (and) of these viruses at set point and in the short period after chemotherapy treatment of the CD4+ T-cell count does not change significantly (see assumptions i, iii & iv). Therefore, the conditions and, given above is justified,   . Surpassing the asymptomatic stage (or at symptomatic stage/chronic level) with, Equation (2.1), using Equation (2.3), becomes:
Equation (2.4) is a nonlinear optimal control problem (NOCP), with uncertain parameters, which necessarily need to be transform into a new problem in the form of calculus of variations from which we can apply nonlinear programming (NLP) approach. This step is obvious in order to simplify the seemingly complex biological equations (containing many variables and model parameters) into a few numbers of indicators without loss of originality.
Achieving this, we rewrite Equation (2.4) by introducing new variables i.e. let, and, and such that the twelve parameters in model (2.1) are denoted by the coefficients. Then we have,
This is to say that the coefficients of the original system can be expressed through the new coefficients as follows:
Therefore, by discretization of Equation (2.5) and substitution of approximate values of the first derivative of, for CD4+ T cells; the first and second derivatives of and for viral load and pathogen; as well as the first derivative of and for infected CD4+ T cells by viruses respectively, we can investigate the measurement of the variables at different time intervals. That is, having the experimental dependence of, Equation (2.5) can be written as the system of algebraic equations relative to the vector, i.e.
Similarly, for a matrices, we have
In matrix form, taking Equation (2.6), we have,
Matricizing Equations (2.7), we derive as follows:
Similarly, for Equation (2.8), we have,
Therefore, the basic model (2.5) which has been transformed to the matrix equations (2.9)-(2.11), satisfies the vector properties and each can be written as a vector form
Equation (2.12), justify that our model is described by quantifiable magnitude and has direction of purpose. Furthermore, it is observed that Equation (2.5) contains twelve unknown parameters, i.e. the variables, , with which all the parameters of the basic model (2.1) can be calculated. A case study of some of the parameter estimation as in basic model (2.1) can be found in  . Therefore, to determine these parameters, it becomes necessary to generate a minimum of 12 equations based on Equation (2.5). This can be achieved by differentiating Equation (2.5), more times, resulting in derivatives of and, up to the order of measurement . In coping with these orders of derivatives, we need at least
(where the superscripts denote sample numbers) measurements for the complete determination of all the HIV/AIDS parameters in the five-dimensional model (2.1),    .
Then, from Equation (2.5), the identifiability of, means that all the parameters of our model (2.1) can be determined from the output of the CD4+ T cell count, viral load, parasitoid pathogen, HI-virus infected CD4+ T cells and pathogen infected CD4+ T cells. Thus, we establish (as in Table 3) below, the available measurement for the count of CD4+ T cells, viral load and pathogens, HI-virus infected CD4+ T cells and pathogen infected CD4+ T cells at varying time intervals:
Table 3. Obtained values for parameters of basic model (2.1).
Then using a number of these measurements, we investigate if the matrix A, of Equation (2.12) is nonsingular (not equal to zero); a condition for unique solution for the coefficients and hence, a prime modality for estimation of the model parameters Furthermore, this investiga-
tion is prompted by the fact that, at long asymptomatic stage (set point) and at the short period after administration of chemotherapy, when either of the, is constant, the matrix A, can never be nonsingular for any choice of number of measurements. Therefore, a complete determination of the model parameters is imperatively impossible due to these two periods of time  . To compute the values for the parameters of our model system, we need to compute each of the determinants of Equations (2.9)-(2.11). We see that the determinants of Equations (2.9)-(2.11) are not equal to zero, but very small, in the range of Therefore, applying Equation (2.12), that is, we need from Equation (2.12), to solve Equations (2.9)-(2.11), for the parameters. The following results were obtain
Here, the solution, , implies
So we see that as a result of the significantly small determinant, the computation of the coefficients, all yields large error derivative when compared with the parameter values of our optimal control as in Table 2, above. Whence, compatibility of optimal control strategy via discretization for a 5-D mathematical model is seemingly elusive. Non-the-less, other possible options include:
a) Application of derived formula for high order of accuracy;
b) Carrying out interpolation followed by computation of the derivative of the interpolating polynomials;
c) Since the regions of the coefficients are all non-negative, we account for the estimation of the model parameters by stepwise variation of the parameter values in order to study their respective behavior to viral load replication and pathogen resistivity.
In general, for options (a) and (b), we need small time interval range of 3 - 4 years and require calculating the derivative in the middle of the steps, resulting to complex procedures. In this case, patients are likely to die without waiting for simulation results. Therefore, option (c), is convenient for the estimation of model parameters. Thus by option (c), we return to Equation (2.1), from which we define the coefficients of our set-point. This criteria is of essence for the simple fact that, it a process to overcome indistinguishability nature of the infected cells and the uninfected cells immediately after asymptomatic stage. It also aid in the definition of treatment time limits and as an overall check to our earlier assumptions. Furthermore, chemotherapy has a certain designated time for allowable treatment, since HIV is able to build up resistance after finite time frame due to its mutation ability and its potential hazardous side effects  .
Keeping the parameters values of Table 2 in view, we determine the solution of the model (2.1) for the set-point, with the initial values of the coefficients generated as:, , , , , using well-known numerical method like RK4 in a Mathcad environment, we presents the graphical simulations as in Figures 2 (a)-(e).
Figures 2(a)-(e) shows decrease in the numbers of susceptible CD4+ T cells. That is, at, is the minimum count of CD4+ T cells. So, the treatment interval is months,  -  . This is evident by
(a) (b)(c) (d)(e)
Figure 2. Graphical simulation of basic model (2.1) at set-point without treatment. (a) Simulation of uninfected CD4+ T cells for; (b) Simulation of HI-virus infected CD4+ T cells for; (c) Simulation of pathogen infected CD4+ T cells for; (d) Simulation of viral load in the blood plasma for; Simulation of pathogen in the blood plasma for.
the initial sharp inclination of HI-virus infected CD4+ T cells (i.e.) and pathogenic-infected
CD4+ T cells (i.e.) and then experience steady decline in population due to the influence of the viruses. Also observed, are the decrease in the numbers of free viruses which has become replicated in the blood plasma (CD4+ T cells), as indicated by and respectively. This gives a lead way in our investigation following the initiation of chemotherapy.
3. Numerical Illustrations and Discussion
Here, the decision for RTI as the chemotherapy follows its dual characteristics tailored on viral load and the activation of the adaptive immune system, which act against parasitoid-pathogen. Specifically, RTI is responsible for the prevention of uninfected lymphocyte cells from infection by viral load and as well, the elimination of infected pathogen cells  . Consistent and cogent application of RTI by HIV infected patients insulate replication of viruses (i.e. direct reduction in model parameters, k and d). In the exact circumstance, CD4+ T cells becoming infected by viruses diminish in rate (i.e. decrease in and). Therefore, the behaviors of these parameters afford the desired investigation of the model parameters, which predicts the outcome of the healthy CD4+ T cells.
Illustratively, keeping in view other parameter values as in Table 2, together with the outcome of Figure 2 (set point values) above, we investigate the treatment for which and, the simulation of which are presented in Figures 3(a)-(e).
We see from Figures 3(a)-(e), that with intensive commencement of chemotherapy for months, when and;, increases sharply to in Figure 3(a). This in-
Figure 3. (a)-(e): Simulation of model (2.1); at initiation of chemotherapy for and. (a) Simulation of uninfected CD4+ T cells for; (b) Simulation of HI-virus infected CD4+ T cells for; (c) Simulation of pathogen infected CD4+ T cells for; (d) Simulation of viral load in the blood plasma for; (e) Simulation of pathogen in the blood plasma for.
crease in healthy CD4+ T cells is evident by the drastic decline in the rate of HI-virus infected CD4+ T cells from to in Figure 3(b) and parasitoid-pathogen infected CD4+ T cells from
to near zero after 14 months in Figure 3(c). Also, we observe that the de-replication progress of infected CD4+ T cells, adversely attribute to sharp decline (suppression) of viral load in blood plasma from to in Figure 3(d). Pathogen parasite is seen eliminated to near zero after 11 months of drug application in Figure 3(e).
Furthermore, observing the same model coefficients as in Figures 3(a)-(e), but with reduced rate of CD4+ T cells becoming infected by both viral load and pathogen, following adherent administration of chemotherapy (i.e. and), the simulated results are as presented in Figures 4(a)-(e).
Analysis from Figure 4(a) shows that a more enhanced outcome for healthy CD4+ T cells was experience at with constant inflow of and accompanied by tremendous decline of both infected HI-virus CD4+ T cells and parasitoid-pathogen infected CD4+ T cells. Figure 4(b), showed decline of from
Figure 4. (a)-(e): Simulation of model (2.1) persistent chemotherapy for and. (a) Simulation of uninfected CD4+ T cells for; (b) Simulation of HI-virus infected CD4+ T cells for; (c) Simulation of pathogen infected CD4+ T cells for; (d) Simulation of viral load in the blood plasma for; (e) Simulation of pathogen in the blood plasma for.
to near zero after 24 months; while from Figure 4(c), which showed initial increase at the first month, decline thereafter to near zero in the 11 month of chemotherapy administration. From Figure 4(d) and Figure 4(e), the non-replications of infected T-cells invariably had de-transmuted into the decline and elimination of both viral load and parasitoid pathogen to near zero after 22 months and 9 months respectively.
In this paper, nonlinear 5-Dimensional mathematical models had been formulated with which the compatibility of optimal control strategy for parameter estimation of dual infectivity (HI-virus and parasitoid-pathogen) was investigated. Using discretization technique, it was established that optimization control strategy were incompatible with the particular model, following the insignificant non-singularities of the model coefficients, which led to varying error derivatives. The study further explored predominant parameters to investigate the maximization of healthy blood plasma and the trend of the viruses, following coherent chemotherapy. Time limit for chemotherapy was established with which simulation was conducted. Analysis of results showed that restoration and increase of healthy blood plasma were achieved with the administration of chemotherapy from set point. Furthermore, with the distortion of viruses’ replication and de-transmutation of healthy blood plasma by viruses from the point of chemotherapy application, eradication of dual HI-virus and parasitoid-pathogen were achieved within the ambit of chemotherapy time validity. The study therefore suggested the extension of model in the evaluation of other related dual infectious diseases. Furthermore, a more improved 5-Dimensioanl model compatible with the application of optimal control strategy is thereof recommended.
The authors (Bassey B. E, Lebedev, K. A), acknowledge with thanks, the support of the Department of Math and Computer Science; and Galina Govorova-Head of International Relation, Kuban State University, Krasnodar, Russia, for their immense contributions.
 Xia, X. (2007) Modelling of HIV Infection: Vaccine Readiness, Drug Effectiveness and Therapeutical Failures. Journal of Process Control, 17, 253-260.
 Badakhshan, K.P. and Kamyad, A.V. (2007) Numerical Solution of Nonlinear Optimal Control Problems Using Nonlinear Programming. Applied Mathematics and Computation, 187, 1511-1519.
 Grégio, J.M., Caetano, M.A.L. and Yoneyama, T. (2009) State Estimation and Optimal Long Period Clinical Treatment of HIV Seropositive Patients. Anais da Academia Brasileira de Ciências, 81, 3-12.
 Wein, L.M., Zenios, S.A. and Nowak, M.A. (1997) Dynamic Multidrug Therapies for HIV: A Control Theoretic Approach. Journal of Theoretical Biology, 185, 15-29.
 Badakhshan, K.P., Kamyad, A.V. and Azemi, A. (2007) Using AVK Method to Solve Nonlinear Problems with Uncertain Parameters. Applied Mathematics and Computation, 189, 27-34.
 Ouattara, D.A. (2005) Mathematical Analysis of the HIV-1 Infection: Parameter Estimation, Therapies Effectiveness and Therapeutical Failures. Proceedings of the 2005 IEEE, Engineering in Medicine and Biology 27th Annual Conference, Shanghai, 1-4 September 2005, 821-824.
 Ho, D.D., Neumann, A.U., Perelson, A.S., Chen, W., Leonard, J.M. and Markowitz, M. (1995) Rapid Turnover of Plasma Virions and CD4 Lymphocytes in HIV-1 Infection. Nature, 273, 123-126.
 Bassey, B.E. and Lebedev, K.A. (2015) On Mathematical Model of the Impact of Verimia Levels and Condom Use: Preventive Measures for the Spread of HIV/AIDS. Proceedings of XVIII-th International Scientific Conference “Modern Science: Actual Problems and Ways of Their Solution”, Lipetsk, 20 July 2015, Ed. by M. Y. Levin, Lipetsk: OOO Max Information Technology. 18, 5, 47-56. (In Russian)
 Bassey, B.E. and Lebedev, K.A. (2015) On the Mathematical Modeling of the Impact of Numerical Stability of the Treatment of Vertical Transmitted HIV/AIDS Infections. Proceedings of XVI-th International Scientific Conference “Scientific Potential of Contemporary Russia”, Lipetsk, 10 August 2015, Ed. by M. Y. Levin, Lipetsk: OOO Max Information Technology. 16, 5, 7-19. (In Russian)
 Bassey, B.E. and Lebedev, K.A. (2015) On Global Convergence and Impact of Multistageand Padè Techniques for Iterative Methods in Nonlinear HIV/AIDS Preventive Chain Model. Proceedings of the XIX-th International Scientific Conference “Modern Science: Current Problems and Solutions”, Lipetsk, 14 September 2015, Ed. By M. Levin, Lipetsk: LLC Maximal Information Technologies. 19, 6, 17-27. (In Russian)